Ensimmäisen kertaluvun lineaariyhtälö¶
Tarkastellaan seuraavaksi 1. kertaluvun lineaarista differentiaaliyhtälöä (linear first-order equation)
missä a(x) ja f(x) ovat jatkuvia avoimella välillä I. Yllä esitetyn lineaarisen yhtälön sanotaan olevan normaalimuodossa. Koska jatkuvat funktiot ovat integroituvia, niin funktiolla a(x) on vakiota vaille yksikäsitteinen integraalifunktio välillä I. Valitaan näistä integraalifunktioista yksi ja merkitään sitä A(x). Muodostetaan funktio μ(x)=eA(x)≠0, jota kutsutaan integroivaksi tekijäksi (integrating factor). Kerrotaan normaalimuotoinen 1. kertaluvun lineaarinen differentiaaliyhtälö puolittain funktiolla μ(x), jolloin
Tämä muistuttaa tulon y(x)μ(x) derivaattaa
eli differentiaaliyhtälö voidaan kirjoittaa muodossa
Integroimalla puolittain saadaan
josta funktio y(x) on helppo ratkaista. Saatiin todistettua seuraava lause.
Lause.
Ensimmäisen kertaluvun lineaariyhtälön yleinen ratkaisu löydetään seuraavasti.
- Muodosta integroiva tekijä μ(x)=e∫a(x)dx.
- Kerro yhtälö puolittain integroivalla tekijällä.
- Tunnista yhtälön vasemmalta puolelta derivaatta Dx(y(x)μ(x)).
- Integroi puolittain.
Lause.
Olkoon x0 välin I piste ja y0 reaaliluku. Tällöin 1. kertaluvun lineaariyhtälöllä on täsmälleen yksi alkuehdon y(x0)=y0 toteuttava ratkaisu y(x) välillä I.
Esimerkki.
Ratkaise alkuarvotehtävä x3y′+x2y=x4, y(1)=0.
Havainnollistetaan vielä alkuarvotehtävän ratkaisun olemassaoloa ja yksikäsitteisyyttä edellisen esimerkin tapauksessa. Nyt x0=1∈(0,∞). Kuvaan on piirretty alkuehdon y(1)=0 toteuttava ratkaisu (C=−1/3) sekä muutama muu ratkaisu (parametrin C arvoilla −2,−1,0,1 ja 2) välillä (0,∞). Vastaavasti myös välille (−∞,0) on piirretty muutama ratkaisu (parametrin C arvoilla −2,−1,0,1 ja 2). Jokaisen pisteen (x0,y0) kautta kulkee kuitenkin aina täsmälleen yksi ratkaisukäyrä, sillä ne eivät koskaan leikkaa toisiaan.
Esimerkki.
Ratkaise differentiaaliyhtälö y′+3x2y=6x2
Huomautus.
Kun differentiaaliyhtälölle on saatu laskettua ratkaisu, kannattaa vielä erikseen tarkastaa, että ratkaisu y(x) toteuttaa sekä differentiaaliyhtälön että mahdollisen alkuehdon.