12 Obyčejné diferenciální rovnice a jejich soustavy

Transkript

1 12 Obyčejné diferenciální rovnice a jejich soustavy 121 Úvod - opakování Opakování z 1 ročníku (z kapitoly 5) Definice 121 Rovnice se separovanými proměnnými je rovnice tvaru Návod k řešení: Pokud g(c) = 0, je funkce y(t) = c řešením rovnice Na intervalech, kde g(y) 0 uvažte y dy g(y) = h(t) s následným y = g(y) h(t) (1) g(y) = h(t) dt Nutná je diskuse o možnostech navazování řešení předchozích dvou typů! Definice 122 Lineární ODR prvního řádu je rovnice tvaru kde p, q jsou spojité funkce na daném intervalu (a, b), a, b R, a < b Návod k řešení: y + p(t)y = q(t), (2) Násobte rovnici výrazem e P (t), kde P je primitivní funkce k p na (a, b) Upravte na levé straně do tvaru derivace součinu Integrujte Definice 123 Lineární diferenciální rovnice druhého řádu s konstantními koeficienty je rovnice tvaru Ay + By + Cy = f(t), (3) kde A, B, C R, A 0, a funkce f(t) je spojitá na intervalu (a, b) Pokud je f identicky nulová na (a, b), nazýváme rovnici (3) homogenní Případ I: f 0, rovnice: Ay + By + Cy = 0, obecné řešení y h Pokud charakteristická rovnice Aλ 2 + Bλ + C = 0 má: 1 dva různé reálné kořeny λ 1 λ 2 : 2 jeden dvojnásobný reálný kořen λ: 3 dva komplexně sdružené kořeny α ± iβ, β 0: y h (t) = c 1 e λ 1t + c 2 e λ 2t y h (t) = c 1 e λt + c 2 te λt y h (t) = e αt (c 1 cos βt + c 2 sin βt) 13

2 Případ II: f 0, rovnice: Ay + By + Cy = f(t) Pro řešení y(t) platí: y(t) = y h (t) + y p (t), kde y h (t) je obecné řešení homogenní rovnice (viz předchozí případ) a y p (t) je jedno (jakékoliv), tzv partikulární řešení rovnice Ay + By + Cy = f(t) Některá partikulární řešení lze uhodnout podle tvaru pravé strany Je-li f(t) = P (t)e αt, kde α R a P je polynom, potom existuje polynom Q, st Q = st P, že 1 α λ 1, α λ 2 = y p (t) = Q(t)e αt, 2 α λ 1, α = λ 2 = y p (t) = tq(t)e αt, 3 α = λ 1 = λ 2 = y p (t) = t 2 Q(t)e αt Je-li f(t) = e αt (P (t) cos βt+r(t) sin βt), (P, R polynomy), existují polynomy Q, S, stupně nejvýše max(st P, st R), takové, že 1 α + iβ λ 1, α + iβ λ 2 = y p (t) = e αt (Q(t) cos βt + S(t) sin βt), 2 α + iβ = λ 1, α + iβ λ 2 = y p (t) = te αt (Q(t) cos βt + S(t) sin βt) Konec opakování 122 Lineární DR n-tého řádu s (ne)konstantními koeficienty Budeme se zabývat rovnicemi tvaru a n (t)y (n) + a n 1 (t)y (n 1) + + a 1 (t)y + a 0 (t)y = f(t), (4) kde a 0,, a n a f jsou funkce spojité na daném intervalu (a, b), a n (t) 0 pro t (a, b) (lineární diferenciální rovnice n-tého řádu s nekonstantními koeficienty) Jsou-li všechny funkce a 0,, a n konstantní na intervalu (a, b), jde o lineární diferenciální rovnici n-tého řádu s konstantními koeficienty, (f(t) nemusí být konstantní) Homogenní rovnicí k rovnici (4) rozumíme rovnici a n (t)y (n) + a n 1 (t)y (n 1) + + a 1 (t)y + a 0 (t)y = 0 (5) Věta 121 Necht t 0 (a, b) a z 0,, z n 1 R Pak existuje právě jedno maximální řešení y rovnice (4) resp (5), které splňuje tzv počáteční podmínky y(t 0 ) = z 0, y (t 0 ) = z 1,, y (n 1) (t 0 ) = z n 1 Toto řešení je navíc definováno na celém intervalu (a, b) Věta 122 (o struktuře všech řešení) (i) Maximální řešení rovnice (5) jsou definována na celém R a tvoří vektorový podprostor prostoru C n ((a, b)) dimenze n Jeho jakoukoli bázi nazýváme fundamentálním systémem rovnice (5) (ii) Necht y p je maximální řešení rovnice (4) Pak funkce y je jejím maximálním řešením, právě když ji lze zapsat ve tvaru y = y p + y h, kde y h je vhodné řešení rovnice (5) 14

3 I Hledání fundamentálního systému Pro rovnici (5) s konstantními koeficienty lze použít tzv metodu charakteristického polynomu Pro rovnici (5), kde alespoň jeden z koeficientů je nekonstatní, nelze obecně explicite najít její fundamentální systém (V některých speciálních případech to lze, jak uvidíme později) Definice 124 Necht jsou koeficienty homogenní rovnice (5) konstantní Charakteristickým polynomem rovnice (5) rozumíme polynom P (λ) = a n λ n + a n 1 λ n a 1 λ + a 0 Věta 123 Necht jsou koeficienty homogenní rovnice (5) konstantní Necht λ 1,, λ s jsou všechny různé reálné kořeny charakteristického polynomu P, s násobnostmi r 1,, r s Necht α 1 + β 1 i,, α l + β l i jsou všechny navzájem různé kořeny polynomu P, s kladnou imaginární částí a násobnostmi q 1,, q l Pak funkce t s i e λ it, s i = 0,, r i 1; i = 1,, s, t p j e α jt cos(β j t), t p j e α jt sin(β j t); p j = 0,, q j 1; j = 1,, l tvoří fundamentální systém homogenní rovnice (5) (s konstantními koeficienty) Uvažujme nyní soustavu lineárních diferenciálních rovnic 1 řádu ve tvaru x 1 = a 11 (t)x a 1n (t)x n + b 1 (t), x 2 = a 21 (t)x a 2n (t)x n + b 2 (t), x n = a n1 (t)x a nn (t)x n + b n (t), (6) kde n N, a ij : (α, β) R, b i : (α, β) R, i, j {1,, n}, jsou spojité funkce Vektorový tvar lineární soustavy (6) je: x = A(t) x + b(t), kde a 11 (t) a 1n (t) a 21 (t) a 2n (t) b 1 (t) A(t) =, b(t) = b a n1 (t) a nn (t) n (t) Věta 124 (o existenci a jednoznačnosti řešení) Necht α, β R, α < β, t 0 (α, β) a x 0 R n Necht A : (α, β) M n n (R), b : (α, β) R n jsou spojitá zobrazení Potom existuje právě jedno maximální řešení x soustavy (6) splňující x(t 0 ) = x 0 Toto řešení je definováno na celém intervalu (α, β) Definice 125 Homogenní soustavou k soustavě (6) rozumíme soustavu x = A(t) x (7) Věta 125 Necht n N, α, β R, α < β, a A : (α, β) M n n (R) je spojité zobrazení Potom množina všech maximálních řešení soustavy (7) tvoří vektorový podprostor prostoru C 1 ((α, β), R n ) Dimenze tohoto podprostoru je rovna n Jakoukoli bázi tohoto podprostoru, (složenou z vektorových funkcí y 1,, y n ), nazýváme fundamentálním systémem rovnice (7) Věta 126 Necht α, β R, α < β a x 0 R n Necht A : (α, β) M n n (R), b : (α, β) R n jsou spojitá zobrazení Necht y P je jedno (partikulární) řešení (6) na intervalu (α, β) Potom každé řešení x soustavy (6) na intervalu (α, β) má tvar y P + y H, kde y H je jisté řešení homogenní soustavy (7) 15

4 rindent=0pt (B) Řešení soustav lineárních rovnic pomocí vlastních čísel a vlastních vektorů Věta 127 Necht matice A M n n (R) má n lineárně nezávislých vlastních vektorů q 1, q n, které po řadě přísluší vlastním číslům λ 1,, λ n Potom funkce e λ 1t q 1,, e λnt q n (8) tvoří fundamentální systém lineární homogenní soustavy (s konstantními koeficienty) x = A x Věta 128 Necht v 1, v k, je řetězec vektorů, přidružený vlastnímu číslu λ matice A M n n (R) Potom funkce ( ) t e λt v 1, e λt (t v 1 + v 2 ),, e λt k 1 (k 1)! v t v k 1 + v k (9) jsou lineárně nezávislá řešení lineární homogenní soustavy (s konstantními koeficienty) x = A x Poznámka Tvrzení předchozích dvou vět umožní sestavit fundamentalní systém dané lineární homogenní soustavy (s konstantními koeficienty), která je reprezentována maticí A M n n (R) tak, že převedeme matici A na Jordanův kanonický tvar, a nalezneme příslušné vlastní vektory resp jejich řetězce Prvky fundamentalního systému pak dostaneme jako sjednocení všech funkcí tvaru (8) resp (9), které odpovídají všem blokům v Jordanově kanonickém tvaru matice A Definice 126 Necht vektorové funkce y 1,, y n tvoří fundamentální systém rovnice (7) Označme y1 1 (t) yn 1 (t) y2 1 Φ(t) = (t) yn 2 (t) yn(t) 1 yn(t) n Matici Φ pak nazýváme fundamentální maticí soustavy (7) Lemma 129 Necht Φ je fundamentální matice soustavy (7) Pak Φ(t) je regulární pro každé t (α, β) Věta 1210 (variace konstant) Necht α, β R, α < β, t 0 (α, β) a y 0 R n Pak maximální řešení y rovnice (6) s počáteční podmínkou y(t 0 ) = y 0 má tvar y(t) = Φ(t)Φ 1 (t 0 ) y 0 + Φ(t) kde Φ je fundamentální matice soustavy (7) t t 0 Φ 1 (s) b(s) ds, t (α, β), Věta 1211 (regularita řešení lineární homogenní rovnice s konstantními koeficienty) Necht A M n n a vektorová funkce x : R R n je řešením soustavy x = A x Pak x je třídy C a pro každé k N platí x (k) (t) = A k x(t) pro t R Vztah mezi soustavou rovnic 1 řádu a jednou rovnicí vyššího řádu Necht y (n) = f(t, y, y,, y (n 1) ) (10) je rovnice n-tého řádu a necht je y(t) její řešení pro t J R Potom je vektorová funkce x(t) = ( y(t), y (t),, y (n 1) (t) ) řešením soustavy x (t) = F (t, x), (11) na intervalu J, kde F j (t, x) = x j+1, j = 1,, n 1, F n (t, x) = f(t, x 1, x 2,, x n ) II Hledaní partikulárního řešení 16

5 Věta 1212 (o uhodnutí partikulárního řešení) Necht (4) je rovnice s konstatními koeficienty Necht f(t) = e αt (P (t) cos βt + Q(t) sin βt), kde α, β R a P, Q jsou polynomy Pak existuje řešení rovnice (4) ve tvaru y p (t) = t m e αt (R(t) cos βt + S(t) sin βt), kde R, S jsou vhodné polynomy stupně ne většího než max{stupeň P, stupeň Q} a m N {0} udává, jakou násobnost má číslo α + iβ jakožto kořen charakteristického polynomu Následující Lemma je základem tzv metody variace konstant pro hledání partikulárního řešení lineární (nehomohenní) ODR, a to jak s konstantními tak s nekonstantními koeficienty Lemma 1213 Necht y 1,, y n tvoří fundamentální systém homogenní rovnice (5) (s obecně nekonstatními koeficienty) Potom matice y 1 (t) y 2 (t) y n (t) y 1 U(t) = (t) y 2 (t) y n(t) y (n 1) 1 (t) y (n 1) 2 (t) y n (n 1) (t) je regulární pro každé t R Věta 1214 (variace konstant) Necht y 1,, y n tvoří fundamentální systém rovnice (5) (s obecně nekonst koeficienty), U(t) bud jako v předchozí větě Necht c 1 (t),, c n (t) řeší soustavu c 1 (t) 0 U(t) c n 1 (t) = 0 c n(t) f(t)/a n Pak funkce je (partikulární) řešení rovnice (4) y p (t) := c 1 (t)y 1 (t) + + c n (t)y n (t) III Fundamentální systém lineární rovnice s nekonstantními koeficienty, Wronskián Definice 127 Bud te y 1,, y n funkce, definované na (a, b) a mající na něm (n 1) vlastních derivací Determinant y 1 (t) y 2 (t) y n (t) y 1 W (t) W [y1,,y n](t) := (t) y 2 (t) y n(t) y (n 1) 1 (t) y (n 1) 2 (t) y n (n 1) (t) nazýváme Wronského determinantem (Wronskiánem) funkcí y 1,, y n Věta 1215 Necht funkce y 1,, y n řeší na (a, b) lineární homogenní rovnici (a 0,, a n a n (t) 0 pro t (a, b)) C(a, b), a n (t)y (n) + a n 1 (t)y (n 1) + + a 1 (t)y + a 0 (t)y = 0 Bud W (t) Wronskián funkcí y 1,, y n na (a, b) Potom nastane právě jedna z následujících dvou možností: 17

6 1 W (t) = 0 t (a, b) y 1,, y n jsou LZ na (a, b); 2 W (t) 0 t (a, b) y 1,, y n jsou LN na (a, b) Věta 1216 Necht funkce y 1,, y n řeší na (a, b) lineární homogenní rovnici (a 0,, a n a n (t) 0 pro t (a, b)) C(a, b), a n (t)y (n) + a n 1 (t)y (n 1) + + a 1 (t)y + a 0 (t)y = 0 Bud W (t) Wronskián funkcí y 1,, y n na (a, b) Potom a n (t)w (t) + a n 1 (t)w (t) = 0, t (a, b); ( W (t) = W (t 0 ) exp ) t a n 1 (s) t 0 a n(s) ds, t, t 0 (a, b) Příklad 1 Mějme rovnici ty +(1 t)y y = 0 Tato rovnice degeneruje pro t = 0, řešíme ji tedy separátně na t > 0 a t < 0 Uvažujme například t > 0 Není příliš obtížné uhodnout jedno řešení rovnice, y 1 = e t V této situaci může pomoci Wronskián nalézt druhý prvek fundamentálního systému, funkci y 2 Příslušný Wronskián je jednak podle definice roven e t (y 2 y 2), jednak platí W (t) = W (1) exp ( t 1 1 s s ) ds = = c et t Odtud srovnáním dostaneme y 2 y 2 = c/t a řešením této lineární rovnice 1 řádu dostaneme (netriviální) druhý prvek fundamentálního systému původní rovnice Dořešte úlohu podrobně 123 Speciální typy ODR 1231 Rovnice ve tvaru totálního diferenciálu Obecná rovnice 1 řádu s vyřešenou 1 derivací: y = f(x, y) lze formálně psát takto: obecněji: dy = f(x, y) dx 0 = f(x, y) dx dy 0 = P (x, y) dx + Q(x, y) dy =? dφ(x, y) 0 = Φ Φ (x, y) dx + (x, y) dy = dφ(x, y) x y Definice 128 Řekneme, že rovnice P (x, y) dx + Q(x, y) dy = 0 je ve tvaru totálního diferenciálu na oblasti G R 2, pokud existuje Φ C 1 (G) taková, že Φ = (P, Q) v G Řešení je poté: dφ(x, y) = 0 = Φ(x, y) = c Poznámka Rovnici ve tvaru totálního diferenciálu říkáme také exaktní rovnice Pozorování 1 Pokud je P, Q C 1 (G), je nutná podmínka pro to, aby rovnice P (x, y) dx + Q(x, y) dy = 0 byla exaktní, rovnost P Q y (x, y) = x (x, y) v G Příklad 2 Uvažujte rovnici 2xy dx + (x 2 y 2 ) dy = 0 Máme P y = 2x = Q x Potenciálem je funkce Φ = x 2 y y3 3 Všechna řešení původní rovnice jsou tedy tvaru x 2 y y3 3 = c 18

