Abstract and Applied Analysis
Volume 2009 (2009), Article ID 923476, 11 pages
doi:10.1155/2009/923476
Research Article

On the Generalized Hyers-Ulam-Rassias Stability of Quadratic Functional Equations

Department of Mathematics, Semnan University, P.O. Box 35195-363, Semnan, Iran

Received 17 December 2008; Revised 19 February 2009; Accepted 10 March 2009

Academic Editor: John Rassias

Copyright © 2009 M. Eshaghi Gordji and H. Khodaei. 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

We achieve the general solution and the generalized Hyers-Ulam-Rassias and Ulam-Gavruta-Rassias stabilities for quadratic functional equations 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = ( 𝑏 ( 𝑎 + 𝑏 ) / 2 ) 𝑓 ( 𝑥 + 𝑦 ) + ( 𝑏 ( 𝑎 + 𝑏 ) / 2 ) 𝑓 ( 𝑥 𝑦 ) + ( 2 𝑎 2 𝑎 𝑏 𝑏 2 ) 𝑓 ( 𝑥 ) + ( 𝑏 2 𝑎 𝑏 ) 𝑓 ( 𝑦 ) where 𝑎 , 𝑏 are nonzero fixed integers with 𝑏 ± 𝑎 , 3 𝑎 , and 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = 2 𝑎 2 𝑓 ( 𝑥 ) + 2 𝑏 2 𝑓 ( 𝑦 ) for fixed integers 𝑎 , 𝑏 with 𝑎 , 𝑏 0 and 𝑎 ± 𝑏 0 .

1. Introduction

In 1940, Ulam [1] proposed the stability problem for functional equations in the following question regarding to the stability of group homomorphism.

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 𝑑 ( ( 𝑥 𝑦 ) , ( 𝑥 ) ( 𝑦 ) ) < 𝛿 , for all 𝑥 , 𝑦 𝐺 1 , then there exists a homomorphism 𝐻 𝐺 1 𝐺 2 with 𝑑 ( ( 𝑥 ) , 𝐻 ( 𝑥 ) ) < 𝜖 , for all 𝑥 𝐺 1 ? In other words, under what conditions does a homomorphism exist near an approximately homomorphism? Generally, the concept of stability for a functional equation comes up when we the functional equation is replaced by an inequality which acts as a perturbation of that equation. Hyers [2] answered to the question affirmatively in 1941 so if 𝑓 𝐸 𝐸 such that 𝑓 ( 𝑥 + 𝑦 ) 𝑓 ( 𝑥 ) 𝑓 ( 𝑦 ) 𝛿 , ( 1 . 1 ) for all 𝑥 , 𝑦 𝐸 , and for some 𝛿 > 0 where 𝐸 , 𝐸 are Banach spaces; then there exists a unique additive mapping 𝑇 𝐸 𝐸 such that 𝑓 ( 𝑥 ) 𝑇 ( 𝑥 ) 𝛿 , ( 1 . 2 ) for all 𝑥 𝐸 . However, if 𝑓 ( 𝑡 𝑥 ) is a continuous mapping at 𝑡 for each fixed 𝑥 𝐸 then 𝑇 is linear. In 1950, Hyers's theorem was generalized by Aoki [3] for additive mappings and independently, in 1978, by Rassias [4] for linear mappings considering the Cauchy difference controlled by sum of powers of norms. This stability phenomenon is called the Hyers-Ulam-Rassias stability.

On the other hand, Rassias [510] considered the Cauchy difference controlled by a product of different powers of norm. However, there was a singular case; for this singularity a counterexample was given by Găvruţa [11]. This stability phenomenon is called the Ulam-Găvruţa-Rassias stability (see also [12, 13]). In addition, J. M. Rassias considered the mixed product-sum of powers of norms control function [14]. This stability is called JMRassias mixed product-sum stability (see also [1522]).

The functional equation 𝑓 ( 𝑥 + 𝑦 ) + 𝑓 ( 𝑥 𝑦 ) = 2 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) , ( 1 . 3 ) is related to symmetric biadditive function and is called a quadratic functional equation naturally, and every solution of the quadratic equation (1.3) is said to be a quadratic function. It is well known that a function 𝑓 between two real vector spaces is quadratic if and only if there exists a unique symmetric biadditive function 𝐵 such that 𝑓 ( 𝑥 ) = 𝐵 ( 𝑥 , 𝑥 ) for all 𝑥 where 1 𝐵 ( 𝑥 , 𝑦 ) = 4 ( 𝑓 ( 𝑥 + 𝑦 ) 𝑓 ( 𝑥 𝑦 ) ) ( 1 . 4 ) (see [23, 24]). Skof proved Hyers-Ulam-Rassias stability problem for quadratic functional equation (1.3) for a class of functions 𝑓 𝐴 𝐵 , where 𝐴 is normed space and 𝐵 is a Banach space, (see [25]). Cholewa [26] noticed that Skof's theorem is still true if relevant domain 𝐴 alters to an abelian group. In 1992, Czerwik proved the Hyers-Ulam-Rassias stability of (1.3) (see [27]) and four years later, Grabiec [28] generalized the result mentioned above.

