Lotka-Volterramodellen - Home Page of Lars Holm Jensen
Lotka-Volterramodellen - Home Page of Lars Holm Jensen
Lotka-Volterramodellen - Home Page of Lars Holm Jensen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Sætning A.8 Taylors formel i R 2<br />
Lad p ∈ N, og lad V ⊆ R 2 være en ˚aben mængde og x, a ∈ V , som er<br />
konveks og antag endvidere, at f : V → R og f er C p i V . Hvis f’s p’te<br />
totaldifferentiale eksisterer i V , og L(x; a) ⊆ V , s˚a findes der et punkt<br />
c ∈ L(x; a), s˚a<br />
p−1<br />
1<br />
f(x) = f(a) +<br />
k! D(k) f(a; h) + 1<br />
p! D(p) f(c; h). (A.2)<br />
Her er h = x − a.<br />
k=1<br />
Bevis. Lad h = x − a. Vælg et δ > 0, s˚aledes a + th ⊂ V for<br />
t ∈ Iδ = (−δ, 1 + δ). Lad der ogs˚a være en givet funktion F (t) = f(a + th).<br />
Denne funktion er differentiabel p˚a Iδ. Ved induktion vises, at den<br />
j-te afledte af F er givet ved<br />
F (j) (t) =<br />
2<br />
· · ·<br />
i1=1<br />
for j = 1, 2, . . . , p<br />
2 ∂jf (a + th)hi1 . . . hij , (A.3)<br />
∂xi1 . . . ∂xij<br />
ij=1<br />
Basistrin: Basistrinet laves for j = 1, dvs. at den 1. afledte af F bestemmes.<br />
Hertil anvendes kædereglen i appendiks A.2:<br />
F ′ (t) = Df(a + th)(h) = ∂f<br />
(a + th)h1 +<br />
∂x1<br />
∂f<br />
(a + th)h2<br />
∂x2<br />
(A.4)<br />
Dermed gælder ligningen for j = 1.<br />
Induktionstrin: Induktionsantagelsen er, at ligningen gælder for de første (j −1)te<br />
afledede af F .<br />
Ligningen vises nu for den j-te afledede af F :<br />
F (j) (t) = D(D (j−1) f(a + th))<br />
=<br />
=<br />
=<br />
2 ∂<br />
(D<br />
∂xij<br />
(j−1) f(a + th)) · hij<br />
⎛<br />
2<br />
2 ∂<br />
⎝ · · ·<br />
∂xij<br />
2 ∂j−1 ⎞<br />
f<br />
(a + th)hi1 · · · hij−1<br />
⎠ · hij<br />
∂xi1 · · · ∂xij<br />
ij=1<br />
ij=1<br />
2<br />
· · ·<br />
i1=1<br />
ij=1<br />
ij=1<br />
ij−1=1<br />
2 ∂jf (a + th)hi1 · · · hij<br />
∂xi1 · · · ∂xij<br />
Det er hermed bevist, at ligningen gælder.<br />
Endvidere giver<br />
F (j) (0) = D (j) f(a; h), for j = 1, . . . , p − 1<br />
F (p) (t) = D (p) f(a + th; h), for t ∈ Iδ<br />
(A.5)