Analisecomplexa

Ministério da Educação
Universidade Tecnológica Federal do Paraná

Campus Campo Mourão
ANÁLISE COMPLEXA
Pós Graduação em Matemática / Cálculo Diferencial e Integral III
WELLINGTON JOSÉ CORRÊA
Campo Mourão, Paraná
Brasil.
2
Sumário
0.1 Números Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

0.2 Propriedades Algébricas de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.3 Representação Polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
0.4 Raı́zes n-Ésimas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
0.5 Conjuntos de Pontos no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . 17
0.6 Funções Complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
0.7 A Função Exponencial Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
0.8 Um Repasso às Transformações Complexas . . . . . . . . . . . . . . . . . . . . . . 24
0.9 Funções Trigonométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
0.10 A Função Logaritmo Natural de z . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
0.11 Limite e Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
0.12 Função Analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
0.13 As Equações de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
0.14 Integração Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
0.15 Teorema Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3
4 Análise Complexa
0.1 Números Complexos

Desde que algumas equações algébricas, tais como x2 + 1 = 0, não tem solução em R, os pri-
meiros matemáticos foram obrigados a considerar soluções puramente formais, envolvendo raı́zes
quadradas dos números negativos. Assim, Heron (Alexandria, 100 a. C.) obteve a solução de
√ √ √
−63, Girolano Cárdan (1545) escreveu 40 = (5 + −15) · (5 − −15). Esses números foram
considerados sem utilidade e o termo imaginário foi aplicado a eles.
Se i é definido solução da equação x2 + 1 = 0, os números da forma a + i b, a, b ∈ R são
chamados Números Complexos. O desenvolvimento moderno dos números complexos começou
com a descoberta por meio da interpretação geométrica deles. Iniciada por John Wallis (1685),
formalizada por Caspar Wessel (1799) e estabelecida e reconhecida a partir de 1806 com Jean
Robert Argant e, finalmente, formalmente estudada por Carl Friedrich Gauss (1831).
Certamente, o seu primeiro contato com os números complexos foi por meio da obtenção das
raı́zes de uma equação do 2o¯ grau a2 + bx + c = 0 dada pela fórmula
√
−b ± b2 − 4ac
x= .
2a
Quando o discriminante for negativo, sabemos que a fórmula acima não leva a nenhuma raiz real.
No entanto, os números complexos entraram na Matemática pela equação do 3o¯ grau e não do 2o¯ .
Definição 0.1. Definimos o conjunto C (chamado de conjunto dos números complexos) como
sendo o conjunto dos pares ordenados (a, b) com a, b ∈ R com as operações:
(a, b) + (c, d) = (a + c, b + d)
(a, b) · (c, d) = (ac − bd, ad + bc)
As seguintes identificações, serão de grande valia no nosso estudo. Estas serão justificadas no
teorema (0.1).
Identificações: Denotamos
(a, 0) = a (0, 1) = i . (1)
Observação 0.1. Temos que
1. Dado z ∈ C, z = (a, b), chamamos a = <(z) como parte real de z e b = =(z) de parte
imaginária de z.
Wellington José Corrêa 5
2. O par (0, 0) é o elemento nulo para a operação soma.
3. O par (1, 0) é o elemento nulo para a operação multiplicação.
4. Temos que (a, b) = (c, d) ⇔ a = c, b = d.
Munidos dos conceitos apresentados acima, podemos obter o plano complexo, que é o conjunto
de representações de todos os números complexos z = x + iy pelos pontos P = (x, y) do plano.
A representação dos números complexos por pontos do plano é muito útil e de uso frequente.
Por meio dela, o número complexo z = x + iy é identificado com o ponto (x, y), ou com o vetor
Oz de componentes x e y.
y z = x + iy
0 x
Figura 1: Representação dos números complexos
Proposição 0.1. Dados os números complexos z1 , z2 , z3 ∈ C, valem as propriedades:
1. Associativa: (z1 + z2 ) + z3 = z1 + (z2 + z3 ) .
2. Comutativa: z1 + z2 = z2 + z1 .
3. Distributiva: z1 · (z2 + z3 ) = z1 z2 + z1 z3 .
Observação 0.2. Usando a 1¯a definição e as identificações, temos:
1. (0, 1) · (0, 1) = (−1, 0) = −1, ou i · i = −1, o que nos mostra que i2 = −1.
2. Adição
(a + ib) + (c + id) = (a + c) + i(b + d) .
3. Subtração
(a + ib) − (c + id) = (a − c) + i(b − d) .
4. Multiplicação
(a + ib) · (c + id) = (ac − bd) + i(ad + bc) .
5. Divisão
a + ib a + ib c − id
= ·
c + id c + id c − id
ac + bd + i(bc − ad)
=
c2 + d2
ac + bd bc − ad
= 2 + i .
c + d2 c2 + d 2
Exemplo 0.1. Sejam z1 = 1−i e z2 = 3+4 i . Calcule z1 +z2 , z1 −z2 , z1 · z2 , z1 /z2 e represente-os
geometricamente.
O número complexo c − id é chamado conjugado do número complexo c + id. De modo geral,

dado z = a + ib, denotamos por z = a − ib como sendo o conjugado de z.
Observação 0.3. (Comparação com Análise Real)
1. Várias das propriedades do sistema de números reais R permanecem válidas no sistema de

números complexos C, mas há algumas diferenças notáveis.
Por exemplo, o conceito de ordem do sistema de números reais não se aplica ao sistema
de números complexos. Em outras palavras, não podemos comparar dois números complexos
z1 = a1 + i b1 , b1 6= 0 e z2 = a2 + i b2 , b2 6= 0, por meio de desigualdades. Asserções como
z1 < z2 , ou z2 ≥ z1 não têm qualquer significado em C.
2. Algumas coisas que sabemos ser impossı́veis na análise real, como ex = −2 e sen x = 5,
quando x é uma variável real, são perfeitamente corretas e corriqueiras na análise complexa,
quando x é interpretado como uma variável complexa, como veremos posteriormente.
√
Definição 0.2. (Valor Absoluto) Seja z = a + ib um número complexo. Definimos |z| = a2 + b 2
como sendo o valor absoluto de z.
Propriedades de conjugação e valor absoluto.
1. z1 ± z2 = z1 ± z2 . 6. z + z = 2 <(z) .
2. z1 · z2 = z1 · z2 .
7. z − z = 2 =(z)
z1 z1
3. = .
z2 z2
8. |<(z)| ≤ |z| .
4. Se z = <(z) ⇒ z = z .
5. Se z = =(z) ⇒ z = −z . 9. |=(z)| ≤ |z| .
p
10. Se z1 = a1 + b1 i e z2 = a2 + b2 i então |z1 − z2 | = (a1 − a2 )2 + (b1 − b2 )2 é a distância entre
z1 e z2 .
11. z · z = |z|2 . z1 |z1 |

14. = , z2 6= 0.
z2 |z2 |
12. |z| = |z|. 15. |z1 + z2 | ≤ |z1 | + |z2 |
13. |z1 · z2 | = |z1 | · |z2 | 16. |z1 − z2 | ≥ | |z1 | − |z2 | |
0.2 Propriedades Algébricas de C

Iniciemos esta subseção com a seguinte proposição.
Proposição 0.2. O conjunto dos números complexos C é um corpo.
Demonstração: Basta usar a proposição (0.1) e a observação (0.2) para verificar a veracidade
das propriedades de corpo.
Corolário 0.1. Dados z1 , z2 ∈ C, temos que z1 · z2 = 0 se, e somente se, z1 = 0 ou z2 = 0.
Demonstração: Dados zi = (ai , bi ), i = 1, 2 veja que
z1 · z2 = (a1 a2 − b1 b2 a1 , b2 + b1 a2 ) .
Se z1 · z2 = 0, então,

 a1 a2 − b 1 b 2 a1 = 0
a b + b a = 0
1 2 1 2

 a1 a2 = b 1 b 2 a1
⇒ (2)
 a b = −b a
