Matemática D

MATEMÁTICA D
Módulo I: Análisis de Variable Compleja

Unidad 3 Integración Compleja

Mag. María Inés Baragatti

♦ Integral de una función de variable real a valores complejos

♦ Sea z(t) = u(t) + i v(t) una función de variable real t a valores complejos, con u(t) y v(t)
integrables en [a,b] , se define la integral de z(t) en [a,b] como:

b b b
∫a
z(t ) dt = ∫ u(t ) dt + i ∫ v(t ) dt
a a

Ejemplos
∫ (4t + i3t )dt = ∫
2 2 2 2 2
1- 2
4t dt + i ∫ 3t 2 dt = 2t 2 + it 3 = 6 + i9
−1 −1 −1 −1 −1
π π
( −1) n − 1
∫0 (cost + isen t ) dt = ∫0 [cos (nt) + i sen (nt)] dt =
π π sen(nt ) cos(nt )
−i =0−i
n
2-
n 0 n 0 n

∆ Actividad 1:

a) Si z1(t) = u1(t) + i v1(t) y z2(t) = u2(t) + i v2(t) son integrables en [a,b] y α y β son
constantes complejas demostrar que :

∫ [α z (t ) + β z 2 (t)] dt = α
b b b

a
1 ∫a
z 1 (t ) dt + β ∫ z 2 (t) dt (propiedad de linealidad)
a

b) Si z(t) = u(t) + i v(t) es integrable en [a,b] , demostrar las siguientes propiedades:

b1) Re  ∫ z(t ) dt  = ∫ Re[z(t )] dt b2) Im  ∫ z(t ) dt  = ∫ Im[z(t )] dt

b b b b

 a  a  a  a
b b
b3) ∫
a
z(t ) dt = ∫ z(t) dt
a

1
Módulo I - Unidad 3
 Matemática D

∆ Actividad 2:
b b
Si z(t) es integrable en [a,b] entonces vale la siguiente desigualdad ∫
a
z(t ) dt ≤ ∫ z(t ) dt
a

