U3. Series Complejas

Variable compleja II
Unidad 3. Series complejas
Universidad Abierta y a Distancia de Mxico
6 Semestre
Clave:
05143632/06143632
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

1
ndice
Unidad 3. Series complejas ...................................................................................................................3
Presentacin de la unidad......................................................................................................................3
Propsitos de la unidad ..........................................................................................................................3
Competencia especfica..........................................................................................................................3
3.1. Series complejas ...............................................................................................................................3
3.1.1. Definiciones ................................................................................................................................ 4
3.1.2. Propiedades ................................................................................................................................ 6
Actividad 1.Series complejas ............................................................................................................. 10
3.2. Series de potencias ....................................................................................................................... 11
3.2.1. Tipos de convergencia (absoluta, uniforme) ................................................................... 11
3.2.2. Diferenciacin e integracin de series de potencias ..................................................... 12
3.2.3. Teorema de Taylor .................................................................................................................. 13
Actividad 2.Convergencia de series complejas. ........................................................................... 16
3.3. Expansin de funciones analticas ........................................................................................... 16
3.3.1. Expansin de funciones analticas en series de potencias ......................................... 16
3.2.2. Teorema de Laurent ................................................................................................................ 17
Actividad 3. Series de potencias ....................................................................................................... 21
Evidencia de aprendizaje: Anlisis complejo ................................................................................ 21
Cierre de la unidad ................................................................................................................................ 21
Para saber ms....................................................................................................................................... 21
Referencias Bibliogrficas .................................................................................................................. 21

2
Presentacin de la unidad
En la unidad 3 se plantea la teora para analizar el comportamiento y solucin de funciones
holomorfas que involucran series y series de potencia, a partir de los criterios de convergencia y
teoremas (Taylor y Laurent). Plantea las definiciones, propiedades y criterios de convergencia
que necesitas para resolver sucesiones y series de trminos complejos.
Varios de los conceptos que se utilizarn en la unidad se retomarn de asignaturas anteriores
(clculo diferencial, integral, lgebra lineal, anlisis matemtico, clculo de varias variables I, II y
variable compleja I. Los teoremas de Taylor y Laurent se aplican para resolver series de
potencias positivas y negativas con trminos complejos respectivamente.
El anlisis complejo se aplica en la fsica dentro de la estadstica descriptiva y en la ingeniera
para calcular potenciales elctricos.
A lo largo de la unidad se presentarn en fondo de color las definiciones, teoremas,
propiedades y ejemplos.
Propsitos de la unidad
Aplicar las herramientas que proporciona el anlisis complejo.

Resolver series y series de potencia a partir de los teoremas de Taylor y Laurent.
Diferenciar las caractersticas de los criterios de convergencia de series complejas para
resolver problemas que involucran funciones holomorfas.
Competencia especfica
Aplicar la definicin y propiedades de variable compleja, para resolver problemas de series
complejas, utilizando la teora del anlisis de funciones holomorfas.
3.1. Series complejas

Las series permiten resolver integrales y sistemas de ecuaciones diferenciales para aproximar
numricamente su solucin en casos donde no es posible usar mtodos tradicionales.
En este subtema aprenders la parte bsica para analizar y resolver funciones de series de
potencia.

3
3.1.1. Definiciones
Las definiciones de sucesin y serie de trminos complejos coinciden con las definiciones del
anlisis de variable real, la diferencia es que ahora sus trminos pertenecen a . A continuacin
escribiremos sus respectivas definiciones.
Definicin
1. Al conjunto { } = 1 , 2 , , tal que , = 1,2,3, , se le llama sucesin finita de
nmeros complejos.
2. Al conjunto { } = 1 , 2 , , tal que : , = 1,2,3, , se le llama sucesin finita
de funciones de variable compleja.
3. A la suma de la sucesin 1 , 2 , , , se llama serie infinita de nmeros complejos
=1 = 1 + 2 + , cuya construccin es:

1 = 1
2 = 1 + 2
= 1 + 2 + +
A la suma de los primeros trminos se le denotar:
= =1 = 1 + 2 + + .
4. Sean () funciones de variable compleja, con = 1,2,3 , .
1 () = 1 ()
2 () = 1 () + 2 ()
() = 1 () + 2 () + + ()
Las sumas forman la n-sima suma parcial () = =1 () de la serie infinita

1 () + 2 () + 3 () + =
=1 () .
En general las series utilizan una funcin al que se le llama resto y se define como:
() = () (), || < .
Ejemplo.
1. El conjunto { } tal que = + es una sucesin de nmeros cuyos trminos tienen la
forma:

4
+ 1, + 2, , + .
Para que la sucesin sea una serie, entonces le agregamos la suma de sus trminos.
= ( + 1) + ( + 2) + + ( + )
=1
2. Sea { } tal que = es una sucesin de funciones:

, 2 , 3 , , . = 1,2,3, , .
Cuya serie finita (suma n-sima) se escribe =1 + 3 + + .
Los ejemplos anteriores muestran que los trminos de una sucesin pueden ser nmeros o
funciones. En esta unidad estudiars ambos casos.
La siguiente definicin se utilizar en varios resultados, por ello es importante que la tengas
presente en cada subtema.
Definicin
Una funcin () se dice analtica en un dominio si:
La derivada () existe
b) () tiene derivadas de todos los ordenes
a)
Definiciones
1. Una sucesin infinita 1 , 2 , 3 , , , de nmeros complejos se dice que converge a
0 , si > 0 0 tal que | 0 | < siempre que > 0 , implica que el lim = 0 .
2. Una sucesin infinita de funciones 1 (), 2 (), , (), converge a (), si para algn
> 0 tal que | () ()| < > , implica que el lim = ().
3. Sea , si la serie infinita de nmeros

