Noter til Geometri 1
Noter til Geometri 1
Noter til Geometri 1
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
af, at uligheden er gyldig for k, finder vi at<br />
|T k+1 y(t) − T k+1 x(t)| = |T (T k y)(t) − T (T k x)(t)|<br />
<br />
t<br />
≤ <br />
(f(T<br />
t0<br />
k y(s),s) − f(T k <br />
<br />
x(s),s))ds<br />
<br />
<br />
t<br />
≤ <br />
|f(T<br />
t0<br />
k y(s),s) − f(T k <br />
<br />
x(s),s)|ds<br />
<br />
<br />
t<br />
≤ c <br />
|T<br />
t0<br />
k y(s) − T k <br />
<br />
x(s)|ds<br />
<br />
<br />
t<br />
≤ c <br />
c<br />
<br />
k<br />
k! |s − t0| k <br />
<br />
y − x∞ds<br />
<br />
Dette afslutter beviset for (4.3). Da<br />
=<br />
t0<br />
c k+1<br />
(k +1)! |t − t0| k+1 y − x∞.<br />
c<br />
lim<br />
k→∞<br />
kℓk k! =0,<br />
er T k en kontraktion for <strong>til</strong>strækkelig stort k, og vi kan anvende Sætning 2.6.<br />
Lad x være det entydigt bestemte fixpunkt for T k .S˚aerxogs˚a et fixpunkt<br />
for T .ThiTk (Tx)=T (T kx)=Tx,s˚a Tx er ogs˚a et fixpunkt for T k .Da<br />
fixpunkter for T k er entydige, er Tx = x. Hvis omvendt x er et fixpunkt for<br />
T ,s˚aerx ogs˚a et fixpunkt for T k og dermed entydigt bestemt.<br />
Sætning 4.3. Antag at f : R n × I → R n er kontinuert og <strong>til</strong>fredss<strong>til</strong>ler<br />
(4.1). For ethvert t0 ∈ I og x0 ∈ R n findes en og kun en differentiabel kurve<br />
x : I → R n ,s˚aledes at<br />
x ′ (t) =f(x(t),t) og x(t0) =x0.<br />
Bevis. Lad x : I → R n være en differentiabel kurve med<br />
S˚aer<br />
x ′ (t) =f(x(t),t)ogx(t0) =x0. (4.4)<br />
x(t) =x0 +<br />
t<br />
t0<br />
f(x(s),s)ds; t ∈ I.<br />
Betragt nu vektorrummet C(I,Rn ) af kontinuerte afbildninger fra I <strong>til</strong> Rn og operatoren T<br />
Tx(t) =x0 +<br />
t<br />
t0<br />
f(x(s),s)ds; t ∈ I. (4.5)<br />
19