Successió recurrent lineal

En matemàtiques, s'anomena successió recurrent lineal d'ordre p, a tota successió amb valors en un cos K (generalment $ℂ$ o $ℝ$) definida per a tot $no\ge n_0$ per la relació de recurrència següent :

$a_0$, $a_1$, …, $a_{p-1}$ sent p escalars fixats de K ($a_0$ no nuls), per a tot $no\ge n_0$, es té

$u_{n+p}=a_0{u}_n+a_1{u}_{n+1}+\cdots +a_{p-1}{u}_{n+p-1}$

Tal successió està completament determinada pels valors dels p primers termes de la successió i per la relació de recurrència.

Les successions recurrents lineals d'ordre 1 s'anomenen més simplement successions geomètriques de raó $a_0$. En relació amb les successions recurrents lineals d'ordre 2, Es pot expressar el seu terme general sense haver que recórrer a la recurrència, més precisament fent servir només els dos primers termes, alguns valors constants, algunes operacions elementals de l'aritmètica (addició, subtracció, multiplicació, exponencial) i les funcions sinus i cosinus. Una de les successions d'aquest tipus és la molt cèlebre successió de Fibonacci que es pot expressar a partir de potències fent intervenir la secció àuria. L'estudi de les successions recurrents lineals d'ordre p apel·la a la noció d'espai vectorial i al càlcul matricial.

Successió recurrent lineal d'ordre 1

Plantilla:Article principal Si la relació de recurrència és $u_{n+1}=q{u}_n$, el terme general és $u_n=u_{n_0}{q}^{n-n_0}$

Successió recurrent lineal d'ordre 2

Sien a i b sent dos escalars fixats de K amb b no nul, la relació de recurrència és

$u_{n+2}=a{u}_{n+1}+b{u}_n$ (R)

Es demostrarà que el terme general de tal successió és

• $\lambda r_1^n+\mu r_2^n$ si $r_1$ i $r_2$ són les dues arrels diferents del polinomi $X^2-aX-b$
• $(\lambda +\mu n)r_0^n$ si $r_0$ és arrel doble del polinomi $X^2-aX-b$
• $(\lambda \cos (n\theta )+\mu \sin (n\theta )){\rho }^n$ per a una successió real quan $\rho e^{i\theta }$ i $\rho e^{-i\theta }$ són les dues arrels complexes (no reals) del polinomi $X^2-aX-b$

No es perd la generalitat de la successió suposant que aquesta està definida sobre tot $\mathbb{N}$ i no només a partir de $n_0$. En efecte, si una successió (u) no està definida més que a partir de $n_0$, indueix la creació d'una successió (v) definida sobre $\mathbb{N}$ posant $v_n=u_{n+n_0}$.

La idea és llavors de cercar successions geomètriques que verifiquin la recurrència (R). És a Dir buscar escalars r tals que la successió $(r^n{)}_{n\in \mathbb{N}}$ verifica (R). Es demostra fàcilment que aquest problema equival a resoldre l'equació de segon grau $r^2-ar-b=0$. El polinomi $r^2-ar-b$ s'anomena llavors el polinomi característic de la successió. El seu discriminant és $\mathrm{\Delta }=a^2+4b$. Cal distingir llavors diversos casos, segons el nombre d'arrels del polinomi característic.

Si el polinomi posseeix dues arrels reals diferents

Siguin $r_1$ i $r_2$ les dues arrels diferents. Les successions $(r_1^n{)}_{n\in \mathbb{N}}$ i $(r_2^n{)}_{n\in \mathbb{N}}$ verifiquen (R) així com tota successió de la qual el terme general seria $\lambda r_1^n+\mu r_2^n$ (això manté al caràcter lineal recurrència). Llavors s'han trobat totes les successions que verifiquen (R) ? Una successió que verifica (R) queda completament determinada per la dada de $u_0$ i $u_1$, n'hi ha prou de demostrar que hom pot sempre trobar $\lambda$ i $\mu$ solucions del sistema

