CAPITULO 4

Integracion sobre caminos

4.1

INTRODUCCION

La integracion sobre caminos fue el instrumento principal del que se sirvio Cauchy
para crear la teora de funciones analticas de variable compleja, estableciendo lo
que actualmente suele denominarse teora de Cauchy, para distinguirlo de los enfoques posteriores de Riemann (con una vision mas geometrica) y de Weierstrass
(basado en los desarrollos locales en serie de potencias). Gracias a la representacion
(bajo ciertas condiciones) de una funcion holomorfa mediante una integral dependiente de un parametro, Cauchy logro probar que, en C, las nociones de holomorfa
y analiticidad son las mismas, culminando su obra con lo que e l donomino calculo
de residuos. De todo esto nos ocuparemos mas adelante.
El concepto de integral sobre un camino esta muy relacionado con el de
integracion sobre caminos de formas diferenciales reales de dos variables. Esto
hace que los resultados iniciales (y sus demostraciones) sean bastante parecidos a
lo ya estudiado en la teora de funciones de varias variables reales.
4.2

DE FUNCIONES COMPLEJAS
INTEGRACION
EN INTERVALOS REALES

Empecemos recordando algun concepto previo de derivabilidad e integrabilidad

para funciones de variable real, pero con valores complejos. Lo mas destacable
en este punto es que la variable toma solamente valores reales.
Sea g : [a, b] R C.
1. g es derivable en t0 [a, b] si
lim

tt0

g(t) g(t0 )
= g  (t0 ) C
t t0

(cuando t0 = a o t0 = b, los lmites son laterales).

No estamos introduciendo ninguna definicion nueva de derivabilidad: la novedad estriba en la naturaleza del dominio de la funcion, que excepcionalmente
no es un abierto del plano complejo sino un intervalo compacto real, lo que
nos situa mas cercanos a la derivacion en R. De hecho, la definicion anterior
65

66

Integracion
sobre caminos
es equivalente a que las dos funciones reales e g, m g : [a, b] R R
sean derivables en t0 , siendo en tal caso
g  (t0 ) = (e g) (t0 ) + i(m g) (t0 ).

2. Sea g : [a, b] R C y f :
C con
abierto de C y g([a, b])
.

Si g es derivable en t0 (definicion actual) y f es derivable en g(t0 ) (definicion
anterior), entonces f g es derivable en t0 y
( f g) (t0 ) = f  (g(t0 ))g  (t0 ).
Esto es un sencillo ejercicio, que puede abordarse directamente o usando la
regla de la cadena para funciones de varias variables y las ecuaciones de
Cauchy-Riemann.
3. g es integrable (Lebesgue) en [a, b] si, por definicion, lo son e g e m g, y
el valor de la integral es

g(t) dt =

e g(t) dt + i

m g(t) dt.

Para estas funciones con valores complejos, siguen siendo ciertos los resultados importantes de integracion. Resaltamos los que mas utilizaremos:
Acotacion.










g(t) dt 

|g(t)| dt.

(No es tan obvio como puede parecer: intentelo el lector por su cuenta antes
de ver la demostracion que sigue.)
b
Para probarlo, sea z = a g(t) dt. Entonces existe c C con |c| = 1 tal que
|z| = c z. Pongamos u = e (c g), con lo cual u |c g| = |g|. As










g(t) dt  = |z| = c

g(t) dt =
a

c g(t) dt =
a

u(t) dt

|g(t)| dt,

b

verificandose = porqueteniendo en cuenta que a c g(t) dt = |z| R, se deduce

b
b
b


que a c g(t) dt = e a c g(t) dt = a e c g(t) dt.

Integracion
sobre caminos

67

Regla de Barrow ampliada. Si g : [a, b] C es continua y existe una

particion t0 = a < t1 < t2 < < tn = b de [a, b] de manera que g es
derivable en cada (tk1 , tk ), 1 k n y g  (extendida arbitrariamente a los
puntos tk ) es integrable-Riemann en [a, b], entonces

g  (t) dt = g(b) g(a).

La regla de Barrow que conocemos solo es aplicable en cada uno de los

intervalos [tk1 , tk ] de la particion. Pero entonces,

g (t) dt =

n


k=1

tk