Throughout this paper, assume that 𝑎 , 𝑏 are fixed integers with 𝑎 , 𝑏 0 , we introduce the following functional equations, which are different from (1.3): 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑥 + 𝑦 ) + 𝑏 ( 𝑎 + 𝑏 ) 2 + 𝑓 ( 𝑥 𝑦 ) 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑏 𝑓 ( 𝑥 ) + 2 𝑎 𝑏 𝑓 ( 𝑦 ) , ( 1 . 5 ) where 𝑏 ± 𝑎 , 3 𝑎 , and 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = 2 𝑎 2 𝑓 ( 𝑥 ) + 2 𝑏 2 𝑓 ( 𝑦 ) , ( 1 . 6 ) where 𝑏 ± 𝑎 .

In this paper, we establish the general solution and the generalized Hyers-Ulam-Rassias and Ulam-Găvruţa-Rassias stabilities problem for (1.5), (1.6) which are equivalent to (1.3).

2. Solution of (1.5), (1.6)

Let 𝑋 and 𝑌 be real vector spaces. We here present the general solution of (1.5), (1.6).

Theorem 2.1. A function 𝑓 𝑋 𝑌 satisfies the functional equation (1.3) if and only if 𝑓 𝑋 𝑌 satisfies the functional equation (1.5). Therefore, every solution of functional equation (1.5) is also a quadratic function.