A continuación se bosqueja la demostración de esta propiedad y se deja a cargo del alumno justificar
algunos de los pasos.
b
Supongamos que el resultado de la integral ∫a
z(t ) dt es un complejo de módulo r0 y argumento
b b b
θ0, , es decir ∫ z(t ) dt = r0 e iθ0 ⇒ ∫ z(t ) dt = r0 (#) y ∫ e −iθ 0 z(t ) dt = r0 (##)
a a a

Teniendo en cuenta (#) y (##) y otras propiedades ya mencionadas, justificar todas las igualdades
y desigualdades que se indican a continuación:

∫a
b
z( t ) dt =
(1) ∫
a
b
e − iθ 0 z(t ) dt = Re  ∫ e − iθ0 z( t ) dt  =
( 2)  a
b

 ( 3 ) ∫
a
b
[ ]
Re e − iθ0 z(t ) dt ≤
(4) ∫
b

a
e − iθ0 z(t ) dt =
(5) a
b

∫ z(t) dt
(1):por (#) y (##)
(2):…………………………………………………………………………………………………
(3):…………………………………………………………………………………………………
(4):…………………………………………………………………………………………………
(5):…………………………………………………………………………………………………

∆ Actividad 3:
Si z(t) es continua en [a,b] y si Z(t) es una primitiva de z(t), es decir Z’(t) = z(t) , entonces
b
∫a
z(t ) dt = Z(b ) − Z(a )

Usar en todos los casos la definición de integral dada más arriba.

Esta propiedad , como en el caso de funciones reales, se denomina Regla de Barrow.

Ejemplo

Conociendo la regla de Barrow para funciones de variable real a valores complejos, podemos
hallar la integral propuesta en el ejemplo 2 del siguiente modo:

(− 1)n − 1 = 0
π
e int si n es par
∫0 (cost + isen t )
π π π
dt = ∫ (e ) = ∫ e dt = =
n it n int

0 0 in 0
in 2i/n si n es impar

2
Módulo I - Unidad 3
 Matemática D

∆ Actividad 4:

a) Si γ es un arco de curva suave de ecuación z(t) = x(t) + i y(t) con a ≤ t ≤ b, calcular |z' (t)| y
b
demostrar que ∫ | dz |= ∫
γ a
z' (t ) dt = longitud del arco γ
b) Si M es una constante positiva y |z(t)| ≤ M para a ≤ t ≤ b, demostrar que
b
∫a
z(t ) dt ≤ M (b – a)

♦ Integral de una función de variable compleja sobre una curva

♦ Sea γ un arco de curva suave de ecuación paramétrica z(t) = x(t) + i y(t) con a ≤ t ≤ b y
f(z) una función continua sobre γ, se define la integral de f sobre el arco γ como:
b b

∫ γ ∫ ∫
f(z) dz = f ( z(t )) d[z(t)] = f ( z(t )) z' (t) dt
a a

Ejemplo
Para calcular la integral ∫ [z - Re(z) - i ] dz ,
γ
siendo γ el segmento de ecuación paramétrica
z(t) = 2t + i (4t – 1) con -1 ≤ t ≤ 2 usamos la definición de integral para transformarla en una
integral de una función de variable real a valores complejos como se muestra a continuación:

∫ [z - Re(z) - i ] dz = ∫ [z(t) - Re(z(t)) - i] z' (t) dt = ∫ [2t − i(4t − 1) − 2t − i ] (2 + i 4) dt =

2 2

γ −1 -1
2 2
2 2 2 2
= ∫ - i4t ( 2 + 4i ) dt = ∫ (16t − 8it ) dt = = 8t − i 4t = 24 -12 i
-1 −1 −1 −1

♦ Propiedades

1- Propiedad de linealidad: Si f(z) y g(z) son dos funciones integrables sobre la curva γ y
α y β son dos constantes complejas entonces

∫ γ
[α f(z) + β g(z)] dz = α ∫ γ
f(z) dz + β ∫γ
g(z) dz

2- Módulo de una integral : el módulo de una integral satisface la siguiente desigualdad:

∫γ
f(z) dz ≤ ∫ f(z) dz
γ

3
Módulo I - Unidad 3
 Matemática D

∆ Actividad 5:
Justificar las propiedades 1- y 2- anteriores usando la definición y las propiedades de las
integrales de funciones de variable real a valores complejos.

Ejemplos

e 2iz dz
∫C z 2 − 2z + 2 dz = 0 siendo C la semicircunferencia z = R e , 0 ≤ t ≤ π
it
Demostrar que lím
R →∞

Para poder demostrar lo solicitado tratamos de acotar el módulo de la integral usando la

propiedad 2 y recordando que el módulo de un cociente es igual al cociente de los módulos:

e 2iz dz e 2 iz e 2iz
∫C z 2 − 2z + 2 dz ≤ ∫ ∫
C
dz = dz = (#)
C z 2 − 2z + 2 C
z − 2z + 2
2

R
A continuación acotamos el numerador y el denominador

|e2iz| = |e2ix e-2y| = |e2ix| |e-2y| = 1 . e-2y = e-2y ≤ 1 pues y ≥0

Recordar que:
2
z − 2z + 2 ≥ z − 2z − 2 = z − 2 z − 2 = R − 2R − 2 ,
2 2 2
|a ± b | ≥ | |a | - | b| |

e 2iz 1
por lo tanto ≤ y usando esta acotación del integrando podemos
z − 2z + 2
2
R − 2R − 2
2

continuar con la integral como se muestra a continuación:

1 1 πR
(#) = ∫ dz = ∫12dz =
C
R − 2R − 2
2
R − 2R − 2
2 C
3 R − 2R − 2
2
longitud de C

e 2iz dz πR
Hemos podido demostrar que 0 ≤ ∫ dz ≤ 2
C z − 2z + 2
R − 2R − 2
2

Como en esta última fracción el grado del denominador es mayor que el grado del numerador ,
tomando límite para R→→∞ en esta última desigualdad y usando el teorema del sandwich ,
podemos afirmar que se cumple lo pedido.

4
Módulo I - Unidad 3
 Matemática D

⊕ Relación entre la integral de una función de variable compleja y la integral

de línea de funciones reales
Considerando z = x + i y , f(z) = u(x,y) + i v(x,y) y dz = dx + i dy , la integral de f(z) sobre
la curva γ puede expresarse como un complejo cuya parte real e imaginaria son integrales de línea
de funciones de dos variables reales como se muestra a continuación:

∫ f(z) dz = ∫ [u(x, y) + i v(x, y)] (dx + i dy) = ∫ [u(x, y) dx - v(x, y) dy ] + i [v( x, y ) dx + u(x, y) dy ] =
γ γ γ

= ∫ [u(x, y) dx - v(x, y) dy ] + i ∫ [v(x, y )dx + u(x, y) dy ]

γ γ γ

♦ Propiedades (continuación)

3- Cambio de orientación de la curva: Si γ y -γγ representan la misma curva pero recorrida

en sentidos contrarios entonces

∫γ
f(z) dz = − ∫
−γ
f(z) dz

4- Propiedad aditiva de las curvas: Si γ1 y γ2 representan dos

curvas orientadas que tienen a lo sumo un número finito de puntos γ1
γ2
en común entonces:

∫γ1 ∪γ 2
f(z) dz = ∫
γ1
f(z) dz + ∫γ2
f(z) dz

∆ Actividad 6:
Justificar las propiedades 3- y 4- anteriores teniendo en cuenta que las mismas propiedades son
válidas en el campo real.

Ejemplos y
i

1- Calcular ∫ γ
Im(z) dz , siendo γ : x = y2 -1 desde i hasta -i -i
x

Si parametrizamos la curva tomando y = t , entonces el trozo de parábola que nos interesa tiene
ecuación paramétrica z(t) = (t2 -1) + i t con -1 ≤ t ≤ 1 pero ha quedado mal orientada, por ello
la denominamos -γ y operamos como se muestra a continuación :
5
Módulo I - Unidad 3
 Matemática D

t (2t + i ) dt = −4 / 3
1 1
∫γ
Im(z) dz = − ∫
−γ
Im(z) dz = − ∫ Im( z(t ))z' (t ) dt = − ∫
−1 −1

1
2- Calcular ∫γ z
dz , siendo γ : | z | = 2 recorrida en sentido antihorario

Parametrizamos la curva, en este caso es una circunferencia de radio 2 : z(t) = 2 eit , 0 ≤ t ≤ 2π

2π
1 2π 1 2π 1 2π 1 2π e 2it 
∫ dz = ∫ z' (t ) dt = ∫ 2ie it dt = ∫ = ∫0 =  =0
it 2it
2ie dt ie dt i
γ z 0 0 0 2e − it 2i  0
z(t ) 2e it

5- Independencia del camino

El concepto de independencia del camino ya fue estudiado con las integrales de línea de variable
real, no obstante recordemos que:

♦ Se dice que un conjunto abierto D es un dominio si para todo par de puntos de D existe una
curva contenida en D que los une.

♦ Un dominio D es simplemente conexo si toda curva cerrada contenida en D encierra sólo

puntos de D.

Por ejemplo observando los siguientes gráficos, se puede decir que:

D1 es un dominio simplemente conexo,
D2 es un dominio pero no es simplemente conexo y
D = D3 ∪ D4 no es un dominio.

D3 D4
D2
D1

D = D3 ∪ D4

♦ La integral ∫ f (z )dz es independiente del camino en un dominio D si para todo par de

γ

puntos z1 y z2 del dominio D la integral toma siempre el mismo valor sobre cualquier curva
contenida en D que une z1 y z2

Luego de esta última definición, la pregunta natural es: ¿cómo saber si la integral de una
función de variable compleja es independiente del camino en un dominio D?
Para poder responder esta pregunta tenemos varias posibilidades que describimos a continuación.

6
Módulo I - Unidad 3
 Matemática D

Ξ Teorema 1 : Condición necesaria y suficiente para que la integral sea

independiente del camino
Sea f(z) continua en un dominio D. Una integral de línea de f(z) es independiente del camino en
D ⇔ la integral de f(z) sobre cualquier curva cerrada contenida en D vale cero.

∆ Actividad 7:
Demostrar el teorema 1. (la demostración es idéntica al teorema similar visto en variable real).

ΞTeorema 2 : Condición suficiente para que la integral sea independiente del

camino - Regla de Barrow.

Si f(z) es continua en un dominio D y existe F(z) en D tal que F’(z) = f(z) (como en la variable
real, decimos que F(z) es una primitiva de f(z)) y γ es una curva contenida en D que une z0 con
z1
z1 entonces
∫
γ
f ( z )dz = ∫ z0
f ( z ) dz = F(z 1 ) − F( z 0 ) .

Como el resultado de la integral depende sólo del punto inicial y del punto final de la curva,
podemos asegurar que: si f(z) es continua en D y existe una primitiva en D entonces la integral
es independiente del camino en D.

∆ Actividad 8:
Demostrar el teorema anterior teniendo en cuenta :

Si la curva γ tiene ecuación γ: z(t) = x(t) + i y(t) , con a ≤ t ≤ b , tal que z(a) = z0 , z(b) = z1
entonces proponemos justificar todas las igualdades que se indican a continuación :
b b b
∫ f (z)dz = ∫ f (z(t)) z'(t) dt = ∫ F'(z(t)) z'(t) dt = ∫ [F(z(t))]' dt =F(z(b)) − F(z(a)) = F(z1 ) − F(z 0 )
γ ( 1) a ( 2) a ( 3) a ( 4) ( 5)

(1): ………………………………….…………………………

(2):………………………………………………………………
(3): por regla de la cadena se sabe que [F(z(t))]’= F’(z(t)) z’(t)
(4): como F’(z(t)) es una función de variable real a valores complejos y F(z(t)) es una primitiva, puede
aplicarse la regla de Barrow
(5):………………………………………………………………

7
Módulo I - Unidad 3
 Matemática D

Ejemplos

1- Calcular ∫ γ
3z 2 dz , siendo γ el trozo de parábola y = 1 - x2 desde (-1,0) a (0,1)

Como f(z) = 3 z2 es continua en C y tiene primitiva F(z) = z3 , podemos aplicar el T. de

Barrow siendo z0 = (-1, 0) = -1 y z1 = (0,1) = i , por lo tanto:

∫γ
3z 2 dz = F(i) – F(-1) = i3 – (-1)3 = -i + 1

1
2- Calcular
∫z γ
2
dz , siendo γ : | z | = 1

La función f(z) = 1/z2 es continua sobre la curva γ , pues es continua en C – {0} , y F(z) = -
1/z es una primitiva, por lo tanto puede aplicarse el T. de Barrow y como la curva es cerrada
la integral vale 0 (cero), pues el punto inicial coincide con el punto final.

1
3- Calcular
∫ z dz , siendo γ : | z | = 1
γ

La función f(z) = 1/z es continua sobre la curva γ , pues es continua en el dominio D = C –

{0}, pero en este dominio no es posible encontrar una función F(z) tal que F’(z) = 1/z
(recordar que (Ln z)’= 1/z salvo en los puntos del eje real negativo), por lo tanto no puede
aplicarse el T. de Barrow. Esta integral debe calcularse parametrizando la curva γ : z(θ) = ei θ
con 0 ≤ θ ≤ 2π , calculando z’(θ) = i ei θ y usando la definición:

2π 2π
1 1
∫γ z
dz = ∫ 0 e iθ
i e iθ d θ = i ∫
0
dθ = i2π

Ξ Teorema 3 : Existencia de primitiva

Si f(z) = u(x,y) + i v(x,y) es continua en un dominio D y la integral de f(z) es independiente del

camino en D entonces existe F(z) en D tal que F’(z) = f(z) (como en la integral real, se dice que
F(z) es una primitiva de f(z)) . Además si z0 es un punto cualquiera de D se verifica que
d  z
f (z *) dz *  = f ( z )
dz  ∫z 0 

Demostración

8
Módulo I - Unidad 3
 Matemática D

Como la integral ∫ f ( z )dz es independiente del camino en D y sabemos que

γ

∫ f (z)dz = ∫ [u(x, y) dx - v(x, y) dy ] + i ∫ [v(x, y )dx + u(x, y) dy ]

γ γ γ γ

entonces las integrales reales

∫ [u(x, y) dx - v(x, y) dy ] y
∫ [v(x, y) dx + u(x, y) dy ] son independientes del camino en D
γ γ

(cuestionar esta afirmación, ¿es posible que estas integrales reales no sean independientes del
camino?)
Como las integrales reales son independientes del camino, se sabe que las expresiones
u(x,y) dx - v(x,y) dy y v(x,y) dx + u(x,y) dy son diferenciales exactas, es decir existen en
D dos funciones U(x,y) y V(x,y) , denominadas funciones potenciales, tal que:

∂U ∂U
dU( x, y ) = dx + dy = u( x, y ) dx − v( x, y ) dy ,
∂x ∂y
∂V ∂V
dV ( x, y ) = dx + dy = v( x, y ) dx + u( x, y ) dy
∂x ∂y

de donde se desprenden las siguientes igualdades de (CR):

∂U ∂ V ∂U ∂V
= = u( x , y ) , − = = v( x , y )
∂x ∂y ∂y ∂x

Si consideramos F(z) = U(x,y) + i V(x,y) , vemos que:

 F(z) es derivable en D, pues U(x,y) y V(x,y) , como ya vimos, cumplen las condiciones de
(CR) y tienen derivadas parciales continuas por coincidir dichas derivadas con la parte real
u(x,y) o imaginaria v(x,y) de la función continua f(z)

∂U ∂V
 Por ser F(z) derivable, +i = u( x, y ) + iv( x, y ) = f ( z ) ,
sabemos que : F’(z) =
∂x ∂x
por lo tanto podemos afirmar que existe en D una función derivable F(z) tal que F’(z) = f(z)

[u(x*, y*) dx * -v(x*, y*) dy *] + i[v(x*, y*) dx * +u(x*, y*) dy *]=

z ( x ,y )
Además ∫z0
f (z *) dz * = ∫
( x0 ,y 0 )
( x ,y )
= ∫
( x0 ,y 0 )
dU( x*, y*) + i dV ( x*, y*) =U(x,y) - U(x0 , y0) + i [V(x,y) - V(x0 , y0)] =
= U(x , y) + iV(x, y) - [U(x0 , y0) + i V(x0 , y0)] = F(z) - F(z0)

d  z
f (z *) dz *  = F' ( z ) = f ( z )
z
Por lo tanto ∫
z0
f (z *) dz * = F(z) - F(z0) , de donde
dz  ∫z 0 

9
Módulo I - Unidad 3
 Matemática D

• Ejercicios

1- Calcular las siguientes integrales: ∫

γ
Re(z) dz ; ∫
γ
Im(z) dz ; ∫
γ
z dz en los siguientes
casos:

a) γ: z(t) = 1 + it , 0 ≤ t ≤ 1
b) γ: | z | = 1 , recorrida en sentido antihorario
c) γ: | z – a | = R , recorrida en sentido antihorario

