DIFFERENTIAALIYHTÄLÖT-KURSSIN SISÄLTÖ syksyllä 1998

Tämä on Martti Pesosen (vuosien kuluessa) laatiman kurssimonisteen tarkahko sisältö, kuitenkin korjattuna seuraavilla modernisoivilla muutoksilla:
1. Työläitä erikoista tyyppiä olevia yhtälöitä on sivuutettu.
2. Tilalle on tuotu laadullisempaa (kvalitatiivista) suuntakenttien, faasipiirrosten ja ratkaisukäyräparvien tutkiskelua, mikä on mahdollistunut tietotekniikan avulla.
3. Tietokonedemoissa, 1., 7., 11. (ja joskus 14. demo), on käytetty pääasiassa matematiikan CAS-ohjelmaa Maple V. Aivan ensi tutustumisessa (ja joskus viimeisessä) on kuitenkin käytetty helppokäyttöistä C.C. Polkingin laatimaa Matlabin päälle kasattua ''differentiaaliyhtälölaskinta'', jolla saadaan alkuarvotehtäviä ratkaistuksi ''interaktiivisesti'', klikkaamalla hiirellä faasipiirrosta (tai antamalla numeeriset alkuehdot valikolla). Demoissa 11 on Maple V:n avulla tutkiskeltu Laplace-muunnoksen kehkeytymistä lähtien tutusta integraalista aina operaattoriksi funktioperheeltä toiselle. Parina vuonna oli myös TI-85-demo.

ALOITUSLUKU 0 (lisäys, jaettu luennoilla)
0.1. Mikä on differentiaaliyhtälö?
Esimääritelmä tavalliselle dy:lle - ratkaisu - kertaluku - normaalimuoto - alkuarvotehtävä - useita esimerkkejä, ratkaisten järkeilemällä, ''esiseparointi'', lineaarinen ''integroivalla tekijällä'' - kvantitatiivinen - kvalitatiivinen - tietokoneella ratkaisemisesta
0.2. Differentiaaliyhtälön graafista tarkastelua
Suuntakenttä - suoraa informaatiota yhtälöstä - tutkiskellaan suuntakenttiä - graafista ratkaisemista - ratkaisukäyrien käytöksen kuvailua
0.3. Ratkaisujen kvalitatiivista tarkastelua
Yksiulotteinen dynaaminen systeemi - tilan ennustaminen - ratkaisujen asymptoottikäyrät - ellipsin ja hyperbelin differentiaaliyhtälöt
0.4. Esimerkkejä
Useita suuntakenttiä, joista tutkitaan em. asioita - alkutilan vaikutus tulevaisuuteen - suuntakenttien käsin piirtoakin - demoissa tasapainotilat - tunnistustehtäviä: yhdistä yhtälöitä - kenttiä
0.5. Differentiaaliyhtälöryhmistä
Kahden yhtälön ryhmä - faasipiirros - liikeradat - johdetaan faasipiirroksen perusta y¢(x) = [(y¢(t))/( x¢(t))]- faasipiirroksen ja ratkaisuparin kuvaajien yhteys - tunnistustehtäviä

