Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 1

SESIN 07: LA INTEGRAL COMPLEJA

En esta sesin comenzamos el estudio de la integral compleja. Como veremos en-
seguida, la integral compleja no es otra cosa que una integral de camino en el plano
complejo. Como iremos viendo en sesiones sucesivas, integracin compleja aplicada a
funciones analticas da lugar a una serie de resultados sorprendentes, sin parangn en
el clculo real.
Un camino o curva continua en el plano complejo es, por denicin, una funcin
continua : [c. /] C. Los puntos (c) y (/) se llaman inicial y nal, respectiva-
mente. Si .
0
es el punto inicial y .
1
. el nal de un camino . se dice a veces que
va de .
0
a .
1
o, tambin, que une .
0
con .
1
. Observemos que ([c. /]) es un sub-
conjunto compacto de C por ser la imagen continua de un compacto. El camino se
llama regular a trozos si es continuamente diferenciable a trozos, es decir, si [c. /] se
puede dividir en un nmero nito de subintervalos c = c
0
< c
1
< ... < c
a
= / de
manera que
0
existe en ]c
i
. c
i+1
[ y es continua en [c
i
. c
i+1
] (esto es, existen los lmites
laterales lm
t!o
i
+

0
(t) y lm
t!o
i+1

0
(t)). Para los caminos regulares a trozos reserva-
mos el nombre de contornos; en lo sucesivo siempre supondremos que los caminos de
integracin son contornos. A veces, cuando est claro por el contexto, nos referiremos
indistintamente a un contorno : [c. /] C o a su imagen ([c. /]) mediante el smbolo
. En particular, diremos que est contenido en C si ([c. /]) .
Denicin 1 Sea , una funcin compleja continua denida en un abierto C y
sea : [c. /] C un contorno contenido en . La expresin
_

, =
_

,(.)d. :=
a1

i=0
_
o
i+1
o
i
,((t))
0
(t)dt (1)
se llama la integral de contorno de , a lo largo de .
Si ,(.) = n(r. ) + i(r. ) y (t) = r(t) + i(t). c _ t _ /. entonces
,((t)) = n(r(t). (t)) + i(r(t). (t))

0
(t) = r
0
(t) + i
0
(t)
de manera que, agrupando separadamente las partes real e imaginaria del producto
,((t))
0
(t) en (1), integrando en [c
i
. c
i+1
] y sumando sobre i, vemos que
_

,(.)d. =
_
b
o
(n(r(t). (t))r
0
(t) (r(t). (t))
0
(t)) dt
+i
_
b
o
(n(r(t). (t))
0
(t) + (r(t). (t))r
0
(t)) dt
Este resultado se puede escribir de forma ms compacta como
_

, =
_

(n(r. )dr (r. )d) + i

_

(n(r. )d + (r. )dr)

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 2
Vemos, pues, que el clculo de integrales en el plano complejo no diere esencial-
mente del clculo de integrales de lnea en R
2
y muchos de sus conceptos y mtodos se
aplican directamente.
Ejemplo 1 Calcular la integral de contorno
1 =
_
1+2i
i
.
2
d.
a lo largo de (i) la recta que une .
0
= i con .
1
= 1 + 2i. (ii) la parbola = r
2
+ 1.
Solucin. En primer lugar, calcularemos las partes real e imaginaria del integrando:
,(.) = (r i)
2
= r
2

2
i2r =
_
n(r. ) = r
2

2
(r. ) = 2r
A continuacin, parametrizaremos los contornos:
(i) Para 0 _ t _ 1. el segmento de recta que une .
0
con .
1
es (t) = (1 t).
0
+t.
1
.
As pues, denimos el contorno

1
(t) = (1 t)i + t(1 + 2i) = t + i(t + 1) =
_
r(t) = t = r
0
(t) = 1
(t) = t + 1 =
0
(t) = 1
Luego,
1 =
_
1
0
[n(r(t). (t))r
0
(t) (r(t). (t))
0
(t)] dt
+i
_
1
0
[(r(t). (t))r
0
(t) + n(r(t). (t))
0
(t)] dt
=
_
1
0
_
t
2
(t + 1)
2
+ 2t(t + 1)

dt
+i
_
1
0
_
2t(t + 1) + t
2
(t + 1)
2

dt
=
1
3
i
11
3
(ii) Para 0 _ t _ 1. denimos el contorno

2
(t) = t + i(t
2
+ 1) =
_
r(t) = t = r
0
(t) = 1
(t) = t
2
+ 1 =
0
(t) = 2t
Luego,
1 =
_
1
0
_
t
2
(t
2
+ 1)
2
+ 2t(t
2
+ 1)2t

dt
+i
_
1
0
_
2t(t
2
+ 1) + (t
2
(t
2
+ 1)
2
)2t

dt
=
3
5
i
10
3
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 3
Vemos, pues, que, en general, el valor de las integrales de contorno dependen del con-
torno.
Si (c) = (/). el contorno se llama cerrado y la integral de contorno de , a lo
largo de suele escribirse como
_

,(.)d.. Un contorno cerrado que no se corta a s

mismo se llama contorno cerrado simple y es un caso particular de las llamadas curvas
de Jordan, es decir, curvas cerradas simples a las que slo se exige la continuidad de la
representacin parmetrica. El teorema siguiente parece obvio, pero es muy difcil de
probar.
Teorema 1 (Teorema de la curva de Jordan) Una curva de Jordan : [c. /] C
divide a C ~ ([c. /]) en dos dominios (conjuntos abiertos conexos), uno acotado y el
otro no acotado, siendo la curva su frontera comn. El dominio acotado se llama el
interior de la curva,
iat
, mientras que el no acotado se llama el exterior de la curva,

cat
.
As, pues, un contorno cerrado simple descompone el plano complejo de la si-
guiente manera: C = '
iat
'
cat
con = J
iat
= J
cat
(el smbolo J signica
frontera de).
Denicin 2 Una curva de Jordan se recorre en sentido o direccin positiva si un
observador, al recorrerla en esa direccin, tiene el interior de la curva a su izquierda.
Mientras no digamos explcitamente lo contrario, supondremos en lo sucesivo que
todos los contornos cerrados estn orientados positivamente.
Denicin 3 Sea : [c. /] C un contorno. Se dice que el contorno : [c. d] C
es un contorno equivalente a si existe una funcin continuamente diferenciable c :
[c. d] [c. /] con c
0
(:) 0 para \: [c. d]. c(c) = c. c(d) = /. tal que = c.
Como su nombre indica, la equivalencia de contornos es una relacin de equivalencia
(es decir, reexiva, simtrica y transitiva) ya que, si = c. entonces = c
1
.
donde c
1
: [c. /] [c. d] es continuamente diferenciable con
o
ot
c
1
(t) = 1,c
0
(c
1
(t))
0 para \t [c. /]. c
1
(c) = c y c
1
(/) = d.
Se exige que c
0
sea positiva a n de que y tengan la misma orientacin, es
decir, que se recorran en el mismo sentido. Si la condicin c
0
(:) 0 para \: [c. d] se
sustituye por c
0
(:) ,= 0 para \: [c. d] (con lo cual la orientacin de es la opuesta
a la de en el caso c
0
(:) < 0 y, por tanto, c(c) = /. c(d) = c). se dice que es una
reparametrizacin de .
Denicin 4 (Operaciones con contornos)
1. Dado : [c. /] C. denimos el contorno opuesto : [c. /] C como (t) :=
(c + / t).
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 4
2. Sean
1
: [c. /] C y
2
: [/. c] C dos contornos con
1
(/) =
2
(/). Denimos
la suma o unin
1
+
2
: [c. c] C de los contornos
1
y
2
mediante
(
1
+
2
)(t) =
_

1
(t) si t [c. /]

2
(t) si t [/. c]
Teorema 2 (Propiedades bsicas de la integracin compleja) La funciones siguientes
se suponen continuas en abiertos que contienen a los contornos considerados y los
contornos, regulares a trozos. Se cumple:
1. Linealidad respecto del integrando: Para \c
1
. c
2
C.
_

(c
1
,
1
+ c
2
,
2
)d. = c
1
_

,
1
d. + c
2
_

,
2
d.
2. Aditividad respecto del camino de integracin:
_

1
+
2
,d. =
_

1
,d. +
_

2
,d.
3. Independencia respecto de contornos equivalentes: Si y son contornos equi-
valentes, entonces
_

,d. =
_
e
,d.
4. Cambio de orientacin:
_

,d. =
_

,d.
5. Acotacin `1 de la integral:

,(.)d.

_ `1
donde ` := max
:2([o,b])
[,(.)[ y 1 :=
_
b
o
[.
0
(t)[ dt es la longitud de ([c. /]).
Obsrvese que ` < por ser el mximo de una funcin continua en el com-
pacto ([c. /]) y 1 < porque todo camino regular a trozos es recticable (vase [?],
Apartado 9.1)
Prueba. Las propiedades 1. y 2. son consecuencia directa de la linealidad de la integral
de Riemann y de su aditividad con respecto al intervalo de integracin.
3. Sean : [c. /] C y = c. donde c : [c. d] [c. /] es de clase C
1
con
c(c) = c. c(d) = /. Entonces,
0
(:) = ( c)
0
(:) =
0
(c(:))c
0
(:)
_
e
,d. =
_
o
c
,( (:))
0
(:)d: =
_
o
c
,((c(:)))
0
(c(:))c
0
(:)d:
=
_
(o)
(c)
,((t))
0
(t)dt =
_
b
o
,((t))
0
(t)dt
=
_

,(.)d.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 5
por la frmula del cambio de variable (t = c(:)).
4. Si denimos c : [c. /] [c. /] mediante c(:) := c + / :, entonces c(c) = /.
c(/) = c y c = . Luego, sustituyendo por en 3., obtenemos
_

,d. =
_
(b)
(o)
,((t))
0
(t)dt =
_
o
b
,((t))
0
(t)dt =
_
b
o
,((t))
0
(t)dt
=
_

,(.)d.
5. Por las propiedades de la integral de Riemann,

,(.)d.

_
b
o
,((t))
0
(t)

dt _
_
b
o
[,((t))
0
(t)[ dt
_ max
:2([o,b])
[,(.)[
_
b
o
[
0
(t)[ dt
Teorema 3 (Teorema Fundamental de las integrales de contorno) Sea , una funcin
analtica en un abierto tal que ,
0
es continua (ms adelante veremos que esta condi-
cin es redundante). Entonces, dados dos puntos .
1
. .
2
y un contorno : [c. /] C
contenido en con (c) = .
1
(/) = .
2
. se cumple
_

,
0
(.)d. = ,(.
2
) ,(.
1
) =: [,(.)]
:
2
:
1
independientemente de . En particular, si (c) = (/). entonces
_

,
0
(.)d. = 0
Prueba. Sea ,(.) = n(r. ) + i(r. ). Aplicando la regla de la cadena
,
0
((t))
0
(t) = (, )
0
(t) = (n )
0
(t) + i( )
0
(t)
y el teorema fundamental del clculo integral a cada uno de los subintervalos de [c. /]
donde es continuamente diferenciable, obtenemos
_

,
0
(.)d. =
a1

i=0
_
o
i+1
o
i
,
0
((t))
0
(t)dt
=
a1

i=0
__
o
i+1
o
i
(n )
0
(t)dt + i
_
o
i+1
o
i
( )
0
(t)dt
_
=
a1

i=0
([n((c
i+1
) n((c
i
)] + i [((c
i+1
) ((c
i
)])
= (n((c
a
) + i((c
a
)) (n((c
0
) + i((c
0
))
= ,((/)) ,((c))
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 6
Ejemplo 2 Sea ,(.) = .
3
y la porcin de la elipse r
2
+ 4
2
= 1 que une .
1
= 1 con
.
2
= i,2. Entonces, observando que .
4
,4 es una primitiva analtica de ,. tenemos que
_

.
3
d. =
_

d
d.
_
.
4
4
_
d. =
_
.
4
4
_
i2
1
=
15
64
sin necesidad de parametrizar el contorno.
Nota 1 1. En el caso de que , sea una funcin multivaluada y (1. 1) una rama
cualquiera tal que 1, se entiende que
_

,
0
(.)d. = 1(.
2
) 1(.
1
)
As, por ejemplo, para calcular
_

d.,. podemos tomar cualquier rama de la fun-

cin logaritmo tal que su recta de ramicacin no corte al contorno .
2. Ms adelante demostraremos que la derivada de una funcin analtica en C
es asimismo analtica en . Esto implica que si la funcin integrando q(.) no es
analtica en no puede existir una funcin analtica ,(.) en tal que ,
0
(.) =
q(.) y, por tanto, no se verica el teorema anterior.
Teorema 4 (Independencia del contorno) Sea , una funcin continua en un dominio
1 C. Entonces, las siguientes proposiciones son equivalentes:
1. Las integrales son independientes del contorno: Si .
0
. .
1
1 y
0
.
1
son dos
contornos en 1 de .
0
a .
1
. entonces
_

0
,(.)d. =
_

1
,(.)d.
2. Integrales a lo largo de contornos cerrados valen 0: Si es un contorno cerrado
en 1. entonces
_

,(.)d. = 0
3. Existencia de primitivas (o antiderivadas): Existe una funcin 1 denida y analti-
ca en 1 tal que 1
0
(.) = ,(.) para \. 1.
Prueba. (1 =2) Sea :=
0

1
. Entonces es un contorno cerrado y
_

,(.)d. =
_

0
,(.)d.
_

1
,(.)d. = 0
por hiptesis. Recprocamente, sea : [c. c] C un contorno cerrado tal que .
0
. .
1

con (c) = .
0
y (/) = .
1
. donde, sin restriccin de la generalidad, supondremos que
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 7
c < /. Denamos los contornos
0
: [c. /] C como
0
(t) = (t) y
1
: [/. c] C como

1
(t) = (t). Entonces
_

0
,(.)d.
_

1
,(.)d. =
_

0
,(.)d. +
_

1
,(.)d. =
_

,(.)d. = 0
La implicacin 3 =1 es una consecuencia trivial del Teorema Fundamental. Falta,
pues, probar que 1 =3.
En primer lugar observemos que, por hiptesis, la integral
_
:
:
0
,()d :=
_

,(n)dn
no depende del contorno en 1 considerado para ir de .
0
a .. con lo cual la funcin
1 : 1 C tal que
1(.) :=
_

,(n)dn (2)
est bien denida.
Sea 0. Como 1 es abierto y es continua en . 1. existe o 0 tal que
1
c
(.) 1 y [,() ,(.)[ < siempre que [ .[ < o. Supongamos que [n .[ < o
y conectemos . con n mediante un segmento rectilneo `. Entonces ` 1
c
(.) y, por
denicin de 1,
1(n) 1(.) =
_
+A
,()d
_

,()d =
_
A
,()d
Por consiguiente,

1(n) 1(.)
n .
,(.)

=
[1(n) 1(.) (n .),(.)[
[n .[
=

_
A
,()d ,(.)
_
A
d

[n .[
=

_
A
(,() ,(.))d

[n .[
_

_
A
[d[
[n .[
=
[n .[
[n .[
=
y 1
0
(.) = ,(.).
Al igual que en el caso real, dos primitivas de ,, 1
1
y 1
2
, pueden diferir en una
constante aditiva, es decir, 1
1
1
2
= c C; esta constante corresponde a la eleccin
del punto inicial .
0
en la denicin (2).
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 8
1. Problemas propuestos
1. Calcular la integral de contorno
_

(r
2

2
)d.
donde (a) es el arco de circunferencia que une el punto . = i (punto inicial)
con el punto . = 1 (punto nal); (b) es el segmento de recta que une esos dos
mismos puntos (con la misma orientacin). (c) Qu se deduce de (a) y (b)?
2. Calcular la integral
_
i
1
d.
.
a lo largo del contorno r
4
+
4
= 1.
3. Hallar el valor numrico de
_
[.[
2
d.
alrededor del cuadrado con vrtices 0, 1, 1 + i e i.
4. Calcular
_
(.
2
+ 3.)d.
a lo largo de (a) el crculo [.[ = 2 desde el punto = 2 al 1 = 2i, y (b) el
segmento de recta que va de a 1.
5. Calcular
(c)
_
2i
i
c
3:
d.. (/)
_
i
0
sinh 5.d.. (c)
_
+i
0
. cos 2.d..
2. Lecturas adicionales
1. J.M. Amig: Fundamentos de Matemticas. Servicios de Reprografa de la Uni-
versidad Miguel Hernndez, Elche, 2001.
2. J.E. Marsden, M.J. Homan: Basic Complex Analysis. W.H. Freeman, New York,
1999.
3. M.R. Spiegel: Variable Compleja. McGraw-Hill, Mjico, 2000.
4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, Mjico, 1999.