Escolar Documentos
Profissional Documentos
Cultura Documentos
Notas de aula:
MTM 5186 - Clculo IV
Florianpolis - SC
2015/1
ii
Sumrio
1 Introduo 5
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
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
(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
Essas propriedades listadas acima so o motivo pelo qual dizemos que (C, +, ) um
corpo.
Daqui pra frente, omitiremos as operaes e denotaremos o corpo dos nmeros com-
plexos simplesmente por C.
2.1 Definio e propriedades bsicas 9
Tambm
(0, b1 ) = (0, 1) (b1 , 0).
(, 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:
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,
{z := a + ib : a, b R}, onde i2 = 1,
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
z = a ib,
Alm disso, definimos a norma de z como o nmero real |z| dado por
|z| = a2 + b2 .
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
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 |.
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
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
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
a = r cos e b = r 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:
z1 z2 = r1 r2 ei(1 +2 ) ,
logo
z1 1
z11 = 2
= 2 r1 (cos i sin )
|z1 | r1
= r11 (cos() + i sin()) = r11 ei .
z n = r n ein . (2.3.1)
so solues de z n = w.
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.
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.
1
3. Fixe w C e considere f : C \ {w} C dada por f (z) = zw
.
f (z) = u + iv, podemos olhar a funo f como uma funo de duas variveis, dada por
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
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 | < .
f (z) L
(d) lim = , desde que M 6= 0.
zz0 g(z) M
20 Funes de uma varivel complexa
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
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 .
|u(x, y) a| < e |v(x, y) b| < , sempre que 0 < k(x, y) (x0 , y0 )kR2 < ,
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
Observao 3.3.2. Lembre-se que, para garantir que uma funo complexa f contnua
em um ponto z0 , precisamos verificar trs coisas:
.
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,
(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:
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.
3.4 Diferenciabilidade
Para introduzir o conceito de diferenciabilidade, precisamos antes do conceito de vizi-
nhana:
.
Br (z0 ) = {z C : |z z0 | < r}.
3.4 Diferenciabilidade 23
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
f (z) f (z0 )
f (z0 ) = lim .
zz0 z z0
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 )
lim = lim z + z0 = 2z0 ,
zz0 z z0 zz0
24 Funes de uma varivel complexa
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
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 .
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
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
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 .
Exemplo 3.5.4.
Ainda, uma regra importante usada no clculo de limites a Regra de LHpital, dada
abaixo
f (z) f (z0 )
lim = .
zz0 g(z) g (z0 )
Demonstrao: Exerccio.
u v u v
(x0 , y0) = (v0 , y0 ) e (x0 , y0 ) = (x0 , y0 );
x y y x
ou resumidamente ux = vy e uy = vx .
Sabemos tambm que como este limite existe, ele existe independente de que caminho
em C tomamos; isto , podemos tomar y = y0 fixo e temos
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.
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
Proposio 3.5.14. Suponha que f seja uma funo analtica num domnio D.
4
Transformaes de Mbius
onde g(z) = 1z .
32 Transformaes de Mbius
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,
Alm da observao acima, mostramos mais uma propriedade importante que segue
do fato ad bc 6= 0.
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
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
lim T (z) = .
z dc
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
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.
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.
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
.
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 .
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}.
az + b
T (z) = .
cz + d
(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
Como podemos eliminar qualquer nmero complexo no-nulo, conclumos que a repre-
38 Transformaes de Mbius
(2 + i)z + 1 + 2i
S 1 T (z) = .
(1 2i)z + 2 + i
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.
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
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
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
z 1i+1 w+1
= ,
z +1i1 w1
zi
T (z) = w = ,
iz 1
4.4 Razo cruzada 41
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),
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
Exemplo 5.1.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
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).
(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;
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],
z1
z2
zn1
z0 = (a)
a = t0 t1 t2 tn1 tn = b
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.
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
1 4
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
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
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().
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
Exemplo 5.3.2.
2. O anel formado pelos pontos z C tais que 1 < |z| < 2 no simplesmente conexo.
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.
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
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
e portanto I I
f (z)dz = f (z)dz,
1 2
Este raciocnio pode ser aplicado para um domnio multiplamente conexo e uma quan-
tidade finita de curvas, e podemos ento enunciar o seguinte teorema:
2 D
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
1 i
4
2 i
54 Integrao complexa
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:
H
Neste caso, se f uma funo analtica em D, temos
f (z)dz = 0.
5.4 A frmula integral de Cauchy 55
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
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
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
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
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
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)
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
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 .
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 .
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.
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.
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 .
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.
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
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.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
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.
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
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
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
1 an
R = lim p = lim .
n n |a | n an+1
n
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
(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
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
z2 X
= nz n+2 ,
(1 z)2 n=1
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.
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
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 .
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.
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=
z0
r
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
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
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
X 2
X
(n+2)
f (z) = z = zn ,
n=0 n=
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
1 1
f (z) = + .
z z1
Sabemos que
1 1 1 1
= = .
z 2 + (z 2) 2 1 + z2
2
1 1 1 1
= = 1 ,
z1 1 + (z 2) z 2 1 + z2
(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
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)!
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.
0
X 3n X zn
f (z) = = ,
n=0
n!z n n= 3n (n)!
76 Sries complexas e resduos
Exemplo 6.3.15.
lim |f (z)| = ;
zz0
isto , dado M > 0 existe > 0 tal que |f (z)| > M se 0 < |z z0 | < .
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
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 :
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.
Singularidades removveis
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
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.
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
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
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 .
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
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
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) .
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
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) .
2z + 5
f (z) = .
(z 1)(z + 5)3 (z 2)4
Singularidades essenciais
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.
. 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
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
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 ).
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
1
e portanto an = 2n+3 , para n > 2. Assim sendo, o resduo de f em z0 = 1
1
Res(f, 1) = a1 = .
4
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.
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)!
g (m1) (z0 )
e portanto Res(f, z0 ) = a1 = (m1)!
.
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
1 1
Res(f, 3) = lim(z 3)f (z) = lim = .
z3 z3 (z 1)2 4
por
zi = ei( 4 +n 2 ) , para i = 0, 1, 2, 3.
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 dt6 dt = 0,
0 1 + R4 e4it 0 R4 1 R4 1
e conclui o resultado.
Notemos alguns ingredientes que utilizamos para demonstrar este resultado:
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.
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
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,
(1 x2 )y 2xy + ( + 1)y = 0,
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
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.
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
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
(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)!
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.
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
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
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
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
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
d2 u du
2 2
+ + u = 0;
d d
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:
x2 y + xy + y = 0,
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
(b) x2 y + 5xy + 4y = 0.
(c) x2 y + xy + y = 0.
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.
e assim temos duas razes reais e iguais r1 = r2 = 2, logo a soluo geral dada por
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
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.
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
1. encontrar os valores de r para os quais a equao (7.2.1) tem uma soluo dada por
uma srie de Frobenius;
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.
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
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
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
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
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
(1)n
an = a0 , para 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)
(1 x2 )y 2xy + ( + 1)y = 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.
e
X ( 1)( 3) ( 2k + 1)( + 2)( + 4) ( + 2k) 2k+1
y2 (x) = x+ (1)k x .
k=1
(2k + 1)!
[(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
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
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
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
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.
.
u = ux1 x1 + uxnxn = 0.
106 Equaes diferenciais parciais
.
= {(x, y) R2 : 0 < x < a, 0 < y < b},
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
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)
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.
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
.
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
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.
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
" 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
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
n () = c1 sin(n) + c2 cos(n),
Observao 8.1.7. Note que as constantes variam com n; isto , c1 = c1 (n) e c2 = c2 (n).
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 ,
R0 (r) = d1 + d2 ln r.
Vamos agora determinar os coeficientes an , bn para que a expresso acima seja vlida
e para isso, utilizaremos o seguinte resultado:
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 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 )
Nesta seo, o leitor est convidado a lidar com a equao da onda para uma funo
u(x, t), dada por
utt = c2 uxx .
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
e
T (t) = d1 cos( ct) + d2 sin( ct).
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:
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.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.
u = (ux , uy , uz ),
F1 F2 F3
div F = F = + + ,
x y z
u = divu = u = uxx + uyy + uzz
(vux )x = vx ux + vuxx ,
(vu) = v u + vu.
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
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.
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
1 1
v(x) = , para x 6= x0 ,
4 kx x0 k
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
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.
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
1 1
G(x, x0 ) = + ,
4kx x0 k 4kx x0 k
[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).