n-ésimo elemento de la relación de recurrencia

Question

Quiero encontrar la fórmula para el n-ésimo elemento de una secuencia introducida recursivamente utilizando funciones generadoras. Es así $$a_{1} = 0, a_{2} = 1, a_{n+2} = a_{n+1} + a_{n} + 2$$

Reescribo esto en funciones generadoras como ésta:

$$a(x) = x(a(x)) + x^{2}(a(x)) + \frac{2}{1-x}-x-2$$

Entonces termino con

$$ a(x) = -\frac{x}{-x^{2}-x+1}$$

Quiero dividir esto en fracciones parciales, pero las raíces del denominador son $$x_{1} = \frac{1+\sqrt{5}}{2}, x_{2} = \frac{1-\sqrt{5}}{2}$$

El problema es que no puedo dividirlo y si pudiera no podría decir qué secuencia se genera generando funciones como $$ \frac{A}{x + \frac{1+\sqrt{5}}{2}}, \frac{B}{x + \frac{1-\sqrt{5}}{2}} $$

Agradecería cualquier ayuda. Gracias de antemano.

Answer 1

Como casi siempre, el problema está en ser muy preciso con los índices. Empiece por $$f(x)=\sum\limits_{n=1}a_nx^{n-1}=a_1+a_2x+\sum\limits_{n=3}a_nx^{n-1}=\\ x+\sum\limits_{n=3}(a_{n-1}+a_{n-2}+2)x^{n-1}= x+\sum\limits_{n=3}a_{n-1}x^{n-1}+\sum\limits_{n=3}a_{n-2}x^{n-1}+2\sum\limits_{n=3}x^{n-1}=\\ x+\sum\limits_{n=2}a_{n}x^{n}+\sum\limits_{n=1}a_{n}x^{n+1}+2\sum\limits_{n=2}x^{n}=\\ x+x\sum\limits_{n=2}a_{n}x^{n-1}+x^2\sum\limits_{n=1}a_{n}x^{n-1}+2\sum\limits_{n=2}x^{n}=\\ x+x(f(x)-0)+x^2f(x)+2\left(\frac{1}{1-x}-x-1\right)$$

que conduce a $$f(x)(1-x-x^2)=x+\frac{2x^2}{1-x}=\frac{x+x^2}{1-x}$$ o $$\color{red}{f(x)=\frac{x+x^2}{(1-x)(1-x-x^2)}}=-\frac{x+x^2}{(1-x)\left(x+\frac{1+\sqrt{5}}{2}\right)\left(x+\frac{1-\sqrt{5}}{2}\right)}=...$$ Vamos nota por $\varphi=\frac{1+\sqrt{5}}{2}$ y $\psi=\frac{1-\sqrt{5}}{2}$ $$...=-\frac{1}{\sqrt{5}(1+\psi)(x+\psi)} + \frac{1}{\sqrt{5}(1+\varphi)(x+\varphi)} - \frac{2}{(1+\psi)(1+\varphi)(1-x)}=\\ -\frac{1}{\sqrt{5}\psi(1+\psi)\left(1+\frac{x}{\psi}\right)} + \frac{1}{\sqrt{5}\varphi(1+\varphi)\left(1+\frac{x}{\varphi}\right)} - \frac{2}{(1+\psi)(1+\varphi)(1-x)}=\\ -\frac{1}{\sqrt{5}\psi(1+\psi)}\sum\limits_{n=1}\left(-\frac{x}{\psi}\right)^{n-1}+\frac{1}{\sqrt{5}\varphi(1+\varphi)}\sum\limits_{n=1}\left(-\frac{x}{\varphi}\right)^{n-1}-\frac{2}{(1+\psi)(1+\varphi)}\sum\limits_{n=1}x^{n-1}=\\ \sum\limits_{n=1}\left(-\frac{1}{\sqrt{5}\psi(1+\psi)}\cdot \left(-\frac{1}{\psi}\right)^{n-1} +\frac{1}{\sqrt{5}\varphi(1+\varphi)}\cdot \left(-\frac{1}{\varphi}\right)^{n-1} -\frac{2}{(1+\psi)(1+\varphi)} \right)x^{n-1}$$ así $$\color{red}{a_n=}-\frac{1}{\sqrt{5}\psi(1+\psi)}\cdot \left(-\frac{1}{\psi}\right)^{n-1} +\frac{1}{\sqrt{5}\varphi(1+\varphi)}\cdot \left(-\frac{1}{\varphi}\right)^{n-1} -\frac{2}{(1+\psi)(1+\varphi)}=\\ \color{red}{\left(1+\frac{2}{\sqrt{5}}\right)\cdot \left(-\frac{1}{\psi}\right)^{n-1} +\left(1-\frac{2}{\sqrt{5}}\right)\cdot \left(-\frac{1}{\varphi}\right)^{n-1} -2}$$ y para confirmar $$a_1=\left(1+\frac{2}{\sqrt{5}}\right)\cdot 1 +\left(1-\frac{2}{\sqrt{5}}\right)\cdot 1 -2=0$$ $$a_2=\left(1+\frac{2}{\sqrt{5}}\right)\cdot \left(-\frac{1}{\psi}\right) +\left(1-\frac{2}{\sqrt{5}}\right)\cdot \left(-\frac{1}{\varphi}\right) -2=1$$ $$a_3=3$$