Escolar Documentos
Profissional Documentos
Cultura Documentos
Indice
1 An
alise Complexa
1.1 Notas Historicas Sobre N
umeros Complexos . . . . . . . . . . .
1.2 N
umeros Complexos . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Estrutura Algebrica . . . . . . . . . . . . . . . . . . . .
1.2.2 Inexistencia de relac
ao de ordem total em C . . . . . . .
1.2.3 Potencias de Expoente Inteiro e Polin
omios Complexos .
1.2.4 Estrutura Geometrica, Representacao Polar e F
ormula de
1.2.5 Razes Indice n de um N
umero Complexo . . . . . . . .
1.3 Sucessoes e Series de N
umeros Complexos . . . . . . . . . . . .
1.3.1 Sucessoes de N
umeros Complexos . . . . . . . . . . . .
1.3.2 Series Numericas (Reais ou Complexas) . . . . . . . . .
1.3.3 Serie Geometrica . . . . . . . . . . . . . . . . . . . . .
1.3.4 Resultados Gerais de Convergencia de Series Complexas
1.3.5 Serie Harmonica . . . . . . . . . . . . . . . . . . . . . .
1.3.6 Series de Mengoli . . . . . . . . . . . . . . . . . . . . .
1.3.7 Convergencia Absoluta . . . . . . . . . . . . . . . . . .
1.3.8 Series Reais de Termos Nao Negativos . . . . . . . . . .
1.3.9 Series de Dirichlet . . . . . . . . . . . . . . . . . . . . .
1.3.10 Series Alternadas . . . . . . . . . . . . . . . . . . . . .
1.3.11 Series de Potencias . . . . . . . . . . . . . . . . . . . .
1.4 Func
oes Complexas de Vari
avel Complexa . . . . . . . . . . . .
1.4.1 Definic
ao e Notac
ao . . . . . . . . . . . . . . . . . . . .
1.4.2 Func
oes Elementares . . . . . . . . . . . . . . . . . . .
1.4.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.4 Continuidade: . . . . . . . . . . . . . . . . . . . . . . .
1.4.5 Derivada Complexa . . . . . . . . . . . . . . . . . . . .
1.4.6 Equac
oes de Cauchy-Riemann . . . . . . . . . . . . . .
1.4.7 Teorema de Cauchy-Riemann . . . . . . . . . . . . . . .
1.4.8 Demonstrac
ao do Teorema de Cauchy-Riemann . . . . .
1.4.9 Propriedades das Funcoes Analticas . . . . . . . . . . .
1.4.10 Condic
oes de Cauchy-Riemann em Coordenadas Polares
1.4.11 Noc
oes B
asicas da Topologia em C . . . . . . . . . . .
1.4.12 Func
oes harmonicas em R2 . . . . . . . . . . . . . . . .
1.5 Integrac
ao em C . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1 Curvas em C . . . . . . . . . . . . . . . . . . . . . . .
1.5.2 Integral complexo . . . . . . . . . . . . . . . . . . . . .
3
. . .
. . .
. . .
. . .
. . .
Euler
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
12
12
14
15
16
19
21
21
23
24
25
26
26
26
26
31
32
33
36
36
37
42
44
45
48
51
52
55
57
59
60
61
61
62
1.6
1.7
1.5.3
Series
1.6.1
Series
1.7.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
78
78
79
79
Captulo 1
An
alise Complexa
1.1
Notas Hist
oricas Sobre N
umeros Complexos
A introduc
ao do conceito de n
umero complexo esta relacionada com as tentativas de resolucao
de equacoes algebricas, que tiveram lugar durante a Idade Media.
Esta secc
ao e de leitura facultativa.
CAPITULO 1. ANALISE
COMPLEXA
Africa,
pelos mouros, e mais tarde viajou extensivamente por todo o Mediterraneo, tendo tido
a oportunidade de conhecer muitos mercadores e aprender o sistema de numeracao arabe, bem
como a algebra. Tornara-se ent
ao
obvio o facto de a aritmetica e a algebra elementar serem
bastante relevantes para a contabilidade e as financas.
Nos tres seculos seguintes, o trabalho de Fibonnaci dominou quer os aspectos teoricos da
algebra quer as tecnicas de resoluc
ao de problemas praticos. Com a ascencao da classe mercantil
em Italia, particularmente acentuada nos seculos XIV e XV, o ambiente matematico foi bastante
influenciado pela expans
ao do neg
ocio dos maestri dabbaco. Esta maior enfase comercial gerou
grande procura por livros de matem
atica simplificados, escritos em linguagem comum e muito
diferentes dos longos tratados em latim com demonstracoes geometricas, que os precederam.
No final do seculo XV, os maestri dabbaco haviam acrescentado muito pouco aos resultados
conhecidos no seculo XII. Mas a atmosfera cultural mais exigente do Renascimento fez os textos
regressar paulatinamente `
a tradic
ao teorica, representada pelos Elementos de Euclides e pelo
Libber Abbaci de Fibbonaci.
Merece especial destaque o livro Summa de arithmetica, geometria, proportioni e proportionalit`a, de Luca Pacioli (1445-1517) que, por ser o primeiro texto impresso (e nao manuscrito, como
anteriormente) de matem
atica, teve larga difusao e tornou-se popular por condensar num volume
toda a matem
atica conhecida ate ent
ao. Se e certo que o conte
udo matematico da Summa acrescentava pouco ao que j
a se conhecia, a sua apresentacao diferia, de forma substancial, da das
suas fontes. Como vimos, as obras dos seculos XIII e XIV tinham um estilo puramente retorico,
com todo o conte
udo (excepto os n
umeros) descrito em linguagem verbal. Porem, a Summa
de Paccioli apresenta pela primeira vez os calculos algebricos em forma abreviada, utilizando os
percursores das modernas formulas matematicas.
Com isto, a
algebra inicia nova evolucao. As equacoes do terceiro grau tornam-se alvo de
grande interesse, particularmente porque o maior rigor permitiu descobrir varios erros de que
padeciam os trabalhos dos maestri dabbaco, e que foram transmitidos acriticamente de geracao
em geracao.
Como sabemos, da equac
ao generica do 3o grau,
x3 + ax2 + bx + c = 0,
pode-se ser facilmente obter a equac
ao c
ubica reduzida,
y 3 + py + q = 0,
atraves da mudanca de vari
avel y = x + a3 . Scipione del Ferro conseguiu, provavelmente em 1504,
resolver um dos casos irredutveis de coeficientes positivos,
(a) x3 + px = q.
Admitindo apenas p, q > 0, os outros dois casos possveis da equacao reduzida (aparentemente
nao resolvidos por del Ferro) s
ao:
(b) x3 = px + q,
(c) x3 + q = px.
A data exacta da descoberta n
ao se conhece, por causas que em seguida se explicam.
Naquela epoca, em It
alia, o mundo dos matematicos era extremamente competitivo. Os
estudantes pagavam directamente ao professor cada disciplina que frequentavam. Assim, caso
6
obtem-se o sistema:
u3 + v 3 = q
e u3 v 3 =
p 3
3
3
r
q 2 p 3
.
w=
2
3
O denominado casus irreducibilis ocorre quando a valor sob o smbolo da raiz quadrada, em w, e
negativo.
Cardano soube do feito de Tartaglia e pediu-lhe para partilhar a sua descoberta, por forma a
que a mesma pudesse ser publicada, com o devido reconhecimento de autoria, no livro que estava
a escrever. Tartaglia, incialmente relutante em aceitar o pedido de Cardano, ante a insistencia
acabou por lhe comunicar a descoberta, no ano de 1539. Em 1545, Cardano publicou finalmente o
seu tratado, intitulado Ars Magna. Com a meticulosidade que evidencia em quest
oes matematicas,
2
A equac
ao original s
o tem uma inc
ognita, portanto podemos adicionar esta relac
ao entre as vari
aveis u e v,
que apenas fixa uma delas como func
ao da outra.
CAPITULO 1. ANALISE
COMPLEXA
Cardano indicou del Ferro como primeiro autor e Tartaglia como tendo descoberto o resultado
independentemente, o que deu origem a uma das mais intensas controversias sobre a prioridade
de uma descoberta.
Em Ars Magna (1545), Cardano apresenta as solucoes de del Ferro e Tartaglia dos varios
casos de equac
oes do 3o grau com coeficientes positivos. Isto torna-se possvel, em parte, `
a
custa do estabelecimento de identidades algebricas. Porem, permaneciam os metodos de prova de
Euclides. Ora, as considerac
oes geometricas necessarias para obter as demonstracoes criavam um
problema: que significado se devia dar a um n
umero negativo? O que significava um segmento
de comprimento negativo, um quadrado de area negativa, ou um cubo de volume negativo?
O que significava a diferenca a b, quando a < b? Ora Euclides, os arabes, Fibonacci, os
maestri dabaco, Pacioli, e Cardano contornaram sempre o problema da mesma forma: para
nao admitirem coeficientes negativos consideraram varios casos para uma mesma equacao (da
forma que vimos); pois s
o assim lhes era possvel interpretar as equacoes do segundo grau como
problemas geometricos envolvendo comprimentos de segmentos e areas de polgonos.
Alem disso, os n
umeros negativos introduziam uma enorme dificuldade quando apareciam
sob o smbolo de raiz quadrada. Cardano estava ciente do problema e evitou discutir o casus
irreducibilis em Ars Magna. Para uma equacao do 2o grau, ele explica assim a dificuldade 3 : se
ax = x2 + b ent
ao:
r
a 2
a
b.
(1.1)
x=
2
2
2
[...] Se nao se pode subtrair b de a2 [no caso em que (a/2)2 b < 0] entao o problema e
um falso problema, e a soluc
ao que foi proposta nao se verifica. Esta impossibilidade apenas
significava que a interpretac
ao geometrica da epoca (requerida pelos
metodos de prova disponveis)
invalidava, `
a partida, os casos que poderiam levar `a introducao de 1.
No entanto, no captulo 37 de Ars Magna, Cardano enuncia o problema
x + y = 10
(1.2)
xy = 40
afirmando depois:
evidente que este caso e impossvel. No entanto, procederemos como se segue: dividimos
E
10 em duas partes iguais, cada uma igual a 5. Estas elevamos ao quadrado, o que d
a
25. Subtraia 40 do 25 anteriormente obtido, como eu mostrei no captulo sobre operacoes
[aritmeticas] no livro VI, de onde resulta -15, a raizquadrada doqual adicionada ou subtraida
de 5 d
a as soluc
oes do problema. Estas sao 5 + 15 e 5 15.
Como o problema (1.2) e equivalente a` equacao quadratica x2 + 40 = 10x, ele resolveu-o com a
formula (1.1), o que pode hoje ser considerado como obvio mas decerto nao o era na epoca. De
facto, o uso de propriedades algebricas como meio de demonstracao estava ainda na sua infancia.
2 40 = 15, ele comentou que como tal resultado
Quando calculou (10/2)
e negativo, o leitor
tera que imaginar 15 e concluiu admitindo que isto e verdadeiramente sofisticado, pois com
isto pode-se fazer as operac
oes que nao se pode fazer no caso de um n
umero negativo e de
outros [n
umeros]. Assim, a rejeic
ao das limitacoes da interpretacao geometrica vigente produzia
uma nova entidade algebrica cujas propriedades eram bem distintas de tudo o que ate entao era
conhecido, uma entidade cuja interpretacao geometrica escapava ao conhecimento da epoca. Por
3
traduzimos as f
ormulas em notac
ao moderna
(1.3)
ou seja, um quadrado, e
(2x + 1)2 (4x + 1) = 4x2 ,
tambem um quadrado, e j
a agora
(4x + 1)2 (4x + 1) = 16x2 ,
igualmente um quadrado. O facto de este problema ter uma infinidade de solucoes permitiu a
Diofanto enunciar uma propriedade generica que os n
umeros em questao satisfazem. Em notacao
moderna, a propriedade escreve-se:
Para qualquer x, (x + 1)2 (2x + 1) = x2
A sua tecnica de demonstrac
ao usa os metodos algebricos, tpicos da analise matematica moderna;
alem disso, Diofanto n
ao procurou posteriormente qualquer demonstracao geometrica da validade
do resultado, como era norma.
Durante a segunda metade da decada de 1560, Antonio Maria Pazzi descobriu uma copia
manuscrita da Aritmetica de Diofanto na Biblioteca do Vaticano e mostrou-a a Rafael Bombelli.
Convencidos dos seus meritos, os dois homens iniciaram a traducao da obra, tendo completado
o trabalho em cinco dos volumes que a constituem. Esta descoberta provocou uma mudanca
significativa no ambiente matem
atico. Numa altura em que a vantagem dos metodos geometricos
na solucao de quest
oes algebricas tinha sido enfraquecida pelas descobertas das solucoes das
equacoes do quarto grau e dos n
umeros negativos e complexos como solucoes dessas equacoes,
a abordagem n
ao geometrica de Diofanto encontrou finalmente um ambiente favoravel `a sua
difusao. Em 1572, quando Bombelli publica uma nova e mais completa edicao o seu longo
tratado LAlgebra parte maggiore dellArithmetica divisa in tre libri, os termos de inspiracao arabe
cosa (para incognita) e census (para o seu quadrado) sao substitudos pelas traducoes tanto e
potenza da terminologia diofantina usada para representar n
umero (arithmos, em grego) e potencia
(dynamis, em grego). Alem disso, Bombelli removeu quase todos os problemas praticos originarios
9
CAPITULO 1. ANALISE
COMPLEXA
dos maestri dabbaco, substituindo-os pelos problemas abstractos de Diofanto. Na sua introducao
ao tomo III, ele anunciou que havia quebrado com o costume usual de enunciar problemas ...
sob o desfarce de acc
oes humanas (compras, vendas, trocas directas, cambios, juros, desfalques,
emissao de moeda, ligas, pesos, sociedades, lucro e prejuzo, jogos e outras in
umeras transaccoes
e operacoes baseadas na vida di
aria). Ele pretendia ensinar a aritmetica [algebra] avancada,
`a maneira dos antigos. A variac
ao introduzida pela algebra de Bombelli, o seu tratamento de
problemas cuja soluc
ao era impossvel pelos metodos geometricos constituia, ao mesmo tempo, o
reconhecimento de que a soluc
ao dos problemas algebricos n
ao requeria justificacao geometrica.
Assim, em lAlgebra Bombelli segue
Cardano
mas
oferece
uma discussao completa do casus
3
3
x = 2 + 121 + 2 121
Definindo
q
3
q
3
2+
121 = a + b 1
121 = a b 1,
e elevando ao cubo ambos os membros das igualdades acima, ele conclui facilmente que a = 2 e
b = 1, pelo que a soluc
ao
x = 2 + 1 + 2 1 = 4,
apesar de ser real e positiva, s
o p
ode ser obtida por intermedio de n
umeros complexos.
Rene Descartes (1596-1650), que foi essencialmente um fil
osofo, produziu tambem importante
obra cientfica. Instado pelos seus amigos a comunicar as suas ideias filos
oficas, publicou em 1537
o Discours de la method pour bien conduire sa raison et chercheur la verite dans les sciences.
Esta obra tem tres apendices cientficos: La Dioptrique, Les Meteores e La Geometrie.
Em La Geometrie, Descartes introduz ideias que estao na base da moderna geometria analtica.
Porem e infelizmente para a an
alise complexa o fil
osofo considerava os n
umeros complexos
como uma impossibilidade geometrica. Por exemplo, no metodo que usou para resolver a equacao
x2 = ax b2 , com a e b2 positivos, Descartes introduz a palavra imaginario: Para qualquer
equacao podemos imaginar tantas raizes [quanto o seu grau determina], mas em muitos casos
nao existe a quantidade que correponde `a que imaginamos.
John Wallis (1616-1703), na sua Algebra, fez notar que os n
umeros negativos `a existencia
dos quais se havia tambem colocado objeccoes filos
oficas durante varios seculos tem uma
interpretac
ao fsica perfeitamente razoavel, cuja base era uma recta com uma marca designando
o ponto zero e os n
umeros positivos sendo aqueles que estao a uma correspondente distancia
do zero para a direita, enquanto os negativos estao a uma distancia correspondente (em valor
absoluto) para a esquerda. Assim surgiu o conceito moderno de recta real.
Abraham de Moivre (1667-1754) nasceu em Franca mas refugiou-se em Londres, aos dezoito
anos de idade, segundo se cre por motivos religiosos. Em 1698, mencionou que Newton descobrira,
em 1676, um caso particular da formula que, em notacao moderna, se escreve:
n
cos + i sen = cos(n) + i sen(n).
10
CAPITULO 1. ANALISE
COMPLEXA
sao a mecanica hamiltoniana e os quaterni
oes, publicou em 1831 um importante trabalho onde os
(mais tarde designados por) n
umeros complexos sao definidos como pares ordenados de n
umeros
reais, (a, b). A sua soma foi definida por (a, b) + (c, b) = (a + b, c + d) e o seu produto por
(a, b) (c, d) = (ac bd, bc + ad). Isto constitui, com efeito, a definicao algebrica moderna dos
n
umeros complexos. Finalmente, em 1831, Gauss decide-se a publicar um artigo onde introduz a
designacao n
umero complexo, Gauss sumariza assim as dificuldades enfrentadas:
Se este assunto tem ate agora sido tratado de um ponto de vista errado, e logo
envolto em misterio e obscurecido, e em grande medidao uso de uma terminologia
desadequada que deve ser culpado. Tivessem +1, 1 e 1, em vez de sido chamados de unidade positiva, negativa e imaginaria (ou, pior ainda, impossvel), recebido
os nomes, por exemplo, de unidade directa, inversa e lateral, entao dificilmente teria
existido qualquer contexto para tal obscuridade.
1.2
1.2.1
N
umeros Complexos
Estrutura Alg
ebrica
i2 = 1
(Re z = Re z e Im z = Im z)
obvio que
E
z = z
z C
Igualdade de complexos:
Se z = x + iy, w = a + ib C
z=w
x=a
e y=b
Exemplo:
1. O 0 (complexo) e o n
umero cujas partes real e imaginaria sao 0 (real)
z=0
12
Re z = Im z = 0
1.2. NUMEROS
COMPLEXOS
2. z = z se e s
o se Im z = 0, ou seja
z = z
zR
Soma/Produto de complexos:
Se z = x + iy, w = a + ib C
z + w = (x + a) + i(y + b)
z+w =w+z
propriedade comutativa
zw = wz
CAPITULO 1. ANALISE
COMPLEXA
verifica-se a propriedade distributiva do produto relativamente `a soma
z(w + u) = zw + zu
Sim
etrico/Diferenca de complexos: Se w = a + ib C
w = a ib
Re (w) = Re w , Im (w) = Im Re w
ou seja
Como consequencia da existencia de simetrico, podemos definir a subtraccao de dois complexos como sendo a soma pelo simetrico, se z = x + iy, w = a + ib C
z w = (x a) + i(y b)
Inverso/Quociente de complexos:
Se w = a + ib C \ {0}
a ib
1
==
= 2
w
ww
a + b2
Como consequencia da existencia de inverso para todo o complexo nao nulo, podemos
definir o quociente de dois complexos como sendo o produto pelo inverso. Se z = x + iy,
w = a + ib C e w 6= 0
(x + iy)(a ib)
z
=
w
a 2 + b2
w1 =
z+z
2
Im z =
zz
2i
e se alem disso w = a + ib C
z+w = z+w
zw = z w
w1 = (w)1 (w 6= 0)
1.2.2
z=0
w=0
Inexist
encia de relac
ao de ordem total em C
Uma relacao de ordem total (estrita) num conjunto M e uma relacao, <, que verifica:
(1) Dados a, b M ent
ao verifica-se uma e so uma das seguintes proposicoes: a < b ou b < a
ou a = b. (tricotomia)
(2) Dados a, b, c M tais que a < b e b < c entao a < c. (transitividade)
Se M for um corpo, a relac
ao diz-se compativel com a soma e o produto se
(3) Dados a, b, c M , se a < b ent
ao a + c < b + c.
(4) Dados a, b, c M , se a < b e c > 0 entao que ac < bc.
14
1.2. NUMEROS
COMPLEXOS
Um corpo munido de uma relac
ao de ordem compatvel com a sua soma e produto diz-se um
corpo ordenado. Os n
umeros racionais e os n
umeros reais, com a soma, o produto e a relacao de
ordem usuais, constituem dois bem conhecidos exemplos de corpos ordenados.
Dados quaisquer a, b M , diz-se que a > b se b < a. A partir das propriedades de corpo e
dos axiomas de ordem prova-se que se a < 0 entao a > 0 (basta usar o axioma 3. com b = 0 e
c = a), de onde resulta que:
(5) Dados a, b, c M , se a < b e c < 0 entao ac > bc.
Isto implica, em particular, que 1 > 0 (e que 1 < 0). 4
A partir destes resultados prova-se entao que nao existe qualquer relacao de ordem em C
que seja compatvel com a soma e o produto (isto e, que satisfaca as propriedades 1-4). Pois
supondo que existia, ent
ao, pela propriedade tricotomica, ou i > 0 ou i < 0. Mas se i > 0
2
entao i = i i > i 0 = 0 (propriedade (4)) o que contradiz i2 = 1 < 0. Se i < 0 entao
i2 = i i > i 0 = 0 (propriedade (5)) o que tambem contradiz i2 = 1 < 0.
1.2.3
Pot
encias de Expoente Inteiro e Polin
omios Complexos
Se n Z e z C
zn =
z} se n > 0
|z z {z
n
vezes
se n = 0
se n < 0
z n
ao apenas
Note que o que prov
amos aqui n
ao e auto-evidente: vimos que em qualquer corpo ordenado (e n
em R) se verifica 1 > 0, etc.
15
CAPITULO 1. ANALISE
COMPLEXA
1.2.4
Estrutura Geom
etrica, Representac
ao Polar e F
ormula de Euler
Im z =
z = + i
Re z
y
,
x
para x 6= 0. Desta forma, o complexo z pode ser escrito na forma polar por:
z = |z| cos(arg z) + i sen(arg z) .
tg =
1.2. NUMEROS
COMPLEXOS
Im z
arg z =
z = rei
r
Re z
|z| = r
para qualquer R.
Trata-se da famosa formula de Euler. Esta definicao justifica-se pelo facto de cos + i sen ter as
propriedades que se esperam de uma funcao exponencial. Usando apenas trigonometria, pode-se
provar facilmente que para quaisquer , R e k Z:
ei(+) = ei ei
ei ei = 1
1
ei
k
= ei .
ei =
eik
Recorrendo ent
ao `
a formula de Euler, a forma polar de um n
umero complexo escreve-se, simplesmente:
z = |z| ei arg z .
(1.4)
Tomando z = 1 em (1.4) obtem-se
ei = 1,
CAPITULO 1. ANALISE
COMPLEXA
No entanto e u
nico em cada intervalo de comprimento 2, isto e, para cada z 6= 0 e R existe
um u
nico [, + 2[ ou a ], + 2], tal que e o argumento de z.
e o Argumento Principal se verifica (1.4) e pertence ao intervalo ] , ].
e o Argumento Mnimo Positivo se verifica (1.4) e pertence ao intervalo [0, 2[.
Para certo R, pertence ao Ramo do Argumento se verifica (1.4) e pertence ao
intervalo [, + 2[.
Dados z, w C, verifica-se que:
|z + w| |z| + |w| (desigualdade triangular)
Geometricamente a desigualdade triangular e consequencia do facto de que num triangulo o
comprimento de qualquer dos lados e sempre menor que a soma dos comprimentos dos outros
dois lados. Analiticamente, podemos demonstra-la assim:
|z + w|2 = (z + w)(z + w) = (z + w)(z + w)
= zz + zw + wz + ww = |z|2 + zw + zw + |w|2
|z w| |z| |w|.
A partir da representac
ao polar e da formula de Euler e facil de obter algumas propriedades
adicionais que melhor especificam a estrutura geometrica do conjunto dos n
umeros complexos, e
2
i
que nao se podem obter no espaco vectorial R . Assim, se z = re e w = ei entao:
z = |z|ei
zw = r ei(+)
|zw| = |z||w|
z
r
= ei()
w
pelo que
z
z = |z|2
arg (z) = arg (z)
18
z
|z|
=
w
|w|
,
z
arg ( ) = arg (z) arg (w)
w
1.2. NUMEROS
COMPLEXOS
1.2.5
Razes Indice n de um N
umero Complexo
A partir da express
ao do produto de n
umeros complexos na forma polar, obtem-se a formula de
De Moivre:
z n = |z|n ein , n N.
Daqui se deduz que qualquer complexo z = |z|ei nao nulo admite n razes ndice n distintas
dadas por:
p
+2k
n
, k = 0, 1, ..., n 1.
z = n |z|ei n
Para o caso n = 2 (razes quadradas), a expressao anterior e equivalente a:
z=
|z| ei n
Exemplo:
1 =
1 e
i. Por um lado
ei = ei
+2k
4
k = 0, 1, 2, 3 ,
i = ei/2 = ei
+2k
2
2
= ei( 4 +k)
k = 0, 1 ,
nm
xmp = n xp e n xp = n x
5
19
CAPITULO 1. ANALISE
COMPLEXA
p
4
(1 + i)2 e
4
1+i
2
. Por um lado
+2k
2
4
, k = 0, 1, 2, 3 ,
2i = 2 ei 4
p
pelo que os valore possveis de 4 (1 + i)2 sao os elementos do conjunto
p
4
(1 + i)2 =
i
5i
9i
13i
4
4
4
4
R1 = { 2e 8 , 2e 8 , 2e 8 , 2e 8 }
4
1+i
2
+2k
4
4
2
2 ei
+2k
4
2
, k = 0, 1, 2, 3
i
9i
17i
25i
i
17i
4
4
4
4
4
4
R2 = { 2e 8 , 2e 8 , 2e 8 , 2e 8 } = { 2e 8 , 2e 8 }
2
p
Mais uma vez se conclui que R2 R1 , pelo que 4 (1 + i)2 6= 4 1 + i .
3. Determinar todos os valores de
q
p
2
3
3
( 3 i)2 e
3 i . Por um lado
r
q
2 p
+2k
3
3
3
3
i 33
2
i/6
i/3
2e
= 4e
( 3 i) =
= 4e
pelo que os valores possveis de
k = 0, 1, 2 ,
q
3
( 3 i)2 sao os elementos do conjunto
5i
11i
i
3
3
3
R1 = { 4e 9 , 4e 9 , 4e 9 }
p
3
2
3 i estao representados no conjunto
i
11i
23i
3
3
3
R2 = { 4e 9 , 4e 9 , 4e 9 }
Verifica-se neste caso que R1 = R2 . Pelo que neste caso se verifica que
2
p
3
3i .
Se z C, n, p s
ao n
umeros naturais primos entre si, sentao
p
n p
z = nz
onde a igualdade deve ser interpretada como igualdade entre conjuntos.
20
q
3
( 3 i)2 =
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
1.3
1.3.1
Sucess
oes e S
eries de N
umeros Complexos
Sucess
oes de N
umeros Complexos
Uma sucess
ao de n
umeros complexos, (zn )nN e uma aplicacao
N n 7 zn = xn + iyn C,
ou seja, uma aplicac
ao (ou func
ao) que a cada n
umero natural, n, faz corresponder um e um
so n
umero complexo zn = xn + iyn . E costume representar uma sucessao por (zn ) ou ainda,
mais abreviadamente, pelo seu termo geral, zn . As sucess
oes xn = Re zn (a parte real de zn ) e
yn = Im zn (a parte imagin
aria de zn ) sao sucess
oes reais.
A sucess
ao zn diz-se limitada se existe um n
umero real positivo M tal que |zn | M para
todo n N.
Se zn = xn + iyn ent
ao
zn e limitada em C sse xn e yn sao limitadas em R.
Exemplos:
1
e limitada, visto que |zn | = n1 1, para todo o n N.
in
q
n + 2i
2. A sucess
ao zn =
e limitada, pois |zn | = 1 + n42 5 para qualquer n N.
n
1. A sucess
ao zn =
3. A sucess
ao zn = ein e limitada, pois |zn | = 1, para todo o n N.
Limite de uma sucess
ao. Sucess
ao convergente:
A sucess
ao zn diz-se convergente para L C, usando-se a notacao
L = lim zn = lim zn
n
ou, equivalentemente,
zn L
in
e convergente e o seu limite e 0, visto que para qualquer > 0
n3
in
1
1
3 = 3 < para n >
3
n
n
A definic
ao de convergencia e verificada para qualquer > 0 tomando N = N () > 1/ 3 .
21
CAPITULO 1. ANALISE
COMPLEXA
2. A sucess
ao zn =
n + 2i
e convergente e o seu limite e 1, visto que para qualquer > 0
n
2i 2
n + 2i
2
1 = = < para n >
n
n
n
A definic
ao de convergencia e verificada para qualquer > 0 tomando N = N () > 2/.
As propriedades seguintes s
ao consequencias quase imediatas das definicoes anteriores.
Teorema:
Sendo (zn ) uma sucess
ao complexa convergente, entao
1. A sucess
ao (zn ) e limitada.
2. O seu limite e u
nico.
3. Se (wn ) e uma sucess
ao limitada e lim zn = 0 entao lim(zn wn ) = 0.
n
n,m+
zn zm = 0
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Limite infinito
Se (zn ) e uma sucess
ao complexa, definimos
lim zn =
n
lim |zn | =
n
lim
n
1
=0
zn
lim Re (n +
n
i
) = lim n =
n
n
Ex. 2 Progress
ao Geom
etrica de raz
ao z
Para z C fixo, define-se a progressao geometrica de razao z como sendo a sucessao cujo
termo geral e z n ; ou seja, o seu conjunto de termos e:
{z, z 2 , z 3 , . . . , z n , . . .}
Escrevendo os termos da progressao na forma
concluir que:
0
lim z n =
n+
Se |z| = 1 e z 6= 1, ent
ao z n n
ao tem limite (finito ou infinito).
1.3.2
S
eries Num
ericas (Reais ou Complexas)
zn = z1 + z2 + . . . + zn + . . .
(1.5)
n=1
Os n
umeros z1 , z2 , ..., denominam-se termos da serie (1.5); a sucessao zn C diz-se o
termo geral (ou termo de ordem n) da serie (1.5). Note-se que (1.5) designa uma soma de uma
infinidade de termos. Atraves da definicao de limite de sucess
oes, introduzida na seccao anterior,
e possvel dar um significado concreto a este tipo de somas.
23
CAPITULO 1. ANALISE
COMPLEXA
Define-se, associada `
a serie
n=1
S1 = z1
S2 = z1 + z2
S3 = z1 + z2 + z3
..
.
SN
= z1 + z2 + ... + zN =
N
X
zn
n=1
..
.
Note-se que, no termo geral escrito na forma SN =
N
X
zn , n e variavel muda.
n=1
Definic
ao: (Natureza da serie)
Se a sucess
ao das somas parciais SN e convergente em C, isto e, se existe S C tal que
lim SN = S
a serie
zn diz-se convergente e
n=1
S=
zn
n=1
Se a sucess
ao das somas parciais SN nao converge em C (SN nao tem limite ou tem limite
X
zn diz-se divergente.
infinito) a serie
n=1
Proposic
ao
A natureza de uma serie n
ao depende do valor dos seus primeiros termos, ou seja:
p, q N0 , as series
1.3.3
zn e
n=p
n=q
S
erie Geom
etrica
n=0
N
X
zn =
n=0
1 z N +1
.
1z
Como z N +1 0 para |z| < 1 e z N +1 nao converge em C quando |z| 1 (com z 6= 1), conclui-se
que:
24
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Se |z| < 1 a serie geometrica de razao z e convergente e
zn =
n=0
X
1
1z
zn =
n=p
zp
1z
1.3.4
Condic
ao necess
aria `
a convergencia de uma serie
Se a serie
n=0
zn e divergente.
n=0
Chama-se a atenc
ao para o facto de que zn 0 nao implica que a serie de termo geral zn
seja convergente.
A serie complexa
convergentes e
zn =
a serie
zn e
Re zn + i
Im zn sao ambas
Im zn .
vamente, ent
ao
Re zn e
Linearidade. Se as series
X
(zn + wn ) e convergente e a sua soma e S + T .
n
X
(zn ) e convergente e a sua soma e S.
n
Criterio de Cauchy.
A serie
zn e convergente
sse
a sucess
ao das somas parciais associada e uma sucessao de Cauchy
sse
para qualquer > 0, existe N N tal que:
para todos os n, m > N , |zn+1 + zn+2 + + zm | < .
25
CAPITULO 1. ANALISE
COMPLEXA
1.3.5
S
erie Harm
onica
X
1
n
n=1
1
1
1
1
1
1
+ +
>
+ +
=N
= ,
N +1
2N
2N
2N
2N
2
para qualquer N N. Em consequencia, (SN ) nao satisfaz o criterio de Cauchy (basta tomar
< 21 ). Por isso, a serie harmonica e divergente.
1.3.6
S
eries de Mengoli
n=1
zn zn+1
n=1
1.3.7
zn zn+1 = z1 lim zn
n
Converg
encia Absoluta
X
zn diz-se absolutamente convergente se a serie real
|zn | convergir. Costuma-se
X
X
designar
|zn | como a serie dos m
odulos (de
zn ).
X
A serie
zn diz-se simplesmente convergente se for convergente e a serie dos seus m
odulos
X
X
for divergente i.e., se a serie
zn convergir e a serie
|zn | divergir. A partir do criterio de
Cauchy, deduz-se a:
A serie
Proposic
ao: (criterio da convergencia absoluta)
Toda a serie absolutamente convergente e convergente.
1.3.8
S
eries Reais de Termos N
ao Negativos
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Crit
erios de Converg
encia
Crit
erio geral de comparac
ao
Se un e vn s
ao sucess
oes reais tais que para todo n N se verifica 0 un vn , entao:
X
X
a) Se
vn e convergente tambem
un e convergente.
X
X
b) Se
un e divergente tambem
vn e divergente.
n
Demonstrac
ao:
P
a) Se SN = u1 +u2 + +uN e TN = v1 +v2 + +vN entao como vn e convergente,
TN e convergente, logo limitada. Como, para todo o N N, 0 SN TN , SN
tambem e limitada; como tambem e monotona, logo e convergente.
P
P
b) Caso contr
ario (isto e, se
vn fosse convergente),
un seria
P entao pela alnea a)
convergente, o que contradiz a hip
otese. Logo,
vn tem que ser divergente.
Nota: a conclus
ao do criterio geral de comparacao permanece valida se 0 un vn se
verifica apenas a partir de certa ordem pois, como vimos, a natureza das series nao depende
do valor dos seus termos iniciais.
Exemplo:
Considere-se a serie
para n > 1
1
. Dado que para todo n N se tem log n < n, teremos que,
log
n
n=2
1
1
>
log n
n
X
1
diverge
n
n=2
n=2
1
sera tambem divergente.
log n
Corol
ario do Crit
erio Geral de Comparac
ao
Se un e vn s
ao sucess
oes reais e a < b sao n
umeros reais positivos tais que
0 avn un bvn
entao
un e
para todo o n N,
un
= l. Entao, se
Sejam un e vn sucess
oes reais de termos nao negativos tais que lim
vn
X
X
l ]0, +[ conclui-se que as series
un e
vn tem a mesma natureza.
Demonstrac
ao: Considere-se < l, ou seja, tal que l > 0. Pela definicao de limite,
existe uma ordem a partir da qual todos os termos da sucessao un /vn verificam
l<
27
un
< l + ,
vn
CAPITULO 1. ANALISE
COMPLEXA
pelo que (como vn 0):
0 (l )vn < un < (l + )vn .
Usando agora o corol
ario do criterio geral de comparacao, obtem-se o resultado.
Exemplo:
Considere-se a serie
X
2n + 1
. Dado que
n n
n=1
lim
n
2n+1
n n
1
n
=2<
X
1
diverge
n
n=1
X
2n + 1
e divergente.
pelo segundo criterio geral de comparacao a serie
n n
n=1
Crit
erio de DAlembert
un e convergente.
b) Se l > 1 a serie
un e divergente.
un
a) Dado > 0 t
ao pequeno que l + < 1 (como l < 1, basta tomar < 1 l), a definicao
de limite da sucess
ao un+1 /un garante-nos que a partir de certa ordem:
un+1
< l + < 1.
un
Seja r = l + . Ent
ao:
r n+1
un+1
<l+=r = n
un
r
Multiplicando ambos os membros da desigualdade anterior por
un
r n+1
obtem-se:
un
un+1
< n.
r n+1
r
Assim, un /r n e decrescente, logo majorada por um certo M > 0:
un
M
un M r n
rn
Alem disso, un > 0 para qualquer n P
N. Do criterio geral de comparacao, como
P
n
M r e convergente (r < 1), entao
un tambem e uma serie convergente.
28
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
b) Dado > 0 t
ao pequeno que l > 1 (como l > 1, basta tomar < l 1), a definicao
de limite da sucess
ao un+1 /un garante-nos que a partir de certa ordem:
un+1
>l>1
un
Seja r = l. Procedendo de forma analoga `a demonstracao de (a) (exerccio), resulta
que, para algum L > 0:
0 < Lr n < un
P n
P
Do criterio geral de comparacao, como
Lr e divergente (r > 1), entao
un e
tambem divergente.
Exemplo:
X
n2
Considere-se a serie
. Sendo un =
en3
n=1
un+1
= lim
lim
n
n
un
(n+1)2
3
e(n+1)
2
n
en3
n2
en3
= lim
n
tem-se que
n + 1 2
n
en
3 (n+1)3
=0<1
X
n2
e convergente.
en3
n=1
Crit
erio da Raiz
Seja un sucess
ao real de termos nao negativos, tal que existe
l = lim n un
n
Entao
se l < 1 a serie
un e convergente.
se l > 1 a serie
un e divergente.
Notas:
No caso l = 1, o criterio da raiz e inconclusivo.
Se quiser justificar este resultado, use a ideia da prova do criterio de DAlembert. Os
detalhes s
ao um pouco mais simples, neste caso.
Exemplo:
Considere-se a serie
n=0
nao e aplic
avel; pois tomando un = 2n+(1) , entao:
2n
= 12 se n par,
un+1 2n+1
=
2n+2
un
= 8 se n mpar.
2n1
29
CAPITULO 1. ANALISE
COMPLEXA
un+1
nao existe. No entanto
n
un
1
(1)n
n
lim n un = lim 2n+(1)
= lim 21+ n = 2 > 1
2n+(1) e divergente.
n=0
Crit
erio da Raiz de Cauchy
un e convergente;
b) se l > 1 a serie
un e divergente;
Notas:
Define-se lim sup n un como o supremo do conjunto dos sublimites de un . Um sublimite de un e um limite de uma subsucessao de un .
Este resultado generaliza o criterio da raiz `as situacoes onde o lim n un nao existe.
No caso l = 1, o criterio da raiz e inconclusivo.
Exemplo:
5
. Comecamos por observar que o criterio da raiz nao
(3 + (1)n )n
n=0
e aplic
avel (e, consequentemente, o criterio de DAlembert tambem nao) visto que, com
5
un = (3+(1)
n )n , se tem
1
n
4 5 para n par
n
un =
1
n
mpar
2 5 para n
dos termos mpares de n un converge para 21 ; desta forma, o limite de n un nao existe. No
e assim
lim sup
n
un =
1
<1
2
5
e convergente.
n )n
(3
+
(1)
n=0
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Crit
erio do Integral
N 1
n=1
Demonstrac
ao: Seja SN a sucessao das somas parciais de
f (x) dx.
un . Atendendo a que f e
n=1
|{z}
| {z }
n
R
=
R n+1
n
f (n+1) dx
n+1
n
f (n) dx
N
X
n=2
un
N
1
f (x) dx
N
1
X
n=1
un = SN 1 ,
(1.6)
RN
Note que, como f e uma func
ao positiva, a sucessao TN = 1 f (x) dx e crescente. Das desigualdades (1.6) conclui-se que TN e convergente sse SN e convergente, o que e equivalente
`a conclus
ao que queramos obter.
1.3.9
S
eries de Dirichlet
X
1
n
n=1
Se 1, ent
ao 0 <
n, pelo que
0<
1
1
,
n
n
para todo
P 1 o n N. Pelo criterio geral de comparacao, como a serie harmonica,
serie
em diverge.
n tamb
No caso > 1, seja f (x) = x1 = x . Como
lim
N 1
1
n,
N
1
1
1
x1
=
lim
1 =
,
dx = lim
1
N 1 1
1 N N
1
diverge, a
CAPITULO 1. ANALISE
COMPLEXA
1.3.10
S
eries Alternadas
Uma serie de termos reais diz-se alternada se os seus termos forem alternadamente positivos e
negativos. Se assumirmos que o primeiro termo de uma serie alternada e negativo (respectivamente
positivo), ent
ao a serie pode ser escrita na forma
(1)n an
(1.7)
n=1
P
P
n+1 a =
na
, em que an > 0. Basta entao estudar (1.7).
resp.
(1)
(1)
n
n
n=1
n=1
Crit
erio de Leibnitz:
X
(1)n un e convergente.
ao a serie alternada
que lim un = 0, ent
n
n=1
Exemplo: Determinac
ao do erro da aproximacao da soma de uma serie alternada por uma
soma parcial.
Se uma serie alternada converge obedecendo `as condicoes do criterio de Leibniz entao, para
N + 1 par, (1)N +1 aN +1 > 0, e ent
ao:
N
X
X
n
n
(1) an = aN +1 (aN +2 aN +3 ) (aN +4 aN +5 )
(1) an
|
{z
} |
{z
}
n=1
n=1
>0
>0
N
N
X
X
X
X
(1)n+1 an < aN +1
(1)n an = (1)n+1 an
(1)n an
n=1
n=1
n=1
n=1
Assim, o erro que se comete ao aproximar a serie (1.7) pela sua sucessao das somas parciais,
a1 + a2 + + (1)N aN , e menor que aN +1 .
Nota: a estimativa anterior s
o foi provada para series que satisfazem as condicoes do criterio
de Leibniz. No caso geral n
ao e possvel controlar o erro de aproximacao da soma de uma serie
da forma acima descrita.
A serie harmonica alternada,
X
(1)n
n=1
e um exemplo de uma serie que converge mais nao converge absolutamente. Trata-se do exemplo
mais simples de uma serie simplesmente convergente.
32
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
1.3.11
S
eries de Pot
encias
n=0
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + + an (z z0 )n +
(1.8)
Os termos da sucess
ao an denominam-se coeficientes da serie e z0 e o seu centro. Para cada
z C a serie poder
a ou n
ao convergir, pelo que sera adequado definir o conjunto:
)
(
X
an (z z0 )n converge ,
zC :
n=0
n=0
an z n = a0 + a1 z + a2 z 2 + + an z n +
Teorema de Abel
Considere-se a serie de potencias centrada em z0 e de coeficientes cn . Entao:
a) Se existe C \ {z0 } tal que
cn ( z0 )n converge, a serie
cn ( z0 )n diverge, a serie
n=0
n=0
cn (z z0 )n converge
n=0
n=0
cn (z z0 )n diverge em
Demonstra
c
ao: como vimos, basta provar o resultado para caso z0 = 0, isto e, para as series
P
do tipo
an z n .
P
a) Supondo que existe um ponto z = onde a serie
an z n converge, entao lim an n = 0.
n
A existencia deste limite implica, em particular, que an n e uma sucessao limitada, ou seja:
existe
para qualquer n N.
|z|
. Assim, 0 < r < 1.
||
CAPITULO 1. ANALISE
COMPLEXA
n
|z|n
|z|
n
|an z | = |an ||z| = |an |||
= |an |
M rn
para qualquer n N.
n
||
||
P
P
Note que a serie
M r n = M r n e convergente,
P poisn e uma serie geometrica de
Prazano
r < 1. Pelo criterio geral de comparacao, a serie
|an z | tambem converge; logo
an z
converge absolutamente para |z| < ||.
n
P
b) Supondo que existe z = onde a serie
an z n diverge, entao a serie tera que divergir para
Pois, caso contr
onde a serie convergisse
|z| > ||.
ario se existisse
z, com |
z | > ||,
P
n
o que
como || < |
z |, pela alnea (a) a serie
an z convergiria absolutamente em z = ,
contradiz a hip
otese.
O raio de convergencia, R, de uma serie de potencias
(
R = sup [0, +[ :
n=0
an (z z0 )
n=0 an (z
z0 )n define-se por:
converge em |z z0 | <
R esta bem definido, pois o conjunto acima nunca e vazio e R 0. De notar que esse conjunto
pode ser n
ao limitado; nesse caso, R = .
Utilizando o teorema de Abel, conclui-se facilmente o seguinte (porque?):
Teorema: (regi
ao de convergencia de uma serie de potencias)
X
an (z z0 )n e seja R o seu raio de convergencia. Entao:
Considere-se a serie de potencias
n=0
n=0
an (z z0 )n e dado por:
a
n
R = lim
, caso este limite exista.
n an+1
p
1
= lim n |an |, caso este limite exista.
R n
p
1
= lim sup n |an | (Teorema de Cauchy-Hadamard).
R
n
34
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
a
n
Para mostrar que, caso o limite exista, R = lim
, usamos o criterio de DAlembert.
n an+1
Mais uma vez, estudaremos apenas o caso z0 = 0. Assim:
an+1
|an+1 z n+1 |
= |z|
= |z|
|an z n |
an an
an+1
an
def
, entao:
Supondo que existe R = lim
an+1
|z|
|an+1 z n+1 |
|z|
=
an = R .
n
|an z n |
lim an+1
L = lim
Para se ter L < 1 caso em que, pelo criterio de DAlembert a serie de potencias e absolutamente
convergente ent
ao e necess
ario que |z| < R. Tomando L > 1 conclui-se que para |z| > R a
serie nao converge absolutamente.
Alem disso, a serie diverge sempre para |z| > R. Caso contrario, isto e, se convergisse para
certo z, com |
z | > R, ent
ao pelo teorema de Abel convergiria absolutamente em qualquer z tal
que R < |z| < |
z |, o que contradiz a conclusao do par
anterior!
Pagrafo
Conclui-se que o raio de convergencia da serie
an z n e R. Por mudanca de variavel w =
z z0 , obtem-se o resultado para qualquer serie de potencias de z z0 .
Note-se que, em teoria, a formula do Teorema de Cauchy-Hadamard e de aplicabilidade geral.
Pode, contudo,pn
ao ser f
acil de utilizar na pratica; basta pensar em exemplos onde o conjunto dos
sublimites de n |an | e difcil de determinar.
Exemplos:
1. Considere-se a serie
X
(z 2i)n
n=0
coeficientes an =
1
n(5i)n ,
n(5i)n
n=1
limn
1
p
n
!an |
= lim
n
1
=0
n
CAPITULO 1. ANALISE
COMPLEXA
3. Considere-se a serie
n=0
{z C : |z + i| < R}
R=
lim sup
p
n
|an |
sup{lim
n
n, lim 0}
=1
X
nwn . Dado que
w = i(z + i)2 e estudar a regi
ao de convergencia da serie
n=0
n
lim
=1
n n+1
podemos concluir que esta serie converge em {w C : |w| < 1}, o que implicara que a
serie inicial e convergente para todos os valores de z tais que
| i(z + i)2 | < 1
1.4
1.4.1
|z + i| < 1 .
Func
oes Complexas de Vari
avel Complexa
Definic
ao e Notac
ao
x + iy D
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
1. Consideremos a func
ao f (z) = z 2 + 3. Entao
f (x + yi) = (x + yi)2 + 3 = x2 + 2xyi y 2 + 3 = x2 y 2 + 3 + 2xyi
Pelo que
Re f = u(x, y) = x2 y 2 + 3 e
Im f = v(x, y) = 2xy
z2
z
, tem por domnio o conjunto
+1
D = z C : z 2 + 1 6= 0 = C \ {i, i}
3. A func
ao definida por f (z) = z 2 4z + Re z tem domnio C e
4. Sendo n N, considere-se
f (z) = n z (com < arg z ) e escolhendo o valor da raiz
de tal forma a que n 1 = 1. Note que se escolhermos apenas uma das n razes ndice n,
entao obtemos um u
nico valor para n z. Desta forma, seja:
p
arg z
com < arg z
f (z) = n |z| ei n
Trata-se de uma func
ao cujo valor e uma raiz ndice n de z e que satisfaz f (1) = 1. Alem
disso, o seu domnio e C e
p
p
arg z
arg z
Re n z = n |z| cos
e Im n z = n |z| sen
n
n
1.4.2
Func
oes Elementares
Func
oes Polinomiais e Racionais
Uma func
ao polinomial e definida atraves de um polin
omio complexo:
P (z) = a0 + a1 z + + an z n ,
onde n e o grau do polin
omio e a0 , a1 , . . . an C os seus coeficientes. O domnio das funcoes
polinomiais e C. Tal como no caso real, se z0 for uma raiz de P (z) entao existe Q(z) (de grau
n 1) tal que a factorizac
ao P (z) = (z z0 )Q(z) e valida.
Uma func
ao racional e dada por
f (z) =
P (z)
,
Q(z)
CAPITULO 1. ANALISE
COMPLEXA
Admitindo
ao tem razes comuns, entao se z0 e uma raiz de Q(z) resulta que
que P (z) e Q(z) n
P (z)
|f (z)| = Q(z) quando |z z0 | 0. Este e o exemplo mais simples de uma singularidade
isolada de uma func
ao complexa, conforme veremos mais tarde.
Exponencial Complexa
Para z C, define-se exponencial complexa por
ez = eRe z cos(Im z) + i sen(Im z)
isto e, se z = x + iy
Re z = a0
ez
|z| = ea0
Im z = b0
Arg z = b0
|z| = ea1
Im z = b1
Arg z = b1
ez+w = ez ew
ez+2ki = ez
kZ
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
Para qualquer w C \ {0}, a equacao ez = w pode sempre ser resolvida e tem uma
infinidade de soluc
oes, que s
ao dadas por:
ez = w
kZ
(porque?)
Func
oes Trigonom
etricas
A partir da formula de Euler tem-se, para qualquer y R:
eiy = cos y + i sen y
eiy = cos y i sen y
Somando e subtraindo as
identidades anteriores obtem-se, respectivamente, cos y = 21 eiy + eiy
1
eiy eiy .
e sen y = 2i
Podemos ent
ao generalizar as funcoes trigonometricas reais a funcoes complexas de variavel
complexa, definindo-as, para todo o z C, por:
cos z =
eiz + eiz
2
sen z =
eiz eiz
2i
tg z =
sen z
cos z
cotg z =
cos z
sen z
CAPITULO 1. ANALISE
COMPLEXA
Func
oes Hip
erb
olicas
Para z C definem-se:
ch z =
ez + ez
2
sh z =
ez ez
2
tgh z =
sh z
ch z
cotgh z =
ch z
.
sh z
ew = z
kZ
arg z [, + 2[
arg z ] , ]
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
log(zw) = log z + log w + 2pi para certo p Z.
log(z/w) = log z log w + 2pi para certo p Z.
log(z m ) = m log z + 2pi para certo p Z.
Exemplos:
h
i
5
11 i
log 2
2
12
3i
i
5
11 i
= log 4
+ log 2
= log 2
6
4
2
12
Neste exemplo em particular, verifica-se que para o valor principal do logaritmo:
h
i
5
2. Determinar o valor principal de log ( 3 3i) e de 5 log( 3 3i). Por um lado
h
log ( 3 3i)
h
i
h
i
h
i
4i/3 5
5 20i/3
5 2i/3
= log ( 12e
)) = log ( 12) e
) = log ( 12) e
)
5
2i
log(12) +
2
3
10i
12e2i/3 = log(12)
5 log( 3 3i) = 5 log
2
3
arg z [, + 2[
,
41
CAPITULO 1. ANALISE
COMPLEXA
O caso especial em que se considera o valor principal do logaritmo, isto e
z w = ew log z
arg z ] , ]
1.4.3
Limites
Sendo f : D C e z0 D, define-se
L = lim f (z)
zz
Proposic
ao
Se f (x + iy) = u(x, y) + iv(x, y), z0 = x0 + iy0 e L = A + iB entao:
lim
u(x, y) = A
(x,y)(x0 ,y0 )
L = lim f (z)
zz0
lim
v(x, y) = B
(x,y)(x0 ,y0 )
Em consequencia, e v
alida a seguinte igualdade:
lim f (z) =
zz0
lim
(x,y)(x0 ,y0 )
u(x, y) + i
lim
(x,y)(x0 ,y0 )
v(x, y)
(x,y)(x0 ,y0 )
u(x, y) = A e
lim
(x,y)(x0 ,y0 )
v(x, y) = B
Por definic
ao, para cada > 0 existem n
umeros positivos 1 e 2 tais que
(x x0 )2 + (y y0 )2 < 1
|u(x, y) A| <
(x x0 )2 + (y y0 )2 < 2
|v(x, y) B| <
42
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
Considere-se = min{1 , 2 } Tem-se entao que se (x x0 )2 + (y y0 )2 <
u(x, y) + iv(x, y) (A + iB) = u(x, y) A + i v(x, y) B
u(x, y) A + v(x, y) B
<
+ =
2 2
Reciprocamente, supondo que existe lim f (z) = A + iB, dados > 0 sabemos que existe
p0
zz
> 0 tal que se (x + iy) (x0 + iy0 ) = (x x0 )2 + (y y0 )2 < entao:
p
u(x, y) + iv(x, y) (A + iB) = (u(x, y) A)2 + (v(x, y) B)2 <
Suponhamos que
p
(x x0 )2 + (y y0 )2 < ; entao:
p
|u(x, y) A| (u(x, y) A)2 + (v(x, y) B)2 <
|v(x, y) B|
zz0
zz0
zz0
zz0
zz0
zz0
zz0
zz0
zz0
zz0
sendo esta u
ltima propriedade v
alida desde que lim g(z) 6= 0.
zz0
Exemplo:
1. lim ez = 1.
zi
(z i)(z 1)
zi
z 2 (i + 1)z + i
= lim
= lim
= i
z1 (z + i)(z 1)
z1 z + i
z1 z 2 + (i 1)z i
2. lim
43
CAPITULO 1. ANALISE
COMPLEXA
Exemplo:
Re z
representa uma indeterminacao do tipo 0/0. Escrevendo z = |z|ei
z0 z
Re z
|z| cos
=
= ei cos
z
|z|ei
Fazendo |z| 0 verifica-se Re (z)/z converge para um valor que depende de (ou seja do
argumento de z) e como tal o seu valor dependera da forma como z esta a convergir para 0.
Assim, por exemplo, se z est
a a convergir para 0 ao longo do semi-eixo real positivo ( = 0)
tem-se
Re z
=1,
lim
z0 , zR+ z
enquanto que se z est
a a convergir para 0 ao longo do semi-eixo imaginario positivo ( = /2)
tem-se
Re z
lim
=0.
+
z
z0 , ziR
Re z
n
ao existe.
z0 z
1.4.4
Continuidade:
zz0
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
7. Considere-se a func
ao valor principal do log z, isto e,
log z = log |z| + i arg z
arg z ] , ]
Por um lado, Re log z = log |z| e uma funcao contnua em R2 \ {(0, 0)} (consequencia da
continuidade da func
ao logaritmo real em R+ . Por outro lado, Im log z = arg z e contnua
para todos os z tais que arg z ] , [ (continuidade da funcao arctg num dos seus
ramos). Falta ent
ao estudar a continuidade do valor principal do log z em qualquer ponto
z tal que arg z = . Para isso, considere-se z0 6= 0 tal que arg z0 = . Entao
se Im z > 0
lim arg z =
zz0
se Im z < 0
Conclui-se que n
ao existe lim arg z para qualquer z0 6= 0 com arg z0 = (pelo que a
zz0
funcao arg z n
ao e contnua nestes pontos). Consequentemente o domnio de continuidade
do valor principal de log z e
C \ {z C : arg z = } = C \ {xei : x R+
0 } = C \ R0
O conjunto
{xei : x R+
0}
e denominado corte do valor principal do logaritmo (complexo).
8. De modo an
alogo se mostra que, para cada R, o domnio de continuidade do ramo
do logaritmo
log z = log |z| + i arg z
,
arg z ], + 2]
e
C \ {z = xei : x R+
0}
O conjunto
{z = xei : x R+
0}
e denominado corte do ramo do logaritmo (complexo).
1.4.5
Derivada Complexa
zz0
f (z + z) f (z)
f (z) f (z0 )
= lim
z0
z z0
z
zz0
f (z) f (z0 )
z z0
CAPITULO 1. ANALISE
COMPLEXA
1. Para f (z) = 2z z 2 , de domnio C, verifica-se que
f (z + h) f (z)
h0
h
lim
lim
h0
f (z) = 2 2z
z C
2h1 + 3ih2
h0 h1 + ih2
lim
lim
Observe-se que
se h1 + ih2 0 ao longo do eixo real, ter-se-a que h2 = 0 e o valor do limite
(direccional) e
f (z + h) f (z)
2h1
lim
= lim
=2
h0, hR
h1 0 h1
h
se h1 + ih2 0 ao longo do eixo imaginario, ter-se-a que h1 = 0 e o valor do limite
(direccional) e
3ih2
f (z + h) f (z)
= lim
=3
lim
h2 0 ih2
h0, hiR
h
f (z + h) f (z)
h
nao existe e como tal o domnio de diferenciabilidade de f e o conjunto vazio.
pelo que este limite n
ao existe. Conclui-se que para qualquer z C, lim
h0
h0
f (z + h) f (z)
h
=
=
lim
(z + h) Re(z + h) z Re z
h
lim
z Re h + h Re z + h Re h
h
h0
h0
Re h
h0 h
= Re z + lim (z + h) lim
h0
Re h
h0 h
= Re z + z lim
46
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
pelo que este limite n
ao existe. Se z = 0
f (0 + h) f (0)
=0
h0
h
lim
f (z + h) f (z)
h0
h
nao existe (porqu
e?) pelo que a funcao nao e diferenciaavel em C \ {0}. Assim, o domnio
de diferenciabilidade de f e {0}.
e como tal f e diferenci
avel em 0 e f (0) = 0. Por outro lado se z 6= 0, lim
Nota: Os casos anteriores (2 e 3), mostram que nao e suficiente que u e v sejam diferenciaveis
em (x0 , y0 ) para que f = u + iv tenha derivada em z0 = x0 + iy0 . Por exemplo para f (z) =
f (x + iy) = 2x + 3iy
Re f = u(x, y) = 2x
Im f = v(x, y) = 3y
A analise complexa estuda essencialmente as funcoes complexas de variavel complexa que sao
diferenciaveis em alguma regi
ao aberta do seu domnio.
Definic
ao: (Func
ao Analtica ou Holomorfa)
Uma func
ao diz-se analtica ou holomorfa em z0 se
Existe um disco centrado em z0 tal que f admite derivada em todos os pontos desse disco,
ou seja, existe > 0 tal que f admite derivada em todos os pontos de D(z0 , ).
7
47
CAPITULO 1. ANALISE
COMPLEXA
Define-se domnio de analiticidade ou domnio de holomorfia ao maior conjunto onde f e
analtica. Uma func
ao cujo domnio de analiticidade e C diz-se inteira. Observe-se que o domnio
de analiticidade est
a sempre contido no domnio de diferenciabilidade.
Exemplos:
1. Para f (z) = 2z z 2 vimos que o domnio de diferenciabilidade e C, pelo que o domnio de
analiticidade e tambem C. Esta funcao constitui um exemplo de funcao inteira.
2. Para f (z) = f (x + iy) = 2x + 3iy vimos que que o domnio de diferenciabilidade e o
conjunto vazio, pelo que o domnio de analiticidade e tambem o conjunto vazio.
3. Para f (z) = z Re z vimos que o domnio de diferenciabilidade e {0}, pelo que o domnio de
analiticidade e o conjunto vazio.
Nota: O domnio de analiticidade de uma funcao e sempre um conjunto aberto. Um conjunto
D C e aberto se para qualquer z D existe pelo menos um disco centrado em z que est
a
contido em D.
1.4.6
Equac
oes de Cauchy-Riemann
Considere-se a func
ao complexa f (z) = u(x, y) + iv(x, y) e um ponto z0 = x0 + iy0 pertencente
ao domnio de f . Vamos estudar qual (ou quais) as propriedades de uma funcao complexa que
admite derivada num ponto.
Condic
ao necess
aria `
a exist
encia de derivada
Se f admite derivada em z = x + iy entao sao verificadas as equacoes de Cauchy-Riemann
em (x, y), isto e,
u
v
(x, y) =
(x, y)
x
y
(1.9)
u (x, y) = v (x, y)
y
x
No caso de existir derivada em z, tem-se que
f (z) =
u
v
v
u
(x, y) + i (x, y) =
(x, y) i (x, y)
x
x
y
y
Demonstrac
ao: Sabendo, por hip
otese, que existe o limite que define a derivada complexa,
f (z + w) f (z)
,
t0
w
f (z) = lim
48
(1.10)
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
entao calculando esse limite segundo as direccoes do eixo real (fazendo w = t 0) e do
eixo imagin
ario (fazendo w = it e t 0), obtem-se os limites:
v(x + t, y) v(x, y)
u(x + t, y) u(x, y)
f (x + iy + t) f (x + iy)
= lim
+i
lim
t0
t0
t
t
t
v
u
+i
x
x
v(x, y + t) v(x, y)
u(x, y + t) u(x, y)
= lim
+i
t0
it
it
=
f (x + iy + it) f (x + iy)
t0
it
lim
u
v
i
y
y
(1.11)
Resulta assim que os dois limites em (1.11) sao iguais ao limite em (1.10), ou seja,
f (z) =
u
v
v
u
+i
=
i ,
x
x
y
y
Im f (x + iy) = v(x, y) = y
u
u
v
v
(x.y) = 2 ,
(x.y) = 0 ,
(x.y) = 1 ,
(x.y) = 0
x
y
x
y
x2 + y 2
f (z) = f (x + iy) =
0
49
se z 6= 0
se z = 0
CAPITULO 1. ANALISE
COMPLEXA
tem-se que
3
x y3
2
x + y2
Re f (x + iy) = u(x, y) =
0
3
x + y3
2
x + y2
Im f (x + iy) = v(x, y) =
Entao
u(h, 0) u(0, 0)
u
(0, 0) = lim
=1
h0
x
h
se (x, y) 6= (0, 0)
se (x, y) = (0, 0)
se (x, y) 6= (0, 0)
se (x, y) = (0, 0)
u(0, h) u(0, 0)
u
(0, 0) = lim
= 1
h0
y
h
e
v
v(h, 0) v(0, 0)
(0, 0) = lim
=1 ,
h0
x
h
v(0, h) v(0, 0)
v
(0, 0) = lim
=1
h0
y
h
pelo que e
obvio que se verificam as condicoes de Cauchy-Riemann no ponto (0, 0). Por
outro lado, e escrevendo o incremento z = ei , tem-se que se existir, f (0) verifica:
f (0) =
f (z) f (0)
z0
z
lim
3 cos3 (1 + i) 3 sen3 (1 i)
0
3 ei
cos3 (1 + i) sen3 (1 i)
ei
lim
f (0) n
ao existe.
b) Para a func
ao f (z) = 2z z 2 , tem-se que
Re f (x + iy) = u(x, y) = 2x x2 + y 2
pelo que
u
v
v
u
(x.y) = 2 2x ,
(x.y) = 2y ,
(x.y) = 2y ,
(x.y) = 2 2x ,
x
y
x
y
obvio que as condic
E
oes de Cauchy-Riemann sao validas para qualquer (x, y) R2 . Vimos
na secc
ao anterior que a sua derivada, f (z), existe para todo z C. Este e um exemplo
de uma func
ao que verifica as condicoes de Cauchy-Riemann e que tem derivada complexa
(em C).
50
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
1.4.7
Teorema de Cauchy-Riemann
O seguinte Teorema fornece uma condicao necessaria e suficiente `a existencia de derivada complexa.
Teorema de Cauchy-Riemann
Seja f : D C uma func
ao complexa de variavel complexa, dada por f (z) = u(x, y)+iv(x, y)
num conjunto aberto D e z0 = x0 + iy0 D. Se as funcoes u e v sao contnuas, tem derivadas
parciais contnuas numa vizinhanca de (x0 , y0 ) e satisfazem as equacoes de Cauchy-Riemann no
ponto (x0 , y0 ),
v
u
v
u
(x0 , y0 ) =
(x0 , y0 ) ,
(x0 , y0 ) = (x0 , y0 ) ,
x
y
y
x
v
v
u
u
(x0 , y0 ) + i (x0 .y0 ) =
(x0 , y0 ) i (x0 , y0 )
x
x
y
y
Exemplos:
a) Para a func
ao f (x + iy) = u(x, y) + iv(x, y) = ey cos x iey sen x tem-se que
u
u
v
v
(x, y) = ey sen x ,
(x, y) = ey cos x ,
(x, y) = ey cos x ,
(x, y) = ey sen x
x
y
x
y
Verifica-se facilmente que:
(A) As func
oes u e v e as suas derivadas parciais sao contnuas em R2 ;
(B) as condic
oes de Cauchy-Riemann sao validas em R2 .
Por (A) e (B), o Teorema de Cauchy-Riemann permite-nos concluir que f e diferenciavel em C,
e para todo z C
u
v
f (x + iy) =
(x, y) + i (x, y) = ey sen x iey cos x
x
x
y
ix
i(x+iy)
Note que f (z) = f (x + iy) = e e
=e
= eiz e f (z) = if (z) = ieiz .
b) Para a func
ao f (x + iy) = u(x, y) + iv(x, y) = x3 + i(y 1)3 tem-se que
u
v
v
u
(x, y) = 3x2 ,
(x, y) = 0 ,
(x, y) = 0 ,
(x, y) = 3(y 1)2
x
y
x
y
(A) as func
oes u e v e as suas derivadas parciais sao contnuas em R2 ;
(B) as condic
oes de Cauchy-Riemann sao validas sse x2 = (y 1)2 , isto e para os pontos do
plano, (x, y) pertencentes a pelo menos uma das rectas de equacao x = y 1 ou x = 1 y.
Podemos ent
ao concluir que, dado z C:
{x + iy C : x = 1 y} {x + iy C : x = y 1}
e o domnio de analiticidade o conjunto vazio.
51
CAPITULO 1. ANALISE
COMPLEXA
1.4.8
Demonstrac
ao do Teorema de Cauchy-Riemann
Esta secc
ao, embora numa primeira passagem seja de leitura opcional, e no entanto muito
importante para o aluno compreender a relacao entre a derivada complexa e a derivacao no sentido
de R2 . Vamos por isso enunciar e provar um teorema que implica a condicao necessaria e suficiente
anteriormente descrita mas que, alem disso, clarifica a nocao de derivada complexa.
Se convencionarmos representar i C pelo o ponto (0, 1) R2 e 1 C pelo ponto (1, 0) R2 ,
podemos identificar cada ponto de C com um e um s
o ponto de R2 por:
C 1 + i2 = 1 (1, 0) + 2 (0, 1) = (1 , 2 ) R2
Como tal, qualquer func
ao complexa, f : A C C, com f (x + iy) = u(x, y) + iv(x, y), pode
ser interpretada como o campo vectorial (u, v) : A R2 R2 .
Recordamos que a func
ao f e diferenciavel no sentido de R2 em a A (com A aberto) se e
so se existe uma transformac
ao linear Df (a) tal que
f (z + h) f (z) Df (a)h
0
h
quando
h0
(1.12)
Se f e diferenci
avel no sentido de R2 em a entao:
a) f e contnua em a.
b) Existem as derivadas parciais ux =
u
u
v
v
, uy =
, vx =
e vy =
em a.
x
y
x
y
(1.13)
(ii) f tem derivada no sentido de R2 em a dada por Df (a)h = h, para qualquer h, onde
h designa o produto complexo de por h.
52
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
Demonstrac
ao: De facto, (1.13) e valida se e so se
f (z + h) f (z) h
0
h
quando h 0,
Teorema de Cauchy-Riemann-Goursat
Seja f : A C, onde A C e aberto e a = a1 + ia2 A. Sao equivalentes as seguintes
proposic
oes:
(a) f tem derivada (complexa) em a, f (a) C.
(b) f e diferenci
avel em a no sentido de R2 e existe f (a) C tal que Df (a)h = f (a)h,
para qualquer h R2 .
(c) f e diferenci
avel em a (no sentido de R2 ) e f verifica as equacoes de Cauchy-Riemann,
v
u
v
u
x = y e y = x , em (a1 , a2 ).
u
v
v
u
(a1 , a2 ) + i (a1 , a2 ) =
(a1 , a2 ) i (a1 , a2 )
x
x
y
y
Demonstrac
ao:
Prova de que (a) (b):
f tem derivada complexa em a, f (a), se e so se:
f (z + h) f (z)
f (a)
h
quando h 0
Pelo Lema isto e equivalente a dizer que f tem derivada no sentido de R2 em a dada
por Df (a)h = f (a)h, para qualquer h.
Prova de que (b) (c):
Seja h = h1 + ih2 C, que identificamos com (h1 , h2 ) R2 . Vamos provar que a
equac
ao
Df (a)h = f (a)h
para qualquer h R2
e equivalente `
as equac
oes de Cauchy-Riemann em (a1 , a2 ).
Seja = 1 + i2 tal que, para qualquer h = h1 + ih2 ,
Df (a)h = h
(onde h representa um produto complexo). A equacao anterior e equivalente a
ux uy
vx vy
h1
h2
= (1 + i2 ) (h1 + ih2 ) =
53
1 h1 2 h2
2 h1 + 1 h2
CAPITULO 1. ANALISE
COMPLEXA
ux h1 + uy h2 = 1 h1 2 h2
vx h1 + vy h2
= 2 h1 + 1 h2
ux
uy
vx
vy
=
=
=
=
1
2
2
1
(1.14)
2 + 2
2 + 2
2 + 2
2 + 2
= |f (a)|
+ 2
2 + 2
cos sen
sen cos
54
. Conclui2 + 2
|f (a)|, sendo que
e sen =
se que Jf (a) tem a forma de uma matriz de rotacao multiplicada pelo escalar
o angulo de rotac
ao e, precisamente, o argumento de f (a).
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
1.4.9
O Teorema de Cauchy-Riemann permite demonstrar que, para as funcoes analticas sao validas as
regras de derivac
ao j
a conhecidas do c
alculo de funcoes reais de variavel real. Mais concretamente:
Soma, produto e quociente
Se f e g s
ao analticas num conjunto D C, entao:
f g e analtica em D e (f g) = f g ;
f g e analtica em D e (f g) = f g + f g ;
f /g e analtica em D \ {z : g(z) = 0} e (f /g) =
f g f g
.
g2
Func
ao composta
Se g e analtica num conjunto D C e f e analtica no contradomnio de g, g(D), entao
f g e analtica em D e (f g) (z) = f (g(z)) g (z), para qualquer z D.
Func
ao Inversa
Seja f uma func
ao analtica e injectiva em D tal que f (z) 6= 0 para qualquer z D, f 1 e
contnua em f (D) e f (D) e aberto. Entao:
f 1 e analtica em f (D) e (f 1 ) (b) =
1
, onde b = f (a).
f (a)
Demonstrac
ao: Sendo b f (D), considere-se a D tal que b = f (a). Se z D e
w = f (z) f (D), ent
ao z = f 1 (w) e:
za
f 1 (w) f 1 (b)
=
wb
f (z) f (a)
Como f (z0 ) 6= 0, ent
ao o limite seguinte existe e, pela mudanca de variavel definida pela funcao
contnua z = f 1 (w):
f 1 (w) f 1 (b)
1
za
= lim
=
za f (z) f (a)
wb
wb
f (a)
lim
(1.15)
Como f (D) e aberto e f 1 tem derivada complexa em f (D) entao f 1 e analtica e a sua derivada
em f (D) e dada por (1.15).
Estudo da Analiticidade das Func
oes Elementares
1. A func
ao f (z) = z = x + iy admite derivada em todo z C, dado que u =Re f (z) = x e
v =Im f (z) = y:
(A) tem derivadas parciais contnuas em R2 ;
(B) verificam as condic
oes de Cauchy-Riemann em R2 .
Assim f (z) = z e inteira e para todo z C
f (z) = f (x + iy) =
55
v
u
(x, y) + i (x, y) = 1
x
x
CAPITULO 1. ANALISE
COMPLEXA
2. Para cada n N, a func
ao f (z) = z n e inteira, dado que e o produto (iterado) de funcoes
inteiras. Para todo z C, a derivada e dada por:
(z n ) = nz n1
Provemos esta formula por inducao. O caso n = 1 e o exemplo 1. Admitindo agora que
para certo n N, (z n ) = nz n1 entao, usando a regra da derivada do produto e a hip
otese
de induc
ao:
(z n+1 ) = (z n z) = nz n1 z + z n 1 = nz n + z n = (n + 1)z n
3. A func
ao polinomial e inteira dado que e a soma de funcoes inteiras.
4. A func
ao racional P (z)/Q(z) e analtica em C \ {z : Q(z) = 0} dado que e o quociente
de func
oes inteiras.
5. A func
ao exponencial f (z) = ez admite derivada em todo z C, dado que u(x, y) =Re f (z) =
ex cos(y) e v(x, y) =Im f (z) = ex sen(y):
(A) tem derivadas parciais contnuas em R2 ;
(B) verificam as condic
oes de Cauchy-Riemann em R2 .
Assim f (z) = ez e inteira e para todo z C
(ez ) =
v
u
(x, y) + i (x, y) = ex cos y + iex sen y = ez
x
x
6. As func
oes sen z, cos z s
ao inteiras (construidas a partir da composicao, soma, diferenca e
produto de func
oes inteiras), tendo-se
eiz eiz
eiz + eiz
sen z =
= cos z e
cos z =
= sen z
2i
2
As func
oes tg z e cotg z, por serem o quociente de funcoes inteiras, sao analticas, respectivamente, em
n
o
2k + 1
Dtg = C \ z =
: kZ
, Dcotg = C \ {z = k : k Z}
2
tendo-se, nos seus domnios
cos z
sen z
1
1
=
=
e
cotg
z
=
tg z =
cos z
cos2 z
sen z
sen2 z
7. As func
oes ch z e sh z s
ao inteiras (somas de funcoes inteiras), tendo-se
ez + ez
ez ez
= ch z e
ch z =
= sh z
sh z =
2
2
As func
oes tgh z e cotgh z, por serem o quociente de funcoes inteiras, sao analticas, respectivamente, em
n
o
2k + 1
Dtgh = C \ z =
i : k Z
, Dcotgh = C \ {z = ki : k Z}
2
tendo-se nos seus domnios
ch z
sh z
1
1
e
cotgh z =
tgh z =
= 2
= 2
ch z
sh
z
ch z
sh z
56
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
8. Considere-se a func
ao valor principal do logaritmo:
log z = log |z| + i arg z,
onde
arg z ] , [
1.4.10
Condic
oes de Cauchy-Riemann em Coordenadas Polares
Esta seccao e de leitura opcional. Pode aqui encontrar uma forma alternativa de estudar a
analiticidade do logaritmo complexo.
Como j
a vimos, qualquer z C pode ser escrito ou na forma z = x + iy ou na forma polar
z = rei , sendo x = r cos e y = r sen . Assim, tambem uma funcao complexa pode ser
caracterizada por
f (z) = f (x + iy) = u(x, y) + iv(x, y)
x
y
x
y
y
x
Conclui-se que, se r 6= 0
1 V
U
=
r
r
De igual modo
U
u x u y
u
u
=
+
= r
sen + r
cos
x
y
x
y
e
v x v y
v
v
u
u
V
=
+
=
cos +
sen =
cos +
sen
r
x r
y r
x
y
y
x
57
CAPITULO 1. ANALISE
COMPLEXA
concluindo-se que, se r 6= 0
V
U
= r
r
Condic
ao suficiente para a exist
encia de derivada
Se as derivadas parciais de u(r, ) e v(r, ) sao contnuas em (r0 , 0 ) (com r0 6= 0) e se
verificam as condic
oes de Cauchy-Riemann em coordenadas polares
1 v
u
r = r
u = r v
] , ]
u
1
=
r
r
u
=0
v
=0 ,
r
u
=1
verificam
(A) sao contnuas em todo r > 0 e ] , [;
(B) verificam as condic
oes de Cauchy-Riemann no mesmo conjunto.
Conclui-se que o valor principal do log z e analtica em C \ {z = xei , x R+
0 }. Para z
no domnio de analiticidade, utilizando a regra da derivacao da funcao inversa e considerando
w = ez z = log w:
1
1
1
log w = z = z =
(e )
e
w
De modo an
alogo se mostra que, para cada R, o ramo do logaritmo,
log z = log |z| + iarg z ,
arg z ], + 2],
e uma func
ao analtica em
C \ {z = xei , x R+
0 },
sendo, neste conjunto, v
alida a mesma regra de derivacao.
58
1.4. FUNC
OES
COMPLEXAS DE VARIAVEL
COMPLEXA
1.4.11
Noc
oes B
asicas da Topologia em C
= .
A B = e A B
Um conjunto aberto e conexo se e so se nao pode ser escrito como a uniao de dois conjuntos
abertos e disjuntos.
simplesmente conexo se for conexo e qualquer curva de fechada for homot
opica a um ponto,
isto e, qualquer curva fechada em D pode ser deformada continuamente num ponto sem
sair do conjunto. 9
multiplamente conexo se for conexo e nao for simplesmente conexo.
8
Dois conjuntos n
ao vazios tais que cada um deles e disjunto da aderencia do outro, dizem-se separados. Ent
ao
D e conexo se e s
o se n
ao pode ser escrito como a uni
ao de dois conjuntos separados.
9
Intuitivamente, um conjunto D e simplesmente conexo se for um conjunto conexo sem buracos; D n
ao
tem buracos descreve-se rigorosamente pela proposic
ao: para qualquer z : [0, 1] D contnua, com z(0) = z(1)
existe z0 D e uma func
ao contnua H : [0, 1] [0, 1] D tal que H(0, t) = z(t) t [0, 1] e H(1, t) = z0 ,
t [0, 1]. A func
ao H diz-se uma homotopia (de z(t) em z0 ) e deforma continuamente, sem sair de D, a curva
parametrizada por z(t) no ponto z0 .
59
CAPITULO 1. ANALISE
COMPLEXA
1.4.12
Func
oes harm
onicas em R2
Relac
ao entre func
oes harm
onicas (em R2 ) e func
oes analticas (em C)
Se f : U C C e analtica em U e f = u + iv entao u e v sao funcoes harmonicas em
U R2 . Nestas condic
oes, u e v denominam-se harmonicas conjugadas.
Observa-se que as partes real e imaginaria de uma funcao analtica verificam a equacao de
Laplace. Esta ligac
ao entre func
oes analticas e a equacao de Laplace reforca a importancia
das func
oes de vari
avel complexa e abre caminho para numerosas aplicacoes da matematica.
Vamos comecar por mostrar que u e uma funcao harmonica em R2 . Por ser uma funcao polinomial,
u C 2 (R2 ). Por outro lado,
u
=y
x
u
=x3
y
2u
2u
=
=0
x2
y 2
2u 2u
+ 2 = 0,
x2
y
Note que:
y2
2
x2
2
+ 3x + c, c R e
y 2 x2
+ 3x + c ,
f (z) = f (x + iy) = y(x 3) + i
2
2
f (z) =
cR
i 2
i
x + 2x(iy) + (iy)2 + 3i(x + iy) + ic = z 2 3iz + ic.
2
2
60
EM C
1.5. INTEGRAC
AO
1.5
1.5.1
Integrac
ao em C
Curvas em C
que se convenciona percorrido no sentido especificado por z(t). Os pontos z(a) e z(b) denominamse respectivamente o ponto inicial e o ponto final do caminho. A aplicacao z(t) diz-se uma
parametrizac
ao de . 10
Exemplos:
1. Parametrizac
ao de um segmento de recta
O segmento de recta que une z0 a z1 pode ser parametrizado por:
z(t) = z0 + t(z1 z0 ) = tz1 + (1 t)z2
onde 0 t 1
2. Parametrizac
ao da circunfer
encia centrada na origem de raio 1
Esta circunferencia, se percorrida no sentido directo, pode simplesmente ser parametrizada
por:
z(t) = cos t + i sen t = eit
,
t [0, 2]
De facto, e
obvio que x2 (t) + y 2 (t) = cos2 t + sen2 t = 1.
3. Parametrizac
ao de uma circunfer
encia gen
erica
Os pontos, z, de uma circunferencia centrada em z0 C de raio r > 0 verificam |zz0 | = r.
Assim sendo, z z0 = rei , onde e o argumento de z z0 . Desta forma, podemos tomar:
z(t) = z0 + reit ,
onde 0 t 2,
onde 0 t 2,
t [1, 2]
e uma parametrizac
ao da porc
ao da parabola y = x2 unindo o ponto z(1) = 1 + i ao
ponto z(2) = 2 + 4i.
10
61
CAPITULO 1. ANALISE
COMPLEXA
O caminho (e a respectiva curva) diz-se
regular se z(t) e continuamente diferenciavel, isto e, se x (t) e y (t) existem e sao contnuas
em ]a, b[). Nesse caso tem-se que
z (t) = x (t) + iy (t)
Se z (t) 6= 0 ent
ao z (t) designa-se por vector tangente `a curva no ponto z(t).
Todas as curvas dos exemplos acima descritos sao regulares, sendo que:
1. se z(t) = z0 +t(z1 z0 ) = tz1 +(1t)z0 tem-se que z (t) = z1 z0 (que e constante);
1.5.2
Integral complexo
11
f (z) dz =
f (z(t))z (t) dt
62
(1.17)
EM C
1.5. INTEGRAC
AO
Note-se que o integral do 2o membro da igualdade (1.17) pode ser interpretado como o integral
da funcao vectorial, F : [a, b] C dada por F (t) = f (z(t))z (t) para t [a, b], e que e obtido `
a
custa do integral de Riemann das funcoes reais de variavel real por:
Z b
Z b
Z b
def
Im F (t) dt
Re F (t) dt + i
F (t) dt =
a
Exemplo:
R
Pretende-se determinar ez dz em que e o segmento de recta que une i a 1 + i. Uma
possvel parametrizac
ao de e
z(t) = i + t (1 + i) (i) = t + i(2t 1) , t [0, 1]
Assim
Z
ez dz =
et+i(2t1) t + i(2t 1) dt =
et+i(12t) (1 + 2i)dt =
3 + 4i 1i
(e ei )
5
Invari
ancia por reparametrizac
ao. Seja um caminho simples, e f contnua em . Se z(s),
com s [a, b], e w(t), com t [, ] sao duas parametrizacoes distintas de , entao
Z
f (z(s))z (s) ds =
f (w(t))w (t) dt
Demonstrac
ao:
Consideremos primeiro o caso de uma curva aberta. Dado que a curva e aberta e simples,
z(s) e w(t) s
ao injectivas em, respectivamente, [a, b] e [, ]. Entao : [, ] [a, b], que pode
ser definida por
w(t) = z((t)) t [, ]
w =z
= z 1 w
e injectiva em [, ]. Em consequencia:
Z
f w(t) w (t) dt =
f z((t)) z (t) (t) dt =
f z(s) z (s) ds
Au
ltima igualdade decorre da substituicao de variavel s = (t).
O caso de uma curva fechada prova-se agora facilmente, escrevendo-a como a uniao de duas
curvas abertas.
.
Vemos assim no o integral est
a bem definido no caso de o caminho ser simples, pois o seu
valor e independente da parametrizac
ao utilizada. A partir da definicao, mostram-se facilmente
as seguintes propriedades:
Propriedades do integral
(Linearidade) Se f e g s
ao funcoes contnuas em , e , constantes complexas, entao
Z
Z
Z
f (z) + g(z) dz = f (z) dz + g(z) dz
63
CAPITULO 1. ANALISE
COMPLEXA
(Aditividade) Se e a concatenacao de duas curvas regulares, = 1 + 2 , entao
Z
Z
Z
f (z) dz
f (z) dz +
f (z) dz =
2
(Majorac
ao do Integral) Se f e contnua no caminho regular , e z(t), com t [a, b] e
uma parametrizac
ao de , ent
ao
Z b
Z
Z
def
|f (z(t))||z (t)|dt M L()
|f
(z)|
|dz|
=
f
(z)
dz
a
Exemplos:
1. Considere-se a func
ao f (z) = f (x + iy) = x2 + iy 2 , e a curva que une 0 a 2 + i atraves
do segmento de recta unindo 0 a 1 + i que designamos por 1 e do segmento de
recta unindo 1 + i a 2 + i que designamos por 2 . Desta forma, = 1 + 2 ; usando a
aditividade do integral:
Z
Z
Z
f (z) dz.
f (z) dz +
f (z) dz =
2
Uma parametrizac
ao possvel para 1 e
z1 (t) = (1 + i)t
pelo que
Z
Z
f (z) dz =
1
t [0, 1]
f (1 + i)t (1 + i)t dt = (1 + i)
(1 + i)2
2i
=
3
3
f (z) dz. =
Concluimos que
f (z) dz =
t [1, 2]
f (t + i) t + i dt =
Z
f (z) dz +
64
(t2 + i)dt =
f (z) dz. =
7 5i
+
3
3
7
+i
3
EM C
1.5. INTEGRAC
AO
2. Vamos obter uma estimativa do valor do integral
Z
ez
dz
2
z +1
onde e a circunferencia |z| = 2 percorrida uma vez em sentido directo. Pela propriedade
da majorac
ao do integral temos que
Z
Z
Z ez
ez
dz 2
|dz| M |dz|
2
z +1
z +1
em que M e um majorante do m
odulo da funcao
z = x + iy, tem-se que
|ez | = |ex+iy | = ex e2
ez
z 2 +1
pois na curva
Entao, para z
e assim
1.5.3
se
x |z| = 2
|z| = 2
ez
e2
|ez |
2
2
z +1
|z + 1|
3
e2 Z
4e2
ez
|dz| =
dz
2
z +1
3
3
Teorema Fundamental do C
alculo (para func
oes primitiv
aveis)
Sendo D C aberto, se F : D C e analtica em D com derivada, F , contnua em D, e
se e uma curva simples e seccionalmente regular contida em D que une z1 a z2 , entao
Z
F (z) dz = F (z2 ) F (z1 ).
Neste caso, fazendo f = F , diz-se que F e uma primitiva de f . Resulta entao que, se uma
funcao contnua, f , tem primitiva, F , em D:
Z
f (z) dz = F (z2 ) F (z1 ).
1
dx + idy
+i
F (z)dz =
x
x
Z
Z
u
v
v
u
=
dx
dy + i
dx +
dy
x
x
x
x
65
CAPITULO 1. ANALISE
COMPLEXA
Dado que F e analtica em D, pelas condicoes de Cauchy-Riemann podemos escrever
Z
Z
v
u
v
u
dx +
dy + i
dx +
dy
F (z)dz =
y
y
x
x
Z
Z
u u
v v
=
dx, dy + i
dx, dy
,
,
x y
x y
Z
Z
u dr + i v dr
=
Z
F (z)dz = u(z2 ) u(z1 ) + i v(z2 ) v(z1 ) = F (z2 ) F (z1 )
obtendo-se, tal como no caso das funcoes reais, uma relacao entre primitiva e integral de uma
funcao complexa.
Nesta forma, o teorema aplica-se a qualquer funcao primitiv
avel sendo, em particular, valido
para funcoes polinomiais. Se f for uma funcao primitivavel e uma curva de Jordan seccionalmente regular, resulta tambem que
I
f (z) dz = 0.
A generalizac
ao deste resultado a qualquer funcao analtica e feita atraves do seguinte teorema.
Teorema de Cauchy
Se e uma curva de Jordan seccionalmente regular e f e analtica num aberto simplesmente
conexo contendo , ent
ao
I
f (z) dz = 0.
I
u(x, y) + iv(x, y) dx + idy
I
I
u(x, y) dx v(x, y) dy + i v(x, y) dx + u(x, y) dy
=
f (z) dz =
A conclus
ao do teorema de Cauchy pode ser obtida sem recurso a esta hip
otese adicional. A demonstrac
ao
completa do teorema devida a Goursat e, contudo, bem mais elaborada do que esta, que apresentamos.
66
EM C
1.5. INTEGRAC
AO
Teorema de Green13 aos dois integrais de linha da expressao anterior, obtendo-se
ZZ
ZZ
I
u v
(v) u
dx dy + i
dx dy
f (z) dz =
x
y
x y
int
int
Visto a regi
ao int D (porque D e simplesmente conexo) e f e analtica em D, verificam-se
as condicoes de Cauchy-Riemann na regiao int e, como tal,
I
f (z) dz = 0.
Exemplos:
1. Considere-se a func
ao complexa f (z) = sh(cos2 z). Dado que f e uma funcao inteira, o
Teorema de Cauchy permite concluir que
I
sh(cos2 z) dz = 0
Teorema de Green: Sendo uma curva de Jordan contida em D R2 aberto e simplesmente conexo, e
sendo P e Q duas func
oes reais de classe C 1 em D, ent
ao:
I
ZZ
Q
P
P dx + Qdy =
dx dy
x
y
13
int
67
CAPITULO 1. ANALISE
COMPLEXA
3. A func
ao f (z) = z1 e uma primitiva do valor principal do logaritmo no conjunto D = {z :
Re z > 0}. Dado que (log z) = 1z , qualquer que seja C D, log z + C e a expressao geral
das primitivas de 1z em D.
Consequ
encias do Teorema de Cauchy
Independencia do caminho de integracao
z1
1. A func
ao F (z) = cos z e uma primitiva de f (z) = sen z, visto que ( cos z) = sen z.
Dado que ( cos z + C) = sen z, qualquer que seja C C, cos z + C e a expressao geral
das primitivas de sen z.
2. Se f e g s
ao func
oes analticas, vimos que o seu produto e tambem uma funcao analtica
e (f g) = f g + f g . Ent
ao podemos deduzir a formula da primitivacao por partes
P (f g ) = f g P (f g)
Teorema Fundamental do C
alculo
(para func
oes analticas em conjuntos simplesmente conexos)
Se f e analtica num aberto simplesmente conexo, D C, e z0 D entao a funcao
Z z
F (z) =
f (z) dz
(1.18)
z0
EM C
1.5. INTEGRAC
AO
Demonstrac
ao:
Dado que f e analtica num aberto simplesmente conexo, D, o integral complexo nao
depende do caminho de integracao e, como tal, F (z) esta bem definida para z D. Para
z D arbitr
ario considere-se uma curva regular e simples em D unindo z0 a z. Defina-se
tambem r > 0 para o qual B(z, r) D, z1 B(z, r) e s o segmento de recta unindo z a
z1 . Ent
ao
Z
Z
f (w) dw
F (z) =
f (w) dw
F (z1 ) =
ent
E
ao f
acil verificar que
F (z) F (z1 )
f (z) =
z z1
=
R
R
f (z)(z z1 )
z z1
s f (w) dw
f (z)) dw
z z1
s (f (w)
Por continuidade de f em D, para qualquer > 0 existe r > 0 para o qual se tem
|f (w) f (z)| < sempre que |z w| < r. Assim
Z
F (z) F (z )
1
f (z)
|dw| =
z z1
|z z1 | s
Conclui-se que
lim
z1 z
F (z) F (z1 )
= f (z)
z z1
ou seja, para qualquer z D tem-se que F (z) = f (z), pelo que F e analtica e e uma
primitiva de f em D.
Observe-se que, na demonstrac
ao do teorema fundamental do c
alculo, a analiticidade de f
e necess
aria apenas para estabelecer a independencia do integral do caminho de integracao;
desse facto resulta que a formula (1.18) define uma primitiva de f em D.
Exemplo:
Z
1
2
Vamos calcular o valor do integral
+ zez dz, sendo C a curva parametrizada
C z2
por (t) = 3 cos(t) + 2i sen(t), com t [0, 3/2].
2
Observe-se em primeiro lugar que a funcao zez e inteira, pelo que o teorema fundamental
do calculo e aplic
avel em D = C. Assim
Z
2 (3/2)
1 2 2i e4 e9
2
=
= ez
,
zez dz = P zez
2
2
3
(0)
C
2
2
onde P zez designa uma primitiva da funcao f (z) = zez . Por outro lado, dado que
1
, ha que ter o cuidado de escolher
todos os ramos de log(z 2) s
ao primitiva da funcao z2
um ramo que seja analtico num conjunto aberto que contenha a curva C. Para esse efeito,
69
CAPITULO 1. ANALISE
COMPLEXA
nio de analiticidade
considere o ramo do logaritmo tal que 4 arg (z2) < 7
4 ; o seu dom
e:
7
D = {z C : z = 2 + rei onde < <
e r > 0}.
4
4
Para z D, vamos ent
ao usar o ramo:
log(z 2) = log |z 2| + i arg (z 2),
onde
7
arg (z 2) <
.
4
4
d
1
Trata-se de uma func
ao analtica em D, com C D e dz
log(z 2) = z2
para qualquer
z D. Pelo Teorema Fundamental do Calculo (para funcoes primitivaveis):
Z
(3/2)
1
3
5
= log(2i 2) log(3 2) = log 2 + i .
dz = log(z 2)
z
2
2
4
(0)
C
Finalmente:
Z
e4 e9 3
2
5
1
+ zez dz =
+ log 2 + i
2
2
4
C z2
f (z) dz =
n I
X
i=1
f (z) dz
Exemplo:
1. Sendo z0 um ponto qualquer de C e uma curva de Jordan tal que z0 6 . Entao
I
1
0
se z0 6 int
dz =
2i se z0 int
z z0
Num exemplo anterior, j
a tinhamos concluido que o integral e 0 se z0 e um ponto
exterior `
a curva e, efectuando o calculo pela definicao, que
I
1
dz = 2i
|zz0 |=R z z0
onde a curva e percorrida em sentido positivo. O Teorema de Cauchy generalizado permite concluir que se for percorrida positivamente e estiver nas condicoes enunciadas,
se tem
I
I
1
1
dz =
dz = 2i
|zz0 |=R z z0
z z0
sendo R > 0 escolhido de forma a que D(z0 , R) int . Idem para o sentido negativo.
70
EM C
1.5. INTEGRAC
AO
2. Sendo uma curva de Jordan percorrida em sentido directo e tal que 1 6 . Entao
0
se 1 ext
1
i
se 1 int e 1 ext
dz =
2
i
se
1 int e 1 ext
z 1
0
se 1 int
De facto:
se 1 n
ao pertencem `
a regiao interior a o resultado e uma consequencia imediata
do teorema de Cauchy;
para o caso em que 1 pertence `a regiao interior a e 1 pertence `a sua regiao ex1
e analtica num conjunto aberto e simplesmente conexo
terior, observa-se que z+1
contendo e, como tal, e aplicavel a F
ormula Integral de Cauchy
I
1
z+1
1
dz =
2
z 1
z1
dz = 2i
1
= i
z + 1 z=1
1
dz =
2
z 1
1
z1
z+1
dz = 2i
1
= i
z 1 z=1
por u
ltimo, se tanto 1 como -1 pertencem `a regiao interior `a curva , pelo teorema
de Cauchy generalizado
I
I
I
1
1
1
dz =
dz +
dz = 0
2
2
2
1 z 1
2 z 1
z 1
em que 1 e qualquer curva de Jordan percorrida em sentido positivo e tal que 1
int 1 e 1 6 int 1 1 , e 2 e qualquer curva de Jordan percorrida em sentido
positivo e tal que 1 int 2 e 1 6 int 2 2 .
Generalizac
ao do Teorema de Cauchy
Pelo teorema de Cauchy generalizado, tem-se que, para qualquer > 0 tao pequeno que o
disco centrado em z0 de raio esteja contido em int :
I
I
f (z) dz
f (z) dz =
|zz0 |=
71
CAPITULO 1. ANALISE
COMPLEXA
Tomou-se, para a circunferencia, a mesma orientacao que a de . Alem disso:
I
I
I
f (z) dz =
f
(z)
dz
|f (z)||dz|
Fazendo 0 obtem-se
|zz0 |=
|zz0 |=
M |dz| =
I
f (z) dz 0
|zz0 |=
|zz0 |=
|dz| = 2M
f (z) dz = 0
F
ormula Integral de Cauchy
Dem.
Dado que f e analtica em int , entao a funcao (de z)
(
f (z)f (z0 )
se z =
6 z0
zz0
g(z) =
f (z0 )
se z = z0
e analtica em int \ {z0 }. Atendendo a que f tem derivada em z0 ,
lim g(z) = lim
zz0
zz0
f (z) f (z0 )
= f (z0 ) = g(z0 ),
z z0
z z0
z z0
|
{z
}
=0
Exemplos:
1. Vamos calcular
ez
dz
z 2
sendo qualquer curva de Jordan em C orientada positivamente e tal que 2 int . Dado
que f (z) = ez e inteira, estamos nas condicoes da formula integral de Cauchy pelo que
podemos concluir que:
I
ez
/2
.
dz = 2if 2 = 2ie
z 2
72
EM C
1.5. INTEGRAC
AO
2. Vamos calcular
z
dz
2z + 1
dz =
2
1
2z
+
1
2
2
2
z+ 2
3. Vamos calcular
cos z
dz
+ 9z
z3
cos z
dz =
3
z + 9z
cos z
z 2 +9
dz = 2i
cos z
2i
=
2
z + 9 z=0
9
onde utiliz
amos a formula integral de Cauchy e o facto de a funcao f (z) =
num aberto, simplesmente conexo contendo (por exemplo |z| < 2),
cos z
z 2 +9
ser analtica
f e uma func
ao analtica em D.
Demonstrac
ao:
Sendo z D arbitr
ario e f analtica em D, para qualquer curva de Jordan, , contida em
D, percorrida em sentido directo e tal que z int , tem-se que
I
f (w)
1
dw
f (z) =
2i w z
Em particular, para r > 0 t
ao pequeno que D(z, r) D, tem-se que
f (z) =
1
2i
|wz|=r
f (w)
dw
wz
h0 2i |wz|=r h w (z + h)
wz
I
1
1
=
f (w)
lim
dw
2i h0 |wz|=r
(w z h)(w z)
f (z) =
lim
73
CAPITULO 1. ANALISE
COMPLEXA
Vamos mostrar que
lim
h0 |wz|=r
f (w)
dw =
(w z h)(w z)
|wz|=r
f (w)
dw
(w z)2
Para tal
I
I
f
(w)
f
(w)
dw
dw
2
|wz|=r (w z h)(w z)
(w
z)
|wz|=r
I
h
f (w)
=
dw
|wz|=r
(w z h)(w z)2
I
|h|
|dw|
|f (w)|
|w z h| |w z|2
|wz|=r
I
M |h|
1
|dw|
2
r
|wz|=r |w z h|
onde M denota o m
aximo de |f | na circunferencia |w z| = r. Atendendo a que
|w z h| |w z| |h| r |h|
I
I
f
(w)
f
(w)
dw
dw
2
|wz|=r (w z h)(w z)
(w
z)
|wz|=r
I
M |h|
|dw|
r 2 r |h| |wz|=r
=
2M |h|
0 quando h 0
r r |h|
Demonstr
amos assim que se f e analtica em D, a sua derivada satisfaz a formula
1
f (z) =
2i
f (w)
dw
(w z)2
para qualquer curva de Jordan em D percorrida em sentido directo e tal que z int .
Repetindo o argumento anterior verifica-se que para qualquer z D
2
f (z) =
2i
f (w)
dw
(w z)3
para qualquer curva de Jordan em D percorrida em sentido directo e tal que z int .
Conclui-se que a derivada de f esta bem definida e existe em D pelo que f e analtica em
D.
74
EM C
1.5. INTEGRAC
AO
F
ormula Integral de Cauchy Generalizada
ez
dz
(z 1)4
onde se supoe que a curva e percorrida uma vez em sentido directo. Comecamos por observar
ez
que a func
ao (z1)
e analtica em C \ {1}, pelo que nao e analtica na regiao interior `
a
4
z
curva, e como tal n
ao e aplic
avel o Teorema de Cauchy. Consideremos a funcao f (z) = e ,
que e uma func
ao inteira; para z0 = 1 (que pertence `a regiao interior `a curva) estamos
em condic
oes de aplicar a formula integral de Cauchy generalizada para a derivada de f de
ordem n = 3. Assim:
I
ez
2i z
ei
dz
=
e
=
4
3!
3
z=1
|z|=2 (z 1)
2. Pretendemos calcular o valor do integral
I
log(z + 3)
dz
2 2
|z|=2 z (z + 9)
onde se considera que a curva e percorrida uma vez em sentido directo e log z representa o
valor principal do logaritmo. A funcao f (z) = zlog(z+3)
a definida em C \ {3i, 3i, 3, 0}
2 (z 2 +9) est
e e analtica em
C \ {0, 3i, 3i} {x R : x 3}
log(z + 3)
,
z2 + 9
pelo que vimos acima, f e analtica em D. Entao, e usando a formula integral de Cauchy
para a derivada de ordem 1,
I
|z|=2
log(z + 3)
dz =
z 2 (z 2 + 9)
|z|=2
log(z+3)
z 2 +9
z2
|z|=1
75
log(z + 3)
2i
=
dz = 2i
z2 + 9
27
z=0
f (z)
dz
z3
CAPITULO 1. ANALISE
COMPLEXA
em que f : C C e uma func
ao de domnio C tal que
Re f (x + iy) = u(x, y) = y 3 x3 + 3xy 2 3x2 y ,
e a curva e percorrida uma vez em sentido horario. Atendendo a que
u C 2 (R2 ) .
para quaisquer x, y R2
u =
2u 2u
+ 2 =
3x2 + 3y 2 6xy +
3y 2 + 6xy 3x2 = 0
2
x
y
x
y
Usando as notac
oes u
=Re f e v =Im f , entao
u
v
f (z) =
f (z) =
+i
x
x
3x2 + 3y 2 6xy + i
3y 2 6xy + 3x2
=
x
x
= 6x 6y + i(6y + 6x)
Finalmente
I
|z|=1
f (z)
dz
=
i
6x
6y
+
i(6y
+
6x)
=0
3
z
(x,y)=(0,0)
Consequ
encias das f
ormulas integrais de Cauchy
Teorema de Morera
Se D C e aberto e f : D C e contnua e
I
f (z) dz = 0
EM C
1.5. INTEGRAC
AO
Demonstrac
ao:
Seja w D arbitr
ario e considere-se > 0 para o qual D(w, ) D
defina-se a func
ao
Z z
f () d
F (z) =
14 .
Para z D(w, ),
Se f e uma func
ao inteira e limitada entao f e constante.
Demonstrac
ao:
Dado que f e inteira, a F
ormula integral de Cauchy permite concluir que f e inteira e para
todo z C se tem
I
f (w)
1
dw
f (z) =
2i |wz|=R (w z)2
onde a circunferencia de centro em z e raio R > 0 arbitrario, e percorrida uma vez em
sentido positivo. Ent
ao
1 I
f (w)
dw
|f (z)| =
2i |wz|=R (w z)2
I
f (w)
1
|dw|
2 |wz|=R (w z)2
Por outro lado, visto f ser limitada, existe M > 0 para o qual
|f (z)| M
Entao
1
|f (z)|
2
|wz|=R
z C
M
M
|dw| =
2
R
r
77
CAPITULO 1. ANALISE
COMPLEXA
Demonstrac
ao:
P (z) 6= 0
o que implica de imediato que a funcao 1/P (z) e inteira. Por outro lado, visto |P (z)|
quando |z| , existe R > 0 tal que
1
<1
P (z)
se
|z| > R
(1.19)
|z| R
(1.20)
se
As desigualdades (1.19) e (1.20) permitem afirmar que 1/P (z) e limitada em C. Pelo
Teorema de Liouville conclui-se que 1/P (z) e constante, o que constitui uma contradicao.
Desigualdade de Cauchy
Se f e uma func
ao analtica num conjunto aberto e simplesmente conexo D C, z0 D e
escolha-se r > 0 tal que {z : |z z0 | = r} D. Entao
|f (n) (z0 )|
M n!
rn
n N0
sendo M R+ o m
aximo de |f (z)| em Br (z0 ).
1.6
1.6.1
S
eries de Pot
encias
Analiticidade de uma S
erie de Pot
encias
P
n
Recordamos que uma serie de potencias
encia R e abson=0 an (z z0 ) com raio de converg
lutamente convergente em para |z z0 | < R, pelo que a serie define uma funcao complexa de
varavel complexa em D(z0 , R).
Pode-se provar que
f (z) =
n=0
an (z z0 )n
n=1
nan (z z0 )n1
78
1.7. SERIES
DE TAYLOR
Tambem se pode mostrar que
Z
f (w) dw =
an
n=0
X
an
(z z0 )n+1 (a z0 )n+1
(w z0 ) dw =
n+1
n=0
para qualquer curva regular, , contida em D(z0 , R) e onde a e z representam os pontos inicial
e final de , respectivamente. Em consequencia, as primitivas de f (z) sao dadas por
C+
X
an
(z z0 )n+1 ,
n+1
n=0
C C.
X
an (z z0 )n em |z z0 | < R
f (z) =
n=0
1.7
S
eries de Taylor
1.7.1
Teorema de Taylor
X
f (n) (z0 )
n=0
n!
(z z0 )n
quando |z z0 | < R
R e o supremo dos n
umeros reais positivos, , para o quais o disco D(z0 , ) esta contido no
domnio de analiticidade de f , isto e, R e a distancia de z0 `a fronteira de D.
Nota: conclui-se dos teoremas anteriores que afirmar que uma funcao f e analtica (ou
holomorfa) num ponto z0 C e equivalente a afirmar que f (z) admite uma representacao em
serie de potencias de z z0 v
alida numa vizinhanca de z0 .
A serie
X
f (n) (z0 )
n=0
n!
79
(z z0 )n
CAPITULO 1. ANALISE
COMPLEXA
No caso particular z0 = 0 a serie
X
f (n) (0)
n=0
n!
zn
ii)
X
f (n) (z0 )
(n 1)!
n=1
f (w) dw =
(z z0 )n1
X
f (n) (z0 )
n=0
(n + 1)!
(z z0 )n+1 (a z0 )n+1
onde e uma curva seccionalmente regular contida em D(z0 , R) e a, z sao o extremo inicial e
final (resp.) de . Em consequencia, as primitivas da serie de Taylor de f (z) em torno de z0 sao
C+
X
f (n) (z0 )
n=0
(n + 1)!
(z z0 )n+1 ,
X
f (n) (z0 )
(z z0 )n
f (z) =
n!
n=0
Sendo D o domnio de analiticidade de f , considere-se R o maior real positivo para o qual se tem
D(z0 , R) D. Para qual quer z D(z0 , R), defina-se R0 = |z z0 | e escolha-se R1 ]R0 , R[.
Sendo = {w : |w z0 | = R1 } percorrida em sentido directo, por aplicacao da formula Integral
de Cauchy tem-se que
I
f (w)
1
dw
f (z) =
2i w z
Por outro lado, e tendo em conta o valor da soma da serie geometrica, temos que
X (z z0 )n
1
1
1
1
=
=
=
zz0
wz
w z0 (z z0 )
w z0 1 wz
(w z0 )n+1
n=0
0
dado que, pela escolha que fizemos de R1 :
zz R
0
0
< 1.
=
w z0
R1
80
1.7. SERIES
DE TAYLOR
Assim:
1
f (z) =
2i
X
(z z0 )n
f (w)
dw
(w z0 )n+1
n=0
Atendendo a que a serie geometrica pode ser integrada termo a termo em D(z0 , R1 ) (pois R1 <
R), entao:
I
h
i
X
f (w)
1
dw
(z z0 )n
f (z) =
n+1
2i
(w
z
)
0
n=0
Usando a formula integral de Cauchy generalizada, obtem-se o resultado.
Exemplos de S
eries de Mac-Laurin:
f (z) = ez . Dado que para qualquer n N se tem f (n) (z) = ez , os coeficientes da serie de
Mac-Laurin da func
ao exponencial sao
f (n) (0)
1
=
n!
n!
an =
e =
X
zn
n=0
z C
n!
Para qualquer z C
X
eiz eiz
(1)n z 2n+1
1 X z n in (1 (1)n )
1 X z n in
sen z =
=
=
=
2i
2i
n!
i
n!
(2n + 1)!
n=0
n=0
n=0
n mpar
X
(1)n z 2n
n=0
(2n)!
1
d X n X d n X n1 X
d
1
nz
=
(k + 1)z k
z =
z =
=
=
(1 z)2
dz 1 z
dz n=0
dz
n=1
n=0
k=0
1
dz =
1z
Z X
n=0
z dz =
Z
X
n=0
X
z n+1
z dz =
+C
n+1
n
n=0
CAPITULO 1. ANALISE
COMPLEXA
o domnio de convergencia da serie e |z| < 1. Atendendo a que o valor principal de log 1 e
0, tem-se que
Desta forma:
log(1 z)
z=0
X
z n+1
+ C
n+1
z=0
n=0
X
z n+1
log(1 z) =
n+1
n=0
C = 0.
|z| < 1
z
z+i
X
(1)n 2n+1 i2n+1
(2n + 1)!
n=0
= i
(z i)2n+1
2n+1
(z i)2n+1
(2n
+
1)!
n=0
sendo a igualdade v
alida em C. Por outro lado
1
1
1
=
=
z+i
(z i) + 2i
2i 1 +
zi
2i
=
1 X (1)n
(z i)n
2i
(2i)n
n=0
z i
< 1, ou seja, em |z i| < 2. Por u
ltimo
sendo a igualdade v
alida em
2i
z = (z i) + i
1 X
X
(1)n
2n+1
2n+1
(z i)
+ (z i) + i
(z i)n
f (z) = i
n
(2n
+
1)!
2i
(2i)
n=0
n=0
X
X
2n+1
(1)n
2n+1
= i
(z i)
+
(z i)n+1
(2n + 1)!
(2i)n+1
n=0
n=0
+i
n=0
(1)n
(z i)n
(2i)n+1
82