Series de Taylor para funciones de variable compleja

Marc Farrs Pijuan

2010-11

Series de Taylor

1.1 Denicin
Tal y como sabemos para el mbito de los reales, si dada una funcin f podemos derivarla tantas veces como queramos en un determinado entorno (x0 , x0 + ) centrado en x0 entonces podremos expresar el valor de la funcin para cualquier punto de ese entorno mediante una serie de Taylor:
f(x) = f (n) (x0 ) (x x0 )n ; n ! n=0

x (x0 , x0 + )

(1)

Siendo f (n) (x0 ) la derivada n-sima de la funcin en el punto x0 , y tomando el convenio de que f (0) (x0 ) = f (x0 ). La enorme utilidad de esta expresin radica en que nos permite conocer la funcin en un punto x cualquiera dentro del entorno a partir de conocer solamente a la funcin en uno de sus puntos x0 . Evidentemente cuantos mas trminos de la serie cojamos mas nos acercaremos al valor que realmente tiene f(x) , pero el echo de que a medida que cojamos mas trminos de la srie estos se vayan haciendo cada vez mas pequeos nos permite en muchas ocasiones obtener aproximaciones sucientes para nuestros propsitos tomando solo los trminos hasta n = 1 o n = 2.

Seria pues muy interesante pues poder ampliar el rango de accin 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 extensin deber cumplir (como todas las extensiones de los reales a los complejos) que al limitar nuestra funcin 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 funcin analtica en un disco |z z0 | < R0 centrado en z0 y de radio R0 . Entonces f (z ) admite la

representacin en serie de potencias

f (z ) =
n=0

an (z z0 )n ;

(|z z0 | < R0 )

donde ...

an =

f (n) (z0 ) ; n!

n = 0, 1, 2, ...

As pues hemos trasladado tal cual el resultado que ya conociamos para funciones reales, y para hacerlo solo hemos tenido que cambiar el "intrvalo" en el que f era diferenciable por su equivalente complejo: el "disco" en el que f sea analtica. Si os sentis incmodos aceptando esta traslacin directa podeis consultar la demostracin completa de que efectivamente esta serie tambin convergir hacia el valor de la funcin en los complejos tal y como lo hacia cuando nos limitbamos a los reales en este link: Demostracin.

Son de especial inters aquellas series de Taylor que nos expresan una funcin a partir de su valor en el orgen, ya que la expresin para tales series se simplica bastante
f (z ) = f (n) (0) n z ; n! n=0

(|z | < R0 )

(2)

Estas son las conocidas como

series de Maclaurin

. Adems en muchas ocasiones nos encontraremos con que

