15
Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa-00109, 15 Pages doi:10.5899/2012/jnaa-00109 Research Article Fixed Points and Fuzzy Stability of Functional Equations Related to Inner Product Sun-Young Jang 1 , Choonkil Park 2* , Hassan Azadi Kenary 3 (1) Department of Mathematics, University of Ulsan, Ulsan 680-749, Korea (2) Department of Mathematics, Hanyang University, Seoul 133-791, Korea (3) Department of Mathematics, College of Science, Yasouj University, Yasouj 75914-353, Iran Copyright 2012 c Sun-Young Jang, Choonkil Park, Hassan Azadi Kenary. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In [40], Th.M. Rassias introduced the following equality m i,j =1 x i x j 2 =2m m i=1 x i 2 , m i=1 x i =0 for a fixed integer m 3. Let V,W be real vector spaces. It is shown that if a mapping f : V W satisfies m i,j =1 f (x i x j )=2m m i=1 f (x i ) (0.1) for all x 1 ,...,x m V with m i=1 x i = 0, then the mapping f : V W is realized as the sum of an additive mapping and a quadratic mapping. From the above equality we can define the functional equation f (x y)+ f (2x + y)+ f (x +2y)=3f (x)+3f (y)+3f (x + y), which is called a quadratic functional equation. Every solution of the quadratic functional equation is said to be a quadratic mapping. Using fixed point theorem we prove the Hyers-Ulam stability of the functional equation (0.1) in fuzzy Banach spaces. Keywords : Hyers-Ulam stability; fuzzy Banach space; fixed point; additive mapping; quadratic mapping. * Corresponding author. Email address: [email protected]; Tel: +82-2-2220-0892 1

Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Available online at www.ispacs.com/jnaa

Volume 2012, Year 2012 Article ID jnaa-00109, 15 Pages

doi:10.5899/2012/jnaa-00109

Research Article

Fixed Points and Fuzzy Stability of Functional

Equations Related to Inner Product

Sun-Young Jang1, Choonkil Park2∗, Hassan Azadi Kenary3

(1) Department of Mathematics, University of Ulsan, Ulsan 680-749, Korea

(2) Department of Mathematics, Hanyang University, Seoul 133-791, Korea

(3) Department of Mathematics, College of Science, Yasouj University, Yasouj 75914-353, Iran

Copyright 2012 c⃝ Sun-Young Jang, Choonkil Park, Hassan Azadi Kenary. This is an open access article

distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution,

and reproduction in any medium, provided the original work is properly cited.

AbstractIn [40], Th.M. Rassias introduced the following equality

m∑i,j=1

∥xi − xj∥2 = 2mm∑i=1

∥xi∥2,m∑i=1

xi = 0

for a fixed integer m ≥ 3.Let V,W be real vector spaces. It is shown that if a mapping f : V →W satisfies

m∑i,j=1

f(xi − xj) = 2mm∑i=1

f(xi) (0.1)

for all x1, . . . , xm ∈ V with∑m

i=1 xi = 0, then the mapping f : V → W is realized as thesum of an additive mapping and a quadratic mapping. From the above equality we candefine the functional equation

f(x− y) + f(2x+ y) + f(x+ 2y) = 3f(x) + 3f(y) + 3f(x+ y),

which is called a quadratic functional equation. Every solution of the quadratic functionalequation is said to be a quadratic mapping.

Using fixed point theorem we prove the Hyers-Ulam stability of the functional equation(0.1) in fuzzy Banach spaces.Keywords : Hyers-Ulam stability; fuzzy Banach space; fixed point; additive mapping; quadratic

mapping.

∗Corresponding author. Email address: [email protected]; Tel: +82-2-2220-0892

1

Page 2: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

2 Journal of Nonlinear Analysis and Application

1 Introduction and preliminaries

The theory of fuzzy space has much progressed as developing the theory of randomness.Some mathematicians have defined fuzzy norms on a vector space from various points ofview [2, 16, 26, 30, 53]. Following Cheng and Mordeson [8], Bag and Samanta [2] gave anidea of fuzzy norm in such a manner that the corresponding fuzzy metric is of Kramosiland Michalek type [25] and investigated some properties of fuzzy normed spaces [3].

We use the definition of fuzzy normed spaces given in [2, 30, 31] to investigate a fuzzyversion of the Hyers-Ulam stability for the functional equation (0.1) in the fuzzy normedvector space setting.

Definition 1.1. ([2, 30, 31, 32]) Let X be a real vector space. A function N : X × R →[0, 1] is called a fuzzy norm on X if for all x, y ∈ X and all s, t ∈ R,

