• No results found

On stability of functional equations related to quadratic mappings in fuzzy Banach spaces

N/A
N/A
Protected

Academic year: 2020

Share "On stability of functional equations related to quadratic mappings in fuzzy Banach spaces"

Copied!
12
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

On stability of functional equations related to

quadratic mappings in fuzzy Banach spaces

Seong Sik Kim

1

, Nawab Hussain

2*

and Yeol Je Cho

2,3*

*Correspondence:

[email protected]; [email protected]

2Department of Mathematics, King

Abdulaziz University, Jeddah, 21589, Saudi Arabia

3Department of Mathematics

Education and the RINS, Gyeongsang National University, Chinju, 660-701, Korea Full list of author information is available at the end of the article

Abstract

In this paper, we establish the generalized Hyers-Ulam stability problem of radical quadratic functional equationsf(x2+y2) =f(x) +f(y) in fuzzy Banach spaces via the direct and fixed point methods.

MSC: 39B72; 39B82; 39B52; 47H09

Keywords: radical functional equations; stability; fuzzy Banach spaces

1 Introduction

The stability problem concerning the stability of group homomorphisms of functional equations was originally introduced by Ulam [] in . The famous Ulam stability prob-lem was partially solved by Hyers [] for a linear functional equation of Banach spaces. Hyers’ theorem was generalized by Aoki [] for additive mappings and by Rassias [] for linear mappings by considering an unbounded Cauchy difference. The paper of Rassias has had a lot of influence in the development of what we call the generalized Hyers-Ulam stability of functional equations. A generalization of Rassias’ theorem was obtained by Gˇavruta [] by replacing the unbounded Cauchy difference by a general control function in the spirit of Rassias’ approach. Cădariu and Radu [] applied thefixed point methodto the investigation of the Jensen functional equation. They could present a short and sim-ple proof (different from thedirect methodinitiated by Hyers in ) for the generalized Hyers-Ulam stability of the Jensen functional and the quadratic functional equations.

The functional equation

f(x+y) +f(xy) = f(x) + f(y) (.)

is called aquadratic functional equation. Quadratic functional equations were used to characterize inner product spaces. In particular, every solution of the quadratic equation is said to be aquadratic mapping. The generalized Hyers-Ulam stability problem for the quadratic functional equation (.) was proved by Skof []. Recently, the stability problem of the radical quadratic functional equations in various spaces was proved in the papers [–].

In , Katsaras [] defined a fuzzy norm on a linear space to construct a fuzzy vector topological structure on the space. Some mathematicians have defined fuzzy norms on a vector space from various points of view [–]. Cheng and Mordeson [] introduced a definition of fuzzy norm on a linear space in such a manner that the corresponding

(2)

induced fuzzy metric is of the Kramosil and Michálek type []. In , Bag and Samanta [] modified the definition of Cheng and Mordeson by removing a regular condition. Also, they investigated a decomposition theorem of a fuzzy norm into a family to crisp norms and gave some properties of fuzzy norm. The fuzzy stability problems of several functional equations have been extensively investigated by a number of authors and there are many interesting results concerning these problems [, –].

In the sequel, we use the definitions and some basic facts concerning fuzzy Banach spaces given in Bag and Samanta [].

Definition . LetXbe a real linear space. A functionN:X×R→[, ] is called afuzzy normonXif, for allx,yXands,t∈R,Nsatisfies the following conditions:

(N) N(x,t) = for allt≤;

(N) x= if and only ifN(x,t) = for allt> ; (N) N(cx,t) =N(x,t/|c|)for allc∈Rwithc= ; (N) N(x+y,s+t)≥min{N(x,s),N(y,t)};

(N) N(x,·)is a nondecreasing function ofRandlimt→∞N(x,t) = ;

(N) for allxXwithx= ,N(x,·)is continuous onR.

The pair (X,N) is called afuzzy normed linear space.

Example . Let (X, · ) be a normed linear space and letα,β> . Then

N(x,t) =

⎧ ⎨ ⎩

αt

αt+βx, t> ,xX;

, t≤,xX,

