TEMA III: FUNCIONES DE VARIABLE COMPLEJA

1 Números complejos

Se define el conjunto de los números complejos C como

n √ o
C = z = (a, b) = a + ib : a, b ∈ R , i = −1 .

Al número real a se le denomina parte real de z y se simboliza por a = Re(z). Al número real b se le
llama parte imaginaria de z y se representa por b = Im(z).
Igual que representamos a todo número real en la recta por medio de un punto, de la misma
forma podemos pensar que un número complejo es un punto del plano. Los puntos del eje OX se
identifican con los números reales z = a = a + i0 = (a, 0), y los del eje OY z = ib = 0 + ib = (0, b) se
denominan imaginarios puros.

Dos números complejos serán iguales cuando lo sean sus partes reales e imaginarias, respectiva-
mente. Es decir
z1 = a + ib = z2 = c + id ⇐⇒ a = c , b = d.

Suma: z1 = a + bi y z2 = c + di:

z1 + z2 = (a + ib) + (c + id) = (a + c) + i(b + d).

1
Producto: z1 = a + bi y z2 = c + di. En base a que i2 = −1, se define

(a + ib)(c + id) = ac + iad + ibc + i2 bd = (ac − bd) + i(ad + bc),

que respeta el producto de números reales y sigue teniendo como elemento neutro al 1 = 1 + i0

(a + i0)(c + i0) = (ac) + i0 ; (a + ib)(1 + i0) = a + ib.

Este producto permite definir el cociente a partir del inverso. Sea z = a + ib 6= 0. Entonces

1 a b
= 2 2
−i 2 .
z a +b a + b2
1
Es fácil comprobar que z · = 1. Luego, si z2 6= 0:
z
z1 1
= z1 · .
z2 z2

Conjugado: Dado z = a + ib, se define su conjugado z = a − ib, que determina el punto del plano
simétrico a z respecto al eje OX. Se verifica:

z · z = a2 + b2 , z1 ± z2 = z1 ± z2 , z1 · z2 = z1 · z2 ,
µ ¶
z1 z1 z+z z−z
= , Re(z) = , Im(z) = .
z2 z2 2 2i
Forma Polar: Todo punto del plano tiene asociadas unas coordenadas polares (r, θ) que lo determi-
nan. Dado z = a + ib, se tiene
(  p
a = r cos θ  r = a2 + b2 = |z|
µ ¶
⇐⇒ b
b = r sen θ  θ = arctg = arg(z)
a

z = a + ib = r cos θ + i r sen θ = r(cos θ + i sen θ) = rθ .

2
Naturalmente, arg(z) queda definido salvo múltiplos enteros de 2π. Conviene entonces fijar un inter-
valo de definición de dicho argumento: lo tomaremos en (−π, π].
√
i = 1 π2 , −1 = 1π , 1 + i = 2 π4 .

Producto en forma polar:

µ ¶ µ ¶
z1 |z1 | 1 1
z1 · z2 = (|z1 | · |z2 |)arg(z1 )+arg(z2 ) ; = (z2 6= 0); = .
z2 |z2 | arg(z1 )−arg(z2 ) z |z| −arg(z)

Potencias de un complejo: z = r(cos θ + i sen θ) = |z|arg(z) ;

z n = |z|nn arg(z) = rn [cos(nθ) + i sen(nθ)] ;

(cos θ + i sen θ)n = cos(nθ) + i sen(nθ) (Fórmula de De Moivre).

Raı́ces de un complejo:
µq ¶
√
n n
z= |z| (k = 0, 1, 2, ..., n − 1).
arg(z)+2kπ
n

2 Funciones analı́ticas

Una aplicación entre dos subconjuntos de números complejos, define una función de variable compleja.
Por ejemplo:
1
f (z) = z + 5, f (z) = z 2 , f (z) =
.
z
Como f (z) ∈ C, podemos descomponer toda función en la forma f (z) = f (x + iy) = u(x, y) + iv(x, y),
donde
u(x, y) = Re f (z), v(x, y) = Im f (z).

Ejemplo: f (z) = z 2 = (x + iy)2 = x2 − y 2 + i2xy, luego Re f (z) = u(x, y) = x2 − y 2 e Im f (z) =

v(x, y) = 2xy.

Podemos entender una función de variable compleja como una aplicación de R2 en R2 , por lo
que el concepto de lı́mite funcional queda recogido del caso real:

lim f (z) = w0 ⇐⇒ ∀ ε > 0, ∃ δ > 0 : |z − z0 | < δ ⇒ |f (z) − w0 | < ε.

z→z0

Si f (z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , w0 = a + ib, entonces



 lim u(x, y) = a
(x,y)→(x0 ,y0 )
lim f (z) = w0 ⇐⇒
z→z0 
 lim v(x, y) = b.
(x,y)→(x0 ,y0 )

3
Propiedades:

• Si existe lim f (z), entonces es único.

z→z0

• lim [f (z) ± g(z)] = lim f (z) ± lim g(z).

z→z0 z→z0 z→z0

• lim [f (z) · g(z)] = lim f (z) · lim g(z).

z→z0 z→z0 z→z0

· ¸ lim f (z)
f (z) z→z0
• lim = , siempre que lim g(z) 6= 0.
z→z0 g(z) lim g(z) z→z0
z→z0

Ejemplos:

1. lim (z 2 + c) = lim (x2 − y 2 + i2xy + c) = x20 − y02 + i2x0 y0 + c = z02 + c.

z→z0 (x,y)→(x0 ,y0 )

2. lim z = lim x + iy = x0 − iy0 = z0 .

z→z0 (x,y)→(x0 ,y0 )

z2 x2 − y 2 − 2ixy (x2 − y 2 − 2ixy)(x − iy)

3. lim = lim = lim . El cálculo se com-
z→z0 z (x,y)→(x0 ,y0 ) x + iy (x,y)→(x
¯ 0 ,y¯0 ) x2 + y 2
¯ z2 ¯ |z|2
¯ ¯
plica. Sin embargo si tenemos en cuenta que ¯ ¯ = = |z| y que el único número complejo
¯z ¯ |z|
z2
que tiene módulo cero es z = 0, podemos concluir que lim = 0.
z→z0 z

De igual forma podemos introducir los lı́mites en el infinito:

lim f (z) = w0 ⇐⇒ ∀ ε > 0, ∃ M > 0 : |z| > M ⇒ |f (z) − w0 | < ε

z→∞

lim f (z) = ∞ ⇐⇒ ∀ M > 0, ∃ δ > 0 : |z − z0 | < δ ⇒ |f (z)| > M.

z→z0

Definición 2.1 Una función de variable compleja f (z) es continua en z0 si

1. existe lim f (z);

z→z0

2. existe f (z0 );

3. lim f (z) = f (z0 ).

z→z0

4
2.1 Derivación

Se define la derivada de f (z) en z0 por el lı́mite

df f (z) − f (z0 )
(z0 ) = f 0 (z0 ) = lim ,
dz z→z 0 z − z0
siempre que dicho lı́mite exista. En tal caso, también se puede escribir
f (z0 + ∆z) − f (z0 )
f 0 (z0 ) = lim (∆z = z − z0 ).
∆z→0 ∆z
Ejemplos:

• f (z) = z 2 ;
(z + ∆z)2 − z 2
f 0 (z) = lim = lim (2z + ∆z) = 2z.
∆z→0 ∆z ∆z→0

• f (z) = |z|2 ;
|z + ∆z|2 − |z|2 (z + ∆z)(z + ∆z) − zz
f 0 (z) = lim = lim =
∆z→0 ∆z ∆z→0 ∆z
" #
zz + z∆z + z∆z + ∆z∆z − zz ∆z
= = lim z + z + ∆z ,
∆z ∆z→0 ∆z
por lo que si z = 0 es claro que f 0 (0) = 0. Sin embargo, si z 6= 0 podemos comprobar la no
∆z
derivabilidad de f , dado que el lı́mite del cociente no existe:
∆z


 ∆z
∆z  ∆z = ∆x :

∆z
= 1,
=
∆z  
 ∆z
 ∆z = i∆y : = −1.
∆z
Proposición 1 Si f (z) es derivable en z0 , entonces es continua en z0 .

Demostración:

· ¸ · ¸
f (z) − f (z0 ) f (z) − f (z0 )
lim [f (z) − f (z0 )] = lim (z − z0 ) = lim lim (z − z0 ) = f 0 (z0 ) · 0 = 0.
z→z0 z→z0 z − z0 z→z0 z − z0 z→z0

Reglas de derivación
d dz n
1) C = 0, (C ∈ C); 2) = nz n−1 (z 6= 0 si n < 0);
dz dz
d df dg d
3) [f (z) ± g(z)] = (z) ± (z); 4) [f (z) · g(z)] = f 0 (z) · g(z) + f (z) · g 0 (z);
dz dz dz dz
· ¸
d f (z) f 0 (z) · g(z) − f (z) · g 0 (z) d
5) = 2
; 6) [f (g(z))] = f 0 (g(z)) · g 0 (z).
dz g(z) g (z) dz