Convención: Cuando una curva es cerrada y no se indica la orientación, debe recorrerse en

sentido antihorario.

2- Calcular ∫γk
Im(z) dz para k = 1, 2 y 3 donde
a) γ1 es el segmento orientado que une 1 con i
b) γ2 : | z | = 1 , desde 1 hasta i , en sentido antihorario
c) γ3 es la poligonal que une 1 con 0 y 0 con i
d) Teniendo en cuenta que γ1 , γ2 y γ3 son tres curvas distintas que tienen el mismo punto inicial
y final, ¿puede afirmar que la integral es independiente del camino?, ¿contradice el teorema
fundamental?

3- a) Calcular ∫
C
| z | 2 e i | z | dz siendo C: |z| = 2 desde 2 a –2 en sentido antihorario
b) Deducir a partir de a) el resultado de la siguiente integral de línea real
∫ (x + y ) sen x + y dx + ( x + y ) cos x + y
2 2 2 2 2 2 2 2
dy
C

∫γ(z − a) ∫γ(z − a) dz = 0
−1 n
4- Si γ: | z - a| = R , con R ≠ 0, demostrar que dz = 2πi , para n ≠-1

5- Calcular ∫ Ln z dz para k = 1 , 2 , 3
γk
siendo
γ1: | z | = R desde R hasta – Ri en sentido antihorario,
γ2: | z | = R desde R hasta – Ri en sentido horario,
γ 3: | z | = R ,