1 2 1 2
Multiplicando a primeira equação de (2) por b2 temos:
a1 b2 a2 = b1 b22
|{z}
=−b1 b2
−b1 a22 = b1 b22
⇒ b1 (a22 + b22 ) = 0
| {z }
=| z2 |
Como a última igualdade envolve apenas números reais, a mesma nos diz que b1 = 0 ou | z2 | = 0,
isto é, z2 = 0. Se b1 = 0, então por qualquer equação de (2) temos que a1 = 0, e assim, z1 = 0.
Portanto, z1 · z2 = 0 se, e somente se, z1 = 0 ou z2 = 0.
Corolário 0.2. (Lei do Cancelamento)
Dados z1 , z2 , z3 ∈ C com z1 6= 0 e z1 · z2 = z2 · z3 então, z2 = z3 .
Demonstração: De fato, se z1 · z2 = z2 · z3 , então,
z1 · z2 − z2 · z3 = 0
⇒ z1 · (z2 − z3 ) = 0.
Assim, em virtude que z1 6= 0, pelo corolário precedente resulta que z2 − z3 = 0, ou seja, z2 = z3 .
Observação 0.4. Definindo seguinte multiplicação por escalar
·:R × C → C
(k, z) 7→ k · z
não é difı́cil verificar que (C, + , · ) é um R– espaço vetorial.
Proposição 0.3. O conjunto {1, i} é uma base de C como R– espaço vetorial.
Demonstração: Apenas como registro, o conjunto {1} é uma base de C como C– espaço vetorial.
Agora, vamos a prova da proposição. Com efeito, note que {1, i} gera C, pois, dado a + i b ∈ C,
a + ib = a · 1 + b · i.
E ainda, dados α, β ∈ R tivermos α · 1 + β i = 0, então, pelas identificações mencionadas

anteriormente,
α · 1+βi = 0
α · (1, 0) + β · (0, 1) = (0, 0)
(α, β) = (0, 0)
⇒ α = β = 0,
logo, o conjunto {1, i} é l. i. e, portanto, base de C como R– espaço vetorial.

A seguir, estudaremos produto interno em C.
Definição 0.3. Considere V um espaço vetorial real, o produto interno é uma função h , i :
V × V → R que satisfaz:
1. || v ||2 = hv, vi ≥ 0 e hv, vi = 0 se, e somente se, v = 0, para todo v ∈ V.
2. hα v, vi = α hv, vi, ∀ α ∈ R; ∀ v ∈ V.
3. hv1 + v2 , v3 i = hv1 , v3 i + hv2 , v3 i, ∀ v1 , v2 , v3 ∈ V.
4. hv1 , v2 i = hv2 , v1 i, ∀ v1 , v2 ∈ V.
Observação 0.5. Se, considerarmos agora v ∈ C, onde V é um espaço vetorial sobre C, de-
verı́amos ter hv, vi ≥ 0 para todo v ∈ V, pela propriedade 1 da definição anterior. Mas, se
v = i w, note que
hi w, i wi = i hw, iwi (propriedade 2)
= ihi w, wi (propriedade 4)
i2 hw, wi ≤ 0 (propriedade 2)
= |{z}
| {z }
=−1 ≥0
o que é uma contradição.
Para driblar tal problema, precisamos de uma nova definição de produto interno quando se
considera o corpo dos complexos.
Definição 0.4. Seja V um espaço vetorial complexo, o produto interno é uma função h , i :
V × V → C que satisfaz:
2. hα v, vi = α hv, vi, ∀ α ∈ C; ∀ v ∈ V.
4. hv1 , v2 i = hv2 , v1 i, ∀ v1 , v2 ∈ V.
Definição 0.5. Seja V um espaço vetorial complexo, o produto interno é uma função h , i :
V × V → C que satisfaz:
2. hα v, vi = α hv, vi, ∀ α ∈ C; ∀ v ∈ V.
4. hv1 , v2 i = hv2 , v1 i, ∀ v1 , v2 ∈ V.
Terminaremos esta subseção, demonstrando que C é uma extensão de R, isto é, C contém
um subconjunto isomorfo a R. Este resultado, há de nos garantir a boa colocação de nossas
identificações dadas em (1).
Teorema 0.1. C é uma extensão de R.
Demonstração: Com efeito, considere a aplicação
ϕ : R → =(ϕ)
a 7→ ϕ(a) = (a, 0)
Note que
(i) Para todo a, b ∈ R e todo α ∈ R, ϕ é um homomorfismo:
ϕ(a + b) = (a + b, 0) = (a, 0) + (b, 0) = ϕ(a) + ϕ(b).
ϕ(α · a) = (α · a, 0) = (α · a, α · 0) = α · (a, 0) = α ϕ(a).
(ii) ϕ é sobrejetora.
Pela própria construção de ϕ, obtemos o desejado.
(iii) ϕ é injetora.
De fato, note ϕ é linear e Ker(ϕ) = {a ∈ R, ϕ(a) = (0, 0)}.
Seja x ∈ Ker(ϕ). Então, ϕ(x) = (0, 0), ou ainda,
(x, 0) = ϕ(x) = (0, 0) ⇔ x = 0,
logo,
{ 0 } ⊂ Ker(ϕ) ⊂ { 0 } ⇒ Ker(ϕ) = { 0 }.
Deste modo, por um resultado clássico de Álgebra Linear, ϕ é injetora.

Portanto, ϕ é um isomorfismo e assim,
R ≈ =(ϕ) ⊂ C,
o que prova o desejado.
0.3 Representação Polar

Considerando a representação geométrica de um número complexo z 6= 0, chama-se argumento
de z o ângulo θ formado pelo eixo Ox e o vetor Oz, no qual denotaremos por arg(z). Como em
trigonometria, os ângulos são aqui orientados: consideramos positivo o sentido de percurso oposto
ao dos ponteiros do relógio.
Nesta definição, o argumento não é único e só fica determinado a menos de múltiplos inteiros
de 2π, isto é, θ pode ser trocado por θ + 2kπ, k ∈ Z.
Deste modo, temos que o
arg(z) ≡ Arg(z) (mod 2π)
≡ Arg(z)
onde Arg(z) = θ quando 0 ≤ θ < 2 π.
Observação 0.6. Aqui e somente aqui, Arg(z) significa a classe de equivalência mod (2π). No
restante do texto, como de costume na teoria envolvendo números complexos, z será o conjugado
de dado número complexo z.
A menos que se diga o contrário, consideraremos o argumento de um número complexo como

θ = Arg(z), 0 ≤ θ ≤ 2 π.
Como a = |z| cos θ e b = |z| sen θ, temos a seguinte representação polar ou representação
trigonométrica:
z = r (cos θ + i sen θ), r = |z|; (3)
de modo que r e θ são designados as coordenadas polares de z.
A seguir, um resultado interessante:

b z = a + ib
r = |z|
θ
0 a
Figura 2: Forma Polar do número complexo z = a + b i
Proposição 0.4. Sejam z, w dois números complexos. Então,

z
arg(z · w) = (arg(z) + arg(w)) (mod 2 π) e arg = (arg(z) − arg(w)) (mod 2 π) . (4)
w
1. Um argumento pode ser associado a qualquer número complexo não nulo de z. Contudo,
para z = 0 não é possı́vel dar a arg(z) qualquer definição que faça sentido.
2. Se tomarmos arg(z) no intervalo (−π, π], a relação entre um número complexo z e seu
argumento é unı́voca; ou seja, todo número complexo não nulo tem precisamente um ângulo
entre (−π, π]. Todavia, o intervalo (−π, π] nada tem de especial; também estabelecemos uma
relação unı́voca se usarmos o intervalo (0, 2 π] para definir o valor principal do argumento
de z. Para o intervalo (−π, π], o eixo real negativo é análogo a uma barreira que decidimos
não cruzar; a denominação técnica dessa barreira é corte de ramo ou linha de corte
de ramo (branch cut). Se usarmos (0, 2 π], o corte de ramo é o eixo positivo. Veremos
novamente este conceito ao tratar da função logaritmo complexa.
3. A parte “cosseno i seno” da parte da forma polar de um número complexo é, às vezes,
abreviada por cis, ou seja,
z = r (cos θ + i sen θ) = r cisθ .
Esta notação, empregada principalmente na engenharia, não será utilizada neste texto.
Fórmulas do Produto e do quociente

De posse da representação polar, vamos deduzir uma regra conveniente para a multiplicação.
Sejam
z1 = r1 (cos θ1 + i sen θ1 ) e z2 = r2 (cos θ2 + i sen θ2 )
dois números complexos quaisquer. Então
z1 z2 = r1 r2 (cos θ1 + i sen θ1 ) (cos θ2 + i sen θ2 )
= r1 r2 [(cos θ1 cos θ2 − sen θ1 sen θ2 ) + i( sen θ1 cos θ2 + cos θ1 sen θ2 )]
= r1 r2 [cos(θ1 + θ2 ) + i sen (θ1 + θ2 )] .
Com isto, note que Arg(z1 · z2 ) = θ1 + θ2 = Arg(z1 ) + Arg(z2 ).

