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

Curso 2o. 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 P singularidad aislada es el valor del coeciente c1 en su correspondiente desarrollo de Laurent n cn (z z0 )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.

El Teorema de los Residuos

Residuo en una singularidad aislada. Sea z0 una singularidad aislada de una funcin f . Entonces, segn hemos estudiado en la leccin anterior, existe un disco perforado con centro en z0 , digamos 0 < |z z0 | < , en el que f es analtica y admite un desarrollo en serie de Laurent f (z ) =
X

n=

cn (z z0 )n = +

c2 c1 + + c0 + c1 (z z0 ) + c2 (z z0 )2 + 2 (z z0 ) z z0

Leccin 10. El Teorema de los Residuos

donde los coecientes del desarrollo vienen dados por I f (z ) 1 cn = dz para cada n = 0, 1, 2, . . . , 2j C (z z0 )n+1 siendo C cualquier curva de Jordan contenida en , que rodea a z0 y recorremos en sentido positivo. El coeciente c1 tiene un carcter especial ya que, salvo un factor constante, es igual a la integral de f en C : I I f (z ) 1 1 c1 = dz = f (z ) dz. 2j C (z z0 )(1)+1 2j C Veremos enseguida que esta relacin de c1 con las integrales de f sobre curvas que rodean a z0 tiene aplicaciones muy interesantes, por eso recibe un nombre especial: el coeciente c1 de la potencia (z z0 )1 del desarrollo en serie de Laurent de una funcin f en una singularidad aislada z0 se llama residuo de f en z0 y se denota por Res(f, z0 ). 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 f (z ) dz = 2j
m X k=1

Res(f, zk )

donde z1 , z2 , . . . , zm son todas las singularidades aisladas de f rodeadas por C y C se recorre en sentido positivo.

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. g(z ) siendo g una funcin z z0 analtica en un crculo centrado en z0 tal que g(z0 ) 6= 0. Entonces, aplicando la Frmula Integral de Cauchy, I I 1 1 g(z ) f (z ) dz = dz = g (z0 ) Res(f, z0 ) = 2j C 2j C z z0 Si f tiene un polo simple en z0 , entonces podemos escribir f (z ) =

donde C es una curva de Jordan, orientada positivamente, que rodea a z0 tal que g es analtica en su regin interior.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Alternativamente, desarrollando g en serie de Taylor en z0 obtenemos g(z ) z z0 g(z0 ) = z z0 g 00 (z0 ) g 000 (z0 ) (z z0 )2 + (z z0 )3 + 2 3 = z z0 00 000 g (z0 ) g (z0 ) (z z0 ) + (z z0 )2 + + g 0 (z0 ) + 2 3 g (z0 ) + g 0 (z0 )(z z0 ) +

f (z ) =

que es la serie de Laurent de f en z0 . En consecuencia, el residuo de f en z0 es Res(f, z0 ) = g(z0 ). Habitualmente sabemos que una funcin f tiene un polo simple en un punto z0 porque es de g(z ) la forma f (z ) = , donde g y h son dos funciones analticas en un crculo centrado en z0 tales h(z ) que z0 es un cero simple de h(z ) y g (z0 ) 6= 0. Para usar la frmula anterior debemos escribir g(z )/q (z ) , con lo h(z ) = (z z0 )q(z ), siendo q derivable en z0 con q (z0 ) 6= 0. Entonces f (z ) = z z0 cual g(z0 ) Res(f, z0 ) = . q (z0 ) Ahora bien, como q (z ) = z0 , obtenemos h(z ) siempre que z est cerca de z0 pero z 6= z0 y q es continua en z z0 q (z0 ) = lim q(z ) = lim
z z0 z z0

En denitiva, Res(f, z0 ) =

h(z ) = h0 (z0 ). z z0

