Complex

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
i3 = = i
i
i4 = 1
i1 =
...
...,
resultando
i2n = (1)n
(2n+1)
Autor: Rudi Gaelzer IFM/UFPel
(1.1a)
n
= (1) i, para n = 0, 1, 2, 3, . . . .
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.
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).


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 )] .
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

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).
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.
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.
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 =
e +e
2
cosh2 z senh2 z = 1.
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.
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 .
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.
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
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 )] ,

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
(1.15a)
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.
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.
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
6 t 6 1) ,

5 10
10x2 dx = i.
3
3
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.
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.
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.
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.

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.
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 ) =
1
2i
r0
d = i
f (z0 ) d = 2if (z0 ) .

0
f (z)
dz.
z z0
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.
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
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.

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
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
C1
f (w) dw
(w a)
n+1
(w z)
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 =
z 2n+1
(2n + 1)!
n=0
=1
z2
z4
+
,
2!
4!
|z| <
(1.32d)
=z+
z3
z5
+
+ ,
3!
5!
|z| <
(1.32e)
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.
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
bn (z z0 )
= cn , para n = 0, 1, 2, . . . , sendo o coeficiente cn dado
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
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) =
1
(z 1)
d
dz
1
1z

=
d X n
z .
dz n=0
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.


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 )
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,
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
j=1
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 ) =
1
dm1
m
lim
[(z z0 ) f (z)] .
(m 1)! zz0 dz m1
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
p (z0 )
.
q 0 (z0 )
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
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)
|an | Rn+1
|an |
1
= lim
= 0.
R |bm | Rm
R |bm | Rmn+1
lim
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)

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.
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
C0
dz
F
iz
z 1/z z + 1/z
,
2i
2

,
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
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.
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
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)| =
1
|1 + z 2 |
6 R 1 1 R1 .
R
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
Figura 1.23: Contorno de integrao para integrais
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
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.

52

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 .
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,
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)
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).
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
.
2t
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 =
1
z 2i 7 (z 2i)
+
+ ,
z 2i
6
360
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 .
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.
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
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.

Complex

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Complex

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 1

Funes de Uma Varivel Complexa

Nmeros e variveis complexos

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

1.1. Nmeros e variveis complexos

Como o nmero 1 no possui representao possvel dentro

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.1: Plano complexo ou diagrama de Argand.

Representaes vetorial e polar

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

e das potncias (1.1a,b), obtemos

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

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

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

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

Fase ou argumento de z: nmero R tal que 0

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

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

Esta operao est representada na figura 1.2(b).

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

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

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

> ||z | |z ||.

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

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.2. lgebra de nmeros complexos

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

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

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

Razes de nmeros complexos

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

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

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

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

sendo que /12

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.3. Funes de uma varivel complexa

Funes de uma varivel complexa

D se a cada valor de z corresponde um nico

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

rei/2 ramo principal.

rei/2 ei = rei/2 segundo ramo.

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

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

Pontos de ramificao, linhas de ramificao e superfcies de Riemann

Autor: Rudi Gaelzer IFM/UFPel

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