Anal Is Is Comple

Proyecto Compilando Conocimiento
Matemticas Avanzadas
Anlisis Complejo
Una Pequea (Gran) Introduccin
Autores:
Rosas Hernandez Oscar Andrs
Lopez Manriquez Angel
ndice general
I Nmeros Complejos 5
1. Cosas que Debes Recordar 6

1.1. Heaviside: Tips para Fracciones Parciales . . . . . . . . . . . . . . . . . 7
1.1.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2. Funciones Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.1. Evaluacin Rpida . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.2. Identidades Importantes . . . . . . . . . . . . . . . . . . . . . . 10
2. Definiciones 11
2.1. Definicin de Nmeros Complejos . . . . . . . . . . . . . . . . . . . . . 12
2.2. Definiciones Utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3. Repeticiones de i . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Aritmtica Compleja 13
3.1. Operaciones Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2. Elemento Identidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.3. Inverso Multiplicativo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.4. Campo de los Complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.5. Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.5.1. Coordenadas Conjugadas . . . . . . . . . . . . . . . . . . . . . . 19
3.6. Mdulo o Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.7. Producto Punto y Cruz . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.7.1. Producto Punto . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1
ndice general ndice general
3.7.2. Producto Cruz . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4. Forma Polar y Argumentos 24

4.1. Forma Polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.1.1. De forma Polar a forma Rectangular . . . . . . . . . . . . . . . 25
4.1.2. De forma Rectangular a forma Polar . . . . . . . . . . . . . . . 25
4.2. Argumento de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.3. Leyes de Aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.4. Ley de Moivres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
5. Forma Exponencial de Euler 30

5.1. Forma de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.1.1. ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.1.2. Lemmas y Propiedades . . . . . . . . . . . . . . . . . . . . . . . 32
5.2. Identidad de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6. Ecuaciones y Races 34
6.1. n-Races de un Numero Complejo . . . . . . . . . . . . . . . . . . . . . 35
6.1.1. Teorema Fundamental del lgebra . . . . . . . . . . . . . . . . 35
6.1.2. Encontrar las Races de un Nmero Complejo . . . . . . . . . . 36
II Funciones y Clculo Complejo 37
7. Funciones Complejas 38
7.1. Funciones en General . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
7.2. Funciones Hiperbolicas cosh(x) y senh(x) . . . . . . . . . . . . . . . . 40
7.3. Trigonometricas Complejas: cos(z) y sin(z) . . . . . . . . . . . . . . . 41
7.4. Funciones ez y Ln(z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.5. z1z2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
8. Lmites 43
8.1. Lmites en Clculo Real . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Compilando Conocimiento 2 Ve al ndice

8.1.1. Definicin Formal . . . . . . . . . . . . . . . . . . . . . . . . . . 44
9. Derivacin 45
9.1. Funciones Analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
9.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
9.3. Definicin Formal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
9.4. Ecuaciones de Cauchy - Riemann en Rectangular . . . . . . . . . . . . 47
9.5. Ecuaciones de Cauchy - Riemann en Forma Polar . . . . . . . . . . . . 48
9.5.1. Demostracin usando Rectangular . . . . . . . . . . . . . . . . . 48
9.5.2. Comprobacin usando Rectangular . . . . . . . . . . . . . . . . 51
9.6. Funciones Analticas y Cauchy - Riemann . . . . . . . . . . . . . . . . 53
9.7. Funciones Armonicas y Ecuaciones de Laplace . . . . . . . . . . . . . . 53
10.Integracin 54
10.1. Integrales Complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
10.1.1. Calcular un Integral Compleja sobre C . . . . . . . . . . . . . . 56
10.1.2. Parametrizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
10.2. Integrales Bonitas: Antiderivadas . . . . . . . . . . . . . . . . . . . . . 57
10.3. Teorema de la Deformacin . . . . . . . . . . . . . . . . . . . . . . . . 57
10.4. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . 58
10.5. Teorema de la Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 59
10.5.1. Teorema de Integral vs Formula de la Integral . . . . . . . . . . 59
10.5.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
10.6. Teorema de Cauchy de Derivacin de Orden Superior . . . . . . . . . . 61
10.6.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
III Series Complejas y Residuos 64
11.Series Complejas 65
11.1. Serie Geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
11.2. Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Oscar Andrs Rosas 3 Ve al ndice

11.3. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

11.3.1. Series de Taylor Famosas . . . . . . . . . . . . . . . . . . . . . . 69
11.4. Series de Maclaurin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
11.5. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.5.1. Coeficientes de la Serie de Laurent . . . . . . . . . . . . . . . . 71
11.5.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
11.5.3. Polos y Singularidades Aisladas . . . . . . . . . . . . . . . . . . 74
12.Residuos 75
12.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
12.2. Encontrar Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
12.3. Ejemplos sobre Encontrar Residuo . . . . . . . . . . . . . . . . . . . . . 78
12.4. Teorema de Residuo de Cauchy . . . . . . . . . . . . . . . . . . . . . . 79
R 2
12.5. Usar Teorema del Residuo para: 0 F (cos () , sin ()) d . . . . . . . . 80
12.5.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
12.6. Valor Principal de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 82
R
12.7. Usar Teorema del Residuo para: f (x)dx . . . . . . . . . . . . . . . 83
12.7.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
R
12.8. Usar Teorema del Residuo para: T rig(x)dx . . . . . . . . . . . . 85
12.8.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
12.9. Recordatorio de las Integrales de Contorno . . . . . . . . . . . . . . . . 87

Parte I
Nmeros Complejos
5
Captulo 1
Cosas que Debes Recordar
6
Captulo 1. Cosas que Debes Recordar
1.1. Heaviside: Tips para Fracciones Parciales

Existe un mtodo que nos permitir simplificar los clculos en el momento de aplicar
fracciones parciales. Tenemos que agradecerle al grande de Oliver Heaviside.
Esto es de suma importancia en Derivacin, Integracin, Series y al aplicar el Teorema
del Residuo, as que yo te recomiendo que lo recuerdes ;)
Si son factorizaciones diferentes

Supn que quieres descomponer en fracciones parciales f (x):
p(x)
f (x) =
(x a1 )(x a2 ) . . . (x an )
Entonces la respuesta sern una serie de constantes:
p(x) C1 C2 Cn
f (x) = = + + +
(x a1 )(x a2 ) . . . (x an ) x a1 x a2 x an
Entonces tenemos que:
p(x)
Ai = (x ai )|x=ai
(x a1 )(x a2 ) . . . (x an )
Si tiene factorizaciones repetidas

Seamos claros, Heaviside no te dar toda la respuesta, pues este mtodo solo sirve
para darte el coeficiente de la Potencia mayor Supn que quieres descomponer
en fracciones parciales f (x):
p(x)
f (x) =
(x a1 ) . . . (x ai )k . . . (x an )
C1 C i1 Ci 2 Cn
= + + k
+ k1
+ +
x a1 (x ai ) (x ai ) x an
Y solo puedes aplicar Heaviside para ver a encontrar Ci1 . Ve el ejemplo para que
todo sea ms claro.

1.1.1. Ejemplos
Ejemplo 1
x7
Descompone a en fracciones parciales
(x 1)(x + 2)
Solucin:
x7 A B
Sabemos que: = +
(x 1)(x + 2) x1 x+2
Ahora, determinemos a A como:
x7
A= (x 1)|x=1
(x 1)(x + 2)
x7
= |x=1
x+2
(1) 7 6
= =
1+2 3
= 2
Y de manera analoga podemos decir que:

x7
B= (x + 2)|x=2
(x 1)(x + 2)
x7
= |x=2
x1
(2) 7 9
= =
2 1 3
=3
x7 2 3
Por lo que finalmente tenemos que: = +
(x 1)(x + 2) x1 x+2

Ejemplo 2
1
Descompone a en fracciones parciales
(x 1)2 (x + 2)
Solucin:
1 A B C
Sabemos que: = + +
(x 1)2 (x + 2) (x 1)2 x1 x+2
Ahora, solo podemos determinar a A, pero no a B:
1
A= (x 1)2 |x=1
(x 1)2 (x + 2)
1
= |x=1
x+2
1
=
3
Y de manera analoga podemos decir que:

1
C= (x + 2)|x=2
(x 1)2 (x + 2)
1
= |x=2
(x 1)2
1
=
(2 1)2
1
=
(3)2
1
=
9
Ya que ya casi tenemos todos, excepto el B basta con elegir algun valor para x (que no sea 1 o -2).
Por ejemplo si x = 0 tenemos que:
1 A B C
= + +
(x 1)2 (x + 2) (x 1)2 x1 x+2
1 1
3 B
= + + 9
(x 1)2 x1 x+2
1 1
1 B
= 3 + + 9
2 1 1 2
1
Por lo tanto es muy obvio que llegamos a que B =
9

Captulo 1. Cosas que Debes Recordar 1.2. Funciones Trigonometricos
1.2. Funciones Trigonometricos
1.2.1. Evaluacin Rpida