g(z0 ) , h0 (z0 ) 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 z0 es un cero simple de h(z ) y g(z0 ) 6= 0. Si, por ejemplo, z0 es un cero doble de h(z ) y un cero simple de g(z ), entonces z0 es un polo simple de h(z )/g (z ) pero su residuo no puede calcularse mediante la frmula g(z0 )/h0 (z0 ) (s es verdad que hay una frmula alternativa, pero algo ms complicada). Ejemplo. Vamos a calcular la integral I ez dz, ez + 1

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 ez como el denominador ez + 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 zn = Log(1) + j (arg(1) + 2n ) = (2n + 1)j, con n Z.

Leccin 10. El Teorema de los Residuos

En cada uno de estos puntos, tanto el numerador como la derivada del denominador valen ambas ezn = 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 ez dz = 2j (1 + 1 + 1 + 1) = 8j. z C e +1 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 z0 )N g (z ) siendo g una funcin analtica en un crculo centrado en z0 . Entonces, aplicando la Frmula Integral de Cauchy para la derivada (N 1)-sima I I g (z ) 1 1 g(N 1) (z0 ) Res(f, z0 ) = f (z ) dz = dz = . 2j C 2j C (z z0 )N (N 1)! donde C es una curva de Jordan, orientada positivamente, que rodea a z0 tal que g es analtica en su regin interior. Alternativamente, desarrollando g en serie de Taylor en z0 obtenemos X g (n) (z0 ) X g (n) (z0 ) g(z ) N n = ( z z ) ) = f (z ) = ( z z (z z0 )nN 0 0 (z z0 )N n ! n ! n=0 n=0

que es la serie de Laurent de f en z0 . Por tanto, el residuo de f en z0 se obtiene tomando n = N 1 en el sumatorio y vale Res(f, z0 ) = g (N 1) (z0 ) . (N 1)!

Para usar esta frmula en la prctica, necesitamos expresar g en trminos de f , lo que se hace poniendo g (z ) = (z z0 )N f (z ). Entonces, dN 1 1 Res(f, z0 ) = lim N 1 (z z0 )N f (z ) (N 1)! zz0 dz 0 Res(f, z0 ) = lim (z z0 )2 f (z )
z z0

En particular, para un polo doble nos queda

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 ) cos(z ) = 2 . 2 z z sen (z )

Entonces las singularidades de f (z ) son z0 = 0 y los ceros de la funcin sen (z ) que son los puntos zn = n con n Z. Puesto que cos(zn ) = cos(n ) = (1)n , tenemos que z0 = 0 es un

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

polo triple de f y cada entero zn = n 6= 0 es un polo simple de f . Calculamos ahora los residuos correspondientes. Para n 6= 0: Res(f, zn ) = cos(z )/z 2 (1)n /n2 1 ( z = n ) = = . 0 n (1) n2 (sen (z ))

Por otro lado, para n = 0 tendramos que calcular 00 00 cos(z ) 1 1 3 cos(z ) Res(f, z0 ) = lim z 2 = lim z . 2 z0 z sen (z ) 2 z0 sen (z ) 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 ) = Imponiendo z 2 sen (z )f (z ) = cos(z ) y escribiendo los correspondientes desarrollos queda: c3 c2 c1 (z )3 (z )2 (z )4 2 z z + + + + = 1 + . 6 z3 z2 z 2 4! Si ahora simplicamos, 2 z 2 4z 4 3z 2 + c3 + c2 z + c1 z 2 + = 1 + . 6 2 4! Multiplicamos e identicamos los coecientes: c3 = 1 1 , c2 = 0 c2 = 0, 2 2 2 = c1 = + 2 2 6 c3 = c3 c2 c1 + 2 + + c0 + c1 z + z3 z z

c1

3 c3 6

c1 =

. 3

La parte principal del desarrollo de f en z0 es, entonces, 1 . 3 z 3z En particular, el residuo de f en 0 es /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

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 X p(x) dx = 2j Res(p/q, z ) q (x)
Im(z )>0

