Transformada Z inversa.

Resumen de la teor a de residuos para la evaluacin de integrales o

Carlos H. Muravchik Ctedra de Seales y Sistemas a n Febrero-Julio 2006

1.

Introduccin o

La teor de residuos es una importante herramienta que permite la simple y rpida evaa a luacin de ciertas integrales del campo complejo. Se presenta un corto resumen con los hechos o bsicos necesarios principalmente para el clculo de las inversas de las transformadas operacioa a nales como la de Laplace y Z. Se pueden hallar desarrollos completos en libros como [1], [2], [3]. Este resumen est estructurado segn uno similar en [4]. a u Repasaremos brevemente las ideas de series de Laurent y residuos. Luego veremos un teorema de Cauchy que es clave para nuestros propsitos. Finalmente se presentan algunos ejemplos. o

2.

Series de Laurent y singularidades

Consideremos una funcin compleja F (z) de la variable compleja z C, anal o tica en el anillo centrado en a, R1 < |z a| < R2 para R1 < R2 , ambos reales. El siguiente teorema atribu a Laurent, muestra que una funcin como esta F (z) puede expandirse en una serie de do o potencias positivas y negativas de z a. Esta serie es la que se conoce como serie de Laurent alrededor de a. Teorema: Sea F (z) anal tica en el anillo R1 < |z a| < R2 . Luego 1 n F (z) = An (z a) donde An = F (z) (z a)n1 dz (1) 2j C n= y C es una curva simple cerrada que separa |z a| = R1 de |z a| = R2 y que deja a |z a| = R1 dentro (en el sentido de Jordan: recorriendo C en sentido anti-horario, el o los puntos englobados son los que quedan siempre a la izquierda) de C. Deniendo R1 > R1 y R2 < R2 , la serie converge uniformemente dentro de R1 < |z a| < R2 . Las singularidades de una funcin F (z) en z0 se pueden clasicar atendiendo a su expansin o o en serie de Laurent alrededor de z0 . En efecto, si
N

F (z) =
n=

An (z z0 )n

para

0 < |z z0 | < R2

(2)

con 0 < N < y AN = 0, entonces decimos que F (z) tiene un polo de orden N en z0 . En caso que N = 1 la singularidad de F es llamada polo simple. En general, podemos escribir (2) como sigue G(z) donde G(z) = AN + AN 1 (z z0 ) + (3) F (z) = (z z0 )N 1

de manera que G(z) es anal tica en un entorno de z0 y G(z0 ) = 0. Inversamente, una funcin que satisface (3) tiene un polo de orden N en z0 . Cuando en o la expansin en serie de Laurent aparece un nmero innito de potencias negativas de z z0 o u entonces se dice que F (z) tiene una singularidad esencial en z0 . Por ejemplo, la funcin o

ez tiene una singularidad esencial en z = 0.

=
n=0

z n n!

3.

Residuos

Cuando F (z) tiene una singularidad aislada1 en z = a, se dene el residuo de F (z) en z = a por 1 Res {F (z), a} = F (z) dz (4) 2j C donde C es cualquier curva simple cerrada sobre la que F es anal tica y que encierra a la unica singularidad de F en z = a Luego, por el teorema de la seccin anterior con R1 = 0 de manera que C englobe solamente o al polo en a y n = 1, resulta de (2) que 1 F (z) dz = Res {F (z), a} (5) A1 = 2j C Es muy frecuente que en el procesamiento de seales que involucra sistemas lineales e inn variantes al desplazamiento o seales estacionarias aparezcan funciones F (z) racionales, que n se caracterizan por tener como singularidades un nmero nito de polos. Las siguientes reglas u elementales para hallar sus residuos, en polos del plano complejo nito, resultan sucientes: Regla 1 Si F tiene un polo simple en z = a Res {F (z), a} = l (z a)F (z) m
za

Esto se debe a que por (2) para N = 1, F (z) = A1 + A0 + . . . za entonces l (z a)F (z) = A1 m

za

Regla 2 Si F es de la forma F (z) = B(z)/A(z), con A(z) y B(z) anal ticas en un entorno de a, B(a) = 0 y A(z) con un cero simple en z = a, Res {F (z), a} = l B(a)/A (a) m
za

Esto es una simple consecuencia de la Regla 1, teniendo en cuenta que A (a) = l za A(z) m A(a)/(z a).
Un nmero a C es una singularidad aislada de una funcin F si existe un disco abierto Da centrado en u o a tal que F es anal tica u holomorfa en Da {a} (o sea, en el conjunto obtenido sacando el punto a a Da ). Recordemos que las funciones meromorfas tienen todas sus singularidades aisladas.
1