Vamos deduzir um resultado análogo para a divisão, no entanto, note que
1 cos θ − i sen θ
= = cos θ − i sen θ,
cos θ + i sen θ (cos θ + i sen θ)(cos θ − i sen θ)
temos:
z1 r1 cos θ1 + i sen θ1
= ·
z2 r2 cos θ2 + i sen θ2
r1
= · (cos θ1 + i sen θ1 )(cos θ2 − i sen θ2 )
r2
r1
= · [(cos θ1 cos θ2 + sen θ1 sen θ2 ) + i( sen θ1 cos θ2 − cos θ1 sen θ2 )]
r2
r1
= · [cos(θ1 − θ2 ) + i sen (θ1 − θ2 )] .
r2
Analogamente, Arg(z1 / z2 ) = θ1 − θ2 = Arg(z1 ) − Arg(z2 ).

Fórmula De Moivre
A fórmula da multiplicação estende-se para um número qualquer de fatores, isto é, de demons-
tração simples, podemos obter
z1 z2 . . . zn = r1 r2 . . . rn [cos(θ1 + θ2 + . . . θn ) + i sen (θ1 + θ2 + . . . θn )].
Quando todos os fatores são iguais e de módulo unitário, obtemos a fórmula De Moivre:
(cos θ + i sen θ)n = cos nθ + i sen nθ .
Esta fórmula também é válida também para expoentes negativos. De fato,
1 1
(cos θ + i sen θ)−n = n
=
(cos θ + i sen θ) cos nθ + i sen nθ
= cos nθ − i sen nθ = cos(−nθ) + i sen (−nθ) .
0.4 Raı́zes n-Ésimas

Diz-se que um número z é raiz n-ésima de um dado número complexo a, se z n = a. Como veremos
logo a seguir, um número complexo não-nulo possui n raı́zes distintas. Para isso, consideremos o
número dado a 6= 0 em sua forma polar, bem como, a raiz que desejamos encontrar na sua forma
polar, ou seja,
a = r(cos θ + i sen θ) e z = ρ(cos ϕ + i sen ϕ).
Utilizando com deleite a fórmula De Moivre, a equação z n = a assume a seguinte forma:
ρn (cos nϕ + i sen nϕ) = r(cos θ + i sen θ) .

Como a igualdade de números complexos requer a igualdade das partes reais e das partes ima-
ginárias, separadamente, devemos ter
ρn cos nϕ = r cos θ e ρn sen nϕ = r sen θ .
Estas equações, por sua vez, equivalem a ρn = r e nϕ = θ + 2kπ, onde k é um inteiro. Daqui
segue-se que se ρ é a raiz n-ésima positiva de r, donde
√ √

θ + 2kπ θ + 2kπ
z = a = r cos
n n
+ i sen . (5)
n n
Esta fórmula produz n raı́zes distintas, quando k se atribuem os valores de k = 0, 1, . . . , n − 1.
No caso particular quando a = 1, temos que θ = 0 e a fórmula (5) se reduz a

2kπ 2kπ
z = cos + i sen (6)
n n
que são chamadas raı́zes n-ésimas da unidade.
Exemplo 0.2. Calcule as raı́zes de z 6 = 1 e esboce tais raı́zes no plano complexo.
Solução: Note que recorrendo à (5) temos que
z0 = 1,
√
z1 = cos(π/3) + i sen (π/3) = 1/2 + i 3/2, z2 = −z1 , z3 = −1, z4 = −z1 , z5 = z1 .
A figura (3) ilustra as raı́zes para a equação z 6 = 1:
1. Como consequência de (5), podemos dizer que o sistema de números complexos é fechado
sob a operação de extração de raı́zes. Isso significa que para qualquer número z ∈ C,
z 1/n também está em C. O sistema de números reais não goza de propriedade similar de
fechamento, pois se x ∈ R, x1/n não está necessariamente em R.
2. Do ponto de vista geométrico, as n raı́zes n-ésimas de um número complexo z também podem

ser interpretadas como os vértices de um polı́gono regular com n lados que está inscrito em
√
uma circunferência de raio n r e centro na origem. A plausibilidade deste fato pode ser
comprovada por uma reinspeção da figura anterior.
3. Quando m e n são inteiros positivos sem fator comum, (5) nos permite definir uma potência
racional de z, ou seja, z m/n . Pode ser mostrado que o conjunto de valores (z 1/n )m é igual
ao conjunto de valores (z 1/m )n . Este conjunto de n valores comuns é definido como z m/n .
z2 z1
z3 z0
z4 z5
Figura 3: Raı́zes da equação z 6 + 1 = 0
0.5 Conjuntos de Pontos no Plano Complexo

p
Definição 0.6. Consideremos z0 = x0 + i y0 . Como |z − z0 | = (x − x0 )2 + (y − y0 )2 representa
a distância entre os pontos z = x + iy e z0 = x0 + i y0 , os pontos z = x + iy que satisfazem a
equação
| z − z0 | = ρ, ρ > 0, (7)
estão localizados na circunferência de raio ρ, centrada em z0 , como ilustrado na figura a seguir.
Figura 4: Circunferência de raio ρ.
Definição 0.7. Dizemos que o conjunto de pontos definidos por |z − z0 | ≤ ρ é um disco de raio
ρ e centro z0 . O conjunto de pontos definidos por |z − z0 | < ρ é dito vizinhança de z0 .
Definição 0.8. Um ponto z0 é denominado ponto interior de um conjunto S do plano complexo

se existir alguma vizinhança de z0 que esteja inteiramente contida em S. Se todo ponto z de um
conjunto S for um ponto interior, então S é denominado conjunto aberto.
Figura 5: Conjunto aberto
Definição 0.9. Se toda vizinhança de um ponto z0 contiver pelo menos um ponto que está em
S e pelo menos um ponto que não está em S, então z0 é denominado ponto de fronteira. A
coleção de pontos de fronteira de S é chamada fronteira de S. Um ponto z que não é um ponto
interior nem um ponto de fronteira de um conjunto S é chamado ponto exterior de S.
y
Exterior
Fronteira
Interior
S
Figura 6: Interior, fronteira e exterior de S.
Definição 0.10. Dizemos que z0 é um ponto de acumulação do conjunto S se qualquer vizi-

nhança de z0 contém infinitos pontos de C. Caso contrário, z0 é dito isolado.
Exemplo 0.3. Considere o conjunto

1 1 1
i + ,i + , ... ,i + .
2 3 n
1 1 1
Temos que i + , i + , . . . , i + são pontos isolados e o único ponto de acumulação do conjunto
2 3 n
é i que não pertence ao conjunto.
Definição 0.11. Se um par qualquer de pontos z1 e z2 de um conjunto S puder ser ligado por uma
linha poligonal que consiste em segmentos de retas conectados e inteiramente contidos no conjunto,
S é denominado um conjunto conexo. A figura a seguir, ilustra o conceito. Um conjunto conexo
aberto é denominado domı́nio.
z1
z2
Figura 7: Conjunto conexo

No estudo de matemática é provável que o aluno tenha se deparado com o conceito de infinito.
Por exemplo, em um curso de cálculo o aluno deve ter estudado limites no infinito, quando
o comportamento de funções é examinado à medida que x aumenta ou diminui indefinidamente.
Como há exatamente duas direções em uma reta de números, é conveniente representar as noções
de “aumentar” indefinidamente e “diminuir” indefinidamente de forma simbólica por x → +∞
e x → −∞, respectivamente. No entanto, podemos nos sair muito bem sem a designação ± ∞
usando um “ponto ideal” denominado ponto infinito e denotado simplesmente ∞. Para isso,
associamos qualquer número real a a um ponto (x0 , y0 ) na circunferência unitária x2 + y 2 = 1 da
seguinte forma: traçamos uma reta do ponto (a, 0), no eixo x ou reta horizontal de números, ao
ponto (0, 1), na circunferência. O ponto (x0 , y0 ) na circunferência é a intersecção da linha reta
e da circunferência. A figura (8) deixa claro que quanto mais distante o ponto (a, 0) estiver da
origem, mais próximo (x0 , y0 ) se torna de (0, 1). Para completar a correspondência com todos os
pontos na circunferência , (0, 1) é associado ao ∞. O conjunto que consiste nos números reais R
é dito sistema de números reais estendido.
Em nosso estudo, o análogo à reta de números é o plano complexo. Recordemos que como
C não é ordenado, a noção de “aumento” ou “diminuição” de z não faz sentido. Contudo,
sabemos que se aumentarmos ou diminuirmos o módulo |z| de um número complexo z o número