5
 (1 + z 2 )4
Ejemplos: f (z) = 3z 2 − 2z + 4, f (z) = (1 − 4z 2 )3 , f (z) = .
z2
Ecuaciones de Cauchy-Riemann
Anteriormente se comprobó que la función f (z) = |z|2 sólo admite derivada en z = 0. Por otro
lado f (z) = |z|2 = x2 + y 2 , luego u(x, y) = Re f = x2 + y 2 y v(x, y) = Im f = 0 son funciones
infinitamente diferenciables. Una primera conclusión es que el buen comportamiento de la parte real
e imaginaria de una función compleja no basta para su derivabilidad.
Obtendremos una pareja de ecuaciones que han de satisfacer en un punto las derivadas parciales
de primer orden de las partes real e imaginaria de una función f (z) que admita derivada en dicho
punto. Supongamos que existe f 0 (z0 ):
f (z0 + ∆z) − f (z0 )
f 0 (z0 ) = lim .
∆z→0 ∆z
Si z0 = x0 + iy0 , ∆z = ∆x + i∆y y Re f = u(x, y) e Im f = v(x, y):
· ¸
0 f (z0 + ∆z) − f (z0 )
Re[f (z0 )] = lim Re ,
(∆x,∆y)→(0,0) ∆z
· ¸
f (z0 + ∆z) − f (z0 )
Im[f 0 (z0 )] = lim Im .
(∆x,∆y)→(0,0) ∆z
Además,
f (z0 + ∆z) − f (z0 ) u(x0 + ∆x, y0 + ∆y) − u(x0 , y0 ) + i [v(x0 + ∆x, y0 + ∆y) − v(x, y0 )]
= .
∆z ∆x + i∆y
Que f 0 (z0 ) exista implica que para cualquier elección de ∆z → 0 el lı́mite existe, y es el mismo.
Entonces, si tomamos ∆z = ∆x
u(x0 + ∆x, y0 ) − u(x0 , y0 )
Re[f 0 (z0 )] = lim = ux (x0 , y0 ),
∆x→0 ∆x
v(x0 + ∆x, y0 ) − v(x0 , y0 )
Im[f 0 (z0 )] = lim = vx (x0 , y0 ),
∆y→0 ∆x
de donde
f 0 (z0 ) = ux (x0 , y0 ) + iv(x0 , y0 ).

Si tomamos ∆z = i∆y, nos queda

1
f 0 (z0 ) = uy (x0 , y0 ) + vy (x0 , y0 ) = −iuy (x0 , y0 ) + vy (x0 , y0 ).
i
Tenemos entonces que si f 0 (z0 ) existe, necesariamente las anteriores expresiones deben coincidir, y
llegamos a )
ux (x0 , y0 ) = vy (x0 , y0 )
(Ecuaciones de Cauchy-Riemann).
uy (x0 , y0 ) = −vx (x0 , y0 )

6
Deducimos por tanto que, si en algún punto z0 no se verifican las ecuaciones de Cauchy-Riemann,
entonces no puede existir f 0 (z0 ). Este papel de las mencionadas ecuaciones es más relevante aún y
queda reflejado en el siguiente teorema.

Teorema 2.1 Si f (z) = u(x, y) + iv(x, y) es tal que las derivadas parciales ux , uy , vx y vy son
funciones continuas en z0 = x0 + iy0 , entonces f 0 (z0 ) existe si y sólo si u(x, y) y v(x, y) satisfacen las
ecuaciones de Cauchy-Riemann en z0 .

Esto nos permite estudiar la derivabilidad de cualquier función analizando su parte real y su
parte imaginaria.

Ejemplos:

• f (z) = z 2 = x2 − y 2 + i2xy.

u(x, y) = x2 − y 2 , ux (x, y) = 2x, uy (x, y) = −2y,

v(x, y) = 2xy, vx (x, y) = 2y, vy (x, y) = 2x.

Las funciones ux , uy , vx , vy son continuas en todo R2 . Además, para todo punto (x, y) se
verifica que ux (x, y) = vy (x, y) y que uy (x, y) = −vx (x, y). Por tanto existe f 0 (z) para todo
z ∈ C y su valor es

f 0 (z) = ux (x, y) + ivx (x, y) = 2x + i2y = 2(x + iy) = 2z.

• f (z) = z · z = |z|2 = x2 + y 2 .

u(x, y) = x2 + y 2 , ux (x, y) = 2x, uy (x, y) = 2y,

v(x, y) = 0, vx (x, y) = 0, vy (x, y) = 0.

Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo sólo se verifican las ecuaciones
de Cauchy-Riemann para (x, y) = (0, 0). Por tanto no existe f 0 (z) para z 6= 0, mientras que
f 0 (0) = 0.
1
• f (z) = x2 + ixy.
2
1
u(x, y) = x2 , ux (x, y) = x, uy (x, y) = 0,
2

v(x, y) = xy, vx (x, y) = y, vy (x, y) = x.

7
 Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo para que se verifiquen las
ecuaciones de Cauchy-Riemann, hemos de exigir que y = 0. Por tanto sólo existe f 0 (z) para
z = x + i0 y f 0 (x + i0) = x + i0.
1
• f (z) = xy + i y 2 .
2
u(x, y) = xy, ux (x, y) = y, uy (x, y) = x,

v(x, y) = 21 y 2 , vx (x, y) = 0, vy (x, y) = y.

Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo en este caso para que se
verifiquen las ecuaciones de Cauchy-Riemann, hemos de exigir que x = 0. Por tanto sólo existe
f 0 (z) para z = iy, y f 0 (iy) = y.

2.2 Funciones Analı́ticas

Definición 2.2 Una función f (z) de variable compleja se dice analı́tica u holomorfa en z0 , si existe
f 0 (z) en todo punto z perteneciente a una bola B(z0 , r) centrada en z0 .

En los ejemplos anteriores podemos comprobar que f (z) = z 2 es holomorfa en todo C, mientras
que las otras tres funciones no son holomorfas en ningún punto.
Una función se dice que es entera si es holomorfa en todo C. Por ejemplo, los polinomios.

Propiedades: Dadas f (z) y g(z) holomorfas en z0 , entonces:

• f (z) ± g(z) es holomorfa en z0 .

• f (z) · g(z) es holomorfa en z0 .

f (z)
• es holomorfa en z0 siempre que g(z0 ) 6= 0.
g(z)

Definición 2.3 Si f (z) es analı́tica en una bola B(z0 , r) centrada en z0 salvo en el propio z0 , diremos
que z0 es una singularidad (aislada) de f (z).

1 1
Ejemplo: f (z) = (z 6= 0), f (z) es derivable en todo C − {0} y f 0 (z) = − .
z z2

8
3 Algunas funciones elementales
3.1 Exponencial

Buscamos definir la extensión compleja ez de ex , que conserve todas sus propiedades. Esencialmente
nos interesan dos:

1. ez debe coincidir con ex si z = x + i0 ∈ R.

2. ez deber ser entera y f 0 (z) = ez al igual que ex en R.

Para lograr nuestro objetivo, definimos:

f (z) = ez = ex+iy = ex · eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.

Claramente se verifica 1. La analiticidad es fácil de comprobar con las ecuaciones de Cauchy-Riemann:

u(x, y) = ex cos y, ux (x, y) = ex cos y, uy (x, y) = −ex sen y,

v(x, y) = ex sen y, vx (x, y) = ex sen y, vy (x, y) = ex cos y,

de donde ux = vy y uy = −vx para todo (x, y). Además f 0 (z) = ux (x, y) + ivx (x, y) = ex cos y +
i ex sen y = ez .

Propiedades:

• ez1 · ez2 = ez1 +z2 ;

• (ez )m = emz ;
ez1
• = ez1 −z2 ;
ez2
• ez = (ex )y , es decir |ez | = ex , arg(ez ) = y.

