An alisis Complejo

Milton Torres
2013
Captulo 1
N umeros Complejos
Denici on 1.1 La expresi on de la forma a+bi, donde a, b R e i =

1 se llama n umero
complejo, i es la unidad imaginaria. Adem as a es la parte real y b es la parte imaginaria.
El conjunto de los n umeros complejos se denota C:
C = {a + bi/a, b R}
Proposicion 1.1 Sean a + bi y c + di C entonces:
1. (a + bi) (c + di) = (a c) + (b d)i
2. (a + bi)(c + di) = (ac bd) + (ad + bc)i
3.
a + bi
c + di
=
ac + bd
c
2
+ d
2
+
bc ad
c
2
+ d
2
Introducimos tres funciones en el conjunto de los C:
Re : C R; Re(a + bi) = a Parte real
Im : C R; Im(a + bi) = b Parte imaginaria
z : C C; a + bi = a bi; Conjugada
Proposicion 1.2 Sean z = a + bi; w = c + di en C, entonces:
1. z = z
2. zz = a
2
+ b
2
3. z + w = z + w
4. zw = z w
5. Re(z) =
1
2
(z + z)
6. Im(z) =
1
2i
(z z)
1
7. Re(z + w) = Re(z) + Re(w)
8. Im(z + w) = Im(z) + Im(w)
9.
1
z
=
1
a
2
+ b
2
z
Proposicion 1.3 Sean z, w C. Ademas |z| =

a
2
+ b
2
, entonces:
1. |Re(z)| |z|
2. |Im(z)| |z|
3. |z + w| |z| +|w| Desigualdad triangular
4. |z| |Re(z)| +|Im(z)|
1.1. Representaci on Polar de los n umeros complejos
Denici on 1.2 Todos los n umeros complejos z = a+bi tienen la forma z = |z| (cos + i sin );
donde: |z| =

a
2
+ b
2
y es un angulo o momento de z, [0, 2].
Teorema 1.1 Sean z, w C; z = r
1
(cos
1
+ i sin
1
); r
1
0,
1
[0, 2]
w = r
2
(cos
2
+ i sin
2
); r
2
0,
2
[0, 2]. Entonces:
zw = r
1
r
2
[cos(
1
+
2
) + i sin(
1
+
2
)]
z
w
=
r
1
r
2
cos(
1

2
) + i sin(
1

2
)]
z
n
= r
n
1
[cos(n
1
) + i sin(n
1
)] Formula de Moivre
n

z =
n

r
1
_
cos
_

1
+ 2k
n
_
+ i sin
_

1
+ 2k
n
__
donde k = 0, 1, . . . , n-1
1.2. Argumento
Sea z = r(cos + i sin ); donde es el argumento.
arg : C R
arg(z) =
Denici on 1.3 Los intervalos de la funci on argumento se llaman ramas.
Proposicion 1.4 Sean z
1
, z
2
C.
1. arg(z
1
z
2
) = arg(z
1
) + arg(z
2
)
2. arg
_
z
1
z
2
_
= arg(z
1
) arg(z
2
)
2
Captulo 2
Sucesiones y Series complejas
2.1. Sucesiones complejas
Denici on 2.1 La funci on z : N C se llama sucesion compleja. Por conveniencia la
notaremos como Z
n
.
Denici on 2.2 La sucesi on compleja Z
n
converge si hay un z C tal que para todo > 0
hay un n umero natural n
0
tal que para todo n > n
0
|z
n
z| <
En este caso decimos que Z
n
converge a z.
lm
n
Z
n
= z
Si Z
n
no es convergente se llama divergente
lm
n
Z
n
=
Teorema 2.1 Sean Z
n
una sucesion compleja con el lmite z, entonces:
lm
n
Z
n
= z
si y solo si lm
n
Re(Z
n
) = Re(z) y lm
n
Im(Z
n
) = Im(z)
2.2. Series complejas
Denici on 2.3 Sea Z
n
una sucesion compleja
S
n
= z
1
+ z
2
+ . . . + z
n
Si S
n
tiene un lmite (como una sucesi on) se dice que la suma innita
z
1
+ z
2
+ . . . + z
n
=

n=1
Z
n
existe y su valor es lm
n
S
n
3
2.3. Series de Potencias
Denici on 2.4 Sea
n
una sucesion compleja y C. La serie de la forma

n=0

n
(z )
n
se llama serie de potencias alrededor de
Denici on 2.5 El dominio D C y z D para que la serie

n
(z )
n
sea convergente
se llama dominio de convergencia.
Teorema 2.2 Sea

n
(z )
n
una serie de potencias. Entonces el dominio de convergen-
cia puede ser:
1. D = {}
2. D = {z C : |z | < }
3. D = C
Denici on 2.6 El n umero del teorema anterior se llama radio de convergencia de la
serie de potencias.
Teorema 2.3 (Teorema de Hadamard)
=
1
lmsup
n
_
|
n
|
Teorema 2.4 Sea > 0 el radio de convergencia de la series de potencia

n=0

n
(z )
n
:= f(z)
Entonces la funcion f es innitamente derivable en el mismo dominio D y
f
(k)
(z) =

n=0
n(n 1) (n k + 1)(z )
nk
; k = 1, 2, . . . z D
4
Captulo 3
Funciones continuas en espacios
metricos
Denici on 3.1 f : x y; X e Y son espacios metricos. x X, f es continua en el punto
x si para cualquiera sucesi on (X
n
) tal que X
n
x tenemos f(X
n
) f(x).
Teorema 3.1 Sea f : X Y . Las siguientes proposiciones son equivalente:
1. f es continua.
2. Si A Y es abierto, entonces f
1
(Y ) X es abierto.
3. Si A Y es cerrado, entonces f
1
(Y ) X es cerrado.
Teorema 3.2 Sea f : X Y es una funcion continua entre los espacios metricos X e Y .
Entonces:
1. Si A X es compacto, entonces f(A) Y es compacto.
2. Si A X es conexo, entonces f(A) Y es conexo.
3.1. Diferenciabilidad
Denici on 3.2 f : E C C. f es diferenciable en el punto x int(E), si
lm
h0
f(x + h) f(x)
h
existe. Utilizaremos el smbolo f

(x).
Denici on 3.3 Si D C, D = , D es abierto y conexo, se llama dominio.
Denici on 3.4 f : D C C tal que D es un dominio y suponemos que f es diferenciable
en todo x D. En este caso f se llama analtica.
A(D) := {f : D C C|f es analitica en D}
5
Teorema 3.3 (Ecuaciones de Cauchy-Riemann) Sea f : D C C; f A(D), y sea
u(x, y) := Re f(x + iy)
v(x + iy) := Im f(x + iy)
Ademas sea z = x + iy D.
La funcion f es diferenciable si y solo si
u
x
(z) =
v
y
(z) y
u
y
(z) =
v
x
(z)
3.2. Funcion Exponencial
Denici on 3.5 La funcion exponencial (compleja) se dine por:
e
z
= exp(z) =

n=0
z
n
n!
es valida para todo z C.
Teorema 3.4 Para la funci on exp : C C se cumple la identidad exp(z+w) = exp(z) exp(w);
z, w C
Teorema 3.5 (Teorema del binomio)
(x + y)
n
=
n

k=0
_
n
k
_
x
k
y
nk
Teorema 3.6 No existe un z C para que exp(z) = 0; la ecuaci on exp(z) = 0 no tiene
soluci on.
Teorema 3.7 Sea z = x + iy la parte real e imaginaria de exp : C C son:
Re[exp(z)] = exp(x)

n=0
(1)
n
(2n)!
y
2n
Im[exp(z)] = exp(x)

n=0
(1)
n
(2n + 1)!
y
2n+1
Denici on 3.6 Denimos dos funciones:
Re[exp(z)]
exp[Re(z)]
y
Im[exp(z)]
exp[Re(z)]
se llaman coseno y seno
respectivamente:
cos(z) = exp(x)

n=0
(1)
n
(2n)!
z
2n
sin(z) = exp(x)

n=0
(1)
n
(2n + 1)!
z
2n+1
6
Corolario 3.1
exp z = e
x
(cos y + i sin y)
exp iy = cos y + i sin y = 1
F ormula de Euler: exp(i) = 1
Teorema 3.8 Se denen:
sin z =
e
iz
e
iz
2i
cos z =
e
iz
+ e
iz
2i
sinh z =
e
z
e
z
2
cosh z =
e
z
+ e
z
2
Adem as las siguientes identidades:
sin(w + z) = sin z cos w + cos z sin w
cos(w + z) = cos z cos w + sin z sin w
cos(i) = cosh
3.3. Funcion Logaritmo
Denici on 3.7 La funcion logaritmo se dene como
log
k
w = log |w| + i arg w + 2k
k Z y w C {0}.
Teorema 3.9 log

z =
1
z
; z C.
Teorema 3.10 Si z B(1, 1), entonces la funci on log tiene la serie de potencias
log z =

n=1
(1)
n+1
n
(z 1)
n
Serie de Mercator:
log(1 + z) =

n=1
(1)
n+1
n
z
n
7
Corolario 3.2
log(2) =

n=1
(1)
n+1
n
Teorema 3.11 Sea z, w C la ecuacion
log zw = log z + log w
si Re(z) > 0, Re(w) > 0 y Re(zw) > 0.
3.4. Potencia Generales
Denici on 3.8 Sea z, w C, z = 0
z
w
x
:= exp (wlog
x
z)
8
Captulo 4
Integrales de lnea
4.1. Curvas en el plano complejo
Denici on 4.1 : [a, b] R C continua se llama curva compleja.
Denici on 4.2 Una curva : [a, b] C se llama lisa si C

[a, b], es decir, al conjunto

de las funciones innitamente diferenciables.
4.2. Longitud de Arco
: [a, b] C
a = t
0
< t
1
< t
2
< . . . < t
n
= b
Se llama particion del intervalo [a, b].
Sea P[a, b] el conjunto de las particiones del intervalo [a, b] y sea P P[a, b] entonces
T(, P) =
n

i=1
|(t
i
) (t
i1
)|
Denici on 4.3 La longitud de la curva es
V () = sup{T(, P)| p P[a, b]}
Si V () < decimos que es recticable.
BV [a, b] = { : [a, b] C| es rectificable}
Teorema 4.1 Sea BV [a, b], entonces
V () =
_
b
a
|(t)| dt
Denici on 4.4 Si : [a, b] C es una curva, su orientaci on contraria es la curva:
()(t) = (a + b t)
es cerrada si (a) = (b).
es simple si es inyectiva.
9
4.3. Integral de lnea
Denici on 4.5 Sea f : A C C continua y : [a, b] R C es una curva recticable.
La integral del lnea de f con es denida por la integral de Riemann-Stieltjes
_

f(z) dz =
_
b
a
(f )
(t)
d
(t)
Teorema 4.2 Sea f : A C C continua y : [a, b] C recticable tal que ([a, b]) A.
Entonces
1.
_

f(z) dz =
_

f(z) dz
2.
_

(f(z) + g(z)) dz =
_

f(z) dz +
_

g(z) dz
3.
_

f(z) dz =
_

f(z) dz
Teorema 4.3 La siguiente aproximaci on es v alida: |
_

f(t) dt| V () sup |f(z)| con z

([a, b])
Teorema 4.4 Sea f : D C C es una funci on. Supongamos que f tiene una funci on
primitiva f : F

= f.
Adem as : [a, b] C, ([a, b]) D. Entonces
_

f(z) dt = F(
(b)
) F(
(a)
)
Si es cerrada entonces
_

f(z) dt = 0.
4.4. Teorema de Cauchy
D C, f : D C, f A(D), es una curva cerrada y simple. Entonces
_

f(z) dt = 0.
Teorema 4.5 Sea f : D C es una funci on. Sea T un tri angulo con puntos d
1
, d
2
, d
3
y
T
es la curva que conecta los puntos d
1
, d
2
, d
3
. Entonces
_

T
f(z) dt = 0
Lema 4.1 Si k
m
C es un conjunto compacto para todo m = 1, 2, 3, . . . y k
1
k
2
. . . y
diam(k
m
) 0. Entonces

k
m
= {} es un punto en C.
diam(k) = sup
xmk
d(x, y)
10
4.5. Teorema de Cauchy en dominios estrellados
Denici on 4.6 Sea D C un dominio (D = 0, abierto y convexo). Si hay un punto x
0
D
tal que cualquier punto x D la curva [x, x
0
] D decimos que D es estrellado; x
0
se llama
un centro de dominio.
Teorema 4.6 Si D C es un dominio estrellado y f A(D), entonces f tiene una funcion
primitiva.
Teorema 4.7 (de Cauchy) Si D C es un dominio estrellado y f A(D) y [a, b] D
es una curva simple y cerrada entonces
_

f(z) dz = 0
4.6. Teorema de Cauchy en dominios conexos simples
Denici on 4.7 Sean
0
,
1
: [a, b] C dos curvas, tal que H(t, 0) =
0
(t) y H(t, 1) =
1
(t),
entonces
0
y
1
son homotopicas.
Denici on 4.8 Sea D C dominio es nul-homotopico si existe un p D tal que
: [a, b] D. es homot opica con
p
: [a, b] {p} D. Si D es cualquier curva es
nul-homot opica o conexo simple.
Proposicion 4.1 Cualquier dominio convexo es nul-homotopico.
Proposicion 4.2 Cualquier dominio estrellado es nul-homot opico.
Teorema 4.8 (de las deformaciones) Sea D C es conexo-simple, f : A(D). Ademas
sean
0
,
1
: [a, b] D dos curvas homotopicas entonces
_