=1 converge a , se denota como:
= =1 y tiene por lmite a lim = .
4. La convergencia de una serie se sigue cumpliendo para:

= =1 y () = =1 ()
5. Sea una regin de convergencia y . Si la serie infinita de funciones tiene lmite, se
dice que converge, en caso contrario diverge. Dicha serie se denota como:
() =
=1 (), cuyo lim = ().

5
6. La convergencia se sigue cumpliendo para () = =1 ().
7. La serie
=1 () converge absolutamente, si =1| ()| converge.
8. La serie
=1 () converge uniformemente, si la suma n-sima =1 () = ()
converge uniformemente sobre alguna regin , es decir > 0, 0 tal que se

cumple que |() ()| < , > 0 . El nmero 0 no depende de .
9. Una serie
=1 () converge de forma condicional, si =1| ()| diverge.
Observacin
Si la serie est compuesta por trminos constantes complejos, entonces las sumas
parciales son independientes de , al igual que su convergencia (divergencia).
El lmite de una sucesin o serie si es que existe, es nico.

es la suma de la serie de nmeros y () es la suma de la serie de funciones.
Ejemplo
Sea
1
1
= 1 + + 2 + serie geomtrica compleja sobre el dominio de convergencia || < 1,
y la suma
con = 0,1,2, cul es el dominio de convergencia de la suma anterior,
=0
segn las definiciones anteriores, converge la serie?
Solucin
La serie geomtrica tiene trminos parecidos a los de la funcin , por ello es posible
reescribirla como:
1
= 0 + + 2 + = 1 + + 2 +
1
Tal que | | < 1, al desarrollarlo obtendrs que | | = | (+) | = cuando > 0, por lo
tanto su dominio de convergencia es < 1.
1
La serie
= 1 converge.
=0
3.1.2. Propiedades
Los criterios de convergencia hacen posible aplicar los diferentes mtodos para analizar su
comportamiento pues utilizan teoremas o proposiciones o lemas.
6
Teorema 1
Sea z = x + iy y la sucesin zn = xn + iyn , entonces el lmite de la sucesin es:
lim zn = z, si y slo si lim xn = x y lim yn = y.
n
Demostracin
Por definicin se tiene que |(xn x) + i(yn y)| < cuando n > n0 , la cual a partir de las
propiedades de los mdulos se puede reescribir como:
|xn x| < y |(xn y)| < para n > n0
Para los nmeros n1 , n2 < n0 se satisfacen las desigualdades |xn x| < 2 y
|(xn y)| < , para n > n1 y n > n2 respectivamente, tenemos que |zn z| < cuando n > n0 .
2
Y con esto concluye la demostracin.
Teorema 2. Si S = X + iY y zn = xn + iyn , entonces la serie:
n=1 zn = S, si y slo si n=1 xn = X y n=1 yn = Y.

Para n = 1,2,3,
Demostracin
Toma la suma n-sima de la serie de nmeros Sn = X n + iYn y Sn = xn + iyn . Por el teorema
1, se tiene que X n =
j=1 xn y Yn = j=1 yn si y slo si lim Sn = S, pero eso ocurre si y slo si
n
lim X n = X y lim Yn = Y, para j = 1,2,3, , n. Por lo tanto

n=1 xn = X y n=1 yn = Y.
Ahora supongamos que

n=1 xn = X y n=1 yn = Y, implica que la suma
zn = S
n=1
Las
n=1 xn = X y n=1 yn = Y, si y slo si existen los lmites lim X n = X y lim Yn = Y , lo cual
n
es posible si y slo si X n =
n=1 xn y Yn = n=1 yn , por lo tanto
xn + iyn = zn = S
n=1
n=1
Proposiciones

7
1.
Sea fn (z) = un (x, y) + ivn (x, y), la serie

