Sie sind auf Seite 1von 2

Resumen de An alisis Complejo.

Definiciones
Sea U C abierto, G C regi on (abierto conexo).
C(U) : funciones continuas en U : lm
za
f(z) = f(a) para todo a U.
H(U) : funciones holomorfas en U : existe lm
za
f(z)f(a)
za
= f

(a) para todo a U.


Funcion entera: holomorfa en todo C.
D(U) = {f : U C : H(U) :

= f} (f con primitivas, f que son derivadas)


N(U) = {f : U C :
_

f(z) dz = 0 U : = } (integral nula en cerradas)


N

(U) = {f : U C :
_

f(z) dz = 0 = G, G U} (integral nula en curvas de


Jordan que son bordes de regiones contenidas en U)
(U) = {f : U C :
_
T
f(z) dz = 0 tri angulo T U} (integral nula en bordes de
triangulos contenidos en U)
A(U) : funciones analticas en U : a U, {a
n
}

0
: f(z) =

n=0
a
n
(z a)
n
si z a.
M(U) : funciones meromorfas en U : cocientes de holomorfas.
Teoremas y Conceptos Centrales
Inclusiones Triviales: H(U) C(U) y N(U) N

(U) (U).
Primitivas: D(U) = N(U) (construcci on de una primitiva o potencial a partir
de la propiedad de independencia del camino). Para una regi on estrellada G se tiene
D(G) = (G) (potencial = integral a lo largo del segmento al punto base). Corolario:
(G) = N

(G) = N(G) = D(G) para regiones estrelladas.


Teorema de Goursat: H(U) (U). Goursat

: C(U) H(U \ a) (U).


Si G es estrellada, entonces H(G) (G) = N

(G) = N(G) = D(G) (toda ho-


lomorfa tiene primitiva). Corolario: existencia de logaritmos en C

\ S donde S es
una semirrecta desde 0. Corolario: H(U) D
loc
(U) : toda holomorfa tiene primitivas
locales en U (en cada disco D U).
Teora del Indice: ind

(a) =
1
2i
_

dz
za
representa el cambio neto del angulo que
hace observado alrededor del punto a. Para cerrada, toma valores enteros, es
constante en cada componente conexa de C \ , vale 0 en la componente no acotada.
Para curvas de Jordan, vale 1 en el interior y 0 en el exterior.
Homotopa: Dos curvas , : [0, 1] U con = (ambas cerradas o ambas con
extremos jos) son homotopicas en U si existe una : [0, 1]
2
U continua tal que
deniendo
s
(t) = (s, t), se tiene
0
= ,
1
= , y
s
= = para todo s.
Teorema de Cauchy: Si dos curvas son homotopicas en U y f H(U) entonces
_

f =
_

f. Corolario: si se reduce a un punto en U, entonces


_

f = 0.
Regi on simplemente conexa: aquella en la que toda curva cerrada es homot opica
a un punto. Ejemplos: las estrelladas. Intuici on: region sin agujeros o lagunas.
Toda funcion holomorfa en una region simplemente conexa tiene primitiva:
si G es simplemente conexa, H(G) N(G) = D(G). Corolario: construcci on de
logaritmos y races de funciones sin ceros en regiones simplemente conexas.
Teorema de Cauchy para regiones multiplemente conexas:
_

f =

k
_

k
f si
las curvas de Jordan
k
, son disjuntas y rodea a las demas.
Convergencia de Sucesiones y Series de Funciones: Norma uniforme: f
A
=
sup{|f(z)| : z A}. Convergencia uniforme: f
n
u
f en A signica que f
n
f
A
0.
Convergencia normal de una serie

n
f
n
en un conjunto A signica que

n
f
n

A
<
. Convergencia normal en compactos implica uniforme y absoluta en compactos, y
se puede intercambiar suma e integral.
Series Formales (Algebraicas:) C[[z]]. Manipulacion algebraica de series: suma,
resta, producto, cociente, composici on, inversi on, derivacion. Orden de una serie: si
F =

n=0
a
n
Z
n
es ord(F) = mn{n : a
n
= 0} Z
+
{}.
Radio de Convergencia: F =

