Photocopyingpermittedbylicenseonly theGordonandBreach Science Publishersimprint.
Printed inSingapore.
A Priori Estimates for the Existence of a Solution for a Multi-Point Boundary
Value Problem
CHAITANR GUPTAa,,andSERGEITROFIMCHUKb
aDepartmentof Mathematics, Universityof Nevada,Reno, Reno, NV89557, USA"bDepartamentodeMatem&tica, FacultaddeCiencias,
Universidadede Chile, Casilla653, Santiago, Chile
(Received20 February 1999; Revised 10 July1999)
Leta, ER,,E(O,1),i= 1,221 m-2,0<,<2< <m_2
<21,witha -.’_2ai
be given.Let x(t)EW (0,1)besuchthatx(0) 0,x(1)
-i=1
aix(i)(*)be given.Thispaperisconcernedwiththeproblem of obtainingPoincar6typeapriori estimatesofthe form
Ilxllo
_<cIIx"ll ,
The study of suchestimates is motivatedbytheproblem ofexistence of a solution for the Caratheodory equation x"(t)=f(t,x(t),x’(t))+e(t), 0<t< 1, satisfyingboundaryconditions(.).Thisproblemwasstudied earlierbyGuptaetal.(Jour.Math. Anal. Appl.189(1995), 575-584)when the ai’s, all had thesamesign.
Keywords: Aprioriestimates; Multi-point boundary value problem;
Leray-Schaudercontinuationtheorem; Caratheodory’s conditions AMS(MOS) SubjectClassification:34B10, 34B15, 34G20
1
INTRODUCTION
LetaiER,iE
(0,
1),i= 1,2,...,m-2,0< 1 < 2
<""< m-2 <
1,witho
’.12ai
begiven. Letx(t) W2’1(0, 1)
be such thatx’(0)
0,X(]) im=-
2aix(i)
be given.Weareinterested inobtaining Poincar6 typea prioriestimates of the formIlxllo <_ CIl"ll,. ()
*Corresponding author.
351
The study of such estimatesis motivatedbytheproblemofexistenceofa solutionfor the multi-pointboundaryvalueproblem
x"(t) f(t,x(t),x’(t))
-Fe(t),
m-2
x’(0)
0,x(1) Z aix(i),
i=1
0<t<l,
(2)
where
f:
[0,1]
xR2--
Ris afunction satisfying Caratheodory’scondi- tions and e:[0,1]H
R be afunction inLI[0, 1].
We also obtain some sharpPoincar6 typeestimatesof the formIlxll _< CIIx"ll
whenm 3,i.e.for
x(t)
EW2’1(0, 1)
withx’(0)
=0,x(1) ax(rl),
where VE(0, 1)
andaERaregiven.We applyourestimates totheproblemofexistenceofa solution for the multi-point boundary value problem
(2)
and for the three-point boundary valueproblemx"(t) f(t,x(t),x’(t)) + e(t),
x’(0)
0,x(1) ax(7).
0<t<l,
(3)
Wepresent theexistencetheoremsfor theboundaryvalueproblems(2)
and(3)
in Section3.Thestudyof multi-pointboundaryvalueproblemsfor linear second order ordinary differential equationswasinitiatedbyII’inandMoiseev in
[19,20]
motivatedbythework of Bitsadze and Samarskionnon-local linear ellipticboundary problems,[1-3]. We
refer the readerto[4-17]
for some recentresultsonnonlinearmulti-pointboundaryvalueproblems.2
A PRIORI ESTIMATES
Inthis section,wewillestablishsomeapriori estimatesof the form
(1).
We recall that for a
ER, a+=max{a, 0}, a_=max{-a, 0}
so thata
a+
a_andlal- a+ +
a_.THEOREM Letai
R,
(i(0, 1),
1,2,...,rn 2,0< 1 < 2
<""<
m-2 <
1, with a--’12
ai=/=
be given. Thenfor x(t)
W2’1(0, 1)
with
x’(O) O, x(1) -2 aix((i)
wehaveIlxlloo < Cllx"ll , (4)
where
j= 1,2,...,m- 2
Proof
Sincex(t)E w2’l(0, 1)
thereexists a c E[0, 1]
such thatIlxll=
Ix(c)l.
We may assume thatx(c)>
0, by replacingx(t)
by-x(t),
if necessary.Now,
twocasesarise; eithercE[0, 1)
orc 1.Incase,c E[0, 1)
wemusthave
xP(c)
O.First we setam-1 and(m-1
1,to writethe conditionx(1) 7’=
2aix(i)
inthesymmetricformim=- aix(i)
0and thenwe applythe Taylor’s formula with integralremainderafter secondterm ateach
i (0, 1),
i-1,2,...,m 1,togetX(i) X()
-[-ri,where ri
( s)x" (s)
ds<_
O, 1,2,...,m 1.Multiplying the equation in
(5)
byai,i--1,2,...,m 1, and adding the resulting equationsweobtainm-1 m-1 m-1 m-1
0---
Z aix(i) Z aix(c) +
airi--(o- 1)x(c) +
airi.i= i= i= i=
(6)
Now, (6)
implies thatm-1
0
< x(c)
m- ai
fc
ii (i- s)x"(s)ds
ri
’(i
s)x" (s)
dsI,
(7)
sinceri=
ffi (i- s)x"(s)ds <_
O,i=1,2,...,m- 1.We,
next, observethat[ffi( s)x"(s) ds[ <_ [i c[ IL I " ()1 dl _< I, 1 fo I"()[
d,1, 2,...,m-1.Wethusseefrom
(7)
thatm-’(a) f
Ilxlto x(c) <_ (i- s)x"(s)
dsi--1 1--O-
l
_<
ai[i c[ [x"(s)[ as
\i--1 1-a-
<
maxIi- u] (s)]
ds.(8)
-elo,]ki=
1-Since, now,
i%](ai/(1-))_]i- u
is a piecewise linear function,its maximumis attained at oneof the points 0
< a < 2
<""< -2 <
_
1.Accordinglywegetmax
]-_-- Ii- u[
ue[O,1]
\i=1
max
i=(lai
--Og-) (1-i),Y(laia)_ci +
i=1 1--a
+’
(1)
(1’ a2 a)- [ci cj[ + (1- j),
i=l,i#j -a +
j= 1,2,...,m-2
(9)
andestimate
(4)
holdsinthiscase.Finally, let us consider the case when c=1, so that
Ilxll--x(1).
Suppose,
first, thata<
1.Nowwehavem-2
0
< (1 a)x(1) ai(x(i) x(1)).
i=1
NOW, such
for that
each i-1,2,...,m- 2 there exists a O"iE(i,1) 0
< X(1) X(i) (1 i)x’ (fie) (1 i) fo ’ x" (s)
ds.Itfollows that
m-2
f0cri
(1 )Ilxll
’
i=1ai(i 1) x" (s) as
m-2
f0ri
_< (ai)_(1 i)
xt!(s)
dsi=1 m-2
< (ai)_(1
i=1
andthus
m-2
Ilxll _< o -(1 sCi) llx I1
1,in viewof
(9).
Similarly,ifc>
1,wehave thatm-2
f00-i
(a 1)I[xl[ ai(1 i)
xtt(s)
dsi=1
m-2
foo
ai<__ (a/)+(1 i) Xtt(s)
dsi=1 m-2
(ai)+(1
i=1
and againwehave
i=1
__(
ai) ,, < C]lx,,
/=1 c
-(1 i) IIX II1 I1,
inviewof
(9).
Thus estimate(4)
holds in thiscase too.Thiscompletestheproofof the theorem.
Remark 1
LetcERandr/E(0,1)
begiven.Thenforx(t)E w2’l(0,1)
with
x(0)=
0,x(1)= cx07)
we see from Theorem that the estimateIlxll _< CIIx"ll
holdswithw) +
max
+ I1 + I1
ifa<
-1,/
11
if-1<
a<
0,/
I1
ifO<a<l
a
max{r, r/}
ifa>
1.The following theorem gives a better estimatethan the onegiven by Theorem inthecaseofathree-pointboundaryvalueproblem.
THEOREM 2 LetaER
and
E(0, 1)
begiven. Thenfor x(t) W2’1(0, 1)
with
x’(O) O, x(1) ax(rl)
wehaveIlxll MI x"ll,, (10)
where
M=max{ ]al(1-r/)
/I1 l+[a])
/I1 /fa
<-1.M--
-1
<a<l, 1-M=max
if
a>
anda <
a-1
M=max
a-l’
a-1a>l anda>l
Proof
Fora_<
0weseefrom Theorem thatM=max{ [al(1-r/) + I1 l+r/la[) + I1
Thisimplies,inparticular, fora
<
-1 that Mmax( [a[ (1- r/)
l+r/[a’}
/
Il
/Icl
Now,
wenotethat for -1<
a<
0,thatlce
-4-
/Icel > lal(1 + 7) > I1(1 )
-4-Ice]
4-I1 + I1
and so we again see from Theorem that
M=(1-cer/)/(1- a)
if -1<ce<0.We,
next,provethatM(1 cerl)/(1 ce)
if 0<
ce<
1.Forthis,we see using mean value theorem that there exists an E(r/, 1)
such thatx(1) x(r/) (1 r/)x’(),
whichimpliesusingx(1) cex(rl)
thatx(1) ce(1-)/(ce-1)x’().
It then follows from the relationx(t)= x(1)-
fl x’(s) as
thatin viewof the equation
x’(t) fd x" (s)
ds, for E[0,
sincex’(0)
0.ThusM
(1 a7)/(1 a),
if<
a<
1.Finally,weconsiderthecasece
>
1.Letx(r/)
z sothatx(1)
cez.We mayassumewithoutany loss of generality thatz>
0, replacingx(t)
by-x(t)
ifnecessary.Suppose,
now,Ilxll-
sothat thereexists a c[0, 1]
such thateither
x(c)
orx(c)
1.Weconsiderall possiblecasesofthe locationforc.(i)
Suppose
thatc [0,7]
andx(c)
1.Thenx’(c)
O,c=/:
rl.Now,
by meanvalue theorem thereexistul[c, /],
u2 [/,1]
suchthatY’(//1) X(T/) X(C)
ZX(1) X(/)
CeZ Z(.)
r/-c r/-c -r/ -r/
Wenote that
Xt(//1)
O,X/(//2)
0since0_<
z<
andce>
1. Itfollowsthat
XII(s)[
ds>
x(s)
ds+ x"(s)
ds2]x’(//1)l
4-x!(//2)
21-z r-
c cez-zr >
ce[O,n),e[o,/]min{ 21-z r-
c cez-zr J
>
elo,/min{ r-
2c’ 2(a-l) ce(r!- c) +
ce-1} >
min -,{2
(ii)
Let,
now, cE[0,r/],x(c)--1.
Then sincex’(c)=O, c7,
weagainseefrommeanvalue theorem that thereexistv3E
[e,
r/],v4[r, 1]
such that
x’(u3) x(r/) x(c)
z+ x’(u4) x(1) x(r/)
az zr/-c r/-c -r/ -r/
Againwe notethat
x(u3) >
0,Xt(b4)
__)0 since 0<_
z_<
anda>
andwehave
Ix" (s)
ds_> x" (s)
ds+ x" (s)
dsXt(/]3) + IXt(/]4)
l+z az-z
1+}1
r/-e -r/ r/-
(11)
Let
l+z
laz-z
l+zF(z, 0)
v-c
We needto estimate
mince[o,,),ze[o,1/,lF(z, c).
Wenote thatF(0, c)= 2/
(r/- c) _> 2/r/for
c [0,r/),
()
a+lF ,c
=a(r/-c) +
a-1 a+l
(1 r/) aft/- e) a(1 -7)
for cE[0,
r/). Let,
now, Zo such that(aZo Zo)/(1 7) (1 + Zo)/
(r/- c)=
0 so thatZo-(1 -7)/(a7- -c(a- 1)).
Itiseasyto seethatZo E[0,
1/a]
if r/>(a + 1)/2a
and cE(0, (2at/-
a1)/(a 1)).
In thiscase weget
a-1 a-1
F(z’c)=arl c(a 1) >
at/-
Accordinglyweseethat
F(z, c) >
min{2/r/,(a 1)/a(1 r/)}
ifat/_<and
F(z, c) >_
min{2/,(a 1)/a(1 r/), (a 1)/(at/- 1)}
if at/> 1.Wethus have from
(11)
that3
x" (s)
ds-4
x" (s)
dsX’(//3) + IX’(//4)
l+z az-z
+z
-7 rl-c
min{2
r/c(1 -r)
ifor <
rain{2
r/a(1-r])
o-1at/-1 o-1}
ifor >
1(iii)
Next,
supposethatcE(r/, 1), x(c)
1.Again,x’(c)
0 andwehavefrommeanvalue theorem that thereexistu5E
[r/,
c],//6[,
such thatx’(us) x(c) x(rl) =,1
z x-’ (//6) x(1) x(e)
cz 1c-r/ c-r/ -c -c
Note that
x’(vs) >
0,Xt(//6)
0 sincex(1)
az<
1. Accordingly, we obtainIx"(s)l
ds_>
5
x"(s)
ds+
X1!(S)
dsx’(//5) + Ix’(//6) x’(u5)l 2x’(//5) +
1-z 1-az
2(a-l)
- >
since0<
z<-. (12)
c-r/ 1-c
-a(1-r/)’ -a
(iv)
Next,
suppose that c(r/, 1), x(c)=-
1. Againx’(c)=
0 andwehave frommeanvaluetheorem that there
exist//7
[/, c],//8[c, 1]
such thatx’(//7) x(e) xCrl)
-1 zx’(//8) x(1) x(c) cez. +
c-r/ c-r/ -c -c
Notethat
x’(u7) <_
O,x’(u8) >_
O. Accordingly,weobtainIx" (s)
ds_> x" (s)
ds+ x" (s)
ds+ Ix’(-s) 21x’(u7)l + x’(u8)
l+z
l+az 2=2 >
c-r/ 1-c -c-r/ 1-c
2
2(a- 1)
(v)
Finallysuppose thate 1,sothatx(1)
az.Wethen have that there existsau9E(, 1)
such thatx’(u9)=(a 1)(a(1 ))-.
Thuslx"(s)lds x"(s)ds x’(9)
(1 "
Wethusseefrom(i)-(v) that,fora
>
1,(10)
holdswithmax ifat/< 1,
M-- a-1
max if at/>
a-1 a-1
Thiscompletes theproofof the theorem.
The following theorem shows that for -1
_<
a<
1,M=(1-arl)/
(1 -a)
isthe bestconstantin(10).
THEOREM 3 Let-1
<_
a<
1,r/E(0, 1)
andsetinf{llx"ll," x(t) e w2’l(o, 1), x’(O)
O,x(1) x(r/), Ilxlloo } M1.
Then
M1 (1 a)/(1
ari).Proof
We first see from Theorem 2 thatM1 _> (1- a)/(1- at/). We,
next,notethatl-r/ l_l-r/-l+ar/=(a-1)r/<0.
at/ at/
Let,
now,Zo(1 r/)/(1 at/)
ande>
0 be such that 0_<
Zo+
e<
1andlet
k (Zo + e)(a- 1)/(1 -7)<
0.We,
next,considerthe function(t)
definedby(t)=l+Tt ,
ifrE[0,
and
qo(t) k(t- rl) + (zo + e),
if EIt/, 1],
where
ks7 ke
>
1, ")//5’-1
/3
-z0-eItiseasytocheck that
(t) w2’l(0, 1), 99’(0)
0,II(t)llo (o)
1,aw(/) (1)
and
J0
"1IW"(t)[
dt=f0 171/(- 1) t-2
dt1 -r/a
Thisgives for every
>
0, sufficiently smallsothatzo +
e<
1, that(
1 a
/
II(t) llo
[il
-a(
l+er/a 1 [[W"(t)l[1
and therefore
(
>l-r/a
l+eM1-
1-afor every e>0 sufficiently small. Thus
M1--(1-a)/(1-at/).
This completestheproofof the theorem.Remark 2 The following example shows that for r/=0.5; a=4.
Theorem 2 gives the best possibleconstant M
2/3
in estimate(10).
Indeed,considerthe function
b(t)
2t3 for[0, 1/2], b(t)-- (3t- 1)/2
for[1/2, 1],
wegave
b(t)
Ew2’l(0, 1), IlqS"(t)ll 3/2
andqS’(0)
0,4b(1/2) b(1), qS(1) II(t)[10 2/31lqS"(t)lla
Thisshows that for this function the inequality in estimate
(10)
isindeedanequality, proving the assertion.
Moreover,
itis possible toconstruct functions forevery cER and r/(0, 1)
for which the estimate(10)
holds with an equality for the corresponding M indicated in Theorem 2. We omit the details as it becomes technical.However,
we should point out that the ideas for constructing such functions are generated by developing proofs for estimate(10)
similar tothecasec>
given here.3
EXISTENCE THEOREMS
DEFINITION 4 A
function f: [0, 1]
xR2w-Rsatisfies
Caratheodory’s conditionsif
(i)for
each(x,
y) R2,
thefunction
[0,1] - f (
t,x,y) Ris measurable on [0,
1],
(ii)for
a.e. [0, ], thefunction (x,
y) R2f(t,x,
y) R is continuous on R2,
and(iii)for each r>
O, there existscr(t)Ll[0,1]
such thatIf(t,x,y)l<_cr(t) for
a.e.t[0,1]
and all(x,
y) R2withV/X
2-- y2 <_
r.THEOREM 5 Let
f: [0, 1]
xR2e--+R be afunction
satisfyingCaratheodory’sconditions.Assumethatthereexist
functions
p(t),
q(t), r(t)
such thatthe
functions
p(t),
q(t), r(t)
are inL(0, 1)
andIf(t,x,x2)l <_ p(t)lxal + q(t)lxl + r(t) (13) for
a.e.[0, 1]
andall(x,x2)
R2.
LetcR, c7
1,andrl(O, 1)
begiven. Then, the three-pointboundaryvalueproblem
(3)
hasatleastonesolutionin
C[0,
1]providedM[IP(t)II1 + Ilq(t)lla <
1,(14)
whereMisasgivenin Theorem 2.
Proof
LetXdenote the Banach spaceCI[0, 1]
and Ydenote the Banach spaceL(0, 1)
with their usual norms. We define a linear mapping L"D(L)
CX Y bysettingD(L) {x e
W2’1(0, 1) x’(0)
0,x(1) cx(r/)),
and forx E
D(L),
Lx
x".
Wealso defineanonlinearmapping N" X Yby setting
(Nx)(t) f(t,x(t),x’(t)),
E[0, 1].
Wenotethat Nisabounded mapping from XintoY.
Next,
it iseasyto see that the linear mappingL’D(L)C
XY,
is a one-to-one mapping.Next,
thelinearmappingK" YX,definedfor y Y by(Ky)(t) (t- s)y(s)
ds+ At,
whereAisgivenby
f0 f01
A(1 at/)
a(r/- s)y(s)ds s)y(s) s
is suchthat for y
Y, Ky D(L)
andLKy
y;and foru ED(L),
KLu u.Furthermore,it follows easily using the Arzela-Ascoli theorem thatKN mapsa boundedsubset ofXintoarelatively compact subset ofX.Hence KN:XXis acompactmapping.
We,
next, note thatx EC1[0, 1]
is asolution ofthe boundaryvalue problem(3)
ifandonlyifxis a solution tothe operator equationLx
Nx+e.
Now,
the operator equationLx Nx+
eisequivalenttothe equation x KNx+
Ke.We apply the Leray-Schauder continuation theorem
(see,
e.g. [18], CorollaryIV.7)
toobtaintheexistenceofasolution forx KNx/Keor equivalentlytotheboundaryvalueproblem(3).
Todo this,itsufficestoverify that thesetof allpossiblesolutions ofthe family of equations
x"(t) Af(t,x(t),x’(t)) + Ae(t),
0< <
1,x’ (O) O, x( x(), (15)
is,apriori,bounded in
C1[0, 1]
bya constantindependent ofA [0, 1].
This is straightforward to prove using the equation in
(15),
our assumptions thatf(t,x(t),x’(t))ELl(O, 1), (13),
estimate(10),
the estimate]lx’ll _< IIx"[[
forx(t)E w2’l(0, 1),
withx’(0)=0
and theassumption
(14).
Thiscompletestheproofof the theorem.
THEOREM 6 Let
f
satisfy allconditionsof
Theorem where the inequal- ity(14)
is replacedwithCllp(t)ll
/Ilq(t)lll <
1, where C is as given in Theorem 5. Let aiR, i (0, 1),
i=1,2,...,rn 2, 0< 1 < 2
<""<
m-2 <
1,withc-]’_
ai 1, begiven.Then the multi-point boundary valueproblem(2)
hasatleastonesolutioninC1[0, ].
Thisproofisquite similartotheproofof Theorem 5 andweomitit accordingly.
Acknowledgement
Thisresearchwaspartiallysupported by FONDECYT79800400.
References
[1] A.V.Bitsadze, Onthetheory of nonlocalboundary valueproblems, SovietMath.
Dokl.30(1)(1984),8-10.
[2] A.V.Bitsadze, Onaclassofconditionally solvable nonlocal boundary value problems forharmonicfunctions,SovietMath.Dokl.31(1) (1985),91-94.
[3] A.V.BicadzeandA.A. Samarski, Onsomesimple generalizations oflinearelliptic boundary problems,SovietMath.Dokl.10(2) (1969),398-400.
[4] W. Feng,Onanm-point boundary valueproblem,NonlinearAnalysis,30(8) (1997), 5369-5374.
[5] W. FengandJ.R.L.Webb, Solvabilityofthree-point boundaryvalueproblemsat resonance,NonlinearAnalysis30(6) (1997),3227-3238.
[6] W. FengandJ.R.L.Webb, Solvability of three-pointboundary value problems with onlineargrowth, Jour. Math. Anal. Appl. 212(1997),467-480.
[7] C.P.Gupta,Solvability ofathree-pointboundary value problem forasecond order ordinarydifferentialequation, Jour.Math. Anal.Appl.168(1992),540-551.
[8] C.P.Gupta, Anoteonasecond order three-pointboundary value problem, Jour.
Math. Anal.Appl.186(1994),277-281.
[9] C.P.Gupta, Asecondorderm-point boundary valueproblematresonance,Nonlinear Analysis,Theory, Methodsand Applications24(1995),1483-1489.
[10] C.P.Gupta,Solvability ofamulti-pointboundaryvalueproblematresonance, Results Math.28(1995),270-276.
[11] C.P.Gupta,Existencetheorems for a secondorder m-point boundary valueproblemat resonance,Int.Jour.Math. Math.Sci.18(1995),705-710.
[12] C.P.Gupta, ADirichlettype multi-point boundary value problem for second order ordinarydifferentialequations,NonlinearAnalysis,Theory, Methods andApplications 26(1996),925-931.
[13] C.P. Gupta, S.K. Ntouyasand P.Ch.Tsamatos, On anm-point boundaryvalue problem for second order ordinarydifferentialequations,NonlinearAnalysis, Theory, Methods and Applications23(1994),1427-1436.
[14] C.P. Gupta, S.K. Ntouyas and P.Ch. Tsamatos, Existence results for m-point boundary valueproblems,Diff.EquationsDynamicalSystems2(1994),289-298.
[15] C.P.Gupta, S.K. Ntouyasand P.Ch.Tsamatos,Solvability ofanm-point boundary valueproblemforsecond order ordinarydifferentialequations, Jour. Math. Anal.
Appl. 189(1995),575-584.
[16] R. Ma,Existencetheorems forasecond order three-point boundary value problem, Jour. Math.Anal.Appl. 212(1997),430-442.
[17] S.A. Marano,Aremarkon a second-order three-point boundary value problem, Jour. Math. Anal. Appl.183(1994),518-522.
[18] J. Mawhin, Topological degree methodsinnonlinearboundary value problems,in NSF-CBMS Regional Conference Series in Math. No. 40, Amer. Math. Soc.,
Providence,RI,1979.
[19] V.A.II’inandE.I.Moiseev, Nonlocal boundaryvalueproblem of thefirst kindfora Sturm-Liouvilleoperatorin itsdifferential andfinitedifferenceaspects,Differential
Equations23(7) (1987),803-810.
[20] V.A.II’inandE.I.Moiseev, Nonlocal boundary value problem ofthe secondkindfora Sturm-Liouvilleoperator,DifferentialEquations23(8) (1987),979-987.