Metoda anihilátorů

Metoda anihilátorů je postup používaný v matematice pro hledání partikulárního řešení určitých typů nehomogenních obyčejných diferenciálních rovnic. Podobá se metodě neurčitých koeficientů, ale na rozdíl od ní není třeba partikulární řešení hádat, ale pro jisté tvary pravé strany je lze přímo určit. V metodě anihilátorů se termín neurčité koeficienty používá pro označení kroku, ve kterém se počítají koeficienty.

Postup při metodě anihilátorů je následující: Rovnici zapíšeme jako použití diferenciálního operátoru $P(D)$ na závislou proměnnou $y$: $P(D)y=f(x)$, a hledáme jiný diferenciální operátor $A(D)$ takový, že $A(D)f(x)=0$. Tento operátor se nazývá anihilátor a podle něj se jmenuje celá metoda. Použitím $A(D)$ na obě strany obyčejné diferenciální rovnice vznikne homogenní obyčejná diferenciální rovnice ${\big (}A(D)P(D){\big )}y=0$, pro kterou hledáme bázi řešení $\{y_{1},\ldots ,y_{n}\}$ jako pro původní rovnici. Původní nehomogenní obyčejná diferenciální rovnice se použije pro získání soustavy rovnic omezující koeficienty lineární kombinace tak, aby vyhovovaly obyčejné diferenciální rovnici.

Tato metoda není tak obecná jako metoda variace konstant, protože anihilátor nemusí vždy existovat.

Tvary anihilátoru

f(x)	Tvar anihilátoru
$a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}\!$	$D^{n+1}\!$
$e^{kx}\!$	$D-k\!$
$x^{n}.e^{kx}\!$	$(D-k)^{n+1}\!$
$\cos(bx)\;\;\mathrm {nebo} \;\;\sin(bx)\!$	$D^{2}+b^{2}\!$
$x^{n}\cos(bx)\;\;\mathrm {nebo} \;\;x^{n}\sin(bx)\!$	$(D^{2}+b^{2})^{n+1}\!$
$e^{ax}\cos(bx)\;\;\mathrm {nebo} \;\;e^{ax}\sin(bx)\!$	$(D-a)^{2}+b^{2}=D^{2}+2aD+a^{2}+b^{2}\!$
$x^{n}e^{ax}\cos(bx)\;\;\mathrm {nebo} \;\;x^{n}e^{ax}\sin(bx)\!$	$\left[(D-a)^{2}+b^{2}\right]^{n+1}=\left[D^{2}+2aD+a^{2}+b^{2}\right]^{n+1}\!$
$a_{n}x^{n}+\cdots +a_{1}x+a_{0}+b_{1}e^{\pm c_{1}x}+\cdots +b_{k}e^{\mp c_{k}x}\!$	$D^{n+1}(D\mp c_{1}).\cdots .(D\pm c_{k})\!$

Pokud je $f(x)$ tvořena součtem výrazů uvedených v tabulce, je anihilátor součinem odpovídajících tvarů anihilátorů.

Příklad

Řešíme rovnici $y''-4y'+5y=\sin(kx)$; diferenciální operátor $P(D)=D^{2}-4D+5$. Nejjednodušší anihilátor výrazu $\sin(kx)$ je $A(D)=D^{2}+k^{2}$. Kořeny $A(z)P(z)$ jsou $\{2+i,2-i,ik,-ik\}$, takže báze řešení $A(D)P(D)$ je $\{y_{1},y_{2},y_{3},y_{4}\}=\{e^{(2+i)x},e^{(2-i)x},e^{ikx},e^{-ikx}\}.$

Položením $y=c_{1}y_{1}+c_{2}y_{2}+c_{3}y_{3}+c_{4}y_{4}$ dostaneme

${\begin{aligned}\sin(kx)&=P(D)y\\[8pt]&=P(D)(c_{1}y_{1}+c_{2}y_{2}+c_{3}y_{3}+c_{4}y_{4})\\[8pt]&=c_{1}P(D)y_{1}+c_{2}P(D)y_{2}+c_{3}P(D)y_{3}+c_{4}P(D)y_{4}\\[8pt]&=0+0+c_{3}(-k^{2}-4ik+5)y_{3}+c_{4}(-k^{2}+4ik+5)y_{4}\\[8pt]&=c_{3}(-k^{2}-4ik+5)(\cos(kx)+i\sin(kx))+c_{4}(-k^{2}+4ik+5)(\cos(kx)-i\sin(kx))\end{aligned}}$

což dává soustavu rovnic

$i=(k^{2}+4ik-5)c_{3}+(-k^{2}+4ik+5)c_{4}$

$0=(k^{2}+4ik-5)c_{3}+(k^{2}-4ik-5)c_{4}$

která má řešení

$c_{3}={\frac {i}{2(k^{2}+4ik-5)}}$, $c_{4}={\frac {i}{2(-k^{2}+4ik+5)}}$

takže množina řešení

${\begin{aligned}y&=c_{1}y_{1}+c_{2}y_{2}+{\frac {i}{2(k^{2}+4ik-5)}}y_{3}+{\frac {i}{2(-k^{2}+4ik+5)}}y_{4}\\[8pt]&=c_{1}y_{1}+c_{2}y_{2}+{\frac {4k\cos(kx)-(k^{2}-5)\sin(kx)}{(k^{2}+4ik-5)(k^{2}-4ik-5)}}\\[8pt]&=c_{1}y_{1}+c_{2}y_{2}+{\frac {4k\cos(kx)+(5-k^{2})\sin(kx)}{k^{4}+6k^{2}+25}}.\end{aligned}}$

Toto řešení můžeme rozložit na homogenní a nehomogenní složku. Konkrétně $y_{p}={\frac {4k\cos(kx)+(5-k^{2})\sin(kx)}{k^{4}+6k^{2}+25}}$ je partikulární integrál pro nehomogenní diferenciální rovnici a $y_{c}=c_{1}y_{1}+c_{2}y_{2}$ je komplementární řešení odpovídající homogenní rovnici. Hodnoty $c_{1}$ a $c_{2}$ jsou obvykle určeny množinou počátečních podmínek. Protože se jedná o rovnici druhého řádu, pro určení těchto hodnot potřebujeme dvě takové podmínky.

Fundamentální řešení $y_{1}=e^{(2+i)x}$ a $y_{2}=e^{(2-i)x}$ můžeme dále přepsat pomocí Eulerova vzorce:

$e^{(2+i)x}=e^{2x}e^{ix}=e^{2x}(\cos x+i\sin x)$

$e^{(2-i)x}=e^{2x}e^{-ix}=e^{2x}(\cos x-i\sin x)$

Pak $c_{1}y_{1}+c_{2}y_{2}=c_{1}e^{2x}(\cos x+i\sin x)+c_{2}e^{2x}(\cos x-i\sin x)=(c_{1}+c_{2})e^{2x}\cos x+i(c_{1}-c_{2})e^{2x}\sin x$ a vhodná úprava konstant dává jednodušší a srozumitelnější tvar komplementárního řešení, $y_{c}=e^{2x}(c_{1}\cos x+c_{2}\sin x)$.

Reference

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