Las dos siguientes propiedades son exclusivas de ez , es decir, no se verifican para ex , x ∈ R.

• ez es periódica de periodo 2πi;

• ez puede tomar valores negativos, por ejemplo eiπ = −1, pero nunca se anula.

9
3.2 Funciones trigonométricas

En base a la fórmula de Euler sabemos que eiθ = cos θ + i sen θ y e−iθ = cos θ − i sen θ. Por lo que
podemos escribir
eiθ + e−iθ eiθ − e−iθ
cos θ = , sen θ = .
2 2i
Definimos de esta forma el seno y el coseno, en el campo real, a partir de la exponencial compleja.
Podemos por tanto extender de esta forma la definición de seno y coseno de un número complejo por

eiz + e−iz eiz − e−iz

cos z = , sen z = .
2 2i
A partir de estas definiciones se introducen el resto de las funciones trigonométricas de la forma usual:

sen z 1 1 1
tg z = , sec z = , cosec z = , cotg z = .
cos z cos z sen z tg z

Propiedades:

• sen z y cos z coinciden con sen x y cos x para z = x + i0 ∈ R.

• sen z y cos z son holomorfas en todo C, o lo que es lo mismo, son funciones enteras.
d d
• (sen z) = cos z y (cos z) = − sen z.
dz dz
• sen2 z + cos2 z = 1.

• sen(z1 ± z2 ) = sen z1 cos z2 ± cos z1 sen z2 .

• cos(z1 ± z2 ) = cos z1 cos z2 ∓ sen z1 sen z2 .

• sen z = sen x cosh y + i cos x senh y.

• cos z = cos x cosh y − i sen x senh y.

d
• (tg z) = sec2 z.
dz
Por último comentaremos que, a diferencia de lo que ocurre en R, las funciones seno y coseno no están
acotadas (piénsese en el valor de cos(ib), b ∈ R).

10
3.3 Logaritmo

La idea es definir la función inversa de ez , esto es, debe verificarse que elog z = z. Si log z = u(x, y) +
iv(x, y), entonces
z = elog z = eu(x,y) eiv(x,y) = |z|eiarg(z) ,

luego u(x, y) = log |z| y v(x, y) = arg(z) + 2kπ, con k ∈ Z. Por lo tanto, definimos el logaritmo de un
número complejo como
log z = log |z| + i[arg(z) + 2kπ] (k ∈ Z).

El problema de esta definición es que arg(z) no está únicamente definido, ya que si θ = arg(z) entonces
arg(z) = θ + 2kπ también verifica que elog z = z.
Definimos el logaritmo principal de z como Log z = log |z|+i Arg(z), donde Arg(z) ∈ (−π, π].

Nota: seguimos sin poder evaluar log(0 + i0), y la función log z es discontinua en (−∞, 0) pues arg(z)
lo es. Sin embargo, ahora podemos calcular logaritmos de números reales negativos.

Ejemplos:
√ µ ¶ √ µ ¶
−3π −3π
a) Log(−1 − i) = log 2+i ; b) log(−1 − i) = log 2 + i + 2kπ ;
4 4
c) Log(−10) = log 10 + iπ.

Propiedades:

• log(z1 · z2 ) = log z1 · log z2 ;

• log z n = n log z;
µ ¶
z1
• log = log z1 − log z2 ;
z2
d 1
• (log z) = en C − (−∞, 0].
dz z

3.4 Potencias complejas

Si z, w ∈ C se define z w de la siguiente forma:

z w = ew(log z) = ew[log |z|+i(arg(z)+2kπ)] .

Denominamos valor principal de z w al que se obtiene al tomar el logaritmo principal en la definición.

11
Ejemplo:
√
2+i( π4 +2kπ)] π
• (1 + i)2i = e2i[log(1+i)] = e2i[log . El valor principal será e− 2 [cos(log 2) + i sen(log 2)].

4 Integración

Definición 4.1 Una curva C del plano complejo es un conjunto de puntos z = x + iy determinados
por una ecuación
z(t) = x(t) + iy(t), a≤t≤b

donde x(t) e y(t) son funciones continuas del parámetro real t.

Ejemplos:

a) z(t) = r cos t + ir sen t = reit , t ∈ [0, 2π]; b) z(t) = t + it, t ∈ [0, 2];
c) z(t) = t + i sen t, t ∈ [0, π].

La curva −C : u(t) = z(−t), t ∈ [−b, −a] denota la misma curva que C : z(t), t ∈ [a, b], pero
recorrida en sentido inverso.
Si z(a) = z(b) se dice que C es una curva cerrada. Si z(t) no se corta a sı́ misma, se dice que
C es una curva de Jordan.
La derivada z 0 (t) se define por z 0 (t) = x0 (t) + iy 0 (t) con t ∈ [a, b], donde z 0 (a) y z 0 (b) denotan las
derivadas laterales por la izquierda y por la derecha en a y b respectivamente. Ası́ dz = dx + idy =
x0 (t)dt + iy 0 (t)dt.
Las integrales de las funciones de una variable compleja se definen sobre curvas en el plano
complejo.

12
Definición 4.2 Sea C : z(t) = x(t) + iy(t), t ∈ [a, b] una curva en el plano complejo y f (z) una
función continua a trozos en C. Se define la integral de f (z) a lo largo de C como
Z Z b
f (z)dz = f [z(t)] · z 0 (t)dt
C a

Si f (z) = u(x, y) + iv(x, y),

Z Z Z
f (z)dz = (u + iv)(dx + idy) = (udx − vdy) + i(udy + vdx) =
C C C
Z b Z b
0 0
= [u(x(t), y(t))x (t) − v(x(t), y(t))y (t)]dt + i [u(x(t), y(t))y 0 (t) + v(x(t), y(t))x0 (t)]dt.
a a

