DIFFERENTIAALIYHTÄLÖIDEN JATKOKURSSI SYKSY 2010

Samankaltaiset tiedostot
DIFFERENTIAALIYHTÄLÖIDEN JATKOKURSSI SYKSY 2014

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

JOHDATUS DYNAAMISIIN SYSTEEMEIHIN 2013

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

Lineaarikuvauksen R n R m matriisi

17. Differentiaaliyhtälösysteemien laadullista teoriaa.

MS-A0004/A0006 Matriisilaskenta

5 Differentiaaliyhtälöryhmät

5 Ominaisarvot ja ominaisvektorit

1 Lineaariavaruus eli Vektoriavaruus

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

6. OMINAISARVOT JA DIAGONALISOINTI

MS-C1340 Lineaarialgebra ja

6. Toisen ja korkeamman kertaluvun lineaariset

802320A LINEAARIALGEBRA OSA I

Ominaisarvo ja ominaisvektori

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja

Ominaisarvo-hajoitelma ja diagonalisointi

JAKSO 2 KANTA JA KOORDINAATIT

Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44

1 Avaruuksien ja lineaarikuvausten suora summa

1 Ominaisarvot ja ominaisvektorit

802320A LINEAARIALGEBRA OSA II

Insinöörimatematiikka D

5 OMINAISARVOT JA OMINAISVEKTORIT

1 Sisätulo- ja normiavaruudet

Vakiokertoiminen lineaarinen normaaliryhmä

Matriisin eksponenttifunktio ja differentiaaliyhtälöryhmät

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

10. Toisen kertaluvun lineaariset differentiaaliyhtälöt

Differentiaaliyhtälöt II, kevät 2017 Harjoitus 5

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

(1.1) Ae j = a k,j e k.

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

1 Di erentiaaliyhtälöt

ominaisvektorit. Nyt 2 3 6

DI matematiikan opettajaksi: Täydennyskurssi, kevät 2010 Luentorunkoa ja harjoituksia viikolle 13: ti klo 13:00-15:30 ja to 1.4.

Ortogonaalisen kannan etsiminen

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

C = {(x,y) x,y R} joiden joukossa on määritelty yhteen- ja kertolasku seuraavasti

8. Avoimen kuvauksen lause

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Numeeriset menetelmät TIEA381. Luento 5. Kirsi Valjus. Jyväskylän yliopisto. Luento 5 () Numeeriset menetelmät / 28

6. Differentiaaliyhtälösysteemien laadullista teoriaa.

Differentiaaliyhtälösysteemit sekä niiden tasapainopisteiden stabiilisuus

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Luento 8: Epälineaarinen optimointi

Tyyppi metalli puu lasi työ I II III

Numeeriset menetelmät

6. Lineaariset operaattorit

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

Ominaisarvoon 4 liittyvät ominaisvektorit ovat yhtälön Ax = 4x eli yhtälöryhmän x 1 + 2x 2 + x 3 = 4x 1 3x 2 + x 3 = 4x 2 5x 2 x 3 = 4x 3.

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Avaruuden R n aliavaruus

Kuvaus. Määritelmä. LM2, Kesä /160

Kanta ja Kannan-vaihto

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Harjoitusten 4 ratkaisut Topologiset vektoriavaruudet 2010

Lineaarialgebra II P

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Täydellisyysaksiooman kertaus

Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä

3.3 Funktion raja-arvo

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

Oletetaan ensin, että tangenttitaso on olemassa. Nyt pinnalla S on koordinaattiesitys ψ, jolle pätee että kaikilla x V U

802320A LINEAARIALGEBRA OSA III

FUNKTIONAALIANALYYSIN PERUSKURSSI Johdanto

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

Alkeismuunnokset matriisille, sivu 57

Derivaatta: funktion approksimaatio lineaarikuvauksella.

7. Tasaisen rajoituksen periaate

4. Ensimmäisen ja toisen kertaluvun differentiaaliyhtälöistä

Ominaisarvo ja ominaisvektori

Luento 8: Epälineaarinen optimointi

Ominaisvektoreiden lineaarinen riippumattomuus

Determinantti 1 / 30

=p(x) + p(y), joten ehto (N1) on voimassa. Jos lisäksi λ on skalaari, niin

Matriisi-vektori-kertolasku, lineaariset yhtälöryhmät

a 1 y 1 (x) + a 2 y 2 (x) = 0 vain jos a 1 = a 2 = 0

4 Korkeamman kertaluvun differentiaaliyhtälöt

