Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 1

Curso 2
o
. Ingeniero de Telecomunicacin.
Ampliacin de Matemticas.
Leccin 10.
EL TEOREMA DE LOS RESIDUOS.
Curso 2010-11
Puede armarse que, de alguna manera, el comportamiento de una funcin analtica cerca de
sus singularidades aisladas determina cmo es la propia funcin globalmente. Esto se pone de
maniesto en el Teorema de los Residuos de Cauchy, uno de los teoremas ms importantes de la
teora de funciones de variable compleja. El residuo de una funcin analtica en una singularidad
aislada es el valor del coeciente c
1
en su correspondiente desarrollo de Laurent
P
n
c
n
(z z
0
)
n
.
El Teorema de los Residuos generaliza el Teorema de la Integral de Cauchy a funciones que son
analticas salvo en un conjunto nito de singularidades, y establece que la integral de una tal
funcin sobre una curva de Jordan recorrida en sentido positivo es igual al producto de 2j por
la suma de sus residuos en las singularidades interiores a la curva. Veremos algunas aplicaciones
del Teorema de los Residuos al clculo de integrales reales impropias.
En la ltima seccin veremos el Principio de Variacin del Argumento que relaciona el nmero
de ceros y el nmero de polos de una funcin f(z) interiores a una curva cerrada C con la variacin
del argumento de f(z) al recorrer el punto z la curva C en direccin positiva. Como aplicacin
del Principio de Variacin del Argumento obtendremos el Teorema de Rouch, que relaciona el
nmero de ceros de dos funciones analticas en la misma regin, y el Criterio de Nyquist, que sirve
para determinar si hay polos de la funcin de transferencia con parte real positiva en el anlisis
de la estabilidad de los sistemas de control. De forma adicional, y aunque esto no corresponde
estrictamente a la teora de funciones de variable compleja, veremos otro criterio de estabilidad,
llamado Criterio de Routh-Hurwitz.
1 El Teorema de los Residuos
Residuo en una singularidad aislada. Sea z
0
una singularidad aislada de una funcin f.
Entonces, segn hemos estudiado en la leccin anterior, existe un disco perforado con centro en
z
0
, digamos 0 < |z z
0
| < , en el que f es analtica y admite un desarrollo en serie de Laurent
f(z) =