is a fuzzy norm onX.

Definition . Let (X,N) be a fuzzy normed linear space.

() A sequence{xn}inXis said to beconvergentto a pointxXif, for any> and

t> , there existsn∈Z+such thatN(xnx,t) >  –for allnn. In this case,xis

called thelimitof the sequence{xn}, which is denoted byx=limn→∞xn. () A sequence{xn}inXis called aCauchy sequenceif, for any> andt> , there

existsn∈Z+such thatN(xn+pxn,t) >  –for allnnandp∈Z+.

() If every Cauchy sequence is convergent, then the fuzzy norm is said to becomplete and the fuzzy normed linear space is called afuzzy Banach space.

A mappingf :XY between fuzzy normed linear spacesXandY is said to be

con-tinuousat a pointx∈Xif, for any sequence{xn}inXconverging to a pointx∈X, the

sequence{f(xn)}converges tof(x). Iff :XY is continuous at every pointxX, then f is said to becontinuousonX.

Example . LetN:R×R→[, ] be a fuzzy norm onRdefined by

N(x,t) =

⎧ ⎨ ⎩

t

t+x, t> ;

, t≤.

(3)

In this paper, we establish the generalized Hyers-Ulam stability problem of a radical quadratic functional equationf(x+y) =f(x) +f(y) in fuzzy Banach spaces via the

di-rect and fixed point methods.

2 Fuzzy stability of the radical quadratic functional equations

In this section, we study a fuzzy version of the generalized Hyers-Ulam stability of func-tional equation which approximate uniformly a radical quadratic mapping in fuzzy Banach spaces.

2.1 The direct method

Theorem . Let∈ {–, }be fixed, (Y,N)be a fuzzy Banach space andφ:R[,) be a mapping such that

(x,y) :=

n=–

 

nx, ny+φn+x, <(.)

for all x,y∈R.Suppose that f :R→Yis a mapping with f() = such that,for all t> ,

lim

t→∞N

fx+yf(x) –f(y),tφ(x,y)=  (.)

uniformly onR.Then there exists a unique quadratic mapping Q:R→Ysuch that,if there existδ> andα> such that

Nfx+yf(x) –f(y),δφ(x,y)α (.)

for all x,y∈R,then

N f(x) –Q(x),δ(x,x)

α (.)

for all x∈R.Furthermore,the quadratic mapping Q:R→Yis a unique mapping such that,for all t> ,

Nf(x) –Q(x),t(x,x)=  (.)

uniformly onR.

Proof Assume that= . For any> , by (.), we can find somet>  such that

Nfx+yf(x) –f(y),tφ(x,y) – (.)

for allx,y∈Randtt. Replacingxandyby x√+yandx√–yin (.), respectively, we have

N fx+yf x+y

f x√–y

, x√+y

 ,

xy

√ 

(4)

for allx,y∈Randtt. It follows from (.), (.), and (N) that

N f(x) +f(y) –f x√+y

f x√–y

,t φ(x,y) +φ x√+y

 ,

xy

√ 

≥ – (.)

for allx,y∈Randtt. Lettingy=xin (.), we have

Nf(x) –fx,tφˆ(x,x) – (.)

for allx∈Randtt, whereφˆ(x,x) =φ(x,x) +φ( 

x, ). By induction onn, we have

N

nf(x) –fnx,t

n–

k=

nk–φˆkx, kx

≥ – (.)

for allx∈R,ttandn∈Z+. Lett=t. Replacingnandxbypand 

n

xin (.),

respec-tively, we have

N

f(nx)

n

f(n+px)

n+p ,

t

n+p p–

k=

pk–φˆn+kx, n+kx

≥ – (.)

for alln≥ andp> . It follows from (.) and the equality

p–

k=

 n+k+φˆ

n+kx, n+kx=

n+p–

k=n  ˆ

kx, kx

that, for anyδ> , there exists somen∈Z+such that t

n+p–

k=n  ˆ

kx, kx<δ

for allnnandp> . Now, it follows from (.) that

N f(

n

x)

n

f(n+px)

