Def Sea Ω ⊆ C un abierto, f : Ω → C se dice holomorfa en CorolarioR Sea f : D → C continua tal que ∀R ⊆ D rectángu-

z0 ∈ Ω si existe lo cumple ∂R f dz = 0. Entonces ∃F : D → C holomorfa con

f (z0 + h) − f (z0 ) F0 = f.
lı́m
h→0 h Prop Sea f : D → C holomorfa en el disco D y γ una curva
Obs Podemos identificar C con R2 cerrada recorrida en sentido antihorario, entonces
f (z) = u(z) + iv(z) ←→ f (x, y) = (u(x, y), v(x, y) donde Z
u, v : Ω → R, luego f : Ω ⊆ R2 → R2 tiene derivada si existe f dz = 0
Jf (x, y) lineal tal que γ

Teorema Sea f holomorfa en Ω y D̄ ⊆ Ω. Sea C la frontera

|f ((x, y) + h) − f (x, y) − Jf (x, y)h|
lı́m =0 de D parametrizada en sentido antihorario. Entonces
khk→0 khk Z
1 f (ξ)
Prop Si f es holomorfa en z0 , entonces f se puede definir f (z) = dξ ∀z ∈ D
2 2
2πi C ξ − z
como función de R → R y
Prop Si f : Ω → C es continua y γ una curva, entonces
Ref 0 (z0 ) −Imf 0 (z0 )
 
Z 
Jf (x, y) = 0 0  
Imf (z0 ) Ref (z0 )  f dz  ≤ |γ| sup
  |f (z)|
γ z∈γ
Prop Sea f : Ω → C holomorfa, con f (x + iy) = u(x, y) + R
iv(x, y). Entonces se satisfacen las condiciones de Cauchy Rie- con |γ| = γ |dz| el largo de la curva.
mann: Corolario Sean fn : Ω → C continuas con fn −−−−→ f unif.
n→∞
∂u ∂v ∂u ∂v en γ, una curva. Entonces
= ; =−
∂x ∂y ∂y ∂x Z Z
n
P
Teorema Sea f (z) = n≥0 an z . Definimos su radio de con- lı́m fn dz = f dz
n γ γ
1√
vergencia por R = . Además se tiene que
limsup n |an |
Teorema Sea f holomorfa en Ω y D̄ ⊆ Ω. Sea C la frontera
(I) |z| < R ⇒ f converge. de D parametrizada en sentido antihorario. Entonces f ∈ C∞
(II) |z| > R ⇒ f no converge. y Z
(n) n! f (ξ)
En |z| = R no se sabe, y si R = 0 f sólo converge para f (z) = dξ ∀z ∈ D
z = 0. 2πi C (ξ − z)n+1
Teorema Sea f holomorfa en Ω y D un disco centrado en z0
Teorema Sea f (z) = n≥0 an z n con radio de conv. R > 0.
P
con D̄ ⊆ Ω. Entonces f tiene expansión en serie de potencias
Entonces f es holomorfa en B(0, R) y además
alrededor de z0 , que converge en D.
P∞ n 1
n=0 z = 1−z , ∀|z| < 1
X
f 0 (z) = nan z n−1 Obs
R
n≥1 Teorema Sea f : D → C continua con ∂R f dz = 0, ∀R ⊆ D
rectángulo. Entonces f es holomorfa.
Prop Sea f (z) = n≥0 an z n con radio de conv. R > 0. Si
P
existe zn → z0 con f (zn ) = 0, ∀n ∈ N, entonces an = 0 ∀n ≥ 0. Teorema Sean fn : Ω → C holomorfas tal que fn − −−−→ f
n→∞
Sea γ ⊆ Ω una curva con Ω abierto, y f : Ω → C continua. uniformemente en cada compacto de Ω. Entonces f es holomor-
Definimos: fa y fn0 −−−−→ f 0 uniformemente en cada compacto de Ω.
Z Z b n→∞

f (z)dz := f (z(t))z 0 (t)dt

γ a Obs Esto implica convergencia de todas las derivadas.
donde z(t) es una parametrización suave por partes de γ. Teorema (Criterio de Weierstrass) Sea fk (z) una sucesión
0 dePfunciones continuas en una regiónPD, si |fk (z)| ≤ Mk ∀z ∈ D
Obs Si ∃F holomorfa con F = f , decimos que F es primitiva ∞ ∞
y k=1 Mk < ∞ entonces f (z) = k=1 fk (z) es una función
de f y se cumple que ∀γ curva cerrada:
continua y converge uniformemente en D.
Z
f (z)dz = 0 Teorema (Principio del Módulo Máximo) Sea Ω abierto
γ
conexo, f : Ω → C holomorfa, entonces |f | no tiene máximos
Prop Sea f : D → C holomorfa en el disco D y sea R ⊆ D un locales a menos que f sea cte.
rectángulo cerrado. Si γ = ∂R recorrida en sentido antihorario,
Z Prop (Lema de Schwartz) Sea f : D(0, 1) → D(0, 1) holo-
f dz = 0 morfa, f (0)=0. Entonces:
γ
1) |f (z)| ≤ |z| ∀z ∈ D
Y esto también es cierto para contornos de juguete dentro de
D. 2) ∃z0 6= 0 tq |f (z0 )| = |z0 | => f (z) = z(e)iθ
Obs Si f es holomorfa y z ∈ Ω, entonces f (z) = f (z0 ) + 3) |f 0 (0)| ≤ 1, si |f 0 (0)| = 1 => f (z) = z(e)iθ
f 0 (z0 )(z − z0 ) + φ(z − z0 ), con φ(z−z0)
z−z0 −−−→ 0
z→z0
Prop Sea f : C → C holomorfa con |f | acotado, entonces f es
Corolario Sea f : D → C holomorfa en el disco D. Entonces constante
∃F : D → C holomorfa con F 0 = f .
 N