donde la suma est extendida a todas las races del polinomio q situadas en el semiplano superior. Z 1 Ejemplo. Para calcular la integral dx, observemos que los polos de la funcin f (z ) = 4 1 + x 1 son las races cuartas de 1; a saber, ej/4 , e3j/4 , e5j/4 y e7j/4 . De stas, nicamente 1 + z4 las dos primeras se encuentran en el semiplano superior y los residuos correspondientes son 1 e3j/4 j/4 ( z = e ) = , 4z 3 4 1 ej/4 Res(f, e3j/4 ) = 3 (z = e3j/4 ) = . 4z 4 Res(f, ej/4 ) = Por tanto, Z

Integrales de Fourier. Las integrales que aparecen en la teora de la Transformada de Fourier son del tipo Z Z jt f (t)e dt o bien F ()ejx d.

2j 1 2j 3j/4 j/4 dx = + e 2) = . ( j e = 4 1+x 4 4 2

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)ejax 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 f (z ) = 0, entonces
z

f (x)ejax dx = 2j

Im(z )>0

Res(f (z )ejaz , z )

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

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 X f (x) cos(ax) dx = Re 2j Res(f (z )ejaz , 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 2 x cos(3x) dx. (x2 + 1)2 0 Esta integral es absolutamente convergente ya que 2 x cos(3x) 1 (1 + x2 )2 6 1 + x2 ,

f (x)sen (ax) dx = Im 2j

Im(z )>0

Im(z )>0

Res(f (z )ejaz , z ) .

para todo x R.

Puesto que las funciones que aparecen son pares, podemos escribir Z Z Z 2 x cos(3x) x2 e3jx 1 x2 cos(3x) 1 dx = dx = dx. Re 2 2 (x2 + 1)2 2 (x2 + 1)2 2 0 (x + 1) Esta ltima es una integral de Fourier que no tiene singularidades en el eje real, as que, si consideramos la funcin z 2 e3jz f (z ) = 2 , (z + 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 x2 e3jx dx = 2j Res(f, z = j ). 2 2 (x + 1) Para hallar el residuo, como se trata de un polo doble, calculamos 0 2 3jz 2 z e Res(f, j ) = lim (z j ) 2 z j (z + 1)2 2 3jz 0 (2z + 3jz 2 )e3jz (z + j )2 2(z + j )z 2 e3jz z e = lim = lim z j z j (z + j )2 (z + j )4 1 (2j 3j )e3 (4) 2(2j )(1)e3 = je3 . = 16 2

8 Entonces Z

Leccin 10. El Teorema de los Residuos

luego

x2 e3jx 1 dx = 2j je3 = e3 , 2 2 2 (x + 1) Z

x2 cos(3x) dx = e3 . 2 2 (x + 1) 2

Integrales con polos en el eje real. Existen integrales de Fourier, como la integral Z jz Z Z e cos(z ) sen (z ) dz = dz + j dz, z z z 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 Z f (z ) dz = 0, lim
R CR

donde CR 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 Z X X V PC f (z ) dz = 2j Res(f, z ) + j Res(f, z ),
Im(z )>0 Im(z )=0

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 )ejz 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 = z0 y Cr es la mitad superior de la circunferencia de radio r dada por z (t) = z0 + rejt con 0 6 t 6 , entonces se verica Z f (z ) dz = j Res(f, z0 ). lim
r0 Cr

Ejemplo. Calcularemos la integral Z

xsen (x) dx x4 1

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

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 x3 , la integral converge. Para hallar su valor escribimos Z Z xsen (x) xejx dx = Im dx. 4 4 x 1 x 1 Consideremos la funcin compleja zejz . z4 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 Z xejx dx = 2j Res(f, z = j ) + j Res(f, z = 1) + j Res(f, z = 1). V PC 4 x 1 f (z ) = Calculemos estos residuos. Las cuatro singularidades son polos simples, as que si z0 denota una cualquiera de ellas, entonces Res(f, z0 ) = Por tanto jejj e , = 4j 3 4 ej 1 Res(f, 1) = = , 4 4 1 ej = . Res(f, 1) = 4 4 Res(f, j ) = Luego tenemos V PC Finalmente: Z xejx e 1 1 j (e 1) dx = 2 j + j + j = . 4 4 4 4 2 x 1

zejz z0 ejz0 ( z = z ) = . 0 3 (z 4 1)0 4z0

xsen (x) j (e 1) dx = Im = (e + 1). 4 x 1 2 2

Integrales de Poisson. En la Leccin 8 hemos estudiado la Frmula Integral de Poisson para resolver un problema de Dirichlet en el crculo unidad.RCuando la funcin dada en la frontera es 2 una funcin racional, aparecer una integral del tipo 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) = ejt con 0 t 2. Concretamente, I Z 2 dz (sen (t), cos(t)) dt = (z z 1 )/(2j ), (z + z 1 )/2 jz 0 C