1. JOHDANTO
1.1. Topologian ja analyysin kertausta
Jää pitkälti opiskelijalle kerrattavaksi:
euklidisen avaruuden topologiset peruskäsitteet - osittaisderivaatta (käydään, lisäksi derivointiesimerkkejä) - integraalifunktio-primitiivi-perhe - Analyysin peruslause - yhtälön integrointi puolittain
1.2. Differentiaaliyhtälöiden luokittelu
Tavallinen - osittais - ryhmä - kertaluku - alkuarvo- ja rauna-arvotehtävät - esimerkkejä
1.3. Differentiaaliyhtälöihin johtavia ongelmia
Yksinkertaisia ongelmia matematiikasta ja fysiikasta - populaation kasvu (eksponentiaalinen, logistinen) - oppimismalleja - saalistaja-uhri-malli lyhyesti, jaettu engl. kielinen teksti (demoissa esimerkki)
1.4. Differentiaaliyhtälön ratkaisutapoja
Analyyttisesti ''symbolilaskennalla'' - potenssisarjoilla (joskus esimerkki) - numeeriset menetelmät - graafisesti
1.5. Tavallisen differentiaaliyhtälön ratkaiseminen
Normaalimuoto - autonominen yhtälö - lineaarinen yhtälö - ratkaiseminen jollakin välillä - yksittäisratkaisu - täydellinen ratkaisu - erikoisratkaisu - yleinen ratkaisu - ekvivalentit yhtälöt - suljettu muoto - implisiittimuoto - parametrimuoto (lisäys: eri muotojen käsittely matematiikan tietokoneohjelmilla)
1.6. Differentiaaliyhtälön y¢ = f(x,y) graafinen ratkaiseminen
Perusteellisemmin suuntakenttä (tasavälinen, isokliinikenttä) - murtoviivakonstruktio - myös lisäesimerkkejä
1.7. Differentiaaliyhtälön y¢ = f(x,y) numeerinen ratkaiseminen
Eulerin menetelmä - parannettu Eulerin (eli Heunin) menetelmä - Runge-Kutta-menetelmä - menetelmien hauskoja kömmähdyksiä

2. ENSIMMÄISEN KERTALUVUN YHTÄLÖT
2.1. Ratkaisujen olemassaolo- ja yksikäsitteisyyslause
Todistetaan vasta Luvussa 5 - sovellutuksia
2.2. Lineaariset yhtälöt
Ratkaisukaavat johdetaan nykyisin - integroiva tekijä - alkuarvotehtävä - EHY:n täydellinen ratkaisu HY:n täydellisen ratkaisun ja EHY:n yksittäisratkaisun summana - vakion variointi - yrite-menetelmä
2.3. Lineaariseksi palautuvia yhtälöitä (ei käsitelty)
2.4. Separoituvat yhtälöt
Menetelmän perustelu - useita esimerkkejä
2.5. Separoituviksi palautuvia yhtälöitä (ei käsitelty)
2.6. Yhtälön u(x,y) = c differentiaaliyhtälö
Luennolla pitempi johdattelu esimerkin avulla: johdetaan käyräparven implisiittiesityksestä differentiaaliyhtälö
prosessin kääntömahdollisuuden pohdiskelua: avaimeksi havaitaan derivoinnin ketjusääntö
2.7. Eksaktit differentiaaliyhtälöt
Eksaktisuusehto - vektorikentän potentiaali - toinen eksaktisuusehto - vertailun vuoksi differentiaali - konkreettinen menetelmä potentiaalin löytämiseksi - useita esimerkkejä
2.8. Integroivalla tekijällä eksaktisointi (ei käsitelty)
2.9. Lineaarinen differentiaaliyhtälöryhmä (lisäys)
Lineaarinen 2×2-differentiaaliyhtälöryhmä ominaisvektorien avulla - erilaisten tapausten kvalitatiivista tarkastelua - nestetankkiesimerkki

