Nejprve budeme studovat obecné a důležité vlastnosti množiny řešení LRR. Začneme velmi pozitivním a základním pozorováním:
Platí dvě následující tvrzení.
Každá lineární rekurentní rovnice má nějaké řešení.
Je-li dána lineární rekurentní rovnice řádu $k \in \N$ s předepsanými počátečními podmínkami, pak existuje právě jedno řešení této rovnice splňující tyto počáteční podmínky.
Postupně dokažme obě uvedená tvrzení.
Mějme LRR řádu $k \in \N$ tvaru
Zvolme $A_0,\ldots,A_{k-1}$ libovolně a položme $X_{n_0} \ceq A_0$, …, $X_{n_0 + k - 1} \ceq A_{k-1}$. Poté postupně vypočtěme $X_{n_0 + k}$, $X_{n_0 + k +1}$,… pomocí předpisu
Takto zkonstruovaná posloupnost $(X_n)_{n=n_0}^\infty$ je řešením naší LRR.
Jsou-li počáteční podmínky $A_0,\ldots,A_{k-1}$ předepsány, pak z předchozího bodu vidíme, že už jednoznačně udávají hodnoty řešení $X_n$ pro $n \geq n_0 + k$ a tedy jednoznačně udávají i celé řešení (jakožto posloupnost).
$\square$
Dle druhého bodu Věty 6.1 je každé řešení LRR řádu $k$ jednoznačně zadáno počátečními podmínkami (kterých je $k$): shoduje-li se prvních $k$ prvků dvou řešení jedné LRR, pak jsou tato řešení shodná.
Kolik řešení LRR existuje? Jak velká je množina všech řešení zadané LRR? Těmito otázkami se budeme zabývat zanedlouho. Nejprve učiňme důležité pozorování o vztahu řešení různých LRR lišících se pouze pravou stranou, které je obecně charakteristické pro lineární systémy (rozmyslete analogické tvrzení pro soustavy lineárních rovnic).
Uvažme dvě LRR $k$-tého řádu s ne nutně shodnými pravými stranami,
a
pro $n \in \Z$, $n \geq n_0$. Je-li $(X_n)_{n = n_0}^\infty$ řešení rovnice (6.4) a $(Y_n)_{n = n_0}^\infty$ řešení rovnice (6.5), potom pro libovolnou konstantu $\alpha$ je posloupnost $(X_n + \alpha Y_n)_{n = n_0}^\infty$ řešením LRR
Přímočaré dosazení. Proveďte!
$\square$
Než se pustíme do popisu množiny řešení je vhodné připomenout několik pojmů známých z lineární algebry.
Uvažme celočíselné $n_0$ a množinu všech reálných posloupností $(x_n)_{n=n_0}^\infty$, tuto neprázdnou množinu označme $\R^\infty$ (závislost na $n_0$ ve značení potlačujeme, musí být vždy dáno pevně).
Součet dvou posloupností $(x_n)_{n=n_0}^\infty, (y_n)_{n=n_0}^\infty \in \R^\infty$ definujeme jako posloupnost
Skalární násobek posloupnosti $(x_n)_{n=n_0}^\infty \in \R^\infty$ číslem $\alpha \in \R$ definujeme jako posloupnost
Množina $\R^\infty$ vybavená těmito operacemi tvoří vektorový prostor nekonečné dimenze (ověření axiomů: zamyšlení), množina
je LN množina mající nekonečně mnoho členů. Nulovým prvkem v tomto prostoru je nulová posloupnost $\theta = (0)_{n=n_0}^\infty$.
Nyní se dostáváme k ústřední větě, která by vám měla být povědomá z BI-LA1 (Frobeniova věta).
Mějme LRR řádu $k \in \N$ tvaru
a označme množinu všech jejích řešení symbolem $S$ a množinu všech řešení přidružené homogenní rovnice symbolem $S_0$. Potom platí následující tvrzení:
Množina $S_0$ je vektorový prostor dimenze $k$.
Množina $S$ je tvaru $S = (\tilde{x}_n)_{n=n_0}^\infty + S_0$, kde $(\tilde{x}_n)_{n=n_0}^\infty$ je (partikulární) řešení rovnice (6.6).
Než se pustíme do důkazu této ústřední věty, tak vypíchněme její přímočaré důležité důsledky:
Pokud máme dvě řešení jedné homogenní LRR, pak i jejich součet je řešení té samé homogenní LRR.
Pokud máme jedno řešení jedné homogenní LRR, pak i jeho konstantní násobek je řešením té samé homogenní LRR.
Při hledání všech řešení zadané LRR je potřeba umět hledat všechna řešení přidružené homogenní rovnice a nějaká partikulární řešení.
Již víme, že množina $S_0$ je neprázdná, viz Větu 6.1.
Dokažme nyní uzavřenost množiny $S_0$ vůči algebraickým operacím. Uvažme dvě řešení $(x_n)_{n=n_0}^\infty$ a $(y_n)_{n=n_0}^\infty$ přidružené homogenní rovnice k rovnici (6.6), tedy dva prvky $S_0$, a libovolné $\alpha \in \R$. Potom pro prvky posloupnosti $(x_n + \alpha y_n)_{n=n_0}^\infty$ platí
Tudíž i $(x_n + \alpha y_n)_{n=n_0}^\infty \in S_0$.
Zkonstruujme bázi $S_0$ mající $k$ členů. Označme jako $(X^{(i)}_n)_{n=n_0}^\infty$, $i = 0,1,\ldots, k-1$, prvek $S_0$ s počátečními podmínkami $X^{(i)}_{n_0 + j} = \delta_{ij}$, $i,j=0,1,\ldots,k-1$. Těchto vektorů je tedy $k$.
Soubor těchto $k$ vektorů generuje $S_0$: je-li $(x_n)_{n=n_0}^\infty$ libovolné řešení z $S_0$, pak díky linearitě jistě platí
Dále je tento soubor i lineárně nezávislý: dává-li lineární kombinace výše nulovou posloupnost, pak pro koeficienty lineární kombinace nutně platí $x_{n_0 + i} = 0$ pro $i = 0,1,\ldots,k-1$.
$\square$
Mějme partikulární řešení $(\tilde{x}_n)_{n=n_0}^\infty$ LRR (6.6). Chceme ukázat rovnost
Ukážeme proto dvě inkluze.
$\subset$: Uvažme $(x_n)_{n=n_0}^\infty \in S$ a položme $y_n \ceq x_n - \tilde{x}_n$, $n \geq n_0$. Potom platí
a
Tudíž, $(y_n)_{n=n_0}^\infty \in S_0$.
$\supset$: Je-li $(x_n)_{n=n_0}^\infty = (\tilde{x}_n)_{n=n_0}^\infty + (y_n)_{n=n_0}^\infty$ pro nějaké $(y_n)_{n=n_0}^\infty \in S_0$, pak
a proto $(x_n)_{n=n_0}^\infty \in S$.
$\square$
Demonstrujme znění předchozí věty na případě geometrické posloupnosti.
V Příkladu 6.4 jsme ukázali, že pro dané $q \in \R$ je řešením LRR prvního řádu
posloupnost tvaru $x_n = \alpha \cdot q^{n}$, $n \in \N_0$, kde $\alpha \in \R$ je nějaká konstanta.
V tomto případě proto pro množinu všech řešení této LRR platí
jde o jednodimenzionální podprostor $\R^\infty$.
Řadu dalších příkladů si ukážeme v další části této kapitoly, až vybudujeme nástroje pro systematické řešení LRR s konstantními koeficienty.
V této podkapitole by měl být patrný velmi blízký kontakt s lineární algebrou. Samotnou LRR
lze formulovat pomocí tzv. matice přechodu v následujícím maticovém tvaru
pro $n \geq n_0$, kde
Další souvislosti mezi LRR a lineární algebrou uvidíme v dalších částech této kapitoly.
LRR zkoumané v předchozím textu jsou stále ještě příliš obecné, jejich řešení nemusí být snadno vyjádřitelné v uzavřeném tvaru. Provedeme ještě jedno omezení třídy rekurentních rovnic, které se budeme snažit vyřešit.
Lineární rekurentní rovnice řádu $k \in \N$ s konstantními koeficienty je lineární rekurentní rovnice řádu $k$ tvaru
kde $n_0 \in \Z$ a $c_{i} \in \R$, $i = 0,1,\ldots,k-1$, $c_0 \neq 0$, jsou zadané konstanty a $(b_n)_{n=n_0}^\infty$ je zadaná posloupnost.
Každá lineární rekurentní rovnice s konstantními koeficienty (Definice 6.4) je speciálním případem lineární rekurentní rovnice (Definice 6.1) a platí o ní vše co jsme zatím zmínili v předchozí části této kapitoly.
Pokusme se najít řešení přidružené homogenní rovnice k rovnici (6.8) ve tvaru $x_n = \lambda^n$, kde $\lambda$ je zatím neznámý nenulový parametr. Po dosazení a pokrácení dostaneme rovnice
Tím jsme se zcela zbavili závislosti na $n$ a pokud najdeme kořeny tohoto polynomu stupně $k$, pak najdeme i řešení naší homogenní LRR! Zavádíme proto následující pojem.
Následuje výčet ukázkových dvojic LRR s konstantními koeficienty a jejích charakteristických polynomů:
Všimněte si, že v případě LRR s nekonstantními koeficienty tento přístup, tj. hledání řešení ve tvaru $\lambda^n$, takto jednoduše aplikovat nemůžeme: koeficienty by stále závisely na $n$, neměli bychom jeden polynom pro danou LRR.
Pojďme nyní systematicky řešit LRR s konstantními koeficienty.
Lineární rekurentní rovnice řádu $k \in \N$ (zkráceně LRR) je rovnice tvaru
kde $n_0 \in \Z$ a $(c_{i,n})_{n=n_0}^\infty$, $i = 0,1,\ldots,k-1$, (tzv. koeficienty rovnice) a $(b_n)_{n=n_0}^\infty$ (tzv. pravá strana rovnice) jsou zadané posloupnosti a posloupnost $(c_{0,n})_{n=n_0}^\infty$ není nulová posloupnost. Jestliže $b_n = 0$ pro každé $n \geq n_0$, pak se příslušná rovnice nazývá homogenní. Přidruženou homogenní rovnicí k rovnici (6.2) nazýváme LRR se stejnými koeficienty a nulovou pravou stranou ($b_n = 0$ pro každé $n \geq n_0$).