6- Calcular:

a) ∫ (z - 2i) dz siendo γ el segmento que une 2 + i con 3 – 2i

γ

−2z
∫ e dz siendo C : y = 2x desde (-1, 2) a (2, 8)
2
b)
C

sen(2z )dz
2i 2i 1
c) ∫1− i
d) ∫3−i z
dz sobre una curva contenida en y > -x

10
Módulo I - Unidad 3
 Matemática D

7- Justificar que:

dz 4π
a) ∫
| z| = 2 z + 1
3
dz ≤
7
π
b) ∫
CR z 2
Ln z
dz ≤ (2Ln R + π ) , CR : z(t) = R eit , | t | ≤ π/2 y demostrar que
2R
Ln z
R → ∞ ∫C R z 2
lím dz = 0

Ξ Teorema de Cauchy

Sea γ una curva cerrada, simple y suave por tramos y sea f(z) una función analítica sobre γ y su
interior cuya derivada f ’(z) es continua sobre γ y su interior entonces
∫ f(z) dz = 0
γ

Demostración

Para demostrar este teorema usamos el teorema de Green que relaciona una integral de línea con
una integral doble:

Teorema de Green: Sea C una curva cerrada, simple y regular a trozos (suave) contenida en un dominio
D del plano y sea R la región limitada por C , sean M(x,y) y N(x,y) dos funciones con derivadas
parciales continuas en D entonces

 ∂N ∂M  y C
∫C Mdx + Ndy = ∫∫R  ∂x − ∂y  dx dy R
D

donde C debe recorrerse de modo de dejar a R a su izquierda

x

Si f(z) = u(x,y) + i v(x,y) entonces sabemos que:

∫ f(z) dz = ∫ [u(x, y) dx - v(x, y) dy ] + i ∫ [v(x, y )dx + u(x, y) dy ] =

γ γ γγ

 − ∂v ∂u   ∂u ∂v 
=
(1 ) ∫∫ 
R ∂x
−  dx dy + i
∂y  ∫∫  ∂x − ∂y  dx dy = 0 + i0 = 0
R ( 2)

(1) Aplicando el teorema de Green a cada integral real

(2) Como f(z) es analítica, sus partes real e imaginaria verifican las condiciones de (C-R) y por lo
tanto cada integrando vale cero.

11
Módulo I - Unidad 3
 Matemática D

⊕ Observación

Goursat fue el primero que pudo demostrar que la hipótesis " f ’(z) continua sobre γ y su
interior " podía omitirse , nosotros aceptamos sin demostración las siguientes variantes del
teorema de Cauchy

Ξ Teorema de Cauchy Goursat (versión 1)

Si γ es una curva cerrada, simple y suave por tramos y f(z) es analítica sobre γ y su interior
entonces
∫ f(z) dz = 0
γ

Ξ Teorema de Cauchy Goursat (versión 2)

Si γ es una curva cerrada, simple y suave por tramos y f(z) es analítica sobre γ y su interior ,
salvo a lo sumo en un número finito de puntos excepcionales donde es continua entonces

∫ f(z) dz = 0
γ

Ejemplos

e 3z
a) La integral
∫
|z| =1 z - 2i
dz es igual a 0 pues verifica las hipótesis del T. de Cauchy Goursat :

e 3z
la curva es cerrada y suave y f(z) = es analítica sobre la curva |z| = 1 y su interior
z − 2i
pues no es analítica en 2i , pero este complejo es exterior a la curva cerrada sobre la que se
integra.

b) La aplicación del teorema de Cauchy Goursat no es tan inmediata para el cálculo de la

sen z sen z
integral
∫
| z| = a z
dz , pues la función f(z) =
z
es analítica sobre la curva cerrada y su
interior salvo en z0 = 0 , que es interior a cualquier circunferencia de radio a > 0.

Sin embargo si calculamos el limite de la función en dicha singularidad obtenemos

 sen z
sen z  si z ≠ 0
lím = 1 y si consideramos la función g( z ) =  z podemos afirmar que:
z →0 z 1 si z = 0
g(z) es continua en z = 0 y si z ≠ 0 sabemos que g(z) es analítica por ser cociente de

12
Módulo I - Unidad 3
 Matemática D

analíticas y el denominador no se anula, por lo tanto por el T. de Cauchy Goursat podemos

afirmar que ∫ g(z) dz = 0 .
| z| = a

Observemos que sobre los puntos de la curva |z| = a , la función g(z) coincide la función cuya
sen z
integral queremos calcular, es decir g(z) = para los z que verifican |z| = a , entonces la
z
sen z
integral de g(z) sobre dicha curva debe coincidir con la integral de . por lo tanto
z
sen z
∫
| z| = a z ∫
dz = g(z) dz = 0
|z | = a

♦ Consecuencias del Teorema de Cauchy

R γ1
1- Sean γ1 y γ2 dos curvas cerradas suaves por tramos y todos los
γ2
puntos de γ1 son interiores a γ2 y sea f(z) una función analítica
sobre las curvas y en el dominio R limitado por ellas entonces:

∫
γ1
f(z) dz = ∫ f(z) dz
γ2

Las curvas se recorren en el mismo sentido (ambas en sentido antihorario o ambas en sentido
horario)

Demostración

Supongamos que γ1 y γ2 las recorremos en sentido antihorario.

Si efectuamos dos cortes rectos uniendo puntos de γ1 y γ2 , el dominio R queda dividido en dos
regiones, que denominamos R1 y R2

R1

D C B A

R2

Las fronteras de R1 y R2 son curvas cerradas y las indicamos ∂R 1 y ∂R 2 respectivamente.

Como f(z) es analítica sobre dichas curvas y su interior, podemos aplicar el T. de Cauchy
Goursat a ambas y obtener que :

13
Módulo I - Unidad 3
 Matemática D

∫ ∂R 1
f(z) dz = 0 y ∫ ∂R 2
f(z) dz = 0

donde las curvas ∂R 1 y ∂R 2 las orientamos de modo de dejar las regiones R1 y R2 a la

izquierda.

Sumando estos resultados obtenemos: ∫

∂R 1
f(z) dz + ∫
∂R 2
f(z) dz = 0 , y guiándonos por el gráfico
podemos escribir la última igualdad del siguiente modo:

A D C B B C D A
∫4
1B
f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz = 0
444444 A
4244444444 D C
3 14444444244444443 A B C D
(*)
sobre la frontera de R 1 sobre la frontera de R 2

Como las integrales de línea sobre los segmentos se cancelan pues se recorren en sentidos
contrarios cuando se consideran en la frontera de R1 o en la frontera de R2 y teniendo en cuenta
que (mirar el gráfico):
B C
∫14
C
f ( z ) dz
24 3
+ ∫14f (2z )43
B
dz = − ∫ f ( z ) dz
γ1
sobre la frontera de R 1 sobre la frontera de R 2