n+p ,δ

N

f(nx)

n

f(n+px)

n+p ,

t

n+p p–

k=

pk–φˆn+kx, n+kx

≥ – (.)

for allnnandp> . Thus the sequence{f(

n

x)

n }is a Cauchy sequence in a fuzzy Banach spaceYand so it converges to someQ(x)∈Y. We can define a mappingQ:R→Yby

Q(x) = lim

n→∞

f(nx)

n ,

that is,limn→∞N(f(

n

x)

nQ(x),t) =  for allx∈Randt> . Letx,y∈R,t>  and  << . Sincelimn→∞ˆ(

n

x, ny) = , there existsn∈Z+withn>nsuch that

tφˆ

nx, ny<

nt

(5)

for allnn. Then, by (N), we have

NQx+yQ(x) –Q(y),t

≥min

N Q(x+y) –  nf

nx+ ny, t

,N Q(x) –  nf

nx, t

,

N Q(y) –  nf

ny,t

,N fnx+ nyfnxfny,

nt

(.)

for allnn. Since the first three terms on the right-hand side of the above inequality

tend to  asn→ ∞and

Nfnx+ nyfnxfny,tφˆn, ny –,

we have

NQx+yQ(x) –Q(y),t –

for allx,y∈R,t>  and  << . It follows from (N) thatQ(x+y) =Q(x) +Q(y) for

allx,y∈R. This means thatQis a quadratic mapping [].

Now, suppose that (.) holds for someδ>  andα> . Then assume that

ψn(x,y) = n–

k=

 k+φˆ

kx, ky

for allx,y∈R. For allx∈R, by a similar method to the beginning of the proof, we have

N

nf(x) –fnx,δ

n–

k=

nk–φˆkx, kx

α (.)

for alln∈Z+. Lett> . Then we have

Nf(x) –Q(x),δψn(x,x) +t

≥min

N f(x) –f( n

x)

n ,δψn(x,x)

,N f(

n

x)

nQ(x),t

. (.)

Combining (.) and (.) and using the factlimn→∞N(f(

n

x)

nQ(x),t) = , we obtain

Nf(x) –Q(x),δψn(x,x) +t

α (.)

for large enoughn∈Z+. It follows from the continuity of the functionN(f(x) –Q(x),·) that

N f(x) –Q(x),δ

(x,x) +t

α.

(6)

Next, assume that there exists another quadratic mappingT which satisfies (.). For any> , by applying (.) for the mappingsQandT, we can find somet>  such that

N f(x) –Q(x),t(x,x)

≥ –, N f(x) –T(x),t(x,x)

≥ –

for allx∈Randtt. Fixx∈Randc> . Then we find somen∈Z+such that

t ∞

k=n  ˆ

kx, ky< c

for allx,y∈Randnn. It follows from ∞

k=n  ˆ

kx, ky=

n

k=n  kˆ

knnx, knny

=  nm=  ˆ

mnx, mny

= 

n

nx, ny

that

NQ(x) –T(x),c

≥min

N f(

n

x)

nQ(x),

c

,N T(x) – f( n

x)

n ,

c

=minNfnxQnx, n–c,NTnxfnx, n–c

≥min

N

fnxQnx, nt

k=n  ˆ

kx, kx

,

N

Tnxfnx, nt

k=n  ˆ

kx, kx

≥minNfnxQnx,tnx, nx,

NTnxfnx,tnx, nx

≥ –

for allx,y∈Randc> . Thus we haveN(Q(x) –T(x),c) =  for allc>  and soQ(x) =T(x) for allx∈R.

For the case= –, we can state the proof in the same method as in the first case. In the case, the mappingQis defined byQ(x) =limn→∞nf(–

n

x). This completes the proof.

Corollary . Let(Y,N)be a fuzzy Banach space,θ and p∈Rwith p< be positive real numbers.Suppose that f :R→Yis a mapping with f() = such that,for all t> ,

lim

t→∞N

(7)

uniformly onR.Then the limit Q(x) =limn→∞f(

n

x)

n exists for all xX and there exists a