(N1) N(x, t) = 0 for t ≤ 0;(N2) x = 0 if and only if N(x, t) = 1 for all t > 0;(N3) N(cx, t) = N(x, t

|c|) if c = 0;

(N4) N(x+ y, s+ t) ≥ min{N(x, s), N(y, t)};(N5) N(x, ·) is a non-decreasing function of R and limt→∞N(x, t) = 1;(N6) for x = 0, N(x, ·) is continuous on R.

The pair (X,N) is called a fuzzy normed vector space.

Definition 1.2. ([2, 30, 31, 32]) Let (X,N) be a fuzzy normed vector space. A se-quence {xn} in X is said to be convergent or converge if there exists an x ∈ X suchthat limn→∞N(xn − x, t) = 1 for all t > 0. In this case, x is called the limit of thesequence {xn} and we denote it by N -limn→∞ xn = x.

Definition 1.3. ([2, 30, 31]) Let (X,N) be a fuzzy normed vector space. A sequence {xn}in X is called Cauchy if for each ε > 0 and each t > 0 there exists an n0 ∈ N such thatfor all n ≥ n0 and all p > 0, we have N(xn+p − xn, t) > 1− ε.

It is well-known that every convergent sequence in a fuzzy normed vector space isCauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be completeand the fuzzy normed vector space is called a fuzzy Banach space.

We say that a mapping f : X → Y between fuzzy normed vector spaces X and Y iscontinuous at a point x0 ∈ X if for each sequence {xn} converging to x0 in X, then thesequence {f(xn)} converges to f(x0). If f : X → Y is continuous at each x ∈ X, thenf : X → Y is said to be continuous on X (see [3]).

The stability problem of functional equations originated from a question of Ulam [52]concerning the stability of group homomorphisms. Hyers [19] gave a first affirmative par-tial answer to the question of Ulam for Banach spaces. Hyers’ Theorem was generalizedby Aoki [1] for additive mappings and by Th.M. Rassias [39] for linear mappings by con-sidering an unbounded Cauchy difference. A generalization of the Th.M. Rassias theoremwas obtained by Gavruta [18] by replacing the unbounded Cauchy difference by a generalcontrol function in the spirit of Th.M. Rassias’ approach.

The functional equation f(x+y)+f(x−y) = 2f(x)+2f(y) is called a quadratic func-tional equation. A generalized Hyers-Ulam stability problem for the quadratic functionalequation was proved by Skof [51] for mappings f : X → Y , where X is a normed spaceand Y is a Banach space. Cholewa [10] noticed that the theorem of Skof is still true if the

Page 3: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 3

relevant domain X is replaced by an Abelian group. Czerwik [11] proved the Hyers-Ulamstability of the quadratic functional equation. The stability problems of several functionalequations have been extensively investigated by a number of authors and there are manyinteresting results concerning this problem (see [15, 20, 23], [35]–[37], [41]–[50]).

Let X be a set. A function d : X ×X → [0,∞] is called a generalized metric on X ifd satisfies

(1) d(x, y) = 0 if and only if x = y;

(2) d(x, y) = d(y, x) for all x, y ∈ X;

(3) d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z ∈ X.

We recall a fundamental result in fixed point theory.

Theorem 1.1. ([4, 14]) Let (X, d) be a complete generalized metric space and let J : X →X be a strictly contractive mapping with Lipschitz constant L < 1. Then for each givenelement x ∈ X, either

d(Jnx, Jn+1x) = ∞

for all nonnegative integers n or there exists a positive integer n0 such that

(1) d(Jnx, Jn+1x) <∞, ∀n ≥ n0;

(2) the sequence {Jnx} converges to a fixed point y∗ of J ;

(3) y∗ is the unique fixed point of J in the set Y = {y ∈ X | d(Jn0x, y) <∞};(4) d(y, y∗) ≤ 1

1−Ld(y, Jy) for all y ∈ Y .

In 1996, G. Isac and Th.M. Rassias [21] were the first to provide applications of stabilitytheory of functional equations for the proof of new fixed point theorems with applications.By using fixed point methods, the stability problems of several functional equations havebeen extensively investigated by a number of authors (see [5]–[7], [29, 33, 34, 38, 49]).

This paper is organized as follows: In Section 2, we prove the Hyers-Ulam stability ofthe functional equation (0.1) in fuzzy Banach spaces for an even case. In Section 3, weprove the Hyers-Ulam stability of the functional equation (0.1) in fuzzy Banach spaces foran odd case.

