http://jipam.vu.edu.au/
Volume 5, Issue 3, Article 52, 2004
THE ULAM STABILITY PROBLEM IN APPROXIMATION OF APPROXIMATELY QUADRATIC MAPPINGS BY QUADRATIC MAPPINGS
JOHN MICHAEL RASSIAS PEDAGOGICALDEPARTMENT, E. E.,
NATIONAL ANDCAPODISTRIANUNIVERSITY OFATHENS, SECTION OFMATHEMATICS ANDINFORMATICS,
4, AGAMEMNONOSSTR., AGHIAPARASKEVI, ATHENS15342, GREECE.
URL:http://www.primedu.uoa.gr/ jrassias/
Received 23 September, 2003; accepted 29 November, 2003 Communicated by D. Bainov
ABSTRACT. S.M. Ulam, 1940, proposed the well-known Ulam stability problem and in 1941, the problem for linear mappings was solved by D.H. Hyers. D.G. Bourgin, 1951, also investi- gated the Ulam problem for additive mappings. P.M. Gruber, claimed, in 1978, that this kind of stability problem is of particular interest in probability theory and in the case of functional equations of different types. F. Skof, in 1981, was the first author to solve the Ulam problem for quadratic mappings. During the years 1982-1998, the author established the Hyers-Ulam stability for the Ulam problem for different mappings. In this paper we solve the Ulam stability problem by establishing an approximation of approximately quadratic mappings by quadratic mappings. Today there are applications in actuarial and financial mathematics, sociology and psychology, as well as in algebra and geometry.
Key words and phrases: Ulam problem, Ulam type problem, General Ulam problem, Quadratic mapping, Approximately quadratic mapping, Square of the quadratic weighted mean.
2000 Mathematics Subject Classification. 39B.
1. INTRODUCTION
S.M. Ulam [24] proposed the general Ulam stability problem: "When is it true that by slightly changing the hypotheses of a theorem one can still assert that the thesis of the theorem re- mains true or approximately true?" D.H. Hyers [13] solved this problem for linear mappings.
D.G. Bourgin [3] also investigated the Ulam problem for additive mappings. P.M. Gruber [12]
claimed that this kind of stability problem is of particular interest in probability theory and in the case of functional equations of different types. Th.M. Rassias [20] employed Hyers’ ideas to new additive mappings, and later I. Fenyö ([7], [8]) established the stability of the Ulam prob- lem for quadratic and other mappings. Z. Gajda and R. Ger [10] showed that one can obtain
ISSN (electronic): 1443-5756
c 2004 Victoria University. All rights reserved.
165-03
analogous stability results for subadditive multifunctions. Other interesting stability results have been achieved also by the following authors: J. Aczél [1], C. Borelli and G.L. Forti ([2], [9]), P.W. Cholewa [4], St. Czerwik [5], H. Drljevic [6] and L. Paganoni [14]. F. Skof ([21] – [23]) was the first author to solve the Ulam problem for quadratic mappings. We ([15] – [19]) solved the above Ulam problem for different mappings. P. Gˇavru¸tˇa [11] answered a question of ours [17] concerning the stability of the Cauchy equation. Today there are applications in actuarial and financial mathematics, sociology and psychology, as well as in algebra and geometry.
In this paper we introduce the following quadratic functional equation (∗) Q(a1x1+a2x2) +Q(a2x1−a1x2) = a21+a22
[Q(x1) +Q(x2)]
with quadratic mappingsQ:X →Y such thatXandY are real linear spaces.
Denote
Kr =Kr(kx1k,kx2k)
=
2r−1(kx1kr+kx2kr)−(kx1+x2kr+kx1−x2kr)
=
2r−1(kx1kr+kx2kr)−(kx1+x2kr+kx1−x2kr), ifr >2 kx1+x2kr+kx1−x2kr−2r−1(kx1kr+kx2kr), if1< r <2,
for every(x1, x2)∈X2, whereX is a normed linear space. Note thatKr≥0for any fixed real r: 1< r6= 2.Note also that
Kr =Kr(kxk,kxk) = 0, Kr(|a1| kxk,|a2| kxk) = β1kxkr, Kr m−1|a1| kxk, m−1|a2| kxk
=β1m−rkxkr, Kr(kxk,0) = β2kxkr and Kr m−1kxk,0
=β3kxkr, where
β1 =Kr(|a1|,|a2|)
=
2r−1(|a1|r+|a2|r)−(|a1+a2|r+|a1−a2|r)
=
2r−1(|a1|r+|a2|r)−(|a1+a2|r+|a1−a2|r), ifr >2
|a1+a2|r+|a1−a2|r−2r−1(|a1|r+|a2|r), if1< r <2,
β2 =Kr(1,0) =
2r−1−2 =
2r−1−2, ifr >2 2−2r−1, if1< r <2, β3 =Kr m−1,0
=β2m−r, Note thata1 6=a2, and16=m=a21+a22 >0.
IfXandY are normed linear spaces andY complete, then we establish an approximation of approximately quadratic mappingsf : X → Y by quadratic mappingsQ :X → Y, such that the corresponding approximately quadratic functional inequality
(∗∗)
f(a1x1+a2x2) +f(a2x1−a1x2)− a21+a22
[f(x1) +f(x2)]
≤cKr(kx1k,kx2k)
holds with a constant c ≥ 0 (independent of x1,x2 ∈ X), and any fixed pair a = (a1, a2) ∈ R2− {(0,0)}and any fixed realr >1 :
I1 ={(r, m)∈R2 : 1< r <2, m >1 and r >2,0< m <1},or I2 ={(r, m)∈R2 : 1< r <2,0< m <1 and r >2, m >1},
hold, where16=m =a21+a22 =|a|2 >0anda1 6=a2. Note thatmr−2 <1if(r, m)∈I1, and m2−r<1if(r, m)∈I2.
It is useful for the following, to observe that, from (∗) withx1 =x2 = 0, and0< m6= 1we get
2(m−1)Q(0) = 0, or
(1.1) Q(0) = 0.
Definition 1.1. LetXandY be real linear spaces. Leta= (a1, a2)∈R2− {(0,0)}: 0< m= a21+a22 6= 1anda1 6=a2. Then a mappingQ :X →Y is called quadratic with respect toa, if (∗) holds for every vector(x1, x2)∈X2.
Definition 1.2. LetXandY be real linear spaces. Leta= (a1, a2)∈R2− {(0,0)}: 0< m= a21 +a22 6= 1and a1 6= a2. Then a mappingQ¯ : X → Y is called the square of the quadratic weighted mean ofQwith respect toa = (a1, a2), if
(1.2) Q(x) =¯
Q(a1x)+Q(a2x)
a21+a22 , if (r, m=a21+a22)∈I1 (a21+a22)
h Q
a1
a21+a22x
+Q a2
a21+a22x i
, if (r, m=a21+a22)∈I2
for allx∈X.
For every x ∈ R set Q(x) = x2. Then the mapping Q¯ : R → R is quadratic, such that Q¯(x) = x2. Denoting by
q
x2w the quadratic weighted mean, we note that the above- mentioned mappingQis an analogous case to the square of the quadratic weighted mean em- ployed in mathematical statistics: x2w = a21xa212+a22x22
1+a22 with weightsw1 = a21 and w2 = a22, data x1 =x2 =x, andQ(aix) = (aix)2,(i= 1,2).
Now, claim that forn ∈N0 ={0,1,2, . . .}that
(1.3) Q(x) =
( m−2nQ(mnx), if (r, m)∈I1 m2nQ(m−nx), if (r, m)∈I2, for allx∈Xandn ∈N0.
Forn = 0, it is trivial. From (1.1), (1.2) and (∗), withxi =aix (i= 1,2), we obtain Q(mx) = m[Q(a1x) +Q(a2x)],
or
(1.4) Q(x) =¯ m−2Q(mx),
ifI1 holds. Besides from (1.1), (1.2) and (∗), withx1 =x,x2 = 0, we get Q(a1x) +Q(a2x) = mQ(x),
or
(1.5) Q(x) =¯ Q(x),
ifI1 holds. Therefore from (1.4) and (1.5) we have
(1.6) Q(x) = m−2Q(mx),
which is (1.3) for n = 1, if I1 holds. Similarly, from (1.1), (1.2) and (∗), with xi = amix (i= 1,2), we obtain
(1.7) Q(x) = ¯Q(x)
ifI2 holds. Besides from (1.1), (1.2) and (∗), withx1 = mx,x2 = 0,we get Q
a1
mx
+Q a2
mx
=mQ(m−1x), or
(1.8) Q(x) =¯ m2Q(m−1x)
ifI2 holds. Therefore from (1.7) and (1.8) we have
(1.9) Q(x) =m2Q(m−1x),
which is (1.3) forn= 1, ifI2 holds.
Assume (1.3) is true and from (1.6), withmnxin place ofx, we get:
(1.10) Q mn+1x
=m2Q(mnx) = m2(mn)2Q(x) = mn+12
Q(x).
Similarly, withm−nxin place ofx, we get:
(1.11) Q m−(n+1)x
=m−2Q(m−nx) =m−2(m−n)2Q(x) = m−(n+1)2
Q(x).
These formulas (1.10) and (1.11) by induction, prove formula (1.3).
2. QUADRATICFUNCTIONAL STABILITY
Theorem 2.1. Let X and Y be normed linear spaces. Assume that Y is complete. Assume in addition that mapping f : X → Y satisfies the functional inequality (∗∗). Define I1 = {(r, m)∈R2 : 1< r <2, m >1, orr > 2, 0< m <1}, andI2 ={(r, m)∈R2 : 1< r <2, 0 < m < 1, orr > 2, m > 1}for any fixed paira = (a1, a2)of realsai 6= 0 (i = 1,2)and any fixed realr >1 : 1 6=m =a21+a22 =|a|2 >0,a1 6=a2. Besides define
0< β1 =Kr(|a1|,|a2|)
=
2r−1(|a1|r+|a2|r)−(|a1+a2|r+|a1 −a2|r)
=
2r−1(|a1|r+|a2|r)−(|a1+a2|r+|a1−a2|r), ifr >2
|a1+a2|r+|a1−a2|r−2r−1(|a1|r+|a2|r), if1< r <2, β2 =Kr(1,0) =|2r−1−2|, andσ =β1+mβ2 >0. Also define
fn(x) =
m−2nf(mnx), if(r, m)∈I1 m2nf(m−nx), if(r, m)∈I2 for allx∈Xandn∈N0 ={0,1,2, . . .}.
Then the limit
(2.1) Q(x) = lim
n→∞fn(x)
exists for all x ∈ X and Q : X → Y is the unique quadratic mapping with respect to a = (a1, a2), such that
kf(x)−Q(x)k ≤ σc
|m2−mr|kxkr (2.2)
=kxkr
σc/(m2−mr), if(r, m)∈I1 σc/(mr−m2), if(r, m)∈I2 holds for allx∈X andn∈N0 andc≥0(constant independent ofx∈X).
Existence.
Proof. It is useful for the following, to observe that, from (∗∗) withx1 =x2 = 0and0< m 6=
1, we get
2|m−1| kf(0)k ≤0, or
(2.3) f(0) = 0.
Now claim that forn∈N0
kf(x)−fn(x)k ≤ σc
|m2−mr| 1−mn|r−2|
kxkr (2.4)
=kxkr
σc
m2−mr 1−mn(r−2)
, if (r, m)∈I1 :mr−2 <1
σc
mr−m2 1−mn(2−r)
, if (r, m)∈I2 :m2−r <1.
Forn = 0,it is trivial.
Define f¯ : X → Y, the square of the quadratic weighted mean of f with respect to a = (a1, a2)by replacingQ,Q¯ of (1.2) withf,f, respectively, as follows:¯
(2.5) f¯(x) =
f(a1x)+f(a2x)
a21+a22 , if(r, m=a21 +a22 =|a|2)∈I1
(a21+a22) h
f a1
a21+a22x
+f a2
a21+a22x i
, if(r, m=a21 +a22 =|a|2)∈I2
for allx∈X.
From (2.3), (2.5) and (∗∗), withxi =aix(i= 1,2), we obtain kf(mx)−m[f(a1x)+f(a2x)]k ≤σckxkr, or
(2.6)
m−2f(mx)−f¯(x)
≤ β1c m2 kxkr,
ifI1 holds. Besides from (2.3), (2.5) and (∗∗), withx1 =x,x2 = 0, we get kf(a1x)+f(a2x)−mf(x)k ≤cKr(kxk,0) = β2ckxkr, or
(2.7)
f¯(x)−f(x) ≤ β2c
m kxkr, ifI1 holds. Therefore from (2.6) and (2.7) we have
(2.8)
f(x)−m−2f(mx) ≤ σc
m2 kxkr = σc
m2−mr 1−mr−2 kxkr, which is (2.4) forn= 1, ifI1 holds.
Similarly, from (2.3), (2.5) and (∗∗), withxi = amix(i= 1,2), we obtain
(2.9)
f(x)−f¯(x) ≤ β1c
mr kxkr,
ifI2 holds. Besides from (2.3), (2.5) and (∗∗), withx1 = mx,x2 = 0, we get
fa1
mx
+fa2 mx
−mf(m−1x)
≤cKr m−1kxk,0
=β3ckxkr, or
(2.10)
f¯(x)−m2f(m−1x)
≤mβ3ckxkr = mβ2c mr kxkr, ifI2 holds. Therefore from (2.9) and (2.10) we have
(2.11)
f(x)−m2f(m−1x) ≤ σc
mr kxkr= σc
mr−m2 1−m2−r kxkr, which is (2.4) forn= 1, ifI2 holds.
Assume (2.4) is true if (r, m) ∈ I1. From (2.8), withmnx in place of x, and the triangle inequality, we have
kf(x)−fn+1(x)k (2.12)
=
f(x)−m−2(n+1)f mn+1x
≤
f(x)−m−2nf(mnx) +
m−2nf(mnx)−m−2(n+1)f mn+1x
≤ σc m2 −mr
1−mn(r−2)
+m−2n 1−mr−2 mnr
kxkr
= σc
m2−mr 1−m(n+1)(r−2) kxkr, ifI1 holds.
Similarly assume (2.4) is true if(r, m) ∈I2. From (2.11), withm−nxin place ofx, and the triangle inequality, we have
kf(x)−fn+1(x)k (2.13)
=
f(x)−m2(n+1)f m−(n+1)x
≤
f(x)−m2nf m−nx +
m2nf(m−nx)−m2(n+1)f m−(n+1)x
≤ σc mr−m2
(1−mn(2−r))+m2n(1−m2−r)m−nr kxkr
= σc
mr−m2 1−m(n+1)(2−r) kxkr, ifI2 holds.
Therefore inequalities (2.12) and (2.13) prove inequality (2.4) for anyn∈N0.
Claim now that the sequence {fn(x)} converges. To do this it suffices to prove that it is a Cauchy sequence. Inequality (2.4) is involved if (r, m) ∈ I1. In fact , if i > j > 0, and h1 =mjx, we have:
kfi(x)−fj(x)k=
m−2if(mix)−m−2jf(mjx) (2.14)
=m−2j
m−2(i−j)f mi−jh1
−f(h1)
≤m−2j σc
m2−mr 1−m(i−j)(r−2) kxkr
< σc
m2−mrm−2jkxkr −−−→
j→∞ 0, ifI1 holds:mr−2 <1.
Similarly, ifh2 =m−jxinI2, we have:
kfi(x)−fj(x)k=
m2if(m−ix)−m2jf(m−jx) (2.15)
=m2j
m2(i−j)f m−(i−j)h2
−f(h2)
≤m2j σc
mr−m2 1−m(i−j)(2−r) kxkr
< σc
mr−m2m2jkxkr −−−→
j→∞ 0, ifI2 holds:m2−r <1.
Then inequalities (2.14) and (2.15) define a mappingQ:X →Y, given by (2.1).
Claim that from (∗∗) and (2.1) we can get (∗), or equivalently that the afore-mentioned well- defined mappingQ:X →Y is quadratic.
In fact, it is clear from the functional inequality (∗∗) and the limit (2.1) for(r, m)∈ I1 that the following functional inequality
m−2nkf(a1mnx1 +a2mnx2) +f(a2mnx1−a1mnx2)−(a21+a22) [f(mnx1) +f(mnx2)]
≤m−2ncKr(mnkx1k, mnkx2k), holds for all vectors (x1, x2) ∈ X2, and all n ∈ N with fn(x) = m−2nf(mnx) : I1 holds.
Therefore lim
n→∞fn(a1x1+a2x2) + lim
n→∞fn(a2x1−a1x2)−(a21+a22)h
n→∞lim fn(x1) + lim
n→∞fn(x2)i
≤
n→∞lim mn(r−2)
cKr(kx1k,kx2k) = 0, becausemr−2 <1or
(2.16)
Q(a1x1+a2x2)+Q(a2x1−a1x2)− a21+a22
[Q(x1)+Q(x2)]
= 0, or mappingQsatisfies the quadratic equation (∗).
Similarly, from (∗∗) and (2.1) for(r, m)∈I2we get that m2n
f(a1m−nx1 +a2m−nx2)+f(a2m−nx1−a1m−nx2)
−(a21+a22)
f(m−nx1)+f(m−nx2)
≤m2ncKr m−nkx1k, m−nkx2k , holds for all vectors(x1, x2)∈X2, and alln∈Nwithfn(x) =m2nf(m−nx) :I2holds. Thus
lim
n→∞fn(a1x1+a2x2)+ lim
n→∞fn(a2x1−a1x2)−(a21+a22) h
n→∞lim fn(x1)+ lim
n→∞fn(x2)i
≤
n→∞lim mn(2−r)
cKr(kx1k,kx2k) = 0, becausem2−r <1, or (2.16) holds or mappingQsatisfies (∗).
Therefore (2.16) holds ifIj (j = 1,2)hold or mappingQsatisfies (∗), completing the proof thatQis a quadratic mapping inX.
It is now clear from (2.4) withn → ∞, as well as formula (2.1) that (2.2) holds inX. This
completes the existence proof of the above Theorem 2.1.
Uniqueness
LetQ0 :X →Y be a quadratic mapping satisfying (2.2), as well asQ. ThenQ0 =Q.
Proof. Remember bothQandQ0 satisfy (1.3) for(r, m) ∈ I1, too. Then for everyx ∈ Xand n∈N,
kQ(x)−Q0(x)k=
m−2nQ(mnx)−m−2nQ0(mnx) (2.17)
≤m−2n{kQ(mnx)−f(mnx)k+kQ0(mnx)−f(mnx)k}
≤m−2n 2σc
m2−mr kmnxkr
=mn(r−2) 2σc
m2−mr kxkr →0, asn→ ∞, ifI1 holds:mr−2 <1.
Similarly for(r, m)∈I2, we establish kQ(x)−Q0(x)k=
m2nQ(m−nx)−m2nQ0(m−nx) (2.18)
≤m2n
Q(m−nx)−f(m−nx) +
Q0(m−nx)−f(m−nx)
≤m2n 2σc mr−m2
m−nx
r
=mn(2−r) 2σc
mr−m2 kxkr →0, asn → ∞, ifI2 holds:m2−r <1.
Thus from (2.17), and (2.18) we findQ(x) =Q0(x)for allx∈X.
This completes the proof of the uniqueness and stability of equation (∗).
Open Problem. What is the situation in the above Theorem 2.1 in caser = 2?
REFERENCES
[1] J. ACZÉL, Lectures on Functional Equations and Their Applications, Academic Press, New York and London, 1966.
[2] C. BORELLIANDG.L. FORTI, On a general Hyers-Ulam stability result, Internat. J. Math. Math.
Sci., 18 (1995), 229–236.
[3] D.G. BOURGIN, Classes of transformations and bordering transformations, Bull. Amer. Math. Soc., 57 (1951),223-237 .
[4] P.W. CHOLEWA, Remarks on the stability of functional equations, Aequationes Math., 27 (1984), 76–86.
[5] ST. CZERWIK, On the stability of the quadratic mapping in normed spaces , Abh. Math. Sem. Univ.
Hamburg, 62 (1992), 59–64 .
[6] H. DRLJEVIC, On the stability of the functional quadratic on A-orthogonal vectors, Publ. Inst.
Math. (Beograd) (N.S.), 36(50) (1984), 111–118.
[7] I. FENYÖ, Osservazioni su alcuni teoremi di D.H. Hyers, Istit. Lombardo Accad. Sci. Lett. Rend., A 114 (1980), 235–242 (1982).
[8] I. FENYÖ, On an inequality of P.W. Cholewa, in General Inequalities, 5. [Internat. Schriftenreihe Numer. Math., Vol. 80]. Birkhauser, Basel-Boston, MA, 1987, pp. 277–280.
[9] G.L. FORTI, Hyers-Ulam stability of functional equations in several variables, Aequationes Math- ematicae, 50 (1995), 143–190 .
[10] Z. GAJDAANDR. GER, Subadditive multifunctions and Hyers-Ulam stability, in General inequal- ities, 5. [Internat. Schriftenreihe Numer. Math., Vol. 80]. Birkhauser, Basel-Boston, MA, 1987.
[11] P. GAVRUTA, An answer to a question of John M. Rassias concerning the stability of Cauchy equation, in Advances in Equations and Inequalities, Hadronic Math. Series, U.S.A , 1999, pp.
67–71.
[12] M. GRUBER, Stability of isometries, Trans. Amer. Math. Soc., U.S.A., 245 (1978), 263–277.
[13] D.H. HYERS, On the stability of the linear functional equation, Proc. Nat. Acad. Sci., 27 (1941), 222–224; The stability of homomorphisms and related topics, "Global Analysis-Analysis on Man- ifolds", Teubner - Texte zur Mathematik, 57 (1983), 140–153.
[14] L. PAGANONI, Soluzione di una equazione funzionale su dominio ristretto, Boll. Un. Mat. Ital., (5) 17-B (1980), 979–993.
[15] J.M. RASSIAS, On approximation of approximately linear mappings by linear mappings, J. Funct.
Anal., 46 (1982), 126–130.
[16] J.M. RASSIAS, On approximation of approximately linear mappings by linear mappings, Bull. Sc.
Math., 108 (1984), 445–446.
[17] J.M. RASSIAS, Solution of a problem of Ulam, J. Approx. Th., 57 (1989), 268–273.
[18] J.M. RASSIAS, On the stability of the general Euler-Lagrange functional equation, Demonstr.
Math., 29 (1996), 755–766.
[19] J.M. RASSIAS, Solution of the Ulam stability problem for Euler-Lagrange quadratic mappings, J.
Math. Anal. & Applics., 220(1998), 613–639 .
[20] TH.M. RASSIAS, On the stability of linear mappings in Banach spaces, Proc. Amer. Math. Soc.,72 (1978), 297–300.
[21] F. SKOF, Proprieta locali e approssimazione di operatori. In Geometry of Banach spaces and related topics (Milan, 1983). Rend. Sem. Mat. Fis. Milano, 53 (1983), 113–129 (1986).
[22] F. SKOF, Approssimazione di funzioniδ-quadratiche su dominio ristretto, Atti Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur., 118 (1984), 58–70.
[23] F. SKOF, On approximately quadratic functions on a restricted domain, in Report of the third In- ternational Symposium of Functional Equations and Inequalities, 1986. Publ. Math. Debrecen, 38 (1991), 14.
[24] S.M. ULAM, A Collection of Mathematical Problems, Interscience Publishers, Inc., New York, 1968, p. 63.