Series de Taylor para funciones de variable compleja

Marc Farrés Pijuan

2010-11

1
1 Series de Taylor

1.1 Denición

Tal y como sabemos para el ámbito de los reales, si dada una función f podemos derivarla tantas veces como

queramos en un determinado entorno (x0 − ∆, x0 + ∆) centrado en x0 entonces podremos expresar el valor de la

función para cualquier punto de ese entorno mediante una serie de Taylor:
∞
f (n) (x0 )
(1)
X
f(x) = (x − x0 )n ; x ∈ (x0 − ∆, x0 + ∆)
n=0
n!

Siendo f (n) (x0 ) la derivada n-ésima de la función en el punto x0 , y tomando el convenio de que f (0) (x0 ) = f (x0 ).

La enorme utilidad de esta expresión radica en que nos permite conocer la función en un punto x cualquiera dentro

del entorno a partir de conocer solamente a la función en uno de sus puntos x0 . Evidentemente cuantos mas tér-

minos de la serie cojamos mas nos acercaremos al valor que realmente tiene f(x) , pero el echo de que a medida que

cojamos mas términos de la sèrie estos se vayan haciendo cada vez mas pequeños nos permite en muchas ocasiones

obtener aproximaciones sucientes para nuestros propósitos tomando solo los términos hasta n = 1 o n = 2.

Seria pues muy interesante pues poder ampliar el rango de acción de esa herramienta hacia el cuerpo de los

complejos, y de echo disponemos ya de algunos teoremas sobre funciones complejas que nos permiten hacerlo. Esta

extensión deberá cumplir (como todas las extensiones de los reales a los complejos) que al limitar nuestra función

compleja para que trabaje solamente en los reales (recordemos que los reales son un subconjunto de los complejos)

recuperemos el resultado que ya conociamos para estos.

Teorema 1 : Teorema de Taylor

Sea f una función analítica en un disco |z − z0 | < R0 centrado en z0 y de radio R0 . Entonces f (z) admite la

representación en serie de potencias

∞
X
f (z) = an (z − z0 )n ; (|z − z0 | < R0 )
n=0

donde ...

f (n) (z0 )
an = ; n = 0, 1, 2, ...
n!

2
Así pues hemos trasladado tal cual el resultado que ya conociamos para funciones reales, y para hacerlo solo hemos

tenido que cambiar el "intérvalo" en el que f era diferenciable por su equivalente complejo: el "disco" en el que f

sea analítica.

Si os sentis incómodos aceptando esta traslación directa podeis consultar la demostración completa de que efecti-

vamente esta serie también convergirá hacia el valor de la función en los complejos tal y como lo hacia cuando nos

limitábamos a los reales en este link:

Demostración.

Son de especial interés aquellas series de Taylor que nos expresan una función a partir de su valor en el orígen, ya

que la expresión para tales series se simplica bastante

∞
f (n) (0) n
(2)
X
f (z) = z ; (|z| < R0 )
n=0
n!

Estas son las conocidas como series de Maclaurin . Además en muchas ocasiones nos encontraremos con que

nuestra función será entera(analítica en todo el plano complejo), en cuyo caso ya no tendremos que preocuparnos

de que el punto z en el que queremos aproximar a nuestra función esté o no dentro de un disco en cuyo interior f

sea analítica (ya que este disco será arbitrariamente grande).

Veamos ahora un teorema que quizás se nos presente de forma algo prematura, aunque justicada debido a la

gran utilidad que le daremos.

Teorema 2 : Unicidad del desarrollo en series

Si tenemos una serie

∞
X
an (z − z0 )n
n=0

que nos converge a f (z) para todo punto z que se encuentra dentro de una determinada circunferencia de radio R0

centrada en z0 (|z − z0 | < R0 ) Entonces esa sèrie será la sèrie de Taylor para f .

Demostración.

Aunque tras una primera lectura nos deje algo confusos acerca de lo que nos dice, este teorema nos asegura

que si dada una función cualquiera en los complejos podemos expresarla como una suma de términos an (z − z0 )n

3
(con an constantes complejas) esta suma que habremos encontrado será la misma que habriamos obtenido calcu-

lando la serie de Taylor haciendo la derivadas correspondientes, con el trabajo que eso implica.

Aunque parezca algo extraño que una función pueda expresarse como una suma de términos an (z − z0 )n a no ser

que ya esté preparada para que podamos hacerlo, no lo es tanto que pueda expresarse como una suma de términos

del tipo an (z)n (un polinomio complejo), que gracias al último teorema visto podremos asegurar que se tratará de

su sèrie de Maclaurin (recordemos que no es mas que su sèrie de Taylor alrededor del punto z = 0).

Este resultado nos permitirá nada mas que encontrar series de Taylor sin tener que derivar. Lo conseguiremos

encontrando primero la serie de Taylor (derivando) para una función sencilla de derivar y utilizandola después para

