
Systémy lineárních rovnic prvního řádu
Nechť všechny posloupnosti
mají stejný definiční obor. Systém
lineárních diferenčních rovnic (
-rozměrný lineární systém) prvního řádu je soustava rovnic tvaru
|
(52) |
Pokud jsou všechny posloupnosti
nulové, systém se nazývá homogenní, v opačném případě nehomogenní.
Zavedeme vektorové posloupnosti
a maticovou posloupnost
|
Systém rovnice Lineární rovnice (52) můžeme nyní stručně zapsat jako jednu vektorovou rovnici ve tvaru
|
(53) |
Tuto explicitní diferenční rovnici (systém explicitních diferenčních rovnic) prvního typu můžeme zapsat ve tvaru vektorové rekurentní formule (systému rekurentních formulí)
nebo
|
(54) |
Vektorová rovnice Lineární rovnice (53) je -rozměrnou analogií lineární diferenční rovnice prvního řádu Lineární rovnice (6), vektorová rekurentní formule Lineární rovnice (53) je
-rozměrnou analogií rekurentní formule Lineární rovnice (8). Toto pozorování ukazuje, že teorie systémů lineárních diferenčních rovnic je zobecněním teorie lineárních diferenčních rovnic; nebo naopak, teorie lineárních rovnic je speciálním případem teorie lineárních systémů pro
Definice 4.1. Řekneme, že maticová posloupnost je regresivní, pokud pro všechny indexy
zjejího definičního oboru platí, že matice
je regulární.
Označíme a soustavu rekurentních formulí Lineární rovnice (54) přepíšeme ve tvaru
|
(55) |
Nechť je libovolný index z definičního oboru
maticové posloupnosti
takový, že také
Je-li maticová posloupnost
regresivní, pak je matice
regulární a můžeme jednoznačně vypočítat
Tím jsme ukázali, že platí následující
Věta 4.2. Je-li maticová posloupnost regresivní, pak pro každý vektor
má rovnice Lineární rovnice (53) s počáteční podmínkou
jediné řešení, které je definováno na společném definičním oboru maticové posloupnosti
a vektorové posloupnosti
Nehomogenní lineární vektorovou rovnici Lineární rovnice (53) můžeme zřejmě přepsat do tvaru
Z tohoto pozorování je vidět, že řešení nehomogenní -rozměrné rovnice Lineární rovnice (52) můžeme převádět na řešení homogenní
-rozměrné rovnice
|
(56) |
Podrobněji: je-li vektorová posloupnost řešením nehomogenní
-rozměrné rovnice Lineární rovnice (52), pak je posloupnost
řešením rovnice Lineární rovnice (56); je-li vektorová posloupnost řešením homogenní
-rozměrné rovnice Lineární rovnice (56) a má poslední složku identicky rovnu 1, pak je jejich
prvních složek řešením nehomogenní rovnice Lineární rovnice (53).
Analogicky nahlédneme, že řešení -rozměrné nehomogenní lineární rekurentní formule Lineární rovnice (55) lze převádět na řešení
-rozměrné homogenní lineární rekurentní formule
|
(57) |