Singulární řešení

Singulární řešení y_s(x) obyčejné diferenciální rovnice je řešení, které je singularitou, nebo takové, u jehož počáteční úlohy (některými autory nazývané Cauchyho problém) je v některém bodě řešení porušena jednoznačnost. Řešení může být singulární na množině tvořené jediným bodem i celou reálnou osou. Řešení, u kterých dochází k porušení jednoznačnosti, nemusí být singulární funkce.

V některých případech se termín singulární řešení používá pouze pro taková řešení, u nichž je porušena jednoznačnost počáteční úlohy v každém bodě křivky. Singulární řešení v tomto silnějším smyslu je často dáno tečnou ke každému řešení z rodiny řešení. Tečnou míníme bod x, ve kterém y_s(x) = y_c(x) a y'_s(x) = y'_c(x), kde y_c je řešení z rodiny řešení parametrizovaných parametrem c. To znamená, že singulární řešení je obalovou křivkou rodiny řešení.

Diferenciální rovnice má obvykle singulární řešení tehdy, když se v ní vyskytuje dělení výrazem, který může nabývat nulové hodnoty. Proto při řešení diferenciální rovnice, v níž se vyskytuje dělení nějakým výrazem, musíme zkontrolovat, co se stane, když se tento výraz rovná nule, a zda to nevede k singulárnímu řešení. Pro vyloučení existence singulárního řešení lze použít Picardovu–Lindelöfovu větu, která dává postačující podmínky pro existenci jednoznačného řešení. Další věty, jako například Peanova existenční věta, dávají postačující podmínky pro existenci řešení bez záruky jednoznačnosti, což může umožnit existenci singulárního řešení.

Divergentní řešení editovat

Uvažujme homogenní lineární obyčejnou diferenciální rovnici

xy'(x)+2y(x)=0,\,\!

kde apostrof znamená derivaci podle x. Obecným řešením této rovnice je

y(x)=Cx^{-2}.\,\!

Pro libovolnou hodnotu $C$ je toto řešení hladké s výjimkou bodu $x=0$ , kde řešení diverguje. Navíc pro dané $x\not =0$ , se jedná o jednoznačné řešení procházející bodem $(x,y(x))$ .

Porušení jednoznačnosti editovat

Uvažujme diferenciální rovnici

y'(x)^{2}=4y(x).\,\!

Jednoparametrická rodina řešení této rovnice je dána vzorcem

y_{c}(x)=(x-c)^{2}.\,\!

Jiné řešení je dané vztahem

y_{s}(x)=0.\,\!

Protože zkoumaná rovnice je prvního řádu, počáteční podmínkou jsou počáteční hodnoty x a y. Při uvažování uvedených dvou množin řešení vidíme, že pro $y=0$ je porušena jednoznačnost. (Lze ukázat, že jestliže pro $y>0$ vybereme jednu větev odmocniny, pak existuje lokální řešení, které je jednoznačné díky Picardově–Lindelöfově větě.) To znamená, že výše uvedená řešení jsou vesměs singulární v tom smyslu, že žádné není jednoznačné v okolí jednoho nebo více bodů. (Obvykle říkáme, že v těchto bodech je „porušena jednoznačnost“.) Pro první množinu řešení je jednoznačnost porušena v jednom bodě, $x=c$ , pro druhé řešení pro každou hodnotu $x$ . Řešení $y_{s}$ je tedy singulárním řešením v silnějším smyslu, že je nejednoznačné pro každou hodnotu x. Nejedná se však o singularitu, protože řešení i všechny jeho derivace jsou spojité.

V tomto příkladě je řešení $y_{s}(x)=0$ obálkou rodiny řešení $y_{c}(x)=(x-c)^{2}$ . Řešení $y_{s}$ je tečnou ke každé křivce $y_{c}(x)$ v bodě $(c,0)$ .

Porušení jednoznačnosti lze použít pro konstrukci více řešení. Ta lze nalézt použitím dvou konstant $c_{1}<c_{2}$ a definováním řešení $y(x)$ , aby bylo $(x-c_{1})^{2}$ pro $x<c_{1}$ , aby bylo $0$ pro $c_{1}\leq x\leq c_{2}$ , a aby bylo $(x-c_{2})^{2}$ pro $x>c_{2}$ . Přímý výpočet ukazuje, že se jedná o řešení diferenciální rovnice v každém bodě, včetně $x=c_{1}$ a $x=c_{2}$ . Pro tato řešení je jednoznačnost porušena na intervalu $c_{1}\leq x\leq c_{2}$ , a řešení jsou singulární v tom smyslu, že druhá derivace neexistuje v bodech $x=c_{1}$ a $x=c_{2}$ .

Další příklad porušení jednoznačnosti editovat

Předchozí příklad může dávat mylnou představu, že porušení jednoznačnosti má přímou souvislost s $y(x)=0$ . Porušení jednoznačnosti je vidět také v následujícím příkladě Clairautovy rovnice:

y(x)=x\cdot y'+(y')^{2}\,\!

Pokud použijeme substituci y' = p, pak

y(x)=x\cdot p+(p)^{2}.\,\!

Zderivujeme podle x:

p=y'=p+xp'+2pp'\,\!

což po jednoduché algebraické úpravě dává

0=(2p+x)p'.\,\!

Tato podmínka je splněna pro 2p+x=0 a pro p'=0.

Pokud p' = 0, znamená to, že y' = p = c = konstanta a obecné řešení této nové rovnice je:

y_{c}(x)=c\cdot x+c^{2}\,\!

kde c je určeno počáteční hodnotou.

Pokud x + 2p = 0, pak dostaneme, že p = −(1/2)x a substitucí do původní rovnice dostaneme

y_{s}(x)=-(1/2)x^{2}+(-(1/2)x)^{2}=-(1/4)\cdot x^{2}.\,\!

Nyní zkontrolujeme, kdy jsou tato řešení singulární. Jestliže se dvě řešení navzájem protínají, neboli obě procházejí stejným bodem (x,y), pak v tomto bodě dochází k porušení jednoznačnosti pro obyčejnou diferenciální rovnici prvního řádu. V tomto bodě je tedy porušena jednoznačnost, pokud řešení prvního tvaru protíná druhé řešení.

Podmínka pro průsečík je : y_s(x) = y_c(x). Abychom nalezli průsečík, řešíme rovnici