prueba de raíz

Criterio para la convergencia de una serie infinita.

En matemáticas , la prueba de la raíz es un criterio para la convergencia (una prueba de convergencia ) de una serie infinita . Depende de la cantidad

${\displaystyle \limsup _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},}$

donde están los términos de la serie, y establece que la serie converge absolutamente si esta cantidad es menor que uno, pero diverge si es mayor que uno. Es particularmente útil en relación con series de potencias . ${\displaystyle a_{n}}$

Explicación de la prueba de raíz

Diagrama de decisión para la prueba de raíz.

La prueba de la raíz fue desarrollada por primera vez por Augustin-Louis Cauchy , quien la publicó en su libro de texto Cours d'analyse (1821). ^[1] Por lo tanto, a veces se la conoce como prueba de la raíz de Cauchy o prueba radical de Cauchy . para una serie

${\displaystyle \sum _{n=1}^{\infty }a_{n}}$

la prueba de raíz usa el número

${\displaystyle C=\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},}$

donde "lim sup" denota el límite superior , posiblemente +∞. Tenga en cuenta que si

${\displaystyle \lim _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},}$

converge entonces es igual a C y en su lugar puede usarse en la prueba de raíz.

La prueba raíz establece que:

• si C < 1 entonces la serie converge absolutamente ,
• si C > 1 entonces la serie diverge ,
• si C = 1 y el límite se acerca estrictamente desde arriba, entonces la serie diverge,
• de lo contrario, la prueba no es concluyente (la serie puede divergir, converger absolutamente o converger condicionalmente ).

Hay algunas series para las cuales C = 1 y la serie converge, por ejemplo , y hay otras para las cuales C = 1 y la serie diverge, por ejemplo . ${\displaystyle \textstyle \sum 1/{n^{2}}}$ ${\displaystyle \textstyle \sum 1/n}$

Aplicación a series de potencias

Esta prueba se puede utilizar con una serie de potencias.

${\displaystyle f(z)=\sum _{n=0}^{\infty }c_{n}(z-p)^{n}}$

donde los coeficientes c _n y el centro p son números complejos y el argumento z es una variable compleja.

Los términos de esta serie estarían entonces dados por a _n = c _n ( z − p ) ⁿ . Luego se aplica la prueba de la raíz a _an como se indicó anteriormente. Tenga en cuenta que a veces una serie como esta se denomina serie de potencias "alrededor de p ", porque el radio de convergencia es el radio R del intervalo o disco más grande centrado en p tal que la serie convergerá para todos los puntos z estrictamente en el interior ( la convergencia en el límite del intervalo o disco generalmente debe comprobarse por separado). Un corolario de la prueba de la raíz aplicada a dicha serie de potencias es el teorema de Cauchy-Hadamard : el radio de convergencia es exactamente teniendo en cuenta que realmente queremos decir ∞ si el denominador es 0. ${\displaystyle 1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}},}$

Prueba

La prueba de la convergencia de una serie Σ a _n es una aplicación del criterio de comparación . Si para todo n ≥ N ( N algún número natural fijo ) tenemos , entonces . Dado que la serie geométrica converge, también lo hace según la prueba de comparación. Por tanto Σ an _converge absolutamente. ${\displaystyle {\sqrt[{n}]{|a_{n}|}}\leq k<1}$ ${\displaystyle |a_{n}|\leq k^{n}<1}$ ${\displaystyle \sum _{n=N}^{\infty }k^{n}}$ ${\displaystyle \sum _{n=N}^{\infty }|a_{n}|}$

Si para una cantidad infinita de n , entonces an no converge a 0, por lo que la serie es divergente _. ${\displaystyle {\sqrt[{n}]{|a_{n}|}}>1}$

Prueba del corolario : Para una serie de potencias Σ a _n = Σ c _n ( z  −  p ) ⁿ , vemos por lo anterior que la serie converge si existe un N tal que para todo n ≥ N tenemos

${\displaystyle {\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}<1,}$

equivalente a

${\displaystyle {\sqrt[{n}]{|c_{n}|}}\cdot |z-p|<1}$

para todo n ≥ N , lo que implica que para que la serie converja debemos tener para todo n suficientemente grande . Esto equivale a decir ${\displaystyle |z-p|<1/{\sqrt[{n}]{|c_{n}|}}}$

${\displaystyle |z-p|<1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}},}$

Así que ahora el único otro lugar donde la convergencia es posible es cuando ${\displaystyle R\leq 1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}.}$

${\displaystyle {\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}=1,}$

(ya que los puntos > 1 divergirán) y esto no cambiará el radio de convergencia ya que estos son solo los puntos que se encuentran en el límite del intervalo o disco, por lo que

${\displaystyle R=1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}.}$

Ejemplos

Ejemplo 1:

${\displaystyle \sum _{i=1}^{\infty }{\frac {2^{i}}{i^{9}}}}$

Aplicando la prueba de la raíz y utilizando el hecho de que ${\displaystyle \lim _{n\to \infty }n^{1/n}=1,}$

${\displaystyle C=\lim _{n\to \infty }{\sqrt[{n}]{\left|{\frac {2^{n}}{n^{9}}}\right|}}=\lim _{n\to \infty }{\frac {\sqrt[{n}]{2^{n}}}{\sqrt[{n}]{n^{9}}}}=\lim _{n\to \infty }{\frac {2}{(n^{1/n})^{9}}}=2}$

