TEMA 4: INTEGRACIÓN EN EL CAMPO COMPLEJO

1. INTRODUCCIÓN A LA INTEGRACIÓN EN EL CAMPO COMPLEJO

El desarrollo de la teoría de funciones de una variable compleja sigue un camino

muy distinto al usado en la teoría de funciones de variable real.

En esta última teoría, tras estudiar las funciones derivables, se estudian las
funciones que admiten derivadas de órdenes superiores, luego las indefinidamente
derivables y por último las que admiten desarrollo de Taylor en serie de potencias.

En la teoría de funciones de variable compleja, se comienza estudiando las

funciones analíticas. Forman éstas una clase tan restringida que automáticamente
admiten derivadas de cualquier orden en cada punto en que sean analíticas. Más aún,
admiten desarrollo de Taylor, en un entorno de cada punto de analiticidad.

Pero supuesta f(z) analítica en un dominio, no ha sido posible demostrar la

existencia de derivadas de órdenes superiores, sin recurrir a la integración compleja. En
el desarrollo de Cauchy de la teoría de funciones de variable compleja, todo se hace
depender del cálculo integral complejo, incluso en cuestiones que aparentemente sólo se
refieren al cálculo diferencial.

Por tanto, constituyen una parte muy importante de la teoría de funciones de

variable compleja, la teoría de las integrales curvilíneas, junto con la de series de
potencias. Se caracterizan por su elegancia matemática y por su gran utilidad en la
matemática tanto pura como aplicada.

Para definir la integral curvilínea o integral definida compleja a lo largo de una

curva, es conveniente definir previamente la integral definida de una función compleja
de variable real, en un intervalo.

2. INTEGRAL DEFINIDA DE UNA FUNCIÓN COMPLEJA DE VARIABLE

REAL.

Se trata de una generalización inmediata de la integral simple real.

a) Definiciones previas

 Una función compleja de variable real es una función de la forma:

f(t) = u(t) + i v(t) ó z(t) = x(t) + i y(t) con t  I = [a,b]

 Dicha función se dice continua en I, si lo son x(t) e y(t).

Obsérvese que una tal función define una curva  en el plano complejo,
recorrida en un sentido determinado.

1
 y z (t )  x(t )  iy (t ) z (b)

t 
z (a )
a b
x
 La función anterior se dice continua a trozos en I, si x(t) e y(t) son continuas a
trozos en I (Acotadas y continuas en I excepto en un número finito de puntos de
discontinuidad de primera especie)

 Se dice que z(t) = x(t) + i y(t) es derivable a trozos en I si lo son x(t) e y(t).
Se define entonces la función derivada como z´(t) = x´(t) + i y´(t)

 Se dice que z(t) = x(t) + i y(t) es regular en I, o que lo es la correspondiente

curva  , si existen x´(t) e y´(t) y son continuas y no nulas ambas en I.

 Se dice que z(t) = x(t) + i y(t) es regular a trozos en I, o que lo es la

correspondiente curva  , si x(t) e y(t). son continuas en I, existiendo y siendo
continuas, x´(t) e y´(t). en I, excepto a lo sumo en un nº finito de puntos en los
que deben existir y ser continuas las derivadas laterales.

 Un contorno es una curva  regular a trozos y simple o de Jordan.

b) Definición

Dada la función compleja de variable real z(t) = x(t) + i y(t) continua a trozos en
[a,b], se define la integral definida de z(t) sobre [a,b] como

b b b
 z( t )dt   x( t )dt  i  y( t )dt (4.1)
a a a

c) Propiedades

De la definición y las propiedades de la integral definida de funciones reales de variable

real, se deduce de forma inmediata, siendo z(t), z1(t), z2(t), continuas a intervalos en
I = [a,b]:

b a
  z ( t )dt    z ( t )dt
a b
b b b
   z 1 ( t )  z 2 ( t ) dt   z 1 ( t )dt   z 2 ( t )dt
a a a
b c b
  z( t ) dt   z ( t ) dt   z ( t )dt
a a c
También se cumple:

2
 b b
 Re  z ( t ) dt   Re z ( t ) dt
a a
b b
   z ( t ) dt    z ( t ) dt  C
a a
 Si la función compleja de variable real Z(t) verifica Z´(t) = z(t) , entonces:
b
 z( t ) dt  Z ( b )  Z ( a )
a

b b
Se verifica también:  z ( t ) dt   z ( t ) dt
a a

Demostración:

b b b b
i
Sea  z( t )dt  R.e Entonces  z ( t )dt  R  e i  z( t )dt  e
i
z ( t )dt
a a a a
b b
Si f ( t )  u ( t )  iv ( t ) verifica que  f ( t )dt es real, entonces:  f ( t )dt =
a a
b
 Re f ( t ) dt
a
b
i
La integral e z ( t )dt es real por ser igual a R.
a

 Ree 
b b b
i i
Luego  z( t ) dt   e z( t ) dt  z( t ) dt
a a a
Ahora el integrando es una función real de variable real y además:
 
Re e i z ( t )  e i z ( t )  z ( t )

