Skip to main content

Fuzzy stability of a mixed type functional equation

Abstract

In this paper, we investigate a fuzzy version of stability for the functional equation

f ( x + y + z ) - f ( x + y ) - f ( y + z ) - f ( x + z ) + f ( x ) + f ( y ) + f ( z ) = 0

in the sense of Mirmostafaee and Moslehian.

1991 Mathematics Subject Classification. Primary 46S40; Secondary 39B52.

Introduction

A classical question in the theory of functional equations is "when is it true that a mapping, which approximately satisfies a functional equation, must be somehow close to an exact solution of the equation?". Such a problem, called a stability problem of the functional equation, was formulated by Ulam [1] in 1940. In the next year, Hyers [2] gave a partial solution of Ulam's problem for the case of approximate additive mappings. Subsequently, his result was generalized by Aoki [3] for additive mappings and by Rassias [4] for linear mappings, for considering the stability problem with unbounded Cauchy differences. During the last decades, the stability problems of functional equations have been extensively investigated by a number of mathematicians, see [517].

In 1984, Katsaras [18] defined a fuzzy norm on a linear space to construct a fuzzy structure on the space. Since then, some mathematicians have introduced several types of fuzzy norm in different points of view. In particular, Bag and Samanta [19], following Cheng and Mordeson [20], gave an idea of a fuzzy norm in such a manner that the corresponding fuzzy metric is of Kramosil and Michalek type [21]. In 2008, Mirmostafaee and Moslehian [22] obtained a fuzzy version of stability for the Cauchy functional equation:

f ( x + y ) - f ( x ) - f ( y ) = 0 .
(1.1)

In the same year, they [23] proved a fuzzy version of stability for the quadratic functional equation:

f ( x + y ) + f ( x - y ) - 2 f ( x ) - 2 f ( y ) = 0 .
(1.2)

We call a solution of (1.1) an additive map and a mapping satisfying (1.2) is called a quadratic map. Now we consider the functional equation:

f ( x + y + z ) - f ( x + y ) - f ( y + z ) - f ( x + z ) + f ( x ) + f ( y ) + f ( z ) = 0 .
(1.3)

which is called a mixed type functional equation. We say a solution of (1.3) a quadratic-additive mapping. In 2002, Jung [24] obtained a stability of the functional equation (1.3) by taking and composing an additive map A and a quadratic map Q to prove the existence of a quadratic-additive mapping F, which is close to the given mapping f. In his processing, A is approximate to the odd part f ( x ) - f ( - x ) 2 of f and Q is close to the even part f ( x ) + f ( - x ) 2 of it, respectively.

In this paper, we get a general stability result of the mixed type functional equation(1.3) in the fuzzy normed linear space. To do it, we introduce a Cauchy sequence {J n f (x)} starting from a given mapping f , which converges to the desired mapping F in the fuzzy sense. As we mentioned before, in previous studies of stability problem of (1.3), they attempted to get stability theorems by handling the odd and even part of f, respectively. According to our proposal in this paper, we can take the desired approximate solution F at once. Therefore, this idea is a refinement with respect to the simplicity of the proof.

2. Fuzzy stability of the functional equation (1.3)

We use the definition of a fuzzy normed space given in [19] to exhibit a reasonable fuzzy version of stability for the mixed type functional equation in the fuzzy normed linear space.

Definition 2.1. ([19]) Let X be a real linear space. A function N : X × → [0, 1] (the so-called fuzzy subset) is said to be a fuzzy norm on x if for all x, y X and all s, t ,

(N1) N(x, c) = 0 for c ≤ 0;

(N2) x = 0 if and only if N(x, c) = 1 for all c > 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 on and limt→∞N (x, t) = 1.

The pair (X, N) is called a fuzzy normed linear space. Let (X, N) be a fuzzy normed linear space. Let {x n } be a sequence in X. Then, {x n } is said to be convergent if there exists x X such that limn→∞N (x n - x, t) = 1 for all t > 0. In this case, x is called the limit of the sequence {x n }, and we denote it by N - limn→∞x n = x. A sequence {x n } in X is called Cauchy if for each ε > 0 and each t > 0 there exists n0 such that for all nn0 and all p > 0 we have N(xn+p- x n , t) > 1 - ε. It is known that every convergent sequence in a fuzzy normed space is Cauchy. If each Cauchy sequence is convergent, then the fuzzy norm is said to be complete and the fuzzy normed space is called a fuzzy Banach space.

