Académique Documents
Professionnel Documents
Culture Documents
INDICE
Indice
Indice
1 Introdu
c
ao
2 An
alise Complexa
2.1 Estrutura algebrica . . . . . . . . . . . . . . . . . .
2.2 Diferenciabilidade . . . . . . . . . . . . . . . . . . .
2.3 Funco
es definidas por series de potencias . . . . . .
2.4 Integraca
o . . . . . . . . . . . . . . . . . . . . . . .
2.5 Zeros e singularidades . . . . . . . . . . . . . . . .
2.6 O teorema dos resduos . . . . . . . . . . . . . . .
2.7 Aplicaco
es ao c
alculo de certos integrais de funco
es
2.8 Series de Laurent . . . . . . . . . . . . . . . . . . .
2.9 Exerccios suplementares . . . . . . . . . . . . . . .
2.10 Sugest
oes para os exerccios . . . . . . . . . . . . .
. . .
. . .
. . .
. . .
. . .
. . .
reais
. . .
. . .
. . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
de vari
avel real
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
10
11
17
20
21
25
27
28
Bibliografia
31
Indice remissivo
32
10 de Setembro de 2002
INDICE
10 de Setembro de 2002
Captulo 1
Introduc
ao
Este texto e uma introduca
o r
apida a
` An
alise Complexa para quem conhece An
alise Real ao nvel
dos dois primeiros anos de uma licenciatura do IST. Procurei evitar explicitamente demonstraca
o
de resultados que s
ao totalmente an
alogos aos de An
alise Real, como o teorema sobre raio de
convergencia de series de potencias, e tenta-se dar enfase aos resultados que s
ao inesperados do
ponto de vista de quem conhece An
alise Real, como diferenciabilidade implicar analiticidade. O
texto est
a em elaboraca
o e est
a sujeito a todo o tipo de mutaco
es s
ubitas, erros, etc.
Confesso que as minhas introduco
es favoritas a
` An
alise Complexa s
ao [4] e o u
ltimo captulo
de [2]. O primeiro e obviamente sofisticada demais para o nvel a que estas notas est
ao escritas.
Um outro texto cl
assico e [1].
Resumidamente alguns das caractersticas desta nota s
ao:
curta.
E
Sup
oe que o leitor n
ao sofre de amnesia relativamente a An
alise Real elementar.
Limites envolvendo integrais s
ao tratados usando o teorema da convergencia dominada ou
estimativas elementares.
N
ao contem ramos de funco
es.
Todos os logaritmos e razes quadradas tem os mesmos direitos.
Contem uma demonstraca
o do teorema de Cauchy-Goursat.
Demonstra o que e difcil e n
ao o que e trivial.
Holomorfia implicar analiticidade e um teorema.
A menos de correcca
o de gralhas o texto ficou essencialmente completo em 18 de Junho de 2000.
Vers
oes posteriores s
o estar
ao disponveis como parte de um texto que estou elaborar juntamente
com o Diogo Gomes e o Jo
ao Paulo Santos.
Para comunicar gralhas matem
aticas, lingusticas ou tipogr
aficas ao autor use email para
jmatos@math.ist.utl.pt. Se o texto estiver ainda em fase preparat
oria e de facto tiver encontrado
um erro a correcca
o ser
a incorporada na vers
ao seguinte disponvel em
http://www.math.ist.utl.pt/~jmatos/AMIV/iac.pdf. Caso o texto seja publicado em papel
a errata estar
a disponvel em http://www.math.ist.utl.pt/~jmatos/AMIV/errata-iac.pdf.
IST, 10 de Setembro de 2002,
Jo
ao Palhoto Matos
10 de Setembro de 2002
CAPITULO 1. INTRODUC
AO
10 de Setembro de 2002
Captulo 2
An
alise Complexa
A An
alise Complexa tem como objecto de estudo as funco
es complexas de vari
avel complexa que
satisfazem no interior do seu domnio uma definica
o de diferenciabilidade. Em que medida e que
isto difere da An
alise Real de funco
es de R2 em R2 ? A diferenca vai-se dever a
`s aplicaco
es lineares
de C em C (multiplicaca
o por um complexo fixo) corresponderem da maneira natural a aplicaco
es
lineares de R2 em R2 muito
espec
ficas:
aquelas
que
podem
ser
representadas
por
matrizes
reais
a b
isto que vai provocar uma extraordin
com a, b R. E
aria diferenca
2 2 da forma b
a
qualitativa entre os dois assuntos. De resto as noco
es topol
ogicas (limite, aberto, continuidade)
em C s
ao exactamente as mesmas de R2 . De certa forma falarmos de R2 ou de C n
ao e falarmos
de conjuntos distintos mas de estruturas algebricas distintas sobre o mesmo conjunto de pares
ordenados de n
umeros reais.
2.1
Estrutura alg
ebrica
Para construir C, o corpo dos complexos, comecamos por considerar R 2 com a estrutura usual de
espaco vectorial real a
` qual juntamos um produto atraves de
(a, b)(c, d) = (ac bd, ad + bc).
O conceito de potencia inteira positiva de um complexo introduz-se da maneira habitual. Facilmente se verifica que restringindo a soma e o produto a {(a, 0) : a R} obtemos uma c
opia
de R com a soma e o produto usuais. Para a R convencionamos escrever a em vez de (a, 0) e
identificamos este conjunto com R daqui por diante. Alem disso convencionamos designar por i
o complexo (0, 1) que satisfaz i2 = 1. Isto permite introduzir a notaca
o a + bi em vez de (a, b),
com a, b R, para os elementos de C. Designaremos a por parte real de a + bi e b por coeficiente
da parte imagin
aria com notaca
o a = Re(a + bi), b = Im(a + bi).
O elemento neutro para o produto em C e 1 e o 0 e o elemento absorvente, isto e, 1z = z1 = z,
0z = z0 = 0 para todo o z C. Alem disso, dado z C\{0}, existe um inverso u
nico w C tal que
a
b
zw = wz = 1. Um c
alculo r
apido mostra que se a = Re(z), b = Im(z) ent
ao w = a2 +b
2 a2 +b2 i.
1
Usamos a notaca
o z para o inverso de um complexo n
ao nulo e definimos potencias de expoente
inteiro qualquer da forma habitual. Notamos que podamos ter escrito z 1 = |z|z 2 em que z e o
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
aplicaco
es lineares de R2 em R2 convem comparar:
(a + bi)(c + di) = ac bd + (ad + bc)i
a b c
ac bd
=
b a
d
ad + bc
isto e o produto por um complexo
a + bi corresponde a uma aplicaca
o linear de R 2 em R2 repre
a b
sentada por uma matriz b a .
Exerccio 2.1.1 Mostre que o produto por um complexo pode ser interpretado como uma homotetia seguida de uma rotaca
o. Exprima a homotetia e a rotaca
o tanto como produtos em C como
aplicaco
es lineares de R2 em R2 .
2.2
Diferenciabilidade
De forma an
aloga ao que acontece com funco
es reais de vari
avel real aquele limite quando existe
df
e u
nico, designamo-lo por derivada de f em z0 e abreviamo-lo por f 0 (z0 ), dz
(z0 ) ou Df (z0 ).
Problema 2.2.1 Verifique que diferenciabilidade num ponto implica continuidade.
Problema 2.2.2 Mostre que as seguintes condico
es s
ao equivalentes a (2.1):
1. Existe w C tal que f (z) = f (z0 ) + w(z z0 ) + o(|z z0 |) em que limzz0
o(|zz0 |)
|zz0 |
= 0.
u
x
u
y
v
= y
v
= x
(2.2)
s
ao conhecidas por condico
es de Cauchy-Riemann e ser
ao fundamentais em tudo o que se segue.
A diferenciabilidade num ponto n
ao e uma propriedade que por si s
o seja particularmente
interessante. O nosso objectivo central s
ao as funco
es diferenci
aveis em abertos que dada a sua
import
ancia v
ao merecer uma designaca
o pr
opria.
10 de Setembro de 2002
2.2. DIFERENCIABILIDADE
Defini
c
ao 2.2.2 Uma funca
o f : C C com aberto diz-se holomorfa se f
or diferenci
avel
em .
Exerccio 2.2.1 Define-se a exponencial complexa via ez = ex (cos y + i sen y). Verifique que a
d
(ez ) = ez . Resolva a equaca
o ez = 1.
exponencial e holomorfa em C e que dz
Exerccio 2.2.2 Seja z = x + iy com x, y R. Define-se para x > 0
f (z) =
1
y
log(x2 + y 2 ) + i arctg .
2
x
1. Use as condico
es de Cauchy-Riemann para mostrar que f e diferenci
avel.
2. Mostre que f, a funca
o conjugada de f , n
ao e diferenci
avel.
3. Exprime f 0 (z) em termos de z.
4. Mostre que ef (z) = z para Re(z) > 0.
5. Determine o contradomnio de f .
Embora extremamente importantes as condico
es de Cauchy-Riemann nem sempre s
ao o processo mais expedito para garantir que uma funca
o e holomorfa ou calcular a sua derivada.
Exerccio 2.2.3 Verifique que as regras de derivaca
o usuais1 valem para funco
es holomorfas.
Exerccio 2.2.4 Verifique que se I R e um intervalo, C e um aberto e as funco
es g : I
e f : C s
ao diferenci
aveis ent
ao f g e diferenci
avel em I com
d
(f (g(t))) = f 0 (g(t))g 0 (t)
dt
para todo t I.
Defini
c
ao 2.2.3 Uma funca
o holomorfa em C diz-se inteira.
Exerccio 2.2.5 Verifique que as potencias inteiras s
ao funco
es holomorfas, as constantes s
ao
d
(z k ) = kz k1 para k Z, k 6= 0.
holomorfas com derivada nula e dz
Os polin
omios e a exponencial s
ao funco
es inteiras. Outros exemplos de funco
es inteiras importantes s
ao o seno (sen), coseno (cos), seno hiperb
olico (sh) e coseno hiperb
olico (ch) complexos
definidos a partir da exponencial via
sen z =
eiz eiz
,
2i
cos z =
eiz + eiz
,
2
sh z =
ez ez
,
2
ch z =
ez + ez
2
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Alem de estabelecerem a ortogonalidade entre as linhas de nvel da parte real e do coeficiente da
parte imagin
aria de uma funca
o holomorfa as condico
es de Cauchy-Riemann estabelecem tambem
o que se ilustra no exerccio seguinte.
restrico
es muito fortes ao crescimento daquelas funco
es. E
Exerccio 2.2.9 Uma funca
o f : C C e da forma
f (x + iy) = (x2 y 2 ) + i(xy),
com x, y R,
em que e s
ao funco
es reais de vari
avel real diferenci
aveis. Mostre que se f e holomorfa e
devem ter derivadas constantes e aproveite para determinar todos os possveis f .
2.3
Funco
es definidas por s
eries de pot
encias
Um tema recorrente da An
alise Complexa ser
a a interrelaca
o entre diversos tipos de representaco
es
para funco
es holomorfas. Alguns desses tipos de representaca
o envolvem series de potencias. Os
conceitos de serie, serie de potencias, sucess
ao de somas parciais, s
ao em tudo an
alogos ao que se
conhece de An
alise Real (ver por exemplo [3]). O mesmo se passa com as definico
es e resultados
seguintes.
Defini
c
ao 2.3.1 Uma serie
convergente.
P+
k=1 zk
P+
k=1
|zk | f
or
Proposi
c
ao 2.3.1
Uma serie absolutamente convergente e convergente.
Proposi
c
ao 2.3.2
P+
Dada uma serie de potencias k=1 ak (z z0 )k existe R [0, +] tal que para |z z0 | < R a
serie e absolutamente
convergente e divergente para |z z0 | > R.
Se R > 0 a funca
o BR (z0 ) 3
P
P+
k
0
k1
z 7 f (z) +
a
(z
z
)
e
holomorfa
com
derivada
f
(z)
=
ka
(z
z
)
sendo esta
k
0
k
0
k=1
k=1
s
e
rie
absolutamente
para
|z
z
|
<
R.
Al
e
m
disso
a
fun
c
a
o
definida
em
B
(z
)
por
z
7 G(z) =
0
R
0
P+ ak
k+1
0
(z
z
)
e
holomorfa
verificando
G
(z)
=
f
(z).
0
k=1 k+1
R na proposica
o anterior e conhecido por raio de convergencia da serie de potencias. Pode ser
calculado, tal como no caso real, via R = 1/ lim |ak |1/k ou, quando existir limk+ |ak /ak+1 |, o
u
ltimo limite fornece um processo alternativo de c
alculo do raio de convergencia. As habituais
ressalvas sobre convergencia para |z z0 | = R devem ser mencionadas: a serie poder
a divergir ou
convergir sobre cada um dos pontos desta circunferencia. Para estudar tais casos e muito u
til a
vers
ao complexa do criterio de Dirichlet.
Proposi
c
ao 2.3.3
Seja (ak )kN uma sucess
ao de termos reais positivos decrescente e com limite 0. Seja (b k )kN uma
Pk
sucess
ao complexa tal que existe M > 0 tal que | j=1 bj | < M para todo o k N. Ent
ao a serie
P+
a
b
e
convergente.
k=1 k k
e
j=1
1. Ilimitada.
2. Limitada.
P+
Exerccio 2.3.2 Verifique que a serie k=1 k1 z k tem raio de convergencia 1 e determine para que
valores de z com |z| = 1 e que a serie converge.
10 de Setembro de 2002
10
2.4. INTEGRAC
AO
P+ k
Exerccio 2.3.3 Define-se E(z) = k=0 zk! . Verifique que E est
a definida para todo o z C.
Verifique que E satisfaz E(z + w) = E(z)E(w) para todos os z, w C e use tal propriedade com
z = a, w = bi, a, b R, para mostrar que E(z) = ez .
Exerccio 2.3.4 Verifique que os an
alogos dos desenvolvimentos em serie do sen, cos, sh e ch s
ao
v
alidos em C.
2.4
Integrac
ao
A integraca
o ao longo de caminhos fechados em C fornece um poderosssimo metodo de an
alise
das funco
es holomorfas. Em geral podemos definir um integral de uma funca
o ao longo de um
caminho como segue:
Defini
c
ao 2.4.1 Seja I um intervalo de R e z : I R C uma funca
o cuja derivada existe em
quase todo o I. Seja L = z(I) e considere-se f : L C. Definimos o integral de f ao longo do
caminho definido2 por z como sendo
Z
Z
f (z) dz = f (z(t))z 0 (t) dt
I
Ideia da demonstraca
o.
Z
f (z) dz =
L
f (z(t))z (t) dt =
a
b
a
d
(G(z(t))) dt = G(z(b)) G(z(a)).
dt
2 Nesta
definica
o e em situaco
es semelhantes abusamos a notaca
o usando o mesmo smbolo para a vari
avel
independente da funca
o integranda e para o caminho.
3 Recorda-se que o integral de uma fun
ca
o complexa definida num subconjunto de R e definido integrando parte
real e parte imagin
aria da maneira natural.
11
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Note-se que nas mesmas condi
es o integral ao longo de um caminho fechado em ser
a 0. Isto
H co
incluir
a todos os integrais z k dz e portanto todas as funco
es polinomiais. Alem disso
Exemplo 2.4.1 Seja z um caminho fechado seccionalmente C 1 em C \ {0} definindo uma linha
C. Ent
ao, se k N com k 2,
I
1
dz = 0.
k
z
C
O exemplo anterior n
ao se pode estender ao caso k = 1 pois obtemos, com C a circunferencia
de raio 1 centrada em 0 percorrida uma vez no sentido directo, definida por z(t) = e it , t [0, 2],
I
Z 2
1
dz =
eit ieit dt = 2i.
C z
0
Note-se que tal prova que e impossvel definir uma
holomorfa em C \ {0} para 1/z.
H primitiva
1
dz = 2i em que C e uma circunferencia
O exemplo anterior estende-se facilmente a C za
parametrizada por z(t) = a + eit , t [0, 2]. Notavelmente podemos ainda estabelecer que
I
1
1
dz Z
(2.4)
2i L z a
(2.5)
Para justificar (2.5) comecamos por notar que obviamente () = 1, e contnua e, com a possvel
excepca
o de um n
umero finito de pontos onde z 0 n
ao est
a definida,
z 0 (t)
0 (t)
=
.
(t)
z(t) a
(t)
(t)
verifica-se que a igualdade anterior implica que z(t)a
tem deriDiferenciando o quociente z(t)a
vada nula excepto num n
umero finito de pontos. Como tambem e contnua ter
a que ser constante.
Como () = 1 obtivemos
(t) =
z(t) a
,
z() a
para t [, ].
12
2.4. INTEGRAC
AO
Apesar daquilo que foi dito sobre a primitivaca
o de 1/z podemos obter uma primitiva em
certos4 subconjuntos de C.
Exerccio 2.4.2 Determine uma primitiva de 1/z em {z C : Im(z) 6= 0 ou Re(z) > 0} e tal
que se a designar por log z temos Im(log z) ] , [. Verifique que esta funca
o e uma inversa
da restrica
o da exponencial a {z C : Im(z) ] , [}.
O resultado central sobre integraca
o e o teorema de Cauchy que ser
a demonstrado a
` custa de
v
arios lemas que s
ao casos particulares do teorema.
Lema 2.4.3 (Teorema de Cauchy num tri
angulo)
Seja C um aberto, T um tri
angulo fechado com fronteira T descrita por um caminho
z(t) e f : C uma funca
o holomorfa. Ent
ao
I
f dz = 0.
T
Ideia da demonstraca
o. Suponha que o integral n
ao e 0 e designemo-lo por I. A demonstraca
o
baseia-se em localizar um ponto z0 no tri
angulo T em torno do qual existem caminhos (fronteiras
de tri
angulos obtidos por um esquema tipo princpio de encaixe) em torno de z 0 , com di
ametro
a tender para 0, relativamente aos quais o integral e t
ao grande quanto possvel e por outro lado
usar a diferenciabilidade em z0 para mostrar que I e arbitrariamente pequeno.
Considerem-se ent
ao os pontos medios dos lados de T (ver figura 2.1) que unidos por segmentos
de recta dividem T em 4 tri
angulos com interiores disjuntos dois a dois. Para pelo menos um desses
tri
angulos, que passamos a designar por T1 , deveremos ter
I
f dz |I|/4
T1
visto que a soma dos integrais ao longo das fronteiras dos quatro tri
angulos tomados no mesmo
sentido devem igualar o integral sobre T . Tal deve-se aos integrais sobre lados comuns a dois
tri
angulos serem tomados em sentidos opostos e portanto cancelarem-se mutuamente. Note que a
soma dos comprimentos dos lados de T1 e metade da soma dos comprimentos dos lados de T .
Aplicando a T1 o mesmo procedimento que a T pode obter-se um tri
angulo T2 contido em T1
com soma de comprimentos de lados igual 1/4 da de T e com
I
f dz |I|/16.
T2
Existe um e um s
o ponto na intersecca
o de todos estes tri
angulos que designamos por z 0 .
Usando agora a diferenciabilidade de f em z0 , dado > 0 existe r > 0 tal que para |z z0 | < r
f (z) f (z0 )
0
f
(z
)
0 <
z z0
ou de forma equivalente
com a determinaca
o de um potencial de um campo fechado em abertos de R 2 .
13
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
z0
PSfrag replacements
Alem disso existe k tal que Tk Br (z0 ) e, para z Tk , |z z0 | < (Tk ) = 2k (T ) em que
designa comprimento de. Podemos assim estimar
Z
Tk
Z
f (z) dz =
f (z0 ) + f (z0 )(z z0 ) + (f (z) f (z0 ) f (z0 )(z z0 )) dz
0
Tk
(2.7)
(T ) .
e
esse
campo
linear
ser fechado ou seja definido por uma matriz ab b
ou,
em
linguagem
de
fun
c
o
es
de
C
em
C,
a
verificar as condico
es de Cauchy-Riemann.
Lema 2.4.4 (Teorema de Cauchy (exist
encia de primitiva) em conjuntos convexos)
Seja C um convexo aberto e f : C uma funca
o holomorfa. Ent
ao existe
H G:C
holomorfa em e tal que G0 = f . (Consequentemente, de acordo com 2.4.1, obtemos L f (z) dz = 0
para uma qualquer linha fechada L seccionalmente C 1 em .)
10 de Setembro de 2002
14
2.4. INTEGRAC
AO
Ideia da demonstraca
o. Seja w0 . Convencionamos que o segmento de recta unindo w a z e
designado por L(w, z). Constr
oi-se um candidato a primitiva considerando
Z
f (z) dz.
G(z) =
L(w0 ,z)
Considerando o tri
angulo com vertices w0 , z0 , z e usando o lema 2.4.3 verificamos que
Z
G(z) G(z0 ) =
f (z) dz
L(z0 ,z)
o que permite
R
L(z0 ,z) f (z) f (z0 ) dz
ax |f (w) f (z0 )|.
=
m
wL(z0 ,z)
z z0
f (w)
dw = f (z)
wz
1
dw = f (z)2iNL (z).
wz
15
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Exerccio 2.4.4 Seja a C, r > 0, e C(a, r) a circunferencia de raio r centrada em a e percorrida
uma vez no sentido directo, isto e, C(a, r) e definida pelo caminho z(t) = a + re it , t [0, 2]. Seja
z B(a, r). Seja < r |z a| e considere C(z, ) com o significado o
bvio e tres segmentos de
recta unindo C(z, ) a C(a, r) como sugerido na figura 4, por exemplo radiais relativamente a a
nas direcco
es definidas por 1, e2i/3 e e2i/3 .
H
1
dw = 2i.
1. Verifique que C(z,) wz
2. Utilize o teorema de Cauchy e tres linhas fechadas simples definidas pelas fronteiras de cada
umaHdas regi
oes conexas
ficou dividida a coroa entre os dois crculos para mostrar
H em que
1
1
que C(a,r) wz
dw = C(z,) wz
dw = 2i.
w
z
a
PSfrag replacements
k!
2i
+ I
1 X
f (z) =
2i
k=0
f (w)
dz
(w z)k+1
(2.9)
f (w)
dz (z a)k
(w z)k+1
(2.10)
C(a,r)
C(a,r)
16
v
alida se |w a| < |z a|, substitui-se em (2.4.6) e justifica-se a troca da serie com o integral
usando, por exemplo, a vers
ao do teorema da convergencia dominada para series.
Uma propriedade not
avel da serie de Taylor de uma funca
o holomorfa incluida no enunciado
do resultado anterior, e que pode passar despercebida em primeira leitura, e o raio de convergencia
da serie de Taylor centrada num ponto do domnio ser a dist
ancia ao conjunto das singularidades
n
ao removveis da funca
o7 . Isto contrasta com o que e conhecido para funco
es reais de vari
avel
real.
1
Exerccio 2.4.5 Considere R 3 x 7 1+x
encia da serie de Taylor
2 . Obtenha o raio de converg
desta funca
o em 0 usando o lema 2.4.6.
As vers
oes do teorema de Cauchy que obtivemos ate agora, que tem um car
acter algo restritivo
no que diz respeito a
` topologia do domnio de holomorfia ou da linha fechada que consideramos,
implicam regularidade adicional das funco
es holomorfas. Tal permite obter vers
oes mais gerais do
teorema de Cauchy em que levantamos tanto quanto possvel essas restrico
es topol
ogicas a
` custa
de vers
oes j
a conhecidas do teorema de Green em An
alise Real.
Teorema 2.4.7 (Teorema de Cauchy)
Seja C um aberto simplesmente conexo, f : C uma funca
o holomorfa e L uma linha
fechada seccionalmente C 1 em . Ent
ao
I
f (z) dz = 0.
L
2.5
Zeros e singularidades
17
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Defini
c
ao 2.5.1 Dizemos que uma funca
o holomorfa tem uma singularidade num ponto a do fecho
do seu domnio se n
ao existir uma funca
o holomorfa numa vizinhanca de a que na intersecca
o dos
domnios das duas funco
es e de uma vizinhanca de a coincida com a funca
o original.
A definica
o de singularidade permite algumas situaco
es muito pouco interessantes. A definica
o
seguinte encarrega-se de excluir esses casos.
Defini
c
ao 2.5.2 Dizemos que uma singularidade num ponto a do fecho do domnio duma funca
o e
removvel se existir uma funca
o holomorfa numa vizinhanca de a que, na intersecca
o dos domnios
das duas funco
es, s
o difere da funca
o quando muito no ponto a.
Uma classe importante de singularidades e a das singularidades isoladas.
Defini
c
ao 2.5.3 Dizemos que uma funca
o holomorfa tem uma singularidade isolada num ponto
a do fecho do seu domnio se for holomorfa em Br (a) \ {a} para algum r > 0 e ou n
ao estiver
definida em a ou n
ao for diferenci
avel em a. A singularidade isolada e removvel se for possvel
definir ou redefinir f em a de modo a que a nova funca
o seja holomorfa numa vizinhanca de a.
Exerccio 2.5.1 Verifique que os conceitos de singularidade removvel para singularidades isoladas referidos nas definico
es 2.5.2 e 2.5.3 coincidem.
Exerccio 2.5.2 Verifique que z 7 1/ sen(1/z) define uma funca
o com uma singularidade n
ao
isolada e n
ao removvel na origem.
Exerccio 2.5.3 Verifique que z 7 (ez 1)/z tem uma singularidade isolada removvel na origem.
Nesta secca
o estamos essencialmente interessados nas propriedades dos zeros e singularidades
isoladas das funco
es holomorfas.
Proposi
c
ao 2.5.1
Seja C um aberto conexo, f : C uma funca
o holomorfa. Ent
ao ou f 0 ou todos os
zeros de f s
ao pontos isolados.
Ideia da demonstraca
o. Seja Z o conjunto dos zeros de f em . Seja z Z
. Existe r > 0
P+
tal que f e represent
avel por uma serie de potencias em Br (z), isto e f (w) = k=0 ck (w z)k em
Br (z). Se todos os coeficientes fossem nulos z int Z, o que contradiria z Z. Portanto existir
a
um k N mnimo tal que ck 6= 0. Designemo-lo por k0 . Ent
ao, em Br (z),
f (w) = (w z)k0
+
X
k=k0
ck (w z)kk0 .
P+
kk0
A continuidade da funca
o w 7
garante que z e um ponto isolado de Z.
k=k0 ck (w z)
Assim o fecho do interior de Z tem que coincidir com o interior de Z. Como e conexo isto s
o
pode ocorrer se int Z = (todos os zeros s
ao pontos isolados) ou se int Z = (f 0).
Corol
ario 2.5.2
Suponha-se que duas funco
es holomorfas num aberto conexo coincidem num subconjunto de
que tem um ponto de acumulaca
o em . Ent
ao as duas funco
es s
ao iguais em .
Ideia da demonstraca
o. Aplique-se o resultado anterior a
` diferenca das duas funco
es.
18
k=2
em que us
amos na segunda igualdade g(z) = g (z) = 0 para garantir c0 = c1 = 0. Mas ent
ao
temos, para w 6= z,
+
X
g(w)
f (w) =
=
ck (w z)k2
(w z)2
k=2
1
.
f (z) w
1
+ w,
g(z)
1
1
1
+w =
+ w,
g(z)
(z a)m g1 (z)
e portanto a e um p
olo de ordem m de f verificando-se (ii).
19
CAPITULO 2. ANALISE
COMPLEXA
No caso (iii) dizemos que f tem uma singularidade essencial em a.
Exerccio 2.5.4 Classifique a singularidade em 0 das funco
es definidas por:
1.
sen z
z .
2.
sen z
z2 .
3. sen
4.
1
z
1
sen z .
2.6
Defini
c
ao 2.6.1 Dizemos que uma funca
o complexa de vari
avel complexa e meromorfa num
aberto C se existir A tal que f e holomorfa em \ A, cada ponto de A e um p
olo
de f e A n
ao tem pontos de acumulaca
o em .
Para cada a A na definica
o anterior podemos escrever, com k N a ordem do p
olo e para z
numa vizinhanca suficientemente pequena de a,
f (z) =
+
X
l=k
cl (z a)l =
1
X
l=k
cl (z a)l +
+
X
l=0
cl (z a)l .
`
Note-se que no u
ltimo membro desta igualdade a segunda parcela e uma funca
o holomorfa. A
primeira parcela do u
ltimo membro chamaremos parte principal de f em a. Ao coeficiente c 1
chamaremos resduo de f em a, abreviadamente Resf (a) ou Res(f ; a). Convencionamos tambem
dizer que o resduo e 0 em singularidades removveis e pontos onde a funca
o e diferenci
avel.
A seguinte vers
ao do teorema dos resduos para funco
es meromorfas ser
a suficiente para a
maioria das aplicaco
es que temos em mente. Mais a
` frente estende-lo-emos a situaco
es em que
algumas das singularidades s
ao essenciais e apresentaremos uma vers
ao envolvendo a noca
o de
n
umero de rotaca
o.
Teorema 2.6.1 (Teorema dos resduos para fun
co
es meromorfas)
Seja C um aberto, f uma funca
o meromorfa em , A o conjunto dos p
olos de f , L uma linha
fechada seccionalmente C 1 em \ A limitando uma regi
ao contida8 em e designemos por AL o
conjunto dos p
olos de f na regi
ao limitada por L. Suponha-se que, para um p
olo a A L de f , L e
homot
opica em \ {a} a uma circunferencia C descrita por z(t) = a + e it em que < dist(a, ).
Ent
ao
Z
X
f (z) dz = 2i
Resf (a).
L
aAL
Ideia da demonstraca
o. O n
umero de p
olos na regi
ao limitada por L tem que ser finito (porqu
Ppe?).
Designemos esses p
olos por a1 , a2 , . . . , ap . Seja Pk a parte principal de f em ak . Ent
ao f 1 Pk
e uma funca
o holomorfa numa vizinhanca da regi
ao limitada por L. Ent
ao o teorema de Cauchy
garante que
I
I X
p
p
X
Resf (ak ).
Pk (z) dz = 2i
f (z) dz =
L
L k=1
k=1
que ser
a automaticamente satisfeito se f
or simplesmente conexo.
10 de Setembro de 2002
20
2.7. APLICAC
OES
AO CALCULO
DE CERTOS INTEGRAIS DE FUNC
OES
REAIS DE
VARIAVEL
REAL
Note que esta vers
ao do teorema dos resduos contem como casos particulares o teorema de Cauchy
e a f
ormula integral de Cauchy. A import
ancia e popularidade do teorema dos resduos como
ferrramenta de An
alise Complexa resulta em grande medida da conex
ao que estabelece entre a
representaca
o de funco
es via series e integrais.
Para vermos algumas aplicaco
es b
asicas do teorema dos resduos convem fazermos algumas
observaco
es simples sobre como calcular resduos. Por exemplo se a e um p
olo de primeira ordem
de uma funca
o meromorfa f ent
ao
lim (z a)f (z) = lim (z a)
za
za
+
X
k=1
ck (z a)k = lim
za
+
X
k=1
De forma an
aloga se a e um p
olo de segunda ordem
lim
za
d
(z a)2 f (z) = Resf (a).
dz
1
duo de f na origem usamos
Exemplo 2.6.1 Considere f (z) = z9 (1z
4 ) . Para determinar o res
o desenvolvimento da serie geometrica para obter
f (z) =
+
1 X 4k
z = z 9 + z 5 + z 1 + . . .
z9
k=0
2.7
Aplicaco
es ao c
alculo de certos integrais de funco
es reais
de vari
avel real
Entre as aplicaco
es do teorema dos resduos ou do teorema de Cauchy contam-se o c
alculo de certos
integrais ou valores principais de funco
es reais de vari
avel real a
` custa do c
alculo de integrais ao
longo de certas famlias de caminhos fechados em C para os quais o teorema dos resduos fornece
facilmente um valor. Usualmente os caminhos fechados s
ao decompostos em dois ou mais caminhos
e o resultado obtem-se por passagem ao limite relativamente a um ou mais par
ametros. H
a diversas
variantes deste raciocnio. Ilustram-se dois casos relativamente tpicos a seguir.
Exerccio 2.7.1 Seja > 0. Considere as linhas fechadas que se obtem percorrendo o segmento
de recta unindo i a i e uma das semi-circunferencias centradas em 0 e raio contidas em
cada um dos semiplanos Re(z) 0 e Re(z) 0. Designe essas linhas, percorridas uma vez no
sentido directo, por C+ e C . Para > 1 calcule
I
I
ez
ez
dz
e
dz
2
2
2
2
C (z 1)
C+ (z 1)
e utilize um desses c
alculos para obter o valor de
Z +
cos y
dy.
2 + 1)2
(y
21
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Exemplo 2.7.1 Para certas funco
es n
ao integr
aveis em R e no entanto interessante considerar
o chamado valor principal9 (v. p.) do integral de acordo com
Z +
Z k
v. p.
f (x) dx lim
f (x) dx.
k
a
` custa de integrais
Z
eiz
dz
LR z
em que LR e a linha esbocada na figura 2.3 obtida concatenando duas semi-circunferencias e dois
segmentos de recta10 . O teorema dos resduos ou o teorema de Cauchy garantem que
Im
PSfrag replacements
1/R
1/R
Re
LR
eiz
dz = 0
z
pois a u
nica singularidade da funca
o integranda est
a na origem. Designemos a semi-circunferencia
de raio R por CR percorrida no sentido indicado. Parametrizemo-la por z(t) = Re it , t [0, ].
Ent
ao
Z
Z iReit
Z
e
eiz
it
dz =
Rie
dt
=
eR sen t+iR cos t i dt.
it
z
Re
CR
0
0
Como |eR sen t+iR cos t i| = eR sen t e a u
ltima express
ao tende para 0 para t ]0, [, o teorema da
convergencia dominada garante que
Z
eiz
lim
dz = 0.
R + C
z
R
9 Este
10 Este
10 de Setembro de 2002
22
2.7. APLICAC
OES
AO CALCULO
DE CERTOS INTEGRAIS DE FUNC
OES
REAIS DE
VARIAVEL
REAL
Procedendo de forma an
aloga com a semi-circunferencia de raio 1/R percorrida no sentido indicado
obtemos
Z
Z ieit /R
Z
eiz
e
it
dz =
ie
/R
dt
=
sen x
. Assim, usando a deFinalmente notamos que restringindo ez ao eixo real obtemos cos x+i
x
composica
o de LR em segmentos de recta e semi-circunferencias
1/R
Z R
cos x + i sen x
cos x + i sen x
dx +
dx =
R R
x
x
1/R
Z
Z
Z
eiz
eiz
eiz
dz
dz
dz = i.
= lim
R L
z
CR z
C1/R z
R
lim
Deixa-se ao cuidado do leitor verificar que o lado esquerdo desta igualdade iguala o valor principal
multiplicado por i.
Exemplo 2.7.2 Um outro exemplo de valor principal ocorre ao inverter a transformada de Laplace11 . Pode-se mostrar que, sob certas condico
es, a invers
ao duma transformada de Laplace F
pode ser calculada a
` custa de
Z +
1
v. p.
e(a+iv)t F (a + iv) dv
(2.12)
2
e(a+iv)t F (a + iv) dv = 2
k
X
Res(et F (); zl ).
(2.13)
l=1
R
Isto ser
a feito a
` custa de considerar integrais LT AT ezt F (z) dz em que LT AT designa a linha
fechada formada
por concatenaca
o do segmento unindo aiT a a+iT e pelo arco de circunferencia
ezt F (z) dz = 2i
LT AT
ezt F (z) dz =
LT AT
k
X
Res(et F (); zl ).
(2.14)
l=1
ezt F (z) dz +
LT
(2.15)
AT
ezt F (z) dz =
LT
e(a+iv)t F (a + iv)i dv
12 Usamos
23
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Im
iT
AT
z1
LT
PSfrag replacements
Re
z2
iT
2
a2 +T 2 ei
F(
a2 + T 2 ei )
a2 + T 2 iei d.
(2.16)
em que = 2 arcsen a2a+T 2 . O nosso objectivo ser
a atingido se mostrarmos que o integral
(2.16) tende para 0 quando T +. Isto s
o ser
a realiz
avel se de alguma forma controlarmos o
crescimento de F para . Uma hip
otese razo
avel para muitas situaco
es de interesse e supor que
existem M, R, c > 0 tais que para Re(z) a e |z| > R temos
|F (z)|
M
.
|z|c
(2.17)
Adoptando ent
ao (2.17) comecamos a estimar o integral (2.16). Como primeiro passo estimamos
a funca
o integranda
|e
a2 +T 2 ei
F ( a2 +
T 2 ei )
2
2
p
e a +T cos
a2 + T 2 iei |
.
( a2 + T 2 )c1
Alem disso decompomos o integral em integrais nos intervalos [, /2], [/2, 3/2] e [3/2, 2 ].
A an
alise do limite quando se integra entre /2 e 3/2 ser
a deixada para exerccio e o que se passa
em [3/2, 2 ] e an
alogo ao que se passa em [, /2]. Assim limitamo-nos a estimar
Z
/2
a2 +T 2 cos
a2 + T 2
10 de Setembro de 2002
c1
2 2
p
1c
p
1c
a2 + T 2
a2 + T 2
e a +T cos
ea
=
.
2
2
24
2.8. SERIES
DE LAURENT
Como sen(/2 ) =
C > 0 conveniente,
Z
/2
a
a2 +T 2
a2 +T 2 cos
a2 + T 2
c1
sen u
u
Caea
0
d
( a 2 + T 2 )c
quando T +.
2.8
S
eries de Laurent
Esta secca
o apresenta extens
oes de alguns resultados j
a obtidos, nomeadamente do teorema dos
resduos. A observaca
o essencial e a possibilidade de usar series de potencias para representar
funco
es holomorfas em coroas circulares {z C : 0 r < |z a| < R}. Note que tal inclui tais
representaco
es numa vizinhanca de uma singularidade essencial e que as aspas em torno de serie
de potencias est
ao l
a para realcar o car
acter diferente dessas series em que se admitem potencias
inteiras quaisquer o que obriga a considerar dois processos de passagem ao limite.
Defini
c
ao 2.8.1 O smbolo
+
X
ck
(2.18)
k=
ck +
+
X
ck .
(2.19)
k=0
+
X
k=
ck (z a) ,
1
com ck =
2i
Bs (a)
f (w)
dw em que r < s < R.
(w a)k+1
O integral na express
ao de ck e calculado percorrendo a fronteira da bola Bs (a) uma vez no sentido
directo, isto e, usando, por exemplo, z(t) = a + seit , t [, ].
Ideia da demonstraca
o. Seja ent
ao z Cr,R . Se considerarmos o caminho sugerido14 na figura
2.5 e aplicarmos o teorema dos resduos ou a f
ormula integral de Cauchy obtemos, para r < s <
|z a| < S < R,
I
I
f (w)
f (w)
2if (z) =
dw
dw
w
z
w
z
CS
Cs
supondo na f
ormula anterior que CS e Cs s
ao percorridos uma vez no sentido directo.
13 Ao leitor que em primeira leitura duvidar da necessidade desta defini
ca
o aconselha-se a reflectir no caso c k = 1
para k 0 e ck = 1 para k < 0.
14 Os dois segmentos de recta est
ao sobrepostos, cada uma das circunferencias e percorrida uma vez, z est
a no
interior da regi
ao limitada por aquelas linhas,. . .
25
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
CS
w
Cs
z
a
PSfrag replacements
Seguindo a demonstraca
o do lema 2.4.6 usamos (2.11) no integral relativo a CS e a identidade
similar
k
+
1
1 X za
1
1
1
,
=
=
=
za
zw
(z a) (w a)
w a 1 wa
wa
wa
k=0
v
alida para |w a| < |z a| no integral relativo a Cs , para obter
I
I
X
X
(w a)k
(z a)k
f (w)
2if (z) =
f
(w)
dw
+
dw.
(z a)k+1
(w a)k+1
CS
Cs
k=0
k=0
15 Algo
aAL
que ser
a automaticamente satisfeito se f
or simplesmente conexo.
10 de Setembro de 2002
26
(j+1)!
2.9
Exerccios suplementares
ez
.
1 + e2z
(z 1)
dz
ez
dz
(z i) sen z
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
Exerccio 2.9.4 Considere a funca
o complexa de vari
avel complexa f definida por
f (z) =
eiz
.
z4 + 1
Aplique o teorema dos resduos a f numa famlia de linhas de Jordan em C conveniente para
calcular
Z +
cos x
dx
4
x + 1
2.10
Sugest
oes para os exerccios
2.2.2
1. A parte real e a parte imagin
aria s
ao funco
es C 1 no seu domnio. Alem disso
1
x
y
log(x2 + y 2 ) = 2
=
arctg
2
x 2
x +y
y
x
e
1
log(x2 + y 2 )
2
x2
y
y
arctg
.
=
2
+y
x
x
2. f n
ao satisfaz as equaco
es de Cauchy-Riemann.
3. Se designarmos por u a parte real da funca
o e v o coeficiente da parte imagin
aria temos
y
u
x
z
z
1
+
i
=
+
i
=
=
=
.
f 0 (x + iy) = u
x
y
x2 +y 2
x2 +y 2
|z|2
zz
z
p
4. Temos, para x > 0, ef (z) = x2 + y 2 (cos(arctg(y/x) + i sen(arctg(y/x)) = x + iy.
5. O contradomnio estar
a com certeza contido em A {(u + iv) : u R, v ] 2 , 2 [}. Para
ver que o contradomnio e A verifica-se que f (eu+iv ) = u + iv com u + iv A.
J
2.2.9 As equaco
es de Cauchy-Riemann para uma tal funca
o f reduzem-se ao sistema
(
2x0 (x2 y 2 ) = x 0 (xy),
2y0 (x2 y 2 ) = y 0 (xy).
Considerando pontos sobre a recta definida por y = x as equaco
es conduzem a 2 0 (0) = 0 (x2 )
se x 6= 0. Como x na igualdade anterior x e um qualquer n
umero n
ao nulo concluimos que a
derivada de tem que ser constante (e igual a 20 (0)) quando o seu argumento e positivo. De
forma an
aloga considerando y = x chega-se a
` conclus
ao que a derivada de tem de ser constante
quando o seu argumento e negativo. Uma tal funca
o tem de ter derivada constante por toda a
parte (caso contr
ario n
ao e diferenci
avel na origem). O mesmo argumento usando as rectas y = 0
e x = 0 conduz a
` conclus
ao que a derivada de e constante.
Assim e correspondem a produtos por n
umeros reais. Designemo-los por e respectivamente. As condico
es de Cauchy-Riemann reduzem-se agora a
(
2x = x,
2y = y.
pelo que devemos ter = 2. Assim f (z) = (x2 y 2 ) + i2xy = z 2 com z = x + iy.
28
2.10. SUGESTOES
PARA OS EXERCICIOS
p
p
p
Im(z)
C+
Re(z)
PSfrag replacements
29
10 de Setembro de 2002
CAPITULO 2. ANALISE
COMPLEXA
obtemos
I
C+
ez
ez
d
= 0,
dz
=
2i
2
2
2
(z 1)
dz (z + 1)
z=1
ez
ez
d
= i.
dz
=
2i
(z 2 1)2
dz (z 1)2
z=1
1
i
Z
1
ez
cos y
dy
=
lim
dz
2
2
2
i + L (z 1)2
(y + 1)
!
Z
ez
i lim
dz =
+ S (z 2 1)2
cos y
dy = lim
2
+
(y + 1)2
z j h(z) dz =
+
X
ck z j+k dz =
k=
k=
(j+1)! ,
ou seja
h(z) = 1 +
+ I
X
ck z j+k dz = 2ic1j .
se j < 1
se j 1
1
1
1
+
+
+ = e1/z .
z 2z 2
3!z 3
Esta funca
o de facto satisfaz todas as propriedades desejadas17 .
16 O racioc
nio an
alogo n
ao pode ser efectuado com C+ devido a
` exponencial n
ao ser limitada no semiplano
direito.
17 A priori n
ao poderamos afirmar que a serie de Laurent que obtemos formalmente fosse v
alida em C \ {0}.
10 de Setembro de 2002
30
BIBLIOGRAFIA
Bibliografia
[1] L. Ahlfors. Complex Analysis. McGraw-Hill, 1978.
[2] T. M. Apostol. Mathematical Analysis. Addison-Wesley, Reading, Massachusetts, 2 a edica
o,
1978.
[3] J. Campos Ferreira. Introduca
o a
` An
alise Matem
atica. Fundaca
o Calouste Gulbenkian, 4 a
edica
o, 1991.
[4] W. Rudin. Real and Complex Analysis. MacGraw Hill, New York, 1974.
31
10 de Setembro de 2002
Indice remissivo
condico
es de Cauchy-Riemann, 8
conjugado de um complexo, 7
criterio
de Dirichlet, 10
f
ormula integral de Cauchy, 15
funca
o
coseno (cos), 9
coseno hiperb
olico (ch), 9
exponencial (exp ou e ), 9
holomorfa, 9
inteira, 9
meromorfa, 20
parte principal, 20
seno (sen), 9
seno hiperb
olico (sh), 9
teorema
de Cauchy, 13
de Morera, 17
dos resduos, 20
transformada
de Laplace, 23
valor principal, 22
zero de uma funca
o holomorfa, 17
linha
fechada simples, 12
m
odulo de um complexo, 7
n
umero de rotaca
o, 12
ordem
de um p
olo, 19
p
olo, 19
produto de complexos, 7
raio de convergencia, 10
resduo, 20
serie
absolutamente convergente, 10
de Laurent, 25
de Taylor, 16
dupla, 25
singularidade, 17
essencial, 20
isolada, 17, 18
n
ao removvel, 17
removvel, 17, 18
10 de Setembro de 2002
32