Faleiros
Faleiros
Faleiros
Variveis Complexas
Antonio Cndido Faleiros
Departamento de Matemtica
ITA - CTA
So Jos dos Campos, SP 12 228 - 900
10 de agosto de 2005
Sumrio
1 Nmeros Complexos
1.1 Introduo . . . . . . . . . . . . .
1.2 Nmeros complexos . . . . . . . .
1.3 Retorno notao clssica . . . .
1.4 Representao geomtrica . . . .
1.5 Mdulo de um nmero complexo
1.6 Relao de ordem . . . . . . . . .
1.7 Forma polar . . . . . . . . . . . .
1.8 Potncia inteira . . . . . . . . . .
1.9 Radiciao de nmeros complexos
1.10 Expoentes racionais . . . . . . . .
2 Limite e Continuidade
2.1 Funes . . . . . . . . . . . .
2.2 Funo exponencial . . . . . .
2.3 Funes trigonomtricas . . .
2.4 Funes hiperblicas . . . . .
2.5 Conjuntos no plano complexo
2.6 Limite . . . . . . . . . . . . .
2.7 Curvas no plano complexo . .
2.8 Limite da funo composta . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Derivada
3.1 Introduo . . . . . . . . . . . . .
3.2 Frmulas de derivao . . . . . .
3.3 Derivada ao longo de uma curva .
3.4 Condies de Cauchy-Riemann . .
3.5 Existncia da derivada . . . . . .
3.6 Derivada da funo composta . .
3.7 Derivada em coordenadas polares
3.8 Funo analtica . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
4
5
7
9
10
12
13
14
.
.
.
.
.
.
.
.
15
15
17
18
19
20
20
30
35
.
.
.
.
.
.
.
.
37
37
39
40
42
45
49
50
55
ii
SUMRIO
4 Funes multivalentes
4.1 Conceitos bsicos . . . . . . . . . .
4.2 Razes de ordem n: . . . . . . . . .
4.3 Logaritmo . . . . . . . . . . . . . .
4.4 Potncia complexa . . . . . . . . .
4.5 Ramo de uma funo multivalente .
4.6 Os ramos da raiz quadrada . . . . .
4.7 A funo argumento possui ramos?
4.8 Os ramos do logaritmo . . . . . . .
4.9 Ramos da potncia complexa . . .
4.10 Funes trigonomtricas inversas .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
58
58
60
61
61
63
63
65
65
5 Integral
5.1 Funo com valores complexos e varivel real
5.2 Comprimento de uma curva . . . . . . . . .
5.3 Integral de linha . . . . . . . . . . . . . . . .
5.4 Propriedades . . . . . . . . . . . . . . . . .
5.5 Integral de linha como limite de uma soma .
5.6 Reparametrizao . . . . . . . . . . . . . . .
5.7 Independncia da parametrizao . . . . . .
5.8 Adio e subtrao de curvas . . . . . . . .
5.9 Primitiva de uma funo . . . . . . . . . . .
5.10 Independncia do caminho . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
71
74
75
78
80
81
82
85
87
91
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
96
98
100
102
107
109
111
112
.
.
.
.
.
.
.
113
. 113
. 116
. 116
. 117
. 121
. 122
. 123
6 Teorema de Cauchy-Goursat
6.1 Teorema de Cauchy . . . . . . . .
6.2 Teorema de Cauchy-Goursat . . .
6.3 Regio multiplamente conexa . .
6.4 Frmula integral de Cauchy . . .
6.5 Frmula integral das derivadas . .
6.6 Princpio do mdulo mximo . . .
6.7 Teorema fundamental da lgebra
6.8 Teorema de Morera . . . . . . . .
6.9 Exerccios . . . . . . . . . . . . .
7 Seqncias e sries
7.1 Seqncia . . . . . . . . . .
7.2 Seqncia de Cauchy . . . .
7.3 Seqncia e continuidade . .
7.4 Srie . . . . . . . . . . . . .
7.5 Convergncia absoluta . . .
7.6 Testes de convergncia . . .
7.7 O plano complexo estendido
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
SUMRIO
iii
8 Sries de potncias
8.1 Propriedades das sries de potncias . . . . . .
8.2 Sries de Taylor . . . . . . . . . . . . . . . . .
8.3 Multiplicao e diviso de sries de potncias .
8.4 Zeros de uma funo analtica . . . . . . . . .
8.5 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
. 128
. 133
. 138
. 139
. 143
9 Singularidades
9.1 Srie de potncias negativas . . . . . .
9.2 Sries de Laurent . . . . . . . . . . . .
9.3 Resduo . . . . . . . . . . . . . . . . .
9.4 Sries de Laurent de funes racionais .
9.4.1 Exerccios . . . . . . . . . . . .
9.5 Singularidade isolada . . . . . . . . . .
9.5.1 Exerccios . . . . . . . . . . . .
9.6 Teorema do resduo . . . . . . . . . . .
9.7 Clculo de integrais reais . . . . . . . .
9.8 Integrais diversas . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
179
. 179
. 183
. 184
. 187
. 190
. 190
. 191
10 Aplicaes
10.1 Funes harmnicas . . . . . . . . . .
10.2 Problema de Dirichlet . . . . . . . .
10.3 Transformao conforme . . . . . . .
10.4 Transformao linear fracionria . . .
10.5 Exerccios . . . . . . . . . . . . . . .
10.6 Transformao de Schwarz-Christoffel
10.7 Transformao de Joukowski . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
145
145
148
152
154
158
159
164
165
167
174
A Compacidade
199
203
iv
SUMRIO
Captulo 1
Nmeros Complexos
1.1
Introduo
Os nmeros complexos tiveram sua origem no sculo 16, quando os matemticos da poca
procuravam frmulas para obter razes de polinmios do terceiro e quarto graus. Desde
quando Bhaskara (1114-1185 dC) deduziu a memorvel frmula
p
b
b2 4ac
z=
2a
2a
que fornece as razes do polinmio do segundo grau na varivel z;
az 2 + bz + c = 0;
percebeu-se que no existe raiz real quando b2 4ac negativo. Como exemplo, citamos
a equao z 2 + 1 = 0 que no possui razes reais. Quando b2 4ac positivo, o polinmio
apresenta duas razes reais distintas e, quando b2 4ac = 0; existe apenas uma raiz real.
Por questes de esttica e simetria, os matemticos do sculo 16 perceberam que seria
interessante estender o conjunto de nmeros reais de modo que, neste conjunto ampliado,
todas as equaes possussem pelo menos uma raiz.
2
O procedimento adotado foi o seguinte: Ao explicitar
p z numa
p equao como z
2
2z + 5 = 0 e, operando informalmente,
admitindo que k = k 1 para todo real k
p
positivo, obtiveram z = 1 2 1: Percebeu-se ento que, quando b2 4ac pnegativo, as
razes de um polinmio do segundo grau podem ser escritas na forma x + y 1; onde x
e y so nmeros reais.
Como no h nmero real que elevado ao quadrado fornece 1; resolveram utilizar a
letra i (de
p imaginrio) para designar o nmero cujo quadrado 1 e passaram a escrever i = 1: Chamaram esta nova entidade de unidade imaginria. Com esta nova
entidade, instituram o conjunto dos nmeros complexos, formado por elementos da
forma
x + yi
onde x e y so nmeros reais.
1
1.2
Nmeros complexos
Para contornar a introduo de uma unidade imaginria e alicerar a construo do conjunto dos nmeros complexos sobre bases mais slidas, vamos denir um nmero complexo
como sendo um par ordenado (x; y) de nmeros reais. Denotando por C o conjunto dos
nmeros complexos, tem-se
C = f(x; y) : x; y 2 Rg:
z w = (1; 0) :
x
y
w=
;
:
x2 + y 2 x2 + y 2
Este nmero complexo w chamado de inverso de z e ser denotado por z 1 :
1.3
Mesmo sendo mais agradvel aos espritos crticos, no estamos acostumados a escrever
nmeros complexos na forma de pares ordenados de nmeros reais. Vamos desenvolver
um procedimento para retornar notao clssica, onde trabalhamos mais vontade.
Para atingir este objetivo, o par ordenado (x; 0) ser denotado por x e o par ordenado
(0; 1) ser denotado por i: Dado um par ordenado (x; y); temos
(x; y) = (x; 0) + (0; y) = (x; 0) + (y; 0)(0; 1) = x + yi
Pela a notao estabelecida,
(x; y) = x + yi:
Com isto, retornamos notao clssica de um modo matematicamente elegante. Usaremos uma ou outra notao, (x; y) ou x + yi; de acordo com a convenincia do momento.
Nesta notao, 0 o elemento neutro da soma, 1 o elemento neutro do
produto, z = x yi o oposto de z = x + yi e
z 1 =
x2
x
y
2
i
2
+y
x + y2
z z = 2i Im(z)
e assim,
zz
z+z
;
y=
2
2i
Sendo z1 e z2 nmeros complexos, valem as igualdades
x=
z1 + z2
z1 z2
z1 z2
z 1 =z 2
1.4
=
=
=
=
z1 + z2
z1 z2
z1 z2
z1 =z2
Representao geomtrica
z = w1 + tw2
1.5
j
z j = jzj
2. jRe(z)j jzj
3. jIm(z)j jzj
4. jzj jRe zj + jImzj
5. z z = jzj2 e, sendo z 6= 0; tira-se z 1 = z jzj2 :
Exerccio 1.1 Mostre que
j z j> 0
2. j (x; 0) j=j x j;
x2R
se z 6= 0
3. j z w j=j z j j w j
4. j z=w j=j z j = j w j;
w 6= 0
(1.1)
(1.2)
p
(x a)2 + (y b)2 :
Exemplo 1.1 A elipse o lugar geomtrico dos pontos z em que constante a soma
das distncias a dois pontos xos z1 e z2 denominados de focos da elipse. A equao dos
pontos z da elipse
jz z1 j + jz z2 j = k;
onde k a soma das distncias do ponto z aos focos z1 e z2 :
Exemplo 1.2 A equao dos pontos da mediatriz do segmento de reta com extremidades
em z1 e z2
jz z1 j = jz z2 j
1.6
Relao de ordem
Num corpo, toda relao (>) que satisfaz aos quatro axiomas abaixo denominada relao de ordem. Os axiomas so:
A1 Dados dois pontos quaisquer x e y do corpo, uma e apenas uma das relaes satisfeita
x=y;
x>y ;
y>x
10
1.7
Forma polar
A representao geomtrica de um nmero complexo sugere a possibilidade de usar coordenadas polares para representar um nmero complexo.
Seja z = x+yi um nmero complexo no nulo e r = jzj o seu mdulo. Como jx=rj 1;
jy=rj 1 e (x=r)2 + (y=r)2 = 1; o ponto (x=r; y=r) se situa sobre a circunferncia com
centro na origem e raio unitrio. Desta forma, existe um nmero real de modo que
x = r cos ;
(1.3)
y = r sen :
(1.4)
As funes seno e cosseno possuem perodo 2: Por esta razo, se for uma soluo do
sistema denido por (1.3) e (1.4), ento + 2 ser outra soluo. Este sistema possui
uma innidade de solues, duas delas diferindo por um mltiplo inteiro de 2. Todo
nmero real que satisfaz este sistema chamado de argumento de z.
Nota 1.1 No se dene argumento do nmero zero.
Denotamos por
arg(z) = f 2 R : x = r cos ;
y = r sen g
11
onde cis uma forma abreviada de escrever cosseno mais i seno de teta.
Dois nmeros complexos apresentados na forma polar so iguais quando seus mdulos
forem iguais e a diferena dos seus argumentos for mltiplo inteiro de 2; fato que decorre
da periodicidade das funes seno e cosseno. Dois nmero complexos
z = r(cos + i sen )
w = s(cos + i sen )
apresentados na forma polar sero iguais quando
r=s
e
= + 2k;
Desta frmula se conclui que, para multiplicar dois nmeros complexos, basta multiplicar
seus mdulos e adicionar seus argumentos.
Quando jwj = 1; obtm-se jz wj = jzj : Isto signica que, ao multiplicar um nmero
complexo no nulo z por um outro w de mdulo unitrio, basta girar o vetor posio de
z em radianos para obter o vetor posio de z w:
Voltemo-nos para a diviso. Quando w = s(cos + i sen ) 6= 0;
1
w1 = [cos() + i sen()];
s
e
z
r
= z w1 = [cos( ) + i sen( )]:
w
s
Assim, para dividir dois nmeros complexos na forma polar, basta dividir seus mdulos e
subtrair seus argumentos.
12
1.8
Potncia inteira
Seja
N = f1; 2; 3; : : :g
o conjunto dos nmeros inteiros positivos e
Z = f : : : ; 3; 2; 1; 0; 1; 2; 3; : : : g
o conjunto dos nmeros inteiros. Dado um nmero complexo z; denimos recursivamente as potncias inteiras de z por
z1
z
= z
= zn z :
n+1
1
:
zn
Sendo z = r(cos +i sen ) e n um nmero inteiro positivo, pode-se provar por induo
que
z n = rn (cos n + i sen n):
Quando z 6= 0 e o expoente n for igual a zero ou negativo, esta expresso continua vlida.
O leitor pode vericar que
i0 = 1; i1 = i; i2 = 1; i3 = i; i4 = 1; etc:
De modo geral, para qualquer inteiro n;
i4n
4n+1
i
i4n+2
i4n+3
= 1
= i
= 1
= i
(zw)n = z n wm ;
(z m )n = z mn ;
onde no devemos nos esquecer de que s existem potncias negativas ou nulas de nmeros
complexos distintos do zero.
1.9
13
w1 = cis
2
;
4
w2 = cis
4
;
4
w3 = cis
6
;
4
quando elevados quarta potncia, fornece 1 como resultado.Observe, por exemplo, que
w34 = cis 4
6
= cis 6 = cis 0 = 1 :
4
Percebemos que quatro nmeros distintos, quando elevados quarta potncia, resultam
no mesmo valor. Tal como nos reais, a operao inversa da potenciao ser denominada
a radiciao.
Denio 1.1 Um nmero complexo w uma raiz n-sima de outro nmero complexo
z quando
wn = z:
Todo nmero complexo no nulo possui exatamente n razes n-simas. Vamos vericar
como se determina as razes n-simas de z = r(cos + i sen ): Para w = s(cos + i sen )
ser uma delas,
sn (cos n + i sen n) = r(cos + i sen )
de onde se conclui que
s=
p
n
r;
n = + 2k;
para qualquer nmero inteiro k: Deste modo, para qualquer nmero inteiro k;
p
+ 2k
+ 2k
n
w = r cos
+ i sen
;
n
n
uma raiz
n-sima de z: Observa-se que todas as razes nsimas de z possuem o mesmo
p
n
mdulo r e os argumentos de duas razes distintas diferem por um mltiplo inteiro de
2=n:
Considerando que as funes seno e cosseno tm periodicidade 2; ao fazer o k assumir
os valores 0; 1; 2; : : : ; n 1; obtemos n razes nsimas distintas. Outros valores inteiros
de k reproduzem as n razes j obtidas.
p
Sendo r um nmero real positivo, reservaremos o smbolo n r para representar a sua
raiz n-sima real positiva. O smbolo z 1=n ir representar o conjunto de todas as razes
n-simas de z
z 1=n = fw 2 C : w n = zg:
14
k = 0; 1; 2; 3; 4 g:
1.10
Expoentes racionais
Seja z um nmero complexo, m e n nmeros inteiros primos entre si com n > 0: Denimos
z m=n = (z m )1=n = fw 2 C : wn = z m g:
Ressaltamos que, quando m for negativo ou nulo, o z deve ser diferente de zero. Quando
m e n no forem primos entre si, ento z m=n = z p=q ; onde p=q a forma irredutvel da
frao m=n; isto , p e q so primos entre si e p=q = m=n:
Pode-se mostrar que
m
(z m )1=n = z 1=n
onde
z 1=n
= fwm 2 C : w 2 z 1=n g:
Captulo 2
Limite e Continuidade
2.1
Funes
16
onde a0 ; a1 ; a2 ; :::; an so nmeros complexos com an 6= 0; denominada funo polinomial de grau n ou, simplesmente, funo polinomial.Seu domnio natural todo
o plano complexo.
Exemplo 2.2 Se Pm (z) e Qn (z) forem funes polinomiais, de grau m e n respectivamente, ento a funo
Pm (z)
f (z) =
Qn (z)
chamada de funo racional. Seu domnio natural o conjunto C; do qual se retira
os pontos nos quais o denominador se anula.
A imagem de uma funo complexa um nmero complexo, que possui uma parte real
e uma parte imaginria. Sendo Re(f (x; y)) = u(x; y) e Im(f (x; y)) = v(x; y); podemos
escrever
f (x; y) = u(x; y) + i v(x; y):
A funo u(x; y) denominada parte real e v(x; y) denominada parte imaginria de
f:
Exemplo 2.3 Sendo z = (x; y) e f (z) = z 2 , obtemos
e, para este exemplo,
v(x; y) = 2xy:
2.2
17
Funo exponencial
1
1
(iy)2 + (iy)3 +
2!
3!
+
2!
4!
6!
y3 y5 y7
+i y
+
+
3!
5!
7!
ou, percebendo que a parte real a srie de Taylor de cos x e que a parte imaginria a
srie de Taylor de sen x; obtemos
eiy = cos x + i sen x :
Para manter a propriedade
ex+iy = ex eiy
vlida quando os expoentes so reais, chega-se denio
exp(x + iy) = ex (cos x + i sen x):
A parte real da exponencial
u(x; y) = ex cos y
e a parte imaginria
v(x; y) = ex sen y:
Sendo x e y reais, o mdulo de exp(x + iy) exp(x) e y um dos seus argumentos.
A partir de agora, um nmero na forma polar z = r cis = r(cos + i sen ) poder ser
escrito em termos da exponencial z = r exp(i):
18
=
=
=
=
ez+w ;
ezw ;
1=ez ;
ez
2.3
com k inteiro
Funes trigonomtricas
nos fornecem
exp(ix) exp(ix)
(2.1)
2i
exp(ix) + exp(ix)
(2.2)
cos x =
2
Como o segundo membro j tem signicado mesmo quando x complexo, podemos usar
(2.1) e (2.2) como sendo a denio de seno e cosseno de nmeros complexos. Assim,
sendo z um complexo, denimos
sen x =
eiz eiz
2i
eiz + eiz
cos z =
:
2
sen z =
19
tan z =
cos z
sen z
1
csc z =
sen z
cot z =
2.4
=
=
=
=
=
1
sen z;
cos z
senz cos w + sen w cos z
cos z cos w sen z sen w
Funes hiperblicas
ez ez
;
2
cosh z =
ez + ez
;
2
senh z
;
cosh z
coth z =
cosh z
;
senh z
tanh z =
que satisfazem as identidades
cos iz = cosh z
cosh iz = cos z
tanh iz = i tan z
20
2.5
Para falar em limite de funes, precisaremos de alguns conceitos advindos da teoria dos
conjuntos. Seja z0 um nmero complexo. Dado " > 0 real, o conjunto
D(z0 ; ") = f z 2 C : j z z0 j< " g
chamado de disco aberto com centro z0 e raio ": O conjunto
D0 (z0 ; ") = f z 2 C : 0 <j z z0 j< " g
chamado de disco aberto perfurado com centro em z0 e raio ":
Um nmero complexo z um ponto interior de um conjunto B de nmeros complexos
se existir um disco aberto com centro em z contido em B: O conjunto de todos os pontos
interiores de um conjunto B chamado de interior do conjunto B: Se todos os pontos
do conjunto B forem interiores, diremos que ele aberto. Todo conjunto aberto contendo
z chamado de vizinhana de z: Os discos abertos com centro em z so vizinhanas de
z:
Um ponto z chamado de ponto exterior de um conjunto B quando houver uma
vizinhana de z contida no complementar de B: O conjunto de todos os pontos exteriores
de B denominado de exterior de B: Se toda vizinhana de z contiver pontos de B
e pontos do seu complementar, z ser chamado de ponto fronteira de B: O conjunto
formado pelos pontos fronteira de B chamado fronteira de B:
Um nmero complexo z um ponto de acumulao de B se todo disco perfurado
com centro em z possuir pelo menos um ponto de B: Evidentemente, todo ponto interior
de B um ponto de acumulao de B: O conjunto B fechado se contiver todos os
seus pontos de acumulao. Pode-se provar que um conjunto fechado se e s se o seu
complementar em C for aberto. O conjunto formado pela unio de B com seus pontos de
acumulao chamado de fecho de B e ser denotado por B: Por conter todos os seus
pontos de acumulao, o fecho de um conjunto fechado.
Pode-se provar que toda vizinhana perfurada de um ponto de acumulao de B possui
uma innidade de pontos de B:
Um conjunto B limitado se existir um disco com centro em zero e raio nito que
contm B:
2.6
Limite
2.6. LIMITE
21
z!z0
ou
f (z) ! L (z ! z0 )
para indicar que L o limite de f (z) quando z tende para z0 ou ainda que f(z) tende
para L quando z tende para z0 :
Nota 2.2 Para provar que j f(z) L j< " enquanto 0 < jz z0 j < ; devemos escrever
j f (z)L j como um produto jg(z)j jz z0 j : Em seguida, estabelece-se uma restrio sobre
(tal como exigir que K) com o intuito de obter a desigualdade jg(z)j M; para
algum M > 0 e para todo z no disco aberto perfurado com centro em z0 e raio : Obtemos
assim a desigualdade j f (z) L j M jz z0 j : Agora, para garantir que jf(z) Lj < ";
basta tomar "=M: Como preciso que K e "=M simultaneamente, escolhemos
= minfK; "=M g > 0:
Nota 2.3 Se 0 < jz z0 j < implica em jf (z) Lj < " e 1 < ; ento 0 < jz z0 j < 1
implica em jf (z) Lj < ": Em palavras, se jf (z) Lj < " para todo z num disco com
centro em z0 e raio ; ento a desigualdade ser satisfeita para todo z com centro em z0
e raio menor do que : Neste sentido, o > 0; na denio de limite, no nico.
A denio de limite no fornece um algoritmo para calcular o limite. No transcorrer
do captulo, iremos demonstrar teoremas nos auxiliaro na tarefa de obter um candidato
a limite. Sem os teoremas, que so as ferramentas do matemtico, o limite dever ser
inferido pelo conhecimento que temos da funo cujo limite desejamos calcular.
Exemplo 2.4 Seja k um nmero complexo e f (z) = k a funo constante. Vamos provar
que limz!z0 f (z) = k: Dado " > 0; seja = 1 (qualquer outro valor positivo serviria).
Sendo 0 < jz z0 j < = 1; obtemos jf (z) kj = jk kj = 0 < "; como queramos
provar. Conclumos que limz!z0 k = k: Em outras palavras, o limite de uma funo
constante a prpria constante.
Exemplo 2.5 Seja f(z) = z a funo identidade. Vamos mostrar que limz!z0 f (z) = z0 :
De fato, dado " > 0; seja = ": Sendo 0 < jz z0 j < ; obtemos jf (z) z0 j = jz z0 j <
= "; como queramos provar. Podemos escrever limz!z0 z = z0 :
Exemplo 2.6 Vamos mostrar que limz!i (z + i) = 2i: De fato, dado " > 0; seja = ":
Para todo z com 0 < jz ij < ; obtemos j(z + i) 2ij = jz ij < = "; como queramos
provar.
22
Para provar que limz!z0 z 2 = z02 ; usamos a tcnica preconizada. Atravs da restrio
1; obtivemos a desigualdade jz 2 z02 j M jz z0 j onde M = j2z0 j+1; vlida para todo
z num disco perfurado com centro em z0 e raio : Em seguida, para obter jz 2 z02 j < ";
bastava impor a segunda restrio "=M: Para satisfazer s duas restries, basta
tomar = minfK; "=Mg:
Exemplo 2.8 Vamos mostrar que
2z 1
1i
=
:
z!1 z + i
2
lim
Nossa tese consiste em provar que, dado " > 0 qualquer, possvel apresentar > 0 de
modo que, para todo z complexo satisfazendo 0 < jz 1j < ; se obtm
2z 1 1 i
z + i 2 < ":
Comeamos desenvolvendo
p
2z 1 1 i
j3
+
ij
10
z + i 2 = 2 jz + ij jz 1j < 2 jz + ij
Para garantir que a razo que limitada numa vizinhana de z0 = 1; devemos impedir que
o denominador se aproxime de zero. Como
jz + ij = ji + 1 + z 1j j1 + ij jz 1j
p
2 > 1
>
2.6. LIMITE
23
2z 1 1 i p
z + i 2 < 10 " ;
p
desde que "= 10: Esta a p
segunda restrio imposta sobre : Para satisfazer a ambas,
basta tomar = minf 1=2 ; "= 10 g:
Exemplo 2.9 Vamos mostrar que
z 2 + 2i
2+i
=
:
z!i 2z + i i
2
lim
Basta mostrar que, dado " > 0; pode-se construir um > 0 que, para todo z no disco
perfurado 0 < jz ij < ; verica a desigualdade
2
z + 2i
2 + i
2z + i i 2 < ":
Para tanto, desenvolve-se este mdulo
2
z 2
z 2
z + 2i
2
+
i
2z + i i 2 = 2z jz ij < 2z
Para garantir a possibilidade de tornar esta expresso menor do que o " dado, devemos
afastar o denominador do zero e garantir que o numerador se aproxima da origem. Sendo
jzj = ji + z ij jij jz ij > 1 1=2
desde que se imponha a restrio 1=2: Neste caso,
jz 2j = jz i + i 2j jz ij + ji 2j < +
< 1=2 + 3 = 7=2:
p
5
z + 2i
z 2
2
+
i
7
desde que se tome 2"=7; sendo esta a segunda restrio sobre : Logo, o > 0 que se
procura
= minf 1=2 ; 2"=7 g:
Como destacamos, a denio no fornece um mtodo para calcular o limite. Para
obter um candidato a limite, precios usar nossa intuio e nosso conhecimento da funo
cujo limite queremos calcular. Obtido o candidato a limite, o que nem sempre simples,
usa-se a denio para provar que ele , de fato, o limite. Quando no for fcil obter
o candidato a limite, seremos obrigados a usar ferramentas adicionais que, no caso da
Matemtica, so os teoremas. A partir de agora, passaremos a enunciar e a provar estes
teoremas.
24
z!z0
w!0
Basta observar que, para passar de um limite para o outro, basta fazer z = z0 +w: Pode-se
vericar ainda que
lim f (z) = L $ lim [f(z) L] = 0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
lim
O prximo teorema garante que a funo permanece limitada numa vizinhana perfurada do ponto em que tem limite.
Teorema 2.2 Se
lim f (z) = L;
z!z0
ento existe > 0; tal que, para todo z na interseco do domnio de f com o disco
perfurado D0 (z0 ; ) tem-se
jf (z)j < jLj + 1:
2.6. LIMITE
25
Prova. Tomando " = 1; existe > 0 tal que jf (z) Lj < 1; para todo z na interseco
de D0 (z0 ; ) com o domnio de f: Para tais valores de z;
jf (z)j jLj + jf (z) Lj < jLj + 1;
o que prova o teorema.
Quando f estiver denida em z0 ; ela permanece limitada no disco D(z0 ; ): Neste caso
o limitante
M = maxf jLj + 1 ; jf (z0 )jg
2
O prximo teorema garante que, se limz!z0 f (z) 6= 0; ento 1=f (z) permanece limitado
numa vizinhana perfurada de z0 :
Teorema 2.3 Se limz!z0 f (z) = L 6= 0; ento existe > 0 tal que
jf (z)j >
jLj
1
2
ou
<
;
2
jf (z)j
jLj
z!z0
1
1
= :
z
z0
A tese consiste em provar que, dado " > 0; possvel exibir um > 0; que garante a
desigualdade
1
<"
z z0
para todo z no disco perfurado 0 < jz z0 j < :
Impondo a restrio jz0 j =2 para impedir que o disco perfurado denido pela desigualdade 0 < jz z0 j < contenha o zero ou pontos arbitrariamente prximos de zero,
obtemos
jzj = jz0 + z z0 j jz0 j jz z0 j > jz0 j jz0 j =2:
26
1
z0 z
1
2
=
z z0 z z0 < jz j2 "
0
desde que se tome " jz0 j2 =2: Para satisfazer s duas restries impostas a ; toma-se
2
jz0 j jz02 j
= min
;
"
2
2
que um nmero real maior do que zero.
Teorema 2.4 Se jf (z)j jg(z)j numa vizinhana perfurada de z0 e limz!z0 g(z) = 0;
ento limz!z0 f (z) = 0:
Prova. Nossa tese consiste em provar que, dado " > 0; pode-se exibir > 0 tal que,
para todo z no disco perfurado denido por 0 < jz z0 j < ; se obtm jf (z)j < ":
Iniciemos a prova da tese. Dado " > 0; existe > 0 tal que, para todo z no disco
perfurado 0 < jz z0 j < ; tem-se jg(z)j < : Sempre se pode tomar o de modo que
a desigualdade jf (z)j jg(z)j seja verdadeira no disco perfurado com centro z0 e raio :
Assim sendo, para todo z neste disco perfurado tem-se jf (z)j jg(z)j < "; o que prova a
tese. 2
Teorema 2.5 Se f (z) for limitada num disco perfurado com centro z0 e limz!z0 g(z) = 0
ento limz!z0 f (z)g(z) = 0.
Prova. Sendo f limitada num disco perfurado com centro z0 ; existe M > 0 e r > 0
tais que, para todo z no disco perfurado com centro z0 e raio r; tem-se jf (z)j M: Por
outro lado, como limz!z0 g(z) = 0; dado um " > 0 qualquer, existe > 0; para o qual
jg(z)j < "=M para todo z no disco perfurado 0 < jz z0 j < : Sempre se pode tomar
< r e da, para todo z no disco perfurado com centro z0 e raio tem-se
jf (z)g(z)j = jf (z)j jg(z)j M jg(z)j < "
o que prova o teorema. 2
Exemplo 2.12 Este teorema garante que h(z) = z cos(z 1 ) tem limite zero em z = 0
pois h(z) o produto da funo f (z) = cos(z 1 ); que limitada, por g(z) = z que tem
limite zero em z = 0:
O prximo teorema, muito til, fornece as propriedades operacionais do limite.
2.6. LIMITE
27
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
lim g(z) = G;
z!z0
z!z0
jf (z)G F g(z)j
g(z) G =
jg(z)j jGj
jGj2
pois jg(z)j jGj =2 numa vizinhana perfurada de z0 . Como
jf (z)G F g(z)j ! 0
quando z ! z0 ;
f (z) F
g(z) G ! 0
28
Exemplo 2.13 Usando o teorema anterior e induo nita, vamos provar que, para todo
inteiro n 0 e todo nmero complexo z0 ;
lim z n = z0n :
z!z0
Vamos provar ainda que se z0 6= 0; esta frmula se aplica se n for um inteiro negativo.
Inicialmente, vamos provar por induo que este resultado vale para todo n 0: Os
exemplos anteriores mostraram que o resultado vale quando n = 0; 1; 2 e para todo z0
complexo. Para provar que o limite tem o valor dado para todo n 0; como hiptese de
induo, vamos supor que, para um inteiro k > 2; tem-se limz!z0 z k = z0k : Para completar
a prova, preciso mostrar que limz!z0 z k+1 = z0k+1 : De fato, usando o teorema anterior,
lim z k+1 = lim (z z k ) = lim z lim z k = z0 z0k = z0k+1 ;
z!z0
z!z0
z!z0
z!z0
z!z0
z!z0
z n
limz!z0
z n
z0n
= z0n :
completando a prova.
Exemplo 2.14 Deste resultado e do teorema anterior, sendo P (z) = a0 + a1 z + a2 z 2 +
+ an z n uma funo polinomial, o teorema anterior assegura que
lim P (z) = P (z0 ):
z!z0
Sendo Q(z) outra funo polinomiail, para todo z0 no qual Q(z0 ) 6= 0; tem-se
lim
z!z0
P (z)
P (z0 )
=
:
Q(z)
Q(z0 )
z!z0
Quando isto ocorre, dizemos que a funo f contnua em z0 : Para calcular o limite de
uma funo contnua em um ponto, basta calcular seu valor neste ponto.
Em termos de epsilons e deltas, quando f contnua em z0 ; para qualquer " > 0
dado, existe > 0 tal que, para todo z no domnio de f; com jz z0 j < ; tem-se
jf(z) f (z0 )j < ":
Observe que, quando a funo contnua no ponto, a desigualdade jf(z) f(z0 )j < "
se verica mesmo quando z = z0 (neste caso, jf (z) f (z0 )j = 0 < "): Desta forma no
preciso exigir que z distinto de z0 : Na continuidade, z pode ser qualquer ponto do disco
com centro z0 e raio :
Quando f (z) no for contnua em um ponto, diremos que descontnua neste ponto.
Quando f (z) for contnua em todos os pontos de um conjunto D; diremos que f(z)
contnua em D: Quando f for contnua no seu domnio, diremos apenas que f contnua.
Os teoremas provados na seo anterior nos permitem enunciar
2.6. LIMITE
29
a0 + a1 z + + anz n
b0 + b1 z + + bm z m
z!z0
z!z0
Prova. Se
lim f(z) = U + iV
z!z0
jv(z) V j ! 0 quando z ! z0 :
30
z!z0
z!z0
z!z0
2.7
=
=
=
=
f t 2 R : a t b g;
f t 2 R : a < t b g;
f t 2 R : a t < b g;
f t 2 R : a < t < b g;
31
denida para todo t no intervalo [0; 1] possui domnio na reta e valores complexos. Sua
imagem o segmento de reta com extremidades em z1 e z2 ; que ser denotado por [z1 ; z2 ]:
Exemplo 2.19 Sejam z0 ; z1 ; : : : ; zn nmeros complexos distintos e : [0; n] ! C a
funo denida do seguinte modo: para cada k = 0; 1; : : : ; n 1; estando t no intervalo
[k; k + 1];
(t) = zk + (zk+1 zk )(t k):
(t ! t0 )
ou
lim (t) = z0
(t ! t0 ):
Na primeira notao leia: (t) tende a z0 quando t tende a t0 : Na segunda, leia: o limite
de (t) igual a z0 quando t tende a t0 : Evidentemente, t0 um ponto interior ou uma
das extremidades do intervalo de denio de : O t0 nem precisa pertencer a I quando
for um de seus extremos.
32
Teorema 2.10 Sendo (t) = x(t)+ iy(t); pode-se provar que tem limite em t0 se e s
se x(t) e y (t) tiverem limite em t0 : Neste caso,
lim (t) = lim x(t) + i lim y(t) :
t!t0
t!t0
t!t0
Exemplo 2.22 Este teorema e a continuidade das funes reais envolvidas garantem que
lim (cos t + i sen t) = cos t0 + i sen t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
t!t0
limt!t0 (t)
(t)
=
:
(t)
limt!t0 (t)
33
Se limt!t0 (t) = (t0 ); diremos que (t) contnua no ponto t0 : Observe que
(t) = x(t) + iy(t) contnua em t0 se e s se sua parte real x(t) e sua parte imaginria
y(t) forem contnuas em t0 : Observe ainda que, se (t) e (t) forem contnuas em t0 ;
para qualquer nmero complexo k; as funes k; + e sero contnuas em t0 : Se
(t0 ) 6= 0; a razo = ser contnua em t0 :
Seja I um intervalo de nmeros reais. Se : I ! C for contnua em todos os pontos
de I; diremos que uma trajetria que liga o ponto inicial (a) ao ponto nal
(b): A imagem
= f (t) : t 2 Ig
t!t0
Prova. Sabendo-se que (t0 ) = z0 ; que (t) 6= (t0 ) quando t 6= t0 e que limz!z0 f(z) =
w0 ; vamos provar que limt!t0 f ( (t) ) = w0 :
Como limz!z0 f(z) = w0 ; dado " > 0 existe r > 0 tal que, para todo z no domnio de
f com 0 < jz z0 j < r tem-se jf (z) w0 j < ":
Sendo contnua, considerando-se que sua imagem est contida no domnio de f;
considerando ainda que (t0 ) = z0 e que (t) 6= (t0 ) quando t 6= t0 ; para o r > 0
obtido no pargrafo anterior, existe um > 0 tal que, para todo t no domnio de
com 0 < jt t0 j < ; tem-se 0 < j(t) z0 j < r: Como (t) est a uma distncia de
z0 menor do que r e maior do que zero, segue da concluso do pargrafo anterior que
jf((t)) w0 j < " o que prova a tese proposta. 2
O teorema continua verdadeiro se (t) 6= z0 para t em alguma vizinhana de t0 :
O limite limt!t0 f ( (t) ) chamado de limite de f em z0 ao longo de : Este teorema
garante que ele o nico candidato possvel para o limz!z0 f(z): Como f( (t) ) uma
funo de varivel real, pode ser mais fcil calcular o limt!t0 f( (t) ) do que o limz!z0 f (z):
34
Quando f (z) possui limite em z0 e 1 (t); 2 (t) forem duas trajetrias distintas passando
uma nica vez por z0 quando t = t1 e t = t2 ; respectivamente, ento
lim f ( 1 (t) ) = lim f( 2 (t) ):
t!t1
t!t2
Se porventura
lim f ( 1 (t) ) 6= lim f ( 2 (t) )
t!t1
t!t2
podemos concluir que f no possui limite em z0 : Logo, o limite ao longo de uma curva
uma boa ferramenta para obter um candidato para o limz!z0 f (z) ou ainda para provar que
f no possui limite em z0 : Duas trajetrias comumente usadas para este propsito so as
retas paralelas aos eixos real e imaginrio que passam por z0 ; denidas parametricamente
por
z = z0 + t e z = z0 + it;
com t percorrendo os reais.
Exemplo 2.23 A funo f (z) = z=z no possui limite em z0 = 0. De fato, ao longo da
trajetria 1 (t) = t; que passa pelo zero quando t = 0; obtemos f( t ) = 1 cujo limite 1
quando t ! 0: Considerando agora a reta 2 (t) = it; que passa por z0 = 0 quando t = 0;
obtemos f ( it) = 1 cujo limite 1 quando t ! 0: Como o limite ao longo de curvas
distintas so diferentes, conclumos que f (z) no tem limite no ponto z0 = 0:
Exemplo 2.24 A funo Arg(z); que associa a cada nmero complexo z no nulo o seu
argumento no intervalo (; ]; descontnua no semi-eixo real negativo com o zero,
f (x; 0) : x 0 g: De incio, observamos que a funo Arg no denida em zero e, deste
modo, Arg no contnua no zero. Quando z0 6= 0 um ponto do semi-eixo real negativo,
z0 = r onde r > 0 real. A circunferncia r cis t de raio r e centro na origem tende a
z0 quando t ! e quanod t ! : Como Arg(r cis t) = t;
lim Arg(r cis t) = ;
t!
e
lim Arg(r cis t) = :
t!
35
z!z0
2
Como contnua, podemos escrever
lim f((t)) = f
z!z0
lim (t)
t!t0
e concluir que, quando uma funo contnua, pode-se passar o limite para dentro dela.
2.8
z!z0
w!w0
Prova. Partindo da hiptese que limw!w0 g(w) = L; para qualquer " > 0 dado,
existe um > 0 tal que, para todo w no domnio de g com 0 < jw w0 j < tem-se
jg(w) Lj < ":
De limz!z0 f (z) = w0 e, sendo f (z) 6= w0 para todo z 6= z0 ; considerado o > 0
obtido no pargrafo anterior, existe um > 0 tal que, para todo z no domnio de f com
0 < jz z0 j < tem-se 0 < jf (z) w0 j < : Considerando ainda o pargrafo anterior,
segue jg(f(z)) w0 j < "; provando que limz!z0 g f (z) = L como se pretendia. 2
Nota 2.6 O teorema continua vlido se f (z) 6= w0 para z em alguma vizinhana perfurada
de z0 : Isto ocorre porque o limite um conceito local. Bastam os valores da funo numa
vizinhana perfurada de z0 para denir o limite de f neste ponto.
Nota 2.7 (Mudana da varivel no limite) O teorema anterior pode ser interpretado
como aquele que assegura a possibilidade de fazer uma mudana de varivel no limite.
Sabe-se calcular
w0 = lim f (z)
z!z0
36
e
L = lim g(w):
w!w0
Deseja-se calcular o
lim g[f (z)]:
z!z0
z!z0
O prximo teorema pode ser considerado como uma verso, para funes contnuas,
do teorema da mudana de varivel no limite.
Corolrio 2.15 (Passando o limite para dentro de uma funo contnua) Seja f (z) uma
funo complexa com limz!z0 f (z) = w0 : Seja g(w) outra funo complexa, contnua em
w0 ; cujo domnio contm a imagem de f: Sob tais hipteses, a funo composta g f (z)
tem limite em z0 e
lim g(f (z)) = g(w0 ):
z!z0
A igualdade demonstrada neste teorema pode ser reescrita de dois modos. O primeiro,
lim g(f(z)) = lim g(w)
z!z0
w!w0
z!z0
z!z0
informa ser possvel passar o limite para dentro de uma funo contnua o que pode
simplicar o clculo de determinados limites.
Exemplo 2.25 A funo cos z contnua em todo o plano. De acordo com corolrio
anterior,
2
z + 2
z2 + 2
L = lim cos
= cos lim
:
z!i
z!i z i
z i
Simplicando a frao, obtemos
h
i
L = cos lim (z + i) = cos(2i) = cosh(2):
z!i
Corolrio 2.16 Seja f (z) contnua em z0 e g(w) uma funo cujo domnio contm a
imagem de f: Se g for contnua em w0 = f(z0 ); ento g f (z) contnua em z0 :
Dos teoremas enunciados e provados, a funo exp(z 2 +2z) contnua em todo o plano
complexo pois a composio das funes contnuas g(w) = exp(w) e f(z) = z 2 + 2z:
A funo sen ((2z + 3)=(z i)) contnua em todo o plano, exceto em z = i: Isto ocorre
porque ela a composio de g(w) = sen(w) que contnua em todo w complexo com
f (z) = (2z + 3)=(z i) que contnua para todo z 6= i:
Captulo 3
Derivada
3.1
Introduo
d
f(z0 )
dz
ou
df
(z0 ):
dz
Se f(z) for derivvel em todos os pontos de um conjunto D; diremos que f (z) derivvel
em D e, se for derivvel em todos os pontos de C; diremos que inteira. O quociente
f (z0 + w) f (z0 )
w
chamado de razo incremental.
Exemplo 3.1 Se k for um nmero complexo, ento as funes f (z) = k, g(z) = z e
h(z) = z 2 so derivveis em todo o plano complexo e f 0 (z) = 0, g 0 (z) = 1 e h0 (z) = 2z.
A prova destas armaes pode ser obtida facilmente a partir da denio de derivada.
Exemplo 3.2 A funo f (z) = z 1 derivvel para todo z 6= 0. De fato, sendo z 6= 0,
1
1
1
1
1
= lim
= 2
f (z) = lim
w!0 w z + w
w!0 (z + w)z
z
z
0
38
CAPTULO 3. DERIVADA
Prova. Basta mostrar que limw!0 [f (z0 + w) f(z0 )] = 0. De fato,
f (z0 + w) f (z0 )
lim w =
w!0
w!0
w
0
= f (z0 ): lim w = 0
w!0
w!0
2
O prximo exemplo mostra que o recproco deste teorema no verdadeiro. Nos
exemplos que seguem vamos usar uma ferramenta inestimvel para provar que o limite de
uma funo no existe, que o clculo do limite ao longo de uma curva.
Exemplo 3.3 A funo f(z) = z contnua em C mas no derivvel em ponto algum.
Isto acontece porque a razo
f (z + w) f (z)
z+wz
w
=
= ;
w
w
w
no possui limite quando w ! 0: De fato, ao longo do eixo real, w=w = 1: Fazendo w ! 0
ao longo deste eixo, obtemos w=w ! 1: Ao longo do eixo imaginrio, w=w = 1: Fazendo
w ! 0 ao longo deste eixo, obtemos w=w ! 1:
Fazendo com maiores detalhes, ao longo da curva w = t; com t real,
w
t
= = 1 ! 1 (t ! 0):
w
t
Ao longo da curva w = it; com t real,
w
it
=
= 1 ! 1 (t ! 0):
w
it
Desta forma, w=w no possui limite em w = 0 pois, quando nos aproximamos do zero ao
longo do eixo real e do eixo imaginrio obtemos limites diferentes para w=w:
Exemplo 3.4 A funo f (z) = z z = jzj2 contnua em C mas s possui derivada em
z = 0:Em z = 0;
f (w) f(0)
ww
=
= w ! 0 (w ! 0);
w
w
mostrando que f 0 (0) = 0: Quando z 6= 0;
f (z + w) f (z)
w
(z + w)(
z + w) z z
=
=z+w+z :
w
w
w
Como w=w no possui limite em w = 0; a razo [f (z + w) f (z)] =w tambm no possui
limite em w = 0: Isto mostra que f (z) no tem derivada quando z 6= 0:
39
Exemplo 3.5 A funo f (z) = z 2 z contnua em todo o plano complexo mas derivvel
apenas no zero. Para vericar que f derivvel em zero, basta considerar o limite da
razo incremental
f (z) f(0)
= z z ! 0 (z ! 0)
z
de modo que f 0 (0) = 0: Para vericar que f no derivvel em outro ponto, considere
um ponto z0 do plano complexo. Ao longo da reta horizontal z = z0 + t; com t real, que
passa por z0 quando t = 0; temos
f (z0 + t) f (z0 )
(z0 + t)(z0 + t) z0 z0
=
t
t
= z0 + z0 + t ! z0 + z0
(t ! 0):
Ao longo da reta vertical z = z0 + it; t real, que passa por z0 quando t = 0; temos
f (z0 + it) f(z0 )
(z0 + it)(z0 it) z0 z0
=
it
it
= z0 z0 it ! z0 z0
(t ! 0):
Como os limites da razo incremental ao longo de retas distintas so diferentes, concluimos que f no possui derivada em z0 6= 0:
3.2
Frmulas de derivao
Se k for uma constante complexa, f(z) e g(z) forem derivveis em z prova-se, como no
caso de funes reais, que as funes (kf )(z); (f + g)(z) e (f g)(z) so derivveis em z e
d(kf )
df
(z) = k (z)
dz
dz
d
df
dg
[f(z) + g(z)] =
(z) + (z) ;
dz
dz
dz
df
dg
d
[f (z)g(z)] =
(z)g(z) + f (z) (z) :
dz
dz
dz
Quando g(z) 6= 0; tambm temos
d
dz
f (z)
g(z)
Exemplo 3.6 Vamos provar por induo que, para todo n inteiro positivo, f(z) = z n
derivvel em todo o plano e f 0 (z) = nz n1 . Sabemos que, quando n = 1; a funo g(z) = z
inteira e g 0 (z) = 1: Portanto, a frmula vale quando n = 1: Vamos admitir, como
hiptese de induo, que h(z) = z n1 derivvel em todo o plano e que h0 (z) = (n1)z n2 .
40
CAPTULO 3. DERIVADA
A funo f(z) = z n possui derivada em todos os pontos de C; uma vez que o produto
das funes z n1 e z que so derivveis em todo o plano. Pela regra do produto,
f 0 (z) = (z n )0 = (z n1 z)0 = (z n1 )0 z + z n1 (z)0 =
= (n 1)z n2 z + z n1 = nz n1 ;
o que completa a prova.
Quando n for um inteiro negativo e z 6= 0; ento n positivo e a frmula da razo
nos fornece
0
1
(z n )0
nz n1
n 0
(z ) =
=
=
= nz n1 :
z n
z 2n
z 2n
Nota-se que a frmula (z n )0 = nz n1 vale para todo z em C quando n = 0; 1; 2; : : : e,
para todo z 6= 0; quando n = 1; 2; 3; : : : .
P (z)
Q(z)
3.3
Seja (t) uma funo com valores complexos e varivel real t; denida num intervalo I da
reta. Se existir o limite
(t) (t0 )
lim
t!t0
t t0
existir em algum t0 de I; diz-se que (t) derivvel em t0 : Este limite denotado por
0 (t0 ) e chamado de derivada de em t0 :
Sejam x(t) e y(t) a parte real e imaginria de (t): Ento
(t) = x(t) + iy(t)
derivvel em t0 se e s se x(t) e y(t) forem derivveis em t0 e vale a relao
0 (t0 ) = x0 (t0 ) + iy 0 (t0 ) :
41
Exemplo 3.8 A funo (t) = cis(t) = cos t + i sen t derivvel para todo t real pois
cos t e sen t so derivveis em R: A derivada de (t) 0 (t) = sen t + i cos t = i(cos t +
i sen t) = i cis t:
Se (t) for derivvel em t0 ; ento (t) contnua em t0 : De fato, se (t) for derivvel
em t0 ; ento x(t) e y(t) sero derivveis em t0 : Como funes reais, quando derivveis, so
contnuas, segue que x(t) e y(t) sero contnuas em t0 e, portanto, (t) contnua em t0 :
O seguinte resultado muito til para calcular a derivada de uma funo complexa.
Teorema 3.2 Seja (t) uma funo de valores complexos na varivel real t; cuja imagem
est contida no domnio de uma funo complexa f (z):
Se (t) for derivvel em t0 e f (z) for derivvel em z0 = (t0 ); ento f (t) derivvel
em t0 e
(f )0 (t0 ) = f 0 (z0 )0 (t0 ) :
Prova. Como f (z) derivvel em z0 = (t0 ); existe uma funo r(z); denida numa
vizinhana V de z0 ; com limz!z0 r(z) = r(z0 ) = 0; para a qual vale a identidade
f(z) f (z0 ) = f 0 (z0 )(z z0 ) + r(z)(z z0 )
(a)
t!t0
42
CAPTULO 3. DERIVADA
Quando f no possui derivada em z0 ; este teorema fornece uma boa ferramenta para
se provar a inexistncia da derivada. O procedimento a seguir neste caso o seguinte:
Considera-se duas curvas 1 (t) e 2 (t) que passam por z0 quando t = t1 e t = t2 ; isto ,
1 (t1 ) = z0 e 2 (t2 ) = z0 ; cujas derivadas 01 (t1 ) e 02 (t2 ) no se anulam. Se
(f 1 )0 (t1 ) 01 (t1 ) 6= (f 2 )0 (t2 ) 02 (t2 );
ento f no possui derivada em z0 :
Exemplo 3.9 A funo f (z) = z no possui derivada em ponto algum do plano complexo.
De fato, sendo z0 um nmero complexo qualquer, considere as retas 1 (t) = z0 + t e
2 (t) = z0 + it; que passam por z0 quando o parmetro real t igual a zero. Temos
01 (t) = 1 e 02 (t) = i e, em t = 0;
01 (0) = 1 e 02 (0) = i:
Por outro lado, f 1 (t) = z0 + t e f 2 (t) = z0 it e assim,
(f 1 )0 (0) = 1 e (f 2 )0 (0) = i
Como
(f 1 )0 (0) 01 (0) = 1
e
(f 2 )0 (0) 02 (0) = 1;
concluimos que f no derivvel em z0 ; para qualquer z0 complexo.
3.4
Condies de Cauchy-Riemann
Seja f (x; y) = u(x; y) + iv(x; y) uma funo complexa que tem u(x; y) e v(x; y) como
partes real e imaginria. Iremos mostrar nesta seo que, se f (z) for derivvel no ponto
z0 = (x0 ; y0 ); sua derivada pode ser calculada atravs das derivadas parciais de u(x; y) e
v(x; y) no ponto z0 :
A prova simples. Sendo f (z) derivvel em z0 ; ento existe o limite
lim
z!z0
f (z) f (z0 )
u(z) u(z0 )
v(z) v(z0 )
= lim
+ i lim
:
z!z0
z!z0
z z0
z z0
z z0
Se este limite existe, seu valor ao longo de qualquer curva que passa por z0 dever ser o
mesmo. Ao longo da reta horizontal
z = z0 + t = (x0 + t; y0 );
43
f 0 (z0 ) =
lim
(3.1)
f 0 (z0 ) =
lim
z!z0
(3.2)
Observe que (3.1) e (3.2) fornecem frmulas para calcular a derivada da f(z) em termos
das derivadas parciais de u(x; y) e v(x; y): Comparando-se estas frmulas, percebe-se que,
quando f (z) derivvel em z0 = x0 + iy0 , as derivadas parciais de u e v devem satisfazer
s chamadas de condies de Cauchy-Riemann
@u
@v
(x0 ; y0 ) =
(x0 ; y0 ) ;
@x
@y
@u
@v
(x0 ; y0 ) =
(x0 ; y0 ) :
@y
@x
(3.3)
(3.4)
uy (x; y) ;
vx (x; y) ;
vy (x; y)
44
CAPTULO 3. DERIVADA
so satisfeitas para todo z = (x; y) do plano. A derivada de f pode ser calculada usando
uma das frmulas envolvendo as derivadas parciais de u e v: Por exemplo, acima
f 0 (z) = ux(x; y) + ivx (x; y) = 2x + 2iy = 2z :
Nos dois prximos exemplos veremos que as condies de Cauchy-Riemann podem ser
satisfeitas em um ponto z0 sem que f (z) seja derivvel neste ponto.
Exemplo 3.11 Consideremos f (z) = (3z 2 + z 2 )=(4z) quando z 6= 0 e f (0) = 0: Esta
funo contnua em todo o plano complexo. Sendo u(x; y) a parte real e v(x; y) a parte
imaginria de f(z); ento u(0; 0) = v(0; 0) = (0; 0) e
u(x; y) = x3 = x2 + y 2
v(x; y) = y 3 = x2 + y 2
para todo z = (x; y) 6= (0; 0). Vamos provar que as funes u(x; y) e v(x; y) satisfazem s
condies de Cauchy-Riemann em z0 = (0; 0): Calculando as derivadas parciais,
u(x; 0) u(0; 0)
x3
= lim 3 = 1
x!0
x!0 x
x
u(0; y) u(0; 0)
0
uy (0; 0) = lim
= lim 3 = 0
y!0
y!0 y
y
v(x; 0) v(0; 0)
0
vx (0; 0) = lim
= lim 3 = 0
x!0
x!0 x
x
v(0; y) v(0; 0)
y3
vy (0; 0) = lim
= lim 3 = 1
y!0
y!0 y
y
ux (0; 0) = lim
45
(t ! 0):
(t ! 0) :
2 5
u(x; y) = x2 + y 2
x 10x3 y 2 + 5xy 4
e sua parte imaginria
2 4
v(x; y) = x2 + y 2
5x y 10x2 y 3 + y 5 :
3.5
Existncia da derivada
Mostraremos nesta seo que, se as derivadas parciais de u(x; y) e v(x; y) existirem numa
vizinhana de z0 = (x0 ; y0 ) forem contnuas neste ponto e satiszerem s condies de
Cauchy Riemann
ux (z0 ) = vy (z0 ) e vx (z0 ) = uy (z0 );
so condies sucientes para garantir que f(z) = u(z) + iv(z) derivvel em z0 :
Lema 3.4 Seja g(z) uma funo complexa denida em uma vizinhana V de z0 : As
armaes abaixo so equivalentes.
46
CAPTULO 3. DERIVADA
g(z) g(z0 )
g 0 (z0 ) ;
z z0
quando
z 6= z0 ;
z!z0
identidade vlida para todo z 6= z0 : Como limz!z0 r(z) = r(z0 ) = 0; o lado direito converge
g(z) g(z0 )
para G quando z ! z0 : Assim, a razo incremental
tem limite quando z ! z0
z z0
garantindo a existncia de g 0 (z0 ); cujo valor G: 2
Exemplo 3.13 Usando este lema, vamos mostrar a regra de LHospital: Se f(z0 ) =
g(z0 ) = 0, existirem as derivadas f 0 (z0 ) e g 0 (z0 ) e g 0 (z0 ) 6= 0; ento
f 0 (z0 )
f (z)
lim
= 0
:
z!z0 g(z)
g (z0 )
Sendo f(z) e g(z) derivveis em z0 ; existem duas funes r1 (z) e r2 (z), denidas numa
vizinhana de z0 tais que limz!z0 r1 (z) = limz!z0 r2 (z0 ) = 0 e
f (z) = [f 0 (z0 ) + r1 (z)] (z z0 )
g(z) = [g 0 (z0 ) + r2 (z)] (z z0 )
z!z0
[f 0 (z0 ) + r1 (z)] (z z0 )
z!z0 [g 0 (z0 ) + r2 (z)] (z z0 )
limz!z0 [f 0 (z0 ) + r1 (z)]
f 0 (z0 )
=
=
limz!z0 [g 0 (z0 ) + r2 (z)]
g 0 (z0 )
f (z)
=
g(z)
lim
47
Exemplo 3.14 Para calcular limz!0 (sen z)=z; observamos que tanto o numerador quanto
o denominador so derivveis e se anulam no zero. Assim, podemos aplicar a regra de
LHospital para obter
sen z
cos z
lim
= lim
= 1:
z!0
z!0 1
z
Provaremos agora o teorema que nos fornece as condies sucientes para a derivabilidade.
Teorema 3.5 Sejam u(x; y) e v(x; y) funes reais cujas derivadas parciais ux (x; y),
uy (x; y), vx (x; y), vy (x; y) existem em uma vizinhana do ponto z0 = (x0 ; y0 ) do plano
complexo. Se estas derivadas parciais forem contnuas em z0 e as condies de Cauchy-Riemann
ux (z0 ) = vy (z0 ) e vx(z0 ) = uy (z0 )
forem satisfeitas, ento f(x; y) = u(x; y) + iv(x; y) ser derivvel em z0 e
f 0 (z0 ) = ux (x0 ; y0 ) + ivx (x0 ; y0 )
= vy (x0 ; y0 ) iuy (x0 ; y0 )
Prova. Denotemos z = (x; y): A continuidade das derivadas parciais de u(z) e v(z)
em z0 = (x0 ; y0 ), garante a diferenciabilidade de ambas neste ponto. Assim, existem
duas funes reais a(z) e b(z); denidas numa vizinhana B de z0 com limz!z0 a(z) =
limz!z0 b(z) = 0 e tais que
u(z) = u(z0 ) + ux (z0 )(x x0 ) + uy (z0 )(y y0 )
+a(z) jz z0 j ;
v(z) = v(z0 ) + vx (z0 )(x x0 ) + vy (z0 )(y y0 )
+b(z) jz z0 j ;
para todo (x; y) em B: Multiplicando a segunda equao por i e somando-a na anterior,
obtemos
f (z) = f (z0 ) + [ux (z0 ) + ivx (z0 )] (x x0 )
+ [uy (z0 ) + ivy (z0 )] (y y0 )
+ [a(z) + i b(z)] jz z0 j :
Como u e v satisfazem s condies de Cauchy-Riemann em z0 ,
f (z) = f (z0 ) + [ux (z0 ) + ivx (z0 )] (x x0 )
+ [ux (z0 ) + ivx (z0 )] i (y y0 )
+ [a(z) + i b(z)] jz z0 j
ou seja,
f (z) f (z0 ) = [ux (z0 ) + ivx (z0 )] (z z0 )
+ [a(z) + i b(z)] jz z0 j :
48
CAPTULO 3. DERIVADA
@y
@v
;
@y
@v
:
@x
1
v(x; y) = (x2 + y 2 ) cos p
x2 + y 2
49
quando (x; y) 6= (0; 0); com u(0; 0) = v(0; 0) = 0: A funo f (x; y) = u(x; y) + iv(x; y)
derivvel em (0; 0) e f 0 (0) = 0: De fato, f (0) = 0 e
1
2
quando z 6= 0
f (z) = jzj cis
jzj
Assim,
f (z) f (0) z 2
= = jzj ! 0 quando z ! 0:
z
z
1
1
cos :
x
x
Esta funo no possui limite quando x ! 0: Isto mostra que ux (x; y) descontnua em
(0; 0):
3.6
Vamos mostrar um teorema que permite calcular derivada de funes tais como cos(z 2 +
2z); a partir das derivadas de cos z e de z 2 + 2z:
Teorema 3.6 (Regra da Cadeia) Seja f(z) uma funo complexa denida em uma
vizinhana de z0 e derivvel neste ponto. Seja g(w) outra funo complexa, denida numa
vizinhana de w0 = f(z0 ) e derivvel neste ponto. Nestas condies, a funo composta
g f (z) derivvel em z0 e
(g f )0 (z0 ) = g 0 [f (z0 )] f 0 (z0 ):
Prova. Sendo g derivvel em w0 = f (z0 ); vamos denir r(w) numa vizinhana D de
w0 por r(w0 ) = 0 e, quando w 6= w0 ;
r(w) =
g(w) g(w0 )
g 0 (w0 ):
w w0
Esta funo contnua em w0 ; pois limw!w0 r(w) = 0 e, alm do mais, para todo w em
D; vale a igualdade
g(w) = g(w0 ) + g 0 (w0 )(w w0 ) + r(w)(w w0 )
50
CAPTULO 3. DERIVADA
(a)
z!z0
3.7
51
v(x; y) = 2xy;
V (r; ) = r2 sen(2):
Sejam u(x; y) e v(x; y) duas funes reais denidas numa vizinhana de um nmero
complexo no nulo
z0 = (x0 ; y0 ) = r0 cis 0 :
Sejam U (r; ) e V (r; ) funes reais denidas numa vizinhana de (r0 ; 0 ) por
U (r; ) = u(r cos ; r sen )
e
V (r; ) = v(r cos ; r sen ):
Se u e v forem contnuas em z0 ; ento U e V sero contnuas em (r0 ; 0 ) por serem
compostas de funes contnuas.
Se as derivadas parciais ux ; uy ; vx e vy forem contnuas em (x0 ; y0 ); ento as derivadas
Ur ; U ; Vr e V tambm sero contnuas em (r0 ; 0 ) pois
Ur (r; ) = cos ux (r cos ; r sen ) + sen uy (r cos ; r sen )
e
U (r; ) = r sen ux (r cos ; r sen ) + r cos uy (r cos ; r sen )
so funes contnuas por serem a composio, adio e multiplicao de funes contnuas. Frmulas semelhantes se aplicam para as derivadas parciais de V:
Resumindo, a continuidade de u e v acarreta a continuidade de U e V: A continuidade
das derivadas parciais de u e v garante a continuidade das derivadas parciais de U e V:
A recproca desta concluso tambm verdaeira. A continuidade de U e V no ponto
(r0 ; 0 ) acarreta a continuidade de u e v no ponto (x0 ; y0 ) = r0 cis 0 : A continuidade das
derivadas parciais de U e V garante a continuidade das derivadas parciais de u e v:
Para provar estas armaes, considere um intervalo aberto I de nmeros reais, que
contm 0 no seu interior e cujo comprimento menor ou igual a 2: Seja
R+ = fx 2 R : x > 0g
o conjunto dos nmeros reais positivos. Seja B um subconjunto aberto do plano (r; );
contido em R+ I; com (r0 ; 0 ) X: Seja D a imagem de B pela transformao
(x; y) = T (r; ) = (r cos ; r sen ):
Declarando explicitamente,
D = f(x; y) = r cis : (r; ) 2 Bg:
52
CAPTULO 3. DERIVADA
@(x; y) cos
sen
=
=r
r sen r cos
@(r; )
diferente de zero para todo (r; ) em B; o teorema da funo inversa garante que T 1 :
D ! B possui derivadas parciais contnuas. Sendo T 1 (x; y) = (r; ); pode-se escrever
u(x; y) = U( T 1 (x; y) )
v(x; y) = V ( T 1 (x; y) ):
53
para toda curva (t) com derivada 0 (t0 ) no nula e que passa por z0 quando t = t0 ; isto
, (t0 ) = z0 :
Escolhendo a semi reta que sai da origem, denida por (t) = (r0 + t) cis 0 ; onde
t r0 e que passa por z0 = r0 cis 0 quando t = 0; obtemos
0 (t) = cis 0
0 (0) = cis 0 :
Como
obtemos
e
Da,
1
[Ur (r0 ; 0 ) + iVr (r0 ; 0 )] :
cis 0
Escolhendo a circunferncia (t) = r0 cis(0 + t); < t < ; com centro na origem e
passa por z0 = r0 cis 0 quando t = 0; obtemos
f 0 (z0 ) = (f )0 (0) 0 (0) =
Como
obtemos
e
Da,
1
[U (r0 ; 0 ) + iV (r0 ; 0 )] :
ir0 cis 0
Se a derivada pode ser fornecida por frmulas diferentes, as partes reais e as partes
imaginrias de cada uma delas so iguais, isto ,
f 0 (z0 ) = (f )0 (0) 0 (0) =
r0 Ur (r0 ; 0 ) = V (r0 ; 0 );
r0 Vr (r0 ; 0 ) = U (r0 ; 0 ):
54
CAPTULO 3. DERIVADA
vx (x0 ; y0 ) = uy (x0 ; y0 )
num ponto (x0 ; y0 ) = r0 cis 0 e U; V so denidas para (r; ) numa vizinhana de (r0 ; 0 )
por
U (r; ) = u(r cos ; r sen );
V (r; ) = v(r cos ; r sen );
mostre, usando a regra da cadeia, que U e V satisfazem s condies de Cauchy-Riemann
em coordenadas polares em (r0 ; 0 ):
O desenvolvimento acima constitui a prova dos dois teoremas abaixo. O primeiro apresenta uma condio necessria para que uma funo complexa, descrita pelas coordenadas
polares do ponto, tenha derivada.
Teorema 3.7 Sejam U(r; ); V (r; ) funes reais denidas num aberto B do plano (r; )
que contm o ponto (r0 ; 0 ): Seja
f (r cis ) = U (r; ) + iV (r; )
a funo complexa denida no conjunto D = fr cis : (r; ) 2 Bg que contm z0 =
r0 cis 0 : Sendo f derivvel em z0 ; as derivadas parciais de U (r; ) e V (r; ) existem em
(r0 ; 0 ) e satisfazem s condies de Cauchy-Riemann em coordenadas polares
r0 Ur (r0 ; 0 ) = V (r0 ; 0 );
r0 Vr (r0 ; 0 ) = U (r0 ; 0 ):
Alm disso,
f 0 (r0 cis 0 ) =
e
f 0 (r0 cis 0 ) =
1
[Ur (r0 ; 0 ) + iVr (r0 ; 0 )]
cis 0
1
[U (r0 ; 0 ) + iV (r0 ; 0 )]
ir0 cis 0
55
ento
f ( r cis ) = U(r; ) + iV (r; );
denida no conjunto D = fr cis : (r; ) 2 Bg derivvel em z0 = r0 cis(0 ) e
1
[Ur (r0 ; 0 ) + iVr (r0 ; 0 )]
cis 0
1
=
[U (r0 ; 0 ) + iV (r0 ; 0 )]
ir0 cis 0
f 0 (z0 ) =
3.8
Funo analtica
0
f (n+1) (z) = f (n) (z):
56
CAPTULO 3. DERIVADA
Usando o que j foi demonstrado, ca evidente que, se f(z) e g(z) forem duas funes
analticas em um aberto D e k for um nmero complexo, ento kf; f + g, e f g sero
analticas em D. A razo f =g ser analtica nos pontos em que g no se anula. Como a
composta de funes derivveis derivvel, a composio de funes analticas analtica.
A denio de analiticida nos permite enunciar as condies sucientes para a analiticidade de uma funo complexa f num aberto D: A validade do teorema que se enuncia
em seguida uma conseqncia da condio suciente para a existncia da derivada em
um ponto.
Teorema 3.9 Sejam u(x; y) e v(x; y) duas funes reais denidas num aberto D do campo
complexo. Se ux(x; y); uy (x; y); vx (x; y); vy (x; y) forem contnuas em D e as as condies
de Cauchy-Riemann
ux (x; y) = vy (x; y)
forem satisfeitas para todo (x; y) em D; ento f(x; y) = u(x; y) + iv(x; y) ser analtica
em D e, para todo z = (x; y) neste conjunto,
f 0 (z) = ux (x; y) + ivx (x; y):
Prova. Se as derivadas parciais forem contnuas e satiszerem s condies de CauchyRiemann em todos os pontos de D ento f (z) derivvel em D e, portanto, analtica em
D: A derivada no ponto z = (x; y)
f 0 (z) = ux (x; y) + ivx (x; y):
2
Do que provamos, ca evidente que, quando f = u + iv analtica em uma regio
D ento ux ; uy ; vx e vy satisfazem s condies de Cauchy-Riemann neste conjunto.
Provaremos ainda que, se f = u + iv for analtica em D; as derivadas parciais de u e
v so contnuas em D: Deste modo, a analiticidade de f em D condio necessria e
suciente para que as derivadas parciais de u e v sejam contnuas e satisfaam s condies
de Cauchy-Riemann neste conjunto.
Quando provarmos que a analiticidade de f = u + iv em D implica na continuidade
das derivadas parciais de u e v em D; car provado o teorema seguinte.
Teorema 3.10 A condio necessria e suciente para que uma funo f = u + iv seja
analtica em uma regio D que u e v possuam derivadas parciais contnuas em D e
satisfaam s condies de Cauchy-Riemann neste conjunto.
Captulo 4
Funes multivalentes
Dentre as funes complexas estudadas, muitas no so injetoras e suas relaes inversas
no so funes. A funo f (z) = z 2 no injetora e a relao inversa
g(z) = z 1=2
no uma funo.
As relaes inversas de funes no injetoras desempenham um papel importante na
teoria das variveis complexas. Este fato fez com que fossem includas no rol das funes,
acrescentando a elas o adjetivo multivalente, que ir englobar relaes como z 1=2 e
outras.
4.1
Conceitos bsicos
58
4.2
Razes de ordem n:
p
r cis(=2 + k)
com
k = 0; 1
4.3
Logaritmo
A funo multivalente
log(z) = fw 2 C : exp(w) = zg
b = + 2k :
4.3. LOGARITMO
59
=
=
=
=
fz + w : z 2 A e w 2 Bg
fz w : z 2 A e w 2 B g
f z : z 2 A g
f + z : z 2 Ag
log(zw)
log(z=w)
log (z n )
log z 1=n
=
=
=
=
log z + log w
log z log w
n log(z)
(1=n) log(z)
p
p
2 cis(=4); log(1+i) = ln 2+i(=4+2k); com k inteiro.
60
4.4
Potncia complexa
De acordo com esta denio, z n um conjunto com um nico elemento e ele exatamente
aquele fornecido pela denio anterior para potncia com expoente inteiro.
Para potncias fracionrias, sendo n um inteiro no nulo, a denio de potncia
complexa fornece
1
1
1=n
z
=
exp( ln r) exp i[ ( + 2k)] : k 2 Z
n
n
p
+ 2k
n
=
r exp i
:k2Z ;
n
Exemplo 4.4 Usando o abuso de linguagem que denota o conjunto sem os parnteses
que o delimita,
ii = exp(i log i) = exp(i i(=2 + 2k))
= exp(=2 2k); k 2 Z:
Exemplo 4.6 Lembrando que comum usar o abuso de linguagem que identica o conjunto fzg com seu nico elemento z;
i1 = exp(1 log i) = f exp(i(=2 + 2k)) : k 2 Z g
= f exp(i=2) g = cos(=2) i sen(=2) = i:
4.5
61
Toda a teoria de limite e derivada foi feita para funes univalentes. Nada foi dito a
respeito de funes multivalentes que aparecem naturalmente como inversas das funes
que no so injetoras. Todavia, a partir de uma funo multivalente, possvel extrair
funes univalentes, chamadas de ramo e para as quais aplicam-se os conceitos de limite
e derivada.
Seja g uma funo multivalente com domnio em A C: Seja D A uma regio
(aberto e conexo) do plano complexo. Uma funo univalente f analtica em D um
ramo da funo multivalente g se f(z) 2 g(z) para todo z em D.
4.6
p
Convencionamos denotar por r a raiz quadrada real positiva do nmero real positivo r
e por z 1=2 o conjunto de todas as razes quadradas complexas do nmero complexo z:
Vamos denir f1 : C ! C de modo que, para cada z em C; f1 (z) uma das razes
quadradas de z: Inicialmente, denimos f1 (0) = 0: Quando z 6= 0; denimos
p
f1 (z) = r cis(=2);
p
onde r = jzj e = Arg(z): Quando
z
=
6
0;
a
parte
real
de
f
U
(r;
)
=
r cos(=2) e a
p
parte imaginria V (r; ) = r sen(=2): Quando z cruza o semi-eixo real negativo, do
segundo para o terceiro quadrante, o passa de para ; de modo que cis(=2) salta
de i para i: Consequentemente, f1 descontnua ao longo do semi-eixo real negativo,
denido por f(x; 0) : x < 0g: No conjunto aberto
D = Cnf(x; 0) : x 0 g;
obtido ao excluir de C o zero e o semi-eixo real negativo, vericamos que U (r; ) e V (r; )
possuem derivadas parciais contnuas que satisfazem s condies de Cauchy-Riemann
em coordenadas polares. Logo, f1 analtica em D: Logo, a restrio de f1 ao conjunto
aberto D um ramo da funo multivalente g(z) = z 1=2 :
O semi-eixo
f(x; 0) : x 0 g
62
onde r = jzj > 0 e o argumento de z no intervalo (2; 4); outro ramo de z 1=2 : Seu
corte de ramo o semi-eixo f(x; 0) : x 0g e seus ns so o zero e o innito.
Podemos denir ramos em regies abertas do tipo
D = fr cis : r > 0 e 0 < < 0 + 2g
onde o corte de ramo o semi-eixo formado pelo zero e pelos nmeros complexos da
forma z = r cis 0 ; onde 0 mantido xo enquanto r percorre o conjunto dos nmeros
reais positivos.
p
O ramo f1 (z) = r cis(=2) onde r = jzj > 0 e = Arg(z); denido em
D = Cnf(x; 0) : x 0 g;
o ramo principal da funo multivalente z 1=2 :
Derivada dos ramos da raiz quadrada
Qualquer ramo f de z 1=2 denido em um aberto que no contm o zero por
p
f (z) = r cis(=2);
onde r = jzj > 0 e um argumento de z: A parte real e a parte imaginria deste ramo
so
p
U (r; ) =
r cos(=2)
p
V (r; ) =
r sen(=2):
Pode-se vericar que as derivadas parciais de U e V so contnuas e satisfazem s condies
de Cauchy-Riemann em coordenadas polares no aberto onde o ramo est denido. A
derivada de f no seu domnio
1
cos(=2)
sen(=2)
cis(=2)
0
p
f (z) =
+i p
= p
cis
2 r
2 r
2 r exp(i)
1
1
= p
=
:
2 r cis(=2)
2f (z)
63
Como esta expresso se aplica a todo ramo da funo raiz quadrada, se escreve usualmente
z 1=2
1
:
2z 1=2
4.7
4.8
Os ramos do logaritmo
64
Esta funo descontnua no semi-eixo real negativo. Sua parte real U(r; ) = ln r e sua
parte imaginria V (r; ) = ; onde r = jzj e = Arg(z): Seja D = Cnf(x; 0) : x 0g o
conjunto dos nmeros complexos, do qual se retirou o zero e o semi-eixo real negativo. A
funo Log(z) com domnio em D o um ramo da funo multivalente log(z); denominado
ramo principal. O semi-eixo real f(x; 0) : x 0g o corte deste ramo. A origem e o
innito so seus ns.
O logaritmo possui uma innidade de ramos com domnio em D: Para cada inteiro k;
a funo denida em D por
fk (z) = ln jzj + i[Arg(z) + 2k]
um ramo de log(z):
Outros ramos do logaritmo podem ser obtidos tomando
D = Cnf r cis 0 : r 0 g
U (r; ) = 0
V (r; ) = 1
1
1
1
0
f (z) =
(Ur + iVr ) =
+ i0
cis
cis r
1
1
=
= :
r cis
z
Como esta expresso aplicvel a todo ramo da funo logaritmo, se escreve
1
(log z)0 = :
z
Embora usual, esta notao um abuso de linguagem pois a funo log z multivalente
e no tem sentido falar na sua derivada. O que a frmula acima nos informa que a
derivada de qualquer ramo da funo logaritmo no ponto z igual a 1=z:
4.9
65
Considerando-se que h0 (z0 = 1=z; a derivada de f pode ser calculada usando a regra da
cadeia
f 0 (z) = [exp(w h(z))]0 = exp(w h(z))(w h(z))0
w
w
= exp(w h(z)) = f (z) :
z
z
A derivada de todo ramo da potncia g(z) = z w resulta nesta mesma expresso. Por este
motivo, usual escrever
d w
w
(z ) = z w = w z w1 :
dz
z
4.10
66
67
descontnua nas semi-retas f(x; 0) : x < 1g e f(x; 0) : x > 1g: Quando z atravessa o
segmento de reta f(x; 0) : x < 1g; do segundo para o terceiro quadrante, o argumento
de f (1 + z) passa de =2 para =2; um salto de radianos. Quando z atravessa o
segmento de reta f(x; 0) : x > 1g; do quarto para o primeiro quadrante, o argumento de
f (1 z) passa de =2 para =2; um salto de radianos.
Quando se restringe g regio aberta
Cnf(x; 0) : x 1g [ f(x; 0) : x 1g
obtm-se um ramo da funo multivalente (1 + z)1=2 (1 z)1=2 : Todo ramo desta funo
da forma
p
g(z) = r1 r2 cis(1 =2 + 2 =2);
onde r1 = j1 + zj ; r2 = j1 zj ; 1 um argumento de 1 + z e 2 um argumento de 1 z:
Sendo f o ramo principal da raiz quadrada, f 0 (z) = 1=(2f (z)) para todo z em
Cnf(x; 0) : x 0g: Sendo g(z) = f (1 + z)f (1 z); utilizando as frmulas de derivao,
para todo z onde g derivvel, obtemos
f (1 z)
f (1 + z)
[f (1 z)]2 [f (1 + z)]2
g (z) =
=
:
2f (1 + z) 2f (1 z)
2g(z)
0
(1 z) (1 + z)
z
=
:
2g(z)
g(z)
Sendo g(z) um ramo de (1 z 2 )1=2 ; esta derivada pode ser escrita na forma
d
z
(1 z 2 )1=2 =
;
dz
(1 z 2 )1=2
que se interpreta do seguinte modo: a derivada de um ramo de (1 z 2 )1=2 igual a z
dividido pelo valor correspondente de (1 z 2 )1=2 nesse ramo.
Vamos agora estudar um ramo da funo multivalente (z 1)1=2 (z + 1)1=2 :
Sejam r1 = jz 1j > 0; r2 = jz + 1j > 0; 1 = Arg(z 1) e 2 = Arg(z + 1): Uma
anlise supercial poderia conduzir concluso que
p
h(z) = f(z + 1)f (z 1) = r1 r2 cis( 1 =2 + 2 =2)
descontnua em toda a semi-reta f(x; 0) : x < 1g: Bastaria observar que f (z + 1)
descontnua na semi-reta f(x; 0) : x < 1g e f (z 1) descontnua na semi-reta f(x; 0) :
x < 1g: Na verdade h(z) descontnua apenas no segmento de reta f(x; 0) : 1 < x < 1g:
68
eiw + eiw
z=
2
2iw
que, ao ser manipulada nos oferece e 2zeiw + 1 = 0. Pela frmula de Bhaskara,
1=2
1=2
obtemos heiw = z + (z 2 i1) onde observamos que (z 2 1) bivalente. Deste modo,
1=2
iw = log z + (z 2 1)
e
h
1=2 i
arccos(z) = i log z + z 2 1
:
69
1=2 i
arcsen(z) = i log iz + 1 z 2
:
70
Captulo 5
Integral
Vamos denir integral de linha para uma funo complexa. Para tanto, ser necessrio
fazer alguns desenvolvimentos preliminares.
5.1
Uma funo x(t) na varivel real t com valores reais contnua por partes no intervalo
[a; b] = ft 2 R : a t bg
quando existirem t0 ; t1 ; : : : ; tn em [a; b]; com a = t0 < t1 < < tn = b de tal modo que:
1) x contnua em cada intervalo aberto (tk1 ; tk ); k = 1; 2; : : : ; n:
2) Para k = 1; 2; : : : ; n; os limites laterais
lim x(t) e
t!t+
k1
lim x(t)
t!t
k
existem e so nitos.
Esteja atento para o fato de que, em t = a; s se calcula o limite lateral direita
e, em t = b; o limite lateral esquerda. De acordo com a denio, a funo x(t) no
precisa estar denida nos pontos t0 ; t1 ; : : : ; tn : Em particular, sendo x(t) contnua em
[a; b]; ser contnua por partes neste intervalo. Sendo x(t) contnua por partes em [a; b];
ser integrvel em [a; b]: Quando x(t) no estiver denida em algum ponto do intervalo,
a integral em [a; b] a que nos referimos a integral imprpria.
Se x(t) e y(t) forem funes reais, contnuas por partes em [a; b]; diremos que a funo
(t) = x(t) + iy(t) de valores complexos contnua por partes em [a; b]: Em particular,
sendo contnua em [a; b]; ela contnua por partes neste intervalo.
Exemplo 5.1 A funo ; denida no intervalo [0; 4] por
t
para t 2 [0; 1]
(t) =
1 + it para t 2 (1; 4];
71
72
CAPTULO 5. INTEGRAL
Tambm denimos
(t)dt =
Z
(t) dt
(t)dt = 0:
Z b
Re
(t) dt =
Re [(t)] dt
a
a
Z b
Z b
Im
(t) dt =
Im [(t)] dt
b
A integral linear, isto , sendo k um nmero complexo, (t) e (t) funes de valores
complexos e varivel real, contnuas por partes em [a; b];
Z
k (t)dt = k
(t)dt;
a
Z b
Z b
Z b
[(t) + (t)] dt =
(t)dt +
(t)dt:
a
Sendo a; b e c nmeros reais e (t) contnua por partes num intervalo real que os contm,
Z
(t)dt =
(t) dt +
a
(t) dt :
73
Teorema 5.1 Se (t) for uma funo de varivel real e valores complexos contnua em
[a; b]; cuja derivada 0 (t) contnua por partes em [a; b]; ento
Z
Prova. Se a derivada de (t) = x(t) + iy(t) for contnua em [a; b]; ento
Z
(t) dt =
x (t) dt + i
a
y 0 (t) dt
Se a derivada de (t) for contnua por partes em [a; b]; existe uma partio P = f t0 ; t1 ; : : : ; tn g
de [a; b] de modo que 0 (t) contnua em cada subintervalo (tk1 ; tk ): Graas continuidade de em [a; b] obtemos
Z
(t) dt =
n Z
X
tk
0 (t) dt =
tk1
k=1
n
X
k=1
Teorema 5.2 Seja (t) uma funo com valores complexos, contnua por partes em [a; b]:
Ento,
Z b
Z b
(t)
dt
j(t)j dt:
Rb
b
Rb
b
Quando a (t) dt 6= 0; seja = Arg a (t) dt assim,
Z b
Z b
Z b
i
i
(t) dt = Re e
(t) dt
(t) dt = e
a
a
a
Z b
Z b
Z b
i
e (t) dt =
=
Re e (t) dt
j(t)j dt ;
a
74
CAPTULO 5. INTEGRAL
5.2
Sejam a e b nmeros reais com a < b: Uma trajetria (t) suave em [a; b] quando
1. 0 (t) contnua em (a; b);
2. 0 (t) 6= 0 em (a; b);
3. as derivadas laterais
(a+ ) = lim+
t!0
f (a + t) f (a)
t
e (b ) = lim
t!0
f (b + t) f (b)
t
existem e so nitas.
Diremos que uma curva suave se for possvel parametriz-la por uma trajetria
(t) suave. Como a derivada de no se anula no interior de [a; b]; a curva possui uma
reta tangente em cada um de seus pontos, exceto eventualmente, nos pontos extremos.
Sendo contnua a derivada de (t); a inclinao da reta tangente a no apresenta descontinuidades medida que t percorre o intervalo (a; b): Deste modo, uma curva suave
no apresenta quinas.
Exemplo 5.2 A trajetria (t) = t + i jtj suave por partes em [1; 1]: Sua imagem o
grco da funo real y = jxj ; que possui uma quina no ponto 0: Isto ocorre porque (t)
no derivvel em t = 0:
Exemplo 5.3 A curva parametrizada por (t) = t jtj + it2 ; com t 2 [1; 1]; o grco
da funo modular y = jxj : Apesar de ter derivada primeira contnua, a curva denida
por ela possui uma quina no ponto (0) = 0: A existncia desta quina s possvel porque
0 (0) = 0:
Uma trajetria (t); contnua em [a; b]; suave por partes em [a; b] quando existirem
t0 ; t1 ; : : : ; tn com a = t0 < t1 < < tn = b e de modo que (t) suave em cada intervalo
[tk1 ; tk ]; k = 1; 2; : : : ; n: A derivada de (t) no precisa existir nos pontos extremos de
cada um dos intervalos. A trajetria suave por partes e sua imagem so denominadas
de caminho.
p
Exemplo 5.4 As trajetrias 1 (t) = (t; t2 ) e 2 (t) = ( t; t); ambas denidas no intervalo
[0; 1]; parametrizam a mesma curva ; que o grco da funo real y = x2 : A trajetria
1 (t) suave em [0; 1] mas 2 (t) no suave em [0; 1] pois 2 (t) no possui derivada
direita em zero.
Exemplo 5.5 A circunferncia com centro z0 e raio r0 suave por partes pois possui
parametrizao suave por partes 3 (t) = z0 + r0 cis t, com t em [0; 2]:
75
Exemplo 5.6 Existem curvas suaves por partes que possuem um nmero innito de auto
interseces. Um exemplo fornecido pela trajetria (t); denida no intervalo [0; 2] do
seguinte modo: para t = 0; (0) = 0; para t no intervalo (0; 1]; (t) = t + it2 cos[=(2t)];
para t no intervalo [1; 2]; (t) = 2 t:
Seja (t) suave por partes em [a; b]: Neste caso, j0 (t)j contnua por partes em [a; b];
sendo integrvel neste intervalo. O comprimento de denido pela integral
L() =
b
a
j0 (t)j dt :
5.3
Integral de linha
Sejam a e b nmeros reais com a < b: Seja : [a; b] ! C suave por partes em [a; b]: Se o
caminho
= f(t) : t 2 [a; b]g
76
CAPTULO 5. INTEGRAL
Denio 5.2 Seja : [a; b] ! C uma trajetria suave por partes, com imagem numa
regio D do plano complexo. Seja f(z) uma funo complexa, com domnio em D e
contnua por partes em : A integral de linha da funo f (z) sobre denida por
Z
f (z) dz =
f ( (t) ) 0 (t) dt :
A integral do lado direito existe pois f ( (t) ) e 0 (t) so contnuas por partes em [a; b]:
Exemplo 5.8 Seja z0 um nmero complexo, r > 0 real e (t) = z0 + reit denida para t
no intervalo 0 t 2; a parametrizao da circunferncia com centro em z0 e raio r:
Ento
Z
Z 2 0
dz
(t) dt
=
(t) z0
z z0
0
Z 2
Z 2
rieit
=
dt =
idt = 2i :
reit
0
0
Para n = 2; 3; :::, obtemos
Z
Z 2
Z 2
i
dz
rieit
dt = n1
ei(1n)t dt
n =
n eint
(z
z
)
r
r
0
0
0
Z 2
i
[cos(1 n)t + i sen(1 n)t] dt
= n1
r
0
= 0
Sendo n = 0; 1; :::; obtemos
Z
(z z0 ) dz =
eint dt = 0:
0
n = 1;
e zero nos demais casos. Este resultado muito importante e ser utilizado futuramente.
Exemplo 5.9 Seja 1 (t) = (1+i)t; denido para todo t no intervalo [0; 1]: Seja 2 (t) = t;
para todo t no intervalo [0; 1] e 2 (t) = 1 + i(t 1) quando t 2 [1; 2]: *** Mesmo denindo
curvas diferentes, possuem
o Rmesmo ponto inicial zero e o mesmo ponto nal 1 + i:
R
Vamos calcular 1 zdz e 2 zdz :
Z
zdz =
1 (t)01 (t)dt
(1 i)t(1 + i)dt =
2t dt = 2
77
e
Z
zdz =
2
2
0
2 (t)02 (t)dt
t dt +
0
2 (t)02 (t)dt
2 (t)02 (t)dt
z dz =
1 (t)01 (t)dt
z dz =
2 (t)02 (t)dt
t dt +
2
1
(1 + i)t(1 + i)dt = i
2t dt = i
1
0
2 (t)02 (t)dt
2 (t)02 (t)dt
Esta expresso mostra que, quando uma parametrizao de um segmento de reta sobre
o eixo real, a integral de f(z) sobre a integral de f(t) no intervalo [a; b]; onde f(t)
a restrio de f ao segmento de reta [a; b] sobre o eixo real.
R
R3
Exemplo 5.11 Seja (t) = t; com t em [1; 3]: Ento z 2 dz = 1 t2 dt = 26=3:
Z
Z 1
2
Exemplo 5.12 Seja (t) = t 1 + it , com t em [0; 1]. Assim,
z dz =
(t 1 +
0
Z 1
it2 )(1 + 2it)dt =
[t 1 2t3 + i(3t2 2t) ]dt = 1
0
z 2 dz =
R1
0
(2t + it)2 (2 +
78
5.4
CAPTULO 5. INTEGRAL
Propriedades
Sejam a e b nmeros reais com a < b: Seja : [a; b] ! C uma trajetria regular por partes
e k um nmero complexo. Se f(z) e g(z) forem funes complexas contnuas por parte
em ; ento
Z
Z
k f (z) dz = k f(z) dz ;
Z
Z
Z
[f (z) + g(z)] dz =
f (z) dz + g(z) dz:
f (z)dz M L() ;
Prova. Sendo f ((t)) contnua por partes, existe M > 0 tal que jf ((t))j M; para
todo t no intervalo [a; b]: A partir desta desigualdade obtemos
Z
Z b
Z b
0
f (z)dz =
f( (t) ) (t)
jf ( (t) )0 (t)j dt
a
a
Z b
Z b
0
=
jf ( (t) )j j (t)j dt M
j0 (t)j dt = M L():
a
Log z
2 + ln r :
dz
z2
r
5.4. PROPRIEDADES
e
79
Log((t))
jln r + itj
ln r +
:
(t)2 < jr2 exp(2it)j =
r2
f(z) dz ln r + 2r = 2 + ln r :
r2
r
O prximo teorema relaciona a integral de linha de uma funo complexa com integrais
de linha de funes reais.
Teorema 5.4 Seja
(t) = x(t) + iy(t);
uma trajetria regular por partes em [a; b] com imagem em uma regio D; onde x(t) sua
parte real e y(t) sua parte imaginria. Seja
f(x; y) = u(x; y) + iv(x; y)
uma funo complexa com domnio em D; contnua por partes em ; onde u(x; y) sua
parte real e v(x; y) sua parte imaginria. Sob estas hipteses,
Z
Z
Z
f (z) dz = u(x; y) dx v(x; y) dy + i v(x; y) dx + u(x; y) dy :
Prova. De fato, sendo (t) = x(t) + iy(t) e f(x; y) = u(x; y) + iv(x; y), usando a
denio de integral de linha, obtemos
Z
Z b
f (z) dz =
f ( (t) )0 (t)dt
a
Z b
=
[ u( x(t); y(t) ) + iv( x(t); y(t) ) ]( x0 (t) + iy 0 (t) )dt
a
Z b
=
[ u( x(t); y(t) )x0 (t) v( x(t); y(t) )y 0 (t) ]dt
a
Z b
+i
[ v( x(t); y(t) )x0 (t) + u( x(t); y(t) )y 0 (t) ]dt
Z a
Z
=
u(x; y) dx v(x; y) dy + i v(x; y) dx + u(x; y) dy;
provando o teorema. 2
Um processo mnemnico para lembrar a frmula deduzida neste teorema, consiste em
substituir f por u + iv; dz por dx + idy e efetuar o produto
f dz = (u + iv)(dx + idy) = (udx vdy) + i(vdx + udy):
80
CAPTULO 5. INTEGRAL
5.5
Vamos mostrar que a denio de integral de linha de uma funo complexa o limite de
uma soma, como na integral denida de uma funo real.
Sejam a e b dois nmeros reais com a < b: Seja : [a; b] ! C um caminho e f (z) uma
funo complexa contnua por partes em :
f ( (sk ) )zk
k=1
onde sk 2 [tk1 ; tk ] e zk = (tk ) (tk1 ): Sendo (t) = x(t) + iy(t) suave por partes,
podemos escolher a partio P de modo que suave em cada intervalo [tk1 ; tk ]: Desta
forma, o teorema do valor mdio garante a existncia de k e k em [tk1 ; tk ] para os quais
0
zk = [x0 (k )+iy 0 ( k )]tk : Se a norma
Pn da partio P for pequena, ento zk ' (sk )tk
Deste modo, podemos aproximar k=1 f ( (sk ) )zk por
n
X
k=1
5.6. REPARAMETRIZAO
81
Prova-se que, para qualquer escolha de sk dentro do intervalo [tk1 ; tk ]; esta soma converge
para
Z
b
f ( (t) )0 (t) dt
quando kP k ! 0: Como
f(z) dz =
f ( (t) )0 (t) dt
P
vemos que a integral de linha de f (z) ao longo do caminho o limite da soma nk=1 f (sk )xk
quando a norma da partio P tende a zero. Para indicar que a integral o limite de
uma soma, escreve-se
Z
n
X
f (z) dz = lim
f(sk )xk :
5.6
kP k!0
k=1
Reparametrizao
Seja : [a; b] ! C uma trajetria no plano complexo e ' : [c; d] ! [a; b] uma funo
contnua e bijetora. Neste caso, ' estritamente crescente ou decrescente. Quando '
crescente, '(c) = a e '(d) = b: Quando ' decrescente, '(c) = b e '(d) = a:
Quando ' crescente, a trajetria (s) = ( '(s) ); denida em [c; d]; chamada de
reparametrizao prpria de : Quando ' decrescente, a trajetria (s) = ( '(s) );
denida em [c; d]; chamada de reparametrizao imprpria de : Tanto num caso
quanto no outro, se diz que (s) uma reparametrizao de (t): Tanto quanto
possuem a mesma imagem e assim as trajetrias (s) e (t) so duas parametrizaes
de : Quando for uma reparametrizao prpria de ; ambas percorrem no mesmo
sentido. Quando for reparametrizao imprpria de ; elas percorrem em sentidos
opostos.
A funo '(s) chamada de mudana de parmetro. Uma mudana de parmetro
'(s) regular em [c; d] se '0 for contnua e no nula no intervalo aberto (c; d) e os limites
laterais
'(s) '(c)
'(s) '(d)
'0 (c+ ) = lim+
e '0 (d ) = lim
s!c
s!d
sc
sd
existem e so nitos. A mudana de parmetro '(s) ser regular por partes em [c; d]
se existir uma partio deste intervalo de modo que '(s) regular em cada subintervalo
fechado denido pela partio. Neste caso, '0 pode se anular ou no estar denida nos
pontos desta partio. Nos pontos s onde ' possui derivada, '0 (s) 0 quando '(s) for
crescente e '0 (s) 0 quando '(s) for decrescente.
Exemplo 5.15 Consideremos o caminho (t) = exp(it); denido para todo t no intervalo
[0; 2]; que parametriza a circunferncia com centro na origem e raio unitrio. A funo
'(s) = 2s uma mudana de parmetro regular, do intervalo [0; ] para o intervalo [0; 2]:
Esta mudana de parmetro gera a reparametrizao (s) = ( '(s) ) = exp(2is); denida
82
CAPTULO 5. INTEGRAL
para todo s no intervalo [0; ]: Como '(s) crescente, (s) uma reparametrizao
prpria de (t): Tanto quando parametrizam a mesma curva e a percorrem no mesmo
sentido.
O prximo teorema um pouco tcnico e no ser demonstrado.
Teorema 5.5 Sejam : [a; b] ! C e : [c; d] ! C duas parametrizaes regulares por
partes de uma mesma curva : Existe uma mudana de parmetro ' : [c; d] ! [a; b];
regular por partes, de forma que (s) = ( '(s) ); para todo s 2 [c; d]:
5.7
Independncia da parametrizao
Vamos demonstrar nesta seo que a integral de linha depende do trao da curva e do
sentido em que ela percorrida mas no depende da parametrizao. Para esta prova,
necessitaremos do teorema da mudana de varivel numa integral de funes reais.
Teorema 5.6 (Mudana de varivel para integrais denidas de funes reais) Seja F :
[a; b] ! R contnua por partes e ' : [c; d] ! [a; b] regular por partes em [c; d]: Se ' for
crescente, '(c) = a; '(d) = b e
Z
F (t)dt =
b
a
F (t)dt =
83
f (z)dz =
f( (t) )0 (t)dt:
f ( (t) ) (t) dt =
a
pois 0 (s) = 0 ( '(s) )'0 (s): Isto prova a primeira parte do teorema.
Quando for uma reparametrizao imprpria de ; ' decrescente e, pelo teorema
da mudana de variveis para integrais denidas de funes reais,
Z
f ( (t) ) (t) dt =
f(z) dz =
f(z)dz :
f(z) dz =
f(z)dz :
Sendo uma curva regular por partes, tendo z1 e z2 como pontos extremos, faz sentido
falar em integral f (z) ao longo de ; desde o ponto z1 at o ponto z2 ; que ser denotada
por
Z
f(z)dz:
[z1 ;z2 ]
84
CAPTULO 5. INTEGRAL
f (z)dz =
[z1 ;z2 ]
f((t))0 (t)dt:
Pelo que foi visto anteriormente, esta integral no depende da parametrizao escolhida.
Alm do mais,
Z
Z
f(z)dz =
f(z)dz:
[z1 ;z2 ]
[z2 ;z1 ]
f(z)dz =
f (z)dz =
Z 1
f ( (t) )0 (t)dt
f(z)dz =
f (z)dz =
f ( (t) )0 (t)dt :
5.8
85
Sejam a; b e c trs nmeros reais com a < b < c: Sejam 1 : [a; b] ! C e 2 : [b; c] ! C
dois caminhos com 1 (b) = 2 (b): Isto signica que o ponto nal de 1 o ponto inicial
de 2 : Quando isto ocorre, diz-se que os caminhos so conformes para a adio e dene-se
o caminho
1 + 2 : [a; c] ! C
por
(1 + 2 )(t) =
1 (t);
2 (t);
se
se
atb
b<tc
a
Z b
Z c
0
=
f ( (t) ) (t)dt +
f ( (t) )0 (t)dt
a
b
Z b
Z c
0
=
f ( 1 (t) )1 (t)dt +
f( 2 (t) )02 (t)dt
b
Za
Z
=
f (z)dz +
f (z)dz :
1
2
Por induo se prova que, para o caminho = 1 + 2 + + n ;
Z
Z
Z
Z
f (z) dz =
f(z) dz +
f (z) dz + +
f(z) dz :
86
CAPTULO 5. INTEGRAL
Este resultado pode facilitar o clculo de integrais sobre curvas para a qual sabemos
parametrizar cada um de seus segmentos k : Sendo k uma parametrizao de um segmento k da curva ; podemos usar uma outra parametrizao k deste segmento. Como
a integral independe da parametrizao, ento
Z
Z
f(z) dz:
f(z) dz =
k
1
1
=
=
Z0 1
(1 t 3t2 i)dt =
1i
:
2
Dado uma trajetria : [a; b] ! C que parametriza uma curva ; denimos a trajetria
: [a; b] ! C por
(t) = (a + b t) :
87
de integrao. A trajetria 4 (t) = t i; com t 2 [0; 1]; percorre a aresta [z4 ; z1 ] no sentido
contrrio ao de integrao. Pelo que demonstramos,
I
Z
Z
Z
Z
z dz =
z dz +
z dz
z dz
z dz:
Como
Z
z dz =
z dz =
segue
5.9
t dt = 1=2;
(1 ti)idt = 1=2 + i;
z dz =
(t i)dt = 1=2 i;
z dz =
t i idt = 1=2;
Tivemos a oportunidade de denir uma regio aberta do plano como sendo um conjunto
aberto e conexo por caminhos. Pode-se provar que toda regio aberta poligonalmente
conexa.
Seja D uma regio aberta do plano complexo. Uma funo g(z) uma primitiva de
f (z) em D se g 0 (z) = f(z) em todo ponto z de D: A funo g(z) analtica em D pois
derivvel nesta regio.
Exemplo 5.19 A funo g(z) = z 3 + 4z 2 + 3 uma primitiva de f(z) = 3z 2 + 8z em C:
Exemplo 5.20 Seja
D = Cnf (t; 0) : t 0 g:
a regio aberta formada pelo conjunto dos nmeros
complexos, do qual se retirou o zero
p
e o semi-eixo real negativo. A funo g(z) = r exp(i=2); onde r = jzj e = Arg(z);
um ramo de z 1=2 e uma primitiva de f(z) = 1=( 2g(z) ): De fato, para todo ramo da
funo z 1=2 ; vale a frmula de derivao g 0 (z) = 1=(2g(z)):
Quando uma funo tem primitiva em uma regio, o prximo teorema fornece uma
maneira simples de calcular sua integral de linha.
88
CAPTULO 5. INTEGRAL
Teorema 5.9 Seja g(z) uma primitiva de f (z) em uma regio aberta D do plano. Seja
(t); com t no intervalo [a; b]; uma trajetria regular por partes com imagem em D; com
ponto inicial em z1 e ponto nal em z2 : Sob essas hipteses,
Z
f (z) dz = g(z2 ) g(z1 )
a
Z b
=
(g )0 (t) dt = g (b) g (a)
a
2
Em sntese, quando f possui uma primitiva g em uma regio aberta D; sua integral de
linha ao longo de uma curva em D que liga dois pontos z1 a z2 ; depende do ponto inicial
z1 e do ponto nal z2 mas no depende da curva que liga estes dois pontos.
Exemplo 5.21 Sendo um caminho qualquer em C; com ponto inicial em z1 e ponto
nal em z2 ; ento
Z
Z
1 2
dz = z2 z1
e
z dz =
z2 z12 :
2
1 n+1
z n dz = g(z2 ) g(z1 ) =
z2 z1n+1
n+1
z
z n+1 2
expresso que tambm se escreve na forma
:
n + 1 z1
Nota 5.1 Usa-se a notao g(z)jzz21 para denotar a diferena g(z2 ) g(z1 ); isto ,
g(z)jzz21 = g(z2 ) g(z1 ):
89
a regio aberta formada pelo conjunto dos nmeros complexos, do qual se retirou o zero e
o semi-eixo imaginrio negativo. Todo z em D pode ser escrito na forma z = r cis ; onde
r = jzj e o argumento de z no intervalo (=2; 3=2): A funo f : D ! C denida
por
p
f (z) = r cis(=2);
onde r = jzj e o argumento de
R z no intervalo (=2; 3=2); um dos ramos da funo
bivalente z 1=2 : Para calcular f (z)dz onde um caminho qualquer situado em D;
podemos usar a sua primitiva
p
g(z) = (2=3) r3 cis(3=2):
Sendo uma curva em D; cujo ponto inicial z1 = 1 e cujo ponto nal z2 = 1; temos
Z
f (z) dz = g(1) g(1)
Sendo g(z) uma primitiva de f (z) em uma regio aberta D e c um nmero complexo,
ento g(z) + c outra primitiva de f (z) em D: Observe que g1 (z) = z 2 e g2 (z) = z 2 + 7
so primitivas de f (z) = 2z em todo o plano. Vamos mostrar que, se g1 (z) e g2 (z) forem
primitivas de f (z) em D; ento g1 (z) g2 (z) constante em D:
Teorema 5.10 Seja g(z) analtica em uma regio aberta D: Se g 0 (z) = 0 para todo z em
D; ento g(z) constante em D:
Prova. Sejam z1 e z2 dois pontos quaisquer em D e uma trajetria suave por
partes com imagem em D; com ponto inicial em z1 e ponto nal em z2 : Como g(z) uma
primitiva de g 0 (z) em D;
Z
Z
0
g(z2 ) g(z1 ) = g (z)dz = 0dz = 0
90
CAPTULO 5. INTEGRAL
Corolrio 5.11 Sejam g1 (z) e g2 (z) duas primitivas de f (z) em uma regio aberta D do
plano. A diferena g1 (z) g2 (z) uma funo constante em D:
Prova. Se g1 (z) e g2 (z) forem primitivas de f (z); ento g10 (z) g20 (z) = 0 em D: Logo,
g1 (z) g2 (z) constante em D: 2
Este corolrio assegura que, obtida uma primitiva g(z) de f (z); todas as outras primitivas de f (z) so iguais a g(z) adicionada a uma constante.
Corolrio 5.12 Seja f (z) analtica numa regio aberta D do plano complexo. Se jf(z)j
for constante em D; ento f (z) ser constante em D.
Prova. De fato, sendo f = u + iv analtica, ento ux = vy e uy = vx em todos os
pontos de D: Sendo jf (z)j constante, jf (z)j2 ser constante e, portanto, u2 + v 2 tambm
ser constante.
Quando u2 + v 2 = 0, ento u = v = 0 em D e a prova imediata.
Quando u2 + v 2 igual a uma constante positiva, as suas derivadas parciais em relao
a x e a y so nulas. Desta forma,
2uux + 2vvx = 0;
2uuy + 2vvy = 0:
Dividindo este sistema de equaes algbricas em ux e uy por 2 e usando as condies de
Cauchy Riemann, obtemos
uux + vvx = 0;
vux + uvx = 0:
Este sistema homogneo e o seu determinante principal = u2 + v 2 > 0: Sendo
uma constante positiva, conclumos que o sistema s possui a soluo trivial ux = vx = 0;
garantindo que f 0 = ux + ivx = 0 em D: Pelo teorema anterior, f(z) constante em D:
2
5.10
91
Independncia do caminho
Provamos na seo anterior que, se g(z) for uma primitiva de f (z) em uma regio aberta
D do plano complexo,
Z
para toda trajetria regular por partes com imagem em D que inicia em z1 e termina em
z2 : Isto signica que esta integral independe do caminho que liga z1 a z2 : Ela depende
apenas dos pontos z1 e z2 e do integrando f (z): Neste sentido, a integral de f em D no
depende do caminho.
Diremos que a integral de f (z) independe do caminho em D se, para qualquer par
de pontos z1 e z2 em D tivermos
Z
Z
f (z) dz = f (z) dz
Z z2
por
f (z) dz; sendo lcito solicitar o clculo da integral de f (z) desde um ponto z1 at
z1
outro ponto z2 sem especicar a curva. A escolha do caminho que liga z1 a z2 ca por
conta de quem efetua o clculo.
Teorema 5.14 Seja f (z) uma funo complexa denidaR em uma regio aberta D: A
integral de f (z) independe do caminho em D se e s se f (z)dz = 0 para toda curva
fechada suave por partes, contida em D:
Prova. Se a integral de f (z) independe do caminho em D e uma curva fechada
suave por partes contida em D; podemos tomar dois pontos distintos z1 e z2 nesta curva
e decompor na diferena de duas outras, 1 e 2 : Tanto 1 quanto 2 comeam em z1 e
terminam em z2 : A primeira parametriza uma parte de e a segunda
parametriza
a outra
R
R
parte. Como a integral de f (z) independe do caminho em D; 1 f(z)dz = 2 f (z)dz e,
R
R
portanto, 1 f(z)dz 2 f(z)dz = 0: Obtemos da,
Z
f (z)dz =
1 2
f(z)dz =
f (z)dz
f (z)dz = 0;
92
CAPTULO 5. INTEGRAL
Corolrio 5.15 Seja D uma regio aberta do plano complexo e f (z) uma funo complexa com primitiva em D: Se for uma curva fechada, suave por partes, contida em D;
ento
Z
f (z) dz = 0:
O prximo teorema arma que a integral de uma funo cotnua f (z) em uma regio
D independe do caminho se e s se f (z) tiver uma primitiva em D:
Teorema 5.16 Seja f(z) uma funo complexa contnua em uma regio aberta D: A
integral de f (z) independe do caminho em D se e s se f (z) tem uma primitiva em D:
Prova. J foi provado que, se f tiver primitiva em D; sua integral independe do
caminho em D: Vamos provar agora que, se a integral de f (z) independe do caminho em
D ento f (z) tem uma primitiva em D:
Vamos mostrar que, se xarmos um ponto z0 em D; a funo denida em D por
Z z
g(z) =
f (w)dw ;
z0
onde a integral efetuada sobre um caminho que liga o ponto z0 ao ponto z; uma
primitiva de f em D: Para isto, basta provar que g 0 (z) = f (z) para todo ponto z de D:
De fato,
Z z+h
Z z
g(z + h) g(z)
1
=
f (w)dw
f (w)dw
h
h z0
z0
Z
1 z+h
f (w)dw :
=
h z
Como D aberto, z um ponto interior de D: Sempre possvel tomar h sucientemente
pequeno para que o segmento de reta que une z aR z + h esteja contido em D: Como a
z+h
integral independe do caminho, pode-se calcular a z f(w)dw sobre o segmento de reta
que liga z a z + h: R
z+h
Observando que z dw = h; podemos escrever
Z
Z
f (z) z+h
1 z+h
f (z) =
dw =
f (z) dw
h z
h z
e usar o desenvolvimento acima para obter
g(z + h) g(z)
1
f (z) =
h
h
z+h
[f (w) f (z)] dw :
93
Da continuidade de f no ponto z; sabemos que, para cada " > 0; existe = (") > 0 tal
que j f (w) f (z) j < "=2 para todo w que satisfaz 0 < j w z j < . Logo, quando 0 <
j h j < vem
Z z+h
g(z + h) g(z)
1
=
" jhj < ":
f
(z)
[f(w)
f
(z)]
dw
2jhj
h
h z
Isto prova que
Z
1 z+h
lim
[f (w) f (z)] dw = 0
h!0 h z
e assim, g 0 (z) = f (z); terminando a prova do teorema. 2
Exemplo 5.25 A funo 1=z uma primitiva da funo 1=z 2 em Cnf0g: Logo, a
integral de linha de 1=z 2 independe do caminho em Cnf0g:
I
dz
= 2i; conclumos que a integral de linha de 1=z depende
Exemplo 5.26 Como
jzj=1 z
do caminho em Cnf0g: Uma anlise supercial poderia nos levar concluso errada de
que o logaritmo principal de z; Log(z); uma primitiva de 1=z em Cnf0g: Todavia, esta
funo descontnua ao longo do semi-eixo real negativo, sendo uma primitiva de 1=z
apenas em Cnf(t; 0) : t 0g: Neste conjunto, a integral de linha de 1=z no depende do
caminho.
p
Exemplo 5.27 A funo denida em D = Cnf (0; t) : t 0 g por f (z) = r cis(=2),
onde r = jzj e o argumento de z no
q intervalo (=2; 3=2) contnua e possui uma
primitiva em D dada por g(z) = (2=3) jzj3 cis(3=2): Deste modo, a integral de f(z) em
D no depende do caminho. Sendo um contorno qualquer contido em D; ento
I
f(z)dz = 0 :
Teorema 5.17 (Integrao por partes) Seja um caminho em uma regio aberta D com
ponto inicial em z1 e ponto nal em z2 : Dadas duas funes f(z) e g(z) analticas em D
vale a identidade
Z
Z
z2
0
f (z)g(z) dz = f (z)g(z)jz1 f (z)g 0 (z) dz ;
onde
f (z)g(z)jzz21
( f (z)g(z) ) dz =
f (z)g(z)jzz21
94
CAPTULO 5. INTEGRAL
Captulo 6
Teorema de Cauchy-Goursat
Intuitivamente percebemos que um contorno divide o plano em duas regies conexas, uma
limitada, chamada de interior do contorno, formada pelos pontos do plano que esto
no interior do contorno e a outra, ilimitada, chamada de exterior do contorno, formada
pelos pontos do plano que esto no exterior do contorno. Este fato, visualmente evidente,
conhecido como teorema de Jordan. A sua demonstrao utiliza tcnicas avanadas e
no ser feita neste curso.
Este captulo ser dedicado a um teorema fundamental para a teoria de integrao de
funes complexas, conhecido como teorema de Cauchy-Goursat. Iniciaremos com uma
verso mais simples, conhecida por teorema de Cauchy. Para demonstr-lo usaremos o
do teorema de Green no plano, que enunciamos em seguida.
6.1
Teorema de Cauchy
I
ZZ
@Q
@P
P (x; y) dx + Q(x; y) dy =
(x; y)
(x; y) dx dy:
@x
@y
96
f (z) dz =
u dx v dy + i
v dx + u dy:
T
I
Z Z
vdx + udy =
(ux vy ) dx dy ;
2
Exemplo
I 6.1 A funo f (z) = z analtica em todo o plano. Se for um contorno,
ento
z 2 dz = 0.
6.2
Teorema de Cauchy-Goursat
97
Lema 6.4 Se f (z) for analtica sobre uma linha poligonal simples e fechada bem como
no seu interior, ento
I
f(z) dz = 0:
Lema 6.5 Seja f (z) analtica em uma regio D simplesmente conexa. Ento, para toda
linha poligonal fechada e contida em D;
Z
f (z)dz = 0 :
A demonstrao deste lema, apresentada por Chaim [1971], segue o livro Pequeno
Curso de Funes Analticas de Markuchewitch, escrito em russo. Este ltimo lema nos
leva aos seguintes corolrios
Corolrio 6.6 Seja f (z) analtica em uma regio D aberta e simplesmente conexa. Sejam e dois linhas poligonais contidas em D; com o mesmo ponto inicial e o mesmo
ponto nal. Ento
Z
Z
f (z) dz =
f (z) dz :
98
Exemplo 6.2 Considere o anel denido pelas desigualdades 1 < jzj < 2; que no um
conjunto simplesmente
conexo. A integral da funo f (z) = 1=z depende do caminho nesta
I
regio pois
dz=z = 2i: Isto signica que 1=z no tem primitiva no anel. Todavia,
jzj=1
Exemplo 6.3 A funo 1=z uma primitiva de 1=z 2 no anel 1 < jzj < 2: Isto mostra
que uma funo f (z) pode ter uma primitiva em conjuntos multiplamente conexos. Neste
anel, a integral de f independe do caminho.
Com estes resultados em mos, a demonstrao do teorema de Cauchy-Goursat ca
imediata.
Teorema 6.8 (Cauchy-Goursat) Seja f(z) analtica em uma regio D simplesmente conexa.
A integral de linha de f(z) no depende do caminho em D e
Z
f (z)dz = 0
6.3
f (z)dz:
99
Prova. Ligando a 1 atravs de dois caminhos em D; obtemos duas regies simplesmente conexas D1 e D2 : Aplicando o teorema de Cauchy-Goursat a cada uma destas
regies e somando os resultados obtemos a prova do teorema. Ao efetuar a soma, deve-se
observar que a soma das integrais sobre os caminhos usados para ligar os contornos e
1 se anulam, pois eles so percorridos em um sentido e depois no outro. 2
O prximo teorema generaliza este.
Teorema 6.11 Sejam e 1 ; 2 ; : : : ; n contornos no plano com as caractersticas
abaixo:
1. 1 ; 2 ; : : : ; n esto no interior de :
2. Quando k 6= j; k e j no possuem ponto comum.
3. Quando k 6= j; k e seu interior pertence ao exterior de j :
Seja f (z) uma funo complexa, analtica sobre todos os pontos destes contornos, bem
como na regio que est no interior de e no exterior de todas as outras curvas k : Sob
tais hipteses,
I
n I
X
f(z)dz =
f (z)dz:
k=1
Prova. Daremos uma prova para o caso particular em que existem dois contornos
1 e 2 no interior de ; satisfazendo s hipteses do teorema. Ligando a 1 ; 1 a 2 ;
e 2 a , atravs de caminhos em D; obtemos duas regies simplesmente conexas D1 e
D2 : Aplicando o teorema de Cauchy-Goursat a cada uma destas regies e somando os
resultados obtemos a prova do teorema. Ao efetuar a soma, deve-se observar que a soma
das integrais sobre os caminhos usados para ligar os contornos ; 1 e 2 se anulam, pois
eles so percorridos em um sentido e depois no outro (faa o desenho e verique esta
armao). 2
Este teorema muito til na integrao de funes racionais em contornos sobre os
quais no existem razes do denominador. Nestes casos, o teorema acima permite substituir a integral no contorno original por integrais em circunferncias centralizadas nas
razes do denominador. Estas circunferncias devem ter o raio sucientemente pequenos
para que em cada disco limitado por elas s exista uma raiz do denominador. As integrais
nestas circunferncias podem ser calculadas sem diculdade separando a funo racional
em fraes parciais.
Exemplo 6.4 Vamos calcular
I
jzij=3
dz
:
+ 9)
z 2 (z 2
100
:
2
2
2
9 z
54 z 3i 54 z + 3i
z (z + 9)
A terceira integral nula pois o integrando analtico no interior de : Pelo teorema
de Cauchy-Goursat para regies multiplamente conexas, podemos escrever
I
I
I
dz
1
dz
i
dz
=
+
2
2
2
9 1 z
54 2 z 3i
z (z + 9)
onde 1 e 2 so, respectivamente, as circunferncias jzj = 1 e jz 3ij = 1: Como
I
I
dz
dz
=0
e
= 2i
2
2 z 3i
1 z
segue que
6.4
dz
i
= 2i =
+ 9)
54
27
z 2 (z 2
Seja D uma regio simplesmente conexa do plano onde f (z) analtica. Seja um
contorno em D: Seja z0 um ponto situado no interior de e uma circunferncia com
centro em z0 e raio R; situada no interior de : No captulo sobre integrao, calculamos
I
dz
= 2i:
z z0
6.4.
101
Teorema 6.12 Seja f (z) analtica sobre um contorno e no seu interior. Sendo z0 um
ponto qualquer no interior de ;
I
f (z)
dz = 2if (z0 ) :
z z0
Prova. Seja uma circunferncia de raio r e centro em z0 : O r deve ser sucientemente
pequeno para estar contida no interior de : Dentre os pontos z situados no interior de
e sobre ; a funo f (z)=(z z0 ) deixa de ser analtica apenas em z0 : Portanto,
I
I
f (z)
f(z)
dz =
dz:
z z0
z z0
H 1
dz = 2i ;obtemos
Por outro lado, considerando que zz
0
I
I
I
f (z)
1
f (z) f (z0 )
dz = f (z0 )
dz +
dz
z z0
z z0
z z0
I
f (z) f (z0 )
dz :
= 2if (z0 ) +
z z0
Vamos provar que esta ltima integral nula. Como f(z) contnua em z0 , para todo
" > 0 dado, existe > 0 tal que jf(z) f (z0 )j < " para todo z no disco jz z0 j < .
Tomando r = =2; obtemos jz z0 j = r < , para todo z em , e
I
f (z) f (z0 )
"
dz <
2 = 4";
z z0
(=2)
f (z) f (z0 )
dz = 0:
z z0
f(z)
dz = 2if (z0 );
z z0
Conclui-se da que
2
Exemplo 6.5 Vamos calcular
z dz
(9 z 2 )(z + i)
102
= 2if (i) = 2i
= :
2
9+1
5
(9 z )(z + i)
6.5
Consideremos uma funo f (z) analtica sobre um contorno e no seu interior. Sendo z0
um ponto do interior de ; derivando a frmula integral de Cauchy
I
f(z)
1
dz
f (z0 ) =
2i z z0
I
d
1
f (z)
0
f (z0 ) =
dz
dz0 2i z z0
I
1
d
f (z)
=
dz
2i dz0 z z0
de onde resulta que
1
f (z0 ) ==
2i
0
f (z)
dz :
(z z0 )2
h
2i
f (z)
dz ! 0 quando h ! 0 :
(z z0 )2
I
f (z)dz
f (z0 + h) f (z0 )
1
f(z)dz
=
h
2ih z (z0 + h)
z z0
I
1
f (z) dz
=
:
2i [z (z0 + h)] (z z0 )
103
Assim,
I
f (z0 + h) f(z0 )
f (z) dz
=
2
h
(z z0 )
I
I
f (z) dz
f (z) dz
=
2
[z (z0 + h)] (z z0 )
(z z0 )
I
f(z) dz
:
h
2
[z (z0 + h)] (z z0 )
Considerando os pontos no interior e sobre ; o integrando deixa de ser analtico apenas
em z0 e em z0 + h: Considere uma circunferncia com centro em z0 e raio r contida no
interior de : Sendo jhj < r=2; o ponto z0 + h ca no interior de e, para todo ponto z
de ; tem-se jz (z0 + h)j > r=2: Como entre e o integrando na ltima expresso
analtico, podemos substituir a integral em pela integral em : A funo f (z) analtica
sobre e, portanto, contnua sobre ela. Com isto, f (z) limitada em : Deste modo,
existe M > 0; tal que jf (z)j < M para todo z em : Para z em ;
de modo que
f
(z)
M
f
(z)
dz
h
2
[z (z0 + h)] (z z0 )
M
M
4M
jhj
L()
=
jhj
2r
=
jhj ;
(r=2)r2
(r=2)r2
r2
que converge para zero quando h ! 0; o que completa a prova do teorema. 2
Vamos agora provar que no domnio de analiticidade de uma funo, sua derivada
tambm analtica.
Teorema 6.14 Se f (z) for analtica em uma regio D ento sua derivada f 0 (z) analtica
em D: Sendo um contorno contido em D e z0 um ponto no interior de ;
2!
f (z0 ) =
2i
00
f (z) dz
:
(z z0 )3
Prova. Como D aberto, existe uma circunferncia com centro em z0 e raio r > 0
tal que e seu interior esto contidos em D:
Sendo f (z)=(z z0 )3 analtica sobre e bem como na regio entre elas, sua integral
sobre igual sua integral sobre :
104
I
f (z0 + h) f 0 (z0 )
f
(z)
dz
2!
h
2i (z z0 )3
I
1
1
1
f (z)
2h
dz =
2
2i
(z z0 )2 (z z0 )3
h
[z (z0 + h)]
1
3 (z z0 ) h 2h2
f
(z)
dz
:
2
3
2 [z (z0 + h)] (z z0 )
I
f (z0 + h) f 0 (z0 )
f
(z)
dz
2!
h
2i (z z0 )3
M
1
(3r jhj + 2 jhj2 )
:
2
3
2 (r=2) r
Como esta expresso tende a zero quando h tende a zero, conclumos a prova do teorema.
2
Corolrio 6.15 Se f (z) for analtica em uma regio D; ento todas as derivadas de f (z)
existem e so analticas em D: Seja um contorno que, juntamente com seu interior est
em D: Para todo z0 no interior de ;
I
n!
f (z) dz
(n)
f (z0 ) =
;
2i (z z0 )n+1
onde n = 0; 1; 2; 3; : : :
Prova. Est provado que, quando f (z) analtica em um aberto D ento a sua
derivada f 0 (z) analtica em D: Como f 0 (z) analtica em D; sua derivada f 00 (z) tambm
ser. Por induo, segue que a derivada de qualquer ordem de f (z) analtica em D: Para
provar a frmula que relaciona as derivadas de f em termos da integral, basta utilizar
induo em n. Sabemos que (??) vale quando n = 0 e n = 1. Admitindo-a vlida para
um n = k 1 1, vamos provar que esta identidade vale para n = k: De fato,
I
(k 1)!
f 0 (z) dz
(k)
0 (k1)
f (z0 ) = (f )
(z0 ) =
:
k
2i
(z z0 )
Integrando por partes, mediante a frmula
Z
Z
z2
0
f (z)g(z) dz = f(z)g(z)jz1 f (z)g 0 (z) dz
105
Corolrio 6.16 Seja D o domnio de analiticidade de uma funo complexa f(z): Sejam
u(x; y) e v(x; y) as partes real e imaginria de f (x + iy): Sob tais hipteses, as derivadas
parciais de u(x; y) e v(x; y) de todas as ordens existem e so contnuas em D:
Prova. Como f analtica em D; sua derivada analtica e, portanto, contnua em
D: Como
f 0 = ux + ivx = (i)(uy + ivy )
se conclui que as quatro derivadas parciais de primeira ordem de u e v so contnuas em
D:
A derivada segunda de f tambm analtica em D: Como valem as condies de
Cauchy-Riemann,
f 00 = uxx + ivxx = vyx iuyx
f 00 = (i)2 (uyy + ivyy ) = vxy iuxy
donde conclumos que as oito derivadas parciais de segunda ordem de u e v so contnuas
em D: A demonstrao completa segue por induo. 2
A frmula integral de Cauchy pode ser generalizada para regies multiplamente conexas.
Teorema 6.17 Sejam ; 1 ; 2 ; : : : ; p contornos com as propriedades:
(a) 1 ; 2 ; : : : ; p esto contidas no interior de :
(b) Sendo k 6= m; k est contida no exterior de m e ambas no possuem pontos em
comum.
Seja D o conjunto formado pelos contornos ; 1 ; 2 ; : : : ; p ; pelo interior de e pelo
exterior de 1 ; 2 ; : : : ; p : Se f (z) for analtica em D e z0 for um ponto em D que no
pertence a nenhum contorno, ento
(I
)
p I
X
n!
f(z)
dz
f
(z)
dz
f (n) (z0 ) =
n+1
2i
(z z0 )n+1
(z z0 )
k=1 k
Prova. anloga quela feita para o teorema de Cauchy em regies multiplamente
conexas. 2
106
Exemplo 6.6 Sendo a circunferncia jzj = 1 e sendo f (z) = exp z + sen z analtica em
todo o plano complexo, segue da frmula integral de Cauchy que
I
I
exp z + sen z
dz =
f (z)dz = 2if (0)
z
1
1
1
=
;
z(z 1)
z1 z
I
I
dz
1
1
=
dz = 2i 2i = 0:
z1 z
z(z 1)
Exemplo 6.10 Sendo a circunferncia jzj = 3 e g(z) denida para jz0 j 6= 3 por
I
2z 2 z 2
g(z0 ) =
dz ;
z z0
ento
I
2z 2 z 2
dz = 2i (2z 2 z 2)z=2 = 8i:
g(2) =
z2
2i 3
(z + 2z)00 z=z0 = i (6z)jz=z0 = 6iz0
2!
quando z0 for um ponto interior de : Quando jz0 j > 3; ento o integrando na denio
de g(z0 ) ca analtico no interior de e sobre ; de modo que g(z0 ) = 0.
g(z0 ) =
6.6
107
Vamos provar que o mdulo de uma funo analtica possui mximo local no interior de
seu domnio apenas quando for constante.
Teorema 6.18 (Valor mdio) Se f (z) for analtica no disco jz z0 j r0 ; ento
Z 2
1
f (z0 ) =
f ( z0 + r0 exp(it) )dt
2 0
Prova. Parametrizando a circunferncia por (t) = z0 + r0 exp(it), com t 2 [0; 2],
da frmula integral de Cauchy resulta
I
f(z)dz
1
f(z0 ) =
2i z z0
Z 2
1
f ( z0 + r0 exp(it) )
=
r0 i exp(it)dt
2i 0
r0 exp(it)
Z 2
1
=
f ( z0 + r0 exp(it) )dt :
2 0
2
Para demonstrar o princpio do mdulo mximo, vamos usar o seguinte resultado sobre
integrais de funes reais.
Lema 6.19 Seja '(t) uma funo real contnua em [a; b], com '(t) 0 em [a; b]: Se
Z b
'(t0 ) > 0 para algum t0 em [a; b]; ento
'(t)dt > 0:
a
Teorema 6.20 (Princpio do mdulo mximo) Seja f (z) uma funo analtica em um
conjunto aberto D do plano. Se jf (z)j possuir um mximo local em D; ento f(z)
constante em D:
Prova. Se jf(z)j tiver mximo local em um ponto z0 2 D; ento existe " > 0 tal que
jf(z0 )j jf (z)j para todo z no disco jz z0 j < ": Sendo 0 < r < " e a circunferncia
jz z0 j = r; o teorema do valor mdio nos fornece
Z 2
1
f (z0 ) =
f ( z0 + r exp(it) )dt:
2 0
Sendo z0 um ponto de mximo local de jfj ; ento jf( z0 + r exp(it) )j jf (z0 )j para todo
t no intervalo [0; 2]: Se para algum t0 no intervalo [0; 2] tivermos jf ( z0 + r exp(it0 ) )j <
jf(z0 )j ; obtemos a desigualdade
Z 2
Z 2
1
1
jf(z0 )j
jf ( z0 + r exp(it) )j dt <
jf (z0 )j d = jf(z0 )j
2 0
2 0
108
que nos fornece a contradio jf(z0 )j < jf (z0 )j : Logo, jf (z)j = jf (z0 )j para todo z na
circunferncia jz z0 j = r: Como r qualquer nmero no intervalo (0; "); conclumos que
jf(z)j constante no disco jz z0 j < " que, graas s condies de Cauchy-Riemann,
implicam na constncia de f (z) neste disco. 2
Como conseqncia deste teorema podemos concluir que, se f(z) for analtica no fecho
109
6.7
Vamos provar que todo polinmio de grau maior que 1 tem pelo menos uma raiz complexa.
Preparando o caminho para a prova, demonstraremos a inequao de Cauchy e o teorema
de Liouville.
Teorema 6.23 (Inequao de Cauchy) Seja z0 um nmero complexo e f (z) analtica no
disco jz z0 j r0 para algum r0 > 0: Se M = maxfjf (z)j : jz z0 j = rg ento,
(n)
f (z0 ) M n! ; n = 0; 1; 2; : : :
r0n
(n)
n!
f
(z)
f (z0 ) =
dz
2 (z z0 )n+1
n! M
M n!
:
n+1 2r0 =
2 r0
r0n
2
Teorema 6.24 (Liouville) Se f (z) for analtica em todo o plano complexo, se existir
M > 0 tal que jf (z)j M para todo z em C, ento f(z) constante.
Prova. Sendo f(z) analtica em todo o plano,
M
;
r
para todo z0 em C e todo r > 0: Como r pode ser to grande quanto se queira, f 0 (z0 ) = 0
para todo z0 em C; donde conclumos que f(z) constante. 2
jf 0 (z0 )j
110
Corolrio 6.25 Se f (z) for uma funo inteira e jRe f(z)j M para todo z em C; ento
f (z) constante.
Prova. Considere a funo g(z) = exp( f (z) ) para todo z em C. Como F (z)
analtica em C e jF (z)j = exp( Re f (z) ) eM ; segue do teorema de Liouville que F (z)
constante, garantindo que f(z) constante. 2
Teorema 6.26 (Teorema Fundamental da lgebra) Todo polinmio P (z) de grau n 1,
tem pelo menos uma raiz.
Prova. A prova ser feita por contradio. Vamos supor que existe um polinmio
P (z) = a0 + a1 z + a2 z 2 + + an z n
de grau n maior ou igual a 1; com an 6= 0; sem nenhuma raiz complexa. Sendo P (z) 6= 0
para todo z 2 C, a funo f (z) = 1=P (z) uma funo analtica em todo o plano
complexo. A funo f(z) no constante pois, se o fosse, P (z) seria constante, o que
falso. Vamos provar que f (z) limitada em C. Colocando z n em evidncia,
an1
a1
a0
n
P (z) = z an +
+ + n1 + n :
z
z
z
Sendo
M = maxf 1;
2n jan1 j
2n ja0 j 2n ja1 j
;
; :::;
g;
jan j
jan j
jan j
Quando jzj > maxfM; 1g; obtemos jzj > 1; jzj2 > jzj ; : : : ; jzjn > jzj : Por outro lado,
como jzj > M; temos
a
jak j
1
M jan j 1
jan j
k
<
nk = nk < jak j
z
jzj
2n M
2n
jzj
+ + n1 + n
z
z
z
z
z
z
jan j
jan j
< n
=
2n
2
e, portanto,
an1
a1
a0
jP (z)j = jzj an +
+ + n1 + n
z
z
z
a1
a0
an1
n
M jan j
+ + n1 + n
z
z
z
jan j
jan j
jan j
> M n jan j
= Mn
>
:
2
2
2
n
111
No disco fechado jzj maxfM; 1g; a funo de valores reais F (x; y) = jf (x + iy)j
contnua e, portanto, limitada por alguma constante L: Sendo
2
K = maxf
;Lg
jan j
conclumos que jf (z)j K; para todo z 2 C: Sendo f(z) inteira e limitada, o teorema de
Liouville garante que f(z) constante, o que um absurdo pois P (z) no constante.
Chegamos a este absurdo ao admitirmos a hiptese de inexistncia de raiz complexa
para P (z): Assim, P (z) deve ter ao menos uma raiz complexa. 2
Teorema 6.27 Todo polinmio de grau n possui n razes.
Prova. Basta usar o algoritmo da diviso e o teorema anterior. Pelo teorema anterior,
o polinmio Pn (z) de grau n, possui uma raiz z1 . Ento Pn (z) = (z z1 )Pn1 (z) onde
Pn1 (z) um polinmio de grau n 1. Este, por sua vez, possui pelo menos uma raiz z2
e, conseqentemente, Pn1 (z) = (z z2 )Pn2 (z). Logo, Pn (z) = (z z1 )(z z2 )Pn2 (z).
Prosseguindo com este raciocnio, conclumos que Pn (z) possui n razes e
Pn (z) = (z z1 )(z z2 ) (z zn )P0
6.8
Teorema de Morera
f (z) dz = 0
para todo caminho fechado contido em D, ento a integral independe do caminho nesta
regio. Deste modo, f(z) tem uma primitiva g(z) em D: Como g 0 (z) = f(z); para todo
z em D; esta primitiva g analtica em D: Como a derivada de uma funo analtica
analtica, f(z) analtica em D: 2
112
6.9
Exerccios
1. Sabendo que
R1
0
exp(r2 )dr =
p
=2, mostre que
2
d
=
;
R2 2rR cos + r2
R2 r 2
sen d
= 0;
2
R 2rR cos + r2
r 2
cos d
=
:
2
2
R 2rR cos + r
R R2 r 2
Sugesto: Integre
1
2
R+z
= +
(R z)z
z Rz
na circunferncia jzj = r:
1
Rz
Captulo 7
Seqncias e sries
7.1
Seqncia
Seja N = f 0; 1; 2; ::: g o conjunto dos nmeros naturais. Uma funo com domnio no
conjunto dos nmeros naturais e imagem no conjunto dos nmeros complexos
z : N ! C;
ou (zk )k0
ou (zk )
114
j zk z j< ";
Assim teramos
d = jw1 w2 j jw1 zk j + jzk w2 j <
d d
+ =d
2 2
k!1
k!1
7.1. SEQNCIA
115
k
1
= 1 + ie
lim
+i 1+
k+1
k
O teorema anterior no nos ajuda quando for difcil separar a parte real e imaginria
de zk : Nestes casos, podemos usar este outro teorema.
Teorema 7.3 Se
lim zk = z
k!1
lim wk = w
k!1
k!1
lim (zk + wk ) = z + w
k!1
lim zk wk = z w
k!1
e, quando w 6= 0,
lim
k!1
zk
wk
z
;
w
Prova. A prova anloga quela feita para seqncias reais. Podemos tambm partir
das propriedades das seqncias reais e usar o teorema anterior para demonstrar este
resultado. 2
A seqncia ( zk ) limitada quando existir M > 0 tal que jzk j M para todo k 0:
Teorema 7.4 Toda seqncia convergente limitada.
Prova. Se zk ! z; existe N > 0 tal que jzk zj < 1 para todo k > N: Deste modo,
jzk j = jz + zk zj jzj + jzk zj < jzj + 1; para todo k > N: Tomando
M = maxf jz0 j ; jz1 j ; : : : ; jzN j ; jzj + 1 g;
obtemos jzk j M para todo k; completando a prova. 2
Teorema 7.5 Sejam (zk ) e (wk ) duas seqncias de nmeros complexos. Se (zk ) for
limitada e wk ! 0; ento zk wk ! 0:
Prova. Dado " > 0, existe K > 0 tal que jwk j < ", para todo k > K. Como a
seqncia (zk ) limitada, existe M > 0 tal que jzk j M; para todo k: Deste modo,
jzk wk j < M "; para todo k > K; provando que zk wk ! 0: 2
k
Exemplo 7.3 Como j(3 2i)=(3 + 2i)jk = 1 e 1=k ! 0; ento limk!1 k1 (32i)
= 0:
(3+2i)k
116
7.2
Seqncia de Cauchy
Uma seqncia (zk ) de Cauchy se, para todo " > 0, existir N > 0 tal que,
jzm zk j < "
para todos os inteiros m e k maiores ou iguais a N:
Teorema 7.6 Uma seqncia (zk ) converge se e s se for de Cauchy.
Prova. Este teorema verdadeiro para seqncias de nmeros reais e vamos tomar
este fato como ponto de partida.
Se zk ! z; a desigualdade
jzk zm j jzk zj + jz zm j
mostra que a seqncia de Cauchy.
Seja (zk ) for uma seqncia de Cauchy. Sejam xk a parte real e yk a parte imaginria
de zk : As desigualdades
jxk xm j jzk zm j
jyk ym j jzk zm j
mostram que as seqncias (xk ) e (yk ) so de Cauchy. Toda seqncia real de Cauchy
convergente. Assim xk ! x e yk ! y: A desigualdade
jzk (x + iy)j jxk xj + jyk yj
nos permite concluir que zk ! x + iy, o que completa a prova do teorema. 2
7.3
Seqncia e continuidade
Teorema 7.7 Seja (zk ) uma seqncia de nmeros complexos contida no domnio de uma
funo complexa f (z); com zk ! p e zk 6= p para todo k natural. Se limz!p f (z) = w;
ento f (zk ) ! w:
Prova. Como limz!p f (z) = w; dado " > 0; existe r > 0 tal que jf (z) wj < " para
todo z no domnio de f que satisfaz a 0 < jz pj < r: Como zk ! p e zk 6= p; existe N > 0
tal que 0 < jzk pj < r para todo k N: Assim, para todo k N; jf (zk ) wj < ";
provando que f (zk ) ! w: 2
Este teorema continua verdadeiro se zk 6= p a partir de um ndice k0 :Esta hiptese se
torna desnecessria quando f contnua em p: Este o contedo do prximo teorema.
Teorema 7.8 Se f (z) for contnua em p; se (zk ) estiver contida no domnio de f e
convergir para p; ento f(zk ) ! f (p):
7.4. SRIE
117
Prova. Com ligeiras mudanas, a prova deste teorema anloga do teorema anterior.
Desaamos o leitor a efetuar a demonstrao detalhadamente. 2
Estes teoremas so teis para indicar o candidato a limite de f (z) em p ou para provar
que f (z) no tem limite neste ponto. Quando desejamos calcular o limite de f(z) em p;
o limite da seqncia f (zk ) o nico candidato possvel. Se f(zk ) ! L ento L o nico
candidato para ser o limite de f(z) em p: Todavia, quando f(zk ) ! L; no se pode armar
que L o limite de f (z) em p e sim que ele o nico candidato. A seqncia f (zk ) pode
ter limite L e, mesmo assim, f (z) pode no ter limite em p:
Sejam (zk ) e (wk ) duas seqncias contidas no domnio de f (z); com zk 6= p e wk 6= p;
para todo k: Se
lim f (zk ) 6= lim f(wk );
ento f (z) no tem limite em p:
Exemplo 7.4 A funo f (x; y) = cos(1=x) + iy no tem limite no ponto (0; 0): Este fato
pode ser provado considerando-se as seqncias zk = (2k)1 e wk = (2k + =2)1 ;
que convergem para zero. As seqncias f (zk ) = 1 e f (wn ) = 0 convergem para 1 e 0;
respectivamente. Logo, f(z) no tem limite em z = (0; 0).
7.4
Srie
Sn = z0 + z1 + + zn ;
1
Esta nova seqncia (Sn )1
n=1 denominada de seqncia das somas parciais de (zk )k=0 :
O limite desta seqncia ser denotado por
1
X
zk
k=0
zk = lim Sn = lim
n!1
n!1
n
X
zk :
k=0
Este limite, quando existir, denominado de soma da srie. Podemos olhar para
como sendo uma soma com innitas parcelas
z0 + z1 + + zn + :
P1
k=0 zk
118
P1
k=0 zk :
P
k
Exemplo 7.5 (Srie Geomtrica) Para cada nmero complexo z; a srie 1
k=0 z denominada geomtrica. Recebe este nome por ser a soma de uma progresso geomtrica
ilimitada, onde o primeiro termo 1 e a razo z: Efetuando o produto
(1 + z + z 2 + + z n )(1 z)
obtm-se
(1 + z + z 2 + + z n )(1 z) = 1 z n+1 :
Para z 6= 1; pode-se dividir os dois membros por 1z: Efetuando a diviso e reorganizando
os termos, chega-se a
1
z n+1
= 1 + z + z2 + + zn +
:
1z
1z
Quando jzj < 1; a seqncia de nmeros reais jzjn+1 converge para zero e, desta forma,
z n+1
! 0;
1z
(n ! 1):
zk =
k=0
1
:
1z
1
X
wk
k=k0
corresponde srie
1
X
zk
k=0
onde zk = wk+k0 : Esta observao mostra que o valor inicial do ndice pode ser um inteiro
k0 qualquer. No precisa, necessariamente, ser zero.
7.4. SRIE
119
zk
converge se e so se
k=0
1
X
zk
1
X
zk
converge
k=p
1
X
zk =
k=0
p1
X
zk +
k=0
k=p
zk =
1
X
xk + i
k=0
1
X
yk :
k=0
Este teorema ser til quando for possvel separar a parte real e a parte imaginria
dos termos da srie. Basta lembrar que, para vericar a convergncia de sries de nmeros
reais, existem muitos testes.
P
P1
P
2k
k
2k
k
Exemplo 7.6 a srie 1
e 1
k=0 (1=3) + (3=4) i converge pois
k=0 (1=3)
k=0 (3=4)
so sries geomtricas convergentes e assim,
"
k #
k
1
1 k
1
2k
X
X
X
1
3
1
3
+
i =
+i
3
4
9
4
k=0
k=0
k=0
9
4
=
+i :
8
7
1
X
(1)k
k=0
(2k)!
x2k
1
X
(1)k 2k+1
sen(x) =
x
:
(2k
+
1)!
k=0
Desta forma,
1
X
(1)k x2k
k=0
(2k)!
(1)k x2k+1
+i
= cos x + i sen x = exp(ix):
(2k + 1)!
120
O prximo teorema para sries uma conseqncia imediata dos teoremas para seqncias.
P
P1
Teorema 7.10 Se 1
k=0 zk e
k=0 wk forem convergentes e e forem dois nmeros
complexos, ento
1
1
1
X
X
X
(zk + wk ) =
zk +
wk
k=0
k=0
k=0
k #
1
k
X
2
2
1
i
(3 + i)
=
+i
5
7
7
k=0
k
1 k
1
X
X
2
2
1
i
(3 + i)
=
+i
5
7
7
k=0
k=0
5
35
7
35 151
i+
+ i=
+
i:
3
26 26
26
78
1
X
zk :
k=0
n
X
k=0
zk
Rn =
1
X
zk :
k=n+1
121
P
Teorema 7.11 Se 1
k=0 zk for convergente, ento
P
1. limn!1 nk=0 zk = 0
2. limk!1 zk = 0:
P
Prova. Se S = 1
k=0 zk ; ento S = Sn + Rn : Como S Sn ! 0; conclumos que
Rn ! 0 o que prova a primeira parte do teorema.
Como zk = Sk Sk1 ; ento limk!1 zk = limk!1(Sk Sk1 ) = S S = 0; o que
prova a segunda parte do teorema. 2
1
A recproca deste
P1 teorema no verdadeira pois a seqncia (1=k)k=1 converge para
zero mas a srie k=1 1=k diverge. Podemos usar este teorema para concluir que determinadas sries no convergem.
P
k
Exemplo 7.9 Como limk!1 ik no existe, a srie 1
k=0 i diverge.
7.5
Convergncia absoluta
P
Seja (zk ) uma seqncia de nmeros complexos. Se a srie P
de nmeros reais
k jzk j
for convergente, diremos que a srie de nmeros complexos
z
absolutamente
k k
convergente.
Teorema
7.13 Toda srieP
absolutamente convergente convergente. Em outras palavras,
P
se
jzk j for convergente,
zk convergente. Alm disto,
1
1
X X
jzk j :
zk
k=0
k=0
Prova.
Sejam xk e yk a parte real e a parte imaginria de zk : A convergncia da
P
srie
jzk j e aP
desigualdade jxk j jzk j garantem, pelo critrio da comparao para
sries reais, que jxP
k j converge. Sries de nmeros reais absolutamente
P convergentes so
convergentes.PLogo,
xk converge. Do mesmo modo se prova que
yk converge. Isto
garante que
zk converge.
122
Da convergncia da srie
jzk j e da desigualdade
n
n
1
X X
X
zk
jzk j
jzk j
k=0
k=0
k=0
vlida
Pn para todo inteiro n positivo, conclumos que a seqncia de nmeros reais Mn =
j k=0 zk j positiva e limitada superiormente.
forma, ela converge e vale a desigualP1
PDesta
1
dade preconizada pelo teorema j k=0 zk j k=0 jzk j : 2
Nem toda srie convergente
P absolutamente convergente. A srie
verge e a srie dos mdulos 1
k=1 1=k diverge.
7.6
P1
k=1 (1)
=k con-
Testes de convergncia
P
A srie dos mdulos 1
k=1 jzk j uma srie de nmeros reais. Para sries de nmeros
reais dispomos de diversos critrios de convergncia. Podemos utilizar estes critrios para
provar a convergncia absoluta de sries de nmeros complexos.
P
Teorema 7.14 (Teste
da
comparao)
Se
jz
j
jw
j
para
todo
k
>
N
e
jwk j for
k
k
P
convergente, ento
jzk j ser convergente.
Teorema 7.15 (Teste da razo) Suponha que jzk j > 0 para k > N e
zk+1
= L (nito ou innito) :
lim
k!1 zk
Se
1. L < 1 ento
2. L > 1 ento
jzk j converge.
jzk j diverge.
jzk j :
k!1
Se
1. L < 1 ento
2. L > 1 ento
jzk j converge.
jzk j diverge.
P
3. L = 1; nada se pode armar sobre a convergncia da srie
jzk j :
P1 k
Exemplo 7.11 O critrio da
razo garante que a srie
k=0 5 =k! converge. Como
P1
k
j3 + 4ij = 5; conclumos que k=0 (3 + 4i) =k! converge absolutamente.
7.7
123
k!1
k!1
a 2 C:
a2C
a 2 Cnf0g
a 2 Cnf0g
124
1 1;
0 1;
1 0;
1=1;
0=0
Captulo 8
Sries de potncias
Estamos interessados nas sries de potncias que desempenham um papel importante no
estudo das funes analticas.
Seja z0 um nmero complexo e (ak )1
k=0 uma seqncia de nmeros complexos. Para
cada nmero complexo z; a srie
1
X
k=0
ak (z z0 )k = a0 + a1 (z z0 ) + a2 (z z0 )2 +
ak wk :
k=0
Desta forma, as propriedades das sries centradas em zero se estendem sries centradas
em z0 : Provando uma propriedade das sries de potncias positivas centradas em zero,
estaremos provando as propriedades das sries centradas em z0 :
Fixado o nmero complexo z; a srie de potncias
1
X
k=0
ak (z z0 )k = a0 + a1 (z z0 ) + a2 (z z0 )2 +
pode convergir ou no. No ponto z = z0 ; ela converge para a0 pois, neste ponto, todos os
termos da srie se anulam, excesso do primeiro. Se a srie de potncias for convergente
em todos os pontos de um conjunto D do plano, diremos que ela convergente em D:
Para cada z em D; a soma da srie assume um valor, que denotaremos por f (z): Para
cada z em D;
1
X
f(z) =
ak (z z0 )k :
k=0
125
126
P
k
Exemplo 8.1 No disco jzj < 1; a srie geomtrica 1
k=0 z converge
P1 k para f(z) = 1=(1
z): Neste disco, fP
(z) = 1=(1 z) representada pela srie k=0 z : No anel jzj > 1 a
n
srie geomtrica 1
k=0 z diverge e da no representa f(z) nesta regio.
P
k
2
Exemplo 8.2 A srie 1
1: Este fato decorre da desigualk=1 z =k converge no disco jzjP
k
2
2
2
dade jzj =k 1=k ; vlida para todo k > 0: Como 1
critrio da
k=1 1=k converge, o P
k
2
razo garante a convergncia absoluta (e, portanto, a convergncia) da srie 1
k=1 z =k
no
fechado jzj 1: Esta srie dene uma funo f (z) neste disco por f(z) =
P1disco
k
2
z
=k
:
k=1
P1
k
Exemplo 8.3 O critrio
da
razo
assegura
que
a
srie
k=0 (k + 1)z Pconverge no disco
P1 k
1
k
jzj < 1; que a srie k=0 z =k! converge
P1 em todo ok plano e que a srie k=0 k!z converge2
apenas no ponto zero. Veremos
P1 k que k=0 (k + 1)z representa a funo f(z) = 1=(1 z)
no disco jzj < 1 e que k=0 z =k! representa g(z) = exp(z) no plano, que o conjunto
de pontos z do plano caracterizados por jzj < 1: A srie
1
X
k=0
converge para 1 em z = 0:
Em todos os exemplos acima, as sries convergiram em discos que podem ter raio nulo
(convergncia apenas no centro z0 ), raio nito ou raio innito (quando a convergncia
ocorre em todo o plano). O prximo lema mostra que as sries de potncias convergem
sempre em discos com centro no ponto z0 :
P
n
Teorema 8.1 Se a srie 1
k=0 ak (z z0 ) for convergente em z1 ; ento ser absolutamente convergente no disco jz z0 j < jz1 z0 j : Se ela for divergente em z2 ; ser divergente no anel jz z0 j > jz2 z0 j :
Prova.PInicialmente, provaremos o teorema para z0 = 0:
k
k
Sendo 1
k=0 ak z1 convergente,
k a seqncia (ak z1 ) limitada, de modo que existe um
nmero real M > 0 tal que ak z1 < M para todo innteiro k 0:
Quando jzj < jz1 j ;
k k z k
ak z = ak z1 M ! k
z1
P k
onde ! = jz=z1 j : Sendo ! um nmero real no intervalo
0
<
!
<
1;
a
srie
geomtrica
!
P
converge. Pelo critrio da comparao, a srie
ak z k converge absolutamente quando
jzj < jz1 j : Provamos a primeira parte do teorema para z0 = 0:
127
P
Se a srie
ak z k fosse convergente para algum z tal que jzj > jz2 j o item anterior iria
garantir a convergncia absoluta da srie em z2 ; o que contraria a hiptese. Provamos a
segunda parte do teorema para z0 = 0:
P
k
Quando
z0 qualquer, a mudana de varivel w = z z0 transforma 1
k=0 ak (z z0 )
P1
k
na srie
k=0 ak w com centro na origem, leva o disco jz z0 j < jz1 z0 j no disco
jwj < jz
z0 j e o anel jz z0 j > jz2 z0 j no anel
P1 1
P1 jwj >kjz2 z0 j :
k
Se k=0 ak (z z0 ) converge em z1 ; ento k=0 ak w converge em w1 = z1 z0 : Pelo
lema
esta srie em w converge no disco jwj < jw1 j ; o que acarreta a convergncia
Panterior,
1
de k=0
ak (z z0 )k no disco jz z0 j < jz1 zP
0j :
P1
k
Se k=0 ak (z z0 )k diverge em z2 ; ento 1
k=0 ak w diverge no ponto w2 = z2 z0 :
Pelo
anterior, esta srie em w diverge no anel jwj > jw2 j ; o que acarreta a divergncia
Plema
1
de k=0 ak (z z0 )k no anel jz z0 j > jz2 z0 j : 2
Este teorema grarante que uma srie de potncias centrada em z0 sempre converge em
um disco aberto com centro em z0 e diverge no seu exterior. Para algumas sries, este
disco pode ser o plano todo e, para outras, pode conter apenas o centro z0 : O maior disco
aberto no qual a srie converge chamado de disco de convergncia da srie. Seu raio
denominado de raio de convergncia da srie. Quando a srie convergir no plano
todo, o raio de convergncia innito e, quando a srie convergir apenas no centro z0 ; o
seu raio de convergncia nulo.
P
k
Em sntese, uma srie de potncias positivas 1
k=0 ak (z z0 ) ; com centro em z0 ;
converge absolutamente num disco aberto com centro em z0 e raio R: Se R = 0; a srie
converge apenas em z0 : Se R = +1; a srie converge em todo o plano complexo.
Se o limite
ak
R = lim
k!1 ak+1
P
k
existir, seja ele nito ou innito, o critrio da razo garante que a srie 1
k=0 ak (z z0 ) ;
converge no disco jz z0 j < R:
Se o limite
1
R = lim p
k
k!1
jak j
P
exister, seja ele nito ou innito, o critrio da raiz permite concluir que a srie 1
k=0 ak (z
z0 )k ; converge no disco jz z0 j < R:
Exemplo 8.4 Considere a srie
1
X
k=0
ak =
1
X
(1 + i)k (z i)k
k=0
k2
(1 + i)k+1 (z i)k+1
k2
=
lim
2
k
k
k!1
(k + 1)
(1 + i) (z i)
p k
p
jz ij =
lim 2
2 jz ij
k!1
k+1
128
p
vericamos que a srie converge no disco jz ij < 1= 2:
Enquanto a convergncia de uma srie de potncia positivas est garantida no interior
do disco de convergncia, os exemplos que seguem mostram que, na circunferncia que
o limita, algumas sries de potncias podem convergir enquanto outras divergem. A
convergncia de uma srie na circunferncia que limita o disco de convergncia deve ser
examinada caso a caso.
P
k
Exemplo 8.5 Usando o critrio da razo, conclumos que a srie 1
k=0 z converge
no
disco jzj < 1: Na circunferncia limite deste disco, denida por jzj = 1; tem-se z k = 1:
Como o termo geral da srie no tende a zero, a srie em questo diverge em todos os
pontos da circunferncia
que limita o disco de convergncia.
P
k
2
A srie 1
z
=k
converge
absolutamente no disco
k=1
P1jzj 12 pois, neste disco fechado,
2
os termos da srie so majorados por 1=k e a srie k=1 1=k convergente. Esta srie
converge em todos os pontos da circunferncia
limita o disco de confegncia.
Pque
1
k
O critrio da razo garante
que
a
srie
z
=k converge para jzj < 1: Em z =
k=1
P1
k
1 obtemos a srie alternada k=1 (1) =k que converge pois seus termos formam uma
seqncia
decrescente
P1
P1que kconverge para zero. No ponto z = 1 obtemos a srie divergente
k=1 1=k: A srie
k=1 z =k converge em alguns pontos da circunferncia que limita do
disco de convergncia e diverge em outros.
8.1
1
X
k=0
ak (z z0 )k = Sn (z) + Rn (z)
onde
Sn (z) =
n
X
k=0
ak (z z0 )k
1
X
k=n+1
ak (z z0 )k ;
chamado resto de ordem n; o erro cometido quando se usa Sn (z) para aproximar f (z):
P1
k
Lema 8.2 Sejam r > 0 e R > 0 nmeros reais com 0 < r < R: Se
k=0 ak z for
convergente no disco jzj < R; existe M > 0 tal que, para todo z no disco fechado jzj r;
k
k
ak z M r :
R
129
Prova. SejaPd um nmero real no intervalo r < d < R e z1 tal que jz1 j = d: Como
k
d < R; a srie 1
k=0 ak z1 converge. Os termos de uma srie
convergente formam uma
seqncia limitada, de modo que existe M > 0 tal que ak z1k M para todo k: Para z
no disco fechado jzj r; temos
k
r k
k k zk k zk
z
ak z = ak z
M
=
a
z
M
k 1 k
1 zk
z1
d
z1
1
Como esta desigualdade vale para todo d < R;
k
k
ak z M r
R
provando o lema. 2
Lema 8.3 Sejam r > 0 e R > 0 nmeros reais com 0 < r < R e ! = r=R: Se
f(z) =
1
X
ak z k
k=0
! n+1
1!
Prova. Para todo z no disco fechado jzj r; o lema anterior assegura que ak z k
M ! k para todo k 0: Logo, para todo m > n;
m
m
m
X
X
X
k
ak z
ak z M
!k
k=n+1
1
X
k=n+1
< M
k=n+1
!k = M
k=n+1
! n+1
:
1!
1
X
! n+1
ak z k M
1!
k=n+1
provando o lema. 2
P
k
Teorema 8.4 Se f (z) = 1
k=0 ak (z z0 ) for convergente no disco jz z0 j < R; ento
f (z) contnua neste disco.
130
! n+1
1!
Como !n ! 0 quando n ! 1; dado " > 0; existe N > 0 que s depende de "; para o
qual
"
jf (z) SN (z)j <
3
para todo z no disco jz wj
(r d): Perceba que esta desigualdade vale quando z = w:
P<
N
O polinmio SN (z) = k=0 ak z k contnuo em w: Por este motivo, existe > 0 tal
que jSN (z) SN (w)j < "=3; para todo z no disco jz wj < e sempre possvel tomar
< (r d):
Com estas consideraes, estando z no disco jz wj < ; obtemos
jf (z) f (w)j = jf (z) SN (z) + SN (z) SN (w) + SN (w) f (w)j
jf (z) SN (z)j + jSN (z) SN (w)j + jSN (w) f(w)j
< "=3 + "=3 + "=3 = " :
provando que f (z) contnua em w: Como w um ponto genrico do disco jzj < R;
conclumos que f(z) contnua neste disco. 2
P1
k
Quando o z0 6= 0; pode-se P
argumentar que, se g(w) =
k=0 ak w for contnua no
1
k
disco jwj < R; ento f (z) =
k=0 ak (z z0 ) contnua no disco jz z0 j < R pois
f (z) = g(z z0 ):
P
k
Teorema 8.5 Seja R > 0 e f(z) = 1
k=0 ak (z z0 ) no disco jz z0 j < R: Seja um
caminho neste disco e h(z) contnua em : Ento
Z
f (z)h(z)dz =
1
X
k=0
ak
(z z0 )k h(z)dz :
Prova. Seja (t); com t 2 [a; b]; um caminho no disco jzj < R: Como uma funo
contnua, existe um ponto t0 do intervalo [a; b] tal que j(t0 )j = maxatb j(t)j : Estando
(t0 ) no disco aberto jzj < R; ento r = j(t0 )j < R: O caminho est contido no disco
fechado jzj r:
Sendo contnua em ; h(z) limitada em e assim, existe K > 0 tal que jh(z)j K
para todo z sobre :
De acordo com o lema anterior,
jf(z) Sn (z)j = jRn (z)j M
! n+1
1!
131
para todo z no disco jzj r; com j!j < 1: Uma vez que ! n =(1 !) ! 0 quando n ! 1;
dado " > 0; existe N > 0 que s depende de "; tal que, para todo n > N; tem-se
jf(z) Sn (z)j < "=(2KL); para todo z no disco jzj r; onde L o comprimento de :
Para n > N; temos
Z
z2
"
KL < " :
<
2KL
Como Sn (z) um polinmio, que possui um nmero nito de parcelas, vale
Z
Z X
Z
n
n
X
k
Sn (z)h(z)dz =
ak (z z0 ) h(z)dz =
ak (z z0 )k h(z)dz
k=0
k=0
Z
Z
n
k=0
k=0
P
k
Corolrio 8.6 Seja f(z) = 1
k=0 ak (z z0 ) no disco jz z0 j < R; onde R > 0: Seja
um caminho neste disco. Ento
Z
Z
1
X
f (z)dz =
ak (z z0 )k dz :
A funo
k=0
1
X
ak
g(z) =
(z z0 )k+1
k+1
k=0
Prova. Para provar a primeira igualdade, basta tomar h(z) = 1 no corolrio anterior.
Seja z um ponto do disco
R z jz z0 j < R: A integral de f (z) independe do caminho no
disco de modo que g(z) = z0 f(w)dw; onde a integral efetuada sobre um caminho no
disco, uma primitiva de f (z) neste disco. Da,
Z z
Z z
1
X
g(z) =
f (w)dw =
ak
(w z0 )k dz
z0
1
X
k=0
(w z0 )
=
ak
k+1
k=0
k+1 z
z0
w=z0
1
X
ak
=
(z z0 )k+1 :
k+1
k=0
132
X
1
=
(w)k ;
1+w
k=0
que converge no disco jwj < 1: Tomando um caminho neste disco, com ponto inicial no
zero e ponto nal em z; obtemos, por integrao termo a termo
Log(1 + z) Log 1 =
X
1
dw =
1+w
k=0
1
k+1
X
k z
(w) dw =
(1)
k+1
k=0
k
1
X
k=1
kak (z z0 )k1
f (z)dz =
1
X
k=0
ak
(z z0 )k dz = 0 :
Como f(z) contnua no disco, o teorema de Morera garante que f(z) analtica neste
disco.
Dado um ponto z do disco jz z0 j < R; consideremos uma circunferncia com centro
em z e contida no disco jz z0 j < R: Como f (z) analtica sobre e no seu interior, de
acordo com a frmula integral de Cauchy para a derivada,
I
1
f (w)dw
0
f (z) =
2i (w z)2
133
I
1
1
X
X
(w z0 )k
1
dz =
ak k(z z0 )k1
=
ak
2
2i
(w
z)
k=0
k=0
de acordo com a frmula integral de Cauchy para a derivada. Notando que o primeiro
termo desta srie nulo, chegamos a
0
f (z) =
1
X
k=1
P1
k=0
kak (z z0 )k1
X
1
=
kz k1
(1 z)2
k=1
1
1
1X
=
k(k 1)z k2
3
(1 z)
2 k=2
no disco jzj < 1. Este processo de derivaes sucessivas nos permite representar
para qualquer n inteiro positivo em uma srie de potncias no disco jzj < 1:
8.2
1
;
(1 z)n
Sries de Taylor
No captulo anterior, provamos que uma srie de potncias representa uma funo analtica
no seu disco de convergncia. Provaremos agora que toda funo analtica pode ser
representada localmente (num disco com centro em z0 ) por uma srie de potncia com
centro em z0 : Em outras palavras, para todo z num disco com centro em z0 ; existe uma
e apenas uma srie de potncias centrada em z0 que converge para f (z):
Teorema 8.8 Seja R > 0 e f(z) analtica no disco jz z0 j < R: Em cada ponto z deste
disco,
1
X
f (k) (z0 )
f (z) =
(z z0 )k :
k!
k=0
134
z n z n+1
z
1
1
++
+
=
1+
w
w
w
w
1 z=w
n
n+1
z
z
z
1
+ 2 + + n+1 + n+1
:
=
w w
w
w (w z)
Multiplicando os dois lados desta equao por (1=2i)f (w) e integrando em , obtemos
I
I
I
1
z
1
f (w)
f(w)
f (w)
dw =
dw +
dw +
2i w z
2i w
2i w2
I
I
zn
z n+1
f(w)
f (w)
+
dw +
dw:
n+1
n+1
2i w
2i w (w z)
Da frmula integral de Cauchy para f e suas derivadas, segue
f (z) = f(0) +
onde
f 0 (0)
f 00 (0) 2
f (n1) (0) n
z+
z ++
z + Rn (z)
1!
2!
(n 1)!
z n+1
Rn (z) =
2i
f(w)
dw:
z)
w n+1 (w
1
X
f (k) (z0 )
k=0
k!
(z z0 )k
135
(z z0 )n+1
Rn (z) =
2i
f (w)
dw ;
(w z0 )n+1 (w z)
Exemplo 8.8 Um exerccio bastante simples de derivao nos fornece as sries de Taylor
da funo exponencial e das funes seno e cosseno em torno de zero
z
e =
1
X
zk
k=0
k!
1
X
z 2k+1
sen z =
(1)k
(2k + 1)!
k=0
1
X
z 2k
cos z =
(1)k
:
(2k)!
k=0
A aplicao do critrio da razo mostra que estas sries convergem em todo o plano.
O teorema anterior garante que num crculo centrado em z0 onde f (z) analtica, sua
srie de Taylor com centro em z0 converge para f (z): O teorema no impede que o disco
de convergncia se estenda alm da regio de analiticidade de f (z): O prximo exemplo
ilustra este comentrio.
Exemplo 8.9 A funo f (z) = Log(z) descontnua no semi-eixo real negativo, no
sendo analtica nestes pontos. Vamos calcular o seu desenvolvimento em srie de Taylor,
em torno de z0 = 1 + i: Como
(1)k+1 (k 1)!
f (z) =
;
para
k = 1; 2; :::
zk
p
obtemos, em z0 = 1 + i; f (z0 ) = ln 2 + 3i=4 e, para k 1;
(k)
(k)
(1)k+1 (k 1)!
1+i k
(z0 ) =
= (k 1)!
:
(1 + i)k
2
136
k
1
X
1 1+i
(ln 5)=2 + 3i=4
(z + 1 i)k :
k
2
k=1
Aplicando
o critrio da raiz a esta srie, verica-se que seu raio de convergncia
p
igual a 2:
p
Todavia, o disco jz + 1 ij < 2 cruza o eixo real negativo, onde Log(z) no
analtica. Isto ocorre porque o corte de ramo estabelecido quando se toma o logaritmo
principal uma escolha arbitrria. Poderamos tormar outro ramo do logaritmo que coincide com o logaritmo principal numa vizinhana do ponto 1 + i e cujo corte de ramo
o semi eixo imaginrio negativo. Este ramo ddenido por g(z) = ln jzj + i; onde
o argumento de z situado no intervalo (=2; 3=2): Como g(z) = Log(z) para todo z no
segundo quadrante, sero iguais numa vizinhana de z0 : Isto garante que ambas possuem
p
a mesma srie de Taylor centrada em z0 : Como g(z) analtica no disco jz + 1 ij < 2;
a srie anterior convergir para g(z) em todo este disco.
Este exemplo mostrou que a srie de Taylor de uma funo f (z) pode convergir em
um disco que ultrapassa seus limites de analiticidade. Quando isto ocorre, fora da regio
de analiticidade de f (z), a srie converge para outra funo g(z): Certamente, na parte
do disco onde f (z) analtica, f (z) = g(z):
O corolrio seguinte estabelece a unicidade da representao de uma funo analtica
por uma srie de potncias.
Teorema 8.9 Se a srie
1
X
k=0
ak (z z0 )k
converge para f (z) no disco jz z0 j < r; ento f (z) analtica neste disco e essa srie
exatamente a srie de Taylor com centro em z0 de f(z):
P
k
Prova. Se a srie 1
k=0 ak (z z0 ) converge para f (z) no disco jz z0 j < r; ento
f (z) analtica neste disco. As sries de potncias podem ser derivadas termo a termo
no interior do disco de convergncia. Derivando sucessivamente a srie e fazendo z = z0 ,
obtemos
f (k) (z0 )
ak =
;
k!
provando que esta a srie de Taylor de f (z): 2
P
k
Exemplo 8.10 A srie 1
k=0 z converge para 1=(1 z) no disco jzj < 1, sendo portanto
a srie de Taylor desta funo neste disco. Fazendo z = w 2 na srie anterior, obtemos
1
X
1
=
w2k
2
1w
k=0
no disco jwj < 1: Logo, esta a srie de Taylor de 1=(1 w2 ) neste disco.
137
Para obter a srie de Taylor de uma funo racional em torno do zero, podemos
separ-la em fraes parciais e usar a srie geomtrica e suas derivadas para obter a srie
de Taylor da funo racional.
Exemplo 8.11 Consideremos a funo racional
z 4 (2 i) z 3 (3 + 2i) z 2 + (5 4i) z + (4 + 9i)
(z + i) (z 2)2
1
1
= 2+z+
+
z + i (z 2)2
f (z) =
que tem singularidade nos pontos i e 2: Vamos obter a srie de Taylor desta funo
racional em torno do zero. Da srie geomtrica e sua derivada,
1
1 1
1 X z k X (1)k k
=
z
=
=
z+i
i 1 + z=i
i k=0
i
ik+1
k=0
1
1
X
(1)k
k=0
ik+1
k+1
+ k+2
2
zk
z+1+
1
1
1
1
=
=
(2 z)2
(1 i w)2
(1 i)2 (1 w=(1 i))2
k1 X
1
1
w
k
1 X
=
k
=
(z 1 i)k1
k
1 i k=1
1i
(1
i)
k=1
138
8.3
Provamos que as sries convergentes podem ser somadas termo a termo e que um fator
comum a todos os termos da srie pode ser colocado em evidncia. Vamos agora provar
que se pode multiplicar e dividir uma srie termo a termo
Teorema 8.10 Sejam
f (z) =
1
X
k=0
ak (z z0 )
e g(z) =
1
X
k=0
bk (z z0 )k
n=0
f(z) X
=
dk (z z0 )k
g(z)
k=0
para todo z em jz z0 j < R onde os coeciente dk so fornecidos recursivamente por
!
k1
X
1
ak
dn bkn
dk =
b0
n=0
para todo k 0:
Prova. Para provar a frmula do produto, observamos que, sendo f(z) e g(z) analticas no disco jz z0 j < R; o produto f (z)g(z) ser analtico nesta regio, possuindo um
desenvolvimento em srie de Taylor neste disco
f (z)g(z) =
1
X
k=0
ck (z z0 )k
onde
k
(f g)(k) (z0 )
k!
1 X
ck =
=
f (n) (z0 )g (kn) (z0 ) =
k!
k! n=0 n!(k n)!
=
k
X
n=0
X
1
n!an (k n)!bkn =
an bkn
n!(k n)!
n=0
139
1
X
k=0
dk (z z0 )k
k
X
dn bkn =
n=0
e portanto,
k1
X
dn bkn + dk b0
n=0
dk b0 = ak
provando o teorema. 2
k1
X
dnbkn
n=0
1
X
k=1
1
w 2n
(2n)!
que converge em todo w complexo. Trocando nesta srie a varivel w por z; mediante a
transformao w = z 2 e multiplicando o resultado por z; obtemos
z cosh(z 2 ) = z +
1
X
k=1
8.4
1 4n+1
z
(2n)!
Quando f(z0 ) = 0; diremos que z0 um zero da funo f (z): Quando f (z) for analtica
em z0 ;
f (z0 ) = f 0 (z0 ) = = f (m1) (z0 ) = 0 e f (m) (z0 ) 6= 0
diremos que z0 um zero de ordem m de f (z): Sendo z0 um zero de ordem m de f (z)
ento, num disco aberto com centro em z0 ;
f (z) =
1
X
k=m
ak (z z0 )k :
Iremos provar que os zeros de ordem m de uma funo analtica so isolados. Provaremos
tambm que, se todas as derivadas de f (z) se anularem em z0 ; ento f (z) identicamente
nula em algum disco contendo z0 . Vamos provar mais do que isto. Vamos provar que, se
f (z) for analtica em z0 e f (z) se anular em uma seqncia de pontos convergindo para
z0 ; ento f (z) nula em toda a regio de analiticidade de f que contm z0 :
140
1
X
k=0
ak (z z0 )k
no disco jz z0 j < R e
uma seqncia que converge para z0 tal que wk 6= z0 para
todo k: Se f (wk ) = 0 para todo k; ento
(wk )1
k=0
a0 = a1 = = an = = 0 :
Prova. Como f(z) contnua, temos a0 = f (z0 ) = f(limk!1 wk ) = limk!1 f (wk ) =
0. Considere a srie de potncias
g(z) =
1
X
k=1
ak (z z0 )k1 :
para
k = 1; 2; :::
ak (z z0 )k =
1
X
k=0
bk (z z0 )k
ak (z x0 )k =
1
X
k=0
bk (z x0 )k
para todo z num intervalo no vazio do tipo (x0 r; x0 + r) do eixo real, ento ak = bk
para todo k:
141
ak (x x0 )
em torno
um nmero real x0 converge para f (x) em toda a reta. A funo complexa
Pde
1
F (z) = k=0 ak (z x0 )k a nica funo analtica que coincide no eixo real com f (x):
Prova. De fato, se G(z) fosse outra funo analtica coincidente com f (x) para todo x
real, sua srie de Taylor coincidiria ao longo do eixo real com F (z): Pelo corolrio anterior,
as duas sries teriam os mesmos coecientes e, portanto, os mesmos valores em todo o
plano, de onde se conclui que G(z) = F (z) para todo z complexo. 2
Este corolrio garante que
exp (z) =
sen (z) =
1
X
zk
k=0
1
X
k=0
cos (z) =
k!
(1)k 2k+1
z
;
(2k + 1)!
1
X
(1)k
k=0
(2k)!
z 2k :
so as nicas funes analticas que coincidem ao longo do eixo real com as funes reais
exp(x); sen(x) e cos(x); respectivamente.
Vamos mostrar que, se f (z) for analtica em uma regio D e os seus zeros no forem
isolados, ento ela identicamente nula em D. O prximo teorema bem tcnico e sua
demonstrao poder ser omitida numa primeira leitura.
Teorema 8.15 Seja f (z) uma funo analtica em uma regio aberta D do plano complexo. Se o conjunto
Z = fz 2 D : f (z) = 0g
possuir um ponto de acumulao em D; ento f(z) = 0 para todo z em D.
142
Seja A o conjunto dos pontos de Z que podem ser ligados a z0 por um caminho
contido em Z: Este conjunto no vazio pois contm pelo menos uma vizinhana de z0 :
Por construo, o conjunto A conexo por caminhos. Sendo w um ponto de A; ento
f (z) = 0 ao longo de uma curva que vai de z0 a w: Deste modo, f (z) = 0 para todo z
situado num disco aberto com centro em w: Este disco aberto est contido em A pois
todos os seus pontos podem ser ligados a z0 por um caminho contido em Z: Desta forma,
o conjunto A aberto e conexo por caminho e est contido em Z:
Vamos provar que A = D: Se A 6= D, seja w um ponto em DnA e (t), t 2 [a; b],
um caminho em D que liga z0 a w; de modo que (a) = z0 e (b) = w: Sendo I = ft 2
[a; b] : (t) 2 Ag e t0 o seu supremo, o ponto (t0 ) ser um ponto de acumulao de A:
Se (t0 ) estivesse em A que aberto, pela continuidade de ; haveria um intervalo aberto
contendo t0 cuja imagem por estaria em A e, neste caso, t0 no seria o supremo de I:
Conclumos (t0 ) ponto de acumulao de A mas no pertence ao conjunto A:
Sendo (t0 ) um ponto de acumulao de A; existe uma seqncia (wk )1
k=0 em A com
todos os elementos distintos de (t0 ); convergindo para (t0 ) e na qual f(wk ) = 0: Assim,
existe uma vizinhana de z0 onde f (z) = 0: Em conseqncia, (t0 ) pertence ao conjunto
A o que entra em choque com a concluso obtida no pargrafo anterior.
Esta contradio foi gerada por admitirmos A 6= D: Logo, A = D; de modo que Z = D
ou f (z) = 0 para todo z em D; o que completa a prova do teorema. 2
8.5. EXERCCIOS
143
Prova. Sendo f(z) analtica no disco jzj < 1; sua srie de Taylor neste disco da
forma
1
1
1
X
X
X
k
k
f (z) =
ak z =
ak z = z
ak+1 z k
k=0
k=1
k=0
pois a0 = f(0) = 0: P
k
A funo g(z) = 1
k=0 ak+1 z analtica no disco jzj < 1: Sendo 0 < r < 1 e z tal que
jzj = r < 1;
jf (z)j
M
jg(z)j =
jzj
r
Aplicando o princpio do mdulo mximo a g(z); conclumos que a desigualdade jg(z)j
M=r vale para todo z no disco jzj r; onde r qualquer nmero real no intervalo
0 < r < 1: Da conclumos que jg(z)j M para todo z no disco aberto jzj < 1: Estando
z no disco jzj < 1 conclumos que jf (z)j = jg(z)j jzj M jzj : 2
8.5
Exerccios
Log
2 z ; converge no disco jz 3j < 2:
k
k=1 k2
2
M s r n
jRn (z)j
sr s
onde r = jzj e r < s; para fazer uma estimativa do erro de ordem n para as sries
da exponencial, do seno e do cosseno em um ponto z no disco jzj < 1:
3. Para obter a srie de Taylor de uma funo f (z) em torno do ponto z0 e at o termo
de ordem n usando o Mathematica, basta comandar
Series[ f[ z ] , { z , z0, n } ]
Use este comando para obter a srie de Taylor da funo Log(1 + z) sen (z 2 ) em
torno do zero, at o termo de ordem 5: Resposta: z 3 12 z 4 + 13 z 5
144
Captulo 9
Singularidades
O estudo das singularidades fundamental para as aplicaes de funes de varivel
complexa. De um certo modo, o que caracteriza uma funo de varivel complexa, so
suas singularidades. Neste captulo, faremos uma classicao das singularidades das
funes complexas e obteremos a forma local de funes analticas em anis.
Se f (z) no for analtica em z0 mas toda vizinhana deste ponto contiver pontos de
analiticidade de f (z); ento z0 um ponto singular de f(z):
O nmero complexo i uma singularidade de f(z) = (z i)3 : Os pontos do semi-eixo
real negativo com o zero, caracterizados por f(x; 0) 2 C : x 0g; so pontos singulares
da funo f (z) = Log(z):
Uma singularidade z0 isolada quando existir um nmero real R > 0 tal que f (z)
analtica no disco perfurado 0 < jz z0 j < R: O nmero complexo i + 1 uma singularidade isolada de f (z) = (z 1 i)2 : Os pontos do semi-eixo f(x; 0) 2 C : x 0g no
so singularidades da funo f(z) = Log(z):
9.1
Ao analisar o compartamento local de funes com singularidades vamos nos deparar com
sries de potncias negativas, do tipo
1
X
k=1
bk (z z0 )k =
b1
b2
b3
+
+
+ ;
2
(z z0 ) (z z0 )
(z z0 )3
146
CAPTULO 9. SINGULARIDADES
bk (z z0 )k
k=1
bk wk :
k=1
1
X
bk (z z0 )k
k=1
g(w) =
1
X
bk wk :
k=1
Como
f (z) = g
1
z z0
1
g(w) = f z0 +
;
w
P
k
se a srie 1
k=1 bk w for convergente
P no disco jwjk< 1=r; ento f (z) analtica no anel
jz z0 j > r: Alm disso, a srie 1
pode ser derivada termo a termo e,
k=1 bk (z z0 )
para todo z no anel jz z0 j > r;
1
X
f (z) =
(k)bk (z z0 )k1 :
0
k=1
A prova destas propriedades pode ser feita sem diculdade e ca por conta do leitor.
Menos trivial a possibilidade de integrar a srie termo a termo ao longo de um caminho
e, por isso, vamos apresent-la.
Teorema 9.1 Considere a srie de potncias negativas com centro em z0
f (z) =
1
X
k=1
bk (z z0 )k
147
convergente no anel jz z0 j > r 0: Seja (t) um caminho neste anel e h(z) uma funo
contnua neste caminho. Ento
Z
Z
1
X
f (z)h(z)dz =
bk (z z0 )k h(z)dz:
k=1
1
z z0
z = z0 + 1=w;
transforma o anel jz z0 j < r no disco jwj < 1=r (quando r = 0 se assume 1=r = +1) e
leva a srie com potncias negativas
f (z) =
1
X
k=1
bk (z z0 )k
1
X
bk w k
k=1
1
1
f (z) = g
e g(w) = f z0 +
:
z z0
w
P
P
k
k
Sendo 1
convergente no anel jz z0 j > r; a srie 1
k=1 bk (z z0 )
k=1 bk w ser
convergente no disco jwj < 1=r:
Sendo (t); com t 2 [a; b]; uma curva suave por partes no anel jz z0 j > r; a curva
(t) =
1
;
(t) z0
com t 2 [a; b]
suave por partes e est contida no disco jwj < 1=r: As derivadas de e esto relacionadas por 0 (t) = 0 (t)=(t)2 : Pela denio de integral de linha,
Z
Z b
f(z)h(z)dz =
f((t))h((t))0 (t)dt
a
Z b
=
g((t))h(z0 + 1=(t)) 0 (t)=(t)2 dt
Za
dw
= g(w)h(z0 + 1=w) 2 :
w
148
CAPTULO 9. SINGULARIDADES
A funo h(z0 + 1=w)=w2 contnua sobre e g(w) uma srie de potncias positivas
que pode ser integrada termo a termo. Da,
Z
Z X
1
dw
f(z)h(z)dz =
bk w k h(z0 + 1=w) 2
w
k=1
Z
1
X
dw
=
bk wk h(z0 + 1=w) 2
w
k=1
Z
1
b
X
=
bk
(t)k h(z0 + 1=(t)) 0 (t)=(t)2 dt
=
=
k=1
1
X
bk
k=1
1
X
bk
k=1
Z
Z
(z z0 )k h(z) dz
provando que a srie de potncias negativas de (z z0 ) pode ser integrada termo a termo
no anel de convergncia. 2
Corolrio 9.2 A srie de potncias negativas
f (z) =
1
X
k=1
bk (z z0 )k
pode ser integrada termo a termo no seu anel de convergncia jz z0 j > r 0 e, sendo
(t) um caminho neste anel,
Z
f (z)dz =
1
X
k=1
bk
(z z0 )k dz:
P
k
Exemplo 9.1 A srie 1
no disco jwj < 1 para a funo g(w) = (w 2 w + 1) = (1
k=1 w convergeP
k
Fazendo w = (z 1)1 ; obtemos a srie 1
que converge no anel jz 1j > 1
k=1 (z 1)
para
z 2 3z + 3
1
:
f (z) = g (z 1)
= 2
z 3z + 2
9.2
Sries de Laurent
Sejam r e R nmeros reais com 0 r < R +1: Vamos provar que, quando f (z)
analtica no anel r < jz z0 j < R; podemos represent-la neste conjunto por uma srie
de potncias positivas e negativas de (z z0 ): O ponto z0 o centro do anel, o nmero r
o seu raio interno e R o seu raio externo. Se o raio interno do anel for nulo, este anel
149
um disco perfurado. Se o raio externo for innito, o anel denido pela desigualdade
jz z0 j > r:
Se a srie de potncias positivas
1
X
k=0
ak (z z0 )k
bk (z z0 )k
ak (z z0 ) +
1
X
k=1
bk (z z0 )k
1
X
k=0
ak (z z0 )k +
1
X
k=1
ak (z z0 )k
f ()d
( z0 )k+1
Daqui por diante, a demonstrao segue os mesmos passos do teorema de Taylor, aplicados
a cada integral acima.
150
CAPTULO 9. SINGULARIDADES
z n z n+1
z z 2
1
1
1+ +
+ +
+
:
=
w
w
w
w
w
(1 z=w)
1
Rn (z) =
2i
f (w)dw
wk+1
f (w) z n+1
dw:
(w z) w
Como jwj = s2 > jzj ; segue jw zj s2 jzj : Sendo f (w) contnua em 2 ; seu mdulo
limitado por uma constante M > 0: Obtemos da que
n+1
M jzj
jzj
jRn+1 (z)j
:
s2 jzj s2
Desta desigualdade conclumos que Rn+1 (z) converge para zero quando n tende para o
innito, uma vez que jzj =s2 < 1: Provamos que
I
X
f (w)
dw =
ak z k
wz
k=0
f(w)
1
d =
k+1
w
2i
1
2i
onde
1
ak =
2i
f(w)
dw :
w k+1
1
1
1
1
=
=
=
wz
zw
z 1 w=z
w n1 w n
1
w w 2
1
1+ +
+ +
+
:
=
z
z
z
z
z
1 w=z
151
dw =
f (w) dw +
f(w)w dw +
2i 1 w z
2i z 1
2i z 2 1
I
1 1
+
f (w)w n1 dw + Sn (z)
2i z n 1
= a1 z 1 + a2 z 2 + + an z n + Sn (z)
onde, para cada k = 1; 2; : : : ; temos
ak
e
1
=
2i
1
Sn (z) =
2i
f (w)
dw
wk+1
f (w) w n
dw:
(z w) z
Como jwj = s1 < jzj obtemos jz wj jzj s1 : Sendo f(z) contnua sobre 1 ; existe
M1 > 0 tal que jf (z)j M1 sobre 1 : Da segue que
n
M1 jzj s1
jSn (z)j
:
jzj s1 jzj
Uma vez que s1 = jzj < 1; a desigualdade acima garante que Sn (z) converge para zero
quando n tende para o innito. Deste modo,
1
2i
onde
ak
1
=
2i
X
f (w)
dw =
ak z k
wz
k=1
f (w)w
k1
1
dw =
2i
f(w)wk1 dw ;
onde qualquer circunferncia com centro em z0 situada no anel r < jzj < R:
Reunindo estes resultados, obtemos que
f (z) =
1
X
ak z k +
k=0
1
X
k=1
ak z k
f (w) dw
:
wk+1
152
CAPTULO 9. SINGULARIDADES
A srie que representa f(z) no anel r < jz z0 j < R chamada de srie de Laurent
de f (z) no anel r < jz z0 j < R: Usualmente se escreve a srie de Laurent na forma
abreviada
1
X
f (z) =
ak (z z0 )k :
k=1
Todavia h que se observar que a convergncia desta srie no anel r < jz z0 j < R est
condicionada convergncia da srie de potncias positivas
1
X
k=0
ak (z z0 )k
ak (z z0 )k
no anel jz z0 j > r:
Assim, sendo f (z) analtica no anel r < jz z0 j < R; ento
f(z) = f1 (z) + f2 (z)
onde
f1 (z) =
1
X
k=0
1
X
k=1
ak (z z0 )k
ak (z z0 )k
9.3
Se
Resduo
P1
k=1
9.3. RESDUO
153
onde uma circunferncia com centro em z0 ; situada neste anel. Observe que a1 o
coeciente (z z0 )1 na srie de Laurent. Como f (z) analtica no anel, a circunferncia
pode ser substituda por qualquer contorno contido no anel e que gire em torno de z0
uma nica vez.
Vamos agora provar a unicidade do desenvolvimento de Laurent.
Teorema 9.5 Seja z0 um nmero complexo, r e R nmeros complexos com 0 r < R
1: Se a srie de potncias positivas e negativas
1
X
k=1
ak (z z0 )k
convergir no anel r < jz z0 j < R para f (z); ento f (z) analtica neste anel e a srie
exatamente sua srie de Laurent nesta regio.
Prova. Se
f (z) =
1
X
k=1
ak (z z0 )k
no anel r < jz z0 j < R; pelo que foi provado, podemos armar que f analtica
nesta regio. Sabemos tambm que a srie pode ser integrada termo a termo. Sendo
a circunferncia com centro em z0 e raio s; com r < s < R multiplicando a srie por
(z z0 )n1 e integrando a srie termo a termo em vem
I
n1
f (z)(z z0 )
dz =
1
X
k=1
ak
(z z0 )kn1 dz:
ou
1
an =
2i
f (z)
dz
(z z0 )n+1
154
9.4
CAPTULO 9. SINGULARIDADES
A srie geomtrica
X
1
=
zk;
1z
k=0
jzj < 1 ;
1
1X
1X
k2
=
k(k
1)z
=
(k + 2)(k + 1)z k
3
2 k=2
2 k=0
(1 z)
1
1
1 X
1 X
1
k3
=
k(k
1)(k
2)z
=
(k + 3)(k + 2)(k + 1)z k :
4
3!
3!
(1 z)
k=3
k=0
que convergem no disco jzj < 1: Por induo, se prova que no disco jzj < 1;
1
1 X
1
=
k(k 1) (k + 1 n)z kn
n+1
(1 z)
n! k=n
=
ou
1 X
(k + n)(k + n 1) (k + 1)z k
n! k=0
1
X (k + n)!
1
=
zk :
(1 z)n+1
k!n!
k=0
N(w)
D(w)
155
(5 + 2i) z 2 + 4z 3 + z 4 + z 5 + 4
z 2 (z 2 + 4)
maior do que o grau do denominador. Dividindo o numerador pelo denominador, obtemos o quociente z + 1 e o resto (1 + 2i)z 2 + 4 de modo que
(1 + 2i)z 2 + 4
f (z) = 1 + z +
z 2 (z 2 + 4)
Esta funo singular em z1 = 0; z2 = 2i e z3 = 2i: Sendo analtica no disco jz 1j < 1;
podemos desenvolv-la numa srie
p de Taylor centrada em z0 = 1 nesta regio. Sendo
analtica no anel 1 < jz 1j < 5; podemos obter sua srie de Laurent nesta regio. Por
156
CAPTULO 9. SINGULARIDADES
p
m, analtica no anel jz 1j > 5; onde h uma srie de Laurent que converge para
f (z): Em todos os casos, as sries de potncias estaro centradas em z0 = 1: Por esta
razo, faremos a mudana de varivel w = z 1; obtendo
f (z) = 2 + w +
(1 + 2i)(w + 1)2 + 4
:
(w + 1)2 ((w + 1)2 + 4)
:
2
(w + 1)2 ((w + 1)2 + 4)
2 w + 1 2i 2 w + 1 + 2i
(w + 1)
Vamos obter a srie
p de Laurent no anel 1 < jz 1j <
ao anel 1 < jwj < 5: No anel jwj > 1;
p
5 que, na varivel w corresponde
1
1
X
k
1
1
1
1 X
k k
(1) k =
(1)k k+2 :
2 =
2 =
2
2
w (1 + 1=w)
w k=0
w
w
(w + 1)
k=0
p
5;
X
1
wk
1
1
=
=
(1)k
w + 1 2i
1 2i 1 + w=(1 2i) k=0
(1 2i)k+1
X
1
wk
1
1
=
=
(1)k
w + 1 + 2i
1 + 2i 1 + w=(1 + 2i) k=0
(1 + 2i)k+1
p
Assim, no anel 1 < jwj < 5; obtemos
1
1
1
X
k
1X
wk
1X
wk
k
(1)k k+2 +
(1)k
(1)
w
2 k=0
(1 2i)k+1 2 k=0
(1 + 2i)k+1
k=0
k+1
1
1
X
1X
4
k
k
=
(1)
i
w +
(1)k kw (k+2)
2 k=0
5
k=0
f (z) =
1X
f (z) =
(1)k
2 k=0
k+1
1
X
4
k
i
(z 1) +
(1)k k(z 1)(k+2) :
5
k=1
157
1
X
zk
k=0
k!
=1+z+
z2 z3
+
+
2!
3!
1
z
z2 z3
1
exp(z) = + 1 + +
+
+ :
z
z
2! 3!
4!
Exemplo 9.4 Trocando z por 1=z na srie de Taylor da funo exp(z), obtemos
1
X
1
1
exp
=1+
:
z
k!z k
k=1
que converge para j1=zj < 1; isto , no disco perfurado 0 < jzj < 1.
1 ez
1
z2 z3
=
(1
+
z
+
+
+ )=(1 + z 2 ):
z 1 + z2
z
2!
3!
Dividindo a srie da exponencial por 1 + z 2 e multiplicando o resultado por 1=z; obtemos
1
5
1
f (z) = + 1 z + z 2 +
z
2
6
que converge para f (z) no disco perfurado 0 <j z j< 1.
f(z) =
Exemplo 9.6 Para determinar os trs primeiros termos da srie de Laurent da funo
1=(z 2 senh z) no anel 0 < jzj < , usamos o desenvolvimento
1
senh z X z 2k
=
;
z
(2k
+
1)!
k=0
que converge no disco jzj < 1: Dividindo esta srie por 1=z; obtemos
1
1 z
1
1
= 3
= 3
:
2
2
z senh z
z senh z
z 1 + z =3! + z 4 =4! +
1
1
1 2
1
1 4
= 3 1 z +
z +
z 2 senh z
z
3!
(3!)2 5!
no disco perfurado 0 < jzj < : Simplicando, obtemos
1
1
1
7
= 3
+
z +
2
z senh z
z
6z 360
no disco perfurado 0 < jzj < :
158
CAPTULO 9. SINGULARIDADES
9.4.1
Exerccios
z
1
2
=
1. Dada f (z) =
z2
em uma srie de potncias de z 1 convergente no disco
(iz)2
jz 1j < 1 e obtenha a srie de potncias de z 1 que converge no anel j z 1 j> 1.
2. Desenvolva f(z) =
z+1
numa
z1
vizinhana do zero, e d a regio de convergncia da srie; em seguida, determine a
srie de Laurent de f(z) no domnio jzj > 1.
1
conz(i z)2
P
1
1
k
= 1+ 1
=
k=1 (k + 1)(z + 1) no disco j z + 1 j< 1 e que
2
z
z2
k
1 1 P1
z2
k
+
no disco j z 2 j< 2:
k=1 (1) (k + 1)
4 4
2
6. Mostre que
1
1
1
1
csc z = + z
z3 +
z 3!
5! (3!)2
e, no disco perfurado 0 <j z j< 2,
ez
1
1 1
1
1 3
= + z
z +
1
z 2 12
720
159
= z 2
1
5
61 4
+ z2
z +
2 24
720
1
X
zn
k=0
n!
1
X
1
1
1
1
=
=
;
k+1
z1
z 1 1=z
z
k=0
jzj < 1 ;
jzj > 1 ;
onde Hk =
9.5
Pk
n=0
1
1
X
exp(z) X
=
[exp(1) Hk ] z k + exp(1)
z k
z1
k=0
k=1
Singularidade isolada
1
X
k=0
ak (z z0 ) +
1
X
k=1
ak (z z0 )k
sua srie de Laurent no disco perfurado 0 < jz z0 j < R; onde f (z) analtica. A srie
de potncias negativas de z z0
1
X
k=1
ak (z z0 )k
160
CAPTULO 9. SINGULARIDADES
a parte singular de f (z) no disco perfurado 0 < jz z0 j < R: Se esta parte principal for
nula, a srie de Laurent se reduz a uma srie de potncias positivas
f (z) =
1
X
k=0
ak (z z0 )k = a0 + a1 (z z0 ) + a2 (z z0 )2 +
no anel 0 < jz z0 j < R: Quando isto ocorre, z0 ser chamado de ponto singular
removvel. A singularidade de f (z) em z0 pode ser removida denindo adequadamente
f (z) em z0 : Se denirmos f (z0 ) = a0 ; f (z) se torna analtica no disco jz z0 j < R: O
prximo teorema fornece uma caracterizao de uma singularidade removvel.
Teorema 9.6 Seja z0 uma singularidade isolada de f(z): Esta singularidade removvel
se e s se limz!z0 f (z) existir e for nito.
Prova. Se a singularidade for removvel, da continuidade da srie de potncias em z0
segue que limz!z0 f (z) = a0 ; de modo que o limite existe e nito.
Falta apenas provar que, se o limite existe, ento a srie de Laurent de f (z) no disco
perfurado 0 < jz z0 j < R se reduz a uma srie de potncias positivas de z z0 : Para
tanto, basta provar que ak = 0 quando k negativo. Se o limz!z0 f (z) existir e for nito,
ento f(z) limitada numa vizinhana perfurada de z0 : Seja M > 0 um nmero real que
limita f (z) numa vizinhana perfurada de z0 : Nesta vizinhana, tome uma circunferncia
com centro em z0 e raio r: Assim
1 I
M 2r
f
(z)dz
jak j =
= Mrk :
k+1
k+1
2i (z z0 )
2 r
Como r pode ser to pequeno quanto se queira, quando k < 0; rk se torna to pequeno
quanto se queira. Deste modo, quando k < 0; temos ak = 0; como queramos demonstrar.
2
Exemplo 9.8 A funo f (z) = sen(z)=z; denida para todo z 6= 0; tem um ponto singular
isolado na origem. Como limz!0 (sen z)=z = 1; o zero uma singularidade removvel de
f (z): De fato, dividindo a srie do sen(z) em torno de zero por z; obtemos a srie de
Laurent que converge para o sen(z)=z no disco perfurado 0 < jzj < 1
1
sen(z) X (1)k 2k
z2 z4 z6
=
z =1
+
+
z
(2k
+
1)!
3!
5!
7!
k=0
Sua parte singular nula, de modo que o zero um ponto singular removvel de sen(z)=z:
Como esta srie tem valor 1 quando z = 0; basta denir f (0) = 1 para tornar f (z)
analtica em todo o plano. Com este procedimento, se remove a singularidade.
161
Exemplo 9.9 A funo f (z) = (z 2 1)(z 1)1 ; denida para todo z 6= 1; tem uma
singularidade removvel em z = 1: De fato, para todo z 6= 1; f (z) = (z+1)(z1)(z1)1 =
z + 1 para todo z 6= 1: O polinmio z + 1 a srie de Laurent de f (z) no disco perfurado
0 < jzj < 1: Como a srie, neste caso um polinmio, tem valor 2 em z = 1; basta denir
f (1) = 2 para tornar a f (z) analtica em todo o plano.
Seja z0 uma singularidade isolada de f (z) e
f(z) =
1
X
k=1
ak (z z0 )k
sua srie de Laurent no disco perfurado 0 < jz z0 j < R; onde f (z) analtica. Se, para
algum m > 0; am 6= 0 e ak = 0 para todo k < m; diremos que z0 um plo de
ordem m de f(z); ou, simplesmente, plo de f(z): Neste caso, a parte singular da srie
de Laurent possui um nmero nito de termo e ca reduzida a
1
X
am
am+1
a1
f (z) =
+
+
+
+
ak (z z0 )k
(z z0 )m (z z0 )m1
(z z0 ) k=0
X
am
am+1
a1
f (z) =
+
+
+
+
ak (z z0 )k
(z z0 )m (z z0 )m1
(z z0 ) k=0
Multiplicando-a por (z z0 )m obtemos
m
(z z0 ) f (z) = am + am1 (z z0 ) + + a1 (z z0 )
m1
1
X
k=0
ak (z z0 )k+m
162
CAPTULO 9. SINGULARIDADES
dados, vamos provar que am 6= 0 e que ak = 0 para k < m: Seja a circunferncia com
centro em z0 e raio r menor do que R: Se k < m;
1 I
f (z)
jak j =
dz
k+1
2i (z z0 )
1 I (z z )m f (z) M 2r
0
dz
= Mr(k+m)
=
m+k+1
2 rm+k+1
2i (z z0 )
Como r pode ser to pequeno quanto se queira, r(k+m) ser to pequeno quanto se queira.
Da se conclui que ak = 0 para k + m < 0 ou k < m: Deste modo,
1
X
am
am+1
a1
f (z) =
+
+
+
+
ak (z z0 )k
(z z0 )m (z z0 )m1
(z z0 ) k=0
para z no disco perfurado com centro em z0 e raio R: Multiplicando por (z z0 )m e
tomando o limite quando z ! z0 ; obtemos
am = lim (z z0 )m f (z) 6= 0;
z!z0
z 3 + 6iz 2 14z + 2 8i
1
2
=
+
3
z 1 (z + 2i)3
(z 1) (z + 2i)
tem um plo simples no ponto 1 e um plo triplo no ponto 2i: De fato, para z0 = 1;
limz!1 (z 1)f (z) = 1 e, para z0 = 2i; limz!2i (z + 2i)3 f(z) = 2: Usando as tcnicas
descritas anteriormente
o leitor poder obter a srie de Laurent f (z) no disco perfurado
p
0 < jz + 2ij < 5; que dada por
1
X (z + 2i)k
2
f (z) =
+
:
(z + 2i)3 k=0 (1 + 2i)k+1
O termo singular desta srie tem um nico termo, 2=(z + 2i)3 :
Seja z0 uma singularidade isolada de f(z). Quando a parte singular da srie de Laurent
de f (z) num disco perfurado 0 < jz z0 j < R tiver innitos termos no nulos, diremos
que z0 uma singularidade isolada essencial de f (z):
163
1
X
wk
k=0
k!
que converge no disco jzj < 1 que representa o plano todo, obtemos a srie de Laurent
de exp(1=z) no disco perfurado 0 < jzj < 1: Basta fazer a mudana de varivel w = 1=z
na srie de exp(w) e obter
1
X
1
1
exp( ) =
:
z
k!z k
k=0
A srie do lado direito converge para exp(1=z) em todo o disco perfurado 0 < jzj < 1;
isto , converge no plano todo, exceto em z = 0: A parte singular desta srie tem innitos
termos no nulos. Logo, o ponto z = 0 uma singularidade isolada essencial de exp(1=z):
Agora enunciaremos um teorema interessante a respeito do comportamento de uma
funo na vizinhana de um singularidade essencial. Este teorema informa que nas vizinhanas de suas singularidades essenciais, uma funo f (z) assume valores que se aproximam de todos os nmeros complexos.
Teorema 9.8 Seja w uma singularidade isolada essencial de f (z): Dado um nmero complexo L qualquer, existe uma seqncia (wk ) convergindo para w; tal que f (wk ) converge
para L:
Exemplo 9.12 A funo f (z) = Log(z); denido para todo z 6= 0; no contnua e,
portanto, no analtica no semi-eixo S = f (x; 0) 2 C : x 0 g: Os pontos desta
semi-reta so pontos singulares no isolados do Log(z):
Exemplo 9.13 A funo denida para todo z 6= 0 por f (z) = ln(r) + i; onde r = jzj
e o argumento de z no intervalo (=2; 3=2); um ramo da funo logaritmo. Ao
longo da semi-reta T = f (0; y) 2 C : y 0 g a funo f (z) no analtica. Os pontos de
T so pontos singulares, porm no isolados, de f (z):
Exemplo 9.14 A funo f (z) denida pela srie de potncias
f (z) =
1
X
zk;
k=0
converge no disco jzj < 1 para 1=(1z): Todos os pontos da circunferncia jzj = 1 so pontos singulares de f (z): Tais pontos singulares no so isolados. A funo F (z) = 1=(1z)
uma extenso analtica, a nica por sinal, de f (z) fora do crculo de convergncia jzj < 1:
164
CAPTULO 9. SINGULARIDADES
1
X
(1)k
k=0
k+1
(z 1)k+1
converge no disco jzj < 1 para G(z) = Log(z): Na realidade, converge para todo ramo
do logaritmo que coincide com o logaritmo principal no disco jzj < 1: Converge, por
exemplo, para H(z) = ln(r) + i; onde r = jzj e o argumento de z no intervalo
3=2 < < =2: O leitor pode construir outros ramos do logaritmo que coincidem com
f (z) no disco jzj < 1: Este exemplo mostra que uma srie de potncias pode possuir mais
de uma extenso analtica no exterior de seu disco de convergncia.
Exemplo 9.16 A srie de Taylor de Log(z) em torno do ponto z0 = 1 + i
k
1
X
1 1+i
(ln 5)=2 + 3i=4
(z z0 )k :
k
2
k=1
O teorema de Taylor garante que esta srie converge em um disco com centro em z0 onde
Log(z) analtica. A singularidade de Log(z) mais prxima de z0 o ponto 1; cuja
distncia a z0 1: Logo, esta srie deve convergir, pelo menos, num disco em torno do
ponto z0 com raio unitrio. Todavia,
p o critrio da razo mostra que esta srie converge
num disco com centro em z0 e raio 2; ultrapassando a regio de analiticidade de Log(z):
Por que isto aconteceu? Isto aconteceu porque a escolha do corte de ramo do logaritmo
principal ao longo do semi-eixo f(x; 0) : x 0g foi arbitrria.
Existem outros ramos do logaritmo que coincidem com o logaritmo principal no segundo quadrante. Observe que F (z) = ln jzj + i; onde r = jzj e o argumento de z
no intervalo (=2; 3=2) um ramo do logaritmo que coincide com Log(z) no segundo
quadrante e, portanto, numa vizinhana do ponto z0 : Desta forma, F (z) e Log(z) possuem
a mesma srie de Taylor em torno de z0 : A singularidade
de F (z) mais prxima de z0 a
p
origem e a distncia entre estes dois pontos 2: Isto explica o motivo pelo qual a srie
de Taylor de Log(z) converge em um disco que ultrapassa sua regio de analiticidade.
9.5.1
Exerccios
9.6
165
z 3 8z 2 + z 5 8
tem um plo simples em 2 e um plo de ordem
(z 2)2 (z + i)4
Teorema do resduo
1
X
k=1
ak (z z0 )k
Esta frmula mostra que, para calcular a integral de f(z) ao longo de ; basta calcular o
resduo de f em z0 : A circunferncia pode ser substituda por um contorno que contenha
z0 no seu interior. O prximo teorema apresenta um modo de calcular o resduo quando
z0 for um plo.
Teorema 9.9 Seja m > 0: Quando z0 for um plo de ordem m de f(z); ento
Res (f; z0 ) =
dm1
1
lim m1 [(z z0 )m f (z)] :
(m 1)! z!z0 dz
Prova. Sendo z0 um plo de ordem m de f (z) ento, num disco perfurado 0 <
jz z0 j < R;
1
X
f(z) =
ak (z z0 )k
k=m
(z z0 ) f (z) =
1
X
k=m
k+m
ak (z z0 )
1
X
k=0
akm (z z0 )k
que uma srie de potncias positivas de (z z0 ) e pode ser derivada termo a termo.
Escrevendo os primeiros termos desta srie, obtemos
(z z0 )m f (z) = am + am+1 (z z0 ) + + a1 (z z0 )m1 + a0 (z z0 )m +
onde observamos que o termo que contm o resduo a1 da forma
a1 (z z0 )m1 :
166
CAPTULO 9. SINGULARIDADES
z!z0
dm1
[(z z0 )m f (z)] = (m 1)!a1
dz m1
cos z
z 2 (z + i)
d
d cos z
2 cos z
Res(f; 0) = lim
z 2
= lim
=1
z!0 dz
z!0 dz z + i
z (z + i)
e
Res(f; i) = lim(z + i)
z!i
cos i
cos z
= 2 = cosh 1:
+ i)
i
z 2 (z
Teorema 9.10 (Teorema do Resduo) Seja f (z) uma funo analtica sobre um contorno
: Seja D o interior de : Suponha ainda que f(z) analtica em D; exceto em um nmero
nito de pontos z1 ; z2 ; :::; zn em D: Assim,
I
n
X
f (z) dz = 2i
Res (f; zk )
k=1
k=1
167
jzj=4
exp(z)
dz :
z2 + 2
exp(z)
exp(z)
exp(z)
=
f (z) =
se localizam
2
2
2
2
z +
(z i) (z + i)
(z i)2 (z + i)2
nos pontos i e i: Ambos esto situados no interior da circunferncia jzj = 4; sendo
plos de ordem dois. Os resduos de f(z) nestes pontos so dados por
exp(z)
+i
d
d
2
=
Res(f; i) = lim
(z i) f (z) = lim
;
2
z!i dz
z!i dz
(z + i)
4 3
exp(z)
i
d
d
2
=
Res(f; i) = lim
(z + i) f (z) = lim
;
z!i dz
z!i dz
(z i)2
4 3
Os plos de f (z) =
Logo,
exp(z)
i
dz = 2i [Res(f; i) + Res(f; i)] = :
2
(z 2 + 2 )
9.7
A teoria dos resduos pode ser usada para calcular algumas classes de integrais indenidas.
Funes racionais
Seja F (z; w) a razo entre dois polinmios nas variveis z e w; isto , uma funo racional
e considere a integral
2
I
z + 1 z 2 1 dz
F
;
:
2z
2iz
iz
jzj=1
Para calcular esta integral preciso parametrizar a circunferncia jzj = 1: A parametrizao usual
(t) = exp(it)
com 0 t 2: No processo de transformar a integral de linha numa integral denida,
substitui-se z por exp(it) e dz por i exp(it)dt: Estando z na circunferncia jzj = 1; tem-se
168
CAPTULO 9. SINGULARIDADES
2
I
Z 2
z + 1 z 2 1 dz
F
;
=
F (cos t; sen t)dt:
2z
2iz
iz
jzj=1
0
Pode-se usar esta identidade para calcular integrais do tipo
Z 2
F (cos t; sen t)dt;
0
Se
F
jzj=1
z2 + 1 z2 1
;
2z
2iz
dz
:
iz
1
z + 1 z2 1
f (z) = F
;
iz
2z
2iz
for analtica sobre a circunferncia jzj = 1 e suas singularidades no interior desta curva
forem isoladas, pode-se usar a teoria do resduo para calcular esta integral.
Note que, para passar da integral denida no intervalo 0 t 2 para a integral de
linha na circunferncia jzj = 1; deve-se efetuar as substituies
z2 + 1
z2 1
dz
; sen t !
; dt ! :
2z
2iz
iz
Exemplo 9.19 Vamos mostrar que
Z 2
dt
p
I=
= :
5 + cos t
0
cos t !
p
p
O integrando possui plos simples em z1 = 5 2 e z2 = 5 + 2 sendo que apenas
o primeiro est no disco jzj < 1: Usando LHospital para calcular o limite que fornece o
resduo, obtemos
2
z z1
p
I = 2i lim
i z!z1 z 2 + 2 5z + 1
1
p
= 4 lim
= :
p
z! 5+2 z +
5+2
169
Exemplo 9.20 Se a e b forem nmeros reais com a > jbj ; vamos mostrar que
Z 2
d
2
I=
=p 2
:
a b sen
a b2
0
Substituindo sen por (z 2 1)=(2iz);
I
I
1
dz
2dz
I=
=
:
2
2
a + b(z 1)=(2iz) iz
bz + 2aiz b
2(z z1 )
2
i
p
=
lim
=
:
bz 2 + 2aiz b z!z1 2bz + 2ai
a2 b2
I=
z!z1
Concluindo,
i
2
d
= 2i p
=p
:
2
2
a + b sen
a b
a2 b2
Z
5
d
=
:
2
(5 3 sen )
32
Integrais imprprias
Seja f (z) uma funo da varivel complexa z = x + iy analtica ao longo do eixo real.
Quando restrita a este eixo, onde y = 0; f (z) se torna f (x); uma funo da varivel real
x: Se f (x) for um nmero real, a integral imprpria
Z 1
I=
f (x) dx
1
pode ser interpretada como sendo a integral de linha de f(z) ao longo do eixo real. Quando
esta integral for convergente, ela coincide com o seu valor principal de Cauchy
Z R
lim
f (x) dx:
R!1
Todavia, a existncia do
R 1valor principal de Cauchy no garante a convergncia da integral.
A integral imprpria 1 x dx divergente ao passo que o valor principal de Cauchy
RR
limR!1 R x dx igual a zero. Nesta seo, as integrais
Z 1
Z 1
Z 1
f (x) dx;
f (x) cos mx dx e
f (x) sen mx dx
1
170
CAPTULO 9. SINGULARIDADES
Teorema 9.11 Seja f (z) uma funo analtica no eixo real apresentando singularidades
isoladas no semi-plano superior. Se
lim zf (z) = 0
z!1
k=1
k=1
k=1
Como limz!1 zf (z) = 0; dado " > 0; existe M > 0 tal que, para todo R > M e
z = R exp(i) sobre ;
"
jR F (R exp(i))j < :
Assim,
Z
Z
Z
F (z)dz =
F
(R
exp(i)
)iR
exp(i)d
jR F (R exp(i) )j d < "
z!1
p(z)
=0
q(z)
n
X
p(x)
p
dx = 2i
Res
; zk
q
1 q(x)
k=1
1
171
+ 2k
zk = exp
i ;
k = 0; 1; 2:
6
Escrevendo-as explicitamente, obtemos
1 p
z1 = exp i = ( 3 + i);
6
2
z2 = exp i = i;
2
1 p
5
z3 = exp i = ( 3 + i):
6
2
Sendo plos de primeira ordem de f (z) =
z6
1
; ento
+1
p
3+i
1
(z z1 )
=
=
lim
Res(f; z1 ) = lim 6
p
5
z!z1 z + 1
12
z!( 3+i)=2 6z
1
1
(z z1 )
= lim 5 = i
Res(f; z2 ) = lim 6
z!i 6z
z!z2 z + 1
6
p
(z z1 )
1
3i
Res(f; z3 ) = lim 6
=
lim
=
:
p
5
z!z3 z + 1
12
z!( 3+i)=2 6z
onde os limites foram calculados mediante o uso da regra de LHospital. Pelo teorema dos
resduos,
Z 1
3
X
dx
2
=
2i
Res(f;
z
)
=
:
k
6
3
1 x + 1
k=1
Exerccio 9.3 Mostre que
Z
(x2
dx
= :
2
2
+ 1) (x + 4)
9
dx
1
=
2
x +1
2
dx
:
+1
x2
172
CAPTULO 9. SINGULARIDADES
Teorema 9.12 Seja f (z) uma funo analtica no semi-eixo real com singularidades isoladas no semi-plano superior. Se
lim f (z) = 0
z!1
imx
f (x) e dx = 2i
Res f (z)eimz ; zk
1
k=1
Prova. Seja R > 0 um nmero real sucientemente grande para que z1 ; z2 ; :::; zn
estejam no semicrculo
fz 2 C : jzj < R e Im z > 0g:
Sendo a fronteira desta regio, obtemos
I
n
X
imz
f (z) e dz = 2i
Res f (z) eimz ; zk :
k=1
imz
Observe que
=2
Z =2
2m
2mR
"R
exp
d
0
2m
=
"R
(exp(mR) 1)
2mR
< "(1 emR ) < "
173
1
ento limz!1 f (z) = 0: Esta funo possui
+ 2z + 2
um plo simples em z1 = 1 + i e outro em z2 = 1 i; satisfazendo as condies do
teorema anterior. Apenas z1 se situa no semiplano superior e o resduo de f(z) em z1
w = 1 + i
exp(imz)
1
lim (z w) 2
= ie(1+i)m :
z!w
z + 2z + 2
2
Deste modo,
Z 1
exp(mxi)
dx = 2i Res(f(z)eimz ; 1 + i) = em exp(im)
2 + 2x + 2
x
1
Exemplo 9.22 Sendo f (z) =
de onde se obtm
z2
cos 2x
dx = em cos m;
+ 2x + 2
Z1
1
sen 2x
dx = em sen m:
2
1 x + 2x + 2
x2
1
singular em i e i que so plos de primeira
+1
ordem. O resduo de f (z) exp(imz) em i; nico plo que est no semi-plano superior,
lim(z i)
z!i
z2
exp(imz)
exp(imz)
exp(m)
= lim
=
2
z!i
z +1
z+i
2i
Como jf(z)j < 2=r quando jzj = r > 2; ento limz!1 f (z) = 0:
Sendo m 0; ento
Z 1
exp(mx)
exp(m)
dx = 2i Res (f (z) exp(imz); i) = 2i
= em :
2
x
+
1
2i
1
2
1
0
cos(mx)
1
=
Re
x2 + 1
2
Z
1
1
x2
exp(mx)
em
dx
=
:
x2 + 1
2
xsenx
dx:
+ 2x + 5
174
9.8
CAPTULO 9. SINGULARIDADES
Integrais diversas
Vamos calcular
xe
sen x dx
xex cos x dx
zez dz
ze dz =
ze dz =
R
0
R
0
(1 + i)xe(1+i)x (1 + i)dx
= 2i
Z
! 2
xex dx = 1 (R + 1)eR ! 1
p
Em 2 ; jzj = R e jexp(z)j = jexp(R cos )j exp(R 2=2): Da,
p !
Z
2
R
zez dz R exp
R
!0
2
2
2
quando R ! 1: Sendo
Z
Z
Z
z exp(z)dz +
z exp(z)dz
z exp(z)dz = 0
1
xex cos x dx = 0 :
xex cos x dx = 0 :
175
Z 1
n
X
2i
1 P (z)
1 P (x)
dx =
Res
; zk :
x Q(x)
1 e2i k=1
z Q(z)
0
R1
Prova. Sendo P (x)=Q(x) racional e contnua em zero, 0 P (x) R=(Q(x)x )dx converge
1
pois 0 < < 1: Como o grau de Q(x) maior que o de RP (x); 1 P (x) =(Q(x)x )dx
1
tambm converge, acarretando na convergncia da integral 0 P (x) =(Q(x)x )dx
Seja
1 P (z)
f (z) =
;
z Q(z)
=
=
=
=
x
R exp(i)
x exp(i0 )
r exp(i)
176
CAPTULO 9. SINGULARIDADES
r x Q(x)
1 z Q(z)
R1
que converge para 0 P (x) =(Q(x)x )dx quando r ! 0+ e R ! 1:
Estando z em 2 ; temos z = R exp(i); z = R exp(i) e jz j = R : Como o grau
de Q(z) maior do que o grau de P (z); existe M > 0 tal que, para todo R > M e
z = R exp(i) em 2 ;
P (z)
2
2
1
P
(z)
1 2 R0 = 20 ! 0 quando R ! 1:
dz
R R
R
2 z Q(z)
exp(2i) r x Q(x)
3 z Q(z)
1 P (x)
dx
x Q(x)
quando r ! 0 e R ! 1:
Quando z est em 4 ; z = r exp(i) e z = r exp(i) e jz j = r : Sendo P (z)=Q(z)
contnua em zero, esta razo limitada em alguma vizinhana deste ponto. Assim sendo,
para r sucientemente pequeno, existe M > 0 tal que, para todo z com jzj r; tem-se
P (z)
Q(z) < M :
+
177
1 P (z)
1
dz M r0 = 2M 0 r1 ! 0 quando r ! 0+ :
r
3 z Q(z)
De acordo com a teoria do resduo, sendo zk as razes de Q(z);
I
n
X
1 P (z)
1 P (z)
dz = 2i
; zk
Res
z Q(z)
z
Q(z)
k=1
1e
2i
provando o teorema. 2
n
X
1 P (x)
1 P (z)
dx = 2i
Res
; zk
x Q(x)
z Q(z)
k=1
Exemplo 9.24 Sejam P (z) = 1 e Q(z) = 1 + z; que tem uma raiz em z1 = 1: Fazendo
= 1=2 na frmula obtida no teorema anterior,
Z
obtemos
1
0
n
X
2i
1 P (z)
1 P (x)
dx =
Res
; zk ;
x Q(x)
1 e2i k=1
z Q(z)
1
2i
1
p
Res 1=2
dx =
; 1 :
x(1 + x)
1 ei
z (1 + z)
p
onde z
= r exp(i=2); sendo r = jzj e o argumento de z no intervalo [0; 2): O
ponto z1 = 1 um plo de ordem 1 de modo que
1
1
1
1
; 1 = lim (z + 1) 1=2
=
=
= i ;
Res 1=2
z!1
z (1 + z)
z (1 + z)
(1)1=2
i
1=2
1
0
1
2i
p
dx =
(i) = :
x(1 + x)
1+1
178
CAPTULO 9. SINGULARIDADES
Captulo 10
Aplicaes
10.1
Funes harmnicas
Uma funo real u(x; y) harmnica em uma regio aberta D do plano, quando tiver
derivadas parciais contnuas at a segunda ordem em D e satiszer neste conjunto
equao de Laplace
@ 2u @ 2u
r2 u = 2 + 2 = 0;
@x
@y
A equao de Laplace tambm conhecida como equao do potencial. Esta equao
para funes de trs variveis reais u(x; y; t)
@ 2u @ 2u @ 2u
r u = 2 + 2 + 2 = 0;
@x
@y
@t
2
Exemplo 10.1 A lei de Gauss para o campo eltrico em regime permanente no vcuo se
resume a
rE=0
onde E o campo eltrico. Sendo o campo conservativo, existe uma funo real V;
chamada de potencial do campo, tal que E = rV: Da primeira equao de Maxwell,
obtemos
r2 V = r rV = r E = 0;
180
181
p
Exemplo 10.5 A funo u(x; y) = ln x2 + y 2 harmnica em todos os pontos de S =
Cnf0g que no um conjunto simplesmente conexo. A harmnica conjugada de u na
componente simplesmente conexa D = Cnf(x; 0) : x 0 g de S v(x; y) = Arg(z)
(argumento principal de z): As funes u e v so, respectivamente, a parte real e a parte
imaginria da funo f (z) = Log(z) (o logaritmo principal de z); que analtica em S:
A funo v(x; y) chamada de potencial do campo (uy ; ux ):
Devido s condies de Cauchy-Riemann,
(ux ; uy ) (vx ; vy ) = ux vx + uy vy = uxuy + uy ux = 0 :
os campos (ux ; uy ) e (vx ; vy ) so ortogonais em cada ponto do plano. Este fato nos leva
ortogonalidade das duas famlias de curvas de nvel denidas por u(x; y) = k1 e por
v(x; y) = k2 ; onde k1 e k2 so constantes reais.
182
onde qualquer caminho em D que liga z0 a z = (x; y): Como o campo (uy ; ux)
conservativo em D; a integral independe do caminho, mostrando que a funo v(x; y) est
bem denida. Seu valor depende apenas do ponto (x; y) e no do caminho escolhido
para ligar o ponto (x0 ; y0 ) ao ponto (x; y):
Um conjunto D estrelado em relao a um ponto z0 se todo ponto z de D puder ser
ligado a z0 por um segmento de reta. Neste caso, a integral de linha anterior pode ser
calculada ao longo deste segmento. Denindo (t) = tz +(1 t)z0 ; com t 2 [0; 1]; obtemos
Z 1
[yux ( tz + (1 t)z0 ) xuy ( tz + (1 t)z0 )] dt :
v(x; y) =
0
Quando existir um ponto z0 = (x0 ; y0 ) em D que pode ser ligado a cada ponto z = (x; y)
de D por uma poligonal em D formada por dois segmentos de reta, sendo o primeiro
paralelo ao eixo real e o segundo paralelo ao eixo imaginrio, ento (??) se reduz a
Z x
Z y
v(x; y) =
uy (t; y0 )dt +
ux (x; t)dt:
x0
y0
Pode-se ainda determinar v(x; y) a partir de u(x; y) usando as condies de CauchyRiemann, processo este ilustrado anteriormente.
Podemos reunir os dois teoremas anteriores em um nico.
Teorema 10.3 Seja D uma regio aberta simplesmente conexa do plano. Uma funo
u(x; y) harmnica em D se e s se existir outra funo v(x; y) tal que f (x; y) = u(x; y)+
iy(x; y) analtica em D:
Se f (x; y) = u(x; y) + iy(x; y) for analtica, ento
52 u = 0
52 v = 0 :
183
Exerccios
1. Mostre que cada uma das funes u(x; y) abaixo harmnica em C e determine a
harmnica conjugada v(x; y). Verique que a famlia de curvas de nvel de u(x; y)
ortogonal famlia de curvas de nvel de v(x; y): Escreva f (z) = u(x; y)+iv(x; y) em
funo de z = x + iy: Para esta etapa, observe que x = (z + z)=2 e y = (z z)=(2i):
(a) u(x; y) = x2 y 2 + x y
(b) u(x; y) = x2 y 2 + 2x + y
2. Se v(x; y) a harmnica conjugada de u(x; y); mostre que v(x; y) harmnica.
3. Seja f (z) = U(r; ) + iV (r; ); onde z = r cis() uma funo analtica em uma regio
D que no inclua o ponto 0: Mostre que U e V satisfazem equao de Laplace em
coordenadas polares
@ 2 1 @
1 @ 2
+
+
= 0:
@r2
r @r r2 @2
10.2
Problema de Dirichlet
Em geral, quando se busca uma soluo da equao de Laplace em uma regio aberta
D; o que se deseja uma soluo que satisfaz a uma determinada condio na fronteira
de D: Este problema, que consiste na busca de uma soluo da equao de Laplace que
satisfaz a uma determinada condio na fronteira, chamado de problema de Dirichlet
que, no plano, consiste em determinar uma funo real u(x; y) de duas variveis reais
(x; y); contnua no fecho de uma regio D do plano e tal que
r2 u(x; y) = 0 ;
u(x; y) = (x; y)
para (x; y) em D
para (x; y) na fronteira de D
184
Se g(r; s) for uma funo analtica que leva uma regio aberta D1 em outra regio
aberta D; se f (x; y) for uma funo analtica em D igual a (x; y) na fronteira de D;
ento f g analtica em D1 e coincide na fronteira desta regio com g(r; s): Deste
modo, conhecendo a soluo de um problema de Dirichlet no plano, poderemos resolver
uma famlia de problemas de Dirichlet no plano.
Exemplo 10.6 Considere a funo analtica f (z) = z que pode ser escrita em termos do
par (x; y) por f (x; y) = x + iy: A parte real u(x; y) = x e a parte imaginria v(x; y) = y;
so solues da equao de Laplace no semi plano D1 denido por Im z 0: Na fronteira
deste semi plano, u(x; 0) = x e v(x; 0) = 0:
A funo z = g(w) = (w + 1=w) leva a regio D2 denida por Im w 0 e jwj 1 no
semi plano D1 : Sua parte real x(r; s) = r + r=(r2 + s2 ) e sua parte imaginria y(r; s) =
ss=(r2 +s2 ) so solues da equao de Laplace em D2 : A fronteira de D2 caracterizada
por: quando r 1; s = 0; quando r 1; s = 0; quando 1 < r < 1; s > 0 e r2 + s2 = 1:
Se (r; s) for uma ponto da fronteira de D2 ; ento g(r; s) = (2r; 0):
10.3
Transformao conforme
185
186
Como toda reta mediatriz de algum segmento, a equao de qualquer reta pode ser
colocada nesta forma.
Sejam z1 ; z2 nmero complexos com z1 6= z2 e > 1 um nmero real. O conjunto dos
pontos z do plano que satisfazem equao
jz z1 j = jz z2 j
uma circunferncia com centro em z0 e raio R onde
z0 =
2 z2 z1
;
2 1
R=
jz2 z1 j
:
2 1
jz0 z2 j =
R
:
187
Exemplo 10.10 A inverso w = 1=z leva retas que passam pela origem em retas que
passam pela origem e retas que no passam pela origem em circunferncias. De fato, sejam
z1 e z2 dois nmeros complexos distintos. Quando jz1 j = jz2 j 6= 0; a reta jz z1 j = jz z2 j
que passa pela origem levada pela inverso na reta jw 1=z1 j = jw 1=z2 j ; que tambm
passa pela origem. Quando jz2 j > jz1 j ; a reta jz z1 j = jz z2 j no passa pela origem e
levada pela inverso na circunferncia j1 z1 wj = j1 z2 wj :
Se chamarmos as retas e circunferncias de circunferncias generalizadas, podemos
dizer que a equao de qualquer reta generalizada pode ser escrita na forma
jz z1 j = jz z2 j
com z1 6= z2 complexos e 6= 0 real. Este fato e os exemplos anteriores nos permitem
enunciar
Teorema 10.5 A inverso w = 1=z transforma circunferncias generalizadas em circunferncias generalizadas.
Teorema 10.6 Seja f (z) analtica em uma regio D com
f 0 (z0 ) = f 00 (z0 ) = = f (n1) (z0 ) = 0
f (n) (z0 ) 6= 0
10.4
z1 z2
(z z2 )2
188
Em particular, a inverso f (z) = 1=z uma transformao linear fracionria que leva a
origem no innito.
Sendo
z z1
z2 z1
w = f(z) = a
=a+a
;
z z2
z z2
pode-se inverter esta funo para obter
z = f 1 (w) =
z2 w z1 a
z2 z1
= z2 + a
:
wa
wa
(z1 z2 ) (z3 z4 )
(1 z2 =z1 ) (z3 z4 )
= lim
z1 !1 (z1 z4 ) (z3 z2 )
z1 !1 (1 z4 =z1 ) (z3 z2 )
z1 !1
ou
z3 z4
z3 z2
onde se observa que os fatores que contm z1 desaparecem da razo cruzada.
A transformao
( w; w1 ; w2 ; w3 ) = ( z; z1 ; z2 ; z3 )
lim (z1 ; z2 ; z3 ; z4 ) =
z1 !1
z1
:
i (z + 1)
189
z z1
;
z z2
1 + iz
:
1 iz
(a 6= 0 e z1 6= z2 )
z1
z i
w+i
:
w1
A transformao f (z) leva a circunferncia jzj = 2 na circunferncia jw + ij = 2 jw 1j
e a circunferncia jzj = 1 na reta jw ij = jw 1j.
z = f 1 (w) = i
Exemplo 10.15 Sejam a; z1 e z2 nmeros reais de modo que a(z1 z2 ) > 0: Seja D o
semi-plano superior aberto denido por Im(z) > 0: A funo
f(z) = a
z z1
;
z z2
190
Exemplo 10.16 Seja z0 um nmero complexo tal que Im(z0 ) > 0: Para qualquer nmero
real ; a transformao linear fracionria
w = exp(i)
z z0
z z0
z z0
1 z0z
10.5
Exerccios
10.6
Transformao de Schwarz-Christoffel
Nesta seo, sendo z um nmero complexo e um nmero real, vamos denotar por z
o ramo da potncia denida por r exp(i); onde r = jzj e o argumento de z no
intervalo 0 2:
Sejam x1 ; x2 ; : : : ; xn e 1 ; 2 ; : : : ; n nmeros reais. Considerando o valor principal
das potncias, denimos a transformao de Schwarz-Christoel por
dw
= A(z x1 )1 (z x2 )2 (z xn )n :
dz
Esta transformao leva o semi-plano superior Im(z) 0 num polgono ilimitado, sendo
que os pontos x1 ; x2 ; : : : ; xn do eixo real so levados nos vrtices w1 ; w2 ; : : : ; wn do
191
dw
A
= A(z + 1)1=2 (z 1)1=2 =
;
dz
(z 1)1=2 (z + 1)1=2
que nos fornece
Z
dz
w=A p 2
+ B = A arcsen z + B
z 1
Como w = a quando z = 1 e w = a quando z = 1, obtemos A = 2a= e B = 0: Logo,
w=
10.7
2a
arcsen z
z = sen
Transformao de Joukowski
w
2a
192
onde k um nmero real. Esta transformao leva uma circunferncia que passa pelo
ponto z = 1 e contm o ponto z = 1 em seu interior, num perl de asa de avio,
conhecido por perl de Joukowski.
O Mathematica possui um pacote especial que fornece as imagens de transformaes
complexas. Para carregar este pacote, basta comandar
<<GraphicsComplexMap
Este pacote contm duas funes: o CartesianMap e o PolarMap.
A sintaxe do CartesianMap
CartesianMap[ f , { xmin , xmax , dx } , { ymin , ymax , dy } ]
Esta funo fornece as imagens das curvas y = cte e x = cte quando a elas se aplica a
funo complexa f (x + iy); fazendo o x variar de xmin at xmax e o y variar de ymin
at ymax. As constantes que denem as retas y = cte e x = cte so incrementadas de
dy e dx, respectivamente. Estes acrscimos so opcionais. Quando no fornecidos pelo
usurio, usa-se um valor automtico, estabelecido internamente.
A sintaxe do PolarMap
PolarMap[ f , { rmin , rmax , dr } , { tmin , tmax , dt } ]
Esta funo fornece as imagens das semi-retas t = cte e das circunferncias r = cte;
quando a elas se aplica f (r cis t): Observamos que (r; t) so as coordenadas polares de z;
sendo r a coordenada radial e t a coordenada angular. Os intervalos de denio de r e
t so fornecidos por rmin, rmax, tmin e tmax como no CartesianMap. Os acrscimos
dr e dt tambm so opcionais.
Nota 10.1 Deve-se denir f[z] antes de utiliz-la no CartesianMap ou no PolarMap.
No argumento do CartesianMap e do PolarMap, coloca-se apenas o nome da funo.
A funes internas do Mathematica esto implicitamente denidas, no precisando ser
redenida.
Exemplo 10.19 Vamos mostrar como obter simultaneamente o grco das retas x = cte
e y = cte e das suas imagens mediante a transformao w = exp(z):
Comande: g1 = CartesianMap[ Identity , { 0 , 1 } , { 0 , Pi/2 } ]
Como resposta obtemos o grco das retas x = cte e y = cte no retngulo [0; 1]
[0; =2]: Para obter o grco das imagens destas retas quando a elas aplicamos a
transformao w = exp(z);
Comande: f[z_]=Exp[z]
193
194
Exerccio 10.1 Determine diversos pers de Joukowski modicando o ponto z0 do exemplo anterior. Tome-o sobre o eixo real e no semi-plano inferior.
Exerccio 10.2 Use o Mathematica para determinar as imagens das regies abaixo, mediante as transformaes especicadas.
1. Considere a transformao w = f (z) = sen(z): Determine os grcos da imagens
da regio 1 Re(z) 1; 0 Im(z) 2:
2. Determine o grco da imagem da regio denida por 1 jzj 2; 0 Arg(z) ;
mediante a transformao
1
1
w=
1+
:
2
z
3. Determine a imagem do setor circular 0 Arg(z) =m; mediante a transformao w = z m :
195
196
Bibliograa
1. DAvila, G. S. S.; Funo de uma Varivel Complexa. Livros Tcnicos e Cientcos
Editora S.A., 1977.
2. Churchill, R. V.; Variveis Complexas e suas Aplicaes. Editora McGraw-Hill do
Brasil, 1975.
3. Colwell, P. e Mathews, J.C.; Introduo s Variveis Complexas. Editora Edgard
Blcher Ltda., 1976.
4. Gonalves, M. E. S.; Apostila de Mat-46. ITA, 1991.
5. Hauser Jr., A. A.; Variveis Complexas com Aplicaes Fsica. Coleo Tcnica.
Livros Tcnicos e Cientcos Editora Ltda., 1972.
6. Honig, C.S.; Introduo s Funes de uma Varivel Complexa. Publicaes do
Instituto de Matemtica da Universidade de So Paulo, 1971.
7. Medeiros, L.A.J.; Introduo s Funes Complexas. Editora McGraw-Hill do Brasil, 1972.
8. Grove, E.A. & Ladas, G.; Introduction to Complex Variable. Houghton Mifin
Company, Boston, 1974.
9. Pennisi, L. L.; Elements of Complex Variable. Holt, Rinehart and Winston, 1976.
10. Polya, G. and Latta, G.; Complex Variables. John Wiley & Sons, Inc, 1974.
11. Silverman, R. A.; Complex Analysis with Applications. Prentice-Hall, Inc., 1974.
12. Spiegel, M. R.; Variveis Complexas. Coleo Schaum. Editora McGraw-Hill do
Brasil, 1972.
13. Sveshnikov, A.G. & Tikhonov, A.N.; The Theory of Functions of a Complex Variable. Mir Publishers, Moscou, 1971.
197
198
Apndice A
Compacidade
Por denio, um conjunto compacto quando for fechado e limitado. Um dos principais
resultados desta seo consiste em provar que toda funo real, contnua em um compacto,
limitada neste compacto. Como conseqncia, concluiremos que uma funo complexa,
contnua em um compacto limitada neste compacto. Para atingir este objetivo, vamos
apresentar alguns teoremas fundamentais que podem ser encontrados em livros de Anlise
ou Topologia. O dimetro d(K) de um conjunto limitado K denido por
d(K) = supfjz wj : z; w 2 Kg
Teorema A.1 (Cantor, 1845-1918) Sejam
K1 K2 : : : Kn : : :
uma seqncia encaixante de sub-conjuntos fechados no vazios de C. Se
lim d(Kn ) = 0 ;
n!1
o conjunto
K=
1
\
Kn
n=1
Prova. Como limn!1 d(Kn ) = 0, ca evidente que K no pode ter mais que um
ponto. Portanto, basta provar que K no vazio. Para cada n 2 N, escolhemos zn 2 Kn .
Como limn!1 d(Kn ) = 0, segue que esta seqncia de Cauchy. Sendo C completo,
existe z 2 C tal que limn!1 zn = z. Vamos provar que z 2 K mostrando que z 2 Kn
para todo n 2 N. Se a seqncia for constante a partir de um certo n0 ento nada resta a
provar pois zn0 = zn = z para todo n n0 . Se a seqncia fzn g tiver um nmero innito
de termos distintos, ento z um ponto de acumulao de Kn0 para todo n0 2 N, uma
vez que zn est contido em Kn0 para todo n n0 . Sendo Kn0 fechado, z 2 Kn0 para todo
n0 2 N, como queramos demonstrar. 2
199
200
APNDICE A. COMPACIDADE
n!1
201
T
Logo, existe um ponto z0 2 1
n=1 (D \ Kn ). Em particular, z0 2 D e portanto pertence
a algum elemento G da cobertura. Como G aberto, existe " > 0 tal que V (z0 ; ") est
contido em G. Como z0 2 Kn para todo n 2 N e limn!1 d(Kn ) = 0, existe j 2 N tal que
D \ Kj Kj V (z0 ; ") G:
Deste modo, G sozinho cobre D \ Kj , contrariando a hiptese inicial. 2
Uma funo f (z) limitada em D se existir um M > 0 tal que jf (z)j M para todo
z em D:
O prximo corolrio garante que toda funo contnua em um compacto limitada
neste compacto. Este resultado muito utilizado na teoria das variveis complexas.
Corolrio A.5 Seja D um compacto em C e f : D ! C uma funo contnua. Ento
existe M > 0 tal que jf(z)j M; para todo z 2 D:
Prova. Prova-se o teorema por absurdo. Vamos supor que jf (z)j no limitado
em D: Seguindo o mesmo raciocnio do teorema anterior, construmos uma seqncia de
quadrados abertos Kj ; j = 1; 2; : : : ; onde jf (z)j no limitada
T1 em D \ Kj ; j = 1; 2; : : :.
Como no teorema de Heine e Borel, existe um ponto z0 2 n=1 (D \ Kn ). Em particular,
z0 pertence a D: Da continuidade de f (z) em z0 ; existe > 0 tal que, jf (z)j < jf (z0 )j + 1
para z 2 V (z0 ; ) e z 2 D: Como o d(Kj ) ! 0; quando j ! 1; existe um nmero natural
N > 0 tal que D \ Kj V (z0 ; ). Logo, jf (z)j < jf (z0 )j + 1 em D \ Kj ; sendo limitada
neste conjunto. Chegamos a uma contradio. Logo, jf (z)j limitada em D: 2
Teorema A.6 (Lema da cobertura de Lebesgue) Seja fGj : j 2 Ig uma cobertura
aberta de um conjunto D compacto em C. Ento existe " > 0 tal que, para todo z0 2 D,
a "-vizinhana V (z0 ; ") est contida em pelo menos um dos conjuntos Gj . (O nmero "
chamado de nmero de Lesbegue para a cobertura aberta fGj : j 2 Ig).
Prova. Como fGj : j 2 Ig uma cobertura aberta de D, vemos que para cada z 2 D,
existe j(z) 2 I e "(z) > 0 tais que V (z; 2"(z)) Gj(z) . Sendo fV (z; "(z)) : z 2 Dg uma
cobertura aberta de D que compacto, existem pontos z1 , z2 , : : :, zn 2 D tais que
D
n
[
k=1
Tomando " = minf"(z1 ); "(z2 ); : : : "(zn )g, se z0 2 D; ento z0 2 V (zk ; "(zk )) para algum
k entre 1 e n. Para cada z 2 V (z0 ; ") obtemos
d(zk ; z) = d(zk ; z0 ) + d(z0 ; z) < "(zk ) + " 2"
garantindo que z 2 V (zk ; 2"(zk )): Assim, V (z0 ; ") V (zk ; 2"(zk )) Gj(z) ; como queramos
demonstrar. 2
Como corolrio obtemos
202
APNDICE A. COMPACIDADE
Corolrio A.7 Seja fGj : j 2 Ig uma cobertura aberta do intervalo fechado [a; b]: Ento
existe uma partio do intervalo [a; b]
a = t0 < t1 < : : : < tn = b
tal que, para cada k; 1 k n; existe j 2 I para o qual [tk1 ; tk ] Gj :
As resolues dos exerccios que seguem podero ser encontradas em livros de Anlise
que tratem das funes de vrias variveis. Tais exerccios sero encontrados como teoremas nestes livros.
Exerccio A.1 Se toda cobertura aberta de um conjunto D possuir uma sub-cobertura
nita, ento D compacto. Podemos ento armar que um conjunto compacto se e s
se toda cobertura aberta deste conjunto admitir uma sub-cobertura nita.
Exerccio A.2 Mostre que um conjunto D de nmeros complexos compacto se e s se
toda seqncia em D possui uma sub-seqncia convergente com limite em D:
Exerccio A.3 Sejam A e B sub-conjuntos fechados e no vazios de C e seja A limitado.
Ento existem pontos a 2 A e b 2 B tais que d(A; B) = ja bj :
Exerccio A.4 Seja D um sub-conjunto compacto de C e f : D ! C contnua. Mostre
que f uniformemente contnua. Em outras palavras, dado " > 0; existe = (") > 0 tal
que, para todo z0 em D e jz z0 j < ; jf (z) f (z0 )j < ":
Apndice B
Seqncias e sries reais
Neste adendo enunciaremos alguns resultados relevantes a respeito de seqncias e sries
de nmeros reais, por serem teis na anlise da convergncia de seqncias e sries de
nmeros complexos.
Neste adendo, ( xk ) e ( yk ) representaro seqncias de nmeros reais.
Lembramos que uma seqncia ( xk ) limitada se existir um real M > 0 tal que
jxk j M , para todo k, sendo limitada superiormente quando xk M para todo k.
Teorema B.1 Seja (xk ) uma seqncia de nmeros reais. Se esta seqncia for crescente
e limitada superiormente, ento ela ser convergente.
Prova. Seja S = supfxk ; k = 0; 1; 2; : : :g. O supremo existe pois a seqncia
limitada superiormente. As propriedades do supremo, nos permitem escrever
S xk ;
8k 2 N:
(B.1)
(B.2)
lim xk = S
k!1
mostrando que, para todo " > 0, existe K > 0 tal que, se k > K ento jS xk j < ".
Sendo S > xk , basta mostrar que S xk < " ou ento que S < xk + ", para todo k > K.
De (B.1) e (B.2) segue que, se tomarmos K = N, ento, para todo k > K teremos
xk + " xN + " > S, como queramos demonstrar. 2
Lema B.2 Toda seqncia de Cauchy limitada.
Prova. Se a seqncia for de Cauchy, ento existe N 0 tal que j xk xN j< 1 para
todo k > N ( basta tomar " = 1 na denio de seqncia de Cauchy ). Sendo
r = maxf jx0 j ; jx1 j ; : : : ; jxN j ; jxN j + 1 g;
vemos que todos os pontos da seqncia esto numa bola com centro na origem e raio r,
provando que a seqncia limitada. 2
203
204
possui apenas um nmero nito N de valores distintos e que a seqncia no seja constante
a partir de um certo K. Deste modo, existem N nmeros reais y1 , y2 , : : :, yN , distintos
dois a dois, de tal modo que o conjunto
D = f y1 ; y2 ; : : : ; yN g
evidente que d > 0. Seja " = d > 0. Como a seqncia no permanece constante, para
qualquer N > 0, sempre encontramos n; k > N de modo que j xn xk j d = ". Isto
prova que a seqncia no de Cauchy. 2
Lema B.4 Se uma seqncia (xk ) for de Cauchy e o conjunto
f xk : k = 0; 1; 2; 3; : : : g
205
Teorema B.5 (Critrio de Cauchy para convergncia) Uma seqncia (xk ) converge se
e somente se for de Cauchy.
Prova. Inicialmente provaremos que, se a seqncia for convergente, ento ela de
Cauchy. Por hiptese temos
lim xk = x:
k!1
Isto signica que, dado " > 0, existe N > 0 tal que
j xk x j< "=2;
k!1
206
Teorema B.8 (Teste da comparao dos limites) Suponha que xk > 0, yk > 0, para
k = 1; 2; : : :, com
xk
lim
= 1:
k!1 yk
P
P
ento
xk converge se e s se
yk for convergente.
Teorema B.9 (Teste para sries alternadas) Se (xk ) for uma seqncia decrescente de
nmeros reais positivos, com
lim xk = 0;
k!1
P
k
ento 1
k=1 (1) xk converge.
Teorema B.10 (Teste da integral) Seja
positiva, decresP f : [0; 1) ! R uma funoR real,
1
f(x)dx
convergir.
cente com limk!1 f(x) = 0. Ento 1
f(k)
converge
se
e
s
se
k=0
0
Teorema B.11 (Teste da razo) Seja
xk+1
:
L = lim
k!1
xk
P
P
Se L < 1, ento
xk converge absolutamente. Se LP
> 1, ento
xk diverge. Se L = 1,
nada se pode armar sobre a convergncia da srie
xk .
Teorema B.12 (Teste da Raiz) Seja
L = lim
k!1
p
k
jxk j:
P
P
Se L < 1, ento
xk converge absolutamente. Se L > 1, ento
xk diverge. Se L = 1,
nada
Pse pode armar sobre a convergncia da srie
xk :