$\{\begin{array}{c}\lambda +\mu =u_0\\ \lambda r_1+\mu r_2=u_1\end{array}$

Ara bé aquest sistema té per determinant $r_2-r_1$ no nul. És doncs sempre possible expressar una successió verificant (R) com a combinació lineal successions $(r_1^n{)}_{n\in \mathbb{N}}$ i $(r_2^n{)}_{n\in \mathbb{N}}$

Aquesta situació es produeix per a tota successió amb valors reals per a la qual el discriminant $\mathrm{\Delta }=a^2+4b$ és estrictament positiu, o per a tota successió amb valors acomplexes per a la qual discriminant és no nul.

Si el polinomi posseeix una arrel doble

Si el discriminant és nul, el problema és diferent, ja que no es troba més que un sol valor $r_0$, per tant una sola família de successions geomètriques $(\lambda r_0^n{)}_{n\in \mathbb{N}}$ que verifiquen (R). La idea consisteix llavors a cercar les successions $({\lambda }_n{)}_{n\in \mathbb{N}}$ tals que, per a tot enter n, $u_n={\lambda }_n{r}_0^n$ amb $(u_n{)}_{n\in \mathbb{N}}$ que verifiqui (R). Aquest mètode s'anomena el mètode de variació de la constant. S'assegura en principi l'existència de la successió $({\lambda }_n{)}_{n\in \mathbb{N}}$ que verifica que $r_0$ no és mai nul. La relació de recurrència sobre $(u_n{)}_{n\in \mathbb{N}}$ es tradueix per una relació de recurrència sobre $({\lambda }_n{)}_{n\in \mathbb{N}}$:

$r_0^2{\lambda }_{n+2}=a{r}_0{\lambda }_{n+1}+b{\lambda }_n$

Llavors fent servir el fet que $a^2+4b=0$ i que $r_0=\frac{a}{2}$, s'obté la relació característica de tota successió aritmètica:

${\lambda }_{n+2}-{\lambda }_{n+1}={\lambda }_{n+1}-{\lambda }_n$

La successió $({\lambda }_n{)}_{n\in \mathbb{N}}$ és per tant una Progressió aritmètica de terme general

${\lambda }_n=\lambda +\mu n$.

Les successions $(u_n{)}_{n\in \mathbb{N}}$ que verifiquen (R) tenen llavors per terme general:

$u_n=(\lambda +\mu n)r_0^n$.

Aquest resultat s'aplica per a successions amb valors reals o complexes per a les quals el discriminant del polinomi característic és nul.

Si el polinomi no posseeix cap arrel real

És el cas de les successions amb valors reals per a les quals el discriminant del polinomi característic és estrictament negatiu. Llavors l'equació de segon grau posseeix en $ℂ$ dues arrels conjugades.

$r_1=\rho e^{i\theta }$ i $r_2=\rho e^{-i\theta }$.

Les successions de terme general $A{\rho }^n{e}^{in\theta }+B{\rho }^n{e}^{-in\theta }$ són successions complexes que verifiquen (R). Entre aquestes, aquelles per a les quals A i B són conjugats, són successions reals. Per tant, les successions de terme general

$u_n=(\lambda \cos (n\theta )+\mu \sin (n\theta )){\rho }^n$

són successions reals que verifiquen (R) (s'ha pres $A=\lambda /2-i\mu /2$). Llavors s'han trobat totes les successions que verifiquen (R)? Una successió que verifica (R) està completament determinada pel valor de $u_0$ i $u_1$, n'hi ha prou de demostrar només que hom pot sempre trobar $\lambda$ i $\mu$ solucions del sistema

$\{\begin{array}{c}\lambda =u_0\\ \lambda \rho \cos (\theta )+\mu \rho \sin (\theta )=u_1\end{array}$

Ara bé aquest sistema té per determinant $\rho \sin (\theta )$ no nul. És per tant sempre possible expressar una successió que verifica (R) com a combinació lineal de les successions $({\rho }^n\cos (n\theta ){)}_{n\in \mathbb{N}}$ i $({\rho }^n\sin (n\theta ){)}_{n\in \mathbb{N}}$.

Successió recurrent d'ordre p

Subespai vectorial de dimensió p

Si s'anomena $(R_p)$ la relació de recurrència:

per a tot enter n, $u_{n+p}=a_0{u}_n+a_1{u}_{n+1}+\cdots +a_{p-1}{u}_{n+p-1}$

i si s'anomena $E_{R_p}$, el conjunt de les successions amb valors a K i que verifiquen $(R_p)$, es demostra que $E_{R_p}$ és un subespai vectorial de l'espai vectorial de les successions amb valors a K. Això és degut a la linearitat de la relació de recurrència.

A més, aquest subespai vectorial és de dimensió p. En efecte, existeix un isomorfisme d'espais vectorials entre $E_{R_p}$ i l'espai vectorial $K^p$: a cada successió (u ) de $E_{R_p}$, s'associa el p_uplet $(u_0,u_1,\cdots ,u_{p-1})$. N'hi ha prou llavors amb conèixer una família lliure de p successions que verifiquin $(R_p)$, llavors el conjunt $E_{R_p}$ és engendrat per aquesta família lliure.

Terme general

La cerca del terme general i de les successions particulars s'efectua treballant sobre $K^p$. A cada successió $(u_n{)}_{n\in \mathbb{N}}$ s'associa la successió $(U_n{)}_{n\in \mathbb{N}}$ tal que

$U_n=(u_n,u_{n+1},\cdots ,u_{n+p-1})$

La relació de recurrència sobre $(u_n{)}_{n\in \mathbb{N}}$ indueix una relació de recurrència sobre $(U_n{)}_{n\in \mathbb{N}}$

$U_{n+1}=A{U}_n$

on

$A=\left(\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ ⋮& \ddots & \ddots & \cdots & ⋮\\ 0& \cdots & \cdots & 0& 1\\ a_0& a_1& \cdots & \cdots & a_{p-1}\end{array}\right)$

Llavors el terme general de la successió U està determinat per

$U_n=A^n{U}_0$

Llavors el problema sembla resolt. Però l'autèntica dificultat consisteix en calcular $A^n$... Es prefereix determinar més aviat una base de $E_{R_p}$.

Cerca d'una base

El polinomi característic de la matriu A és $P(X)=X^p-\sum _{i=0}^{p-1}{a}_i{X}^i$. No és per atzar si es troba per caracteritzar les successions $u=(u_n{)}_{n\in \mathbb{N}}$ que verifiquen $R_p$.

Es nota f la transformació lineal que, a una successió $u=(u_n{)}_{n\in \mathbb{N}}$ associa la successió $v=(v_n{)}_{n\in \mathbb{N}}$ definida per $v_n=u_{n+1}$. La condició u verifica $R_p$ s'ha traduït llavors per P(f)(u) = 0. El conjunt $E_{R_p}$ és per tant el nucli de P(f). Si P és un polinomi escindit en K (el que és sempre verdader si $K=ℂ$), existeixen k arrels $r_1,r_2,\cdots ,r_k$ i k exponents ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_k$ tals que $P=\prod _{i=1}^k(X-r_i{)}^{{\alpha }_i}$. El nucli de P(f) és llavors la suma directa dels nuclis dels $(f-r_{i}Id{)}^{{\alpha }_i}$. N'hi ha prou doncs amb trobar una base de cadascun d'aquests nuclis per determinar una base de $E_{R_p}$.

Es pot demostrar que tota successió de terme general $Q(n)r_i^n$ és un element del nucli de $(f-r_{i}Id{)}^{{\alpha }_i}$ per poc que el grau de Q sigui inferior estrictament a ${\alpha }_i$. Aquesta demostració es fa per recurrència sobre ${\alpha }_i$. Com que les successions $(n^j{r}_i^n{)}_{n\in \mathbb{N}}$, per a j = 0 a ${\alpha }_i-1$ formen una familia lliure de ${\alpha }_i$ elements, la família de totes les successions $(n^j{r}_i^n{)}_{n\in \mathbb{N}}$, per a j = 0 a ${\alpha }_i-1$ i per a i = 1 a k formen una família lliure de ${\alpha }_1+{\alpha }_2+\cdots +{\alpha }_k=p$ elements de $E_{R_p}$ (de dimensió p) per tant una base de $E_{R_p}$. Els elements de $E_{R_p}$ són per tant sumes de successions el terme general de les quals és $Q(n)r_i^n$ amb grau de Q estrictament inferior a ${\alpha }_i$.

Tornada a la recurrència d'ordre 2

Si el polinomi característic s'escindeix en $(X-r_1)(X-r_2)$ (on $r_1\ne r_2$) llavors els polinomis Q són de grau 0 i els elements de $E_{R_2}$ són successions el terme general de les quals és ${\lambda }_1{r}_1^n+{\lambda }_2{r}_2^n$.

Si el polinomi característic s'escindeix en $(X-r_0{)}^2$ llavors els polinomis Q són de grau 1 i els elements de $E_{R_2}$ són successions el terme general de les quals és $({\lambda }_{1}n+{\lambda }_2)r_0^n$.