En tilbagevendende formel er en formel af den form , der udtrykker hvert medlem af sekvensen i form af de foregående medlemmer og nummeret på medlemmet af sekvensen .
Den generelle problematik ved beregninger ved hjælp af rekursive formler er genstand for teorien om rekursive funktioner .
En tilbagevendende ligning er en ligning, der forbinder flere på hinanden følgende medlemmer af en bestemt numerisk sekvens. En sekvens, der opfylder en sådan ligning, kaldes en tilbagevendende sekvens .
En lineær tilbagevendende ligning med konstante koefficienter har formen:
Her er ikke-negative heltal, er en sekvens af tal, er konstante tal, , er en given funktion af .
Antag, at en sekvens af tal opfylder en homogen lineær tilbagevendende ligning , hvor er ikke-negative heltal, gives konstante tal og .
Betegn ved sekvensens genererende funktion . Lad os bygge et polynomium . Dette polynomium kan ses som en sekvensgenererende funktion . Overvej produktet af at generere funktioner . Koefficienten ved og er bestemt af relationen og er lig med nul. Det betyder, at polynomiet højst har grad , så graden af tælleren for den rationelle funktion er mindre end nævnerens grad.
Det karakteristiske polynomium i en lineær tilbagevendende ligning kaldes et polynomium . Rødderne til dette polynomium kaldes karakteristiske. Det karakteristiske polynomium kan repræsenteres som , hvor er forskellige karakteristiske rødder, er multiplicitet af karakteristiske rødder, .
Det karakteristiske polynomium og polynomiet er forbundet med relationen . På denne måde
En rationel funktion kan repræsenteres som summen af brøker:
Hver brøk i dette udtryk har formen , så den kan udvides til en potensrække af følgende form
.Koefficienten for i denne serie er lig med
Derfor er den genererende funktion og den generelle løsning af den lineære tilbagevendende ligning, hvor højst er et polynomium i grad .
EksempelLad det kræves at finde en løsning på ligningen med randbetingelser og .
Denne ligning har et karakteristisk polynomium , hvor , . Den generelle løsning har formen . Vi erstatter , vi får . Vi får værdier , . Således .
Der er en formel, der udtrykker det generelle udtryk for en lineær tilbagevendende sekvens i form af rødderne af dets karakteristiske polynomium. For eksempel for Fibonacci-sekvensen er en sådan formel Binets formel . Rekursive formler bruges til at beskrive køretiden for en algoritme, der rekursivt kalder sig selv. I en sådan formel er den tid, der kræves for at løse problemet med inputvolumen , udtrykt som tiden til løsning af hjælpeunderopgaver. [en]