(
=1 Si n es par
cos (n ) =
= 1 Si n es impar

2n + 1
cos =0
2
sin (n ) = 0
(
2n + 1 =1 Si n es par
sin
2 = 1 Si n es impar
1.2.2. Identidades Importantes

Pitagrica: cos ()2 + sin ()2 = 1
cos (a b) = cos (a) cos (b) sin (a) sin (b)
sin (a b) = cos (a) sin (b) sin (a) cos (b)

Captulo 2
Definiciones
11
Captulo 2. Definiciones 2.1. Definicin de Nmeros Complejos
2.1. Definicin de Nmeros Complejos

Definicin 2.1.1 (Nmeros Complejos) Definamos al Conjunto de los nmeros
complejos C como:

C = a + bi | a, b R y i = 1 (2.1)
Podemos usar la notacin a + bi, a + ib y (a, b) de manera intercambiable (pero perso-

nalmente la primera se me hace la ms cool pero la ultima mas concreta).
2.2. Definiciones Utiles

Unidad Imaginaria: Usamos el smbolo i para simplificar i = 1, de ah la
propiedad famosa i2 = 1.
Parte Real: Considere el complejo z = a+bi C, entonces decimos que Re(z) =

a
Parte Imaginaria: Considere el complejo z = a + bi C, entonces decimos que

Im(z) = b
2.3. Repeticiones de i
n Z, i4n = 1
n Z, i4n+1 = i
n Z, i4n+2 = 1
n Z, i4n+3 = i

Captulo 3
Aritmtica Compleja
13
Captulo 3. Aritmtica Compleja 3.1. Operaciones Bsicas
3.1. Operaciones Bsicas

Si z1 = a1 + b1 i C y z2 = a2 + b2 i C entonces:
Definicin 3.1.1 (Suma de Complejos)
z1 + z2 = (a1 + a2 ) + (b1 + b2 )i (3.1)
Definicin 3.1.2 (Resta de Complejos)
z1 z2 = (a1 a2 ) + (b1 b2 )i (3.2)
Definicin 3.1.3 (Multiplicacin de Complejos)
z1 z2 = (a1 + b1 i)(a2 + b2 i) = (a1 a2 + b1 b2 i2 ) + (a1 b2 + b1 a2 )i

(3.3)
= (a1 a2 b1 b2 ) + (a1 b2 + b1 a2 )i
Definicin 3.1.4 (Divisin de Complejos)
z1 a1 + b1 i (a1 a2 + b1 b2 ) (a1 b2 a2 b1 )i
= = z2 6= 0 (3.4)
z2 a2 + b 2 i (a2 )2 + (b2 )2

Captulo 3. Aritmtica Compleja 3.2. Elemento Identidad
3.2. Elemento Identidad

Denotamos a 0 = 0 + 0i como el elemento cero o identidad aditiva, ya que se
cumple z C, z + 0 = 0 + z = z
Denotamos a 1 = 1 + 0i como el elemento identidad multiplicatica, ya que se

cumple z C, z 1 = 1 z = z
3.3. Inverso Multiplicativo

Si z = a + bi C { 0 } entonces podemos denotar al inverso de z como z 1
1
Creo que es ms que obvio que z 1 = .
a + bi
a ib
Pero adems podemos escribir a z 1 como 2
a + b2
Demostracin:
Veamos como llegar a eso paso a paso:

1 1 1 a bi a bi
= = =
z a + bi a + bi a bi (a + bi)(a bi)
a bi
= 2
a + b2
Gracias a lo anterior podemos escribirlo de distintas maneras:
De forma Rectangular:

1 a bi a b
= 2 = i (3.5)
z a + b2 a2 + b 2 a2 + b 2
Con Magnitudes y Conjugados:

1 a bi z
= 2 2
= 2 (3.6)
z a +b |z|

Captulo 3. Aritmtica Compleja 3.4. Campo de los Complejos
3.4. Campo de los Complejos

Recuerda que el hecho de que los Complejos sean un campo nos dice que cumple con
que:
Definicin 3.4.1 (Ley Aditiva Asociativa)
z1 , z2 , z3 C, (z1 + z2 ) + z3 = z1 + (z2 + z3 ) (3.7)
Definicin 3.4.2 (Ley Aditiva Conmutativa)
z1 , z2 C, z1 + z2 = z2 + z1 (3.8)
Definicin 3.4.3 (Elemento Indentidad Aditivo)
0 C, z1 C, 0 + z1 = z1 + 0 = z1 (3.9)
Definicin 3.4.4 (Existen Inversos Aditivos)
z1 C, z2 C, z1 + z2 = z2 + z1 = 0 (3.10)
Definicin 3.4.5 (Ley Distributiva)
z1 , z2 , z3 C, z1 (z2 + z3 ) = (z1 z2 ) + (z1 z3 )

(3.11)
z1 , z2 , z3 C, (z2 + z3 ) z1 = (z2 z1 ) + (z3 z1 )
Definicin 3.4.6 (Ley Multiplicativa Asociativa)
z1 , z2 , z3 C, z1 z2 = z2 z1 (3.12)
Definicin 3.4.7 (Ley Multiplicativa Distributiva)
z1 , z2 , z3 C, (z1 z2 ) z3 = z1 (z2 z3 ) (3.13)
Definicin 3.4.8 (Elemento Indentidad Multiplicativo)
1 C, z1 C, 1 z1 = z1 1 = z1 (3.14)
Definicin 3.4.9 (Existen Inversos Multiplicativos)
z1 C {0}, z2 C, z1 + z2 = z2 + z1 = 1 (3.15)

Captulo 3. Aritmtica Compleja 3.5. Conjugados
3.5. Conjugados
Tenemos que el Conjugado de z = a + bi C que lo definimos como: z = a bi
Usando la definicin podemos demostrar algunas propiedades muy importantes:
z1 + z2 = z1 +z2 y mas general tenemos que: z1 + z2 + + zn = z1 +z2 + +zn

Demostracin:
Definidos z1 = a1 + ib1 y z2 = a2 + ib2 . Entonces tenemos que:
z1 + z2 = a1 + ib1 + a2 + ib2 = (a1 + a2 ) + i(b1 + b2 )

= (a1 + a2 ) i(b1 + b2 ) = a1 ib1 + a2 ib2
= z1 + z2
Ahora para la parte mas general:

Creo que cuando k = 1 es demasiado sencillo hasta para escribirlo y lo que acabamos de
demostrar es para cuando k = 2, por lo tanto lo nico que tenemos que probar es que:
Si z1 + + zn = z1 + + zn se cumple entonces tambin lo har z1 + + zn+1 =
z1 + + zn+1
Lo cual se logra dandote cuenta que za = z1 + z2 + + zn . y dandote cuenta que volviste
al caso de k = 2.
z1 z2 = z1 z2 y mas general tenemos que: z1 z2 zn = z1 z2 zn

Demostracin:
Definidos z1 = a1 + ib1 y z2 = a2 + ib2 . Entonces tenemos que:
z1 z2 = a1 + ib1 a2 + ib2 = (a1 a2 b1 b2 ) + (a1 b2 + b1 a2 )i

= (a1 a2 b1 b2 ) (a1 b2 + b1 a2 )i = (a1 ib1 ) (a2 ib2 )
= z1 z2
Ahora para la parte mas general se demuestra de manera casi identica a la propiedad pasada.


z1 z1
=
z2 z2
Demostracin:
Definidos z1 = a1 + ib1 y z2 = a2 + ib2

z1 1 1 a b
= z1 = z1 = z1 i
z2 z2 z2 a2 + b2 a2 + b2

a b a b 1
= z1 + i = z1 i = z1
a2 + b2 a2 + b2 a2 + b2 a2 + b2 z2
z1
=
z2
z=z
Demostracin: z = a + bi = a bi = a + bi
z z = |z|2
Demostracin: z z = (a + ib) (a ib) = a2 + b2 = |z|2
z+z
Re(z) =
2
Demostracin:
Dado a z = a + ib
z+z (a + bi) + (a bi) 2a
= = =a
2 2 2
= Re(a + bi)
zz
Im(z) =
2i
Demostracin:
Dado a z = a + ib
zz (a + bi) (a bi) 2bi
= = =b
2i 2i 2i
= Im(a + bi)

3.5.1. Coordenadas Conjugadas

Hay alguien que usando las propiedades de a + ib donde tenemos que:
(z+z)
a= 2
(zz)
b= 2i
Para hablar de coordenadas conjugadas a los que denominamos de manera similiar a

las polares y rectanguales (que veremos mas a detalle en este libro):
z = (a, b)
z = (r, )
z = (z, z)

Captulo 3. Aritmtica Compleja 3.6. Mdulo o Valor Absoluto
3.6. Mdulo o Valor Absoluto

Tenemos que definir el Mdulo de z = a + bi C como |z| = a2 + b 2 .
|Re(z)| |z| y |Im(z)| |z|

Demostracin:
Ya habiamos visto que |z|2 = x2 + y 2 = Re(z)2 + Im(z)2
Entonces podemos ver que |z|2 Im(z)2 = Re(z) (recuerda que Im(z)2 > 0) por lo tanto
tenemos que |Re(z)|2 |z|2 ya que |Re(z)| = Re(z)
Entonces podemos ver que |z|2 Re(z)2 = Im(z) (recuerda que Re(z)2 > 0) por lo tanto
tenemos que |Im(z)|2 |z|2 ya que |Im(z)| = Im(z)
|z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 )

Demostracin:
Ya sabemos que |z + z|2 = zz y recuerda que 2Re(z) = z + z, |z|2 = zz entonces tenemos
que:
|z1 + z2 |2 = (z1 + z2 )(z1 + z2 )

= (z1 + z2 )(z1 + z2 )
= z1 z1 + (z1 z2 + z1 z2 ) + z2 z2
= z1 z1 + (z1 z2 + z1 z2 ) + z2 z2
= |z1 |2 + 2Re(z1 z2 ) + |z2 |2
(|z1 | + |z2 |)2 = |z1 |2 + |z2 |2 + 2|z1 z2 |

Demostracin:
Esta la vamos a empezar al rves, solo recuerda que |z| = |z|:
|z1 |2 + |z2 |2 + 2|z1 z2 | = |z1 |2 + |z2 |2 + 2|z1 ||z2 |

= |z1 |2 + |z2 |2 + 2|z1 ||z2 |
= (|z1 | + |z2 |)2

Desigualdad del Triangulo: |z1 | |z2 | |z1 + z2 | |z1 | + |z2 |

Demostracin:
Ok, esto an estar intenso, as que sgueme, vamos a hacerlo ms interesante, ya tenemos
las piezas necesarias. As que vamos a hacerlo al rves:
|z1 + z2 | |z1 | + |z2 | si y solo si |z1 + z2 |2 = (|z1 | + |z2 |)2 y adems |z1 + z2 |, |z1 |, |z2 | 0 lo
cual si que se cumple, pues los mdulos nunca son negativos.
Y lo que dije anteriormente se cumple si y solo si |z1 + z2 |2 = (|z1 | + |z2 |)2 + k donde k 0.
Ya sabemos que |z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 ) y (|z1 | + |z2 |)2 = |z1 |2 + |z2 |2 + 2|z1 z2 |,
ahora vamos a acomodar un poco, podemos poner lo ltimo como (|z1 | + |z2 |)2 2|z1 z2 | =
|z1 |2 + |z2 |2
Ahora veamos que:
|z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 ) = (|z1 | + |z2 |)2 2|z1 z2 | + 2Re(z1 z2 )

= (|z1 | + |z2 |)2 + k
Donde k = 2Re(z1 z2 )2|z1 z2 |, ahora adems podemos decir que si k 0 entonces as lo ser
k k
2 , por lo tanto: 2 = Re(z1 z2 )|z1 z2 |, pero si les cambias en nombre ves que todo se simplifica
w = z1 z2 y tenemos que Re(w) |w|. Espera, recuerda que ya habamos demostrado que
|Re(z)| |z|, as que por lo tanto k 0 y la propiedad siempre se cumple.
Sabemos que z1 = z1 + z2 + (z2 ) adems ahora sabemos que: |z1 | = |z1 + z2 + (z2 )|
|z1 + z2 | + | z2 | y como |z| = | z| Que es lo mismo que |z1 | |z2 | |z1 + z2 |.
Y listo, todas las propiedades estn listas.
Adems creo que es bastante obvio que por induccin tenemos que:
|z1 + z2 + z3 + + zn | |z1 | + |z2 | + |z3 | + + |zn |

|z1 z2 | = |z1 | |z2 |

Demostracin:

Recuerda que: z z = |z|2 Entonces |z| = zz

|z1 z2 | = z1 z2 z1 z2

= z1 z2 z1 z2

= z1 z1 z2 z2

= z1 z1 z2 z2
= |z1 | |z2 |

z1 |z1 |
z2 = |z2 |

Demostracin:
Usando la idea de que: |z1 z2 | = |z1 | |z2 |

= z1 1 = |z1 | 1 = |z1 | a bi
z1

z2 z2 z2 a2 + b2
s
a2 + b2 a 2 + b2 a2 + b2
= |z1 | = |z1 | = |z1 |
(a2 + b2 )2 (a2 + b2 )
p
(a2 + b2 )2

a2 + b2 1 1 1
= |z1 | = |z1 | = |z1 | = |z1 |
2 2
a +b a +b 2 2 2
a +b 2 |a + bi| |z2|
|z1 |
=
|z2 |

Captulo 3. Aritmtica Compleja 3.7. Producto Punto y Cruz
3.7. Producto Punto y Cruz
3.7.1. Producto Punto

De manera muy parecido a como definimos el producto punto entre dos vectores, po-
demos definir el producto punto entre dos nmeros complejos como:
z1 z2 = (a1 + ib1 ) (a2 + ib2 ) = (a1 a2 ) + (b1 b2 ) = |z1 ||z2 | cos () (3.16)
Donde es el angulo ms pequeo entre dichos nmeros.
3.7.2. Producto Cruz

De manera muy parecido a como definimos el producto cruz entre dos vectores, podemos
definir el producto cruz entre dos nmeros complejos como:
z1 z2 = (0, 0, a1 b2 a2 b1 ) (3.17)
Nota que dicho vector es perpendicular al plano complejo.

Pero generalmente lo que nos importa es su magnitud, que recuerda que se puede
entender como el rea del paralelogramo formado por esos dos nmeros.
Lo entendemos como:
|z1 z2 | = a1 b2 a2 b1 = |z1 ||z2 | sin () (3.18)
Donde es el angulo ms pequeo entre dichos nmeros.

Captulo 4
Forma Polar y Argumentos
24
Captulo 4. Forma Polar y Argumentos 4.1. Forma Polar
4.1. Forma Polar

Podemos expresar un punto en el plano complejo mediante la tupla (r, ) , donde r 0
y esta medido en radianes.
Entonces podemos pasar rpido y fcil de un sistema de coordenadas a otro como:
4.1.1. De forma Polar a forma Rectangular

Supongamos que tenemos un punto que podemos describir como (r, ), donde r 0 y
medido como radianes.
a = r cos ()
b = r sin ()
Otra forma de escribirlo es r(cos () + i sin ())
4.1.2. De forma Rectangular a forma Polar

Supongamos que tenemos un punto que podemos describir como (a + bi), entonces
podemos decir que:

r= a2 + b 2
1 b

tan ( a ) si a>0
tan1 ( b ) +

si a<0
a
=

2
si a=0yb>0
3
2
si a=0yb<0

Captulo 4. Forma Polar y Argumentos 4.2. Argumento de z
4.2. Argumento de z
Definimos al argumento de un nmero z = a + bi C como = arg(z), es decir, al
final del da arg(z) es un ngulo.
Este ngulo tiene que cumplir las dos siguientes ecuaciones:
x
cos () =
a2
+ b2
y
sin () =
a2 + b 2
Pero como sin y cos con funciones periodicas con 2, es decir arg(z) no es nico.
Adems para encontrarlo usamos tan( ab )1 pero resulta que esta funcin solo regresa
ngulos entre 2 y 2 por lo tanto habr problemas con nmeros en el segundo y tercer
cuadrante.
Argumento Principal
Ya que arg(z) es ms bien un conjunto de ngulos, podemos considerar al ngulo o
argumento principal de z como Arg(z) y que ser el ngulo que cumpla con que:
x
cos (Arg(z)) =
a2 + b 2
y
sin (Arg(z)) =
a2 + b 2
2 < Arg(z)
2
Podemos probar que Arg(z) para alguna z cualquiera ser nica.

Por lo tanto ahora podemos definir a arg(z) como:
arg(z) = { Arg(z) + 2n | n Z } (4.1)

Captulo 4. Forma Polar y Argumentos 4.3. Leyes de Aritmetica
4.3. Leyes de Aritmetica