Let (X, N) be a fuzzy normed space and (Y, N') a fuzzy Banach space. For a given mapping f : XY, we use the abbreviation

D f ( x , y , z ) : = f ( x + y + z ) - f ( x + y ) - f ( y + z ) - f ( x + z ) + f ( x ) + f ( y ) + f ( z )

for all x, y, z X. For given q > 0, the mapping f is called a fuzzy q-almost quadratic-additive mapping, if

N ( D f ( x , y , z ) , s + t + u ) min { N ( x , s q ) , N ( y , t q ) , N ( z , u q ) }
(2.1)

for all x, y, z X and all s, t, u (0, ∞). Now we get the general stability result in the fuzzy normed linear setting.

Theorem 2.2. Let q be a positive real number with q 1 2 ,1. And let f be a fuzzy q-almost quadratic-additive mapping from a fuzzy normed space(X, N) into a fuzzy Banach space (Y, N'). Then there is a unique quadratic-additive mapping F : XY such that for each x X and t > 0,

N ( F ( x ) - f ( x ) , t ) sup t < t N x , 2 - 2 p 3 q t q i f 1 < q , sup t < t N x , ( 4 - 2 p ) ( 2 - 2 p ) 6 q t q i f 1 2 < q < 1 , sup t < t N x , 2 p - 4 3 q t q i f 0 < q < 1 2
(2.2)

where p = 1/q.

Proof. It follows from (2.1) and (N4) that

N ( f ( 0 ) , t ) min N 0 , t 3 q , N 0 , t 3 q , N 0 , t 3 q = 1

for all t (0, ∞). By (N2), we have f(0) = 0. We will prove the theorem in three cases, q > 1, 1 2 <q<1, and 0<q< 1 2 .

Case 1. Let q > 1 and let J n f : XY be a mapping defined by

J n f ( x ) = 1 2 ( 4 - n ( f ( 2 n x ) + f ( - 2 n x ) ) + 2 - n ( f ( 2 n x ) - f ( - 2 n x ) ) )

for all x X. Notice that J0 f (x) = f (x) and

J j f ( x ) J j + 1 f ( x ) = D f ( 2 j x , 2 j x , 2 j x ) 2 4 j + 1 + D f ( 2 j x , 2 j x ,2 j x ) 2 4 j + 1 + D f ( 2 j x ,2 j x , 2 j x ) 2 j + 2 D f ( 2 j x , 2 j x ,2 j x ) 2 j + 2
(2.3)

for all x X and j ≥ 0. Together with (N3), (N4) and (2.1), this equation implies that if n + m > m ≥ 0, then

N ( J m f ( x ) J n + m f ( x ), j = m n + m 1 3 2 ( 2 p 2 ) j t p ) = N ( j = m n + m 1 ( J j f ( x ) J j + 1 f ( x ) ) , j = m n + m 1 3 2 j p 2 j + 1 t p ) min j = m , , n + m 1 { N ( J j f ( x ) J j + 1 f ( x ), 3 2 j p 2 j + 1 t p ) } min j = m , , n + m 1 { min { N ( ( 2 j + 1 + 1 ) D f ( 2 j x ,2 j x , 2 j x ) 2 4 j + 1 , 3 ( 2 j + 1 + 1 ) 2 j p t p 2 4 j + 1 ) , N ( 1 ( 2 j + 1 ) D f ( 2 j x , 2 j x ,2 j x ) 2 4 j + 1 , 3 ( 2 j + 1 1 ) 2 j p t p 2 4 j + 1 ) } } min j = m , , n + m 1 { N ( 2 j x ,2 j t ) } = N ( x, t )
(2.4)

for all x X and t > 0. Let ε > 0 be given. Since limt→∞N (x, t) = 1, there is t0 > 0 such that

N ( x , t 0 ) 1 - ε .

We observe that for some t ̃ > t 0 , the series j = 0 3 2 j p 2 j + 1 t ̃ p converges for p= 1 q <1. It guarantees that, for an arbitrary given c > 0, there exists some n0 ≥ 0 such that

j = m n + m - 1 3 2 j p 2 j + 1 t ̃ p < c

for each mn0 and n > 0. By (N5) and (2.4), we have

N ( J m f ( x ) - J n + m f ( x ) , c ) N J m f ( x ) - J n + m f ( x ) , j = m n + m - 1 3 2 j p 2 j + 1 t ̃ p N ( x , t ̃ ) N ( x , t 0 ) 1 - ε

for all x X. Hence {J n f (x)} is a Cauchy sequence in the fuzzy Banach space (Y, N'), and so, we can define a mapping F : XY by

F ( x ) : = N - lim n J n f ( x )

for all x X. Moreover, if we put m = 0 in (2.4), we have

N ( f ( x ) - J n f ( x ) , t ) N x , t q j = 0 n - 1 3 2 j p 2 j + 1 q
(2.5)

for all x X. Next we will show that F is quadratic additive. Using (N4), we have

N ( D F ( x , y , z ) , t ) min N ( F - J n f ) ( x + y + z ) , t 2 8 , N ( F - J n f ) ( x ) , t 2 8 , N ( F - J n f ) ( y ) , t 2 8 , N ( F - J n f ) ( z ) , t 2 8 N ( J n f - F ) ( x + y ) , t 2 8 , N ( J n f - F ) ( x + z ) , t 2 8 , N ( J n f - F ) ( y + z ) , t 2 8 , N D J n f ( x , y , z ) , 3 t 4
(2.6)

for all x, y, z X and n . The first seven terms on the right-hand side of (2.6) tend to 1 as n → ∞ by the definition of F and (N2), and the last term holds

N ( D J n f ( x , y , z ), 3 t 4 ) min { N ( D f ( 2 n x ,2 n y ,2 n z ) 2 4 n , 3 t 16 ) , N ( D f ( 2 n x , 2 n y , 2 n z ) 2 4 n , 3 t 16 ) , N ( D f ( 2 n x ,2 n y ,2 n z ) 2 2 n , 3 t 16 ) , N ( D f ( 2 n x , 2 n y , 2 n z ) 2 2 n , 3 t 16 ) }

for all x, y, z X. By (N3) and (2.1), we obtain

N D f ( ± 2 n x , ± 2 n y , ± 2 n z ) 2 4 n , 3 t 1 6 = N D f ( ± 2 n x , ± 2 n y , ± 2 n z ) , 3 4 n t 8 min N 2 n x , 4 n t 8 q , N 2 n y , 4 n t 8 q , N 2 n z , 4 n t 8 q min N x , 2 ( 2 q - 1 ) n - 3 q t q , N y , 2 ( 2 q - 1 ) n - 3 q t q , N z , 2 ( 2 q - 1 ) n - 3 q t q

and

N D f ( ± 2 n x , ± 2 n y , ± 2 n z ) 2 2 n , 3 t 1 6 min N x , 2 ( q - 1 ) n - 3 q t q , N y , 2 ( q - 1 ) n - 3 q t q , N z , 2 ( q - 1 ) n - 3 q t q

for all x, y, z X and n . Since q > 1, together with (N5), we can deduce that the last term of (2.6) also tends to 1 as n → ∞. It follows from (2.6) that

N ( D F ( x , y , z ) , t ) = 1

for all x, y, z X and t > 0. By (N2), this means that DF(x, y, z) = 0 for all x, y, z X.

Now we approximate the difference between f and F in a fuzzy sense. For an arbitrary fixed x X and t > 0, choose 0 < ε < 1 and 0 < t' < t. Since F is the limit of {J n f (x)}, there is n such that

N ( F ( x ) - J n f ( x ) , t - t ) 1 - ε .

By (2.5), we have

N ( F ( x ) - f ( x ) , t ) min { N ( F ( x ) - J n f ( x ) , t - t ) , N ( J n f ( x ) - f ( x ) , t ) } min 1 - ε , N x , t q j = 0 n - 1 3 2 j p 2 j + 1 q min 1 - ε , N x , ( 2 - 2 p ) t 3 q .

Because 0 < ε < 1 is arbitrary, we get the inequality (2.2) in this case.

Finally, to prove the uniqueness of F, let F' : XY be another quadratic-additive mapping satisfying (2.2). Then by (2.3), we get

F ( x ) - J n F ( x ) = j = 0 n - 1 ( J j F ( x ) - J j + 1 F ( x ) ) = 0 F ( x ) - J n F ( x ) = j = 0 n - 1 ( J j F ( x ) - J j + 1 F ( x ) ) = 0
(2.7)

for all x X and n . Together with (N4) and (2.2), this implies that

N ( F ( x ) F ( x ), t ) = N ( J n F ( x ) J n F ( x ), t ) min { N ( J n F ( x ) J n f ( x ), t 2 ) , N ( J n f ( x ) J n F ( x ), t 2 ) } min { N ( ( F f ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( f F ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( F f ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( f F ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( F f ) ( 2 n x ) 2 2 n , t 8 ) , N ( ( f F ) ( 2 n x ) 2 2 n , t 8 ) , N ( ( F f ) ( 2 n x ) 2 2 n , t 8 ) , N ( ( f F ) ( 2 n x ) 2 2 n , t 8 ) } sup t < t N ( x , 2 ( q 1 ) n 2 q ( 2 2 p 3 ) q t q )

for all x X and n . Observe that, for q= 1 p >1, the last term of the above inequality tends to 1 as n → ∞ by (N5). This implies that N'(F(x) - F'(x), t) = 1, and so, we get

F ( x ) = F ( x )

for all x X by (N2).

Case 2. Let 1 2 <q<1 and let J n f : XY be a mapping defined by

J n f ( x ) = 1 2 ( 4 n ( f ( 2 n x ) + f ( 2 n x ) ) + 2 n ( f ( x 2 n ) f ( x 2 n ) ) )

for all x X. Then we have J0 f (x) = f (x) and

J j f ( x ) J j + 1 f ( x ) = D f ( 2 j x , 2 j x ,2 j x ) 2 4 j + 1 + D f ( 2 j x , 2 j x , 2 j x ) 2 4 j + 1 2 j 1 ( D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) )

for all x X and j ≥ 0. If n + m > m ≥ 0, then we have

N ( J m f ( x ) J n + m f ( x ), j = m n + m 1 ( 3 4 ( 2 p 4 ) j + 3 2 p ( 2 2 p ) j ) t p ) min j = m , , n + m 1 { min { N ( D f ( 2 j x , 2 j x , 2 j x ) 2 4 j + 1 , 3 2 j p t p 2 4 j + 1 ) , N ( D f ( 2 j x , 2 j x ,2 j x ) 2 4 j + 1 , 3 2 j p t p 2 4 j + 1 ) , N ( 2 j 1 D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) , 3 2 j 1 t p 2 ( j + 1 ) p ) , N ( 2 j 1 D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) , 3 2 j 1 t p 2 ( j + 1 ) p ) } } min j = m , , n + m 1 { N ( 2 j x ,2 j t ), N ( x 2 j + 1 , t 2 j + 1 ) } = N ( x , t )

for all x X and t > 0. In the similar argument following (2.4) of the previous case, we can define the limit F(x) := N' - limn→∞J n f (x) of the Cauchy sequence {J n f (x)} in the Banach fuzzy space Y. Moreover, putting m = 0 in the above inequality, we have

N ( f ( x ) - J n f ( x ) , t ) N x , t q j = 0 n - 1 3 4 ( 2 p 4 ) j + 3 2 p ( 2 2 p ) j q
(2.8)

for each x X and t > 0. To prove that F is a quadratic-additive function, we have enough to show that the last term of (2.6) in Case 1 tends to 1 as n → ∞. By (N3) and (2.1), we get

N ( D J n f ( x , y , z ), 3 t 4 ) min { N ( D f ( 2 n x ,2 n y ,2 n z ) 2 4 n , 3 t 16 ) , N ( D f ( 2 n x , 2 n y , 2 n z ) 2 4 n , 3 t 16 ) , N ( 2 n 1 D f ( x 2 n , y 2 n , z 2 n ) , 3 t 16 ) , N ( 2 n 1 D f ( x 2 n , y 2 n , z 2 n ) , 3 t 16 ) } min { N ( x , 2 ( 2 q 1 ) n 3 q t q ) , N ( y ,2 ( 2 q 1 ) n 3 q t q ) , N ( z ,2 ( 2 q 1 ) n 3 q t q ) , N ( x , 2 ( 1 q ) n 3 q t q ) N ( y , 2 ( 1 q ) n 3 q t q ) , N ( z , 2 ( 1 q ) n 3 q t q ) }

for each x, y, z X and t > 0. Observe that all the terms on the right-hand side of the above inequality tend to 1 as n → ∞, since 1 2 <q<1. Hence, together with the similar argument after (2.6), we can say that DF(x, y, z) = 0 for all x, y, z X. Recall, in Case 1, the inequality (2.2) follows from (2.5). By the same reasoning, we get (2.2) from (2.8) in this case. Now to prove the uniqueness of F, let F' be another quadratic-additive mapping satisfying (2.2). Then, together with (N4), (2.2), and (2.7), we have

N ( F ( x ) F ( x ), t ) = N ( J n F ( x ) J n F ( x ), t ) min { N ( J n F ( x ) J n f ( x ), t 2 ) , N ( J n f ( x ) J n F ( x ), t 2 ) } min { N ( ( F f ) ( 2 n x ) 2 4 n , t 8 ) , ( ( f F ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( F f ) ( 2 n x ) 2 4 n , t 8 ) , N ( ( f F ) ( 2 n x ) 2 4 n , t 8 ) , N ( 2 n 1 ( ( F f ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( f F ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( F f ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( f F ) ( x 2 n ) ) , t 8 ) } min { sup t < t N ( x , 2 ( 2 q 1 ) n 2 q ( ( 4 2 p ) ( 2 p 2 ) 6 ) q t q ) , sup t < t N ( x , 2 ( 1 q ) n 2 q ( ( 4 2 p ) ( 2 p 2 ) 6 ) q t q ) }

for all x X and n . Since limn→∞2(2q - 1)n - 2q= limn→∞2(1 - q)n - 2q= ∞ in this case, both terms on the right-hand side of the above inequality tend to 1 as n → ∞ by (N5). This implies that N'(F(x) - F'(x), t) = 1 and so F(x) = F'(x) for all x X by (N2).

Case 3. Finally, we take 0<q< 1 2 and define J n f : XY by

J n f ( x ) = 1 2 ( 4 n ( f ( 2 n x ) + f ( 2 n x ) ) + 2 n ( f ( x 2 n ) f ( x 2 n ) ) )

for all x X. Then we have J0 f (x) = f (x) and

J j f ( x ) - J j + 1 f ( x ) = - 4 j 2 D f - x 2 j + 1 , - x 2 j + 1 , x 2 j + 1 + D f x 2 j + 1 , x 2 j + 1 , - x 2 j + 1 - 2 j - 1 D f x 2 j + 1 , x 2 j + 1 , - x 2 j + 1 - D f - x 2 j + 1 , - x 2 j + 1 , x 2 j + 1

which implies that if n + m > m ≥ 0, then

N ( J m f ( x ) J n + m f ( x ), j = m n + m 1 3 2 p ( 4 2 p ) j t p ) min j = m , , n + m 1 { min { N ( ( 4 j + 2 j ) D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) 2 , 3 ( 4 j + 2 j ) t p 2 2 ( j + 1 ) p ) , N ( ( 4 j 2 j ) D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) 2 , 3 ( 4 j 2 j ) t p 2 2 ( j + 1 ) p ) } } min j = m , , n + m 1 { N ( x 2 j + 1 , t 2 j + 1 ) } = N ( x , t )

for all x X and t > 0. Similar to the previous cases, it leads us to define the mapping F : XY by F(x) := N' - limn→∞J n f (x). Putting m = 0 in the above inequality, we have

N ( f ( x ) - J n f ( x ) , t ) N x , t q j = 0 n - 1 3 2 p ( 4 2 p ) j q
(2.9)

for all x X and t > 0. Notice that

N D J n f ( x , y , z ) , 3 t 4 min N 4 n 2 D f x 2 n , y 2 n , z 2 n , 3 t 1 6 , N 4 n 2 D f - x 2 n , - y 2 n , - z 2 n , 3 t 1 6 , N 2 n - 1 D f x 2 n , y 2 n , z 2 n , 3 t 1 6 , N 2 n - 1 D f - x 2 n , - y 2 n , - z 2 n , 3 t 1 6 min N x , 2 ( 1 - 2 q ) n - 3 q t q , N y , 2 ( 1 - 2 q ) n - 3 q t q , N z , 2 ( 1 - 2 q ) n - 3 q t q , N x , 2 ( 1 - q ) n - 3 q t q , N y , 2 ( 1 - q ) n - 3 q t q , N z , 2 ( 1 - q ) n - 3 q t q

for each x, y, z X and t > 0. Since 0<q< 1 2 , all terms on the right-hand side tend to 1 as n → ∞, which implies that the last term of (2.6) tends to 1 as n → ∞. Therefore, we can say that DF ≡ 0. Moreover, using the similar argument after (2.6) in Case 1, we get the inequality (2.2) from (2.9) in this case. To prove the uniqueness of F, let F' : XY be another quadratic-additive function satisfying (2.2). Then by (2.7), we get

N ( F ( x ) F ( x ), t ) min { N ( J n F ( x ) J n f ( x ), t 2 ) , N ( J n f ( x ) J n F ( x ), t 2 ) } min { N ( 4 n 2 ( ( F f ) ( x 2 n ) ) , t 8 ) , 4 n 2 ( ( f F ) ( x 2 n ) ) , t 8 ) , N ( 4 n 2 ( ( F f ) ( x 2 n ) ) , t 8 ) , N ( 4 n 2 ( ( f F ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( F f ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( f F ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( F f ) ( x 2 n ) ) , t 8 ) , N ( 2 n 1 ( ( f F ) ( x 2 n ) ) , t 8 ) } sup t < t N ( x ,2 ( 1 2 q ) n 2 q ( 2 p 4 3 ) q t q )

for all x X and n . Observe that, for 0<q< 1 2 , the last term tends to 1 as n → ∞ by (N5). This implies that N'(F(x) - F'(x), t) = 1 and F(x) = F'(x) for all x X by (N2).

Remark 2.3. Consider a mapping f : XY satisfying (2.1) for all x, y, z X and a real number q < 0. Take any t > 0. If we choose a real number s with 0 < 3s < t, then we have

N ( D f ( x , y , z ) , t ) N ( D f ( x , y , z ) , 3 s ) min { N ( x , s q ) , N ( y , s q ) , N ( z , s q ) }

for all x, y, z X. Since q < 0, we have lim s 0 + s q =. This implies that

lim s 0 + N ( x , s q ) = lim s 0 + N ( y , s q ) = lim z 0 + N ( x , s q ) = 1

and so

N ( D f ( x , y , z ) , t ) = 1

for all x, y, z X and t > 0. By (N2), it allows us to get Df(x, y, z) = 0 for all x, y, z X. In other words, f is itself a quadratic-additive mapping if f is a fuzzy q-almost quadratic-additive mapping for the case q < 0.

Corollary 2.4. Let f be an even mapping satisfying all of the conditions of Theorem 2.2. Then there is a unique quadratic mapping F : XY such that

N ( F ( x ) - f ( x ) , t ) sup t < t N x , | 4 - 2 p | t 3 q
(2.10)

for all x X and t > 0, where p = 1/q.

Proof. Let J n f be defined as in Theorem 2.2. Since f is an even mapping, we obtain

J n f ( x ) = { f ( 2 n x ) + f ( 2 n x ) 2 4 n if q > 1 2 , 1 2 ( 4 n ( f ( 2 n x ) + f ( 2 n x ) ) ) if 0 < q < 1 2

for all x X. Notice that J0 f (x) = f (x) and

J j f ( x ) J j + 1 f ( x ) = { D f ( 2 j x ,2 j x , 2 j x ) 2 4 j + 1 + D f ( 2 j x , 2 j x ,2 j x ) 2.4 j + 1 if q > 1 2 , 4 j 2 ( D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) + D f ( x 2 j + 1 , x 2 j + 1 , x 2 j + 1 ) ) if 0 < q < 1 2

for all x X and j {0}. From these, using the similar method in Theorem 2.2, we obtain the quadratic-additive function F satisfying (2.10). Notice that F(x) := N' - limn→∞J n f (x) for all x X, F is even, and DF (x, y, z) = 0 for all x, y, z X. Hence, we get

F ( x + y ) + F ( x - y ) - 2 F ( x ) - 2 F ( y ) = - D F ( x , y , - x ) = 0

for all x, y X. This means that F is a quadratic mapping.

Corollary 2.5. Let f be an odd mapping satisfying all of the conditions of Theorem 2.2. Then there is a unique additive mapping F : XY such that

N ( F ( x ) - f ( x ) , t ) sup t < t N x , | 2 - 2 p | t 3 q
(2.11)

for all x X and t > 0, where p = 1/q.

Proof. Let J n f be defined as in Theorem 2.2. Since f is an odd mapping, we obtain

J n f ( x ) = { f ( 2 n x ) + f ( 2 n x ) 2 n + 1 if q > 1 , 2 n 1 ( f ( 2 n x ) + f ( 2 n x ) ) if 0 < q < 1

for all x X. Notice that J0 f (x) = f (x) and

J j f ( x ) - J j + 1 f ( x ) = D f ( 2 j x , 2 j x , - 2 j x ) 2 j + 2 - D f ( - 2 j x , - 2 j x , 2 j x ) 2 j + 2 i f q > 1 , - 2 j - 1 D f x 2 j + 1 , x 2 j + 1 , - x 2 j + 1 - D f - x 2 j + 1 , - x 2 j + 1 , x 2 j + 1 i f 0 < q < 1

for all x X and j {0}. From these, using the similar method in Theorem 2.2, we obtain the quadratic-additive function F satisfying (2.11). Notice that F(x) := N' - limn→∞J n f (x) for all x X, F is odd, F (2x) = 2F (x), and DF (x, y, z) = 0 for all x, y, z X. Hence, we get

F ( x + y ) - F ( x ) - F ( y ) = D F x - y 2 , x + y 2 , - x + y 2 = 0

for all x, y X. This means that F is an additive mapping.

We can use Theorem 2.2 to get a classical result in the framework of normed spaces. Let (X, || · ||) be a normed linear space. Then we can define a fuzzy norm N X on X by following

N X ( x , t ) = 0 , t x 1 , t > x

where x X and t , see [14]. Suppose that f : XY is a mapping into a Banach space (Y, ||| · |||) such that

| | | D f ( x , y , z ) | | | x p + y p + z p

for all x, y, z X, where p > 0 and p ≠ 1, 2. Let N Y be a fuzzy norm on Y. Then we get

N Y ( D f ( x , y , z ) , s + t + u ) = 0 , s + t + u | | | D f ( x , y , z ) | | | 1 , s + t + u > | | | D f ( x , y , z ) | | |

for all x, y, z X and s, t, u . Consider the case N Y (Df (x, y, z), s + t + u) = 0. This implies that

x p + y p + z p | D f ( x , y , z ) | s + t + u

and so either ||x||ps or ||y||pt or ||z ||pu in this case. Hence, for q= 1 p , we have

min { N X ( x , s q ) , N X ( y , t q ) , N X ( z , u q ) } = 0

for all x, y, z X and s, t, u > 0. Therefore, in every case, the inequality

N Y ( D f ( x , y , z ) , s + t + u ) min { N X ( x , s q ) , N X ( y , t q ) , N X ( z , u q ) }

holds. It means that f is a fuzzy q-almost quadratic-additive mapping, and by Theorem 2.2, we get the following stability result.

Corollary 2.6. Let (X, || · ||) be a normed linear space and let (Y, |||·|||) be a Banach space. If f : XY satisfies

| | | D f ( x , y , z ) | | | x p + y p + z p

for all x, y, z X, where p > 0 and p ≠ 1, 2, then there is a unique quadratic-additive mapping F : XY such that

| | | F ( x ) - f ( x ) | | | 3 2 - 2 p | | x | | p i f p < 1 , 6 ( 2 - 2 p ) ( 4 - 2 p ) | | x | | p i f 1 < p < 2 , 3 2 p - 4 | | x | | p i f 2 < p

for all x X.

References

  1. Ulam SM: A collection of mathematical problems. Interscience, New York 1968.

    Google Scholar 

  2. Hyers DH: On the stability of the linear functional equation. Proc Natl Acad Sci USA 1941, 27: 222–224. 10.1073/pnas.27.4.222

    Article  MathSciNet  MATH  Google Scholar 

  3. Aoki T: On the stability of the linear transformation in Banach spaces. J Math Soc Japan 1950, 2: 64–66. 10.2969/jmsj/00210064

    Article  MathSciNet  MATH  Google Scholar 

  4. Rassias ThM: On the stability of the linear mapping in Banach spaces. Proc Amer Math Soc 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1

    Article  MathSciNet  MATH  Google Scholar 

  5. Czerwik S: Functional equations and inequalities in several variables. World Scientific, Singapore 2002.

    Google Scholar 

  6. Czerwik S: On the stability of the quadratic mapping in normed spaces. Abh Math Sem Univ Hamburg 1992, 62: 59–64. 10.1007/BF02941618

    Article  MathSciNet  MATH  Google Scholar 

  7. Găvruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J Math Anal Appl 1994, 184: 431–436. 10.1006/jmaa.1994.1211

    Article  MathSciNet  MATH  Google Scholar 

  8. Hyers DH, Isac G, Rassias ThM: Stability of functional equations in several variables. Birkhäuser, Boston 1998.

    Google Scholar 

  9. Jung S-M: Hyers-Ulam-Rassias stability of functional equations in nonlinear analysis. Springer, New York 2011.

    Google Scholar 

  10. Kim G-H: On the stability of functional equations with square-symmetric operation. Math Inequal Appl 2001, 4: 257–266.

    MathSciNet  MATH  Google Scholar 

  11. Kim H-M: On the stability problem for a mixed type of quartic and quadratic functional equation. J Math Anal Appl 2006, 324: 358–372. 10.1016/j.jmaa.2005.11.053

    Article  MathSciNet  MATH  Google Scholar 

  12. Lee Y-H: On the Hyers-Ulam-Rassias stability of the generalized polynomial function of degree 2. J Chuncheong Math Soc 2009, 22: 201–209.

    Google Scholar 

  13. Lee Y-H: On the stability of the monomial functional equation. Bull Korean Math Soc 2008, 45: 397–403. 10.4134/BKMS.2008.45.2.397

    Article  MathSciNet  MATH  Google Scholar 

  14. Lee Y-H, Jun K-W: A generalization of the Hyers-Ulam-Rassias stability of Jensen's equation. J Math Anal Appl 1999, 238: 305–315. 10.1006/jmaa.1999.6546

    Article  MathSciNet  MATH  Google Scholar 

  15. Lee Y-H, Jun K-W: A generalization of the Hyers-Ulam-Rassias stability of Pexider equation. J Math Anal Appl 2000, 246: 627–638. 10.1006/jmaa.2000.6832

    Article  MathSciNet  MATH  Google Scholar 

  16. Lee YH, Jun KW: On the stability of approximately additive mappings. Proc Amer Math Soc 2000, 128: 1361–1369. 10.1090/S0002-9939-99-05156-4

    Article  MathSciNet  MATH  Google Scholar 

  17. Skof F: Local properties and approximations of operators. Rend Sem Mat Fis Milano 1983, 53: 113–129. 10.1007/BF02924890

    Article  MathSciNet  MATH  Google Scholar 

  18. Katsaras AK: Fuzzy topological vector spaces II. Fuzzy Sets and System 1984, 12: 143–154. 10.1016/0165-0114(84)90034-4

    Article  MathSciNet  MATH  Google Scholar 

  19. Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. J fuzzy Math 2003,11(3):687–705.

    MathSciNet  MATH  Google Scholar 

  20. Cheng SC, Mordeson JN: Fuzzy linear operator and fuzzy normed linear spaces. Bull Calcutta Math Soc 1994, 86: 429–436.

    MathSciNet  MATH  Google Scholar 

  21. Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kyber-netica 1975, 11: 326–334.

    MathSciNet  MATH  Google Scholar 

  22. Mirmostafaee AK, Moslehian MS: Fuzzy versions of Hyers-Ulam-Rassias theorem. Fuzzy Sets and Systems 2008, 159: 720–729. 10.1016/j.fss.2007.09.016

    Article  MathSciNet  MATH  Google Scholar 

  23. Mirmostafaee AK, Moslehian MS: Fuzzy almost quadratic functions. Results Math 2008, 52: 161–177. 10.1007/s00025-007-0278-9

    Article  MathSciNet  MATH  Google Scholar 

  24. Jung S-M: On the Hyers-Ulam stability of the functional equations that have the quadratic property. J Math Anal Appl 1998, 222: 126–137. 10.1006/jmaa.1998.5916

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yang-Hi Lee.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All authors carried out the proof. All authors conceived of the study, and participated in its design and coordination. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Jin, S.S., Lee, YH. Fuzzy stability of a mixed type functional equation. J Inequal Appl 2011, 70 (2011). https://doi.org/10.1186/1029-242X-2011-70

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2011-70

Keywords