X Sea f : Ω → C holomorfa, excepto en {z1 , ·, zk } Polos D̄ ∈
Corolario Todo polinomio p(z)= an z n con an ∈ C tiene
Ω, z1 , ·, zk ∈ D. Entonces
j6=0 Z k
al menos una raı́z en C f (z)(d)z = 2πi
X
Resf
∂D z=zj
j=1
Teorema Sea F : Ω × [0, 1] → C, Ω abierto, tq:
Prop Sea f : D \ {z0 } → C holomorfa y acotada, entonces
1) F (z, s) es holomorf a en z, ∀s ∃g : D → C holomorfa tal que g = f en D \ {z0 }. A z0 se le
llama singularidad removible.
2)F continua en Ω × [0, 1]
Definición. Se dice que f tiene una singularidad en z0
Entonces: si f es holomorfa en una “vecindad perforada”
Z b
f (z) = F (z, s)ds V = {z ∈ C : 0 < |z − z0 | < r} de z0 (para algún
a r > 0), pero no es holomorfa en z0 . Observe que f debe
es holomorfa. ser discontinua en una singularidad aislada.
Clasificación de una singularidad aislada. Sea f
Prop Sea f : Ω → C holomorfa, f se extiende de manera con una singularidad aislada en z0 .
continua a {Ω ∩ Im(z) = 0} = I y f (z) ∈ R ∀z ∈ I, si Ω = • Si existe una función g, holomorfa en z0 y tal que
{z ∈ C : z ∈ Ω} entonces, f (z) = g(z) ∀ z en alguna vecindad perforada de z0 ,
 decimos que f tiene una singularidad removible en
 f (z) si
 z∈Ω z0 .

• Si para z 6= z0 , f puede ser escrito en la forma


f (z) = f (z) si z ∈ Ω ∩ I f (z) = A(z)/B(z) donde A y B son holomorfas en z0 ,

A(z0 ) 6= 0, y B(z0 ) = 0, diremos que f tiene un polo en



f (z) si z∈Ω

z0 . (Si B tiene un cero de orden k en z0 , diremos que f
tiene un polo de orden k).
Corolario Sea f : Ω → C holomorfa, Ω simetrico c/r al eje • Si f no tiene ni una singularidad removible ni un polo
Im(z)=0, i.e. z ∈ Ω ⇐⇒ z ∈ Ω, tal que Ω ∩ Im(z) = 0 ⊇ I , en z0 , diremos que f tiene una singularidad esencial
I intervalo abierto con onterior no vacı́o y f (z) ∈ R ∀z ∈ R. en z0 . Notar que esto es equivalente a que ∀ m ∈ N,
lı́m (z − z0 )m f (z) no existe.
z→z0
entoncesf (z) = f (z)
Principio de las singularidades removibles de Rie-
Def Sea f : Ω ∈ C, diremos que z0 es una singularidad aislada mann.
de f si existe δ > 0 tal que Si f tiene una singularidad en z0 y si lı́m (z − z0 )f (z) =
z→z0
0, entonces la singularidad es removible.
fD(z0 ,δ)\z0
Corolario. Si f es acotada en una vecindad perforada
es holomorfa de una singularidad aislada, la singularidad es removible.
Teorema. Si f es acotada en una vecindad perforada de
Def Sea f : Ω → C, diremos que una singularidad aislada z0
z0 y si existe un entero positivo k tal que
es un polo si 1/f definida como 0 en z = z0 es holomorfa en
una vecindad de z0 lı́m (z−z0 )k f (z) 6= 0, pero lı́m (z−z0 )k+1 f (z) = 0,
z→z0 z→z0
Prop Si f : Ω → C holomorfa tiene un polo en z0 , entonces
entonces f tiene un polo de orden k.
existe una función holomorfa h(z) única y un n ≥ 1 único tal
que: Teorema de Casorati-Weierstrass
f (z) = (z − z0 )−n h(z) Sea U un abierto de C, z0 ∈ U y f : U \ {z0 } → C
una función holomorfa. Si f tiene una singularidad esen-
donde n se denomina el orden del polo y si n = 1 el polo se dice cial en z0 , entonces para cualquier vecindad V de z0 con
simple. V ⊆ U se tiene que f (V \ {z0 }) es denso en C.
Prop Si f tiene un polo de orden n en zo , entonces:
Definición. Diremos que f tiene una singularidad (esen-
cial, polo o removible) en infinito si f z1 tiene singula-