n=1 fn (z) = S (z) = u(x, y) + iv(x, y), si y slo si:
n=1 un (x, y) = u (x, y) y n=1 vn (x, y) = v (x, y).
2.
Sea S(z) =
n=1 fn () serie de convergencia uniforme z A , y si cada una de las
() es analtica, entonces () tambin lo es.
3.
Sea
n=1 fn () serie que converge uniformemente a S(z) sobre , si cada una de las
fn () es continua, entones S(z) tambin lo es.
El conjunto A se llama dominio de convergencia
Ejemplo
La serie
=1
(1+!)
converge uniformemente sobre || < 1, ya que cada una de las es
continua sobre || < 1.

1 () =
(1+1!) 1
, 2 ()
13
(1+2!) 2
, 3 ()
23
(1+3!) 3
,
33
Algunas de las siguientes propiedades te sern familiares, ya que las aprendiste en la

asignatura de anlisis matemtico I.
Propiedades
1. Si
n = S.
n=1 zn = S, entonces n=1 z
2. Para cualquier nmero k , se cumple

n=1 kzn = k n=1 zn = kS.
3. Si
n=1 zn = S y n=1 wn = T, entonces la serie de la suma es: n=1(zn + wn ) = S + T
4. Sean
n=1 zn = S y n=1 wn = T series absolutamente convergentes, entonces
(
n=1 zn )(n=1 wn ) = ST.
5. Para una sucesin cuyo lim zn = z, existe M + tal que |zn | M, n .

n
Ejemplo
2 (3)
3
!
La serie
=1 ( )
2
3
=
=1
(3)
!
2
3
= 3

8
Criterios de convergencia
n
1. De la raz: Sea
n=1 zn con zn 0 y lim |zn | = , entonces se dice que:
n
a) si el lmite < 1, la serie converge absolutamente.

b) si el lmite > 1, la serie diverge
c) si el lmite = 1, no se tiene informacin sobre la serie.
2. Del Resto: Si el lim zn 0, la serie
n=1 zn diverge.
n
(z)
n+1
3. Cociente: Sea
n=1 fn (z) y definimos = lim | f (z) |, entonces se dice que:
a)
n=1 fn (z) converge si < 1
b)
n=1 fn (z) es absolutamente convergente si > 1.
c) No se tiene informacin sobre la serie s = 1.
4. De Weierstrass: Sea fn (z) sucesin de funciones bien definidas sobre A , y

supongamos que Mn 0 (sucesin de nmeros reales), tal que |fn (z)| Mn z A y la
serie
n=1 Mn converge. Entonces n=1 fn (z) converge absoluta y uniformemente sobre A.
Ejemplos
1. Por medio del criterio de la raz, determina si la serie

(+) converge.
Solucin
n
1
1
n
lim |(1+i) | = lim ( n ) =
n 2
1
2
< 1, por ello la serie converge.
2. Determina si la serie
= () converge. Justifica tu respuesta.
Solucin
i n
Toma el lmite lim (4) = 0, el criterio no dice nada sobre la convergencia de la serie. En
n
algunos casos, es conveniente que utilices ms de uno de los criterios para encontrar la
convergencia. Aplicaremos el criterio del cociente, entonces el lim |
n
in+1
4n+1
in
4n
| = |4| < 1 por lo tanto
la serie converge.
+
3. La serie
converge?
=()
Solucin

9
En este caso aplica el criterio del cociente para series de funciones, entonces ya que fn (z) =
f
n+1
) 4z 2 |
n
(1)n 2n+1 nz 2n, entonces | n+1

