O formulă recurentă este o formulă a formei care exprimă fiecare membru al secvenței în termeni de membri anteriori și numărul membrului secvenței .
Problematica generală a calculelor folosind formule recursive este subiectul teoriei funcţiilor recursive .
O ecuație recurentă este o ecuație care conectează mai mulți membri consecutivi ai unei anumite secvențe numerice. O secvență care satisface o astfel de ecuație se numește o secvență recurentă .
O ecuație liniară recurentă cu coeficienți constanți are forma:
Aici sunt numere întregi nenegative, este o succesiune de numere, sunt numere constante, , este o funcție dată a .
Să presupunem că o secvență de numere satisface o ecuație omogenă liniară recurentă , unde sunt numere întregi nenegative, sunt date numere constante și .
Se notează prin funcția generatoare a secvenței . Să construim un polinom . Acest polinom poate fi privit ca o funcție generatoare de secvențe . Luați în considerare produsul de generare a funcțiilor . Coeficientul la și este determinat de relația și este egal cu zero. Aceasta înseamnă că polinomul are gradul cel mult , deci gradul numărătorului funcției raționale este mai mic decât gradul numitorului.
Polinomul caracteristic al unei ecuații liniare recurente se numește polinom . Rădăcinile acestui polinom se numesc caracteristice. Polinomul caracteristic poate fi reprezentat ca , unde sunt diferite rădăcini caracteristice, sunt multiplicități de rădăcini caracteristice, .
Polinomul caracteristic și polinomul sunt legate prin relația . În acest fel,
O funcție rațională poate fi reprezentată ca o sumă de fracții:
Fiecare fracție din această expresie are forma , deci poate fi extinsă într-o serie de puteri de următoarea formă
.Coeficientul pentru în această serie este egal cu
Prin urmare, funcția generatoare și este soluția generală a ecuației liniare recurente, unde este un polinom în grad cel mult .
ExempluFie necesar să se găsească o soluție la ecuația cu condiții la limită și .
Această ecuație are un polinom caracteristic , unde , . Soluția generală are forma . Înlocuind , obținem , . Primim valori , . Astfel .
Există o formulă care exprimă termenul general al unei secvențe liniare recurente în termenii rădăcinilor polinomului său caracteristic. De exemplu, pentru șirul lui Fibonacci, o astfel de formulă este formula lui Binet . Formulele recursive sunt folosite pentru a descrie timpul de rulare al unui algoritm care se autoinvocă recursiv. Într-o astfel de formulă, timpul necesar pentru rezolvarea problemei cu volumul de intrare este exprimat în termeni de timp pentru rezolvarea subsarcinilor auxiliare. [unu]