Si $$ a / (a + bz + cz ^ 2) = 1 + p_1z + p_2z ^ 2 + \ puntos $$ entonces $$ 1 + p_1 ^ 2z + p_2 ^ 2z ^ 2 + \ dots = \ frac {a + cz } {a-cz} \ frac {a ^ 2} {a ^ 2- (b ^ 2-2ac) z + c ^ 2z ^ 2} $$ Un problema difícil de "A Course in Pure Mathematics" de GHHardy, o tal vez Me falta lo obvio. Cualquier ayuda será muy apreciada.
Respuestas
¿Demasiados anuncios?
Si $\alpha,\beta$ son raíces de $az^2+bz+c$ entonces tenemos $(a+bz+cz^2)/a=(1-\alpha z)(1-\beta z)$, por lo que $$ p_n=\alpha^n+\alpha^{n-1}\beta+\dots+\alpha\beta^{n-1}+\beta^n=\frac{\alpha^{n+1}-\beta^{n+1}}{\alpha-\beta} $$ Así $$ p_n^2=\frac{1}{(\alpha\beta)^2}\left[\alpha^{2n+2}-2\alpha^{n+1}\beta^{n+1}+\beta^{2n+2}\right] $$ así $$ \begin{align*} \color{red}{(\alpha-\beta)^2}\sum_{n=0}^\infty p_n^2z^n &=\sum_{n=0}^\infty \alpha^{2n+2}z^n-2\sum_{n=0}^\infty (\alpha\beta)^{n+1}z^n+\sum_{n=0}^\infty\beta^{2n+2}z^n\\ &=\frac{\alpha^2}{1-\alpha^2z}-\frac{2\alpha\beta}{1-\alpha\beta z}+\frac{\beta^2}{1-\beta^2z}\\ &=\frac{\alpha^2+\beta^2-2\alpha^2\beta^2z}{(1-\alpha^2z)(1-\beta^2z)}-\frac{2\alpha\beta}{1-\alpha\beta z}\\ &=\frac{\color{red}{(\alpha-\beta)^2}(1+\alpha\beta z)}{(1-\alpha^2z)(1-\beta^2z)(1-\alpha\beta z)} \end{align*} $$ Así $$ \sum_{n=0}^\infty p_n^2z^n=\frac{1+\alpha\beta z}{(1-(\alpha^2+\beta^2)z+\alpha^2\beta^2z^2)(1-\alpha\beta z)} $$ y esto funciona incluso para el caso limitante $\alpha=\beta$. Sustituyendo $\alpha\beta=\dfrac ca$ e $\alpha^2+\beta^2=\dfrac{b^2-2ac}{a^2}$da $$ \begin{align*} \sum_{n=0}^\infty p_n^2z^n&=\frac{1+\dfrac{c}{a}z}{\left(1-\left(\dfrac{b^2-2ac}{a^2}\right)z+\dfrac{c^2}{a^2}z^2\right)\left(1-\dfrac{c}{a} z\right)}\\ &=\frac{a+cz}{a-cz}\frac{a^2}{a^2-(b^2-2ac)z+c^2z^2}\\ \end{align*} $$
Blair Gibson
Puntos
16
Si empezamos con la función original, podemos reformular está muy bien como $$ \frac{a}{a+bz+cz^2} = \frac{1}{1+(\frac{b}{a})z+(\frac{c}{a})z^2} = \frac{1}{(1-\frac{z}{z_+})(1-\frac{z}{z_-})} = \frac{z_+}{(z_+-z_-)} \frac{1}{(1-\frac{z}{z_-})} - \frac{z_-}{(z_+-z_-)} \frac{1}{(1-\frac{z}{z_+})} $$ con $z_\pm$ las raíces del denominador, es decir, $$ z_\pm = \frac{- b \pm \sqrt{b^2 - 4 a c}}{2 c} $$ Si ampliamos las dos expresiones de la izquierda como una serie en $z$, obtenemos $$ \frac{z_+}{(z_+-z_-)} \frac{1}{(1-\frac{z}{z_-})} = \sum_{n\geq0} l_n z^n \quad \text{ con } \quad l_n = \frac{z_+}{(z_+-z_-)} \frac{1}{z_-^n} $$ $$ \frac{z_-}{(z_+-z_-)} \frac{1}{(1-\frac{z}{z_+})} = \sum_{n\geq0} r_n z^n \quad \text{ con } \quad r_n = \frac{z_-}{(z_+-z_-)} \frac{1}{z_+^n} $$ y, por tanto, identificamos $p_n=l_n-r_n$ para $n\geq0$. Ahora vamos a construir una serie con los coeficientes de $p_n^2 = (l_n-r_n)^2$. Es relativamente fácil reconocer que podemos hacer de las siguientes identificaciones $$ \sum_{n\geq0} l_n^2 z^n = \frac{z_+^2}{(z_+-z_-)^2} \frac{1}{(1-\frac{z}{z_-^2})} $$ $$ \sum_{n\geq0} r_n^2 z^n = \frac{z_-^2}{(z_+-z_-)^2} \frac{1}{(1-\frac{z}{z_+^2})} $$ $$ \sum_{n\geq0} l_n r_n z^n = \frac{z_+ z_-}{(z_+-z_-)^2} \frac{1}{(1-\frac{z}{z_+ z_-})} $$ y, por tanto, que la serie $$ \sum_{n\geq0} p_n^2 z^n = \frac{1}{(z_+-z_-)^2} \left(\frac{z_+^2}{(1-\frac{z}{z_-^2})} + \frac{z_-^2}{(1-\frac{z}{z_+^2})} - \frac{2 z_+ z_-}{(1-\frac{z}{z_+ z_-})}\right) = \frac{z_+^2 z_-^2 (z_+ z_- + z)}{(z_+ z_- -z)(z_-^2 - z)(z_+^2 - z)} $$ Usando ese $z_+ z_- = a/c$ e $z_+^2+z_-^2=(b^2-2 ac)/c^2$ a continuación, se deduce que $$ \sum_{n\geq0} p_n^2 z^n = \frac{a+c z}{a - c z} \frac{a^2}{a^2 - b^2-2ac)z + c^2 z^2} $$