Throughout this paper, assume that X is a vector space and that (Y,N) is a fuzzyBanach space.

2 Hyers-Ulam stability of the functional equation (0.1): aneven mapping case

The square norm in an inner product space satisfies

m∑i,j=1

∥xi − xj∥2 = 2mm∑i=1

∥xi∥2,m∑i=1

xi = 0

for all x1, . . . , xm ∈ R with∑m

i=1 xi = 0 (see [40]). We can induce the following:

Df(x1, . . . , xm) =

m∑i,j=1

f(xi − xj)− 2m

m∑i=1

f(xi)

for all x1, . . . , xm ∈ V with∑m

i=1 xi = 0.

Page 4: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

4 Journal of Nonlinear Analysis and Application

Lemma 2.1. [9], Let V and W be real vector spaces. If a mapping f : V →W satisfies

m∑i,j=1

f(xi − xj) = 2m

m∑i=1

f(xi)

for all x1, . . . , xm ∈ V with∑m

i=1 xi = 0, then the mapping f : V → W is realized as thesum of an additive mapping and a quadratic mapping.

Using fixed point method, we prove the Hyers-Ulam stability of the functional equationDf(x1, . . . , xm) = 0 in fuzzy Banach spaces: an even case.

Theorem 2.1. Let φ : Xm → [0,∞) be a function such that there exists an L < 1 with

φ(x1, . . . , xm) ≤ L

4φ (2x1, . . . , 2xm)

for all x1, . . . , xm ∈ X. Let f : X → Y be an even mapping satisfying

N (Df(x1, . . . , xm), t) ≥ t

t+ φ (x1, . . . , xm)(2.2)

for all x1, . . . , xm ∈ X and all t > 0. Then Q(x) := N − limn→∞ 4nf(

x2n

)exists for each

x ∈ X and defines a quadratic mapping Q : X → Y such that

N (f(x)−Q(x), t) ≥ (8− 8L)t

(8− 8L)t+ Lφ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)(2.3)

for all x ∈ X and all t > 0.

Proof. Letting x1 = x, x2 = −x and x3 = · · · = xm = 0 in (2.2), we get

N (2f (2x)− 8f(x), t) ≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)(2.4)

for all x ∈ X.Consider the set

S := {g : X → Y }

and introduce the generalized metric on S:

d(g, h) = inf{µ ∈ R+ : N(g(x)− h(x), µt) ≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

), ∀x ∈ X, ∀t > 0},

where, as usual, inf ϕ = +∞. It is easy to show that (S, d) is complete (see the proof of[28, Lemma 2.1]).

Now we consider the linear mapping J : S → S such that

Jg(x) := 4g(x2

)

Page 5: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 5

for all x ∈ X.Let g, h ∈ S be given such that d(g, h) = ε. Then

N (g(x)− h(x), εt) ≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

for all x ∈ X and all t > 0. Hence

N (Jg(x)− Jh(x), Lεt) = N(4g

(x2

)− 4h

(x2

), Lεt

)= N

(g(x2

)− h

(x2

),L

4εt

)≥

Lt4

Lt4 + φ(x2 ,−

x2 , 0, . . . , 0︸ ︷︷ ︸

m−2 times

)

≥Lt4

Lt4 + L

4φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

=t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

for all x ∈ X and all t > 0. So d(g, h) = ε implies that d(Jg, Jh) ≤ Lε. This means that

d(Jg, Jh) ≤ Ld(g, h)

for all g, h ∈ S.It follows from (2.4) that

N

(f(x)− 4f

(x2

),L

8t

)≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

for all x ∈ X and all t > 0. So d(f, Jf) ≤ L8 .

By Theorem 1.1, there exists a mapping Q : X → Y satisfying the following:(1) Q is a fixed point of J , i.e.,

Q(x2

)=

1

4Q(x) (2.5)

for all x ∈ X. Since f : X → Y is even, Q : X → Y is an even mapping. The mapping Qis a unique fixed point of J in the set

M = {g ∈ S : d(f, g) <∞}.

This implies that Q is a unique mapping satisfying (2.5) such that there exists a µ ∈ (0,∞)satisfying

N(f(x)−Q(x), µt) ≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

Page 6: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

6 Journal of Nonlinear Analysis and Application

for all x ∈ X;(2) d(Jnf,Q) → 0 as n→ ∞. This implies the equality

N - limn→∞

4nf( x2n

)= Q(x)

for all x ∈ X;(3) d(f,Q) ≤ 1

1−Ld(f, Jf), which implies the inequality

d(f,Q) ≤ L

8− 8L.