Proof. Let 𝑓 satisfy the functional equation (1.3). Putting 𝑥 = 𝑦 = 0 in (1.3), we get 𝑓 ( 0 ) = 0 . Set 𝑥 = 0 in (1.3) to get 𝑓 ( 𝑦 ) = 𝑓 ( 𝑦 ) . Letting 𝑦 = 𝑥 and 𝑦 = 2 𝑥 in (1.3), respectively, we obtain that 𝑓 ( 2 𝑥 ) = 4 𝑓 ( 𝑥 ) and 𝑓 ( 3 𝑥 ) = 9 𝑓 ( 𝑥 ) for all 𝑥 𝑋 . By induction, we lead to 𝑓 ( 𝑘 𝑥 ) = 𝑘 2 𝑓 ( 𝑥 ) for all positive integers 𝑘 . Replacing 𝑥 and 𝑦 by 2 𝑥 + 𝑦 and 2 𝑥 𝑦 in (1.3), respectively, gives 𝑓 ( 2 𝑥 + 𝑦 ) + 𝑓 ( 2 𝑥 𝑦 ) = 8 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) ( 2 . 1 ) for all 𝑥 , 𝑦 𝑋 . Using (1.3) and (2.1), we lead to 𝑓 ( 2 𝑥 + 𝑦 ) + 𝑓 ( 2 𝑥 𝑦 ) = 2 𝑓 ( 𝑥 + 𝑦 ) + 2 𝑓 ( 𝑥 𝑦 ) + 4 𝑓 ( 𝑥 ) 2 𝑓 ( 𝑦 ) ( 2 . 2 ) for all 𝑥 , 𝑦 𝑋 . Suppose that 𝑘 0 is a fixed integer by using (1.3), we get 𝑘 𝑓 ( 𝑥 + 𝑦 ) + 𝑘 𝑓 ( 𝑥 𝑦 ) 2 𝑘 𝑓 ( 𝑥 ) 2 𝑘 𝑓 ( 𝑦 ) = 0 ( 2 . 3 ) for all 𝑥 , 𝑦 𝑋 . Using (2.2) and (2.3), we obtain 𝑓 ( 2 𝑥 + 𝑦 ) + 𝑓 ( 2 𝑥 𝑦 ) = ( 2 + 𝑘 ) 𝑓 ( 𝑥 + 𝑦 ) + ( 2 + 𝑘 ) 𝑓 ( 𝑥 𝑦 ) + 2 ( 2 𝑘 ) 𝑓 ( 𝑥 ) 2 ( 1 + 𝑘 ) 𝑓 ( 𝑦 ) ( 2 . 4 ) for all 𝑥 , 𝑦 𝑋 . Replacing 𝑥 and 𝑦 by 3 𝑥 + 𝑦 and 3 𝑥 𝑦 in (1.3), respectively, then using (1.3) and (2.3), we have 𝑓 ( 3 𝑥 + 𝑦 ) + 𝑓 ( 3 𝑥 𝑦 ) = ( 3 + 𝑘 ) 𝑓 ( 𝑥 + 𝑦 ) + ( 3 + 𝑘 ) 𝑓 ( 𝑥 𝑦 ) + 2 ( 6 𝑘 ) 𝑓 ( 𝑥 ) 2 ( 2 + 𝑘 ) 𝑓 ( 𝑦 ) ( 2 . 5 ) for all 𝑥 , 𝑦 𝑋 . By using the above method, by induction, we infer that 𝑎 𝑓 ( 𝑎 𝑥 + 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑦 ) = ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 + 𝑦 ) + ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 𝑦 ) + 2 2 𝑎 𝑘 𝑓 ( 𝑥 ) 2 ( 𝑎 + 𝑘 1 ) 𝑓 ( 𝑦 ) ( 2 . 6 ) for all 𝑥 , 𝑦 𝑋 and each positive integer 𝑎 1 . For a negative integer 𝑎 1 , replacing 𝑎 by 𝑎 one can easily prove the validity of (2.6). Therefore (1.3) implies (2.6) for any integer 𝑎 0 . First, it is noted that (2.6) also implies the following equation 𝑏 𝑓 ( 𝑏 𝑥 + 𝑦 ) + 𝑓 ( 𝑏 𝑥 𝑦 ) = ( 𝑏 + 𝑘 ) 𝑓 ( 𝑥 + 𝑦 ) + ( 𝑏 + 𝑘 ) 𝑓 ( 𝑥 𝑦 ) + 2 2 𝑓 𝑏 𝑘 ( 𝑥 ) 2 ( 𝑏 + 𝑘 1 ) 𝑓 ( 𝑦 ) ( 2 . 7 ) for all integers 𝑏 0 . Setting 𝑦 = 0 in (2.7) gives 𝑓 ( 𝑏 𝑥 ) = 𝑏 2 𝑓 ( 𝑥 ) . Substituting 𝑦 with 𝑏 𝑦 into (2.7), one gets ( 𝑏 + 𝑘 ) 𝑓 ( 𝑥 + 𝑏 𝑦 ) + ( 𝑏 + 𝑘 ) 𝑓 ( 𝑥 𝑏 𝑦 ) = 𝑏 2 𝑓 ( 𝑥 + 𝑦 ) + 𝑏 2 𝑓 𝑏 ( 𝑥 𝑦 ) 2 2 𝑏 𝑘 𝑓 ( 𝑥 ) + 2 𝑏 2 ( 𝑏 + 𝑘 1 ) 𝑓 ( 𝑦 ) ( 2 . 8 ) for all 𝑥 , 𝑦 𝑋 . Replacing 𝑦 by 𝑏 𝑦 in (2.6), we observe that 𝑎 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 + 𝑏 𝑦 ) + ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 𝑏 𝑦 ) + 2 2 𝑎 𝑘 𝑓 ( 𝑥 ) 2 ( 𝑎 + 𝑘 1 ) 𝑓 ( 𝑏 𝑦 ) ( 2 . 9 ) for all 𝑥 , 𝑦 𝑋 . Hence, according to (2.8) and (2.9), we get ( 𝑏 + 𝑘 ) 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + ( 𝑏 + 𝑘 ) 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = 𝑏 2 ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 + 𝑦 ) + 𝑏 2 𝑎 ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 𝑦 ) + 2 2 ( 𝑏 + 𝑘 ) 𝑏 2 ( 𝑎 + 𝑘 ) 𝑓 ( 𝑥 ) 2 𝑏 2 ( 𝑎 𝑏 ) 𝑓 ( 𝑦 ) ( 2 . 1 0 ) for all 𝑥 , 𝑦 𝑋 . In particular, if we substitute 𝑘 = 𝑏 in (2.10) and dividing it by 2 𝑏 , we conclude that 𝑓 satisfies (1.5).
Let 𝑓 satisfy the functional equation (1.5), for nonzero fixed integers 𝑎 , 𝑏 with 𝑏 ± 𝑎 , 3 𝑎 . Putting 𝑥 = 𝑦 = 0 in (1.5), we get 2 𝑎 2 𝑏 𝑎 + 𝑏 2 𝑓 2 ( 0 ) = 0 , ( 2 . 1 1 ) so 2 𝑎 𝑏 + 1 6 7 𝑏 2 2 𝑎 𝑏 1 6 7 𝑏 2 4 𝑓 ( 0 ) = 0 , ( 2 . 1 2 ) but since 𝑎 , 𝑏 0 and 𝑏 ± 𝑎 , 3 𝑎 , therefore 𝑓 ( 0 ) = 0 . Setting 𝑦 = 0 in (1.5) gives 𝑓 ( 𝑎 𝑥 ) = 𝑎 2 𝑓 ( 𝑥 ) for all 𝑥 𝑋 . Letting 𝑦 = 𝑦 in (1.5), we get 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑥 𝑦 ) + 𝑏 ( 𝑎 + 𝑏 ) 2 + 𝑓 ( 𝑥 + 𝑦 ) 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑏 𝑓 ( 𝑥 ) + 2 𝑎 𝑏 𝑓 ( 𝑦 ) ( 2 . 1 3 ) for all 𝑥 , 𝑦 𝑋 . If we compare (1.5) with (2.13), then since 𝑎 , 𝑏 0 and 𝑏 ± 𝑎 , 3 𝑎 , we conclude that 𝑓 ( 𝑦 ) = 𝑓 ( 𝑦 ) for all 𝑦 𝑋 . Letting 𝑥 = 0 in (1.5) and using the evenness of 𝑓 give 𝑓 ( 𝑏 𝑦 ) = 𝑏 2 𝑓 ( 𝑦 ) for all 𝑦 𝑋 . Therefore for all 𝑥 𝑋 , we get 𝑓 ( 𝑎 𝑏 𝑥 ) = 𝑎 2 𝑏 2 𝑓 ( 𝑥 ) . Replacing 𝑥 and 𝑦 by 𝑏 𝑥 and 𝑎 𝑦 in (1.5), respectively, we have 𝑎 2 𝑏 2 𝑓 ( 𝑥 + 𝑦 ) + 𝑎 2 𝑏 2 𝑓 ( 𝑥 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑏 𝑥 + 𝑎 𝑦 ) + 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑏 𝑥 𝑎 𝑦 ) + 𝑏 2 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑓 ( 𝑥 ) + 𝑎 2 𝑏 2 𝑎 𝑏 𝑓 ( 𝑦 ) ( 2 . 1 4 ) for all 𝑥 , 𝑦 𝑋 . On the other hand, if we interchange 𝑥 with 𝑦 in (1.5), we obtain 𝑓 ( 𝑎 𝑦 + 𝑏 𝑥 ) + 𝑓 ( 𝑎 𝑦 𝑏 𝑥 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑦 + 𝑥 ) + 𝑏 ( 𝑎 + 𝑏 ) 2 + 𝑓 ( 𝑦 𝑥 ) 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑏 𝑓 ( 𝑦 ) + 2 𝑎 𝑏 𝑓 ( 𝑥 ) ( 2 . 1 5 ) for all 𝑥 , 𝑦 𝑋 . But since 𝑓 is even, it follows from (2.15) that 𝑓 ( 𝑏 𝑥 + 𝑎 𝑦 ) + 𝑓 ( 𝑏 𝑥 𝑎 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑥 + 𝑦 ) + 𝑏 ( 𝑎 + 𝑏 ) 2 + 𝑏 𝑓 ( 𝑥 𝑦 ) 2 𝑎 𝑏 𝑓 ( 𝑥 ) + 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑓 ( 𝑦 ) ( 2 . 1 6 ) for all 𝑥 , 𝑦 𝑋 . Hence, according to (2.14) and (2.16), we obtain that 𝑎 2 𝑏 2 𝑓 ( 𝑥 + 𝑦 ) + 𝑎 2 𝑏 2 𝑓 ( 𝑥 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 𝑏 ( 𝑎 + 𝑏 ) 2 + 𝑏 ( 𝑓 ( 𝑥 + 𝑦 ) + 𝑓 ( 𝑥 𝑦 ) ) 2 𝑎 𝑏 𝑓 ( 𝑥 ) + 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑓 ( 𝑦 ) + 𝑏 2 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑓 ( 𝑥 ) + 𝑎 2 𝑏 2 𝑎 𝑏 𝑓 ( 𝑦 ) ( 2 . 1 7 ) for all 𝑥 , 𝑦 𝑋 . So from (2.17), we have 𝑏 2 4 4 𝑎 2 ( 𝑎 + 𝑏 ) 2 𝑏 ( 𝑓 ( 𝑥 + 𝑦 ) + 𝑓 ( 𝑥 𝑦 ) ) = 2 2 3 𝑎 2 2 𝑎 𝑏 𝑏 2 + 𝑏 𝑓 ( 𝑥 ) 2 2 3 𝑎 2 2 𝑎 𝑏 𝑏 2 𝑓 ( 𝑦 ) ( 2 . 1 8 ) for all 𝑥 , 𝑦 𝑋 . But since 𝑎 , 𝑏 0 and 𝑏 ± 𝑎 , 3 𝑎 , we conclude that 𝑓 ( 𝑥 + 𝑦 ) + 𝑓 ( 𝑥 𝑦 ) = 2 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) ( 2 . 1 9 ) for all 𝑥 , 𝑦 𝑋 . Therefore, 𝑓 satisfies (1.3).