10

Leccin 10. El Teorema de los Residuos

integral que podemos calcular aplicando el teorema de los residuos a la funcin f (z ) = Z

2 0

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

Ejemplo. Para calcular dz dt = y, entonces, jz Z 2

0

1 dt , ponemos z = ejt , con lo que cos(t) = (z + z 1 ) y 2 + cos(t) 2

dt = 2 + cos(t)

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 1 con residuo simple de f (z ) = 2 z + 4z + 1 Res(f, 2 + En consecuencia, Z 2
0

2 dz = j jz 2 + 1 (z + z 1 ) 2

dz , z 2 + 4z + 1

3) =

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

2 dt = 2 + cos(t) j

2 2 dz = 2 j Res( f, 2 + 3) = . 2 z + 4z + 1 j 3

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 I 0 f (z ) 1 dz = N P. 2j C f (z ) Existe una interpretacin geomtrica de este resultado que es de inters en algunas aplicaciones. 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 w0 = f (z0 ) y una rama inicial del argumento, digamos arg(w0 ) = 0 [0, 2 ). Al recorrer la curva C en sentido positivo partiendo de z0 , 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 w0 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 1 C arg(f ) = 2 2j I 1 dw = w 2j I f 0 (z ) dz = N P. f (z )

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) = sn + a1 sn1 + a2 sn2 + + an1 s + an con coecientes

12 reales. Para ello, construimos la matriz H=

Leccin 10. El Teorema de los Residuos

a1 a3 1 a2 0 a1 0 1 . . . . . . 0 0

a5 a4 a3 a2 . . .

0 0 0 0 . . .

0 an

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

Observemos que con este criterio obtenemos, directamente, la estabilidad asinttica del sistema; no el nmero de ceros a cada lado del eje imaginario.

Ejercicios

Ejercicio 1. (1) Estudia las singularidades aisladas de la funcin f (z ) = (z 3 Log(1 + jz ) z 2 )(e2z + 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 ) , donde Log(z + 2) el argumento principal se toma en (, ]. Cunto vale el residuo de f en 1? I dz sobre las circunferencias Ejercicio 4. Calcula, aplicando el teorema de los residuos, 2 C z +1 C (j, 1), C (j, 1) y C (0, 2).

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Ejercicio 5. Calcula los residuos en las singularidades aisladas de las siguientes funciones: z3 + z2 + 2 (1) 3 2 z (z 1)2 ez (4) 2 2 z (z + 4) (7) tan(z ) (10) z4 1 +1 sen (2z ) (2) 1+z 1 (5) z e 1 z n1 (n N ) (8) n z + an z2 (11) (z 2)(z 2 + 1) ez (3) z (1 z ) 1 (6) sen (z ) z 2 2z (9) (z + 1)2 (z 2 + 4) 1 (12) . z (z + 2)3

