Tässä luvussa käsitellään differentiaaliyhtälöitä, joissa esiintyy funktioiden korkeintaan ensimmäisiä derivaattoja. Luvussa esitellään erityyppiset differentiaaliyhtälöt, niiden ratkaisukaavat sekä esimerkkejä. Lisäksi otetaan kantaa ratkaisuiden olemassaoloon ja yksikäsitteisyyteen.
Differentiaaliyhtälöitä ratkaistaessa vastaan tulee yleensä kahdenlaisia tehtäviä. Jotta ratkaisusta voisi saada täydet pisteet, tulee noudattaa seuraavia ohjeita:
Ratkaise differentiaaliyhtälö
F
(
t
,
x
,
x
′
)
=
0
{\textstyle F(t,x,x')=0}
tarkoittaa sitä, että on etsittävä kaikki derivoituvat funktiot
x
(
t
)
{\textstyle x(t)}
, jotka toteuttavat annetun DY:n. Ratkaisuja on yleensä äärettömän monta, mikä johtuu lähes aina integrointivakion mielivaltaisesta valinnasta. Ts. vastaukseksi haetaan yleistä yhtälöä, ei erikoistapausta.
{
F
(
t
,
x
,
x
′
)
=
0
x
(
t
0
)
=
x
0
{\displaystyle {\begin{cases}F(t,x,x')=0\\x(t_{0})=x_{0}\end{cases}}}
tarkoittaa sitä, että on etsittävä jokin derivoituva funktio
x
:
]
t
0
−
δ
,
t
0
+
δ
[
→
R
{\textstyle x:\,]t_{0}-\delta ,t_{0}+\delta [\,\to \mathbb {R} }
, joka toteuttaa annetun DY:n sekä alkuehdon. Ratkaisuna olevan funktion määrittelyvälissä
δ
>
0
{\textstyle \delta >0}
voi olla pieni tai suuri luku. Määrittelyjoukon on oltava avoin väli, sillä funktion derivoituvuus on määritelty aina avoimella välillä. Huomaa, että määrittelyjoukon ei tarvitse olla äärellinen väli. Myös positiivinen ja negatiivinen ääretön voivat olla välin avoimia päätepisteitä. Jos ratkaisu on olemassa, se on yksikäsitteinen.
Ratkaistaan alkuarvotehtävä
{
x
′
(
t
)
=
−
x
(
t
)
2
x
(
1
)
=
1
{\displaystyle {\begin{cases}x'(t)=-x(t)^{2}\\x(1)=1\end{cases}}}
Ensimmäisenä selvitetään yleinen ratkaisu differentiaaliyhtälölle. Tässä vaiheessa käytössämme ei vielä ole kummoisia työkaluja. DY:n kummankin puolen integrointi johtaa umpikujaan, mutta ratkaisu voidaan aina yrittää arvata ! Tehdään sivistynyt arvaus[ 1] , että
x
(
t
)
=
1
/
t
{\textstyle x(t)=1/t}
, jolloin
Esimerkki 1 : Ratkaisu on funktio
x
:
]
0
,
∞
[
→
R
{\textstyle x:\,]0,\infty [\,\to \mathbb {R} }
,
x
(
t
)
=
1
/
t
{\textstyle x(t)=1/t}
x
′
(
t
)
=
d
d
t
1
t
=
−
1
t
2
=
−
(
1
t
)
2
{\displaystyle x'(t)={\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {1}{t}}=-{\frac {1}{t^{2}}}=-\left({\frac {1}{t}}\right)^{2}}
.
Ja kuinka ollakaan, arvattu ratkaisu toteuttaa annetun DY:n! Mutta emme saa unohtaa integrointivakiota! Jos arvattuun ratkaisuun summataan mikä tahansa vakio, toteuttaa myös tämä funktio DY:n. Siis yleinen ratkaisu on
x
(
t
)
=
1
/
t
+
C
{\textstyle x(t)=1/t+C}
, missä
C
{\textstyle C}
on vakio. Seuraavaksi käytetään alkuehtoa, jotta alkuarvotehtävä toteutuisi. Sijoitetaan yleiseen ratkaisuun
x
(
1
)
=
1
{\textstyle x(1)=1}
, eli:
x
(
1
)
=
1
1
+
C
=
1
⇒
1
+
C
=
1
⇒
C
=
0
{\displaystyle {\begin{aligned}x(1)={\frac {1}{1}}+C&=1\\\Rightarrow 1+C&=1\\\Rightarrow C&=0\end{aligned}}}
Integrointivakio on ratkaistu, joten jäljelle jää enää päätellä vastauksena olevan funktion määrittelyjoukko (väli). Funktio
x
(
t
)
=
1
/
t
{\textstyle x(t)=1/t}
on määritelty joukossa
R
∖
{
0
}
{\textstyle \mathbb {R} \backslash \{0\}}
, mutta tämä joukko ei ole väli vaan kahden avoimen välin yhdiste .[ 2] Valitaan määrittelyjoukoksi
]
0
,
∞
[
{\textstyle ]0,\infty [}
, sillä se sisältää alkuehdon määräämän pisteen (
x
(
1
)
=
1
∈
]
0
,
∞
[
{\textstyle x(1)=1\in \,]0,\infty [}
).
Vastaus: Alkuarvotehtävän ratkaisu on funktio
x
:
]
0
,
∞
[
→
R
{\textstyle x:\,]0,\infty [\,\to \mathbb {R} }
,
x
(
t
)
=
1
/
t
{\textstyle x(t)=1/t}
.
Lineaariset differentiaaliyhtälöt
muokkaa
Määritelmä 1: lineaarinen differentiaaliyhtälö
muokkaa
Ensimmäisen kertaluvun DY on lineaarinen , jos se on muotoa
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
q
(
t
)
{\displaystyle x'(t)+p(t)x(t)=q(t)}
,
missä
p
,
q
:
R
→
R
{\textstyle p,q:\mathbb {R} \to \mathbb {R} }
ovat jatkuvia funktioita .
Esimerkiksi differentiaaliyhtälö
x
′
(
t
)
+
5
t
2
x
(
t
)
=
sin
(
t
)
{\textstyle x'(t)+5t^{2}x(t)=\sin(t)}
on lineaarinen. Huomaa, että funktioiden
p
{\textstyle p}
ja
q
{\textstyle q}
ei tarvitse olla lineaarisia.[ 3]
Määritelmä 2: homogeeninen differentiaaliyhtälö
muokkaa
Ensimmäisen kertaluvun lineaarinen DY on homogeeninen , jos
q
(
t
)
≡
0
{\textstyle q(t)\equiv 0}
.
Esimerkiksi differentiaaliyhtälö
x
′
(
t
)
+
(
4
t
3
−
2
)
x
(
t
)
=
0
{\textstyle x'(t)+(4t^{3}-2)x(t)=0}
on homogeeninen, mutta
x
′
(
t
)
+
4
t
3
x
(
t
)
−
2
=
0
{\textstyle x'(t)+4t^{3}x(t)-2=0}
ei ole.
Määritelmä 3: vakiokertoiminen differentiaaliyhtälö
muokkaa
Ensimmäisen kertaluvun lineaarinen DY on vakiokertoiminen , jos funktiot
p
{\textstyle p}
ja
q
{\textstyle q}
ovat vakioita.
Esimerkiksi differentiaaliyhtälö
x
′
(
t
)
−
5
x
(
t
)
=
3
{\textstyle x'(t)-5x(t)=3}
on vakiokertoiminen.
Kaikki ensimmäisen kertaluvun DY:t eivät suinkaan osu em. kategorioihin. Lisäksi DY voi olla homogeeninen ja vakiokertoiminen yhtä aikaa. Tämä onkin yksinkertaisin vastaan tuleva differentiaaliyhtälö.
Ensimmäisen kertaluvun lineaarinen, homogeeninen, vakiokertoiminen DY ratkaistaan seuraavasti:
muokkaa
Ko. differentiaaliyhtälö voidaan aina kirjoittaa muodossa
x
′
(
t
)
+
a
x
(
t
)
=
0
{\displaystyle x'(t)+ax(t)=0}
,
missä
a
∈
R
{\textstyle a\in \mathbb {R} }
on vakio. Differentiaaliyhtälöiden ratkaisussa pätee sama kuin tavallisten yhtälöidenkin: yhtälön kummankin puolen voi kertoa tai jakaa millä tahansa nollasta eroavalla luvulla tai funktiolla. Tiedetään, että funktio
e
a
t
>
0
{\textstyle \mathrm {e} ^{at}>0}
kaikilla
t
∈
R
{\textstyle t\in \mathbb {R} }
.[ 4] Näin ollen DY voidaan kertoa puolittain tällä eksponenttifunktiolla :
x
′
(
t
)
+
a
x
(
t
)
=
0
|
|
⋅
e
a
t
(
>
0
∀
t
∈
R
)
e
a
t
x
′
(
t
)
+
a
e
a
t
⏟
=
d
d
t
e
a
t
x
(
t
)
=
0
d
d
t
(
x
(
t
)
e
a
t
)
=
0
x
(
t
)
e
a
t
=
C
(
C
=
vakio
)
|
|
⋅
e
−
a
t
(
>
0
∀
t
∈
R
)
x
(
t
)
=
C
e
−
a
t
{\displaystyle {\begin{aligned}x'(t)+ax(t)&=0\qquad ||\cdot \mathrm {e} ^{at}~(>0~\forall ~t\in \mathbb {R} )\\\mathrm {e} ^{at}x'(t)+\underbrace {a\mathrm {e} ^{at}} _{={\frac {\mathrm {d} }{\mathrm {d} t}}\mathrm {e} ^{at}}x(t)&=0\\{\frac {\mathrm {d} }{\mathrm {d} t}}\left(x(t)\mathrm {e} ^{at}\right)&=0\\x(t)\mathrm {e} ^{at}&=C\qquad (C={\text{vakio}})\qquad ||\cdot \mathrm {e} ^{-at}~(>0~\forall ~t\in \mathbb {R} )\\x(t)&=C\mathrm {e} ^{-at}\end{aligned}}}
Kolmannella rivillä käytettiin tulon derivointisääntöä.[ 5] Neljäs rivi seuraa kolmannesta suoraan integroimalla yhtälön kumpikin puoli (integrointivakiota
C
{\textstyle C}
unohtamatta!). Siis lineaarisen, homogeenisen, vakiokertoimisen DY:n kaikki ratkaisut ovat muotoa
x
(
t
)
=
C
e
−
a
t
{\textstyle x(t)=C\mathrm {e} ^{-at}}
. Tästä huomataan, että ratkaisuja on äärettömän monta, koska vakio
C
{\textstyle C}
on mielivaltainen reaaliluku.
Ratkaistaan differentiaaliyhtälö
x
′
(
t
)
+
3
x
(
t
)
=
0
{\textstyle x'(t)+3x(t)=0}
. Edellä johdetun kaavan perusteella ratkaisu saadaan sijoittamalla kaavaan
a
=
3
{\textstyle a=3}
:
x
(
t
)
=
C
e
−
3
t
{\displaystyle x(t)=C\mathrm {e} ^{-3t}}
,
missä
C
{\textstyle C}
on vakio.
Lineaarinen, homogeeninen, vakiokertoiminen differentiaaliyhtälö on helpoimmin ratkaistavissa oleva 1. kertaluvun DY. Se ei kuitenkaan vielä riitä suurimpaan osaan lineaarisia differentiaaliyhtälöitä. Tarkastellaan seuraavaksi, miten ratkaistaan astetta monimutkaisempi DY.
Ensimmäisen kertaluvun lineaarinen, homogeeninen DY ratkaistaan seuraavasti:
muokkaa
Ko. differentiaaliyhtälö voidaan aina kirjoittaa muodossa
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
0
{\displaystyle x'(t)+p(t)x(t)=0}
.
Määritellään aluksi apufunktio (jatkuvan) funktion
p
{\textstyle p}
määrätyn integraalin avulla:
μ
:
]
0
,
∞
[
→
R
{\textstyle \mu :\,]0,\infty [\,\to \mathbb {R} }
,
μ
(
t
)
=
e
∫
0
t
p
(
s
)
d
s
{\displaystyle \mu (t)=\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}}
.[ 6]
Derivoidaan apufunktio[ 7] :
μ
′
(
t
)
=
e
∫
0
t
p
(
s
)
d
s
⋅
d
d
t
∫
0
t
p
(
s
)
d
s
=
e
∫
0
t
p
(
s
)
d
s
⋅
p
(
t
)
=
μ
(
t
)
p
(
t
)
{\displaystyle {\begin{aligned}\mu '(t)&=\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}\cdot {\frac {\mathrm {d} }{\mathrm {d} t}}\int _{0}^{t}p(s)\,\mathrm {d} s\\&=\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}\cdot p(t)\\&=\mu (t)p(t)\end{aligned}}}
DY ratkeaa kertomalla se puolittain apufunktiolla:
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
0
|
|
⋅
μ
(
t
)
(
>
0
∀
t
∈
R
)
μ
(
t
)
x
′
(
t
)
+
μ
(
t
)
p
(
t
)
⏟
=
μ
′
(
t
)
x
(
t
)
=
0
d
d
t
(
μ
(
t
)
x
(
t
)
)
=
0
μ
(
t
)
x
(
t
)
=
C
(
C
=
vakio
)
|
|
:
μ
(
t
)
x
(
t
)
=
C
μ
(
t
)
=
C
e
∫
0
t
p
(
s
)
d
s
=
C
e
−
∫
0
t
p
(
s
)
d
s
{\displaystyle {\begin{aligned}x'(t)+p(t)x(t)&=0\qquad ||\cdot \mu (t)~(>0~\forall ~t\in \mathbb {R} )\\\mu (t)x'(t)+\underbrace {\mu (t)p(t)} _{=\mu '(t)}x(t)&=0\\{\frac {\mathrm {d} }{\mathrm {d} t}}\left(\mu (t)x(t)\right)&=0\\\mu (t)x(t)&=C\qquad (C={\text{vakio}})\qquad ||:\mu (t)\\x(t)&={\frac {C}{\mu (t)}}={\frac {C}{\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}}}\\&=C\mathrm {e} ^{-\int _{0}^{t}p(s)\,\mathrm {d} s}\end{aligned}}}
Kolmannella rivillä käytettiin jälleen tulon derivointisääntöä. Siis lineaarisen, vakiokertoimisen DY:n kaikki ratkaisut ovat muotoa
x
(
t
)
=
C
e
−
∫
0
t
p
(
s
)
d
s
{\textstyle x(t)=C\mathrm {e} ^{-\int _{0}^{t}p(s)\,\mathrm {d} s}}
.
Apufunktiota
μ
(
t
)
=
e
∫
0
t
p
(
s
)
d
s
{\textstyle \mu (t)=\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}}
kutsutaan ko. differentiaaliyhtälön integroivaksi tekijäksi .
Ratkaistaan differentiaaliyhtälö
x
′
(
t
)
+
(
4
t
3
−
2
)
x
(
t
)
=
0
{\textstyle x'(t)+(4t^{3}-2)x(t)=0}
. Edellä johdetun kaavan perusteella ratkaisu saadaan sijoittamalla kaavaan
p
(
s
)
=
4
s
3
−
2
{\textstyle p(s)=4s^{3}-2}
. Ratkaistaan ensin integraali:
∫
0
t
p
(
s
)
d
s
=
∫
0
t
(
4
s
3
−
2
)
d
s
=
∫
0
t
4
s
3
d
s
−
∫
0
t
2
d
s
=
|
0
t
s
4
−
|
0
t
2
s
=
t
4
−
2
t
{\displaystyle {\begin{aligned}\int _{0}^{t}p(s)\,\mathrm {d} s&=\int _{0}^{t}(4s^{3}-2)\,\mathrm {d} s\\&=\int _{0}^{t}4s^{3}\,\mathrm {d} s-\int _{0}^{t}2\,\mathrm {d} s\\&={\Bigg |}_{0}^{t}s^{4}-{\Bigg |}_{0}^{t}2s\\&=t^{4}-2t\end{aligned}}}
Nyt voidaan sijoittaa saatu tulos integroivaan tekijään ja saadaan ratkaisu:
x
(
t
)
=
C
e
−
(
t
4
−
2
t
)
=
C
e
−
t
4
+
2
t
{\displaystyle x(t)=C\mathrm {e} ^{-(t^{4}-2t)}=C\mathrm {e} ^{-t^{4}+2t}}
,
missä
C
{\textstyle C}
on vakio.
Integroiva tekijä voidaan ilmaista muissakin muodoissa eksponenttifunktioiden ja integraalien laskusäännöistä johtuen:
Vakiolla kertominen; integroivaksi tekijäksi kelpaa
μ
(
t
)
=
a
e
∫
0
t
p
(
s
)
d
s
{\displaystyle \mu (t)=a\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}}
millä tahansa
a
∈
R
{\textstyle a\in \mathbb {R} }
,
a
≠
0
{\textstyle a\neq 0}
.
Todistus
Olkoon integroiva tekijä
μ
^
(
t
)
=
a
e
∫
0
t
p
(
s
)
d
s
=
a
μ
(
t
)
{\textstyle {\hat {\mu }}(t)=a\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}=a\mu (t)}
. Tällöin
μ
^
′
(
t
)
=
d
d
t
(
a
μ
(
t
)
)
=
a
μ
′
(
t
)
{\displaystyle {\hat {\mu }}'(t)={\frac {\mathrm {d} }{\mathrm {d} t}}\left(a\mu (t)\right)=a\mu '(t)}
.
Kerrotaan DY integroivalla tekijällä:
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
0
|
|
⋅
μ
^
(
t
)
μ
^
(
t
)
x
′
(
t
)
+
μ
^
(
t
)
p
(
t
)
x
(
t
)
=
0
a
μ
(
t
)
x
′
(
t
)
+
a
μ
(
t
)
p
(
t
)
x
(
t
)
=
0
|
|
:
a
μ
(
t
)
x
′
(
t
)
+
μ
(
t
)
p
(
t
)
x
(
t
)
=
0
jne.
{\displaystyle {\begin{aligned}x'(t)+p(t)x(t)&=0\qquad ||\cdot {\hat {\mu }}(t)\\{\hat {\mu }}(t)x'(t)+{\hat {\mu }}(t)p(t)x(t)&=0\\a\mu (t)x'(t)+a\mu (t)p(t)x(t)&=0\qquad ||:a\\\mu (t)x'(t)+\mu (t)p(t)x(t)&=0\qquad {\text{jne.}}\end{aligned}}}
Loput välivaiheet etenevät kuten edellä.
Q.E.D.
Integrointivälin voi muuttaa. Integroivaksi tekijäksi kelpaa
μ
(
t
)
=
e
∫
t
0
t
p
(
s
)
d
s
{\displaystyle \mu (t)=\mathrm {e} ^{\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}}
millä tahansa
t
0
∈
R
{\textstyle t_{0}\in \mathbb {R} }
.
Todistus
Olkoon integroiva tekijä
μ
^
(
t
)
=
e
∫
t
0
t
p
(
s
)
d
s
{\textstyle {\hat {\mu }}(t)=\mathrm {e} ^{\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}}
. Toisaalta määrätyn integraalin laskusääntöjen nojalla:
∫
t
0
t
p
(
s
)
d
s
=
∫
t
0
0
p
(
s
)
d
s
+
∫
0
t
p
(
s
)
d
s
=
∫
0
t
p
(
s
)
d
s
−
∫
0
t
0
p
(
s
)
d
s
{\displaystyle {\begin{aligned}\int _{t_{0}}^{t}p(s)\,\mathrm {d} s&=\int _{t_{0}}^{0}p(s)\,\mathrm {d} s+\int _{0}^{t}p(s)\,\mathrm {d} s\\&=\int _{0}^{t}p(s)\,\mathrm {d} s-\int _{0}^{t_{0}}p(s)\,\mathrm {d} s\end{aligned}}}
Tällöin
μ
^
(
t
)
=
e
∫
t
0
t
p
(
s
)
d
s
=
e
(
∫
0
t
p
(
s
)
d
s
−
∫
0
t
0
p
(
s
)
d
s
)
=
(
e
−
∫
0
t
0
p
(
s
)
d
s
)
⏟
=
a
(
=
vakio
)
⋅
e
∫
0
t
p
(
s
)
d
s
=
a
e
∫
0
t
p
(
s
)
d
s
{\displaystyle {\begin{aligned}{\hat {\mu }}(t)&=\mathrm {e} ^{\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}\\&=\mathrm {e} ^{\left(\int _{0}^{t}p(s)\,\mathrm {d} s-\int _{0}^{t_{0}}p(s)\,\mathrm {d} s\right)}\\&=\underbrace {\left(\mathrm {e} ^{-\int _{0}^{t_{0}}p(s)\,\mathrm {d} s}\right)} _{=a(={\text{vakio}})}\cdot \mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}\\&=a\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}\end{aligned}}}
Loput todistuksesta nojaa edelliseen kohtaan (vakiolla kertominen).
Q.E.D.
Entäpä sitten, jos DY ei olekaan homogeeninen?
Ensimmäisen kertaluvun lineaarinen, yleinen DY ratkaistaan seuraavasti:
muokkaa
Kuten määritelmässä 1 todettiin, ko. differentiaaliyhtälö voidaan aina kirjoittaa muodossa
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
q
(
t
)
{\displaystyle x'(t)+p(t)x(t)=q(t)}
.
Ratkaisussa käytetään samaa apufunktiota (eli integroivaa tekijää) kuin homogeenisen DY:n ratkaisussa:
μ
(
t
)
=
e
∫
0
t
p
(
s
)
d
s
{\displaystyle \mu (t)=\mathrm {e} ^{\int _{0}^{t}p(s)\,\mathrm {d} s}}
Kerrotaan DY puolittain integroivalla tekijällä, jolloin päädytään lopulta ratkaisuun:
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
q
(
t
)
|
|
⋅
μ
(
t
)
(
>
0
∀
t
∈
R
)
μ
(
t
)
x
′
(
t
)
+
μ
(
t
)
p
(
t
)
⏟
=
μ
′
(
t
)
x
(
t
)
=
μ
(
t
)
q
(
t
)
μ
(
t
)
x
′
(
t
)
+
μ
′
(
t
)
x
(
t
)
=
μ
(
t
)
q
(
t
)
d
d
t
(
μ
(
t
)
x
(
t
)
)
=
μ
(
t
)
q
(
t
)
∫
0
t
d
d
s
(
μ
(
s
)
x
(
s
)
)
d
s
=
∫
0
t
μ
(
s
)
q
(
s
)
d
s
μ
(
t
)
x
(
t
)
−
μ
(
0
)
x
(
0
)
⏟
=
C
(
=
vakio
)
=
∫
0
t
μ
(
s
)
q
(
s
)
d
s
|
|
+
C
μ
(
t
)
x
(
t
)
=
∫
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
|
|
:
μ
(
t
)
x
(
t
)
=
1
μ
(
t
)
[
∫
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
{\displaystyle {\begin{aligned}x'(t)+p(t)x(t)&=q(t)\qquad ||\cdot \mu (t)~(>0~\forall ~t\in \mathbb {R} )\\\mu (t)x'(t)+\underbrace {\mu (t)p(t)} _{=\mu '(t)}x(t)&=\mu (t)q(t)\\\mu (t)x'(t)+\mu '(t)x(t)&=\mu (t)q(t)\\{\frac {\mathrm {d} }{\mathrm {d} t}}\left(\mu (t)x(t)\right)&=\mu (t)q(t)\\\int _{0}^{t}{\frac {\mathrm {d} }{\mathrm {d} s}}\left(\mu (s)x(s)\right)\,\mathrm {d} s&=\int _{0}^{t}\mu (s)q(s)\,\mathrm {d} s\\\mu (t)x(t)-\underbrace {\mu (0)x(0)} _{=C(={\text{vakio}})}&=\int _{0}^{t}\mu (s)q(s)\,\mathrm {d} s\qquad ||+C\\\mu (t)x(t)&=\int _{0}^{t}\mu (s)q(s)\,\mathrm {d} s+C\qquad ||:\mu (t)\\x(t)&={\frac {1}{\mu (t)}}\left[\int _{0}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]\end{aligned}}}
Neljännellä rivillä käytettiin jälleen kerran tulon derivointisääntöä. Huomaa, että yhtälön integroiminen (määrätysti) puolittain ei ''hävitä'' derivaattaa![ 8] Integroiva tekijä liittyy siis yleiseen ratkaisuun kahdessa eri kohdassa. Ratkaisu on hyvin määritelty, sillä funktiot
μ
{\textstyle \mu }
ja
q
{\textstyle q}
ovat jatkuvia, joten niiden tulo on myös jatkuvana funktiona kaikkialla integroituva.
Ratkaistaan differentiaaliyhtälö
x
′
(
t
)
−
2
t
x
(
t
)
=
6
{\textstyle x'(t)-2tx(t)=6}
. Selvitetään ensimmäisenä integroiva tekijä. Edellä johdetun kaavan nojalla pitää sijoittaa
p
(
t
)
=
−
2
t
{\textstyle p(t)=-2t}
ja
q
(
t
)
≡
6
{\textstyle q(t)\equiv 6}
:
μ
(
t
)
=
e
−
∫
0
t
2
s
d
s
=
e
−
|
0
t
s
2
=
e
−
t
2
{\displaystyle \mu (t)=\mathrm {e} ^{-\int _{0}^{t}2s\,\mathrm {d} s}=\mathrm {e} ^{-{\big |}_{0}^{t}s^{2}}=\mathrm {e} ^{-t^{2}}}
DY:n ratkaisu on tällöin:
x
(
t
)
=
1
μ
(
t
)
[
∫
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
=
1
e
−
t
2
[
∫
0
t
6
e
−
s
2
d
s
+
C
]
=
e
t
2
[
6
∫
0
t
e
−
s
2
d
s
+
C
]
{\displaystyle {\begin{aligned}x(t)&={\frac {1}{\mu (t)}}\left[\int _{0}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]\\&={\frac {1}{\mathrm {e} ^{-t^{2}}}}\left[\int _{0}^{t}6\mathrm {e} ^{-s^{2}}\,\mathrm {d} s+C\right]\\&=\mathrm {e} ^{t^{2}}\left[6\int _{0}^{t}\mathrm {e} ^{-s^{2}}\,\mathrm {d} s+C\right]\end{aligned}}}
Valitettavasti ratkaisu pysähtyy tähän, sillä integraalilla
∫
0
t
e
−
s
2
d
s
{\textstyle \int _{0}^{t}\mathrm {e} ^{-s^{2}}\,\mathrm {d} s}
ei ole olemassa analyyttistä ratkaisua . Näin ollen vastaus täytyy jättää tähän muotoon.
Jos
p
{\textstyle p}
ja
q
{\textstyle q}
ovat jatkuvia vain jollain välillä
I
=
]
a
,
b
[
{\textstyle I=\,]a,b[}
, niin DY:n ratkaisu saadaan samalla kaavalla. Jos
p
,
q
:
I
→
R
{\textstyle p,q:I\to \mathbb {R} }
ovat jatkuvia ja
t
0
∈
I
{\textstyle t_{0}\in I}
, niin alkuarvotehtävällä
{
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
q
(
t
)
x
(
t
0
)
=
x
0
{\displaystyle {\begin{cases}x'(t)+p(t)x(t)=q(t)\\x(t_{0})=x_{0}\end{cases}}}
on tasan yksi ratkaisu
x
:
I
→
R
{\textstyle x:I\to \mathbb {R} }
, joka on muotoa
x
(
t
)
=
1
μ
(
t
)
[
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
x
0
]
{\displaystyle x(t)={\frac {1}{\mu (t)}}\left[\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+x_{0}\right]}
,
missä
μ
(
t
)
=
e
∫
t
0
t
p
(
s
)
d
s
{\textstyle \mu (t)=\mathrm {e} ^{\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}}
ja
μ
(
t
0
)
=
1
{\textstyle \mu (t_{0})=1}
.
Lauseen 1 todistus
Koska
d
d
t
(
1
μ
(
t
)
)
=
d
d
t
e
−
∫
t
0
t
p
(
s
)
d
s
=
−
p
(
t
)
e
−
∫
t
0
t
p
(
s
)
d
s
=
−
p
(
t
)
μ
(
t
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {1}{\mu (t)}}\right)={\frac {\mathrm {d} }{\mathrm {d} t}}\mathrm {e} ^{-\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}=-p(t)\mathrm {e} ^{-\int _{t_{0}}^{t}p(s)\,\mathrm {d} s}=-{\frac {p(t)}{\mu (t)}}}
,
niin
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
d
d
t
[
1
μ
(
t
)
∫
t
0
t
μ
(
s
)
p
(
s
)
d
s
+
C
]
+
p
(
t
)
[
1
μ
(
t
)
∫
t
0
t
μ
(
s
)
p
(
s
)
d
s
+
C
]
=
−
p
(
t
)
μ
(
t
)
[
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
+
1
μ
(
t
)
(
μ
(
t
)
q
(
t
)
)
+
p
(
t
)
[
1
μ
(
t
)
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
=
−
p
(
t
)
μ
(
t
)
[
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
+
p
(
t
)
μ
(
t
)
[
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
+
μ
(
t
)
μ
(
t
)
q
(
t
)
=
q
(
t
)
{\displaystyle {\begin{aligned}x'(t)+p(t)x(t)&={\frac {\mathrm {d} }{\mathrm {d} t}}\left[{\frac {1}{\mu (t)}}\int _{t_{0}}^{t}\mu (s)p(s)\,\mathrm {d} s+C\right]+p(t)\left[{\frac {1}{\mu (t)}}\int _{t_{0}}^{t}\mu (s)p(s)\,\mathrm {d} s+C\right]\\&=-{\frac {p(t)}{\mu (t)}}\left[\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]+{\frac {1}{\mu (t)}}\left(\mu (t)q(t)\right)+p(t)\left[{\frac {1}{\mu (t)}}\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]\\&=-{\frac {p(t)}{\mu (t)}}\left[\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]+{\frac {p(t)}{\mu (t)}}\left[\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right]+{\frac {\mu (t)}{\mu (t)}}q(t)\\&=q(t)\end{aligned}}}
Toisaalta
x
(
t
0
)
=
x
0
{\textstyle x(t_{0})=x_{0}}
. Tämä on ainoa ratkaisu, sillä kaikki DY:n
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
q
(
t
)
{\textstyle x'(t)+p(t)x(t)=q(t)}
ratkaisut ovat muotoa
x
(
t
)
=
1
μ
(
t
)
[
∫
t
0
t
μ
(
s
)
q
(
s
)
d
s
+
C
]
,
C
=
vakio
{\displaystyle x(t)={\frac {1}{\mu (t)}}\left[\int _{t_{0}}^{t}\mu (s)q(s)\,\mathrm {d} s+C\right],\quad C={\text{vakio}}}
.
Ehdosta
x
(
t
0
)
=
x
0
{\textstyle x(t_{0})=x_{0}}
seuraa, että
C
=
x
0
{\textstyle C=x_{0}}
.
Q.E.D.
Ratkaistaan DY
t
x
′
(
t
)
+
2
x
(
t
)
=
4
t
2
{\textstyle tx'(t)+2x(t)=4t^{2}}
alkuehdolla a)
x
(
1
)
=
2
{\textstyle x(1)=2}
b)
x
(
1
)
=
1
{\textstyle x(1)=1}
. HUOM! nyt on koko tehtävän ajan
t
0
=
1
{\textstyle t_{0}=1}
.
Kirjoitetaan DY muodossa
x
′
(
t
)
+
2
t
x
(
t
)
=
4
t
{\displaystyle x'(t)+{\frac {2}{t}}x(t)=4t}
,
t
>
0
{\textstyle t>0}
.[ 9]
Integroiva tekijä on tällöin:
μ
(
t
)
=
e
∫
1
t
2
s
d
s
=
e
2
|
1
t
ln
s
=
e
2
(
ln
t
−
ln
1
)
=
e
ln
t
2
=
t
2
(
>
0
,
koska
t
>
0
)
{\displaystyle {\begin{aligned}\mu (t)&=\mathrm {e} ^{\int _{1}^{t}{\frac {2}{s}}\,\mathrm {d} s}=\mathrm {e} ^{2{\big |}_{1}^{t}\ln s}\\&=\mathrm {e} ^{2(\ln t-\ln 1)}=\mathrm {e} ^{\ln t^{2}}\\&=t^{2}~(>0,~{\text{koska}}~t>0)\end{aligned}}}
Kerrotaan muokattu DY integroivalla tekijällä:
x
′
(
t
)
+
2
t
x
(
t
)
=
4
t
|
|
⋅
t
2
t
2
x
′
(
t
)
+
2
t
⏟
=
d
d
t
t
2
x
(
t
)
=
4
t
3
d
d
t
(
t
2
x
(
t
)
)
=
4
t
3
∫
1
t
d
d
s
(
s
2
x
(
s
)
)
d
s
=
∫
1
t
4
s
3
d
s
t
2
x
(
t
)
+
C
1
=
t
4
−
1
|
C
1
=
vakio
|
|
−
C
1
t
2
x
(
t
)
=
t
4
+
C
|
C
=
−
C
1
−
1
=
vakio
|
|
:
t
2
(
>
0
∀
t
>
0
)
x
(
t
)
=
t
2
+
C
t
2
{\displaystyle {\begin{aligned}x'(t)+{\frac {2}{t}}x(t)&=4t\qquad ||\cdot t^{2}\\t^{2}x'(t)+\underbrace {2t} _{={\frac {\mathrm {d} }{\mathrm {d} t}}t^{2}}x(t)&=4t^{3}\\{\frac {\mathrm {d} }{\mathrm {d} t}}\left(t^{2}x(t)\right)&=4t^{3}\\\int _{1}^{t}{\frac {\mathrm {d} }{\mathrm {d} s}}\left(s^{2}x(s)\right)\,\mathrm {d} s&=\int _{1}^{t}4s^{3}\,\mathrm {d} s\\t^{2}x(t)+C_{1}&=t^{4}-1\qquad |C_{1}={\text{vakio}}\qquad ||-C_{1}\\t^{2}x(t)&=t^{4}+C\qquad |C=-C_{1}-1={\text{vakio}}\qquad ||:t^{2}~(>0~\forall ~t>0)\\x(t)&=t^{2}+{\frac {C}{t^{2}}}\end{aligned}}}
Siis yleinen ratkaisu on
x
:
]
0
,
∞
[
→
R
{\textstyle x:\,]0,\infty [\,\to \mathbb {R} }
,
x
(
t
)
=
t
2
+
C
/
t
2
{\textstyle x(t)=t^{2}+C/t^{2}}
, missä
C
=
vakio
{\textstyle C={\text{vakio}}}
.
Esimerkki 5 : alkuarvotehtävän ratkaisu voi riippua hyvinkin voimakkaasti annetusta alkuehdosta.
a) Sijoitetaan ratkaisuun
x
(
1
)
=
2
{\textstyle x(1)=2}
:
x
(
1
)
=
1
2
+
C
1
2
=
1
+
C
=
2
⇒
C
=
1
{\displaystyle {\begin{aligned}x(1)=1^{2}+{\frac {C}{1^{2}}}=1+C&=2\\\Rightarrow C&=1\end{aligned}}}
Vastaus: Alkuarvotehtävän ratkaisu on funktio
x
:
]
0
,
∞
[
→
R
{\textstyle x:\,]0,\infty [\,\to \mathbb {R} }
,
x
(
t
)
=
t
2
+
1
/
t
2
{\textstyle x(t)=t^{2}+1/t^{2}}
.
b) Sijoitetaan ratkaisuun
x
(
1
)
=
1
{\textstyle x(1)=1}
:
x
(
1
)
=
1
2
+
C
1
2
=
1
+
C
=
1
⇒
C
=
0
{\displaystyle {\begin{aligned}x(1)=1^{2}+{\frac {C}{1^{2}}}=1+C&=1\\\Rightarrow C&=0\end{aligned}}}
Vastaus: Alkuarvotehtävän ratkaisu on funktio
x
:
]
0
,
∞
[
→
R
{\textstyle x:\,]0,\infty [\,\to \mathbb {R} }
,
x
(
t
)
=
t
2
{\textstyle x(t)=t^{2}}
.
HUOM! Esimerkissä 5 esiintyvä vakio
C
1
{\textstyle C_{1}}
on peräisin määrätyn integraalin alarajasta.[ 8] Yhtä hyvin voidaan tehdä seuraavasti:
⋮
∫
1
t
d
d
s
(
s
2
x
(
s
)
)
d
s
=
∫
1
t
4
s
3
d
s
t
2
x
(
t
)
−
1
2
⋅
x
(
1
)
=
t
4
−
1
|
|
+
x
(
1
)
t
2
x
(
t
)
=
t
4
+
x
(
1
)
−
1
|
|
:
t
2
(
>
0
∀
t
>
0
)
x
(
t
)
=
t
2
+
x
(
1
)
−
1
t
2
{\displaystyle {\begin{aligned}&\vdots \\\int _{1}^{t}{\frac {\mathrm {d} }{\mathrm {d} s}}\left(s^{2}x(s)\right)\,\mathrm {d} s&=\int _{1}^{t}4s^{3}\,\mathrm {d} s\\t^{2}x(t)-1^{2}\cdot x(1)&=t^{4}-1\qquad ||+x(1)\\t^{2}x(t)&=t^{4}+x(1)-1\qquad ||:t^{2}~(>0~\forall ~t>0)\\x(t)&=t^{2}+{\frac {x(1)-1}{t^{2}}}\end{aligned}}}
Nyt ratkaisun riippuvuus alkuehdosta tulee helpommin näkyviin.
Separoituvat differentiaaliyhtälöt
muokkaa
Ensimmäinen erikoistapaus epälineaarisissa differentiaaliyhtälöissä on separoituva DY. Tarkastellaan pelkästään normaalimuotoisia DY:itä:
x
′
(
t
)
=
f
(
t
,
x
)
{\displaystyle x'(t)=f(t,x)}
,
sillä yleiselle yhtälölle ei ole olemassa eksplisiittistä ratkaisua joitain erikoistapauksia lukuunottamatta.
Määritelmä 4: separoituva differentiaaliyhtälö
muokkaa
Ensimmäisen kertaluvun DY on separoituva , jos se on muotoa
x
′
(
t
)
=
g
(
t
)
h
(
x
)
{\displaystyle x'(t)=g(t)h(x)}
missä
g
,
h
:
R
→
R
{\textstyle g,h:\mathbb {R} \to \mathbb {R} }
ovat jatkuvia funktioita.
Esimerkiksi differentiaaliyhtälö
x
′
(
t
)
=
(
sin
3
t
+
3
t
−
1
)
x
2
+
1
{\textstyle x'(t)=(\sin ^{3}t+3t-1){\sqrt {x^{2}+1}}}
on separoituva. Myös kaikki lineaariset, homogeeniset DY:t ovat separoituvia:
x
′
(
t
)
+
p
(
t
)
x
(
t
)
=
0
⇒
x
′
(
t
)
=
−
p
(
t
)
⏟
=
g
(
t
)
⋅
x
(
t
)
⏟
=
h
(
x
)
{\displaystyle {\begin{aligned}x'(t)+p(t)x(t)&=0\\\Rightarrow x'(t)&=\underbrace {-p(t)} _{=g(t)}\cdot \underbrace {x(t)} _{=h(x)}\end{aligned}}}
Separoituva DY ratkaistaan seuraavasti:
muokkaa
Jos
h
(
x
)
>
0
{\textstyle h(x)>0}
kaikilla
x
∈
R
{\textstyle x\in \mathbb {R} }
, niin separoituva DY voidaan kirjoittaa muodossa
1
h
(
x
)
x
′
=
g
(
t
)
{\displaystyle {\frac {1}{h(x)}}x'=g(t)}
(1)
(Vastaavat päätelmät pätevät myös, jos
h
(
x
)
<
0
{\textstyle h(x)<0}
kaikilla
x
∈
R
{\textstyle x\in \mathbb {R} }
). DY:n separointi perustuu derivaatan merkitsemiseen Leibnizin merkintätapaa, jota on jo joissain yhteyksissä käytettykin:
x
′
≡
d
x
d
t
{\displaystyle x'\equiv {\frac {\mathrm {d} x}{\mathrm {d} t}}}
Tällöin:
1
h
(
x
)
d
x
d
t
=
g
(
t
)
|
|
⋅
d
t
1
h
(
x
)
d
x
=
g
(
t
)
d
t
{\displaystyle {\begin{aligned}{\frac {1}{h(x)}}{\frac {\mathrm {d} x}{\mathrm {d} t}}&=g(t)\qquad ||\cdot \mathrm {d} t\\{\frac {1}{h(x)}}\,\mathrm {d} x&=g(t)\,\mathrm {d} t\end{aligned}}}
⇒
∫
1
h
(
x
)
d
x
=
∫
g
(
t
)
d
t
{\displaystyle \Rightarrow \int {\frac {1}{h(x)}}\,\mathrm {d} x=\int g(t)\,\mathrm {d} t}
(2)
Resepti yhtälön (1) ratkaisemiseksi on:
Kirjoita yhtälö (1) muodossa (2).
Integroi (2). Muista integrointivakiot!
Ratkaise
x
(
t
)
{\textstyle x(t)}
integroidusta kaavasta (2).
Ratkaistaan alkuarvotehtävä
{
x
′
=
t
1
+
x
x
(
0
)
=
1
{\displaystyle {\begin{cases}x'=\displaystyle {\frac {t}{1+x}}\\x(0)=1\end{cases}}}
Differentiaaliyhtälö on separoituva:
g
(
t
)
=
t
{\textstyle g(t)=t}
ja
h
(
x
)
=
(
1
+
x
)
−
1
{\textstyle h(x)=(1+x)^{-1}}
. Tiedetään, että
h
(
x
)
>
0
{\textstyle h(x)>0}
ja jatkuva kaikilla
x
>
−
1
{\textstyle x>-1}
(ei kannata valita aluetta
h
(
x
)
<
0
{\textstyle h(x)<0}
, sillä
x
<
−
1
{\textstyle x<-1}
ei voi toteuttaa alkuehtoa). Ratkaistaan DY:
d
x
d
t
=
t
1
+
x
⇒
(
1
+
x
)
d
x
=
t
d
t
⇒
∫
(
1
+
x
)
d
x
=
∫
t
d
t
x
+
1
2
x
2
+
C
1
=
1
2
t
2
+
C
2
|
|
⋅
2
|
C
1
,
C
2
vakioita
2
x
+
x
2
=
t
2
+
2
(
C
2
−
C
1
)
⏟
=
C
(
=
vakio
)
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} x}{\mathrm {d} t}}&={\frac {t}{1+x}}\\\Rightarrow (1+x)\,\mathrm {d} x&=t\,\mathrm {d} t\\\Rightarrow \int (1+x)\,\mathrm {d} x&=\int t\,\mathrm {d} t\\x+{\frac {1}{2}}x^{2}+C_{1}&={\frac {1}{2}}t^{2}+C_{2}\qquad ||\cdot 2\qquad |~C_{1},C_{2}{\text{ vakioita}}\\2x+x^{2}&=t^{2}+\underbrace {2(C_{2}-C_{1})} _{=C~(={\text{vakio}})}\end{aligned}}}
Käytetään alkuehtoa: kun
t
=
0
{\textstyle t=0}
, niin
x
=
1
{\textstyle x=1}
. Sijoitetaan tämä tieto viimeiselle riville:
2
⋅
1
+
1
2
=
3
=
0
2
+
C
=
C
{\textstyle 2\cdot 1+1^{2}=3=0^{2}+C=C}
. Nyt voidaan johtaa DY:n yleinen ratkaisu:
2
x
+
x
2
=
t
2
+
3
|
|
−
(
t
2
+
3
)
x
2
+
2
x
−
t
3
−
3
=
0
⇒
x
=
−
2
±
2
2
−
4
⋅
1
⋅
(
−
t
2
−
3
)
2
=
−
1
±
t
2
+
4
{\displaystyle {\begin{aligned}2x+x^{2}&=t^{2}+3\qquad ||-(t^{2}+3)\\x^{2}+2x-t^{3}-3&=0\\\Rightarrow x&={\frac {-2\pm {\sqrt {2^{2}-4\cdot 1\cdot (-t^{2}-3)}}}{2}}\\&=-1\pm {\sqrt {t^{2}+4}}\end{aligned}}}
Toisen asteen yhtälön ratkaisukaava antaa kaksi eri juurta. Mutta kumpi niistä määrittelee ratkaisun? Muistetaan, että alussa oletettiin
x
>
−
1
{\textstyle x>-1}
. Näin ollen juuri
x
=
−
1
−
t
2
+
4
<
−
1
∀
t
∈
R
{\textstyle x=-1-{\sqrt {t^{2}+4}}<-1~\forall ~t\in \mathbb {R} }
ei kelpaa. Toisaalta helpompi tapa on käyttää alkuehtoa. Sijoitetaan
t
=
0
{\textstyle t=0}
ja
x
=
1
{\textstyle x=1}
ja katsotaan, kumpi juurista toteuttaa yhtälön. Jos kumpikaan ei toteuta yhtälöä, on 2. asteen yhtälö todennäköisesti ratkaistu väärin.
Vastaus: Alkuarvotehtävän ratkaisu on funktio
x
:
R
→
R
{\textstyle x:\mathbb {R} \to \mathbb {R} }
,
x
(
t
)
=
−
1
+
t
2
+
4
{\textstyle x(t)=-1+{\sqrt {t^{2}+4}}}
.
Ratkaistaan alkuarvotehtävä
{
x
′
=
x
cos
t
1
+
2
x
2
x
(
0
)
=
1
{\displaystyle {\begin{cases}x'=x\displaystyle {\frac {\cos t}{1+2x^{2}}}\\x(0)=1\end{cases}}}
Differentiaaliyhtälö on separoituva:
g
(
t
)
=
cos
t
{\textstyle g(t)=\cos t}
ja
h
(
x
)
=
x
/
(
1
+
2
x
2
)
{\textstyle h(x)=x/(1+2x^{2})}
. Tiedetään, että
h
(
x
)
>
0
{\textstyle h(x)>0}
ja jatkuva kaikilla
x
>
0
{\textstyle x>0}
(alkuehto!). Ratkaistaan DY:
d
x
d
t
=
x
1
+
2
x
2
cos
t
⇒
1
+
2
x
2
x
d
x
=
cos
t
d
t
⇒
∫
1
x
d
x
+
2
∫
x
d
x
=
∫
cos
t
d
t
ln
x
+
C
1
+
x
2
+
C
2
=
sin
t
+
C
3
|
|
−
(
C
1
+
C
2
)
|
C
1
,
C
2
,
C
3
vakioita
ln
x
+
x
2
=
sin
t
+
C
3
−
C
1
−
C
2
⏟
=
C
(
=
vakio
)
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} x}{\mathrm {d} t}}&={\frac {x}{1+2x^{2}}}\cos t\\\Rightarrow {\frac {1+2x^{2}}{x}}\,\mathrm {d} x&=\cos t\,\mathrm {d} t\\\Rightarrow \int {\frac {1}{x}}\,\mathrm {d} x+2\int x\,\mathrm {d} x&=\int \cos t\,\mathrm {d} t\\\ln x+C_{1}+x^{2}+C_{2}&=\sin t+C_{3}\qquad ||-(C_{1}+C_{2})\qquad |~C_{1},C_{2},C_{3}{\text{ vakioita}}\\\ln x+x^{2}&=\sin t+\underbrace {C_{3}-C_{1}-C_{2}} _{=C~(={\text{vakio}})}\end{aligned}}}
Alkuehto: kun
t
=
0
{\textstyle t=0}
, niin
x
=
1
{\textstyle x=1}
. Tällöin
ln
1
+
1
2
=
1
=
sin
0
+
C
=
C
{\textstyle \ln 1+1^{2}=1=\sin 0+C=C}
. DY:n yleinen ratkaisu on tällöin
ln
(
x
(
t
)
)
+
x
(
t
)
2
=
sin
t
+
1
{\textstyle \ln(x(t))+x(t)^{2}=\sin t+1}
. Tällä yhtälöllä ei ole eksplisiittistä ratkaisua.
Vastaus: Alkuarvotehtävän ratkaisu on funktio
ln
(
x
(
t
)
)
+
x
(
t
)
2
=
sin
t
+
1
{\textstyle \ln(x(t))+x(t)^{2}=\sin t+1}
,
x
>
0
{\textstyle x>0}
.
Olkoon
g
:
]
a
,
b
[
→
R
{\textstyle g:\,]a,b[\,\to \mathbb {R} }
ja
h
:
]
α
,
β
[
→
R
{\textstyle h:\,]\alpha ,\beta [\,\to \mathbb {R} }
jatkuvasti derivoituvia[ 10] funktioita sekä
t
0
∈
]
a
,
b
[
{\textstyle t_{0}\in \,]a,b[}
ja
x
0
∈
]
α
,
β
[
{\textstyle x_{0}\in \,]\alpha ,\beta [}
. Tällöin alkuarvotehtävällä
{
x
′
(
t
)
=
g
(
t
)
h
(
x
)
x
(
t
0
)
=
x
0
{\displaystyle {\begin{cases}x'(t)=g(t)h(x)\\x(t_{0})=x_{0}\end{cases}}}
on olemassa yksikäsitteinen ratkaisu, joka on määritelty välillä
]
t
0
−
δ
,
t
0
+
δ
[
{\textstyle ]t_{0}-\delta ,t_{0}+\delta [}
jollain
δ
>
0
{\textstyle \delta >0}
. Tällöin:
Jos
h
(
x
0
)
=
0
{\textstyle h(x_{0})=0}
, niin ratkaisu on vakiofunktio
x
(
t
)
≡
x
0
{\textstyle x(t)\equiv x_{0}}
.
Jos
h
(
x
0
)
≠
0
{\textstyle h(x_{0})\neq 0}
, niin ratkaisu voidaan selvittää yhtälöstä
∫
x
0
x
(
t
)
d
x
h
(
x
)
=
∫
t
0
t
g
(
s
)
d
s
{\displaystyle \int _{x_{0}}^{x(t)}{\frac {\mathrm {d} x}{h(x)}}=\int _{t_{0}}^{t}g(s)\,\mathrm {d} s}
. (
♠
{\textstyle \spadesuit }
)
Olemassaolon todistus
Yhtälö (
♠
{\textstyle \spadesuit }
) määrittelee funktion. Oletetaan, että
h
(
x
)
>
0
{\textstyle h(x)>0}
kaikilla
x
∈
]
α
,
β
[
{\textstyle x\in \,]\alpha ,\beta [}
. Tällöin funktio
H
:
]
α
,
β
[
→
R
{\textstyle H:\,]\alpha ,\beta [\,\to \mathbb {R} }
,
H
(
T
)
=
∫
x
0
T
d
x
h
(
x
)
{\displaystyle H(T)=\int _{x_{0}}^{T}{\frac {\mathrm {d} x}{h(x)}}}
on jatkuvasti derivoituva ja
H
′
(
T
)
=
d
d
T
∫
x
0
T
d
x
h
(
x
)
=
1
h
(
T
)
>
0
{\displaystyle H'(T)={\frac {\mathrm {d} }{\mathrm {d} T}}\int _{x_{0}}^{T}{\frac {\mathrm {d} x}{h(x)}}={\frac {1}{h(T)}}>0}
.
Näin ollen
H
{\textstyle H}
:lla on olemassa käänteisfunktio
H
−
1
∈
C
1
(
R
)
{\textstyle H^{-1}\in {\mathcal {C}}^{1}(\mathbb {R} )}
. Yhtälö (
♠
{\textstyle \spadesuit }
) voidaan kirjoittaa myös muodossa:
H
(
x
(
t
)
)
=
∫
t
0
t
g
(
s
)
d
s
{\displaystyle H(x(t))=\int _{t_{0}}^{t}g(s)\,\mathrm {d} s}
Tällöin
x
(
t
)
=
H
−
1
(
∫
t
0
t
g
(
s
)
d
s
)
{\displaystyle x(t)=H^{-1}\left(\int _{t_{0}}^{t}g(s)\,\mathrm {d} s\right)}
,
missä
t
∈
]
t
0
−
δ
,
t
0
+
δ
[
{\textstyle t\in \,]t_{0}-\delta ,t_{0}+\delta [}
. Yhtälön (
♠
{\textstyle \spadesuit }
) määrittelemä funktio
x
{\textstyle x}
ratkaisee DY:n: derivoidaan (
♠
{\textstyle \spadesuit }
) puolittain
t
{\textstyle t}
:n suhteen[ 11] :
d
d
t
∫
x
0
x
(
t
)
d
x
h
(
x
)
=
d
d
t
∫
t
0
t
g
(
s
)
d
s
1
h
(
x
)
⋅
d
d
t
x
(
t
)
=
g
(
t
)
x
′
(
t
)
h
(
x
)
=
g
(
t
)
⇒
x
′
(
t
)
=
g
(
t
)
h
(
x
)
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} t}}\int _{x_{0}}^{x(t)}{\frac {\mathrm {d} x}{h(x)}}&={\frac {\mathrm {d} }{\mathrm {d} t}}\int _{t_{0}}^{t}g(s)\,\mathrm {d} s\\{\frac {1}{h(x)}}\cdot {\frac {\mathrm {d} }{\mathrm {d} t}}x(t)&=g(t)\\{\frac {x'(t)}{h(x)}}&=g(t)\\\Rightarrow x'(t)&=g(t)h(x)\end{aligned}}}
Q.E.D.
Yksikäsitteisyys todistetaan myöhemmin .
Eksaktit differentiaaliyhtälöt
muokkaa
Tarkastellaan yhtälöä
u
(
t
,
x
)
=
C
(
=
vakio
)
{\displaystyle u(t,x)=C~(={\text{vakio}})}
, (
♡
{\textstyle \heartsuit }
)
missä
u
{\textstyle u}
on funktio siten, että yhtälö (
♡
{\textstyle \heartsuit }
) määrittelee
x
{\textstyle x}
:n
t
{\textstyle t}
:n funktiona. Luonnontieteissä tämän muotoinen yhtälö on usein jonkin suureen säilymislaki . Derivoidaan yhtälö (
♡
{\textstyle \heartsuit }
) puolittain
t
{\textstyle t}
:n suhteen[ 12] :
d
d
t
u
(
t
,
x
(
t
)
)
=
d
d
t
C
⇒
∂
u
∂
t
(
t
,
x
)
+
∂
u
∂
x
(
t
,
x
)
x
′
(
t
)
=
0
{\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} t}}u(t,x(t))&={\frac {\mathrm {d} }{\mathrm {d} t}}C\\\Rightarrow {\frac {\partial u}{\partial t}}(t,x)+{\frac {\partial u}{\partial x}}(t,x)x'(t)&=0\end{aligned}}}
Merkitään osittaisderivaattoja seuraavasti:
∂
u
∂
t
(
t
,
x
)
=
P
(
t
,
x
)
{\displaystyle {\frac {\partial u}{\partial t}}(t,x)=P(t,x)}
ja
∂
u
∂
x
(
t
,
x
)
=
Q
(
t
,
x
)
{\displaystyle {\frac {\partial u}{\partial x}}(t,x)=Q(t,x)}
Tällöin saadaan differentiaaliyhtälö, joka on muotoa
P
(
t
,
x
)
+
Q
(
t
,
x
)
x
′
=
0
{\displaystyle P(t,x)+Q(t,x)x'=0}
.
Ts. jos
x
{\textstyle x}
on tämän DY:n ratkaisu ja on olemassa funktio
u
∈
C
1
(
R
2
)
{\textstyle u\in {\mathcal {C}}^{1}(\mathbb {R} ^{2})}
siten, että
{
P
(
t
,
x
)
=
∂
u
∂
t
(
t
,
x
)
Q
(
t
,
x
)
=
∂
u
∂
x
(
t
,
x
)
{\displaystyle {\begin{cases}P(t,x)=\displaystyle {\frac {\partial u}{\partial t}}(t,x)\\Q(t,x)=\displaystyle {\frac {\partial u}{\partial x}}(t,x)\end{cases}}}
(
♣
{\textstyle \clubsuit }
)
toteutuu, niin
x
{\textstyle x}
saadaan kaavasta (
♡
{\textstyle \heartsuit }
).
Määritelmä 5: eksakti differentiaaliyhtälö
muokkaa
Olkoon
D
=
]
a
,
b
[
×
]
α
,
β
[
⊂
R
2
{\textstyle D=\,]a,b[\,\times \,]\alpha ,\beta [\,\subset \mathbb {R} ^{2}}
ja
P
,
Q
:
D
→
R
{\textstyle P,Q:D\to \mathbb {R} }
jatkuvia funktioita. DY
P
(
t
,
x
)
+
Q
(
t
,
x
)
x
′
=
0
{\displaystyle P(t,x)+Q(t,x)x'=0}
on eksakti , jos on olemassa funktio
u
∈
C
1
(
D
)
{\textstyle u\in {\mathcal {C}}^{1}(D)}
, joka toteuttaa ehdon (
♣
{\textstyle \clubsuit }
). Tämän DY:n ratkaisu toteuttaa yhtälön (
♡
{\textstyle \heartsuit }
) jollekin vakiolle
C
{\textstyle C}
.
HUOM! Jos on olemassa kaksi funktiota,
u
1
{\textstyle u_{1}}
ja
u
2
{\textstyle u_{2}}
, jotka toteuttavat ehdon (
♣
{\textstyle \clubsuit }
), niin ne ovat vakiota vaille samat. Ts.
u
1
(
t
,
x
)
=
u
2
(
t
,
x
)
+
C
~
{\textstyle u_{1}(t,x)=u_{2}(t,x)+{\tilde {C}}}
kaikilla
(
t
,
x
)
∈
D
{\textstyle (t,x)\in D}
, jollekin
C
~
∈
R
{\textstyle {\tilde {C}}\in \mathbb {R} }
.
Jokainen separoituva DY on myös eksakti: Olkoon
x
′
=
g
(
t
)
h
(
x
)
{\textstyle x'=g(t)h(x)}
siten, että
h
>
0
{\textstyle h>0}
. Merkitään:
−
g
(
t
)
⏟
=
P
(
t
)
+
1
h
(
x
)
⏟
=
Q
(
x
)
x
′
=
0
{\displaystyle \underbrace {-g(t)} _{=P(t)}+\underbrace {\frac {1}{h(x)}} _{=Q(x)}x'=0}
ja valitaan
u
(
t
,
x
)
=
∫
Q
(
x
)
d
x
+
∫
P
(
t
)
d
t
=
∫
d
x
h
(
x
)
−
∫
g
(
t
)
d
t
{\displaystyle {\begin{aligned}u(t,x)&=\int Q(x)\,\mathrm {d} x+\int P(t)\,\mathrm {d} t\\&=\int {\frac {\mathrm {d} x}{h(x)}}-\int g(t)\,\mathrm {d} t\end{aligned}}}
Tällöin
∂
u
∂
t
(
x
,
t
)
=
∂
∂
t
∫
d
x
h
(
x
)
⏟
=
0
−
d
d
t
∫
g
(
t
)
d
t
=
−
g
(
t
)
=
P
(
t
)
∂
u
∂
t
(
x
,
t
)
=
d
d
x
∫
d
x
h
(
x
)
−
∂
∂
x
∫
g
(
t
)
d
t
⏟
=
0
=
1
h
(
x
)
=
Q
(
x
)
{\displaystyle {\begin{aligned}{\frac {\partial u}{\partial t}}(x,t)&=\underbrace {{\frac {\partial }{\partial t}}\int {\frac {\mathrm {d} x}{h(x)}}} _{=0}-{\frac {\mathrm {d} }{\mathrm {d} t}}\int g(t)\,\mathrm {d} t=-g(t)=P(t)\\{\frac {\partial u}{\partial t}}(x,t)&={\frac {\mathrm {d} }{\mathrm {d} x}}\int {\frac {\mathrm {d} x}{h(x)}}-\underbrace {{\frac {\partial }{\partial x}}\int g(t)\,\mathrm {d} t} _{=0}={\frac {1}{h(x)}}=Q(x)\\\end{aligned}}}
Ratkaistaan DY
2
t
x
3
+
3
t
2
x
2
x
′
=
0
{\textstyle 2tx^{3}+3t^{2}x^{2}x'=0}
.
Havaitaan, että
∂
∂
t
(
t
2
x
3
)
=
2
t
x
3
{\displaystyle {\frac {\partial }{\partial t}}(t^{2}x^{3})=2tx^{3}}
ja
∂
∂
x
(
t
2
x
3
)
=
3
t
2
x
2
{\displaystyle {\frac {\partial }{\partial x}}(t^{2}x^{3})=3t^{2}x^{2}}
.
Siis DY on eksakti ja
u
(
t
,
x
)
=
t
2
x
3
{\textstyle u(t,x)=t^{2}x^{3}}
. DY:n ratkaisu on
u
(
t
,
x
(
t
)
)
=
C
{\textstyle u(t,x(t))=C}
, missä
C
∈
R
{\textstyle C\in \mathbb {R} }
on vakio:
t
2
x
(
t
)
3
=
C
|
|
:
t
2
,
t
≠
0
x
(
t
)
3
=
C
t
−
2
x
(
t
)
=
C
~
t
−
2
/
3
|
C
~
=
C
3
{\displaystyle {\begin{aligned}t^{2}x(t)^{3}&=C\qquad ||:t^{2},~t\neq 0\\x(t)^{3}&=Ct^{-2}\\x(t)&={\tilde {C}}t^{-2/3}\qquad |~{\tilde {C}}={\sqrt[{3}]{C}}\end{aligned}}}
Vastaus : DY:n ratkaisu on funktio
x
:
R
∖
{
0
}
→
R
{\textstyle x:\mathbb {R} \backslash \{0\}\to \mathbb {R} }
,
x
(
t
)
=
C
~
t
−
2
/
3
{\textstyle x(t)={\tilde {C}}t^{-2/3}}
, missä
C
~
∈
R
{\textstyle {\tilde {C}}\in \mathbb {R} }
on vakio.
Seuraavan lauseen avulla voidaan todeta helposti ja nopeasti, onko annettu DY eksakti:
Olkoon
D
=
]
a
,
b
[
×
]
α
,
β
[
⊂
R
2
{\textstyle D=\,]a,b[\,\times \,]\alpha ,\beta [\,\subset \mathbb {R} ^{2}}
ja
P
,
Q
∈
C
1
(
D
)
{\textstyle P,Q\in {\mathcal {C}}^{1}(D)}
. Tällöin differentiaaliyhtälö
P
(
t
,
x
)
+
Q
(
t
,
x
)
x
′
=
0
{\textstyle P(t,x)+Q(t,x)x'=0}
on eksakti, jos ja vain, jos
∂
P
∂
x
(
t
,
x
)
=
∂
Q
∂
t
(
t
,
x
)
{\displaystyle {\frac {\partial P}{\partial x}}(t,x)={\frac {\partial Q}{\partial t}}(t,x)}
(
♢
{\textstyle \diamondsuit }
)
kaikilla
(
t
,
x
)
∈
D
{\textstyle (t,x)\in D}
. Funktio
u
∈
C
2
(
D
)
{\textstyle u\in {\mathcal {C}}^{2}(D)}
ratkeaa ehdosta
{
∂
u
∂
t
(
t
,
x
)
=
P
(
t
,
x
)
∂
u
∂
x
(
t
,
x
)
=
Q
(
t
,
x
)
{\displaystyle {\begin{cases}\displaystyle {{\frac {\partial u}{\partial t}}(t,x)}=P(t,x)\\\displaystyle {{\frac {\partial u}{\partial x}}(t,x)}=Q(t,x)\end{cases}}}
(
♣
{\textstyle \clubsuit }
)
Lauseen 3 todistus
''
⇒
{\textstyle \Rightarrow }
''[ 13] Näin määritelty funktio
u
(
t
,
x
)
{\textstyle u(t,x)}
on kahden polkuintegraalin summa. Polut ovat
(
t
0
,
x
)
→
(
t
,
x
)
{\textstyle (t_{0},x)\to (t,x)}
ja
(
t
0
,
x
0
)
→
(
t
0
,
x
)
{\textstyle (t_{0},x_{0})\to (t_{0},x)}
. Oletetaan, että yhtälö (
♢
{\textstyle \diamondsuit }
) on tosi. On osoitettava, että on olemassa funktio
u
∈
C
2
(
D
)
{\textstyle u\in {\mathcal {C}}^{2}(D)}
, joka toteuttaa ehdot (
♣
{\textstyle \clubsuit }
). Olkoon
(
t
0
,
x
0
)
∈
D
{\textstyle (t_{0},x_{0})\in D}
. Määritellään funktio
u
:
D
→
R
{\textstyle u:D\to \mathbb {R} }
,
u
(
t
,
x
)
=
∫
t
0
t
P
(
s
,
x
)
d
s
+
∫
x
0
x
Q
(
t
0
,
y
)
d
y
{\displaystyle u(t,x)=\int _{t_{0}}^{t}P(s,x)\,\mathrm {d} s+\int _{x_{0}}^{x}Q(t_{0},y)\,\mathrm {d} y}
.
Tällöin
u
∈
C
2
(
D
)
{\textstyle u\in {\mathcal {C}}^{2}(D)}
(koska
P
,
Q
∈
C
1
(
D
)
{\textstyle P,Q\in {\mathcal {C}}^{1}(D)}
) sekä
∂
u
∂
t
(
t
,
x
)
=
∂
∂
t
∫
t
0
t
P
(
s
,
x
)
d
s
+
∂
∂
t
∫
x
0
x
Q
(
t
0
,
y
)
d
y
⏟
=
0
=
P
(
t
,
x
)
{\displaystyle {\begin{aligned}{\frac {\partial u}{\partial t}}(t,x)&={\frac {\partial }{\partial t}}\int _{t_{0}}^{t}P(s,x)\,\mathrm {d} s+\underbrace {{\frac {\partial }{\partial t}}\int _{x_{0}}^{x}Q(t_{0},y)\,\mathrm {d} y} _{=0}\\&=P(t,x)\end{aligned}}}
ja
∂
u
∂
x
(
t
,
x
)
=
∂
∂
x
∫
t
0
t
P
(
s
,
x
)
d
s
+
∂
∂
x
∫
x
0
x
Q
(
t
0
,
y
)
d
y
=
∫
t
0
t
∂
P
∂
x
(
s
,
x
)
d
s
+
∫
x
0
x
∂
Q
∂
y
(
t
0
,
y
)
d
y
=
∫
t
0
t
∂
P
∂
x
(
s
,
x
)
d
s
+
Q
(
t
0
,
x
)
=
(
♢
)
∫
t
0
t
∂
Q
∂
s
(
s
,
x
)
d
s
+
Q
(
t
0
,
x
)
=
Q
(
t
,
x
)
−
Q
(
t
0
,
x
)
+
Q
(
t
0
,
x
)
=
Q
(
t
,
x
)
{\displaystyle {\begin{aligned}{\frac {\partial u}{\partial x}}(t,x)&={\frac {\partial }{\partial x}}\int _{t_{0}}^{t}P(s,x)\,\mathrm {d} s+{\frac {\partial }{\partial x}}\int _{x_{0}}^{x}Q(t_{0},y)\,\mathrm {d} y\\&=\int _{t_{0}}^{t}{\frac {\partial P}{\partial x}}(s,x)\,\mathrm {d} s+\int _{x_{0}}^{x}{\frac {\partial Q}{\partial y}}(t_{0},y)\,\mathrm {d} y\\&=\int _{t_{0}}^{t}{\frac {\partial P}{\partial x}}(s,x)\,\mathrm {d} s+Q(t_{0},x)\\&{\overset {\underset {(\diamondsuit )}{}}{=}}\int _{t_{0}}^{t}{\frac {\partial Q}{\partial s}}(s,x)\,\mathrm {d} s+Q(t_{0},x)\\&=Q(t,x)-Q(t_{0},x)+Q(t_{0},x)=Q(t,x)\end{aligned}}}
Näin määritelty funktio
u
{\textstyle u}
toteuttaa ehdot (
♣
{\textstyle \clubsuit }
).
''
⇐
{\textstyle \Leftarrow }
''
Oletetaan, että DY on eksakti. Tällöin määritelmän 5 mukaisesti on olemassa funktio
u
∈
C
1
(
D
)
{\textstyle u\in {\mathcal {C}}^{1}(D)}
, joka toteuttaa ehdot (
♣
{\textstyle \clubsuit }
). Mutta, koska
P
,
Q
∈
C
1
(
D
)
{\textstyle P,Q\in {\mathcal {C}}^{1}(D)}
, niin
u
{\textstyle u}
:n täytyy olla myös kaksi kertaa jatkuvasti derivoituva
D
{\textstyle D}
:ssä. Tällöin:
∂
P
∂
x
(
t
,
x
)
=
∂
∂
x
(
∂
u
∂
t
(
t
,
x
)
)
=
u
∈
C
2
∂
∂
t
(
∂
u
∂
x
(
t
,
x
)
)
=
∂
Q
∂
t
(
t
,
x
)
{\displaystyle {\begin{aligned}{\frac {\partial P}{\partial x}}(t,x)={\frac {\partial }{\partial x}}\left({\frac {\partial u}{\partial t}}(t,x)\right){\overset {\underset {u\in {\mathcal {C}}^{2}}{}}{=}}{\frac {\partial }{\partial t}}\left({\frac {\partial u}{\partial x}}(t,x)\right)={\frac {\partial Q}{\partial t}}(t,x)\end{aligned}}}
Q.E.D.
HUOM! On tärkeää, että alue
D
{\textstyle D}
on yhdesti yhtenäinen , eli että siinä ei ole reikiä .
Ratkaistaan DY
x
cos
t
+
2
t
e
x
+
(
sin
t
+
t
2
e
x
+
2
)
x
′
=
0
{\textstyle x\cos t+2t\mathrm {e} ^{x}+(\sin t+t^{2}\mathrm {e} ^{x}+2)x'=0}
.
Merkitään
P
(
t
,
x
)
=
x
cos
t
+
2
t
e
x
{\textstyle P(t,x)=x\cos t+2t\mathrm {e} ^{x}}
ja
Q
(
t
,
x
)
=
sin
t
+
t
2
e
x
+
2
{\textstyle Q(t,x)=\sin t+t^{2}\mathrm {e} ^{x}+2}
. Koska
∂
P
∂
x
=
cos
t
+
2
t
e
x
=
∂
Q
∂
t
{\displaystyle {\frac {\partial P}{\partial x}}=\cos t+2t\mathrm {e} ^{x}={\frac {\partial Q}{\partial t}}}
,
niin lauseen 3 nojalla DY on eksakti. Tällöin on olemassa funktio
u
∈
C
2
(
R
2
)
{\textstyle u\in {\mathcal {C}}^{2}(\mathbb {R} ^{2})}
siten, että
{
∂
u
∂
t
=
x
cos
t
+
2
t
e
x
(
1
)
∂
u
∂
x
=
sin
t
+
t
2
e
x
+
2
(
2
)
{\displaystyle {\begin{cases}\displaystyle {\frac {\partial u}{\partial t}}=x\cos t+2t\mathrm {e} ^{x}\qquad (1)\\\displaystyle {\frac {\partial u}{\partial x}}=\sin t+t^{2}\mathrm {e} ^{x}+2\qquad (2)\end{cases}}}
Integroidaan yhtälö (1) puolittain
t
{\textstyle t}
:n suhteen:
∫
∂
u
∂
t
(
t
,
x
)
d
t
=
x
∫
cos
t
d
t
+
e
x
∫
2
t
d
t
u
(
t
,
x
)
+
h
^
(
x
)
=
x
sin
t
+
t
2
e
x
+
C
1
|
C
1
=
vakio
⇒
u
(
t
,
x
)
=
x
sin
t
+
t
2
e
x
+
h
(
x
)
|
h
(
x
)
=
C
1
−
h
^
(
x
)
{\displaystyle {\begin{aligned}\int {\frac {\partial u}{\partial t}}(t,x)\,\mathrm {d} t&=x\int \cos t\,\mathrm {d} t+\mathrm {e} ^{x}\int 2t\,\mathrm {d} t\\u(t,x)+{\hat {h}}(x)&=x\sin t+t^{2}\mathrm {e} ^{x}+C_{1}\qquad |C_{1}={\text{vakio}}\\\Rightarrow u(t,x)&=x\sin t+t^{2}\mathrm {e} ^{x}+h(x)\qquad |h(x)=C_{1}-{\hat {h}}(x)\end{aligned}}}
Funktio
h
(
x
)
{\textstyle h(x)}
on mielivaltainen, vain muuttujasta
x
{\textstyle x}
riippuva funktio.[ 14] Osittaisderivoidaan saatu yhtälö puolittain
x
{\textstyle x}
:n suhteen:
∂
u
∂
x
(
t
,
x
)
=
sin
t
+
t
2
e
x
+
h
′
(
x
)
{\displaystyle {\frac {\partial u}{\partial x}}(t,x)=\sin t+t^{2}\mathrm {e} ^{x}+h'(x)}
Yhtälön (2) nojalla on oltava
h
′
(
x
)
=
2
{\textstyle h'(x)=2}
, eli
h
(
x
)
=
2
x
+
C
2
{\textstyle h(x)=2x+C_{2}}
, missä
C
2
∈
R
{\textstyle C_{2}\in \mathbb {R} }
on vakio. DY:n ratkaisu saadaan kaavasta:
u
(
t
,
x
(
t
)
)
=
x
(
t
)
sin
t
+
t
2
e
x
(
t
)
+
2
x
(
t
)
=
C
{\displaystyle u(t,x(t))=x(t)\sin t+t^{2}\mathrm {e} ^{x(t)}+2x(t)=C}
,
missä
C
∈
R
{\textstyle C\in \mathbb {R} }
on vakio. Tällä yhtälöllä ei ole eksplisiittistä ratkaisua.
Vastaus : DY:n ratkaisu on funktio
x
:
R
→
R
{\displaystyle x:\mathbb {R} \to \mathbb {R} }
,
x
(
t
)
sin
t
+
t
2
e
x
(
t
)
+
2
x
(
t
)
=
C
~
{\displaystyle x(t)\sin t+t^{2}\mathrm {e} ^{x(t)}+2x(t)={\tilde {C}}}
.
Ratkaisun olemassaolo ja yksikäsitteisyys
muokkaa
Yleinen, normaalimuotoinen alkuarvotehtävä
{
x
′
=
f
(
t
,
x
)
x
(
t
0
)
=
x
0
{\displaystyle {\begin{cases}x'=f(t,x)\\x(t_{0})=x_{0}\end{cases}}}
osataan ratkaista eksplisiittisesti vain jossain erikoistapauksissa (pääasiassa, kun
f
{\displaystyle f}
on lineaarinen). Tässä luvussa osoitetaan, että alkuarvotehtävällä on kuitenkin olemassa yksikäsitteinen ratkaisu jollain avoimella välillä
]
t
0
−
δ
,
t
0
+
δ
[
{\displaystyle ]t_{0}-\delta ,t_{0}+\delta [}
.
Olkoon
f
∈
C
1
(
R
2
)
{\displaystyle f\in {\mathcal {C}}^{1}(\mathbb {R} ^{2})}
ja
L
∈
R
{\displaystyle L\in \mathbb {R} }
,
L
>
0
{\displaystyle L>0}
siten, että
|
∂
f
∂
x
(
t
,
x
)
|
≤
L
{\displaystyle \left|{\frac {\partial f}{\partial x}}(t,x)\right|\leq L}
kaikilla
(
t
,
x
)
∈
R
2
{\displaystyle (t,x)\in \mathbb {R} ^{2}}
. Tällöin alkuarvotehtävällä
{
x
′
=
f
(
t
,
x
)
x
(
t
0
)
=
x
0
{\displaystyle {\begin{cases}x'=f(t,x)\\x(t_{0})=x_{0}\end{cases}}}
on olemassa yksikäsitteinen ratkaisu kaikilla
(
t
0
,
x
0
)
∈
R
2
{\displaystyle (t_{0},x_{0})\in \mathbb {R} ^{2}}
.
HUOM! Oletus
f
∈
C
1
(
R
2
)
{\displaystyle f\in {\mathcal {C}}^{1}(\mathbb {R} ^{2})}
on välttämätön ehto yksikäsitteisyyden toteutumiselle. Esimerkiksi alkuarvotehtävän
{
x
′
=
2
x
x
(
0
)
=
0
{\displaystyle {\begin{cases}x'=2{\sqrt {x}}\\x(0)=0\end{cases}}}
(
2
x
{\displaystyle 2{\sqrt {x}}}
:n osittaisderivaatta
x
{\displaystyle x}
:n suhteen ei ole jatkuva origossa) ratkaisu on funktio
x
1
:
R
→
R
{\displaystyle x_{1}:\mathbb {R} \to \mathbb {R} }
,
x
1
(
t
)
=
{
t
2
,
jos
t
≥
0
0
,
jos
t
<
0
,
{\displaystyle x_{1}(t)={\begin{cases}t^{2},&{\text{jos }}t\geq 0\\0,&{\text{jos }}t<0,\end{cases}}}
mutta niin on myös funktio
x
2
:
R
→
R
{\displaystyle x_{2}:\mathbb {R} \to \mathbb {R} }
,
x
2
(
t
)
≡
0
{\displaystyle x_{2}(t)\equiv 0}
.
Ennen lauseen 4 todistusta käydään läpi tärkeä menetelmä ja lemma, joita tarvitaan todistuksessa.
Lauseen 4 olemassaolo-osion todisukseksi riittää löytää jatkuva funktio
x
:
R
→
R
{\displaystyle x:\mathbb {R} \to \mathbb {R} }
siten, että
x
(
t
)
=
x
0
+
∫
t
0
t
f
(
s
,
x
(
s
)
)
d
s
(
★
)
{\displaystyle x(t)=x_{0}+\int _{t_{0}}^{t}f(s,x(s))\,\mathrm {d} s\qquad (\bigstar )}
kaikilla
t
∈
R
{\displaystyle t\in \mathbb {R} }
. Tämä ratkaisu löydetään nk. Picardin iteraatiolla, joka etenee seuraavasti:
approksimaatio: Valitaan
ϕ
0
:
R
→
R
{\displaystyle \phi _{0}:\mathbb {R} \to \mathbb {R} }
,
ϕ
0
(
t
)
≡
x
0
{\displaystyle \phi _{0}(t)\equiv x_{0}}
. Tämä funktio ei arvatenkaan toteuta (
★
{\displaystyle \bigstar }
):ä, mutta sillä on jo oikea alkuarvo.
approksimaatio: Valitaan
ϕ
1
:
R
→
R
{\displaystyle \phi _{1}:\mathbb {R} \to \mathbb {R} }
,
ϕ
1
(
t
)
=
x
0
+
∫
t
0
t
f
(
s
,
ϕ
0
(
s
)
)
d
s
{\displaystyle \phi _{1}(t)=x_{0}+\int _{t_{0}}^{t}f(s,\phi _{0}(s))\,\mathrm {d} s}
.
approksimaatio: Valitaan
ϕ
2
:
R
→
R
{\displaystyle \phi _{2}:\mathbb {R} \to \mathbb {R} }
,
ϕ
2
(
t
)
=
x
0
+
∫
t
0
t
f
(
s
,
ϕ
1
(
s
)
)
d
s
{\displaystyle \phi _{2}(t)=x_{0}+\int _{t_{0}}^{t}f(s,\phi _{1}(s))\,\mathrm {d} s}
.
Jatketaan approksimaatioita siten, että jos
k
∈
N
{\displaystyle k\in \mathbb {N} }
, niin
ϕ
k
:
R
→
R
{\displaystyle \phi _{k}:\mathbb {R} \to \mathbb {R} }
,
ϕ
k
(
t
)
=
x
0
+
∫
t
0
t
f
(
s
,
ϕ
k
−
1
(
s
)
)
d
s
{\displaystyle \phi _{k}(t)=x_{0}+\int _{t_{0}}^{t}f(s,\phi _{k-1}(s))\,\mathrm {d} s}
.
Saadaan funktiojono
{
ϕ
k
}
{\displaystyle \{\phi _{k}\}}
. Merkitään
lim
k
→
∞
ϕ
k
=
ϕ
{\displaystyle \lim _{k\to \infty }\phi _{k}=\phi }
. Jäljelle jää kaksi avointa kysymystä:
Suppeneeko funktiojono
{
ϕ
k
}
{\displaystyle \{\phi _{k}\}}
?
Toteuttaako rajafunktio
ϕ
{\displaystyle \phi }
ehdon (
★
{\displaystyle \bigstar }
)?
Palataan näiden kysymysten pariin itse todistuksen yhteydessä seuraavan esimerkin jälkeen.
Ratkaistaan alkuarvotehtävä
{
x
′
=
x
x
(
0
)
=
1
{\displaystyle {\begin{cases}x'=x\\x(0)=1\end{cases}}}
käyttäen Picardin iteraatiota. Itse asiassa tämä DY osattaisiin ratkaista jo helpommillakin menetelmillä, sillä DY on lineaarinen, homogeeninen ja vakiokertoiminen. Iteroidaan kuitenkin esimerkin vuoksi. Nyt
f
:
R
2
→
R
{\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} }
,
f
(
t
,
x
)
=
x
{\displaystyle f(t,x)=x}
.
ϕ
0
(
t
)
≡
1
{\displaystyle \phi _{0}(t)\equiv 1}
ϕ
1
(
t
)
=
1
+
∫
0
t
f
(
s
,
ϕ
0
)
⏟
=
ϕ
0
=
1
d
s
=
1
+
∫
0
t
d
s
=
1
+
t
{\displaystyle \phi _{1}(t)=1+\int _{0}^{t}\underbrace {f(s,\phi _{0})} _{=\phi _{0}=1}\,\mathrm {d} s=1+\int _{0}^{t}\mathrm {d} s=1+t}
ϕ
2
(
t
)
=
1
+
∫
0
t
f
(
s
,
ϕ
1
)
d
s
=
1
+
∫
0
t
(
1
+
s
)
d
s
=
1
+
t
+
t
2
2
{\displaystyle \phi _{2}(t)=1+\int _{0}^{t}f(s,\phi _{1})\,\mathrm {d} s=1+\int _{0}^{t}(1+s)\,\mathrm {d} s=1+t+{\frac {t^{2}}{2}}}
ϕ
3
(
t
)
=
1
+
∫
0
t
(
1
+
s
+
s
2
2
)
d
s
=
1
+
t
+
t
2
2
+
t
3
3
⋅
2
{\displaystyle \phi _{3}(t)=1+\int _{0}^{t}\left(1+s+{\frac {s^{2}}{2}}\right)\,\mathrm {d} s=1+t+{\frac {t^{2}}{2}}+{\frac {t^{3}}{3\cdot 2}}}
Huomataan, että iteraatiot näyttäisivät olevan muotoa
ϕ
n
(
t
)
=
∑
i
=
0
n
t
i
i
!
{\displaystyle \phi _{n}(t)=\sum _{i=0}^{n}{\frac {t^{i}}{i!}}}
,
kun
n
∈
N
{\displaystyle n\in \mathbb {N} }
. Todistetaan tämä induktiotodistuksella . Väite pätee 1. iteraation perusteella, kun
n
=
0
{\displaystyle n=0}
. Oletetaan, että väite on tosi, kun
n
=
k
{\displaystyle n=k}
. Kun
n
=
k
+
1
{\displaystyle n=k+1}
, niin Picardin iteraatio sanoo:
ϕ
k
+
1
(
t
)
=
1
+
∫
0
t
f
(
s
,
ϕ
k
)
d
s
=
1
+
∫
0
t
ϕ
k
(
s
)
d
s
=
1
+
∫
0
t
∑
i
=
0
k
s
i
i
!
d
s
=
1
+
∑
i
=
0
k
∫
0
t
s
i
i
!
d
s
=
1
+
∑
i
=
0
k
t
i
+
1
i
!
(
i
+
1
)
=
1
+
∑
i
=
0
k
t
i
+
1
(
i
+
1
)
!
=
1
+
∑
i
=
1
k
+
1
t
i
i
!
=
∑
i
=
0
k
+
1
t
i
i
!
{\displaystyle {\begin{aligned}\phi _{k+1}(t)&=1+\int _{0}^{t}f(s,\phi _{k})\,\mathrm {d} s=1+\int _{0}^{t}\phi _{k}(s)\,\mathrm {d} s\\&=1+\int _{0}^{t}\sum _{i=0}^{k}{\frac {s^{i}}{i!}}\,\mathrm {d} s\\&=1+\sum _{i=0}^{k}\int _{0}^{t}{\frac {s^{i}}{i!}}\,\mathrm {d} s\\&=1+\sum _{i=0}^{k}{\frac {t^{i+1}}{i!(i+1)}}\\&=1+\sum _{i=0}^{k}{\frac {t^{i+1}}{(i+1)!}}\\&=1+\sum _{i=1}^{k+1}{\frac {t^{i}}{i!}}\\&=\sum _{i=0}^{k+1}{\frac {t^{i}}{i!}}\end{aligned}}}
Väite on siis tosi. Funktiojono
{
ϕ
n
}
{\displaystyle \{\phi _{n}\}}
onkin siis funktiosarja
ϕ
n
(
t
)
=
∑
i
=
0
n
t
i
i
!
{\displaystyle \phi _{n}(t)=\sum _{i=0}^{n}{\frac {t^{i}}{i!}}}
.
Mutta suppeneeko funktiosarja ja jos suppenee, niin mihin? Funktiosarja suppenee tasaisesti kaikilla
t
∈
R
{\displaystyle t\in \mathbb {R} }
, jos se suppenee tasaisesti lokaalisti välillä
t
∈
[
−
R
,
R
]
{\displaystyle t\in [-R,R]}
kaikilla
R
>
0
{\displaystyle R>0}
. Weierstrassin ehdon[ 15] perusteella tämä pitää paikkansa:
Merkitään
ψ
k
(
t
)
=
t
k
/
k
!
{\displaystyle \psi _{k}(t)=t^{k}/k!}
. Tällöin:
|
ψ
k
(
t
)
|
=
|
t
k
k
!
|
=
|
t
|
k
k
!
≤
R
k
k
!
=:
a
k
{\displaystyle \left|\psi _{k}(t)\right|=\left|{\frac {t^{k}}{k!}}\right|={\frac {|t|^{k}}{k!}}\leq {\frac {R^{k}}{k!}}=:a_{k}}
Sarja
∑
k
=
1
∞
a
k
{\textstyle \sum _{k=1}^{\infty }a_{k}}
suppenee suhdetestin perusteella:[ 16]
|
a
k
+
1
a
k
|
=
R
k
+
1
(
k
+
1
)
!
⋅
k
!
R
k
=
R
k
+
1
→
0
<
1
{\displaystyle \left|{\frac {a_{k+1}}{a_{k}}}\right|={\frac {R^{k+1}}{(k+1)!}}\cdot {\frac {k!}{R^{k}}}={\frac {R}{k+1}}\to 0<1}
,
kun
k
→
∞
{\displaystyle k\to \infty }
. Alkuarvotehtävän ratkaisu on siis
x
(
t
)
=
ϕ
(
t
)
=
∑
k
=
0
∞
t
k
/
k
!
{\textstyle x(t)=\phi (t)=\sum _{k=0}^{\infty }t^{k}/k!}
. Tämä on kuitenkin vain eksponenttifunktion
e
t
{\displaystyle \mathrm {e} ^{t}}
Taylorin sarjakehitelmä .
Vastaus: Alkuarvotehtävän ratkaisu on funktio
x
:
R
→
R
{\displaystyle x:\mathbb {R} \to \mathbb {R} }
,
x
(
t
)
=
e
t
{\displaystyle x(t)=\mathrm {e} ^{t}}
.
Lauseen 4 olemassaolo-osion todistus
Picardin iteraatiota käyttäen riittää osoittaa, että funktiojono
{
ϕ
k
}
{\displaystyle \{\phi _{k}\}}
suppenee lokaalisti tasaisesti ja että rajafunktio
ϕ
{\displaystyle \phi }
toteuttaa ehdon (
★
{\displaystyle \bigstar }
).
Osoitetaan, että
{
ϕ
k
}
{\displaystyle \{\phi _{k}\}}
suppenee lokaalisti tasaisesti, eli suppenee tasaisesti välillä
[
−
R
,
R
]
{\displaystyle [-R,R]}
, missä
R
>
0
{\displaystyle R>0}
. Picardin iteraatiota tarkastelemalla havaitaan, että
ϕ
n
=
ϕ
n
−
(
ϕ
n
−
1
−
ϕ
n
−
1
)
−
(
ϕ
n
−
2
−
ϕ
n
−
2
)
+
…
−
(
ϕ
1
−
ϕ
1
)
−
(
ϕ
0
−
ϕ
0
)
=
(
ϕ
n
−
ϕ
n
−
1
)
+
(
ϕ
n
−
1
−
ϕ
n
−
2
)
+
…
+
(
ϕ
1
−
ϕ
0
)
+
ϕ
0
⏟
=
x
0
=
∑
k
=
1
n
(
ϕ
k
−
ϕ
k
−
1
)
+
x
0
.
{\displaystyle {\begin{aligned}\phi _{n}&=\phi _{n}-(\phi _{n-1}-\phi _{n-1})-(\phi _{n-2}-\phi _{n-2})+\dotsc -(\phi _{1}-\phi _{1})-(\phi _{0}-\phi _{0})\\&=(\phi _{n}-\phi _{n-1})+(\phi _{n-1}-\phi _{n-2})+\dotsc +(\phi _{1}-\phi _{0})+\underbrace {\phi _{0}} _{=x_{0}}\\&=\sum _{k=1}^{n}(\phi _{k}-\phi _{k-1})+x_{0}.\end{aligned}}}
Käytetään suppenemisen osoittamiseen Weierstrassin M-testiä[ 15] ja suhdetestiä.[ 16] Osoitetaan induktiotodistuksella, että
|
ϕ
k
+
1
(
t
)
−
ϕ
k
(
t
)
|
≤
L
k
+
1
|
t
−
t
0
|
k
+
1
(
k
+
1
)
!
≤
L
k
+
1
R
k
+
1
(
k
+
1
)
!
{\displaystyle |\phi _{k+1}(t)-\phi _{k}(t)|\leq {\frac {L^{k+1}|t-t_{0}|^{k+1}}{(k+1)!}}\leq {\frac {L^{k+1}R^{k+1}}{(k+1)!}}}
kaikilla
|
t
−
t
0
|
≤
R
{\displaystyle |t-t_{0}|\leq R}
.
Perusaskel:
k
=
0
{\displaystyle k=0}
(täydennettävä).
Induktio-oletus: Oletetaan, että väite on tosi jollekin
k
∈
N
{\displaystyle k\in \mathbb {N} }
.
Induktioaskel: Yläviitteet: V.A.L. = väliarvolause[ 17] ja huomautus[ 18] , ind.ol. = induktio-oletus
|
ϕ
k
+
2
(
t
)
−
ϕ
k
+
1
(
t
)
|
=
|
x
0
+
∫
t
0
t
f
(
s
,
ϕ
k
+
1
(
s
)
)
d
s
−
x
0
−
∫
t
0
t
f
(
s
,
ϕ
k
(
s
)
d
s
)
|
=
|
∫
t
0
t
f
(
s
,
ϕ
k
+
1
(
s
)
)
d
s
−
∫
t
0
t
f
(
s
,
ϕ
k
(
s
)
)
d
s
|
=
|
∫
t
0
t
(
f
(
s
,
ϕ
k
+
1
(
s
)
)
−
f
(
s
,
ϕ
k
(
s
)
)
d
s
|
≤
∫
t
0
t
|
f
(
s
,
ϕ
k
+
1
(
s
)
)
−
f
(
s
,
ϕ
k
(
s
)
)
|
d
s
≤
V
.
A
.
L
.
∫
t
0
t
L
|
ϕ
k
+
1
(
s
)
−
ϕ
k
(
s
)
|
d
s
≤
i
n
d
.
o
l
.
L
∫
t
0
t
L
k
+
1
|
s
−
t
0
|
k
+
1
(
k
+
1
)
!
d
s
=
L
k
+
2
(
k
+
1
)
!
∫
t
0
t
|
s
−
t
0
|
k
+
1
d
s
=
L
k
+
2
(
k
+
1
)
!
|
t
−
t
0
|
k
+
2
k
+
2
=
L
k
+
2
|
t
−
t
0
|
k
+
2
(
k
+
2
)
!
≤
L
k
+
2
R
k
+
2
(
k
+
2
)
!
{\displaystyle {\begin{aligned}|\phi _{k+2}(t)-\phi _{k+1}(t)|&=\left|x_{0}+\int _{t_{0}}^{t}f(s,\phi _{k+1}(s))\,\mathrm {d} s-x_{0}-\int _{t_{0}}^{t}f(s,\phi _{k}(s)\,\mathrm {d} s)\right|\\&=\left|\int _{t_{0}}^{t}f(s,\phi _{k+1}(s))\,\mathrm {d} s-\int _{t_{0}}^{t}f(s,\phi _{k}(s))\,\mathrm {d} s\right|\\&=\left|\int _{t_{0}}^{t}\left(f(s,\phi _{k+1}(s))-f(s,\phi _{k}(s)\right)\,\mathrm {d} s\right|\\&\leq \int _{t_{0}}^{t}\left|f(s,\phi _{k+1}(s))-f(s,\phi _{k}(s))\right|\,\mathrm {d} s\\&{\overset {\underset {\mathrm {V.A.L.} }{}}{\leq }}\int _{t_{0}}^{t}L|\phi _{k+1}(s)-\phi _{k}(s)|\,\mathrm {d} s\\&{\overset {\underset {\mathrm {ind.ol.} }{}}{\leq }}L\int _{t_{0}}^{t}{\frac {L^{k+1}|s-t_{0}|^{k+1}}{(k+1)!}}\,\mathrm {d} s\\&={\frac {L^{k+2}}{(k+1)!}}\int _{t_{0}}^{t}|s-t_{0}|^{k+1}\,\mathrm {d} s\\&={\frac {L^{k+2}}{(k+1)!}}{\frac {|t-t_{0}|^{k+2}}{k+2}}\\&={\frac {L^{k+2}|t-t_{0}|^{k+2}}{(k+2)!}}\\&\leq {\frac {L^{k+2}R^{k+2}}{(k+2)!}}\end{aligned}}}
Suhdetestin perusteella sarja
∑
k
=
0
∞
(
L
k
R
k
)
/
k
!
{\textstyle \sum _{k=0}^{\infty }(L^{k}R^{k})/k!}
suppenee:
lim
k
→
∞
L
k
+
1
R
k
+
1
(
k
+
1
)
!
⋅
k
!
L
k
R
k
=
lim
k
→
∞
L
R
k
+
1
=
0
<
1
{\displaystyle \lim _{k\to \infty }{\frac {L^{k+1}R^{k+1}}{(k+1)!}}\cdot {\frac {k!}{L^{k}R^{k}}}=\lim _{k\to \infty }{\frac {LR}{k+1}}=0<1}
Näin ollen
ϕ
n
=
∑
k
=
1
n
(
ϕ
k
−
ϕ
k
−
1
)
+
x
0
{\displaystyle \phi _{n}=\sum _{k=1}^{n}(\phi _{k}-\phi _{k-1})+x_{0}}
suppenee tasaisesti
[
−
R
,
R
]
{\displaystyle [-R,R]}
:ssä. Siispä
ϕ
=
lim
n
→
∞
ϕ
n
{\displaystyle \phi =\lim _{n\to \infty }\phi _{n}}
on jatkuva ja toteuttaa yhtälön
ϕ
(
t
)
=
x
0
+
∫
t
0
t
f
(
s
,
ϕ
(
s
)
)
d
s
{\displaystyle \phi (t)=x_{0}+\int _{t_{0}}^{t}f(s,\phi (s))\,\mathrm {d} s}
Q.E.D.
Ratkaisun olemassaolo on nyt osoitettu. Yksikäsitteisyyden osoittamiseen tarvitsemme seuraavaa lemmaa :
Olkoon
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
,
a
<
b
{\displaystyle a<b}
,
g
∈
C
1
(
]
a
,
b
[
)
{\displaystyle g\in {\mathcal {C}}^{1}(]a,b[)}
,
K
>
0
{\displaystyle K>0}
ja
t
0
∈
]
a
,
b
[
{\displaystyle t_{0}\in \,]a,b[}
siten, että
|
g
′
(
t
)
|
≤
K
g
(
t
)
{\textstyle |g'(t)|\leq Kg(t)}
. Tällöin
g
(
t
)
≤
g
(
t
0
)
e
K
|
t
−
t
0
|
{\displaystyle g(t)\leq g(t_{0})\mathrm {e} ^{K|t-t_{0}|}}
kaikilla
t
∈
]
a
,
b
[
{\displaystyle t\in \,]a,b[}
.
Lemman 1 todistus
Oletetaan, että
g
(
t
)
>
0
{\displaystyle g(t)>0}
kaikilla
t
∈
]
a
,
b
[
{\displaystyle t\in \,]a,b[}
. Tällöin
|
d
d
t
ln
(
g
(
t
)
)
|
=
|
g
′
(
t
)
g
(
t
)
|
≤
K
{\displaystyle \left|{\frac {\mathrm {d} }{\mathrm {d} t}}\ln(g(t))\right|=\left|{\frac {g'(t)}{g(t)}}\right|\leq K}
ja
ln
(
g
(
t
)
g
(
t
0
)
)
≤
∫
t
0
t
|
d
d
s
ln
(
g
(
s
)
)
|
d
s
≤
∫
t
0
t
K
d
s
=
K
(
t
−
t
0
)
≤
K
|
t
−
t
0
|
{\displaystyle \ln \left({\frac {g(t)}{g(t_{0})}}\right)\leq \int _{t_{0}}^{t}\left|{\frac {\mathrm {d} }{\mathrm {d} s}}\ln(g(s))\right|\,\mathrm {d} s\leq \int _{t_{0}}^{t}K\,\mathrm {d} s=K(t-t_{0})\leq K|t-t_{0}|}
.
Tällöin
g
(
t
)
g
(
t
0
)
≤
e
K
|
t
−
t
0
|
{\displaystyle {\frac {g(t)}{g(t_{0})}}\leq \mathrm {e} ^{K|t-t_{0}|}}
Jos
g
≥
0
{\displaystyle g\geq 0}
, niin toistetaan edellinen päättely funktiolle
g
^
(
t
)
=
g
(
t
)
+
ε
{\displaystyle {\hat {g}}(t)=g(t)+\varepsilon }
, missä
ε
>
0
{\displaystyle \varepsilon >0}
. Tällöin
g
^
(
t
)
≤
g
^
(
t
0
)
e
K
|
t
−
t
0
|
{\displaystyle {\hat {g}}(t)\leq {\hat {g}}(t_{0})\mathrm {e} ^{K|t-t_{0}|}}
.
Väite seuraa, kun
ε
→
0
{\displaystyle \varepsilon \to 0}
.
Jos
g
<
0
{\displaystyle g<0}
, niin toistetaan edellinen päättely funktiolle
−
g
{\displaystyle -g}
, jolloin väite seuraa, kuten edellä.
Q.E.D.
Lauseen 4 yksikäsitteisyysosion todistus
Olkoon
x
1
,
x
2
:
R
→
R
{\displaystyle x_{1},x_{2}:\mathbb {R} \to \mathbb {R} }
alkuarvotehtävän ratkaisuja, jolloin
x
1
(
t
0
)
=
x
2
(
t
0
)
=
x
0
{\displaystyle x_{1}(t_{0})=x_{2}(t_{0})=x_{0}}
. Määritellään uusi funktio
w
:
R
→
[
0
,
∞
[
{\displaystyle w:\mathbb {R} \to \,[0,\infty [}
,
w
(
t
)
=
(
x
2
(
t
)
−
x
1
(
t
)
)
2
{\displaystyle w(t)=(x_{2}(t)-x_{1}(t))^{2}}
.
Tällöin (yläviite: V.A.L. = väliarvolause[ 17] ja huomautus[ 18] )
w
′
(
t
)
=
2
(
x
2
(
t
)
−
x
1
(
t
)
)
(
x
2
′
(
t
)
−
x
1
′
(
t
)
)
=
2
(
x
2
(
t
)
−
x
1
(
t
)
)
(
f
(
t
,
x
2
)
−
f
(
t
,
x
1
)
)
≤
V
.
A
.
L
.
2
L
(
x
2
(
t
)
−
x
1
(
t
)
)
|
x
2
(
t
)
−
x
1
(
t
)
|
≤
2
L
|
x
2
(
t
)
−
x
1
(
t
)
|
|
x
2
(
t
)
−
x
1
(
t
)
|
=
2
L
(
x
2
(
t
)
−
x
1
(
t
)
)
2
=
2
L
w
(
t
)
{\displaystyle {\begin{aligned}w'(t)&=2(x_{2}(t)-x_{1}(t))(x_{2}'(t)-x_{1}'(t))\\&=2(x_{2}(t)-x_{1}(t))(f(t,x_{2})-f(t,x_{1}))\\&{\overset {\underset {\mathrm {V.A.L.} }{}}{\leq }}2L(x_{2}(t)-x_{1}(t))|x_{2}(t)-x_{1}(t)|\\&\leq 2L|x_{2}(t)-x_{1}(t)||x_{2}(t)-x_{1}(t)|\\&=2L(x_{2}(t)-x_{1}(t))^{2}\\&=2Lw(t)\end{aligned}}}
Lemman 1 nojalla
0
≤
w
(
t
)
≤
w
(
t
0
)
e
2
L
|
t
−
t
0
|
=
(
x
2
(
t
0
)
−
x
1
(
t
0
)
)
2
e
2
L
|
t
−
t
0
|
=
(
x
0
−
x
0
)
2
e
2
L
|
t
−
t
0
|
=
0
{\displaystyle 0\leq w(t)\leq w(t_{0})\mathrm {e} ^{2L|t-t_{0}|}=(x_{2}(t_{0})-x_{1}(t_{0}))^{2}\mathrm {e} ^{2L|t-t_{0}|}=(x_{0}-x_{0})^{2}\mathrm {e} ^{2L|t-t_{0}|}=0}
Kaikilla
t
∈
R
{\displaystyle t\in \mathbb {R} }
. Näin ollen
(
x
2
(
t
)
−
x
1
(
t
)
)
2
=
0
⟺
x
2
(
t
)
=
x
1
(
t
)
{\displaystyle (x_{2}(t)-x_{1}(t))^{2}=0\Longleftrightarrow x_{2}(t)=x_{1}(t)}
Siis ratkaisut ovat samat.
Q.E.D.
↑ Sivistynyt arvaus kuulostaa kieltämättä joltakin ''jumalaiselta väliintulolta'', mutta niitä oppii kyllä jokainen tekemään ajan kanssa.
↑
R
∖
{
0
}
=
]
−
∞
,
0
[
∪
]
0
,
∞
[
{\displaystyle \mathbb {R} \backslash \{0\}=\,]-\infty ,0[\,\cup \,]0,\infty [}
↑ Funktio
f
:
R
→
R
{\textstyle f:\mathbb {R} \to \mathbb {R} }
on lineaarinen , jos on olemassa reaaliset vakiot
a
{\textstyle a}
ja
b
{\textstyle b}
siten, että
f
(
t
)
=
a
t
+
b
{\textstyle f(t)=at+b}
.
↑ Ks. Eksponenttifunktio .
↑ Jos
f
{\textstyle f}
ja
g
{\textstyle g}
ovat derivoituvia funktioita, niin:
d
d
t
(
f
g
)
=
f
g
′
+
f
′
g
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}(fg)=fg'+f'g}
↑ Kyseessä on itse asiassa integraalifunktio , sillä funktion muuttuja on sijoitettu määrätyn integraalin rajoihin. Funktion
p
{\textstyle p}
muuttuja on vaihdettu
t
{\textstyle t}
:stä
s
{\textstyle s}
:ksi sekaannuksen välttämiseksi.
↑ Analyysin peruslauseen nojalla välillä
[
a
,
b
]
{\textstyle [a,b]}
jatkuvalle funktiolle
f
{\textstyle f}
pätee
d
d
t
∫
c
t
f
(
s
)
d
s
=
f
(
t
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}\int _{c}^{t}f(s)\,\mathrm {d} s=f(t)}
kaikilla
c
∈
[
a
,
b
]
{\textstyle c\in [a,b]}
.
↑ 8,0 8,1 Analyysin peruslause (tai oikeammin 2. peruslause) toteaa myös, että kaikille välillä
]
a
,
b
[
{\textstyle ]a,b[}
derivoituville funktioille
f
{\textstyle f}
pätee:
∫
a
b
f
′
(
t
)
d
t
=
f
(
b
)
−
f
(
a
)
{\displaystyle \int _{a}^{b}f'(t)\,\mathrm {d} t=f(b)-f(a)}
↑ Muokkaamalla alkuperäistä DY:tä menetetään mahdollisuus, että
t
=
0
{\textstyle t=0}
. Näin ollen joudutaan valitsemaan ratkaisun määrittelyjoukoksi
]
0
,
∞
[
{\textstyle ]0,\infty [}
tai jokin sen osaväli.
↑ Jatkuvasti derivoituva tarkoittaa funktiota, joka on derivoituva ja sen derivaatta on jatkuva. Jatkossa (yhden kerran) jatkuvasti derivoituvien yhden reaalimuuttujan funktioiden joukkoa merkitään symbolilla
C
1
(
R
)
{\textstyle {\mathcal {C}}^{1}(\mathbb {R} )}
.
↑ Muistetaan yhdistetyn funktion derivointisääntö:
d
d
t
f
(
g
(
t
)
)
=
f
′
(
g
(
t
)
)
⋅
g
′
(
t
)
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}f(g(t))=f'(g(t))\cdot g'(t)}
↑ Koska
u
{\textstyle u}
on tässä kahden muuttujan funktio, täytyy derivoinnissa soveltaa ketjusääntöä :
d
f
d
x
1
(
x
1
,
x
2
)
=
∂
f
(
x
1
,
x
2
)
∂
x
1
+
∂
f
(
x
1
,
x
2
)
∂
x
2
⋅
∂
x
2
∂
x
1
{\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} x_{1}}}(x_{1},x_{2})={\frac {\partial f(x_{1},x_{2})}{\partial x_{1}}}+{\frac {\partial f(x_{1},x_{2})}{\partial x_{2}}}\cdot {\frac {\partial x_{2}}{\partial x_{1}}}}
↑ ''Jos ja vain jos'' -lause täytyy aina todistaa kumpaankin suuntaan. Oletukset ja väite vaihtavat paikkoja suunnan muuttuessa.
↑ Funktio
h
^
(
x
)
{\textstyle {\hat {h}}(x)}
on ikään kuin osittaisderivaatan määrätyn integraalin integroimisvakio: