Internat. J. Math. & Math. Sci. VOL. 15 NO. (1992) 183-1BB
183
A METHOD OF SOLVING
y(k)_
f(x)y
0P.J. O’HARA, R. OSTEEN, R.S. RODRIGUEZ
Department
ofMathematicsUniversityofCentralFlorida
Orlando,
FL
32816(Received
June
4,1991)
ABSTRACT.
An
altemative method is shownfor solvingthe differentialequationy(k)-f(x)y
0 bymeansof series. Also included is a result for a
sequence
offunctions{S,,(x)}.
whichgivesconditionsKEY
WORDS
AND PHRASES.
Differentialequations,sequence
of functions.1991 AMS
SUBJECT
CLASSIFICATION CODE.
40A30.1. Introduction
Consider the differentialequation
y"
f(x)y
0for a<x<b wherefis
agivenfunction continuous on a xsb. Iff
isanalyticthen the method ofpower
seriesmay
beused tosolve fory.
However,
formoregeneral
f,
heuristicssuggestthatone "iterate"toa solutionby findingasequence
of functions{f,,(x)}:".
thatsatisfy
f,,"(x)-f,_l(x)f(x).
Thenpossiblyf,(x)
is a solution. Undersuitablehypothesisthis is indeedthecase. The results can begeneralizedtothe differential equationy(’)-f(x)y
-0asshown in TheoremA.
The proof dependsonaninteresting result,Theorem 1,whichgivesconditions that insure thatthelimit of thekhderivative isthekh
derivative of the limit. Theorem 1 generalizestheusual result
foundinAdvanced Calculusbooksfor differentiatingthe limitofa
sequence
offunctions.We
also include twoexamplesthat illustrate themethod of solution whenk 2.2.
Statement
ofTheoremsTheorem
A.
Suppose
f
is continuouson[a,b],
c[a,b],
andkis anaturalnumber. Define thesequence
of functions{f,(x)}.
by
(o)
foCx
a
)+
a)x
+...+a,
1.#
O,
f(x)
f,_l(u)" f(u)du
dul...duk_
+ n1,2
where
a"),
a
") a(’)1,areconstants,n0,1,
2(Note f,(x)
isany/h
antiderivativeofL
-(x if(x).)
Ifthe ries
L(x)
converges
uniformlyon[a,b]
tosome nctionS(x)
then)(x)
converges
-0 -0
Remark: Allderivativesattheendpointsaand b arenecessarilyone sided.
As
mentioned, theproofof TheoremA
dependson thefollowing interestingresult forsequences
of differentiable functions:Theorem1.
Suppose (i)
{S,(x)}’.
isasequence
ofreal
functions defined on an interval[a,b]
andkisanaturalnumber;
(ii)
S,’(x),S,"(x)
St,,k)(x)
exist ateachx[a,b ],
n 1,2(iii)
{St,
k)(x)}’.l
converges
uniformlyonIn,b];
{sa-l)(c)}’.l
converge
(iv)
eitherthereisac.[a,b]such
thateachof{S,(c)}’.l,
{S,’(c)}’.l,
orthere are distinctpointscl
ct
such that eachof{S,(cl)}’., S,(c2)’.1
{S,,(ck)}.l
converge.
Then
each ofthe
sequences
{S)(x)}.l
converges
uniformlyon[a,b]
todifferentiable functions, j 0,1,2 k 1,anddx---
7
S,(x)
-TS,(x)
j- 1,2 k.3. Discussionand Proofs
In
ordertoprove
Theorem1 we need somepreliminaryresults. First is a standard resultfromAdvanced Calculus.Theorem
0.
Suppose
that{S,,(x)}’.l
is asequence
of realfunctionsdifferentiableon aninterval a x b and such that(i)
{S,’(x)}.
converges
uniformlyon[a,b];
(ii)
{S,,(c)}’.
convergesfor some cIn,
b].
Then
{S,(x)}.
converges
uniformly on[a,b]
to a functionS(x),
andimS,(x)
-S’(x)-im**(
S,,(x,),
a,x b.For
ajustification
ofTheorem0,see[1],
pp.
45 I-2. Also requiredisthefollowingLenuna. Suppose
kisa naturalnumber,{p,(x)}.
is asequence
ofpolynomialseachof degree k,and cl ,c/ arek+1distinctnumbers. If
{p,(c)}.l
converges
forj 1 ,k+1 then{pn(x)}’.
converges
foreachxtE
[:1
toapolynomial h(x)
where eitherh(x)
0ordegree
ofh(x)
is k,andconvergence
is uniform oneach bounded closed interval in[:l.
Moreover,
liraProof:
Let
Q(x)
(x
cl)(x
c2)...(x
c
1).
Using
theLagrange
Interpolation
formula,we haveforeachn,
._,
p,,(c.)Q(x)
(2.1)
p,,(x)
ALTERNATIVE METHOD OF SOLUTION FOR AN ORDINARY DIFFERENTIAL EQUATION 185
Clearly
for eachx,h(x)
:-,lim
p,(x)-
kl
.
[li,,mp,(c,)lQ(x)
Q’(c)(x-c)
existsand is finite; moreoverh
(x)
isapolynomialofdegree k.For
each x in some intervalIn,
b],
/,
(p(c)-hCc))Q(x)
/,Ip’(x)-h(x)[
,
Q’(ci)(x-ci)
Mi,
Ip"(c,)-h(c)l
whereM
>0issuch thatQ(x)
max
Q,(ci)(x_ci)
M
for j- 1,2,...,k+1.(2.2)
Uniform
convergence
follows frominequality(2.2). By
firstdifferentiating(2.1)
and thenpassingtothe limit with n we obtainlimp(’(x)-
hl’(x),
xI:1.
We
proceedtotheProof of Theorem1.
We
useinductionon k. Thecasek 1isgiven byTheorem 0.So
assume the,theorem
holdsfor k 1 and let{S,(x)’.l
satisfy(i)-(iv).
If{S,,(c)}*,
{S,,
’(c
)}*
{St-)(c):
*,
eachconverge
then{S
0’-)(x)}.l
converges uniformly byTheorem 0 and hence the conclusion follows fromthe inductionhypothesisand Theorem0.
Next
suppose{S,,(Q)}*,
S,,(c2)}’
{S,,(c,)}*[
eachconverge
and defineGs,l(X
(Sk)(U)du
sk
1)(X)
sk-X)(c,)
1
2
a.,(x)
=
f
6.,_,(u)du
-S.(x)-p.(x)
where
p,(x)
:=S,(x)-
f...
f f
S{,)(ul)duldu2...du-S,(x)-G,.k(x)
is auniquely determinedpoly-k 2
nomialofdegree k-1,each n.
Repeated
useofTheorem0shows{G,,.i(x)}:’.
converges uniformlyonIn,b],
for j1,2,...,k,
and inparticular{G,,.(x)}.
converges
uniformly. Since{S,(cj)}.
converges
then
p,,
ci)
}
-1
converges,
forj 1,...,k.By
the lemma thesequence
ofpolynomials{p,
(x)
}
:’.
converges
uniformly toapolynomialh(x)
where eitherh(x).O
ordegree ofh(x)
is<k- 1, and{p]->(x)}:’.
converges
toh(-l)(x).
Becausepj’-l)(x)-St,,’-l}(cl),
n 1,2 then{S,’-)(cl)}.
converges. It
followsd(,,l
1)(x))
the induction that{St’-l)(x)}.l
converges uniformly. Also limWe
are now abletogivetheProofofTheorem
A.
ApplyTheorem tothesequence
of real functionsS,(x)-o(X)+A(x)+... +L(x),
n-o,1,2,....Note
that eachS.(x)
haskderivatives
ands:(x)
(x)
+A(x)
+ +L_(x))
/(x)
-S._,(x)’f(x)
for n 1.By
hypothesis{S,,(x)}.
converges
uniformlyon[a,b]
toS(x). Hence
{St,)(x)}.t
converges
uniformlyto
S(x),
f(x). By
Theorem1,weobtainthat thesequence
of functions{S,)(x)}’.
converges
uniformlyand
S.(x)
$,,(x)
for]
1, 2 k. Thus for a x b,lim($._(x)
]’(x))-S(x)l(x).
"/’his
proves
TheoremA.
I4. Examples and Remarks
We
givesomeapplicationsof TheoremA.
Example 1" Consider
y"
(Axk)y
0,a.,:x b,whereA,
kare constants,k 0,andf(x) Ax
is continuous andbounded byM
on[a,b].
We may
assume c 0[a,b]
andla
bl.
Let
fo(x)
andforn let
Ax
A’x
z/4lt(X)’ck
+1)(k
+2)’
fCx)’Ck
+1)(k
+2)(2k
+3)(2k
+4)’
["(x)’(k
+1)(k
+2)(2k
+3)(2k
+4)...(nk
+ 2n1)(nk
+2n)’
Thusf,"(x)-f,_(x)"
f(x)andl(x)
tora
x b,n 1,2,....eseriesLconverges
bythe ratio test
f(x)
converges
uniformlyon[a,b]
to anctionS(x)
bythe WeierstrassM-test.
Now
letgo(x)-
x and for nI,
let+3
A2x
+5g(x)’(k
+2)(k
+3)’
gzCx)’Ck
+2)(k
+3)(
+4)(
+5)
ASx
+g.(x)-(t
+2)(t
+3)( +4)(
+5)...(nt
+)(n
+ +1)’
ALTERNATIVE METHOD OF SOLUTION FOR AN ORDINARY DIFFERENTIAL EQUATION 187
the Wronskianof
S(x)
andT(x)
isW(x) -S(x)T’(x)- T(x) S’(x)
andW(0)
,,
0thenS(x)
andT(x)
arelinearly independent on
[a,b],
see e.g.[2],
pp. 111-113.It
follows that thegeneral
solution isCIS(x)+C2T(x)
forconstantsC1,
C2.
In
particularifk-0 andA>0 then(vr
"x)2"/1
sinh(x/’x)
S
xx/(
2nx)
2.
cosh(V"
x)
andT
xand if k 0 and
A
<0 then1
(-1)"
(V’x)
2-/1sin(qx)
S(x)-
o
(-1)"(x/x)2--cos(,/-[-]x)
andT(x)-,_]
(2n
+1)!
These solutions are the sameasthoseobtainedbyelementary
methods.Example 2: Consider
y"-Aey-0,
-a<x<a, whereA,
k are constants, a>0, k s0 andf(x)
-Ae.
Ae
uA
:’e.___
Let
f0(x)-
1,(X)-k2
f2(x)-(k2)(2k)2,
A,e
,
L(x)
[(k)C2k)...(nk)
Then
f,"(x)-.[,_l(x)f(x)
andIL(x)l
’"
forIxl
a,n 1,2T
series(IAI’W"(
converges
by[(’)(.
!)]
[(’)(.,)]the Ratio
Test
so]’.(x)
+Y
A’" converges uniformlyon[-a,a]
toafunctionS(x).
Now
let[("(.)l
c
=O, go(X)=X,
Ae
A
2e
2[
gl(x,
"---X
-)
g2(x,
(k,2(2k,21x
-(l
+1/2)
[(k’)(n!)]
x-l+++...+-n
Then
g,"(x)-g,_l(x)"
f(x)and
[g,(x)[
(lalel") [In[
+i-(1
+5+
+)]
"-b,
forIx[
a,n 1,2[(")(..,)1’
Since
Yb,
converges bythe RatioTest
then x +,Yl
g,(x
converges uniformlyon[-a,a]
to someT(x).
To
seethatS(x)
andT(x)
arelinearly independentletx-x(u)-
k-lln
u,,
fi-et.
Thenand
T(xCu))---ff-+..l
Ck.
n!)
---
1+.+...
+-n
S(xCu))-,.
(k’.
n!)
+-+
+Note S(x(u))
has aMaclaurin Series butT(x(u))
does not;henceS(x)
andT(x)
arelinearly independent.We
conclude with someremarks. Theorem 1isageneralization of Theorem 0and is of interestbyitself.
It
ispossibletoimproveTheorem by generalizing hypothesis(iv)
e.g.,
toincludein(iv)
a thirdalternativeasfollows: cl c,_1are distinctpointsand eachof
{S,,(c)}’
{S,(c,_)}’
and{S,,’(c)}*
converge. It may
bepossibletogeneralize TheoremA
todifferential equationsthat include intermediate derivatives,e.g.,
y"
+g(x)y’
+f(x)y
-O, f(x)
andg(x)
continuouson[a,b ];
suchageneralizationwouldrequirean improvementofTheorem 1.
As
seenin theexamples, linearly independentsolutions to the differentialequationareobtainedby using linearly independentfunctionsfor/(x).
Finally,wenotethatdifficultiesin theapplicationofTheorem
A
may
occurwhenfinding
thekthantiderivative of
f,,
_(x)f(x),
and thus this methodofsolutionmay
beimpractical
for such cases.*Note: The first author is deceased.
References
1.
OLMSTED, J. M. H.
Adv0ced
C.alculCs,
Prentice-Hall,Inc.,
Englewood
Cliffs,New
Jersey,
1961. 2.CODDINGTON,
E.
A.
An
Introduction t0 Ordinary DifferentialFxluations,
Prentice-Hall,Inc.,