13

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 e2/z en C (0, 5). z 2 e1/z en |z | + |z + 3j | = 4. (2) f (z ) = 1 + z2 1 (3) f (z ) = en = 2 |sen (/2)| (en polares). 1 + z4 1 (4) f (z ) = en 2x2 + y 2 = 4. 3 1+z en C (0, 3). (5) f (z ) = (1 + z + z 2 ) e1/z + e1/z1 + e1/z2 z (6) f (z ) = en C (0, 5). sen (z ) (1 cos(z )) z (7) f (z ) = e1/z en |z | + |z 3| = 4. 1 z2 3(z 1)2 1 en el rectngulo de lados z = 0, z = 2, y = 2. (8) f (z ) = 3 z 3z 2 + 4z 2 cosh(z ) en el cuadrado de vrtices 2 2j . (9) f (z ) = z3 ez en el rectngulo de lados x = 1, y = a, y = a + 4. (10) f (z ) = z (z 2 + 2 ) z en el cuadrado de vrtices 2 2j . (11) f (z ) = z2 e 1 Ejercicio 7. Considera la funcin f (z ) = se toma en (, ]. 2 cos(z ) + z 2 2 , donde el argumento principal z 2 (ez 1)Log(1 jz 2 )

(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. calcula (3) Si I C es el rectngulo cuyos vrtices son los puntos (0.2, 9), (0.2, 9), (0.2, 9) y (0.2, 9), f (z ) dz.
C

14 Ejercicio 8. Considera la funcin f (z ) = 1 z 2 senh(z ) .

Leccin 10. El Teorema de los Residuos

(1) Estudia y clasica sus singularidades aisladas. (2) Determina la parte principal de su desarrollo en serie de Laurent alrededor del origen. I (3) Calcula f (z ) dz , siendo C la circunferencia con centro en el origen y radio 4.
C

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(x2 + 1) + j, donde el argumento principal se toma en (, ] y log() es el logaritmo neperiano real usual.

de la circunferencia con centro en el origen y radio R, y el trozo del eje real comprendido entre R y R. Z log(x2 + 1) (4) Tomando lmites cuando R en el apartado anterior, calcula dx. x2 + 1 0 Ejercicio 11. Comprueba los siguientes resultados. (Los parmetros que aparecen se supone que son reales). (1) Z Z
0

Log(z + j ) (2) Dnde es analtica la funcin f (z ) = ? z2 + 1 I (3) Calcula la integral f (z ) dz , siendo CR la curva cerrada formada por la mitad superior
CR

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

(2)

(3)

x2 + 1 2 dx = x4 + 1 2 dx = 2 x + 2x + 2

Z Z

dx (2n 2)! = 2 n (1 + x ) ((n 1)!)2 22n2

(n N)

(4)

(5)

(6)

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

dx = . 2 (x a) + 1

Ejercicio 12. Comprueba que las siguientes integrales valen lo que se indica. (Los parmetros

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 que aparecen se supone que son reales). (1) Z
0

15

(3)

x cos(x) dx = e3 (cos(1) 3sen (1)) 2 x 2x + 10 3 (a, k > 0)

(2)

(5)

sen 2 (kx) 2ka 1 e dx = x2 + a2 4a

(4)

cos(x) dx = 2 e 1 + x

xsen (ax) dx = ea sen (a) (a > 0) 4 x +4 2

(6)

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

xsen (x) dx = ea . 2 2 x + a

Ejercicio 13. Prueba las siguientes igualdades (los parmetros que aparecen se supone que son reales): (1) Z
2 0 2 0 2 0

(3)

Z Z

1 2 dt = a + cos(t) a2 1 dt 5 2 dt = 32 (5 3sen (t)) sen (3t) dt = 0 5 3 cos(t)

(a > 1)

(2)

(4)

Z Z

cos(2t) a2 dt = 1 2a cos(t) + a2 1 a2 a2 cos2 (t) dt 2 = 2 2 + b sen (t) ab

(|a| < 1) (a, b > 0)

2 0 2 0

(5)

(6)

dt 2 = . 2 1 2a cos(t) + a 1 a2

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 ez + 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) (2) (3) (4) z 5 + 8z + 10 = 0. z 8 2z 5 + z 3 8z 2 + 3 = 0. z 6 + 3z 5 2z 2 + 2z 9 = 0. 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. x2 + 2x 3, x3 + 2x2 + 2x + 1, x3 + 2x2 + 2x + 1, x3 + x2 + 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 dadas por