0
f(z) dz =
_

1
f(z) dz.
Teorema 4.9 (de Cauchy en dominios simples conexos) D C es conexo-simple, f :
A(D). Ademas sea : [a, b] D una curva cerrada entonces
_

f(z) dz = 0.
4.7. La formula integral de Cauchy
Denici on 4.9 Sea : [0, 1] C; (t) = a+re
2it
(t [0, 1]) utilizamos la notaci on (a, r).
Teorema 4.10 (Formula integral de Cauchy) Sea D C un dominio y f : A(D). Sea
r > 0 tal que B(a, r) D para un a D jado. Finalmente sea z B(a, r). Entonces
_
(a,r)
f(w)
w z
dw = 2if(z)
11
Teorema 4.11 (Cauchy) Si f A(B(a, R)) y 0 < r < R entonces
f
(n)
=
n!
2i
_
(a,r)
f(w)
(w z)
n+1
dw
(n=0, 1, 2, . . . ) (z B(a, R))
Corolario 4.1 Si f es analtica en un dominio (que contiene una bola abierta) es diferen-
ciable innitamente.
Teorema 4.12 (Taylor) Sea f A(B(a, R)), entonces
f(z) = f(a) +

n=1
f
(n)
(a)
n!
(z a)
n
donde z B(a, r).
Denici on 4.10 Los coecientes
f
(n)
n!
se llaman coecientes de Taylor y las series

n=0
f
(n)
(a)
n!
(z a)
n
= f(a) +

n=1
f
(n)
(a)
n!
(z a)
n
se llama serie de Taylor.
F ormula de Binet: Sea z =
1

5
2
es el n umero de oro.
F
n
=
1

5
_
2
1

5
_
n

_
2
1 +

5
_
n
n = 0, 1, . . .
4.8. Series de Laurent
Teorema 4.13 (Laurent) Sea f A(B(a, R) {a}). Entonces
f(z) =

n=
a
n
(z a)
n
,
donde
a
n
=
1
2i
_
(a,r)
f(w)
(w a)
n+1
dw
(n Z, 0 < r < R)
12
Denici on 4.11 Los coecientes
a
n
=
1
2i
_
(a,r)
f(w)
(w a)
n+1
dw
se llaman coecientes de Laurent.
Denici on 4.12 La funcion
f(z) =

n=1
a
n
(z a)
n
,
se llama parte principal de f(z). (Siempre dependiente del punto a)
4.9. Clasicaci on de Singularidades
Denici on 4.13 Sea D C un dominio
f : D \ {} C
Si f no es analtica en , pero es analtica en D \ {}, decimos que f es singular en y
es una singularidad de f.
Denici on 4.14 Si f A(D \ {}), entonces f tiene una expansion de Laurent alrededor
de
f(z) =
1

n=
a
n
(z )
n
. .
parte principal

n=0
a
n
(z )
n
1. Si a
1
= 0, pero a
2
= a
3
= . . . = 0 decimos que f tiene una singularidad evitable
en .
2. Si hay un n
0
> 1 tal que a
n
0
= 0 si n > n
0
decimos que f tiene una singularidad de
orden n en el punto .
3. Si hay innitos n tales que a
1
= 0, entonces f tiene una singularidad esencial en
.
4.10. La denicion de ceros en una funci on analtica
Denici on 4.15 La funcion f : D C C tiene un cero en el punto D si f() = 0.
Denici on 4.16 El cero D de f tiene multiplicidad n si f() = 0, f

() = 0, . . . ,
f
(n1)
() = 0 y f
(n)
() = 0.
Teorema 4.14 Si f A(D) y D es un cero con multiplicidad n, entonces hay una
funci on g A(D) tal que g() = 0 y f(z) = (z )
n
g(z).
13
4.11. La conexi on entre los ceros y la singularidad
Teorema 4.15 Sea f : D\{} C C es analtica en D\{}. La siguientes proposiciones
son ciertas:
1. Si f tiene una singularidad con orden n en el punto , entonces
1
f
tiene un cero en el
punto con multiplicidad n.
2. Si f tiene un cero en con multiplicidad n, entonces
1
f
tiene una singularidad de orden
n en .
14