Você está na página 1de 127

Departamento de Matemtica - MTM

Universidade Federal de Santa Catarina - UFSC

Notas de aula:
MTM 5186 - Clculo IV

Prof. Matheus Cheque Bortolan

Florianpolis - SC
2015/1
ii
Sumrio

1 Introduo 5

2 O corpo C dos nmeros complexos e o plano complexo 7


2.1 Definio e propriedades bsicas . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Geometria em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1 A desigualdade triangular . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Representao polar em C . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.1 Igualdade de nmeros complexos na representao polar . . . . . . 14
2.3.2 Razes de nmeros complexos . . . . . . . . . . . . . . . . . . . . . 15

3 Funes de uma varivel complexa 17


3.1 Definies bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.1 A funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.3 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4 Diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.5 Analiticidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.5.1 Equaes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . 27

4 Transformaes de Mbius 31
4.1 Definies e propriedades bsicas . . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Propriedade de preservao de crculos . . . . . . . . . . . . . . . . . . . . 33
4.2.1 Orientao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3 Representao matricial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.4 Razo cruzada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

5 Integrao complexa 43
5.1 Curvas no plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2 SUMRIO

5.2 Integrais complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45


5.3 O Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . 49
5.3.1 Domnios multiplamente conexos . . . . . . . . . . . . . . . . . . . 51
5.4 A frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.5 A frmula integral de Cauchy para derivadas . . . . . . . . . . . . . . . . . 56
5.6 Consequncias das frmulas integrais de Cauchy . . . . . . . . . . . . . . . 58
5.6.1 Derivadas de funes analticas . . . . . . . . . . . . . . . . . . . . 58
5.6.2 Desigualdade de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 59
5.6.3 Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.6.4 O Teorema Fundamental da lgebra . . . . . . . . . . . . . . . . . 60
5.6.5 O Teorema do Mdulo Mximo . . . . . . . . . . . . . . . . . . . . 60

6 Sries complexas e resduos 63


6.1 Sequncias e sries complexas* . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.1.1 Sries geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.1.2 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
6.2 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.3 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
6.3.1 Teorema de representao em sries de Laurent . . . . . . . . . . . 71
6.3.2 Singularidades isoladas . . . . . . . . . . . . . . . . . . . . . . . . . 76
6.3.3 Classificao de singularidades . . . . . . . . . . . . . . . . . . . . . 76
6.4 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.5 Integrais reais imprprias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

7 Solues em sries para equaes diferenciais ordinrias 89


7.1 Equao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
7.2 Solues em sries num ponto singular regular - o mtodo de Frobenius . . 96
7.3 Equao de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
7.4 Equao de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

8 Equaes diferenciais parciais 105


8.1 Equao de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
8.1.1 Domnios retangulares . . . . . . . . . . . . . . . . . . . . . . . . . 106
8.1.2 Discos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
8.2 Equao da onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
8.3 Identidades de Green e funes de Green . . . . . . . . . . . . . . . . . . . 116
8.3.1 Notaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
8.3.2 Primeira identidade de Green . . . . . . . . . . . . . . . . . . . . . 117
SUMRIO 3

8.3.3 Segunda identidade de Green . . . . . . . . . . . . . . . . . . . . . 118


8.3.4 Frmula de representao . . . . . . . . . . . . . . . . . . . . . . . 119
8.3.5 Funes de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
8.3.6 Funo de Green no semi-espao . . . . . . . . . . . . . . . . . . . . 122
4 SUMRIO
Captulo

1
Introduo

Este um material elaborado para poder ser usado como base nas disciplinas de Cl-
culo IV, ministradas pelos professores do Departamento de Matemtica da Universidade
Federal de Santa Catarina.
6 Introduo
Captulo

2
O corpo C dos nmeros complexos e o
plano complexo

2.1 Definio e propriedades bsicas


Comeamos este captulo com a definio do corpo dos nmeros complexos um pouco
diferente da qual estamos habituados, mas veremos que elas coincidem.

Definio 2.1.1. Seja C o conjunto dos pares ordenados {(a, b) : a, b R}. Em C


definimos duas operaes bsicas da seguinte maneira, se (a1 , b1 ), (a2 , b2 ) C, temos

(a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ), que chamada de soma.

(a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ), que chamada de produto.

Chamamos a tripla (C, +, ) de corpo dos nmeros complexos.

Estas operaes satisfazem as seguintes propriedades, para (a1 , b1 ), (a2 , b2 ) e (a3 , b3 )


em C:

(S1) Associatividade da soma:

[(a1 , b1 ) + (a2 , b2 )] + (a3 , b3 ) = (a1 , b1 ) + [(a2 , b2 ) + (a3 , b3 )].

(S2) Comutatividade da soma:

(a1 , b1 ) + (a2 , b2 ) = (a2 , b2 ) + (a1 , b1 ).


8 O corpo C dos nmeros complexos e o plano complexo

(S3) Elemento neutro da soma: considere o elemento (0, 0) C e temos

(a1 , b1 ) + (0, 0) = (a1 , b1 ).

(S4) Elemento inverso da soma: para (a1 , b1 ) considere o elemento (a1 , b1 ) C


e temos
(a1 , b1 ) + (a1 , b1 ) = (0, 0).

Denotamos (a1 , b1 ) por (a1 , b1 ).

(P1) Associatividade do produto:

[(a1 , b1 ) (a2 , b2 )] (a3 , b3 ) = (a1 , b1 ) [(a2 , b2 ) (a3 , b3 )].

(P2) Comutatividade do produto:

(a1 , b1 ) (a2 , b2 ) = (a2 , b2 ) (a1 , b1 ).

(P3) Elementro neutro do produto: considere o elemento (1, 0) C e temos

(a1 , b1 ) (1, 0) = (a1 , b1 ).

(P4) Elemento
 inverso
 do produto: para (a1 , b1 ) 6= (0, 0) considere o elemento
a1 b1
a2 +b2
, a2 +b2 e temos
1 1 1 1

 
a1 b1
(a1 , b1 ) , 2 = (1, 0).
a1 + b1 a1 + b21
2 2

 
a1
Denotamos a21 +b21
, a2b+b
1
2 por (a1 , b1 )1 .
1 1

(D) Distributividade

(a1 , b1 ) [(a2 , b2 ) + (a3 , b3 )] = (a1 , b1 ) (a2 , b2 ) + (a1 , b1 ) (a3 , b3 ).

Essas propriedades listadas acima so o motivo pelo qual dizemos que (C, +, ) um
corpo.

Exerccio 2.1.2. Demonstre todas estas propriedades.

Daqui pra frente, omitiremos as operaes e denotaremos o corpo dos nmeros com-
plexos simplesmente por C.
2.1 Definio e propriedades bsicas 9

Exerccio 2.1.3. Mostre as seguintes propriedades adicionais de C:


(a) Temos
(a1 , 0) + (a2 , 0) = (a1 + a2 , 0) e (a1 , 0) (a2 , 0) = (a1 a2 , 0).

Tambm
(0, b1 ) = (0, 1) (b1 , 0).

(b) Para qualquer R temos

(, 0) (a1 , b1 ) = (a1 , b1 ).

(c) Temos
(0, 1) (0, 1) = (1, 0).

Vamos agora ver que essa definio que demos para o corpo dos nmeros complexos
coincide com a definio usual. Para isso, seja (a, b) C, e escrevemos com a ajuda do
item (a) do exerccio acima:

(a, b) = (a, 0) + (0, 1) (b, 0).

Alm disso, os itens (a) e (b) nos permitem identificar o par (a, 0) com o nmero real a,
e definindo i = (0, 1) escrevemos
(a, b) = a + ib,

e note que pelo item (c), temos i2 = 1.


Assim, o corpo C dos nmeros complexos pode ser visto como o conjunto

{z := a + ib : a, b R}, onde i2 = 1,

com as operaes de soma e produto definidas anteriormente.


Exerccio 2.1.4. Reintreprete a definio das operaes de soma e produto, bem como
suas propriedades, com a definio usual dos nmeros complexos. Isto , dados z1 =
a1 + ib1 e z2 = a2 + ib2 em C, quem z1 + z2 ? Quem z1 .z2 ? Como ficam as propriedades
da soma e produto agora?
Observao 2.1.5. Nestas novas notaes, denotamos o inverso multiplicativo z 1 de
um nmero complexo z no-nulo tambm por z1 , que tambm chamado de recproco de
z.
Para um nmero complexo z = a + ib, chamamos a de parte real de z e b de parte
imaginria de z e denotamos por a = Re(z) e b = Imz, assim todo nmero complexo z
10 O corpo C dos nmeros complexos e o plano complexo

pode ser escrito na forma


z = Re(z) + iIm(z).

Um nmero complexo z com Re(z) = 0 chamado de nmero imaginrio puro.


Sejam z1 = a1 + ib1 e z2 = a2 + ib2 dois nmeros complexos. Usando as propriedades
do conjuntos dos pares ordenados, sabemos que z1 = z2 se, e somente se, a1 = a2 e b1 = b2 .

2.2 Geometria em C
Em C podemos tambm colocar uma estrutura geomtrica, que nos possibilita traba-
lhar com distncias e ngulos. Para isso, definimos primeiramente

Definio 2.2.1. Seja z = a + ib C um nmero complexo. Definimos o conjugado de


z como o nmero complexo z dado por

z = a ib,

Alm disso, definimos a norma de z como o nmero real |z| dado por

|z| = a2 + b2 .

Exerccio 2.2.2. Mostre as seguintes propriedades da conjugao e da norma em C:

(a) z1 + z2 = z1 + z2 ; (g) |z| = 0 se, e somente se, z = 0;

(b) z1 z2 = z1 z2 ; (h) |z1 z2 | = |z1 ||z2 |;

(c) z = z; (i) z + z = 2Re(z);

(d) |z| = |z|; (j) z z = 2iIm(z);

(e) z z = |z|2 ; (k) |Re(z)| 6 |z|;


z
(f) z 1 = |z|2
se z 6= 0; (l) |Im(z)| 6 |z|.

Com estas duas novas definies, podemos olhar C como um espao geomtrico, que
pode ser representado no plano da seguinte forma, seja z = a + ib um nmero complexo,
e olhamos o plano cartesiano com o eixo x representando a parte real de z e eixo y
representando a parte imaginria de z
2.2 Geometria em C 11
y
C
z
b

x
a

Figura 1: Representao coordenada e vetorial de z = a + ib.

Assim, o nmero complexo z pode ser visto tanto como o ponto coordenado (a, b) no
plano ou como o vetor (a, b). Assim, podemos definir a distncia entre dois nmeros
complexos z1 e z2 por |z1 z2 |.

2.2.1 A desigualdade triangular


A norma complexa tem uma propriedade muito importante, que a chamada desi-
gualdade triangular, que enunciamos e demonstramos a seguir.

Proposio 2.2.3 (Desigualdade triangular). Sejam z1 , z2 C. Temos

|z1 + z2 | 6 |z1 | + |z2 |.

Demonstrao: Sabemos que

|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) = (z1 + z2 )(z1 + z2 )


= z1 z1 + z1 z2 + z1 z2 + z2 z2
= |z1 |2 + z1 z2 + z1 z2 + |z2 |2
= |z1 |2 + 2Re(z1 z2 ) + |z2 |2
6 |z1 |2 + 2|Re(z1 z2 )| + |z2 |2
6 |z1 |2 + 2|z1 ||z2 | + |z2 |2
= (|z1 | + |z2 |)2 ,

o que mostra o resultado.


Usando a desigualdade triangular, podemos ver tambm que |z1 z2 | 6 |z1 | + |z2 |.

Proposio 2.2.4. Para quaisquer z1 , z2 C, temos |z1 z2 | > ||z1 | |z2 ||.
12 O corpo C dos nmeros complexos e o plano complexo

Demonstrao: Temos

|z1 | = |z1 z2 + z2 | 6 |z1 z2 | + |z2 |,

utilizando o item (i) do exerccio anterior. Assim

|z1 | |z2 | 6 |z1 z2 |.

Analogamente, obtemos |z2 | |z1 | 6 |z1 z2 |, e juntas estas desigualdades nos do

|z1 z2 | > ||z1 | |z2 ||.

O exemplo abaixo ilustra um pouco da teoria de lugar geomtrico, e ser muito til
no Captulo 4.

Exemplo 2.2.5. Mostre que se > 0 e 6= 1, ento o conjunto dos pontos de C que
satisfazem a equao

|z z0 | = |z|, para um z0 C fixado ,

um crculo.
Soluo: Vamos supor que > 1 (o caso < 1 inteiramente anlogo). Assim temos

|z z0 |2 = 2 |z|2 ,

e assim temos
|z|2 2Re(zz0 ) + |z0 |2 = 2 |z|2 .

.
Usando que > 1 podemos definir = 1 2 e reescrever a equao acima da seguinte
maneira
2 1
|z|2 Re(zz0 ) + |z0 |2 = 0,

|z0 |2
o que, somando e subtraindo o termo 2
nos d
z0 2 2 |z0 |2 2
z = |z|2 Re(zz0 ) + 2 = 2 |z0 |2 ,


z0
que a equao de um crculo de centro
e raio |z |.
|| 0
2.3 Representao polar em C 13

2.3 Representao polar em C


At agora, vimos como representar um nmero complexo z = a + ib como o par
ordenado (a, b) no plano complexo, que chamamos de representao cartesiana de z. Mas,
podemos tambm, alternativamente, representar o nmero z em coordenadas polares.
Sabemos que se z = (a, b) ento existem nmeros reais r > 0 e R tais que

a = r cos e b = r sin .

Assim, podemos escrever o nmero complexo z como

z = r cos + ir sin = r(cos + i sin ).

Definindo ei := cos + i sin , escrevemos ento z = rei . Note que para qualquer
R temos
|ei |2 = cos2 + sin2 = 1,

logo r = |z|. Alm disso, um possvel valor para arctan( ab ) e ei(+2n) = ei para
qualquer n Z.
Se z = rei , dizemos que um argumento de z (no nico) e assim, existe um
nico 0 (, ] tal que z = rei0 , e a este 0 chamamos de argumento principal.
Uma das propriedades mais teis desta representao a facilidade em lidar com
produtos e potncias de nmeros complexos, como veremos a seguir:

Proposio 2.3.1. Dados z1 = r1 ei1 e z2 = r2 ei2 , temos

z1 z2 = r1 r2 ei(1 +2 ) ,

e alm disso, se z1 6= 0 temos r1 > 0 e z11 = r11 ei .

Demonstrao: Sabemos que

z1 z2 = r1 r2 (cos 1 + i sin 1 )(cos 2 + i sin 2 ),

logo

z1 z2 = r1 r2 [cos 1 cos 2 sin 1 sin 2 + i(sin 1 cos 2 + sin 2 cos 1 )]


= r1 r2 (cos(1 + 2 ) + i sin(1 + 2 ))
= r1 r2 ei(1 +2 ) .
14 O corpo C dos nmeros complexos e o plano complexo

Para a segunda parte, como z1 6= 0 temos r1 = |z1 | > 0 e ainda

z1 1
z11 = 2
= 2 r1 (cos i sin )
|z1 | r1
= r11 (cos() + i sin()) = r11 ei .

Utilizando esta proposio indutivamente, obtemos a seguinte expresso para potn-


cias de nmeros complexos, cuja demonstrao segue diretamente da proposio anterior.

Proposio 2.3.2. Para cada z = rei C e n Z+ temos

z n = r n ein . (2.3.1)

Alm disso, se z 6= 0, esta expresso vlida para todo n Z.

Ainda, como consequncia direta da expresso (2.3.1) obtemos a frmula de de


Moivre (isto mesmo, so dois de)

(ei )n = ein , para todo n Z.

2.3.1 Igualdade de nmeros complexos na representao polar


Sabemos como lidar com a igualdade de nmeros complexos em coordenadas cartesi-
anas, agora vamos ver como isto se comporta em coordenadas polares.

Proposio 2.3.3. Sejam z1 = r1 ei1 e z2 = r2 ei2 nmeros complexos. Ento z1 = z2


se, e somente se, r1 = r2 e 1 = 2 + 2m, para algum m Z.

Demonstrao: Sabemos que

z1 = r1 cos 1 + ir1 sin 1 e z2 = r2 cos 2 + i sin 2 ,

e da igualdade de nmeros complexos, temos

r1 cos 1 = r2 cos 2 e r1 sin 1 = r2 sin 2 ,

logo, como r1 = |z1 | = |z2 | = r2 , temos r1 = r2 e

cos 1 = cos 2 e sin 1 = sin 2 ,

o que implica que existe m Z tal que 1 = 2 + 2m. A recproca trivial.


2.3 Representao polar em C 15

2.3.2 Razes de nmeros complexos


Suponhamos que temos n > 2 e w = rei 6= 0 um nmero complexo dado. Quantas
possveis solues a equao z n = w possui?
1
Tendo em vista a expresso (2.3.1), sabemos que uma soluo dada por z = r n ei n .
Mas esta claramente no a nica soluo, e de fato, todos os nmeros
1 +2k
zk = r n ei n , para 0 6 k 6 n 1 (2.3.2)

so solues de z n = w.

Proposio 2.3.4. Os nmeros complexos dados em (2.3.2) so as nicas solues da


equao z n = w.

Demonstrao: J sabemos que todos os zk , k = 0, , n 1 so solues da equao


z n = w. Agora seja z1 = r1 ei1 uma soluo qualquer de z n = w. Temos que z1n = r1n ein1
e assim temos r1n = r e n1 = + 2m, para algum m Z, portanto
1 +2m
z1 = r n ei n ,

e claramente podemos tomar 0 6 m 6 n 1, o que conclui a demonstrao.


16 O corpo C dos nmeros complexos e o plano complexo
Captulo

3
Funes de uma varivel complexa

Este captulo dedicado ao estudo das funes de varivel complexa, que muito mais
rico do que simplesmente funes de R2 a R2 , como vamos a ver no que segue.

3.1 Definies bsicas


No que segue vamos considerar G C e f : G C uma funo. Dizemos ento que f
uma funo complexa de uma varivel complexa, ou simplesmente, uma funo
complexa.

Exemplo 3.1.1.

1. Seja f : C C dada por f (z) = z 2 + iz. Temos neste caso f (0) = 0, f (i) =
i2 + i i = 2i2 = 2, e assim por diante.

2. f : C C dada por f (z) = i.

1
3. Fixe w C e considere f : C \ {w} C dada por f (z) = zw
.

O conjunto G chamado domnio de f , e o conjunto f (G) dos pontos {f (z) : z


G} C chamado de imagem de G por f . Quando nada especificado, assumimos
que o domnio da funo f o maior subconjunto de C no qual f est bem definida. Por
exemplo, considerando f (z) = z 2z+1 , o domnio de f o C \ {i, i}; uma vez que z 2 + 1
0 para z = i.
Claramente, como R C, toda funo real pode ser vista como uma funo complexa.
Alm disso, as funes complexas podem ser vistas como funes definidas no plano, da
seguinte maneira: seja f : G C uma funo complexa. Se escrevemos z = x + iy e
18 Funes de uma varivel complexa

f (z) = u + iv, podemos olhar a funo f como uma funo de duas variveis, dada por

f (x, y) = u(x, y) + iv(x, y).

A funo u chamada de parte real de f , enquanto a funo v chamada de parte


imaginria de f
Exemplo 3.1.2. Encontre as partes real e imaginria da funo f (z) = z 2 + iz.
Escrevendo z = x+iy, temos f (x+iy) = (x+iy)2 +i(x+iy) = x2 y 2 y +i(2xy +x),
logo temos u(x, y) = x2 + y 2 y e v(x, y) = 2xy x.

3.1.1 A funo exponencial


Consideremos a funo f : C C definida da seguinte maneira: escrevendo z = x+iy,
definimos
f (x + iy) = ex eiy = ex (cos y + i sin y),

que denotamos por f (z) = ez . Tal funo chamada de funo exponencial complexa.
Como ex > 0 para todo x R, vemos que ez 6= 0, para todo z C. Ainda, suas partes
real e imaginria so, respectivamente u(x, y) = ex cos y e v(x, y) = ex sin y.
Temos tambm que |ez | = ex = eRe(z) , para todo z C; logo |eiy | = 1 para todo y R.
Proposio 3.1.3. Para todos z1 , z2 C, temos

ez1 +z2 = ez1 ez2 .

Demonstrao: Escrevemos z1 = x1 + iy1 e z2 = x2 + iy2 , temos

ez1 +z2 = ex1 +x2 ei(y1 +y2 )


= ex1 ex2 eiy1 eiy2 = ex1 eiy1 ex2 eiy2 = ez1 ez2 ,

aonde utilizamos a propriedade da exponencial real e a Proposio 2.3.1.


Uma curiosidade interessante a respeito da exponencial complexa que ela peridica,
uma vez que ez+2i = ez , para todo z C. Logo ela peridica com perodo imaginrio
puro 2i.

3.2 Limites
Definio 3.2.1. Dizemos que o limite de uma funo complexa f quando z tende a z0
L, e denotamos por
lim f (z) = L,
zz0
3.2 Limites 19

quando dado > 0 existe > 0 tal que |f (z) L| < sempre que 0 < |z z0 | < .

Critrio de no-existncia de limite: Se f se aproxima de dois nmeros complexos


L1 6= L2 quando tomamos dois caminhos diferentes chegando at z0 , ento limzz0 f (z)
no existe.

Exemplo 3.2.2. Mostre que limz0 zz no existe.


Soluo: Consideramos o limite olhando somente o eixo real; isto , assuma que
z = x = x + 0i. Assim, temos z = x e temos, para x se aproximando de zero (mas x no
zero):
z x
lim = lim = 1.
z0 z x0 x

Agora, consideramos o limite olhando o eixo imaginrio; isto , assumimos que z =


iy = 0 + iy. Neste caso, z = iy e temos, para y se aproximando de zero (mas y no
zero):
z iy
lim = lim = 1.
z0 z y0 iy

Logo, pelo critrio de no-existncia do limite, segue que limz0 zz no existe.

Exemplo 3.2.3. Mostre, usando a definio, que lim z 2 = 1.


z1
Soluo: Dado > 0, nosso trabalho encontrar um nmero real > 0, tal que
|z 2 1| < , sempre que |z 1| < . Mas z 2 1 = (z + 1)(z 1) e, supondo que
0 < |z 1| < < 1, sabemos que

1 > > |z 1| = |z + 1 2| > |z + 1| 2,

logo |z + 1| < 3 e assim |z 2 1| = |z + 1||z 1| < 3, e escolhendo ainda < 3 , temos

|z 2 1| < , sempre que 0 < |z 1| < .

Proposio 3.2.4. Suponha que f e g sejam funo complexas. Se lim f (z) = L e


zz0
lim g(z) = M, temos
zz0

(a) lim cf (z) = cL, onde c um nmero complexo qualquer fixado;


zz0

(b) lim (f (z) + g(z)) = L + M;


zz0

(c) lim f (z) g(z) = L M e


zz0

f (z) L
(d) lim = , desde que M 6= 0.
zz0 g(z) M
20 Funes de uma varivel complexa

Demonstrao: Provemos primeiramente (a). Se c = 0, nada temos a fazer, j que


trivial ver que lim 0 = 0, para qualquer que seja z0 C. Assuma ento que c 6= 0 e dado
z z0

> 0, da definio de limite, existe > 0 tal que se 0 < |z z0 | < temos |f (z) L| < |c|
.
Assim, segue que

|cf (z) cL| = |c||f (z) L| < |c| = ,
|c|
o que mostra (a).
Deixamos as demonstraes de (b), (c) e (d) como exerccios para o leitor.
Uma maneira til de se verificar o limite de uma funo complexa, usar a teoria de
funes em duas variveis, e o seguinte resultado mostra exatamente isso.

Teorema 3.2.5. Sejam f uma funo complexa, com f = u+iv, z0 = x0 +iy0 e L = a+ib
nmeros complexos, e escrevemos z = x + iy. Ento lim f (z) = L se, e somente se,
zz0

lim u(x, y) = a e lim v(x, y) = b.


(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )

Demonstrao: Assuma que lim f (z) = L, ento isso quer dizer que dado > 0, existe
zz0
> 0 tal que se 0 < |z z0 | < temos |f (z) L| < . Mas temos
p
|z z0 | = (x x0 )2 + (y y0 )2 = k(x, y) (x0 , y0 )kR2