| = |(
f
n
=|
n+1
| |4z 2 |
n
= 2|z 2 | < 1, por lo tanto |z| <
1
2
<1
la serie converge.
4. Determina si la serie
= es absolutamente convergente, por el criterio de
Weierstrass.
Solucin
1
zn
Supongamos que Mn = n2 , entonces

n=1 n2 converge a cero. Ya que |n2 | < n2 z |z| < 1. La
serie es absolutamente convergente
Teoremas
1. Sea
n=1 fn serie que converge uniformemente a S(z) sobre A, si cada uno de los fn es
funcin analtica en A, entonces z A se cumple:
( ())
=
2. Sea
n=1 fn serie que converge uniformemente a S(z) en A, y supongamos que cada una de
las fn son continuas sobre A. Entonces para un contorno se cumple la siguiente igualdad:
S(z)dz = f1 (z) + f2 (z) +
n=1
Ejemplos
1.
n
2
Sea
n=1 z = 1 + z + z + =
1
1z
serie que converge uniformemente sobre |z| < R <
1. Al diferenciar trmino a trmino obtenemos que:

1
(1z)
2.
n1
= (1z)2 = 1 + 2z + 3z 2 + =
, converge uniformemente sobre |z| < R < 1.
n=1 nz
1
n1
Sea
= 1z sobre |z| < R < 1, el contorno de clase 1 cuyo punto inicial es 0
n=1 z
y el final es z0 . Por el teorema de integracin trmino a trmino, la integral de

z
n=1 0
1
1z
= 0 0 1z dz = log(1 z)00 = log (1z ) en |z| < R < 1.

0
Actividad 1.Series complejas

A travs de esta actividad podrs utilizar la definicin y propiedades de las series y sucesiones
para interactuar con tus compaeros en el foro.
10
3.2. Series de potencias
Las series de potencia son importantes dentro del anlisis complejo porque a travs de ellas se
analizan funciones de variable compleja. En esta unidad estudiars dos teoremas importantes
Taylor y Laurent que se aplican a series de potencias positivas y negativas respectivamente.
Definicin
n
Una serie de potencias es la suma
n=0 a n (z z0 ) tal que a n , z0 n . El punto z0 es fijo.
3.2.1. Tipos de convergencia (absoluta, uniforme)

Cuando analizas una serie que converge hacia una funcin es importante distinguir si sta es
uniforme o absoluta, ya que cuando se satisface alguna de estas propiedades, la funcin es
analtica.
Teoremas
1.
n
Si
n=0 a n (z z0 ) converge cuando z = z1 , entonces la serie converge absolutamente
z tal que |z z0 | < |z1 z0 |.
Demostracin
n
n
Sea
n=0 a n (z1 z0 ) convergente, entonces existe M > 0 tal que |a n (z1 z0 ) | < M n . Y
tomamos z tal que |z z0 | < |z1 z0 | con ||z z0 | R| y |z1 z0 | > R, de lo anterior se
|zz0 |
1 z0 |
obtiene que |z
< m < 1. Esto implica que:
|z z0 |n
|z1 z0 |n
n
n
Por las desigualdades anteriores |an (z1 z0 ) | < Mm =Mn n , esto implica que
n=1 Mn =
n
n
M n=0 m , por el criterio de Weierstrass, la serie n=0 an (z z0 ) converge absolutamente
z tal que |z z0 | < |z1 z0 |.
|an (z1 z0 )n | = |an (z1 z0 )n |
2.
n
Si
n=0 a n (z z0 ) converge cuando z = z1 z0 , entonces la serie converge
uniformemente z tal que |z z0 | R para |z1 z0 | > R.
Demostracin
n
Por el teorema 1, se tiene que |an (z1 z0 )n | < Mn por lo tanto
n=0 a n (z z0 ) converge
uniformemente, z tal que |z z0 | R.

11
Ejemplo
inz
La serie
es de potencias y la funcin que la define es S(z) =
j=0 e
1
,
1eiz
cuando |eiz | < 1, S
converge uniformemente sobre su dominio de convergencia.
Definicin
En el caso de series que convergen uniformemente, la funcin resto es independiente de
cualquier , dicha funcin queda determinada por la eleccin del nmero n , que satisface
la desigualdad |pn (z)| < con n > n , para n .
Al conjunto se le llama crculo de convergencia.
3.2.2. Diferenciacin e integracin de series de potencias

La diferenciacin e integracin de series de potencia te ayudarn a clasificar funciones, cundo
son continuas y en qu condiciones son analticas.
Teorema
n
Si existe la derivada para cada uno de los trminos de a serie
n=0 a n (z z0 ) , que converge a
S(z) para cualquier punto interior de un crculo de convergencia de la misma. Entonces
n1
S (z) =
.
n=1 na n (z z0 )
Demostracin
n
Primero tomamos un punto z en el interior del crculo de convergencia de
n=0 a n (z z0 ) , y el
contorno que rodea a z. Recuerda que es un contorno cerrado simple con orientacin
1
positiva. Ahora definimos la funcin f(s) = 2i(s(zz
2
0 ))
, la cual existe s , por ser S(z)
analtica (subtema 3.2.1), se puede multiplicar de la siguiente forma:
1
S(s)
d
f(s)S(s)ds =
ds = S (z) = an (z z0 )n
2
2i (s (z z0 ))
dz
n=0
Ejemplo
1
n
n
La serie
n=0(1) (z 1) converge a S(z) = z , sobre el crculo |z 1| < 1. Ahora derivemos
1
n
n
la igualdad
n=0(1) (z 1) = z para obtener:

12
1
n
n1
La serie
= z2 que converge sobre |z 1| < 1.
n=1(1) n(z 1)
Teorema
n
Sean
n=0 a n (z z0 ) = S(z), una funcin continua f(z), y cualquier contorno dentro del
n
dominio de convergencia de S(z). Entonces S(z)f(z) dz =
n=0 a n f(z) (z z0 ) dz
Demostracin
n
Sea S(z)f(z) = n1
n=0 a n f(z)(z z0 ) + f(z)pn (z) el producto de las funciones S(z) y f(z), esto
posible ya que por hiptesis cada una de las funciones son continuas, al igual que su resto
sobre . Por la integracin trmino a trmino tenemos:
n1
S(z)f(z) dz = an f(z) (z z0 )n dz + f(z)pz (z)dz
n
Ya que la serie
n=0 a n (z z0 ) converge uniformemente sobre un dominio de convergencia,
entonces |pn (z)| < cuando n > n , y sea M el valor mximo de f(z) sobre .
Como n es independiente de z , la desigualdad | f(z)z (z)dz| < M L cuando n > n .

Al tomar el lim f(z)pz (z)dz = 0, por lo tanto:
n
n1
S(z)f(z) dz = lim an f(z)(z z0 ) dz = an f(z) (z z0 )n dz

n
n=0
Donde es la longitud de .
Ejemplo
1

La serie
=0(1) = , es continua sobre el contorno de punto inicial es 1, y el final es ,
alrededor del crculo | 1| < 1.
= (1) ( 1) = log()
1
=0
A lo largo de este subtema se ha estado hablando de dominios de convergencia, los cuales

estn definidos como |z| < R y |z z0 | < R que son crculos.
3.2.3. Teorema de Taylor

13
El teorema de Taylor proporciona la teora para determinar cundo es posible desarrollar una
funcin en serie de potencias.
Teorema de Taylor
Si () es analtica en un crculo con centro 0 y radio > 0, es decir | 0 | < . Entonces

=0 ( 0 ) tal que () = =0 ( 0 ) sobre | 0 | < y =
() (0 )
.
!
Demostracin
La demostracin es por casos, cuando 0 es cero y cuando es diferente de cero.
1. Sea 0 = 0, y el crculo de orientacin positiva || = que est contenido en un crculo
mayor || < 0 > .
La funcin satisface las hiptesis de la frmula integral de Cauchy, por ello al aplicarla se
obtiene:
1
()
2
Sea
[1 +
Al multiplicar por
2
2
()
2
+ +
1
1
1( )
] = + 2 + 2 3 + + 1 + () .
e integrar cada uno de sus trminos sobre obtenemos:
1
() (0)
(0)
(1) (0)
()
+1 =
= (0) +
+ +
+
= ()
( 1)! 2 ( )
2
!
1!
()
Donde = 2 () , para = 0,1,2,

Basta probar que el lmite de tiende a cero. Si , para || = escribimos:
|| + || = 0 | | y |()| sobre .
0

( ) con
)
0
0
0
Entonces | ()| (
< 1, ya que est en el interior de .
Al tomar el lim () = 0 y sustituirlo en se tiene que:
() =
=0
(0)
,
!
sobre || < 0 .
2. Ahora demostraremos el caso para 0 0.

Como (z) analtica en | 0 | < 0 , la funcin ( + 0 ) es analtica en |( 0 ) 0 | < 0 , es
decir || < 0 . Y supongamos que () = ( + 0 ), por ser analtica se tiene que.
() =
=0
() (0 )
(
!
0 ) = ( + 0 ) =
=0
() (0 )
(
!
0 ) , en | 0 | < 0 .

14
Cuando 0 = 0 en () =
=0
() (0 )
(
!
0 ) , a la serie se le llama serie de Maclaurin, y
cuando 0 0 se le llama serie de Taylor.

Ejemplos
1.
La funcin () = es entera, por lo tanto es posible expresarla como serie de

potencias, ya que () () = y () () = . Entonces la serie es
=
= en || <
, por lo tanto converge.

2.
La funcin seno integral se utiliza con frecuencia en problemas relacionados con

radiacin electromagntica, y se define:
,
() = {
1,
0
=0
2+1
El desarrollo en serie de potencia para =

=0(1) (2+1)!, al dividir la entre 0, se
2
tiene que:
=0(1) (2+1)! = 1
Por lo que () =
lim
0
2
3!
4
5!
con 0, al tomar el lmite encontramos que:
= (0) = 1.
Observa que la funcin seno integral es entera y puede expandirse como serie de potencias.
3.
Obtn los primeros tres trminos de la serie de Taylor, de la funcin () = , para

= , sobre || < .
La serie de Taylor puede encontrarse, ya que () es analtica en || < 1, adems ya

conocemos el desarrollo en serie de y
() =
1
,
1
2
entonces escribimos:
5 2
= (1 + + 2 + ) (1 + + + ) = 1 + 2 +
+
1
2!
2
El producto de las series es posible porque son absolutamente convergentes en su dominio de

convergencia (3.1.2).

15
Actividad 2.Convergencia de series complejas.
Al finalizar esta actividad podrs analizar y resolver series utilizando los criterios de
convergencia y el teorema de Taylor.
3.3. Expansin de funciones analticas

En el tema 3.2 aprendiste que una funcin analtica puede representarse por medio de una
serie de potencias dentro de un crculo de convergencia. En este subtema se utilizar el
teorema de Laurent para expandir series de potencias (positivas, negativas o ambas) en ms de
una regin.
3.3.1. Expansin de funciones analticas en series de potencias

Las funciones analticas tienen propiedades que permiten su expansin en series de potencias
en diferentes tipos de dominio de convergencia.
Definiciones
1. Una funcin () es analtica en el crculo de convergencia | 0 | < , si puede
representarme por medio de una serie de potencias.
2. Una funcin () es analtica en un conjunto , si es analtica .
Las definiciones anteriores las hemos estado utilizando de manera intuitiva en otros resultados
que involucran series de potencias.
Ejemplo.
1
n
2
1. La funcin () =
n=1 z = 1 + z + z + = 1z puede representarse como serie de
potencias y es analtica en el crculo | 1| < 1.

z2n
n
2. La funcin cos(z) =
n=0(1) (2n)!, tiene representacin en serie de potencias y adems es
analtica en todo el plano complejo. Las funciones que satisfacen la definicin 2, se les llama
enteras.
Teorema
Sea f(z) funcin analtica definida en la parte interior de un crculo de convergencia. Entonces:
n
f (z) =
n=0 na n (z z0 ) tiene el mismo dominio de convergencia que la funcin que se deriv.

16
Demostracin
n
Para demostrar el teorema basta probar que
n=0 a n (z z0 ) diverge en |z z0 | > R.
Sea z1 el nmero que satisface la desigualdad |z1 z0 | = R 0 con R 0 > R, esto implica que
R
n
n
an Rn0 = (nan Rn0 ) ( 0 ) es acotado, y por lo tanto
n=0 a n (z z0 ) converge uniforme y
absolutamente en |z z0 | < R 0 y |z z0 | R, pero esto contradice que R sea nico, por lo

tanto f(z) y f (z) tienen el mismo dominio de convergencia.
f(n) (z0 )
, ya que al aplicar induccin en f (n) para
n!
n+1=k k(k 1) de ah que para z = z0 , se tiene
En el teorema anterior, los coeficientes an =

f(z0 ) = a0 , hasta obtener a f (n) (z) = n! an +
f (n) (z) = n! an .
que
Ejemplo
1
z n
La funcin f(z) = 3z = 3
n=0 (3) , para z0 = 0, f es analtica en {3}, entonces puede
aplicarse el teorema anterior y obtener la derivada de f al diferenciar trmino a trmino la serie
de potencias de f:
n+1
n
f (z) =
n=0 (3(n+2) ) z = (3+z)2, cuyo dominio de convergencia es {3}.
Proposicin
Las expansiones en series de potencias sobre un mismo dominio de convergencia |z z0 | < R
con R > 0, son nicas.
Demostracin
n
n
Supongamos que
n=0 a n (z z0 ) = f(z) = n=0 bn (z z0 ) sobre el mismo disco de
convergencia |z z0 | < R, para n = 1,2,
f(n) (z )
n
Entonces por el teorema anterior an =
= bn , por lo tanto
n=0 a n (z z0 ) = n=0 bn (z
n!
z0 )n , y con esto queda demostrada la proposicin.
3.2.2. Teorema de Laurent

El teorema de Laurent dice que existe una expansin en serie de potencias (positivas, negativas
o ambas) de funciones analticas que dejan de serlo en el cero.

17
Definiciones
1. A la serie de la funcin f(z) se le llama de Laurent, si converge en cierto dominio y se
denota como:
f(z) = an (z z0 )n = + a1 (z z0 )1 + a0 + a1 (z z0 )1 +
2. Se le llama dominio anular al conjunto A formado por los z tales que R1 < |z z0 | < R 2
Teorema de Laurent
Si f(z) es analtica sobre un dominio anular A, tal que R1 < |z| < R 2 z , y sea contorno
cerrado simple de orientacin positiva alrededor de z0 A. Entonces
n=1
bn
f(z) = an (z z0 ) +
= an (z z0 )n
(z z0 )n
n
n=0
f(z)dz
(n+1)
0)
Dnde: an = 2i (zz
1
f(z)dz
(n+1)
0)
an = 2i (zz
para n = 0,1,2, Si f(z) es analtica sobre|z z0 | < R 2, entonces
f(n) (z0 )
.
n!
Demostracin
La demostracin se realiza en dos casos.
Caso 1
Para z0 = 0. Sea r1 |z| r2 contenido en R1 < |z| < R 2 , el contorno y el punto z0 se
encuentran en el interior de R1 < |z| < R 2 . Los crculos 1 = |z| < r1 y 2 = |z| < r2 con r1 < r2 ,
ambos con orientacin positiva. Y el crculo contenido en el anillo r1 |z| r2 . Entonces las
integrales
f(s)ds
f(s)ds
f(s)ds
(sz) (sz)
sz
2
= 0, satisfacen el teorema de Cauchy-Goursat.
Al aplicar la frmula integral a la tercera integral se obtiene que:

f(s)ds
(sz) = 2if(z) f(z) = 2i
f(s)ds
1
f(s)ds
2i sa .
sz
1
1
Observamos que en la primera integral la funcin sz = s + z s2 + + z n ((sz)sn ) y en la

segunda
1
sz
1
z
= +(
1 )
1
z2
++
1 sn
( ),
zn zs
de ah que:
f(z) = a0 + a1 z + a2 z 2 + + an1 z n1 + pn (z) +
b1 b2
bn
+ 2 + + n + qn (z)
z z
z

18
f(s)ds
, con n = 0,1,2, y
sn+1
n
z
f(s)ds
1
sn f(s)ds
,
q
=
.
n
n
n
2i 2 (sz)s
2iz 1 (zs)
1
Para an = 2i
pn =
bn = 2i
f(s)ds
1 sn+1
, n = 1,2, y los
Ahora tomemos el crculo |z| = R que satisface r1 < R < r2 y el mximo valor de la funcin
|f(s)| sobre 1 y 2 . Basta probar que las funciones pn (z) y qn (z) tienden a cero, cuando n
tiende a infinito.
Si s 2 , entonces |s z| r2 r y si s 1, entonces |z s| r r1 . Lo que permite
Mr2 r n
( )
2 r r2
establecer que: |pn (z)| r
Mr1 r n
( ) ,
1 r r1
y |qn (z)| r
ya que r < 1 y r < 1. Entonces
ambas funciones tienen a cero cuando n tiende a infinito. Como r1 es interior a r2 , ambas
b
n
pueden sustituirse por , entonces f(z) =
n=0 a n (z) + n=1 (z)n para z0 = 0.
Caso 2
Para z0 0. Sea f(z) es analtica sobre un dominio anular A, tal que R1 < |z| < R 2 z , y
sea contorno cerrado simple de orientacin positiva alrededor de z0 A. La funcin g(z) =
f(z + z0 ), ya que f es analtica por hiptesis sobre R1 < |z z0 | < R 2 entonces f(z + z0 ) es
analtica sobre R1 < |(z + z0 ) z0 | < R 2 , es decir g(z) es analtica sobre R1 < |z| < R 2 .
Ahora tomemos a y su representacin paramtrica z = z(t) con t [a, b], entonces:
R1 < |z(t) z0 | < R 2 t [a, b], sea una trayectoria z = z(t) z0 con t [a, b], sobre el
dominio R1 < z < R 2 , por lo tanto:
b
n
g(z) = f(z + z0 ) =
n=0 a n (z z0 ) + n=1 (zz )n sobre R1 < |z| < R 2 , donde
0
an =
1
f(z)dz
2i (zz0 )(n+1)
g(z)dz
zn+1
y bn =
b f(z(t))z (t)dt
= a
(z(t)z0 )n+1
1
f(z)dz
2i (zz0 )(n+1)
ambos resultados son posibles, ya que
f(z)dz
n+1 .
0)
= (zz
Observacin
Existen casos en que = 0, esto indica que la funcin es analtica sobre |z 0 | < R.
Ejemplos
1. La funcin tiene un desarrollo de Taylor en = , sobre la regin || < .

19
Qu pasara si al realizar un cambio de variable en construimos otra nueva
serie? Encuentra la serie de Laurent para la funcin () =
< || < .
para = , sobre
Solucin
Es posible encontrar el desarrollo, porque la funcin satisface las hiptesis del teorema de
Laurent.
zn
n!
Resulta sencillo realizar el cambio de variable, si recordamos que ez =

n=0 , al cambiar la
variable, tenemos que ez
=
n=0 n!zn = 1 + z + 2!z2 + Ya que los coeficientes de las
potencias positivas son cero, slo aparecern en la serie de Laurent las potencias negativas.
2. Aplica el teorema de Laurent a la funcin () = para = , sobre <

| | < .
Solucin
Es importante reconocer el dominio de convergencia, ya que esta funcin tiene tres dominios
en los que puede desarrollarse la serie de Laurent.
Primero reescribe la funcin en otra que te permita determinar su desarrollo al asociarla con
alguna funcin ms familiar.
1
1
1
1
() = (
) (
) = 1 2(+1)
11
12
=1
Ya que (
1
1
(+1)
y (
) =
=0
1
1
(+1)
) =
=0 2
El desarrollo de Laurent para una funcin () sobre 1 < | 0 | < 2 es nico, dicha
propiedad implica que es entera sobre el dominio de convergencia de la serie de potencias.
Criterios de convergencia para series de Laurent
Si () = es una funcin que puede desarrollarse como una serie de Laurent, entonces:
|+1 |
| |
lim | | = lim
=
1
a) Para 0, () converge absolutamente , sobre | 0 | >

b) Si = 0, () converge absolutamente .
c) Si = , () converge en = 0 .