3. TOISEN KERTALUVUN YHTÄLÖT
3.1. Ensimmäisen kertaluvun yhtälöiksi palautuvia yhtälöitä
Vain demoissa, alkeellisemmat tapaukset
3.2. Lineaariavaruus Cn(D)
Luennolla kerrataan lineaariavaruuden määritelmä - funktioavaruus - lineaarinen riippuvuus
3.3. Wronskin determinantti
2×2-determinantti - yhteydet funktioiden lineaariseen riippuvuuteen
3.4. Yleistä toisen kertaluvun lineaarisista differentiaaliyhtälöistä
Johdatus vektoriavaruuksien puolelta: kahden vektorin virittämä taso - tason siirto - OY-lause - standardi tarkastelu HY - EHY alulle
3.5. Homogeeninen toisen kertaluvun lineaarinen differentiaaliyhtälö
Lineaarisesti riippumattomat ratkaisut: perusjärjestelmä - lisäyksiä: tutkitaan millaisia ovat yhtälöt, joilla on tietyntyyppisiä konkreettisia ratkaisuja - yhtälön konstruointi kahden tunnetun ratkaisun avulla - toisen lineaarisesti riippumattoman olemassaolo - konstruointi käytännössä - toisen ratkaisun kaavan johtaminen kertaluvun pudotuksella (ks. 3.6) - lineaarisesti riippuvien ratkaisujen nollakohdista (Sturmin heilahduslause)
3.6. Homogeeniyhtälön ratkaiseminen kertaluvun pudotuksella
Esitelty alustavasti jo edellä
3.7. Homogeeninen vakiokertoiminen differentiaaliyhtälö
Hyväksytään vain reaaliset ratkaisut kussakin KY:n juurten tapauksessa
3.8. Epähomogeeniyhtälön ratkaiseminen vakioiden varioinnilla
Menetelmä ja ratkaiseminen (mm. Cramerin säännöllä)
3.9. Vakiokertoimisen epähomogeeniyhtälön ratkaiseminen yritteillä
Lyhyesti standardit tapaukset: yhtälön oikea puoli polynomi, eksponenttifunktio, trigonometrinen funktio tai niiden lineaarikombinaatio (jopa tulo)
3.10. Lineaarinen differentiaaliyhtälöryhmä (jatkoa, lisäys)
Muuntamalla toisen kertaluvun yhtälöksi - ominaisarvoyhtälön KY:n ja edellisessä muodostuvan KY:n yhteys

4. KORKEAMMAN KERTALUVUN YHTÄLÖT
4.1. Esimerkkejä epälineaarisista yhtälöistä (ei käsitelty)
4.2. Lineaariset korkeamman kertaluvun yhtälöt
Lyhyesti, analogiaan perustaen: HY - EHY, Wronski etc.
4.3. Vakiokertoiminen homogeeniyhtälö
KY:n juurten avulla, rationaalijuuret kokeillen
4.4. Epähomogeeniyhtälö ja vakioiden variointi (lyhyesti)
4.5. Vakiokertoiminen epähomogeeniyhtälö yritteellä (lyhyesti)
4.6. Funktion Laplace-muunnos
Standardi tapa vahvennettuna tietokonedemoilla
4.7. Alkuarvotehtävä Laplace-muunnoksella
Perustehtäviä
4.8. Epäjatkuvuus ja äkilliset impulssit (lisäys)
Yhtälössä y¢¢+ a y¢+ by = r voi r olla epäjatkuva tai sisältää Diracin Deltan
4.9. Laplace-muunnosten täydennystä (lisäys)
Edelliseen liittyen Heavisiden hyppyfunktion ja Diracin Deltan Laplace-muunnokset sekä esimerkkeinä äkillinen jännitteen muutos RC-piirissä ja äkillinen impulssi harmoniseen värähtelijään

5. ENSIMMÄISEN KERTALUVUN YHTÄLÖN RATKAISUJEN OLEMASSAOLO JA YKSIKÄSITTEISYYS
5.1. Picardin iterointimenetelmä
Lipschitz-ehto - Picardin perättäiset approksimaatiot (rajoitettu tapaus) - perättäisten etäisyysarvio - erotusten muodostama sarja - Weierstrassin suppenemiskriteerin käyttö - tasainen suppeneminen kompakteilla väleillä - ratkaisun olemassa-olo - yksikäsitteisyys (ei oikein ehditty) - pohjustus OY-lauseelle (tekninen lemma)
5.2. Olemassaolo- ja yksikäsitteisyyslauseen todistus
Rajoitettu osittaisderivaatta Þ Lipschitz - lokaali OY-lause
5.3. Eulerin numeerisen menetelmän tarkkuus (ei käyty)
Liite 1. Laplace-muunnostaulukko (täydennettiin: Heaviside, Delta)
Liite 2. Yhtälöryhmän ratkaiseminen Cramerin säännöllä
Liite 3. Rationaalifunktion jako osamurtoihin (käytiin esimerkeillä)
Liite 4. Differentiaaliyhtälöitä graafisella laskimella (TI 85) (ei käyty nyt)


File translated from TEX by TTH, version 1.96.
On 15 Feb 1999, 09:56.