Calculo III

i
Departamento de Matemática
Folhas de Apoio e Exercı́cios para
Cálculo III
Nuno Correia
2019/2020
ii
Índice
1 Análise Complexa 1
1.1 Funções Complexas de Variável Complexa . . . . . . . . . . . . . . . . . . . 3
1.2 Limites e Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Funções Holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1 Funções Harmónicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.2 Primitivas de Funções Complexas . . . . . . . . . . . . . . . . . . . . 20
1.4 Integração de Funções Complexas ao Longo de Curvas . . . . . . . . . . . . 21
1.4.1 Fórmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 27
1.5 Funções Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6 Série de Laurent e Singularidades . . . . . . . . . . . . . . . . . . . . . . . . 31
1.7 Resı́duos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.7.1 Teorema dos Resı́duos . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.8 Integrais Impróprios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.8.1 Integrais Impróprios de Funções Racionais . . . . . . . . . . . . . . . 45
1.8.2 Integrais Impróprios de Funções Trigonométricas . . . . . . . . . . . 46
1.9 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2 Equações Diferenciais de 1ª Ordem e Aplicações 59

2.1 Equações Diferenciais Separáveis . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2 Equações Diferenciais Exactas . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.2.1 Equações Diferenciais Redutı́veis a Exactas . . . . . . . . . . . . . . 65
2.2.2 Equações Diferenciais Lineares . . . . . . . . . . . . . . . . . . . . . 68
2.3 Mudanças de Variável em Equações Diferenciais . . . . . . . . . . . . . . . . 69
iii
iv ÍNDICE
2.3.1 Equações Diferenciais Homogéneas . . . . . . . . . . . . . . . . . . . 69

2.3.2 Outras Mudanças de Variável . . . . . . . . . . . . . . . . . . . . . . 71
2.4 Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.5 Teorema de Existência e Unicidade . . . . . . . . . . . . . . . . . . . . . . . 74
2.5.1 Pontos de Equilı́brio . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.6 Aplicações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.6.1 Trajectórias Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.6.2 Variação da Temperatura . . . . . . . . . . . . . . . . . . . . . . . . 79
2.6.3 Problemas de Diluição . . . . . . . . . . . . . . . . . . . . . . . . . . 80
2.6.4 Variação de uma População . . . . . . . . . . . . . . . . . . . . . . . 80
2.6.5 Movimento com Resistência . . . . . . . . . . . . . . . . . . . . . . . 82
2.6.6 Circuitos Eléctricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.7 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3 Equações Diferenciais Lineares de Ordem n 101

3.1 Equações Diferenciais Lineares . . . . . . . . . . . . . . . . . . . . . . . . . 102
3.2 Equações Diferenciais Lineares Homogéneas . . . . . . . . . . . . . . . . . . 102
3.3 Equações Diferenciais Lineares Completas . . . . . . . . . . . . . . . . . . . 106
3.3.1 Método dos Coeficientes Indeterminados . . . . . . . . . . . . . . . . 107
3.3.2 Método do Polinómio Aniquilador . . . . . . . . . . . . . . . . . . . 108
3.3.3 Método de Variação das Constantes . . . . . . . . . . . . . . . . . . 110
3.4 Problemas com Valores Iniciais e Fronteira . . . . . . . . . . . . . . . . . . . 112
3.4.1 Problemas de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 112
3.4.2 Problemas com Valores de Fronteira . . . . . . . . . . . . . . . . . . 112
3.5 Método de Redução de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . 115
3.6 Aplicações das Equações Diferenciais Lineares de Ordem n . . . . . . . . . . 116
3.6.1 Sistema Massa-Mola . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
3.6.2 Movimento do Pêndulo Simples . . . . . . . . . . . . . . . . . . . . . 122
3.7 Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
3.7.1 A Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . 124
3.7.2 Transformada de Laplace de Funções Elementares . . . . . . . . . . 125
ÍNDICE v
3.7.3 Propriedades da Transformada de Laplace . . . . . . . . . . . . . . . 127

3.8 A Inversa da Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . 133
3.8.1 Propriedades da Inversa da Transformada de Laplace . . . . . . . . 133
3.8.2 Teorema da Convolução . . . . . . . . . . . . . . . . . . . . . . . . . 137
3.8.3 Comportamento da Transformada de Laplace . . . . . . . . . . . . . 138
3.9 Aplicações da Transformada de Laplace . . . . . . . . . . . . . . . . . . . . 139
3.9.1 Equações Diferenciais Lineares de Ordem n com Coeficientes Cons-
tantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
3.9.2 Equações Diferenciais Lineares de Ordem n com Coeficientes Não
Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
3.9.3 Outras Aplicações . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
3.10 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
4 Sistemas de Equações Diferenciais Lineares de 1ª Ordem 155

4.0.1 Alguns Resultados de Álgebra Linear . . . . . . . . . . . . . . . . . . 156
4.1 Sistema Homogéneo de Equações Diferenciais Lineares de 1ª Ordem . . . . 157
4.2 Planos e Retratos de Fase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
4.3 Sistema Não Homogéneo de Equações Diferenciais Lineares de 1ª Ordem . . 181
4.4 Problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
4.5 Outras Utilizações do Sistema de Equações Diferenciais Lineares . . . . . . 185
4.6 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
5 Série de Fourier e Aplicações 191

5.1 Funções Periódicas e Funções Ortogonais . . . . . . . . . . . . . . . . . . . . 191
5.2 Construção da Série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 193
5.3 Convergência da Série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 194
5.4 Série de Fourier na forma harmónica . . . . . . . . . . . . . . . . . . . . . . 199
5.5 Série de Fourier na forma complexa . . . . . . . . . . . . . . . . . . . . . . . 199
5.6 Série de Fourier Incompleta . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
5.7 Propriedades da Série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 205
5.8 Derivação e Integração da Série de Fourier . . . . . . . . . . . . . . . . . . . 206
5.9 Equações com Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . 208
vi ÍNDICE
5.9.1 Método de Separação das Variáveis . . . . . . . . . . . . . . . . . . . 210

5.10 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
5.10.1 Propriedades da Transformada de Fourier . . . . . . . . . . . . . . . 233
5.10.2 Inversa da Transformada de Fourier . . . . . . . . . . . . . . . . . . 234
5.10.3 Transformada de Fourier e Transformada de Laplace . . . . . . . . . 234
5.10.4 Equações com Derivadas Parciais . . . . . . . . . . . . . . . . . . . . 237
5.11 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
Índice 244
Capı́tulo 1
Análise Complexa
Começamos por recordar algumas propriedades dos números complexos, antes de introdu-
zir a análise complexa propriamente dita.
Propriedades Elementares dos Números Complexos
Aos números da forma
z = a + ib , com a, b ∈ R e i2 = −1
chamamos números complexos e notamos o espaço por eles formados por C.
a + ib
ib
Figura 1.1: Plano Complexo
Tomando z = a + ib ∈ C, notamos a parte real de z por Re z, a qual coincide com a, e

notamos a parte imaginária de z por Im z, a qual coincide com b. Se a = 0, então z = bi
e então dizemos que z é um número complexo imaginário puro.
Podemos identificar cada elemento z = a + ib ∈ C com o ponto do plano (a, b) ∈ R2 ,
ou seja, podemos identificar C com o plano R2 e assim representar os números complexos
1
2 CAPÍTULO 1. ANÁLISE COMPLEXA
no plano. Assim, podemos representar qualquer número complexo nas suas coordenadas
polares.
√
Dado z = a + ib ∈ C definimos o módulo de z como |z| = a2 + b2 ∈ R que representa
a distância do ponto (a, b) à origem. Definimos o argumento de z como o ângulo θ ∈ [0, 2π[
formado pelo semi-eixo positivo das abcissas e pelo segmento que une a origem ao ponto
(a, b), que indicamos por arg z.
z = a + ib
ib
|z|
Figura 1.2: Plano Complexo (coordenadas polares)
O argumento de z pode ser obtido da seguinte forma


b
arctg , se a > 0





 a
θ = arg z = arctg b + π , se a < 0 .

 a
± π


, se a = 0 e b = ±|b|

2
Assim
z = a + ib = |z| cos arg z + i|z| sen arg z = |z| (cos arg z + i sen arg z) .
No espaço C, tendo em conta que i2 = −1, definimos uma soma e um produto da

seguinte forma: sejam z = a + ib e w = c + id, então
z + w = a + c + i(b + d)
z · w = ac − bd + i(ad + bc)
√ √
Exemplo 1.1. Sejam z = 2 + i 2 e w = 3i, então
√ √
z+w = 2+i 3+ 2
√ √
z · w = −3 2 + 3i 2
1.1. FUNÇÕES COMPLEXAS DE VARIÁVEL COMPLEXA 3
Dado z = a + ib ∈ C, chamamos complexo conjugado de z ao número complexo

z = a − bi.
Temos as seguintes propriedades.
Proposição 1.2. Dados z, w ∈ C temos que
a) |z|2 = zz g) z = z
b) |z| > 0
h) z + w = z + w
c) |z| = 0 se e só se z = 0
i) z · w = z · w
d) |z · w| = |z| · |w|
z+z
j) Re z =
e) |z + w| 6 |z| + |w| 2
z−z
f ) |z + w| > ||z| − |w|| k) Im z =
2i
Nota 1.3. Enquanto que nos números reais, R, tı́nhamos uma relação de ordem, o mesmo
não acontece em C, isto é, não faz sentido escrever z > w ou z < w. No entanto, faz todo
o sentido as desigualdades |z| > |w| ou |z| < |w|.
Definimos o conjunto C∗ = C \{0}, e para cada z ∈ C∗ definimos o inverso de z como

1 z
z −1 = = 2 .
z |z|
Observação 1.4. Ao identificarmos os pontos de C com os pontos de R2 podemos também

identificar cada conjunto Ω ⊂ C com o conjunto Ω ⊂ R2 (que indicamos da mesma forma)
e assim dizemos que Ω ⊂ C é um conjunto aberto, fechado, limitado, conexo, ... se tal for
verdade enquanto subconjunto de R2 .
1.1 Funções Complexas de Variável Complexa
Definição 1.5. A uma aplicação definida por f : Ω ⊂ C → C chamamos função complexa

de variável complexa. Dado z = x + iy ∈ C podemos escrever f (z) = u(x, y) + iv(x, y),
onde u : Ω ⊂ R2 → R é a parte real da função f e v : Ω ⊂ R2 → R é a parte imaginária
da função f .
Exemplo 1.6. Consideremos a função f (z) = z 2 , então f (z) = (x + iy)2 = x2 − y 2 + i2xy,

pelo que u(x, y) = x2 − y 2 e v(x, y) = 2xy.
Exemplo 1.7. Consideremos a função f (z) = z − iz, então f (z) = x − iy − i (x + iy) =

x + y − i (x + y), pelo que u(x, y) = x + y e v(x, y) = −x − y.
Em R temos definidas algumas funções como a exponencial, logarı́tmica e as funções

trigonométricas, as quais queremos também definir em C de modo a que essas funções
complexas sejam coerentes com as funções reais, isto é, quando restringimos a função
complexa ao eixo real obtemos a função em R correspondente.
Função Exponencial
Sabemos que para x ∈ R temos

+∞ n
x
X x
e = ,
n!
n=0
assim pretendemos que aconteça o mesmo nos números complexos; para cada θ ∈ R
definimos a função exponencial para os números complexos imaginários puros como
+∞
iθ
X (iθ)n
e = ,
n!
n=0
de onde concluı́mos
1 1 1 1 1
eiθ = 1 + iθ + (iθ)2 + (iθ)3 + (iθ)4 + (iθ)5 + (iθ)6 + . . . =
2! 3! 4! 5! 6!
θ2 θ4 θ6 θ3 θ5

= 1− + − + ... + i θ − + + ... =
2! 4! 6! 3! 5!
+∞ +∞
X (−1)n θ2n X (−1)n θ2n+1
= +i
(2n)! (2n + 1)!
n=0 n=0
= cos θ + i sen θ,
a Fórmula de Euler .
Mais geralmente, para cada z = x + iy ∈ C definimos a função exponencial por
ez = ex+iy = ex eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.
Proposição 1.8. Dados z, w ∈ C temos as seguintes propriedades

i) ez 6= 0 iii) ez+w = ez ew
ii) ez = ez iv) ez+2kπi = ez , com k ∈ Z
Nota 1.9. Da última propriedade podemos concluir que a função exponencial complexa
não é injectiva em C, como podemos verificar na Figura 1.3.
Uθ0 z 0 = x + i(y + 2kπ)

C∗
0
ez = ez
U0 z = x + iy
Figura 1.3: A função exponencial não é injetiva.
Nota 1.10. Dado z = x ∈ R temos que ez = ex (cos 0 + i sen 0) = ex é a função exponencial

real.
Tendo em conta as coordenadas polares, usando a função exponencial, podemos escre-

ver qualquer complexo como z = |z| ei arg z , que designamos por forma polar do número
complexo z. Se denotarmos o módulo de z por ρ e o argumento de z por θ, podemos
escrever apenas z = ρ eiθ .
Proposição 1.11. Dados z = ρ eiθ , w = τ eiα ∈ C temos que
zw = ρτ ei(θ+α+2nπ) , com n = 0 ou n = −1.
Prova: Recordemos que o argumento de qualquer número complexo pertence ao intervalo

[0, 2π[ e a propriedade iii) da Proposição 1.8.
Se θ + α ∈ [0, 2π[ e temos zw = ρ eiθ τ eiα = ρτ ei(θ+α) .
Se θ + α ∈ [2π, 4π[, logo θ + α − 2π ∈ [0, 2π[ e tendo em conta a última propriedade
da Proposição 1.8 temos zw = ρ eiθ τ eiα = ρτ ei(θ+α) = ρτ ei(θ+α−2π) .
Usando a forma polar dos números complexos obtemos a Fórmula de Moivre.

Proposição 1.12. Dados z = ρ eiθ ∈ C e n ∈ Z temos que
z n = ρn einθ = ρn (cos nθ + i sen nθ) .
Podemos usar os números complexos para encontrar soluções de equações da forma

√
wn = z ⇔ w = n z, ou seja, pretendemos saber quais os números complexos w tais que
wn = z; a esses complexos chamamos as raı́zes ı́ndice n de z. Considerando z = ρ eiθ ,
w = τ eiα e a fórmula de Moivre temos que
√
wn = z ⇔ τ n einα = ρ eiθ ⇔ τ = n
ρ ∧ nα = θ + 2kπ , para algum k ∈ Z .
Ou seja, as raı́zes ı́ndice n de z são
√ θ + 2kπ
zk = n
ρ eiα onde α = , com k = 0, 1, . . . , n − 1.
n
√
Nota 1.13. As raı́zes zk dividem a circunferência de raio n ρ centrada na origem em n
partes iguais.
π
Exemplo 1.14. As raı́zes cúbicas de 8i = 8 ei 2 , isto é, as soluções da equação w3 = 8i são
dadas por (ver Figura 1.4)
√ π
π π √
8 ei 6 = 2 cos + i sen
3
z0 = = 3+i
6 6
√ √

3 i 5π 5π 5π
z1 = 8 e 6 = 2 cos + i sen =− 3+i
6 6
√

3 3π
i 2 3π 3π
z2 = 8 e = 2 cos + i sen = −2i
2 2
z1 z0
z2
Figura 1.4: Raı́zes cúbicas de 8i

√
Exemplo 1.15. Vamos encontrar as soluções da equação z 4 +1 = 0 ⇔ z 4 = −1 ⇔ z = 4
−1.
Como −1 = eiπ , as raı́zes são (ver Figura 1.5)
√ √
√
4 π π π 2 2
z0 = 1 e = cos + i sen =
4 +i
4 4 2 √ 2 √
√
4 3π 3π 3π 2 2
z1 = 1 e 4 = cos + i sen =− +i
4 4 √2 √2
√
4 5π 5π 5π 2 2
z2 = 1 e 4 = cos + i sen =− −i
4 4 √2 √2
√
4 7π 7π 7π 2 2
z3 = 1 e 4 = cos + i sen =− −i
4 4 2 2
z1 z0
z2 z3
Figura 1.5: Soluções da equação z 4 + 1 = 0
Funções Trigonométricas
Da Fórmula de Euler temos eix = cos x + i sen x e e−ix = cos x − i sen x para todo o x ∈ R,
então
eix + e−ix eix − e−ix
cos x = e sen x = .
2 2i
Assim, mais geralmente, podemos definir as funções complexas cosseno e seno para um
número complexo z ∈ C por
eiz + e−iz eiz − e−iz

cos z = e sen z = .
2 2i
Observação 1.16. Ao contrário das funções cosseno e seno reais, as funções cosseno e
seno complexas não são limitadas.
Proposição 1.17. Dados z, w ∈ C temos as seguintes propriedades

i) cos2 z + sen2 z = 1 iv) cos(z + w) = cos z cos w − sen z sen w
ii) cos(−z) = cos z
iii) sen(−z) = − sen z v) sen(z + w) = sen z cos w + cos z sen w
Também definimos a tangente, cotangente, secante e cossecante de um número com-

plexo, exactamente da mesma forma que para os números reais
sen z cos z 1 1
tg z = cotg z = sec z = cosec z = .
cos z sen z cos z sen z
Temos ainda o cosseno e seno hiperbólicos
ez + e−z ez − e−z
cosh z = senh z = .
2 2
Nota 1.18. Dado z = x ∈ R temos que
eix + e−ix cos x + i sen x + cos(−x) + i sen(−x)

cos z = = = cos x
2 2
e
eix − e−ix cos x + i sen x − cos(−x) − i sen(−x)
sen z = = = sen x
2 2i
são as funções trigonométricas reais.
Função Logaritmo
Tal como nas funções reais de variável real, pretendemos uma função logaritmo complexa
que seja a função inversa da função exponencial complexa, isto é, que eln z = z e ln (ez ) = z.
Mas, a função exponencial complexa não é injectiva e, por isso, não admite função
inversa. De facto, temos o seguinte resultado.
Proposição 1.19. Dado z ∈ C \{0}, as soluções da equação z = ew são dadas por

w = ln |z| + i (arg z + 2kπ), com k ∈ Z.
Prova: Consideremos w = w1 + iw2 e temos
z = ew ⇔ |z| ei arg(z) = ew1 eiw2 ⇔ w1 = ln |z| e w2 = arg z + 2kπ,
com k ∈ Z.
Definição 1.20. Dado z ∈ C \{0}, definimos o conjunto logaritmo de z como
Log(z) = {ln |z| + i(arg(z) + 2kπ) : k ∈ Z} ,
isto é, as soluções da equação z = ew .

√ 5π
Exemplo 1.21. Consideremos o número complexo z = 1 − i 3, como |z| = 2 e arg z = 3 ,
temos
√

5π
Log(1 − i 3) = ln 2 + i + 2kπ : k∈Z .
3
Proposição 1.22. Para quaisquer z1 , z2 ∈ C \{0} temos que
Log(z1 z2 ) = Log(z1 ) + Log(z2 ),
isto é, para qualquer w ∈ Log(z1 z2 ) existem w1 ∈ Log(z1 ) e w2 ∈ Log(z2 ) tais que w =
w1 + w2 .
Prova: Sejam z1 = ρ1 eiθ1 e z2 = ρ2 eiθ2 e recordemos a Proposição 1.11. Se θ1 + θ2 < 2π,

então z1 z2 = ρ1 ρ2 ei(θ1 +θ2 ) e temos
Log(z1 z2 ) = {ln (ρ1 ρ2 ) + i(θ1 + θ2 + 2kπ) : k ∈ Z}
= {ln ρ1 + ln ρ2 + i(θ1 + 2rπ) + i(θ2 + 2sπ) : r, s ∈ Z}
= {ln ρ1 + i(θ1 + 2rπ) : r ∈ Z} + {ln ρ2 + i(θ2 + 2sπ) : s ∈ Z}
= Log (z1 ) + Log(z2 ).
Se θ1 + θ2 > 2π, então z1 z2 = ρ1 ρ2 ei(θ1 +θ2 −2π) e temos
Log(z1 z2 ) = {ln (ρ1 ρ2 ) + i(θ1 + θ2 − 2π + 2kπ) : k ∈ Z}
= {ln (ρ1 ρ2 ) + i(θ1 + θ2 + 2lπ) : l ∈ Z}
= Log (z1 ) + Log(z2 ).
Assim, temos uma primeira definição de função logaritmo.
Definição 1.23. A aplicação que a cada z ∈ C \{0} associa o conjunto Log z designa-se
por função logaritmo complexo.
Claro que estamos a cometer um certo abuso de linguagem, pois a função logaritmo
não é uma “verdadeira função”, uma vez que a cada z ∈ C \{0} estamos a associar um
subconjunto de C. Diz-se por isso que a função logaritmo é uma função multivalente.
Definimos a verdadeira função logaritmo complexo da seguinte forma.
Definição 1.24. Fixamos θ0 ∈ R. A restrição da função exponencial ao conjunto
Uθ0 = {z = x + iy ∈ C : y ∈ [θ0 , θ0 + 2π[}
é uma bijeção sobre C∗ (ver Figura 1.3). Assim, admite função inversa, a que chamamos
função logaritmo complexo e é denotada por logθ0 : C∗ → Uθ0 . Temos
elogθ0 (z) = z, para todo o z ∈ C∗ e logθ0 (ez ) = z, para todo o z ∈ Uθ0 .
Dizemos que cada uma das funções logθ0 , com θ0 ∈ R, é um ramo da função logaritmo.
O ramo correspondente a θ0 = 0 é designado por ramo principal da função logaritmo e
denotamos log0 = log : C∗ → U0 .
z = |z| ei arg z
C∗
2πi
U0 log z = ln |z| + i arg z
0 0
Figura 1.6: Ramo principal da função logaritmo.
Nota 1.25. Dado z = x ∈ R+ temos que logθ0 z = ln |x|+i arg x = ln x é a função logaritmo
real.
Proposição 1.26. Verifique que

logθ0 (z) = ln |z| + i arg e−iθ0 z + θ0 , para todo o z ∈ C∗ .
Exemplo 1.27. Vamos calcular o valor de diferentes ramos da função logaritmo nos pontos
π π
i = ei 2 e −i = e−i 2 .
π
1) Para i = ei 2 , temos: se θ0 ∈ − 3π π π

2 , 2 , então 0 6 2 − θ0 < 2π e

logθ0 (i) = ln |i| + i arg e−iθ0 i + θ0
π
= ln 1 + i arg ei( 2 −θ0 ) + θ0
π π
=i − θ0 + θ0 = i ;
2 2
π 5π π
se θ0 ∈ 2 , 2 , então −2π 6 2 − θ0 < 0 e

logθ0 (i) = ln |i| + i arg e−iθ0 i + θ0
π
= ln 1 + i arg ei( 2 −θ0 ) + θ0
π 5π
=i − θ0 + 2π + θ0 = i .
2 2
π
2) Do mesmo modo, para o ponto −i = e−i 2 , temos: se θ0 ∈ − 5π π

2 , − 2 , então
logθ0 (−i) = −i π2 ; se θ0 ∈ − π2 , 3π 3π

2 , então logθ0 (−i) = i 2 .
Proposição 1.28. Para quaisquer z1 , z2 ∈ C∗ temos que
log(z1 z2 ) = log(z1 ) + log(z2 ) + 2nπi, com n = 0 ou n = −1.
Função Potência com Expoente Complexo
Usando a função exponencial complexa e a função logaritmo complexa podemos definir a

potência com expoente complexo.
Definição 1.29. Dados z ∈ C∗ e w ∈ C definimos z w = ew log z .
Observação 1.30. Depois de termos definidas algumas funções complexas poderia ser
útil fazer a representação das mesmas. No entanto, tal não é possı́vel de uma forma
fácil e clara; identificando o plano complexo C com R2 uma função complexa de variável
complexa teria representação gráfica em R4 , mesmo assim, podemos fazer a representação
da parte real e da parte imaginária separadamente. Contudo, no que faremos mais adiante
podemos pensar numa função complexa de variável complexa como um campo vectorial
em R2 .
1.2 Limites e Continuidade
De agora em diante usaremos a seguinte notação: dada uma função f : Ω ⊆ C → C

escrevemos z = x + iy e f (z) = u(x, y) + iv(x, y) onde u, v : Ω ⊆ R2 → R são funções.
Definição 1.31. Dizemos que existe o limite de uma função complexa f em z0 ∈ Ω e

que é L ∈ C se para qualquer δ > 0 existe ε > 0 tal que |f (z) − L| < δ, para todo o
0 < |z − z0 | < ε, e escrevemos
lim f (z) = w0 .
z→z0
y v
f
ε
w0
z f (z)
δ
z0
x u
Nota 1.32. Devemos ter algum cuidado na definição do limite anterior, pois se identificar-
mos C com R2 a função f é uma função de R2 para R2 , ou seja, temos um limite de uma
função com várias variáveis, e esse assunto é delicado sempre que existem indeterminações
(ver Cálculo II). No entanto, veremos mais adiante como contornar este problema quando
tratarmos da questão da diferenciabilidade.
Proposição 1.33. O limite da função f no ponto z0 = x0 + iy0 ∈ Ω é w0 = u0 + iv0 ∈ C

se e só se os limites das funções u e v no ponto (x0 , y0 ) ∈ R2 são u0 e v0 , respectivamente.
Definição 1.34. Sejam f : Ω → C e z0 ∈ Ω tal que f está definida numa vizinhança de

z0 . Dizemos f é uma função complexa contı́nua no ponto z0 se
lim f (z) = f (z0 ) .

z→z0
Dizemos que f é uma função complexa contı́nua em Ω se o for em todos os pontos de Ω.
Proposição 1.35. Uma função complexa de variável complexa f (z) = u(x, y) + iv(x, y)
é contı́nua se as funções u e v forem funções contı́nuas enquanto funções de R2 em R2 .
1.3. FUNÇÕES HOLOMORFAS 13
Exemplo 1.36. A função log : C∗ → U não é contı́nua sobre o semi-eixo real positivo.
De facto, dado x0 ∈ R+ , se z se aproxima de x0 pelo primeiro quadrante então log z
converge para ln x0 , se z se aproxima de x0 pelo quarto quadrante então log z converge
para ln x0 + 2π, ou seja
lim log z = ln x0
z→x0
e lim log z = ln x0 + 2π,
z→x0
y>0 y<0
logo não existe limite e a função log z não é contı́nua nos pontos z = x0 ∈ R+ , com x0 > 0.
No entanto, fora do semi-eixo θ = θ0 , isto é, para todos os pontos do conjunto aberto
n o
Cθ0 = z = ρ eiθ : ρ > 0, θ 6= θ0 + 2kπ com n ∈ Z ,
a função logθ0 é contı́nua.
1.3 Funções Holomorfas
De agora em diante o subconjunto Ω de C é um conjunto aberto.
Definição 1.37. Dizemos que f é uma função complexa diferenciável em z0 ∈ Ω se existir

o limite
f (z) − f (z0 )
lim ,
z→z0 z − z0
df
o qual designamos por derivada de f no ponto z0 e representamos por f 0 (z0 ) ou (z0 ).
dz
Quando f é diferenciável em todos os pontos de Ω dizemos que f é uma função holomorfa
em Ω.
Nota 1.38. Recordamos o referido na Nota 1.32, pelo que o cálculo da derivada por de-
finição é algo delicado.
Proposição 1.39. Dadas duas funções f e g holomorfas em Ω, temos que
1. f + g é função holomorfa em Ω e (f + g)0 (z) = f 0 (z) + g 0 (z) para todo o z ∈ Ω
2. f g é função holomorfa em Ω e (f g)0 (z) = f 0 (z)g(z) + f (z)g 0 (z) para todo o z ∈ Ω
Proposição 1.40. Dadas duas funções f e g holomorfas

0 em Ω tais que a função g não se
f f f 0 (z)g(z) − f (z)g 0 (z)
anula em Ω, então é função holomorfa em Ω e (z) = para
g g g 2 (z)
todo o z ∈ Ω.
Proposição 1.41. Sejam f : Ω → Σ ⊂ C uma função holomorfa em Ω e g : Σ → C uma

função holomorfa em Σ, então g ◦f é função holomorfa em Ω e (g ◦ f )0 (z) = g 0 (f (z))f 0 (z)
para todo o z ∈ Ω.
Proposição 1.42. Se f é uma função diferenciável em z0 então f é uma função contı́nua

em z0 .
f (z) − f (z0 )
Prova: Se f é função diferenciável em z0 , então lim existe e temos
z→z0 z − z0
f (z) − f (z0 )
lim f (z) − f (z0 ) = lim · lim z − z0 = 0,
z→z0 z→z0 z − z0 z→z0
de onde concluı́mos que lim f (z) = f (z0 ), ou seja, f é uma função contı́nua em z0 .
z→z0
Exemplo 1.43. Como vimos no Exemplo 1.36 a função log : C∗ → U não é contı́nua sobre
o semi-eixo real positivo, logo a função log não é holomorfa sobre o semi-eixo real positivo.
Mais geralmente, a função logθ0 : C∗ → Uθ0 não é holomorfa sobre o semi-eixo θ = θ0 .
Observação 1.44. À semelhança do que acontece com as funções em Rn , dada uma

função contı́nua em z0 ∈ C, não implica que f seja diferenciável em z0 ∈ C, como podemos
verificar no Exemplo 1.56.
Definição 1.45. Dizemos que Ω é um conjunto conexo se não puder ser escrito como a
união disjunta de conjuntos abertos não vazios.
Exemplo 1.46. O conjunto Ω = {z ∈ C : |z| < 3} ⊂ C é um conjunto conexo.
Exemplo 1.47. O conjunto Ω = {z ∈ C : | Im z| > | Re z|} ⊂ C, representado na Figura

1.7, é um conjunto não conexo, visto que pode ser escrito como a união dijunta de dois
conjuntos abertos Ω = {z ∈ C : | Im z| > Re z} ∪ {z ∈ C : | Im z| < − Re z} ⊂ C.
Teorema 1.48. Se f é uma função holomorfa num conjunto aberto conexo Ω e f 0 (z) = 0
para todo o z ∈ Ω, então f é uma função constante em Ω.
Teorema 1.49. Seja f : Ω ⊆ C → C uma função diferenciável em z0 = a + bi ∈ Ω. Então

∂u ∂u ∂v ∂v
existem (a, b), (a, b), (a, b) e (a, b) e temos
∂x ∂y ∂x ∂y
∂u ∂v ∂u ∂v
(a, b) = (a, b) , (a, b) = − (a, b), (1.1)
∂x ∂y ∂y ∂x
∂u ∂v
as Equações de Cauchy-Riemann. Mais f 0 (z0 ) = (a, b) + i (a, b).
∂x ∂x
Figura 1.7: Conjunto não Conexo
Prova: Como f é diferenciável no ponto z0 , existe f 0 (z0 ) e temos
f (z) − f (z0 ) f (x, y) − f (a, b)

f 0 (z0 ) = lim = lim .
z→z0 z − z0 (x,y)→(a,b) x + iy − a − bi
Em particular, para y = b temos
f (x, b) − f (a, b) u(x, b) + iv(x, b) − u(a, b) − iv(a, b)

f 0 (z0 ) = lim = lim =
x→a x−a x→a x−a
u(x, b) − u(a, b) v(x, b) − v(a, b) ∂u ∂v
= lim + i lim = (a, b) + i (a, b)
x→a x−a x→a x−a ∂x ∂x
e para x = a temos
f (a, y) − f (a, b) u(a, y) + iv(a, y) − u(a, b) − iv(a, b)

f 0 (z0 ) = lim = lim =
y→b i(y − b) y→b i(y − b)
u(a, y) − u(a, b) v(a, y) − v(a, b) ∂u ∂v
= lim + lim = −i (a, b) + (a, b)
y→b i(y − b) y→b y−b ∂y ∂y
∂u ∂v ∂u ∂v
que têm de ser iguais, e concluı́mos que (a, b) = (a, b) e (a, b) = − (a, b).
∂x ∂y ∂y ∂x
Exemplo 1.50. Considere a função f (z) = |z|2 . Como f (z) = x2 + y 2 , temos que u(x, y) =
x2 + y 2 e v(x, y) = 0. Assim
∂u ∂u ∂v ∂v
= 2x = 2y =0 =0
∂x ∂y ∂x ∂y
e as equações de Cauchy-Riemann apenas são satisfeitas no ponto z = 0, ou seja, na

melhor das hipóteses f só é diferenciável no ponto z = 0. Por isso, não podemos dizer que
f seja uma função holomorfa em Ω.
Observação 1.51. A implicação contrária não é verdadeira, mas está muito perto, no
sentido em que apenas é precisa uma condição adicional, como mostra o seguinte teorema.
Teorema 1.52. Sejam Ω um conjunto aberto de C, f : Ω → C uma função onde f (z =

x+iy) = u(x, y)+iv(x, y) e u, v : Ω ⊆ R2 → R funções de classe C 1 . Então f é holomorfa
em Ω se e só se as equações de Cauchy-Riemann são válidas para todo o z ∈ Ω. Mais
∂u ∂v
f 0 (z) = (x, y) + i (x, y).
∂x ∂x
Exemplo 1.53. Consideremos a função f (z) = ez , a qual pode ser escrita como
f (z) = ex+iy = ex eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.
Ou seja, u(x, y) = ex cos y e v(x, y) = ex sen y e as suas derivadas são
∂u ∂v ∂u ∂v
= ex cos y = ex cos y = − ex sen y = ex sen y
∂x ∂y ∂y ∂x
as quais são funções contı́nuas e satisfazem as equações de Cauchy-Riemann em C, então

f é holomorfa em C e
∂u ∂v
f 0 (z) = +i = ex cos y + i ex sen y = ex (cos y + i sen y) = ez .
∂x ∂x
Exemplo 1.54. Do exemplo anterior e das definições da função cosseno e seno, temos que
ambas são holomorfas em C e
d d
(cos z) = − sen z e (sen z) = cos z.
dz dz
Exemplo 1.55. Seja α ∈ C constante, então f (z) = z α é holomorfa no seu domı́nio e
d α d ln z α d α ln z α eα ln z αz α
(z ) = e = e = = = αz α−1 .
dz dz dz z z
Exemplo 1.56. Consideremos a função f (z) = ez , a qual pode ser escrita como
f (z) = ex−iy = ex e−iy = ex (cos y − i sen y) = ex cos y − i ex sen y.
Ou seja, u(x, y) = ex cos y e v(x, y) = − ex sen y e as suas derivadas são
∂u ∂v ∂u ∂v
= ex cos y = − ex cos y = − ex sen y = − ex sen y
∂x ∂y ∂y ∂x
as quais são contı́nuas em R2 e satisfazem as equações de Cauchy-Riemann apenas quando
cos y = − cos y e sen y = − sen y,
o que é um sistema impossı́vel e daı́ concluı́mos que f não é diferenciável em nenhum

ponto. No entanto, a função f é contı́nua uma vez que as funções u e v são contı́nuas em
R2 .
Usando coordenadas polares o Teorema 1.52 pode ser escrito da seguinte forma.
Teorema 1.57. Sejam Ω um conjunto aberto de C, f : Ω → C uma função onde

f z = ρ eiθ = u(ρ, θ) + iv(ρ, θ) e u, v : Ω ⊆ R2 → R funções de classe C 1 . Então f

é holomorfa em Ω se e só se as equações de Cauchy-Riemann na forma polar


∂u 1 ∂v
=



∂ρ ρ ∂θ
∂v 1 ∂u
=−



∂ρ ρ ∂θ
são válidas para todo o z ∈ Ω. Mais, para todo o z ∈ Ω ∩ C∗ temos

0 −iθ ∂u ∂v
f (z) = e (ρ, θ) + i (ρ, θ) .
∂ρ ∂ρ
Prova: Recordemos que x = ρ cos θ e y = ρ sen θ. Usando as equações de Cauchy-

Riemann (1.1) e a regra da cadeia temos que
∂u ∂u ∂x ∂u ∂y ∂u ∂v
= + = cos θ − sen θ
∂ρ ∂x ∂ρ ∂y ∂ρ ∂x ∂x
∂v ∂v ∂u
e de forma análoga temos = cos θ + sen θ.
∂ρ ∂x ∂x
Aplicando novamente as equações de Cauhy-Riemann (1.1) e a regra da cadeia temos
∂v ∂v ∂x ∂v ∂y ∂v ∂u 1 ∂v ∂v ∂u
= + = − ρ sen θ + ρ cos θ ⇒ =− sen θ + cos θ,
∂θ ∂x ∂θ ∂y ∂θ ∂x ∂x ρ ∂θ ∂x ∂x
1 ∂u ∂u ∂v
e obtemos a primeira igualdade. De forma análoga − = sen θ + cos θ, e temos
ρ ∂θ ∂x ∂x
a segunda igualdade.
∂u ∂v
Multiplicando +i por e−iθ = cos θ − i sen θ temos
∂ρ ∂ρ

∂u ∂v ∂v ∂u
(cos θ − i sen θ) cos θ − sen θ + i cos θ + sen θ
∂x ∂x ∂x ∂x
∂u ∂v ∂v ∂u
= cos2 θ − cos θ sen θ + i cos2 θ + i cos θ sen θ
∂x ∂x ∂x ∂x
∂u ∂v ∂v ∂u
−i cos θ sen θ + i sen2 θ + cos θ sen θ + sen2 θ
∂x ∂x ∂x ∂x
∂u ∂v
= +i = f 0 (z),
∂x ∂x
pelo Teorema 1.52.
Exemplo 1.58. Consideremos a função f (z) = logθ0 (z) a qual é contı́nua para todo o
z ∈ Cθ0 , e tendo em conta a Proposição 1.42 a função f apenas pode ser holomorfa em
Cθ0 .
Podemos escrever f em coordenadas polares na forma f (z) = ln ρ + iθ, com ρ ∈ R+ e
θ ∈]θ0 , θ0 + 2π[. A parte real u e a parte imaginária v da função f são dadas por
u(ρ, θ) = ln ρ, e v(ρ, θ) = θ,
as quais são contı́nuas em Cθ0 e satisfazem as equações de Cauchy-Riemann indicadas na

Proposição 1.57. De facto,
∂u 1 1 ∂v ∂v 1 ∂u
= = e =0=− ,
∂ρ ρ ρ ∂θ ∂ρ ρ ∂θ
que são contı́nuas em R2 \{(0, 0)}.

Pelo Teorema 1.57 a função é holomorfa em Cθ0 e

0 −iθ ∂u ∂v −iθ 1 1 1
f (z) = e (r, θ) + i (r, θ) = e + 0i = iθ
= .
∂ρ ∂ρ ρ ρe z
1.3.1 Funções Harmónicas
Definição 1.59. Dada uma função h : Ω ⊆ R2 → R, dizemos que h é função harmónica

se ∆h = 0 onde
∂2h ∂2h
∆h = + 2,
∂x2 ∂y
∂2h ∂2h
isto é, satisfaz a equação de Laplace: (x, y) + (x, y) = 0.
∂x2 ∂y 2
Teorema 1.60. Seja Ω ⊆ C um conjunto aberto. Se f : Ω → C é uma função holomorfa

com f (z = x + iy) = u(x, y) + iv(x, y), então u e v são funções harmónicas.
Prova: Se f é uma função holomorfa, então verifica as equações de Cauchy-Riemann (1.1)

para todo o (a, b) ∈ R2 u C.
Derivando essas igualdades em ordem a x temos
∂2u ∂2v ∂2u ∂2v
= e = − 2;
∂x2 ∂x∂y ∂x∂y ∂x
e derivando em ordem a y temos
∂2u ∂2v ∂2u ∂2v
= e = − .
∂y∂x ∂y 2 ∂y 2 ∂y∂x
Assim, temos
∂2u ∂2u ∂2v ∂2v ∂2v ∂2v ∂2u ∂2u
+ = − =0 e + = − + = 0,
∂x2 ∂y 2 ∂x∂y ∂y∂x ∂x2 ∂y 2 ∂x∂y ∂y∂x
onde nas últimas igualdades usámos o Teorema de Schwarz, que permite trocar a ordem
de derivação no caso das derivadas parciais serem contı́nuas.
Nota 1.61. Na prova anterior usámos um resultado que iremos provar mais tarde, o qual
garante que a parte real e parte imaginária de uma função holomorfa admitem derivadas
parciais de qualquer ordem.
Exemplo 1.62. Consideremos a função u(x, y) = y 3 − 3x2 y a qual é harmónica, pois
uxx = −6y e uyy = 6y.
Podemos tentar encontrar uma função v tal que f = u + iv seja uma função holomorfa.
Ora, se f é holomorfa, as funções u e v respeitam as equações de Cauchy-Riemann,
assim
∂v ∂u
= = −6xy
∂y ∂x
de onde concluı́mos que v(x, y) = −3xy 2 + g(x), a qual tem de verificar
∂v ∂u
−3y 2 + g 0 (x) = =− = −3y 2 + 3x2
∂x ∂y
e assim temos que ter g 0 (x) = 3x2 ⇒ g(x) = x3 + K. Ou seja, v(x, y) = −3xy 2 + x3 + K
e temos que
f (z) = y 3 − 3x2 y + i −3xy 2 + x3 + K

é uma função holomorfa em C para qualquer K ∈ C.

Observação 1.63. A outra implicação do Teorema 1.60 não é verdadeira; por exemplo,
as funções u(x, y) = x2 − y 2 e v(x, y) = 0 são harmónicas, no entanto, a função f (z) =
u(x, y) + iv(x, y) não é holomorfa em C.
1.3.2 Primitivas de Funções Complexas
Definição 1.64. Dada uma função f : Ω ⊆ C → C, dizemos que a função F : Ω → C é

uma primitiva de f em Ω se F é função holomorfa e F 0 = f em Ω.
Proposição 1.65. Se F e G são primitivas da função f num conjunto aberto conexo Ω,

então F − G é constante em Ω.
Prova: Se F e G são primitivas da função f em Ω, então F e G são funções holomorfas

e F 0 = f = G0 . Assim, (F − G)0 = F 0 − G0 = 0, e pelo Teorema 1.48 temos que F − G é
constante em Ω.
Definição 1.66. Dizemos que Ω ⊆ C é um conjunto convexo se para quaisquer z1 , z2 ∈ Ω

tivermos z1 + t (z2 − z1 ) ∈ Ω para todo o t ∈ [0, 1]; isto é, se o segmento de recta de z1
para z2 está em Ω.
Exemplo 1.67. O conjunto Ω = {z ∈ C : 1 < |z| < 2} é um conjunto não convexo.
Figura 1.8: Conjunto não Convexo
Teorema 1.68. Dado Ω ⊆ C um conjunto aberto convexo, se f : Ω → C é uma função

holomorfa, então f tem primitiva em Ω.
1.4. INTEGRAÇÃO DE FUNÇÕES COMPLEXAS AO LONGO DE CURVAS 21
1.4 Integração de Funções Complexas ao Longo de Curvas
Entendendo uma função complexa de variável complexa como um campo de vectores em

R2 , o integral dessa função ao longo de uma curva de z1 para z2 representa o trabalho
realizado por esse campo de forças para deslocar uma partı́cula de z1 para z2 .
Definição 1.69. A uma função γ : [a, b] ⊂ R → C contı́nua chamamos caminho. À

imagem do caminho γ, isto é Γ = γ ([a, b]), chamamos curva. Neste caso, dizemos que γ é
uma parametrização da curva Γ.
Dizemos que γ é um caminho regular (e que Γ é uma curva regular ) se for um caminho
de classe C 1 tal que γ 0 (t) 6= 0 para todo o t ∈ [a, b] onde para t = a, b consideramos as
derivadas laterais. Dizemos que γ é um caminho seccionalmente regular (e que Γ é uma
curva seccionalmente regular ) se tivermos a = t0 < t1 < . . . < tr = b tais que γ é caminho
regular em ]ti , ti+1 [.
Exemplo 1.70. O caminho dado por γ(t) = z1 + t (z2 − z1 ), com t ∈ [0, 1], parametriza o
segmento de recta que começa em z1 e termina em z2 . (ver Figura 1.9)
z2
z1
Figura 1.9: Segmento de z1 para z2
Exemplo 1.71. O caminho dado por γ(t) = z0 + R eit , com t ∈ [0, 2π], parametriza a
circunferência de centro z0 e raio R, no sentido positivo. (ver Figura 1.10)
Exemplo 1.72. O caminho dado por


t + it

, se 0 6 t 6 1
γ(t) =

t + i , se 1 6 t 6 3
parametriza uma curva seccionalmente regular. (ver Figura 1.11)

R
z0
Figura 1.10: Circunferência de centro z0 e raio R, no sentido positivo
1 3
Figura 1.11: Curva Seccionalmente Regular
Definimos agora a integração que estamos interessados em estudar.
Definição 1.73. Consideremos a função f : Ω ⊆ C → C e Γ ⊂ Ω uma curva seccional-

mente regular parametrizada por γ : [a, b] → Ω. Definimos o integral de f ao longo da
curva Γ como sendo
Z Z b
f (z) dz = f (γ(t)) γ 0 (t) dt.
Γ a
Consideremos um caminho γ : [a, b] → C e uma função diferenciável g : [c, d] → [a, b]

tal que g 0 (u) > 0 para todo o u ∈ [c, d]. Seja γ b = γ ◦ g, ou seja,
b o caminho dado por γ
temos uma nova parametrização para uma mesma curva Γ. Assim, temos que
Z Z b Z d
0
f (z) dz = f (γ(t)) γ (t) dt = f (γ(g(u))) γ 0 (g(u))g 0 (u) du =
Γ a c
Z d Z d Z
= f ((γ ◦ g) (u)) (γ ◦ g)0 (u) du = f (bγ (u)) γb0 (u) du = f (z) dz,
c c Γ
ou seja, o integral não depende do caminho, desde que descrevam exactamente a mesma
curva, começando e terminando no mesmo ponto.
Exemplo 1.74. Consideremos f (z) = z e Γ a curva formada pelo arco de circunferência

de raio 2 centrado na origem que une os pontos −2i e 2i percorrido no sentido positivo,
a qual pode ser parametrizado por γ : − π2 , π2 → C com γ(t) = 2 eit . Assim temos

f (γ(t)) = 2 eit = 2 e−it e γ 0 (t) = 2i eit e então

Z Z π Z π Z π
2 2 2
0 −it it
f (z) dz = f (γ(t)) γ (t) dt = 2e 2i e dt = 4i 1 dt = 4πi.
Γ − π2 − π2 − π2
1
Exemplo 1.75. Consideremos f (z) = e Γ a circunferência de raio R, centro em z0 ,
z − z0
percorrida uma vez no sentido positivo. Podemos parametrizar Γ por
γ(t) = z0 + R eit , com t ∈ [0, 2π]
1
e assim f (γ(t)) = e γ 0 (t) = Ri eit e temos
R eit
Z Z 2π Z 2π
0 1
f (z) dz = f (γ(t)) γ (t) dt = Ri eit dt = 2πi.
Γ 0 0 R eit
Lema 1.76. Dadas f : Ω → C uma função e Γ uma curva seccionalmente regular em Ω

formada pela união de outras duas curvas, isto é, Γ = Γ1 ∪ Γ2 , então
Z Z Z Z
f (z) dz = f (z) dz = f (z) dz + f.
Γ Γ1 ∪Γ2 Γ1 Γ2
Exemplo 1.77. Consideremos f (z) = −iz e Γ a curva formada pelos segmentos Γ1 (de 0
para 1 + i) e Γ2 (de 1 + i para i). Primeiro observemos que
Z Z Z
f= f+ f.
Γ Γ1 Γ2
Podemos parametrizar Γ1 por
γ1 (t) = 0 + (1 + i − 0) t = t + it, com t ∈ [0, 1]
e assim f (γ1 (t)) = −it + t e γ10 (t) = 1 − i e temos

Z Z 1 Z 1 Z 1 1
f (z) dz = f (γ1 (t)) γ10 (t) dt = (−it + t)(1 − i) dt = −2it dt = −i t2 0 = −i.
Γ1 0 0 0
Podemos parametrizar Γ2 por
γ2 (t) = 1 + i + (i − (1 + i)) t = 1 + i − t, com t ∈ [0, 1]

e assim f (γ2 (t)) = −i + 1 + it e γ20 (t) = −1 e temos

Z Z 1 Z 1 Z 1
0
f (z) dz = f (γ2 (t)) γ2 (t) dt = (−i + 1 + it)(−1) dt = i − 1 − it dt =
Γ2 0 0 0
1
it2

i i
= (i − 1)t − = i − 1 − = − 1.
2 0 2 2
Z
i
Então f = − − 1.
Γ 2
Teorema 1.78. Seja f : Ω ⊂ C → C uma função contı́nua e F : Ω → C uma primitiva
de f . Dada Γ uma curva em Ω seccionalmente regular de z1 para z2 , então
Z
f (z) dz = F (z2 ) − F (z1 ) .
Γ
Prova: Supomos que Γ é parametrizada por γ : [a, b] → C. Seja F uma primitiva de f ,

logo f (z) = F 0 (z), e temos
Z Z b Z b
0
f (z) dz = f (γ(t)) γ (t) dt = F 0 (γ(t)) γ 0 (t) dt =
Γ a a
Z b
= (F ◦ γ)0 (t) dt = (F ◦ γ) (b) − (F ◦ γ) (a) = F (z2 ) − F (z1 ) .
a
Corolário 1.79. Nas condições do Teorema 1.78, se Γ e Γ

b são duas curvas em Ω seccio-
nalmente regulares que começam e terminam nos mesmos pontos, então

Z Z
f (z) dz = f.
Γ Γ
b
Exemplo 1.80. Consideremos a curva Γ constituı́da pelo arco de circunferência de raio 1

percorrido no sentido positivo que une os pontos 1 e −1. A função f (z) = z 2 é contı́nua
z3
em C e F (z) = é holomorfa em C e então temos
3
(−1)3 13
Z
2
f (z) dz = F (−1) − F (1) = − =− .
Γ 3 3 3
Exemplo 1.81. Consideremos a curva Γ constituı́da pelo arco de circunferência de raio 1

percorrido no sentido positivo que une os pontos 1 e −1. A função f (z) = z 3 é contı́nua
z4
em C e F (z) = é holomorfa em C e então temos
4
(−1)4 14
Z
f (z) dz = F (−1) − F (1) = − = 0.
Γ 4 4
1 1
Exemplo 1.82. A função f (z) = é contı́nua excepto na origem e F (z) = − é holomorfa
z2 z
em C \{0}. Então
Z
1 1
f (z) dz = F (z2 ) − F (z1 ) = − ,
Γ z 2 z1
para qualquer caminho que comece em z1 e termine em z2 , que não passe na origem nem
duas vezes no mesmo ponto.
Definição 1.83. Seja γ : [a, b] → C uma parametrização de Γ. Dizemos que Γ é uma

curva fechada se γ(a) = γ(b). Uma curva não fechada é uma curva simples se γ é uma
função injectiva. Dizemos que Γ é uma curva fechada simples se Γ é fechada e γ é injectiva
no intervalo aberto ]a, b[.
Dada uma curva fechada simples, indicamos por int Γ o subconjunto de C limitado
pela curva Γ.
Exemplo 1.84. O caminho dado por γ(t) = z0 + R eit , com t ∈ [0, 2π] parametriza uma
curva fechada simples.
Corolário 1.85. Nas condições do Teorema 1.78, se Γ é uma curva fechada, então
Z
f (z) dz = 0.
Γ
Corolário 1.86. Seja Γ uma curva seccionalmente regular e denotamos por −Γ a mesma
curva mas percorrida em sentido contrário. Nas condições do Teorema 1.78 temos
Z Z
f (z) dz = − f (z) dz.
−Γ Γ
Z
b = Γ ∪ −Γ é uma curva fechada, pelo Corolário 1.85, temos
Prova: A curva Γ f (z) dz =
Γ
b
0.
Z Z Z
Por outro lado, pelo Lema 1.76, temos f (z) dz = f (z) dz + f (z) dz e o resul-
Γ
b Γ −Γ
tado segue.
Teorema 1.87 (Teorema de Cauchy). Sejam Ω ⊂ C um conjunto aberto convexo e

f : Ω → C uma função holomorfa. Então
Z
f (z) dz = 0
Γ
para qualquer Γ curva seccionalmente regular fechada contida em Ω.

Exemplo 1.88. Seja Γ a circunferência de raio 1 centrada na origem e f (z) = z ez a qual é

Z
uma função holomorfa em C (Verifique!), então f (z) dz = 0.
Γ
z2
Exemplo 1.89. Seja Γ a circunferência de raio 2 centrada na origem e f (z) = a qual
Z z−3
é uma função holomorfa em Ω ⊂ C \{3}, então f (z) dz = 0, uma vez que podemos
Γ
tomar um conjunto aberto convexo Ω tal que Γ ⊂ Ω (ver Figura 1.12).
Figura 1.12: Conjunto aberto convexo Ω contendo a curva Γ
b : [a, b] → Ω dizemos que γ e γ

Definição 1.90. Dados dois caminhos γ, γ b são caminhos
homotópicos em Ω se existe uma função H : [a, b] × [0, 1] → Ω contı́nua tal que
b(t) para todo o t ∈ [a, b]

1. H(t, 0) = γ(t) e H(t, 1) = γ
2. H(a, s) = γ(a) = γ b(b) para todo o s ∈ [0, 1].

b(a) e H(b, s) = γ(b) = γ
Teorema 1.91 (Teorema da Deformação). Seja Ω ⊆ C um conjunto aberto e f :

Ω → C uma função holomorfa. Se Γ e Γ
b são duas curvas seccionalmente regulares e
homotópicas em Ω, então
Z Z
f (z) dz = f (z) dz.
Γ Γ
b
Corolário 1.92. Seja Ω ⊆ C um conjunto aberto e f : Ω → C uma função holomorfa. Se

Γ é uma curva seccionalmente regular fechada homotópica a um ponto em Ω, então
Z
f (z) dz = 0.
Γ
1.5. FUNÇÕES ANALÍTICAS 27
1.4.1 Fórmula Integral de Cauchy
Teorema 1.93 (Fórmula Integral de Cauchy). Sejam Ω ⊂ C um conjunto aberto

convexo e f : Ω → C uma função holomorfa. Seja Γ uma curva fechada simples seccio-
nalmente regular em Ω, percorrida no sentido directo, então
Z
1 f (z)
f (z0 ) = dz, (1.2)
2πi Γ z − z0
onde z0 ∈ int Γ.
À igualdade (1.2) chamamos Fórmula Integral de Cauchy.
Observação 1.94. Não podemos aplicar os resultados anteriores à SubSecção 1.4.1 uma
f (z)
vez que a função que estamos a integrar não é holomorfa em z0 ∈ int Γ ⊂ Ω.
z − z0
Exemplo 1.95. Consideremos a curva Γ o quadrado de vértices 2 + 2i, −2 + 2i, −2 − 2i e

2 − 2i percorrido uma vez no sentido directo. Usando o Teorema de Cauchy, temos que
z2
Z
dz = 0.
Γ z−3
Aqui não aplicamos a Fórmula Integral de Cauchy, uma vez que o ponto z0 = 3 ∈
/ int Γ.

2 − 2i percorrido uma vez no sentido directo. E para as duas seguintes situações, usando
a fórmula integral de Cauchy, temos que
e−z
Z
πi πi
π π
dz = 2πif = 2πi e− 2 = 2πi cos − + i sen − = 2π
Γ z − πi2
2 2 2
e
Z Z
z 1 z 1
= = 2πif (−1) = −πi.
Γ 2z + 2 2 Γ z − (−1) 2
1.5 Funções Analı́ticas
Dados z0 ∈ C e coeficientes {cn }n∈N0 ∈ C definimos a série de potências complexa centrada

em z0 como
+∞
X
cn (z − z0 )n . (1.3)
n=0
Definição 1.97. Chamamos raio de convergência da série (1.3) a
1
R= p
n
;
lim |cn |
no caso do limite ser nulo, temos R = +∞.
Exemplo 1.98. Para a série de potências

+∞
X 1
(z − i)n
3n
n=0
o seu raio de convergência é dado por
1 1
R= = = 3.
lim 13
q
n 1
lim 3n
Teorema 1.99. A série de potências (1.3) é
1. uniformemente convergente para todo o z tal que |z − z0 | 6 r, com r < R
2. absolutamente convergente para todo o z tal que |z − z0 | < R
3. divergente para todo o z tal que |z − z0 | > R.
Definição 1.100. Definimos o disco aberto de centro z0 e raio R como o conjunto
DR (z0 ) = {z ∈ C : |z − z0 | < R} .
Dado Ω ⊆ C conjunto aberto, dizemos que f : Ω → C é uma função analı́tica em Ω se,

para cada DR (z0 ) ⊂ Ω, existe uma série de potências (1.3) que converge para f (z), para
todo o z ∈ DR (z0 ).
Teorema 1.101. Seja f : Ω ⊆ C → C uma função analı́tica. Então f é de classe C ∞ ,

todas as suas derivadas são analı́ticas em Ω e
+∞ (n)
X f (z0 )
f (k) (z) = (z − z0 )n−k
(n − k)!
n=k
para k ∈ N0 e z ∈ DR (z0 ) ⊂ Ω.
No teorema anterior tomando k = 0 obtemos a já conhecida série de Taylor :

1.5. FUNÇÕES ANALÍTICAS 29
Corolário 1.102 (Série de Taylor). Seja f : Ω ⊆ C → C uma função analı́tica. Então

f é de classe C ∞ , todas as suas derivadas são analı́ticas em Ω e
+∞ (n)
X f (z0 )
f (z) = (z − z0 )n (1.4)
n!
n=0
para z ∈ DR (z0 ) ⊂ Ω. A esta série chamamos série de Taylor da função f no ponto z0 .
Observação 1.103. Como a série de Taylor é única, as séries (1.3) e (1.4) coincidem, isto
f (n) (z0 )
é, cn = para todo o n ∈ N0 .
n!
Como caso particular da série de Taylor, em que z0 = 0, temos a série de MacLaurin:
Corolário 1.104 (Série de MacLaurin). Seja f : Ω ⊆ C → C uma função analı́tica.

Então f é de classe C ∞ , todas as suas derivadas são analı́ticas em Ω e
+∞ (n)
X f (0)
f (z) = zn (1.5)
n!
n=0
para z ∈ DR (0) ⊂ Ω. A esta série chamamos série de MacLaurin da função f .
Exemplo 1.105. A função f (z) = ez é analı́tica em C e

+∞ n
z
X z
e = para todo o z ∈ C .
n!
n=0
Exemplo 1.106. A função f (z) = cos z é analı́tica em C e

+∞
X (−1)n z 2n
cos z = para todo o z ∈ C .
(2n)!
n=0
Exemplo 1.107. A função f (z) = sen z é analı́tica em C e

+∞
X (−1)n z 2n+1
sen z = para todo o z ∈ C .
(2n + 1)!
n=0
1
Exemplo 1.108. A função f (z) = é analı́tica em C \{1} e
1−z
+∞
1 X
= zn para todo o z ∈ {z ∈ C : |z| < 1} .
1−z
n=0
Destes exemplos bem conhecidos podemos deduzir a série de MacLaurin para outras
funções.
+∞ n +∞ n+2
X z X z
Exemplo 1.109. A função f (z) = z 2 ez é analı́tica em C e z 2 ez = z2 =
n! n!
n=0 n=0
para todo o z ∈ C.
1
Exemplo 1.110. Consideremos a função f (z) = que tem domı́nio C \{1}. Para
z−1
z0 ∈ C \{1} podemos escrever
1 1 1
f (z) = =
z − z0 − (1 − z0 ) z0 − 1 1 − z−z
1−z0
0
+∞ +∞
1 X z − z0 n X (z − z0 )n

= = − .
z0 − 1
n=0
1 − z0 (1 − z0 )n+1
n=0
O próximo teorema fornece uma forma fácil de perceber se a série de Taylor e a série
de MacLaurin existem, isto é, de saber se a função é analı́tica.
Teorema 1.111 (Fórmula Integral de Cauchy para as Derivadas). Seja f : Ω ⊆

C → C uma função e Ω um conjunto aberto. Então f é uma função holomorfa em Ω se e
só se f é uma função analı́tica em Ω. Mais,
Z
(n) n! f (z)
f (z0 ) = dz para n = 0, 1, 2, . . . (1.6)
2πi Γ (z − z0 )n+1
para qualquer curva Γ seccionalmente regular fechada simples em Ω, percorrida no sentido

positivo, com z0 ∈ int Γ.
À igualdade (1.6) chamamos Fórmula Integral de Cauchy para as Derivadas, quando

n = 0 obtemos a Fórmula Integral de Cauchy do Teorema 1.93.
Com a fórmula integral de Cauchy para as derivadas podemos agora calcular outros
integrais.

2 − 2i percorrido uma vez no sentido positivo. Usando a fórmula integral de Cauchy para
as derivadas, temos que
Z
cos z 2πi 0 π π
dz = f = 2πi − sen = −2πi.
π 2 1! 2 2
Γ z− 2
1.6. SÉRIE DE LAURENT E SINGULARIDADES 31
1.6 Série de Laurent e Singularidades
Teorema 1.113 (Série de Laurent). Definimos a coroa de centro z0 e raios R1 e R2

como o conjunto
CR1 ,R2 (z0 ) = {z ∈ C : R1 < |z − z0 | < R2 } .
Seja f uma função holomorfa em CR1 ,R2 (z0 ), então para todo o z ∈ CR1 ,R2 (z0 ) temos
+∞ +∞
X X bn
f (z) = an (z − z0 )n + , (1.7)
(z − z0 )n
n=0 n=1
onde
Z Z
1 f (z) 1 f (z)
an = dz e bn = dz
2πi Γ (z − z0 )n+1 2πi Γ (z − z0 )−n+1
e Γ é uma curva em CR1 ,R2 (z0 ) seccionalmente regular fechada simples percorrida no
sentido positivo e z0 ∈ int Γ.
À série de potências (1.7) chamamos série de Laurent da função f no ponto z0 .
Observação 1.114. Na coroa CR1 ,R2 (z0 ) do teorema 1.113, o raio R1 pode ser 0 e o raio
R2 pode ser +∞.
Nota 1.115. Como podemos observar, os coeficientes an e bn não são nada fáceis de calcular,
até porque não sabemos qual a curva Γ a escolher de modo a efectuar menos cálculos.
Assim, em geral, o que se faz é tomar uma série de Taylor ou de MacLaurin conhecida e
tentar deduzir a série de Laurent, uma vez que a série de Laurent é única.
1
Exemplo 1.116. A função f (z) = e z é holomorfa em C \{0}. Considerando a função ez a
qual é analı́tica em C e que por isso tem série de MacLaurin que converge para ez em C,
+∞ 1 n +∞
1 X
z
X 1
temos que e z = = para z 6= 0, ou seja, temos a série de Laurent em
n! n!z n
n=0 n=0
torno do ponto z0 = 0 para a função f na coroa C0,+∞ (0).
1 1 1
Exemplo 1.117. A função f (z) = = − é analı́tica em C \{1, 2},
(z − 1)(z − 2) z−2 z−1
assim:
f é analı́tica no disco D1 (0) e por isso, temos a série de Taylor em torno do ponto
z0 = 0. Como
+∞X zn +∞
1 1 1 1 X z n z
=− = − = − para < 1 ⇒ |z| < 2

2 1 − z2

z−2 2 2 2n+1 2
n=0 n=0
e
+∞
1 1 X
− = = zn para |z| < 1
z−1 1−z
n=0
e então
+∞ +∞ +∞
X zn X
n
X
−n−1
n
f (z) = − + z = 1 − 2 z
2n+1
n=0 n=0 n=0
é a série de Taylor para f no ponto z0 = 0 no disco D1 (0).
Figura 1.13: Disco D1 (0)
f é holomorfa na coroa C1,2 (0) e por isso, temos a série de Laurent

! em torno do
1 1 1 1 1
ponto z0 = 0. Como f (z) = − = − e já vimos que
z−2 z−1 z − 2 z 1 − z1
X zn +∞
1
=− para |z| < 2
z−2 2n+1
n=0
e
+∞ +∞
! n
1 1 1X 1 X 1 1
− 1 =− =− para < 1 ⇒ |z| > 1
z 1− z
z z z n+1 z
n=0 n=0
e então
+∞ +∞
X zn X 1
f (z) = − n+1
− n+1
2 z
n=0 n=0
é a série de Laurent de f no ponto z0 = 0 na coroa C1,2 (0).
f é holomorfa na coroa C2,+∞ (0) e por isso, temos uma série

! de Laurent ! em torno
1 1 1 1 1 1
do ponto z0 = 0. Como f (z) = − = 2 − e já vimos
z−2 z−1 z 1− z z 1 − z1
1 2
Figura 1.14: Coroa C1,2 (0)
que
+∞
!
1 1 X 1
− 1 =− para |z| > 1
z 1− z
z n+1
n=0
e
+∞ +∞
! n
2n

1 1 1X 2 X 2
2 = = para < 1 ⇒ |z| > 2
z 1− z
z z z n+1 z
n=0 n=0
e então
+∞ +∞ +∞
X 2n X 1 X 1
f (z) = − = (2n − 1) n+1
z n+1 z n+1 z
n=0 n=0 n=0
é a série de Laurent de f no ponto z0 = 0 na coroa C2,+∞ (0).
Figura 1.15: Coroa C2,+∞ (0)
f é holomorfa na coroa C0,1 (1) e por isso, temos a série de Laurent em torno do
ponto z0 = 1. Como
+∞
1 1 1 X
= =− = −(z − 1)n para |z − 1| < 1
z−2 z−1−1 1 − (z − 1)
n=0
também é verdade na coroa 0 < |z − 1| < 1 e então

+∞
X 1
f (z) = −(z − 1)n −
z−1
n=0
1 2
f é holomorfa na coroa C1,+∞ (1) e por isso, temos a série de Laurent em torno do
ponto z0 = 1. Como
+∞ n X+∞
1 1 1 1 1 X 1 1
= = 1 = = ,
z−2 z−1−1 z − 1 1 − z−1 z−1 z−1 (z − 1)n+1
n=0 n=0

1
para < 1 ⇔ |z − 1| > 1 e então
z − 1
+∞ +∞
X 1 1 X 1
f (z) = n+1
− =
(z − 1) z−1 (z − 1)n
n=0 n=2
f é holomorfa na coroa C0,1 (2) e por isso, temos a série de Laurent em torno do
ponto z0 = 2. Como
+∞
1 1 1 X
= = = (−1)n (z − 2)n para |z − 2| < 1
z−1 z−2+1 1 − (−(z − 2))
n=0
1 2
também é verdade na coroa 0 < |z − 2| < 1 e então
+∞
1 X
f (z) = − (−1)n (z − 2)n
z−2
n=0
1 2 3
f é holomorfa na coroa C1,+∞ (2) e por isso, temos a série de Laurent em torno do
ponto z0 = 2. Como
+∞ n +∞
1 1 1 1 1 X −1 X (−1)n
= = −1 = = ,
z−1 z−2+1 z − 2 1 − z−2 z−2 z−2 (z − 2)n+1
n=0 n=0

1
para
< 1 ⇔ |z − 2| > 1 e então
z − 2
X (−1)n+∞ X (−1)n+1 +∞
1
f (z) = − =
z−2 (z − 2)n+1 (z − 2)n
n=0 n=2
1 2 3
Definição 1.118. Dada uma função f : Ω ⊂ C → C dizemos que z0 ∈ Ω é uma singula-

ridade isolada se f é holomorfa nalguma coroa C0,R (z0 ), mas não no disco DR (z0 ).
De forma a simplificar a notação, indicaremos esta coroa apenas como CR (z0 ).
1
Exemplo 1.119. A função f (z) = é holomorfa em C∗ = C+∞ (0), ou seja, z0 = 0 é uma
z
singularidade isolada.
z+1
Exemplo 1.120. A função f (z) = é holomorfa em C \{0, ±i}, ou seja, z0 = 0,
z 2 (z 2
+ 1)
z0 = i e z0 = −i são singularidades isoladas.
Definição 1.121. Dada z0 uma singularidade da função f e a respectiva série de Laurent

da função f no ponto z0 (1.7), dizemos que
1. z0 é uma singularidade removı́vel se bn = 0 para todo o n ∈ N
2. z0 é uma singularidade essencial se bn 6= 0 para um número infinito de valores n ∈ N
3. z0 é um pólo de ordem k se bk 6= 0 e bi = 0 para todo o i > k, com k > 0.

sen z
Exemplo 1.122. A função f (z) = tem uma singularidade isolada em z0 = 0, no
z
entanto, como
+∞ +∞
1 X (−1)n 2n+1 X (−1)n 2n
f (z) = z = z
z (2n + 1)! (2n + 1)!
n=0 n=0
a singularidade é removı́vel.
1
Exemplo 1.123. A função f (z) = e z tem uma singularidade isolada em z0 = 0, no entanto,
como
+∞
X 1 −n
f (z) = z
n!
n=0
tem infinitos termos com potência negativas a singularidade isolada é essencial.

1
Exemplo 1.124. A função f (z) = tem duas singularidades isoladas em z0 = 0 e
z2 −z
z0 = 1. Para z0 = 0 temos
+∞ +∞
1 1 1 X n X n−1
f (z) = − =− z = −z
z1−z z
n=0 n=0
um pólo de ordem 1. Para z0 = 1 temos

+∞ +∞
1 1 1 X X
f (z) = = (−(z − 1))n = (−1)n (z − 1)n−1
z − 1 1 + (z − 1) z−1
n=0 n=0
um pólo de ordem 1.
A classificação das singularidades dada na Definição 1.121 pressupõe que primeiro

determinamos a série de Laurent da respectiva função, vamos ver que nem sempre é
necessário determinar a série para classificar as singularidades.
Proposição 1.125. Seja z0 uma singularidade isolada da função f . Se lim f (z) = L 6=

z→z0
∞, então z0 é uma singularidade isolada removı́vel.
sen z
Exemplo 1.126. Como lim = 0, z0 = 0 é uma singularidade isolada removı́vel da
z→0 z
sen z
função f (z) = .
z
Definição 1.127. Seja q : Ω ⊂ C → C uma função complexa de variável complexa.

Dizemos que q tem um zero de ordem k em z0 ∈ Ω se q (n) (z0 ) = 0 para todo o n < k e
q (k) (z0 ) 6= 0.
Exemplo 1.128. Consideremos a função q(z) = z 3 , logo q(0) = 0. Como q 0 (z) = 3z 2 e

q 00 (z) = 6z temos q 0 (0) = q 00 (0) = 0. Mas q 000 (z) = 6 e logo q 000 (0) = 6 6= 0. Assim, z0 = 0
é um zero de ordem 3 da função q(z).
Exemplo 1.129. Consideremos a função q(z) = z(ez −1), logo q(0) = 0. Como q 0 (z) =
ez −1 + z ez temos q 0 (0) = 0. Mas q 00 (z) = 2 ez +z ez e logo q 00 (0) = 2 6= 0. Assim, z0 = 0
é um zero de ordem 2 da função q(z).
g(z)
Proposição 1.130. Seja z0 ∈ Ω uma singularidade isolada da função f (z) = , onde
h(z)
g e h são funções analı́ticas para algum disco DR (z0 ). Se z0 é um zero de ordem k da
função g e um zero de ordem m da função h, com k < m, então z0 é um pólo de ordem
m − k da função f .
sen z
Exemplo 1.131. Consideremos a função f (z) = que tem uma singularidade iso-
z(ez −1)
lada no ponto z0 = 0. A função g(z) = sen z tem um zero de ordem 1 no ponto z0 , uma
vez que g(0) = 0, mas g 0 (z) = cos z e logo g 0 (0) = 1 6= 0 A função h(z) = z(ez −1), tem
um zero de ordem 2 no ponto z0 . Assim, a função f (z) tem um pólo de ordem m − k = 1
no ponto z0 .
1.7 Resı́duos
Definição 1.132. Se z0 é uma singularidade isolada de f , existe R tal que f é holomorfa

na coroa CR (z0 ) (conjunto aberto), e portanto, f é analı́tica em CR (z0 ), logo tem série de
Laurent em torno de z0 em CR (z0 ). Ao coeficiente b1 dessa série de Laurent chamamos
resı́duo de f no ponto z0 e representamos por Res (f (z), z0 ). Mais, para qualquer curva
seccionalmente regular fechada simples Γ percorrida no sentido positivo na coroa CR (z0 )
com z0 ∈ int Γ temos
Z Z
1
b1 = f (z) dz ⇒ f (z) dz = 2πib1 = 2πi Res (f (z), z0 ) .
2πi Γ Γ
e−z
Exemplo 1.133. O ponto z0 = 1 é uma singularidade isolada da função f (z) = .
(z − 1)2
Como
+∞ +∞
−z −(z−1)−1 −1 −(z−1) 1 X (−(z − 1))n 1 X (−1)n
e =e =e e = = (z − 1)n ,
e n! e n!
n=0 n=0
1.7. RESÍDUOS 39
então a série de Laurent de f no ponto z0 = 1 é

+∞ +∞
1 X (−1)n X (−1)n
f (z) = (z − 1)2 (z − 1)n = (z − 1)n−2
e n! e ·n!
n=0 n=0
1
e portanto, Res (f (z), 1) = − de onde concluı́mos que
e
Z
2πi
f (z) dz = −
Γ e
para qualquer curva Γ seccionalmente regular fechada simples percorrida no sentido posi-
tivo em torno de z0 = 1.
Observação 1.134. Muitas vezes não estamos interessados em determinar explicitamente

toda a série de Laurent de uma dada função f em torno de um ponto z0 , mas apenas
em calcular Res (f (z), z0 ). Se assim for podemos determinar esse resı́duo de uma forma
bastante elegante. Suponhamos que a função f tem uma singularidade isolada no ponto
z0 e que se pode escrever na forma
g(z)
f (z) = ,
(z − z0 )k
onde g é uma função analı́tica no disco Dε (z0 ), para algum ε > 0. Assim, g admite série
de Taylor em torno de z0 , ou seja,
+∞
X g (n) (z0 )
g(z) = an (z − z0 )n onde an = .
n!
n=0
Então, para z ∈ CR (z0 ) temos a série de Laurent de f em z0 dada por

+∞
X g (n) (z0 )
f (z) = an (z − z0 )n−k onde an = ,
n!
n=0
de onde concluı́mos que

g (k−1) (z0 )
Res (f (z), z0 ) = ak−1 = .
(k − 1)!
Vamos ilustrar esta observação com alguns exemplos.
e2z
Exemplo 1.135. A função f (z) = tem uma singularidade no ponto z0 = 3. Como
(z − 3)2
a função g(z) = e2z é analı́tica em C, tem série de Taylor em torno de z0 = 3, então para
todo o z ∈ C temos
+∞
X g (n) (3)
g(z) = an (z − 3)n onde an = .
n!
n=0
Logo, para z ∈ C \ {3} temos a série de Laurent de f em z0 = 3 dada por
+∞
X g (n) (3)
f (z) = an (z − 3)n−2 onde an = ,
n!
n=0
g 0 (3)
Res (f (z), 3) = a1 = = 2 e2×3 = 2 e6 .
1!
cos(2z)
Exemplo 1.136. A função f (z) = tem singularidades no ponto z0 = i e no ponto
z2 + 1
z0 = −i.
cos(2z)
Como a função g(z) = é analı́tica no disco D2 (i), tem série de Taylor em torno
z+i
de z0 = i, então para todo o z ∈ D2 (i) temos
+∞
X g (n) (i)
g(z) = an (z − i)n onde an = .
n!
n=0
Logo, para z ∈ C2 (i) temos a série de Laurent de f em z0 = i dada por
+∞ +∞
1 1 X X g (n) (i)
f (z) = g(z) = an (z − i)n = an (z − i)n−1 onde an = ,
z−i z−i n!
n=0 n=0
g(i) cos(2i)
Res (f (z), i) = a0 = = .
0! 2i
cos(2z)
Como a função g(z) = é analı́tica no disco D2 (−i), tem série de Taylor em
z−i
torno de z0 = −i, então para todo o z ∈ D2 (−i) temos
+∞
X g (n) (−i)
g(z) = an (z + i)n onde an = .
n!
n=0
Logo, para z ∈ C2 (−i) temos a série de Laurent de f em z0 = −i dada por
+∞ +∞
1 1 X X g (n) (−i)
f (z) = g(z) = an (z + i)n = an (z + i)n−1 onde an = ,
z+i z+i n!
n=0 n=0
g(−i) cos(−2i) cos(2i)

Res (f (z), −i) = a0 = = =− .
0! −2i 2i
1.7. RESÍDUOS 41
Resı́duo de uma Singularidade Isolada Essencial
Para determinar o resı́duo de uma singularidade essencial temos de fazer o processo que
vimos anteriormente, ou seja, determinar a respectiva série de Laurent de f em torno dessa
singularidade.
Resı́duo de uma Singularidade Isolada Removı́vel
Quando a singularidade isolada é removı́vel, a situação é bastante mais simples:
Proposição 1.137. Se f : Ω → C tem uma singularidade isolada removı́vel z0 , então

a série de Laurent de f em torno de z0 não tem potências negativas; em particular,
Res (f (z), z0 ) = 0.
ez −1
Exemplo 1.138. A função f (z) = tem uma singularidade isolada em z0 = 0. Mas
z
ez −1
lim = 1 < ∞,
z→0 z
ou seja, z0 = 0 é uma singularidade isolada removı́vel da função f , logo Res (f (z), 0) = 0.
Resı́duo de um Pólo de Ordem k
Proposição 1.139. Seja f : Ω → C e z0 um pólo de ordem k. Então a série de Laurent

de f em torno de z0 na coroa CR (z0 ) tem como último termo bk (z − z0 )−k . Mais,
1 dk−1 k

Res (f (z), z0 ) = lim (z − z 0 ) f (z) .
(k − 1)! z→z0 dz k−1
z 2 − 2z + 3
Exemplo 1.140. A função f (z) = tem uma singularidade isolada em z0 = 2.
z−2
Seja g(z) = z 2 − 2z + 3, como g(2) = 3 6= 0 temos que z0 = 2 é um zero de ordem 0 de g.
Seja h(z) = z − 2, como h(2) = 0 e h0 (2) = 1 6= 0 temos que z0 = 2 é um zero de ordem 1
de h. Assim, z0 = 2 é um pólo de ordem 1 de f e então
Res (f (z), 2) = lim (z − 2)f (z) = lim z 2 − 2z + 3 = 3.

z→2 z→2
senh z
Exemplo 1.141. A função f (z) = tem uma singularidade isolada em z0 = 0. Seja
z4
g(z) = senh z, como g(0) = 0 e g 0 (0) = 1 temos que z0 = 0 é um zero de ordem 1 de g.
Seja h(z) = z 4 , como h(0) = h0 (0) = h00 (0) = h000 (0) = 0 e h(4) (0) = 24 temos que z0 = 0 é
um zero de ordem 4 de h. Assim, z0 = 0 é um pólo de ordem 4 de f e então
1 d3 1 d3 1
Res (f (z), 0) = lim 3 z 4 f (z) = lim 3 (senh z) = lim − cosh z
3! z→0 dz 6 z→0 dz 6 z→0
1 1
= − cosh 0 = − .
6 6
Se é certo que nos exemplos anteriores poderı́amos usar o método visto anteriormente
para as singularidades essenciais, o de escrever as funções na sua série de Laurent, o mesmo
já não acontece com os seguintes exemplos.
1
Exemplo 1.142. Para função f (z) = o ponto z0 = 0 trata-se de uma singularidade
z cos z
isolada. Seja g(z) = 1, como g(0) = 1 6= 0 temos que z0 = 0 é um zero de ordem 0 de g.
Seja h(z) = z cos z, como h(0) = 0 e h0 (0) = 1 6= 0, temos que z0 = 0 é um zero de ordem
1 de h. Assim, z0 = 0 é um pólo de ordem 1 de f e então
1
Res (f (z), 0) = lim zf (z) = lim = 1.
z→0 z→0 cos z
1
Exemplo 1.143. Para função f (z) = o ponto z0 = 0 trata-se de uma singularidade
z sen z
isolada. Seja g(z) = 1, como g(0) = 1 6= 0 temos que z0 = 0 é um zero de ordem 0 de g.
Seja h(z) = z sen z, como h(0) = h0 (0) = 0 e h00 (0) = 2 temos que z0 = 0 é um zero de
ordem 2 de h. Assim, z0 = 0 é um pólo de ordem 2 de f e então
d 2 d z sen z − z cos z
Res (f (z), 0) = lim z f (z) = lim = lim =
z→0 dz z→0 dz sen z z→0 sen2 z
cos z − cos z + z sen z z
= lim = lim = 0.
z→0 2 sen z cos z z→0 2 cos z
Nota 1.144. Nos dois exemplos anteriores existem muitas mais singularidades isoladas para
além do ponto z0 = 0, como exercı́cio tente determiná-las e os respectivos resı́duos.
1.7.1 Teorema dos Resı́duos
Teorema 1.145 (dos Resı́duos). Seja f : Ω \ {z1 , . . . , zr } → C uma função holomorfa

tal que z1 , . . . , zr são singularidades isoladas, então
Z Xr
f (z) dz = 2πi Res (f (z), zj )
Γ j=1
para qualquer curva Γ em Ω seccionalmente regular fechada simples percorrida no sentido

positivo em que z1 , . . . , zr ∈ int Γ.
1.8. INTEGRAIS IMPRÓPRIOS 43
5z − 2
Exemplo 1.146. Para a função f (z) = e para Γ a circunferência de centro na
z(z − 1)
origem e raio 2 percorrida no sentido positivo, temos que
Z
f (z) dz = 2πi (Res (f (z), 0) + Res (f (z), 1)) ,
Γ
visto que z1 = 0 e z2 = 1 são singularidades isoladas de f e ambas se encontram no interior

da curva Γ. Para determinar Res (f (z), 0) podemos escrever a função f como uma série
de potências de z,
+∞ +∞ +∞
5z − 2 1 2 − 5z X n X n−1 X n
f (z) = − = z = 2z − 5z ,
z 1−z z
n=0 n=0 n=0
pelo que Res (f (z), 0) = 2. Para determinar Res (f (z), 1) podemos escrever a função f
como uma série de potências de z − 1,

1 2 1 2
f (z) = 5− = 5− =
z−1 z z−1 1 − (−(z − 1))
+∞ +∞
!
1 X
n n 5 X
= 5− 2(−1) (z − 1) = + 2(−1)n+1 (z − 1)n−1 ,
z−1 z−1
n=0 n=0
Z
pelo que Res (f (z), 1) = 5 − 2 = 3. Logo f (z) dz = 10πi.
Γ
1.8 Integrais Impróprios
Nesta Secção vamos ver como podemos usar o Teorema dos Resı́duos para calcular integrais
impróprios.
Dada uma função f integrável em R, recordemos que um integral impróprio de primeira
espécie é definido como
Z +∞ Z M
f (x) dx = lim f (x) dx.
a M →+∞ a
Mais geralmente, definimos o integral impróprio

Z +∞ Z M
f (x) dx = lim f (x) dx.
−∞ M →+∞ −M
Ao longo desta Secção CR é o arco de circunferência de centro 0 e raio R acima do eixo

das abcissas percorrida no sentido positivo (ver Figura 1.20), SR é o segmento de recta de
z1 = −R para z2 = R e ΓR é a união das curvas CR e SR (ver Figura 1.21).
Figura 1.20: Curva CR
Figura 1.21: Curva ΓR
Assim, para qualquer função f : Ω ⊂ C → C temos

Z Z Z
f (z) dz = f (z) dz + f (z) dz. (1.8)
ΓR SR CR
Podemos parametrizar SR por η : [−R, R] → C dada por η(t) = t. Assim, temos que
Z Z R Z R
f (z) dz = f (η(t))η 0 (t) dt = f (t) dt.
SR −R −R
Consideremos que a função f tem singularidades isoladas em z1 , z2 , . . . , zr e tomamos

R tal que R > max {|z1 | , |z2 | , . . . , |zr |}. Pelo Teorema dos Resı́duos, temos
Z r
X
f (z) dz = 2πi Res (f (z), zj ) .
ΓR j=1
Im zj >0
Tendo em conta (1.8) e fazendo R → +∞ obtemos a seguinte igualdade

Z +∞ r
X Z
f (x) dx = 2πi Res (f (z), zj ) − lim f (z) dz. (1.9)
−∞ R→+∞ CR
j=1
Im zj >0
Nos integrais impróprios que vamos estudar mostramos que o último limite na igual-
dade (1.9) dá zero e obtemos a igualdade
Z +∞ r
X
f (x) dx = 2πi Res (f (z), zj ) . (1.10)
−∞ j=1
Im zj >0
1.8.1 Integrais Impróprios de Funções Racionais

Z +∞
Quando no integral impróprio f (x) dx a função f é uma função racional consideramos
−∞
a função complexa f (z) e podemos usar o seguinte resultado.
Teorema 1.147. Consideremos f uma função analı́tica em Ω tal que CR ⊂ Ω. Seja α > 1
tal que
lim |z|α |f (z)| < +∞,
|z|→+∞
então temos que

Z
lim f (z) dz = 0.
R→+∞ CR
Prova: Como lim |z|α |f (z)| < +∞, existe M ∈ R+ tal que para |z| > R temos
|z|→+∞
M M
|z|α |f (z)| 6 M ⇒ |f (z)| 6 α
6 α.
|z| R
A curva CR pode ser parametrizada por cR (t) = R eit , com t ∈ [0, π], e obtemos
Z Z π Z π Z π
it
it
it
it M Mπ
f (z) dz =
f R e Ri e dt 6 f Re |Ri e | dt 6 α
R dt = α−1 .
0 R R

CR 0 0
Z Z

Fazendo R → +∞ temos f (z) dz → 0 e logo lim f (z) dz = 0.
CR R→+∞ CR
Nota 1.148. No teorema a constante α > 1 pode ser tomada como α = 2 na maior parte
dos casos.
+∞
2x2 − 1
Z
Exemplo 1.149. Para calcular o integral impróprio dx consideramos a
−∞ x4 + 5x2 + 4
2z 2 − 1 2z 2 − 1
função f (z) = 4 = que tem singularidades em z0 = ±i, ±2i.
z + 5z 2 + 4 (z 2 + 1)(z 2 + 4)
2z 4 − z 2
Como lim |z|2 |f (z)| = lim = 2 < +∞, pelo Teorema 1.147, temos
|z|→+∞ |z|→+∞ |z 4 + 5z 2 + 4|
Z
que lim f (z) dz = 0.
R→+∞ CR
Assim, da igualdade (1.10) temos
Z +∞
2x2 − 1
4 2
dx = 2πi (Res (f (z), i) + Res (f (z), 2i)) .
−∞ x + 5x + 4
Para calcular Res (f (z), i) podemos escrever f como

2z 2 −1
(z+i)(z 2 +4)
f (z) = ,
z−i
2z 2 − 1
ora, a função g(z) = é analı́tica no disco D1 (i) e portanto, g admite série
(z + i) (z 2 + 4)
de Taylor em torno do ponto z0 = i dada por
+∞
X g (n) (i)
an (z − i)n onde an = .
n!
n=0
+∞
X
Então f (z) = an (z − i)n−1 é a série de Laurent de f em torno do ponto i e logo
n=0
−3 1
Res (f (z), i) = a0 = g(i) = =− .
6i 2i
Para calcular Res (f (z), 2i) podemos escrever f como
2z 2 −1
(z 2 +1)(z+2i)
f (z) = ,
z − 2i
2z 2 − 1
ora, a função g(z) = é analı́tica no disco D1 (2i) e portanto, g admite
(z 2 + 1) (z + 2i)
série de Taylor em torno do ponto z0 = 2i dada por
+∞
X g (n) (2i)
an (z − 2i)n onde an = .
n!
n=0
+∞
X
Então f (z) = an (z − 2i)n−1 é a série de Laurent de f em torno do ponto 2i e logo
n=0
−9 3
Res (f (z), 2i) = a0 = g(2i) = = .
−12i 4i
Logo
+∞
2x2 − 1
Z
π
4 2
dx = .
−∞ x + 5x + 4 2
1.8.2 Integrais Impróprios de Funções Trigonométricas
Para os casos em que a função integranda do integral impróprio também tem funções
trigonométricas, mais concretamente, integrais impróprios da forma
Z +∞ Z +∞
cos(αx)g(x) dx e sen(αx)g(x) dx,
−∞ −∞
onde g é uma função racional, consideramos a função complexa f (z) = eiαz g(z).
Comecemos por considerar o seguinte resultado.
Lema 1.150 (de Jordan). Se g(z) converge uniformemente para zero quando |z| → +∞,
então
Z
lim g(z) eikz dz = 0,
R→+∞ CR
onde k > 0.
Prova: Consideremos a parametrização γR (t) = R eit = R (cos t + i sen t), com t ∈ [0, π],
da curva CR e temos
Z Z π
ikz
g R eit eikR cos t−kR sen t iR eit dt.

g(z) e dz =
CR 0
Como 0 6 arg z 6 π e lim g(z) = 0, para cada δ > 0 existe R suficientemente grande
|z|→∞
tal que |g(z)| < δ. Assim,
Z Z π
ikz it
ikR cos t−kR sen t it

g(z) e dz =

g R e e iR e dt

CR 0
Z π
g R eit eikR cos t e−kR sen t iR eit dt

6
0
π
Z π Z
2
−kR sen t
6 δR e dt = 2δR e−kR sen t dt.
0 0
h πi 2
Observemos que para t ∈ 0, temos sen t > t e logo
2 π
Z Z π h π iπ
2 2kR 2kR δπ
e− e− π t = 1 − e−kR .
ikz t 2

g(z) e dz 6 2δR π dt = 2δR −

CR 0 2kR 0 k
Fazendo R → +∞ temos
Z
ikz
δπ
lim g(z) e dz 6 ,
R→+∞ CR k
para todo o δ > 0, com δ → 0 obtemos o desejado.
Nota 1.151. O Lema de Jordan pode ser adaptado para k < 0, tomando como CR o arco
de circunferência abaixo do eixo das abcissas de centro 0 e raio R.
Z +∞
cos(2x)
Exemplo 1.152. Para calcular o integral impróprio 2
dx consideramos a função
−∞ x + 1
e2iz
f (z) = 2 que tem singularidades em z0 = ±i.
z +1
1
Assumindo que a função g(z) = 2 converge uniformemente para zero quando
z +1
|z| → +∞, pelo Lema de Jordan (Lema 1.150) temos que
Z
lim f (z) = 0.
R→+∞ CR
Então da igualdade (1.10) temos

+∞
e2ix
Z
dx = 2πi Res (f (z), i) .
−∞ x2 + 1
Para calcular Res (f (z), i) podemos escrever f como

e2iz
z+i
f (z) = ,
z−i
e2iz
ora, a função g(z) = é analı́tica no disco D2 (i) e portanto, g admite série de Taylor
z+i
em torno do ponto z0 = i dada por
+∞
X g (n) (i)
an (z − i)n onde an = .
n!
n=0
+∞
X
Então f (z) = an (z − i)n−1 é a série de Laurent de f em torno do ponto z0 = i e
n=0
e−2 1
logo Res (f (z), i) = a0 = g(i) = = 2 .
Z +∞ 2ix 2i 2e i
e 1 π
Assim, 2+1
dx = 2πi 2 = 2 .
−∞ x 2 e i e
e2ix cos(2x) sen(2x)
Como 2 = 2 +i 2 temos que
x +1 x +1 x +1
Z +∞ 2ix Z +∞ Z +∞
e cos(2x) sen(2x)
2
dx = 2
dx + i 2
dx,
−∞ x + 1 −∞ x + 1 −∞ x + 1

Z +∞ Z +∞
cos(2x) π sen(2x)
dx = 2 e dx = 0.
−∞ x2 + 1 e −∞ x2 + 1
A última igualdade é natural uma vez que a função é ı́mpar.
No Exemplo anterior assumimos que a função g convergia uniformemente para zero

quando |z| → +∞, o que possibilitou a aplicação do Lema de Jordan. Quando não
tivermos essa informação podemos proceder como no próximo exemplo.
Z +∞
cos x
Exemplo 1.153. Para calcular o integral impróprio 2 dx consideramos
2
−∞ (x − 2x + 5)
eiz eiz
a função f (z) = 2 = que tem singularidades em z0 = 1 ± 2i.
(z 2 − 2z + 5) ((z − 1)2 + 4)2
Como a curva CR está no semi-plano y > 0, temos 0 6 e−y 6 1. A curva CR é
√
parametrizada por cR (t) = R eit , com t ∈ [0, π]. Tomando R > 5, para todo o z = R eit
temos
|e−y | eix
ix−y
e 1
|f (z)| = 2 = 26 2
|(z − 1)2 + 4| |(z − 1)2 + 4| 2
|z − 1| − 4

1 1
6 2 = 2 .
2 2
||z| − 1| − 4 |R − 1| − 4

Assim
π
Z Z Z π
it f R eit Ri eit dt
it

f (z) dz = f R e Ri e dt 6
CR 0 0
Z π
R πR
6 2 1 dt = 2 .
2 0 2
|R − 1| − 4 |R − 1| − 4

Z

Fazendo R → +∞ temos lim f (z) dz = 0, de onde concluı́mos que
R→+∞ CR
Z
lim f (z) dz = 0.
R→+∞ CR
Então da igualdade (1.10) temos

Z +∞
eix
2 2
dx = 2πi Res (f (z), 1 + 2i) .
−∞ (x − 2x + 5)
Para calcular Res (f (z), 1 + 2i) podemos escrever f como

eiz
(z−1+2i)2
f (z) = ,
(z − 1 − 2i)2
eiz
ora, a função g(z) = é analı́tica no disco D4 (1 + 2i) e portanto, g admite
(z − 1 + 2i)2
série de Taylor em torno do ponto z0 = 1 + 2i dada por
+∞
X g (n) (1 + 2i)
an (z − 1 − 2i)n onde an = .
n!
n=0
+∞
X
Então f (z) = an (z − 1 − 2i)n−2 é a série de Laurent de f em torno do ponto
n=0
z0 = 1 + 2i e logo
3i ei−2 3i e−2 (cos 1 + i sen 1)

Res (f (z), 1 + 2i) = a1 = g 0 (1 + 2i) = − =−
32 32
3 e−2 (sen 1 − i cos 1)
= .
32
+∞
eix 3 e−2 (sen 1 − i cos 1) 3π e−2 (cos 1 + i sen 1)
Z
Assim, 2 dx = 2πi = .
−∞ (x2 − 2x + 5) 32 16
eix cos x sen x
Como 2 = 2 +i 2 temos que
2
(x − 2x + 5) 2
(x − 2x + 5) (x − 2x + 5)2
+∞ +∞ +∞
eix
Z Z Z
cos x sen x
2 dx = 2 dx + i dx,
−∞ (x2 − 2x + 5) −∞ (x2 − 2x + 5) −∞ (x2 − 2x + 5)2

+∞
3π e−2 cos 1 +∞
3π e−2 sen 1
Z Z
cos x cos x
= e = .
−∞ (x2 − 2x + 5)2 16 −∞ (x2 − 2x + 5)2 16
1.9 Exercı́cios
Exercı́cio 1.1. Esboce os conjuntos dados pelas seguintes condições.
a) |z| < 1 e) Re z + Im z = 0
b) Re z > 2
f) |z + i| > 2|z|
c) |z + 2 − i| 6 3
π 3π
d) Im z > 1 e < arg z < g) |2z − i| = 4
4 4
Exercı́cio 1.2. Prove que a hipérbole x2 − y 2 = 1 pode ser escrita na forma z 2 + z 2 = 2.

√ √
3
√
4
Exercı́cio 1.3. Calcule −i, −i e −i e represente estes números geometricamente.
Exercı́cio 1.4. Resolva as seguintes equações.
a) z 2 + 2iz + i − 1 = 0 1 + 28i
b) z 3 = (2 − i)3 +
2+i
Exercı́cio 1.5. Mostre que ez = ez para todo o z ∈ C.
Exercı́cio 1.6. Mostre as seguintes propriedades para as funções complexas cosseno e

seno.
a) cos2 z + sen2 z = 1 c) sen(2z) = 2 sen z cos z
b) cos(2z) = cos2 z − sen2 z d) sen(z + w) = sen z cos w + cos z sen w

1.9. EXERCÍCIOS 51
e) cos(z + w) = cos z cos w − sen z sen w
Exercı́cio 1.7. Exprima cos 4ϕ e sen 3ϕ em termos de cos ϕ e sen ϕ.
Exercı́cio 1.8. Exprima cada uma das funções f (z) na forma u(x, y) + iv(x, y), onde u e
v são funções reais.
2
a) f (z) = z 3 + 2iz c) f (z) = ez e) f (z) = log z
z
b) f (z) = d) f (z) = cos z f) f (z) = sen(2 + iz)
3+z
Exercı́cio 1.9. Prove que as seguintes funções são holomorfas em C e determine f 0 (z)
para todo o z = x + iy ∈ C.
a) f (z) = iz + 2 c) f (z) = z 3
b) f (z) = e−x e−iy d) f (z) = cos x cosh y − i sen x senh y
Exercı́cio 1.10. Para cada uma das seguintes funções, determine o subconjunto de C
onde f é diferenciável e calcule f 0 (z) nesses pontos, com z = x + iy ∈ C.
1 c) f (z) = z Im z
a) f (z) =
z
b) f (z) = x2 + iy 2 d) f (z) = z
Exercı́cio 1.11. Determine uma função f = u + iv holomorfa em C para os seguintes

casos.
a) u(x, y) = 2x − x3 + 3xy 2 c) v(x, y) = ex (y cos y + x sen y)
b) v(x, y) = 2x(1 − y) d) u(x, y) = senh x sen y
Exercı́cio 1.12. Prove que não existe nenhuma função holomorfa cuja parte imaginária
seja v(x, y) = x2 − 2y.
Exercı́cio 1.13. Mostre que a função

 2
z

, se z 6= 0
f (z) = z

0 , se z = 0
não é diferenciável em z = 0, embora as equações de Cauchy-Riemann sejam aı́ satisfeitas.
Exercı́cio 1.14. Seja f uma função holomorfa em Ω ⊂ C.
a) Mostre que se f (z) ∈ R para todo o z ∈ C, então f é constante em Ω.
b) Mostre que se f é holomorfa em Ω, então f é constante em Ω.
Exercı́cio 1.15. Usando coordenadas polares, mostre que a função
ρ
g(z) = 3 ln + 3iθ
5
é holomorfa em todo o seu domı́nio ρ > 0 e 0 < θ < 2π. Calcule g 0 (z).
Z
z+2
Exercı́cio 1.16. Considere a função f (z) = . Calcule f , usando a definição, nos
z Γ
seguintes casos.
a) Γ a semi-circunferência de raio 2 centrada na origem de 2 para −2 percorrida no

sentido positivo.
b) Γ a semi-circunferência de raio 2 centrada na origem de −2 para 2 percorrida no

sentido positivo.
c) Γ a circunferência de raio 2 centrada na origem percorrida no sentido positivo.
Exercı́cio 1.17. Considere Γ a circunferência de raio R centrada em z0 percorrida no

Z
sentido positivo. Calcule f (z) dz, usando a definição, para os seguintes casos.
Γ
1 b) f (z) = (z − z0 )n−1 para n ∈ Z \{0}

a) f (z) =
z − z0
c) f (z) = (z − z0 )α−1 para α ∈ R \{0}
Z
Exercı́cio 1.18. Calcule os integrais f (z) dz, para as curvas Γ e funções f indicados.
Γ
a) f (z) = ez , Γ o segmento de recta de z1 = i até z2 = 1, com esta orientação.
b) f (z) = ez , Γ a semi-circunferência z = R eiθ , com 0 6 θ 6 π e R > 0, percorrida no

sentido positivo.
z−1
c) f (z) = , Γ a semi-circunferência z = R eiθ , com 0 6 θ 6 π e R > 0, percorrida
z
no sentido positivo.
Z
Exercı́cio 1.19. Determine os integrais f (z) dz, para as curvas Γ e funções f indicados.
Γ
a) f (z) = 1, Γ uma curva qualquer de z1 para z2 , com esta orientação.
z
b) f (z) = cos , Γ uma curva qualquer de z1 = 0 até z2 = π + 2i, com esta orientação.
2
c) f (z) = (z − 2)8 , Γ uma curva qualquer de z1 = 0 até z2 = 1, com esta orientação.

Z
Exercı́cio 1.20. Aplique o teorema de Cauchy para mostrar que f (z) dz = 0, sendo Γ
Γ
a circunferência |z| = 1 percorrida uma vez no sentido positivo nos seguintes casos.
z2 1 c) f (z) = tg z.
a) f (z) = . b) f (z) = .
z2 − 3 z2 + 2z + 2
Exercı́cio 1.21. Seja Ω ⊂ C um conjunto simplesmente conexo e f : Ω \ {z0 } → C uma

função holomorfa. Supondo que o lim f (z) existe e é finito, prove que
z→z0
Z
f (z) dz = 0,
Γ
para qualquer curva fechada simples seccionalmente C 1 em torno de z0 .
Exercı́cio 1.22. Seja u : R2 → R a função definida por
u(x, y) = e−y cos x + y(x − 1).
a) Mostre que u é função harmónica.
b) Determine uma função v : R2 → R tal que a função f : C → C definida por
f (x + iy) = u(x, y) + iv(x, y)
seja holomorfa e satisfaça f (0) = 1.
c) Calcule
Z
f (z)
dz,
Γ (z − i)2
onde Γ é a circunferência de centro na origem e raio π percorrida uma vez no sentido
positivo.
Exercı́cio 1.23. Calcule os seguintes integrais, usando a fórmula integral de Cauchy.

eiz
Z
a) dz, onde Γ é a circunferência |z| = 1 percorrida uma vez no sentido
Γ z + π/2
positivo.
Z
cos z
b) dz, onde Γ é a elipse 3x2 +2y 2 = 1 percorrida uma vez no sentido positivo.
Γ z(z − i)
Z
1
c) 2+4
dz, onde Γ é a circunferência |z − i| = 2 percorrida duas vezes no sentido
Γ z
negativo.
Z
cos z
d) 2
dz, onde Γ é o quadrado de vértices ±2 ± 2i percorrido no sentido
Γ z (z + 8)
positivo.
Exercı́cio 1.24. Encontre a série de MacLaurin das seguintes funções. Indique e repre-
sente a região onde é válida.
a) f (z) = z 3 ez d) f (z) = z 4 cosh z 2
4z 2 1
b) f (z) = e) f (z) =
z2 − 4 1 + z2
1 1
c) f (z) = + (z + 1)2 f) f (z) =
(2 − z)2 (1 − z)2
Exercı́cio 1.25. Qual é a décima quarta derivada de z 4 cosh z 2 na origem?
Exercı́cio 1.26. Encontre a série de Taylor no ponto z0 das seguintes funções, indicando
a região onde é válida.
1 z
a) f (z) = e z0 = 3 c) f (z) = e z0 = 2
z (z − 1)(z − 3)
b) f (z) = z 3 e z0 = 1
Exercı́cio 1.27. Calcule os seguintes integrais, usando a fórmula integral de Cauchy para
as derivadas.
Z
sen z
a) 10
dz, onde Γ é a circunferência |z| = 2 percorrida uma vez no sentido
Γ (z − i)
positivo.
Z
1
b)
2 2 dz, onde Γ é a circunferência |z −i| = 2 percorrida duas vezes no sentido
Γ (z + 4)
positivo.
ez+1
Z
c) dz, onde Γ é a circunferência |z − 1 − i| = 2 percorrida uma vez no
Γ (z 2 + 1)3
sentido positivo.
Exercı́cio 1.28. Determine as séries de Laurent para as seguintes funções, válidas nas
regiões indicadas.
z
a) f (z) = e z+1 em 0 < |z + 1| < +∞ 1
e) f (z) = z 3 cosh em C \{0}
z
1
b) f (z) = em 0 < |z| < 1 1
z 2 (1 − z) f) f (z) = em 0 < |z| < 3
3−z
1 1
c) f (z) = em 1 < |z| < +∞ g) f (z) = em 3 < |z| < +∞
z 2 (1 − z) 3−z
z+1 sen z
d) f (z) = em 1 < |z| < +∞ h) f (z) = 2 em 0 < |z| < ∞
z−1 z
Exercı́cio 1.29. Determine duas séries de Laurent em dois domı́nios diferentes para cada
uma das seguintes funções.
z 1
a) f (z) = b) f (z) =
(z − 1)(z − 3) z (z 2+ 1)
Exercı́cio 1.30. Determine as singularidades isoladas das seguintes funções e indique se

são essenciais, removı́veis ou pólos.
1 cos z 1 1
a) f (z) = z e z d) f (z) = g) f (z) = −
z2 z sen z
z2 1 1
b) f (z) = e) f (z) = h) f (z) =
z+1 1 − ez z − sen z
sen z z z 2 + sen z
c) f (z) = f) f (z) = i) f (z) =
z (ez −1)2 z
Exercı́cio 1.31. Indique os resı́duos Res (f (z), 0) para as funções do Exercı́cio 1.28.
Exercı́cio 1.32. Mostre que as singularidades isoladas das seguintes funções são pólos,
determine a sua ordem e os respectivos resı́duos.
1 − cosh z e2z 1
a) f (z) = b) f (z) = c) f (z) =
z3 (z − 1)2 z2 −z
senh z 1 ez
d) f (z) = f) f (z) = g) f (z) =
z (1 − z 2 )
4 z (ez −1) z2 + π
z
e) f (z) =
cos z
Exercı́cio 1.33. Determine Res (f (z), 0) para as seguintes funções.
1 1 z − sen z
a) f (z) = b) f (z) = z cos c) f (z) =
z + z2 z z
Exercı́cio 1.34. Seja Γ a circunferência |z| = 3 percorrida uma vez no sentido positivo.
Z
Calcule f (z) dz, para as funções indicadas, usando o Teorema dos Resı́duos.
Γ
5 3 z+1
a) f (z) = + e) f (z) =
z−1 z−2 z 2 − 2z
5 3 1
b) f (z) = · f) f (z) =
z−1 z−2 (z − 2i)(z + 1)
1 3
c) f (z) = z 2 e z g) f (z) =
z 2 − 2z + 2
e−z 2
d) f (z) = h) f (z) =
z2 z3 +z
Exercı́cio 1.35. Seja Γ a circunferência de centro na origem e raio 2, percorrida no sentido

positivo. Determine os seguintes integrais.
e−z
Z Z
1
a) dz b) e z2 dz
Γ (z − 1)2 Γ
Exercı́cio 1.36. Considere a curva Γ parametrizada por γ(t) = 5 eit , com t ∈ [0, 2π].
ez
Z
Determine dz.
Γ (z − 2)(z + 3)
Exercı́cio 1.37. Prove as seguintes igualdades, utilizando o Teorema dos Resı́duos.
Z +∞ Z +∞
cos x π cos x π
a) 2
dx = 3 e) 2 2
dx = , a ∈ R+
−∞ x +9 3e −∞ x +a a ea
Z +∞
1 π
b) dx = Z +∞
x sen 2x π
0 x2 +1 2 f) dx = √
2
x +3
Z +∞
1 π 0 2 e2 3
c) dx =
0 (x2 + 1)2 4 Z +∞
1 π
Z +∞
x2 π g) dx = √
d) dx = 0 x4 +1 2 2
2 2
(x + 1)(x + 4) 6
0
Exercı́cio 1.38. Calcule os seguintes integrais impróprios, utilizando o Teorema dos

Resı́duos.
Z +∞ Z +∞
1 x sen x
a) 2
dx b) dx
−∞ x + 2x + 2 −∞ (x2 + 1) (x2 + 4)
Índice
Caminho, 21 Equação Diferencial 1ª Ordem, 59

Regular, 21 Autónoma, 77
Seccionalmente Regular, 21 Ponto de Equilı́brio, 77
Campo de Declives, 60 Solução Estável, 77
Caracterı́stica, 156 Solução Instável, 77
Conjunto Solução Semi-Estável, 77
Conexo, 14 de Bernoulli, 71, 88
Convexo, 20 de Clairaut, 73, 89
Conjunto Logaritmo, 9 de Riccati, 72, 89
Convolução, 137 Exacta, 63, 66
Teorema, 138 Famı́lia de Soluções, 60
Coroa, 31 Homogénea, 70
Curva Linear, 68
Fechada, 25 Solução Geral, 68
Fechada Simples, 25 Separável, 61
Regular, 21 Solução Particular, 59
Seccionalmente Regular, 21 Variáveis Separáveis, 61
Simples, 25 Equação Diferencial Ordem n, 101
Curvas Famı́lia de Soluções, 102
Integrais, 60
Linear, 102
Isoclı́nicas, 60
Homogénea Associada, 103
Ortogonais, 78
Homogénea com Coeficientes Constan-
tes, 103
Disco Aberto, 28
Solução Particular, 101
Equação de Laplace, 18 Equações Cauchy-Riemann, 14
58
ÍNDICE 59
Equações com Derivadas Parciais, 142, 208 Contı́nua, 12

Elı́ptica, 209 Derivada, 13
Equação das Ondas, 210 Diferenciável, 13
Equação de Laplace, 210 Exponencial, 4
Equação do Calor, 209 Holomorfa, 13
Hiperbólica, 209 Integral ao Longo de uma Curva, 22
Parabólica, 209 Limite, 12
Logaritmo, 9, 10
Factor Integrante, 66, 68 Ramo, 10
Fórmula de Euler, 4 Ramo Principal, 10
Fórmula de Moivre, 5 Primitiva, 20
Fórmula Integral de Cauchy, 27 Trigonométricas, 7
Derivadas, 30 Funções
Função Ortogonais, 192
de Bessel, 152
de Heaviside, 130 Integral Impróprio
Degrau, 131 Convergente, 124
δ-Dirac, 131 Divergente, 124
Γ, 126 1ª Espécie, 124
Harmónica, 18, 210 1ª Espécie, 43
Homogénea, 69 Intervalo de Validade, 75
Ímpar, 192
Lei de Hooke, 117
Impulso, 132
Lei de Newton, 79
Integrável, 231
Segunda, 82, 117, 122
Absolutamente, 231
Limite
Ordem Exponencial, 125
à direita, 194
Par, 192
à esquerda, 194
Periódica, 191
Lateral, 194
Seccionalmente Contı́nua, 195
Função Complexa, 3 Matriz Diagonalizável, 156
Analı́tica, 28 Multiplicidade
60 ÍNDICE
Algébrica, 156 Série de Laurent, 31

Geométrica, 156 Série de MacLaurin, 29
Série de Taylor, 29
Números Complexos, 1
Série de Potências Complexa, 27
Argumento, 2
Raio de Convergência, 28
Conjugado, 3
Singularidade Isolada, 36
Forma Polar, 5
Essencial, 36
Imaginário Puro, 1
Pólo, 36
Inverso, 3
Removı́vel, 36
Módulo, 2
Sistema Equações Diferenciais Lineares
Parte Imaginária, 1
Homogéneo, 157
Parte Real, 1
Não Homogéneo, 181
Raı́z Índice n, 6
Solução de Equilı́brio, 168
Parametrização, 21
Teorema de Existência e Unicidade, 74
Perı́odo, 130, 191
de Picard, 75
Plano de Fase, 168
Transformada de Fourier, 230
Polinómio Aniquilador, 108
Inversa, 234
Polinómio Caracterı́stico, 104, 156
Transformada de Laplace, 124
Problema com Valores de Fronteira, 112
Inversa, 133, 235
Problema com Valores Iniciais, 112
Problema de Cauchy, 73, 112 Valor Próprio, 156
Prolongamento, 130 Vector Próprio, 156
Periódico, 130 Generalizado, 157
Resı́duos, 38 Wronskiano, 103, 158
Teorema, 42
Retrato de Fase, 168, 171
Série de Fourier, 194

Forma Complexa, 200
Forma Harmónica, 199
Incompleta, 202

Calculo III

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Calculo III

Enviado por

Direitos autorais:

Formatos disponíveis

i

Folhas de Apoio e Exercı́cios para

2 Equações Diferenciais de 1ª Ordem e Aplicações 59

2.3.1 Equações Diferenciais Homogéneas . . . . . . . . . . . . . . . . . . . 69

3 Equações Diferenciais Lineares de Ordem n 101

3.7.3 Propriedades da Transformada de Laplace . . . . . . . . . . . . . . . 127

4 Sistemas de Equações Diferenciais Lineares de 1ª Ordem 155

5 Série de Fourier e Aplicações 191

5.9.1 Método de Separação das Variáveis . . . . . . . . . . . . . . . . . . . 210

Propriedades Elementares dos Números Complexos

Aos números da forma

chamamos números complexos e notamos o espaço por eles formados por C.

Figura 1.1: Plano Complexo

Tomando z = a + ib ∈ C, notamos a parte real de z por Re z, a qual coincide com a, e

Figura 1.2: Plano Complexo (coordenadas polares)

O argumento de z pode ser obtido da seguinte forma

No espaço C, tendo em conta que i2 = −1, definimos uma soma e um produto da

Dado z = a + ib ∈ C, chamamos complexo conjugado de z ao número complexo

Proposição 1.2. Dados z, w ∈ C temos que

Definimos o conjunto C∗ = C \{0}, e para cada z ∈ C∗ definimos o inverso de z como

Observação 1.4. Ao identificarmos os pontos de C com os pontos de R2 podemos também

1.1 Funções Complexas de Variável Complexa

Definição 1.5. A uma aplicação definida por f : Ω ⊂ C → C chamamos função complexa

Exemplo 1.6. Consideremos a função f (z) = z 2 , então f (z) = (x + iy)2 = x2 − y 2 + i2xy,

Exemplo 1.7. Consideremos a função f (z) = z − iz, então f (z) = x − iy − i (x + iy) =

Em R temos definidas algumas funções como a exponencial, logarı́tmica e as funções

Sabemos que para x ∈ R temos

ez = ex+iy = ex eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.

Proposição 1.8. Dados z, w ∈ C temos as seguintes propriedades

ii) ez = ez iv) ez+2kπi = ez , com k ∈ Z

Uθ0 z 0 = x + i(y + 2kπ)

Figura 1.3: A função exponencial não é injetiva.

Nota 1.10. Dado z = x ∈ R temos que ez = ex (cos 0 + i sen 0) = ex é a função exponencial

Tendo em conta as coordenadas polares, usando a função exponencial, podemos escre-

Proposição 1.11. Dados z = ρ eiθ , w = τ eiα ∈ C temos que

zw = ρτ ei(θ+α+2nπ) , com n = 0 ou n = −1.

Prova: Recordemos que o argumento de qualquer número complexo pertence ao intervalo

Usando a forma polar dos números complexos obtemos a Fórmula de Moivre.

Proposição 1.12. Dados z = ρ eiθ ∈ C e n ∈ Z temos que

z n = ρn einθ = ρn (cos nθ + i sen nθ) .

Podemos usar os números complexos para encontrar soluções de equações da forma

Ou seja, as raı́zes ı́ndice n de z são

Figura 1.4: Raı́zes cúbicas de 8i

Figura 1.5: Soluções da equação z 4 + 1 = 0

eiz + e−iz eiz − e−iz

Proposição 1.17. Dados z, w ∈ C temos as seguintes propriedades

i) cos2 z + sen2 z = 1 iv) cos(z + w) = cos z cos w − sen z sen w

ii) cos(−z) = cos z

iii) sen(−z) = − sen z v) sen(z + w) = sen z cos w + cos z sen w

Também definimos a tangente, cotangente, secante e cossecante de um número com-

Temos ainda o cosseno e seno hiperbólicos

Nota 1.18. Dado z = x ∈ R temos que

eix + e−ix cos x + i sen x + cos(−x) + i sen(−x)

Proposição 1.19. Dado z ∈ C \{0}, as soluções da equação z = ew são dadas por

Prova: Consideremos w = w1 + iw2 e temos

z = ew ⇔ |z| ei arg(z) = ew1 eiw2 ⇔ w1 = ln |z| e w2 = arg z + 2kπ,

Definição 1.20. Dado z ∈ C \{0}, definimos o conjunto logaritmo de z como

Log(z) = {ln |z| + i(arg(z) + 2kπ) : k ∈ Z} ,

isto é, as soluções da equação z = ew .

Log(z1 z2 ) = Log(z1 ) + Log(z2 ),

Prova: Sejam z1 = ρ1 eiθ1 e z2 = ρ2 eiθ2 e recordemos a Proposição 1.11. Se θ1 + θ2 < 2π,

Log(z1 z2 ) = {ln (ρ1 ρ2 ) + i(θ1 + θ2 + 2kπ) : k ∈ Z}

= {ln ρ1 + ln ρ2 + i(θ1 + 2rπ) + i(θ2 + 2sπ) : r, s ∈ Z}