a−n a−1
f (z) = + ··· + + G(z)
(z − z0 )n (z − z0 ) ridad (esencial, polo o removible) en 0.
Donde G(z) es holomorfa en una vecindad de z0 Definición. f : C → C se dirá meromorfa en el plano
Def Sea zo polo de orden n de f holomorfa, a−1 se le denomina extendido si:
Resf i) f es holomorfa en |z| > M .
z=z0
1 dn−1 ii) z = ∞ es singularidad no esencial de f .
Prop Tenemos que a−1 = lim n−1 ((z − z0 )n f (z))
z→zo (n−1)! dz
Teorema. Todas las funciones meromorfas en el plano
Teorema (De los Residuos) Sea f : Ω → C holomorfa, con extendido son racionales.
Ω abierto que contiene a un disco D \ {z0 } excepto en el polo
zZo ∈ D. Entonces Teorema de la Aplicación Abierta. Si f es holomor-
fa y no constante en una región Ω, entonces f es una
f (z)(d)z = 2πiResf aplicación abierta.
∂D z=z0
Teo. Principio del Argumento. Supongamos que γ Definición. Sea γ curva suave por pedazos, cerrada y
es una curva regular cerrada. Si f es meromorfa dentro a ∈ C \ γ. Se define el ı́ndice de un punto con respecto
y sobre γ y γ no contiene ceros ni polos, y si a la curva γ como:
Z
Z = número de ceros de f dentro de γ (con multiplicidad), 1 1
n(γ, a) = dz
2πi γ z − a
P = número de polos de f dentro de γ
Z 0
1 f Prop. n(γ, a) ∈ Z
∴ = Z − P.
2πi γ f Prop. γ1 , γ2 curvas cerradas y homótopas en Ω, a ∈
/Ω
Teo. Teorema de Rouché. Supongamos que f y g son ⇒ n(γ1 , a) = n(γ2 , a).
holomorfas dentro y sobre una curva regular cerrada γ y Teorema. Sea Ω simplemente conexo y γ curva cerrada
que |f (z)| > |g(z)|, ∀ z ∈ γ. Entonces (z ∈ γ). Sea f holomorfa en Ω, entonces

Z(f + g) = Z(f ) dentro de γ.