X
n=
c
n
(z z
0
)
n
= +
c
2
(z z
0
)
2
+
c
1
z z
0
+ c
0
+ c
1
(z z
0
) + c
2
(z z
0
)
2
+
2 Leccin 10. El Teorema de los Residuos
donde los coecientes del desarrollo vienen dados por
c
n
=
1
2j
I
C
f(z)
(z z
0
)
n+1
dz para cada n = 0, 1, 2, . . . ,
siendo C cualquier curva de Jordan contenida en , que rodea a z
0
y recorremos en sentido
positivo. El coeciente c
1
tiene un carcter especial ya que, salvo un factor constante, es igual
a la integral de f en C:
c
1
=
1
2j
I
C
f(z)
(z z
0
)
(1)+1
dz =
1
2j
I
C
f(z) dz.
Veremos enseguida que esta relacin de c
1
con las integrales de f sobre curvas que rodean a
z
0
tiene aplicaciones muy interesantes, por eso recibe un nombre especial: el coeciente c
1
de
la potencia (z z
0
)
1
del desarrollo en serie de Laurent de una funcin f en una singularidad
aislada z
0
se llama residuo de f en z
0
y se denota por Res(f, z
0
).
Teorema de los Residuos. Sea f una funcin analtica en un dominio y sea C una curva de
Jordan contenida en tal que f es analtica en la regin interior a C salvo en un nmero nito
de singularidades aisladas. Entonces la integral de f sobre C es igual a la suma de los residuos
de f en dichas singularidades multiplicada por el factor 2j. O sea,
I
C
f(z) dz = 2j
m
X
k=1
Res(f, z
k
)
donde z
1
, z
2
, . . . , z
m
son todas las singularidades aisladas de f rodeadas por C y C se recorre en
sentido positivo.
2 Clculo de los residuos en los polos
Residuos en los polos simples. Naturalmente, la utilidad del Teorema de los Residuos reside
en la posibilidad de calcular los residuos sin integrar, as que apenas tiene inters prctico si
no se dispone de algn procedimiento sencillo para determinar los residuos. Para singularidades
esenciales no existe ningn mtodo que pueda emplearse de manera sistemtica ms que usar las
series de potencias de las funciones elementales. La situacin es por completo diferente para los
polos, en los que los residuos pueden calcularse mediante derivacin. El caso ms sencillo es el
de los polos simples.
Si f tiene un polo simple en z
0
, entonces podemos escribir f(z) =
g(z)
z z
0
siendo g una funcin
analtica en un crculo centrado en z
0
tal que g(z
0
) 6= 0. Entonces, aplicando la Frmula Integral
de Cauchy,
Res(f, z
0
) =
1
2j
I
C
f(z) dz =
1
2j
I
C
g(z)
z z
0
dz = g(z
0
)
donde C es una curva de Jordan, orientada positivamente, que rodea a z
0
tal que g es analtica
en su regin interior.
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 3
Alternativamente, desarrollando g en serie de Taylor en z
0
obtenemos
f(z) =
g(z)
z z
0
=
g(z
0
) + g
0
(z
0
)(z z
0
) +
g
00
(z
0
)
2
(z z
0
)
2
+
g
000
(z
0
)
3
(z z
0
)
3
+
z z
0
=
g(z
0
)
z z
0
+ g
0
(z
0
) +
g
00
(z
0
)
2
(z z
0
) +
g
000
(z
0
)
3
(z z
0
)
2
+
que es la serie de Laurent de f en z
0
. En consecuencia, el residuo de f en z
0
es
Res(f, z
0
) = g(z
0
).
Habitualmente sabemos que una funcin f tiene un polo simple en un punto z
0
porque es de
la forma f(z) =
g(z)
h(z)
, donde g y h son dos funciones analticas en un crculo centrado en z
0
tales
que z
0
es un cero simple de h(z) y g(z
0
) 6= 0. Para usar la frmula anterior debemos escribir
h(z) = (z z
0
)q(z), siendo q derivable en z
0
con q(z
0
) 6= 0. Entonces f(z) =
g(z)/q(z)
z z
0
, con lo
cual
Res(f, z
0
) =
g(z
0
)
q(z
0
)
.
Ahora bien, como q(z) =
h(z)
z z
0
siempre que z est cerca de z
0
pero z 6= z
0
y q es continua en
z
0
, obtenemos
q(z
0
) = lim
zz
0
q(z) = lim
zz
0
h(z)
z z
0
= h
0
(z
0
).
En denitiva,
Res(f, z
0
) =
g(z
0
)
h
0
(z
0
)
,
frmula que slo depende de las funciones g y h de partida y no requiere calcular previamente la
funcin q. Debemos resaltar aqu, para ayudar a evitar un error muy comn, que esta frmula
slo vale cuando z
0
es un cero simple de h(z) y g(z
0
) 6= 0. Si, por ejemplo, z
0
es un cero doble
de h(z) y un cero simple de g(z), entonces z
0
es un polo simple de h(z)/g(z) pero su residuo no
puede calcularse mediante la frmula g(z
0
)/h
0
(z
0
) (s es verdad que hay una frmula alternativa,
pero algo ms complicada).
Ejemplo. Vamos a calcular la integral
I
C
e
z
e
z
+ 1
dz,
siendo C la circunferencia con centro en el origen y radio 10, usando el Teorema de los Residuos.
Para ello debemos determinar las singularidades del integrando. Tanto el numerador e
z
como el
denominador e
z
+ 1 son funciones enteras, as que las singularidades del cociente son los ceros
del denominador, es decir, los logaritmos de 1. Puesto que 1 tiene mdulo 1 y argumento ,
sus logaritmos son los puntos de la forma
z
n
= Log(1) + j (arg(1) + 2n) = (2n + 1)j, con n Z.
4 Leccin 10. El Teorema de los Residuos
En cada uno de estos puntos, tanto el numerador como la derivada del denominador valen ambas
e
zn
= 1, luego todas son polos simples del integrando y el residuo en todas ellas es 1. Dentro
de la circunferencia C slo hay cuatro de ellas: 3j, j, j y 3j. Por tanto la integral vale:
I
C
e
z
e
z
+ 1
dz = 2j(1 + 1 + 1 + 1) = 8j.
Residuos en los polos mltiples. Para un polo de orden N > 1 la situacin es un poco ms
complicada. En ese caso podemos escribir f(z) = (z z
0
)
N
g(z) siendo g una funcin analtica
en un crculo centrado en z
0
. Entonces, aplicando la Frmula Integral de Cauchy para la derivada
(N 1)-sima
Res(f, z
0
) =
1
2j
I
C
f(z) dz =
1
2j
I
C
g(z)
(z z
0
)
N
dz =
g
(N1)
(z
0
)
(N 1)!
.
donde C es una curva de Jordan, orientada positivamente, que rodea a z
0
tal que g es analtica
en su regin interior.
Alternativamente, desarrollando g en serie de Taylor en z
0
obtenemos
f(z) =
g(z)
(z z
0
)
N
= (z z
0
)
N

X
n=0
g
(n)
(z
0
)
n!
(z z
0
)
n
=

X
n=0
g
(n)
(z
0
)
n!
(z z
0
)
nN
que es la serie de Laurent de f en z
0
. Por tanto, el residuo de f en z
0
se obtiene tomando
n = N 1 en el sumatorio y vale
Res(f, z
0
) =
g
(N1)
(z
0
)
(N 1)!
.
Para usar esta frmula en la prctica, necesitamos expresar g en trminos de f, lo que se hace
poniendo g(z) = (z z
0
)
N
f(z). Entonces,
Res(f, z
0
) =
1
(N 1)!
lim
zz
0
d
N1
dz
N1

(z z
0
)
N
f(z)

En particular, para un polo doble nos queda

Res(f, z
0
) = lim
zz
0

(z z
0
)
2
f(z)

0
Hay que tener en cuenta, sin embargo, que en general resulta ms comodo usar las propiedades
de las series de potencias, sobre todo la regla para dividir, que la frmula cuando el polo es triple
o de mayor orden.
Ejemplo. Consideremos la funcin
f(z) =
cot(z)
z
2
=
cos(z)
z
2
sen(z)
.
Entonces las singularidades de f(z) son z
0
= 0 y los ceros de la funcin sen(z) que son los
puntos z
n
= n con n Z. Puesto que cos(z
n
) = cos(n) = (1)
n
, tenemos que z
0
= 0 es un
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 5
polo triple de f y cada entero z
n
= n 6= 0 es un polo simple de f. Calculamos ahora los residuos
correspondientes. Para n 6= 0:
Res(f, z
n
) =
cos(z)/z
2
(sen (z))
0
(z = n) =
(1)
n
/n
2
(1)
n
=
1
n
2
.
Por otro lado, para n = 0 tendramos que calcular
Res(f, z
0
) =
1
2
lim
z0