3x + y + 2z = 5 e) 2x + 3y 2z = 3 x 2y + 4z = 1. x + y 2z + u + 3v = 1 b) 2x y + 2z + 2u + 6v = 2 3x + 2y 4z 3u 9v = 3. { 2x y = k 4x + 2y = h

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

Insinöörimatematiikka D

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 2 / vko 45

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Laskutoimitusten operaattorinormeista

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

1 Ominaisarvot ja lineaariset di erenssiyhtälöt

6 MATRIISIN DIAGONALISOINTI

Harjoitus Tarkastellaan luentojen Esimerkin mukaista työttömyysmallinnusta. Merkitään. p(t) = hintaindeksi, π(t) = odotettu inflaatio,

Differentiaalimuodot

Harjoitus Etsi seuraavien autonomisten yhtälöiden kriittiset pisteet ja tutki niiden stabiliteettia:

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

Talousmatematiikan perusteet: Luento 14. Rajoittamaton optimointi Hessen matriisi Ominaisarvot Ääriarvon laadun tarkastelu

Transkriptio:

DIFFERENTIAALIYHTÄLÖIDEN JATKOKURSSI SYKSY 1 JOUNI PARKKONEN Kurssi 1 1. Johdanto Olkoon U R n ja I R avoimia joukkoja ja f : U I R n (jatkuva) kuvaus. Tällä kurssilla tarkastelemme dierentiaaliyhtälöryhmiä (1) ẋ = f(x, t), ja niihin liittyviä alkuarvotehtäviä, joissa vaaditaan lisäksi x(t ) = x jollain x U. Merkintä ẋ(t) = x (t) tarkoittaa vektoriarvoisen kuvauksen x: R n, R derivaattaa. Komponenteittain kirjoitettuna dierentiaaliyhtälöryhmä (1) on ẋ 1 = f 1 ((x 1,..., x n ), t), ẋ = f ((x 1,..., x n ), t), (). ẋ n = f n ((x 1,..., x n ), t). Yleensä kutsumme dierentiaaliyhtälöryhmää yksinkertaisemmin dierentiaaliyhtälöksi. Dierentiaaliyhtälön (1) ratkaisu alkuarvolla x(t ) = x on dierentioituva kuvaus x: R n joltain avoimelta väliltä R, jolle pätee ẋ(t) = f(x(t), t) kaikilla t ja x(t ) = x. Jos dierentiaaliyhtälön oikean puolen kuvauksen arvo ei riipu muuttujan t arvosta, tämä riippuvuus jätetään pois ja tarkastellaan kuvauksen f : U R n määräämää autonomista dierentiaaliyhtälöä (3) ẋ = f(x) Autonomisen dierentiaaliyhtälön (3) ratkaisu alkuarvolla x(t ) = x on dierentioituva kuvaus x: R n joltain avoimelta väliltä R, jolle pätee ẋ(t) = f(x(t)) t ja x(t ) = x. Tällä kurssilla rajoitumme lähinnä autonomisten dierentiaaliyhtälöiden tarkasteluun. Nimityksiä: Parametriä t kutsutaan usein ajaksi, ja dierentiaaliyhtälön ajatellaan kuvaavan jonkin systeemin tilan x kehittymistä ajan kuluessa. Jos A: R n R n on lineaarikuvaus, yhtälö ẋ = Ax on lineaarinen (autonominen) dierentiaaliyhtälö Huomaa: 1

(a) Jos dierentiaaliyhtälö ei ole autonominen, niin pisteen (x, t ) tulee olla kuvauksen f kannalta mielekäs. (b) Kuvauksen f määrittelyjoukko jätetään usein hieman epämääräiseksi. Esimerkki 1.1. (1) Olkoot λ, a R. Lineaarisen alkuarvotehtävän { ẋ = λx x() = a ratkaisu on x(t) = ae λt. Kuvassa ratkaisut parametrien arvoilla λ = a = ja λ = 1, a = 1. x 15 1 5 1 1 t 5 Tämän alkuarvotehtävän ratkaisu voidaan määritellä koko reaaliakselilla. () Alkuarvotehtävän { ẋ = x, x() = a missä a R, ratkaisu taas räjähtää äärellisessä ajassa tulevaisuudessa tai menneisyydessä. x 1 5 1 1 t 5 1 Geometrinen tulkinta: Autonomisen dierentiaaliyhtälön (3) oikean puolen kuvaus f määrää vektorikentän joukossa U. Alkuarvotehtävän { ẋ = f(x) x(t ) = x

ratkaisu on dierentioituva polku joukossa U, jonka tangenttivektori ẋ(t) pisteessä x(t) on vektorikentän f arvo (siis vektori). Lisäksi polku kulkee pisteen x kautta ja toteuttaa x(t ) = x. x 3 1 p 3 1 1 3 x 1 1 3 Kuva 1. Vakiovektorikenttä f(x) = (1, 1) tasossa ja alkuarvotehtävän ẋ = f(x), x() = p = (1,.3) ratkaisu aikavälillä t ], ]. Esimerkki 1.. Olkoot λ 1, λ, a, b R. Tason lineaarisen alkuarvotehtävän (4) { ẋ 1 = λ 1 x 1, ẋ = λ x, ratkaisu on Esimerkin 1.1 kohdan (1) mukaan ratkaisut käyttäytyvät kuten kuvassa: x 3 { x 1 () = a, x () = b, { x 1 (t) = ae λ1t,. Kun λ x (t) = ae λ t < < λ 1, 1 3 1 1 3 x 1 1 Ratkaisut lähestyvät x 1 -akselia, kun t ja x -akselia, kun t. 3 3

Dierentiaaliyhtälö (4) voidaan esittää matriisimuodossa: Asetetaan ja x = ( x1 A = diag(λ 1, λ ) = λ1 λ ). Tällöin yhtälö (4) saadaan matriisimuotoon ẋ = Ax. x Esimerkki 1.3. Toisen asteen lineaarisen dierentiaaliyhtälön (5) y (t) + y(t) = kaikki ratkaisut saadaan funktioiden sin ja cos lineaarikombinaatioina. Jokaisella alkuarvotehtävällä y (t) + y(t) =, y() = a, y () = b, on ratkaisu y(t) = a cos t + b sin t: 1..5 6 4 4 6.5 1. Dierentiaaliyhtälö (5) voidaan muuntaa tason dierentiaaliyhtälöksi: Asetetaan x 1 = y ja x = y. Tällöin siis yhtälö (5) on (6) { ẋ 1 = x ẋ = x 1. Matriisimuodossa yhtälö (6) on siis ẋ = Ax, missä ratkaisu on siis luettavissa edeltä: Yleinen ratkaisu on x(t) = a cos t + b sin t a sin t + b cos t 1. Yhtälö(pari)n (6) 1 Dierentiaaliyhtälön (6) vektorikenttä f(x) = Ax ja ratkaisut alkuarvoilla x = (.3, 1), x = ( 1, 1) ja x = (, ): 4.

x 1 1 1 x 1 1 Esimerkki 1.4 (Lotka-Volterra). Tarkastellaan esimerkkiä dierentiaaliyhtälöiden käytöstä biologisen tilanteen mallittamisessa. Meressä on kahdenlaisia kaloja: haita ja hainruokaa. Olkoon haitten lukumäärä h ja hainruoan lukumäärä r. Oletetaan, että ilman haita hainruoan populaatio kehittyisi Malthusin lain mukaan eksponentiaalisesti yhtälön ṙ = ar mukaan, missä a on positiivinen vakio. Hain ja hainruoan kohtaamisia tapahtuu b hr kappaletta, ja jollain todennäköisyydellä hai syö hainruoan. Siis hainruoan määrä vähenee nopeudella bhr. Vastaavasti haitten lukumäärän luonnollinen poistumanopeus on suhteessa lukumäärään ch, ja ruoan saanti kasvattaa populaatiota nopeudella dhr. Näiden kahden lajin lukumääriä säätelee tämän päättelyn mukaisesti dierentiaaliyhtälöpari (7) joillain positiivisilla vakioilla a, b, c, d. y 3. { ṙ = ar bhr, ḣ = ch + dhr.5. 1.5 1..5...5 1. 1.5..5 3. x Osoittautuu, että positiivisilla alkuarvoilla ratkaisut ovat jaksollisia: x(t + T ) = x(t) kaikilla t R jollain T R. Lisäksi alkuarvoa (c/d, a/b) vastaa vakioratkaisu: 5

Nythän ja f(r, h) = (ar bhr, ch + dhr) = ((a bh)r, (dr c)h), ( c f d, a ) = b (( a b a ) c ( b d, d c ) a ) d c =. b Vakiokuvauksen t ( c d, b a) derivaatta on nolla, joten se toteuttaa dierentiaaliyhtälön (7). Kuvauksen f nollakohdat ovat dierentiaaliyhtälön ẋ = f(x) tasapainopisteitä (equilibrium point). Edellisen esimerkin argumentilla saadaan: Lemma 1.5. Jos x on dierentiaaliyhtälön { ẋ = f(x) tasapainopiste, niin vakiokuvaus t x on alkuarvotehtävän ratkaisu. ẋ = f(x) x(t) = x Alkuarvotehtävällä voi olla useita eri ratkaisuja: Esimerkki 1.6. Alkuarvotehtävällä { ẋ = 3x /3, x() =, on kaksi koko ratkaisua x 1, x : R R: vakiokuvaus x 1 (t) = ja kuvaus x (t) = t 3. Tässä esimerkissä kuvaus f on jatkuva, mutta se ei ole dierentioituva pisteessä x =. Todistamme kurssilla myöhemmin tuloksen, joka kertoo, milloin ratkaisuja on vain yksi: Lause 1.7 (Olemassaolo- ja yksikäsitteisyyslause). Olkoon U R n avoin joukko, ja olkoon f C 1 (U). Olkoon x U. Tällöin alkuarvotehtävällä { ẋ = f(x), x() = x on yksikäsitteinen ratkaisu, joka on määritelty jollain avoimella välillä ] δ, δ[. 6

. Tason lineaariset differentiaaliyhtälöt Johdannossa tarkastelimme kahta tason lineaarista dierentiaaliyhtälöä ẋ = Ax, joiden ratkaisut käyttäytyvät selvästi eri tavoin: x 3 x 1 1 3 1 1 3 x 1 1 1 x 1 1 1 3 Vasemmanpuoleisessa esimerkissä A = 1 A =. 1 λ, µ < < λ, ja oikeanpuoleisessa µ Kun tarkastellaan alkuarvotehtävän ẋ = Ax, x(t ) = x ratkaisua maksimaalisella määrittelyvälillä I R, joukkoa x(i) kutsutaan usein pisteen x radaksi. Ylläolevissa esimerkeissä vasemmanpuoleisen dierentiaaliyhtälön radat ovat rajoittamattomia ja x(t), kun t tai t. Oikeanpuoleisen dierentiaaliyhtälön radat taas ovat kaikki ympyröitä, siis rajoitettuja joukkoja. Tässä luvussa luokittelemme kaikki tason lineaariset dierentiaaliyhtälöt. Tätä varten tarvitaan hieman lineaarialgebraa:.1. Lineaarialgebraa. Jos A on reaalinen n n-matriisi, niin vektori v R n \{} on matriisin A ominaisvektori ominaisarvolla λ R, jos Av = λv. Ominaisvektori on siis nollasta poikkeava vektori matriisia A λi standardikannassa vastaavan lineaarikuvauksen ytimessä. Tästä nähdään, että matriisin A reaaliset ominaisarvot ovat matriisin A karakteristisen polynomin χ A (λ) = det(a λi) reaaliset juuret. Lineaarialgebran kurssilla on tapana käsitellä ainoastaan reaalisia ominaisarvoja, mutta tällä kurssilla on luontevaa käsitellä myös karakteristisen polynomin kompleksisia juuria. Kutsumme näitäkin matriisin A ominaisarvoiksi, erityisesti kompleksisiksi ominaisarvoiksi. Karakteristisen polynomin aste on n, joten Algebran peruslauseen (todistetaan Kompleksianalyysissa) mukaan karakteristisella polynomilla on algebrallinen kertaluku huomioiden n juurta. Ominaisarvon kertaluku karakteristisen polynomin juurena on sen algebrallinen kertaluku. Matriisin A reaalista ominaisarvoa λ vastaavat ominaisvektorit muodostavat nollavektorin kanssa ominaisavaruuden E λ = E λ (A) = {v R n : Av = λv}. Ominaisavaruuden E λ dimensio on ominaisarvon λ geometrinen kertaluku. 7

1 ei ole reaalisia ominaisarvoja. Sen 1 karakteristinen polynomi on λ 1 χ A (λ) = det = λ 1 λ + 1, Esimerkki.1. (1) Matriisilla A = joten sillä on kompleksiset ominaisarvot i ja i. 1 1 () Matriisilla on yksi algebrallisesti kaksinkertainen ominaisarvo 1. Ominaisarvon 1 geometrinen kertaluku on 1: Ominaisvektorit määrittävä yhtälöryhmä 1 Av = v kutistuu yhtälöksi v =, joka määrää 1-ulotteisen aliavaruuden. Lineaarialgebrassa (LAG) osoitetaan, että -matriisi B on diagonalisoituva, jos sillä on kaksi eri (reaalista) ominaisarvoa. Toisaalta -matriisi voi olla diagonalisoituva ( vaikka ) sillä olisi vain yksi ominaisarvo (λ = µ yllä), ja esimerkiksi 1 matriisilla ei selvästi ole yhtään ominaisvektoria eikä siis yhtään reaalista ominaisarvoa, koska sitä standardikannassa vastaava lineaarikuvaus on kierto 1 myötäpäivään kulman π/ verran. Jos n n-matriisi A on diagonalisoituva, niin on avaruuden R n kanta, joka koostuu matriisin A (tai sitä vastaavan lineaarikuvauksen L A : R n R n, L A v = Av) ominaisvektoreista. Erityisesti ominaisavaruuksien dimensioiden summa on n. Lineaarialgebran kurssilla osoitetuista tuloksista saadaan suoraan: Lemma.. n n-matriisi A on diagonalisoituva, jos ja vain jos sen ominaisarvojen geometristen kertalukujen summa on n Jos A ja B ovat reaalisia n n-matriiseja ja C on kääntyvä reaalinen n n-matriisi, jolle B = CAC 1, niin A ja B ovat toistensa konjugaatteja ja C on konjugoiva matriisi. Diagonalisoituva matriisi on siis jonkin diagonaalimatriisin konjugaatti. Lineaarialgebrassa osoitetaan seuraava tulos: Lause.3. Olkoot A ja B reaalisia n n-matriiseja, joille pätee A = CBC 1 jollain kääntyvällä reaalisella n n-matriisilla C. Tällöin (a) matriiseilla A ja B on samat ominaisarvot. (b) matriisia C vastaava lineaarikuvaus kuvaa matriisin B ominaisavaruudet bijektiivisesti matriisin A ominaisavaruuksiksi. (c) tr A = tr B. (d) det A = det B. Lineaaristen dierentiaaliyhtälöiden yhteydessä konjugointi on usein kätevä väline seuraavan ominaisuuden vuoksi Lemma.4 (Muuttujanvaihtolemma). Olkoot A ja B n n-matriiseja, joille pätee A = CBC 1 jollain kääntyvällä C. Tällöin, jos x on dierentiaaliyhtälön ẋ = Bx ratkaisu alkuarvolla x() = x, niin y = Cx on dierentiaaliyhtälön ẏ = Ay ratkaisu alkuarvolla y() = Cx. Todistus. Harjoitus. Esimerkki.5. Matriisin 1 3 A = 1 1 ominaisarvot ovat ja. Sen ominaisavaruudet saadaan ratkaisemalla yhtälöparit Av = v ja Av = v, jotka antavat vastaaville ominaisavaruuksille yhtälöt v 1 = 3v 8

ja v 1 = v. Matriisi A voidaan diagonalisoida esimerkiksi matriisilla 3 1 C =, 1 1 ( 3 1 jonka sarakkeet w 1 = ja w 1) = ovat ominaisvektoreita. Nythän, jos 1 B = C 1 A C, niin ( ( ( 1 B = ) C 1 A C 1 = ) C 1 Aw 1 = C 1 w 1 = C 1 1 w 1 =, ) ja vastaavasti ( (8) B 1) ( = 1) Alkuarvotehtävän ẋ = Bx, a x() = b ae t ratkaisu tunnetaan, se on x(t) = be t.. x 3 x 6 4 1 3 1 1 3 x 1 6 4 4 6 x 1 1 4 3 6 Lemman.4 mukaan on alkuarvotehtävän (9) Kuva. Kaksi satulaa y(t) = Cx(t) = ẏ = Ax, y() = C 3ae t + be t ae t be t ratkaisu. Matriisia C vastaava lineaarikuvaus on siis muuttujanvaihto, joka liittää alkuarvotehtävät (8) ja (9), ja niiden ratkaisut toisiinsa. Lemma.6. Jos A on -matriisi, niin ( ) a b χ A (λ) = λ λ tr A + det A. 9

Toisen asteen polynomin juurten kaava antaa nopean tavan selvittää ominaisarvot ja niiden laadut: Propositio.7. Olkoon A -matriisi. (a) Jos det A <, niin matriisilla A on kaksi erimerkkistä ominaisarvoa. (b) Jos det A > ja tr A 4 det A, niin matriisilla A on kaksi samanmerkkistä ominaisarvoa. (c) Jos det A > ja tr A < 4 det A, niin matriisilla A on kaksi kompleksista ominaisarvoa, jotka ovat toistensa liittolukuja. (d) Jos det A =, niin ainakin toinen ominaisarvo on. Tällöin mahdollinen nollasta poikkeava ominaisarvo on reaalinen. Lause.8 (Konjugointilause). Olkoon A reaalinen -matriisi. Tällöin on kääntyvä reaalinen -matriisi C, jolle matriisi CAC 1 on (a) diagonaalimatriisi, jos matriisilla A on kaksi eri reaalista ominaisarvoa tai yksi reaalinen ominaisarvo, λ 1 (b) diagonaalimatriisi tai muotoa, jos matriisilla A on yksi kaksinkertainen reaalinen ominaisarvo, ( ja ) λ α β (c) vinosymmetrinen muotoa, jos matriisilla A ei ole reaalisia ominaisarvoja. β α Tarkastelemme nyt eri tapaukset. Seuraavassa A on -matriisi: Matriisi A on diagonalisoituva. Dierentiaaliyhtälön ẋ = Ax ratkaisut saadaan eksponenttifunktion avulla kuten esimerkissä.5. Ratkaisuja on ominaisarvojen merkeistä riippuen kolmea erilaista tyyppiä: (1) Jos matriisilla A on kaksi ominaisarvoa, jotka ovat erimerkkisiä, ratkaisut käyttäytyvät kuten esimerkissä.5. Tässä tapauksessa origoa kutsutaan satulaksi, katso kuvia Esimerkissä.5. () Jos matriisilla A on kaksi negatiivista ominaisarvoa λ 1 ja λ, ratkaisut saadaan samalla tavalla kuin esimerkissä.5. Ratkaisujen käyttäytyminen on kuitenkin erilaista: A on konjugaatti diagonaalimatriisin B = diag(λ 1, λ ) kanssa. Dierentiaaliyhtälön ẋ = Bx ratkaisut alkuarvoilla, jotka ovat koordinaattiakseleilla, lähestyvät origoa eksponentiaalisesti akselia pitkin, kun t. Muilla alkuarvoilla ratkaisut lähestyvät myös origoa, mutta kuvan mukaisia käyriä pitkin. Tässä tapauksessa origoa kutsutaan nieluksi. Huomaa, että ratkaisukäyrät ovat säteitä, kun ominaisarvot ovat samanlaisia. (3) Jos matriisilla A on kaksi positiivista ominaisarvoa λ 1 ja λ, ratkaisukäyrät ovat kuten nielulla, mutta ratkaisut liikkuvat vastakkaiseen suuntaan. Tässä tapauksessa origoa kutsutaan lähteeksi. Matriisi A on konjugaatti matriisin λ 1 kanssa. λ Kuvaus x: R R, on dierentiaaliyhtälön a + tb x(t) = e λt b ẋ = λ 1 x λ 1

x 6 4 6 4 4 6 x 1 4 6 Kuva 3. Lähde x 3 1 3 1 1 3 x 1 1 3 Kuva 4. Surkastunut lähde ratkaisu alkuarvolla x() = (a, b). Jos matriisilla A on yksi ominaisarvo, jonka algebrallinen kertaluku on( yksi ja ) λ 1 geometrinen kertaluku on kaksi, niin Lauseen.8 nojalla A on matriisin 1 konjugaatti jollain λ R, ja dierentiaaliyhtälön ẋ = Ax ratkaisut saadaan Lemman.4 avulla. Tässä tapauksessa origoa kutsutaan surkastuneeksi nieluksi, jos λ < ja surkastuneeksi lähteeksi, jos λ >. Jos A on neliömatriisi ja λ on sen ominaisarvo, niin vastaava ominaisavaruus on matriisin A λi ydin: E λ (A) = ker(a λ). Jos k on luonnollinen luku, k 1, niin vektorialiavaruus E k λ(a) = ker(a λ) k 11

on ominaisarvoa λ vastaava kertaluvun k yleistetty ominaisavaruus. Esimerkki.9. λ 1 Koko taso on matriisin kertaluvun yleistetty ominaisavaruus ominaisarvolle λ: λ 1 (A λi) = =. Matriisi A on konjugaatti vinosymmetrisen matriisin kanssa Lauseen.8 mukaan( kaikki ) reaaliset -matriisit, jotka eivät ole diagonalisoituvia tai matriisin konjugaatteja jollain λ R, ovat vinosymmetrisen λ 1 1 α β matriisin A = konjugaatteja joillain α, β R, β. Kuvaus x: R R β α, cos βt sin βt x(t) = e αt [a + b ] sin βt cos βt { ẋ = Ax on alkuarvotehtävän ratkaisu. x() = (a, b) (1) Jos α =, niin ratkaisu on muotoa cos βt sin βt x(t) = a + b sin βt cos βt Tämä kuvaus parametrisoi ympyrän, jonka säde on a + b. Yleisessä tilanteessa ratkaisut parametrisoivat ellipsin, joka saadaan kuvaamalla tämä ympyrä kannanvaihtokuvauksella. Tässä tapauksessa origo on keskus. () Jos α <, niin kerroin e αt aiheuttaa sen, että ratkaisu lähestyy origoa, kun t. Ratkaisukäyrä on spiraali, joka kiertää origoa lineaarisella nopeudella ja lähestyy sitä eksponentiaalisella nopeudella. Tässä tapauksessa origo on spiraalinielu. x 6 4 6 4 4 6 x 1 4 6 Kuva 5. Spiraalinielu (3) Jos α >, niin kerroin e αt aiheuttaa sen, että ratkaisun normi kasvaa rajatta, kun t. Ratkaisukäyrä on spiraali, joka kiertää origoa lineaarisella nopeudella 1

ja etääntyy siitä eksponentiaalisella nopeudella. Tässä tapauksessa origo on spiraalilähde. x 6 4 6 4 4 6 x 1 4 6 Kuva 6. Spiraalilähde.. Kompleksista lineaarialgebraa. Lineaarisen algebran ja geometrian kursseilla käsitellään yleensä ainoastaan reaalisia vektoriavaruuksia ja niiden lineaarikuvauksia. Lineaarialgebran teoria voidaan kuitenkin muotoilla yleisemmin korvaamalla aksioomissa esiintyvä reaalilukujen kunta R millä tahansa kunnalla, esimerkiksi rationaaliluvuilla tai kompleksiluvuilla. Kompleksinen lineaarialgebra auttaa meitä ymmärtämään paremmin Lauseen.8 kolmatta tapausta. Esimerkiksi kompleksisen vektoriavaruuden aksioomat ovat samat kuin reaalisessa tapauksessa, mutta kaikki ominaisuudet, joissa reaalisessa tapauksessa esiintyy R vaaditaan kompleksiluvuille. Esimerkiksi Kompleksisessa vektoriavaruudessa V α(u + v) = αu + αv kaikille α C ja kaikille u, v C. Kuvaus L: V V on (kompleksinen) lineaarikuvaus, tai kompleksilineaarinen kuvaus, jos L(αu + βv) = αlu + βlv kaikille α, β C ja kaikille u, v C. Lineaarikuvaukset ja matriisit vastaavat toisiaan, kun kannat on valittu kuten reaalisessa tapauksessa Vektori v C n on lineaarikuvauksen L: C C n ominaisvektori ominaisarvolla λ C, jos Lv = λv. Lineaarinen rippuvuus ja siis myös aliavaruuden dimensio määritellään myös kompleksilukujen avulla: Vektorit u i, i I ovat lineaarisesti riippuvia, jos kaikille äärellisille summille pätee vain, jos α 1 = = α k =. N α k u ik = k=1 Esimerkki.1. C n on kompleksinen vektoriavaruus, jonka (kompleksinen) dimensio on n: Standardikanta, joka koostuu vektoreista e 1,... e n, missä e i on vektori, 13

jonka ainoa nollasta poikkeava kerroin on 1 C paikalla i, on selvästi lineaarisesti riippumaton. Kompleksisessa vektoriavaruudessa C määritellään vektorien reaali- ja imaginaariosa ja kompleksikonjugaatti komponenteittain kuvauksina C n R n : Jos z = (z 1,..., z n ) C, niin ja Re z = (Re z 1,..., Re z n ), Im z = (Im z 1,..., Im z n ) z = ( z 1,..., z n ). Nyt voimme palata Lauseen.8 todistukseen. (1) Jos matriisilla A on kaksi eri ominaisarvoa, diagonalisoituvuus on todistettu kurssilla LAG. Samoin, jos matriisilla A on geometrisesti kaksinkertainen ominaisarvo, on helppo nähdä, että A on diagonaalinen. () Oletetaan, että matriisilla A on geometrisesti kaksinkertainen ominaisarvo λ R, ja olkoon u jokin ominaisvektori, jolle siis pätee Au = λu. Olkoon v R mikä tahansa vektori siten, että u ja v virittävät koko tason R. Tällöin Av = µu+νv joillekin µ, ν R, µ. Jos olisi ν λ, niin A ( µ ν λ u + v ) = λ µ u + µu + νv = ν ν λ µ ν λ u + v, joten ν λ olisi ominaisarvo vastoin oletusta. Siispä Av = µu + λv. Valitaan kannaksi u ja w = v/µ. Tällöin Au = λu ja Aw = µu/µ + λv/µ = u + λw, joten matriisi on tässä kannassa haluttua muotoa. (3) Oletetaan, että matriisilla A ei ole reaalisia ominaisarvoja. Tällöin sillä on kaksi kompleksista ominaisarvoa α ± iβ, β. Ajatellaan A kompleksisena matriisina. Tällöin ominaisarvoa α + iβ vastaa jokin ominaisvektori u = Re u + i Im u C. Havaitaan ensin, että Re u ja Im u ovat lineaarisesti riippumattomia reaalisessa vektoriavaruudessa R : Jos näin ei ole, niin Re u = c Im u jollain c R. Tällöin (c + i)a Im u = A((c + i) Im u) = A(u) = (α + iβ)u = (α + iβ)(c + i) Im u, joten A Im u = (α + iβ) Im u, mikä on mahdotonta, sillä A Im u on reaalinen vektori, kun taas (α + iβ) Im u ei ole. Kirjoitetaan matriisi Au komponenteittain kahdella tavalla: Koska A on reaalinen, pätee Au = A(Re u + i Im u) = A(Re u) + ia(im u). Toisaalta Au = (α + iβ)(re u + i Im u) = α Re u β Im u + i(β Re u + α Im u), joten tarkastamalla reaali- ja imaginaariosat saadaan A Re u = α Re u β Im u ja A Im u = β Re u + α Im u. Edellä oleva tarkastelu osoittaa, että avaruuden R kannassa, jonka muodostavat vektorit v 1 = Re u ja v = Im u, matriisia A vastaava lineaarikuvaus käyttäytyy 14

halutulla tavalla. Valitaan kannanvaihtomatriisiksi C matriisi, jonka sarakkeet ovat vektorien v 1 ja v komponentit. Tällöin C on reaalinen, ja pätee ( ( 1 α C 1 AC = C ) 1 Av 1 = C 1 (αv 1 βv ) = β) ja ( C 1 AC = C 1) 1 Av 1 = C 1 (βv 1 + αv ) = ( β α). 15

3. Lineaariset differentiaaliyhtälöt korkeammissa ulottuvuuksissa Tason tilanteessa yksinkertaistimme lineaaristen dierentiaaliyhtälöiden tarkastelua osoittamalla, että kaikki reaaliset -matriisit voidaan konjugoida reaalisella matriisilla yhteen kolmesta perusmuodosta (Lause.8). Itse asiassa edellämainittu tulos on erikoistapaus tuloksesta, joka pätee kaikissa ulottuvuuksissa. Terminologiaa: Jos B 1,..., B N ovat n 1 n 1,..., n N n N -neliömatriiseja, ja N i=1 n i = n, niin matriiseista B 1,..., B N muodostettu matriisia diag(b 1,..., B N ) = B 1 B jossa loput n N i=1 n i kerrointa ovat nollia, on blokkidiagonaalimatriisi, jonka blokkeja ovat matriisit B i. Blokin B i koko on n i. Lause 3.1 (Jordanin kanoninen muoto). Olkoon A reaalinen n n-neliömatriisi, ja olkoot λ 1,..., λ r, λ r+1, λ r+1,..., λ M, λ M sen eri ominaisarvot. Olkoot a i ja g i ominaisarvon λ i algebrallinen ja geometrinen kertaluku. Tällöin A voidaan konjugoida reaalisella matriisilla blokkidiagonaalimuotoon, jossa jokainen blokki on joko muotoa λ i 1 λi tai λ i 1...... λ i 1, λ i jos λ i on reaalinen, tai C λi = αi β i β i α i tai... C λi I C λi I... B N,...,... I C λi jos λ i = α i +iβ i ei ole reaaliluku. Reaalista ominaisarvoa λ i vastaa g i blokkia, joiden kokojen summa on a i. Kompleksista ominaisarvoparia λ i, λ i vastaa g i blokkia, joiden kokojen summa on a i. Jordanin kanonisen muodon ja Lemman.4 avulla moniulotteiset tapaukset voidaan palauttaa helpommin käsiteltävään muotoon. Tällä kurssilla emme todista Lausetta 3.1, todistus esitetään monissa hieman edistyneemmän lineaarialgebran kirjoissa, esimerkiksi Horn-Johnson, Ortega. Esimerkki 3.. Olkoon A reaalinen 3 3-matriisi, jolla on yksi kompleksinen ominaisarvopari λ, λ = ±i, ja yksi reaalinen ominaisarvo 1. Tällöin A on Lauseen 3.1 mukaan matriisin (1) B = 1 1 1 konjugaatti. Matriisia B vastaava dierentiaaliyhtälö ẋ = Bx on helppo ratkaista, koska ensimmäiset kaksi koordinaattia muodostavat oman -ulotteisen systeeminsä: 16

Kuvaus a cos t + b sin t x(t) = a sin t + b cos t on ratkaisu alkuarvolla x() = (a, b, c) R 3. Jos c =, niin ratkaisu pysyy x 1 x -tasossa ja on a + b -säteisen ympyrän parametrisointi kuten esimerkissä 1.3. Jos taas a = b =, niin ratkaisu pysyy x 3 -akselilla ja lähestyy origoa eksponentiaalisella vauhdilla. Yleisen tilanteen ratkaisukäyrä kulkee sylinterillä {x R 3 : x 1 + = a + b } ja kasautuu kohti x 1 x -tason ympyrää ce t {(x 1, x, ) R 3 : x 1 + = a + b }. 1 1 1 1.6 1.4..6.4 1. 1 1.. Kuva 7. Kaksi eri näkymää dierentiaaliyhtälön ẋ = Bx ratkaisusta alkuarvolla x() = (1, 1, 1), kun B on kaavan (1) matriisi. Alkuperäisen dierentiaaliyhtälön ratkaisut saadaan muuttujanvaihtolemman.4 avulla. Kun lineaarinen autonominen dierentiaaliyhtälö ẏ = Ay konjugoidaan muotoon ẋ = Bx, missä B = C 1 AC on Jordanin kanonisessa muodossa, niin alkuperäinen dierentiaaliyhtälö korvataan ekvivalentilla yhtälöllä, jonka ratkaiseminen on helppoa: Jos B = diag(b 1,..., B M ), niin dierentiaaliyhtälön ẋ = Bx ratkaisu saadaan yhdistämällä kutakin blokkia vastaavien dierentiaaliyhtälöiden ẋ (j) = B j x (j) ratkaisut x = (x (1),..., x (M) ). Jos B j on reaalista ominaisarvoa vastaava 1 1-blokki tai kompleksista ominaisarvoa vastaava -blokki, niin ratkaisu x (j) tiedetään aiemman perusteella, samoin Luvussa huomattiin, että alkuarvotehtävän ( λ 1 a ẋ = x, x() = λ b) ratkaisut ovat muotoa a + tb x(t) = e λt. b 17

Propositio 3.3. Olkoon x = (x 1,..., x n ) R n. Alkuarvotehtävän ratkaisu on x(t) = e λt[ x (1) λ i 1 λ i 1 ẋ =...... λ i 1 x, x() = x λ i 1 t t / t n 1 /(n 1)! 1 t t. + x(). + x(3) 1. + + n /(n )! ] x(n).. t 1 Palaamme yleisen kompleksista ominaisarvoa vastaavan blokin ratkaisuun hetken kuluttua. Esimerkki 3.4. Koska matriisi 1 1 1 A = 1 1 1 1 1 on yläkolmiomatriisi, näemme heti, että sen ainoa ominaisarvo on 1. Ominaisvektorit määrittävä yhtälöryhmä koostuu kahdesta yhtälöstä { x = x 3 x 4 =, joten v 1 = (1,,, ) ja w 1 = (, 1, 1, ) virittävät -ulotteisen ominaisavaruuden E 1. Ominaisarvon 1 algebrallinen kertaluku on 4 ja sen geometrinen kertaluku on, joten matriisin A Jordanin kanoninen muoto on (permutaatiota vaille) joko 1 1 1 1 1 1 tai 1 1 1 1 1 1 On siis selvitettävä ainoaa ominaisarvoa 1 vastaavan yleistetyn ominaisavaruuden rakenne tarkemmin: Yhtälöllä (A I 4 )x = v 1 on -ulotteinen ratkaisuavaruus, josta voimme valita vektorin v = (, 1,, ), joka on lineaarisesti riippumaton vektorin v 1 kanssa. Sen sijaan yhtälöllä (A I 4 )x = v ei ole ratkaisua. Vastaavasti yhtälöllä (A I 4 )x = w 1 on -ulotteinen ratkaisuavaruus, josta voimme valita vektorin w = (,,, 1). Jos F : X X on kuvaus, niin osajoukko Y X on F-invariantti, jos F (Y ) Y. Matriisia A vastaavalla lineaarikuvauksella on siis kaksi invarianttia -ulotteista aliavaruutta V = v 1, v ja W = w 1, w. Lineaarikuvauksen L V matriisi kannan v 1, v ja lineaarikuvauksen L W matriisi kannan w 1, w suhteen on sama matriisi 18

1 1. Vektorit v 1 1, v ja w 1, w muodostavat kaksi Jordanin ketjua ominaisarvolle 1: (A I 4 )v = v 1, Av 1 = v 1 ja (A I 4 )w = w 1, Aw 1 = w 1. Haluttu matriisin A Jordanin kanoninen muoto on siis 1 1 B = 1 1 1, 1 ja kannanvaihto saadaan matriisilla 1 C = 1 1 1 : 1 A = CBC 1. Dierentiaaliyhtälön ẋ = Bx ratkaisut ovat a + bt x(t) = e t b c + dt. d Dierentiaaliyhtälön ẏ = Ay ratkaisut ovat siis funktiot y : R R 4, 1 a + bt y(t) =Cx(t) = e t 1 1 b 1 c + dt 1 d a + bt =e t b + c + dt c + dt. d Ratkaisu toteuttaa ehdon y() = (c 1, c + c 3, c 3, c 4 ), mikä pitää ottaa huomioon alkuarvotehtävää ratkaistaessa. Yleisessä tilanteessa, jos lineaarisesti riippumattomat vektorit v 1,..., v K toteuttavat (A λi)v j = v j 1 kaikilla j =,..., K, (A λi)v 1 = ja yhtälöllä (A λi)x = v K ei ole ratkaisua, niin nämä vektorit muodostavat Jordanin ketjun. Jos käytettävä kanta valitaan niin, että vektorit v 1,..., v K sisältyvät siihen, aliavaruutta v 1,..., v K vastaa blokki λ 1 λ 1...... λ 1. λ 19

3.1. Matriisien eksponenttifunktio. Tarkastelemme nyt toista, periaatteessa suoraviivaista menetelmää lineaarisen autonomisen dierentiaaliyhtälön ratkaisemiseksi. Varustetaan reaalisten n n-matriisien vektoriavaruus M n normilla A = (a ij ) = max 1 i,j n a ij. Jono A i suppenee kohti matriisia A, jos A i A, kun i, ja sarjojen j=1 c ja j suppeneminen määritellään osajonojen suppenemisen kautta. Muista: Äärellisulotteisessa vektoriavaruudessa kaikki normit ovat ekvivalentteja, joten suppenemiskäsite ei riipu normin valinnasta. Monessa tilanteessa olisi luonteva käyttää operaattorinormia A = max x =1 Ax, missä on euklidinen normi. Määritellään tavanomaiseen tapaan A = I n kaikille A M n. Propositio 3.5. Sarja (11) suppenee kaikille neliömatriiseille A. j= A j j! Sarja (11) määrittelee matriisien eksponenttifunktion exp: M n M n, A j exp A =. j! j= Todistus. Olkoon a k ij matriisin A k ij-kerroin. Tällöin a n ij = a ik a kj n A, ja induktiolla a N n ij = k=1 k=1 a N 1 ik a kj nn 1 A N. Siispä a N ij nn 1 A N nn A N, N! N! N! ja koska reaalinen eksponenttifunktio suppenee itseisesti, niin Weierstrassin M-testin ja määritelmän nojalla sarja (11) suppenee. Esimerkki 3.6. Olkoon A = β. β

Tällöin β β β A = = β β β = β I, β A 3 = β I = β β A, A 4 =β 4 I,. ja induktiolla saadaan siis exp(a) = j=1 A j j! ( 1) k β (k) (k)! k= = ( 1) k β (k+1) (k + 1)! k= k= ( 1) k β (k+1) (k + 1)! ( 1) k β (k) k= (k)! cos β sin β =. sin β cos β Vastaavasti muille (luvulla t R kerrotuille) -matriisien perusmuodoille saadaan λ 1 1 t t /... t n 1 /(n 1)! λ 1 exp t. 1 t t n /(n )!..... λ 1 = eλt 1........ λ 1 ja jos α β cos βt sin βt Λ = ja R =, β α sin βt cos βt niin Λ I R Rt Rt /... Rt n 1 /(n 1)! Λ I R Rt Rt n /(n )! exp t...... = e αt R.... I...... Rt Λ R Matriisien eksponenttifunktiolla on seuraavat perusominaisuudet: Propositio 3.7. Jos A, B, C M n, C on kääntyvä ja AB = BA, niin (a) exp(cac 1 ) = C exp(a)c 1, (b) exp(a + B) = exp A exp B, ja (c) exp( A) = (exp A) 1. Todistus. (a) On helppo todistaa tarkastelemalla osasummien jonoja. (b) On hieman hankalampi: Binomikaava antaa kommutoiville matriiseille (A + B) n A j B k = n! j! k!, 1 j+k=n

joten väite on n= j+k=n A j j! B k k! = ( j= ) ( A j j! k= ) B k. k! Tämä yhtälö todistetaan samalla tavalla kuin vastaava reaalilukujen tulos (Cauchyn tulo/analyysi 3), yksityiskohdat matriisitapauksessa esitetään esimerkiksi kirjassa Hirsch-Smale-Devaney. (c) Seuraa (b)-kohdasta valitsemalla B = A. Erityisesti siis exp A on kääntyvä kaikilla A M n. Propositio 3.8. Olkoon A M n, ja olkoon Φ: R M n, Tällöin Todistus. Φ(t) = e ta. Φ (t) = e ta A = Φ(t)A. Φ(t + s) = e (t +s)a = e t A e sa = e t A (I + sa + O(s )) = e t A + e t A A s + O(s ). Lause 3.9. Olkoon A M n. Alkuarvotehtävän ẋ = Ax, x() = x ainoa ratkaisu on x: R R n, x(t) = e ta x. Todistus. Edellisestä tuloksesta seuraa heti, että x (t) = d dt (eta x ) = e ta Ax = Ae ta x = Ax t kaikilla t R, joten x(t) on ratkaisu. Jos y : R R n on alkuarvotehtävän ratkaisu, niin määritellään kuvaus z : R R n asettamalla z(t) = e ta y(t). Nyt z (t) = Ae ta y(t) + e ta Ay(t) = e ta (A A)y(t) =, joten z on vakiokuvaus z(t) x. Siispä kuvauksen z määritelmä antaa y(t) = e ta x. Esimerkki 3.1. Olkoot α β Λ = β α Λ I Λ I ja A =......... I Λ Lauseen 3.9 mukaan alkuarvotehtävän ẋ = Ax, x() = x ratkaisu on R Rt Rt /... Rt n 1 /(n 1)! R Rt Rt n /(n )! x(t) = e αt R. x,....... R missä cos βt sin βt R =. sin βt cos βt.

Erityisesti siis tapauksessa Λ I A = Λ ratkaisu alkuarvolla x = (x 1, x, x 3, x 4 ) on cos βt sin βt t cos βt t sin βt x(t) = e αt sin βt cos βt t sin βt t cos βt cos βt sin βt sin βt cos βt 3.. Vakion variointi. Jos dierentiaaliyhtälön ẋ = f(t, x(t)) oikean puolen kuvaus on summa lineaarikuvauksesta avaruusmuuttujassa x ja jatkuvasta kuvauksesta aikamuuttujassa t, niin ratkaisu saadaan menetelmällä, jota kutsutaan vakion varioinniksi. Harjoituksissa todistetaan: Lause 3.11. Olkoon A n n-matriisi, ja olkoon G: R R n jatkuva kuvaus. Kuvaus x(t) = exp(ta) ( x + on alkuarvotehtävän { ẋ(t) = Ax(t) + G(t), x() = x ratkaisu, kun x R. ) exp( sa)g(s) ds Esimerkki 3.1. Tarkastellaan vaimenevaa värähtelijää: Kiinnitetään ideaalinen jousi seinään toisesta päästään. Kiinnitetään jousen toiseen päähän pistemäinen paino, jonka massa on m. Ajatellaan, että jousen liike on rajoitettu parametrillä x parametrisoidulle viivalle, jota pitkin sitä voi vetää tai painaa kokoon. Olkoon jousen toinen pää pisteessä x =. Kun jousta venytetään tai painetaan kasaan, se vastustaa siirtymää voimalla kx, missä k > on jousivakio. Jousi aiheittaa siis tarkasteltavalle painolle kiihtyvyyden yhtälöllä mẍ = kx. Oletetaan vielä, että tarkasteltava paino liikkuu pinnalla, jossa siihen vaikuttaa nopeuteen verrannollinen kitka bẋ, missä b >. Tätä systeemiä kutsutaan vaimenevaksi (harmoniseksi) värähtelijäksi. (Jos b =, saadaan jo aiemmin käsittelemämme harmoninen värähtelijä.) Systeemin aikakehitystä kuvaa toisen kertaluvun lineaarinen dierentiaaliyhtälö mẍ + bẋ + kx =. x 1 x x 3 x 4. Valitsemalla y 1 = x ja y = ẋ saadaan ekvivalentti lineaarinen yhtälöpari { ẏ (1) 1 = y, ẏ = k y m 1 b y m, jonka kerroinmatriisi on 1 A = k m b, m matriisimerkinnällä siis 1 (13) ẏ = Ay = k m b y. m 3

Tämän yhtälön ratkaisun tyyppi riippuu parametreistä m, k ja b. Matriisin A determinantti k/m on aina positiivinen ja sen ominaisarvot ovat λ 1, = tr A ± tr A 4 det A = b ± b 4km. m Jos b < 4km, niin matriisilla A on kaksi kompleksista ominaisarvoa, joiden reaaliosa on negatiivinen, joten ratkaisu on spiraalinielu. Jos jousi päästetään liikkeelle alkuarvolla x(), ẋ() =, niin se värähtelee tasapainopisteen ympärillä äärettömän monta kertaa. jos b 4km, niin matriisilla A on kaksi negatiivista ominaisarvoa, joten ratkaisu on nielu. Jos jousi päästetään liikkeelle alkuarvolla x(), ẋ() =, niin se palautuu kohti tasapainopistettä ylittämättä pistettä x = kertaakaan. x' 3 1 3 1 1 3 x 1 3 Kuva 8. Vaimennettu värähtelijä parametreillä m = k = b = 1. x' 3 1 3 1 1 3 x 1 3 Kuva 9. Vaimennettu värähtelijä parametreillä m = k = 1, b =. Tarkastellaan nyt pakotettua vaimenevaa värähtelijää: Edellä kuvattuun jousen päässä liikkuvaan painoon vaikuttaa jokin ulkoinen voima g(t), joka aiheuttaa ajasta, 4

ei paikasta riippuvan kiihtyvyyden. Epäautonomisen alkuarvotehtävän { ẏ (14) 1 = y, ẏ = k y m 1 b y m + g(t), ratkaisu saadaan Lauseen 3.11 avulla. Tarkastellaan erityisesti tilannetta, jossa pakottava voima( on jaksollinen, ) ja erityisesti g(t) = cos(t). Tällöin Lauseen 3.11 kuvaus G on G(t) =, ja alkuarvotehtävän (14) ratkaisu on cos(t) y(t) = exp(ta)y + exp(ta) exp( sa)g(s)ds. 1. x 1. x.5.5 1 1 x 1..5.5 1. x.5.5 1. 1. x x 1. 1..5.5 1..5.5 1. x 1..5.5 1. x.5.5 1. 1. Kuva 1. Pakotettu vaimeneva värähtelijä parametreillä m = k = b = 1 alkuarvoilla y() = (, ), y() =, y() = (1, ), y() = (, 1). Numeerisesti laskettuja esimerkkejä tarkastelemalla näyttäisi siltä, että alkuarvosta riippumatta ratkaisut lähestyvät samaa ympyrää, jonka koko riippuu vaimenevan värähtelijän parametreista. Kuvista huomaamme myös, että epäautonimisen dierentialiyhtälön ratkaisukäyrät voivat leikata itseään epätriviaalilla tavalla kuten kuvassa 1. Jos OY-lauseen oletukset toteuttavan autonomisen yhtälön ratkaisulle pätee y(t 1 ) = y(t ), niin ratkaisu on t t 1 -jaksollinen. Tarkasteltavassa alkuarvotehtävässä (14) pakottava termi on π-jaksollinen, joten, jos tämän alkuarvotehtävän ratkaisulle pätee y(π) = y = y(), niin ratkaisu y on π-jaksollinen. Itse asiassa alkuarvotehtävällä on täsmälleen yksi π-jaksollinen ratkaisu: Jos y(π) = y, niin y = exp(πa)y + exp(πa) π exp( sa)g(s)ds = exp(πa)y + w, joten alkuarvo y vastaa π-jaksollista rataa, jos ja vain jos se on yhtälön (15) (exp(πa) I)y = w 5

ratkaisu. Matriisin A ominaisarvojen reaaliosat ovat negatiivisia, joten matriisin exp A ominaisarvot ovat itseisarvoltaan pienempiä kuin 1, erityisesti siis kumpikaan niistä ei ole 1. Siis matriisi exp(πa) I on kääntyvä ja yhtälöllä (15) on täsmälleen yksi ratkaisu y = (exp(πa) I) 1 w R. Jos z R, niin alkuarvotehtävän (14) ratkaisu alkuarvolla z on z(t) = exp(ta)z + exp(ta) exp( sa)g(s)ds = exp(ta)(z y ) + exp(ta)y + exp(ta) = exp(ta)(z y ) + y(t), exp( sa)g(s)ds missä y(t) on π-jaksollinen ratkaisu. Termi exp(ta)(z y ) lähestyy nollaa, kun t koska se on spiraalinielua vastaavan lineaarisen homogeenisen alkuarvotehtävän (1) ratkaisu alkuarvolla z x. 6

4. Epälineaariset differentiaaliyhtälöt Aiemmissa luvuissa tarkastelimme lineaaristen autonomisten dierentiaaliyhtälöiden ratkaisemista. Monissa tilanteissa tavattavat dierentiaaliyhtä lot ovat kuitenkin yleisempää muotoa, esimerkiksi muotoa ẋ = f(x), missä vektorikenttä f ei ole lineaarinen, tai ẋ = f(x, t), missä kuvaus f on ajasta riippuva. Jälkimmäinen ongelma on pieni: Korvataan n muuttujan dierentiaaliyhtälö ẋ = f(x, t) n + 1 muuttujan yhtälöllä lisäämällä uusi muuttuja x n+1 = t ja yhtälö: ẋ n+1 = 1. Huomaa, että näin saatava dierentiaaliyhtälö ẋ 1 = f 1 ((x 1,..., x n ), t), ẋ = f ((x 1,..., x n ), t),. ẋ n = f n ((x 1,..., x n ), t). ẋ n+1 = 1 ei ole koskaan lineaarinen viimeisen yhtälön vuoksi. Todistamme tässä luvussa epälineaaristen yhtälöiden Olemassaolo- ja yksikäsitteisyyslauseen. Sitä ennen valmistelemme hieman tarkastelemalla kutistavia kuvauksia yleisessä tilanteessa. 4.1. Kutistavat kuvaukset metrisessä avaruudessa. Olkoon X. Kuvaus d: X X [, [ metriikka joukossa X, jos d(x, y) =, jos ja vain jos x = y (positiivisuus), d(x, y) = d(y, x) kaikille x, y X (symmetrisyys), ja d(x, y) d(x, z) + d(z, y) kaikille x, y, z X (kolmioepäyhtälö) Pari (X, d) on metrinen avaruus. Metrisiä avaruuksia käsitellään laajemmin muunmuassa topologian kurssilla, tässä valitsemme teoriasta vain tarpeelliset osat. Metriikka on tapa mitata joukon X pisteiden etäisyyksiä, sen määritelmään on valittu ominaisuuksia, jotka euklidisen normin määräämällä avaruuden R n euklidisella etäisyydellä (metriikalla) d(x, y) = n (x i y i ) on. i=1 Metrisen avaruuden X Cauchyn jonot ja jonojen suppeneminen määritellään kuten euklidisessa avaruudessa. Metrinen avaruus X on täydellinen, jos sen kaikki Cauchyn jonot suppenevat. Esimerkki 4.1. Olkoon I R suljettu väli. Välillä I määriteltyjen jatkuvien kuvausten f : I R n vektoriavaruus C (I, R n ) varustettuna maksiminormilla f = max f(t) t I on täydellinen metrinen avaruus, kun se varustetaan metriikalla d(f, g) = f g. 7

Olkoot (X, d X ) ja (Y, d Y ) metrisiä avaruuksia. Kuvaus F : X Y on K- Lipschitzkuvaus tai K-Lipschitz-jatkuva, jos d Y (F (x), F (y)) Kd X (x, y) kaikille x, y X. Jos F on K-Lipschitz jollain K >, niin sanotaan, että F on Lipschitz-jatkuva. Jos F on K-Lipschitz jollain K < 1, niin sanotaan, että F on kutistava (vakiolla K). Piste x X on kuvauksen F : X X kiintopiste, jos F (x) = x. Lause 4. (Kutistusperiaate eli Banachin kiintopistelause). Olkoon X täydellinen metrinen avaruus. Tällöin jokaisella kutistavalla kuvauksella F : X X on täsmälleen yksi kiintopiste. Todistus. Olkoon x X, ja olkoot m, n N, m < n. Olkoon F : X X kutistava kuvaus vakiolla K < 1.Tällöin n m 1 d(f m (x), F n (x)) d(f m+k (x), F m+k+1 (x)) k= n m 1 = k= n m 1 k= d(f m+k (x), F m+k (F (x))) K m+k d(x, F (x)) Km d(x, F (x)). 1 K Siis jono (F j (x)) j=1 on Cauchyn jono, ja koska X on täydellinen, se suppenee kohti jotain pistettä x X. Piste x on kuvauksen F kiintopiste, sillä kaikille j N pätee d(x, F (x )) d(x, F j (x)) + d(f j (x), F j+1 (x)) + d(f j+1 (x), F (x )) (1 + K)d(x, F j (x)) + K j d(x, F (x)), kun j. Metriikan positiivisuudesta seuraa, että x = F (x ). Jos x ja y ovat kiintopisteitä, niin Kd(x, y ) d(f (x ), F (y )) = d(x, y ), joten d(x, y ) =, ja siis x = y. Lause 4.3 (OY-lause). Olkoon I R avoin väli, ja olkoon U R n avoin. Olkoon f : I U R n jatkuva kuvaus, jolle kuvaus x f(t, x) on M-Lipschitz jokaisella t R. Jokaisella (a, b) I U on δ > siten, että alkuarvotehtävällä { ẋ = f(t, x), (16) x(a) = b on välillä ]a δ, a + δ[ määritelty yksikäsitteinen ratkaisu. Todistus. Todistamme lauseen tapauksessa, jossa U = R n ja f on M-Lipschitz. Yleisen tapauksen todistus samalla idealla esitetään esimerkiksi Hasselblatin ja Katokin kirjassa. Olkoon siis f : R R n R n jatkuva kuvaus. Valitaan < δ < 1. Olkoon M (a, b) ]a δ, a+δ[ R n. Picardin operaattori on kuvaus P a,b : C ([a δ, a+δ], R n ) C ([a δ, a + δ], R n ), P a,b (φ)(t ) = b + a f(s, φ(s))ds. Teemme kaksi oleellista havaintoa Picardin operaattorista: 8

Lemma 4.4. Kuvaus φ: [a δ, a+δ] R n on alkuarvotehtävän (16) ratkaisu välillä ]a δ, a + δ[, jos ja vain jos se on Picardin operaattorin P a,b kiintopiste. Todistus. Kuvaus φ on Picardin operaattorin kiintopiste, jos ja vain jos (17) φ(t) = b + a f(s, φ(s))ds. Jos φ on kiintopiste, se toteuttaa siis selvästi alkuehdon φ(a) = b. Lisäksi kuvaus φ on dierentioituva ja toteuttaa ehdon φ(t) = f(t, φ(t)) analyysin peruslauseen nojalla. Toisaalta, jos φ on alkuarvotehtävän (16) ratkaisu välillä ]a δ, a+δ[, niin kaikilla t ]a δ, a + δ[ pätee P a,b (φ)(t) = b + joten φ on kiintopiste. a f(s, φ(s))ds = b + Lemma 4.5. Picardin kuvaus on kutistava. Todistus. P a,b (φ) P a,b (ψ) = max t a δ a a φ(s)ds = φ(t), (f(s, φ(s)) f(s, ψ(s)))ds δm φ ψ. Lemman 4.5 ja Lauseen 4. mukaan Picardin operaattorilla on täsmälleen yksi kiintopiste. Lemman 4.4 mukaan tämä kiintopiste on tarkasteltavan alkuarvotehtävän (16) ainoa ratkaisu välillä ]a δ, a + δ[. Lausetta 16 voi soveltaa aina, kun f : U R n on C 1, sillä f B on Lipschitzjatkuva, kun B U on suljettu pallo. Seuraus 4.6 (Autonominen OY-lause). Olkoon U R n avoin. Olkoon f : U R n C 1 -kuvaus. Jokaisella a R ja x U on δ > siten, että alkuarvotehtävällä { ẋ = f(x), (18) x(a) = b on välillä ]a δ, a + δ[ määritelty yksikäsitteinen ratkaisu. Esimerkki 4.7. Vaikka tarkastelemmekin lähinnä korkeampiulotteisia tilanteita, on hyvä muistaa, miten Picardin iteraatio antaa alkuarvotehtävän ẏ = y, y() = 1 ratkaisun: Valitaan ensimmäiseksi arvaukseksi vakiofunktio y (t) = 1. Tällöin ja induktiolla y 1 (t) = P(y )(t) = 1 + y (t) = P(y 1 )(t) = 1 + y k (t) = P(y k 1 )(t) = ds = 1 + t, (1 + s)ds = 1 + t + t, k j= t k k!. Kuvausten y k muodostama jono suppenee kohti eksponenttifunktiota tasaisesti kompakteilla väleillä. 9

Osoitamme seuraavaksi, että toisiaan riittävän lähellä olevia alkuarvoja vastaavat ratkaisut pysyvät lähellä toisiaan: Merkitään jatkossa alkuarvotehtävän ẋ = f(x), f(a) = b ratkaisua φ a,b. Propositio 4.8. Olkoon U R n avoin ja olkoon f : U R n K-Lipschitz- jatkuva. Olkoon ɛ >. Tällöin on η >, jolle jos b b < η. φ a,b φ a,b = max t a δ φ a,b(t) φ a,b (t) < ɛ, Todistus. Todistus seuraa suoraan seuraavasta parametrisoitujen kutistavien kuvausten tuloksesta valitsemalla kutistavien kuvausten perheeksi Picardin operaattorit, jotka parametrisoidaan alkuarvoilla b U. Käytämme kahden metrisen avaruuden (X, d X ) ja (Y, d Y ) tuloavaruudessa tulometriikkaa d = d x y, d((x 1, y 1 ), (x, y )) = d X (x 1, x ) + d Y (y 1, y ). Propositio 4.9. Olkoon X täydellinen metrinen avaruus, ja olkoon Y metrinen avaruus. Olkoon < K < 1 ja olkoon F : X Y X jatkuva kuvaus, jolle kuvaus F y = F (, y): X X on kutistava kuvaus vakiolla K jokaiselle y Y. Olkoon g : Y X kuvaus, jonka arvo pisteessä y on kuvauksen F y kiintopiste. Tällöin kuvaus g on jatkuva. Todistus. Havaitaan, että kaikille x X pätee k d(x, g(y)) d(fy(x), i Fy i+1 (x)) + d(fy k+1 (x), g(y)), joten d(x, g(y)) i= i= d(f i y(x), F i+1 y (x)) = 1 1 λ d(x, F y(x)), sillä äärellinen summa on pienempi kuin 1 d(x, F 1 λ y(x)) ja d(f k+1 (x), g(y)), kun k, koska g(y) on kutistavan kuvauksen F y kiintopiste. Valitaan x = g(y ) = F (g(y ), y ), jolloin yllä oleva epäyhtälö antaa d(g(y ), g(y)) 1 1 λ d(f (g(y ), y ), F (g(y ), y)) = 1 1 λ d Y (y, y), mistä väite seuraa. Palaamme Proposition 4.8 todistukseen tapauksessa U = R n : Väite seuraa valitsemalla X = C ([a δ, a+δ], R n ), Y = R n ja F : X Y X, F (φ, b) = P a,b (φ). Esimerkki 4.1. Dierentiaaliyhtälön ( ) x 1 ẋ = + x + x3 1 +x x 1 x 1 x + x3 +x 1 x ratkaisut alkuarvoilla x = (.9, ) ja x 1 = (.95, ) käyttäytyvät samaan tapaan (itse asiassa kaikilla t R), kun taas alkuarvolla x = (1.1, ) käyttäytyminen on erilaista kuin alkuarvoilla x ja x 1, kun t kasvaa. Olkoon f : U R n, U R n, C 1 -vektorikenttä. Autonomisella alkuarvotehtävällä { ẋ = f(x) (19) x(t ) = x 3

x x 1. 1..5.5 1..5.5 1. x 1 1..5.5 1. x 1.5.5 1. 1. 1.5 1.5.. on OY-lauseen mukaan jollain avoimella välillä t I määritelty yksikäsitteinen ratkaisu. Maksimaalista tällaista väliä kutsutaan ratkaisun maksimaaliseksi määrittelyväliksi. Propositio 4.11. Olkoon U R n avoin ja olkoon f : U R n C 1. Tällöin (a) Jokaisella x U ja t R on alkuarvotehtävän (19) maksimaalinen avoin määrittelyväli. (b) Jos U = R n ja f on K-Lipschitz, niin maksimaalinen määrittelyväli on R. Todistus. (a) Oletetaan yksinkertaisuuden vuoksi, että t =. OY-lauseen mukaan alkuarvotehtävällä on ratkaisu, joka on yksikäsitteisesti määritelty jollain välillä ] δ, δ[. Tehdään ensin seuraava havainto: Jos I 1 ja I ovat avoimia välejä, joilla alkuarvotehtävän ratkaisut x 1 ja x on määritelty, niin x 1 (t) = x (t) kaikilla t I 1 I. Nimittäin, jos tämä ei päde, niin on maksimaalinen osaväli [, t ] I 1 I, jossa ratkaisut yhtyvät. Olkoon x = x 1 (t ) = x (t ). Nyt x 1 ja x ovat alkuarvotehtävän ẋ = f(x), x(t ) = x ratkaisuja jollain välillä ]t a, t + a[, joten ne yhtyvä tällä välillä. Tämä on ristiriita ajan t määritelmän kanssa. Olkoon J =]α, β[ yhdiste kaikista alkuarvotehtävän ratkaisuväleistä. Määritellään kuvaus x: ]α, β[ U näin: Jokaisella t J on alkuarvotehtävän (19) ratkaisu u, joka on määritelty jollain ajan t sisältämällä välillä. Asetetaan x(t) = u(t). Edellä tehdyn havainnon mukaan x on nyt hyvin määritelty. Lisäksi se on alkuarvotehtävän (19) ratkaisu. (b)-kohta todistetaan harjoituksissa. Silloinkin, kun dierentiaaliyhtälö on määritelty koko avaruudessa R n, niin maksimaalinen määrittelyväli voi olla pienempi kuin koko R, jos f ei ole Lipschitz-jatkuva, kuten harjoituksissa käsitelty esimerkki ẋ = x, osoittaa. Esimerkki 4.1. Alkuarvotehtävää x /x 3 ẋ = x 1 /x 3 1, x(1/π) = 1 1/π 31

on luonnollista tarkastella joukossa U = {x R 3 : x 3 > }. Tämän alkuarvotehtävän ratkaisu voidaan itse asiassa antaa helposti: x(t) = sin(1/t) cos(1/t). t Ratkaisun maksimaalinen määrittelyväli on ], [. Ratkaisukäyrä on sylinterillä x 1+ x = 1, ja kun t, niin ratkaisukäyrä kasautuu kohti ympyrää {x R 3 : x 1 + x = 1, x 3 = }. 1..5..5 1..3..1 1..5..5. 1. Koko avaruudessa R n määritellyille dierentiaaliyhtälöille saadaan Proposition 4.11 nojalla soveltamalla Propositiota 4.8 toistuvasti (luokkaa T/δ kertaa) saadaan jatkuvuus alkuarvosta pidemmille aikaväleille: Propositio 4.13. Olkoon R n R n avoin ja olkoon f : R n R n K-Lipschitzjatkuva. Olkoon ɛ >. Tällöin on η >, jolle jos b b < η. φ a,b φ a,b = max φ a,b (t) φ a,b (t) < ɛ, t a T 3

5. Epälineaaristen differentiaaliyhtälöiden ratkaisujen tarkastelua Olkoon f : R n R n jatkuvasti dierentioituva. Olkoon p R n dierentiaaliyhtälön ẋ = f(x) tasapainopiste (siis f(p) = ). Lineaarinen dierentiaaliyhtälö ẋ = Df(p)x on dierentiaaliyhtälön ẋ = f(x) linearisointi pisteessä p. Jos lineaarikuvauksella Df(p) ei ole ominaisarvoja, joiden reaaliosa on nolla, niin tasapainopiste p on hyperbolinen. Esimerkki 5.1. Dierentiaaliyhtälöllä x1 + x () ẋ = x on yksi tasapainopiste x =. Tässä pisteessä sen linearisointi on x1 ẋ = x Linearisoitu yhtälö on hyperbolinen, ja sen ratkaisut tunnemme jo hyvin: Origo on satulapiste. Alkuperäisen epälineaarisen dierentiaaliyhtälön () ratkaiseminen ei ole vaikeaa: (a + b x(t) = 3 /)e t b 3 /e t be t on ratkaisu alkuarvolla x() = (a, b) R. Jos tasapainopiste p on hyperbolinen, niin dierentiaaliyhtälön ẋ = f(x) ratkaisut käyttäytyvät lähellä pistettä p kuten linearisoidun yhtälön ratkaisut lähellä origoa. Täsmällisemmin: Lause 5. (Grobmanin ja Hartmanin lause). Olkoon f : R n R n jatkuvasti differentioituva. Jos p on dierentiaaliyhtälön ẋ = f(x) hyperbolinen tasapainopiste, niin on avoimet joukot p U R n ja V R n ja homeomorsmi H : U V siten, että jokaiselle x U on avoin väli I R, jolla on seuraava ominaisuus: Olkoon x: I R n dierentiaaliyhtälön ẋ = f(x) ratkaisu alkuarvolla x, ja olkoon A lineaarikuvauksen Df(p) matriisi standardikannassa. Tällöin kaikille t I pätee (1) H x(t) = exp(at)h(x ). Hyperbolisen tasapainopisteen tyyppi on vastaavan linearisoidun dierentiaaliyhtälön tyyppi (satula, nielu, lähde,... ). Esimerkki 5.3. Esimerkin 5.1 dierentiaaliyhtälöllä on satulapiste origossa. Tässä tapauksessa Grobmanin ja Hartmanin lauseen homeomorsmi H on globaali homeomorsmi H : R R, H(x) = x1 + x /3 = y. x Kuvaus H on homeomorsmi, itse asiassa se on dieomorsmi, sen käänteiskuvaus on H 1 y1 y (y) = /3 = y. y 33

x 1 1 1 x 1 Kuva 11. Esimerkin 5.1 epälineaarisen dierentiaaliyhtälön ratkaisukäyriä. Nyt dierentiaaliyhtälö tulee uudessa koordinaatissa y muotoon ja ẏ 1 = ẋ 1 + 3 x ẋ = x 1 + x 3 x = y 1 ẏ = ẋ = x = y, joka on alkuperäisen dierentiaaliyhtälön linearisointi tasapainopisteessä. Kuvaus H kuvaa x 1 -akselin y 1 -akseliksi ja paraabelin S = {x R : x 1 + 1 3 x } y -akseliksi. Yhtälön (1) mukaan alkuarvoja x S \ {} vastaavat ratkaisut lähestyvät origoa oleellisesti eksponentiaalista vauhtia. Käyrä S on tasapainopisteen vakaa käyrä (stable curve). Vastaavasti x 1 -akseli on tasapainopisteen epävakaa käyrä: siltä valituilla alkuarvoilla ratkaisut menevät äärettömyyteen eksponentiaalisella nopeudella. Esimerkki 5.4. Dierentiaaliyhtälön x 1 ẋ = x x3 1 + x x 1 x 1 + x x3 + x 1x 34

ainoa tasapainopiste on. Linearisoitu yhtälö on x 1 ẋ = x 1 x 1 + x = 1 1 x = Ax 1 Matriisin A ominaisarvot ovat 1 ± i, joten Grobmanin ja Hartmanin lausetta voi soveltaa: on spiraalilähde. Ratkaisukäyrät ovat samat kuin aiemmassa esimerkissä, mutta ratkaisut kulkevat toiseen suuntaan. x 1..5 1..5.5 1. x 1.5 1. Epälineaarinen yhtälö voidaan ratkaista vaihtamalla napakoordinaatteihin: Napakoordinaattikuvaus on N : R R + R \ {}, N(r, θ) = (r cos θ, r sin θ). Nyt ja ẋ 1 =ṙ cos θ r sin θ θ ẋ =ṙ sin θ + r cos θ θ, x 1 x x3 1 + x x 1 = 1 (r r3 ) cos θ r sin θ x 1 + x x3 + x 1x = 1 (r r3 ) sin θ + r cos θ, Vertaamalla sinin ja kosinin kertoimia saadaan alkuperäisen kanssa ekvivalentti differentiaaliyhtälö napakoordinaateissa: { ṙ = r(1 r )/ θ = 1 35

Kulmakomponentin ja radiaalisen komponentin yhtälöt siis eriytyvät. Ratkaisusta θ(t) = t + θ nähdään, että ratkaisut kiertävät origoa tasaisella kulmanopeudella. Yksikköympyrän sisältä, siis läheltä spiraalilähdettä lähtevät ratkaisut pysyvät kuitenkin rajoitettuina: OY-lauseen nojalla ratkaisukäyrät eivät leikkaa toisiaan. Koska alkuarvolla r = 1 ratkaisukäyrä on yksikköympyrän parametrisointi vakionopeudella, yksikköympyrästä lähtevät ratkaisut pysyvät rajoitettuina yksikköympyrään. Koska linearisoidun systeemin ratkaisut menevät äärettömyyteen, kun t, ei Grobmanin ja Hartmanin lauseen homeomorsmi H voi olla koko tasossa määritelty kuvaus. 36

Kurssi 6. Differentiaaliyhtälön virtaus Olkoon U R n avoin, ja olkoon f : U R n C 1 -vektorikenttä. Ensimmäisellä kurssilla tarkastelimme alkuarvotehtävän { ẋ = f(x), () x(t ) = x, ratkaisua, joka on jollain välillä R määritelty dierentioituva polku x: R n. OY-lauseen 4.6 mukaan alkuarvotehtävällä () on ratkaisu jokaisella alkuarvolla x R n. Propositiossa 4.8 osoitimme, että alkuarvotehtävän ratkaisu riippuu jatkuvasti alkuarvosta. Tarkastelemme nyt lähemmin dierentiaaliyhtälön määräämiä kuvauksia joukolta U itselleen. Esimerkki 6.1. Olkoon A reaalinen n n-matriisi. Lineaarisen dierentiaaliyhtälön ẋ = Ax jokaisen ratkaisun maksimaalinen määrittelyväli on R. Lauseen 3.9 mukaan ratkaisu alkuarvolla x() = x on ψ,x (t) = exp(at)x. Matriisien eksponenttifunktio määrää jokaisella kiinteällä ajanhetkellä t R kuvauksen φ t = exp(at): R n R n, jolle pätee kaikilla s, t R (1) φ = id, () φ t φ s = φ s+t = φ s φ t. Erityisesti pätee φ t φ t = φ t φ t = id, joten kuvaus φ t on bijektio jokaisella t R. Koska exp(at) on kääntyvä n n-matriisi, se määrää avaruuden R n lineaarisen automorsmin, joka on tunnetusti jatkuva kuvaus. Jos tarkasteltavan dierentiaaliyhtälön ratkaisun maksimaalinen määrittelyväli on R kaikilla alkuarvoilla, osoitamme, että se määrää vastaavanlaisen perheen kuvauksia φ t, t R, jolla on ominaisuudet (1) ja () kuten yllä. Olkoon U R n avoin. Jatkuva kuvaus φ: R U U, jolle pätee (1) φ(, x) = x kaikilla x U, () φ(t, φ(s, x)) = φ(s + t, x) kaikilla x U ja kaikilla s, t R. on virtaus joukossa U. Kuvaus φ t : U U, φ t (x) = φ(t, x) on virtauksen φ aika-tkuvaus. Huomaa, että aika-t-kuvauksella on ominaisuudet (1) φ (b) = φ(, b) = b kaikilla b U, joten φ = id ja () φ t φ s (b) = φ(t, φ(s, b)) = φ(s + t, b) = φ s+t (b) kaikilla s, t R ja b b, joten φ t φ s = φ s+t. Ominaisuuksista (1) ja () ja jatkuvuudesta seuraa, että φ t on homeomorsmi, sillä φ t on sen käänteiskuvaus: Kaikilla t R pätee φ t φ t = φ = id. 37