se distancia da origem. Se permitirmos que z cresça indefinidamente, digamos ao longo do eixo
real ao do eixo imaginário, não precisaremos distinguir “direções” ao longo desses eixos, como
z → +∞, z → −∞, z → +i ∞ ou z → −i ∞. Em análise complexa, usamos apenas a noção de
∞, pois podemos estender o sistemas de números complexos C de forma análoga à que acabamos
de descrever para o sistema de números reais R. Todavia, agora associamos um número complexo
a um ponto na superfı́cie de uma esfera de raio unitário, denominada esfera de Riemann. Ao
desenhar uma reta do número z = a + ib no plano complexo, representado por A = (a, b, 0), ao
polo norte N = (0, 0, 1) da esfera x2 + y 2 + u2 = 1, determinamos um único ponto A0 = (x0 , y0 , u0 )
na superfı́cie da esfera unitária. Como mostra a figura (9), um número complexo de módulo muito
grande está distante de S = (0, 0, 0) e, por conseguinte, o ponto A0 está próximo de N . Assim,
cada número complexo é associado a um único ponto na superfı́cie da esfera. Como o ponto N não
está associado a qualquer número z no plano, o associamos a ∞. O resultante sistema consiste
em C e no “ponto ideal” é denominado sistema de números complexos estendido.
Esta forma de associar ou mapear os números complexos a uma esfera – com polo norte em
N é denominada projeção estereográfica.
Para um número finito z, temos z + ∞ = ∞ + z = ∞ e, para z 6= 0, z · ∞ = ∞ · z = ∞.
Adicionalmente, para z 6=, 0, escrevemos z/0 = ∞ e, para z 6= ∞, z/∞ = 0. Expressões como
∞ − ∞, ∞/∞, ∞0 e 1∞ não podem ser definidas se são denominadas indeterminações ou formas
indeterminadas.
(0, 1)
(x0, y0)
Reta de (a, 0)
números
Figura 8: Cı́rculo unitário Figura 9: Esfera unitária

Exemplo 0.4. Esboce os conjuntos de pontos dados.
1. |z| = 1 4. |z − 2| = 1 7. <(z) < −3
2. |z| < 1 5. |z + 1 + 3i| = 4 8. =(z) ≥ 1
3. |z| > 1 6. z = z0 + (z1 − z0 )t, t ∈ R 9. | z − 2 | = | z − 3i |
0.6 Funções Complexas

Vamos considerar funções definidas em conjuntos complexos, assumindo valores complexos. Mais
precisamente, seja D um conjunto de números complexos e seja f a lei que faz corresponder, a
cada elemento z do conjunto D, um único número complexo, que denotaremos por f (z). Nestas
condições, diz-se que f é uma função com domı́nio D. O conjunto I dos valores w = f (z),
correspondentes a todos valores de z em D, é chamado a imagem de D pela função f conforme
ilustra figura a seguir: A cada função w = f (z) de uma variável complexa z = u + iv estão
f
z
f (z)
D I
Figura 10: Função de variável complexa
associadas duas funções reais de variáveis reais x e y,dadas por
u = u(x, y) = <(f (z)) : R2 → R e v = v(x, y) = =(f (z)) : R2 → R
Exemplo 0.5. Nas funções de variável complexa definidas abaixo, identifique a parte real u(x, y),
a parte imaginária v(x, y), bem como o domı́nio destas funções.
ˆ +∞
1. f (z) = z 2 4. w = z 2 − 5z + 3
7. w = e−xt dt +
0
1 +∞
2. f (z) = 3z + 2 5. w = X
z i yn
3 n=0
2
3. w = z + z + 1 6. w =
z−5

Há uma grande diferença entre as análises real e complexa:
não é possı́vel desenhar o gráfico de uma função complexa
De fato, se y = f (x) for uma função de valor real de uma variável real x, o gráfico de f é
definido como o conjunto de todos os pontos (x, f (x)) no plano cartesiano bidimensional. Uma
definição análoga pode ser feita para funções complexas. No entanto, se w = f (z) for uma função
complexa, z e w residem no plano complexo. Por conseguinte, o conjunto de todos os pontos
(z, f (z)) reside no espaço quadridimensional (duas dimensões da entrada z e duas dimensões da
saı́da w). é Óbvio que um subconjunto do espaço quadridimensional não pode ser ilustrado com
facilidade. Em vez de usar um gráfico, representaremos uma função complexa por meio de uma
transformação complexa com o uso de duas figuras: a primeira descreve um subconjunto S
no plano complexo, e a segunda, a imagem S 0 do conjunto S sob a transformação complexa. A
figura a seguir, apresenta um exemplo de uma transformação complexa.
v
y
w = f (z) S′
S
x u
Figura 11: Imagem de S sob a transformação w = f (z).
A primeira função f : C → C será definida a seguir.
0.7 A Função Exponencial Complexa

Admitimos que o leitor, com sua familiaridade com as funções trigonométricas, a constante de
Euler e e a função exponencial ex , conceitos estes que são estudados nos cursos de Cálculo. Lem-
bramos, ainda, os desenvolvimentos dessas funções em séries de MacLaurin, válidos para todos os
valores reais da variável x:
+∞ n
x
X x x2 x3
e = =1+x+ + + ...; (8)
n=0
n! 2! 3!
+∞
X (−1)n x2n x2 x4 x6
cos x = =1− + − + ...; (9)
n=0
(2n)! 2! 4! 6!
+∞
X (−1)n x2n+1 x3 x5 x7
sen x = =x− + − + ... (10)
n=0
(2n + 1)! 3! 5! 7!
Vamos tomar o desenvolvimento (8) como base para definir ez com z complexo. Formalmente,
assuma que este desenvolvimento seja válido para nossos propósitos e que ez para z complexo,
então para y real, tem-se:
(iy)2 (iy)3 (iy)4 (iy)5 (iy)6 (iy)7

eiy = 1 + iy + + + + + + + ...
2! 3! 4! 5! 6! 7!
y2 y3 y4 y5 y6 y7
= 1 + iy − −i + +i − − i + ...
2! 3! 4! 5! 6! 7!
Ou ainda,
y2 y4 y6 y3 y5 y7

iy
e = 1− + − + . . . ... + i y − + − + ... ,
2! 4! 6! 3! 5! 7!
ou seja, em vista de (9) e (10), obtemos:
eiy = cos y + i sen y.
Por outro lado, da definição da exponencial no caso de um expoente qualquer z = x + iy temos
ez = ex+iy = ex eiy ,
doravante,
ez = ex+iy = ex (cos y + i sen y) . (11)
Propriedades:
1. e0 = 1. 2. ez1 +z2 = ez1 ez2 ;

3. e−z = 1/ez ; 6. |ez | = e<(z) ;
7. ez = 1 ⇔ z = 2kπi, k inteiro.
z n nz
4. (e ) = e , n inteiro;
8. ez é periódica com perı́odo puramente
5. ez 6= 0 para todo z; imaginário 2π i.
Observação 0.11. Se z = r (cos θ + i sen θ), então eiθ = e0 (cos θ + i sen θ) = (cos θ + i sen θ),
portanto, obtemos a conhecida fórmula exponencial polar
z = reiθ . (12)
0.8 Um Repasso às Transformações Complexas

Veremos a seguir, que a fórmula exponencial polar dada em (12) é muito útil quando queremos
analisar transformações complexas. Vejamos os exemplos a seguir.
1. Funções Lineares: w = f (z) = z + c, c ∈ C .
Se z = x + i y, c = c1 + i c2 , w = f (z) = x + c1 + i(y + c2 ) .
y + c2
f
y y
x x x + c1
z-plano w-plano
Figura 12: Imagem de S sob a transformação w = f (z) = z + C.
2. Função Linear w = f (z) = c z, c ∈ C.
Usando a fórmula exponencial polar, z = r eiθ , c = r1 eiθ1 , note que w = f (z) = r ·

r1 ei · (θ+θ1 ) .
f
r · r1
z θ + θ1
r
r
θ θ
z-plano w-plano
Figura 13: Imagem de S sob a transformação w = f (z) = z C.
3. Considere w = f (z) = (1+i)z +2−i de tal modo que domı́nio de f é formado pelo retângulo
de vértices 0, 1, 2i e 1 + 2i.
Note que
f (0) = 2 − i; f (1) = 3; f (2i) = i; f (1 + 2i) = 1 + 2i .
f
1 + 2i f (1 + 2i)
2i
f (2i)
f (1)
0 1
z-plano w-plano
f (0)
Figura 14: Imagem de S sob a transformação w = f (z) = (1 + i)z + 2 − i.
4. w = f (z) = i z onde o domı́nio é a faixa cuja fronteira são as retas z = 0 e z = 1.
π
Veja que i = 1 ei 2 , logo, para z = r ei θ , w = i z = r ei(θ+π/2) .
5. Funções z n .
(a) w = z 2 .
Se z = r ei θ , então, w = z 2 = r2 ei 2 θ .
0 1
z-plano w-plano
Figura 15: Imagem de S sob a transformação w = f (z) = i z com o domı́nio dado.
1 −1 1
z-plano w-plano
Figura 16: Imagem de S sob a transformação w = f (z) = z 2 com domı́nios dados.
(b) w = z n .
π π
Temos que w = rn · ei n θ . Se θ = , ou seja, z = r ei n , então, z n = rn ei π .
n
1
(c) w = .
z
1 −i θ
Recorrendo à fórmula exponencial polar z = r ei θ , temos que w = e .
r
0.9 Funções Trigonométricas

