Wronskián

Wronskián (nebo také Wronského determinant) je v matematice funkce, která je definována jako determinant Wronského matice. Byl vymyšlen v roce 1812 polským matematikem Józefem Hoene-Wrońským a o 70 let později také po něm pojmenován. Je používán zejména v teorii diferenciálních rovnic při jejich řešení metodou variace konstant a při zjišťování lineární nezávislosti množiny funkcí.

Definice

Nechť funkce (reálné nebo komplexní proměnné) $f_1(x),f_2(x),\dots ,f_n(x)$ mají v množině $I$ všechny derivace až do řádu $\mathrm{n}\mathrm{-}\mathrm{1}$ včetně. Potom wronskiánem těchto funkcí nazýváme funkci definovanou vztahem

$W(f_1(x),f_2(x),\dots ,f_n(x))(x)=\left|\begin{array}{cccc}{f}_1(x)& f_2(x)& \cdots & f_n(x)\\ {f_1}^{\prime }(x)& {f_2}^{\prime }(x)& \cdots & {f_n}^{\prime }(x)\\ ⋮& ⋮& \ddots & ⋮\\ f_1^{(n-1)}(x)& f_2^{(n-1)}(x)& \cdots & f_n^{(n-1)}(x)\end{array}\right|,x\in I.$

Determinant se skládá z $n$ sloupců a $n$ řádků. V prvním řádku se nachází původní funkce, v každém $j$-tém řádku jejich $j-1$ derivace.

Vlastnosti

• Pokud jsou funkce $f_1,\dots ,f_n$ diferencovatelné do řádu $\mathrm{n}\mathrm{-}\mathrm{1}$ na množině $I$ a jsou zde lineárně závislé, potom platí $W(f_1,\dots ,f_n)(x)=0$ pro všechna $x\in I$.
• Nechť jsou funkce $f_1,\dots ,f_n$ lineárně nezávislá řešení homogenní lineární diferenciální rovnice řádu $n$ na množině $I$ . Potom platí $W(f_1,\dots ,f_n)(x)\ne 0$ pro všechna $x\in I$.

Při řešení lineárních diferenciálních rovnic se wronskián používá pro zjišťování lineární nezávislosti funkcí, které tuto rovnici řeší. Při nalezení tolika lineárně nezávislých rovnic jako je řád diferenciální rovnice lze určit její fundamentální systém, a na základě konkrétního partikulárního řešení také obecné řešení této rovnice .

Příklad

Spočtěme determinant systému funkcí $\{1,x,x^2,\dots ,x^k\}$ . Jde o $k+1$ funkcí, determinant bude mít tedy $k+1$ řádků a $k+1$ sloupců. Wronskián je roven

$W(1,x,x^2,\dots ,x^k)(x)=\left|\begin{array}{cccccc}1& x& x^2& \cdots & x^{k-1}& x^k\\ 0& 1& 2x& \cdots & (k-1)x^{k-2}& k{x}^{k-1}\\ 0& 0& 2& \dots & (k-1)(k-2)x^{k-3}& k(k-1)x^{k-2}\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& 0& \cdots & (k-1)!& k!x\\ 0& 0& 0& \cdots & 0& k!\end{array}\right|=\prod _{i=1}^{k}i!$

V posledním kroku výpočtu bylo využito, že determinant horní trojúhelníkové matice je roven součinu jejich prvků na diagonále. Tento výsledek bude vždy nenulový pro libovolné $k$, a proto jsou tyto funkce lineárně nezávislé.

Odkazy

Literatura

• Krbálek, Milan. Matematická analýza III. 3., přeprac. vyd. V Praze: České vysoké učení technické, 2011, 230 s. Šablona:ISBN.
• Kopáček, Jiří. Matematická analýza pro fyziky (II). Vyd. 1. Praha: Matfyzpress, 1998, 217 s. Šablona:ISBN.

Související články

• Lineární diferenciální rovnice
• Determinant