g (t) dt =

tk1

n


(g(tk ) g(tk1 )) = g(b) g(a).

k=1

Teorema de la convergencia dominada. Sean gn , g : [a, b] C tales que

gn (t) g(t) para casi todo t [a, b] y, supongamos que h : [a, b]
b
R+ tal que n N, |gn (t)| h(t), t [a, b] y a h(t) dt < +. Entonces,


lim

n a

gn (t) dt =

g(t) dt.
a

O la version continua de este teorema

T.C.D. Version continua. Si tenemos una funcion g de dos variables,
z D(z 0 ; ), t [a, b], con valores complejos, tal que
lim g(z, t) = g0 (t), para casi todo t [a, b],

zz 0

|g(z, t)| h(t), z D(z 0 ; ),

h(t) dt < +

Entonces,

lim

zz 0

g(z, t) dt =

g0 (t) dt.

Cambio del orden de integracion. Sea g : [a, b] [c, d] C continua.

Entonces

d
b

b
d
g(s, t) ds dt =
g(s, t) dt ds.
a

(Es un caso particular del teorema de Fubini.)

68
4.3

Integracion
sobre caminos
CURVAS Y CAMINOS EN C

Definicion. Una curva en C es una funcion : [a, b] C continua (a, b R,

a < b).
Observacion. Una curva no debe identificarse con la imagen de la funcion ([a, b])
(denominada el soporte de la curva). Por ejemplo,
1 : [0, 2 ] C,

1 (t) = eit

2 : [0, 2 ] C,

2 (t) = e2it

son dos curvas distintas que tienen el mismo soporte.

Notese que el soporte de una curva siempre es un subconjunto conexo y
compacto de C.
Definicion. Un camino (o curva C (1 a trozos) es una funcion continua : [a,
 b] C
tal que existe una particion a = t0 < t1 < . . . < tk = b de forma que [t ,t ] es
(1

una curva de clase C ( j = 1, . . . , k ).

j1 j

Observacion.
Lo anterior significa que : [t j1 , t j ] C es derivable en sentido real (las
partes real e imaginaria son derivables). Es decir,
t [t j1 , t j ], lim
st

(s) (t)
=  (t) = (e ) (t) + i(m ) (t) C
st

(en t j y t j1 los lmites son laterales) y ademas,  : [t j1 , t j ] C es continua.

En los puntos de la particion t j , existe derivada  (t j ) por la derecha y por la
izquierda, pero estas derivadas pueden coincidir o ser distintas.
Sea : [a, b] C un camino. Se llama origen de al punto (a); se
llama extremo de al punto (b).
Se dice que es un camino cerrado si (a) = (b).
Se llama longitud de a


long =

|  (t)| dt ( < +)

Si A C, se dice que esta contenido en A si ([a, b]) A.

Integracion
sobre caminos

69

Opuesto de un camino. Se llama camino opuesto a al camino : [b, a]

C dado por ( )(t) = (t). El camino opuesto tiene el mismo soporte, pero
cambia el origen por el extremo y viceversa. Se dice que recorre el soporte del
camino en sentido contrario al de .
Union de caminos. Sean 1 : [a, b] C y 2 : [c, d] C dos caminos tales
que 1 (b) = 2 (c). Se llama 1 2 (union o suma de 1 y 2 ) al camino dado por
1 2 : [a, b + d c] C,
(1 2 )(t) = 1 (t) si t [a, b]; (1 2 )(t) = 2 (t b + c) si t [b, b + d c].
Es claro que la union de dos caminos es un camino que cumple
i) sop(1 2 )=sop(1 )sop(2 )
ii) origen (1 2 )=origen(1 )
ii) extremo (1 2 )=extremo(2 ).
Definicion. Sean 1 : [a, b] C y 2 : [c, d] C. Diremos que son
equivalentes y escribiremos 1 2 , si tienen el mismo numero de puntos no
regulares (donde no son C 1) ) y si a = t0 < t1 < . . . < tn = b y c = s0 < s1 <
. . . < sn = d son las particiones asociadas, existe una aplicacion
: [a, b] [c, d]

que es biyeccion con


[tj ,tj+1 ] : [t j , t j+1 ] [s j , s j+1 ], j = 0, 1, . . . , n 1

derivable con  (t) > 0 y de forma que

1 = 2 .
1. Se prueba facilmente que es una relacion de equivalencia compatible con
la operacion de camino opuesto y la union de caminos. Sera mas ajustado a
la practica habitual definir camino como una clase de equivalencia por esta
relacion y si 1 2 , decir que 1 y 2 son parametrizaciones del mismo
camino. La aplicacion que liga 1 y 2 se llama cambio de parametro.
2. Los caminos equivalentes solo se diferencian en que se recorre el mismo
soporte y en el mismo sentido, pero a diferente velocidad. A efectos de la

70

Integracion
sobre caminos
utilizacion de los caminos en nuestra teora, dos caminos equivalentes es
como si fueran iguales.

3. Por ejemplo, son equivalentes los caminos

1 : [0, 2 ] C,

1 (t) = eit

2 : [0, ] C,

2 (t) = e2it

(donde la aplicacion cambio de parametro es clara).

4. Podremos suponer, cuando as nos convenga, que un camino esta parametrizado
en el intervalo [0, 1].
Ejemplos.
1. Dados z 0 = z 1 C, el segmento orientado [z 0 , z 1 ] es el camino
: t [0, 1] (t) = z 0 + t (z 1 z 0 ) = (1 t) z 0 + t z 1 C.
La notacion que se emplea es la misma que para su soporte, pero el contexto
dejara claro en cada ocasion a cual de las dos nociones nos estamos refiriendo.
Por comodidad, diremos segmento [z 0 , z 1 ], sobreentendiendose segmento
orientado.
Su longitud es igual a |z 1 z 0 | (comprobar!).
2. Dados z 0 , z 1 , . . . , z n C, la poligonal de vertices z 0 , z 1 , . . . , z n , es el camino
[z 0 , z 1 ] [z 1 , z 2 ] [z n1 , z n ].
Su longitud es igual a |z 1 z 0 | + |z 2 z 1 | + + |z n z n1 | (comprobar!).
3. Dados z 0 C, r > 0, la circunferencia de centro z 0 y radio r orientada
positivamente es el camino
: t [0, 2 ] (t) = z 0 + r eit C.
Lo representaremos por D(z 0 ; r ). La circunferencia de centro z 0 y radio
r orientada negativamente es el camino opuesto D(z 0 ; r ). Cuando no se
especifique orientacion, se sobreentiende la positiva.
La longitud de ambos es 2r (comprobar!).
3. Dados z 0 C, r > 0, k Z, el camino
: t [0, 2] (t) = z 0 + r eikt C.
es la circunferencia de centro z 0 y radio r recorrida k veces en sentido positivo
si k 0 o recorrida k veces en sentido negativo si k < 0. La representaremos
por k D(z 0 ; r ). En particular, 1 D(z 0 ; r ) = D(z 0 ; r ), 0 D(z 0 ; r ) es el
camino constante con soporte {z 0 } y (1) D(z 0 ; r ) = D(z 0 ; r ) (salvo
ajustes en la parametrizacion). Su longitud es igual a 2|k|r (comprobar!).

Integracion
sobre caminos
4.4

71

DE FUNCIONES COMPLEJAS SOBRE CAMINOS

INTEGRACION

Definicion. Sea : [a, b] C un camino y sea f : sop C una funcion

continua. Se llama integral de f sobre a

f =

f (z)dz =

f ( (t))  (t) dt.

Notese que la funcion que integramos, ( f )  : [a, b] C, es continua,

salvo en un numero finito de puntos (donde las discontinuidades son de salto). Por
tanto, es integrable-Lebesgue (incluso integrable-Riemann) en [a, b].
La definicion podra haberse dado para funciones mas generales que las continuas, con tal de que ( f )  fuera integrable en [a, b]. Pero, para nuestros
propositos, basta con esto.
Propiedades.

1. Si 1 2 , entonces

f =

f.
2

Basta acudir a la definicion y hacer en la integral el cambio de variable (t) =

s, donde es el cambio de parametro.




f =
f.
2.

3.

1 2

4.

f =

( f + g) =

f +

f.
2

f +

g,

f =

f.

5. Regla de Barrow. Sea f :
sop C. Supongamos que F H(
)

tal que F  (z) = f (z), z
. Entonces,


f (z)dz = F( (b)) F( (a)).

En efecto, podemos subdividir el intervalo [a, b] en intervalos parciales [t j1 , t j ]

en los que la restriccion de F es derivable, con derivada (lateral en los
extremos) dada por la regla de la cadena
(F ) (t) = F  ( (t))  (t) = f ( (t))  (t),

72

Integracion
sobre caminos
continua a trozos (luego finalmente integrable en [a, b]). Entonces, aplicando
la regla de Barrow ampliada,

f (z)dz =

f ( (t)) (t) dt =

(F ) (t) dt = F( (b))F( (a)).

Observacion.
En las hipotesis anteriores, si es cerrado (es decir, si (a) =

(b)) resulta

6. 

f (z) dz = 0.


f (z)dz  long sup | f (z)|.
zsop

En efecto,




 


f (z)dz  = 


f ( (t))  (t) dt 

| f ( (t))  (t)| dt

|  (t)| dt sup | f ( (t))|.

t[a,b]

Observacion. Notese que sop es un compacto, y como | f | es continua, el

supremo es un maximo (Weierstrass).
7. Sean f n , f : sop C continuas, y tales que f n f uniformemente
en sop . Entonces,




lim
f n (z)dz =
f (z)dz
n

Es decir, bajo la hipotesis de convergencia uniforme en el soporte, el lmite

conmuta con la integral.
Para demostrar el resultado, basta observar que







f n (z)dz
f (z)dz  long sup | f n (z) f (z)| 0, (n ).

zsop

8. Cambio del orden de integracion. Sea 1 un camino en un abierto
1 , 2 un

camino en un abierto
2 , :
1
2 C continua. Entonces

(z, w) dw dz =
(z, w) dz dw.
1

Integracion
sobre caminos

73

Pues sea t0 < t1 < . . . < tn una particion del dominio de 1 tal que cada
restriccion 1 |[tk1 ,tk ] tiene derivada continua, y analogamente sea s0 < s1 <
. . . < sm una particion del dominio de 2 para la que cada restriccion 2 |[sj1 ,sj ]
tiene derivada continua. Aplicando el resultado de intercambio ya visto,

(z, w) dw dz
1
2



tk
sj
=
(1 (t), 2 (s)) 2 (s) ds 1 (t) dt
k, j



tk1
sj

j,k

s j1

=
4.5

s j1

tk

tk1

(1 (t), 2 (s)) 1 (s) dt

2 (s) ds

(z, w) dz

dw.

INTEGRALES DEPENDIENTES DE UN PARAMETRO

COMPLEJO

Derivacion bajo el signo integral.

Vamos a obtener un resultado similar a los de la integral de Lebesgue en R,
pero con derivada compleja, en vez de derivada real.
Proposicion. Sea un camino,
un abierto no vaco de C. Sea
: (w, z) sop
(w, z) C

una funcion de dos variables complejas continua. Entonces, la funcion de una

variable


g(z) = (w, z)dw, z

es continua en
.
Demostracion. Fijemos z 0
. Acudiendo a la definicion de integral, se trata de
demostrar que


lim

zz 0

( (t), z) (t) dt =

( (t), z 0 )  (t) dt.

Pero esto es cierto por la version continua del T.C.D., pues tenemos el limite puntual
lim ( (t), z)  (t) = ( (t), z 0 )  (t), t [a, b]

zz 0

74

Integracion
sobre caminos

y la dominacion trivial, (en un entorno de z 0 tal que D(z 0 ; )
)

b

C dt < +
|( (t), z) (t)| C, t [a, b], z D(z 0 ; ) con
a

(ya que sop D(z 0 ; ) es un compacto, y es continua).

Teorema. Con las hipotesis y notacion de la proposicion precedente, supongamos
ademas que:

(i) Para cada w sop fijado, la funcion de z , (w, z) es derivable en
y

a esta derivada.
denotamos
z

(ii) La funcion derivada

: sop
C es continua.
z
Entonces, la funcion g es holomorfa en
, y ademas


(w, z)dw
g (z) =
z
Es decir, con estas hipotesis, se puede derivar bajo el signo integral.
Demostracion. Fijemos z 0
. Tenemos que demostrar que

g(z) g(z 0 )
lim
(w, z 0 )dw = 0.

zz 0
z z0
z
Escribimos
g(z) g(z 0 )

z z0

(w, z) (w, z 0 )
(w, z 0 )dw =
(w, z 0 ) dw

z z0
z
z

b


( (t), z)  (t) dt
= (w, z)dw =

y se trata de ver que esta integral tiende a 0 cuando z z 0 .

De nuevo, podemos aplicar la version continua del T.C.D., ya que, por un
lado, tenemos la convergencia puntual
lim ( (t), z) = 0, t [a, b]

zz 0

pues la derivada

existe por hipotesis, y por otro lado tenemos la dominacion

z

|( (t), z)  (t)| C, t [a, b], z D(z 0 ; ).

Integracion
sobre caminos

75

Para demostrar esto u ltimo, acotamos cada uno de los dos sumandos que forman
. Por continuidad en un compacto,




 (w, z 0 ) C, w sop
 z

Y, para el segundo, usamos el truco

 



 (w, z) (w, z 0 )   1



=

(w,
)d

 z z

z z0
z
0 [z 0 ,z]




sup  (w, ) C, w sop , z D(z 0 ; )
[z 0 ,z] z
donde [z 0 , z] es el segmento que une z 0 y z, y hemos usado la regla de Barrow y
es continua en el compacto sop D(z 0 ; ).
que
z
Construccion de funciones analticas mediante integrales.
Aqu se desvela el principal papel de la integral sobre caminos en C. Permite
construir funciones analticas en abiertos muy amplios a partir de una pequena
premisa: tener una funcion continua en el soporte de un camino. Aunque podramos
dar un resultado mas general, nos limitaremos al caso particular que se usa, tal cual,
en el desarrollo posterior de la teora.
Teorema. Sea un camino y f : sop C continua. Entonces, la funcion


f (w)
1
dw, z C \ sop
g(z) =
2i w z

es analtica en C \ sop .
Demostracion. Observemos primero, que si z C \ sop , g(z) esta bien definida
puesto que la funcion de variable w que integramos, f (w)/(w z), es continua
en sop (si z sop , el denominador se anulara en un punto del soporte).
Si solo pretendieramos ver que g es holomorfa en C \ sop , el resultado es
una simple aplicacion del teorema anterior, pues
(w, z) =
y

f (w)
es continua en sop C \ sop ,
wz

f (w)

(w, z) =
y es continua en sop C \ sop .
z
(w z)2

76

Integracion
sobre caminos

Para demostrar la analiticidad, recurrimos a la definicion. Sea a C \ sop .

r
a

Tenemos que demostrar que g se puede

escribir como una serie de potencias
centrada en a. Lo que va a ser facil es
desarrollar la funcion interior. A partir
de aqu, nuestro problema sera sacar un
sumatorio fuera de la integral.
Denotemos R = d(a, sop ) > 0. Si
w sop ,


1
1
1
(z a)n
=

za =
wz
w a 1 wa
(w a)n+1
n=0

siendo el desarrollo valido para aquellos zs tales que |z a| < |w a|.

Tomemos un 0 < r < R. Si z cumple |z a| < r entonces, |z a| < |w a|,
w sop . Por tanto, si |z a| < r podemos escribir




n
(z a)
1
dw
f (w)
g(z) =
2i n=0
(w a)n+1
Para sacar fuera el sumatorio, bastara demostrar que la serie converge uniformemente en sop . Y, esto es cierto por el criterio M de Weierstrass. En efecto:

n 
n


(z

a)
r
rn


w sop , f (w)
C n , con
C n < +.
(w a)n+1
R
R
n=0

Hemos usado que f al ser continua en sop esta acotada. Por tanto,


f (w)
1
g(z) =
dw (z a)n , |z a| < r
n+1
2i (w a)
n=0
Luego, hemos probado que g es analtica en a.
Observacion
El razonamiento anterior se puede hacer para cualquier r < R = d(a, sop ),
luego, en definitiva, podemos asegurar


f (w)
1
g(z) =
dw (z a)n , |z a| < d(a, sop ).
n+1
2i (w a)
n=0