Como vimos na seção anterior
eiy = cos y + i sen y e eiy = cos y − i sen y,

z
r π
θ=
n
z-plano w-plano
Figura 17: Imagem de S sob a transformação w = f (z) = z n com domı́nio dado.
z
r
θ
1
−θ
z-plano r w-plano
1
z
1
Figura 18: Imagem de S sob a transformação w = com domı́nio dado.
z
logo é natural definir
eiz + e−iz
cos z := (13)
2
eiz − e−iz
sen z := (14)
2i
sen z
tg z := (15)
cos z
cos z 1 1
cotg z := , sec z := , cossec z := (16)
sen z cos z sen z
Propriedades:
1. sen 2 z + cos2 z = 1 .
2. cos z = cos x cosh y + i sen x senh y.

3. sen z = sen x cosh y + i cos x senh y.
4. sen (z + 2π) = sen z e cos(z + 2π) = cos z .
5. sen (z + π) = − cos z, cos(z + π) = − sen z e tg (z + π) = tg z.
6. | sen z|2 = sen 2 x + senh 2 y e | cos z|2 = cos2 x + senh 2 y.
7. sen (z1 ± z2 ) = sen z1 cos z2 ± cos z1 sen z2 e cos(z1 ± z2 ) = cos z1 cos z2 ∓ sen z1 sen z2 .
8. sen (−z) = − sen z e cos(−z) = cos z.


 sen z = 0 ⇒ z = 0 ou z = ± nπ

9.
 cos z = 0 ⇒ (2n − 1)π
z=±

2
As funções hiperbólicas seno e cosseno, são definidas, como no caso de variáveis reais, pelas
seguintes expressões:
ez − e−z ez + e−z
senh z = , cosh z = .
2 2
Propriedades:
1. cosh2 z − senh 2 z = 1 .
2. sen z = −i senh (iz) e cos z = cosh(iz).
3. senh (−z) = − senh z e cosh(−z) = cosh z.
4. senh (z ± w) = senh z cosh w ± cosh z senh w.
5. cosh(z ± w) = cosh z cosh w ± senh z senh w.
0.10 A Função Logaritmo Natural de z

O logaritmo de um número complexo z = reiθ 6= 0, é definido assim:
ln z = ln r + iθ,
onde r denota o logaritmo real do número r > 0. O logaritmo está definido para todo número
complexo z 6= 0, e se reduz ao logaritmo real quando θ = 0.
Na realidade, a fórmula acima permite atribuir ao logaritmo vários valores distintos, depen-
dendo do argumento usado para o número z. Por causa disso, costuma-se dizer que o logaritmo é
uma função multivalente. O ponto z = 0 é chamado ponto de ramificação de ln z, justamente
porque, descreve um cı́rculo centrado na origem e volta ao ponto inicial, a função ln z retorna
aumentada de 2π i.
É claro que o valor de uma função tem de ser determinado univocamente. Para tanto, se
considerarmos
ln z = ln r + iθ, −π < θ ≤ π,
teremos uma função univalente. A escolha de um valor prefixado para o argumento na definição da
função ln é chamado ramo de ln . Então, como dizemos acima, a função ln está bem definida se, e
somente se, o ramo da função estiver no intervalo (−π π]. Tal ramo é dito ramo principal de ln z,
já que poderı́amos admitir que arg(z) possuam valores num intervalo da forma (y0 , y0 +2π], y0 ∈ R.
Observação 0.12. 1. Neste contexto, denotaremos
Ln z = ln r + iArg(z), Arg(z) ∈, (−π, π]. (17)
2. Pode-se mostrar que com o logaritmo definido acima, a função exponencial e a função loga-
ritmo são funções inversas.
Propriedades: Dados z1 , z2 ∈ C, temos:
1. ln(z1 z2 ) = ln z1 + ln z2 . 4. Ln(z1 z2 ) = (Ln z1 + Ln z2 ) (mod 2 π i).
2. ln(z1 / z2 ) = ln z1 − ln z2 . 5. Ln(z1 / z2 ) = (Ln z1 − Ln z2 ) (mod 2 π i).
3. Ln z1n = n ln z1 . 6. Ln z1n = n Ln z1 (mod 2π i).
Observação 0.13. Podemos dar uma definição ao número complexo z α com z, α ∈ C. Seja
z 6= 0, então definimos z α pela equação
z α = eα ln z .
1. A função exponencial real é biunı́voca, mas a função exponencial complexa não é.
2. ln x, x ∈ R é uma função unı́voca, enquanto ln z é multivalente.
3. No caso complexo, ez = −2 e ln(−2) fazem sentido, o que não ocorre no caso real.
4. (z α1 )α2 6= z α1 α2 a menos que α1 , α2 ∈ Z.
5. |sen x|, | cos x| ≤ 1, ∀ x ∈ R, contudo, por exemplo, | cos(i)|, | sen (2 + i)| > 1.
6. Nas propriedades de funções trigonométricas, item 6, pelo fato que as função seno hiperbólica
real é ilimitada, temos que as funções seno e cosseno complexas são ilimitadas.
7. Diferentemente das funções hiperbólicas reais, as funções hiperbólicas complexas são periódicas
e têm infinitos zeros.
0.11 Limite e Continuidade

A definição de limite e continuidade que daremos agora é formalmente a mesma dos cursos de
Cálculo.
Definição 0.12. Seja z0 um ponto de acumulação do domı́nio D de uma função f . Diz-se que f
tem limite L com z tendendo a z0 se dado qualquer ε > 0 existe δ > 0 tal que
z ∈ D, 0 < |z − z0 | < δ ⇒ |f (z) − L| < ε > 0.
Escreve-se lim f (z) = L .

z→ z0
Figura 19: Interpretação geométrica de um limite complexo.

z + 3i
Exemplo 0.6. Recorrendo à definição, mostre que a função f (z) = é contı́nua no ponto
2
z0 = 2 − i.
Exemplo 0.7. Ainda usando a definição, mostre que lim (z 2 + 3 z) = −4 + 6 i .

z→ 2 i
Observação 0.15. A prova envolvendo épsilon–delta nos exemplos anteriores ilustra o importante
fato de que, embora a teoria de limites complexos seja baseada na definição (0.12), esta não fornece
um método conveniente para o cálculo de limites complexos. A seguir, o teorema 0.2 é uma
útil ferramenta, não apenas no quesito computacional, mas, também estabelece uma importante
conexão entre o limite complexo de f (z) = u(x, y) + i v(x, y) e os limites reais de funções reais
das duas variáveis u(x, y) e v(x, y).
Teorema 0.2. Sejam f (z) = u(x, y)+i v(x, y), z0 = x0 +i y0 e L = u0 +i v0 . Então, lim f (z) = L
z→ z0
se, e somente se,
lim u(x, y) = u0 e lim v(x, y) = v0 .

(x,y)→ (x0 ,y0 ) (x,y)→ (x0 ,y0 )
Exemplo 0.8. Use o teorema precedente para calcular lim (z 2 + i) .

z→ 1+i
Teorema 0.3. (Critério para a Não existência de um Limite) Se f se aproximar de dois números
complexos L1 6= L2 , ao longo de duas curvas ou percursos diferentes que passam por z0 , então
lim f (z) não existe.
z→ z0
z
Exemplo 0.9. Usando o teorema anterior, mostre que lim não existe.
z→ 0 z
Observação 0.16. De maneira análoga, as propriedades de limites e de continuidade (vistas a

seguir) de números reais podem ser estendidas aos números complexos.
Definição 0.13. Uma função complexa f é contı́nua em z = z0 se
lim f (z) = f (z0 ) .

z→ z0
Como no caso de funções reais, para funções complexas contı́nuas também vale o seguinte
critério bem conhecido:
Critério para Continuidade em um Ponto
Uma função complexa f é contı́nua em um ponto z0 se cada uma das três condições forem
atendidas:
(i) lim f (z) existe.

z→ z0
(ii) f é definida em z0 e
(iii) lim f (z) = f (z0 ).

z→ z0
Se uma função complexa f não for contı́nua em um ponto z0 , dizemos que f é descontı́nua
em z0 .
Exemplo 0.10. Usando o teorema (0.2) prove que se f (z) = u(x, y) + i v(x, y) e z0 = x0 + i y0 ,
a função complexa f é contı́nua no ponto z0 se, e somente se, as duas funções reais u e v forem
contı́nuas no ponto (x0 , y0 ).
0.12 Função Analı́tica

