Sucesiones y series telescópicas e hipergeométricas
Decimos que una sucesión está expresada en forma telescópica cuando, para otra sucesión , escribimos
.
- Por ejemplo, si reescribimos la sucesión como , está expresada en forma telescópica, tomando .
- La sucesión de sumas parciales se denomina "serie" y, en estos casos, decimos que es una "serie telescópica".
- La serie que hemos visto como ejemplo, es conocida como "serie de Megnoli".
- Tener una sucesión expresada en forma telescópica es muy cómodo a la hora de calcular la suma de la correspondiente serie, o sus sumas parciales.
- En ocasiones, es más cómodo expresar la sucesión en forma telescópica usando un "paso" o "salto" mayor en la sucesión , si conseguimos una reescritura de la forma , para cierto número natural .
- Las series telescópicas hacen muy cómodo calcular las suma, pues unos términos se cancelan con otros. Por ejemplo, en el caso , la suma total resultará .
- En algunas ocasiones, podemos expresarla como telescópica "doble" si, a su vez, es también telescópica. En el applet podemos visualizar diferentes ejemplos. Análogamente podríamos dar una telescópica "triple", etc.
- En el siguiente applet veremos más detalles sobre el cálculo de estas sumas, junto con su visualización gráfica, y algunos ejercicios.
- Al visualizar la solución, podemos elegir cuántos términos en total se mostrarán (en el cuadro "ver hasta...", en la esquina inferior derecha.
- También, podemos ver la relación con las series hipergeométricas, que se explicará detalladamente más abajo.
Ejercicios
- Pulsando el botón "Ejercicios", podremos resolver nuestros propios ejercicios de sumas de sucesiones telescópicas.
- Siempre nos preguntarán la suma total (y no de los primeros términos).
- Los ejercicios serán similares a los ejemplos vistos.
- Cada ejercicio correcto vale 2 puntos, hasta llegar a 10. Los fallos penalizan 0.5 puntos.
- Se guardará la puntuación más alta obtenida.
- Podemos intentar tantos ejercicios como queramos.
¿Toda sucesión "es" telescópica?
- Al resolver ejercicios donde el término general es una fracción algebraica, suele ser muy útil hacer la descomposición en fracciones parciales, para observar si es sencillo expresar la sucesión como telescópica.
- Todos los ejemplos propuestos aquí pueden resolverse mediante esta técnica. Para otro tipo de sucesión, podrá ser necesaria una técnica diferente.
- En general, no es sencillo expresar una sucesión como telescópica. Aunque, teóricamente, si la serie es sumable de suma , bastaría con definir
- (de manera que ),
- (de manera que ),
- ... y así sucesivamente, .
Caso especial: sucesiones hipergeométricas
Una sucesión se dice hipergeométrica cuando existen números tales que
Como en el caso de las telescópicas, en los ejercicios es habitual que el "paso" sea .
Veamos que, en ese caso, sí es sencillo escribirlas explícitamente como telescópicas. Vamos a buscar una expresión de la forma :
- Quitando denominadores, .
- Observando la expresión, pensamos en tomar , con lo que restando y sumando , podemos reescribir: .
- De manera similar al paso anterior, para que aparezcan términos de la forma , restamos en cada miembro .
- Despejamos la expresión de : .
- Denominando , habremos expresado la sucesión en forma telescópica. .
Para , . Para , será .
En ocasiones, cuando es posible, resulta más cómodo interpretar las series como hipergeométricas en lugar de telescópicas, pues podemos ahorrar cálculos tales como descomposición en fracciones parciales. Por otra parte, habrá que saber hacer la transformación en serie telescópica, o bien aplicar la fórmula anterior para la suma.- Por ejemplo, la sucesión es hipergeométrica, pues . Así que , y como , la suma es
- Igualmente, es hipergeométrica de paso 2, pues . Así que , y como , la suma es .
Reflexiona
Es muy importante que la expresión sea restando, es decir, .
Teorema. Criterio de Raabe (ampliación)
Hemos utilizado el criterio de Raabe en su forma:
Si, para una sucesión de términos positivos , dado existe
, la serie converge si .
Demostración: Tomando . Entonces, para suficientemente grande, despejando en la condición del enunciado,.
Como , podemos tomar , tal que . Además, será convergente. Tomando suficientemente grande, podemos fijar ciertos , que utilicemos para comparar con las series convergentes de término general , pues , para algún (según corresponda al hacer las restas). En cualquier caso, todos los términos están mayorados por los términos de una cantidad finita de series convergentes, con lo que la serie es convergente.Corolario. Convergencia de una serie hipergeométrica
En el caso de las series hipergeométricas de paso , aplicamos el criterio calculando
.
Luego el límite será mayor que cuando , que podemos expresar también como.
Referencias
- Personajes, pertenecientes al proyecto MatesGG (licencia CC BY-SA).
- Algunas demostraciones del criterio de Raabe.