This implies that the inequality (2.3) holds true.By (2.2),

N(4kDf

(x12k, . . . ,

xm2k

), 4kt

)≥ t

t+ φ(x1

2k, . . . , xm

2k

)for all x1, . . . , xm ∈ X, all t > 0 and all k ∈ N. So

N(4kDf

(x12k, . . . ,

xm2k

), t)≥

t4k

t4k

+ Lk

4kφ (x1, . . . , xm)

for all x1, . . . , xm ∈ X, all t > 0 and all n ∈ N. Since limk→∞t

4k

t

4k+Lk

4kφ(x1,...,xm)

= 1 for all

x1, . . . xm ∈ X and all t > 0,

N (DQ(x1, . . . , xm), t) = 1

for all x1, . . . , xm ∈ X and all t > 0. Thus Q(x1, . . . , xm) = 0. Since Q is even, it followsfrom [9, Lemma 2.1] that the mapping Q : X → Y is quadratic, as desired.

Corollary 2.1. Let θ ≥ 0 and let p be a real number with p > 2. Let X be a normedvector space with norm ∥ · ∥. Let f : X → Y be an even mapping satisfying

N (Df(x1, . . . , xm), t) ≥ t

t+∑m

i=1 θ(∥xi∥p)(2.6)

for all x1, . . . , xm ∈ X and all t > 0. Then Q(x) := N − limk→∞ 4kf(

x2k

)exists for each

x ∈ X and defines a quadratic mapping Q : X → Y such that

N (f(x)−Q(x), t) ≥ 2(2p − 4)t

2(2p − 4)t+ θ∥x∥p

for all x ∈ X and all t > 0.

Proof. The proof follows from Theorem 2.1 by taking

φ(x1, . . . , xm) :=

m∑i=1

θ(∥xi∥p)

for all x1, . . . , xm ∈ X. Then we can choose L = 22−p and we get the desired result.

Page 7: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 7

Theorem 2.2. Let φ : Xm → [0,∞) be a function such that there exists an L < 1 with

φ(x1, . . . , xm) ≤ 4Lφ(x12, . . . ,

xm2

)for all x1, . . . , xm ∈ X. Let f : X → Y be an even mapping satisfying (2.2). ThenQ(x) := N − limk→∞

14kf(2kx

)exists for each x ∈ X and defines a quadratic mapping

Q : X → Y such that

N (f(x)−Q(x), t) ≥ (8− 8L)t

(8− 8L)t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)(2.7)

for all x ∈ X and all t > 0.

Proof. Let (S, d) be the generalized metric space defined in the proof of Theorem 2.1.Consider the linear mapping J : S → S such that

Jg(x) :=1

4g (2x)

for all x ∈ X.It follows from (2.4) that

N

(f(x)− 1

4f(2x),

1

8t

)≥ t

t+ φ(x,−x, 0, . . . , 0︸ ︷︷ ︸m−2 times

)

for all x ∈ X and all t > 0. So d(f, Jf) ≤ 18 .

The rest of the proof is similar to the proof of Theorem 2.1.

Corollary 2.2. Let θ ≥ 0 and let p be a real number with 0 < p < 2. Let X be a normedvector space with norm ∥ · ∥. Let f : X → Y be an even mapping satisfying (2.6). ThenQ(x) := N − limk→∞

14kf(2kx

)exists for each x ∈ X and defines a quadratic mapping

Q : X → Y such that

N (f(x)−Q(x), t) ≥ 2(4− 2p)t

2(4− 2p)t+ θ∥x∥p

for all x ∈ X and all t > 0.

Proof. The proof follows from Theorem 2.2 by taking

φ (x1, . . . , xm) := θm∑i=1

∥xi∥p

for all x1 . . . , xm ∈ X. Then we can choose L = 2p−2 and we get the desired result.

Page 8: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

8 Journal of Nonlinear Analysis and Application

3 Hyers-Ulam stability of the functional equation (0.1): anodd mapping case

Using fixed point method, we prove the Hyers-Ulam stability of the functional equationDf(x1, . . . , xm) = 0 in fuzzy Banach spaces: an odd case.

Theorem 3.1. Let φ : Xm → [0,∞) be a function such that there exists an L < 1 with

φ(x1, . . . , xm) ≤ L

2φ (2x1, . . . , 2xm)

for all x1, . . . , xm ∈ X. Let f : X → Y be an odd mapping satisfying (2.2). ThenA(x) := N − limn→∞ 2nf

(x2n

)exists for each x ∈ X and defines an additive mapping

A : X → Y such that

N (f(x)−A(x), t) ≥ (4m− 4mL)t