A definição de derivada de uma função de variável complexa é formalmente a mesma que no caso
de uma função de variável real.
Definição 0.14. Seja a função complexa f definida em uma vizinhança de um ponto z0 . A deri-
vada de f em z0 , denotada por f 0 (z0 ), é
f (z + ∆z) − f (z)
lim , (18)
∆z→ 0 ∆z
desde que este limite exista.
Se o limite em (18) existir, a função f é dita diferenciável.
Definição 0.15. Diz-se que uma função f é analı́tica numa região D se ela é diferenciável em
cada ponto de D.
Exemplo 0.11. Note que,

(z + 2)(3z − 1)2
1. f (z) = é analı́tica exceto, nos pontos z = 0, 3 − i. Em tais pontos onde a
z(z − 3)(z + i)2
função não é analı́tica, daremos por abuso de notação, o nome de singularidades.
2. Os polinômios f (z) = a0 + a1 z + a2 z 2 + . . . + an z n são funções analı́ticas em todo o plano.

Neste caso, chamamos as funções analı́ticas em todo o plano de funções inteira.
3. A função exp(z) é inteira.

Observação 0.17. Todas as funções com que o leitor se familiarizou em seu curso de Cálculo
são analı́ticas, quando convenientemente estendidas ao plano complexo. Assim,
• Uma função constante é analı́tica e sua derivada é zero.
• A função f (z) = z n , z ∈ Z é analı́tica e sua derivada é f 0 (z) = nz n−1 .
• Se f e g são analı́ticas, as funções a seguir são analı́tcas e calcula-se com as conhecidas

regras:
d d z
1. (f (z) + g(z)) = f 0 (z) + g 0 (z) 5. (e ) = ez
dz dz
d d
2. (f (z) · g(z)) = f 0 (z)g(z) + f (z)g 0 (z) 6. (cos z) = − sen z.
dz dz
g(z)f 0 (z) − f 0 (z)g(z)

d f (z) d
3. = 7. ( sen z) = cos z.
dz g(z) [g(z)]2 dz
d d 1
4. (f (g(z))) = f 0 (g(z))g 0 (z) . 8. (ln z) = .
dz dz z
Como na análise real, se uma função complexa for diferenciável em um ponto é necessariamente
contı́nua no ponto.
Teorema 0.4. Se f for diferenciável em um ponto z0 , em um domı́nio D, f é contı́nua em z0 .
Demonstração: Inicialmente, observe que

f (z) − f (z0 )
lim = f 0 (z0 ) e lim (z − z0 ) = 0 .
z→ z0 z − z0 z→ z0
Consequentemente, pela observação (0.16), podemos escrever o seguinte limite de um produto

como o produto de limites:
f (z) − f (z0 )
lim (f (z) − f (z0 )) = lim · (z − z0 )
z→ z0 z→ z0 z − z0
f (z) − f (z0 )
= lim · lim (z − z0 )
z→ z0 z − z0 z→ z0
= f 0 (z0 ) · 0 = 0 .
De lim (f (z) − f (z0 )) = 0 concluı́mos que lim f (z) = f (z0 ), isto é, f é contı́nua em z = z0 .
z→ z0 z→ z0
Exemplo 0.12. O recı́proco do teorema anterior, no entanto, não é verdadeiro. Considere a

função f (z) = x + i 4y.
1. Mostre que f é contı́nua em todo o plano complexo (use o exemplo (0.10)).
2. Prove que f não é diferenciável.
1. No cálculo real, a derivada de uma função y = f (x) em um ponto x tem várias inter-
pretações. Por exemplo, f 0 (x) é a inclinação da reta tangente ao gráfico de f no ponto
(x, f (x)). Quando a inclinação é positiva, negativa ou nula, a função, por sua vez, está au-
mentando, diminuindo ou, possivelmente, tem um máximo ou mı́nimo. Além disso, f 0 (x) é
a taxa de variação instantânea de f em x. Em um contexto fı́sico, esta taxa de variação pode
ser interpretada como velocidade de um objeto móvel. Nenhuma dessas interpretações
se aplica ao cálculo complexo. Deste modo, vale a pergunta: “O que significa a deri-
vada de uma função complexa w = f (z)?” Eis a resposta: na análise complexa, o interesse
principal não é o que a derivada de uma função significa ou representa, mas sim se a
função f realmente tem derivada, fato este, há de dizer muito sobre a função analisada.
2. Como outra consequência de diferenciabilidade, a regra de L’Hôpital para o cálculo da forma

indeterminada 0/0 também se aplica à anàlise complexa, isto é, se f e g forem funções
anaı́liticas em um ponto z0 e se f (z0 ) = g(z0 ) = 0 e g 0 (z0 ) 6= 0, então,
f (z) f 0 (z0 )
lim = 0 .
z→ z0 g(z) g (z0 )
De modo geral, se f, g e suas n − 1 derivadas forem nulas em z0 e g (n) (z0 ) 6= 0, então,
f (z) f (n) (z0 )
lim = (n) .
z→ z0 g(z) g (z0 )
0.13 As Equações de Cauchy-Riemann

Iniciaremos esta seção com um teorema que mostra que se uma função f (z) = u(x, y) + iv(x, y) for
diferenciável em um ponto z, as funções u e v devem satisfazer um par de equações que relacionam
suas derivadas parciais de primeira ordem.
Teorema 0.5. (Uma Condição Necessária para Analiticidade) Suponhamos que f (z) = u(x, y) +
iv(x, y) seja diferenciável em um ponto z = x + i y. Então, em z as derivadas parciais de primeira
ordem de u e v devem satisfazer as Equações de Cauchy–Riemann
∂u ∂v ∂u ∂v
= e =− . (19)
∂x ∂y ∂y ∂x
Demonstração: Se f é analı́tica, então,
f (z + ∆z) − f (z)
f 0 (z) = lim . (20)
∆z→ 0 ∆z
Escrevendo f (z) = u(x, y) + iv(x, y) e ∆ z = ∆ x + i ∆ y, (20) fica escrita como
u(x + ∆ x, y + ∆ y) + i v(x + ∆ x, y + ∆ y) − u(x, y) − iv(x, y)

f 0 (z) = lim . (21)
∆z→ 0 ∆x + i∆y
Como, por hipótese, o limite (20) existe, ∆ z pode se aproximar de zero ao longo de qualquer
direção conveniente. Em particular, se fizermos ∆ z → 0 ao longo de uma reta horizontal ∆ y = 0
e ∆ z = ∆ x, podemos, então, escrever (21) como
u(x + ∆ x, y) − u(x, y) + i[ v(x + ∆ x, y) − v(x, y) ]

f 0 (z) = lim
∆x→ 0 ∆x
u(x + ∆ x, y) − u(x, y) v(x + ∆ x, y) − v(x, y)
= lim + i lim . (22)
∆x→ 0 ∆x ∆x→ 0 ∆x
Veja que a existência de f 0 (z) implica que cada limite em (22) existe. Esses limites são a definição
das derivadas parciais de primeira ordem de u e v em relação à x, respectivamente. Portanto,
∂u ∂v
mostramos duas coisas: que e existem no ponto z e que a derivada de f é
∂x ∂x
∂u ∂v
f 0 (z) = +i . (23)
∂x ∂x
Agora, façamos ∆ z → 0 ao longo de uma reta vertical, isto é, ∆ x = 0 e ∆ z = i ∆ y, (21) fica
escrita como
u(x, y + ∆ y) − u(x, y) + i[ v(x, y + ∆ y) − v(x, y) ]

f 0 (z) = lim
∆y→ 0 i∆y
1 u(x, y + ∆ y) − u(x, y) v(x, y + ∆ y) − v(x, y)
= lim + i lim . (24)
i ∆y→ 0 ∆y ∆y→ 0 i∆ y
∂u ∂v
Neste caso, (24) mostra que e existem em z e
∂y ∂y
∂u ∂v
f 0 (z) = −i + . (25)
∂y ∂y
Igualando as partes real e imaginária de (23) e (25), obtemos o par de equações em (19).
Exemplo 0.13. Mostre que a função complexa f (z) = 2x2 + y + i (y 2 − x) não é analı́tica em
qualquer ponto.
Observação 0.19. A análise acima mostra que as equações de Cauchy–Riemann são uma condião
necessária para a existência da derivada de uma função f . Mas, elas não são suficientes para
garantir a existência dessa derivada. Como exemplo disto, consideremos a função
p
f (z) = | x y |,
onde, como de costume z = x + i y. Temos que v(x, y) = 0, portanto, vx = vy = 0.

