06.08.2013 Views

Noter til Geometri 1

Noter til Geometri 1

Noter til Geometri 1

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!