Dado que la serie diverge. ^[2] ${\displaystyle C=2>1,}$

Ejemplo 2:

${\displaystyle 1+1+0.5+0.5+0.25+0.25+0.125+0.125+...}$

La prueba de la raíz muestra convergencia porque

${\displaystyle r=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}=\limsup _{n\to \infty }{\sqrt[{n}]{|.5^{n}|}}=.5<1.}$

Este ejemplo muestra cómo la prueba de raíz es más fuerte que la prueba de razón . La prueba de razón no es concluyente para esta serie si es impar (aunque no si es par), porque ${\displaystyle n}$ ${\displaystyle a_{n}=a_{n+1}=.5^{n}}$ ${\displaystyle n}$

${\displaystyle r=\lim _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|=\lim _{n\to \infty }\left|{\frac {2\cdot .5^{n}}{2\cdot .5^{n}}}\right|=1.}$

Jerarquía de pruebas raíz

La jerarquía de pruebas de raíz ^{[3] [4]} se construye de manera similar a la jerarquía de pruebas de relación (consulte la Sección 4.1 de la prueba de relación , y más específicamente la Subsección 4.1.4 allí).

Para una serie con términos positivos tenemos las siguientes pruebas de convergencia/divergencia. ${\displaystyle \sum _{n=1}^{\infty }a_{n}}$

Sea un número entero y denotemos el iterado del logaritmo natural , es decir, y para cualquiera ,. ${\displaystyle K\geq 1}$ ${\displaystyle \ln _{(K)}(x)}$ ${\displaystyle K}$ ${\displaystyle \ln _{(1)}(x)=\ln(x)}$ ${\displaystyle 2\leq k\leq K}$ ${\displaystyle \ln _{(k)}(x)=\ln _{(k-1)}(\ln(x))}$

Supongamos que , cuando es grande, se puede presentar en la forma ${\displaystyle {\sqrt[{-n}]{a_{n}}}}$ ${\displaystyle n}$

${\displaystyle {\sqrt[{-n}]{a_{n}}}=1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}.}$

(Se supone que la suma vacía es 0.)

• La serie converge, si ${\displaystyle \liminf _{n\to \infty }\rho _{n}>1}$
• La serie diverge, si ${\displaystyle \limsup _{n\to \infty }\rho _{n}<1}$
• De lo contrario, la prueba no es concluyente.

Prueba

Desde entonces tenemos ${\displaystyle {\sqrt[{-n}]{a_{n}}}=\mathrm {e} ^{-{\frac {1}{n}}\ln a_{n}}}$

${\displaystyle \mathrm {e} ^{-{\frac {1}{n}}\ln a_{n}}=1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}.}$

De esto,

${\displaystyle \ln a_{n}=-n\ln \left(1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}\right).}$

Del desarrollo de Taylor aplicado al lado derecho, obtenemos:

${\displaystyle \ln a_{n}=-1-\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}-{\frac {\rho _{n}}{\prod _{k=1}^{K}\ln _{(k)}(n)}}+O\left({\frac {1}{n}}\right).}$

Por eso,

${\displaystyle a_{n}={\begin{cases}\mathrm {e} ^{-1+O(1/n)}{\frac {1}{(n\prod _{k=1}^{K-2}\ln _{(k)}n)\ln _{(K-1)}^{\rho _{n}}n}},&K\geq 2,\\\mathrm {e} ^{-1+O(1/n)}{\frac {1}{n^{\rho _{n}}}},&K=1.\end{cases}}}$

(El producto vacío se establece en 1.)

El resultado final se deriva de la prueba integral de convergencia .

Ver también

• Prueba de razón
• Serie convergente

Referencias

1. Bottazzini, Umberto (1986), El cálculo superior: una historia del análisis real y complejo desde Euler hasta Weierstrass, Springer-Verlag, págs. 116-117, ISBN 978-0-387-96302-0. Traducido del italiano por Warren Van Egmond.
2. Briggs, William; Cochrane, Lyle (2011). Cálculo: trascendentales tempranos . Addison Wesley. pag. 571.
3. Abramov, Vyacheslav M. (2022). «Condiciones necesarias y suficientes para la convergencia de series positivas» (PDF) . Revista de análisis clásico . 19 (2): 117--125. arXiv : 2104.01702 . doi :10.7153/jca-2022-19-09.
4. Bourchtein, Ludmila; Bourchtein, Andréi; Nornberg, Gabrielle; Venzke, Cristiane (2012). "Una jerarquía de pruebas de convergencia relacionadas con la prueba de Cauchy" (PDF) . Revista Internacional de Análisis Matemático . 6 (37--40): 1847--1869.

• Knopp, Konrad (1956). "§3.2". Secuencias y Series Infinitas . Publicaciones de Dover, Inc., Nueva York. ISBN 0-486-60153-6.
• Whittaker, ET y Watson, GN (1963). "§ 2.35". Un curso de análisis moderno (cuarta ed.). Prensa de la Universidad de Cambridge. ISBN 0-521-58807-3.

Este artículo incorpora material de la prueba raíz de Prueba de Cauchy en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .