Analise Complexa e Equacoes Diferenciais

Analise Complexa e Equacoes Diferenciais
Notas Sobre as Aulas Teoricas

Joao Teixeira, Maria Joao Borges
2o Semestre de 2014/15
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
Teorema de Cauchy e suas consequencias

de Potencias . . . . . . . . . . . . . . . .
Analiticidade de uma Serie de Potencias .
de Taylor . . . . . . . . . . . . . . . . . .
Teorema de Taylor . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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.
No seu compendio de Algebra,

Al-Khawarizmi (780-850) apresenta a solucao de varios tipos
de equacoes quadr
aticas, que est
ao de acordo com a formula resolvente que hoje consta dos
programas do ensino secund
ario, quando restrita a solucoes positivas. Sob o califa al-Mamun,
cujo reinado ocorreu entre os anos 813 e 833, em Bagdad, al-Khawarizmi tornou-se membro da
Casa da Sabedoria (Dar al-Hikma), uma especie de academia cujos estudos incidiam sobre a
algebra, geometria e astronomia. A foram efectuadas traducoes em arabe de obras do perodo
greco-romano, o que salvou algumas delas da destruicao.
O compendio de Al-Khawarizmi e um manual eminentemente pr
atico, em estilo retorico (sem
formulas) seguindo a tradic
ao babil
onia e hindu da resolucao de problemas praticos de agrimensura
e contabilidade, mas contendo tambem demonstracoes geometricas das solucoes dos problemas,
inspiradas nos metodos gregos. Al-Khwarizmi enunciou seis casos distintos de equacoes do segundo
e primeiro grau; em notac
ao moderna, temos: (1) ax2 = bx, (2) ax2 = c, (3) bx = c, (4)
ax2 + bx = c, (5) ax2 + c = bx e (6) bx + c = ax2 . Isto era necessario pois os matematicos desse
tempo nao reconheciam coeficientes nulos nem n
umeros negativos. Al-Khwarizmi apresentou
sistematicamente as soluc
oes de cada um desses problemas algebricos, e que eram conhecidas
desde o tempo dos babil
onios, mas acrescentou-lhes demonstracoes geometricas, inspiradas nos
Elementos de Euclides.
Visto que n
ao considerava n
umeros negativos, o seu estudo nao levou
umero como sendo uma das

à introduc
ao de 1, como hoje e feito quando se define esse n
solucoes de x2 = 1.
Os metodos da
algebra conhecidos pelos arabes foram difundidos em Italia pela traducao em
latim da obra de al-Khawarizmi, feita por Gerard de Cremona (1114-1187). Mas foi o trabalho
matematico de Leonardo Pisano (1170-1250), mais conhecido pelo seu pseud
onimo, Fibonacci,
que mais efectivamente difundiu a notacao numerica e a algebra em uso pelos arabes.
Ao tempo, Pisa era uma importante cidade comercial, que servia de n
o a muitas rotas comerciais do Mediterr
aneo. Guglielmo Bonacci, o pai de Fibonnaci, era um despachante (ou, segundo
outros, um oficial aduaneiro) numa cidade hoje situada na Argelia, de nome Bejaa, anteriormente
conhecida por Bugia ou Bougie, e de onde velas de cera eram exportadas para a Europa. Em
Franca, as velas ainda hoje s
ao denominadas bougies. Fibonacci foi assim educado no norte de
1
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à, 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
1.1. NOTAS HISTORICAS

SOBRE NUMEROS
COMPLEXOS
ficassem descontentes com o nvel ou a qualidade do ensino, podiam suspender sumariamente
o pagamento. Um professor que casse em desgraca podia ser forcado a deixar a escola, ou
mesmo a cidade. Para lutar pela sua reputacao, assegurando assim a subsistencia, os professores
participavam em competic
oes p
ublicas em que o vencedor ganhava prestgio e, presumivelmente,
um maior n
umero de alunos. O formato destas competicoes era a de um duelo: o desafiante
iniciava a contenda propondo uma lista de problemas a um professor mais famoso, enquanto o
desafiado ripostava com uma lista de problemas de dificuldade comparavel. Ela declarado vencedor
aquele que conseguisse um maior n
umero de respostas correctas. Em tal atmosfera, o guardiao de
uma nova soluc
ao ou tecnica de demonstracao dispunha de uma vantagem consideravel sobre os
seus potenciais concorrentes. O segredo era, assim, muito importante, sendo que um matematico
nunca sentia grande interesse pela publicacao das suas mais importantes descobertas.
Deste modo, a descoberta de del Ferro nao foi comunicada à comunidade matematica, pelo
que as ideias novas que introduzia (e suscitava) nao tiveram impacto imediato. A morte de
del Ferro, em 1526, permitiu a um seu discpulo, Fiore, libertar-se da promessa de sigilo que
havia contrado. Fiori n
ao perdeu muito tempo e, em 1530, desafiou Tonini da Coi para uma
competicao. Incapaz de resolver os problemas, Tonini da Coi desafiou por sua vez um seu rival,
Niccolò Tartaglia. Nessa ocasi
ao, Tartaglia respondeu que esses problemas eram impossveis. Mas
quando, em 1535, Fiori o desafiou directamente, Tartaglia descobriu sozinho a solucao e ganhou
mesmo a competic
ao, ao conseguir resolver tambem a equacao reduzida no caso (b).
Uma dificuldade com estas equacoes, que e visvel no caso (b) mas que nao aparece no
caso (a), e a possibilidade de aparecer a raiz quadrada de um n
umero negativo como resultado
intermedio do c
alculo de uma soluc
ao real positiva. Utilizando notacao moderna, a deducao e
simples. Substituindo x = u + v em x3 = px + q obtem-se:
(u + v)3 = u3 + v 3 + 3uv(u + v) = p(u + v) + q
Fazendo 3uv = p na equac
ao acima
obtem-se o sistema:
u3 + v 3 = q
e u3 v 3 =
p 3
3
Deste sistema resulta uma equac

ao quadratica em u3 , (u3 )2 + p3
obtem:
r
r
q
q
3
+ w + 3 w,
x=u+v =
2
2
onde
3
= qu3 , de cuja solucao se
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 à 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

SOBRE NUMEROS
COMPLEXOS
isso, Cardano viu-se na obrigac
ao de escrever e assim progride a subtileza da aritmetica sendo o
desgnio da mesma, como se diz, t
ao refinado quanto in
util.
Em 1463, o humanista Johannes M
uller, mais frequentemente designado pelo pseud
onimo Regimontanus, comunicou que havia descoberto os optimos livros de Diofanto, o maior algebrista
grego e que viveu em Alexandria provavelmente na segunda metade do seculo III da nossa era. O
livro mais importante que escreveu e a Aritmetica, onde introduz uma notacao simb
olica similar `
a
que fora sido desenvolvida ate ao seculo XVI, com smbolos diferentes para uma incognita, para o
quadrado de uma incognita, para o cubo, etc, e onde resolvia equacoes e inequacoes utilizando o
que ele designou por formulas inderminadas, e que sao de facto propriedades algebricas genericas,
hoje descritas atraves de formulas com quantificadores. Ate ao Renascimento, a Aritmetica de
Diofanto fora descoberta e traduzida varias vezes, a primeira das quais realizada por al-Karaji,
em Bagdad, no seculo X. Porem, nunca ate entao a obra tinha conseguido imp
or-se aos metodos
geometricos de Euclides, largamente difundidos por al-Khwarizmi e, no Ocidente, por Fibonacci.
Considere-se, por exemplo, o seguinte problema do tomo II desse tratado: Encontrar tres
n
umeros tais que o quadrado de qualquer um deles menos o seguinte da um quadrado. Usando
notacao moderna para descrever a solucao de Diofanto, ele tomou x + 1, 2x + 1, e 4x + 1 como
os tres n
umeros pretendidos e verificou que satisfaziam as seguintes condicoes:
(x + 1)2 (2x + 1) = x2 ,
(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 à 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,
à 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
umeros complexos. Por exemplo,

irreducibilis, introduzindo a notac
ao 1 nas operacoes com n
ele considera a equac
ao
x3 = 15x + 4,
para a qual a formula de Cardano d
a a solucao:
q
q
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 à que imaginamos.
John Wallis (1616-1703), na sua Algebra, fez notar que os n
umeros negativos à 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

SOBRE NUMEROS
COMPLEXOS
Abraham de Moivre conhecia este resultado e usou-o varias vezes, mas e devido a Euler o primeiro
enunciado explcito do mesmo.
Leonhard Euler (1707-1783) nasceu em Basileia, na Suica, mas viveu a maior parte da sua
vida em S. Petersburgo e em Berlim. Privou com figuras importantes da hist
oria mundial como
Frederico II (o Grande) da Pr
ussia e a czarina Catarina (a Grande) da R
ussia.
Euler e considerado um dos melhores e mais produtivos matematicos de todos os tempos.
A sua obra tocou tantas
areas distintas que e impossvel descreve-la em poucas linhas. Alguns
dos seus maiores sucessos devem-se a` facilidade com que ele formulava problemas da vida real
utilizando para tal a linguagem da an
alise matematica. Tal era a atmosfera que se vivia depois
do sucesso de Newton e de Leibniz na criacao do calculo diferencial, assunto que Euler depois
desenvolveu sem ter deixado de tornar os seus fundamentos consideravelmente mais simples de
compreender e de aplicar.
Euler introduziu a notac

ao abreviada i = 1; alem disso, muita da notacao da analise
matematica moderna como, por exemplo, a representa
cao de uma funcao generica por f (x), a
P
notacao actual das func
oes trigonometricas, o smbolo
usado em somatorios e series, a ele se
deve. Euler vizualizava correctamente os n
umeros complexos como pontos do plano, da mesma
forma que hoje o fazemos, embora n
ao tenha explicitado uma construcao dos n
umeros complexos
baseada nessa ideia. Tambem introduziu a representacao polar, x + iy = r(cos + i sen );
descobriu que as soluc
oes da equac
ao z n = 1 sao vertices de um polgono regular de n lados;
definiu a exponencial complexa a partir de
ei = cos + i sen
Um caso particular desta identidade,
ei = 1,
foi considerada por Richard P. Feynman a formula mais notavel da matematica, por relacionar
de forma simples os tres n
umeros n
ao racionais, , e e i, mais conhecidos. O seu estudo da
exponencial permitiu-lhe definir logaritmos de n
umeros reais negativos, e mostrar que so podiam
ser n
umeros complexos.
A primeira definic
ao consistente de n
umero complexo e devida ao noruegues Caspar Wessel
(1745-1818). Em 1799, Wessel publicou o artigo On the Analitic Representation of Direction:
An Attempt nas Memoirs da Royal Danish Society of Mathematics. Wessels paper, escrito
em dinamarques, passou despercebido, e a sua importancia so foi reconhecida um seculo depois,
em 1897. A abordagem de Wessel recorre a vectores no plano: ele usou a soma de vectores
e definiu o produto de forma equivalente ao que hoje fazemos quando somamos os argumentos
e multiplicamos os m
odulos. Independentemente de Wessel, Jean-Robert Argand (1768-1822),
um bibliotec
ario parisiense que se pensa nao ter tido educacao formal em matematica, mandou
imprimir numa gr
afica comum, em 1806, uma brochura an
onima com o ttulo Ensaio sobre a
Intepretacao Geometrica de Quantidades Imaginarias. A. Legendre obteve uma copia deste texto,
que o mencionou numa carta a um irm
ao de Jacques Francais; este u
ltimo publicou, em 1813, um
artigo nos Annales de Mathematiques com a definicao basica dos n
umeros complexos. No u
ltimo
paragrafo do seu artigo, Jacques reconheceu a importancia da carta de Legendre, e pediu ao autor
an
onimo que se identificasse. Argand tomou conhecimento disto, e a sua resposta encontra-se no
n
umero seguinte da revista.
porem sabido que Carl Friedrich Gauss (1777-1855) conhecia a representacao geometrica
E
dos n
umeros complexos desde 1796 mas nao a publicou ate 1831. Entretanto William Rowan
Hamilton (1805-1865), um importante fsico e matematico, cujas descobertas mais importantes
11

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
Define-se o conjunto dos n

umeros complexos como sendo

C = z = x + iy tal que x, y R, em que

i2 = 1
x e denominado parte real do complexo z, x = Re z, e y e denominado parte imaginaria do

complexo z, y = Im z.
Podemos considerar os n
umeros reais como sendo os complexos cuja parte imaginaria e 0.
Por outro lado, os complexos com parte real nula denominam-se imaginarios puros. De forma
simplificada
Im z = 0 z R , Re z = 0 z iR
Conjugado de um complexo:
Se z = x + iy, define-se o seu conjugado por
z = x iy
(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)
zw = (xa yb) + i(xb + ya)
O conjunto C munido destas operacoes diz-se um corpo, isto e

A soma tem as seguintes propriedades:
a soma de quaisquer n
umeros complexos e tambem um n
umero complexo (fechado
para a soma)
Se z, w C z + w C
prorpiedade associativa
z + (w + u) = (z + w) + u = z + w + u
propriedade comutativa
z+w =w+z
existencia de elemento neutro, 0

z+0=z
existencia de inverso aditivo (simetrico), representado por z
z + (z) = 0
O produto tem as seguintes propriedades:
o produto de quaisquer n
umeros complexos e tambem um n
umero complexo (fechado para o produto)
Se z, w C zw C
propriedade associativa
z(wu) = (zw)u = zwu
propriedade comutativa
zw = wz
existencia de elemento neutro, 1

1z = z
existencia de elemento absorvente 0
0z = 0
todos os complexos diferentes de 0 tem inverso multiplicativo (inverso), representado por 1z
1
z( ) = 1
z
13

CAPITULO 1. ANALISE
COMPLEXA
verifica-se a propriedade distributiva do produto relativamente à 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 =
facil de mostrar que para z = x + iy C, se tem

E
Re z =
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)
Pelas propriedades de corpo, os n

umeros complexos verificam as mesmas propriedades algebricas
dos n
umeros reais. Em particular a importante lei do anulamento do produto:
zw = 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
Como consequencia das propriedades comutativa e associativa do produto, verificam-se as propriedades

z n wn = (zw)n
,
z n z p = z n+p
Podemos ent
ao definir um polin
omio como sendo
P (z) = an z n + an1 z n1 + ... + a1 z + a0
em que ao , a1 , ... an s
ao constantes complexas. Mais tarde demonstraremos o seguinte resultado:
Teorema Fundamental da Algebra

Se P (z) e um polin
omio de grau n N entao P admite exactamente n razes (contando com
multiplicidades).
Isto significa, que se P e um polin
omio de grau n N, existem n complexos z1 , ..., zn tal que
P (zk ) = 0 para todo k = 1, ..., n e como tal podemos escrever o polin
omio na forma factorizada
P (z) = an (z z1 )...(z zn )
4
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
Cada elemento x + iy C, pode ser identificado com o ponto (x, y) do plano R2 .

Na figura (1.1) podemos observar uma representacao geometrica de C. Nela, as rectas verticais
representam os complexos com a mesma parte real, Re z = , e as rectas horizontais representam
os complexos com a mesma parte imaginaria, Im z = . Assim, cada complexo z = + i, e
unicamente representado pela interseccao de duas rectas Re z = e Im z = .
Im z
Re z =
Im z =
z = + i
Re z
Figura 1.1: O Plano Complexo.
Em particular, Im z = 0 e o eixo real, Re z = 0 e o eixo imaginario e a sua interseccao e a

origem.
Tal como em R2 , podemos tambem usar as coordenadas polares para representar um n
umero
complexo. Assim, se z = x + iy C, denomina-se por m
odulo de z, o n
umero real
p
|z| = x2 + y 2 .
Por outro lado se z 6= 0, denomina-se por argumento de z qualquer n

umero real que verifique
as igualdades
x = |z| cos
e
y = |z| sen .
Isto implica que
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 =
Por agora apenas para simplificar a escrita, introduzimos a notacao:

cos(arg z) + i sen(arg z) = eiarg z
Com esta abreviatura, a representac

ao de um complexo na forma polar reduz-se a |z|eiarg z . Na
figura (1.2) encontra-se a representacao geometrica de um complexo em coordenadas polares.
16

1.2. NUMEROS
COMPLEXOS
Im z
arg z =
z = rei
r
Re z
|z| = r
Figura 1.2: Representacao polar de um numero complexo.
Nestas coordenadas, as semi-rectas com origem em 0 representam os complexos com o mesmo

argumento, arg z = , e as circunferencias centradas na origem representam os complexos com o
mesmo m
odulo, |z| = r. Assim, cada complexo z = rei , e representado pela interseccao de uma
semirecta com uma circunferencia.
Euler definiu a exponencial de um n
umero imaginario por
ei = cos + i sen
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,
formula tambem devida a Euler e que relaciona os tres n

umeros nao racionais mais conhecidos da
Matematica.
O valor do argumento de um complexo nao e u
nico:
se verifica a igualdade (1.4) entao + 2k, com k Z, tambem verifica (1.4).
17

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|2 + 2Re(zw) + |w|2 |z|2 + 2|zw| + |w|2
= |z|2 + 2|z| |w| + |w|2 = (|z| + |w|)2

Como consequencia desta desigualdade, tem-se que:
z, w C

|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)
arg (zw) = arg (z) + arg (w)
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
Para n 3, as razes ndice n de um n

umero complexo formam um polgono regular de n lados.
de notar que algumas propriedades das razes reais 5 nao sao satisfeitas pelas razes comE
plexas, mesmo se interpretadas no sentido da igualdade de conjuntos.
Exemplo:
1. Determinar todos os valores de
1 =
1 e
i. Por um lado
ei = ei
+2k
4
k = 0, 1, 2, 3 ,
pelo que as razes quartas de 1 estao representadas no conjunto

n i
o
3i
5i
7i
R1 = e 4 , e 4 , e 4 , e 4
.
Por outro lado
p
i = ei/2 = ei
+2k
2
2
= ei( 4 +k)
k = 0, 1 ,
e assim as razes quadradas de i estao representadas no conjunto

o
n i
5i
R2 = e 4 , e 4
obvio que R2 R1 pelo que 4 1 6= i. No entanto, a igualdade verifica-se para 2 das

E
5i
i
i
razes: e 4 e a sua simetrica, e 4 = e 4 .
Um exemplo de uma propriedade das razes reais n
ao satisfeita pelas complexas e: se x R+ , n, m e p N
ent
ao:
p
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 }
Por outro lado

2
2 q

4
8
4
1+i =
2 ei/4 =
2 ei
e assim os valore possveis de

4
1+i
2
+2k
4
4
2
2 ei
+2k
4
2
, k = 0, 1, 2, 3
estao representados no conjunto
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 .
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 }
Por outro lado

2 i 6 +2k 2 i 3 +4k
q
2 p
3
3
3
3
= 4e 3
, k = 0, 1, 2
3i =
2ei/6 =
2e 3
e assim os valore possveis de
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 .
De facto podemos enunciar a seguinte propriedade:
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
se e so se para qualquer > 0, existe N N tal que

se n N entao |zn L| < .
Esta definic
ao significa que dado qualquer erro > 0, existe uma ordem N N a partir da qual
todos os termos da sucess
ao (os termos zN +1 , zN +2 , . . .) sao aproximacoes do limite, L, com erro
inferior a .
Exemplos:
1. A sucess
ao zn =
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
Diz-se que zn e uma sucess

ao de Cauchy se e so se para qualquer > 0, existe N N tal que
se n, m N entao |zn zm | < .
Esta definic
ao e equivalente a:
lim
n,m+

zn zm = 0
Prova-se que uma sucess

ao complexa e convergente se e so se e uma sucessao de Cauchy.
Listamos em seguida algumas propriedades dos limites de sucess
oes complexas convergentes,
que nos permitem utilizar a algebra de limites conhecida das sucess
oes de termos reias convergentes.
Propriedades:
Se (zn ) e (wn ) s
ao sucess
oes complexas convergentes, entao
1. Se zn = xn + iyn e L = A + iB entao
L = lim zn A = lim xn e B = lim yn
n
2. (z n ) e convergente e lim zn = lim zn ;

3. A sucess
ao real (|zn |) e convergente e lim |zn | = |lim zn |.
4. (zn + wn ) e convergente e lim(zn + wn ) = lim zn + lim wn ;
5. (zn wn ) e convergente e lim(zn wn ) = lim zn lim wn ;
6. (zn wn ) e convergente e lim(zn wn ) = lim zn lim wn ;
7. se adicionalmente lim wn 6= 0, (zn /wn ) e convergente e lim(zn /wn ) = lim zn / lim wn .
22
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Limite infinito
Se (zn ) e uma sucess
ao complexa, definimos
lim zn =
n
sse M > 0 N N n N n > N |zn | > M
Nao entraremos em detalhe acerca do significado de limite infinito em C, no entanto e facil de

demonstrar que lim zn = e equivalente a cada uma das afirmacoes:
n
lim |zn | =
n
lim
n
1
=0
zn
Observa-se que se pelo menos uma das sucess

oes (Re zn ) ou (Im zn ) diverge para infinito, entao
a sucessao (zn ) ter
a tambem limite infinito. Porem, o recproco pode nao se verificar.
Tal como no caso real, a
agebra de limites nao e aplicavel quando pelo menos uma das
sucess
oes converge para infinito.
Exemplo:
Ex. 1 As sucess
oes (nein ) e (n + ni ) convergem para , tendo em conta que:
lim |nein | = lim n = e
n
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+
trigonometrica, z n = |z|n ein arg z , pode-se

se |z| < 1
se |z| > 1
se z = 1
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)
Dada uma sucess

ao de n
umeros complexos, zn , define-se formalmente serie de n
umeros complexos
ou serie numerica como a soma:
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
zn , a sucessao das somas parciais (SN )N N , por
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
S e denominado por a soma da serie.
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
zn tem a mesma natureza.
n=q
S
erie Geom
etrica
Para cada z C, a serie
z n denomina-se serie geometrica de razao z. Para z = 1, a serie
n=0
diverge. Para z 6= 1, a correspondente sucessao das somas parciais e dada por:

SN =
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
Se |z| 1 a serie geometrica de razao z e divergente.
1.3.4
Resultados Gerais de Converg

encia de S
eries Complexas
Condic
ao necess
aria `
a convergencia de uma serie
Se a serie
zn e convergente entao lim zn = 0.

n
n=0
Como consequencia directa desta propriedade (tomando o contra-recproco), tem-se:

Se lim zn 6= 0 entao a serie
n
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 e convergente sse as series reais
zn =
a serie
zn e
Re zn + i
Im zn sao ambas
Im zn .
vamente, ent
ao
Re zn e
Linearidade. Se as series
wn sao convergentes para as somas S e T , respecti-
X
(zn + wn ) e convergente e a sua soma e S + T .
n
para qualquer C, a serie
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
A serie harmonica e dada por:
X
1
n
n=1
Note-se que a sucess

ao das somas parciais desta serie verifica:
S2N SN =
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
Uma serie de Mengoli (ou serie telesc

opica) e uma serie da forma
n=1
zn zn+1
em que zn C, para todo o n N. A sua sucessao das somas parcias reduz-se a

SN = z1 zN +1 ,
pelo que a serie converge sse existe lim zn . Nesse caso:
n
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
Considere-se un uma sucess

ao de termos reais nao negativos. Sendo assim, a sucessao das somas
parciais associada `
a serie de termos geral un , (SN ) e monotona (crescente) e minorada (S1 SN
para qualquer N N). Conclui-se ent
ao que neste caso
X
un e convergente sse (SN ) e majorada.
26
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
pelo primeiro criterio geral de comparacao a serie
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,
vn tem a mesma natureza.
Nota: este resultado e consequencia simples do criterio geral de comparacao (porque?).

2o Crit
erio de Comparac
ao
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:
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
Seja un uma sucess

ao real de termos positivos tal que existe
un+1
l = lim
n un
Entao:
a) Se l < 1 a serie
un e convergente.
b) Se l > 1 a serie
un e divergente.
Nota: No caso l = 1, o criterio de DAlembert e inconclusivo.

Demonstrac
ao: A ideia generica desta prova e estabelecer uma comparacao da serie
com uma serie geometrica de razao, r, apropriada. Para tal:
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 à 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
. 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
pelo que, por aplicac

ao do Criterio de DAlembert, a serie
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:
2n+(1) . Comecamos por observar que o Criterio de DAlembert
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
Pode-se, por isso, concluir que lim

ao do criterio da raiz, a serie
2n+(1) e divergente.
n=0
Crit
erio da Raiz de Cauchy
Seja un uma sucess

ao real de termos nao negativos e defina-se
lim sup n un = l (finito ou infinito).

Entao
a) se l < 1 a serie
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 às 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
Assim sendo, a subsucess

ao dos termos pares de n un converge para 41 , mas a subsucessao
dos termos mpares de n un converge para 21 ; desta forma, o limite de n un nao existe. No
entanto, o conjunto dos sublimites da sucessao n un e

1 1
,
4 2
e assim
lim sup
n
un =
1
<1
2

ao do Criterio da raz de Cauchy, a serie
30
5
e convergente.
n )n
(3
+
(1)
n=0
1.3. SUCESSOES
E SERIES
DE NUMEROS
COMPLEXOS
Crit
erio do Integral
Seja f : [1, [ R uma func

ao contnua, positiva e decrescente. Se, para qualquer n N,
se tem f (n) = un , ent
ao
un e convergente sse existe (em R) o lim
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
decrescente, para qualquer n N se n x n + 1 entao un+1 = f (n + 1) f (x)

f (n) = un , o que implica que
Z n+1
un+1
.
f (x) dx
un
|{z}
| {z }
n
R
=
R n+1
n
f (n+1) dx
n+1
n
f (n) dx
Somando as desigualdades anteriores para n = 1, 2, . . . N 1, obtem-se:

S N u1 =
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
à conclus
ao que queramos obter.
1.3.9
S
eries de Dirichlet
Uma serie de Dirichlet e uma serie da forma
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
pelo criterio do integral, a serie converge.

Podemos ent
ao concluir que:
A serie de Dirichlet converge sse > 1.

A serie de Dirichet diverge sse 1.
31
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:
Se (un ) e uma sucessao de termos reais positivos, decrescente e tal
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 às 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
(aN +k aN +k+1 ) < aN +1

|
{z
}
>0
Se N + 1 e mpar, deduzimos do caso anterior que:

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
Para z0 C e an uma sucess

ao de termos complexos define-se a serie de potencias de z z0 (ou
serie de potencias centrada em z0 ) por:
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
Este conjunto e denominado regi

ao de convergencia de (1.8).
Pela mudanca de vari
avel w = z z0 , podemos reduzir o estudo da natureza de (1.8) ao caso
em que z0 = 0, que e:
n=0
an z n = a0 + a1 z + a2 z 2 + + an z n +
Qual e a forma do domnio de convergencia de uma serie de potencias? O seguinte resultado

permite obter uma resposta para esta questao.
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
absolutamente em todos os valores de z para os quais |z z0 | < | z0 |.

b) Se existe C \ {z0 } tal que
n=0
todos os valores de z para os quais |z z0 | > | z0 |.
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
M > 0 tal que |an n | M
para qualquer n N.
Tomando qualquer valor de z que verifique |z| < ||, define-se r =

Desta forma:
33
|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
a) A serie converge absolutamente no disco {z : |z z0 | < R}.

b) A serie diverge na regi
ao {z : |z z0 | > R}.
O disco de convergencia da serie de potencias e definido como sendo o interior da sua regiao de
convergencia, ou seja, a regi
ao dada por |z z0 | < R.
Apoiando-nos nos criterios de convergencia das series de termos nao negativos e no teorema
de Abel, podemos obter formulas para o calculo do raio de convergencia de (1.8). Assim:
O raio de convergencia da serie
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
. Por ser uma serie de potencias de centro em 2i e
o seu disco de convergencia sera

{z C : |z 2i| < R}
em que R e dado por (porque o limite existe)

a
5(n + 1)
n
=5
R = lim
= lim
n
n an+1
n
ou seja, o disco de convergencia e {z C : |z 2i| < 5}.

(in)n z n . Por ser uma serie de potencias de centro em 0 e coeficientes
n=1
an = (in)n , o seu disco de convergencia sera

{z C : |z| < R}
em que R e dado por (porque o limite existe)
R=
limn
1
p
n
!an |
= lim
n
1
=0
n
O disco de convergencia desta serie e e o sua regiao de convergencia e {0}.

35

CAPITULO 1. ANALISE
COMPLEXA
n(i)n (z + i)2n Mais uma vez, o seu disco de convergencia sera
n=0
{z C : |z + i| < R}
dado que o centro da serie e i. Visto que no desenvolvimento so ocorrem potencias de

expoente par, os coeficientes da serie sao dados por

n(i)n para n par
an =
0
para n impar

p

e e f
acil de perceber que n
ao existem lim an /an+1 e lim 1/ n |an |. Entao
n
R=
lim sup
p
n
|an |
sup{lim
n
n, lim 0}
=1
Conclui-se que a regi

ao e {z C : |z + i| < 1}. Em alternativa, poderemos considerar
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
f : D C C diz-se uma func

ao complexa de variavel complexa se a todo z D fizer
corresponder um e um s
o w = f (z) C. Nesse caso
D z = x + yi
w = f (z) = u(x, y) + iv(x, y) C
Seja D R2 o conjunto em R2 que corresponde geometricamente a D C, isto e:

(x, y) D
x + iy D
As funcoes u : D R2 R e v : D R2 R sao denominadas respectivamente, a parte real

e a parte imagin
aria de f . O conjunto D e denominado o domnio de f . Quando nada se diz
acerca de D, subentende-se que:

D = z C : f (z) est
a bem definido (em C)
e corresponde, em R2 , a:

D = (x, y) R2 : u(x, y) e v(x, y) est
ao bem definidos (em R)
(D e a intersecc
ao dos domnios de u e v).
Exemplos:
36
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
obvio que o domnio de f e C.

E
2. A func
ao f (z) =
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
f (x + yi) = (x + yi)2 4(x + yi) + x = (x2 y 2 3x) + (2xy 4y)i

pelo que
Re f = u(x, y) = x2 y 2 3x
Im f = v(x, y) = 2xy 4y.
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)
onde P (z) e Q(z) s

ao polin
omios. O domnio de f (z) e

D = z C : Q(z) 6= 0
37

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
ez = ex eiy = ex cos y + i sen y
A exponencial complexa e uma extensao da exponencial real ao plano complexo. O domnio da

exponencial complexa e C, e
Re ez = ex cos y , Im ez = ex sen y , |ez | = eRe z , arg ez = Im z
Desta forma podemos observar que as imagens por f (z) = ez de complexos com parte real constante (rectas verticais) s
ao complexos com m
odulo constante (circunferencias centradas na origem)
e a imagem de complexos com parte imaginaria constante (rectas horizontais) sao complexos com
argumento constante (semi-rectas com origem em 0) ver Figura 1.3.
Re z = a1
Re z = a0
ez
|z| = ea0
Im z = b0
Arg z = b0
|z| = ea1
Im z = b1
Arg z = b1
Figura 1.3: Transformacao de rectas horizontais e verticais por f (z) = ez .
Propriedades Elementares da Exponencial Complexa

Para todos z, w C,
Para todo z C
ez+w = ez ew
ez+2ki = ez
kZ
o que significa que a exponencial complexa e periodica de perodo 2i.

38
1.4. FUNC
OES
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
z = log |w| + i(arg w + 2k)
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
obvio que as func

E
oes sen z e cos z tem domnio C, enquanto que o domnio da funcao tg z e
C \ {z : cos z = 0} e o domnio da funcao cotg z e C \ {z : sen z = 0}.
As propriedades das func
oes trigonometricas complexas sao analogas às das funcoes trigonometricas reais, e podem ser facilmente justificadas a partir das suas definicoes. Em particular,
para quaisquer z, w C e k Z:
sen2 z + cos2 z = 1
sen(z + 2k) = sen z e cos(z + 2k) = cos z
tg(z + k) = tg z
cotg(z + k) = cotg z.
sen(z w) = sen z cos w sen w cos z
cos(z w) = cos z cos w sen z sen w
sen(z) = sen z
cos(z) = cos z .
O contadomnio das func
oes sen z e cos z e C. Isto significa que quando as funcoes reais seno
e coseno sao estendidas ao plano complexo, tanto as equacoes cos z = w como sen z = w passam
a ter soluc
ao para qualquer w C. Por periodicidade, essas equacoes tem uma infinidade de
solucoes pois se z e soluc
ao de cos z = w ou sen z = w, entao z + 2k tambem o e, para
qualquer k Z. Chama-se a atenc
ao que este facto implica, entre outras coisas, que as funcoes
sen z e cos z n
ao s
ao limitadas em C.
39

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
obvio que as func

E
oes sh z e ch z tem domnio C, enquanto que o domnio da funcao tgh z e
C \ {z : ch z = 0} e o domnio da funcao cotgh z e C \ {z : sh z = 0}.
Todas as igualdades verificadas pelas funcoes hiperbolicas reais sao tambem verificadas pelas
funcoes hiperbolicas complexas. Em particular, para quaisquer z, w C e k Z
ch2 z sh2 z = 1
sh(z + 2ki) = sh z
ch(z + 2ki) = ch z
sh(z w) = sh z ch w sh w ch z
ch(z w) = ch z ch w sh z sh w
sh(z) = sh z e ch(z) = ch z .
Logaritmo Complexo
Define-se logaritmo complexo por
w = Log z
ew = z
w = log |z| + i(arg z + 2k)
kZ
Observa-se que o logaritmo complexo esta bem definido em C \ {0}.

Atendendo a que os argumentos de z formam um conjunto infinito, da forma {+2k, k Z},
em que R e um argumento particular de z, entao tambem Log z tera uma infinidade de valores.
Como tal, Log designa aquilo que em analise complexa se chama uma funcao multivalente.
De forma a definir func
oes logaritmo complexo, log : C \ {0} C (que tomam um u
nico
valor, log z C) h
a que restringir o valor do argumento a um intervalo de comprimento 2,
intervalo esse onde o argumento de z e u
nico. Sendo assim, para qualquer z C e qualquer
R, define-se o ramo do logaritmo (resp. o valor do logaritmo) por:
log z = log |z| + i arg z
arg z [, + 2[
(Resp., arg z ], + 2] para o valor de log). O caso particular em que se considera o

argumento principal, isto e
arg z ] , ]
denomina-se valor principal do logaritmo.

Os ramos do logaritmo verificam algumas propriedades algebricas da funcao logaritmo real
apenas a menos de m
ultiplos de 2i. Mais rigorosamente, isto significa que para quaisquer
z, w C e m Z:
40
1.4. FUNC
OES
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
1. Determinar o valor principal de log(2 3 2i) + log(1 i) e de log (2 3 2i)(1 i) .

Por um lado
h
i
h
i
log (2 3 2i)(1 i) = log (4ei/6 )( 2e5i/4 )

i
h
i
h
= log (4 2e13 i/12 ) = log (4 2e11 i/12 )
=
5
11 i
log 2
2
12
Por outro lado
log(2 3 2i) + log(1 i) = log(4ei/6 ) + log( 2e3i/4 )
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
log(2 3 2i) + log(1 i) = log (2 3 2i)(1 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
Por outro lado

5

10i
12e2i/3 = log(12)
5 log( 3 3i) = 5 log
2
3
Verifica-se, neste exemplo, que para o valor principal do logaritmo

h
i
log ( 3 3i)5 = 5 log( 3 3i) + 4i

Pot
encia de Expoente Complexo
Para z C \ {0} e w C fixo, define-se ramo- da potencia de expoente w por:

z w = ew log z
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 ] , ]
denomina-se valor principal da potencia de expoente w.

Como exemplo, calculemos o valor principal de iw , onde w e um n
umero complexo de m
odulo
1 ou seja, w = ei , para certo ] , [. Temos:
i
2
wi = ei log w = ei log(e ) = ei(log 1+i) = ei = e .
Se quisessemos determinar o valor multivalente de wi , entao teramos que considerar todos os

possveis valores do argumento de w, que sao + 2k, com k Z. Neste caso, o resultado e:
n
o n
o
e2k : k Z = e+2j : j Z
1.4.3
Limites
Sendo f : D C e z0 D, define-se
L = lim f (z)
zz
> 0 > 0 |z z0 | < |f (z) L| <
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)
(admitindo que os limites existem).

Demonstrac
ao:
Em primeiro lugar, assumindo que existem os limites
lim
(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
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
o que demonstra que o limite lim f (z) = A + iB.

zz0
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|
(u(x, y) A)2 + (v(x, y) B)2 < .

Do resultado anterior e dos teoremas correspondentes da analise real, deduzimos o seguinte:

Proposic
ao:
Se existirem lim f (z) e lim g(z), tem-se que:
zz0
zz0
lim (f g)(z) = lim f (z) lim g(z);
zz0
zz0
zz0
lim (f g)(z) = lim f (z) lim g(z);
zz0
zz0
zz0
lim (f /g)(z) = lim f (z)/ lim g(z),
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
de observar que enquanto o c

E
alculo algebrico de limites em C e semelhante ao de R, a nocao
de limite em C e identica `
a de R2 6 .
As vizinhancas de um ponto em C e R2 s
ao discos centrados nesse ponto; ou seja, as vizinhancas em C e em
R s
ao topologicamente identicas.
6
43

CAPITULO 1. ANALISE
COMPLEXA
Exemplo:
Re z
representa uma indeterminacao do tipo 0/0. Escrevendo z = |z|ei
z0 z
Observa-se que lim

obtem-se
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
Conclui-se que lim
1.4.4
Continuidade:
Sendo f : D C e z0 D, diz-se que f e contnua em z0 se

lim f (z) = f (z0 )
zz0
Se f e contnua em todos z0 D diz-se que f e contnua em D. Demonstra-se que, se f = u+iv,

z0 = x0 + iy0 ent
ao f e contnua em z0 se e so se u(x, y) e v(x, y) sao contnuas em (x0 , y0 ).
Sendo assim, se f e g s
ao contnuas em z0 entao f + g, f g, f g e no caso de g(z0 ) 6= 0,
f (z)
ao contnuas em z0 . Se g e contnua em z0 e f e contnua em g(z0 ) entao f g e contnua
g(z) s
em z0 .
Estudo da Continuidade das Func
oes Elementares
1. A func
ao f (z) = z = x + iy e contnua em C, dado que Re f (z) = x e Im f (z) = y sao
contnuas em R2 .
2. Para cada n N, a func
ao f (z) = z n e contnua em C, dado que e o produto de funcoes
contnuas em C.
3. Uma func
ao polinomial e contnua em C dado que se obtem a partir da soma e produto de
funcoes contnuas em C.
4. Uma func
ao racional P (z)/Q(z) e contnua em C \ {z : Q(z) = 0}.
5. A func
ao exponencial f (z) = ez e contnua em C, dado que Re f (z) = ex cos y e Im f (z) =
ex sen y s
ao contnuas em R2 .
6. As func
oes sen z, cos z ch z e sh z sao contnuas em C (obtidas por composicao e soma de
funcoes contnuas em C).
44
1.4. FUNC
OES
COMPLEXA
7. Considere-se a func
ao valor principal do log z, isto e,
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
,
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
Diz-se que uma func

ao f : D C C tem derivada complexa (ou que e diferenciavel no sentido
de C) em z0 D se existe
lim
zz0
f (z + z) f (z)
f (z) f (z0 )
= lim
z0
z z0
z
Se o limite existir, define-se

f (z0 ) = lim
zz0
f (z) f (z0 )
z z0
Define-se Domnio de Diferenciabilidade como sendo o conjunto de pontos do domnio de f para

os quais existe derivada.
Exemplos:
45

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
2(z + h) (z + h)2 (2z z 2 )

h0
h

= lim 2 2z h = 2 2z
lim
h0
Conclui-se que f e diferenci

avel em C e
f (z) = 2 2z
z C
2. Para f (z) = f (x + iy) = 2x + 3iy, de domnio C, verifica-se que

f (z + h) f (z)
h0
h
lim
2(x + h1 ) + 3i(y + h2 ) (2x + 3iy)

h1 +ih2 0
h
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
3. Para f (z) = z Re z, de domnio C, verifica-se que

lim
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
Observe-se que, escrevendo o n

umero complexo h na forma polar, se tem
|h| cos
Re h
= lim
= ei cos
h0 h
|h|0 |h|ei
lim
46
1.4. FUNC
OES
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
admitem derivada (no sentido de R2 ) em todos os pontos, e no entanto a funcao f = u + iv nao

admite derivada (no sentido de C) em ponto algum de C.
Tal como para as func
oes reais de variavel real, e valido o seguinte resultado, com demonstracao
analoga ao caso real.
Proposic
ao Se a func
ao f : D C e diferenciavel em z0 entao f e contnua em z0 .
Notemos que, tal como no c
alculo real, o recproco nao pode n
ao ser verdade: existem funcoes
contnuas num determinado ponto do seu domnio que nao tem derivada nesse ponto (casos 2 e
no entanto muitas vezes utilizado na forma de contra-recproco: se f
3 do exemplo anterior. E
nao e contnua em z0 ent
ao f n
ao e diferenciavel em z0 .
Exemplo:
O valor principal do logaritmo complexo nao admite derivada no conjunto
{z = rei : r 0}
Para facilitar a notac
ao, definimos o disco centrado em z0 C e de raio > 0 como sendo o
subconjunto de C dado por:

def
D(z0 , ) = z C : |z z0 | < .7
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
Ao disco D(z0 , ), em C, corresponde em R2 a bola, B (z0 ), centrada em z0 e de raio .
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,
se f (z) existe entao
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
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
de onde resultam imediatamente as equacoes de Cauchy-Riemann (1.9).
de salientar que as condic

E
oes de Cauchy-Riemann nao sao suficientes para a existencia de
derivada num ponto. Estudemos ent
ao, com mais detalhe, a questao da aplicabilidade deste
resultado.
(Contra-Recproco) Se as condicoes de Cauchy-Riemann nao se verificam em (x, y) entao
f (x + iy) n
ao existe.
Exemplo:
Para a func
ao f (z) = z + Re z tem-se que
Re f (x + iy) = u(x, y) = 2x
pelo que
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
obvio que as condic

E
oes de Cauchy-Riemann nao se verificam em qualquer (x, y) R2 .
Podemos concluir que f (z) = z + Re z nao admite derivada em qualquer z C.
Se as condic
oes de Cauchy-Riemann se verificam em (x0 , y0 ) entao nada se pode concluir
sobre a existencia de f (x0 + iy0 ).
Exemplos:
a) Para a func
ao definida em C por
3
x (1 + i) y 3 (1 i)
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
Dado que o resultado do c

alculo do limite depende do argumento de z, conclui-se que
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
Im f (x + iy) = v(x, y) = 2y 2xy
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
COMPLEXA
1.4.7
Teorema de Cauchy-Riemann
O seguinte Teorema fornece uma condicao necessaria e suficiente à 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
entao a derivada f (z0 ) existe (ou seja, f e diferenciavel em z0 no sentido complexo) e

f (z0 ) =
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:
se z 6 {x + iy C : x = y 1} {x + iy C : x = 1 y}, por (B) nao existe f (z);
se z {x + iy C : x = y 1} {x + iy C : x = 1 y}, por (A) e (B) existe

f (z) = 3x2 (ou f (z) = 3(y 1)2 ).
Como tal o domnio de diferenciabilidade da funcao e
{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
c) Df (a) e representada pela matriz jacobiana de f em a:

ux (a) uy (a)
Jf (a) =
vx (a) vy (a)
(na base can
onica de R2 ).
Se existem e s
ao contnuas as derivadas parciais de u e v numa vizinhanca de a, entao
f = (u, v) tem derivada no sentido de R2 em a.
Lema (relac
ao entre derivada complexa e derivada no sentido de R2 ):
Seja f : A C, onde A C e aberto e a A. Entao a derivada de f em a existe no
sentido complexo se e s
o se ela existe no sentido de R2 e e representada por um produto
complexo; mais concretamente, dado C, sao equivalentes as seguintes propriedades
de :
(i) A derivada complexa, f (a) existe e e igual a :
f (a + h) f (a)
=
h0
h
lim
(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
COMPLEXA
Demonstrac
ao: De facto, (1.13) e valida se e so se
f (z + h) f (z) h
0
h
quando h 0,
o que, atendendo a (1.12), e equivalente a (ii).
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 ).
Se f tem derivada complexa em a, entao

f (a) =
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
para qualquer h (com as derivadas parciais calculadas no ponto a). As identidades

anterior s
ao ambas verdadeiras para qualquer h se e so se:
ux
uy
vx
vy
=
=
=
=
1
2
2
1
(1.14)
Isto prova que existe C tal que Df (a)h = h para todo o h C se e s

o se
ux = vy e uy = vx no ponto a. Assim sendo, e usando de novo o Lema, (b) e
equivalente a (c).
Se f (a) existir, ent
ao pela equivalencia de (a) e (c) e pelas equacoes (1.14):
f (a) = = 1 + i2 = ux (a) + ivx (a) = vy (a) iuy (a).

A demonstrac
ao do teorema de Cauchy-Riemann e consequencia imediata do teorema de
Cauchy-Riemann-Goursat.
Matriz Jacobiana de uma Func
ao com Derivada Complexa
Vimos acima que se f : A C, com A C aberto, tem derivada complexa em a = a1 +ia2
A entao satisfaz as equac
oes de Cauchy-Riemann em (a1 , a2 ) e e diferenciavel no sentido de R2 .
Assim, a matriz jacobiana de f e da forma:
Jf (a) =
onde = ux (a) = vy (a), = uy (a) = vx (a) e f (a) = + i. Assim

Jf (a) =
2 + 2
2 + 2
onde = arg f (a). Note que tg =
2 + 2
2 + 2
= |f (a)|
+ 2
implica que cos =
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
COMPLEXA
1.4.9
Propriedades das Func

oes Analticas
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 ;
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
COMPLEXA
ao valor principal do logaritmo:
log z = log |z| + i arg z,
onde
arg z ] , [
Trata-se da inversa da restric

ao funcao exponencial, f (z) = ez definida na faixa (aberta)
do plano complexo:

D = x + iy : x R e < y <
Note que f e analtica e bijectiva em D, f (z) = ez 6= 0. Alem disso, f (D) = C \ K,

onde K = {z C : arg z = } e o corte do valor principal do logaritmo (o semi-eixo real
negativo) e f 1 e contnua em f (D). Pelo teorema da analiticidade da funcao inversa, o
valor principal de log z e uma funcao analtica no conjunto aberto C \ K e, para qualquer
b = f (a) = ea C \ K:
1
1
(1.16)
(log b) = a =
(e )
b
Da mesma forma se pode obter que o ramo do logaritmo e uma funcao analtica em
C \ K, onde K = {z C : arg z = } e o respectivo corte, e que (1.16) e valida para
qualquer z C \ K.
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)
ou f (z) = f (rei ) = U (r, ) + iV (r, )
Assim, utilizando a regra da derivacao da funcao composta, as formulas acima escritas e as

condicoes de Cauchy-Riemann j
a deduzidas obtem-se, por um lado,
u x u y
u
u
U
=
+
=
cos +
sen
r
x r
y r
x
y
e, por outro lado,
V
v x v y
v
v
u
u
=
+
= r
sen + r
cos = r
sen + r
cos
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
no ponto (r0 , 0 ), ent

ao f admite derivada em z0 = r0 ei0 .
Como exemplo de aplicac
ao, procedemos ao estudo da analiticidade do valor principal do
logaritmo utilizando a forma polar das equacoes de Cauchy-Riemann e a regra da derivada da
funcao inversa.
Considere-se o valor principal de log z:
log z = log(rei ) = log r + i
] , ]
Vimos que esta func

ao n
ao e contnua na semi-recta
{z = xei , x R+
0}
pelo que neste conjunto n
ao existir
a derivada. Para estudar a analiticidade no restante domnio,
considere-se
Re log z = u(r, ) = log r , Im log z = v(r, ) =
Assim
u
1
=
r
r
u
=0
v
=0 ,
r
u
=1
verificam
(A) sao contnuas em todo r > 0 e ] , [;
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
COMPLEXA
1.4.11
Noc
oes B
asicas da Topologia em C
O conjunto dos complexos C e topologicamente equivalente a R2 , isto e, as definicoes e propriedades topol

ogicas de C funcionam de forma identica às ja introduzidas no estudo de R2 . Assim,
dado D C, e z C diz-se que z e um:
ponto interior de D se existe > 0 tal que D(z, ) D (note que D(z, ) = B (z));
ponto exterior se for um ponto interior do complementar de D, C \ D.
ponto fronteiro se n
ao for nem interior nem exterior, ou seja, se para qualquer > 0, o disco
D(z, ) intersecta tanto D como o complementar de D. O conjunto de todos os pontos
fronteiros de D designa-se por fronteira de D e representa-se por D;
ponto aderente se for interior ou fronteiro. O conjunto de todos os pontos aderentes de D
Note que D
= D D.
denomina-se por aderencia de D e representa-se por D.
Diz-se que D e
aberto se todos os pontos de D sao pontos interiores, isto e:
z D > 0 : D(z, ) D.
fechado se o conjunto C \ D for aberto ou, equivalentemente, se todos os pontos aderentes
= D.
a D est
ao em D, isto e D
conexo se n
ao existirem subconjuntos nao vazios de D, A e B, que verifiquem
A B = D;
= .
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
Seja U R2 aberto, e u : U R. A funcao u diz-se harmonica em U sse u C 2 (U ) e para todo

(x, y) U
2
2u
def u
+
=0
u =
x2
y 2
designa o operador laplaciano (por vezes tambem representado por 2 ).
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.
Reciprocamente, seja u : U R2 R uma funcao harmonica e U C um conjunto aberto

e simplesmente conexo. Ent
ao e sempre possvel determinar (a menos de uma constante) a
sua harmonica conjugada v : U R atraves das equacoes de Cauchy-Riemann.
Exemplo:
Considere a func
ao u : R2 R definida por:
u(x, y) = y(x 3) .
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
concluindo-se o pretendido e, consequentemente, que u e a parte real (ou imaginaria) de uma

funcao inteira f . Para determinar f = u + iv recorde-se que se f e inteira entao as condicoes de
Cauchy-Riemann s
ao verificadas em todos os pontos (x, y) R2 . Assim
Z
v
y2
u
=
v(x, y) = y dy + c(x) =
+ c(x)
x
y
2
e
u
v
x2
=
x 3 = c (x) c(x) = + 3x + c
y
x
2
Entao v(x, 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
Sendo z(t) uma func

ao complexa contnua de domnio [a, b] R, define-se caminho ou curva
orientada em C como sendo o conjunto de pontos
n
o
= z(t) = x(t) + iy(t) : t [a, b] ,
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,
(se a circunferencia for percorrida uma vez no sentido directo), e

z(t) = z0 + reit ,
onde 0 t 2,
(se a circunferencia for percorrida uma vez no sentido inverso).

4. A func
ao z(t) = x(t) + iy(t) definida por

x(t) = t
y(t) = t2
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
Um caminho e pois uma curva `

a qual se acrescenta uma orientac
ao. Neste sentido, quando nos referirmos a
uma curva percorrida de uma certa forma, estamos a caracterizar um caminho.
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 à 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);
2. se z(t) = eit tem-se que z (t) = ieit ;
4. se z(t) = t + it2 tem-se que z (t) = 1 + 2it.

Em todos os exemplos, existe vector tangente em qualquer dos pontos da curva.
seccionalmente regular se z(t) e regular para t ]a, b[\{t1 , ..., tk };
Exemplo: a curva parametrizada por

t + it2 se 1 t 2
z(t) =
t + 4i se 2 t 3
f
e seccionalmente regular. E
acil de observar que e a uniao da porcao da parabola y = x2
unindo 1 + i a 2 + 4i com o segmento de recta horizontal Imz = 4 unindo 2 + 4i a 3 + 4i.
Ambas as curvas s
ao regulares. No entanto a curva nao e regular visto nao existir z (2).
simples se z(t) e injectiva em ]a, b] e em [a, b[, isto e, se t1 6= t2 entao z(t1 ) 6= z(t2 ) ou
(t1 = a e t2 = b). 11 .
fechada se z(a) = z(b);
curva de Jordan se for simples e fechada.
Teorema da Curva de Jordan:
Qualquer curva de Jordan, , divide C em duas regioes disjuntas, ambas com fronteira , uma
das quais, denotada por interior de , int , e limitada e a outra, denotada por exterior de ,
ext , e nao limitada.
1.5.2
Integral complexo
Se C e um caminho seccionalmente regular, parametrizado por z : [a, b] C, e f uma

funcao complexa contnua em , define-se
Z
11
f (z) dz =
f (z(t))z (t) dt
Ou seja, um caminho simples apenas se pode autointersectar nos extremos.
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
Note que se o extremo final de 1 coincide com o extremo inicial de 2 , a concatenacao

dos caminhos 1 com 2 , 1 + 2 , consiste na uniao das curvas, percorrendo primeiro 1 e
depois 2 .
(Simetria) Se denotarmos por o caminho percorrido em sentido inverso ao de ,
entao
Z
Z
f (z) dz = f (z) dz
(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
onde M 0 e um majorante de |f (z)| em . Note que o comprimento da curva e dado

por:
Z b
Z
|z (t)|dt
L() = |dz| =
a
Exemplos:
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)
(t2 + it2 )dt =
(1 + i)2
2i
=
3
3
Por outro lado, Uma parametrizacao possvel para 1 e

z2 (t) = t + i
pelo que
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
em . Para o determinar, e escrevendo
pois na curva
e, como consequencia da desigualdade triangular,

|z 2 + 1| |z|2 1 = |4 1| = 3
Entao, para z
e assim
tendo em conta que
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
|dz| e igual ao comprimento de , ou seja, 4.
Teorema de Cauchy e suas consequ

encias
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
Dem.: Sendo z = x + iy e F (z) = u(x, y) + iv(x, y):

Z
Z

v
u
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
Pelo Teorema Fundamental do C

alculo para campos conservativos, conclui-se que
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.
Dem.: (com uma condic

ao adicional)
Vamos assumir que as parte real e imaginaria de uma funcao analtica tem derivada contnua
no sentido de R2 12 . Assim, sendo f = u + iv analtica em D, u e v sao funcoes continuamente
diferenciaveis em D. Tem-se ent
ao que
I
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 =
Atendendo a`s condic

oes do Teorema ( uma curva de Jordan definida num aberto simplesmente
conexo D) e a` condic
ao adicional (u e v continuamente diferenciaveis em D) podemos aplicar o
12
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:
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
para qualquer curva de Jordan em C.

1
2. Dados z0 e z1 C fixos, considere-se a funcao complexa f (z) = zz
. Por ser o quociente
0
de func
oes inteiras, f e analtica em C \ {z0 }. Assim, sendo a circunferencia de centro em
z1 e de raio R < |z1 z0 | (por forma a que z0 nao pertenca ao interior da circunferencia),
conseguimos determinar um conjunto D aberto e simplesmente conexo que contem a curva
e ao qual z0 n
ao pertence (por exemplo D = {z : |z z1 | < R + } com tao pequeno
quanto seja necess
ario). Pelo Teorema de Cauchy
I
1
dz = 0
z z0
Considerando agora z1 = z0 e R > 0 arbitrario, e obvio que nao se consegue determinar

D nas condic
oes do teorema visto que, para f ser analtica em D, z0 nao podera pertencer
a D. Mas, para que D seja simplesmente conexo, z0 int D. Assim o Teorema
de Cauchy n
ao e aplic
avel. Para calcular o integral, e assumindo que a curva esta a ser
percorrida em sentido directo, considere-se a parametrizacao de , z(t) = z0 + Reit , com
t [0, 2]. Ent
ao
Z 2
Z 2
I

1
iReit
1
it
dz =
z
+
Re
dt
=
dt = 2i
0
z0 + Reit z0
Reit
0
0
z z0
Por outro lado, se e percorrida em sentido inverso:

I
I
1
1
dz =
dz = 2i
z z0
z z0
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
Se f e analtica num aberto simplesmente conexo, D C, z1 , z2 D e 1 , 2 duas curvas

seccionalmente regulares em D unindo z1 a z2 . Entao
Z
Z
f (z) dz
f (z) dz =
2
Como consequencia, no caso de f ser analtica podemos definir

Z
Z z2
f (z) dz = f (z) dz
z1
em que e qualquer curva regular unindo z1 a z2 definida em D.

Primitivac
ao de func
oes complexas de variavel complexa
Dada uma func

ao complexa f definida e contnua num aberto D C, diz-se que F e uma
primitiva de f em D se F (z) = f (z), para todo z D. Como vimos, as regras de derivacao
das func
oes analticas s
ao similares às das funcoes reais de classe C 1 . Assim sendo, as regras
de primitivac
ao das func
oes analticas sao tambem similares às usadas no caso real.
Exemplo:
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
esta bem definida, e analtica e e uma primitiva de f , em D. Adicionalmente, se z1 , z2 D,

entao
Z z2
f (z) dz = F (z2 ) F (z1 )
z1
em que F = f e qualquer primitiva de f em D.

68
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
Teorema de Cauchy Generalizado
Seja D C um conjunto aberto e simplesmente conexo, uma curva de Jordan em D, 1 ,

... n curvas de Jordan contidas no interior de e verificando para i 6= j
int (j ) int (i ) = ;
todas as curvas tem orientacao igual à orientacao de .

Sendo ainda, f uma func
ao analtica em int () \ int (1 ) ... int (n ) , entao
I
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 à regiao interior a e 1 pertence à 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
para o caso em que 1 pertence à regiao interior a e 1 pertence à sua regiao

1
e analtica num conjunto aberto simplesmente conexo
exterior, observa-se que z1
contendo e, como tal, e aplicavel a F
I
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 à regiao interior à 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
Sejam uma curva de Jordan, z0 um ponto pertencente à regiao interior a e f uma

funcao analtica em int \ {z0 } e contnua em {z0 }. Entao:
I
g(z) dz = 0
Dem: Note que a func

ao f e contnua no conjunto limitado int . Pelo teorema de Weierstrass, f (z) e limitada em int ; isto e, existe M > 0 tal que |f (z)| M para qualquer
z int .
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
Se e uma curva de Jordan e f e analtica num aberto simplesmente conexo contendo ,

entao para qualquer z0 int ()
I
f (z)
1
dz
f (z0 ) =
2i z z0
onde e percorrida uma vez no sentido directo.
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
o que mostra que g e contnua em z0 . Assim, aplicando a generalizacao do teorema de Cauchy `

a
funcao g, obtem-se:
I
I
I
f (z) f (z0 )
f (z)
f (z0 )
dz =
dz +
dz = 2if (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
sendo qualquer curva de Jordan em C orientada positivamente e tal que 12 int .

Atendendo a que a func
ao f (z) = z e inteira, por aplicacao da formula integral de Cauchy
obtem-se:
I
I

z
1
i
z
1
1
dz
=
=
2if
dz =
2
1
2z
+
1
2
2
2
z+ 2
3. Vamos calcular
cos z
dz
+ 9z
z3
em que e a circunferencia |z| = 1 percorrida uma vez em sentido directo. A funcao

integranda e analtica em C \ {0, 3i, 3i}; dos pontos onde a funcao nao e analtica apenas
0 pertence `
a regi
ao |z| < 1. Assim
I
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
Derivada de uma func

ao analtica
Sendo f uma func
ao analtica num aberto simplesmente conexo D. Entao a sua derivada
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
onde a circunferencia e percorrida uma vez em sentido directo. Entao

f (z + h) f (z)
h0
h
I
1
f (w)
1
f (w)
= lim
dw
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|
na circunferencia |w z| = r, podemos concluir que
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
Nas mesmas condic

oes da formula integral de Cauchy, tem-se que para qualquer n N0 a
derivada de ordem n de f , f (n) , esta bem definida, e analtica em D e satisfaz a formula
I
n!
f (z)
(n)
f (z0 ) =
dz
2i (z z0 )n+1
para qualquer z0 int .

Exemplo:
1. Pretendemos calcular o valor do integral
I
|z|=2
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 à regiao interior à 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)
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}
Considere-se D = {z : |z| < 52 }. Verifica-se que D e aberto, simplesmente conexo, contem

a curva de integrac
ao no seu interior. Definindo
f (z) =
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

I
|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
concluimos que u e harmonica em R2 pelo que existe v : R2 R tal que f =

u + iv e uma func
ao inteira. Por outro lado, visto que 0 pertence à regiao interior da
circunferencia |z| = 1, estamos em condicoes de aplicar a formula integral de Cauchy
para a derivada de ordem 2 de f :
I
2i
f (z)
dz =
f (0).
3
2!
|z|=1 z
O sinal negativo decorre da orientacao da curva. Note-se que a analiticidade de f
permite, atraves das equacoes de Cauchy-Riemann, determinar f (0) sem conhecer
explicitamente a parte imaginaria de f . De facto, para qualquer z C

v
u
u
u
+i
=
i
= 3x2 + 3y 2 6xy i 3y 2 + 6xy 3x2
f (z) =
x
x
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
para qualquer curva de Jordan contida em D, entao f e analtica em D.

76
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, ),
Observe-se que a func

ao est
a bem definida, visto a condicao
I
f (z) dz = 0
para qualquer curva de Jordan definida em D(w, ) permitir concluir independencia do

integral do caminho de integracao. Tal como na demonstracao do Teorema Fundamental
do C
alculo podemos ent
ao demonstrar que F e analtica em D(w, ) e F (z) = f (z) para
todo z D(w, ). A formula integral de Cauchy permite concluir que, sendo F analtica
em D(w, ), F e tambem analtica em D(w, ). Conclui-se que f e analtica em D(w, ).
Dado que w foi escolhido arbitrariamente o resultado fica demonstrado.

Teorema de Liouville
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
Visto R ser arbitr

ario, podemos considera-lo tao grande quanto se queira; fazendo R ,
concluimos que:
|f (z)| 0 |f (z)| = 0 f (z) = 0
pelo que f e constante em C.
14
Tal existe visto D ser aberto.
77

CAPITULO 1. ANALISE
COMPLEXA
Teorema Fundamental da Algebra
Seja P (z) um polin

omio n
ao constante em C. Entao existe C tal que P () = 0.
Demonstrac
ao:
Argumentando por contradic

ao, vamos supor que tal nao existe, isto e
z C
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)
e, por continuidade de 1/P (z), existe M > 0 tal que

1

<M
P (z)
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
e analtica em {z : |z z0 | < R} e, para qualquer z no interior do crculo de convergencia,

f (z) =
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.
Em particular, podemos afirmar o seguinte.

Teorema: (Analiticidade de uma serie de potencias)
Seja
X
an (z z0 )n em |z z0 | < R
f (z) =
n=0
isto e, f e uma serie de potencias centrada em z0 e convergente em |z z0 | < R. Entao f e

analtica no seu domnio de convergencia.
1.7
S
eries de Taylor
1.7.1
Teorema de Taylor
Vimos anteriormente que uma func

ao representavel por uma serie de potencias num disco centrado
em z0 e analtica (ou holomorfa) em z0 . Reciprocamente, e valido o:
Teorema de Taylor:
Seja f uma func
ao analtica num conjunto aberto D C. Se z0 D, entao f admite o
desenvolvimento em serie de potencias de z z0 dado por
f (z) =
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 à 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!
denomina.se serie de Taylor de f em torno de z0 .
79
(z z0 )n

CAPITULO 1. ANALISE
COMPLEXA
No caso particular z0 = 0 a serie
X
f (n) (0)
n=0
n!
zn
denomina-se serie de Maclaurin de f .

Por ser uma serie de potencias, ela e uniformemente convergente em D(z0 , r) para todos
0 < r < R, pelo que pode ser integrada e derivada termo a termo. Isto e, se z D(z0 , R),
i) f (z) =
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 ,
onde C C e uma constante arbitr

aria.
Demonstrac
ao (do Teorema de Taylor):
Pretende-se mostrar que, dado z0 no domnio de analiticidade de f , existe R > 0, tal que para
todo z em D(z0 , R) se tem
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 =
Como o domnio de analiticidade de ez e C temos entao quebrado

z
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
De igual modo se obtem, que para qualquer z C

cos z =
X
(1)n z 2n
n=0
(2n)!
Para |z| < 1
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
Considerando o valor principal do logaritmo

log(1 z) =
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
este desenvolvimento ser

a v
alido no maior crculo centrado em 0 onde a funcao (valor
principal) log(1z) e analtica. Como o seu domnio de analiticidade e C\{x R : x 1}
81

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
Pretende-se desenvolver a func

ao definida em C \ {i} por
f (z) = sen(iz) +
z
z+i
em serie de Taylor em torno de z0 = i. Para isso, note-se que

sen(iz) = sen(i(z i + i)) = sen(i(z i) )
= sen(i(z i)) cos()
=
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
obviamente para todo o z C. Entao, para todo o z D(i, 2)

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

Analise Complexa e Equacoes Diferenciais

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Analise Complexa e Equacoes Diferenciais

Diunggah oleh

Hak Cipta:

Format Tersedia

Analise Complexa e Equacoes Diferenciais

Notas Sobre as Aulas Teoricas

Teorema de Cauchy e suas consequencias

No seu compendio de Algebra,

umero como sendo uma das

1.1. NOTAS HISTORICAS

Deste sistema resulta uma equac

= qu3 , de cuja solucao se

1.1. NOTAS HISTORICAS

umeros complexos. Por exemplo,

1.1. NOTAS HISTORICAS

Euler introduziu a notac

Define-se o conjunto dos n

x e denominado parte real do complexo z, x = Re z, e y e denominado parte imaginaria do

zw = (xa yb) + i(xb + ya)

O conjunto C munido destas operacoes diz-se um corpo, isto e

existencia de elemento neutro, 0

z(wu) = (zw)u = zwu

existencia de elemento neutro, 1

facil de mostrar que para z = x + iy C, se tem

Pelas propriedades de corpo, os n

Como consequencia das propriedades comutativa e associativa do produto, verificam-se as propriedades

Teorema Fundamental da Algebra

Cada elemento x + iy C, pode ser identificado com o ponto (x, y) do plano R2 .

Figura 1.1: O Plano Complexo.

Em particular, Im z = 0 e o eixo real, Re z = 0 e o eixo imaginario e a sua interseccao e a

Por outro lado se z 6= 0, denomina-se por argumento de z qualquer n

Por agora apenas para simplificar a escrita, introduzimos a notacao:

Com esta abreviatura, a representac

Figura 1.2: Representacao polar de um numero complexo.

Nestas coordenadas, as semi-rectas com origem em 0 representam os complexos com o mesmo

formula tambem devida a Euler e que relaciona os tres n

= |z|2 + 2Re(zw) + |w|2 |z|2 + 2|zw| + |w|2

= |z|2 + 2|z| |w| + |w|2 = (|z| + |w|)2

arg (zw) = arg (z) + arg (w)

Para n 3, as razes ndice n de um n

1. Determinar todos os valores de

pelo que as razes quartas de 1 estao representadas no conjunto

e assim as razes quadradas de i estao representadas no conjunto

obvio que R2 R1 pelo que 4 1 6= i. No entanto, a igualdade verifica-se para 2 das

2. Determinar todos os valores de

Por outro lado

estao representados no conjunto

Por outro lado

De facto podemos enunciar a seguinte propriedade:

se e so se para qualquer > 0, existe N N tal que

Diz-se que zn e uma sucess

Prova-se que uma sucess

2. (z n ) e convergente e lim zn = lim zn ;

sse M > 0 N N n N n > N |zn | > M

Nao entraremos em detalhe acerca do significado de limite infinito em C, no entanto e facil de

Observa-se que se pelo menos uma das sucess

trigonometrica, z n = |z|n ein arg z , pode-se

Dada uma sucess

zn , a sucessao das somas parciais (SN )N N , por

S e denominado por a soma da serie.

zn tem a mesma natureza.

Para cada z C, a serie

z n denomina-se serie geometrica de razao z. Para z = 1, a serie

diverge. Para z 6= 1, a correspondente sucessao das somas parciais e dada por:

Se |z| 1 a serie geometrica de razao z e divergente.

Resultados Gerais de Converg

zn e convergente entao lim zn = 0.