Supn dos nmeros complejos de manera polar como z1 = (r1 , 1 ) y z1 = (r2 , 2 ) es
decir z1 = r1 (cos (1 ) + i sin (1 ) y z2 = r2 (cos (2 ) + i sin (2 ) entonces tenemos que:
Producto de Nmeros Complejos:

z1 z2 = [(r1 r2 ), (1 + 2 )]
Demostracin:
Esto es muy sencillo, primero ya que tenemos los dos nmeros en forma rectangular podemos
multiplicar como ya sabemos:
z1 z2 = (a1 a2 b1 b2 ) + (a1 b2 + b1 a2 )i
z1 z2 = r1 r2 [(cos (1 ) cos (2 ) sin (1 ) sin (2 )) + (cos (1 ) sin (2 ) + sin (1 ) cos (2 ))i]
Usando las leyes de senos y cosenos:

sin (a b) = sin (a) cos (b) cos (a) sin (b)
Podemos reducirlo a: z1 z2 = r1 r2 [cos (1 + 2 ) + i sin (1 + 2 )] y creo que de ah podemos
reducirlo casi mentalmente ya que (r, ) = r(cos () + i sin ())
Divisin de Nmeros Complejos:

z1
z2
= [( rr12 ), (1 2 )]
Demostracin:
Esto es muy sencillo, primero ya que tenemos los dos nmeros en forma rectangular podemos
dividir como ya sabemos, pero vamos a hacer un poco de trampa ingeniosa, usamos la idea
1 z
de que = 2 y hacer:
z |z|
z1 z2 z2
= z1 = z1
z2 |z2 |2 (r2 )2
1 1
= 2
z1 z2 = (a1 + ib1 )(a2 ib2 )
(r2 ) (r2 )2
1
= (a1 a2 b1 b2 ) + (a1 b2 b1 a2 )i
(r2 )2
r1
= [(cos (1 ) cos (2 ) + sin (1 ) sin (2 )) + (cos (1 ) sin (2 ) sin (1 ) cos (2 ))i]
r2
Usando las leyes de senos y cosenos:

sin (a b) = sin (a) cos (b) cos (a) sin (b)
Podemos reducirlo a: z1 z2 = rr21 [cos (1 2 ) + i sin (1 2 )] y creo que de ah podemos
reducirlo casi mentalmente ya que (r, ) = r(cos () + i sin ())

Captulo 4. Forma Polar y Argumentos 4.3. Leyes de Aritmetica
Simplificar Potencias de z:
z n = [(rn ), (n )]
Ideas:
No considero a esto una demostracin, por basta con darte cuenta que z n es z z z . . . n
veces.
Por lo tanto puedes aplicar la regla: z1 z2 = [(r1 r2 ), (1 + 2 )] que ya que z1 = z2 se puede
simplificar a z z = [r2 , 2].
Y llegar a ese resultado mediante la induccin.

Captulo 4. Forma Polar y Argumentos 4.4. Ley de Moivres
4.4. Ley de Moivres

z n = rn (cos (n ) + i sin (n )) donde n Z
Demostracin:
Se puede dar una demostracion muy sencilla, no se porque los libros usan induccion matematica
para demostrar el teorema de Moivre...
En fin, expresando a z en su forma polar y usando la frmula de Euler, tenemos:
z n = (a + bi)n
n
= [r (cos () + i sin ())]
n
= rn (cos () + i sin ())
n
= rn ei
= rn e(i)n
= rn e(n)i
= rn (cos (n ) + i sin (n ))

Captulo 5
Forma Exponencial de Euler
30
Captulo 5. Forma Exponencial de Euler 5.1. Forma de Euler
5.1. Forma de Euler

Podemos tambin expresar un nmero complejo de la siguiente manera:
ei = cos () + i sin () (5.1)

Ideas:
Esta frmula sale de a partir de las Series de Taylor para la funcin exponencial:

X n k k2 k3
ek = =1+ + + + (5.2)
n=0
n! 1! 2! 3!
Pasa algo muy interesante al hacer k = i, pues vemos que aparecen claramente la forma en que
tenemos de representar a las funciones seno y coseno como polinomios infinitos:
P n 2n+1
sin () = n=0 (1)
(2n + 1)!
P n 2n
cos () = n=0 (1)
(2n)!
2 4 5 3 5 7

ei = 1 + + + + i
2! 4! 5! 3! 5! 7!
= cos () + sin () i
5.1.1. ez
Tambin podemos ver ms generalmente que ez se puede reducir a:
ez = ea+bi = ea ebi = ea (cos (b) + i sin (b)) = ea (cos (b) + i sin (b))

Captulo 5. Forma Exponencial de Euler 5.1. Forma de Euler
5.1.2. Lemmas y Propiedades

ei + ei
cos () =
2
Demostracin:
ei + ei [cos () + i sin ()] + [cos () + i sin ()]

= Tip: cos () = cos () y sin () = sin ()
2 2
cos () + i sin () + cos () i sin ()
= Y si simplificamos
2
2 cos ()
=
2
= cos ()
ei ei
sin () =
2i
Demostracin:
ei ei [cos () + i sin ()] [cos () + i sin ()]

= Tip: cos () = cos () y sin () = sin ()
2 2
cos () + i sin () cos () + i sin ()
= Y si simplificamos
2
2i sin ()
=
2i
= sin ()

Captulo 5. Forma Exponencial de Euler 5.2. Identidad de Lagrange
5.2. Identidad de Lagrange

1

1 sin (n + 2
)
1 + cos (1) + cos (2) + + cos (n) = + 1 (5.3)
2
sin
2
n n
X 1 X ik eix + eix
e + eik

cos (k) = Recuerda que: cos (x) =
2 2
k=0 k=0
(n+1)i
1 e(n+1)i 1
n
1 e X rn+1 1
= + Recuerda que: rk =
2 ei 1 ei 1 k=0
r1

! !!
i 2
1 e(n+1)i 1 ei 2 e(n+1)i 1 e
= + Multiplica por Uno ;)
2 i
e 1 ei 2

ei 1 ei 2

1 1
!
1 e(n+ 2 )i ei 2 ei 2 e(n+ 2 )i
= + Expande
2 ei 2 ei 2 ei 2 ei 2
1 1
!
1 e(n+ 2 )i e(n+ 2 )i ei 2 ei 2
= + Organizando, gracias denominador comn
2 ei 2 ei 2 ei 2 ei 2
1 1
!
1 e(n+ 2 )i e(n+ 2 )i
= +1 Simplificar
2 ei 2 ei 2
(n+ 1 )i 1
e 2 e(n+ 2 )i
1 2i
= + 1 Aadimos esto
2 i 2 i 2
e e
2i
sin (n + 12 )

1 eix eix
= + 1 Recuerda que sin (x) =
2 2i
sin
2

Captulo 6
Ecuaciones y Races
34
Captulo 6. Ecuaciones y Races 6.1. n-Races de un Numero Complejo
6.1. n-Races de un Numero Complejo

En general decir que un nmero w es un raz enesma de un nmero complejo z
C { 0 } es que cumple que:
wn = z
Donde obviamente n Z+ .
6.1.1. Teorema Fundamental del lgebra

Teorema 6.1.1 Teorema Fundamental del lgebra Todo polinomio de grado n tiene
mnimo 1 raz
No desmotraremos este asombroso teorema por ahora, pero si un colorario (especfica-

mente) en el campo de los complejos: Un polinomio de grado n tiene exactamente n
races.

Captulo 6. Ecuaciones y Races 6.1. n-Races de un Numero Complejo
6.1.2. Encontrar las Races de un Nmero Complejo

Teorema 6.1.2 Existen exactamente n races para wn = z donde w, z C
Suponiendo a z = (r, ) entonces las podemos encontrar tan fcil como:

+ (2)k + (2)k
n
wk = r cos + i sin k = 0, 1, 2, . . . , n 1 (6.1)
n n
Demostracin:
Tengamos dos nmeros: z = r [cos () + i sin ()] y w = p [cos () + i sin ()]
Entonces de la ecuacin decir wn = z es lo mismo que decir que:
n
(p [cos () + i sin ()]) = r [cos () + i sin ()]
n
pn [cos () + i sin ()] = r [cos () + i sin ()]
De esta ecuacin tenemos que:
pn = r

Por lo tanto podemos definir a p = r donde r es la raz enesma del mdulo de dicho
nmero.
n
(cos () + i sin ()) = cos () + i sin ()
Gracias a cos (n) + i sin (n) = cos () + i sin () Por lo tanto podemos decir que:
cos (n) = cos ()
sin (n) = sin ()
Y gracias a que ambas funciones son periodicas cada 2, por lo tanto:

+ (2)k
sin () = sin
n

+ (2)k
cos () = cos
n
Y finalmente podemos generalizar los resultados como:

+ (2)k + (2)k
wk = n r cos + i sin (6.2)
n n

Parte II
Funciones y Clculo Complejo
37
Captulo 7
Funciones Complejas
38
Captulo 7. Funciones Complejas 7.1. Funciones en General
7.1. Funciones en General

Una funcin compleja es aquella que toma un nmero complejo y regresa otro nmero
complejo es decir f : C C.
Podemos decir entonces que bajo una funcin compleja f dada un nmero z este ser
mapeado a w.
f (z)
z w
f (z)
x + yi u + iv
Si te das cuenta podemos ver que tanto la parte imaginaria de w (v) como su parte
real (u) depende de los valores de x, y por lo tanto podemos verlas como funciones
multivariables, por lo tanto tenemos que:
Cualquier funcin compleja w = f (z) puede ser representada como:
f (z) = f (x + yi) = u(x,y) + iv(x,y) donde x, y R (7.1)
Ahora que las hemos definido formalmente podemos mostar las funciones complejas
mas famosas.

Captulo 7. Funciones Complejas7.2. Funciones Hiperbolicas cosh(x) y senh(x)
7.2. Funciones Hiperbolicas cosh(x) y senh(x)

A ver, antes que nada, estas no son funciones complejas en si, pero nos van a servir
mucho.
Recuerda que dijimos que:
ei + ei
cos () =
2
ei ei
sin () =
2i
Por lo tanto podemos ver que:
ei(ix) + ei(ix)
cos(ix) =
2
x
e + ex
=
2 (7.2)
ex + ex
=
2
= cosh(x)
ei(ix) ei(ix)
sen(ix) =
2i
ex ex
=
2i
1 x
= e ex
2i (7.3)
i
= ex ex
2
ex ex

=i
2
= i senh(x)

7.3. Trigonometricas Complejas: cos(z) y sin(z)
Captulo 7. Funciones Complejas
Estas funciones tiene unas propiedades bien locas como:
sinh(x)2 + cosh(x)2 = 1
Demostracin:
2 2
ex + ex ex ex

2 2
cosh(x) sinh(x) =
2 2
2 x 2
ex + ex e ex

=
4 2
2x
e 2 + e2x
2x 2x
e +2+e
=
4 4
2x
e + 2 e2x
2x 2x
e +2+e
= +
4 4
2x
+ e + 2 e2x
2x 2x

e +2+e
=
4

4
=
4
=1
7.3. Trigonometricas Complejas: cos(z) y sin(z)
cos(a + bi) = cos(a)cos(bi) sen(a)sen(bi)

(7.4)
= cos(a)cosh(b) i(sen(a)senh(b))
sin(a + bi) = sin(a)cos(bi) + cos(a)sen(bi)

(7.5)
= sin(a)cosh(b) + i(cos(a)senh(i))

Captulo 7. Funciones Complejas 7.4. Funciones ez y Ln(z)
7.4. Funciones ez y Ln(z)

La funcin exponencial es demasiado sencilla de definir:
ea+bi = ea ebi
= ea cos (b) + i sin (b) (7.6)
= ea cos (b) + iea sin (b)
Vamos a definir de manera completamente arbitraria al logaritmo de un nmero com-

plejo:
Ln(z) = ln(|z|) + iArg(z) (7.7)
Esta definicin nos permite que esta nueva funcin herede las propiedades comunes del
logaritmo.
7.5. z1z2
Gracias a la definicin podemos definir esta operacin como:
z1z2 = (z1 )a + (z2 )bi

bi
= (z1 )a eLn(z2 )
= (z1 )a ebiLn(z2 )

Captulo 8
Lmites
43
Captulo 8. Lmites 8.1. Lmites en Clculo Real
8.1. Lmites en Clculo Real

Antes de empezar a hablar sobre como podemos definir el lmite en el campo de los
complejos, veamos como llegamos a esa definicin en los nmeros reales.
lm f (x) = L (8.1)
xa
De manera completamente informal podemos decir que el Lmite de arriba es cierto si

cuando f (x) se acerca a L, x se acerca a a.
Es decir, si se acerca, la distancia entre f (x) y L y x y a cada vez se va haciendo ms
pequea, lo cuando lo podemos aadir para hacer a la definicin ms precisa.
Lmite: |f (x) L| se hace casi cero cuando |x a| se acerca a cero.
Ahora simplemente vamos a formalizar lo que significa pequeo:
hablar de lo pequeo que ser |x a|
hablar de lo pequeo que ser |f (x) L|
Por lo tanto estamos listo para la definicin formal en todo su esplendor:
8.1.1. Definicin Formal

En forma geomtrica, si a es un punto en la recta nmerica, entonces lmxa f (x) =
L si el valor absoluto de la diferencia entre f (x) y L puede hacerse tan pequea
como se desee al eligir puntos lo bastante cercanos a a (excluyendo a x = a).
Se dice que un nmero L es el lmite de f (x) cuando x tiende a a si para todo

nmero positivo (tan pequeo como se desee) se halla un nmero positivo (que
por lo general depende de ) tal que si0 < |x a| < entonces |f (x) L| < .
Decimos que lmxa f (x) = L si y solo si se cumple que:
> 0, > 0 tal que si 0 < |x a| < entonces |f (x) L| <

Captulo 9
Derivacin
45
Captulo 9. Derivacin 9.1. Funciones Analticas
9.1. Funciones Analticas

Eventualmente nuestra meta con estas funciones complejas es hacer calculo con ellas, es
derivarlas e integrarlas (en especial integrales de contorno o de lnea), hacer un montn
de cosas locas, y para poder hacer todo eso tendremos que hacer que nuestra funciones
se porten bien, es decir que sean diferenciables, que sus derivadas esten definidas y que
sean continuas.
Si recuerdas de Anlisis Real tenamos que para que una funcin fuera continua ambos
lmites, tanto por la derecha como por la izquierda tenian que existir y ser iguales.
Ahora bien, con las funciones complejas la restriccin es mucho mas fuerte pues no solo
nos podemos acercar por la derecha o por la izquierda, sino que por todos lados.
Despes veremos que hay algo llamado las Ecuaciones de Cauchy Riemann que nos
hablan mucho de si una funcin es analtica o no.
9.2. Continuidad
Decimos que una funcin f (z) es continua en un punto si y solo si:
La funcin f (z) tiene que estar valuado en z0
El lmzz0 f (z) tiene que existir
Sin importar desde donde te aproximes los lmites existen y son iguales
9.3. Definicin Formal

Podemos definir formalmente a nuestra derivada de una manera muy sencilla:
f (z + z) f (z)
f 0 (z) = lm
z0 z
(9.1)
f (z) f (z0 )
= lm
zz0 z z0

Captulo 9. Derivacin 9.4. Ecuaciones de Cauchy - Riemann en Rectangular
9.4. Ecuaciones de Cauchy - Riemann en Rectangular

Recuerda que el hecho de que una funcin f (z) = u(x, y)+iv(x, y) sea diferenciable nos
da grandes restricciones sobre como son u(x, y), v(x, y), veamos que dichas restricciones
salen de la misma definicin:
f (z + z) f (z)
f 0 (z) = lm
z0 z
u(x + x, y + y) + iv(xx, y + y) u(x, y) + iv(x, y)
= lm
x 0
y 0
x + iy
Adems sabemos que si es diferenciable, los lmites tiene que coincidir sin importar de
por donde nos acercamos al valor, por lo tanto tenemos que:
u(x + x, y + y) + iv(xx, y + y) u(x, y) + iv(x, y)

f 0 (z) = lm
x 0
y 0
x + iy

u(x + x, y) u(x, y) v(x + x, y) v(x, y)
= lm +i
x 0
y = 0
x x

u(x, y + y) u(x, y) v(x, y + y) v(x, y)
= lm +
x = 0
y 0
iy y
Y si te das cuentas, estos dos lmites estan mostrando derivadas parciales, as que al
igualar ambas tenemos que:
u(x, y) v(x, y) u(x, y) v(x, y)

+i = i +
x x y y
Por lo tanto podemos comparar la parte real e imaginaria como:
u(x, y) v(x, y)
=
x y
v(x, y) u(x, y)
=
x y
Estas son conocidas como las ecuaciones de Cauchy-Riemann.

Por lo tanto formalizamos como que una condicin necesaria para que f (z) = u(x, y) +
iv(x, y) sea analtica en una regin es que cumplan las Ecucaciones de Cauchy-Riemann.

Captulo 9. Derivacin 9.5. Ecuaciones de Cauchy - Riemann en Forma Polar
9.5. Ecuaciones de Cauchy - Riemann en Forma Polar
9.5.1. Demostracin usando Rectangular

Sea una funcin f (r, ) = u(r, )+iv(r, ) ananltica, entonces se satisface las ecuaciones
en forma rectangular:
u(x, y) v(x, y)
=
x y
u(x, y) v(x, y)
=
y x
Y dado que z = x + iy = r(cos () + i sin ()), entonces:

1
r(x, y) = (x2 + y 2 ) 2
y
(x, y) = arctan
x
y tambin tenemos que:
x(r, ) = r cos ()
y(r, ) = r sin ()

Ahora, hay que demostrar estas 4 ecuaciones:
r r sin () cos ()
= cos () = sin () = =
x y x r y r
Demostracin
1 1
r (x2 + y 2 ) 2 r (x2 + y 2 ) 2
= =
x x y y
1 2 1 1 2 1
= x + y 2 2 (2x) = x + y 2 2 (2y)
2 2
1 1
= x x2 + y 2 2 = y x2 + y 2 2
1 1
= r cos () r2 2 = r sin () r2 2
= r cos () r1 = r sin () r1
= cos () = sin ()
y y
arctan arctan
= x = x
x x y y
1 y 1 1
= y 2 2 =
x y 2
x
1+ 1+
x x
1 y 1 1
= 2 2
2 =
y +x x
2 2

y +x x
x 2
x2
1 y 1 1
= 2 2
2 =
y +x x
2 2

y +x x
x 2
x2
y x
= =
y 2 + x2 y + x2
2
r sin () r cos ()
= =
r2 r2
sin () cos ()
= =
r r

Entonces usando la gran regla de la cadena tenemos que:
u(r, ) u r u
= + Regla de la Cadena
x r x x
u u sin ()
= cos () Sustituyendo
r r
Por otro lado:

v(r, ) v r v
y r y y
u u cos ()
= sin () + Sustituyendo
r r
Ahora de las ecuaciones de Cauchy - Riemann tenemos que:

u v
0=
x y

u u sin () u u cos ()
= cos () sin () +
r r r r

u v1 u v1
= cos () + sin ()
r r r r
Y ya que sin () y cos () son linealmente independientes (si no me creen intenten hacer
el Wroksiano, porque yo no lo intentar) tenemos que todo lo que las multiplique tiene
que ser cero, es decir:
u v1 u 1 v
Tenemos que 0 = por lo que un simple despeje tenemos que: =
r r r r
u v1 u 1 v
Tenemos que 0 = por lo que un simple despeje tenemos que: =
r r r r
Por lo tanto tenemos que:

u 1 v
=
r r

v 1 u
=
r r

9.5.2. Comprobacin usando Rectangular

Sea una funcin f (x + iy) = u(x, y) + iv(x, y) analtica, entonces se satisface las ecua-
ciones en forma rectangular:
u(x, y) v(x, y)
=
x y
u(x, y) v(x, y)
=
y x
Y dado que z = x + iy = r(cos () + i sin ()), entonces:
x(r, ) = r cos ()
y(r, ) = r sin ()
Entonces usando la gran regla de la cadena tenemos que:
u u x u y
r x r y r
u r cos () u r sin ()
= + Expandamos
x r y r
u u
= cos () + sin () Resolvemos
x y

1 u u
= r cos () + r sin () Creamos una r mgica
r x y

1 v v
= r cos () r sin () Usando Cauchy - Riemann
r y x

1 v v
= r sin () + r cos () Reordenamos
r x y

1 v x v y
= + Ve que son iguales
r x y

1 v
= Regla de la Cadena a la inversa
r
De manera analoga tenemos que:

v v x v y
r x r y r
v r cos () v r sin ()
= + Expandamos
x r y r
v v
= cos () + sin () Resolvemos
x y

1 v v
= r cos () r sin () Creamos una r mgica
r x y

1 u u
= r cos () r sin () Usando Cauchy - Riemann
r y x

1 u u
= (r sin ()) + r cos () Reordenamos
r x y

1 u x u y
= + Ve que son iguales
r x y

1 u
= Regla de la Cadena a la inversa
r

u 1 v
=
r r

v 1 u
=
r r

Captulo 9. Derivacin 9.6. Funciones Analticas y Cauchy - Riemann
9.6. Funciones Analticas y Cauchy - Riemann

Recapitulemos todo lo que hemos visto de las ecuaciones de Cauchy - Riemann usando
estos dos teoremas:
Teorema 9.6.1 Si f (z) = u(x,y) + iv(x,y) es analtica en una regin R entonces se

satisface estas ecuaciones dentro de R.
u(x,y) v(x,y) u(x,y) v(x,y)
= =
x y y x
Por otro lado tambin tenemos que:
Teorema 9.6.2 Si las siguientes condiciones se cumplen en una regin R entonces la

funcin es analtica.
Todas las derividas parciales existen y son continuas

u u v v
x y x y
Satisfacen las Relaciones de Cauchy Riemann:

u(x,y) v(x,y) u(x,y) v(x,y)
= =
x y y x
9.7. Funciones Armonicas y Ecuaciones de Laplace

Teorema 9.7.1 Si f (z) = u(x,y) + iv(x,y) es analtica en una regin R entonces se
satisface estas ecuaciones dentro de R.
2 u(x,y) = 0 y 2 v(x,y) = 0
Este Teorema sale simplemente derivando las Ecuaciones de Cauchy - Riemann y ha-
ciendo un poco de algebra.
Debido a que u(x,y) , v(x,y) satisfacen la Ecuacin de Laplace tenemos que son conside-
radas funciones armonicas.

Captulo 10
Integracin
54
Captulo 10. Integracin 10.1. Integrales Complejas
10.1. Integrales Complejas

Supongamos que tenemos una funcin f (z) si queremos integrarla desde un punto
complejo a hasta otro punto complejo b.
Si estuvieramos hablando de una simple integral en los nmeros reales entonces tenemos
que basta con recorrer la recta nmerica desde a hasta b.
Pero Sorpresa! Eso no se puede hacer con una integral compleja porque ya que son
efectivamente nmeros en dos dimensiones, no hay un camino para llegar, sino una
infinidad de caminos.
Y el gran problema es que cada camino po-
dra darte un valor diferente al momento de
calcular la integral.
As que para integrar una funcin compleja es
necesario que me digas cual ser la curva por
la cual integraremos dicha funcin, debido a
esto hay grandes relaciones sobre como fun-
ciona una integral compleja y una integral de
lnea.
Esto se debe basicamente a que los nmeros
complejos no viven en una lnea, una recta
Figura 10.1: Qu camino sigo? C1 C2
nmerica, sino en todo un plano complejo.

Captulo 10. Integracin 10.1. Integrales Complejas
10.1.1. Calcular un Integral Compleja sobre C

Supongamos que tenemos una funcin f (z) = u(x,y) + iv(x,y) sobre una curva arbitraria
C desde el punto a hasta b
Supongamos que dicha curva se puede expresar usando ecuaciones parametricas de tal
manera que x, y son funciones de un prametro t tal que as: x(t) y y(t).
Entonces tenemos que podemos expresar a a y a b como:
a = x() + iy()
b = x() + iy()
Entonces ya podemos definir lo que significa una integral compleja:
Z Z
f (z)dz = f (x + iy)(dx + idy)
C ZC
= (u + iv)(dx + idy)
ZC Z
= udx vdy + i vdx + udy
C c
dx dy
Apliquemos un cambio de variable: dx = dt
dt y dy = dt
dt
Por lo tanto finalmento podemos decir que:
Z Z Z
dx dy dx dy
f (z)dz = u dt v dt + i v dt + u dt
c dt dt dt dt
Z Z
= u(x,y) x0 (t)dt v(x,y) y 0 (t)dt + i v(x,y) x0 (t)dt + u(x,y) y 0 (t)dt


Captulo 10. Integracin 10.2. Integrales Bonitas: Antiderivadas
10.1.2. Parametrizacin
Otra forma complemente igual de valida es no parametrizar las funciones en parte real
e imaginaria.
R
Entonces podemos defininir c f (z)dz para cualquier curva cerrada. Si C esta parame-
trizada por r(t), a t b tenemos que podemos ver a r0 (t) como una curva compleja
y:
Z Z b
f (z)dz = f (r(t)) r0 (t) dt
C a
O tambin es comn ponerlo como:

Z Z b
f (z)dz = f (z(t)) z 0 (t) dt
C a
10.2. Integrales Bonitas: Antiderivadas

Ya que hemos aprendido todo esto sobre las integrales podemos ver que el hecho de
parametrizar simplifica enormemente todo el trabajo que tenemos que hacer sobre las
mismas, llegando a esto tan bonito:
Sea z(t) = x(t) + iy(t) entonces suponiendo que sean continuas en [a, b] tenemos que:
Z b Z b Z b Z b
z(t)dt = (x(t) + iy(t))dt = x(t)dt + i y(t)dt
a a a a
10.3. Teorema de la Deformacin

Sea y dos trayectorias cerradas en una regin del plano R con en el interior de
.
Sea f (z) una funcin diferenciable en un conjunto abierta que contiene ambas trayec-
torias y todos los puntos entre ellas, entonces:
I I
f (z)dz = f (z)dz


Captulo 10. Integracin 10.4. Teorema de Cauchy-Goursat
10.4. Teorema de Cauchy-Goursat

Si f (z) es analtica y estamos hablando de una curva simple, es decir en la que no se
cruza consigo mismo, entonces tenemos que:
I
f (z)dz = 0
C
Ideas:
Antes que hablar de la demostracin del Teorema tenemos que recordar lo que significa que una
Regin R sea simplemente conexa.
Un Regin R es simplemente conexa si cada curva simple en R es la frontera de una regin contenida
en R
De esto podemos ver que por ejemplo el disco { z C, | |z| < 1 } es simplemente conexo, pero el
anillo { z C, | 1 < |z| < 1 } no lo es.
Usando el Teorema de Green:

Supongamos que C es un curva simple
R cerrada que esta limitada por D entonces si queremos aplicar
el Teorema de Green a la integral: C f (z)dz ya que tenemos que:
f (z)dz = (u + iv)(dx + idy)= (udx vdy) + i(vdx + udy)
Entonces podemos ver que:

Z ZZ ZZ
v u u v
f (z)dz = dA + i dA
C D x y D x y
Entonces el integrando ser siempre cero si y solo si las ecuaciones de Cauchy Riemann se mantienen.

Captulo 10. Integracin 10.5. Teorema de la Integral de Cauchy
10.5. Teorema de la Integral de Cauchy

Sea f (z) analtica en el interior y sobre la frontera de C, donde C es cerrada y sim-
plemente conexa en una regin R, entonces tenemos si a pertenece a la regin R se
cumple que:
I
1 f (z)
f (a) = dz
2i C z a
Pero esta no es la forma en la que comunmente la usamos, sino que la usamos como un
pequeo truco para poder calcular algunas integrales, esto lo escribimos entonces as:
I
f (z)dz
2i f (a) =
C z a
10.5.1. Teorema de Integral vs Formula de la Integral

Consideremos un ejemplo que creo que pone todo mas claro, supon la funcin f (z) = z 2 + z + 1 a
lo largo de el circulo unitario.
Z Z 2 Z 2
2it it it
f (z)dz = (e + e + 1)ie dt= i (e3it + e2it + eit )dt
C 0 0
Creo que es muy sencillo ver que esta integral ser cero, porque el periodo de el seno y coseno es
2, por lo tanto al momento de evaluar todo se cancela.
Pero por otro lado imagina:
Z Z 2 Z 2
1 it it
dz = (e )ie dt= i dt = 2i
C z 0 0
Pero porque no dio cero?

1
Porque es analtica en la regin C { 0 } pero vimos que esta regin no es simplemente conexa,
z
por lo tanto no podemos aplicar el Teorema de Cauchy.

Captulo 10. Integracin 10.5. Teorema de la Integral de Cauchy
10.5.2. Ejemplos
1
Sea la curva aquella descrita por el circulo |z + 1| = 2 calcule:
I
dz
z 2 (z + 1)
C
Solucin:
Simplemente tenemos que darnos cuenta que el punto de indeterminacin de nuestra integral es
z = 0 y z = 1, ahora, si te das cuenta podemos poner nuestra integral como:
I
dz
2
C z (z (1))
Entonces podemos separarlo como:
1
f (z) =
z2
a = 1
1 1
f (a) = = =1
(1)2 1
Por lo tanto:
I
dz
= 2i f (a) = 2i
C z 2 (z + 1)

Captulo 10. Integracin
10.6. Teorema de Cauchy de Derivacin de Orden Superior
10.6. Teorema de Cauchy de Derivacin de Orden Su-

perior
Sea f (z) diferenciable en un conjunto G entonces f (z) tiene derivadas de todos los
ordenes en cada punto de G, ms an si C es una trayectoria cerrada en G que encierra
unicamente puntos de G, en particular a z0 tenemos que:
I
(n) n! f (z)dz
f (z0 ) =
2i C (z z0 )n+1
Pero esta no es la forma en la que comunmente la usamos, sino que la usamos como un
pequeo truco para poder calcular algunas integrales, esto lo escribimos entonces as:
I
2i (n) f (z)dz
f (z0 ) = n+1
n! C (z z0 )
10.6.1. Ejemplos
Ejemplo 1
1
Sea la curva aquella descrita por el circulo |z| = 2 calcule:
I
dz
2
C z (z + 1)
Solucin:
Simplemente tenemos que darnos cuenta que el punto de indeterminacin de nuestra integral es
z = 0 y z = 1, ahora, si te das cuenta podemos poner nuestra integral como:
I
dz
2
C z (z + 1)
n=1
1
f (z) =
z+1
1
f 0 (z) =
(z + 1)2
z0 = 0
1
f 0 (z0 ) = = 1
12
Por lo tanto:
I
dz 2i (n)
= f (z0 ) = (2i) 1 = 2i
C z 2 (z + 1) n!

Ejemplo 2
Sea la curva aquella descrita por el circulo |z| = 3 calcule:
I
dz
z 2 (z + 1)
C
Solucin:
Ya que nuestra curva encierra a ambos puntos de indeterminacin tenemos que separarla:
dz Az + B C
= +
z 2 (z + 1) z2 z+1
1 = (Az + B)(z + 1) + z 2 (C)
1 = Az 2 + Bz + Az + B + Cz 2
Por lo tanto:
A+C =0 A+B =0 B=1
Es decir:
A = 1 B=1 C=1

I I I
dz Az + B C
2 (z + 1)
= 2
dz + dz
C z z z +1
IC I C
(z)dz
I
dz dz
= 2
+ 2
+
z z z +1
IC I C I C
dz dz dz
= + 2
+
C z C z C z+1

Ahora vamos a ir resolviendo una por una:
La primera se puede resolver con la Teorema de la Integral de Cauchy pues tenemos que:
f (z) = 1
f (0) = 1
Por lo tanto:
dz
I
= 2if (0) = 2i
C z
La segunda se puede resolver con la Teorema de Derivacin Superior pues tenemos que:
f (z) = 1
f 0 (z) = 0
Por lo tanto:
I
dz 2i
2
= 0=0
C z n!
La tercera se puede resolver con la Teorema de la Integral de Cauchy pues tenemos que:
f (z) = 1
f (1) = 1
Por lo tanto:
I
dz
= 2if (1) = 2i
C z+1
Finalmente tenemos entonces que:

dz
I I I I
dz dz dz
2
= + 2
+
C z (z + 1) C z C z C z+1
= 2i + 0 + 2i
=0

Parte III
Series Complejas y Residuos
64
Captulo 11
Series Complejas
65
Captulo 11. Series Complejas 11.1. Serie Geomtrica
11.1. Serie Geomtrica

Si |z| < 1 entonces la Serie:

X
X
k1
az = az k = a + az + az 2 + az 3 + . . .
n=1 n=0
a
Converge a
1z
Demostracin:
Ahora podemos encontrar una expresin para la suma parcial Sn como:
Sn = a + az + az 2 + az 3 + + az n1 .
Ahora el gran truco para poder evaluar ms sencillo Sn lo que podemos hacer es:
Sn = a + az + az 2 + az 3 + + az n1
zSn = az + az 2 + az 3 + az 4 + + az n
Sn zSn = (a + az + az 2 + az 3 + + az n1 ) (az + az 2 + az 3 + az 4 + + az n )
Sn zSn = a az n
Sn (1 z) = a az n
a(1 z n )
Sn =
1z
Ahora lmn z n = 0 siempre que |z| < 1, entonces:
a(1 z n ) a(1 0)
lm =
n 1z 1z
a
=
1z

Captulo 11. Series Complejas 11.2. Series de Potencias
11.2. Series de Potencias

Una serie de Potencias es una serie de la forma:

X
ak (z z0 )k = a0 + a1 (z z0 ) + a2 (z z0 )2 + a3 (z z0 )3 + . . .
n=0
Ahora, hay muchas cosas que debes saber, muchos nombres y designaciones que hace-
mos a las series de potencias:
Se dice que la Serie centrada en z0
Hablamos de un radio de convergencia de dicha serie, el radio puede ser:
El radio es 0, entonces decimos que solo converge en z = z0

El radio es finito, entonces la serie converge siempre que z este dentro del
radio
El radio es infinito, en ese cado siempre converge
Es conveniente decir que (z z0 )0 = 1 incluso cuando z = z0
La corresponcia entre un nmero complejo z que se encuentre

P dentro del kcrculo
de convergencia y en nmero w al cual converge la serie n=0 ak (z z0 ) es de
uno a uno.
Por lo tanto podemos ver a una serie de convergencia como una funcin f (z) = w

Captulo 11. Series Complejas 11.3. Series de Taylor
11.3. Series de Taylor

Sea f (z) anlitica en el interior de un crculo C0 con centro en z0 y radio r0 . Entonces
para cada punto z en el interior de C0 se tiene que f (z) se puede escribir como:

X
n
X f (n) (z0 )
f (z) = an (z z0 ) = (z z0 )n
n=0 n=0
n!
Adems para cualquier crculo en el interior de C0 la serie converge uniformemente.

Ideas:
Podemos diferenciar a una serie de potencias simplemente diferenciando trmino por trmino, y
como creo que es ms que obvio, el diferenciar una serie de potencias no hace que cambie su radio
de convergencia.
Es decir, una serie de pontencia define a una funcin infinitamente derivable que tendr el mismo
radio de convergencia.
Ahora, P
veamos que pasa el derivar una serie de potencia:

f (z) = n=0 ak (z z0 )k = a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .

X
f 0 (z) = ak k(z z0 )k1 = a1 + 2a2 (z z0 ) + 3a3 (z z0 )2 + . . .
n=0
X
f 00 (z) = ak (k)(k 1)(z z0 )k2 = (2)(1)a2 + (3)(2)a3 (z z0 ) + . . .
n=0
X
f 000 (z) = ak (k)(k 1)(k 2)(z z0 )k3 = (3)(2)a3 + . . .
n=0
Hay una relacin entre los coeficientes de ak y la derivadas de f (z), entonces tenemos que f (z0 ) = a0 ,
f 0 (z0 ) = 1!(a1 ), f 00 (z0 ) = 2!(a2 ), f 000 (z0 ) = 3!(a3 ).
dn f (z)
Entonces en general tenemos que = (n!)an
dz n
f (n) (z0 )
Con lo que con un simple despeje tenemos que an =
n!

X f (n) (z0 )
f (z) = (z z0 )n
n=0
n!

Captulo 11. Series Complejas 11.4. Series de Maclaurin
11.3.1. Series de Taylor Famosas

z
X zn
e =
n=0
n!

X z 2n+1
sen(z) = (1)n
n=0
(2n + 1)!

X z 2n
cos(z) = (1)n
n=0
(2n)!

1 X
a = a(z n ) si |z| < 1
1z n=0

1 X
a = a(z n )(1)n1 si |z| < 1
1+z n=0

X
n n nr
(1 z) = z
n=0
r
11.4. Series de Maclaurin

Si z0 = 0 entonces la Serie de Taylor recibe un nombre especial

X f (n) (0)
f (z) = zn
n=0
n!
Y si, eso es todo, una Serie de Taylor con z0 = 0.

Captulo 11. Series Complejas 11.5. Series de Laurent
11.5. Series de Laurent

Si z = z0 es una singularidad aislada de una funcin f (z) entonces tenemos que pode-
mos escribir a la funcin como:

X
an (z z0 )n

Ideas:
Si una funcin no es analtica en el punto z = z0 , entonces en este punto decimos que tenemos una
singularidad o un punto singular de la funcin.
Ahora vamos a ver un nuevo tipo de las Series de Potencias de f (z) sobre una singularidad aislada
sobre z0 . Esta nueva serie involucrar a potencias positivas como no negativas de (z z0 ).
Si z = z0 es una singularidad de una funcin f (z) entonces es muy obvio que no podemos expandirla
como una Serie de Potencias comn con z0 en su centro.
Pero si z = z0 es una singularidad aislada entonces podemos representarla como una Serie Potencias
que involucra potencias negativas y positivas.
a2 a1
f (z) = + + + a0 + a1 (z z0 )1 + +a2 (z z0 )2 +
(z z0 )2 (z z0 )1

X X
= an (z z0 )n + an (z z0 )n
n=1 n=0
X
= an (z z0 )n

P
Llamamos a la parte n=0 an (z z0 )n como la parte principal, y decimos que esta suma converge
si |z z0 | > r
P
La parte n=1 an (zz0 )n como la parte anlitica y decimos que esta suma converge si |zz0 | < R

11.5.1. Coeficientes de la Serie de Laurent

Podemos encontrar facilmente los coeficientes de una Serie de Taylor como:
(n)
an = f n!(z0 )
Podemos hacer algo parecido con las Series de Laurent y decir que:
Para la Parte Anlitica tenemos que:
I
1 f (z)
an = dz
2i C (z z0 )n+1
Para la Parte Principal tenemos que:

I
1 f (z)
an = dz
2i C (z z0 )n+1
Donde C es cualquier curva cerrrada que rodea a z0 .

11.5.2. Ejemplos
Ejemplo 1
sin (z)
Encuentra la expansin de f (z) = alrededor de z = 0
z4
Solucin:
z3 z5 z7
Recuerda que sin (z) = z + + ...
3! 5! 7!
sin (z) 1 1 z z3
= + + ...
z4 z3 3!z 5! 7!
Donde tenemos que:
z z3
Parte Analtica: + ...
5! 7!
1 1
Parte Principal: 3
z 3!z
Ejemplo 2
1
Encuentre la expansin de f (z) = en:
z(z 1)
0 < |z| < 1

Demostracin:
Estamos de acuerdo en que la Superficie 0 < |z| < 1 representa el crculo unitario menos
z = 0, por lo tanto tenemos una superficie que encierra a un punto de singularidad.
1
Por lo tanto tenemos que hacer una expansin de que involucre a (z 0).
z(z 1)
Ahora tenemos que:
1
f (z) =
z(z 1)

1 1
=
z 1z

1
1 + z + z2 + z3 + z4 + . . .

=
z

1
= 1 z z2 z3 . . .
z
1
Sabemos que = 1 + z + z 2 + z 3 + z 4 + . . . si y solo si |z| < 1 y al multiplicarlo por
1z
1
entonces tenemos que la expresin general converge si y solo si 0 < |z| < 1.
z

1 < |z|
Demostracin:
Estamos de acuerdo en que la Superficie 1 < |z| representa todo el plano complejo excepto el
crculo unitario, por lo tanto tenemos una superficie que encierra a un punto de singularidad.
Por lo tanto tenemos que hacer una expansin que involucre a (z 0).
Ahora tenemos que:
1
f (z) =
z(z 1)

1 1
=
z2 1 z1

1 1
=
z2 1 + z + z2 + z3 + z4 + . . .
1 1 1 1
= 2 + 3 + 4 + 5 + ...
z z z z
1
La serie 1 + z + z 2 + z 3 + z 4 + . . . converge si y solo si | | < 1 por lo tanto su inversa converge
z
si y solo si |z| > 1
0 < |z 1| < 1
Demostracin:
Estamos de acuerdo en que la Superficie 0 < |z 1| < 1 representa el crculo unitario
pero centrado en z = 1, por lo tanto tenemos una superficie que encierra a un punto de
singularidad.
Por lo tanto tenemos que hacer una expansin que involucre a (z 1).
Ahora tenemos que:
1
f (z) =
z(z 1)
1
=
(z + 1 1)(z 1)

1 1
=
z1 1 + (z 1)

1
= [1 (z 1) + (z 1)2 (z 1)3 + (z 1)4 . . . ]
z1

1
= + 1 + (z 1) + (z 1)3 + (z 1)4 + . . . ]
z1
Ahora como z 6= 1 entonces 0 < |z1|, y gracias a la serie geometrica tenemos que |z1| < 1,
por lo tanto la expresin converge si 0 < |z 1| < 1