Regla 3 Si F tiene un polo de orden N en z = a Res {F (z), a} = l m Esto se debe a que por (2) es, (z a)N F (z) = AN + AN 1 (z a) + . . . + A1 (z a)N 1 + A0 (z a)N + . . . al derivar N 1 veces queda (N 1)!A1 + N !/1!A0 (z a) + . . . y al tomar l za queda m slo el primer trmino. o e 1 dN 1 (z a)N F (z) za N 1! dz N 1

3.1.

Residuos en cero e innito

Cuando F (z) es anal tica para D = {z C : |z| > R} excepto quizs para innito (por a 2 ejemplo si F (z) = z /(z R)), entonces el residuo de F (z) en innito se dene como 1 Res {F (z), } = F (z) dz (6) 2j C donde C es una curva cerrada simple en D recorrida en sentido horario. De esta manera deja dentro o encierra al polo en innito. Esa misma C recorrida en el sentido antihorario encierra todos los polos nitos; o ms precisamente, todas las singularidades en el plano complejo nito. a Teorema: Sea A1 el coeciente de z 1 en la expansin en serie de Laurent de F (z) alrededor o de z = 0, para R < |z| < ; entonces Res {F (z), } = A1 Demostracin: En la ecuacin (1), con n = 1 y usando la denicin (6), se obtiene (7). o o o (7)

Las siguientes reglas elementales para hallar residuos de polos en innito, resultan generalmente sucientes: Regla 4 Si F (z) tiene un cero simple en innito Res {F (z), } = l zF (z) m
z

Esto es as puesto que cuando F (z) tiene un cero simple en innito, su serie de Laurent alrededor de z = 0 es A1 A2 + 2 + F (z) = z z de manera que l z zF (z) = A1 y luego basta usar el terorema de ms arriba. m a Regla 5 Si F (z) tiene un cero en innito de orden mayor que 1, Res {F (z), } = 0 En efecto, en este caso, F (z) = de manera que A1 = 0. 3 Ak Ak+1 + k+1 + zk z k2

Regla 6 En general, Res {F (z), } = Res {z 2 F (z 1 ), 0} Esto signica que se puede llevar el problema de calcular el residuo en innito al de calcular el residuo en un polo del plano complejo nito en z = 0; lo que se puede hacer fcilmente siguiendo las Reglas 1, 2 3. Esto se deriva considerando que en general, para a o 0 < R < |z| < , se tiene F (z) = . . . + A1 z + A0 + A1 z 1 + . . . por lo tanto, z 2 F (z 1 ) = . . . + A1 z 3 + A0 z 2 + A1 z 1 + . . . con lo que la Regla 6 se obtiene inmediatamente. y F (z 1 ) = . . . + A1 z 1 + A0 + A1 z + . . .

4.

Evaluacin de integrales o

Para ayudar a la evaluacin de las integrales de contorno que aparecen en las secciones o anteriores recordamos que existe el fundamental Teorema de Cauchy de Residuos. Teorema: Si F (z) es anal tica en un dominio D y C es una curva cerrada simple en D que recorrida en sentido antihorario engloba un nmero nito de singularidades {a1 , a2 , . . . , aK K u N}, entonces 1 2j F (z) dz =
C k=1 K

Res {F (z), ak }

(8)

Otra manera de calcular la misma integral de (8) es la siguiente. Si F (z) es anal tica en un dominio D y C es una curva cerrada simple en D que recorrida en sentido horario encierra un nmero nito de singularidades {b1 , b2 , . . . , bM M N}, entonces u M 1 Res {F (z), bk } Res {F (z), } (9) F (z) dz = 2j C k=1

5.

Ejemplos

Ilustraremos algo que usualmente causa cierta confusin como es que la misma funcin de o o z puede corresponder a la transformada Z de secuencias diferentes segn cul sea la regin de u a o convergencia especicada. Consideramos una S(z) dada por S(z) = z (z 1/2)(z 2)

claramente con polos en 1/2, 2. Recordemos que la secuencia s[n] cuya transformada Z es S(z) est dada por a 1 s[n] = S(z) z n1 dz 2j C

(10)