Theorem 2.2. A function 𝑓 𝑋 𝑌 satisfies the functional equation (1.3) if and only if 𝑓 𝑋 𝑌 satisfies the functional equation (1.6). Therefore, every solution of functional equation (1.6) is also a quadratic function.

Proof. If 𝑓 satisfies the functional equation (1.3), then 𝑓 satisfies the functional equation (1.5). Now combining (1.3) with (1.5), we have 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) = 𝑏 ( 𝑎 + 𝑏 ) 2 + ( 2 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) ) 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑏 𝑓 ( 𝑥 ) + 2 𝑎 𝑏 𝑓 ( 𝑦 ) ( 2 . 2 0 ) for all 𝑥 , 𝑦 𝑋 . So from (2.20), we conclude that 𝑓 satisfies (1.6).Let 𝑓 satisfy the functional equation (1.6) for fixed integers 𝑎 , 𝑏 with 𝑎 0 , 𝑏 0 and 𝑎 ± 𝑏 0 . Putting 𝑥 = 𝑦 = 0 in (1.6), we get ( 2 ( 𝑎 2 + 𝑏 2 ) 2 ) 𝑓 ( 0 ) = 0 , and since 𝑎 0 , 𝑏 0 , therefore 𝑓 ( 0 ) = 0 . Setting 𝑦 = 0 in (1.6) gives 𝑓 ( 𝑎 𝑥 ) = 𝑎 2 𝑓 ( 𝑥 ) for all 𝑥 𝑋 . Letting 𝑦 = 𝑦 in (1.6), we have 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) = 2 𝑎 2 𝑓 ( 𝑥 ) + 2 𝑏 2 𝑓 ( 𝑦 ) ( 2 . 2 1 ) for all 𝑥 , 𝑦 𝑋 . If we compare (1.6) with (2.21), then since 𝑎 , 𝑏 0 and 𝑎 ± 𝑏 0 , we obtain that 𝑓 ( 𝑦 ) = 𝑓 ( 𝑦 ) for all 𝑦 𝑋 . Letting 𝑥 = 0 in (1.6) and using the evenness of 𝑓 gives 𝑓 ( 𝑏 𝑦 ) = 𝑏 2 𝑓 ( 𝑦 ) for all 𝑦 𝑋 . Therefore for all 𝑥 𝑋 , we get 𝑓 ( 𝑎 𝑏 𝑥 ) = 𝑎 2 𝑏 2 𝑓 ( 𝑥 ) . Replacing 𝑥 and 𝑦 by 𝑏 𝑥 and 𝑎 𝑦 in (1.6), respectively, we have 𝑓 ( 𝑎 𝑏 𝑥 𝑎 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑏 𝑥 + 𝑎 𝑏 𝑦 ) = 2 𝑎 2 𝑓 ( 𝑏 𝑥 ) + 2 𝑏 2 𝑓 ( 𝑎 𝑦 ) ( 2 . 2 2 ) for all 𝑥 , 𝑦 𝑋 . Now, by using 𝑓 ( 𝑎 𝑥 ) = 𝑎 2 𝑓 ( 𝑥 ) , 𝑓 ( 𝑏 𝑥 ) = 𝑏 2 𝑓 ( 𝑥 ) and 𝑓 ( 𝑎 𝑏 𝑥 ) = 𝑎 2 𝑏 2 𝑓 ( 𝑥 ) , it follows from (2.22) that 𝑓 ( 𝑥 + 𝑦 ) + 𝑓 ( 𝑥 𝑦 ) = 2 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) ( 2 . 2 3 ) for all 𝑥 , 𝑦 𝑋 . Which completes the proof of the theorem.

Corollary 2.3 ([29, Proposition 2.1]). A function 𝑓 𝑋 𝑌 satisfies the following functional equation: 𝑓 ( 𝑎 𝑥 + 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑦 ) = 2 𝑎 2 𝑓 ( 𝑥 ) + 2 𝑓 ( 𝑦 ) ( 2 . 2 4 ) for all 𝑥 , 𝑦 𝑋 if and only if 𝑓 𝑋 𝑌 satisfies the functional equation (1.3) for all 𝑥 , 𝑦 𝑋 .

Proof. Assume that 𝑏 = 1 in functional equation (1.6) and apply Theorem 2.2.

3. Stability

We now investigate the generalized Hyers-Ulam-Rassias and Ulam-Gavruta-Rassias stabilities problem for functional equations (1.5), (1.6). From this point on, let 𝑋 be a real vector space and let 𝑌 be a Banach space. Before taking up the main subject, we define the difference operator Δ 𝑓 𝑋 × 𝑋 𝑌 by Δ 𝑓 ( 𝑥 , 𝑦 ) = 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑥 + 𝑦 ) 𝑏 ( 𝑎 + 𝑏 ) 2 𝑓 ( 𝑥 𝑦 ) 2 𝑎 2 𝑎 𝑏 𝑏 2 𝑏 𝑓 ( 𝑥 ) 2 𝑎 𝑏 𝑓 ( 𝑦 ) ( 3 . 1 ) for all 𝑥 , 𝑦 𝑋 and 𝑎 , 𝑏 fixed integers such that 𝑎 , 𝑏 0 and 𝑎 ± 𝑏 0 where 𝑓 𝑋 𝑌 is a given function.

Theorem 3.1. Let 𝑗 { 1 , 1 } be fixed, and let 𝜑 𝑋 × 𝑋 [ 0 , ) be a function such that 𝜑 ( 𝑥 ) = 𝑖 = ( 1 𝑗 ) / 2 1 0 𝑥 0 2 0 0 𝑑 𝑎 2 𝑖 𝑗 𝜑 𝑎 𝑖 𝑗 𝑥 , 0 < ( 3 . 2 ) l i m 𝑛 1 𝑎 2 𝑛 𝑗 𝜑 𝑎 𝑛 𝑗 𝑥 , 𝑎 𝑛 𝑗 𝑦 = 0 ( 3 . 3 ) for all 𝑥 , 𝑦 𝑋 . Suppose that 𝑓 𝑋 𝑌 be a function satisfies Δ 𝑓 ( 𝑥 , 𝑦 ) 𝜑 ( 𝑥 , 𝑦 ) ( 3 . 4 ) for all 𝑥 , 𝑦 𝑋 . Furthermore, assume that 𝑓 ( 0 ) = 0 in (3.4) for the case 𝑗 = 1 . Then there exists a unique quadratic function 𝑄 𝑋 𝑌 such that 1 𝑓 ( 𝑥 ) 𝑄 ( 𝑥 ) 2 𝑎 1 + 𝑗 𝑥 𝜑 𝑎 ( 1 𝑗 ) / 2 , ( 3 . 5 ) for all 𝑥 𝑋 .