11.5.3. Polos y Singularidades Aisladas

Supongamos que tenemos una funcin como:

X
f (z) = an (z z0 )n

X
X
n
= an (z z0 ) + an (z z0 )n
n=1 n=0
Y que z = z0 es nuestra singularidad.
Si la parte principal de nuestra Serie de Laurent no tiene elementos entonces

decimos que existe una Singularidad Removible.
a0 + a1 (z z0 ) + a2 (z z0 )2 +
Si la parte principal de nuestra Serie de Laurent tiene una cantidad finita de

elementos entonces decimos que tenemos un Polo de Orden n.
Si es que tenemos solo un elemento decimos que es un Polo Simple
an (z z0 )n + + a1 (z z0 )1 + a0 + a1 (z z0 ) + a2 (z z0 )2 +
Si la parte principal de nuestra Serie de Laurent tiene una cantidad infinita

de elementos entonces decimos que tenemos una Singularidad Escencial
+ a2 (z z0 )2 + a1 (z z0 )1 + a0 + a1 (z z0 ) + a2 (z z0 )2 +

Captulo 12
Residuos
75
Captulo 12. Residuos 12.1. Definicin
12.1. Definicin
Supongamos que tenemos una funcin como:

X
f (z) = an (z z0 )n

X
X
n
= an (z z0 ) + an (z z0 )n
n=1 n=0
Entonces en especial el primer coeficiente (a1 ) es tan especial que recibe el nombre de
residuo.
Solemos denotar el Residuo de f (z) sobre el punto z = z0 como:
a1 = Res(f (z), z0 )

Captulo 12. Residuos 12.2. Encontrar Residuos
12.2. Encontrar Residuos

La forma ms trivial de encontrar nuestro residuo sobre f (z) a lo largo de un
punto z0 es simplemente hayar la Serie de Laurent de dicha funcin y tomar el
a1
coeficiente de .
z z0
No tengo que demostrar esto, despes de todo esta es la definicin
Vimos que encontramos una frmula para encontrar un coeficiente arbitario den-
tro de la Serie de Laurent, estaH frmula funciona para encontrar a los trminos
1 f (z)
de la Parte Principal: an = 2i C (zz0 )n+1
dz
Entonces:
I
1
a1 = f (z)dz
2i
Si f (z) tiene un Polo Simple en z = z0 , entonces tenemos que:
Res(f (z), z0 ) = lm (z z0 )f (z)

zz0
Demostracin:
a1
Considera que z0 es un Polo Simple, entonces la funcin tiene esta forma: a0 + a1 (z
z z0
z0 )1 + a2 (z z0 )2 + . . .
Donde a1 es diferente de cero. Ahora simplemente al multiplicar todo por (z z0 ) y ms
an tomando el lmite tenemos que: lmzz0 (z z0 )f (z) = lmzz0 [a1 + a0 (z z0 ) + a1 (z
z0 )2 + . . . ] = a1
Si f (z) tiene un Polo de Orden n en z = z0 , entonces tenemos que:
dn1

