Internat. J. Math. & Math. Sci.
VOL. 14 NO. 4 (1991) 747-756
747
CONTINUOUS
DEPENDENCE AND DIFFERENTIATION OF SOLUTIONS OF FINITE
DIFFERENCE
EUQATIONSJOHNNY HENDERSONandLINDALEE
Department
ofAlgebra,
Combinatoricsand Analysis Auburn UniversityAuburn,
Alabama 36849U.S.A.
(Received August i0, 1990 and in revised form March 9, 1991) Abstract
Conditionsaregivenforthe continuityanddifferentiability of solutions ofinitialvalue prob-lems and boundaryvalueproblems for the nthorder finite difference equation, u(m
+
n) /(-, u(.), u(.+
1) u(,+
n-1)),- Z.KEYWORDS AND PHRASES.Finite difference equation, initialvalue problem, boundary value problem.
1980AMS
CLASSIFICATION
CODE. 39A10,39A12, 34B10.1
Introduction
Let Z denote the integers, and given a
<
binZ,
let[a,
oo)
{a,a
+
}, [a,b]
{a,a
+
,b}, [a,b)
{a,...,b- 1},
with(a, oo),(a,b),
etc., being similarlydefined.In
thispaper,wewill be concerned with solutionsof thenthorderdifference equation,
where
u(m
+
n)
f(m,u(m),...,u(m
+
n-I)),
(A) f(m,
ul,...,u,.,)
:Z xR
R
is continuous.Wewillalsoassumeinmanysettingsthe condition:
(B)
Tu,
(rn,
ul,...,u,)"
Z R Itarecontinuous, for_< <_
n.(1.1)
Wewillpresent results aboutcontinuousdependence anddifferentiation ofsolutionsof
(1.1)
with respecttoinitialvaluesandcertainboundary values. Also,givenasolutionu(m)
of(1.1),
wewill beinterested in solutionsof thelinearequation,z(m
+
n)
_
...
(m, u(m),...,
u(m
+
n1))z(m
+
-
1).
(1.2)
Equation
(1.2)
isced the ,a,ator,a
equationmon
tesoh,Uor,,(m) o.f .1).
748 H. HENDERSON AND L. LEE
Hankerson
[5], [6],
HankersonandPeterson[7],
Hookerand Pztulz[8],
Lzdas etal.[9],
Peterson[10]- [12],
and SmithandTylor[13]
hve dealtwithdisconjugzcyoroscillationand nonoscillation oflinear difference equations, whilethe works by Eloe[14]-[16],
Peil[17],
andPeterson[12]
have also dealtwithdisfocMitycriteriaforlineardifference equations. Forthenonlinearequation,(1.1),
Agrwal
[18],
Eloe[3],
[4],
Hankerson[5],
[6],
Henderson[19]-[21],
andPeterson
[12]
hveaddressed questions concerning bound;ryvMue
problems.As in several ofthe bove cited works, the resultsobtained in this paper re motivated as naloguesof results from ordinary differential equations.
In
thecaseof initiM value problems for ordinarydifferentialequations,Hzrtm[22]
presents&theorem duetoPc&noin which solutionsaredifferentiatedwith respecttoinitial conditions. Subsequent tothat,forboundaryvlue problems ssocited withordin3.ry differentiM equations, severM authors h&ve obtained results concerning differentiation ofsolutions withrespect toboundaryconditions; e.g., see Peterson
[10]- [12]
and Henderson[23],
[24].
In fact, Brntley nd Henderson[25]
and Henderson[24]
hve given somefairlycomplete analoguesofthePeanotheorem forcertainboundaryvalue problems fornonlinear ordinarydifferential equations.
The primarymotiv&tionforthis paperrisesfrom the studies by Hankerson
[5]
and Peterson[12],
which are devotedtodifferentiationofsolutionsof finite difference equ&tionswithrespectto boundary values for "two-point"boundary vMueproblems.In
Section 2, westate two results forsolutions of initial value problems for(1.1).
Thefirst result establishes that under condition(A),
solutions ofinitiM value problems for(1.1)
depend continuouslyoninitialvlues. Thesecond resultstatesznnzlogue of thePeznotheorem,inthat, under conditions(A)
nd(B),
solutionsof initial vlueproblemsfor(1.1)
cbe differentiatedwith respecttoinitialvalues.InSection 3,wepresent themain theoremsof the p.per. Weestablish
anMogues
ofourresults obtained inSection 2, for conjugate boundary vlueproblemsfor(1.1).
Theproofsin this section depend onuniquenessofsolutionsof conjugate boundary vlueproblems. Vewill asume &tthe zppropri&teplcesthatwehvethis uniqueness.2
Differentiation of
Solutions with
Respect
to
Initial
Values
Thenthorderdifference equation(I.i)in conjunction with the conditions
u(mo
+
i-1)
ui,<
<
n,(2.1)
where
mo
fiZ,
uifi1, 1<
<
n,is ca/led an initialvalueproblem.In
thissection,we state two theorems regarding continuousdependence anddifferentiability with respect toinitial values for solutionsof(1.1),
(2.1).
Allthatisrequired for theproofsof these theoremsis aconversion of(1.1),
(2.1)
toaninitial valueproblem for firstorder system,U(m+
1)
F(m,U(m)),U(mo)
Uo,
and then provide obviousmodifications ofproofsinI-Iartman[22].
Forthisreason,wewill omit their proofs.However,
thesetwotheoremswillplayafundamental roleinthe results of thenext section.SOLUTIONS OF FINITE DIFFERENCE EQUATIONS 749 THEOREM 2.1.
(Continuous
dependenceon initialvalues} Suppose
(A)
issatisfied.
Letu(m;
too,ul,u2u,)
be thesolutionof
(1.1),
(2.1)
on[m0,
+oo),
wheremo
EZ,
ul,u2 u, Then, given>
O, k IN, there ezists a(,mo,
k,ut,u,...,u,) >
O,such thatif lu,
v,I
<
<
<
n, thenlu(m;
too,u,u=
u,)u(m;
too,v,v2v,)l
<
,
for
everym[m0,
mo+
Ve
now state our analogue ofPeano’s
theorem inHartman
[22]
for the scalar initial value problem(1.1),
(2.1).
THEOREM 2.2. Assume
f
satisfies (A)
and(B).
Let mo Z, andul,u2 u, R begiven.
If
u(m)
u(m;
too,ul,...,u,)
denotes the solutionof
theinitialvalueproblem,(1.1),
(2.1),
then,for
every<
j<
n, givenvl v,R,
fl(r)
(,;,o,
=,...,
ezistsandisthesolution
of
thevariationalequation,and
satisfies
flj(rno
+
i-1)
ij,_<
<
n.3
Differentiation of
Solutions with
Respect
to
Boundary
Values
In
thissection,weproveanaloguesofTheorems2.1nd2.2for conjugate boundary valueproblemsfor
(1.1).
DEFINITION 3.1.
[21]
Given ml<
<
m,inZ
and ul,...,unR,
aboundary value problem for(1.1)
satisfyingu(mi)
ui,< <
n,(3.1)
iscalledaconjugate boundary valueproblem.
Conjugate boundary valueproblemsfor
(1.1) (both
nonlinearand linearcases)
have received much recentattention.Much of thisattentionhasarisenfrom the paper byHartman[1]
inwhich he gave conditions characterizing disconjugacy forlineardifference equationsintermsof’neralized
zeros.DEFINITION :i.2.
[1]
Let u"Z
R. Wesay thatuhasageneralizedzero atmo
provided, eitheru(mo)
0or thereis akN
such that(-1)ku(mo-k)u(mo)
>
0 and if k>
1,u(mo-k+
1)
u(mo- 1)
0.DEFINITION
:1.3.[21]
Thenonlinear difference equation,(1.1),
is said to be disconjugate750 J. HENDERSON AND L. LEE
Tobecomplete, weformulateDefinition 3.3asHartman did for thecase when
(1.1)
islinear, say,for the equation,(,
+
)
,(,)(,
+
-
),
(3.)
where,, "Z--R, 1_< i_<n.
DEFINITION 3.4.
[1]
Thelinear equation,(3.2),
issaid tobe disconjugate onZ provided thereisno nontrivial solutionuofequation(3.2)
which hasngeneralizedzeroson Z.For the remainderof this chapter, we adopt the following notation to distinguish boundary value problems from initial value problems. For
rn <
<
rn, inZ
and u,...,u, ER,
letu(m)
u(m;ml,...,mn,ul,...,u,)
denote thesolution of the boundary value problem,(1.1),
(3.1).
And, form0 E Z and cl,...,enR,
we willletv(m)
v(m;m0,c,...,en)
denote the solutionofthe initial valueproblem,(1.1),
(2.1), (i.e.,
v(m0
/i-1)
ci,_<
_< n).
The results ofthis sectionarepatterned somewhat after thoseinHankerson
[5].
Following that route,weobtainanaloguesof Theorems 2.1 and2.2forconjugateboundaryvalueproblems(1.1),
(3.1).
Wewillhave need of disconjugacy assumptions on(1.1)
and on the variational equation,(1.2).
Ourresultson continuous dependence makeuse ofthe BrouwerTheoremonInvarianceof Domain whichwestatehereforconvenience.THEOREM 3.5.
If
U isanopen subsetof
R’,
n dimensionalEuclidean space, and"
U
R isone tooneandcontinuouson
U,
then isahomeomorphism and(U)
isanopensubsetof
1THEOREM 3.6.
(Continuous
dependenceonboundaryvalues)
Supposecondition(A)
issat-isfied
and that(1.1)
is disconjugate on Z. Lety(m)
be a solutionof (1.1)
on[m,o),
and letrn <
m2<
<
rrtn in[m,oo)
be9iven.
Then, there exists an>
0 such that,if
7,72,.-.,7n R, withI%1
<
,
1,2,...,n, then the boundary valueproblemfor (1.1)
sat-isfyingu(mi)
y(mi)+7i,1<
<
n,has aunique solution
u(m;m,...,mr,,y(ma)
+
71,...,y(m)
+
7)-
Furthermore, as O, the solutionsu(m;ma,...,m,,y(m)
+
7,---,y(m,)
+
7-)
converge toy(m)
onImp, oo).
PKOOF. Let ml
<
m
<
< m
fi[ma,oo).
Defineb"
R R by(c,c,...,en)
(v(mx), v(m2),..., v(m,)),
where,asfro.m
above,v(m)
v(m;mt,ct,...,e,,)is
thesolutionof the initialvalueproblemfor(1.1)
satisfyingv(ml-{-i-
1)
ci,l<_
<_
Weclaimthat
b
isoneto one.Suppose
k(c,...,c,)=
b(,...,c,).
Then,SOLUTIONS OF FINITE DIFFERENCE EQUATIONS 751
v(m;m],cz,...,c.)
v(m;m,c]
c,),
for everymE[m],+oo).
Asaconsequence,
v(m
+
i-1;m,e]e,)
v(m
+
i-1;m,c],...,c,),l
_
_<
n.In
particular,(c],...
,on)
(c,...,c:).
Hence, b
is one-to-one.Now,
weclaimthatb
is continuous. Suppose((c,c,...,c))
converges to(c,c2
cn)
as l oo.By
continuousdependenceoninitialconditions,given by Theorem2.1,v(m;
m],c,..., c)
convergesto
v(m;m,c]
,c,),
for everymE[m,
+oo),
asl oo.In
particular,Therefore,
((c,...,c))
convergestocl,...,c,)
ase-
oo, and is continuous.By the Brouwer Theoremon Invarianceof Domain, is a homeomorphism onto the range,
(R"),
and@(R’)
isopeninRn.
Now,
withy(m)
thesolution inthe statement of theTheorem,(y(m),y(m2),...,y(n))
(R’).
Since(Rn)
is open, there exists an>
0, such that iflTil
<
e, 1,2,...,n, then(y(m)
4-q,l,y(m2)4-72,y(m,,)
4-7,)
b(R").
Now,
thereexistsaunique
(rl,...,
r,)
such that(,..., )
(y()
+
,
(2)
+
2,...,y()
+
).
But
bydeflation,,)
((;,
"),(;,,
)
C;,’
,)),
where
v(m;m,r
r)
isthesolutionof the initivMue problemfor(1.1),
stisfyingv(mx
+
i-1)
ri,1_< <
n.Hence,
i.e.,
v(m;
m],r]r,)
isthe solution of(1.1)
satisfyingForeach j6
N,
considerv(mi;m,r
r,)
y(mi)+
7i,1< <
n.where
and
Foreach j
N,
let((r.,)
+
71,
(r.)
+
"d,"-,
(m.)
+
V’.) e (R"),
752 J. HENDERSON AND L. LEE
U3(171)
U(Trt;
7/11 171n’/(1Tll)+
/’"""’
/(7/ln)+ n)"
Now, b
-1(R")
R"is continuous. Therefore,lim
-X(u./(ml),
%(m2),...,
lim
4-(y(rnx)
+ 3’
y(m2)
+
7,---
y(m,,)+
O-l(ili_m(v(rn,)
+
7,v(rn2)
+
7,--.
,v(m,)
+
7))
-’(v(m),v(),...,v(m,));
i.e., the initial values of
ui(m)
convergeto the initialvalues ofy(m). By
Theorem 2.1,ui(m)
converges uniformlyto
v(m)
oneachcompactsubset of[rnl,oo).
It follows thatthe solutions in the statementoftheTheorem,u(m;
m,..., m,v(rn)+
71v(rn,,)+ 7,),
convergetov(m),
as0. Theproofiscomplete.
Wenowestablish ouranalogueof Theorem2.2for conjugate problems.
THEOREM 3.r.
(Differentiation
of
solutionsof
(1.1)
with respect toboundaryvalues)
As-sumethatf satisfies (A)
and(B),
that(1.1)
isdisconjuaateonZ,
andthat thevariational equation(1.2)
isdisconjugatealon9
all solutionsof (1.1).
Letu(m)
u(rn;
ml,...,rn,,,ul,...,u,,)
be theso-8u
lution
of(1.1),
(3.1)
on[mx,oo).
Then,yor
<_
j<
n,7.,,
eistson[rnl,oo),
ariazj(m)
=_7,(m)
isthesolution
of
the variational equation,(1.2),
alon
u(m)
andsatisfies,za(mi)
ij,1_< _<
n. PROOF. We consider 0-,
forfixedj,<
j<
n. Let>
0 be as in Theorem :1.6.Let
0<
Ihl
<
be given andconsiderthe quotient,|
.()
[.(m;,
,.,,.,...,.
+
h,..)
-u(m;m
m,,u,...,%u,)].
Itsuffices to show that
limh-.o
zfl(m)
existson[rex, +oo).
Observefirstthat,zh(mi)
$i,
< <
n, foreveryh 0.For 2
<
<
n, let miu(m
+
i-1;m,...,rn,,ux,...,u,t),
and ii(h)
u(rn
+
i-1;rnx,...,rnn,ul,...,uj
+
h,...,u,)
ai. Notethat u(rnj;rn rn,,,u
u,)
ujandu(mj;m,...,rnn,u,...,uj
+
h,...,u,,)
%+
h. ByTheorem 3.6,,(h)
convergestozero,ash convergestozero, for2<
<
n.Recallingournotation,
v(m;
too,v,...,v,)
denotes thesolutionof theinitialvalueproblemfor(1.1),
satisfyingv(mo
+
i-1)
vi,<_
<_
n. Then,by usingatelescoping sum,l[u(m;
rnx
m.
ux,u,
+
h,u.)
u(m;
rnx
ux
u.)]
zti rnSOLUTIONS OF FINITE DIFFERENCE EQUATIONS 753
Now,
by Theorem2.2,solutionsof(1.1)
can bedifferentiatedwithrespectto initialvalues; i.e., 5"t,/2
’,/s
/% exist. Hence,by Theorem2.2and theMeanValue Theorem,wehavethatZ h m
-
[]31(
m vrnm.
tl -l-h,ot2 -1-2,...,n+/32(m;v(m;mj,Us,O
+
2n
+
en))e2
+
+
.(m;v(m;m,,us,a2
,o,,_,.+
.)).],
where,
#1 (m; v(m;
ms,u+
,
a2+
2,a.
+
.))
5-.,(m;mj;%
a -!- h,a2+
62,...,0n+
Cn),.(m;v(m;m,,%,a2
.-,.
+
n))
a. ,m,u,a,..
tin"a.
+
.),
and where hisbetwn0andh,andisbetween0andi,for 2,... ,n. That is,
g(m;
v(m;
mj, +h,2+
2.
+
.))
denotes thesolutionof the variationd equation,(1.2),
Mong v(m; m,
uj+
,a2+2,...
,an+n)
nd satisfies,(m+i-1)
it,W
an
+
6n))
denotes thesolution of thevariationMequation,(1.2),
dongv(m;m,%,o
+
%
a.
+
.),
and satisfies,(mz
+
1)
6,2,1 n. Continuing,#.(m;
v(m;
m,
%,02,..., a._,a.
+.))
denotes thesolutionof the viationM equation,(1.2), Mong v(m;
m,
u,
a2a.
+
.)
and satisfies.(mj+
i-1)
6i.,1 n.Note
espidly thatP2(m#)
...
#.(m)
O. Simplifyingourprevious expression forz.i,(m),
wehavez./(m)
l(m;v(m;m.i,u
+
’,2
+
2,...,n+
n))
2+2(;
(m;
,,,
+
2,...,,+
,.))
+...
+
.(m;v(m;m,u,o,...,a._,o
+
,)).
Thus,toshow lima_0
zja(m) ests,
itnowsuites toshow thatma
sts,
for 2,...,n.Now,
rec
thatzj(m)
...
z(mj_)
zjh(m+l)
...
zjh(mn)
0. Fromourlt pressionforzja(m),
we canthus write,(mi;v(m;m,uj,a
+z,...,a.
+
+...
+
n(mi;v(m;mj,uj,a,...,a._,n
+
)),
for
_<
<
j 1 and j+
<_
<
n.Thisgivesus asystem ofn-1equationsinthen- unknowns,
,,.
754 J. HENDERSON AND LINDA LEE
2
provided that
D()
D2(h)
D(h)’
Dn(h)
D(h)’
&(;,,(-))
3(,,’,;,,(.))
,,(,,;,,(.))
(-;,(-)) 3(-;,,(.))... .(m_;(.))
o
()
u02(+;(’)) 33(+’(’))... 0.(+,(.))
(.;(-))
(;(-))
0(+;(.))
Tosthat,forhsmM1,
D(h)
O,considerthedeterminer,[32(ml;v(ra;mj,
v;j,oe2an))
n(ml;V(m;mi,
j,a2,...,an))
(m/_;(m;,,,...,,))
3,(m_;(m;m,,,...,,))
D
(+;(;,,,,...,,))
,(+;(;,,,,...,,))
3(,;,(m;i,#,
,,))
3,(.;(;m,#,a
,,))
Now,ifD 0, then thereestsanontriviM finearcombination, formineru,..., r,,notM1 zero,
whichis asolution of thevariational equation,
(1.2),
alongv(m;
mj, uj,a2an),
and whichMsovarnishes atm ml,...,mi_l,mj+l,...,mn.Itfollowsasbefore
that,/(m$)
...
3n(mi)
O,sothat
7(m)
Msovanishes at m1. Specifically,7(m)
is anontrivial solutionof(1.2)
that has nzeros, whichis acontraAiction.
Thus,
D
y
0, ad soby continuity, for h sufficientlysmall,D(h)
y
O. Asaconsequence, for every2_<
_<
n,wehave thatlimh...o
e.xists. Say,lirai
SOLUTIONS OF FINITE DIFFERENCE EQUATIONS 755
Asaresult,
z.(m)
=_ limh.-O
(m;v(m;m#,u#,a,...,a,))
+...
+
(m; (;
,
,a
,a))
sts. That is,
(m;m,
,m,ul,,u,)
ests,andspedcMly,z(m)
(m).
Morver,
since,(m;(m;m,
u,a,...,a)),
n,reM1 solutions of theritionMequation,(1.2),
Mong
v(m;m,u,a,...,a,)
u(m;m,...,m,u,...,u),
wehave thatz(m)
(m)
is a solutionof(1.2)
Mong
u(m;
m,...,m,u,...,u).
Also,byelierobservations,z,()
i_
#(,)
,#, <_
<
,.
Theproofiscomplete.R.EFER.ENCES
1.
HARTMAN,
P.Difference equations: disconjugacy, principalsolutions,Green’s
functions,completemonotonicity, Trans. Amer. Math.
Soe.
246(1978)1-30.
2.
AHLBRANDT,
C.
AND
HOOKER,
J.Disconjugacycriteriafor second order linear differenceequations,in"Proceedings, 1984 Edmonton ConferenceonQualitativeProperties of Differential Equations"(W.
Allegretto andG.
J. Butler,Eds.),
pp. 15-26. University ofAlberta,1986.
3.
ELOE,
P. W.Differenceequations andmultipoint boundary valueproblems,Proc. Amer.Math. Soc. 88
(1982)
253-259.4.
ELOE,
P. W. Aboundary value problem forasystem of difference equations, Nonlinear Anal. 7(1983)
813-820.5.
HANKERSON,
D. Boundary Value Problems.for
n OrderDi.erence
Equations, Ph.D. dissertation, University of Nebraska-Lincoln, 1986.6.
ttANKERSON,
D.An
existenceand uniqueness theorem for difference equations,SIAM
J.Math. Anal. 20
(1989)1208-1217.
7.
tIANKERSON,
D.AND
PETER.SON,
A.Aclassification of thesolutionsofadifference equation accordingtotheir behavior atinfinity,J. Math. Anal.AppI.
138(1988)
249-266. 8.HOOKER,
:].AND
PATULA,
W.A
second-order nonlinear difference equation: oscillationand asymptotic behavior,J.Math. Anal. Appl. 91
(1983)
9-29.9. LADAS,
G.,
PI-IILOS, Ch. G.AND
SFICAS,
Y.G.
Necessaryandsufficientconditionsfor theoscillationofdifference equations,l,ibertasMathematicaIX
(1989).
10.
PETER.SON,
A.Boundaryvalueproblems fornntaorderlineax differenceequationSIAM J.Math. Anal. 15(1984)
124-132.11.
PETERSON,
A.Green’s
functionsfor(k,n- k)
boundary valueproblemsfor linear differenceequationsJ. Math. Anal.AppI.
124(1987)127-138.
12.
PETERSON,
A.Existenceand uniqueness theorems for nonlinear difference equations,J.
Math. Anal. Appl. 125
(1987)185-191.
13.
SMITI’I,
B.ANDTAYLOR,
W. Jr. Oscillatory and asymptoticbehaviorofcertainfourth order difference equations,RockyMountainJ.
Math. 18(1986)
403-406.14.
ELOE,
P. W.Criteria forright disfocality oflinear differenceequations,J. Math. Anal.AppI.
120(1986)
610-621.15.
ELOE,
P. W.Acomparisontheorem forlineardifference equations,Proc. Amer. Math.Soc.
103(1989)
451-457.16.
ELOE,
P. W.Eventual disconjugacy and right disfocality oflinear differenceequations,756 J. HENDERSON AND LINDA LEE
17. PEIL, T. Criteria
for
Disconjugacy and Disfocalityfor
annt’ OrderLinearDifference
Equation, Ph.D.dissertation, University of Nebras"k-Lincoln, 1990.18.
AGARWAL,
R.P.Initialandboundary valueproblemsfornthorder difference equations,Math. Slovaca36
(1986)
39-47.19.
HENDERSON,
J. Focalboundaryvalueproblemsfor nonlinear difference equationsI,
J.Math. Anal. Appl. 141
(1989)559-567.
20.
HENDERSON,
J. Focalboundary value problems for nonlinear difference equationsII,
J.Math. Anal. Appl. 141
(1989)568-579.
21.
HENDERSON,
J. Existencetheoremsfor.
boundary valueproblemsfornth ordernonlinear difference equations,SIAM
J. Math. Anal. 20(1989)
468-478.22.
HARTIAN,
P.OrdinaryDifferential
Equations,JohnWiley andSons, Inc.,
1964. 23.HENDERSON,
J. Right focal pointboundary valueproblemsfor ordinary differentialequations andvariationalequations,J.Math. Anal. Appl. 98
(1984)
363-377.24.
HENDERSON,
J.Disconjugacy, disfocality, and differentiationwithrespecttoboundary conditions,J. Math. Anal. Appl. 121(1987)1-9.
25.
BRANTLEY,
R.AND HENDERSON,
J.Some
analoguesofatheorem ofPeanofor