Rekurentní formule je formule, která vyjadřuje každý člen posloupnosti v podmínkách předchozích členů a čísla člena posloupnosti .
Obecná problematika výpočtů pomocí rekurzivních vzorců je předmětem teorie rekurzivních funkcí .
Rekurentní rovnice je rovnice, která spojuje několik po sobě jdoucích členů určité číselné posloupnosti. Posloupnost, která splňuje takovou rovnici, se nazývá rekurentní posloupnost .
Lineární rekurentní rovnice s konstantními koeficienty má tvar:
Zde jsou nezáporná celá čísla, je posloupnost čísel, jsou konstantní čísla, , je daná funkce .
Předpokládejme, že posloupnost čísel splňuje homogenní lineární rekurentní rovnici , kde jsou nezáporná celá čísla, jsou dána konstantní čísla a .
Označme generující funkcí posloupnosti . Pojďme sestavit polynom . Tento polynom může být viděn jako posloupnost generující funkce . Zvažte součin generování funkcí . Koeficient at a je určen vztahem a je roven nule. To znamená, že polynom má stupeň nejvýše , takže stupeň čitatele racionální funkce je menší než stupeň jmenovatele.
Charakteristický polynom lineární rekurentní rovnice se nazývá polynom . Kořeny tohoto polynomu se nazývají charakteristické. Charakteristický polynom může být reprezentován jako , kde jsou různé charakteristické kořeny, jsou násobky charakteristických kořenů, .
Charakteristický polynom a polynom spolu souvisí vztahem . Takto,
Racionální funkce může být reprezentována jako součet zlomků:
Každý zlomek v tomto výrazu má tvar , takže jej lze rozšířit na mocninnou řadu následujícího tvaru
.Koeficient pro v této řadě je roven
Proto je generující funkce a obecným řešením lineární rekurentní rovnice, kde je polynom ve stupni nejvýše .
PříkladNechť je požadováno najít řešení rovnice s okrajovými podmínkami a .
Tato rovnice má charakteristický polynom , kde , . Obecné řešení má tvar . Nahrazením dostaneme , . Dostáváme hodnoty , . Tedy .
Existuje vzorec, který vyjadřuje obecný člen lineární rekurentní posloupnosti z hlediska kořenů jejího charakteristického polynomu. Například pro Fibonacciho sekvenci je takovým vzorcem Binetův vzorec . Rekurzivní vzorce se používají k popisu doby běhu algoritmu, který rekurzivně volá sám sebe. V takovém vzorci je čas potřebný k vyřešení úlohy se vstupním objemem vyjádřen časem na řešení pomocných dílčích úloh. [jeden]