1
Res(f (z), z0 ) = lm n1 (z z0 )n f (z)
(n 1)! zz0 dz
g(z)
Si f (z) se puede escribir como f (z) = y g(z0 ) 6= 0 entonces tenemos que
h(z)
podemos encontrar el residuo de un polo simple como:
g(z0 )
Res(f (z), z0 ) =
h0 (z0 )

Captulo 12. Residuos 12.3. Ejemplos sobre Encontrar Residuo
12.3. Ejemplos sobre Encontrar Residuo

Ejemplo 1
1
Encuentra los residuos de f (z) =
(z 1)2 (z 3)
Solucin:
Para z = 3 vemos un Polo Simple por lo que podemos decir que:
Res(f (z), 3) = lm (z 3)f (z)

z3
1 1
= lm (z 3) = lm
z3 (z 1) (z 3) z3 (z 1)2
2
1 1 1
= = 2 =
(3 1)2 2 4
Para z = 1 vemos un Polo de Orden 2 por lo que podemos decir que:

1 d
Res(f (z), 1) = lm (z 1)2 f (z)
z1 1! dz
d 1
= lm (z 1)2
z1 dz (z 1)2 (z 3)
d 1
= lm
z1 dz z 3
1
= lm
z1 (z 3)2
1
=
4

Captulo 12. Residuos 12.4. Teorema de Residuo de Cauchy
12.4. Teorema de Residuo de Cauchy

Supongamos que tenemos una funcin que sea analtica excepto en z1 , z2 , . . . , zn ence-
rrados por C entonces:
I n
X
f (z)dz = 2i Res(f (z), zi )
C i=0

R 2
Captulo 12. Residuos
12.5. Usar Teorema del Residuo para: 0
F (cos () , sin ()) d
R 2
12.5. Usar Teorema del Residuo para: 0 F (cos () , sin ()) d
La idea esta en convertir una integral de variable real en una integral compleja donde
nuestro recorrido ser el crculo unitario centrado en el origen.
El primer paso esta en parametrizar el recorrido como:
z = ei
dz = iei d
dz dz
d = i
=
ie iz
ei + ei 1
cos () = = (z + z 1 )
2 2
ei + ei 1
sin () = = (z z 1 )
2 2i
Por lo tanto finalmente tenemos que:

