La prueba de Abel

Prueba de convergencia en serie

En matemáticas , la prueba de Abel (también conocida como criterio de Abel ) es un método para comprobar la convergencia de una serie infinita . La prueba recibe su nombre del matemático Niels Henrik Abel , quien la demostró en 1826. [1] Existen dos versiones ligeramente diferentes de la prueba de Abel: una se utiliza con series de números reales y la otra se utiliza con series de potencias en análisis complejo . La prueba de convergencia uniforme de Abel es un criterio para la convergencia uniforme de una serie de funciones que dependen de parámetros .

La prueba de Abel en el análisis real

Supongamos que las siguientes afirmaciones son verdaderas:

  1. a n {\displaystyle \sum a_{n}} es una serie convergente,
  2. b n {\displaystyle b_{n}} es una secuencia monótona, y
  3. b n {\displaystyle b_{n}} está delimitado.

Entonces también es convergente. a n b n {\displaystyle \sum a_{n}b_{n}}

Es importante entender que esta prueba es principalmente pertinente y útil en el contexto de series no absolutamente convergentes . Para series absolutamente convergentes, este teorema, aunque cierto, es casi evidente por sí mismo. [ cita requerida ] a n {\displaystyle \sum a_{n}}

Este teorema se puede demostrar directamente mediante la suma por partes .

Prueba de Abel en análisis complejo

Una prueba de convergencia estrechamente relacionada, también conocida como prueba de Abel , se puede utilizar a menudo para establecer la convergencia de una serie de potencias en el límite de su círculo de convergencia . Específicamente, la prueba de Abel establece que si una secuencia de números reales positivos es decreciente monótonamente (o al menos que para todo n mayor que algún número natural m , tenemos ) con ( a n ) {\displaystyle (a_{n})} a n a n + 1 {\displaystyle a_{n}\geq a_{n+1}}

lim n a n = 0 {\displaystyle \lim _{n\rightarrow \infty }a_{n}=0}

entonces la serie de potencias

f ( z ) = n = 0 a n z n {\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}}

converge en todas partes en el círculo unitario cerrado , excepto cuando z = 1. La prueba de Abel no se puede aplicar cuando z = 1, por lo que la convergencia en ese único punto debe investigarse por separado. Nótese que la prueba de Abel implica en particular que el radio de convergencia es al menos 1. También se puede aplicar a una serie de potencias con radio de convergencia R ≠ 1 mediante un simple cambio de variables ζ = z / R . [2] Nótese que la prueba de Abel es una generalización del Criterio de Leibniz al tomar z = −1.

Prueba de la prueba de Abel: supongamos que z es un punto en el círculo unitario, z ≠ 1. Para cada , definimos n 1 {\displaystyle n\geq 1}

f n ( z ) := k = 0 n a k z k . {\displaystyle f_{n}(z):=\sum _{k=0}^{n}a_{k}z^{k}.}

Al multiplicar esta función por (1 − z ), obtenemos

( 1 z ) f n ( z ) = k = 0 n a k ( 1 z ) z k = k = 0 n a k z k k = 0 n a k z k + 1 = a 0 + k = 1 n a k z k k = 1 n + 1 a k 1 z k = a 0 a n z n + 1 + k = 1 n ( a k a k 1 ) z k . {\displaystyle {\begin{aligned}(1-z)f_{n}(z)&=\sum _{k=0}^{n}a_{k}(1-z)z^{k}=\sum _{k=0}^{n}a_{k}z^{k}-\sum _{k=0}^{n}a_{k}z^{k+1}=a_{0}+\sum _{k=1}^{n}a_{k}z^{k}-\sum _{k=1}^{n+1}a_{k-1}z^{k}\\&=a_{0}-a_{n}z^{n+1}+\sum _{k=1}^{n}(a_{k}-a_{k-1})z^{k}.\end{aligned}}}

El primer sumando es constante, el segundo converge uniformemente a cero (ya que, por supuesto, la sucesión converge a cero). Solo queda demostrar que la serie converge. Lo demostraremos demostrando que converge incluso de forma absoluta: donde la última suma es una suma telescópica convergente. El valor absoluto se anula porque, por supuesto, la sucesión es decreciente. ( a n ) {\displaystyle (a_{n})} k = 1 | ( a k a k 1 ) z k | = k = 1 | a k a k 1 | | z | k k = 1 ( a k 1 a k ) {\displaystyle \sum _{k=1}^{\infty }\left|(a_{k}-a_{k-1})z^{k}\right|=\sum _{k=1}^{\infty }|a_{k}-a_{k-1}|\cdot |z|^{k}\leq \sum _{k=1}^{\infty }(a_{k-1}-a_{k})} ( a n ) {\displaystyle (a_{n})}

Por lo tanto, la sucesión converge (incluso de manera uniforme) en el disco unitario cerrado. Si , podemos dividir por (1 − z ) y obtener el resultado. ( 1 z ) f n ( z ) {\displaystyle (1-z)f_{n}(z)} z 1 {\displaystyle z\not =1}

Otra forma de obtener el resultado es aplicar la prueba de Dirichlet . En efecto, para se cumple , por lo que se cumplen los supuestos de la prueba de Dirichlet. z 1 ,   | z | = 1 {\displaystyle z\neq 1,\ |z|=1} | k = 0 n z k | = | z n + 1 1 z 1 | 2 | z 1 | {\displaystyle \left|\sum _{k=0}^{n}z^{k}\right|=\left|{\frac {z^{n+1}-1}{z-1}}\right|\leq {\frac {2}{|z-1|}}}

Prueba de convergencia uniforme de Abel

La prueba de convergencia uniforme de Abel es un criterio para la convergencia uniforme de una serie de funciones o una integración impropia de funciones que dependen de parámetros . Está relacionada con la prueba de Abel para la convergencia de una serie ordinaria de números reales, y la demostración se basa en la misma técnica de suma por partes .

La prueba es la siguiente. Sea { g n } una secuencia uniformemente acotada de funciones continuas de valores reales en un conjunto E tal que g n +1 ( x ) ≤  g n ( x ) para todo x  ∈  E y enteros positivos n , y sea { f n } una secuencia de funciones de valores reales tales que la serie Σ f n ( x ) converge uniformemente en E . Entonces Σ f n ( x ) g n ( x ) converge uniformemente en E .

Notas

  1. ^ Abel, Niels Henrik (1826). "Untersuchungen über die Reihe usw". J. Reina Angew. Matemáticas. 1 : 311–339. 1 + m x + m ( m 1 ) 2 1 x 2 + m ( m 1 ) ( m 2 ) 3 2 1 x 3 + {\displaystyle 1+{\frac {m}{x}}+{\frac {m\cdot (m-1)}{2\cdot 1}}x^{2}+{\frac {m\cdot (m-1)\cdot (m-2)}{3\cdot 2\cdot 1}}x^{3}+\ldots }
  2. ^ (Moretti, 1964, pág. 91)

Referencias

  • Prueba (para series reales) en PlanetMath.org
Retrieved from "https://en.wikipedia.org/w/index.php?title=Abel%27s_test&oldid=1243689906"