Serie de potencias

En matemáticas, una serie de potencias es una serie de la forma:

$\sum _{n=0}^{\mathrm{\infty }}{a}_n{(x-c)}^n=a_0+a_1(x-c{)}^1+a_2(x-c{)}^2+\dots$

alrededor de x=c, en el cual el centro es c, y los coeficientes $a_n$ son los términos de una sucesión. Las series de potencias son útiles en el análisis matemático, donde surgen como series de Taylor de funciones infinitamente diferenciables. De hecho, el Teorema de Borel implica que toda serie de potencias es la serie de Taylor de alguna función suave.

En ocasiones, el centro c de la serie es igual a cero, con lo que la serie se denomina serie de Maclaurin y toma la forma simple

$\sum _{n=0}^{\mathrm{\infty }}{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+\cdots .$

Es de utilidad al momento de construir conjuntos fundamentales de soluciones para ecuaciones diferenciales lineales de 2° orden cuyos coeficientes son funciones de una variable independiente. Más allá de su papel en el análisis matemático, las series de potencias también aparecen en Combinatoria como Función Generatriz (un tipo de serie formal de potencias) y en ingeniería electrónica (bajo el nombre de la Transformada Z). La notación decimal familiar para los números reales también puede considerarse como un ejemplo de una serie de potencias, con coeficientes enteros, pero con el argumento x fijado en 1/10. En Teoría de Números, el concepto de números p-ádicos también está estrechamente relacionado con el de una serie de potencias.

Convergencia de series de potencias

Una serie de potencias ${\sum }_{n=0}^{\mathrm{\infty }}{a}_n(x-c{)}^n$ es convergente para algunos valores de la variable x, lo que siempre incluirá x = c (como es habitual, $(x-c{)}^0$ se considera como $1$ y la suma de la serie es entonces $a_0$ para Plantilla:Math). La serie puede divergir para otros valores de x si c no es el único punto de convergencia, entonces siempre hay un número r con 0 < r ≤ ∞ tal que la serie converge siempre que |x – c| < r y diverge siempre que |x – c| > r. El número r se llama el radio de convergencia de la serie de potencias; en general, se da como

$$r=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}{\left|a_n\right|}^{-\frac{1}{n}}$$

o equivalentemente,$$r^{-1}=\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}{\left|a_n\right|}^{\frac{1}{n}}$$(esto es el Teorema de Cauchy-Hadamard; ver límite superior y límite inferior para una explicación de la notación). La relación

$$r^{-1}=\underset{n\to \mathrm{\infty }}{\lim }\left|\frac{a_{n+1}}{a_n}\right|$$también es satisfecha si el límite existe.

El conjunto de los números complejos tales que |x – c| < r se llama el disco de convergencia de la serie. La serie converge absolutamente dentro de su disco de convergencia y converge uniformemente en todo subconjunto compacto del disco de convergencia.

Para |x – c| = r, no hay una afirmación general sobre la convergencia de la serie. Sin embargo, el Teorema de Abel establece que si la serie converge para algún valor z tal que |z – c| = r, entonces la suma de la serie para x = z es el límite de la suma de la serie para x = c + t (z – c) donde t es una variable real menor que 1 que tiende a 1.

Teorema de convergencia de series de potencias

Sea ${\sum }_{n=0}^{\mathrm{\infty }}{a}_n(z-z_0{)}^n$ serie de potencias, obtenemos su representación como una serie de potencias convergente estableciendo el teorema de Taylor, el cual nos dice que si $f$ es analítica en un disco abierto centrado en $z_0$ entonces la serie de Taylor de $f$ ,

$\sum _{n=0}^{\mathrm{\infty }}\frac{(f^n)(z_0)}{n!}(z-z_0{)}^n;$

converge en el disco y es igual a $f(z)$ en todo ese disco.

Si

$\sum _{n=0}^{\mathrm{\infty }}{a}_n(z-z_0{)}^n$

es una serie de potencias, existe un único número $R\ge 0$, quizá mayor a infinito $\mathrm{\infty }$; llamado el radio de convergencia, tal que si $|z-z_0|<R$ , la serie converge y si $|z-z_0|>R$, la serie diverge. Específicamente la convergencia es uniforme y absoluta en cualquier disco cerrado en $A=\{z\in C:|z-z_0|<R\}$. No podemos generalizar la convergencia si $|z-z_0|=R$.

Ejemplos

La función exponencial (en azul), y la suma de sus primeros n+1 términos de su serie de Maclaurin (en rojo).

La serie geométrica

$\sum _{n=0}^{\mathrm{\infty }}{x}^n=1+x+x^2+x^3+\cdots =\frac{1}{1-x},$

es una serie de potencias, absolutamente convergente si $|x|<1$ y divergente si $|x|>1$ o $|x|=1$ y es uno de los ejemplos más importantes de este tipo de series, como también lo son la fórmula de la función exponencial

$e^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots ,$

y la fórmula del seno

$\sin (x)=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)!}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots ,$

válidas para todos los reales x. Estas series de potencias son ejemplos de series de Taylor.

Véase también

• Serie (matemáticas)
• Serie formal de potencias
• Serie de Laurent
• Convergencia
• Radio de convergencia
• Fórmula de Euler-Maclaurin
• Anexo:Series matemáticas

Enlaces externos

• Plantilla:MathWorld