Proof. For 𝑗 = 1 , putting 𝑦 = 0 in (3.4), we have 2 𝑓 ( 𝑎 𝑥 ) 2 𝑎 2 𝑓 ( 𝑥 ) 𝜑 ( 𝑥 , 0 ) ( 3 . 6 ) for all 𝑥 𝑋 . So 1 𝑓 ( 𝑥 ) 𝑎 2 1 𝑓 ( 𝑎 𝑥 ) 2 𝑎 2 𝜑 ( 𝑥 , 0 ) ( 3 . 7 ) for all 𝑥 𝑋 . Replacing 𝑥 by 𝑎 𝑥 in (3.7) and dividing by 𝑎 2 and summing the resulting inequality with (3.7), we get 1 𝑓 ( 𝑥 ) 𝑎 4 𝑓 𝑎 2 𝑥 1 2 𝑎 2 𝜑 ( 𝑥 , 0 ) + 𝜑 ( 𝑎 𝑥 , 𝑜 ) 𝑎 2 ( 3 . 8 ) for all 𝑥 𝑋 . Hence 1 𝑎 2 𝑘 𝑓 𝑎 𝑘 𝑥 1 𝑎 2 𝑚 𝑓 ( 𝑎 𝑚 1 𝑥 ) 2 𝑎 2 𝑚 1 𝑖 = 𝑘 1 0 𝑥 0 2 0 0 𝑑 𝑎 2 𝑖 𝜑 𝑎 𝑖 𝑥 , 0 ( 3 . 9 ) for all nonnegative integers 𝑚 and 𝑘 with 𝑚 > 𝑘 and for all 𝑥 𝑋 . It follows from (3.2) and (3.9) that the sequence { ( 1 / 𝑎 2 𝑛 ) 𝑓 ( 𝑎 𝑛 𝑥 ) } is a Cauchy sequence for all 𝑥 𝑋 . Since 𝑌 is complete, the sequence { ( 1 / 𝑎 2 𝑛 ) 𝑓 ( 𝑎 𝑛 𝑥 ) } converges. So one can define the function 𝑄 𝑋 𝑌 by 𝑄 ( 𝑥 ) = l i m 𝑛 1 𝑎 2 𝑛 𝑓 ( 𝑎 𝑛 𝑥 ) ( 3 . 1 0 ) for all 𝑥 𝑋 . By (3.3) for 𝑗 = 1 and (3.4), Δ 𝑄 ( 𝑥 , 𝑦 ) = l i m 𝑛 1 𝑎 2 𝑛 Δ 𝑓 ( 𝑎 𝑛 𝑥 , 𝑎 𝑛 𝑦 ) l i m 𝑛 1 𝑎 2 𝑛 𝜑 ( 𝑎 𝑛 𝑥 , 𝑎 𝑛 𝑦 ) = 0 ( 3 . 1 1 ) for all 𝑥 , 𝑦 𝑋 . So Δ 𝑄 ( 𝑥 , 𝑦 ) = 0 . By Theorem 2.1, the function 𝑄 𝑋 𝑌 is quadratic. Moreover, letting 𝑘 = 0 and passing the limit 𝑚 in (3.9), we get the inequality (3.5) for 𝑗 = 1 .
Now, let 𝑄 𝑋 𝑌 be another quadratic function satisfying (1.5) and (3.5). Then we have 𝑄 ( 𝑥 ) 𝑄 = 1 ( 𝑥 ) 𝑎 2 𝑛 𝑄 ( 𝑎 𝑛 𝑥 ) 𝑄 ( 𝑎 𝑛 1 𝑥 ) 𝑎 2 𝑛 𝑄 ( 𝑎 𝑛 𝑥 ) 𝑓 ( 𝑎 𝑛 𝑄 𝑥 ) + ( 𝑎 𝑛 𝑥 ) 𝑓 ( 𝑎 𝑛 1 𝑥 ) 𝑎 2 𝑎 2 𝑛 𝜑 ( 𝑎 𝑛 𝑥 , 0 ) , ( 3 . 1 2 ) which tends to zero as 𝑛 for all 𝑥 𝑋 . So we can conclude that 𝑄 ( 𝑥 ) = 𝑄 ( 𝑥 ) for all 𝑥 𝑋 . This proves the uniqueness of 𝑄 .
Also, for 𝑗 = 1 , it follows from (3.6) that 𝑓 ( 𝑥 ) 𝑎 2 𝑓 𝑥 𝑎 1 2 𝜑 𝑥 𝑎 , 0 ( 3 . 1 3 ) for all 𝑥 𝑋 . Hence 𝑎 2 𝑘 𝑓 𝑥 𝑎 𝑘 𝑎 2 𝑚 𝑓 𝑥 𝑎 𝑚 1 2 𝑚 1 𝑖 = 𝑘 0 𝑥 0 2 0 0 𝑑 𝑎 2 𝑖 𝜑 𝑥 𝑎 𝑖 + 1 , 0 ( 3 . 1 4 ) for all nonnegative integers 𝑚 and 𝑘 with 𝑚 > 𝑘 and for all 𝑥 𝑋 . It follows from (3.14) that the sequence { 𝑎 2 𝑛 𝑓 ( 𝑥 / 𝑎 𝑛 ) } is a Cauchy sequence for all 𝑥 𝑋 . Since 𝑌 is complete, the sequence { 𝑎 2 𝑛 𝑓 ( 𝑥 / 𝑎 𝑛 ) } converges. So one can define the function 𝑄 𝑋 𝑌 by 𝑄 ( 𝑥 ) = l i m 𝑛 𝑎 2 𝑛 𝑓 𝑥 𝑎 𝑛 ( 3 . 1 5 ) for all 𝑥 𝑋 . By (3.3) for 𝑗 = 1 and (3.4), Δ 𝑄 ( 𝑥 , 𝑦 ) = l i m 𝑛 𝑎 2 𝑛 Δ 𝑓 𝑥 𝑎 𝑛 , 𝑦 𝑎 𝑛 l i m 𝑛 𝑎 2 𝑛 𝜑 𝑥 𝑎 𝑛 𝑦 𝑎 𝑛 = 0 , ( 3 . 1 6 ) for all 𝑥 , 𝑦 𝑋 . So Δ 𝑄 ( 𝑥 , 𝑦 ) = 0 . By Theorem 2.1, the function 𝑄 𝑋 𝑌 is quadratic. Moreover, letting 𝑘 = 0 and passing the limit 𝑚 in (3.14), we get the inequality (3.5) for 𝑗 = 1 . The rest of the proof is similar to the proof of previous section.