20
Actividad 3. Series de potencias
Al finalizar esta actividad podrs analizar y resolver series de potencia aplicando el teorema de
Laurent.
Evidencia de aprendizaje: Anlisis complejo

Es momento de realizar tu evidencia de aprendizaje, donde tendrs que resolver
problemas de integrales de variable compleja, podrs utilizar toda la teora que
aprendiste durante la unidad para encontrar la solucin.
Cierre de la unidad
Lo que aprendiste en esta unidad te ayudara a entender otras aplicaciones (transformada z) y
mtodos (Teorema del residuo) que te sern tiles para resolver problemas de fsica e
ingeniera electrnica.
Para saber ms
Usa el programa Wolfram en http://www.wolframalpha.com/ para comprobar los resultados de
los ejemplos utilizados en esta unidad.
Revisa los contenidos de la asignatura Clculo Integral (fracciones parciales), Clculo de varias
variables I, II y Variable compleja I, Anlisis matemtico I.
Revisa el captulo 9 del link http://www.unizar.es/analisis_matematico/varcompleja/apuntes/09residuos.pdf para leer sobre el Teorema del Residuo.
Revisa el captulo 12 del link http://imerl.fing.edu.uy/varcompleja/2006/notas/Cauchy12.pdf para
leer sobre los tipos de singularidades que presentan las funciones analticas.
Revisa el captulo Transformada Z del link http://www.uv.es/~soriae/tema_3_pds.pdf para leer sobre la
transformada z.
Referencias Bibliogrficas
Rudin, W. (1987). Anlisis real y complejo. (3 Edicin). Madrid. MacGraw-Hill.