7 Všimněte si, že v původní rovnici je role proměnných x, y rovnocenná, že tedy lze uvážit jak y = y(x) a mít rovnici y = 2xy, ale také x = x(y), a x = y2 x 2 y 2 x 2 2xy Dopočtěte, včetně určení definičních oborů řešení v obou případech, a provedení zkoušky dosazením Obrázek: Množiny bodů [x, y] v rovině, splňující vztah x 2 y y3 3 = c pro hodnoty c = 01, 2, 5, 01, 2, 5 Definice 129 Řeknu, že µ = µ(x, y) je integračním faktorem rovnice P (x, y) dx + Q(x, y) dy = 0 v oblasti G R 2, pokud je rovnice exaktní v G µ(x, y)p (x, y) dx + µ(x, y)q(x, y) dy = 0 (12) Poznámka Nutná podmínka exaktnosti rovnice (12) je rovnost (µp ) y = (µq) x, tedy µ y P +µp y = µ x Q+ µq x Nalezení integračního faktoru je obecně těžká úloha, proto se často předpokládá, že integrační faktor závisí pouze na x nebo pouze na y, nebo na výrazu (x+y), případně na xy atd Cvičení Řešte rovnici xy = xy 2 + y metodou převedení na exaktní tvar pomocí integračního faktoru, víte-li, že integrační faktor závisí pouze na proměnné y Návod k řešení Zjistěte nejprve, že daná rovnice není exaktní Najděte integrační faktor µ(y) = 1 y 2 Najděte potenciál Φ(x, y) = x2 2 + x y rovnice, přenásobené integračním faktorem, a odvod te odtud, že řešeními původní rovnice jsou funkce y(x) = 2x, c R Udělejte kontrolu dosazením Nezapomeňte diskutovat definiční obory pro řešení s různými 2c x 2 c Cvičení Řešte následující rovnice: a) xy 2 dx + (x 2 y x) dy = 0 b) x 2 y 3 + y + (x 3 y 2 x)y = 0 víte-li, že integrační faktor µ závisí pouze na součinu xy Řešení a) xy ln y = c; b) x 2 y ln = c 1232 Bernoulliho rovnice Definice 1210 Bernoulliovou rovnicí nazýváme ODR tvaru kde a, b C(J), J R je otevřený interval x y y + a(t)y = b(t)y n, n Z, n / {0, 1}, (13) Návod k řešení: Pro n = 0 nebo n = 1 jde o lineární ODR 1 řádu Pro jiná celá n zavedeme novou funkci z = z(t) substitucí y(t) = z(t) 1 1 n, která převede rovnici (13) na lineární ODR 1 řádu Cvičení Řešte rovnici y = y 2 + y t jako Bernoulliovu Porovnejte s postupem z přechozího paragrafu Prohlédněte si grafy řešení, y(t) = 2t, pro hodnoty c = 10, 0, 10 2c t 2 19