From Theorem 3.1, we obtain the following corollaries concerning the JMRassias mixed product-sum stability of the functional equation (1.5).

Corollary 3.2. Let 𝜀 , 𝑝 , 𝑞 0 and 𝑟 , 𝑠 > 0 be real numbers such that 𝑝 , 𝑞 < 2 and 𝑟 + 𝑠 2 . Suppose that a function 𝑓 𝑋 𝑌 satisfies Δ 𝑓 ( 𝑥 , 𝑦 ) 𝜀 𝑥 𝑝 + 𝑦 𝑞 + 𝑥 𝑟 𝑦 𝑠 ( 3 . 1 7 ) for all 𝑥 , 𝑦 𝑋 . Then there exists a unique quadratic function 𝑄 𝑋 𝑌 such that 𝜀 𝑓 ( 𝑥 ) 𝑄 ( 𝑥 ) 2 𝑎 2 𝑎 𝑝 𝑥 𝑝 ( 3 . 1 8 ) for all 𝑥 𝑋 .

Proof. In Theorem 3.1, put 𝑗 = 1 and 𝜑 ( 𝑥 , 𝑦 ) = 𝜀 ( 𝑥 𝑝 + 𝑦 𝑞 + 𝑥 𝑟 𝑦 𝑠 ) .

Corollary 3.3. Let 𝜀 , 𝑝 , 𝑞 0 and 𝑟 , 𝑠 > 0 be real numbers such that 𝑝 , 𝑞 > 2 and 𝑟 + 𝑠 2 . Suppose that a function 𝑓 𝑋 𝑌 with 𝑓 ( 0 ) = 0 satisfies (3.17) for all 𝑥 , 𝑦 𝑋 . Then there exists a unique quadratic function 𝑄 𝑋 𝑌 such that 𝜀 𝑓 ( 𝑥 ) 𝑄 ( 𝑥 ) 2 𝑎 𝑝 𝑎 2 𝑥 𝑝 ( 3 . 1 9 ) for all 𝑥 𝑋 .

Proof. In Theorem 3.1, put 𝑗 = 1 and 𝜑 ( 𝑥 , 𝑦 ) = 𝜀 ( 𝑥 𝑝 + 𝑦 𝑞 + 𝑥 𝑟 𝑦 𝑠 ) .

Theorem 3.4. Let 𝑗 { 1 , 1 } be fixed, and let 𝜑 𝑋 × 𝑋 [ 0 , ) be a function such that 𝜑 ( 𝑥 ) = 𝑖 = ( 1 𝑗 ) / 2 1 0 𝑥 0 2 0 0 𝑑 𝑎 2 𝑖 𝑗 𝜑 𝑎 𝑖 𝑗 𝑥 , 0 < , l i m 𝑛 1 𝑎 2 𝑛 𝑗 𝜑 𝑎 𝑛 𝑗 𝑥 , 𝑎 𝑛 𝑗 𝑦 = 0 ( 3 . 2 0 ) for all 𝑥 , 𝑦 𝑋 . Suppose that 𝑓 𝑋 𝑌 be a function satisfies 𝑓 ( 𝑎 𝑥 + 𝑏 𝑦 ) + 𝑓 ( 𝑎 𝑥 𝑏 𝑦 ) 2 𝑎 2 𝑓 ( 𝑥 ) 2 𝑏 2 𝑓 ( 𝑦 ) 𝜑 ( 𝑥 , 𝑦 ) ( 3 . 2 1 ) for all 𝑥 , 𝑦 𝑋 . Furthermore, assume that 𝑓 ( 0 ) = 0 in (3.21) for the case 𝑗 = 1 . Then there exists a unique quadratic function 𝑄 𝑋 𝑌 such that 1 𝑓 ( 𝑥 ) 𝑄 ( 𝑥 ) 2 𝑎 1 + 𝑗 𝑥 𝜑 𝑎 1 𝑗 / 2 , ( 3 . 2 2 ) for all 𝑥 𝑋 .

Proof. The proof is similar to the proof of Theorem 3.1.

Acknowledgments

The authors would like to thank the referees for their valuable suggestions. Also, the second author would like to thank the office of gifted students at Semnan University for its financial support.

