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 editovat

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í editovat

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 editovat

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 editovat

Reference editovat

V tomto článku byl použit překlad textu z článku Initial value problem na anglické Wikipedii.

  • Coddington, Earl. a Levinson, Norman. Theory of ordinary differential equations. New York-Toronto-London: McGraw-Hill Book Company, Inc., 1955. 
  • Hirsch, Morris W. a Smale, Stephen. Differential equations, dynamical systems, and linear algebra. New York-London: Academic Press, 1974. 
  • OKAMURA, Hirosi. Condition nécessaire et suffisante remplie par les équations différentielles ordinaires sans points de Peano. Mem. Coll. Sci. Univ. Kyoto Ser.. 1942. (French) 
  • Agarwal, Ravi P. a Lakshmikantham, V. Uniqueness a Nonuniqueness Criteria for Ordinary Differential Equations. Svazek 6. [s.l.]: World Scientific, 1993. (Series in real analysis). Dostupné online. ISBN 978-981-02-1357-2. 
  • Polyanin, Andrei D. a Zaitsev, Valentin F. Handbook of exact solutions for ordinary differential equations. 2. vyd. Boca Raton, FL: Chapman & Hall/CRC, 2003. ISBN 1-58488-297-2. 
  • ROBINSON, James C. Infinite-dimensional dynamical systems: An introduction to dissipative parabolic PDEs and the theory of global attractors. Cambridge: Cambridge University Press, 2001. ISBN 0-521-63204-8.