nuestra funcin ser entera(analtica 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 funcin est o no dentro de un disco en cuyo interior f sea analtica (ya que este disco ser arbitrariamente grande).

Veamos ahora un teorema que quizs 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

an (z z0 )n
n=0

que nos converge a centrada en

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

z0 (|z z0 | < R0 ) Entonces esa srie ser la srie de Taylor para f .

Demostracin.

Aunque tras una primera lectura nos deje algo confusos acerca de lo que nos dice, este teorema nos asegura que si dada una funcin cualquiera en los complejos podemos expresarla como una suma de trminos an (z z0 )n

(con an constantes complejas) esta suma que habremos encontrado ser la misma que habriamos obtenido calculando la serie de Taylor haciendo la derivadas correspondientes, con el trabajo que eso implica. Aunque parezca algo extrao que una funcin pueda expresarse como una suma de trminos 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 trminos del tipo an (z )n (un polinomio complejo), que gracias al ltimo teorema visto podremos asegurar que se tratar de su srie de
Maclaurin

(recordemos que no es mas que su srie 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 funcin sencilla de derivar y utilizandola despus para obtener otras series a partir de esa. Vemoslo:

1.2 Encontrando series de Taylor para funciones complejas

Comenzamos trabajando con la funcin exponencial extendida a los complejos ...
f (z ) = ez

esta funcin es derivable en todo el plano complejo (f (z ) = f (z ), z C ) y eso se traduce en que es anlitica en todo el plano complejo(es entera). As pues podremos encontrar su serie de Maclaurin en cualquier punto (el radio
R0 que antes considerbamos se hace tan grande como queramos), y vendr dada por: ez = zn n! n=0

(|z | < )

(3)

podemos comprobar adems que si nos limitamos a los nmeros reales (que no son mas que los complejos sin parte imaginaria: z = x + i0), recuperamos el resultado que obteniamos en el clculo con variable real:
ex = xn n! n=0

( < x < )

(4)

Con este sencillo resultado en la mano hallamos ahora la serie de Maclaurin para una funcin algo mas complicada
f (z ) = z x eyz (con x e y nmeros constantes reales), solo tenemos que acudir al caso anterior y sustituir z por yz ,

luego multiplicamos por z x obteniendo:

z x eyz = z x (yz )n y n n+x y nx n = z = z ; n! n! (n x)! n=x n=0 n=0

(|z | < )

(5)

por ejemplo para una eleccin de x = 2, y = 3 esto queda ...

z 2 e3z = 3n2 n z ; (n 2)! n=2

(|z | < )

Otra familia para la que podemos encontrar ahora fcilmente su desarrollo de Maclaurin es la de las funciones trigonomtricas. Veamos como ejemplo f (z ) = cos(z )
f (z ) = cos(z ) = eiz + eiz 2

As pues se trata de volver a substituir en la ecuacin (3) el trmino z en este caso por iz, iz y dividir por 2 este resultado:
cos(z ) = 1 2 (iz )n (iz )n + n! n! n=0 n=0

1 in z n [1 + (1)n ] 2 n=0 n!

(6)

Solo nos falta ver que el trmino [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 trmino (i)n para n pares ser (i)2n = (i2 )n = (1)n . As pues ...

cos(z ) =
n=0

(1)n

z 2n ; (2n)!

(|z | < )

(7)

Y vemos que cuando z = x + i0 (z reales) esta serie se convierte en la que usamos para el coseno en los reales :

cos(x) =

(1)n
n=0

x2n x2 x4 x6 =1 + + ... ; (2n)! 2! 4! 6!

( < x < )

1.2.1

Ejemplo de uso: teorema de la unicidad del desarrollo en srie

Veamos como en ocasiones podemos usar el teorema 2 para hallar la expresin de una funcin en forma de srie de potencias (srie de Taylor) Si tenemos que f (z ) =
1 1z

lo primero que debemos ver es que su srie de Maclaurin sea la que sea solo convergir

para valores de z que estn dentro de un crculo de radio 1 centrado en el orgen. Esto es as porque f (z ) no es analtica 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 crculo donde f sea analtica en su interior, ya que este crculo contendr al punto z = 1. As pues su desarrollo en srie de Maclaurin deber incluir la condicin
|x| < 1 (remarco que s desigualdad estricta)

Para encontrar el desarrollo tendremos que recuperar uno de los resultados bsicos del clculo:
1 + z 1 + z 2 + z 3 + ... + z n = 1 z n+1 1z ; z=1

(8)

Gracias a esta igualdad podemos expresar las sumas parciales como ...
N 1

SN (z )
n=0

zn =

1 zN 1z

(9)

As pues si cogemos f (z ) =

1 1z

y hacemos
|f (z ) SN (z )| = |z N | |1 z |

y cuando |z | < 1 esto tiende a 0 a medida que consideramos mas y mas trminos N lo que signica que la srie
n=0

z n converge hacia

1 1z

cuando |z | < 1, en resumen:

zn =
n=0

1 1z

|z | < 1
1 1z

(10) en forma de una serie de potencias de z ,

As pues hemos encontrado una forma de escribir la funcin f (z ) = as que segn el teorema 2 esta srie ser su serie de Maclaurin.