unique quadratic mapping Q:R→Ysuch that

lim

t→∞N f(x) –Q(x),

( + p)

 – pθ|x|pt

=  (.)

uniformly onR.

Proof The proof follows from Theorem . by taking φ(x,y) = θ(|x|p +|y|p) for all

x,y∈R.

Corollary . Let(Y,N)be a fuzzy Banach space andψ: [,∞)→[,∞)be a mapping such that,for all s,t> ,

(a) ψ(ts) =ψ(t)ψ(s); (b) ψ(√) < .

Suppose that f :R→Yis a mapping with f() = such that,for all t> ,

lim

t→∞N

fx+yf(x) –f(y),tθψ|x|+ψ|y|=  (.)

uniformly onR,whereθ> is fixed. Then the limit Q(x) =lim

n→∞f(

n

x)

n exists for all

x∈Rand defines a quadratic mapping Q:R→Ysuch that,for all t> ,

lim

t→∞N f(x) –Q(x),

( +ψ(√))  –ψ(√) θ ψ

|x|t

=  (.)

uniformly onR.

Proof The proof follows from Theorem . by takingφ(x,y) =θ(ψ(|x|) +ψ(|y|)) for all

x,y∈R.

2.2 The fixed point method

Recall that a mappingd:X[, +] is called ageneralized metricon a nonempty set Xif

() d(x,y) = if and only ifx=y; () d(x,y) =d(y,x);

() d(x,z)≤d(x,y) +d(y,z)for allx,y,zX.

A setXwith the generalized metricdis called ageneralized metric space.

In [], Diaz and Margolis proved the following fixed point theorem, which plays an important role for the main results in this section.

Theorem .[] Suppose that(,d)is a complete generalized metric space and T:is a strictly contractive mapping with Lipshitz constant L.Then,for any x,either d(Tnx,Tn+x) =for all nor there exists a positive integer n

such that

() d(Tnx,Tn+x) <for allnn ;

() the sequence{Tnx}is convergent to a fixed pointyofT;

() yis the unique fixed point ofT in the set={y:d(Tnx,y) <∞};

(8)

Theorem . Let(Y,N)be a fuzzy Banach space andφ:R[,)be a mapping such that there exists L< with

φx, yLφ(x,y) (.)

for all x,y∈R.If f :R→Yis a mapping with f() = and

Nfx+yf(x) –f(y),tt

t+φ(x,y) (.)

for all x,y∈Rand t> ,then the limit Q(x) =limn→∞nf( n

x)exists for all x∈Rand a unique quadratic mapping Q:R→Ysatisfies the inequality

Nf(x) –Q(x),t≥ ( –L)t

( –L)t+φˆ(x,x) (.)

for all x∈R,whereφˆ(x,x) =φ(x,x) +φ(x, ). Proof Lettingxandyby x√+y

 and

xy

 in (.), respectively, we have

N fx+yf x+y

f x√–y

,t

t

t+φ(x√+y ,

xy

)

(.)

for allx,y∈Randtt. It follows from (.), (.), and (N) that

N f(x) +f(y) –f x√+y

f x√–y

, t

≥min

Nf(x) +f(y) –fx+y,t,

N fx+yf x+y

f x√–y

,t

≥min

t t+φ(x,y),

t t+φ(x√+y

,

xy

)

t

t+φ(x,y) +φ(x√+y ,

xy

)

(.)

for allx,y∈Randtt. Lettingy=xin (.), we have

N f(x) – f

x,t

t

t+φˆ(x,x) (.)

for allx∈Randtt, whereφˆ(x,y) =φ(x,y) +φ(  x, ).

Letbe a set of all mapping fromRtoYand introduce a generalized metric onas

follows:

d(g,h) =inf

μ∈[,∞) :Ng(x) –h(x),μtt

t+φˆ(x,x),∀x∈R,t> 

(9)

It is easy to show that (,d) is a generalized complete metric space []. We consider the

mappingT:defined by

Tg(x) =  g

x

for allgandx∈R. Letg,hsuch thatd(g,h)≤μ. Then we have