21
Churchill. Ral. (1996). Variable compleja y sus aplicaciones. (5 Edicin). Madrid.

MacGraw- Hill.

22

U3. Series Complejas

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

U3. Series Complejas

Uploaded by

Copyright:

Available Formats

Variable compleja II

Unidad 3. Series complejas

Universidad Abierta y a Distancia de Mxico

Unidad 3. Series complejas

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

Aplicar las herramientas que proporciona el anlisis complejo.

3.1. Series complejas

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

=1 = 1 + 2 + , cuya construccin es:

Las sumas forman la n-sima suma parcial () = =1 () de la serie infinita

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

2. Sea { } tal que = es una sucesin de funciones:

3. Sea , si la serie infinita de nmeros

= =1 y tiene por lmite a lim = .

4. La convergencia de una serie se sigue cumpliendo para:

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

converge uniformemente sobre alguna regin , es decir > 0, 0 tal que se

El lmite de una sucesin o serie si es que existe, es nico.

= 1 + + 2 + serie geomtrica compleja sobre el dominio de convergencia || < 1,

Para los nmeros n1 , n2 < n0 se satisfacen las desigualdades |xn x| < 2 y

n=1 zn = S, si y slo si n=1 xn = X y n=1 yn = Y.

lim X n = X y lim Yn = Y, para j = 1,2,3, , n. Por lo tanto

