Solution and Stability of a General Mixed Type Cubic and Quartic

0 downloads 0 Views 2MB Size Report
Sep 5, 2013 - 1 Department of Mathematics, Zhejiang University, Hangzhou 310027, China ... and Hebei Key Laboratory of Computational Mathematics and Applications, Shijiazhuang 050024, China ...... Discrete Mathematics. Journal of.
Hindawi Publishing Corporation Journal of Function Spaces and Applications Volume 2013, Article ID 673810, 8 pages http://dx.doi.org/10.1155/2013/673810

Research Article Solution and Stability of a General Mixed Type Cubic and Quartic Functional Equation Xiaopeng Zhao,1,2 Xiuzhong Yang,3 and Chin-Tzong Pang4 1

Department of Mathematics, Zhejiang University, Hangzhou 310027, China Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung 80424, Taiwan 3 College of Mathematics and Information Science, Hebei Normal University, and Hebei Key Laboratory of Computational Mathematics and Applications, Shijiazhuang 050024, China 4 Department of Information Management, Yuan Ze University, Chung-Li 32003, Taiwan 2

Correspondence should be addressed to Chin-Tzong Pang; [email protected] Received 23 August 2013; Accepted 5 September 2013 Academic Editor: Jinlu Li Copyright Β© 2013 Xiaopeng Zhao et al. 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. We consider the following mixed type cubic and quartic functional equation πœ†[𝑓(π‘₯ + πœ†π‘¦) + 𝑓(π‘₯ βˆ’ πœ†π‘¦)] = πœ†3 [𝑓(π‘₯ + 𝑦) + 𝑓(π‘₯ βˆ’ 𝑦)] βˆ’ 2πœ†3 (πœ† + 1)𝑓(𝑦) βˆ’ 2πœ†(πœ†2 βˆ’ 1)𝑓(π‘₯) + 2(πœ† + 1)𝑓(πœ†π‘¦), where πœ† is a fixed integer. We establish the general solution of the functional equation when the integer πœ† =ΜΈ 0, Β±1, and then, by using the fixed point alternative, we investigate the generalized Hyers-UlamRassias stability for this functional equation when the integer πœ† β‰₯ 2.

1. Introduction In 1940, Ulam [1] asked the fundamental question for the stability for the group homomorphisms. Let (𝐺1 , βˆ—) be a group, and let (𝐺2 , ⬦, 𝑑) be a metric group with the metric 𝑑(β‹…, β‹…). Given πœ€ > 0, does there exist a 𝛿(πœ€) > 0 such that if a mapping β„Ž : 𝐺1 β†’ 𝐺2 satisfies the inequality 𝑑 (β„Ž (π‘₯ βˆ— 𝑦) , β„Ž (π‘₯) ⬦ β„Ž (𝑦)) < 𝛿

(1)

for all π‘₯, 𝑦 ∈ 𝐺1 , then there is a homomorphism 𝐻 : 𝐺1 β†’ 𝐺2 with 𝑑 (β„Ž (π‘₯) , 𝐻 (π‘₯)) < πœ€

(2)

for all π‘₯ ∈ 𝐺1 ? In other words, under what conditions, does there exist a homomorphism near an approximately homomorphism? In the next year, Hyers [2] gave the first affirmative answer to the question of Ulam for Cauchy equation in the Banach spaces. Then, Rassias [3] generalized Hyers’ result by considering an unbounded Cauchy difference, and this stability phenomenon is known as generalized Hyers-Ulam-Rassias stability or Hyers-Ulam-Rassias stability. During the last three decades, the stability problem for several functional

equations has been extensively investigated by many mathematicians; see, for example, [4–9] and the references therein. We also refer the readers to the books [10–13]. In [14], Jun and Kim introduced the following functional equation 𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦) = 2𝑓 (π‘₯ + 𝑦)+2𝑓 (π‘₯ βˆ’ 𝑦)+12𝑓 (π‘₯) . (3) It is easy to see that the function 𝑓(π‘₯) = π‘₯3 satisfies the functional equation (3). Thus, it is natural that (3) is called a cubic functional equation and every solution of the cubic functional equation is said to be a cubic function. In [14], Jun and Kim established the general solution and the generalized Hyers-Ulam-Rassias stability for (3). They proved that a function 𝑓 : 𝑋 β†’ π‘Œ between real vector spaces is a solution of the functional equation (3) if and only if there exists a function 𝐺 : 𝑋 Γ— 𝑋 Γ— 𝑋 β†’ π‘Œ such that 𝑓(π‘₯) = 𝐺(π‘₯, π‘₯, π‘₯) for all π‘₯ ∈ 𝑋 and 𝐺 is symmetric for each fixed one variable and is additive for fixed two variables. In [15], Lee et al. considered the following quartic functional equation 𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦) (4) = 4 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)] + 24𝑓 (π‘₯) βˆ’ 6𝑓 (𝑦) .

2

Journal of Function Spaces and Applications

Since the function 𝑓(π‘₯) = π‘₯4 satisfies the functional equation (4), the functional equation (4) is called a quartic functional equation and every solution of the quartic functional equation is said to be a quartic function. In [15], the authors solved the functional equation (4) and proved the stability for it. Actually, they obtained that a function 𝑓 : 𝑋 β†’ π‘Œ between real vector spaces satisfies the functional equation (4) if and only if there exists a symmetric biquadratic function 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ such that 𝑓(π‘₯) = 𝐡(π‘₯, π‘₯) for all π‘₯ ∈ 𝑋. A function 𝑓 : 𝑋 β†’ π‘Œ between real vector spaces is said to be quadratic if it satisfies the following functional equation 𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦) = 2𝑓 (π‘₯) + 2𝑓 (𝑦)

(5)

for all π‘₯, 𝑦 ∈ 𝑋, and a function 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ is said to be bi-quadratic if 𝐡 is quadratic for each fixed one variable (see [8]). The following mixed type cubic and quartic functional equation was introduced by Eshaghi Gordji et al. [16]

Lemma 1. If an odd mapping 𝑓 : 𝑋 β†’ π‘Œ satisfies (7), then 𝑓 is cubic. Proof. Note that, in view of the oddness of 𝑓, we have 𝑓(0) = 0 and 𝑓(βˆ’π‘₯) = βˆ’π‘“(π‘₯) for all π‘₯ ∈ 𝑋. Letting π‘₯ = 0 in (7), we get 𝑓 (πœ†π‘¦) = πœ†3 𝑓 (𝑦)

(8)

for all 𝑦 ∈ 𝑋. Applying (8) to (7), we obtain 𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦)

𝑓 (π‘₯ + 2𝑦) + 𝑓 (π‘₯ βˆ’ 2𝑦) = 4 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)]

