Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Agonzalez Variablecompleja
Agonzalez Variablecompleja
1. Funciones analı́ticas 1
1.1. Definición y propiedades algebraicas de los
números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Módulo y argumento. Fórmula de de Moivre.
Raı́ces. Conjugación. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. Fórmula de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3. Raı́ces n-ésimas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. La función exponencial, funciones trigonométricas e hiperbólicas, logarit-
mos y potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1. Función exponencial . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.2. Funciones trigonométricas e hiperbólicas . . . . . . . . . . . . . . 8
1.3.3. Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.4. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Lı́mites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1. Lı́mites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1. Ecuaciones de Cauchy–Riemann . . . . . . . . . . . . . . . . . . 13
1.5.2. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5.3. Teorema de la función inversa . . . . . . . . . . . . . . . . . . . . 16
1.5.4. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . 17
1.5.5. Funciones armónicas . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. El teorema de Cauchy 20
2.1. Integración sobre arcos: definición y
propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2. Teorema de Cauchy–Goursat. Homotopı́a.
Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.1. Homotopı́a. Teorema de Cauchy . . . . . . . . . . . . . . . . . . 26
2.3. Índice. Fórmula integral de Cauchy
y sus consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.1. Índice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2. Fórmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 27
2.3.3. Fórmula integral de Cauchy para las derivadas . . . . . . . . . . 28
2.3.4. Desigualdades de Cauchy . . . . . . . . . . . . . . . . . . . . . . 30
2.3.5. Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.6. Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . 30
i
ÍNDICE GENERAL ii
4. Cálculo de residuos 45
4.1. Métodos para el cálculo de residuos . . . . . . . . . . . . . . . . . . . . . 45
4.2. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3. Cálculo Rde integrales definidas . . . . . . . . . . . . . . . . . . . . . . . . 47
∞
4.3.1. −∞ f (x) dx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Z 2π
4.3.2. Integrales trigonométricas: R(cos θ, sen θ) dθ . . . . . . . . . 49
Z 0∞
4.3.3. Transformadas de Fourier: eiωx f (x) dx . . . . . . . . . . . . 49
Z −∞
∞
4.3.4. Transformadas de Mellin: xa−1 f (x) dx, a ∈/Z . . . . . . . . 51
0
4.4. Valor principal
Z∞ de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.4.1. f (x) log x dx, f real y par . . . . . . . . . . . . . . . . . . . 57
0
Capı́tulo 1
Funciones analı́ticas
1
CAPÍTULO 1. FUNCIONES ANALÍTICAS 2
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata
de la estructura de cuerpo que posee C:
Las ecuaciones cuadráticas con coeficientes complejos se pueden resolver utilizando
la fórmula usual:
1 p
a z 2 + b z + c = 0 ⇐⇒ z = − b ± b2 − 4ac a, b, c ∈ C.
2a
CAPÍTULO 1. FUNCIONES ANALÍTICAS 3
=⇒ Re z = 21 (z + z), Im z = 2i1 (z − z)
Propiedades:
i) z = z
ii) z + w = z + w
iii) z · w = z · w =⇒ 1/z = 1/z
iv) |z| = |z|
z
z = 0 ⇒ z− 1 =
v) zz = |z| =⇒2 |z|2
|z| = 1 ⇔ z = z −1
CAPÍTULO 1. FUNCIONES ANALÍTICAS 4
Consecuencias:
i) ||z| − |w|| ≤ |z − w|
|z| = |(z − w) + w| ≤ |z − w| + |w| =⇒ |z| − |w| ≤ |z − w| ;
cambiando z por w se obtiene |w| − |z| ≤ |z − w|.
1 1
ii) |z| > |w| =⇒ ≤
|z − w| |z| − |w|
1.2.1. Argumento
arg z = cualquiera de los ángulos orientados formados por el vector z con el eje
real positivo.
Ejemplos:
arg i ∈ {π/2 + 2 k π : k ∈ Z}
arg(−1 − i) ∈ {5π/4 + 2 k π : k ∈ Z} = {−3π/4 + 2 k π : k ∈ Z} .
CAPÍTULO 1. FUNCIONES ANALÍTICAS 5
Para que θ sea único, basta imponerle la condición adicional de que pertenezca
a un cierto intervalo semiabierto I de longitud 2π (como [0, 2π), (−π, π], etc.)
Escoger este intervalo I se conoce como tomar una determinación del argumento
=⇒ argI : C − {0} → I
Arg = arg(−π,π]
1 i −1 −1 − i −i 1− i
Ejemplo:
Arg 0 π/2 π −3π/4 −π/2 −π/4
Consecuencias:
w = 0 =⇒ w = ρ(cos ϕ + i sen ϕ)
w n = ρn cos(nϕ) + i sen(nϕ) = r(cos θ + i sen θ)
√
ρ n = r ⇔ ρ = n r ≡ 1/n
⇐⇒
r
nϕ = θ + 2kπ, k ∈ Z
√
⇐⇒ w = n
r cos θ 2kπ θ 2kπ , k = 0, 1, . . . , n − 1.
+ + i sen +
n n n n
=⇒ un número complejo no nulo tiene n raı́ces n-ésimas distintas.
Ejemplo:
π 2kπ π 2kπ
w3 = i ⇐⇒ w = cos + + i sen + , k = 0, 1, 2
6 3 6 3
1 √ 1
√
⇐⇒ w = ( 3 + i), (− 3 + i), −i.
2 2
2kπ 2kπ , k = 0, 1, . . . , n − 1
k = cos + i sen
n n
(vértices de un polı́gono regular de n lados inscrito en la circunferencia unidad).
Sea z = x + i y ∈ C; la propiedad et1 +t2 = et1 et2 sugiere definir ez = ex eiy . A su vez,
procediendo formalmente se obtiene
∞
X ∞ X ∞
y n X 2k y 2k y2k+1
eiy = in = i +i i2k
n! (2k)! (2k + 1)!
n=0 k=0 k=0
2k
= cos y + i sen y (ya que i = (i2 )k = (−1)k ).
Definición 1.5. Para todo z = x + i y ∈ C (x, y ∈ R),
definimos ez = ex (cos y + i sen y).
Nota: Si z ∈ R, la exponencial compleja se reduce a la exponencial real.
Valores particulares:
i) z = x + i y, w = u + i v =⇒
ii) e0 = 1 =⇒ ez e− z = 1 =⇒ (ez )− 1 = e− z .
iii) Obvio.
iv) ez = ex (cos y + i sen y) = 1 ⇐⇒ ex = 1, y = 0 mod 2π
⇐⇒ x = 0, y = 2kπ (k ∈ Z).
v) ez = ez+w ⇐⇒ ew = 1 ⇐⇒ w = 2kπi (k ∈ Z).
• z = |z| ei arg z ; ez = e z .
i) Trivial.
CAPÍTULO 1. FUNCIONES ANALÍTICAS 9
1.3.3. Logaritmos
En R, exp : R+→ R+ (exp(t) = et ) es una aplicación biyectiva. Su inversa es la
función log : R → R. Por definición,
log x = y ⇐⇒ x = ey (=⇒ x > 0).
iπ 1 iπ
Ejemplo: Log(−2i) = log 2 − 2
, Log(−1) = iπ, Log(1 − i) = log 2 −
2
.
4
Propiedades:
i) Para todo z = 0, elogI z = z.
ii) log I (ew ) = w mod 2πi. En particular, logI (ew ) = w ⇐⇒ Im w ∈ I .
iii) log I : C − {0} → {s ∈ C : Im s ∈ I } es biyectiva.
iv) z, w = 0 =⇒ log I (z · w) = logI z + log I w mod 2πi.
Demostración:
i) z = 0 =⇒ elogI z = elog|z|+i argI z = elog|z| ei argI z = |z| ei argI z = z.
ii) w = u + i v =⇒ logI (ew ) = log(eu ) + i argI (ew ) = u + i v mod 2πi, ya que
argI (ew ) = Im w mod 2πi. logI (ew ) = w =⇒ Im w ∈ I porque Im(logI z) ∈
I para todo z = 0. Recı́procamente, si Im w ∈ I entonces log I (ew ) = w
porque
ambos miembros son iguales módulo 2πi y sus partes imaginarias pertenecen a I .
iii) Hay que probar que para todo w con Im w ∈ I existe un único z ∈ C − {0}
tal que log I z = w. Esto es cierto por los apartados anteriores, siendo z = ew .
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue
de la prop. ii). Otra forma de deducir esta propiedad es observando que
log I (zw) = log |zw| + i argI (zw)
= log(|z| · |w|) + i(argI z + argI w) mod 2πi
= log |z| + log |w| + i(arg I z + argI w) mod 2πi
= (log |z| + i argI z) + (log |w| + i argI w) mod 2πi
= log I z + log I w mod 2πi.
ab+c = ab ac .
1.4.1. Lı́mites
Notación:
En lo que sigue, A y B denotan conjuntos abiertos,
f :A→ C
z = x + i y 7→ f (z) = u(x, y) + i v(x,
y).
u : A ⊂ R2 → R y v : A ⊂ R2 → R (la parte real e imaginaria de f , resp.)
son funciones escalares reales.
Si f : A → C está definida en A − {a} y l ∈ C, lı́m f (z) = l ⇐⇒
z →a
∀ > 0 ∃δ > 0 t.q. z ∈ A y 0 < |z − a| < δ =⇒ |f (z) − l| <
.
1 1
v) lı́m g(z) = 0 =⇒ lı́m = .
z→a z→a g(z) lı́m g(z)
z→a
Nota: En iii) y iv), la existencia del MD implica la del MI, pero no nec. viceversa.
Demostración:
i)–iii) son propiedades conocidas de los lı́mites de funciones R2 → R2
iv)–v) se demuestran como en el caso real (reemplazando el valor absoluto por el módulo).
1.4.2. Continuidad
f : A → C definida en A es continua en a ∈ A si lı́m f (z) = f (a).
z→a
En particular, f continua en a =⇒ f definida en un entorno de a.
f : A → C continua en A si y sólo si f es continua en todos los puntos de A.
Propiedades:
i) f y g continuas en a =⇒ f + g y f g continuas en a.
ii) Si, además, g(a) = 0, entonces f /g es continua en a.
iii) f : A → C continua en a y h : B → C continua en f (a) ∈ B =⇒ h ◦f continua
en
a.
Ejemplo: los polinomios y las funciones racionales son continuos en todos los puntos de
su dominio.
CAPÍTULO 1. FUNCIONES ANALÍTICAS 13
1.5. Derivabilidad
f : A → C definida en A es derivable (en sentido complejo) en a ∈ A si existe
f (z) − f (a)
lı́m ≡ f 0 (a).
z→a z− a
Propiedades algebraicas:
Si f : A → C y g : A → C son derivables en z ∈ A, y a, b ∈ C, se tiene:
i) a f + b g es derivable en z, siendo (a f + b g)0 (z) = a f 0 (z) + b g 0 (z).
∂u ∂v ∂u ∂v
(x0 , y0 ) = (x0 , y0 ), (x0 , y0 ) = − (x0 , y0 ).
∂x ∂y ∂y ∂x
Demostración.
=⇒) f es diferenciable (en sentido real) en z0 = (x0 , y0 ) con derivada Df (z0 ) = Mf 0 (z0 ) ,
ya que
= lı́m z − z0 − f 0 (z0 ) = 0.
z→z0
∂u
Sea ux = (x0 , y0 ), y análogamente uy , vx , vy . Igualando la matriz de Df (z0 ) en la
∂x
base canónica de R2 (matriz jacobiana) con la de Mf 0 (z 0) se obtiene
ux uy Re f 0 (z0 ) − Im f 0 (z0 )
= ,
vx vy Im f 0 (z0 ) Re f 0 (z0 )
f 0 (z0 ) = ux + i vx = vy − i uy .
⇐=) Por las ecs. de Cauchy–Riemann, la matriz jacobiana de f en z0 es
ux −vx
= M c,
vx ux
Q.E.D.
i eiz + i e−iz 1 iz
(sen z)0 = = cos z, (cos z)0 = (i e − i e−iz ) = − sen z.
2i 2
De estas fórmulas se deduce la derivabilidad de las restantes funciones trigonométricas
en todos los puntos de sus dominios. Por ejemplo,
tiene determinante u2x (z) + vx2 (z) = |f 0 (z)|2 = 0. Por el teorema de la función inversa
para funciones R2 → R2 (nótese que la continuidad de f0 implica la continuidad de
las derivadas parciales de u y v), hay sendos abiertos U 3 a y V 3 f (a) tales que
f : U ⊂ A → V es biyectiva, Df es invertible en U y f − 1 : V → U es diferenciable
en
sentido real en V , con
−1
D(f − 1 )(w) = Df f − 1 (w) , ∀w ∈ V.
Llamando z = f − 1 (w) se tiene, por el Teorema 1.9:
Derivabilidad de log:
Log : C − {0} → {z ∈ C : −π < Im z ≤ π} es discontinua en R− ∪ {0} (por la
discontinuidad de Arg).
Sin embargo, Log es derivable en el abierto B = C − (R− ∪ {0}). En efecto, Log
es la inversa global de
exp : A = {z ∈ C : −π < Im z < π} → B,
y exp satisface las condiciones del teorema de la función inversa en todo punto de
A (exp0 = exp no se anula y es continua en A).
Si z ∈ A y w = ez ∈ B, hay dos abiertos U 3 z y V 3 w tales que exp : U ⊂ A →
V
es invertible en U , y
1 1 1
(exp−1 )0 (w) = = z = .
exp0 (z) e w
Al ser U ⊂ A se tiene exp− 1 = Log, y por tanto
1
(Log w)0 = , ∀w ∈ C − (R− ∪ {0}).
w
Del mismo modo se prueba la derivabilidad de log I (I = [y0 , y0 +2π) ó (y0 , y0 +2π])
en el abierto C − ({w : arg w = y0 mod 2π} ∪ {0}), siendo log0I(w) = 1/w.
CAPÍTULO 1. FUNCIONES ANALÍTICAS 17
Las transformaciones conformes preservan los ángulos entre pares de curvas (de-
finidos como los ángulos formados por los vectores tangentes a las curvas en el
punto de intersección).
Q.E.D.
En una región, v está determinada salvo por una constante aditiva. En efecto, si
v1 y v2 son armónicas conjugadas de la misma función armónica u en la región
A, las funciones f1 = u + i v1 y f2 = u + i v2 son analı́ticas en A, por lo que
f = f1 − f2 = i(v1 − v2 ) también es analı́tica en A. Al ser Re f = 0 en A, las
ecuaciones de Cauchy–Riemann implican que las derivadas parciales de Im f se
anulan en A. Por ser A una región, Im f = v1 − v2 ha de ser constante en A.
La existencia de armónica conjugada de una 2 función armónica dada no está ase-
gurada globalmente. Por ejemplo, u : A = R − {0} → R definida por u(x, y) =
1 log(x2
2 + y 2 ) no admite una armónica conjugada en A. Localmente, v = argI z + c,
escogiendo I de forma que argI sea continuo (y por tanto C ∞ ) en el entorno consi-
derado, ya que u = log |z| =⇒ u + i v = logI z + c. Si existiera f analı́tica en A
con
Re f = u entonces f y Log (p. ej.) diferirı́an en una constante (imaginaria pura)
en la región C − (R− ∪ {0}). Pero esto es imposible, ya que si x < 0 se tendrı́a (al
ser f continua en A y f = Log +c en C − R − ∪ {0} )
El teorema de Cauchy
Nótese que f γ(t) γ 0 (t) es continua en cada uno de los subintervalos [ai , ai−1 ].
20
CAPÍTULO 2. EL TEOREMA DE CAUCHY 21
C 1 en [a, b])
Z Z b
f= u x(t), y(t) + i v x(t), y(t) x0 (t) + i y 0 (t) dt.
γ a
Z b
= u x(t), y(t) x0 (t) − v x(t), y(t) y 0 (t) dt
a
Z b
+i u x(t), y(t) y 0 (t) + v x(t), y(t) x0 (t)
Z a Z
= (u dx − v dy) + i (v dx + u dy).
γ γ
Análogamente,
Z n Z
X
f= f.
γ1 +···+γn i=1 γi
γ([a, b]) = γ̃([ã, b̃]) (es decir, γ y γ̃ tienen la misma imagen). Obsérvese, por último,
que el teorema de la función inversa implica que φ− 1 : [a, b] → [ã, b̃] es de clase C 1 con
derivada positiva en [a, b], y por tanto γ = γ̃ ◦φ− 1 es una reparametrización de γ̃.
√
Ejemplo: γ̃(s) = ei s s ∈ 3π , 32π es una reparametrización de γ(t) = −t + i 1 − t2
t ∈ − 21 , 21 . En efecto, γ̃(s) = γ(− cos s), siendo en este caso φ(s) = − cos s de clase
C 1 y φ0 (s) = sen s > 0 en π3 , 2π 3 .
Q.E.D.
Propiedades:
R R R
i) γ λ f (z) + µg(z) |dz| = λ γ f (z) |dz| + µ γ (z) |dz| , ∀λ, µ ∈ C.
R P R
ii) γ1 +···+γn f (z) |dz| = ni=1 γi f (z) |dz|.
R R
iii) −γ f (z) |dz| = γ f (z) |dz|.
Z Z
iv) Si γ̃ es una reparametrización de γ, f (z) |dz | = f (z) |dz |.
γ̃ γ
R R |f (z)| |dz|.
Desigualdad fundamental. γ f (z) dz ≤ γ
Z
f (z) dz ≤ M l(γ).
γ
CAPÍTULO 2. EL TEOREMA DE CAUCHY 23
Z Z Z b h i Zb h i
0
f = Re e −iθ
f = −iθ
Re e f γ(t) γ (t) dt ≤ Re e−iθ f γ(t) γ 0 (t) dt
γ γ a a
Z b h i Z b Z
−iθ 0 0
≤ Re e f γ(t) γ (t) dt ≤ f γ(t) γ (t) dt = |f (z)| |dz| .
a a γ
Demostración.
Z Zb Zb
0 0 0
F = F γ(t) γ (t) dt = (F ◦γ)0 (t) dt = F γ(b) − F γ(a) ,
γ a a
Demostración.
i) ⇐⇒ ii) Se basa en que si γ1 y γ2 son dos curvas C 1 a trozos contenidas en A que
unen z1 ∈ A con z2 ∈ A entonces Γ = γ1 + (−γ2 ) ≡ γ1 − γ2 es una curva cerrada, y
Z Z Z Z
f= f = f− f.
Γ γ1 −γ2 γ1 γ2
Nótese que, por hipótesis, F no depende de la curva γ ⊂ A que utilicemos para unir z0
con z.
Probemos finalmente que F es diferenciable en todo punto z ∈ A, con F 0(z) = f (z).
Si > 0, al ser A abierto y f continua en A, existe δ > 0 tal que |f (ζ ) − f (z)| < si ζ ∈
D(z; δ) ⊂ A. Dado un punto cualquiera w ∈ D(z; δ) distinto de z, sea L ⊂ D(z; δ) ⊂
A
el segmento que une z con w. Entonces se tiene:
Z Z Z
F (w) − F (z) = f− f= f.
γ+L γ L
R R
Al ser (w − z)f (z) = f (z) L1 = L f (z) dζ (ya que 1 = ζ 0 ) se tiene:
Este resultado es insuficiente, ya que no hace falta suponer que f 0 sea continua (se
deduce del resto de hipótesis). Además, el resultado es válido para curvas mucho
más generales.
Escojamos ahora n suficientemente grande para que Dn = 2−n D < δ, de modo que
Rn ⊂ D(a; δ). Nótese que, por el teorema fundamental del Cálculo,
Z Z
dz = z dz = 0.
∂Rn ∂Rn
entonces n(γ, z0 ) = h(b)/(2πi). Por otra parte, h es derivable en [a, b] (el integrando es
continuo, ya que el denominador no se anula), y
Q.E.D.
Demostración. La función
f (z) − f (a)
g(z) = z− a , z=a
f 0 (a), z=a
es analı́tica en A − {a} y lı́m [(z − a)g(z)] = lı́m [f (z) − f (a)] = 0. Por el teorema de
z→a z→a
Cauchy generalizado,
Z Z Z Z
f (z) − f (a) f (z) dz
0= g= dz = dz − f (a)
γ γ z− a γ z− a γ z− a
Z
f (z)
= dz − f (a) · 2πin(γ, a).
γ z− a
Q.E.D.
donde g es una función continua sobre γ y z ∈ / γ([a, b]). Se demuestra entonces que G
es infinitas veces derivable en todo punto z ∈ A − γ([a, b]), siendo
Z
(k) g(w)
G (z) = k! dw.
γ (w − z)
k+1
M l(γ)
≤ |z − z0 | · −−−→ 0.
4η 2 · η z→z 0
Como n(γ, z) es una integral de tipo Cauchy (g = 1/2πi), es continua en cualquier
entorno D de z0 que no corte a γ (por ejemplo, en D(z0 ; η)), y como es un número
entero ha de ser constante en dicho entorno. Si
Z
1 f (w)
F (z) = dw
2πi γ w − z
y z ∈ D se tiene
F (z) = n(γ, z)f (z) = n(γ, z0 )f (z)
y por tanto (ya que F también es de tipo Cauchy)
n(γ, z)f (k) (z) = n(γ, z0 )f (k)(z) = F (k) (z)
Z
k! f (w)
= dw.
2πi γ (w − z)k+1
Q.E.D.
CAPÍTULO 2. EL TEOREMA DE CAUCHY 30
k!
f k (a) ≤ M, ∀k = 0, 1, 2, . . . .
Rk
la función f = 1/p serı́a entera. Probaremos que esto es imposible demostrando que en
tal caso f serı́a también acotada en C y no constante, en contradicción con el teorema
de Liouville.
Para probar que f está acotada, nótese que si z = 0
|an−1 | |a0 |
|p(z)| ≥ |z|n |an | − −···− n .
|z| |z|
|an |
|z| > K =⇒ < , i = 1, . . . , n.
|ai | 2n
|f (z)| = 1 2 1
< máx , , ∀z ∈ C.
|p(z)| |an | M
Demostración. Antes de probar este resultado, nótese que la fórmula anterior expresa
que el valor de f en a es la media de los valores de f en el cı́rculo de centro a y radio r.
La demostración es una consecuencia inmediata de la fórmula integral de Cauchy.
En efecto, por hipótesis f es analı́tica en un abierto A ⊃ D(a; r), que puede tomarse
como una región (de hecho, como un disco abierto de radio ligeramente mayor que r:
cf. Marsden–Hoffman, prob. 1.4.27). La circunferencia γ de centro a y radio r (orientada
positivamente) es homótopa a un punto en A, ya que lo es obviamente en el disco cerrado
CAPÍTULO 2. EL TEOREMA DE CAUCHY 32
(con más rigor, en un disco abierto ligeramente más grande contenido en A). Aplicando
la fórmula integral de Cauchy se obtiene:
Z Z 2π
1 f (z) z=a+reiθ 1 f (a + r eiθ )
f (a) = dz = ireiθ dθ
2πi γ z − a 2πi 0 re iθ
Z 2π
1
= f a + r eiθ dθ.
2π 0
Q.E.D.
Representación de funciones
analı́ticas mediante series
Criterio de Cauchy:
Demostración.
=⇒) |zn − zm | ≤ |zn − z| + |zm − z|
⇐=) zn = xn + i yn =⇒ |xn − xm | ≤ |zn − zm | , |yn − ym | ≤ |zn − zm | =⇒
{xn }∞ ∞ ∞
n=1 y {yn } n=1 convergentes (sucesiones reales de Cacuhy) =⇒ {zn } n=1 con-
vergente. Q.E.D.
∞ ∞
!
X X
La serie zk converge a s ∈ C ⇔ zk = s si la sucesión de sumas
k=1P k=1
n ∞
parciales k=1 zk n=1 converge a s, es decir
∞ n
X X
zk = s ⇐⇒ lı́m zk = s.
n→∞
k=1 k=1
∞ n n−1
!
X X X
zk convergente =⇒ lı́m zn = lı́m zk − zk =0
n→∞ n→∞
k=1 k=1 k=1
34
CAPÍTULO 3. REPR. DE FUNC. ANALÍTICAS MED. SERIES 35
∞
X ∞
X
Se dice que zk es absolutamente convergente si |zk | es convergente.
k=1 k=1
∞
X
Proposición 3.1. Si zk es absolutamente convergente entonces es convergente.
k=1
Demostración. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene
n
X m
X m
X m
X n
X m
X
zk − zk = zk ≤ |zk | = |zk | − |zk | .
k=1 k=1 k=n+1 k=n+1 k=1 k=1
Q.E.D.
n
X
∀ > 0, ∃N ∈ N t.q. n ≥ N =⇒ gk (z) − g(z) < , para todo z ∈ A.
k=1
Q.E.D.
• Si {fn }∞
n=1 converge uniformemente a f en A y fn : A → C es continua en A para
todo n ∈ N, entonces
P∞ f es continua en A. Análogamente, si gn es continua en A para
todo n ∈ N y k=1 gk converge uniformemente a g en A entonces g es continua en A.
∞
Lema 3.3. Sea fn continua en A para todo n ∈ N. Si {fn }n=1 converge uniformemente
a f en A y γ es una curva C a trozos contenida en A entonces
1
Z Z Z
lı́m fn = f ≡ lı́m fn .
n→∞ γ γ γ n→∞
P∞
En particular, si gk es continua en A para todo k ∈ N y k=1 gk converge uniforme-
mente en A entonces !
Z X ∞ ∞
XZ
gk = gk .
γ k=1 k=1 γ
Q.E.D.
Para probar que f n0 → f 0 uniformemente en D(a; r), nótese que existe R > r tal
que D(a; R) ⊂ A. Dado > 0, existe N ∈ N tal que |fn (w) − f (w)| < para
todo
w ∈ D(a; R) y n ≥ N . Si z ∈ D(a; r) y γ es la circunferencia de centro a y radio R
(orientada positivamente) se tiene entonces, por la fórmula integral de Cauchy para la
primera derivada:
Z
1 fn (w) − f (w) 1 R
0n (z) − f (z) = dw ≤
f 2πR = .
0
(w − z) 2 2π (R − r) 2 (R − r) 2
2π γ Q.E.D.
P
Corolario 3.4. Sea ∞ k=1 gk una serie de funciones analı́ticas en un abierto A unifor-
mementePconvergente a g en cada disco cerrado contenido en A. Entonces g es analı́tica
en A, y ∞ 0 0
k=1 gk converge uniformemente a g en cada disco cerrado contenido en A.
Teorema de Abel. Para toda serie de potencias (3.1) hay un R tal que 0 ≤ R ≤ ∞,
llamado el radio de convergencia de la serie, que cumple:
i) La serie converge absolutamente para |z − z0 | < R. Además, la convergencia es
uniforme en todo disco cerrado D(z0 ; r) de radio r < R.
ii) La serie diverge si |z − z0 | > R.
Si R > 0, la suma de la serie es una función analı́tica en el disco de convergencia
D(z0 ; R), cuya derivada se obtiene derivando término a término la serie dada.
Para probar i), nótese en primer lugar que si R = 0 la serie diverge para todo z = z0 ,
y no hay nada que probar. Sea, por tanto, R > 0. Por definición de R, si 0 < r < R
existen r < ρ < R y M > 0 tal que |an | ρn < M para todo n. Si |z − z0 | ≤ r se tiene:
n
|z − z0 | n
|an (z − z0 )n | = |an | ρn ≤M
r
ρ ρ
.
f (n) (z0 )
an = , ∀n = 0, 1, 2, . . . .
n!
Corolario 3.6 (unicidad de las series de potencias). Si existe r > 0 tal que
∞
X ∞
X
k
ak (z − z0 ) = bk (z − z0 )k , ∀z ∈ D(z0 , r),
k=0 k=0
Demostración. ak = bk = f (k) (z0 )/k!, siendo f (z) la suma de cualquiera de las dos
series. Q.E.D.
|an | |an |
• Si existe (o vale +∞) lı́m , entonces R = lı́m .
|an+1 |
n→∞ n→∞ |an+1 |
p 1 p
Análogamente, si existe (o vale +∞) lı́m n |an | entonces = lı́m n |an |.
n→∞ R n→∞
CAPÍTULO 3. REPR. DE FUNC. ANALÍTICAS MED. SERIES 39
y diverge si
|an+1 |
|z − z0 | lı́m > 1.
|an |
n →∞
Análogamente (aplicando el criterio de la raı́z) se prueba la segunda.
P∞ ak (z − z0 )k se puede calcular
• El radio de convergencia R de la serie de potencias k=0
mediante la fórmula de Hadamard
1 p
= lı́m sup n |an |.
R n→∞
(Nota: Si xn ≥ 0 para todo n ∈ N, lı́m supn→∞ xn = lı́mn→∞ sup {xk : k ≥ n}. El lı́mite
superior siempre existe, vale infinito si y sólo si {xn }∞n=1 no está acotada superiormente,
y coincide con el lı́mite ordinario cuando dicho lı́mite existe.)
z D(z0;r)
z0
por la fórmula integral de Cauchy para las derivadas. Esto prueba el desarrollo (3.2) para
todo z ∈ D(z0 ; ρ) con 0 < ρ < r arbitrario, es decir para todo z ∈ D(z0 ; r). Q.E.D.
Corolario 3.7. El radio de convergencia de la serie de Taylor (3.2) de una función f
analı́tica en A es mayor o igual que la distancia de z0 a la frontera de A.
donde la serie del miembro derecho converge absoluta y uniformemente en cada subco-
rona cerrada contenida en C (z0 ; R1 , R2 ).
2
w2
1
S
z
R1
z0
w1
R2
Demostración. Sea A = C (z0 ; r1 , r2 ) con R1 < r1 < r2 < R2 , de modo que la corona
cerrada Ā está contenida en C (z0 ; R1 , R2 ). Llamemos γr1 ≡ γ1 , γr2 ≡ γ2 . La
curva
cerrada S + γ2 − γ1 − S es homótopa a un punto en C (z0 ; R1 , R2 ) (véase la fig. 3.2). Por
la fórmula integral de Cauchy,
Z
1 f (w)
f (z) = dw
2πi S+γ2 − γ1 − S w − z
Z Z
1 f (w) 1 f (w)
= dw − dw ≡ f1 (z) + f2 (z), ∀z ∈ A.
2πi γ2 w − z 2πi γ1 w − z
donde el último paso está justificado por la convergencia uniforme de la serie para w ∈ γ2
(w ∈ γ2 =⇒ |z − z0 | / |w − z0 | = |z − z0 | /r2 < 1). En cuanto a f2 , basta observar que
si r1 < |z − z0 | se tiene
X∞
1 1 1 (w − z0 )k
=− = − .
w− z z − z0 1 − w−z 0
z−z0
(z − z0 )k+1
k=0
Por el teorema de Laurent, si f tiene una singularidad aislada en z0 existe r > 0 tal
que f admite un desarrollo en serie de Laurent (3.3) en C (z0 ; 0, r):
∞ ∞
X bk X
ak (z − z 0) , si 0 < |z − z 0| < r.
k (3.6)
f (z) = +
(z − z0 ) k
k=1 k=0
1
f (z) = bp + bp− 1 (z − z 0) + · · · +1b (z − 0z )p−
(z − z0 )p 1
!
∞ F (z)
X ,
k+p
+ ak (z − z0 ) ≡
k=0
(z − z0 )p
Cálculo de residuos
g(z0 )
Res(f ; z 0) = .
h0 (z0 )
En efecto, en un entorno de z0 se tiene
1 g(z)
f (z) = · .
h0 (z0 )(z − z0 ) H (z)
Como g/H es analı́tica en z0 (H (z0 ) = 0), f tiene un polo simple en z0 con residuo
1 g(z0 ) g(z0 )
· = 0 ,
h0 (z 0) H (z0 ) h (z0 )
ya que H (z0 ) = 1.
• Si f tiene un polo de orden n en z0 entonces
1 dn−1
Res(f ; z0 ) = lı́m [(z − z0 )n f (z)] . (4.1)
(n − 1)! z→z0 dz n−1
45
CAPÍTULO 4. CÁLCULO DE RESIDUOS 46
F (n−1) (z0 ) 1
Res(f ; z0 ) = b1 = = lı́m F (n− 1)(z)
(n − 1)! (n − 1)! z→z0
1 dn−1
= lı́m n−1 [(z − z0 )n f (z)] .
(n − 1)! z→z0 dz
Solución. La función f tiene claramente un polo doble en z0 , por lo que podemos aplicar
(4.1). Por el teorema de Taylor, en un entorno reducido de z0 es válido el desarrollo
h(z) = h2 + h3 (z − z0 ) + H (z) ,
(z − z0 )2
con H analı́tica y con un cero de orden por lo menos 2 en z0 . Aplicando (4.1) se obtiene
entonces
d g(z) h2 g0 (z0 ) − h3 g(z0 )
Res(f ; z0 ) = lı́m = .
z→z0 h
dz 2 + h 3 (z − z0 ) + H (z) h22
con fi analı́tica en el disco D(zi ; i ). Además (por las propiedades de las series de Lau-
rent) la serie que define la parte principal Si (z) converge absolutamente a una función
CAPÍTULO 4. CÁLCULO DE RESIDUOS 47
zk
–r r
Entonces
Z X Z r Z π
f = 2πi Res(f ; zk ) = f (x) dx + f (reiθ )ireiθ dθ.
γr Im zk >0 −r 0
Como |f (x)| < M |x|−p con p > 1 para |x| > R, la primera integral del
miembro R∞
derecho converge a −∞ f (x) dx cuando r → ∞ (criterio de comparación). En cuanto a
la segunda, su módulo está acotado por M πr 1−p , que tiende a 0 cuando r → ∞. Q.E.D.
• f (z) = z/(z 2 + 4z + 13)2 ≡ P /Q, con singularidades (polos dobles) en los ceros
z = −2 ± 3i ∈
/ R de Q. Además, deg Q = 4 ≥ deg P + 2 = 3. Por tanto,
Z∞
x dx
I≡ 2 2
= 2πi Res(f ; −2 + 3i).
−∞ (x + 4x + 13)
g(z) z
f (z) = , con g(z) = ;
(z − z0 )2 (z + 2 + 3i)2
Z 2π
4.3.2. Integrales trigonométricas: R(cos θ, sen θ) dθ
0
El resultado anunciado se sigue del teorema de los residuos, ya que al ser f una función
racional de z tiene un número finito de singularidades. Q.E.D.
Z 2π
• Ejemplo: dθ
0 (5 − 3 sen θ)2 .
1 4iz 4iz
f (z) = = .
iz 5 − 3
z− 1 2 (3z2 − 10iz − 3) 2 = 2
9 z − 3i (z − 3i)2
2i z
8π i z 1 h(z)
I=− Res g; , con g(z) = · ≡ .
9 i 2 i 2
3 (z − 3i)2 z − z−
3 3
El residuo es igual a
− 3i −
i 2i
2i 10i
0 1 3 − 10 · 32
h (i/3) = 2
− 3
3
= 3
3 = 3
83 3
=− .
i
− 3i i
− 3i i
− 3i − 83
3 3 3 33 i
10π 5π
Por tanto I = 2
= .
8 32
Z ∞
4.3.3. Transformadas de Fourier: eiωx f (x) dx
−∞
–x1+iy1 x2+iy1
zk
–x1 x2
Entonces
Z X
eiωz f (z) dz = 2πi Res(eiωz f (z); zk )
γ Im zk >0
Z x2 Z y1
iωx
= e f (x) dx + i eiω(x2 +iy) f (x2 + i y) dy
−x1 0
Z x2 iω(x+iy1 )
Z y1
− e f (x + i y1 ) dx − i eiω(−x1 +iy) f (−x1 + i y) dy
−x1 0
≡ I1 + I2 − I3 − I4 .
Si y1 se escoge lo suficientemente grande para que (x1 + x2 )e−ωy1 < 1/ω se tiene:
Z y1
|I2 | ≤ e− ωy dy = (1 − e− ωy1 ) < ,
0 ω ω
|I3 | ≤ (x1 + x2 ) e− ωy1 < ,
ω
|I4 | ≤ (1 − e−ωy1 ) < .
ω ω
Por tanto
Z x2 X 3
eiωx f (x) dx − 2πi Res(eiωz f (z); zk ) < .
−x1 ω
Im zk >0
2
Las únicas singularidades en el semiplano superior son
πi 1 √ πi 1 √
z1 = e 3 = (1 + i 3), z2 = −e− 3 = (−1 + i 3) = −z 1 .
2 2
El residuo de eiωz f (z) en cualquiera de estas singularidades zi se calcula fácilmente, ya
que eiωz f (z) = g(z)/h(z) con g(zi ) = 0, h(zi ) = 0 y h0 (zi ) = 0:
1 eiωzi
Res(f ; zi ) = .
4 zi (2z 2i + 1)
Como √ ω
√ √
i + 3 ω(i−√3)
iω
2e 2 (1+i 3) 2e 2 (i− 3)
A= √= √ √ = − √ e2 ,
(1 + i 3) i 3(i − 3) 2 3
se obtiene √
3
π −√3 ω ω √ ω
I = Re J = J = − π Im A = e 2 cos + 3 sen , ω > 0.
3 2 2
√
2
Z ∞
4.3.4. Transformadas de Mellin: xa−1 f (x) dx, a ∈
/Z
0
πe−iπa X
• Resultado: − Res(z a − 1f (z); zk ), z a−1 ≡ e(a 1) log [0,2π) z
.
sen(πa) z =0 −
k
CAPÍTULO 4. CÁLCULO DE RESIDUOS 52
zk
–r r
Sea γ la curva de la fig. 4.3, donde 0 < < R1 y r > R2 se toman de modo que todas
las singularidades de z a−1 f (z) distintas de 0 estén en el interior de γ, y 0 < η < π/2. Si
denotamos
z a−1 = e(a−1) log[0,2π) z = |z|a−1 ei(a−1) arg[0,2π) z ,
la función z a−1 f (z) es analı́tica en C − (R+ ∪ {0}), salvo en las singularidades zk de f .
Por el teorema de los residuos se tiene:
X
2πi Res(z a−1 f (z); zk ) = I1 − I2 + J,
zk =0
siendo I1 e I2 las integrales de z a−1 f (z) sobre los arcos arg[0,2π) z ∈ [η, 2π − η] de
las circunferencias (orientadas positivamente) de radios r y , respectivamente, y J la
integral a lo largo de los segmentos:
Z r Z r
J= i(a−1)η a−1
e x iη
f (xe ) · e dx − iη ei(a−1)(2π−η) xa−1 f (xei(2π−η) ) · ei(2π−η) dx
Z r h i
= xa−1 eiaη f (xeiη ) − eia(2π−η) f (xei(2π−η) ) dx .
z a−1 ( ±i)a−1
Res ; ±i = .
z2 + 1 ±2i
(Esta definición se generaliza de manera obvia al caso en que f tiene un número finito
de singularidades en el eje real.) Si existe la integral impropia entonces
Z∞ Z∞
f (x) dx = V. P. f (x) dx .
−∞ −∞
Sin embargo, el valor principal de Cauchy puede existir aunque no exista la inte-
gral impropia:
R∞ por ejemplo, si f es una función impar e integrable en ∞ entonces
V. P. −∞ f (x) dx = 0.
Lema 4.1. Supongamos que f es una función analı́tica con un polo simple en z0 ∈ C, y
sea γ el arco de circunferencia γ (t) = z0 + eit , con t ∈ [t0 , t0 + α] (fig. 4.4). Entonces
Z
lı́m f = αi Res(f ; z0 ).
→0+ γ
α ε
t0
z0
Pero Z Z t0 +α
dz i eit
b1 = b1 dt = i b1 α = iα Res(f ; z0 ),
γ z − z0 t0 eit
mientras que, al ser g analı́tica en D(z0 ; r), |g(z)| < M para |z − z0 | ≤ r/2, y por tanto
Z
g ≤ M α −−−→ 0 .
γ →
0+
Q.E.D.
entonces
Z∞ X X
V. P. f (x) dx = 2πi Res(f ; zk ) + πi Res(f ; zk ) .
−∞ Im zk >0 zk ∈R
CAPÍTULO 4. CÁLCULO DE RESIDUOS 55
zk –
–r x0 r
Demostración. Supongamos, por ejemplo, que f cumple la condición i). Por sencillez,
nos restringiremos al caso en que f sólo tiene una singularidad x0 en el eje real. Si
r > máx(x0 , R) es lo suficientemente grande para que todas las singularidades de f en
H − {x0 } estén en el interior de γr y > 0 es suficientemente pequeño, integrando f a
lo largo de la curva γ de la fig. 4.5 se tiene:
Z X Z x0 − Z Zr Z
f = 2πi Res(f ; zk ) = f (x) dx − f+ f (x) dx + f.
γ Im zk >0 −r γ x0 + γr
R x0 − R∞
Por la discusión de la sección 4.3.1, las integrales −∞
f (x) dx y x0 + f (x) dx son
convergentes, y Z
lı́m f = 0.
r→∞ γr
Por tanto,
X Z x0 − Z ∞ Z
2πi Res(f ; zk ) = f (x) dx + f (x) dx − f.
Im zk >0 −∞ x0 + γ
La función f (z) = sen z/z tiene una singularidad evitable en z = 0, pero no cumple las
condiciones i) ó ii). Sin embargo, g(z) = eiz /z tiene un polo simple en el origen y cumple
la condición ii) del apartado anterior, por lo que
eiz π
J = πi Res ; 0 = πi · 1 =⇒ I = .
z 2
Z ∞
• Ejemplo: sen2 x
dx ≡ I .
0 x2
Si f es la función del apartado anterior
Z ∞ Z ∞
1 2 1 1 − cos(2x)
I = V. P. f (x) dx = V. P. dx
2 −∞ 4 −∞ x2
Z ∞
1 1 − e2ix 1
= Re V. P. 2
dx ≡ Re J.
4 −∞
x 4
1 + e2iz 2
|g(z)| ≤ |z|2 ≤ , Im z ≥ 0, z = 0,
|z|2
Aquı́ Z ∞
I = Im J, J ≡ V. eix dx
.
P. −∞ (x − 1)(x2 + 4)
La función
eiz
f (z) =
(z − 1)(z 2 + 4)
es analı́tica en C − {1, ±2i}, y la singularidad en z = 1 es claramente un polo simple.
Además, se cumple claramente la condición ii) en el semiplano superior, por lo que
ei 2e−2
J = πi [Res(f ; 1) + 2 Res(f ; 2i)] = πi +
5 (2i − 1) · 4i
ei e−2 ei (2− i)e−2
= πi − = πi − .
5 2(2 + i) 5 10
Por tanto
π 1
I= cos 1 − .
5 e2
CAPÍTULO 4. CÁLCULO DE RESIDUOS 57
Z ∞
4.4.1. f (x) log x dx, f real y par
0
X
• Resultado: −π Im Res(f (z) log z; zk ) , log ≡ log[−π/2,3π/2) .
Im zk >0
zk
–
–r – r
Demostración. En primer lugar, las acotaciones sobre R|f | implican (teorema de compa-
∞
ración) la convergencia de la integral, ası́ como la de −∞ f (x) dx. Sean 0 < < R1 <
R2 < r tales que todas las singularidades de f en H − {0} estén el interior de γ (ver
fig. 4.6). Entonces
X Z Z
2πi Res(f (z) log z; zk ) = I1 + I2 − g+ g, (4.2)
Im zk >0 γ γr
y por tanto
Z − Z r
I1 = f (x)[log(−x) + iπ] dx = f (−x)[log(x) + iπ] dx
−r
Zr Zr
= f (x) log x dx + iπ f (x) dx .
Luego Z Z
r r
I1 + I2 = 2 f (x) log x dx + iπ f (x) dx .
se tiene
d log z 1 2 log i i i i π
Res(f (z) log z; i) = = − = − log i = + .
dz (z + i)2 z=i i(2i)2 (2i) 3 4 4 4 8
π
Por tanto, I = − .
4