UNIVERSIDADE FEDERAL DO PAR FACULDADE DE COMPUTAO E TELECOMUNICAES VARIVEIS COMPLEXAS SRIES DE POTNCIA: TAYLOR E LAURENT / INTEGRAO POR RESDUOS

Sries de Potncia Pode ser demonstrado que toda funo analtica pode ser expressa como funo de uma srie de potncias e que esta uma soma de funes analticas. Uma srie de potncias, dada em potncias de z z 0 , uma srie da forma

a
n =0

( z z 0 ) n = a0 + a1 ( z z 0 ) + a 2 ( z z 0 ) 2 + ...

(1)

Com z sendo uma varivel complexa, a n os coeficientes complexos (ou reais) chamados de coeficientes da srie e z 0 uma constante complexa (ou real), chamada de centro da srie. Uma srie de potncias pode convergir em um disco centrado em z 0 , em todo o plano z ou somente em z 0 . A seguir apresentado um resultado importante acerca da convergncia de uma srie de potncias. o Teorema: Convergncia de uma srie de potncias I. II. Toda srie da forma (1) converge no centro z 0 ; Se (1) converge num ponto z = z1 z 0 , ela converge absolutamente para todo z mais prximo de z 0 que z1 , ou seja, nos pontos z tais que z z 0 < z1 z 0 (ver figura 1) III. Se (1) diverge num ponto z = z 2 z 0 , ela diverge em todo ponto z mais distante de

z 0 que z 2 , ou seja, nos pontos z tais que z z 0 > z 2 z 0 (ver figura 1).

(figura 1)

Vale ressaltar que as regies de convergncia e divergncia destacadas incluem somente as regies estritamente interior e exterior dos discos de raio z1 e z 2 , respectivamente. A discusso acerca da convergncia sobre a circunferncia no de enfoque fundamental neste estudo. Pode-se dizer, contudo, que a srie converge em um ponto, alguns pontos, toda a circunferncia ou nenhum ponto desta. Sries de Taylor e Maclaurin As sries de Taylor de uma funo f ( x) complexa anloga srie de uma funo real e dada por

f ( z ) = an ( z z 0 ) n , a n =
n =1

f ( n) ( z0 ) n!

(2)

Pode ser demonstrado tambm que

an =

f ( z0 ) 1 dz 2j C ( z z 0 ) n+1

(3)

Uma srie de Maclaurin uma srie de Taylor com centro em z 0 = 0 . Do exposto, nota-se que a srie de Taylor uma srie de potncia com os coeficientes a n dados em (2). Sries de Laurent o Teorema Seja f ( z ) analtica em um domnio contendo dois crculos concntricos C1 e C 2 centrados em z 0 e o espao anular entre estes crculos (ver figura 2). Ento
+

f ( z) =

a (z z )
n 0 n =

, an =

1 f ( z) dz 2j C ( z z 0 ) n+1

(4)

a z calculado no sentido anti-horrio em C. Este caminho situa-se no espao anular entre C1 e C 2 .

(figura 2)

Singularidades e Zeros Grosso modo, diz-se que um ponto singular (ou uma singularidade) de uma funo f ( z ) analtica um ponto no qual f ( z ) deixa de ser analtica. Utilizando as sries de Laurent, pode-se classificar as singularidades. Para isso, considera-se os termos com potncia negativa da srie, isto , observa-se os termos a m ( z z 0 ) m , m < 0 . O termo em que a singularidade se manifesta indica a ordem da singularidade. Dessa forma, z 0 a singularidade e m a sua ordem. Chama-se z 0 tambm de polo. Um polo de primeira ordem um polo simples. Trabalhar-se apenas com polos simples neste estudo. A seguir, um resultado acerca dos polos apresentado. o Teorema Se f ( z ) analtica e tem um polo em z = z 0 , ento f ( z ) medida que z z 0 por qualquer direo. Um zero de uma funo analtica f ( z ) em um domnio D um ponto z = z 0 tal que f ( z ) = 0 . Um zero tem ordem n se, alm de f ( z ) , f ' ( z ), f ' ' ( z ), ..., f em z = z 0 .
( n 1)

( z ) , com exceo de f ( n ) ( z ) , forem nulas

Integrao por Resduos A ideia de integrao por resduos consiste no uso das sries de Laurent para calcular o valor de uma integral complexa numa regio com uma ou mais singularidades. Considerando ento os termos de coeficientes negativos da srie de Laurent, sabe-se que seu coeficiente a 1 dado por

a1 = lim[( z z 0 ) f ( z )] =
z z0

1 f ( z)dz 2ja1 = C f ( z)dz 2j C

(5)

Chama-se a 1 de resduo de f ( z ) em z = z 0 e denota-se por

a1 = Res f ( z )
z = z0

(6)

Para fins de simplicidade, tratar-se- neste estudo apenas com clculos de resduos em polos simples. o Exemplo: Determinar o resduo de f ( z ) =

3 relativo a z = 2 z2

Observa-se que f ( z ) j se encontra na forma da srie de Laurent, visto que

1 = ( z 2) 1 ; a1 = 3 z2
Assim,

Res f ( z ) = a 1 = 3
z=2

Res f ( z ) z =0 4 3z o Exemplo: Para f ( z ) = , determinar Res f ( z ) . z =1 z ( z 1)( z 2) Res f ( z ) z =2

Neste caso, observa-se que, como os expoentes dos fatores do denominador so iguais a 1, pode-se expressar f ( z ) como uma srie de Laurent iniciada em a 1 ( z z 0 ) 1 . Alm disso, nota-se que

f ( z) =

a 1 + a0 + a1 ( z z 0 ) + ... z z0

( z z 0 ) f ( z ) = a 1 + a0 ( z z 0 ) + a1 ( z z 0 ) 2 + ...
Aproximando z de z 0 , tem-se que o resduo em z 0

a1 lim ( z z0 ) f ( z )
z z0

Ento,

4 3z =2 z 0 z =0 z ( z 1)( z 2) 4 3z Res f ( z ) = lim( z 1) = 1 z 1 z =1 z ( z 1)( z 2) 4 3z Res f ( z ) = lim( z 2) = 1 z 2 z =2 z ( z 1)( z 2) Res f ( z ) = lim z

Referncias [1] E. Kreyszig. Matemtica Superior para Engenharia. Edio 9. LTC; [2] M. R. Spiegel. Variveis Complexas Coleo Schaum. Editora McGraw Hill.