Autor Tema: Convergencia asintótica de cierta sucesión

0 Usuarios y 1 Visitante están viendo este tema.

03 Mayo, 2020, 10:09 am
Leído 170 veces

Eparoh

  • Aprendiz
  • Mensajes: 242
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola a todos, en el siguiente artículo de Henri Cohen, en el "THEOREME 1", pág. 6, se dice que es fácil demostrar conociendo que la sucesión
\( a_n=\sum_{k=0}^n \binom{n}{k}^2 \binom{n+k}{k}^2 \)
satisface la recurrencia
\( (n+1)^3 u_{n+1}-(34n^3+51n^2+27n+5)u_n+n^3 u_{n-1} \)
que existe una constante \( A>0 \) tal que
\( a_n \sim A \alpha^n n^{-3/2} \)
donde $\alpha=(1+\sqrt(2))^4$ es la mayor raíz del polinomio $x^2-34x+1$.

Llevo meses ya dándole vueltas a ésto y aunque entiendo que de alguna forma ésto está relacionado con que los términos "dominantes" en la recurrencia te dan este polinomio característico, no consigo ver como demostrar esta convergencia asintótica (he buscado teoremas relacionados con el comportamiento asintótico de las ecuaciones lineales en diferencias y tampoco encuentro nada), ni tampoco se de donde aparece el término $n^{-3/2}$.
¿Alguien podría echarme una mano, por favor?

Un saludo y muchisimas gracias.