agosto de 2015
2
Sumario
2 Introducao 15
3 Numeros Complexos 17
3.1 Fatos basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2 Operaco~es com numeros complexos . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Propriedades das operaco~es com numeros complexos . . . . . . . . . . . . . . 24
3.4 Representac~ao geometrica de um numero complexo . . . . . . . . . . . . . . . 26
3.5 Conjugado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.6 Valor absoluto ou modulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.7 Forma polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.8 Extrac~ao de raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3
4
SUMARIO
4 Funcoes complexas 61
4.1 Funco~es complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2 Transformaco~es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.4 Propriedades de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.5 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.6 Diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.7 Propriedades da diferenciabilidade . . . . . . . . . . . . . . . . . . . . . . . . 83
4.8 Condico~es de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
4.08.2015 - 1.a
www.icmc.usp.br/pessoas/wvlnunes/sme245/sme245.html
wvlnunes@icmc.usp.br
sala 3-128
(33) 73-9745
7
8 CAPITULO 1. AVISOS GERAIS SOBRE A DISCIPLINA
www.icmc.usp.br/pessoas/wvlnunes/sme245/ementa245.html
CHURCHILL, R. V. -Vari
aveis Complexas e Aplicac~oes, Editora McGrawHill, 1975,
S~ao Paulo.
AVILA, G. S. S. - Variaveis Complexas e Aplicac~oes, Livros Tecnicos e Cientcos,
Editora S.A., 1990, Rio de Janeiro.
HONIG, C. S. - Introduc~ao as Func~oes de Uma Variavel Complexa, Editora Gua-
nabara Dois, 1981, Rio de Janeiro.
5.0 MF e 70% F .
Outras informaco~es sobre os dois itens acima podem ser encontradas nos seguintes en-
derecos da web:
www.icmc.usp.br/pessoas/wvlnunes/sme245 /criterio245.html
1 de outubro - 5.a-feira
2.a Prova:
1 de dezembro - 3.a-feira
Prova Substitutiva:
8 de dezembro - 3.a-feira
Prova Recuperacao:
Outras informaco~es sobre os itens acima podem ser encontradas nos seguintes enderecos
da web:
www.icmc.usp.br/pessoas/wvlnunes/sme245/datas245.html
7 a 12 de setembro
12 de outubro
28 de outubro
2 de novembro
4 de novembro
15 de novembro
Introducao
Estas notas de aula ser~ao utilizadas para as disciplinas cujas ementas tratam de numeros
complexos e funco~es de uma variavel complexa e aplicaco~es.
Ser~ao exibidos todos os conceitos relacionados com o conteudo acima, bem como proprie-
dades e aplicaco~es dos mesmos.
As refer^encias (ver [C]) ao nal das notas poder~ao servir como material importante para
o conteudo aqui desenvolvido.
15
16 CAPITULO 2. INTRODUC ~
AO
Captulo 3
Numeros Complexos
6.08.2015 - 2.a
Neste captulo introduziremos os numeros complexos, operaco~es, representac~ao geometrica
e algumas aplicaco~es simples dos mesmos.
Deste modo, o conjunto formado pelos numeros reais podera ser visto como um
subconjunto do conjunto formado por todos os numeros complexos, ou seja,
R C, (3.3)
onde a inclus~ao dos conjuntos acima e, na verdade, a aplicac~ao I : R C, dada por
.
I(x) = (x , 0) , para cada x R . (3.4)
17
18 CAPITULO 3. NUMEROS
COMPLEXOS
Definicao 3.1.2 O n
umero complexo (0 , 1) sera denominado unidade imaginaria e de-
notada por i , ou seja,
.
i = (0 , 1) . (3.5)
O numero complexo (0 , 0) denotado por O , ou seja,
.
O = (0 , 0) . (3.6)
Se z = (x , y) C, diremos que o numero real x e a parte real do numero complexo z,
e indicado por (z), ou seja,
.
(z) = x . (3.7)
De modo semelhante, diremos que o numero real y e a parte imaginaria do numero
complexo z, e indicado por (z), ou seja,
.
(z) = y . (3.8)
Um numero complexo z, sera dito imaginario puro, se for da forma
z = (0 , y) , para algum y R , (3.9)
ou seja, se
(z) = 0 . (3.10)
Observacao 3.1.2 Notemos que se z1 , z2 C, teremos
[z1 + z2 ] = [z1 ] + [z2 ] ,
[z1 + z2 ] = [z1 ] + [z2 ] .
A vericac~ao deste fatos ser~ao deixadas como exerccio para o leitor.
Para nalizar esta sec~ao temos a:
Definicao 3.1.3 Diremos que dois n umeros complexos z1 , z2 C s~ao iguais, denotando
por z1 = z2 , se as suas respectivas partes reais e suas partes imagiarias forem iguais,
ou seja, se
z1 = (x1 , y1 ) e z2 = (x2 , y2 ) , com x1 , x2 , y1 , y2 R , (3.11)
ent~ao z1 = z2 se, e somente se,
x1 = x2 e y1 = y2 . (3.12)
Observacao 3.1.3 Das Denic~oes 3.1.2 e 3.1.3 acima, segue que z = O se, e somente
se,
z = (0 , 0) .
Observacao 3.2.1 Notemos que a operac~ao de adic~ao, dada por (3.14), nos fornece uma
func~ao + : C C C , denida da seguinte forma:
.
+ (z1 , z2 ) = z1 + z2 , para cada z1 , z2 C . (3.15)
Observacao 3.2.2 Notemos que a operac~ao de multiplicac~ao, dada por (3.16), nos for-
nece uma func~ao : C C C , denida da seguinte forma:
.
(z1 , z2 ) = z1 z2 , para cada z1 , z2 C . (3.17)
Observacao 3.2.3 Notemos que a operac~ao de subtrac~ao, dada por (3.18), nos fornece
uma func~ao : C C C , denida da seguinte forma:
.
(z1 , z2 ) = z1 z2 , para cada z1 , z2 C . (3.19)
z3 , onde: z2 z3 = z1 . (3.21)
Observacao 3.2.4
2. Notemos que a operac~ao de divis~ao, dada por (3.21), nos fornece uma func~ao
/ : C C C , denida da seguinte forma:
. z1
/(z1 , z2 ) = , para cada z1 C , z2 C . (3.22)
z2
Logo se z = (x , y) C, teremos:
z = (x , y)
(3.23)
= (x , 0) + (0 , y)
(3.24) e (3.25)
= (x , 0) (1 , 0) + (y , 0) (0 , 1)
| {z } | {z } | {z } | {z }
(3.2) (3.2) (3.2) (3.5)
= x = 1 = y = i
=x1+yi
= x + y i, (3.26)
4. Notemos que
i2 = i i
(3.5)
= (0 , 1) (0 , 1)
(3.16)
= (0 0 1 1 , 0 1 + 0 1)
= (1 , 0)
(3.2)
= 1 ,
ou seja, 2
i = 1 . (3.27)
5. Observemos que se
z1 = (x1 , y1 ) , z2 = (x2 , y2 ) C ,
dos itens 3. e 4. acima, segue que:
(3.26)
z1 + z2 = (x1 + y1 i) + (x2 + y2 i) . (3.28)
Por outro lado, temos:
(3.14)
z1 + z2 = (x1 + x2 , y1 + y2 )
(3.26)
= (x1 + x2 ) + (y1 + y2 ) i . (3.29)
ou seja, a parte real da subtrac~ao de dois numeros complexos, sera igual a sub-
trac~ao das respectivas partes reais de cada uma das parcelas e a parte imaginaria
da subtrac~ao de dois numeros complexos, sera igual a subtrac~ao das respectivas
partes imaginarias de cada uma das parcelas.
7. De modo semelhante, temos que
(3.26)
z1 z2 = (x1 + y1 i) (x2 + y2 i) . (3.34)
Por outro lado, temos:
(3.16)
z1 z2 = (x1 x2 y1 y2 , x1 y2 + x2 y1 )
(3.26)
= (x1 x2 y1 y2 ) + (x1 y2 + x2 y1 ) i . (3.35)
(3.3)
8. Se a R C e z = (x , y) C, obervemos que
(3.26)
a (x + y i) = a z
(3.2)
= (a , 0) (x , y)
(3.16)
= = (a x 0 y , a y + x 0)
= (a x , a y)
(3.26)
= (a x) + (a y) i ,
ou seja,
a (x + y i) = (a x) + (a y) i , (3.37)
Suponhamos que
z3 = (x3 , y3 ) . (3.41)
z1 = z2 z3
de (3.16), e o mesmo que: (x1 , y1 ) = (x2 x3 y2 y3 , x2 y3 + x3 y2 )
{
x1 = x2 x3 y2 y3
ou seja,
y1 = x2 y3 + x3 y2
x1 x2 + y1 y2
x 3 =
x22 + y22
ou ainda (Exerccio): . (3.42)
x2 y1 x1 y2
y3 =
x22 + y22
10. O quociente de dois numeros complexos, dados por (3.38) e satisfazendo (3.39),
tambem pode ser obtido do seguinte modo:
Consideremos o numero complexo z2 , dado por
.
z2 = (x2 , y2 )
= x2 y2 i . (3.44)
x2 = 0 ou y2 = 0
(3.44)
implicando que: z2 = O . (3.45)
24 CAPITULO 3. NUMEROS
COMPLEXOS
Logo,
z1 x1 + y1 i
=
z2 x2 + y2 i
z2 =x2 y2 i=O x1 + y1 i x2 y2 i
=
x2 + y2 i x2 y2 i
(x1 + y1 i) (x2 y2 i)
=
(x2 + y2 i) (x2 y2 i)
(3.36) [x1 x2 y1 (y2 )] + [x1 (y2 ) + x2 y1 )] i
=
[x2 x2 y2 (y2 )] + [x2 (y2 ) + x2 y2 ] i
| {z }
=0
[x1 x2 + y1 y2 ] + [x1 y2 + x2 y1 ] i
=
x22 + y22
x1 x2 + y1 y2 x2 y1 x1 y2
= + i, (3.46)
x22 + y22 x22 + y22
Resolucao:
Notemos que:
(1 + 3 i) (2 + 3 i) (3.16) (1 2 3 3 , 1 3 + 3 3)
+8i = +8i
1i 1i
11 + 3 i
= +8i
1i
11 + 3 i 1 + i
= +8i
1i 1+i
(11 3) + (3 11) i
= +8i
11 + 12
= (7 4 i) + 8 i
= 7 + 4 i .
z1 + O = z1 . (3.52)
-
O
3.4. REPRESENTAC ~ GEOMETRICA
AO
DE UM NUMERO COMPLEXO 27
Suponhamos que as duas retas sejam retas numeradas (ou seja, cada uma delas esta em
uma relac~ao biunvoca e sobrejetora com o conjunto dos numeros reais, ou seja, R, sendo
considerada a mesma sobre as duas retas - veja a gura abaixo).
Dado um numero complexo z = (x , y) C, podemos associar ao numero real x um ponto,
que denotaremos por X, sobre uma das retas perpendiculares (que escolheremos ser a reta
horizontal na gura acima).
De modo semelhantes, podemos associar ao numero real y um ponto, que indicaremos
por Y , sobre a outra reta perpendicular (que sera reta vertical na gura acima).
Consideremos o ponto P obtido da intersecc~ao das retas perpendiculares as retas OX e
OX = x
OY = y .
-
O X
P=z
= (x , y)
(3.26)
= x + y i. (3.59)
Com a identicac~ao acima, denominaremos o plano (numerico) acima de plano complexo
ou z-plano.
A reta horizontal considerada acima, sera dita eixo real (veja a gura abaixo).
Por outro lado, a reta vertical considerada acima, sera dita eixo imaginario (veja a gura
abaixo).
28 CAPITULO 3. NUMEROS
COMPLEXOS
16
eixo imaginario
P
Y eixo real
-
O X
z = (x , y) = x + y i
3
z
-
O
Observacao 3.4.1
2. Notemos que, com a identicac~ao introduzida acima, a soma de dois numeros
complexos pode ser interpretada, geometricamente, como a soma de vetores do
plano.
Considerando-se
z1 = x1 + y1 i e z2 = x2 + y2 i ,
z1 + z2 = (x1 + x2 ) + (y1 + y2 ) i
1
>
i
6
z1 + z2
z2
z1
-
O
z1 z2 = (x1 x2 ) + (y1 y2 ) i
z2
j
1
z1
-
O
Mais adiante (veja a sec~ao 3.7) daremos uma caracterizac~ao no plano complexo seme-
lhante para o produto de dois numeros complexos.
Observacao 3.5.1
1. Com a Denic~ao 3.5.1, podemos introduzir a func~ao : C C, dada por
.
(z) = z , para cada z C , (3.63)
denominada funcao conjugacao ou, simplesmente, conjugacao.
2. Dado
z = (x , y)
(3.26)
= x + y i C, (3.64)
no plano complexo, o conjugado do numero complexo z, ou seja, z, correspondera,
geometricamente, a re
ex~ao do ponto z, em relac~ao ao eixo real do plano complexo,
ou ainda, o ponto z e o simetrico do ponto z, em relac~ao ao eixo real do plano
complexo (veja gura abaixo).
i
6
z = (x , y) = x + y i
-
O
R z = (x , y) = x y i
Demonstracao:
Faremos a demonstrac~ao da validade da identidade (3.73).
As provas das outras identidades ser~ao deixadas como exerccio para o leitor.
Notemos que, da Denic~ao 3.5.1 temos que:
(3.61)
z = x y i. (3.74)
Logo
(3.74)
z z = (x + y i) (x y i)
(3.36)
= [x x y (y)] + [x (y) + x y] i
| {z }
=0
2 2
x +y ,
3.6. VALOR ABSOLUTO OU MODULO 33
Observacao 3.6.1
z = (x , y)
(3.26)
= x + y i C, (3.79)
-
O
3. Dados
z1 = (x1 , y1 )
(3.26)
= x1 + y1 i C , (3.80)
e
z2 = (x2 , y2 )
(3.26)
= x2 + y2 i C , (3.81)
i
6 Y |z1 z2 |
z1
i
z1 z2 j
:
z2
-
O
ent~ao, no plano complexo, isto signica que o ponto z1 esta mais longe do ponto
O que o ponto z2 (veja a gura abaixo)
z1
i
6 z2
-
O
5. Sejam a (0 , ) e zo C.
Do item 3. acima segue que, o conjunto
.
C = {z C ; |z zo | = a} , (3.84)
De fato, pois se
zo = (xo , yo )
(3.26)
= xo + yo i
e
z = (x , y)
(3.26)
= x + y i, (3.85)
e tal que z B se, somente se,
a = |z zo |
(3.85) e (3.82)
= (x xo )2 + (y yo )2 ,
ou seja, (x xo )2 + (y yo )2 = a2 , (3.86)
que nos fornece geometricamente no plano complexo, a circunfer^encia de centro
no ponto zo e de raio a.
i
6 a 1 C
zo
-
O
i 6 1
a
zo
-
O
i
6 a 1
-
O
3.6. VALOR ABSOLUTO OU MODULO 37
Para nalizar esta sec~ao temos as seguinte propriedades para o valor absoluto de numeros
complexos:
Proposicao 3.6.1 Seja z , z1 , z2 C.
Temos que:
|z|2 = [(z)]2 + [(z)]2 , (3.91)
|z| |(z)|
(z) , (3.92)
|z| |(z)|
(z) , (3.93)
z z = |z| ,
2
(3.94)
|z| = |z| , (3.95)
|z1 z2 | = |z1 | |z2 | , (3.96)
z1 |z1 |
= (3.97)
z2 |z2 | ,
|z1 + z2 | |z1 | + |z2 | , (3.98)
|z1 z2 | |z1 | |z2 | . (3.99)
(3.100)
Alem disso,
|z| = 0 se, e somente, z = O .
Finalamente, se z = x + i y, ent~ao
|z| |x| + |y| ,
onde, para a R, temos que |a| =. a2 .
Demonstracao:
Deixaremos as demontraco~es dos itens acima como exerccio para o leitor.
11.08.2015 - 3.a
38 CAPITULO 3. NUMEROS
COMPLEXOS
-
x
6 62
x= arctg(y)
y= tg(x)
- -
2
2
2. Notemos que
r = x2 + y2
(3.76)
= |z|2 . (3.104)
Observacao 3.7.3 Dado z C, notamos que arg(z) e multivalente, ou seja, n~ao e uma
func~ao, pois se
= arg(z) ,
da Denic~ao 3.7.2, para cada k Z, temos que
+ 2k
Temos o
40 CAPITULO 3. NUMEROS
COMPLEXOS
2. Vale lembrar que arg(z) e um conjunto formado de innitos valores distintos (veja
(3.105), (3.106) e (3.107)).
Logo a igualdade (3.113) acima e uma igualdade de conjuntos.
3. Em algumas situac~oes podera ser util utilizar uma representac~ao de um numero
complexo z, na forma polar "em torno" de um ponto zo , mais precisamente, con-
siderar uma representac~ao na forma polar do numero complexo
z zo ,
ou seja, escrever
z zo = [cos() + i sen()] , (3.114)
onde
.
= |z zo | (3.115)
e e o ^angulo que a semireta zo z faz com uma reta horizontal.
A gura abaixo ilustra a situac~ao acima.
z
zo
z2 = 3 i
=4
-
z1 = 4 i
zo = i
z1 = r1 [cos(1 ) + i sen(1 )] ,
z2 = r2 [cos(2 ) + i sen(2 )] , (3.118)
ou seja,
. .
arg z1 = 1 e arg z2 = 2 . (3.119)
3.7. FORMA POLAR 43
arg(z1 z2 ) = 1 + 2
(3.119)
= arg(z1 ) + arg(z2 ) ,
1 + 2
z2
> 1 z1
2
1
-
6. Em particular, se z C, o produto
iz
z = r [cos() + i sen()] ,
teremos:
[ () ( )]
i z = cos + i sen {r [cos() + i sen()]}
[ 2 ( ) 2 (
(3.120) )]
= r cos + + i sen + .
2 2
1 z
7. Em geral podemos mostra que se, para cada j {1 , 2 , , n}, temos que a forma
polar do numero complexo zj C e dada por
.
zj = rj [cos(j ) + i sen(j )] , (3.121)
A vericac~ao da identidade (3.122) e feita por induc~ao sobre o numero de fatores
no produto e sua elaborac~ao sera deixada como exerccio para o leitor.
8. Como consequ^encia temos que, para n N, se z C tem forma polar dada por:
.
z = r [cos() + i sen()] , (3.124)
z1 = r1 [cos(1 ) + i sen(1 )] ,
z2 = r2 [cos(2 ) + i sen(2 )] , (3.129)
ou seja,
. .
arg z1 = 1 e arg z2 = 2 . (3.130)
z1 r1 [cos(1 ) + i sen(1 )]
(3.129)
=
z2 r2 [cos(2 ) + i sen(2 )]
r1 [cos(1 ) + i sen(1 )] r1 [cos(1 ) i sen(1 )]
=
r2 [cos(2 ) + i sen(2 )] r2 [cos(2 ) i sen(2 )]
=cos(2 ) = sen(2 ) =cos(2 ) = sen(2 )
z }| { z }| { z }| { z }| {
Exerc
cio r1 cos(1 ) cos(2 ) + sen(1 ) sen(2 ) +i [ sen(1 ) cos(2 ) sen(2 ) cos(1 )]
=
r2 cos2 (1 ) + sen2 (1 )
| {z }
=1
r1
[cos(1 2 ) + i sen(1 2 )] . (3.131)
Exerc
cio
=
r2
11. Geometricamente, a propriedade acima pode ser caracterizada pela gura abaixo.
46 CAPITULO 3. NUMEROS
COMPLEXOS
z1
z2
>
z
1 z12
2
1 2
-
A vericac~ao da identidade (3.124) e feita por induc~ao sobre a pot^encia e sua
elaborac~ao sera deixada como exerccio para o leitor.
rn = r ,
ou ainda, r = n r , (3.140)
n = + 2 k , para cada k Z ,
2 k
ou seja, k = + , para cada k Z . (3.141)
n n
Deste modo, para cada k Z, obtemos um numero complexo zk , dado por
zk = n
r [cos(k ) + i sen(k )] , (3.142)
para k {0 , 1 , , n 1}.
Observacao 3.8.1
1. Notemos que, o modulo de todos os numeros complexos zk e dado por n
r , ou
seja,
|zk | = n
r , (3.147)
func~ao.
da equac~ao (3.135)).
A gura abaixo ilustra a situac~ao descrita acima para o caso que n = 6.
3.8. EXTRAC ~ DE RAIZ
AO 49
6 z1
z
z2
zo
6 -
z3
z5
z4
Resolucao:
.
Notemos que a forma polar do numero complexo z = 1 = O e dada por
1 = cos(0) + i sen(0) , (3.148)
ou seja,
. .
r = 1 e = 0 . (3.149)
Logo, teremos
n
r = 1 (3.150)
e assim, de (3.146) e (3.149), segue que
( ) ( )
2 k 2 k
1 = n r cos + i sen
1
n + +
n n n n
( ) ( )
(3.149) e (3.150) 2k 2k
= cos + i sen ,
n n
para k {0 , 1 , , n 1}.
Observacao 3.8.2
1. Logo se denirmos ( ) ( )
. 2 2
= cos + i sen , (3.151)
n n
como consequ^encia do Exemplo 3.8.1 e da formula de De Moivre (ou seja, (3.127))
teremos que as razes da unidade, ou seja, todas as soluc~oes da equac~ao
zn = 1 , (3.152)
ser~ao
1 , , 2 , , , n1 (3.153)
50 CAPITULO 3. NUMEROS
COMPLEXOS
2
n
2
n
-
1
z1 =
6
2
3
-
zo = 1
z2 = 2
A vericac~ao deste fato sera deixada como exerccio para o leitor.
52 CAPITULO 3. NUMEROS
COMPLEXOS
6
zo
Observacao 3.9.2
1. A noc~ao de ponto de acumulac~ao introduzida na Denic~ao 3.9.2 coincide com a
analoga introduzida na disciplina de Calculo 2 (que estudou as func~oes de varias
variaveis reias, a valores reais).
3.9. TOPOLOGIA DO PLANO COMPLEXO 53
p
)
6
zo
|z| = c
)
q
6
zo
-
54 CAPITULO 3. NUMEROS
COMPLEXOS
{z C ; |z zo | } ,
V(zo ; ) {z C ; |z zo | = } .
Deixaremos a vericac~ao deste fato sera deixada como exerccio para o leitor.
13.08.2015 - 4.a
Deixaremos a vericac~ao deste fato sera deixada como exerccio para o leitor.
Definicao 3.9.3Sejam A C e zo C.
Diremos que o ponto zo e um ponto interior do conjunto A, se existe uma vizi-
nhanca do ponto zo que esta inteiramente contida no conjunto A, ou seja, se podemos
encontrar > 0, de modo que
V(zo ; ) A . (3.159)
Observacao 3.9.3
A
p
p
-
c
zo
Observacao 3.9.4
zo
Ac V(zo ; )
K
A
A V(zo ; )
{z C ; |z zo | = c} ,
q
6
zo
Consideremos A C.
Definicao 3.9.5
Diremos que o conjunto A e um conjunto aberto, se cada um dos pontos do con-
junto A, for ponto interior do conjunto A.
Geometricamente no plano complexo temos a seguinte situac~ao.
A
p
A V(zo ; c) . (3.161)
zo
c -
z2
z1
k
A
Observacao 3.9.5 As noc~oes introduzidas nas Denic~oes 3.9.5 e 3.9.6 coincidem com
as analogas introduzidas na disciplina de Calculo 2 (que estudou as func~oes de varias
variaveis reais, a valores reais).
{ ( ) }
.
A = {z C ; |z| < 1} e B =. z C ; arg(z) 0 , e |z| > 1 . (3.162)
4
3.10 Exerccios
60 CAPITULO 3. NUMEROS
COMPLEXOS
Captulo 4
61
62 CAPITULO 4. FUNC ~
OES COMPLEXAS
Temos o:
Exemplo 4.1.1 Temos que f1 : S1 =. C C, f2 : S2 =. C C e f3 : D3 =. C \ {i , i} C,
dadas por
. . 1
f1 (z) = z2 + 2 i z 3 , f2 (z) = |z| e f3 (z) =. , para z Si ,
z2 +1
onde i {1 , 2 , 3}, s~ao func~oes de variaveis complexas, a valores complexos.
Temos a:
Observacao 4.1.2
Notemos que
(4.2) (4.2)
[f(z)] = [f(x + i y)] = u(x , y) e [f(z)] = [f(x + i y)] = v(x , y) ,
para cada z = (x , y) S C = R2 .
2. Vale a recproca da situac~ao considerada no item acima.
Mais precismante, se f : S C C e uma func~ao de variavel complexa, a valores
complexos, podemos considerar as func~oes u , v : S R2 = C R, que s~ao func~oes
de duas variaveis reais, a valores reais, denidas por:
.
u(x , y) = [f(z)]
= [f(x + i y)]
.
v(x , y) = [f(z)]
= [f(x + i y)] ,
para cada (x , y) = z S R2 = C.
3. Portanto, dos dois itens acima segue que associado a uma func~ao f de variavel
complexa, a valores complexos temos uma par de func~oes u e v, de duas variaveis
reais, a valores reais e reciprocamente.
Apliquemos as ideias acima ao:
Exemplo 4.1.2 Consideremos a func~ao f : C C, dada por
.
f(z) = z2 , para z C. (4.3)
4.1. FUNC ~
OES COMPLEXAS 63
Observacao 4.1.3
1. Vale observar, como foi visto na disciplina de Geometria Analtica, que a repre-
sentac~ao geometrica da func~ao
. [ ]
u(x , y) = (x + i y)2
(4.4) (4.5)
para (x , y) R2 ,
e
= x2 y2 ,
. p(z)
f(z) = , para z S , (4.7)
q(z)
Observacao 4.1.4 Ao londo das proximas sec~oes e captulos ser~ao introduzidas outras
func~oes.
4.2 Transformacoes
Nesta sec~ao estudaremos algumas funco~es que desempenhar~ao um papel importante nos es-
tudo do conjunto dos numeros complexos e das funco~es denidas no mesmo.
Observemos que algumas propriedades de funco~es de uma (ou varias) variavel (variaveis)
real (reias) podem ser estabelecidas geometricamente utlizando as respectivas representaco~es
geometricas dos gracos da func~ao considerada.
Se, por exemplo, f : A R R e uma func~ao, estabelecemos uma relac~ao entre pontos
do conjunto x S R que, do ponto de vista da representac~ao geometrica do graco da
func~ao f, correspondem a pontos de um subconjunto do eixo Ox e pontos f(x) R que, do
ponto de vista da representac~ao geometrica do graco da func~ao f, corresponde, a pontos de
um subconjunto do eixo Oy.
Algo semelhante ocorrer para uma func~ao de duas variaveis, a valores reais, f : B R2
R.
Entretanto, quando consideramos uma func~ao de varivavel complexa, a valores complexos,
f : S C C, n~ao dispomos de uma representac~ao geometrica analoga aos casos considerados
acima, uma vez que para pontos z S C = R2 , teremos que f(z) C = R2 , logo o o graco
da func~ao f sera um subconjunto de R4 (veja (4.1)), e assim n~ao temos v^e-lo representa-lo
geometricamente.
Apesar disto, algumas informaco~es sobre a func~ao f : S C C podem ser obtidas
representando-se, geometricamente, os conjuntos S C e f(S) C, em cada um dos respec-
tivos planos complexos, ou seja, para cada z = (x , y) S C, representado geometricamente
.
no z-plano complexo, podemos representar o numero complexo w = f(z) = (u , v) C, re-
presentado geometricamente em um outro w-plano complexo.
A correspond^encia entre pontos de dois planos complexos sera denominada trasformacao
entre os planos complexos.
Para algumas funco~es especiais o efeito das mesmas no plano complexo podem ser par-
ticularmente importantes, do ponto de vista de transformaco~es entre os planos complexos,
4.2. TRANSFORMAC ~
OES 65
translacao, que pode ser obtida por meio da ac~ao da func~ao T : C C, dada por:
.
T (z) = z + zo , para z C, (4.8)
rotacao, que pode ser obtida por meio da ac~ao da func~ao R : C C , dada por:
.
R(z) = zo z , para z C, (4.9)
reflexao , que pode ser obtida por meio da ac~ao da func~ao R : C C , dada por:
.
R(z) = z , para z C. (4.10)
6 6
Rotac~ao
Translac~ao
zo z
z + zo
o R
*
z
zo z zo
o
- -
Re
ex~ao
66 CAPITULO 4. FUNC ~
OES COMPLEXAS
R
*
z
j
z
nos fornece uma transformac~ao que, para cada c (0 , ) xado, leva cada ponto da
circunfer^encia
. { }
C = (x , y) R ; x + y = c
2 2 2 2
(4.12)
em um ponto sobre a reta
(w) = c , (4.13)
pois, se considerarmos as func~oes u , v : R2 R, dadas por
.
u(x , y) = x2 + y2 e v(x , y) =. y , para (x , y) R2 , (4.14)
e
(4.14)
v(x , y) = y , para y R ,
ou seja, um ponto sobre a reta
{(u(x , y) , v(x , y) ; para (x , y) R2 } = {(s , t) ; s = c e t R} . (4.15)
Notemos tambem que, quando o ponto z = x + i y varia sobre a circunfer^encia C ,
deveremos ter
y [c , c] .
Logo, de (4.14), devermos ter
(4.14)
v(x , y) = y [c , c] . (4.16)
Portanto, de (4.15) e (4.17), segue que pontos da circunfer^encia C s~ao levados em
pontos do segmento de reta
{(s , t) ; s = c e t ([c , c]} , (4.17)
ou ainda, para cada c (0 , ) xado, segue que pontos da circunfer^encia C s~ao levados
em pontos do segmento de reta
= {(s , t) ; s = c e t ([s , s]} R2 . (4.18)
A gura abaixo ilustra cada uma das situac~oes descritas acima:
v v=u
y
6
6
f
-
c
- c1
- u
c1 c
R x
v = u
Como consequ^encia das observac~oes acima, segue que, a imagem da func~ao f sera
a regi~ao
{(u , v) ; u [0 , ) e v [u , u]} .
Temos a:
Observacao 4.3.1
1. Notemos que, do ponto de vista da Denic~ao 4.3.1, nao interessa o que ocorre no
ponto zo (veja o destaque em vermelho em (4.19)).
2. A Denic~ao 4.3.1 nos diz que, o numero complexo f(z) cara arbitrariamente
proximo do numero complexo wo , se o numero complexo z pertence ao domnio
da func~ao f e esta suficientemente proximo do numero complexo zo .
3. Do ponto de vista da caraterizac~ao geometrica, a Denic~ao 4.3.1 pode ser vista
segundo a seguinte gura abaixo:
v
y
6
6
zo f wo
-
- - u
x
Resolucao:
Neste caso, temos que
.
zo = 2 e (4.22)
Notemos que, dado > 0, consideremos
.
= . (4.23)
Logo, se
0 < |z zo | = |z 1| < , (4.24)
teremos
( 2 )
z 1
|f(z) wo | = 2
z1
(z 1) (z + 1)
= 2
z1
(4.24)
z = 1
= |(z + 1) 2|
= |z 1|
(4.24)
<
(4.23)
= ,
ou seja,
0 |wo w1 | < ,
para todo > 0, o que implicara que
|wo w1 | = 0 ,
ou seja (penultimo item da Proposic~ao 3.6.1), wo w 1 = O
ou ainda, w1 = wo ,
como queramos demonstrar.
Temos tambem a:
4.4. PROPRIEDADES DE LIMITES 71
se, e somente se, existem os limites das func~oes reais u e v, quando (x , y) tende a
(xo , yo ), e dar~
ao uo e vo , respectivamente, isto e,
lim u(x , y) = uo (4.35)
(x ,y)(xo ,yo )
Demonstracao:
De fato, suponhamos que exista o limite da func~ao complexa f, quando z tende a zo , e
dara wo , isto e, vale (4.34).
Logo, dado > 0, podemos encontrar o > 0, de modo que, para
z S, satisfaz 0 < |z zo | < o , deveremos ter: |f(z) wo | < . (4.37)
Com isto, se
.
z=x+iy
|(x , y) (xo , yo )| = |z zo |
< o , (4.38)
teremos:
(4.31)
|u(x , y) uo | = |[f(z)] (wo )|
Observac~ao 3.1.2
= |[f(z) wo ]|
(3.92)
< |f(z) wo |
(4.38) e (4.37)
< , (4.39)
mostrando que existe o limite da func~ao real u, quando (x , y) tende a (xo , yo ), e sera igual
a uo , isto e, vale (4.35).
72 CAPITULO 4. FUNC ~
OES COMPLEXAS
De modo semelhante mostra-se que existe o limite da func~ao real v, quando (x , y) tende
a (xo , yo ), e sera igual a vo , isto e, vale (4.36).
Reciprocamente, suponhamos que existem os limites das funco~es reais u e v, quando (x , y)
tende a (xo , yo ), e dar~ao uo e vo , respectivamente, isto e, valem (4.35) e (4.36).
Logo, dado > 0, como valem (4.35) e (4.36), podemos encontrar 1 , 2 > 0, de modo
que, se
|(x , y) (xo , yo )| < 1 , (4.40)
teremos:
|u(x , y) uo | < (4.41)
2
e se
|(x , y) (xo , yo )| < 2 , (4.42)
teremos:
|v(x , y) vo | < . (4.43)
2
Seja
.
= min{1 , 2 } > 0 . (4.44)
Com isto, se
.
z=x+iy
|z zo | = |(x , y) (xo , yo )|
<
(4.44)
1 , 2 , (4.45)
teremos:
(4.30) ,(4.31) ,(4.32) ,(4.33)
|f(z) wo | = |[u(x , u) + i v(x , y)] [uo + i vo ]|
= |[u(x , u) uo ] + i [v(x , y) vo ]|
ultimo item da Proposic~ao 3.6.1
|u(x , u) uo | + |v(x , y) vo |
(4.45) ,(4.41) e (4.43)
< +
2 2
= ,
mostrando que existe o limite da func~ao complexa f, quando z tende a zo , e dara wo , isto e,
vale (4.34), completando a demonstrac~ao.
Observacao 4.4.1 Como consequ^encia da Proposic~ao 4.4.2 acima, temos que estudar
o limite de uma func~ao de variavel complexa, a valores complexos, e equivalente a
estudar limite de uma func~ao de duas variaveis reias, a valores reais, que foi estudado
na disciplina de Calculo 2.
4.4. PROPRIEDADES DE LIMITES 73
Ent~ao
1. existe o limite da func~ao (f + g) em zo e este valera wo + Wo , ou seja,
lim (f + g)(z) = wo + Wo
zzo
f wo
4. se Wo =), existe o limite da func~ao em zo e este valera , ou seja,
g Wo
( )
f wo
lim (z) = ,
zzo g Wo
( ) lim f(z)
f
ou seja, lim (z) =
zzo
. (4.50)
zzo g lim g(z)
zzo
Demonstracao:
As demonstraco~es seguem da Proposic~ao 4.4.2 (ou da Observac~ao 4.4.1 acima) e das
respectivas propriedades de funco~es de duas variaveis reais, a valores reais.
Por este motivo deixaremos a elaborac~ao das mesmas como exerccio para o leitor.
O proximo resultado sera util para o calculo de varios limites de funco~es de uma variavel
complexa, a valores complexos.
74 CAPITULO 4. FUNC ~
OES COMPLEXAS
Demonstracao:
Mostremos (4.51):
Neste caso temos que a func~ao a ser considerada e f : C C, dada por
.
f(z) = z , para z C (4.55)
e
.
wo = zo . (4.56)
Notemos que, dado > 0, se considerarmos
.
= , (4.57)
3. e
lim f(z) = f(zo ) . (4.60)
zzo
Seja
.
K = max{M , N} > 0 . (4.68)
Logo, para z = x + i y S, teremos:
f(z)=u(x ,y)+iv(x ,y)
|f(z)| = [u(x , y)]2 + [v(x , y)]2
(4.67)
M2 + N2
(4.68)
K2 + K2
= 2 | {zK}2
K>0
=|K| = K
= 2K,
Observacao 4.5.2
1. Suponhamos que f : S C C e uma func~ao e que todo ponto de S seja ponto de
acumulac~ao do conjunto S.
Notemos que do item 2. da Observac~ao 4.5.1, temos que a continuidade de uma
func~ao f em ponto zo S, e equivalente a: dado > 0, podemos encontrar =
( , zo ) > 0, de modo que, se
z S, satisfaz |z zo | < , deveremos ter: |f(z) f(zo )| < . (4.81)
V(zo ; ) S
e se
f(z) f(zo )
0 < |z zo | < , teremeos: L < . (4.90)
z zo
= 2 zo ,
4.6. DIFERENCIABILIDADE 81
completando a resoluc~ao.
Uma propriedade importante de diferenciabilidade e dada pela:
Proposicao 4.6.1 Se uma func~ao e diferenciavel em um ponto, ela devera ser contnua
nesse ponto.
Resolucao:
De fato, suponhamos que zo C e um ponto interior do conjunto S e a func~ao f : S C
e diferenciavel em zo .
Com isto teremos:
[ ]
z=zo f(z) f(zo )
lim [f(z) f(zo )] = lim (z zo )
zzo zzo z zo
[ ] [ ]
existem os limites: limzzo f(z)f(zo )
e limzzo (zzo ) f(z) f(zo )
lim lim (z zo )
zzo
=
zzo z zo zzo
| {z } | {z }
=f (zo ) =0
= 0,
ou seja,
x2 y2 i 2 x y
lim
(x ,y)(0 ,0) x2 + y2
[ ] [ ]
x2 y2 xy
lim 2i lim (4.94)
(x ,y)(0 ,0) x2 + y2 (x ,y)(0 ,0) x2 + y2
x2 y2
e n~ao existe o limite lim , pois sobre a curva
(x ,y)(0 ,0) x2 + y2
{(x , x) ; x R} ,
(ou seja, sobre a reta y = x) teremos
x2 y2 x2 x2
lim = lim
(x ,y)(0 ,0) , com y=x x2 + y2 x0 x2 + x2
= 0, (4.95)
por outro lado, sobre a curva
{(x , 0) ; x R} ,
(ou seja, a reta y = 0) teremos
x2 y2 x2 02
lim = lim
(x ,y)(0 ,0) , com y=0 x2 + y2 x0 x2 + 02
= 1. (4.96)
x2 y2
Logo, de (9.96) e (4.96), segue que n~ao existe o limite lim e, de (9.95),
(x ,y)(0 ,0) x2 + y2
z
teremos que n~ao existe o limite lim .
zO z
Demonstracao:
As demonstraco~es das propriedades acima s~ao semelhantes as propriedades analogas para
funco~es de uma variavel real, a valores reais estabelecidas na disciplina de Calculo 1.
Devido a estes fatos, deixaremos a elaborac~ao das mesmas como exerccio para o leitor.
Observacao 4.7.1 Como consequ^encia da Proposic~ao 4.7.1 segue que toda func~ao poli-
nomial e diferenciavel em C e toda func~ao racional e diferenciavel no seu domnio (ou
seja, onde o denominador n~ao e zero).
Alem disso, dos itens 1., 5., 6. e 7. da Propoisc~ao 4.7.1 acima , segue que a func~ao
derivada de uma func~ao polinomial tera como express~ao um polin^omio de grau menor
ou igual ao grau do polin^omio que dene a func~ao polinomial, dada inicialmente, menos
1.
Temos tambem a:
Resolucao:
As demonstrac~ao dessa propriedade e semelhante a propriedade analoga para funco~es de
uma variavel real, a valores reais estabelecidas na disciplina de Calculo 1.
Devido a esse fato, deixaremos a elaborac~ao da mesma como exerccio para o leitor.
Como aplicac~ao dos resultados acima temos o:
Resolucao:
Consideremos as func~ao f , g : C C, dadas por:
.
g(z) = 2 z3 + 3 z + 2 , para cada z C, (4.109)
.
f(w) = w5 , para cada w C . (4.110)
4.7. PROPRIEDADES DA DIFERENCIABILIDADE 85
(f g)(z) = f[g(z)]
(4.110)
= [g(z)]5
(4.109)
= [2 z3 + 3 z + 2]5
(4.107)
= h(z) . (4.111)
Da Proposic~ao 4.7.1 segue que as funco~es f e g s~ao diferenciaveis em C e, alem disso,
teremos:
.
g (z) = 6 z2 + 3 , para cada z C , (4.112)
.
f (w) = 5 w4 , para cada w C . (4.113)
Logo, de (4.111) e da Proposic~ao 4.7.2., segue que a func~ao h sera diferenciavel em C e,
de (4.106), (4.112) e (4.113), segue que
(4.111)
h (z) = (f g) (z)
(4.106)
= f [g(zo )] g (zo )
(4.112) e (4.113) [ ]4 ( )
= 5 2 z3 + 3 z + 2 6 z2 + 3 ,
completando a resoluc~ao.
Como consequ^encia temos o:
para cada z C \ {2 i , i} .
86 CAPITULO 4. FUNC ~
OES COMPLEXAS
para cada (x , y) R2 .
Resolucao:
A diferenciabilidade da func~ao f segue do item 7. da Proposic~ao 4.7.1.
Notemos que
(4.114)
f(z) = z2
z=x+iy
= (x + i y)2
Exerccio
= x2 y2 + i 2 x y , para cada (x , y) R2 . (4.117)
para cada (x , y) R2 .
Notemos que as funco~es u e v admitem derivadas parciais de primeira ordem em R2 (na
verdade admitem derivadas parciais de qualquer ordem em R2 ), como visto na disciplina de
Calculo 2.
4.8. CONDIC ~
OES DE CAUCHY-RIEMANN 87
Observacao 4.8.1 Na situac~ao do Exemplo 4.8.1, notemos tambem que, para cada z
C, teremos
(4.114) d ( 2)
f (z) = z
dz
= 2z
z=x+iy
= 2 (x + i y)
= 2x + i 2y
(4.120) e (4.122) u v
= (x , y) + i (x , y)
x x
ou ainda: u v
= (x , y) i (x , y) .
y y
O que ocorreu no Exemplo 4.8.1 acima, vale em situaco~es mais gerais, como arma o:
Teorema 4.8.1 Sejam zo = (xo , yo ) um ponto interior do conjunto S C, e f : S C
uma func~ao diferenciavel em zo e consideremos as func~oes u , v : S R, dadas por
.
u(x , y) = [f](x , y) , (4.124)
.
v(x , y) = [f](x , y) , (4.125)
88 CAPITULO 4. FUNC ~
OES COMPLEXAS
para cada z = (x , y) S R2 .
Ent~ao as func~oes u = u(x , y) e v = v(x , y) admitem derivadas parciais de primeira
ordem em (xo , yo ) e valem as seguinte identidades:
u v
(xo , yo ) = (xo , yo ) (4.126)
x y
u v
(xo , yo ) = (xo , yo ) , (4.127)
y x
denominadas condicoes de Cauchy-Riemann associadas a func~ao f (ou as func~oes u
e v)
Temos tambem que
u v
f (zo ) = (xo , yo ) + i (xo , yo )
x x
v u
= (xo , yo ) i (xo , yo ) . (4.128)
y y
Demonstracao:
Por hipotese temos que a func~ao f e diferenciavel em zo .
Logo, teremos:
f(z) f(zo )
f (zo ) = lim
zzo z zo
.
= a + i b, (4.129)
{(x , yo ) ; x R}
{(xo , y) ; y R}
(ou seja, a reta x = xo ), pode-se mostrar que existe a derivada parcial de primeira ordem, em
relac~ao a y, da func~ao u = u(x , y), no ponto (xo , yo ) e, alem disso, teremos:
u
(xo , yo ) = b . (4.138)
y
Finalmente, utilizando (4.134) e calculando o limite em quest~ao ao longo da curva
{(x , yo ) ; x R}
90 CAPITULO 4. FUNC ~
OES COMPLEXAS
(ou seja, a reta y = yo ), pode-se mostrar que existe a derivada parcial de primeira ordem,
em relac~ao a x, da func~ao v = v(x , y), no ponto (xo , yo ) e, alem disso, teremos:
v
(xo , yo ) = b . (4.139)
x
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
Portanto, de (4.129), (4.136), (4.137), (4.138) e (4.139), segue a identidade (4.128), com-
pletando a demonstrac~ao.
Observacao 4.8.2 No Teorema 4.8.1, as condic~oes de Cauchy-Riemann nos fornece
condic~oes necessarias
para que uma func~ao f : S C C seja diferenciavel em zo S.
Mas as condic~oes estabelecidas no mesmo n~ao s~ao suficientes, como mostra o se-
guinte exemplo:
Consideremos f : C C dada por:
3 3 3 3
x y + i x + y , para z = x + i y = O
. 2
f(z) = x + y
2
x + y2
2
. (4.140)
O , para z = O
Armamos que as func~oes u , v : R2 R, dadas por
.
u(x , y) = [f](x , y)
3 3
x y , para cada (x , y) = (0 , 0)
(4.140)
= x + y2
2
, (4.141)
0 , para (x , y) = (0 , 0)
.
v(x , y) = [f](x , y)
3 3
x + y , para cada (x , y) = (0 , 0)
(4.140)
= x2 + y2 , (4.142)
0 , para (x , y) = (0 , 0)
para cada (x , y) R2 , satisfazem as condic~oes de Cauhcy-Riemann (ou seja, (4.126) e
(4.127)) em zo = O, mas a func~ao f n~ao e diferenciavel em zo = O.
De fato, notemos que
x3 0 3
u(x , 0) u(0 , 0) (x ,0)=(0 ,0) e (4.141) 2 2
lim = lim x + 0
x0 x x0 x
x=0
= lim 1
x0
= 1, (4.143)
03 y3
u(0 , y) u(0 , 0) (0 ,y)=(0 ,0) e (4.141) 02 + y2
lim = lim
y0 y y0 y
y=0
= lim(1)
x0
= 1 , (4.144)
4.8. CONDIC ~
OES DE CAUCHY-RIEMANN 91
x3 + 03
v(x , 0) v(0 , 0) (x ,0)=(0 ,0) e (4.142) 2 2
lim = lim x + 0
x0 x x0 x
x=0
= lim 1
x0
= 1, (4.145)
3 3
0 +y
v(0 , y) v(0 , 0) (0 ,y)=(0 ,0) e (4.142) 02 + y2
lim = lim
y0 y y0 y
y=0
= lim 1
x0
= 1. (4.146)
Portanto, de (4.143), (4.144), (4.145) e (4.146), segue que as func~oes u = u(x , y) e
v = v(x , y) tem derivadas parciias de primeira ordem em (xo , yo ) = (0 , 0) e al
em disso,
teremos
u (4.143)
(0 , 0) = 1 , (4.147)
x
u (4.144)
(0 , 0) = 1 , (4.148)
y
v (4.145)
(0 , 0) = 1 , (4.149)
x
v (4.146)
(0 , 0) = 1 , (4.150)
y
ou seja, (4.147), (4.148), (4.149) e (4.150), implicam que as condicoes de Cauchy-
Riemann est~ao satisfeitas (ou seja, (4.126) e (4.127) ocorrem) em zo = (xo , yo ) = (0 , 0).
Mostremos que a func~ao f n~ao e diferenciavel em zo = (0 , 0).
De fato, pois
f(z) f(zo ) f(z) f(O)
lim = lim
zzo z zo zO z
(4.140)
f(O) = O f(z)
= lim
zO z
u(x , y) + i v(x , y)
= lim . (4.151)
(x ,y)(0 ,0) x+iy
Mostremos que o limite acima n~ao existe.
Para tanto, basta mostrar que o n~ao existe o limite
[ ]
u(x , y) + i v(x , y)
lim . (4.152)
(x ,y)(0 ,0) x+iy
Isto de fato e verdade pois, calculando-se o limite acima sobre a curva
{(0 , y) ; y R}
92 CAPITULO 4. FUNC ~
OES COMPLEXAS
= 1. (4.153)
Resolucao:
Notemos que, para z = x + i y C, teremeos
(4.155)
f(z) = |z|2
( )
= 2
x +y2
= x2 + y2 . (4.156)
para cada (x , y) R2 .
Notemos que as funco~es u = u(x , y) e v = v(x , y) possuem derivadas parciais de primeira
ordem em R2 (na verdade possuem derivadas parciais de qualquer ordem em R2 ) e
u (4.157) ( 2 )
(x , y) = x + y2
x x
= 2x, (4.159)
u (4.157) ( 2 )
(x , y) = x + y2
y y
= 2y, (4.160)
v (4.158)
(x , y) = 0 , (4.161)
x
v (4.158)
(x , y) = 0 , (4.162)
y
para cada (x , y) R2 .
Logo, para (x , y) = (0 , 0) as funco~es u = u(x , y) e v = v(x , y) nao satisfazem as condico~es
de Cauchy-Riemann em R2 \ {(0 , 0)}.
Portanto, pelo Teorema 4.8.1, segue que a func~ao f n~ao sera diferenciavel em C \ {O}.
Observacao 4.8.3
Temos o:
para cada z = (x , y) S R2 .
Suponhamos que as func~oes u = u(x , y) e v = v(x , y) e suas derivadas parciais
de primeira ordem s~ao contnuas em (xo , yo ) e satisfazem as condic~oes de Cauchy-
Riemann (ou seja, as identidades (4.126) e (4.127)) em (xo , yo ).
Ent~ao a func~ao f sera diferenciavel em zo e vale (4.128).
Demonstracao:
u u v v
Como as funco~es u, v, , , e s~ao, por hipotese, contnuas no ponto (xo , yo ),
x y x y
podemos supor, sem perda de generalidade, que todas elas est~ao denidas em uma mesma
vizinhanca do ponto (xo , yo ), que indicaremos por V .
u u v v
Logo, como as funco~es u, v, , , e s~ao contnuas em V , para cada z = x+iy
x y x y
V , z = zo , do Teorema de Taylor, para funco~es de duas variaveis reais, a valores reais (visto
na disciplina de Calculo 2) aplicado a func~ao u = u(x , y), segue que existe
de modo que
u u
u(x , y)u(xo , yo ) = (xo , yo ) (xxo )+ (xo , yo ) (yyo )+cx (xxo )+cy (yyo ) . (4.167)
x y
Aplicando-se, de modo semelhante, o mesmo para a func~ao v = v(x , y), podemos entrar
de modo que
v v
v(x , y)v(xo , yo ) = (xo , yo ) (xxo )+ (xo , yo ) (yyo )+Cx (xxo )+Cy (yyo ) . (4.170)
x y
Logo
u v
= (xo , yo ) [(x xo ) + i (y yo )] + i (xo , yo ) [(x xo ) + i (y yo )]
x x
+ (cx + i Cx ) (x xo ) + (cy + i Cy ) (y yo ) . (4.171)
Notando-se que
z zo = (x xo ) + i (y yo ) = O ,
teremos
u v
f(z) f(zo ) (4.171) x (x o , y o ) [(x x o ) + i (y y o )] + i (xo , yo ) [(x xo ) + i (y yo )]
= x
z zo (x xo ) + i (y yo )
(cx + i Cx ) (x xo ) + (cy + i Cy ) (y yo )
+
(x xo ) + i (y yo )
u v
= (xo , yo ) + i (xo , yo )
x x
(cx + i Cx ) (x xo ) + (cy + i Cy ) (y yo )
+ . (4.172)
(x xo ) + i (y yo )
Se mostrarmos que
(cx + i Cx ) (x xo ) + (cy + i Cy ) (y yo )
lim = 0, (4.173)
(x ,y)(xo ,yo ) (x xo ) + i (y yo )
logo
(cx + i Cx ) (x xo )l + (cy + i Cy ) (y yo ) (3.97) |(cx + i Cx ) (x xo ) + (cy + i Cy ) (y yo )|
=
(x xo ) + i (y yo ) |(x xo ) + i (y yo )|
(3.98) (x xo ) (y yo )
|cx + i Cx |
+ |cy + i Cy |
(x xo ) + i (y yo ) (x xo ) + i (y yo )
(4.175)
|cx + i Cx | + |cy + i Cy | , (4.176)
mostrando, juntamente com (4.176) que vale a identidade (4.173) e portanto a func~ao f e
diferenciavel em zo e vale a identidade (4.128), completando a demonstrac~ao.
Observacao 4.8.4
1. O Teorema 4.8.2 nos fornece condic~oes suficientes para que uma func~ao f de uma
variavel complexa, a valores complexos, seja diferenciavel em zo C.
2. As condic~oes do Teorema 4.8.2 s~ao necessarias, para que uma func~ao de uma
variavel complexa, a valores complexos, seja diferenciavel em ponto ?
Deixaremos a cargo do leitor responder tal quest~ao.
Observacao 4.8.5
para cada z C.
Observemos tambem que
(4.177)
f(O) = e0 cos(0) + i e0 sen(0)
= 1,
e a func~ao
f(x) = ex , para cada x R .
Sera que o mesmo ocorre com a func~ao complexa do Exemplo (4.8.3) acima ?
O resultado a seguir e analogo ao Teorema 4.8.2, para funco~es de uma variavel complexa,
a valores complexos, colocado na forma polar.
Para tanto, precisaremos fazer algumas consideraco~es:
Observacao 4.8.6
para cada z = (x , y) V .
Colocando os elementos acima na forma polar teremos a seguinte situac~ao, ou
seja, suponhamos que
zo = ro [cos(o ) + i sen(o )] , (4.191)
com o [0 , 2 ).
Notemos que, de (4.118), teremos
ro (0 , ) . (4.192)
para cada (r , ) W .
100 CAPITULO 4. FUNC ~
OES COMPLEXAS
Teorema 4.8.3 Nas condic~ oes do item 2. da Observac~ao 4.8.6, suponhamos que as U e
V s~
ao func~oes contnuas, juntamente com suas derivadas parciais de primeira ordem,
em relac~ao a r e , no ponto (ro , o ) e satisfazem as seguinte condic~oes
U 1 V
(ro , o ) = (ro , o ) , (4.195)
r ro
1 U V
(ro , o ) = (ro , o ) , (4.196)
ro r
zo = ro [cos(o ) + i sen(o )]
Demonstracao:
Consideremos
x = r cos() (4.199)
y = r sen() (4.200)
e
zo = xo + i yo .
U U V
Notemos que, por hipotese as funco~es U, V (dadas em (4.195) e (4.196)), , , e
r r
V
s~ao contnuas no ponto (ro , o ).
u u v v
Logo, isto implicara que as funco~es u, v (dadas em (4.195) e (4.196)), , , e
x y x y
ser~ao contnuas no ponto (xo , yo ).
4.8. CONDIC ~
OES DE CAUCHY-RIEMANN 101
Alem disso, para (r , ) W , da regra da cadeia para funco~es de duas variaveis reias, a
valores reais, segue que:
(4.199) (4.200)
= cos() = sen()
z}|{ z}|{
U (4.193) u x u y
(r , ) = +
r x r y r
u u
= cos() (x , y) + sen() (x , y) , (4.201)
x y
(4.199) (4.200)
= r [ sen()] = r cos()
z}|{ z}|{
U (4.193) u x u y
(r , ) = +
x y
u u
= r sen() (x , y) + r cos() (x , y) , (4.202)
x y
(4.199) (4.200)
= cos() = sen()
z}|{ z}|{
V (4.194) v x v y
(r , ) = +
r x r y r
v v
= cos() (x , y) + sen() (x , y) (4.203)
x y
(4.199) (4.200)
= r [ sen()] = r cos()
z}|{ z}|{
V (4.194) v x v y
(r , ) = +
x y
v v
= r sen() (x , y) + r cos() (x , y) . (4.204)
x y
[ ]
U U u u
r cos() sen() = r cos() cos() + sen()
r x y
[ ]
u u
+ [ sen()] r sen() + r cos()
x y
{ }
[ ] u
= r cos2 () + sen2 ()
x
u
=r ,
x
u U 1 U
ou seja: = cos() sen() . (4.205)
x r r
Multiplicando-se (4.201) por [r sen()] e (4.202) por [cos()] e somando-se o resultado obtidos,
teremos (omitindo-se as variaveis (r , ) e (x , y)):
102 CAPITULO 4. FUNC ~
OES COMPLEXAS
[ ]
U U u u
r sen() + cos() = r sen() cos() + sen()
r x y
[ ]
u u
+ [cos()] r sen() + r cos()
x y
{ }
[ ] u
= r cos2 () + sen2 ()
y
u
=r ,
y
u U 1 U
ou seja: = sen() + cos() . (4.206)
y r r
[ ]
V V v v
r cos() sen() = r cos() cos() + sen()
r x y
[ ]
v v
+ [ sen()] r sen() + r cos()
x y
{ }
[ ] v
= r cos2 () + sen2 ()
x
v
=r ,
x
v V 1 V
ou seja: = cos() sen() . (4.207)
x r r
[ ]
V V v v
r sen() + cos() = r sen() cos() + sen()
r x y
[ ]
v v
+ [cos()] r sen() + r cos()
x y
{ }
[ ] v
= r cos2 () + sen2 ()
y
v
=r ,
y
v V 1 V
ou seja: = sen() + cos() . (4.208)
y r r
4.8. CONDIC ~
OES DE CAUCHY-RIEMANN 103
(4.196) U
= (ro ,o )
z }| { r
V 1 V
+i
cos(o ) r (ro , o ) sen(o ) ro (ro , o )
[ ]
U V
= cos(o ) (ro , o ) + sen(o ) (ro , o )
r r
[ ]
V U
+ i cos(o ) (ro , o ) sen(o ) (ro , o )
r r
[ ]
Exerccio U V
= [cos(o ) i sen(o )] (ro , o ) + i (ro , o ) ,
r r
obtendo a identidade (4.197) e completando a demosntrac~ao.
Apliquemos o resultado acima ao:
104 CAPITULO 4. FUNC ~
OES COMPLEXAS
Observacao 4.8.7 Notemos que a "func~ao" f, dada por (4.212), na verdade n~ao e uma
func~ao, isto e, e multivalente (para z C \ {O}, existem dois valores complexos distintos
de z 2 - veja (3.146), com n = 2).
1
Na verdade, quando chamamos de "func~ao" estamos supondo que zemos uma es-
colha para o numero complexo z 2 .
1
para (r , ) W .
4.8. CONDIC ~
OES DE CAUCHY-RIEMANN 105
U U V V
Notemos que as funco~es U , V , , , e s~ao contnuas em cada ponto (r , ) W .
r r
Alem disso, para cada (r , ) W ., temos que
( )
U (4.217) 1
(r , ) = cos , (4.219)
r 2 r 2
[ ( ) ]
U (4.217) 1
(r , ) = r sen , (4.220)
2 2
( )
V (4.218) 1
(r , ) = sen , (4.221)
r 2 r 2
( )
V (4.218) 1
(r , ) = r cos . (4.222)
2 2
Logo
[ ( )]
U (4.219) 1 r
(r , ) = cos
r r 2 2
(4.222) V
= (r , ) ,
[ ( )]
U (4.220) 1
(r , ) = r sen
2 r 2
[ ( )]
1
= r sen
2 r 2
(4.221) V
= r (r , ) ,
r
ou seja valem as condico~es de Cauchy-Riemann, na forma polar (ou seja, (4.195) e (4.196)).
Logo, do Teorema (4.8.3), segue que a func~ao f, dada por (4.216), e diferenciavel em W ,
ou ainda a, a func~ao f, dada por (4.212), sera diferenciavel em V e, alem disso, para cada
z V , ou ainda, por (4.215), (r , ) W , de (4.197), teremos:
[ ]
(4.197) U V
f (z) = [cos() i sen()]
(r , ) + i (r , )
r r
[ ( ) ( )]
(4.219) ,(4.221) 1 1
= [ cos() i sen()] cos + i sen (4.223)
| {z } | {z } 2 r 2 2 r 2
=cos() =i sen()
[ ( ) ( )]
1
= [cos() + i sen()] cos + i sen
2 r 2 2
[ ( ) ( )]
(3.120) 1
= cos + i sen
2 r 2 2
[ ( ) ( )]
1
= cos + i sen
2 r 2 2
( ) ( )
( ) ( ) cos i sen
1 2 2
= cos + i sen ( ) ( )
2 r 2 2
cos i sen
2 2
106 CAPITULO 4. FUNC ~
OES COMPLEXAS
=1
z ( ) }| ( ){
cos2 + sen2
Exerccio 1 2 2
= ( ) ( ) ( ) ( )
2 r
cos = cos i sen sen
2 2 2 2
| {z } | {z }
=
1 1
= [ ( ) ( )]
2
r cos + i sen
2 2
(4.216) 1 1
=
2 z 12
1 1
= z 2 ,
2
ou seja, vale a identidade (4.213), completando a resoluc~ao.
4.9 Exerccios
Captulo 5
Neste captulo introduziremos a noc~ao holomorfa (tambem conhecida como analtica com-
plexa), e estudaremos proriedades destas.
A seguir temos o:
Exemplo 5.1.1 Mostre que a func~ao f : C C, dada por
.
f(z) = z2 , para cada z C , (5.1)
e uma func~ao inteira.
Resolucao:
Vimo, no Exemplo (4.8.3), que a func~ao f e diferenciavel em todos os pontos de C.
Logo, pela Denic~ao (5.1.1), segue que a func~ao f, dada por (5.1), e uma func~ao inteira.
Temos tambem o:
107
108 CAPITULO 5. FUNC ~
OES HOLOMORFAS
Resolucao:
De fato, pois as funco~es f e g do Exerccio (5.1.1) s~ao diferenciaveis em C \ {O}.
Observacao 5.1.2
1. Uma condic~ao necessaria (mas n~ao suciente) para que uma func~ao seja holo-
morfa em um domnio e que a func~ao seja contnua no conjunto.
2. As codic~oes de Cauchy-Riemann (ou seja, (4.126) e (4.127)) tambem s~ao condic~oes
necessarias (mas n~ ao sucientes), para que uma func~ao seja holomorfa em um
domnio.
3. Condic~oes suficientes para que uma func~ao seja holomorfa em um domnio s~ao
dadas pelos Teoremas (4.8.2) e (4.8.3).
Notemos que, neste caso, as hipoteses dos Teoremas (4.8.2) e (4.8.3) devem ser
satisfeitas em todos os pontos do domnio considerado.
4. Como consequ^encia da Observac~ao (4.7.1) temos que toda func~ao polinomial e
inteira e toda func~ao racional e holomorfa onde estiver denida.
5. Como veremos mais adiante, os zeros de uma func~ao polinomial complexa s~ao
isolados.
Temos tambem a:
Proposicao 5.1.1 Sejam S C um subconjunto aberto, zo S e f , g : S C func~oes
holomorfas em zo .
Ent~ao
1. a func~ao (f + g) sera holomorfa em zo ;
2. a func~ao (f g) sera holomorfa em zo ;
3. a func~ao (f g) sera holomorfa em zo ;
f
4. a func~ao sera holomorfa em zo , se g(zo ) = O;
g
Demonstracao:
A elaborac~ao das mesmas sera deixada como exerccio para o leitor.
Como consequ^encia temos o:
Corolario 5.1.1 Sejam S C um domnio e f , g : S C func~oes holomorfas em S.
Ent~ao
1. a func~ao (f + g) sera holomorfa em S;
110 CAPITULO 5. FUNC ~
OES HOLOMORFAS
Observacao 5.1.3 Vale a regra de L'Hospital para func~oes de uma variavel complexa,
a valores complexos.
Mais precisamente, se S C e um subconjunto aberto, zo C e f , g : S C s~ao
func~oes holomorfas em zo e satisfazendo
f(zo ) = g(zo ) = O e g (zo ) = O , (5.7)
f(z)
ent~ao existira o limite zz
lim e, alem disso, teremos
o g(z)
f(z) f (zo )
lim = . (5.8)
zzo g(z) g (zo )
5.1. DEFINIC ~ EXEMPLOS E PROPRIEDADES
AO, 111
f(z) f(zo )
z=zo z zo
= lim
zzo g(z) g(zo )
z zo
f(z) f(zo )
lim
(5.7) zzo z zo
=
g(z) g(zo )
lim
zzo z zo
f (zo )
= ,
g (zo )
1 + z6
lim . (5.9)
zi 1 + z10
Resolucao:
Se considerarmos as funco~es f , g : C C, dadas por
. .
f(z) = 1 + z6 e g(z) = 1 + z10 , para cada z C , (5.10)
.
segue que as funco~es f e g s~ao holomorfas em zo = i
f(zo ) = f(i)
(5.10)
= 1 + i6
= 1 1 = 0,
g(zo ) = g(i)
(5.10)
= 1 + i10
= 1 1 = 0,
(5.10) d [ ]
f (z) = = 1 + z6
dz
=6z , 5
112 CAPITULO 5. FUNC ~
OES HOLOMORFAS
(5.8) f (zo )
=
g 1(zo )
(5.11) e (5.12) 6 i
=
10 i
3
= ,
5
concluindo a resoluc~ao.
Temos agora o:
Proposicao 5.1.3 Sejam D C um domnio de C e f : D C uma func~ao holomorfa
em D, tal que
f (z) = O , para cada z D . (5.13)
Ent~ao a func~ao f dever ser constante, ou seja, existe c C, tal que
f(z) = c , para z D . (5.14)
Demonstracao:
Consideremos as funco~es u , v : D R, dadas por
.
u(x , y) = [f](x , y) , (5.15)
.
v(x , y) = [f](x , y) , (5.16)
para cada z = (x , y) S R2 .
Como a func~ao f e func~ao holomorfa em D, ent~ao ela satisfaz as condico~es do Teorema
(4.8.1) em D.
5.2. FUNC ~
OES ^
HARMONICAS 113
para cada (x , y) S.
Mas do Teorema de Schwarz (visto na disciplina de Caclulo 2), para (x , y) S,
temos 2 2
v v
(x , y) = (x , y) . (5.22)
x y y x
para cada (x , y) S, mostrando que a func~ao u = u(x , y), dada por (5.15), sera
uma func~ao harm^onica em S.
2. De modo semelhante, derivando parcialmente a identidade (5.18), em relac~ao a y
e derivando parcialmente a identidade (5.19), em relac~ao a x, obteremos:
2 u 2 v
(x , y) = (x , y) (5.23)
y x y2
2 u 2 v
(x , y) = 2 (x , y) , (5.24)
x y x
para cada (x , y) S.
Mas do Teorema de Schwarz (visto na disciplina de Caclulo 2), para (x , y) S,
temos 2 2
u u
(x , y) = (x , y) . (5.25)
x y y x
para cada (x , y) S, mostrando que a func~ao v = v(x , y), dada por (5.16), sera
uma func~ao harm^onica em S.
5.2. FUNC ~
OES ^
HARMONICAS 115
u (5.26) [ 3 ]
(x , y) = x 3 x y2 + y
y y
= 6 x y + 1 , (5.30)
2 u (5.30)
2
(x , y) = [6 x , y + 1]
y x
= 6 x , (5.31)
para (x , y) R2 .
116 CAPITULO 5. FUNC ~
OES HOLOMORFAS
Logo,
2 u 2 u (5.29) e (5.31)
2
(x , y) + 2
(x , y) = 6 x + (6 x)
x y
= 0,
Logo do Teorema (4.8.2), segue que a func~ao cujas partes reias e imaginarias s~ao dadas
pelas funco~es u e v, dadas por (5.26) e (5.27), sera uma func~ao holomorfa em R2 , ou ainda,
as funco~es u e v s~ao harm^onicas conjugadas em R2 , completando a resoluc~ao.
25.08.2015 - 7.a
Observacao 5.2.3
para (x , y) R2 .
Logo,
2 u 2 u (5.38) e (5.40)
2
(x , y) + 2
(x , y) = 6 y + 6 y
x y
= 0,
y2
= 6 x + (x)
2
= 3 x y2 + (x) , (5.43)
para cada (x , y) R2 , onde a func~ao continuamente diferenciavel : R R e
arbitraria.
Por outro lado, teremos:
v (5.42)
(x , y) = 3 y2 + 3 x2 , (5.44)
x
v (5.43)
e (x , y) = 3 y2 + (x) , (5.45)
x
para cada (x , y) R2 .
Comparando (5.44) com (5.45), temos que a func~ao = (x) devera satisfazer a
seguinte identidade:
(x) = 3 x2 ,
x3
ou seja, (x) = 3 ,
3
ou ainda, (x) = x3 + C , (5.46)
para cada x R.
Portanto, para cada C R xado, temos que a func~ao harm^onica conjugada
associada a func~ao u, dada por (5.36), e a func~ao v : R2 R, dada por
.
v(x , y) = 3 x y2 + x3 + C , para cada (x , y) R2 . (5.47)
5.2. FUNC ~
OES ^
HARMONICAS 119
aberto
3. Dada uma func~ao f : S C C que e holomorfa em S, suas partes real e
imaginaria, ou seja, as func~oes u , v : S R, dadas por (5.15) e (5.16), nos forncem
um par de famlias de curvas, no plano xOy, denominadas curvas de nvel, dadas
por:
{(x , y) S ; u(x , y) = c1 } e {(x , y) S ; v(x , y) = c2 } ,
para cada c1 , c2 R.
Tais curvas foram introduzidas na disciplina de Calculo 2 e a geometria das mes-
mas podem ser bastante interessante no nosso caso, como veremos.
4. Por exemplo, para a func~ao f : C C, dada por
.
f(z) = z2 , para cada z C , (5.49)
- x
5. No caso da func~ao f, dada por (5.49), notamos que as curvas de nvel da func~ao
u, s~
ao ortogonais as curvas de nvel da func~ao v.
A vericac~ao deste fato sera deixada como exerccio para o leitor.
6. O que ocorreu no item 5. acima, para a func~ao f, dada por (5.49), pode ser
estendido para uma func~ao holomorfa qualquer, com alguns cuidados sobre as
func~oes u e v.
A vericac~ao deste fato sera deixada como exerccio para o leitor.
5.3 Exerccios
Captulo 6
onde
ao , a1 , a2 , , an C ,
s~ao constantes complexas xadas.
Observacao 6.1.1 Como vimos no item 4. da Observac~ao (5.1.2), toda func~ao polino-
mial e inteira.
Alem disso,
.
p (z) = a1 + 2 a2 z + + n an zn1 , para z C , (6.2)
121
122 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
Observacao 6.2.1 Como vimos no item 4. da Observac~ao (5.1.2), toda func~ao racinal
e holomorfa no seu domnio.
Alem disso,
p (z) q(z) p(z) q (z)
f (z) = , para cada z S. (6.4)
q2 (z)
Temos a:
Observacao 6.3.1
1. se x R, temos que
exp(x) = ex , (6.6)
ou seja, a func~ao exp, dada por (6.5), e uma extens~ao da func~ao de uma variavel
real, a valores reias,
x 7 ex
ao conjunto dos numeros complexos.
Deste modo e natural denirmos
.
ez = exp(z) , para cada z C . (6.7)
2. Se x = 0 em (6.5), obteremos
exp(i y) = cos(y) + i sen(y) . (6.8)
3. Do Exemplo (4.8.3) segue que a func~ao exp, dada por (6.5), e diferenciavel em C,
logo uma func~ao inteira.
Alem disso, de (4.184), segue que
d exp
(z) = exp(z) , para cada z C . (6.9)
dz
Proposicao 6.3.1
6.3. FUNC ~ EXPONENCIAL COMPLEXA
AO 123
1. para z1 , z2 C, temos
exp(z1 ) exp(z2 ) = exp(z1 + z2 ) ; (6.10)
2.
exp(2 i) = 1 ; (6.11)
3. para z C teremos
exp(z + 2 i) = exp(z) , (6.12)
ou seja, a func~ao exponencial complexa, dada por (6.5), e 2 i-periodica.
4. se z = x + i y C teremos
| exp(z)| = ex ; (6.13)
6. para z1 , z2 C, temos
exp(z1 )
= exp(z1 z2 ) ; (6.15)
exp(z2 )
7. para z C, temos
exp (z) = exp(z) . (6.16)
Demonstracao:
Faremos a demonstrac~ao do item 3., as outras demonstraco~es ser~ao deixadas como exerccio
para o leitor.
Notemos que, para z = x + i y C, teremos:
z+2 i=x+(y+2 )i e (6.5)
exp(z + 2 i) = ex [cos(y + 2 ) + i sen(y + 2 )]
cos(y+2 )=cos(y) e sen(y+2 )= sen(y) x
= e [cos(y) + i sen(y)]
(6.5)
= exp(z) ,
implicando que
z = (1 + 2 k) i , para k Z .
1. As func~oes cosseno e seno, dadas por (6.24) e (6.25), s~ao func~oes inteiras.
Alem disso, para cada z C, temos:
d cos
(z) = sen(z) , (6.26)
dz
d sen
(z) = cos(z) ; (6.27)
dz
7. para z1 , z2 C, temos:
cos(z1 z2 ) = cos(z1 ) cos(z2 ) sen(z1 ) sen(z2 ) , (6.37)
sen(z1 z2 ) = sen(z1 ) cos(z2 ) cos(z1 ) sen(z2 ) ; (6.38)
9. para z C, temos:
( )
sen z + = cos(z) , (6.41)
( 2)
cos z + = sen(z) ; (6.42)
2
10.
sen(z) = 0 se, e somente se, z = k , para k Z , (6.43)
2k + 1
cos(z) = 0 se, e somente se, z= , para k Z . (6.44)
2
Resolucao:
Faremos a demonstrac~ao de alguns dos itens acima.
Os que restarem ser~ao deixados como exerccio para o leitor.
Notemos que, do fato que as funco~es
z 7 ez e z 7 i z
s~ao inteiras e da Proposic~ao (4.7.2), segue que as funco~es
z 7 eiz e z 7 eiz
s~ao inteiras.
Logo, da Proposic~ao (4.7.1), segue que a func~ao cos, dada por (6.24), sera uma func~ao
inteira.
Alem disso, para cada z C, teremos:
[ ]
d cos (6.24) d eiz + eiz
(z) =
dz dz 2
d [ iz ] d [ iz ]
Proposic~ao (4.7.1) dz
e + e
= dz
2
(4.106) e (6.9) i e i e
iz iz
i
=
2 i
eiz eiz
=
2i
(6.25)
= sen(z) ,
6.4. FUNC ~
OES
TRIGONOMETRICAS COMPLEXAS 127
cos(z) = cos(x + i y)
(6.24) ei(x+iy) + ei(x+iy)
=
2
y+ix yix
e +e
=
2
(6.5) 1 y
= e [cos(x) + i sen(x)] + e cos(x) +i sen(x)
y
2 | {z } | {z }
=cos(x) = sen(x)
1 y
= {e [cos(x) + i sen(x)] + ey [cos(x) i sen(x)]}
2
ey + ey ey ey
= cos(x) + i sen(x)
2 2
= cos(y) cos(x) i senh(y) sen(x) ,
cos (z + 2 ) = cos (x + 2 + i y)
(6.28)
= cos(y) cos (x + 2 ) i senh(y) sen(x + 2 )
= cos(y) cos (x) i senh(y) sen(x)
(6.28)
= cos(z) ,
Observacao 6.4.1
128 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
cos(z) = cos(x + i 0)
ei(x+i0) + ei(x+i0)
(6.24)
=
2
eix + eix
=
2
(6.23)
= cos(x) , (6.45)
z 7 cos(z)
x 7 cos(x) ,
{(x , 0) ; x R} C .
z 7 sen(z)
x 7 sen(x) ,
{(x , 0) ; x R} C .
3. Tendo-se as func~oes cosseno e seno complexas (dadas por (6.24) e (6.25), respec-
tivamente), poderemos denir as outras func~oes trigonometicas complexas.
Mais precisamente, temos a:
Definicao 6.4.2
6.4. FUNC ~
OES
TRIGONOMETRICAS COMPLEXAS 129
{ }
2k + 1
1. para z C \ ; k Z , denimos a tangente de z, denotada por tg(z),
2
como sendo:
. sen(z)
tg(z) = , (6.47)
cos(z)
que, por (6.44), esta bem denido.
Deste modo podemos denir a funcao tangente complexa, dada por
{ }
2k + 1
tg : C \ ; k Z C
2
z 7 tg(z) ,
que, pelo item 10. da Proposic~ao (6.4.1) (ou seja, por (6.44)), esta bem denida.
2. para z C\{k ; k Z}, denimos a cotangente de z, denotada por cotg(z), como
sendo:
. cos(z)
cotg(z) = , (6.48)
sen(z)
que, por (6.43), esta bem denido.
Deste modo podemos denir a funcao cotangente complexa, dada por
cotg : C \ {k ; k Z} C
z 7 cotg(z) ,
que, pelo item 10. da Proposic~ao (6.4.1) (ou seja, por (6.43), esta bem denida.
{ }
2k + 1
3. para z C \ ; k Z , denimos a secante de z, denotada por sec(z),
2
como sendo:
. 1
sec(z) = , (6.49)
cos(z)
que, por (6.44), esta bem denido.
Deste modo podemos denir a funcao secante complexa, dada por
{ }
2k + 1
sec : C \ ; k Z C
2
z 7 sec(z) ,
que, pelo item 10. da Proposic~ao (6.4.1) (ou seja, por (6.44)), esta bem denida.
4. para z C \ {k ; k Z}, denimos a cossecante de z, denotada por cossec(z),
como sendo:
. 1
cossec(z) = , (6.50)
sen(z)
que, por (6.43), esta bem denido.
130 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
Proposicao 6.5.1
1. As func~oes cosseno hiperbolico e seno hiperbolico, dadas por (6.55) e (6.56), s~ao
func~oes inteiras.
Alem disso, para cada z C, temos:
d cosh
(z) = senh(z) , (6.57)
dz
d senh
(z) = cosh(z) ; (6.58)
dz
5. para z1 , z2 C, temos:
7.
Demonstracao:
Faremos a demonstrac~ao de alguns itens.
Os que restarem ser~ao deixados como exerccio para o leitor.
Notemos que, do fato que a func~ao
z 7 z
z 7 ez
e inteira.
Logo, segue da Proposic~ao (4.7.1) que a func~ao cosh, dada por (6.55), sera uma func~ao
inteira.
Alem disso, para cada z C, teremos:
[ ]
d cosh (6.55) d ez + ez
(z) =
dz dz 2
d z d z
Proposic~ao (4.7.1) dz
[e ] + [e ]
= dz
2
z z
(4.106) e (6.9) e e
=
2
(6.55)
= senh(z) ,
Observacao 6.5.1
Definicao 6.5.2
136 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
{ }
2k + 1
1. para z C\ i; k Z , denimos a tangente hiperbolica de z, deno-
2
tada por tgh(z), como sendo:
. senh(z)
tgh(z) = , (6.72)
cosh(z)
que, pelo item 7. da Proposic~ao (6.5.1) (ou seja, por (6.69)), esta bem denida.
cotgh : C \ {k i ; k Z} C
z 7 cotgh(z) ,
que, pelo item 7. da Proposic~ao (6.5.1) (ou seja, por (6.68), esta bem denida.
{ }
2k + 1
3. para z C\ i; k Z , denimos a secante hiperbolica de z, denotada
2
por sech(z), como sendo:
. 1
sech(z) = , (6.74)
cosh(z)
que, por (6.69), esta bem denido.
Deste modo podemos denir a funcao secante hiperbolica complexa, dada por
{ }
2k + 1
sech : C \ i; k Z C
2
z 7 sech(z) ,
que, pelo item 7. da Proposic~ao (6.5.1) (ou seja, por (6.69)), esta bem denida.
6.5. FUNC ~
OES
HIPERBOLICAS COMPLEXAS 137
que, pelo item 7. da Proposic~ao (6.5.1) (ou seja, por (6.68), esta bem denida.
Proposicao 6.5.2
d tgh
(z) = sech2 (z) , (6.76)
dz
d sech
(z) = sech(z) tgh(z) , (6.77)
dz
{ }
2k + 1
para zC\ i; k Z .
2
2. As func~oes cotangente hiperbolica e cossecante hiperbolica complexas, cujas leis
de associac~ao s~ao dadas por (6.73) e (6.75), respectivamente s~ao holomorafas em
C \ {k i ; k Z} e, al
em disso, teremos:
d cotgh
(z) = cossech2 (z) , (6.78)
dz
d cossech
(z) = cossech(z) cotgh(z) , (6.79)
dz
para z C \ {k i ; k Z}.
Demonstracao:
As demonstraco~es s~ao consequ^encia do item 1. da Proposic~ao (6.5.1), do item 4. da
Proposic~ao (4.7.1) e de (6.63).
Deixaremos os detalhes como exerccio para o leitor.
Notemos que:
138 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
Observacao 6.5.2
{ }
2k + 1
1. Fazendo z = x+i0 C\ ; k Z (ou seja, y =. 0) em (6.72), obteremos
2
tgh(z) = tgh(x + i 0)
(6.72) senh(x + i 0)
=
cosh(x + i 0)
senh(x)
=
cosh(x)
= tgh(x) ,
- x
zo = xo
zo = xo () R R .
Notemos que, t~ao proximo de zo , temos pontos z1 e z2 , que s~ao t^em forma polar
dadas por:
|xo | ei() = z1
- x
z o = xo
|xo | ei(+) = z2
isto e, para cada > 0, o ponto z2 , dado por (6.90), que dista do ponto zo , menos
que , e levado, pela func~ao Log, em valores (a saber, Log(z2 )) que dista mais
que 2 , do valor da func~ao Log no ponto zo (isto e, Log(zo )), ou ainda, pontos
arbitrariamente proximos do ponto zo (dado por (6.87)), ser~ao levados, pela func~ao
Log, em pontos que n~ao estar~ao proximos do valor Log(zo ).
Isto mostra que a func~ao Log n~ao sera contnua no conjunto (6.86).
6. Em particular, segue do item 5. acima e da Proposic~ao (4.6.1), que a func~ao Log
n~ao e diferenciavel no seu domnio de denic~ao, ou seja, em C \ {O}.
1.09.2015 - 8.a
Apesar dos itens 5. e 6. da Observac~ao (6.6.2) acima, podemos restrigir o domnio de
denic~ao da func~ao Log para que ela torne-se uma func~ao holomorfa nesse novo domnio de
denic~ao, mais precisamente, temos a:
Proposicao 6.6.1 Consideremos
.
S = C \ {(x , 0) C ; x 0}
= C \ {r ei ; r [0 , )} , (6.93)
6.6. FUNC ~ LOGARITMO COMPLEXO
AO 143
para cada (r , ) (0 , ) ( , ).
Notemos que as funco~es U e V s~ao contnuas e suas derivadas parciais de primeira ordtem
s~ao contnuas em (0 , ) ( , ) (na verdade pertencem a C ((0 , ) ( , ) ; R)) e,
alem disso, para cada (r , ) (0 , ) ( , ), temos
U (6.95)
(r , ) = [ln(r)]
r r
1
= , (6.97)
r
U (6.95)
(r , ) = [ln(r)]
= 0, (6.98)
V (6.96)
(r , ) = []
r r
= 0, (6.99)
V (6.96)
(r , ) = []
= 1. (6.100)
para cada
z = r ei S , (6.101)
144 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
=cos() =i sen()
d Log (4.197) z }| { z }| { [ U V
]
(z) = [ cos() i sen()] (r , ) + i (r , )
dz r r
[ ]
(6.97) e (6.99) 1
= [cos() + i sen()] +i0
r
1
= ei
r
1
=
r ei
(6.101) 1
= ,
z
Observacao 6.6.3
z 7 log(z)
ser multivalente (ou seja, n~ao ser func~ao) seria considerar uma outra restriac~ao
para (6.83).
.
So = (0 , ) (o , o + 2 ) ,
.
Do = C \ {r eio ; r (0 , )} ,
- x
2. Pode-se mostrar que a func~ao logo : Do C, dada por (6.102), e uma func~ao
holomorfa em Do e, alem disso
d logo 1
(z) = , para cada z Do . (6.103)
dz z
A vericac~ao deste fatos sera deixada como exerccio para o leitor.
3. Baseado nos itens 1. e 2. acima, podemos denir uam innidade de func~oes
do tipo logaritmo utilizando a relac~ao (6.83) (bastando para isto variar o R) e
cada uma destas func~oes sera uma func~ao holomorfa no seu respectivo domnio
de denic~ao.
4. Notemos que a func~ao Log (o valor principal de log), denida (6.84), corresponde
a
.
o = 0 .
Temos tambem a:
Observacao 6.6.4
contera todos os pontos singulares da func~ao Log e sera denominada corte de ramo.
3. Em geral, para cada o R xado, a semi-reta (veja gura abaixo)
{(r , o ) ; r (0 , )} ,
contera todos os pontos singulares da func~ao logo , dada por (6.102), e tambem
sera denominada corte de ramo.
4. o ponto
.
zo = O ,
comum a todos os cortes de ramo do logaritmo, sera denominado ponto de ramifica-
cao ou no de ramo, do logaritmo.
corte de ramo de log, correspondente a o
6
corte de ramo de log, correspondente a o =0
U -
Proposicao 6.6.2
2. para w C, temos
Log[exp(w)] = w , (6.105)
para escolha conveniente de w (veja (6.112)).
6.6. FUNC ~ LOGARITMO COMPLEXO
AO 147
3. Se z1 , z2 C \ {O}, temos
Log(z1 z2 ) = Log(z1 ) + Log(z2 ) , (6.106)
( )
z1
Log = Log(z1 ) Log(z2 ) . (6.107)
z2
Demonstracao:
Faremos a demonstrac~ao de alguns dos itens acima.
Os restantes ser~ao deixados como exerccio para o leitor.
Notemos que, se z C \ {O} tem forma polar dada
z = r ei , (6.111)
exp(w) = O .
z 7 exp(z)
w = x + i , (6.112)
148 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
como x (0 , ) e ( , ].
Portanto
(6.112)
Log[exp(w)] = Log [exp(x + i )]
(6.10)
= Log [ex exp(i )]
(6.84)
= ln(ex ) + i
=x+i
(6.112)
= w,
mostrando a validade da identidade (6.105).
Observacao 6.6.5
1. As propriedades exibidas nos itens 1. e 2. da Proposic~ao (6.6.2) acima (ou melhor,
as identidades (6.104) e (6.105)), nos dizem que as func~oes
.
exp : D = {z = x + i y ; x (0 , ) e ( , ]} C \ {O}
e Log : C \ {O} D ,
admitem func~ao inversa, ou ainda, uma e a func~ao inversa associada a outra.
2. A propriedade do item 1. da Proposic~ao (6.6.2) acima permace valida para os
outros ramos do logaritmo (dado por (6.83)).
A vericac~ao deste fato sera deixada como exerccio para o leitor.
3. Para outro ramo considerado do logaritmo (dado por (6.83)) temos que fazer al-
gumas adpatac~oes nos outros itens da Proposic~ao (6.6.2) acima.
Em geral, se w C, temos que
log[exp(w)] = {w + 2 k i ; k Z} , (6.113)
onde o lado esquerdo da identidade acima e para ser encarada como o conjunto
formado por todos os valores da express~ao em quest~ao.
De modo semelhante, teremos para m Z, n Z \ {0}, z , z1 , z2 C \ {O}, temos
log(z1 z2 ) = log(z1 ) + log(z2 ) , (6.114)
( )
z1
log = log(z1 ) log(z2 ) , (6.115)
z2
log (zm ) = m log(z) , (6.116)
( m) m
log z n = log(z) , (6.117)
n [ ]
m
= exp log(z) , (6.118)
m
zn
n
onde as igualdades acima s~ao vistas como igualdades de conjuntos.
Deixaremos a vericac~ao deste fatos como exerccio para o leitor.
6.6. FUNC ~ LOGARITMO COMPLEXO
AO 149
Resolucao:
Notemos que
[ ]
(6.118) 2
= exp log(1)
2
1 3
3
{ }
1=1[cos(2 k ,)+i sen(2 k )] e (6.83) 2
= exp [ln(1) + i 2 k ]
3
[ ]
ln(1)=0 4
= exp k i , (6.119)
3
para cada k Z.
Observemos que para:
k = 0, de (6.119), teremos:
[ ]
4
exp 0 i = cos(0) + i sen(0) = 1 ,
3
k = 1, de (6.119), teremos:
[ ] [ ]
4 4
exp 1 i = exp i ,
3 3
k = 2, de (6.119), teremos:
[ ] [ ]
4 8
exp 2 i = exp i ,
3 3
k = 3, de (6.119), teremos:
[ ]
4
exp 3 i = exp [4 i] = 1 ,
3
Logo { [ ] [ ]}
4 8
1 , exp i , exp (6.120)
2
1 =3 i .
3 3
Observacao 6.7.2
para cada k Z.
6.7. POTENCIAC ~ COMPLEXA COM BASE OU EXPOENTE COMPLEXOS E VARIAVEIS
AO 151
para cada k Z.
Temos a:
Observacao 6.7.3
1. Suponhamos que o R esta xado, e z C \ {O}, possui um forma polar dada por
z = r ei ,
para (r , ) (0 , ) (o , o + 2 ).
Ent~ao, (veja os itens 1. e 2. da Observac~ao (6.6.3)) temos que
logo (z) = ln(r) + i , (6.123)
ou seja,
d zc
= c zc1 , para cada z C \ {O} . (6.124)
dz
152 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
3. Em particular, se o =. , a func~ao
.
zc = exp [c Log(z)] , para cada z C \ {O} , (6.125)
Resolucao:
Observemos que
(6.125)
(i)i = exp [i Log(i)]
i=1[cos( +i sen( e (6.84) { [ ]}
2) 2 )]
= exp i ln(1) i
2
ln(1)=0 e i2 =1
= e2 .
z = r ei , (6.126)
Temos a:
Observacao 6.7.4
6.7. POTENCIAC ~ COMPLEXA COM BASE OU EXPOENTE COMPLEXOS E VARIAVEIS
AO 153
c = rc eic , (6.128)
para (rc , c ) (0 , ) (o , o + 2 ).
Logo, se z C \ {O}, teremos
(6.127) [ ]
cz = exp z logo (c)
(6.128) e (6.102)
= exp {z [ln(rc ) + i c ]} . (6.129)
dada por (6.129), sera holomorfa no seu domnio de denic~ao e, alem disso, para
z C \ {O}, teremos:
d cz (6.129) d { }
= exp[z logo (c)]
dz dx
(4.106) d d [ ]
= [exp(w)] z logo (c)
dw w=zlogo (c) dz
[ ]
= exp z logo (c) logo (c)
(6.129)
= logo (c) cz ,
ou seja,
d cz
= logo (c) cz , para cada z C \ {O} . (6.130)
dz
.
4. Em particular, se o = , a func~ ao
.
cz = exp [z Log(c)] , para cada z C \ {O} , (6.131)
iz
1+ ( )1
1 z2 2
= ( )1
i z + 1 z2 2
( )1
1 z2 2 + i z
( )1
1 z2 2
= ( )1
i z + 1 z2 2
1
=( )1 ,
1 z2 2
156 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
ou seja,
d arcsen 1
(z) = ( )1 , (6.139)
dz 1 z2 2
para z C \ {1 , 1}.
3. Em alguns livros encontramos a seguinte notac~ao;
.
sen1 (z) = arcsen(z) , para cada z C .
.
Denotando-se: X = eiw , (6.141)
(6.140) sera a equac~ao do 2.o grau: X 2 z X + 1 = 0,
2
( ) 21
. 2z+ 4z 4
2
cujas soluc~oes, por Bhaskara, sera: X=
2
. ( 2 )1
ou ainda: X=z+ z 1 2 . (6.142)
ou seja,
d arccos i
(z) = ( )1 , (6.146)
dz z2 1 2
para z C \ {1 , 1}.
3. Em alguns livros encontramos a seguinte notac~ao;
.
cos1 (z) = arccos(z) , para cada z C .
Observacao 6.8.5
{ }
2k + 1
1. Notemos que se w C \ ; k Z e z C \ {i}, satisfazem:
2
z = tg(w)
(6.47) sen(w)
= ,
cos(w)
(6.24)e (6.25) 1 eiw eiw
= iw ,
i e + eiw
( iw )
ou seja, i z e + eiw = eiw eiw ,
( )
ou ainda, i z e2iw + 1 = e2iw 1
e2iw (1 i z) = 1 + i z ,
1+iz
ou seja, e2iw = ,
1 i (z )
1+iz
ou ainda, 2 i w = log ,
1iz
assim teremos
( )
1 1+iz
w= log
2i 1iz
[( )1 ]
i 1iz
= log
2 1+iz
( )
(6.108) i 1iz
= log
2 1+iz
( )
i i i + z
= log
2 i i z
( )
i i+z
= log (6.147)
2 iz
Observacao 6.8.6
1. Notemos que a relac~ao (6.149) e multivalente, ou seja, n~ao e func~ao.
Para resolver este problema precisamos escolher um ramo do logaritmo para que
torne-se uma func~ao.
2. Na situac~ao do item 1. acima (ou seja, quando a relac~ao (6.149) denir uma
func~ao), teremos uma func~ao holomorfa em C \ {i , i} (pois sera um composic~ao
de func~oes holomorfas nos seus respeticvos domnios de denic~ao).
Alem disso, para cada z C \ {i , i} e da Proposic~ao (4.7.2) e (6.103), teremos:
[ ( )]
d arctg (6.149) d i i+z
(z) = log
dz dz 2 iz
i 1 1 (i z) (i + z) (1)
=
2 i+z (i z)2
iz
i 2i
=
2 (i + z) (i z)
1
= ,
1 + z2
ou seja,
d arctg 1
(z) = , (6.150)
dz 1 + z2
para z C \ {i , i}.
3. Em alguns livros encontramos a seguinte notac~ao;
.
tg1 (z) = arctg(z) , para cada z C .
Temos tambem a:
Observacao 6.8.7
1. Notemos que se w C \ {k ; k Z} e z C \ {i}, satisfazem:
z = cotg(w)
(6.48) cos(w)
= ,
sen(w)
(6.24) e eiw + eiw
(6.25)
= i ,
eiw eiw
( )
ou seja, i z eiw eiw = eiw + eiw ,
( )
ou ainda, i z e2iw 1 = e2iw + 1
e2iw (1 + i z) = i z 1 ,
iz1
ou seja, e2iw = ,
i z +(1 )
iz1
ou ainda, 2 i w = log ,
iz+1
160 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
assim teremos
( )
1 iz1
w= log
2i iz+1
( )
i i z+i
= log
2 i zi
( )
i z+i
= log . (6.151)
2 zi
2
2
= iw ,
e + eiw
( )
ou seja, z eiw + eiw = 2 ,
( )
ou ainda, z e2iw + 1 = 2 eiw ,
ou seja, e2iw z + 2 eiw + z = 0 ,
. iw
considerando-se X = e , teremos: z X2 2 X + z = 0 ,
( )1
. 2+ 44z
2 2
cujas soluc~oes, por Bhaskara, sera: X=
2z
( )1
2 2
. 1+ 1z
ou ainda: X= . (6.155)
z
Com isto teremos
eiw = X
( )1
1 + 1 z2 2
(6.155)
= ,
z ( )1
2 2
1+ 1z
logo, i w = log ,
z
( )1
2 2
1+ 1z
ou ainda, w = i log .
z
ou seja,
d arcsec 1
(z) = ( )1 , (6.159)
dz z 1 z2 2
para z C \ {1 , O , 1}.
3. Em alguns livros encontramos a seguinte notac~ao;
.
sec1 (z) = arcsec(z) , para cada z C .
Observacao 6.8.11
e injetora.
Ent~ao a func~ao f : D f(D) admite func~ao inversa, denotada por f1 : f(D) D,
que sera um func~ao diferenciavel em wo =. f(zo ) e, alem disso, teremos:
d f1 1
(wo ) = . (6.162)
dw d f
(zo )
dz
Demonstracao:
A demonstrac~ao e semelhante a correspondente para o caso de funco~es de uma varivael
real, a valores reais.
Devido a este fato sera deixada como exerccio para o leitor.
Apliquemos o resultado acima ao:
Exemplo
{ 6.8.1 Estude} a diferenciabilidade da func~ao inversa associada a func~ao f :
(2 k + 1)
C\ ; k Z C, dada por
2
{ }
. (2 k + 1)
f(z) = sen(z) , para cada z C \ ; k Z . (6.163)
2
164 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
Resolucao: { }
(2 k + 1)
Notemods que a func~ao f e diferenciavel em C \ ; k Z e, alem disso,
2
{ }
(2 k + 1)
f (z) = cos(z) = O , para cada z C \
; k Z .
2
Logo, restringindo-se o domnio da func~ao
.
w = sen(z) , (6.164)
para que a restric~ao obtida seja injetora, do Teorema (6.8.1) segue que a func~ao inversa
associada a esta restric~ao, que indicaremos por arcsen, sera uma func~ao diferenciavel em seu
respectivo domnio e, alem disso, teremos
d arcsen (6.162) 1
(w) =
dw d sen
(z)
dz
(6.27) 1
=
cos(z)
(6.36) 1
= { }1
1 [ sen(z)]2 2
(6.164) 1
= ( )1 ,
1 w2 2
que coincide com a exepress~ao obtida em (6.139).
Para nalizar temos a:
onde { ( )1 }
.
D = z C ; z + z2 + 1 2 = O .
a relac~ao dada pela equac~ao (6.165), denira um func~ao, que indicaremos por
arcsenh, denominada funcao arco seno hiperbolico .
3. Para z D C, denimos o arco cosseno hiperbolico de z, denotado por arccosh(z),
como sendo [ ( )1 ]
.
arccosh(z) = log z + z2 1 2
, (6.166)
onde { ( 2 ) 12 }
.
D = z C ; z + z 1 = O .
a relac~ao dada pela equac~ao (6.166), denira um func~ao, que indicaremos por
arcsenh, denominada funcao arco cosseno hiperbolico.
5. Para z D =. {z C ; z = 1} C, denimos o arco tangente hiperbolico de z,
denotado por arctgh(z), como sendo
[ ]
. 1 1+z
arctgh(z) = log . (6.167)
2 1z
a relac~ao dada pela equac~ao (6.167), denira um func~ao, que indicaremos por
arctgh, denominada funcao arco tangente hiperbolico.
7. De modo semelhante podemos denir
arccotgh(z) , arcsech(z) e arccossec(z) ,
6.10 Exerccios
166 CAPITULO 6. FUNC ~
OES
COMPLEXAS BASICAS
Captulo 7
167
168 CAPITULO 7. INTEGRAL COMPLEXA
Resolucao:
Notemos que se considerarmos as funco~es u , v : [0 , 1] R, dadas por
. .
u(t) = sen(t) e v(t) = et para t [0 , 1] , (7.4)
segue que (visto na disciplina de Calculo 1), as funco~es u e v s~ao contnuas em [0 , 1], logo,
pelo item 1. do Exemplo (7.1.1) e pela Proposic~ao (7.1.1), teremos que elas ser~ao funco~es
integraveis em [0 , 1].
Logo, da Denic~ao (7.1.2), teremos a func~ao F e integravel em [0 , 1] e, de (7.2), teremos:
1 1 b
F(t) dt = u(t) dt + i v(t) dt
0 0 a
1 1
(7.4)
= sen(t) dt + i et dt
0 0
t=1 t=1
Teorema Fundamental do Calculo
= cos(t) +i et
t=0 t=0
= [1 cos(1)] + i (e 1) .
Temos as seguintes propriedades basicas de integrac~ao de funco~es de uma variavel real, a
valores complexos:
Demonstracao:
3.09.2015 - 9.a
170 CAPITULO 7. INTEGRAL COMPLEXA
Notemos que
b
(7.12) io
ro = e F(t) dt
a
b
(7.7)
= eio F(t) dt ,
a
b
em particular, teremos: eio F(t) dt R .
a
Logo
( b )
ro = e io
F(t) dt
a
b
(7.9) ( )
= eio F(t) dt
a
do Calculo 1 b ( )
eio F(t) dt
a
(3.92) b
eio F(t) dt
a
(3.96) b
eio |F(t)| dt
a | {z }
=1
b
|F(t)| dt ,
a
b
ou seja, ro |F(t)| dt . (7.13)
a
x = y2
? -
(0 , 0) = (0 , 0)
.
(t) = (x(t) , y(t)) , para t [0 , 2] , (7.16)
.
x(t) = t , para t [0 , 2]
{
. t, para t [0 , 1]
y(t) = ,
1, para t [1 , 2]
Resolucao:
No caso, as funco~es x , y : [0 , 2] R acima, s~ao contnuas em [0 , 2], logo ([0 , 2]) e um
arco contnuo.
Notemos que o traco da curva parametrizada (ou do arco contnuo) , liga o ponto
(0 , 0) = (0 , 0) ao ponto (2) = (2 , 1) (veja gura abaixo).
A representac~ao geometrica do traco da curva parametrizada (ou do arco contnuo) e
dado pela gura abaixo.
7.2. CAMINHOS NO PLANO COMPLEXO 173
-
(0 , 0) = (0 , 0)
Resolucao:
No caso, as funco~es x , y : [0 , 2 ] R acima, s~ao contnuas em [0 , 2 ], logo ([0 , 2 ]) e
um arco contnuo.
Notemos que o traco da curva parametrizada (ou do arco contnuo) , liga o ponto (0) =
(1 , 0), ao proprio ponto (2 ) = (1 , 0) (veja gura abaixo) e esta contido na circunfer^encia
unitaria centrada na origem, percorrida no sentido anti-horario.
A representac~ao geometrica do traco da curva parametrizada (ou do arco contnuo) e dado
pela gura abaixo.
6
-
(0) = (2 ) = (1 , 0)
Observacao 7.2.2
(b)
6
(t1 ) = (t2 )
(a)
Temos tambem a:
(a) = (b) ,
(t) = (s) , para t , s (a , b) . (7.19)
Neste caso diremos que o arco contnuo e uma curva de Jordan (ou curva fechada
simples).
Temos tambem a:
7.2. CAMINHOS NO PLANO COMPLEXO 175
e (7.18), diremos que o arco de Jordan descrito pelo traco de e um arco suave de
Jordan.
Observacao 7.2.5
2. O Exemplo (7.2.2) n~ao fornece um arco suave de Jordan, pois a func~ao y = y(t),
n~ao e diferenciavel em t = 1.
Resolucao:
No caso, as funco~es x , y : [1 , 1] R acima, pertecem a C ([1 , 1] ; R), mas
(7.21) ( )
(t) = 2 t , 3 t2 , para t [1 , 1] ,
ou seja,
(0) = O ,
(1)(1 , 1)
Com isto temos a:
Definicao 7.2.5 Um arco suave em C, exceto em um n
umero nito de pontos do mesmo,
sera dito um caminho ligando o ponto (a) ao ponto (b).
Observacao 7.2.6 Os Exemplos (7.2.1), (7.2.2), (7.2.3) e (7.2.4) s~ao caminhos em C.
Temos tambem a:
Definicao 7.2.6 Diremos que um caminho em C e um caminho fechado, ligando o
ponto (a) ao ponto (b), se for uma curva de Jordan (ou seja, satisfaz (7.19)).
Observacao 7.2.7
5. Para um caminho fechado (em particular, sera uma curva suave de Jordan) po-
demos ter dois tipos de orientac~ao.
Se em cada pondo do percurso do caminho o interior do domnio limitado deter-
minado pela curva de Jordan fechada car a esquerda, diremos que o caminho
esta orientado positivamente.
Caso contrario, diremos que o caminho esta orientado negativamente.
Exemplo 7.2.5 Notemos que, em cada um dos itens abaixo, temos a seguinte ori-
entac~ao do respectivo caminho:
6 6
(a) = (b)
(a) = (b)
3. O caminho, cuja representac~ao geometrica e dada pela gura abaixo, esta orien-
tado negativamente.
178 CAPITULO 7. INTEGRAL COMPLEXA
(a) = (b)
Definicao 7.3.1
Denimos a integral (de linha) da funcao f, ao longo do caminho C ,
denotada por f(z) dz, como sendo
C
b
.
f(z) dz = f[x(t) + i y(t)] [x (t) + i y (t)] dt
C a | {z } | {z }
=(t) = (t)
b
= f[(t)] (t) dt . (7.27)
a
Temos a:
Observacao 7.3.2
1. Notemos que a integral do lado direito de (7.27) existe, pois as func~oes envolvidas
s~ao seccionalmente contnuas em [a , b].
2. Observemos tambem que a integral da func~ao f ao longo do caminho C , independe
da parametrizac~ao do caminho C considerada.
De fato, consideremos ~ : [c , d] C uma reparametrizac~ao do caminho suave C ,
dada por
~ (t) = (X(r) , Y(r)) , para cada r [c , d] ,
(7.28)
onde as func~oes X , Y : [c , d] R s~ao contnuas e suas derivadas s~ao seccional-
mente contnuas em [c , d], ou seja, existe uma func~ao p : [a , b] [c , d], continua-
7.3. INTEGRAIS DE LINHA COMPLEXAS 181
X(r) = x(p(r) ,
Y(r) = y(p(r)) , para cada r [c , d] . (7.29)
Portanto
b
(7.27) e (7.30)
f(z) dz = {[u(x(t) , y(t)) + i v(x(t) , y(t))] [x (t) + i y (t)]} dt
C a
b
= [u(x(t) , y(t)) x (t) v(x(t) , y(t)) y (t)] dt
a
b
+ i [u(x(t) , y(t)) y (t) + v(x(t) , y(t)) x (t)] dt
a
b b
(u x v y ) dt + i (u y + v x ) dt ,
(7.31)
abreviadamente
=
a a
Uma parametrizac~ao do caminho C pode ser dada pela func~ao : [0 , 2 ] C, dada por
.
(t) = x(t) + i y(t) , para cada t [0 , 2 ] , (7.35)
onde as funco~es x , y : [0 , 2 ] R s~ao dadas por:
.
x(t) = r cos(t) ,
.
y(t) = r sen(t) , para cada t [0 , 2 ] . (7.36)
Notemos que as funco~es s~ao x e y s~ao continuamente diferenciaveis em [0 , 2 ] (na verdade
pertencem a C ([0 , 2 ] ; R)) e para cada t [0 , 2 ], teremos
(7.36)
x (t) = r [ sen(t)]
= r sen(t) ,
(7.36)
y (t) = r cos(t) . (7.37)
7.3. INTEGRAIS DE LINHA COMPLEXAS 183
Logo,
1 (7.35)
dz = f(z) dz
Cr z Cr
2
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
0
2
(7.40) 1
= [x (t) + i y (t)] dt
0 x(t) + i y(t)
2
(7.35) e (7.36) 1
= [r sen(t) + i r cos(t)] dt
0 r cos(t) + i r sen(t)
2
r 1
= [ sen(t) + i cos(t)] dt
0 r cos(t) + i sen(t)
2 [ ]
1 cos(t) i sen(t)
= [ sen(t) + i cos(t)] dt
cos(t) + i sen(t) cos(t) i sen(t)
0
2
1
= [cos(t) i sen(t)] [ sen(t) + i cos(t)] dt
0 cos sen
2 2
| (t) +
{z
(t)
}
=1
2
= [ cos(t) sen(t) + sen(t) cos(t)] + i cos2 (t) + sen2 (t) dt
0 | {z } | {z }
=0 =1
2
= i dt
0
= 2 i, (7.38)
1
ou seja, a integral dz indepente do raio r > 0, da circunfer^encia centrada na origem
Cr z
considerada.
Cr
Uma parametrizac~ao do caminho Cr pode ser dada pela func~ao : [0 , 2 ] C, dada por
.
(t) = x(t) + i y(t) , para cada t [0 , 2 ] , (7.41)
onde as funco~es x , y : [0 , 2 ] R s~ao dadas por:
.
x(t) = r cos(t) ,
.
y(t) = r sen(t) , para cada t [0 , 2 ] . (7.42)
Notemos que as funco~es s~ao x e y s~ao continuamente diferenciaveis em [0 , 2 ] (na verdade
pertencem a C ([0 , 2 ] ; R)) e para cada t [0 , 2 ], teremos
(7.42)
x (t) = r [ sen(t)] (1)
= r sen(t) ,
(7.42)
y (t) = r cos(t) (1)
= r cos(t) . (7.43)
Logo,
1 (7.35)
dz = f(z) dz
Cr z Cr
2
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
0
2
(7.40) 1
= [x (t) + i y (t)] dt
0 x(t) + i y(t)
2
(7.42) e (7.59) 1
= [r sen(t) i r cos(t)] dt
0 r cos(t) + i r sen(t)
2
r 1
= [ sen(t) i cos(t)] dt
0 r cos(t) + i sen(t)
2 [ ]
1 cos(t) i sen(t)
= [ sen(t) i cos(t)] dt
0 cos(t) + i sen(t) cos(t) i sen(t)
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 185
2
1
= [cos(t) i sen(t)] [ sen(t) i cos(t)] dt
|cos (t) + sen2 (t)
2
0 {z }
=1
2
= [cos(t) sen(t) sen(t) cos(t)] i cos2 (t) + sen2 (t) dt
0 | {z } | {z }
=0 =1
2
= i dt
0
= 2 i , (7.44)
1
ou seja, a integral dz indepente do raio da circunfer^encia centrada na origem conside-
Cr z
rada.
Observacao 7.3.4 Notemos que, dos Exemplos (7.3.1) e (7.3.2) temos que as integrais
envolvidas independem do raio da circunfer^encia considerada.
Alem disso temos
1 1
dz = dz ,
Cr z Cr z
os caminhos fechados Cr e Cr t^em mesma representac~ao geometrica, mas s~ao percorridos
em sentidos contrarios.
2. temos que:
(k f)(z) dz = k f(z) dz ; (7.46)
C C
3. temos que:
(f + g)(z) dz = f(z) dz + g(z) dz ; (7.47)
C C C
4. temos que:
(f g)(z) dz = f(z) dz g(z) dz ; (7.48)
C C C
Demonstracao:
Faremos a demonstrac~ao do item 1.
A demonstrac~ao dos outros itens ser~ao deixadas como exerccio para o leitor.
Suponhamos que : [a , b] C e uma parametrizac~ao do caminho C .
Deste modo, uma parametrizac~ao do camihno C pode ser dada por : [b , a] C,
onde
.
(t) = (t) , para cada t [b , a] , (7.53)
logo
.
(t) = (t) , para cada t [b , a] , (7.54)
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 187
a
(7.27)
f(z) dz = f[(t)] (t) dt
C b
a
(7.53),(7.54)
= f[(t)] [ (t)] dt
b
.
s = t , logo: ds = dt
t = b , teremos: s = b
t = a , teremos: s = a a
= f[(s)] (s) (ds)
a b
= f[(s)] (s) ds
b
b
= f[(s)] (s) ds
a
(7.27)
= f(z) dz ,
C
Resolucao:
.
Notemos que a func~ao f : D = C C, sera dada por
.
f(z) = z2 , para cada z D . (7.56)
6
z1 = 2 + i
C1
-
zo = O
Uma parametrizac~ao do caminho C1 pode ser dada pela func~ao : [0 , 1] C, dada por
.
(t) = x(t) + i y(t) , para cada t [0 , 1] , (7.57)
Logo,
2 (7.35)
z dz = f(z) dz
C1 C1
1
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
0
1
(7.62)
= [x(t) + i y(t)]2 [x (t) + i y (t)] dt
0
1
(7.57) e (7.58)
= (2 t + i t)2 (2 + i) dt
0
1
( 2 )
= 4 t t2 + i 4 t2 [2 + i] dt
0
1
( 2 )
= (2 + i) 3 t + i 4 t2 dt
0
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 189
1
= (2 + i) (3 + 4 i) t2 dt
0
1
= (2 + i) (3 + 4 i)
3
2 11
= + i,
3 3
Portanto
2 11
z2 dz = + i. (7.60)
C1 3 3
Temos tambem o:
Exemplo 7.4.2 Calcular
z2 dz , (7.61)
C2
onde o caminho C2 e a reuni~ao dos segmento de reta que unem o ponto zo =. O ao ponto
.
z1 = 2 e do ponto z1 = 2 ao ponto z2 = 2 + i, orientados segundo este percurso.
Resolucao:
.
Notemos que a func~ao f : D = C C, sera dada por
.
f(z) = z2 , para cada z D . (7.62)
C2
-
zo = O z1 = 2
Denotemos por C21 e C22 , os caminhos relacionado com os segmentos de reta segmento que
. .
unem o ponto zo = O ao ponto z1 = 2 e do ponto z1 = 2 ao ponto z2 = 2 + i, orientados
segundo este percurso, respectivamente.
190 CAPITULO 7. INTEGRAL COMPLEXA
Parametrizaco~es dos caminhos C21 e C22 podem ser dadas pelas funco~es 1 : [0 , 2] C e
2 : [0 , 1] C, dadas por
.
1 (t) = x1 (t) + i y1 (t) , para cada t [0 , 2] , (7.63)
.
2 (t) = x2 (t) + i y2 (t) , para cada t [0 , 1] , (7.64)
0 0
2 1
( )
= t2 dt + 4 t2 + 4 t i (0 + 1 i) dt
0 0
Exerccio 2 11
= + i.
3 3
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 191
Portanto
2 11
z2 dz = + i. (7.69)
C2 3 3
Observacao 7.4.1 Notemos que, dos Exemplos (7.4.1) e (7.4.2), temos que
f(z) dz = f(z) dz ,
C1 C2
Resolucao:
Notemos que,do item 5. da Proposic~ao (7.4.1), temos que
2 C=C1 C2 e (7.49) 2
z dz = z dz + z2 dz
C
( C1 ) C2( )
(7.60) e (7.69) 2 11 2 11
= + i + + i
3 3 3 3
= 0,
ou seja,
z2 dz = 0 . (7.71)
C
Observacao 7.4.2 Veremos, na proxima sec~ao, que tanto o que foi alertado na Ob-
servac~ao (7.4.1), quanto o que ocorreu acima (em (7.71)), esta ligado ao fato que a
func~ao
z 7 z2
6
z1 = 1 + i
-
zo = O zo = 2
Temos tambem o:
Exemplo 7.4.4 Calcular
z dz , (7.72)
C1
-
z1 = 1 zo = 1
Uma parametrizac~ao do caminho C1 pode ser dada pela func~ao : [0 , ] C, dada por
.
(t) = x(t) + i y(t) , para cada t [0 , ] , (7.74)
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 193
(7.75)
x (t) = sen(t)
(7.75)
y (t) = cos(t) . (7.76)
Logo,
(7.35)
z dz = f(z) dz
C1
C1
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
0
(7.72)
= [x(t) i y(t)] [x (t) + i y (t)] dt
0
(7.75) e (7.76)
= [cos(t) i sen(t)] [ sen(t) + i cos(t)] dt
0
{ }
= cos(t) [ sen(t)] + sen(t) cos(t) + i [cos2 (t) + sen2 (t) dt
0
= i dt
0
= i,
ou seja,
z dz = i . (7.77)
C1
Consideremos agora o:
Resolucao:
A gura abaixo nos fornece uma representac~ao geometrica do caminho C2 .
194 CAPITULO 7. INTEGRAL COMPLEXA
z1 = 1 zo = 1
-
C2
Uma parametrizac~ao do caminho C2 pode ser dada pela func~ao : [ , 2 ] C, dada por
.
(t) = x(t) + i y(t) , para cada t [ , 2 ] , (7.79)
onde as funco~es x , y : [ , 2 ] R s~ao dadas por:
.
x(t) = cos(t) ,
.
y(t) = sen(t) , para cada t [ , 2 ] . (7.80)
Notemos que as funco~es s~ao x, y s~ao continuamente diferenciavel em [ , 2 ] (na verdade
pertencem a C ([ , 2 ] ; R)) e para cada t [ , 2 ], teremos
(7.80)
x (t) = sen(t)
(7.80)
y (t) = cos(t) . (7.81)
Logo,
(7.35)
z dz = f(z) dz
C2 C2
2
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
2
(7.72)
= [x(t) i y(t)] [x (t) + i y (t)] dt
2
(7.80) e (7.81)
= [cos(t) i sen(t)] [ sen(t) + i cos(t)] dt
2
{ }
= cos(t) [ sen(t)] + sen(t) cos(t) + i [cos2 (t) + sen2 (t) dt
2
=i dt
= i,
ou seja,
z dz = i . (7.82)
C2
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 195
ou seja,
z dz = 2 i = O . (7.84)
C
Notemos que a func~ao
z 7 z ,
naoe holomorfa em nenhum ponto de C.
A representac~ao geometrica do caminho C , exibido no Exemplo (7.4.3), e dado pela
gura abaixo.
6
onde
. .
D = C , se n Z+ = N {0} ,
.
D = C \ {zo } , se n Z ,
zo r
-
Cr
Se
.
zo = xo + i yo , (7.87)
temos que uma parametrizac~ao do caminho fechado Cr , pode ser dada pela func~ao :
[0 , 2 ] C, dada por
.
(t) = x(t) + i y(t) , para cada t [0 , 2 ] , (7.88)
.
x(t) = xo + r cos(t) ,
.
y(t) = yo + r sen(t) , para cada t [0 , 2 ] . (7.89)
(7.36)
x (t) = r [ sen(t)]
= r sen(t) ,
(7.36)
y (t) = r cos(t) . (7.90)
7.4. PROPRIEDADES DA INTEGRAL DE LINHA COMPLEXA 197
Logo,
n (7.35)
(z zo ) dz = f(z) dz
Cr Cr
2
(7.27)
= f[x(t) + i y(t)] [x (t) + i y (t)] dt
0
2
(7.86),(7.89),(7.90)
= {[xo + r cos(t) + i yo + i r sen(t)] [xo + i yo ]}n
0
[r sen(t) + i r cos(t)] dt
2
= {r cos(t) + i r sen(t)]n [r sen(t) + i r cos(t)] dt
0
2
=r n+1
[cos(t) + i sen(t)]n [ sen(t) + i cos(t)] dt
O | {z }
=i[cos(t)+i sen(t)]
2
= rn+1 i [cos(t) + i sen(t)]n+1 dt
O | {z }
=eit
2
( )n+1
= rn+1 i eit dt
0
2
= rn+1 i ei(n+1) t dt
0
2
= rn+1 i {cos[(n + 1) t] + i sen[(n + 1) t]} dt . (7.91)
0
Notemos que, se
n = 1 ,
teremos:
2
sen[(n + 1) t] t=2
cos[(n + 1) t] dt =
0 n+1 t=0
= 0, (7.92)
2 t=2
cos[(n + 1) t]
sen[(n + 1) t] dt =
0 n+1 t=0
Exercicio
= 0. (7.93)
Por outro lado, se
n = 1 ,
teremos:
2 2
cos[0 t] dt = 1 dt
0 0
= 2, (7.94)
2
sen[0 t] dt = 0 . (7.95)
0
198 CAPITULO 7. INTEGRAL COMPLEXA
Observacao 7.4.4
z 7 (z zo )n
e holomorfa em C e
(z zo )n dz = O .
Cr
Observacao 7.5.1
Ent~ao as func~oes
u u v v
, , e
x y x y
ser~ao func~oes contnuas em U e, para cada z = x + i y R, valem as condic~oes
de Cauchy-Riemann, ou seja,
u v
(x , y) = (x , y) (7.98)
x y
u v
(x , y) = (x , y) , (7.99)
y x
para (x , y) U.
Aplicando-se o Teorema de Green as func~oes
.
P=u e Q =. v ,
obteremos
I ( )
v u
(u dx v dy) = dx dy
C x y
R
(7.99)
= 0 dx dy
R
= 0. (7.100)
ou seja,
I
f(z) dz = 0 . (7.102)
C
200 CAPITULO 7. INTEGRAL COMPLEXA
2. O resultado acima foi obtido por Cauchy, no incio do seculo retrasado (seculo
XIX).
3. O matematico franc^es Goursat (1858 a 1942) mostrou, mais tarde, que a hipotese
sobre a continuidade da func~ao f pode ser retirada.
Resolucao:
Notemos que as funco~es f , g , h : C C, dadas por
.
f(z) = 1 ,
.
g(z) = z ,
.
h(z) = z2 , para cada z C ,
Lema 7.5.1 Nas condic~oes do Teorema (7.5.1) (ou seja, do Teorema de Green), se a
func~ao complexa f : U C e holomorfa em U, dado > 0, podemos dividir a regi~ao R
em um numero nito de quadrado e "quadrados parciais" fechados, que denotaremos
por Rj , para j {1 , 2 , , n}, cuja fronteira sera indicada por Cj , de modo que, para
cada j {1 , 2 , n}, existe zj Rj , de modo que, para todo z Rj \ {zj }, teremos:
f(z) f(zj )
f
(z ) < . (7.105)
z zj j
Demonstracao:
Dividamos a regi~ao R, por meio de retas paralelas aos eixos coordenados, de modo a cobrir
a regi~ao por um numero nito de quadrados, cujos lados tem o mesmo comprimento.
Notemos que, deste forma, obteremos uma decomposic~ao da regi~ao R em um numero nito
de quadrados e "quadrados parciais" fechados (pois a regi~ao R e limitada e fechada, ou seja,
um subconjunto compacto de R2 ).
A gura abaixo ilustra, geometricamente, os quadrados e "quadrados parciais" fechados.
R
6
Cj
quadrado parcial
Rj
U
-
zo
Facamos isto para todos os quadrados ou quadrados parciais que n~ao tem a propriedade
(7.105) (que ser~ao um numero nito)
A gura abaixo ilustra, geometricamente, as duas situaco~es acima.
R
6
dividir um quadrado parcial em "quatro iguais"
C
Se Rjo for um quadrado parcial, denotemos por Rjo o quadrado tal que
Ro = Qjo R .
Notemos que, como Rjo n~ao possue a propriedade (7.105), dividindo-se Qo em quatro
quadrados, cujos lados tem comprimentos iguais, segue que, pelo menos um desses novos
quadrados contem, pelo menos, um ponto de R que n~ao tem a a propriedade (7.105).
Denotemos um desse tais quadrados por Q1 .
Dividindo-se Q1 em quatro quadrados, cujos lados tem comprimentos iguais, segue que,
pelo menos um desses novos quadrados contem, pelo menos, um ponto de R que n~ao tem a
propriedade (7.105).
Prosseguindo o processo, para cada k N, denotemos por Qk , um dos quatro quadrados
da divis~ao de Qk1 , em quatro quadrados, que contem ponto, pelo menos, um ponto de R,
que n~ao possue a propriedade (7.105).
7.5. TEOREMA DE CAUCHY-GOURSAT 203
Notemos que cada quadrado Qk , para k N, esta contido antecedente Qk1 , ou seja
Qk Qk1 ,
e tera comprimento do seu lado igual a metade do comprimento do lado do quadrado Qk1 e
Qk R = .
ou seja, existe ( )
zo Qk R,
kN
ou seja, ( )
zo Qk R, para todo k N . (7.107)
kN
Notemos que, para cada > 0 xado, de (7.107) e (7.106), a vizinhanca V(zo ; ) contem
um quadrado da sequ^encia (Qk )kN , cuja diagonal e menor do que . (*)
Assim, para cada > 0 xado, a vizinhanca V(zo ; ) contem pontos de R e portanto, o
ponto zo e um ponto de acumulac~ao de R.
Como o conjunto R e fechado, devermos ter zo R.
Como a func~ao f e holomorfa em zo R U, dado > 0, podemos encontrar o > 0, de
modo que
f(z) f(zo )
f
(z ) < ,
z zo o
para z V(zo ; o ) \ {zo }.
Mas a vizinhanca V(zo ; o ) contem um quadrado ou quadrado parcial Qkj , para algum
kj N, sucientemente grande (onde o comprimento de sua diagonal e menor que o - veja
(*)).
.
Logo, o ponto zo Qkj R tem a proriedade (7.105) (com zj = zo ), o que sera uma
contradic~ao, pois nenhum quadrado ou quadrado parcial Qk , tem a proriedade (7.105), com-
pletando a demonstrac~ao do resultado.
Passemos agora a demonstrac~ao do Teorema (7.5.2) (ou seja, do Teorema de Cauchy-
Goursat):
Mostraremos que, dado > 0, temos que
I
f(z) dz < , (7.108)
C
204 CAPITULO 7. INTEGRAL COMPLEXA
f(z) f(zj ) f (zj ) , para z Rj \ {zj } ,
.
j (z) = z zj (7.109)
0 , para z = zj ,
(7.109)
j (zj ) = 0
|j (z) j (zj )| = |j (z)|
(7.109) f(z) f(zj )
f (zj )
z zj
(7.105)
< , (7.110)
f(z) f(zj )
j (z) = f (zj ) ,
z zj
f(z) f(zj )
ou seja, = j (z) + f (zj ) ,
z zj
ou ainda, f(z) f(zj ) = j (z) (z zj ) + f (zj ) (z zj ) ,
isto e, f(z) = f(zj ) + j (z) (z zj ) + f (zj ) (z zj ) . (7.111)
Para cada j {1 , 2 , , n}, do Exemplo (7.5.1) (ou ainda de (7.103)), segue que
I
dz = 0 ,
Cj
I
e z dz = 0 . (7.112)
Cj
7.5. TEOREMA DE CAUCHY-GOURSAT 205
I I
(7.111)
f(z) dz = [f(zj ) + j (z) (z zj ) + f (zj ) (z zj )] dz
Cj Cj
I I I
= f(zj ) dz + j (z) (z zj ) dz + f (zj ) (z zj ) dz
Cj Cj Cj
I I I
= f(zj ) dz + j (z) (z zj ) dz + f (zj ) (z zj ) dz
Cj Cj Cj
| {z }
(7.11)
I = 0
I I
= j (z) (z zj ) dz + f (zj ) z dz| f (zj ) zj dz
Cj Cj Cj
| {z }
(7.11)
I I
= 0
= j (z) (z zj ) dz f (zj ) zj dz
Cj Cj
| {z }
(7.11)
I = 0
= j (z) (z zj ) dz . (7.113)
Cj
I n I
f(z) dz = f(z) dz . (7.114)
C j=1 Cj
Isto decorre do fato que a integral de linha ao longo dos segmentos das fronteiras dos
caminhos Cj , para j {1 , 2 , , n}, se cancelam, pois as fronterias comuns, s~ao percorridos
em sentidos opostos (veja a gura abaixo), permanecendo somente as integrais de linha ao
logo das fronteiras do caminhos Cj , para j {1 , 2 , , n} que n~ao s~ao comuns, ou seja, o
caminho C .
206 CAPITULO 7. INTEGRAL COMPLEXA
R
6 Cj2
?-
Cjo
?- ?- 6 Cj1
6
I n I
(7.114)
f(z) dz = f(z) dz
C j=1 Cj
[I ]
(7.113)
n
= j (z) (z zj ) dz , (7.115)
j=1 Cj
assim teremos:
I [I ]
(7.115) n
f(z) dz = j (z) (z zj ) dz
C j=1 Cj
I
n
j (z) (z zj ) dz . (7.116)
Cj
j=1
|z zo | sj 2, (7.117)
|j (z) (z zj )| |j (z)| |z zo |
(7.110),(7.117)
< sj 2 . (7.118)
7.5. TEOREMA DE CAUCHY-GOURSAT 207
R
sj
-
C
6s
Cj zj j
?
z
-
6
sj 6Q
1 j1
?
-
sj
1
R
sjo
-
C
6s
Qjo jo
?
-
I
j (z) (z zj ) dz sj 2 lj , (7.120)
Cj
Denotando-se por
( ) 12 ( )
.
n
.
n
1
S= sj2 e L= lj2 , (7.122)
j=1 j=1
2
como, para cada j {1 , 2 , , n}, e igual a area do quadrado Qj e lj2 ou e igual a 16 sj2
sj2
ou igual a (4 sj + Lj )2 , as respectivas somas nitas ser~ao nitas, teremos
S,L < .
Logo,
I
(7.121),(7.122)
f(z) dz < 2SL, (7.123)
C
Simplesmente conexo
C
Deste modo podemos reescrever o Teorema (7.5.2) (ou seja, o Teorema de Cauchy-
Goursat) da seguinte forma:
Observacao 7.6.2
C = C1 C2
6
C1
C2
2. O caminho C tambem pode conter um arco que e percorrido duas vezes em sentidos
opostos (ou, em geral, um numero nito de vezes deste modo), ja que as integrais
ao longo dos desses arcos ir~ao se cancelar.
3. Se o numero de tais arcos ou auto-intersec~oes n~ao for nito podem ocorrer pro-
blemas bem delicados.
Tais situac~oes n~ao ser~ao conisderadas nestea disciplina.
Logo, do Teorema (7.6.1) (ou seja, o Teorema de Cauchy-Goursat para domnios simples-
mente conexos), segue que I
z+2
dz = 0 .
C z
singularidade da func~ao f
1
R -
z=2
Demonstracao:
A gura abaixo ilustra a situac~ao das hipoteses descritas acima.
212 CAPITULO 7. INTEGRAL COMPLEXA
C3
C1 C2
R j
L3
z 1 L2 > = q L
L1
y 4
O C3
C1
i o
C2
C z
-
Como a func~ao f e holomorfa em U, podemos aplicar o Teorema (7.5.2) (ou seja, o Teorema
de Cauchy-Goursat para domnios simplesmente conexos) e assim obter:
I I
f(z) dz = 0 = f(z) dz . (7.127)
C C
(7.127)
= 0,
7.6. DOMINIOS SIMPLESMENTE CONEXOS E MULTIPLICAMENTE CONEXOS 213
onde em (*) utilizamos o fato que, para cada k {1 , 2 , , n + 1}, a integral sobre os arcos
Lk s~ao calculados em dois sentidos opostos (um na integral sobre o caminho C e no sentido
oposto sobre o caminho fechado C , cancelando-se - a gura acima ilustra essa situac~ao),
completando a demonstrac~ao.l
Apliquemos as ideias acim ao:
Exemplo 7.6.2 Calcular o valor da integral
I
1
dz , (7.128)
B z
onde o caminho B e a reuni~ao de duas circunfer^encia centrada na origem, que deno-
taremos por C1 e C2 , onde
.
C1 = {z ; |z| = 1} e C2 =. {z ; |z| = 2}
onde o caminho fechado C1 e percorrido no sentido horario e o caminho fechado Cs e
percorrido no sentido snti-horario.
A gura abaixo ilustra a situac~ao acima.
6
singularidade de f C1
C2
j -
Resolucao:
Notemos que a func~ao f : C \ {O} C dada por
. 1
f(z) = , para cada z C \ {O} ,
z
e holomorfa em C \ {O}, que e um domnio.
Notemos que os caminhos C1 e C2 satisfazem as condico~es do . do Teorema (7.6.2) (ou
seja, o Teorema de Cauchy-Goursat para domnios multiplamente conexos).
Logo I
1
dz = 0 .
B z
Podemos aplicar tambem ao:
214 CAPITULO 7. INTEGRAL COMPLEXA
singularidade de f C1
C2
1
j z-
3 i 3i
Resolucao:
Notemos que a func~ao f : C \ {3 i , O , 3 i} C dada por
. 1
f(z) = 2
( ) C \ {3 i , O , 3 i} ,
z z2 + 9
z
C2
-
C1
zo
onde a integral em (7.132) acima e para ser calculada ao longo de uma caminho qual-
quer, contido em D, ligando o ponto zo ao ponto z.
216 CAPITULO 7. INTEGRAL COMPLEXA
onde a integral (7.133) acima e para ser calculada ao longo de uma caminho qualquer,
contido em D, ligando o ponto zo ao ponto z.
Ent~ao a func~ao F e diferenciavel em D e, alem disso, teremos
Demonstracao:
Como z D e D e um conjunto aberto de C, existe o > 0, de modo que
V(z ; o ) D .
onde o caminho que une o ponto z ao ponto z + z e o segmento de reta, que denotaremos
por C1 , que une esses dois pontos (que esta contido na vizinhanca V(z ; o ) D).
A gura abaixo ilustra a situac~ao acima.
7.7. INTEGRAIS INDEFINIDAS COMPLEXAS 217
z + z
C1
-
z
zo
onde a integral (7.142) acima e para ser calculada ao longo de uma caminho qualquer,
contido em D, ligando o ponto zo ao ponto z, esta bem denida, e uma func~ao holomorfa
em D e, alem disso,
F (z) = f(z) , para cada z D . (7.143)
7.7. INTEGRAIS INDEFINIDAS COMPLEXAS 219
A seguir temos a:
Observacao 7.7.2 Suponhamos que as hipotese do Corolario (7.7.1) acima est~ao satis-
feitas.
Para z1 D xado, condideremos a func~ao G : D C, dada por
z
.
G(z) = f(w) dw , para cada z D . (7.144)
z1
Logo, do Corolario (7.7.1) acima segue que a func~ao G esta bem denida, e uma
func~ao holomorfa em D e, alem disso,
G (z) = f(z) , para cada z D ,
ou seja,
(7.143) (7.145)
para cada z D .
e
F (z) = G (z) , (7.145)
Devido a este fato introduziremos a:
Sejam U subconjunto aberto de C e f : U C uma func~ao complexa.
Definicao 7.7.1
Diremos que a func~ao F : U C e uma primitiva (ou anti-derivada) da funcao f
em U, se a func~
ao F for holomorfa em U e se
F (z) = f(z) , para cada z U . (7.146)
Como a func~ao
z 7 c ,
220 CAPITULO 7. INTEGRAL COMPLEXA
e inteira, teremos que a func~ao H, dada por (7.147), sera holomorfa em U e, alem
disso,
d(F + c)
H (z) = (z)
dz
= F (z) + O
(7.148)
= f(z) , para cada z U , (7.149)
ou seja, func~ao H, dada por (7.147), tambem sera uma primitiva da funuc~ao f em
U.
ou seja, a func~ao holomorfa H, dada por (7.150), tem derivada igual a zero em
U, que
e um domnio (logo um subconjunto conexo (por caminhos)).
Logo, da Proposic~ao (5.1.3), segue que a func~ao complexa H devera ser constate,
ou seja, existe c C, tal que
H(z) = c , para cada z C , (7.152)
2. Nas condic~oes da Denic~ao (7.7.2) acima, suponhamos que F f(z) dz .
Se considerarmos a func~ao H : U C, dada por
.
H(z) = F(z) + c , para cada z U ,
ent~ao, do item 2. da Observac~ao (7.7.3), segue que H f(z) dz .
3. Nas condi
c~oes da Denic~ao (7.7.2) acima, se o conjunto U for um domnio de C
e F f(z) dz, ent~ao, do item 3. da Observac~ao (7.7.3), segue que
f(z) dz = {F + c ; c C} .
4. Na situac~ao do item 3. acima, se F f(z) dz, por abuso da notac~ao, escrevermos
f(z) dz = F(z) + c , para cada z U . (7.155)
Portanto, se , D, teremos
zo
f(w) dw = f(z) dz + f(z) dz
zo
= f(z) dz + f(z) dz
| {z } | {z }
zo zo
(7.156) (7.156)
= G() = G()
= G() G()
(7.157)
= [F() + c] [F() + c]
= F() F() ,
ou seja,
f(w) dw = F() F() , (7.158)
onde F f(z) dz .
Conclus~ao: se conhecermos uma primitida da func~ao f em D, para calcularmos
a integral denida complexa da func~ao f, do ponto C ao ponto C, basta
subtrairmos do valor da primitiva escolhida no ponto , o valor da primitica no
ponto .
6. O resultado apresentado no item 5. acima e o analogo do Teorema Fundamental
do Calculo, para o caso de funcoes complexas, a valores complexos.
Resolucao:
Notemos que a func~ao f : C C, dada por
.
f(z) = z2 , para cada z C , (7.160)
Resolucao:
Notemos que a func~ao f : C C, dada por
.
f(z) = cos(z) , para cada z C , (7.163)
e uma func~ao inteira.
Em particular, da Observac~ao (7.7.1), segue que a integral ao longo de um caminho que
. .
liga o ponto = O C, ao ponto = i C, independe do caminho que une esses dois
pontos.
Observemos tambem que a func~ao F : C C, dada por
.
F(z) = sen(z) , para cada z C , (7.164)
e uma primitiva da func~ao f em C, pois a func~ao F e uma func~ao inteira e, alem disso,
(7.164)
d
F (z) = [ sen(z)]
dz
= cos(z) (7.165)
(7.163)
= f(z) , para cada z C . (7.166)
224 CAPITULO 7. INTEGRAL COMPLEXA
completando a resoluc~ao.
Todo cuidado e pouco, como ilustra o:
Exemplo 7.7.3 Calcular o valor da de linha
(7.167)
1
z 2 dz ,
C1
.
(7.168)
f(z) = r ei 2 ,
onde
z = r ei C , (7.169)
para r (0 , ) e [0 , 2 ), e a forma polar do numero complexo z.
Resolucao:
A gura abaixo ilustra a situac~ao descrita acima.
C1
-
= 1 =1
C1
=0
-
= 1 =1
22.09.2015 - 12.a
Para contornar esse problema escolheremos outro ramo da relac~ao
1
z 7 z 2 ,
a saber, consideremos o ramo f1 : C \ {O} C, dado por
.
(7.170)
f1 (z) = r ei 2 ,
onde
z = r ei C , (7.171)
[ )
3
para , , e a forma polar do numero complexo z.
2 2
Notemos que a func~ao f1 e holomorfa em
{ }
.
D1 = C \ (r , ) ; r [0 , ) e = , (7.172)
2
em particular, sera holomorfa em um domnio que contem o caminho C1 .
A gura abaixo ilustra a situac~ao acima.
6
C1
-
= 1 =1
i
=
2
Logo, da Observac~ao (7.7.1) , segue que a integral ao longo do caminho que liga o ponto
. .
= 1 C, ao ponto = 1 C, independe do caminho que une esses dois pontos, contido
em D1 .
Observemos que a func~ao F1 : D1 C, dada por
. 2 3
F1 (z) = z 2
3
2 3 i 3
= r e 2 , para cada z = r ei D1 , (7.173)
3
sera um primitiva da func~ao f1 em D1 , pois a funcao F1 e uma func~ao holomorfa em D1
(verique!) e, alem disso,
[ ]
(7.173)
d 2 3
F1 (z) = z2
dz 3
2 1 3
= z2 (7.174)
3 2
1
=z 2
(7.170)
= f1 (z) , para cada z D1 .
Logo, do item 5. da Observac~ao (7.7.4), segue que
1 (7.168)
z 2 = f(z) dz
C1 C1
(7.170)
= f1 (z) dz
C1
(7.158)
= F1 (1) F1 (1)
(r ,)=(1 ,0)
1=1ei0 ,1=1ei D1 e (7.172) 2 3 i 3
= r e 2
3 (r ,)=(1 ,)
2
= | 13{z ei 2}
30 3
ei 2} | 13{z
3
=1 =i
2
= (1 + i) , (7.175)
3
completando a resoluc~ao.
Consideremos agora o:
Exemplo 7.7.4 Calcular o valor da de linha
(7.176)
1
z 2 dz ,
C2
.
(7.177)
f2 (z) = r ei 2 ,
7.7. INTEGRAIS INDEFINIDAS COMPLEXAS 227
onde
z = r ei C , (7.178)
[ )
5
para r (0 , ) e , , e a forma polar do numero complexo z.
2 2
Resolucao:
A gura abaixo ilustra a situac~ao descrita acima.
6
z1 = 1
zo = 1
-
C2
Se considerarmos
{ }
.
D2 = C \ (r , ) ; r [0 , ) e e = , (7.179)
2
. 2 3
F2 (z) = z 2
3
2 3 i 3
= r e 2 , para cada z = r ei D2 , (7.180)
3
3
=1 =i
2
= (1 + i) , (7.182)
3
completando a resoluc~ao.
Observacao 7.7.5
1. Dos Exemplos (7.7.3) e (7.7.4), segue que
1 2
z 2 dz = (1 + i)
C1 3
e
1 2
z 2 dz = (1 + i) ,
C2 3
ou ainda,
(7.183)
1 1
z dz =
2 z 2 dz ,
C1 C2
teremos
1 1
z dz =
2 z 2 dz
C C1 C2
1 1
= z dz +
2 z 2 dz
C1 C2
1 1
= z 2 dz z 2 dz
C1 C2
(7.175),(7.182) 2 2
= (1 + i) (1 + i)
3 3
4
= = O, (7.184)
3
7.8. FORMULA INTEGRAL DE CAUCHY 229
z1 = 1
zo = 1
-
zo
C2
1 1
dz = 1
2 i C z zo
(7.186)
= f(zo ) .
|z zo | < , (7.189)
teremos: |f(z) f(zo )| < . (7.190)
Consideremos ro (0 , ).
zo
Co
|z zo | = ro , (7.191)
Como a func~ao
f(z)
z 7
z zo
e holomorfa em U, exceto no ponto zo , aplicando-se do Teorema (7.6.2) (ou seja, o teorema de
Cauchy-Goursat para domnios multiplamente conexos) a esta func~ao e ao domnio multipla-
mente conexo constitudo dos pontos interiores do caminho fechado C e dos pontos exteriores
do caminho fechado Co (a gura acima ilustra a situac~ao), obteremos
f(z)
dz = 0 ,
CCo z zo
f(z) f(z)
ou seja, dz dz = 0 ,
C z zo Co z zo
f(z) f(z)
ou ainda, dz = dz
C z zo Co z zo
f(zo ) f(z) f(zo )
= dz + dz
Co z zo Co z zo
1 f(z) f(zo )
= f(zo ) dz + dz
zz z zo
|Co {z o } Co
(7.187)
= 2 i
f(z) f(zo )
= 2 i f(zo ) + dz . (7.192)
Co z zo
Notemos que, se z Co , teremos que z satisfaz (7.189) (pois 0 < ro < ) e assim teremos:
f(z) f(zo ) |f(z) f(zo )|
z zo = |z zo |
(7.190) e zzo =ro
< . (7.193)
ro
Portanto, do item 6. da Proposic~ao (7.4.1) , segue que
f(z) f(zo ) (7.193) e (7.51)
dz 2|
Co z zo ro {zr}o
comprimento da circunfer^encia Co
= 2,
Observacao 7.8.2
2. A grosso modo, o Teorema (7.8.1) (ou seja, a identidade (7.188)) nos diz que o
valor de uma func~ao, que e holomorfa sobre e no interior de um caminho fechado,
em um ponto do interior do caminho fechado, pode ser determinado pelos valores
da func~ao sobre o caminho fechado.
onde
.
C1 = {z C ; |z| = 2} , (7.196)
Resolucao:
Consideremos a func~ao f : C \ {3 , 3} C, dada por
. z
f(z) = para z C \ {3 , 3} . (7.197)
9 z2
U
6
C1
} 2
-
3 3
i
Logo, pelo Teorema (7.8.1) (ou seja, a formula integral de Cauchy), temos que:
z (7.197) f(z)
( ) dz = dz
C1 9 z (z + i)
2
C1 z+i
f(z)
= dz
C1 z (i)
.
(7.188) com zo =i
= 2 i f(i)
(7.197) (i)
= 2 i
9 (i)2
Exerccio
= = ,
5
completando a resoluc~ao.
Temos tambem o:
Exemplo 7.8.2 Calcular o valor da
z
( ) dz , (7.199)
C2 9 z (z + i)
2
onde
.
C2 = {z C ; |z + 3| = 2} , (7.200)
ou seja, o caminho fechado C2 e a circunfer^encia de centro no ponto z = 3 e raio igual
a 2, orientada positivamente.
Resolucao:
Consideremos a func~ao f : C \ {3} C, dada por
. z
f(z) = para z C \ {i , 3} . (7.201)
(3 z) (z + i)
Notemos que os unicos pontos de C, onde a func~ao f n~ao e diferenciavel s~ao:
. .
z1 = i e z2 = 3 , (7.202)
ou seja, a func~ao f e holomorfa em U, onde
.
U = {z C ; (z) < 0} ,
que e um domnio e o caminho fechado C2 esta contido nesse domnio.
A gura abaixo ilustra a situac~ao acima.
234 CAPITULO 7. INTEGRAL COMPLEXA
6
C2
} 2
-
3 3
Logo, pelo Teorema (7.8.1) (ou seja, a formula integral de Cauchy), temos que:
z (7.201) f(z)
dz = dz
C2 (3 + z)(3 z) (z + i) C2 z + 3
f(z)
= dz
C2 z (3)
.
(7.188) com zo =3
= 2 i f(3)
(7.201) (3)
= 2 i
[3 (3)] [(3) + i]
Exerccio 6 i
= ,
18 + 6 i
completando a resoluc~ao.
Temos tambem o:
Exemplo 7.8.3 Calcular o valor da
z
( ) dz , (7.203)
C3 9 z (z + i)
2
onde
.
C3 = {z C ; |z 3| = 2} , (7.204)
ou seja, o caminho fechado C3 e a circunfer^encia de centro no ponto z = 3 e raio igual
a 2, orientada positivamente.
Resolucao:
Nesta caso considereramos a func~ao f : C \ {3} C, dada por
. z
f(z) = para z C \ {i , 3} . (7.205)
(3 + z) (z + i)
Notemos que os unicos pontos de C, onde a func~ao f n~ao e diferenciavel s~ao:
. .
z1 = i e z2 = 3 , (7.206)
ou seja, a func~ao f e holomorfa em U, onde
.
U = {z C ; (z) > 0} ,
6 C3
} 2
-
3
Logo, podemos aplicar o Teorema (7.8.1) (ou seja, a formula integral de Cauchy) ao
caminho C3 .
Deixaremos os detalhes como exerccio para o leitor.
Observacao 7.8.3
.
B = C1 C1ro
.
U = {z C ; 1 < |z| < 3} ,
6
C1
}
2
ro C1ro
-
3 3
i
teremos que
z
0= ( ) dz
C1 C1ro 9 z
2
(z + i)
z z
= ( ) dz + ( ) dz
C1 9 z
2
(z + i) C1ro 9 z
2
(z + i)
z z
= ( ) dz ( ) dz ,
C1 9 z
2
(z + i) C1ro 9 z
2
(z + i)
z z
ou seja, ( ) dz = ( ) dz
C1ro 9 z
2
(z + i) C1 9 z
2
(z + i)
(7.208)
= ,
5
como armamos.
orientado positivamente.
Deixaremos a vericac~ao deste fato como exerccio para o leitor.
-
3 3
i
E1
-
3 3
)
ro i
Cro
E1
.
Cro = {z C ; |z + i| = ro } , (7.211)
ou seja,
z z
( ) dz = ( ) dz
E1 9 z (z + i)
2
Cro 9 z (z + i)
2
(7.208)
= , (7.212)
5
como armamos.
4. Notemos que o caminho fechado Cro , que comparece na integral de linha no ca-
minho fechado Cro acima, e uma circunfer^encia que nao esta centrada na origem
(veja (7.211).
Logo n~ao poderamos, em princpio, utilizar a identidade (7.208), para obter a
identidade (7.212).
Na verdade teramos que aplicar novamente, o Teorema (7.6.2) (ou seja, o teorema
de Cauchy-Goursat para domnios multiplamente conexos), para mostrar que
z z
( ) dz = ( ) dz
Cro 9 z (z + i)
2
C1ro 9 z (z + i)
2
(7.208)
= .
5
Deixaremos isto como exerccio para o leitor.
5. Podemos agir de modo semelhante com os Exemplos (7.8.1) e (7.8.2).
Deixaremos os detalhes deste como exerccio para o leitor.
Baseado nisto podemos resolver o:
Exemplo 7.8.4 Calcular o valor da
z
( ) dz , (7.213)
C4 9 z (z + i)
2
onde
.
C4 = {z C ; |z 3| = 4} , (7.214)
ou seja, o caminho fechado C4 e a circunfer^encia de centro no ponto z = 3 e raio igual
a 4, orientada positivamente.
7.8. FORMULA INTEGRAL DE CAUCHY 239
Resolucao:
A gura abaixo ilustra, geometricamente, a situac~ao acima.
6 *
4
2
-
3 3 C4
. .
Neste caso temos que os pontos zo = i e z1 = 3 pertencem ao interior do caminho fechado
C4 .
Logo podemos encontrar ro , r1 > 0, de modo que V(zo ; ro ) e V(z1 ; r1 ) estejam contidas
no interior do caminho fechado C4 e .
V(zo ; ro ) V(z1 ; r1 ) = .
Denotemos por Cro e Cr1 as fronteiras dos conjunto V(zo ; ro ) e V(z1 ; r1 ), respectivamente,
ou seja, as circunfer^encias de centros em zo = i e z1 = 3 e raios ro e r1 , respectivamente,
orientadas positivamente (a gura abaixo ilustra essa situac~ao).
Notemos que podemos aplicar o Teorema o Teorema (7.6.2) (ou seja, o teorema de Cauchy-
Goursat para domnios multiplamente conexos) para o caminho B, dado por
.
B = C4 Cro Cr1 ,
e assim obter:
z
0= ( ) dz
B 9z
2
(z + i)
z
= ( ) dz
C4 Cro Cr1 9 z
2
(z + i)
z z z
= ( ) dz + ( ) dz + ( ) dz
C4 9 z
2
(z + i) Cro 9 z
2
(z + i) Cr1 9 z
2
(z + i)
z z z
= ( ) dz ( ) dz ( ) dz ,
C4 9 z
2
(z + i) Cro 9 z
2
(z + i) Cr1 9 z
2
(z + i)
ou seja,
z z z
( ) dz = ( ) dz + ( ) dz
C4 9 z (z + i)
2
Cro 9 z (z + i)
2
Cr1 9 z (z + i)
2
240 CAPITULO 7. INTEGRAL COMPLEXA
6 *
4
2
o r1
-
3 3 C4
I
ro
i
Baseado nas ideias acima podemos resolver (deixaremos como exerccios para o leitor) os
Exerccio 7.8.1 Calcular o valor da
z
( ) dz , (7.215)
C5 9 z (z + i)
2
onde
.
C5 = {z C ; |z + 3| = 4} , (7.216)
ou seja, o caminho fechado C5 e a circunfer^encia de centro no ponto z = 3 e raio igual
a 4, orientada positivamente.
Exerccio 7.8.2 Calcular o valor da
z
( ) dz , (7.217)
C6 9 z (z + i)
2
onde
.
C6 = {z C ; |z| = 4} , (7.218)
ou seja, o caminho fechado C6 e a circunfer^encia de centro no ponto z = O e raio igual
a 4, orientada positivamente.
Exerccio 7.8.3 Calcular o valor da
z
( ) dz , (7.219)
C7 9 z (z + i)
2
Temos tambem o:
Exemplo 7.8.5 Calcular o valor da
cos(z)
dz , (7.220)
Cj z
ou seja,
cos(z)
dz = 2 i .
C1 z
Do item 2. :
Notemos que, a func~ao f2 : C \ {} C, dada por
. cos(z)
f2 (z) = , para cada z C \ {} (7.222)
z
e uma func~ao holomorfa em C \ {}.
Como o ponto pertence ao exteior do caminho fechado C2 segue que, do Teorema (7.8.1),
que
f2 (z) dz = 0 ,
C2
cos(z)
ou seja, dz = 0 .
C2 z
Deixaremos para o leitor o:
242 CAPITULO 7. INTEGRAL COMPLEXA
Observacao 7.8.4 Podemos utilizar integrais de linha de func~oes complexas para cal-
cular integrais denidas de func~oes de uma variavel real, a valores reais que, do ponto
de vista do Calculo 1, seriam bastante complicadas de encontrarmnos seu valor.
Para ilustra esta situac~ao temos o:
Exemplo 7.8.7 Seja k Z xado. Calcular o valor da integral denida
ek cos(x) cos[k sen(x)] dx . (7.224)
0
Resolucao:
Calculemos o valor da integral de linha complexa
ekz
dz ,
C z
onde o caminho fechado C e a circunfer^encia
.
C = {z C ; |z| = 1} ,
orientada positivamente.
Consideremos a func~ao g : C \ {O} C, dada por
. ekz
g(z) = , para cada z C \ {O} . (7.225)
z
Deste modo, a func~ao g sera holomorfa em C \ {O}.
7.8. FORMULA INTEGRAL DE CAUCHY 243
Notemos que uma parametrizac~ao do caminho fechado C pode ser dada pela func~ao :
[ , ] C, onde
.
(t) = eit , para cada t [ , ] . (7.226)
Assim a func~ao e diferenciavel em [ , ] (na verdade pertence a C ([ , ] ; C)) e,
alem disso, teremos:
(7.226)
(t) = i eit , para cada t [ , ] . (7.227)
Logo,
ekz
dz = g(z) dz
C z
C
= g[(t)] (t) dt
k(t)
(7.225) e
= (t) dt
(t)
keit
(7.226),(7.227) e
= it
i eit dt
e
it
=i eke dt
=i ek[cos(t)+i sen(t)] dt
=i ekcos(t) eik sen(t) dt
=i ekcos(t) {cos[k sen(t)] + i sen[k sen(t)]} dt
kcos(t)
=i e cos[k sen(t)] dt ekcos(t) sen[k sen(t)] dt (7.228)
Portanto,
(7.233) ekz
2 i = dz
C z
(7.231)
= i2 ekcos(t) cos[k sen(t)] dt ,
0
ou seja,
ekcos(t) cos[k sen(t)] dt = ,
0
completando a resoluc~ao.
Demonstracao:
Notemos que , para cada z D, do Teorema (7.8.1) (ou seja, da formula integral de
Cauchy) segue que
1 f(w)
f(z) = dw . (7.235)
2 i C wz
Observemos que,
f(w) f(w)
dw dw
(w z z) (w z) 2
C C (w z)
[ ]
1 1
= f(w) dw
C (w z z) (w z) (w z)2
[ ]
(w z) (w z z)
= f(w) dw
(w z z) (w z)2
C
f(w)
= z dw
(w z z) (w z)2
C
f(w)
= |z| dw . (7.237)
C (w z z) (w z)
2
Seja
.
d = inf {|z w| ; w C} > 0 , (7.239)
pois o ponto z esta no interior do caminho fechado C (a gura abaixo ilustra a situac~ao acima)
246 CAPITULO 7. INTEGRAL COMPLEXA
]
^z
d
|w z| d
C
w
|w z| d , (7.240)
e |w z z| |w z| |z|
d |z| . (7.241)
Observacao 7.9.1
como arma a:
Demonstracao:
Notemos que, se z C \ {O} e tal que z + D (lembremos que z D e D e um
subconjunto aberto de C), teremos:
248 CAPITULO 7. INTEGRAL COMPLEXA
[ ]
f (z + z) f (z) (7.234) 1 1 f(w) 1 f(w)
= dw dw
z z 2 i C [w (z + z)]2 2 i C (w z)2
[ ]
1 1 1
= f(w) dw
2 i z C (w z z)2 (w z)2
[ ]
1 (w z)2 (w z z)2
= f(w) dw
2 i z C (w z z)2
[( 2 ) [ ]]
1 w 2 w z + z2 (w z)2 2 (w z) z + z2
= f(w) dw
2 i z C (w z z)2 (w z)2
[( 2 ) [ ]]
1 w 2 w z + z2 w2 2 w z + z2 2 w z + 2 z z + z2
= f(w) dw
2 i z C (w z z)2 (w z)2
1 2 (w z) z
= f(w) dw (7.247)
2 i C (w z z)2 (w z)2
Observemos que,
[2 (w z) z] f(w) f(w)
2 dw
(w z z)2 (w z)2 (w z) 3
C C
[ ]
2 (w z) z 2
= f(w) dw
2 2 3
(w z z) (w z) (w z)
C [ [ ]]
3
3
2
2
2 (w z) (w z) z (w z) 2 (w z z) (w z)
= f(w) dw
C (w z z) (w z) (w z)
2 2 3
[ [ ] ]
4
3
2
2
2
2 (w z) z (w z) 2 (w z) 2 (w z) z + z (w z)
= f(w) dw
C (w z z) (w z)
2 5
[ 2]
2 (w z) 4
z (w z) 3
2 (w z) 4
+ 4 (w z)3
z 2 z 2
(w z)
= f(w) dw
C (w z z)2 (w z)5
[ ]
3 z (w z)3 2 z2 (w z)2
= f(w) dw
C (w z z)2 (w z)5
[ ]
3 (w z) 2 z
= |z| f(w) dw
C (w z z) (w z)
2 2
Como o caminho fechado C delimita uma regi~ao limitada, denotemos tal regi~ao por C , ou
seja, o conjunto formado por todos os pontos interiores do caminho fechado C , juntamente
com os ponto do camiho fechado C .
Seja N > 0, tal que
|w1 w2 | N , (7.248)
para w1 , w2 C (que existe pois o caminho fechado C delimita uma regi~ao limitada de C).
7.9. DERIVADAS DE ORDEM SUPERIOR DE FUNC ~
OES HOLOMORFAS 249
Logo teremos:
|w z| d , (7.249)
|3 (w z) 2 z| 2 |w z| + z
(7.248)
3 N + 2 z , (7.250)
e |w z z| |w z| |z|
d |z| . (7.251)
Demonstracao:
A demonstrac~ao e feita por induc~ao no ordem de derivac~ao n e sua demontrac~ao e seme-
lhante a das Proposico~es (7.9.1) e (7.9.2).
A elaborac~ao da mesma sera deixada como exerccio para o leitor.
Como consequ^encia disso temos o:
Resolucao:
Para o caminho fechado C1 :
.
Notemos que a func~ao f1 : D1 = C \ {O , 1} C, dada por
. z4 + 3
f1 (z) = , para cada z D1 , (7.258)
z2 (z 1)
e holomorfa em D1 .
Como os pontos zo = O e z1 = 1 est~ao no exterior do caminho fechado C1 , segue o caminho
fechado C1 e seu interior est~ao contido no domnio D1 .
A gura abaixo ilustra a situac~ao descrita acima.
-
zo = O z1 = 1
C1
-
zo = O z1 = 1
C2
Logo do Teorema (7.8.1) (ou seja, da formula integral de Cauchy), segue que
z4 + 3 f2 (z)
dz = dz
C2 z2 (z 1) C2 (z 1)
(7.188)
= 2 i f2 (z1 )
= 2 i f2 (1)
(7.260) e z1 =1 14 + 3
= 2 i
12
= 8 i,
Portanto
z4 + 3
dz = 8 i . (7.261)
C2 z2 (z 1)
Notemos que o ponto z1 = 1 esta no exterior do caminho fechado C3 , logo segue que o
caminho fechado C3 e seu interior est~ao contido no domnio D3 .
A gura abaixo ilustra a situac~ao descrita acima.
7.9. DERIVADAS DE ORDEM SUPERIOR DE FUNC ~
OES HOLOMORFAS 253
-
zo = O z1 = 1
C2
z4 + 3 f3 (z)
dz = dz
C3 z2 (z 1) C3 (z 1)
(7.234)
= 2 i f3 (zo )
= 2 i f3 (0)
(7.263) e zo =O 3 O4 4 O3 3
= 2 i
(O 1)2
= 6 i , (7.264)
Portanto
z4 + 3
dz = 6 i . (7.265)
C3 z2 (z 1)
C41 C42
-
zo = O z1 = 1
C2
Com isto a regi~ao, que indicaremos por R, que e interior ao caminho fechado C4 , exterior
aos caminhos fechados C41 e C42 , tera como fronteira o conjunto
.
B = C4 C41 C42 ,
(7.261),(7.265)
= 8 i 6 i
= 2 i,
Portanto
z4 + 3
dz = 2 i .
C2 z2 (z 1)
Observacao 7.9.2O Teorema (7.5.2) (ou seja, o Teorema de Cauchy-Goursat) que nos
diz que para uma func~ao f : C holomorfa em um domnio simplesmente conexo D, se
o caminho fechado C esta contido em D ent~ao a integral de linha
I
f(z) dz = O .
C
7.9. DERIVADAS DE ORDEM SUPERIOR DE FUNC ~
OES HOLOMORFAS 255
= f(z) dz f(z) dz ,
C1 C2
ou seja, f(z) dz = f(z) dz ,
C1 C2
mostrando que a integral (7.267), independe do caminho , contido em D, que une o ponto zo
ao ponto z.
Logo, pela Proposic~ao (7.7.1), temos que a func~ao F : D C, dada por
z
.
F(z) = f(z) dz , para cada z D , (7.269)
zo
Como vimos na Proposic~ao (7.9.2), a func~ao derivada associada a uma func~ao holomorfa e
uma func~ao holomorfa, mostrando que a func~ao f e uma func~ao holomorfa em D, completando
a demonstrac~ao.
Temos a:
Observacao 7.9.3
Logo, se w Co , teremos:
f(z ) |f(zo )|
o
(w z )n+1 = |w zo |n+1
o
(7.272) e wCo , logo: |wzo |=ro Mo
(7.273)
ron+1
ent~ao a funcao f devera ser constante, ou seja, podemos encontar c C, tal que
f(z) = c , para z C . (7.276)
Demonstracao:
Notemos que, para cada r > 0, utilizando-se a (7.274) (isto e, a desigualdade de Cauchy)
com n = 1, teremos:
M
|f (z)| , para z C . (7.277)
r
Logo, fazendo-se r 0, de (7.277), segue que
|f (z)| = 0 , para z C ,
que e equivalente a:
f (z) = 0 , para z C .
Como C e conexo, pela Proposic~ao (5.1.3), segue que a func~ao f devera ser constante,
completando a demonstrac~ao.
Com o resultado acima podemos demonstrar o:
Teorema 7.9.4 (fundamental de Algebra) Seja P : C C uma func~ao polinomial,
nao constante, ou seja,
onde n N e
a o , a1 , a 2 , , a n C e an = O .
Ent~ao a equac~ao polinomial
P(z) = O , (7.279)
possui, pelo menos, uma raiz complexa.
Demonstracao:
Suponhamos, por absurdo, que a equac~ao polinomial (7.178) n~ao possua razes complexas,
ou seja,
P(z) = O , para todo z C . (7.280)
258 CAPITULO 7. INTEGRAL COMPLEXA
Notemos que
grau(Q) = n 1 < grau(P) .
Reaplicando-se o Teorema (7.9.4) a func~ao polinomial Q, obteremos uma raiz z1 C, ou
seja,
Q(z1 ) = O . (7.286)
Portanto, de (7.285) e (7.286), z1 C satisfaz
P(z1 ) = O .
Repetindo o procedimento acima (lembrando que cada vez que aplicamos o procedimento
reduzimos em 1 o grau do polin^omio considerado inicialmente) obtemos, por induc~ao sobre
o grau do polin^omio P, as n razes complexas do mesmo, comletando a demonstrac~ao.
7.10 Exerccios
260 CAPITULO 7. INTEGRAL COMPLEXA
Captulo 8
29.09.2015 - 14.a
O objetivo, entre outros, deste captulo e estudar series de funco~es complexas, do tipo
series de potencias complexas e, mais geralmente, "series de pot^encias" que podem conter
pot^encias negativas.
A import^ancia destas ultima cara claro no proximo captulo.
Comecaremos com a:
Definicao 8.1.1
Neste caso a sequ^encia numerica complexa acima sera denotada por (zn )nN .
2. A sequ^encia numerica complexa (zn )nN sera dita convergente em C, se existe
z C, de modo que, dado > 0, podemos encontrar No = No () N, de modo que
se
n No , deveremos ter |zn z| < . (8.1)
261
262 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
3. A sequ^encia numerica complexa (zn )nN sera dita divergente em C, se ela n~ao for
convergente em C.
4. A sequ^encia numerica complexa (zn )nN sera dita limitada em C, se podemos en-
contrar M (0 , ), de modo que
|zn | M , para n N, .
Proposicao 8.1.1 Suponhamos que a sequ^encia numerica complexa (zn )nN e tal que,
para cada n N, tenhamos
zn = xn + i yn , (8.3)
onde xn , yn R.
Ent~ao a sequ^encia numerica complexa (zn )nN e converge em C, para
.
z = x + i y,
onde x , y R se, somente se, as sequ^encia numericas reais (xn )nN e (yn )nN s~ao
convergentes em R, para x e y, respectivamente, ou seja,
lim zn = z se, e somente se, lim xn = x e lim yn = y . (8.4)
n n n
Demonstracao:
Deixaremos a vericac~ao deste fato como exerccio para o leitor.
Como consequ^encia da Proposic~ao acima e de um resultado de Calculo 3 ou 4, temos a:
Demonstracao:
Deixaremos como exerccio para o leitor.
Exemplo 8.1.1 Estudar a converg^ encia das sequ^encias numerica complexas (zn )nN e
(wn )nN onde, para cada n N, temos:
( )
. 1 1
zn = + i 1 + 2 e wn =. (i)n . (8.5)
n n
^
8.1. SEQUENCIAS
NUMERICAS COMPLEXAS 263
Resolucao:
Notemos que, da Proposic~ao (8.1.1) acima, como
1
lim
= 0,
( n n)
1
lim 1 + 2 = 1 , (8.6)
n n
O = 0 + i 1 = i.
possui subsequ^encias convergentes para 1 e 1 (a saber, as subsequ^encias (x4 n )nN e (x4 n+2 )nN ,
respectivamente), segue que a sequ^encia numerica real (xn )nN sera divergente em R.
Logo, da Proposic~ao (8.1.1) acima, segue que a sequ^encia numerica complexa (wn )nN
sera divergente em C, completando a resoluc~ao.
Temos tambem a:
Proposicao 8.1.3 Suponhamos que a sequ^encia numerica complexa (zn )nN e tal que,
para cada n N, tenhamos
zn = xn + i yn ,
onde xn , yn R.
Ent~ao a sequ^encia numerica complexa (zn )nN e uma sequ^encia complexa de Cauchy
em C se, e somente se, as sequ^encias numerica reais (xn )nN e (yn )nN s~ao sequ^encia
numerica reais de Cauchy em R.
264 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Demonstracao:
Deixaremos a demonstrac~ao como exerccio para ao leitor.
Da Proposic~ao (8.1.1) e a propriedade de sequ^encias numericas reais de Cauchy em R,
temos a:
Demonstracao:
Deixaremos os detalhes da demonstrac~ao como exerccio para o leitor.
Valem a propriedades basicas para converg^encia de sequ^encias numericas complexas, ou
seja, temos a:
lim ( zn ) = lim zn ,
n n
zn lim zn
lim = n ,
n wn lim wn
n
Demonstracao:
Deixaremos a vericac~ao das propriedades acima como exerccio para o leitor.
Definicao 8.2.1Dada a sequ^encia numerica complexa (zn )nN , podemos considerar uma
outra sequ^encia numerica complexa, que indicaremos por (Sn )nN , cujos termos s~ao
denidos da seguinte forma:
.
S1 = z1 ,
.
S2 = z1 + z2 ,
.
S3 = z1 + z2 + z3 ,
..
.
.
Sn = z1 + z2 + + zn
n
= zk , (8.8)
k=1
para cada n N, que sera denominada de serie numerica complexa, denida pela
sequ^encia numerica complexa (zn )nN ou, simplesmente, serie dos numero complexos zn .
Para cada n N xado, o numero complexo zn sera denominado n-esimo termo da
serie numerica complexa (Sn )nN , ou termo da serie numerica complexa (Sn )nN , de
ordem n.
Para cada n N, o o numero complexo Sn , da sequ^encia numerica complexa
(Sn )nN (ou seja, da s
erie numerica complexa) sera denominado n-esima soma parcial,
ou soma parcial de ordem n, ou reduzida de ordem n da serie numerica complexa
(Sn )nN .
Denotaremos a serie numerica acima por
zn , ou zn , ou ainda zn . (8.9)
n=1 1
A sequ^encia numerica complexa (Sn )nN (ou seja, a serie numerica complexa zn )
n=1
tambem podera ser chamada de sequencia numerica complexa das somas parciais da
serie numerica zn .
n=1
Observacao 8.2.1Observemos que (8.9) denotam a sequ^encia numerica (Sn )nN , onde
cada termo desta sequ^encia numerica complexa e dada por (8.8).
Temos agora o:
Exemplo 8.2.1 Consideremos a sequ^encia numerica complexa (zn )nN , onde
.
zn = in , para cada n N . (8.10)
Encontre a serie numerica complexa zn .
k=1
266 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Resolucao:
Temos que serie numerica complexa, associada a esta sequ^encia numerica complexa (zn )nN ,
que denotaremos por (Sn )nN , tera os seguintes termos:
.
S1 = z1
(8.10) 1
= i
= i,
.
S2 = z1 + z2
(8.10) 1
= i + i2
= i 1,
.
S3 = z1 + z2 + z3
(8.10) 1
= i + i2 + i3
=i1i
= 1 ,
.
S4 = z1 + z2 + z3 + z4
(8.10) 1
= i + i2 + i3 + i4
=i1i
= 1,
..
.
.
Sn = z1 + z2 + + zn
n
= zk
k=1
n
= ik
k=1
i , se n = 4 m + 1 ,
Exerccio i 1 , se n = 4 m + 2 ,
= , (8.11)
1 , se n = 4 m + 3 ,
0 , se n = 4 m ,
Observacao 8.2.2 Observemos que a sequ^encia numerica complexa (Sn )nN do Exemplo
(8.2.1) acima (ou seja, a serie numerica zn ) e divergente em C.
n=1
De fato, pois a subsequ^encia (S4 n )nN , da sequ^encia numerica (Sn )nN , converge para
0 e a subsequ^
encia (S4 n+1 )nN , da sequ^encia numerica (Sn )nN , converge para i.
Portanto, da Proposic~ao (8.1.1), segue que a sequ^encia numerica complexa (Sn )nN
e divergente em C.
8.2. SERIES
NUMERICAS COMPLEXAS 267
zn + wn ,
n=1 n=1
ii. a diferenca das series numericas complexas zn e wn , indicada por
n=1 n=1
zn wn ,
n=1 n=1
iii. a multiplicacao da serie numerica complexa an pelo um numero complexo) ,
n=1
indicada por
zn ,
n=1
iv. o produto das series numericas complexas zn e wn , sera indicada por
n=1 n=1
zn wn ,
n=1 n=1
268 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
e a serie numerica complexa cn , onde
n=1
.
n
cn = zk wnk
k=1
para cada n N.
Observacao 8.2.3
a serie produto
zn wn ,
n=0 n=0
e a serie numerica cn , onde
n=0
.
n
cn = zk wnk
k=0
zn
n=1
ou zn / wn ,
n=1 n=1
wn
n=1
pode tambem ser denido, porem isto e um pouco mais delicado e sera deixado
para outra ocasi~ao.
Podemos agora introduzir a:
Definicao 8.2.3 Diremos que a serie numerica complexa zn e convergente em C,
n=1
se a sequ^encia numerica complexa das somas parciais, isto e, a sequ^encia numerica
8.2. SERIES
NUMERICAS COMPLEXAS 269
complexa (Sn )nN , cujos termos s~ao dados por (8.8), (que e a propria serie numerica
complexa ), for convergente em C.
Nesta situac~ao, se a sequ^encia numerica complexa das somas parciais (Sn )nN con-
verge para S C, isto e, se
lim Sn = S , (8.17)
n
diremos que o numero complexo S e a soma da serie numerica complexa zn .
n=1
Neste caso escreveremos
.
zn = S . (8.18)
n=1
Caso contrario, diremos que a serie numerica complexa zn e divergente em C.
n=1
Observacao 8.2.4
1. Observemos que se serie numerica complexa zn e convergente em C, com soma
n=1
S, ent~ao
(8.18)
zn = S
n=1
(8.17)
= lim Sn
n
( )
(8.8)
n
= lim zk ,
n
k=1
n
ou seja, zn = lim
n
zk . (8.19)
n=1 k=1
2. Vale observar que smbolo zn denota duas coisas diferentes.
n=1
Mais precisamente: por um lado, denota a serie numerica complexa, isto e, a
sequ^encia numerica complexa das somas parciais (Sn )nN e, por outro lado, sua
soma S, ou seja, o limite da sequ^encia numerica complexa (Sn )nN , se ele existir
em C.
3. A serie numerica zn sera convergente em C, como soma igual a S C se, e
n=1
somente se, a sequ^encia complexa das somas parciais (Sn )nN for convergente para
S, em C que, pela Denic~ao (8.1.1), e equivalente a dizer que, dado > 0, podemos
encontrar No N, de modo que,
para n No , deveremos ter |Sn S| < . (8.20)
270 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Proposicao 8.2.1 Suponhamos que a sequ^encia numerica complexa (zn )nN e tal que,
para cada n N, tenhamos
zn = xn + i yn ,
onde xn , yn R.
Ent~ao a serie numerica complexa zn e convergente em C, como soma igual a
n=1
Z = X + i Y, se, somente se, as series numericas reais xn e yn s~ao convergente
n=1 n=1
em R, com somas iguais a X e Y , respectivamente
Resolucao:
Deixaremos a elaborac~ao da mesma como exerccio para o leitor.
Como consequ^encia da Proposic~ao (8.2.1) acima e do criterio da diverg^encia para series
numericas reais temos o;
lim zn = O . (8.21)
n
2. a serie numerica complexa zn wn sera convergente em C, com soma igual
n=1 n=1
Z W, ou seja,
(zn wn ) = zn wn .
n=1 n=1 n=1
8.2. SERIES
NUMERICAS COMPLEXAS 271
3. a serie numerica complexa zn sera convergente em C, com soma igual Z,
n=1
ou seja,
( zn ) = zn .
n=1 n=1
Demonstracao:
Deixaremos a elaborac~ao das mesma como exerccio para o leitor.
O Exemplo abaixo trata de varias series numericas reais estudadas na dicipina de Calculo
3 ou 4:
p (1 , ) . (8.26)
Resolucao:
Foram tratados na disciplina de Calculo 3 ou 4.
Devido a este fato deixaremos como exerccio para o leitor.
Temos tambem a:
272 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Definicao 8.2.4 Diremos que a serie numerica complexa zn
e absolutamente conver
n=1
gente em C, se a sequ^encia numerica real |zn | for convergente em R.
n=1
Demonstracao:
Deixaremos a elaborac~ao da mesma como exerccio para o leitor.
Temos agora o:
Exemplo 8.2.3 Mostre que, para cada z C xado, tal que
|z| < 1 . (8.27)
e convergente em C.
1
Alem disso, a serie numerica complexa zn tera soma igual a , isto e,
n=0
1z
1
zn = . (8.29)
n=0
1z
Resolucao:
Notemos que, para cada z C e n N, temos que
( )
(1 z) 1 + z + z2 + zn = 1 zn+1 .
A vericac~ao deste fato e feita por induc~ao e sera deixada como exerccio para o leitor.
Logo, se z C \ {1}, segue que
1 zn+1
1 + z + z + z =
2 n
,
1z
^
8.3. SEQUENCIA DE FUNC ~
OES
DE UMA VARIAVEL COMPLEXA 273
A vericac~ao deste fato sera deixada como exerccio para o leitor.
Logo, de (8.30) e (8.31), segue que
(8.30) 1 zn+1
lim Sn = lim
n n 1 z
(8.31) 1
= ,
1z
mostrando que, para cada z C, satisfazendo (8.27), temos que a serie numerica complexa
1
zn e convergente em C e sua soma sera igual a , completando a resoluc~ao.
n=0
1z
Observacao 8.2.6 A s
erie numerica complexa (8.28) e denominada serie geometrica
complexa, de razao igual a z.
Se para cada z A, a sequ^encia numerica complexa (fn (z))nN for convergente para
f(z), em C, onde f : A C
e uma func~ao, diremos que a sequ^encia de func~oes complexa
(fn )nN converge pontualmente (ou ponto a ponto) para a func~ ao f, no conjunto A ,
isto e, se
f(z) = lim fn (z) , para cada z A . (8.35)
n
Neste caso escreveremos
em A ou lim fn = f , pontualmente no conjunto A. (8.36)
p
fn f ,
n
Observacao 8.3.2
1. Observemos que, na situac~ao da Denic~ao (8.3.2) acima, a func~ao f : A C,
dada em (8.35) esta univocamente determinada, isto e, e de fato uma func~ao.
2. Do item 2. da Denic~ao (8.1.1) e da Denic~ao (8.3.2) acima, temos que:
em A
p
fn f ,
se, e somente se, dado > 0, para cada zo A, podemos encontrar No N, com
No = No ( , zo ) , (8.37)
de modo que para
n No , teremos |fn (zo ) f(zo )| < . (8.38)
^
8.3. SEQUENCIA DE FUNC ~
OES
DE UMA VARIAVEL COMPLEXA 275
Resolucao:
De 1.:
Notemos que, para cada zo C xado, temos que
(8.39) zo
lim fn (zo ) = lim = 0.
n n n
segue que
p
fn f , em A = C (8.42)
isto e, a sequ^encia de funco~es complexas (fn )nN converge pontualmente para f, no conjunto
A.
De 2.:
Notemos que, para cada zo A xado, temos que |zo | < 1, temos que
(8.40) |zo |<1
lim fn (zo ) = lim zon = 0 .
n n
segue que
p
fn f em A (8.44)
isto e, a sequ^encia de funco~es complexas (fn )nN converge pontualmente para a func~ao f, no
conjunto em A.
Quando pudermos encontrar um numero natural No que independente do ponto zo na
Denic~ao (8.3.2), teremos a:
276 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Definicao 8.3.3 Diremos que uma sequ^ encia de func~oes complexas (fn )nN , denidas
em A C (isto e, fn : A C) converge uniformente, no conjunto A para uma func~ao
f : A C, se dado > 0, podemos encontrar
No = No () N , (8.45)
de modo
se n No , teremos |fn (z) f(z)| < , para todo z A . (8.46)
Observacao 8.3.3
A recproca e falsa, isto e, existem sequ^encias de func~oes complexas (fn )nN que
convergem pontualmente para uma func~ao f, em um conjunto A, mas a con-
verg^encia sequ^encias de func~oes complexas (fn )nN pode nao ser uniforme em A.
Nos dois itens do Exemplo (8.3.2) a converg^encia e pontual mas n~ao e uniforme
nos respectivos conjutos A.
Deixaremos como exerccio para o leitor a vericac~ao deste fato.
1.10.2015 - 15.a - 1.a Prova
6.10.2015 - 16.a
Podemos tambem introduzir a:
Definicao 8.3.4 Diremos que uma sequ^
encia de func~oes complexas (fn )nN , denidas
em A C, a valores complexos, e uma sequencia de funcoes de Cauchy em A, se
dado > 0, podemos encontrar
No = No () N , (8.49)
de modo que
se n , m No , teremos |fn (z) fm (z)| < , para todo z A . (8.50)
Demonstracao:
Deixaremos a elaborac~ao da mesma como exerccio para o leitor.
Como consequ^encia da converg^encia uniforme temos, entre outros, o seguinte importante
resultado.
Proposicao 8.3.2 Seja A um subconjunto aberto de C e suponhamos que (fn )nN seja
uma sequ^encia de func~oes complexas onde, para cada n N, temos que a func~ao
fn : A C C e uma func~ao contnua no conjunto A e que a sequ^encia de func~oes
complexas (fn )nN converge uniformemente para f, no conjunto A.
Ent~ao a func~ao f sera contnua no conjunto A.
Isto e, para cada zo A, temos
ou ainda: [ ]
[ ]
lim lim fn (z) = lim lim fn (z) . (8.52)
zzo n n zzo
Demonstracao:
A demonstrac~ao e semelhante a propriedade analoga acima para funco~es de uma variavel
real, a valores reais, exibida na disciplina de Calculo 3 ou 4.
Devido a este fato deixaremos os detalhes como exerccio para o leitor.
Definicao 8.4.1 Dada uma sequ^ encia de func~oes complexas (fn )nN onde, para cada
n N, temos que a func~
ao fn : A C C, podemos construir uma outra sequ^encia de
278 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
func~oes complexa, (Sn )nN onde, para cada n N, a func~ao Sn : A C C sera dada
por
.
Sn (z) = f1 (z) + + fn (z)
n
= fk (z) , para cada z A. (8.53)
k=1
Observacao 8.4.1
1. Observemos que a serie de func~oes complexas fn pode ser olhada como uma
n=1
soma innita de func~oes complexas, isto e,
fn (z) = f1 (z) + f2 (z) + f3 (z) + , para cada z A .
n=1
Cada termo dessa sequ^encia de func~oes complexas (ou da serie de func~oes com-
plexa) a saber, Sn , sera dito soma parcial de ordem n, da serie de funcoes com-
plexas fn .
n=1
Para cada n N, a func~ao fn sera dita termo da serie de funcoes complexa fn .
n=1
Consideremos o seguinte:
Exemplo 8.4.1 Seja a sequ^encia de func~oes (fn )nN , onde para cada n N a func~ao
fn : C C
e dada por
.
fn (z) = zn , para cada z C . (8.54)
Encontre a serie de func~oes complexas fn .
n=1
8.4. SERIES DE FUNC ~
OES
DE UMA VARIAVEL COMPLEXA 279
Resolucao:
Notemos que serie de funco~es complexas, isto e, a sequ^encia de funco~es complexas (Sn )nN ,
tera como termos as funco~es Sn : C C, dadas por:
(8.53)
S1 (z) = f1 (z)
(8.54)
= z,
(8.53)
S2 (z) = f1 (z) + f2 (z)
(8.54)
= z + z2 ,
(8.53)
S3 (z) = f1 (z) + f2 (z) + f3 (z)
(8.54)
= z + z2 + z3 ,
..
.
(8.53)
Sn (z) = f1 (z) + f2 (z) + f3 (z) + + fn (z)
(8.54)
= z + z2 + z3 + + zn ,
..
.,
para cada z C, ou seja,
fn (z) = zn
n=1 n=1
e a soma da serie de funcoes complexa fn e denotaremos
n=1
.
fn = f , em A. (8.57)
n=1
280 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
denotara duas coisas diferentes, a saber: a serie de func~oes complexa (Sn )nN , isto e,
a sequ^encia das somas parciais, associada a mesma e a func~ao que e a sua soma, ou
seja, o limite da sequ^encia das somas parciais, caso exista.
Consideremos os seguintes exemplos:
Exemplo 8.4.2 Consideremos a sequ^ encia de func~oes complexas (fn )n{0}N onde, para
.
cada n {0} N, a func~ao fn : D = {z ; |z| < 1} C e dada por
.
fn (z) = zn , para cada z D . (8.58)
Mostre que a serie de func~oes complexas fn , converge pontualmente para a func~ao
n=0
f : D R, dada por
. 1
f(z) = , para cada z D . (8.59)
1z
Resolucao:
Notemos que, para cada zo D xado, a serie numerica complexa
zon
n=0
ou seja, a soma da serie de funco~es fn sera a func~ao f : D C, dada por:
n=0
1
f(z) = , para cada z D . (8.61)
1z
Portanto
(8.60)
zn = f(z)
n=0
(8.61) 1
= , para cada z D ,
1z
onde a converg^encia da series de funco~es complexa acima sera pontual em D.
8.4. SERIES DE FUNC ~
OES
DE UMA VARIAVEL COMPLEXA 281
Definicao 8.4.3 Consideremos a sequ^ encia de func~oes complexas (fn )nN onde, para
cada n N, temos a func~ao fn : A C C.
Diremos que a serie de func~oes complexas fn converge uniformemente para a
n=1
funcao f, no conjunto A, se a sequ^encia de func~oes complexas (Sn )nN converge uni-
formemente para a func~ao f, em A.
ou ainda, [ ]
[
]
lim fn (z) = lim fn (z) . (8.64)
zzo zzo
n=1 n=1
Demonstracao:
uma consequ^encia da Proposic~ao (8.3.2), aplicada a sequ^encia das somas parciais da
E
serie de funco~es complexas fn .
n=1
Deixaremos os detalhes como exerccio para o leitor.
Um resultado extremamente importante, que nos da condico~es sucientes para assegurar
a converg^encia uniforme de series de funco~es, e o:
282 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
onde
an C , para cada n {0 , 1 , 2 , } ,
sera denominada serie de potencias complexas de z (ou centrada em z = O) .
Mas geralmente, dado c C, uma serie de func~oes complexas do tipo
an (z c)n = ao + a1 (z c) + a2 (z c)2 + (8.67)
n=0
onde
an C , para cada n {0 , 1 , 2 , } ,
sera denominada serie de potencias complexas de (z c) (ou centrada em z = c) .
Os numeros complexos
an C , para cada n {0 , 1 , 2 , } ,
ser~ao ditos coeficientes da serie de potencia complexa (8.66) (respectivamente (8.67)).
Observacao 8.5.1
8.5. SERIE ^
DE POTENCIAS COMPLEXAS 283
respectivamente
.
fn (z) = an (z c)n , para cada z C . (8.69)
Resolucao:
De fato, a serie de funco~es complexas (8.72) pode ser colocada na forma (8.67), bastando,
para cada n {0} N, denirmos o n-esimo coeciente da mesma, ou seja,
. 1
an = . (8.74)
n!
Assim
zn
1 n
= z
n=0
n! n=0 n!
(8.74)
= an zn , para cada z C .
n=0
Temos agora o:
Teorema 8.5.1 Dada a serie de pot^encias complexas
a n zn , (8.75)
n=0
Alem disso, se r (0 , |zo |), temos que a serie de pot^encias complexas (8.75) sera
uniformemente convergente em
.
Dr = {z C ; |z| < r} . (8.77)
Ent~ao:
8.5. SERIE ^
DE POTENCIAS COMPLEXAS 285
Demonstracao:
De 1.:
Notemos que o item 1. e trivial, pois
an On = ao .
n=0
De 2.:
Sabemos que a serie numerica complexa an zon e convergente em C e zo = 0.
n=0
Logo, do criterio da diverg^encia para series numericas complexas (ou seja, o Corolario
(8.2.1)) segue que
lim (an zon ) = O .
n
Logo, da Proposic~ao (8.1.2), segue que a sequ^encia numerica complexa (an zon )nN devera
ser limitada, ou seja existe M (0 , ), tal que
Notemos que se
z D|zo | = {z C ; |z| < |zo |} (8.83)
ent~ao, para cada n {0} N, teremos:
n
n zo =0
z
|an z | = |an zon |
zon
n
z
M
zo
= M rn , (8.84)
onde
. z (8.83)
r = < 1. (8.85)
zo
286 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
De fato, para
r (0 , |zo |) xado,
isto e, 0 < r < |zo | ,
r
ou ainda, 0< < 1, (8.86)
|xo |
segue que, se
zB
como vale (8.82) (com z no lugar de zo ), teremos:
n
n zo =O
z
|an z | = |an zon |
zon
(8.82) |z|n
M
|zo |n
rn
M
|zo |n
( )n
r
=M
|zo |
= M cn . (8.87)
onde
. r (8.86)
c = < 1. (8.88)
zo
Notemos que a serie numerica
M cn = M cn
n=0 n=0
e convergente em R (e uma serie geometrica cuja raz~ao c, e de (8.88), satisfaz c [0 , 1)).
8.5. SERIE ^
DE POTENCIAS COMPLEXAS 287
Logo, do teste M. de Weierstrass (isto e, do Teorema (8.4.1)), segue que a serie de pot^encias
O conjunto formado por todos os z C, onde a serie de pot^encias complexas an zn
n=0
e convergente sera dito crculo de convergencia da serie de potencias an zn .
n=0
Mostre que
R = 1. (8.94)
Resolucao:
Observemos que a serie de pot^encias complexa (8.93), converge em
.
zo = i ,
n=1
n n=1
n
n=1
n n=1
n
R = 1.
8.5. SERIE ^
DE POTENCIAS COMPLEXAS 289
que esta bem denida, pois a a serie de pot^encias (8.75) converge pontualmente em DR .
Ent~ao a func~ao f e contnua em DR .
Demonstracao:
Deixaremos os detalhes como exerccio para o leitor.
Observacao 8.5.3
1. Mas adiante mostraremos que na verdade a func~ao f, dada por (8.95), e holomorfa
em DR (veja o Teorema (8.7.2)).
2. Devido ao item 2. da Observac~ao (8.5.1), podemos obter propriedades semelhantes
as obtidas acima para uma serie de pot^encias complexas centrada em c = O, ou
seja, para a serie de pot^encias complexas
an (z c)n , para z C . (8.96)
n=0
converge pontualmente em Vo .
Em particular, denira uma func~ao f : Vo C, que sera dada por:
. f(n) (zo )
f(z) = (z zo )n , para z Vo . (8.102)
n=0
n!
8.10.2015 - 17.a
Demonstracao:
Seja z Vo e denamos
. zVo e (8.100)
r = |z zo | < ro , (8.103)
Para cada
r1 (r , ro ) , (8.104)
consideremos a circunfer^encia centrada no ponto zo e raio igual a r1 , que indicaremos por C1 ,
ou seja
.
C1 = {w C ; |w zo | = r1 } , (8.105)
orientada positivamente.
Como a func~ao f e holomorfa em D, e o caminho fechado C1 D esta orientada positi-
vamente, dos Teoremas (7.6.1) e(7.8.1) (ou seja, Teorema de Cauchy-Goursat para domnios
simplesmente conexos e a formula integral de Cauchy), segue que
1 f(w)
f(z) = dw . (8.106)
2 i C1 wz
i z
C1
zo
w Co
. z zo
Logo, considerando-se = em (8.108), teremos
w zo
( )n
z zo
( )n1
1 (8.108) z zo z zo w zo
z zo = 1 + + + + z zo . (8.109)
1 w z o w zo 1
w zo w zo
f(w) 1
= f(w)
wz wz ( )n
z zo
1 ( )n1
(8.110) z z z z w z
= f(w)
1 +
o
+ +
o
+
o
w zo w zo w zo z zo
1
w zo
f(w) f(w) f(w)
= + (z zo ) + + (z zo )n1
w zo (w zo ) 2
(w zo )n
f(w)
+ (z zo )n
[(w zo ) (z zo )] (w zo )n
f(w) f(w) f(w)
= + (z zo ) + + (z zo )n1
w zo (w zo ) 2
(w zo )n
f(w)
+ n (z zo ) .
n
(8.111)
(w z) (w zo )
Logo, integrando (8.111), sobre o caminho fechado C1 (que esta orientado positivamente)
e dividindo-se o resultado por 2 i, obteremos:
[
1 f(w) 1 f(w) f(w) f(w)
dw = + (z zo ) + + n (z zo )
n1
2 i C1 wz 2 i C1 w z o (w z ) 2
(w z o )
o
]
f(w)
n (z zo )
n
+ dw
(w z) (w zo )
[ ] [ ]
1 f(w) 1 f(w)
= dw + dw (z zo ) + +
2 i C1 w zo 2 i C1 (w zo )2
[ ]
1 f(w)
+ dw (z zo )n1
2 i C1 (w zo )n
[ ]
1 f(w)
+ dw (z zo )n . (8.112)
2 i C1 (w z) (w zo )n
Observemos que, para cada j N {0}, do Teorema (7.9.1) (ou seja, da formula integral
de Cauchy generalizada, isto e, (7.256)) segue que
fj (zo ) 1 f(w)
= dw . (8.113)
j! 2 i C1 (w zo )j+1
8.6. SERIE DE TAYLOR COMPLEXA 293
1
f(w)
+ n dw (z zo )
n1
2 i C1 (w zo )
| {z }
(8.113) com j=n1 f(n1) (zo )
=
[ ]
(n1)!
1 f(w)
+ n dw (z zo )
n
2 i C1 (w z) (w zo )
f(zo ) f (zo ) f(n1) (zo )
= + (z zo ) + + (z zo )n1 + Rn (z) , (8.114)
0! 1! (n 1)!
onde
. (z zo )n f(w)
Rn (z) = dw . (8.115)
2 i C1 (w z) (w zo )n
Alem disso, como a func~ao f e holomorfa em D, segue que ela sera contnua em D.
Como o caminho fechado C1 e um subconjunto limitado e fechado de D C, segue que a
restricao da funcao f ao conjunto C1 sera limitada, ou seja, existe M > 0, tal que
Observacao 8.6.1
1. A serie de pot^encias complexas (8.102), sera dita serie de Taylor associada a fun-
cao holomorfa f, centrada em zo .
de (8.102), teremos:
. f(n) (O) n
f(z) = z para z Vo , (8.122)
n=0
n!
onde
.
Vo = {z C ; |z| < ro } .
3. Notemos que, pelo Teorema (8.6.1) (ou seja, da converg^encia da serie de Taylor), a
converg^encia pontual da serie de Taylor associada a func~ao f, centrada em zo C,
estara assegurada no interior de qualquer circunfer^encia de centro em zo e raio
r > 0, onde r e qualquer numero real positivo que seja menor que a dist^ancia do
ponto zo ate o ponto singular da func~ao f, mais proximo do ponto zo .
A gura abaixo ilustra a situac~ao acima, onde z1 e o ponto singular da func~ao f
mais proximo do ponto zo , r (0 , Ro ) e Ro =. d(zo , z1 ).
zo
.
Ro = d(zo , z1 )
Co
Resolucao:
Como a func~ao f e inteira segue, do Teorema (8.6.1) (ou seja, da converg^encia da serie de
.
Taylor com zo = O) que a serie de Maclaurin associada a func~ao f converge pontualmente
para a func~ao f, em qualquer ponto z C.
Mas, para cada n N {0}, temos que
dn
(8.123)
f(n) (z) = [exp(z)]
dzn
= exp(z) , para cada z C,
logo, f(n) (zo ) o= exp(O)
z =O
= 1. (8.124)
(8.123)
exp(z) = f(z)
(8.122)
f(n) (O)
= zn
n=0
n!
(8.124)
1
= zn , (8.125)
n=0
n!
para cada z C.
Observacao 8.6.2 Poderamos ter aplicado o Teorema (8.6.1) (ou seja, da converg^encia
da serie de Taylor com zo =. O) para obter uma expans~ao em serie de Taylor associada
a func~ao f em zo C xado e esta sera convergente pontualmente para a func~ao f, em
qualquer ponto z C.
Alem disso, teremos
[
]
exp(zo )
exp(z) = (z zo ) n
, (8.126)
n=0
n!
para cada z C.
Deixaremos a vericac~ao deste fato como exerccio para o leitor.
Como a func~ao f e holoforma C \ {1}, segue, do Teorema (8.6.1) (ou seja, da converg^encia
.
da serie de Taylor com zo = O) que a serie de Maclaurin, associada a func~ao f, converge
pontualmente para a func~ao f, em qualquer ponto de
.
V1 = {z C ; |z| < Ro = 1} . (8.128)
8.6. SERIE DE TAYLOR COMPLEXA 297
= n! . (8.129)
1 (8.127)
= f(z)
1z
(8.122)
f(n) (O)
= zn
n=0
n!
(8.129) n!
= zn
n=0
n!
= zn , (8.130)
n=0
para cada z V1 .
Temos tambem o:
onde existir.
Resolucao:
Notemos que
.
Ro = d(zo , z1 )
= d(1 , O) = 1 .
Como a func~ao f e holoforma C\{O}, segue, do Teorema (8.6.1) (ou seja, da converg^encia da
.
serie de Taylor com zo = 1) que a serie de Taylor associada a func~ao f converge pontualmente
para a func~ao f em qualquer ponto de
.
V1 = {z C ; |z 1| < Ro = 1} . (8.132)
298 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
1 (8.131)
= f(z)
z
(8.122)
f(n) (zo )
= (z zo )n
n=0
n!
(8.133) e zo =1
n! (1)n
= (z 1)n
n=0
n!
= (1)n (z 1)n , (8.134)
n=0
para cada z V1 .
Deixaremos a cargo do leitor a resoluc~ao do:
1
= (1)n z2 n , para cada z {z C ; |z| < 1} , (8.140)
1 + z2 n=0
8.7. INTEGRAC ~ DE SERIES
AO ^
DE POTENCIAS COMPLEXAS 299
Demonstracao:
Para cada z Vo , notemos que, para cada N N, teremos:
(8.141)
S(z) = an zn (8.143)
n=0
N1
= an zn + an zn
n=0 n=N
N1
= an zn + RN (z) , (8.144)
n=0
e inteira (pois e uma func~ao polinomial), logo contnua em C, segue que podemos integrar,
sobre o caminho C , ambos os lado de (8.146) e assim obteremos:
{
N1
}
(8.146)
S(z) g(z) dz = an zn g(z) + RN (z) g(z) dz
C C n=0
N1 [ ]
propriedades de integrac~ao
= an z g(z) dz +
n
RN (z) g(z) dz . (8.147)
n=0 C C
Armamos que: [ ]
lim RN (z) g(z) dz = O . (8.148)
N C
De fato, como a func~ao g e contnua em Vo e C e um caminho contido em Vo , segue que
a restric~ao da func~ao g ao caminho C sera limitada, ou seja, podemos encontrar M > 0, de
modo que
|g(z)| M , para z C . (8.149)
Seja
.
L = lC (comprimento do caminho C ) > 0 . (8.150)
Notemos tambem que, como consequ^encia do item 2. do Teorema (8.5.1), segue que a
serie de pot^encias complexa (8.141) converge uniformemente em C .
Logo, dado > 0, podemos encontrar No = No () N, de modo que
se N No , teremos: |RN (z)| < , (8.151)
ML
para todo z C , em particular, teremos:
|RN (z) g(z)| = |RN (z)| |g(z)|
(8.151),(8.149)
< M
ML
= . (8.152)
L
Assim, se N No , de (8.152) e do item 6. da Proposic~ao (7.4.1), segue que
(8.152),(8.150),(7.51)
RN (z) g(z) dz L
L
C
,
para todo z C , mostrando (8.148).
Logo, podemos passar o limite, quando N em (8.147), e assim obter:
{N1 [ ] }
(8.146)
S(z) g(z) dz = lim an zn g(z) dz + RN (z) g(z) dz
C N C C
n=0
{N1 [ ]} { }
= lim an z g(z) dz
n
+ lim RN (z) g(z) dz
N C N C
n=0
[ ]
(8.148)
= an z g(z) dz ,
n
(8.153)
n=0 C
8.7. INTEGRAC ~ DE SERIES
AO ^
DE POTENCIAS COMPLEXAS 301
ou seja,
[an z ] g(z) dz = S(z) g(z) dz
n
C
C
|
n=0
{z }
(8.143)
= S(z)
[
]
(8.153)
= an z g(z) dz ,
n
n=0 C
Observacao 8.7.1 Reforcando: o Teorema (8.7.1) acima nos fornece condicoes sufi-
cientes, para que uma s
erie de pot^encias complexa possa ser integrada, termo a termo,
sobre um caminho contido no interior do crculo de converg^encia da mesma.
Apliquemos o resultado acima ao:
Exemplo 8.7.1 Seja C um caminho contido no crculo Vo =. {z C ; |z| < 1}.
Calcule, se existir a integral de linha complexa
z
dz . (8.154)
C 1z
Resolucao:
Notemos que, do Exermplo (8.6.2), segue que
1
= zn , para z Vo . (8.155)
1 z n=0
[ ]
(8.156) n+1
= z dz ,
n=0 C
completando a resoluc~ao.
Como consequ^encia do Teorema (8.7.1), temos o:
302 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Teorema 8.7.2 Uma serie de pot^encias complexa representa uma func~ao holomorfa em
todos os pontos interiores do seu crculo de converg^encia, ou seja, se Ro > 0 e a serie
de pot^encias complexa
a n zn , (8.157)
n=0
.
f(z) = an zn , para cada z Vo , (8.158)
n=0
= O,
z 7 zn
que e o conhecido 1.o limite fundamental para func~oes de variavel complexa, a valores
complexos.
Podemos aplicar o resultado acima ao importante:
Exemplo 8.7.3 Mostre que
(1)n
Log(1 + z) = zn+1 , para cada z V1 , (8.163)
n=0
(n + 1)
onde
.
V1 = {z C ; |z| < 1} . (8.164)
Resolucao:
Do Exemplo (8.6.2), para cada z V1 , segue que
. em (8.130)
1 z=z
= (z)n
1+z n=0
= (1)n zn . (8.165)
n=0
n=0 O
[ w=z ]
item 5. da Observac~ao (7.7.4) (1)n
= w n+1
n+1
n=0 w=O
(1)n n+1
= z . (8.167)
n=0
n+1
Logo, para cada z V1 , de (8.169), (8.172) e do item 5. da Observac~ao (7.7.4), segue que:
z
(7.158) 1
Log(1 + z) = dw
O 1+w
(8.169) (1)n
= zn+1 ,
n=0
n + 1
completando a resoluc~ao.
Teorema 8.8.1 Uma serie de pot^encias complexa pode ser derivada, termo a termo,
em cada ponto do interior do seu crculo de converg^encia, ou seja, se Ro > 0 e a serie
de pot^encias complexa
an zn , (8.169)
n=0
.
f(z) = an zn , para cada z Vo , (8.170)
n=0
.
f (z) = an n zn1 , para cada z Vo , (8.171)
n=1
Demonstracao:
Seja z1 Vo e C um caminho fechado contido em Vo , orientado positivamente, que conte-
nha o ponto z1 no seu interior.
A gura abaixo ilustra a situac~ao descrita acima.
306 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
z1
Vo C
-
Como a func~ao f, dada por (8.172), e holomorfa em Vo , segue, da Proposic~ao (7.9.1), que
(7.234)
1 f(z)
f (z1 ) = dz
2 i C (z z1 )2
1 1
= f(z) dz . (8.173)
2 i C (z z1 )2
Consideremos a func~ao g : C \ {z1 } C, dada por
. 1
g(z) = , para cada z C \ {z1 } . (8.174)
2 i (z z1 )2
Notemos que a func~ao g e holomorfa em C \ {z1 }.
Logo, para cada n N xado, da Proposic~ao (7.9.1), segue que
(8.174) 1 zn
z g(z) dz =
n
dz
C 2 i C (z z1 )2
(7.234) d n
= [z ]
dz z=z1
= n z1n1 (8.175)
e, da Proposic~ao (7.9.1), teremos
1 .
(7.234) como f(z)=1 d
= [1]
C (z z1 )2 dz z=z1
= O. (8.176)
Portanto, do Teorema (8.7.1), teremos
(8.173) e (8.174)
f (z1 ) = f(z) g(z) dz
C
[
]
(8.142)
= an z g(z) dz
n
n=0 C
(8.176) e (8.175)
= an n z1n1 ,
n=1
8.8. DIFERENCIAC ~ DE UMA SERIE
AO ^
DE POTENCIAS COMPLEXA 307
Demonstracao:
A demonstrac~ao deste resultado e consequ^encia do Teorema (8.8.1) e induc~ao sobre a
ordem de derivac~ao.
Deixaremos os detalhes como exerccio para o leitor.
Apliquemos o resultado acima ao:
Exemplo 8.8.1 Consideremos a func~ao f : C C, dada por
.
f(z) = sen(z) , para cada z C . (8.178)
completando a resoluc~ao.
308 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
converge em Vo =. {z C ; |z zo | < Ro }.
Ent~ao a serie de pot^encias (8.180) acima e a serie de Taylor associada a func~ao f,
centrada no ponto zo , ou seja,
. f(n) (zo )
f(z) = (z zo )n , (8.181)
n=0
n!
(8.177)
= an n (n 1) (n 2) (n k + 1) (zo zo )nk
n=k
todas as parcelas s~ao iguais a sero, exceto, na 1.a, ou seja, quando n = k
= ak k (k 1) (k 2) (k k)
= ak k! ,
f(k) (zo )
ou seja, ak = ,
k!
isto e, a serie de pot^encias (8.180) coincide com a serie de Taylor associada a func~ao f,
centrada no ponto zo , completando a demonstrac~ao.
.
n
cn = ak bnk , (8.184)
k=0
sera convergente em Vo .
Demonstracao:
Basta utilizar o Teorema (8.9.1) para a func~ao
z 7 f(z) g(z) ,
Resolucao:
Como vimos no Exemplo (8.6.2), para cada w Vo , segue que
. em (8.130)
1 z=w
= wn . (8.188)
1w n=0
temos que:
(8.187) 1
h(z) =
(z 1) (z 2)
Exerccio 1 1 1
= z
2 1 z}
|1 {z
| {z } 2
w = z em (8.188)
( )
.
w = z em (8.188)
. z n
= zn
2
= n=0
n=0
2
1 ( z )n n
= z
2 n=0 2 n=0
( )
1
= n+1
1 zn ,
n=0
2
ou seja, pela Denic~ao (8.11.1), temos que zo = O e um zero de ordem 2 da func~ao f, dada
por (8.190), completando a resoluc~ao.
Temos a:
Observacao 8.11.1
1. Se m N{0}, D e um domnio em C, zo D e a func~ao f : D C e holomorfa em
.
zo , do Teorema (8.6.1), podemos encontrar > 0, de modo que Vo = V(zo ; ) D
e a func~ao f pode ser representada em serie de Taylor, centrada em zo , em Vo , ou
seja,
f(n) (zo )
f(z) = (z zo )n , para z Vo . (8.194)
n=0
n!
Suponhamos que a func~ao f tem um zero de ordem m no ponto zo , isto e, pela
Denic~ao (8.11.1), temos:
f(zo ) = f (zo ) = = f(m1) (zo ) = O , (8.195)
e f(m) (zo ) = O . (8.196)
4. Em particular, se m = 1, ou seja, se
f(zo ) = O ,
e f (zo ) = O , (8.203)
ou ainda, os zeros de uma func~ao holomorfa, n~ao identicamente nula, s~ao pontos
isolados.
Com isto acabamos de demonstrar o:
Como vimos nas seco~es anteriores, em algumas situaco~es as funco~es consideradas podem
n~ao possuir series de Taylor que a represente em algum vizinhnca de um ponto.
O que faremos a seguir e estender a noc~ao de series de pot^encias, permitindo que possamos
incluir, eventualmente, potencias negativas.
Tais "series de pot^encias" ser~ao ditas series de Laurent associada a func~ao complexa
considerada.
Comecaremos pelo:
Teorema 8.12.1 (da serie de Laurent) Sejam zo C, 0 < r2 < r1 , denotemos por C1 e
C2 , as circunfer^
encias centradas em zo , como raios iguais a r1 e r2 , respectivamente,
orientadas positivamente, U um conjunto aberto, conexo (por caminhos) em C, de modo
que zo e ponto interior de Uc .
Suponhamos que a func~ao f : U C e holomorfa em U.
Ent~ao a func~ao f pode ser representada em uma serie de pot^encias positivas e ne-
gativas de (z zo ), na regi~ao anular (veja a gura abaixo)
.
A12 = {z U ; r2 < |z zo | < r1 } , (8.207)
da seguinte forma:
f(z) = an (z zo ) + n
bn (z zo )n
n=0 n=1
bn
= an (z zo )n + , (8.208)
n=0 n=1
(z zo )n
Demonstracao:
A gura abaixo descreve a situac~ao descrita acima.
8.12. SERIES DE LAURENT PARA FUNC ~
OES COMPLEXAS 315
r2 C2
A12
zo C1
r1
/
1 f(w)
f(z) = dw
2 i C1 C2 wz
itens 1. e 5. da Proposic~ao (7.4.1) 1 f(w) 1 f(w)
= dw dw . (8.211)
2 i C1 wz 2 i C2 w z
| {z } | {z }
.
=I
.
=II
1 1
=
wz (w zo ) (z zo )
1 1
=
(w zo ) 1 z zo
w zo
(
)n
z zo
( )n1
(8.109) 1 z z z z w zo
o o
= 1 + + + s +
(w zo ) w zo w zo 1
z zo
w zo
n1 n
1 z zo (z zo ) (z zo )
= + + + + . (8.212)
w zo (w zo ) 2 (w zo ) n (w zo )n (w z)
316 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
1 1
=
wz (z zo ) (w zo )
1 1
=
(z zo ) 1 zo
w
z zo
)n (
w zo
( )n1
(8.109) 1 w zo w zo z zo
=
1 + + + s+
(z zo ) z zo z zo w zo
1
z zo
n1 n
1 w zo (w zo ) (w zo )
= + + + + . (8.213)
z zo (z zo ) 2 (z zo ) n (z zo )n (z w)
Substituindo (8.212) e (8.213) nas integrais de linha I e II (ou seja, em (8.211)), obteremos:
[
1 f(w) f(w) f(w)
f(z) = + (z zo ) + + (z zo )n1
2 i C1 w z o (w z o ) 2 (w z o ) n
]
f(w)
+ (z zo ) dwn
(w zo )n (w z)
[
1 f(w) f(w) (w zo ) f(w) (w zo )n1
+ + + +
2 i C 2 z zo (z zo )2 (z zo )n
]
f(w) (w zo )n
+ dw
(z zo )n (z w)
(8.209) com n=0 (8.209) com n=1
= ao = a1
z }| { z }| {
item 3. da Proposic~ao (7.4.1) 1 f(w) 1 f(w)
= dw + dw (z zo ) +
2 i C1 w zo 2 i C1 (w zo )2
(8.209)
= an
.
=Rn (z)
z }| { z }| {
1 f(w) 1 f(w)
+ dw (z zo ) n1
+ dw (z zo )n
2 i C1 (w zo )n 2 i C1 (w zo )n (w z)
(8.210) com k=2
(8.210) com k=1 1
= 2 i C
f(w)
dw = b2
= b1 2 (wzo )1
z }| { z }| {
1 1 1 1
+ f(w) dw + f(w) (w zo ) dw +
2 i C2 z zo 2 i C2 (z zo )2
f(w) (8.210) com k=n
1
= 2 i C dw = bn
2 (wzo )n+1
z }| {
1 1 1 f(w) (w zo )n 1
+ f(w) (w zo ) n1
dw + dw
2 i C2 (z zo )n 2 i C2 (z w) (z zo )n
| {z }
.
=Qn (z)
= ao + a1 (z zo ) + + an (z zo )n1 + Rn (z)
b1 b2 bn
+ + + + + Qn (z) , (8.214)
z zo (z zo )2 (z zo )n
8.12. SERIES DE LAURENT PARA FUNC ~
OES COMPLEXAS 317
|w zo | = r2 . (8.221)
|w z| = |(w zo ) (z zo )|
|z zo | |w zo |
(8.219),(8.221) (8.220)
= r r2 > 0. (8.222)
Observacao 8.12.1
1. A serie de pot^encia positivas e negativas (8.208) sera dita serie de Laurent associa-
da a funcao f, centrada em zo .
Alem disso, para cada k N, do Teorema (7.5.2) (ou seja, do Teorema de Cauchy-
Goursat), segue que
(8.210) 1 f(w)
bn = dw
2 i C2 (w zo )k+1
1
= f(w) (w zo )k1 dw
2 i C2 | {z }
e holomorfa em C2 e no seu interior
= O. (8.229)
f(z) = AN (z zo )N , (8.230)
N=
(8.232)
C2
A12
zo C1
converge para cada z A12 , ent~ao ela sera a serie de Laurent, centrada em zo , associada
a func~ao f em A12 .
Demonstracao:
A demonstrac~ao e semelhante a do Teorema (8.6.1) (que nos fornece a unicidade da
representac~ao de uma func~ao holomorfa em serie de Taylor).
Para isto, consideremos um caminho fechado C contido na regi~ao anular A12 , orientada
positivamente, de modo que o ponto zo pertenca ao seu interior.
Ent~ao utilizando o integrac~ao, termo a termo, da serie de funco~es (8.250), sobre o caminho
fechado C , pode-se mostrar que, para cada N Z, teremos:
1 f(w)
AN = dw .
2 i C (w zo )N+1
Deixaremos a vericac~ao deste fato como exerccio para o leitor.
Com isto conclumos a demonstrac~ao.
20.10.2015 - 20.a
Apliquemos os resultados acima ao:
Exemplo 8.12.2 Consideremos a func~ao f : C \ {1 , 2} C, dada por
. 1
f(z) = , para cada z C \ {1 , 2} . (8.251)
(z 1) (z 2)
Obter a representac~ao em serie de Laurent, centrada em zo = O, da func~ao f, nas
seguintes regi~oes do plano complexo:
.
V1 = {z C ; |z| < 1} , (8.252)
.
V2 = {z C ; 1 < |z| < 2} , (8.253)
.
V3 = {z C ; 2 < |z|} . (8.254)
(8.255)
Resolucao:
Notemos que, para z C \ {1 , 2}, teremos:
(8.251) 1
f(z) =
(z 1) (z 2)
Exerccio 1 1
= + . (8.256)
z2 z1
324 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Na regiao V1 :
Observemos que se z V1 segue que
z
|z| < 1 , implicando que < 1. (8.257)
2
z
Deste modo, do Exemplo (8.2.3) (serie geometrica de raz~ao ), teremos:
2
1 1
= ( z)
z2 2 1
2
1 1
=
2 1 z
2 [ ]
| 2 |<1 e (8.29) 1 ( z )n
z
= . (8.258)
2 n=0 2
Notemos tambem que, do Exemplo (8.2.3) (serie geometrica de raz~ao z), teremos:
1 1
=
z1 1z
|z|<1 e (8.29)
= zn . (8.259)
n=0
sera a serie de Laurent, centrada em zo = O, associada a func~ao f, dada por (8.251), na regi~ao
V1 .
Na regiao V2 :
8.12. SERIES DE LAURENT PARA FUNC ~
OES COMPLEXAS 325
1
Deste modo, do Exemplo (8.2.3) (serie geometrica de raz~ao ), teremos:
z
1 1
= ( )
z1 1
z 1
z
1 1
z 1
1
z [ ( ) ]
|z| 1 1
n
1
<1 e (8.29)
=
z n=0
z
1
= n+1
. (8.262)
n=0
z
z
Notemos tambem que, do Exemplo (8.2.3) (serie geometrica de raz~ao ), teremos:
2
1 (8.258)
zn
= = n+1
. (8.263)
z2 n=0
2
(8.256) 1 1
f(z) = +
z2 z1
(8.262),(8.263)
zn
1
= n+1
n+1
n=0
2 n=0
z
( )
zn 1
= + , (8.264)
n=0
2n+1 zn+1
sera a serie de Laurent, centrada em zo = O, associada a func~ao f, dada por (8.251), na regi~ao
V2 .
Na regiao V3 :
Observemos que se z V3 segue que
2
2 < |z| , implicando que: < 1 e 1 < 1 . (8.265)
z z
326 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
(8.256) 1 1
f(z) = +
z2 z1
1 1 1
= 2
+
1
z
1 1
[ z ( ) z ( ) ]
(8.29) 1 2 n 1 n
= +
z n=0
z n=0
z
1 2n
= , (8.266)
n=0
zn+1
sera a serie de Laurent, centrada em zo = O, associada a func~ao f, dada por (8.251), na regi~ao
V3 .
Observacao 8.12.4
C \ {1 , 2} ,
V3
6
V2
V1
-
1 2
8.13 Exerccios
328 CAPITULO 8. SERIES
^
DE POTENCIAS
COMPLEXAS E SERIES DE LAURENT
Captulo 9
Resduos e Polos
Um dos objetivos deste captulo e utilizar, entre outros, as series de Laurent para encontrar
o valor de integrais de linha para funco~es de uma variavel complexa, a valores complexos.
Para tanto comecaremos com a:
1. f : C C, dada por
1 , para z C \ {O}
.
f(z) = z . (9.1)
O , para z=O
2. g : C C, dada por
( 1 ), para z C \ {O , 3 i , 3 i}
.
g(z) = z z2 + 9 . (9.2)
O , para z {O , 3 i , 3 i}
329
330 CAPITULO 9. RESIDUOS E POLOS
3. h : C C, dada por
{ }
1
() , para z C \
1
; ,n Z
. sen n
(9.3)
h(z) =
z { } .
1
O, para z ;nZ
n
Resolucao:
Para a funcao do item 1.:
.
Notemos que o unico ponto onde a func~ao f n~ao e holomorfa e zo = O.
Deste modo o ponto zo = O e um ponto singular isolado da func~ao f.
Para a funcao do item 2.:
. .
Notemos que os unicos pontos onde a func~ao g n~ao e holomorfa e z1 = O, z2 = 3 i e
.
z2 = 3 i .
Deste modo cada um dos pontos z1 = O, z2 = 3 i e z2 = 3 i, e um ponto singular
isolado da func~ao g.
Para a funcao do item 2.:
. . 1
Notemos que os unicos pontos onde a func~ao h n~ao e holomorfa s~ao zo = O e zn = ,
n
para cada n Z.
. 1
Observemos que cada um dos pontos zn = , para cada n Z, e um ponto singular
. n
isolado da func~ao h, porem o pponto zo = O e um ponto singular da func~ao h, mas n~ao e
isolado, pois qualquer vizinhanca do ponto zo em C contem pontos sigulares da func~ao h (a
. 1
saber, zn = , para n Z sucientemente grande).
n
Temos a:
Observacao 9.1.1 Na situac~ao da Denic~ao (9.1.1), se zo U e um ponto singular
isolado da func~ao f ent~ao existe > 0, de modo que a func~ao f e holomorfa em
.
Vo = {z U ; 0 < |z zo | < } .
completando a resoluc~ao.
Resolucao:
Consideremos a func~ao f : C C, dada por
( )
exp 1 , para z C \ {O}
.
f(z) = z2 . (9.13)
O , para z = O
Observemos que, o ponto zo = O e o unico ponto singular da func~ao f e, alem disso, este
e isolado.
Notemos que, para z = O, segueque:
( )
(9.13) 1
f(z) = exp 2
z
( )n
(8.236) 1
1
=
n=0
n! z2
1 1 1 1
=1+ + + + + + , (9.14)
z 2
2! z 4 3! z6 n! z2 n
e uma representac~ao da func~ao f em serie de Laurent, centrada em zo = O.
Em particular, de (9.14), segue que
b1 = 0 . (9.15)
Mas
(9.15)
0 = b1
(9.7) 1
= f(z) dz
2 i C
( )
(9.13) 1 1
= exp 2 dz ,
2 i C z
( )
1
ou seja, exp 2 dz = 0 ,
C z
completando a resoluc~ao.
9.1. RESIDUOS 333
e
g(z) , para z C \ {1}
. 2
f(z) = (z 1)
O , para z = 1
exp (z) , para z C \ {1}
(9.17)
= (z 1)2 (9.18)
O , para z = 1
(9.19) n=0
n!
= =
(z 1)2
[ ]
(1)n
= e1 (z 1)n2
n=0
n!
e1 e1 e1 e1
= + (z 1)+
(z 1)2 1! (z 1) 2! 3!
e1 (1)n
+ (z 1)n2 + , (9.20)
n! n!
e uma representac~ao da func~ao f em serie de Laurent, centrada em zo = 1.
Em particular, de (9.20), segue que
b1 = e1 . (9.21)
Mas
(9.21)
e1 = b1
(9.7) 1
= f(z) dz
2 i C
(9.18) 1 exp (z)
= dz ,
2 i C (z 1)2
exp (z) 2 i
ou seja, 2
dz = ,
C (z 1) e
completando a resoluc~ao.
Um resultado muito importante relacionado com as quest~oes acima e dado pelo:
Teorema 9.1.1 (dos resduos) Sejam D um domnio de C, f : D C holomorfa em
D, exceto em um n umero nito de pontos singulares isolados, que indicaremos por
z1 , z2 , , zn D e C um caminho fechado contido em D, orientado positivamente, de
modo que todos os pontos zj , para cada j {1 , 2 , , n}, pertencam ao seu interior (veja
a gura abaixo).
Para cada j {1 , 2 , , n}, indiquemos por K(zj ), o resduo da func~ao f no ponto zj .
Ent~ao
n
f(w) dw = 2 i K(zj )
C j=1
Demonstracao:
Para cada j {1 , 2 , , n}, consideremos uma circunfer^encia de centro no ponto singular
isolado zj e raio igual a rj (bem pequeno, de modo que V(zj ; , rj ) D), que indicaremos por
Cj , orientado positivamente.
Diminuindo os raios rj > 0, para j {1 , 2 , , n}, podemos supor, sem perda de generali-
dade, que as circunfer^encias Cj , para j {1 , 2 , , n}, s~ao disjuntas e todas estejam contidas
no interior do caminho fechado C .
A gura abaixo ilustra a situac~ao acima.
6
C3
z3
C1
C4
z1 z4
C2
z2
Deste modo, a regi~ao que e interior do caminho fechado C e exterior dos caminhos fechados
Cj , para j {1 , 2 , , n}, forma um aberto de C onde podemos aplicar o Teorema (7.6.2) (ou
seja, o teorema de Gauchy-Goursat para domnios multipliamente conexos) e assim concluir
que
O= f(w) dw
CC1 C2 Cn
itens 1. e 5. da Proposic~ao (7.4.1)
= f(w) dw f(w) dw f(w) dw
C C1 C2
f(w) dw
Cn
ou seja, f(w) dw = f(w) dw + f(w) dw + + f(w) dw (9.23)
C C1 C2 Cn
Para cada j {1 , 2 , , n}, do Teorema (7.8.1) (ou seja, da formula integral de Cauhcy),
segue que
f(w) dw = 2 i K(zj ) . (9.24)
Cj
.
C = {z C ; |z| = 2} . (9.26)
Resolucao:
Consideremos a func~ao f : C C, dada por
5 z 2 , para z C \ {O , 1} ,
.
f(z) = z (z 1) . (9.27)
O , para z {O , 1}
. .
Notemos que a func~ao f e holomorfa em C \ {O , 1} e, alem disso, os pontos z1 = O e z2 = 1
s~ao pontos singulares isolados da func~ao f e estes pertencem ao interior de C .
A gura abaixo ilustra a situac~ao descrita acima.
7
2 C
-
z1 = 0 z2 = 1
Pelo Teorema (9.1.1) (ou seja, o teorema dos resduos), para calcular a integral de linha
(9.25), basta determinarmos os resduos
teremos:
(9.27) 5z2
f(z) =
z (z 1)
5 (z 1) + 3
=
z (z 1)
5 3
= +
z z (z 1)
5 3 1
=
z z 1z [ ]
se |z| < 1, de (8.29) 5 3 n
= z
z z n=0
5 3
= 3 zn1
z z n=1
2
= 3 zn1
z n=1
2
= 3 3 z 3 z2 3 zn + , (9.28)
z
K(O) = 2 . (9.29)
.
z V1 = {z C ; 0 < |z 1| < 1} ,
teremos z = O e
1 1
=
z 1 (1 z)
se 0 < |z 1| < 1, de (8.29)
= (1 z)n
n=0
= (1)n (z 1)n . (9.30)
n=0
338 CAPITULO 9. RESIDUOS E POLOS
completando a resoluc~ao.
para z Vo =. Vo \ {zo }.
A parte da serie de Laurent (9.36) que envolve as pot^encias negativas de (z zo ), ou
seja,
bn
, (9.34)
n=1
(z zo )n
para z Vo .
Neste caso diremos que o ponto singular isolado zo , da func~ao f, sera um polo de or-
dem mo da funcao f.
Se mo = 1, diremos que o polo zo e um polo simples.
Se existem innitos m N tais que, em (9.34) tenhamos
bm = O ,
Resolucao:
.
Notemos que a func~ao f e holomorfa em C \ {O} e, alem disso, o ponto zo = O e um ponto
singular isolado da func~ao f.
340 CAPITULO 9. RESIDUOS E POLOS
Resolucao:
.
Notemos que a func~ao f e holomorfa em C \ {2} e, alem disso, o ponto zo = 2 e um ponto
singular isolado da func~ao f.
Notemos tambem que, para z = zo = 2, teremos:
z2 2 z + 3
(9.40)
f(z) =
z2
z (z 2) + 3
=
z2
3
= + z, (9.41)
z2
que e a serie de Laurent, centrada em zo = 2, associada a func~ao f.
.
Logo, da Denic~ao (9.2.2), temos que zo = 2 e um polo simples (mo = 1) da func~ao f e o
resduo da func~ao f nesse polo sera:
Um outro caso interessante e dado pelo:
9.2. POLOS 341
Resolucao:
.
Notemos que a func~ao f e holomorfa em C \ {O} e, alem disso, o ponto zo = O e um ponto
singular isolado da func~ao f.
Notemos tambem que, para z = zo = O, do Exerccio (8.6.1), teremos:
( )
(9.42) 1
f(z) = cosh
z
( )2 n
(8.138)
1 1
=
n=0
(2 n)! z
1 1 1
=1+ 2
+ 4
+ + + , (9.44)
2! z 4! z (2 n)! z2 n
Temos a:
Observacao 9.2.1
onde
bmo = O . (9.48)
342 CAPITULO 9. RESIDUOS E POLOS
+ an (z zo )n+mo . (9.49)
n=0
Denindo-se
.
(zo ) = bmo = O , (9.50)
temos que a nova func~ao : Vo C tera representac~ao em serie de Taylor,
centrada em zo , dada por (9.49) na vizinhanca Vo .
Em particular, da Observac~ao (8.7.2), segue que a func~ao sera holomorfa em
Vo .
2. Notemos que, na situac~ao acima, poderamos denir (zo ) (em vez de (9.50)), da
seguinte forma:
.
(zo ) = lim (z)
zzo
(9.46)
= lim [(z zo )mo f(z)]
zzo
(9.49)
= b mo , (9.51)
ja que a func~ao holomorfa , devera ser contnua em zo .
3. Notemos que, como o limite (9.51) existe em C e seu valor e bmo = O, segue que
z=zo e (9.46) |(z)|
lim |f(z)| = lim
zzo zzo |z zo |mo
limzzo (z)=bmo =O e limzzo (zzo )mo =O
= . (9.52)
Resumindo demonstramos o:
Teorema 9.2.1 Suponhamos que estejamos na situac~ao do item 3. da Observac~ao
(9.2.2) (em particular, devemos ter (9.60)).
Ent~ao a func~ao f tera um tem um polo no ponto zo de ordem mo e o resduo da
func~ao f em zo , sera dado por (9.61).
Apliquemos as ideias acima ao:
Exemplo 9.2.5 Calcular o valor da integral de linha
5z2
dz , (9.62)
C z (z 1)
Resolucao:
Consideremos a func~ao f : C C, dada por
5 z 2 , para z C \ {O , 1} ,
.
f(z) = z (z 1) . (9.64)
O , para z {O , 1}
9.2. POLOS 345
. .
Notemos que a func~ao f e holomorfa em C \ {O , 1} e, alem disso, os pontos z1 = O e z2 = 1
s~ao pontos singulares isolados da func~ao f e estes pertencem ao interior de C .
Observemos que o polos z1 = O e um polo simples da func~ao f, pois considerando-se a
func~ao 1 : C \ {z1 } C, dada por
.
1 (z) = (z z1 ) f(z)
(9.64) com z=z1 =O 5z2
= z
z (z 1)
5z2
= , (9.65)
z1
podemos deni-la em z1 = O de modo a torna-la holomorfa em z1 = O.
Para isto basta considerar
.
1 (z1 ) = lim 1 (z)
zz1
(9.65) e z1 =O5z2
= lim
zO z 1
5O2
=
O1
= 2 = O . (9.66)
Logo, do Teorema (9.2.1), segue que a func~ao f tem um polo simples em z1 = O e, alem
disso, temos que:
K(O) = K(z1 )
(9.58)
= lim 1 (z)
zz1
(9.66)
= 2. (9.67)
Observemos que o polos z2 = 1 e um polo simples da func~ao f, pois considerando-se a
func~ao 2 : C \ {z2 } C, dada por
.
2 (z) = (z z2 ) f(z)
(9.64) com z=z2 =1 5z2
= (z 1)
z (z 1)
5z2
= , (9.68)
z
podemos deni-la em z2 = 1 de modo a torna-la holomorfa em z2 = 1.
Para isto basta considerar
.
2 (z2 ) = lim 2 (z)
zz2
(9.68) e z2 =1 5z2
= lim
z1 z
5O2
=
O1
= 3 = O . (9.69)
346 CAPITULO 9. RESIDUOS E POLOS
Logo, do Teorema (9.2.1), segue que a func~ao f tem um polo simples em z2 = 1 e, alem
disso, temos que:
K(1) = K(z2 )
(9.58)
= lim 2 (z)
zz2
(9.69)
= 3. (9.70)
Portanto, de (9.67) e (9.70), do Teorema (9.1.1) (ou seja, o Teorema dos resduos), segue
que
5z2
dz = 2 i [K(O) + K(1)]
C z (z 1)
(9.67),(9.70)
= 2 i [2 + 3]
= 10 i ,
completando a resoluc~ao.
Resolucao:
Consideremos a func~ao f : C C, dada por
z2 2 z
. ( ) , para z C \ {1 , 2 i , 2 i} ,
f(z) = (z + 1)2 z2 + 4 . (9.73)
O , para z {1 , 2 i , 2 i}
(9.74) e z1 =1 z2 2 z
= lim
z1 z2 + 4
(1)2 2 (1)
=
(1)2 + 4
3
= = O . (9.75)
5
.
Logo, do Teorema (9.2.1), segue que a func~ao f tem um polo de ordem mo = 2 (veja
(9.74)), em z1 = 1 e, alem disso, temos que:
K(1) = K(z1 )
{ mo 1 }
(9.61) 1 d
= lim [(z z1 ) f(z)]
mo
(mo 1)! zz1 dzmo 1
1 d 21
lim
mo =2
= (z + 1) f(z)
2
(2 1)! z1 dz21 | {z }
(9.74) 2
= z 2z
2
z +4
[ ]
d z2 2 z
= lim
z1 dz z2 + 4
( ) ( )
(2 z 2) z2 + 4 z2 2 z 2 z
= lim ( 2 )2
z1
z +4
Exerccio 14
= . (9.76)
25
.
Resduo em z2 = 2 i:
348 CAPITULO 9. RESIDUOS E POLOS
(9.77) e z2 =2i z2 2 z
= lim
z2i (z + 1)2 (z 2 i)
(2 i)2 2 (2 i)
=
[(2 i) + 1]2 [(2 i) 2 i]
Exerccio 7 i
= = O . (9.78)
25
Logo, do Teorema (9.2.1), segue que a func~ao f tem um polo simples (veja (9.77)), em
z2 = 2 i e, alem disso, temos que:
K(2 i) = K(z2 )
(9.58)
= lim 2 (z)
zz2
(9.78) 7i
= . (9.79)
25
.
Resduo em z3 = 2 i:
Consideremos a func~ao 3 : C \ {z3 } C, dada por
.
3 (z) = (z z3 ) f(z)
(9.73) com z=z3 =2i z2 2 z
= (z 2 i) ( )
(z + 1)2 z2 + 4
z2 2 z
= , (9.80)
(z + 1)2 (z + 2 i)
podemos deni-la em z3 = 2 i de modo a torna-la holomorfa em z3 = 2 i.
Para isto basta considerar
.
3 (z3 ) = lim 3 (z)
zz3
(9.80) e z2 =2i z2 2 z
= lim
z2i (z + 1)2 (z + 2 i)
(2 i)2 2 (2 i)
=
[(2 i) + 1]2 [(2 i) + 2 i]
Exerccio 7 + i
= = O . (9.81)
25
9.2. POLOS 349
Logo, do Teorema (9.2.1), segue que a func~ao f tem um polo simples (veja (9.80)), em
z3 = 2 i e, alem disso, temos que:
K(2 i) = K(z3 )
(9.58)
= lim 3 (z)
zz3
(9.81) 7+i
= . (9.82)
25
Portanto, de (9.76), (9.79) e (9.82), do Teorema (9.1.1) (ou seja, o Teorema dos resduos),
segue que
z2 2 z
( ) dz = 2 i [K(1) + K(2 i) + K(2 i)]
C (z + 1)2 z2 + 4
[ ]
(9.76),(9.79),(9.82) 14 7 i 7 + i
= 2 i + +
25 25 25
Exerccio
= O,
completando a resoluc~ao.
Temos tambem o:
Exemplo 9.2.7 Determinar os resduos da func~ao f : C C, dada por:
sen(z) , para z C \ {O} ,
.
f(z) = z2 . (9.83)
O , para z = O
Resolucao:
.
Observemos que a func~ao f e holomorfa em C \ {O}, logo o ponto zo = O e um ponto
singular isolado da func~ao f.
Notemos que, se considerarmos a func~ao 1 : C \ {O} C, dada por
.
1 (z) = z2 f(z)
(9.83) 2 sen(z)
= z
z2
= sen(z) , (9.84)
K(O) = K(zo )
(9.58)
= lim 2 (z)
zzo
(9.87) com zo =O sen(z)
= lim
zO z
= 1, (9.88)
completando a resoluc~ao.
=O
z }| {
p(zo ) ( p ) ( p )
h(zo ) 1 (z o ) 1 (zo ) 1
= + h + h +
0! (z zo )mo 1! (z zo )mo 1 2! (z zo )mo 2
( p )(mo 1) ( p )(n)
(zo ) 1 (zo )
+ + h + + h (z zo )nmo + . (9.97)
(mo 1)! (z zo ) n!
Logo, de (9.97), segue que a func~ao f tem um polo de ordem mo no ponto zo e, alem disso,
o resduo da func~ao f no polo zo sera dado por
( p )(mo 1)
(zo )
K(zo ) = h , (9.98)
(mo 1)!
completando a demonstrac~ao.
Temos a:
Observacao 9.3.1 Nas condic~oes do Teorema (9.3.1) temos que a func~ao : Vo \ {zo }
C, dada por
. p(z)
(z) = (z zo )mo , para cada z Vo \ {zo } , (9.99)
q(z)
pode ser denida em zo de modo que a "nova" func~ao seja holomorfa em Vo .
Alem disso, teremos:
(mo 1) (zo )
K(zo ) = . (9.100)
(mo 1)!
Apliquemos as ideias acima ao:
9.3. QUOCIENTE DE FUNC ~
OES HOLOMORFAS 353
K(O) = K(zo )
= lim (z)
mo =2
zzo
{ [ ]}
(9.110) e zo =O d z
= lim
zO dz exp(z) 1
1 [exp(z) 1] z [exp(z)]
= lim
zO [exp(z) 1]2
(1 z) exp(z) 1
= lim
zO [exp(z) 1]2
d
O
,L'Hospital [(1 z) exp(z) 1]
O
= lim dz
zO d { }
[exp(z) 1]2
dz
exp(z) exp(z) z exp(z)
= lim
zO 2 [exp(z) 1] exp(z)
z
= lim
zO 2 [exp(z) 1]
d
O
,L'Hospital [z]
O
= lim dz
zO d
{2 [exp(z) 1]}
dz
1
= lim
zO 2 exp(z)
1
= ,
2
ou seja,
1
K(O) = , (9.111)
2
completando a resoluc~ao.
e
grau(p) grau(q) 2 . (9.114)
Temos a:
Observacao 9.4.1
sera divergente.
2. O metodo que desenvolveremos, utlizando a teoria dos resduos, em alguns exem-
plos a seguir, esta intimamente ligada com o metodo das frac~oes parciais, estudo
na disciplina de Calculo 1.
Comecaremos pelo:
Exemplo 9.4.1 Utilize a teria dos resduos para calcular a integral impropria real de
1.a especie:
1
2
dx . (9.115)
0 x +1
Resolucao:
Consideremos a func~ao f : R R, dada por
. 1
f(x) = 2
, para cada x R . (9.116)
x +1
Notemos que, como a func~ao f e uma func~ao par, segue que
f(x) dx = 2 f(x) dx
0
(9.116) 1
= 2 2
dx . (9.117)
0 x +1
356 CAPITULO 9. RESIDUOS E POLOS
e, se o limite acima for um numero real, diremos que a integral impropria de 1.a especie
(9.118) sera convergente e o valor do limite acima sera o valor da integral impropria.
A gura abaixo ilustra a situac~ao acima.
-
R 0 R
Notemos que o valor da integral impropria (9.118) e igual ao valor da integral da func~ao
F, sobre o eixo real, onde a func~ao F : C \ {i , i} C, dada por
. 1
F(z) = 2
z +1
1 1
= , para cada z C \ {i , i} , (9.119)
z+i zi
que tem
. .
z1 = i e z2 = i (9.120)
como seus unicos polos simples.
Para cada
R > 1,
consideremos a semi-circunfer^encia de centro em zo = O e raio igual a R, contida no semi-
plano superior, que indicaremos por CR , ou seja:
.
CR = {z C ; |z| = R e (z) O} . (9.121)
-
R 0 R
CR
z2 = i
-
R O R
Portanto, do Teorema (9.1.1) (isto e, do Teorema dos resduos), segue que
F(z) dz = 2 i K(z2 )
DR
(9.120)
= 2 i K(i) . (9.123)
Mas,
(9.122)
F(z) dz = F(z) dz
DR [R ,R]CR
item 5. da Proposic~ao (7.4.1)
= F(z) dz + F(z) dz
[R ,R] CR
R
(9.116) e (9.119)
= f(x) dx + F(z) dz . (9.124)
R CR
Calculemos K(i).
Para isto considerando-se a func~ao : C \ {i , i} C, dada por
.
(z) = (z z1 ) F(z)
z1 =i e (9.119) 1
= , (9.126)
z+i
teremos que (veja o item 1. da Observacao (9.2.2))
K(i) = K(z1 )
(9.58)
= lim [(z z1 ) F(z)]
zz1
z1 =i e (9.126) 1
= lim
zi z+i
1
= . (9.127)
2i
358 CAPITULO 9. RESIDUOS E POLOS
|z| = R , (9.129)
2
assim: z + 1 z2 1
= |z|2 1
(9.129) R>1
= R2 1 > 0 , (9.130)
(9.119) 1
logo: |F(z)| = 2
z + 1
1
= 2
z + 1
(9.130) 1
2
. (9.131)
R 1
completando a resoluc~ao.
Observacao 9.4.2 A integral impropria de 1.a especie (9.115) poderia ter sido calculada
9.4. INTEGRAIS IMPROPRIAS DE FUNC ~
OES REAIS 359
2
dx =
0 x +1 x=0
= arctg(R) arctg(0)
| {z }
=0
= arctg(R) ,
2
quando R .
Podemos aplicar as ideias desenvolvidas no Exemplo (9.4.1) acima ao:
Exemplo 9.4.2 Utilize a teoria dos resduos para calcular a integral impropria real de
1.a especie:
x2
( ) ( )2 dx . (9.133)
0 x2 + 9 x2 + 4
Resolucao:
Consideremos a func~ao f : R R, dada por
. x2
f(x) = ( )( )2 , para cada x R . (9.134)
x2 + 9 x2 + 4
Notemos que, como a func~ao f e uma func~ao par, segue que
f(x) dx = 2 f(x) dx
0
(9.134) x2
= 2 ( 2 )( )2 dx . (9.135)
0 x + 9 x2 + 4
Observemos tambem que
R
f(x) dx = lim f(x) dx , (9.136)
R R
e, se o limite acima for um numero real, diremos que a integral impropria de 1.a especie
(9.133) sera convergente e o valor do limite acima sera o valor da integral impropria.
A gura abaixo ilustra a situac~ao acima.
-
R 0 R
Notemos que o valor da integral impropria (9.136) e igual ao valor da integral da func~ao
F, sobre o eixo real, onde a func~ao F : C \ {3 i , 3 i , 2 i , 2 i} C, dada por
. z2
F(z) = ( )( )2
z2 + 9 z2 + 4
z2
= (9.137)
(z 3 i) (z + 3 i) (z 2 i)2 (z + 2 i)2
360 CAPITULO 9. RESIDUOS E POLOS
CR
z1 = 3 i
z2 = 2 i
-
R
R O
Portanto, do Teorema (9.1.1) (isto e, do Teorema dos resduos), segue que
F(z) dz = 2 i [K(z1 ) + K(z2 )]
DR
(9.138)
= 2 i [K(3 i) + K(2 i)] . (9.141)
Mas,
(9.140)
F(z) dz = F(z) dz
DR [R ,R]CR
item 5. da Proposic~ao (7.4.1)
= F(z) dz + F(z) dz
[R ,R] CR
R
(9.134) e (9.137)
= f(x) dx + F(z) dz . (9.142)
R CR
1 (z1 ) = 1 (3 i)
. (3 i)2
=
[(3 i) + 3 i] [(3 i) 2 i]2 [(3 i) + 2 i]2
Exerccio 3
= = O .
50 i
K(3 i) = K(z1 )
(9.58)
= lim [(z z1 ) F(z)]
zz1
[ ]
z1 =3i e (9.144) z2
= lim
zi (z + 3 i) (z 2 i)2 (z + 2 i)2
Exerccio 3
= . (9.145)
50 i
2 (z2 ) = 2 (2 i)
. (2 i)2
=
[(2 i) 3 i] [(2 i) + 3 i] [(2 i) + 2 i]2
Exerccio 4
= = O .
80
.
Logo a func~ao F tera um polo de ordem mo = 2 em z1 = 2 i e, alem disso (veja o item 1.
362 CAPITULO 9. RESIDUOS E POLOS
K(2 i) = K(z2 )
{ mo 1 }
(9.57) 1 d
= lim [(z z2 ) F(z)]
mo
(mo 1)! zz2 dzmo 1
{ }
mo =2 e z2 =2i d [ ]
= lim (z 2 i) f(z)
2
z2i dz
[ ]
(9.146) d z2
= lim ( 2 )
z2i dz z + 9 (z + 2 i)2
Exerccio 13 i
= . (9.147)
200
Portanto, de (9.143), (9.145) e (9.147), teremos
R [ ]
3 13 i
f(x) dx = 2 i F(z) dz
50 i 200 CR
R
Exerccio
= F(z) dz . (9.148)
100 CR
|z| = R , (9.149)
2
assim: z + 9 z2 9
= |z|2 9
(9.139) R>3
= R2 9 > 0 , (9.150)
2 2
e: z + 4 z 4
= |z|2 4
(9.139) R>3>2
= R2 4 > 0 , (9.151)
z2
(9.137)
logo: |F(z)| = ( ) ( )
z2 + 9 z2 + 4 2
|z|2
=
z2 + 9 z2 + 42
(9.150) e (9.151) R2
( 2 )( )2 . (9.152)
R 9 R2 4
completando a resoluc~ao.
Resolucao:
Consideremos que func~ao g : R R, dada por
. cos(x)
g(x) = 2 , para cada x R . (9.155)
x +1
R
cos(x) cos(x)
2
dx = lim dx
x +1 R R x2 + 1
{ R [ ] }
eix =cos(x)+i sen(x) eix
= lim 2 dx
R R x +1
[ R ]
eix
= lim 2
dx
R R x + 1
[ R ]
se existir o limite eix
= lim dx . (9.157)
R R x2 + 1
iz
e , para z C \ {i , i}
.
f(z) = z2 + 1 (9.158)
O , para z {i , i}
Notemos que a restric~ao da func~ao f ao eixo real (ou seja, a {(x , 0) ; x R}), coincide com
a func~ao g.
Observemos que os unicos pontos sigulares da func~ao f s~ao
. .
z1 = i e z2 = i , (9.159)
.
CR = {z C ; |z| = R e (z) O} . (9.160)
.
DR = [R , R] CR . ()
CR
z1 = i
-
R
R O
Portanto, do Teorema (9.1.1) (isto e, do Teorema dos resduos), segue que
f(z) dz = 2 i K(z2 )
DR
(9.159)
= 2 i K(i) . (9.161)
Mas,
()
f(z) dz = f(z) dz
DR [R ,R]CR
item 5. da Proposic~ao (7.4.1)
= f(z) dz + F(z) dz
[R ,R] CR
R
(9.158) eix
= dx + f(z) dz . (9.162)
R x2 + 1 CR
Calculemos K(i).
Para isto considerando-se a func~ao : C \ {i} C, dada por
.
(z) = (z z2 ) f(z)
z2 =i e (9.158) eiz
= (z i)
(z i) (z + i)
eiz
= , para z C \ {i} , (9.164)
(z + i)
(z2 ) = (i)
. eii
=
(i + i)
e1
= = O .
2i
366 CAPITULO 9. RESIDUOS E POLOS
Logo a func~ao f tera um polo simples em z2 = i e, alem disso, (veja o item 1. da Observacao
(9.2.2)) teremos:
K(i) = K(z2 )
(9.58)
= lim [(z z2 ) f(z)]
zz2
[ iz ]
z2 =i e (9.164) e
= lim
zi (z + i)
e1
= . (9.165)
2i
Notemos que
iz z=x+iy i(x+iy)
e = e
y+ix
= e
= |ey | eix
|{z}
=1
=e y
1, (9.167)
|z| = R , (9.168)
2
assim: z + 1 z2 1
= |z|2 1
(9.168) R>1
= R2 1 > 0 , (9.169)
iz
e
(9.158)
logo: |f(z)| = 2
z + 1
iz
e
= 2
z + 1
(9.167) e (9.169) ey
R2 1
y>0 1
2
. (9.170)
R 1
9.5. INTEGRAIS IMPROPRIAS DE FUNC ~
OES
TRIGONOMETRICAS 367
5.11.2015 - 24.a
Consideremos a func~ao F : C C, dada por
iz
e
. , para z C \ {O}
F(z) = z . (9.176)
1 , para z = O
Notemos que a restric~ao da func~ao F ao eixo real, menos o zero (ou seja, a {(x , 0) ; x
R \ {0}}), coincide com a func~ao f.
Observemos que o unico ponto sigular da func~ao F e
.
z1 = O , (9.177)
e este e isolado.
Para cada R , a > 0, consideremos as semi-circunfer^encias de centro em zo = O e raio igual
a R e , contidas no semi-plano superior, que indicaremos por CR e C , respectivamente, ou
seja,:
. .
CR = {z C ; |z| = R e (z) O} e C = {z C ; |z| = e (z) O} . (9.178)
6 CR
C
-
R
R 0
Mas,
0= f(z) dz
DR
(9.179)
= f(z) dz
[R ,]C [ ,R]CR
item 5. da Proposic~ao (7.4.1)
= f(z) dz + F(z) dz + f(z) dz + F(z) dz
[R ,] C [ ,R] CR
(9.176) eix e ix
= dx + F(z) dz + dx + F(z) dz (9.181)
[R ,] x C [ ,R] x CR
| {z } | {z }
eix
R eix
= R x
dx = x
dx
Notemos que
eix eix
dx = dx
[R ,] x R x
.
t = x , logo: dt = dx
x = R , segue que: t = R
x = , segue que: t =
ei(t)
= (dt)
R t
R it
e
= dt (9.182)
t
Logo, de (9.181) e (9.182), teremos:
R
eix eix
dx = F(z) dz F(z) dz . (9.183)
x CR C
Logo
eiz (9.177)
dz = F(z) dz
CR z CR
(7.27)
= F[R (t)] R (t) dt
0
iReit
(9.177),(9.186) e
= R i eit dt
0 Re
it
it
= i eiRe dt
0
= i eiR[cos(t)+i sen(t)] dt
0
= i eR sen(t)+R cos(t)i dt . (9.187)
0
Portanto
eiz
dz = i e R sen(t)
eR cos(t)i
dt
z
CR
0
R sen(t) R cos(t)i
|i| e e dt
0
= eR sen(t) eR cos(t)i dt
0 | {z }
=1
= eR sen(t) dt
0
t7eR sen(t)
[
e decresente em 2
]
2
2 eR sen(t) dt . (9.188)
0
]
[
Notemos que se t 0 , , teremos
2
2t
0 sen(t) . (9.189)
De fato, como os tri^angulos OEB e OCD s~ao semelhantes e, sendo,
OD = , OB = t , OA = sen(t) e CD = 1 . (9.190)
2
do Teorema de Thales, segue que
BE CD
=
OB OD
CD OB
ou seja, = BE AB ,
OD
2t
que, de (9.190), tornar-se-a: 0 sen(t) , (9.191)
mostrando a validade de (9.189).
A gura abaixo ilustra a situac~ao acima.
9.5. INTEGRAIS IMPROPRIAS DE FUNC ~
OES
TRIGONOMETRICAS 371
C
A
6 6
E
sen(t) 1
? ? -
O t -B D
2
-
Portanto,
(9.189)
2 2
R sen(t) 2t
2 e dt 2 eR dt
0 0
R 2t t= 2
e
= 2 R 2
t=0
( )
= eR + 1 . (9.192)
R
eiz
lim dz = O . (9.193)
R C
R
z
eiz (9.177)
lim dz = lim F(z) dz
0 C z 0 C
(7.27)
= F[ (t)] (t) dt
0
ieit
(9.177),(9.186) e ( )
= lim i eit
dt
0 0 eit
[ ]
= lim i eie dt
it
0 0
[ ]
Exerccio (segue da desigualdade do valor medio)
= i lim eieit
0 0
= i . (9.194)
372 CAPITULO 9. RESIDUOS E POLOS
Com isto a integral denida (9.196) passara a ser considerada como uma integral de linha
de uma func~ao racional complexa da variavel z, ao longo da circunfer^encia unitaria centrada
na origem e, deste modo, poderemos calcula-la utilizando o metodo dos resduos.
Apliquemos as ideias acima ao:
Exemplo 9.6.1 Calcular o valor da integral denida real
2
1
d . (9.201)
5
0
+ sen()
4
Resolucao:
Notemos que o denominador da func~ao do integrando em (9.201) n~ao se anula para todo
[0 , 2].
Alem disso, se z C1 , onde o caminho fechado C1 e a circunfer^encia unitaria centrada na
origem, orientada positivamente, ou seja,
.
C1 = {z C ; |z| = 1} , (9.202)
ent~ao, de (9.197) e (9.200), teremos que:
1
(9.197)
z
sen() = z
2i
z2 1
= ,
2iz
5 5 z2 1
logo, + sen() = +
4 4 2iz
2 z2 + 5 i z 2
= (9.203)
4iz
Portanto,
2
1 1 1
d = dz
5 2z +5iz2 iz
2
0
+ sen() C1
4 4iz
2
= dz . (9.204)
C1 5
z + iz1
2
2
Consideremos a func~ao f : C C, dada por
{ }
2 i
, para z C \ 2 i ,
5 2
f(z) = z + 2 i z 1 {
. 2
} , (9.205)
O , para z 2 i ,
i
2
temos que os unicos pontos singulares da func~ao f s~ao
. . i
z1 = 2 i e z2 = . (9.206)
2
374 CAPITULO 9. RESIDUOS E POLOS
i
Notemos que o ponto z2 = pertence ao interior do caminho fechado C1 e o ponto
2
z1 = 2 i pertence ao exterior do caminho fechado C1 .
A gura abaixo ilustra a situac~ao acima
i
z2 = 2
C1
z1 = 2 i
{ }
i
Notemos que a func~ao : C \ C, dada por
2
.
(z) = (z z2 ) f(z)
( )
(9.206),(9.205) i 2
= z+
2 5
z2 + iz1
( ) 2
i 2
= z+ ( )
2 i
z+ (z + 2 i)
2
2
= (9.207)
z+2i
i
pode ser estendida, de modo holomorfo, ao ponto z2 = , se considerarmos
2
(9.206),(9.207) 2
(z2 ) =
i
+2i
2
Exerccio 4
= = O . (9.208)
3i
i
Portanto a func~ao f, dada por (9.205), tem um polo simples em z2 = e, alem disso,
2
( )
i
K = K (z2 )
2
= (z2 )
(9.208) 4
= . (9.209)
3i
9.7. INTEGRAIS EM TORNO DE PONTOS DE RAMIFICAC ~
AO 375
Logo, do Teorema (9.1.1) (ou seja, do Teorema dos resduos), segue que:
( )
2 i
dz = 2 i K
C1 5 2
z2 + iz1
2
(9.209) 4
= 2 i
3i
8
= . (9.210)
3
Logo, (9.204) e (9.210), segue que
2
1 8
d = ,
5 3
0
+ sen()
4
completando a resoluc~ao.
10.11.2015 - 25.a
1
= 1 , (9.217)
z2
Portanto a func~ao F, dada por (9.214), tem um polo simples em z1 = 1 e, alem disso,
K (1) = K (z1 )
= (z1 )
(9.218)
= i . (9.219)
consideremos o caminho fechado, que indicaremos por DrR , orientado, como na gura abaixo:
9.7. INTEGRAIS EM TORNO DE PONTOS DE RAMIFICAC ~
AO 377
CR
6
LRr
Cr
I
-
1 LRr
/
Logo, do Teorema (9.1.1) (ou seja, do Teorema dos resduos), segue que
F(z) dz = 2 i K(1)
DrR
(9.219)
= 2 i (i)
= 2. (9.220)
Notemos que uma parametrizac~ao do segmento LRr , pode ser dada pela func~ao Rr :
[r , R] C, onde
.
Rr (t) = t ei , para cada t [r , R] . (9.223)
Deste modo teremos:l
R
F(z) dz = F[Rr (t)] Rr (t) dt
LRrl r
R
(9.214),(9.223) 1
) e dt
i
= ( ) 1 (
r te i 2
te +1i
R 1
Exerccio i( 21 ) t 2
= e dt
r te
i + 1
R 1
t 2
=e i 21
dt . (9.224)
r te
i + 1
De modo semelhante, como uma parametrizac~ao do segmento LRr , pode ser dada pela
func~ao Rr : [r , R] C, onde
.
Rr (t) = [R + r t] ei(2 ) , para cada t [r , R] . (9.225)
378 CAPITULO 9. RESIDUOS E POLOS
Notemos que os integrandos de (9.224) e (9.225) s~ao funco~es contnuas na regi~ao fechada
[r , R] [0 , ] ,
deste modo as integrais, bem como seus coecientes, ser~ao funco~es contnuas em = 0 (pela
direita).
Deixaremos a vericac~ao dos detalhes da armac~ao acima como exerccio para o leitor.
Logo
[ ] [ ] R
21
t
lim F(z) dz + F(z) dz = lim+ e i 12
dt
r te
0+ 0 i + 1
LRr LRr
[ R ]
12
[R + r t]
+ lim+ ei( 2 )
1
dt
r [R + r t] e
0 i + 1
R 1 R 1
Exerccio t 2 [R + r t] 2
= 1 dt e|{z}
i
dt
r t1+1 r [R + r t] 1 + 1
=1
.
s = R + r t , ent~ao: ds = dt
t = r , temos que: s = R
t = R , temos que: s = r
R 1 r 1
t 2 s 2
= dt + (ds)
r t+1 R s+1
R 1
x 2
=2 dx . (9.227)
r x+1
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
De modo semelhante, para r (0 , 1), tambem pode-se mostrar que
i
r 2 e 2
1
Exerccio
F(z) dz = ir d , (9.230)
Cr 2 r ei + 1
que tem como integrando uma func~ao contnua em , para [0 , 2 ].
Logo a integral de linha (9.230) possuira limite, quando tende a zero, pela direita, e o
valor sera igual a
2 i
r 2 e 2
1
9.8 Exerccios
Captulo 10
Neste captulo trataremos do Teorema de Rouche (veja o Teorema (10.2.1) apresentado mais
adiante) e faremos algumas aplicac~ao deste.
Para tanto precisaremos de alguns resultado que ser~ao apresentados na sec~ao a seguir.
Demonstracao:
Pelo Teorema (9.1.1) (isto e, o Teorema dos resduos) temos que o valor da integral de
linha (10.1) sera igual a soma dos valores dos resduos da func~ao
f (z)
z 7 (10.2)
f(z)
1. ou f(a) = O ;
381
382 CAPITULO 10. O TEOREMA DE ROUCHE
E APLICAC ~
OES
g(z) = O (10.3)
e f(z) = (z a) ma
g(z) . (10.4)
Deste modo, para z Va , segue que
(10.4)
f (z) = ma (z a)ma 1 g(z) (z a)ma g (z) . (10.5)
Assim, para z Va \ {a}, termeos
f (z) ma (z a)ma 1 g(z) (z a)ma g (z)
(10.4) e (10.5)
=
f(z) (z a)ma g(z)
ma g (z)
= + . (10.6)
za g(z)
Notemos que, de (10.3), segue que a func~ao
g (z)
z 7
g(z)
e holomorfa em Va .
Deste modo
f (z) ma
= + cn (z a)n , (10.7)
f(z) z a n=0
sera a serie de Laurent associada a func~ao (10.2), em Va \ {a}.
Portanto o valor do resduo da func~ao (10.2) em z = a sera igual a ma , ou seja, se a func~ao
f tem um zero em z = a, ent~ao o valor do resduo da func~ao (10.2), nesse ponto (que e um
zero da func~ao do denominador) sera igual a multiplicidade algebrica do zero em quest~ao.
Deste modo o zero z = a, de multiplicidade ma , da func~ao f contribui com o valor
ma ,
g(z) = O (10.8)
e g(z) = (z a)oa f(z) , (10.9)
g(z)
ou seja, f(z) = , (10.10)
(z a)oa
10.1. PRINCIPIO DO ARGUMENTO 383
para z Va \ {a}.
Deste modo, para z Va \ {a}, segue que
[ ]
(10.9) g (z) (z a)oa g(z) oa (z a)oa 1
f (z) =
(z a)2 oa
g (z) oa g(z)
= . (10.11)
(z a)oa (z a)oa +1
oa ,
Demonstracao:
Pelo Teorema (9.1.1) (isto e, o Teorema dos resduos) temos que o valor da integral de
linha (10.1) sera igual a soma dos valores dos resduos da func~ao
f (z)
z 7 h(z) (10.14)
f(z)
que nos polos que pertencem ao interior do caminho fechado C .
Notemos que, para z = a, um ponto pertencente ao interior do caminho fechado C , temos
somente uma das duas seguintes possiblidades:
1. ou f(a) = O ;
2. ou z = a e um zero de multiplidade ma , da func~ao f ;
Notemos que se 1. ocorrer, temos que isto n~ao in
uenciara no valor da integral de linha
(10.13), pois n~ao havera resduo da func~ao (10.14) nesse ponto.
Por outro lado, se 2. ocorrer, como a func~ao h e holomorfa em U, do Teorema (8.6.1) (ou
seja, o Teorema de Taylor), segue que existe > 0 tal que
h(z) = bn (z a)n
n=0
= bo + bn (z a)n , (10.15)
n=1
.
para z Va = V(a ; ).
Diminuindo > 0, se necessario, de (10.7) (da demonstrac~ao do resultado anterior), segue
que
f (z) ma
= + cn (z a)n , (10.16)
f(z) z a n=0
para z Va \ {a}.
Assim, para z Va \ {a}, teremos:
[ ] [ ]
f (z) (10.15) e (10.16)
m a
h(z) = bo + bn (z a)n + cn (z a)n
f(z) z a
n=1
[ n=0
] [ ]
ma b o
= + ma bn (z a)n1 + bn (z a)n cn (z a)n .
za n=1 n=1 n=0
(10.17)
Portanto, o resduo da func~ao (10.14) sera igual a
(10.15)
ma b o = h(a) ma (f) ,
ou seja, para cada j {1 , 2 , , n}, temos que o resduo da func~ao (10.14), no zero zj da
func~ao f (que tem multiplicidade mj (f)), sera igual a
h(zj ) mj (f) ,
10.2. TEOREMA DE ROUCHE 385
Demonstracao:
Notemos que nem a func~ao f, nem a func~ao g tem zeros sobre o caminho fechado C .
De fato, suponhamos, por aburdo, que zo C e um zero da func~ao f.
Ent~ao
f(zo ) = O , (10.21)
(10.20)
assim, de (10.20), teremos: |g(zo )| = | f(zo ) g(zo )| = |g(zo )| ,
| {z }
(10.21)
= O
que e um absurdo.
De modo semelhante, suponhamos, por aburdo, que zo C e um zero da func~ao g.
386 CAPITULO 10. O TEOREMA DE ROUCHE
E APLICAC ~
OES
Ent~ao
g(zo ) = O , (10.22)
(10.20) (10.22)
assim, de (10.20), teremos: 0 |f(zo )| = | f(zo ) g(zo ) | < |g(zo )| = 0 ,
| {z }
(10.22)
= f(zo )
1>
-
1
pois a func~ao
1
z 7
z
e holomorfa em V1 , completando a demonstrac~ao do resultado.
Resolucao:
Notemos aque a func~ao f e inteira.
Consideremos as funco~es g : C C, dadas por
.
g(z) = 3 z2 , para z C . (10.32)
.
Notemos que as funco~es g e inteira e possui exatamente dois zeros em V1 , a saber zo = O,
que tem ordem 2.
.
Notemos que, para z C1 = {z C ; |z| = 1}, temos que
(10.31) e (10.32)
|f(z) g(z)| = | exp(z)|
= | exp(z)|
z=x+iy
= |ex | |eiy |
|{z}
=1
x
=e
|z|=1 , teremos:|x|1
e. (10.33)
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V1 (contados com as respectivas ordens), ou seja, a func~ao
f tem exatamente dois zeros em V1 , completando a resoluc~ao.
Uma outra aplicac~ao e dada pelo:
Exemplo 10.3.2 Mostre que, para cada n N xado , a func~ao f : C C, dada por
.
f(z) = 3 zn exp(z) , para z C , (10.35)
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V1 (contados com as respectivas ordens), ou seja, a func~ao
f tem exatamente n zeros em V1 , completando a resoluc~ao.
Resolucao:
.
Em V1 = {z C ; |z| < 1|}:
Notemos que a func~ao f e inteira.
Consideremos as funco~es g : C C, dadas por
.
g(z) = 5 z 1 , para z C . (10.40)
. 1
Notemos que as funco~es g e inteira e possui um unico zero em V1 , a saber zo = (que
5
tem ordem 1).
.
Notemos que, para z C1 = {z C ; |z| < 1}, temos que
(10.39) e (10.40) 4
|f(z) g(z)| = z
|z|=1 , teremos:
= 1. (10.41)
Por outro lado, observemos que
(10.40)
|g(z)| = |5 z 1|
desigualdade triangular
| 5 z| 1
= 5 |z| 1
|z|=1 , teremos:
= 5 1 = 4. (10.42)
Logo, de (10.41) e (10.42), segue que:
(10.41)
|f(z) g(z)| = 1
<4
(10.42)
= |g(z)| .
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V1 (contados com as respectivas ordens), ou seja, a func~ao
f tem exatemente um zero em V1 = {z C ; |z| < 1}.
.
Em Va = {z C ; 1 < |z| < 2|}:
Consideremos as funco~es g : C C, dadas por
.
g(z) = z4 , para z C. (10.43)
.
Notemos que as funco~es g e inteira e possui exatamente quatro zeros em V2 = {z C ; |z| <
.
2}, a saber zo = 0, que tem ordem 4.
.
Notemos que, para z C2 = {z C ; |z| < 2}, temos que
(10.39) e (10.43)
|f(z) g(z)| = |5 z 1|
desigualdade triangular
| 5 z| + 1
= 5 |z| + 1
|z|=2 , teremos:
= 11 . (10.44)
10.3. APLICAC ~ DO TEOREMA DE ROUCHE
AO 391
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V1 (contados com as respectivas ordens), ou seja, a func~ao
f tem um exatamente quatro zeros em V1 = {z C ; |z| < 1}.
Temos tambem o:
Resolucao:
Notemos aque a func~ao f e inteira.
Consideremos as funco~es g : C C, dadas por
.
g(z) = z5 , para z C . (10.47)
.
Notemos que as funco~es g e inteira e possui exatamente 5 zeros em V3 , a saber zo = O,
que tem ordem 5.
.
Notemos que, para z C3 = {z C ; |z| = 3}, temos que
(10.46) e (10.47)
|f(z) g(z)| = | sen(z)|
exp(i z) exp(i z)
=
2i
desigualdade triangular: | exp(i z)| + | exp(i z)|
2
exp |(z)|
|z|=3 , teremos:
e3 . (10.48)
392 CAPITULO 10. O TEOREMA DE ROUCHE
E APLICAC ~
OES
(10.47)
|g(z)| = z5
= |z|n
|z|=3 , teremos:
= 35 . (10.49)
(10.48)
|f(z) g(z)| e5
< 35
(10.49)
= |g(z)| .
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V3 (contados com as respectivas ordens), ou seja, a func~ao
f tem exatamente 5 zeros em V3 , completando a resoluc~ao.
Temos tambem o:
Exemplo 10.3.5 Mostre que, par cada > 1 xado a func~ao f : C C, dada por
.
f(z) = z exp(z) , para z C , (10.50)
Resolucao:
Notemos que a func~ao f e inteira.
Para zo V+ , tal que
|zo | < 1 , (10.51)
.
V = {z V+ ; |z zo | < 2 } . (10.52)
zo
C1
2
j
-
C2
2 |zo |
(10.51)
= |zo | > 1 . (10.59)
394 CAPITULO 10. O TEOREMA DE ROUCHE
E APLICAC ~
OES
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es f e g
t^em mesmo numero de zeros em V+ (contados com as respectivas ordens), ou seja, a func~ao f
tem exatamente um zero em V+ , completando a resoluc~ao.
Introduziremos a:
Logo, do Teorema (10.2.1) (ou seja, do Teorema de Rouche) segue que as funco~es F e G
t^em mesmo numero de zeros em V1 (contados com as respectivas ordens), ou seja, a func~ao
f tem exatamente um ponto xo em V1 , completando a demonstrac~ao.
Finalizaremos este captulo utilizando o Teorema (10.2.1) (ou seja, o Teorema de Rouche)
para dar uma demonstrac~ao alternativa para o:
onde
an = O .
Observemos que a func~ao Q tambem e uma func~ao inteira e ela possui exatamente n zeros
e C, a saber, zo = O e um zero de ordem n da func~ao Q.
Notemos tambem que, para z C \ {O}, teremos:
P(z) Q(z) (10.66) e (10.67) ao + a1 z + + an1 zn1
lim = lim
|z| Q(z) |z| an zn
ao a1 z an1 zn1
= lim + +
n +
|z| an z an zn an zn
= 0.
396 CAPITULO 10. O TEOREMA DE ROUCHE
E APLICAC ~
OES
10.4 Exerccios
Captulo 11
17.11.2015 - 27.a
O objetico deste captulo estudar a ac~ao de algumas funco~es a valores complexos, de uma
variavel complexa, em alguns subconjuntos do plano complexo.
Comecaremos pela
397
398 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
6 6 6
translac~ao de 2 i rotac~ao do ^angulo
- -
4
2i 1+2i
2+i 3+i
i
- -
-
1
2i 3i
1
4
T
Resolucao:
Notemos que
i = e 2 i .
Logo a transformac~ao g, dada por (11.8), sera um rotac~ao do ^angulo .
2
Deste modo o conjunto g(B) sera a rotc~ao do ^angulo da faixa vertical
2
B = [1 , 2] R ,
T (B) = {w = a + b i C ; b [1 , 2]} = R [1 , 2] .
B 2i
T (B)
- -
1 2
400 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
Resolucao:
Notemos que, se
z = r ei , (11.14)
onde
.
r = |z| e [0 , 2 ) ,
teremos que
f(z) = z2
(11.14) 2
= r e2 i (11.15)
z = r ei ,
para [ ]
r [0 , ) e 0 , . (11.16)
2
Logo, de (11.15) e (11.16), os pontos do conjunto B ser~ao levados, em pontos do semi-plano
superior, ou seja,
f(B) = {w = a + b i ; b [0 , )} .
Notemos que tal associac~ao sera bijetora.
A vericacao deste fato sera deixada como exerccio para o leitor.
Geometricamente teremos a seguinte situac~ao:
11.2. FUNC ~ POTENCIAC
AO ~
AO 401
6 f
-
f(B)
- -
Por outro lado, na forma polar, o conjunto C pode ser descrito como:
C{z = ro ei ; [0 , 2 )} , (11.17)
ou seja, um circunfer^encia de centro em O e raio ro .
Logo, de (11.15) e (11.17), segue que f(C) sera a circunfer^encia
f(C) = {w = ro2 e2 i ; [0 , 2 )} .
Notemos que, neste caso, a associac~ao acima e sobrejetora mas n~ao e injetora.
Deixaremos a vericac~ao deste fato como exerccio para o leitor.
Geometricamente teremos a seguinte situac~ao:
ro > 1
6
6
f
-
>
ro2
ro >
- -
C
T (C)
Observacao 11.2.1
1. Notemos que pontos que pertencem ao crculo
.
Do = {z C ; |z| ro }
ser~ao levado, sobrejetivamente, em pontos do crculo do crculo de centro em O e
raio ro2 , ou seja,
.
f(Do ) = {z C ; |z| ro2 } .
C = {z = x + i y ; |z| = ro e y [0 , )}
= {ro e i
; [0 , ]}
teramos que
f(C ) = f(C)
f(z) = z2
= (x + i y)2
( )
= x2 y2 + i 2 x y . (11.18)
Logo
(11.12)
f(D) = {z = x + i y ; [f(z)] = c} ; para c R xado
(11.18)
= {z = x + i y ; x2 y2 = c} ; para c R xado ,
ou seja, uma hiperbole, cujas representac~ao geometrica e dada pela gura abaixo.
u = c2 < 0 u = c1 > 0
v
y
6
6
f
-
- - u
x
x2 y2 = c1 > 0
x2 y2 = c2 < 0
ou seja, uma hiperbole, cujas representac~ao geometrica e dada pela gura abaixo.
11.3. A FUNC ~ INVERSAO
AO ~ 403
v
y
6
6
x y = d1 > 0
f
- v = d1
- -u
x
v = d2
x y = d2 < 0
Observacao 11.2.2 Notemos que nos casos das hip erboles acima, a restric~ao da aplicac~ao
f
as respectivas hiperboles, n~ao sera injetora, pois dois pontos distintos (a saber z e z)
das respectivas hiperboles, ser~ao levados em um mesmo ponto das respectivas retas.
A restric~ao da aplicac~ao f a cada um dos ramos das hiperboles sera bijetora sobre
a respectiva reta.
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
Deixaremos para o leitor o:
f(A) = {z = x + i y ; y [0 , )} .
. 1
f(z) = , para cada z D . (11.19)
z
Notemos que a aplicac~ao f nos fornece uma correspond^encia bijetora, de C \ {O} nele
mesmo, ou seja,
f(C \ {O}) = C \ {O} .
Observacao 11.3.1
404 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
1. Na forma polar, a func~ao f, dada por (11.19), pode ser escrita como:
( ) 1
f r ei = ei , (11.20)
r
para r (0 , ) e [0 , 2 ).
2. Consideremos a aplicac~ao g : D
toC, dada por
( ) . 1
g r ei = ei , para cada z D (11.21)
r
e aplicac~ao h : C C, dada por
.
h(z) = z , para cada z C . (11.22)
1
na circunfer^encia de centro na origem,e raio igual , isto e,
ro
{ }
1
g(Co ) = w C ; |w| = .
ro
g(C1 ) = C1 .
z = r ei = O ,
6 z
zo = g(zo )
g(z)
-
1
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
8. Logo deste fato e do fato que a aplicac~ao h agir como uma re
ex~ao em torno
do eixo real, temos que a aplicac~ao f, dada por (11.19), levara, bijetivamente, a
circunfer^encia de centro na origem, e raio igual ro > 0, ou seja,
.
Co = {z C ; |z| = ro } ,
1
uma circunfer^encia de centro na origem, e raio igual , isto e,
ro
{ }
1
f(Co ) = w C ; |w| = .
ro
406 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
11. Notemos que se z = x + i y = O, ent~ao
1 1
=
z x+iy
x y
= 2 2
i 2 , (11.23)
x +y x + y2
. x
ou seja, u(x , y) = 2 , (11.24)
x + y2
. y
e v(x , y) = 2 . (11.25)
x + y2
A vericac~ao destes fatos sera deixada como exerccio para o leitor.
11.3. A FUNC ~ INVERSAO
AO ~ 407
e raio igual a
. b2 c2 a
ro = 2
+ 2
, (11.38)
2d 2d d
se
b2 c2 a
+ > . (11.39)
2 d2 2 d2 d
bu cv + a = 0, (11.40)
15. Na verdade podemos ser mais precisos: uma circunfer^encia que nao contem a
origem z = O, sera levada, pela transformac~ao (11.19), em uma circunfer^encia
que nao contem a origem w = O.
De fato, se
a , d = 0 ,
11.3. A FUNC ~ INVERSAO
AO ~ 409
temos que z = O n~ao pertencem a circunfer^encia cuja equac~ao e dada por (11.30),
pois
( )2 (
b c )2 b2 c2
a 0+ +a 0+ = +
2a 2a 2a 2a
d=0 b2 c2
= + d,
2a 2a
e por outro lado, temos que w = O n~ao pertencem a circunfer^encia cuja equac~ao
e dada por (11.36), pois
( )2 (
b c )2 b2 c2
d 0+ +d 0+ = +
2d 2d 2d 2d
a=0 b2 c2
= + a.
2d 2d
a = 0, (11.42)
17. Finalmente notemos que uma reta passando pela origem (ou seja, se
a=d=0
em (11.34)), sera levada, pel transformac~ao (11.19), em uma reta que passara pela
origem (ou seja,
d=a=0
em (11.40)) e reciprocamente.
A gura abaixo ilustra as situac~oes descritas acima.
410 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
v
C1 6f(r3 )
r2 y r1
6
f(r2 )
f(r1 )
r4
-x - u
r3
f(r4 )
f(C1 )
. az+b
f(z) = , para cada z Dz . (11.44)
cz+d
Temos a:
Observacao 11.4.1
1. Se
considerarmos g : Dw =. C \ {w C ; c w a = O} C, dada por
. d w + b
g(z) = , para cada w Dw , (11.45)
cza
(g f)(z) = z e (f g)(w) = w ,
de (11.47), teremos:
a b c a d
f(z) = + z . (11.50)
c c
As transformac~oes dadas por (11.48) e (11.50) s~ao do tipo
z 7 B z + C (11.51)
onde
. . .
A = c, B = a, C=d e D =. b . (11.54)
Dai porque na literatura a aplicac~ao f, dada por (11.44), tambem e conhecida como
transformacao bilinear.
armamos que existe uma unica transformac~ao de Mobius f, dada por (11.44), tal
que
f(zj ) = wj , para cada j {1 , 2 , 3} . (11.57)
FIM
414 CAPITULO 11. TRANSFORMAC ~
OES NO PLANO COMPLEXO
Referencias Bibliograficas
415
Indice Remissivo
p
fn f, 274 lim f(z), 68
zzo
(fn )nN , 273
df
(zo ), 79 i, 18
dz
z1 z-plano, 27
, 20
z2 zc , 150
f(z) dz, 221 z1 + z2 , 19
b z1 z2 , 19
F(t) dt, 168 z1 = z2 , 18
a z1 z2 , 19
f(z) dz, 180
Algebra
C
lim fn = f , pontualmente no conjunto A, teorema fundamental da, 257, 259, 394
n
274 1.o limite
416
INDICE REMISSIVO 417
multiplicac~ao iguais, 18
de numeros complexos, 19 multiplicac~ao de, 19
produto de, 19
no quociente de, 20
de ramo, 146 soma de, 19
numero complexo, 17 subtrac~ao de, 19
arco cosseno de um, 157 nvel
arco cosseno hiperbolico de um , 165 curvas de, 119
arco cotangente de um, 160
arco secante de um, 162 oposto
arco seno de um, 155 de um numero complexo, 18
arco seno hiperbolico de um , 164 orientac~ao
arco tangente de um, 158 de uma curva parametrizada, 171
arco tangente hiperbolico de um , 165 negativa de um caminho fechado, 177
argumento de um, 39 positiva de um caminho fechado, 177
conjugado de um, 30
cossecante de um, 129 parte imaginaria
cossecante hiperbolica de um, 137 de um numero complexo, 18
cosseno, 125 parte principal
cosseno hiperbolico de um, 132 do valor de uma func~ao, em torno de um
cotangente de um, 129 ponto singular isolado, 339
cotangente hiperbolica de um, 136 parte real
forma polar, 38 de um numero complexo, 18
imaginario puro, 18 plano
modulo de um, 32 complexo, 27
oposto de um, 18 polinomial
parte imaginaria de um, 18 func~ao, de variavel complexa, 63, 64
parte real de um, 18 polo
potenciac~ao de um, 150 de ordem nita de uma func~ao, em ponto
secante de um, 129 singular isolado, 339
secante hiperbolica de um, 136 simples, 339
seno, 125 ponto
seno hiperbolico de um, 132 de acumulac~ao de um conjunto, 52
tangente de um, 129 de fronteira de um conjunto, 55
tangente hiperbolica de um, 136 de ramicac~ao, 146
um logaritmo de um, 140 interior de um conjunto, 54
valor absoluto de um, 32 vizinhanca de um, 52
valor principal de um logaritmo de um, ponto xo
140 de uma func~ao complexa, 393
numeros complexos ponto singular
adic~ao de, 19 de uma func~ao, 108
diferenca de, 19 essecial de uma func~ao, 339
divis~ao de, 20 isolado, de uma func~ao, 329
422 INDICE REMISSIVO
unidade
imaginaria, 18
uniformemente contnua
func~ao, 78
valor absoluto
de um numero complexo, 32
func~ao, 33
valor principal
da potenciac~ao, com base xada, 153
da potenciac~ao, com expoente xado, 152
de um logaritmo de um numero complexo,
140