be a cubic function and a quartic function, respectively. In this section, we investigate the general solution of the mixed type cubic and quartic functional equation (7). Throughout this section, let 𝑋 and π‘Œ be two real vector spaces, and we always assume that the integer πœ† in the functional equation (7) is different from 0, βˆ’1, and 1. Before proving our main theorem, we first give the following two lemmas.

(6)

βˆ’ 24𝑓 (𝑦) βˆ’ 6𝑓 (π‘₯) + 3𝑓 (2𝑦) . It can be verified that the function 𝑓(π‘₯) = π‘₯3 + π‘₯4 satisfies the functional equation (6). In [16], the authors obtained the general solution and the generalized Hyers-Ulam-Rassias stability of (6) in quasi-Banach space. The literature on the stability of the mixed type functional equations is very rich; see [17–22]. In the present paper, we extend (6) and consider the following functional equation πœ† [𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦)] = πœ†3 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)] βˆ’ 2πœ†3 (πœ† + 1) 𝑓 (𝑦) (7) 2

βˆ’ 2πœ† (πœ† βˆ’ 1) 𝑓 (π‘₯) + 2 (πœ† + 1) 𝑓 (πœ†π‘¦) , where πœ† is a fixed integer. One can see that the functional equation (6) is a special case of (7) when we take the integer πœ† = 2. In 2003, Radu [23] noticed that the fixed point theorem, which was established by Diaz and Margolis [24], plays an important part in solving the stability problem of functional equations. Subsequently, this method has been successfully used by many mathematicians to investigate the stability of several functional equations; see, for example, [21, 25, 26] and the references therein. In this paper, we first establish the general solution of functional equation (7) when the integer πœ† =ΜΈ 0, Β±1 and 𝑓 is a mapping between vector spaces. Then, by using the fixed point method, we prove the generalized Hyers-Ulam-Rassias stability of the functional equation (7) when the integer πœ† β‰₯ 2 and 𝑓 is a mapping from the normed space to the Banach space.

2. Solution of the Functional Equation (7) Recall form [14, 15] that every solution of the cubic functional equation (3) and the quartic functional equation (4) is said to

= πœ†2 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯)

(9)

for all π‘₯, 𝑦 ∈ 𝑋. Replacing 𝑦 by π‘₯ + 𝑦 in (9), we get 𝑓 ((πœ† + 1) π‘₯ + πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦) = πœ†2 [𝑓 (2π‘₯ + 𝑦) βˆ’ 𝑓 (𝑦)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯)

(10)

for all π‘₯, 𝑦 ∈ 𝑋. Now, if we replace π‘₯ by πœ†π‘₯ + 𝑦 in (9) and use (8), we see that 𝑓 (πœ†π‘₯ + (πœ† + 1) 𝑦) + 𝑓 (πœ†π‘₯ βˆ’ (πœ† βˆ’ 1) 𝑦) = πœ†2 [𝑓 (πœ†π‘₯ + 2𝑦) + πœ†3 𝑓 (π‘₯)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (πœ†π‘₯ + 𝑦) (11) for all π‘₯, 𝑦 ∈ 𝑋. Interchanging π‘₯ with 𝑦 in (11) and using the oddness of 𝑓, we get the relation 𝑓 ((πœ† + 1) π‘₯ + πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦) = πœ†2 [𝑓 (2π‘₯ + πœ†π‘¦) + πœ†3 𝑓 (𝑦)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ + πœ†π‘¦) (12) for all π‘₯, 𝑦 ∈ 𝑋. Then, subtracting (12) from (10), one has 𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦) = πœ†2 [𝑓 (2π‘₯ + 𝑦) βˆ’ 𝑓 (2π‘₯ + πœ†π‘¦)] βˆ’ (πœ†2 + πœ†5 ) 𝑓 (𝑦) + 2 (πœ†2 βˆ’ 1) (𝑓 (π‘₯ + πœ†π‘¦) βˆ’ 𝑓 (π‘₯)) (13) for all π‘₯, 𝑦 ∈ 𝑋. Now, replacing 𝑦 by βˆ’π‘¦ in (13) and noting that 𝑓 is odd, we have 𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦) = πœ†2 [𝑓 (2π‘₯ βˆ’ 𝑦) βˆ’ 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)] + (πœ†2 + πœ†5 ) 𝑓 (𝑦) + 2 (πœ†2 βˆ’ 1) (𝑓 (π‘₯ βˆ’ πœ†π‘¦) βˆ’ 𝑓 (π‘₯)) (14)

Journal of Function Spaces and Applications

3

for all π‘₯, 𝑦 ∈ 𝑋. Adding (13) to (14) gives

for all π‘₯, 𝑦 ∈ 𝑋. Interchanging the roles of π‘₯ and 𝑦 in (21), we obtain

πœ†2 [𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦)]

𝑓 ((πœ† + 1) π‘₯ + πœ†π‘¦) + 𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦)

2

+ 2 (πœ† βˆ’ 1) [𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦)] 2

= πœ†2 [𝑓 (2π‘₯ + πœ†π‘¦) + πœ†4 𝑓 (𝑦)]

2

= πœ† [𝑓 (2π‘₯ + πœ†π‘¦) + 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)] + 4 (πœ† βˆ’ 1) 𝑓 (π‘₯) (15) for all π‘₯, 𝑦 ∈ 𝑋. Replacing π‘₯ by 2π‘₯ in (9) and using (8), we get

= πœ†2 [𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦)] βˆ’ 16 (πœ†2 βˆ’ 1) 𝑓 (π‘₯) . (16)

(17)

for all π‘₯, 𝑦 ∈ 𝑋. Thus, the mapping 𝑓 : 𝑋 β†’ π‘Œ is cubic. This completes the proof. Lemma 2. If an even mapping 𝑓 : 𝑋 β†’ π‘Œ satisfies (7) for all π‘₯, 𝑦 ∈ 𝑋, then 𝑓 is quartic. Proof. In view of the evenness of 𝑓, we have 𝑓(βˆ’π‘₯) = 𝑓(π‘₯) for all π‘₯ ∈ 𝑋. Putting π‘₯ = 𝑦 = 0 in (7), we get 𝑓(0) = 0. Then, let π‘₯ = 0 in (7), we obtain 𝑓 (πœ†π‘¦) = πœ†4 𝑓 (𝑦)

(18)

for all 𝑦 ∈ 𝑋. Combing (7) and (18) implies the following equation

(19)

for all π‘₯, 𝑦 ∈ 𝑋. Replacing 𝑦 by π‘₯ + 𝑦 in (19) and note that 𝑓 is even, we get

(20)

+ 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ + 𝑦) for all π‘₯, 𝑦 ∈ 𝑋. Replacing π‘₯ by πœ†π‘₯ + 𝑦 in (19) and using (18), we get

𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦) = πœ†2 [𝑓 (2π‘₯ βˆ’ 𝑦) βˆ’ 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)] + 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ βˆ’ πœ†π‘¦) + (πœ†2 βˆ’ πœ†6 ) 𝑓 (𝑦) + 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ βˆ’ 𝑦) βˆ’ 2 (πœ†2 + 1) (πœ†2 βˆ’ 1) 𝑓 (π‘₯) (24) for all π‘₯, 𝑦 ∈ 𝑋. If we add (23) to (24), we have πœ†2 [𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦)] βˆ’ πœ†2 [𝑓 (2π‘₯ + πœ†π‘¦) + 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)] (25)

+ 2πœ†2 (πœ†2 βˆ’ 1) [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)]

for all π‘₯, 𝑦 ∈ 𝑋. Replacing π‘₯ by 2π‘₯ in (19) and using (18), we get

= πœ†2 [𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦)]

(21)

(26)

βˆ’ 32 (πœ†2 βˆ’ 1) 𝑓 (π‘₯) + 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (𝑦) for all π‘₯, 𝑦 ∈ 𝑋. Applying (19) and (26) to (25), we obtain that 𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦) = 4 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)] + 24𝑓 (π‘₯) βˆ’ 6𝑓 (𝑦)

𝑓 (πœ†π‘₯ + (πœ† + 1) 𝑦) + 𝑓 (πœ†π‘₯ βˆ’ (πœ† βˆ’ 1) 𝑦)

βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (πœ†π‘₯ + 𝑦) + 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (𝑦)

for all π‘₯, 𝑦 ∈ 𝑋. Replacing 𝑦 by βˆ’π‘¦ in (23), we get

𝑓 (2π‘₯ + πœ†π‘¦) + 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)

𝑓 ((πœ† + 1) π‘₯ + πœ†π‘¦) + 𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦)

= πœ†2 [𝑓 (πœ†π‘₯ + 2𝑦) + πœ†4 𝑓 (π‘₯)]

+ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ + πœ†π‘¦) + (πœ†2 βˆ’ πœ†6 ) 𝑓 (𝑦)

= 4 (πœ†2 + 1) (πœ†2 βˆ’ 1) 𝑓 (π‘₯) + 2 (πœ†6 βˆ’ πœ†2 ) 𝑓 (𝑦)

βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯) + 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (𝑦)

= πœ†2 [𝑓 (2π‘₯ + 𝑦) + 𝑓 (𝑦)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯)

= πœ†2 [𝑓 (2π‘₯ + 𝑦) βˆ’ 𝑓 (2π‘₯ + πœ†π‘¦)]

+ 2 (πœ†2 βˆ’ 1) [𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦)]

𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦) = πœ†2 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)]

for all π‘₯, 𝑦 ∈ 𝑋. If we subtract (22) from (20), we obtain

+ 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ + 𝑦) βˆ’ 2 (πœ†2 + 1) (πœ†2 βˆ’ 1) 𝑓 (π‘₯) (23)

Applying (9) and (16) to (15) yields that

= 2 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)] + 12𝑓 (π‘₯)

βˆ’ 2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯ + πœ†π‘¦) + 2πœ†2 (πœ†2 βˆ’ 1) 𝑓 (π‘₯)

𝑓 ((πœ† βˆ’ 1) π‘₯ + πœ†π‘¦) βˆ’ 𝑓 ((πœ† βˆ’ 1) π‘₯ βˆ’ πœ†π‘¦)

𝑓 (2π‘₯ + πœ†π‘¦) + 𝑓 (2π‘₯ βˆ’ πœ†π‘¦)

𝑓 (2π‘₯ + 𝑦) + 𝑓 (2π‘₯ βˆ’ 𝑦)

(22)

(27)

for all π‘₯, 𝑦 ∈ 𝑋. Therefore, the mapping 𝑓 : 𝑋 β†’ π‘Œ is quartic and the proof is complete. Now, we are ready to find out the general solution of (7).

4

Journal of Function Spaces and Applications

Theorem 3. A mapping 𝑓 : 𝑋 β†’ π‘Œ satisfies (7) for all π‘₯, 𝑦 ∈ 𝑋 if and only if there exist a symmetric multiadditive mapping 𝐺 : 𝑋 Γ— 𝑋 Γ— 𝑋 β†’ π‘Œ and a symmetric bi-quadratic mapping 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ such that 𝑓(π‘₯) = 𝐺(π‘₯, π‘₯, π‘₯) + 𝐡(π‘₯, π‘₯) for all π‘₯ ∈ 𝑋. Proof. First, we assume that there exist a symmetric multiadditive mapping 𝐺 : 𝑋 Γ— 𝑋 Γ— 𝑋 β†’ π‘Œ and a symmetric bi-quadratic mapping 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ such that 𝑓(π‘₯) = 𝐺(π‘₯, π‘₯, π‘₯) + 𝐡(π‘₯, π‘₯) for all π‘₯ ∈ 𝑋. We need to show that the function 𝑓 satisfies (7). By a simple computation, one can obtain that the function π‘₯ 󳨃→ 𝐺(π‘₯, π‘₯, π‘₯) satisfies (7). Thus, to show that the function 𝑓 satisfies (7), we only need to show that the function π‘₯ 󳨃→ 𝐡(π‘₯, π‘₯) also satisfies (7); namely, πœ† [𝐡 (π‘₯ + πœ†π‘¦, π‘₯ + πœ†π‘¦) + 𝐡 (π‘₯ βˆ’ πœ†π‘¦, π‘₯ βˆ’ πœ†π‘¦)] (28)

for all π‘₯, 𝑦 ∈ 𝑋. Since 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ is a bi-quadratic mapping, it can be verified that (29)

for all integer πœ† and all π‘₯, 𝑦 ∈ 𝑋. Then, (28) becomes 𝐡 (π‘₯ + πœ†π‘¦, π‘₯ + πœ†π‘¦) + 𝐡 (π‘₯ βˆ’ πœ†π‘¦, π‘₯ βˆ’ πœ†π‘¦) = πœ†2 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)]

βˆ’ 4 [𝐡 (π‘₯, π‘₯) + 𝐡 (𝑦, π‘₯)] + 4 [𝐡 (𝑦, π‘₯) + 𝐡 (𝑦, 2𝑦)] βˆ’ [2𝐡 (π‘₯, π‘₯) + 8𝐡 (π‘₯, 𝑦)] = 4 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)] + 4 [𝐡 (π‘₯ + 𝑦, 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, 𝑦)] βˆ’ 6𝐡 (π‘₯, π‘₯) βˆ’ 8𝐡 (π‘₯, 𝑦) + 16𝐡 (𝑦, 𝑦) = 4 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)]

βˆ’ 6𝐡 (π‘₯, π‘₯) βˆ’ 8𝐡 (π‘₯, 𝑦) + 16𝐡 (𝑦, 𝑦) = 4 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)]

βˆ’ 2πœ† (πœ†2 βˆ’ 1) 𝐡 (π‘₯, π‘₯) + 2 (πœ† + 1) 𝐡 (πœ†π‘¦, πœ†π‘¦)

𝐡 (πœ†π‘₯, πœ†π‘¦) = πœ†4 𝐡 (π‘₯, 𝑦)

+ 4 [𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, 𝑦)]

+ 8 [𝐡 (π‘₯, 𝑦) + 𝐡 (𝑦, 𝑦)]

= πœ†3 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)] βˆ’ 2πœ†3 (πœ† + 1) 𝐡 (𝑦, 𝑦)

= 4 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ + 𝑦, 𝑦)]

(30)

βˆ’ 2 (πœ†2 βˆ’ 1) 𝐡 (π‘₯, π‘₯) + 2πœ†2 (πœ†2 βˆ’ 1) 𝐡 (𝑦, 𝑦) . To establish (28), it suffices to show (30). Note that if (30) holds for some integer πœ†, then so does βˆ’πœ†. Thus, in the following, we will show that (30) holds for all positive integers πœ† with πœ† β‰₯ 2 and all π‘₯, 𝑦 ∈ 𝑋. To do this, we use induction on πœ†. Fix any π‘₯, 𝑦 ∈ 𝑋. In the case when πœ† = 2, we have 𝐡 (π‘₯ + 2𝑦, π‘₯ + 2𝑦) + 𝐡 (π‘₯ βˆ’ 2𝑦, π‘₯ βˆ’ 2𝑦) = [𝐡 (π‘₯ + 𝑦 + 𝑦, π‘₯ + 2𝑦) + 𝐡 (π‘₯ + 𝑦 βˆ’ 𝑦, π‘₯ + 2𝑦)] + [𝐡 (π‘₯ βˆ’ 𝑦 + 𝑦, π‘₯ βˆ’ 2𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦 βˆ’ 𝑦, π‘₯ βˆ’ 2𝑦)] βˆ’ [𝐡 (π‘₯, π‘₯ + 2𝑦) + 𝐡 (π‘₯, π‘₯ βˆ’ 2𝑦)] = 2 [𝐡 (π‘₯ + 𝑦, π‘₯ + 2𝑦) + 𝐡 (𝑦, π‘₯ + 2𝑦)] + 2 [𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 2𝑦) + 𝐡 (𝑦, π‘₯ βˆ’ 2𝑦)] βˆ’ [2𝐡 (π‘₯, π‘₯) + 2𝐡 (π‘₯, 2𝑦)] = 2 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦 + 𝑦) + 𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦 βˆ’ 𝑦)] + 2 [𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦 βˆ’ 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦 + 𝑦)]

βˆ’ 6𝐡 (π‘₯, π‘₯) + 24𝐡 (𝑦, 𝑦) . (31) So (30) is true for πœ† = 2. Here, we have used the bi-quadratic property of the function 𝐡 and (29). Now, assume that (30) is true for all positive integers that are less than or equal to some integer πœ†(> 2). Then, 𝐡 (π‘₯ + (πœ† + 1) 𝑦, π‘₯ + (πœ† + 1) 𝑦) + 𝐡 (π‘₯ βˆ’ (πœ† + 1) 𝑦, π‘₯ βˆ’ (πœ† + 1) 𝑦) = [𝐡 (π‘₯ + 𝑦 + πœ†π‘¦, π‘₯ + 𝑦 + πœ†π‘¦) +𝐡 (π‘₯ + 𝑦 βˆ’ πœ†π‘¦, π‘₯ + 𝑦 βˆ’ πœ†π‘¦)] + [𝐡 (π‘₯ βˆ’ 𝑦 + πœ†π‘¦, π‘₯ βˆ’ 𝑦 + πœ†π‘¦) +𝐡 (π‘₯ βˆ’ 𝑦 βˆ’ πœ†π‘¦, π‘₯ βˆ’ 𝑦 βˆ’ πœ†π‘¦)] βˆ’ [𝐡 (π‘₯ + (πœ† βˆ’ 1) 𝑦, π‘₯ + (πœ† βˆ’ 1) 𝑦) +𝐡 (π‘₯ βˆ’ (πœ† βˆ’ 1) 𝑦, π‘₯ βˆ’ (πœ† βˆ’ 1) 𝑦)] = πœ†2 [𝐡 (π‘₯ + 2𝑦, π‘₯ + 2𝑦) + 𝐡 (π‘₯, π‘₯)] βˆ’ 2 (πœ†2 βˆ’ 1) 𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 2πœ†2 (πœ†2 βˆ’ 1) 𝐡 (𝑦, 𝑦) + πœ†2 [𝐡 (π‘₯, π‘₯) + 𝐡 (π‘₯ βˆ’ 2𝑦, π‘₯ βˆ’ 2𝑦)] βˆ’ 2 (𝑛2 βˆ’ 1) 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦) + 2πœ†2 (πœ†2 βˆ’ 1) 𝐡 (𝑦, 𝑦) βˆ’ {(πœ† βˆ’ 1)2 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)]

βˆ’ 2 [𝐡 (π‘₯ + 𝑦, π‘₯) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯)]

βˆ’ 2 ((πœ† βˆ’ 1)2 βˆ’ 1) 𝐡 (π‘₯, π‘₯)

+ 2 [𝐡 (𝑦, π‘₯ + 2𝑦) + 𝐡 (𝑦, π‘₯ βˆ’ 2𝑦)]

+2(πœ† βˆ’ 1)2 ((πœ† βˆ’ 1)2 βˆ’ 1) 𝐡 (𝑦, 𝑦)} .

βˆ’ [2𝐡 (π‘₯, π‘₯) + 8𝐡 (π‘₯, 𝑦)]

(32)

Journal of Function Spaces and Applications

5 Then, for each fixed element π‘₯0 ∈ 𝐸, either

Applying (31) to (32), one can obtain that 𝐡 (π‘₯ + (πœ† + 1) 𝑦, π‘₯ + (πœ† + 1) 𝑦)

𝑑 (𝐽𝑛 π‘₯0 , 𝐽𝑛+1 π‘₯0 ) = +∞

+ 𝐡 (π‘₯ βˆ’ (πœ† + 1) 𝑦, π‘₯ βˆ’ (πœ† + 1) 𝑦)

for all nonnegative integers 𝑛 or there exists a non-negative integer 𝑛0 such that

= (πœ† + 1)2 [𝐡 (π‘₯ + 𝑦, π‘₯ + 𝑦) + 𝐡 (π‘₯ βˆ’ 𝑦, π‘₯ βˆ’ 𝑦)]

(a) 𝑑(𝐽𝑛 π‘₯0 , 𝐽𝑛+1 π‘₯0 ) < +∞ for all 𝑛 β‰₯ 𝑛0 ;

βˆ’ 2 ((πœ† + 1)2 βˆ’ 1) 𝐡 (π‘₯, π‘₯)