Podemos ver entonces que cada muestra de la secuencia puede obtenerse calculando la integral de (10) lo que podemos hacer con la ayuda de (8)-(9) y las reglas 1-6 anteriores, reconociendo que F (z) = S(z) z n1 . 4

1. La regin de convergencia es |z| > 2 y s[n] resulta unilateral a derecha. o Suponemos primero que n 0 por lo que para encontrar s[n] consideramos una F (z) = S(z)z n1 , o sea z n F (z) = (z 1/2)(z 2) No conviene utilizar una trayectoria C como la que lleva a (9) pues englobar a un polo en a de orden n cuyo residuo es tedioso calcular (por las derivadas). Por lo tanto pensamos en una C que est en la RDC y englobe los polos en {1/2, 2}. Se ve que cualquier c e rculo con radio mayor que 2 recorrido en sentido anti-horario hace el truco. En ese caso, para el polo en 1/2 (1/2)n 2 Res {F (z), 1/2} = = (1/2)n (1/2 2) 3 y el residuo para el polo en 2 da Res {F (z), 2} = Ahora suponemos que n < 0, con lo que F (z) = 1 (z 1/2)(z 2)z |n| (2)n 2 = 2n (2 1/2) 3

y ahora hay 3 polos dentro de C. Para ahorrarnos trabajo, exploramos (9) pues en ese caso C no engloba ningn polo y los residuos son nulos por lo que s[n] 0, n < 0. u Finalmente s[n] = 0 n<0 n n (2/3)(1/2) (2/3)(2) n 0

2. La regin de convergencia es |z| < 1/2 y s[n] resulta unilateral a izquierda. o Con n 0 para encontrar s[n] consideramos una F (z) = S(z)z n1 dada por F (z) = 1 (z 1/2)(z 2)z |n|

Aqu la curva simple cerrada C tiene que estar en |z| < 1/2. No nos conviene recorrerla en sentido anti-horario porque si bien deja un unico polo en z = 0, ste es mltiple y obliga e u a tomar derivadas mltiples, lo que resulta tedioso. Elegimos ls trayectoria C recorrida u en forma horaria como en (9), englobando los polos en {1/2, 2}; Res {F (z), 1/2} = y el residuo para el polo en 2 da Res {F (z), 2} = Ahora suponemos que n > 0, con lo que F (z) = z n (z 1/2)(z 2) 5 (1/2)|n| 2 = (1/2)|n| (2 1/2) 3 2 (2)|n| = (2)|n| (1/2 2) 3

y ahora quedan 3 polos fuera de C. Para ahorrarnos trabajo, exploramos (8) pues en ese caso C no engloba ningn polo y los residuos son nulos por lo que s[n] 0, n > 0. u Finalmente, hemos demostrado que s[n] = 0 n>0 |n| |n| (2/3)(1/2) (2/3)(2) n0

3. La regin de convergencia es 1/2 < |z| < 2 y s[n] resulta bilateral. o La curva C debe estar en la regin 1/2 < |z| < 2 por lo que si n 0 consideramos una o F (z) = z n (z 1/2)(z 2)

si la recorremos en sentido anti-horario engloba un slo polo y (8) es fcilmente evaluada, o a dando 2 s[n] = (1/2)n n0 3 Notemos que si evaluramos por fuera de C con (9) habr que considerar dos polos, a a uno en 2 y el otro mltiple en (de todos modos haciendo el esfuerzo, se obtiene el u mismo resultado; por supuesto!). Considerando el caso de n < 0, la F (z) es F (z) = 1 (z 1/2)(z 2)z |n|

y con la C que tenemos nos conviene evaluar por fuera de C pues queda englobado slo o el polo en z = 2. Entonces, s[n] = Finalmente, hemos demostrado que s[n] = 2 (1/2)|n| 3 n 2 (1/2)|n| 3 n0

Observamos que este es el t pico caso de las densidades espectrales. Este ejemplo nos deja calcular rpidamente el valor cuadrtico medio de un proceso con densidad espectral a a S(z); pues alcanza con calcular s[0]. En este caso, s[0] = 2/3.

Referencias
[1] L.V. Ahlfors, Complex Analysis, McGraw-Hill, New York, 1953. o [2] R.V. Churchill, Introduction to Complex Variables and Applications, 2da. edicin, McGrawHill, New York, 1960. [3] S. Salvioli, Matemticas Especiales. Variable Compleja, CEILP, La Plata, 1997. a [4] S.V. Tretter, Discrete-Time Signal Processing, John Wiley & Sons, New York, 1976.