z
3
cos(z)
z
2
sen (z)

00
=
1
2
lim
z0

z
cos(z)
sen(z)

00
.
Podemos derivar las dos veces requeridas y tomar lmite comprobando que el residuo es /3.
Sin embargo, es ms fcil obtener el valor del residuo a partir del desarrollo en serie de Laurent
f(z) =
c
3
z
3
+
c
2
z
2
+
c
1
z
+ c
0
+ c
1
z +
Imponiendo
z
2
sen (z)f(z) = cos(z)
y escribiendo los correspondientes desarrollos queda:
z
2

z
(z)
3
6
+

c
3
z
3
+
c
2
z
2
+
c
1
z
+

= 1
(z)
2
2
+
(z)
4
4!
.
Si ahora simplicamos,

3
z
2
6
+

c
3
+ c
2
z + c
1
z
2
+

= 1

2
z
2
2
+

4
z
4
4!
.
Multiplicamos e identicamos los coecientes:
c
3
= 1 c
3
=
1

,
c
2
= 0 c
2
= 0,
c
1

3
c
3
6
=

2
2
c
1
=

2
2
+

2
6
c
1
=

3
.
La parte principal del desarrollo de f en z
0
es, entonces,
1
z
3


3z
.
En particular, el residuo de f en 0 es /3.
3 Clculo de integrales impropias
Una de las primeras aplicaciones del Teorema de los Residuos fue el clculo de algunas integrales
reales impropias cuyo integrando admite una primitiva que es muy difcil de calcular o ni siquiera
6 Leccin 10. El Teorema de los Residuos
es expresable en trminos de funciones elementales. La idea es interpretar el integrando como
una funcin de variable compleja, integrar esta funcin sobre una curva de Jordan adecuada,
usando el Teorema de los Residuos, y tomar lmites de manera que una parte de la curva tienda
al trozo del eje real donde est denida nuestra integral de partida y el lmite de la integral en el
resto de la curva pueda ser estimado fcilmente. Veremos algunos casos simples que no agotan,
ni mucho menos, el catlogo de integrales que pueden evaluarse de esta manera.
Integrales de funciones racionales sin polos en el eje real.
Sean p y q dos polinomios tales que q no tiene races reales. Si gr(p) + 2 gr(q), entonces la
integral impropia de p/q en R converge y se tiene
Z

p(x)
q(x)
dx = 2j
X
Im(z)>0
Res(p/q, z)
donde la suma est extendida a todas las races del polinomio q situadas en el semiplano superior.
Ejemplo. Para calcular la integral
Z

1
1 + x
4
dx, observemos que los polos de la funcin f(z) =
1
1 + z
4
son las races cuartas de 1; a saber, e
j/4
, e
3j/4
, e
5j/4
y e
7j/4
. De stas, nicamente
las dos primeras se encuentran en el semiplano superior y los residuos correspondientes son
Res(f, e
j/4
) =
1
4z
3
(z = e
j/4
) =
e
3j/4
4
,
Res(f, e
3j/4
) =
1
4z
3
(z = e
3j/4
) =
e
j/4
4
.
Por tanto,
Z

1
1 + x
4
dx =
2j
4

e
3j/4
+ e
j/4

=
2j
4
(j

2) =

2
.
Integrales de Fourier. Las integrales que aparecen en la teora de la Transformada de Fourier
son del tipo
Z

f(t)e
jt
dt o bien
Z

F()e
jx
d.
Como ambas tienen la misma estructura, bastar con que veamos cmo se aplica el teorema de
los residuos para calcular una integral de la forma
Z

f(x)e
jax
dx
donde a > 0 y y f(x) es la restriccin al eje real de una funcin de variable compleja f(z). Si
f(z) es analtica en el semiplano superior, salvo un nmero nito de singularidades aisladas, y
tal que lim
z
f(z) = 0, entonces
Z

f(x)e
jax
dx = 2j
X
Im(z)>0
Res(f(z)e
jaz
, z)
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 7
donde la suma est extendida a todas las singularidades de f situadas en el semiplano superior.
Separando la igualdad anterior en partes real e imaginaria obtenemos
Z

f(x) cos(ax) dx = Re

2j
X
Im(z)>0
Res(f(z)e
jaz
, z)

,
Z

f(x)sen(ax) dx = Im

2j
X
Im(z)>0
Res(f(z)e
jaz
, z)

.
Existen frmulas similares cuando a < 0, en cuyo caso se usan las singularidades del semiplano
inferior. Sin embargo, el caso a < 0 tambin puede tratarse haciendo el cambio de variables
u = x en la integral.
Ejemplo. Vamos a calcular el valor de la siguiente integral real
Z

0
x
2
cos(3x)
(x
2
+ 1)
2
dx.
Esta integral es absolutamente convergente ya que

x
2
cos(3x)
(1 + x
2
)
2

6
1
1 + x
2
, para todo x R.
Puesto que las funciones que aparecen son pares, podemos escribir
Z

0
x
2
cos(3x)
(x
2
+ 1)
2
dx =
1
2
Z

x
2
cos(3x)
(x
2
+ 1)
2
dx =
1
2
Re
Z