obtener otras series a partir de esa. Veámoslo:

1.2 Encontrando series de Taylor para funciones complejas

Comenzamos trabajando con la función exponencial extendida a los complejos ...

f (z) = ez

esta función es derivable en todo el plano complejo (f 0 (z) = f (z), ∀z ∈ C ) y eso se traduce en que es análitica en

todo el plano complejo(es entera). Así pues podremos encontrar su serie de Maclaurin en cualquier punto (el radio

R0 que antes considerábamos se hace tan grande como queramos), y vendrá dada por:

∞
zn
(3)
X
→ ez = ; (|z| < ∞)
n=0
n!

podemos comprobar además que si nos limitamos a los números reales (que no son mas que los complejos sin parte

imaginaria: z = x + i0), recuperamos el resultado que obteniamos en el cálculo con variable real:
∞
xn
(4)
X
ex = ; (−∞ < x < ∞)
n=0
n!

Con este sencillo resultado en la mano hallamos ahora la serie de Maclaurin para una función algo mas complicada

f (z) = z x eyz (con x e y números constantes reales), solo tenemos que acudir al caso anterior y sustituir z por yz ,

luego multiplicamos por z x obteniendo:

∞ ∞ ∞
(yz)n y n n+x X y n−x n
(5)
X X
→ z x eyz = z x = z = z ; (|z| < ∞)
n=0
n! n=0
n! n=x
(n − x)!

por ejemplo para una elección de x = 2, y = 3 esto queda ...

∞
X 3n−2 n
z 2 e3z = z ; (|z| < ∞)
n=2
(n − 2)!

4
Otra familia para la que podemos encontrar ahora fácilmente su desarrollo de Maclaurin es la de las funciones

trigonométricas. Veamos como ejemplo f (z) = cos(z)

eiz + e−iz
f (z) = cos(z) =
2

Así pues se trata de volver a substituir en la ecuación (3) el término z en este caso por iz, −iz y dividir por 2 este

resultado:
∞ ∞ ∞
!
1 X (iz)n X (−iz)n 1X in z n
cos(z) = + = [1 + (−1)n ] (6)
2 n=0 n! n=0
n! 2 n=0 n!

Solo nos falta ver que el término [1 + (−1)n ] solo es distinto de 0 cuando (−1)n es distinto de −1 y eso se da para

cualquier n par, en estos casos [1 + (−1)n ] = 2 . Luego el término (i)n para n pares será (i)2n = (i2 )n = (−1)n .

Así pues ...

∞
z 2n
(7)
X
→ cos(z) = (−1)n ; (|z| < ∞)
n=0
(2n)!

Y vemos que cuando z = x + i0 (z reales) esta serie se convierte en la que usamos para el coseno en los reales :
∞
X x2n x2 x4 x6
cos(x) = (−1)n =1− + − + ... ; (−∞ < x < ∞)
n=0
(2n)! 2! 4! 6!

1.2.1 Ejemplo de uso: teorema de la unicidad del desarrollo en sèrie

Veamos como en ocasiones podemos usar el teorema 2 para hallar la expresión de una función en forma de sèrie de

potencias (sèrie de Taylor)

Si tenemos que f (z) = 1

1−z lo primero que debemos ver es que su sèrie de Maclaurin sea la que sea solo convergirá

para valores de z que estén dentro de un círculo de radio 1 centrado en el orígen. Esto es así porque f (z) no es

analítica en z = 1 (de echo f ni tan siquiera está denida para ese punto) y por lo tanto para cualquier z que

cumpla |z| ≥ 1 no podremos decir que se encuentre dentro de un círculo donde f sea analítica en su interior, ya

que este círculo contendrá al punto z = 1. Así pues su desarrollo en sèrie de Maclaurin deberá incluir la condición

|x| < 1 (remarco que és desigualdad estricta)

Para encontrar el desarrollo tendremos que recuperar uno de los resultados básicos del cálculo:

1 − z n+1
1 + z 1 + z 2 + z 3 + ... + z n = ; z 6= 1 (8)
1−z

Gracias a esta igualdad podemos expresar las sumas parciales como ...
N −1
1 − zN
(9)
X
SN (z) ≡ zn =
n=0
1−z

Así pues si cogemos f (z) = 1

1−z y hacemos

|z N |
|f (z) − SN (z)| =
|1 − z|

5
y cuando |z| < 1 esto tiende a 0 a medida que consideramos mas y mas términos N lo que signica que la série

z n converge hacia cuando |z| < 1, en resumen:

P∞ 1
n=0 1−z

∞
1
(10)
X
zn = ; |z| < 1
n=0
1−z

Así pues hemos encontrado una forma de escribir la función f (z) = 1

1−z en forma de una serie de potencias de z ,

así que según el teorema 2 esta sèrie serà su serie de Maclaurin.