PERIODIC BOUNDARY VALUE PROBLEM FOR SECOND ORDER
INTEGRO-ORDINARY DIFFERENTIAL
EQUATIONSWITH GENERAL KERNEL AND
CARATHIODORY NONLINEARITIES*
JUAN J. NIETO
Departamento
deAnhlisis Matemhtico Facultad de Matemfiticas UniversidaddeSantiagodeCompostelaSPAIN
(Received March 8, 1994 and in revised form November 29, 1994)
ABSTRACT. Westudy the existenceofsolutionsfor the periodicboundaryvalueproblemfor some second order integro-differential equations with a general kernel. Also we develop the monotonemethodtoapproximatetheextremalsolutionsof theproblem.
KEY
WORDSAND PHRASES: Integro-Differential Equation,Upper
and LowerSolutions, Carath6odoryfunction1991AMS
SUBJECT
CLASSIFICATION CODES: /45J051. INTRODUCTION
Thepurpose ofthis paperis tostudy the followingperiodicboundary valueproblem fora second order nonlinearintegro-ordinarydifferentialequation
-u"(t)--
f(t,u(t),Ku(t)),u(O)--u(En),u’(O)--u’(2n)
(1.1) wheref:I
xR:’
Ris aCarath6odory function,Kis an integral operator inLa(I)
with kernel k_La(J),J
-Ixl. Relatedto(1.1)
weconsiderthelinearproblem-u"(t)
+Mu(t)
+N[Ku](t)
h(t),u(O)
u(Etr),u’(0) u’(2n) (1.2)
whereM,N
ER,and h EL2(1).
By
a solution u of(1.1)
we mean a function uHa(I)
such that the functiont_I-*f(t,u(t),[Ku](t))
is a function inL2(I)
satisfying the equation for a.e. ff.l, andu(0)
u(2),u’(0) u’(2).
Problem
(1.1)
is consideredin[7]
withf
continuousandK
aVolterra integral operatorwith positive kernel. The authors developed the monotone iterative method for(1.1)
based on acomparison result. As it ispointedoutin
[6],
the methodof[7]
is notapplicableto thegeneral situation. Erbe andGuostudiedproblem(1.1)
withf
continuous, and kcontinuousandpositive.Theyfirst consideredthe linearproblem
(1.2)
andgavean estimate onkll
Wenotethat in[6],
Ku
NTu
+NxSu
withN, N1
realnumbers, Tanintegraloperator of Volterra type, andSanintegral operator of Fredholm type. Problem(1.1)
is studied in[8]
under theassumptionthatf(t,u,v)
is continuousandincreasingin v, and in[7]
forf
continuousandKof Volterra type. Followingthe ideasof[6]
westudy(1.1)
in thegeneralcase,i.e.,fis
aCarath6odoryfunctionandk isanL kernel.Also,wedonotrequire ktohaveconstantsignon
J.
Forthelinearproblem(1.2)
tohaveaunique solution,wegiveanestimate onkll
thatimprovesthe estimationgivenin[6],
andourestimateis the bestpossiblein thesensethat ifequalityisattained, then theexistence-uniquenessresultfor(1.2)
isnotvalidanymore.*Research partially supported by
DGICYT,
ProjectPB91-0793.758 J.J. NIETO
PBVP
FORSECOND ORDER ORDINARYDIFFERENTIAL EQUATION
Werecallhere,forconvenienceof thereader,someresultsforthefollowing periodic boundary value
problem (PBVP)
foralinear secondorderordinarydifferentialequation. Theproblem-u"(t)+Mu(t)---h(t); u(O)=u(2n); u’(0)-u’(2) (2.1) withM
-m2,m
>0and hL2(I),
hasauniquesolutiongiven bytheexpression2n
u(t)-- J0 G(t,s)h(s)ds,
theGreenfunctionGisgiven byl.[e’l’-S)+e’(2-’/sr].O<8<<27r
G(t,s)- 2m(e
"-
1)/---- 1)[em(S-t)q" e’a ’)]"
0_< _<.<_
27rMoreover,
Giscontinuous onJ-II,
2
min{G(t,s)’(t,s)J} e’
G(t,s)ds
--,
m(e2’’-1)"
a,/2m b.
and
max{G(t,s)"
(t,s).J} =2,,2,,_
SinceG(t,s) a>0forevery(t,s)
J
weobtainthefollowingmaximumprinciples:h>0 a.e. on I implies u>0on I,
(2.3)
h<0 a.e. on
I
implies u<0onI (2.4)
Obviously, h-0 implies u-0, but if h >0 on a set of positive measure of I, then u(t) a
f
h(s)ds>0forevery3.
LINEAR
INTEGRO-DIFFERENTIALEQUATIONS
We now consider the integro-differential problem
(1.2)
withM
> 0,N R,[Ku](t)--fok(t,s)u(s)ds,k .L2(J)
and hNotethat
K
isanintegraloperator,anditcouldbeeitherof VolterraorFredholm type. EvenK
canbeofmixedtypeasin[6]
whereKu
NTu
+NSu (3.1)
with
N,N
realnumbers,T
an integraloperator of Volterra typewithkernelk0,andSanintegral operator of Fredholm typewithkernelk.
Thus, kN k0
+N k.
In
whatfollows, I!
denotestheusual norm inL
Accordingtotheresultsofsection 2,wehave thatuisasolutionof
(1.2)
if andonlyifu(t) fo2 G(t,s)[h(sl -N[Ku](s)]ds (3.2/
UsingFubini’stheoremit iseasytoseethatforany
2n 2
-N
fo G(t,s)[Ku](s)ds fo
x(t,s)u(s)ds with2
x(t,s)---N fo G(t,r)k(r,s)ds (3.3)
Therefore, equation
(3.2)
isequivalenttothefollowingabstractequationwhere
and
u(t)
w(t)+[Tu](t)
(3.4)2
w(t)-
fo
G(t,s)h(s)ds2
[Tu](t)-- J0
"r.(t,s)u(s)dsIn
consequence,u is asolutionof thelinearproblem(1.2)
ifandonlyifuis afixedpointof theoperatorTw
:LZ(l) L Z(l), Tw(u)
w+Tu.THEOREM3.1.
Suppose
thatlIz
< 1, (3.5)then
(1.2)
has a unique solution u---lim,,._.(R)u,,uoLZ(1), u,/t--T,(u,),
n >0.Moreover,
the solution isgivenbythefollowingrelationsu(t)- fo [G(t,s)+H(t,s)]h(s)ds,
(3.6)2
H(t,s)--
J0 L(t,r)G(r,s)dr (3.7)
2
L----x’t,, x--x, "t,(t,s)--f x,_(t,r)x(r,s)dr,
n>2.(3.8)
do
PROOF. Notethat T(u)
T(v)[[2 11"
uvll
foranyu,v L2(I). By
thecontraction principle of BanachwehavethatT,
hasauniquefixedpointwhich isthesolutionof(1.2).
Now,we choose u0 w. Using againFubini’stheorem, itiseasytoseethat
2
u,(t)
w(t)+J0 H,(t,s)h(s)ds H.(t,s)-- fo L,(t,r)G(r,s)dr,
We have that
lix, ll2-: 1111’2,
and taking into account(3.5)
we see that the seriesX*-:
isconvergent in
L2(J).
Wenowdeduce that{H,,} H
inL:’(J)
andthe validity of formulas(3.6), (3.7), (3.8).
ITakingintoaccount
(3.3)we
have thatxll kll: Gl[2. In
consequence,k[l: all
< impliesthat thelinearproblem
(1.2)
hasauniquesolution. Itispossibletogive differentestimatesfork that imply that(3.5)
holds. Forinstance,if thereexists c >0such thatIfo2k(/,s)dsl
<c forevery sl(3.9)
then
I(,)1
bor
vy(,)j and1i11
2b. Therefore,c-
impliesthat thelinearproblem
(1.2)
isuniquelysolvable.Il. 211.
Inthecasethatk
eL(R)(J)then I(t,s)l ---fora.e.(t,s)eJ. Thus,IIll= <-w--
and, inthis
situation,
kll <
Mimpliesthat:[12
<1.760 J.J. NIETO
Notethat in the case thatKisgiven by(3.1),Erbe andOuo gave theestimate
(see
formula(4)
in
[6])
Soil goll
/N[I ll
<2-
M whichobviously implies(3.5).
Anatural questionisifTheorem 3.1 remains valid inthecritical case
11 -
Thefollowingexampleshowsthat in suchacase the linearproblem
(1.2)
mayhaveeither no solution or an infinite numberof solutions, thus showing that theestimate(3.5)
isassharpaspossible.EXAMPLE. Takek c G,c E
R
such thatkll
1. TheintegraloperatorT
associated to"tiscompact andselfadjoint. Thus,+1 or -1 is aneigenvalueofT.
Suppose
that+1isaneigenvalue andchoose u,
0 withTu u. Thus,bythe Fredholmalternativetheorem, theequationu w +Tu haseither nosolutionoraninfinitenumber ofsolutions.4.
MAXIMUM
PRINCIPLEWeare now interestedinobtainingasimilarresultto
(2.4)
for thelinearintegro-differential problem(1.2).
Usingthe representation(3.6)
for thesolutionof(1.2),
we seethatit isequivalent toshow thatG+H
a:0 a.e.onJ. SinceG(t,s)>a forany(t,s)EJ,we canaffirmthatG/H>0 a.e.onJif, for instance,nil -:
a. Wefirstgiveanestimatefornil
THEOREM4.1. Supposethat k
EL(R)(J)
andM (4.1)
I111 <2:n
Then,
(3.5)
holds andn M(M
2**)"
PROOF. Fromtherelation
(3.3)
wededuce thatxEL(R)(J),
andI1:11-
111- --ff--
d<2"
Onthe otherhand,
x, L’(J)
foranynN,
and11- a(2nay-x.
Thisimpliesthat the seriesx,
isconvergent inL’(J).
Therefore,d and
(4.2)
Ilnll
<M(I_2d)
d which ispreciselyestimate(4.2).
Wenotethat therighthand side of
(4.2)
tendsto 0when11.
tendsto0. Thus,weobtainthefollowingmaximumprinciplefor the linearequation
(1.2).
THEOREM4.2. Assumethatk
EL (R)(J)
andMm
e:11
<e2,,,,,+ 2nme
"r.
(4.3)
Then,wehavethat
(3.5)
holds andG+H
a0a.e.onJ.
PROOF.
Wefirstnotethat thefollowing inequalityholdstrue:me
e
’-
+2tme 2rt (4.4)Hence,
11 -
M Now,usingG(t,s)+H(t,s)>a(4.2)
wehavefor a.e.(t,s)@Jthat M(M211 kll )"
Combining
(4.2)
and(4.3)
weobtainthatnil
a.Therefore,we can write thatG(t,s)+H(t,s) a
-Ilnll
/0fora.e.(t,s)EJ,completing the proofofthe theorem.Asaconsequence,weobtainthat ifinequality
(4.3)
holds thenh 0(< 0) a.e. on I implies u 0(<0) a.e. onJ (4.5) Wenowconsider the casewhenthe kernel hasconstantsignonJ. Ifk:a0 a.e. onJ,then"t 0 a.e. onJand we have thatH 0 a.e. onJ. Then, triviallythe maximumprinciple
(4.5)
holds.Ifk 0a.e. on
J,
then’t 0a.e.onJand theprevious reasoningisnotvalid. However,wehave that(-1)"’t,, 0 a.e. onJ,
na: andthis isusefultoprovethefollowingresult.THEOREM
4.3. Supposethatk@L(R)(J)
issuch thatk 0 a.e.onJandkll 8I2em
m[vt(e
:’’‘’’1):’
+162Me
2’’-(e
2,,,,1)]
r/. (4.6)Then,(3.5)holds andG+H 0a.e. onJ.
M M
PROOF. Wefirstnotethatr/ < and then
k!l
<.
Onthe otherhand,and
Hence,
fora.e.(t,s)J,
for(t,s) J. In consequence,
,,, :,,11 .., :
d(2nd) -2.1-(2:d)a gz-4llk[l$ gll zll-
nodd nodd
-MIIZII
L(t,s)
>M2
4[I z:ll
H(t,s)
G+Ha-
M’-- 4llkll
aonJ.
Now, ax
>0if andonlyif4
e" ]l kll
+m(e
2,,,1)II kll. -M2e’
O,andthis is truefor
ll [0,r+].
Notethatestimate
(4.6)
improves(4.3)
sincer< r+.
762 J.J. NIETO
5. MONOTONE ITERATIVE METHOD
Wenowconsider thenonlinearequation
(1.1).
Werecall thatfis
aCarath6odoryfunction iff(t,.,
.)iscontinuous fora.e.l,f(.,u,v)
ismeasurable foranyu,vR,
and foranyR
>0there exists oo,
L:’(I)
suchthatIf(t,u,
v) o(t)fora.e. Iforanyu,v Rwithmax(u,I vl)
R.DefineH(/) {u H(1):u(O)
u(2 n),u’(0)u’(2n)}.
Bya solution uof(1.1)
we mean a function uH(1)
such thatI [F(u)](t) f(t,u(t),[Ku](t))
is afunctionofL(I)
satisfyingtheequation fora.e. I.We saythata
H(I)
is alowersolutionfor(1.1)
ifFaCL(1),
and-a"(t) f(t,a(t),[Ka](t))
for a.e. I.(5.1)
Similarly,wedefineanuppersolution as afunctionH(I)
such thatF L (I),
and-"(t)f(t,t),[K](t))
fora.e,I. (5.2)
In
uL (I),
ingeneral, Fuis not a functionofLz(1).
The condition thatF
mapsL z(1)
intoL z(1)
isequivalent 1 totheexistenceofb
L (I),
aR
such thatf(t,
u,v)[
b(t)+a([
u +]vl)
fora.e.Iandeveryu,v R.
Now supposethat condition
(3.9)
isverified. Obviously,(3.9)
is satisfiedif, for instance, kL "(J). However,
k(t,s)-s -aisakernelthat satisfies(3.9)
but doesnotbelongtoL’(J).
Then foranyuL’(1)
wehave thatI[Ku](t)l
k(t,s)u(s) <cll ull-,
andKu
L(I).
In consequence,If(t,
u,[Ku ](/))l a(t)
for a.e. I,whereR max(ll
u c uII-),
andFu L
(I).
Thus,ifcondition
(3.9)
holdsandaH(1),
thenKaL’(1)
andFaEL2(1).
If
fi
arelower anduppersolutionsof(1.1)
respectively,weshallassumethatafi
on I.(5.3)
Thus, k 0( 0) impliesthatKa
(
a.e. onL
Inthecasethatk 0 a.e. onJ,weintroducethefollowingcondition: there exist
M
>0,N>0 such thatf(t,u,v)- f(t,w,x)
-M(uw)-N(v
-x)(5.4)
fora.e.
l,a(t)w
u(t),and[Ka](t)x
v[K](/).
Ifk 0a.e. on
J,
weshallusethe condition: thereexistM
>0,N>0such thatf(t,u, v)- f(t, w,x) -M(u w)-N(x v) (5.5)
fora.e.
I, (t)
w ut),
and[K] (t)
v x[Ka] (/).
THEOM5.1.Assumethatk
L’(J),k
0 a.e.onL adll ll- . Zn aitM
upeosethat thereexist
H(I)
lower anduppersolutionsof(1.1)
respectivelysuchthat0.3)
and0.4) hold. Then, thereexitsmonotonesequences{a,} ,
and{}
uniformlyonI
with-
aand
o .
Here and arethe minimal and mimal solutionsof (1.1)
respectivelyon[
Moreover,
thesesequencesveri a, , o.
PROOF. For
[ ],
letusconsiderthefollowinglinearperiodic boundaryvalueproblemu"
+Mu+N[Ku]- hn(t), u(0)-
u(2n), u’(0)-u’(2n) (5.6)
whereh(t)
h(t) f(t,rl(t),[KN](t))
+Mrl
+N[KN](t).
This linearproblemhasauniquesolution u
--Arl
inviewof Theorem 3.1 since N.k]]
r.Moreover,in this caseG+H a0 a.e. onJ.
The operatorAiswelldefinedfrom[ct,
[3]
to[ct,[3]
andAisincreasing.Indeed, letN
[ct, 13]
anddefinev u ct. Thus, using(5.4),
we obtain -v"+My+NKvf(t,N,Krl)
+Mr
+NKrl (-cf’
+Mct+NKct)
f(t, N,KN)
+Mri
+NKrl f(t,
ct,Kct)
Mct NKctaOHence, byvirtueof Theorem4.3 wededuce thatva:0 onL Similarly,one can show thatu
[3
on I.Toshow themonotonicityofA,letNi G
[ct,[3],
u,-AN,,
1,2, andw -ui-uz.Hence,
-w"+Mw+NKwf(t,
Nt,Krl)
+MN
+NKrI, f(t,
r12,Krh) Mr
hNKN2
0andthen,w 0.
Wenowdefine ct0
,
ct, Aet,, n 0.By
thepropertiesof theoperatorA,
thesequence{ct,
isincreasingand uniformly boundedonI. Then,{t, }
’
pointwiseonL
Writing theintegral representation forAa,and using standard argumentsweobtainthat isactuallyasolution of(1.1).
Analogously,defining
I-
13, 15, /-AI3,,n 0,{13,,} ,I,
P, wherexp
is solutionof(1.1).
Toshow that
q
andq.,
aretheminimal and maximal solutionsof(1.1)
in[ct,13],
let ube a solutionof
(1.1).
Then,Au u, andusingthepropertiesof the operatorAwehavethata.,_<u_</3, foreverynN.
Passingtothe limit whenn ooweobtainthat9
u<p.
Ifk<0a.e. on
J,
then we can usedirectlythatG+H
>0a.e.onJ
toobtain thefollowingresult.u In addition, THEOREM5.2. Suppose thatk
L(R)(J),
k 0 a.e. onJ,
andassume thatthereexistct,
fJ H,(I)
lower anduppersolutionsof (1.1)
respectivelysuch that(5.3) and(5.5)hold. Then,thereexist monotonesequences{a,,}
’ ,
and{1,,} xp
uniformlyonI
with%
, f, fo f
and
t, p
aretheminimaland maximal solutionsof (1.1)
respectivelyon[o.,
PROOF.
ForN [a,13],
letusconsiderthe linearproblem(5.6). In
thisease, Kt>uKI
>on/. Asin theproofof Theorem 5.1wehave that
(5.6)
hasauniquesolution u=AN.
The operator A is well definedfrom[ct,[3]
to[ct,[3],
andit is increasing. Asin theproofof Theorem 5.1 weconstruct monotonesequences
{a, }
’ 9
and{13, } ap,
where andp
arethe minimal and maximal solutionsof(1.1)
respectivelybetweenaand[3.
It mayoccurthat
Ks K[3 a.e. on I (5.7)
evenifct
[3
andkchangessignonJsince[Kct](t)
dependsonthe valueofk(t,s)ct(s),0 s 2.(For
example,take e>0,k(t,s)=
1 for 0<s<2n-e,k(t,s)=-I for 2n-e<s2n, andt.1,[3 2.) In
such asituation,we canapplythepreviousresultstoobtain.THEOREM 5.3.
Suppose
thatkL(R)(J),N kl]
<r, and(5.3), (5.4), (5.7)
hold. Then, there exist monotone sequences{,}
’ ,
and{[3,} p
uniformly onI
with Cto-et,o-[
andet0 a, [3, <
[30.
Here andap
are the minimal and maximal solutions of(1.1)
respectivelyon[ct, I].
764 J.J. NIETO
If Kct
KI5
a.e. onJ(even
ifkhas no constantsignonJ),
then we have ananalogousresult using(5.5).
In
thegeneral case(k
hasno constant sign onJ)
we are ableto deal with a linearintegral perturbationof theordinarydifferentialequation-u"--f(t,u), beingsuchaperturbationof the type NKu,N
5R.In
concrete, we consider theproblem-u"-f(t,u)+N.Ku, u(O)-u(2n), u’(O)-u’(2n). (5.8)
Wenowrequire thefollowingcondition: there existsM
>0such thatf(t,u)
f(t, v) -M(uv) (5.9)
for a.e.
1,et(t)
v u[5(t). In
thiscase, for rl[ct, l],
thelinearproblem(5.6)
readsu"
+Mu f(t,rl)
+Mr +NKrTHEOREM
5.4. Consider the nonlinearproblem (5.8) weref satisfies
condition (5.9).Supposethatk
L(R)(1)
issuch thatIN[ k[[
<r, andthatthereexistct,f3 H"(1)
lower anduppersolution
of
(5.8)respectivelywith af3
onI. Then,thereexistsmonotonesequences a,} ,
and, p
uniformlyonIwith a cto...
a,...
3,...
[3o3.
Here andap
aretheminimalandmaximalsolutions