x
2
e
3jx
(x
2
+ 1)
2
dx.
Esta ltima es una integral de Fourier que no tiene singularidades en el eje real, as que, si
consideramos la funcin
f(z) =
z
2
e
3jz
(z
2
+ 1)
2
,
entonces la integral pedida es igual a la parte real de 2j veces la suma de los residuos de f en
las singularidades que tenga en el semiplano superior. Puesto que las nicas singularidades de f
son los puntos j, que son polos dobles, obtenemos
Z

x
2
e
3jx
(x
2
+ 1)
2
dx = 2j Res(f, z = j).
Para hallar el residuo, como se trata de un polo doble, calculamos
Res(f, j) = lim
zj

(z j)
2
z
2
e
3jz
(z
2
+ 1)
2

0
= lim
zj

z
2
e
3jz
(z + j)
2

0
= lim
zj
(2z + 3jz
2
)e
3jz
(z + j)
2
2(z + j)z
2
e
3jz
(z + j)
4
=
(2j 3j)e
3
(4) 2(2j)(1)e
3
16
=
1
2
je
3
.
8 Leccin 10. El Teorema de los Residuos
Entonces
Z

x
2
e
3jx
(x
2
+ 1)
2
dx = 2j
1
2
je
3
= e
3
,
luego
Z

0
x
2
cos(3x)
(x
2
+ 1)
2
dx =

2
e
3
.
Integrales con polos en el eje real. Existen integrales de Fourier, como la integral
Z

e
jz
z
dz =
Z

cos(z)
z
dz + j
Z

sen(z)
z
dz,
que poseen singularidades en el eje real y que, sin embargo, convergen (como la parte imaginaria
de la anterior) o, al menos, tienen valor principal de Cauchy (como la parte real de la anterior).
Veamos cmo podemos usar el teorema de los residuos para calcularlas.
Sea f una funcin analtica en el semiplano superior, incluyendo el eje real, excepto en una
cantidad nita de puntos, algunos de los cuales pueden ser reales. Supongamos que todos los
polos reales de f son simples y que
lim
R
Z
C
R
f(z) dz = 0,
donde C
R
es la mitad superior de la circunferencia con centro en 0 y radio R. Entonces el valor
principal de Cauchy de la integral de f en la recta real existe y vale
V PC
Z

f(z) dz = 2j
X
Im(z)>0
Res(f, z) + j
X
Im(z)=0
Res(f, z),
donde el primer sumatorio se extiende a las singularidades de f en el semiplano superior y el
segundo a los polos reales.
Podemos aplicar esta frmula en los siguientes casos: (a) cuando f es una funcin racional
cuyos polos reales son simples y en la que el grado del denominador es, al menos, dos unidades
ms grande que el del numerador y (b) cuando f es de la forma f(z) = g(z)e
jz
donde > 0 y g
es una funcin racional cuyos polos reales son simples y en la que el grado del denominador es, al
menos, una unidad ms grande que el del numerador. Por otro lado, es importante observar que
este resultado no garantiza la convergencia de la integral impropia, sino nicamente la existencia
del valor principal de Cauchy.
Lema. Si f(z) tiene un polo simple en z = z
0
y C
r
es la mitad superior de la circunferencia de
radio r dada por z(t) = z
0
+ re
jt
con 0 6 t 6 , entonces se verica
lim
r0
Z
Cr
f(z) dz = j Res(f, z
0
).
Ejemplo. Calcularemos la integral
Z

xsen (x)
x
4
1
dx
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 9
que se trata de una integral real con ceros reales en el denominador, los puntos 1 y 1, que
coinciden con sendos ceros del numerador ya que sen() = sen() = 0. Como la funcin est
acotada para x grande por una del tipo x
3
, la integral converge. Para hallar su valor escribimos
Z

xsen (x)
x
4
1
dx = Im
Z

xe
jx
x
4
1
dx.
Consideremos la funcin compleja
f(z) =
ze
jz
z
4
1
.
Esta funcin tiene como singularidades los ceros de su denominador, que son los puntos 1, 1,
j y j. Entonces, sabemos que el valor principal de Cauchy de la ltima integral anterior vale
V PC
Z

xe
jx
x
4
1
dx = 2j Res(f, z = j) + j Res(f, z = 1) + j Res(f, z = 1).
Calculemos estos residuos. Las cuatro singularidades son polos simples, as que si z
0
denota una
cualquiera de ellas, entonces
Res(f, z
0
) =
ze
jz
(z
4
1)
0
(z = z
0
) =
z
0
e
jz
0
4z
3
0
.
Por tanto
Res(f, j) =
je
jj
4j
3
=
e

4
,
Res(f, 1) =
e
j
4
=
1
4
,
Res(f, 1) =
e
j
4
=
1
4
.
Luego tenemos
V PC
Z

xe
jx
x
4
1
dx = 2j
e

4
+ j
1
4
+ j
1
4
=
j(e

1)
2
.
Finalmente:
Z

xsen (x)
x
4
1
dx = Im

j(e

1)
2

2
(e

+ 1).
Integrales de Poisson. En la Leccin 8 hemos estudiado la Frmula Integral de Poisson para
resolver un problema de Dirichlet en el crculo unidad. Cuando la funcin dada en la frontera es
una funcin racional, aparecer una integral del tipo
R
2
0
(sen (t), cos(t)) dt, donde (x, y) es
un cociente de polinomios de dos variables. Podemos ver esta integral como la que se obtiene al
calcular una integral de variable compleja sobre la circunferencia unidad C parametrizando sta
mediante z(t) = e
jt
con 0 t 2. Concretamente,
Z
2
0
(sen (t), cos(t)) dt =
I
C