n=0
a
n
Z
n
serie formal (algebraica). (F) =
1/ lmsup
n
|a
n
|
1/n
. Formula del Cociente: (F) = lm
n
|a
n
|/|a
n+1
| si el lmite existe.
Si F =

n0
a
n
Z
n
(serie algebraica) tiene radio de convergencia positivo , enton-
ces dene o representa una funci on innitamente derivable f en el disco D(a, ) por
f(z) =

n0
a
n
(z a)
n
= lm
N

0nN
a
n
(z a)
n
= SF(z a) (suma analtica).
Funciones Analticas: Son las representadas por series formales alrededor de cada
punto. Son innitamente derivables, y se tiene el Teorema de Representacion
Unica: si la serie formal F =

n0
a
n
Z
n
representa a la funcion f alrededor de
a, entonces F debe ser la serie de Taylor formal de f en a, T
a
f =

n0
f
(n)
(a)
n!
Z
n
.
Las operaciones algebraicas corresponden a las analticas: Algebra de series de
Taylor: T
a
(f + g) = T
a
f + T
a
g, T
a
(fg) = (T
a
f)(T
a
g), T
a
(1/f) = 1/T
a
f, T
a
(Df) =
D(T
a
f), T
a
(f g) = T

g(a)
f T
a
g, T

f(a)
(f
1
) = (T

a
f)
1
donde T

a
f = f(a) +T
a
f.
Teorema de Riemann: Si es una curva y es continua en , la funci on f(z) =
_

() d
z
es analtica en C \ , y para a / , los coecientes de su serie de Taylor en
a vienen dados por la f ormula integral a
n
=
_

(z) dz
(za)
n+1
.
Formula Integral de Cauchy: Si f H(U) entonces f(z) =
1
2i
_

f()
z
d para
U de Jordan con interior contenido en U y que rodea a z.
Funcion Holomorfa = Funcion Analtica: H(U) = A(U)
Teorema de Morera: (U) H(U). Corolario: (U) = H(U) (para que una
funci on sea holomorfa en U es necesario y suciente que su integral en bordes de
tri angulos contenidos en U sea nula).
H(G) = (G) = N

(G) = N(G) = D(G) para regiones simplemente conexas.


H(U) = D
loc
(U) = N

(U) para cualquier abierto.


Expansi on de Laurent y Singularidades Aisladas
Expansion de Laurent: Sea G = {z C :
mn
< |z a| <
m ax
} una corona, siendo
0
mn
<
m ax
. Si f H(G), entonces f(z) =

+
n=
a
n
(z a)
n
con a
n
=
1
2i
_

f(z) dz
(za)
n+1
, donde es una curva de Jordan en G que rodea a. Representacion
Unica: La serie anterior es la unica de tipo

nZ
b
n
(z a)
n
que representa a f.
Estimaciones de Cauchy: En las condiciones anteriores, |a
n
|
f
C(a,r)
r
n
para todo
n Z y
mn
< r <
m ax
, donde C(a, r) = {z : |z a| = r}. Como caso particular se
puede aplicar a las funciones holomorfas en un disco.
Singularidades Aisladas: Una funcion tiene singularidades aisladas en G si existe
S G sin puntos de acumulaci on en G tal que f es holomorfa en G\ S.
Orden en un punto, clasicacion: Si a es una singularidad aislada de f, f es
holomorfa en un disco reducido D

(a, r) = D(a, r) \ {a}. En tal caso f esta represen-


tada en D

(a, r) por una serie de Laurent algebraica L


a
f =

nZ
a
n
Z
n
. Se dene
ord
a
(f) = ordL
a
f = mn{n : a
n
= 0} Z {}. y se clasica a en tres casos:
1. Si ord
a
(f) = , decimos que a es una singularidad esencial.
2. Si ord
a
(f) = m, con m Z, m < 0, decimos que a es un polo de orden m.
3. Si ord
a
(f) 0 decimos que a es una singularidad evitable.
Si a es evitable, entonces se puede denir f para ser holomorfa en a, con T
a
f = L
a
f.
Las funciones meromorfas M(G) en una region G son las que tienen singulari-
dades aisladas en G, todas de tipo polo. Son asimismo los cocientes de dos holo-
morfas. Para f, g M(G) se tiene ord
a
(fg) = ord
a
(f) + ord
a
(g) y ord
a
(f + g)
mn(ord
a
(f), ord
a
(g)) con igualdad si los ordenes son distintos.
El residuo en a de una funci on f con una singularidad aislada en a es res
a
(f) = a
1
donde L
a
f =