p
Por outro lado, u = | x y |, donde u(s, 0) = u(0, 0) = 0, logo,
∂u u(s, 0) − u(0, 0)
(0, 0) = lim = 0.
∂x s→ 0 s
∂u
Analogamente, (0, 0) = 0. Vemos então que as equações de Cauchy–Riemann estão satisfeitas
∂y
no ponto z = 0.
Não obstante, f não é diferenciável em z = 0. De fato, pondo ∆ z = r ei θ , obtemos:
f (∆ z) − f (0)
lim
∆ z→ 0 ∆z p
| cos θ sen θ |
=
ei θ
1/2
1
= sen 2θ e−i θ .
2
Fazendo ∆ z se aproximar de zero pelo eixo real, isto é, quando θ = 0, temos que
f (∆ z) − f (0)
lim = 0.
∆ z→ 0 ∆z
Agora, tomando ∆ z se aproximar de zero quando a parte real √ x e a parte imaginária y são
f (∆ z) − f (0) 2
iguais , ou seja, se θ = π/4, resulta que lim = i π/4 .
∆ z→ 0 ∆z 2e
Assim, pelo teorema (0.3), resulta que f 0 (0) não existe.
Teorema 0.6. (Condições Suficientes para Diferenciabilidade) Se as funções reais u(x, y) e v(x, y)
forem contı́nuas e tiverem derivadas parciais de primeira ordem contı́nuas em algum domı́nio D,
e s u e v satisfizerem as equações de Cauchy–Riemann (19) em todos os pontos de D, então, a
função complexa f (z) = u(x, y) + i v(x, y) é analı́tica em D.
Demonstração: Para a demonstração desse teorema, usamos o Teorema de Taylor de funções

de duas variáveis reais. Seja a = α + i β ∈ D e s = γ + i δ ∈ C onde α, β, γ, δ ∈ R. Então,
recorrendo ao fato que as derivadas parciais são contı́nuas, utilizando o Teorema de Taylor do
curso de cálculo temos que
∂ u(α, β) ∂ u(α, β)
u(α + γ, β + δ) − u(α, β) = · γ+ · δ + 1 (γ, δ), (26)
∂x ∂y
1 (γ, δ)
onde → 0, quando γ, δ → 0.
|γ| + |δ|
Da mesma forma,
∂ v(α, β) ∂ v(α, β)
v(α + γ, β + δ) − v(α, β) = · γ+ · δ + 2 (γ, δ), (27)
∂x ∂y
2 (γ, δ)
onde → 0, quando γ, δ → 0.
|γ| + |δ|
Pelo fato que f (a) = u(α, β) + i v(α, β), temos:
∂f ∂u ∂v
= +i (28)
∂x ∂x ∂x
∂f ∂u ∂v
= +i (29)
∂y ∂y ∂y
veja ao multiplicar (27) por i e somando com (26), iremos obter:
∂ f (a) ∂ f (a)
f (a + s) − f (a) = · γ+ · δ + (s), (30)
∂x ∂y
(s)
onde → 0 quando s → 0.
|s|
Mas, com as equações de Cauchy–Riemann, a notação (29) fica
∂f ∂u ∂v
= +i
∂y ∂y ∂y
∂v ∂u
= − +i
∂x
∂x
∂u ∂v
= i +i (31)
∂x ∂x