(z z
1
)/(2j), (z + z
1
)/2

dz
jz
10 Leccin 10. El Teorema de los Residuos
integral que podemos calcular aplicando el teorema de los residuos a la funcin
f(z) =
((z z
1
)/(2j), (z + z
1
)/2)
jz
.
Ejemplo. Para calcular
Z
2
0
dt
2 + cos(t)
, ponemos z = e
jt
, con lo que cos(t) =
1
2
(z + z
1
) y
dt =
dz
jz
y, entonces,
Z
2
0
dt
2 + cos(t)
=
I
C
dz
jz

2 +
1
2
(z + z
1
)
=
2
j
I
C
dz
z
2
+ 4z + 1
,
donde C es la circunferencia unidad. Las singularidades del integrando son las soluciones de
z
2
+ 4z + 1 = 0, que son 2

3. De stas, la nica interior a C es 2 +

3 que es un polo
simple de f(z) =
1
z
2
+ 4z + 1
con residuo
Res(f, 2 +

3) =
1
2z + 4
(z = 2 +

3) =
1
2

3
.
En consecuencia,
Z
2
0
dt
2 + cos(t)
=
2
j
I
C
dz
z
2
+ 4z + 1
=
2
j
2j Res(f, 2 +

3) =
2

3
.
4 El Principio del Argumento
Nmero de ceros y polos encerrados por una curva. Sea f una funcin analtica en un
dominio y sea C una curva de Jordan contenida en tal que f no se anula en ninguno de
sus puntos. Sea N el nmero de ceros de f en la regin interior a la curva C contados tantas
veces como indica su multiplicidad. Supongamos que las nicas singularidades de f en la regin
interior a la curva C son polos y sea P el nmero de polos de f en dicha regin contados tantas
veces como indica su multiplicidad. Entonces
1
2j
I
C
f
0
(z)
f(z)
dz = N P.
Existe una interpretacin geomtrica de este resultado que es de inters en algunas aplica-
ciones. Para ello estudiamos cmo es la imagen de la curva C bajo la transformacin w = f(z).
Sabemos que = f(C) ser una curva en el plano de la variable w que no pasa por el origen
de coordenadas porque f(z) 6= 0 sobre C y la pregunta que nos planteamos es cuntas vueltas
da alrededor del origen? Para calcular este nmero de vueltas, jemos un punto w
0
= f(z
0
)
y una rama inicial del argumento, digamos arg(w
0
) =
0
[0, 2). Al recorrer la curva C en
sentido positivo partiendo de z
0
, recorremos la curva , pero vamos a hacerlo de manera que
los valores del argumento de w = f(z) varen de forma continua; es decir, si damos una vuelta
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 11
alrededor del origen, no damos un salto en el valor del argumento. Al terminar volvemos a w
0
pero el argumento, que ha variado de forma continua, ser un valor
1
tal que
1

0
= 2n
para algn nmero entero n que es, precisamente, el nmero de vueltas que da alrededor del
origen. Entonces 2n se denomina variacin del argumento de f en la curva C, ser positivo o
negativo segn que las vueltas se den en el sentido positivo o negativo, y se suele representar por

C
arg(f). Pues bien, la variacin del argumento coincide con 2(N P).
Principio de Variacin del Argumento. Sea f una funcin analtica en un dominio y sea
C una curva de Jordan contenida en tal que f no se anula en ninguno de sus puntos. Sea N
el nmero de ceros de f en la regin interior a la curva C contados tantas veces como indica su
multiplicidad. Supongamos que las nicas singularidades de f en la regin interior a la curva C
son polos y sea P el nmero de polos de f en dicha regin contados tantas veces como indica su
multiplicidad. Entonces la variacin del argumento de f en la curva C es
1
2

C
arg(f) =
1
2j
I

dw
w
=
1
2j
I
C
f
0
(z)
f(z)
dz = N P.
Teorema de Rouch. Sea C una curva de Jordan y sean f y g dos funciones analticas en un
dominio que incluye la curva C y la regin interior de dicha curva. Si |f(z)| > |g(z)| para todo
z C, entonces las funciones f y f + g tienen el mismo nmero de ceros, contados tantas veces
como indiquen sus multiplicidades, en la regin interior a la curva C.
El Criterio de Estabilidad de Nyquist. El ingeniero americano H. Nyquist (18891976)
introdujo en 1932 una forma prctica de determinar la estabilidad de un sistema usando el
Principio de Variacin del Argumento. Para que el sistema sea estable, los polos de la funcin de
transferencia G(s) deben tener parte real negativa. Supongamos que la funcin de transferencia es
una funcin racional de la forma G(s) = 1/q(s) (que es el caso ms habitual). Entonces los polos
de G(s) son las races de q(s) y la estabilidad depende del signo de la parte real de dichas races.
Para hallar el nmero de races de q(s) con parte real positiva, consideremos la semicircunferencia
C de radio R, situada en el semiplano derecho, cuyo centro es el origen de coordenadas y cuyo
dimetro es el segmento [jR, jR] del eje imaginario. Tomando R sucientemente grande, la
curva C encerrar en su interior todos las races de q con parte real positiva. Por el Principio de
Variacin del Argumento, el nmero de dichas races coincidir con la variacin del argumento de
q al recorrer la curva C, es decir, con el nmero de vueltas que da la curva imagen q(C) alrededor
del origen. Esta curva imagen q(C) consta de dos trozos: la imagen del arco semicircular de C y
la imagen del segmento [jR, jR]. Como q es un polinomio y R es grande, la imagen del trozo
semicircular es aproximadamente un arco circular que no hace falta trazar con mucho detalle.
La imagen del segmento [jR, jR] s hay que dibujarla con detalle y, al unirla con la anterior,
nos proporciona la curva imagen q(C). El inters prctico reside en que la imagen del segmento
es relativamente fcil de visualizar en un osciloscopio porque los puntos del segmento[jR, jR]
son de la forma j para R R, con lo que sus imgenes son q(j) = 1/G(j), es decir,
inversos de los valores de la respuesta frecuencial del sistema.
El Criterio de Estabilidad de Routh-Hurwitz. Este criterio sirve para determinar la
estabilidad de un sistema en el que la funcin de transferencia es una funcin racional cuyo
denominador es un polinomio q(s) = s
n
+ a
1
s
n1
+ a
2
s
n2
+ + a
n1
s + a
n
con coecientes
12 Leccin 10. El Teorema de los Residuos
reales. Para ello, construimos la matriz
H =

