Secuencia recurrente con exponente
Al trabajar con secuencias recurrentes y funciones generadoras, generalmente no logro resolver una expresión general de $a_n$ para cualquier $n$ cuando la siguiente parte de la secuencia, es decir $a_{n+1}$, tiene la forma de un exponente, tal que $a_n = a_{n-1} +k^{n-1}$, donde k es una constante. No tengo ni idea de cómo abordar este problema.
Resolví la secuencia de Fibonacci restando los dos términos anteriores y cambiando la secuencia, pero no parece funcionar aquí.
Particularmente estoy trabajando con $a_n = 2a_{n-1} + 5^{n-1}$, pero la secuencia se expande extremadamente rápido. El caso base,$a_{0} = 1$.
¡Cualquier ayuda sería apreciada!
Respuestas
Usamos funciones generadoras ordinarias. Dejar$A(x) = \sum_{i=0}^n a_n x^n$. Entonces tenemos (sumando de$n=1$)
\ begin {align} a_n & = 2a_ {n-1} + 5 ^ {n-1}, \\ \ sum_ {n = 1} ^ \ infty a_nx ^ n & = \ sum_ {n = 1} ^ \ infty 2a_ {n-1} x ^ n + \ sum_ {n = 1} ^ \ infty 5 ^ {n-1} x ^ n, \\ A (x) - a_0 & = 2x \ sum_ {n = 1} ^ \ infty a_ {n-1} x ^ {n-1} + x \ sum_ {n = 1} ^ \ infty 5 ^ {n-1} x ^ {n-1}, \\ A (x) - 1 & = 2x \ sum_ {n = 0} ^ \ infty a_ {n} x ^ {n} + x \ sum_ {n = 0} ^ \ infty 5 ^ {n} x ^ {n}, \\ A (x ) - 1 & = 2xA (x) + \ frac {x} {1-5x}, \\ A (x) - 2xA (x) & = \ frac {x} {1-5x} + 1, \\ A (x) & = \ frac {x} {(1-2x) (1-5x)} + \ frac {1} {1-2x}. \\ \ end {align} Ahora usamos descomposición de fracciones parciales y un poco de álgebra para obtener
\ begin {align} A (x) & = \ frac {1} {3 (1-5x)} - \ frac {1} {3 (1-2x)} + \ frac {1} {1-2x} \ \ & = \ frac {1} {3} \ left (\ frac {1} {(1-5x)} + \ frac {2} {(1-2x)} \ right) \\ & = \ frac {1 } {3} \ left (\ sum_ {n = 0} ^ {\ infty} 5 ^ nx ^ n + 2 \ sum_ {n = 0} ^ {\ infty} 2 ^ nx ^ n \ right). \ end {align}
Desde aqui vemos $$a_n = \frac{5^n + 2^{n+1}}{3}.$$
Debido a que el que está trabajando ahora es de primer orden, simplemente puede 'desenrollarlo':
$$\begin{align*} a_n&=2a_{n-1}+5^{n-1}\\ &=2\left(2a_{n-2}+5^{n-2}\right)+5^{n-1}\\ &=2^2a_{n-2}+2\cdot5^{n-2}+5^{n-1}\\ &=2^2\left(2a_{n-3}+5^{n-3}\right)+2\cdot5^{n-2}+5^{n-1}\\ &=2^3a_{n-3}+2^2\cdot5^{n-3}+2\cdot5^{n-2}+5^{n-1}\\ &\;\;\vdots\\ &=2^ka_{n-k}+\sum_{i=0}^{k-1}2^i5^{n-1-i}\\ &\;\;\vdots\\ &=2^na_0+\sum_{i=0}^{n-1}2^i5^{n-1-i}\\ &=2^na_0+5^{n-1}\sum_{i=0}^{n-1}\left(\frac25\right)^i\\ &=2^na_0+5^{n-1}\cdot\frac{1-\left(\frac25\right)^n}{1-\frac25}\\ &=2^na_0+\frac{5^n-2^n}3 \end{align*}$$
Me encanta el telescopio.
Si $a_n = ua_{n-1} + vc^{n} $, entonces $\dfrac{a_n}{u^n} = \dfrac{a_{n-1}}{u^{n-1}} + v(c/u)^{n} $.
Dejar $b_n = \dfrac{a_n}{u^n}$. Entonces $b_n =b_{n-1}+vd^n $ dónde $d = c/u$.
Entonces $b_n-b_{n-1} =vd^n $.
Sumando,
$\begin{array}\\ b_m-b_0 &=\sum_{n=1}^m (b_n-b_{n-1})\\ &=\sum_{n=1}^m vd^n\\ &=v\dfrac{d-d^{m+1}}{1-d}\\ &=vd\dfrac{1-d^{m}}{1-d}\\ \end{array} $
entonces
$\begin{array}\\ \dfrac{a_m}{u^m} &=a_0+vd\dfrac{1-d^m}{1-d}\\ \text{or}\\ a_m &=a_0u^m+\dfrac{vc}{u}u^m\dfrac{1-(c/u)^m}{1-c/u}\\ &=a_0u^m+vc\dfrac{u^m-c^m}{u-c}\\ &=a_0u^m+vc\dfrac{u^m-c^m}{u-c}\\ \end{array} $
En este caso, $u=2, c=5, v = \frac15, a_0 = 1 $ entonces $a_m = 2^m + \dfrac{2^m-5^m}{2-5} = 2^m + \dfrac{5^m-2^m}{3} $.
Esto se puede reescribir como
$\begin{array}\\ a_m &=a_0u^m+vc\dfrac{u^m-c^m}{u-c}\\ &=\dfrac{(u-c)a_0u^m+vc(u^m-c^m)}{u-c}\\ &=\dfrac{(a_0(u-c)+vc)u^m-vc^{m+1}}{u-c}\\ \end{array} $
De nuevo, obtenemos $=\dfrac{(a_0(u-c)+vc)u^m-vc^{m+1}}{u-c} =\dfrac{(-3+1)2^m-5^{m}}{-3} =\dfrac{2\cdot 2^m+5^{m}}{3} $.
Primero hazlo homogéneo.
$$a_n-2a_{n-1} = 5^{n-1} $$ $$a_{n+1}-2a_n = 5^n $$ $$\Rightarrow a_{n+1}-2a_n=5(a_n-2a_{n-1}) \tag 1$$ $$\Rightarrow a_{n+1}-5a_n=2(a_n-5a_{n-1}) \tag 2$$
Tanto (1) como (2) son secuencias geométricas, por lo que
$$ a_{n+1}-2a_n = 5^n (a_1-2a_0) = 5^n (3-2)= 5^n \tag 3 $$ $$ a_{n+1}-5a_n = 2^n (a_1-5a_0) = 2^n (3-5)= -2^{n+1} \tag 4 $$ (3) - (4) $$ a_n = \frac{1}{3} (5^n + 2^{n+1}). \blacksquare $$
(Por favor vea mi publicación https://math.stackexchange.com/questions/3897344/show-that-for-every-positive-integer-f-n-frac-left-frac1-sqrt52-rig/3899525#3899525)