Ahora supongamos que

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

Sea fn (z) = un (x, y) + ivn (x, y), la serie

n=1 un (x, y) = u (x, y) y n=1 vn (x, y) = v (x, y).

El conjunto A se llama dominio de convergencia

converge uniformemente sobre || < 1, ya que cada una de las es

continua sobre || < 1.

Algunas de las siguientes propiedades te sern familiares, ya que las aprendiste en la

2. Para cualquier nmero k , se cumple

5. Para una sucesin cuyo lim zn = z, existe M + tal que |zn | M, n .

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

a) si el lmite < 1, la serie converge absolutamente.

4. De Weierstrass: Sea fn (z) sucesin de funciones bien definidas sobre A , y

1. Por medio del criterio de la raz, determina si la serie

< 1, por ello la serie converge.

| = |4| < 1 por lo tanto

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

(1)n 2n+1 nz 2n, entonces | n+1

= 2|z 2 | < 1, por lo tanto |z| <

Supongamos que Mn = n2 , entonces

S(z)dz = f1 (z) + f2 (z) +

serie que converge uniformemente sobre |z| < R <

1. Al diferenciar trmino a trmino obtenemos que:

y el final es z0 . Por el teorema de integracin trmino a trmino, la integral de

= 0 0 1z dz = log(1 z)00 = log (1z ) en |z| < R < 1.

Actividad 1.Series complejas

3.2.1. Tipos de convergencia (absoluta, uniforme)

< m < 1. Esto implica que:

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

cuando |eiz | < 1, S

converge uniformemente sobre su dominio de convergencia.

3.2.2. Diferenciacin e integracin de series de potencias

positiva. Ahora definimos la funcin f(s) = 2i(s(zz

, la cual existe s , por ser S(z)

analtica (subtema 3.2.1), se puede multiplicar de la siguiente forma:

Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas

S(z)f(z) dz = an f(z) (z z0 )n dz + f(z)pz (z)dz

Como n es independiente de z , la desigualdad | f(z)z (z)dz| < M L cuando n > n .

S(z)f(z) dz = lim an f(z)(z z0 ) dz = an f(z) (z z0 )n dz

alrededor del crculo | 1| < 1.