D A
∫1A4f 2
( z ) dz
4 3
+ ∫D4f (2z )4dz
1 3
= ∫ f ( z ) dz
γ2
sobre la frontera de R 1 sobre la frontera de R 2

donde en la primera integral se ha colocado un signo menos pues se observa que γ1 debe
recorrerse en sentido contrario al que anunciamos al comenzar, vemos que la expresión (*) toma
la forma: − ∫ f(z) dz + ∫ f(z) dz = 0 , y por lo tanto:
γ1 γ2

∫γ2
f(z) dz = ∫ f(z) dz
γ2

2- Sean γ1 , γ2 y γ3 tres curvas cerradas suaves por tramos como

se muestran en el gráfico y sea f(z) una función analítica sobre
R γ3
las curvas y en la región R limitada por ellas entonces:
γ2
∫
γ1
f(z) dz = ∫ f(z) dz + ∫ f(z) dz
γ2 γ3

γ1
donde las curvas se recorren de modo de dejar la región R a la izquierda.

∆ Actividad 8:
Justificar la igualdad presentada en la consecuencia 2-

14
Módulo I - Unidad 3
 Matemática D

3- Si f(z) es analítica en un dominio simplemente conexo D entonces la integral de f(z) es

independiente del camino en D.

∆ Actividad 9:
Justificar la afirmación presentada en la consecuencia 3.
Ayuda: tomar una curva cerrada cualquiera γ contenida en D y justificar que ∫ f(z) dz = 0 , ¿con
γ

este resultado puede afirmar que hay independencia del camino?

Ejemplos
f(z)
1- Si f(z) una función analítica en todo el plano y se sabe que ∫|z | = 1 z
dz = π , ¿puede
f(z)
conocerse el valor de la integral ∫γ z
dz , siendo γ una curva suave por tramos, cerrada, que
encierra a z=0 ?

Es importante observar que el integrando es analítico en todo el plano complejo salvo en z = 0

γ
Si γ no corta a | z | = 1 ( es exterior o interior) , como el integrando es
analítico en la región comprendida entre la circunferencia | z | = 1 y la
1
f(z)
curva γ , aplicando la consecuencia 1 podemos afirmar que ∫ dz = π
γ z

Si γ corta a la circunferencia | z | = 1, se considera otra curva cerrada, a la γ

que llamamos γ* , como el integrando es analítico en la región limitada
por | z | = 1 y γ* , por la consecuencia 1 , podemos afirmar que la integral 1
sobre γ* vale π , como además el integrando es analítico en la región limitada
por γ y γ* , por la consecuencia 1 , la integral sobre γ vale lo mismo que la γ*
integral sobre γ*, es decir la integral sobre γ vale π
f(z)
Por lo tanto ∫ dz = π , siendo γ cualquier curva suave por tramos, cerrada, que encierra a 0
γ z

2- Justificar , usando la consecuencia 2 y teniendo en cuenta γ1

f(z) γ3
el gráfico de la derecha, que si ∫ dz = 3 y
γ 1 (z - 2)(z - i) i
f(z) f(z)
∫γ 2 (z - 2)(z - i) dz = 7 entonces ∫γ 3 (z - 2)(z - i) dz = - 4 , γ2 2

Suponer que f(z) es analítica ∀z y que las curvas se recorren en sentido positivo.

15
Módulo I - Unidad 3
 Matemática D

Ξ Fórmula de la integral de Cauchy

γ
Si γ es una curva cerrada, simple y suave por tramos y f(z) es z0
analítica sobre γ y su interior , y z0 es interior a γ entonces

f(z)
∫ z-z
γ
0
dz = 2πi f(z 0 )

Demostración γ

Consideremos una circunferencia C centrada en z0 interior a γ z0

C: |z – z0 | = R y calculamos la integral propuesta como se C
muestra a continuación donde cada paso está justificado más abajo

f(z) f(z) f(z) - f(z 0 ) + f ( z 0 ) f(z) - f(z 0 ) 1

∫ z-z
γ
0
dz =
(1) C∫ z - z0
dz =
( 2) ∫C z - z0
dz =
(3) ∫1444
C z-z
dz + f(z )
2444
3 0
∫ 0
z-z
14243
dz
C
0
A B

(1): son iguales por la primera consecuencia del teorema de Cauchy pues el cociente
f(z) / (z – z0) es analítico sobre las curvas γ y C y en la región limitada por ambas
(2): sumando y restando f(z0) en el numerador
(3): la integral de una suma es suma de integrales y f(z0) es constante

πi y entonces el
Demostraremos a continuación que la integral A vale cero y la integral B vale 2π
teorema estará demostrado.

a) Para justificar que la integral A vale cero, consideramos la función

 f (z ) − f (z 0 )
 si z ≠ z 0
g( z ) =  z − z 0
f ' ( z 0 ) si z = z 0

Analicemos esta función g(z):

 si z ≠ z0 , g(z) es analítica por ser cociente de analíticas y el denominador no se anula

f (z ) − f (z 0 )
 g(z) es continua en z0 pues lím g( z ) = lím = f ' ( z 0 ) = g( z 0 )
z →z 0 z →z 0 z − z0

Por lo tanto g(z) es analítica sobre la curva cerrada C y su interior , salvo a lo sumo en el punto z0
donde sabemos que es continua , por ello podemos aplicar el teorema de Cauchy Goursat (versión
2) y afirmar que
∫ g(z) dz = 0 .
C

16
Módulo I - Unidad 3
 Matemática D

Observemos que sobre los puntos de la curva C, la función g(z) es igual al cociente incremental,
f (z) − f (z 0 )
por lo tanto ∫C z − z 0 dz = ∫C g(z) dz = 0 , y queda demostrado que la integral A vale
cero.

b) Para calcular la integral B, parametrizamos la circunferencia C : z(t) = R eit , con 0 ≤ t ≤ 2 π,

1 2π 1 2π
calculamos z'(t) = Ri eit y obtenemos : ∫ dz = ∫ Rie it
dt = ∫0 i dt = 2πi
C z-z 0 Re it
0

Ejemplos
cos z
a) Calcular ∫ γ z−π
dz , siendo γ la frontera del triángulo de vértices 0 , 4 ± 2i
4

f(z)
Como el integrando tiene la forma , con f(z) = cos z , analítica en todo el plano, y
z - z0
z0 = π está en el interior de la curva cerrada γ , podemos aplicar el T. de la fórmula de Cauchy
pues se verifican todas las hipótesis , así tenemos:
cos z
∫γ z − π dz = 2πi f( π) = 2πi cos(π) = −2πi
z3 + 3
b) Calcular ∫
|z − 2 i | = 2 z2 + 1
dz
f(z)
En este ejercicio el integrando no tiene la forma , pero si factoreamos el denominador
z - z0
vemos que:
z3 + 3 z3 + 3
=
z 2 + 1 ( z + i )( z − i )