Ejemplos:
Z
• I= zdz, C : z(t) = t + i sen t, t ∈ [0, π].
C
Z Z Z π
I= zdz = z(t)z 0 (t)dt = (t + i sen t)(1 + i cos t)dt =
C C 0
Z π " #π
t2 1 π2 π2
= [(t − sen t cos t) + i(t cos t + sen t)] dt = − sen2 t + i [t sen t]π0 = + i0 = .
0 2 2 0
2 2
Z
• I= z 2 dz, C : z(t) = t + i(t2 + 1), t ∈ [0, 1]. z 2 = (x − iy)2 = x2 − y 2 − i2xy.
C
Z Z 1h i Z 1h i
2 2 2 2 2
I= z dz = t − (t + 1) − i2t(t + 1) (1 + i2t)dt = t2 − (t2 + 1)2 + 2t(t2 + 1)2t dt
C 0 0
Z 1h i Z 1 Z 1
+i (t2 − (t2 + 1)2 )2t − 2t(t2 + 1) dt = (3t4 + 3t2 − 1)dt − i2 (t5 + 2t3 + 2t)dt =
0 0 0
· ¸1 " #1
3 5 t6 t4 3 10
= t + t3 − t − i2 + + t2 = −i .
5 0 6 4 0
5 3

Z 
 t + i, 0 ≤ t < 1 : C1
• I= z 2 dz, C : z(t) =
C 
 1 + it, 1 ≤ t ≤ 2 : C2 .
Z Z Z
I= z 2 dz = z 2 dz + z 2 dz.
C C1 C2
Z Z 1 Z 1 Z 1 µ ¶
2
z 2 dz = (t2 − 1 − i2t)dt = (t2 − 1)dt − 2i tdt = − +i ,
C1 0 0 0 3
Z Z 2 Z 2 Z 2
4
z 2 dz = (1 − t2 − i2t)idt = 2tdt + i (1 − t2 )dt = 3 − i .
C2 1 1 1 3
Luego
Z µ ¶
2 2 4 7 7
I= z dz = − +i +3−i = −i .
C 3 3 3 3

13
Propiedades:
Z Z Z
1. f (z)dz = f (z)dz + f (z)dz.
C=C1 +C2 C1 C2
Z Z
2. f (z)dz = − f (z)dz.
−C C
Z Z
3. kf (z)dz = k f (z)dz (k ∈ C).
C C
Z Z Z
4. [f (z) ± g(z)]dz = f (z)dz ± g(z)dz.
C C C

4.1 Teorema de Cauchy

El siguiente teorema se conoce como teorema de Cauchy

Teorema 4.1 Sea f (z) una función analı́tica en todos los puntos de una curva de Jordan cerrada C
y en todos los puntos que encierra. Entonces
Z
f (z)dz = 0.
C

Demostración:
La demostración de este resultado se basa en la definición de integral a lo largo de una curva utilizando
la aproximación por integrales sobre polinomios. No obstante la idea primera que llevó a deducir este
teorema es más sencilla aunque sobre funciones analı́ticas con derivada continua. Posteriormente se
demostró que esta condición no era necesaria.
Si f (z) = u(x, y) + iv(x, y) es continua en la región R encerrada por la curva C, ası́ como su
derivada f 0 (z), tenemos entonces que u(x, y) y v(x, y) son funciones continuas en R con derivadas
parciales continuas. Entonces en base al teorema de Green:
Z Z Z Z Z Z Z
f (z)dz = (udx − vdy) + i (vdx + udy) = (−vx − uy )dxdy + i (ux − vy )dxdy.
C C C R R

Pero por las ecuaciones de Cauchy-Riemann, ux = vy y uy = −vx , con lo que las dos integrales dobles
son cero.

Este teorema reduce ampliamente la resolución de integrales sobre contornos cerrados, ya que
nos lleva a considerar sólo aquellas funciones que no son analı́ticas.

Ejemplos:

• Comprobar el teorema de Cauchy para f (z) = z n , con C : z(θ) = reiθ , θ ∈ [0, 2π].

14
 1
• Comprobar que para f (z) = y la misma curva del ejemplo anterior, no es aplicable el teorema
z
de Cauchy.

4.2 La fórmula integral de Cauchy y su generalización

Teorema 4.2 Sea f (z) una función analı́tica en una curva de Jordan cerrada C y en todos los puntos
de su interior. Si z0 es un punto del recinto cerrado por C, entonces
Z
1 f (z)
f (z0 ) = dz,
2πi C z − z0
igualdad conocida como la fórmula integral de Cauchy.

Aplicaciones: Esta fórmula nos permite calcular algunas integrales mediante una simple evaluación de
funciones en algún punto.
Z
cos z
• I = dz, siendo C el borde del triángulo de vértices 0 + 0i, 2 + 2i y 2 − 2i. Como
C z −1
f (z) = cos z verifica las condiciones del teorema, tenemos I = 2πif (1) = 2πi cos 1. Por otro
Z
cos z
lado, no podemos aplicar la fórmula de Cauchy a la integral I = dz, pues el punto
C z+1
z = −1 no está en el recinto encerrado por C. Sin embargo, por el teorema de Cauchy sabemos
que esta última integral es cero.
Z
cos z
• I= dz, siendo C : |z − 2i| = 2.
C z2 + 1
Z Z cos z
cos z z+i cos i
I= dz = dz = 2πi = π cosh 1.
C z2 + 1 C z−i i+i
Z
z
• I= dz, siendo C : |z| = 2.
C (9 − z 2 )(z + i)
Z Z z
z 9−z 2 −i π
I= 2
dz = dz = 2πi 2
= .
C (9 − z )(z + i) C z+i 9 − (−i) 5