∂f
= i .
∂x
Deste modo, dividindo (30) por s e usando (32), temos que
f (a + s) − f (a) 1 ∂ f (a) 1 ∂ f (a) (s)
= · γ+ · δ+
s s ∂x s ∂y s
=s
z }| {
γ + iδ ∂ f (a) (s)
= + .
s ∂x s
Enfim, fazendo s → 0 na última expressão, resulta que
f (a + s) − f (a)
f 0 (a) = lim
s→ 0 s
∂ f (a) (s)
= + lim
∂x | {z s }
s→ 0
=0
∂ f (a)
=
∂x
∂u ∂v
= (α, β) + i (α, β)
∂x ∂x
∂u ∂v
isto é, f 0 (a) existe (já que
(α, β) e (α, β) existem) para todo a ∈ D, portanto, f é analı́tica
∂x ∂x
em D, pela arbitrariedade de a.
Exemplo 0.14. Mostre que f (z) = ez é uma função inteira e prove que f 0 (z) = ez .
p
Exercı́cio 0.1. Prove que em coordenadas polares, x = r cos θ, y = r sen , θ onde r = x2 + y 2 , θ =
tg −1 (y/x), z = x + i y as condições de Cauchy–Riemann são
∂u 1 ∂v 1 ∂u 1 ∂v
= e = .
∂r r ∂θ r ∂θ r ∂r
d 1
Exemplo 0.15. Mostre que Ln z = ln r + i θ é uma função analı́tica e Ln z = .
dz z
0.14 Integração Complexa

A teoria de integração é um item extenso e importante da análise de funções de uma ou diversas
variáveis reais ou complexas. O domı́nio de integração de uma função de variável real é um
subconjunto de R. Na variável complexa, o domı́nio de integração de uma função de variável
complexa é uma linha ou um domı́nio em C, pois a variação de uma variável z no plano determina
uma linha, um caminho, um arco ou
ˆ um contorno.
˛ De modo análogo ao caso real, podemos definir
a integral de linha complexa f (z) dz ou f (z) dz é a integral de f (z) ao longo da curva
C C
C.
Definição 0.16. Uma curva, um contorno ou um caminho é uma função contı́nua γ : [a, b] →
R × R ou C. O caminho é diferenciável ou suave quando γ é uma função diferenciável. Dizemos
que a curva é fechada se γ(a) = γ(b).
Exemplo 0.16. Considere a função γ : [0, 1] → R2 definida por
1

 t, 0 ≤ t ≤

γ(t) = 2
 1 − t, 1
≤ t ≤1

2
1
No R2 podemos escrever a curva como γ(t) = (x(t), y(t)) onde x(t) = t, y(t) = t, 0 ≤ t ≤ e
2
1
x(t) = t, y(t) = 1 − t, ≤ t ≤ 1.
2
1 1
Já em C, podemos representar a curva como γ(t) = t + i t, 0 ≤ t ≤ e γ(t) = t + (1 − t) i, ≤
2 2
t ≤ 1.
Veja que a curva é contı́nua, mas não é diferenciável em t = 1/2. Porém, a curva é dita
diferencı́avel (suave por partes), pois ela é considerada como a união ou soma de duas curvas
suaves, a saber, a curva t e 1 − t.
Exemplo 0.17. Uma curva fechada, simples é dita curva de Jordan se toda curva fechada
cujos pontos, a exceção das extremidades sejam todos simples.
não - simples
γ(a) = γ(b) γ(a) = γ(b)
curva fechada Curva de Jordan
Figura 20: Curva de Jordan na figura à direita
Definição 0.17. Seja f uma função contı́nua e definida em um conjunto
A seguir, vem a definição de integral complexa.
Exemplo 0.18. Seja f uma função contı́nua e definida num conjunto aberto A ⊂ C e que
γ : [a, b] → C é uma curva suave por partes tal que γ([a, b]) ⊂ A. Definamos a integral de f
sobre γ como o limite da soma de Riemann:
ˆ n−1 ˆ
X ai+1
f (z) dz = lim f (γ(t)) · γ 0 (t) dt, (32)
γ n→ ∞ ai
i=1
onde a = a0 < a1 < . . . < an = b é a divisão do intervalo [a, b] nos subintervalos (ai , ai+1 ).
Quando o limite existe, dizemos que f é integrável.
Tal integral pode ser ser definida e representada em termos das integrais reais, ou seja, fazendo-
se
f (z) = u(x, y) + i v(x, y) e dz = dx + i dy,

obtemos
˛ ˛ ˛
f (z) dz = (u(x, y)dx − v(x, y)dy) + i (u(x, y)dy + v(x, y)dx),
C C C
desde que existam as integrais reais do lado direito da equação acima.
O caminho C pode ser aberto ou fechado, mas devemos especificar a direção de integração,
pois uma mudança de direção resulta em mudança no sinal da integral. As integrais complexas
são, portanto, redutı́veis a integrais reais curvilı́neas e possuem as as análogas propriedades como
no caso real.
0.15 Teorema Integral de Cauchy

As integrais de funções analı́ticas possuem algumas propriedades muito importantes. Provavel-
mente a mais importante delas seja descrita pelo teorema integral de Cauchy. Para apresentar
este teorema precisamos do conceito de conjunto simplesmente conexo. Um conjunto D é dito
conexo se quaisquer dois de seus pontos podem ser unidos por uma linha totalmente pertencente
a D. Um conjunto D é dito simplesmente conexo se qualquer curva simples fechada contida
em D, pode ser deformada, sempre totalmente contida em D, até se tornar um ponto. A figura
abaixo ilustra duas regiões conexas A e B, dos quais A é simplesmente conexa, mas B não é, pois
esta possui um “buraco”.
Figura 21: Exemplo de conjunto simplesmente conexo
Teorema 0.7. (Teorema Integral de Cauchy) Seja f (z) uma função analı́tica num domı́nio
simplesmente conexo D. Se C é um caminho fechado simples de D, então
ˆ
f (z) dz = 0 .
C
Exemplo 0.19. Seja C a circunferência unitária, centrada na origem, orientada positivamente.

ˆ
1. ez dz = 0, pois f (z) = ez é uma função analı́tica, para todo z complexo.
C
ˆ
1
2. dz = 2π i 6= 0. Mas, isto não contradiz o teorema de Cauchy, pois f (z) = z −1 não é
C z
analı́tica na origem, a qual pertence a região R interior ao caminho C.
Teorema 0.8. Se f (z) é analı́tica em um domı́nio simplesmente conexo D e, se F (z) for uma
integral indefinida de f (z), ou seja, F 0 (z) = f (z), então para todos os caminhos situados em D
que ligam dois pontos a e b em D, têm-se que
ˆ b
f (z) dz = F (b) − F (a) .
a
Este teorema permite o cálculo das integrais de linha de funções complexas através de uma
integral indefinida. Com isto, podemos chegar aos seguintes resultados, donde C é uma constante
arbitrária:
ˆ ˆ
z n+1
1. n
z dz = + C, n 6= −1 5. sen z dz = − cos z + C
n+1
ˆ
1
2. dz = ln z + C ˆ
z
ˆ 6. cos z dz = sen z + C
z z
3. e dz = e + C
ˆ ˆ
z az
4. a dz = +C 7. sec2 z dz = tg z + C
ln a
A consequência mais importante do teorema de Cauchy é a fórmula integral de Cauchy. Esta

fórmula é dada pelo teorema abaixo.
Teorema 0.9. (Fórmula Integral de Cauchy) Seja f (z) uma função analı́tica no interior e
sobre um caminho fechado C. Se z0 é um ponto qualquer no interior de C, então:
ˆ
1 f (ζ)
f (z0 ) = dζ, (33)
2 π i C ζ − z0
onde a integração é efetuada no sentido positivo ao longo de C.
A fórmula integral de Cauchy, mostra que o valor de uma função analı́tica numa região é
determinado em toda a região por seus valores na fronteira. A demonstração deste teorema é
omitida. Devemos observar também que a fórmula integral de Cauchy nos permite calcular uma
integral de linha desde que a função a ser integrada tenha uma única singularidade no interior do
caminho C.
Derivadas de Todas as Ordens:

Como importante consequência da fórmula de Cauchy, enunciaremos um resultado que diz que
uma função analı́tica possui derivadas de todas as ordens.
Teorema 0.10. Uma função analı́tica numa região D possui derivadas de todas as ordens, as
quais, por sua vez, são também analı́ticas em D e
ˆ
(n) n! f (ζ)
f (z) = dζ,
2πi C (ζ − z)n+1
onde n é um inteiro positivo qualquer.
Demonstrando-se alguns resultados por meio do uso do Teorema de Cauchy, obtém-se o
Teorema 0.11. (Teorema Fundamental da Álgebra) Todo polinômio
P (z) = an z n + an−1 z n−1 + . . . + a1 z + a0

0
de grau n ≥ 1 e coeficientes an s complexos possui ao menos uma raiz.
Exemplo 0.20. Considere o polinômio p(x) = x2 + 1. É notório que que p não possui raiz real.
No entanto, ao considerarmos p(z) = z 2 + 1, donde os coeficientes são complexos, o Teorema
Fundamental da Álgebra nos diz que este polinômio possui ao menos uma raiz. Como se pode ver,
tal polinômio possui duas raı́zes, a saber i e −i.

Analisecomplexa

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

Analisecomplexa

Enviado por

Direitos autorais:

Formatos disponíveis

Ministério da Educação

Universidade Tecnológica Federal do Paraná

Pós Graduação em Matemática / Cálculo Diferencial e Integral III

WELLINGTON JOSÉ CORRÊA

Campo Mourão, Paraná

0.1 Números Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

0.1 Números Complexos

(a, b) · (c, d) = (ac − bd, ad + bc)

(a, 0) = a (0, 1) = i . (1)

Observação 0.1. Temos que

2. O par (0, 0) é o elemento nulo para a operação soma.

3. O par (1, 0) é o elemento nulo para a operação multiplicação.

4. Temos que (a, b) = (c, d) ⇔ a = c, b = d.

Figura 1: Representação dos números complexos

Proposição 0.1. Dados os números complexos z1 , z2 , z3 ∈ C, valem as propriedades:

1. Associativa: (z1 + z2 ) + z3 = z1 + (z2 + z3 ) .

Observação 0.2. Usando a 1¯a definição e as identificações, temos:

O número complexo c − id é chamado conjugado do número complexo c + id. De modo geral,

Observação 0.3. (Comparação com Análise Real)

1. Várias das propriedades do sistema de números reais R permanecem válidas no sistema de

Propriedades de conjugação e valor absoluto.

5. Se z = =(z) ⇒ z = −z . 9. |=(z)| ≤ |z| .

11. z · z = |z|2 . z1 |z1 |

13. |z1 · z2 | = |z1 | · |z2 | 16. |z1 − z2 | ≥ | |z1 | − |z2 | |

0.2 Propriedades Algébricas de C

Proposição 0.2. O conjunto dos números complexos C é um corpo.

Corolário 0.1. Dados z1 , z2 ∈ C, temos que z1 · z2 = 0 se, e somente se, z1 = 0 ou z2 = 0.

Demonstração: Dados zi = (ai , bi ), i = 1, 2 veja que

Multiplicando a primeira equação de (2) por b2 temos:

−b1 a22 = b1 b22

Corolário 0.2. (Lei do Cancelamento)

Dados z1 , z2 , z3 ∈ C com z1 6= 0 e z1 · z2 = z2 · z3 então, z2 = z3 .

Demonstração: De fato, se z1 · z2 = z2 · z3 , então,

Assim, em virtude que z1 6= 0, pelo corolário precedente resulta que z2 − z3 = 0, ou seja, z2 = z3 .

Observação 0.4. Definindo seguinte multiplicação por escalar

não é difı́cil verificar que (C, + , · ) é um R– espaço vetorial.

Proposição 0.3. O conjunto {1, i} é uma base de C como R– espaço vetorial.

E ainda, dados α, β ∈ R tivermos α · 1 + β i = 0, então, pelas identificações mencionadas

α · (1, 0) + β · (0, 1) = (0, 0)

logo, o conjunto {1, i} é l. i. e, portanto, base de C como R– espaço vetorial.

A seguir, estudaremos produto interno em C.

1. || v ||2 = hv, vi ≥ 0 e hv, vi = 0 se, e somente se, v = 0, para todo v ∈ V.

3. hv1 + v2 , v3 i = hv1 , v3 i + hv2 , v3 i, ∀ v1 , v2 , v3 ∈ V.

hi w, i wi = i hw, iwi (propriedade 2)

o que é uma contradição.

1. || v ||2 = hv, vi ≥ 0 e hv, vi = 0 se, e somente se, v = 0, para todo v ∈ V.

3. hv1 + v2 , v3 i = hv1 , v3 i + hv2 , v3 i, ∀ v1 , v2 , v3 ∈ V.

1. || v ||2 = hv, vi ≥ 0 e hv, vi = 0 se, e somente se, v = 0, para todo v ∈ V.

3. hv1 + v2 , v3 i = hv1 , v3 i + hv2 , v3 i, ∀ v1 , v2 , v3 ∈ V.

Teorema 0.1. C é uma extensão de R.

Demonstração: Com efeito, considere a aplicação

(i) Para todo a, b ∈ R e todo α ∈ R, ϕ é um homomorfismo:

ϕ(a + b) = (a + b, 0) = (a, 0) + (b, 0) = ϕ(a) + ϕ(b).

ϕ(α · a) = (α · a, 0) = (α · a, α · 0) = α · (a, 0) = α ϕ(a).

Pela própria construção de ϕ, obtemos o desejado.

De fato, note ϕ é linear e Ker(ϕ) = {a ∈ R, ϕ(a) = (0, 0)}.

Seja x ∈ Ker(ϕ). Então, ϕ(x) = (0, 0), ou ainda,

(x, 0) = ϕ(x) = (0, 0) ⇔ x = 0,

Deste modo, por um resultado clássico de Álgebra Linear, ϕ é injetora.

Portanto, ϕ é um isomorfismo e assim,

o que prova o desejado.

0.3 Representação Polar

arg(z) ≡ Arg(z) (mod 2π)