(4m− 4mL)t+ Lφ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)(3.8)

for all x ∈ X and all t > 0.

Proof. Letting x1 = x, x2 = x, x3 = −2x and x4 = · · · = xm = 0 in (2.2), we get

N (2mf (2x)− 4mf(x), t) ≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)(3.9)

for all x ∈ X.Consider the set

S := {g : X → Y }

and introduce the generalized metric on S:

d(g, h) = inf{µ ∈ R+ : N(g(x)− h(x), µt) ≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

), ∀x ∈ X, ∀t > 0},

where, as usual, inf ϕ = +∞. It is easy to show that (S, d) is complete (see the proof of[28, Lemma 2.1]).

Now we consider the linear mapping J : S → S such that

Jg(x) := 2g(x2

)for all x ∈ X.Let g, h ∈ S be given such that d(g, h) = ε. Then

N (g(x)− h(x), εt) ≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

Page 9: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 9

for all x ∈ X and all t > 0. Hence

N (Jg(x)− Jh(x), Lεt) = N(2g

(x2

)− 2h

(x2

), Lεt

)= N

(g(x2

)− h

(x2

),L

2εt

)≥

Lt2

Lt2 + φ(x2 ,

x2 ,−x, 0, . . . , 0︸ ︷︷ ︸

m−3 times

)≥

Lt2

Lt2 + L

2φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

=t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

for all x ∈ X and all t > 0. So d(g, h) = ε implies that d(Jg, Jh) ≤ Lε. This means that

d(Jg, Jh) ≤ Ld(g, h)

for all g, h ∈ S.It follows from (3.9) that

N

(f(x)− 2f

(x2

),L

4mt

)≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

for all x ∈ X and all t > 0. So d(f, Jf) ≤ L4m .

By Theorem 1.1, there exists a mapping A : X → Y satisfying the following:

(1) A is a fixed point of J , i.e.,

A(x2

)=

1

2A(x) (3.10)

for all x ∈ X. Since f : X → Y is odd, A : X → Y is an odd mapping. The mapping A isa unique fixed point of J in the set

M = {g ∈ S : d(f, g) <∞}.

This implies that A is a unique mapping satisfying (3.10) such that there exists a µ ∈ (0,∞)satisfying

N(f(x)−A(x), µt) ≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

for all x ∈ X;

(2) d(Jnf,A) → 0 as n→ ∞. This implies the equality

N - limn→∞

2nf( x2n

)= A(x)

for all x ∈ X;

Page 10: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

10 Journal of Nonlinear Analysis and Application

(3) d(f,A) ≤ 11−Ld(f, Jf), which implies the inequality

d(f,A) ≤ L

4m− 4mL.

This implies that the inequality (3.8) holds true.By (2.2),

N(2kDf

(x12k, . . . ,

xm2k

), 2kt

)≥ t

t+ φ(x1

2k, . . . , xm

2k

)for all x1, . . . , xm ∈ X, all t > 0 and all k ∈ N. So

N(2kDf

(x12k, . . . ,

xm2k

), t)≥

t2k

t2k

+ Lk

2kφ (x1, . . . , xm)

for all x1, . . . , xm ∈ X, all t > 0 and all n ∈ N. Since limk→∞t

2k

t

2k+Lk

2kφ(x1,...,xm)

= 1 for all

x1, . . . xm ∈ X and all t > 0,

N (DA(x1, . . . , xm), t) = 1

for all x1, . . . , xm ∈ X and all t > 0. Thus A(x1, . . . , xm) = 0. Since A is odd, it followsfrom [9, Lemma 2.1] that the mapping A : X → Y is additive, as desired.

Corollary 3.1. Let θ ≥ 0 and let p be a real number with p > 1. Let X be a normedvector space with norm ∥ · ∥. Let f : X → Y be an odd mapping satisfying (2.6). ThenA(x) := N − limk→∞ 2kf

(x2k

)exists for each x ∈ X and defines an additive mapping

A : X → Y such that

N (f(x)−A(x), t) ≥ 2m(2p − 2)t

2m(2p − 2)t+ (2 + 2p)θ∥x∥p

for all x ∈ X and all t > 0.

Proof. The proof follows from Theorem 3.1 by taking

φ(x1, . . . , xm) :=

m∑i=1

θ(∥xi∥p)

for all x1, . . . , xm ∈ X. Then we can choose L = 21−p and we get the desired result.

Theorem 3.2. Let φ : Xm → [0,∞) be a function such that there exists an L < 1 with

