Você está na página 1de 4

CLCULO DE RESDUOS E APLICAES EM INTEGRAIS DE LINHA

VICTOR SANTOS

Resumo. O Clculo de resduos uma ferramenta bastante importante em Teoria de campos, especialmente no clculo de propagadores; assim, se faz necessrio uma pequena reviso do Teorema de Cauchy para integrandos com pontos singulares isolados.

Funes analticas Considere uma funo de uma varivel complexa f denida em alguma regio R. A derivada f de f para um ponto z R dada pelo limite (0.1) f (z) = lim f (z + z) f (z) z

z0

quando este existir. Se escrevermos f (z) em termos de suas partes real e imaginria, f (z) = u(x, y) + iv(x, y), e calculando o limite acima para dois caminhos distintos (um onde z = x e outro onde z = y), veremos que a exigncia de que a derivada seja independente do caminho, nos leva s condies (0.2) v u = , x y v u = , x y

que so chamadas condies de Cauchy-Riemann. As equaes em (0.2) fornecem no s uma condio necessria, mas tambm suciente, para a existncia da derivada de uma funo complexa. Assim, podemos dizer que f (z) = u(x, y) + iv(x, y) diferencivel em um pontoz = x + iy de R se e somente se u, v satisfazem as condies de Cauchy-Riemann. Denida a noo de diferenciabilidade, passamos noo de analiticidade. Uma funo f (z) dita ser analtica ou holomorfa em um ponto z0 se f (z) for diferencivel em uma vizinhana de z0 . Se a funo for analtica em todos os pontos de uma regio R, dizemos que f analtica em R. Um ponto singular z0 um ponto onde a funo f deixa de ser analtica. Teorema de Cauchy O teorema de Cauchy um dos teoremas mais importantes em Anlise Complexa, e consiste (a grosso modo) em dizer que se dois pontos so conectados por dois caminhos distintos, as integrais de uma funo ao longo desses dois caminhos so iguais se tal funo for analtica dentro (e sobre) da regio delimitada por eles. Mais precisamente, o teorema (exibido aqui sem demonstrao) enunciado da seguinte forma:
1

CLCULO DE RESDUOS E APLICAES EM INTEGRAIS DE LINHA

Teorema 1. Se uma funo f analtica em um domnio simplesmente conexo D, ento sua integral ao longo de uma curva fechada simples C em D nula: (0.3) f (z) dz = 0.
C

Uma consequncia interessante desse teorema que, se f (z) contnua em um domnio simplesmente conexo D e vale (0.3) para toda curva C D, ento existe uma funo F (z) analtica em D tal que F (z) = f (z). Frmula Integral de Cauchy A frmula integral de Cauchy outra decorrncia importante do teorema de Cauchy, que mostra que os valores de uma funo analtica em um contorno fechado C determinam seus valores dentro da regio delimitada por C: Se f (z) uma funo analtica em um contorno simples fechado C e dentro da regio delimitada por ele, para qualquer ponto interior vale 1 f () (0.4) f (z) = dz. 2i C z Srie de Laurent e Resduos A srie de Laurent uma de representao em srie de uma funo analtica que contm tanto potncias positivas quanto negativas, ao contrrio da srie de Taylor, que contm apenas potncias positivas. Usualmente, ela utilizada para expressar funes quando no possvel usar a srie de Taylor. Se uma funo f (z) analtica em um anel R = {z C; R1 |z z0 | R2 }, ela pode ser representada pela expanso

(0.5) em R, onde (0.6)

f (z) =
n=

Cn (z z0 )n
C

Cn =

1 2i

f (z) dz (z z0 )n+1