8 1233 Speciální typy rovnic 2 řádu Pro obecnou rovnici 2 řádu (vyřešenou vzhledem k nejvyšší derivaci), tj pro rovnici tvaru y = f(t, y, y ) (14) nelze obecně stanovit postup pro řešení Pokud je však funkce f na pravé straně vztahu (14) jednodušší (speciálně není-li závislá na některém z výše uvedených argumentů), lze v některých případech řešení rovnice (14) najít Níže uvedená tabulka navrhuje postup řešení v případě, že rovnice y = f(t, y, y ) nabývá některého z jednodušších tvarů Ne vždy je však zaručeno, že se řešení explicite najde (že úloha lze dopočítat) V f(t, y, y ) Tvar rovnice (14) Návod k řešení 1) nechybí nic y = f(t, y, y ) obecně není 2) chybí t y = f(y, y ) polož y (t) = p(y) 3) chybí y y = f(t, y ) polož y (t) = u(t) 4) chybí y y = f(t, y) obecně není 5) chybí t, y y = f(y ) polož y (t) = u(t) 6) chybí t, y y = f(y) násob 2y 7) chybí y, y y = f(t) dvakrát integruj 8) chybí t, y, y y = c dvakrát integruj Komentář k některým výše zmíněným případům: ad 2): y (t) = p(y) = y (t) = dy (t) dt = dp(y) dt = dp(y) dy dy(t) dt = p p Tedy y = f(y, y ) p p = f(y, p) Dostáváme rovnici 1 stupně pro p = p(y) Ta však nemusí být vždy řešitelná ad 6): y (t) = f(y) 2y 2y y (t) = 2y f(y) ( (y ) 2) = (2F (y)) (y ) 2 = 2F (y) + c (F je primitivní k f) Dostáváme (po odmocnění) rovnici 1 řádu v separovaných proměnných Příklad 3 (k případu 2)) Rovnici y = (y ) 2 y +3y převede navrhovaná úprava na rovnici p py = 3yp 1, což je Bernoulliho rovnice Jejím řešením dostaneme p 2 (y) = ce y2 3, a po zpětném dosazení tedy (y ) 2 = ce y2 3, c R Jde (po odmocnění) o rovnici v separovaných proměnných Její řešení však nelze vyjádřit pomocí elementárních funkcí Rovnici y y = (y ) 2 půjde uvedenou metodou zcela vyřešit Výsledek (spočtěte): y(t) = c 1 e c 2t, c 1, c 2 R 1234 Eulerova rovnice Definice 1211 Eulerovou rovnicí nazýváme lineární ODR s nekonstantními koeficienty tvaru a n t n y (n) + a n 1 t n 1 y (n 1) + a 1 ty + a 0 y = f(t), n N, (15) kde a 0, a n R, a n 0, f C(J), J R je otevřený interval neobsahující nulu Poznámka Pro t = 0 rovnice (15) degeneruje Rovnici tedy uvažujeme separátně pro t > 0 a pro t < 0 20

9 Poznámka Jde o lineární rovnici (i když s nekonstantními koeficienty), pro její řešení proto platí příslušná teorie Jde tedy o nalezení n prvkového fundamentálního systému pro homogenní rovnici (s f = 0), a poté o nalezení jednoho (partikulárního) řešení rovnice s pravou stranou Pro nalezení partikulárního řešení lze použít např metodu variace konstant Eulerova rovnice tedy bude vyřešena, nalezneme-li její fundamentální systém Metoda nalezení FS Eulerovy rovnice Použijeme ansatz y = t λ, který vede k tzv charakteristickému polynomu pro Eulerovu ODR Je-li λ R kořenem tohoto polynomu násobnosti p, jsou odpovídajícími prvky fundamentálního systému funkce t λ ln k t, k = 0,, p 1 Je-li α + iβ (β > 0) kořenem tohoto polynomu násobnosti p, jsou odpovídajícími prvky fundamentálního systému funkce t α ln k t cos(β ln t ), t α ln k t sin(β ln t ), k = 0,, p 1 Poznámka Eulerovu rovnici dostaneme např při hledání sféricky symetrických řešení Laplaceovy rovnice u = 0 v celém R n, n 2 Je-li u sféricky symetrická, je u(x) = w(r), kde r = x > 0 Funkce w pak (jak lze ukázat) splňuje Eulerovu rovnici r 2 w (r) + (n 1)r w (r) = 0 Jejím řešením (proved te) a zpětným dosazením dostaneme (c 1, c 2 R): n = 2 = u( x ) = c 1 + c 2 ln x, x R 2 \ {0}, n > 2 = u( x ) = c 1 + c 2 x n 2, x Rn \ {0} 124 Řešení ODR pomocí Taylorových řad Věta 1217 Uvažujme lineární rovnici n-tého řádu, a n (t)y (n) + a n 1 (t)y (n 1) + + a 1 (t)y + a 0 (t)y = f(t) (16) na intervalu J R, t 0 J Dají-li se koeficienty a pravá strana rovnice (16) rozložit do Taylorových řad na nějakém okolí U δ (t 0 ), přičemž a n (t 0 ) 0, lze každé řešení rovnice (16) rozložit na nějakém okolí U η (t 0 ) do Taylorovy řady Řešení: Uvážíme ansatz y(t) = k=0 a k(t t 0 ) k, který formálně n-krát proderivujeme člen po členu a dosadíme do rovnice Jsou-li k (16) zadány počáteční podmínky (v bodě t 0 ), dosadíme uvedený ansatz i do nich Poznámky k řešení: Nejsou-li koeficienty a j a pravá strana f ve tvaru mocninné řady, je potřeba rozložit do řady i je Po formálním provedení všech algebraických operací s řadami porovnáme koeficienty u stejných mocnin t Tím dostaneme soustavu nekonečně mnoha rovnic pro nekonečně mnoho koeficientů a k, k = N {0} Jejím vyřešením nalezneme hledanou funkci y(t) ve tvaru mocninné řady Na závěr určíme poloměr konvergence této řady V případě homogenní rovnice (f 0) můžeme různou volbou počátečních podmínek obdržet různá řešení Jejich lineární (ne)závislost je možno ověřit např pomocí Wronskiánu 21