La fórmula integral de Cauchy permite obtener propiedades de las derivadas de f (z), basándonos
en las reglas de derivación bajo el signo integral.

Teorema 4.3 Si una función es analı́tica en una región R, entonces admite derivadas de todos los
órdenes en R. Dichas derivadas son además funciones analı́ticas en R y pueden ser calculadas en
cada punto z0 ∈ R por
Z
n! f (z)
f (n) (z0 ) = dz n = 0, 1, 2, ...
2πi C (z − z0 )n+1
donde C representa cualquier curva cerrada de Jordan contenida en R y que rodee a z0 .

15
 De nuevo tenemos una forma de evaluar integrales.

Ejemplos:
Z
dz
• I = , siendo C una curva cerrada de Jordan que rodea a z0 . Si tomamos f (z) = 1,
C z − z0 Z
dz
concluimos que I = 2πi · 1 = 2πi. Por otro lado n+1
= 0, ya que f (n) (z) = 0 para
C (z − z0 )
n = 1, 2, 3, ....
Z
z 3 + 2z + 1
• I= dz, siendo C : |z| = 2.
C (z − 1)3
Z
z 3 + 2z + 1 d2 h 3 i 2πi
I= 3
dz = 2
z + 2z + 1 (1) · = 6πi.
C (z − 1) dz 2!
Z
cos z
• I= dz, siendo C : |z − 4| = 2.
C (z − 1)3 (z − 5)2
Z Z cos z · ¸ µ ¶
cos z (z−1)3 2πi d cos z −64 sen 5 − 48 cos 5
I= dz = dz = (5) = 2πi .
C (z − 1)3 (z − 5)2 C (z − 5)2 1! dz (z − 1) 3 46

El recı́proco del teorema de Cauchy también es cierto, y se conoce como teorema de Morera.

Teorema 4.4 Si f (z) es continua en una región R y para toda curva de Jordan cerrada C contenida
en R se tiene que
Z
f (z)dz = 0,
C

entonces f (z) es analı́tica en R.

Este resultado nos aproxima a la idea de campos conservativos en el plano y la mayorı́a de las
aplicaciones que se apoyan en la variable compleja se basan en representar los campos vectoriales
por medio de funciones analı́ticas, ya que aunque la definición de integral es distinta al caso real, las
operaciones finales sı́ son integrales de lı́nea de funciones vectoriales.

5 Desarrollos en serie de potencias

Teorema 5.1 Sea f (z) analı́tica en el disco D : |z − z0 | < R. Si z ∈ D, f (z) puede representarse
por un desarrollo en serie de potencias
∞
X
f (z) = cn (z − z0 )n = c0 + c1 (z − z0 ) + c2 (z − z0 )2 ....
n=0

16
donde los coeficientes cn vienen dados por

f (n) (z0 )
cn = .
n!

Por tanto, la serie de potencias converge a f (z) cuando |z − z0 | < R.

Ejemplos:

• La función f (z) = ez tiene el desarrollo en serie

∞
X zn
ez = , z ∈ C.
n=0
n!

• La función f (z) = sen z tiene el desarrollo en serie de potencias

∞
X z 2n+1
sen z = (−1)n , z ∈ C.
n=0
(2n + 1)!

Análogamente,
∞
X z 2n
cos z = (−1)n , z ∈ C.
n=0
(2n)!

1
• La función f (z) = 1−z es analı́tica en |z| < 1. Tiene el desarrollo en serie de potencias
∞
X
1
= zn = 1 + z + z2 + z3 + . . . , |z| < 1.
1 − z n=0

A partir de éstos, se pueden obtener desarrollos para funciones más generales.

Ejemplos:

• f (z) = z 2 e3z .
1 + 2z 2
• f (z) = .
1 + z2

6 Desarrollos de Laurent

Definición 6.1 El desarrollo en serie de Laurent de una función f (z) viene dado por
∞
X
f (z) = cn (z − z0 )n = .... + c−2 (z − z0 )−2 + c−1 (z − z0 )−1 + c0 + c1 (z − z0 ) + ....
n=−∞

donde la serie converge a f (z) en un cierto dominio del plano complejo.

17
 Se pueden obtener ejemplos de desarrollos de Laurent haciendo simples manipulaciones de de-
sarrollos conocidos de Taylor. Por ejemplo:
u2 u3
eu = 1 + u + + + ....
2! 3!
Tomando u = (z − 1)−1 , obtenemos
1 (z − 1)−2 (z − 1)−3
e z−1 = 1 + (z − 1)−1 + + + .... z 6= 1.
2! 3!
Este ejemplo representa un desarrollo de Laurent sin potencias positivas de (z − 1). Si multiplicamos
el desarrollo anterior por (z − 1)2 , nos queda
1 (z − 1)−1 1
(z − 1)2 e z−1 = .... + + + (z − 1) + (z − 1)2 z 6= 1,
3! 2!
que representa un desarrolo de Laurent con potencias positivas y negativas de (z − 1).

Teorema 6.1 Sea f (z) analı́tica en el anillo D : r1 < |z − z0 | < r2 . Si z ∈ D, f (z) puede
representarse por un desarrollo de Laurent
∞
X
f (z) = cn (z − z0 )n = .... + c−2 (z − z0 )−2 + c−1 (z − z0 )−1 + c0 + c1 (z − z0 ) + c2 (z − z0 )2 + ....
n=−∞

donde los coeficientes cn vienen dados por

Z
1 f (z)
cn = dz,
2πi C (z − z0 )n+1
siendo C cualquier curva cerrada contenida en D y que rodee a la circunferencia interior |z − z0 | < r1 .
La serie es uniformemente convergente en cualquier región anular centrada en z0 y contenida en D.

