VOL. 19 NO. 2 (1996) 219-228
STABILITY OFqJ-ADDITIVEMAPPINGS:
APPLICATIONS
TONONLINEAR ANALYSISGEORGE ISAC
Departmentof Mathematics and ComputerSciences
Royal Military Collegeof Canada Kingston, Ontario, Canada,KTK5L0
THEMISTOCLES M. RASSIAS
Department ofMathematics University ofLa Verne PO Box51105, Kifissia, Athens, 14510 Greece
(Received April 5, 1994 and in revised form December 22, 1994)
ABSTRACT. The Hyers-Ulam stability of mappings is in development and several authors have remarked interesting applicationsof thistheoryto various mathematicalproblems. In this
paper some applications in nonlinear analysis are presented, especially in fixed point theory.
Thesekindsofapplications seemnot to haveeverbeenremarked beforeby otherauthors.
KEY
WORDS AND PHRASES: Stability, nonlinear analysis, cone, homomorphism, eigenvalue, bifurcation, Hammerstein equation, completely continuous, operator, Banachspaces
1991 AMS SUBJECT CLASSIFICATION CODE: 47H15
INTRODUCTION
In 1940 S.M. Ulamposedthe followingproblem Given agroup
G,
ametric group(G2,d)
and a positive number e’, does there exist a 5 > 0 such that iff:G
-G:
satisfiesd(f(xy),f(x)f(y))
<t
for all x,yGI,
then a homomorphism T:G
-
G exists withd(f(x),
T(x))
<e for all x,yG
(cf [26], [27]).The first affirmative answer wasgiven byD.H.
Hyers
[9] in 1941 andageneralizationofHyers’
result wasobtainedby Th.M Rassias
[24]
in 1978. Severalpapers have been publishedonthis subject and some interesting variants of Ulam’s problem have been also investigated by a number of mathematicians(cf.
[11],[13],[10],[12],[15],[16],[$],[6],[23]). The concept of theRyers-Ulam stability of mappings was thus created and itisnow currently used in thespirit
ofUlam’s problem. We note that till nowthe Hyers-Ulam stability has been mainly used to
study
problems
concerning approximate isometries or quasi-isometries, the stability ofLorentz
and conformal mappings, the stability of stationary points, the stability ofconvex mappings, or ofhomogeneousmappings, etc.
(cf. [11], [12],
[23],[6]).
Inthispaperweintendtointroduce anotherwayfor futureapplications ofthistheory. We will
apply some stability results, obtained recently, to the study of some important problems in nonlinearanalysis For example,the existence of fixed pointson cones for nonlinear mappings, thestudy ofeigenvalues fora coupleofnonlinear operatorsand thestudy of bifurcations to the
infinity, with respecttoaconvexcone, of solutions ofthe Hammerstein equation.
220
the Hyers-Ulam stability theory can be used to evaluate the asymptotic derivative of some nonlinearoperators.
Since, by the Hyers-Ulam stability we come to find the expression at every point of the asymptotic derivative of some nonlinear operators, we succeed in finding interesting
assumptions fornew fixedpoint theorems and forsome newexistence theorems
The nonlinear problems considered in this paper have been much studied by several mathematicians
(cf. [1],[2],[3],[5],[7],[17-22],[25],[28],[29])
but the idea to use theHyers-Ulam stability theory for the study of these problems had not appeared earlier in the
mathematicalliterature.
PRELIMINARIES
Let
E
beaBanachspace.We
denote byS
thesetS=
{x
E[IIII
1}.
A
subsetK cE
issaidto bea cone if it isclosed and satisfies thefollowing properties:!)
K
+K
_
K,
2)
M(_
K
forall2
R.
and3) K
(-K) {0}.
We
denoteby
K"
the dual of K, e.K"
{p
E’}C(x)
> 0 for all xK}.
Each coneK
cE
induces an ordering onE
byx
<_y
::,y-xK.
IfinE
aclosed cone isdefined, we say thatE
is an ordered Banach space. A coneK
E
is saidto be generating ifE
K-K
and it is saidto be normal if there exists t>_l such that for every pair x,yeK,[I< or+.[.
W’e say that a coneKE
is solid if itstopological interior is non-empty. The cone
R.
is solid.Let
E
CR($2
be the space of all continuous functions from .OintoR
with the max-norm, where O is a topological compactspace. Thecone
C,
(.t2)=
{xr(t)>
0 on.t2}
is solid.The cones
L:(X2)=
{x
Le(.f2x(t)>_Oalmosteverywhere}
and13
{x
le{x,
>_0 foralli}
con-sidered in
if(.(2)
and in/e
respectively arenot solid if l_<p<oo.We
call a point xcK
aquasi-interior point if
(xo)>O
for any non-zeroK’.
Ifthe coneK
is solid, then thequasi-interior pointsof
K
coincidepreciselywith its interior points. There exist non-solid cones but withquasi-interior
points. For example, ifK
is the cone of nonnegative functions inff(.f2Xl<p<o),
its quasi-interior points are the functions, which arepositive
almost everywhere; similarly in the spaceleo
<p<oo)
the quasi-interior points ofthe coneK
of allnonnegative sequences are these sequences with only positive components. We denote by
L(E,E)
the set oflinear bounded operators fromE
intoE.
It is well known that for everyT
L(E,E)
thespectral
radiusr(T)
is well defined, wherer(T)
rnax{l,[I, cr(T)}
and a(T)
is the spectrumofT.
We saythatT
,L(E,E)
is strictly monotoneincreasing iffor all x,yE
such that x <y
(i.
e., x_<y andx*
y)
wehaveTO’
T(x)
int(K).
LetD
cE
beabounded set. Then wedefine:D)
the measureofnoneompactness ofD
to bethe minimumofall positivef
E--E
is said to bea k-set-contraction if it is continuous and there exists keR such that for every boundedsetD
cdom(f),
7:(f(D))
<-
k’(D)
A mappingf
E--> E
is said tobea strict-set-contraction if it is a k-set-contraction for some k < An appropriate reference for the measure ofnoncompactness is [4] A mappingf
E--)E is said to be compact if it mapsbounded subsets of
dora(f)
onto relatively compact subsets ofE
andf
is said to be completely continuous if it is continuous and compactEvery completely
continuous mapping is a strict-set-contractionLet
K
bea generating(ortotalie
E=K-K)
cone inE ThemappingfK--E
is said to be asymptotically differentiable alongK
ifthere existsT
L(E,E)
such thatm
Ill
(x)ll__0
Inthis case Tisthe uniquesuchmappingand we call it the derivative at infinityalong
K
off
.We
saythatamappingfE
E
isasymptotically close tozero along Kiflim
llf(r)ll=
0. xKLet
.R.
--+R_
be afunction suchthat
O(t)
> 0 for all _>y’, where),R+
We say that /’:K--) -is 9-asymptotically bounded along Kifthereexist b,cR+ \{0}
such that for all xK,
withI111->
,
wehvI:(ql-
<cl/I).
An
interesting spectral analysis of (0-asymptotically bounded mappings can be found in[28].
Every
asymptotically bounded mapping (alongK)
such that limt)=
0 is asymptoticallycloseto zero.
If
K
is agenerating(or
total)coneinE,
thenamappingf:K-
E
issaid tobe differentiable at xK
alongKifthereexistsf’(Xo)
eL(E,E)
suchthatlim
I:(x
+x)-
f’( o)rll
o.
-
I!11
Inthis case
f’(Xo)
isthederivative atx0alongK
off
andit isuniquelydeterminedTHE
MAIN RESULTSLet El,
E2
be real normedvectorspaces The following definitionwasintroducedin15].
DEFINITION 1. Foragiven
functton
:R/
--
R,
we say that a mappingfE-
E:is
W-addtttve
if
and onlytf
there extsts a constant 0> 0 such that222
If the function {p’satisfies the followingassumptions:
i0)
limg(t-)
0,
gl(ts)
<_g/(t)(s)
for all t,sR.,
,.)
g/(t)<t
forall t>thenwe have thefollowing resultprovedin
15]
TI:IEOREM
1. ConsiderE
to be a real normedvector space,E2
a realBanach space andf
.E
-->E:
amappingsuchthatf(tx)
,scontinuousmfor
eachfixed
x.Iff
,s Ip’-addtttve and Ip’satisfies
the assumptions io), ,) and i2), then there exists a unique hnear mappingZE,
-->E.
such,hatIf(x)- T(x)l
< 20l//(l[rtl)
for
allxE.
Moreovertheexpress,onof
T
2-
(2)
ateverypomt x
E,
isT(x)=
limf(2"x)
The class of functionswhich satisfythe assumptions i0), i)and iz) is not empty.
In
this sense w.e can cite thefollowingfunctions)
g/(t)=
withp[0,1),
Oift=O
2
’t’=
[t’(
ift>0, wherep<0.To enlarge the class of functions
/such
that the conclusion of Theorem remains valid we consider thefollowing:Let
F,,
betheset of all functions gfromR.
intoR/
satisfying the assumptions i) andi2) andsuch that lim
g/(t)
0. LetP(
be the convex conegenerated bythesetF.
Weremark thatafunction
g/P()
satisfies the assumption i0) butgenerally
doesnot satisfythe assumptions i) andi2).However,
wewill show that Theorem remainsvalid for g-additive functionswithg
P().
Let E, andE=
be normed vectorspacesandf’E
-+E=
a mapping. Thefollowingresultis aconsequence oftheprincipaltheoremproved by P. Gavrutain
[8].
LEMMA.
If
):E,
xE,
-->[0,+oo)
is a mapping such that(x,y):=
E
2-
(2"
x,2y)
< +mfor
k=0
allx,y
eE,
andf
:E,
-->E
isacontinuousmapping such that[[f(x
+y)- y(x)-
y(y[
<_(x,y),
for
allx,yeE,,
then there exists a unique linear mappingT:E,--+E
such that]If(x)-
T(x]
<-
(x,x)
for
allxE. Moreover
T(x)=
limfor
all xE.
A
consequence oftheLemmaisthe followingresult.TlqEOREM2.
Let
E
beareal normedvectorspace,E
arealBanachspace andf’E,
-->E
a continuous mapping.
If
f
is [-additive withP)
then there exists a unique linearmapping
T:E,
--
E=
such thatI/’(x)-
T(x)ll
< 20express,on
of
T
ateverypot,,, xE,
,sg,venbyT(x):
limf2"x’(
PROOF. We applythe Lemma for thefunction
(x,y)=
theproperties of the functions
P(),
wecanshow that(x,y)<
for1 x,),E
andthe conclusionof the Theorem follows Q EDREMARKS. The last Theorem is significant since the class of
-additive
functions withP()
is strictly larger than the class of functions defined inTheorem 1. In this sense we remarkthe following results1) If
f.E
E
is a-additive
mappingwith gP()
andL(E,E:)
thenT0
+f
is a-additive
mappingwith respecttothe same function2) If
f.E
E
is a-additive
mappingwith gP()
andL(Ez,E)
thenof
is a g-additive mappingwithrespect to thesame function g.and theconstant8
replacedby3) If
f,fz.E
E:
are mappings such thatfx
is-additive
andf
is-additive
withg,g
e()
then for everya,az
R
we havethataf +azf:
is a-additive
mapping. Inthiscasethenction
is
definedbyg(t)= g(t)+g:(t)
for allR+
and 0=m(aO,aO:).
TBEOREM 3.
Let
E
be a Banach space ordered by a generating coneK
and letf
:E
E,g:K
K
beo
mappingssuch that.").
f
is completely continuous, postttve and-addtttve
wtth respect to afunction
P()
and,oa constant 0> 0(i.e.
f
(K)
K)
)
thereexistsa quasi-interior point xK
and0 <Z
< such that limf(2.,
x),
0Xo
(g) gtsasymptottcallyclosetozeroalong K;
(h)
hf
+gisastrict set-contractionfrom
K
toK.Then h
f
+ ghasafixed
pointinK.PROOF.
By
assumption)
and Theorem2 wehavethatT(x)
limf(2x)
iswell defined forevery x
E
andT
istheuniquelinear operatorsatisingthe inequality 20T( )II
<(ll ll)
forNI x eE
Since
f
is compact, we havethatf(
is bounded, which implies thatT
is continuous. Indeed,the continuityof
T
isaconsequence ofthefollowing inequalities20 20
[l r)ll
1 (4[I
+11 4-f( )[I
,
1)
for 1x S.2- 2)
From the definition of
T
and the fact thatf(K)K
we deduce thatT
is positive (i.e224
lim
]y(x)-
T(x)l
=0,that is
T
isthe asymptotic derivativeoff
alongK.
Also, from the principaltheoremof14]
or from[1]
wehavethatT
iscompletelycontinuous(and
also it isastrict-set-contraction). From assumption (gl)wehavel(x)
T(x)<
lim]l)]l+
ixi]
l/’(x) T(xl
=0, that isT
isalso the asymptoticderivativeof halong K.Since
T
is completelycontinuous its spectrum consists ofeigenvalues and zero.Suppose
thatr(t)
>0. From assumption(f_)
wehave thatT(xo)< 2oX
andusingthe Krein=Rutman TheoremK"
([29],
Proposition 7.26, p.290) we have that there exists0o
\{0}
such thatT’(o)=r(T)
ando(xo)>0
(since Xo is a quasi-interior point ofK).
(We
denote byT"
thea.djoint
ofT).
Hencewededucer(T)
[T’(O)](x)=
0(T(x))
<O(2x)
$o
that is,
r(T)
< 1.Now,
all theassumptions of Theorem of[1]
are satisfied andtherefore hf
+ g has afixedpointin
K. Q.E.D.
REMARK. If
f
f,:E-E
are continuous g/-additive mappings respectively to,
,
P()and
a,f(S)
isbounded(where
a
a,
R)
thenusing theproperties ofz=l
functions
,
,,
and Theorem 2wecanshow that the asymptoticderivativeof themappinga,f,
isexactlyT(x)
lim’=’ for all xE,.
2
=|
COROLLARY. Let
E
beaBanachspaceorderedbya generating coneK
and letf
:E
--)E
bea mappingsatisfying conditionsfl)
andfl).
Thenfhas
afixedpointinK.REMARK. InTheorem3 and itsCorollarywecanreplaceassumption (j’2)bythe following: 20
(f3):
forall,
_> andxg\{0}
there follows >(11 11).
Hereafterwe investigate theexistenceofnon-zeropositivefixedpoints.
THEOREM 4. Let
E
be a Banach space ordered by a generating coneK
and letf
:E
--)E,g:.K
-
K
be mappingssatisfying(f),
(g),(h)
and:(f,):
thereexist20
> and x-K
such that limf(2"x’’)
>_,oXo
20l//(lcl[)
for
all xK
\{0)
(h.).hts
dtfferenttable
at0along Kandh(O) O,(h.a).
h"(0)
doesnothavea positiveetgenvectorbelongingtoaneigenvalue 2>_ Thenhf
+ghasaftxed
point inK
{0}.
PROOF.
Asinthe proofofTheorem 3 we havethat his asymptoticallydifferentiablealongK
and its derivative at infinity along
K
isT(x)=
lim for every xE
Moreover
T
is 2"completelycontinuous and the inequality
(if)
is also satisfied. From assumption(f)
we have that 1 is not an eigenvaluewithcorrespondingpositiveigenvector
ofT. Fromassumption(f4)
weobtainthat
r(T)> 2"0.
Indeed, ifr(T)<
2 and sincer(T)=
!i [[rll
(the
Gelfand’sformula),
g"llrll_ ,"
for sufficiently large n and some k < 1.Because
T(xo)>
2,oX
we deduce2,g"T"(x0)_>x
(sinceT
is positive) and if we pass to the limit in the last relation we obtain x _<0,i.e. x-K,
whichisacontradiction. Usingagain theKrein-Rutman Theoremwe have thatr(T)
is aneigenvalueofT
with aneigenvectorinK.
Thusallthe assumptionsof Theoremof
[5]
are satisfied andweconclude thathhasafixed pointx. K
{0}.
APPLICATIONS Q.E.D.
We will apply now Theorem 4 to the following nonlinear eigenvalue problem. Let
E
be a Banach space ordered by a cone K. Given the mappirgsL,
f
andA
fromE
intoE
(possibly nonlinear)findx.
E\{0}
and 2,R/
\{0}
such that(b)
L(x.)+f(x.)=x.+XA(x.).
DEFINITION 2. We say that 2,
R+ \{0}
isanasymptotic characteristic valueof
(L,A)
if
L
and 2,4areasymptotically equivalent (withrespectto
K)
i.e.,lim
r( )ll
0.M
An
asymptotic characteristicvalueof(L,A)
is a characteristicvalue of(L,A)
inthe sense of the definitiongivenbyMininni in[22],
i.e., 2, is a characteristic value of(L,A)
in Mininni’ssense, if thereexists asequence{x,},v
of elements ofK
such thatThefollowingresult isaconsequenceof Theorem4.
COROLLARY. Let
E
be aBanachspace orderedbyageneranng
coneK
cE,
f
:E -+ E
a mappingsuch thatf(K)_
K
andL,A mappingsfrom
E
into E.If
thefollowingassumptions aresatisfied:
(1):
f
satisfies
condi’ions(f), (f)
and(fs);
(2): 2,isanasymptotic charactertsticvalue
of
(L,A);Then the nonhnear eigenvalueproblem (b)hasasolutton.
Itiswellknown that the study of the nonlinear integral equation
v):
(v,
known asthe Hammerstein equation, is ofcentralimportance in thestudy of several
boundary-valueproblems
(cf.
[17],[18],
[19], [29]).
Alsosomespecial interest is focusedtotheeigenvalue problem
(fl)
x(u)=
"aG(u’v)y(v’x(u))du’
(cf. t29]
and itsreferences).
Ifwe denote by G the linear integral operator defined by the kernel
G(u,v)
and byf
the Nemyckii’s nonlinear operator defined byf(v,x(v)),
ie.f(uv)=
f(v,v)),
then the equation(
takes the abstractform(r)
Fortheequation (y)weconsiderthe followinghypotheses:
H): (E,
and(F,P)
arereal ordered Banachspaces. TheconeK
isnormalwithnon-empty:nterior.
H):
The mappingf
:E
F
is continuousand the operatorG:F
E
islinear, compact and posttive.m):
Gisstronglypositive, i.e., x<y impliesa(y)-a()int(K).
We recall that
(,)
is a bircation from infinity of equation (a)if > 0 and there is asequenceof solutions
(2,,x,)
of(such that2,
:
andI =11
THEOREM5. Consider equation (y)andsuppose that
H),
He)
andH)
aresatisfied
If
in additton thefollowingassumpttons hold:1")
f(K)
K
andfl
isbounded,2*)
f
is-additive
withP(),
3*)
lim > 0for
every xK
{0}
then setting
T(x)=
limfor
all xE
andr(GT)-’
wehave that(,)
istheonlybifurcation
from
infini of
equation.
PROOF. Firstwe note that
T
isthe asymptotic derivativeoff
alongK.
Since by assumption3*)
we havethatT
isstrictly positive onK
weremark thatr(GT)
> 0. Wesetifx=0ifx0
REMARK
Concerning Theorem 5, the two-sided estimates for the spectral radiusthat have been obtained recently by Stetsenko in[25],
are very essential Stetsenko showed that if .4E
-
E
isacompletelycontinuous operator andE
isa Banach space ordered bya generating closed coneK
with quasi-interior points and if some special assumptionsare satisfied, thenwe can definethe numbers20,
p,
thevectors u0,v and afunctional0
such thato(V0)
0o(,,o)
P
OPENPROBLEM. It seemsto beaninteresting
probl’em
to find new and moreefficient two-sided estimates forthespectral radiusof the operatorGT
whereT(x)
limf(2"
x)
whenfis
a /-additive mappingwith EP().
Such an estimate of
r(GT),
similar to the estimate(,
is important for the approximation of the bifurcation point(2.,+),
oftheequation()ACKNOWLEDGMENT. We expressourthankstotherefereeforhelpful comments.
REFERENCES
1.
AMANN,
H: Fixed points of asymptotically linear maps in ordered Banach spaces,J.
Funct.
Anal 14(1973),
162-171.2.
AMANN,
H.: Multiple positive fixed points ofasymptoticallylinearmaps,J.
Funct. Anal. 17(1974), 174-213.3.
AMANN,
H.: Fixed point equations and nonlineareigenvalueproblems in ordered Banachspaces, SIAMReview 18(1976), 620-709.
4.
BANAS,
J. andGOEBEL,
K.: Measures ofNoncompactness
in BanachSpaces,
Lecture NotesinPureandAppliedMathematics, Nr. 60,Marcel.Dekker
Inc.,
NewYork, Basel(1980).
5.
CC,
N.P. andGATICA,
J.A." Fixed point theorems for mappings in ordered Banachspaces,
J.
Math. Anal. Appl. 71(1979),
547-5576.
CZERWIK,
S.: Onthe stabilityof thehomogeneous mapping,C.R.
Math.Rep.
Acad. Sci.Canada, 14
(1992),
268-272.7.
DEIMLING,
K.: Nonlinear Functional Analysis,Springer-Verlag, Berlin, Heidelberg, NewYork, Tokyo
(985).
8.
GAVRUTA,
P.:A
generalization of the Hyers-Ulam-Rassias stability of approximatelyadditivemappings,
J.
Math. Anal. Appl. 184(1994), 431-436.9. HYERS, D.H.: On the stability of the linear functional equation, Proc. Nat. Acad. Sct.
U.S.A.
27(1941), 222-224.10.
HYERS,
D.H.: On the stabilityof minimum points,J.
Math. Anal. Appl. 62(1978),
530-537.11.
HYERS,
D.H. The Stability of homomorphismsand related topics, in Global Analysts-Analysisonmamfolds
(ed.
Th. M. Rassias), Teubner-TextezurMath.,Letpzlg,
Vol. 57 (1983),140-153
12.
HYERS,
D.H, andULAM,
S.M. Approximatelyconvexfunctions, Proc. Amer.Math.Soc.
S(1952), 821-828.
13, HYERS, D.H. and
RASSIAS,
TH.M.: Approximate Homomorphisms,Aequat.
Math. 44(1992),
125-153.228
15. ISAC, G. and RASSIAS, TH M.. On the Hyers-Ulam stability of g-additive mappings, J.
Approx.
Theory 72(1993), 131-137.16.
ISAC,
G. and RASSIAS, THM. Functional inequalities for approximately additivemappings, in Stabthty
of
mappingsof
Hyers-Ulam type (ed. Th.M. Rassias andJ.
Tabor),HadronicPress,Inc., Flortda(1994), 117-125
17.
KRASNOSELSKII,
M
A Positive Solutions ofOperator
Equations,Noordhoff,
Gromngen,
(1964).18.
KRASNOSELSKII, M.A., ZABREIKO, P.P.,
PUSTYKNIK, E.I. and SOBOLEVSKII, P.E.: IntegralOperators
in Spaces of Summable Functions,Noordhoff
InternationalPubhshing-Leyden (1976).
19.
KRASNOSELSKII,
M.A. and ZABREIKO, P.P.: Geometrical Methods of Nonlinear Analysis, Sprmger-I’erlag,Berhn, Heidelberg, NewYork, Tokyo (1984).20.
KRASNOSELSKII,
M.A.,
LIFSHITS, J.A.
andSOBOLEV, A.V.:
Positive linear systems. Themethodsof positiveoperators, HeldermannVerlag,
Berlin(1989).
21.
KREIN,
M.G. andRUTMAN, M.A.:
Linear operatorsleaving invariant a cone in aBanach space, Transl. AIS10(1962), 199-325.22.
MININNI,
M.: Coincidence degree and solvability ofsomenonlinear functional equations in normed spaces, a spectral approach, Nonlin. Anal. TheoryMeth. andAppl. 1 (1977), 105-122.23. NIKODEM, K. Approximately quasiconvex functions, C.R. Math.
Rep.
Acad. Sci. Canada, 10(1988),
291-294.24.
RASSIAS,
TH.M.: Onthe stability of the linear mapping in Banach spaces, Proc. Amer, Soc. 72(1978), 297-300.25. STETSENKO, V.YA.: New two-sided estimatesfor the spectralradiusofa linearpositive operator, Dokl. Acad. NaukTadzhikSSSR, 33(1991), 807-811.
26.
ULAM,
S.M. Problems in modern mathematics, Science Editions, Wiley,New
York(1960).
27.
ULAM,
S.M. Sets, Numbers and Universes, Selected works, Part 111,MIT Press,
Cambridge, MA. (19
74).
28.
WEBER,
V.H.: asymptotisches spektrumund surjektivitatssatzevom Fredholm type fur nichtlineareoperatorenmitanwendungen,Math. Nachr. 117(1984), 7-35.29.
ZEIDLER,
E: Nonlinear Functional Analysis and its ApplicationsI
(Fixed Point