Leccin 10. El Teorema de los Residuos

1 , s4 + 8s2 + 24s2 + 32s 65 1 , G2 (s) = 4 3 s + 6s + 5s2 2s 10 1 , G3 (s) = 4 3 s + s + s3 + s + 1 G1 (s) = 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 z0 un cero simple de g en el que f (z0 ) 6= 0. Prueba que f 0 (z0 )g0 (z0 ) f (z0 )g00 (z0 ) f (z ) = Res , z . 0 [g(z )]2 [g 0 (z0 )]3 (2) Aplica esta frmula para hallar el residuo de la funcin Ejercicio 22. Calcula radio igual a 2. I ez en el origen. [sen (z )]2

(z 2

1 dz siendo C la circunferencia con centro en el punto j y + 4)2

Ejercicio 23. Sea f la funcin compleja dada por zj Log 1 2 f (z ) := 2 jz z (e + 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 z0 = 0 e indica en qu dominio es vlido dicho desarrollo. (3) Calcula las integrales I f (z ) dz y I f 0 (z ) dz f (z ) z en serie de Laurent en 3z + 2

siendo C la elipse de ecuacin |z | + |z 2 | = 4 . Ejercicio 24. (1) Halla los desarrollos de la funcin f (z ) = todos los dominios anulares centrados en el punto z1 = 1. z2

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

17

Ejercicio 25. (1) Halla el dominio de analiticidad y clasica las singularidades aisladas de la funcin Log (1 + z 1 ) f (z ) = e1/(z3) + z4 donde Log(w) denota el logaritmo principal de un nmero complejo w cuando se toma su argumento principal en el intervalo (, ].

(2) Sea C el I tringulo de vrtices M = 1/2, N = 3 + j y P = 3 j recorridos en el orden dado. Calcula f (z ) dz .

C

(2) Determina el dominio de convergencia del desarrollo en serie de Laurent de f en el punto z0 = 3 y calcula la parte principal de dicho desarrollo. (3) Calcula la integral de f sobre la circunferencia con centro en z1 = 3 y radio 2. Ejercicio 26. Usa la aplicacin del Teorema de los Residuos al clculo de integrales de Fourier 1 . para hallar la transformada de Fourier inversa de la funcin F ( ) = j Ejercicio 27. Calcula Z sen (2x) dx. 2 x + 2x + 5 Ejercicio 28. Calcula la integral Z

cos(x) dx. x2 2x + 10 t2

1 . 6t + 10 Ejercicio 30. Sea z0 un polo triple de una funcin f (z ). Qu tipo de singularidad tiene en z0 la funcin f 0 (z )/f (z )? cunto vale su residuo? Razona tus respuestas. Ejercicio 29. Calcula la transformada de Fourier de la seal f (t) = Ejercicio 31. (1) Enuncia el Teorema de Rouch. (2) Determina el nmero de ceros de la funcin h(z ) = ez 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 z0 = 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, |Im z | 1/2} .

18 Calcula I f (z ) +
C

Leccin 10. El Teorema de los Residuos

1 6 z + z5 + z2

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.
f ( jR )

f ( jR )

Ejercicio 34. Aplica el criterio de Nyquist para determinar el nmero de ceros con parte real positiva de p(x) = x4 6x 1.

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.