a
1
a
3
a
5
0
1 a
2
a
4
0
0 a
1
a
3
0
0 1 a
2
0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 a
n

y se verica que todas las races de q tienen parte real negativa si, y slo si, todos los coecientes
a
1
, a
2
, . . . , a
n
y todos los menores principales de la matriz H son positivos; es decir
a
1
> 0,

a
1
a
3
1 a
2

> 0,

a
1
a
3
a
5
1 a
2
a
4
0 a
1
a
3

> 0, . . . ,

a
1
a
3
a
5
0
1 a
2
a
4
0
0 a
1
a
3
0
0 1 a
2
0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 a
n

> 0.
Observemos que con este criterio obtenemos, directamente, la estabilidad asinttica del sistema;
no el nmero de ceros a cada lado del eje imaginario.
5 Ejercicios
Ejercicio 1. (1) Estudia las singularidades aisladas de la funcin
f(z) =
Log(1 + jz)
(z
3
z
2
)(e
2z
+ 1)
donde el argumento principal se toma en (, ].
(2) Halla los tres primeros trminos del desarrollo en serie de f(z) alrededor del origen y
determina el disco perforado en el que dicho desarrollo es vlido.
(3) Calcula la integral de f sobre la circunferencia centrada en 1/2 y de radio unidad recorrida
en sentido positivo.
Ejercicio 2. Escribe una funcin f que tenga un polo doble en z = 0 con residuo 1, un polo
simple en z = j con residuo 2j y que sea analtica en el resto del plano complejo. Cunto vale
la integral de f
0
(z)/f(z) a lo largo de la circunferencia con centro en el punto 1 y radio 4?
Ejercicio 3. Determina y clasica las singularidades de la funcin f(z) =
1 + Log(z
2
)
Log(z + 2)
, donde
el argumento principal se toma en (, ]. Cunto vale el residuo de f en 1?
Ejercicio 4. Calcula, aplicando el teorema de los residuos,
I
C
dz
z
2
+ 1
sobre las circunferencias
C(j, 1), C(j, 1) y C(0, 2).
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 13
Ejercicio 5. Calcula los residuos en las singularidades aisladas de las siguientes funciones:
(1)
z
3
+ z
2
+ 2
z
3
(z
2
1)
2
(2)
sen(2z)
1 + z
(3)
e
z
z(1 z)
(4)
e
z
z
2
(z
2
+ 4)
(5)
1
e
z
1
(6)
1
sen (z)
(7) tan(z) (8)
z
n1
z
n
+ a
n
(n N) (9)
z
2
2z
(z + 1)
2
(z
2
+ 4)
(10)
1
z
4
+ 1
(11)
z
2
(z 2)(z
2
+ 1)
(12)
1
z(z + 2)
3
.
Ejercicio 6. En los siguientes casos, calcula la integral de la funcin f(z) que se da a lo largo
de la curva que se indica:
(1) f(z) = z
n
e
2/z
en C(0, 5).
(2) f(z) =
z
2
e
1/z
1 + z
2
en |z| + |z + 3j| = 4.
(3) f(z) =
1
1 + z
4
en = 2 |sen (/2)| (en polares).
(4) f(z) =
1
1 + z
3
en 2x
2
+ y
2
= 4.
(5) f(z) = (1 + z + z
2
)

e
1/z
+ e
1/z1
+ e
1/z2