Ejemplo:
1
• Hallar el desarrollo de Laurent de f (z) = en potencias de z − 1. Establecer el dominio de
z−3
convergencia. Tenemos
1
= 1 + w + w2 + w3 + ...., |w| < 1.
1−w
Por otro lado, si
1
1 1
= = z−12 ,
z−3 (z − 1) − 2 1 − z−1
2
y si tomamos w = , se llega a
z−1
· ¸
1 1 2 4
= 1+ + + .... = (z − 1)−1 + 2(z − 1)−2 + 4(z − 1)−3 + ....
z−3 z−1 z − 1 (z − 1)2
La condición |w| < 1, se transforma en |z − 1| > 2.

18
7 Residuos y su aplicación en integración

Definición 7.1 Sea f (z) analı́tica sobre una curva cerrada de Jordan C y sobre los puntos interiores
a ésta salvo en z = z0 . Entonces el residuo de f (z) en z0 , escrito como Res[f (z), z0 ], se define como
el número complejo
Z
1
Res[f (z), z0 ] = f (z)dz.
2πi C

Teorema 7.1 El residuo de la función f (z) en una singularidad aislada z0 , es el coeficiente c−1 de
(z − z0 )−1 en el desarrollo de Laurent de f (z) en un anillo 0 < |z − z0 | < R.

El siguiente teorema se conoce como el teorema de los residuos

Teorema 7.2 Sea C una curva cerrada de Jordan y f (z) analı́tica sobre C y todos los puntos interiores
salvo en las singularidades aisladas z1 , z2 , ..., zn . Entonces:
Z
1
f (z)dz = Res[f (z), z1 ] + Res[f (z), z2 ] + ... + Res[f (z), zn ].
2πi C

7.1 Singularidades aisladas

Clasificamos las singularidades aisladas (de ahora en adelante denominadas simplemente singulari-
dades) de una función f (z) en tres tipos: polo, singularidad esencial y singularidad evitable.

Definición 7.2 Si f (z) posee una singularidad en z0 , decimos que z0 es un polo de orden N si

lim (z − z0 )N f (z) = c (c 6= 0, c 6= ∞).

z→z0

1
Ejemplo: la función f (z) = tiene en z = 0 un polo de orden 1 y en z = 1 un polo de orden
z(z − 1)2
2.

Definición 7.3 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad evitable si

lim f (z) = c (c 6= ∞).

z→z0

sen z sen z
Ejemplo: la función f (z) = posee una singularidad evitable en z = 0, pues lim = 1.
z z→0 z

Definición 7.4 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad esencial si
no es un polo o evitable.

19
 1
Ejemplo: la función f (z) = sen posee una singularidad esencial en z = 0.
z
∞
X
Definición 7.5 Sea z0 punto singular de f (z) y cn (z − z0 )n el desarrollo de Laurent de f (z) en
−∞
z0 . Llamamos parte principal del desarrollo a la constituida por los sumandos con potencias negativas
de z − z0 , es decir .... + c−k (z − z0 )−k + c−k+1 (z − z0 )−k+1 + .... + c−2 (z − z0 )−2 + c−1 (z − z0 )−1 .

Esta definición nos permite dar una caracterización de los distintos tipos de puntos singulares:

• Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal cuya mayor
potencia negativa de z − z0 es −N , z0 es un polo de orden N .
1
Ejemplo: f (z) =
z(z − 1)2

f (z) = z −1 + 2 + 3z + 4z 2 + .... 0 < z < 1.

f (z) = (z − 1)−2 − (z − 1)−1 + 1 − (z − 1) + (z − 1)2 + .... 0 < |z − 1| < 1.

• Si el desarrollo de Laurent de f (z) en la singularidad z0 no posee parte principal, z0 es una

singularidad evitable
sen z
Ejemplo: f (z) =
z
z2 z4
f (z) = 1 − + + ....
3! 5!

• Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal con infinitas
potencias negativas de z − z0 , z0 es una singularidad esencial.
1
Ejemplo: f (z) = sen
z
z −3 z −5
f (z) = z −1 − + + .... z 6= 0.
3! 5!

Cálculo de residuos en polos

Si f (z) tiene un polo de orden N en z0 , entonces

1 dN −1 h N
i
Res[f (z), z0 ] = lim (z − z0 ) f (z) .
z→z0 (N − 1)! dz N −1

g(z)
El residuo de f (z) = en un polo simple z0 , donde g(z0 ) 6= 0 y h(z0 ) = 0, viene dado por
h(z)

g(z0 )
Res[f (z), z0 ] = .
h0 (z0 )

20
 ez
Ejemplo: Encontrar el residuo de f (z) = en todos sus polos. En primer lugar, reescribimos
z 2 (z 2 + 1)
la función como
ez
f (z) = ,
z 2 (z + i)(z − i)
lo que nos muestra que posee polos simples en z = ±i y un polo de orden dos en z = 0.

ez ei
Res[f (z), i] = lim(z − i) = − .
z→i z 2 (z + i)(z − i) 2i

Para calcular el residuo en z = −i podrı́amos usar la misma regla, pero para ilustrar otra lo abor-
ez
daremos como sigue: tomemos g(z) = 2 , la cual verifica que g(−i) 6= 0, y h(z) = z 2 + 1, con lo que
z
h0 (z) = 2z. Entonces: " ez #
2 e−i
Res[f (z), −i] = z = .
2z z=−i 2i
Por último:
· ¸
d ez ez (z 2 + 1) − 2zez
Res[f (z), 0] = lim z2 2 2 = lim = 1.
z→0 dz z (z + 1) z→0 (z 2 + 1)2

