Picardova–Lindelöfova věta
Věta o existenci a jednoznačnosti řešení počáteční úlohy, Picardova–Lindelöfova věta, Picardova existenční věta nebo Cauchyho–Lipschitzova věta je důležitá matematická věta o existenci a jednoznačnosti řešení obyčejné diferenciální rovnice prvního řádu s danými počátečními podmínkami.

Věta je pojmenovaná po Émile Picard, Ernst Lindelöf, Rudolf Lipschitz a Augustin Louis Cauchy.

Uvažujme počáteční úlohu

Předpokládejme, že f je lipschitzovsky spojitá v y a spojitá v t. Pak pro nějakou hodnotu ε > 0, existuje jednoznačné řešení y(t) počáteční úlohy na intervalu .

Nástin důkazu 
Důkaz využívá transformaci diferenciální rovnice a použití teorie pevného bodu. Integrováním obou stran rovnice dostaneme, že libovolná funkce vyhovující diferenciální rovnici musí také vyhovovat integrální rovnici

Jednoduchý důkaz existence řešení lze získat metodou postupných aproximací, která se v tomto kontextu nazývá Picardova iterace.

Jestliže položíme

a

tak lze pomocí Banachovy věty o pevném bodě dokázat, že posloupnost „Picardových iterací“ φk je konvergentní, a že její limita je řešením počáteční úlohy. Využitím faktu, že šířka intervalu, kde je definované lokální řešení, je úplně určena Lipschitzovou konstantou funkce, můžeme zaručit existenci globalního řešení. To znamená, že řešení existuje a je jednoznačné, pokud neopustí definiční obor původní diferenciální rovnice. Aplikace Grönwallova lemmatu na |φ(t) − ψ(t)|, kde φ a ψ jsou dvě řešení, ukazuje, že φ(t) = ψ(t), tedy dokazuje globalní jednoznačnost (lokální jednoznačnost je důsledkem jednoznačnosti Banachova pevného bodu).

Intuitivní chápání věty 
Myšlenka věty je následující. Diferenciální rovnice může mít stacionární bod. Například rovnice

má stacionární řešení , které lze získat pro počáteční podmínku . Pokud vyjdeme z jiné počáteční podmínky , nelze dosáhnout stacionárního řešení v konečném čase, a proto je jednoznačnost řešení zaručena. Jestliže je však stacionárního řešení dosaženo v konečném čase, jednoznačnost je narušena. K tomu dochází například pro rovnici

Řešení odpovídající počáteční podmínce  může být buď  anebo

Můžeme si všimnout, že funkce  má nekonečný spád v bodě  a proto není lipschitzovsky spojitá. Podmínka Lipschitzovské spojitosti tento typ diferenciálních rovnic vylučuje.

Podrobný důkaz 
Nechť

kde:

Toto je kompaktní válec, na kterém je funkce f definovaná. Nechť

toto je maximální spád funkce v modulu. Navíc nechť L je Lipschitzova konstanta funkce f vzhledem k druhé proměnné.

Budeme aplikovat Banachovu větu o pevném bodě používající metriku na  indukovanou uniformní normou

Definujeme Picardův operátor mezi dvěma funkcionálními prostory spojitých funkcí

takto:

Budeme předpokládat, že operátor je dobře definovaný, jinými slovy, že jeho obrazem je funkce nabývající hodnoty na  nebo ekvivalentně, že norma
 je menší než b,
což můžeme také formulovat jako

Potřebujeme, aby byla splněna poslední nerovnost, proto zavedeme podmínku

Zvolíme nyní Picardův operátor tak, aby byl kontraktivní za určité podmínky pro a, kterou později budeme moci vynechat.

Jsou-li dány dvě funkce , abychom mohli aplikovat Banachovu větu o pevném bodě musí platit

pro nějaké q < 1. Nechť t je takový, že

pak pomocí definice Γ

Toto je kontraktivní, jestliže a < 1/L.

Dokázali jsme, že Picardův operátor je kontrakcí na Banachových prostorech s metrikou indukovanou uniformní normou. Díky tomu můžeme použít Banachovu větu o pevném bodě pro důkaz, že operátor má jediný pevný bod. Konkrétně, existuje jednoznačná funkce

taková, že Γφ = φ. Tato funkce je jednoznačným řešením počáteční úlohy, které je korektní na intervalu Ia, kde a vyhovuje podmínce

Optimalizace intervalu řešení 
Existuje důsledek Banachovy věty o pevném bodě, který tvrdí, že jestliže operátor Tn je kontraktivní pro některá n v N, pak T má jediný pevný bod. Použijeme tuto větu na Picardův operátor. Nejdříve si však připomeneme lemma, které bude velmi užitečné aplikovat na výše uvedený důsledek.

Lemma:   

Důkaz. Důkaz provedeme indukcí. Východisko indukce (m = 1) už máme dokázané. Nyní předpokládejme, že tvrzení je pravdivé pro m−1 a pokusíme se je dokázat pro m:

 

Proto, pokud vezmeme v úvahu tuto nerovnost, můžeme zajistit, že pro určité dostatečně velké m platí, že  a tedy Γm bude kontraktivní. Takže podle předchozího důsledku bude Γ mít jediný pevný bod. Takže nakonec So, nakonec můžeme optimalizovat interval řešení použitím α = min{a, b/M}.

Důležitost tohoto výsledku je, že interval definice řešení nakonec nezávisí na Lipschitzově konstantě pole, ale v zásadě závisí na intervalu definice pole a jeho maximální absolutní hodnotě.

Jiné existenční věty 
Picardova–Lindelöfova věta stanovuje podmínky, aby řešení existovalo a bylo jednoznačné. Peanova existenční věta stanovuje pouze podmínky existence, ne jednoznačnosti řešení, ale vystačí pouze s předpokladem, že funkce f je spojitá v bodě y – nevyžaduje, aby byla Lipschitzovsky spojitá. Například pravá strana rovnice  s počáteční podmínkou  je spojitá, ale ne lipschitzovsky spojitá. Tato rovnice vskutku není jednoznačná; má tři řešení: y(t) = 0 a

 

Ještě obecnější je Carathéodoryho existenční věta, která dokazuje existenci (v obecnějším smyslu) za slabší podmínky pro ƒ. je také zajímavé zmínit, že ačkoli tyto podmínky jsou pouze dostačující, existuje také nezbytná a postačující podmínka pro jednoznačné řešení počáteční úlohy, jako například Okamurova věta.

Odkazy

Poznámky

Reference 

 .
 E. Lindelöf, Sur l'aplikace de la méthode des aproximations successives aux équations différentielles ordinaires du premier ordre; Comptes rendus hebdomadaires des séances de l'Académie des sciences. Vol. 116, 1894, stránky 454–457. Digitalizovaná verze online na http://gallica.bnf.fr/ark:/12148/bpt6k3074r/f454.table . (V tomto článku Lindelöf diskutuje zobecnění dřívějšího Picardova přístupu.)

Související články 
 Frobeniova věta (diferenciální topologie)
 Podmínka integrovatelnosti pro diferenciální systémy

Externí odkazy 
 Pevné body a Picardův algoritmus
 Picardova iterace
 Důkaz Picardovy–Lindelöfovy věty

Obyčejné diferenciální rovnice
Augustin Louis Cauchy