Você está na página 1de 68

Fsica Matemtica

Apostila preparada para as disciplinas Modelos Tericos da Fsica I e II, ministradas para o Curso de Licenciatura em Fsica do Departamento de Fsica, Instituto de Fsica e Matemtica, Fundao Universidade
Federal de Pelotas, Pelotas - RS.

Incio: Maio de 2006.

Verso: 16 de agosto de 2011

Apostila escrita com:


Processador de Documentos LYX
http://www.lyx.org/
http://wiki.lyx.org/LyX/LyX

Sumrio
Referncias Bibliogrficas

1 Funes de Uma Varivel Complexa


1.1 Nmeros e variveis complexos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Representaes vetorial e polar . . . . . . . . . . . . . . . . . . . . . .
1.1.2 Frmula de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 lgebra de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Frmula de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2 Razes de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . .
1.3 Funes de uma varivel complexa . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Transformaes ou mapeamentos . . . . . . . . . . . . . . . . . . . . .
1.3.2 Pontos de ramificao, linhas de ramificao e superfcies de Riemann
1.3.3 Exemplos de funes unvocas ou plurvocas . . . . . . . . . . . . . . .
1.4 O clculo diferencial de funes de uma varivel complexa . . . . . . . . . . .
1.4.1 Limite de uma funo complexa . . . . . . . . . . . . . . . . . . . . .
1.4.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.3 Derivadas de funes complexas . . . . . . . . . . . . . . . . . . . . .
1.4.4 As condies de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . .
1.4.5 Funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.6 Funes harmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.7 Pontos singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Integrao no plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1 Integrais de caminho no plano complexo . . . . . . . . . . . . . . . . .
1.5.2 Propriedades matemticas das integrais de linha . . . . . . . . . . . .
1.5.3 Tipos de curvas e domnios no plano complexo . . . . . . . . . . . . .
1.5.3.1 Tipos de curvas no plano complexo . . . . . . . . . . . . . .
1.5.3.2 Domnios simplesmente ou multiplamente conexos . . . . . .
1.5.3.3 Conveno para o percurso de um contorno fechado . . . . .
1.6 O teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1 O teorema de Green no plano . . . . . . . . . . . . . . . . . . . . . . .
1.6.2 O teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . .
1.7 Frmulas integrais de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8 Representao em sries de funes analticas . . . . . . . . . . . . . . . . . .
1.8.1 Sries complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.1.1 Convergncia da srie . . . . . . . . . . . . . . . . . . . . . .
1.8.1.2 Convergncia absoluta . . . . . . . . . . . . . . . . . . . . . .
1.8.1.3 Convergncia uniforme . . . . . . . . . . . . . . . . . . . . .
1.8.2 Testes de convergncia . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.2.1 Testes de convergncia absoluta . . . . . . . . . . . . . . . .
1.8.2.2 Teste de convergncia uniforme . . . . . . . . . . . . . . . . .
1.8.3 Sries de potncias e sries de Taylor . . . . . . . . . . . . . . . . . . .
1.8.4 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.5 Teoremas de existncia e unicidade . . . . . . . . . . . . . . . . . . . .
1.8.6 Algumas tcnicas de construo de sries de Taylor e Laurent . . . . .
1.8.7 Sries de Laurent de funes elementares . . . . . . . . . . . . . . . .
1.8.8 Classificao de singularidades . . . . . . . . . . . . . . . . . . . . . .
1.8.8.1 Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.8.2 Singularidades essenciais . . . . . . . . . . . . . . . . . . . .
3

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

5
5
7
7
8
9
10
12
12
13
14
15
15
16
17
18
20
20
21
21
22
23
24
24
24
24
25
25
25
29
31
31
31
32
32
32
33
33
33
36
37
38
40
40
40
41

SUMRIO
1.8.8.3 Singularidaes removveis . . . . . . . . . . . . . . . . . . . . . .
Integrao no plano complexo pelo mtodo dos resduos . . . . . . . . . . . . . .
1.9.1 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.2 Teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.3 Clculo de resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.3.1 Primeiro mtodo: direto da definio . . . . . . . . . . . . . . .
1.9.3.2 Segundo mtodo: polos de ordem m em z = z0 . . . . . . . . .
1.9.3.3 Terceiro mtodo: resduo de uma funo racional . . . . . . . . .
1.9.3.4 Quarto mtodo: pelo desevolvimento em srie de Laurent . . . .
1.9.4 Clculo de integrais definidas ou imprprias . . . . . . . . . . . . . . . . .
1.9.4.1 Integrais do tipo I: funes racionais . . . . . . . . . . . . . . .
1.9.4.2 Integrais do tipo II: funes racionais de funes trigonomtricas
1.9.4.3 Integrais do tipo III: integrais de Fourier . . . . . . . . . . . . .
1.9.4.4 Integrais do tipo IV: integrando com polos no eixo real . . . . .
1.9.4.5 Integrais do tipo V: integrao ao longo de linhas de ramificao
1.9.4.6 Outros tipos de integrais . . . . . . . . . . . . . . . . . . . . . .
1.10 Continuao analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9

A Distribuies e a Funo Delta de Dirac


A.1 Definio de Distribuies . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.1.1 Definio operacional de distribuio . . . . . . . . . . . . . . . . . . .
A.1.1.1 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.1.2 Propriedades de distribuies . . . . . . . . . . . . . . . . . . . . . . .
A.1.2.1 Combinao linear de distribuies . . . . . . . . . . . . . . .
A.1.2.2 Produto de duas distribuies . . . . . . . . . . . . . . . . .
A.1.2.3 Sries e integrais de distribuies . . . . . . . . . . . . . . . .
A.1.2.4 Derivadas de distribuies . . . . . . . . . . . . . . . . . . . .
A.2 Propriedades da Funo . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.1 Definio da . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.2 Representaes da (x x0 ) como o limite do kernel de um operador
A.2.3 Principais propriedades . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.4 Derivadas da (x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.5 Deltas de Dirac em mais de uma dimenso . . . . . . . . . . . . . . .

Autor: Rudi Gaelzer IFM/UFPel

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

41
41
41
42
43
43
43
44
45
45
45
47
48
50
52
54
57

. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
integral
. . . . .
. . . . .
. . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

61
61
61
61
62
62
62
62
63
64
64
64
65
66
66

Impresso: 16 de agosto de 2011

Captulo 1

Funes de Uma Varivel Complexa


Muitas vezes, pergunta-se o porqu da necessidade de se estudar variveis complexas quando na fsica
estamos interessados apenas nas solues reais. Poder-se-ia esperar que um estudo de funes reais de
variveis reais seria suficiente para se conhecer as solues fisicamente relevantes. A resposta que em
muitas situaes desejavel estender nosso estudo a valores complexos das variveis e das solues por
razes de completicidade e convenincia. Por exemplo, o conjunto dos nmeros reais no forma uma base
suficiente para a representao das razes de equaes polinomiais ou algbricas. Alm disso, o conhecimento
do comportamento de uma funo complexa f (z), para todos os valores complexos de z, nos fornece uma
viso mais completa de suas principais propriedades (mesmo suas propriedades para z real), do que o
conhecimento de seu comportamento para somente valores reais de z. A localizao, no plano complexo, dos
zeros e dos infinitos de f (isto , a posio das razes de f (z) = 0 e de 1/f (z) = 0) nos fornece informaes
sobre o comportamento de f para todos os valores de z. Adicionalmente, uma integral de f (z) ao longo de
valores reais de z pode ser modificada em uma integral ao longo de uma trajetria conveniente no plano
complexo, de forma a simplificar consideravelmente o seu clculo.
Integrais no plano complexo possuem uma ampla variedade de aplicaes teis na fsica e na matemtica.
Dentre estas, pode-se destacar:
Clculo de integrais definidas.
Inverso de sries de potncias.
Clculo de produtos infinitos.
Obteno de solues de equaes diferenciais para grandes valores da varivel (solues assintticas).
Investigao da estabilidade de sistemas potencialmente oscilatrios.
Inverso de transformadas integrais.
Algumas destas propriedades sero tratadas ao longo deste captulo.
Em se tratando de solues de equaes da fsica-matemtica, uma soluo complexa deve ser tratada
como uma funo ou nmero complexos at o momento em que se quer compar-la com um valor medido,
fsico. Neste momento, devemos associar a parte real e/ou imaginria ou outra quantidade real derivada
do nmero complexo (tal como o mdulo) com parmetros fsicos reais. Assim, mencionando somente dois
exemplos, o ndice de refrao real de uma onda eletromagntica propagando-se em um meio ativo torna-se
uma quantidade complexa quando a absoro da energia transportada pela onda includa. A energia real
associada com um nvel de energia atmico ou nuclear torna-se complexa quando o tempo de vida finito do
nvel de energia considerado.
Mas a mais importante razo para se estudar funes complexas a compreenso que se pode obter
a respeito das propriedades gerais das funes. Por exemplo, as singularidades da funo podem estar
relacionadas com singularidades fsicas, tais como as causadas por fontes, cargas eltricas pontuais, etc.
possvel, a partir do conhecimento das singularidades de uma funo complexa, especificar-se a funo
completamente.
Estes sero alguns dos tpicos abordados neste captulo.

1.1

Nmeros e variveis complexos

O sistema numrico em uso atualmente o resultado de um desenvolvimento gradual na matemtica


que se iniciou na Idade Antiga. Os nmeros naturais (inteiros positivos) {0, 1, 2, . . . } foram utilizados
5

1.1. Nmeros e variveis complexos

inicialmente para a contagem. O conjunto dos nmeros naturais representado pelo smbolo N e diz-se que
um dado nmero natural n pertence a N (n N).
Os inteiros negativos e o conceito do zero foram ento introduzidos para permitir solues de equaes
tais como x + 3 = 2. Cria-se ento o conjunto dos nmeros inteiros {. . . , 2, 1, 0, 1, 2, . . . }, representado
pelo smbolo Z. Observa-se aqui que o conjunto N um sub-conjunto de Z. Diz-se ento que N est contido
em Z (N Z), ou que Z contm N (Z N).
Para permitir a soluo de equaes tais como bx = a, para todos os inteiros a e b (com b 6= 0), os
nmeros racionais (x = a/b) foram introduzidos. Representa-se o conjunto de todos os nmeros racionais
por Q = {x | x = p/q, com (p, q) Z e q 6= 0}. Nota-se aqui que Q contm Z, consistindo em aqueles
x Q | q = 1.
Posteriormente, os nmeros irracionais foram introduzidos quando descobriu-se que nmeros tais como
as solues da equao

x2 2 = 0 = x = 2 = 1.41423 . . .
ou a razo entre o permetro de uma circunferncia de raio unitrio e o seu dimetro ( = 3.14159265359 . . . )
no podem ser expressos por nmeros racionais. O conjunto dos nmeros irracionais representado pelo
smbolo Q0 . Nota-se aqui que Q no contm nem est contido em Q0 , sendo ambos conjuntos de nmeros
completamente distintos.
A reunio, ou a unio, dos nmeros racionais com os irracionais formam o conjunto dos nmeros reais, representado pelo smbolo R (R = Q Q0 ). Disciplinas usuais de clculo apresentam seus teoremas e
resultados considerando somente nmeros pertencentes ao conjunto R. Contudo, este conjunto ainda est
incompleto para aplicaes em lgebra e para a anlise matemtica.
Os nmeros complexos foram descobertos na Idade Mdia, ao se pesquisar as razes de certas equaes
quadrticas, tais como

z 2 + 1 = 0 = z = 1.
bvio, pelo nome dado, que eles foram considerados de maneira suspeita. Leonhard Paul Euler (17071783), em 1777, introduziu o smbolo

i = 1.
Carl Friedrich Gauss (1777-1855), na sua tese de doutorado em 1799, forneceu aos nmeros complexos a
agora familiar expresso algbrica z = x + iy, bem como a sua representao geomtrica (vetorial) e, com
isso, ajudou a desvendar parte de seu mistrio. Neste sculo, a tendncia tem sido definir os nmeros
complexos como smbolos
abstratos sujeitos a certas regras formais de manipulao.

Como o nmero 1 no possui representao possvel dentro


do conjunto de nmeros reais, chamou-se
este nmero de imaginrio puro e atribuiu-se a ele smbolo i = 1. Alm disso, definiu-se um conjunto
mais amplo de nmeros, denominado conjunto dos nmeros complexos C R, o qual contm todos os
nmeros complexos, tendo o conjunto dos nmeros reais como um sub-conjunto.
Um nmero complexo nada mais que um par ordenado de dois nmeros reais x e y. Assim, o nmero
complexo z pode ser representado de, pelo menos, duas maneiras:
z = (x, y) = x + iy,
sendo a ltima representao a preferida neste texto. Deve-se notar que o ordenamento significante; assim,
a + ib 6= b + ia.
Uma propriedade imediata do nmero i pode ser deduzida observando-se que i2 = i i = 1, i3 = i2 i =
i, i4 = i2 i2 = 1, i5 = i i4 = i, . . . . Da mesma forma,
1
i
=
= i
i
ii
1
i2 = 2 = 1
i
1
3
i = = i
i
i4 = 1
i1 =

...

...,

resultando
i2n = (1)n

(1.1a)

i(2n+1) = (1)n i, para n = 0, 1, 2, 3, . . . .

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

(1.1b)

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.1: Plano complexo ou diagrama de Argand.

1.1.1

Representaes vetorial e polar

Em muitas situaes, conveniente empregar-se uma representao grfica da varivel complexa. Traandose x a parte real de z como a abcissa e y a parte imaginria de z como a ordenada, obtm-se o
plano complexo, ou plano de Argand, ilustrado na figura 1.1.
Em lgebra linear, frequentemente utiliza-se o conceito de um vetor posio r como membro do espao
vetorial R2 . Assim, pode-se representar o vetor r fazendo-se uso da base cannica {, }:
r = x + y,
sendo x a componente de r na direo definida por e y a componente de r ao longo de .
Da mesma forma, pode-se interpretar o nmero complexo z = x + iy, de acordo com a representao
grfica da figura 1.1, como um vetor (ou fasor), sendo x a componente ao longo do eixo real e y a componente
ao longo do eixo imaginrio. Assim, tal quantidade satisfaz as regras usuais de adio de vetores e de
multiplicao por escalar. Inspecionando a figura 1.1, relaes simples de trigonometria mostram que
x = r cos
y = r sen ,
sendo r R (0 r < ) denominado mdulo ou magnitude de z e
argumento ou fase de z. Portanto,
z = r (cos + i sen ) ,

R (0 < 2)1

chamado de
(1.2a)

onde
p
r = x2 + y 2
= tan1 (y/x) .

1.1.2

(1.2b)
(1.2c)

Frmula de Euler

Uma representao equivalente representao algbrica de z dada por (1.2) a chamada representao
polar:
z = rei .
(1.3)
Demonstrao. A partir das seguintes sries de McLaurin:
sen x =
cos x =

X
n=0

X
n=0

1 Ver

(1)n

x2n+1
(2n + 1)!

(1)n

x2n
(2n)!

uma definio mais geral para o intervalo de variao de a seguir.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.2. lgebra de nmeros complexos

ex =

X
xn
n!
n=0

e das potncias (1.1a,b), obtemos


ei =
=

X
X
(i)n
(i)2n X (i)2n+1
=
+
n!
(2n)!
(2n + 1)!
n=0
n=0
n=0

(1)n

n=0

X
2n+1
2n
+i
,
(1)n
(2n)!
(2n + 1)!
n=0

ou seja,
ei = cos + i sen .
Esta a conhecida Frmula de Euler.

1.2

lgebra de nmeros complexos

Sendo z = x + iy C um nmero complexo qualquer, as seguintes operaes e definies se aplicam:

Parte real de z: a parte real de z o nmero x R. Esta operao representada por


Re z = x.

Parte imaginria de z: a parte imaginria de z o nmero y R. Esta operao representada por


Im z = y.
Complexo conjugado de z: o complexo conjugado de z, representado por z ou z , tal que z
definido por z = x iy. Na figura 1.1, pode-se observar a representao vetorial de z .

C,

Mdulo de z: o nmero |z| R tal que


|z| = |x + iy| =

x2 + y 2 =

z.z .

As seguintes operaes algbricas esto definidas para dois nmeros z1 = a + ib = r1 ei1 e z2 = c + id =


r2 e quaisquer, tais que {z1 , z2 } C. Os nmeros {r1 , r2 } R so, respectivamente, os mdulos de z1 e
z2 e {1 , 2 } R so os respectivos argumentos.
i2

Fase ou argumento de z: nmero R tal que 0

6<

+ 2, dado por
y
.
arg(z) = tan1
x
0

Usualmente, toma-se 0 = 0, mas outros textos podem usar, por exemplo,

6 < .

Adio: z1 + z2 = (a + ib) + (c + id) = (a + c) + (b + d)i. Esta operao est representada na figura 1.2(a).
Subtrao: z1 z2 = (a + ib) (c + id) = (a c) + (b d)i.

Conjugao complexa da adio: (z1 + z2 ) = z1 + z2 .


Multiplicao por real: Dado um h R,
h.z1 = h(a + ib) = ha + ihb.
Multiplicao de complexos:
z1 .z2 = (a + ib)(c + id) = (ac bd) + (ad + bc)i,
ou, em termos da forma polar,
z1 .z2 = r1 r2 ei(1 +2 ) = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )] .

(1.4)

Esta operao est representada na figura 1.2(b).


Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa


Im

(a)

Im

9
(b)

b+d

z1 .z

z2
z

1 +z
2

z2

1+2
z1

z1
c

a+c

Re

Re

Figura 1.2: (a) Representao da operao z1 + z2 . (b) Representao da operao z1 .z2 .

Diviso de complexos:
z
z1 .z2
z1
= z1 2 =
2 , ou
z2
z2 .z2
|z2 |
z1 a + ib
(a + ib)(c id)
ac + bd
ad bc
=
=
= 2
i 2
.
2
z2 c + id
(c + id)(c id)
c +d
c + d2
Ou, em termos da forma polar,
z1
r1
r1
= ei(1 2 ) =
[cos (1 2 ) + i sen (1 2 )] .
z2
r2
r2

Conjugao complexa do produto: (z1 .z2 ) = z1 .z2 .


Outras operaes algbricas, como potenciao e radiciao, sero vistas nas sees seguintes.
O valor absoluto de z ainda possui as seguintes propriedades. Sendo {z1 , z2 , . . . , zn } nmeros complexos,
ento
1. |z1 z2 . . . zn | = |z1 | |z2 | . . . |z1 |.

z1 |z1 |
2. =
, desde que z2 6= 0.
z2
|z2 |
3. |z1 + z2 + + zn |
4. |z1 z2 |

6 |z | + |z | + + |z |.

> ||z | |z ||.


1

Nmeros complexos z = rei com r = 1 possuem |z| = 1 e so denominados unimodulares. Pode-se


imaginar estes nmeros situados ao longo da circunferncia de raio unitrio sobre o plano complexo. Pontos
especiais nesta circunferncia so:
= 0. z = ei0 = 1.
= /2. z = ei/2 = i.
= . z = ei = 1.
= 3/2 ou = /2. z = ei3/2 = ei/2 = i.

1.2.1

Frmula de Moivre

Sejam z1 = r1 (cos 1 + i sen1 ) = r1 ei1 e z2 = r2 (cos 2 + i sen2 ) = r2 ei2 dois nmeros complexos.
Ento o produto de ambos j foi calculado em (1.4):
z1 z2 = r1 r2 ei(1 +2 ) = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )] .
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.2. lgebra de nmeros complexos

10

Generalizando agora este resultado para n nmeros complexos, {z1 , z2 , . . . , zn }, obtm-se


z1 z2 . . . zn = r1 r2 . . . rn ei(1 +2 ++n ) = r1 r2 . . . rn [cos (1 + 2 + + n ) + i sen (1 + 2 + + n )] .
Agora, se z1 = z2 = = zn = z, onde se escreve z = r (cos + i sen). Resulta ento,
n

z n = rn (cos + i sen) = rn [cos (n) + i sen (n)] ,

(1.5)

a qual a frmula para a nsima potncia (n > 0) de z. Cancelando os termos rn em ambos os lados de
(1.5), resulta a Frmula de Moivre:
n

(cos + i sen) = cos (n) + i sen (n) .

1.2.2

(1.6)

Razes de nmeros complexos

A Frmula de Moivre (1.6) permite que se obtenha uma expresso para as razes de um nmero complexo.
Para tanto, considera-se a seguinte equao polinomial:
z n w = 0,

(1.7)

onde w C. Buscar a soluo de (1.7) equivalente a buscar a raiz n de w. Esta soluo poderia ser escrita
simplesmente como z = w1/n , mas esta forma d a entender que existe somente uma soluo de (1.7), o
que no verdade. O nmero de solues (ou razes) de um polinmio de grau n, como a funo no lado
esquerdo de (1.7), bem determinado, de acordo com o Teorema Fundamental da lgebra abaixo.
Teorema 1.1. (Teorema Fundamental da lgebra). Toda equao polinomial de grau n, cujos coeficientes so reais ou complexos, possui exatamente n razes reais ou complexas.
Portanto, deve-se buscar n solues para (1.7), o que equivalente a buscar-se n razes de w, as quais
sero denominadas z0 , z1 , . . . , zn1 . Concentrando-nos inicialmente em z0 , tal que
z0n = w,
pode-se usar para ambos as suas formas polares dadas por (1.2a),
z0 = |z0 | (cos + i sen ) e w = |w| (cos + i sen ) .
Ento, de acordo com (1.6),
n