en C(0, 3).
(6) f(z) =
z
sen (z) (1 cos(z))
en C(0, 5).
(7) f(z) =
z
1 z
2
e
1/z
en |z| + |z 3| = 4.
(8) f(z) =
3(z 1)
2
1
z
3
3z
2
+ 4z 2
en el rectngulo de lados z = 0, z = 2, y = 2.
(9) f(z) =
cosh(z)
z
3
en el cuadrado de vrtices 2 2j.
(10) f(z) =
e
z
z(z
2
+
2
)
en el rectngulo de lados x = 1, y = a, y = a + 4.
(11) f(z) =
z
e
z
2
1
en el cuadrado de vrtices 2 2j.
Ejercicio 7. Considera la funcin f(z) =
2 cos(z) + z
2
2
z
2
(e
z
1)Log(1 jz
2
)
, donde el argumento principal
se toma en (, ].
(1) Determina dnde es analtica y clasica sus singularidades aisladas
(2) Determina los tres primeros trminos del desarrollo en serie de Laurent de la funcin f
alrededor del origen.
(3) Si C es el rectngulo cuyos vrtices son los puntos (0.2, 9), (0.2, 9), (0.2, 9) y (0.2, 9),
calcula
I
C
f(z) dz.
14 Leccin 10. El Teorema de los Residuos
Ejercicio 8. Considera la funcin f(z) =
1
z
2
senh(z)
.
(1) Estudia y clasica sus singularidades aisladas.
(2) Determina la parte principal de su desarrollo en serie de Laurent alrededor del origen.
(3) Calcula
I
C
f(z) dz, siendo C la circunferencia con centro en el origen y radio 4.
Ejercicio 9. (1) Halla y clasica las singularidades de la funcin
f(z) =
1
z (3sen (z) + j cos(z))
.
(2) Halla los tres primeros trminos del desarrollo en serie de Laurent de f en el origen,
indicando en qu disco perforado es vlido dicho desarrollo.
(3) Calcula la integral de f sobre a circunferencia unidad recorrida en sentido positivo.
Ejercicio 10. (1) Prueba que si x es un nmero real y positivo, entonces
Log(x + j) + Log(x + j) = log(x
2
+ 1) + j,
donde el argumento principal se toma en (, ] y log() es el logaritmo neperiano real usual.
(2) Dnde es analtica la funcin f(z) =
Log(z + j)
z
2
+ 1
?
(3) Calcula la integral
I
C
R
f(z) dz, siendo C
R
la curva cerrada formada por la mitad superior
de la circunferencia con centro en el origen y radio R, y el trozo del eje real comprendido entre
R y R.
(4) Tomando lmites cuando R en el apartado anterior, calcula
Z

0
log(x
2
+ 1)
x
2
+ 1
dx.
Ejercicio 11. Comprueba los siguientes resultados. (Los parmetros que aparecen se supone
que son reales).
(1)
Z

x
2
(x
2
+ a
2
)
2
dx =

2a
(2)
Z

0
dx
(1 + x
2
)
n
=
(2n 2)!
((n 1)!)
2
2
2n2
(n N)
(3)
Z

0
x
2
+ 1
x
4
+ 1
dx =

2
2
(4)
Z

dx
(x
2
+ 4x + 5)
2
=

2
(5)
Z

dx
x
2
+ 2x + 2
= (6)
Z

dx
(x a)
2
+ 1
= .
Ejercicio 12. Comprueba que las siguientes integrales valen lo que se indica. (Los parmetros
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 15
que aparecen se supone que son reales).
(1)
Z

xcos(x)
x
2
2x + 10
dx =

3
e
3
(cos(1) 3sen(1)) (2)
Z

cos(x)
1 + x
2
dx =

e
(3)
Z

0
sen
2
(kx)
x
2
+ a
2
dx =

4a

1 e
2ka

(a, k > 0) (4)

Z

xsen (x)
x
2
4x + 8
dx =

e
2
(5)
Z

xsen (ax)
x
4
+ 4
dx =

2
e
a
sen(a) (a > 0) (6)
Z

xsen(x)
x
2
+ a
2
dx = e
a
.
Ejercicio 13. Prueba las siguientes igualdades (los parmetros que aparecen se supone que son
reales):
(1)
Z
2
0
1
a + cos(t)
dt =
2

a
2
1
(a > 1) (2)
Z

0
cos(2t)
1 2a cos(t) + a
2
dt =
a
2
1 a
2
(|a| < 1)
(3)
Z
2
0
dt
(5 3sen(t))
2
dt =
5
32
(4)
Z
2
0
dt
a
2
cos
2
(t) + b
2
sen
2
(t)
=
2
ab
(a, b > 0)
(5)
Z
2
0
sen(3t)
5 3 cos(t)
dt = 0 (6)
Z
2
0
dt
1 2a cos(t) + a
2
=
2
1 a
2
.
Ejercicio 14. Halla el nmero de races de z
4
+ 5z + 1 = 0 en los crculos de centro 0 y radios
1 y 2, respectivamente, aplicando el Teorema de Rouch.
Ejercicio 15. Prueba que z e
z
+ a = 0 (a > 1) tiene slo una raz en el semiplano izquierdo.
Ejercicio 16. Determina el nmero de races de las siguientes ecuaciones en el interior del disco
unidad.
(1) z
5
+ 8z + 10 = 0.
(2) z
8
2z
5
+ z
3
8z
2
+ 3 = 0.
(3) z
6
+ 3z
5
2z
2
+ 2z 9 = 0.
(4) z
7
7z
6
+ 4z
3
1 = 0.
Ejercicio 17. Determina el nmero de races con parte real positiva de los siguientes polinomios
aplicando el criterio de Nyquist.
x
2
+ 2x 3, x
3
+ 2x
2
+ 2x + 1, x
3
+ 2x
2
+ 2x + 1, x
3
+ x
2
+ 9x + 4.
Ejercicio 18. Prueba que el polinomio p(z) = z
3
+ z
2
+ 9z + 4 no tiene races en el semiplano
derecho aplicando tanto el Criterio de Nyquist como el de Routh-Hurwitz.
Ejercicio 19. Determina la estabilidad de los sistemas cuyas funciones de transferencia vienen
16 Leccin 10. El Teorema de los Residuos
dadas por
G
1
(s) =
1
s
4
+ 8s
2
+ 24s
2
+ 32s 65
,
G
2
(s) =
1
s
4
+ 6s
3
+ 5s
2
2s 10
,
G
3
(s) =
1
s
4
+ s
3
+ s
3
+ s + 1
,
usando tanto el Criterio de Nyquist como el de Routh-Hurwitz.
Ejercicios y cuestiones de exmenes de cursos anteriores.
Ejercicio 20. Enuncia y demuestra el Teorema de los Residuos.
Ejercicio 21. (1) Sean f y g dos funciones analticas en un dominio y sea z
0
un cero
simple de g en el que f(z
0
) 6= 0. Prueba que
Res

