Capı́tulo 4

INTEGRACIÓN EN EL PLANO
COMPLEJO

Problema 4.1. Calcula las integrales

Z ∞
Z 2 2 Z π/6
1 2it (c) ezt dt (Re z < 0).
(a) −i dt, (b) e dt,
1 t 0 0

Solución: (a)
2 2  2
1 2
Z Z 2 Z 2 Z 2
1 1 1 
−i dt = 2
dt − 2i dt − dt = − − 2i ln |t|  −1
1 t 1 t 1 t 1 t 1 
1
1 1
= − + 1 − 2i ln 2 − 1 = − − i ln 4.
2 2

(b)
 √
1 2it π/6
Z π/6
2it 1 iπ/3 eiπ/6 iπ/6 −iπ/6 iπ/6 1 3
e dt = e  = (e − 1) = (e −e )=e sen(π/6) = + i .
0 2i 0 2i 2i 4 4

(c) 
1 zt ∞
Z ∞
zt 1
e dt = e  = − .
0 z 0 z

Problema 4.2. Prueba que si m, n ∈ Z,

Z (
2π
inθ −imθ 0 si m 6= n,
e e dθ =
0 2π si m = n.

Solución: Z Z
2π 2π
inθ −imθ
e e dθ = ei(n−m)θ dθ.
0 0
46 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Si n = m, entonces el integrando es 1 y la integral vale 2π. Si n 6= m,

Z 2π
1
ei(n−m)θ dθ = (ei(n−m)2π −1) = 0.
0 n − m | {z }
=1

Problema 4.3. A partir de la integral Z π

e(1+i)x dx,
0
calcula las integrales Z Z
π π
x
e cos x dx, ex sen x dx.
0 0

Solución: Si denotamos Z π
I= e(1+i)x dx,
0
entonces Z π Z π
x
e cos x dx = Re I, ex sen x dx = Im I.
0 0
Pero I vale
1  (1+i)π  1−i eπ + 1 eπ + 1
I= e −1 = (−eπ − 1) = − +i ,
1+i 2 2 2
con lo que Z Z
π π
x eπ + 1 eπ + 1
e cos x dx = − , ex sen x dx = .
0 2 0 2

Problema 4.4. Demuestra que si |x| ≤ 1 y n = 0, 1, 2, . . . , la función

Z
1 π p n
Pn (x) = x + i 1 − x2 cos θ dθ
π 0

satisface la desigualdad |Pn (x)| ≤ 1.

Solución: Vamos a acotar el módulo del integrando:

 p 2
x + i 1 − x2 cos θ = x2 + (1 − x2 ) cos2 θ = cos2 θ + x2 sen2 θ ≤ cos2 θ + sen2 θ = 1,
 

o sea que  p 
 
x + i 1 − x2 cos θ ≤ 1.
Entonces, Z Z
π
1 
 p n
 1 π
|Pn (x)| ≤ x + i 1 − x2 cos θ dθ ≤ dθ = 1.
π 0 π 0

Problema 4.5. Sea w(t) = eit , una función continua y derivable en R. Tomemos el intervalo [0, 2π].
Comprueba que esta función no verifica el teorema del valor medio; es decir, que no hay ningún c ∈ (0, 2π)
tal que w(2π) − w(0) = w′ (c)2π.
4 INTEGRACIÓN EN EL PLANO COMPLEJO 47

Solución: Si hubiera un c ∈ (0, 2π) que verificase el teorema del valor medio, como w(2π) − w(0) =
ei2π − 1 = 1 − 1 = 0, eso significarı́a que w′ (c) = 0. Pero w′ (c) = ieic 6= 0 para todo c ∈ R.

Problema 4.6. Calcula las integrales:

Z
(a) x dz, donde γ es el segmento que va de 0 a 1 + i.
γ
I
(b) x dz, donde γ es la circunferencia |z| = r orientada positivamente.
γ
I
dz
(c) 2−1
, donde γ está parametrizada como z(t) = 1 + eit , con 0 ≤ t ≤ 2π.
γ z
I
(d) |z|z dz, donde A = {z ∈ C : |z| ≤ 1, Im z ≥ 0}.
∂A
I
(e) |z|2 dz, donde A = {z ∈ C : 0 ≤ Re z ≤ 1, 0 ≤ Im z ≤ 1}.
I∂A
dz
(f) 2
, donde A = {z ∈ C : |z| ≤ r}.
∂A |z − a|

AYUDA : En (f) escribe el integrando como

 
2 r2
|z − a| = (z − a)(z − a) = (z − a) −a
z

y distingue los casos |a| > r y |a| < r.

Solución: (a) Una parametrización de γ es z(t) = (1 + i)t, donde 0 ≤ t ≤ 1. Entonces,

Z Z 1 Z 1
1+i
x dz = x(t)z ′ (t) dt = t (1 + i) dt = .
γ 0 0 2

(b) Parametrizamos γ como z(θ) = reiθ , con 0 ≤ θ ≤ 2π. Entonces,

I Z 2π Z 2π
iθ 2
x dz = r cos θ ire dθ = ir (cos2 θ + i cos θ sen θ) dθ
γ 0 0
Z 2π  Z 2π  Z
ir2 ir2 r2 2π
= (1 − cos 2θ + i sen 2θ) dθ = 2π − cos 2θ dθ − sen 2θ dθ
2 0 2 0 2 0
| {z } | {z }
=0 =0
2
= iπr .

(c) Hay tres formas de hacer esta integral. Las dos primeras emplean directamente la paramtrización. Tene-
mos que z(t)2 − 1 = (1 + eit )2 − 1 = 2eit + ei2t , luego
I Z 2π Z 2π
dz ieit 1
I= 2−1
= it + ei2t
dt = i dt.
γ z 0 2e 0 2 + eit
Llegados a este punto, la mejor manera de hacer esta integral es utilizando el desarrollo en serie
∞ ∞
1 1 1 1 X 1 int X 1 int
= = e = e ,
2 + eit 2 1 + 21 eit 2 2n 2n+1
n=0 n=0
48 4 INTEGRACIÓN EN EL PLANO COMPLEJO

con el cual la integral se convierte en

∞ Z 2π
X 1
I=i eint dt,
2n+1 0
n=0

gracias a la convergencia uniforme de las series de potencias. La integral del segundo miembro se anula
si n 6= 0 y vale 2π si n = 0 (véase el problema 4.2), ası́ que
1
I = i 2π = πi.
2
Una forma alternativa de hacer la integral es escribirla como
Z 2π Z 2π
1 e−it
I=i dt = i dt,
0 2 + eit 0 1 + 2e−it
ya que una primitiva del integrando es, entonces,
i

F (t) = log 1 + 2e−it .
2
El problema es que esta primitiva no es holomorfa en el corte del logaritmo, que podemos elegir a
conveniencia. Como la integral empieza en t = 0 y termina en t = 2π, que corresponden a 1+2e−it = 3,
la mejor elección de la determinación del logaritmo es la [0, 2π). La curva w(t) = 1 + 2e−it , con
0 ≤ t ≤ 2π, es una circunferencia de radio 2, centrada en z = 1 y orientada negativamente, que
comienza en z = 3 y termina en ese mismo punto. Denotamos 3− = 3ei2π y 3+ = 3ei0 ; entonces,
2π
1  1 1 i
I = − log(1 + 2e ) = − log(3+ ) + log(3− ) = (arg 3− − arg 3+ ) = πi.
−it 
2 0 2 2 2

La tercera forma de hacer la integral es descomponer el integrando en fracciones elementales como

 
1 1 1 1
= − ;
z2 − 1 2 z−1 z+1
entonces I I
1 dz 1 dz
I= − ,
2 γ z−1 2 γ z+1
y como γ es la circunferencia de radio 1 centrada en 1, por la fórmula de Cauchy la primera integral
vale 2πi y la segunda 0, con lo que de nuevo obtenemos que I = πi.
(d) ∂A = γ1 + γ2 , donde γ1 es la semicircunferencia z(θ) = eiθ , con 0 ≤ θ ≤ π, y γ2 el segmento
z(x) = x, con −1 ≤ x ≤ 1. Entonces,
I I I Z π Z 1
|z|z dz = |z|z dz + |z|z dz = e−iθ ieiθ dθ + |x|x dx = iπ.
∂A γ1 γ2 0 −1
| {z }
=0 por simetrı́a

(e) El contorno ∂A es un cuadrado formado por los cuatro segmentos

γ1 : z(x) = x, 0 ≤ x ≤ 1,
γ2 : z(y) = 1 + iy, 0 ≤ y ≤ 1,
γ3 : z(x) = x + i, 0 ≤ x ≤ 1,
γ4 : z(y) = iy, 0 ≤ y ≤ 1,
4 INTEGRACIÓN EN EL PLANO COMPLEJO 49

de tal manera que ∂Aγ1 + γ2 − γ3 − γ4 . Entonces

I I I I I
2 2 2 2
|z| dz = |z| dz + |z| dz − |z| dz − |z|2 dz
∂A γ1 γ2 γ3 γ4
Z1 Z 1 Z 1 Z 1
2 2 2
= x dx + (1 + y )i dy − (1 + x ) dx − y 2 i dy
0 0 0 0
Z 1 Z 1
=− dx + i dy = −1 + i.
0 0

(f) En primer lugar, si a = 0,

I I I
dz dz dz
I= = = = 0,
∂A |z − a|2 ∂A |z|2 ∂A r2
por ser el integrando una constante (holomorfa en todo C). Ahora bien, cuando a 6= 0, gracias a la
descomposición, válida sobre la circunferencia |z| = r,
 2 
2 r
|z − a| = (z − a)(z − a) = (z − a) −a ,
z
podemos escribir la integral como
I I I
dz z 1 z
I= 2
= 2
dz = − dz.
∂A |z − a| ∂A (z − a)(r − az) a ∂A (z − a)(z − r2 /a)
Para continuar descomponemos el integrando en fracciones elementales
z A B A(z − r2 /a) + B(z − a)
= + = ,
(z − a)(z − r2 /a) z − a z − r2 /a (z − a)(z − r2 /a)
de donde
z = A(z − r2 /a) + B(z − a).
Haciendo z = a obtenemos
 
r2 |a|2 − r2 |a|2
a=A a− =A =⇒ A= ;
a a |a|2 − r2

haciendo z = r2 /a obtenemos
 2 
r2 r r2 − |a|2 r2
=B −a =B =⇒ B= .
a a a r2 − |a|2
Ası́ pues, I I
A dz B dz
I=− − .
a ∂A z−a a ∂A z − r2 /a
Si |a| > r, entonces la primera integral vale 0. En cuanto a la segunda, como
 2 2 2
r 
  = r < r = r,
 a  |a| r
por la fórmula de Cauchy el valor de la integral es 2πi, con lo que
B 2πr2 i
I=− 2πi = .
a a(|a|2 − r2 )
50 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Si, por el contrario, |a| < r, entonces la primera integral vale 2πi, y como
 2 2 2
r 
  = r > r = r,
 a  |a| r

la segunda vale 0. Entonces

A 2πai
I = − 2πi = 2 .
a r − |a|2
Resumiendo,
2πai
I =  2  F (a, r),
r − |a|2 
donde (
1 si |a| < r,
F (a, r) = r2
|a|2
si |a| > r.

Z
dz
Problema 4.7. Calcula , siendo γ
γ z2

(a) z(t) = ei(π−t) , con 0 ≤ t ≤ π,

(b) z(t) = eit , con π ≤ t ≤ 2π.

¿Implica la respuesta de estos dos apartados que existe una función holomorfa f (z) tal que f ′ (z) = 1/z 2 ?

Solución: (a) Como z(t) = ei(π−t) = −e−it , y, por tanto,

2
z(t) = ei2t , z ′ (t) = ie−it ,

entonces, 
1 −i3t π
Z Z π
dz −i3t 1 2
=i e dt = − e = − (−1 − 1) = .
γ z2 0 3 
0 3 3

(b) Como z(t) = e−it y z ′ (t) = ieit ,


1 i3t 2π
Z Z 2π
dz i3t 1
2
=i e dt = e  = 1 − (−1) = .
γ z2 π 3 π 3 3

Que las integrales a lo largo de estos dos contornos sean iguales no implica nada acerca de la existencia
de una primitiva de 1/z 2 . De hecho, tal primitiva no puede existir porque esta función no es holomorfa
en ningún punto de C.

Problema 4.8. (Regla de integración por partes) Si f, g son dos funciones holomorfas en Ω y γ es un
contorno de Ω que une el punto z1 con el z2 , prueba que
Z  z2 Z

f (z)g (z) dz = f (z)g(z) − f ′ (z)g(z) dz.
′
γ z1 γ
4 INTEGRACIÓN EN EL PLANO COMPLEJO 51

Solución: De la regla de derivación del producto de funciones holomorfas,

 ′
f (z)g(z) = f ′ (z)g(z) + f (z)g ′ (z),

deducimos, integrando sobre γ,

Z Z Z  z2
′ ′
 ′ 
f (z)g(z) dz + f (z)g (z) dz = f (z)g(z) dz = f (z)g(z) ,
γ γ γ z1

de donde se obtiene la regla de integración por partes.

Problema 4.9. Calcula la integral I  

2 z+1
z log dz,
γ z−1
donde tomamos la rama principal del logaritmo y donde γ es

(a) la circunferencia |z| = 2 orientada positivamente,

(b) la circunferencia |z − 1| = 1 orientada positivamente.

Solución: En primer lugar, veamos dónde es holomorfa la función del integrando. Sabemos que el logaritmo
que aparece está tomado sobre la rama principal. Eso significa que el corte es el conjunto A = {z ∈ C :
Im z = 0, Re z ≤ 0}. Ası́ que cualquier punto del corte es de la forma z = −r, con r ≥ 0. Veamos ahora
qué valores de z hacen que el argumento del logaritmo caiga sobre el corte:
z+1 r−1
= −r ⇒ z + 1 = −rz + r ⇒ (1 + r)z = r − 1 ⇒ z= .
z−1 r+1
La función z = (r − 1)/(r + 1) es creciente para r ≥ 0; su valor mı́nimo está en r = 0 y vale z = −1, y su
supremo se alcanza para r → ∞ y vale z = 1. Ası́ pues, el subconjunto de C cuya imagen por la función
(z + 1)/(z − 1) cae en el corte A es

B = {z ∈ C : Im z = 0, −1 ≤ Re z ≤ 1},

esto es, el intervalo [−1, 1] sobre el eje real. Obsérvese que la curva del apartado (a) rodea el conjunto B,
y la curva del apartado B cruza el conjunto B, lo que hace que las correspondientes integrales no valgan
trivialmente 0.
Hallemos ahora primitivas del integrando que nos ayuden a hacer las integrales. Para ello recurriremos a la
integración por partes:
Z     Z 3 
z+1 z3 z+1 z 1 1
z 2 log dz = log − − dz
z−1 3 z−1 3 z+1 z−1
  Z  3 
z3 z+1 1 z z3
= log + − dz.
3 z−1 3 z−1 z+1

Ahora bien,

z3 1
= z2 + z + 1 + ,
z−1 z−1
z3 1
= z2 − z + 1 − ,
z+1 z+1
52 4 INTEGRACIÓN EN EL PLANO COMPLEJO

de modo que
z3 z3 1 1
− = 2z + + .
z−1 z+1 z−1 z+1
Como Z  
1 1
2z + + dz = z 2 + log(z 2 − 1),
z−1 z+1
una primitiva del integrando será
Z    
2 z+1 z3 z+1 z2 1
z log dz = log + + log(z 2 − 1).
z−1 3 z−1 3 3

No es la única posible: algunas manipulaciones de los logaritmos nos dan otras primitivas. Por ejemplo,
podemos escribir
log(z 2 − 1) = log(z − 1) + log(z + 1),
con lo que
Z    
2 z+1 z3 z+1 z2 1 1
z log dz = log + + log(z − 1) + log(z + 1)
z−1 3 z−1 3 3 3

es otra primitiva. También

 
z+1
log(z − 1) + log(z + 1) = 2 log(z − 1) + log ,
z−1

con lo que
Z    
2 z+1 z3 + 1 z+1 z2 2
z log dz = log + + log(z − 1)
z−1 3 z−1 3 3
es otra primitiva. O también
 
z+1
log(z − 1) + log(z + 1) = 2 log(z + 1) − log ,
z−1

con lo que
Z    
2 z+1 z3 − 1 z+1 z2 2
z log dz = log + + log(z + 1)
z−1 3 z−1 3 3
es otra primitiva.
Para que estas cuatro funciones sean primitivas, es necesario que el primer logaritmo esté definido sobre la
determinación principal, como en el integrando. Respecto a los demás logaritmos, la elección de la deter-
minación es arbitraria y queda a nuestra elección. Eso es lo que diferencia las cuatro primitivas que hemos
obtenido (y otras que puedan obtenerse por métodos similares): son holomorfas en conjuntos distintos. Por
ejemplo, una primitiva cómoda de utilizar es
 
z3 − 1 z+1 z2 2
F (z) = log + + log(z + 1),
3 z−1 3 3

tomando para el segundo logaritmo también la determinación principal. Esta función no es holomorfa ni en
B ni en el intervalo (−∞, −1] del eje real; es decir, es holomorfa en C salvo en el intervalo (−∞, 1] del eje
real. Usaremos esta primitiva para hacer las integrales.
4 INTEGRACIÓN EN EL PLANO COMPLEJO 53

(a) La curva |z| = 2 corta el eje real negativo en z = −2. Denotando −2− = 2e−iπ y −2+ = 2eiπ ,
I  
2 z+1
z log dz = F (−2+ ) − F (−2− ).
γ z−1

Todos los términos de F (z) son continuos sobre la curva, a excepción de log(z + 1), ya que
−2+ −2+ −2+
  
log(z + 1) = ln |z + 1| +i arg(z + 1) = 2πi,
−2− −2− −2−
| {z } | {z }
=0 =2π

luego
I  
z+1 4
z 2 log dz = πi.
γ z−1 3

(b) La curva |z − 1| = 1 corta el eje real en z = 0 y en z = 2. Este último punto no da problemas, pero
z = 0 cruza el intervalo [−1, 1], donde el primer logaritmo no es holomorfo. Ası́ que todos los términos
de F (z) son continuos excepto el primero. Para saber cuánto vale

  0+   0+   0+
z3 − 1 z+1 3 3
 = z − 1 ln  z + 1   + z − 1 i arg z + 1 
   
log
3 z−1 −
0 3  z − 1 0− | {z
  3 } z − 1 0−
| {z }
=0 =−1/3
  +
i z + 1 0
= − arg
3 z − 1 0−

tenemos que ver cómo es la curva

z(θ) + 1
w(θ) =
z(θ) − 1

cuando z(θ) = 1 + eiθ , con −π ≤ θ ≤ π. Sustituyendo,

2 + eiθ
w(θ) = = 1 + 2e−iθ ,
eiθ

que no es sino la circunferencia |w − 1| = 2 orientada negativamente. Entonces

  0+
z+1 
arg  = −2π,
z−1 −
0

con lo cual
  0+
z3 − 1 z+1  = 2 πi

log
3 z−1 −
0 3

y, por lo tanto,
I  
2 z+1 2
z log dz = πi.
γ z−1 3
54 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Problema 4.10. (a) Prueba que si f (z) es holomorfa en el interior y sobre el contorno γ, cerrado, simple,
orientado positivamente y que rodea el punto z = 0, entonces
I
1
f ′ (z) log z dz = f (zc ) − f (0),
2πi γ

siendo zc el cruce de γ con el corte del logaritmo.

(b) Calcula la integral I
z n log z dz, n ∈ N,
γ

siendo γ la circunferencia |z| = 1 orientada positivamente, tomando la rama del logaritmo correspon-
diente a la determinación

(1) 0 ≤ arg z < 2π,

(2) −π < arg z ≤ π.
(c) Halla la integral anterior cuando n es un entero negativo distinto de −1.
(d) Halla la integral cuando n = −1.

Solución: (a) Tomemos la determinación [α, α + 2π) y denotemos zc− = |zc |eiα y zc+ = |zc |ei(α+2π) .
Entonces, integrando por partes,
I zc+ I
′
 f (z)
f (z) log z dz = f (z) log z  − dz.
γ −
zc γ z

El primer término vale

zc+ zc+
 
f (z) log z dz  = if (zc ) arg z  = 2πif (zc );
− −
zc zc

el segundo I
f (z)
dz = 2πif (0),
γ z
por la fórmula de Cauchy; entonces,
I
1
f ′ (z) log z dz = f (zc ) − f (0).
2πi γ

(b) Aplicando el apartado anterior,

z n+1
f (z) =
,
n+1
de manera que para la determinación (1), en que zc = 1, la integral vale
I
2πi
z n log z dz = ,
γ n+1
mientras que para la determinación (2), en que zc = −1, la integral vale
I
(−1)n+1 2πi
z n log z dz = .
γ n+1
4 INTEGRACIÓN EN EL PLANO COMPLEJO 55

(c) Retomando del primer apartado la fórmula

I I
′ f (z)
f (z) log z dz = 2πif (zc ) − dz,
γ γ z

en el caso en que n es un entero negativo distinto de −1, la integral del miembro derecho vale
I
1
z n dz = 0,
n+1 γ

de modo que de nuevo obtenemos el mismo resultado que en el apartado anterior.

(d) Cuando f (z) = log z, la integración por partes da

I zc+ I
log z 
2 log z
dz = (log z)  − dz,
γ z zc− γ z

lo que proporciona una fórmula para el caso con n = −1:

I zc+
log z 1  log zc+ + log zc−
I= dz = (log z)  = (log zc+ − log zc− )
2
= 2πi(ln |zc | + αi + πi)
γ z 2 zc− 2
= −2π(π + α) + i2π ln |zc |.

Para la determinación (1) α = 0 y |zc | = 1, luego

I = −2π 2 .

Para la determinación (2) α = −π y |zc | = 1, luego

I = 0.

Problema 4.11. Calcula la integral I

(z − z0 )a−1 dz,
CR

donde CR es la circunferencia |z − z0 | = R orientada en sentido positivo.

Solución: Supongamos que adoptamos la rama del logaritmo [α, α + 2π); entonces, como una primitiva de
(z − z0 )a−1 es (z − z0 )a /a, con la misma determinación, entonces
I z0 +Rei(α+2π)  Ra eiaα
a−1 1 
a 1  a ia(α+2π)

(z − z0 ) dz = (z − z0 )  = R e − Ra eiaα = eia2π − 1
CR a z0 +Reiα a a
a
R ia(α+π)
= e 2i sen πa.
a

Problema 4.12. Halla la integral Z

z i dz,
γ

donde z i se toma sobre la rama principal, y γ es un contorno que parte de −1 y llega a 1 a través de Im z > 0.
56 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Solución:  i0
z i+1 e
Z
i 1 − e(i+1)iπ 1 + e−π 1 + e−π
z dz = = = = (1 − i).
γ i + 1 eiπ i+1 i+1 2

Problema 4.13. Demuestra que Z

eiz
lı́m dz = 0,
r→∞ γ
r
z
donde γr es la curva z(t) = reit , con 0 ≤ t ≤ π.
AYUDA : Acota la integral y usa la desigualdad sen t ≥ 2t/π, válida para todo t ∈ [0, π/2].

Solución: Primero acotaremos el integrando sobre la curva:

 iz 
 e  e− Im z e−r sen t e−2rt/π π
 = = ≤ , 0≤t≤ ;
 z  |z| r r 2
ahora acotamos la integral:
Z iz
 Z π iz(t) 
 Z π  iz(t)  Z π −r sen t Z π/2
 e   e it  e e
e−r sen t dt

 dz = ire dt  ≤ r   dt ≤ r dt = 2

γr z  
0 z(t)  0  z(t)  0 r 0
Z π/2 π/2
π  π
≤2 e−2rt/π dt = − e−2rt/π  = (1 − e−r ).
0 r 0 r
Evidentemente, la última expresión tiende a 0 cuando r → ∞.

Problema 4.14. Si γ es un contorno cerrado y a ∈

/ γ, se define el ı́ndice de γ respecto de a como
I
1 dz
n(γ, a) = .
2πi γ z − a

Calcula n(γ, 0) para el contorno

(
(1 + t)eit si 0 ≤ t ≤ 2kπ,
z(t) = k ∈ N.
1 + 4kπ − t si 2kπ ≤ t ≤ 4kπ,

Basándote en el resultado, ¿puedes dar una interpretación geométrica de n(γ, a)?

AYUDA : Dibuja γ.

Solución: Como (
(1 + i + it)eit si 0 ≤ t ≤ 2kπ,
z ′ (t) = k ∈ N,
−1 si 2kπ ≤ t ≤ 4kπ,
entonces
Z 2kπ Z 4kπ
(1 + i + it)eit 1
2πin(γ, 0) = it
dt − dt
0 (1 + t)e 2kπ 1 + 4kπ − t
Z 2kπ   4kπ 2kπ
1  
= + i dt + ln |1 + 4kπ − t| = ln |1 + t| + i2kπ − ln(1 + 2kπ)
0 1+t 2kπ 0
= ln(1 + 2kπ) + i2kπ − ln(1 + 2kπ) = 2kπi,
4 INTEGRACIÓN EN EL PLANO COMPLEJO 57

luego n(γ, 0) = k.
La curva consiste en una espiral que da k vueltas completas en torno a 0, con amplitud cada vez mayor,
más un tramo recto que une el final de la espiral con el punto inicial. El significado de n(γ, a) parece ser el
número de vueltas que la curva da en torno al punto a. De hecho es ası́, si uno tiene en cuenta que las vueltas
que se dan en sentido positivo cuentan negativamente en el saldo de vueltas.

Problema 4.15. (a) Calcula para cualquier n ∈ Z los valores de

I
(z − a)n dz,
γ

siendo γ una circunferencia cualquiera, orientada positivamente, que no pasa por a.

(b) Prueba que no existe ninguna función holomorfa en C − {0} tal que f ′ (z) = 1/z.
(c) Si A = {z ∈ C : |z| ≤ 2}, calcula I
dz
∂A z2 − 1
empleando el ı́ndice definido en el problema 4.14.
(d) Si A = {z ∈ C : |z| ≤ 3}, calcula
I
2z 2 − 15z + 30
dz.
∂A z 3 − 10z 2 + 32z − 32

Solución: (a) Si γ no rodea el punto a, entonces la función es holomorfa dentro de y sobre el contorno, y
por lo tanto la integral se anula. Si rodea el punto a pero n ≥ 0, de nuevo vale 0 por el mismo argumento.
Si rodea el punto a y n = −1, la integral vale 2πi por la fórmula de Cauchy, y si n < −1, la integral
vale 0 por la fórmula de las derivadas. Ası́ pues,
I (
2πi si γ rodea a y n = −1,
(z − a)n dz =
γ 0 en caso contrario.

(b) Hay dos maneras de hacer esta integral. La primera es descomponiendo el integrando en fracciones
elementales como  
1 1 1 1
= − ,
z2 − 1 2 z−1 z+1
con lo que I I I
dz 1 dz 1 dz
2
= − = πi − πi = 0.
∂A z −1 2 ∂A z−1 2 ∂A z+1
La segunda forma consiste en tomar dos curvas, γ1 y γ2 , contenidas dentro de ∂A y tales que la primera
rodea el punto z = 1 y la segunda el punto z = −1; entonces
I I I I I
dz dz dz f1 (z) f2 (z)
2−1
= 2−1
+ 2−1
= dz + dz,
∂A z γ1 z γ2 z γ1 z − 1 γ2 z +1

donde f1 (z) = 1/(z + 1), holomorfa dentro de y sobre γ1 , y f2 (z) = 1/(z − 1), holomorfa dentro de y
sobre γ2 . Por tanto, aplicando la fórmula de Cauchy,
I  
dz   1 1
2
= 2πi f1 (1) + f2 (−1) = 2πi − = 0.
∂A z − 1 2 2
58 4 INTEGRACIÓN EN EL PLANO COMPLEJO

(c) El denominador tiene la raı́z z = 2, de modo que dividiendo por Ruffini,

1 -10 32 -32
2 2 -16 32
1 -8 16 0

obtenemos la factorización

z 3 − 10z 2 + 32z − 32 = (z − 2)(z 2 − 8z + 16) = (z − 2)(z − 4)2 .

Ası́ pues,
I I I
2z 2 − 15z + 30 2z 2 − 15z + 30 f (z)
dz = dz = dz = 2πif (2),
∂A z 3 − 10z 2 + 32z − 32 ∂A (z − 2)(z − 4)2 ∂A z−2

donde la función
2z 2 − 15z + 30
f (z) =
(z − 4)2
es holomorfa sobre y dentro de la curva γ. Como f (2) = 2, la integral vale
I
2z 2 − 15z + 30
dz = 4πi.
∂A z 3 − 10z 2 + 32z − 32

Problema 4.16. Obtén las siguientes acotaciones:

Z z 
 e 
(a)  dz  ≤ πe, cuando γ está parametrizada por z(t) = eit , con 0 ≤ t ≤ π.
γ z
I 
 sen z 
(b) 

2
dz  ≤ 2πe, cuando γ es la circunferencia |z| = 1 orientada positivamente.
γ z

Solución: (a)
Z z  Z π z(t)  Z
  π  Z π  Z π Z π
 e   e it

z(t)   z(t)  Re z(t)
ecos t dt
 
 dz  = 

it
ie dt =  e dt ≤ e  dt = e dt =

γ z  0 e  0 0 0 0
Z π
≤ e dt = πe.
|{z} 0
cos t≤1

(b)
I  Z  Z 2π Z
 sen z   2π sen z(t) it  1 2π  iz(t) 
−iz(t) 

2
dz  =  ie dz  ≤ | sen z(t)| dt =  e − e  dt

γ z
 
0 e2it 
0 2 0
Z Z
1 2π  iz(t)   −iz(t)  1 2π  − sen t 
= e  + e  dt = e + esen t dt
2 0 2 0
Z 2π Z 2π
= cosh(sen t) dt ≤ cosh 1 dt = 2π cosh 1 = π(e + e−1 ) ≤ 2πe.
0 0
4 INTEGRACIÓN EN EL PLANO COMPLEJO 59

Problema 4.17. Empleando la fórmula integral de Cauchy, obtén las integrales (las curvas están todas
orientadas positivamente):
I I I
cos z |z|ez e3z
(a) dz, (h) dz, (ñ) dz,
z z2 (z − 1/2)5
|z|=1 |z|=2 |z|=1
I I I
sen z dz z2
(b) dz, (i) , (o) dz,
z2 2
z − 2i z3 − 1
|z|=1 |z−1|=2 |z|=2
I I I
sen z dz z2
(c) dz, (j) , (p) dz,
z 2 2
z (z + 16) (z − 1)3
|z|=1 |z|=2 |z|=2
I I
ez + z ezt
I
senh 5z
(d) dz, (k) dz, (q) dz,
z−2 (1 + z 2 )z 2 z2 + 1
|z|=3 |z|=3/2 |z|=3
I
I
z2
I
ez zezt
(e) dz, (l) dz, (r) dz,
z−1 z (z + 1)3
|z|=2 |z−2|=1 |z|=3
I
I
z2 − 1
I
ez zezt
(f) dz, (m) dz, (s) dz.
z2 + 1 z z3 + 1
|z|=1 |z|=3
|z|=2
I I
dz 2z − senh 2z + 2(z − z0 ) cos2 z
(g) , (n) dz,
z 2 + 2z − 3 (z − z0 )2
|z|=2 |z−z0 |=r

Solución: (a) Usando la fórmula integral de Cauchy,

I
cos z
dz = 2πi cos 0 = 2πi.
|z|=1 z

(b) Usando la fórmula de las derivadas,

I 
sen z ′
2
dz = 2πi(sen z)  = 2πi cos 0 = 2πi.
|z|=1 z z=0

(c) Usando la fórmula integral de Cauchy,

I
sen z
dz = 2πi sen 0 = 0.
|z|=1 z

De otro modo: la función sen z/z es holomorfa en todo el plano, ası́ que la integral sobre cualquier
curva cerrada da 0.

(d) Usando la fórmula integral de Cauchy,

I
ez + z
dz = 2πi(e2 + 2).
|z|=3 z−2
60 4 INTEGRACIÓN EN EL PLANO COMPLEJO

(e) Usando la fórmula integral de Cauchy,

I
z2
dz = 2πi12 = 2πi.
|z|=2 z−1

(f) Descomponiendo en fracciones elementales

 
1 1 1 1
2
= − ,
z +1 2i z−i z+i

la integral queda
I I I
z2 − 1 1 z2 − 1 1 z2 − 1
2
dz = dz − dz = π(i2 − 1 − (−i)2 + 1) = 0.
|z|=2 z + 1 2i |z|=2 z − i 2i |z|=2 z + i

(g) Como z 2 + 2z − 3 = (z − 1)(z + 3),

I I
dz dz 1 π
2
= = 2πi = i.
|z|=2 z + 2z − 3 |z|=2 (z − 1)(z + 3) 1+3 2

(h) Usando la fórmula de las derivadas,

I I
|z|ez ez 
z ′
2
dz = 2 2
dz = 2 × 2πi(e )  = 4πie0 = 4πi.
|z|=2 z |z|=2 z z=0

(i) Tenemos que z 2 − 2i = (z − 1 − i)(z + 1 + i). De las dos raı́ces, 1 + i está en el interior de la curva
|z − 1| = 2 ya que
|1 + i − 1| = |i| = 1 < 2,
pero −1 − i está fuera porque
√
| − 1 − i − 1| = |2 + i| = 5 > 2,

ası́ que
I I 
dz dz 1  πi
2
= = 2πi  =
|z−1|=2 z − 2i |z−1|=2 (z − 1 − i)(z + 1 + i) z + 1 + i z=1+i 1 + i

πi π
= (1 − i) = (1 + i).
2 2

(j) Usando la fórmula de las derivadas

I  ′  
dz 1  −2z 
2 2
= 2πi 2
 = 2πi 2 2
 = 0.
|z|=2 z (z + 16) z + 16 (z + 16) z=0

z=0

(k) Las raı́ces del denominador son z = 0, ±i, las tres dentro de la curva |z| = 3/2. Si γ0 , γi y γ−i
son tres contornos cerrados, simples, orientados en sentido positivo, que rodean los tres puntos 0, i, −i
respectivamente,
I I I I
senh 5z f0 (z) fi (z) f−i (z)
2 )z 2
= 2
dz + dz + dz,
|z|=3/2 (1 + z γ0 z γi z − i γ−i z + i
4 INTEGRACIÓN EN EL PLANO COMPLEJO 61

donde
senh 5z senh 5z senh 5z
f0 (z) = , fi (z) = , f−i (z) = .
1 + z2 z 2 (z + i) z 2 (z − i)
Entonces,
I
senh 5z

2 2
= 2πi f0′ (0) + fi (i) + f−i (−i)
|z|=3/2 (1 + z )z
  
5 cosh 5z(1 + z 2 ) − 2z senh 5z  senh 5i − senh 5i
= 2πi + +
(1 + z 2 )2 
z=0 −2i 2i
= 2πi(5 − sen 5).

(l) Como el integrando es una función holomorfa sobre y dentro de la curva |z − 2| = 1,

I
ez
dz = 0.
|z−2|=1 z

(m) Por la fórmula integral de Cauchy,

I
ez
dz = 2πie0 = 2πi.
|z|=1 z

(n) Podemos descomponer

I I I
2z − senh 2z + 2(z − z0 ) cos2 z 2z − senh 2z 2 cos2 z
dz = dz + dz
|z−z0 |=r (z − z0 )2 |z−z0 |=r (z − z0 )2 |z−z0 |=r z − z0
2 2
= 2πi(2 − 2 cosh 2z0 + 2 cos z0 ) = 4πi(1 − cosh 2z0 + cos z0 )
= 4πi(−2 senh2 z0 + cos2 z0 )

(ñ) Por la fórmula de las derivadas,

I
e3z 2πi 3z
′′′′  27πi 3/2
dz = e  = e .
|z|=1 (z − 1/2)5 4! z=1/2 4

(o) El denominador se descompone como z 3 − 1 = (z − 1)(z − w)(z − w2 ), siendo w = ei2π/3 y, por tanto,
w3 = 1. Entonces, si γ1 , γw y γw2 son tres contornos cerrados, simples, orientados positivamente, que
están en el interior de |z| = 2 y rodean, respectivamente, los puntos z = 1, w, w2 , entonces
I I I I
z2 f1 (z) fw (z) fw2 (z)
dz = dz + dz + dz
|z|=2 z3 − 1 γ1 z−1 γw z − w γw 2 z − w
2


= 2πi f1 (1) + fw (w) + fw2 (w2 ) ,

siendo

z2 z2 z2
f1 (z) = , fw (z) = , fw2 (z) = .
(z − w)(z − w2 ) (z − 1)(z − w2 ) (z − 1)(z − w)
62 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Evaluando las funciones y teniendo en cuenta que 1 − w2 = (1 − w)(1 + w) y que w4 = w3 w = w,

1 w2 w4
f1 (1) + fw (w) + fw2 (w2 ) = + +
(1 − w)(1 − w2 ) (w − 1) (w − w2 ) (w2 − 1) (w2 − w)
| {z } | {z }
=w(1−w) =w(w−1)
 
1 w 1 1 2
= 2
− 2
+ 2
= −w
(1 − w) (1 + w) (1 − w) (1 − w) (1 + w) (1 − w)2 1+w
2 − w − w2 2 − w − w2 2 − w − w2
= = = = 1.
(1 − w)2 (1 + w) (1 − w)(1 − w2 ) 2 − w − w2
Por lo tanto, I
z2
dz = 2πi.
|z|=2 z3 − 1

(p) Por la fórmula de las derivadas,

I
z2 2πi 2 ′′ 
dz = (z )  = 2πi.
|z|=2 (z − 1)3 2! z=1

(q) El contorno rodea las dos raı́ces del denominador z = ±i, de modo que si llamamos γi y γ−i a dos
contornos cerrados, simples, orientados positivamente, en el interior de |z| = 3 y que rodean, respecti-
vamente, cada una de las dos raı́ces,
I I I
ezt fi (z) f−i (z)  
2
dz = dz + dz = 2πi fi (i) + f−i (−i) ,
|z|=3 z + 1 γi z − i γ−i z + i

siendo
ezt ezt
fi (z) = , f−i (z) = .
z+i z−i
Entonces, I  
ezt eit e−it
dz = 2πi + = 2πi sen t.
|z|=3 z2 + 1 2i −2i

(r) Por la fórmula de las derivadas,

I 
zezt 2πi ∂ 2

zt 
dz = ze  .
|z|=3 (z + 1)3 2! ∂z 2 z=−1

Como
∂2
∂  
2
zezt = (1 + zt)ezt = t(2 + zt)ezt ,
∂z ∂z
entonces, I
zezt
3
dz = πit(2 − t)e−t .
|z|=3 (z + 1)

(s) Las tres raı́ces del denominador son z = −1, e±iπ/3 . Como las tres raı́ces están dentro del contorno, si
γ0 y γ± son tres contornos cerrados, simples, orientados positivamente, del interior de |z| = 3, y que
rodean, respectivamente, las tres raı́ces, entonces,
I I I I
zezt f0 (z) f+ (z) f− (z)
3+1
dz = dz + iπ/3
dz + −iπ/3
dz
|z|=3 z γ0 z + 1 γ+ z − e γ− z − e
h i
= 2πi f0 (−1) + f+ (eiπ/3 ) + f− (e−iπ/3 ) ,
4 INTEGRACIÓN EN EL PLANO COMPLEJO 63

siendo

zezt
f0 (z) = ,
(z − eiπ/3 )(z − e−iπ/3 )
zezt
f+ (z) = ,
(z + 1)(z − e−iπ/3 )
zezt
f− (z) = .
(z + 1)(z − eiπ/3 )

Ası́ pues, teniendo en cuenta que

√ √ √ !
iπ/3 −i2π/3 1 3 3 3 √ 3 1 √
1+e =1−e =1+ +i = +i = 3 i +i = 3eiπ/6 ,
2 2 2 2 2 2

tendremos

−e−t 1
f0 (−1) = iπ/3 −iπ/3
= − e−t ,
(1 + e )(1 + e ) 3
√ √
eiπ/3 et/2 eit 3/2 et/2 eit 3/2 1 t/2 i(t√3/2−π/3)
f+ (eiπ/3 ) = = = e e ,
(1 + eiπ/3 )(eiπ/3 − e−iπ/3 ) (1 + eiπ/3 )(1 − e−i2π/3 ) 3
√ √
−iπ/3 e−iπ/3 et/2 e−it 3/2 et/2 e−it 3/2 1 √
f− (e )= −iπ/3 −iπ/3 iπ/3
= −iπ/3 i2π/3
= et/2 e−i(t 3/2−π/3) ,
(1 + e )(e −e ) (1 + e )(1 − e ) 3

y por consiguiente,

 √3
I !
zezt 2πi π
3
dz = 2et/2 cos t− − e−t .
|z|=3 z +1 3 2 3

Problema 4.18. Demuestra, sin calcular la integral, que

I
log z
lı́m dz = 0,
R→∞ CR z 2

donde CR es la circunferencia |z| = R (con cualquier orientación) y el logaritmo se toma en la rama

principal.

Solución: Puesto que el logaritmo está en la rama principal, sobre CR tendremos log z = ln R + iθ, con
−π < θ ≤ π. Entonces,
 
 log z  | ln R + iθ| ln R + |θ| ln R + π
 z2  = ≤ ≤ ,
 
R 2 R 2 R2

y en consecuencia, I 
 log z  ln R + π 2π(ln R + π)

2
dz  ≤ 2
2πR = ,

CR z R R
que tiende a 0 cuando R → ∞.
64 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Problema 4.19. Calcula en función r el valor de la integral (la curva está orientada positivamente)
I
sen(πz 2 ) + cos(πz 2 )
dz.
(z − 1)(z − 2)
|z|=r

Solución: Si denotamos el contorno Cr y utilizamos los ı́ndices n(Cr , 1) y n(Cr , 2), que valen
( (
0 si r < 1, 0 si r < 2,
n(Cr , 1) = n(Cr , 2) =
1 si r > 1, 1 si r > 2,

teniendo en cuenta que

1 1 1
= − ,
(z − 1)(z − 2) z−2 z−1
tendremos
I I I
sen(πz 2 ) + cos(πz 2 ) sen(πz 2 ) + cos(πz 2 ) sen(πz 2 ) + cos(πz 2 )
dz = dz − dz
(z − 1)(z − 2) z−2 z−1
|z|=r |z|=r |z|=r
   
= 2πi n(Cr , 2)(sen 4π + cos 4π) − n(Cr , 1)(sen π + cos π) = 2πi n(Cr , 2) + n(Cr , 1)

0
 si r < 1,
= 2πi si 1 < r < 2,


4πi si 2 < r.

Problema 4.20. Calcula la integral I

ez
dz
γ z(1 − z)3
si γ es un contorno con los siguientes ı́ndices:

(a) n(γ, 0) = 1, n(γ, 1) = 0,

(b) n(γ, 0) = 0, n(γ, 1) = 1,
(c) n(γ, 0) = 1, n(γ, 1) = 1,
(d) n(γ, 0) = 0, n(γ, 1) = 0.

Solución: (a) La curva sólo rodea el 0, luego

I 
ez ez 
dz = 2πi = 2πi.
γ z(1 − z)3 (1 − z)3 z=0

(b) La curva sólo rodea el 1, luego

I   
ez 2πi −ez 1 2 z

3
dz = |z=1 = −πi 3 (2 − 2z + z )e  = −eπi.
γ z(1 − z) 2! z z z=1
4 INTEGRACIÓN EN EL PLANO COMPLEJO 65

(c) Tomando dos contornos cerrados, simples, orientados positivamente, cada uno rodeando uno de los dos
puntos z = 0 y z = 1, la integral se descompone en la suma de las dos integrales de los apartados
anteriores. Por tanto, I
ez
3
dz = −(e − 2)πi.
γ z(1 − z)

(d) Evidentemente, en este caso I

ez
dz = 0.
γ z(1 − z)3

Problema 4.21. (a) Dado el contorno γ, cerrado, simple, orientado positivamente y que rodea el origen,
calcula I  
1 2n dz
z+ , n ∈ N.
γ z z

(b) A partir de este resultado, obtén el valor de

Z π/2 Z π/2
2n
(cos θ) dθ, (sen θ)2n dθ.
0 0

AYUDA : En (a) emplea la fórmula del binomio de Newton; en (b) elige como γ la circunferencia |z| = 1.

Solución: (a) Por la fórmula del binomio,

 2n 2n   2n  
1 X 2n 2n−k −k X 2n 2(n−k)
z+ = z z = z ,
z k k
k=0 k=0

luego
  2n  
1 1 2n X 2n 2(n−k)−1
z+ = z .
z z k
k=0
Ahora bien, (
I
2(n−k)−1 2πi si k = n,
z dz =
γ 0 si k 6= n,
por lo que
I  2n  
1 dz 2n
z+ = 2πi .
γ z z n

(b) Tomando la curva γ, parametrizada por z(θ) = eiθ , con 0 ≤ θ ≤ 2π, tendremos

1 z ′ (θ)
z(θ) + = 2 cos θ, = i,
z(θ) z(θ)
ası́ que
I    
1 2n dz
Z 2π
2n 2n 2n
z+ =i 2 cos θ dθ = 2πi ,
γ z z 0 n
y como
Z 2π Z π/2
2n
cos θ dθ = 4 cos2n θ dθ,
0 0
66 4 INTEGRACIÓN EN EL PLANO COMPLEJO

entonces, Z Z  
π/2 π/2
2n 2n 2nπ
cos θ dθ = sen θ dθ = 2n+1 .
0 0 2 n

Problema 4.22. Aplica el teorema del valor medio de Gauss para hallar las integrales:
Z 2π Z π
eiθ
a + cos nθ
(a) e dθ, (d) 2
dθ, a > 1, n ∈ Z,
0 −π a + 1 + 2a cos nθ
Z 2π Z 2π
 
(b) cos(cos θ + i sen θ) dθ, (e) ln a2 + 1 + 2a cos nθ dθ, a > 1, n ∈ Z,
0 0
Z π Z 2π
(c) cos(cos θ) cosh(sen θ) dθ, (f) ln(a + b cos θ) dθ, a > b ≥ 0.
−π 0
 2
= 1/(z n + a); en (e) usa la identidad a2 + 1 + 2a cos nθ = a + einθ  ;
AYUDA : En (d) usa la función f (z)
 2
(f) busca α > β ≥ 0 tales que a + b cos θ = α + βeiθ  .

Solución: (a) Definiendo f (z) = ez ,

Z 2π Z 2π
eiθ
e dθ = f (eiθ ) dθ = 2πf (0) = 2π.
0 0

(b) Definiendo f (z) = cos z,

Z 2π Z 2π
cos(cos
| θ+{zi sen θ}) dθ = f (eiθ ) dθ = 2πf (0) = 2π.
0 0
=eiθ

(c) Definiendo u(x, y) = Re cos z = cos x cosh y,

Z 2π Z 2π
cos(cos θ) cosh(sen θ) dθ = u(cos θ, sen θ) dθ = 2πu(0, 0) = 2π.
0 0

(d) Como
1 zn + a a + zn
f (z) = = = ,
zn + a (a + z n )(a + z n ) a2 + |z|2n + 2a Re(z n )
entonces, definiendo u(x, y) = Re f (z), tendremos
a + cos nθ
u(cos θ, sen θ) = Re f (eiθ ) = .
a2 + 1 + 2a cos nθ
Por lo tanto,
Z π Z π
a + cos nθ 2π
2
dθ = u(cos θ, sen θ) dθ = 2πu(0, 0) = 2π Re f (0) = .
−π a + 1 + 2a cos nθ −π a

(e) Definiendo f (z) = log(a + z n ) y u(x, y) = Re f (z),

Z 2π Z 2π Z 2π
 2   
inθ 
ln a + 1 + 2a cos nθ dθ = 2 ln a + e
 dθ = 2 u(cos θ, sen θ) dθ
0 0 0
= 4πu(0, 0) = 4π Re f (0) = 4π ln a.
4 INTEGRACIÓN EN EL PLANO COMPLEJO 67

(f) Siguiendo la indicación,

|α + βeiθ |2 = (α + βeiθ )(α + βe−iθ ) = α2 + β 2 + 2αβ cos θ = a + b cos θ,

de donde (
a = α2 + β 2 ,
b = 2αβ.

De la segunda se deduce que β = b/2α, que insertada en la primera conduce a

b2 b2
α2 + =a ⇐⇒ α4 − aα2 + = 0.
4α2 4
Las soluciones de esta ecuación son
√
2 a± a2 − b2
α = ,
2
de donde √ √
2 b2 b2 b2 (a ∓ a2 − b2 ) a ∓ a2 − b2
β = = √ = = .
4α2 2(a ± a2 − b2 ) 2(a2 − a2 + b2 ) 2
Como exigimos que α > β ≥ 0, la única solución es
s √ s √
a+ a2 − b2 a− a2 − b2
α= , β= .
2 2

Ahora definimos f (z) = log(α + βz) y u(x, y) = Re f (z), con lo que

Z 2π Z 2π Z 2π
iθ
ln(a + b cos θ) dθ = 2 ln |α + βe | dθ = 2 u(cos θ, sen θ) dθ = 4πu(0, 0)
0 0 0
√ !
a + a2 − b2
= 4π Re f (0) = 4π ln α = 2π ln .
2

Problema 4.23. Sean f, g dos funciones holomorfas en el dominio Ω ⊂ C y supongamos que g es inyectiva
en Ω y que g ′ (z) 6= 0 para todo z ∈ Ω. Sea γ ∈ Ω un contorno cerrado simple orientado positivamente que
rodea z; entonces, prueba que I
g ′ (z) f (ζ)
f (z) = dζ.
2πi γ g(ζ) − g(z)
AYUDA : Aplica la fórmula integral de Cauchy a la función holomorfa

 f (ζ)(ζ − z)

 si ζ 6= z,
 g(ζ) − g(z)

h(ζ) =


 f (z)

 ′ si ζ = z.
g (z)
68 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Solución: Dado z ∈ Ω, definamos la función


 f (ζ)(ζ − z)

 si ζ 6= z,
 g(ζ) − g(z)

h(ζ) =


 f (z)

 ′ si ζ = z.
g (z)
Esta función es holomorfa en Ω porque f y g lo son, porque por ser g inyectiva en Ω el denominador sólo se
anula en ζ = z y porque en ese punto está definida de manera continua. Entonces, por el teorema de Cauchy,
I
1 h(ζ)
h(z) = dζ,
2πi γ ζ − z
y sustituyendo la expresión de h,
I
f (z) 1 f (ζ)
′
= dζ,
g (z) 2πi γ g(ζ) − g(z)
de donde se sigue el resultado.

Problema 4.24. (a) Sea f (z) una función holomorfa en el disco D(0, R0 ). Prueba que si |a| < R < R0 y
γ es la circunferencia |z| = R orientada positivamente, entonces
I
1 R2 − |a|2
f (a) = f (z) dz.
2πi γ (z − a)(R2 − za)

(b) Del apartado anterior deduce la fórmula de Poisson para funciones holomorfas, siendo 0 ≤ r < R y
0 ≤ θ < 2π: Z 2π
  1 R2 − r 2

f reiθ = f Reiϕ
dϕ.
2π 0 R2 − 2Rr cos(θ − ϕ) + r2

(c) A partir del apartado anterior, deduce la fórmula de Poisson para funciones armónicas u(x, y) en el
cı́rculo x2 + y 2 < R02 :
Z 2π
1 R2 − r 2
u(r cos θ, r sen θ) = u(R cos ϕ, R sen ϕ) dϕ.
2π 0 R2 − 2Rr cos(θ − ϕ) + r2

Solución: (a) El denominador del integrando tiene dos raı́ces: z = a y z = R2 /a. El módulo de esta última
es  2
 R  R2 R2
 = > = R,
 a  |a| R
ya que |a| < R. Por lo tanto, la función

R2 − |a|2
f (z)
R2 − za
es holomorfa sobre γ y en su interior. Por la fórmula de Cauchy,
I
1 R2 − |a|2 R2 − |a|2
f (z) dz = f (a) = f (a).
2πi γ (z − a)(R2 − za) R2 − aa
4 INTEGRACIÓN EN EL PLANO COMPLEJO 69

(b) Escribimos a = reiθ y parametrizamos γ como z(ϕ) = Reiϕ , con 0 ≤ ϕ ≤ 2π, con lo que la integral
queda
Z 2π

iθ
 1 R2 − |a|2
f re = f (Reiϕ )Reiϕ dϕ
2π 0 (Reiϕ − reiθ )(R2 − Rrei(ϕ−θ) )
Z 2π
1 R2 − |a|2
= −i(ϕ−θ) i(ϕ−θ)
f (Reiϕ ) dϕ
2π 0 (R − re )(R − re )
Z 2π 2 2
1 R − |a|
= f (Reiϕ ) dϕ,
2π 0 R2 + r2 − 2Rr cos(ϕ − θ)

que, gracias a la paridad del coseno, coincide con la fórmula de Poisson.

(c) Basta tomar la parte real en los dos miembros de la fórmula de Poisson.

Problema 4.25. Sea f (z) una función holomorfa en un dominio Ω que contiene el disco D(0, 1), y sea
γ = ∂D(0, 1).

(a) Prueba que se verifica

I  
1 f (z)

2+z+ dz = 2πi 2f (0) + f ′ (0) .
γ z z

(b) Usando el apartado anterior prueba que

Z 2π

π
f eiθ cos2 (θ/2) dθ = πf (0) + f ′ (0).
0 2

Solución: (a)
I   I I I
1 f (z) f (z) f (z) ′


2+z+ dz = 2 dz + f (z) dz + 2
dz = 2πi 2f (0) + f (0) .
γ z z γ z γ γ z
| {z } | {z } | {z }
=2πif (0) =0 =2πif ′ (0)

(b) Parametrizando γ como z(θ) = eiθ con 0 ≤ θ ≤ 2π, tenemos

1
2+z+ = 2 + eiθ + e−iθ = 2(1 + cos θ) = 4 cos2 (θ/2)
z

luego
I   Z 2π
1 f (z)


2+z+ dz = i 4 cos2 (θ/2) eiθ dθ = 2πi 2f (0) + f ′ (0)
γ z z 0

y despejando,
Z 2π
π
f eiθ cos2 (θ/2) dθ = πf (0) + f ′ (0).
0 2
70 4 INTEGRACIÓN EN EL PLANO COMPLEJO

Problema 4.26. Sean γ, γ1 , . . . , γn contornos cerrados simples con orientación positiva tales que γ1 , . . . , γn
están en el interior de γ y los interiores de dos cualesquiera de ellos tienen interesección vacı́a. Sea f (z) una
función holomorfa en Ω, siendo Ω la región comprendida entre el contorno γ y los contornos γ1 , . . . , γn .
Prueba la fórmula integral de Cauchy para dominios múltiplemente conexos
I n I
1 f (z) X 1 f (z)
f (a) = dz − dz, ∀a ∈ Ω.
2πi γ z−a 2πi γk z−a
k=1

Concluye que si A es una región cerrada de C (con o sin agujeros) y a es un punto del interior de A, la
fórmula integral de Cauchy se expresa como
I
1 f (z)
f (a) = dz.
2πi ∂A z − a

AYUDA : Aplica el teorema de Cauchy-Goursat para dominios múltiplemente conexos a la función [f (z) −
f (a)]/(z − a).

Solución: Definamos la función


 f (z) − f (a) si z 6= a,
g(z) = z−a
f ′ (a) si z = a.

Esta función es holomorfa en Ω. Entonces, el teorema de Cauchy-Goursat para dominios múltiplemente

conexos afirma que
I n I
X
g(z) dz = g(z) dz.
γ k=1 γk

Sustituyendo la función (nótese que a ∈/ γ, γk ),

I n I
f (z) − f (a) X f (z) − f (a)
dz = dz.
γ z−a γk z−a
k=1

Ahora bien, el miembro de la izquierda se transforma en

I I I I
f (z) − f (a) f (z) dz f (z)
dz = dz − f (a) = dz − 2πif (a),
γ z−a γ z−a γ z−a γ z−a
| {z }
=2πi

y el de la derecha,
I I I I
f (z) − f (a) f (z) dz f (z)
dz = dz − f (a) = dz,
γk z−a γk z−a γk z − a γk z−a
| {z }
=0

ası́ que sustituyendo,

I n I
f (z) X f (z)
dz − 2πif (a) = dz,
γ z−a γk z−a
k=1
de donde I n I
1 f (z) X f (z)
f (a) = dz − dz.
2πi γ z−a γk z−a
k=1
4 INTEGRACIÓN EN EL PLANO COMPLEJO 71

Problema 4.27. Demuestra que si f (z) es holomorfa en D(0, R) − {0} y 0 < r < R, la integral
Z 2π  
f reiθ dθ
0

es independiente de r.
AYUDA : Aplica el teorema de Cauchy-Goursat para dominios múltiplemente conexos.

Solución: Definiendo el contorno z(θ) = reiθ con 0 ≤ θ ≤ 2π, para la cual z ′ (θ)/z(θ) = i,
Z 2π   I
1 f (z)
f reiθ dθ = dz.
0 i |z|=r z

Por el teorema de Cauchy-Goursat para dominios múltiplemente conexos,

I I
1 f (z) 1 f (z)
dz = dz
i |z|=r z i |z|=r0 z
para cualquier 0 < r0 < R, una integral que es, evidentemente, independiente de r.

Problema 4.28. Sea f (z) una función holomorfa en todo C. A partir del teorema de Liouville demuestra
que

(a) si |f | ≥ 1, entonces f es contante;

(b) si Re f ≥ 0, entonces f es contante;
(c) si Im f ≤ 1, entonces f es contante;
(d) si Re f no tiene ceros, entonces f es contante;
(e) si existe una recta que no corta a f (C), entonces f es constante.

AYUDA : En cada caso estudia (a) 1/f , (b) ef , (c) e−i(f −1) , (d) la imagen de |ef |, (e) encuentra una transfor-
mación de f que reduzca el problema al caso (d).

Solución: (a) Como |f | =

6 0 entonces f 6= 0 y, por tanto, 1/f es holomorfa en C. Su módulo
 
1
  = 1 ≤ 1,
 f  |f |

por lo que está acotada. Entonces, por el teorema de Liouville, f = const.

(b) La función e−f es holomorfa en C. Su módulo
|e−f | = e− Re f ≤ 1,
por lo que por está acotada. Ası́ que, según el teorema de Liouville, e−f = const. y, por consiguiente,
f = const.
(c) La función e−if es holomorfa en C. Su módulo
|e−if | = eIm f ≤ e,
por lo que por está acotada. Ası́ que, según el teorema de Liouville, e−if = const. y, por consiguiente,
f = const.
72 4 INTEGRACIÓN EN EL PLANO COMPLEJO

(d) Si Re f 6= 0 entonces o bien Re f > 0 o bien Re f < 0. En el primer caso |e−f | < 1, lo que hemos
visto que implica f = const. En el segundo caso |ef | < 1 lo que de nuevo implica f = const.

(e) Sea y = tan θx + b la recta; si f (C) no corta la recta nunca, eso significa que

Im f 6= tan θ Re f + b ⇔ Im f − b 6= tan θ Re f ⇔ tan θ Re f − (Im f − b) 6= 0.

Multiplicando por sen θ,

h i
tan θ Re f − (Im f − b) 6= 0 ⇔ cos θ Re f − sen θ(Im f − b) 6= 0 ⇔ Re eiθ (f − ib) 6= 0.

La función g = eiθ (f − ib) es holomorfa en C, y como Re g no tiene ceros, según hemos visto eso
implica que g = const., es decir, que f = const.

Problema 4.29. Prueba que una función holomorfa en C que verifique |f (z)| ≤ M |z|m para |z| suficiente-
mente grande, donde m ∈ N, es necesariamente un polinomio de grado a lo más m.
AYUDA : Usa un argumento similar a la demostración del teorema de Liouville para probar que f (m+1) (z) =
0 en C.

Solución: Según la desigualdad de Cauchy,

 
 (m+1)  (m + 1)!MR
f (z) ≤ ,
Rm+1
siendo MR el máximo de |f (z)| sobre la circunferencia |z| = R. Si R es suficientemetne grande, digamos
mayor que R0 , entonces MR ≤ M Rm , con lo que
 
 (m+1)  (m + 1)!M
f (z) ≤ .
R
Evidentemente, f (m+1) (z) está acotada en |z| ≤ R0 por ser holomorfa. Entonces tenemos una función
holomorfa en C y acotada, de manera que debe ser constante, f (m+1) (z) = c. De la desigualdad se sigue
que
(m + 1)!M
|c| ≤
R
para todo R > R0 , ası́ que c = 0. Si f (m+1) (z) = 0 entonces f (z) es un polinomio de grado a lo sumo
m.

Problema 4.30. Prueba que si una función no constante f (z) es doblemente periódica en la forma

f (z + a) = f (z), f (z + ib) = f (z), a, b > 0,

no puede ser holomorfa en el rectángulo {z ∈ C : 0 ≤ Re z ≤ a, 0 ≤ Im z ≤ b}.

AYUDA : Usa el teorema de Liouville.

Solución: Si fuera holomorfa, f estarı́a acotada en el rectángulo; por la periodicidad, f estarı́a acotada en
todo C, y serı́a, pues, constante. Luego no puede ser holomorfa en el rectángulo.