Z
1 f (w)
f (z)n(γ, z) = dw
2πi γ w − z
Definición. Dos curvas γ0 , γ1 con los mismos puntos fi-
nales son homotópicas en Ω, si existe F : [0, 1]×[a, b] → Prop Sea f holomorfa en D(z0 , r) \ {z0 }. La expansión
Ω continua tq ∀ 0 ≤ s ≤ 1 γs (·) = F (s, ·) es una cur- de f en serie de Laurent en torno a z0 está dada por:
va suave por pedazos, γs (a) = γ0 (a), γs (b) = γ0 (b) y I
γs (·) s=0 = γ0 γs (·) s=1 = γ1 1 X n f (w)
f (z) = z dw
2πi γ (w − z0 )n+1
Definición. Diremos que Ω abierto es simplemente n∈Z
conexo si todo par de curvas con los mismos puntos
finales son homotópicas Def Una función u(x, y) : D → R que es de clase C 2 y
que satisface la ecuación de Laplace uxx + uyy = 0 en D,
Teorema. Si f es holomorfa en Ω y γ0 y γ1 son ho-
se dice armónica en D.
motópicas entonces
Z Z Teo Si f = u + iv es holomorfa en D, entonces u y v son
f (z)dz = f (z)dz armónicas en D
γ0 γ1
Teo Si u es armónica en D, entonces
Teorema. Si f es holomorfa en una región Ω simple- (I) ux es la parte real de una función holomorfa en D
mente conexo, entonces existe una primitiva F , analı́tica
en Ω y tal que F 0 = f . (II) si D es simplemente conexo, u es la parte real de
una función holomorfa en D.
Teorema General de la curva cerrada. Si f es una
función analı́tica en una región Ω simplemente conexo y Teo Si u es armónica en r1 < |z| < r2 , con r1 ≥ 0, r2 ≤
C es una curva suave cerrada contenida en Ω. Entonces ∞, entonces ∃A, B :
Z Z 2π
f (z) dz = 0. 1
u(reiθ )dθ = A + Blog(r)
C 2π 0
Definición. Se dice que f es una rama analı́tica del y si u es armónica en un disco, B = 0 y A = u(0).
logaritmo en Ω si:
Teo del Valor Medio para Funciones Armónicas.
(i) f es analı́tica en Ω. (ii) e f (z)
=z ∀ z ∈ Ω. Si u es armónica en D(z0 , R),
Z 2π
1
Teorema. Sea Ω un conjunto simplemente conexo y tal u(z0 ) = u(z0 + reiθ ) dθ, ∀ r < R positivo
2π 0
que 0 ∈/ Ω. Escogiendo z0 ∈ Ω, supongamos que ρ0 ∈ C
es tal que eρ0 = z0 . Entonces la función: Teo del Módulo Máximo para Funciones Armóni-
Z z
dξ cas Si u es una función armónica no constante en una
f (z) = + ρ0 región D, u no tiene puntos máximos o mı́nimos en D.
z0 ξ
Def El término C-armónico se refiere a una función que
es una rama analı́tica de log z en Ω. es armónico en el interior del dominio y continuo sobre
Definición. La rama principal del logaritmo es la clausura.
la que se obtiene del Teorema anterior tomando Ω = Cor Una función C-armónica en un dominio compacto
C \ (−∞, 0], z0 = 1, ρ0 = 0. Denotando a esta rama por asume su valor máximo y mı́nimo sobre la frontera del
Log(·), tenemos: dominio.
Log(z) = log(|z|) + i arg(z) con arg(z) ∈ (−π, π) Cor Si dos funciones u1 , u2 C-armónicas coinciden sobre
la frontera de un dominio compacto D, entonces u1 = u2
Sea D ⊆ C un dominio (abierto conexo) en todo D.
Teorema Fórmula Integral de Poisson. Teo.8 Mitagg - Leffer: Descomp. en fracc. parcia-
Sea u C-armónica en D(0, 1), entonces les
Z 2π Sea f meromorfa en C con polos {bn }n , |bn | −−−−→ ∞.
1 n→∞
u(z) = u(eiθ )K(θ, z) dθ 1
Sea el polinomio Pn ( z−b ) la parte singular de la expan-
2π 0 n
sión de Laurent de f en torno al polo bn . Entonces
donde K(θ, z) es el Kernel de Poisson, y dado z = reiϕ
∞    
X 1
− qn (z) + g(z)
 iθ
1 − r2 f (z) = Pn

e +z
K(θ, z) = Re iθ = n=0
z − bn
e −z 1 − 2r cos(θ − ϕ) + r2

Problema de Dirichlet Una función u es dada sobre donde qn son polinomios apropiados para garantizar la
C(0, 1) y se requiere encontrar una función armónica F conv. uniforme de la serie, y g es analı́tica en
 C. Nor-

1
en D(0, 1), cuyos valores frontera son u. malmente, qn es la expansión de Taylor de Pn z−b n
de
Teo. 6 Solución del Problema de Dirichlet. Supon- orden mn apropiado.
ga u(eiθ ) es continua sobre C(0, 1), entonces
Teo.9 Sea f entera que cumple alguna de estas 4 de-
Z 2π
1 sigualdades:
u(z) = u(eiθ )K(θ, z) dθ
2π 0
−A|z|n ≤ Ref (z) ≤ A|z|n
es la restricción a D(0, 1) de una función C-armónica en
el disco unitario cerrado con valores frontera u(eiθ ).
Teo.7 Fórmula Integral de Schwarz
Si f = u + iv es C-holomorfo en D(0, R), entonces −A|z|n ≤ Imf (z) ≤ A|z|n
Z 2π
para |z| suficientemente grande. Entonces f es un poli-
 iθ 
1 Re + z
f (z) = u(Reiθ ) dθ + i v(0). nomio de grado ≤ n.
2π 0 Reiθ − z