φ(x1, . . . , xm) ≤ 2Lφ(x12, . . . ,

xm2

)for all x1, . . . , xm ∈ X. Let f : X → Y be an odd mapping satisfying (2.2). ThenA(x) := N − limk→∞

12kf(2kx

)exists for each x ∈ X and defines an additive mapping

A : X → Y such that

N (f(x)−A(x), t) ≥ (4m− 4mL)t

(4m− 4mL)t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)(3.11)

for all x ∈ X and all t > 0.

Page 11: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 11

Proof. Let (S, d) be the generalized metric space defined in the proof of Theorem 3.1.Consider the linear mapping J : S → S such that

Jg(x) :=1

2g (2x)

for all x ∈ X.It follows from (3.9) that

N

(f(x)− 1

4mf(2x),

1

4mt

)≥ t

t+ φ(x, x,−2x, 0, . . . , 0︸ ︷︷ ︸m−3 times

)

for all x ∈ X and all t > 0. So d(f, Jf) ≤ 14m .

The rest of the proof is similar to the proofs of Theorems 2.1 and 3.1.

Corollary 3.2. Let θ ≥ 0 and let p be a real number with 0 < p < 1. Let X be a normedvector space with norm ∥ · ∥. Let f : X → Y be an odd mapping satisfying (2.6). ThenA(x) := N − limk→∞

12kf(2kx

)exists for each x ∈ X and defines an additive mapping

A : X → Y such that

N (f(x)−A(x), t) ≥ 2m(2− 2p)t

2m(2− 2p)t+ (2 + 2p)θ∥x∥p

for all x ∈ X and all t > 0.

Proof. The proof follows from Theorem 3.2 by taking

φ (x1, . . . , xm) := θ

m∑i=1

∥xi∥p

for all x1 . . . , xm ∈ X. Then we can choose L = 2p−1 and we get the desired result.

In this paper, we have proved the Hyers-Ulam stability of a functional equation, orig-inated from an inner product, in fuzzy Banach spaces for an even case and for an oddcase.

Acknowledgements

The first author was supported by University of Ulsan, 2009 Research Fund and had beenwritten during visiting the Research Institute of Mathematics, Seoul National University.The third author was supported by Basic Science Research Program through the Na-tional Research Foundation of Korea funded by the Ministry of Education, Science andTechnology (NRF-2009-0070788).

References

[1] T. Aoki, On the stability of the linear transformation in Banach spaces, J. Math.Soc. Japan 2 (1950) 64–66.http://dx.doi.org/10.2969/jmsj/00210064.

Page 12: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

12 Journal of Nonlinear Analysis and Application

[2] T. Bag and S.K. Samanta, Finite dimensional fuzzy normed linear spaces, J. FuzzyMath. 11 (2003) 687–705.

[3] T. Bag and S.K. Samanta, Fuzzy bounded linear operators, Fuzzy Sets and Systems151 (2005) 513–547.http://dx.doi.org/10.1016/j.fss.2004.05.004.

[4] L. Cadariu and V. Radu, Fixed points and the stability of Jensen’s functional equa-tion, J. Inequal. Pure Appl. Math. 4 (1) Art. ID 4 (2003).

[5] L. Cadariu and V. Radu, On the stability of the Cauchy functional equation: a fixedpoint approach, Grazer Math. Ber. 346 (2004) 43–52.

[6] L. Cadariu and V. Radu, Remarks on the stability of monomial functional equations,Fixed Point Theory 8 (2007) 201–218.

[7] L. Cadariu and V. Radu, Fixed point methods for the generalized stability of func-tional equations in a single variable, Fixed Point Theory and Applications Art. ID749392 (2008).

[8] S.C. Cheng and J.M. Mordeson, Fuzzy linear operators and fuzzy normed linearspaces, Bull. Calcutta Math. Soc. 86 (1994) 429–436.

[9] Y. Cho, C. Park, Th.M. Rassias and R. Saadati, Inner product spaces and functionalequations, J. Comput. Anal. Appl. 13 (2011) 296–304.

[10] P.W. Cholewa, Remarks on the stability of functional equations, Aequationes Math.27 (1984) 76–86.http://dx.doi.org/10.1007/BF02192660.

[11] S. Czerwik, On the stability of the quadratic mapping in normed spaces, Abh. Math.Sem. Univ. Hamburg 62 (1992) 59–64.http://dx.doi.org/10.1007/BF02941618.

[12] S. Czerwik, The stability of the quadratic functional equation. in: Stability of map-pings of Hyers-Ulam type, (ed. Th.M. Rassias and J.Tabor), Hadronic Press, PalmHarbor, Florida, 1994, 81-91.