nZ
a
n
Z
n
.
Principios y Teoremas Especiales
Teorema de Liouville: una funci on entera y acotada es constante.
Teorema Fundamental del Algebra: Todo polinomio complejo P(z) de grado n
factoriza completamente en C : P(z) = c

n
k=1
(z a
k
) siendo a
1
, . . . , a
n
sus ceros
contados con multiplicidad y c el coeciente del termino de grado n.
Principio de los Ceros Aislados: Si f H(G) no es la funcion nula, entonces el
conjunto N de ceros de f en G no tiene puntos de acumulacion en G.
Corolarios: N es numerable. Cada curva de Jordan rodea solo un n umero nito de
ceros. Los unicos puntos de acumulacion de N en C estan en la frontera G.
Principio de Identidad: Si f, g H(G) coinciden sobre un conjunto S G que
tiene un punto de acumulacion en G, entonces f = g en G. Corolario: si T
a
f = T
a
g
en un solo a G, entonces f = g en un disco alrededor de a, por tanto f = g en G.
Principio de Prolongacion Analtica: Si f es holomorfa en un subconjunto S G
que tiene un punto de acumulacion en G, existe a lo sumo una funcion holomorfa en
G que coincide con f sobre S.
Ejemplo: sen(z) es la unica funci on entera que coincide con sen x para x R.
Principio del Modulo Maximo: Si f H(G) no es constante, entonces |f| no tiene
maximos locales en G.
Principio del M odulo Mnimo: Si f H(G), los unicos mnimos locales posibles
de |f| son los ceros de f.
Principio del Argumento: Si M(G) y es una curva de Jordan que no atraviesa
ni ceros ni polos de , entonces
1
2i
_

dlog =

aG
ord
a
() =

(), donde
dlog =

/ y

() = C

() P

() siendo C

() y P

() respectivamente el
n umero de ceros y polos de en el interior G

de , contados con multiplicidades.


Teorema de Rouche: Si f, g M(G), es una curva de Jordan que no atraviesa
ni ceros ni polos de f, g, y |f + g| < |f| + |g| sobre , entonces

(f) =

(g). En
particular, si f, g son holomorfas, tienen el mismo n umero de ceros rodeados por .
Calculo de Residuos: Calcular la serie de Laurent. Si f es meromorfa, dada por
= p/q con p, q holomorfas, se puede hacer dividiendo algebraicamente las series de
Taylor de p, q. F ormula de la derivada: si f tiene un polo de orden m en a, entonces
res
a
(f) =
1
(M1)!

(M1)
z
(za)
M
f(z)|
z=a
para M m. Para polos simples: res
a
f =
(z a)f(z)|
z=a
; F ormula del cociente: Si f(z) =
p(z)
q(z)
con p(a) = 0 y ord
a
q = 1,
entonces res
a
f = p(a)/q

(a); F ormula del producto: Si f(z) tiene un polo simple en a


y h(z) es holomorfa en a, entonces res
a
hf = h(a) res
a
f.
Teorema de los Residuos:
_

f(z) dz = 2i

aG
res
a
(f) si f tiene singularidades
aisladas en G, y G es de Jordan con interior G

G y no atraviesa ninguna.
Calculo de Integrales por Residuos:
funci on racional trigonometrica:
_
2
0
R(cos , sen ) d = 2i

|a|<1
res
a
_

i
z
R
_
z +z
1
2
,
z z
1
2i
_
_
funci on racional sin polos reales:
_
+

f(x) dx = 2i

Ima>0
res
a
f
transformada de Fourier racional:
_
+

f(x) e
itx
dx = 2i
_

Ima>0
+
1
2

aR
_
res
a
(f(z) e
itz
) (t > 0)
si en los polos reales a, L
a
f(z) e
itz
solo tiene potencias negativas impares.