Z 2
z + z 1 z z 1 dz
I
F (cos () , sin ()) d = F ,
0 C 2 2i iz

R 2
Captulo 12. Residuos
12.5. Usar Teorema del Residuo para: 0
F (cos () , sin ()) d
12.5.1. Ejemplo
R 2 1
Calcule 0
d
5 + 4 sin ()
Solucin:
Z 2 I
1 1 dz
d =
5 + 4 sin () 4 iz
0 C 5+ (z z 1 )
I 2i
1 dz
= 2 + 5iz 2 iz
2z
IC
1 dz
=
C (2z + 4i)(2z + i) iz
Ahora usemos el Teorema de Residuo, recuerda que nuestro recorrido es alrededor del crculo
unitario, ve que solo uno de las races cae dentro del crculo unitario. (z = -0.5i) pues la otra es
z = 2i.
Res (f (z), 0.5i) = lm (z + 0.5i)f (z)

z0.5i
1
= lm (z + 0.5i)
z0.5i (2z + 4i)(2z + i)
1
= lm (z + 0.5i)
z0.5i (2z + 4i)(z + 0.5i)
1
= lm
z0.5i (2z + 4i)
1
= lm
z0.5i 3i
Ahora simplemente tenemos que:

Z 2 I
1 1 dz
d =
0 5 + 4 sin () C (z + 2i)(2z + 1) iz
= 2i (Res(f (z), 0.5i))

1
= 2i
3i

2
=
3

Captulo 12. Residuos 12.6. Valor Principal de Cauchy
12.6. Valor Principal de Cauchy

El Valor Principal de Cauchy de una intregral impropia es simplemente:
Z Z R
P.V f (x)dx = lm f (x)dx
R R
A veces existe el Valor Principal de Cauchy cuando la integral diverge
Si la integral converge entonces el Valor Principal ser igual a la solucin de la

integral original
Si f (x) es una funcin par y el Valor Principal existe entonces la integral converge

R
Captulo 12. Residuos 12.7. Usar Teorema del Residuo para:
f (x)dx
R
12.7. Usar Teorema del Residuo para: f (x)dx
Z I Z R Z n
X
f (x)dx = f (z)dz= f (x)dx + f (z)dz = (2i) Res(f (z), zi )
C R CR i=1
Decimos que C es un semicrculo que va desde R a R sobre el plano real y el semi-

crculo complejo que encierra a todos los puntos singulares reales y a alguno del par de
una singularidad compleja (despes de todo recuerda que las races complejas vienen
en pares, as que el semicirculo solo tomar a una).
Despes al momento de aplicar el siguiente teorema haremos que el semicrculo tienda
a un semicrculo infinito centrado en el origen.
Ahora, podemos decir que f (z) = p(z)
q(z)
donde el grado de q(z) es mnimo dos grados
R
mayor que el de p(z), entonces tenemos que: CR f (z)dz 0 cuando R .
Si esto se cumpliera, entonces tendra que:
Z R Z Z R n
X
f (x)dx + f (z)dz = f (x)dx = (2i) Res(f (z), zi )
R CR R i=1
Ve que la ltima lnea es lo que queramos ver

R
f (x)dx
12.7.1. Ejemplo
R 1
Calcule
dx
(x2 + 1)(x2 + 9)
Solucin:
Ve que si tomemos el semicrculo igual o mayor que el que encierra a [3, 3] entonces encerrar a
todas las raices reales y al menos a una de cada par de races complejas.
Ahora tomemos un semicirculo de [, ]
Y recuerda que si f (z) = p(z) donde el grado de q(z) es mnimo dos grados mayor que el de p(z),
R q(z)
entonces tenemos que: CR f (z)dz 0 cuando R .
Z I
1 1
dx = dz
(x2 + 1)(x2 + 9) C (x2 + 1)(x2 + 9)
ZR Z
1 1
= dx + dz
R (x + 1)(x2 + 9)
2
CR (z 2 + 1)(z 2 + 9)
ZR
1
= dx
R (x2 + 1)(x2 + 9)
= (2i)[Res(f (z), i) + Res(f (z), 3i)]

1 1
= (2i) +
16i 48i

=
12
Y ms an la funcin es par, por lo tanto no solo calculamos el valor principal, sino la integral
completa.

R
T rig(x)dx
R
12.8. Usar Teorema del Residuo para: T rig(x)dx
R
Decimos
T rig(x)dx para referirnos a:
R

cos (x) dx
R

sin (x) dx
Estan son conocidas como Integrales de Furier, porque las vemos de manera muy comn
en estas aplicaciones.
Ve esto:
Z Z Z
ix
f (x)e dx = f (x) cos (ix) dx + i f (x) sin (ix) dx


R
T rig(x)dx
12.8.1. Ejemplo
R x
Calcule 0
sin (x) dx
x2 +9
Solucin:
Lo primero que hay que ver es que como es par entonces:
Z
1
Z
x x
2+9
sin (x) dx = 2+9
sin (x) dx
0 x 2 x
x R R x
As que primero calculemos sin (x) dx o aun ms general 2

eiz dx
+9 x2 x +9
Recuerda que haremos que el semicrculo tienda a infinito :D
I Z R Z
z x z
2
eiz dz = 2
eix dx + eiz dz
C z +9 R x +9 CR z2 +9
Z R
x
= eix dx
R x2 + 9
= (2i)[Res(f (z)eiz , 3i)]
e3
= (2i)[ ]
2

= i
e3
Ahora:
Z Z Z
x x x
eix dx = cos (x) dx + i sin (x) dx = 3 i
x2 + 9 x2 + 9 x2 + 9 e
x R
Ahora igualemos la parte imaginaria y vemos que sin (x) dx = 3

x2 + 9 e
R x
Ahora solo recuerda lo primero que dijimos y vemos que: 0 sin (x) dx = 3
x2 + 9 2e

Captulo 12. Residuos 12.9. Recordatorio de las Integrales de Contorno
12.9. Recordatorio de las Integrales de Contorno

Ve que si hubiera Polos dentro del plano real (c1 , c2 , . . . , cn ) (cosa que no consider) en
las aplicaciones anteriores tenemos que tendremos que hacer una integral identada:
Z n
X
lm f (z)dz = (i) Res(f (z), ci )
r0 Cr i=1
Es decir, si tienes Polos en la lnea real, entonces al aplicar el Teorema del Residuo
tendrs
Pn que:
(i) i=1 Res(f (z), ci ) + (2i) ni=1 Res(f (z), zi )
P
Donde c1 , c2 , . . . , cn son polos reales y z1 , z2 , . . . , zn son polos complejos

Anal Is Is Comple

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Anal Is Is Comple

Transféré par

Droits d'auteur :

Formats disponibles

Proyecto Compilando Conocimiento

Una Pequea (Gran) Introduccin

1. Cosas que Debes Recordar 6

3.7.2. Producto Cruz . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

4. Forma Polar y Argumentos 24

5. Forma Exponencial de Euler 30

II Funciones y Clculo Complejo 37

Compilando Conocimiento 2 Ve al ndice

8.1.1. Definicin Formal . . . . . . . . . . . . . . . . . . . . . . . . . . 44

III Series Complejas y Residuos 64

Oscar Andrs Rosas 3 Ve al ndice

11.3. Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Compilando Conocimiento 4 Ve al ndice

Cosas que Debes Recordar

1.1. Heaviside: Tips para Fracciones Parciales

Si son factorizaciones diferentes

Entonces la respuesta sern una serie de constantes:

Entonces tenemos que:

Si tiene factorizaciones repetidas

Oscar Andrs Rosas 7 Ve al ndice

Y de manera analoga podemos decir que:

Compilando Conocimiento 8 Ve al ndice

Y de manera analoga podemos decir que:

Oscar Andrs Rosas 9 Ve al ndice

1.2. Funciones Trigonometricos

1.2.1. Evaluacin Rpida

1.2.2. Identidades Importantes

cos (a b) = cos (a) cos (b) sin (a) sin (b)

sin (a b) = cos (a) sin (b) sin (a) cos (b)

Compilando Conocimiento 10 Ve al ndice

2.1. Definicin de Nmeros Complejos

Podemos usar la notacin a + bi, a + ib y (a, b) de manera intercambiable (pero perso-

2.2. Definiciones Utiles

Parte Real: Considere el complejo z = a+bi C, entonces decimos que Re(z) =

Parte Imaginaria: Considere el complejo z = a + bi C, entonces decimos que

Compilando Conocimiento 12 Ve al ndice

3.1. Operaciones Bsicas

Definicin 3.1.1 (Suma de Complejos)

z1 + z2 = (a1 + a2 ) + (b1 + b2 )i (3.1)

Definicin 3.1.2 (Resta de Complejos)

z1 z2 = (a1 a2 ) + (b1 b2 )i (3.2)

Definicin 3.1.3 (Multiplicacin de Complejos)

z1 z2 = (a1 + b1 i)(a2 + b2 i) = (a1 a2 + b1 b2 i2 ) + (a1 b2 + b1 a2 )i

Definicin 3.1.4 (Divisin de Complejos)

Compilando Conocimiento 14 Ve al ndice

3.2. Elemento Identidad

Denotamos a 1 = 1 + 0i como el elemento identidad multiplicatica, ya que se

3.3. Inverso Multiplicativo

Gracias a lo anterior podemos escribirlo de distintas maneras:

Con Magnitudes y Conjugados:

Oscar Andrs Rosas 15 Ve al ndice

3.4. Campo de los Complejos

Definicin 3.4.1 (Ley Aditiva Asociativa)

z1 , z2 , z3 C, (z1 + z2 ) + z3 = z1 + (z2 + z3 ) (3.7)

Definicin 3.4.2 (Ley Aditiva Conmutativa)

Definicin 3.4.3 (Elemento Indentidad Aditivo)

Definicin 3.4.4 (Existen Inversos Aditivos)

Definicin 3.4.5 (Ley Distributiva)

z1 , z2 , z3 C, z1 (z2 + z3 ) = (z1 z2 ) + (z1 z3 )

Definicin 3.4.6 (Ley Multiplicativa Asociativa)

Definicin 3.4.7 (Ley Multiplicativa Distributiva)

z1 , z2 , z3 C, (z1 z2 ) z3 = z1 (z2 z3 ) (3.13)

Definicin 3.4.8 (Elemento Indentidad Multiplicativo)