Como el factor (z - i ) se anula en i, que es interior a la curva cerrada dada, y el factor (z + i)

no se anula sobre la curva ni en su interior, podemos escribir la integral de la siguiente
manera:

 z3 + 3 
 
z3 + 3  z + i  dz
∫1 z − 2 i| = 2 z2 + 1
dz = ∫
1 z − 2 i| = 2 z−i
Como (z3 +3) / (z + i) es analítica sobre la curva cerrada y su interior , podemos usar la
fórmula de Cauchy. Tomando f(z) = (z3 +3) / (z + i) el valor de la integral resulta:

z3 + 3  z3 + 3  -i+3
∫1 z − 2 i| = 2 z +1
2
dz = 2 πi f(i) = 2 πi   = 2πi
 z + i  z =i 2i
= 3π − iπ

17
Módulo I - Unidad 3
 Matemática D

c) Calcular la integral dada en b) sobre la curva C: | z | = 2

En este caso los complejos i y -i, que anulan el denominador, son interiores a la curva cerrada.
Veamos que a pesar de esto puede calcularse la integral mediante la fórmula de Cauchy, para
ello consideremos dos curvas cerradas C1 y C2 interiores a C y disjuntas, C1 que sólo
encierre a i y C2 que sólo encierre a - i .

Por una de las consecuencias del teorema de Cauchy Goursat, C1

sabemos que i

z4 + 3 z4 + 3 z4 + 3 C2
∫ ∫C1 z 2 + 1 ∫C2 z 2 + 1 dz
dz = dz + -i
C z2 + 1

como en el interior de las curvas cerradas C1 y C2 el integrando puede expresarse como

cociente entre f1(z) / (z - i) y f2(z) / (z + i) respectivamente , estas integrales se calcular en
forma similar al ejemplo anterior.
z4 + 3
Se deja como ejercicio verificar que ∫ dz = (3π - iπ) + (-3π - iπ) = -2iπ
C z2 + 1

∆ Actividad 10:
C1
Si f(z) es analítica en el anillo limitado por dos circunferencias concéntricas C1 C2
y C2 y z0 es un punto interior a dicho anillo, demostrar que:
1 f (z ) 1 f (z)
f (z 0 ) = ∫
2πi 1 z − z 0
C
dz - ∫
2 πi 2 z − z 0
C
dz
z0

donde las curvas se recorren en sentido directo. (Hacer un corte en la región

sombreada y aplicar algún teorema que facilite el cálculo de cada integral)

♦ Generalización de la fórmula de Cauchy

La fórmula de la integral de Cauchy permite determinar el valor de una función analítica en un

punto si conocemos los valores que toma dicha función sobre un contorno cerrado, simple y
suave por tramos que incluya a dicho punto. La fórmula de Cauchy puede generalizarse y obtener
una fórmula que permite calcular el valor de todas las derivadas de una función analítica en un
punto si conocemos los valores que toma dicha función sobre un contorno cerrado, simple y
suave por tramos que incluya a dicho punto.

La fórmula generalizada puede obtenerse mediante las siguientes operaciones, que NO

constituyen una demostración.

Si f(z) es analítica sobre la curva cerrada y suave por tramos γ y su interior , y z0 es interior a γ ,
sabemos que
18
Módulo I - Unidad 3
 Matemática D

f(z)
2πi f ( z 0 ) = ∫ dz .
γ z - z0

Si consideramos a z0 como una variable y derivamos la expresión anterior respecto de z0 y

suponemos que podemos introducir la derivada en el símbolo integral obtenemos:

d  f(z)  d  f(z)  f(z)

2πi f ' ( z 0 ) =
dz 0
 ∫γ dz  =
 z - z0 
∫
γ dz 0
  dz =
z - z0 
∫ (z - z )
γ 2
dz ⇒
0

f(z)
2πi f ' ( z 0 ) = ∫ (z - z )
γ 2
dz
0

Si derivamos nuevamente respecto de z0 , obtenemos:

d  f(z)  d  f(z)  f(z)

2πi f ' ' ( z 0 ) =  ∫γ dz  = ∫  2 
dz = 2 ∫ dz ⇒
dz 0  (z - z 0 ) 2
 γ dz 0  (z - z 0 )  γ
(z - z 0 )3
f(z)
2πi f ' ' ( z 0 ) = 2 ∫ dz
γ
(z - z 0 )3
Si derivamos otra vez nos queda:

d  f(z)  d  f(z)  f(z) f(z)

2πi f ' ' ' ( z 0 ) = 2  ∫γ dz  = 2 ∫  3 
dz = 6 ∫ dz = 3! ∫ dz
dz 0  (z - z 0 ) 3
 γ dz 0  (z - z 0 )  γ
(z - z 0 ) 4 γ
(z - z 0 )4
f(z)
Derivando n veces se obtiene: 2πi f ( n ) ( z 0 ) = n! ∫ dz
γ
(z - z 0 )n+1
f(z) 2πi f (n) ( z 0 )
De donde puede obtenerse ∫ (z - z )
γ n +1
dz =
n!
0

El siguiente teorema resume estos resultados

Ξ Derivada de la fórmula de la integral de Cauchy

Si f(z) es analítica sobre la curva cerrada, simple y suave por tramos γ y su interior , y z0 es
f(z) 2πi f (n) (z 0 )
interior a γ entonces ∫ dz =
γ
(z - z 0 )n+1 n!

⊕ Observación:
Si en la última expresión se reemplaza n = 0 se obtiene la fórmula de la integral de Cauchy pues
interpretamos f(0) (z0) como f(z0) y teniendo en cuenta que 0! = 1.

19
Módulo I - Unidad 3
 Matemática D

Ejemplo
e 2 iz
Calcular ∫ (z − π) ( z + i )
γ 2 3
dz , siendo γ la frontera del triángulo de vértices 0 , 4 ± 2i

Si examinamos el denominador vemos que el factor (z + i) no se anula sobre la curva γ ni en su

interior. Sin embargo (z - π)2 se anula en z = π , que es interior de γ, por lo tanto podemos
escribir:
 e 2iz 
 
e 2iz  ( z + i ) 3 
∫γ (z − π)2 (z + i ) 3 dz = ∫γ (z − π)2 dz
Dado que el integrando cumple todas las hipótesis del teorema de la derivada de la fórmula de
Cauchy , lo aplicamos teniendo en cuenta que n + 1 = 2, de donde n = 1 , y f(z) = e2iz / ( z + i)3.

 e 2iz 
 
3 
 ( z + i )  dz = 2πi f ' ( π) = 2πi  2ie ( z + i ) − e 3( z + i )  = 2πi 2i( π + i) - 3
2iz 3 2 iz 2
Así, ∫
γ
(z − π)2 
 (z + i)6 
 z=π ( π + i) 4

