Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series Complejas PDF
Series Complejas PDF
G ARMENDI A
CAPTULO 3
Series complejas
siguientes, tanto las series de potencias como las series de Laurent tienen una
potencias en dicho punto, es decir, es analtica en dicho punto, y por otra parte
complejo.
la seccin 4.
este captulo.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 113
COMPLEJOS
forma que las sucesiones y series de nmeros reales. As, una sucesin de
+
representa de la forma ck .
k =1
Definicin 3.1.1:
lmite c si para todo > 0 existe un nmero natural m tal que para todo n > m
Es decir,
Proposicin 3.1.1:
Si c n = a n + ib n y c = a + ib se tiene:
lm c n = c lm a n = a y lm b n = b.
n n n
Definicin 3.1.2:
Proposicin 3.1.2:
Definicin 3.1.3:
+
asociada ck es convergente si la sucesin de las sumas parciales S n =
k =1
n
ck converge. Es decir:
k =1
+ +
ck = lm S n > 0 existe m N tal que n > m, |
n
ck | < .
k =1 k =n
+
de la serie: ck = S.
k =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 115
+
En funcin de su conveniencia, se utilizar tambin la notacin ck , en
k =0
Proposicin 3.1.3:
+ + +
Entonces: ck converge ak y bk convergen.
k =1 k =1 k =1
+ +
comportamiento de las series de nmeros reales ak y bk para analizar la
k =1 k =1
+
convergencia de la serie compleja ck . Se pueden utilizar entonces los
k =1
series complejas.
Corolario 3.1.4:
+
Una condicin necesaria (no suficiente) para que la serie ck sea
k =1
convergente es que lm c n = 0.
n
Definicin 3.1.4:
+
La serie ck es absolutamente convergente si la serie real de sus
k =1
116 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
+
mdulos ck converge.
k =1
+
Si la serie ck es absolutamente convergente, como |a k | |c k | y |b k |
k =1
+ +
series reales ak y bk , y como consecuencia de ello la convergencia de
k =1 k =1
+ + +
las series ak , bk y c k . Se deduce entonces, igual que en el caso real,
k =1 k =1 k =1
la serie.
+
Dada una serie compleja ck se tienen entonces tres series reales
k =1
asociadas a ella:
+ + +
Re( ck ) , Im( c k ) y ck .
k =1 k =1 k =1
series complejas. Son de especial utilidad los criterios de la raz y del cociente,
+
lim sup n | c
n
n | . Si L es menor que 1 la serie c n converge absolutamente, y
n =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 117
cn +1
Sea {c n }, n N una sucesin de nmeros complejos, y sea L = lim
n cn
+
. Si L es menor que 1 la serie cn converge absolutamente, y si L es mayor
n =1
cn +1
entre s, ya que si existe lim entonces tambin existe lim n | cn | y
n cn n
ambos coinciden.
Ejemplos resueltos
n+i
Ejemplo 3.1.1: Estudiar la convergencia de la sucesin c n = .
ni
( n + i )2 n2 1
La sucesin c n se puede expresar como c n = = +
( n i )( n + i ) n2 + 1
2ni
.
n2 + 1
118 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
n2 1
La sucesin de nmeros reales a n = es convergente y tiende a 1, y
n2 + 1
2n
la sucesin b n = tambin es convergente y tiende a 0. Por tanto la
n2 + 1
sucesin c n es convergente y lm c n = 1.
n
1 + ( 2 ) n i
Ejemplo 3.1.2: Estudiar la convergencia de la sucesin c n = .
2n
1
La parte real es la sucesin de nmeros reales a n = , que converge a
n
2
( 2 ) n
0. Pero la parte imaginaria b n = es una sucesin de nmeros reales que
n
2
+ +
Ejemplo 3.1.3: Demostrar que la serie geomtrica ck = ck ,
k =0 k =0
En efecto, si
cS n = c + c2 + + cn+1.
1 c n +1
S n (c 1) = cn+1 1, y por tanto S n = .
1 c
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 119
+
c k = nlm
1
Si |c| < 1, al hacer tender n a infinito S n = .
k =0
1 c
in
Ejemplo 3.1.4: Estudiar la convergencia de la serie n
n =1
in
1 i 1 i 1 1 1 1
La serie =i + + = ( + + ) + i(1
n =1
n 2 3 4 5 2 4 6 3
in ( 1) n ( 1) n +1
1 1
+ + ). Se tiene entonces que = +i .
5 7 n =1
n n =1
2n n =1
2n 1
in
montonas decrecientes y por tanto convergen. La serie n
es entonces
n =1
in
1
= es la serie armnica, que diverge.
n =1
n n =1
n
Ejercicios
1 n
3.1. Demostrar que la sucesin c n = 1 + i converge a 1.
n3
1 1 n
3.2. Demostrar que la sucesin c n = ( + i) converge a 0.
2 2
1 + 2n i
3.3. Demostrar que la sucesin c n = converge a i.
2n i
120 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
n +2 2n + 3
a) n 3
+
n4
i
n =1
1 1
b) ( + i)n
n =0
2 2
COMPLEJAS
la misma forma que las sucesiones y series de funciones reales. Dada una
+
la sucesin {f n (z)} nN o de la serie asociada fn ( z ) son anlogos al caso de
n =1
lmite.
Definicin 3.2.1:
Definicin 3.2.2:
Es decir, para cada z 0 G y para cada > 0 existe m N tal que n > m,
Definicin 3.2.3:
f(z0 ).
Definicin 3.2.4:
para cada > 0 existe m N tal que para todo z G y todo n > m se verifica
conjunto G sea uniforme es preciso que para cada > 0 fijado exista un trmino
conjunto G C.
Definicin 3.2.5:
+
La serie fn ( z ) converge en el punto z 0 G si la serie de nmeros
n =1
+
complejos fn ( z0 ) converge. Es decir, si para cada > 0 existe m N tal que
n =1
+
n > m, se verifica que | fk ( z0 ) | < .
k =n
Definicin 3.2.6:
+ +
La serie fn ( z ) converge puntualmente en G si la serie fn ( z0 )
n =1 n =1
Definicin 3.2.7:
+
La serie fn ( z ) converge absolutamente en z 0 G (respectivamente
n =1
+ +
en G) si la serie | fn ( z0 ) | converge (resp. | fn ( z ) | converge en todo z G).
n =1 n =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 123
Definicin 3.2.8:
+
La serie fn ( z ) converge uniformemente en G si para cada > 0 existe
n =1
+
m N tal que para todo z G y n > m, se verifica que | fk ( z ) | < .
k =n
+
Sea fn ( z ) una serie de funciones complejas definidas en un
n =1
subconjunto G del plano complejo, tales que para cada n N existe una
constante M n que verifica |f n (z)| M n, z G, y M n < . Entonces
n =1
+
fn ( z ) converge absolutamente y uniformemente en G.
n =1
zn
Por ejemplo, la serie n
converge uniformemente y absolutamente en
n =1
el conjunto A r = {z; |z| r }, siempre que r sea un nmero real tal que 0 r <1,
zn
pues en este caso se tiene que
n
rn = M n , y
r n converge si r < 1. En
n =1
zn
consecuencia, la serie n
converge puntualmente en A 1 = {z; |z| < 1} y
n =1
+
De la convergencia puntual de una serie fn ( z ) en un conjunto G se
n =1
deduce la existencia de una funcin f(z) definida en G tal que para cada z G
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 125
+
f(z) = fn ( z ) .
n =1
Definicin 3.2.9:
+
Dada una serie fn ( z ) convergente en un conjunto G, se llama suma de
n =1
+
As, la serie geomtrica z k , que como se ha comprobado en el
k =0
ejemplo 3.1.2. es convergente para todo valor de z tal que |z| < 1, define una
funcin f(z) en el interior del disco unidad, B 1 (0), que representa la suma de la
+
1 1
serie y es precisamente , por lo que zk = , si |z| < 1.
1 z k =0
1 z
+
caso anterior, en el que zk es una serie geomtrica.
k =0
derivabilidad
las buenas propiedades de las funciones que definen la serie. Los teoremas
126 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
que aseguran las condiciones que se precisan son los mismos que en el caso
Proposicin 3.2.2:
+
Si las funciones f n (z) son continuas en G y la serie fn ( z ) converge
n =1
Proposicin 3.2.3:
+
Si las funciones f n (z) son derivables en G, la serie fn ( z ) converge en
n =1
+
un punto z0 G y la serie de las derivadas fn ( z ) converge uniformemente
n =1
+
en G, entonces la serie fn ( z ) converge uniformemente en G a una funcin
n =1
+
derivable f(z) y se tiene que f(z) = fn ( z ) .
n =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 127
Ejemplos resueltos
+
Ejemplo 3.2.1: Estudiar la convergencia de la serie fn ( z ) =
n =0
n
1 z n
2
1+ z
en el conjunto G {z = x + iy; x 0}.
n = 0
+
1 z
Si
1+ z
1 se tiene que
| fn ( z ) |
2 n , serie geomtrica
n =0 n =0
1 z
convergente, por lo que por el criterio de Weierstrass, si 1 la serie
1+ z
2
1 z ( x 1) 2 + y 2 1 z
Si z G, se tiene que = 1 1 y por tanto
1+ z ( x + 1) 2 + y 2 1+ z
1 z 1 z
Esta serie es una serie geomtrica de razn y como =
2( 1 + z ) 2( 1 + z )
1 1 z 1
< 1 si z G , la serie se puede sumar en G y se tiene
2 1+ z 2
+
2( 1 + z ) 2( 1 + z )
fn ( z )
1
= = = .
n =0
1 z 2( 1 + z ) ( 1 z ) 1 + 3z
1
2( 1 + z )
1 z
complejo tales que < 1, es decir, al conjunto de puntos z = x + iy tal
2( 1 + z )
128 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
10
que (x 1)2 + y2 < 4((x + 1)2 + y2) 3 [ x2 + y2 + x +1] > 0
3
5 2 16
(x + ) + y2 > 0.
3 9
5 4
que |z + | > , es decir, converge en el exterior del disco de centro el
3 3
5 4
punto y de radio .
3 3
Ejercicios
n 1
2 z
3.5. Estudiar la convergencia de la serie
2+ z
3 n 1 en el
n =0
a) ( 2z 1) n +1 4 n +1 .
n =0
n
2
b)
2 + z
n =0
c) ( 1 2z ) n + 1 4 n + 1
n =0
enz
3.7. Demostrar que la serie n2 converge en la regin {z; Re z < 0}.
n =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 129
Definicin 3.3.1.
forma c n ( z z0 ) n , con cn C.
n =0
+
zn
La serie geomtrica z n y la serie n
que se han estudiado en
n =0 n =1
1
1y . Ambas series convergen uniformemente en cualquier disco cerrado de
n
convergencia de una serie de potencias. La serie c n ( z z0 ) n converge
n =0
Proposicin 3.3.1:
Si la serie c n ( z z0 ) n converge en un punto z1 z 0 , entonces
n =0
< |z1 z 0 |.
Demostracin:
Como la serie numrica c n ( z1 z0 ) n converge, el trmino general de
n =0
n
( z z0 ) n n ( z z0 ) n r
c n ( z z0 ) n
= cn ( z1 z0 ) M M = Mn.
( z1 z 0 ) n ( z1 z0 ) n z1 z0
r
Al ser |z1 z 0 | > r, la serie de nmeros reales Mn = M
n =1
z z0
n =1 1
de la serie c n ( z z0 ) n en el disco B r(z0 ), r < |z1 z0|.
n =0
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 131
Corolario 3.3.2:
Si la serie c n ( z z0 ) n converge en un punto z1 z0, y no converge
n =0
en otro punto z2 , existe un nmero real R > 0 tal que la serie converge en
Demostracin:
Basta tomar R = sup{s ; z C, |z z0 | = s y c n ( z z0 ) n
n =0
de potencias c n ( z z0 ) n adems de converger en z 0 converge en algn
n =0
importante observar que este disco puede tener radio infinito, en cuyo caso la
Definicin 3.3.2:
Se llama radio de convergencia de la serie c n ( z z0 ) n al nmero
n =0
1
R= ,
n
l im sup | c n |
n
1 1
con el convenio de que = y = 0.
0
+
As, la serie geomtrica z n converge si |z| < 1 y diverge si |z| > 1.
n =0
zn
Para estudiar el radio de convergencia de la serie n
se puede
n =1
z n +1 /( n + 1) zn |z|.
lm = lm =
n zn / n n n + 1
La serie entonces converge si |z| < 1 y diverge si |z| > 1, por lo que su
radio de convergencia es 1.
zn
serie n2 y se obtiene que tambin es 1.
n =1
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 133
Definicin 3.3.3:
Se llama disco de convergencia de la serie c n ( z z0 ) n al disco
n =0
puntos la serie converge, y el exterior del disco, es decir, los puntos z del plano
tales que |z z0 | > R, donde la serie diverge. En los puntos de la frontera entre
dar lugar a situaciones diferentes, como se puede apreciar en los ejemplos que
se acaban de estudiar:
+
zn zn
Las series zn , n
y n2 tienen el mismo radio de
n =0 n =1 n =1
ver a continuacin.
+
La serie geomtrica zn no converge en ningn punto de la
n =0
zn
La serie n
se comporta de manera diferente en los puntos de la
n =1
zn
Por ltimo, la serie n2 converge absolutamente en todos los puntos
n =1
zn
n2 n2
1
de la circunferencia unidad, puesto que si |z| = 1 se tiene que =
n =1 n =1
, que es convergente.
Ejemplos resueltos
+
Ejemplo 3.3.1. Calcular el radio de convergencia de la serie nz n .
n =0
n +1
Aplicando el criterio del cociente: lm ( n + 1)z = lm
( n + 1)z
= |z|.
n nz n n n
Por tanto, la serie converge si |z| < 1 y diverge si |z| > 1, con lo cual su
radio de convergencia es 1.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 135
zn
Ejemplo 3.3.2. Calcular el radio de convergencia de la serie n !
.
n =1
para todo z. Esto quiere decir que la serie converge en todo el plano complejo y
+
(1 + ( 1)n )n z n .
n =0
1 1 1 1
R= = = = .
n n n
l im sup( 1 + ( 1) ) 2
l im sup | c n | l im sup | ( 1 + ( 1) n ) n | n
n n
+ +
teniendo en cuenta que ( 1 + ( 1) n ) n z n = 2 2n z 2n ; aplicando el criterio
n =0 n =0
+
Ejemplo 3.3.4. Calcular el radio de convergencia de la serie n! z n .
n =0
( n + 1)! z n +1 =
lm lm (n + 1)z =
n n! z n n
136 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
sea cual sea el valor de z. Esto quiere decir que la serie diverge en todo el
compleja.
c n ( z z0 ) n = f(z).
n =0
+
Este es el caso de la serie geomtrica z n , que define la funcin f(z) =
n =0
1
para todo z tal que |z| < 1.
1 z
0 1
Proposicin 3.3.3:
Dadas dos funciones f(z) y g(z), definidas como series de potencias tales
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 137
que f(z) = c n ( z z0 ) n , con un radio de convergencia R 1, y g(z) =
n =0
d n ( z z0 ) n , con un radio de convergencia R2, 0 R1 R2, se tiene que:
n =0
(f + g)(z) = ( c n + d n )( z z0 )n
n =0
n
(fg)(z) = p n ( z z 0 ) n , con p n = c j d n j ,
n =0 j =0
propiedades dentro del disco de convergencia. Ello es debido a que una serie
Definicin 3.3.4:
Dada la serie c n ( z z0 ) n definida en B R (z0 ), con radio de
n =0
convergencia R, se llama serie derivada a la serie nc n ( z z0 ) n 1 .
n =0
se presentan a continuacin.
Proposicin 3.3.4:
Las series c n ( z z0 ) n y nc n ( z z0 ) n 1 tienen el mismo radio de
n =0 n =0
convergencia.
Demostracin:
Sea R el radio de convergencia de la serie c n ( z z0 ) n . Para obtener
n =0
( )
n
lm sup n 1 | nc n | = lm sup n | nc n | n 1 = lm sup n | c n | = 1 .
n n n R
Proposicin 3.3.5:
Si f(z) = c n ( z z0 ) n converge en B R(z0), f(z) es derivable en B R(z0) y
n =0
f(z) = nc n ( z z0 ) n 1 para todo z de B R (z 0 ).
n =0
Demostracin:
Proposicin 3.3.6:
Si f(z) = c n ( z z0 ) n converge en B R (z 0 ), f(z) es infinitamente
n =0
derivable en B R (z0 ).
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 139
Demostracin:
Proposicin 3.3.7:
f ( n ( z0 )
Si f(z) = c n ( z z 0 ) n converge en B R (z 0 ), se tiene que c n =
n!
,y
n =0
f ( n ( z0 )
f(z) = n!
( z z0 ) n .
n =0
Demostracin:
En virtud de la proposicin 3.3.5. se tiene que f(z) = nc n ( z z0 ) n 1
n =0
f(z) = n( n 1)c n ( z z0 ) n 2
n =0
k)
f (z) = n( n 1)( n k + 1)c n ( z z0 )n k
n =0
por lo que fk)(z0 ) = k!c k y c k = fk)(z 0 )/k!, con lo cual la serie de potencias que
Proposicin 3.3.8:
Si f(z) = c n ( z z0 ) n es igual a cero en un entorno del punto z0 , debe
n =0
Demostracin:
cero, y por tanto los coeficientes de la serie deben ser 0. Se tiene as que,
dominio de convergencia.
pueden debilitar de manera que basta que f(z) se anule en una sucesin de
puntos zn z0 para asegurar que la funcin tiene que ser idnticamente nula
Proposicin 3.3.9:
Si las series an ( z z0 ) n y bn ( z z 0 ) n tienen el mismo radio de
n =0 n =0
estrecha relacin que existe entre una serie y su serie derivada. Esta relacin
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 141
Ejemplos resueltos
+
n( z i ) n 1
Ejemplo 3.3.5. Estudiar la convergencia de la serie 5n
y
n =0
calcular su suma.
+ +
n( z i ) n 1 ( z i )n
La serie 5n
es la serie derivada de la serie 5n
, que
n =0 n =0
+
zi ( z i )n
es una serie geomtrica de razn
5
y, por tanto, la serie
n
n =0 5
+
n( z i ) n 1
derivada, con lo que el disco de convergencia de la serie 5n
es
n =0
B 5 (i).
+
( z i )n
Para obtener su suma se puede utilizar de nuevo la serie 5n
, ya
n =0
que al ser una serie geomtrica se puede sumar fcilmente y coincide en B 5 (i)
1 5
con la funcin f(z) = = , por lo que obteniendo su derivada:
zi 5+i z
1
5
142 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
+
n( z i ) n 1
5
= f(z) = .
n
n =0 5 ( 5 + i z )2
+
Ejemplo 3.3.6. Estudiar la convergencia de la serie nz n utilizando su
n =0
+
Otra forma de resolver el problema es la siguiente. La serie nz n = z
n =0
+ + +
nz n 1
. Como la serie nz n 1
es la serie derivada de z n , se tiene
n =0 n =0 n =0
+ +
que el radio de convergencia de nz n
es el mismo que el de z n , y por
n =0 n =0
tanto vale 1.
+ +
La serie nz n se puede expresar como z nz n 1 y como la serie
n =0 n =0
+ +
nz n 1 es la serie derivada de zn
1
= en el disco B 1 (0), se tiene que
n =0 n =0
1 z
+ +
nz nz n
n 1 1 z
= . Por tanto = , z B 1 (0).
2
n =0 (1 z ) n =0 (1 z )2
3
coincide con la funcin f(z) = en algn disco del plano complejo y
1 2z
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 143
( 2z ) 2 n z n , que converge si |2z| < 1, es decir si |z| <
n 1
f(z) = 3 =3 .
n =0 n =0
2
2z + 1
Ejemplo 3.3.8. Obtener una representacin de la funcin f(z) = en
1 z
convergencia.
3
f(z) = 2 + = 2 + 3 z n = 1+ 3 z n , que tiene como dominio de
1 z n =0 n =1
Ejercicios
+
2 n ( 2z i ) n
2
a)
n =0
+
3n
b) 2n + n ( z + i )n
n =0
144 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
+
z 2n +1
c) 4n 2
n =0
+
n! z n 1
d) n n 2n
n =1
+
( 2 + i )n ( z + 2 i )n .
1
e)
n =0
3
a)
(1 z )2
2z + 1
b) .
(1 z )2
3.10. Calcular, para los valores de z que sea posible, la suma de las
series:
+
zn
a) n
n =0
+
z 2n + 1
b) 2 n + 1
.
n =0
tan buenas propiedades motiva el que se las considere como un grupo especial
Definicin 3.4.1:
forma:
f(z) = c n ( z z0 ) n en B R (z0 ), con R > 0.
n =0
de potencias en un entorno de z0 .
f ( n ( z0 )
de la funcin en z 0 , n!
( z z0 ) n , tiene radio de convergencia R
n =0
+
1
As, la funcin f(z) = es analtica en el punto 0 porque f(z) = zn
1 z n =0
Definicin 3.4.2:
sin demostracin.
Proposicin 3.4.1:
convergencia de la serie. Es decir, si f(z) = c n ( z z0 ) n en B R (z 0 ), con R >
n =0
1
La proposicin 3.4.1 permite asegurar que la funcin f(z) = no slo
1 z
es analtica en el punto 0, sino que tambin es analtica en todo el disco |z| < 1.
siguiente propiedades:
funcin analtica.
correspondientes desarrollos en .
zn
complejo, puesto que ez = n !
, que tiene radio de convergencia infinito y
n =0
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 147
alrededor de z = 0 de la forma:
( 1) n z 2n +1 ( 1) n z 2n
sen z = ( 2n + 1)!
, cos z = ( 2n )!
.
n =0 n =0
convergen en todo C.
z 2n +1 z 2n
senh z = ( 2n + 1)!
, cosh z =
(
2 n )!
,
n =0 n =0
que tienen tambin radio de convergencia infinito y por tanto convergen en todo
C.
( 1) n z n +1
Log (1 + z) = n + 1
,
n =0
analtica en los restantes puntos del plano complejo, es decir, en todo el plano
La proposicin 3.4.1. asegura que una funcin f(z) definida como una
serie de potencias, f(z) = c n ( z z0 ) n , es analtica en todo el disco B R(z0),
n =0
1
y permite asegurar que la funcin f(z) = es analtica en todo el disco |z| <
1 z
1
1. Pero la funcin f(z) = es un cociente de polinomios, y por tanto es
1 z
1, y por tanto es razonable pensar que se pueda extender el dominio del plano
Dada la serie c n ( z z0 ) n convergente en B R (z0 ) y dado z 1 B R (z 0 ),
n =0
existe una serie d n ( z z1 )n , con radio de convergencia R1 tal que si z
n =0
demostracin.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 149
Proposicin 3.4.2:
Dada f(z) = c n ( z z0 ) n con radio de convergencia R > 0, y dado un
n =0
f ( n ( z1 )
punto z 1 B R (z 0 ), la serie n!
( z z1 ) n tiene radio de convergencia R 1
n =0
f ( n ( z1 )
R |z 1 z0 | > 0 , y define una funcin g(z) = n!
( z z1 ) n tal que g(z)
n =0
= f(z) si z B R (z 0 ) BR1 ( z1 ) .
zn
La serie 2 n +1 tiene radio de convergencia R = 2 y define en el disco B 2 (0)
n =0
zn
1 1 1 1
la funcin f(z) = = = .
2 n =0 2 n 2 z 2z
1
2
1 2
Las derivadas sucesivas de f(z) son: f(z) = , f(z) = , ...,
( 2 z )2 ( 2 z )3
n!
fn)(z) = .
( 2 z ) n +1
f ( n ( 1) ( z + 1) n
Sea ahora z1 = 1 B 2 (0). La serie
n!
( z + 1) n =
n +1
n =0 n =0 3
( z + 1) n
1
que coincide con f(z) en B 2 (0) B 3 (1) puesto que g(z) = =
n =0 3 n +1 3
1 1
= = f(z). La funcin g(z) se denomina prolongacin analtica de
z +1 2z
1
3
150 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
f (n(i ) ( z i )n
B 2 (0), por ejemplo, en z2 = i, la serie n
(z i ) = n +1
tiene
n =0 ( 2 i )
n =0
n!
( z + 1) n ( z i )n
Las funciones g(z) = n +1
y h(z) = ( 2 i ) n +1 son
n =0 3 n =0
C r
(0, 2)
(-1, 3)
(i, 5 )
-4 -3 -1 0 1 2 3
1
el captulo 5). En el ejemplo anterior, la funcin f(z) = tiene una
2z
puntos i y 2.
Ejemplos resueltos
2z + 3
Ejemplo 3.4.1. Estudiar si la funcin f(z) = es analtica en el punto
z 1
z =1.
5
2z + 3 5 5 2
La funcin f(z) = =2+ =2 =2 =
z 1 z 1 2 ( z + 1) z +1
1
2
n
z + 1
5
= 2 , es, por tanto, desarrollable en serie de potencias
2 n = 0 2
2z + 3
para la funcin f(z) = , de manera que en la nueva regin est contenido
z 1
el punto z = 1 + i.
152 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
est contenido en la nueva regin, basta tomar un punto adecuado del disco |z
+ 1| < 2, tal que su distancia al punto 1 + i sea menor que su distancia al punto
5
2z + 3 5 5 1 i =
f(z) = =2+ =2 =2
z 1 z 1 1 i ( z i ) zi
1
1 i
n
zi
5
=2 , que converge si |z i| < |1 i| = 2.
1 i n = 0 1 i
Ejercicios
de las funciones
a) f(z) = sen(2z)
b) f(z) = cos(z2)
c) f(z) = z3sen(z2) +1
z2
d) f(z) =
2z 3
z3 z
e) f(z) = .
2z + 2
de las funciones:
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 153
z2
a) f(z) =
2z 3
z2 + z
b) f(z) = .
2z + 2
z
c) f(z) =
z3
z2 + z
d) f(z) = .
z+2
senz
3.13.Estudiar si la funcin f(z) = si z 0, f(0) = 0, es analtica en C.
z
cos z 1 1
3.14.Estudiar si la funcin f(z) = si z 0, f(0) = , es analtica
2 2
z
en C.
ez 1
3.15. Estudiar si la funcin f(z) = si z 0, f(0) = 1, es analtica en C.
z
puede resolverse sin introducir algunos conceptos, puesto que las series del
( z + 1) 2 1
1. f(z) = =z+2+ .
z z
1 11 1 1 1
2. g(z) = = = (1 + z + z2 + ...) = + + 1 + z + z2 + ...
2 1 z 2 2
z 2 (1 z ) z z z z
1
1 1 1 1 1 1
3. h(z) = exp = =1+ + + ... + + ...
z n =0 n! z n z 2z 2 n! z n
dominio de convergencia de las series que las definen. Las series de potencias
Definicin 3.5.1:
forma
c n ( z z0 ) n
= c n ( z z0 ) n
+ c n ( z z0 ) n .
n = n =0 n =1
analtica de la serie. La segunda est formada por los sumandos con potencias
zn
Un ejemplo es la serie |n|
, que representa a la suma de las series
n = 2
zn zn
2n 2n z n .
1
= +
|n|
n = 2 n =0 n =1
Definicin 3.5.2:
La serie de Laurent c n ( z z0 ) n converge si convergen la parte
n =
c n ( z z0 ) n = c n ( z z0 ) n + c n ( z z 0 ) n .
n = n =0 n =1
Para investigar la convergencia de la serie de Laurent c n ( z z0 ) n
n =
La parte analtica c n ( z z0 ) n es una serie de potencias y por tanto
n =0
potencias.
c n ( z z 0 ) n .
1
c n =
n
n =1 ( z z0 ) n =1
El dominio de convergencia de una serie doble es, por tanto, una corona
convergencia.
z 0 , B R (z0 ).
zn
1
As, por ejemplo, la serie converge en la corona circular < |z|
n = 2|n| 2
zn
< 2, pues la parte analtica 2n tiene radio de convergencia R = 2, y la parte
n =0
2 n z n es una serie geomtrica de razn |2z|-1 y por tanto converge
1
principal
n =1
1
si |2z|-1 > 1, es decir, si |z| > .
2
zn
Para obtener la funcin que define la serie |n|
se estudian su parte
n = 2
zn
2n
1 2
La parte analtica representa a la funcin = = si |z| <
z 2z
n =0 1
2
z n 2n
1 1 2z
2. La parte principal representa a la funcin = = si |z| >
1 2z 1
n =1 1
2z
zn
1 1
. Por tanto, si < |z| <2 , la serie de Laurent define la funcin:
2 2 |n|
n = 2
zn 2z 2 + 8 z 2
2 2z
f(z) = = + = .
n = 2|n| 2z 2z 1 ( 2 z )( 2z 1)
1
Sea f(z) = . Esta funcin es indefinidamente derivable en
( z 2 )( z 3 )
z = 3.
A = {z; |z| < 2}, B = {z; 2 < |z| < 3} y C = {z; |z| > 3}.
0
A B
2 3
Si z est en el conjunto A,
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 159
1 1
1 1 1
f(z) = = = 3 + 2 =
( z 2 )( z 3 ) z3 z2 z z
1 1
3 2
z2 z2 1 1 n
1 z 1 z
= (1 + + + ...) + (1 + + + ) = z .
n +1 n +1
3 3 32 2 2 22 n =0 2 3
1 1
1 1 1
f(z) = = = 3 z =
( z 2 )( z 3 ) z3 z2 z 2
1 1
3 z
z2 22 zn 2 n 1
1 z 1 2
= (1 + + + ) (1 + + + ) = .
n +1
3 3 32 z z z2 n =0 3 n =1 z n
1 1
1 1 1 z z
f(z) = = = =
( z 2 )( z 3 ) z3 z2 3 2
1 1
z z
32 22 3n 2n
1 3 1 2
= (1 + + + ) (1 + + + ) = .
n +1
z z z2 z z z2 n =0 z
tenga singularidades:
1 2 3
A* B*
1 1 1 1 1
f(z) = = = =
( z 2 )( z 3 ) z 2 z 2 1 z 2 1 ( z 2)
1 1
= ( z 2 )n = ( z 2 )n .
z 2 n =0 z 2 n =0
1
f(z) =
1
=
1 z2 =
( z 2 )( z 3 ) z2 1
1
z2
( z 2 ) n = ( z 2 ) n +2 .
1 1 1
2
( z 2) n =1 n =1
B*.
tenga singularidades:
B**
1 2 3
A**
1 1 1 1
f(z) = = = ( 1) n ( z 3 ) n =
( z 2 )( z 3 ) z 3 1+ ( z 3 ) z 3 n =0
162 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
1
= + ( 1) n +1( z 3 ) n .
z3 n =0
una serie de potencias positivas como parte analtica y un nico trmino como
A**.
1
z3 = ( 1) n ( 1)n
1 1 1
f(z) = = = .
( z 2 )( z 3 ) z 3 1 2 n n+2
1+ ( z 3 ) n =0( z 3 ) n =0( z 3 )
z3
B**.
Ejercicios
5
= de manera que la representacin sea vlida en los
z( z 1)
siguientes dominios:
b) |z| > 1.
5z 1
3.17. Representar la funcin f(z) = en suma de potencias
( z 1)( z + 4 )
convergencia de la serie.
5z 1
3.18. Representar la funcin f(z) = en suma de potencias
( z 1)( z + 4 )
3.6. EJERCICIOS
1 1 n 2
3.20. Demostrar que la sucesin c n = 2 + + i converge a 2.
n 3n 3
1 + 2n i
3.21. Demostrar que la sucesin c n = converge a i.
2n + i
(1 + i )n
3.22. Estudiar la convergencia de la serie ( 2 )n n 2
.
n =1
( iz 1) n
3.23. Estudiar la convergencia de la serie n +1
cuando z toma los
n =1 2
valores a) z = 1, b) z = i, c) z = 1 y d) z = 1 + i.
( iz 1) n
a) 2 n +1
n =1
n
z
b)
z + 1
n =1
164 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
(1 + z 2 )n
1
c)
n =0
+
d) ( 1)n ( z n 1 z n +1 )
n =1
n! ein z
2
3.25. Demostrar que la serie converge en la regin {z; Im z > 0}.
n =0
z 2n
3.26. Demostrar que la serie (1 z 2n )(1 z 2n +2 ) converge
n =1
suma.
+
2
a) zn
n =0
+
n+3
b) n
( z + i )n
n =0 2
+
z 2n
c) 4n
n =0
+
n! z n
d) n
.
n =1 n
+
n! z n
2
a)
n =0
+
zn
b) n 2
n =12 n
+
c) 2 n z n!
n =0
+
4 n ( z + 2 i )n .
1
d)
n =0
las series:
n +1 n
2
(2z 1) 4 n +1
y
2 + z
.
n =0 n =0
z
a)
1 z 2
z
b) .
2
z 5z + 6
3.31. Calcular, para los valores de z que sea posible, la suma de las
series:
+
( 1) n z n
a) n
n =0
166 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
+
b) 2n( n 1)z n .
n =1
+
3.32. Sabiendo que la serie cn z n tiene radio de convergencia R,
n =1
+
a) cn n p z n
n =1
+
b) | cn | z n
n =1
+
c) cn 2z n .
n =1
las funciones:
z
a) f(z) = cos
2
b) f(z) = sen(z2)
las funciones:
z2
a) f(z) =
1 z 2
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Series complejas 167
1
b) f(z) =
(1 z )2
senz
3.35.Estudiar si la funcin f(z) = si z 0, f(0) = 1, es analtica en C.
z
senz z
3.36.Estudiar si la funcin f(z) = si z 0, f(0) = 1/6, es analtica en C.
z3
cos 2 z 1
3.37.Estudiar si la funcin f(z) = si z 0, f(0) = 1, es analtica en C.
z2
ez 1
3.38.Estudiar si la funcin f(z) = si z 0, f(0) = 5, es analtica en C.
z
2
ez 1
3.39.Estudiar si la funcin f(z) = si z 0, f(0) = 1, es analtica en C.
z2
ez
3.40.Obtener la serie de Laurent de la funcin f(z) = en potencias de z
( z 2)3
2.
1
= y calcular el dominio de convergencia de la serie.
1 z
2
de manera que la representacin sea vlida en los
( z + 1)( z 3 )
siguientes dominios:
2z + 3
3.43. Representar la funcin f(z) = en suma de potencias
( z + 1)( z 3 )
168 Captulo 3: Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
convergencia de la serie.