NTg(x) –Th(x),tμL=Ngxhx, tμLt t+φˆ(x,x)

for allx∈R, and so

d(Tg,Th)≤Ld(g,h)

for all g,h. This means thatT is a strictly contractive self-mapping of with the Lipschitz constantL.

It follows from (.) thatd(f,Tf)≤ <∞. Now, it follows from Theorem . that the sequence{Tnf}converges to a unique fixed pointQofT. So there exists a fixed pointQ

ofTinsuch that

Q(x) = lim

n→∞

 nf

nx (.)

for allx∈Rsincelimn→∞d(Tn,Q) = . Again, using the fixed point method, sinceQis the unique fixed point ofT in∗={g:d(f,g) <∞}, we have

d(f,Q)≤ 

 –Ld(f,Tf)≤

  –L,

which gives

Nf(x) –Q(x),t≥ ( –L)t

( –L)t+φˆ(x,x)

for allx∈Randt> . Further, we have

NQx+yQ(x) –Q(y),t

≥ lim

n→∞N

fnx+ nyfnxfny, nt

≥ lim

n→∞

t

t+Lnφˆ(x,y)=  (.)

for allx,y∈Randt> . It follows from (N) andN(Q(x+y) –Q(x) –Q(y),t) that Q(x+y) =Q(x) +Q(y) for allx,y∈R. This means thatQis a quadratic mapping onR.

This completes the proof.

Theorem . Let(Y,N)be a fuzzy Banach space andφ:R[,)be a mapping such that there exists L< with

φx

,

y

√ 

L

(10)

for all x,y∈R.If f :R→Y is a mapping with f() = and(.),then the limit Q(x) =

limn→∞nf( x

n)exists for all x∈Rand there exists a unique quadratic mapping Q:R→Y satisfying the inequality

Nf(x) –Q(x),t≥ ( –L)t

( –L)t+ˆ(x,x) (.)

for all x∈Rand t> ,whereφˆ(x,x) =φ(x,x) +φ(x, ). Proof It follows from (.) that

N f(x) – fx

,Lt

t

t+φˆ(x,x) (.)

for allx∈Randtt, whereφˆ(x,y) =φ(x,y) +φ( 

x, ). Letanddbe as in the proof of

Theorem .. Then (,d) becomes a generalized complete metric space and we consider

the mappingT:defined by

(Tg)(x) = gx

,

x∈R. So, we haved(Tg,Th)≤Ld(g,h) for allg,h. It follows from Theorem . that there exists a unique mappingQ:R→Yin the set{g:d(f,g) <∞}which is a unique fixed point ofT such that

Q(x) = lim

n→∞ nf x

n

for allx∈R. Also, from (.) we haved(f,Tf)≤L. So, we can conclude that

d(f,Q)≤ 

 –Ld(f,Tf)≤ L

 –L,

which implies the inequality (.). The remaining assertion goes through in a similar way

to the corresponding part of Theorem .. This completes the proof.

Corollary . Let(Y,N)be a fuzzy Banach space andθ,p= be positive real numbers.

Suppose that f :R→Yis a mapping with f() = such that,for all t> ,

Nfx+yf(x) –f(y),t t

t+θ(|x|p+|y|p) (.)

uniformly onR.Then there exists a unique quadratic mapping Q:R→Ysuch that

Nf(x) –Q(x),t≥ ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

(–

p

)t (–

p

)t+(+p)θ|x|p

, p< ,

(–

p

)t

(–

p

)t+

p

(+

p

)θ|x|p, p> ,

(.)

(11)

Proof Takingφ(x,y) =θ(|x|p+|y|p) for allx,yRand choosingL= p, we have the desired

result.

Remark . The radical quadratic functional equationf(x+y) =f(x) +f(y) is not

sta-ble forp=  [].

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Author details

1Department of Mathematics, Dongeui University, Busan, 614-714, Korea.2Department of Mathematics, King Abdulaziz

University, Jeddah, 21589, Saudi Arabia.3Department of Mathematics Education and the RINS, Gyeongsang National

