- MATH.APP.160
- 3. Ensimmäisen kertaluvun differentiaaliyhtälöt
- 3.2 Yleistä terminologiaa
Yleistä terminologiaa¶
Differentiaaliyhtälö, DY (ordinary differential equation, ODE) on yhtälö
jossa esiintyy yksi muuttuja x, siitä riippuva tuntematon funktio y=y(x), sekä sen derivaattoja y', y'',\ldots, y^{(n)}. Kaikki nämä liittyvät toisiinsa lausekkeella F. Differentiaaliyhtälön ratkaisemisella tarkoitetaan kaikkien sellaisten funktioiden y määrittämistä, jotka toteuttavat yhtälön. Vertaa tätä tavallisen yhtälön ratkaisemiseen, jossa tuntemattomana on funktion sijaan luku.
Seuraavat peruskäsitteet on syytä hallita.
- Differentiaaliyhtälön kertaluku (order) on suurin yhtälössä esiintyvien derivaattojen kertaluvuista.
- Yksittäisratkaisu (solution) on yksittäinen funktio y, joka toteuttaa differentiaaliyhtälön.
- Yleinen ratkaisu (general solution) on kaava tai esitysmuoto, joka antaa yhtälön kaikki ratkaisut, usein yhden tai useamman parametrin avulla esitettynä.
- Erikoisratkaisu (particular solution) on ratkaisu, joka poikkeaa muodoltaan muista ratkaisuista tai on muuten erikoisasemassa.
- Alkuarvotehtävässä (initial value problem) haetaan ratkaisua y, joka toteuttaa yhden tai useampia funktiolle y ja sen derivaatoille asetettuja alkuehtoja (initial condition) y(x_0)=y_0, y'(x_0)=y_1 ja niin edelleen.
Esimerkki 3.2.1
Yhtälö
on kolmannen kertaluvun differentiaaliyhtälö. Monesti funktion y muuttuja x jätetään kirjoittamatta, eli merkitään lyhyesti
Funktio y(x) on differentiaaliyhtälön ratkaisu, jos se toteuttaa differentiaaliyhtälön. Ratkaisun oikeellisuuden voi siten tarkastaa samaan tapaan kuin tavallisten yhtälöidenkin tapauksessa sijoittamalla sen differentiaaliyhtälöön funktion y paikalle.
Esimerkki 3.2.2
Osoita, että kun A ja B ovat mitä tahansa vakioita, y(x) = Ax^3+\frac{B}{x} on differentiaaliyhtälön
ratkaisu kaikilla väleillä, jotka eivät sisällä nollaa.
Olkoon x\not=0 ja A,B\in\R. Jos y(x) = Ax^3+\frac{B}{x}, niin
Sijoittamalla nämä differentiaaliyhtälön vasemmalle puolelle saadaan
eli y(x) = Ax^3+\frac{B}{x} on annetun differentiaaliyhtälön ratkaisu, sillä se toteuttaa sen.
Esimerkki 3.2.3
Esimerkin 3.1.1 ensimmäisessä kohdassa esitellyn differentiaaliyhtälön yleinen ratkaisu on
missä C\in\mathbb{R} on mielivaltainen parametri. Tämä voidaan todeta sijoittamalla väitetty ratkaisu differentiaaliyhtälöön (??). Nyt
eli ratkaisu T(t) toteuttaa differentiaaliyhtälön.
Parametri C voidaan kiinnittää esimerkiksi antamalla alkulämpötila (alkuehto) eli lämpitilan arvo ajanhetkellä t=0. Merkitään T(0)=T_0, jolloin
Tällöin ratkaisu, joka vastaa edellä olevaa alkulämpötilaa on
Huomaamme lisäksi, että
Fysikaalisesti tämä tarkoittaa, että vesilasi lähestyy asymptoottisesti, riippumatta alkulämpötilasta, ympäröivän ilman lämpötilaa.
Huomaamme samalla, että mallimme ei ole fysikaalisesti tarkka, sillä todellisuudessa ilmanlämpötilan saavuttamiseen ei tarvita äärettömän pitkää aikaa. Tarkempi malli olisi kuitenkin huomattavasti hankalampi käsitellä ja ratkaista. Koska mallimme antaa suhteellisen tarkkoja tuloksia mittaustuloksiin nähden on se hyvin käyttökelpoinen sovelluksissa.
Esimerkki 3.2.4
Tarkastellaan differentiaaliyhtälöä y' = y^2. Tälle yhtälölle y_1(x)=-\frac{1}{x+1} on yksittäisratkaisu, kuten sijoittamalla nähdään.
Yhtälön yleinen ratkaisu on
missä C\in\R ja x \not= -C. Tämän lisäksi yhtälöllä on erikoisratkaisu y_0(x)=0. Myöhemmin perustellaan, miksi yhtälön kaikki ratkaisut erikoisratkaisua lukuunottamatta ovat tätä muotoa.
Löydetyistä ratkaisuista alkuehdon y(0)=2 toteuttaa ratkaisu
eli y_2 on alkuarvotehtävän y' = y^2 ja y(0)=2 ratkaisu. Seuraavaan kuvaan on piirretty kaavan (1) mukaisen differentiaaliyhtälön ratkaisuparven funktiot parametrin C arvoilla -1,0,1 ja 2 (ohuet käyrät) sekä alkuarvotehtävän ratkaisu, joka kulkee pisteen (0,2) kautta.
Huomautus 3.2.5
Alkuarvo-ongelmien lisäksi on olemassa myös toinen tekniikan ongelmissa tärkeä ongelmaluokka, eli reuna-arvo-ongelmat. Tällöin differentiaaliyhtälö ratkaistaan jollakin annetulla välillä [x_0,x_1]. Tehtävänä on etsiä ratkaisua, joka totettaa funktiolle ja sen derivaatoille annetut reunaehdot välin päätepisteissä x_0 ja x_1. Esimerkkinä lujuusopista välillä [0,L] palkin taipumaviivan differentiaaliyhtälö
jossa reunaehtoina (nivelin päistä kiinnitetty palkki)
Huomautus 3.2.6
Modernissa laskennellisessa tieteessä tarkastellaan differentiaaliyhtälöitä myös käänteisestä näkökulmasta, jolloin puhutaan ns. inversio-ongelmista. Karkeasti ottaen ongelmissa on kyse siitä, että differentiaaliyhtälön ratkaisu tiedetään jossain muodossa ja tehtävänä on etsiä differentiaaliyhtälöissä esiintyviä parametreja.
Jatketaan esimerkkejä 3.1.1 (Kohta 1) ja 3.2.3. Oletetaan, että vesilasin lämpötilasta on tehty mittaukset
Luonnollisesti ympäröivän ilman lämpötila T_u saadaan mitattua. Inversio-ongelmassa on tehtävänä näiden mittaustulosten perusteella löytää arvio yhtälössä esiintyvälle parametrille k ja alkulämpötilalle T_0.