(b) the sequence {𝐽𝑛 π‘₯0 } converges to a fixed point π‘₯βˆ— of 𝐽;

+ 2(πœ† + 1)2 ((πœ† + 1)2 βˆ’ 1) 𝐡 (𝑦, 𝑦) . (33) This means that (30) is true for πœ†+1, and we have showed that the function π‘₯ 󳨃→ 𝐡(π‘₯, π‘₯) satisfies (7). Therefore, the mapping 𝑓 : 𝑋 β†’ π‘Œ satisfies (7). Conversely, we decompose 𝑓 into the odd part and the even part by putting 𝑓 (π‘₯) βˆ’ 𝑓 (βˆ’π‘₯) , π‘“π‘œ (π‘₯) = 2

𝑓 (π‘₯) + 𝑓 (βˆ’π‘₯) 𝑓𝑒 (π‘₯) = 2

(34)

for all π‘₯ ∈ 𝑋. Then, 𝑓(π‘₯) = π‘“π‘œ (π‘₯) + 𝑓𝑒 (π‘₯) for all π‘₯ ∈ 𝑋. It is easy to show that the mappings π‘“π‘œ and 𝑓𝑒 satisfy (7). Hence, it follows from Lemmas 1 and 2 that the function π‘“π‘œ is cubic and 𝑓𝑒 is quartic, respectively. Therefore, there exist a symmetric multi-additive mapping 𝐺 : 𝑋 Γ— 𝑋 Γ— 𝑋 β†’ π‘Œ such that π‘“π‘œ (π‘₯) = 𝐺(π‘₯, π‘₯, π‘₯) for all π‘₯ ∈ 𝑋 (see [14, Theorem 2.1]) and a symmetric bi-quadratic mapping 𝐡 : 𝑋 Γ— 𝑋 β†’ π‘Œ such that 𝑓𝑒 (π‘₯) = 𝐡(π‘₯, π‘₯) for all π‘₯ ∈ 𝑋 (see [15, Theorem 2.1]). Hence, we get 𝑓(π‘₯) = 𝐺(π‘₯, π‘₯, π‘₯) + 𝐡(π‘₯, π‘₯) for all π‘₯ ∈ 𝑋. The proof is complete.

(c) π‘₯βˆ— is the unique fixed point of 𝐽 in the set F := {π‘₯ ∈ 𝐸 | 𝑑(𝐽𝑛0 π‘₯0 , π‘₯) < +∞}; (d) 𝑑(π‘₯, π‘₯βˆ— ) ≀ (1/(1 βˆ’ 𝐿))𝑑(π‘₯, 𝐽π‘₯) for all π‘₯ ∈ F. Lemma 5. Let 𝑓 : 𝑋 β†’ π‘Œ be an odd function for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦)

πœ‘ (πœ†π‘₯, πœ†π‘¦) ≀ πœ†3 πΏπœ‘ (π‘₯, 𝑦)

𝐿 σ΅„© σ΅„©σ΅„© πœ™ (π‘₯) 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝐢 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ

Proof. It follows from (39) that

σ΅„©σ΅„© 3 σ΅„© σ΅„©σ΅„©πœ† 𝑓 (π‘₯) βˆ’ 𝑓 (πœ†π‘₯)σ΅„©σ΅„©σ΅„© ≀ πœ™ (πœ†π‘₯) σ΅„© σ΅„©

βˆ’ πœ†3 [𝑓 (π‘₯ + 𝑦) + 𝑓 (π‘₯ βˆ’ 𝑦)]

Proposition 4 (see [24]). Let (𝐸, 𝑑) be a complete generalized metric space (i.e., one for which 𝑑 may assume infinite value), and let 𝐽 : 𝐸 β†’ 𝐸 be a strictly contractive mapping with Lipschitz constant 𝐿 < 1; that is, 𝑑 (𝐽π‘₯, 𝐽𝑦) ≀ 𝐿𝑑 (π‘₯, 𝑦)

βˆ€π‘₯, 𝑦 ∈ 𝑋.

(36)

(42)

for all π‘₯ ∈ 𝑋. By (39), we have πœ™(πœ†π‘₯) ≀ πœ†3 πΏπœ™(π‘₯) for all π‘₯ ∈ 𝑋. This, together with (42), implies that σ΅„©σ΅„© σ΅„© 󡄩󡄩𝑓 (π‘₯) βˆ’ 1 𝑓 (πœ†π‘₯)σ΅„©σ΅„©σ΅„© ≀ πΏπœ™ (π‘₯) σ΅„©σ΅„© σ΅„©σ΅„© 3 πœ† σ΅„© σ΅„©

for all π‘₯, 𝑦 ∈ 𝑋. Let us recall the following result by Diaz and Margolis.

(41)

for all π‘₯, 𝑦 ∈ 𝑋. Letting π‘₯ = 0 in (38) and replacing 𝑦 by π‘₯, we have

𝐷𝑓 (π‘₯, 𝑦) := πœ† [𝑓 (π‘₯ + πœ†π‘¦) + 𝑓 (π‘₯ βˆ’ πœ†π‘¦)]

βˆ’ 2 (πœ† + 1) 𝑓 (πœ†π‘¦)

(40)

for all π‘₯ ∈ 𝑋, where πœ™(π‘₯) := (1/2(πœ† + 1))πœ‘(0, π‘₯/πœ†).

πœ‘ (πœ†π‘Ÿ π‘₯, πœ†π‘Ÿ 𝑦) =0 π‘Ÿβ†’βˆž πœ†3π‘Ÿ

(35)

(39)

for all π‘₯, 𝑦 ∈ 𝑋, then there exists a unique cubic mapping 𝐢 : 𝑋 β†’ π‘Œ such that

lim

In this section, we will investigate the stability of the functional equation (7) by using the fixed point alternative. Throughout this section, let 𝑋 be a real normed space and π‘Œ be a real Banach space, and we always assume that the integer πœ† used in the section is greater than or equal to 2. For convenience, we use the following abbreviation for a given function 𝑓 : 𝑋 β†’ π‘Œ:

(38)

for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that

3. Generalized Hyers-Ulam-Rassias Stability of the Functional Equation (7)

+ 2πœ†3 (πœ† + 1) 𝑓 (𝑦) + 2πœ† (πœ†2 βˆ’ 1) 𝑓 (π‘₯)

(37)

(43)

for all π‘₯ ∈ 𝑋. Let Ξ© be the set of all odd mappings 𝑔 : 𝑋 β†’ π‘Œ. We introduce the generalized metric on Ξ©: 𝑑 (𝑔, β„Ž) σ΅„© σ΅„© := inf {𝐾 ∈ [0, ∞) | 󡄩󡄩󡄩𝑔 (π‘₯) βˆ’ β„Ž (π‘₯)σ΅„©σ΅„©σ΅„© ≀ πΎπœ™ (π‘₯) , π‘₯ ∈ 𝑋} . (44) It is easy to show that (Ξ©, 𝑑) is complete. Now, we define a function 𝑇 : Ξ© β†’ Ξ© by 𝑇𝑔 (π‘₯) :=

1 𝑔 (πœ†π‘₯) πœ†3

(45)

6

Journal of Function Spaces and Applications

for all 𝑔 ∈ Ξ© and all π‘₯ ∈ 𝑋. Note that, for all 𝑔, β„Ž ∈ Ξ©,

Proof. It follows from (52) that

𝑑 (𝑔, β„Ž) ≀ 𝐾 σ΅„© σ΅„© 󳨐⇒ 󡄩󡄩󡄩𝑔 (π‘₯) βˆ’ β„Ž (π‘₯)σ΅„©σ΅„©σ΅„© ≀ πΎπœ™ (π‘₯) , σ΅„©σ΅„© 1 󳨐⇒ σ΅„©σ΅„©σ΅„©σ΅„© 3 𝑔 (πœ†π‘₯) βˆ’ σ΅„©πœ† σ΅„©σ΅„© 1 󳨐⇒ σ΅„©σ΅„©σ΅„©σ΅„© 3 𝑔 (πœ†π‘₯) βˆ’ σ΅„©πœ†

lim πœ†3π‘Ÿ πœ‘ (

π‘Ÿβ†’βˆž

π‘₯βˆˆπ‘‹

1 σ΅„©σ΅„© 1 β„Ž (πœ†π‘₯)σ΅„©σ΅„©σ΅„©σ΅„© ≀ 3 πΎπœ™ (πœ†π‘₯) , π‘₯ ∈ 𝑋 3 πœ† σ΅„© πœ† σ΅„©σ΅„© 1 β„Ž (πœ†π‘₯)σ΅„©σ΅„©σ΅„©σ΅„© ≀ πΏπΎπœ™ (π‘₯) , π‘₯ ∈ 𝑋 3 πœ† σ΅„©

󳨐⇒ 𝑑 (𝑇𝑔, π‘‡β„Ž) ≀ 𝐿𝐾. (46) Hence, we obtain that 𝑑 (𝑇𝑔, π‘‡β„Ž) ≀ 𝐿𝑑 (𝑔, β„Ž)

𝐢 : 𝑋 󳨀→ π‘Œ,

𝑓 (πœ†π‘Ÿ π‘₯) π‘Ÿ β†’ ∞ πœ†3π‘Ÿ (48)

𝐢 (π‘₯) = lim (π‘‡π‘Ÿ 𝑓) (π‘₯) = lim π‘Ÿβ†’βˆž

and 𝐢(πœ†π‘₯) = πœ†3 𝐢(π‘₯) for all π‘₯ ∈ 𝑋. Also 𝐢 is the unique fixed point of 𝑇 in the set Ξ” = {𝑔 ∈ Ξ© | 𝑑(𝑓, 𝑔) < ∞} and 𝑑 (𝑓, 𝐢) ≀

1 𝐿 𝑑 (𝑇𝑓, 𝑓) ≀ , 1βˆ’πΏ 1βˆ’πΏ

(49)

which yields the inequality (40). It follows from the definition of 𝐢, (38), and (41) that σ΅„©σ΅„© σ΅„© πœ‘ (πœ†π‘Ÿ π‘₯, πœ†π‘Ÿ 𝑦) 󡄩󡄩𝐷𝑓 (πœ†π‘Ÿ π‘₯, πœ†π‘Ÿ 𝑦)σ΅„©σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„© ≀ lim =0 󡄩󡄩𝐷𝐢 (π‘₯, 𝑦)σ΅„©σ΅„© = π‘Ÿlim β†’βˆž π‘Ÿβ†’βˆž πœ†3π‘Ÿ πœ†3π‘Ÿ (50) for all π‘₯, 𝑦 ∈ 𝑋; that is, the mapping 𝐢 : 𝑋 β†’ π‘Œ satisfies (7). Since 𝑓 is odd, 𝐢 is odd. Therefore, Lemma 1 guarantees that 𝐢 is cubic. Finally, it remains to prove the uniqueness of 𝐢. Let 𝑆 : 𝑋 β†’ π‘Œ be another cubic function satisfying (40). Since 𝑑(𝑓, 𝑆) ≀ 𝐿/(1 βˆ’ 𝐿) and 𝑆 is cubic, we get 𝑆 ∈ Ξ” and 𝑇𝑆(π‘₯) = (1/πœ†3 )𝑆(πœ†π‘₯) = 𝑆(π‘₯) for all π‘₯ ∈ 𝑋; that is, 𝑆 is a fixed point of 𝑇. Since 𝐢 is the unique fixed point of 𝑇 in Ξ”, it follows that 𝑆 = 𝐢. Lemma 6. Let 𝑓 : 𝑋 β†’ π‘Œ be an odd function for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that σ΅„© σ΅„©σ΅„© (51) 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦) for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that πœ†3 πœ‘ (π‘₯, 𝑦) ≀ πΏπœ‘ (πœ†π‘₯, πœ†π‘¦)

(52)

for all π‘₯, 𝑦 ∈ 𝑋, then there exists a unique cubic mapping 𝐢 : 𝑋 β†’ π‘Œ such that 1 σ΅„© σ΅„©σ΅„© (53) πœ“ (π‘₯) 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝐢 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ for all π‘₯ ∈ 𝑋, where πœ“(π‘₯) := (1/2(πœ† + 1))πœ‘(0, π‘₯/πœ†).

(54)

for all π‘₯, 𝑦 ∈ 𝑋. Letting π‘₯ = 0 in (51) and replacing 𝑦 by π‘₯, we have σ΅„© σ΅„©σ΅„© 3 σ΅„©σ΅„©πœ† 𝑓 ( π‘₯ ) βˆ’ 𝑓 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ πœ“ (π‘₯) (55) σ΅„©σ΅„© σ΅„©σ΅„© πœ† σ΅„© σ΅„© for all π‘₯ ∈ 𝑋. We introduce the same definitions for Ξ© and 𝑑 as in the proof of Lemma 5 (by replacing πœ™ by πœ“) such that (Ξ©, 𝑑) becomes a generalized complete metric space. Let 𝑇 : Ξ© β†’ Ξ© be the mapping defined by π‘₯ 𝑇𝑔 (π‘₯) := πœ†3 𝑔 ( ) πœ†

(47)

for all 𝑔, β„Ž ∈ Ξ©; that is, 𝑇 is a strictly contractive mapping of Ξ© with Lipschitz constant 𝐿. It follows from (43) that 𝑑(𝑇𝑓, 𝑓) ≀ 𝐿. Therefore, according to Proposition 4, the sequence {π‘‡π‘Ÿ 𝑓} converges to a fixed point 𝐢 of 𝑇; that is,