|z0 | (cos + i sen ) = |z0 | [cos (n) + i sen (n)] = |w| (cos + i sen ) ,

(1.8)

possibilitando-nos a identificar
p
n
|z0 | = |w| = |z0 | = n |w|,

n = = = .
n
Portanto, a raiz principal de (1.7) dada por
z0 =

p
n

h

 i p
|w| cos
+ i sen
= n |w|ei/n .
n
n

(1.9a)

Contudo, como j foi mencionado, existem outras n 1 razes distintas de w. Estas outras razes podem ser
determinadas levando-se em conta as identidades
cos ( 2k) = cos e sen ( 2k) = sen , para k = 0, 1, 2, 3, . . . .
Assim, retornando-se a (1.8), pode-se escrever a relao entre as fases como
n 2k = = =

+ 2k
.
n

Constata-se facilmente que se for substitudo por + 2k em (1.9a), haver sempre um nmero total de
n arcos tais que
+ 2k
0
2, para k = 0, 1, . . . , n 1,
n

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa


Im

11
Im

(a)

(b)

z1
z

z0
Re
z

Re

z2

Figura 1.3: (a) Razes quadradas z0 e z1 de w = 1 + i. (b) Razes cbicas w0 , w1 e w2 de z = 1 + i.

os quais so geometricamente distintos sobre o plano complexo. Colocando-se k = n, n + 1, . . . , ir simplesmente repetir-se os arcos anteriores.
Portanto, as n razes de (1.7), incluindo z0 , so:
zk =

p
n






p
+ 2k
+ 2k
|w| cos
+ i sen
= n |w|ei(+2k)/n , (k = 0, 1, . . . , n 1) .
n
n

(1.9b)

Exemplo 1.1. (Razes quadradas). Dado o nmero w = 1 + i, encontre as suas razes quadradas.
Soluo: h exatamente 2 razes quadradas para w. Inicialmente, escreve-se w na forma polar:


w = 2 cos + i sen
= |w| = 2 e = ,
4
4
4
sendo que /4

45 . De acordo com (1.9b), n = 2, k = 0, 1, e as razes so:




4
z0 = 2 cos + i sen
,
8
8 


9
9
4
z1 = 2 cos
+ i sen
,
8
8

sendo que /8
22, 5 e 9/8
202, 5 , de tal forma que as razes z0 e z1 so antiparalelas no plano
complexo. Estas razes encontram-se representadas no diagrama da figura 1.3(a).
Exemplo 1.2. (Razes cbicas). Dado o nmero w = 1 + i, encontre as suas razes cbicas.
Soluo: h exatamente 3 razes cbicas para w. Dado w na forma polar:


z = 2 cos + i sen
= |z| = 2 e = ,
4
4
4
sendo que /4

45 . Agora, de acordo com (1.9b), n = 3, k = 0, 1, 2, e as razes so:


h

 i

6
z0 = 2 cos
+ i sen
,

12 
12 

3
3
6
z1 = 2 cos
+ i sen
,
4
4






17
17
6
z2 = 2 cos
+ i sen
,
12
12

sendo que /12


15 , 3/4
135 e 17/12
255 , de tal forma que z0 , z1 e z2 esto nos vrtices de
um tringulo equiltero. Estas razes encontram-se representadas no diagrama da figura 1.3(b).
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

12

1.3

1.3. Funes de uma varivel complexa

Funes de uma varivel complexa

Seja D C um conjunto de nmeros complexos z = x + iy. Uma funo f (z), definida em D uma
operao que atribui a cada z D um outro nmero complexo w I, onde I C. O nmero w
denominado o valor de f (z) em z, isto ,
w = f (z).
O conjunto D denominado o domnio de definio de f(z) e o conjunto I denominado a imagem de f(z).
Deve ser enfatizado que tanto o domnio de definio quanto a operao so necessrios para que a
funo seja bem definida. Quando o domnio no especificado, deve-se supor que o maior conjunto possvel
tomado. Assim, se mencionada simplesmente a funo f (z) = 1/z, o domnio subentendido como o
conjunto de todos os pontos no nulos no plano complexo.
Existem dois tipos bsicos de funes complexas:
Funes unvocas. Uma funo denominada unvoca em
valor de w.

D se a cada valor de z corresponde um nico

Funes plurvocas. Uma funo denominada plurvoca em D se a uma determinado valor de z corresponder mais de um valor de w. Uma funo plurvoca pode ser considerada como uma coleo de
funes unvocas, onde cada membro desta coleo chamado de ramo da funo plurvoca. usual
tomar-se um membro em particular da coleo como o ramo principal da funo plurvoca e o valor
da funo correspondente a este ramo denominado valor principal.
Como exemplos de funes unvocas ou plurvocas, pode-se tomar:
1. w = z 2 funo unvoca ou simplesmente funo.

2. w = z funo plurvoca, pois a cada valor de z correspondem dois valores de w, de acordo com
(1.9b). Assim:

se z = rei , ento z = wk = rei(+2k)/2 , onde k = 0, 1,

Para k = 0 : w0 =
Para k = 1 ; w1 =

1.3.1

rei/2 ramo principal.

rei/2 ei = rei/2 segundo ramo.

Transformaes ou mapeamentos

Nota-se agora que w, como o valor de f (z), tambm uma varivel complexa e que, portanto, pode ser
escrita na forma
w = u + iv,
sendo u, v R, ao passo que f (z) tambm pode ser separada em partes real e imaginria,
f (z) = u (x, y) + iv (x, y) ,
onde u (x, y) e v (x, y) so ambas funes reais. Igualando as partes real e imaginria das expresses acima,
obtm-se
u = u (x, y) ,

v = v (x, y) .

Se w = f (z) uma funo unvoca de z, ento pode-se imaginar o plano complexo de z e, a cada ponto
neste plano, corresponde um ponto no plano complexo de w. Se f (z) for plurvoca, ento um ponto no plano
complexo de z mapeado em mais de um ponto no plano complexo de w. Pontos no plano z so mapeados
em pontos no plano w, enquanto que curvas no plano z so mapeadas em curvas no plano w. A figura 1.4
ilustra o processo de mapeamento.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

13

f(z)

Figura 1.4: A funo w = f (z) mapeia pontos no plano z em pontos no plano w.

1.3.2

Pontos de ramificao, linhas de ramificao e superfcies de Riemann

Comparando
agora o comportamento de uma funo unvoca, f1 (z) = z 2 , e de uma funo plurvoca,

f2 (z) = z, percebe-se uma diferena importante entre ambas. Suponha que se permita que z = rei execute
uma revoluo completa em torno no ponto z = 0, no sentido anti-horrio, partindo de um determinado
ponto no seu plano complexo. Esta operao consiste em substituir
+ 2

(1.10)

na frmula polar de z. Observando agora o comportamento de f1 (z) e f2 (z) frente a transformao (1.10),
f1 (z) r2 ei2 ei4 f1 (z)
f2 (z) r1/2 ei/2 ei f2 (z).
Pode-se constatar que f1 (z) permanece inalterada frente a transformao (1.10), porm f2 (z) muda de sinal.
Como o plano complexo possui por definio uma variao total de fase igual a 2, a transformao (1.10)
levou f2 (z) a um valor distinto daquela que deveria apresentar. De
fato, f2 (z) somente retornar ao valor
inicial atravs de uma nova rotao completa. Ou seja, f2 (z) = z no apresenta simetria frente a uma
rotao de 2 radianos, mas sim frente a uma rotao + 4, em cuja situao
f2 (z) r1/2 ei/2 ei2 f2 (z).

Pode-se descrever o que se sucede com a funo f2 (z) = z, afirmando-se que quando 0
< 2, o
mapeamento do plano z para o plano w permanece sobre um dos ramos da funo plurvoca f2 (z), enquanto
que no intervalo 2 < 4, o mapeamento leva ao outro ramo da funo. Claramente, sobre cada ramo,
a funo f2 (z) unvoca e, para mant-la assim, estabelece-se uma barreira artificial ligando a origem ao
infinito ao longo de alguma reta sobre o plano complexo. A funo permanecer unvoca desde que esta
barreira no seja cruzada.

Para a funo z, esta linha usualmente traada ao longo do eixo real positivo e denominada linha
de ramificao, enquanto que o ponto O, de onde parte a linha de ramificao, denominado ponto
de ramificao. A figura 1.5 mostra esta linha de ramificao como uma linha sinuosa sobre o eixo real
positivo. importante enfatizar aqui que uma volta em torno de um outro ponto qualquer, distinto da
origem, de tal forma que
esta no esteja dentro da rea delimitada pelo caminho fechado, no leva a um
outro ramo da funo z. Ou seja, o ponto O o nico ponto de ramificao desta funo.
George Friedrich Bernhard Riemann (18261866) sugeriu um outro propsito para a linha de ramificao
definida acima. Imagina-se o plano z composto por duas folhas sobrepostas uma outra. Corta-se agora
as duas folhas ao longo da linha OB vista na figura 1.5 e junta-se a borda inferior da folha de baixo
borda superior da folha de cima. Da mesma forma, junta-se as duas outras bordas. Partindo-se ento do
primeiro quadrante da folha de cima, realiza-se uma volta completa sobre o plano z em torno de O. Ao
se cruzar a linha de ramificao, passa-se para o primeiro quadrante da folha de baixo, ao se realizar mais
um volta completa em torno da origem,
retorna-se folha de cima ao se cruzar pela segunda vez a linha de
ramificao. Desta maneira, a funo z permanece unvoca sobre um domnio no qual 0 < 4.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

14

1.3. Funes de uma varivel complexa

Figura 1.5: Linha de ramificao para a funo w =

Figura 1.6: Folhas de Riemann da funo

z.

z.

A coleo de duas folhas para a garantia da unicidade da funo z denominada de superfcie de


Riemann. Cada folha de Riemann corresponde a um ramo da funo e sobre cada folha a funo
unvoca. O conceito de superfcie de Riemann possui a vantagem de possibilitar a obteno dos vrios
valores de
uma funo plurvoca de uma maneira contnua. A figura 1.6 ilustra as duas folhas de Riemann
da funo z.

1.3.3

Exemplos de funes unvocas ou plurvocas

Alm das funes f1 (z) = z 2 e f2 (z) =


com frequncia surgem so as seguintes.

z j abordadas, outras funes de uma varivel complexa que

Funo exponencial. Definida por


w = ez = ex+iy = ex (cos y + i seny) .
Funes trigonomtricas. Define-se as funes trigonomtricas em termos das funes exponenciais.
sen z =

eiz eiz
+
2i
iz

cos z =

e +e
2

cos2 z + sen2 z = 1.

iz

Funes trigonomtricas hiperblicas. De maneira anloga, define-se


senh z =

ez ez
+
2
z

cosh z =
Autor: Rudi Gaelzer IFM/UFPel

e +e
2

cosh2 z senh2 z = 1.

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

15

Figura 1.7: Superfcie de Riemann da funo ln z.

possvel mostrar as seguintes relaes entre as funes trigonomtricas circulares e as hiperblicas:


sen iz = i senh z

senh iz = i sen z

cos iz = cosh z

cosh iz = cos z.

Funo logartmica. Esta uma outra funo plurvoca, definida por


h
i
w = lnz = ln rei(+2k) = ln r + i ( + 2k) , k = 0, 1, 2, .

Como se pode notar, esta funo possui infinitos ramos, sendo w = ln r + i, para 0 < 2, o ramo
principal. A superfcie de Riemann para esta funo est representada na figura 1.7.

1.4

O clculo diferencial de funes de uma varivel complexa

Nesta seo sero definidos os conceitos de limites, continuidade e de derivao de uma funo de uma
varivel complexa.

1.4.1

Limite de uma funo complexa

Diz-se que o nmero w0 o limite de f (z) medida que z se aproxima de z0 , o que escrito como
lim f (z) = w0 ,

zz0

se:
1. A funo f (z) est definida e unvoca em uma vizinhana de z = z0 , com a possvel exceo do
prprio ponto z0 .
2. Dado um nmero real positivo qualquer , arbitrariamente pequeno, existe um outro nmero real
positivo tal que
|f (z) w0 | <  sempre que 0 < |z z0 | < .
importante observar o seguinte:
O limite w0 deve ser sempre o mesmo para um dado z0 , independente da maneira como
realizado o limite z z0 .
Se f (z) uma funo plurvoca, o limite para z z0 depende do particular ramo em que se encontra
a vizinhana de z0 .
A figura 1.8 ilustra as vizinhanas dos pontos z = x + iy e w0 = u + iv nos respectivos planos complexos.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.4. O clculo diferencial de funes de uma varivel complexa

16

Figura 1.8: Vizinhanas dos pontos z0 e w0 nos respectivos planos complexos.

Exemplo 1.3. (Clculos de limites).