e C qualquer contorno fechado simples em R que envolve a fronteira interna |z z0 | = R1 . O coeciente do termo 1/(z z0 ) da equao (0.5), que o coeciente C1 chamado resduo da funo f em z0 , e as potncias negativas da srie de Laurent so chamadas de parte principal de f . Tambm denota-se C1 = Res(f (z); z0 ). Teorema do Resduo de Cauchy Suponha que uma funof (z) analtica na regio D = {z C; 0 < |zz0 | < R}, mas no no ponto z0 . Ento, z0 dito ser um ponto singular isolado de f (z). Nesse caso, f (z) pode ser representada pela srie de Laurent (0.5), com coecientes determinados por (0.6). O teorema do resduo de Cauchy basicamente uma generalizao do teorema de Cauchy discutido inicialmente, extendido para funes com um nmero nito de pontos singulares isolados. Seu enunciado :

CLCULO DE RESDUOS E APLICAES EM INTEGRAIS DE LINHA

Seja f (z) uma funo analtica em um contorno simples e fechadoC (e tambm na regio delimitada por ele) exceto por um nmero nito de pontos singulares z1 , , zN dentro de C. Ento, N f (z) dz = 2i Res(f (z); zj ).
C j=1

Exemplos e aplicaes 0.1. Exemplo: Vamos calcular a integral 1 z k dz, k Z, C0 = {z C; |z| = 1}. Ik = 2i C0 Como z k analtica para k = 0, 1, 2, . . . , nesses casos a integral nula pelo teorema de Cauchy; da mesma forma, a integral se anula para k = 2, 3, . . . . Para o caso restante (k = 1), teremos z = 0 como nico ponto singular isolado, e tambm Res(z 1 , 0) = 1; portanto, Ik = k,1 , 0.2. Exemplo. Calcule 1 I= 2i k,l = 1 se k = l 0 caso contrrio

ze1/z dz,
C0

C0 = {z C; |z| = 1}.

A funo analtica para todos os pontos dentro de C0 , exceto z = 0. A expanso em srie de Laurent da funo em torno de 0 ze1/z = z 1 + 1 1 1 + + + ; z 2!z 2 3!z 3

Assim temos Res(ze1/z ; 0) = 1/2!, e portanto I = 1/2. Integrais imprprias. Considere a integral real (0.7) I= f (x) dx.

Dizemos que I converge se os dois limites (0.8) I = lim f (x) dx + lim


L L R

f (x) dx

existem para nito. Um caso mais restritivo ocorre quando R = L, e a integral resultante chamada de valor principal de Cauchy no innito: R (0.9) Ip = lim f (x) dx.
R R

Se (0.8) converge, ento I = Ip ; contudo possvel que Ip exista mas no (0.8): Um exemplo simples f (x) = x. Assim, antes de usar a expresso (0.9) necessrio vericar a convergncia de I.

CLCULO DE RESDUOS E APLICAES EM INTEGRAIS DE LINHA

Funes Racionais. Considere a integral (0.7) para uma funo f (x) racional na forma N (x) f (x) = , D(x) onde N (x), D(x) so polinmios reais, D(x) = 0 para todo x R e grau(D(x)) grau(N (x)) + 2; Esta ltima hiptese garante que a integral convirja, tornando possvel a utilizao de (0.9); assim, considere a integral R (0.10) f (z) dz = f (x) dx + f (z) dz,
C R CR

onde CR um semicrculo, e o contorno C encerra todas as singularidades de f (z) (D(z) = 0), ou seja, z1 , . . . , zgrau(D(x)) . Usando o teorema do resduo e mostrando que a segunda integral em (0.10) se anula, teremos no limite R , grau(D(x)) f (x) dx = 2i Res(f (z); zj ).
j=1

Como exemplo, considere a integral I=

x4

x2 dx, +1

descrita como (0.10) atravs da funo complexa f (z) = z 2 /(z 4 + 1); no semicrculo CR , em coordenadas polares, z = Rei , e portanto, f (z) dz
CR 0

dz = iRei d,
0

z2 |dz| 4+1 z

R3 |z|2 |dz| = 4 , 41 |z| R 1

que se anula no limite R . Assim o clculo da integral recai no problema de calcular os resduos de f (z).