π‘₯ 𝑦 , )=0 πœ†π‘Ÿ πœ†π‘Ÿ

(56)

for all 𝑔 ∈ Ξ© and all π‘₯ ∈ 𝑋. One can show that 𝑑(𝑇𝑔, π‘‡β„Ž) ≀ 𝐿𝑑(𝑔, β„Ž) for all 𝑔, β„Ž ∈ Ξ©. It follows from (55) that 𝑑(𝑇𝑓, 𝑓) ≀ 1. Due to Proposition 4, the sequence {π‘‡π‘Ÿ 𝑓} converges to a fixed point 𝐢 of 𝑇; that is, 𝐢 : 𝑋 󳨀→ π‘Œ,

π‘Ÿβ†’βˆž

π‘₯ ) πœ†π‘Ÿ (57)

1 1 𝑑 (𝑇𝑓, 𝑓) ≀ , 1βˆ’πΏ 1βˆ’πΏ

(58)

𝐢 (π‘₯) = lim (π‘‡π‘Ÿ 𝑓) (π‘₯) = lim πœ†3π‘Ÿ 𝑓 ( π‘Ÿβ†’βˆž

and 𝐢(πœ†π‘₯) = πœ†3 𝐢(π‘₯) for all π‘₯ ∈ 𝑋. Also, 𝑑 (𝑓, 𝐢) ≀

which yields the inequality (53). The rest of the proof is similar to the proof of Lemma 5, and we omit the details. Similarly, we can prove the following two lemmas on even functions. Lemma 7. Let 𝑓 : 𝑋 β†’ π‘Œ be an even function with 𝑓(0) = 0 for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦)

(59)

for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that πœ‘ (πœ†π‘₯, πœ†π‘¦) ≀ πœ†4 πΏπœ‘ (π‘₯, 𝑦)

(60)

for all π‘₯, 𝑦 ∈ 𝑋, then there exists a unique quartic mapping 𝑄 : 𝑋 β†’ π‘Œ such that 𝐿 σ΅„© σ΅„©σ΅„© πœ™ (π‘₯) 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝑄 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ

(61)

for all π‘₯ ∈ 𝑋, where πœ™(π‘₯) := (1/2)πœ‘(0, π‘₯/πœ†). Lemma 8. Let 𝑓 : 𝑋 β†’ π‘Œ be an even function with 𝑓(0) = 0 for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦)

(62)

Journal of Function Spaces and Applications

7

for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that πœ†4 πœ‘ (π‘₯, 𝑦) ≀ πΏπœ‘ (πœ†π‘₯, πœ†π‘¦)

(63)

for all π‘₯, 𝑦 ∈ 𝑋, then there exists a unique quartic mapping 𝑄 : 𝑋 β†’ π‘Œ such that 1 σ΅„© σ΅„©σ΅„© πœ“ (π‘₯) 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝑄 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ

Theorem 9. Let 𝑓 : 𝑋 β†’ π‘Œ be a function with 𝑓(0) = 0 for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that (65)

for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that

(67)

π‘₯ 1 Ξ¦ (0, ) , 2 (πœ† + 1) πœ†

1 π‘₯ πœ™π‘’ (π‘₯) := Ξ¦ (0, ) , 2 πœ†

1 Ξ¦ (π‘₯, 𝑦) := [πœ‘ (π‘₯, 𝑦) + πœ‘ (βˆ’π‘₯, βˆ’π‘¦)] . 2

(68)

Proof. Let π‘“π‘œ and 𝑓𝑒 denote the odd and the even part of 𝑓, respectively. Then, it can be verified from (65) that σ΅„© σ΅„©σ΅„© σ΅„©σ΅„©π·π‘“π‘œ (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ Ξ¦ (π‘₯, 𝑦) ,

σ΅„©σ΅„© σ΅„© 󡄩󡄩𝐷𝑓𝑒 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ Ξ¦ (π‘₯, 𝑦) (69)

for all π‘₯, 𝑦 ∈ 𝑋. Moreover, by (66), it is easy to compute that Ξ¦ (πœ†π‘₯, πœ†π‘¦) ≀ πœ†3 𝐿Φ (π‘₯, 𝑦)

πœ†4 πœ‘ (π‘₯, 𝑦) ≀ πΏπœ‘ (πœ†π‘₯, πœ†π‘¦)

(74)

σ΅„© σ΅„©σ΅„© 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝐢 (π‘₯) βˆ’ 𝑄 (π‘₯)σ΅„©σ΅„©σ΅„© ≀

1 [πœ“ (π‘₯) + πœ“π‘’ (π‘₯)] 1βˆ’πΏ π‘œ

(75)

for all π‘₯ ∈ 𝑋, where πœ“π‘œ (π‘₯) :=

1 π‘₯ Ξ¨ (0, ) , 2 (πœ† + 1) πœ† Ξ¨ (π‘₯, 𝑦) :=

1 π‘₯ πœ“π‘’ (π‘₯) := Ξ¨ (0, ) , 2 πœ†

1 [πœ‘ (π‘₯, 𝑦) + πœ‘ (βˆ’π‘₯, βˆ’π‘¦)] . 2

(76)

Proof. Similar to the proof of Theorem 9, the result follows from Lemmas 6 and 8.

Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.

for all π‘₯ ∈ 𝑋, where πœ™π‘œ (π‘₯) :=

for all π‘₯, 𝑦 ∈ 𝑋. If there exists a constant 0 < 𝐿 < 1 such that

(66)

for all π‘₯, 𝑦 ∈ 𝑋, then there exist a unique cubic mapping 𝐢 : 𝑋 β†’ π‘Œ and a unique quartic mapping 𝑄 : 𝑋 β†’ π‘Œ such that 𝐿 σ΅„© σ΅„©σ΅„© [πœ™ (π‘₯) + πœ™π‘’ (π‘₯)] 󡄩󡄩𝑓 (π‘₯) βˆ’ 𝐢 (π‘₯) βˆ’ 𝑄 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ π‘œ

(73)

for all π‘₯, 𝑦 ∈ 𝑋, then there exist a unique cubic mapping 𝐢 : 𝑋 β†’ π‘Œ and a unique quartic mapping 𝑄 : 𝑋 β†’ π‘Œ such that

Now, we are ready to give our main theorems in this section.

πœ‘ (πœ†π‘₯, πœ†π‘¦) ≀ πœ†3 πΏπœ‘ (π‘₯, 𝑦)

σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦)

(64)

for all π‘₯ ∈ 𝑋, where πœ“(π‘₯) := (1/2)πœ‘(0, π‘₯/πœ†).

σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐷𝑓 (π‘₯, 𝑦)σ΅„©σ΅„©σ΅„© ≀ πœ‘ (π‘₯, 𝑦)