[13] P. Czerwik, Functional Equations and Inequalities in Several Variables, World Sci-entific Publishing Company, New Jersey, Hong Kong, Singapore and London, 2002.http://dx.doi.org/10.1142/9789812778116.

[14] J. Diaz and B. Margolis, A fixed point theorem of the alternative for contractionson a generalized complete metric space, Bull. Amer. Math. Soc. 74 (1968) 305–309.http://dx.doi.org/10.1090/S0002-9904-1968-11933-0.

[15] A. Ebadian, N. Ghobadipour, M.B. Savadkouhi and M.E. Gordji, Stability of amixed type cubic and quartic functional equation in non-Archimedean l-fuzzy normedspaces, Thai J. Math. 9 (2011) 243–259.

[16] C. Felbin, Finite dimensional fuzzy normed linear spaces, Fuzzy Sets and Systems48 (1992) 239–248.http://dx.doi.org/10.1016/0165-0114(92)90338-5.

Page 13: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 13

[17] Z. Gajda, On stability of additive mappings, Internat. J. Math. Math. Sci. 14 (1991)431–434.http://dx.doi.org/10.1155/S016117129100056X.

[18] P. Gavruta, A generalization of the Hyers-Ulam-Rassias stability of approximatelyadditive mappings, J. Math. Anal. Appl. 184 (1994) 431–436.http://dx.doi.org/10.1006/jmaa.1994.1211.

[19] D.H. Hyers, On the stability of the linear functional equation, Proc. Natl. Acad. Sci.USA 27 (1941) 222–224.http://dx.doi.org/10.1073/pnas.27.4.222.

[20] D.H. Hyers, G. Isac and Th.M. Rassias, Stability of Functional Equations in SeveralVariables, Birkhauser, Basel, 1998.

[21] G. Isac and Th.M. Rassias, Stability of ψ-additive mappings: Appications to non-linear analysis, Internat. J. Math. Math. Sci. 19 (1996) 219–228.http://dx.doi.org/10.1155/S0161171296000324.

[22] K. Jun and H. Kim, The generalized Hyers-Ulam-Rassias stability of a cubic func-tional equation, J. Math. Anal. Appl. 274 (2002) 867–878.http://dx.doi.org/10.1016/S0022-247X(02)00415-8.

[23] S. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in MathematicalAnalysis, Hadronic Press lnc., Palm Harbor, Florida, 2001.

[24] A.K. Katsaras, Fuzzy topological vector spaces II, Fuzzy Sets and Systems 12 (1984)143–154.http://dx.doi.org/10.1016/0165-0114(84)90034-4.

[25] I. Kramosil and J. Michalek, Fuzzy metric and statistical metric spaces, Kybernetica11 (1975) 326–334.

[26] S.V. Krishna and K.K.M. Sarma, Separation of fuzzy normed linear spaces, FuzzySets and Systems 63 (1994) 207–217.http://dx.doi.org/10.1016/0165-0114(94)90351-4.

[27] S. Lee, S. Im and I. Hwang, Quartic functional equations, J. Math. Anal. Appl. 307(2005) 387–394.http://dx.doi.org/10.1016/j.jmaa.2004.12.062.

[28] D. Mihet and V. Radu, On the stability of the additive Cauchy functional equationin random normed spaces, J. Math. Anal. Appl. 343 (2008) 567–572.http://dx.doi.org/10.1016/j.jmaa.2008.01.100.

[29] M. Mirzavaziri and M.S. Moslehian, A fixed point approach to stability of a quadraticequation, Bull. Braz. Math. Soc. 37 (2006) 361–376.http://dx.doi.org/10.1007/s00574-006-0016-z.

[30] A.K. Mirmostafaee, M. Mirzavaziri and M.S. Moslehian, Fuzzy stability of the Jensenfunctional equation, Fuzzy Sets and Systems 159 (2008) 730–738.http://dx.doi.org/10.1016/j.fss.2007.07.011.

Page 14: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

14 Journal of Nonlinear Analysis and Application

[31] A.K. Mirmostafaee and M.S. Moslehian, Fuzzy versions of Hyers-Ulam-Rassias theo-rem, Fuzzy Sets and Systems 159 (2008) 720–729.http://dx.doi.org/10.1016/j.fss.2007.09.016.

[32] A.K. Mirmostafaee and M.S. Moslehian, Fuzzy approximately cubic mappings, In-form. Sci. 178 (2008) 3791–3798.http://dx.doi.org/10.1016/j.ins.2008.05.032.

