Internat. J. Math. & Math. Sci. VOL. 16 NO. (1993) 169-176
169
A FOCAL BOUNDARY VALUE
PROBLEM FOR
DIFFERENCE
EQUATIONSCATHRYN DENNYandDARRELHANKERSON
Department
ofAlgebra,Combinatorics, and AnalysisAuburnUniversity Auburn, Alabama 36849-5307
(Received August 27, 1991 and in revised form April II, 1992)
ABSTRACT.The eigenvalueproblemindifferenceequations,
(--1)n-kAny(t)
A
l:,=o
-
p()’,(),
with
y(0)
0,0< <
k,Ak+iy(T
+
1)
0,0_<
<
n k,isexamined. Undersuitableconditionson the coefficients Pi,it isshown that the smallest positive eigenvalueis adecreasing functionof
T. Asaconsequence,results concerning thefirstfocal point for the boundary valueproblem with
A
areobtained.KEY WORDS AND PHRASES.
Differenceequation, eigenvalue, boundary value problem, focal point,Green’s
function.1991
MATHEMATICS SUBJECT CLASSIFICATION CODES.
39A10.1. INTRODUCTION
Letk andnbe integers with
<_
k<
n. Forfunctionsydefinedon aninterval of integers, define thedifferenceoperator A byAy
y,Ay(t)
y(t
+
1)
y(t),
andzy
A(Z-ly)
for>
1.We
shall be concernedfirst withtheeigenvalue problemfor difference equationsk-I
(--1)"-kA"y(t)
A
’pi(t)Zy(t),
0<
< T,
(1.1)
i=0
Aiy(0)=0,
0_<i_<k-1,(1.2)
A+iy(T
+
1)
0, 0<
<
n k- 1,whereTisanonnegative integer. Throughoutthis paper, theinterval notation inexpressions such
as
(1.1)
denote intervals of integers; forexample,[0,T]
{0,1,...,
T}.
Undersuitable conditionsonthe coefficientspi,weshow that the smallest positiveeigenvalueisadecreasingfunctionofT.
Next,
wewillconsidertheboundaryvalueproblem(1.2),
k-1
(--1)"-A"y(t)
-pi(t)Aiy(t),
0<_
<_
T.(1.3)
i=0
170 C. DENNY AND Do HANKERSON
Itcanbe shown that theGreen’sfunction
GT(t,s)
for thefocalboundaryvalueproblem(-1)’-:A"/(t)
/x,y(o)
o,
o
_< _<
,
A:+’z/(T
+
1)=
0, O<i<n-k-1,(1.4)
exists. ExtensivediscussionsconcerningGreen’sfunctionsfordifferenceequationscanbe foundin nartman
[1]
and Kelley and Peterson[2];
seealso[3].
In particular, if/(t)
is a solution of(1.3),
(1.2)
on[0,
T
+ HI,
then/(t)
solves the equationT k-I
y(t)
GT(t,s)
pi(s)Aiy(s),
e [0,
T
+
n].
s=0 i=0
As a consequence, ifsign conditions on
Gr(t,s)
are known and certain positivity conditions areplacedonthepi’s, then questions concerning theeigenvalueof
(1.1), (1.2)
and theexistenceoffocal pointsfor(1.3),
(1.2)
can be examined intermsofafamily oflinearoperators thatdependonT.Manyauthors have applied the theory ofconesinaBanachspaceand positive operatorseither to demonstrate theexistenceof smallest positiveeigenvalues, to compare these eigenvalues, or to establishthe existence of firstconjugate pointsorfirst focal points ofboundaryvalueproblemsfor linearequations; see, forexample,Eloe and Henderson
[4, 5],
Gentry
andTravis[6],
Hankerson and Henderson[7],
nankerson andPeterson
[8,
91,
KeenerandTravis[10],
Tomastik[11,
21,
andTravis[13].
We also mention papers by Eloe[14]
and Eloe and Henderson[151
which examine criteria for disfocality ofdifferenceequations, two papers byHenderson[16, 17]
onfocal boundary value problems for nonlineardifferenceequations, and apaper by Henderson andLee[18]
oncontinuous dependenceanddifferentiationofsolutionsofdifferenceequations. Much ofourmotivationforthis studyarethe works ofKeenerandTravis[19],
Schmittand Smith[20],
and Tomastik[21].
In
section2,weincludepreliminary notation, and fundamental results from the theory ofcones in aBanachspace.In
section3, weshow,under suitableassumptions onthecoefficientsPi, thatthe smallest positiveeigenvalueof
(1.1),
(1.2)
decreaseswithT. This willleadtoresults concerning thefirstfocal point of(1.3), (1.2).
2.
PRELIMINARIES
Inthissection,wegivedefinitionsandauxiliary results fromconetheory. Much of thediscussion inthis sectioninvolving the theory ofconesinaBanachspace arisesfrom resultsinKrasnosel’skii"s book
[22].
OthergoodreferencesincludeKrenandRutman[23],
andDeimling[24].
Let
B
beaBanach space.A
closed subsetK
ofB
is saidtobea coneprovided:(i)
ifu,vEK
thencu+v
E Kforallcr,/>
0, and(ii)
ifu,-uK
thenu 0.A
coneK
is said tobe reproducing provided everyzB
can bewrittenas z u vfor someu,v fi K. IfK
isaconeand u,v
B,
thenwewriteu<
v(with
respect toK)
providedv- uEK. IfLandM
arelinear operatorsonB,
thenL
<
M (with
respecttoK)
providedLZ/< My
forall/5K. Finally, givena bounded linear operator
L
onB,
wesaythatL
is positive ifL(K)
C_K,
and wesay thatL
is uo-positive ifgiven any nonzero uK,
there exist kl,k2
>
0, such thatkluo
<
Lu< k2uo.
If LB
B
isaboundedlinearoperator, weshalluser(L)
todenote the spectralradius ofL.FOCAL BOUNDARY VALUE PROBLEM FOR DIFFERENCE EQUATIONS 171
THEOREM2.2
IlL
andM
arecompactlinearpositiveoperatorssuch thatL
<
M,
thenr(L) <
r(M).
THEOREM2.3 Let
L
be a compact linearpositive operator, andsupposeLx
>_
pxfor
somep
>
0 andx EB
with-xK
andxu-vforsomeu,
v K. ThenL
has an eigenvector xoK
correspondingto an eigenvalue,o
>_
P.Theorems 2.5, 2.10, 2.11, and 2.13 ofKrasnosel’skiigive the following theorem.
THEOREM
2.4Let
K
be areproducingcone.If
L
is a compactuo-positivelinearoperatorthenL
hasan essentiallyunique eigenvector inK
and the corresponding eigenvalue issimple, positive, andlarger than the modulusof
anyothereigenvalue.Thefollowingtheorem appearsin Keenerand Travis
[19,
Theorem2.3]
andis ageneralization ofTravis[13,
Theorem2.3].
THEOREM2.5 Let
L
andM
be boundedlinearoperators andassumethat at least oneof
the operators is Uo-positive.Assume L
<
M
and there ezist nonzero vectorsul, u2,_
K
and scalars,1,2
>
0 such thatLul > Alui
andMu2
< A2u2.
Then<
,2.If
,
,
thenut isa scalar multipleof
u2.3.
EIGENVALUES AND FOCAL POINTS
Ourmainobjectivein this section is todescribe how the smallestpositiveeigenvalueof
(1.1),
(1.2)
changeswithT. Wewill transform these questions about theeigenvalueintoquestions about thespectral radiusofcertainoperatorson aBanachspace,and thenapplytheconetheory.First, let
(c)(i)
denote the factorial polynomial defined by(c){0
c(c- 1).-. (c-
+
1).
IfGr(t,s)
istheGreen’sfunctionfor(1.4),
thenmi.{,-l,,)
(t
r1)
(k-j-l)(-r
+
s+
n k1)
zGr(t,,)
(k-
j-1)
(n-
k-1)!
1"-’0
for j
<
k,andAk+JGT(t,s
(n-k-l-j)!-;<
sO,
t>sfor 0
<
j<
n k 1. TheGreen’s
functioncanbefoundwiththeaidof[25,
Lemma1].
Next,
letB
{y"
[0, c)
R ly
isbodd ndZU(0)
0,0_<
<
k}.
ThenB
isaBanada spaceunder thesupnorm. DefineLr
B
---}B
byE
GT(t,
s)
pi(s)Aiy(s),
0<
<
T
-t-n,LTy(t)
,=o=
172 C. DENNY AND D. HANKERSON
We
assume
thatp,(t)
>
0for>
0, 0<
<
k 1.Remark. Note that LTy depends only on the values of y on
[0,
T+
k1].
Hence, ifT
>
T
andBT
{y’[0,
T1
+
k-1]
R IA’y(0)
0, 0<
<
k1},
thenwecan regardLT
as amapBT
B. Wecanthendefinethe mapMT’BT
B.
byMTZ
Lrzlto,r,+k_
1.Now,
if(A,z)
is an eigenpair forMT,
then we can extend z to a function inB
by setting y(t)z(t)
for 0<
<
TI +
k- and Ay(t)Lrz(t)
for>
T +
k; then(A,y)
isan eigenpair forLT.
Conversely,if(A,y)
isan eigenpair forLr
withA
0,thenzYlt0m,+k-l
0(otherwise
LTy 0and
A
0)
and(A,
z)
isaneigenpair forMT.
Inaddition, forany function
x(t)
definedon[0,
T+
k-1],
the expressionLrx
makessenseandwewillallow thisslight abuseofnotation. Then ify(t)
LTx(t),
itfollows thaty(t)
isasolution of theboundaryvalueproblem(1.2),
k-1
(--1)’-kA’y(t)
-pi(t)Zx(t).
If
(A,x)
is an eigenpair forLr
withA
0, then(1/A,x)is
an eigenpair for(1.1), (1.2),
and cqnversely. Note alsothatA 0isnotaneigenvalue of(1.1),
(1.2).
To begin with, we wishto examine, undersuitable conditions, what happens to thespectral radiusof
Lr
asT
increases. Ourfirstresultwillplayakeyroleinsubsequentwork.THEOREM:3.1 Thespectralradius
r(Lr)
isanondecreasingfunction
ofT.
Morever,
if
pio(T)
>
0
for
someT
>
k io, thenr(LT_)
<
r(Lr).
PROOF. Define thecone
KT
inBT
byKT
{y
6-Brlmiy(t)
>_
O, 6-[0,
T
+
k-i],
0<
<
k-1}.
Then
Kr
{y
6-Br
zy(t)
> O,
6-[k-
i,T+
k-i],
0<
<
k-11,
andKr
is reproducing. Wewillbeginby showingr(Lr)
isnondecreasing; that is, wewill showr(Lr_) < r(Lr).
Let z6_KT
andregardLT-I
as anoperatoronBT.
ThenT-1
(8
-"
1 kt)
(n-k-l)-AkLT-’x(t)
(n
k1)!
Pi(s)Aiz(s)
s=t i=0
r
(s
+
n kt)
(’--)k-<
(n-k-l)!
s=t i=0
AtLrx(t),
O<t<T-1.Wecanrepeatedly sumbothsides of
ALr_Ix(t)
<_
ALTx(t)
and usetheboundary conditions to show thatA’LT_z(t)
<
ALTZ(t)
for 0<
<
T
+
k- i, 0<
<
k- 1. ThenLT-
<
LT
with respect toKT
andby Theorem 2.2,r(Lr_)
< r(Lr).
Now suppose that pio(T)
>
0 for someT
>
k-i0.
We first show thatr(Lr)
>
0. Letu(t)
() 6-K..
NotethatT k-I
ZLTu(t)
,
zGr(t,s)
-pi(s)zu(s)
>
ZGT(t,T)Pio(T)AiOu(T)
>
0FOCAL BOUNDARY VALUE PROBLEH FOR DIFFERENCE EQUATIONS 173
for k j
_<
_<
T
+
k j and 0_<
j_<
k 1. Thus,Lru
GKy
r. Itfollows that thereexistsane
>
0suchthatLTU
_
eu,andbyTheorem 2.3wehaver(LT)
_
e>
O.Finally, we will show
r(LT_)
<
r(Lr).
Assume
r(LT_)
>
0.By
Theorem 2.1,r(Lz_)
isan eigenvalueof
LT-
withcorrespondingeigenvector y GK:r_.
Wecan user(LT_)y
L:r-y
to extend y to a function in
Br.
Weclaim that y GIf..
To seethis, sincey is an eigenvector correspondingtor(LT_),
thereexistsSoe [0,
T-
1]
such that,i=o-lp,(So)y(So)
>
O. ThenT-I k-I
,(L_)()
G_,(,)
,
s=O i=0
k-I
GT-I(t’80)
Z
P’("qo)Y("qO) >
O,-0
for
[k
j,T
+
k j],0_<
j_<
k 1. Itfollows that ye
K.
Hencep,o(T)Aiy(T)
>
0 andT-I k-I
=0 i=0
T k-1
<
ZAkGT(t’s)
Z
s=O i=0
ALTy(t),
O<_t<_T-1.Using the boundary conditions at 0, weobtain
LTy-
LT-y
GK.
Hence,
there exists an e>
0 such thatLTy
LT-y
>_
ey, orLTy
_
ey+
LT-y
(e
+
r(LT-1))y. By
Theorem2.3,r(LT)
>
r(Lr_).
We obtain a corresponding result for the smallest positive eigenvalue, A0, of the
eigenvalue
problem(1.1),
(1.2).
COROLLARY3.2
Assume
pio(To)>
0for
someio,To
suchthatTo
>_
k io. Then the smallest positive eigenvalue,Ao(T),
for
the eigenvalue problem(1.1),
(1.2)
decreasesfor
T >
To.
If,
in addition, thereexist l,T
such thatT
>
min{k
i,To
+
}
andp(T)
>
O,
thenAo(T)
<
Ao(T0).
PROOF.
By
Theorem3.1,r(Lro) >
0andr(Lr,)
isaneigenvalueofLT,.
Fromthe correspon-dence between eigenpairs of theeigenvalue problemandLro,
weseethat1/r(Lr,)
isthe smallest positiveeigenvalue of(1.1),
(1.2).
Sincer(Lr)
is increasing, it follows thatAo(T)
1/r(LT)
is decreasingforT
>
To.
Finally,r(Lr_)
<
r(Lr)
by the previoustheorem, and henceA0(T0) >
A0(T,
1)
>
Ao(T).
Wenowshall concentrateonthecharacterizationof the first focal point of theboundaryvalue problemandcorrespondingresults.
THEOREM
3.3 Assumep,o(T)
>
0for
someT
)_ k-io. Suppose
that the boundary value problem(1.3),
(1.2)
has.a
nontrivial solution yKT
(again, we meanYI[0,T+-I]
GKT).
ThenT
isthefirst
focal
point.PROOF. Our first step will be toshow
r(LT)
1. NowLTy
y impliesr(LT)
>
1. Let174 C. DENNY AND D. HANKERSON
Finally, if the firstfocal point r/
< T,
thenr(L,) _>
1. But Theorem 3.1 shows thatr(L,)
<
r(LT),
contradictingr(LT)
1. ElWearealsointerested in theuniqueness of thefunctioncorrespondingtothefirstfocal point. If conditionscanbeplacedonthe
p,’s
sothatLT
isu0-positivewithrespect toKT,
then Krasnosel’skii’s Theorem 2.4 can be applied.In
this direction, then, suppose thatp_(t) >
0 for 6[0, T].
Since
K
is nonempty,Kr
is reproducing.To
showLr
is u0-positive, it is sufficient to showLT(KT\{O})
C_K.
Let z E
K\{0}.
FirstA-z(t)
>
0 for some E[0, T];
otherwise, z would be the trivial solution. Then forsomes0fi[0, T],
T k-1 k-1
r(t)
(t,,)
p,(,)A’(,)
>_ (t,,0)
p,(,o)/’(,o)
>
o,
s=O i=0 i:0
for (/
[k-
j,T+
k- -j], 0_<
j_<
k-1. Therefore,LTZ
K
forallzKT\{0},
andLT
is u0-positive.Now suppose, in addition, that
(1.3), (1.2)
has a nontrivial solution y EKT.
Notethat by Theorem3.3,T
is thefirstfocal point.An
application of Theorem 2.4 shows thaty isunique up toscalar multiple.Finally, the requirement thatp_be strictly positivecanbereplaced byothersimilarconditions. For example, ifpk_ is identically zero, we could requirepk-2
>
0 and change our interval to[0,
T
+
k-2]
inthe definition ofHowever,
underweakerconditionswecanbecertainthatnontrivial solutions inKT
areactually inK.
This condition isthe keytoshow uniqueness.THEOREM3.4 Let
Pio(T) >
0for
someT
>_
k-io
and letyIfT
be anontrivialsolutionof
(1.3), (1.2).
Theny is unique up to scalarmultiple.PROOF.
Since y6-KT
isasolutiontotheboundary value problem(1.3),
(1.2),
thenyLTy.
Letzalso beasolution of theboundary valueproblem
(1.3),
(.2)
and assume -zKr.
Choosecmaximal so that y
>_
cz. Weknow that c>
0sincey 6-K,
by earlier arguments.Suppose
y cz 0.From
previous workweknow thatLTy
aLz
6_Kr.
Then thereis an>
0so thatLTy
cLTz
>_
ez.Hence
y cz>_
ez impliesy>_ (a
+
e)z,
which contradicts the maximalityofThe next two theorems will examineconditions which guaranteethat thefirst focal point of equation
(1.3)
isgreaterthanorequaltoT.
THEOREM3.5 Assume thatpio(T)
>
0for
someT
>_
k-io.
If
thesmallestpositive eigenvalueAo(T)
of
(1.1),
(1.2) satisfies A0(T) _>
1, then thefirst
focal
point ?>_
T.PROOF. Suppose,
on the contrary, that r/<
T.By
Corollary 3.2,Ao(r/) >
o(T).
Theno(rt)
>
1 sinceo(T) >_
1. Thissaysr(Ln)
1/o(1)
<
1.But
for z, asolutionof the boundary valueproblem,Lnz
zimpliesr(Ln) _>
1,which isacontradiction. Therefore,THEOREM
3.6 Letv be anontrivialfunction
inKT
such thatT k-1
GT(,
)
,,(),,()-<
"()
FOCAL BOUNDARY VALUE PROBLFI FOR DIFFERENCE EQUATIONS 175
withrespect to
KT,
wherep_(t) >
0for
all E[0,T].
Then thefirst
focal
point>
T.PROOF. Underthe given hypothesis, weget that
LTV
<
IvwithrespecttoKT.
LetAo(T)
be the smallest positiveeigenvalueof the eigenvalueproblem(1.1),
(1.2),
and letzbeacorresponding eigenfunctioninKa".
Thenr(La")z
Lrx
(1/A0(T))z.
By
remarksprecedingTheorem 3.4,LT
is u0-positive, and itfollows by Theorem2.5that1/,0(T) <
1.Therefore,
by Theorem 3.5, the firstfocal point q
>_
T. 13As
in the discussion preceding Theorem 3.4, the result still holds ifwe require that the last nontrivial coefficientfunction be strictly positive, and then modify the Banachspaceaccordingly. Theseconditionsguaranteed thatLr
wasu0-positive and allowedtheapplicationofTheorem 2.5.However,
wecan relaxthe requirement of u0-positivity, providedweadd theconditionLrv
O. To see this, consider thesituation in Theorem 2.5 whereL
<
M
and there are nonzerovectorsul,u
K
and scalarsA,A
>
0such thatLu
>
Alu
andMu
<
Auz.
In
theproofof Theorem2.5, u0-positivity of
L
wasused to show e0sup{,
L(u
eul) >
0}
>
0.In
thiscase,0
<_ L(u
,oU,)
Lug.,oLu,
<_
Mu
,oA,U,
<_
Au
,oA,u,
A(u2
oU,).
Hnce
L(u
-,ou,)
KT
impliesNowsuppose thatpi0(T)
>
0for someT
>
k-i0, andthat thereis vKa"
such thatLrv
is nontrivialandLrv
<
v. Using techniques similartothosein theproofof Theorem 3.1,it canbe shown thatLa"v
K.
Ifz qKa-
isaneigenfunction for(1.1), (1.2)
corresponding toAo(T),
then ,osup{,
Lr(v- ,z) > 0}
>
0.Hence,
_< A0(T),
and thefirstfocal pointr/>T
from thesamearguments used at the end of theproofof Theorem 3.6.
REFERENCES
1.
HARTMAN,
P.Difference equations: disconjugacy,principalsolutions,Green’s
functions,com-pletemonotonicity, Trans.
Amev.
Math.Soc.
246(1978),
1-30.2.
KELLEY,
W. ANDPETERSON,
A.Difference
Equations. AcademicPress,
New
York, 1991. 3.AGARWAL,
R. P. ANDLALLI,
B. S. Discrete: Polynomial interpolation,Green’s
functions,maximum principles, error bounds, and boundary value problems. Research
Report
466, NationalUniversity of Singapore, 1991.4.
ELOE,
P. W. ANDHENDERSON, J.
Comparisonofeigenvaluesforaclass of two-point bound-aryvalueproblems,Applicable Anal. 34(1989),
25-34.5.
ELOE, P.
W. ANDHENDERSON,
J. Comparison ofeigenvalues for a class ofmultipoint boundaryvalueproblems,Recent
TrendsinOrdina
Differential
Equations.(to
appear).
6. GENTRY, 1. D. AND TRAVIS,
C.
C. Comparison ofeigenvaluesassociated with linear dif-ferential equations ofarbitraryorder, Trans. Amer. Math. Soc. 223(1976),
167-179.7. HANKERSON, D. AND HENDERSON, J.Positive solutions andextremalpoints for differential
equations,ApplicableAnal. 39
(1990),
193-207.8. HANKERSON, D.AND PETERSON, A.Comparison theorems foreigenvalue problemsfor nth
order differential equations, Proc. Arner. Math. Soc. 104
(1988),
1204-1211.176 C. DENNY AND D. HANKERSON
I0.
KEENER,
M. S. ANDTRAVIS, C. C.Sturmian theory foraclass of nonselfadjoint differential systems, Ann. Mat. PuraAppI.
123(19S0),
247-266.I.
TOMASTIK,
E. Comparison theorems for second order nonselfadjoint differential systems, SIAAfJ. Math. Anal. 14(1983),
60-65.12.
TOMASTIK,
E. Comparisontheoremsfor conjugate points of nth order nonsclfadjoint differ-entialequations, Proc. Amer. Mah. Soc. 96(1986),
437-442.13. TRAVlS, C. C.Comparison of eigenvalues forlinear differentialequations of order 2n, Trans. Amer. Math. Soc. 177’
(1973),
363-374.14.
ELOE,
P.W. Criteria for right disfocality oflineardifference equations,J.
Math. Anal. Appl. 120(1986),
610-621.15.
ELOE,
P. W. ANDHENDERSON, J.
Analogues ofFeketeandDescartes
systemsofsolutions for difference equations, Journalof
Approximation Theory59(1989),
38-52.16.
HENDERSON, J.
Focalboundaryvalueproblemsfor nonlinear difference equations,I, J.
Math. Anal: Appl. 141(1989),
559-567.17. HENDERSON, J. Focal boundary value problems for nonlinear difference equations,
II, J.
Math. Anal. Appl. 141(1989),
568-579.18.
HENDERSON,
J. ANDLEE,
L.
Continuousd.ependence
and differentiation of solutions offinite differenceequations, lnternat.J.
Math. Math. Sci. 14(1991),
747-756.19.
KEENER,
M. S. ANDTRAY,S,
C. C.Positive conesand focal points foraclass of nth order differentialequations, Trans. Amer. Math.Soc.
237(1978),
331-351.20.
SCHMITT,
K. ANDSMITH,
H. L. Positive solutions and conjugate points for systems of differential equations, NonlinearAnal. 2(1978),
93-105.21.
TOMASTIK, E.
Comparison theorems for focal points ofsystemsofnthorder nonselfadjoint differential equations,Rocket
MountainJ.
Math. 18(1988),
1-11.22.
KRASNOSEL’SKI,
M.
A.PositiveSolutionsof
Operator
Equations. Fizmatgiz,Moscow,
1962; English TranslationP. Noordhoff Ltd. Groningen,TheNetherlands, 1964.23.
KREN,
M. G. ANDRUTMAN,
M.A.
Linearoperators leavingacone invariant inaBana
space.In
American MathematicalSociety Translations, Series I Volume 10, pages 199-325. American Mathematical Society, Providence,R.
I.,
1962.24.
DEIMLING, K.
Nonlinear Functional Analysis. Springer-Verlag, New York, 1985.