♦ Derivadas de analíticas
Si f(z) es analítica en un punto z0 , sabemos que es analítica en todo un entorno
de z0 , y si tomamos una curva cerrada, simple y suave por tramos γ contenida
z0
en dicho entorno, podemos aplicar el teorema anterior obteniendo:

f(z) 2πi f (n) (z 0 ) γ

∫ (z - z )
γ n +1
dz =
n!
0

f(z) 2πi f (n) (z*) z0

Además también vale la igualdad ∫ (z - z *)
γ n +1
dz =
n!
γ
siendo z* cualquier punto del interior de la curva γ z*
f(z) 2πi f (2) (z*)
Si tomamos n = 2 en la última expresión obtenemos ∫ (z - z *)
γ 3
dz =
n!
y esto nos

indica que existe la derivada segunda de f en todo punto interior a la curva γ y por lo tanto la
derivada primera f ' es analítica
Aplicando un razonamiento similar a la función analítica f' podemos concluir que f'' es analítica,
y repitiendo el argumento anterior llegamos al siguiente resultado fundamental.

Ξ Teorema : Derivada de funciones analíticas

Si f(z) es analítica en un punto, sus derivadas de todos los órdenes son también funciones
analíticas en ese punto.
20
Módulo I - Unidad 3
 Matemática D

• Ejercicios
y C1
8- Si f(z) es analítica en un anillo y C1 y C2 son dos curvas cerradas
contenidas en el anillo como muestra la figura, justificar que C2

∫ f(z) dz = ∫ f(z) dz
C1 C2 x

9- Si f(z) es analítica en C – {1, -2, 3i} y ∫

|z -1| =1
f(z) dz = 2 , ∫
|z + 2| =1
f(z) dz = −2 ,

∫
|z - 3i| =1
f(z) dz = 0

a) Averiguar el valor de la integral ∫ f(z) dz en los siguientes casos justificando la

C

respuesta :

a1) C es una curva cerrada cualquiera que encierra a 1 y no encierra ni a -2 ni a

3i

a2) C es una curva cerrada cualquiera que encierra a 3i y no encierra ni a -2 ni a

1

a3) C es una curva cerrada cualquiera que encierra a 1 y -2 y no encierra a 3i

a4) C es una curva cerrada cualquiera que encierra a 1, -2 y 3i

b) Indicar claramente los posibles dominios donde la integral es independiente
del camino.
10- Calcular las siguientes integrales enunciando previamente el teorema o propiedad que utiliza.

( z 2 − 4)
2
ez
a) ∫
C z
dz , C : z - 2 = 1 b) ∫C sen(z 2 ) dz , C : z - 2 + i = 1
e −2iz z4
c)∫C z − 3 dz , C : z = 4 d) ∫C z 2 + 4 dz , C : z = 3
e −z
d) ∫ dz , para k = 1 , 2 , C1: |z – 2| = 1 ; C2: |z | = 3
C k 2z 2 − z 3

11- Si f(z) = (z – 2i)4 h(z) donde h(z) es analítica y no se anula sobre la curva C y su interior ,
f ' (z )
justificar que ∫ dz = 8πi , C : |z – 2i| = 1
C f (z)

cos2z
12-Calcular para n = 0, n = 1, n = 2 , la integral ∫ (z − i )
C
n
dz , C: |z| = 2 enunciar previamente el

teorema o propiedad que utiliza.

21
Módulo I - Unidad 3
 Matemática D

13- Si F(z) = i z2 cos z es una primitiva de f(z) , calcular el valor exacto de ∫C1
f(z) dz donde C1
es una curva que une π eiππ con 2π
π.

(2z - π)
14- Dada I = ∫ (z
C
2
- 1) (1 − sen z )
dz

a) Calcular I usando la fórmula de la integral de Cauchy , sabiendo que C es lo frontera del

conjunto A = {z / 1/2 ≤| z | ≤ 3/2 , |Arg(z)| ≤ π/4}
b) ¿Puede aplicarse la fórmula de la integral de Cauchy para calcular I si la curva es
C : | z – 2| = 4/3 ? Justificar la respuesta.

z − 2i f ( z )g' ( z )
15- Si f(z) es analítica y g( z ) =
z
, calcular ∫ | z − 2 i| = 3 g( z )
dz sabiendo que f(2i) = f(0)

Otras propiedades importantes:

Ξ Teorema de Morera

Si f(z) es continua en un dominio simplemente conexo D y para toda curva cerrada γ contenida
en D se sabe que ∫ f ( z ) dz = 0 entonces f(z) es analítica en D.
γ

Demostración

Como la integral de f(z) vale cero sobre cualquier curva cerrada contenida en D entonces por
Teorema 1 sabemos que la integral de f es independiente del camino en D y si es independiente
del camino en D, por Teorema 3 sabemos que existe una función F(z) analítica en D tal que
F'(z) = f(z) .

Como hemos visto que la derivada de una función analítica es también analítica y sabemos que f
es la derivada de la función analítica F, se desprende que f es analítica en D