References

  1. S. M. Ulam, Problems in Modern Mathematics, John Wiley & Sons, New York, NY, USA, 1940.
  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, no. 4, pp. 222–224, 1941. View at Zentralblatt MATH · View at MathSciNet
  3. T. Aoki, “On the stability of the linear transformation in Banach spaces,” Journal of the Mathematical Society of Japan, vol. 2, pp. 64–66, 1950. View at Zentralblatt MATH · View at MathSciNet
  4. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. J. M. Rassias, “On approximation of approximately quadratic mappings by quadratic mappings,” Annales Mathematicae Silesianae, no. 15, pp. 67–78, 2001. View at Zentralblatt MATH · View at MathSciNet
  6. J. M. Rassias, “On approximation of approximately linear mappings by linear mappings,” Journal of Functional Analysis, vol. 46, no. 1, pp. 126–130, 1982. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. J. M. Rassias, “On approximation of approximately linear mappings by linear mappings,” Bulletin des Sciences Mathématiques, vol. 108, no. 4, pp. 445–446, 1984. View at Zentralblatt MATH · View at MathSciNet
  8. J. M. Rassias, “On a new approximation of approximately linear mappings by linear mappings,” Discussiones Mathematicae, vol. 7, pp. 193–196, 1985. View at Zentralblatt MATH · View at MathSciNet
  9. J. M. Rassias, “Solution of a problem of Ulam,” Journal of Approximation Theory, vol. 57, no. 3, pp. 268–273, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. J. M. Rassias, “Solution of a stability problem of Ulam,” Discussiones Mathematicae, vol. 12, pp. 95–103, 1992. View at Zentralblatt MATH · View at MathSciNet
  11. P. Găvruţa, “An answer to a question of John M. Rassias concerning the stability of Cauchy equation,” in Advances in Equations and Inequalities, Hadronic Mathematics, pp. 67–71, Hadronic Press, Palm Harbor, Fla, USA, 1999.
  12. Z. Gajda, “On stability of additive mappings,” International Journal of Mathematics and Mathematical Sciences, vol. 14, no. 3, pp. 431–434, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. P. Găvruţa, “A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings,” Journal of Mathematical Analysis and Applications, vol. 184, no. 3, pp. 431–436, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. K. Ravi, M. Arunkumar, and J. M. Rassias, “Ulam stability for the orthogonally general Euler-Lagrange type functional equation,” International Journal of Mathematics and Statistics, vol. 3, no. A08, pp. 36–46, 2008. View at Zentralblatt MATH · View at MathSciNet
  15. K.-W. Jun, H.-M. Kim, and J. M. Rassias, “Extended Hyers-Ulam stability for Cauchy-Jensen mappings,” Journal of Difference Equations and Applications, vol. 13, no. 12, pp. 1139–1153, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. H.-M. Kim, K.-W. Jun, and J. M. Rassias, “Extended stability problem for alternative Cauchy-Jensen mappings,” Journal of Inequalities in Pure and Applied Mathematics, vol. 8, no. 4, article 120, pp. 1–17, 2007. View at Zentralblatt MATH · View at MathSciNet
  17. C.-G. Park and J. M. Rassias, “Hyers-Ulam stability of an Euler-Lagrange type additive mapping,” International Journal of Applied Mathematics & Statistics, vol. 7, no. Fe07, pp. 112–125, 2007. View at MathSciNet
  18. J. M. Rassias, “Solution of a quadratic stability Hyers-Ulam type problem,” Ricerche di Matematica, vol. 50, no. 1, pp. 9–17, 2001. View at MathSciNet
  19. J. M. Rassias, “On the stability of a multi-dimensional Cauchy type functional equation,” in Geometry, Analysis and Mechanics, pp. 365–376, World Scientific, River Edge, NJ, USA, 1994. View at Zentralblatt MATH · View at MathSciNet
  20. J. M. Rassias, “On the stability of the Euler-Lagrange functional equation,” Chinese Journal of Mathematics, vol. 20, no. 2, pp. 185–190, 1992. View at Zentralblatt MATH · View at MathSciNet
  21. J. M. Rassias, “Refined Hyers-Ulam approximation of approximately Jensen type mappings,” Bulletin des Sciences Mathématiques, vol. 131, no. 1, pp. 89–98, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. J. M. Rassias, “Solution of a Cauchy-Jensen stability Ulam type problem,” Archivum Mathematicum, vol. 37, no. 3, pp. 161–177, 2001. View at Zentralblatt MATH · View at MathSciNet
  23. J. Aczél and J. Dhombres, Functional Equations in Several Variables, vol. 31 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, UK, 1989. View at Zentralblatt MATH · View at MathSciNet
  24. Pl. Kannappan, “Quadratic functional equation and inner product spaces,” Results in Mathematics, vol. 27, no. 3-4, pp. 368–372, 1995. View at MathSciNet
  25. F. Skof, “Proprieta' locali e approssimazione di operatori,” Rendiconti del Seminario Matemàtico e Fisico di Milano, vol. 53, no. 1, pp. 113–129, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  26. P. W. Cholewa, “Remarks on the stability of functional equations,” Aequationes Mathematicae, vol. 27, no. 1-2, pp. 76–86, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. St. Czerwik, “On the stability of the quadratic mapping in normed spaces,” Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 62, no. 1, pp. 59–64, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  28. A. Grabiec, “The generalized Hyers-Ulam stability of a class of functional equations,” Publicationes Mathematicae Debrecen, vol. 48, no. 3-4, pp. 217–235, 1996. View at MathSciNet
  29. J. R. Lee, J. S. An, and C. Park, “On the stability of quadratic functional equations,” Abstract and Applied Analysis, vol. 2008, Article ID 628178, 8 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet