V matematice je obyčejná diferenciální rovnice (někdy jednoduše nazývaná diferenciální rovnice a zkráceně ODE ) diferenciální rovnice, jejíž neznámá funkce závisí na jediné proměnné; má podobu vztahu mezi těmito neznámými funkcemi a jejich následnými derivacemi .
Termín obyčejný se používá na rozdíl od termínu parciální diferenciální rovnice (častěji parciální diferenciální rovnice nebo PDE ), kde neznámé funkce mohou záviset na více než jedné proměnné. Ve zbývající části článku se výrazem diferenciální rovnice rozumí obyčejná diferenciální rovnice .
Pořadí diferenciální rovnice odpovídá maximálnímu stupni derivace, kterému byla podrobena jedna z neznámých funkcí. Existuje forma odkazu, ke které se pokoušíme vrátit běžné diferenciální rovnice různými matematickými metodami:
,rovnice prvního řádu, kde X je neznámá funkce at její proměnná.
Diferenciální rovnice představují studijní objekt primárního významu, a to jak v čisté matematice, tak v aplikované matematice . Používají se k vytváření matematických modelů fyzikálních a biologických evolučních procesů , například ke studiu radioaktivity , nebeské mechaniky nebo populační dynamiky ... Proměnná t pak často představuje čas, i když jsou možné i jiné možnosti modelování.
Hlavními cíli teorie obyčejných rovnic jsou úplné explicitní rozlišení, pokud je to možné, přibližné rozlišení metodami numerické analýzy nebo kvalitativní studie řešení. Toto poslední pole se postupně rozrostlo a představuje jednu z hlavních složek rozsáhlého oboru současné matematiky: studia dynamických systémů .
I když to není disciplína, která dala vzniknout diferenciálním rovnicím, populační dynamika jednoduše ilustruje některé z nejdostupnějších příkladů. Studie izolované populace v prostředí produkujícím hojné jídlo tedy vede k následujícímu modelu počtu jako funkce času :
,to znamená, že nárůst populace je vždy úměrný velikosti populace . Řešení této rovnice odhalují fenomén exponenciálního růstu .
Složitější systém, složený ze dvou druhů, kořisti a predátora, vede k rovnicím Lotka-Volterra
Počet kořisti je počet predátorů . Vrátíme se k předchozímu případu, pokud je nula. Kvantita je pravděpodobnost setkání, která má negativní vliv na jednu populaci (kořist), pozitivně na druhou (predátory). Kdykoli, když známe přítomné populace, můžeme tento trend popsat. Tyto dvě rovnice jsou spojeny, to znamená, že musí být vyřešeny společně. Matematicky musí být koncipovány jako jediná rovnice neznámého páru . Pokud je známa počáteční velikost populace, je následný vývoj dokonale určen. Dělá se to podél jedné z evolučních křivek zobrazených opačně, která odhaluje cyklické chování.
Jedním z nejznámějších diferenciálních rovnic je základní vztah dynamiky v Newton : kde je hmotnost částice, síla působící na něj a zrychlení, že výsledky. V případě přímočarého pohybu, je-li síla, která prošla, funkcí polohy (například v případě pružiny ) získáme rovnici tvaru
Tentokrát, abyste dokonale určili pohyb, musíte si dát počáteční polohu a rychlost.
Vlastnosti dynamického systému řízeného diferenciální rovnicí jsou následující:
Deterministický aspekt diferenciálních rovnic má obzvláště silné implikace a je matematicky konkretizován Cauchy-Lipschitzovou větou .
Nechť E je normalizovaný vektorový prostor . Obyčejná diferenciální rovnice (nazvané jednoduše diferenciální rovnice ve zbytku článku) je rovnice ve tvaru
kde F je spojitá funkce na otevřeném U ℝ × E n + 1 , která se nazývá doména.
Pořadí této diferenciální rovnice je řád n nejvyšší derivace, která se v ní vyskytuje. Nechť y je funkce x definovaných intervalu I v E a y ' , y " , ..., y ( n ) se po sobě následující deriváty z funkce y . Tato funkce y se nazývá řešení, pokud je to z třídy C n a pokud
Řešení diferenciální rovnice se rovná nalezení funkcí řešení y . Například diferenciální rovnice y "+ y = 0 má obecné řešení ve tvaru: y ( x ) = A cos x + B sin x , kde A, B jsou komplexní konstanty (které lze určit, pokud přidáme počáteční podmínky ).
V diferenciální rovnice, funkce y může být například s hodnotami v konečné dimenze vektorového prostoru , takže pokud y má složky y 1 a y 2 :
Cvičením ve fyzice je mluvit o systému spojených diferenciálních rovnic. Ale plodným hlediskem v matematice je vidět pouze jednu rovnici pro funkci s vektorovými hodnotami .
Stále můžeme definici rozšířit zvážením diferenciálních rovnic na diferenciálních potrubích .
Diferenciální rovnice řádu n se dá do řešené formy, když můžeme vyjádřit nejsilnější derivaci jako funkci x a předchozích derivací
Diferenciální rovnice řádu n
lze také číst jako rovnici prvního řádu s hodnotami v E n , neznámé funkce v ( x ) = ( y 0 ( x ),…, y n - 1 ( x )). Rovnice je ve skutečnosti přepsána poznámkou y = y 0 :
nebo opět definováním f pomocí f ( x , v 0 ,…, v n - 1 , w 0 ,…, w n - 1 ) = ( w 0 - v 1 ,…, w n - 2 - v n - 1 , F ( x , v 0 ,…, v n - 1 , w n - 1 )):
Pokud by rovnice řádu n byla v řešené formě
ekvivalentní rovnice řádu 1 bude také:
s g ( x , v 0 ,…, v n - 1 ) = ( v 1 ,…, v n - 2 , G ( x , v 0 ,…, v n - 1 )).
Navíc v obou případech (implicitní forma nebo řešená forma), pokud rovnice řádu n byla autonomní , bude rovnice řádu 1 také autonomní (to znamená, že pokud F nebo G nezávisí na proměnné x, pak buď f nebo g ) a pokud byla rovnice lineární , tak to zůstane. Například lineární diferenciální rovnice řádu 2, řešená a autonomní
transformuje do rovnice prvního řádu s hodnotami v ℝ 2 : neznámou funkcí nové diferenciální rovnice je funkce x ↦ v ( x ) = ( y ( x ), z ( x )) ℝ v ℝ 2 a rovnice je napsána:
Pokud je y řešením diferenciální rovnice v intervalu I, můžeme uvažovat o jejím omezení na interval J obsažený v I. Tím zůstane řešení diferenciální rovnice. Řešení se také nazývá integrální křivka.
Často je rozumné brát v úvahu pouze maximální řešení, nazývaná také maximální integrální křivky, to znamená ta, která nejsou omezeními žádných jiných. Definiční interval se nazývá maximální interval.
Nemělo by se však věřit, že maximální řešení jsou definována přes celé číslo ℝ. Je docela možné, že budou mít konečnou životnost v budoucnu nebo v minulosti. To je například případ řešení rovnice y '= y 2 .
Pokud však řešení zůstane omezeno na kompaktní doménu , má nekonečnou životnost.
PříkladSkalární diferenciální rovnice prvního řádu v řešené formě: y '= G ( x , y ) připouští jednoduchou geometrickou interpretaci v rovině redukované na souřadný systém os ( Ox ), ( Oy ). Můžeme reprezentovat, v každém bodě souřadnic x , y , vektor složek 1 a G ( x , y ), který tvoří pole vektorů roviny. Křivky řešení jsou grafickým znázorněním funkcí y = f ( x ), spojitě diferencovatelné, jejichž tečna v každém bodě je dána vektorovým polem.
Vyřešená forma a implicitní formaDiferenciální rovnice, které lze dát do řešené formy, mají dobré teoretické vlastnosti, přičemž - za určitých předpokladů - existuje věta o existenci a jedinečnosti řešení: Cauchy-Lipschitzova věta .
Jinak říkáme, že diferenciální rovnice je v implicitní formě. Snažíme se, na největších možných doménách, dát diferenciální rovnici v řešené podobě. Poté musíme propojit získaná řešení. Zpracování diferenciálních rovnic tohoto typu bude zmíněno na konci článku.
Počáteční podmínka (nebo Cauchyova podmínka) pro rovnici řádu n neznámého y jsou data hodnoty x 0 a n vektorů Y 0 , ..., Y n -1 . Funkce řešení splňuje tyto počáteční podmínky y , pokud
Cauchyho problém je dán diferenciální rovnicí se sadou počátečních podmínek.
Pro diferenciální rovnici v řešené formě , s určitým předpokladem pravidelnosti ( lokálně Lipschitzianův znak na x fixovaný, s ohledem na blok jiných proměnných), uvádí Cauchy-Lipschitzova věta, že pro každou počáteční podmínku:
Dalším klasickým problémem je problém okrajových podmínek , pro něž se v několika bodech předepisují hodnoty funkce řešení, dokonce i hodnoty limitů funkce řešení na hranicích domény. Takže problém:
Takový problém (někdy nazývaný Dirichletův problém ) nemusí velmi dobře mít řešení nebo naopak nekonečno funkcí řešení.
V uvedeném příkladu jsou řešením funkce tvaru x ↦ k sin ( x ) pro libovolnou konstantu k .
Rozlišení kvadraturou, které spočívá v získání explicitní formy řešení diferenciální rovnice pomocí obvyklých funkcí a primitivačního operátoru, je zřídka možné. Malý počet rovnic konkrétních tvarů lze snížit postupnými změnami proměnných na nejjednodušší rovnici ze všech: rovnici , což je jednoduchá primitivace.
Mezi diferenciálními rovnicemi, které lze plně vyřešit, jsou skalární lineární rovnice řádu 1 , samostatné proměnné v rovnicích , homogenní rovnice prvního řádu , Bernoulliho rovnice , vektorové diferenciální rovnice s konstantními koeficienty.
Jiné lze zcela vyřešit, jakmile je známé konkrétní řešení, například lineární diferenciální rovnice řádu 2 , Riccatiho diferenciální rovnice .
Při absenci rozlišení kvadraturou je někdy možné hledat alespoň lokální vyjádření řešení v podobě celé série . Tento přístup, systematicky používaný na určitých třídách lineárních diferenciálních rovnic, se nazývá Frobeniova metoda .
Data počátečních podmínek x 0 , Y 0 ,…, Y n –1 definují jedinečnou funkci řešení, kterou lze označit S ( x 0 , Y 0 ,…, Y n –1 , x ). Definujeme tedy globální funkci S, která přebírá název toku (někdy nazývaného tok nebo také aktuální) a která odpovídá způsobu, jakým se řešení liší s počátečními podmínkami. Jeho doména existence je otevřená .
Přijetím hypotéz Cauchyho-Lipschitzovy věty závisí řešení kontinuálně na počátečních podmínkách, to znamená, že funkce S je spojitá funkce množiny jejích proměnných.
Pokud je systém nastaven tak, aby nepřetržitě závisel na parametru λ, existuje také kontinuita S vzhledem k tomuto parametru. Přidání parametru lze ve skutečnosti omezit na úpravu systému. Postačí přidat k hledané funkci komponentu Λ a požádat ji o kontrolu rovnice Λ '= 0 a počáteční podmínky Λ ( x 0 ) = λ.
Nechť y je konkrétní řešení diferenciální rovnice s počátečními podmínkami x 0 , Y 0 ,…, Y n –1 . Vlastnost kontinuity umožňuje dát chování řešení odpovídajících sousedním počátečním podmínkám.
Řešení (ℝ, 0) Diferenciální rovnice x '= f ( t , x ) je stabilní, pokud existuje Liapunovova funkce .
S předchozími vlastnostmi kontinuity je třeba zacházet opatrně, protože neposkytují kvantifikované informace. V praxi mnoho systémů vykazuje extrémní dlouhodobou citlivost na malé počáteční variace, což je fenomén popularizovaný Edwardem Lorenzem jako motýlí efekt . Abychom poskytli uspokojivý popis vývoje fyzického systému ve velmi dlouhém čase, bylo by nutné posunout měření počátečních podmínek do nemyslitelné přesnosti. Bylo by tedy nutné zahrnout do výpočtu velmi dlouhodobých meteorologických předpovědí až do mlácení motýlích křídel.
Systémy řízené diferenciálními rovnicemi, i když jsou v zásadě deterministické, mohou vykazovat extrémně složité chování a vypadat neuspořádaně, chaoticky. Henri Poincaré byl první, kdo objasnil tento pojem deterministického chaosu . Jeho myšlenky budou pomalu přijímány, ale nyní budou sloužit jako základ pro teorii dynamických systémů .
Důležitým konkrétním případem je, že když se proměnná neobjeví ve funkční rovnici, pak se kvalifikuje jako autonomní: tedy rovnice y '= f ( y ).
Zákony fyziky obecně platí pro funkce času a jsou prezentovány ve formě autonomních diferenciálních rovnic, což projevuje invariantnost těchto zákonů v čase. Pokud se tedy autonomní systém vrátí do své původní polohy po časovém intervalu T , zná tedy periodické změny v období t .
Studium autonomních rovnic je ekvivalentní studiu vektorových polí . Pro rovnici prvního řádu jsou řešením rodina křivek, které se neprotínají (podle Cauchy-Lipschitzovy věty ) a které vyplňují prostor. Jsou tečny k vektorovému poli v každém bodě.
Viz také „ Poincaré-Bendixsonova věta “.
O diferenciální rovnici se říká, že je lineární, když je vyjádření rovnice lineární (nebo obecněji afinní) vzhledem k bloku proměnných . Lineární skalární diferenciální rovnice řádu n a neznámého y má tedy tvar
kde jsou numerické funkce.
Vektorová lineární diferenciální rovnice řádu n má stejný aspekt a nahrazuje je funkcí lineárních map (nebo často matic) funkce x . Takové rovnici se někdy také říká lineární diferenciální systém .
Speciální rysy lineárních diferenciálních rovnic v řešené formě:
Holomorphic diferenciální rovnice je homolog, pro komplexní proměnné, obyčejné diferenciální rovnice. Obecná teorie je mnohem složitější.
Holomorfní diferenciální rovnice v řešené formě splňuje analogii Cauchy-Lipschitzovy věty: lokální existence a jedinečnost funkce řešení, sama o sobě holomorfní.
Také v případě, že rovnice závisí na parametrech holomorfně, tak záleží i na řešení. V počátečních podmínkách je také holomorfní závislost.
V jediném maximálním řešení však obecně již neexistuje žádné připojení.
Problémy jsou i při nejjednodušší diferenciální rovnici: výpočtu primitiv . Například konstrukce funkce, jako je komplexní logaritmus, není jednoznačná. Můžeme se pokusit sestavit stanovení funkce logaritmu na největších možných otvorech: například dělené roviny. Můžeme také postavit primitiva „podél cesty“. Poté se objeví fenomén monodromy : pokud se cesta otočí v přímém směru kolem počátku, je anti-negativ modifikován konstantou (2iπ). Pro zohlednění situace je nutné zahrnout do hry pojmy povlak , spojovací bod .
Mocenské funkce jsou také řešením jednoduchých diferenciálních rovnic, které pravděpodobně představují monodromy. Rovnice z '= –z 3 tedy nepřipouští žádné nenulové holomorfní řešení, dokonce ani meromorfní v celé rovině.
Teorie lineárních holomorfních diferenciálních rovnic v řešené formě je velmi podobná teorii rovnic pro skutečnou proměnnou, pokud zůstává na jednoduše souvisejících doménách . Jinak také vede k problémům s typem větvených bodů .
Řešení diferenciálních rovnic pomocí kvadratury (tj. Pomocí elementárních operací a primitivace) je možné pouze ve velmi omezeném počtu případů. Například ani skalární lineární diferenciální rovnice řádu 2 nepřijímají takový obecný vzorec řešení. Je proto nezbytné mít přibližné techniky řešení.
Tato metoda, nejstarší a nejjednodušší, má také teoretický zájem, protože umožňuje dokázat výsledek existence řešení za slabších hypotéz než Cauchy-Lipschitzova věta : je to Cauchyova věta - Peano-Arzela .
Uvažujeme diferenciální rovnici prvního řádu v řešené formě y '= f ( x , y ) s počáteční podmínkou y ( x 0 ) = y 0 .
Principem je přiblížit řešení y na [ a , b ] po částech afinní funkce provedením diskretizace parametru: nastavíme
kde není.Po částech afinní funkce se proto spojí se souřadnými body ( x i , y i ) a jde o návrh algoritmu pro konstrukci y i z y 0 . V každém intervalu [ x i , x i +1 ] vezmeme pro sklon afinního segmentu, který naznačuje rovnice: f ( x i , y i ).
Nejklasičtější jsou metody Runge-Kutta , Newmarkova metoda , metoda konečných rozdílů nebo metoda konečných prvků, která je vhodnější pro PDE.
Nechte implicitní diferenciální rovnici
Abychom ji studovali, regulujeme rovinu : rozlišujeme hodnoty ( x , y ), pro které rovnice připouští řešení 0, 1 nebo 2. Tři regiony se získá U , V , W . Oblast V je parabola rovnice , oblasti U a W jsou dvě otevřené oblasti , které vymezuje.
Začneme tím, že se podíváme na řešení, která jsou vynesena pouze na jednu ze tří domén
Každá z těchto dvou rovnic splňuje Cauchy-Lipschitzovu větu . Pokud se omezíme na otevřené W , existují tedy přesně dvě řešení pro každou dvojici počátečních řešení. Na obrázku níže jsou nakresleny modře. V projednávaném případě jde také o přímky, rovnici
Jsou tečny k parabole rovnice . Konkrétně, zakreslené řešení W jsou tyto linky, zadržen tečným bodem od osudu W .
Nyní můžeme studovat diferenciální rovnici na celé rovině. Pak existují „hybridní“ řešení vytvořená spojením způsobem C 1 parabolový oblouk (zelený) s přímočarými roztoky (modrý). Řešení zobrazené červenou barvou:
Takové spojení může být provedeno bodu V . Popis sady všech řešení by byl proveden diskutováním jako funkce počáteční podmínky x 0 , y 0
Pro zobecnění této studie je nutné umístit se do trojrozměrného prostoru s vyznačenými souřadnicemi ( x , y , p ). S diferenciální rovnicí je spojena plocha rovnice F ( x , y , p ) = 0 (souřadnice p se používá k vyjádření y ' ). Řešení jsou křivky nakreslené na povrchu. Potíže, se kterými se setkáváme, pocházejí ze skutečnosti, že tyto křivky se promítají do ( x , y ) roviny . Projekce aplikace prožívá kritické body v místech, kde je přechod z F je „vertikální“. Jedná se o body, které se promítají do zeleného podobenství.
A konečně, rámec pro studium implicitních diferenciálních rovnic je stejný jako rámec pro obalovou teorii . Parabola, singulární řešení, je zde obálkou řady linek, pravidelných řešení.