Počáteční úloha
Počáteční úloha (také Cauchyho úloha nebo problém počáteční hodnoty) je v matematice v oboru diferenciálních rovnic hledání takového řešení obyčejné diferenciální rovnice, které vyhovuje počáteční podmínce. Počáteční podmínka stanovuje, jaké hodnoty musí mít neznámá funkce (případně i její derivace) v určitém bodě definičního oboru. Za modelování systému se ve fyzice a jiných vědách obvykle považuje vyřešení počáteční úlohy. Diferenciální rovnici lze v tomto případě považovat za rovnici vývoje, která udává, jak se bude systém z daných počátečních podmínek vyvíjet v čase.

Definice 
Počáteční úloha je zadána diferenciální rovnicí
, kde  pro otevřenou množinu , která je podmnožinou ,
a bodem v definičním oboru funkce

nazývaným počáteční podmínka.

Řešením počáteční úlohy je taková funkce y, která je řešením diferenciální rovnice a vyhovuje podmínce

Ve vyšší dimenzi se místo jedné diferenciální rovnice uvažuje soustava rovnic  a  se bere jako vektor . Obecně mohou být podmínky pro neznámou funkci y hodnoty v nekonečněrozměrném prostoru, jakým je například Banachův prostor nebo prostor distribucí.

Použitím derivací v podmínce lze problém počáteční hodnoty rozšířit na vyšší řády, například .

Existence a jednoznačnost řešení 
Pro velkou třídu počátečních úloh lze existenci a jednoznačnost řešení ilustrovat pomocí kalkulátoru.

Picardova–Lindelöfova věta zaručuje jednoznačnost řešení na nějakém intervalu obsahujícím t0 pro ƒ spojitou na oblasti obsahující bod t0 a y0, pokud funkce vyhovuje Lipschitzově podmínce pro proměnnou y.
Důkaz této věty se provádí přeformulováním problému jako ekvivalentu integrální rovnice. Integrál může být považován operátor, který zobrazuje jednu funkci na jinou tak, že řešení je pevným bodem operátoru. Pak se použije Banachova věta o pevném bodě pro důkaz, že existuje jediný pevný bod, který je řešením počáteční úlohy.

Ve starším důkazu Picardovy–Lindelöfovy věta se konstruuje posloupnost funkcí, která konverguje k řešení integrální rovnice a tedy k řešení počáteční úlohy. Tato konstrukce se někdy nazývá „Picardova metoda“ nebo „metoda postupných aproximací“. Jedná se vlastně o speciální případ Banachovy věty o pevném bodě.

Hiroshi Okamura získal nutnou a postačující podmínku, aby bylo řešení počáteční úlohy jednoznačné. Tato podmínka využívá existenci soustavy Ljapunových funkcí.

Ne vždy však je funkce ƒ hladká (třídy C1) nebo dokonce Lipschitzovská, takže lokální existence jednoznačného řešení není zaručena. Podle Peanovy existenční věty však spojitost funkce ƒ postačuje, aby řešení existovalo lokálně v čase; problémem je, že neexistuje záruka jednoznačnosti; výsledek lze nalézt v Coddington & Levinson (1955, Věta 1.3) nebo Robinson (2001, Věta 2.6). Ještě obecnější Carathéodoryho existenční věta zaručuje existenci řešení i pro některé nespojité funkce ƒ.

Příklady 
První příklad
Řešíme rovnici  s počáteční podmínkou . Hledáme funkci , která vyhovuje oběma rovnicím.

Nejdříve zapíšeme  jako :

 

pak přeuspořádáme rovnici, aby  bylo na jedné a  na druhé straně:

 

a obě strany zintegrujeme (což vnáší integrační konstantu ):

 

aplikujeme inverzní funkci k logaritmu:

 

zavedeme novou integrační konstantu :

 .

Nyní potřebujeme nalézt hodnotu . Podle počáteční podmínky  a dosadíme za  0 a za  19

 
 

Výsledné řešení je .

Druhý příklad
Řešením diferenciální rovnice s počáteční podmínkou

 

je funkce

 

což lze ověřit dosazením

Související články 
 Okrajová úloha
 Integrační konstanta
 Integrální křivka

Reference 

 
 
 
 
 
 

Obyčejné diferenciální rovnice