e
p
|f (z) L| = (u(x, y) a)2 + (v(x, y) b)2 .

Assim, fcil ver que |u(x, y) a| 6 |f (z) L| e |v(x, y) b| 6 |f (z) L| e portanto


segue que

|u(x, y) a| < e |v(x, y) b| < , sempre que 0 < k(x, y) (x0 , y0 )kR2 < ,

ou seja, lim u(x, y) = a e lim v(x, y) = b. A recproca fica como exerccio


(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
para o leitor.

Exemplo 3.2.6. Mostre que lim z 2 = 1, usando o teorema acima.


z1
Soluo: Sabemos que se z = x + iy, temos z 2 = x2 y 2 + i2xy e portanto neste caso
u(x, y) = x2 y 2 e v(x, y) = 2xy. Quando z 1 = 1 + i0 temos que (x, y) (1, 0),
consequentemente
lim u(x, y) = lim (x2 y 2) = 1,
(x,y)(1,0) (x,y)(1,0)

e
lim v(x, y) = lim 2xy = 0,
(x,y)(1,0) (x,y)(1,0)
3.3 Continuidade 21

portanto lim z 2 = 1 + i0 = 1.
zz0

3.3 Continuidade
Definio 3.3.1. Dizemos que uma funo complexa f contnua em um ponto z0
do seu domnio, se
lim f (z) = f (z0 ).
zz0

Quando f contnua em todos os pontos de seu domnio, dizemos simplesmente que


f contnua.

Observao 3.3.2. Lembre-se que, para garantir que uma funo complexa f contnua
em um ponto z0 , precisamos verificar trs coisas:

1. lim f (z) existe;


zz0

2. f est definida no ponto z0 ; isto , z0 est no domnio de f ;

3. lim f (z) = f (z0 ).


zz0

Exemplo 3.3.3. A funo f (z) = z 2 contnua em z0 = 1.


Soluo: Sabemos que lim z 2 existe e que z0 = 1 est no domnio de f (z) = z 2 .
z1
Ainda, j mostramos que lim z 2 = 1, o que mostra que z 2 contnua em z0 = 1.
z1

Exemplo 3.3.4 (O logaritmo complexo). Definimos o logaritmo principal complexo


de um nmero complexo z por

.
Log(z) = ln |z| + iArg(z).

A funo Log(z) est definida para todo nmero complexo no-nulo; porm, notemos
que ela descontnua no eixo real negativo.
Soluo: De fato, assuma que z0 = x, x > 0, um nmero complexo no eixo real
negativo. Vamos nos aproximar de z0 por valores no crculo de raio x, com parte real
positiva; isto , com valores da forma z = xei onde se aproxima de , por valores
menores do que . Temos
Log(z) = ln x + i,

e portanto limzz0 Log(z) = lim [ln x + i] = ln x + i.


Analogamente, se z se aproxima de z0 pelo crculo de raio x, com parte real negativa;
isto , com valores da forma z = xei onde se aproxima de , temos limzz0 Log(z) =
lim [ln x + i] = ln x i.
22 Funes de uma varivel complexa

Do critrio de no-existncia do limite, segue que limzz0 Log(z) no existe, e portanto


Log(z) no contnua no eixo real negativo.

Usando a Proposio 3.2.4 podemos enunciar algumas propriedades bsicas de funes


contnuas:

Proposio 3.3.5. Suponha que f e g sejam funo complexas contnuas em um ponto


z0 , ento:

(a) cf contnua em z0 , onde c um nmero complexo qualquer fixado;

(b) f + g contnua em z0 ;

(c) f g contnua em z0 e
f
(d) g
contnua em z0 , desde que g(z0 ) 6= 0.

Com essa proposio, podemos provar a continuidade de uma grande classe de funes,
como veremos no exemplo a seguir:

Exemplo 3.3.6. Sabemos que a funo f (z) = z contnua em todos os pontos de C,


assim usando o item (c) da proposio acima, qualquer funo z n contnua, para n N.
Usando os item (a) e (b), vemos que qualquer funo complexa polinomial do tipo
p(z) = c0 + c1 z + + cn z n contnua.
Por fim, usando o item (d), qualquer funo complexa do tipo p(z)
q(z)
contnua, onde
p(z), q(z) so funo complexas polinomiais, em todos os pontos z0 nos quais q(z0 ) 6= 0.
Estas funes so chamadas de funes racionais.

Por fim, podemos usar o Teorema 3.2.5 para dar um critrio que estabelece a conti-
nuidade de funes complexas, utilizando a teoria de clculo em duas variveis.

Teorema 3.3.7. Seja f uma funo complexa com f = u + iv e z0 = x0 + iy0 . Ento


f (z) contnua em z0 se, e somente se, u(x, y) e v(x, y) so contnuas em (x0 , y0 ).

3.4 Diferenciabilidade
Para introduzir o conceito de diferenciabilidade, precisamos antes do conceito de vizi-
nhana:

Definio 3.4.1. Seja z0 um nmero complexo. Uma bola aberta de centro em z0 e


raio r > 0 o conjunto definido por

.
Br (z0 ) = {z C : |z z0 | < r}.
3.4 Diferenciabilidade 23

Uma bola aberta de centro em z0 e raio qualquer tambm chamada de vizinhana


de z0 e dizemos que um subconjunto D C aberto, se para cada ponto z0 D existe
uma vizinhana de z0 inteiramente contida em D; isto , para cada z0 D existe um
r > 0 tal que Br (z0 ) D.
y
C
z0

Figura 2: Vizinhana de um ponto z0 .

Definio 3.4.2. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 . Dizemos que f diferencivel no ponto z0 se existe o limite

f (z) f (z0 )
lim ,
zz0 z z0

e neste caso denotamos este limite por f (z0 ); isto

f (z) f (z0 )
f (z0 ) = lim .
zz0 z z0

Quando f diferencivel em todos os pontos do seu domnio dizemos simplesmente


que f diferencivel.

d
Observao 3.4.3. Tambm denotamos a derivada f (z) por f (z).
dz
Exemplo 3.4.4. Mostre que f (z) = z 2 diferencivel e que f (z) = 2z, para todo z C.
Soluo: Notemos que, para z0 C fixado, temos

f (z) f (z0 ) z 2 z02 (z z0 )(z + z0 )


= = = z + z0 ,
z z0 z z0 z z0

sempre que z 6= z0 . Portanto

f (z) f (z0 )
lim = lim z + z0 = 2z0 ,
zz0 z z0 zz0
24 Funes de uma varivel complexa

e logo f diferencivel em z0 e f (z0 ) = 2z0 . Como z0 arbitrrio, segue que f


diferencivel em todos os pontos de C e que f (z) = 2z.

O exemplo a seguir mostra que os Teoremas 3.2.5 e 3.3.7 no tm um correspondente


quando tratamos da diferenciabilidade de funes complexas.

Exemplo 3.4.5. Considere a funo complexa definida por f (x+iy) = x+i4y. Mostremos
que esta funo no diferencivel em nenhum ponto de C.
De fato, seja z0 = x0 + iy0 C um nmero complexo arbitrrio fixado. Consideramos
f (z) f (z0 )
primeiramente o limite lim usando o caminho z = x0 + iy. Temos
zz0 z z0

f (z) f (z0 ) x0 + i4y (x0 i4y0 ) i4(y y0 )


lim = lim = lim = 4.
zz0 z z0 yy0 x0 + iy (x0 iy0 ) yy0 i(y y0 )

Agora, tomando z = x + i4y0 temos

f (z) f (z0 ) x + i4y0 (x0 i4y0 ) x x0


lim = lim = lim = 1,
zz0 z z0 xx0 x + iy0 (x0 iy0 ) xx0 x x0

e usando o critrio de no-existncia do limite, vemos que esta funo no diferencivel


em z0 .

O prximo resultado mostra que diferenciabilidade mais forte do que continuidade;


isto , uma funo diferencivel num ponto z0 automaticamente contnua neste ponto.

Proposio 3.4.6. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 C. Se f diferencivel em z0 ento f contnua em z0 .

Demonstrao: Temos que

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

f (z) f (z0 )
e como f diferencivel, existe o limite lim e do item (c) da Proposio
zz0 z z0
3.2.4, segue que

f (z) f (z0 )
lim (f (z) f (z0 )) = lim lim (z z0 ) = 0.
zz0 zz0 z z0 zz
| 0 {z }
=0

Vejamos agora alguma regras de diferenciao, que so muito teis no clculo de


derivadas e cuja demonstrao fica como exerccio para o leitor:
3.4 Diferenciabilidade 25

Proposio 3.4.7 (Regras de derivao). Sejam f e g duas funes complexas diferen-


civeis e c um nmero complexo fixado. Temos
d
(a) c = 0;
dz
d
(b) (cf (z)) = cf (z);
dz
d
(c) (f (z) + g(z)) = f (z) + g (z);
dz
d
(d) (f (z) g(z)) = f (z) g(z) + f (z) g (z);
dz
 
d f (z) f (z)g(z) f (z)g (z)
(e) = , desde que g(z) 6= 0 na vizinhana de z0 .
dz g(z) [g(z)]2
Uma outra propriedade importante das derivada a Regra da cadeia, que enunciamos
a seguir.

Teorema 3.4.8 (Regra da cadeia). Sejam f e g funes complexas, com g definida numa
vizinhana de z0 , diferencivel em z0 e f definida numa vizinhana de g(z0 ) e diferencivel
em g(z0 ). Ento a composta f g diferencivel em z0 e

d
(f g)(z0 ) = f (g(z0 ))g (z0 ).
dz
Demonstrao: Como g diferencivel em z0 , g contnua em z0 e temos lim (g(z)
zz0
g(z0 )) = 0, assim

(f g)(z) (f g)(z0 ) f (g(z)) f (g(z0 ))


lim = lim
zz0 z z0 zz0 z z0
f (g(z)) f (g(z0 )) g(z) g(z0 )
= lim
zz0 g(z) g(z0 ) z z0
() f (g(z)) f (g(z0)) g(z) g(z0 )
= lim lim
zz0 g(z) g(z0 ) zz0 z z0
= f (g(z0 ))g (z0 ),

onde em () utilizamos a diferenciabilidade de f em g(z0 ) e de g em z0 .

Observao 3.4.9. Note que esta demonstrao no est completamente correta; melhor
dizendo, ela s verdadeira se assumirmos que g(z) 6= g(z0 ) para 0 < |z z0 | < r, para
algum r > 0. Caso contrrio, no podemos dividir a expresso por g(z) g(z0 ).

Exerccio 3.4.10. D uma demonstrao mais precisa deste resultado, que no exclua o
caso que mencionamos acima.
26 Funes de uma varivel complexa

Usando o item (c) das regras de derivao fcil mostrar a regra de diferenciao para
potncias:
d n
z = nz n1 , para todo n N.
dz
Alm disso, usando o item (e), podemos ver que

d 1 d 1 1
z = = 2 = z 2 ,
dz dz z z
e indutivamente podemos mostrar que a regra acima vale tambm para inteiros negativos.
Logo temos
d n
z = nz n1 , para todo n Z.
dz

3.5 Analiticidade
Agora veremos o conceito de analiticidade, que de extrema importncia quando
trabalhamos com funes complexas.

Definio 3.5.1. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 C. Dizemos que f analtica no ponto z0 se f diferencivel numa vizinhana
de z0 .

Observao 3.5.2 (Cuidado!). Note aqui uma diferena sutil, mas de extrema impor-
tncia, entre as definies de diferenciabilidade e analiticidade. Para que f seja analtca
em z0 ela deve ser diferencivel em todos os pontos de uma vizinhana de z0 , e no so-
mente no ponto z0 .

Definio 3.5.3. Seja f : D C C uma regio definida num conjunto aberto D. Se f


analtica em todos os pontos de D dizemos simplesmente que f analtica em D. Uma
funo analtica em todo o plano complexo C tambm chamada de funo inteira.

Exemplo 3.5.4.

1. Toda funo polinomial p(z) = c0 + c1 z + + cn z n , com n N inteira.


p(z)
2. Uma funo racional da forma f (z) = q(z)
analtica no aberto D definido por
C \ {z0 C : q(z0 ) = 0}.

Com estas definies, podemos enunciar o seguinte:

Proposio 3.5.5. Sejam f, g : D C duas funes analticas num conjunto aberto


D C. Ento as funes cf , onde c um nmero complexo fixado, f + g e f g so
analticas em D. Ainda, se g(z) 6= 0 para todo z D, a funo fg analtica em D.
3.5 Analiticidade 27

Ainda, uma regra importante usada no clculo de limites a Regra de LHpital, dada
abaixo

Proposio 3.5.6 (Regra de LHpital). Sejam f e g funes analticas num ponto z0


com f (z0 ) = g(z0) = 0 e assuma que g (z0 ) 6= 0. Ento

f (z) f (z0 )
lim = .
zz0 g(z) g (z0 )

Demonstrao: Exerccio.

3.5.1 Equaes de Cauchy-Riemann

Usando as partes real e imaginria de uma funo complexa, podemos estabelecer um


critrio para decidir quando uma funo f no diferencivel em um determinado ponto
z0 .

Teorema 3.5.7 (Equaes de Cauchy-Riemann). Assuma que a funo complexa f =


u + iv diferencivel no ponto z0 = x0 + iy0 . Ento as derivadas parciais de u e v em
(x0 , y0) satisfazem as equaes de Cauchy-Riemann:

u v u v
(x0 , y0) = (v0 , y0 ) e (x0 , y0 ) = (x0 , y0 );
x y y x

ou resumidamente ux = vy e uy = vx .

Demonstrao: Como f diferencivel em z0 , existe o limite

f (z) f (z0 ) u(x, y) + iv(x, y) u(x0 , y0 ) iv(x0 , y0 )


f (z0 ) = lim = lim .
zz0 z z0 (x,y)(x0 ,y0 ) x + iy x0 iy0

Sabemos tambm que como este limite existe, ele existe independente de que caminho
em C tomamos; isto , podemos tomar y = y0 fixo e temos

u(x, y0 ) + iv(x, y0 ) u(x0 , y0) iv(x0 , y0 )


f (z0 ) = lim
xx0 x x0
u(x, y0 ) u(x0 , y0) v(x, y0 ) v(x0 , y0 )
= lim + i lim
xx0 x x0 xx0 x x0
u v
= (x0 , y0 ) + i (x0 , y0 ).
x x
28 Funes de uma varivel complexa

Agora, tomando x = x0 fixado, temos

u(x0 , y) + iv(x0 , y) u(x0 , y0) iv(x0 , y0)


f (z0 ) = lim
yy0 i(y y0 )
u(x0 , y) u(x0 , y0 ) v(x0 , y) v(x0 , y0 )
= lim + i lim
yy0 i(y y0 ) yy0 i(y y0 )
v(x0 , y) v(x0 , y0 ) u(x0 , y) u(x0 , y0)
= lim i lim
yy0 y y0 yy0 y y0
v u
= (x0 , y0) i (x0 , y0 ).
y y

Igualando as duas expresses obtemos o resultado desejado.

Observao 3.5.8 (Cuidado!). Este resultado no diz quando uma funo f diferen-
civel, ele simplesmente um critrio para definir quando uma funo f no diferencivel
em um ponto z0 , a saber, se uma funo f no satisfaz as equaes de Cauchy-Riemann
num ponto z0 ento f no diferencivel em z0 .

Exemplo 3.5.9. Mostre que a funo complexa definida por f (x + iy) = x + i4y no
diferencivel em nenhum ponto de C usando as equaes de Cauchy-Riemann.
Soluo: Neste caso temos u(x, y) = x e v(x, y) = 4y. Assim ux (x, y) = 1, uy (x, y) =
0, vx (x, y) = 0 e vy (x, y) = 4 e como ux 6= vy em todos os pontos de C, segue que f no
satisfaz as equaes de Cauchy-Riemann em nenhum ponto, portanto f no diferencivel
em nenhum ponto de C.

Podemos no entanto, utilizar algumas condies a mais para ter a recproca deste
resultado, isto , utilizando as equaes de Cauchy-Riemann, sermos capazes de dizer
quando a funo diferencivel. Este o contedo do prximo resultado.

Teorema 3.5.10 (Equaes de Cauchy-Riemann v.2). Suponha que f = u + iv seja


uma funo complexa, seja z0 = x0 + iy0 e assuma que u(x, y), v(x, y) so funes con-
tinuamente diferenciveis; isto , contnuas com todas as derivadas parciais de ordem 1
ux , uy , vx e vy contnuas em uma vizinhana de (x0 , y0 ). Se u e v satisfazem as equaes
de Cauchy-Riemann no ponto (x0 , y0) ento f diferencivel em z0 e ainda

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

Exemplo 3.5.11. Encontre os pontos nos quais a funo complexa f (z) = |z|2 diferen-
civel.
Soluo: Neste caso, sabemos que f (x + iy) = x2 + y 2 , logo u(x, y) = x2 + y 2 e
3.5 Analiticidade 29

v(x, y) = 0. Assim temos

ux (x, y) = 2x, uy (x, y) = 2y, vx (x, y) = 0 e vy (x, y) = 0,

assim u e v satisfazem as equaes de Cauchy-Riemann somente se x = y = 0. Portanto


f (z) = |z|2 diferencivel somente em z = 0.

No que segue, sempre mencionaremos a palavra domnio, que definimos a seguir:

Definio 3.5.12. Um domnio D um subconjunto aberto de C que conexo; isto ,


um conjunto aberto que no pode ser escrito como unio de dois abertos disjuntos.

Observao 3.5.13. Equivalentemente, um domnio um conjunto aberto com a seguinte


propriedade: para cada par de pontos distintos z, w D existe uma funo contnua
: [0, 1] D tal que (0) = z e (1) = w.

Com esta definio, podemos enunciar o seguinte resultado

Proposio 3.5.14. Suponha que f seja uma funo analtica num domnio D.

(a) Se |f (z)| constante em D ento f tambm .

(b) Se f (z) = 0 em D ento f constante em D.

Demonstrao: As provas destes resultado seguem basicamente das equaes de Cauchy-


Riemann. Provemos primeiramente (a) e para isso, sabemos que para f = u + iv temos,
como |f (z)| = c para algum nmero complexo c

c2 = |f (z)|2 = u2 (x, y) + v 2 (x, y).

Se c = 0, nada temos a fazer, ento podemos supor que c 6= 0 e derivando a expresso


acima em x e y separadamente, temos
(
uux + vvx = 0
.
uuy + vvy = 0

Como u e v satisfazem as equaes de Cauchy-Riemann, substituindo vx por uy e vy


por ux nas equaes acima, obtemos
(
uux vuy = 0
.
uuy + vux = 0
30 Funes de uma varivel complexa

Multiplicando a primeira equao por u, a segunda por v e somando as duas equaes


temos 0 = u2 ux + v 2 ux = (u2 + v 2 )ux = c2 ux , e como c2 > 0 segue que ux = 0. Analo-
gamente mostramos que uy = 0 e novamente, as equaes de Cauchy-Riemann implicam
que vx = 0 e vy = 0. Portanto, usando a teoria de clculo em duas variveis, sabemos que
u e v so constantes, o que mostra que f constante.
A prova de (b) anloga, e fica como exerccio ao leitor.
Captulo

4
Transformaes de Mbius

Em muitas aplicaes que envolvem problemas de valores de contorno associados


equao de Laplace, necessrio encontrar aplicaes conformes; isto , que preservam
ngulos entre curvas, que levam um disco no semiplano y > 0. Tal aplicao deve levar a
fronteira do disco na reta de fronteira no semiplano. Uma classe importante de aplicaes
conformes elementares que levam crculos em linhas, e vice-versa, so as transformaes
de Mbius, ou tambm conhecidas como transformaes lineares fracionrias.
Neste captulo vamos definir e estudar esta classe especial de aplicaes.

4.1 Definies e propriedades bsicas


Definio 4.1.1. Sejam a, b, c e d nmeros complexos com ad bc 6= 0, ento a funo
complexa definida por
az + b
T (z) =
cz + d
chamada uma transformao de Mbius.
Se c = 0, ento a transformao de Mbius T (z) uma transformao linear afim;
logo, toda aplicao linear afim uma transformao de Mbius. Agora veremos que
qualquer transformao de Mbius dada por compostas de transformaes lineares afins
e da funo g(z) = z1 .
Teorema 4.1.2. Sejam a, b, c e d nmeros complexos com ad bc 6= 0 e considere a
transformao de Mbius T (z) = az+b
cz+d
. Ento existem duas transformaes lineares afins
S, R tais que
T (z) = S g R(z),

onde g(z) = 1z .
32 Transformaes de Mbius

Demonstrao: Podemos reescrever T (z) da seguinte forma

bc ad 1 a
T (z) = + ,
c cz + d c
bcad a
e definindo = c
e= c
tomamos

S(z) = z + e R(z) = cz + d,

logo simples verificar que T = S g R.


Claramente vemos que o domnio de T o conjuntos dos nmeros complexos menos o
ponto z = dc ; j que a funo T no est definida neste ponto.

Observao 4.1.3. Apesar de no termos visto a definio precisa de aplicaes con-


formes, possvel mostrar que T satisfaz esta propriedade; e para isto, de fundamental
importncia que ad bc 6= 0.

Alm da observao acima, mostramos mais uma propriedade importante que segue
do fato ad bc 6= 0.

Proposio 4.1.4. Uma transformao de Mbius injetora no seu domnio.

Demonstrao: De fato, suponha que T (z) = az+b cz+d


com ad bc 6= 0. Garantimos que
1
existe uma transformao linear afim H tal que H T (z) = cz+d , para todo z no domnio
de T .
De fato, da demonstrao do Teorema 4.1.2 sabemos que

bc ad 1 a
T (z) = + ,
c cz + d c
c a 1
logo, definindo H(z) = bcad
z bcad
temos que H T (z) = cz+d
.
Assim, sejam z1 , z2 nmeros complexos no domnio de T tais que T (z1 ) = T (z2 ). Do
que provamos acima temos

1 1
= H T (z1 ) = H(T (z1)) = H(T (z2)) = H T (z2 ) = ,
cz1 + d cz2 + d

e portanto z1 = z2 , o que prova que T injetora no seu domnio.


Se c 6= 0, temos a seguinte situao: escrevamos T da seguinte maneira

az + b 1 az + b 1
T (z) = = d
= (z) ,
cz + d c z+ c z + dc
4.2 Propriedade de preservao de crculos 33

onde (z) = 1c (az + b). Como ad bc 6= 0, vemos que ( dc ) 6= 0 e portanto

lim T (z) = .
z dc

Ainda, vemos que


a + zb a
lim T (z) = lim d
= ,
z z c +
z
c
e assim, usando estas duas ltimas relaes, podemos definir T em todo o plano complexo
estendido (isto , o plano complexo unido com o smbolo ) da seguinte maneira

az + b d


, se z 6= , z 6= ;
cz + d c


T (z) = , d (4.1.1)
se z = ;


c

a
, se z = .
c
Exemplo 4.1.5. Encontre a imagem dos pontos 0, 1 + i, i e pela transformao de
Mbius dada por
2z + 1
T (z) = .
zi
Soluo: Temos
20+1
T (0) = =i e T (1 + i) = 3 + 2i.
0i
Para os pontos restantes, identificamos a = 2, b = 1, c = 1 e d = i; assim dc = i e
a
c
= 2; logo  
d a
T (i) = T = e T () = = 2.
c c

4.2 Propriedade de preservao de crculos


No difcil ver que transformaes lineares afins levam retas em retas e crculos em
crculos. Para termos um estudo de como retas e crculos se comportam sob a ao de
transformaes de Mbius, primeiramente vamos estudar este comportamento conside-
rando primeiramente a funo g(z) = z1 . Para isto, faremos alguns resultados:
Proposio 4.2.1 (Eixos real e imaginrios). A funo g(z) = 1z leva o eixo real estendido
no eixo real estendido e o eixo imaginrio estendido no eixo imaginrio estendido.
Demonstrao: Claramente

1 1
g(x + i0) = = ,
x + i0 x
34 Transformaes de Mbius

logo g leva o eixo real estendido no eixo real estendido. A anlise para o eixo imaginrio
totalmente anloga.

Proposio 4.2.2 (Retas verticais com x0 6= 0). Seja r = {z = x0 + iy} uma reta
vertical qualquer no plano complexo estendido com x0 6= 0. Ento a imagem de r pela
funo g(z) = 1z um crculo contendo o ponto z = 0.

Demonstrao: Temos

1 x0 iy
g(x0 + iy) = = 2 ,
x0 + iy x0 + y 2

e por clculos simples podemos mostrar que



g(x0 + iy) 1 = 1 ,

2x0 2|x0 |

e portanto a imagem da reta r por g um crculo. Como a reta r ilimitada, o ponto


do plano complexo estendido pertence r e como g() = 0, segue que 0 pertence ao
crculo.

Proposio 4.2.3 (Retas horizontais com y0 6= 0). Seja r = {z = x + iy0 } uma reta
horizontal qualquer no plano complexo estendido com y0 6= 0. Ento a imagem de r pela
funo g(z) = 1z um crculo contendo o ponto z = 0.

Demonstrao: Anloga proposio anterior, obtemos



g(x + iy0 ) + i 1 = 1 .

2y0 2|y0|

Agora o prximo passo ver como a funo g(z) = 1z age sobre crculos. Como
g 1(z) = g(z) para todo z no plano complexo estendido, temos facilmente o nosso primeiro
resultado, cuja demonstrao segue do que fizemos acima, e deixada a cargo do leitor.

Proposio 4.2.4 (Crculos contendo 0). Seja C um crculo no plano complexo com
0 C. Ento g(z) = 1z leva C em uma reta horizontal ou vertical.

Agora, vejamos os outros casos.


1
Proposio 4.2.5 (Crculos centrados em 0). A funo g(z) = z
leva crculos centrados
em 0 em crculos centrados em zero.

Demonstrao: Seja C = {z = rei : [0, 2]}, para algum r > 0. Assim g(z) =
1
rei
= r 1 ei , que est no crculo de raio r 1 centrado em 0.
4.2 Propriedade de preservao de crculos 35

Proposio 4.2.6 (Crculos no contendo e no centrados em 0). A funo g(z) = 1z leva


crculos no contendo e no centrados em 0 em crculos no contendo e no centrados em
0.

Demonstrao: Considere um crculo C no contendo e no centrado em 0, que tem


como equao |z z0 | = r. Como C no contm 0, sabemos que |z0 | =
6 r, e como C no
est centrado em 0, z0 6= 0.
Temos
1 1 1
g(z) = =
|z z0 | r 1
= ,
z0 z z0 |z||z0 | |z0 | z
6 r, segue que |zr0 | 6= 1 e o Exemplo 2.2.5 nos diz que a imagem de C por g
e como |z0 | =
um crculo no centrado em 0 e no contendo 0.
Com estes resultados, fica simples verificar que estas mesmas propriedades valem para
transformaes de Mbius gerais. Estas propriedades esto no seguinte resultado, cuja
demonstrao fica a cargo do leitor.

Teorema 4.2.7. Seja T uma transformao de Mbius da forma (4.1.1), ento:

1. se C um crculo, a imagem de C por T ou um crculo ou uma reta no plano


estendido. A imagem uma reta se, e somente se, c 6= 0 e o ponto z = dc est no
crculo C;

2. se r uma reta, a imagem de r por T ou uma reta ou um crculo no plano


estendido. A imagem um crculo se, e somente se, c 6= 0 e o ponto z = dc no
est na reta r.

Alm disso, se fixarmos trs pontos z1 , z2 , z3 em C (ou em r) e especificarmos T z1 , T z2 e


T z3 , a transformao T nica.

Exemplo 4.2.8. Encontre a imagem do crculo unitrio |z| = 1 pela transformao de


Mbius T (z) = z1z+2
. Qual a imagem do interior |z| < 1 deste crculo?
Soluo: O ponto z = dc = 1 est no crculo unitrio |z| = 1, ento pelo Teorema
4.2.7 a imagem deste crculo uma reta. Como qualquer reta determinada por dois
pontos, encontremos dois valores na imagem de T para encontr-la. Temos T (1) = 12
e T (i) = 12 i 32 , logo a imagem de T a reta r = { 12 + iy : y R}.
Para responder a ltima pergunta, escolhemos um ponto de teste no disco unitrio
|z| < 1; por exemplo, z = 0. Assim T (0) = 2, que est a esquerda da reta r, portanto a
imagem do disco |z| < 1 o semiplano {z C : Re(z) < 12 }.

Exemplo 4.2.9. Encontre a imagem do crculo |z| = 2 pela transformao de Mbius


T (z) = z+2
z1
. Qual a imagem do disco |z| < 2 por T ?
36 Transformaes de Mbius

.
Soluo: O ponto z = dc = 1 no est no crculo C = {z C : |z| = 2}, ento
o Teorema 4.2.7 garante que a imagem de C um crculo, que chamamos de C. Neste
caso, para encontrar a descrio exata de C, notemos que C simtrico com respeito ao
eixo real; isto , se z est em C, ento z tambm est.
Ainda, observamos que
 
z+2 z+2
T (z) = = = T (z),
z1 z1

assim, se z C ento ambos T (z) e T (z) = T (z) esto em C. Logo, conclumos que C
simtrico com respeito ao eixo real. Como z = 2 e z = 2 esto em C e T (2) = 4,
T (2) = 0, conclumos que C o crculo de centro em 2 e raio 2; isto ,

C = {z C : |z 2| = 2}.

Novamente, para responder a ltima pergunta, utilizando um ponto de teste, por exem-
plo z = 0, temos T (0) = 2 que est fora de C e portanto a imagem de |z| < 2 a regio
|z 2| > 2.

4.2.1 Orientao
Definio 4.2.10. Se C um crculo, ento uma tripla de pontos (z1 , z2 , z3 ) de C
chamada de orientao de C. Analogamente, definimos uma orientao para a reta r.

Intuitivamente, trs pontos em um crculo ou uma reta nos do uma direo; isto
, ns vamos de z1 at z2 e de z2 at z3 (com somente dois pontos, isso claramente
seria ambguo). Alm disso, se caminharmos no sentido dessa orientao, temos definidos
o lado direito e o lado esquerdo do crculo ou da reta. Podemos ento enunciar o
Princpio da Orientao:

Teorema 4.2.11. Sejam 1 , 2 dois crculos (ou duas retas, ou um crculo e uma reta, ou
uma reta e um crculo) e T uma transformao de Mbius tal que T (1 ) = 2 . Considere
(z1 , z2 , z3 ) uma orientao para 1 . Ento T leva o lado direito (resp. esquerdo) de 1 no
lado direito (resp. esquerdo) de 2 , com respeito orientao (T z1 , T z2 , T z3 ) de 2 .

Exemplo 4.2.12. Qual a imagem do semiplano {z C : Imz > 0} pela transformao


de Mbius T que leva z1 = 1, z2 = 0, z3 = 1 em w1 = 1, w2 = i, w3 = 1
(respecitvamente)?

Soluo: A orientao (z1 , z2 , z3 ) do eixo real faz com que o semiplano {z C : Imz > 0}
seja o seu lado esquerdo. Pelo Teorema 4.2.11, a transformao T deve levar este conjunto
4.3 Representao matricial 37

sobre o lado esquerdo do crculo |z| = 1, com a orientao dada por (w1 , w2, w3 ) que o
exterior {z C : |z| > 1}. 

4.3 Representao matricial


Quando trabalhamos com transformaes de Mbius, til utilizar sua representao
matricial, o que facilita muito o clculo de compostas e inversas.

Definio 4.3.1. Seja T uma transformao de Mbius dada por

az + b
T (z) = .
cz + d

A esta transformao associamos uma matriz A, definida por


!
a b
A= .
c d

Note que, como para qualquer 6= 0 complexo temos

(a)z + (b)
T (z) = ,
(c)z + (d)

vemos que esta representao matricial no nica; isto , a mesma transformao pode
nos dar matrizes distintas.
bem simples verificar (fica a cargo do leitor) que a composta T2 T1 de duas trans-
formaes de Mbius T1 e T2 , dadas por

a1 z + b1 a2 z + b2
T1 (z) = e T2 (z) = ,
c1 z + d 1 c2 z + d 2

representada pelo produto matricial


! ! !
a2 b2 a1 b1 a2 a1 + b2 c1 a2 b1 + b2 d1
= .
c2 d 2 c1 d 1 c2 a1 + d2 c1 c2 b1 + d2 d1

Alm disso, a expresso para a inversa T 1 da transformao T representada matri-


cialmente pela inversa A1 da matriz A, dada por
!
1 1 d b
A = .
ad bc c a

Como podemos eliminar qualquer nmero complexo no-nulo, conclumos que a repre-
38 Transformaes de Mbius

sentao matricial de T 1 pode ser dada pela matriz


!
d b
.
c a

Exemplo 4.3.2. Sejam T (z) = 2z1


z+2
e S(z) = iz1
zi
. Use a representao matricial para
1
encontrar S T .
Soluo: As representaes matriciais de T e S, respectivamente, so
! !
2 1 1 i
e .
1 2 i 1

Assim, a representao matricial de S 1


!
1 i
,
i 1

e portanto a representao matricial para S 1 T dada pelo produto


! ! !
1 i 2 1 2 + i 1 + 2i
= .
i 1 1 2 1 2i 2 + i

Assim, sabemos que a transformao S 1 T dada por

(2 + i)z + 1 + 2i
S 1 T (z) = .
(1 2i)z + 2 + i

4.4 Razo cruzada


Para terminar este captulo, apresentamos o conceito de razo cruzada, que til para
encontrar transformaes de Mbius que levam trs pontos determinados z1 , z2 e z3 em
outros trs pontos determinados w1 , w2 e w3 .

Definio 4.4.1. A razo cruzada entre os nmeros complexos z, z1 , z2 e z3 o nmero


complexo definido por
z z1 z2 z3
(z, z1 , z2 , z3 ) = .
z z3 z2 z1
Observao 4.4.2 (Cuidado!). Lembre-se de verificar corretamente a ordem dos n-
meros complexos quando for calcular a razo cruzada. Ela muito importante, e al-
tera o resultado se for mudada. Por exemplo, mostre que (0, 1, i, 2) = 43 + i 14 , enquanto
(0, i, 1, 2) = 14 i 14 .
4.4 Razo cruzada 39

Para completar a definio de razo cruzada em todo o plano complexo estendido,


definimos
(, z1 , z2 , z3 ) = lim (z, z1 , z2 , z3 ).
z

Para apresentar o resultado principal da razo cruzada, faremos um lema.

Lema 4.4.3. Suponha que T uma transformao de Mbius tal que T (0) = 0, T (1) = 1
e T () = . Ento T (z) = z para todo z no plano complexo estendido.

az+b
Demonstrao: Seja T (z) = cz+d
. Temos

b
0 = T (0) = ;
d
a+b
1 = T (1) = ;
c+d
a
= T () = .
c
a
Logo temos b = 0, c = 0 e d
= 1, logo T (z) = z, para todo z no plano complexo
estendido.
O resultado a seguir ilustra muito bem a importncia das razes cruzadas quando
trabalhamos com transformaes de Mbius.

Teorema 4.4.4. Se T uma transformao de Mbius e z1 , z2 , z3 so nmeros complexos


fixados distintos, ento:

(z, z1 , z2 , z3 ) = (T (z), T (z1 ), T (z2 ), T (z3 )).

Demonstrao: Notemos primeiramente que se definirmos a funo

R(z) = (z, z1 , z2 , z3 ),

no plano estendido, ento R uma transformao de Mbius. Alm disso, temos R(z1 ) =
0, R(z2 ) = 1 e R(z3 ) = . Defina w1 = T (z1 ), w2 = T (z2 ) e w3 = T (z3 ) (que so
distintos, j que T injetora) e

S(z) = (z, w1 , w2 , w3).

Para S, temos S(w1 ) = 0, S(w2 ) = 1 e S(w3) = . Assim, se considerarmos a


40 Transformaes de Mbius

transformao S T R1 , vemos que

S T R1 (0) = S(T (R1 (0))) = S(T (z1 )) = S(w1 ) = 0;


S T R1 (1) = S(T (R1 (1))) = S(T (z2 )) = S(w2 ) = 1;
S T R1 () = S(T (R1 ())) = S(T (z3 ) = S(w3 ) = .

Segue ento do Lema 4.4.3 que S T R1 (z) = z para todo z no plano complexo
estendido; equivalentemente, substituindo z por R(z), temos

S T (z) = R(z), para todo z,

isto (z, z1 , z2 , z3 ) = (T (z), T (z1 ), T (z2 ), T (z3 )).


Usando este teorema podemos construir transformaes de Mbius que levam pontos
z1 , z2 , z3 determinados em pontos w1 , w2 e w3 determinados, como veremos agora.

Exemplo 4.4.5. Construa uma transformao de Mbius que leva o crculo unitrio
|z| = 1 no eixo real.
T
i

1 1 1 0 1

Soluo: Escolhemos trs pontos distintos no crculo unitrio z1 = 1, z2 = i e z3 = 1


e trs pontos distintos no eixo real w1 = 1, w2 = 0 e w3 = 1. Pelo Teorema 4.4.4, se
w = T (z) a transformao que buscamos, ela deve satisfazer

(z, z1 , z2 , z3 ) = (w, w1, w2 , w3 ).

Assim, usando a definio da razo cruzada, temos

z 1i+1 w+1
= ,
z +1i1 w1

e resolvendo esta equao na varivel w temos

zi
T (z) = w = ,
iz 1
4.4 Razo cruzada 41

que a transformao que buscamos.

Este exemplo bastante interessante, e merece ser melhor explorado. Vamos ver o
que acontece com o interior do crculo unitrio, escolhendo o ponto de teste z = 0. Temos
T (0) = i, logo o interior do disco levado no semiplano Im(z) > 0.
Note que, se caminhamos em cima do crculo |z| = 1 seguindo a ordem dos pontos
que escolhemos; isto , indo de z1 para z2 e de z3 para z3 , o interior do crculo fica do nosso
lado esquerdo. Caminhando pelo eixo real tambm no sentido dos pontos de escolhemos;
isto , de w1 para w2 e de w2 para w3 , o semiplano Im(z) tambm do nosso lado esquerdo.
Isso no por acaso. possvel mostrar que a ordem na qual escolhemos os pontos
definem onde cada lado ser levado. Informalmente falando, o lado esquerdo vai no lado
esquerdo e o direito vai no direito.
Imagine que no problema anterior, quisssemos que o interior do disco fosse levado no
semiplano Im(z) < 0. Como deveramos proceder?
Refaamos os clculos escolhendo agora w1 = 1, w2 = 0 e w3 = 1; isto , vamos
inverter o lado para o qual estamos caminhando (e portanto, direito e esquerdo se inver-
tem).
Queremos
(z, 1, i, 1) = (w, 1, 0, 1),

e resolvendo esta equao em w temos

2z + 2i
w = T (z) = ,
2iz 2

e vemos neste caso, que o ponto de teste z = 0 levado em T (0) = i que est no
semiplano inferior Im(z) < 0. Note que a orientao no foi alterada, porque T agora
tambm leva o lado esquerdo do disco no lado esquerdo do eixo real, considerando claro
a orientao dada pelos pontos z1 , z2 e z3 no crculo e w1 , w2 e w3 no eixo real.
42 Transformaes de Mbius
Captulo

5
Integrao complexa

Neste captulo trabalharemos com integrao de funes complexas. Na teoria da va-


riveis complexas, a integral tem um papel importantssimo e nos d resultados realmente
impressionantes, se comparados aos resultados obtidos com integrais de funes em R2 .
Para comear este estudo, indispensvel introduzirmos o conceito de curvas em C; e
este o objetivo da prxima seo.

5.1 Curvas no plano complexo


Definio 5.1.1. Uma curva no plano complexo uma aplicao contnua : [a, b] C,
de um intervalo real [a, b] tomando valores complexos. Dada uma curva em C, podemos
escrever
(t) = x(t) + iy(t), para cada t [a, b].

As equaes x = x(t) e y = y(t) so chamadas de equaes paramtricas de , e o


.
conjunto = {(t) : t [a, b]} C chamado de trao de .

Exemplo 5.1.2.

1. 1 (t) = cos t + i sin t, para t [0, 2];

2. Dados dois pontos distintos z0 , z1 do plano complexo, a curva 2 (t) = (1 t)z0 + tz1 ,
t [0, 1] o segmento de reta que sai de z0 e vai at z1 ;
44 Integrao complexa

y y
C C
z0
1
2
x x

z1

Figura 3: Traos das curvas 1 e 2 .

Para uma curva : [a, b] C, chamamos o ponto (a) = x(a) + iy(a) de ponto
inicial e (b) = x(b) + iy(b) de ponto final da curva . medida que t varia de a at
b, imaginamos uma partcula se deslocando do ponto (a) at o ponto (b).

Definio 5.1.3. Seja : [a, b] C uma curva. Dizemos que

(a) suave se diferencivel com (t) contnua em [a, b] e (t) 6= 0, para todo t
[a, b];

(b) suave por partes se existe uma partio P = {a = t0 < t1 < < tn1 < tn = b}
de [a, b] tal que |[ti+1 ,ti ] uma curva suave, para cada i = 0, 1, , n 1;

(c) simples se |(a,b) injetora;

(d) fechada se (a) = (b).

Uma curva suave por partes, em anlise complexa, tambm chamada de contorno
ou caminho.
Um conceito importante que est ligado s curvas o conceito de orientao, que
veremos a seguir.

Definio 5.1.4 (Orientao para curvas no-fechadas). Sejam z0 , z1 dois pontos distintos
de C. Fixado o par ordenado (z0 , z1 ), dizemos que uma curva : [a, b] C com (a) = z0
e (b) = z1 est orientada positivamente com relao a (z0 , z1 ), ou simplesmente
orientada positivamente. Se (a) = z1 e (b) = z0 , dizemos que est orientada
negativamente.

Definio 5.1.5 (Orientao para curvas fechadas). Dizemos que uma curva fechada
: [a, b] C est orientada positivamente se, ao caminharmos em cima da curva,
na direo crescente de valores de t, a regio interior da curva fica nossa esquerda;
equivalentemente, se caminhamos no sentido anti-horrio. Caso contrrio, dizemos que
est orientada negativamente.
5.2 Integrais complexas 45

Em qualquer um dos casos acima, dada uma curva : [a, b] C, a curva : [a, b]
C dada por
(t) = (a + b t), para todo t [a, b],

tem orientao contrria orientao de .

5.2 Integrais complexas


Consideremos um contorno : [a, b] C e f : G C C e assuma que (t) G,
para todo t [a, b]; isto , f est definida sobre todos os pontos da curva . Dizemos
neste caso que est inteiramente contida em G.
Seja P = {a = t0 < t1 < < tn1 < tn = b} uma partio do intervalo [a, b] e defina
ti = [ti , ti1 ] para cada i = 1, , n. Esta partio P de [a, b] induz uma partio na
curva da seguinte forma: tome

zi = (ti ), para cada i = 0, , n;

zi = zi zi1 , para cada i = 1, , n.


zn = (b)

z1

z2

zn1

z0 = (a)

a = t0 t1 t2 tn1 tn = b

Figura 4: Partio induzida em por P .

Definimos a norma da partio P por kP k = max16i6n ti ; isto , o comprimento


do maior subintervalo de P . Alm disso, para cada um destes subintervalos [ti1 , ti ],
escolhemos um ponto ti e definimos zi = (ti ). Definimos ento a soma de f associada
partio P por
n
X
S(f, P ) = f (zi )zi .
i=1
46 Integrao complexa

Com todas estas consideraes, podemos fazer a seguinte definio:

Definio 5.2.1. A integral complexa de f em definida por


Z n
X
f (z)dz = lim S(f, P ) = lim f (zi )zi ,
kP k0 kP k0
i=1

quando este limite existe, independente da escolha dos pontos ti [ti1 , ti ]. Quando tal
limite existe, dizemos que f integrvel sobre .

A seguinte proposio, cuja demonstrao ser deixada como exerccio, garante uma
grande quantidade de curvas e funes que cumprem a definio acima.

Proposio 5.2.2. Seja f uma funo contnua em todos os pontos de uma curva
suave por partes. Ento f integrvel sobre .

Demonstrao:.
Com esta proposio, assumiremos daqui pra frente que todas as funes e curvas
dadas satisfazem esta condio; isto , a curva suave por partes e a funo contnua
sobre todos os pontos da curva.

Observao 5.2.3 (Notao). Quando uma curva fechada, denotamos a integral de


f sobre por I
f (z)dz.

Um resultado que nos diz como calcular integrais em determinadas situaes o se-
guinte:

Teorema 5.2.4. Seja f uma funo contnua numa curva suave : [a, b] C, ento
Z Z b
f (z)dz = f ((t)) (t)dt.
a

Exemplo 5.2.5.
R
1. Calcule
zdz, onde (t) = 3t + it2 , para t [1, 4].
Soluo: Temos (t) = 3t it2 e tambm (t) = 3 + i2t, assim
Z Z 4 Z 4
2
zdz = (3t it ) (3 + i2t)dt = [2t3 + 9t + i3t2 ]dt = 195 + i65.
1 1

H 1
2. Calcule
f (z)dz, onde f (z) = z
e (t) = cos t + i sin t, t [0, 2].
5.2 Integrais complexas 47

Soluo: Temos (t) = eit e assim f ((t)) = eit e (t) = ieit , portanto
I Z 2 Z 2
it it
f (z)dz = ie e dt = i 1dt = 2i.
0 0

No que segue, listamos algumas propriedades de integrais de funes sobre curvas


suaves.
Proposio 5.2.6 (Propriedades). Sejam f e g duas funes contnuas num domnio D,
e uma curva inteiramente contida em D. Ento:
R R
(a) cf (z)dz = c f (z)dz, onde c um nmero complexo fixado;
R R R
(b) [f (z) + g(z)]dz = f (z)dz + g(z)dz;
R R
(c) f (z)dz = f (z)dz.
Note que tudo que fizemos desde o Teorema 5.2.4 foi considerando que uma curva
suave. Mas e se quisermos tomar uma curva suave por partes? Como fazemos ento?
Notemos que se uma curva por partes, podemos escrever como uma concatenao
de curvas suaves 1 , 2 , , , k , onde i comea no ponto final de i1 , para cada
i = 1, , k 1; e neste caso, escrevemos = 1 k .

1 4

Figura 4: Exemplo de uma curva = 1 2 3 4 5 , suave por partes.


Temos ento, com estas notaes, o seguinte resultado
Proposio 5.2.7. Se f contnua sobre uma curva suave por partes e = 1 k ,
ento:
Z Xk Z
f (z)dz = f (z)dz.
i=1 i
48 Integrao complexa

R
Exemplo 5.2.8. Calcule a integral
f (z)dz, onde f (x + iy) = x2 + iy 2 e o contorno
dado na figura abaixo:

1 + 2i

1+i

Soluo: Podemos escrever = 1 2 , onde

1 (t) = t + it e 2 (t) = 1 + i(1 + t), para t [0, 1].

Assim, temos
Z Z 1 Z 1
2 2 2 2
f (z)dz = (t + it ) (1 + i)dt = (1 + i) t2 dt = i,
1 0 0 3

e analogamente, mostramos que


Z
7
f (z)dz = + i.
2 3

A proposio acima nos d que


Z Z Z
7 5
f (z)dz = f (z)dz + f (z)dz = + i.
1 2 3 3

O resultado a seguir nos d uma limitao para o valor da integral de uma funo f
sobre uma curva , em termos de uma limitao para f e do comprimento da curva.

Teorema 5.2.9. Assuma que f contnua sobre uma curva suave e que |f (z)| 6 M
para todo z . Ento, se c() denota o comprimento da curva , temos que
Z

f (z)dz 6 Mc().

Demonstrao: Seja P uma partio de [a, b] e S(f, P ) a soma de f associada P .


Ento n
X X n n
X

|S(f, P )| = f (zi )zi 6 |f (zi )||zi | 6 M |zi |,

i=1 i=1 i=1
5.3 O Teorema de Cauchy-Goursat 49

n
X
uma vez que |f (zi )| 6 M, para todo i = 1, , n. Como lim |zi | = c(), temos
kP k0
i=1

Z n
X
f (z)dz 6 lim |S(f, P )| 6 M lim |zi | = Mc().
kP k0 kP k0
i=1

H ez
Exemplo 5.2.10. Encontre uma cota superior para o valor absoluto de z+1 dz onde
o crculo |z| = 4.
Soluo: Primeiramente, sabemos que o comprimento de 8; isto , c() = 8.
Agora, sabemos da Proposio 2.2.4, que

|z + 1| > |z| 1 = 3;

e tambm |ez | = eRe(z) , e para |z| = 4, o maior valor para Re(z) 4; portanto |ez | 6 e4 e
assim I
ez 8e4
z+1 6 3 .
dz

5.3 O Teorema de Cauchy-Goursat


O Teorema de Cauchy-Goursat um dos resultados principais da teoria de funes
de variveis complexas, e utilizado em inmeras aplicaes. Mas, antes de enunci-lo,
precisamos de alguns conceitos adicionais. Lembremos que um domnio D um conjunto
aberto e conexo por caminhos.

Definio 5.3.1. Dizemos que um domnio D simplesmente conexo se todo contorno


fechado simples inteiramente contido em D pode ser deformado continuamente em um
ponto. Basicamente, estamos dizendo que D no tem buracos.

Exemplo 5.3.2.

1. O plano complexo C simplesmente conexo.

2. O anel formado pelos pontos z C tais que 1 < |z| < 2 no simplesmente conexo.

Definio 5.3.3. Um domnio que no simplesmente conexo chamado de multipla-


mente conexo; isto , o domnio D possui buracos. Se o domnio D possui um buraco
ele chamado duplamente conexo, se tem dois buracos ele chamado triplamente
conexo, e assim por diante.
50 Integrao complexa

Com estas definies, podemos enunciar primeiramente o Teorema de Cauchy, que foi
provado pelo prprio Cauchy em 1825.

Teorema 5.3.4 (Teorema de Cauchy). Seja f uma funo analtica num domnio sim-
plesmente conexo D, e assuma que f contnua em D. Ento para cada contorno fechado
simples em D, temos I
f (z)dz = 0.

A demonstrao deste resultado ser omitida, mas ela uma aplicao direta do
Teorema de Green para funes em R2 , juntamente com as equaes de Cauchy-Riemann.
Algum tempo depois, em 1883, Goursat conseguiu provar o Teorema de Cauchy, sem
a hiptese de que f contnua em D. Com isto, temos o to famoso Teorema de Cauchy-
Goursat.

Teorema 5.3.5 (Teorema de Cauchy-Goursat). Assuma que f analtica em um domnio


D. Ento para todo contorno fechado simples em D, temos
I
f (z)dz = 0.

O Teorema de Cauchy-Goursat pode ainda ser dito de uma forma mais simples: se f
H
analtica em uma curva e em seu interior, ento f (z)dz = 0.
H
Exemplo 5.3.6. Calcule
ez dz, onde o contorno mostrado na figura abaixo:

Soluo: Seria muito complicado calcular esta integral utilizando o Teorema 5.2.4, uma
vez que a curva difcil de ser parametrizada. Assim, vamos usar o Teorema de Cauchy-
Goursat. Como f (z) = ez uma funo inteira, f analtica em e seu interior e
portanto, segue que I
ez dz = 0.

5.3 O Teorema de Cauchy-Goursat 51

H
A ideia principal do exemplo acima que ez dz = 0 para qualquer curva fechada
simples . O mesmo verdade para as funes inteiras cos z, sin z, a0 + a1 z + + an z n .
Vejamos agora um exemplo com uma funo que no inteira.
H
Exemplo 5.3.7. Calcule z12 dz, onde o crculo |z 2| = 1.
Soluo: Sabemos que f (z) = z12 no uma funo inteira, pois esta funo no est
definida para z = 0; mas f analtica em C \ {0}.
Como z = 0 no est sobre a curva nem em seu interior, sabemos que f analtica
em e em seu interior. Portanto, o Teorema de Cauchy-Goursat se aplica, e temos
I
1
2
dz = 0.
z

5.3.1 Domnios multiplamente conexos


Para um domnio multiplamente conexo, no podemos tirar as mesmas concluses do
Teorema de Cauchy-Goursat; isto , no sempre verdade que a integral de uma funo
analtica neste domnio nula, como veremos no seguinte exemplo.
H 1
Exemplo 5.3.8. Mostre que a integral zz 0
dz = 2i, onde um crculo centrado em
z0 .
1
Soluo: Como z0 est no interior de , a funo f (z) = zz 0
no analtica no interior
de . Faremos este exemplo parametrizando a curva .
Uma possvel parametrizao para um crculo centrado em (t) = z0 + re2it , com
t [0, 1]. Logo I Z 1 Z 1
1 2ire2it
dz = dt = 2i 1dt = 2i.
z z0 0 re2it 0

Considere ento o domnio D duplamente conexo e as curvas 1 , 2 , orientadas positi-


vamente, como dados na figura abaixo:

D
1 2

Colocamos agora nessa figura um segmento de reta 3 , que une as curvas 1 e 2 , como
na seguinte figura:
52 Integrao complexa

D
1 2
3

Considerando a curva = 1 3 (2 ) (3 ), o domnio formado pelo interior


dessa curva um domnio simplesmente conexo e se f uma funo analtica em e em
seu interior, temos I
f (z)dz = 0.

Pela Proposio 5.2.7 e o item (c) da Proposio 5.2.6 temos


I I Z Z I
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz,
1 3 2 3

e portanto I I
f (z)dz = f (z)dz,
1 2

e este o chamado princpio da deformao de curvas.

Observao 5.3.9. Note que em , consideramos 2 , pois a curva que d a orientao


positiva.

Este raciocnio pode ser aplicado para um domnio multiplamente conexo e uma quan-
tidade finita de curvas, e podemos ento enunciar o seguinte teorema:

Teorema 5.3.10 (Teorema de Cauchy para domnios multiplamente conexos). Sejam


, 1 , , k curvas fechadas e simples, satisfazendo:

(i) i est no interior de , para cada i = 1, , k;

(ii) curvas distintas no se intersectam;

(iii) nenhuma curva i est no interior de nenhuma curva j , para i, j = 1, , k;

(iv) todas as curvas esto orientadas positivamente.


5.3 O Teorema de Cauchy-Goursat 53

Assim, se f analtica na regio formada pela compreendida entre a curva e seu


interior, e as curvas 1 , , k e seus exteriores (vide exemplo na figura abaixo), ento
I k I
X
f (z)dz = f (z)dz.
i=1 i

2 D

Figura 5: Exemplo de curvas e regio dadas no teorema acima.

H
Exemplo 5.3.11. Utilize o Teorema 5.3.10 para calcular dz
z 2 +1
, onde o crculo
|z| = 4.
Soluo: Como z 2 + 1 = (z + i)(z i), segue que a funo f (z) = z 21+1 no analtica
em z = i e em z = i, e ambos estes pontos esto no interior da regio delimitada pela
curva .
Assim, segue do Teorema 5.3.10 que
I I I
dz dz dz
2
= 2
+ 2
,
z +1 1 z + 1 2 z + 1

onde 1 o crculo de raio 12 em torno de z = i e 2 o crculo de raio 1


2
em torno de
z = i, como mostrado na figura abaixo:


1 i

4
2 i
54 Integrao complexa

Usando a decomposio em fraes parciais, temos

1 1 1 1 1
= ,
z2 +1 2i z i 2i z + i
e assim
I I I I I
dz 1 dz 1 dz 1 dz 1 dz
= + .
z2 + 1 2i 1 z i 2i 1 z + i 2i 2 z i 2i 2 z+i

1 1
Mas a funo z+i analtica em 1 e em seu interior, e a funo zi analtica em
2 e seu interior, logo a segunda e a terceira integrais no lado direito da expresso acima
so nulas, pelo Teorema de Cauchy-Goursat. Portanto
I I I
dz 1 dz 1 dz
2
= .
z +1 2i 1 z i 2i 2 z + i

Parametrizando estas cuvas e calculando cada uma destas integrais pela definio,
como no Exemplo 5.3.8, chegamos em
I
dz
2
= = 0.
z +1

Observao 5.3.12 (Ateno!). Tudo que fizemos at agora, foi assumindo que as
curvas fossem contornos simples; isto , as curvas no tinham auto-interseco. Apesar
de no apresentarmos a demonstrao, o Teorema de Cauchy-Goursat vlido tambm
para quaquer contorno fechado num domnio simplesmente conexo D, como por exemplo,
para o que aparece na figura abaixo:

Contorno fechado no-simples em um domnio simplesmente conexo.

H
Neste caso, se f uma funo analtica em D, temos
f (z)dz = 0.
5.4 A frmula integral de Cauchy 55

5.4 A frmula integral de Cauchy


Se uma funo f analtica num domnio simplesmente conexo D e z0 um ponto
f (z)
qualquer de D, ento a funo quociente zz 0
no est definida no ponto z0 e portanto,
no analtica em D. Sendo assim, no podemos utilizar o Teorema de Cauchy-Goursat
f (z)
e concluir que a integral de zz 0
zero sobre um contorno fechado que contm z0 no seu
interior.
Em geral, esta integral no zer 0, e isto o que mostra a frmula integral de
Cauchy.

Teorema 5.4.1 (Frmula integral de Cauchy). Suponha que f analtica num domnio
simplesmente conexo D e um contorno fechado e simples inteiramente contido em D,
orientado positivamente. Ento, para qualquer ponto z0 no interior de , temos
I
1 f (z)
f (z0 ) = dz. (5.4.1)
2i z z0

Demonstrao: Seja D um domnio simplesmente conexo, um contorno fechado e


simples inteiramente contido em D e z0 um ponto interior ao contorno . Alm disso, seja
1 a fronteira de um disco centrado em z0 que est inteiramente contido no interior de ,
orientada positivamente.
Pelo princpio da deformao de curvas, sabemos que
I I
f (z) f (z)
dz = dz.
z z0 1 z z0

Assim, calcularemos o valor da integral da direita. Para isto, somamos e subtramos


f (z0 ) no numerador:
I I
f (z) f (z) f (z0 ) + f (z0 )
dz = dz
1 z z0 1 z z0
I I
f (z) f (z0 ) dz
= dz + f (z0 ) ,
1 z z0 1 z z0

e utilizando o Exemplo 5.3.8, obtemos


I I
f (z) f (z) f (z0 )
dz = dz + 2if (z0 ). (5.4.2)
1 z z0 1 z z0

Ainda, como f contnua, sabemos que dado > 0, existe > 0 tal que se |z z0 | <
ento |f (z) f (z0 )| < . Assumindo que pequeno o suficiente de maneira que se
escolhemos 2 como sendo o crculo |z z0 | = 2 , temos 2 inteiramente contida no interior
56 Integrao complexa

de 1 , temos do princpio da deformao de curvas e do Teorema 5.2.9 que


I I
f (z) f (z0 ) f (z) f (z0 )
dz = dz,
1 z z0 2 z z0

e tambm I
f (z) f (z0 )

dz 6 2 = 2.
2
z z0
H
Isto significa que, podemos fazer a integral 1 f (z)f (z0 )
zz0
dz arbitrariamente pequena; o
que s ocorre se ela for zero. Portanto
I
f (z) f (z0 )
dz = 0,
1 z z0

e assim, subistituindo na equao (5.4.2), temos o resultado.


H z 2 4z+4
Exemplo 5.4.2. Calcule z+i
dz, onde o crculo |z| = 2.
Soluo: Primeiramente identificamos f (z) = z 2 4z + 4 e z0 = i. Como z0 est no
interior de e f analtica em todos os pontos de e do seu interior, podemos aplicar
a frmula integral de Cauchy, e obtemos
I
z 2 4z + 4
dz = 2if (i) = (8 + 6i).
z+i
H
Exemplo 5.4.3. Calcule z
z 2 +9
dz, onde o crculo |z 2i| = 4.
Soluo: Fatorando o denominador como z 2 +9 = (z3i)(z+3i), podemos ver que z0 = 3i
o nico ponto no interior de , onde o integrando deixa de ser analtico. Podemos ento
reescrever o integrando como
z f (z)
2
= ,
z +9 z 3i
onde f (z) = z+3i
z
. A funo f analtica em todos os pontos de e em seu interior,
portanto, pela frmula integral de Cauchy, temos
I I
z f (z)
2
dz = dz = 2if (3i) = i.
z +9 z 3i

5.5 A frmula integral de Cauchy para derivadas


Agora veremos que a frmula integral de Cauchy tem um anlogo para avaliar as
derivadas f (n) (z0 ) de uma funo analtica f no ponto z0 , para n = 1, 2, .
5.5 A frmula integral de Cauchy para derivadas 57

Teorema 5.5.1 (Frmula integral de Cauchy para derivadas). Assuma que f analtica
num domnio simplesmente conexo D e um contorno fechado simples, inteiramente
contido em D, orientado positivamente. Ento, para qualquer ponto z0 no interior de ,
temos I
(n) n! f (z)
f (z0 ) = dz. (5.5.1)
2i (z z0 )n+1

H
Exemplo 5.5.2. Calcule z+1
z 4 +2iz 3
dz, onde o crculo |z| = 1.
Soluo: Notamos primeiramente que o integrando deixa de ser analtico nos pontos
z = 0 e z = 2i; mas somente z = 0 est no interior de . Assim, identificamos z0 = 0
e escrevemos o integrando como

z+1 f (z)
= 3 ,
z4 + 2iz 3 z

onde f (z) = z+2i


z+1
. Note que f analtica em todos os pontos de e de seu interior, e a
frmula integral de Cauchy para derivadas nos d
I I
z+1 f (z) 2i
dz = dz = f (0).
z + 2iz 3
4
z 3 2!

24i 2i1
Como f (z) = (z+2i)3
, temos f (0) = 4i
e portanto
I
z+1
dz = + i.
z4
+ 2iz 3 4 2
H z 3 +3
Exemplo 5.5.3. Calcule z(zi)2
dz, onde = 1 2 a figura oito da figura abaixo.

2
i

0
1

Soluo: Apesar de no ser um contorno fechado simples, a unio de duas curvas


1 , 2 como indicado na figura acima. Claramente vemos que 1 est orientada negativa-
58 Integrao complexa

mente, logo
I I I
z3 + 3 z3 + 3 z3 + 3
dz = dz + dz
z(z i)2 1 z(z i)
2
2 z(z i)
2
I I
z3 + 3 z3 + 3
= 2
dz + 2
dz.
1 z(z i) 2 z(z i)

e agora tanto 1 e 2 esto orientadas positivamente.


z 3 +3
Em 1 e no seu interior, vemos que z0 = 0 o nico ponto na qual z(zi)2
deixa de
z 3 +3
ser analtica; assim, identificamos f1 (z) = (zi)2
, e temos de (5.4.1) que
I I
z3 + 3 f1 (z)
dz = dz = 2if1 (0) = 6i.
1 z(z i)2 1 z

z 3 +3
Em 2 e no seu interior, vemos que z0 = i o nico ponto onde z(zi)2
deixa de ser
z 3 +3
analtica; assim, identificamos f2 (z) = z
, e temos de (5.5.1) que
I I
z3 + 3 f2 (z)
dz = dz = 2if2 (i) = 4 + 6i.
2 z(z i)2 2 (z i)2

Somando os dois resultados, temos


I
z3 + 3
dz = 4 + 12i.
z(z i)2

5.6 Consequncias das frmulas integrais de Cauchy


Nesta seo mostraremos algumas importantes consequncias que as frmulas integrais
de Cauchy trazem para as funes de uma varivel complexa.

5.6.1 Derivadas de funes analticas


O Teorema 5.5.1 nos d uma consequncia impressionante para funes de varivel
complexa, e est longe de ser vlida para funes reais de duas variveis. Note que
o Teorema 5.5.1 nos d a existncia das derivadas de todas as ordens de uma funo
complexa analtica, bem como uma frmula para calcul-las. Temos ento o seguinte
resultado:

Teorema 5.6.1. Assuma que f analtica num domnio simplesmente conexo D. Ento
f tem todas as derivadas de todas as ordens, em todos os pontos de D, e todas as suas
derivadas so funes analticas.
5.6 Consequncias das frmulas integrais de Cauchy 59

Observao 5.6.2.
1. O teorema acima nos diz que se uma funo f (x+ iy) = u(x, y) + iv(x, y) analtica
num domnio simplesmente conexo D, ento ela possui todas as derivadas de todas
as ordens. Assim, podemos tambm concluir que u, v so funes continuamente
diferenciveis que tem derivadas parciais de todas as ordens, e todas so contnuas,
em todos os pontos de analiticidade de f .

2. Se u, v so funes que no possuem todas as derivadas parciais de todas as ordens,


a funo dada por f = u + iv no pode ser analtica.

5.6.2 Desigualdade de Cauchy


Usando a frmula de Cauchy para derivadas, podemos tirar uma desigualdade muito
importante, que nos d uma estimativa superior para a norma das derivadas de uma
funo analtica f .
Teorema 5.6.3 (Desigualdade de Cauchy). Suponha que f uma funo analtica num
dominio simplesmente conexo D e um crculo definido por |z z0 | = r que est
inteiramente contido em D. Se |f (z)| 6 M em todos os pontos z , ento

n!M
|f (n) (z0 )| 6 .
rn
Demonstrao: Fixe n > 1. Como |f (z)| 6 M em e |z z0 | = r, temos

f (z) M
(z z0 )n+1 6 r n+1 .

Usando a frmula integral de Cauchy para derivadas e o Teorema 5.2.9, temos



(n)
n! M n!M
|f (z0 )| 6

n+1
2r = n .
2i r
r

Note que a constante M depende do crculo |z z0 | = r; mas, aplicando este resul-


tado para n = 0, vemos que temos |f (z0 )| 6 M, para qualquer crculo centrado em z0
inteiramente contido em D. Em outras palavras, a limitao M para |f (z)| em nunca
pode ser menor do que |f (z0 )|.

5.6.3 Teorema de Liouville


Utilizaremos agora o Teorema 5.6.3 para mostrar uma aplicao importantssima no
estudo de funes de varivel complexa.
60 Integrao complexa

Teorema 5.6.4 (Teorema de Liouville). Uma funo inteira f limitada se, e somente
se, f constante.

Demonstrao: Assuma que f uma funo inteira e limitada; isto , |f (z)| 6 M, para
todo z C. Ento, para qualquer ponto z0 C e qualquer crculo |z z0 | = r, podemos
aplicar o Teorema 5.6.3 e obter |f (z0 )| 6 Mr . Como podemos fazer r to grande quanto
quisermos, temos que |f (z0 )| = 0, o que implica que f (z0 ) = 0, para todo z0 C. Pelo
item (b) da Proposio 3.5.14, temos que f constante em C.

Exemplo 5.6.5. As funes ez , sin(z), cos(z), p(z) = c0 + c1 z + + cn z n so funes


inteiras e no constantes, assim o Teorema de Liouville implica que nenhuma delas pode
ser limitada em C.

5.6.4 O Teorema Fundamental da lgebra


Com a teoria de variveis complexas, usando o Teorema de Liouville, podemos agora
demonstrar um dos principais resultados da lgebra de polinmios - que dificilmente
demonstrado com outras tcnicas - de maneira bastante simples e direta.

Teorema 5.6.6 (Teorema Fundamental da lgebra). Seja p(z) um polinmio no cons-


tante. Ento p tem pelo menos uma raiz complexa.

Demonstrao: Assuma que p(z) = c0 + c1 z + + cn z n , cn 6= 0, no possua nenhuma


raiz complexa; isto , assuma que p(z) 6= 0, para todo z C. Ento podemos definir a
1
funo f (z) = p(z) , e esta uma funo inteira, j que o denominador nunca se anula.
Mas temos
1 1 1
|f (z)| = = n
= n c1 c0 .
|p(z)| |cn z + c1 z + c0 | |z| |cn + + z n1
+ zn
|

Assim, vemos que lim|z| |f (z)| = 0; o que implica facilmente que a funo f (z)
limitada para todo z C. Segue do Teorema de Liouville que f (z) deve ser constante, o
que implica que p(z) constante, e nos d uma contradio e completa a demonstrao.

5.6.5 O Teorema do Mdulo Mximo


O Teorema do Mdulo Mximo uma ferramenta importante quando trabalhamos
com estimativas de funes complexas. Ele garante que para encontrar o mximo valor
para o mdulo de uma funo complexa em uma regio fechada, basta olhar para o mdulo
de f nos pontos da fronteira dessa regio.
5.6 Consequncias das frmulas integrais de Cauchy 61

Teorema 5.6.7 (Teorema do Mdulo Mximo). Assuma que f analtica em uma regio
D limitada por uma curva fechada simples .Ento o mdulo |f (z)| atinge seu mximo
em .

Exemplo 5.6.8. Encontre o valor mximo para o mdulo da funo f (z) = 2z + 5i no


disco fechado dado por |z| 6 2.
Soluo: Como f um polinmio, f analtica em |z| 6 2, e segue do Teorema do
Mdulo Mximo que s precisamos encontrar uma estimativa do mdulo de f para os
pontos na fronteira da regio dada; neste caso, o crculo |z| = 2. Temos, para |z| = 2,
que

|f (z)|2 = f (z) f (z) = (2z + 5i)(2z 5i) = 4zz 10i(z z) + 25


= 4|z|2 + 20Im(z) + 25 = 41 + 20Im(z).

Sabemos que o valor mximo para a expresso acima ocorre quando o mximo de Im(z)
atingida, para |z| = 2, e este valor ocorre quando z = 2i; isto , Im(z) = 2. Logo

max |f (z)| = 41 + 20 2 = 9.
|z|62
62 Integrao complexa
Captulo

6
Sries complexas e resduos

No captulo anterior, vimos que dada uma funo f analtica num ponto z0 , ela possui
todas as derivadas de todas as ordens neste ponto, e todas elas so funes analticas em
z0 ; sendo assim, podemos sempre expandir uma funo analtica num ponto z0 em uma
srie de Taylor numa vizinhana de z0 . Porm se f deixa de ser analtica num ponto z0 ,
veremos que poderemos expandir f num outro tipo de srie numa vizinhana de z0 , que
chamada de srie de Laurent. Com a sries de Laurent, surge naturalmente a definio
de resduo de uma funo num ponto z0 , e isto nos levar a um resultado incrvel para o
clculo de integrais.

6.1 Sequncias e sries complexas*


Muito da teoria de sequncias e sries complexas anloga teoria real. Vamos nesta
seo olhar brevemente as definies e resultados que precisaremos. No que segue N
denota o conjunto dos nmeros naturais e Z o conjunto dos nmeros inteiros.

Definio 6.1.1. Uma sequncia de nmeros complexos {zn }nN uma funo cujo
domnio o conjunto dos nmeros inteiros positivos, com contradomnio complexo. Em
outras palavras, para cada natural n, associamos um nmero complexo zn .
Dizemos que a sequncia {zn }nN converge para um nmero complexo L, se dado
> 0, existe n0 N tal que |zn L| < , para n > n0 . Neste caso, dizemos que o limite
de {zn } L, e escrevemos

lim zn = L ou zn L, quando n .
n

Quando uma sequncia no convergente, dizemos que ela divergente.


64 Sries complexas e resduos

Fica a cargo do leitor verificar que se uma sequncia {zn }nN converge para L1 e L2 ,
ento L1 = L2 ; em outras palavras, o limite (quando existe) nico.

Definio 6.1.2. Dada uma sequncia {zn }nN , consideramos uma sequncia {nk }kN tal
que n1 < n2 < n3 < . Dizemos que {znk }kN uma subsequncia de {zn }nN .

Proposio 6.1.3 (Critrio de divergncia para sequncias). Se existem duas subsequn-


cias de {zn }nN que convergem para nmeros complexos distintos, ento a sequncia
{zn }nN divergente.
n+1
Exemplo 6.1.4. As sequncias { n1 }nN , { i n }nN so convergentes. J {in }nN uma
sequncia divergente.

Temos um critrio de convergncia que liga a teoria de sequncias complexas e reais.

Proposio 6.1.5 (Critrio para convergncia). Uma sequncia {zn }nN converge para
um nmero complexo L = a + ib se, e somente se, {Re(zn )}nN converge para a e
{Im(zn )}nN converge para b.

3+in
Exemplo 6.1.6. Considere a sequncia { n+2ni }nN e calcule seu limite.
Soluo: Sabemos que

. 3 + in 2n2 + 3n n2 6n
zn = = + i ,
n + 2in 5n2 5n2
2
e assim vemos que {zn }nN converge para L = 5
+ i 15 , quando n .

Considere uma sequncia {zn }nN . Definimos uma outra sequncia {Sn }nN associada
{zn }nN dada por
n
X
Sn = z0 + z1 + + zn1 + zn = zk .
k=0

A sequncia {Sn }nN chamada sequncia das somas parcias de {zn }nN . Quando
a sequncia {Sn }nN convergente, dizemos que a srie de {zn }nN convergente e
denotamos este limite por

X
lim Sn = zn .
n
n=0

Agora, vamos relembrar alguns critrios para convergncia e divergncia de sries


complexas.

X
Proposio 6.1.7 (Teste da divergncia). Se lim zn 6= 0, ento zn diverge.
n
n=0
6.1 Sequncias e sries complexas* 65


X
X
Definio 6.1.8. Uma srie zn dita absolutamente convergente se |zn | con-
n=0 n=0
verge.

X
X
X
Se zn convergente, mas |zn | no convergente, dizemos que a srie zn
n=0 n=0 n=0
condicionalmente convergente.

X
Exerccio 6.1.9. Seja an uma srie real condicionalmente convergente. Mostre que
n=0

X
dado x R, existe uma maneira de reordenar os termos da srie an tal que a nova
n=0
srie reordenada tenha soma x.

Sabemos que convergncia absoluta implica convergncia, como no curso de Clculo


I. Agora, relembremos dois importantes testes para convergncia e divergncia de sries,
que tambm so vlidos para o caso complexo.

X
Teorema 6.1.10 (Teste da razo). Suponha que zn uma srie de nmeros complexos
n=1
no-nulos tais que
zn+1
lim = L.
n zn

(i) Se L < 1, a srie absolutamente convergente.

(ii) Se L > 1, a srie divergente.

(iii) Se L = 1, o teste inconclusivo.



X
Teorema 6.1.11 (Teste da raiz). Suponha que zn uma srie de nmeros complexos
n=1
tais que

lim n
zn = L.
n

(i) Se L < 1, a srie absolutamente convergente.

(ii) Se L > 1, a srie divergente.

(iii) Se L = 1, o teste inconclusivo.

6.1.1 Sries geomtricas


Uma srie geomtrica qualquer srie da forma

X
az n = a + az + + az n + ,
n=0
66 Sries complexas e resduos

isto , a srie associada a uma sequncia da forma {az n }nN onde a, z so nmeros
complexos. Daqui para frente, fazemos a conveno 00 = 1.
Para uma srie desta forma, simples notar que

Sn zSn = a az n ,

e portanto
a(1 z n )
Sn = .
1z
a
Agora, z n 0 quando n sempre que |z| < 1, e portanto Sn 1z . Em outras

X a
palavras, para |z| < 1, a srie az n = . Alm disso, est srie diverge se |z| > 1.
n=0
1z
Trocando z por z na srie acima, podemos ver tambm que

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

Conclumos ento que para |z| < 1 temos



X
n a X a
az = e a(1)n z n = . (6.1.1)
n=0
1z n=0
1+z


X (1 + 2i)n
Exemplo 6.1.12. Calcule o valor da srie .
n=0
5n
1+2i

Soluo: Neste caso, sejam a = 1 e z = 5
. Como |z| = 1+2i
5
= 1
5
< 1, sabemos que


X (1 + 2i)n 1 1
= 1+2i = 1 + i .
n=0
5n 1 5 2

6.1.2 Sries de potncias


Uma srie da forma

X
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + (6.1.2)
n=0

chamada uma srie de potncias (dizemos ainda que ela est centrada em z0 ).
. p
Aplicando o teste da raiz para a srie acima, se = lim n |an |, ento a srie
n
absolutamente convergente se |z z0 | < 1, divergente se |z z0 | > 1 e inconclusivo
6.1 Sequncias e sries complexas* 67

de |z z0 | = 1. Isto quer dizer que existe um disco de raio 0 6 R 6 (onde R = 1 ) tal


que a srie de potncia (6.1.2) convergente se |z z0 | < R e divergente se |z z0 | > R.

Definio 6.1.13. Este R definido acima chamado de raio de convergncia da srie


(6.1.2). O crculo |z z0 | = R chamado de crculo de convergncia.

Observao 6.1.14. Note que se = , temos R = 0 e a srie convergente somente


no ponto z = z0 . Se 0 < R < , a srie converge absolutamente para todos os pontos
no interior do crculo de convergncia. Se R = , ento a srie converge para todo
z C.
p p
Lembre-se que R = 1 , onde = lim n |an |. Pode-se mostrar que lim n |an | =
n n
an+1
lim , quando estes dois limites existirem. Assim
n an


1 an
R = lim p = lim .
n n |a | n an+1
n

Sobre o crculo de convergncia |z z0 | = R no podemos dizer muito sobre a srie.


Ela pode convergir em todos os pontos, bem como divergir em todos os pontos; ou at
mesmo convergir em alguns e divergir em outros, como veremos no exemplo a seguir:

X zn
Exemplo 6.1.15. Considere a srie de potncias . Ento, do Teste da razo temos
n=1
n
n+1
z n
lim n+1

z n = lim |z| = |z|,
n
n
n n + 1

e assim a srie converge se |z| < 1 e diverge se |z| > 1.


Ainda se z = 1, sabemos que a srie diverge, enquanto que para z = 1 a srie
convergente. Pode ser mostrado ainda que esta srie converge em todos os pontos do
crculo |z| = 1, exceto no ponto z = 1.

Exerccio 6.1.16. Mostre que a srie acima converge para todo z com |z| = 1, exceto no
ponto z = 1.

Agora, como no Clculo I, temos resultados que nos permitem derivar e integrar termo-
a-termo uma srie de potncias. Para isto, assumimos no restante desta seo que o raio
de convergncia R da srie (6.1.2) no zero. Temos ento

Teorema 6.1.17. Considere a srie de potncias (6.1.2) e assuma que seu raio de con-
vergncia R no-nulo. Assim, temos
68 Sries complexas e resduos

(a) esta srie representa uma funo contnua f dentro do seu crculo de convergncia
|z z0 | = R;

(b) a funo f diferencivel e a srie pode ser derivada termo-a-termo dentro do seu
crculo de convergncia |z z0 | = R, e sua derivada f dada por

X

f (z) = nan (z z0 )n1 . (6.1.3)
n=1

Ainda mais, a srie (6.1.3) tem raio de convergncia R;

(c) esta srie pode ser integrada termo-a-termo dentro do seu crculo de convergncia; isto
, se um contorno inteiramente contido no interior do crculo |z z0 | = R ento
Z
X Z
f (z)dz = an (z z0 )n dz, (6.1.4)
n=1

Ainda mais, a srie (6.1.4) tem raio de convergncia R.

6.2 Sries de Taylor


Na teoria de funes de varivel complexa, as sries repesentam um papel muito im-
portante. Vejamos o primeiro resultado que relaciona os conceitos de analiticidade e
sries.

Teorema 6.2.1. Seja f uma funo analtica num domnio D e seja z0 D. Ento f
tem uma representao em srie de potncias:

X
f (z) = an (z z0 )n , (6.2.1)
n=0

onde
f (n) (z0 )
an = , (6.2.2)
n!
e esta representao vlida para a maior vizinhana centrada em z0 e raio R > 0 que
est inteiramente contida em D.

1
Exemplo 6.2.2. Encontre a srie de Taylor de f (z) = (1z)2
, centrada em z0 = 0.
Soluo: Poderamos utilizar a expresso (6.2.2) para encontrar esta srie. Porm,
d 1 1 1
sabendo que dz 1z
= (1z)2 , utilizaremos a srie de 1z para nos auxiliar.
6.3 Sries de Laurent 69


X
1
Temos para |z| < 1, que 1z
= z n , logo o item (b) do Teorema 6.1.17 implica que
n=0


1 d 1 X
2
= = nz n1 ,
(1 z) dz 1 z n=1

a representao em srie de Taylor de f (z) centrada em z0 = 0, que tem raio de


1
convergncia igual ao da srie de 1z , que R = 1.
Podemos ainda utilizar tais expresses para, por exemplo, encontrar a srie de Taylor
z3
de f (z) = (1z)2 , simplesmente multiplicando a srie obtida no exemplo anterior, obtendo


z2 X
= nz n+2 ,
(1 z)2 n=1

e novamente, esta srie tem raio de convergncia R = 1.


1
Exemplo 6.2.3. Encontre a srie de Taylor de f (z) = 1z
centrada em z0 = 2i.
Soluo: Neste caso, escrevemos

1 1 1 1
= = .
1z 1 2i (z 2i) 1 2i 1 z2i
12i

. 1 1 1
Se definimos w = z2i
12i
, temos 1z = 12i 1w
. Usando a expanso em srie de potncias
para |w| < 1, temos
 n
1 X
n
X z 2i
= w = ,
1 w n=0 n=0
1 2i
logo

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

sempre que z2i
12i
= |w| < 1; isto , sempre que |z 2i| < |1 2i| = 5. Portanto o raio

de convergncia desta srie R = 5 e o crculo de convergncia |z 2i| = 5 (isto
pode ser verificado tambm aplicando os resultados da Observao 6.1.14).
Observao 6.2.4. Quando a srie de Taylor est centrada em z0 = 0, ela comumente
chamada de srie de Maclaurin.

6.3 Sries de Laurent


Se uma funo analtica numa vizinhana de um ponto z0 , ento vimos na seo
anterior que f tem uma representao em srie de Taylor. A pergunta natural que surge
70 Sries complexas e resduos

: e se f no analtica no ponto z0 ? Ainda podemos encontrar alguma representao


em sries para a funo f ?
Antes de responder esta pergunta, veremos rapidamente a definio de sequncias e
sries com ndices em Z, ao invs de N.

Definio 6.3.1. Uma sequncia com ndices em Z uma funo que a cada nmero
inteiro n associa um nmero complexo zn . Denotamos por {zn }nZ , e quando no houver
confuso, diremos simplesmente que {zn } uma sequncia.

Dada uma sequncia {zn }nZ , podemos construir duas sequncias usuais, dadas por

zn+ = zn , para todo n > 0 e zn = zn , para todo n > 0.

Definio 6.3.2. Diremos que a sequncia {zn }nZ convergente se ambas as sequn-
cias {zn+ }n>0 e {zn }n>0 so convergentes (possivelmente com limites distintos). Neste
caso, se limn zn+ = L1 e limn zn = L2 , escrevemos

n n
L2 zn L1 .

Se uma sequncia {zn }nZ no convergente, diremos que ela divergente.

Exemplo 6.3.3. A sequncia {zn }nZ dada por zn = n1 , se n 6= 0 e z0 = 0, convergente


e tambm
n n
0 zn 0.

J as sequncias {2n }nZ e 21n nZ so divergentes.

Dada uma sequncia {zn }nZ , podemos construir duas sequncias de somas parciais,
como segue
n
X n
X
1. Sn+ = zk = zk+ , para n > 0, e
k=0 k=0

1
X n
X
2. Sn = zk = zk , para n > 0.
k=n k=1

Observao 6.3.4. Para evitar complicaes com o estudo de sries com ndices inteiros,
trataremos somente o caso de convergncia absoluta para as sequncias de somas parciais
definidas acima.

A condio de convergncia absoluta nas sequncias das somas parcias nos d tambm
o seguinte resultado.
6.3 Sries de Laurent 71

Definio 6.3.5. Quando as sequncias {Sn+ }n>0 e {Sn }n>0 so absolutamente conver-
gentes para S1 e S2 , respectivamente, dizemos que a srie de {zn }nZ convergente e
denotamos por
X
zn = L1 + L2 = lim Sn+ + lim Sn .
n n
n=


X
Proposio 6.3.6. Se a srie zn convergente, ento
n=


X n
X
zn = lim zk .
n,m
n= k=m

Como podemos ver, o estudo de sequncias e sries com ndices inteiros basicamente
anloga ao estudo de sequncias usuais, vista no curso de Clculo II. Assim, todos os
critrios e testes de convergncia se aplicam novamente, se aplicados s partes positiva
e negativa.

6.3.1 Teorema de representao em sries de Laurent

No incio deste captulo, perguntamos como seria uma representao em sries (se
existir) para um funo f que deixa de ser analtica para alguns pontos de um domnio
simplesmente conexo D. A resposta para esta pergunta est contida no seguinte resultado:

Teorema 6.3.7. Seja f uma funo analtica num domnio anelar D definido por r <
|z z0 | < R, (onde 0 6 r < R 6 ). Ento f tem uma representao em srie da forma

X
f (z) = an (z z0 )n , (6.3.1)
n=

vlida para r < |z z0 | < R, e a convergncia desta srie absoluta. Os coeficientes an


so dados por I
1 f (z)
an = dz, para todo k Z, (6.3.2)
2i (z z0 )n+1
onde uma curva fechada simples inteiramente contida em D e contm z0 em seu
interior (veja figura abaixo).
72 Sries complexas e resduos


z0
r

Figura: Regio anelar D e curva .

A srie (6.4.1) chamada de srie de Laurent de f , centrada em z0 , no anel D.


Segue diretamente do Teorema de Cauchy-Goursat que, no caso onde f analtica para
todos os pontos no interior do crculo |z z0 | = R, que an = 0 para todo n < 0, e portanto
a srie de Laurent igual srie de Taylor de f .

1
Exemplo 6.3.8. Encontre a expanso em srie de Laurent para f (z) = z(z1)
nos se-
guintes domnios.

(a) 0 < |z| < 1 (b) |z| > 1 (c) 0 < |z 1| < 1 (d) |z 1| > 1

Soluo: Nas partes (a) e (b), queremos expressar f envolvendo as potncias de z; j


nos itens (c) e (d), encontraremos sries envolvendo potncias de z 1.
Para o item (a), notemos que f (z) = z1 1z
1
, e lembremos que podemos expressar


1 X
= zn,
1z n=0

que vlida em |z| < 1. Assim, multiplicando a expresso acima por 1z , obtemos


X
X
n1
f (z) = z = zn ,
n=0 n=1

e esta expresso vlida para 0 < |z| < 1.



Para a parte (b), temos que construir uma srie que converge se z1 < 1; isto , se
1 < |z|. Para isso, note que

1 1 1
f (z) = = 2 .
z(z 1) z 1 z1
6.3 Sries de Laurent 73

1
Denotando z
por w, temos

1 X
= wn;
1w n=0

sempre que |w| < 1; isto ,



1 X 1
1 = ,
1 z n=0
zn
1
e esta expresso vlida para |z| > 1. Assim, multiplicando esta expresso por z2
, obtemos


X 2
X
(n+2)
f (z) = z = zn ,
n=0 n=

para todo z com |z| > 1.


1 1
Para o item (c), notemos que podemos escrever f (z) = z1 1+(z1)
. Para |z 1| < 1,
temos
1 1 X
= = (1)n (z 1)n .
z 1 + (z 1) n=0

1
Portanto, dividindo a expresso acima por z1
, obtemos


X
X
f (z) = (1)n (z 1)n1 = (1)n+1 (z 1)n .
n=0 n=1

1 1 1 1
Finalmente, para o item (d), notemos que z
= 1+(z1)
= 1 .
z1 1+ z1
Como no item
1
(b), fazendo w = z1
, temos, para |w| < 1


1 X
= (1)n w n ;
1 + w n=0

isto
1 X (1)n
1 = .
1 + z1 n=0
(z 1)n

Portanto
2
1 1 X
(n+2)
X
f (z) = 1 =
n
(1) (z 1) = (1)(n+2) (z 1)n .
(z 1)2 1 + z1 n=0 n=

1
Exemplo 6.3.9. Encontre a expanso de f (z) = z(z1)
em srie de Laurent, no anel
1 < |z 2| < 2.
74 Sries complexas e resduos

Soluo: Usamos primeiramente a decomposio de f em fraes parciais, para obter

1 1
f (z) = + .
z z1

Sabemos que
1 1 1 1
= = .
z 2 + (z 2) 2 1 + z2
2

Assim, para |z 2| < 2, temos



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

Sabemos tambm que

1 1 1 1
= = 1 ,
z1 1 + (z 2) z 2 1 + z2

e para |z 2| > 1, temos



X (1)n
1
1 = n
,
1 + z2 n=0
(z 2)
logo
1
1 X (1)n X
= n+1
= (1)(n+1) (z 2)n .
z 1 n=0 (z 2) n=

Juntando as duas expresses, obtemos



X
f (z) = an (z 2)n ,
n=

(1)n
onde an = (1)(n+1) , para n 6 1, an = 2n+1
, para n > 0, e esta expresso vlida
para 1 < |z 2| < 2.

8z+1
Exemplo 6.3.10. Encontre a expanso de f (z) = z(1z) no anel 0 < |z| < 1.
Soluo: Podemos escrever, utilizando a decomposio em fraes parciais:

8z + 1 1 9
f (z) = = + .
z(1 z) z 1z

Sabemos que para |z| < 1, temos



9 X
=9 zn .
1z n=0
6.3 Sries de Laurent 75

Logo

1 X
n
X
f (z) = + 9 z = an z n ,
z n=0 n=1

onde a1 = 1 e an = 9, para n > 0; e esta expresso vlida para 0 < |z| < 1.
sin z
Exemplo 6.3.11. Encontre a expanso de f (z) = z
no anel 0 < |z| < .
Soluo: Sabemos, usando o Teorema 6.2.1, que

X (1)n 2n+1
sin z = z ,
n=0
(2n + 1)!

e esta expanso vlida para todo z C. Assim, segue que



X (1)n 2n
f (z) = z ,
n=0
(2n + 1)!

e esta expanso vlida para 0 < |z| < .

Observao 6.3.12. Note que no exemplo acima, a srie de Laurent que encontramos
para f est definida para todo z C (s possui potncias no-negativas z n ), enquanto que
a funo f (z) = sinz z no est definida para z = 0. Para que as duas expresses coincidam
em todos os pontos de C, podemos definir a funo

sin z , para z 6= 0
f(z) = z

1, para z = 0.

Deste modo, temos



X (1)n 2n
f(z) = z ,
n=0
(2n + 1)!
e esta expresso vlida para todo z C.
3
Exemplo 6.3.13. Encontre a expanso de f (z) = e z no anel 0 < |z| < .
Soluo: Sabemos, usando o Teorema 6.2.1, que

X zn
ez = .
n=0
n!

e esta expanso vlida para todo z C. Assim, segue que

0
X 3n X zn
f (z) = = ,
n=0
n!z n n= 3n (n)!
76 Sries complexas e resduos

e esta expanso vlida para 0 < |z| < .

6.3.2 Singularidades isoladas


Definio 6.3.14. Um ponto z0 dito uma singularidade isolada para uma funo f
se a funo no analtica em z0 , mas existe um r > 0 tal que a funo analtica em
0 < |z z0 | < r.

Exemplo 6.3.15.

1. z0 = 0 uma singularidade isolada de f (z) = 1z .

2. os pontos 2i e 2i so singularidades isoladas de f (z) = z


z 2 +4
.
1
3. z0 = 0 uma singularidade isolada de f (z) = e z .
sin(z1)
4. z0 = 1 uma singularidade isolada de f (z) = (z1)
.

Observao 6.3.16. Note que, por exemplo, o ponto z0 = 0 no uma singularidade


isolada da funo logaritmo f (z) = Lnz, j que qualquer vizinhana de 0 contm pontos
do eixo real negativo, onde f no analtica.

6.3.3 Classificao de singularidades


Definio 6.3.17 (Singularidade removvel). Uma singularidade isolada de uma funo
f chamada de singularidade removvel se existe uma funo analtica g numa vizi-
nhana |z z0 | < r tal que g(z) = f (z) para 0 < |z z0 | < r.

Definio 6.3.18 (Polo). Dizemos que uma singularidade isolada z0 de f um polo se

lim |f (z)| = ;
zz0

isto , dado M > 0 existe > 0 tal que |f (z)| > M se 0 < |z z0 | < .

Definio 6.3.19 (Singularidade essencial). Dizemos que uma singularidade isolada z0


de f uma singularidade essencial se ela no nem uma singularidade removvel e
nem um polo.

possvel mostrar, com um pouco de trabalho, que estas so as nicas trs possibi-
lidades para uma singularidade isolada. Agora, a pergunta que surge : como podemos
determinar qual o tipo de singularidade isolada de uma funo f ? Isto o que vamos
responder ao longo desta seo com uma srie de resultados.
6.3 Sries de Laurent 77

Classificao usando sries de Laurent

Seja z0 uma singularidade isolada de uma funo complexa f . Ento existe r > 0 tal
que a funo f analtica no anel 0 < |z z0 | < r (tambm chamado de disco perfurado
de centro z0 e raio r). Considere a expanso de f em srie de Laurent, dada por

X
f (z) = an (z z0 )n .
n=

Temos que z0 :

1. uma singularidade removvel se an = 0, para todo n < 0; isto , se a srie de


Laurent s possui potncias no-negativas de z z0 ;

2. um polo se existe m > 0 tal que an = 0 para n < m e am 6= 0; isto , a srie de


Laurent possui somente uma quantidade finita de potncias negativas de z z0 . O
nmero m chamado de ordem do polo e dizemos neste caso que z0 um polo de
ordem m;

3. uma singularidade essencial se dado m > 0 existe n > m tal que an 6= 0; isto ,
existem infinitas potncias negativas de z z0 na srie de Laurent.

Um polo de ordem 1 tambm chamado de polo simples. Nos exemplos de 1


a 4 acima, temos 1. polo simples, 2. polos simples, 3. singularidade essencial, 4.
singularidade removvel. O ponto z0 = 0 um polo de ordem m da funo f (z) = z1m .
Na Observao 6.3.12, o ponto z = 0 uma singularidade removvel de f .

Singularidades removveis

Estas singularidades so as mais simples de serem tratadas, como veremos agora.


Considere f analtica num disco perfurado D dado por 0 < |z z0 | < r e assuma que z0
uma singularidade removvel de f . Temos ento o seguinte resultado de caracterizao:

Teorema 6.3.20. Seja f uma funo complexa com uma singularidade isolada z0 . Ento
z0 uma singularidade removvel de f se, e somente se,

lim (z z0 )f (z) = 0.
zz0

Essencialmente, singularidades removveis no trazem nada de diferente ao estudo de


singularidades de funes complexas, j que estas podem ser simplesmente eliminadas,
definindo a funo f em z0 de maneira apropriada. Assim dito, no nos preocuparemos
mais com estas singularidades.
78 Sries complexas e resduos

Polos

Vamos agora estudar os polos, que diferente das singularidades removveis, trazem
uma complicao um pouco maior para o estudo das funes complexas. Juntamente ao
estudo de polos est o estudo de zeros de uma funo complexa. Comearemos ento com
este conceito.

Definio 6.3.21. Um ponto z0 um zero de uma funo f se f (z0 ) = 0. Alm disso,


se f uma funo analtica, dizemos que z0 um zero de ordem m (ou zero de
multiplicidade m) se f (n) (z0 ) = 0 para todo n = 0, , m 1 e f (m) (z0 ) 6= 0. Um zero
de ordem 1 tambm chamado de zero simples. Diremos que um zero z0 de f isolado
se existe r > 0 tal que f (z) 6= 0, para todo 0 < |z z0 | < r.

Daqui em diante, a no ser que dito o contrrio, todos os zeros que estudaremos so
isolados. Uma propriedade importante de zeros isolados a seguinte

Teorema 6.3.22. Sejam z0 C e f uma funo analtica num disco |z z0 | < r. Ento
z0 um zero de multiplicidade m de f se, e somente se, existe uma funo g analtica em
|z z0 | < r, com g(z0 ) 6= 0 e

f (z) = (z z0 )m g(z), em |z z0 | < r.

Demonstrao: A implicao se bem simples, e deixada a cargo do leitor. Provemos


o somente se, e para isto, assuma que z0 um zero de multiplicidade m de f . Como f
analtica no disco |z z0 |, o Teorema 6.2.1 nos d que

X f (n) (z0 )
f (z) = (z z0 )n ,
n=0
n!

e como f (n) (z0 ) = 0 para n = 0, , m 1, temos



X f (n) (z0 ) n m
X f (n) (z0 )
f (z) = (z z0 ) = (z z0 ) (z z0 )nm .
n=m
n! n=m
n!


X f (n) (z0 )
Definindo g(z) = (z z0 )nm , o Teorema 6.1.17 nos diz que g analtica
n=m
n!
(note que s aparecem potncias no-negativas de z z0 ), f (z) = (z z0 )m g(z) em
|z z0 | < r e
f (m) (z0 )
g(z0 ) = 6= 0,
m!
j que, como z0 zero de multiplicidade m, temos f (m) (z0 ) 6= 0.
6.3 Sries de Laurent 79

Exemplo 6.3.23. Determine a multiplicidade do zero z0 = 0 da funo f (z) = z sin z 2 .


Soluo: Note primeiramente que a funo f inteira. Assim podemos encontrar a srie
de Taylor de f centrada em 0. Sabemos que

X (1)n z 2n+1
sin z = ,
n=0
(2n + 1)!

e esta expresso vlida para todo z C. Assim, substituindo z por z 2 nesta expresso,
obtemos
2
X (1)n z 4n+2
sin z = ,
n=0
(2n + 1)!
e esta expresso vlida para todo z C. Assim, multiplicando ambos os lados por z,
obtemos
X (1)n z 4n+3 X (1)n z 4n
f (z) = = z3 .
n=0
(2n + 1)! n=0
(2n + 1)!

X (1)n z 4n
Assim, f (z) = z 3 g(z), onde g(z) = , e g(0) = 1. Portanto z0 = 0 um
n=0
(2n + 1)!
zero com multiplicidade 3 de f .

Podemos dar uma caracterizao similar para polos.

Teorema 6.3.24. Sejam z0 C e f uma funo analtica num disco perfurado 0 <
|z z0 | < r. Ento z0 um polo de ordem m de f se, e somente se, existe uma funo g
analtica no disco |z z0 | < r com g(z0 ) 6= 0 tal que

g(z)
f (z) = , em 0 < |z z0 | < r.
(z z0 )m

Demonstrao: Como no teorema anterior, a parte se bem direta e deixada a cargo


do leitor. Provemos a parte somente se, e para isto, assuma que z0 um polo de ordem m
de f . Assim, f tem uma expanso em srie de Laurent no disco perfurado 0 < |z z0 | < r,
dada por
X
f (z) = an (z z0 )n ,
n=m

onde am 6= 0. Multiplicando ambos os lados por (z z0 )m , obtemos



X
X
(z z0 )m f (z) = an (z z0 )n+m = anm (z z0 )n .
n=m n=0

Como a srie do lado direito da expresso acima s possui potncias no-negativas de


80 Sries complexas e resduos


X
z z0 o Teorema 6.1.17 nos d que g(z) = anm (z z0 )n define uma funo analtica
n=0
no disco |z z0 | < r. Claramente, g(z0 ) = am 6= 0 e

g(z)
f (z) = , em 0 < |z z0 | < r,
(z z0 )m

o que conclui a demonstrao.


Vimos ento que zeros e polos tm uma caracterizao muito parecida, e com isto
natural perguntar: zeros de multiplicidade m e polos de ordem m esto relacionados?
A resposta para esta pergunta sim! Como veremos nos seguintes resultados.

Teorema 6.3.25. Sejam h, k funes analticas num disco |z z0 | < r. Assuma que z0
um zero de multiplicidade m de h e que k(z0 ) 6= 0. Ento z0 um polo de ordem m da
k(z)
funo f (z) = h(z) .

Demonstrao: Como z0 um zero de multiplicidade m de h, o Teorema 6.3.22 garante


que existe uma funo g1 analtica no disco |z z0 | < r com g1 (z0 ) 6= 0 e

h(z) = (z z0 )m g1 (z).

k(z)
Assim, para 0 < |z z0 | < r e g2 (z) = g1 (z)
temos

k(z) g2 (z)
f (z) = = ,
h(z) (z z0 )m

onde g2 analtica em 0 < |z z0 | < r (se r for escolhido suficientemente pequeno) e


0)
ainda g2 (z0 ) = gk(z
1 (z0 )
6= 0, e o Teorema 6.3.24 nos d o resultado.

Corolrio 6.3.26. Sejam z0 C e f uma funo analtica num disco |z z0 | < r, com
f (z) 6= 0 para todo 0 < |z z0 | < r. Ento z0 um zero de multiplicidade m para f se, e
1
somente se, z0 um polo de ordem m de f (z) .

Exemplo 6.3.27. Encontre os polos e suas ordens, para a funo

2z + 5
f (z) = .
(z 1)(z + 5)3 (z 2)4

Soluo: O denominador tem z = 1, z = 5 e z = 2 como zeros. Claramente, como


2z + 5 diferente de zero nestes trs pontos, o Teorema 6.3.25 garante que z = 1 um
polo simples, z = 5 um polo de ordem 3 e z = 2 um polo de ordem 4.
6.4 Resduos 81

Singularidades essenciais

As singularidades essenciais so incrivelmente complicadas, e no faremos um estudo


detalhado delas. S para o leitor ter uma ideia do quo complicada uma funo f pode
ficar prximo de uma singularidade essencial, apresentamos sem demonstrao, o seguinte
resultado.

Teorema 6.3.28 (Great Picards Theorem). Assuma que z0 uma singularidade essencial
de uma funo f . Ento, dado > 0, a imagem do disco perfurado 0 < |z z0 | < por
f todo o plano complexo, com uma nica possvel exceo. Alm disso, cada ponto da
imagem atingido um nmero infinito de vezes.

Para ilustrar o resultado acima, mostraremos este teorema num caso bem particular.
1
Proposio 6.3.29. Dado r > 0, a imagem de 0 < |z| < r pela funo f (z) = e z
C \ {0}, e cada ponto na imagem atingido um nmero infinito de vezes.

Demonstrao: Seja r > 0 e w C \ {0}. Mostraremos que existem n0 N e uma


sequncia {zn }n>n0 de nmeros complexos com 0 < |zn | < r tais que

f (zn ) = w, para todo n > n0 .

De fato, seja w C \ {0}, assim w = rei , para algum r > 0 e [, ). Se


1 1
e = w = rei , temos e z = eLnw = eln |w|+iArgw = eln r+i . Assim, definindo
z

. 1
zn = ,
ln r + i( + 2n)
1
temos z0 6= 0 e e zn = w, para todo n N. Agora

ln r + 2n
zn = i ,
(ln r)2 + ( + 2n) 2 (ln r) + ( + 2n)2
2

e portanto
1
|zn | = .
(ln r)2 + ( + 2n)2
Assim, lim |zn | = 0 e podemos escolher n0 N tal que |zn | < r, para todo n > n0 , o
n
que conclui a demonstrao.

6.4 Resduos
Agora veremos uma ferramenta importantssima e muito til para o clculo de integrais
complexas, que o conhecido Teorema dos Resduos. Antes de enunci-lo, vamos fazer
82 Sries complexas e resduos

alguns resultados preliminares.


Seja z0 uma singularidade isolada de uma funo f , e considere r > 0 tal que f
analtica no disco perfurado 0 < |z z0 | < r. Temos ento uma expanso em srie de
Laurent para f neste disco perfurado dada por

X
f (z) = an (z z0 )n , (6.4.1)
n=

I
1 f (z)
onde an = dz e o crculo |z z0 | = r1 < r.
2i (z z0 )n+1
Lema 6.4.1. Temos, para acima, que
I (
0, se n 6= 1;
(z z0 )n dz = (6.4.2)
2i, se n = 1.

Demonstrao: Uma parametrizao para (t) = z0 + r1 eit , para t [0, 2]. Assim,
temos I Z 2 Z 2
n n int it n+1
(z z0 ) dz = r1 e r1 ie dt = r1 i ei(n+1)t dt.
0 0
I
1
Claramente, se n = 1, temos dz = 2i. Agora, assuma que n 6= 1, ento
z z0
I 2
n ei(n+1)t
(z z0 ) dz = r1n+1 = 0,
i(n + 1) 0

o que conclui a demonstrao.


Usando o Teorema 6.1.17, aplicado srie de Laurent de f , conclumos que podemos
integrar esta srie termo-a-termo. Fazendo esta integrao e usando (6.4.2), temos
I
X I
f (z)dz = an (z z0 )n dz = 2ia1 . (6.4.3)
n=

Utilizando este fato fazemos a seguinte definio:

Definio 6.4.2. Seja z0 uma singularidade isolada de uma funo f e considere a ex-
panso de Laurent (6.4.1) de f no disco perfurado 0 < |z z0 | < r. O termo a1 desta
expanso chamado de resduo de f no ponto z0 , e denotamos por

.
a1 = Res(f, z0 ).

Agora, a equao (6.4.3) nos d o Teorema dos Resduos.


6.4 Resduos 83

Teorema 6.4.3 (Teorema do Resduo). Seja f uma funo analtica no disco perfurado
0 < |z z0 | < r. Ento se uma curva suave por partes, simples e fechada, inteiramente
contida em 0 < |z z0 | < r com z0 no seu interior, orientada positivamente, temos
I
1
f (z)dz = Res(f, z0 ).
2i

1
Exemplo 6.4.4. Encontre o resduo de f (z) = (z1)2 (z3)
em z0 = 1, e use isto para
H
calcular f (z)dz, onde o crculo |z 1| = 1.
Soluo: Devemos encontrar a expanso em srie de Laurent de f em torno de z0 = 1.
Sabemos que, para |z 1| < 2, temos

1 1 1 1 1 X (z 1)n X (z 1)n
= = = = .
z3 2 (z 1) 2 1 z1
2
2 n=0
2 n
n=0
2 n+1

Assim, para 0 < |z 1| < 2, temos



X (z 1)n2 X (z 1)n
f (z) = = ,
n=0
2n+1 n=2
2 n+3

1
e portanto an = 2n+3 , para n > 2. Assim sendo, o resduo de f em z0 = 1

1
Res(f, 1) = a1 = .
4

Segue ento do Teorema do Resduo (Teorema 6.4.3) que


I
i
f (z)dz = 2i Res(f, 1) = .
2

3
Exemplo 6.4.5. Encontre o resduo de f (z) = e z em z0 = 0 e use-o para calcular
H

f (z)dz, onde o crculo |z| = 1.
P zn
Soluo: Sabemos que ez = n=0 n! , e que esta expresso vlida para todo z C.
Portanto, para 0 < |z| < , temos1

0
X 3n X zn
f (z) = = ,
n=0
n!z n n= 3n (n)!

1
Consulte o Exemplo 6.3.13
84 Sries complexas e resduos

1
assim, an = 3n (n)!
, para todo n 6 0. Portanto Res(f, 0) = 3 e temos
I
f (z)dz = 6i.

Usando o Teorema de Cauchy para domnios multiplamente conexos (Teorema 5.3.10),


temos o seguinte resultado

Teorema 6.4.6 (Teorema dos Resduos). Seja f uma funo analtica num domnio D,
exceto numa quantidade finita de singularidades isoladas z1 , , zn . Seja uma curva
suave por partes, simples e fechada, inteiramente contida em D \ {z1 , , zn } contendo
z1 , , zn no seu interior, orientada positivamente. Ento, temos
I n
1 X
f (z)dz = Res(f, zk ).
2i k=1

Antes de aplicarmos o Teorema dos Resduos a algumas funes, vamos mostrar alguns
resultados que facilitam (muito!) o clculo de resduos para polos, evitando ter que
expandir a funo em srie de Laurent. Claramente, consequncia imediata da definio,
que se z0 uma singularidade removvel de f , ento Res(f, z0 ) = 0.

Proposio 6.4.7. Seja z0 um polo de ordem m de uma funo f e seja g uma funo
analtica em |z z0 | < r tal que g(z) = (z z0 )m f (z), para 0 < |z z0 | < r. Ento

g (m1) (z0 )
Res(f, z0 ) = .
(m 1)!

Demonstrao: Como g analtica, podemos fazer sua expanso em srie de Taylor, no


disco |z z0 | < r, dada por

X g (n) (z0 )
g(z) = (z z0 )n .
n=0
n!

Assim, a srie de Laurent para f dada por



X g (n) (z0 ) nm
X g (m+n) (z0 )
f (z) = (z z0 ) = (z z0 )n ,
n=0
n! n=m
(m + n)!

g (m1) (z0 )
e portanto Res(f, z0 ) = a1 = (m1)!
.

Observao 6.4.8. Para utilizar o resultado acima, definimos primeiramente a funo


h(z) = (z z0 )m f (z), para 0 < |z z0 | < r. Desta maneira, a funo analtica g dada
6.4 Resduos 85

no teorema acima dada por



h(z), em 0 < |z z0 | < r,
g(z) =
lim h(z), para z = z0 .
zz0

dk
Claramente h(k) (z) = dz k
[(z z0 )m f (z)] para 0 < |z z0 | < r. Portanto

dk
g (k) (z0 ) = lim [(z z0 )m f (z)], para todo k > 0.
zz0 dz k

Corolrio 6.4.9. Se z0 um polo simples de f , ento

Res(f, z0 ) = lim (z z0 )f (z).


zz0

Exemplo 6.4.10. A funo f (z) = (z1)21(z3) tem um polo simples em z = 3 e um polo


de ordem 2 em z = 1. Encontre os resduos de f nestes pontos.
Soluo: Sabemos do Corolrio 6.4.9 que para o polo simples z = 3 temos

1 1
Res(f, 3) = lim(z 3)f (z) = lim = .
z3 z3 (z 1)2 4

Alm disso, aplicando a Proposio 6.4.7 ao polo de ordem 2 z = 1, temos g(z) =


1
(z 1)2 f (z) = z3 . Assim,
 
d 1 1 1
Res(f, 1) = lim = lim 2
= .
z1 dz z 3 z1 (z 3) 4
H
Exemplo 6.4.11. Calcule f (z)dz, onde f dada pelo exemplo anterior e o crculo
orientado positivamente dado por

(a) |z| = 2 (b) |z| = 4.

Soluo: Para o item (a), somente a singularidade z = 1 est no interior do crculo,


assim, o Teorema do Resduo (Teorema 6.4.3) temos
I
i
f (z)dz = 2i Res(f, 1) = .
2

Para o item (b), ambas as singularidades z = 1 e z = 3 esto no interior do crculo.


Segue do Teorema dos Resduos (Teorema 6.4.6) que
I
f (z)dz = 2i [Res(f, 1) + Res(f, 3)] = 0.

86 Sries complexas e resduos

6.5 Integrais reais imprprias


Considere o seguinte exemplo:
Exemplo 6.5.1. Mostre que
Z
x2
dx = .
1 + x4 2
z 2
Soluo: Considere a funo complexa f (z) = 1+z 4 , que tem quatro polos simples, dados

por
zi = ei( 4 +n 2 ) , para i = 0, 1, 2, 3.

Consequentemente, pelo Corolrio 6.4.9, temos que


 
1 1 1 1
Res(f, z0 ) = lim (z z0 )f (z) = = ei 4 = i ,
zz0 4 4 2 2

e tambm  
1 3 1 1 1
Res(f, z1 ) = ei 4 = i .
4 4 2 2
Agora seja R > 1 e considere a curva dada pela fronteira do semi-crculo centrado
em 0 e de raio R contido no semiplano superior, orientada positivamente, como na figura
abaixo.
C

R 1 1 R
Figura: A curva .
Do Teorema dos Resduos 6.4.6, como z0 e z1 esto na regio delimitada pela curva ,
temos I
1 1
f (z)dz = Res(f, z0 ) + Res(f, z1 ) = i ,
2i 2 2
logo obtemos que I

f (z)dz = .
2
Aplicando a definio de integral de linha, temos que
I Z R Z
x2 R3 e3it
f (z)dz = dx + i dt.
R 1 + x4 0 1 + R4 e4it
6.5 Integrais reais imprprias 87

Mostremos agora que o segundo termo da direita na igualdade acima tende zero
quando R , o que implicar que
Z R Z
x2 x2
= lim dx = dx,
2 R R 1 + x4 1 + x4

e concluir o resultado.
De fato, pela Proposio 2.2.4, temos |1 + R4 e4it | > R4 1 e assim, temos
Z
Z
R3 e3it R3 R3 R
i dt 6 dt = 0,

0 1 + R4 e4it 0 R4 1 R4 1

e conclui o resultado. 
Notemos alguns ingredientes que utilizamos para demonstrar este resultado:

1. A funo do integrando um quociente de polinmios (que chamamos de funo


racional).

2. A funo que aparece no denominador no pode ter zeros reais, para que a integral
esteja bem definida.

3. Note que para que a integral sobre a parte circular da curva convergisse para zero,
importante que aparea uma potncia de R denominador maior do que a que
aparece no numerador. Para isto, lembrando que pela definio de integral de li-
nha, aparecer sempre um R no numerador, devemos ter o grau do polinmio do
numerador maior que o grau do polinmio do denominador mais 2.

Com estas consideraes, podemos enunciar o seguinte resultado:

Teorema 6.5.2. Sejam p e q dois polinmios reais. Assuma que

1. q no tenha razes reais (consequentemente, tem grau par);

2. grau(q) > grau(p) + 2.

Sejam tambm z0 , , zn os zeros complexos de q quem tm parte imaginria positiva.


Ento Z n
p(x) X
dx = 2i Res(f, zi ).
q(x) i=0

Exemplo 6.5.3. Calcule


Z
x2
dx.
x4 + x2 + 1
88 Sries complexas e resduos

Soluo: Verifique que todas as condies do Teorema 6.5.2 esto satisfeitas. Os zeros
complexos de q(x) = x4 + x2 + 1 com parte imaginria positiva so

i 3 1 3 2 1 3
z0 = e = +i e z1 = ei 3 = + i ,
2 2 2 2
p(z)
e ambos so polos simples da funo complexa f (z) = q(z)
. Assim temos os zeros z2 =

i 4 i 5
e 3 = 21
i 2
3
e z3 = e 3 = 1
2
i 2
3
.
Alm disso
1 1
Res(f, z0 ) = lim (z z0 )f (z) = z02 (z0 z1 )1 (z0 z2 )1 (z0 z3 )1 = i ,
zz0 4 4 3

e tambm
1 1
Res(f, z1 ) = lim (z z1 )f (z) = z12 (z1 z0 )1 (z1 z2 )1 (z1 z3 )1 = i .
zz1 4 4 3

Pelo Teorema 6.5.2 segue que


Z
x2
4 2
dx = 2i(Res(f, z0 ) + Res(f, z1 )) = .
x +x +1 3


Captulo

7
Solues em sries para equaes
diferenciais ordinrias

Neste captulo, veremos como utilizar sries para resolver equaes diferenciais ordi-
nrias de segunda ordem na forma

d2 y dy
P (x) + Q(x) + R(x)y = 0, (7.0.1)
dx dx
onde P, Q e R so funes contnuas.
Vamos considerar somente o caso homogneo como acima, pois o caso no-homogneo

d2 y dy
P (x) + Q(x) + R(x)y = S(x),
dx dx
resolvido similarmente.
Uma ampla classe de problemas em Fsica Matemtica nos leva equaes da forma
(7.0.1), onde os coeficientes so funes polinomiais; por exemplo, a equao de Bessel

x2 y + xy + (x2 2 )y = 0,

onde uma constante, e a equao de Legendre

(1 x2 )y 2xy + ( + 1)y = 0,

onde uma constante, e tambm a equao de Cauchy-Euler

x2 y + xy + y = 0,
90 Solues em sries para equaes diferenciais ordinrias

onde e so constantes.
Queremos resolver (7.0.1) na vizinhana de um ponto x0 em R; e tal soluo est
profundamente relacionada com o comportamento de P nesta vizinhana de x0 . Vamos
nos preocupar com o caso onde P (x0 ) 6= 0; isto , x0 um ponto ordinrio. Da
continuidade de P , segue que existe uma vizinhana de x0 onde P sempre diferente de
zero e assim, podemos dividir esta equao por P (x) e obter a equao

y + p(x)y + q(x)y = 0, (7.0.2)

onde p(x) Q(x)


P (x)
e q(x) = R(x)
P (x)
so funes contnuas. Assim, existe um intervalo onde a
nica soluo de (7.0.1) com condies iniciais y(x0 ) = y0 e y (x0 ) = y0 existe e est bem
definida.
Buscamos uma soluo para (7.0.1) que possa se expandida em srie de potncias, da
forma
X
y(x) = an (x x0 )n ,
n=0

e vamos assumir que esta srie convergente num intervalo |x x0 | < , para algum
> 0. Para ilustrar o mtodo que vamos utilizar, vamos comear com um exemplo.

Exemplo 7.0.4. Encontre uma soluo em srie para a equao

y + y = 0, < x < .

Soluo: Sabemos que duas solues linearmente independentes desta equao so y1 (x) =
sin x e y2 (x) = cos x, logo no precisaramos utilizar sries para encontrar as solues
desta equao. Mas este exemplo ilustra bem como utilizar sries de potncias para en-
contrar solues para equaes diferenciais ordinrias. Note que P (x) 1, logo todo ponto
ordinrio.
Vamos procurar uma soluo para a equao acima na forma de uma srie de potncias
em torno de x0 = 0
X
y(x) = an xn ,
n=0

e assuma que esta srie converge em um intervalo |x| < . Diferenciando a srie termo-
a-termo, temos
X

y = nan xn1 ,
n=1
91

e derivando uma vez mais, temos



X
X
n2
y = n(n 1)an x = (n + 2)(n + 1)an+2 xn .
n=2 n=0

Subistituindo estas expresses na equao inicial, obtemos



X
[(n + 2)(n + 1)an+2 + an ]xn = 0,
n=0

o que nos d a seguinte relao de recorrncia para a sequncia {an }n>0:

(n + 2)(n + 1)an+2 + an = 0, para todo n > 0.

Esta equao nos mostra que os coeficientes mpares e pares so determinados separa-
damentes. Para os mpares, temos
a1 a1 a3 a1
a3 = = , a5 = = ,
23 3! 45 5!
(1) k
e sucessivamente, portanto, esperamos que a2k+1 = (2k+1)! a1 . E provemos este fato usando
o princpio de induo. Observemos primeiramente que este resultado vlido para k = 1.
Assuma que ele verdadeiro para k e provemos o resultado para k + 1. Temos

a2k+1 (1)k (1)k+1


a2(k+1)+1 = a2k+3 = = a1 = a1 ,
(2k + 3)(2k + 2) (2k + 3)(2k + 2)(2k + 1)! (2k + 3)!

e portanto o resultado vlido para todo inteiro positivo k.

(1)k
Analogamente, podemos demonstrar que a2k = a,
(2k)! 0
e substituindo estes valores na
expresso em srie para y, obtemos

X (1)k 2k
X (1)k 2k+1
y(x) = a0 x + a1 x .
k=0
(2k)! k=0
(2k + 1)!

Usando o teste da razo, podemos ver que as sries convergem em R, e portanto,


todas as etapas anteriores que fizemos so justificadas, para todo x R. Assim, vemos
facilmente que a soluo geral da equao dada por

y(x) = a0 cos x + a1 sin x.


92 Solues em sries para equaes diferenciais ordinrias

7.1 Equao de Euler

Nesta seo, vamos considerar a equao de Euler dada por

x2 y + xy + y = 0, (7.1.1)

onde e so constantes reais. Vamos procurar solues pra esta equao no intervalo
x > 01 (podemos estender facilmente para o intervalo x < 0).
Vamos procurar solues para (7.1.1) na forma

y(x) = xr .

Derivando temos y (x) = rxr1 e y (x) = r(r 1)xr2 e substituindo em (7.1.1) temos

xr (r(r 1) + r + ) = 0,

e como isto deve ser verdade para todo valor de x > 0, devemos necessariamente ter

r 2 + ( 1)r + = 0.

As razes (possivelmente complexas) desta equao so


p p
(1 ) + (1 )2 4 (1 ) (1 )2 4
r1 = and r2 = .
2 2

Temos trs casos a analisar: quando r1 , r2 so reais e distintas, quando r1 , r2 so reais


e iguais, e quando r1 , r2 so complexas conjugadas.
Caso 1: r1 , r2 so reais e distintas.

Neste caso, temos as solues y1 (x) = xr1 e y2 (x) = xr2 . Calculando o Wronskiano
destas solues, temos
" #
xr1 xr2
W (y1 , y2 )(x) = det = (r2 r1 )xr2 +r1 +1 ,
r1 xr1 1 r2 xr2 1

e segue que W (y1 , y2 )(x) 6= 0, para todo x > 0, e portanto estas solues so linearmente
independentes.

1
Note que x0 = 0 um ponto singular; isto , no um ponto ordinrio.
7.1 Equao de Euler 93

Deste modo, a soluo geral para a equao de Euler neste caso dada por

y(x) = c1 xr1 + c2 xr2 , para x > 0.

Caso 2: r1 , r2 so reais e iguais.

Neste caso, temos r1 = r2 e somente uma soluo y1 (x) = xr1 . Para encontrar uma
outra soluo linearmente independente, podemos utilizar, por exemplo, o mtodo da
reduo de ordem. Mas faremos de uma outra maneira.
Definindo F (r) = r(r 1) + r + , como r1 uma raiz com multiplicidade 2, temos
F (r) = (r r1 )2 ; isto , no s F (r1 ) = 0, como F (r1 ) = 0. A equao (7.1.1) pode ser
escrita da seguinte maneira para y(x) = xr

x2 y (x) + xy (x) + y(x) = xr F (r).

Derivando ambos os lados da expresso acima com respeito varivel r, trocando as



ordens das integraes e lembrando que r y = xr ln x, temos

2d2 r d
x 2
[x ln x] + x [xr ln x] + xr ln x = rxr1 F (r) + xr F (r),
dx dx
assim, para r = r1 , o lado direito da expresso acima zero, o que nos mostra que
y2 (x) = xr1 ln x, x > 0, tambm uma soluo para a equao de Euler.
Agora, temos
" #
xr1 xr1 ln x
W (y1 , y2)(x) = det r1 1 r1 1
= x2r1 1 ,
r1 x x (r1 ln x + 1)

e portanto W (y1, y2 )(x) 6= 0 para x > 0, e portanto estas duas solues so linearmente
independentes, e a soluo geral para a equao de Euler dada por

y(x) = xr1 (c1 + c2 ln x), para x > 0.

Caso 3: r1 , r2 so complexas conjugadas.


Assuma, neste caso, que r1 = + i e r2 = i, com 6= 0. Lembremo-nos que

xr1 = er1 ln x = e(+i) ln x = e ln x ei ln x


= e ln x (cos( ln x) + i sin( ln x))
= x (cos( ln x) + i sin( ln x)), para x > 0.
94 Solues em sries para equaes diferenciais ordinrias

Note que estamos buscando solues reais para a equao de Euler, e para isso, lem-
bremos que qualquer combinao linear de solues de uma equao linear homognea
ainda uma soluo, portanto, as funes definidas por

1 1
y1 (x) = xr1 + xr2 = x cos( ln x), para x > 0,
2 2
e 1 r1 1
y2 (x) = x xr2 = x sin( ln x), para x > 0,
2i 2i
so solues reais da equao de Euler. Ainda, temos
" #
x cos( ln x) x sin( ln x) ln x
W (y1, y2 )(x) = det 1
x ( cos( ln x) sin( ln x)) x1 ( sin( ln x) + cos( ln x))
= x21 ,

e portanto W (y1 , y2 )(x) 6= 0 para x > 0, o que mostra que y1 e y2 so solues linearmente
independentes da equao de Euler, e a soluo geral neste caso dada por

y(x) = x (c1 cos( ln x) + c2 sin( ln x)), para x > 0.

Questo: como fazemos agora para resolver esta equao para x < 0? Procederemos
da seguinte maneira: consideremos a mudana de varivel x = , para > 0, e definamos
u() = y() = y(x). Assim, temos

du dy dx dy d2 u dy
= = e 2
= ,
d dx d dx d dx

assim, substituindo estes valores na equao de Euler, obtemos

d2 u du
2 2
+ + u = 0;
d d

isto , u uma soluo da equao de Euler para > 0, e portanto temos


c r 1 + c2 r 2
1

u() = r1 (c1 + c2 ln )


(c cos( ln ) + c sin( ln )),
1 2

dependendo das razes de F (r) serem reais e distintas, reais e iguais, ou complexas
conjugadas, respectivamente. Trocando por x e lembrando que |x| = x para x < 0,
7.1 Equao de Euler 95

temos
c |x|r1 + c2 |x|r2
1

y(x) = |x|r1 (c1 + c2 ln |x|)


|x| (c cos( ln |x|) + c sin( ln |x|)),
1 2

Lembrando que |x| = x, para x > 0, podemos unir todos estes resultados, provando
assim o seguinte teorema:

Teorema 7.1.1 (Equao de Euler). A soluo geral da equao de Euler

x2 y + xy + y = 0,

em um intervalo qualquer que no contm a origem determinada pelas razes r1 e r2 da


equao
F (r) = r(r 1) + r + = 0.

1. Se as razes so reais e distintas, ento

y(x) = c1 |x|r1 + c2 |x|r2 .

2. Se as razes so reais e iguais, ento

y(x) = |x|r1 (c1 + c2 ln |x|).

3. Se as razes so complexas conjugadas, ento

y(x) = |x| (c1 cos( ln |x|) + c2 sin( ln |x|)),

onde r1 = + i e r2 = i, com 6= 0.

Exemplo 7.1.2. Encontre a soluo geral para a equao de Euler em x > 0, dada por

(a) 2x2 y + 3xy y = 0.

(b) x2 y + 5xy + 4y = 0.

(c) x2 y + xy + y = 0.

Soluo: Para o item (a), temos


 
2 2 1 1
F (r) = 2r(r 1) + 3r 1 = 2r + r 1 = 2 r + r
2 2
 
1
2 r (r + 1),
2
96 Solues em sries para equaes diferenciais ordinrias

1
e portanto as razes r1 = 2
e r2 = 1 so reais e distintas, e a soluo geral dada por
1
y(x) = c1 x 2 + c2 x1 , para x > 0.

Para o item (b), note que

F (r) = r(r 1) + 5r + 4 = r 2 + 4r + 4 = (r + 2)2 ,

e assim temos duas razes reais e iguais r1 = r2 = 2, logo a soluo geral dada por

y(x) = x2 (c1 + c2 ln x).

Para o item (c), vemos que

F (r) = r(r 1) + r + 1 = r 2 + 1 = (r + i)(r i),

e assim temos duas razes complexas conjugadas r1 = i e r2 = i, logo a soluo geral


dada por
y(x) = c1 cos(ln x) + c2 sin(ln x).

7.2 Solues em sries num ponto singular regular - o


mtodo de Frobenius

Nesta seo vamos nos preocupar em resolver a equao

y + p(x)y + q(x)y = 0, (7.2.1)

mas numa situao um pouco mais geral do que fizemos acima. Queremos resolver esta
equao numa vizinhana da origem x0 = 0, mas vamos supor que pelo menos uma das
funes p(x) ou q(x) no seja analtica numa vizinhana da origem x0 = 0; isto , no
possvel expandir p ou q numa srie de potncias em torno da origem.
Deste modo, no razovel esperar que possamos resolver a equao acima usando uma
X
expresso em srie de potncias y(x) = an xn , como fizemos no incio deste captulo.
n=0
Vamos porm, assumir que x0 = 0 um ponto singular regular; isto , que as funes
dadas por s(x) = xp(x) e t(x) = x2 q(x) so funes analticas e tem expanses em sries
7.2 Solues em sries num ponto singular regular - o mtodo de Frobenius 97

de potncias dadas por



X
X
n
s(x) = sn x e t(x) = tn xn ,
n=0 n=0

numa vizinhana de x0 = 0.
Para que estas funes s e t apaream na equao inicial, vamos multiplic-la por x2 ,
obtendo
x2 y + xs(x)y + t(x)y = 0.

Note que se sn = tn = 0, para n > 1, a equao acima se reduz a

x2 y + xs0 y + t0 y = 0, (7.2.2)

que uma equao de Euler, e foi discutida na seo anterior. Novamente, vamos nos
restringir a encontrar solues para x > 0 numa vizinhana de x0 = 0. Como a equa-
o (7.2.1) basicamente uma equao de Euler da forma (7.2.2), cuja soluo xr ,
buscaremos uma soluo em srie na forma

X
r
y(x) = x an xn ,
n=0

com a0 6= 0, que chamada srie de Frobenius.


Nosso plano para encontrar tal soluo o seguinte:

1. encontrar os valores de r para os quais a equao (7.2.1) tem uma soluo dada por
uma srie de Frobenius;

2. encontrar e resolver a relao de recorrncia para os coeficientes an e



X
3. encontrar o raio de convergncia da srie an xn .
n=0

A teoria geral foi feita e provada pelo matemtico alemo Ferdinand Georg Frobenius
(1849-1917), e bastante complicada. Ao invs de apresentarmos esta teoria geral, iremos
aplic-la em alguns exemplos, para que possamos ilustr-la um pouco.

Exemplo 7.2.1. Encontre uma soluo para a equao diferencial

2x2 y xy + (1 + x)y = 0. (7.2.3)

1
Soluo: Claramente, x0 = 0 um ponto regular singular. De fato, temos p(x) = 2x e
98 Solues em sries para equaes diferenciais ordinrias

1+x
q(x) = 2x2
, e portanto

1 1+x
s(x) = xp(x) = e t(x) = x2 q(x) = ,
2 2

que j esto escritas em suas sries de potncia, j que s0 = 12 , t0 = t1 = 12 e todos os


outros sn e tn so zero. A equao de Euler correspondente a equao (7.2.3)

2x2 y xy + y = 0.


X
r
Vamos ento assumir que temos uma soluo y(x) = x an xn para (7.2.3), com
n=0
a0 6= 0. Temos

X
X

y (x) = (n + r)an xn+r1 e y (x) = (n + r)(n + r 1)an xn+r2 ,
n=0 n=0

e substituindo estes valores na equao (7.2.3), temos



X
2
2x y xy + (1 + x)y = 2(n + r)(n + r 1)an xn+r
n=0

X
X
X
n+r n+r
(n + r)an x + an x + an xn+r+1 .
n=0 n=0 n=0


X
O ltimo termo do lado direito na expresso acima, pode ser escrito como an1 xr+n ,
n=1
e podemos combinar os termos para obter

2x2 y xy + (1 + x)y = a0 [2r(r 1) r + 1]xr


X
+ {[2(r + n)(r + n 1) (r + n) + 1]an + an1 }xr+n = 0.
n=1

Se a equao acima deve ser satisfeira para todo x, ento todos os coeficientes dessa
srie dever ser zero. Do coeficiente de xr , uma vez que a0 6= 0, obtemos 2r(r1)r+1 = 0;
isto ,
2r(r 1) r + 1 = 2r 2 3r + 1 = (r 1)(2r 1) = 0.

Esta equao chamada de equao indicial para a equao (7.2.3). Note que esta
exatamente a mesma equao polinomial que obteramos para a equao de Euler associada
equao (7.2.3). As razes da equao indicial so r1 = 1 e r2 = 21 . Estes valores so
chamados os expoentes na singularidade para o ponto singular regular x0 = 0.
7.2 Solues em sries num ponto singular regular - o mtodo de Frobenius 99

Agora, os coeficientes de xr+n nos do

[2(r + n)(r + n 1) (r + n) + 1]an + an1 = 0,

ou equivalentemente
an1 an1
an = = , para n > 1.
2(r + n)(r + n 1) (r + n) + 1 [(r + n) 1][2(r + n) 1]

Para cada uma das duas razes r1 e r2 da equao indicial, usamos a relao de
recorrncia acima para encontrar valores para os coeficientes an . Para r1 = 1, temos
an1
an = , para n > 1,
(2n + 1)n

e podemos mostrar que

(1)n
an = a0 , para n > 1.
3 5 7 (2n + 1)n!

Assim, tomando a0 = 1, obtemos uma soluo para (7.2.3) dada por


"
#
X (1)n
y1 (x) = x 1 + xn , para x > 0.
n=1
3 5 7 (2n + 1)n!

Podemos determinar o raio de convergncia para esta srie usando o teste da razo, e
encontramos que esta srie converge para todo x.
Para a segunda raz r2 = 21 , procedemos da mesma maneira, e encontramos

an1 an1
an = 1 = , para n > 1.
2n(n 2 ) n(2n 1)

Portanto, encontramos

(1)n
an = a0 , para n > 1,
3 5 (2n 1)n!

e novamente, tomando a0 = 1, obtemos uma segunda soluo para esta equao, dada por
"
#
1
X (1)n n
y2 (x) = x 2 1+ x , para x > 0,
n=1
3 5 (2n 1)

e esta srie tambm converge para todo x.


1
Como os termos principais de y1 e y2 so x e x 2 , respectivamente, segue que estas
100 Solues em sries para equaes diferenciais ordinrias

solues so linearmente independentes. Portanto, a soluo geral da equao (7.2.3)


dada por
y(x) = c1 y1 (x) + c2 y2 (x), para x > 0.

7.3 Equao de Legendre


Esta seo um exerccio para o leitor encontrar as solues para a equao de Le-
gendre, dada por
(1 x2 )y 2xy + ( + 1)y = 0, (7.3.1)

e tambm algumas de suas propriedades.

1. Note que o ponto x0 = 0 um ponto ordinrio para (7.3.1).

2. Note que necessrio somente considerar o caso > 1, pois se 6 1, ento a


substituio = 1 > 0 nos d a equao de Legendre

(1 x2 )y 2xy + ( + 1)y = 0.

3. Procure uma soluo para a equao de Legrende na forma de srie de potncias



X
y(x) = an xn ,
n=0

1
e como a distncia de x0 = 0 at as singularidades 1, 1 da funo 1x 2 1, podemos

esperar que esta srie de potncias tenha raio de convergncia pelo menos 1.

4. Mostre que as solues linearmente independentes para a equao de Legendre para


|x| < 1 so

X ( 2)( 4) ( 2k + 2)( + 1)( + 3) ( + 2k 1) 2k
y1 (x) = 1+ (1)k x ,
k=1
(2k)!

e

X ( 1)( 3) ( 2k + 1)( + 2)( + 4) ( + 2k) 2k+1
y2 (x) = x+ (1)k x .
k=1
(2k + 1)!

5. Mostre que se = 0 ou se um inteiro positivo par ( = 2n), ento a soluo


y1 (x) se reduz a um polinmio de grau 2n contendo somente potncias pares de x.
7.4 Equao de Bessel 101

6. Mostre que se um inteiro positivo mpar, ento y2 (x) se reduz a um polinmio


de grau 2n + 1 contendo somente potncias mpares de x.

7. Defina o polinmio de Legendre Pn (x) para um inteiro n como a soluo polino-


mial da equao de Legendre com = n, que satisfaz Pn (1) = 1.

8. Mostre que a equao de Legendre pode ser escrita na forma

[(1 x2 )y ] = ( + 1)y.

Assim, segue que [(1 x2 )Pn (x) ] = n(n + 1)Pn (x) e [(1 x2 )Pm (x) ] = m(m +
1)Pm (x). Multiplicando a primeira equao por Pm (x), a segunda por Pn (x) e
fazendo uma integrao por partes, mostre que
Z 1
Pn (x)Pm (x)dx = 0, se n 6= m.
1

2
Nota: possvel mostrar tambm que se n = m ento a integral acima vale 2n+1
.

9. Dado um polinmio qualquer p(x) de grau n, sempre possvel escrever p como uma
combinao linear de P0 (x), , Pn (x); isto , sempre existem constantes a0 , , ak
tais que
X
p(x) = ak Pk (x).
k=0

Usando este fato e o item (8), prove que


Z 1
2k + 1
ak = p(x)Pk (x)dx.
2 1

7.4 Equao de Bessel


Vamos nesta seo em procurar uma soluo para a equao de Bessel de ordem zero,
dada por
x2 y + xy + x2 y = 0. (7.4.1)

Vemos que x0 = 0 um ponto singular regular desta equao, e vamos considerar por
simplicidade o caso x > 0. Queremos encontrar uma srie de Frobenius

X
X
r n r
y(x) = x an x = a0 x + an xn+r ,
n=0 n=1
102 Solues em sries para equaes diferenciais ordinrias

onde a0 6= 0 e tal que esta srie convirja para |x| < , com > 0. Temos

X
X
r+n1
y (x) = (r + n)an x e y (x) = (r + n)(r + n 1)an xr+n2 .
n=0 n=0

Substituindo estas expresses em (7.4.1), temos



X
X
2 2 r+n
x y + xy + x y = an [(r + n)(r + n 1) + (r + n)]x + an xn+r+2
n=0 n=0

X
= a0 [r(r 1) + r]xr + a1 [(r + 1)r + (r + 1)]xr+1 + an [(r + n)(r + n 1) + (r + n)]xr+n
n=0

X
+ an2 xn+r
n=2
r r+1
= a0 [r(r 1) + r]x + a1 [(r + 1)r + (r + 1)]x
X
+ {an [(r + n)(r + n 1) + (r + n)] + an2 }xr+n = 0.
n=0

A equao indicial para esta equao F (r) = r(r 1) + r (o coeficiente do termo a0 ),


que tem r1 = 0 como raiz de multiplicidade dois. Neste caso, podemos somente encontrar
uma soluo para esta equao.

Observao 7.4.1. possvel, com um estudo mais aprofundado, encontrar uma segunda
soluo para esta equao. Por simplicidade, nos focaremos somente em encontrar uma.

P
Assim, esperamos encontrar uma soluo da forma y(x) = n=0 an x . Com r = 0 na
n

expresso acima, obtemos que a1 = 0 e tambm a seguinte relao de recorrncia:


an2
an = , para n > 2.
n2

Vemos da relao de recorrncia que os coeficientes de ndices pares e mpares so


encontrados separadamente.
Caso 1: ndices mpares.

Neste caso, como a1 = 0, a relao de recorrncia nos d que a2n+1 = 0, para todo
n > 0.
Caso 2: ndices pares.
7.4 Equao de Bessel 103

Neste caso, temos


a0 a2 a0 a0
a2 = , a4 = = 4 2, a6 = ,
22 4 2 22 26 (3 2)2

e, em geral, esperamos que


(1)k
a2k = a0 . (7.4.2)
22k (k!)2
Provemos (7.4.2) utilizando o principio da induo finita. Claramente, como consta-
tamos acima, (7.4.2) vlida para k = 0, 1, 2 e 3. Suponhamos que (7.4.2) vlida para
um k arbitrrio e provemos ser verdade para k + 1.
Temos

a2k (1)k (1)k+1


a2(k+1) = a2k+2 = = a0 = a0 ,
22 (k + 1)2 22 (k + 1)2 22k (k!)2 22(k+1) [(k + 1)!]2

e portanto (7.4.2) vlida para todo k > 0.


Portanto, uma soluo para a equao de Bessel tem a forma
"
#
X (1)n 2n
y1 (x) = a0 1+ x .
n=1
22n (n!)2

A funo entre os colchetes chamada de funo de Bessel do primeiro tipo de


ordem zero, e denotada por J0 (x). Com o teste da razo, podemos concluir que esta
srie converge para todo x real.
104 Solues em sries para equaes diferenciais ordinrias
Captulo

8
Equaes diferenciais parciais

Neste captulo vamos dar brevemente a definio de uma equao diferencial parcial e
resolver algumas equaes em casos particulares. Comecemos nosso estudo com a seguinte
definio:
Definio 8.0.2. Uma equao diferencial parcial, ou simplesmente, uma EDP,
uma relao que envolve uma funo u de n-variveis independentes x1 , , xn e suas
derivadas parciais com relao a cada uma dessas variveis, at uma certa ordem k.
Exemplo 8.0.3. Para uma funo u(t, x) ou u(x, y), temos as seguintes EDPs:
1. uxx = 0.

2. utt = c2 uxx , onde c uma constante. Esta chamada a equao da onda.

3. ut = kuxx , onde k > 0 uma constante. Esta chamada a equao do calor.

4. uxx + uyy = 0. Esta chamada a equao de Laplace.


A teoria de resoluo de EDPs consideravelmente mais complicada do que a teoria de
EDOs, e a resoluo de uma EDP depende no somente da equao em si, mas depende
tambm do formato da regio aonde estamos considerando estas equaes (isto ficar
mais claro ao longo do captulo).
Nos dedicaremos agora resoluo da equao da onda e da equao de Laplace
em alguns casos especiais. Comecemos com a resoluo da equao de Laplace em um
retngulo.
8.1 Equao de Laplace
A equao de Laplace para uma funo u(x1 , , xn ) dada por

.
u = ux1 x1 + uxnxn = 0.
106 Equaes diferenciais parciais

Uma funo que satisfaz a equao de Laplace chamada de funo harmnica. Em


dimenso um, temos simplesmente uxx = 0, cujas solues so da forma u(x) = A + Bx,
onde A e B so constantes; mas isto to simples que este caso no nos d absolutamente
nenhuma dica do que acontece em dimenses maiores.
Para vermos o que pode acontecer, vamos estudar a equao de Laplace em dimenso
2. Mais precisamente vamos estudar o problema de Dirichlet
(
uxx + uyy = 0 em ,
(8.1.1)
u = f em

onde um domnio limitado em R2 e f uma funo dada.


possvel mostrar, sem muitas dificuldades, que nestas condies a equao de La-
place possui no mximo uma soluo. Mas as dificuldades aparecem quando queremos
responder as seguintes perguntas: ser que ela possui uma soluo? E se de fato tal
soluo existe, possvel encontrar uma expresso explcita para ela?
Neste ponto veremos o quanto o domnio importante para respondermos tais
perguntas. Comearemos com o caso mais simples, aonde um retngulo.

8.1.1 Domnios retangulares


Vamos aqui utilizar o mtodo da separao de variveis, para encontrar a soluo do
problema de Dirichlet (8.1.1) no caso onde o retngulo

.
= {(x, y) R2 : 0 < x < a, 0 < y < b},

e a funo f dada por





f1 (x), para (x, y) em [0, a] {0};


f2 (y), para (x, y) em {a} [0, b];
f (x, y) =


f3 (x), para (x, y) em [0, a] {b};


f (y), para (x, y) em {0} [0, b],
4

onde f1 , f2 , f3 e f4 so funes dadas, satisfazendo f1 (0) = f4 (0), f1 (a) = f2 (0), f2 (b) =


f3 (a), f3 (0) = f4 (b).
Como a soma de solues da equao de Laplace ainda uma soluo, podemos
facilmente ver que basta resolver o caso f1 = f2 = f4 0. Os casos f1 = f3 = f4 0,
f2 = f3 = f4 0 e f1 = f2 = f3 0 so resolvidos analogamente, e o caso geral obtido
pela soma destes quatro casos.
Como mencionamos anteriormente, utilizaremos aqui o mtodo da separao de
8.1 Equao de Laplace 107

variveis, que consiste em buscar soluo que dependam separadamente das variveis x
e y; isto , buscamos uma soluo da equao de Laplace que tenha a forma

u(x, y) = X(x)Y (y),

onde X, Y so funes independentes.


Utilizando esta expresso para u, a equao de Laplace se torna

X (x)Y (y) + X(x)Y (y) = 0,

e como estamos procurando solues no-nulas para o nosso problema, podemos dividir
esta expresso por X(x)Y (y) para obter

X (x) Y (y)
+ = 0,
X(x) Y (y)

ou equivalentemente
X (x) Y (y)
= .
X(x) Y (y)
Mas note que na expresso acima, o lado esquerdo uma funo que s depende de
x, enquanto o lado direito uma funo que depende somente de Y . Isto s possvel
quando estas duas funes tem valor constante, que denotamos por . Dito de outra
maneira, existe um nmero real tal que

X (x) Y (y)
= = .
X(x) Y (y)

Assim, primeiramente vamos resolver o problema homogneo


(
X (x) + X(x) = 0
(8.1.2)
X(0) = X(a) = 0.

Observao 8.1.1. As condies iniciais para X so obtidas lembrando que 0 = u(0, y) =


X(0)Y (y) e 0 = u(a, y) = X(a)Y (y), para todo y [0, b], e como buscamos solues no-
nulas para a equao, devemos ter X(0) = X(a) = 0.

O polinmio caracterstico de (8.1.2) dado por F (r) = r 2 + , cujas razes so



r = i e assim a soluo geral para a equao em (8.1.2) dada por

X(x) = c1 ei x
+ c2 ei x
,
108 Equaes diferenciais parciais

onde c1 , c2 so constantes arbitrrias. Aplicando as condies iniciais, temos


(
c1 + c2 = 0
(8.1.3)
c1 ei a
+ c2 ei a
= 0,

e assim, obtemos que c1 (ei a ei a ) = 0. Como estamos buscando solues no-nulas,
devemos ter c1 6= 0 (pois se c1 = 0 ento c2 = 0 e assim X(x) = 0), o que nos d que

ei a
ei a
= 0,
2 2
e assim temos e2i a = 1, portanto 2i a = 2ni, para n Z; isto , = na2 , para
2 2
n N. Assim, a equao (8.1.2) s ter soluo no nula se = na2 , para n N, e neste
caso, as razes do polinmio caracterstico so r = i n . A soluo geral de (8.1.2) para
n
a
= a com n > 1, que denotamos por Xn (x) da forma
 n 
Xn (x) = c1 sin x .
a

Para n = 0, temos = 0 e a soluo geral de (8.1.2) a da forma

X(x) = c1 + c2 x.

Com as condies iniciais X(0) = X(a) = 0, obtemos que X(x) = 0, que no nos
interessa. Assim, vamos analisar somente as solues para n > 1.
Agora, para estes valores de , vamos encontrar as solues de
(
Y (y) Y (y) = 0
(8.1.4)
Y (0) = 0.

Observao 8.1.2. Aqui, novamente, a condio inicial obtida da expresso 0 =


u(x, 0) = X(x)Y (0), e como X(x) no nula, devemos ter Y (0) = 0.


O polinmio caracterstico deste problema F (r) = r 2 , que tem razes r = =
n
a
. Logo, a soluo geral para (8.1.4) dada por
n n
Y (y) = d1 e a
y
+ d2 e a
y
.

Aplicando a condio inicial, obtemos

d1 + d2 = 0,
8.1 Equao de Laplace 109

n2 2
e assim a soluo geral Yn de (8.1.4) para = a2
dada por
 n 
Yn (y) = d1 sinh y
a

2 2
Logo, para cada = na2 com n > 1, temos uma soluo un (x, y) para a equao de
Laplace, com c1 = d1 = 1, dada por
 n   n 
un (x, y) = sin x sinh y .
a a

Usando o princpio da superposio, como combinaes lineares de solues de equa-


es diferenciais lineares ainda so solues, uma soluo para a equao de Laplace

X
X  n   n 
u(x, y) = an un (x, y) = an sin x sinh y .
n=1 n=1
a a

Para completar o problema, devemos encontrar uma soluo que satisfaa a condio
u(x, b) = f3 (x), para todo x [0, a]. Aplicando esta condio devemos ter

 n 
X  n 
f3 (x) = an sin x sinh b , para todo x [0, a].
n=1
a a

Vamos agora determinar os coeficientes an para que a expresso acima seja vlida.

Lema 8.1.3. Para n, m > 1 temos



Z a  n   m  0, se n 6= m,
sin x sin x dx = a
0 a a , se n = m.
2

m

Agora, usando o lema acima, multiplicando a expresso a expresso por sin a
x e
integrando de 0 at a, obtemos
Z a  m   m 
a
f3 (x) sin x dx = am sinh b ,
0 a 2 a

logo temos Z a  m 
2
am = m
 f3 (x) sin x dx,
a sinh a
b 0 a
para todo m > 1.
110 Equaes diferenciais parciais

Portanto a soluo de (8.1.1) no retngulo


" Z #
a  n   n   n 
2X 1
u(x, y) = n
 f3 (x) sin x dx sin x sinh y ,
a n=1
sinh a
b 0 a a a

para (x, y) .


Exerccio 8.1.4. Encontre a soluo deste problema quando f3 (x) = sin x
a
, de maneira
que tal soluo no esteja mais expressa em forma de sries.

8.1.2 Discos
Nesta seo, veremos como encontrar uma soluo para o problema (8.1.1) quando
.
um disco centrado na origem; isto , = {(x, y) R2 : x2 + y 2 < 2 } para algum > 0,
isto , vamos estudar o problema
(
uxx + uyy = 0, em
(8.1.5)
u = h(), em .

Vamos aqui utlilizar o mtodo da separao de variveis novamente. Mas, como esta-
mos trabalhando num disco, mais conveniente trabalharmos com coordenadas polares.
Sendo assim, precisamos verificar como o operador Laplaceno se comporta em coordenadas
polares.
Lembremos que em coordenadas polares, descrevemos os pontos do disco por x =
r cos e y = r sin , onde 0 6 r < e 0 6 6 2. Assim, se escrevemos u(x, y) =
u(x(r, ), y(r, )), temos

r u = x u cos + y u sin e u = u r sin + u r cos .

Simbolicamente, denotamos isto na forma matricial, para obter a seguinte relao


entre os operadores diferenciais
" # " # " #
r cos sin x
=
r sin r cos y

Invertendo esta transformao, obtemos


" # " # " #
x cos sinr r
= cos

y sin r

8.1 Equao de Laplace 111

Agora, usando estas expresses, temos

sin cos sin2 2 sin cos sin2


xx = cos2 rr 2 r + 2 + + r
r r r2 r
e
sin cos cos2 2 sin cos cos2
yy = sin2 rr + 2 r + + r .
r r2 r2 r
Assim, somando as duas, obtemos a expresso para o operador Laplaceano em coor-
denadas polares, dada por

1 1
uxx + uyy = urr + ur + 2 u ,
r r
para 0 < r < .

Observao 8.1.5. Por enquanto, assumiremos que r > 0, para podermos utilizar a
expresso para o Laplaceano em coordenadas polares. Em alguns passos mais adiante,
removeremos esta condio, para encontrar solues em todo o disco.

Vamos agora buscar solues para (8.1.5) da forma u(r, ) = R(r)(). Temos

1 1
R (r)() + rR (r)() + 2 R(r) () = 0.
r r

Como estamos buscando solues no-nulas para o problema, podemos dividir esta
expresso por u, e multiplic-la por r 2 , para obter

R (r) R (r) ()
r2 +r + = 0,
R(r) R(r) ()

ou equivalentemente
R (r) R (r) ()
r2 +r = .
R(r) R(r) ()
Como para o caso de retngulos, a expresso acima s possvel se existe uma constante
tal que
R (r) R (r) ()
r2 +r = = .
R(r) R(r) ()
Utilizando a equao para , lembrando que deve ser uma funo 2peridica,
temos (
() + () = 0
(8.1.6)
( + 2) = (), para R.

O polinmio caracterstico desta equao F (s) = s2 + , cujas razes so s = i ,
112 Equaes diferenciais parciais

e assim a soluo geral dada por



() = c1 sin( ) + c2 cos( ).

Exerccio 8.1.6. Mostre que utilizando as condies de contorno para , obtemos = n2 .

Com este exerccio, obtemos ento a soluo

n () = c1 sin(n) + c2 cos(n),

para cada n > 0. Note que para = 0, a soluo 0 () = c2 .

Observao 8.1.7. Note que as constantes variam com n; isto , c1 = c1 (n) e c2 = c2 (n).

Agora, para cada = n2 , n > 0, vamos encontrar a soluo da equao

r 2 R (r) + rR (r) n2 R(r) = 0,

que uma equao de Euler, que tem polinmio caracterstico Fr (s) = s(s 1) + s n2 ;
de onde obtemos que s = n.
Assim, para n > 1, temos a soluo

Rn (r) = d1 r n + c2 r n ,

e a soluo para n = 0 dada por

R0 (r) = d1 + d2 ln r.

Como as solues r n e ln r tendem a infinito quando r 0+ , descartamos todos estes


termos, e assim obtemos as solues

Rn (r) = d1 r n , para n > 0 e 0 6 r < .

Assim, como no caso anterior, multiplicando as solues Rn e n e somando para


n > 0, obtemos

a0 X n
u(r, ) = + r (an cos(n) + bn sin(n)).
2 n=1

Usando a condio de fronteira, obtemos ento



a0 X n
h() = u(, ) = + (an cos(n) + bn sin(n)).
2 n=1
8.1 Equao de Laplace 113

Vamos agora determinar os coeficientes an , bn para que a expresso acima seja vlida
e para isso, utilizaremos o seguinte resultado:

Lema 8.1.8. Temos as seguintes relaes para n, m > 1:

R 2
(i) 0
cos(n)d = 0;

R 2
(ii) 0
sin(n)d = 0;

R 2
(iii) 0
sin(n) cos(n)d = 0;

R 2
(iv) 0
sin(n) sin(m)d = 0; para n 6= m;

R 2
(v) 0
cos(n) cos(m)d = 0; para n 6= m;

R 2 R 2
(vi) 0
cos2 (n)d = 0
sin2 (n)d = .

Agora, usando este lema, fica a cargo do leitor demonstrar (utilizando as mesmas
ideias do caso de domnios retangulares) que
Z 2
1
an = n h() cos(n)d, para n > 0,
0

e tambm que Z 2
1
bn = n h() sin(n)d.
0

Portanto a soluo para o problema tem a forma


Z 2  n Z 2
1 1X r
u(r, ) = h()d + h()[cos(n) cos(n) + sin(n) sin(n)]d.
2 0 n=1 0

Assim, podemos escrever


Z (  n
)
2
1 X r
u(r, ) = h() 1 + 2 cos(n( )) d.
2 0 n=1

114 Equaes diferenciais parciais

Lembrando que 2 cos(n( )) = ein() + ein() , temos


 n  n  n
X r X r X r
1+2 cos(n( )) = 1 + e in()
+ ein()
n=1
n=1
n=1

 n
X n
X r i() r i()
=1+ e ++ e =
n=1
n=1

i() i()
re re
=1+ +
re i() rei()
2 r 2
= 2
2r cos( ) + r 2

Portanto, a soluo para o problema de Dirichlet no disco (8.1.5) dada pela expresso
abaixo, conhecida como a frmula de Poisson:
Z 2
2 r 2 h()
u(r, ) = d.
2 0 2 2r cos( ) + r 2

Exerccio 8.1.9. Encontre uma expresso como a frmula acima, para o caso onde
o exterior de um disco; isto , < r < . (Dica: neste caso, faa como fizemos nesta seo,
mas as solues a serem descartadas so r n e ln r )

8.2 Equao da onda

Nesta seo, o leitor est convidado a lidar com a equao da onda para uma funo
u(x, t), dada por
utt = c2 uxx .

Mais especificamente, lidar com o problema de Dirichlet


(
utt = c2 uxx , para 0 < x < l
(8.2.1)
u(0, t) = u(l, t) = 0,

com condies iniciais


u(x, 0) = (x) e ut (x, 0) = (x).

Usando, novamente, utilizar o mtodo da separao de variveis, buscaremos uma


soluo de (8.2.1) da forma
u(x, t) = X(x)T (t).
8.2 Equao da onda 115

Utilizando esta expresso para u, temos

T (t)X(x) = c2 X (x)T (t),

e dividindo esta expresso por c2 X(x)T (t) obtemos

T (t) X (x)
= .
c2 T (t) X(x)

Como o lado esquerdo da igualdade acima uma funo que depende somente da
varivel t e o lado direito depende somente de x, estas expresses definem um valor
constante . Portanto
T (t) X (x)
= = .
c2 T (t) X(x)
Logo, estas expresses nos do as seguintes equaes

X (x) + X(x) = 0 e T (t) + c2 T (t) = 0,

cujas soluo gerais so



X(x) = c1 cos( x) + c2 sin( x),

e

T (t) = d1 cos( ct) + d2 sin( ct).

Para a funo X(x), devemos ter as condies de contorno X(0) = X(l) = 0.

Exerccio 8.2.1. Mostre que usando estas condies para a funo X, encontramos =

n 2
l
para cada n > 1.

Agora, como fizemos nas sees anteriores, usando estes valores para , podemos
encontrar as solues correspondentes para a funo T (t), multiplic-las e somar para
n > 1, e obtemos o seguinte exerccio:

Exerccio 8.2.2. Mostre que a soluo desta equao


      nx 
X nct nct
u(x, t) = an cos + bn sin sin ,
n=1
l l l

e usando as condies u(x, 0) = (x) e ut (x, 0) = (x), note que



X  nx 
(x) = an sin
n=1
l
116 Equaes diferenciais parciais

e
X nc  nx 
(x) = bn sin .
n=1
l l

Para encontrarmos os coeficientes {an }n>1 e {bn }n>1 explicitamente, aplicamos o raci-
ocnio utilizado nas sees anteriores:

Exerccio 8.2.3. Encontre, como nas sees anteriores, a expresso para os coeficientes
{an }nN em termos da funo , e dos coeficientes {bn }nN em termos dos coeficientes de
.

Exerccio 8.2.4. Encontre a soluo para este problema quando l = , (x) = sin(3x)
e (x) = sin(6x), de tal maneira que esta soluo no esteja mais expressa em forma de
uma srie.

8.3 Identidades de Green e funes de Green


A funo de Green1 funciona como uma soluo universal para funes harmnicas
em um domnio, no sentido de que qualquer funo harmnica pode ser expressa em
termos da funo de Green. Combinada com mtodos de reflexo, a funo de Green nos
leva de uma maneira bem direta soluo para problemas de valores de contorno em
alguns domnios com geometria especiais.

8.3.1 Notaes
A principal ferramenta desta seo o Teorema da Divergncia, e assim, a notao
vetorial ser usada extensivamente. Para isso, fixaremos os conceitos (em trs dimenses)
que vamos utilizar.

Definio 8.3.1. Se u = u(x, y, z) uma funo escalar e F = (F1 , F2 , F3 ) uma funo


vetorial; isto , cada Fi uma funo escalar, temos

u = (ux , uy , uz ),

F1 F2 F3
div F = F = + + ,
x y z
u = divu = u = uxx + uyy + uzz

|u|2 = u2x + u2y + u2z .


1
George Green estava interessado nos novos fenmenos de eletricidade e magnetismo no comeo do
sculo XIX.
8.3 Identidades de Green e funes de Green 117

Se uma regio em R3 , denotamos a integral de superfcie de uma funo escalar


u sobre a fronteira por ZZ
u dS.

Como mencionamos acima, nossa principal ferramenta ser o Teorema da Divergncia,


que enunciamos abaixo:

Teorema 8.3.2 (Teorema da Divergncia). Se F uma funo vetorial em uma regio


limitada em de R3 e n o vetor normal unitrio que aponta para fora de , ento
ZZZ ZZZ ZZ
div Fdx = div Fdxdydz = F ndS.

8.3.2 Primeira identidade de Green


Comeamos aqui com a regra de derivao do produto

(vux )x = vx ux + vuxx ,

e o mesmo para as derivadas em y e em z. Somando estas equaes temos

(vu) = v u + vu.

Integrando em e usando o Teorema 8.3.2 no lado esquerdo, obtemos


ZZ ZZZ ZZZ
u
v dS = v udx + vudx, (8.3.1)
n

u
onde n = n u a derivada direcional de u na direo de n. Esta equao (8.3.1)
conhecida como a primeira identidade de Green, e vlida para qualquer regio
slida limitada e par de funes u, v. Por exemplo, podemos tomar v 1 para obter
ZZ ZZZ
u
dS = udx. (8.3.2)
n

Uma aplicao imediata da primeira identidade de Green a condio de compatibilidade


para o problema de Neumann, dado por

u = f, em ,
(8.3.3)
u = h, em .
n
118 Equaes diferenciais parciais

Usando a equao (8.3.2), devemos ter que


ZZ ZZZ
h dS = f dx.

Assim, f e h no podem ser escolhidas arbitrariamente para que tenhamos esperana


de que o problema de Neumann (8.3.3) tenha soluo. Devemos necessariamente ter que
f e h satisfaam a condio de compatibilidade dada acima. Neste sentido, o problema
de Neumann no completamente bem posto. Mas, com um pouco de trabalho possvel
mostrar que sempre que esta condio de compatibilidade satisfeita o problema tem
uma soluo, ento a situao no assim to ruim.
Quanto unicidade, fcil ver que se temos uma soluo u para o problema de
Neumann, se adicionarmos uma constante qualquer a esta funo, obteremos outra soluo
para o problema, logo nunca teremos unicidade.

8.3.3 Segunda identidade de Green


O termo do meio da equao (8.3.1) no se altera quando trocamos u por v, assim,
escrevendo esta equao com u e v, com v e u e subtraindo as duas, obtemos
ZZZ ZZ  
u v
(vu uv)dx = v u dS, (8.3.4)
n n

que a segunda identidade de Green, e como a primeira identidade, vlida para


quaisquer pares de funes u, v.
Isto nos leva a uma definio natural.

Definio 8.3.3. Dizemos que uma condio de contorno dita simtrica para o opera-
dor se o lado direito de (8.3.4) zero para qualquer par de funes u, v que satisfazem
a dada condio de fronteira.

As condies de contorno clssicas do problema u = f em so:

1. condio de Dirichlet: u = 0 em ;

u
2. condio de Neumann: n
= 0 em ;

u
3. condio de Robin: n
+ u = 0 em , onde uma constante.

Exerccio 8.3.4. Mostre que cada uma das trs condies de contorno clssicas dada
acima simtrica para .
8.3 Identidades de Green e funes de Green 119

8.3.4 Frmula de representao


Esta frmula representa qualquer funo harmnica em um domnio D como uma
integral sobre a sua fronteira. Temos o seguinte resultado:
Teorema 8.3.5. Se u = 0 em uma regio limitada em R3 , ento para cada x0 D,
temos ZZ  
1 1 1 u
u(x0 ) = u(x) + dS.
4 n kx x0 k kx x0 k n
Para demonstrar este resultado, precisaremos do seguinte lema:
Lema 8.3.6. Seja uma regio limitada em R3 e x0 . Ento a funo dada por

1 1
v(x) = , para x 6= x0 ,
4 kx x0 k

tal que v = 0 em \ {x0 }.


Demonstrao: A demonstrao deste resultado fica a cargo do leitor.
Demonstrao do Teorema 8.3.5: Para aplicar a segunda identidade de Green ao par
de funes u e v, com v dada no lema acima, precisamos primeiramente remover uma
pequena esfera de raio > 0, que chamaremos de B , centrada em x0 , da regio , uma
vez que a funo v no est definida em x0 .
Por simplicidade de notao, assumiremos que x0 . Assim, B uma esfera pequena
centrada na origem, que est inteiramente contida na regio , e consideraremos uma
nova regio , obtida da regio retirando a esfera B ; isto , = \ B .
Na regio , a funo v est bem definida e v = 0, assim, aplicando a segunda
identidade de Green para o par u, v, obtemos
ZZ  
v u
u v dS = 0.
n n

Mas a fronteira da regio constituda por duas partes: a fronteira da regio


original e tambm pela fronteira B da esfera B . Assim, obtemos
ZZ   ZZ  
v u v u
u v dS + u v dS = 0.
n n B n n

1
Agora, na fronteira B , temos n = r , onde r a direo radial. Como v(x) = 4r ,
v v 1
onde r = kxk, temos n = r = 4r2 . Lembrando que r = em B e que a rea de
B 42 temos
ZZ   ZZ ZZ
v u 1 u 1
u v dS = dS + udS
n n 4 B n 42 B
120 Equaes diferenciais parciais

u
Como n
e u so contnuas em , e em particular, em B , segue que
ZZ
1 u
dS 0
4 B n

e tambm ZZ
1
udS u(0),
42 B

quando 0, e portanto, conclumos que


ZZ  
v u
u(0) = u v dS,
n n
1
onde v(x) = 4kxk
, o que demonstra o resultado.

Exerccio 8.3.7. A frmula de representao para uma regio limitada em R2 dada


por Z  
1 u
u(x0 ) = u(x) ln kx x0 k ln kx x0 k ds.
2 n n
Demonstre esta expresso.

Exerccio 8.3.8. Sejam uma funo de classe C 2 definida em R3 que se anula no


exterior de uma bola. Mostre que
ZZZ
1 1
(0) = (x)dx,
4 x

onde a regio onde no se anula.

8.3.5 Funes de Green


A frmula de representao dada no Teorema 8.3.5 utilizou duas propriedades bsicas
1
da funo v(x) = 4kxx 0k
: que ela harmnica exceto em x0 e que ela possui uma
singularidade neste ponto. Nosso objetivo tentar modificar esta funo para que tenha-
mos uma frmula de representao, mas que um dos termos da frmula do Teorema 8.3.5
desaparea. Tal funo modificada ser chamada de funo de Green para .

Definio 8.3.9. A funo de Green G(x) para o operador no domnio no ponto


x0 uma funo definida para todo x \ {x0 } que satisfaz:

(i) G(x) possui derivadas de segunda ordem contnuas e G = 0 em \ {x0 };

(ii) G(x) = 0 para x ;


8.3 Identidades de Green e funes de Green 121

1
(iii) a funo G(x) + 4kxx 0k
finita em x0 , tem derivadas de segunda ordem contnuas
em e harmnica em x0 .

Pode-se mostrar que uma funo de Green sempre existe e nica. A notao usual
para esta funo de Green G(x, x0 ). Temos o primeiro resultado para a funo de Green.

Teorema 8.3.10. Se G(x, x0 ) a funo de Green, ento a soluo para o problema de


Dirichlet dada pela frmula
ZZ
G(x, x0 )
u(x0 ) = u(x) dS.
n
. 1
Demonstrao: Defina a funo H(x) = G(x, x0 ) v(x), onde v(x) = 4kxx 0k
, como
anteriormente. Ento, pela definio da funo de Green (itens (i) e (ii) da Definio
8.3.9), H uma funo harmnica em todo o domnio . Assim, escrevendo a segunda
identidade de Green para o par u, H obtemos
ZZ  
H u
0= u H dS.
n n

Ainda, da frmula de representao para o par u, v, temos


ZZ  
v u
u(x0 ) = u v dS.
n n

Somando estas duas igualdades, temos


ZZ  
G u
u(x0 ) = u G dS.
n n

Como G = 0 em , pela condio (ii) da Definio 8.3.9, temos


ZZ
G
u(x0 ) = u dS,
n

o que completa a demonstrao.


Uma importante caracterstica da funo de Green que ela simtrica; isto , temos

G(x, x0 ) = G(x0 , x), para todo x 6= x0 .

Exerccio 8.3.11. Usando funes de Green, mostre que a soluo para o problema de
Poisson dado por (
u = f, em
u = h, em
122 Equaes diferenciais parciais

dada por ZZ ZZZ


G(x, x0 )
u(x0 ) = h(x) dS + f (x)G(x, x0 )dx.
n

8.3.6 Funo de Green no semi-espao


Determinaremos nesta seo a funo de Green para o semi-espao z > 0. Apesar de
estarmos aqui lidando com um domnio ilimitado, as ideias envolvendo funes de Green
permanecem vlidas, se colocarmos uma condio de contorno no infinito, pedindo que
as funes e suas derivadas tendam a 0 quanto kxk .
Escrevemos as coordenadas como x = (x, y, z) e lidaremos com o semi-espao = {z >
0}. A ideia aqui utilizar o mtodo da reflexo; isto , cada ponto x = (x, y, z)
possui um ponto refletido x = (x, y, z) que no est em .
1
Sabemos que a funo v(x) = 4kxx 0k
satisfaz as condies (i) e (iii) da Definio
8.3.9. Nossa ideia modific-la para que tenhamos a condio (ii). Temos o seguinte
resultado:

Teorema 8.3.12. A funo de Green para dada por

1 1
G(x, x0 ) = + ,
4kx x0 k 4kx x0 k

onde x0 o ponto refletido de x0 .

Demonstrao: Devemos checar as condies (i), (ii) e (iii) da Definio 8.3.9. A


condio (i) claramente satisfeita, G finita e diferencivel exceto em x0 e temos G = 0
em \ {x0 }.
A condio (ii) segue do fato de que se x , ento z = 0 e assim x = x e portanto
G(x, x0 ) = 0.
1
Para (iii) fcil ver que como x0 est fora de , a funo 4kxx k no possui nenhuma
0
singularidade em e portanto tem suas derivadas de segunda ordem e harmnica em
x0 .
Vamos agora usar esta funo de Green para resolver o problema de Dirichlet
(
u = 0, em
u(x, y, 0) = h(x, y).

Usaremos o Teorema 8.3.10. Note que G


n
= G
z
em , j que n aponta para baixo.
Ainda mais  
G 1 z + z0 z z0 1 z0
= 3
3
= ,
z 4 kx x0 k kx x0 k 2 kx x0 k3
8.3 Identidades de Green e funes de Green 123

em . Portanto a soluo do problema de Dirichlet


ZZ
z0 h(x)
u(x0 ) = dS.
2 kx x0 k3
124 Equaes diferenciais parciais
Referncias Bibliogrficas

[1] Boyce, W.E. & Diprima, R.C.: Equaes diferenciais elementares e problemas de
valores de contorno. LTC, 8ed (2006).

[2] Strauss, W.A.: Partial differential equations: an introduction. John Wiley & Sons,
2ed (2008).

[3] Zill, F. & Shanahan, P.D.: Curso introdutrio anlise complexa com aplicaes.
LTC, 2ed (2009).