(a) Se f (z) = z 2 , prove que limzz0 f (z) = z02 .
(b) Encontre limzz0 f (z) se
(
f (x) =

z2,
0,

z=
6 z0
z = z0 .

Soluo.
(a) Deve-se mostrar que para
qualquer  > 0 sempre possvel encontrar-se um > 0 (dependendo, em
geral, de ) tal que z 2 z02 <  sempre que 0 < |z z0 | < .
Para tanto, considera-se 1. Neste caso, 0 < |z z0 | < implica que

|z z0 | |z + z0 | < |z + z0 | = |z z0 + 2z0 | ,
2

z z02 < (|z z0 | + 2 |z0 |) < (1 + 2 |z0 |) .

Para um 

6 1 escolhe-se ento = / (1 + 2 |z |), ou seja, <  z


0

C, de tal maneira que

2

z z02 < ,
provando-se o limite.
(b) No h diferena entre este problema e o problema da parte (a), uma vez que em ambos os casos o ponto
z = z0 foi excludo. Portanto, limzz0 f (z) = z02 . Nota-se que o valor do limite no necessariamente igual
ao valor de f (z0 ).
Teorema 1.2. (Propriedades dos limites).
seguintes propriedades de limites so vlidas:

Se limzz0 f (z) = w1 e limzz0 g(z) = w2 , ento as

lim [f (z) + g(z)] = lim f (z) + lim g(z) = w1 + w2 .


zz0

zz0


lim [f (z)g(z)] =
zz0

lim

zz0

zz0


lim f (z)

zz0


lim g(z) = w1 w2 .

zz0

lim f (z)
w1
f (z)
zz0
=
=
, desde que w2 6= 0.
g(z)
lim g(z)
w2
zz0

1.4.2

Continuidade

Seja f (z) definida e unvoca em uma vizinhana de z = z0 , assim como em z = z0 . A funo f (z) dita
contnua em z = z0 se
lim f (z) = f (z0 ) .
zz0

Observa-se que isso implica em trs condies que devem ser satisfeitas:
1. O limite deve existir.
2. f (z0 ) deve existir, isto , f (z) deve ser definida em z = z0 .
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

17

3. O limite deve ser igual a f (z0 ).


Pontos no plano z onde f (z) deixa de ser contnua so chamados de descontinuidades de f (z).
Se o limite limzz0 f (z) existe mas no igual a f (z0 ), ento z0 denominado uma descontinuidade
removvel, pois sempre possvel redefinir-se f (z) para se obter uma funo contnua.
Teorema 1.3. (Teoremas de continuidade). Os seguintes teoremas de continuidade so vlidos.
Se f (z) e g(z) so contnuas em z = z0 , ento tambm so contnuas:
f (z)
, desde que g (z0 ) 6= 0.
g(z)

f (z) + g(z), f (z)g(z) e

Se w = f (z) contnua em z = z0 e z = g() contnua em = 0 e se 0 = f (z0 ), ento a funo


w = g [f (z)] contnua em z = z0 .
Uma funo contnua de uma funo contnua tambm contnua.
Se f (z) contnua em uma regio fechada, ento ela limitada nessa regio; isto , existe uma
constante real positiva M tal que |f (z)| < M para todos os pontos z dentro dessa regio.
Se f (z) contnua em uma regio, ento as partes real e imaginria de f (z) tambm so contnuas
nessa regio.

1.4.3

Derivadas de funes complexas

Dada uma funo f (z), contnua e unvoca de uma varivel complexa z, em uma dada regio R C, a
derivada
df
f 0 (z)
dz
em algum ponto fixo z0 R definida como
f 0 (z0 ) = lim

z0

f (z0 + z) f (z0 )
,
z

(1.11)

desde que este limite exista de forma independente da maneira como z 0. Aqui, z = z z0 ,
sendo z R algum ponto na vizinhana de z0 .
Teorema 1.4. Se uma funo f (z) possui derivada em z = z0 , ento ela necessariamente contnua em
z = z0 .
Demonstrao. Supondo que f (z0 ) exista, ento
lim [f (z0 + z) f (z0 )] = lim

zz0

zz0

f (z0 + z) f (z0 )
lim z = 0,
zz0
z

ou seja,
lim f (z0 + z) = f (z0 ) .

zz0

Se f 0 (z) existe em z0 e em todos os pontos em uma dada vizinhana de z0 , ento f (z) dita analtica
em z0 . A funo f (z) analtica na regio R se ela analtica em todos os pontos z R. Contudo, nem
toda a funo contnua diferencivel em z = z0 .

Exemplo 1.4. Dada a a funo f (z) = z , mostre que embora esta seja contnua em qualquer z0 C, sua
derivada dz /dz no existe em z0 .
Soluo. Pela definio (1.11),

dz
(z + z) z
(x + iy + x + iy) (x + iy)
= lim
= lim
0
x0
dz
z
x + iy

y0

= lim

x0
y0

x iy
x iy + x iy (x iy)
= lim
.
x0 x + iy
x + iy
y0

Se y = 0, o limite resulta em limx0 x/x = 1. Por outro lado, se x = 0, o limite resulta em


limy0 (y) /y = 1. Portanto, como o valor do limite depende da maneira como z 0, a derivada
de f (z) = z no existe em nenhum ponto e, portanto, a funo no analtica em nenhum ponto.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.4. O clculo diferencial de funes de uma varivel complexa

18

Exemplo 1.5. Dada a funo g(z) = |z| , mostre que esta somente diferencivel em z = 0.
Soluo. Pela definio (1.11),
2

(z + z) (z + z ) zz
|z + z| |z|
= lim
z0
z0
z
z
z z + zz + zz
z
= lim
= z + z lim
+ lim z .
z0
z0 z
z0
z

g 0 (z) = lim

Pode-se considerar 2 possibilidades:


1. z = 0. Neste caso,
g 0 (z)|z=0 = 0,
e a derivada existe.
2. z 6= 0. Neste caso, se g 0 (z) existe, ento a derivada deve existir independente da maneira como se toma
o limite. Assim:
Se z = x, ento z = z e o limite fica
g 0 (z) = z + z.
Se z = iy, ento z = z e o limite fica
g 0 (z) = z z.
Portanto, a funo g(z) no analtica, pois somente possui derivada em z = 0.
Teorema 1.5. (Regras de derivao). As regras de derivao para somas, produtos e quocientes de
funes so, em geral, as mesmas que as regras para funes reais. Isto , se f 0 (z0 ) e g 0 (z0 ) existem, ento
0

(f + g) (z0 ) = f 0 (z0 ) + g 0 (z0 ).


0

(f g) (z0 ) = f 0 (z0 ) g (z0 ) + f (z0 ) g 0 (z0 ).


 0
f 0 (z0 ) g (z0 ) f (z0 ) g 0 (z0 )
f
(z0 ) =
, se g (z0 ) 6= 0.

2
g
[g (z0 )]

1.4.4

As condies de Cauchy-Riemann

Para testar se uma funo f (z) analtica, Cauchy e Riemann criaram um teste simples mas extremamente importante para testar a analiticidade de f (z). Para deduzir as condies de Cauchy-Riemann,
retorna-se definio (1.11),
f (z0 + z) f (z0 )
f 0 (z0 ) = lim
.
(1.12)
z0
z
Escrevendo f (z) = u (x, y) + iv (x, y), obtm-se
u (x + x, y + y) u (x, y)
v (x + x, y + y) v (x, y)
+ i lim
.
x0
x0
x + iy
x + iy

f 0 (z) = lim

y0

y0

Existe um nmero infinito de maneiras para z tender a zero sobre o plano complexo. Consideram-se duas
possibilidades (ver figura 1.9): ao longo de x ou ao longo de y. Supondo-se que se tome primeiro a rota ao
longo de x, mantendo y constante, isto , y = 0. Neste caso,
u (x + x, y) u (x, y)
v (x + x, y) v (x, y)
u
v
+ i lim
=
+i .
x0
x0
x
x
x
x

f 0 (z) = lim

Agora, toma-se a rota ao longo de y, mantendo x constante (x = 0). Neste caso,


f 0 (z) = lim

y0

u (x, y + y) u (x, y)
v (x, y + y) v (x, y)
u v
+ i lim
= i
+
.
y0
iy
iy
y
y

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

19

A condio necessria para que f (z) seja analtica que o limite deve
resultar sempre no mesmo valor, independente do caminho adotado sobre
o plano complexo. Portanto, uma condio necessria para que f (z) seja
analtica
v
u v
u
+i
= i
+
,
x
x
y
y
de onde resultam as condies de Cauchy-Riemann
u
v
u
v
=
e
= .
x
y
y
x

(1.13)
Figura 1.9: Caminhos alternati-

Estas relaes fornecem tambm duas expresses teis para a derivada vos para z0 .
de f (z):
u
v
v
u
f 0 (z) =
+i
=
i .
x
x
y
y

(1.14)

Podemos estabelecer ento o seguinte teorema.


Teorema 1.6. (Condio necessria). Se a derivada f 0 (z) de um funo f (z) = u(x, y) + iv(x, y) existe
em um ponto z = x + iy, ento as derivadas parciais de primeira ordem de u(x, y) e v(x, y) com respeito
a x e a y devem existir neste ponto e satisfazer as relaes de Cauchy-Riemann (1.13). Alm disso, f 0 (z)
pode ser determinada pelas expresses (1.14).
Exemplo 1.6. Condies de Cauchy-Riemann.
Seja a funo f (z) = z 2 = x2 y 2 + i2xy. Neste caso, u(x, y) = x2 y 2 e v(x, y) = 2xy. Para estas
funes,
v u
v
u
= 2x =
e
= 2y = .
x
y y
x
Portanto, as relaes de Cauchy-Riemann so satisfeitas e f 0 (z) pode ser obtida por (1.14),
f 0 (z) = 2x + i2y = 2z.
Exemplo 1.7. Condies de Cauchy-Riemann.
2

Seja agora a funo f (z) = |z| = x2 + y 2 . Neste caso, u(x, y) = x2 + y 2 e v(x, y) = 0. Portanto, embora
as derivadas parciais existam,
u
u
v
v
= 2x,
= 2y,
=
= 0,
x
y
x
y
estas no satisfazem as relaes (1.13) e, portanto, a funo f (z) no possui derivada.
As condies de Cauchy-Riemann fornecem uma condio necessria para que a funo seja diferencivel em algum ponto z = z0 . Contudo, no h garantia at este momento de que estas condies sejam
suficientes para garantir a existncia desta derivada. Um teorema mais geral, apresentado a seguir, estabelece as condies necessria e suficiente para a existncia da derivada de f (z).
Teorema 1.7. (Condio necessria e suficiente). Dada a funo f (z) = u (x, y) + iv (x, y), se
u (x, y) e v (x, y) so contnuas com derivadas parciais de primeira ordem e que satisfazem as condies de
Cauchy-Riemann (1.13) em todos os pontos em uma regio R C , ento f (z) analtica em R.
Demonstrao. Para provar este teorema, necessrio empregar o seguinte teorema do clculo de funes
reais de 2 variveis: se h (x, y), h/x e h/y so contnuas em uma regio R em torno do ponto (x0 , y0 ),
ento existe uma funo H (x, y) tal que H (x, y) 0 medida que (x, y) (0, 0) e


q
h
h
2
2
h (x0 + x, y0 + y) h (x0 , y0 ) =
x
+
y
+
H
(x,
y)
(x) + (y) .
x (x0 ,y0 )
y (x0 ,y0 )
Retornando ento definio de derivada (1.12)
lim

z0

f (z0 + z) f (z0 )
,
z

sendo z0 qualquer ponto que pertence a R e z = x + iy. Pode-se escrever ento


f (z0 + z) f (z0 ) = [u (x0 + x, y0 + y) u (x0 , y0 )] + i [v (x0 + x, y0 + y) v (x0 , y0 )] ,
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.4. O clculo diferencial de funes de uma varivel complexa




q
u
u
2
2
x
+
y
+
H
(x,
y)
(x) + (y)
f (z0 + z) f (z0 ) =
x (x0 ,y0 )
y (x0 ,y0 )
#
"


q
v
v
2
2
x +
y + G (x, y) (x) + (y) ,
+i
x (x0 ,y0 )
y (x0 ,y0 )

20

onde H (x, y) 0 e G (x, y) 0 quando (x, y) (0, 0).


Empregando agora as condies de Cauchy-Riemann (1.13), obtm-se
"
f (z0 + z) f (z0 ) =

#


v
u
(x + iy)
+i
x (x0 ,y0 )
x (x0 ,y0 )
q
+ [H (x, y) + iG (x, y)]

(x) + (y) ,

portanto,
q

f (z0 + z) f (z0 )
u
=
z
x

(x0 ,y0 )


v
+i
x

Assim, no limite (x, y) (0, 0),


q
2
2
(x) + (y)
lim
x0
x + iy
y0

+ [H (x, y) + iG (x, y)]

(x0 ,y0 )

(x) + (y)
x + iy

q



2
2
(x) + (y)

lim
= 1.
x0

x + iy
y0

Ou seja,


u
v
f (z0 ) =
+i
,
x (x0 ,y0 )
x (x0 ,y0 )
0

o que mostra que o limite e, portanto, f 0 (z) existem em todos os pontos em R. As condies de CauchyRiemann so, portanto necessrias e suficientes para garantir a existncia de f 0 (z) em R.

1.4.5

Funes analticas

Uma funo f (z) analtica em um ponto z0 se a sua derivada f 0 (z) existe no somente em z0 mas em
todos os pontos z dentro de uma vizinhana de z0 . As seguintes definies so feitas, com respeito a funes
analticas:
Uma funo dita analtica em um domnio R C se ela analtica em todos os pontos z R. Uma
funo analtica tambm denominada regular ou holomrfica.
Se a funo f (z) analtica sobre todo o plano z complexo, ela denominada inteira.
Uma funo f (z) denominada singular em z = z0 se ela no diferencivel neste ponto. O ponto
z0 denominado ponto singular ou singularidade de f (z).

1.4.6

Funes harmnicas

Se f (z) = u (x, y)+iv (x, y) analtica em alguma regio R do plano complexo, ento em todos os pontos
desta regio as condies de Cauchy-Riemann (1.13) so satisfeitas:
v
u
v
u
=
e
=
x
y
y
x
e, portanto,
2u
2v
2u
2v
=
e
=

,
x2
xy
y 2
yx
desde que as derivadas segundas existam. Igualando a ambas as expresses acima, obtm-se que u (x, y) e
v (x, y) satisfazem a Equao de Laplace:
2u 2u
+ 2 =0
x2
y
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

(1.15a)
Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

21

2v
2v
+
=0
x2
y 2

(1.15b)

sobre toda a regio R.


Toda a funo que satisfaz as equaes de Laplace (1.15) denominada de funo harmnica. Como
ambas as funes u e v satisfazem a (1.15), estas so denominadas funes harmnicas conjugadas.

1.4.7

Pontos singulares

Um ponto onde f (z) deixa de ser analtica denominado ponto singular ou singularidade de f (z). As
condies de Cauchy-Riemann no so obedecidas em um ponto singular.
Existem vrias tipos de pontos singulares distintos:
1. Pontos singulares isolados. O ponto z = z0 denominado ponto singular isolado de f (z) se for
possvel encontrar-se uma quantidade > 0 tal que o crculo |z z0 | = circunda apenas o ponto
singular z0 . Se no for possvel encontrar-se um > 0, o ponto z0 denominado ponto singular no
isolado.
2. Polos. O ponto singular z = z0 denominado polo de ordem n de f (z) se for possvel encontrar-se
um nmero inteiro positivo n tal que
n

lim (z z0 ) f (z) = A 6= 0.

(1.16)

zz0

Exemplos:
f (z) = 1/ (z 2) possui um polo simples ou de ordem 1 em z = 2.
2

f (z) = 1/ (z 2) possui um polo duplo ou de ordem 2 em z = 2.


3

f (z) = 1/ (z 2) possui um polo de ordem 3 em z = 2.


3. Ponto de ramificao. Uma funo possui um ponto de ramificao em z = z0 se, aps circular-se em
torno de z0 , retornando ao ponto de partida sobre o plano z, a funo no retorna ao seu valor inicial
sobre o plano w.
Os pontos de ramificao so singularidades das funes plurvocas. Por exemplo, a
funo f (z) = z possui um ponto de ramificao em z = 0.
4. Singularidades removveis. O ponto singular z = z0 denominado uma singularidade removvel se
limzz0 f (z) existe. Por exemplo, a funo f (z) = sen z/z possui um ponto singular em z = 0, mas
limz0 sen z/z = 1. Neste caso, pode-se redefinir a funo f (z) para esta esteja definida em z0 .
5. Singularidades essenciais. Uma funo possui uma singularidade essencial em z0 se esta no possui
n
polos, em qualquer ordem, que sejam eliminados pela multiplicao por (z z0 ) , para qualquer valor
1/(z2)
finito de n. Por exemplo, a funo f (z) = e
possui uma singularidade essencial em z = 2.
6. Singularidades no infinito. Uma funo f (z) possui uma singularidade em z se esta for do
mesmo tipo que a singularidade de f (1/w), para w 0. Por exemplo, f (z) = z 2 possui um polo de
ordem 2 no infinito, uma vez que f (1/w) = 1/w2 possui um polo duplo em w = 0.

1.5

Integrao no plano complexo

Integrao complexa uma ferramenta muito importante na fsica-matemtica. Por exemplo, com
frequncia surgem integrais de funes reais que no podem ser calculadas pelos mtodos usuais de integrao, mas que podem ser resolvidas estendendo-se a definio do integrando para o conjunto dos nmeros
complexos e realizando-se a integrao neste plano. Na anlise matemtica, o mtodo de integrao complexa possibilita demonstraes de algumas propriedades bsicas de funes analticas, as quais seriam muito
difceis de ser realizadas sem o recurso da integrao complexa.
O resultado mais importante na teoria da integrao complexa o teorema integral de Cauchy, a partir
do qual as frmulas integrais de Cauchy so derivadas. A outra propriedade de fundamental importncia
para a fsica-matemtica o teorema dos resduos, que possibilita o clculo de integrais que no poderiam
ser realizadas de outra maneira. Estes resultados sero abordados nas sees posteriores. Nesta seo,
ser introduzido o conceito de integral de caminho sobre o plano complexo e apresentadas as propriedades
matemticas fundamentais das integrais complexas.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.5. Integrao no plano complexo

22

Figura 1.10: Caminho C ao longo do qual a integrao complexa realizada.

1.5.1

Integrais de caminho no plano complexo

Uma integral de caminho, tambm denominada integral de linha, possui uma relao com a derivada
no plano complexoexatamente igual que existe para funes reais. Se a funo F (z) dada pela integral
indefinida F (z) = f (z) dz, ento a derivada de F (z) dada por F 0 (z) = f (z). Em outras palavras uma
integral indefinida no plano complexo a operao inversa da derivao no mesmo plano.
Por outro lado, o plano complexo definido a partir de duas variveis independentes reais. Neste
caso, poder-se-ia pensar que uma integral (definida) no plano complexo seria equivalente a uma integral de
superfcie de uma funo real de duas variveis. Contudo, na anlise das funes complexas, a funo f (z)
integrada ao longo de um caminho no plano complexo. Para tanto, pode-se parametrizar o caminho ao
longo do plano z fazendo-se uso de um parmetro real t:
z(t) = x(t) + iy(t) para a

6 t 6 b,

o qual define um caminho sobre o plano complexo medida que t varia de a a b. Diz-se que este curva
suave se existe um vetor tangente mesma ao longo de todos os pontos; isto implica que dx/dt e dy/dt
existem so contnuas e no so nulas simultaneamente para a t b.
Sendo C uma curva suave sobre o plano z complexo, como mostra a figura 1.10, assume-se que a mesma
possui um comprimento finito. Dada agora a funo f (z), contnua sobre todos os pontos ao longo de C,
subdivide-se C em n partes por meio dos pontos {z0 , z1 , z2 , . . . , zn }, arbitrariamente escolhidos, mas com
z0 = a e zn = b. Para cada arco de C que conecta os pontos zk1 e zk (k = 1, 2, . . . , n), escolhe-se um ponto
wk (zk1 wk zk ) e forma-se a soma

6 6

6 6

Sn =

n
X

f (wk ) zk , onde zk = zk zk1 .

k=1

Fazendo-se agora com que o nmero de subdivises n aumente indefinidamente, de tal forma que o maior
dos |zk | tenda a zero, a soma Sn aproxima-se de um limite. Se este limite existe e possui o mesmo valor,
independente das escolhas dos {zk } e dos {wk } ao longo de C, ento este limite denominado a integral
de caminho (ou de linha) de f (z) ao longo de C e denotado por:
S = lim Sn =
n

lim
n

n
X

f (wk ) zk
C

|z|max 0 k=1

f (z) dz =

f (z) dz.

(1.17)

Quando o caminho fechado, isto , quando b = a (ou zn = z0 ), a integral de linha denominada


integral de contorno de f (z), a qual denotada por

S=

f (z) dz.
C

Teorema 1.8.
(Teorema de existncia). Se o caminho C suave por partes e f (z) contnua ao longo
de C, ento C f (z) dz sempre existe.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

1.5.2

23

Propriedades matemticas das integrais de linha

A integral de linha de f (z) = u (x, y) + iv (x, y) ao longo de um caminho C pode sempre ser expressa
em termos de integrais reais de caminho como

f (z) dz =
(u + iv) (dx + idy) =
(u dx v dy) + i
(v dx + u dy) ,
C

onde a curva C pode ser aberta ou fechada, mas o sentido de integrao deve sempre ser especificado, por
exemplo atravs do uso de um parmetro t. Invertendo-se o sentido de variao de t, inverte-se o sinal da
integral.
Integrais complexas so, portanto, redutveis a integrais reais de caminho e possuem as seguintes propriedades:

(1)
[f (z) + g(z)] dz =
f (z) dz +
g(z) dz.
C

kf (z) dz = k

(2)
C

f (z) dz =

(3)
a

f (z) dz, sendo {a, b} C.

f (z) dz, sendo m C.

f (z) dz +






(5) f (z) dz
C





(6) f (z) dz

f (z) dz, sendo k C uma constante.

f (z) dz =

(4)

6 M L, onde M = max |f (z)| ao longo de C e L o comprimento de C.


6

|f (z)| |dz|.
C

A propriedade (5), em particular, bastante til e ser bastante utilizada, porque ao se trabalhar com
integrais de linha complexas, com frequncia necessrio estabelecer-se limites nos seus valores absolutos.
Demonstrao. (Propriedade 5). Retornando definio (1.17),

f (z) dz =
C

f (wk ) zk .

|z|max 0 k=1

Mas,
n

X



f (wk ) zk



k=1

n
X

lim
n

6 X |f (w )| |z | 6 M X |z | 6 M L,
n

k=1

k=1

P
onde se fez uso do fato de que |f (z)| M para todos os pontos z ao longo de C e que
|zk | representa a
soma de todas as cordas juntando os pontos zk1 e zk ao longo de C e que esta soma no pode ser maior que
o comprimento L de C. Tomando-se agora o limite para n em ambos os lados, resulta a propriedade
(5). A propriedade (6) tambm segue desta demonstrao.

2
Exemplo 1.8. Calcule a integral C (z) dz, sendo C a linha reta ligando os pontos z = 0 e z = 1 + 2i.
Soluo. Uma vez que
2

(z) = (x iy) = x2 y 2 2ixy,


resulta

(z) dz =
C

x y


 
2xy dx + x2 y 2 dy .

dx + 2xy dy + i

Para parametrizar a curva C, pode-se escolher x(t) e y(t) dados por


x(t) = t,

y(t) = 2t,

para (0

ou, simplesmente, pode-se escrever y = 2x. Portanto,

2
(z) dz =
5x2 dx + i
C

Autor: Rudi Gaelzer IFM/UFPel

6 t 6 1) ,


5 10
10x2 dx = i.
3
3

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.5. Integrao no plano complexo

24

(a) Curva simples.

(b) Curva no
simples.

(c) Curva simples


fechada.

Figura 1.11: Exemplos de curvas simples ou no simples.

Exemplo 1.9. Calcule a integral de caminho

dz

n+1 ,

(z z0 )

sendo C uma circunferncia de raio r centrada em z0 e n um nmero inteiro. Uma ilustrao deste contorno
pode ser vista na figura 1.8 esquerda.

Soluo. Por convenincia, escolhe-se z z0 = rei , onde o parmetro cuja variao (0 < 2)
determina o contorno C. Ento, dz = irei d e a integral fica:
(

2
2
2
2i, n = 0
irei d
i
i
dz
in
e
d = n
(cos n i sen n) d =
= n
n+1 =
n+1 ei(n+1)
r
r
r
0,
n 1.
(z z0 )
0
0
0

>

Este um resultado importante, que ser utilizado diversas vezes nas sees posteriores.

1.5.3

Tipos de curvas e domnios no plano complexo

Nesta seo sero brevemente definidos os tipos de curvas e domnios no plano complexo que sero
considerados nas sees posteriores.
1.5.3.1

Tipos de curvas no plano complexo

6 6

Uma curva C dita simples (tambm denominada arco de Jordan) se esta no se intersecciona em
nenhum ponto, isto , z (t1 ) 6= z (t2 ) se t1 6= t2 , para a t b. A exceo z(b) = z(a) permitida para um
contorno fechado, em cuja situao o contorno dito contorno simples ou curva simples fechada ou
ainda curva ou contorno de Jordan. A figura 1.11 mostra exemplos de curvas simples e de curvas no
simples.
1.5.3.2

Domnios simplesmente ou multiplamente conexos

Um domnio ou regio simplesmente conexa D uma regio no plano complexo tal que toda curva
simples fechada dentro de D cerca somente pontos que pertencem a D. Uma outra definio: uma regio
D dita simplesmente conexa se qualquer curva simples fechada contida dentro de D pode ser reduzida
a um ponto sem abandonar D.
Uma regio que no simplesmente conexa dita multiplamente conexa. De acordo com as definies,
deve ento existir pelo menos uma curva simples fechada contida em D que cerca pontos que no pertencem
a D. Ou, alternativamente, uma regio multiplamente conexa aquela que no pode ser reduzida a um
ponto sem que abandone (mesmo que momentaneamente) a regio D. A figura 1.12 apresenta exemplos de
regies simplesmente e multiplamente conexas.
1.5.3.3

Conveno para o percurso de um contorno fechado

Considera-se uma regio D do plano complexo, composta por pontos no interior e ao longo de um
contorno simples fechado . O contorno percorrido no sentido positivo se todos os pontos de D se
situarem esquerda de um observador que se desloca ao longo de . Este sentido positivo consiste no
percurso anti-horrio indicado pelas setas nos contornos representados nas figuras 1.12.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

1.6

25

O teorema de Cauchy-Goursat

O teorema de Cauchy-Goursat um dos mais importantes resultados da anlise matemtica das funes
complexas. Este teorema possui diversas consequncias tericas e prticas a respeito das propriedades
analticas das funes de varivel complexa e serve de base para outros teoremas importantes como o
teorema dos resduos.
Para se realizar uma das demonstraes existentes do teorema de Cauchy, faz-se uso do teorema de
Green, vlido para integrais de linha e de superfcie de funes de duas variveis reais.

1.6.1

O teorema de Green no plano

Teorema 1.9. Sejam P (x, y) e Q (x, y) duas funes reais tais que suas derivadas so contnuas sobre toda
uma regio R, delimitada por um contorno fechado simples C. Neste caso, as funes P e Q satisfazem a
seguinte identidade,



Q P

dxdy.
(1.18)
[P (x, y) dx + Q (x, y) dy] =
x
y
R
R
Observao. A demonstrao do teorema (1.18) baseia-se no teorema de Stokes e no ser apresentada aqui.

1.6.2

O teorema de Cauchy-Goursat

Sero apresentadas aqui duas verses do mencionado teorema, a primeira para um domnio simplesmente
conexo e a segunda para uma regio multiplamente conexa. A demonstrao apresentada para a primeira
verso foi obtida originalmente por Cauchy no incio do sculo XIX e supe que as derivadas da funo
f (z) so contnuas sobre o domnio D. Posteriormente, Goursat mostrou que a condio de continuidade
de f 0 (z) no necessria para a validade do teorema. Por esta razo, o teorema leva o nome de ambos os
matemticos franceses.
Teorema 1.10. (Teorema de Cauchy-Goursat). Se uma funo f (z) = u (x, y) + iv (x, y) analtica
em todos os pontos de um domnio simplesmente conexo D, ento para todo contorno simples fechado C no
interior de D,

f (z) dz = 0.

(1.19)

Demonstrao. Escreve-se o lado direito de (1.19) da seguinte maneira:

f (z) dz =
(u + iv) (dx + idy) =
(u dx v dy) + i
(v dx + u dy) .
C

Aplicando-se o teorema de Green (1.18) a cada integral de contorno acima, obtm-se







v
u
u v
f (z) dz =
+
dxdy + i

dxdy.
x y
x y
C
D
D
Como a funo f (z) suposta analtica, ento as funes u (x, y) e v (x, y) satisfazem as condies de
Cauchy-Riemann (1.13). Portanto,





v
u u
v

dxdy + i

dxdy = 0,
f (z) dz =
x x
x x
D
C
D

Figura 1.12: Exemplos de regies: (a) simplesmente conexa e (b) e (c) multiplamente conexas.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.6. O teorema de Cauchy-Goursat

26

Figura 1.13: Contorno B que transforma uma regio multiplamente conexa em uma regio simplesmente conexa.

o que demonstra o teorema.


Quando o domnio D multiplamente conexo, a seguinte verso do teorema de Cauchy-Goursat se aplica.
Teorema 1.11. (Teorema de Cauchy-Goursat em regies multiplamente conexas). Seja C um
contorno simples fechado e seja {Cj } (j = 1, . . . , n) um conjunto finito de contornos fechados simples interiores a C, tais que no existam duas regies Rj e Rj 0 , interiores a Cj e Cj 0 , que compartilhem pontos no
plano complexo em comum entre si. Seja R a regio do plano complexo que consiste em todos os pontos no
interior e ao longo de C, exceto por aqueles pontos no interior de cada contorno Cj . Finalmente, seja B
o contorno completo que delimita R e que consiste no contorno C mais os contornos Cj , sendo todos estes
contornos percorridos no sentido que mantm os pontos de R direita de B. Se a funo f (z) analtica
em R, ento

f (z) dz = 0.

(1.20)

Demonstrao. A situao descrita no teorema est ilustrada pela figura 1.13a. O contorno mostrado na
figura composto por C, juntamente com os contornos C1 , . . . , Cn e os segmentos de reta L11 , L21 , . . . , Ln1
e Ln2 . Desta maneira a regio R passa de multiplamente conexa a simplesmente conexa. Aproximando-se
agora os pares de segmentos de reta L11 e L12 , L21 e L22 , . . . , Ln1 e Ln2 , de tal forma que a distncia entre os
mesmos se torne infinitesimalmente pequena, as integrais de caminho de f (z) em cada par de segmentos se
anulam mutuamente, isto ,

f (z) dz =
f (z) dz,
f (z) dz =
f (z) dz,

f (z) dz =
f (z) dz,
L11

L12

L21

Ln
1

L22

Ln
2

de tal forma que o contorno restante exatamente o contorno B descrito no teorema. Como a regio R
agora simplesmente conexa e a funo f (z) analtica em R, de (1.19) resulta

f (z) dz = 0.
B

O teorema de Cauchy-Goursat (1.19) possui consequncias importantes, algumas das quais sero apresentadas nesta e nas sees posteriores.
Teorema 1.12. (Deformao do contorno de integrao). Seja f (z) uma funo analtica sobre
uma regio R delimitada pelo contorno simples fechado C e pelo conjunto de contornos {Cj } (j = 1, . . . , n),
interiores a C e que envolvem n buracos que podem conter singularidades isoladas ou no isoladas. Ento,

f (z) dz =
C

n
X
j=1

f (z) dz,

(1.21)

Cj

sendo que tanto a integral ao longo de C quanto as integrais nos contornos Cj so realizadas no sentido
anti-horrio.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

27

Demonstrao. Esta situao tambm est ilustrada na figura 1.13. Ao se considerar o contorno B na figura
1.13a, o teorema de Cauchy (1.20) afirma que

n
X
f (z) dz = 0,
f (z) dz = +
+
+
B

onde

f (z) dz =

Lj2

Lj1

Cj

j=1

f (z) dz =

f (z) dz =

Lj2

Lj2

Lj1

Lj2

Lj1

f (z) dz.
Lj2

Ao se reduzir a distncia de cada par de segmentos de reta Lj1 e Lj2 assintoticamente a zero, as integrais de
linha percorrem o mesmo caminho sobre o plano complexo, resultando ento que

!
Lj Lj

1
f (z) dz 2
0.

Lj1

Lj2

Neste caso, os caminhos C, C1 , . . . , Cn se tornam contornos fechados simples, resultando que

f (z) dz +
C

n
X
j=1

f (z) dz = 0.

Cj

Como os contornos Cj so percorridos no sentido horrio, de acordo com a figura (1.13)a, resulta que

=
,
Cj

Cj

onde na segunda integral o contorno agora percorrido no sentido anti-horrio, e a situao se torna
semelhante ilustrada pela figura (1.13)b. Portanto,

f (z) dz
C

n
X
j=1

f (z) dz = 0,

Cj

de onde resulta o teorema.


Nas situaes em que a identidade (1.21) vlida, comum afirmar-se que o contorno C foi deformado
nos contornos C1 , C2 , . . . , Cn .
Teorema 1.13.
(Teorema de Morera). Se uma funo f (z) contnua em uma regio simplesmente

conexa R e C f (z) dz = 0 para todo contorno simples fechado C no interior de R, ento f (z) analtica
em R.
Observao. O teorema de Morera a recproca do teorema de Cauchy.
Teorema 1.14. (Independncia do caminho). Se a funo f (z) analtica em uma regio simplesmente
conexa R, ento dados dois pontos z0 e z quaisquer, contidos em R, a integral
z
f (z) dz
z0

independe do caminho ligando os pontos z0 e z, desde que este caminho esteja totalmente contido em R.
Demonstrao. A situao est ilustrada na figura 1.14. Sendo C1 e C2 dois caminhos quaisquer, contidos
em R e que ligam os pontos z0 e z, ento, de acordo com o teorema de Cauchy (1.19),

f (z) dz +
f (z) dz = 0, mas
f (z) dz =
f (z) dz.
C1

Portanto

C1

c2

f (z) dz =

C1

C1

f (z) dz,
c2

o que demonstra o teorema.


Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.6. O teorema de Cauchy-Goursat

28

Figura 1.14: Independncia nos caminhos C1 e C2 .

Teorema 1.15. (Teorema de analiticidade). Seja f (z) uma funo contnua em uma regio simplesmente conexa R e sejam z0 e z dois pontos contidos em R, ento
z
F (z) =
f (s) ds analtica em R e F 0 (z) = f (z).
z0

Demonstrao. Sendo z+z qualquer ponto contido em R e distinto de z, mas que esteja em uma vizinhana
de z. Ento

z+z

F (z + z) F (z) =

f (s) ds
z0

f (s) ds.
z0

Pela propriedade (4) da seo 1.5.2, resulta que

F (z + z) F (z) =

z+z

f (s) ds.
z

Dividindo ambos os lados por z, pode-se escrever


1
F (z + z) F (z)
f (z) =
z
z

z+z

1
f (s) ds f (z) =
z

z+z

[f (s) f (z)] ds.


z

Como a funo f (z) contnua em R, ento para cada um nmero positivo , deve existir um outro nmero
positivo tal que
|f (s) f (z)| < 
sempre que |s z| < . Desta forma, se z + z prximo o suficiente de z de tal forma que |z| < , ento


z+z



[f (s) f (z)] ds <  |z|

z

e, portanto,


F (z + z) F (z)

1

f (z) <
 |z| = .

z
|z|
No limite em que z 0,  0, resultando que
F (z + z) F (z)
= F 0 (z) = f (z).
z0
z
lim

Portanto, a derivada de F (z) existe em todos os pontos z pertencentes a R. Como consequncia, F (z)
analtica em R e sua derivada igual a f (z), demonstrando o teorema.
Exemplo 1.10. Clculo de integrais no plano complexo.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

29

Calcule C dz/ (z a), onde C um contorno


fechado simples qualquer, quando z = a est (a)
fora de C e (b) dentro de C.
Soluo.
(a) Se z = a est fora de C, ento f (z) =
1/ (z a) analtica em todos os pontos internos
e ao longo de C. Portanto, pelo teorema de Cauchy
(1.20),

dz
= 0.
z
a
C
(b) Se z = a est dentro de C e uma circunferncia de raio centrada em z = a, de tal forma
que est totalmente contido em C (figura 1.15), Figura 1.15: Exemplo de clculo de integrais sobre o
plano complexo.
ento pelo teorema (1.21),

dz
dz
=
.
za
C za
Agora, o contorno dado por todos os pontos z tais |z a| = . Pode-se descrever o contorno na figura
1.15 atravs do parmetro tal que
z a = ei , quando 0
Ento dz = iei d e

1.7

dz
=
za

iei d
=i
ei

6 6 2.

d = 2i.
0

Frmulas integrais de Cauchy

Uma das consequncias mais importantes do teorema integral de Cauchy so as frmulas integrais que
tambm levam o seu nome. Pode-se introduzir estas frmulas atravs do seguinte teorema.
Teorema 1.16. (Frmula integral de Cauchy). Seja f (z) uma funo analtica em uma regio simplesmente conexa R e z0 um ponto qualquer no interior de R, a qual delimitada pelo contorno simples
C, ento

1
f (z)
f (z0 ) =
dz,
(1.22)
2i C z z0
sendo a integrao em (1.22) realizada ao longo de C no sentido positivo (anti-horrio).
Demonstrao. Para provar o teorema (1.22), toma-se uma circunferncia , centrada em z0 e com raio r,
como ilustrado na figura 1.16. Ento, de acordo com o teorema (1.21),

f (z)
f (z)
dz =
dz.
z

z
z
z0
0
C

Agora, a circunferncia descrita por |z z0 | = r, ou seja, usando o parmetro , z z0 = rei , sendo


(0 2) e dz = irei d. Ento

2

2

f z0 + rei
f (z)
i
dz =
ire
d
=
i
f z0 + rei d.
i
re
z z0
0
0

6 6

Tomando-se agora o limite r 0 em ambos os lados e fazendo uso da continuidade de f (z), resulta

f (z)
dz = lim i
r0
z z0

2
i

f z0 + re

lim f z0 + re

d = i
0

Ou seja,
f (z0 ) =

Autor: Rudi Gaelzer IFM/UFPel

1
2i

r0

d = i

f (z0 ) d = 2if (z0 ) .


0

f (z)
dz.
z z0

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.7. Frmulas integrais de Cauchy

30

Figura 1.16: Frmula integral de Cauchy.

Uma forma conveniente para a frmula integral (1.22) escrev-la como

1
f (z 0 ) 0
f (z) =
dz ,
2i C z 0 z

(1.23)

para enfatizar o fato que z pode ser um ponto qualquer em C.




Exemplo 1.11. Calcule a integral C ez dz/ z 2 + 1 , sendo C a circunferncia de raio unitrio e com centro
em: (a) z = i e (b) z = i.
Soluo.
(a) Escrevendo-se a integral na forma


C

ez
z+i

dz
,
zi

percebe-se que f (z) = e / (z + i) analtica dentro e sobre a circunferncia de raio unitrio centrada em
z0 = i. Portanto, pela frmula integral de Cauchy (1.22), temos
 z 
e
dz
ei
= 2if (i) = 2i = ei = (cos 1 + i sen 1) .
z+i zi
2i
C
(b) Para a circunferncia centrada em z0 = i, define-se f (z) = ez / (z i), a qual novamente analtica
dentro e sobre C. Ento, usando novamente (1.22) resulta
 z 
e
dz
ei
= 2if (i) = 2i
= ei = (cos 1 i sen 1) .
z

i
z
+
i
2i
C
A frmula integral de Cauchy pode ser generalizada para derivadas de ordem mais alta de f (z). Isto
descrito pelo teorema a seguir.
Teorema 1.17. (Frmulas integrais de Cauchy para derivadas de ordem mais alta). Seja f (z)
uma funo analtica em uma regio simplesmente conexa R e z0 um ponto qualquer no interior de R, a
qual delimitada pelo contorno simples C, ento

n!
f (z)dz
f (n) (z0 ) =
(1.24)
2i C (z z0 )n+1
e as derivadas de f (z) em z0 existem em todas as ordens.
Demonstrao. Uma prova simples, porm incompleta, do teorema (1.24) pode ser feita por intermdio da
induo matemtica. Derivando-se ambos os lados de (1.23) em relao a z, obtm-se

1!
f (s)
f 0 (z) =
ds.
2i C (s z)2
Derivando-se novamente,
f 00 (z) =

2!
2i

f (s)
(s z)

3 ds.

E assim sucessivamente, resultando, para a derivada de ordem n, na frmula (1.24). A demonstrao


completa desta frmula integral pode ser obtida na bibliografia citada.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

31

A frmula (1.24), obtida para uma regio simplesmente conexa, pode ser estendida para o caso onde o
contorno simples C substitudo pelo contorno B da figura 1.13, composto por um contorno exterior C e
por um conjunto {Ci } de contornos interiores. Para tanto, basta assumir que em (1.24) o ponto z0 pertence
ao domnio definido por B e que f (z) analtica neste domnio. Desta forma, a frmula integral de Cauchy
pode ser estendida a regies multiplamente conexas.
Exemplo 1.12. Calcule

e2z
(z + 1)

4 dz,

sendo C um contorno simples que no passa por z = 1. Considere 2 casos: (a) C no envolve z = 1 e
(b) C envolve z = 1.
Soluo.
4
(a) Neste caso, a funo f (z) = e2z / (z + 1) analtica dentro e sobre C. Portanto, pelo teorema de
Cauchy,

e2z
4 dz = 0.
C (z + 1)
(b) Chamando agora f (z) = e2z , esta funo analtica dentro e sobre C. Portanto, de acordo com o
teorema (1.24),

e2z dz
2i (3)
8 2
e2z dz
(3)
2
=
f
(1)
.
Como
f
(1)
=
8e
,
resulta
=
e i.
4
4
3!
3
C (z + 1)
C (z + 1)

1.8

Representao em sries de funes analticas

Ser apresentado agora um ponto muito importante: a representao em sries de funes analticas.
Inicialmente ser discutida a noo de convergncia de uma srie complexa. Grande parte das definies e
teoremas vlidos para sries de termos reais podem ser aplicadas s sries complexas com uma pequena ou
nenhuma modificao.

1.8.1

Sries complexas

Nesta seo, sero consideradas sries complexas em geral, cujos termos so funes complexas,
f1 (z) + f2 (z) + f3 (z) + + fn (z) + .

(1.25)

A soma dos n primeiros termos desta srie,


Sn (z) = f1 (z) + f2 (z) + f3 (z) + + fn (z) =

n
X

fi (z) ,

i=1

denominada a n-sima soma parcial da srie (1.25). A soma dos termos restantes, aps o n-simo
termo, denominada de resto da srie.
1.8.1.1

Convergncia da srie

Associa-se agora srie (1.25) a sequncia de suas somas parciais S1 , S2 , . . . , Sn . Se esta sequncia
de somas parciais convergente, ento a srie converge; se a sequncia divergente, ento a srie tambm
diverge. De uma maneira mais formal, a srie (1.25) dita convergente soma S(z) em uma regio R do
plano complexo se para qualquer  > 0 existe um inteiro N , dependente de  e do valor de z sob considerao,
tal que
|Sn (z) S (z)| <  para todo n > N.
Neste caso, escreve-se
S (z) = lim Sn (z)
n

fn (z) .

(1.26)

n=1

A diferena Sn (z) S (z) o resto Rn (z). Assim, a definio de convergncia da srie (1.25) demanda
que
lim |Rn (z)| = 0.
n

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.8. Representao em sries de funes analticas

32

Teorema 1.18. (Teoremas de convergncia). Os seguintes teoremas de convergncia so vlidos:


1. Uma condio necessria, mas no suficiente, para que Sn (z) convirja no limite n
lim fn (z) = 0.

2. A multiplicao de cada termo de uma srie por uma constante no nula no afeta a convergncia,
assim como a remoo ou adio de um nmero finito de termos.
3. Uma condio necessria e suficiente para que a srie de termos complexos

fn (z) = f1 (z) + f2 (z) + f3 (z) + + fn (z) +

n=1

seja convergente que as sries das respectivas partes reais e imaginrias dos termos fn (z) sejam
convergentes. Alm disso, se

X
X
Re fn e
Im fn
n=1

n=1

convergem s respectivas funes R (z) e I (z), ento a srie complexa converge para S (z) = R (z) +
iI (z).
1.8.1.2

Convergncia absoluta

Se os valores absolutos dos termos em (1.25),

|fn (z)| = |f1 (z)| + |f2 (z)| + |f3 (z)| + + |fn (z)| + ,

n=1

formam uma srie convergente, ento a srie (1.25) dita absolutamente convergente.
Se a srie (1.25) converge, mas no absolutamente convergente, ento esta dita condicionalmente
convergente. A partir da definio de convergncia, pode-se demonstrar os teoremas a seguir.
Teorema 1.19. (Teoremas de convergncia absoluta). Os seguintes teoremas so vlidos.
1. Se

n=1

|fn (z)| converge, ento

n=1

fn (z) tambm converge (condio suficiente).

2. A soma, diferena ou o produto de sries absolutamente convergentes convergente.


1.8.1.3

Convergncia uniforme

Seja
Rn (z) = fn+1 (z) + fn+2 (z) + = S (z) Sn (z)
o resto da srie S (z), dada por (1.26), sobre uma regio R. A srie S (z) dita uniformemente
convergente em R se, dado um nmero real positivo , possvel encontrar um nmero inteiro positivo N ,
tal que para todo z R,
|Rn (z)| = |S (z) Sn (z)| < , para todo n > N.

1.8.2

Testes de convergncia

Os testes de convergncia determinam uma condio necessria e suficiente para a convergncia de uma
determinada srie. H vrios testes, dentre os quais os principais sero citados sem as demonstraes, as
quais podem ser obtidas na bibliografia recomendada.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa


1.8.2.1

33

Testes de convergncia absoluta

Para testar a convergncia absoluta de uma srie, os seguintes testes existem:


P
TesteP
da comparao. Se n=1 |gn (z)| converge absolutamente em R e |fn (z)|

n=1 |fn (z)| tambm converge absolutamente.

6 |g

(z)|, z R, ento

Teste da razo. Dentre todos os testes de convergncia, o P


mais til o teste da razo, o qual se aplica

a sries complexas, alm de sries reais. Dada a srie n=1 fn (z), esta converge absolutamente na
regio R se


fn+1 (z)
<1
(1.27)
0 < |r (z)| = lim
n
fn (z)
e diverge se |r (z)| > 1. Quando |r (z)| = 1, este teste no fornece informao a respeito da convergncia
da srie.
P
Teste da raiz. Dada a srie n=1 fn (z), esta converge absolutamente na regio R se
p



0 < |r (z)| = lim n |fn (z)| < 1
n

e diverge se |r (z)| > 1. Quando |r (z)| = 1, este teste no fornece informao a respeito da convergncia
da srie.
Exemplo 1.13. (Teste da razo). Mostre que a srie complexa
S (z) =

2n + ien

n=0

converge.
Soluo. Pode-se aplicar o teste da razo separadamente para as partes real e imaginria:
n1
n1
1
e
1
2


lim n = < 1 e lim n = < 1.
n
n
2
2
e
e
Portanto, a srie absolutamente convergente.
1.8.2.2

Teste de convergncia uniforme

O seguinte teste verifica a convergncia uniforme de uma srie.

Teste de Weierstrass.
Mn , sendo Mn independente de z em uma regio R e
PSe |fn (z)|
converge, ento n=1 fn (z) converge uniformemente em R.

1.8.3

n=1

Mn

Sries de potncias e sries de Taylor

Sries de potncias constituem-se em uma das mais importantes ferramentas da anlise matemtica
em geral e da teoria de funes complexas em particular. Isto porque sries de potncias com raios de
convergncia no nulos podem sempre representar funes analticas. Como exemplo, a srie
S1 (z) =

an z n

(1.28)

n=0

claramente define uma funo analtica, desde que a srie convirja.


Nesta seo, o interesse estar restrito s sries que apresentam convergncia absoluta. Neste caso, o
teste da razo (1.27) demanda que






an+1
an+1
an+1 z n+1
1




.

> lim
= lim
|z| < 1 =
lim
n
an z n n an
|z| n an
O resultado acima mostra que a srie ir convergir absolutamente para todos os pontos z cujos mdulos
satisfazem a condio |z| < R, sendo R o raio de convergncia da srie , definido por


an+1
1
.
= lim
(1.29)
R n an
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.8. Representao em sries de funes analticas

34

A srie (1.28) est centrada na origem do plano complexo; assim, o raio de convergncia R em (1.29)
define uma circunferncia centrada na origem. De forma similar, a srie
S2 (z) =

an (z z0 )

(1.30)

n=0

converge para todos os pontos z dentro da circunferncia de raio R centrada em z0 .


A srie de potncias mais importante na anlise matemtica a srie de Taylor. Na anlise complexa
possvel realizar-se uma expanso de Taylor para toda e qualquer funo analtica. Esta propriedade
devida ao homnimo teorema de Taylor (devido ao matemtico ingls Brook Taylor, 16851731), exposto a
seguir.
Teorema 1.20. (Teorema de Taylor). Seja f (z) uma funo analtica sobre a regio R, delimitada pela
circunferncia C centrada em a e de raio R0 . Se z um ponto interior a C, ento f (z) pode ser expandida
em uma srie de Taylor centrada em z = a,
f (z) = f (a) + f 0 (a) (z a) +

X
f (n) (a)
f (n) (a)
f 00 (a)
2
n
n
(z a) + +
(z a) + =
(z a) , (1.31)
2!
n!
n!
n=0

a qual converge para f (z) quando |z z0 | < R0 .


Demonstrao. Seja z qualquer ponto interior circunferncia C0 . Portanto, se |z a| = r, ento r < R0 .
Seja agora uma outra circunferncia C1 , centrada em a e de raio r1 , tal que r < r1 < r0 . Uma vez que z
est dentro de C1 e f (z) analtica no interior e sobre C1 , a frmula integral de Cauchy (1.23) vlida, a
qual escrita da seguinte maneira:



1
f (w) dw
f (w)
1
1
f (z) =
=
dw.
2i C1 w z
2i C1 (w a) 1 (z a) / (w a)
Nota-se que, na integral acima, como w est sempre ao longo de do contorno C1 e z um ponto interior a
C1 , ento


za


w a < 1, w.
Agora, a partir da frmula de progresso geomtrica
1 + q + q2 + + qn =
obtm-se

1 q n+1
1
q n+1
=

,
1q
1q 1q

1
q n+1
= 1 + q + q2 + + qn +
.
1q
1q

Definindo-se ento q = (z a) / (w a), e inserindo a progresso geomtrica resultante na frmula integral


acima, resulta
1
f (z) =
2i

C1

2
(z a)
f (w) dw
2 +
3
2i
C1 (w a)
C1 (w a)

n
n+1
(z a)
f (w) dw
f (w) dw
(z a)
+ +
+
.
n+1
n+1
2i
2i
(w z)
C1 (w a)
C1 (w a)

f (w) dw (z a)
+
(w a)
2i

f (w) dw

Contudo, nesta situao as frmulas integrais de Cauchy (1.24) garantem que

1
f (w)dw
f (n) (a)
;
=
n+1
2i C1 (w a)
n!
portanto, pode-se escrever a expresso para f (z) como
f (z) = f (a) + f 0 (a) (z a) +
sendo

f 00 (a)
f (n) (a)
2
n
(z a) + +
(z a) + Rn+1 (z) ,
2!
n!
n+1

(z a)
Rn+1 (z) =
2i
Autor: Rudi Gaelzer IFM/UFPel

C1

f (w) dw
(w a)

Incio: Abril de 2010

n+1

(w z)
Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

35

o resto da expanso para f (z) na forma de um polinmio de grau n. Porm, uma vez que |z a| = r e
|w a| = r1 em C1 , nota-se que
|w z| = |(w a) (z a)|

> |w a| |z a| = r

r > 0.

Em consequncia, se M > 0 o mdulo do maior valor de f (z) ao longo de C1 , pode-se estabelecer um


limite superior para |Rn+1 (z)|, dado por


 n

(z a)n+1
rn+1 M
f (w) dw
Mr
r


|Rn+1 (z)| =
=
.

n+1
n

2i
r1 r r1
(w z) r1 (r1 r)
C1 (w a)

Portanto, como r/r1 < 1, se n , o resto da srie resultante tender a zero,


lim Rn+1 (z) = 0,

e a srie converge para f (z), o que demonstra o teorema de Taylor.


No caso particular onde a = 0, a srie de Taylor (1.31) para f (z) denominada srie de Maclaurin
(Colin Maclaurin, 16981746, matemtico escocs).
Com as frmulas integrais de Cauchy (1.24) e a srie de Taylor (1.31), ficam estabelecidas duas propriedades fundamentais das funes analticas:
1. Elas possuem derivadas de todas as ordens.
2. Elas sempre podem ser representadas por uma srie de Taylor.
O mesmo no pode ser dito sobre as funes reais; existem funes reais que possuem derivadas de todas as
ordens, mas que no podem ser representadas por uma srie de Taylor.
As principais propriedades de sries de potncias podem ser resumidas nos seguintes teoremas.
Teorema 1.21. Teoremas sobre sries de potncias.
1. Uma srie de potncias converge uniformemente e absolutamente em qualquer regio interior ao seu
raio de convergncia.
2. Uma srie de potncias pode ser diferenciada termo a termo em qualquer ponto interno ao seu raio de
convergncia.
3. Uma srie de potncias pode ser integrada termo a termo ao longo de qualquer curva C, desde que C
esteja contida dentro do seu crculo de convergncia.
4. Uma srie de potncias representa uma funo analtica em cada ponto de seu crculo de convergncia.

Sries de Taylor de funes elementares


Sries de Taylor de funes analticas so similares s series de funes reais. Em geral, basta trocar a
varivel independente real pela varivel complexa z para que as sries reais sejam continuadas para o plano
complexo. A lista a seguir mostra as sries de Taylor de algumas funes elementares; no caso de funes
plurvocas, a srie apresentada representa o ramo principal.

X
1
n
=
(1) z n
1 + z n=0

X
zn
e =
n!
n=0
z

= 1 z + z2 ,
=1+z+

z2
+ ,
2!

|z| < 1

(1.32a)

|z| <

(1.32b)

sen z =

n
X
(1) z 2n+1
z3
z5
=z
+
,
(2n + 1)!
3!
5!
n=0

|z| <

(1.32c)

cos z =

n
X
(1) z 2n
(2n)!
n=0

senh z =
Autor: Rudi Gaelzer IFM/UFPel

z 2n+1
(2n + 1)!
n=0

=1

z2
z4
+
,
2!
4!

|z| <

(1.32d)

=z+

z3
z5
+
+ ,
3!
5!

|z| <

(1.32e)

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.8. Representao em sries de funes analticas

36

Figura 1.17: (a) Anel R1 6 |z z0 | 6 R2 que representa a regio de analiticidade da funo. (b) Contornos de
integrao interior (C1 ) e exterior (C2 ), utilizados para a derivao da srie de Laurent.

cosh z =

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

=1+

z2
z4
+
+ ,
2!
4!

n+1 n
X
(1)
z
z2
z3
ln (1 + z) =
=z
+
,
n
2
3
n=0

1.8.4

|z| <

(1.32f)

|z| < 1.

(1.32g)

Sries de Laurent

Em muitas aplicaes, comum deparar-se com funes que no so analticas sobre todo o plano
complexo.2 Tipicamente, estas funes no so analticas em um ou vrios pontos ou at em uma regio
do plano. Por consequncia, sries de Taylor no podem ser empregadas nas vizinhanas destes pontos.
Contudo, em muitos casos, uma representao em srie contendo potncias tanto positivas quanto negativas
pode ainda ser obtida, a qual vlida nesta vizinhana. Esta srie denominada srie de Laurent e
vlida para aquelas funes que so analiticas dentro e sobre um anel caracterizado pelos raios R1 e R2
(R1 < R2 ); isto , a funo analtica nos pontos
R1

6 |z z | 6 R ,
0

sendo z = a um dos pontos singulares da funo. Esta situao est representada na figura 1.17a. A srie
de Laurent foi obtida pela primeira vez pelo matemtico francs Pierre Alphonse Laurent (1813 1854).
Teorema 1.22. (Srie de Laurent). Seja f (z) uma funo analtica ao longo dos contornos circulares
concntricos C1 e C2 , de raios R1 e R2 (R1 < R2 ), respectivamente, bem como na regio anelar delimitada
por C1 e C2 . Ento em cada ponto z nesta regio, a funo f (z) pode ser representada pela srie
f (z) =

an (z z0 ) +

n=0

bn
n,
(z z0 )
n=1

(1.33a)

onde
an =
bn =

1
2i
1
2i

f (z) dz
n+1

(1.33b)

n+1 dz,

(1.33c)

C2

(z z0 )
f (z)

C1

(z z0 )

sendo cada contorno de integrao realizado no sentido anti-horrio.


2 Isto

, no so inteiras.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

37

Demonstrao. Realiza-se a integrao ao longo do contorno mostrado na figura 1.17b. Como f (z) analtica
ao longo e no interior do contorno e z um ponto que pertence a esta regio, a frmula integral de Cauchy
(1.22) pode ser utilizada, resultando em

f (w) dw
1
f (w) dw
1

.
f (z) =
2i C2 w z
2i C1 w z
Na primeira integral, escreve-se
j

1 X z z0
1
1
1
=
,
=
wz
w z0 1 (zz0 )
w z0 j=0 w z0
(wz0 )

sendo que a ltima identidade vlida porque |z z0 | < |w z0 | = R2 , para todo w ao longo de C2 . J na
segunda integral, escreve-se
j

1 X w z0
1
1
1
1
=

=
=
,
wz
z z0 (w z0 )
z z0 1 (wz0 )
z z0 j=0 z z0
(zz0 )
sendo que agora a ltima identidade vlida porque |w z0 | = R1 < |z z0 |. Ento, pode-se escrever f (z)
como
#
#
"
"

X
X
f (w) dw
f (w) dw
1
1
1
j
f (z) =
(z z0 ) +
j+1
j
j+1
2i C2 (w z0 )
2i C1 (w z0 )
(z z0 )
j=0
j=0
#
"
#
"

X
X
f (w) dw
1
f (w) dw
1
1
j
(z z0 ) +
,
=
j+1
j+1
j
2i C2 (w z0 )
2i C1 (w z0 )
(z z0 )
j=1
j=0
de onde resulta (1.33).
Em (1.33a,b), a srie com os coeficientes {an } denominada a parte analtica, ao passo que em (1.33a,c)
a srie com os coeficientes {bn } denominada a parte principal da srie de Laurent. Se a parte principal
for nula, a srie de Laurent se reduz srie de Taylor (1.31).
n+1
n+1
Uma vez que as funes f (z)/ (z z0 )
e f (z)/ (z z0 )
so analticas sobre toda a regio R na
figura 1.17b, qualquer contorno simples fechado C contido dentro deste anel pode ser usado como caminho
de integrao, desde que percorrido no sentido positivo, no lugar dos contornos circulares C1 e C2 . Assim,
a srie de Laurent (1.33) pode ser generalizada como

f (z) =

cn (z z0 ) ,

(R1 < |z z0 | < R2 ) ,

(1.34a)

(n = 0, 1, 2, . . . ) .

(1.34b)

sendo

1.8.5

1
cn =
2i

f (z) dz

n+1 ,

(z z0 )

Teoremas de existncia e unicidade

A seguir sero apresentados, sem demonstrao, dois teoremas de existncia e unicidade das sries de
Laurent. Demonstraes destes teoremas podem ser encontradas na bibliografia citada, em particular nos
livros de Churchill et alli [? ] e Ablowitz & Fokas [? ].

Teorema 1.23. (Teorema de existncia). A srie de Laurent (1.34a,b) de uma funo f (z), analtica
na regio anelar R1
|z z0 |
R2 , converge uniformemente para f (z) para 1
|z z0 |
2 , sendo
R1 < 1 e R2 > 2 .
Teorema 1.24. (Teorema de unicidade). Dada uma funo analtica f (z), se esta pode ser representada
pela srie uniformemente convergente
f (z) =
na regio anelar R1
por (1.34b).

6 |z z | 6 R , ento b
0

Autor: Rudi Gaelzer IFM/UFPel

bn (z z0 )

= cn , para n = 0, 1, 2, . . . , sendo o coeficiente cn dado

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.8. Representao em sries de funes analticas

38

1.8.6

Algumas tcnicas de construo de sries de Taylor e Laurent

Nos exemplos a seguir, sero ilustradas algumas das tcnicas mais comuns para a construo das sries de
Taylor e Laurent. Em muitas situaes, no ocorre a necessidade de se calcular explicitamente os coeficientes
{cn } da srie, pois o teorema de unicidade acima garante que qualquer srie que represente uma funo f (z)
, de fato, a nica srie de Laurent para a mesma. Usualmente, para se obter a srie de Laurent de uma
dada funo f (z), basta fazer uso de expanses de Taylor de funes conhecidas e realizar substituies de
forma apropriada.
Exemplo 1.14. Uso de sries geomtricas.
Seja
f (z) =
Sabendo-se que
1 + z + z2 + z3 + =

1
.
za

X
n=0

zn =

1
,
1z

(|z| < 1) ,

pode-se escrever, para |z| < |a|:


f (z) =

1
1
1 X  z n
1
,
=
=
za
a 1 z/a
a n=0 a

(|z| < |a|) .

Esta a srie de Taylor de f (z) em torno de z = 0. Seu raio de convergncia R = |a|, porque a uma
distncia R da origem existe o ponto z = a, onde f (z) no analtica. Este o nico ponto onde f (z) no
analtica.
Portanto, f (z) deve possuir uma srie de Laurent em torno de z = 0 vlida para |z| > |a|. Escrevendo-se
f (z) =

1
1
1
=
,
za
z 1 a/z

se |z| > |a|, |a/z| < 1 e possvel desenvolver:


 n
X
1
a
=
.
1 a/z n=0 z

Portanto,
f (z) =

1 X  a n X an
1
=
,
=
za
z n=0 z
z n+1
n=0

(|z| > |a|) .

Esta a srie de Laurent desejada.


A funo f (z) pode ser espandida por este mtodo em torno de qualquer ponto z = b:
f (z) =
Ento,
f (z) =

1
1
1
w=zb
=

,
za
(z b) (a b)
w (a b)

n
1 X wn
1 X (z b)
,
n =
a b n=0 (a b)
a b n=0 (a b)n

ou
f (z) =

n
X
(a b)

n+1 ,

n=0

(z b)

(b 6= a) .

(|z b| < |a b|)

(|z b| > |a b|) .

Exemplo 1.15. Decomposio em fraes racionais.


Seja
f (z) =

z2

1
.
(2 + i) z + 2i

Esta funo no analtica nos pontos z = i e z = 2; portanto, ela deve possuir uma srie de Taylor em
torno de z = 0, vlida para |z| < 1 e duas sries de Laurent em torno de z = 0, vlidas para 1 < |z| < 2 e
|z| > 2, respectivamente. Para se obter estas trs sries, usa-se a identidade:


1
1
1
1
1
f (z) = 2
=
=

.
z (2 + i) z + 2i
(z i) (z 2)
2i z2 zi
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

39

Para |z| < 1. Neste caso, pode-se usar diretamente a srie geomtrica:

1
1
1 X  z n
1
, (|z| < 2)
=
=
z2
2 1 z/2
2 n=0 2

X
1
1
n
=i
=i
(iz) , (|z| < 1) .
zi
1 + iz
n=0

Subtraindo as sries, pode-se colocar em evidncia fatores proporcionais mesma potncia de z,





X
X
1
1
1 X  z n
1
n
n n+1
i
(iz) =
+
(1)
i

=
zn,
n+1
z2 zi
2 n=0 2
2
n=0
n=0
de onde se obtm a srie de Taylor de f (z), vlida para |z| < 1.
Para 1 < |z| < 2. Neste caso, escreve-se:

1
1
1 X  z n
1
, (|z| < 2)
=
=
z2
2 1 z/2
2 n=0 2
 n
1
1
1
1X i
, (|z| > 1) .
=
=
z i z 1 i/z
z n=0 z

Subtraindo-se ambas as sries, obtm-se a srie de Laurent para 1 < |z| < 2.
Para |z| > 2. Neste caso, escreve-se:
 n
1
1X 2
1
1
=
=
, (|z| > 2)
z 2 z 1 2/z
z n=0 z
 n
1
1
1
1X i
=
=
, (|z| > 1) .
z i z 1 i/z
z n=0 z

Subtraindo-se ambas as sries, obtm-se a srie de Laurent para |z| > 2, a qual composta somente
pela parte principal.
Exemplo 1.16. Uso de sries de Taylor conhecidas.
Fazendo-se uso das sries de Taylor para as funes ez e sen z, expresses (1.32b) e (1.32c), respectivamente,
as seguintes sries de Laurent podem ser obtidas:


n
X
sen z 2
1
(1) z 4n2
1
z2
z6
z 10
=
+
=

+ , |z| > 0
z4
z 2 n=1 (2n + 1)!
z2
3!
5!
7!

ez
1
1 X z n2
=
+
+
z2 z2
z n=2 n!
e1/z =1 +

1
n!z n
n=1

1
1
1
z
z2
+
+
+
+
+ , |z| > 0
z2
z
2! 3!
4!

=1+

1
1
1
+
+
+ ,
2
z
2!z
3!z 3

|z| > 0.

Exemplo 1.17. Obteno da srie de Laurent por diferenciao.


Seja, por exemplo,
f (z) =

1
(z 1)

2.

Para esta funo, no se pode aplicar diretamente a expresso para a srie geomtrica. Contudo, sabendo-se
que para z 6= 0


1
d
1
=
,
2
dz 1 z
(z 1)
agora pode-se usar a srie geomtrica, resultando
f (z) =
Autor: Rudi Gaelzer IFM/UFPel

1
(z 1)

d
dz

1
1z


=

Incio: Abril de 2010

d X n
z .
dz n=0

Impresso: 16 de agosto de 2011

1.8. Representao em sries de funes analticas

40

Esta srie pode ser diferenciada termo a termo dentro de seu crculo de convergncia (|z| < 1), de onde se
obtm:

X
1
f (z) =
=
(n + 1) z n = 1 + 2z + 3z 2 + 4z 3 + .
2
(z 1)
n=0
Exemplo 1.18. Obteno da srie de Laurent por integrao.
Seja, por exemplo,
f (z) = ln (1 + z) = ln |1 + z| + i arg (1 + z) ,
onde se assume que o plano z fica restrido ao ramo principal da funo logartmica.
Sabendo-se que
z
1
dw
d
ln (1 + z) =
, ento ln (1 + z) =
,
dz
1+z
0 1+w
pode-se desenvolver

X
1
n
= 1 z + z2 z3 + z4 + =
(1) z n , (|z| < 1) ,
1+z
n=0

e integrar termo a termo:


z
z

n
X
X
dw
(1) z n+1
z2
z3
z4
n
ln (1 + z) =
wn dw =
=
(1)
=z
+

+ .
n+1
2
3
4
0 1+w
0
n=0
n=0

1.8.7

Sries de Laurent de funes elementares

Sem demonstrao, apresenta-se a seguir algumas sries de Laurent de funes elementares desenvolvidas
em torno de z0 = 0:
n1

z
z3
2z 5
(1)
22n B2n 2n1


z

3 45 945
(2n)!
z
z3
2z 5
22n B2n 2n1

+
+
z
+
3 45 945
(2n)!

n1
(1)
2 22n1 1 B2n 2n1
1 z
7z 3
31z 5
cosec z = + +
+
+ +
z
+
z
6 360 15120
(2n)!

2 22n1 1 B2n 2n1
1 z
7z 3
31z 5
cosech z = +

+
z
+
z
6 360 15120
(2n)!

1
cotan z =
z
1
cotanh z = +
z

(|z| < )

(1.35a)

(|z| < )

(1.35b)

(|z| < )

(1.35c)

(|z| < ) ,

(1.35d)

sendo {Bn } os nmeros de Bernoulli, dados por


n1

X
1
1
1
1
Bk
B0 = 1, B1 = , B2 = , B4 = , B6 =
, B2n1 = 0, Bn = n!
(n
2
6
30
42
k! (n + 1 k)!

> 2) .

k=0

1.8.8

Classificao de singularidades

Na seo 1.8.6 observou-se que sempre que a funo f (z) possui alguma singularidade em um dado
ponto z0 , a sua srie de Laurent possui uma parte principal no nula, a qual pode conter um nmero finito
ou infinito de termos. O nmero de termos contidos na parte principal serve como um critrio adicional,
alternativo aos critrios definidos na seo 1.4.7, de classificao do tipo de singularidade que f (z) possui
em z0 .
1.8.8.1

Polos

Se a srie de Laurent da funo f (z) possuir um nmero finito de termos na sua parte principal, ento
esta singularidade um polo, cuja ordem dada pela potncia mais alta na parte principal.
Exemplo 1.19. Polos.
A funo
f (z) =

e2z
(z 1)

e2
(z 1)

2e2
(z 1)

2e2
4
2
+ e2 + e2 (z 1) +
z1 3
3

(1.36)

possui um polo de ordem 3 em z = 1.


Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa


1.8.8.2

41

Singularidades essenciais

Se a srie de Laurent da funo f (z) possuir um nmero infinito de termos na sua parte principal, ento
a funo possui uma singularidade essencial.
Exemplo 1.20. Singularidades essenciais.
A funo
1
1
1
+
+
+
z
2!z 2
3!z 3

f (z) = e1/z = 1 +
possui uma singularidade essencial em z = 0.
1.8.8.3

Singularidaes removveis

Neste caso, a srie de Laurent de f (z) possui apenas parte analtica.


Exemplo 1.21. Singularidades removveis.
A funo
sen z
z2
z4
z6
=1
+

+
z
3!
5!
7!
possui uma singularidade removvel em z = 0.
f (z) =

1.9

Integrao no plano complexo pelo mtodo dos resduos

Nesta seo, o teorema de Cauchy ser estendido a casos onde o integrando no analtico; por exemplo,
se o integrando possui pontos singulares isolados. Cada singularidade isolada contribui com um termo ao
resultado da integral, sendo este termo proporcional ao resduo da singularidade. Esta propriedade, discutida
pelo teorema dos resduos, muito til para o clculo de integrais definidas, no somente no plano complexo,
mas tambm puramente reais. Em muitas situaes, o teorema dos resduos consiste no nico mtodo capaz
de resolver a integral. O mesmo teorema tambm til na soluo de certas equaes diferenciais ordinrias
ou parciais.

1.9.1

Resduos

Seja f (z) unvoca e analtica no interior e sobre um contorno fechado simples C, exceto em um ponto
z = z0 , o qual por hiptese interno a C. Se o ponto z0 uma singularidade isolada de f (z), ento existe,
de acordo com o teorema 1.22, um nmero real R1 > 0 tal que para 0 < |z z0 | < R1 a funo f (z) pode
ser desenvolvida em termos de uma srie de Laurent (1.34),
f (z) =

cn (z z0 ) +

n=0

onde
cn =

1
2i

Em particular, para n = 1 obtm-se que


c1

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

1
=
2i

(1.37)

f (z)dz

n+1 .

(z z0 )

f (z)dz.

(1.38)

O nmero complexo c1 , o qual o coeficiente de 1/ (z z0 ) na expanso (1.37), denominado o resduo


de f (z) no ponto singular isolado z0 .
Este resultado tambm pode ser obtido de uma maneira mais formal integrando-se (1.37) em ambos os
lados ao longo de C:

X
c2
c1
n
dz f (z) =
cn
dz (z z0 ) +
dz
+
dz
2 + .
z z0
(z z0 )
C
C
C
C
n=0
De acordo com o teorema de Cauchy (teorema (1.10)) ou com o exemplo (1.9),

dz
n+1 = 2in0 ,
C (z z0 )
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

42

resultando em

dz f (z) = 2ic1 ,
C

de onde resulta o resduo (1.38).


comum usar-se tambm a notao
1
2i

Res f (z0 )

f (z)dz = c1 .
C

A frmula (1.38) consiste em um mtodo poderoso para calcular certas integrais ao longo de contornos
simples fechados. Para tanto, basta conhecer o valor do coeficiente c1 da srie de Laurent associada
funo que est sendo integrada.
Exemplo 1.22. Calcule a integral

ez dz

sendo Cdefinido por |z| = 2.

2,

(z 1)

Soluo. O nico ponto singular do integrando z = 1, um polo simples interior circunferncia |z| = 2.
Desenvolvendo ez em uma srie de Taylor em torno do ponto z = 1, resulta a srie de Laurent
ez
2

(z 1)

e1
(z 1)

n
X
e1
(1)
n2
+ e1
(z 1)
, (|z 1| > 0) ,
z1
n!
n=2

cujo resduo em z = 1 c1 = e1 . Portanto,

Exemplo 1.23. Calcule a integral

ez dz

(z 1)


exp

1
z2

2i
.
e


dz

ao longo do mesmo contorno do exemplo anterior.


Soluo. O ponto singular do integrando agora z = 0, a qual uma singularidade essencial. Empregando
a srie de MacLaurin para ez , pode-se escrever

exp

1
z2


=

1
1
1
=1+ 2 +
+ , (|z| > 0) .
2n
4
n!z
z
2!z
n=0

Portanto, o resduo em z = 0 c1 = 0 e, assim,


 

1
exp
dz = 0.
z2
C
Observao. Se f (z) for uma funo analtica em z = z0 , o resduo Res f (z) = c1 , obviamente zero.
Contudo, se z0 for um ponto singular isolado, o resduo neste ponto pode ou no ser nulo.

1.9.2

Teorema dos resduos

Se uma funo f (z) possui um nmero finito de pontos singulares no interior de algum contorno simples
fechado C, a integral de f (z) ao longo deste contorno ser dada pela soma dos respectivos resduos da
funo. Este resultado garantido pelo teorema dos resduos de Cauchy, descrito a seguir.
Teorema 1.25. (Teorema dos resduos). Seja f (z) uma funo analtica no interior e ao longo de um
contorno simples fechado C, exceto em um nmero finito de pontos singulares isolados z1 , . . . , zn localizados no interior de C. Se bj = Res f (zj ) (j = 1, . . . , n) so os respectivos resduos de f (z) nestes pontos
singulares, ento

n
X
f (z)dz = 2i
bj = 2i (b1 + b2 + + bn ) .
(1.39)
C

Autor: Rudi Gaelzer IFM/UFPel

j=1

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

43

Figura 1.18: Contorno C utilizado na demonstrao do teorema dos resduos. Os pontos {zj } (j = 1, . . . , n) so
pontos singulares do integrando.

Demonstrao. Considera-se o contorno exterior C representado na figura 1.18. Deformando-se esteP


contorno
com os segmentos de reta e as circunferncias {Cj } ilustradas na figura, o contorno B = C + j (Cj )
passa a ser simplesmente conexo. Ento, de acordo com o teorema de deformao do contorno (teorema
1.12), resulta

n
X
f (z)dz.
f (z)dz =
C

j=1

Cj

Como f (z) possui uma expanso de Laurent (1.37) em torno de cada ponto singular zj , resulta a expresso
(1.39).

1.9.3

Clculo de resduos

Alguns mtodos bsicos de obteno dos resduos de uma funo f (z) sero agora discutidos.
1.9.3.1

Primeiro mtodo: direto da definio

Calcula-se o resduo de f (z) no ponto z0 direto da definio


(1.38),

1
Res f (z0 ) =
f (z)dz,
2i C
sendo C o contorno que envolve somente o ponto singular z0 .
Este mtodo pouco utilizado, mas pode ser til se f (z) tem
a primitiva (F 0 (z) = f (z)) conhecida e possui um ponto de
ramificao em z = z0 .
Exemplo 1.24. Calcule resduo de f (z) = 1/z em z = 0.
Soluo. Esta funo possui a primitiva conhecida, F (z) =
ln z, sendo que o ponto z = 0 um ponto de ramificao, com
a linha de ramificao ao longo do eixo real positivo. No ramo
principal, F (z) = ln r + i, onde z = rei . Para evitar a linha
de ramificao, o contorno C deve ser inicialmente disconexo
(aberto), sendo o mesmo fechado por um processo de limite,
conforme mostra a figura 1.19. Assim,
B
1
dz
1
1Figura 1.19: Contorno de integrao para o
Res f (z0 = 0) =
lim
=
lim (ln B ln A) = exemplo
lim i (2 ) = 1.
2i BA A z
2i BA
2i 0 1.24.
1.9.3.2

Segundo mtodo: polos de ordem m em z = z0

Se f (z) analtica no interior e ao longo de um contorno fechado simples C, exceto por um polo de
ordem m em z = z0 , ento
Res f (z0 ) =

Autor: Rudi Gaelzer IFM/UFPel

1
dm1
m
lim
[(z z0 ) f (z)] .
(m 1)! zz0 dz m1
Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

44

Demonstrao. Se f (z) possui um polo de ordem m em z = z0 , ento da definio de polo (1.16) e pela
m
propriedade das sries de Laurent (1.36), segue ser possvel escrever f (z) = g(z)/ (z z0 ) , sendo g(z) uma
funo analtica em R. Ento

1
1
g(z)
dz.
Res f (z0 ) =
f (z)dz =
2i C
2i C (z z0 )m
Pela frmula integral de Cauchy (1.24), resulta
Res f (z0 ) =

1
g (m1) (z0 )
(m 1)!
=

dm1
1
m
[(z z0 ) f (z)] .
lim
(m 1)! zz0 dz m1

Exemplo 1.25. Calcule os resduos de:


z
(a) f (z) =
2.
(z 1) (z + 1)
Soluo. Os polos so: z = 1 (polo simples) e z = 1 (polo duplo). Ento,
Res f (1) = lim (z 1)
z1

z
(z 1) (z + 1)

1
,
4

"

d
z
2
Res f (1) = lim
(z + 1)
2
z1 dz
(z 1) (z + 1)

1
= .
4

tan z
(b) f (z) = 2 .
z
Soluo. H somente um polo simples em z = 0, pois
lim z

z0

tan z
sen z
1
= lim
lim
= 1.
2
z0
z
z z0 cos z

Portanto, Res f (0) = 1.


(c) f (z) = cot z.
Soluo. Os polos so z = n, os quais so de primeira ordem. Ento,
Res f (n) = lim (z n) cot z = lim cos z lim
zn

1.9.3.3

zn

zn

z n
n
n
= (1) (1) = 1.
sen z

Terceiro mtodo: resduo de uma funo racional

Este mtodo se aplica quando a funo f (z) possui um polo simples em z0 e pode ser escrita na forma
racional
p(z)
f (z) =
,
q(z)
sendo p(z) e q(z) funes analticas, com q (z0 ) = 0 e p (z0 ) 6= 0. Neste caso,
Res f (z0 ) =

p (z0 )
, desde que q 0 (z0 ) 6= 0.
q 0 (z0 )

Demonstrao. Como z0 por hiptese um polo simples, pode-se escrever


2

(z z0 ) f (z) = (z z0 )

p (z0 ) + p0 (z0 ) (z z0 ) + p00 (z0 ) (z z0 ) /2! +


2

q (z0 ) +q 0 (z0 ) (z z0 ) + q 00 (z0 ) (z z0 ) /2! +


| {z }
=0

p (z0 ) + p0 (z0 ) (z z0 ) + p00 (z0 ) (z z0 ) /2! +


.
q 0 (z0 ) + q 00 (z0 ) (z z0 ) /2! +

Ento,
Res f (z0 ) = lim (z z0 ) f (z) =
zz0

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

p (z0 )
.
q 0 (z0 )

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

45

Exemplo 1.26. Calcule o resduo em z = 0 para


f (z) =

ez
.
sen z

Soluo. O resduo dado por:



ez
= 1.
Res f (0) =
cos z z=0
1.9.3.4

Quarto mtodo: pelo desevolvimento em srie de Laurent

Quando z = z0 uma singularidade essencial, este o nico mtodo disponvel. Deve-se ento primeiramente construir a srie de Laurent de f (z) a partir dos mtodos discutidos na seo 1.8.6, ou a partir de
outro mtodo. Ento, o resduo ser simplesmente fornecido pelo coeficiente c1 , de acordo com a definio
(1.38).
Exemplo 1.27. Calcule o resduo de:
(a) f (z) = e1/z em z = 0.
Soluo. De acordo com o exemplo 1.16,
e1/z = 1 +

1
1
1
+
+ , (c1 = 1) ,
+
z
2!z 2
3!z 3

ento Res f (0) = 1.


2
(b) f (z) = e1/z em z = 0.
Soluo. Aqui pode-se usar novamente o exemplo 1.16, resultando
2

e1/z = 1

1
1
1
+

+ , (c1 = 0) ,
2
4
z
2!z
3!z 6

ento Res f (0) = 0.

1.9.4

Clculo de integrais definidas ou imprprias

O teorema dos resduos pode ser usado para calcular uma grande variedade de integrais, tanto definidas
quanto imprprias, reais ou complexas. necessrio, contudo, escolher-se o contorno integrao C de uma
forma adequada. Alguns do procedimentos mais frequntes so ilustrados nas sees seguintes. As integrais
ilustradas podem aparecer em problema fsicos, especialmente na soluo de problemas de contorno em
equaes diferenciais parciais.
1.9.4.1

Integrais do tipo I: funes racionais

Aqui sero consideradas integrais do tipo

N (x)
dx,
D(x)

onde N (x) e D(x) so dois polinmios reais que satisfazem as seguintes condies:
1. D(x) 6= 0, x R, isto , D(x) no possui razes no eixo real. Isto implica que o grau do polinmio
necessariamente par.
2. O grau de D(x) maior que o grau de N (x) por um fator de 2, no mnimo.
A ltima hiptese necessria para garantir a convergncia da integral.
Considera-se ento a seguinte integral de contorno

N (z)
N (x)
N (z)
dz =
dx +
dz,
D(z)
D(x)
R
C
CR D(z)
onde R > 0. As funes N (z) e D(z) so as continuaes analticas dos polinmios reais para o plano
complexo, obtidas pela substituio (x z). A curva simples CR consiste em um semi-crculo de raio R
localizado ou no semi-plano complexo superior ou no inferior e que fecha o contorno C com a reta [R, R]
no eixo real, conforme ilustrado na figura 1.20. Desta forma, o contorno fechado C pode envolver parte
das ou todas as N razes de D(z) no semi-plano superior ({zj }, onde j = 1, . . . , N ) quando CR est nesta
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

46

Figura 1.20: (a) Contorno CR no semi-plano superior. (b) Contorno CR no semi-plano inferior.

regio (figura 1.20a) ou os seus complexos conjugados ({


zj } , j = 1, . . . , N ) quando CR est no semi-plano
inferior (figura 1.20b). Ao se fazer R , o contorno C engloba todas as N razes de D(z) em um dos
semi-planos.
Portanto, pelo teorema dos resduos (1.39),

N
X
N (x)
N (z)
N (z)
N (z)
,
lim
dz = lim
dx + lim
dz = 2i
Res
R C D(z)
R R D(x)
R C D(z)
D(z) z=zj
R
j=1
sendo {zj } as razes de D(z) englobadas por C. Portanto,


R

N
X
N (z)
N (x)
N (x)
N (z)
dx = lim
dx = 2i
Res

lim
dz.

R R D(x)
R C D(z)
D(z)
D(x)
z=zj
R
j=1
Mostra-se agora, por intermdio de um teorema,
que a integral ao longo de CR se anula quando R ,

bastando para isso que |N (z)/D(z)| 1/ z 2 quando |z| .
Teorema 1.26. Seja F (z) uma funo analtica ao longo do semi-crculo CR , de raio R, tal que |F (z)|
M/Rk , sendo z = Rei e onde k > 1 e M so constantes, ento

lim
F (z)dz = 0.
R

CR

Demonstrao. Pela propriedade (5) das integrais de linha (seo 1.5.2), sendo A = max (|F (z)|) ao longo
de CR e L a extenso de CR , ento




M
M


F
(z)dz
Rk R = Rk1 .

CR

Assim,

lim

CR



F (z)dz = lim
R

CR



F (z)dz = 0.

Corolrio. Seja F (z) uma funo racional,


F (z) =
com m

> n + 2, ento

N (z)
an z n + an1 z n1 + + a1 z + a0
=
,
D(z)
bm z m + bm1 z m1 + + b1 z + b0

lim

CR

N (z)
dz = 0.
D(z)

Demonstrao. De acordo com o teorema 1.26, ao longo de CR ,





N (z)
|an | Rn + |an1 | Rn1 + + |a0 |

dz

||bm | Rm |bm1 | Rm1 |b0 || R.
CR D(z)

Ento



lim
R

CR


N (z)
dz
D(z)

Autor: Rudi Gaelzer IFM/UFPel

|an | Rn+1
|an |
1
= lim
= 0.
R |bm | Rm
R |bm | Rmn+1
lim

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

47

Assim, de acordo com o teorema 1.26, resulta


N
X
N (x)
N (z)
.
dx = 2i
Res
D(x)
D(z) z=zj
j=1

(1.40)

Exemplo 1.28. Calcule a integral



dx
I=
, (sendo a > 0) .
2 + a2
x


Soluo. Como F (z) = 1/ z 2 + a2 satisfaz a condio estipulada no teorema 1.26, ento

dz
= 0.
lim
R C z 2 + a2
R
Por outro lado, as razes de D(z) so z = ia. Pode-se escolher
CR dentro do semi-plano superior ou inferior. Escolhendo-se Figura 1.21: Contorno de integrao para integrais do tipo I.
CR conforme a figura ao lado, temos de (1.40),



1

.
I = 2i Res
2
2
z + a z=ia
Pelo mtodo de clculo de resduos para funes que possuem polos no plano complexo, apresentado na
seo 1.9.3.2,
z ia
1

= 2i
= .
I = 2i lim 2
zia z + a2
2ia
a
Se o contorno escolhido fosse no semi-plano inferior o resultado seria o mesmo.
Exemplo 1.29. Calcule a integral

I=

x2
dx.
+1

x4

Soluo. A funo F (z) = z 2 / z 4 + 1 novamente satisfaz a condio estipulada no teorema 1.26. Agora
as 4 razes de D(z) so determinadas pela equao z 4 = 1 = ei , resultando em (ver eq. 1.9) z1 = ei/4 ,
z2 = ei3/4 , z3 = ei5/4 e z4 = ei7/4 . Traando novamente CR no semi-plano superior, somente ser
necessrio considerar as razes z1 e z2 . Ento,
"
#


z 2
z 2
I = 2i Res 4
+ Res 4
.
z + 1 z=z1
z + 1 z=z2
Pelo mtodo apresentado na seo 1.9.3.3, resulta

 i/4

 2

z22
e
ei3/4
ei/4 + ei/4

z1
+ 3 = 2i
+
=
= cos
= .
I = 2i
3
4z1
4z2
4
4
2
4
2
1.9.4.2

Integrais do tipo II: funes racionais de funes trigonomtricas

Agora sero consideradas integrais do tipo


2
F (sen , cos ) d,
0

onde F (sen , cos ) uma funo racional de sen e cos .


Realizando a substituio
z = ei , dz = iei d


e usando cos = ei + ei /2 = (z + 1/z) /2 e sen = ei ei /2i = (z 1/z) /2i, resulta

F (sen , cos ) d =
0

Autor: Rudi Gaelzer IFM/UFPel

C0

dz
F
iz

z 1/z z + 1/z
,
2i
2

Incio: Abril de 2010


,

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

48

sendo C0 a circunferncia de raio unitrio centrada na origem. Como F (x, y) uma funo racional, a
integral complexa acima pode ser obtida a partir do teorema dos resduos, os quais sero determinados
novamente pelas razes de um polinmio. Portanto, se o polinmio resultante no denominador possui N
razes dentro do crculo de raio unitrio, determinadas pelo conjunto {zj } (j = 1, . . . , N ),

F (sen , cos ) d = 2i
0

N
X
j=1

Exemplo 1.30. Calcule a integral

1
F
Res
iz

I=
0

z 1/z z + 1/z
,
2i
2




(1.41)

z=zj

cos 3
d.
5 4 cos

Soluo. Realizando a transformao z = ei , resulta


cos 3 =
e
I=

1
2

C0

z 3 + z 3
ei3 + ei3
=
2
2

dz
z6 + 1
1
=
2
2
iz z (5z 2z 2)
2i

dz
C0

z6 + 1
.
z 3 (2z 1) (z 2)

O integrando possui os seguintes polos:


z = 0: polo de ordem 3.
z = 1/2: polo de ordem 1.
z = 2: polo de ordem 1 (fora do crculo |z| = 1).
Os resduos so os seguintes:


d2
z6 + 1
21
1
=
Res F (0) = lim 2 z 3 3
2! z0 dz
z (2z 1) (z 2)
8
 



6
1
z +1
65
1
Res F
= lim
= .
z
2
2 z 3 (2z 1) (z 2)
24
z1/2
Portanto,
1
I = 2i
2i
1.9.4.3

21 65

8
24


=

.
12

Integrais do tipo III: integrais de Fourier

Tratam-se de integrais do tipo

F (x)eikx dx

I =

(k > 0) ,

onde F (x) uma funo racional que satisfaz as condies do teorema 1.26. As partes real e imaginria do
integrando determinam as integrais


Ic =
F (x) cos kxdx e Is =
F (x) sen kxdx.

Novamente, feita a hiptese de ausncia de singularidades de F (x) no eixo real. Quando necessrio
calcular integrais dos tipos Ic ou Is , inicialmente substitui-se a integral em questo por I+ (ou I , dependendo das singularidades de F (x)) e novamente calcula-se a integral ao longo do semi-crculo ilustrado na
figura 1.20a. Isto , calcula-se
"
#

F (z)eikz dz = lim
C

F (x)eikx dx +
R

F (z)eikz dz .
CR

As condies que F (z) deve satisfazer para que a integrao ao longo de CR se anule para R so dadas
pelo Lema de Jordan.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

49

Lema 1.1. (Lema de Jordan). Seja F (z) uma funo


analtica ao longo do semi-crculo CR , de raio R, tal que
|F (z)|
M/R , sendo z = Rei e onde > 0 e M so
constantes, ento

lim
F (z)eikz dz = 0.

CR

Demonstrao. Sendo z = Rei , ento




Figura 1.22: Demonstrao grfica da ineikz
F Rei exp ikRei iRei d.
F (z)e dz =
gualdade sen > 2/ em 0 6 6 /2.
CR

Pelas propriedades (5) e (6) da seo 1.5.2,








i
i
i


exp
ikRe
iRe
F
Re
d





F Rei exp ikRei iRei d,
0

mas

exp ikRei = eikR(cos +isen )
portanto,



F Re

exp ikRe



iRe d
i

6e

kRsen



F Rei ekRsen Rd
0

M
R1

ekRsen d.
0

Como sen ( ) = sen , pode-se alterar o intervalo de integrao para [0, /2]. Alm disso, como mostra
a figura 1.22, sen 2/ neste intervalo. Assim,


/2





2M
M
i
i
i


e2kR/ d =
1 ekR .
F Re exp ikRe iRe d

1

R
kR
0
0

>

Portanto,

F (z)eikz dz = 0.

lim

CR

Devido ao Lema de Jordan, o teorema dos resduos garante que



X


I+ = Ic + iIs =
F (x)eikx dx = 2i
Res F (zj ) eikzj ,

(1.42a)

sendo {zj } os pontos singulares de F (z) na regio delimitada pelo contorno C ilustrado na figura 1.26.
Caso os pontos singulares de F (z) sejam tais que necessrio considerar CR percorrendo o semi-crculo
no semi-plano inferior ilustrado na figura 1.20b, deve-se calcular ento I . As concluses so similares s
de I+ , salvo que os resduos so computados no semi-plano inferior e
X


I = Ic iIs = 2i
Res F (zj ) eikzj .
(1.42b)
j

Exemplo 1.31. Calcule a integral

I=
0

Soluo. Pode-se escrever


I=

1
Re
2

cos x
dx.
1 + x2

eix
dx.
1 + x2


Identifica-se F (z) = 1/ 1 + z 2 , a qual satisfaz as condies do Lema de Jordan, pois ao longo de CR ,
|F (z)| =
Autor: Rudi Gaelzer IFM/UFPel

1
|1 + z 2 |

6 R 1 1 R1 .
R

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

50

Os resduos de F (z) esto em z = i, sendo polos simples. Assim, de (1.42a),


 ix 
ix

e
e

= e .
dx = 2i Res
2
2
1
+
x
1
+
z

z=i
Portanto,
I=
1.9.4.4


e .
2

Integrais do tipo IV: integrando com polos no eixo real

Seja F (z) uma funo meromrfica, ou seja, uma funo que possui apenas polos em um domnio finito
no plano complexo. Supe-se que F (z) possua, no mnimo, um polo ao longo do eixo real. Supe-se tambm
que |F (z)| 0 para |z| . Deseja-se calcular agora integrais do tipo

f (x)
dx.
x
x0

Devido a presena do polo no eixo real, para que o teorema dos resduos permanea vlido, o contorno
de integrao no pode passar pelo rela referida singularidade; torna-se necessrio, portanto, que o contorno
seja deformado nas vizinhanas do polo real. A partir desta situao surge a definio da parte principal
de Cauchy da integral.
Parte principal de Cauchy
Seja F (z) = f (z)/ (z x0 ) uma funo meromrfica que possui, no mnimo, um polo simples no eixo
b
real em z = x0 . Ao se considerar a integral a F (x)dx, com a < x0 < b tais que z = x0 o nico polo de
F (z) neste intervalo, a convergncia desta integral depende da existncia do seguinte limite:
!
b
x0 
f (x)
f (x)
dx +
dx .
IP P = lim+
0
x x0
x0 + x x0
a
b
Diz-se que a F (x)dx convergente se e somente se IP P existe e finito, caso contrrio a integral divergente.
O limite IP P pode existir, em algumas situaes, mesmo se limxx0 f (x) . Isto ocorre, por exemplo,
se f (x) simtrica em uma vizinhana de x0 .
b
Caso IP P exista e finito, este define a parte principal de Cauchy da integral a F (x)dx, a qual
b
b
representada pelos smbolos a ou Pa :
!
b
x0 
b
b
f (x)
f (x)
f (x)
f (x)
P
dx = lim+
dx +
dx .
(1.43a)

0
x x0
a x x0
a
x0 + x x0
a x x0
A parte principal de Cauchy no infinito existe se
 x0 




f (x)
f (x)
f (x)
f (x)

dx P
dx = lim+
dx +
dx
0
x x0
x x0
x x0

x0 + x x0

(1.43b)

existe e finito.
Clculo de integrais do tipo IV
Para calcular integrais do tipo IV pelo teorema dos
resduos, considera-se o contorno
C = + + (R, x0 ) + (x0 + , R)
apresentado na figura 1.23, o qual composto por um
semi-crculo exterior , dois segmentos de reta ao longo
do eixo real, nos intervalos (R, x0 ) e (x0 + , R) e do
semi-crculo interior . Na figura 1.23, a curva foi traada no semi-plano superior para englobar os polos {zj }
(j = 1, . . . , N ) de f (z). Caso estes polos se encontrem
no semi-plano inferior, a curva pode ser traada nesta
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Figura 1.23: Contorno de integrao para integrais

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

51

regio. Supe-se tambm que  (> 0) seja pequeno o suficiente para que nenhum dos polos {zj } se encontre na
regio interior da curva .
Assim, pelo teorema dos resduos,



N
X
f (z)
f (z)
.
dz = 2i
Res
z x0
z x0 z=zj
j=1

Dividindo o contorno C nas suas curvas constituintes,



R

N
X
f (x)
f (z)
f (z)
f (z)
,
dz +
dx +
dz = 2i
Res
z x0
z x0 z=zj
R x x0
z x0
j=1

Toma-se agora o limite R , supondo que F (z) ao longo de satisfaa as condies prescritas pelo
teorema 1.26. Neste caso, F (z)dz = 0. A integral ao longo de pode ser calculada, tomando-se para ela
o limite  0:

0

f x0 + ei
f (z)
iei d = if (x0 ) ,
dz = lim
i
0
z

x
e
0

sendo neste caso suposto que f (x0 ) exista e finito. Este valor da integral em muitas vezes denominado
de semi-resduo de f (x).
Portanto, obtm-se o seguinte resultado para a parte principal,



N
X
f (x)
f (z)

Res
dx = if (x0 ) + 2i
.
z x0 z=zj
x x0
j=1

(1.44a)

Caso a funo F (x) possua mais de um polo no eixo real, o resultado (1.44a) pode ser facilmente generalizado.
Sendo novamente {zj } (j = 1, . . . , N ) o conjunto de polos de F (z) fora do eixo real e {x` } (` = 1, . . . , M ) o
conjunto de polos ao longo do eixo real, a forma generalizada de (1.44a)

N
M
X
X
Res F (zj ) .
F (x) dx = i
Res F (x` ) + 2i

Exemplo 1.32. Calcule a integral

Soluo. conveniente calcular

(1.44b)

j=1

`=1

sen x
dx.
x

ix
e

dx.
x

1
z M/R ( > 0) ao
A funo eiz /z satisfaz as condies
estabelecidas
pelo
Lema
de
Jordan,
ou
seja,

iz
longo de . Portanto, e /z dz = 0 e a equao (1.44a) pode ser aplicada, de onde resulta
ix
e

dx = i.
x
Uma vez que eix = cos x + i sen x, obtm-se

sen x
dx = .
x

Observao. Nota-se que, neste caso, = , pois x = 0 uma singularidade removvel. interessante
tambm que o mesmo resultado fornece

cos x

dx = 0,
x

o que razovel, uma vez que o integrando neste caso mpar.


Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

52

Exemplo 1.33. Calcule a integral


sen x
dx,
x (a2 x2 )

(a > 0) .

Soluo. Novamente toma-se


F (z) =

eiz
,
z (a2 z 2 )

sendo que F (z) satisfaz as condies do Lema de Jordan e os seus polos so z = 0 e z = a, todos ao longo
do eixo real. Neste caso, de acordo com (1.44b),

eix dx
= i [Res F (0) + Res F (a) + Res F (a)] .
x (a2 x2 )

Calculando os resduos,


1
eiz

= 2,
2
2
z (a z ) z=0
a


eia
eiz

=

Res F (a) = (z a)

z (a2 z 2 ) z=a
2a2

iz

e
eia

Res F (a) = (z + a)
=

.
z (a2 z 2 ) z=a
2a2
Res F (0) = z

Portanto,

e o resultado desejado fica

eix dx

= i 2 (1 cos a)
2
2
x (a x )
a
sen x dx

= 2 (1 cos a) .
x (a2 x2 )
a

Observao. Novamente observa-se tambm que



cos x dx

= 0.
2
2
x (a x )
1.9.4.5

Integrais do tipo V: integrao ao longo de linhas de ramificao

Para ilustrar este tipo de integrao, sero consideradas integrais do tipo



x1 G(x) dx, (sendo 0 < < 1)
0

e a funo G(z) racional, analtica em z = 0 e no possui polos ao longo do eixo real positivo. Supe-se
ainda que


lim z 1 G(z) = 0.
|z|0
|z|

A funo f (z) = z 1 plurvoca, com um ponto de ramificao em z = 0, o que pode ser comprovado
por uma rotao do fasor z em torno da origem,
+2

f (z) = z 1 ei2(1) z 1 .
Como 1 no inteiro, o valor de f (z) em + 2 difere do valor em . A outra singularidade de f (z)
est no infinito, significando que a linha de ramificao deve unir estes dois pontos singulares. Usualmente,
esta linha traada ao longo do eixo real positivo. O nmero de folhas de Riemann para f (z) depende
da natureza do nmero . Se este nmero racional, ento h um nmero finito de folhas de Riemann;
contudo, se irracional, ento existem infinitas folhas de Riemann. Devido a este fato, o contorno de
integrao C a ser adotado deve evitar o cruzamento da linha de ramificao para evitar a necessidade de
se empregar os outros ramos da funo z 1 .
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

53

O contorno de integrao usualmente empregado para


resolver uma integral do tipo V apresentado na figura
1.24, a qual mostra tambm a linha de ramificao no
intervalo [0, ). Este tipo de contorno denominado
buraco de fechadura 3 e consiste em um arco de circunferncia exterior CR , de raio R e centrado na origem,
com uma variao angular R

2 R . O nmero 0 < R  1 pode ser to pequeno quanto se queira,


mas nunca nulo, justamente para evitar que CR toque
a linha de ramificao. O contorno C contm tambm o
arco de circunferncia interior Cr , de raio r e centrado
na origem, com a variao angular r

2 r ,
sendo 0 < r  1 tambm to pequeno quanto se queira.
Finalmente, os arcos Cr e CR so ligados pelos segmentos de reta [r, R] e [R, r],4 os quais distam da linha de
ramificao por uma distncia 0 <   1. Obviamente,
Figura 1.24: Contorno de integrao para integrais
 = r sen r .
do tipo V.
Como a funo z 1 descontnua ao longo da linha
de ramificao, o valor das integrais ao longo dos segmentos de reta no se cancelam. Na reta superior, arg(z) ' 0 e, portanto,

6 6

6 6

f (z) = z 1 = (x + i)

Na reta inferior, arg(z) ' 2 e, portanto,


f (z) = ei2(1) z 1 = ei2(1) (x i)

Supondo agora que a funo R(z) possua N singulares isoladas (polos e/ou singularidades essenciais) nos
pontos {zj } (j = 1, . . . , N ), o teorema dos resduos (1.39) aplicado ao contorno simples fechado C = CR +
Cr + [r, R] + [R, r] garante que

z 1 G(z) dz =

z 1 G(z) dz +
CR

z 1 G(z) dz +
Cr

(x + i)

G (x + i) dx

e2i(1) (x i)

G (x i) dx = 2i

N
X



Res z 1 G(z) z .
j

j=1

A integral em CR se anula no limite R , desde que as condies do seguinte teorema sejam satisfeitas.

Teorema 1.27. Seja uma funo F (z) analtica ao longo do arco de circunferncia CR , de raio R centrado
na origem, tal que |F (z)| M/R ao longo de CR , sendo > 1 e M > 0 constantes, ento

lim
F (z)dz = 0.
R

CR

Demonstrao. Sendo a curva CR parametrizada pelo ngulo , o qual varia no intervalo [1 , 2 ], ento

2
2


M (2 1 )
M


d =
.
F
(z)dz
|F
(z)|
R
d


1
R
R1
1
CR
1

Portanto,



lim
R

CR



F (z)dz = 0,

de onde segue o teorema.


Por outro lado, a integral ao longo de Cr pode ser calculada parametrizando-se z = rei e tomando-se o
limite r 0:
# 
"


2r


G (0) i2 ir
i
i
1

lim
z
G(z) dz = lim ir
e G re d =
e
e
eir lim r .
r0 C
r0
r0

r
r
3 Do

ingls keyhole.
os segmentos de reta percorrem o intervalo [r cos r , R cos R ], em ambos os sentidos.

4 Rigorosamente,

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

54

Como G(z) por hiptese analtica em z = 0 e > 0, resulta que

lim
z 1 G(z) dz = 0.
r0

Cr

Lembrando tambm que r 0 implica em  0, restam as seguintes integrais,

x1 G (x) dx + e2i(1)

x1 G (x) dx = 2i

N
X



Res z 1 G(z) z ,
j

j=1

as quais podem ser escritas

G (x) dx + e

x1 G (x) dx
G (x) dx = 1 e

 1
+1
i
i
i
x
G (x) dx = 2i (1)
sen
= e
e
e

2i(1)

2i(1)

G (x) dx = (1)

(+1)

x1 G (x) dx.

Portanto, resulta

N


X
Res z 1 G(z) zj .
sen j=1

(1.45)

Exemplo 1.34. Calcule a integral

I=
0

x1
dx, (0 < < 1) .
1+x

Soluo. Como 0 < < 1, o integrando ao longo da curva CR , para R  1, pode ser escrito
1
z

1


1 + z ' R2 .
Ento, de acordo com o teorema 1.27,

lim

CR

z 1
dz = 0
1+z

e o resultado (1.45) vlido neste caso. O nico polo de G(z) = (1 + z)


integrando neste ponto
 1 

z
1

Res
= (1)
.
1 + z z=1
Portanto,

I=
0

1.9.4.6

est em z = 1 e o resduo do

x1

(+1)
1
dx = (1)
(1)
=
.
1+x
sen
sen

Outros tipos de integrais

Existem diversos outros exemplos de integrais que podem ser calculadas usando o teorema dos resduos
por intermdio de uma escolha adequada do contorno de integrao. Nesta seo sero apresentados alguns
exemplos relevantes para a fsica.
Integrais de Fresnel. Difrao de ondas eletromagnticas. As integrais




2
C=
cos tx dx e S =
sen tx2 dx
0

correspondem aos valores assintticos das funes de Fresnel, as quais descrevem a difrao de ondas eletromagnticas em um nico obstculo pontiagudo (difrao de canto).
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

55

Para a obteno dos valores de C e S, considera-se a


seguinte integral

eitx dx,

I=
0

cujas partes real e imaginria fornecem, respectivamente,


C e S. Por convenincia, assume-se que t > 0; para este
caso, o contorno de integrao adequado pode ser visto
2
na figura 1.25. Como a funo eitz analtica dentro e
ao longo do contorno C = Cx +CR +CL , pode-se escrever

itz 2


dz =

Cx

CR

CL
CR

eitz dz = 0.

CL

Cx

A integral em CR pode ser estimada usando argumento semelhante ao exposto pelo Lema de Jordan. Ao
longo deste contorno, z 2 = R2 (cos 2 + i sen 2). Como Figura 1.25: Contorno de integrao para as intedemonstrado graficamente na figura 1.22, sen 2 4/ grais de Fresnel.
em 0 /4, portanto

>

6 6

CR

eitz


/4


2

eitR (cos 2+i sen 2) iRei d
dz =
0

/4
2
RetR sen 2 d

/4

RetR

Por outro lado, ao longo de Cx , z = x e ao longo de CL , z = rei/4 (0


e

itz 2

dz =

Cx

itx2

dx e

itx2

dx = e

A integral J =

d =


2

1 etR .
4tR

6 r 6 R). Assim,
2

etr ei/4 dr.

dz =
R

etr dr.

i/4

CL

Portanto, no limite R ,

itz 2

4/



2


Ou seja, CR eitz dz 0 para R 0.

etr dr pode ser calculada da seguinte maneira:


2

J =

tx2

 
dx

ty 2


dy

et(x

+y 2 )

dxdy.

Usando coordenadas polares, resulta

/2

J2 =
0

d et =

d
0

.
4t

Finalmente, obtm-se

eitx dx =
0

ei/4
2

 1
= cos + i sen
t
4
4 2

.
t

Portanto, as integrais de Fresnel valem


1
S=C=
2
Autor: Rudi Gaelzer IFM/UFPel

.
2t

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.9. Integrao no plano complexo pelo mtodo dos resduos

56

Integral de Planck. Lei de Stefan-Boltzmann. A Lei de Planck determina a intensidade espectral


da radiao eletromagntica emitida por um corpo negro em equilbrio termodinmico a uma temperatura
absoluta T . Esta intensidade dada por
I (, T ) =

3
2h
,
c2 eh/kB T 1

sendo I (, T ) a potncia emitida por unidade de rea da superfcie emissora por unidade de ngulo slido
por frequncia . As quantidades h, kB e c so, respectivamente, as constantes de Planck e Boltzmann e
a velocidade da luz no vcuo. A Lei de Stefan-Boltzmann fornece a potncia total emitida por unidade de
rea do corpo negro, ou seja,

4

3
u du
2h kB T
j=
d I (, T ) = 2
IP , sendo IP =
c
h
eu 1
0
0
a integral que se deseja calcular, a qual obtida por uma simples troca de variveis de integrao.
Para se obter IP , considera-se a integral

sen (kx)
dx.
f (k) =
ex 1
0
Obviamente,

d3 f
.
IP =
dk 3 k=0
Portanto, pode-se obter IP conhecendo-se f (k). A integral que define esta funo tambm pode ser escrita
como
ikx
e
f (k) = Im
dx.
x1
e
0
Este clculo ser realizado utilizando-se o contorno C =
C1 + + C6 ilustrado na figura 1.26 e a integral de
contorno

eikz
dz = 0,
z
C e 1

Im

2
C5

C4

C3

C6
C1

a qual nula pelo teorema dos resduos (1.39) porque


o integrando possui apenas polos simples nos pontos
z = 2ni, (n = 0, 1, 2 . . . ). As integrais nos contorno

R
Re
C1 , . . . , C6 devem ser realizadas separadamente. Nos contornos C2 e C4 obtm-se
Figura 1.26: Contorno de integrao empregado

 ikz

para o clculo da integral de Planck. Observa-se


 R eikx
e
2k
+
dz
=
1

e
dx.
que   1 e R  1.
ez 1
ex 1
C2
C4

C2

J ao longo dos contornos C1 e C5 observa-se que |z| =   1, o que permite o uso da srie de Laurent
(1.35d). Para a integral I1 pode-se escrever z = ei , resultando

I1 ()
C1

z 
eikz
1
z/2 ikz
dz
=
e
e
cosech
dz
ez 1
2 C1
2






/2

1
2
z
7z 3
1
z/2 ikz
i
=
e e

+
dz = i
exp
+ ik e d O 2 .
2 C1
z
12 2880
2
0

Portanto,

lim I1 = i .
2
i
J para o contorno C5 pode-se escrever z = 2i + e e

z 
eikz
1
I5 ()
dz
=
ez/2 eikz cosech
dz.
z
2 C5
2
C5 e 1
0

Neste caso necessria a srie de Laurent de cosech z em torno de z0 = 2i, a qual simplesmente
3

cosech z =
Autor: Rudi Gaelzer IFM/UFPel

1
z 2i 7 (z 2i)
+

+ ,
z 2i
6
360
Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

57

resultando,
1
I5 () =
2

z/2 ikz

C5





/2

z 2i
1
2
2k
i
+
+ dz = ie
exp
+ ik e d + O 2 .
z 2i
12
2
0

Portanto,

lim I5 = i e2k .
2

0

J a integral I3 pode ser escrita

I3 (R)
C3

eikz
dz = ie(1ik)R
z
e 1

eky
dy.
eR

eiy

Observa-se agora que no limite R a integral finita, pois o denominador do integrando pode ser
substitudo por eiy , o que torna a integrao trivial. Portanto, limR I3 = 0. Finalmente, a integral I6
pode ser escrita

2 ky
2 ky iy/2
eikz
e
e
e
1 2 eky eiy/2
I6
dz
=
i
dy
=
i
dy
=

dy.
z
eiy 1
2 
sen (y/2)
eiy/2 eiy/2


C6 e 1
Assim, pelo teorema dos resduos,

 R eikx
1 2 eky eiy/2
2k
1e
dx =
dy I1 I5 I3 (R)
ex 1
2 
sen (y/2)

e, portanto, f (k) dada por

f (k) = lim Im
0
R

eikx
1
dx =
x
e 1
2 (1 e2k )

eky dy +
0

1 + e2k
2 1 e2k

2k

1
1+e
1

+
=
+ cotanh (k)
2k
2k
2 1e
2k
2
2
4 k3
6 k5
B2n
(1.35b) k
2n1

+
+
(2k)
+ . (1.46)
6
90
945
(2n)!

Com este resultado, possvel finalmente obter-se IP :


IP =

4
,
15

resultando na seguinte expresso para a constante de Stefan-Boltzmann,


j = T 4 , sendo =

4
2 5 kB
.
15h3 c2

Como um bnus, o resultado (1.46) pode ser usado para fornecer o valor das integrais

2n+1
2n+1
B2(n+1)
f
x
dx
n d
n
=
(1)
= (1) 22n 2(n+1)
, (n = 0, 1, 2, . . . ) .

x
2n+1
e 1
dk
n+1
0
k=0

1.10

Continuao analtica

Com frequncia, a representao conhecida de uma dada funo vlida somente em uma regio limitada
do plano complexo, como uma srie de Laurent com raio de convergncia finito, por exemplo. A regio de
convergncia (ou domnio) desta srie se estende at a singularidade mais prxima, distinta do ponto em
torno do qual se realiza a expanso, que pode ou no conter uma singularidade. Com frequncia tambm
desejvel obter-se uma outra forma matemtica que represente a mesma funo em uma outra regio do
plano complexo, ou que seja vlida em uma poro maior do mesmo. O processo de estender o intervalo
de validade de uma representao ou, de forma mais geral, estender a regio de domnio de uma funo
analtica denominado continuao analtica.
Definio 1.1. Um elemento de funo analtica (f (z), D) uma funo analtica f (z) no interior de seu
domnio de definio D. Um elemento de funo (f2 , D2 ) uma continuao analtica de outro elemento
(f1 , D1 ) se D1 D2 6= ? e se f1 (z) = f2 (z) em D1 D2 .
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

58

1.10. Continuao analtica

Em outras palavras, seja f1 (z) uma funo analtica da


varivel z em um domnio D1 do plano complexo. Supe-se
agora ser possvel encontrar uma outra funo f2 (z), a qual
analtica em um outro domnio D2 . Se ocorrer uma interseco
D1 D2 no nula de ambos os domnios, conforme representado
na figura 1.27, e se f1 (z) = f2 (z) em D1 D2 , ento se diz que
f2 (z) a continuao analtica de f1 (z) em D2 , e vice-versa. Da
mesma forma, pode existir uma terceira funo f3 (z), analtica
em D3 , e se f3 (z) = f1 (z) em D3 D1 e f3 (z) = f2 (z) em D3
D2 , ento f3 (z) pode ser a continuao analtica das anteriores
em D3 . Esta situao tambm est representada na figura
1.27. Portanto, existe uma funo analtica f (z) com o domnio
Figura 1.27: Representao de trs possD
= D1 D2 D3 , tal que f (z) = f1 (z) em D1 , f (z) = f2 (z)
veis continuaes analticas da mesma funem D2 e f (z) = f3 (z) em D3 . Nota-se que basta a interseco
o f (z).
entre os domnios ser composta simplesmente por um arco que
a continuao analtica existe e nica, desde que as trs regies no englobem um ponto singular ou um
ponto de ramificao de uma funo plurvoca.
Contudo, a situao descrita acima nem sempre ocorre. Somente garantida a existncia da funo
analtica f (z) no domnio D = D1 D2 D3 se D1 D2 D3 6= ?. Caso a interseco ocorra somente
entre pares de domnios e se a regio entre os domnios D1 , D2 e D3 contiver pontos singulares, como por
exemplo, pontos de ramificao, ento f3 (z) 6= f1 (z), porque a regio D1 D3 ser parte do domnio de
diferentes folhas de Riemann para cada funo. O exemplo a seguir mostra uma situao onde isto ocorre.

Exemplo 1.35. Considera-se o seguinte ramo da funo f (z) = z:

f1 (z) = rei/2 , D1 : (r > 0, 0 < < ) .


Uma continuao analtica de f1 (z) atravs do eixo real negativo e para o semi-plano inferior :



f2 (z) = rei/2 , D2 : r > 0, < < 2 .


2
Claramente, em D1 D2 : (r > 0, /2 < < ) (segundo e terceiro quadrantes), f1 (z) = f2 (z). Uma
continuao analtica de f2 atravs do eixo real positivo e para o semi-plano superior pode ser definida ento
como


i/2
5
f3 (z) = re
, D3 : r > 0, < <
.
2
Claramente, agora, em D2 D3 : (r > 0, < < 2) (terceiro e quarto quadrantes), f3 (z) = f2 (z), mas em
D1 D3 : (r > 0, 0 < < /2) (primeiro quadrante), f3 (z) 6= f1 (z); de fato, f3 (z) = f1 (z). Isto ocorre
porque os trs domnios circundam o ponto de ramificao na origem.

Teoremas de existncia e unicidade


Os seguintes teoremas, apresentados sem demonstrao, mostram quais so as condies necessrias e
suficientes para a existncia e unicidade das continuaes analticas.
Teorema 1.28. Se uma funo f (z) analtica em todo o domnio D e f (z) = 0 em todos os pontos de
uma regio R D ou de um arco C, interior a D, ento f (z) = 0 em todos os pontos de D.
Observao. Este teorema muito importante porque, em primeiro lugar, ele garante que todas as razes
de f (z) so isoladas. Contudo, a sua importncia aqui est no fato de que ele garante a unicidade das
continuaes analticas. Sejam as funes f1 (z) e f2 (z) mencionadas na definio 1.1. Definindo-se agora a
funo g(z) = f1 (z) f2 (z) em R = D1 D2 , obviamente g(z) = 0 em R; de onde se conclui que g(z) = 0
em todo o domnio D1 D2 . Segue ento o seguinte teorema de unicidade.
Teorema 1.29. Uma funo f (z) que analtica em todo o domnio D determinada de forma nica sobre
D pelos seus valores sobre uma regio, ou ao longo de um arco, contidos no interior de D.
Exemplo. A funo inteira f (z) = ez a nica que pode assumir os valores de f (x) = ex , ao longo do eixo
real. Alm disso, uma vez que ez tambm inteira e ex ex = 1 (x R), a funo h(x) = ex ex 1
nula sobre todo o eixo real e, portanto, a nica funo que representa a continuao analtica de h(x) fora
do eixo real h(z) = ez ez 1 = 0. Segue ento que a identidade ez = 1/ez vlida sobre todo o plano
complexo.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

59

Figura 1.28: Continuao analtica da funo f1 (z) para a regio Rn por dois caminhos distintos.

Corolrio. Como corolrio a este teorema, qualquer forma polinomial de funes fk (x) que satisfaa a
identidade
P [f1 (x), f2 (x), . . . , fn (x)] = 0
tem a sua forma mantida,
P [f1 (z), f2 (z), . . . , fn (z)] = 0,
ao longo de todo o domnio D.
Exemplo. Dadas as funes trigonomtricas sen x e cos x, estas satisfazem a forma polinomial sen2 x +
cos2 x 1 = 0. Portanto, a identidade sen2 z + cos2 z = 1 vlida sobre todo o plano complexo.
Teorema 1.30. (Teorema da monodromia). Se uma funo f1 (z), definida no domnio R1 , continuada analiticamente a uma regio Rn ao longo de dois caminhos diferentes, ento as duas continuaes
analticas sero idnticas se no houver singularidades contidas entre os dois caminhos.
A propriedade descrita no teorema acima ilustrada na figura 1.28, na qual um ponto na regio R1
ligado a um outro ponto na regio Rn por dois caminhos simples (C1 e C2 ) distintos. Os domnios R1 , R2 ,
. . . , Rn , . . . podem ser definidos pelos raios de convergncia das sries de Taylor que representam a mesma
funo f (z) em diferentes regies do plano complexo. Se no houver pontos singulares na regio interna
aos circulos na figura 1.28, ento a continuao analtica de f (z) da regio R1 a Rn pelo caminho C1 ser
equivalente continuao analtica ao longo de C2 . Portanto,

f1 (z),

2 (z),

.
f (z) = ..

fn (z),

..
.

em R1
em R2
..
.
em Rn
..
.

As funes f1 (z), f2 (z), . . . , fn (z), . . . acima so


denominadas os elementos da funo analtica
completa f (z).
Exemplo 1.36. Considera-se a funo f1 (z) definida por
f1 (z) =

zn = 1 + z + z2 + .

Figura 1.29: Domnios de f (z) = (1 z)1 .

n=0

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.10. Continuao analtica

60

Sabe-se que esta srie de Taylor converge na regio R1 : |z| < 1 para a funof (z) = 1/ (1 z), cujo domnio
todo o plano complexo exceto o ponto z = 1. Como o domnio de f (z) se intersecciona com o domnio
de f1 (z), esta ltima a nica continuao analtica de f1 (z) possvel para |z| 1 (exceto z = 1). Outras
possveis continuaes analticas de f (z) para a regio esquerda de z = 1 (ao longo do eixo real) so:

>

f2 (z) =

n

1 X z+1
(Regio R2 : |z + 1| < 2) ,
2 n=0
2

f3 (z) =

n

1 X z+i
(Regio R3 : |z + i| < 2) .
1 + i n=0 1 + i

A figura 1.29 ilustra estas trs regies.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Apndice A

Distribuies e a Funo Delta de


Dirac
A Delta de Dirac um artifcio matemtico utilizado em diversas reas da fsica. Por exemplo, no clculo
da Funo de Green, em problemas de contorno no homogneos, na determinao do espectro contnuo
de autovalores em mecnica quntica, na determinao das flutuaes trmicas de partculas puntuais em
mecnica estatstica e outras aplicaes importantes.
Este roteiro tem por objetivo definir a Delta de Dirac como tipo particular de uma distribuio e apresentar algumas de suas propriedades.

A.1

Definio de Distribuies

Denotando por (x1 , x2 , . . . , xn ) uma funo de n variveis contnuas x1 , x2 , . . . , xn , cujos valores no


nulos esto todos contidos dentro do domnio da funo e que possui derivadas de todas as ordens em
relao a estas variveis.
Definio. Uma distribuio T [] um funcional linear e contnuo da funo .
Por linearidade, entende-se que para qualquer combinao linear 1 1 + 2 2 , onde 1 , 2 C :
T [1 1 + 2 2 ] = 1 T [1 ] + 2 T [2 ] .
Por continuidade, entende-se que para qualquer seqncia 1 , 2 , . . . , j , . . . de funes tais que
lim j = ,

tem-se
lim T [j ] = T [] .

A.1.1

Definio operacional de distribuio

A uma funo localmente integrvel f qualquer, isto , qualquer funo cuja integral1 sobre qualquer
intervalo finito contido no domnio exista, corresponde uma distribuio f, tambm denominada funcional
definida pelo produto escalar

f [] = f (x)(x)dx = h , f i .
A.1.1.1

Exemplos

A funo 1/x no define uma distribuio porque no integrvel no ponto x = 0. Contudo, pode-se
definir a distribuio

(x)
1
dx,
PP [] PP
x
x
1 Integral na definio de Integral de Lebesgue. Uma integral de Lebesgue reduz-se a uma integral de Riemann (integral
usual) sempre que a ltima puder ser definida. Contudo, a integral de Lebesgue existe mesmo em casos onde a integral de
Riemann no pode ser definida.

61

A.1. Definio de Distribuies

62

onde PP denote a parte principal de Cauchy da integral, isto ,

PP

0

= lim

A funo de Dirac (x) define a distribuio


[] = (0),
assim como a funo (x x0 ) define a distribuio
x0 [] = (x0 ).

A.1.2

Propriedades de distribuies

A.1.2.1

Combinao linear de distribuies

Seja T = 1 T1 + 2 T2 , onde 1 , 2 C, tem-se


T [] = 1 T1 [] + 2 T2 [] .
A.1.2.2

Produto de duas distribuies

Sendo f uma distriuio associada com uma funo localmente integrvel f e T uma distribuio arbitrria, a distribuio
P = fT
bem definida se T linear, um funcional contnuo da funo f e tem-se, por definio,
P [] = T [f ] .
O produto de duas distribuies nem sempre existe. Se f possui derivadas de todas as ordens, fT existe
para todas distribuies T . Se f contnua no ponto x0 ,


fx0 [] = f (x0 )(x0 ).
(A.1)
Se f e g so funes quadraticamente integrveis,2 o produto fg est bem definido. Por outro lado,
 p 2
2
[(x)] no tem sentido, assim como 1/ |x| .
Como um caso especial da equao (A.1), tem-se
x(x) = 0.
Por conseguinte, se xT = 0, T um mltiplo de (x) : T = c(x), onde c uma constante.
Portanto, se f (x) e g(x) esto relacionadas pela relao
xf (x) = g(x),
tem-se, necessariamente,
f (x) = PP

g(x)
+ c(x)
x

onde c uma constante a ser determinada.


A.1.2.3

Sries e integrais de distribuies

Se um conjunto de distribuies T1 , T2 , . . . , Tj , . . . tal que quando j , Tj [] possui um limite


para qualquer , este limite tambm uma distribuio:
T = lim Tj .
j

2 Isto

, se

|f |2 dx e

|g|2 dx existirem.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

Impresso: 16 de agosto de 2011

Captulo A. Distribuies e a Funo Delta de Dirac

63

Definio equivalente: Se a srie


X

Ti []

for definida para qualquer , seu resultado define uma distribuio; neste caso, diz-se que a srie de
distribuies {Ti } realizvel:
X
T [] =
Ti [] .
i

Se T () uma distribuio que depende de um parmetro C, o qual pode variar continuamente em um


domnio e se a integral

I [] =
T () [] d

converge para qualquer , o objeto I = T ()d define uma distribuio. Uma definio anloga vale para
integrais mltiplas.
Em particular, se f (x, ) uma funo localmente integrvel de x e , a distribuio f() integrvel
em e sua integral a distribuio g associada com a funo:

g [1] =
f () [1] d =
f (x, )d.

Se a funo a(k) permanece menor que uma potncia positiva de |k| quando |k| :

|a(k)| A |k|
a integral

(Ae constantes positivas),

eikx a(k)dk

uma distribuio. Em particular,

eikx dk = 2(x).

A.1.2.4

Derivadas de distribuies

Por definio, a derivada parcial T /xi da distribuio T :





T
[] = T
.
xi
xi
Em particular, se uma funo localmente integrvel diferencivel, a derivada da distribuio correspondente a distribuio correspondente a sua derivada. Isto pode ser visto via integrao por partes:

f0 [] = f 0 (x)(x)dx = f (x)0 (x)dx = f [0 ] .


Todas as propriedade das derivadas de funes aplicam-se a distribuies. Por exemplo, a derivada do
produto P = fT :
P 0 = f0 T + fT 0 .
Alm disso, certas propriedades que pertencem a uma classe restrita de funes aplicam-se a todas as
distribuies sem restries. So as seguintes:
1. As distribuies so diferenciveis em todas as ordens.
2. Derivao uma operao linear e contnua no espao das distribuies. Se
lim Tj = T,

lim Tj0 = T 0 .

Em conseqncia, se a srie existe, ela diferencivel termo a termo sob o smbolo de soma
mesma forma, se T () integrvel sob o parmetro , T ()/xi tambm integrvel e

I
=
T () [] d.
xi
xi
Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

P
. Da

Impresso: 16 de agosto de 2011

A.2. Propriedades da Funo

64

A.2

Propriedades da Funo

A Delta de Dirac um exemplo de distribuio definida sob o smbolo de integrao, isto , ela somente
tem sentido matemtico quando aparece em uma integral. Na fsica, costuma-se usar a notao (x x0 ),
no lugar da notao mais correta x0 []. Esta notao, contudo, bastante conveniente no uso prtico.
Tambm neste contexto, a (x x0 ) tratada como uma funo governada por regras peculiares; contudo,
estas regras esto justificadas pela teoria das distribuies.

A.2.1

Definio da

Sendo f (x) uma funo definida no domnio e x0 R,

(
f (x0 ), x0
f (x)(x x0 )dx x0 [f (x)] =
0,
x0 6 .

(A.2a)

Formalmente, escreve-se ento


(
0,
(x x0 ) =
+,

onde

x 6= x0
x = x0 ,

(x x0 ) dx = 1.

(A.2b)

Neste caso, a pode ser pensada como a generalizao da delta de Kronecker


(
0, m =
6 n
nm =
1, m = n
para o caso contnuo.

A.2.2

Representaes da (x x0 ) como o limite do kernel de um operador


integral

A (x x0 ) pode ser considerada como o limite de uma funo que possui um mximo estreito e alto
em torno de x0 , e cuja integral sobre todo o espao permanece constante e igual a 1. Assim, existem as
seguintes representaes:
L(x x0 )
1
lim sen
L
x x0
1
1 cos (x x0 )
=
lim

(x x0 )2
1

=
lim
+0

(x x0 )2 + 2
H(x x0 + ) H(x x0 )
= lim
0

(x x0 ) =

= lim (2)

1/2 (xx0 )2 /4

0

(A.3a)
(A.3b)
(A.3c)
(A.3d)
(A.3e)

onde H(x) a funo de Heaviside ou tambm denominada funo degrau:


(
1, x > 0
H(x) =
0, x < 0.
A (x x0 ) pode ser interpretada como a derivada da funo H(x) :
(x x0 ) =

dH(x)
.
dx

A figura A.1 mostra outras representaes da (x x0 ) juntamente com grficos ilustrando a tendncia das
respectivas funes medida que o parmetro  0.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

Impresso: 16 de agosto de 2011

Captulo A. Distribuies e a Funo Delta de Dirac

65

Figura A.1: Outras representaes da (xx0 ) junto com grficos ilustrando a tendncia das funes para  0.

A.2.3

Principais propriedades

As principais propriedades da so:


(x) = (x)
1
(ax) =
(x), (a = cte. 6= 0)
|a|

1
x2 a2 =
[(x a) + (x + a)] , (a = cte. 6= 0)
|a|


X (x xn )
g(xn ) = 0,
[g(x)] =
,
g 0 (x) 6= 0
|g 0 (xn )|

(A.4a)
(A.4b)
(A.4c)
(A.4d)

x(x) = 0

(A.4e)

f (x)(x a) = f (a)(x a)

(A.4f)

(x y)(y a)dy = (x a)

1
(x) =
eikx dk.
2

(A.4g)
(A.4h)

Uma outra propriedade importante, que com freqncia utilizada no tratamento de funes complexas
a frmula de Plemelj:
1
1
lim
= PP
i(x x0 ).
(A.4i)
+0 x x0 i
x x0
Todas as igualdades apresentadas acima indicam que um lado da equao pode ser substitudo pelo outro
lado quando a for multiplicada por uma funo regular e o produto integrado sobre a varivel x. Um
exemplo de aplicao da propriedade (A.4d) apresentada abaixo:
(x2 + x 2) g(x) = x2 + x 2 = (x 1)(x + 2) g 0 (x) = 2x + 1
xn = {1, 2}, g 0 (1) = 3 e g 0 (2) = 3.
Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

Impresso: 16 de agosto de 2011

A.2. Propriedades da Funo

66

1
[(x 1) + (x + 2)] .
3

(x2 + x 2) =

A.2.4

Derivadas da (x)

A funo (x) diferenciavel em todas as ordens. A sua m-sima derivada (m) (x) definida pela
propriedade
(

(1)m f (m) (x0 ), x0
(m)
(m)
(x x0 )f (x) x0 [f (x)] =
0,
x0 6 .

definio esta vlida para qualquer funo f (x) diferencivel m vezes no ponto x = x0 . A (m) (x x0 )
pode ser considerada como o limite da derivada de ordem m de qualquer das funes dadas em (A.3a-d).
As propriedades das derivadas da so as seguintes:
(m) (x) = (1)m (m) (x)

(A.5a)

(m) (x y) (n) (y a)dy = (m+n) (x a)

(A.5b)

xm+1 (m) (x) = 0.

(A.5c)

Em particular a derivada primeira tem as propriedades:



0 (x a)f (x)dx = f 0 (a)

0 (x) = 0 (x)

0 (x y)(y a)dy = 0 (x a)
x 0 (x) = (x)
x2 0 (x) = 0
i
(x) =
2

keikx dk.

Como exemplo, a propriedade (A.5a) pode ser obtida integrando-se por partes m vezes o funcional



(m) (x)f (x)dx =
(m1) (x)f 0 (x)dx = = (1)m
(x)f (m) (x)dx.

A.2.5

Deltas de Dirac em mais de uma dimenso

Quando o problema envolve duas ou mais dimenses, a delta de Dirac dada pelo produto de deltas,
cada uma delas unidimensional. Representa-se ento a delta de Dirac multidimensional da seguinte forma:
(r R) = (x1 X1 ) (x2 X2 ) (x3 X3 ) ,
sendo {x1 , x2 , x3 } o conjunto de coordenadas ortogonais adotado.
Desta forma, a extenso das definies (A.2a,b) para 3 dimenses fica sendo:
(

1, R V
3
(r R) d r =
0, R 6 V
V
(

F (R) , R V
F (r) (r R) d3 r =
0,
R 6 V,
V
sendo V um subespao vetorial de

(A.6)

(A.7a)

(A.7b)

R3 .

Coordenadas Curvilneas Ortogonais


Quando se est trabalhando em um sistema de coordenadas curvilneas ortogonais qualquer, a forma
simples dada por (A.6) em geral est incorreta, ou seja, sendo (q1 , q2 , q3 ) o conjunto de trs coordenadas
curvilneas ortogonais, as quais se relacionam com o sistema cartesiano por
qi = qi (x1 , x2 , x3 ) xi = xi (q1, q2 , q3 ) ,
Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

(i = 1, 2, 3) ,
Impresso: 16 de agosto de 2011

Captulo A. Distribuies e a Funo Delta de Dirac

67

no est correto, em geral, escrever


(r r 0 ) = (q1 q10 ) (q2 q20 ) (q3 q30 ) ,
pois esta expresso no respeita a propriedade (A.7a). Por outro lado, a expresso
(r r 0 ) =

(q1 q10 ) (q2 q20 ) (q3 q30 )


,
h1
h2
h3

(A.8)

sendo hi o fator de escala da coordenada i, dado por


v
u 3 

uX xj 2
t
hi =
,
qi
j=1
ir respeitar as propriedades (A.7a,b). O produto h1 h2 h3 tambm denominado o Jacobiano da transformao de coordenadas. Portanto, (A.8) a forma correta para a delta de Dirac em coordenadas curvilneas
ortogonais.
Exemplos
Coordenadas esfricas.
Nas coordenadas esfricas, q1 = r, q2 = e q3 = . Os fatores de escala so
h1 = r2 , h2 = sen e h3 = 1. Portanto,
(r r 0 ) =

1
r2 sen

(r r0 ) ( 0 ) ( 0 ) .

Assim, sendo r 0 um ponto contido em V, (A.7a) ser respeitada, pois

1
(r r0 ) ( 0 ) ( 0 ) r2 sen drdd = 1.
(r r 0 ) d3 r =
2 sen
r
V
V
Uma outra forma utilizada com freqncia
(r r 0 ) =
Coordenadas cilndricas.
h2 = . Assim,

1
(r r0 ) (cos cos 0 ) ( 0 ) .
r2

Nas coordenadas cilndricas, q1 = , q2 = e q3 = z. Por isso, h1 = h3 = 1 e


(r r 0 ) =

1
( 0 ) ( 0 ) (z z 0 ) .

Pontos degenerados
A expresso (A.8) assume que r 0 no um ponto degenerado, isto , no caracterizado por mais de
um conjunto de valores de coordenadas. Em algumas situaes, o ponto degenerado pode ser uma curva
ou uma superfcie em 3D.
Exemplos de pontos degenerados so: a origem num sistema plano-polar (caracterizado por r = 0 e
qualquer valor de 0 2), a origem em um sistema curvilneo em 3D (r = 0, 0 , 0 2
em coordenadas esfricas), o eixo z em coordenadas cilndricas ( = 0, 0 2).
Suponha, ento, que a coordenada q1 assume todos os valores no intervalo q11 < q1 < q12 . Neste caso, a
representao correta de (r r 0 ) no (A.8), uma vez que a coordenada q1 no mais possui um nico valor
para q10 (sua multiplicidade coberta pela variao de q1 ). Neste caso, a propriedade (A.7a) novamente
respeitada se
(q2 q 0 ) (q3 q30 )

(r r 0 ) =  q 2
,
12
h dq h2 h3
q11 1 1

6 6

6 6

6 6

6 6

pois (A.7a) fica

(r r 0 ) d3 r =

Autor: Rudi Gaelzer IFM/UFPel

q12

h1 dq1
q11

(q2 q 0 ) (q3 q30 )



h2 h3 dq2 dq3  q 2
= 1.
12
h
dq
h
h
1
1
2
3
q11

Incio: Maio de 2006

Impresso: 16 de agosto de 2011

A.2. Propriedades da Funo

68

Por exemplo, considerando um problema em coordenadas esfricas que possua simetria azimutal, ento a
coordenada deve ser eliminada, pois ser multiplamente definida. Neste caso,
(r r 0 ) =

1
1
(r r0 ) ( 0 ) =
(r r0 ) ( 0 ) .
2
2
2r sen
r2 sen 0 d

Da mesma maneira, se os pontos multiplamente definidos estiverem sobre a superfcie q1 q2 , estando a


coordenada q2 no intervalo q21 < q2 < q22 , ento
(q3 q30 )
 .
(r r 0 ) =  q q
22
12
h
h
dq
dq
h3
1
2
1
2
q11 q21

Autor: Rudi Gaelzer IFM/UFPel

Incio: Maio de 2006

Impresso: 16 de agosto de 2011