erist geries.

thisofprovetlo and Lon tor R: Theoren

et
defined hTo
e
equihaleTherefore,
nt froot. of
tvhpe he 1Conrergene
theorem 5 hen difion l 1 f
{ as may inteval
ae
ntinuOs by the e e,) -l tea 7
wnften be
as with (irletence
to to ontinuous
3. tatter, ca in of
.3) ,ca) f shouwi show I! eôns R. a , the
is fun stmt: is Iy-yol
= we ngthat k Iz-to| tauntFurther
&ucecsire
Yo he vealtheorerm)
in oncsti
he must that , h
R the sin
valued
r n the partia! b; Buppoee
cequen ) R.
Ì:
Jt successive estËmato Then
ct,
d dt apporimations
a\1-Io ce sum min a,b>0)
tunction
in the that
tf [k:9,2,..]
$a,
I, l ct)) pp the &uctessive f
ed dtroxiotions cx)y tor
temns he b/ satisfies and the on
> ..
(E M
the o, converga,
d enies to approxi let
retange
Tk 1,2,...) tt
onverge a
, Lipschitz c*,|t
is
it a mati
ati p-I soluhon on )|éM R.
aty ons
 The tun cti on all eiats as tontinuâLs funtion gn I and
P
C2,+,) is in R tor a în i.
Honeonox, as shotun in theoren

doun the relaion

we obtaËn detning 4, arn d, and subhracting

u,,) dt - t, ) 4+

Thoretore

ince f satisffes lLipschitz tonotton

ue obtaun

Thus if 2220 ianort modulus) on , )

l,ca),e ) MSt-26) dt kM
 The same rest is yalid in cte
Xo

We shaul prove by nd uction that P

-

P!
80en that thio is tue for pel and p2.
we hane fur
L 22o, the pof
is einilar
let us Ssum e
pm.
ASBLme fhe eq 3) tor
a tCa) ku, ) - lt,tmt)dt
and thuS
9 < 4 , ¢ _ ) ) - tlt, - )
T2) -
Lipshitz 0nditton uio (H|dt

Snce we hare assumed

fr p>m, this

dt

M
m! m+1

ME |1-Xo|

(mi)!
mt1
m

(a) - Tm (2) Mk
Cmt)
and hence 9) i3 vali d fr u p,2,....
This is just ) fur p mt!
(hy induction)
geries
I folocos from() that is,
the infinite
-0 is abs\tely
on vergant on I.
 p! than tere q
to .
in
dsten
M
4 k
less for
epower
cenee
ofthe
rtheergeot, a)
,uz)a,). a
al
tor
ia I. Î T).
inca
-
in ton invekgentjust nprobem
K
I way: in
isuhich
6eries
k]2-o) co
on
continuous
lution folowing
to
ka
leyt ing (5
|2-o
ca))
re
the 2,4 I. i
Df , 2
(o,
O 0 is on 2,
that tem
tem e
ies k
tbT auM
partial ! ai4 the 20
letting uytontinuo
and M oints
tee p
th tte series the limit that
tunetion in
ohown as yo|
we the Hmes i.inonvergent patial ,1 that
8eries
)
that pouyer that of dhou y
,plies
that
is l¢al
la)-
tnpliosk-th perties us be shows lettng implies
the from sh0wsM K
liit ,
toequal
is, fhe (et may im is
Indeed wnich The Po which This That A0, whith
That cei0 This :.This FirotThis
is )
 P!p-kti
k (FtE3)
2
-o-03J
[tx) 8M
WA P!
) t4 (kt2)
(ku)
p!
-
Mk(
)
p! (kot
e) Mk M(e)e
ko
- P!
\a) (k)
M
4
P! p
and
) em
estmate o1)-a)
hubt
iacteq (2-o
Let
nowWehare ca)
We
 xal
can
w
for
Î
|ay
in tion otain
e
for tontinuos
n
ach
) ondi
that
tenes tor -fCt, o
Lipschitz
tho
ow
ch is Un))
nd that
ct)
0)
in
fur e soluhonmust
d
tr shou ntefiesuked
tem M function 194
e o )t)f,
F must b9
qonerl cx)| q poof, en f
ftthat
now
is makesthe we Can
thus, 'em
Subia G)
ais lca)-lmitcomplete (8) prore
the
etimate
The
of R,and hae
We
the RHs to
NoW. Thus
d) To the on
Me
Me I satiftes()
henLe
,and
ca)t+| in2 proof.
each
for the
)00
completes
fat-
k
0s his
) o
Itt,totendsThis
prover
prove!
2lwhich