Luego aplicando la correspondiente propiedad del caso real:

 Ree 
b b b
i
 z( t ) dt  z ( t ) dt   z ( t ) dt
a a a

3. INTEGRALES CURVILÍNEAS COMPLEJAS, O DE CONTORNO

a) Definición

“Sea C un contorno descrito por C: z(t) = x(t) + i y(t) con t  I = [a,b]

Sea f(z) una función compleja de variable compleja, continua sobre C.

La integral curvilínea compleja o integral de contorno de f(z) a lo largo del arco

orientado C, que se representa por C f ( z )dz , se define así:

b
C f ( z ) dz   f  z( t ) z' ( t ) dt (4.2)
a

3
b) Comentarios

 La integral del 2º miembro es integral de una función compleja de variable

real t.

 Existe esa integral, pues z(t) es continua en I y f(z) continua sobre C.

Luego f  z ( t ) es continua en I y como z´(t) es continua en I excepto en un nº
finito de puntos, el integrando es continua a trozos en I.

 Si z´(t) no es continua sobre I, puede dividirse el intervalo I de forma obvia. Es

decir si C está compuesto de un nº finito n de arcos regulares orientados C i
n
entonces: C f ( z ) dz   Ci f (z) dz
i 1

c) Expresión en términos de integrales curvilíneas reales

De la definición:
b b
C f ( z ) dz   f  z( t ) z' ( t ) dt    u x ( t ), y( t )  i v x ( t ), y( t )  x ' ( t )  i y' ( t ) dt 
a a
b b
   u x ( t ), y( t ) x ' ( t )  v x ( t ), y( t ) y' ( t ) dt  i   u x ( t ), y( t ) y' ( t )  v x ( t ), y( t ) x ' ( t ) dt
a a

Luego: C f ( z ) dz  C u( x , y )dx  v( x , y )dy  i C v( x , y )dx  u( x , y )dy (4.3)

Puede escribirse C  u  iv  dx  idy  , desarrollando el integrando de acuerdo con las
leyes algebraicas usuales.

d) Notas

 Salvo indicación expresa, convenimos en que:

 Los caminos de integración son contornos

 Los integrandos son funciones continuas sobre esos contornos, o más

generalmente continuas a intervalos

Por eso a la integral curvilínea se le designa integral de contorno.

 El valor de la integral C f ( z)dz es invariante si se sustituye la representación

paramétrica z(t) t  I , por otra equivalente en el sentido que se vió en las
integrales curvilíneas reales , siempre que describa la curva en el mismo sentido.
Si se describe en sentido opuesto cambia el signo de la integral.
Se deduce de la expresión en términos de integrales curvilíneas reales y de la
invariancia de éstas ante el cambio de parámetros.

e) Propiedades

i)  C f ( z ) dz   
C
f ( z ) dz

4
 Se entiende que si C está descrita por z(t) t  [a,b] entonces -C está
descrita por z(t) con t variando desde t = b hasta t = a. Queda entonces la
curva recorrida en sentido contrario al de C.

ii) C 1  C 2 f ( z ) dz  C 1 f ( z ) dz  
C2
f ( z ) dz

Se entiende que si C1  z1 ( t ) t  [a,b] y C 2  z 2 ( t ) t  [b,c] y siendo

z1 (b)  z 2 ( b) se denota C1  C 2 al contorno definido por
z ( t ) t   a , b
C1  C 2  z 3 ( t )   1
z 2 ( t )
t   b, c 
Puede generalizarse a C1 ...Cn f (z)dz  C1 f (z)dz  ...  Cn f (z)dz
donde con C1  ...  C n se entiende la generalización obvia de la definición
vista para C1  C 2

iii) C k f ( z ) dz  k 
C
f ( z ) dz k C

iv) C  f ( z )  g( z ) dz  C f ( z ) dz   g ( z ) dz
C

La demostración de estas cuatro primeras propiedades se deduce de la definición de

integral de contorno y las propiedades de la integral de funciones complejas de variable
real.

f) Desigualdad ML

Si f(z) es continua a trozos sobre un contorno C  z ( t ) t   a , b , y es M una cota

superior de f ( z ) en C y L la longitud de C, se verifica: C f ( z )dz  ML
En efecto:
b b b
C f (z)dz   f  z( t )z' ( t )dt   f  z( t ) z ' ( t ) dt  M  z ' ( t ) dt  ML
a a a

g) Notas

 Si z recorre C, se interpreta dz como dz  x ' ( t )  iy' ( t ) dt

Por tanto, como la longitud de un contorno C  z( t ) , t   a , b  es
b
L  z ' ( t ) dt , puede expresarse L de forma abreviada por L C dz
a

 Puede hablarse también de integración respecto a la longitud del arco. Se

representa por C f (z )ds o C f ( z) dz y se define por:
b
C f ( z)ds  C f (z) dz   f  z( t ) z' ( t ) dt
a
 Suelen considerarse integrales curvilíneas, respecto a z. Se definen
formalmente:

5
 C f (z)d z  C (u  iv)(dx  idy)  C udx  vdy  i C udy  vdx  C f dz

 Con esta notación suelen introducirse:

C f (z)dx  2 C f (z)dz  C f (z)d z 
1

C f (z)dy  2i C f (z)dz  C f (z)d z 

1

h) Ejemplos de integrales de contorno

2
Ejemplo 1. Calcular C 1 z dz siendo C 1  OB

B (2,1) Los extremos son z = 0 y z = 2 + i

Entonces z( t )  2 t  it  (2  i) t t   0,1
z 2 es continua sobre C1
0
A
1 1
( 2  11 i)
  (2  i) t  (2  i) dt  (2  i)  t dt 
2
Por la definición C1 z 2 dz  3 2
3
0 0

2
Ejemplo 2. Calcular C 2 z dz siendo C 2  OAB

OA : z ( t )  t , t   0,2
2 2
I C2 z dz  OA z dz   z 2 dz ; ; AB : z( t )  2  it ,
AB
t   0,1
2 1 1 1
8
Luego C 2 z 2 dz   t 2 dt    2  it 
2 2
i dt 
3
   4t dt  i  (4  t ) dt 
0 0 0 0
1
8   t 3   8  1  2  11 i
=    2 t 2  i 4 t     2  i 4   
3   3  3  3 3
  0
2
Observemos que C1 z dz   z 2dz Luego C1  C 2 z
2
dz 0
C2

Ejemplo 3.
Calcular C 3 zdz siendo C3 la semicircunferencia superior de z  1, desde z= -1
hasta z = 1

0 0
Es C 3  z( t )  cos t  isent  e it t   ,0 ; I 3  C 3 z dz   it it
 e ie dt  i  dt   i
 

Ejemplo 4.
Calcular C 4 zdz siendo C4 la semicircunferencia inferior de z 1, desde z = -1
hasta z = 1.

2
Es C 4  z( t )  e it t   ,2 ; I4  C 4 z dz   idt   i

Obsérvese que I 4  I 3

6
Ejemplo 5.
Calcular C 5 zdz siendo C5 la circunferencia z 1 en sentido antihorario.

z 1
Es I 5  I 4  I 3  2 i . Como sobre C5 es z 1 z   . Luego:
2 z
z
dz
C 5 z
 2 i

Ejemplo 6.
dz
Sin resolver la integral, hallar una cota superior del módulo de I 6  C6 siendo
z4
C6 el segmento de origen en z = i y extremo en z = 1

1
Sobre C 6 es f (z)  continua, C 6  z( t )  t  (1  t )i , t   0,1
z4
dz 1
Es I6  C6 z 4  ML , siendo: M : cota superior de
z4
sobre C 6
L : longitud de C 6
2
    1
2 2
2 1 1
Sobre C 6 es: z 4  z 4  t 2  (1  t ) 2  2t 2
 2t  1   2 t     
  2 2 4

(Puede verse también geométricamente que sobre C es z mayor que distancia OA, es
2 4 1
decir z   z  )
2 4
i
Luego
1
 4 . Es por tanto M  4 y como A
L 2 resulta I6  4 2
z4

0 1
4. TEOREMA DE CAUCHY-GOURSAT

a) Teorema de Cauchy-Goursat (4.4)

Si f(z) es analítica sobre un contorno cerrado C y su interior, entonces

C f ( z )dz  0

Es un teorema de gran importancia en la teoría de funciones de variable compleja.

Su demostración es complicada bajo esta forma general.
La forma original de Cauchy exige además la continuidad de f´(z) sobre C y su interior.
Goursat fue el primero en mejorar el teorema, suprimiendo la hipótesis de la
continuidad de f´(z), no necesaria para demostrar la tesis. Precisamente el ser f´(z)
continua es una consecuencia que se demuestra a partir del teorema.

Veamos la demostración en la forma de Cauchy:

7
Sea R la región cerrada formada por C y su interior. Sea f(z) = u(x,y) + i v(x,y)
Por ser f(z) analítica en R, las u y v son continuas, derivables y cumplen las
condiciones de Cauchy-Riemann en R.
Si añadimos que f´(z) sea continua en R, entonces las derivadas de u, v son continuas
en R.
Es C f (z)dz  C udx  vdy  i C vdx  udy
Y por ser u, v continuas y con derivadas continuas en R es aplicable el teorema de
Green-Riemann a cada una de las integrales curvilíneas reales. Resulta:
C f (z) dz    R  v x 
 u y dx dy  i  
R
 u x  v y  dx dy
Y por cumplirse las condiciones de Cauchy-Riemann:
u x  v y ; u y   v x , resulta:  f ( z )dz  0 c.q.d.
C

b) Ejemplos

Ejemplo 7.
n
Calcular C z dz siendo n  N y C la circunferencia de centro en z = 0 y radio a.
n
La función es entera y C un contorno cerrado. Luego C z dz  0 según el teorema de
Cauchy-Goursat.
Calculando directamente: C  ae i 0    2  Luego:

 ae  aie d  ia  e e i  n 1   0 

2 2 n 1 n 1
i n i  n 1  a 2 a
C f (z)dz  i n 1
d  1  1  0
n 1 n 1
0 0