Lotka-Volterramodellen - Home Page of Lars Holm Jensen
Lotka-Volterramodellen - Home Page of Lars Holm Jensen
Lotka-Volterramodellen - Home Page of Lars Holm Jensen
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4<br />
KAPITEL 1. INTRODUKTION TIL<br />
DIFFERENTIALLIGNINGER<br />
En lineær 1. ordens differentialligning er en differentialligning p˚a følgende form<br />
[Jen00]:<br />
dx<br />
dt + a0x = q(t), t ∈ I (1.2)<br />
Her er a0 ∈ R, I ⊆ R, og q : I → R er en kontinuert funktion.<br />
Differentialligninger, der ikke kan skrives p˚a denne form, kaldes for ikke-lineære.<br />
Hvis q(t) ≡ 0, kaldes differentialligning (1.2) homogen, mens den kaldes inhomogen,<br />
s˚afremt q(t) ≡ 0.<br />
Vi vil nu definere, hvad der forst˚as ved en løsning til en differentialligning:<br />
Definition 1.3 En løsning til en differentialligning<br />
En funktion x(t) er en løsning til en differentialligning, s˚afremt x(t)<br />
opfylder differentialligningen ved indsættelse.<br />
Følgende sætning handler om løsningsmængden til x ′ (t) = ax(t):<br />
Sætning 1.4 Løsningen til x ′ (t) = ax(t)<br />
Lad a, k, t ∈ R. Differentialligningen x ′ (t) = ax(t) har følgende<br />
generelle løsning:<br />
x(t) = ke at<br />
Bevis. For at bevise at x(t) = ke at er en løsning, differentieres udtrykket og<br />
indsættes i x ′ (t) = ax(t):<br />
x ′ (t) = ake at = ax(t)<br />
Eftersom x(t) = ke at opfylder ligningen x ′ (t) = ax(t), er det en løsning.<br />
Herefter skal det bevises, at der ikke eksisterer løsninger p˚a en anden form.<br />
Derfor antages, at u(t) er en anden løsning. Betragt udtrykket u(t)e −at , der<br />
differentieret giver:<br />
d −at<br />
u(t)e<br />
dt<br />
= u ′ (t)e −at + u(t) −ae −at<br />
Eftersom u(t) er en løsning, er u ′ (t) = au(t). Dette indsættes i ligning (1.3):<br />
d<br />
dt (u(t)e−at ) = au(t)e −at − au(t)e −at = 0<br />
Idet den afledede af u(t)e −at giver nul, gælder at<br />
u(t)e −at = k ⇔ u(t) = ke at , k ∈ R<br />
(1.3)<br />
Det fremg˚ar heraf, at løsningen u(t) er p˚a samme form som x(t). Hermed er det<br />
ønskede bevist.