University, Chinju, 660-701, Korea.

Acknowledgements

The authors sincerely thank the anonymous reviewers for their careful reading, constructive comments and fruitful suggestions. The first author was supposed by Dongeui University (2013AA071) and the third author was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2013053358). This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. Therefore, the second author acknowledges with gratitude DSR, KAU for financial support.

Received: 14 February 2014 Accepted: 23 May 2014 Published:04 Jun 2014 References

1. Ulam, SM: Problems in Modern Mathematics. Science Editions. Wiley, New York (1940)

2. Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA27, 222-224 (1941) 3. Aoki, T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn.2, 64-66 (1950) 4. Rassias, TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc.72, 297-300 (1978) 5. Gˇavruta, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal.

Appl.184, 431-436 (1994)

6. C˘adariu, L, Radu, V: Fixed points and the stability of Jensen’s functional equation. J. Inequal. Pure Appl. Math.4, Article ID 4 (2003)

7. Skof, F: Proprietà locali e approssimazione di operatori. Rend. Semin. Mat. Fis. Milano53, 113-129 (1983) 8. Gordji, ME, Khodaei, H, Ebadian, A, Kim, GH: Nearly radical quadratic functional equations inp-2-normed spaces.

Abstr. Appl. Anal.2012, Article ID 896032 (2012)

9. Gordji, ME, Parviz, M: On the Hyers-Ulam stability of the functional equationf(x2+y2) =f(x) +f(y). Nonlinear Funct.

Anal. Appl.14, 413-420 (2009)

10. Khodaei, H, Gordji, ME, Kim, SS, Cho, YJ: Approximation of radical functional equations related to quadratic and quartic mappings. J. Math. Anal. Appl.395, 284-297 (2012)

11. Kim, SS, Cho, YJ, Gordji, ME: On the generalized Hyer-Ulam-Rassias stability problem on radical functional equations. J. Inequal. Appl.2012, 186 (2012)

12. Katsaras, AK: Fuzzy topological vector spaces II. Fuzzy Sets Syst.12, 143-154 (1984) 13. Felbin, C: Finite-dimensional fuzzy normed linear space. Fuzzy Sets Syst.48, 239-248 (1992) 14. Kramosil, I, Michálek, J: Fuzzy metrics and statistical metric spaces. Kybernetika11, 336-344 (1975) 15. Krishna, SV, Sarma, KKM: Separation of fuzzy normed linear spaces. Fuzzy Sets Syst.63, 207-217 (1994) 16. Xiao, JZ, Zhu, XH: Fuzzy normed space of operators and its completeness. Fuzzy Sets Syst.133, 389-399 (2003) 17. Cheng, SC, Mordeson, JN: Fuzzy linear operators and fuzzy normed linear spaces. Bull. Calcutta Math. Soc.86,

429-436 (1994)

18. Bag, T, Samanta, SK: Finite dimensional fuzzy normed linear spaces. J. Fuzzy Math.11, 687-705 (2003)

19. Mihet, D: The stability of additive Cauchy functional equation in non-Archimedean fuzzy normed spaces. Fuzzy Sets Syst.161, 2206-2212 (2010)

20. Mirmostaface, AK: Pertubation of generalized derivations in fuzzy Menger normed algebras. Fuzzy Sets Syst.195, 109-117 (2012)

21. Mirmostafaee, AK, Moslehian, MS: Fuzzy versions of Hyers-Ulam-Rassias theorem. Fuzzy Sets Syst.159, 720-729 (2008) 22. Mirmostafaee, AK, Mirzavaziri, M, Moslehian, MS: Fuzzy stability of the Jensen functional equation. Fuzzy Sets Syst.

159, 730-738 (2008)

23. Park, C: Fuzzy stability of a functional equation associated with inner product spaces. Fuzzy Sets Syst.160, 1632-1642 (2009)

24. Dias, JB, Margolis, B: A fixed point theorem of the alternative for contractions on a generalized complete metric space. Bull. Am. Math. Soc.74, 305-309 (1968)

(12)

10.1186/1029-242X-2014-231

References

Related documents