Let V,W be real vector spaces. It is shown that an odd mapping
f:V→W satisfies ∑i−12nf(xi−1/2n∑j=12nxj)=∑i=12nf(xi)−2nf(1/2n∑i=12nxi) for all x1,…,x2n∈V if and only if the odd mapping f:V→W is Cauchy additive. Furthermore, we prove the generalized Hyers-Ulam stability of the above functional equation
in real Banach spaces.
1. Introduction
The stability problem of functional equations originated from a question of Ulam [1] concerning the stability of group homomorphisms. Hyers [2] gave the first affirmative partial answer to the question of Ulam for Banach spaces. Hyers' Theorem was generalized by Aoki [3] for additive mappings and by Th. M. Rassias [4] for linear mappings by considering an unbounded Cauchy difference. The paper of Th. M. Rassias [4] has provided a lot of influence in the development of what we call generalized Hyers-Ulam stability of functional equations. A generalization of Th. M. Rassias' theorem was obtained by Găvruta [5] by replacing the unbounded Cauchy difference by a general control function.
The functional equation,
f(x+y)+f(x-y)=2f(x)+2f(y),
is called a quadratic functional equation . In particular, every solution of the quadratic functional equation is said to be a quadratic mapping . A generalized Hyers-Ulam stability problem for the quadratic functional equation was proved by Skof [6] for mappings f:X→Y, where X is a normed space and Y is a Banach space. Cholewa [7] noticed that the theorem of Skof is still true if the relevant domain X is replaced by an Abelian group. The generalized Hyers-Ulam stability of the quadratic functional equation has been proved by Czerwik [8], J. M. Rassias [9], Găvruta [10], and others [11]. In [12], Th. M. Rassias proved that the norm defined over a real vector space V is induced by an inner product if and only if for a fixed integer n≥2∑i=1n∥xi-1n∑j=1nxj∥2=∑i=1n∥xi∥2-n∥1n∑i=1nxi∥2
holds for all x1,…,xn∈V. An operator extension of this norm equality is presented in [13]. For more information on the recent results on the stability of quadratic functional equation, see [14]. Inner product spaces, Cauchy equation, Euler-Lagrange-Rassias equations, and Ulam-Găvruta-Rassias stability have been studied by several authors (see [15–27]).
In [28], C. Park, Lee, and Shin proved that if an even mapping f:V→W satisfies
∑i=12nf(xi-12n∑j=12nxj)=∑i=12nf(xi)-2nf(12n∑i=12nxi),
then the even mapping f:V→W is quadratic. Moreover, they proved the generalized Hyers-Ulam stability of the quadratic functional equation (1.3) in real Banach spaces.
Throughout this paper, assume that n is a fixed positive integer, X and Y are real normed vector spaces.
In this paper, we investigate the functional equation
∑i=12nf(xi-12n∑j=12nxj)=∑i=12nf(xi)-2nf(12n∑i=12nxi),
and prove the generalized Hyers-Ulam stability of the functional equation (1.4) in real Banach spaces.
2. Functional Equations Related to Inner Product Spaces
We investigate the functional equation (1.4).
Lemma 2.1.
Let V and W be real vector spaces. An odd mapping f:V→W satisfies
∑i=12nf(xi-12n∑j=12nxj)=∑i=12nf(xi)-2nf(12n∑i=12nxi),
for all x1,…,x2n∈V if and only if the odd mapping f:V→W is Cauchy additive, that is,
f(x+y)=f(x)+f(y),
for all x,y∈V.
Proof.
Assume that f:V→W satisfies (2.1).
Letting x1=⋯=xn=x, xn+1=⋯=x2n=y in (2.1), we get
nf(x-x+y2)+nf(y-x+y2)=nf(x)+nf(y)-2nf(x+y2),
for all x,y∈V. Since f:V→W is odd,
0=nf(x)+nf(y)-2nf(x+y2),
for all x,y∈V and f(0)=0. So
2f(x+y2)=f(x)+f(y),
for all x,y∈V. Letting y=0 in (2.5), we get 2f(x/2)=f(x) for all x∈V. Thus
f(x+y)=2f(x+y2)=f(x)+f(y),
for all x,y∈V.
It is easy to prove the converse.
For a given mapping f:X→Y, we define
Df(x1,…,x2n):=∑i=12nf(xi-12n∑j=12nxj)-∑i=12nf(xi)+2nf(12n∑i=12nxi),
for all x1,…,x2n∈X.
We are going to prove the generalized Hyers-Ulam stability of the functional equation Df(x1,…,x2n)=0 in real Banach spaces.Theorem 2.2.
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) such that
φ̃(x1,…,x2n):=∑j=0∞2jφ(x12j,…,x2n2j)<∞,∥Df(x1,…,x2n)∥≤φ(x1,…,x2n),
for all x1,…,x2n∈X. Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥f(x)-f(-x)-A(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X.
Proof.
Letting x1=⋯=xn=x and xn+1=⋯=x2n=0 in (2.9), we get
∥3nf(x2)+nf(-x2)-nf(x)∥≤φ(x,…,x︸ntimes,0,…,0︸ntimes),
for all x∈X. Replacing x by -x in (2.11), we get
∥3nf(-x2)+nf(x2)-nf(-x)∥≤φ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X. Let g(x):=f(x)-f(-x) for all x∈X. It follows from (2.11) and (2.12) that
∥2ng(x2)-ng(x)∥≤φ(x,…,x︸ntimes,0,…,0︸ntimes)+φ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X. So
∥g(x)-2g(x2)∥≤1nφ(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X. Hence
∥2lg(x2l)-2mg(x2m)∥≤∑j=lm-12jnφ(x2j,…,x2j︸ntimes,0,…,0︸ntimes)+∑j=lm-12jnφ(-x2j,…,-x2j︸ntimes,0,…,0︸ntimes),
for all nonnegative integers m and l with m>l and all x∈X. It follows from (2.8) and (2.15) that the sequence {2kg(x/2k)} is Cauchy for all x∈X. Since Y is complete, the sequence {2kg(x/2k)} converges. So one can define the mapping A:X→Y by
A(x):=limk→∞2kg(x2k),
for all x∈X.
By (2.8) and (2.9),
∥DA(x1,…,x2n)∥=limk→∞2k∥Dg(x12k,…,x2n2k)∥≤limk→∞2k[φ(x12k,…,x2n2k)+φ(-x12k,…,-x2n2k)]=0,
for all x1,…,x2n∈X. So DA(x1,…,x2n)=0. By Lemma 2.1, the mapping A:X→Y is Cauchy additive. Moreover, letting l=0 and passing the limit m→∞ in (2.15), we get (2.10). So there exists a Cauchy additive mapping A:X→Y satisfying (2.1) and (2.10).
Now, let L:X→Y be another Cauchy additive mapping satisfying (2.1) and (2.10). Then we have
∥A(x)-L(x)∥=2q∥A(x2q)-L(x2q)∥≤2q(∥A(x2q)-f(x2q)+f(-x2q)∥+∥L(x2q)-f(x2q)+f(-x2q)∥)≤2·2qnφ̃(x2q,…,x2q︸ntimes,0,…,0︸ntimes)+2·2qnφ̃(-x2q,…,-x2q︸ntimes,0,…,0︸ntimes),
which tends to zero as q→∞ for all x∈X. So we can conclude that A(x)=L(x) for all x∈X. This proves the uniqueness of A.
Corollary 2.3.
Let p>1 and θ be positive real numbers, and let f:X→Y be a mapping such that
∥Df(x1,…,x2n)∥≤θ∑j=12n∥xj∥p,
for all x1,…,x2n∈X. Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥f(x)-f(-x)-A(x)∥≤2p+1θ2p-2∥x∥p,
for all x∈X.
Proof.
Define φ(x1,…,x2n)=θ∑j=12n∥xj∥p, and apply Theorem 2.2 to get the desired result.
Corollary 2.4.
Let f:X→Y be an odd mapping for which there exists a function φ:X2n→[0,∞) satisfying (2.8) and (2.9). Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥2f(x)-A(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
or (alternative approximation)
∥f(x)-A(x)∥≤12nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+12nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X, where φ̃ is defined in (2.8).
Theorem 2.5.
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) satisfying (2.9) such that
φ̃(x1,…,x2n):=∑j=1∞2-jφ(2jx1,…,2jx2n)<∞,
for all x1,…,x2n∈X. Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥f(x)-f(-x)-A(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X.
Proof.
It follows from (2.13) that
∥g(x)-12g(2x)∥≤12nφ(2x,…,2x︸ntimes,0,…,0︸ntimes)+12nφ(-2x,…,-2x︸ntimes,0,…,0︸ntimes),
for all x∈X. So
∥12lg(2lx)-12mg(2mx)∥≤∑j=l+1m12jnφ(2jx,…,2jx︸ntimes,0,…,0︸ntimes)+∑j=l+1m12jnφ(-2jx,…,-2jx︸ntimes,0,…,0︸ntimes),
for all nonnegative integers m and l with m>l and all x∈X. It follows from (2.23) and (2.26) that the sequence {(1/2k)g(2kx)} is Cauchy for all x∈X. Since Y is complete, the sequence {(1/2k)g(2kx)} converges. So one can define the mapping A:X→Y by
A(x):=limk→∞12kg(2kx),
for all x∈X.
By (2.9) and (2.23),
∥DA(x1,…,x2n)∥=limk→∞12k∥Dg(2kx1,…,2kx2n)∥≤limk→∞12k(φ(2kx1,…,2kx2n)+φ(-2kx1,…,-2kx2n))=0,
for all x1,…,x2n∈X. So DA(x1,…,x2n)=0. By Lemma 2.1, the mapping A:X→Y is Cauchy additive. Moreover, letting l=0 and passing the limit m→∞ in (2.26), we get (2.24). So there exists a Cauchy additive mapping A:X→Y satisfying (2.1) and (2.24).
The rest of the proof is similar to the proof of Theorem 2.2.
Corollary 2.6.
Let p<1 and θ be positive real numbers, and let f:X→Y be a mapping satisfying (2.19). Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥f(x)-f(-x)-A(x)∥≤2p+1θ2-2p∥x∥p,
for all x∈X.
Proof.
Define φ(x1,…,x2n)=θ∑j=12n∥xj∥p, and apply Theorem 2.5 to get the desired result.
Corollary 2.7.
Let f:X→Y be an odd mapping for which there exists a function φ:X2n→[0,∞) satisfying (2.9) and (2.23). Then there exists a unique Cauchy additive mapping A:X→Y satisfying (2.1) such that
∥2f(x)-A(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
or (alternative approximation),
∥f(x)-A(x)∥≤12nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+12nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X, where φ̃ is defined in (2.23).
The following was proved in [28].Remark 2.8 ([28]).
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) satisfying (2.9) such that
Φ(x1,…,x2n):=∑j=0∞4jφ(x12j,…,x2n2j)<∞,
for all x1,…,x2n∈X. Then there exists a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥f(x)+f(-x)-Q(x)∥≤1nΦ(x,…,x︸ntimes,0,…,0︸ntimes)+1nΦ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X.
Note that
∑j=0∞2jφ(x12j,…,x2n2j)≤∑j=0∞4jφ(x12j,…,x2n2j).
Combining Theorem 2.2 and Remark 2.8, we obtain the following result.Theorem 2.9.
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) satisfying (2.9) and (2.32). Then there exist a unique Cauchy additive mapping A:X→Y satisfying (2.1) and a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥2f(x)-A(x)-Q(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes)+1nΦ(x,…,x︸ntimes,0,…,0︸ntimes)+1nΦ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X, where φ̃ and Φ are defined in (2.8) and (2.32), respectively.
Corollary 2.10.
Let p>2 and θ be positive real numbers, and let f:X→Y be a mapping satisfying (2.19). Then there exist a unique Cauchy additive mapping A:X→Y satisfying (2.1) and a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥2f(x)-A(x)-Q(x)∥≤(2p+12p-2+2p+12p-4)θ∥x∥p,
for all x∈X.
Proof.
Define φ(x1,…,x2n)=θ∑j=12n∥xj∥p, and apply Theorem 2.9 to get the desired result.
The following was proved in [28].Remark 2.11 (see [28]).
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) satisfying (2.9) such that
Φ(x1,…,x2n):=∑j=1∞4-jφ(2jx1,…,2jx2n)<∞,
for all x1,…,x2n∈X. Then there exists a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥f(x)+f(-x)-Q(x)∥≤1nΦ(x,…,x︸ntimes,0,…,0︸ntimes)+1nΦ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X.
Note that
∑j=1∞4-jφ(2jx1,…,2jx2n)≤∑j=1∞2-jφ(2jx1,…,2jx2n).
Combining Theorem 2.5 and Remark 2.11, we obtain the following result.Theorem 2.12.
Let f:X→Y be a mapping satisfying f(0)=0 for which there exists a function φ:X2n→[0,∞) satisfying (2.9) and (2.23). Then there exist a unique Cauchy additive mapping A:X→Y satisfying (2.1) and a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥2f(x)-A(x)-Q(x)∥≤1nφ̃(x,…,x︸ntimes,0,…,0︸ntimes)+1nφ̃(-x,…,-x︸ntimes,0,…,0︸ntimes)+1nΦ(x,…,x︸ntimes,0,…,0︸ntimes)+1nΦ(-x,…,-x︸ntimes,0,…,0︸ntimes),
for all x∈X, where φ̃ and Φ are defined in (2.23) and (2.37), respectively.
Corollary 2.13.
Let p<1 and θ be positive real numbers, and let f:X→Y be a mapping satisfying (2.19). Then there exist a unique Cauchy additive mapping A:X→Y satisfying (2.1) and a unique quadratic mapping Q:X→Y satisfying (2.1) such that
∥2f(x)-A(x)-Q(x)∥≤(2p+12-2p+2p+14-2p)θ∥x∥p,
for all x∈X.
Proof.
Define φ(x1,…,x2n)=θ∑j=12n∥xj∥p, and apply Theorem 2.12 to get the desired result.
Acknowledgment
The first author was supported by National Research Foundation of Korea (NRF-2009-0070788).
UlamS. M.1960New York, NY, USAJohn Wiley & SonsHyersD. H.On the stability of the linear functional equation194127222224MR0004076ZBL0061.26403AokiT.On the stability of the linear transformation in Banach spaces195026466MR0040580ZBL0040.35501RassiasTh. M.On the stability of the linear mapping in Banach spaces1978722297300MR50732710.2307/2042795ZBL0398.47040GăvrutaP.A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings19941843431436MR128151810.1006/jmaa.1994.1211ZBL0818.46043SkofF.Proprietà locali e approssimazione di operatori198353113129CholewaP. W.Remarks on the stability of functional equations1984271-27686MR75886010.1007/BF02192660ZBL0549.39006CzerwikS.On the stability of the quadratic mapping in normed spaces1992625964MR118284110.1007/BF02941618ZBL0779.39003RassiasJ. M.On the stability of the Euler-Lagrange functional equation1992202185190MR1167074ZBL0789.46036GăvrutaP.On the Hyers-Ulam-Rassias stability of the quadratic mappings200493415428MR2101189ZBL1066.39029HyersD. H.IsacG.RassiasTh. M.199834Boston, Mass, USABirkhäuservi+313Progress in Nonlinear Differential Equations and Their ApplicationsMR1639801RassiasTh. M.New characterizations of inner product spaces198410819599MR751663ZBL0544.46016MoslehianM. S.ZhangF.An operator equality involving a continuous field of operators and its norm inequalities20084298-921592167MR244664910.1016/j.laa.2008.06.010ZBL1156.47021MoslehianM. S.moslehian@ferdowsi.um.ac.irNikodemK.knikodem@ath.bielsko.plPopaD.Popa.Dorian@math.utcluj.roAsymptotic aspect of the quadratic functional equation in multi-normed spaces20093552717724EID2-s2.0-004048686610.1016/j.jmaa.2009.02.017BouikhaleneB.ElqorachiE.Ulam-Găvruta-Rassias stability of the Pexider functional equation200772739MR2339507GăvrutaP.An answer to a question of John M. Rassias concerning the stability of Cauchy
equation1999Palm Harbor, Fla, USAHadronic Press6771Hardronic Mathical SeriesGăvrutaP.HossuM.PopescuD.CăprăuC.On the stability of mappings and an answer to a problem of Th. M. Rassias1995225560MR1371892ZBL0853.46036JunK.-W.KimH.-M.RassiasJ. M.Extended Hyers-Ulam stability for Cauchy-Jensen mappings2007131211391153MR236495710.1080/10236190701464590ZBL1135.39013JunK.-W.RohJ.On the stability of Cauchy additive mappings2008153391402MR2457956ZBL1156.39018KobalD.SemrlP.Generalized Cauchy functional equation and characterizations of inner product spaces1992432-3183190MR115872610.1007/BF01835700ZBL0755.39007LeeY.-S.ChungS.-Y.Stability of an Euler-Lagrange-Rassias equation in the spaces of generalized functions2008217694700MR2423047ZBL1152.39318NakmahachalasintP.On the generalized Ulam-Găvruta-Rassias stability of mixed-type linear and Euler-Lagrange-Rassias functional equations200720071063239MR2320774ZBL1148.39026ParkC.-G.Stability of an Euler-Lagrange-Rassias type additive mapping20077101111MR2339513PietrzykA.Stability of the Euler-Lagrange-Rassias functional equation2006393523530MR2262001ZBL1113.39034ParkC.-G.RassiasJ. M.Hyers-Ulam stability of an Euler-Lagrange type additive mapping20077112125MR2339514RaviK.ArunkumarM.RassiasJ. M.Ulam stability for the orthogonally general Euler-Lagrange type functional equation20083A083646MR2393553RaviK.ArunkumarM.On the Ulam-Găvruta-Rassias stability of the orthogonally Euler-Lagrange type functional equation20077143156MR2339517ParkC.LeeJ.ShinD.Quadratic mappings associated with inner product spacespreprint