[33] C. Park, Fixed points and Hyers-Ulam-Rassias stability of Cauchy-Jensen functionalequations in Banach algebras, Fixed Point Theory and Applications Art. ID 50175(2007).http://dx.doi.org/10.1155/2007/50175.

[34] C. Park, Generalized Hyers-Ulam-Rassias stability of quadratic functional equations:a fixed point approach, Fixed Point Theory and Applications Art. ID 493751 (2008).

[35] C. Park, Y. Cho and M. Han, Functional inequalities associated with Jordan-vonNeumann type additive functional equations, J. Inequal. Appl. Art. ID 41820 (2007).http://dx.doi.org/10.1155/2007/41820.

[36] C. Park and J. Cui, Generalized stability of C∗-ternary quadratic mappings, AbstractAppl. Anal. Art. ID 23282 (2007).http://dx.doi.org/10.1155/2007/23282.

[37] C. Park and A. Najati, Homomorphisms and derivations in C∗-algebras, AbstractAppl. Anal. Art. ID 80630 (2007).http://dx.doi.org/10.1155/2007/80630.

[38] V. Radu, The fixed point alternative and the stability of functional equations, FixedPoint Theory 4 (2003) 91–96.

[39] Th.M. Rassias, On the stability of the linear mapping in Banach spaces, Proc. Amer.Math. Soc. 72 (1978) 297–300.http://dx.doi.org/10.1090/S0002-9939-1978-0507327-1.

[40] Th.M. Rassias, On characterizations of inner product spaces and generalizationsof the H. Bohr inequality, in Topics in Mathematical Analysis (ed. Th.M. Rassias),World Scientific Publ. Co., Singapore, (1989) 803–819.

[41] Th.M. Rassias, Problem 16; 2, Report of the 27th International Symp. on FunctionalEquations, Aequationes Math. 39 (1990) 292–293; 309.

[42] Th.M. Rassias, On the stability of the quadratic functional equation and its appli-cations, Studia Univ. Babes-Bolyai XLIII (1998) 89–124.

[43] Th.M. Rassias, The problem of S.M. Ulam for approximately multiplicative map-pings, J. Math. Anal. Appl. 246 (2000) 352–378.http://dx.doi.org/10.1006/jmaa.2000.6788.

[44] Th.M. Rassias, On the stability of functional equations in Banach spaces, J. Math.Anal. Appl. 251 (2000) 264–284.http://dx.doi.org/10.1006/jmaa.2000.7046.

Page 15: Fixed Points and Fuzzy Stability of Functional Equations ... · It is well-known that every convergent sequence in a fuzzy normed vector space is Cauchy. If each Cauchy sequence is

Journal of Nonlinear Analysis and Application 15

[45] Th.M. Rassias, On the stability of functional equations and a problem of Ulam, ActaAppl. Math. 62 (2000) 23–130.http://dx.doi.org/10.1023/A:1006499223572.

[46] Th.M. Rassias and P. Semrl, On the behaviour of mappings which do not satisfyHyers-Ulam stability, Proc. Amer. Math. Soc. 114 (1992) 989–993.http://dx.doi.org/10.1090/S0002-9939-1992-1059634-1.

[47] Th.M. Rassias and P. Semrl, On the Hyers-Ulam stability of linear mappings, J.Math. Anal. Appl. 173 (1993) 325–338.http://dx.doi.org/10.1006/jmaa.1993.1070.

[48] Th.M. Rassias and K. Shibata, Variational problem of some quadratic functionals incomplex analysis, J. Math. Anal. Appl. 228 (1998) 234–253.http://dx.doi.org/10.1006/jmaa.1998.6129.

[49] I.A. Rus, Remarks on Ulam stability of the operatorial equations, ixed Point Theory10 (2009) 305–320.

[50] R. Saadati and C. Park, Non-Archimedean L-fuzzy normed spaces and stability offunctional equations, Computers Math. Appl. 60 (2010) 2488–2496.http://dx.doi.org/10.1016/j.camwa.2010.08.055.

[51] F. Skof, Proprieta locali e approssimazione di operatori, Rend. Sem. Mat. Fis. Milano53 (1983) 113–129.http://dx.doi.org/10.1007/BF02924890.

[52] S. M. Ulam, A Collection of the Mathematical Problems, Interscience Publ. NewYork, 1960.

[53] J.Z. Xiao and X.H. Zhu, Fuzzy normed spaces of operators and its completeness,Fuzzy Sets and Systems 133 (2003) 389–399.http://dx.doi.org/10.1016/S0165-0114(02)00274-9.