26 CAPÍTULO 2.

FUNCIONES ANALÍTICAS

Ejercicio 2.5.11. Sea γ : [a, b] → C una curva. Sea φ : [a1 , b1 ] → [a, b] una función inyectiva de
clase C 1 tal que φ (a1 ) = b y φ (b1 ) = a. Sea γ1 = γ ◦ φ : [a1 , b1 ] → C. Si f : Imγ → C es una
función continua, entonces
ˆ ˆ
f (z)dz = − f (z)dz.
γ1 γ

proposición 2.5.12. Sea γ : [0, 1] → C una curva, y sea γ1 : [0, 1] → C definida por

γ1 (t) = γ(1 − t) (0 ≤ t ≤ 1).

Si f : Im γ → C es una función continua, entonces

ˆ ˆ
f (z)dz = − f (z)dz.
γ1 γ

Diremos que γ1 es la curva opuesta a γ

Demostración. Como γ1 (t) = −γ  (1 − t), sigue que

ˆ ˆ 1 ˆ 1
f (z)dz = f (γ1 (t)) γ1 (t)dt =− f (γ(1 − t))γ  (1 − t)dt
γ1 0 0
ˆ 0 ˆ 1
= f (γ(s))γ  (s)ds = − f (γ(s))γ  (s)ds
1ˆ 0

=− f (z)dz.
γ

Definición 2.5.13. Sean γ : [a, b] → C y λ : [c, d] → C dos caminos tales que γ(b) = λ(c). El
producto entre γ y λ es por definición el camino γ ⊗ λ : [a, b + d − c] → C dado por

γ(t), si a ≤ t ≤ b,
(γ ⊗ λ)(t) =
λ(t − b + c), si b ≤ t ≤ b + d − c.

Note que la imagen del camino γ ⊗ λ es la unión de la imagen del camino γ unida con la imagen
del camino λ. Todo lo anterior puede ser interpretado diciendo que el camino γ ⊗ λ se obtiene al
recorrer primero γ y en seguida λ.

proposición 2.5.14. Sean γ : [a, b] → C y λ : [c, d] → C curvas tales que γ(b) = λ(c), y sea
f : Imγ∪Imλ −→ C una función continua, entonces
ˆ ˆ ˆ
f (z)dz = f (z)dz + f (z)dz.
γ⊕λ γ λ
2.5. INTEGRACIÓN SOBRE CURVAS 27

Demostración.
ˆ ˆ b+d−c
f (z)dz = f ((γ ⊕ λ) (t)) (γ ⊕ λ) (t)dt
γ⊕λ a
ˆ b ˆ b+d−c

= f ((γ ⊕ λ) (t)) (γ ⊕ λ) (t)dt + f ((γ ⊕ λ) (t)) (γ ⊕ λ) (t)dt
a b
ˆ b ˆ b+d−c
= f (γ(t))γ  (t)dt + f (λ(t − b + c))λ (t − b + c)dt
a b
ˆ b ˆ d
= f (γ(t))γ  (t)dt + f (λ(s))λ (s)dt
ˆa
ˆ c

= f (z)dz + f (z)dz.
γ λ

Ejemplo 2.5.1. Considere los siguientes ejemplos

i). Dados z1 ∈ C y r > 0, sea

γ(t) = z1 + reit (0 ≤ t ≤ 2π).

La curva γ es el círculo orientado con centro z1 y radio r. Si f : Imγ → C es una función

continua, entonces ˆ ˆ 2π
 
f (z)dz = ir f z1 + reit eit dt.
γ 0

ii). Dados z1 , z2 ∈ C, sea

γ(t) = z1 + t(z2 − z1 ) (0 ≤ t ≤ 1).
La curva γ es el segmento orientado [z1 , z2 ]. Si f : [z1 , z2 ] → C es una función continua,
entonces
ˆ ˆ ˆ 1
f (z)dz = f (z)dz = (z2 − z1 ) f [z1 + t(z2 − z1 )]dt.
γ [z1 ,z2 ] 0

iii). Dados z1 , z2 , z3 ∈ C, sea el triangulo con vértices z1 , z2 , z3 . Se f : Δ → C es una función

continua, definimos
ˆ ˆ ˆ ˆ
f (z)dz = f (z)dz + f (z)dz + f (z)dz.
∂Δ [z1 ,z2 ] [z2 ,z3 ] [z3 ,z1 ]

proposición 2.5.15. Sea γ : [a, b] → C una curva, y sea f : Imγ → C una función continua.
Entonces ˆ  ˆ b
 
 f (z)dz  ≤
f
∞ |γ  (t)| dt,
 
γ a

donde

f
∞ = sup{|f (γ(t))| : a ≤ t ≤ b}.
28 CAPÍTULO 2. FUNCIONES ANALÍTICAS

Demostración.
ˆ  ˆ b  ˆ b
   
 f (z)dz  =  f (γ(t))γ 
(t)dt ≤ |f (γ(t))| |γ  (t)| dt
   
γ a a
ˆ b
≤
f
∞ |γ  (t)| dt.
a

proposición 2.5.16. Sea γ : [a, b] → C una curva, y sea (fn ) una sucesión de funciones continuas
de Imγ en C que converge uniformemente sobre Imγ a una función f. Entonces
ˆ ˆ
f (z)dz = lı́m fn (z)dz.
γ n→∞ γ

Demostración. Por la proposición anterior

ˆ ˆ  ˆ 
   
 fn (z)dz − f (z)dz  =  (fn (z) − f (z)) dz 
   
γ γ γ
ˆ b
≤
fn − f
∞ |γ  (t)| dt.
a

De lo que sigue el resultado.


Corolario 2.5.17. Sea γ : [a, b] → C una curva, y sea ∞n=0 fn una serie de funciones continuas
de Imγ en C que converge uniformemente sobre Imγ a una función f. Entonces
ˆ ∞ ˆ

f (z)dz = fn (z)dz.
γ n=0 γ

Teorema 2.5.18. Sea γ : [α, β] → C una curva, y sea φ : Imγ → C una función continua. Sea
U = C\Imγ, y sea f : U → C definida por
ˆ
φ(ζ)
f (z) = dζ para cada z ∈ U.
γ ζ −z

Entonces f es representable por series de potencias, y por lo tanto es holomorfa. Para cada bola
B(a, r) ⊂ U se tiene que


∞
f (z) = cn (z − a)n para cada z ∈ B(a, r),
n=0

donde ˆ
φ(ζ)
cn = dζ para cada n ∈ N ∪ {0}.
γ (ζ − a)n+1
2.5. INTEGRACIÓN SOBRE CURVAS 29

Demostración. Sea B(a, r) ⊂ U. Para cada z ∈ B(a, r) y ζ ∈ Imγ se tiene que

 
 z − a  |z − a|
 
ζ − a ≤ r
<,

y por lo tanto

φ(ζ) φ(ζ) φ(ζ)

= = 
ζ −z (ζ − a) − (z − a) (ζ − a) 1 − ζ−a
z−a

∞
n
φ(ζ) 1 φ(ζ)  z − a
= · =
(ζ − a) 1 − z−a
ζ−a
ζ − a n=0 ζ − a

∞
φ(ζ)(z − a)n
= .
n=0
(ζ − a)n+1

Como esta serie converge uniformemente para ζ ∈ Imγ, sigue del Corolario 2.5.17 que
ˆ  ∞ ˆ
φ(ζ) φ(ζ)
f (z) = dζ = (z − a)n dζ.
γ ζ −z n=0 γ (ζ − a)n+1

Así,

∞
f (z) = cn (z − a)n para cada z ∈ B(a, r),
n=0

donde ˆ
φ(ζ)
cn = dζ para cada n ∈ N ∪ {0}.
γ (ζ − a)n+1