Theorem 10. Let 𝑓 : 𝑋 β†’ π‘Œ be a function with 𝑓(0) = 0 for which there exists a function πœ‘ : 𝑋 Γ— 𝑋 β†’ [0, +∞) such that

(70)

for all π‘₯, 𝑦 ∈ 𝑋. Thus, by applying Lemmas 5 and 7, one can obtain that there exist a unique cubic mapping 𝐢 : 𝑋 β†’ π‘Œ and a unique quartic mapping 𝑄 : 𝑋 β†’ π‘Œ such that 𝐿 σ΅„© σ΅„©σ΅„© πœ™ (π‘₯) , σ΅„©σ΅„©π‘“π‘œ (π‘₯) βˆ’ 𝐢 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ π‘œ

(71)

𝐿 σ΅„© σ΅„©σ΅„© πœ™ (π‘₯) 󡄩󡄩𝑓𝑒 (π‘₯) βˆ’ 𝑄 (π‘₯)σ΅„©σ΅„©σ΅„© ≀ 1βˆ’πΏ 𝑒

(72)

for all π‘₯ ∈ 𝑋, where πœ™π‘œ (π‘₯) := (1/2(πœ† + 1))Ξ¦(0, π‘₯/πœ†) and πœ™π‘’ (π‘₯) := (1/2)Ξ¦(0, π‘₯/πœ†). Moreover, combining (71) and (72) yields the inequality (67). The proof is complete.

References [1] S. M. Ulam, Problems in Modern Mathematics, chapter 6, John Wiley & Sons, New York, NY, USA, 1964. [2] D. H. Hyers, β€œOn the stability of the linear functional equation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 27, pp. 222–224, 1941. [3] Th. M. Rassias, β€œOn the stability of the linear mapping in Banach spaces,” Proceedings of the American Mathematical Society, vol. 72, no. 2, pp. 297–300, 1978. [4] S.-M. Jung, β€œHyers-Ulam-Rassias stability of Jensen’s equation and its application,” Proceedings of the American Mathematical Society, vol. 126, no. 11, pp. 3137–3143, 1998. [5] K.-W. Jun, H.-M. Kim, and I.-S. Chang, β€œOn the Hyers-Ulam stability of an Euler-Lagrange type cubic functional equation,” Journal of Computational Analysis and Applications, vol. 7, no. 1, pp. 21–33, 2005. [6] K. W. Jun, S. B. Lee, and W. G. Park, β€œSolution and stability of a cubic functional equation,” Acta Mathematica Sinica, vol. 26, no. 7, pp. 1255–1262, 2010. [7] G. H. Kim, β€œA stability of the generalized sine functional equations,” Journal of Mathematical Analysis and Applications, vol. 331, no. 2, pp. 886–894, 2007. [8] W.-G. Park and J.-H. Bae, β€œOn a bi-quadratic functional equation and its stability,” Nonlinear Analysis. Theory, Methods & Applications, vol. 62, no. 4, pp. 643–654, 2005. [9] J. Sikorska, β€œGeneralized stability of the Cauchy and the Jensen functional equations on spheres,” Journal of Mathematical Analysis and Applications, vol. 345, no. 2, pp. 650–660, 2008.

8 [10] J. AczΒ΄el and J. Dhombres, Functional Equations in Several Variables, vol. 31 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, 1989. [11] S. Czerwik, Funcional Equations and Inequalities in Several Variables, World Scientific Publishing, River Edge, NJ, USA, 2002. [12] D. H. Hyers, G. Isac, and Th. M. Rassias, Stability of Functional Equations in Several Variables, BirkhΒ¨auser, Boston, Mass, USA, 1998. [13] Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2009. [14] K.-W. Jun and H.-M. Kim, β€œThe generalized Hyers-UlamRassias stability of a cubic functional equation,” Journal of Mathematical Analysis and Applications, vol. 274, no. 2, pp. 267–278, 2002. [15] S. H. Lee, S. M. Im, and I. S. Hwang, β€œQuartic functional equations,” Journal of Mathematical Analysis and Applications, vol. 307, no. 2, pp. 387–394, 2005. [16] M. Eshaghi Gordji, S. Zolfaghari, J. M. Rassias, and M. B. Savadkouhi, β€œSolution and stability of a mixed type cubic and quartic functional equation in quasi-Banach spaces,” Abstract and Applied Analysis, vol. 2009, Article ID 417473, 14 pages, 2009. [17] M. E. Gordji, S. K. Gharetapeh, J. M. Rassias, and S. Zolfaghari, β€œSolution and stability of a mixed type additive, quadratic, and cubic functional equation,” Advances in Difference Equations, vol. 2009, Article ID 826130, 17 pages, 2009. [18] M. Eshaghi Gordji and H. Khodaei, β€œSolution and stability of generalized mixed type cubic, quadratic and additive functional equation in quasi-Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 71, no. 11, pp. 5629–5643, 2009. [19] M. Eshaghi Gordji and M. B. Savadkouhi, β€œStability of a mixed type cubic-quartic functional equation in non-Archimedean spaces,” Applied Mathematics Letters, vol. 23, no. 10, pp. 1198– 1202, 2010. [20] F. Moradlou, H. Vaezi, and G. Z. Eskandani, β€œHyers-UlamRassias stability of a quadratic and additive functional equation in quasi-Banach spaces,” Mediterranean Journal of Mathematics, vol. 6, no. 2, pp. 233–248, 2009. [21] A. Najati and Th. M. Rassias, β€œStability of a mixed functional equation in several variables on Banach modules,” Nonlinear Analysis. Theory, Methods & Applications, vol. 72, no. 3-4, pp. 1755–1767, 2010. [22] A. Najati and G. Z. Eskandani, β€œStability of a mixed additive and cubic functional equation in quasi-Banach spaces,” Journal of Mathematical Analysis and Applications, vol. 342, no. 2, pp. 1318– 1331, 2008. [23] V. Radu, β€œThe fixed point alternative and the stability of functional equations,” Fixed Point Theory, vol. 4, no. 1, pp. 91–96, 2003. [24] J. B. Diaz and B. Margolis, β€œA fixed point theorem of the alternative, for contractions on a generalized complete metric space,” Bulletin of the American Mathematical Society, vol. 74, pp. 305– 309, 1968. [25] L. C˘adariu and V. Radu, β€œFixed point methods for the generalized stability of functional equations in a single variable,” Fixed Point Theory and Applications, vol. 2008, Article ID 749392, 15 pages, 2008. [26] A. K. Mirmostafaee, β€œA fixed point approach to almost quartic mappings in quasi fuzzy normed spaces,” Fuzzy Sets and Systems, vol. 160, no. 11, pp. 1653–1662, 2009.

Journal of Function Spaces and Applications

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at http://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Discrete Mathematics

Journal of

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014