10 125 Soustavy ODR 1 řádu Uvažujme soustavu (obecných) diferenciálních rovnic 1 řádu, vyřešených vzhledem k 1 derivaci, ve tvaru x 1 = f 1 (t, x 1, x 2,, x n ), x 2 = f 2 (t, x 1, x 2,, x n ), x n = f n (t, x 1, x 2,, x n ), (17) kde f j, j = 1,, n, jsou dané funkce definované na jisté neprázdné otevřené množině G R R n Vektorový tvar soustavy (17): x (t) = f(t, x(t)), kde x(t) = ( x 1 (t), x 2 (t),, x n (t) ), x (t) = ( x 1 (t), x 2 (t),, x n(t) ), f = ( f 1, f 2,, f n ) Definice 1212 Řešením soustavy (17) rozumíme vektorovou funkci x = ( ) x 1,, x n definovanou na otevřeném neprázdném intervalu J R s hodnotami v R n takovou, že pro každé t J existují vlastní derivace x j (t), j = 1,, n, a platí (17) Počáteční úlohou pro (17) rozumíme úlohu, kdy hledáme řešení x soustavy (17) splňující navíc předem zadanou podmínku x(t 0 ) = x 0, kde [t 0, x 0 ] je daný bod z G (tzv počáteční podmínka) Maximální řešení soustavy (17) je takové řešení x definované na intervalu J, které již nelze prodloužit, tj je-li y řešení definované na intervalu I, J I a y(t) = x(t) pro každé t J, pak J = I Věta 1218 (Peanova věta o existenci) Necht G R R n je otevřená neprázdná množina, f : G R n je spojitá na G Pak pro každé [t 0, x 0 ] G existuje maximální řešení rovnice (17) splňující x(t 0 ) = x 0 Věta 1219 (Picardova věta o existenci a jednoznačnosti) Necht G R R n je otevřená neprázdná množina, f : [t, x] f(t, x) R n je spojité zobrazení na G a je lokálně lipschitzovské v x, tj pro každý bod [t, x] G existuje ε R, ε > 0, a L R takové, že pro každé dva body [s, x 1 ], [s, x 2 ] z U ε ([t, x]) máme f(s, x 1 ) f(s, x 2 ) L x 1 x 2 Jestliže [t 0, x 0 ] G, potom existuje právě jedno maximální řešení rovnice (17) splňující x(t 0 ) = x 0 22