f(z)
[g(z)]
2
, z
0

=
f
0
(z
0
)g
0
(z
0
) f(z
0
)g
00
(z
0
)
[g
0
(z
0
)]
3
.
(2) Aplica esta frmula para hallar el residuo de la funcin
e
z
[sen (z)]
2
en el origen.
Ejercicio 22. Calcula
I
C
1
(z
2
+ 4)
2
dz siendo C la circunferencia con centro en el punto j y
radio igual a 2.
Ejercicio 23. Sea f la funcin compleja dada por
f(z) :=
Log

1
zj
2

z
2
(e
jz
+ 1 2 cos(z))
donde Log(w) indica el logaritmo principal de un nmero complejo w cuando el argumento
principal de w es el que pertenece al intervalo (, ].
(1) Halla el dominio de analiticidad de f y clasica sus singularidades aisladas.
(2) Halla la parte principal del desarrollo en serie de Laurent de f en z
0
= 0 e indica en qu
dominio es vlido dicho desarrollo.
(3) Calcula las integrales
I
C
f(z) dz y
I
C
f
0
(z)
f(z)
dz
siendo C la elipse de ecuacin |z| + |z 2| = 4.
Ejercicio 24. (1) Halla los desarrollos de la funcin f(z) =
z
z
2
3z + 2
en serie de Laurent en
todos los dominios anulares centrados en el punto z
1
= 1.
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 17
(2) Sea C el tringulo de vrtices M = 1/2, N = 3 + j y P = 3 j recorridos en el orden
dado. Calcula
I
C
f(z) dz.
Ejercicio 25. (1) Halla el dominio de analiticidad y clasica las singularidades aisladas de la
funcin
f(z) = e
1/(z3)
+
Log (1 + z
1
)
z 4
donde Log(w) denota el logaritmo principal de un nmero complejo w cuando se toma su argu-
mento principal en el intervalo (, ].
(2) Determina el dominio de convergencia del desarrollo en serie de Laurent de f en el punto
z
0
= 3 y calcula la parte principal de dicho desarrollo.
(3) Calcula la integral de f sobre la circunferencia con centro en z
1
= 3 y radio 2.
Ejercicio 26. Usa la aplicacin del Teorema de los Residuos al clculo de integrales de Fourier
para hallar la transformada de Fourier inversa de la funcin F() =
1
j
.
Ejercicio 27. Calcula
Z

sen (2x)
x
2
+ 2x + 5
dx.
Ejercicio 28. Calcula la integral
Z

cos(x)
x
2
2x + 10
dx.
Ejercicio 29. Calcula la transformada de Fourier de la seal f(t) =
1
t
2
6t + 10
.
Ejercicio 30. Sea z
0
un polo triple de una funcin f(z). Qu tipo de singularidad tiene en z
0
la funcin f
0
(z)/f(z)? cunto vale su residuo? Razona tus respuestas.
Ejercicio 31. (1) Enuncia el Teorema de Rouch.
(2) Determina el nmero de ceros de la funcin h(z) = e
z
6z
3
en el interior del crculo
unidad.
Ejercicio 32. (1) Halla y clasica las singularidades de la funcin
f(z) =
Log(z
2
+ 1) z
2
z
3
(sen(z))
2
.
(2) Halla los tres primeros trminos del desarrollo en serie de Laurent de f alrededor de
z
0
= 0.
(3) Usando el Teorema de Rouch, determina el nmero de races del polinomio p dado por
p(z) = z
6
+ z
5
+ z
2
en el interior del crculo C(0, 3/4) con centro en el origen y radio 3/4.
(4) Sea C la frontera del conjunto
= {z C : |Re z| 1/2, |Imz| 1/2} .
18 Leccin 10. El Teorema de los Residuos
Calcula
I
C

f(z) +
1
z
6
+ z
5
+ z
2

dz.
Ejercicio 33. El dibujo muestra el diagrama de Nyquist de un polinomio f(z) de grado 5;
es decir, la imagen por f(z) del segmento [jR, jR] del eje imaginario, con R sucientemente
grande, recorrida en el sentido que se indica. Cuntos ceros de f(z) tienen parte real positiva?
Razona tu respuesta.
0
( ) f jR
( ) f jR
Ejercicio 34. Aplica el criterio de Nyquist para determinar el nmero de ceros con parte real
positiva de p(x) = x
4
6x 1.
6 Bibliografa.
[517.5/2-CHU] R.V. Churchill, J.W. Brown, Variable compleja y aplicaciones, Cap. 6.
[51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 1.
[517.5/WUN] W.A. Wunsch, Variable compleja con aplicaciones, Cap. 5, 6 y 7.