Documentos de Académico
Documentos de Profesional
Documentos de Cultura
i
Preliminares
ii
Análisis complejo
Acosta, Flores, Tineo y Meza
Análisis complejo
Facultad de Ingeniería
Fondo UNIVERSIDAD Industrial y de Sistemas
Editorial NACIONAL DE
Facultad de Ingeniería
INGENIERÍA
EDUNI Química y Textil
iii
Preliminares
Análisis complejo
Primera edición, mayo de 2020
500 ejemplares
Impreso en el Perú / Printed in Peru
© Derechos de edición
Universidad Nacional de Ingeniería
Fondo Editorial EDUNI
Av. Túpac Amaru 210, Rímac - Lima
Teléfono: 4814196
Central telefónica: 4811070 Anexos 7500 y 7501
Correo: fondoeditorial@uni.edu.pe
Facultad de Ingeniería Industrial y de Sistemas (FIIS)
Av. Túpac Amaru 210, Rímac - Lima
Teléfono: 4811424 Central telefónica: 4811070 Anexo 5226
Correo: fiis@uni.edu.pe
Facultad de Ingeniería Química y Textil (FIQT)
Av. Túpac Amaru 210, Rímac - Lima
Teléfono: 4817919 Central telefónica: 4811070 Anexo 5602
Correo: decanato_fiqt@uni.edu.pe
ISBN 978-612-4396-38-0
iv
Análisis complejo
Acosta, Flores, Tineo y Meza
v
Preliminares
vi
Análisis complejo
Acosta, Flores, Tineo y Meza
Índice general
Resumen IV
Introducción V
Reseña de Profesores VI
2. Funciones Analı́ticas 10
2.1. Lı́mites y Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Derivada de una Función Compleja . . . . . . . . . . . . . . . . . . . . 11
2.3. Ecuaciones de Cauchy-Riemann, Ecuación de Laplace . . . . . . . . . . 17
ixi
Preliminares
4. Serie de Potencias 77
4.1. Funciones Representadas por Serie de Potencias . . . . . . . . . . . . . 77
4.2. Singularidades, Series de Taylor y Series de Laurent . . . . . . . . . . . 82
4.3. Sucesión y Serie de Funciones . . . . . . . . . . . . . . . . . . . . . . . 92
4.4. Álgebra de Serie de Potencias . . . . . . . . . . . . . . . . . . . . . . . 94
5. Cálculo de Residuos 98
5.1. Singularidades y Ceros, Singularidad en el Infinito . . . . . . . . . . . . 98
5.2. Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.3. Evaluación de integrales de la forma: . . . . . . . . . . . . . . . . . . . 117
5.4. Variación del Logaritmo a lo largo de un contorno C. . . . . . . . . . . 120
5.5. Polos y Ceros de Funciones Meromorfas . . . . . . . . . . . . . . . . . . 124
5.6. Evaluación de Integrales . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.7. Desigualdad de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
5.8. Algunos lı́mites usados en el Cálculo de Integrales . . . . . . . . . . . . 156
5.9. Algunos Teoremas sobre Funciones Analı́ticas . . . . . . . . . . . . . . 159
Bibliografı́a 272
Análisis complejo
Acosta, Flores, Tineo y Meza
Índice de figuras
ex
3.1. Gráfica del senh(x), cosh(x) y 2
. . . . . . . . . . . . . . . . . . . . . 31
3.2. Gráfica del número complejo z . . . . . . . . . . . . . . . . . . . . . . . 36
3.3. Gráfica del número complejo z1 . . . . . . . . . . . . . . . . . . . . . . 37
3.4. Corte del plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5. Superficie de Riemann conformado por dos hojas . . . . . . . . . . . . 39
3.6. Hoja inferior de la superficie de Riemann y el plano-w . . . . . . . . . . 39
3.7. Biyección entre la superficie de Riemann S y el plano-w . . . . . . . . . 40
3.8. Puntos de ramificación de la función w. . . . . . . . . . . . . . . . . . . 41
3.9. Funciones f , g y h . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.10. Función f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.11. Gráfico de |z| = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.12. Curvas C1 y C2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.13. Gráfica para la propiedad (c) . . . . . . . . . . . . . . . . . . . . . . . 48
3.14. Contorno OABO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
xi
iv
Preliminares
xii
v
Análisis complejo
Acosta, Flores, Tineo y Meza
xiii
vi
Preliminares
xiv
vii
Análisis complejo
Acosta, Flores, Tineo y Meza
Análisis Complejo
Resumen
RESUMEN
ix
xv
Preliminares
xvi
Análisis complejo
Acosta, Flores, Tineo y Meza
Introducción
Introducción
xvii
x
Preliminares
xviii
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 1
Números complejos
y su representación
geométrica
1
Capítulo 1
Números complejos y su representación geométrica
2
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 1
Números Complejos y su
Representación Geométrica
Suma
(a, b) + (c, d) = (a + c, b + d)
Producto
(a, b)(c, d) = (ac − bd, ad + bc)
i2 = −1
31
Capítulo 1
Números complejos y su representación geométrica
Notaciones:
R ⊂ C
x → x + i0
z1 + z2 = (a + ib) + (c + id)
= (a + c) + i(b + d)
z1 z2 = (a + ib)(c + id)
Esta fórmula en 1.1 puede obtenerse usando las reglas usuales de la aritmética y te-
niendo en cuenta que i2 = −1. En efecto
= ac + i2 bd + i(ad + bc)
24
Análisis complejo
Acosta, Flores, Tineo y Meza
z = x + iy
y
θ
x
O x
4
z1
3
z2
2
x
1 2 3 4 5 6
53
Capítulo 1
Números complejos y su representación geométrica
Sea z = x + iy, denotemos r = x2 + y 2 entonces se tiene la siguiente figura:
z = x + iy
y
θ
x
O x
y
donde x = r cos θ, y = r sen θ, tan θ = , θ se llama el argumento del vector z.
x
Notaciones 1. θ = arg z. Entonces
z1 = r1 (cos θ1 + i sen θ1 )
z2 = r2 (cos θ2 + i sen θ2 )
46
Análisis complejo
Acosta, Flores, Tineo y Meza
= r1 r2 (cos(θ1 + θ2 ) + i sen(θ1 + θ2 ))
Esta fórmula dice que para multiplicar el número complejo z1 = r1 (cos θ1 + i sen θ1 )
con z2 = r2 (cos θ2 + i sen θ2 ) se multiplica r1 · r2 y luego se gira el ángulo θ2 .
Ejemplo 1.3.1.
(a) z1 = 1 + i0, r1 = 1, θ1 = 0
π
z2 = 0 + i1, r2 = 1, θ2 =
2
z 1 z2 = i
√ π
(b) z1 = 1 + i1, r1 = 2, θ1 =
4
π
z2 = 0 + i1, r2 = 1, θ2 =
2
√
z1 z2 = (i − 1) 2
√
(c) z1 = 1 + i1, r1 = 2, θ1 = 0
√ π
z2 = 1 + i1, r2 = 2, θ2 =
4
z1 z2 = 2i
En general:
z n = rn (cos(nθ) + i sen(nθ))
Fórmula de Moivre
75
Capítulo 1
Números complejos y su representación geométrica
√
n
θ + 2π θ + 2π
w1 = r cos + i sen , k=1
n n
√ θ + 4π θ + 4π
w2 = n r cos + i sen , k=2
n n
...
√ θ + (2n − 2)π θ + (2n − 2)π
wn−1 = n r cos + i sen , k =n−1
n n
también son raı́ces n-ésimas de z = r(cos θ + i sen θ). Es decir:
√ θ + 2kπ θ + 2kπ
n
wk = r cos + i sen , (k = 0, 1, . . . , n − 1)
n n
son las raı́ces n-ésimas de z = r[cos θ + i sen θ]. Como
θ + 2π θ 2π
= +
n n n
θ + 4π θ + 2π 2π
= +
n n n
..
.
θ + (2n − 2)π θ + (2n − 4)π 2π
= +
n n n
θ + 2nπ θ + (2n − 2)π 2π
= +
n n n
θ θ + (2n − 2)π 2π
+ 2π = +
n n n
Las raı́ces n-ésimas forman un polı́gono regular de n-lados.
Ejemplo 1.3.2.
(2) Como −1 = cos 180 + i sen 180, las raı́ces cúbicas de −1 son:
180 180
w0 = cos + i sen
3 3
= cos 60 + i sen 60
√
1 3
= +i
2 2
180 + 360 180 + 360
w1 = cos + i sen
3 3
= cos 180 + i sen 180
= −1
180 + 720 180 + 720
w2 = cos + i sen
3 3
= cos 300 + i sen 300
√
1 3
= −i
2 2
(1) z = z.
97
Capítulo 1
Números complejos y su representación geométrica
y
z = x + iy
y
θ
x
O −θ x
−y
z = x − iy
= x2 − i2 y 2 + ixy − ixy
= x2 + y 2
= |z|2
10
8
Análisis complejo
Acosta, Flores, Tineo y Meza
Prueba.
= z 1 z 1 + z1 z 2 + z2 z 1 + z2 z 2
(9) z1 a + ib
=
z2 c + id
(a + ib)(c − id)
=
(c + id)(c − id)
(ac + bd) + i(bc − ad)
=
c2 + d 2
ac + bd bc − ad
= 2 2
+i 2
c +d c + d2
1 c −d
= 2 2
+i 2 , z2 = 0
z2 c +d c + d2
z1 − z2 = z1 + (−z2 )
= (a − c) + i(b − d)
119
Capítulo 1
Números complejos y su representación geométrica
12
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 2
Funciones analíticas
13
Capítulo 2
Funciones analíticas
14
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 2
Funciones Analı́ticas
z2 + 4 (z + 2i)(z − 2i)
= = z + 2i (pues z − 2i = 0)
z − 2i z − 2i
o también
z2 + 4 (z 2 + 4)(z + 2i) (z 2 + 4)(z + 2i)
= = = z + 2i
z − 2i (z − 2i)(z + 2i) z 2 − 4i2
Esto sugiere que l = 4i, entonces:
2
z + 4
z − 2i − 4i = |z − 2i|
10
15
Capítulo 2
Funciones analíticas
z2 + 4
por tanto lı́mz→2i = 4i.
z − 2i
Ejemplo 2.1.2. Calcular lı́mz→2i (2x + iy 2 ).
x → 0
x + iy → 0 + 2i entonces
y → 2
f (z) − f (z0 )
f (z0 ) = lı́m
z→z0 z − z0
Demostración:
f (z) − f (z0 )
lı́m f (z) = lı́m (z − z0 ) + f (z0 )
z→z0 z→z0 z − z0
= f (z0 ) · 0 + f (z0 )
= f (z0 )
|z|2 − 0
f (0) = lı́m
z→z0 z − 0
z·z
= lı́m
z→z0 z
= lı́m z = 0
z→z0
pues z → 0 implica z → 0.
17
12
Capítulo 2
Funciones analíticas
| Re(z 2 )|2
f (z) =
|z|2
2 2
|z |
≤ 2
|z |
= |z 2 |
0 ≤ f (z) ≤ |z 2 |
lı́mz→z0 f (z) = 0 = f (0).
(1) S ⊂ U ∪ V .
(2) U ∩ V = ∅.
(3) S ∩ U = ∅ y S ∩ V = ∅.
Enunciaremos el siguiente:
18
13
Análisis complejo
Acosta, Flores, Tineo y Meza
x → x0
z → z0 ⇒ ⇒ z → z0
y → y0
Luego:
= z 0 z0
= |z0 |2
19
14
Capítulo 2
Funciones analíticas
f (z) − f (z0 )
f (z0 ) = lı́m
z→z0 z − z0
(x2 + y02 ) − (x20 + y02 )
= lı́m
x→x0 x − x0
x2 − x20
= lı́m
x→x0 x − x0
= lı́m (x + x0 ) = 2x0
x→x0
z − z0
f (z0 ) = lı́m
z→z0 z − z0
z = (x0 + x) + i(y0 + x)
y0
z0 = x0 + iy0 z = x + iy0
x
x0
20
15
Análisis complejo
Acosta, Flores, Tineo y Meza
para todo z en B(z0 , r), para algún r > 0, donde lı́mz→z0 λ(z) = 0.
para todo z ∈ D1 .
Demostración:
g f
C −→ C −→ C
D1 D2
z w
Tomemos z0 ∈ D1 probaremos que:
para todo z ∈ D1 .
21
16
Capítulo 2
Funciones analíticas
(f ◦ g)(z) − (f ◦ g)(z0 )
= [f (g(z0 )) + λ2 (g(z))] [g (z0 ) + λ1 (z)]
z − z0
para cualquier z0 ∈ D.
f (z) − f (z0 )
f (z0 ) = lı́m
z→z0 z − z0
existe, el lı́mite de la derecha debe existir, cualquiera que sea la forma en que z se
aproxima a z0 . Nos aproximaremos a z0 de las siguientes maneras:
22
17
Análisis complejo
Acosta, Flores, Tineo y Meza
z = x0 + iy
y0
z0 = x0 + iy0 z = x + iy0
x
x0
se tiene:
f (z) − f (z0 )
f (z0 ) = lı́m
z→z0 z − z0
u(x, y0 ) − u(x0 , y0 ) v(x, y0 ) − v(x0 , y0 )
= lı́m + i lı́m
x→x0 x − x0 x→x0 x − x0
= ux (x0 , y0 ) + ivx (x0 , y0 ) (α)
f (z) − f (z0 )
f (z0 ) = lı́m
z→z0 z − z0
u(x0 , y) − u(x0 , y0 ) v(x0 , y) − v(x0 , y0 )
= lı́m + i lı́m
y→y0 iy − iy0 y→y 0 iy − iy0
1 u(x0 , y) − u(x0 , y0 ) v(x0 , y) − v(x0 , y0 )
= lı́m + lı́m
i y→y0 y − y0 y→y0 y − y0
1
= uy (x0 , y0 ) + vy (x0 , y0 )
i
= vy (x0 , y0 ) − iuy (x0 , y0 ) (β)
23
18
Capítulo 2
Funciones analíticas
ux (0, 0) = 1 = vy (0, 0)
Es decir que se cumplen las condiciones de Cauchy-Riemann en (0, 0). Ahora probare-
mos que no existe f (0).
24
19
z = x + iy
Análisis complejo
Acosta, Flores, Tineo y Meza
z = x + ix
y=x
z = x + i0
x
2x3
f (z) = i = ix
2x2
f (z) − f (0)
f (0) = lı́m
z→0 z−0
ix − 0
= lı́m
x→0 x + ix − 0
i
=
i+1
1+i
=
2
x3 x3
f (z) = 2
+ i 2 = x + ix
x x
f (z) − f (0)
f (0) = lı́m
z→0 z−0
x−0 x−0
= lı́m + i lı́m
x→0 x x→0 x
=1+i
1+i 1+i
Se ha obtenido: f (0) = 1 + i y f (0) = . Como 1 + i = , no existe f (0).
2 2
25
20
Capítulo 2
Funciones analíticas
Enunciaremos el siguiente:
u(x, y) − u(x0 , y) ∂u
= (x0 , y) + ξ1 (x, y)
x − x0 ∂x
26
21
Análisis complejo
Acosta, Flores, Tineo y Meza
Pero:
∂u ∂v uy (x0 , y0 ) + ivy (x0 , y0 )
(x0 , y0 ) + i (x0 , y0 ) (y − y0 ) = i(y − y0 )
∂y ∂y i
1
= vy (x0 , y0 ) + uy (x0 , y0 ) i(y − y0 )
i
∂u ∂v
= (x0 , y0 ) + i (x0 , y0 ) i(y − y0 )
∂x ∂x
27
22
Capítulo 2
Funciones analíticas
Luego:
∂u ∂v
u(x, y) − u(x0 , y0 ) + i [v(x, y) − v(x0 , y0 )] = (x0 , y0 ) + i (x0 , y0 ) [(x − x0 ) + i(y − y0 )]
∂x ∂x
+ [ξ1 (x, y) + iξ2 (x, y)](x − x0 )
f (z) − f (z0 ) ∂u ∂v
= (x0 , y0 ) + i (x0 , y0 )
z − z0 ∂x ∂x
x − x0
+ [ξ1 (x, y) + iξ2 (x, y)]
z − z0
y − y0
+ [η1 (x0 , y) + iη2 (x0 , y)]
z − z0
28
23
Análisis complejo
Acosta, Flores, Tineo y Meza
se obtiene:
∂ 2 u(x, y) ∂ 2 v(x, y)
2
=
∂x ∂x∂y
(∗)
∂ 2 u(x, y) ∂ 2 v(x, y)
=−
∂y 2 ∂y∂x
Como las derivadas parciales de segundo orden son continuas, tenemos:
∂ 2 v(x, y) ∂ 2 v(x, y)
=
∂x∂y ∂y∂x
Luego, sumando en (∗) se obtiene:
∂ 2 u(x, y) ∂ 2 u(x, y)
+ =0 (1)
∂x2 ∂y 2
Similarmente
∂ 2 v(x, y) ∂ 2 v(x, y)
+ =0 (2)
∂x2 ∂y 2
es decir, si f es analı́tica, u y v son armónicas.
∂2 ∂2
Notación. El operador ∇2 = ∂x2
+ ∂y 2
se llama el operador Laplaciano,
∇2 u = uxx + uyy = ∆u = 0
Nota. Las ecuaciones de Cauchy-Riemann nos dice que no se pueden escoger arbitra-
riamente dos funciones u(x, y) y v(x, y) con derivadas parciales de todos los órdenes
continuas y esperar que la función:
Definición 2.3.8 (Conjugado armónico). Si u(x, y), v(x, y) son funciones armónicas
en un dominio D y la función f (z) = u(x, y) + iv(x, y) es analı́tica en D, entonces
v(x, y) se llama el conjugado armónico de u(x, y) y viceversa.
29
24
Capítulo 2
Funciones analíticas
u(x, y) = ex cos y
u(x, y) = ex cos y
Luego: uxx (x, y) + uyy (x, y) = 0, es decir que la función u(x, y) = ex cos y es armónica.
A fin de calcular su conjugada armónica v(x, y), usaremos las ecuaciones de Cauchy-
Riemann
ux = vy
uy = −vx
v(x, y) = ex sen y
Por lo tanto
u(x, y) = ex cos y , v(x, y) = ex sen y
30
25
Análisis complejo
Acosta, Flores, Tineo y Meza
Definición 2.3.10. (Diferencial total) Si f (x, y) es una función de dos variables que
admite primeras derivadas parciales, entonces, la ecuación:
∂f ∂f
df = dx + dy
∂x ∂y
ex cos y − a = 0 , ex sen y − b = 0
0 = ex cos y − a = ex sen y − b
es decir que las curvas de nivel se intersectan e algún punto (x, y). Entonces, tomando
la diferencial total
De (α)
dy cos y
m1 = =
dx sen y
De (β)
dy sen y
m2 = =−
dx cos y
cos y sen y
m1 m2 = − = −1
sen y cos y
m1 m2 = −1
Es decir las curvas de nivel de dos funciones armónicas conjugadas se intersectan or-
togonalmente.
31
26
Capítulo 2
Funciones analíticas
32
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 3
Funciones elementales.
Integración
33
Capítulo 3
Funciones elementales. Integración
34
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 3
cos 0 + i sen 0 = 1
d
[cos y + i sen y] = − sen y + i cos y
dy
= i(cos y + i sen y)
= ieiy
Luego, definimos:
eiy = cos y + i sen y
Formula de Euler
Si z = x + iy definimos:
ex+iy = ex eiy
ez = ex (cos y + i sen y)
Propiedades.
27
35
Capítulo 3
Funciones elementales. Integración
ux = ex cos y = vy
d z
e = f (z)
dz
= ux + ivx
= ez
d w dw
e = ew .
dz dz
36
28
Análisis complejo
Acosta, Flores, Tineo y Meza
se obtiene:
eiy + e−iy
cos y = (α)
2
eiy − e−iy
sen y = (β)
2i
para todo y ∈ R. Extendemos estas igualdades (α) y (β) al caso de variable compleja
mediante la siguiente definición.
sen z π
(b) tan z = , para z = + nπ, n ∈ Z.
cos z 2
cos z
(c) cot z = , para z = nπ, n ∈ Z.
sen z
1 π
(d) sec z = , para z = + nπ, n ∈ Z.
cos z 2
1
(e) csc z = , para z = nπ, n ∈ Z.
sen z
37
29
Capítulo 3
Funciones elementales. Integración
d 1 d iz
(sen z) = (e − e−iz )
dz 2i dz
1 iz
= ie + ie−iz
2i
eiz + e−iz
=
2
= cos z
d
(cos z) = − sen z
dz
ey − e−y ey + e−y
senh(y) = , cosh(y) = , y∈R
2 2
(a)
sen z = sen x cosh y + i cos x senh y
Solución.
z = x + iy
iz = −y + ix
eiz − eiz
sen z =
2
e−y (cos x + i sen x) − ey (cos x − i sen x)
=
2i
i sen x(ey + e−y ) − cos x(ey − e−y )
=
y 2i y
e + e−y e − e−y
= sen x − cos x
2 2
= sen x cosh y + i cos x senh y
(b)
sen(iy) = i senh(y)
cos(iy) = cosh y
38
30
Análisis complejo
Acosta, Flores, Tineo y Meza
(c)
sen z = sen z
cos z = cos z
(d)
| sen z|2 = sen2 x + senh2 y
y = cosh(x) y = senh(x)
1
1 x 1
y= 2
e 2
x
ex
Figura 3.1: Gráfica del senh(x), cosh(x) y 2
39
31
Capítulo 3
Funciones elementales. Integración
senh z 1
(a) tanh z = , para z = n+ πi, n ∈ Z.
cosh z 2
cosh z
(b) coth z = , para z = nπi, n ∈ Z.
senh z
1 1
(c) sech z = , para z = n+ πi, n ∈ Z.
cosh z 2
1
(d) csch z = , para z = nπi, n ∈ Z.
senh z
d d ez − e−z
(senh z) = ( )
dz dz 2
ez + e−z
=
2
= cosh z
d
(cosh z) = senh z
dz
Ejercicio 7. Si z = x + iy, verificar que:
(a)
(b)
(c)
40
32
Análisis complejo
Acosta, Flores, Tineo y Meza
(d)
(e)
sen(z1 + z2 )
tan(z1 + z2 ) =
cos(z1 + z2 )
tan z1 + tan z2
=
1 − tan z1 tan z2
w = ln |z| + i arg z
En general
w = ln |z| + i arg z + 2nπi, n∈N
Demostración:
z = r cos θ + ir sen θ = r(cos θ + i sen θ)
r = x2 + y 2 = |z| , eiθ = cos θ + i sen θ
= |z|eiθ
=z
41
33
Capítulo 3
Funciones elementales. Integración
Luego w1 − w = 2nπi, n ∈ Z
w1 = w + 2nπi
Ejemplo 3.4.3.
π
(a) Log(i) = i
2
1 3π
(b) Log(−2 + i) = ln 2 + i
2 4
1 3π
(c) Log(−1 − i) = ln 2 − i
2 4
Solución.
π
(a) |i| = 1 y arg i = .
2
42
34
Análisis complejo
Acosta, Flores, Tineo y Meza
√ 3π
(b) | − 1 + i| = 2 y arg(−1 + i) =
4
√ 3π
(c) | − 1 − i| = 2 y arg(−1 − i) = −
4
1 3π
luego log(−1 − i) = ln 2 − i
2 4
Ejercicio 8. Verificar que:
z = ew
d w dw
1= (e ) = ew
dz dz
dw 1 1
= w =
dz e z
d 1
(log z) =
dz z
Definición 3.4.4. Si z = 0 es un número complejo y w es cualquier número complejo,
definimos:
z w = ew[ln |z|+i arg z] = ewLogz
Ejemplo 3.4.5.
43
35
Capítulo 3
Funciones elementales. Integración
z w1 z w2 = z w1 +w2
Demostración:
= z w1 +w2
√
3.5. Superficie de Riemann para w = z
√
Consideremos la ecuación w = z. Escribiendo: z = |z|eiθ se obtiene:
θ
w1 = |z|ei 2
θ+2π
w2 = |z|ei 2
y
z
|z|
θ
x
44
36
Análisis complejo
Acosta, Flores, Tineo y Meza
y
z1
A
|z1 |
θ1
x
Después de una vuelta completa alrededor del origen llegamos al mismo punto A, pero
θ1 se cambia a θ1 + 2π, y entonces:
θ1 +2π
w2 = |z1 |ei 2 = −w1 , w2 = w1 .
Es decir, al dar una vuelta completa alrededor del origen, cambiamos de rama. Si damos
una nueva vuelta completa: θ1 + 2π se cambia a θ1 + 4π, y:
θ1 +4π
w3 = |z1 |ei 2
θ1
= |z1 |ei 2 ei2θ
θ1
= |z1 |ei 2
= w1
45
37
Capítulo 3
Funciones elementales. Integración
Es decir al dar dos vueltas completas alrededor del origen, los valores de w1 se repiten,
es decir que estamos en la rama
θ1
w1 = |z1 |ei 2 .
Esta recta (la parte positiva del eje x) se llama recta de ramificación.
Imaginemos que el plano complejo z consiste de dos hojas superpuestas uno sobre otro.
Cortamos las hojas a lo largo de la parte positiva del eje x.
borde superior
O borde inferior
El borde inferior de la hoja que está debajo se une al borde superior de la hoja que
está encima. El borde inferior de la hoja de arriba se une al borde superior de la hoja
que está debajo.
46
38
Análisis complejo
Acosta, Flores, Tineo y Meza
La colección de las dos hojas unidas tal como se ha explicado se llama la superficie de
√
Riemann S para la función w = z. En este caso, la superficie de Riemann consta de
dos hojas.
y
w1
w2
x
O
θ θ
el argumento 2
satisface 0 ≤ 2
< π. Es decir, la imagen de la hoja inferior cubre el
semiplano superior del plano w.
√
V
S
plano-w
U
O
47
39
Capítulo 3
Funciones elementales. Integración
θ
Cuando 2π ≤ θ + 2π < 4π, entonces π ≤ 2
+ π < 2π, la imagen es
|z|ei( 2 +π)
θ
w2 =
θ θ
El argumento 2
+ π satisface π ≤ 2
+ π < π. Es decir, la imagen de la hoja superior
de S cubre el semiplano inferior del plano-w. Entonces, existe una biyección entre la
superficie de Riemann S y el plano-w.
V
plano-w
√
S U
O
√
mediante la función f (z) = z.
√
Ejercicio 10. Si w = z 2 + 1, probar que los puntos z = ±i son puntos de ramificación
√
de la función: w = z 2 + 1
Solución. Sea α = arg(z02 + 1) y θ = arg(z0 − i). Construimos una curva cerrada C
que contiene al punto i pero que no incluye al punto −i. Cuando el punto z0 sobre la
curva C da una vuelta completa, siguiendo la curva C se tiene para θ = arg(z0 − i), θ
se cambia a θ + 2π. El argumento de z0 + i no cambia. Como
al dar una vuelta completa alrededor del punto i por la curva C, el arg[(z − i)(z + i)]
aumenta a 2π. Entonces si α = arg(z02 + 1) se tiene:
α
w0 = z02 + 1 = |z02 + 1|ei 2
48
40
Análisis complejo
Acosta, Flores, Tineo y Meza
Si z1 denota la posición del punto z0 al girar una vuelta completa sobre C s tiene:
arg(z12 + 1) = α + 2π
w1 = z12 + 1
= |z02 + 1|ei( )
α+2π
2
α
= |z02 + 1|ei 2 eiπ
α
= −|z02 + 1|ei 2
= −w0
Es decir que al dar una vuelta completa alrededor del punto i sin incluir el punto −i
hemos cambiado de la rama w0 a la rama w1 . Luego z = i es un punto de ramificación.
Análogamente, el punto z = −i también es un punto de ramificación.
z0 C
θ
i
z0 − i
z0 + i
x
O
−i
49
41
Capítulo 3
Funciones elementales. Integración
√
Ejercicio 11. Verificar que no hay otro punto de ramificación para w = z 2 + 1.
Ejercicio 12. Mostrar que una vuelta completa a lo largo de una curva que encierra
√
ambos puntos i y −i no cambia de rama de la función f (z) = z 2 + 1.
representa una curva regular. Entonces se dice que f ([α, β]) es una curva regular por
partes o un contorno, f (α) se llama el punto inicial de la curva C, f (β) se llama el
punto terminal de la curva C. En una curva regular por partes se tiene que f (t) es
continua en cada subintervalo cerrado [tk−1 , tk ] y f (t) = 0 para todo t = t0 , t1 , . . . , tn .
50
42
Análisis complejo
Acosta, Flores, Tineo y Meza
Entonces la función f se llama continua por partes en [α, β]. Observe que toda función
f : [α, β] → C que representa un contorno tiene derivada continua por partes. Sea
f : [α, β] → C una función que representa un contorno en C. Escribiendo
se tiene:
z = f (t) , x + iy = f1 (t) + if2 (t)
x = f1 (t)
y = f2 (t)
Como f (t) es continua, se tiene que f1 (t) y f2 (t) son funciones continuas. Como f (t) =
0 en tk−1 , tk , se tiene que f1 (t) y f2 (t) son continuas por partes y [f1 (t)]2 +[f2 (t)]2 = 0,
excepto a lo más en un número finito de puntos t en [α, β].
f (β)
f (α)
f g
h
α β γ δ
2. h(α) = γ y h(β) = δ.
51
43
Capítulo 3
Funciones elementales. Integración
3. (q ◦ h)(t) = f (t).
f (β)
f (α)
describe el segmento de recta que une los puntos z1 con z2 , desde z1 hasta z2 .
52
44
Análisis complejo
Acosta, Flores, Tineo y Meza
La función
g(t) = f (0 + 1 − t)
= f (1 − t)
= z1 + (z2 − z1 )(1 − t)
= z1 + z2 − z1 − tz2 + tz1
= z2 + (z1 − z2 )t
representa la curva inversa que es el segmento que une z1 con z2 pero recorrido desde
z2 a z1 .
representa la circunferencia con centro en z0 y radio r > 0, recorrido una vez en sentido
contrario a las agujas de un reloj. La función
g(t) = f (0 + 2π − t)
= f (2π − t)
= z0 + rei(2π−t)
= z0 + rei2π e−it
= z0 + re−it
53
45
Capítulo 3
Funciones elementales. Integración
y z
θ
x
x
C2 : z = z1 eit , 0 ≤ t ≤ 2π − ϕ
C2 z1
z2 C1
54
46
Análisis complejo
Acosta, Flores, Tineo y Meza
z = f (t) , α≤t≤β
mediante: β
G(z)dz = G[f (t)]f (t)dt
C α
Propiedades.
(a) [F (z) + G(z)]dz = F (z)dz + G(z)dz.
C C C
(b) kF (z)dz = k F (z)dz, k constante.
C C
(c) F (z)dz = F (z)dz + F (z)dz donde C1 y C2 se muestran en la figura:
C C1 C2
55
47
Capítulo 3
Funciones elementales. Integración
f2 (β)
C1 f1 (λ) = f2 (λ)
f1 (α) C2
f1 f2
α λ β
Notación. C = C1 + C2 .
(d) F (z)dz = − F (z)dz
C C
Solución.
C : g(t) = f (α + β − t) , α ≤ t ≤ β
β
F (z)dz = F (g(t))g (t)dt
C α
g (t) = f (α + β − t)(−1)
β
= F [f (α + β − t)]f (α + β − t)(−1)dt
α
s = α + β − t → ds = −dt → dt = −ds
t=α→s=β
t = β → s = α
α
= F [f (s)]f (s)ds
β
β
=− F [f (s)]f (s)ds
α
=− F (z)dz
C
56
48
Análisis complejo
Acosta, Flores, Tineo y Meza
z = f (t) , α≤t≤β
denotará: β
G(z)|dz| = G[f (z)]|f (t)|dt
C α
57
49
Capítulo 3
Funciones elementales. Integración
B
1+i
x
O A
Solución.
(a) G(z) = z 2
f (t) = t(1 + i) , 0≤t≤1 , ecuación de OB
= t2 (1 + i2 + 2i
= 2it2
f (t) = 1 + i
1
G(z)dz = [t(1 + i)]2 (1 + i)dt
C 0
1
= 2t2 i(i + 1)dt
0
1
= 2(1 + i)i t2 dt
0
t=1
t3
= 2(−1 + i)
3 t=0
2 2
=− + i
3 3
58
50
Análisis complejo
Acosta, Flores, Tineo y Meza
1
G(z)dz = t2 dt
OA 0
3 1
t
=
3 0
1
=
3
Ecuación de OB,
f (t) = 1 + it
= [1 + it]2
= 1 − t2 + 2it
f (t) = i
G[(f (t)]f (t) = −2t + i(1 − t2 )
1 1
G(z)dz = −2tdt + i (1 − t2 )dt
AB 0 0
1
2 1 t3
= −t 0 + i t −
3 0
1
= −1 + i 1 −
3
2
= −1 + i
3
Luego:
1 2 2 2
= −1+i =− +i
OA+OB 3 3 3 3
59
51
Capítulo 3
Funciones elementales. Integración
(c)
G(z)dz = G(z)dz + G(z)dz
OABO OAB BO
= G(z)dz − G(z)dz
OB
OAB
2 2 2 2
=− +i − − +i
3 3 3 3
=0
z = f (t) = z0 + reit
1
G(z) = , z − z0 = reit , 0 ≤ t ≤ 2π
z − z0
f (t) = ireit
ireit
G[f (t)]f (t) = =i
reit
Luego:
2π
dz
= G[f (t)]f (t)dt
C z − z0 0
2π
= idt
0
= 2πi
z = f (t) = z0 + reit , 0 ≤ t ≤ 2π
60
52
Análisis complejo
Acosta, Flores, Tineo y Meza
G(z) = z − z0
n
G[f (t)] = reit = rn eint
f (t) = rieit
G[f (t)]f (t) = rn+1 iei(n+1)t
2π
G(z)dz = rn+1 iei(n+1)t dt
C 0
t=2π
rn+1 iei(n+1)t
=
i(n + 1) t=0
n+1
r
= ei2(n+1)π − e0
n+1
rn+1
= [1 − 1]
n+1
=0
la cual conduce a:
G(z)dz ≤ |G(z)||dz|
C C
pues: z = f (t), dz = f (t)dt, |dz| = |f (t)|dt. La longitud de la curva [i, 2 + i] es L = 2.
2i 2i
dz |dz|
≤
z 2 |z|2
i i
1 1
|z 2 | = |z|2 = x2 + y 2 ≥ 1 , = 2 ≤1
|z|2 x + y2
61
53
Capítulo 3
Funciones elementales. Integración
Luego:
2+i
2+i
dz |dz|
≤
z 2 |z 2 |
i i
2i
≤ |dz|
i
=2
C : z = z(t) , α≤t≤β
z G
α C
β
Supongamos además que existe una función continua ϕ : [α, β] → C continua tal que:
eϕ(t) = G[z(z)]
62
54
Análisis complejo
Acosta, Flores, Tineo y Meza
Es decir, para cada t ∈ [α, β], ϕ(t) es uno de los valores de log G[z(t)]. Entonces, la
diferencia ϕ(β) − ϕ(α) se llama la variación de log G(z) a lo largo de C y se denota por:
∆C log G(z)
∆C log G(z)
∆C log G(z)
eψ(t) = G[z(t)]
= 2πi
entonces
1 dz
= 1.
2πi γ z − z0
63
55
Capítulo 3
Funciones elementales. Integración
2. Si γ : z0 + rei2θ , entonces
z = z0 + ri2θ , 0 ≤ θ ≤ 2π
= 4πi
Luego:
1 dz
=2
2πi γ z − z0
Si γ : z0 + reinθ , entonces
z = z0 + rinθ , 0 ≤ θ ≤ 2π
γ da n vueltas al punto z0 y
1 dz
=n
2πi γ z − z0
El número:
1 dz
n(γ, z0 ) = =n
2πi γ z − z0
se llama el ı́ndice de z0 con respecto a γ, o el número de vueltas. En general si
f : D → C es analı́tica en un dominio D ⊂ C y γ : [a, b] → C es una curva
continua cerrada en D. Entonces para
z0 ∈
/ (f ◦ γ)([a, b])
se tiene:
1 f (z)
n(f ◦ γ) = dz ∈ Z
2πi γ f (z) − z0
64
56
Análisis complejo
Acosta, Flores, Tineo y Meza
γ∗
(f ◦ γ)∗
f
γ f ◦γ
α β
Teorema 3.7.1. Sea C un contorno cerrado. Entonces n(C, ξ) es una función continua
en la variable ξ para ξ ∈
/ C.
|z − ξ| = |(z − ξ0 ) − (ξ − ξ0 )|
≥ |z − ξ0 | − |ξ − ξ0 |
ρ
≥
2
Luego:
|ξ − ξ0 |
|n(C, ξ) − n(C, ξ0 )| ≤ ρ |dz|
2π ρ C
2
|ξ − ξ0 |
= L
πρ2
65
57
Capítulo 3
Funciones elementales. Integración
entonces:
lı́m |n(C, ξ) − n(C, ξ0 )| = 0
ξ→ξ0
Demostración: La función
S → Z
z → n(C, z)
es continua. Como S es conexo, su imagen en Z debe ser conexo. Luego su imagen debe
ser un solo punto m0 ∈ Z, es decir n(C, z) = m0 para todo z ∈ S.
Lema 3.7.3. Sea f (z) una función continua en un dominio simplemente conexo G ⊂ C
que contiene a un polı́gono cerrado L. Entonces:
f (z)dz = f (z)dz + f (z)dz + · · · + f (z)dz
L ∆1 ∆2 ∆n
Lema 3.7.5. Sea f (z) una función continua en un dominio simplemente conexo D ⊂ C
y L ⊂ D un polı́gono cerrado. Entonces
f (z)dz = f (z)dz + f (z)dz + · · · + f (z)dz
L ∆1 ∆2 ∆n
66
58
Análisis complejo
Acosta, Flores, Tineo y Meza
P5 P7 P6
∆4
∆5
γ2 P 0 = P8
A
P1 γ1 ∆1
∆2 P4
B
∆3
P3 P2
Demostración:
L = P0 P1 P2 P3 P4 P5 P6 P7 P0 (= P8 )
f (z)dz = f (z)dz + f (z)dz
L
AP1 P2 P3 P4 A P0 AP5 P6 P7 P0
= f (z)dz + f (z)dz + f (z)dz
AP1 BP4 A BP2 P3 B P0 AP5 P7 P0
+ f (z)dz + f (z)dz
P7 P6 P6 P7
cero
= f (z)dz + f (z)dz + f (z)dz
AP1 BP4 A BP2 P3 B P0 AP5 P7 P0
Pero:
f (z)dz = f (z)dz + f (z)dz
AP1 BP4 A ∆1 ∆2
f (z)dz = f (z)dz
BP2 P3 B ∆3
f (z)dz = f (z)dz + f (z)dz
P0 AP5 P7 P0 ∆4 ∆5
59
67
Capítulo 3
Funciones elementales. Integración
Por lo tanto:
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz + f (z)dz
L ∆1 ∆2 ∆3 ∆4 ∆5
Teorema 3.7.6 (Teorema de Green). Sea C una curva simple cerrada en el plano XY
tal que una recta paralela a cualquiera de los ejes coordenados corta a C en a lo más
∂N ∂M
dos puntos.Sean M , N , , funciones continuas en C y en el interior de C. Sea
∂x ∂y
R la región rodeada por C, entonces:
∂N ∂M
M dx + N dy = − dxdy.
C R ∂x ∂y
∂P ∂u
P =u , =
∂y ∂y
60
68
Análisis complejo
Acosta, Flores, Tineo y Meza
∂Q ∂v
Q = −v , =−
∂x ∂x
Luego:
∂v ∂u
udx − vdy = − − dA = 0.
C R ∂x ∂y
En la segunda integral:
P =v , Q=u
∂Q ∂u ∂P ∂v
= , = .
∂x ∂x ∂y ∂y
Luego:
∂u ∂v
udx + vdy = − dA = 0.
C R ∂x ∂y
Por lo tanto:
f (z)dz = 0.
C
X ⊂ V1 ∪ V2 ∪ · · · ∪ Vm .
69
61
Capítulo 3
Funciones elementales. Integración
Nota. A1 ∩ A2 = A2
entonces
∞
∞
Ak = ∅ → A1 ∩ Ak = ∅
k=1
k=2
∞
c
→ A1 ⊂ Ak
k=2
∞
→ A1 ⊂ Ack
k=2
A1 ∩ A2 ∩ · · · ∩ Am = ∅
Am = ∅
70
62
Análisis complejo
Acosta, Flores, Tineo y Meza
Demostración: Dividamos los lados del triángulo ∆ por su punto medio. Uniendo
estos puntos medios se forman 4 triángulos
c a
∆I
b
c a c a
∆III ∆II ∆IV
b b
Se verifica que:
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz
∆ ∆I ∆II ∆III ∆IV
63
71
Capítulo 3
Funciones elementales. Integración
Donde ∆(1) es uno de ∆I , ∆II , ∆III o ∆III , pues en caso contrario se tendrı́a:
f (z)dz =
f (z)dz +
f (z)dz +
f (z)dz + f (z)dz
∆ ∆I ∆II ∆III ∆IV
M
<4
4
=M
ll l
Si l2 = longitud del triángulo ∆(2) se tiene l2 = 2
= 22
. Continuando con este procedi-
miento, se obtienen triángulos
tal que:
M
f (z)dz ≥ n
4
∆(n)
l2 l
Si l3 = longitud del triángulo ∆(3) se tiene l3 = 2
= 23
. En general, si ln es la longitud
l
del triángulo ∆(n) se tiene ln = 2n
. Ahora
y son compactos, por tanto, existe un punto z0 ∈ ∆(n) para todo n ∈ N. Como f (z) es
analı́tica en D y z0 ∈ D, dado > 0, existe δ > 0 tal que:
f (z) − f (z0 )
0 < |z − z0 | < δ → − f (z0 ) <
z − z0
64
72
Análisis complejo
Acosta, Flores, Tineo y Meza
o equivalentemente:
es decir,
f (z)dz = [f (z) − f (z0 ) − (z − z0 )f (z0 )]dz
∆(n) ∆(n)
Dado δ > 0, existe n0 ∈ N tal que ∆(n) ⊂ B(z0 , δ) para n ≥ n0 .
z ∆(n)
z0
= ln2
2
l
=
2n
l2
=
4n
73
65
Capítulo 3
Funciones elementales. Integración
Finalmente:
M 2
≤ f (z)dz = l → M ≤ l2 , l : constante
4n (n) 4n
∆
C1
C2
74
66
Análisis complejo
Acosta, Flores, Tineo y Meza
C1
C 2
γ1 γ2
C 2
C1
Si
Γ1 = C1 + γ1 + C2 + γ2
Igualmente, para
Γ2 = C1 + γ2 + C2 + γ1
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz = 0 (ii)
Γ1 C1 γ2 C2 γ1
75
67
Capítulo 3
Funciones elementales. Integración
Luego:
f (z)dz + f (z)dz + f (z)dz + f (z)dz = 0
C1 C1 C2 C2
f (z)dz + f (z)dz = 0
C1 C2
Entonces
f (z)dz = f (z)dz
C1 C2
76
68
Análisis complejo
Acosta, Flores, Tineo y Meza
tal que C0 ⊂ intC. Veremos que esta última integral es cero. Como f (z) es derivable en
z0 , f (z) es continua en z0 . Tomemos > 0, existe δ > 0 tal que:
Si
C1 : |z − z0 | = R
entonces: C1 ⊂ intC y
f (z) f (z) − f (z0 )
dz = 2πif (z0 ) + dz
C z − z0 C1 z − z0
Pero:
f (z) − f (z0 ) f (z) − f (z0 )
dz ≤
z − z0 z − z0 |dz|
C1 C1
≤ 2πR
R
= 2π , para todo > 0
Luego
f (z) − f (z0 )
dz = 0
C1 z − z0
y por tanto
f (z)
dz = 2πif (z0 )
C1 z − z0
1 f (z)
f (z0 ) = dz
2πi C z − z0
77
69
Capítulo 3
Funciones elementales. Integración
x
−3 3
−i
{z ∈ C : |z − z0 | ≤ r} .
Probar que: 2π
1
f (z0 ) = f (z0 + reiθ )dθ
2π 0
70
78
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución. Sea
C = {z ∈ C : |z − z0 | = r}
Usaremos la expresión:
1 f (z)
f (z0 ) = dz (α)
2πi C z − z0
f (z0 + h) − f (z0 ) 1 1 1
= − f (z)dz
h 2πih C z − z0 − h z − z0
1 f (z)
= dz
2πi C (z − z0 − h)(z − z0 )
Calculemos la diferencia:
1 f (z) 1 f (z) 1 hf (z)
dz − dz = dz
2πi C (z − z0 − h)(z − z0 ) 2πi C (z − z0 )2 2πi C (z − z0 − h)(z − z0 )2
1 1
≤ , |z − z0 − h| ≥ |z − z0 | − |h| ≥ d0 − |h|
|z − z0 | d0
1 1
≥
|z − z0 − h| d0 − h
79
71
Capítulo 3
Funciones elementales. Integración
Luego:
f (z)
h dz ≤ M L|h|
(z − z 0 − h)(z − z 0 ) 2 (d0 − |h|)d2
C 0
Por tanto:
1 f (z)dz 1 f (z)dz
lı́m =
h→0 2πi C (z − z0 − h)(z − z0 ) 2πi C (z − z0 )2
lo cual implica:
f (z0 + h) − f (z0 ) 1 f (z)dz
lı́m =
h→0 h 2πi C (z − z0 )2
es decir:
1 f (z)dz
f (z) =
2πi C (z − z0 )2
Se observa que:
∂ f (z)dz
f (z0 ) =
∂z0 C z − z0
1 ∂ f (z)dz
=
2πi C ∂z0 z − z0
1 f (z)dz
=
2πi C (z − z0 )2
1 ∂ f (z)dz
=
2πi C ∂z0 (z − z0 )2
1 2f (z)(z − z0 )dz
=
2πi C (z − z0 )4
2 f (z)dz
=
2πi C (z − z0 )3
En general:
n! f (z)dz
f (n) (z0 ) =
2πi C (z − z0 )n+1
Enunciaremos el siguiente teorema:
80
72
Análisis complejo
Acosta, Flores, Tineo y Meza
C1
C2
z0
81
73
Capítulo 3
Funciones elementales. Integración
Luego F (z) = f (z), es decir F (z) es analı́tica en D, por tanto F (z) tiene derivadas de
todos los órdenes y en consecuencia f (z) es analı́tica en D.
82
74
Análisis complejo
Acosta, Flores, Tineo y Meza
f (z) = a0 + a1 z + · · · + an zn , an = 0
y por tanto:
a a1 an−1 a a1 an−1
0 0
n + n−1 + · · · + + an ≥ − n + n−1 + · · · + + |an |
z z z z z z
|an |
>
2
Entonces:
|an ||z n |
|f (z)| >
2
83
75
Capítulo 3
Funciones elementales. Integración
1
g(z) = , g(z) es analı́tica en todo z ∈ C
f (z)
1
|g(z)| = <M
|f (z)|
|g(z)| < M
para todo z ∈ C con |z| ≥ r. Pero g(z) es continua en el disco |z| ≤ r, luego g(z) es
acotada en |z| ≤ r. Por tanto g(z) es acotada en C, el Teorema de Liouville dice que
g(z) es constante. Luego f (z) es constante. Contradicción. Por tanto existe z0 ∈ C tal
que f (z0 ) = 0.
84
76
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 4
Serie de potencias
85
Capítulo 4
Serie de potencias
86
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 4
Serie de Potencias
si el lı́mite existe. Entonces, la serie ∞ n
n=0 cn (z − z0 ) ,
87
77
Capítulo 4
Serie de potencias
∞
(e) Si R = 0, la serie n=0 cn (z − z0 )n converge solamente cuando z = z0 .
∞
(f ) Si R = +∞, la serie n=0 cn (z − z0 )n converge para todo z ∈ C.
∞ n
Considere la serie k=0 z k y la suma parcial Sn = k=0 zk ,
Sn − Sn−1 = (z 0 + z + · · · + z n ) − (z 0 + z + · · · + z n−1 ) = z n
∞
Supongamos que la serie n=0 z n converge al punto A, es decir que lı́mn→∞ Sn = A,
entonces:
lı́m |z|n = lı́m |Sn − Sn−1 | = |A − A| = 0
n→∞ n→∞
Luego:
∞
(a) Si la serie n=0 z n converge, necesariamente lı́mn→∞ |z n | = 0.
∞
(b) Si |z| = 1, la serie n=0 z n no converge, pues lı́mn→∞ |z|n = lı́mn→∞ 1 = 1 = 0.
Definición 4.1.1. Si la serie ∞ n
n=0 cn (z − z0 ) converge, entonces se dice que la serie
∞ n
∞ n
n=0 cn (z − z0 ) converge absolutamente. Escribamos la serie n=0 cn (z − z0 ) en la
forma siguiente:
∞
N
−1
cn (z − z0 )n = cn (z − z0 )n + RN (z)
n=0 n=0
donde
∞
RN (z) = cn (z − z0 )n
n=N
lı́m RN (z) = 0.
N →∞
∞
Definición 4.1.2. Se dice que la serie de potencias n=0 cn (z − z0 )n converge uni-
formemente en un conjunto S = 0 si, dado > 0, existe un número M () ∈ N tal
que:
|RN (z)| <
88
78
Análisis complejo
Acosta, Flores, Tineo y Meza
∞
Teorema 4.1.3. Supongamos que la serie de potencias n=0 cn (z − z0 )n tiene radio
de convergencia R > 0. Entonces, para toda circunferencia
Γ : |z − z0 | = r < R
∞
la serie n=0 cn (z − z0 )n converge uniformemente en el disco cerrado B[z0 , r].
Γ1 : |z − z0 | = R1
R R1
z0 r
r r
Como 0 < r < R1 podemos escribir: 0 < R1
< 1. Si λ = R1
, entonces: r = λR1 ,
0 < λ < 1. Para |z − z0 | ≤ r se tiene:
79
89
Capítulo 4
Serie de potencias
Entonces, existe M1 ∈ N tal que |cn |R1n < 1, para todo n ≥ M1 . También, como
0 < λ < 1,
lı́m λn = 0
n→∞
= λN (1 + λ + λ2 + · · · )
λN
=
1−λ
(1 − λ)
<
(1 − λ)
=
90
80
Análisis complejo
Acosta, Flores, Tineo y Meza
Entonces, para cualquier circunferencia Γ con centro z0 y radio 0 < r < R, la serie de
potencias
∞
cn (z − z0 )n
n=0
converge uniformemente en B[0, r], dado > 0, existe M () ∈ N tal que:
|RN (z)| <
3
para todo z ∈ B[0, r] y todo N ≥ M (). Tomemos N ≥ M () fijo, entonces:
|F (z) − SN (z)| < para todo z ∈ B[0, r]. Como SN (z) es un polinomio, SN (z) es
una función continua, entonces dado > 0, existe δ > 0 tal que:
|z − z1 | < δ → |SN (z) − SN (z1 )| < .
3
Entonces, para z ∈ B[0, r] con |z − z1 | < δ se tiene:
|F (z) − F (z1 )| ≤ |F (z) − SN (z)| + |SN (z) − SN (z1 )| + |SN (z1 ) − F (z1 )|
< + +
3 3 3
=
91
81
Capítulo 4
Serie de potencias
(b) La serie
∞
f (n) (z0 )
f (z) = (z − z0 )n
n=0
n!
converge uniformemente a f (z) en cualquier disco cerrado B[z0 , r], donde 0 < r <
R. Cuando z0 = 0, la serie en (a) se llama la serie de Maclaurin.
Demostración: Denotemos:
Γ = {z ∈ C : |z − z0 | = r}
Γ1 = {z ∈ C : |z − z0 | = R1 }
R R1
z0 r
92
82
Análisis complejo
Acosta, Flores, Tineo y Meza
|ξ − z| = |(ξ − z0 ) − (z − z0 )| ≥ |ξ − z0 | − |z − z0 | ≥ R1 − r
1 1 z − z0 (z − z0 )2 (z − z0 )n−1 (z − z0 )n
= + 2
+ 3
+ ··· + n
+ (α)
ξ−z ξ − z0 (ξ − z0 ) (ξ − z0 ) (ξ − z0 ) (ξ − z)(ξ − z0 )n
Sabemos que:
f (n) (z0 ) 1 f (ξ)dξ
= , n ∈ N ∪ {0}.
n! 2πi Γ1 (ξ − z0 )n+1
f (ξ)
Multiplicamos en (α) miembro a miembro por 2πi
.
93
83
Capítulo 4
Serie de potencias
94
84
Análisis complejo
Acosta, Flores, Tineo y Meza
Como la serie
∞
cn (z − z0 )n
n=0
≤ (KL)
es decir,
lı́m RN (z)h(z)dz = 0.
N →∞ Γ
95
85
Capítulo 4
Serie de potencias
C = {z ∈ C : |z − z0 | − R}
para todo contorno cerrado contenido en el disco de convergencia. Como F (z) es conti-
nua, el Teorema de Morera dice que F (z) es analı́tica, es decir, una serie de potencias
∞
cn (z − z0 )n
n=0
Teorema 4.2.3. Una serie de potencias puede ser derivado término a término en cada
punto interior al disco de convergencia, es decir, si:
∞
F (z) = cn (z − z0 )n , |z − z0 | − R
n=0
entonces:
∞
F (z) = ncn (z − z0 )n−1 , |z − z0 | − R
n=1
96
86
Análisis complejo
Acosta, Flores, Tineo y Meza
Demostración: Sea ξ un punto interior al disco de convergencia, es decir |ξ1 −z0 | < R.
Sea
Γ1 = {z ∈ C : |z − ξ| = r} , 0 < r < R.
Γ1
R
γ
z0
ξ
Escribiendo:
1
h(z) =
2πi(z − ξ)2
h(z) es continua en Γ1 , entonces:
1 F (z)dz
F (ξ) =
2πi Γ1 (z − ξ)2
= F (z)h(z)dz
Γ1
∞
= cn (z − z0 )n h(z)dz
n=0 Γ1
∞
1 (z − z0 )n
= dz
n=0
2πi (z − ξ)2
∞
d n
= cn (z − z0 )
n=0
dz z=ξ
97
87
Capítulo 4
Serie de potencias
Luego:
∞
F (ξ) = ncn (ξ − z0 )n−1
n=1
C1 D
C2
l1 l2
C2
C1
98
88
Análisis complejo
Acosta, Flores, Tineo y Meza
Teorema 4.2.4 (Serie de Laurent). Sea S la región limitada por los cı́rculos concéntri-
cos:
C1 = {z ∈ C : |z − z0 | = r1 } , C2 = {z ∈ C : |z − z0 | = r2 }
con 0 < r1 < r2 . Sea f (z) analı́tica en un anillo D que contiene a S (D es la región
entre las curvas punteadas).
r2
r1
C1
C2
Entonces para cada z interior a S, f (z) puede ser representado como una serie conver-
gente de potencias positivas y negativas (z − z0 ):
∞
∞
f (z) = 89n b (z − z )−n
an (z − z99
0) + n 0
n=0 n=1
1 f (ξ)dξ 1 f (ξ)dξ
Capítulo 4
Serie de potencias
90
100
Análisis complejo
Acosta, Flores, Tineo y Meza
donde:
1 (ξ − z0 )n f (ξ)dξ
Qn (z) =
2πi(z − z0 )n C1 (z − ξ)
Denotemos r = |z − z0 |, 0 < r1 < r < r2 . ξ ∈ C1 → |ξ − z0 | = r1 .
|z − ξ| = |(z − z0 ) − (ξ − z0 )|
≥ |z − z0 | − |ξ − z0 |
= r − r1
M r1n
|Qn (z)| ≤ 2πr1
2πrn r − r1
M r 1 r1 n
=
r − r1 r
r1
0< < 1 → lı́m Qn (z) = 0.
r n→∞
Nota 1. La serie:
∞
∞
f (z) = an (z − z0 )n + bn (z − z0 )−n
n=0 n=1
donde
1 f (ξ)dξ
cn = , n∈Z
2πi C (ξ − z0 )n+1
91
101
Capítulo 4
Serie de potencias
C2 = {z ∈ C : |z − z0 | = r2 }
entonces:
f (ξ)
(ξ − z0 )1−n
es analı́tica en B[z0 , r1 ] = {z ∈ C : |z − z0 | ≤ r1 } y por tanto:
1 f (ξ)dξ
bn = =0 , n∈N
2πi C1 (ξ − z0 )−n+1
y la serie de Laurent se transforma en una serie de Taylor.
s(n) ∈ X , s(n) = fn
f( z) + f2 (z) + · · · + fn (z) + · · ·
ó
∞
fn (x)
n=1
102
92
Análisis complejo
Acosta, Flores, Tineo y Meza
en D y se escribe:
∞
fn (z) = f (z), z ∈ D
n=1
Definición 4.3.2 (Convergencia casi uniforme). Una sucesión de funciones {fn (z)} se
dice que converge casi uniformemente en un dominio D a una función f (z) si para cada
z0 ∈ D, existe una vecindad V (z0 ) ⊂ D tal que fn (z) → f (z) uniformemente en V (z0 ).
Lema 4.3.3. Sea {fn (z)} una sucesión de funciones continuas definidas en un dominio
D que converge casi uniformemente en un dominio D a una función f (z). Entonces
f (z) es continua en D.
Demostración: Tomemos z0 ∈ D, por definición existe una vecindad V (z0 ) tal que:
fn (z) → f (z) uniformemente en V (z0 ), es decir: Dado > 0, existe N () ∈ N tal que:
|fn (z) − f (z)| <
3
para todo n ≥ M () y todo z ∈ V (z0 ). Tomemos n0 ≥ M () fijo, entonces:
|fn0 (z) − f (z)| <
3
103
93
Capítulo 4
Serie de potencias
para todo z ∈ V (z0 ). Como fn0 es continua, dado > 0, existe δ > 0 tal que: (0 < δ ≤ r)
|z − z0 | < δ → |fn0 − fn0 (z0 )| < .
3
Luego:
|f (z) − f (z0 )| ≤ |f (z) − fn0 (z)| + |fn0 (z) − fn0 (z)| + |fn0 (z0 ) − f (z0 )|
< + +
3 3 3
=
|f (z) − f (z0 )| < para todo z ∈ D tal que |z − z0 | < δ. Por tanto f es continua en D.
Demostración: Existe
∂ f (z)dξ ∂ f (ξ)dξ
=
∂z C ξ − z C ∂z ξ−z
f (ξ)dξ
g (z) =
C (ξ − z)2
Por tanto, existe g (z), es decir g() es analı́tica en z ∈
/ C.
Teorema 4.4.2. Sea {fn (z)} una sucesión de funciones analı́ticas en D(dominio) y
supongamos que la serie
∞
fn (z)
n=1
104
94
Análisis complejo
Acosta, Flores, Tineo y Meza
(b) la serie
∞
fn (z)
n=1
converge casi uniformemente en D
∞
(c) f (z) = n=1 fn (z) para todo z ∈ D.
Demostración: Escribamos
n
gn (z) = fk (z).
k=1
C = {z ∈ C : |z − z0 | = r}
C1 = {z ∈ C : |z − z0 | = r1 } , r1 < r
r
z 0 r1
C1
C
105
95
Capítulo 4
Serie de potencias
|ξ − z| = |(ξ − z0 ) − (z − z0 )| ≥ |ξ − z0 | − |z − z0 |
106
96
Análisis complejo
Acosta, Flores, Tineo y Meza
|ξ − z|2 ≥ (r − r1 )2 ,
1|f (ξ) − gn (ξ)|
|f (z) − g (z)| ≤ |dξ|
2π
C |ξ − z|2
2πr
≤
2π(r − r1 )2
r
= , >0
(r − r1 )2
|f (z) − gn (z)| < 1 para todo n ≥ N () y todo z ∈ intC1 . Luego gn (z) → f (z) casi
uniformemente en D.
Nota. Los términos de una sucesión {fn } pueden considerarse como sumas parciales
de una serie:
f1 + (f2 − f1 ) + (f3 − f2 ) + · · · + (fn − fn−1 ) + · · ·
Teorema 4.4.3. Si una sucesión {fn (z)} de funciones analı́ticas definidas en un do-
minio D converge casi uniformemente en D a una función f (z) entonces:
107
97
Capítulo 4
Serie de potencias
108
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 5
Cálculo de residuos
109
Capítulo 5
Cálculo de residuos
110
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 5
Cálculo de Residuos
1. f (z) no es analı́tica en z0 y
1. f (z) no es analı́tica en z0 y
111
98
Capítulo 5
Cálculo de residuos
r
z0 C
112
99
Análisis complejo
Acosta, Flores, Tineo y Meza
donde:
1 f (ξ)dξ
an = , n ∈ N ∪ {0}
2πi C (ξ − z0 )n+1
1 f (ξ)dξ
bn = ,n ∈ N
2πi C (ξ − z0 )1−n
= a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·
h(z)
Ejemplo 5.1.5. Sea h : C → C analı́tica en B(z0 , r) con h(z0 ) = 0 y f (z) = z−z0
.
Probar que z0 es una singularidad removible de f (z).
113
100
Capítulo 5
Cálculo de residuos
escribir:
∞
h(z) = an (z − z0 )n
n=1
= a1 (z − z0 ) + a2 (z − z0 )2 + a3 (z − z0 )3 + · · ·
h(z)
f (z) = = a1 + a2 (z − z0 ) + a3 (z − z0 )2 + · · ·
z − z0
con convergencia en 0 < |z − z0 | < r. Definiendo
se tiene
∞
f (z) = an (z − z0 )n−1
n=1
∞
[1 − (−1)n ] z n
ez − e−z =
n=0
n!
3
2z 2z 2z 5 2z 7 2z 9
= + + + + + ···
1 3! 5! 7! 9!
∞
z 2n+1
senh z =
n=0
(2n + 1)!
101
114
Análisis complejo
Acosta, Flores, Tineo y Meza
Entonces:
z 2n−1 ∞
senh z 1 1 1
f (z) = = + + +
z6 z 5 3!z 3 5!z n=1 (2n + 5)!
es decir f (z) tiene un polo de orden 5 en z0 = 0.
Ejemplo 5.1.7.
∞
∞ ∞
zn 1 1 1 1
ez = , ez = n
, e z2 =
n=0
n! n=0
n!z n=0
n!z 2n
1 1 1 1 1
e z2 = 1 + + + + + ···
z 2 2z 4 3!z 6 4!z 8
1
convergencia para |z| > 0. e z2 tiene singularidad esencial en el punto z0 = 0.
Sea
∞
m
λ(z) = (z−z0 ) f (z) = an (z−z0 )m+n +b1 (z−z0 )m−1 +· · ·+bm−1 (z−z0 )+bm , z = z0
n=0
Podemos definir:
lı́m λ(z) = lı́m (z − z0 )m f (z) = bm
z→z0 z→z0
λ(z) = (z − z0 )m f (z)
lı́m λ(z) = c0 = 0,
z→z0
115
102
Capítulo 5
Cálculo de residuos
entonces f (z) tiene un polo de orden m en z0 . En efecto, como λ(z) tiene una singula-
ridad removible en z = z0 , λ(z) es de la forma:
∞
λ(z) = cn (z − z0 )n
n=0
Como bm = c0 = lı́mz→z0 λ(z) = 0, se tiene que f (z) tiene un polo de orden m. Podemos
enunciar el siguiente teorema:
Teorema 5.1.8. Supongamos que la función f (z) es analı́tica en una vecindad reducida
(B̊)(z0 , r) ((B̊)(z0 , r) = B(z0 , r) − {z0 }). Entonces: f (z) tiene un polo de orden m ∈ N
en z0 , si y solo si la función:
λ(z) = (z − z0 )m f (z)
z2 + 5
f (z) =
(z + 2i)(z − 1)3
y definamos:
z2 + 5
λ1 (z) = (z + 2i)f (z) = , z = −2i
(z − 1)3
z2 + 5
λ2 (z) = (z − 1)3 f (z) = , z = 1
z + 2i
4i2 + 5 1
lı́m λ1 (z) = = = 0
z→−2i (−2i − 1)3 (−2i − 1)3
103
116
Análisis complejo
Acosta, Flores, Tineo y Meza
En este caso se dice que f (z) tiene un cero de orden m(o de multiplicidad m) en z = z0 .
Un cero de multiplicidad uno también se llama un cero simple. Sea D ⊂ C un dominio
y f : D → C una función analı́tica en D y z0 ∈ D. Entonces z0 es un cero de orden m
de f (z) si y solamente si
f (z) = (z − z0 )m λ(z)
Teorema 5.1.10. Supongamos que la función f (z) es analı́tica en B(z0 , r) para algún
r > 0, y que los coeficientes de la serie de Taylor
f (n) (z0 )
an =
n!
son todos ceros. Si z = z0 es un cero de f (z), entonces existe B̊(z0 , s) sin ceros de f (z).
Es decir z0 es un cero aislado de f (z).
f (z) = (z − z0 )m λ(z).
117
104
Capítulo 5
Cálculo de residuos
Entonces:
> 2k − k
=k
5.2. Residuos
Supongamos que z0 es un punto singular aislado de una función analı́tica f (z). Sea R
la distancia de z0 al punto singular más próximo de f (z) (distinto de z0 ). Sean:
C1 = {z ∈ C : |z − z0 | = r1 }
C2 = {z ∈ C : |z − z0 | = r2 }
donde:
1 f (ξ)dξ
an = , n ∈ N ∪ {0}
2πi C (ξ − z0 )n+1
1 f (ξ)dξ
bn = ,n ∈ N
2πi C (ξ − z0 )−n+1
118
105
Análisis complejo
Acosta, Flores, Tineo y Meza
con C cualquier circunferencia con centro z0 y con radio r, r1 < r < r2 . En realidad (3)
se cumple en el anillo 0 < |z − z0 | < R y C es cualquier circunferencia con centro z0 y
radio r, 0 < r < R. El coeficiente
1
b1 = f (ξdξ)
2πi C
Teorema 5.2.1 (del Residuo de Cauchy). Sea C un contorno simple cerrado y sea f (z)
analı́tica en C y en el interior de C, excepto en un número finito de puntos singulares
z1 , z2 , . . . , zk contenidos en el interior de C. Entonces:
k
f (z)dz = 2πi Res[f (z), zn ],
C n=1
C1 D
z1
C2 Ck
z2 zk
119
106
Capítulo 5
Cálculo de residuos
Entonces:
k
f (z)dz = f (z)dz
C n=1 Cn
1
O
1 d(m−1)
Res[f (z), z0 ] = lı́m (m−1) ((z − z0 )m f (z)) (α)
(m − 1)! z→z0 dz
Como
senh z 1 1 1 z
= 5+ + + + ···
z6 z 3!z 3 5!z 7!
se tiene:
1
b1 = Res[f (z), 0] =
5!
120
107
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
senh zdz
= 2πiRes[f (z), 0]
C z6
2πi
=
5!
πi
=
60
Ejemplo 5.2.3. Calcular:
(1 − z 4 )e2z dz
C z5
donde C = {z ∈ C : |z| = 1}, en sentido antihorario.
Solución. La función
(1 − z 4 )e2z
z5
tiene un punto singular en z0 interior a C. Para hallar Res[f (z), 0], procedemos de la
manera siguiente:
(1 − z 4 )e2z e2z e2z
= −
z5 z5 z
∞
(2z)2 (2z)3 (2z)4
e2z = = 1 + 2z + + + + ···
n=0
2! 3! 4!
e2z 1 2 2 4 2
5
= 5+ 4+ 3+ 2+ + ···
z z z z 3z 3z
e2z 1
= + 2 + 2z + · · ·
z z
e2z e2z 1 2 2 4 1
− = 5+ 4+ 3+ 2− z
z5 z z z z 3z 3
Luego Res[f (z), 0] = − 13 , entonces:
(1 − z 4 )e2z dz 2πi
5
=−
C z 3
También se puede aplicar (α).
1 d(m−1)
Res[f (z), z0 ] = lı́m (m−1) [(z − z0 )m f (z)]
(m − 1)! z→z0 dz
121
108
Capítulo 5
Cálculo de residuos
d(m−1) m
dz (m−1)
[(z − z0 ) f (z)] es de la forma:
d(m−1)
[(z − z0 )m f (z)] = (m − 1)!b1 + a10 (z − z0 ) + a11 (z − z0 )2 + · · ·
dz (m−1)
d(m−1)
lı́m [(z − z0 )m f (z)] = (m − 1)!b1
z→z0 dz (m−1)
Luego:
d(m−1)
Res[f (z), z0 ] = b1 = [(z − z0 )m f (z)] .
dz (m−1)
Cuando m = 1 se tiene:
122
109
Análisis complejo
Acosta, Flores, Tineo y Meza
1 13 13
Res(1) + Res(4) + Res(−3) = − + + =1
12 21 28
Entonces:
(z 2 − z + 1)dz
= 2πi.
C (z − 1)(z − 4)(z + 3)
Ejemplo 5.2.6. Hallar los residuos de la función:
ez
f (z) =
z 2 (z − πi)3
Solución. La función anterior tiene un polo de orden 2 en z0 = 0 y un polo de orden 3
en z0 = πi, entonces:
1 d
Res[f (z), 0] = lı́m [z 2 f (z)]
1! z→0 dz
d ez
= lı́m
z→0 dz (z − π)3
1 d2
Res[f (z), πi] = lı́m 2 (z − πi)3 f (z)
2! z→πi dz
1 d2 ez
= lı́m 2 2
2! z→πi dz z
1 d ez (z − 2)
= lı́m
2! z→πi dz z3
z 2
1 e [z − 4z + 6]
= lı́m
2 z→πi z4
1 eπi [π 2 i2 − 4πi + 6]
=
2 π 4 i4
2
π + 4πi − 6
=
2π 4
Ejemplo 5.2.7. Calcular f (z)dz donde
C
ez
f (z) =
z 2 (z − πi)3
123
110
Capítulo 5
Cálculo de residuos
y C = {z ∈ C : |z| = 1}.
Solución. El único polo de f (z) dentro de C es z0 , luego:
−πi − 3
Res[f (z), 0] =
π4
ez dz −πi − 3
= 2πi
C z 2 (z − πi)3 π4
2π − 6i
=
π3
p(z)
Teorema 5.2.8. Sea f (z) = , donde p(z), q(z) son analı́ticas en z = z0 y p(z0 ) = 0.
q(z)
Entonces:
p(0 )
Res[f (z), z0 ] = .
q (z0 )
Demostración:
q(z) = (z − z0 )m λ(z)
p(z)
f (z) =
(z − z0 )m λ(z)
entonces
p(z)
(z − z0 )m f (z) =
λ(z)
p(z)
donde λ(z)
es analı́tica en z0 pues λ(z0 ) = 0. Además:
p(z) p(z0 )
lı́m (z − z0 )m f (z) = lı́m = = 0
z→z0 z→z0 λ(z) λ(z0 )
124
111
Análisis complejo
Acosta, Flores, Tineo y Meza
z − z0
f (z0 )
=
q(z)
lı́mz→z0
z − z0
f (z0 )
=
q (z0 )
Si z = z0 es un cero de orden 2 de q(z), entonces:
Res[f (z), z0 ] = lı́m (z − z0 )2 f (z)
z→z0
q (z0 ) q (z0 )
p (z0 ) − p(z0 )
= 2 2 3!
q (z0 )
2
125
112
Capítulo 5
Cálculo de residuos
Escribir:
q (z0 ) q (z0 )
q(z) = (z − z0 )2 + (z − z0 )3 + · · ·
2 3!
(b) C = {z ∈ C : |z − 1| = 2}.
cos z
Solución. f (z) = sen z
.
(a) f (z) tiene polos simples en z0 = 0, ±πi, ±2πi, · · · . Además 0 y ±πi están en la
curva C en (a).
cos(0)
Res[f (z), 0] = =1
cos(0)
cos(πi)
Res[f (z), πi] = =1
cos(πi)
cos(−πi)
Res[f (z), −πi] = =1
cos(−πi)
Luego:
cot zdz = 2πi(1 + 1 + 1)
C
= 6πi
126
113
Análisis complejo
Acosta, Flores, Tineo y Meza
πi
x
1 2 3
−πi
Como:
Res[f (z), 0] = 1
se tiene: cot zdz = 2πi.
C
(a) C = {z ∈ C : |z| = 3}
(b) C = {z ∈ C : |z − 1| = 2}
Solución.
(a)
127
114
Capítulo 5
Cálculo de residuos
f (z) = tanh z
senh z
=
cosh z
ez − e−z
= z
e + e−z
p(z)
=
q(z)
q (z) = ez − e−z ,
q(z) = 0 ↔ ez + e−z = 0
↔ e2z + 1 = 0
1
↔z = n+ πi
2
Los polos de f (z) son
3π π 3π π
− i, − i, i, i
2 2 2 2
de los cuales ± π2 i están dentro de C.
π
i
2
π
− i
2
128
115
Análisis complejo
Acosta, Flores, Tineo y Meza
p(πi)
Res[f (z), πi] = =1
q (πi)
p(−πi)
Res[f (z), −πi] = =1
q (−πi)
Luego:
tanh zdz == 4πi
C
π √
< 3 ↔ π 2 < 12
2
π
2
i
√
3 2
x
1
− π2 i
Luego:
tanh zdz = 4πi
C
129
116
Capítulo 5
Cálculo de residuos
donde F (sen θ, cos θ) es una función racional de sen θ y cos θ, definido y finito en [0, 2π].
Se hace la sustitución eiθ = z, e−iθ = z −1 ,
z − z −1 z + z −1
sen θ = , cos θ = , dθ = −iz −1 dz.
2i 2
Cuando 0 ≤ θ ≤ 2π, z recorre la circunferencia |z| = 1. La integral (1) se transforma
en una integral de la forma:
I= f (z)dz.
C
que lo integramos usando el método de los residuos, con C en dirección positiva.
donde √ √
−1 + 1 − a2 −1 − 1 − a2
z1 = , z2 =
a a
C = {z ∈ C : |z| = 1}
|z2 | > 1 implica que z2 no está en la circunferencia dada, |zz z2 | = 1 implica |z1 | < 1,
luego z1 sı́ está en la circunferencia dada.
√
−ai +a2 i2 + b2
z1 =
√b
−ai + b2 − a2
=
b
−ai + (−1)(a2 − b2 )
=
√ b
−a + a2 − b2
= i
b
131
118
Capítulo 5
Cálculo de residuos
√
a2 − b 2
−a −
z2 = i
√ 2 b 2 √
a − b − a a2 − b2 + a
|z1 | = √
b a2 − b2 + a
2
(a − b2 ) − a2
= √
b[ a2 − b2 + a]
|b|
= √
| a − b2 + a|
2
<1
√
la desigualdad debido a que: |b| < a < a2 − b2 + a,
√
a + a2 − b 2
|z2 | = > 1.
|b|
Luego, solo z1 se encuentra dentro la circunferencia |z| = 1.
132
119
Análisis complejo
Acosta, Flores, Tineo y Meza
entonces 2π
dθ 2πa
= 3
0 (a + b sen θ)2 (a − b2 ) 2
2
eϕ(t) = G[z(t)].
Es decir, que para cada t ∈ [α, β], ϕ(t) es un valor de log[G(z(t))]. Entonces:
ϕ(β) − ϕ(α)
entonces:
ψ(β) − ψ(α) = ϕ(β) − ϕ(α).
133
120
Capítulo 5
Cálculo de residuos
ϕ(t) − ψ(t)
λ(t) =
2πi
luego:
ϕ(t) − ψ(t)
= n,
2πi
para cada t ∈ [α, β], λ(t) = n ∈ Z. Como λ(t) es continua en [α, β] que es conexo, su
imagen en Z debe ser conexo, luego:
Entonces:
ϕ(t) − ψ(t)
= m0 para todo t ∈ [α, β].
2πi
eK = G[z(t)].
G [z(t)]z (t)
G[z(t)]
134
121
Análisis complejo
Acosta, Flores, Tineo y Meza
es continua excepto en un número finito de puntos de [α, β], luego ϕ(t) es continua
para α ≤ t ≤ β, y en cada punto de continuidad de z (t) se tiene:
G [z(t)]z (t)
ϕ (t) = .
G[z(t)]
es igual a 1, para α ≤ T ≤ β.
G[z(T )]
H(T ) =
eϕ(T )
ϕ(T )
e G [z(T )]z (T ) − G[z(T )]eϕ(T ) ϕ (T )
H (T ) =
e2ϕ(T )
se tiene:
H(α) = G[z(α)]e−ϕ(α) = 1
135
122
Capítulo 5
Cálculo de residuos
eϕ(α) = G[z(α)]
= G[z(β)]
= eϕ(β)
1 G (z)dz ∆C log[G(z)]
= = n.
2πi C G(z) 2πi
Lema 5.4.1. Dado un contorno cerrado:
C : z = z(t), α ≤ t ≤ β
y una función analı́tica h : C → C tal que: |h(z)| < 1 para todo z ∈ C, entonces:
∆C log[1 + h(z)] = 0.
= Log[1 + h[z(α)]]
= ϕ(α)
136
123
Análisis complejo
Acosta, Flores, Tineo y Meza
π
2
x
O
π
−
2
Demostración: Los ceros y los polos de una función analı́tica f : C → C son puntos
aislados. Entonces en el interior de C, existen solo un número finito de ceros y un
número finito de polos de G(z).
137
124
Capítulo 5
Cálculo de residuos
125
138
Análisis complejo
Acosta, Flores, Tineo y Meza
=N −P
Entonces las funciones f (z)+g(z) y f (z) tienen el mismo número de ceros en el interior
de C.
Demostración: Como |g(z)| < |f (z)| en C se tiene que f (z) y f (z) + g(z) no tienen
ceros en C.
f (z0 ) + g(z0 ) = 0 → f (z0 ) = −g(z0 )
Sean
usando:
1 1 G (z)
∆C log[G(z)] = dz = N
2πi 2πi C G(z)
139
126
Capítulo 5
Cálculo de residuos
entonces
140
127
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego: f (z) + g(z) tiene el mismo número de ceros interior a la circunferencia CR que
f (z). Como f (z) = an z n tiene un cero de orden n en z0 = 0, luego p(z) = f (z) + g(z)
también tiene n ceros en el interior de CR contando multiplicidades.
az n − ez = 0
Luego:
|g(z)| ≤ e < |an ||z|n
Entonces
f (z) + g(z) = az n − ez
tiene el mismo número de ceros en |z| = 1 que f (z). Pero f (z) = az n tiene n ceros en
el interior de |z| = 1, por tanto az n − ez también tiene n ceros en el interior de |z| = 1.
Entonces, f (z)+g(z) tiene el mismo número de ceros que g(z). Como g(z) tiene un solo
cero en |z| = 1, se tiene que existe un único z0 interior a |z| = 1 tal que: f (z0 )+g(z0 ) = 0,
f (z0 ) − z0 = 0.
141
128
Capítulo 5
Cálculo de residuos
zea−z = 1, 1 < a
1
z= .
ea−z
1
Sea f (z) = z y g(z) = ea−z
.
|z| = 1 → x2 + y 2 = 1, −1 ≤ x ≤ 1
= |z|
= |f (z)|.
Entonces f (z) − g(z) tiene el mismo número de ceros en el interior de C que f (z).
U = {z ∈ C : |z| > M }
1 1
Definición 5.5.8 (Función de orden |z|p
). Una función f (z) se llama de orden |z|p
,
p ∈ R, en una vecindad del infinito y se escribe
1
f (z) = o
|z|p
129
142
Análisis complejo
Acosta, Flores, Tineo y Meza
k
|f (z)| <
|z|p
para todo z con |z| suficientemente grande, digamos |z| ≥ M , para algún M > 0.
k
|f (z)| ≤ , k y p constantes y p > 1,
|z|p
1 1
≤ p
|z|p M
k k
≤ p
|z|p M
143
130
Capítulo 5
Cálculo de residuos
M
O
λ(z)
f (z) =
(z − z0 )m
{z ∈ C : |z| ≥ M }.
S = {z ∈ C : |z| ≤ M }.
Demostración: Denotemos:
CR = {z ∈ C : |z| = R y Im(z) = 0}
144
131
Análisis complejo
Acosta, Flores, Tineo y Meza
f (z)dz ≤ |f (z)||dz|
CR CR
k
≤ πR
Rp
πK
= p−1
R
Luego:
lı́m f (z)dz = 0.
R→∞ CR
Entonces:
+∞ k
f (z)dz = 2πi Res(zn )
−∞ n=1
p(z)
Teorema 5.6.2. Sea f (z) = q(z)
donde p(z) y q(z) son polinomios primos relativos y
q(z) no tiene ceros reales. Si
grado(q(z)) ≥ grado(p(z)) + 2
entonces:
+∞ k
f (x)dx = 2πi Res(zn )
−∞ n=1
Demostración: Denotemos:
m
n
p(z) = aj z j , q(z) = bi z i , am = 0, bn = 0, n ≥ m + 2
j=0 i=0
a0 + a1 z + a2 z 2 + · · · + am z m
f (z) =
b0 + b1 z + b2 z 2 + · · · + bn z n
145
132
Capítulo 5
Cálculo de residuos
a0 a1 am−1
m
+ m−1 + · · · + + am
f (z) = z z z
b0 b1 bn−1 bm
+ + · · · + m−n+1 + m−n
z m z m−1 z z
a0 a1 am−1
m
+ m−1 + · · · + + am
= z z z
1 b0 b1 bn−1
+ + · · · + + b m
z m−n z n z n−1 z
a0 a1 am−1
m
+ m−1 + · · · + + am
= z z z
n−m
b0 b1 bn−1
z + + ··· + + bm
z n z n−1 z
1
= R(z)
z n−m
b0
+ b1 + · · · + bn−1 < |bn | , |z| ≥ R
z n z n−1 z 2
bn + b0 + b1 + · · · + bn−1 ≥ |bn | − | · · · · · · · · · |
z n z n−1 z
|bn |
> |bn | −
2
También:
a a1 am−1
0
m + + · · · + ≤ |am |
z z m−1 z
a a1 am−1
0
m + m−1 + · · · + + am < 2|am |
z z z
Luego:
2|am | k
|f (z)| ≤ = r
|bn | |z|
|z|n−m
2
con r = n − m ≥ 2, r > 1. f (z) ≤ |z|kr , r > 1, para todo z tal que |z| = R. Se cumplen
146
133
Análisis complejo
Acosta, Flores, Tineo y Meza
i2
=
(2i)(i2 + 4)
1
=−
6i
4i2
=
(4i2 + 1)(4i)
1
=
3i
147
134
Capítulo 5
Cálculo de residuos
Luego:
+∞
x2 dx 1 2
= 2πi − +
−∞ (x2 + 1)(x2 + 4) 6i 6i
π
=
3
Como f (x) es par se tiene:
+∞
x2 dx π
2 2
=
0 (x + 1)(x + 4) 6
Ejemplo 5.6.4. Calcular +∞
x2 dx
0 (x2 + 1)2
Solución. Sea
z2
f (z) =
(z 2 + 1)2
Se satisfacen las condiciones del Teorema anterior. Los polos de f (z) son los polos
dobles z0 = ±i, luego: como solo i está en el semiplano superior:
d
Res[f (z), i] = lı́m (z − i)2 f (z)
dz
z→i
d z2
=
dz (z + i)2
(z + i)2 2z − z 2 2(z + i)
= lı́m
z→i (z + i)4
2z + 2iz − 2z 2
2
= lı́m
z→i (z + i)3
1
=
4i
Luego:
+∞
x2 dx 1
2 2
= (2πi)
−∞ (x + 1) 4i
π
=
2
Como f (z) es par se tiene:
+∞ +∞
x2 dx 1 x2 dx
=
0 (x2 + 1)2 2 −∞ (x2 + 1)2
π
=
4
148
135
Análisis complejo
Acosta, Flores, Tineo y Meza
π 1
Res[f (z), ei 4 ] = 3π
4ei 4
3π 4
Res[f (z), ei 4 ] = 9π
ei 4
π 3π 1 1 1
Res[f (z), ei 4 ] + Res[f (z), ei 4 ] = +
4 ei 3π4 9π
ei 4
9π 3π
1 e i 4 + ei 4
=
4 eiπ
π 3π
1 e i 4 + ei 4
=
4 −1
i
=− √
2 2
Luego:
+∞
dx −i
= 2πi √
−∞ x4 + 1 2 2
π
=√
2
y como e3πi = e2πi eπi , f (z) es par, se tiene que:
∞
dx 1 ∞ dx
=
0 x4 + 1 2 −∞ x4 + 1
π
= √
2 2
Ejemplo 5.6.6. Calcular: ∞
x2 dx
0 (x2 + 9)(x+ 4)2
149
136
Capítulo 5
Cálculo de residuos
Solución. Sea
z2
f (z) =
(z 2 + 9)(z 2 + 4)2
f (z) tiene polos simples en z = ±3i y polos dobles en z = ±2i, de los cuales solo 3i y
2i están en el semiplano superior.
z2
Res[f (z), 3i] = lı́m
z→3i (z + 3i)(z 2 + 4)2
9i2
=
(6i)(9i2 + 4)2
3i
=
50
d
Res[f (z), 2i] = lı́m (z − 2i)2 f (z)
z→2idz
d z2
= lı́m
z→2i dz (z 2 + 9)(z + 2i)2
3i 13i
Res[f (z), 3i] + Res[f (z), 2i] = −
50 200
i
=−
200
∞
x2 dx −i
= 2πi
−∞ (x2 + 9)(x2 + 4)2 200
π
=
100
Como f (x) es par se tiene:
∞
x2 dx π
2 2 2
= .
0 (x + 9)(x + 4) 200
Ejemplo 5.6.7. Calcular ∞
x2 dx
0 (x2 + 1)(x2 + 4)
137
150
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución. Sea
z2
f (z) =
(z 2
+ 1)(z 2 + 4)
z2
= 4
z + 5z 2 + 4
p(z)
=
q(z)
Los polos de f (z) son los polos simples z = ±i y z = ±2i, de los cuales, solo i y 2i
están en el semiplano superior.
i2
Res[f (z), i] =
4i3 + 10i
−1
=
6i
4i2
Res[f (z), 2i] =
4(−8i) + 20i
1
=
3i
1 2
Res[f (z), i] + Res[f (z), 2i] = − +
6i 6i
1
=
6i
Luego:
∞
x2 dx 1
= 2πi
−∞ (x2 + 1)(x2 + 4) 6i
π
=
3
Como f (x) es par se tiene:
∞
x2 dx π
=
0 (x2 + 1)(x2 + 4) 6
Ejemplo 5.6.8. Calcular +∞
dx
−∞ x2 + 2x + 2
Solución. Sea
1
f (z) =
z 2 + 2z + 2
138
151
Capítulo 5
Cálculo de residuos
1
f (z) =
z2
+ 2z + 1 + 1
1
=
(z + 1)2 + 1
1
=
(z + 1 − i)(z + 1 + i)
1
Res[f (z), −1 + i] = lı́m
z→−1+i z + 1 + i
1
=
−1 + i + 1 + i
1
=
2i
Luego:
∞
dx 1
= 2πi
−∞ x2 + 2x + 2 2i
= π.
Solución. Sea
1
f (z) =
(z 2 + a2 )(z 2
+ b2 )
1
=
(z − ai)(z + ai)(z − bi)(z + bi)
f (z) tiene polos simples en ±ai y en ±bi, de los cuales solo ai y bi están en el semiplano
superior.
1
Res[f (z), ai] = lı́m
(z + ai)(z 2 + b2 )
z→ai
1
=
2ai(b2 − a2 )
152
139
Análisis complejo
Acosta, Flores, Tineo y Meza
1
Res[f (z), bi] = lı́m
z→bi (z 2
+ a2 )(z + bi)
1
= 2
(a − b2 )2bi
1 1
Res[f (z), ai] + Res[f (z), bi] = −
2ai(b2 − a2 ) 2bi(b2 − a2 )
1
=
2abi(a + b)
Luego:
∞
dx 2πi
=
−∞ (x2 + a2 )(x2 + b2 ) 2abi(a + b)
π
=
ab(a + b)
Nota.
eϕ(t)+ψ(t) = G[z(t)]H[z(t)] , α ≤ t ≤ β
= ∆C log[G(z)] + ∆C log[H(z)]
153
140
Capítulo 5
Cálculo de residuos
sen θ
1 θ
θ
x
O 1
2 2θ
m= →y=
π π
y
( π2 , 1)
y = sen θ
2θ
y= π
x
O θ π π
2
154
141
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
2θ π
≤ sen θ ≤ θ , 0 ≤ θ ≤
π 2
Desigualdad de Jordan
y
CR
z
θ
x
O R
= e−mR sen θ
Pero
π π
2
m sen θ
e dθ = 2 em sen θ dθ ((b))
0 0
155
142
Capítulo 5
Cálculo de residuos
En efecto:
π π π
2
em sen θ dθ = em sen θ dθ + em sen θ dθ
π
0 0 2
π−ϕ
ϕ
x
sen θ = sen(π − ϕ)
= sen ϕ
dθ = −dϕ
π π
=π−ϕ→ϕ=
2 2
π =π−ϕ→ϕ=0
156
143
Análisis complejo
Acosta, Flores, Tineo y Meza
π 0
em sen θ dθ = em sen θ (−dϕ)
π π
2 2
0
=− em sen ϕ dϕ
π
2
π
2
= em sen ϕ dϕ
0
entonces π
π 2
m sen θ
e dθ = 2 em sen θ dθ
0 0
π
dz
e imz
f (z)dz = imz
e f (z) dθ
dθ
CR 0
π
= eimz f (z)Rieiθ dθ
0π
imz
≤ e |f (z)|Rdθ
0
π
k
≤ p e−mR sen θ Rdθ
R 0
π
2k 2 2θ
≤ p−1 e−mR π dθ
R 0
2k −π − 2mR π
= p−1 e π 2 −1
R 2mR
kπ −mR
= 1 − e
mRp
entonces
lı́m eimz f (z)dz = 0
R→∞ CR
p(z)
Teorema 5.7.2. Sea f (z) = q(z)
, donde p(z) y q(z) son polinomios primos relativos y
q(z) no tiene ceros reales,
entonces:
∞ k
f (x)eimx dx = 2πi Res[f (z)eimz , zn ]
−∞ n=1
imz
donde zn denota los polos de f (z)e , que se encuentran en el semiplano superior.
157
144
Capítulo 5
Cálculo de residuos
z2
z1
z3
zk
x
−R R
∞ k
f (x)eimx dx = 2πi Res f (z)eimz , zn
−∞ n=1
158
145
Análisis complejo
Acosta, Flores, Tineo y Meza
Observe que los polos de f (z)eimz son precisamente, las raı́ces de q(z). Como
podemos calcular:
∞ ∞
f (x) cos(mx)dx y f (x) sen(mx)dx
−∞ −∞
zeimz
f (z)eimz =
(z 2 + 1)(z 2 + 4)
son los ceros de q(z) = (z 2 + 1)(z 2 + 4) que son z0 = ±i, z1 = ±2i, de los cuales solo i
y 2i están en el semiplano superior. Tomando m = 1, en el Teorema anterior, se tiene:
∞
xeix dx
2 2
= 2πi[Res(i) + Res(2i)]
−∞ (x + 1)(x + 4)
159
146
Capítulo 5
Cálculo de residuos
Luego:
∞
xeix dx 1 1
= 2πi −
−∞ (x2 + 1)(x2 + 4) 6e 6e2
πi 1 1
= −
3 e e2
iπ
= 2 [e − 1]
3e
∞
x cos x + ix sen x iπ
dx = 2
−∞ (x2 + 1)(x2 + 4) 3e (e − 1)
Solución. Consideremos
1
f (z) = ,
z2 + 4
Los polos de
eiz
f (z)eiz =
z2 + 4
160
147
Análisis complejo
Acosta, Flores, Tineo y Meza
eiz
Res[f (z)eiz , 2i] = lı́m
z→2i z + 2i
2
e2i
=
4i
1
=
4ie2
Luego:
∞
eix dx
= 2πi[Res(2i)]
−∞ x2 + 4
1
= 2πi
4ie2
π
= 2
2e
Luego:
∞ ∞
cos xdx π cos xdx π
= 2 , = 2
−∞ x2 + 4 2e 0 x2 + 4 4e
1
f (z) =
z 2 + 4z + 5
1
= 2
(z + 4z + 4) + 1
1
=
(z + 2 + i)(z + 2 − i)
Los polos de
eiz
f (z)eiz =
(z + 2 + i)(z + 2 − i)
son z0 = −2 − i y z1 = −2 + i, de los cuales solo −2 + i está en el semiplano superior.
161
148
Capítulo 5
Cálculo de residuos
ei(−2+i)
=
−2 + i + 2 + i
e−1 e−2i
=
2i
1
= (cos 2 − i sen 2)
2ie
Luego:
∞
eix dx cos 2 − i sen 2
= 2πi
−∞ x2 + 4x + 5 2ie
π
= (cos 2 − i sen 2)
e
Tomando la parte imaginaria, se tiene:
∞
sen xdx π sen 2
2 + 4x + 5
=−
−∞ x e
Ejemplo 5.7.6. Calcular ∞
x sen(πx)
dx
−∞ x2 + 2x + 5
Solución. Consideremos la función:
2eiπz
f (z) =
z 2 + 2z + 5
zeiπz
=
(z + 1)2 + 4
zeiπz
=
(z + 1 + 2i)(z + 1 − 2i
Cuyos polos son z0 = −1 − 2i y z1 = −1 + 2i de los cuales solo z1 = −1 + 2i está en el
semiplano superior.
zeiπz
Res[−1 + 2i] = lı́m
z→−2+2i z + 1 + 2i
(−1 + 2i)eiπ(−1+2i)
=
(−1 + 2i) + 1 + 2i
(−1 + 2i)e−2π e−iπ
=
4i
162
149
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
∞
xeiπx dx 2πi(−1 + 2i)e−2π e−iπ
=
−∞ x2+ 2x + 5 4i
π(1 − 2i)e−2π
= (e−iπ = cos π − i sen π = cos π = −1)
2
∞ ∞
x cos πxdx x sen x π
+i = (1 − 2i)e−2π
−∞ x2 + 2x + 5 −∞ x2 + 2x + 5 2
Luego:
∞ ∞
x cos πxdx πe−2π x sen πxdx
= , = −πe−2π
−∞ x2 + 2x + 5 2 −∞ x2 + 2x + 5
ei5z ei5z
=
z2 + 1 (z + i)(z − i)
Luego:
∞ −5
ei5x e
2
= 2πi
−∞ x +1 2i
= πe−5
∞
cos 5xdx
= πe−5
−∞ x2 + 1
163
150
Capítulo 5
Cálculo de residuos
y
3πi
2
πi
−R + πi R + πi
πi
z = −R + iy 2
R + πyi = z
x
−R R
Los polos de F (z) ocurren cuando cosh z = 0, es decir cuando z = n + 12 πi,
151
164
Análisis complejo
Acosta, Flores, Tineo y Meza
πi
El único polo dentro de C es z0 = y es un polo simple.
2
πi az
z− e
πi 2
Res f (z), = lı́mπi
2 z→ 2 cosh z
az πi
ae z− + aeaz
2
= lı́mπi (usando L’Hopital)
z→ 2 senh z
πi
ea 2
=
πi
senh
2
πi
a
e 2
= π
i sen
2
πi
= −iea 2 (Ver Permissi, página 106)
Luego:
eaz dz πi
= (2πi)(−i)ea 2
C cosh z
πi
= 2πea 2
es decir:
R ax π R 0
e dx ea(R+iy) ea(x+πi) ea(−R+iy) πi
+ (idy) + dx + idy = 2πea 2
−R cosh x 0 cosh(R + iy) −R cosh(x + πi) π cosh(−R + iy)
eR + (eR − 2e−R ) > eR → eR < 2 eR − e−R
Luego:
1
| cosh(R + iy)| ≥ eR
4
π
π
ea(R+iy) idy ea(R+iy)
≤ i dy
cosh(R + iy) cosh(R + iy)
0 0
π aR
e
= 1 R dy
0 4e
Luego: π
ea(R+iy)
lı́m idy = 0
R→+∞ 0 cosh(R + iy)
Similarmente: 0
ea(−R+yi)idy
lı́m =0
R→∞ π cosh(−R + yi)
Entonces:
R −R
eax dx ea(x+πi) dx πi
lı́m + = 2πea 2
R→∞ −R cosh x R cosh(x + πi)
ex+πi +e−x−πi
pero cosh(x + πi) = − cosh x (que resulta de: cosh(x + πi) = 2
). Entonces se
tiene: R ax
R
eax dx aπi e dx πi
lı́m +e = 2πea 2
R→∞ −R cosh x −R cosh x
R ax πi
e dx 2πea 2
lı́m =
R→∞ −R cosh x 1 + eaπi
∞
eax dx 2π
= − aπi aπi
−∞ cosh x e 2 +e 2
π
= πa
cosh
2
0 ax ∞ ax
e dx e dx π
+ =
−∞ cosh x 0 cosh x cosh πa2
En la primera integral escribimos: x = −y, entonces:
dx = −dy, x = +∞ → y = −∞, x = 0 → y = 0
166
153
Análisis complejo
Acosta, Flores, Tineo y Meza
0 0
eax dx e−ay
= (−dy)
−∞ cosh x +∞ cosh y
+∞ −ax
e dx
=
0 cosh x
Luego:
∞ ∞ ∞ ax
eax dx e−ax dx e dx
= +
−∞ cosh 0 cosh x 0 cosh x
∞
cosh(ax)
=2 dx
0 cosh x
∞
cosh(ax)dx π
2 = πa
0 cosh(x) cos
2
π
cosh(ax)dx π
= πa
0 cosh(x) 2 cos
2
Ejemplo 5.7.9. Calcular +∞
eax
dx
−∞ 1 + ex
donde 0 < a < 1.
2πi
−R + 2πi R + 2πi
πi
x
−R O R
167
154
Capítulo 5
Cálculo de residuos
eπi = cos π +i sen π = −1, luego z0 = πi es el único polo simple dentro de C, p(z) = eaz ,
q(z) = 1 + ez , q (z) = ez ,
p(πi)
Res[F (z), πi] =
q (πi)
eaπi
= πi
e
= −eaπi
Luego:
F (z)dz = 2πi −eaπi
C
= −2πieaπi
es decir:
R 2π −R 0
eax dx ea(R+iy) idy ea(x+2πi) dx ea(−R+iy) idy
+ + + = −2πieaπi
−R 1 + ex 0 1 + eR+iy R 1 + ex+2πi 2π 1 + e−R+iy
= eR − 1
Entonces:
a(R+iy)
e aR
≤ e
eR+iy + 1 eR − 1
e(a−1)R
=
1 − e−R
2π
ea(R+iy) 2πe(a−1)R
idy ≤ →0
1 + eR+iy 1 − e−R
0
Similarmente:
2π
ea(−R+iy) −aR
idy ≤ 2πe →0
1 + e−R+iy 1 − e−R
0
168
155
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
R −R
eax ea(x+2πi)
lı́m dx + dx = −2πieaπi
R→∞ −R 1 + ex R 1 + e(x+2πi)
R R
eax dx eax dx
lı́m − e2aπi = −2πieaπi
R→∞ −R 1 + ex −R 1 + ex
Entonces:
R
eax dx −2πieaπi
lı́m x
=
R→∞ −R 1+e 1 − e2aπi
1
= −π −aπi
e − eaπi
2i
π
= (Ver Pennissi, página 100)
sen(aπ)
Luego: ∞
eax dx π
= , 0<a<1
−∞ 1 + ex sen(aπ)
En efecto:
F (z)dz ≤ |F (z)||dz|
γR γR
M
≤ k |dz|
R CR
M
= k πR
R
πM
= k−1 → 0, (k > 1)
R
156
169
Capítulo 5
Cálculo de residuos
(II) Si
M
, z = Reiθ
|F (z)| ≤
Rk
donde k > 0, M > 0 son constantes, entonces:
lı́m eimz F (z)dz = 0 , m constante
R→∞ γR
En efecto:
x
θ π π−θ π
2
π π π
2
e−mR sen θ dθ = e−mR sen θ dθ + e−mR sen θ dθ
π
0 0 2
Hagamos θ = π − s → dθ = −ds, θ = π2 → s = π2 , θ = π → s = 0.
π 0
−R sen θ
e dθ = e−R sen(π−s) (−ds)
π π
2 2
π
2
= e−R sen(π−s) ds
0
π
2
= e−R sen s ds
0
Luego:
π π
2
e−mR sen θ = 2 e−mR sen θ dθ
0 0
157
170
Análisis complejo
Acosta, Flores, Tineo y Meza
Si z = Reiθ se tiene:
π
iθ
eimz F (z)dz = eimRe F (Reiθ )iReiθ dθ
γR 0
π
imReiθ
e imz
F (z)dz ≤ e F (Reiθ ) Rdθ
γR
0 π
imR(cos θ+i sen θ)
= e F (Reiθ ) Rdθ
0 π
imR cos θ −mR sen θ
= e e F (Reiθ ) dθ
0 π
= e−mR sen θ |F (Reiθ )|Rdθ
0
π
M
≤ k−1 e−mR sen θ dθ
R 0
π
2M 2
= k−1 e−mR sen θ dθ
R 0
sen θ
2θ
π
π θ
θ 2
π 2θ
0≤θ≤ 2
→ sen θ ≥ . Luego:
π
2θ θ
−mR sen θ ≤ −mR → e−mR sen θ ≤ e−2mR π
π
π π
2 θ
→ e−mR sen θ dθ ≤ e−2mR π dθ
0 0
171
158
Capítulo 5
Cálculo de residuos
π
θ θ= 2
π
−2mR πθ πe−2mR π
e dθ =
0 −2mR
θ=0
π 1 − e−mR
=
2mR
Luego:
Mπ
e imz
F (z)dz ≤ 1 − e−mR → 0 , R→∞
mR k
γR
Entonces:
lı́m eimz F (z)dz = 0.
R→∞ γR
172
159
Análisis complejo
Acosta, Flores, Tineo y Meza
Γ = {z ∈ C : z = z(t), t1 ≤ t ≤ t2 }
denotemos t0 = sup S.
z
z0
z0 = z(t0 )
t1 t0 t2
f [z(t )] = 0 → t ∈ S
173
160
Capítulo 5
Cálculo de residuos
Demostración: Por el Lema anterior, existe B(z0 , r) ⊂ D tal que f (z) = 0 para todo
z ∈ B(z0 , r). Tomando D0 = B(z0 , r), la demostración sigue del Teorema anterior.
Lema 5.9.7. Sea w = F (z) una función analı́tica, no constante en B(z0 , r), para algún
r > 0. Sea w0 = F (z0 ) y k el menor número natural tal que F (k) = 0. Entonces, existe
una circunferencia:
C = {z ∈ C : |z − z0 | = s} , 0 < s < r
Γ = {w ∈ C : |w − w0 | = λ}
tal que para todo w1 = w0 con w1 interior a Γ tiene exactamente k distintas preimágenes
z1 , z2 , . . . , zk en el interior de C.
C = {z ∈ C : |z − z0 | = r} , 0 < r < s.
174
161
Análisis complejo
Acosta, Flores, Tineo y Meza
C ⊂ B(z0 , s). Como F (z0 ) = 0 y F (j) (z0 ) = 0 para 1 ≤ j < k, la serie de Taylor de
G(z) = F (z) − w0 tiene la forma:
G(z) = F (z) − w0
∞
F (n) (z0 )
= (z − z0 )n , F (k) (z0 ) = 0
n=k
n!
Γ
C
w1
m
z2 z1 F 2
z0 w0
zk
m
R = w ∈ C : |w − w0 | =
2
Sea w1 = w0 , w1 interior a Γ. Entonces, como G(z) = F (z) − w0 , se tiene:
m
F (z) − w1 = G(z) + (w0 − w1 ), |w0 − w1 | <
2
m
|G(z)| ≥ m > > |w0 − w| → |G(z)| > |w0 − w1 |, para todo z ∈ C
2
162
175
Capítulo 5
Cálculo de residuos
también tiene k−ceros en el interior de C. Veamos que los ceros de F (z) − w1 son
simples: Sea z1 interior a C un cero de F (z) − w1 . Como w1 = w0 , z1 = z0 . Entonces,
como G (z) = 0 para z = z0 en B(z0 , s) se tiene que:
F (z1 ) = G (z1 ) = 0
C = {z ∈ C : |z − z0 | = s}
y una circunferncia
Γ = {w ∈ C : |w − w0 | = λ}
176
163
Análisis complejo
Acosta, Flores, Tineo y Meza
Por el Teorema anterior, la función w = f (z) lleva D sobre un dominio Dw que contiene
al punto w0 = f (z0 ). Luego siendo Dw un conjunto abierto, contiene al segmento L
dado por w = w0 (1 + t), 0 < t ≤ para algún > 0. Entonces para cada w ∈ L, existe
un punto z ∈ D tal que w = f (z). Pero:
es decir: |f (z)| > |f (z0 )|, contradiciendo a |f (z)| ≤ |f (z0 )|, para todo z ∈ D. Por tanto
el Teorema es cierto.
177
164
Capítulo 5
Cálculo de residuos
Nota. Sea
D = {z ∈ C : |z| < 1}
178
165
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 6
Representación conforme
179
Capítulo 6
Representación conforme
180
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 6
Representación Conforme
y v
x u
z − plano w − plano
C = {z ∈ C : z = h(t), α ≤ t <≤ β}
166
181
Capítulo 6
Representación conforme
C
F Γ
h F ◦h
α β
(F ◦ h) (t0 )
h (t0 ) C
z0 θ F ϕ Γ
w0
h F ◦h
t0
182
167
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
arg(F ◦ h) (z0 ) = arg h (t0 ) + arg F (z0 ).
Si
C1 = {z ∈ C : z = h1 (t), α ≤ t <≤ β}
es otra curva que pasa por z0 con tangente h1 (t0 ) entonces:
Luego:
arg(F ◦ h1 ) (z0 ) − arg(F ◦ h) (z0 ) = arg h1 (z0 ) − arg h (z0 ) (**)
Es decir, el ángulo entre los vectores tangentes h (t0 ) y h1 (t0 ) se conservan en magnitud
y sentido (magnitud de (∗∗) y sentido de (∗)).
183
168
Capítulo 6
Representación conforme
y v
x u
plano − z plano − w
C
F Γ
h F ◦h
0 t 2
184
169
Análisis complejo
Acosta, Flores, Tineo y Meza
Se observa que el vector tangente h (1) = 1 + 2i ha sido rotado por el vector e1+i .
w = Az + B
w = z + B.
y v
R (2 + 5i) Q (4 + 5i)
Dw
w =z+B
Dz
i
O P (4 + i)
x u
O P (2 + 0i) 2
w = Az, A = 0.
185
170
Capítulo 6
Representación conforme
Q (−2 + 6i)
y v
x u
O P (2 + 0i)
√ π
w = (1 + i)z, 1 + i = 2ei 4 ,
2(1 + i) = 2 + 2i
(2 + 4i)(1 + i) = −2 + 6i
(4i)(1 + i) = −4 + 4i
186
171
Análisis complejo
Acosta, Flores, Tineo y Meza
Sean p ∈ C tal que 0 < |p − z0 | = ρ < R, q ∈ C en la recta que une p con z0 tal que
|q − z0 | = r > R.
y
q
r p
z
ρ
λ
θ
z0 R
R
Si ρr = R2 , entonces r = ρ
R > R, y p y q se llaman puntos inversos con respecto
al cı́rculo C, z0 se llama el centro de inversión, R se llama el radio de inversión, q es
exterior a C si y solo p es interior a C. Si p está en el borde entonces q coincide con p.
En particular, cuando z0 = 0 y R = 1 se tiene ρr = 1, y los puntos p y q son inversos
con respecto al cı́rculo unitario. Sean p y q puntos inversos con respecto al cı́rculo:
C = {z ∈ C : |z − z0 | = R}
187
172
Capítulo 6
Representación conforme
p − z0 = ρeiλ → p = z0 + ρeiλ
R2 iλ R2 iλ
q − z0 = e → q = z0 + e
ρ ρ
y
z
ρ
Si z ∈ C, entonces z − z0 = Reiθ ,
z − p = Reiθ − ρeiλ
R2 iλ
z − q = Reiθ − e
ρ
188
173
Análisis complejo
Acosta, Flores, Tineo y Meza
ρ
z−p 1 − ei(λ−θ)
= R
z−q R
1 − ei(λ−θ)
ρ
ρ
ρ 1 − ei(λ−θ)
= R
ρ − Rei(λ−θ)
ρ
ρ 1 − ei(λ−θ)
= R
R Rρ − ei(λ−θ)
ρ
ρ 1 − ei(λ−θ)
= ρR
Re i(λ−θ) e−i(λ−θ) − 1
R
z−p
es de la forma:
z−q
z−p ρ 1−z
= e−i(θ−λ)
z−q R z−1
Luego:
z − p
= ρ 1 − z
z − q R z − 1
Pero
1 − z 2 1 − z 1 − z
z − 1 = z − 1 z − 1
=1
Por tanto:
z − p ρ
z − q = R.
Recı́procamente, si z−p
z−q
= k = 1, escribiendo z = x + iy, p = a + ib, q = c + id, se
obtiene:
z − p = (x − a) + i(y − b)
z − q = (x − c) + i(y − d)
z − p (x − a) + i(y − b)
=
z − q (x − c) + i(y − d) = k
189
174
Capítulo 6
Representación conforme
1 1
ρeiϕ = = e−iθ
reiθ r
1 1
es decir: ρ = r
, ϕ = −θ. Luego, la transformación w = z
es el producto de dos
transformaciones:
z eiθ 1
z = 2
= y w = z = iθ
r r re
iθ
e 1
z = , z = reiθ → r=1
r r
Luego, la primera transformación es una inversión con respecto a la circunferncia uni-
taria:
C = {z ∈ C : |z| = 1}
190
175
Análisis complejo
Acosta, Flores, Tineo y Meza
y
P
z
q
z
θ
x
z = x + iy, b = u + iv
u 2 v 2 u 2 v 2 c
x+ + y+ = 2+ 2−
a a a a a
La ecuación:
azz + bz + bz + c = 0 (*)
191
176
Capítulo 6
Representación conforme
azz + bz + bz + c = 0
y la transformación w = z1 , entonces: z = 1
w
.
1 1 b b
a + + +c=0
ww w w
cww + bw + bw + a = 0 (ii)
cww + bw + bw = 0
x −y
u= ,v = 2 (*)
x2 +y 2 x + y2
x2 y2 1 1
u2 = , v2 = 2 → u2 + v 2 = 2 → x2 + y 2 = 2
(x2 2
+y ) 2 (x + y 2 )2 x + y2 u + v2
Entonces de (∗) se tiene:
u −v
x = u(x2 + y 2 ) = , y = −v(x2 + y 2 ) = (**)
u2 + v 2 u2 + v 2
192
177
Análisis complejo
Acosta, Flores, Tineo y Meza
Cuando x = c1 = 0, de (∗∗)
u
= c1 = 0 → u = c1 (u2 + v 2 )
ur + v 2
u
→ u2 + v 2 − =0
c1
2
1 1
→ u− + v2 = 2
2c1 4c1
2 2
1 1
→ u− +v =2
2c1 2c1
x
1 1
2c1 2c1
c1 < 0 c1 > 0
Figura 6.9: Sobre el eje X
−v
= c2 → −v = c2 (u2 + v 2 )
ur + v 2
v
→ u2 + v 2 + =0
c2
2
1 1 2
→ u2 + v + =
2c2 2c2
193
178
Capítulo 6
Representación conforme
1
2c2 c2 > 0
u
1
2c2 c2 < 0
x=c
x
c
rencia: 2 2
1 1
u− + v2 =
2c 4c
1
y esta circunfrencia es perpendicular con el eje u en el punto c
= w0 , que es la imagen
1
de c por la aplicación conforme w = z
.
180
195
Capítulo 6
Representación conforme
y la transformación
az + b
w=
cz + d
se reduce a una constante. Luego, siempre pediremos que D = 0. La transformación
az + b
w=
cz + d
tiene un inverso:
cwz + dw = az + b → (cw − a)z = −dw + b
−dw + b
z= con
cw − a
−d b
det = ad − bc = 0
c −a
La composición de transformaciones lineales fraccionales es de nuevo una trasformación
lineal fraccional, en efecto: Consideremos:
az + b a b
w= , D = det = 0
cz + d c d
a z + b a b
z= , D = det = 0
c z + d c d
a z + b
a +b
c z + d
w=
a z + b
c +d
c z + d
aa z + ab
+b
= c z + d
ca z + cb
+d
c z + d
aa z + ab + bc z + bd
=
ca z + cb + dc z + dd
(aa + bc )z + ab + bd
=
(ca + dc )z + cb + dd
196
181
Análisis complejo
Acosta, Flores, Tineo y Meza
Calculemos:
aa bc ab + bd a b a b
det = det
ca + dc cb + dd c d c d
= DD = 0
Cuando c = 0, la transformación
az + b
w=
cz + d
se reduce a la transformación lineal
a
b
w= z+ .
d d
1
Cuando c = 0, escribamos: z = cz + d y z = z
. Entonces la transformación
az + b
w=
cz + d
az + b
w= ,
cz + d
(1) z = cz + d
1
(2) z =
z
197
182
Capítulo 6
Representación conforme
a bc − ad
(3) w = + z
c c
az + b
w=
cz + d
(cz + d)a − (az + b)c
w =
(cz + d)2
ad − bc
w = = 0
(cz + d)2
az + b
w=
cz + d
w = Az
Si |z − z0 | = R, entonces:
(1) z = cz + d
1
(2) z =
z
a bc − ad
(3) w = + z
c c
lleva circunferencias en circunferencias o en lı́neas rectas.
198
183
Análisis complejo
Acosta, Flores, Tineo y Meza
donde
(ad − bc)2
S= , czi + d = 0
(cz1 + d)(cz2 + d)(cz3 + d)(cz4 + d)
De modo similar se obtiene:
199
184
Capítulo 6
Representación conforme
El cociente
(z1 − z4 )(z3 − z2 )
(z1 − z2 )(z3 − z4 )
se llama razón cruzada o razón doble de los cuatro puntos z1 , z2 , z3 y z4 y se denota
con:
(z1 , z2 , z3 , z4 )
es decir:
(z1 − z4 )(z3 − z2 )
(z1 , z2 , z3 , z4 ) =
(z1 − z2 )(z3 − z4 )
La relación (α) dice que la razón-cruzada de cuatro puntos distintos del plano complejo
C es invariante bajo una transformación lineal fraccional.
z1 L
z2
Dados dos puntos z1 y z2 sea L una recta que corta al segmento que une los puntos z1
con z2 . Si toda circunferencia que pasa por z1 y z2 es perpendicular con L, entonces L
es la mediatriz del segmento que une z1 con z2 .
200
185
Análisis complejo
Acosta, Flores, Tineo y Meza
z1
L
z2
O
Si |z1 − Q| = |z2 − Q| entonces los ángulo en Q son rectos y por tanto L es la mediatriz
del segmento z1 z2 . Supongamos que |z1 − Q| = |z2 − Q|, trazamos la mediatriz L del
segmento z1 z2 .
z1
L
Q L
z2
O
Definición 6.7.1. Dos puntos z1 y z2 son simétricos con respecto a una circunferencia Γ
si: Toda circunferencia o linea recta que pasa por z1 y z2 intersecta a Γ ortogonalmente.
201
186
Capítulo 6
Representación conforme
q
O p
Teorema 6.7.2. Dos puntos p, q ∈ C son simétricos con respecto a una circunferencia
Γ si y solo si p y q son puntos inversos con respecto a Γ.
C D
horizontal
q1 q 2
Tqt
qn q
vertical
N
x
202
187
Análisis complejo
Acosta, Flores, Tineo y Meza
q1 =componente x.
q2 =componente y.
qt =componente tangencial de q.
para todo contorno cerrado C ⊂ D, entonces se dice que el fluido es “libre de fuen-
tes”(puntos que proveen fluido)
q1 , q2 : D → C
para todo contorno cerrado C ⊂ D. Luego, cada uno de estas integrales es independiente
del camino de integración. En consecuencia, las funciones:
(x,y)
ϕ(x, y) = q1 dx + q2 dy
(x0 ,y0 )
(x,y)
ψ(x, y) = −q2 dx + q1 dy
(x0 ,y0 )
203
188
Capítulo 6
Representación conforme
x+h,y
ϕ(x + h, y) − ϕ(x, y) = q1 (u, v)du + q2 (u, v)dv
(x,y)
(x+h,y) (x+h,y)
= q1 (u, v)du + q2 (u, v)dv
(x,y) (x,y)
(x+h,y) a
= q1 (u, v)du , f (x)dx = 0
(x,y) a
(x+h,y)
ϕ(x + h, y) − ϕ(x, y) 1
= q1 (u, y)du
h h (x,y)
(x+h,y)
ϕ(x + h, y) − ϕ(x, y) 1
− q1 (x, y) = (q1 (u, y) − q1 (x, y))du
h h (x,y)
Luego:
(x+h,y) (x+h,y)
1 1
|q1 (u, y) − q1 (x, y)|du < du
h (x,y) h (x,y)
=
ϕ(x + h, y) − ϕ(x, y)
− q (x, y) <
h
1
para |h| < δ → ϕx = q1 . Análogamente
ϕy = q2 , ψy = q1 y ψx = −q2
204
189
Análisis complejo
Acosta, Flores, Tineo y Meza
es analı́tica en D y:
F (z) = ϕx + iψx
= q1 − iq2
Recı́procamente, sea:
F (z) = ϕ(x, y) + iψ(x, y)
= F (z2 ) − F (z1 )
205
190
Capítulo 6
Representación conforme
206
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 7
Variable compleja.
Repaso
207
Capítulo 7
Variable compleja. Repaso
208
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 7
D
C1
f
z2 C
z1
C2
209
191
Capítulo 7
Variable compleja. Repaso
f (z) = 0 → f (z)dz + f (z)dz = 0
C1 ∪C 2
C1 C1
→ f (z)dz = f (z)dz
C1 C2
(b)
D anillo
f
C1 C
C2
f
C
C2 C1
210
192
Análisis complejo
Acosta, Flores, Tineo y Meza
f (z)dz = f (z)dz + f (z)dz
C C1 C1
z0
1 f (z)dz
f (z0 ) =
2πi C z − z0
(a) Aplicaciones a Integrales.
(a) Aplicaciones
4. Teorema de Morera.
211
193
Capítulo 7
Variable compleja. Repaso
5. Desigualdad de Cauchy:
M n!
|f n (z0 )| ≤ .
rn
6. Teorema de Liouville.
7. Serie de Potencias.
(2) Sea z = eiθ : −π ≤ θ ≤ π y k ∈ R una constante.
(a) Calcular
ekz dz
.
C z
(b) Calcular π
ek cos θ cos(k sen θ)dθ.
0
212
194
Análisis complejo
Acosta, Flores, Tineo y Meza
(3) Calcular:
∞
x2 dx
(a) .
0 (x2 + 9)(x2 + 4)2
∞
cos xdx
(b) .
0 1 + x2
(4) Considere la función w = z 2 . Calcular la imagen de las rectas:
(a) y = x.
(b) x = 1.
(IV) (a) Si
∞
f (z) = cn (z − z0 )n
n=0
213
195
Capítulo 7
Variable compleja. Repaso
(V) Calcular
eiz dz
C z 4 + 2z 2 + 1
donde
{z ∈ C : |z| = 2}
214
196
Análisis complejo
Acosta, Flores, Tineo y Meza
Capítulo 8
Problemas
215
Capítulo 8
Problemas
216
Análisis complejo
Acosta, Flores, Tineo y Meza
Capı́tulo 8
Problemas
(c) (1 − i)3 (1 + i)
4
2i
(d)
1+i
Solución.
(a)
4 + 2i (2 + 2i)(1 + 2i)
=
1 − 2i (1 − 2i)(1 + 2i)
4 + 4i2 + i(1 + 8)
=
1 − 4i2
i10
=
5
= 2i
3 + 4i (3 + 4i)(2 − 3i)
=
2 + 3i (2 + 3i)(2 − 3i)
6 − 12i2 + i(8 − 9)
=
4 − 9i2
18 − i
=
13
217
197
Capítulo 8
Problemas
4 + 2i 3 + 4i 18 − i
+ = 2i +
1 − 2i 2 + 3i 13
18 25i
= +
13 13
(b)
i1 = i i5 = i
i2 = −1 i6 = i2 = −1
i3 = −i i7 = −i
i4 = 1 i8 = 1
= −1 + 3i
(c)
= (1 + i2 − 2i)(1 − i2 )
= (−2i)2
= −4i
(d)
4 4
2i 2i(1 − i)
=
1+i (1 + i)(1 − i)
4
2i(1 − i)
=
1 − i2
= (1 + i)4
= −4
2. Calcular √ 6
1−i 3
2
198
218
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución.
√ 6 √ 3 2
1−i 3 1−i 3
=
2 2
√ 2
(1 − i 3)3
=
8
√ √ 2
(1 − i 3)2 (1 − i 3)
=
8
2
−8
=
8
= −1
4. Probar que:
z1 z2
Re + Re =1
z1 + z2 z 1 + z2
Solución. Como
1
Re(z) = (z + z)
2
se tiene:
z1 1 z1 z1
Re = +
z 1 + z2 2 z 1 + z2 z 1 + z2
z2 1 z2 z2
Re = +
z 1 + z2 2 z 1 + z2 z 1 + z2
Luego:
z1 z2 1 z 1 + z2 z 1 + z 2
Re + Re = +
z 1 + z2 z 1 + z2 2 z 1 + z2 z 1 + z 2
=1
219
199
Capítulo 8
Problemas
z1 + z2 = (x + u) + i(y + v)
y + v = 0 → v = −y, y = −v
yu − xv = 0, yu + yx = 0, y(u + x) = 0, y = 0,
→ x = −u → z1 = −u + i(−v) = −z2
Solución. Sean:
z1 = x + iy, y = 0
z2 = u + iv, v = 0
z1 + z2 = (x + u) + i(y + v)
y + v = 0 → v = −y ó y = −v
xv + uy = 0 → −xy + uy = 0
y(u − x) = 0, y = 0 → x = u
Luego: z1 = u + iv = z2 .
220
200
Análisis complejo
Acosta, Flores, Tineo y Meza
7. Identificar todos los puntos del plano complejo que satisfacen las siguientes relaciones:
z 2 = 2(z − 1)
Solución.
z = x + iy, z 2 = x2 − y 2 + 2ixy
x2 − y 2 + 2ixy = 2x + 2iy − 2
x2 − y 2 = 2x − 2
y = 0
2xy = 2y → xy = y →
y = 0, x = 1
Para y = 0, 1 − y 2 = 0 → y = ±1
Luego: z = 1 ± i.
Solución.
z 1 − z 2 2 (z1 − z2 )(z1 − z2 )
1 − z2 z1 = (1 − z2 z1 )(1 − z2 z1 )
z 1 z 1 − z 1 z 2 − z 2 z 1 + z2 z 2
=
1 − z2 z 1 − z 2 z 1 + z 2 z 2 z 1 z 2
|z1 |2 − z1 z2 − z2 z1 + |z2 |2
=
1 − z1 z2 − z2 z1 + |z2 |2
=1
221
201
Capítulo 8
Problemas
En efecto:
f (z) − f (z0 )
f (z) f (z) − f (z0 ) z − z0
= =
g(z) g(z) − g(z0 ) g(z) − g(z0 )
z − z0
f (z) f (z0 ) f (z)
lı́m = = lı́m
z→z0 g(z) g (z0 ) z→z0 g (z)
9. Calcular:
z 10 + 1
lı́m
z→i z 6 + 1
Solución.
[Re(z 2 )]2
, z = 0
f (z) = |z 2 |
0 ,z = 0
| Re(z 2 )|2 ≤ |z 2 |2
| Re(z 2 )|2 |z 2 |2
≤ = |z 2 |
|z|2 |z 2 |
| Re(z 2 )|2
0 ≤ lı́mz→0 ≤0
|z 2 |
Luego: lı́mz→0 f (z) = 0 = f (0). Por tanto f es continua en 0.
202
222
Análisis complejo
Acosta, Flores, Tineo y Meza
y
θ = arctan
x
u(x, y) = u(r cos θ, r sen θ) = u(r, θ)
∂u ∂u ∂r ∂u ∂θ
= +
∂x ∂r ∂x
∂θ ∂x
∂u x ∂u −y
= +
∂r x2 + y 2 ∂θ x2 + y 2
∂u ∂u 1 ∂u
= cos θ − sen θ (1)
∂x ∂r r ∂θ
y
Como θ = arctan , usando la fórmula:
x
d 1 du
(arctan u) =
dx 1 + u2 dx
se obtiene:
∂θ 1 y(−1) −y
= y 2 = 2
∂x x2 x + y2
1+
x
∂θ 1 x
= y 2 = 2
∂y x + y2
1+
x
∂u ∂u 1 ∂u
= cos θ − − sen θ
∂x ∂r r ∂θ
∂u ∂u ∂r ∂u ∂θ
= +
∂y ∂r ∂y ∂θ ∂y
∂u y ∂u x
= +
∂r x2 + y 2 ∂θ x2 + y 2
∂u ∂u 1 ∂u
= sen θ + cos θ (2)
∂y ∂r r ∂θ
Similarmente:
∂v ∂v ∂r ∂v ∂θ
= +
∂x ∂r ∂x ∂θ ∂x
∂v ∂v 1 ∂v
= cos θ − sen θ (3)
∂x ∂r r ∂θ
223
203
Capítulo 8
Problemas
∂v ∂v ∂r ∂v ∂θ
= +
∂y ∂r ∂y ∂θ ∂y
∂v ∂v 1 ∂v
= sen θ + cos θ (4)
∂y ∂r r ∂θ
∂u ∂v
De = se tiene:
∂x ∂y
∂u 1 ∂u ∂v 1 ∂v
cos θ − sen θ = sen θ + cos θ
∂r r ∂θ ∂r r ∂θ
Entonces:
∂u 1 ∂v ∂v 1 ∂u
− cos θ − + sen θ = 0 (5)
∂r r ∂θ ∂r r ∂θ
∂u ∂v
Igualmente de: =− se obtiene:
∂y ∂x
∂u 1 ∂u ∂v 1 ∂v
sen θ + cos θ = − cos θ + sen θ
∂r r ∂θ ∂r r ∂θ
∂u 1 ∂v v 1 ∂u
− sen θ + + cos θ = 0 (6)
∂r r ∂θ r r ∂θ
Multiplicando (5) por cos θ y (6) por sen θ y sumamos:
∂u 1 ∂v 2 ∂v 1 ∂u
− cos θ − + sen θ cos θ = 0
∂r r ∂θ ∂r r ∂θ
∂u 1 ∂v ∂v 1 ∂u
− sen2 θ + + sen θ cos θ = 0
∂r r ∂θ ∂r r ∂θ
∂u 1 ∂v
Sumando: = . Ahora multiplicamos (5) por − sen θ y (6) por cos θ y sumamos:
∂r r ∂θ
∂u 1 ∂v ∂v 1 ∂u
− − sen θ cos θ + + sen2 θ = 0
∂r r ∂θ ∂r r ∂θ
∂u 1 v ∂v 1 ∂u
− sen θ cos θ + + cos2 θ = 0
∂r rθ ∂r r ∂θ
∂v 1 ∂u
Sumando: =−
∂r r ∂θ
224
204
− − sen θ cos θ + + sen θ = 0
∂r r ∂θ ∂r r ∂θ
∂u 1 v ∂v 1 ∂u
− sen θ cos θ + + cos2 θ = 0
Análisis complejo ∂r rθ ∂r r ∂θ
Acosta, Flores,
∂vTineo y 1Meza
∂u
Sumando: =−
∂r r ∂θ
(b) z1 + z2 + z3 = 0 = 0 + 0i
Solución.
z = x + iy, |z|2 = x2 + y 2
g(z) = |z|2 = x2 + y 2
u(x, y) = x2 + y 2 , v(x, y) = 0
ux = 2x, uy = 2y
vx = 0, vy = 0
f (z) = xy + iv(x, y)
Solución.
uxx + uyy = 0
225
205
Capítulo 8
Problemas
(ii) vy = ux = y
1
v(x, y) = y 2 + h(x)
2
Luego:
1 x2
v(x, y) = y 2 − + k.
2 2
i
f (z) = xy + (y 2 − x2 + k) es analı́tica.
2
15. Resolver:
(a) ez = 3.
(b) ez = −2.
Solución.
(a) arg(3) = 0,
(b) arg(−2) = π,
Solución.
z = x + iy, f (z) = x − iy
ux = 1, uy = 0
226
206
Análisis complejo
Acosta, Flores, Tineo y Meza
vx = 0, vy = −1
No se cumple ux = vy
∂ ∂
∇= +i
∂x ∂y
∂ ∂
∇= −i
∂x ∂y
∂F ∂F
grad = ∇ = +i
∂x ∂y
se define:
∂ ∂
gradf = +i [u + iv]
∂x ∂y
∂u ∂v ∂u ∂v
= − +i +
∂x ∂y ∂y ∂x
= ∇f
227
207
18. Verificar que:
∂ ∂ ∂ ∂ ∂ ∂
(a) = + , =i −
∂x ∂z ∂z ∂y ∂z ∂z Capítulo 8
Problemas
∂ ∂ ∂ ∂ ∂ ∂
(b) ∇ = +i =2 ,∇= −i =2
∂x ∂y ∂z ∂x ∂y ∂z
Solución.
∂F ∂F ∂z ∂F ∂z
= +
∂x ∂z ∂x ∂z ∂x
∂F ∂F
= +
∂z ∂z
∂ ∂ ∂
Luego: = + . Igualmente: z = x + iy, z = x − iy
∂x ∂z ∂z
∂F ∂F ∂z ∂F ∂z
= +
∂y ∂z ∂y ∂z ∂y
∂F ∂F
= i+ (−i)
∂z
∂z
∂F ∂F
=i −
∂z ∂z
(b)
∂ ∂
∇= +i
∂x ∂y
∂ ∂ ∂ ∂
= + + ii −
∂z ∂z ∂z ∂z
∂
=2
∂z
∂ ∂
∇= −i
∂x ∂y
∂ ∂ ∂ ∂
= + − ii −
∂z ∂z ∂z ∂z
∂
=2
∂z
Solución.
eiz − e−iz
sen (z) = → eiz − e−iz = 2i sen (z)
2i
eiz + e−iz
cos (z) = → eiz + e−iz = 2 cos (z)
2
2eiz = 2 cos (z) + 2i sen (z)
228
208
eiz = cos (z) + i sen (z) .
Solución.
Análisis complejo
Acosta, Flores, Tineo y Meza eiz − e−iz
sen (z) = → eiz − e−iz = 2i sen (z)
2i
eiz + e−iz
cos (z) = → eiz + e−iz = 2 cos (z)
2
2eiz = 2 cos (z) + 2i sen (z)
sen (z1 + z2 ) = sen (z1 ) cos (z2 ) + cos (z1 ) sen (z2 ) .
Solución.
Sumando:
Análogamente:
cos (z1 + z2 ) = cos (z1 ) cos (z2 ) − sen (z1 ) sen (z2 ) .
229
209
Capítulo 8
Problemas
Solución.
ei(−z) − e−i(−z)
sen (−z) =
2i
2i
= −eiz + e−iz
− [eiz − e−iz ]
=
2i
= − sen (z)
y v
log(z)
x u
w = log(z)
plano − z plano − w
(a) Probar que cı́rculos con centro en el origen en el plano z se aplican en rectas
paralelas al eje v en el plano w.
(b) Rectas que salen del origen en el plano z se aplican en rectas paralelas al eje v en
el plano w.
Solución.
(a) Un cı́rculo con centro en el origen y radio r = a, tiene por ecuación |z| = a.
w = u + iv
= log z
= ln |z| + i arg z
= ln a + i arg z
230
210
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego, la imagen:
u + iv = ln a + i arg z
y v
|z| = a
ln a + i arg(z)
x u
a ln a
plano − z plano − w
y v
z = |z|eiθ0 θ0
θ0
x u
plano − z plano − w
23.
231
211
Capítulo 8
Problemas
Solución.
ez = ex eiy
1 = |ez | = ex
ex = 1 → x = 0, luego: z = iy
sen (y) = 0 → y = nπ
ez = 1 ↔ z = 2nπi
Solución.
1 = ex → x = 0
cos (y) = −1 → y = nπ
ez = −1 ↔ z = iy = (2n + 1)πi
232
212
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución.
↔ e2iz = 1
↔ 2iz = 2nπi
↔ z = nπ
↔ e2iz = −1
Solución:
eiz − e−iz
sen (z) =
2i
e−iz − eiz
sen (z) =
−2i
e − e−iz
iz
=
2i
= sen (z)
233
213
Capítulo 8
Problemas
para todo n ∈ N.
(ez ) = ex e−iy
= ex−iy
= ez
28. Calcular:
i
(a) (z − 1)dz sobre el segmento que une 1 con i.
1
i
1 + t(i − 1)
x
O 1
Solución.
234
214
Análisis complejo
Acosta, Flores, Tineo y Meza
i 1
(z − 1)dz = −2itdt
1 0
t=1
= −it2 t=0
= −i
(b) Calcular
1+i
(z − 1)dz
0
sobre la parábola y = x2 .
y = x2
1 1+i
x
O 1
235
215
Capítulo 8
Problemas
Luego:
1+i 1 i
(z − 1)dz = (t − 1 − 2t3 )dt + i (3t2 − 2t)dt
0 0 0
t=1
t2 t4 t=1
= − t − + i(t3 − t2 )t=0
2 2 t=0
1 1
= − 1 − + i0
2 2
= −1
(c) Calcular: xdz, donde C es la circunferencia |z| = 1 descrito en sentido antihora-
C
rio.
Luego:
2π 2π
xdz = − sen (t) cos (t) dt + i cos2 (t)
C 0 0
t=2π
cos2 (t) i 2π
= + (1 + cos (2t))dt
2 t=0 2 0
t=2π
i sen (2t)
=0+ t+
2 2 t=0
= πi
Solución. |z| = x2 + y 2 < 1 → x2 + y 2 < 1, z + 1 = (x + 1) + iy. Debemos probar
que x + 1 > 0. En caso contrario: Si x + 1 ≤ 0, entonces x ≤ −1.
236
216
Análisis complejo
Acosta, Flores, Tineo y Meza
x −1 O
|x| ≥ 1 → x2 ≥ 1
→ x2 + y 2 ≥ x2 ≥ 1
→ |z|2 ≥ 1, |z| ≥ 1
Calcular (1 + i)i .
1 1+i
π
4
x
O 1
z =1+i
√
|z| = 2
π ln 2
(1 + i)i = e− 4 ei 2
237
217
Capítulo 8
Problemas
√
Solución. |1 + i| = 2, arg(1 + i) = π4 ,
√
(1 + i)(1+i) = e(1+i)[ln 2+i π4 ]
√ π
√ π
= eln 2+i 4 +i ln 2− 4
√ √
= 2e− 4 ei( 4 +ln 2)
π π
√ π
Solución. |2 + 2i| = 2 + 2 2, arg(2 + 2i) = ,
4
2 2 + 2i
π
4
x
O 2
Figura 8.7: Número z = 2 + 2i
√
Luego: Log(2 + 2i) = ln[2 2] + π4 i.
√
33. Calcular Log(1 + i 3).
√ √
Solución. |1 + i 3| = 2, arg(1 + i 3) = π3 ,
238
218
Análisis complejo
Acosta, Flores, Tineo y Meza
y
√
3
π
3
x
O 1
√
Figura 8.8: Número z = 1 + i 3
√
Luego: Log(1 + i 3) = ln 2 + i π3 .
34. Sea C un contorno que une los puntos z0 , z1 dada por la función h : [a, b] → C.
Calcular
z n dz.
C
G[h(t)] = [h(t)]n
Entonces:
b
z n dz = G[h(t)]h (t)dt
C a
b
= [h(t)]n h (t)
a
b
1 d
= (h(t))n+1 dt
a n + 1 dt
1 t=b
= hn+1 t=a
n+1
1 n+1
= h (b) − hn+1 (a)
n+1
1 n+1
= z1 − z0n+1
n+1
239
219
Capítulo 8
Problemas
35. Calcular
sen zdz
C
Solución.
b
sen (z) dz = sen (f (t)) f (t)dt
C a
b b
1 if (t) −if (t)
= e f (t)dt − e f (t)dt
2i a a
t=b
1 eif (t) e−if (t)
= +
2i i i t=a
1 if (b) −if (b)
= 2 e −e if (a)
+ e − e−if (a)
2i
= 0, pues f (b) = f (a)
36.
240
220
Análisis complejo
Acosta, Flores, Tineo y Meza
z0 = 0
Entonces:
dz dz
= = 2πi
C z C z
Luego:
dz
= 2πi
C z
si z0 = 0 es encerrado por C.
241
221
Capítulo 8
Problemas
z
C1
z0
C
242
222
Análisis complejo
Acosta, Flores, Tineo y Meza
37. Calcular
dz
C z2 + 1
(a) Cuando C es la circunferencia |z − i| = 1.
Solución.
dz
(a) , la función
C (z + i)(z − i)
1
f (z) =
z+i
es analı́tica en C y en el interior de C. Luego:
dz
= 2πif (i)
C (z + i)(z − i)
1
= 2πi
2i
=π
dz
(b) , la función
C (z − i)(z + i)
1
g(z) =
z−i
es analı́tica sobre C y en el interior de C. Luego:
dz
= 2πig(−i)
C (z − i)(z + i)
1
= 2πi
−2i
= −π
Otra forma:
1 1 1 1
= −
z2 + 1 2i z − i z + i
243
223
Capítulo 8
Problemas
(a)
dz 1 dz dz
= − (analı́tica en C0 )
C0 z2 + 1 2πi C0 z − i C0 z + i
1
= [2πi − 0]
2i
=π
i C0
−i C1
(b)
dz 1 dz dz
2
= − (analı́tica en C1 )
C1 z +1 2i C1 z − i C1 z + i
1
= [0 − 2πi]
2i
244
224
Análisis complejo
Acosta, Flores, Tineo y Meza
= 2πi
Luego:
dz
= 2πi
C z − z0
si C es una circunferencia que encierra al punto z0 , C recorrido en sentido antihorario.
38. Calcular
dz
C z2 + 1
donde C es una curva simple cerrada contenida en el anillo 1 < |z| < R recorrido en
sentido antihorario.
C
z
i C0
x
O 1 R
−i C1
245
225
Capítulo 8
Problemas
Solución.
1 1 1 1
= −
z2 + 1 2i z − i z + i
dz 1 dz dz
2
= −
C z +1 2i C z − i C z +i
C
z
i C0
−i C1
La función
1
f (z) =
z−i
es analı́tica en el anillo
r
z ∈ C : |z − i| ≥ , z interior a C
2
Luego:
dz dz
=
C z−i C0 z−i
Es decir:
dz dz
=
C z−i C0 z−i
= 2πi (C0 : z = i + reiθ , 0 ≤ θ ≤ 2π)
246
226
Análisis complejo
Acosta, Flores, Tineo y Meza
Igualmente, la función:
1
g(z) =
z+i
es analı́tica en el anillo:
s
z ∈ C : |z + i| ≥ , z interior a C1
2
Luego:
g(z)dz = g(z)dz, C1 : z = −i + seiθ , 0 ≤ θ ≤ 2π
C C1
dz dz
=
C z+i C1 z+i
= 2πi, z = −i + seiθ , dz = sieiθ dθ
Entonces:
dz 1
= [2πi − 2πi]
C z2 + 1 2i
=0
39. Calcular
|z − 1||dz|
C
donde C es la circunferencia |z| = 1.
Solución. |z| = 1,
C : z = eiθ = cos (θ) + i sen (θ)
√
|z − 1| = cos2 θ + 1 − 2 cos θ + sen2 θ
= 2 − 2 cos (θ)
4(1 − cos (θ))
=
2
θ
= 2 sen
2
247
227
Capítulo 8
Problemas
= (−4)(−1) + (4)(1)
=8
40. Calcular
|z|dz
C
dz = 2idt
1 1
2
|z|dz = 2i (1 − 2t)dt + 2i (2t − 1)dt
1
C 0 2
1 1
= 2i(t − t2 )02 + 2i(t2 − t) 1
2
1 1 1 1
= − + − +
2 4 4 2
=i
248
228
Análisis complejo
Acosta, Flores, Tineo y Meza
i π2 −i π2
=e −e
π π π π
= cos + i sen − cos − − i sen
2 π 2 2 2
= 2i sen
2
= 2i
41. Sea
2z 2 − z − 2
g(z0 ) = dz
C z − z0
donde C es la circunferencia |z| = 3, calcular g(2).
=4
z = 3eiθ
3
O 2
249
229
Capítulo 8
Problemas
42. Calcular
dz
C z2 + 4
donde C es la circunferencia |z − i| = 2.
Solución.
C
2i
−i
−2i
Escribiendo
1 1 A B
= = +
z2 +4 (z + 2i)(z − 2i) z + 2i z − 2i
se obtiene A = 4i , B = − 4i ,
1 i i
= −
z2 +4 4(z + 2i) 4(z − 2i)
dz i dz dz
= −
C
2
z +4 4 C z + 2i C z − 2i
analı́tica en C
i
= [0 − 2πi]
4
π
=
2
250
230
Análisis complejo
Acosta, Flores, Tineo y Meza
43. Calcular: 3
cos3 (3z) + cosh4 (4z) dz
C z
donde C es cualquier contorno simple, cerrado en dirección contrario a las agujas del
reloj que contiene al origen z0 = 0.
Solución. La función:
3
f (z) = cos3 (3z) + cosh4 (4z)
se tiene:
f (z)dz
= 2πif (z0 )
C z
= (2πi)8
= 16πi (z0 = 0)
(senh(2z) + cos(z))2
f (z) =
(z + 3i)(z 2 + 16)
251
231
Capítulo 8
Problemas
3i
D
2 C
−2 2 x
−4i 4i
−2
−3i
C1 : |z| = 3
C2 : |z| = 1
Solución. La función
(cosh(2z) + sen(z))2
f (z) =
z 2 (z 2 + 16)
no es analı́tica solamente en los puntos z = 0, z = 4i y z = −4i,
252
232
Análisis complejo
Acosta, Flores, Tineo y Meza
C1
C2
46. Calcular:
(9z 2 − iz + 4)dz
C z(z 2 + 1)
donde C es el cı́rculo |z| = 2 tomado en dirección positiva.
x
−2 2
−i
−2
253
233
Capítulo 8
Problemas
9z 2 − iz + 4 A B C
= + + (*)
z(z + i)(z − i) z z+i z−i
Multiplicando (∗) por z:
9z 2 − iz + 4 Bz Cz
=A+ +
(z + i)(z − i) z+i z−i
Haciendo z = 0, se obtiene A = 4. Ahora, multiplicamos (∗) por z + i:
9z 2 − iz + 4 A(z + i) C(z + i)
= +B+
z(z − i) z z−i
Haciendo z = −i, se obtiene B = 3. Ahora, multiplicamos (∗) por z − i:
9z 2 − iz + 4 A(z − i) B(z − i)
= + +C
z(z + i) z z+i
Haciendo z = i, se obtiene C = 2. Luego:
9z 2 − iz + 4 4 3 2
= + +
z(z 2 + 1) z z+i z−i
Entonces:
9z 2 − iz + 4 4dz dz dz
dz = +3 +2
C z(z 2 + 1) C z C z+i C z−i
En cada uno de las integrales de la derecha, podemos aplicar la fórmula:
1 f (z)dz
f (z0 ) =
2πi C z − z0
(a) f (z) = 4, z0 = 0, f (0) = 4,
4dz
= 2πif (0) = 8πi
C z
254
234
Análisis complejo
Acosta, Flores, Tineo y Meza
Por tanto:
(9z 2 − iz + 4)dz
= 18πi.
C z(z 2 + 1)
47. Calcular:
senh2 (z) + cos(z)
dz
C z − πi
donde C es el cı́rculo |z| = 4.
Solución. La función
f (z) = senh2 (z) + cos(z)
eπi − e−πi
senh(πi) =
2
1
= [(cos (π) + i sen (π)) − (cos (π) − i sen (π))]
2
= i sen(π)
=0
255
235
Capítulo 8
Problemas
48. Calcular:
e2z dz
C (z − πi)6
donde C es la circunferencia |z| = 4.
x
O 2 4
256
236
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución. Sea
1
f (z) =
z2
que es analı́tica en |z − 2| < 2. Entonces:
−2 (1 + 1)!
f (z) = = (−1)1
z3 z3
6 (z + 1)!
f (z) = 4
= (−1)2
z z4
−24 (3 + 1)!
f (z) = = (−1)3
z5 z5
En general:
(−1)n (n + 1)!
f (n) (z) = , en z0 = 2
z n+2
(−1)n (n + 1)!
f (n) (2) =
2n+2
Como
1
f (z) =
z2
es analı́tica en |z − 2| < 2 podemos escribir:
∞
f (n) (z0 )
1
= (z − z0 )n , z0 = 2
z2 n=0
n!
∞
(−1)n ((n + 1)!(z − 2)n )
1
=
z2 n=0
n!2n+2
∞ n
1 n z−2
= (−1) (n + 1) .
4 n=0 2
257
237
Capítulo 8
Problemas
−1 + i
1
x
−1 O
f (−1 + i) = Log(−1 + i)
1 3
= ln 2 + πi
2 4
f (z) = Log(z)
1
f (z) =
z
1
f (z) = −
z2
2
f (z) =
z3
6
f (4) (z) = −
z4
En general:
(−1)n−1 (n − 1)!
f (n) (z) =
zn
(−1)n−1 (n − 1)!
f (n) (−1 + i) =
(−1 + i)n
n
1+i
= (−1)n−1 (n − 1)
−2
258
238
Análisis complejo
Acosta, Flores, Tineo y Meza
Entonces:
∞
f (n) (z0 )
f (z) = (z − z0 )n
n=0
n!
∞
f (n) (z0 )
= f (z0 ) + (z − z0 )n
n=1
n!
51. Sea
f (z) = Log(1 + z)
259
239
Capítulo 8
Problemas
Entonces:
cn (−1)n−1 (n + 1)
=
cn+1 n(−1)n
1
= 1 +
n
cn
lı́m =1
n→∞ cn+1
260
240
Análisis complejo
Acosta, Flores, Tineo y Meza
y la suma parcial:
Sn = 1 + β + β 2 + · · · + β n
Sn β = β + β 2 + · · · + β n + β n+1
Sn (1 − β) = 1 − β n+1
1 − β n+1
Sn =
1−β
Si |β| < 1, entonces lı́mn→∞ β n+1 = 0. Luego:
1
lı́m Sn = , si |β| < 1
n→∞ 1−β
0 L β 1
|z|n+1
< β → |z|n+1 < |z|n β, ∀n ≥ n0
|z|n
261
241
Capítulo 8
Problemas
Entonces:
···························
Como la serie de la derecha converge, la serie de la izquierda debe converger, por tanto
la serie ∞ n
n=0 z converge, si
n+1
z
lı́m n = L < 1
n→∞ z
Nota. La serie de Taylor y la serie de Laurent son únicas en el dominio dado.
Solución:
1 1 1 1 1
ez = 1 + + + + + ···
z 2!z 2 3!z 3 4!z 4
Luego:
1 1 1 1
z2e z = z2 + z + + + + ··· (α)
2 3!z 4!z 2
Consideremos la serie:
1 1 1
+ + + ··· (β)
3!z 4!z 2 5!z 3
262
242
Análisis complejo
Acosta, Flores, Tineo y Meza
Término genérico
1
wn = ∈C , z = 0
(n + 2)!z n
wn+1 (n + 2)!z n
=
wn (n + 3)!z n+1
1
=
(n + 3)z
wn+1
lı́m =0<1
n→∞ wn
Luego, la serie (β) converge para todo z = 0. La serie (β) converge para todo z = 0.
La serie en (α) es válido en el anillo 0 < |z| < +∞.
1
f (z) =
1 − z2
con centro z0 = 1.
1 −1
2
=
1−z (z − 1)(z + 1)
1 −1
=
z−1 z+1
1 1
=
z+1 2+z−1
1 1
=
2 z−1
1− −
2
1 1
= (con β = − z−1
2
)
21−β
263
243
Capítulo 8
Problemas
∞ n
1 1 z−1
= −
z+1 2 n=0 2
∞
(−1)n
=
n=0
2n+1 (z − 1)n
Luego:
1 1
f (z) = −
z−1 z+1
∞ n+1
(−1)
= n+1
(z − 1)n−1
n=0
2
∞
(−1)n+1
1
=− + (z − 1)n−1
2(z − 1) n=1 2n+1
∞
(−1)n+2
1
=− + (z − 1)n (∗)
2(z − 1) n=0 2n+2
(−1)n+2
cn =
2n+2
cn
R = lı́m
n→∞ cn+1
n+3
2
= lı́m n+2
n→∞ 2
=2
wn+1 (z − 1)n+1 2n+2
= n+3
wn 2 (z − 1)n
|z − 1|
=
2
wn+1 |z − 1|
lı́m =
n→∞ wn 2
264
244
Análisis complejo
Acosta, Flores, Tineo y Meza
|z−1|
Luego, la serie en (∗) converge si 2
< 1, es decir si |z − 1| < 2. Por tanto, la
representación (∗) es válido en el anillo: 0 < |z − 1| < 2. De otra manera:
1 1
=
z+1 z−1+2
1 1
=
z−1 −2
1−
z−1
−2
Sea β = , entonces:
z−1
∞ n
1 1 −2
=
z+1 z − 1 n=0 z−1
∞
(−2)n
=
n=0
(z − 1)n+1
Luego:
−1
f (z) =
(z − 1)(z + 1)
∞
(−2)n (−1)
= (∗∗)
n=0
(z − 1)n+2
donde, la serie en (∗∗) converge para
−2
z − 1 < 1 → 2 < |z − 1|
Luego, en este caso el anillo de convergencia es 2 < |z − 1| < +∞.
265
245
Capítulo 8
Problemas
La serie:
∞
1 1
=
1 z n
1− n=0
z
converge para | z1 | < 1 ó |z| > 1. La serie:
∞
1 z n
z =
1− n=0
3
3
converge para | z3 | < 1 ó |z| < 3. En consecuencia:
−1 −1
f (z) = + z
1 6 1−
2z 1 − 3
z
∞
1 z n
∞
1 1
= − + − n+1
n=0
6 3 n=0
2 z
1
∞ − ∞
2 n 1 1
= z + − (β)
n=0
3n+1 n=0
2 zn
donde la serie β converge en el anillo:
Solución.
z2 + 1
f (z) =
z(z − 1)(z − 2)
1 2 5
= − +
2z z − 1 2(z − 2)
1 2 5
= − +
2(z + 1 − 1) (z + 1 − 2) 2(z + 1 − 3)
1 2 5
= − +
1 2 3
2(z + 1) 1 − (z + 1) 1 − 2(z + 1) 1 −
z+1 z+1 z+1
246
266
Análisis complejo
Acosta, Flores, Tineo y Meza
1 2 3
z + 1 < 1 , z + 1 < 1 , z + 1 < 1
Luego:
∞ n ∞ n ∞ n
1 1 2 2 5 3
f (z) = − +
2(z + 1) n=0 z+1 z + 1 n=0 z+1 2(z + 1) n=0 z+1
∞ ∞ ∞
1 1 1 5 n 1
= − 2n+1 + 3
2 n=0 (z + 1)n+1 n=0
(z + 1)n+1 2 n=0 (z + 1)n+1
∞
1 5 n
= − 2n+1 + 3 (z + 1)−n−1
n=0
2 2
1
f (z) =
z(z − 1)
Solución.
1 1
f (z) = +
z 1−z
∞
1 n
= + z
z n=0
1
f (z) =
z(1 − z)
267
247
Capítulo 8
Problemas
Solución.
−1 1
f (z) = +
z − 1 1 − [−(z − 1)]
∞
−1
= + [(−1)(z − 1)]n
z − 1 n=0
∞
−1
= + (−1)n (z − 1)n
z − 1 n=0
Solución.
ez = eez
(z − 1)2 (z − 1)n−1 (z − 1)n
= e 1 + (z − 1) + + ··· + + + ···
2! (n − 1)! n!
el cual converge para todo z ∈ C.
ez e (z − 1)2 (z − 1)n−1 (z − 1)n
= 1 + (z − 1) + + · · · + + + · · ·
(z − 1)3 (z − 1)3 2! (n − 1)! n!
e e e e e e
= + + + + (z − 1) + (z − 1)2 + · · ·
(z − 1)3 (z − 1)2 2!(z − 1) 3! 4! 5!
∞
e e e e
f (z) = 3
+ 2
+ + (z − 1)n
(z − 1) (z − 1) 2!(z − 1) n=0 (n + 3)!
que converge en el anillo 0 < |z − 1| < +∞.
1
59. Calcular la serie de Taylor de la función f (z) = como potencias de (z − 1).
z
268
248
Análisis complejo
Acosta, Flores, Tineo y Meza
Solución.
1 1
=
z 1 − [−(z − 1)]
∞
= [−(z − 1)]n
n=0
∞
= (−1)n (z − 1)n
n=0
Luego:
∞
1
= (−1)n (z − 1)n
z n=0
1
f (z) =
z−4
alrededor de z0 = 3.
Solución.
1 1
=−
z−4 4−z
1
=−
1 − (z − 3)
∞
=− (z − 3)n
n=0
Solución. ez = eez−1 .
269
249
Capítulo 8
Problemas
∞
1
(b) =− (z + 1)n , para 0 < |z + 1| < 1 con z = 0.
z n=0
Solución.
1 −1
=
z 1 − (z + 1)
∞
=− (z + 1)n (|z + 1| < n)
n=0
∞
1
(c) = 1 + (n + 1)(z + 1)n .
z2 n=1
Solución.
1 1
=
z 2 − [−(z − 2)]
1
=
z−2
2 1− −
2
∞ n
1 z−2
= −
2 n=0 2
∞ n
1 n z−2
= (−1)
2 n=0 2
270
250
Análisis complejo
Acosta, Flores, Tineo y Meza
1
f (z) =
z+2
en potencias de z.
Solución.
1 1
=
z+2 2 − (−z)
1 1
=
2 1 − −z
2
1 z n
∞
= −
2 n=0 2
1
∞ z n
= (−1)n
2 n=0 2
con convergencia en z2 < 1 ó |z| < 2.
1
f (z) =
z2 +1
271
251
Capítulo 8
Problemas
en potencias de iz.
1 A B
= +
z2 +1 z+i z−i
i i
= −
2(z + i) 2(z − i)
i2 i2
= −
2(iz + i ) 2(iz − i2 )
2
1 1
= +
2(1 − iz) 2(1 − (−iz))
∞ ∞
1 1
= (iz)n + (−1)n (iz)n
2 n=0 2 n=0
1
f (z) =
(z 2 + 1)(z + 2)
en potencias de z.
Solución.
1 Az + B C
= 2 +
(z 2 + 1)(z + 2) z +1 z+2
−z + 2 1
= +
5(z 2 + 1) 5(z + 2)
−z + 2 A B
= +
z2 + 1 z+i z−i
−1 + 2i −1 − 2i
= +
2(z + i) 2(z − i)
−2 − i 2−i
= +
2(−1 + iz) 2(1 + iz)
2+i (2 − i)
= +
2(1 − iz) 2[1 − (−iz)]
∞ ∞
2+i n 2−i
= (iz) + (−1)n (iz)n
2 n=0 2 n=0
272
252
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
1 z+i
∞
2−i
∞
1 z n ∞
2
= (iz)n + (−1)n (iz)n + (−1)n
(z + 1)(z + 2) 10 n=0 10 n=0 10 n=0 2
Solución.
z2 − 1
f (z) =
(z + 2)(z + 3)
−5z − 7
=1+
(z + 2)(z + 3)
3 8
=1+ −
z+2 z+3
3 8
=1+ − z
2 3 1− −
z 1− − 3
z
∞ ∞ z n
3 8
n
2
=1+ (−1)n − (−1)n
z n=0 z 3 0 3
∞
2n 8
∞ z n
n
f (z) = 1 + 3 (−1) − (−1)n
n=0
z n+1 3 n=0 3
273
253
Capítulo 8
Problemas
∞ ∞
3 2n 8 3n
f (z) = 1 + (−1)n n − (−1)n n
z n=0 z z n=0 z
∞
∞
2n 3n
f (z) = 1 + 3 (−1)n −8 (−1)n
n=0
z n+1 n=0
z n+1
1
f (z) =
z 2 (1 − z)
Solución.
(a)
∞
1 1
=
z 2 (1 − z) z 2 n=0
∞
z n−2
n=0
(b)
−1 −1
=
z 2 (z − 1) 1
z3 1 −
z
∞
1 1
=− 3
z n=0 z n
∞
1
=− n+3
n=0
z
∞
=− z −n−3 (1 < |z| < +∞)
n=0
274
254
Análisis complejo
Acosta, Flores, Tineo y Meza
Residuos.
69. Calcular
e−z dz
.
C (z − 1)2
Solución. La función
e−z
f (z) =
(z − 1)2
tiene un punto singular en z0 = 1.
70. Calcular
1
e z2 dz
C
donde C es la circunferencia
C = {z ∈ C : |z| = 1}
Solución. La función
1
f (z) = e 2
z
275
255
Capítulo 8
Problemas
71. Calcular
5z − 2
dz
C z(z − 1)
donde {z ∈ C : |z| = 2} recorrido en sentido antihorario.
Solución. La función
5z − 2
f (z) =
z(z − 1)
tiene dos polos simples: 0 y 1.
Luego, como los dos polos están dentro de la circunferencia C con centro z0 = 0 y radio
2, se tiene:
5z − 2
dz = 2πi(2 + 3) = 10πi.
C z(z − 1)
Notas.
276
256
Análisis complejo
Acosta, Flores, Tineo y Meza
f (z)dz = 0
C +γ1 +C1 +γ2 +D1 +γ3
f (z)dz = 0
C +γ3 +D1 +γ2 +C1 +γ1
C
C1 D1
γ1 γ2 γ3
C1 D1
C
Sumando:
f (z)dz = 0
C+C1 +D1
Entonces:
f (z)dz = f (z)dz + f (z)dz
C C1 D1
Consideremos {z ∈ C : |z − a| = r} y la integral
dz
, p∈Z
C (z − a)p
z = a + reiθ , dz = rieiθ , z − a = reiθ ,
dz rieiθ
=
(z − a)p rp eipθ
= ir(1−p) ei(1−p)θ
277
257
Capítulo 8
Problemas
2π
dz
= ir(1−p) ei(1−p)θ dθ
C (z − a)p 0
(1) Si p = 1,
2π
dz
=i dθ
C z−a 0
= 2πi
Si p = 1,
2πi
dz (1−p)
= ir ei(1−p)θ dθ
C (z − a)p 0
ir(1−p) i(1−p)θ θ=2π
= e θ=0
i(1 − p)
=0
Cálculo de Residuos:
Sea
z
f (z) =
(z − 1)(z + 1)2
Entonces z0 = 1 es un polo simple de f (z), z0 = −1 es un polo doble de f (z).
278
258
Análisis complejo
Acosta, Flores, Tineo y Meza
d
Res [f (z), −1] = lı́m (z + 1)2 f (z)
z→−1 dz
d z
= lı́m
z→−1 dz z−1
(z − 1) − z
= lı́m
z→−1 (z − 1)2
−1
= lı́m
z→−1 (z − 1)2
1
=−
4
1
72. Ejemplo. Sea f (z) = e− z , Entonces z0 = 0 es una singularidad esencial. Como:
1 1 1 1 1
e− z = 1 − + 2
− 3
+ − ···
z 2!z 3!z 4!z 4
1
Res [f (z), 0] =coeficiente de z
= −1.
73 a). Calcular
ez dz
C z(z 2 + 1)
donde C = {z ∈ C : |z| = 2}.
Solución.
ez
f (z) =
z(z 2
+ 1)
ez
=
z(z + i)(z − i)
279
259
Capítulo 8
Problemas
e−i
=
−i(−2i)
1
= − [cos(1) − i sen(1)]
2
= Res [f (z), i] = lı́m(z − i)f (z)
z→i
ez
= lı́m
z→i z(z + i)
ei
=
i(2i)
1
= − [cos(1) + i sen(1)]
2
Luego:
ez dz 1 1 1 i
= 2πi 1 − cos(1) + sen(1) − sen(1) − sen(1)
C z(z 2 + 1) 2 2 2 2
= 2πi(1 − cos(1)).
73 b). Calcular
ez dz
C z(z 2 + 1)
donde C = {z ∈ C : |z| = 1}.
=1
280
260
Análisis complejo
Acosta, Flores, Tineo y Meza
Entonces:
ez dz
= 2πi
C z(z 2 + 1)
74. Calcular
3z 3 + 2
C (z − 1)(z 2 + 9)
(a) C = {z ∈ C : |z − 2| = 4}
(b) C = {z ∈ C : |z| = 4}
Solución.
3z 3 + 2
f (z) =
(z − 1)(z 2 + 9)
3z 3 + 2
=
(z − 1)(z − 3i)(z + 3i)
(3)(27)(−i) + 2
=
(3i − 1)6i
49i + 15
=
12
3z 3 + 2
Res [f (z), −3i] = lı́m
z→−3i (z − 1)(z − 3i)
(3)(−27)(−i) + 2
=
(−3i − 1)(−6i)
15 − 49i
=
12
281
261
Capítulo 8
Problemas
3i
x
O 1 2 4
−3i
3i
x
O 4
−3i
282
262
Análisis complejo
Acosta, Flores, Tineo y Meza
(b) f (z)dz = (2πi) (3) = 6πi
C
z3 z5 z 2n−1
sen (z) = z − + − · · · (−1)n−1 + · · · , |z| < ∞
3! 5! (2n − 1)!
z2 z4 z 2n−2
cos (z) = 1 − + − · · · (−1)n−1 + · · · , |z| < ∞
2! 4! (2n − 2)!
z2 z3 zn
ln(z + 1) = z − + − ·(−1)n−1 + · · · , |z| < 1
2 3 n
z3 z5 z 2n−1
arctan(z) = z − + − · · · (−1)n−1 + · · · , |z| < 1
3 5 2n − 1
75. Calcular
(z 2 − z + 1)dz
C (z − 1)(z − 4)(z + 3)
donde C = {z ∈ C : |z| = 5}.
Solución. La función
z2 − z + 1
f (z) =
(z − 1)(z − 4)(z + 3)
283
263
Capítulo 8
Problemas
76. Calcular:
eiz dz
C z 4 + 2z 2 + 1
donde C = {z ∈ C : |z| = 2}.
Solución.
eiz
f (z) =
z 4 + 2z 2 + 1
eiz
=
(z − i)2 (z + i)2
284
264
Análisis complejo
Acosta, Flores, Tineo y Meza
C
i
x
O 1 2
−i
d eiz
Res [f (z), i] = lı́m
z→i dz (z + i)2
i
Res [f (z), −i] = −
2e
d
Res [f (z), −i] = lı́m (z + i)2 f (z)
z→−i dz
285
265
Capítulo 8
Problemas
d eiz
= lı́m
z→−i dz (z − i)2
Luego:
eiz dz −i
= (2πi)
C z 4 + 2z 2 + 1 2e
π
=
e
77. Calcular:
e2iz − 5z
dz
C z + 2i
donde C = {z ∈ C : |z + 1| = 3}.
Solución.
e2iz − 5z p(z)
f (z) = = , q (z) = 1
z + 2i q(z)
f (z) tiene un polo simple en z0 = −2i dentro de la circunferencia dada.
p(−2i)
Res [f (z), −2i] =
q (−2i)
e2i(−2i) − 5(−2i)
=
1
= e4 + 10i
286
266
Análisis complejo
Acosta, Flores, Tineo y Meza
Luego:
e2iz − 5z
dz = 2πi(e4 + 10i).
C z + 2i
3 C
√
2 2
x
−1 O 1
−2i
78. Calcular
e2z dz
C cosh(πz)
donde C = {z ∈ C : |z| = 1}.
Solución. Sea
2e2z p(z)
f (z) = =
eπz − e−πz q(z)
p(z) = 2e2z , q(z) = eπz + e−πz
q(z) = 0 ↔ e2πz = −1
287
267
Capítulo 8
Problemas
n = −1, z0 = − 2i , n = 0, z0 = 2i ,
i
p −
i 2
Res f (z), − =
2 i
q −
2
2e−i
= πi πi
π e− 2 − e 2
i 2(cos (1) − i sen (1))
Res f (z), − =
2 π(−2i)
i cos (1) + sen (1)
=
π
i
p
i 2
Res f (z), =
2 i
q
2
2ei
= πi π
π e 2 − e− 2
pii πi
e 2 = i, e− 2 = −i,
i 2ei
Res f (z), =
2 π(2i)
−i[cos (1) + i sen (1)]
=
π
−i cos (1) + sen (1)
=
π
288
268
Análisis complejo
Acosta, Flores, Tineo y Meza
i i 2 sen (1)
Res f (z), − + Res f (z), =
2 2 π
Luego:
e2z dz 2 sen (1)
= 2πi
C cosh(πz) π
= 4i sen (1) .
79. Calcular
dz
C z4 + 1
donde C = {z ∈ C : |z − 1| = 1}.
Solución.
1 1
f (z) = = 2
z4 +1 (z + i)(z 2 − i)
√ √
z= −i, z = i
πi 1 1
z1 = e 4 = √ + √
2 2
5πi 1 i
z2 = e 4 = −√ − √
2 2
3πi 1 i
z3 = e 4 = −√ + √
2 2
1
7πi i
z4 = e = √ − √ , (usar q(z) = z 4 + 1, q (z) = 4z 3 )
4
2 2
De estas 4 singularidades, solo z1 y z4 están dentro de la circunferencia dada.
1
Res [f (z), z1 ] = πi 3πi
πi 5πi
πi 7πi
e 4 −e 4 e 4 −e 4 e4 −e 4
1
=
2 2 2i 2i
√ √ +√ √
2 2 2 2
1
=
−4 + 4i
√
2
√
2
=
−4 + 4i
289
269
Capítulo 8
Problemas
7πi
1
Res f (z), e 4 = 7πi πi
7πi
7πi 5πi
e 4 −e 4 e 4 − e3πi e 4 −e 4
1
=
−2i 2 2i 2
√ √ −√ √
2 2 2 2
−4 − 4i
= √
2
√
2
=
−4 − 4i
√ √
2 2 1
− =− √
−4 + 4i 4 + 4i 2 2
Luego:
dz 1 πi
= 2πi 1 √ = −√
C z4 + 1 2 2 2
80. Calcular
z 3 dz
C z4 − 1
donde C = {z ∈ C : |z| = 2}.
Solución.
z3
f (z) =
(z 2− 1)(z 2 + 1)
z3
=
(z − 1)(z + 1)(z + i)(z − i)
f (z) tiene 4 polos dentro de la circunferencia dada, p(z) = z 3 , q(z) = z 4 −1, q (z) = 4z 3 ,
1
Res [f (z), 1] =
4
−1
Res [f (z), −1] =
(4)(−1)
1
=
4
290
270
Análisis complejo
Acosta, Flores, Tineo y Meza
i3
Res [f (z), i] =
4i3
1
=
4
(−i)3
Res [f (z), −i] =
4(−i)
1
=
4
Res [f (z), 1] + Res [f (z), −1] + Res [f (z), i] + Res [f (z), −i] = 1
Luego:
z 3 dz
= (2πi)(1) = 2πi.
C z4 − 1
C
i
x
−2 −1 O 1 2
−i
291
271
Capítulo 8
Problemas
292
Análisis complejo
Acosta, Flores, Tineo y Meza
Bibliografía
293
Preliminares
294
Análisis complejo
Acosta, Flores, Tineo y Meza
Bibliografı́a
[1] Apostol, T.M. Introducción a la teorı́a analı́tica de números, Ed. Reverté, Barce-
lona, 1984.
[2] Burckel, R.B. An introduction to classical complex analysis, Academic Press, New
York, 1979.
[4] Conway, J.B. Functions of one complex variable, Springer, New York, 1978.
[5] Edwards, H.M. Riemann’s zeta function, Academic Press, New York, 1975.
[7] López Fdez. Asenjo, F., Galindo Soto, F. y Tristán Vega, L.A. Funciones analı́ticas
multiformes, Universidad de Valladolid, 1996.
[8] Markushevich, A. Teorı́a de las funciones analı́ticas, Editorial Mir, Moscú, 1978.
[11] Remmert, R. Wielandt’s. theorem about the ζ-function, Amer. Math. Monthly,
103. 3 (1996) 214-220.
[12] Rudin, W. Análisis real y complejo, Mc. Graw Hill, Madrid, 1988.
295
272
Preliminares
Análisis complejo
se terminó de imprimir
en los talleres de
Gráfica Fénix SRL
en junio de 2021
296
Análisis complejo
Acosta, Flores, Tineo y Meza
297
Preliminares
298