Aceptamos sin demostración la siguiente propiedad, conocida como principio del módulo
máximo
Ξ Principio del módulo máximo
Si una función f(z) = u(x,y) + i v(x,y) es analítica y no constante en un dominio abierto A
entonces la función |f(z)| = (u( x, y )) + (v( x, y ) no posee máximo en A, es decir , no existe en
2 2

A un punto z0 tal que |f(z)| ≤ |f(z0)|

⊗ Observaciones

22
Módulo I - Unidad 3
 Matemática D

1- Si f(z) = u(x,y) + i v(x,y) entonces |f(z)| = (u( x, y ))2 + (v( x, y )2 es una función de dos
variables reales a la que denominamos g(x,y)

Es importante observar que si existen en A puntos de coordenadas (x1, y1) donde las funciones
u(x,y) y v(x,y) se anulan simultáneamente, es decir u(x1,y1) = 0 y v(x1,y1) = 0 entonces en
dichos puntos g( x 1 , y 1 ) = (u(x 1 , y 1 ))2 + (v( x 1 , y 1 )2 = 0 .

Como la función g(x,y) , por tratarse de un módulo, verifica g(x,y) ≥ 0 para todo par (x,y) de
A , y como g(x1,y1) = 0 entonces podemos afirmar que: g(x,y) ≥ g(x1,y1) , para todo par (x,y)
de A y esta última desigualdad nos dice que la función g(x,y) alcanza un mínimo en los
puntos (x1, y1) en los cuales las funciones u(x,y) y v(x,y) se anulan simultáneamente.

2- Si una función f es analítica en el interior de un conjunto cerrado y acotado A y es continua

sobre la frontera de A , entonces la función |f(z)| = g(x,y) es continua en dicho conjunto
cerrado y acotado y se sabe de la variable real que seguro alcanza un máximo y un mínimo
absoluto en A .

Estas observaciones nos permiten enunciar el siguiente teorema.

Ξ Teorema
Si f es una función continua en una región acotada cerrada A, y analítica y no constante en el
interior de A, entonces:
a) la función |f(z)| alcanza siempre un máximo y ocurre en algún punto de la frontera de A,
nunca en su interior, es decir existe al menos un punto z0 en la frontera de A tal que
|f(z)| ≤ |f(z0)|
b) si además f(z) ≠ 0 en todos los puntos de A , la función |f(z)| alcanza siempre un mínimo y
ocurre en algún punto de la frontera de A, nunca en su interior.
Si se elimina la condición f(z) ≠ 0, la función |f(z)| puede alcanzar un mínimo en un punto
del interior de A cuando dicho valor mínimo es 0.

Ejemplo
Si queremos saber dónde la función f(z) = |z2 - z| alcanza un máximo o un mínimo en el recinto
cerrado y acotado definido por | z | ≤ 1 , comenzamos expresándola en función de x e y :
f(z) = (x + i y)2 - (x + i y) = (x2 - y2 - x ) + i (2xy -y) y calculando su módulo

|f(z)| = g(x,y) = ( x 2 − y 2 − x ) 2 + ( 2xy − y ) 2

como se sabe que maximizar una raíz es equivalente a maximizar su radicando , tomaremos la
función g elevada al cuadrado, y como sabemos que el máximo lo tomará en algún punto de
frontera, podemos parametrizar la circunferencia | z |= 1 poniendo x = cos t , y = sen t , con
0 ≤ t ≤ 2π
π , y buscar los máximos de la función
Recordar:
23
cos2t - sen2 t Módulo
= cos (2t)I - Unidad 3
2 sen t cos t = sen (2t)
 Matemática D

G(t) = [g(cos t , sen t)] 2 =

= (cos 2 t − sen 2 t − cos t ) 2 + ( 2 cos t sen t − sen t ) =
= (cos 2t − cos t ) 2 + ( sen 2t − sen t ) 2

Se deja como ejercicio verificar que los puntos críticos de esta función son t0 = 0 , t1 = π
y por lo tanto los posibles puntos donde el módulo toma el máximo valor son:
z0 = (x0,y0) = (cos 0, sen 0) = (1,0) y z1 = (x1,y1) = (cosπ π, senπ
π) = ( -1, 0)

Como | f(z0) |= g(1,0) = 0 y | f(z1) | = g(-1,0) = 2 , podemos afirmar que |f(z)| toma el
máximo valor en el punto z1 = -1 + i 0 = -1 , y para todos los complejos de |z| ≤ 1, se verifica
| f(z)| ≤ 2

Es interesante hacer notar que |f(z)| toma el mínimo valor en el punto z0 = 1 + i 0 = 1 , pues en
dicho punto la función vale cero y sabemos que por tratarse de un módulo se verifica 0 ≤ | f(z)|
y por lo tanto | f(z0)| ≤ | f(z)| para todo z de |z| ≤ 1

Es importante hacer notar que en este ejemplo encontramos un mínimo sobre la frontera, pero
según hicimos notar en la observación anterior la función toma un mínimo en los puntos del
recinto donde las funciones u y v se anulen simultáneamente , es decir puntos donde f(z) = 0, en
este caso se observa que z2 - z = 0 ⇒ z = 0 ó z = 1 , por lo tanto la función posee un mínimo
también en un punto del interior de la región.

Ξ Propiedad : Máximo de funciones armónicas

Si f(z) = u(x,y) + i v(x,y) es una función continua en una región acotada cerrada A y analítica y
no constante en el interior de A, entonces las funciones u(x,y) y v(x,y) alcanzan su máximo en la
frontera de A y nunca en su interior.

Demostración

Si consideramos la función g(z) = ef(z) , composición de f con la exponencial, podemos afirmar

que g es continua en A y analítica y no constante en el interior de A, por el T. del módulo
máximo sabemos que |g(z)| = eu(x,y) alcanza su máximo en un punto de la frontera de A. Como la
función exponencial es creciente, se sigue que el máximo valor de u(x,y) se alcanza en un punto
de la frontera de A.
Si en cambio consideramos la función h(z) = e-if(z) cuyo módulo es | h(z) | = ev(x,y) puede
demostrarse en forma similar que el máximo valor de v(x,y) se alcanza en un punto de la frontera
de A.

Ξ Teorema de Liouville

Si f(z) es analítica y acotada en todo el plano complejo entonces f(z) es una función constante.

24
Módulo I - Unidad 3
 Matemática D

Demostración

Sea γ una circunferencia centrada en un punto cualquiera z0 y de radio arbitrario R, es decir

γ : | z - z0 | = R .
Como sabemos que f es analítica en todo el plano podemos aplicar la fórmula de la derivada de
f(z)
Cauchy para n = 1 : ∫ dz = 2 π i f ' (z 0 )
γ
(z - z 0 )2
Como sabemos que f está acotada en todo el plano , sabemos que existe una constante positiva M
tal que |f(z)| ≤ M , esto nos permite acotar la integral anterior como se muestra a continuación y
se deja a cargo del alumno la justificación de cada paso:

1 f(z) 1 f (z) 1 M M M
2πi ∫γ (z - z 0 )2 2π ∫γ z − z 0 ∫
f '(z 0 ) = dz ≤ dz ≤ dz = 2πR =
2
2π R
γ 2
2 πR 2
R

por lo tanto podemos afirmar que para todo complejo z0 y para todo R vale : 0 ≤ |f '(z0)| ≤ M/R

Como M es una constante fija y R puede tomarse tan grande como se quiera, el cociente M/R es
tan cercano a cero como se quiera, por lo tanto la única posibilidad es que f '(z0)= 0 , como z0 es
cualquiera significa que f'(z) = 0 para todo z del plano complejo y por lo tanto la función f(z)
debe ser una constante.

• Ejercicios
16- La función de variable real f(x) = sen x es derivable para todo x y está acotada pues
| sen x | ≤ 1, ¿esto contradice el T. de Liouville? Explicar

17- Hallar el máximo y el mínimo de |f(z)| en los recintos indicados

a) f (z) = z2 - 3 z + 2 en | z | ≤ 1 y en | z - 1 | ≤ 2
b) f(z) = cos z en A = {(x,y) / 0 ≤ x ≤ 3π
π/4 , -1 ≤ y ≤ 2 }

18- Calcular
a) Max | e − z | siendo BR = { z / |z| ≤ R , 0 ≤ Arg(z) ≤ π/4}
2

BR

1
b) Max siendo D = { z / |z| ≤ 1 , 0 ≤ Arg(z) ≤ π/4}
D z2 + 1

1
19 - Justificar que
zn ∫dz = 0 , siendo γ cualquier curva cerrada que no pasa por el origen y n
γ

es un natural fijo mayor o igual a 2, sin embargo la función f(z) = 1 / zn no es analítica en 0,

¿contradice este hecho el T. de Morera?

25
Módulo I - Unidad 3