Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
StabilityofthePexiderfunctionalequation
9
LetVbeasymmetric,bounded,andideallyconvexsubsetofaBanachspace
E(thesymmetrymeansV=V).Forfjgjh:SEwesuppose
(2)
f(xg)g(x)h(g)Vj
xjgS.
ThenthereareFjGjH:SEsatisfyingthePexiderequation
(3)
F(xg)=G(x)+H(g)j
xjgSj
aswellastheconditions
(4)
(5)
F(x)f(x)3Vj
G(x)g(x)4Vj
H(x)h(x)4Vj
xS.
Proof.Withg=nandwithx=nin(2)weget
f(x)g(x)h(n)Vj
f(g)g(n)h(g)Vj
hencef(x)g(x)+h(n)+V,f(g)h(g)+g(n)+V,thus
f(xg)f(x)f(g)+g(n)+h(n)f(xg)g(x)h(g)+V+V
V+V+V=3Vj
thelastequalitybeingtrue,sinceVisconvex.For
(6)
thismeans
f(x):=f(x)g(n)h(n)j
˜
xSj
f(xg)˜
˜
f(x)˜
f(g)3Vj
xjgSj
andbyTheorem1thereisafunctionΦ:SEsuchthat
Φ(xg)=Φ(x)+Φ(g)j
Φ(x)˜
f(x)3Vj
xjgS.
NowitiseasilyseenthatforF(x):=Φ(x)+g(n)+h(n),G(x):=Φ(x)+
g(n),H(x):=Φ(x)+h(n),xS,weget(3)and(4):
(3)isobvious;F(x)f(x)3Vfollowsfrom(6)andΦ(x)˜
f(x)3V;
theremainingformulaein(4)areconsequencesof(5),(6),andΦ(x)˜
f(x)
3V.
I