7.2 Aplicaciones al cálculo integral

Evaluación de integrales complejas

Z
cos z cos z
• I = 3 (z − 5)2
dz siendo C : |z − 4| = 4. La función f (z) = 3 (z − 5)2
es
C (z − 1) (z − 1)
holomorfa en C, excepto en z = 1 (polo triple) y z = 5 (polo doble). Calculemos sus residuos:

1 d2 h 3
i 1 21 cos 1 + 8 sen 1
Res[f (z), 1] = lim 2
(z − 1) f (z) =− ,
z→1 2 dz 2 256
d h i 3 cos 5 + 4 sen 5
Res[f (z), 5] = lim (z − 5)2 f (z) = − .
z→5 dz 256
Por lo tanto
I = 2πi {Res[f (z), 1] + Res[f (z), 5]} .

Evaluación de integrales reales

Z 2π
Las integrales definidas reales de la forma R(sen θ, cos θ)dθ, donde R representa una función
0
racional, pueden resolverse efectuando el cambio de variable z = eiθ , dz = ieiθ dθ; ası́ que

dz z − z −1 z + z −1
dθ = , sen θ = , cos θ = .
iz 2i 2
La variación de θ entre 0 y 2π, hace que la nueva variable z se mueva a lo largo de la circunferencia
unidad |z| = 1.

21
Ejemplo:
Z 2π Z dz Z
1 iz 2dz
I= dθ = z−z −1
= .
0 2 + sen θ |z|=1 2 + |z|=1 + 4iz − 1
2i
z2
√ √
Los polos del integrando son los ceros de z 2 + 4iz − 1, que son z1 = i(−2 + 3) y z2 = −i(2 + 3).
El punto z2 está fuera del cı́rculo unidad, luego la función integrando posee un único polo simple, z1 ,
dentro de la región encerrada por |z| = 1. Entonces:
· √ ¸
2 2π
I = 2πiRes 2 , i(−2 + 3) = √ .
z + 4iz − 1 3

Nota: este mismo cambio de variable puede aplicarse cuando aparezcan cos(nθ) y sen(mθ), sin más
que tener en cuenta que

dz z m − z −m z n + z −n
dθ = , sen(mθ) = , cos(nθ) = .
iz 2i 2
Ejemplo:
Z 2π
cos(2θ) π
I= dθ = − .
0 5 − 4 sen θ 6

Integrales impropias
Sea f (z) una función analı́tica, con un número finito de polos {zk }nk=1 en el semiplano superior,
y ninguno en el eje real. Entonces
Z n
X
f (z)dz = 2πi Res[f (z), zk ],
C k=1

donde C : {z = Reiθ : θ ∈ [0, π]} ∪ [−R, R], siendo R suficientemente grande, de forma que la curva
C deje en su interior a todos los polos.

-R R

22
Pero
Z Z R Z π
f (z)dz = f (t)dt + f (Reit )Rieit dt,
C −R 0

y por eso
Z R n
X Z π
f (t)dt = 2πi Res[f (z), zk ] − f (Reit )Rieit dt.
−R k=1 0

Si existe el lı́mite de la última integral cuando R → ∞, podemos calcular una integral impropia.
Normalmente, el lı́mite es cero y entonces
Z ∞ n
X
f (t)dt = 2πi Res[f (z), zk ].
−∞ k=1

Ejemplos:
Z ∞ ¯∞
dt ¯
• 2
= arctg t ¯ = π.
−∞ 1 + t −∞
1
Sea f (z) = , que tiene polos simples en z = ±i.
1 + z2
1 1 1
Res[f (z), i] = lim(z − i) 2
= lim = ,
z→i 1+z z→i z+i 2i
y de aquı́
Z
1
f (z)dz = 2πi = π,
C 2i
donde C : {z = Reiθ : θ ∈ [0, π]} ∪ [−R, R]. Pero
Z Z R Z π
dt 1
f (z)dz = + Rieit dt,
C −R 1 + t2 0 1 + R2 e2it
y se tiene ¯ ¯
¯ 1 ¯
it ¯ R
¯
¯ 1 + R2 e2it Rie ¯ ≤ R2 − 1 → 0 (R → +∞).

Por eso
Z ∞
dt
= π.
−∞ 1 + t2
Z ∞
cos x
• dx.
−∞ 1 + x2
eiz
Consideremos f (z) = y la misma curva C del ejemplo anterior. Entonces
z2 + 1
Z
eiz π
f (z)dz = 2πiRes[f (z), i] = 2πi lim = .
C z→i z + i e
Pero
Z Z R Z π Z R Z π it
eit eiRe
f (z)dz = f (t)dt + f (Reit )Rieit dt = dt + iReit dt,
C −R 0 −R t2 + 1 0 R2 e2it + 1

23
 y además
¯ ¯
¯ eiReit iReit ¯ R ¯¯ iR cos t−R sen t ¯¯ R R
¯ ¯
¯ 2 2it ¯≤ 2 ¯e ¯= 2 e−R sen t ≤ 2 −→ 0 (R → ∞).
¯R e + 1¯ R −1 R −1 R −1

Por tanto,
Z ∞
eit π
2
dt = ,
−∞ t +1 e
y de esto se concluye que
Z ∞ Z ∞
cos t π sen t
dt = , dt = 0.
−∞ t2 + 1 e −∞ t2 + 1

• Demostrar que
Z ∞ Ã !
x3 sen x a2 e−a b2 e−b
dx = 2π + , a, b > 0,
−∞ (x2 + a2 )(x2 + b2 ) a2 − 2b2 b2 − 2a2

teniendo en cuenta el lema de Jordan, que nos garantiza que

Z π
π
e−R sen t dt < , (R > 0).
0 R

24