tica 1 2014.

1
Fsica Matema
Notas de Aula Segunda Unidade

Professor: Leonardo Ribeiro Eulalio Cabral

Departamento de Fsica - Sala 354
Telefone: 2126 7621
E-mail: lrecabral@df.ufpe.br
Homepage: https://sites.google.com/site/fisicamatematicadfufpe2014/

AVISO

Estas notas de aula nao devem ser consideradas substitutas das referencias listadas (ou de outras que possam ser pertinentes ao conte
udo da disciplina). Recomendo que sejam consideradas como um complemento da bibliografia, de modo
a servir de guia de apoio ao estudante para um bom acompanhamento da disciplina.
Estas notas nao sao de forma alguma completas ou livres de erros e inconsistencias. Ate dito em contrario, estarao em estado de permanente atualizacao ou
correcao. Sugestoes e correcoes por parte de terceiros (quer sejam estudantes ou
nao) serao bem-vindas.

Leonardo R. E. Cabral
Recife, Abril de 2014

Captulo 1
Introduc
ao
Introducao de conceitos basicos utilizados na Fsica Matematica moderna, tais como, conjuntos,
funcoes, relacoes de equivalencia, espacos metricos, etc.

1.1

Conjuntos

Definicao informal: Colecao de objetos (elementos do conjunto) sem uma estrutura. Exemplos:
estudantes de Fsica Matematica 1 em 2011.1; vetores no espaco; pontos em uma reta; eventos no
espaco-tempo, etc. Seja a um elemento de um conjunto A. Diz-se que a pertence ao conjunto A ou
a A. A negacao de tal afirmacao e dada por a
/ A.
Nos conjuntos a ordem e a quantidade de vezes que os elementos estao listados e irrelevante.
Dois conjuntos A e B sao iguais se e somente se (sse) cada elemento de A for tambem elemento de
B e vice-versa.
Um conjunto contendo nenhum elemento e denominado de conjunto vazio, sendo representado
por {} ou . O conjunto unitario (singleton de acordo com [Hassani]) e composto por um u
nico
elemento. Um conjunto pode ser representado pelos seus elementos delimitados por chaves, e.g.,
N4 = {1, 2, 3, 4} representa os conjuntos de n
umeros naturais menores do que 4, enquanto que
P7 = {2, 3, 5, 7, 11, 13, 17}, o conjunto dos n
umeros primos menores do que 18. Uma outra maneira
de representacao e dada por
A = {a | a goza de propriedade P }.
Ou seja, A e o conjunto de todos os elementos a tal que P seja verdadeira (o [ElonLages] utiliza ;
ao inves de |). Desta forma, pode-se escrever o conjunto vazio {a | a = a}, N4 = {n N| n < 5}
e P7 = {p < 18 N| p = mn, m N e n N}, onde N representa o conjunto dos numeros
naturais.
` vezes, conjuntos tambem podem ser representados por intervalos. Por exemplo, [0, 1] e o
As
intervalo fechado {x | 0 x 1} se refere a todos pontos x entre 0 e 1, incluindo os pontos 0 e 1,
enquanto que (1, 1) representa o intervalo aberto {x | 1 < x < 1} onde todos os pontos x estao
includos, exceto os pontos 1 e 1.

Pelo teorema fundamental da aritmetica, todo e qualquer n > 1 N pode ser representado de maneira u
nica
pelo produto de um ou mais n
umeros primos. Por isso, nao se define o n
umero 1 como primo porque acarretaria em
mais de uma maneira de se representar um n
umero natural. Por exemplo, 15 = 5 3 = 5 3 1 1.

Alguns conjuntos numericos possuem nomenclatura bem conhecida. Por exemplo, o conjunto dos
n
umeros naturais,
N = {1, 2, 3, 4, . . .},
o conjunto dos numeros inteiros,
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .},
e o conjunto dos numeros racionais
p
Q = { | p Z e q Z },
q
onde Z = Z {0}. R representa o conjunto dos
numeros reais, cujos elementos podem ser descritos Figura 1.1: Conjuntos de pontos em que |z| = 1.
graficamente por uma reta contnua. C se refere ao
conjunto dos numeros complexos, por sua vez, e pode
ser representado por pontos em um plano. Observa-se que N Z Q R C. Outros exemplos
de conjuntos sao: o conjunto de todas as potencias nao negativas de x, {x R; xn , n N}; o
conjunto das razes quarticas de 1, {z C; z 4 = 1} ou {1, i, 1, i}; o conjunto formado por
valores de z tais que {z = x + iy C; |z| = 1} que define uma circunferencia de raio 1, conforme
mostra a figura 1.1.
Se a A para todo e qualquer a B, diz-se que B esta contido em A, ou B e subconjunto
de A, o que pode ser representado por B A. Se A tambem for subconjunto de B, i.e., A B,
entao A = B, o que significa que todo elemento de A tambem e elemento de B, ou seja, A = B
(na realidade, para poder mostrar que dois conjuntos sao iguais, deve-se antes mostrar que A B
e B A). Um subconjunto proprio de um conjunto A e qualquer subconjunto B de A, mas B = A
(ou seja, existe a A em que a
/ B).
O conjunto e subconjunto de qualquer conjunto X. Isto porque se X nao fosse verdadeiro,
existiria um x tal que x
/ X. Mas x nao e verdadeiro. Logo, X. Percebe-se tambem
que, com excecao do conjunto vazio, um dado conjunto possui pelo menos dois subconjuntos: e
ele mesmo.
O conjunto P(A) formado pela colecao de todos os subconjuntos de um conjunto A e denotada
por vezes de 2A . Este conjunto nunca e , pois P(A) e A P(A).Isto porque o n
umero de
n
subconjuntos de um conjunto contendo n elementos e 2

Considere o conjunto vazio, {}. Claramente, este possui um subconjunto (ele proprio). O conjunto unitario
possui dois subconjuntos: e ele proprio. Um conjunto com dois elementos possui 4 subconjuntos: , ele mesmo
e os 2 subconjuntos unitarios formados por cada um de seus elementos. Se um conjunto possui tres elementos,
A(3) = {1, 2, 3}, os subconjuntos sao: , {1}, {2}, {3}, {1, 2}, {2, 3}, {3, 1} e A(3). Ou
( seja,
) existem 1+3+3+1 = 8
n
subconjuntos. Verifica-se, portanto, que, se A(n) = {1, 2, 3, 4, . . .}, teremos o ,
subconjuntos unitarios,
1
(
)
(
)
n
n
subconjuntos de dois elementos, . . .,
subconjuntos com n 1 elementos e A(n). Ou seja, o
2
n1
n
umero de subconjuntos de A(n) e
)
)
n (
n (

n
n
n
NA(n) =
=
1p 1np = (1 + 1) = 2n
p
p
p=0

p=0

Propriedades da relacao de inclusao

Reflexiva
A A, A
Anti-simetrica A B e B A, entao A = B
Transitiva
A B e B C, entao A B
Das operacoes mais comuns entre conjuntos temse:
A uniao dos conjuntos A e B, A B, e um
conjunto formado por elementos de ambos os
conjuntos. Isto significa que se escolhermos um
elemento x qualquer de AB, temos que x A
ou x B, i.e. A B = {x | x A ou x B}.
Se {B }I (onde I e um conjunto de ndices,
cujos elementos sao ) e uma colecao de conjuntos, entao a uniao de todos esses conjuntos e
denotada por B .
A intersecao dos conjuntos A e B, A B, e
o conjunto formado pelos elementos comuns a
A e B. Ou seja, dado um elemento qualquer
x A B, x A e x B, i.e., A B =
{x | x A e x B}. Se A B = , os
conjuntos A e B sao chamados de disjuntos.
Note que A B A e A B B. Se {B }I
e uma colecao de conjuntos, entao a intersecao
de todos esses conjuntos e denotada por B .

Figura 1.2:

Algumas das propriedades das operacoes e estao listadas abaixo:

A=A
AA=A
AB =BA
(A B) C = A (B C)
AB =AB A
A (B C) = (A B) (A C)

A=
AA=A
AB =BA
(A B) C = A (B C)
AB =AAB
A (B C) = (A B) (A C)

ou \ A diferenca entre os conjuntos A e B, denotada por AB ou A\B, e o conjunto de elementos

de A que nao pertecem a B, ou seja, A B = {x | x A e x
/ B}. Se A e B disjuntos,
A B = A. Desta forma, pode-se dizer que A B = A (B A)
ou Quando B A, A B tem o mesmo significado que o complementar de B em relacao a
A, A B (denotado tambem por A B). Isto pode ser escrito como A B = {x | x
A e x
/ B A} Se existe um conjunto universal E subjacente, cujos subconjuntos sao
os conjuntos A, B, etc, escreve-se A ou A o complementar de A (ver figura). Note que
(A B) = ( A) ( B) e que (A B) = ( A) ( B).

1.2

Produto Cartesiano

Dados dois objetos a e b, diz-se que (a, b) e um par ordenado, onde a e b sao a primeira e segunda
coordenada do par, respectivamente. Denota-se o produto cartesiano dos conjuntos A e B por
A B = {(a, b) | a A e b B} Se B = A, i.e., A A = A2 = {(a, a) | a A}, denota-se
diagonal de A2 .
Pode-se ainda existir o produto cartesiano de n conjuntos A1 , A2 , . . ., An , A1 A2 . . . An =
{(a1 , a2 , . . . , an ) | ai Ai } que e o conjunto de seq
uencias ordenadas de n elementos ou n upla
ou n tuplo.
Os cartesianos mais comuns sao aqueles em que A = R. Por exemplo, R2 e o conjunto de pares
ordenados (x1 , x2 ) que designam os pontos no plano Euclidiano, enquanto que R3 e o conjunto de
tripletos ordenados (x1 , x2 , x3 ) que designam os pontos no espaco Euclidiano.

1.3

Relaco
es de Equival
encia

Os elementos de um conjunto podem ser agrupados utilizando alguma relacao entre eles. Como
pode-se associar um conjunto de potenciais vetores
exemplo, a um determinado campo magnetico B

{A}, onde A A = f , f sendo uma funcao bem comportada , pois qualquer um destes potenciais
vetores produz o mesmo campo magnetico.
Uma relacao em um conjunto A e um teste comparativo entre pares ordenados de elementos
deste conjunto. Se o par ordenada (a, b) A A for verdadeiro perante esse teste, diz-se que a
esta relacionado a b ou a b. Por exemplo, tome A o conjunto de alunos de Fsica Matematica 1
em 2011.1. Considere um par ordenado de estudantes e os relacione por fulano (a) e mais velho do
que sicrano (b), ou seja, a b. Esta e uma relacao entre os estudantes de Fsica Matematica 1 em
2011.1 onde nao existe simetria, i.e., se a b for verdadeiro, b a nao o e.
Uma relacao de equivalencia em A e uma relacao em A que possui as seguintes propriedades:
a a, a A (reflexividade).
a b b a, a, b A (simetria).
a b e b c a c, para a, b e c A (transitividade).
Desta forma, a e equivalente a b. Por vezes, a relacao de equivalencia ser representada por .
Observe que o produto cartesiano A A, ou seja, se os elementos de A forem dispostos como em
uma matriz, (a) indica que a relacao de quivalencia contem a diagonal de A A e (b) diz que e
simetrica em relacao a esta diagonal.
Quando a b, JaK = {b A | b a} e o conjunto de todos os elementos equivalentes a a. Este
conjunto e denominado de classe de equivalencia de a. Existe uma proposicao que diz que: se e
uma classe de equivalencia sobre A e a, b A, entao ou JaK JbK = ou JaK = JbK .
o conjunto de potenciais vetores. Tome a relacao de equivalencia A
A
se A
A
= f ,
Seja {A}
para f contnua. A propriedade de simetria e verificada trivialmente. Tem-se a propridade de

f deve ser tal que f = 0. Isto ocorre para uma funcao contnua.
Digamos que a b, onde a A e b A, e b c, onde b A e c A . Pela transitividade, segue que A = A .
Se A = A , significa que ou b
/ A ou b
/ A e A A = .

 = A
e produzido tanto por A
como por
simetria, pois um mesmo dado campo magnetico B
= A
+ f , portanto A
A
A
A.
Ve-se tambem que B
=A
=A
= A
e a
A

=A
+ f formam uma classe de
transitividade e verificada. O conjunto formado por todos os A

equivalencia, pois qualquer um destes pontenciais vetores produzem o mesmo campo B.

Outro exemplo, considere os alunos de Fsica
Matematica 1 em 2011.1 e agrupe-os de acordo como
o ano em que entraram na UFPE. Uma relacao de
equivalencia existe entre alunos que ingressaram no
2
mesmo ano. As classes de equivalencia podem ser
1
denotadas por J2008K, J2009K, J2010K, por exemplo.
3
Verifica-se que o conjunto de todas estas classes de
equivalencia particiona o conjunto constitudo pelos
alunos de Fsica Matematica 1 em 2011.1 ou que {J
ano de ingresso K} e uma particao desse conjunto.
5
4
6
Na realidade, se A e um conjunto e {B } e uma
colecao de subconjuntos de A diz-se que {B } e
particao de A ou que {B } particiona A, se os subFigura 1.3: Representacao esquematica da forma conjuntos B sao disjuntos ( B = ) e B = A.

como classes de equivalencia particionam um conSe
s
a
o
consideradas
todas
as
classes
de
equival
encia
junto.
de A, estas sao disjuntas e a uniao de todas elas constituem A. Logo, o conjunto formado por
todas as classes de equivalencia de um conjunto A e uma particao de A. O conjunto denotado por
A/ = {JaK | a A} e denominado conjunto quociente de A pela relacao de equivalencia .
Outros exemplos de relacoes e classes de equivalencia:

[a ]

[a ]

[a ]

[a ] [a ] [a ]

Sejam p1 R3 , p2 R3 . Pode-se dizer que p1 e p2 sao equivalentes se estiverem sobre uma

mesma reta que passa pela origem (desta forma exclue-se p1 = (0, 0, 0) e p2 = (0, 0, 0) pois
passam por estes dois pontos infinitas retas). Pode-se verificar que p1 p2 e que R3 /bowtie e
o conjunto de todas as linhas que passam pela origem . Ao se escolher as retas paralelas ao
vetor unitario com terceira componente positiva, identifica-se R3 / como hemisferio norte.
Sejam m, n Z e uma relacao entre m e n dada por m n se m n for divisvel por k Z e
fixo. Portanto, mn = kp+i, onde p, i Z. Logo, todos os m, n Z equivalentes possuem o
mesmo resto i Z. Como os possveis valores para o resto sao {0, 1, 2, . . . , k 1}, as classes
de equivalencia sao dadas pelos m e n que tiverem mesmo valor para o resto, podendo ser
representadas por J0K, J1K, J2K, . . ., Jk 1K. Desta forma, Z/ = {J0K, J1K, J2K, . . . , Jk 1K}.

1.4

Relaco
es de Ordem

Uma relacao binaria (entre um par ordenado) em um conjunto A que as propriedades:

1. a a, a A. (Reflexividade)
2. a b e b a implica em a = b, para a, b A. (Anti-simetria)

R3 / e chamado de espaco projetivo associado a R3

3. Se a b e b c, entao a c, para a, b e c A. (Transitividade)

e denominada relacao de ordem. Um conjunto onde esta definida uma relacao de ordem e chamado
de conjunto ordenado. Se, para quaisquer a e b A, ou a b ou b a, o conjunto e denominado
completamente ordenado ou linearmente ordenado.
Um conjunto ordenado A pode ter um menor elemento a ou um maior elemento b, se a x, x
A ou x b, x A. Desta forma, Z (com a relacao de ordem m n se, e somente se n m for
positivo ou igual a zero) nao possui nem maior, nem menor elemento. Entretanto, o n
umero 1 e o
menor elemento de N.

1.5

Mapas e funco
es
Um mapa f de um conjunto X (domnio de f ) para um conjunto
Y (contradomnio ou co-domnio de f ), denotado por f : X 7 Y
f

ou X 7 Y , define uma correspondencia entre os elementos de X e

aqueles de Y , de forma que (1) todos os elementos de X participem
X
e (2) para cada elemento de X corresponda um unico elemento de Y .
f(X)
De maneira mais formal pode-se dizer que para os conjuntos X e Y ,
f e uma relacao entre X e Y , tal que f define um produto cartesiano
X Y , onde o domnio de f ({x X | (x, y) f para y Y })
Figura 1.4: O mapa f relaciona

o existir se y = y .
todos os elementos do conjunto X seja X, e (x, y) f e (x, y ) f s
em y = f (x) ou x 7 f (x) ou
com os elementos de um subcon- Se x X e y Y , escreve-se tamb
f
junto de Y , f (X) (denominado de x 7
y, onde f (x) e a imagem de x sob f , e, pela definicao, cada
alcance de X).
x X so pode ter uma u
nica imagem. Se os mapas f : X 7 Y e
B
AxB
g : X 7 Y sao iguais somente se f (x) = g(x) para x X.
Se A X, o conjunto de pontos f (A) = {f (x) | x A} e
f(x)
denominado de imagem de A. De forma semelhante, sendo B
f (X), o conjunto de todos os elementos em X cujas imagens sao
elementos de B Y , i.e., f 1 (B) = {x X | f (x) B} e
a imagem inversa ou(pre-imagem de B. Por ex.: sin1 0 =
) {n}
x
A
1

5
ou sin1 ([0, ]) = [0, + 2n] [
+ 2n, (2n + 1)] , onde
2
6
6
Figura 1.5: O mapa f : A 7 B e
representado pela curva contnua. A n Z,.
Um mapa cujo contradomnio e o conjunto dos n
umeros reais,
curva tracejada representa um subconjunto de A B que nao pode ser R, ou o conjunto dos n
umeros complexos, C, e comumente chamado
considerado um mapa.
de funcao.
Um mapa que se aplica a todos os conjuntos A
e o mapa identidade, idA : A 7 A, onde idA (a) =
a, a A.
Y
f
Z
O grafico f de uma mapa f : A 7
g
B e um subconjunto de A B, definido por
X
f(X)
{(a, f (a)) | a A} AB. Quando A = B = R
g(Y)
f se reduz a graficos utilizados comumente, onde
A B representam pontos no plano xy.

g f

Figura 1.6: A composicao (g f ) de f : X 7 Y e 7

g : Y 7 Z.

Sejam f : X 7 Y e g : Y 7 Z. O mapeamento h : X 7 Z, em que h(x) = g(f (x)) e chamado de

composicao de f e g e denotado por h = gf (onde a ordem de aplicacao dos mapas e da direita para
a esquerda). Para o mapa identidade, f idX = f = idY f , pois f (idX (x)) = f (x) = y = idY (f (x)).
Se f (x1 ) = f (x2 ) implica em x1 = x2 f e injetiva ou biunvoca ou 1 1 (um-para-um). Neste
caso, cada elemento de X corresponde a um u
nico elemento de Y .
Se f (X) = Y , ou seja, a imagem de X e o proprio contradomnio, o mapa e dito sobrejetivo ou
sobre Y (onto Y ).
Se f (X) = Y for tanto injetivo como sobrejetivo, diz-se que f e bijetivo ou que possui correspondencia biunvoca ou correspondencia um-para-um.
Devido a f : X 7 Y ser definida por uma regra, um domnio e
um contradomnio, f ser injetiva, sobrejetiva ou bijetiva depende do
domnio e do contradomnio. Por exemplo:
Y
x1
f(x1 )
X x2
f(x2 )
x3
f : R 7 R, com f (x) = x3 e bijetiva.
f(x3 )
g : R 7 (1, +1), com f (x) = tanh(x) e bijetiva.

f injetiva

f1 : R 7 R, com f1 (x) = x2 nao e injetiva, nem sobrejetiva.

f(x1 )

x
X x21
x3

f(x2 )=f(x3 )

f sobrejetiva
Y

x
X x21
x3

f(x1 )
f(x2 )
f(x3 )

f2 : R 7 R+ , com f2 (x) = x2 e R+ = [0, ) e sobrejetiva.

f3 : R+ 7 R, com f3 (x) = x2 e injetiva.
f4 : R+ 7 R+ , com f4 (x) = x2 e bijetiva.
det : Mnn 7 R, onde Mnn e o conjunto das matrizes n n.
det(A) = detA, que e o determinante da matriz A Mnn , e
sobrejetiva.
w : C 7 R, com w(z) = |z| nao e injetiva, nem sobrejetiva.
Note que w1 (1) representa os pontos de uma circunferencia de
raio 1.

f bijetiva
Dois conjuntos que possuem correspondencia biunoca tem o mesmo
Figura 1.7: Representacao es- numero de elementos.
quematica de mapas injetivo, soSeja f : X 7 Y bijetiva. Para cada y Y existe somente um
brejetivo e bijetivo.
elemento x X, no qual y = f (x). Logo, existe o mapa inverso
f 1 : Y 7 X, onde f 1 (y) = x. Este mapa satisfaz f f 1 = f (f 1 (y)) = idY e f 1 f =
f 1 (f (x)) = idX . Por exemplo, ln1 =
exp, pois ln(ex ) = x, enquanto
exp1 =ln, pois eln x = x.

3
3
3
Da mesma forma, a funcao inversa de x e x e vice-versa, pois x3 = x e ( 3 x)3 = x. Se f e
g sao bijetivas e com mapas inversos f 1 e g 1 , entao a composicao g f possui inversa dada por
(g f )1 = f 1 g 1 . Por exemplo, digamos que f : R 7 R, onde f (x) = x3 , e g : R 7 R, com
g(w) = y +
1. h = g f : R 7 R e dada por w = h(x) = x3 + 1. A funcaoinversa de h e dada por

h1 (w) = 3 w 1 que e f 1 g 1 , pois f 1 (y) = 3 y e g 1 (w) = w 1.

Dado um mapa f : X 7 Y , uma relacao de equivalencia pode ser definida da seguinte maneira:
x1 x2 se f (x1 ) = f (x2 ). A propriedade de reflexao e satisfeita porque x1 X, tem-se que
f (x1 ) = f (x1 ). Possui tambem simetria, pois para x1 e x2 X, tem-se f (x1 ) = f (x2 ) e f (x2 ) =
8

f (x1 ), portanto x1 x2 implica em x2 x1 . Essa relacao e transitiva, pois para x1 , x2 e x3 X,

f (x1 ) = f (x2 ) = f (x3 ). Logo, se x1 x2 e x2 x3 , x1 x3 . Cada classe de equivalencia de x
definida por essa relacao de equivalencia, JxK, e um subconjunto de X que aponta para um mesmo
elemento em Y (lembre que para f ser mapa, so pode haver um elemento de Y correspondente a um
X
elemento de X). Desta forma, JxK = f 1 (f (x)). Correspondente a f existe um mapa f :
7 Y ,

dado por f(JxK) = f (x), injetivo, porque se f(Jx1 K) = f(Jx2 K) , entao f (x1 ) = f (x2 ), e x1 e
X
x2 Jx1 K = Jx2 K. Como tambem k Jxk K = X, f :
7 f (X) e bijetiva.

Como exemplos de mapas cujos domnios sao produtos cartesianos, f : X X 7 Y , temos

X = R e f dada pelo produto interno entre vetores, f (a, b) = a b. Se Y = X, f e denominada
de operacao binaria, onde um elemento em X esta associado a dois elementos em X. Se X = Z,
f : Z Z 7 Z, onde f (m, n) = mn e a operacao binaria de multiplicacao entre inteiros. Se
g : C2 7 C, g(x, y) = x + y e a operacao binaria de adicao de n
umeros complexos.

1.6

Espacos M
etricos

Estruturas algebricas adicionadas a um conjunto torna-se um ramo da matematica, chamado de

algebra. Quando a operacao binaria de adicao (com as propriedades de associatividade, comutatividade, existencia de um u
nico elemento neutro e existencia de um u
nico elemento oposto a um
dado elemento, tal que a adicao de ambos resulte no elemento neutro, entre outras propriedades) e
introduzida em em conjunto R tem-se um espaco vetorial real. Um grupo e um conjunto que entre
outras propriedades, possui a operacao binaria de multiplicacao. Desta forma, conjuntos com estruturas passam a ter propriedades que sao uteis para a descricao de fenomenos naturais. Por exemplo,
grupos discretos sao importantes para a descricao de redes cristalinas em solidos ou de estruturas
moleculares, enquanto que grupos contnuos aparecem como geradores de rotacoes espaciais.
Quando a analise e abstrada utilizando-se o conceito de conjuntos, tem-se a topologia. Nesta, e
de fundamental importancia o conceito de continuidade. No que se segue, adotarei a forma intuituiva
com que o [Hassani] aborda os conceitos de limite e continuidade. Para aqueles que estiverem
interessados em um maneira mais formal, ver [ElonLages].
Diz-se que um espaco metrico e um conjunto X que possui uma funcao d : X X 7 R, chamada
de metrica, a qual possui as seguintes propriedades:
(a) d(x, y) 0, x, y X, sendo d(x, y) = 0 sse x = y.
(b) d(x, y) = d(y, x). (simetria)
(c) d(x, y) d(x, z) + d(z, y). (desigualdade triangular)
Ou seja, e um conjunto X onde esta definida uma nocao de distancia, d(x, y). Este conceito de
distancia data de Seculo XIX, o que Minkowski denominou de geometria dos n
umeros (entretanto,
Minkowski nem sempre exigiu que o item (b) fosse satisfeito).
Um espaco vetorial linear normalizado possui as seguintes condicoes:

A definicao de espaco vetorial sera vista em maiores detalhes na proxima unidade. Resumidamente, um espaco
vetorial e um conjunto V (constitudo por elementos chamados de vetores) em que duas operacoes estao definidas: a
adicao entre dois vetores, tal que x + y V , e a multiplicacao por um escalar, R ou C, tal que x V . A

1. Para cada x X existe um n

umero ||x|| 0, tal que ||x|| = 0 se e somente se x = 0.
2. ||x|| = || ||x|| para C.
3. ||x + y|| ||x|| + ||y||.
Se d(x, y) = |x y|, o espaco vetorial linear se torna espaco metrico.
Exemplos de espacos metricos:
1. Seja R, onde d(x, y) = |x y|. Tem-se (a) |x y| > 0,
x, y Q e |xx| = 0 e (b) |xy| = |y x|. A desigualdade
triangular (c) e satisfeita, pois se w = x z e v = z y, e
sabendo que |w + v| |w| + |v| , entao |x z + z y| =
|x y| |x z| + |z y|.

2. Seja Q, onde d(x, y) = |x y|.

3. Seja {P = (x, y z) | (x, y z) R3 e x2 + y 2 + z 2 = 1} o
conjunto de pontos sobre a superfcie de uma esfera de raio
1. Uma possvel funcao d(P, Q) e dada pela corda que une
os pontos P e Q, conforme mostrado na parte superior da
Fig. 1.8.
4. Seja {P } o conjunto de pontos sobre a superfcie de uma esfera de raio 1. Uma outra definicao possvel diz-que d(P, Q)
e o comprimento de arco que une P e Q (geodesica na superfcie da esfera, i.e., parte da circunferencia formada pela
intersecao entre a superfcie da esfera e o plano que passa por
P , Q e o centro da esfera, vide a Fig. 1.8, parte inferior).

S
P

5. O C 0 [a, b] o conjunto de funcoes contnuas reais no intervalo Figura 1.8: Pontos P , Q e

b
fechado [a, b] onde e definida a funcao d(f, g) = a |f (x) S na superfcie de uma esfera,
g(x)|dx, f e g C 0 [a, b]. Neste caso, temos que, por |f com a metrica definida como uma

distancia d (linhas espessas) entre

dois pontos. Na parte superior, d
adicao deve apresentar as seguintes propriedades:
e definida como o comprimento a
1. x + y = y + x, x e y V . (Comutatividade)
corda que une dois pontos, enquanto
que, na parte inferior, d e dada pelo
2. (x + y) + z = x + (y + z), x, y e y V . (Associatividade)
comprimento de arco sobre a esfera
3. Existe um vetor zero V que satisfaz 0 + x = x, x V .
que conecta estes pontos.
4. Para cada x V existe um simetrico de x, x V , tal que x + (x) = 0.
Enquanto que a multiplicac
ao:
1. (x + y) = y + x, x e y V .
2. ( + )x = x + x, x V .
3. (x) = ()x, x V ..
4. 1 x = x, x V .

Verifique |x| x |x| e |y| y |y|. Da adicao, |x||y| x+y |x|+|y|, o que significa |x+y| |x|+|y|

10

b
b
g| 0
|f g|dx 0, onde se a |f g|dx = 0,implica em f = g. A propriedade
a
b
b
de simetria segue do fato de |f g| = |g f | e, portanto, a |f g|dx = a |g f |dx. A
desigualdade triangular e verificada pois (utilizando |w + v| |w| + |v|)

|f h|dx +
a

|h g|dx =
a

(|f h| + |h g|)dx
a

(|f h + h g|)dx =
a

|f g|dx,
a

logo, d(f, h) + d(h, g) = d(f, g).

Uma sequencia e definida como um mapeamento s : N 7 X, onde X e um conjunto. Aqui
estaremos interessados nos casos em que X for um espaco metrico. Neste mapeamento, um n
umero
natural n e associado a um elemento s(n) = xn (n-esimo termo da sequencia) do espaco metrico X.
O conjunto de termos desta sequencia e denotado por {xn }
n=1 .
Considere uma sequencia, conforme definida acima. Suponha que, para um elemento x X e
para qualquer n
umero > 0, onde R, exista um n
umero natural N tal que d(xn , x) < para
qualquer n > N . Portanto, pode-se afirmar que a sequencia {xn }
n+1 converge ou tende para x e
que limn d(xn , x) 0, ou limn xn x. Um sequencia que tem um limite e chamada de
convergente. Se nao possuir limite, e divergente.
De acordo com [ElonLages]: lim xn = x significa que existe um numero natural N , tal que n > N
implica em d(xn , x) < para todo n
umero real positivo .
Desta forma, se limn xn x, o conjunto de elementos x do espaco metrico X que estiverem
a uma distancia d(x , x) < de x contem todos os termos da sequencia {xn }
n=1 , exceto por, no
maximo, um n
umero finito de termos.
Se, por exemplo, X = R com d(x, x ) = |xx |, pode-se verificar que em um intervalo (x, x+),
uma sequencia que tende para x possui todos os seus termos dentro deste intervalo, exceto um
n
umero finito desses termos. Para tornar o exemplo mais especfico, digamos que uma sequencia

1 tn+1
tenha seus termos dados por xn = nk=0 tk , onde 0 < t < 1. Sabemos que xn =
e que
1t
1
limn tn 0 se |t| < 1 . Deste modo, limn xn
. Observe que essa e uma sequencia
1t
n+1
n+1
monotona crescente, pois xn+1 xn( = t
> xn e limitada porque os
) xn+1 = xn + t
1
termos estao restritos ao intervalo 1,
. Logo, para > 0, nao ha termos da sequencia em
1t
(
)
(
)
1
1
1
1
,
+ e os termos da sequencia que n
ao estao em
,
sao aqueles que
1t 1t
1t
1t

Por si so, tk = tk pode ser considerado o kesimo termo da sequencia {tk }

e uma sequencia
k=1 , para t < 1. Esta
limitada, pois todos os seus termos encontram-se no intervalo (0, t), se 0 < t < 1 (ou em (|t|, |t|) se 1 < t < 0).
monotona decrescente para 0 < t < 1, porque tk+1 < tk . Ja para 1 < t < 0, a sequencia nao e monotona, pois
E
alterna termos positivos e negativos, mas pode ser tratada como duas subsequencias. Isto porque quando k for par,
tem-se uma subsequencia (uma restric
ao da sequencia para termos atrelados a um subconjunto infinito de N) limitada
(com termos entre 0 e 1) e decrescente {(t2 )k }
mpar, ha outra subsequencia, limitada
k=1 , enquanto que se k for
encia converge, tomemos |tk t | < .
(com termos entre 1 e 0) e crescente, {t (t2 )k }
k=1 . Para saber se esta sequ
Para 0 < t < 1, temos que 0 < tk = tk < t + . Logo, para um k maior do que um dado n
umero natural N
os termos da sequencia pertencem a esse intervalo (devido a monoticidade decrescente e ser limitada). Portanto, a
sequencia converge para limn xn 0. Se 1 < t < 0, a subsequencia para k = 2p, p N, esta no intervalo
0 < t2p = (t2 )p < t + , enquanto que a subsequencia para k = 2p + 1 esta no intervalo t < t2p+1 = t (t2 )p < 0.
As mesmas conclusoes podem ser encontradas para cada uma das subsequencias, e a sequencia converge.

11

1
1 tn +1
tn +1

satisfazem
>
tn +1 (1 t) > 0 <
. Portanto, para um dado
1t
1t
1t

valor de existem
um n
umero)n finito de termos (da sequencia convergente) que nao pertencem
(
1
1
ao intervalo
,
e um n
umero infinito de termos que pertecem a esse intervalo.
1t
1t
n
Considere outra sequencia, dada por {sn }
n=1 , onde sn = 1 (1) , ou seja, tem-se duas sub
sequencias: uma para n = 2k, {0}
k=1 , e outra para n = 2k + 1, {2}k=1 . Apesar de serem limitadas

cada uma, a sequencia {sn }n=1 nao converge, porque as suas subsequencias, {0}
k=1 e {2}k=1 , tendem
a limites diferentes, limk s2k 0 e limk s2k+1 2, respectivamente.
Pode-se dizer que toda sequencia convergente e limitada, mas nem toda sequencia limitada e convergente.
Se uma sequencia {sn }
ao
n=1 possuir dois limites, e.g., limn sn sa e limn sn sb , ent
sa = sb ? Considere d(sa , sb ) = 2 > 0. Como limn sn sa , existe um N N d(sn , sa ) < ,
n > N . Se limn sn sb tem-se tambem d(sn , sb ) < . Portanto, d(sn , sa ) + d(sn , sb ) < 2.
Porem, pela desigualdade triangular, d(sa , sn ) + d(sn , sb ) d(sa , sb ) = 2, o que e inconsistente com
d(sn , sa ) + d(sn , sb ) < 2. Logo, limn sn sa e limn sn sb implica em sa = sb e a unicidade
do limite e verificada.
Uma sequencia de Cauchy e uma sequencia em que existe
um N N para o qual n > N e m > N que implica em
d(xm , xn ) < , para um arbitrario. Isto quer dizer que
limm, n d(xm , xn ) 0 em uma sequencia de Cauchy. A
Fig. 1.9 mostra uma representacao grafica de uma sequencia
de Cauchy em um espaco metrico X com metrica definida como
n
o comprimento do segmento que une dois pontos.
Voltemos ao exemplo da sequencia {xn }
co X =
n=1 no espa
R comd(x, x ) = |x x |, que tenha seus termos dados por
xn = nk=0 tk , onde tem-se {t|t R e 0 < t < 1}. Vimos que
1
limn xn
.
1t
Para n, m tal que n e m > N (N N), tem-se que |xn+1
|tn+1 (1 tmn ) |
1
xm+1 | =
, e existe > |xn xm |. Logo,
|1 t|
limm, n |xn xm | 0 e a esta e uma sequencia de Cauchy.
1
Figura 1.9:
Representacao esAlem disto, a sequencia converge, pois limn xn
Q. quematica de uma sequencia de Cauchy
1t
(pontos, onde setas conectam os terEntretanto, considere uma outra sequencia, {qn }
n=1 para
mos xn e xn+1 ) em um espaco metrico
k+1
n (t)
X
com metrica dada pelo comprimento

Q,
em
que
t
=
1.
com
qn =
k=1
k
do segmento que liga dois pontos. As

metrica d(q, q ) = |q q |.
Tem-se que d(qm , qn ) = circunferencias representam discos de
k+1
k+1

n (1)
n
(1)
(1)k+1
| m

|
=
|
| = diametro arbitrario . Percebe-se que,
k=1
k=1
k=m+1
para um dado valor de , existe um
k
k
k
j+1

n
umero N N a partir do qual to(1)
|(1)m nm
|, supondo n > m (devido `a propriedade dos os pontos seguintes (n > N ) da
j=1
j+m
de simetria da metrica, o resultado para n < m seria o mesmo). sequencia estao contidos em um deter

minado disco.

12

Considere a serie em que n m = 2N (deixando de lado o termo (1)m , por enquanto). Temos
s2N =

N (

p=1

1
1

m + 2p 1 m + 2p

e em que n m = 2N + 1, temos

=
1 + m p=1
N

s2N +1

1
1

m + 2p m + 2p + 1

Observe que s2 < . . . < s2N < s2N +2 , enquanto que s1 > . . . > s2N 1 > s2N +1 . Mas s2N +1 s2N =
1/(m + 2N + 1), e limN s2N = limN s2N +1 . Logo, se n m , N e d(qm , qn ) =
(1)m (s2N +1 s2N ) = (1)m /(m + 2N + 1) 0. Entretanto, sabe-se que limn qn ln(1 + 1) =
ln(2) R. Mas, sendo o espaco metrico definido em Q, este limite nao esta definido e, portanto,
a sequencia nao converge (i.e., existe sequencia de Cauchy, mas esta nao converge).

Outro exemplo: nao existe n

umero racional q tal que q 2 = 2 , no entanto, 2 pode ser descrita
como uma sequencia de Cauchy de n
umeros racionais, com metrica d(xm , xn ) = |xm xn |. Primeiro,
o metodo das aproximacoes sucessivas fornece que, se uma sequencia {xn }
n possui a propriedade que
|xn+2 xn+1 | |xn+1 xn |, para 0 1 e n N, essa e uma sequencia de Cauchy. Isto pode
ser mostrado pelo seguinte: para n e m = n + p N
|xn+p xn | |xn+p xn+p1 | + |xn+p2 xn+p3 | + . . . + |xn xn1 |
|xn+p1 xn+p2 | + |xn+p3 xn+p4 | + . . . + |xn xn1 |
( n+p2
)

+ n+p3 + . . . + n1 |x2 x1 |
( p1
)

+ p2 + . . . + 1 n1 |x2 x1 |
(
)
1 p
n1
=
n1 |x2 x1 |
|x2 x1 |
1
1

d(xm , xn ) =

n1
|x2 x1 | 0, a sequencia definida de modo que |xn+2 xn+1 | |xn+1 xn |,
1
1(
a)
para 0 1 e n N e sequencia de Cauchy. A sequencia tal que xn+1 =
xn +
obedece a
2
2
esta propriedade, pois
(
)
(
)
1
a
a
1
a
1
xn+2 xn+1 =
xn+1 xn +

= (xn+1 xn ) 1
(xn+1 xn )
2
xn+1 xn
2
xn xn+1
2
Como limn

)
(
n (x)k
para a funcao logaritmo de argumento 1 + x. Para
k=1
k
x dt
x k

xk+1
1
isto, basta verificar que n=0 xn =
e que ln(1 x) = 0
= 0
, onde
k=0 t =
k=0
1x
1t
k+1

k
+1
(x)
utilizou-se que a serie converge. Fazendo x x e k = k + 1, ln(1 + x) = k =1
. Esta serie converge se
k
1 < x 1(ver [1.511][Gradshteyn]).
( m )2

= 2, onde m e n Z, ter-se-ia m2 = 2n2 . Deste modo, pela decomposicao u

nica
Isto porque se houvesse
n
2
de qualquer n
umero natural em fatores primos, 2 deveria aparecer um n
umero par de vezes tanto em n , como em
( m )2
m
2
2
2
m . Mas isto invalida a igualdade m = 2n . Logo, nao pode existir
Q tal que
= 2.
n
n

Esta e a expansao em series de Taylor

13

Portanto, (esta sequ

encia e de Cauchy. Observe que o limite x desta sequencia e dado por x =

1
a)
a
xn+1 =
x+
2x x =
x2 = a. Logo, se a = 2, limn xn = x 2
/ Q. Neste
2
x
x
caso, tem-se uma sequencia de Cauchy que nao converge no espaco metrico Q.
Um espaco metrico em que toda sequencia de Cauchy converge e denominado de espaco metrico
completo. Portanto, Q nao pode ser um espaco metrico completo. Entretanto, se os pontos limites
de todas as sequencias de Cauchy do conjunto Q (os quais chamamos de n
umeros irracionais, RQ)
forem adicionados, este conjunto se torna um espaco metrico completo. Este conjunto e o conjunto
dos n
umeros reais, R.

1.7

Cardinalidade

O conceito de cardinalidade esta associado ao da contagem do n

umero de elementos de um conjunto.
Logo, a cardinalidade de e igual a 0, [pode-se escrever card() = 0], enquanto que a de um
conjunto unitario e igual a 1. Esta contagem e feita ao se comparar um conjunto com um outro
de referencia, do qual se conhece a cardinalidade. Desta forma, e necessaria uma correspondencia
biunvoca (relacao bijetiva) entre os dois conjuntos. Por exemplo, AN = {1, 2 . . . , N } e um
conjunto composto pelos primeiros N n
umeros naturais, finito, possuindo N elementos e card(AN ) =
N . Qualquer outro conjunto em que existe uma relacao bijetiva com AN possui cardinalidade N .
Diz-se que um conjunto A e enumeravel em duas situacoes: quando e finito ou ha uma bijecao
entre A e N. Neste u
ltimo caso, A e um conjunto infinito enumeravel. Uma bijecao que mapeia N
em A, f : N 7 A e denominada de uma enumeracao dos elementos de A.
Alguns exemplos de conjuntos infinitos enumeraveis:
EA = {a N | a = 2n, n N}, ou seja, o conjunto dos n
umeros naturais pares. A bijecao
fE : N 7 EA , dada por fE (n) = a = 2n mostra que card(EA ) = card(N). Portanto, EA e
infinito enumeravel.
Pode-se dizer o mesmo de OA = {a N | a = 2n 1, n N}, ou seja, o conjunto dos n
umeros
naturais mpares, pois existe uma bijecao fO : N 7 OA , dada por fO (n) = a = 2n 1 de
modo que card(OA ) = card(N). Portanto, OA e infinito enumeravel.
Z, pois existe uma bijecao f : Z 7 N, dada por f = 2p, para p > 0, e f = 1 2p, para p 0.
Logo, f 1 : N 7 Z e uma correspondencia biunvoca e, portanto, Z e infinito enumeravel.
P = {p N | p = 1 e p = mn, m, n N}, i.e., o conjunto dos n
umeros primos. Este conjunto possui n
umero infinito de elementos, conforme demonstrado por Euclides . O conjunto
dos n
umeros primos P e numeravel, porque existe mapeamento bijetivo entre N e P .
n
Considere um conjunto finito de n
umeros primos Pn = {p1 , p2 , . . . , pn }. Seja = j=1 pj o produto destes n
n
umeros primos. Tome m = + 1. Se m for primo, entao existe um n
umero primo a mais do que inicialmente. Se
nao for primo, m deve ser divisvel por algum n
umero primo p
/ Pn . Se p Pn , seria divisvel por p tambem.
Mas p divide m = + 1. Desta forma, m = 1 seria divisvel por p. Como nenhum n
umero primo divide 1, ha
um acontradic
ao e, ent
ao, p
/ Pn . Ou seja, ha um n
umero primo p ausente do conjunto inicial Pn . Como Pn e um
conjunto qualquer finito de n
umeros primos, sempre havera um n
umero primo
/ Pn . Logo, o conjunto dos n
umeros
primos e infinito (ver Wikipedia).

14

O conjunto composto pelos nveis de energia dos estados ligados do atomo de hidrogenio.
Pode-se verificar, da solucao da equacao de Schrodinger para um eletron submetido a um
potencial Coulombiano r1 , que os autovalores de energia dos estados ligados do sis13, 6
tema sao dados por En = 2 eV, onde n = 1, 2, 3 . . . e o numero quantico principal. En
n
mapeia N biunivocamente nos autovalores discretos de energia dos estados ligados do atomo
de hidrogenio.
Teoremas que dizem respeito aos conjuntos enumeraveis (com demonstracoes) podem ser encontrados em [ElonLages]. Por exemplo, todo conjunto infinito possui um subconjunto infinito
enumeravel. Como evidencia, basta lembrar que N R. Tambem pode-se afirmar que um conjunto
finito A nao admite bijecao sobre um subconjunto proprio B, i.e., dado B A, com A B = ,
nao existe funcao biunvoca f : A 7 B. Esta sentenca serve como definicao para conjunto finito.
Isto quer dizer tambem que um conjunto C e infinito se, e somente se, existe uma bijecao entre
entre C e um subconjunto proprio D de C. Segue que todo subconjunto A de N e enumeravel, pois,
se for finito, e enumeravel e, se infinito, pode-se construir um mapeamento bijetivo entre A e N.
Sendo assim, para todo conjunto infinito X, card(N) card(X), onde a igualdade se verifica se X
for enumeravel.
Sejam dois conjuntos X e Y . Se Y for enumeravel e houver f : X 7 Y injetiva, X e enumeravel.
Isto significa que um subconjunto de um conjunto enumeravel tambem e enumeravel.
Por outro lado, se X for enumeravel e existir um mapeamento g : X 7 Y sobrejetivo, entao Y e
enumeravel.
Pode-se afirmar que, dados X e Y conjuntos enumeraveis, o produto cartesiano X Y e enumeravel. Por existirem f : X 7 N e g : Y 7 N injetivas, h : X Y 7 N N tambem e injetiva.
Como X Y N N, entao se N N for enumeravel, X Y tambem sera. Considerando um
mapeamento : N N 7 N, onde (m, n) = pm q n , sendo p = q primos, o teorema fundamental
da aritmetica afirma que a decomposicao de um n
umero natural em fatores primos e u
nica. Logo,
e injetiva e N N enumeravel, donde segue que X Y tambem e enumeravel.
A partir do fato de o produto cartesiano de conjuntos enumeraveis ser enumeravel, pode-se
mostrar que o conjunto dos n
umeros racionais Q tambem e enumeravel. Seja um mapeamento
m

q : Z Z 7 Q, onde q(m, n) =
e onde Z = Z {0}. Verifique que Z Z e enumeravel,
n
pois, tanto Z, quanto Z sao enumeraveis. q = m/n e sobrejetiva. Logo, se Z Z e enumeravel, Q
tambem sera enumeravel.
Outra consequencia e que existem tantos n
umeros racionais em Q como em (0, 1).
Por fim, pode-se mostrar que, dados os conjuntos Xj , com j = 1, 2, . . . enumeraveis,
j=1 Xj
e enumeravel. Tem-se tambem que X1 X2 . . . Xn , para n finito, e enumeravel. Isto nao e
necessariamente verdadeiro se o produto cartesiano
envolver um n
umero infinito de conjuntos Xj

X
n
a
o

e
enumer
a
vel
. Desta forma, o conjunto de
enumeraveis. De fato, o produto cartesiano
j
j=1

Isto e consequencia do teorema devido a Cantor [ElonLages, p.42] que diz que nao existe g : X 7 F (X; Y )
sobrejetiva, onde X e um conjunto qualquer, Y um conjunto contendo pelo menos dois elementos e F (X; Y ) e o
conjunto de todas as func
oes f : X 7 Y . Isto porque pode-se construir funcoes de X para Y , g1 (x) e g2 (x), para
x X, em que g1 (x) = g2 (x) x X, pois para cada g1 (x) Y um outro elemento g2 (x) Y pode ser escolhido em
um conjunto Y com pelo menos dois elementos. Como g1 (x) = g2 (x) x X g1 nao e sobrejetiva. Alem disso, se
existir f : A7 B injetiva, mas nao existir f : A 7 B sobrejetiva,
card(A) < card(B). Desta forma, sendo Xj = N e

F (N, N) = j=1 Xj , como nao existe f : N 7 F (N, N), j=1 Xj e nao-enumeravel.

15

todas as listas infinitas enumeraveis de algarismos entre 0 e 9 ([ElonLages] exemplifica os algarismos

0 e 1) nao e enumeravel.
Conjuntos que nao sao finitos, nem finitos enumeraveis, sao chamados de conjuntos (infinitos)
nao-enumeraveis. Por exemplo, o conjunto dos n
umeros reais R e nao-enumeravel. Dissemos que este
conjunto pode ser construido incorporando ao conjunto Q de todas as sequencias de Cauchy em Q.
Pode-se mostra que o conjunto dos n
umeros reais e nao enumeravel, pois dado qualquer conjunto
enumeravel A = xn R | n N R pode-se encontrar um n
umero real x
/ A (demosntracao
em [ElonLages, Pag.68]). Da mesma forma, qualquer intervalo (a, b) R e nao enumeravel .
Consequentemente, o conjunto dos n
umeros irracionais R Q e nao enumer
a)
vel.
(
1 2
, restando os inter,
Seja um intervalo real, por exemplo, [0, 1]. Retira-se o intervalo
3 3
[
] [ ]
1
2
valos 0,
e
1 . A cada iteracao retiram-se intervalos abertos correspondentes a terca parte
3
3
intermediaria dos intervalos restantes da iteracao anterior. Tem-se, portanto,
0 :7 [0, 1]
[
] [ ]
1
2
1 :7 0,

1
3
3
[
] [
] [
] [ ]
2 1
2 7
8
1
2 :7 0,
,
,

1
9
9 3
3 9
9
[
] [
] [
] [
] [
] [
] [
] [
]
1
2 1
2 7
8 1
2 19
20 7
8 25
26
3 :7 0,

,
,

,
,

,
,

,1
27
27 9
9 27
27 3
3 27
27 9
9 27
27
..
..
.
.
O conjunto de Cantor e definido conforme acima prosseguindo indefinidamente. Pode-se mostrar
que este conjunto e nao-enumeravel [Hassani].

1.8

Conjuntos de Pontos Geom

etricos

O conjunto de pontos sobre uma reta contnua pode ser mapeado no conjunto dos n
umeros reais
(de fato, R e muitas vezes exemplificado como o conjunto de pontos em uma reta). O conjunto
de pontos no interior de uma curva fechada pode ser mapeado em um subconjunto de R2 ou de
C. Os pontos dentro de uma superfcie fechada pertecem a um subconjunto de R3 . Todos estes
conjuntos sao nao-enumeraveis. Nestes conjuntos pode-se definir o conceito de vizinhanca de um
ponto utilizando o conceito de distancia (ou metrica) definida no espaco metrico (ver [Dennery]).
Desta maneira, sejam dois pontos p e p Rn , onde n = 1, 2 ou 3, e d(p, p ) a distancia entre esses

Verifica-se isto atraves da func

ao f : (0, 1) 7 (a, b), dada por f (x) = (b a)x + a. Esta e uma funcao bijetiva
e o intervalo (0, 1) e nao enumer
avel.

De acordo com [DAmbrosio], um sistema de vizinhancas de um elemento x X e uma colecao nao vazia de
subconjuntos de X, V(x), que satisfazem
1. Se V V(x), ent
ao x V
2. U X, se existir V V(x) tal que V U , entao U V(x).
3. Dados U, V V(x), tem-se U V V(x)

16

pontos (se a metrica for euclideana, d(p, p ) =

n
j=1 (xj

xj )2 , onde xj e xj sao as componentes

de p e p em Rn ). Uma vizinhanca de p pode ser definida como o conjunto de pontos p tal que
d(p, p ) < , onde > 0 e arbitrario. Diz-se que, dado um conjunto P de pontos geometricos, que
Se existir alguma vizinhanca de p P que nao possua nenhum outro ponto p = p, onde
p P , p e classificado como ponto isolado do conjunto P . Por exemplo, na Fig. 1.9 se
considerarmos o conjunto S formado somente pelos pontos da sequencia, o ponto x1 e um
ponto isolado.
Um ponto p do qual toda vizinhanca deste ponto possui ao menos um ponto p P e chamado
de ponto de acummulacao do conjunto P . Por exemplo, na Fig. 1.9 se considerarmos o conjunto
S formado somente pelos pontos da sequencia, o limn xn e um ponto de acumulacao. Um
ponto de acumulacao de um conjunto nao necessariamente pertence a este conjunto.
Se p for ponto de acumulacao, pode-se ter que todos os pontos p de uma vizinhanca de p
pertencam a P . Neste caso p e denominado ponto interior do conjunto P . Portanto, todo
ponto interior de um conjunto e tambem ponto de acumulacao deste conjunto, embora
o inverso nao seja verdadeiro.
A classificacao de pontos geometricos pode ser utilizada para classificar dois tipos de conjutos:
Um conjunto e um conjunto aberto quando todos os seus pontos sao pontos interiores. Por
exemplo, os pontos x R no intervalo (0, 1) formam um conjunto aberto, pois tanto 0 quanto
1 sao pontos de acumulacao deste intervalo.
Um conjunto e um conjunto fechado quando todos os seus pontos de acumulacao pertencem
ao conjunto. Logo, [0, 1] e um conjunto fechado.
Existem casos em que um conjunto nao e aberto, nem fechado. Por exemplo, o conjunto de pontos
X = {(x1 , x2 , x3 ) R3 | x21 + x22 + x23 < 1} e conjunto aberto. Se sao includos todos os pontos
de acumulacao, em que x21 + x22 + x23 = 1, o conjunto se torna fechado. Entretanto, se alguns (nao
todos) os pontos de acumulacao de X ou pontos isolados de X forem adicionados a X, o conjunto
nao e aberto, nem fechado.
4. U V(x), tem-se que existe V V(x) tal que U V(y) y V
Esta definicao bastante abstrata pode ser aplicada ao caso de X = R, onde para x R, V(x) sao subconjuntos de
R que contem (x , x + ), para > 0 arbitrario. Pode-se mostrar que esta definicao de vizinhanca esta de acordo
com os pressupostos acima.
Um conjunto X e denominado espaco topologico quando existe um mapa T : X 7 P (X), onde P (X) e a colecao
de subconjuntos de X, de modo que para cada x X corresponde os sistema de vizninhancas V. T e chamada de
uma topologia sobre X, onde o conjunto X e o suporte do espaco topologico X.
A um espaco metrico pode-se ter uma topologia derivada da metrica do espaco. Entretanto, dado um espaco
topologico com topologia T , nem sempre e possvel ter uma metrica neste espaco de modo que topologia derivada
seja T . Um espaco topologico em que e possivel encontrar metrica da qual a topologia derivada seja a propria
topologia do espaco e chamado de metrizavel.
Quando dois pontos distintos arbitrarios x = y X (X e espaco topologico) existem conjuntos abertos (A e B)
em que x A X e y B X tal que A B = (A e B disjuntos) X e chamado de espaco topologico de Hausdor.
Todo espaco metrizavel e de Hausdor, embora a recproca nao seja verdadeira (vide [ElonETG, Pag.62]).

17

Se todos os pontos de um conjunto sao pontos isolados, o conjunto e enumeravel. Por outro
lado, se X R for fechado, nao-vazio e sem pontos isolados, X e nao enumeravel (demonstracao
na [ElonLages, Pag.141]). Desta forma, o conjunto de Cantor e nao-enumeravel.
Define-se uma regiao como um conjunto de pontos X aberto,
no qual quaisquer dois pontos x1 e x2 X podem ser conectados
por uma curva contnua c, cujos pontos estao todos contidos em
X (i.e., c X), conforme mostra a Fig. 1.10.

1.9

N
umeros Reais

O conjunto dos n
umeros reais pode ser definido como um corpo Figura 1.10: Exemplo de duas regioes
ordenado completo. A unicidade de R e verificada quando sao distintas. As curvas contnuas (verdes)
consideradas as propriedades de corpos ordenados completos, conectam pontos pertencentes a uma
i.e., do ponto de vista das relacoes entre os elementos dois cor- mesma regiao, enquanto que as linpos ordenados completos sao indistinguveis. De acordo com has tracejadas (vermelhas) ligam pontos que pertencem a regioes distintas.
[ElonLages], dados X e Y corpos ordenados completos existe
uma u
nica bijecao f : X 7 Y . f e chamada de isomorfismo entre X e Y , enquanto que X e Y sao
isomorfos.
Um corpo e um conjunto X, onde estao definidas as operacoes de adicao (+) e multiplicacao ()
segundo os seguintes axiomas:
a.1 Para x1 , x2 x3 X, (x1 + x2 ) + x3 = x1 + (x2 + x3 ) (Associatividade).
a.2 Para x1 , x2 X, x1 + x2 = x2 + x1 (Comutatividade).
a.3 Existe um u
nico elemento neutro X, denotado por 0 (zero), tal que x + 0 = x, x X.
a.4 x X existe um elemento simetrico, dado por x X tal que x + (x) = 0.
m.1 Para x1 , x2 x3 X, (x1 x2 ) x3 = x1 (x2 x3 ) (Associatividade).
m.2 Para x1 , x2 X, x1 x2 = x2 x1 (Comutatividade).
m.3 Existe um u
nico elemento neutro (ou identidade) X, denotado por 1 (um), tal que x 1 = x,
x X.
m.4 x X {0} existe um elemento inverso multiplicativo, dado por x1 X tal que xx1 = 1.
d.1 Para x1 , x2 x3 X, x1 (x2 + x3 ) = x1 x2 + x1 x3 (Distributividade).
Verifique que se um conjunto satisfaz aos axiomas [a.j] ou aos axiomas [m.j], este forma um grupo
abeliano .
Em um corpo ordenado existe um subconjunto E X em que
x1 , x2 E implica em x1 + x2 E e x1 x2 E.

Grupo abeliano e a denominac

ao dada a grupos que possuem a propriedade da operacao definida no grupo ser
comutativa.

18

 Para x E, ou x = 0, ou x E ou x E. Denotando, E o conjunto composto pelos

elementos x, X = E (E) 0 e E (E) = , E 0 = e (E) 0 = .
Este conjunto e chamado de conjunto de elementos positivos de X, enquanto que o conjunto formado
por x e o conjunto de elementos negativos de x. Desta forma pode-se escrever x1 < x2 se x2 x1
E.
Se em um corpo ordenado X existir X X limitado superiormente, isto quer dizer que existe
elemento b X , supremo do conjunto X , que obedece a (1) x X , x b e (2) se x X,
onde x x x X , entao b x. Da mesma forma, pode existir corpo ordenado X limitado
inferiormente, tal que existe elemento nfimo a X.
Um conjunto X e chamado de corpo ordenado completo quando todo X X (X = ) limitado
superiormente tiver supremo X (para saber mais informacoes corpos ordenados, ver [ElonLages,
Cap. III]). Isto significa que Q nao e corpo ordenado completo, pois considerando o conjunto X =
{x Q|x2 < 2} Q, verifica-se que este e limitado superiormente e inferiormente, mas naopossui
nem elemento maximo, nem elemento mnimo em Q. Isto porque
o supremo de X seria b = 2
/Q

tal que b2 = 2, enquanto que o nfimo de X seria a = 2

/ Q tal que a2 = 2. Entretanto, se
X = {x R|x2 < 2} R, este teria supremo e nfimo em R. Afirma-se, assim, que existe um corpo
ordenado completo, o corpo dos n
umeros reais, R (axioma fundamental da analise).
Um conjunto X R e chamado denso em R quando todo intervalo aberto (a, b) contiver algum
elemento de X. Desta forma, tanto o conjuntos dos n
umeros racionais Q, como o dos n
umeros
irracionais R Q, sao densos em R.

1.10

Induc
ao Matem
atica

O princpio da inducao e definido da seguinte forma: Se supoe existir uma regra ou propriedade Sn
associada a cada n
umero natural n N. Sn e verdadeira n N se:
1. S1 for verdadeira.
2. O fato de Sn ser verdadeira para um dado n N implica em Sn+1 ser verdadeira.
No [Hassani] e utilizado este princpio para demonstrar o teorema binomial,
m

(a + b) =

ap bmp .

p=0

De forma semelhante, pode-se demonstrar a desigualdade de Bernoulli: Se n N e x 1 X

para todo corpo ordenado X, (1 + x)n 1 + nx. Isto segue diretamente do teorema binomial.
Entretanto, se nao soubessemos deste teorema, por inducao teramos que:
1. Para n = 1, (1 + x)1 = 1 + x e verdadeira.
2. Se (1 + x)n 1 + nx for verdadeira, entao multiplicando ambos os lados por 1 + x, resulta
em (1 + x)n (1 + x) (1 + nx) (1 + x) = 1 + (n + 1)x + x2 1 + (n + 1)x. Logo,
(1 + x)n+1 1 + (n + 1)x e tambem verdadeira.

19

O princpio da inducao pode ser utilizado tambem na definicao objetos indutivamente (ver [ElonLages]).
Por exemplo, seja um conjunto A e um mapeamento s : A 7 A, onde para cada a A, s(a) e o
sucessor de a. Tem-se ainda que
(1) A funcao s : A 7 A e injetiva. Isto quer dizer que s(a) = s(b) se, e somente se, a = b A.
(2) O conjunto A s(A) e unitario. Logo, existe um u
nico elemento que nao e sucessor de nenhum
outro. Este e simbolizado por 1.
De (1) e (2) segue que s(a) = 1, a A e que se a = 1 existe um u
nico b tal que s(b) = a.
Verifica-se que um conjunto com estas propriedades e obedecendo ao princpio da inducao (ou seja,
B A tal que 1 B e s(a) B, a B, entao B = A) e o conjunto dos n
umeros naturais N.
O mapa s : N 7 N pode ser utilizado para definir indutivamente a adicao de n
umeros naturais.
Se dissermos que o sucessor de m N e s(m) = m+1, temos que s(m+1) = s(m)+1 = (m+1)+1 =
m + 2, s(m + 2) = ((m + 1) + 1) + 1 = (m + 2) + 1 = m + 3 e assim por diante, de modo que
s(m + n) = m + s(n) e o resultado da composicao de s(m), s s . . . s, n vezes. Pode-se definir
indutivamente o produto entre dois n
umeros naturais de forma semelhante. Para maiores detalhes,
ver [ElonLages, Cap.II].

20

Captulo 2
Vari
aveis Complexas
Nesta secao, informacoes mais detalhadas podem ser consultadas em [Hassani, Churchill, Dennery]

2.1

O Plano Complexo

Um n
umero complexo z e especificado por um par ordenado de n
umeros reais x e y, de forma que
z = x + iy, onde i2 = 1. x = (z) e y = (z) sao as partes real e imaginaria de z, respectivamente.
Como o par ordenado (x, y) especifica um ponto em um plano R2 , diz-se que z denota um
ponto no plano complexo. Observe que, desta forma, podemos escrever i = (0, 1) no plano complexo
e que um n
umero z = ia = (0, a), a R e um n
umero imaginario puro. z = 0 = 0 + i 0 significa o
par ordenado (0, 0).
Em coordenadas polares, um ponto z se encontra a uma distancia r da origem
e faz um angulo
com o eixo Real, x. Portanto, x =(r cos
e y = r sin , de modo que |z| = r = x2 + y 2 (denominado
y)
modulo de z ou |z|) e = arctan
(chamado argumento de z ou arg(z)). Na realidade, ve-se que
x
e definido a menos de um termo aditivo m
ultiplo de 2, pois qualquer que seja arg(z) = + 2n,
n = . . . , 2, 1, 0, 1, 2, . . ., tem-se o mesmo n
umero z.
O complexo conjugado de z = x + iy (x, y R) pode
ser denotado tanto por z, como por z , sendo dado por
y
z = x iy. Observa-se, assim, que arg(z) = arg(z), o
que significa que z e a reflexao no eixo Real de z. Logo,
z z = x2 + y 2 = [(z)]2 + [(z)]2 = |z|2 .
z1+z2
z2
Um n
umero complexo z pode ser representado por um
z1
vetor no plano complexo. Verifica-se z1 e z2 C satisfazem
x
z+
z1 z1
1 z1
a operacao de adicao de vetores:

z1

z1 + z2 = (x1 + x2 ) + i(y1 + y2 )
sendo
o modulo da soma de z1 e z2 , |z1 + z2 | =

Figura 2.1: Vetores representando z1 , z2 ,

(x1 + x2 )2 + (y1 + y2 )2 = r12 + r22 + 2r1 r2 cos(1 2 )
z1 + z2 , z1 + z 1 e z1 z 1 no plano complexo. o comprimento do vetor z1 + z2 . Por sua vez, o m
odulo da
diferenca entre z1 e z2 ,

2
2
|z1 z2 | = (x1 x2 ) + (y1 y2 ) = r12 + r22 2r1 r2 cos(1 2 ),
21

caracteriza uma definicao de distancia entre os pontos z1 e z2 no plano complexo.

As desigualdades triangulares:
||z1 | |z2 || |z1 + z2 | |z1 | + |z2 |
sao satisfeitas . Da segunda
 desigualdade,
 aplicada a dois termos, tres termos e assim em di N

ante, pode-se verificar que  j=1 zj  N
j=1 |zj |, N N. Entretanto, apesar de fazer sentido a
afirmacao |z1 | > |z2 |, nao se pode afirmar que z1 > z2 ou z1 < z2 a menos que z1 e z2 R.
Outras operacoes com n
umeros complexos z1 e z2 fornecem:
z1 z2 =(x1 + iy1 ) (x2 + iy2 ) = x1 x2 y1 y2 + i(x1 y2 + x2 y1 )
=r1 r2 [cos 1 cos 2 sin 1 sin 2 + i(cos 1 sin 2 + cos 2 sin 1 )]
=r1 r2 [cos(1 + 2 ) + i sin(1 + 2 )]
Portanto, |z1 z2 | = |z1 | |z2 | e arg(z1 z2 ) = arg(z1 ) + arg(z2 ). A razao entre n
umeros z1 C e
z2 = 0 C e dada por:
z1 x1 + iy1
(x1 + iy1 )(x2 iy2 )
x1 x2 + y1 y2 + i(y1 x2 x1 y2 )
z1 z 2
=
=
=
=
2
2
2
2
z2 x2 + iy2
x2 + y
x2 + y
z2 z 2
r1
= [cos(1 2 ) + i sin(1 2 )]
r2
cos(2 ) + i sin(2 )]
cos 2 i sin 2
=
.
r2
r2
As propriedades associativas e comutativas da adicao e da multiplicacao de n
umeros complexos
seguem destas serem satisfeitas para cada componente R do par ordenado (x, y) C.
Verifica-se tambem que z1 z2 = 0 implica em z1 = 0 ou z2 = 0 ou z1 = z2 = 0. Isto porque
z1 z2 = x1 x2 y1 y2 + i(x1 y2 + x2 y1 ) = 0 + i0. Ou seja x1 x2 y1 y2 = 0 e x1 y2 + x2 y1 = 0, o que
resulta, se x1 ou y1 nao nulos
(
) (
) (
) ( )
x1
x2 y2
x1
0
A
=

=
y1
y2 x2
y1
0

Desta u
ltima igualdade decorre o fato de, se z1 = 1, z21 =

e det(A) = x22 + y22 = 0. Portanto, x2 = y2 = 0, se x1 ou y1 nao nulos. Como os ndices sao

intercambiaveis, ter-se-ia x1 = y1 = 0, se x2 ou y2 nao nulos. Logo, z1 = 0 ou z2 = 0 ou z1 = z2 = 0.
Para os conjugados complexos de z1 , z2 C observam-se que:
(
z1 + z2 = z 1 + z 2

z1 z2 = z 1 z 2

z1 z2 = z 1 z 2

z1
z2

)
=

z1
z2

Verifica-se que |z1 + z2 |2 = |z1 |2 + |z2 |2 + (z1 z 2 + z2 z 1 ). Como z1 z 2 = z2 z 1 , (z1 z 2 + z2 z 1 ) = 2(z1 z 2 ). Portanto,
|z1 + z2 |2 = (|z1 | + |z2 |)2 2|z1 ||z2 | + 2(z1 z 2 ). Mas (z1 z 2 ) |z1 z 2 | = |z1 ||z2 |. Logo, |z1 + z2 |2 (|z1 | + |z2 |)2 , ou
seja, |z1 + z2 | |z1 | + |z2 |).
Tem-se tambem que |z1 z2 |2 = |z1 |2 + |z2 |2 (z1 z 2 + z2 z 1 ), enquanto que ||z1 | |z2 ||2 = |z1 |2 + |z2 |2 2|z1 ||z2 |.
Deste modo, |z1 z2 |2 ||z1 | |z2 ||2 = (z1 z 2 + z2 z 1 ) + 2|z1 ||z2 |. Mas (z1 z 2 + z2 z 1 ) = 2(z1 z 2 ) 2|z1 z 2 | = 2|z1 ||z2 |.
Logo, |z1 z2 |2 ||z1 | |z2 ||2 0, donde segue que |z1 z2 | ||z1 | |z2 ||. Fazendo z2 z2 , |z1 + z2 | ||z1 | |z2 ||

22

Em particular,
z + z = 2x = 2(z) R

z z =2y = 2(z), Imaginario puro

Do produto de z1 e z2 , verifica-se que z1 z2 z2 = (z1 z2 )z3 = r1 r2 (cos(1 + 2 ) + i sin(1 +

2 ))r3 (cos(3 ) + i sin(3 )) = r1 r2 r3 (cos(1 + 2 + 3 ) + i sin(1 + 2 + 3 )). Procedendo desta forma
ate o n-esimo termo, teremos
[ ( n )
( n )]
n
n

z1 z2 . . . z n =
zj =
rj cos
j + i sin
j
j=1

j=1

j=1

j=1

Observe que se r1 = r2 = . . . = rn = 1, o produto desses n n

umeros complexos de modulo 1 resulta
em um n
umero complexo de modulo 1 e de argumento igual a soma dos argumentos de zj . Logo, o
produto de um n
umero complexo z por outro de modulo z = cos + i sin equivale a uma rotacao
de z por um angulo .
Se z1 = z2 = . . . = zn = z = r(cos + i sin ) e n > 0 Z, encontra-se
z n = rn [cos(n) + i sin(n)]
que se reduz ao teorema de De Moivre [cos() + i sin()]n = [cos(n) + i sin(n)] quando r = 1. De
1
1
1
modo complementar, para n > 0 Z, z n = n = n [cos(n) + i sin(n)] = n [cos(n) i sin(n)]
z
r
r
Note que, para |z| = 1, z 1 = z.
O problema de encontrar as nesima razes de z
C pode ser atacado da seguinte forma: digamos que
zn = z n = rn (cos n + i sin n ). Sabemos que, se z1 =
r1 (cos 1 + i sin 1 ), z1n = r1n [cos(n1 ) + i sin(n1 )]. Logo,

1/n
rn = r1n r1 = rn = n rn . Por sua vez, n = n1 2l,
n 2l
para l Z. Logo, 1 =
, onde l = 0, 1 . . . , n 1,
n
porque fun
tem mesmo valor quer
( coes trigonometricas
)
n 2(l + k n)
seja em
, onde k Z, quer seja em
n
(
)
n + 2l
. Portanto, fazendo 1 e r1 r, tem-se
n
as n razes de z 1/n ,
[ (
)
(
)]

n + 2l
n + 2l
1/n
n
z
= r cos
+ i sin
n
n
Figura
2.2:
Represent
c
a

o
gr
a
fica
das
ra
zes

3
0.7, 4 0.9, 5 1.1 e 6 1.3, respectivamente de
A funcao exponencial e introduzida utilizando-se a
menor para maior raio de cada circunferencia defini
cao exp z = ex (cos y + i sin y), onde o argumento das
circunscrita. As razes estao representadas pefuncoes trigonometricas, y, deve ser considerado em radilos vertices dos polgonos.
ano. exp z e univalente para cada z C Esta funcao
fornece a funcao exponencial real, exp : R 7 R, onde exp x = ex quando z = x R. Se z = iy

Funcao univalente em um conjunto S C e aquela que em que possui um u

nico valor para cada valor de z S.

23

a expressao a exp z = cos y + i sin y. Esta igualdade e satisfeita se considerarmos a expansao em

series de potencias de exp z, cos z e sin z [Gradshteyn], pois
exp(iy) =

(iy)n
n=0

n!

y 2n
cos(y) =
(1)
,
(2n)!
n=0

y 2n+1
sin(y) =
(1)
(2n + 1)!
n=0

Logo, da expansao de exp z tem-se

exp(iy) =

(iy)n
n=0

y 2n
y 2n+1
=
i
+
i2n+1
n!
(2n)! n=0
(2n + 1)!
n=0

2n

que se reduz a exp(iy) = cos y + i sin y.

A partir da definicao da funcao exponencial em C, verfica-se que, para z = x + iy, | exp z| =
e(z) = ex e arg(exp z) = (z) = y. Para o conjugado complexo, exp z = ex (cos y i sin y) = exp(z)
Tem-se tambem que exp z1 exp z2 = ez1 ez2 [cos(z1 + z2 ) + i sin(z1 + z2 )] = exp(z1 + z2 ).
exp z1
1
= exp(z1 z2 ). Em particular,
Portanto,
= exp(z). Para m e n Z e positivos,
exp z2
exp
[ mz
]
(exp z)n = exp(nz), enquanto que (exp z)m/n = exp
(z + 2l) , onde l = 0, 1, 2 . . . , n 1.
n
Uma observacao importante e que exp z e periodica de perodo 2i, pois exp(z + 2i) =
exp z exp(2i) = exp z, pois exp(2i) = cos(2) + i sin(2) = 1.
Muitas vezes se representa um n
umero complexo utilizando a funcao exponencial. Desta maneira,
z em coordenadas polares e escrita como z = r(cos +i sin ) = r exp(i) = rei . Consequentemente,
z1
r1
z = rei , z1 z2 = r1 r2 exp[i(1 + 2 )] e
=
exp[i(1 2 )], se r2 = 0. Da mesma forma,
z2
r2
z n = rn ein e z m/n = rm/n eim/n .

2.2

Funco
es Complexas

Uma funcao complexa e um mapeamento f : D 7 C, onde D C e uma regiao do plano complexo

e w = f (z), z e w C. Denotando w = u+iv e z = x+iy, encontra-se que f (z) = u(x, y)+iv(x, y).
Desta forma, f mapeia pontos no plano z em pontos no plano w.
Por exemplo, uma funcao linear y = ax no plano z pode ser mapeada em diversas curvas no
plano w, dependendo de que mapeamento w = f (z) for utilizado. Considere, entao:
f (z) = z 2 . Digamos que o angulo que a reta y = ax faz com o eixo (z) seja z = arctan(a).
A transformacao w = u + iv = (x + iy)2 = x2 y 2 + 2ixy leva esta reta em u = x2 (1 a2 )
2a
e v = 2ax2 no planow, ou seja, v =
u, que e a equacao de uma reta inclinada de
1 a2
w = 2z em relacao ao eixo (w).
f (z) = z n . Neste caso, utilizemos a representa
cao em coordenadas polares, z = rei . Para

pontos sobre y = ax, teremos z =

x2 (1 + a2 )eiz e, portanto, w = u + iv = z n =
n/2
n/2
n/2
[x2 (1 + a2 )] einz . Logo, u = xn (1 + a2 ) cos(nz ) e v = xn (1 + a2 ) sin(nz ), ou seja,
v
= tan(nz ) v = tan(nz )u que a equacao e de uma reta no planow fazendo angulo
u
nz com o eixo (w). Note que, para n par, tem-se o mesmo w para x = x e x = x .
`

As vezes se escreve f : C 7 C, subentendendo que o domnio se refere a um subconjunto de C

24

1
0

(a)

(b)
0.5

-1000

-2000
v

-3000
-0.5
-4000

-1

-5000
-1

-0.5

0.5

-2000

-1000

1000

2000

40

(d)

(c)

-0.5
-1

20

-2

-1.5
0

-2.5
-20

-3
-3.5

-40

-4
-2

-1.5

-1

-0.5

0.5

1.5

-40

-20

20

40

x
(no planoz, nao mostrado) em curvas no planow: (a)
2
n
w = z , onde n = 1, 2, 3, 4, linhas de cores vermelha `a azul; (b) w = exp(z); (c) ampliacao de parte da figura (b);
z1
(d) w =
.
z+1

Figura 2.3: Mapeamentos w = f (z) da curva y =

f (z) = exp(z). Esta transformacao leva a reta y = ax em um espiral no planow, pois

w = ex eiax . Portanto, u = ex cos(ax) e v = ex sin(ax) e a forma parametrica de uma curva
espiral no planow.
z1
(z 1)(z 1)
z1
. Tem-se
=
. Para z = x + iy = x(1 + ia), f (z) =
z+1
z+1
|z + 1|2
|z|2 + z z 1
x2 + y 2 1 + 2iy
x2 (1 + a2 ) 1 + 2iax
=
=
. Considere w w0 , para um
|z|2 + z + z + 1
x2 + y 2 + 2x + 1
x2 (1 + a2 ) + 2x + 1
dado w0 = u0 + iv0 . Entao:

f (z) =

u u0 =

(1 u0 )(1 + a2 )x2 2u0 x (1 + u0 )

,
x2 (1 + a2 ) + 2x + 1

25

v v0 =

v0 (1 + a2 )x2 + 2(a v0 )x v0
x2 (1 + a2 ) + 2x + 1

Se fizermos (u u0 )2 + (v v0 )2 , teremos (apos alguma manipulacao algebrica):

(u u0 )2 + (v v0 )2 =

Ax4 + Bx3 + Cx2 + Dx + E

(1 + a2 )2 x4 + 4(1 + a2 )x3 + 2(3 + a2 )x2 + 4x + 1

onde A = (1 + a2 )2 [(1 u0 )2 + v02 ], B = 4(1 + a2 )[u0 (1 u0 ) + v0 (a v0 )], C = 2[2u20 (1 +

a2 )(1 u20 v02 ) + 2(a v0 )2 ], D = 4[u0 (1 + u0 ) v0 (a v0 )] e E = (1 + u0 )2 + v02 . Se os
z1
pontos imagem de y = ax pelo mapeamento w(z) =
formarem uma circunferencia em
z+1
w, o numerador da equacao acima deve ser R2 vezes o denominador. Portanto, cada um dos
fatores de A, B, C,D e E no numerador devem ser m
ultiplos dos fatores de x4 , x3 , x2 , x1 e
x0 no denominador
(1 + a2 )2 [(1 u0 )2 + v02 ] = (1 + a2 )2 R2 (1 u0 )2 + v02 = R2
4(1 + a2 )[u0 (1 u0 ) + v0 (a v0 )] = 4(1 + a2 )R2 u0 (1 u0 ) + v0 (a v0 ) = R2
2[2u20 (1 + a2 )(1 u20 v02 ) + 2(a v0 )2 ] = 2(3 + a2 )R2
2[u20 + (a v0 )2 ] (1 + a2 )(1 u20 v02 ) = (3 + a2 )R2
4[u0 (1 + u0 ) v0 (a v0 )] = 4R2 u0 (1 + u0 ) v0 (a v0 ) = R2
(1 + u0 )2 + v02 = R2

(A)
(B)
(C)
(D)
(E)

De (A)(E) tem-se u0 = 0, que substituindo nas equacoes (A) ou (E), resulta em v02 = R2 1.
Tem-se tambem que (B) = (D) v0 (a v0 ) = R2 e (C) (1 + a2 )(v02 1) + 2(a v0 )2 =
a2 + 1
1
. Verifica-se
(3 + a2 )R2 . Portanto, av0 v02 = 1 v02 v0 = e R2 = 1 + v02 =
a
a2
z1
entao que (C) e verdadeira. Logo, o mapeamento w =
transforma os pontos sobre
z+ 1
a2 + 1
i
a reta y = ax em z em uma circunferencia de raio R =
e centro w0 = , i.e.,
2
a
a
|w w0 | = R.

2.2.1

Limite e Continuidade

Com respeito aos conceitos de limite e continuidade no plano complexo, utilizando a metrica dada
por d(z, z ) = |z z |, tem-se que para f : D C:
O limite de f (z) e definido como limza w0 , se para qualquer > 0, existe > 0 tal que
|f (z) w0 | < desde que |z a| < . Observe que para que o limite exista e seja igual a um
dado w0 , a funcao f (z) deve tender a w0 para qualquer ponto em uma vizinhanca de z = a,
ou seja, independentemente do modo como z tende para a.
f (z) e contnua em z = a D se para qualquer > 0, existe um > 0 tal que |f (z)f (a)| <
desde que |z a| < . Ou, f (z) e contnua se o limite de f (z) existir e for limza f (z) w0
e w0 = f (a).
As definicoes de limite seguem do que ja foi visto sobre convergencia e limite de uma sequencia
(sequencias de Cauchy em [Notas de Aula 0]). Entretanto, um conceito importante e o de convergencia uniforme (cf. [Dennery, Cap. 1.2]). Tenha-se uma sequencia de funcoes definidas em
26

D C, f1 (z), f2 (z), f3 (z), . . ., fn (z), . . .. Esta sequencia converge para f (z) se para qualquer
ponto z D e > 0, existe um n
umero N N (que pode depender de e z), onde para n > N
temos |f (z) fn (z)| < . Se existe um valor de N independente de z em D C diz-se que a
sequencia converge uniformemente para f (z) em D. Tem-se que uma sequencia de Cauchy converge
uniformemente.
nx
Um exemplo de sequencia que nao converge uniformemente e dado por fn (x) =
em
1 + n2 x2
( )
1
1
1
x (, ). Isto porque limn fn (x) 0, exceto em x = pois fn
= . Portanto, como
n
n
2
nao e possvel fazer |f (x) fn (x)| < para todo o intervalo (, ) (pois este limite depende se
x esta na vizinhanca de 1/n), esta sequencia na
o converge uniformemente.

Se a a sequencia se refere a somas parciais, nj=1 fj (z) = Sn (z), a somatoria infinita

j=1 fj (z)
converge uniformemente para S(z), se a sequencia de somas parciais Sn (z) converge uniformemente
para S(z).

O criterio de Weierstrass diz que

se |fj (z)| an (i.e., cada
j=1 fj (z) converge uniformemente,

termo da sequencia tem modulo limitado superiormente) e se

a

e
convergente.
j=1 n
Um exemplo de convergencia de somas parciais, considere SN (z) =

zj
j=0

j!

para 0 |z| R. Observe que

 j
 z  |z|j
Rj

|fj | =  
j!
j!
j!
Como

Rj
j=0

j!

e convergente (pois pelo teste da razao,

Rj+1 /(j + 1)!

R
=
< 1 para uma dado j >
Rj /j!
j+1

R
0), entao a sequencia de somas parciais converge uniformemente. Sabemos que
j (j + 1)
lim fN (x) exp(z).

N ou lim
N

Outro exemplo e o da sequencia de somas parciais SN =

(x)n para x [0, 1]. Sabemos que

n=1

SN e a expansao em series de potencias de x/(1 + x) quando N . Para |x| < 1 temos que
|fn | = | xn | < |x|n = an e que, pelo teste da razao, |x|n+1 /|x|n = |x| < 1. Logo, SN converge
uniformemente para x [0, 1). Entretanto, para x = 1 nao podemos chegar a esta conclusao utilizando o
procedimento acima. Para isso reescrevamos SN como

N/2

(1

x)
x2p+1 ,
para N par,

p=0
SN =
(N 1)/2

(1

x)
x2p+1 xN ,
para N mpar.

p=0

Em x = 1 temos que SN =2p = 0, enquanto que SN =2p+1 = 1. Portanto, a serie nao converge uniformemente neste ponto (e diverge para x > 1), pois nao e possvel encontrar um valor de N que forneca
|Sn (1) Sm (1)| < , para n > m > N e > 0 arbitrario.

27

2.2.2

Derivadas

Digamos que f : D C, D C. A derivada de w = f (z) e definida como


df 
f (z + z) f (z)
= lim

dz z0 z0
z
Mas para que f (z) seja diferenciavel em z0 D e preciso que o limite acima exista e seja independente da forma como z 0 (o que significa independente da forma como x 0 e y 0, pois
z = x + iy) .

df 
. Logo,
Tomemos como um exemplo f (z) = x + 2iy e calculemos
dz 0

f (z) f (0)
df 
x + 2iy
iy
= lim
= lim
= 1 + lim

x0 x + iy
x0 x + iy
dz 0 z0
z
y0
y0
Percebe-se que a derivada de f depende do modo como z tende a zero, pois para x 0 com
y = 0
f (x) f (0)
lim
=1
x0
x
enquanto que se y 0 com x = 0,
f (iy) f (0)
= 2.
y0
iy
lim

Para y = mx, i.e., z tende a 0 por uma reta de coeficiente angular m,

f (x + iy) f (0)
m
m2
i m2
= 1 + (m + i)
=
1
+
+
x0
x + iy
1 + m2
1 + m2 1 + m2
lim

que depende de m. Logo, f (z) = x + 2iy nao e diferenciavel em z = 0.

Vejamos as condicoes que devem ser satisfeitas para que uma funcao w = f (z) = u + iv seja
diferenciavel. Uma condicao necessaria e a de que
f (z + z) f (z)
f (z + z) f (z)
= lim
x0
x=0
z
z
y=0
y0
lim

Portanto,
f (z + z) f (z)
u(x + x, y) + iv(x + x, y) u(x, y) iv(x, y)
= lim
x0
x0
z
x
y=0
lim

= lim

x0

u
v
v(x + x, y) v(x, y)
u(x + x, y) u(x, y)
+ i lim
=
+i
x0
x
x
x
x

O mesmo argumento vale para derivadas de uma funcao f : R R pois

f (x0 |x|) f (x0 )
x0
|x|
lim

pode: (i) nao existir um dos ou ambos os limites; (ii) os limites existem, mas sao diferentes. Em ambos os casos,
f (x) pode ate ser contnua, mas nao e diferenciavel em x0 . No domnio complexo, a condicao de uma funcao ser
diferenciavel se torna ainda mais restritiva, pois exige que um limite semelhante ao acima exista, seja finito e u
nico
para qualquer caminho de se chegar ao ponto z0 .

28

Por outro lado,

lim
y0

x=0

f (z + z) f (z)
u(x + x, y) + iv(x + x, y) u(x, y) iv(x, y)
= lim
y0
z
iy
u(x + x, y) u(x, y)
v(x + x, y) v(x, y)
u v
+ lim
= i
+
y0
y0
y
y
y y

= i lim

Logo, para que tenhamos a derivada independente de ambas as formas como z 0, devemos ter
ambas as igualdades
u
v
=
x
y

u
v
=
y
x

satisfeitas. Estas condicoes sao chamadas de condicoes de Cauchy-Riemann (C-R) e necessariamente

devem ser satisfeitas em um ponto z0 para que uma funcao seja diferenciavel neste ponto.
Entretanto, exposta da forma acima, as condicoes de Cauchy-Riemann nao garantem que uma
funcao seja diferenciavel. Para saber se Cauchy-Riemann sao condicoes suficientes (i.e., se forem
satisfeitas, garantem que a funcao e diferenciavel), considere

(
)
 f (z + z) f (z)
u
v 


+i

z
x
x 
onde w = f (z) = u(x, y)+iv(x, y) definida em D C tem u(x, y) e v(x, y) satisfazendo as condicoes
de Cauchy-Riemann, alem de terem derivadas parciais primeiras com respeito a x e y contnuas em
x e y D. Pelo fato de u(x, y) e v(x, y) terem derivadas parciais contnuas, tem-se que
u
x +
x
v
v(x + x, y + y) v(x, y) = x +
x

u(x + x, y + y) u(x, y) =

u
y + 1 x + 1 y
y
v
y + 2 x + 2 y
y

para x 0 e y 0, onde 1 , 2 , 1 e 2 podem ser arbitrariamente pequenos. Desta forma,

f (z + z) f (z) = u(x + x, y + y) u(x, y) + i[v(x + x, y + y) v(x, y)]
(
)
(
)
u
v
u
v
=
+i
x +
+i
y + (1 + i2 )x + (1 + i2 )y
x
x
y
y
)
(
)
(
v
v
u
u
+i
x +
+i
y + (1 + i2 )x + (1 + i2 )y
=
x
x
x
x
(
)
(
)
u
v
v u
=
+i
+
x + i
iy + (1 + i2 )x + (1 + i2 )y
x
x
x x
(
)
u
v
=
+i
z + (1 + i2 )x + (1 + i2 )y
x
x
onde utilizamos Cauchy-Riemann e z = x + iy. Logo,
 


(
) 
 
 

 f (z + z) f (z)
x
y
u
v
 (1 + i2 )
 + (1 + i2 )



+i





z
x
x
z
z 
29


 
 


 
 

x
y
x
y
 (1 + i2 )
 + (1 + i2 )
.
devido a desigualdade triangular (1 + i2 )
+ (1 + i2 )
 
 

z
z
z
z





 x 
 y 
2
2
1e

Como 
 z  1, pois |z| = (x) + (x) , 1 , 2 , 1 e 2 podem ser feitos quao
z 
pequenos desejarmos e portanto,
(
)
u
v
df
f (z + z) f (z)
= lim
=
+i
dz z0
z
x
x
Logo, f (z) = u(x, y) + iv(x, y) e diferenciavel em D C, se u(x, y) e v(x, y) satisfazem as condicoes
de Cauchy-Riemann e possuem derivadas parciais primeiras com respeito a x e y contnuas em
z D.
interessante observar que, a partir de z = x + iy e z = x iy, teremos x = z + z
E
2
(
)
f
f x
f y
1 f
f
zz
. Logo,
=
+
=
+i
. Sendo f (z) = u + iv, temos
e y =
z
x)z (y z
(2i
)2 x( y
)
f
1 u
v
u v
1 u v
i v u
=
+i
+i

+
+
. Se f (z) = u + iv obedece `as
z
2 x
x
y y
2 x y
2 x y
f
f
condicoes de Cauchy-Riemann, as partes real e imagniaria de
se anulam e
= 0. Logo, para
z
z
uma funcao ser diferenciavel, esta nao pode ser funcao de z, i.e., se uma funcao puder ser escrita
como funcao somente de z = x + iy, nao dependendo explicitamente de z, e possvel que esta funcao
seja diferenciavel. Isto nao significa que se uma funcao depender somente em z seja diferenciavel,
mas que, se so puder ser expressada com dependencia explicita
em
ao e diferenciavel .
(
)2z, a(funcao)n
2
z+z
zz
1
Tomemos alguns exemplos: (1) f (z) = x2 + 2iy 2 =
+
= [(1 2i)(z 2 +
2
2i
4
2
z ) + 2(1 + 2i)zz]. Portanto, f (z) nao pode ser expressa como funcao exclusiva de z e nao deve
ser diferenciavel. Pode-se constatar isto mediante a verificacao das condicoes de Cauchy-Riemann:
u
v
u
v
= 0 = , mas
= 2x = 4y =
e, portanto, f (z) nao e diferenciavel. (2) f (z) =
y
x
x
y
x2 y 2 + 2ixy = (x + iy)2 = z 2 . Como pode ser escrita com funcao apenas de z, ha a possibilidade
v u
v
u
de f (z) ser diferenciavel. De Cauchy-Riemann ,
= 2y =
e
= 2x =
, portanto
y
x x
y
f (z) = z 2 e diferenciavel.
As regras de derivacao de funcoes complexas sao da mesma forma daquelas para funcoes reais.
Por exemplo, para a soma de duas funcoes hs (z) = f (z) + g(z), tem-se
f (z + z) + g(z + z) f (z) g(z)
dhs
= lim
z0
dz
z
df
dg
f (z + z) f (z)
g(z + z) g(z)
= lim
+ lim
=
+ .
z0
z0
z
z
dz dz

A constatac
ao acima pode ser tambem deduzida (ver [Dennery, Pg. 16]) expandindo u(x, y) e v(x, y) em series
de Taylor em torno de um ponto z0 = x0 + iy0 (supondo que esta expansao exista na vizinhanca de z0 ).

30

Para o produto, hp (z) = f (z)g(z),

dhp
f (z + z)g(z + z) f (z)g(z)
= lim
z0
dz
z
f (z + z)g(z + z) f (z + z)g(z) + f (z + z)g(z) f (z)g(z)
= lim
z0
z
f (z + z)[g(z + z) g(z)] + [f (z + z) f (z)]g(z)
= lim
z0
z
g(z + z) g(z)
f (z + z) f (z)
=f (z) lim
+ lim
g(z)
z0
z0
z
z
dg df
=f (z) + g(z)
dz dz
De forma semelhante, pode-se mostrar que as regras de derivacao conhecidas podem ser aplicadas
a funcoes de argumento complexo.
Um mapeamento que satisfaz as condicoes de Cauchy-Riemann possui uma propriedade interessante que diz respeito a suas partes real e imaginaria. Para isto, verifiquemos que a regra da cadeia
fornece:
w
w
dw(x, y) =
dx +
dy = w dr
x
y

se definirmos = x + y e dr = xdx+ ydy. w e chamado de gradiente de w. Se w(x, y) = c0 =

x
y
constante for uma curva equipotencial (i.e., possui mesmo valor para todos os pontos nesta curva),
w = c0 = 0 e dw = w dr = 0. Logo, como dr e tangente `a curva w = c0 , w e normal em
(x0 , y0 ) `a curva w(x, y) = w(x0 , y0 ) = c0 .
Digamos que w = u = iv = f (z) seja diferenciavel em (x0 , y0 ). Logo, em (x0 , y0 ), u e v sao
vetores perpendiculares `as curvas equipotenciais u = u(x0 , y0 ) e v = v(x0 , y0 ). Portanto,
u v =

u v u v
+
=0
x x y y

onde as condicoes de Cauchy-Riemann foram utilizadas. As curvas equipotenciais definidas por

u = u(x0 , y0 ) e v = v(x0 , y0 ) sao perpendiculares entre si em (x0 , y0 ). Ou seja, as tangentes `as
curvas (f (z)) e (f (z)) sao perpendiculares em z0 , se f (z) e diferenciavel em uma vizinhanca
deste ponto.

2.2.3

Fun
co
es Analticas

Seja f : D C, onde D C. f (z) e analtica em z0 D, se for diferenciavel em z0 e em qualquer z

em alguma vizinhanca de z0 . O domnio onde f e analtica e denominado de domnio de analiticidade
de f . Se f (z) for analtica em todo e qualquer z C, diz-se que f e funcao inteira.
O ponto, z0 , em que f (z) e analtica, e chamado de ponto regular de f . Se, pelo contrario, f (z)
nao for analtica em z0 , z0 e ponto singular ou singularidade de f . Se a singularidade ocorrer apenas
em z0 , mas nao na sua vizinhanca, z0 e ponto singular isolado de f .

Aqui nao farei distinc

ao entre os conceitos de func
oes analticas e func
oes holom
orficas. Segundo [Ahlfors],
ambos os termos possuem significado identico (ver [Ahlfors, pg. 24]). De maneira geral, o termo func
ao analtica e
mais conhecido por fsicos e engenheiros, enquanto o termo funcao holomorfica e mais utilizado por matematicos.

31

(a)

(b)

0.4
0.3

0.5

0.2

0.1
0
-0.1
-0.5

-0.2
-0.3

-1
-1

-0.5

0.5

-0.4
-0.4

-0.3

-0.2

0.1

0.2

0.3

0.4

(c)

(d)

0.5

0.5

-0.1

-0.5

-0.5

-1

-1
-1

-0.5

0.5

-1

-0.5

0.5

Figura 2.4: Curvas de nvel de u = u(x, y) = (w) (em azul) e v = v(x, y) =(w) (em
vermelho) para diferentes

R
z

z
1
mapeamentos w = f (z): (a) f = exp(z); (b) f = 1/z; (c) f = z 3 e (d) f = ln
z z1 , onde R = 1/2 e z1 = 1/5.

Note que as curvas equipotenciais de u(z) e v(z) sao perpendiculares entre si, desde que f (z) seja diferenciavel neste
ponto (i.e., z seja regular).

32

A soma e o produto de duas funcoes inteiras sao tambem funcoes inteiras. Entretanto, se f (z) e
f (z)
g(z) sao inteiras, a razao
pode nao ser inteira, devido a possveis valores de z em que g(z) = 0.
g(z)
Exemplos de funcoes analticas e de suas derivadas:
dp0
p0 (z + z) p0 (z)
p0 (z) = a: Funcao constante, onde a = const.. Neste caso,
= limz0
= 0,
dz
z
z C. Funcao e inteira.
p1 (z) = z: Funcao inteira, pois

dp1
z + z z
= limz0
= 1, z C.
dz
z

dp2
(z + z)2 z 2
z 2 + 2zz + z 2 z 2
p2 (z) = z 2 : Funcao inteira, pois
= limz0
= limz0
=
dz
z
z
2z + limz0 z = 2z, z C.
pn (z) = z n : Funcao inteira, pois, z C,
n

n!
z nj z j z n
dpn
(z + z) z
j!(n j)!
= lim
= lim
z0
z0
dz
z
z
n
n

n!
n!
nj
j1
n1
= lim
z z
= nz
+ lim
z nj z j1 = nz n1
z0
z0
j!(n j)!
j!(n j)!
j=1
j=2
n

zn +

j=1

P (z) = a0 + a1 z + . . . + an z n : Polinomio de grau n e funcao inteira, pois cada um de seus termos

e inteiro (como visto acima) e a soma de funcoes inteiras e funcao inteira. Calculando diretamente:
[
]
j
n
n

dP
j!
[(z + z)n z n ]
= lim
aj
=
aj jz j1 + lim
z jk z k1
z0
dz z0 j=0
z
(j

k)!k!
j=0
k=2
=

aj jz j1

j=0

j
S(z) =
erie de potencias S(z) converge em |z z0 | < R, R > 0 R e
j=1 aj (z z0 ) : Se a s
chamado raio de convergencia desta serie. S(z) e analtica dentro de seu raio de convergencia.
1
f (z) = : A derivada do inverso de z e dada por
z
1
1

z z z
1
1
df
= lim z + z z = lim
= lim
= 2
z0 zz(z + z)
z0 z(z + z)
dz z0
z
z
Como 1/z 2 diverge quando z 0, nao sendo definida em z = 0, este ponto e ponto singular
isolado de f (z) = 1/z. f (z) e analtica para todo z C, exceto em z = 0, ou seja, o domnio
de analiticidade de f (z) e o planoz excetuando z = 0.
33

f (z) = |z|2 : Tem-se

(
)
df
(z + z)(z + z) zz
zz + zz + zz
z
= lim
= lim
= z + lim z + z
z0
z0
dz z0
z
z
z

df 
df
Se z = 0, entao
nao e definida, pois depende do modo
= 0. Entretanto, se z = 0,

dz 0
dz
como z 0. Logo, f (z) = |z|2 nao e diferenciavel , exceto em z = 0 (nem na vizinhanca
de z = 0 |z|2 e diferenciavel!).
f (z) = cos(z): f (z) e inteira, pois a derivada de cos z e dada por:
cos(z + z) cos z
cos z cos z sin z sin z cos z
d cos z
= lim
= lim
z0
z0
dz
z
z
1
cos z (1 1 + z 2 ) sin z z
cos z (1 cos z) sin z sin z
2
= lim
= lim
z0
z0
z
z
= sin z
f (z) =

1
: Neste caso:
cos(z)
1
1

df
cos z cos(z + z)
cos(z + z) cos z
= lim
= lim
z0 cos(z + z) cos zz
dz z0
z
cos z cos z cos z + sin z sin z
cos z (1 cos z) + sin z sin z
= lim
= lim
z0
z0
cos(z + z) cos zz
cos(z + z) cos zz
1
cos z (1 1 z 2 ) + sin z z
sin z
2
=
= lim
z0
cos(z + z) cos zz
cos2 z

Portanto, f (z) = (
1/ cos z)e analtica em z C, exceto nos pontos singulares dados por
1
cos z = 0, i.e., z = n +
, onde n Z.
2
A funcao exponencial complexa pode tambem ser definida (alem do que ja foi dito na Sec. 2.1)
exigindo-se que as seguintes afirmacoes sejam validas para um mapeamento f : C C:
1. f (z) deve ser univalente e analtica para qualquer z C.
2. f (z) =

df
, z C.
dz

3. f (z1 + z2 ) = f (z1 )f (z2 ), z1 , z2 C.

Note que, apesar de (|z|2 ) = x2 + y 2 e (|z|2 ) = 0 terem derivadas contnuas , isto nao garante que |z|2 seja
diferenciavel.

34

De (3), tem-se f (2z) = [f (z)]2 . Se z = 0, f (0) = [f (0)]2 f (0)[f (0) 1] = 0. Ou seja, ou

f (0) = 0 ou f (0) = 1. De (3) e de (2),
[
]
df
f (z + z) f (z)
f (z)f (z) f (z)
f (z) 1
= lim
= lim
= f (z) lim
= f (z)
z0
z0
dz z0
z
z
z
Portanto,

f (z) 1
= 1 ou f (z) = 0
z0
z
f (z) 1
= 1. Se limz0 f (z) f (0) = 0, entao
Como, por definicao, f (z) = 0, limz0
z
f (z) 1
limz0
= 1 nao seria verdadeira, alem do lado esquerdo da equacao divergir. No enz
1 + z 1
f (z) 1
=
= 1, onde aproximamos
tanto, se limz0 f (z) f (0) = 1, entao limz0
z
z
f (z) = 1 + z se z for pequeno o suficiente. Isto e equivalente a dizer que limz0 (f (z) 1) =
df 
= 1.
limz0 z 0. Logo, f (0) = 0 e f (0) =
dz z0
df
A condicao (1) diz que f (z) deve obedecer Cauchy-Riemann. Logo, f (z) = u + iv =
=
dz
u v
v u
u
v
v
u
u
+i
=
i , donde u =
=
ev=
=
. As funcoes u e v que satisfazem u =
x x
y y
x
y
x
y
x
v
u
ev =
sao u = a(y)ex e v = b(y)ex . Substituindo nas condicoes de Cauchy-Riemann ,
=
x
x
v
db v
u
da
a=
e
=
b = . A solucao destas equacoes fornece b = A cos y + B sin y
y
dy x
y
dy 
df 
e a = A sin y + B cos y. De f (0) =
= 1, tem-se B + iA = 1, ou seja, A = 0 e B = 1.
dz 0
Portanto, a funcao procurada e dada por f (z) = exp(z) = ex (cos y + i sin y) = ex eiy = ex+iy = ez .
df
Verifica-se que exp(z) e inteira, pois f (z) =
. Como exp(z) e contnua em qualquer z C, logo
dz
sua derivada tambem e contnua (e todas as derivadas subsequentes).
z j
|z|j
|z|
Vimos anteriormente que ez =
.
Como
e
=
e uma serie convergente,
j=0
j=0
j!
j!

zj
a expansao em series de potencia ez =
tem raio de convergencia infinito. Ja verificamos
j=0
j!
anteriormente que eiy = cos y +i sin y atraves da representacao em serie de cada uma destas funcoes.
Generalizando, pode-se definir
lim

cos z =

eiz + eiz
2

e sin z =

eiz eiz
2i

(iz)j
resulta na expansao em series de potencia de cos z e sin z. Verifica-se
j=0
j!
tambem que cos2 z + sin2 z = 1. As demais funcoes trigonometricas seguem dessas definicoes para
cos z e sin z.
Substituindo eiz =

35

Funcoes hiperbolicas sao definidas de forma semelhante

cosh z =

ez + ez
2

e sinh z =

ez ez
2

de forma que cosh z = cos(iz) e sinh z = i sin(iz). Portanto, cosh2 z sinh2 z = 1. As demais
funcoes hiperbolicas seguem destas definicoes.
O logaritmo natural de z e definido como ef (z) = z. Logo, eu (cos v + i sin v) = r(cos + i sin ),
o que fornece eu = r e v = + 2n, n Z. Assim, Re(ln z) = ln r e (ln z) = + 2n. Deste modo,
a funcao logaritmo natural de z e definida como:
f (z) = ln z = ln r + i( + 2n)
onde n = 0, 1, 2, . . .. Note que o argumento de z e estabelecido a menos de uma constante
m
ultipla de 2, o que faz com que ln z seja multivalente, pois um mesmo valor de z corresponde a
mais de um valor de ln z (neste caso, infinitos valores de ln z).
O logaritmo principal Lnz e a funcao logaritmo de z, definida de modo a ser univalente da
seguinte forma
Lnz = ln r + i,

Observe que
(
)
lim Lnz = lim Ln rei() = ln r + i,

mas

(
)
lim Lnz = lim Ln rei() = ln r i.

Portanto, Lnz e descontnuo em = , ou seja, no eixo real negativo (x < 0 e y = 0) .

Uma propriedade importante e que dada uma funcao analtica f : D C, onde w = f (z), suas
partes real u = (w) e imaginaria v = (w) satisfazem `a equacao de Laplace em duas dimensoes.
Isto pode ser verificado utilizando Cauchy-Riemann para mostrar que o laplaciano 2 aplicado a u
ou a v (2 u e 2 v) e igual a zero:
2 u =

2u 2u
2v
2v
2v 2v
2u
2u
2
+
=

=
0
e

v
=
+
=

+
=0
x2 y 2
xy yx
x2 y 2
xy yx

desde que u e v tenham derivadas contnuas. Logo, em um ponto z C, u e v satisfazem `a equacao

de Laplace se w = u + iv for analtica neste ponto. Funcoes que satisfazem `a equacao de Laplace
sao chamadas de funcoes harmonicas.
Podemos conluir, entao, que:
as partes real e imaginaria de uma funcao analtica sao funcoes harmonicas e que, ainda,
satisfazem `as condicoes de Cauchy-Riemann;
um par de funcoes harmonicas e nao necessariamente definem uma funcao diferenciavel
+ i (por exemplo, = x e = 2y sao harmonicas, mas a funcao complexa f (z) = x + i 2y
nao e diferenciavel). Entretanto, se este par de funcoes harmonicas satisfaz `as condicoes de
Cauchy-Riemann entao f (z) = + i e analtica.

ou ramo principal da func

ao multivalente ln z.
Veremos mais sobre ln z nas proximas aulas.

36

Em Fsica, a equacao de Laplace aparece corriqueiramente. Na eletrostatica, dinamica de fluidos

(incompressvel e irrotacional) e no estudo de transferencia (estacionaria) de calor, o potencial
eletrico, a funcao escoamento e a temperatura satisfazem `a equacao de Laplace. Se o sistema
tiver duas dimensoes ou se for possvel utilizando simetria reduz-lo a duas dimensoes, pode-se
relacionar funcoes complexas a quantidades fsicas.
Como exemplo, tenha um filamento fino e longo carregado eletricamente, com densidade de
carga linear = constante. Este e um sistema que pode ser tratado como bi-dimensional, pois
tem simetria cilndrica. Sabemos, utilizando a lei de Gauss, que o modulo do campo eletrico

em um ponto (x, y) e dado por E =

, onde 0 e a permissividade eletrica do vacuo e r =
20 r

(x x0 )2 + (y y0 )2 = |z z0 | e a distancia do fio ao ponto (x, y). Logo, a menos de um potencial

dr = ln r. Mas tambem
de referencia, o potencial eletrico em (x, y) e dado por = E
20
sabemos que satisfaz `a equacao de Laplace, exceto na posicao onde se encontra o filamento

ln |z z0 | pode ser considerado como a parte real de um potencial

carregado. Portanto, =
20

complexo, (z) = (z) + i(z) =

ln(z z0 ), onde () = = const. sao circunferencias
20
concentricas a z0 e () = = const. sao raios emanando de z0 . Estas curvas sao ortogonais entre
si, exceto em z = z0 .
Um sistema com N filamentos carregados j localizados em zj , pode ser entao dado pelo potencial
N
camplexo =
ln(z zj ). Na figura 2.4(d) sao mostradas as curvas equipotenciais de
20 j=1
1
() e () para um filamento de carga em z = z0 = 1/5 e outro de carga em z =
.
2z0

2.3

Mapeamento Conforme

Consideremos uma funcao analtica z (z) =

u(x, y) + iv(x, y) em D C. A regiao D
e mapeada do planoz para o planow e
y
y'
C1
curvas C1 e C2 em z sao levadas em curC1'
z' = f(z)
vas C1 e C2 em w, conforme mostrado na
Fig. 2.5. Digamos que em z0 = (x0 , y0 ) as
'
y0
C2
C2'
y0'
curvas C1 e C2 se cruzem e facam angulo
si igual a . Sob a aplicacao de
x' entre
x
x0
x'0

z = z(z), z0 e transformado no ponto

z0 , onde as curvas C1 e C2 formam um
angulo . Uma transformacao deste tipo

Figura 2.5: Representacao esquematica de um mapeamento z = e chamada de mapeamento conforme se,

z(z) que leva as curvas C1 e C2 em z para as curvas C1 e C2 em
alem de z (z) ser analtica, para qualquer
z . Se este mapeamento for conforme, no ponto (x0 , y0 ) o angulo
dz
e igual ao angulo em (x0 , y0 ).
z D,
= 0. Verifica-se que este madz
peamento preserva angulos, i.e., = .
Se = , cos = cos . Digamos que tk , k = 1, 2 sejam os vetores tangentes `as curvas C1 e C2
em z. Da mesma forma, sejam tk , k = 1, 2 os vetores tangentes `as curvas C1 e C2 em z . Podemos
37

escreve-los da seguinte maneira:

xxk + yyk
xxk + yyk
tk =
e tk =
(xk )2 + (yk )2
(xk )2 + (yk )2
Observe que t1 t2 = cos e t1 t2 = cos . Entao:
t1 t2 =

x1 x2 + y1 y2

e t1 t2 =

[(x1 )2 + (y1 )2 ][(x2 )2 + (y2 )2 ]

x1 x2 + y1 y2
[(x1 )2 + (y1 )2 ][(x2 )2 + (y2 )2 ]

Temos de mostrar que estas equacoes sao iguais se o mapeamento for conforme. Para isto, escreve-se
xk =

u
v
u
v
xk +
yk e yk =
xk +
yk
x
y
x
y

tanto para k = 1, como para k = 2. Utilizando Cauchy-Riemann , as equacoes se tornam

xk =

u
v
v
u
xk
yk e yk =
xk +
yk
x
x
x
x

Observando que desta forma

u v
v u
v v
u u
x1 x2
x1 y2
y1 x2 +
y1 y2
x x
x x
x x
x x
v v
v u
u v
u u
+
x1 x2 +
x1 y2 +
y1 x2 +
y1 y2
x
x]x
x x
x x
[(x )
( )2
2
u
v
=
+
(x1 x2 + y1 y2 )
x
x

x1 x2 + y1 y2 =

e que fazendo 1 2,
(xk )2 + (yk )2 =

[(

u
x

)2

(
+

v
x

)2 ]

[
]
(xk )2 + (yk )2

para k = 1, 2. Observe tambem que

 2 ( )2 ( )2
 dz 
  = u + v
 dz 
x
x
dz
u
u
u
Portanto, desde que, em um ponto z0 , tenhamos
=
+i
= 0, ou seja nao tenhamos
=0
dz
x
x
x
v
e
= 0, encontramos que
x
 2
 dz 
  (x1 x2 + y1 y2 )
 dz 
x1 x2 + y1 y2
=
t1 t2 =  2
= t1 t2
2 + (y )2 ][(x )2 + (y )2 ]
 dz 
[(x
)
1
1
2
2
 
[(x1 )2 + (y1 )2 ] [(x2 )2 + (y2 )2 ]
 dz 
38

dz
= 0 neste ponto .
dz
Uma observa
cao importante e que dada uma funcao complexa z = f (z), analtica em z0 C e


dz 
= 0, i.e., e um mapeamento conforme, existe uma u
nica inversa z = F (z ), univalente
onde
dz z0

dz 
1

 . Isto permite
e analtica, de z = f (z) na vizinhanca de z0 = f (z0 ). Alem disso,
=


dz 
dz z
0
dz 

Logo, = em z0 , desde que z (z) seja analtica e

z0

que a transformacao de z para z seja feita tambem de z para z (embora nem sempre seja possvel
encontrar uma expressao simples para o mapeamento).
Uma propriedade importante dos mapeamentos conformes com aplicacao em Fsica se deve ao
fato de que se uma funcao f for harmonica em z = (x, y), sob um mapeamento conforme z = z (z),
f (z ) e harmonica tambem em z = (x , y ). Isto permite que, se a solucao de um problema que
satisfaz a equacao de Laplace for conhecida, e possvel (mas nem sempre simples), utilizando algum
mapeamento conforme apropriado, mapear esta solucao em outra geometria na qual nao se conhece
a solucao da equacao de Laplace.
Para mostrar isto, tomemos uma funcao complexa = U + iV , cujas partes real e imaginaria
sao harmonicas em uma regiao do planoz. Logo,
}
( 2
){
U

V
V
U
2
U
=0
=
,
=
,
+
V
x
y
x
y
x2 y 2
Utilizando a regra da cadeia e Cauchy-Riemann ,

x
y
x
x
=
+
=

x x x x y
x x y y

x
y
y
y
=
+
=

+
y y x y y
x x y y

Tanto em [Dennery], como em [Churchill] isto e mostrado de forma diferente. Tomemos as curvas mostradas na
Verifica-se
Fig. 2.5. Digamos que 1 e 1 sejam os angulos que C1 e C1 fazem com o eixos x e x , respectivamente. (
)
dz
dz
dz

que z =
z pela regra da cadeia. Logo, se
= 0 podemos definir que arg(z ) = arg(z) + arg
, de
dz
dz
dz
( )
dz
modo que, quando 0, isto resulta em 1 = 1 + 1 , onde 1 = arg
.
dz
z z1

=
Para um ponto z sobre C1 e z (z) em C1 , temos z z1 = rei e z z1 = r ei . Desta forma, teremos
z z1

r i( )
e
. Quando z z1 , 1 (angulo que C1 faz com o eixo x) e 1 (angulo que C1 faz com o eixo
r

 


 dz  i
z z1
dz 
necessario

 e . z (z) e analtica, dz  = 0 e = 1 1 . E
x ). Alem disto, limzz1

=
 dz 

z z1
dz z1
dz
z1
z1


dz 
dz 

que a
= 0 para que haja correspondencia biunvoca entre z e z na vizinhanca de z1 . Se
= 0 deixa de
dz z1
dz z1
dz
z de modo que
existir correspondencia biunvoca entre z e z na vizinhanca de z1 , nao podemos definir z =
dz
( )
dz
arg(z ) = arg(z) + arg
, pois z = 0, e o mapeamento deixa de ser conforme.
dz
O mesmo raciocnio segue se utilizarmos a curva C2 ao inves de C1 . Tem-se entao que = 2 2 = 1 1 , ou
seja = 2 1 = 2 1 = .

39

Portanto,
} [
( 2
){
(
)
(
)] {
}

x
x

y
y
U
U
+
=

+
+
V
V
x2 y 2
x x x y y
y
x x y y
[(
)(
) (
)(
)] {
}
x
x
x
x
y
y
y
y
U
=

+
+

+
V
x x y y
x x y y
x x y y
x x y y
[(
]
)2 (
)2 ( 2
)2 {
}

2
y
x
U
=
+
+
V
x
y
x2 y 2
[
]
{
}
x 2 x
x 2 x
y 2 y
y 2 y

U
+

x xx y yx x xx y yx x V
[
]
{
}
x 2 x
y 2 y
y 2 y
x 2 x

U
+
+

+
x xy y yy x xy y yy y V
[
] 2 {
}
x x
x x
y y
y y

+
+
+
x y y x x y y x xy V
O segundo e o terceiro termos da u
ltima igualdade se anulam, porque cada um dos termos dentro dos
2x
x
2y
y
colchetes se anula, e.g.,
=
=
0,
=
= 0, e utilizando Cauchy-Riemann ,

xy
y x
yy
y y
2x
y
y
2y
x
x
=

=
0,
=
=
= 0 e de maneira semelhante para os

yy
y x
x y
xy
x x
x x
outros termos. O quarto termo da u
ltima igualdade tambem se anula, se considerarmos as condicoes
de Cauchy-Riemann , pois
(
)
x x
x x
x x
y y
y y
x x
+
+
+
=2

=0
x y y x x y y x
x y x y
Portanto,
(

2
2
+
x2 y 2

){

U
V

[(

}
=

x
x

)2

(
+

y
y

)2 ] (

2
2
+
x2 y 2

)2 {

U
V

 2 ( 2
}
)2 {
 dz 

2
U


=  
+
V
dz
x2 y 2

Logo, dado um o mapeamento z = z (z) seja conforme, as funcoes U = () e V = ()

harmonicas em uma regiao do planoz, serao tambem harmonicas na regiao mapeada conformemente no planoz .

2.3.1

Transforma
co
es homogr
aficas

az + b
, onde ad bc = 0 e c = 0 e chamada de transformacao
cz + d
homografica . Esta transformacao se caracteriza por mapear conformemente (exceto em z = d/c,
z (z) e analtica e possui derivada nao nula) circunferencias no planoz em circunferencias no
planoz (ou retas, se lembrarmos que retas podem ser tratadas como uma circunferencia de raio
Uma transformcao do tipo z =

Tambem chamadas de transformac

oes de Moebius. Uma animacao mostrado graficamente as propriedades destas
tranformacoes pode ser envontrado em http://www.ima.umn.edu/~arnold/moebius/

40

infinito). Antes, entretanto, note que z =

transformacoes conformes:

az + b
pode ser formada pela seguinte sequencia de
cz + d

1. z1 = z + d
2. z2 = c2 z1
3. z3 =

1
z2

4. z4 = (bc ad)z3
a
+ z4
c
As tranformacoes 1 e 5 sao exemplos de translacoes, enquanto que 2 e 4 sao exemplos de transformacoes de similaridade (dilatacao/ ou contracao, mantendo a forma da curva em z). A transformacao 3 ze uma inversao, pois, por exemplo, mapeia a circunferencia |z| = 1 nela mesma,
enquanto que o interior (exterior) de z = 1 e mapeado no exterior (interior) de |z | = 1. 



1
1
Para exemplificar, considere |z a| = r, onde r > 0 R e facamos z = . Teremos  a =
z
z

r |1 az | = r|z |, que, ao quadrado se torna, |1 az | = (1 az )(1 az ) = 1 (az + az ) +

(az )

|az |2 = r2 |z |2 . Ou seja, (r2 |a|2 )|z |2 + 2(az ) 1 = 0. Se r = |a|, entao |z |2 + 2 2

r |a|2
1
= 0. Mas se temos uma circunferencia em z , teremos que esta equacao deve corresponder
2
r |a|2
a |z a | = r . Portanto, |z |2 (a z + a z ) + |a |2 = r2 |z |2 2(a z ) + |a |2 r2 = 0.
1
(az )
2
2
Igualando os termos em mesma ordem de z , temos 2
=
r
|a
|
e
= (a z ). Desta
r |a|2
r2 |a|2
a
a
1
ou a = 2
. Substituindo em 2
= r2 |a |2 , encontramos r2 =
maneira, a = 2
2
2
r |a|
r |a|
r |a|2
1
|a|2
r2
r
+
=
, ou seja, r = 2
. Logo, se r = |a|, a circunferencia
2
2
2
2
2
2
2
2
r |a|
(r |a| )
(r |a| )
|r |a|2 |
r
a
|z a| = r e mapeada em |z a | = r , onde r = 2
e a = 2
.
2
|r |a| |
r |a|2
1
1
Se r = |a|, entao (r2 |a|2 )|z |2 + 2(az ) 1 = 0 se torna (az ) =
(a) x (a) y =
2
2
que e a equacao de uma reta (ou uma circunferencia de raio R ).
5. z =

2.3.2

Aplicaco
es de Mapeamento Conforme: Potencial El
etrico em torno
de Condutores Cilndricos

Digamos que se deseje conhecer o potencial eletrico, U (x, y), em torno de dois cilindros longos
condutores disjuntos, em potenciais V1 e V2 e de raios R1 e R2 (R1 + R2 < D, onde D e a distancia
entre os centros dos cilindros). Antes de mais nada, este sistema pode ser considerado bidimensional
devido ao fato de os cilindros serem longos (i.e. comprimento dos cilindros, L r1 e L r2 ).
Portanto, a regiao entre os cilindros pode ser tratado como a regiao no planoz entre duas circunferencias de raios R1 e R2 , separadas por distancia D. Entretanto, a geometria deste sistema ainda
41

torna intrincada a solucao da equacao de Laplace em duas dimensoes. Entretanto, se for possvel
mapear esta geometria em uma geometria mais simples, atraves de mapeamento conforme, onde
conhecemos o potencial eletrico, podemos encontrar U na regiao entre os cilindros.
Por simplicidade, normalizemos as dimensoes espaciais pelo raio do cilindro 1, R1 , e deixemos
z
este cilindro centrado na origem. Isto equivale a fazer a transformacao conforme z1 =
. Desta
R1
forma, em z1 , o cilindro 1 e definido por |z1 | = 1 e o cilindro 2, por |z1 d| = r2 , onde d = D/R1 e
r2 = R2 /R1 .
Deseja-se uma transformacao conforme que mapeie a geometria acima em outra regiao no
planow em que conhecemos o potencial eletrico, como, por exemplo, a regiao entre dois cilindros concentricos. Sabe-se que uma transformacao homografica w(z ) transforma circunferencias
em z em circunferencias em w. Portanto, considere
w(z1 ) =

z1 a
, aR
az1 1

onde z1 = a e z1 = 1/a Observe que a transformacao inversa, que mapeia w em z1 e dada por
z1 (w) =

wa
, aR
aw 1

Esta transformacao mapeia |z1 | = 1 em

 i
 i
i


(e

a)
(e

a)
a2 2a cos + 1
e

a
=
|w(ei )| =  i
=
=1
ae 1 
(aei 1) (aei 1)
a2 2a cos + 1
ou seja, a circunferencia de raio 1 centrada na origem e mapeada em uma circunferencia de raio 1
na origem.
Para pontos sobre a circunferencia de raio r2 em d, temos


 wa

|z1 d| = r2 
d = r2 |(1 ad)w (a d)| = r2 |aw 1|
aw 1
Ou seja,
|(1ad)w(ad)|2 = r22 |aw1|2 [(1ad)2 a2 r22 ]|w|2 2[(ad)(1ad)ar22 ](w)+(ad)2 r22 = 0



1
2
2 2
Se (1 ad) = a r2 ou  d = r2 , a expressao acima se torna,
a
|w|2 2

(a d)2 r22
(a d)(1 ad) ar22
(w)
+
=0
(1 ad)2 a2 r22
(1 ad)2 a2 r22

Para que esta curva seja uma circunferencia, tem-se que |w dw | = r2w , i.e.,
2
= 0.
|w|2 2dw (w) + d2w r2w

Logo,
dw =

(a d)(1 ad) ar22

(1 ad)2 a2 r22

e
42

2
r2w
= d2w

(a d)2 r22
(1 ad)2 a2 r22

Como queremos que o cilindro 2 seja mapeado em um cilindro concentrico com o cilindro 1, dw = 0.
Desta maneira,
(
)
1
1 + d2 r22
1 + d2 r22
2
2
(a d)(1 ad) ar2 = 0 a + =
a
a+1=0
a
d
d
cuja solucao e
1+d
2

a=

r22

2
(1 + d2 r22 ) (2d)2
2d

1 + x1 x2 +

(x21 1)(x22 1)
x1 + x2

onde consideramos o sinal positivo e fizemos x1 = d + r2 e x2 = d r2 (perceba que x1 e x2

sao as coordenadas da circunferencia |z1 d| = r2 no eixo real), x1 x2 = d2 r22 , x1 + x2 = 2d e
2
(1 + d2 r22 ) (2d)2 = (1 + x1 x2 )2 (x1 x2 )2 = 1 x21 x22 + x21 x22 = (x21 1)(x22 1). Observe que

1 + x1 x2 (x21 1)(x22 1)
1
1 + d2 r22
1 + x1 x2
1
a+ =
=2

=
a
d
x1 + x2
a
x1 + x2
Para saber qual e o raio r2w da circunferencia em que |z1 d| = r2 e mapeada, temos
2
r2w
=

(a d)2 r22
[(
]
)2
1
a2
d r22
a

onde utilizamos que dw = 0. Porem,

{
}
{
}
2(1 + x1 x2 ) (x1 + x2 )2 2 (x21 1)(x22 1)
x1 + x2
a
a
=
=
d=

1/a
1/a
2
2(x1 + x2 )

(x21 1)(x22 1)
2(1 + x1 x2 ) (x1 + x2 )2
onde =
e=
. Desta forma,
2(x1 + x2 )
(x1 + x2 )
(a d)2 r22
( + )2 r22
2 + 2 r22 + 2
]
=
(ar2w )2 = [(
=
)2
( )2 r22
2 + 2 r22 2
1
2
d r2
a
onde
4(1 + x1 x2 )2 + (x1 + x2 )4 4(x1 + x2 )(1 + x1 x2 )
4(x1 + x2 )2
(1 + x1 x2 )2 (x1 + x2 )2
2 =
(x1 + x2 )2

[2(1 + x1 x2 ) (x1 + x2 )2 ] (x21 1)(x22 1)

=
(x1 + x2 )2
(
)2
x1 x2
(x1 x2 )2
r22 =
=
2
4
2 =

43

1
0.5
v

2
1.5
1
0.5
0
-0.5
-1
-1.5
-2

0
-0.5
-1

-1.5 -1 -0.5 0 0.5 1 1.5 2 2.5

-1

-0.5

0.5

z a
w = az
1
1

0.5

-0.5
-1
-1 -0.5

0.5

1.5
1
0.5
0
-0.5
-1
-1.5
-1.5 -1 -0.5 0 0.5 1 1.5

Figura 2.6: Mapeamento conforme de z = z1 para w(z), onde x1 > x2 > 1 e r2w < 1 na parte superior e
1 > x1 > x2 > 1 e r2w > 1 na parte inferior.

44

Portanto,
+
2

r22

4(1 + x1 x2 )2 4(x1 + x2 )2 (1 + x1 x2 ) + (x1 + x2 )4 + 4(1 + x1 x2 )2 4(x1 + x2 )2 (x21 x22 )2

=
4(x1 + x2 )2
8(1 + x1 x2 )2 4(x1 + x2 )2 (2 + x1 x2 ) + (x1 + x2 )4 (x21 x22 )2
=
4(x1 + x2 )2

Mas (x1 + x2 )4 (x21 x22 )2 = 4x31 x2 + 8x21 x22 + 4x1 x32 = 4x1 x2 (x1 + x2 )2 . Logo,
8(1 + x1 x2 )2 + 4(x1 + x2 )2 (x1 x2 2 x1 x2 )
4(x1 + x2 )2
2(x21 1)(x22 1)
2[(1 + x1 x2 )2 (x1 + x2 )2 ]
=
=
(x1 + x2 )2
(x1 + x2 )2

2 + 2 r22 =

Portanto,

2
2
2
2
2
2
2(x

1)(x

1)
+
[2(1
+
x
x
)

(x
+
x
)
]
(x21 1)(x22 1)

r
+
2
1 2
1
2
1
2
2

(ar2w )2 = 2
=
+ 2 r22 2
2(x21 1)(x22 1) [2(1 + x1 x2 ) (x1 + x2 )2 ] (x21 1)(x22 1)

Denotando k = x2k 1, onde k = 1, 2,

)2
)2
(
(

21 2 (1 + 2 ) 1 2
1 2 2 1 2 (1 + 2 )
21 2 (1 + 2 ) 1 2
2

=
=
(ar2w ) =
412 22 (1 + 2 )2 1 2
1 2
21 2 12 22
21 2 + (1 + 2 ) 1 2
)2
(
2 1 2 (1 + 2 )
=
(1 2 )2
Logo,
r2w

 

 1   2 1 2 (1 + 2 ) 

=   

a
1 2




 1 + x x (x2 1)(x2 1)   2(x2 1)(x2 1) (x2 + x2 2) 




1 2
1
2
1
2
1
2
=


2
2



x1 + x2
x1 x2





2
2
2
2
2
2
2
2
[2(1 + x1 x2 ) + x1 + x2 2] (x1 1)(x2 1) (1 + x1 x2 )(x1 + x2 2) 2(x1 1)(x2 1)
=
(x1 + x2 )2 |x1 x2 |





(x1 + x2 )2 (x21 1)(x22 1) (1 + x1 x2 )[(x1 + x2 )2 2(1 + x1 x2 )] 2(1 + x1 x2 )2 + 2(x1 + x2 )2 
=
(x1 + x2 )2 |x1 x2 |





2
2
2
2
(x
+
x
)
(x

1)(x

1)
+
(x
+
x
)
[2

(1
+
x
x
)]
 1
2
1
2
1 2 
1
2
=
(x1 + x2 )2 |x1 x2 |

onde da antepen
ultima para a pen
ultima passagem utilizamos x21 + x22 2 = (x1 + x2 )2 2(1 + x1 x2 )
e (x21 1)(x22 1) = (1 + x1 x2 )2 (x1 + x2 )2 . Portanto,




 (x21 1)(x22 1) + 1 x1 x2 
r2w =
|x1 x2 |
45

Nesta expressao para r2w , afirmamos inicialmente que x1 = d + r2 > d r2 = x2 , logo x1 x2 > 0.
O numerador, entretanto, e positivo ou negativo dependendo de x1 > x2 > 1 ou 1 > x1 > x2 > 1,
porque (1 x1 x2 )2 > (x21 1)(x22 1) = (1 x1 x2 )2 (x1 x2 )2 . Logo, para x1 > x2 > 1

x1 x2 1 (x21 1)(x22 1)
r2w =
x1 x2
e os dois cilindros separados a uma distancia d sao mapeados em dois cilindros concentricos, com o
cilindro |z1 d| = r2 mapeado no cilindro interno de raio r2w < 1. Entretanto, se 1 > x1 > x2 > 1,

(x21 1)(x22 1) + 1 x1 x2
r2w =
x1 x2
e a regiao entre uma circunferencia interna de raio r2 e outra externa, de raio r1 = 1, cujos centros
estao separados por uma distancia d < r1 r2 e mapeado na regiao interna de duas circunferencias
concentricas de raio 1 e raio r2w > 1. Estes mapeamentos sao mostrados na Fig. 2.6. Uma tabela com
diversos mapeamentos conformes, inclusive este acima, pode ser obtida no [Churchill, Apendice 2].
Conhecemos o potencial eletrico na regiao entre os cilindros concentricos, delimitados por |w| = 1
e |w| = r2w . Podemos escreve-lo como
U (u, v) =

A
ln(u2 + v 2 ) + B,
2

onde as constantes A e B sao determinadas pelas condicoes de contorno (neste caso, de Dirichlet,
pois sabemos que U1 e U2 sao os valores de U em cada um dos cilindros). Porem, U e a parte real
do potencial complexo
F = A ln w + B = U + iV,
onde F e funcao analtica nos pontos em que U for harmonica . Condicoes de contorno do tipo
U = c, onde c e constante permanece inalterada por um mapeamento conforme, w = w(z), pois
curvas equipotenciais de U em z sao mapeadas em curvas equipotenciais de U em w . Das condicoes
de contorno dadas, temos U (|w| = 1) = U1 = A ln |1|+B = B e U (|w| = r2w ) = U2 = A ln |r2w |+U1 .
U2 U1
Logo A =
e B = U1 . Mapeando de volta a z1 , w = (z1 a)/(az1 1), e portanto:
ln r2w


U2 U1
U2 U1  |z1 |2 2a(z1 ) + a2 
F=
ln w + U1 =
ln
+ U1
ln r2w
2 ln r2w  a2 |z1 |2 2a(z1 ) + 1 

1 + x1 x2 + (x21 1)(x22 1)
, x1 = d + r2 = (D + R2 )/R1 e x2 = d r2 ==
onde z1 = z/R1 e a =
x1 +
x2
x1 x2 1 (x21 1)(x22 1)
(D R2 )/R1 . Se r2w =
, entao 1 < x2 < x1 e determinamos o
x1 x2

Note que

= U U i U = U + i V = dF
E
x
y
x
x
dz
tem direcao ortogonal `as curvas equipotenciais de U . Como as curvas
pois F e analtica. Ainda mais, observe que E

em que U e V s
ao ortogonais em um ponto z, as equipotenciais de V sao as linhas de campo do vetor E.

Para informac
oes mais detalhadas sobre como as condicoes de contorno sao modificadas sob transformacao
conforme, ver [Churchill, pp. 177-179]

46

10

-2

-1

-4

-2

-6

-3

-5

-2

10

-10

-3

-2

-1

-5

x
3

-1

-1

-1

-2

-2

-2

-3

-3
-3

-2

-1

10

15

-3
-3

-2

-1

-3

-2

-1

Figura 2.7: Curvas equipotenciais de U (x, y) (em cores) e linhas de campo eletrico (em preto) para diferentes
valores de D, R1 e R2 . Utilizou-se U1 = 1 e U2 = 1.

potencial el
etrico U na regiao em torno dos cilindros separados por distancia d > r1 +r2 . Entretanto,

(x21 1)(x22 1) + 1 x1 x2
se r2w =
, entao 1 < x2 < x1 < 1 e determinamos o potencial
x1 x2
eletrico U na regiao entre duas cascas cilndricas uma interna a outra, mas nao necessariamente
concentricas. Entao, para ambos os casos (tendo o cuidado de escolher o valor de r2w correto)


U2 U1  x2 + y 2 2ar1 x + r12 a2 
ln
+ U1
U (x, y) =
2 ln r2w  a2 (x2 + y 2 ) 2ar1 x + r12 
Graficos das curvas equipotenciais de U para diferentes valores de D, R1 e R2 sao mostrados na

Fig. 2.7 (sao tambem mostradas as linhas de E).

47

Captulo 3
Intergrac
ao de Fun
c
oes Complexas
Uma integral ao longo de uma curva de uma funcao f (z) definida em D C e definida a partir da
definicao usual de integral definida,

f (z)dz = lim

zk 0

f (zk )zk

N k=1

onde zk e um ponto sobre uma curva (que varia de um ponto inicial z = a1 a um um ponto
final z = a2 e zk e um pequeno segmento em zk . Devido
ao fato

a2de existirem infinitas curvas

diferentes conectando a1 e a2 , e possvel que a integral f (z)dz = a1 f (z)dz tenha valor diferente
dependendo da curva que conecta a1 e a2 .
A integral de f (z) = u + iv pode ser transformada a uma integracao usual com respeito a um
curva z(t) parametrizada por t [ta , tb ] quando z vai de a ate b,

f (z)dz = [u(x, y) + iv(x, y)](dx + idy) = (udx vdy) + i (vdx + udy)

)
)
)
(
tb (
(
tb
dx
dy
dy
dx
dy
dx
=
u v
dt + i
+u
dt =
+i
dt
v
(u + iv)
dt
dt
dt
dt
dt
dt
ta

ta
tb
dz
=
f (z) dt
dt
ta

Uma curva e definida como um mapa : [a, b] C, onde (t) = ((t)) + i((t)) para a t b. (a) e
(b) sao os pontos inicial e final da curva.
Um arco simples, arco contnuo ou arco de Jordan e uma curva que nao intercepta a si mesma, ou seja,
(t1 ) = (t2 ) quando t1 = t2 . Se (a) = (b) (alem de (t1 ) =
(t2 ) quando t1 = t2 ) entao o arco de
Jordan e uma curva simples fechada ou curva de Jordan.
Um caminho (path) e uma colec
ao finita de arcos simples {1 , 2 , . . . , n }, tal que o ponto final de k coincide
como ponto inicial de k+1 .
d
d()
d()
d
=
+i
existe e
= 0 para t [a, b].
dt
dt
dt
dt
Contorno (contour ) e um caminho cujos arcos sao suaves. Quando o ponto inicial de 1 coincide com o ponto
final de n , o contorno e dito contorno simples fechado.
Arco suave (smooth arc) e uma curva na qual a derivada

48

Se uma f (z) for igual `a derivada de uma funcao F (z) em um contorno , i.e., f (z) =
entao F (z) e denominada de primitiva de f (z). Para z ao longo do contorno , temos

tb
tb
tb
dz
dF (z) dz
dF [z(t)]
f (z)dz =
f (z) dt =
dt =
dt = F (b) F (a)
dt
dz dt
dt

ta
ta
ta

dF (z)
,
dz

As propriedades e as regras de integracao de uma funcao complexa sao analogas `as de uma
funcao real, i.e.,
Linearidade:

[f (z)dz + g(z)dz] = f (z)dz +

af (z)dz = a f (z)dz

g(z)dz

para uma constante a C.

Se o contorno e dividido em contornos conectados 1 e 2 (atravessados no mesmo sentido
que ), entao

f (z)dz =
f (z)dz +
f (z)dz.

Se o contorno e atravessado no sentido oposto (designemos isto por um contorno ), entao

f (z)dz = f (z)dz.

Se f (z) e g(z) forem diferenciaveis em um contorno , entao

d
df
dg
[f (z)g(z)] = g + f .
dz
dz
dz
Consequentemente, para indo de z = a a z = b,

df
dg
g(z)dz = f (b)g(b) f (a)g(a) f (z) dz.
dz
dz

Exemplos de integrais definidas

Tenhamos 1 zdz, onde 1 e o segmento de reta y = x em 0 x 1. Parametrizando em t, de

forma que x = t, temos z = x + iy = (1 + i)t e dz = (1 + i)dt, com t [0, 1]. Logo,

I1 =

(1 + i)2 tdt =

zdz =
0

49

(1 + i)2
= i.
2

Figura 3.1: Esquerda: curvas dadas por y = tn , x = t e t [0, 1]. Direita: Caminhos de integracao C + e C .

Se utilizassemos outra curva, e.g., (cf. Fig. 3.1) sendo dada por x = t e y = tn (ou seja, y = xn )
em t [0, 1], teramos, z = t + itn e dz = dt(1 + i ntn1 )

zdz =

dt 1 + i nt

n1

(z = t + i t ) =

[
]
dt t nt2n1 + i(n + 1)tn = i

que independe de n e, portanto, do caminho de integracao neste caso (por exemplo, tente encontrar
e o mesmo do
zdz para = [1 cos ((2n + 1)t)] /2, x = t, x [0, 1] e verifique se o valor
encontrado anteriormente).

Considere agora C dz/z, onde C + (C ) e o arco de circunferencia de 0 a (de 0 a ) conforme

mostra a Fig. 3.1. Tomando z = ei , entao dz = izd, onde 0 para o caminho C + e
0 para o caminho C . Portanto,

dz
=i
d = i
C z
0
o que significa que a integral depende do caminho. De outra forma, para uma circunferencia centrada
em z = 0 e de raio 1 teramos,

I
dz
dz
dz
=i
d =
+
i = 2i.
z
z
z

C
C
C
H dz
Ou seja C
0. Isto se deve ao fato de f (z) = 1/z n
=
ao ser analtica em todos os pontos da regi
ao
z
envolvida pela curva fechada C.

Desigualdade de Darboux

E
possvel conhecer o limite superior de uma integral de contorno. Por exemplo, considere a integral
f (z)dz de uma funcao f (z) : C C, contnua e limitada (i.e., |f (z)| M , M > 0) ao longo de

50

, sendo um caminho (composto por uma conjunto finito de arcos simples k tal que o final de
k1 coincide com o incio de k ) no plano complexo. Portanto, seja


N



 f (z)dz  = lim IN ,
onde IN =
f (zk )zk ,


zk 0

de modo que

k=1



N
N
N





f (zk )zk 
|f (zk )| |zk | M
|zk | .
|IN | = 


k=1

k=1

k=1

Logo,


N



 f (z)dz  M lim
|zk | = M L


zk 0

(3.1)

N k=1

onde L e o comprimento do caminho .

Integrais e func
oes analticas
Existe uma conexao entre funcoes analticas e integrais de caminho que, de certo modo, vimos
quando estudamos campos vetoriais irrotacionais. Para isso, vamos identificar um n
umero complexo
como um vetor em um espaco bidimensional. Ou seja, para f (z) = u(x, y) + i v(x, y), tenhamos
1 = (u, v) e A
2 = (v, u) de forma que,
dr (dx, dy), A

2 dr.
f (z)dz = [u(x, y)+iv(x, y)](dx+idy) = (udxvdy)+i (vdx+udy) = A1 dr +i A

Se Hfor um contorno
fechado, sabemos, do teorema de Green (no plano) ou de Stokes (no espaco) [11],

dr = A
dS,
onde S e a superfcie delimitada pelo contorno , dS
e um elemento inque A
S
= 0 (condicao necessaria
finitesimal de superfcie de direcao perpendicular `a superfcie dS. Se A
seja conservativo) para todos os pontos em S (regiao delimitada
para que o campo irrotacional A
por ), entao
I

dr =
dS
=0
A
A

Quando f (z) for analtica, u e v obedecem a Cauchy-Riemann e portanto,

(
(
(
(
)
)
)
)
v u
u u
u v
u u

A1 = n

=n

= 0 e A2 = n

=n

=0
x y
y
y
x y
x x
onde n
e perpendicular ao planoz. Neste caso, a integral e independente do caminho de integracao,
se f (z) for analtica no contorno.
Note que independencia do caminho de integracao implica em que udx vdy e vdx + udy sejam

,v =
ev =
,u=
(e,
formas diferenciais exatas, i.e., existe funcao F tal que u =
x
y
x
y
1 = (u, v) e A
2 = (v, u) sao campos conservativos), para que
assim, A
] (a2 )

dx +
dy =
d = (a2 ) (a1 )
(udx vdy) =
y
(a1 )

x
51

(vdx + udy) =

] (a2 )

dx +
dy =
d = (a2 ) (a1 )
x
y
(a1 )

=
ev=
=
que sao as condicoes de Cauchy-Riemann para uma
x
y
x
y
funcao analtica F = + i. Portanto, a integral de uma funcao analtica f (z) = u + iv independe
dF
do caminho de integracao. Existe uma funcao analtica F (z), primitiva de f (z), tal que f (z) =
,
dz
que pode ser encontrada utilizando metodos de integracao convencionais.
De maneira mais rigorosa a associacao da independencia da integracao de uma funcao complexa
ao longo de um caminho no plano complexo `a analiticidade da funcao e fornecida pelo teorema de
Cauchy-Gousart: para f (z) analtica em um contorno simples fechado C e em todos os pontos dentro
de C (ou seja, em um domnio simplesmente conexo)
I
f (z)dz = 0
Nestes casos, u =

Para este teorema ser valido e suficiente que as derivadas de f (z) existam em todos os pontos
internos ao contorno simples fechado C.
Para mostrar o teorema de Cauchy-Gousart transcrevo
abaixo o procedimento mostrado nas [Churchill, Secs. 46-49]
na [Dennery, Sec. 11].
Para a funcao inteira f (z) = z n , com n 0, o teorema e
valido pois (i) qualquer curva C finita se encontra dentro da
regiao de analiticidade da funcao e (ii) existe uma primitiva
u
nica posto que
[
]
d z n+1
dF (z)
=
= f (z).
(3.2)
dz
dz n + 1
H
Logo, C z n dz = 0.
No caso mais geral, digamos que A denote o conjunto
de todos os pontos pertencentes ou envolvidos pela curva C
(simplesmente conexo). Digamos que A possa ser subdividido
em um n
umero finito N de subconjuntos Aj . Para isso, constroi-se uma rede de pequenos quadrados sobre A, conforme
mostra a Fig. 3.2. Alguns estarao completamente dentro da
regiao envolvida pela curva C (regioes Aj e Ak , por exemplo),
outros serao transpassados por esta curva (quadrado Bi , por
exemplo).
Considere, entao, a funcao

Figura 3.2: Subdivisao da regiao A (regiao envolvida por C) em quadrados Bl . Os quadrados

Bj = Aj e Ak = Bk estao no interior da regiao
envolvida por C, enquanto que Bi e atravessado
por um trecho de C, onde Ai = A Bi .


df 
(z z0 ).
g(z, z0 ) = f (z) f (z0 )
dz z0

(3.3)

Em um domnio simplesmente conexo D em duas dimensoes todos os pontos zk dentro de qualquer contorno
simples fechado Ck pertecem a D. Em uma linguagem mais informal, um domnio simplesmente conexo e uma regiao
sem furos, ou seja, pode sempre ser deformada para a forma de um disco.

52

e uma constante , arbitraria e positiva, de modo que, para z Aj e z0 Aj , tenhamos

|z z0 | < j (),

|g(z, z0 )| < |z z0 |,

(3.4)

onde j () (positivo) nao depende da escolha de Aj , de z ou z0 . Em outras palavras, em cada Aj existe

um ponto z0 no qual as condicoes acima sao satisfeitas para qualquer ponto z Aj , z = z0 . Mas como
saber se a divisao de A em subconjuntos satisfazendo `a condicao acima e valida?
Para aqueles Aj que satisfazem `a condicao acima, nao ha o que verificar. Entretanto, suponhamos
que existam alguns Aj que nao satisfacam `a condicao. Nestes casos, estes subconjuntos sao subdivididos
em quadrados menores. Aqueles que estiverem na regiao externa `a curva C nao interessam. Se dos que
estiverem dentro ou parcialmente dentro da regiao definida por C ainda existirem subconjuntos que nao
satisfizam `a condicao dada, estes sao subdivididos uma vez mais.
Se apos um n
umero finito de subdivisoes todos os subconjuntos Aj satisfizerem `a condic
ao, ent
ao a
subdivisao do interior de C com a condicao dada pela Eq. (3.4) e valida. Entretanto, suponha que ao
menos um dos subconjuntos nao possa ser dividido em um n
umero finito de vezes de modo a satisfazer `a
essa condicao, digamos Aj (0). Designando a kesima subdivisao por Aj (k) a aresta lj (k) desta e igual `a
metade da aresta lj (k 1) da subdivisao anterior, Aj (k 1). Existe um ponto zj comum a todos os Aj (k)
com vizinhancas que contem cada um dos Aj (k). Bem, como f (z) e analtica entao f (z) e diferenciavel
em alguma vizinhanca de z0 , i.e.,
 

 df 
f (z) f (zj ) 
 
<
 

 dz zj
z zj
para alguma vizinhaca |z zj | < j . Assim, para z0 = zj ,






df 


(z

z
)
|g(z, z0 )| = f (z) f (z0 )
0  < |(z z0 )| < 2lj ,



dz z0
onde lj e aresta da subdivisao Aj (k). Portanto, a Eq. (3.4) e satisfeita. Note que a vizinhanca em que isto
ocorre, digamos depois da kesima subdivisao, implica que tenhamos um n
umero finito de subdivisoes,
pois senao teramos um u
nico ponto sem vizinhanca em que Eq. (3.4) fosse satisfeita o que contraria a
hipotese de f (z) ser analtica. Portanto, e possvel subdividir o conjunto de pontos A (que contem os
pontos envolvidos ou sobre a curva
C) em um n
umero finito de subconjuntos satisfazendo a Eq. (3.4).
H
Agora, note que a integral C f (z)dz (percorrendo C no sentido antihorario) pode ser substituda pela
soma das integrais ao longo do contorno Cj de cada subdivisao Aj (no sentido antihorario) acima descrita,
I
f (z)dz =
C

N I

j=1

f (z)dz.

Cj

Isto porque subdivisoes adjacentes no interior de C possuem arestas comuns cujas contribuic
oes se canceHlam, nrestando aquelas que se encontram ao longo da curva C. Mas podemos utilizar a Eq. (3.3), alem de
Cj z dz = 0, para escrever,
 I
I
I
I
I
df 
(z z0 )dz =
g(z, z0 )dz.
f (z)dz =
g(z, z0 )dz + f (z0 )
dz +
dz z0 Cj
Cj
Cj
Cj
Cj
Portanto,






 
I
I
N I
N
N I
N I



 




 f (z)dz  = 
|g(z, z0 )| |dz| <
g(z, z0 )dz 
g(z, z0 )dz 
2lj
|dz|

 


C
Cj
 j=1  Cj
 j=1 Cj
j=1 Cj
j=1

53

Mas,

I
|dz|
Cj

4lj ,
4lj + sj ,

se Aj estiver no interior da curva C

se Aj possuir na sua fronteira segmento de C

onde sj e o comprimento do arco ao longo de C que faz parte de Aj . Assim, denotando Ni e Nc como o
n
umero de Aj no interior e com parte ao longo de C respectivamente, temos,

I

Ni
Nc
Nc
N



 f (z)dz  < 2 4
lj2 +
(4lj2 + lj sj ) = 2 4
lj2 +
lj sj


C

j=1

j=1

j=1

j=1

2 e a soma das
areas de cada Aj o que nao pode ser maior do que a
Entretanto, temos ainda que N
j=1 lj

2
2
area de um quadrado de lado l e que contenha toda a curva C, i.e., N
em disso, se s e o
j=1 lj < l . Al
Nc
Nc
comprimento da curva C, j=1 sj = s e j=1 lj sj < ls. Portanto,
I
(
)
|
f (z)dz| < 2 4l2 + ls
C

( 2
)
2 4l + ls pode ser feito tao pequeno quanto desejarmos, segue que no limite em que 0
Como
H
| C f (z)dz| 0 e o teorema de Cauchy-Gousart
e mostrado.
H

O exemplo da integral de Hdz/z visto anteriormente parece contrariar o teorema de CauchyGousart, pois tnhamos obtido C dz/z = 2i. Na realidade, o teorema nao poderia ser aplicado `a
toda a regiao envolvida por uma curva fechada C em que haja ao menos um ponto onde a funcao
f (z) nao seja analtica, pois exige analiticidade de f (z) em todos os pontos sobre e envolvidos por
C.
Ha uma maneira de contornar essa situacao para casos como o de f (z) = 1/z: redefine-se o
contorno e a regiao envolvida pelo contorno de modo a a que os pontos de nao-analiticidade da
funcao a ser integrada f (z) estejam na regiao externa ao contorno. Isto
Fig. 3.3
N + na
Ne exemplificado

`a esquerda. Nesta figura e mostrado um possvel contorno C = C0 + k=1 Ck + k=1 lk + N

k=1 lk
que faz com que as singularidades de uma funcao f (z) estejam no exterior de C. Para isto, note que
adotou-se um sentido de integracao antihorario definido como positivo de modo que os trechos
lk+ e lk que conectam os contornos Ck `a curva C0 sao atravessados em sentidos opostos e cada Ck
seja percorrido no sentido horario. Os trechos lk+ e lk sao separados por uma distancia infinitesimal
de modo que suas contribuicoes se cancelam mutuamente. Desta forma, a regiao envolvida pelo
contorno C nao contem as singularidades da funcao f (z). Portanto, f (z) e analtica no interior
e sobre C (entendida aqui como a regi
H ao colorida na Fig. 3.3 `a esquerda) e para este contorno o
teorema de Cauchy-Gousart fornece C f (z)dz = 0.
F
ormula integral de Cauchy

Considere f (z) analtica no interior e sobre o caminho fechado C no sentido positivo. Seja z0 um
ponto qualquer no interior de C. Entao,
I
1
f (z)
(3.5)
f (z0 ) =
dz
2i C z z0
Note que se z0 estiver no exterior da regiao delimitada por C teramos
teorema de Cauchy-Gousart e o integrando ser analtico.
54

H
C

dz

f (z)
= 0 devido ao
z z0

Figura 3.3: Possvel contorno para integracao de

f (z)dz em uma regiao onde f (z) possui singularidades (pontos).

C
Os contornos internos Ck sao atravessados no sentido horario, enquanto que os segmentos lk+ e lk se encontram a
uma distancia infinitesimal um do outro, sendo atravessados em sentidos opostos. O contorno resultante envolve
somente a parte colorida.

Para mostrar a formula integral de Cauchy, perceba antes que

g(z) =

f (z)
z z0

e analtica em toda a regiao envolvida por C, exceto em z = z0 . Para podermos utilizar o teorema de
Cauchy-Gousart podemos aplicar um contorno que deixe o ponto z0 na regiao no exterior da regiao de
integracao (como mostrado na direita da Fig. 3.3). Consideremos, ainda, que o contorno envolvendo z0
seja uma circunferencia centrada em z0 de raio infinitesimal , i.e., z () z0 = ei . Portanto,
I
I
I

f (z)
f (z)
f (z)
f (z)
f (z)
=
+ dz
+
+
=0
dz
dz
dz
dz
z z0
z z0
z z0
z z0
z z0

l+
l
I
I
f (z)
f (z)

dz
+ dz
= 0,
z z0
z z0

C
pois as contribuicoes das integrais ao longo de l+ e l se cancelam. Para avaliar a contribuicao da integral
ao longo de , verifique que por f (z) ser diferenciavel, logo contnua,


 f (z) f (z0 )  |f (z) f (z0 )|


=
< .
 z z0

|z z0 |

Portanto, utilizando a desigualdade de Darboux,

I
 


 

 dz f (z) f (z0 )   f (z) f (z0 )  2 < 2,

  z z0

z z0

55



H
f (z) f (z0 ) 

Quando 0, temos 0, e assim  dz
 0. Isto implica em
z z0
I

f (z)
dz
= f (z0 )
z z0

dz
= f (z0 )
z z0

iei d
= i2f (z0 ),
ei

onde o sentido antihorario positivo foi adotado. Portanto,

I
I
I
f (z)
f (z)
f (z)
dz
+ dz
=
dz
i2f (z0 ) = 0
z z0
z z0
z z0
C

dz
C

f (z)
= i2f (z0 ),
z z0

donde segue a Eq. (3.5)

A formula integral de Cauchy mostra que uma funcao analtica tem seu valor especificado em
qualquer ponto dentro de um contorno C se esta funcao tem valores especificados ao longo de C.
Isto quer dizer que a analiticidade de uma funcao complexa define propriedades nao-locais (i.e., nao
associadas somente ao ponto em que a funcao complexa e diferenciavel) da funcao. Isto se deve ao
fato de as partes real e imaginaria de uma funcao analtica satisfazerem `as condicoes de CauchyRiemann e consequentemente `a equacao de Laplace. Este fato tem conexoes em diversas areas, uma
das quais a de sistemas fisicos que satisfazem `a equacao de Laplace e a condicoes de contorno, e.g.,
em problemas de valores de contorno na eletrostatica, onde o conhecimento do potencial eletrico
sobre condutores define o potencial em toda a regiao entre os condutores.

3.0.3

Derivadas em termos de integrais de contorno

A formula integral de Cauchy permite determinar diversas propriedades de funcoes analticas. Um

resultado importante e que qualquer funcao f (z) que pode ser representada por

1
g()
f (z) =
d
(3.6)
2i z
onde e um caminho qualquer, nao necessariamente fechado, e g(z) e uma funcao contnua sobre
, e analtica em um ponto qualquer z
/ . Se pudermos intercambiar a integracao com a derivada,
poderamos escrever diretamente,

df (z)
1
d 1
1
g()
=
d g()
=
d,
dz
2i
dz z
2i ( z)2
de modo que se z nao estiver sobre entao a u
ltima integral do RHS e definida e portanto f (z)
e analtica nestes valores de z. Para saber se e possvel derivar a expressao dentro da integral
verifiquemos que
 

]
[

 

 f (z + z) f (z)
g()
1
1
1
g()
1
 =  d






z
2i ( z)2
2 z( z z) z( z) ( z)2 


]
[

g() ( z)2 ( z)( z z) ( z z)z 

=  d

2
z( z z)( z)2




z 
g()

=
d

2
2
( z z)( z) 

56

O termo na u
ltima igualdade tende a zero quando z 0 se z nao estiver sobre , pois, neste caso,
o integrando e limitado superiormente. Desta forma, e mostrado que f (z) e diferenciavel e que

df (z)
1
g()
=
d.
dz
2i ( z)2
Raciocnio analogo pode ser feito para determinar as nesimas derivadas de f (z).
Suponhamos que a nesima derivada de f (z) possa ser obtida por derivacoes consecutivas da
Eq. (3.6). Portanto,

n!
dn f (z)
g()
=
d.
(3.7)
n
dz
2i ( z)n+1
Seguindo procedimento semelhante ao que fizemos para a primeira derivada, teremos

 n1 


d
dn1 f 
f 

 

[
]

 
 dz n1 

n1

dz
g()
(n 1)!
(n 1)!
n!z
n!
g()
 

z+z
z

d  =  d



n+1
n
n
n+1


z
2i ( z)
2z
(

z)
(

z)
(

z)






[
]

g() (n 1)![( z)n+1 ( z)( z z)n ] n!( z z)n z 

=  d

2
z( z z)n ( z)n+1


[
]

g() (n 1)!( z)[( z)n ( z z)n ] n!( z z)n z 
=  d

2
z( z z)n ( z)n+1


n
n



(n!)2
n!(n 1)!

nq+1
q
q
nq
q
q+1 
( z)
(1) z
( z) (1) z





(n q)!q!
(n q)!q!
g()
q=0
q=1


=  d




2
z( z z)n ( z)n+1








n1

)
(



n!
(n 1)!

q+1
n
n+1 
nq
q

z
+
(1)
z
n!(

z)
(1)





(n q 1)!(q + 1)! (n q)!q!
g()
q=0


=  d




2
z( z z)n ( z)n+1








n1



q(n + 1)!(n 1)!


( z)nq (1)q z q+1 + (1)n z n+1 




(n q)!(q + 1)!
g()
q=1


=  d


n
n+1



2
z( z z) ( z)








n1




q(n
+
1)!(n

1)!

nq
q
q1
n
n1 
(

z)
(1)
z
+
(1)
z




(n q)!(q + 1)!

q=1

=
d g()

 2


( z z)n ( z)n+1







Portanto, se z
/ , o integrando e limitado e no limite em que z 0 a expressao acima vai para zero, e
temos a Eq. (3.7).

57

Para uma funcao f (z) analtica em uma regiao D podemos substituir por um contorno fechado
(contido em D) arbitrario em volta do ponto z e tomarmos g(z) = f (z). Desta forma, obtem-se o
seguinte teorema:
As derivadas de todas as ordens de uma funcao analtica f (z) existem e sao analticas no domnio
de analiticidade de f (z).
Alem disso, a nesima derivada de f (z) e dada por:
I
dn f (z)
n!
f ()
=
d.
(3.8)
n
dz
2i C ( z)n+1

Comportamento local de funco

es analticas
Uma propriedade advinda do fato de uma funcao f (z) ser analtica e o seguinte teorema:
O modulo de uma funcao analtica f (z) nao pode ter um maximo local dentro da regiao de analiticidade de f (z).
Para verificar o teorema, considere um ponto regular z0 dentro da regiao de analiticidade de f (z). Pela
formula integral de Cauchy, para um contorno C circular de raio em torno de z0 ,

 2  i

I
I
 1

 e id f (z0 + ei ) 
1
f (z)
f
(z)



f (z0 ) =
|f (z0 )| = 
dz
dz
 2i

2i C z z0
2i C z z0 
ei
0





max f (z0 + ei ) 2


d = max f (z0 + ei ) f (z0 ) max |f (z)|C

2
0
Logo, nao importa o quanto nos aproximemos de z0 , a funcao f (z) analtica neste ponto tera valor maximo
em algum ponto da fronteira de z0 . Assim, nao e possvel que haja maximo local em um ponto regular
dentro da regiao de analiticidade de f (z).



raciocnio pode ser aplicado `as funcoes inteiras ef (z) e eif (z) , pois ef (z)  = e f (z) e
 ifO(z)mesmo

e
 = e f (z) . Verifica-se que e f (z) e e f (z) nao podem possuir maximos locais. Como a funcao
exponencial de um argumento real e monotonica, nem f (z), nem f (z) podem possuir maximos
locais em um ponto regular de f (z). Outra consequencia do teorema e que, se considerarmos
q(z) = 1/|f (z)| em um ponto regular z0 de g(z) (ou seja, ponto onde f (z) e analtica e f (z0 ) = 0),
q(z) nao pode possuir maximo local neste ponto. Consequentemente, se f (z0 ) = 0, f (z) nao pode
possuir mnimo local em z0 .
Teorema de Cauchy-Liouville
Um funcao inteira (i.e., analtica em todo C) e limitada e necessariamente uma funcao constante.
Esta e uma consequencia da formula integral de Cauchy. Da derivada de uma funcao analtica f (z)
temos,
I
df
1
f ()
=
d
,
dz
2i C ( z)2
onde C e um contorno fechado, convenientemente escolhido como uma circunferencia de raio R e centrada
em z, z z0 = Rei . Aplicando a desigualdade de Darboux teremos,


 
I


2 
 df 
 f ()  max f (z0 + Rei )


1
1
f
()
 =
d



.
 dz  2  d ( z)2  2
 Rei 
R
C
0

58

Como
ao f (z)
 a func
 e inteira R pode ser feito tao grande quanto desejado. Portanto, para R , como
i

max f (z0 + Re ) e limitada,
 
 df 
  0 df = 0 f (z) = constante.
 dz 
dz

Como conclusoes temos:

Funcoes complexas nao triviais (i.e., que nao sejam funcoes constantes) e limitadas no infinito
devem ter ao menos um ponto de singularidade em C;
Funcoes complexas inteiras (i.e., sem pontos singulares) e nao triviais nao sao limitadas em
C.
Para uma funcao polinomial de z pode ser fatorada em nrazes
pn (z) =

aj z = A

j=1

(z zj ),

z C,

j=1

e A e uma constante. Se nao fosse possvel, assuma que pn (z) nao possua zeros o plano
complexo. Entao f (z) = 1/pn (z) seria limitada e analtica em todo o plano complexo. Logo,
seria funcao constante e, consequentemente, pn (z) tambem o seria, o que nao e o caso. Logo,
pn (z) deve ter ao menos uma raiz, i.e., deve existir z1 C no qual pn (z1 ) = 0. Assim,
pn (z) = (z z1 )qn1 (z), onde qn1 (z) e um polinonio de grau n 1. O mesmo argumento
utilizado para pn (z) e usado para qn1 (z) o que nos diz que qn1 (z) = (z z2 )rn2 (z), onde
rn2 (z) e um polinonio de grau n 2. O procedimento e repetido ate que se obtenha pn (z) =
(z z1 )(z z2 ) (z zn )p0 , onde p0 seria um polinomio de grau zero ou seja, uma constante
A.
Teorema de Morera
Se para um funcao contnua f (z) em uma dada regiao D C tivermos
I
f (z)dz = 0
C

para qualquer contorno fechado C dentro da regiao, entaHo f (z) e analtica em D.

Este teorema pode ser verificado da seguinte maneira: Se C f (z)dz = 0 em D entao a integral ao longo
de um caminho nao necessariamente fechado em D so depende dos pontos inicial e final de . Assim,
podemos ter uma funcao F (z) definida por
z
F (z) =
f ()d
a

onde a e um ponto fixo e z um ponto arbitrario nas extremidades de um caminho . Portanto,

z+z
z
z+z
z+z
F (z + z) F (z)
f ()
f ()
f ()
[f () f (z)]
=
d
d =
d = f (z) +
d
z
z
z
z
z
a
a
z
z

59

Aplicando a desigualdade de Darboux para um caminho retilneo entre z e z + z ao u

ltimo termo do
RHS, teremos
 z+z
 z+z 



 [f () f (z)] 


 [f () f (z)] 
[f
()

f
(z)]

 max 
 |z| = max |f () f (z)|
d 
d 




z
z
z
z
z
Como f (z) e contnua, max |f () f (z)| 0 quando z 0. Assim, temos para z 0,

 

 z+z

z+z
 F (z + z) F (z)  

[f () f (z)] 
[f () f (z)] 


 = f (z) +
d  |f (z)| + 
d  |f (z)|

 
z
z
z
z
z
e podemos afirmar que
dF (z)
= f (z).
dz
Ou seja, F (z) e a primitiva de f (z), analtica em z (ponto arbitrario na regiao D). Como todas as derivadas
de um funcao analtica tambem sao analticas (na regiao de analiticidade das mesmas), f (z) tambem e
analtica.

Do teorema de Cauchy-Gousart uma funcao analtica em uma regiao simplesmente conexa satisfaz ao teorema de Morera. Portanto, esta funcao possui uma primitiva F (z) analtica nesta regiao.

60

Captulo 4
S
eries de Taylor e de Laurent
4.1

Propriedades de S
eries

Para estudarmos uma serie infinita de n

umeros complexos S =
acontece com a sequencia de somas parciais {SN =
SN =

xk +

k=1 zk }.

zk , verifiquemos antes o que

k=1

Se zn = xn + iyn podemos escrever,

yk = XN + iYN .

k=1

k=1

N
Se as
sequencias {XN
= N
k=1 xk } e {YN =
k=1 yk } possuem limites, isto quer dizer que definidos

X = k=1 xk e Y = k=1 yk existe um inteiro N tal que,

|X XN | <

|Y YN | < ,
2

para N > N .

Portanto, para N > N ,

|S SN | = |(X + iY ) SN | |X XN | + |Y YN | < lim SN = X + iY
N

ou seja, uma condicao necessaria para que exista o limite de SN quando N e o da existencia
dos limites de suas partes real e imaginaria. Para verificar que isto tambem e condicao suficiente,
digamos que SN possua um limite, i.e., existe um inteiro M tal que
|S SN | < ,

para N > M .

Logo, |X XN | < e |Y YN | < para N > M e as partes real e imaginaria de S =

zk

k=1

possuem limites.
Para series de n
umeros reais deve-se ter necessariamente que o nesimo termo tenda para zero

quando n . Portanto, para que haja convergencia da serie S =

zk = X + iY e necessario
k=1

que limn xn 0 e limn yn 0, ou seja, que limn |zn | 0. Alem disso, se a serie converge,
61

cada um dos termos deve ser limitado, i.e., existe uma constante M > 0 tal que |zn | < M , para
todo e qualquer n.

|zk | =
Se a serie S =
zk e absolutamente convergente quer dizer que
x2k + yk2 .
k=1

k=1

k=1

Podemos entao enunciar o seguinte teorema:

Se a serie de potencias
ak (z z0 )k converge para z1 = 0 entao esta serie converge absolutamente
k=0

para todo e qualquer z tal que |z z0 | < |z1 z0 |. Tambem temos que se a serie de potencias

bk
converge para z2 = 0, entao esta serie converge absolutamente para todo e qualquer
(z z0 )k
k=0
z tal que |z z0 | > |z2 z0 |.

Para verificar o teorema acima, antes perceba que se

ak (z z0 )k converge em z1 = 0, ent
ao todos
k=0


os seus termos sao limitados, i.e., ak (z1 z0 )k  < M , para k = 0, 1, 2, . . . e M > 0 uma constante. Logo,

k



 
 

 z z 0 k


k
k   z z0 
 .
< M 
ak (z z0 )  = ak (z1 z0 )  
z1 z0 
z1 z0 


 z z0 k
 < 1 sao os termos de uma serie geometrica convergente, i.e.,
Como 
z1 z0 



 z z 0 k


 z1 z0  =
k=0

conclu-se que

1


 z z0 


1
z1 z0 

ak (z z0 )k converge absolutamente para |z z0 | < |z1 z0 |.

k=0

Em particular, para serie

ak (z z0 )k o maior valor de |z1 z0 | para o qual a serie converge

k=0

e denominado de raio de convergencia da serie e a regiao em que |z z0 | < max |z1 z0 | = R e

chamada de crculo de convergencia. Para pontos fora do crculo de convergencia a serie diverge.



bk


Para a serie de potencias
convergente para |z z0 | > |z2 z0 |, temos 
<M
k
k 

(z z0 )
(z2 z0 )
k=0
para k = 0, 1, 2, . . . e M > 0 uma constante. Logo,

 




 
  z z k
 z 2 z 0 k
bk
bk

 
 2
0

 .
<M

=

 (z z0 )k   (z2 z0 )k   z z0 
z z0 

bk



 z2 z0 k
 < 1 sao os termos de uma serie geometrica que converge em |z z0 | > |z2 z0 |, ent
ao o
Como 
z z0 
teorema e verificado.

O teorema acima e outros resultados importantes sobre series de potencias sao enunciados pelo
seguinte teorema (que se deve a Abel):

62

Para uma serie de potencias S(z) =

an (z z0 )n existe uma regiao (crculo de convergencia)

n=0

|z z0 | < R, onde 0 R , em que:

i A serie converge absolutamente para qualquer z em |z z0 | < R. Alem disso, a serie converge
uniformemente para todos os pontos dentro do crculo de convergencia, i.e., para |z z0 | < R.
ii Para |z z0 | > R os termos da serie nao sao limitados e a serie diverge.
iii Em |z z0 | < R a serie representa uma funcao analtica, onde a derivada pode ser obtida termo
a termo e possui o mesmo raio de convergencia.
O item ii e parte do item i ja foram verificados. Para mostrar que a convergencia e uniforme dentro
n

do crculo de convergencia, temos que S(z) = lim Sn , onde Sn =

ak (z z0 )k . A distancia entre Sm
n

k=0

e Sn e dada por

 m
m
m




k
k
ak (z z0 ) 
|ak | |z z0 |
|ak | |z1 z0 |k
|Sm Sn | = 


k=n

k=n

k=n

onde |z z0 | |z1 z0 | < R. Mas foi dito que a serie e absolutamente convergente nesta regiao. Logo,


m
m




k
|S(z1 ) Sn (z1 )| =  lim
ak (z1 z0 )  < lim
|ak | |z1 z0 |k = N < ,
para n > N
m
 m
k=n

k=n

Portanto, para todo m > n > N (N independente de z),



m



k
ak (z z0 )  N < ,
|Sm Sn | = 


k=n

o que mostra que a convergencia da sequencia de somas parciais e uniforme em |z z0 | < R.

ak (z z0 )k representa uma
Um passo necessario para mostrar que a serie de potencias S(z) =
k=0

funcao analtica em |z z0 | < R e verificar que esta serie representa uma funcao contnua em |z z0 | < R.
N

Para a serie parcial SN =

ak (z z0 )k isto e trivial pois SN e um polinomio. Assim, escrevamos
k=0

S(z) = SN (z) + RN (z), onde RN (z) = lim

ak (z z0 )k . Portanto, para z e z dentro do crculo de

k=N +1

convergencia,

 
 
 

S(z ) S(z) = SN (z ) SN (z) + RN (z ) RN (z) SN (z ) SN (z) + RN (z ) + |RN (z)|
Devido `a convergencia uniforme, em |z z0 | < R existe um N tal que |RN (z)| < /3 para todo e qualquer
N > N . Devido `a continuidade de SN (z), existe um valor > 0 em que |SN (z ) SN (z)| < /3 quando
|z z| < para N N . Assim,

 
 

S(z ) S(z) SN (z ) SN (z) + RN (z ) + |RN (z)| < ,
quando |z z| < .

63

Isto quer dizer que S(z) =

ak (z z0 )k representa uma funcao contnua em |z z0 | < R.

k=0

Estes resultados sao estensveis para series do tipo

k=0

bk
se substiturmos (z z0 ) por 1/(z z0 )
(z z0 )k

bk
converge na regi
ao anular R2 |z z0 | R1 ent
ao a
(z z0 )k
k=0
serie converge uniformemente e representa uma func
ao contnua para z nesta regi
ao.

interessante ainda verificar que uma serie de potencias S(z) =

ak (z z0 )k pode ser integrada
E
nas consideracoes acima. Portanto, se

k=0

termo a termo sobre um caminho C contido no interior do crculo de convergencia da serie. Mais ainda, a
serie obtida do produto da serie de potencias convergente por uma func
ao g(z) contnua sobre C pode ser
integrada termo a termo, i.e.,

g(z)S(z)dz =
ak
g(z)(z z0 )k dz.
C

k=0

Veja que

g(z)S(z)dz =

g(z)SN (z)dz +

g(z)RN (z)dz =
C

k=0

g(z)(z z0 ) dz +
k

ak
C

g(z)RN (z)dz
C

Como S(z) e g(z) sao contnuas na regiao considerada, C g(z)S(z)dz existe. As integrais
dos termos na

soma parcial existem tambem, pois SN e um polinomio e g(z) e contnua. Logo, C g(z)RN (z)dz deve
existir. Devido `a convergencia uniforme da serie existe um N tal que RN (z) < para N > N , onde e
N independem de z. Logo,




 g(z)RN (z)dz  max g(z)L,
para N > N ,


C

onde L e o comprimento da curva C. Consequentemente,

g(z)S(z)dz = lim

g(z)(z z0 )k dz.

ak

k=0

Se usarmos este resultado para g(z) = 1 e para um caminho fechado C contido no crculo de convergencia
da serie, temos
I
I

S(z)dz =
ak (z z0 )k dz = 0,
H

k=0

pois C (z z0 )k dz = 0 para funcoes analticas dentro e sobre C. Segue, pelo teorema de Morera que se

H
rculo de convergencia da serie, S(z) =
ak (z z0 )k
C S(z)dz = 0 em um caminho qualquer dentro do c
k=0

representa uma funcao analtica em |z z0 | < R.

Resta verificar que uma serie de potencias convergente no interior de seu crculo de convergencia pode
ser derivada termo a termo, i.e.,

dS(z)
=
n an (z z0 )n1 ,
dz
n=0

64

para |z z0 | < R.

Considere um caminho fechado C contido em |z z0 | < R e que envolve o ponto z1 dentro do crculo de
convergencia. Sabemos que S(z) e analtica, portanto,

I
dS 
1
S(z)
=
dz
.
dz z1
2i C (z z1 )2
Mas vimos tambem que

g(z)S(z)dz = lim

Se fizermos g(z) =
I
C

k=0

g(z)(z z0 )k dz.

ak
C

1
, entao
2i(z z1 )2

S(z)
1
dz
=
lim
ak
2i(z z1 )2
2i N
N

k=0

I
C

N
]

d [
(z z0 )k
k
dz
=
lim
a
(z

z
)
1
0
k
N
(z z1 )2
dz1
k=0

Portanto, mostramos que para |z1 z0 | < R,

n=0

n=1

dS(z1 )
d
=
[(z1 z0 )n ] =
an
n an (z1 z0 )n1
dz1
dz1

4.2

S
eries de taylor

Teorema: Seja f (z) uma funcao analtica em todos os pontos em que |z z0 | < R. Para todo e
qualquer ponto nesta regiao


1 dn f 
f (z) =
(4.1)
(z z0 )n ,
n
n!
dz
z0
n=0
onde a serie converge em |z z0 | < R. A serie de MacLaurin e obtida para z0 = 0.
Para verificar o teorema, utiliza-se a formula integral de Cauchy,
I
1
f (z )
f (z) =
dz
2i C0
z z
para o contorno fechado C0 em que |z z0 | = R e z dentro da regiao envolvida por C0 . Mas
)
(

1
1
1
1
z z0 k
(
)
=
=
=
z z0
z z
z z0 (z z0 )
(z z0 )
z z0
k=0
(z z0 ) 1
z z0
onde a serie geometrica e convergente desde que |z z0 | < |z z0 | (que e o caso). Portanto,

I
I

f (z )
1 dk f 
1
f (z )
k 1

(z z0 )k
dz
=
(z z0 )
dz
=
f (z) =
2i C0
z z
2i C0
k! dz k z0
(z z)k+1
k=0

k=0

Como a serie de Taylor acima requer analiticidade para todos os pontos dentro do crculo de
convergencia, este, por sua vez, deve-se estender ate o primeiro ponto singular de f (z) mais proximo
de z0 .
65

Figura 4.1: (a) regiao anular entre as circunferencias C2 e C1 , onde R2 < |z z0 | < R1 . (b) Contorno composto
pelas curvas C2 , C1 , (envolvendo o ponto z) e os segmentos de reta conectando estas curvas. (c) Contorno C
contido na regiao anular R2 < |z z0 | < R1 (regiao anular entre as circunferencias C2 e C1 ).

4.3

S
eries de Laurent

Digamos que uma dada funcao f (z) seja analtica na regiao anular R2 |z z0 | R1 , conforme
mostra a Fig. 4.1(a) (i.e., sobre as circunferencias C1 e C2 e na regiao entre elas). Para cada ponto
z em R2 < |z z0 | < R1 temos
I

f ()
1
n
d
f (z) =
an (z z0 ) ,
an =
,
(4.2)
2i C ( z0 )n+1
n=
onde C e um contorno qualquer que envolva o ponto z0 e esteja em R2 < |z z0 | < R1 .
Para mostrar que a expansao em series de potencias acima representa uma funcao analtica em R2 <
|z z0 | < R1 , considere a seguinte integral no contorno especificado na Fig. 4.1(b),
[I
]
I
I
I
I
I
f ()
f ()
f ()
1
f ()
f ()
f ()
=
d

d
d
f (z) =
d

d
0=
d
z
z
z
z
2i C1 z
z
C1
C2

C2

| {z }
2if (z)

onde as integrais ao longo dos segmentos que conectam as circunferencias C1 , C2 e se cancelam mutuamente, e os sentidos de integracao positivo e negativo ja foram considerados. Mas, observe que escrevendo,

)
(

1
1
1 z z0 k

(
)=
,
p/ integral em C1

z z0
z0
z0
z0

k=0
1

1
1
z0
=
=
)
(
z
z0 (z z0 )
1
1
1 z0 k

(
)=
, p/ integral em C2

z0
z z0
z z0
z z0

k=0

1
z z0
temos,
f (z) =

(z z0 )k
k=0

2i

f ()
1
1
d
+
k+1
k+1 2i
(

z
)
(z

z
)
0
0
C1
k=0

66

I
df ()( z)k
C2

Em relacao `as integrais ao longo de C2 e C1 , estes contornos podem ser deformados para um contorno C
(vide Fig. 4.1(c)) pois os integrandos sao analticos na regiao R2 < |z z0 | < R1 , i.e.,
I
I
I
f ()
f ()
f ()
d
=0
d

d
=0
k+1
k+1
( z0 )
( z0 )
( z0 )k+1
C1
C
C1 +C+l1+ +l1
I
I
f ()
f ()

d
=
d
k+1
( z0 )
( z0 )k+1
I
IC1
IC
df ()( z)k = 0
df ()( z)k
df ()( z)k = 0
C2 +C+l2+ +l2
C
C
I 2
I

df ()( z)k =
df ()( z)k .
C2

Aqui, l1+ e l1 (l2+ e l2 ) sao os segmentos que conectam o contorno C1 (C2 ) ao contorno C. Substituindo
as integrais ao longo de C1 e C2 por integrais ao longo de C, temos
I

f ()
1
1
+
df ()( z)k
k+1
k+1 2i
2i
(

z
)
(z

z
)
0
0
C
C
k=0
k=0
I
I

(z z0 )k
(z z0 )m
f ()
f ()
d
d
=
+
k+1
2i
( z0 )
2i
( z)m+1
C
C

f (z) =

(z z0 )k

k=0

k=1

que resulta na Eq. (4.2).

Uma observacao `a respeito da serie de Laurent e que se f (z) for analtica em |z z0 | < R1 , o
raio interno da regiao anular entre as circunferencias C2 e C1 e igual a zero, e esta regiao se torna
um disco com fronteira C1 . Com isso os termos da expansao com expoentes negativos possuem
coeficientes nulos porque neste caso
I
df ()( z)k = 0
C

e a serie se torna uma serie de Taylor (somente com z k com expoentes positivos).
Unicidade de representac
oes por s
eries de pot
encias
Este fato e enunciado pelo seguinte teorema:
Se a serie

an (z z0 )n

n=

converge para uma funcao f (z) em todos os pontos dentro de uma dada regiao anular em torno de
z0 (i.e., para R2 < |z z0 | < R1 ) esta serie e a u
nica representacao em series de Laurent para f (z)
em potencias de (z z0 ) nesta regiao.
Para verificar o teorema multipliquemos
f (z) =

an (z z0 )n

n=

67

por g(z) = 1/2i(z z0 )m+1 e integremos ao longo de um contorno C na regiao R2 < |z z0 | < R1 .
Teremos,
I

1
(z z0 )n
dzg(z)f (z) =
an
.
dz
2i n=
(z z0 )m+1
C
C

Mas
I
dz
C

(z z0
(z z0 )m+1
)n

H
nm1 = 0

C dz(z z0 )

H
dz

C (z z ) = 2i
=
0

H
dz
dmn

=
(1) = 0
C
(z z0 )mn+1
dz mn

ou seja,
1
2i

I
dz
C

p/ n > m
p/ n = m
p/ m > n

1
= m,n .
(z z0 )mn+1

Portanto,
I

1
dzg(z)f (z) =
2i
C

f (z)
dz
1
dz
an
=
= am
m+1
mn+1
(z z0 )
2i n=
C (z z0 )

e o nesimo coeficiente an da serie e exatamente o nesimo coeficiente da expansao em serie de Laurent

de f (z). Logo, a expansao em series de Laurent em termos de potencias de (z z0 ) e u
nica na regiao
especificada.

Uma observacao importante sobre a expansao em series de Laurent se refere ao coeficiente do

termo em (z z0 )1 ,
I
I
1
f ()
1
a1 =
d
f ()d,
=
2i C ( z)0
2i C
onde C envolve z0 . Isto quer dizer que a integral de uma funcao f (z) em um caminho fechado em
torno de z0 (mesmo que envolva regiao de nao-analiticidade de f (z)) e proporcional a a1 , i.e.,
I
f ()d = 2ia1 .
C

4.4

Operaco
es aritm
eticas com s
eries

Com respeito a operacoes com series, se tem o seguinte teorema:

n
Sejam as series f (z) =
an (z z0 ) e g(z) =
bn (z z0 )n , convergentes em R2 < |z z0 | <
n=

n=

R1 . Temos: A adicao de series e sempre valida na intersecao dos cculos de convergencia de cada
serie, i.e.,

(an + bn )(z z0 )n = f (z) + g(z)

n=0

Isto vale consequentemente para a subtracao entre series.

68

O produto entre duas series converge para o produto de suas somas em todos os pontos interiores
aos crculos de convergencia das series, i.e.,

an bm (z z0 )

n+m

m= n=

ck (z z0 )k .

k=

Pode-se mostrar que para a divisao f (z)/g(z), se g(z) = 0 em uma vizinhanca de z = z0 , os

coeficientes das potencias de (z z0 ) obtidos pela divisao direta das series sao iguais aos obtidos
da expansao de f (z)/g(z) em series de Laurent.
Vamos verificar o produto entre series de Taylor para z0 = 0 por simplicidade. Assim, dadas as series

f (z) =
an z n e g(z) =
bn z n , convergentes em |z| < R, os termos cn do produto f (z)g(z) =
cn z n
n=0

n=0

n=0

determinados diretamente:
f (z)g(z) =

an z n

n=0

+... +

m=0

bm z m = a0 b0 +(a0 b1 + a1 b0 )z + (a2 b0 + a1 b1 + b0 a2 )z 2 + (a3 b0 + a2 b1 + a1 b2 + b0 a3 )z 3

{z
}
|
{z
}
|
{z
}
|{z} |
c0

c1

c2

c3

ap bkp z k + . . .

p=0

{z

ck

coincidem com a expansao em series de Taylor de f (z)g(z), pois

c0 = f (0)g(0) = a0 b0



df (z)g(z) 
df (z) 
dg(z) 
c1 =
 = dz  g(0) + f (0) dz  = a1 b0 + a0 b1
dz
0
0
0





2
2


d2 g(z) 
1 d f (z)g(z) 
1
1 d f (z) 
df (z)  dg(z) 
c2 =
 = 2! dz 2  g(0) + dz  dz  + 2! f (0) dz 2 
2!
dz 2
0
0
0
0
0
..
.



n
n

dp f (z)  dnp g(z) 

1 dn f (z)g(z) 
1
cn =
=
=
ap bnp

n!
dz n
p!(n p)! dz p  dz np 
0

p=0

p=0

..
.
Aqui utilizamos

dq f (z)
n(n 1) (n q + 1)an z nq
=
dz q
n=0


dq f (z) 
= q!
dz q 0

e pode-se mostrar por inducao que

dn f (z)g(z)
n!
dp f (z) dnp g(z)
=
dz n
p!(n p)! dz p
dz np
n

p=0

69

Para o caso geral, primeiro veja que a expansao em series de Laurent (para contorno C na regiao de
analiticidade das series) fornece,
I
I

1
f (z)g(z)
1
dz
dz
ck =
=
an bm
=
an bm k,n+m
k(n+m)+1
2i C (z z0 )k+1
2i n= m=
C (z z0 )
n= m=
=

an bkn

n=

Por outro lado, o produto das series resulta em,

an bm (z z0 )

n+m

n= m=

ck =

an bkn (z z0 ) =
k

n= k=

ck (z z0 )k ,

k=

an bkn ,

n=

onde fizemos k = n + m. Logo, as series obtidas por expansao de f (z)g(z) em series de Laurent e pelo
produto das series sao identicas.
Para o caso da divisao entre duas series, i.e., para q(z) = f (z)/g(z), onde g(z) == 0 em alguma
vizinhanca de z0 vamos indicar que o divisao das series fornece serie identica `a da expansao em series de
q(z) da seguinte forma: considere f (z) = q(z)g(z). Portanto,

an (z z0 )n =

n=

ck bm (z z0 )k+m =

ck bnk (z z0 )n

k= n=

k= m=

e os coeficientes ck podem ser obtidos (em princpio) pela solucao da equacao matricial,

bnk ck = an .

k=

Por outro lado, os coeficientes da expansao de q(z)g(z) em series de Laurent devem ser os coeficientes an
da expansao em series de f (z), ou seja,
I
I

1
1
q(z)g(z)
1
an =
ck bm
dz
ck bm n,k+m
dz
=
=
2i C (z z0 )n+1
2i
(z z0 )nkm+1
C
m=
m=
k=

an =

k=

ck bnk

k=

que resulta na mesma equacao matricial a ser resolvida. Portanto, se as equacoes tiverem soluc
ao elas
devem ser as mesmas (considerando as integrais como somas finitas e depois fazendo o limite do n
umero
N

de termos muito grande, i.e., lim

bnk ck = an , para n = 0, 1, 2, . . . , N ).
N

4.5

k=N

Exemplos de representa
c
oes em s
eries de pot
encias

Fun
co
es inteiras
Como funcoes inteiras sao analticas em todo o plano complexo somente potencias positivas de
(z z0 ) terao coeficientes nao nulos na expansao em series de potencias. Vejamos alguns exemplos:
70

 f (z) = ez , onde C e uma constante. Neste caso, para expansao de Taylor-Maclaurin

(para z0 = 0),

dn f 
= n
dz n 0
Logo,
z

n
n=0

n!

zn

f (z) = sen z. Para expansao em torno de z0 = 0 temos


{
dn f 
0,
p/ n = 2p
=
,
p

n
(1) , p/ n = 2p + 1
dz 0
Portanto,

p = 0, 1, 2, . . .

(1)p z 2p+1

sen z =

p=0

(2p + 1)!

Note que
iz

e e
iz

[in (i)n ]

n!

n=0

z =
n

iz

e e
2i
iz

sen z =

mpar

2in z n
z 2p+1
= 2i
(1)p
= 2i sen z
n!
(2p + 1)!
p=0

= i senh(iz).

f (z) = cos z. Expandindo em torno de z0 = 0 temos


{
dn f 
0,
p/ n = 2p + 1
=
,
p

n
(1)
,
p/ n = 2p
dz 0
Portanto,
cos z =

p = 0, 1, 2, . . .

(1)p z 2p
p=0

(2p)!

Note tambem que

eiz + eiz =

[in + (i)n ]
n=0

cos z =

n!

zn =

2in z n
z 2p
=2
(1)p
= 2 cos z
n!
(2p)!
n par
p=0

eiz + eiz
= cosh(iz).
2

f (z) = senh z e g(z) = cosh z. Para expansao em torno de z0 = 0 e mais facil utilizar
senh z =

ez ez
2

71

cosh z =

ez + ez
2

Logo,
1 [1 (1)n ] n z 2p+1
senh z =
z =
2 n=0
n!
(2p + 1)!
p=0

1 [1 + (1)n ] n z 2p
cosh z =
z =
2 n=0
n!
(2p)!
p=0

Fun
co
es analticas com singularidades
Em muitos casos a obtencao da expansao em series e mais facil por manipulacao aritmetica das
funcoes do que diretamente das Eq. (4.1) e Eq. (4.2). Seguem alguns exemplos:
1
, onde C e uma constante. Esta e uma funcao analtica, mas que possui
1 + z
singularidade em z = 1/. Logo, para expansao em torno de z0 = 0 tem-se crculo de
analiticidade de raio 1/|| (ou seja, para |z| < 1/||). Para encontrar a expansao em torno
de z0 = 0 nesta regiao podemos utilizar a definicao (vide Eq. (4.1)), onde

dn f 
= (1)n n!n
dz n 0

f (z) =

e, portanto,

1
=
(1)n (z)n ,
1 + z
n=0

p/ |z| < 1/||

ou poderamos fazer,

1
1
=
=
(1)n (z)n ,
1 + z
1 (z) n=0

onde utilizamos a serie geometrica

p/ |z| < 1/||

rn = 1/(1 r), para |r| < 1.

k=0

Para expansao em torno de z = 0 na regiao |z| > 1/|| podemos reescrever f (z) da seguinte
forma,
1
1
= (
)
1 + z
z 1+
z
1
Como |/z| < 1 temos uma serie geometrica convergente para (
) , de forma que
1+
z
)n

(
n1

1
1
n1
=
=
(1)
=
(1)n1 (n+1) z n .
n
1 + z
z n=0
z
z
n=1
n=1

72

1
na regiao |z| > 1/||. Note que
1 + z
escrevendo da maneira mostrada na Eq. (4.1) teramos an = 0 para n = 0, 1, 2, . . ., enquanto
que an = (1)n1 (n+1) para n = 1, 2, 3, . . ..

Esta e a serie de Laurent em torno de z = 0 para

Poderamos, ainda, expandir f (z) em series de Taylor torno de z0 . Portanto,

1
1
1
=
=
1 + z
1 + z0 + (z z0 )
1 + z0

(1)n n
1
=
(z z0 )n
n+1
(z z0 )
(1
+
z
)
0
n=0
1+
1 + z0

convergente para |z z0 | < |z0 + 1/|. Observe que o crculo de convergencia com centro em
z0 se estende ate a singularidade de f (z). Por exemplo, se = 1 a expansao em torno de
z0 = 0 fornece um crculo de convergencia centrado neste ponto e de raio 1, enquanto que a
expansao em torno de z0 = 1 fornece um crculo de convergencia maior, com centro em 1
e de raio 2.
3 + z2
. Para expansao em torno de z = 0 temos
z2 z4
(
)
(
)

2
2

1+z
2
1 21+z
1
1
1
2n
= 2
= 2
1 = 2 2
z 1 = 2 +2
z 2n
2
4
2
2
z z
z 1z
z
1z
z
z
n=0
n=0

f (z) =

A serie converge em 0 < |z| < 1. Potencias negativas de z (i.e., a2 = 1) aparecem devido a
funcao nao ser analtica em z = 0.
z
, onde a e b sao constantes reais tal que 0 < a = b, > 1. Esta funcao
(z a)(z b)
e analtica, exceto nos pontos z = a e z = b. Para reescreve-la, observe que

f (z) =

z
z b + a z + z + ( 1)z
1
1
z
=
=

+
(z a)(z b)
(z a)(z b)
za
zb
(z a)(z b)
z
1
1
( 1)
=

(z a)(z b)
(z b) (z a)
z
1
1

(z a)(z b)
( 1) (z b) ( 1) (z a)
A expansao desta funcao em torno de z = 0 desta funcao recai, em parte, no exemplo anterior
para (1 + z)1 . Deve-se ter atencao, entretanto para o crculo de convergencia de cada
expansao. Primeiro, para |z| < a podemos fazer,

1
1
1
zn
zn
z
=

=
+
(z a)(z b)
( 1) (z b) ( 1) (z a)
b( 1) n=0 bn a( 1) n=0 an
]
[

1
( n 1) z n
n
=

z
=
( 1) n=0 an+1 bn+1
( 1) n=0 n+1 an+1

e so temos potencia positivas de z em |z| < a.

73

Na regiao anular a < |z| < b a expansao acima diverge. Entretanto, utilizando
1
1
1
),
= (
za
z 1 a
z
podemos expandir em uma serie convergente para |z| > a. Assim, temos a serie de Laurent
em a < |z| < b,

1
1
1

zn
1
an
(
)
=

(z a)(z b)
( 1) (z b) ( 1)z 1 a
b( 1) n=0 bn
( 1)z n=0 z n
z

1
z
an1
=

( 1) n=0 bn+1 ( 1) n=1 z n

que contempla coeficientes nao-nulos de potencias positivas e negativas de z.

Finalmente, para |z| > b podemos escrever
1
1
1
)
= (
za
z 1 a
z

1
1
1
)
= (
b
zb
z
1
z

de modo que expandimos em series convergentes para |z| > b a fim de obter a serie de Laurent
nesta regiao,

z
1
1
1

bn
1
an
(
)
(
)
=
=

b
(z a)(z b)
( 1)z
( 1)z 1 a
( 1)z n=0 z n ( 1)z n=0 z n
1
z
z
[
]

bn1 an1 n
=
z .
( 1)
n=1

Note que nesta expansao somente potencia negativas de z aparecem.

{ sen z
, p/ z = 0
f (z) =
Neste caso, temos
z
1,
p/ z = 0
sen z (1)n z 2n
=
z
(2n + 1)!
n=0

que converge para qualquer ponto em z C. Inclusive,

sen z
= 1 = f (0)
z0
z
lim

que estabelece que a funcao e contnua em z = 0 tambem. Portanto, f (z) e funcao inteira.

74

 f (z) = csc z. Para expandir esta funcao em potencias de z, antes verifique que csc z = 1/ sen z
e singular em z = m, onde m = 0, 1, 2, . . .. Logo, a representacao em series em torno
de z = 0 e convergente em 0 < |z| < . A expansao de Laurent nesta regiao sera dada por,
[
]p

1
1
1
1
1 (1)n+1 z 2n
)=
csc z =
=
= (

(1)n z 2n
sen z
z
z p=0 n=1 (2n + 1)!

(1)n+1 z 2n
z
1
(2n + 1)!
(2n + 1)!
n=0
n=1

(1)n+1 z 2n (1)n+m+2 z 2(n+m)

1
(1)l+n+m+3 z 2(l+n+m)

1
+
+
+
+

z
(2n + 1)!
(2n + 1)!(2m + 1)!
(2n + 1)!(2m + 1)!(2l + 1)!

m=1
n=1
l=1
n=1

1
z2 z4 z6
z4
2z 6
z6
1+

+
+

+
z
3!
5!
7! (3!)2 3!5! (3!)3
[
[
]
1
z
1
1 3
1
2
z
+
= + +

+
z 3!
(3!)2 5!
(3!)3 3!5!
[
]
[
1
z
(3!)2 z 3
2(3!)2
= + + 1
+ 1
+
z 3!
5! (3!)2
5!
=

4.6

m=1
n=1

+
]
1 5
z +
7!
]
(3!)3 z 5
+
7! (3!)3

Zeros de funco
es analticas

Zero de ordem m
Se f (z) e analtica em um ponto z0 ha uma vizinhanca de z0 (i.e., |z z0 | < 0 ) em que existe uma
representacao em serie de Taylor de f (z),


1 dn f 
n
f (z) =
an (z z0 ) = f (z0 ) +
(z z0 )n .
n
n!
dz
z0
n=0
n=1
Seja z0 um zero de f (z), i.e., f (z0 ) = 0. z0 e denominado de zero de ordem m de f (z) se

dn f 
= 0, para n = 0, 1, 2, . . . , m 1
dz n 0

dm f 
= 0.
dz m 0
Se m = 1, z0 e denominado de zero simples de f (z).
Podemos escrever em |z z0 | < 0 ,
f (z) = (z z0 )

am+p (z z0 ) = (z z0 ) g(z),
p

p=0

onde,
g(z) =

am+p (z z0 ) ,
p

com

p=0

75

am+p


dm+p f 
1
=
(m + p)! dz m+p z0


1 dm f 
g(z0 ) = am =
0
=
m! dz m z0

Como a serie f (z) converge na vizinhanca de z0 , g(z) deve ser contnua em z0 , ou seja,
|g(z) g(z0 )| = |g(z) am | <

para

|z z0 | <

Digamos que para = |am |/2 tenhamos = 1 . Assim,

|g(z) am | <

|am |
2

|z z0 | < 1

para

A desigualdade acima para ser verdadeira exige que g(z) = 0 em qualquer ponto da vizinhanca de
z0 , i.e., em |z z0 | < 1 . De outra forma, para |z z0 | < 1 temos
||g(z)| |am || < |g(z) am | <

0<

|am |
2

3
|am |
< |g(z)| < |am |
2
2

|am |
|am |
< |g(z)| |am | <
2
2

Logo, segue o seguinte teorema:

Zeros de funco
es analticas s
ao isolados
Teorema: Se f (z) e analtica em z0 e nao e funcao identicamente nula existe uma vizinhanca de z0
em que a funcao e diferente de zero (possivelmente exceto em z0 ).

76

Captulo 5
C
alculo de Resduos
5.1

Singularidades isoladas

Uma singularidade isolada de uma funcao f (z) e um ponto z0 no qual f (z) nao e analtica, mas
que possui alguma vizinhanca onde em todos os pontos f (z) e analtica, i.e., f (z) analtica para
todo z tal que 0 < |z z0 | < (onde > 0) exceto em z0 . Por exemplo,
f (z) =

(z 3

z
1)

possui singularidades isoladas em z = 1, z = ei/3 , enquanto

f (z) = tanh z
)
(
1
,
tem singularidades isoladas nos pontos em que cosh z = 0 cos(iz) = 0, i.e., em z = i n +
2
para n = 0, 1, 2, 3, . . .. Por outro lado, f (z) = Ln z possui ponto singular na origem que nao
e isolado, pois qualquer vizinhaca de z = 0 contem pontos Re z < 0, onde a Ln z nao e analtica.
Singularidades isoladas possuem uma classificacao baseada no comportamento da funcao proximo
`a singularidadde.
Classificac
ao de singularidades isoladas
Para estudar este comportamento considere a serie de Laurent de f (z) em 0 < |z z0 | < ,
f (z) =

an (z z0 ) +
n

n=0

n=1

bn
(z z0 )n
{z
}

(5.1)

parte principal de f (z) em z0

onde z0 e uma singularidade isolada de f (z). Temos:

Singularidade removvel. Ocorre quando a expansao de Laurent acima possui bn = 0 para todos
os n, i.e., n = 1, 2, 3, . . .. Portano, a serie de Laurent contem apenas potencias positivas de

Deve-se atentar par o fato de que existem singularidades nao isoladas.

77

(z z0 . Basta, entao, definir o valor para f (z) em z0 , i.e., f (z0 ) = a0 que a singularidade e
removida e a funcao se torna analtica em |z z0 | < . Como exemplo, tome o exemplo da
funcao f (z) = sen z/z. Esta funcao nao e definida em z = 0, mas possui expansao em serie
de Laurent dada por

sen z (1)n z 2n
=
z
(2n + 1)!
n=0
que e definida em todo o plano complexo. Logo, ao fazermos f (z) = sen z/z para z = 0 e
f (0) = 1 temos uma funcao inteira.
um tipo de singularidade isolada em que, na serie de Laurent, bn = 0
Polo de ordem m. E
para n = m + 1, m + 2, m + 3, . . ., mas bn = 0 para n = m, i.e.,
f (z) =

an (z z0 ) +
n

n=0

n=1

bn
(z z0 )n

em 0 < |z z0 | < .
um polo de ordem m = 1. Por exemplo, f (z) = 1/(1 z) possui polo
Polo simples. E
simples em z = 1.
Exemplos:

ez
z n5 z n
z n
=
+
,
z5
n! n=0 (n + 5)! n=1 (5 n)!
n=0

|z| > 0

possui polo de ordem 5 em z = 0, enquanto que

sen z (1)n z 2n2 (1)n+1 z 2n
1
=
=
+
z3
(2n + 1)!
(2n + 3)!
z2
n=0
n=0

possui polo de ordem 2 em z = 0. Ja a funcao,

f (z) =

1
z(z 1)

possui polo simples em z = 0, pois

1
1
1
1
zn ,
f (z) =
=
=
z(z 1)
z1 z
z
n=0

|z| < 1

Mas ha outro polo simples em z = 1, pois

1
1
1
1
1
1
=
=

(1)n (z 1)n ,
z(z 1)
z1 z
z1 1+z1
z 1 n=0

f (z) =

|z 1| < 1

Para uma funcao f (z) com polo de ordem m em z = z0 podemos definir uma funcao (z)
analtica em z0 ,
{
(z z0 )m f (z), p/ z = z0
(z) =
bm ,
p/ z = z0 ,
78

com bm = 0, pois, para z = z0

(z) =

an (z z0 )

n+m

n=0

n=1

m1

bn
n
= bm +
bmn (z z0 ) +
anm (z z0 )n
(z z0 )nm
n=0
n=m

que tende para bm quando z z0 . Como (z) e definida (z0 ) = bm = 0, limzz0 (z) = bm ,
|f (z)| sempre tende a infinito quando z z0 e (z) e analtica em z0 .
Funcoes que possuem no plano complexo apenas polos como singularidades e que nao possua
polo no infinito sao necessariamente funcoes racionais, i.e.,
f (z) =

p(z)
,
q(z)

onde p(z) e q(z) sao dois polinomios. Para verificar isto, digamos que f (z) possua N polos
{zj }N
ao em torno de cada zj e do tipo,
j=1 , onde o polo em zj seja de ordem mj . A expans
f (z) =

mj

n=1

bn
+
an (z z0 )n =
n
(z zj )
n=0

mj

zj )mj n
Pj (z)
+ gj (z) =
+ gj (z),
m
j
(z zj )
(z zj )mj

n=1 bn (z

mj
mj n
e um polinomio de grau mj 1 e gj (z) e uma funcao
onde Pj (z) =
n=1 bn (z zj )
analtica. Como expandimos em torno de zj a funcao gj (z) contem os outros polos de f (z).
Procedendo de maneira similar para k = j, temos
gj (z) =

Pk (z)
+ gk (z)
(z zk )mk

onde Pk (z) e polinomio de ordem mk 1. Continuando desta forma para cada parte analtica
da expansao em series de Laurent em torno de zl encontramos,
f (z) =

j=1

Pj (z)
+ g(z)
(z zj )mj

onde g(z) deve ser inteira, posto que todos os polos foram includos nos polinomios Pj (z).
Entretanto, para zto a soma tende a zero pois em cada um dos termos Pj (z) tem grau
mj 1, enquanto o denominador (z zj )mj possui grau mj . Desta forma, como nao ha polo
no infinito f (z) e, portanto, g(z) sao limitadas. Segue que se g(z) e inteira e limitada, deve
ser uma funcao constante. Deste modo,
N

f (z) =

j=1

Pj (z)
+ g(z) =
(z zj )mj

Pj (z)

j=1

(z zk )

mk

+ g0

k=1
k=j

(z zk )mk

k=1
N

=
(z zk )mk

k=1

onde p(z) e g(z) sao polinomios, e g0 e uma constante.

79

p(z)
,
q(z)

 o caso em que ha um n
Singularidade essencial. E
umero infinito de bn nao nulos, ou seja, a
parte principal da expansao em serie de Laurent possui n
umero infinito de termos. Como
exemplos, as funcoes

1
1/z
e =1+
,
|z| > 0
n
n!z
n=1
e

( )

1
1
cosh
,
=1+
2n
z
(2n)!z
n=1

|z| > 0

posuem singularidades essenciais em z = 0.

Funcoes que possuem singularidades essenciais apresentam comportamento estranho proximo
`a singularidade. Por exemplo, considere o ponto z = (ln a+i2n)1 para um a R arbitrario.
Neste ponto, e1/z = a, enquanto que cosh(1/z) = (a2 + 1)/a. Entretanto, para n ,
z = (ln a + i2n)1 0. Isto quer dizer que ambas as funcoes se aproximam de qualquer
n
umero real (pois a e arbitrario por definicao) em uma vizinhanca pequena de z = 0 arbitraria.

5.2

Resduos

Uma observacao feita quando estudamos series de Laurent veio do fato de o coeficiente do termo
(z z0 )1 da expansao de uma funcao f (z) em R2 < |z z0 | < R1 ser igual a
I
1
f (z)dz
2i C
onde C e um caminho fechado em R2 < |z z0 | < R1 que envolve z0 . Temos, entao, uma ferramenta
para obter integrais de funcoes analticas em alguma regiao anular
H em torno z0 (se f (z) for analtica
em |z z0 | < R sabemos pelo teorema de Cauchy-Gousart que C f (z)dz = 0). Denotando esta serie
de Laurent como na Eq. (5.1), o coeficiente b1 e denominado de resduo de f (z) na singularidade
isolada z0 , sendo denotado por Res [f (z0 )]. Entretanto, a curva C ao longo da qual a integral de
f (z) e calculada pode envolver um dado n
umero de pontos singulares (e.g., a integral de f (z) = csc z
ao longo da circunferencia |z| = 10 envolve os pontos singulares 3, 2, , 0, , 2 e 3).
Nestes casos o resultado da integracao pode ser obtido a partir do seguinte teorema:
teorema do resduo
Seja um contorno simples fechado C, orientado no sentido positivo (antihorario). Seja uma
funcao f (z) analtica sobre e na regiao envolvida por C, exceto por um n
umero finito de singularidades isoladas {zk }m
no
interior
de
C.
Ent
a
o,
k=1
I
f (z)dz = 2i
C

Res [f (zk )] .

(5.2)

j=k

Para mostrar este teorema podemos tornar o contorno C simplesmente conexo na regiao em que f (z)
e analtica conectando C a pequenos contornos em torno de vizinhacas de cada um dos pontos singulares

80

Figura 5.1: Contorno C na regiao em que uma funcao f (z) e analtica, onde as singularidades desta funcao
sao colocadas no exterior do contorno ao se adicionar pequenos contornos Ck em volta de cada singularidade e
conectando-os a C.

de f (z), conforma mostra a Fig.5.1. Ao longo do contorno C = C + k (Ck + lk+ lk ) o teorema de CauchyGousart fornece:
I
I

I
m I
m I

0=
f (z)dz =
f (z)dz
f (z)dz +
f (z)dz +
f (z)dz =
f (z)dz
f (z)dz
C

f (z)dz 2i

=
C

Aqui, utilizamos

H
Ck

k=1
m

Res [f (zk )]

Ck

lk

lk+

f (z)dz = 2i
C

k=1

k=1

Ck

Res [f (zk )] .

k=1

f (z)dz = 2i Res [f (zk )].

Utilizemos os exemplos anteriores para calcular a integral

H
C

f (z)dz para um contorno C:

f (z) = sen z/z para z = 0 e f (0) = 1 para z = 0. A serie de Laurent

sen z (1)n z 2n
=
z
(2n + 1)!
n=0
H
que e definida em todo o plano complexo mostra que C f (z)dz = 0 para o contorno |z| = 2,
pois o termo b1 = 0.

f (z) =

ez
possui expansao em series de Laurent para |z| > 0,
z5

ez
z n5 z n
z n
=
+
.
z5
n! n=0 (n + 5)! n=1 (5 n)!
n=0

81

Logo,

I
f (z)dz = 2i Res [0] =
C

f (z) =

2i
i
= .
4!
12

sen z
tem serie de Laurent para |z| > 0,
z3
sen z (1)n z 2n2 (1)n+1 z 2n
1
=
+
=
z3
(2n + 1)!
(2n + 3)!
z2
n=0
n=0

de modo que,

H
C

f (z)dz = 2i Res [f (0)] = 0.

Para f (z) = 1/(1 z) = 1/(z H1) tem-se que a integral ao longo de qualquer contorno
fechado que envolva z = 1 e igual a C f (z)dz = 2 Res [f (1)] = 2.
f (z) =

1
possui polos simples em z = 0 e em z = 1. Como
z(z 1)

1
1
1
1
=
=
zn ,
z(z 1)
z1 z
z
n=0

|z| < 1

para qualquer contorno em torno de z = 0 e contido em 0 < |z| < 1, temos

2i Res [f (0)] = 2i. Por outro lado, a serie de Laurent em relacao a z = 1,

1
1
1
1
=
=

(1)n (z 1)n ,
z(z 1)
z1 z
z 1 n=0

H
C0

f (z)dz =

|z 1| < 1

H
fornece C1 f (z)dz = 2i Res [f (0)] = 2i para contorno em volta de z = 1 e contido em
0 < |z 1| < 1. Logo, para qualquer contorno que envolva ambos os polos, e.g., o contorno
|z| = 2,
I
f (z)dz = 2i( Res [f (0)] + Res [f (1)]) = 2i(1 + 1) = 0
A integral

H
C

f (z)dz de
1/z

1
=1+
,
n
n!z
n=1

|z| > 0

para qualquer contorno simples fechado em torno de z = 0 e igual a

I
f (z)dz = 2i,
C

enquanto

( )
1
dz = 0
cosh
z
C

pois o coeficiente do termo z 1 e igual a zero.

82

Resduos de func
oes em polos de ordem m

H
Enquanto que para funcoes com singularidades essenciais integrais do tipo C f (z)dz devemos calcular os resduos pelo metodo acima, utilizando a serie de Laurent para a regiao contendo o contorno
C, para funcoes com polos de ordem m existe outro metodo disponvel. Vimos que neste caso
podemos associar `a funcao f (z) com polo de ordem m em z = z0 uma funcao (z) analtica em
z0 ,
{
(z z0 )m f (z), p/ z = z0
(z) =
bm ,
p/ z = z0 ,

com bm = 0. Ainda, a serie de Laurent para uma regiao anular 0 < |z z0 | < R (onde 0 < R < )
e dada por,

n+m
(z) =
an (z z0 )
+
bn (z z0 )mn .
H

n=0

n=1

Logo, C f (z)dz = 2b1 ao longo de um contorno simples C fechado em torno de z0 e contido em

0 < |z z0 | < R, onde
I
(z)
1
dm1 (z)
1
dz
=
lim
b1 = Res [f (z0 )] =
2i C (z z0 )m
(m 1)! zz0 dz m1
1
dm1
=
(5.3)
lim m1 [(z z0 )m f (z)] ,
(m 1)! zz0 dz
onde o limite z z0 deve ser tomado apos a (m 1)esima derivada ter sido calculada. Em
particular, para polo simples em z0 ,
Res [f (z0 )] = lim [(z z0 )f (z)] .
zz0

(5.4)

Fun
co
es quocientes de func
oes analticas
Para o caso de funcoes q(z) cujos denominador e o numerador sao funcoes analticas, i.e., dada uma
funcao
f (z)
q(z) =
,
g(z)
em que f (z) e g(z) sao ambas analticas em um ponto z0 e f (z0 ) = 0. Logo, se g(z0 ) = 0, entao
existe vizinhanca de z0 em que g(z) = 0, e f (z) e g(z) sao analticas, logo, q(z) e analtica. Por
outro lado, se g(z0 ) = 0, temos um ponto singular de q(z). Mas como zeros de funcoes analticas
sao isolados, g(z) = 0 em alguma vizinhanca |z z0 | < (onde > 0 e pequeno o suficiente). Logo,
q(z) e analtica em |z z0 | < com z0 sendo um ponto singular isolado.
Digamos que q(z0 ) = 0, f (z0 ) = 0 e


dm q 
dk q 
= 0, p/ k = 1, 2, . . . , m 1
e
= 0.
dz k z0
dz m z0
A funcao q(z) = f (z)/g(z) possui polo de ordem m em z0 . Se m = 1 a funcao tem polo simples em
z0 .
83

Da expansao de Laurent das funcoes no numerador e denominador, teremos



dn f  (z z0 )n
dz n z0
n!
n=0
q(z) =


dn+m g  (z z0 )n+m
(z z0 )m
dz n+m z0 (n + m)!
n=0

p

dn+m g 


dz n+m z0 (z z0 )n+m
dk f  (z z0 )k
1

p

= m 
(1)
,
m 

k
d g
dz z0
k!
(n + m)!
n=1 d g 
m
p=0
k=0
(z z0 )
dz m z0
dz m z0
em uma regiao 0 < |z z0 | < R (para 0 < R < ). Para obter o resduo de q(z) em z0 temos de
obter o coeficiente do termo (z z0 )1 da expressao acima, seja diretamente da expansao, seja por
1
dm1
lim m1 [(z z0 )m q(z)] ,
zz
(m 1)!
0 dz
o que pode se tornar complicado. Entretanto, no caso de g(z) ter um zero simples em z0 , a situacao
e amenizada, pois neste caso,


dn f  (z z0 )n
dz n z0
n!
n=0
[ 
]
q(z) =


dg 
dn+1 g  (z z0 )n+1
(z z0 )
+
dz z0 n=1 dz n+1 z0 (n + 1)!


p
dn+1 g 


dz n+1 z0 (z z0 )n+1
dk f  (z z0 )k
1

p


=
(1)

k

dg 
dg
dz
k!
(n
+
1)!
n=1

z0

p=0
(z z0 )  k=0
dz z0
dz z0

f (z0 )

an (z z0 )k
=
+

dg
k=0
(z z0 ) 
dz
z0

Res [q(z0 )] = b1 =

f (z0 )

dg 
dz z0

onde os coeficientes an resultam da combinacao dos termos das somatorias.

Um exemplo de funcao com polos simples e f (z) = tan z, pois cos z possui zeros simples em
z = (m+ 21 ) para m inteiro. Pode-se verificar isto a partir do segundo termo da expansao de cos z,
d cos z 
= sen[(m + 12 )] = (1)m+1 . Como o numerador de tan z e tambem sen z, temos

dz
1
(m+ 2 )

[
(
sen[(m + 12 )]
)]
Res tan m +
=
= 1.
2
sen[(m + 12 )]
84

5.3

C
alculo de integrais definidas

Lema de Jordan
Seja C+ (C ) um semicrculo de raio R centrado na origem no semiplano complexo Imz > 0
(Imz < 0), i.e., |z| = R tal que 0 arg(z) ( arg(z) 0) no sentido positivo. Considere
uma funcao f (z) que tende a zero uniformemente mais rapidamente do que 1/|z| quando |z|
para 0 arg(z) ( arg(z) 0) e um n
umero 0 ( 0) com R. Entao, sob esta
condicoes,
(
)

iz
iz
e f (z)dz = 0, 0
e f (z)dz = 0, 0
lim
lim
R

C+

Para mostrar o Lema para C+ temos z = Rei , onde 0 arg(z) . Portanto, dz = iRei d = izd e
eiz = eiR cos R sen ,
de modo que





C+

iz



f (z)dz 

eR sen |f (z)| Rd.

Mas como 1/|z| 0 mais rapidamente do que R1 , entao |f (z)| R < (R) positivo, onde limR (R) 0.
Assim,



/2
/2


iz
R sen
R sen


e f (z)dz  < (R)
e
d = (R)
e
d + (R)
eR sen() d

C+

C+


iz
e f (z)dz  < 2(R)

/2

eR sen d < (R)

/2

e2R/ d =

)
(R) (
1 eR .
R

Acima utilizamos sen / > 2/ em 0 /2, pois neste intervalo sen / e monotonicamente decrescente com valores lim0 sen / 1 e sen(/2)/(/2) = 2/. Portanto,



0
p/ > 0


)
(R) (
lim 
eiz f (z)dz  < lim
1 eR
(R)R

R C+
R R
= (R) 0 p/ = 0
R
Logo, o Lema e verificado. Para o caso em que < 0 tomando-se um contorno semicircular em Im z < 0
fornece sen > 0 e a demonstracao segue da mesma forma acima.

Para os casos em que o Lema de Jordan e valido diversos tipos de integrais se tornam faceis de
serem calculadas. Seguem alguns exemplos.

5.3.1

Integrais de func
oes racionais

Aqui os resduos permitem obter o valor de integrais do tipo

p(x)
dx
q(x)

85

Figura 5.2: Esquerda: contorno simples fechado composto pelos segmento de reta em que R x R e o
arco de circunferencia C+ em Im z > 0. Direita: contorno simples fechado composto pelos segmento de reta em
que R x R e o arco de circunferencia C em Im z < 0. Note que neste caso a integracao esta no sentido
R
antihorario para que tenhamos R f (z)dz.

onde p(x) e q(x) sao polinomios ( R) e q(x) = 0 para x R. Utilizando o contorno fechado C
formado pelo segmento de reta em que R x R e o arco da semicircunferencia |z| = R em
Im z > 0 no sentido antihorario (ver Fig. 5.2 `a esquerda), se existirem zeros de q(z) em Im z > 0.
Se houver zeros de q(z) em Im z < 0 poderamos considerar o contorno exemplificado na Fig. 5.2 `a
direita. Portanto, para o contorno
I

R

p(z)
p(z)
p(x)
p(x)
lim
dz = lim
dz + lim
dx =
dx
R C q(z)
R C q(z)
R R q(x)
q(x)
+
pois, pelo Lema de Jordan a integral ao longo da semicircunferencia vai para zero. Logo,

p(x)
dx = lim
R
q(x)

I
C

[
]
N

p(zk )
p(z)
dz = 2i
Res
q(z)
q(zk )
k=1

onde zk sao os zeros de p(z)/q(z) em Im z > 0. Se tivessemos escolhido o contorno para Im z < 0
entao teramos
[
]

I
N

p(x)
p(z)
p(zk )
dx = lim
dz = 2i
Res
R C q(z)
q(zk )
q(x)
k=1
com zk os zeros de p(z)/q(z) em Im z < 0.

Aqui o Lema de Jordan e valido se R|p(z)/q(z)| 0 quando R . Como p(z) e q(z) sao polinomios e p(z)
tem grau np e preciso que q(z) tenha grau nq np + 2.

86

Exemplos

0

Mas

x2 dx
, onde 0 < a < b sao constantes reais. Neste caso,
(x2 + a2 )(x2 + b2 )

I
1
1
x2 dx
x2 dx
z 2 dz
=
=
.
(x2 + a2 )(x2 + b2 )
2 (x2 + a2 )(x2 + b2 )
2 C+ (z 2 + a2 )(z 2 + b2 )
0
[
]
z2
1
b2
a2
f (z) = 2
= 2

(z + a2 )(z 2 + b2 )
(b a2 ) (z 2 + b2 ) (z 2 + a2 )
[ (
)
(
)]
1
a
b
1
1
1
1
= 2

(b a2 ) 2i z ib z + ib
2i z ia z + ia

Portanto, temos os polos simples ia e ib. Escolhendo contorno em Im z 0 apenas os polos ia

e ib se encontram dentro do contorno. Deste modo,

I
x2 dx
(b a)
1

=
f
(z)dz
=
i
{
Res
[f
(ia)]
+
Res
[f
(ib)]}
=
=
(x2 + a2 )(x2 + b2 )
2 C+
2(b2 a2 )
2(b + a)
0
Se tvessemos escolhido o contorno em Im z 0 apenas os polos ia e ib estariam dentro deste
contorno. Logo,
I

x2 dx
1
f (z)dz = i { Res [f (ia)] + Res [f (ib)]} =
=
.
2
2
2
2
(x + a )(x + b )
2 C
2(b + a)
0
Os resultados sao os mesmos, como e de se esperar.
Em outro exemplo considere

dx
,
2
2 n
(x + a )
onde a > 0 e uma constante real e n e um n
umero inteiro maior ou igual a 1. Temos entao,

I
dx
dz
n =
2
2
2
2 n
(x + a )
c+ (z + a )
pois a integral ao longo do arco da semicircunferencia de raio R vai para zero posto que n 1.
A funcao f (z) = (z 2 + c2 )n tem dois polos de ordem n, ia e ia, pois

[
]
(
)
(
)2

z
+
ia
n(n
+
1)
z
+
ia
1

+
+ ...

[2ia(z + ia)]n 1 + n
2ia
2
2ia
1
[
]
f (z) =
=
(
)
(
)2
(z + ia)n (z ia)n
1
z

ia
n(n
+
1)
z

ia

+ ...
+

[2ia(z ia)]n 1 n
2ia
2
2ia
Desta expressao podemos obter diretamente os resduos em ia e ia. Ao inves disso, vamos tentar
aplicar a Eq. (5.3) para o resduo de f (z) em ia. Teremos,
[
]
]
1
dn1
(z ia)n
1
dn1 [
n
Res [f (ia)] =
lim n1
=
lim
(z
+
ia)
(n 1)! zia dz
(z ia)n (z + ia)n
(n 1)! zia dz n1
87

Mas,
]
dn1 [
dnj1
n
j
(z
+
ia)
=
(1)
n(n
+
1)

(n
+
j

1)
(z + ia)nj
dz n1
dz nj1
(1)n1 [2(n 1)]!
= (1)n1 n(n + 1) (2n 2)(z + ia)2n+1 =
(z + ia)2n+1 .
(n 1)!
Logo,
Res [f (ia)] =

(1)n1 [2(n 1)]!

i[2(n 1)]!
(2ia)2n+1 =
,
2
[(n 1)!]
[(n 1)!]2 (2a)2n1

e encontramos,

I
dx
dz
2[2(n 1)]!
,
n =
n = 2i Res [f (ia)] =
2
2
2
2
[(n 1)!]2 (2a)2n1
(x + a )
c+ (z + a )

5.3.2

n = 1, 2, 3, . . .

Produtos de funco
es racionais e trigonom
etricas

No caso de integrais do tipo

p(x)
dx
q(x)

cos(ax)
sen(ax)

onde p(x), q(x) = 0 e a reais, podemos fazer

} I
}
{
{

p(z)
p(x) cos(ax)
Re exp(iaz)
=
dz
,
dx
q(x) sen(ax)
q(z) Im exp(iaz)
C

onde o contorno C (como os da Fig. 5.2) e escolhido em Im z > 0 (Im z < 0) dependendo de
eiaz = eiaR cos eaR sen ir para zero com R , i.e., para > 0 ( < 0). Deve-se, ainda, se
assegurar que limR0 R|p(z)/q(z)| 0 uniformemente para utilizar o Lema de Jordan.
Exemplos
Como primeiro exemplo calculemos

dx cos(ax)
,
x4 + 1

onde a R. Esta integral pode ser transformada em uma integral ao longo de um contorno fechado
C+ se a > 0, como discutido acima. Desta forma,


I
dx cos(ax)
dxeiax
dzeiaz
=
Re
=
Re
.
4
4
x4 + 1

x + 1
C+ z + 1
O integrando da u
ltima igualdade possui quatro polos simples em
z4 + 1 = 0

z 4 = 1 = ei+i2k

88

zk = ei/4+ik/2

Dois deles, para k = 0 e k = 1, estao em Im z > 0, i.e., z0 = ei/4 e z1 = e3i/4 . Portanto,

[
]
I
dzeiaz
eiaz0
eiaz1
= 2i
+
4
(z0 z1 )(z0 z2 )(z0 z3 ) (z1 z0 )(z1 z2 )(z1 z3 )
C+ z + 1
[
]
eiaz0
eiaz1
= 2i 3
+
z0 (1 ei/2 )(1 ei )(1 ei3/2 ) z13 (1 ei/2 )(1 ei/2 )(1 ei )
( iaz0
)
)
( iaz0
e
eiaz1
eiaz1
e
(
)
2i
+ 3
2i
+ 3
i eiaz0 eiaz1
z03
z1
z03
z1
=
=
=
+ 3
2
(1 ei/2 )(1 ei/2 )(1 ei )
2
z03
z1
2 |1 ei/2 |
(
)
i
eia[cos(3/4)+i sen(3/4)]
= i3/4 eia[cos(/4)+i sen(/4)] +
2e
ei3/2
)

iei3/4 ( ia2/2
ia 2/2
=
e
+ ie
ea 2/2
2
[ ( )
( )
( )
( )]

2(1 i)
2
2
2
2
=
cos a
+ i sen a
+ i cos a
+ sen a
ea 2/2
2
2
2
2
2
2
[ ( )
( )]

2
2
2
=
(1 i)(1 + i) cos a
+ sen a
ea 2/2
4
2
2
( )]
[ ( )

2
2
2
cos a
+ sen a
ea 2/2 .
=
2
2
2
Logo, para a > 0,

( )]
[ ( )

dx cos(ax)
2a
2a
2
a 2/2
=
cos
+
sen
e
.
x4 + 1
2
2
2

Se a < 0 o procedimento e o mesmo, mas tomando o contorno C no plano complexo em que

Im z 0.
Observe que a integral acima e uma das integrais do tipo
2q+1
2q
x
sen(ax)dx
x cos(ax)dx
e
2p + b2p
x
x2p + b2p

onde p e q sao inteiros positivos, a > 0 e b > 0 sao constantes reais. Para o Lema de Jordan ser aplicavel e
preciso que p > q para o caso em que temos o cosseno e p > q + 1 para o caso em que temos o seno. Ent
ao,
podemos escrever
{
}
x2q
{
}
{
}
eiax dx


2q+1
2q
x
dx
x cos(ax)
Re
=
2q+1 sen(ax)
2p + b2p
x
Im
x
x2p + b2p

{ 2q }
z
{
}I
eiaz dz
z 2q+1
Re
.
=
Im
z 2p + b2p
C+

89

O integrando f (z) =

zeiaz
da integral do RHS e singular quando
+ b2p

z 2p

z 2p + b2p = 0

z 2p = b2p = bei+i2k

k = 0, 1, . . . , 2p 1.

zk = bei(1+2k)/2p ,

Observe ha somente polos simples, com p polos (para k = 0, 1, . . . , p 1) em Im z > 0 e outros p polos em
Im z < 0 (para k = p, p+1, . . . , 2p1). Observe tambem que se tvessemos z 2p+1 +b2p+1 no denominador,
um dos polos (k = p1) estaria no eixo real negativo (o que estaria em contradicao `a suposicao que q(x) = 0
para x R). Portanto, temos
{ 2q }
{ 2q }
zk
z
iaz
zk
eiazk
e
(z zk )
2q+1
z
zk2q+1
Res [f (zk )] = lim
=
2p1
2p1
zzk

(z zj )
(zk zj )
j=0

j=0
j=k

o que resulta em,

{
I

zk2q

{
eiaz dz

zk2q+1
z 2p + b2p

C+

= 2i

p1

Res [f (zk )] = 2i

k=0

zk2q

p1

k=0

zk2q+1

}
eiazk

2p1

(zk zj )

j=0
j=k

O produtorio pode ser calculado deixando zk em evidencia e depois fazendo j j k,

)
2p1
2p1
2p1
)
(

(
zj
2p1
2p1
= zk
1 ei(jk)/p
P =
(zk zj ) = zk
1
zk
j=0
j=k

j=0
j=k

j=0
j=k

p1
(

zk2p1

1e

ij/p

)
=

zk2p1

j=1

p1
(

1e

ij/p

) 2p1
)
(
1 eij/p

j=1

j=p+1

Fazendo j 2p j no segundo produtorio da u

ltima igualdade acima, teremos
P =
=

2zk2p1

p1
(

1e

ij/p

j=1
2p1
2pzk ,

( )]
p1
p1
2
) p1
)
(

[
j
2p1
2p1
ij/p 2i
ij/p 
1e
e
= 2zk
2 2 cos
1 e
 = 2zk
p
j=1

j=1

j=1

pois (ver Gradshteyn & Ryzhik, Table of Integrals, Series, and Products, 7th Ed., Pg. 42, Formula 1.396.1),
p1
[

(
2 2 cos

j=1

j
p

)]
= lim

u1

p1
[

(
u 2u cos
2

j=1

j
p

u2p 1
= p.
u1 u2 1

+ 1 = lim

Portanto,
{
I
C+

z 2q

}
eiaz dz

z 2q+1
z 2p + b2p

= 2i

p1

k=0

zk2q

zk2q+1
P

90

}
eiazk
=

p1
i
eiazk
{ 2p2q1 }
p
zk
k=0
zk2p2q2

Aqui zk = bei/2p eik/p e

eiazk = eiab cos((1+2k)/2p) .eab sen((1+2k)/2p)

Efetuando-se as operacoes aritmeticas e obtendo a parte real ou imaginaria encontramos as integrais

improprias iniciais.
Aplicando este resultado para a integral

x sen(ax)dx
,
a>0
x2 + 4

temos p = 2, q = 0, b = 22 e
[
]
I
z eiaz dz
i eiaz0
eiaz1
=
+ 2 .
2p
2p
2
z02
z1
C+ z + b
Mas z02 = ib2 , z12 = ib2 , ab cos(/4) = ab cos(3/4) = a e ab sen(/4) = ab sen(3/4) = a. Portanto,
[
]
I
z eiaz dz
i eiab cos(/4) eiab cos(/4) ab sen(/4) i a
= 2
e
= e sen a,
2p
2p
b
2i
2
C+ z + b
donde

5.3.3

x sen(ax)dx
= Im
x2 + 4

I
C+

z eiaz dz

= ea sen a,
2p
2p
z +b
2

Fun
co
es com func
oes trigonom
etricas como argumentos

Para integrais envolvendo funcoes do tipo f (sen , cos )

2
df (sen , cos )
0

faz-se z = ei , donde dz = izd, sen = (z 1/z)/2i, cos = (z + 1/z)/2 e a integracao passa a ser
realizada ao longo da circunferencia |z| = 1,

1
1
2
I
dz z z z + z
df (sen , cos ) = i
f
,

2i
2
0
|z|=1 z
Exemplos
Considere

d
,
(1 + a cos )n

|a| < 1.

Fazendo z = ei temos
( )n I
( )n I
2
d
2
z n1 dz
2
z n1 dz
(
)
=
i
=
i
,
n
n (z z )n
(1 + a cos )n
a
a
(z

z
)
2

+
0
|z|=1
|z|=1
z2 + z + 1
a
91

Figura 5.3: Contornos para integrais (a)

onde
z =

dz/(z 3 + 1) e (b)

H
C

dz/(z 7 + 1).

1 a2

a
sao polos de ordem n. Para |a| < 1 apenas o polo z+ esta dentro do contorno |z| = 1. Logo,
( )n
2
( )n I
[
]
2
2
n1
2
(z z+ )n z n1
d
z dz
dn1
a
)n =
(
= i
lim
(1 + a cos )n
a
(n 1)! zz+ dz n1 (z z+ )n (z z )n
2
0
|z|=1
2
z + z+1
a
( )n
2
[
]
2

dn1
z n1
a
 .
=
n1
n
(n 1)! dz
(z z ) 
z+

Para os casos em que n = 1 e n = 2 o calculo da derivada e mais simples, resultando em

2
d
2 2
2
=
=
(1 + a cos )
a z+ z
1 a2
0
( )2
( )2
]
( )2
[
2
2

2
d
2
2
d
z
z + z+
a

=
2
=
2
=
2
(1 + a cos )2
a dz (z z )2 z+
a (z+ z )3
a ( a2 )3 (1 a2 )3/2
0
2
=
(1 a2 )3/2

92

5.3.4

Outras integrais

Examinemos integrais do tipo

dx
,
n = 1, 2, 3, . . .
+1
0
Neste caso se fizemos o procedimento visto anteriormente, teremos problemas, pois x = 1 e ponto
singular sobre o eixo x. Logo, devemos tentar outro contorno que permita avaliar a equacao acima.
Considere, entao, o contorno C formado por segmento de reta no eixo x positivo de 0 a R, um arco
de cincunferencia de raio R e angulo e a reta radial z = ei , conforme mostra a Fig. 5.3 para os
casos n = 1 (a) e n = 3 (b). Portanto,
]
[ R
I
I
I
dz
dz
dz
dx
= lim
+
+
2n+1 + 1
2n+1 + 1
2n+1 + 1
2n+1 + 1
R
C z
CR z
C1 z
0 x

0

(
)
dx
ei d
dx
i2/(2n+1)
=
+
= 1e
,
2n+1
i(2n+1)
2n+1
2n+1
x
+1

+1
x
+1
0
e
0
x2n+1

onde fizemos (2n + 1) = 2 para que ei(2n+1) = 1. A integral ao longo do contorno fechado C
deve ser igual a 2i vezes a soma dos resduos da funcao nos polos contidos dentro de C. Os polos
(simples) sao
z 2n+1 = 1 = ei ei2k zk = ei/(2n+1) ei2k/(2n+1) .
Portanto, apenas o polo z0 = ei/(2n+1) se encontra dentro do contorno, de modo que
I

(
)
dz
2i
2i
dx
i2/(2n+1)
= 2n
=
= 1e
2n+1
2n+1
2n
+1
x
+1
(

)
C z
0
(z0 zk )
z02n
1 ei2k/(2n+1)
k=1

k=1

Mas, repetido procedimento semelhante ao realizado anteriormente,

2n

1e

i2k/(2n+1)

k=1

(
k=1
n

k=1
n

1e

i2k/(2n+1)

1 ei2k/(2n+1)

2n
)
(

k=n+1
n

1 ei2k/(2n+1)

1 ei2k/(2n+1)

k=1

(
)]
n [



2k
i2k/(2n+1) 2

=
1e
=
2 2 cos
2n + 1
k=1
k=1
[
(
)
]
n

2k
u2n+1 1
2
u 2u cos
+ 1 = lim
= 2n + 1.
= lim
u1
u1
2n + 1
u1
k=1
(Aqui, utilizamos resultado em Gradshteyn & Ryzhik, Table of Integrals, Series, and Products, 7th
Ed., Pg. 42, Formula 1.396.2) Portanto,

dx
2i
2i
=
=
2n+1
i2n/(2n+1)
i2/(2n+1)
i
i/(2n+1)
x
+1
(2n + 1)e
(1 e
)
(2n + 1)e e
(1 ei2/(2n+1) )
0
2i

(
)
=
=

(2n + 1) (ei/(2n+1) ei/(2n+1) )

(2n + 1) sen
2n + 1
93

Figura 5.4: Contornos possveis em torno do ponto singular x0 .

5.4

Valor principal de uma integral

Em todos os casos vistos ate entao, a integral nao possuia singularidades sobre o contorno de
integracao. Quando isto acontece, a integral nao existe. Entretanto, ela pode existir no sentido do
valor principal de Cauchy da integral.
Considere um ponto x0 real e uma funcao analtica f (x) em x0 , onde lim|x|to |x f (x)|
constante para > 0. Tentemos calcular a integral

f (x)dx
.
x x0
Para isso, podemos contornar o ponto singular utilizando uma semicircunferencia de raio 0 centrada em x0 , como mostra a Fig. 5.4, ou por cima (`a esquerda) ou por baixo (`a direita). Escolhamos
o contorno +
encia
0 , denotando por C o contorno simples fechado formado por uma semicircunfer
CR de raio R (a escolha do semiplano complexo Im z > 0 ou Imz < 0 deve ser feita de modo
a utilizarmos o lema de Jordan e esta parte da integral tende a zero), a semicircunferencia +
0 em
torno de x0 e trechos da eixo x onde < x < x0 e x0 + < x < , teremos
I

x0

f (z)dz
f (z)dz
f (z)dz
f (x)dx
f (x)dx
=
+
+
+
x x0
z x0
C z x0
CR z x 0
+

x0 + x x0
0

f (z)dz
f (x)dx
=P
+
.
z x0
+
x x0
0
Acima e definido o valor principal da integral (quando existir), i.e.,

x0

f (x)dx
f (x)dx
f (x)dx
P
= lim
+ lim
.
0
x x0 0 x0 + x x0
x x0
Observe que os limites em ambas as integrais tendem a zero da mesma forma. Se tendessem de
formas diferentes poderamos ter resultados diferentes e a integral nao e bem definida. Para 0
temos tambem
0

f (x0 + ei )ei d
f (z)dz
= lim i
= if (x0 ).
i
0
z

x
e
0

+
0
Se houvessemos escolhido o contorno
amos,
0 ter

0
f (z)dz
f (x0 + ei )ei d
= lim i
= if (x0 ).
0
z x0
ei

0
94

Alem disso,

CR

onde N e o n
umero de resduos de
integral e realizada. Portanto,

[
]
N

f (zj )
f (z)dz
= 2i
Res
,
z x0
z

x
j
0
j=1
f (z)
no semiplano complexo (Im z > 0 ou Im z < 0) onde a
z x0

[
]
N

f (x)dx
f (zj )
= if (x0 ) + 2i
Res
,
x x0
z

x
j
0
j=1

onde o sinal + () corresponde `a escolha do contorno +

0 (0 ).
sen x
Um exemplo e a integral 0 dx
. Reescrevendo a integral, temos
x

1 sen x
1
1
eix
sen x
eix
dx ,
dx
=
dx
= Im
dx
= Im
x
2
x
2
x
2
x
C+
0

onde x = 0 pertence ao contorno de integracao. A semicircunferencia C+ no semiplano complexo

superior e escolhida pelo fato de termos eix no integrando. Observe que a singularidade em x = 0 e
removvel. Tomando o valor principal da integral temos para um contorno por cima da singularidade

eix
P
dx
= ie0 = i
x

de forma que

sen x
1
dx
= Im P
x
2

dx

eix
=
x
2

No caso em que ha duas singularidades no caminho de integracao, onde, por exemplo, temos a
integral

f (x)dx
,
x1 , x 2 R
(x x1 )(x x2 )
podemos aplicar o mesmo procedimento acima duas vezes. Portanto, escolhendo contorno C no
semiplano complexo em Im z > 0 ou em Im z > 0 dependendo do integrando (para que utilizemos
o Lema de Jordan e a integral sobre o grande arco cR tenda a zero), teremos
I
x1

x2
f (z)dz
f (x)dx
f (z)dz
f (x)dx
=
+
+
(x x1 )(x x2 )
(z x1 )(z x2 )
C (z x1 )(z x2 )
x1 + (x x1 )(x x2 )
1

f (x)dx
f (z)dz
+
+
x2 + (x x1 )(x x2 )
2 (z x1 )(z x2 )

95

onde 1 e 2 sao os contornos escolhidos para contornar x1 e x2 respectivamente. Teremos, portanto,

que o valor principal da integral e dado por
[
]

N

f (zj )
f (x)dx
P
= 2i
Res
(zj x1 )(zJ x2 )
(x x1 )(x x2 )
j

f (x2 ) f (x1 )

,
p/ 1 = +

1 e 2 = 2

x2 x1

f (x2 ) f (x1 )

, p/ 1 =
1 e 2 = 2
x

x
2
1
+ i
,
f (x2 ) + f (x1 )

,
p/

1
2
1
2

x2 x1

f (x2 ) + f (x1 )

, p/ 1 = +
1 e 2 = 2
x2 x1
onde + e no sobreescrito de significam integracoes no semiplano complexo superior e inferior respectivamente. Em particular, o fenomeno fsico a ser considerado define qual caminho de
integracao deve ser considerado. Escolhendo ambos os contornos em um mesmo semiplano teremos,
[
]

N

f (zj )
f (x)dx
f (x2 ) f (x1 )
P
= 2i
Res
i
.
(z

x
)(z

x
)
x

x
j
1
J
2
2
1
(x x1 )(x x2 )
j
No caso de termos x1 = x2 = x0 , ou seja, a integral tem um polo de ordem 2 em x0 , basta fazer
x1 tox2 e teremos

[
]

N

f (zj )
f (x)dx
df (x) 
P
= 2i
Res
i
.
(zj x1 )(zJ x2 )
dx x0
(x x1 )(x x2 )
j
Como exemplo, considere a integral associada a funcoes de Green
ixt
e dx
,
k, t R
2
2
x k
Para calcular esta integral no sentido do valor principal temos de escolher o contorno de integracao
no semiplano complexo superior (inferior) se t > 0 (t < 0). Escolhendo tambem os contornos de
integracao em torno de k nos semiplanos superior (inferior) para t > 0 (t < 0) tambem, a integral
no contorno simples fechados nao incluem polo algum. Logo, teremos

ixt
eikt eikt
sen(kt)
sen(k|t|)
eixt dx
e dx
=

i
=
=
P
2
2
2
2
2k
k
k
C x k
x k
Outra maneira de se evitar a singularidade no caminho de integracao e elevando ou abaixando
o caminho de integracao. Desta forma, a integral no contorno simples fechado C (onde este e
escolhido de forma `a integral ao longo do arco grande CR tender a zero, de acordo com o Lema
de Jordan) tem parte de seu trecho nao mais no eixo real, mas em um eixo paralelo ao longo de
z = x + i (ou z = x i se abaixarmos o contorno). Assim,
i
I
f (z)dz
f (z)dz
=
,
i z x0
C z x0
96

onde o sinal + () corresponde a levantar (abaixar) o eixo x. Fazendo z = z i (z = z + i no

caso de abaixar o contorno) para 0 teremos,


I
f (z i)dz
f (z)dz
f (z)dz
= lim
=
lim
.
0 z i x0
0 z (x0 i)
C z x0
Ou seja, levantar (abaixar) o eixo real e o mesmo que abaixar (levantar) a singularidade por uma
constante infinitesimal. Como,
I

f (z)dz
f (x)dx
=P
if (x0 ),
C z x0
x x0
entao,

f (x)dx
= if (x0 ) + lim
0
x x0

Considere a integral
1
2i

eikx dx
,
x i

f (z)dz
.
z (x0 i)

> 0.

Podemos calcula-la ao fecharmos o contorno com uma semicircunferencia CR de raio infinito. Se k > 0
(k < 0) CR esta no semiplano complexo superior (inferior), onde dentro do contorno considerado ha um
(nenhum) polo. Logo,
{ k
ikx
ikz
1
e dx
1
e dz
e , p/ k > 0
=
=
(5.5)
0,
p/ k < 0
2i x i
2i C z i
Se 0 teremos uma representacao integral para a funcao degrau de Heaviside (x),
{
ixt
e dt
1
1, p/ x > 0
=
(x) =
0, p/ x < 0
2i t i

(5.6)

no limite em que 0. Note que

ikx
ikx
ikx
1
e dx
1
1
e dx ie0
e dx 1
P
=

=
.
2i
x
2i
x

i
2i
2i
2

x i
de acordo com o que vimos acima sobre deslocar o eixo real para cima (e o ponto singular para baixo).
Portanto, encontramos uma forma alternativa para a funcao degrau,
ikx
ikx
1
e dx
1
1
e dx
(x) = lim
= +
P
,
0 2i x i
2 2i
x

para > 0.
Observe que se tomarmos a derivada desta funcao em relacao a x (supondo que possamos intercambiar
a derivacao com a integracao) teremos, para 0,
{
}


d(x)
1
i t eixt dt
1
0, p/ x > 0
=
=

eixt dt,
(5.7)
0, p/ x < 0
dx
2i t i
2
com o valor em x = 0 nao bem definido. Esta e uma representacao integral da delta de Dirac, (x) (que
na verdade, assim como a funcao degrau de Heaviside nao sao exatamente funcoes, mas distribuic
oes ou
funco
es generalizadas).

97

5.5

Funco
es multivalentes

Ate agora a maioria das funcoes complexas encontradas ou eram inteiras, ou analticas com singularidades isoladas. Entretanto, ha funcoes que podem adquirir valores diferentes em um mesmo
ponto. Funcoes deste tipo sao chamadas de funcoes multivalentes. De modo geral, uma funcao
multivalente tem valor distinto para um mesmo valor de z quando percorre-se um contorno fechado
em volta de um dado ponto z0 , i.e., para z z0 = rei temos
(
)
(
)
f z0 + rei+i2 = f z0 + rei .
Se para qualquer curva fechada em volta de z0 tivermos este comportamento, o ponto z0 e denominado de ponto de corte da funcao. Entretanto, ao circundar qualquer outro ponto que nao seja
ponto de corte, a funcao retorna ao seu valor inicial.
A funcao ln z e um exemplo de uma funcao multivalente, assim como potencias nao inteiras
de z tambem o sao. Entao, o que fazer com funcoes deste tipo, ja que os teoremas vistos ate o
momento lidam com funcoes univalentes (ou seja, possuem um u
nico valor em cada ponto z em
que esta definida)? A resposta esta na construcao de superfcies interconectadas de modo a uma
dada funcao multivalente ser univalente sobre cada uma destas superfcies, chamadas de superfcies
de Riemann.

5.5.1

Pontos e ramos de corte; Superfcies de Riemann

Superfcie de Riemann e ln z
Um ponto de corte, como vimos, e um ponto que tem a propriedade que qualquer curva fechada
que envolva este ponto leva a funcao a ter valores diferentes a cada volta ao longo da curva. No
caso de ln z ha dois pontos de corte: 0 e . Isto porque uma volta completa em torno de z = 0
teramos um valor diferente da funcao no mesmo ponto z, i.e., para z = zei2 = z,
ln(zei2 ) = ln z + i2.
Alem disso, um ponto no tambem e ponto de corte, pois ln z = ln(1/z).
A construcao da superfcie de Riemann comeca pela remocao dos pontos ao longo de uma linha
que une os pontos de corte. Este corte no plano complexo e denominado de ramo de corte. Para
f (z) = ln z o ramo de corte e composto pelo eixo x negativo (que une 0 a infinito), embora qualquer
reta que unisse estes pontos poderia ser definida como um ramo de corte. Note que a funcao
multivalente passa a ser univalente no plano complexo com o ramo de corte. No caso da funcao
logaritmo, teremos uma serie infinita de funcoes analticas,
z = rei ,

fn (z) = ln r + i( + 2n),

n = 0, 1, 2, . . .

em r > 0 e < < . Agora, cada funcao fn (z) e definida univalente. Entretanto, desta forma
nao e mais permitido circundar um ponto de corte sem que se deixe o domnio de analiticidade de
fn (z), pois teramos de atravessar o ramo de corte. Alem disso, a funcao possui uma descontinuidade
no ramo de corte, pois, para um > 0,
fn (rei() ) = ln r + i[(2n + 1) ]

e
98

fn (rei(+) ) = ln r + i[(2n 1) + ]

de modo que
lim[fn (rei() ) fn (rei(+) )] = i2
0

Entretanto,
lim fn (rei() ) = lim fn+1 (rei(+) ).
0

Portanto, uma construcao que evita a descontinuidade da funcao no ramo de corte e a de uma
superfcie formada por planos complexos, cada um sendo o domnio de analiticidade de uma funcao
fn (z), conectados pelo ramo de corte de forma que o plano para fn (z) e conectado em = ao
plano fn (z) em = . Desta forma temos infinitas (para o logaritmo) folhas chamadas de folhas
de Riemann uma sobre a outra e conectadas pelos ramos de corte. A superfcie formada pelas
folhas e denominada de superfcie de Riemann. Continuam havendo dois pontos de corte para a
funcao logaritmo em cada folha, mas a descontinuidade foi removida e tem-se uma funcao univalente
sobre uma superfcie de Riemann. Uma volta em torno de um ponto de corte leva de uma folha
de Riemann a outra. Pode-se classificar os pontos de corte em termos da superfcie de Riemann
de uma funcao multivalente: um ponto de corte de ordem m e aquele em que sao necessarias pelo
menos m voltas em torno deste ponto para que a funcao retome seu valor inicial. No caso da funcao
logaritmo, z = 0 e z = sao pontos de corte de ordem infinita.
Os pontos de corte cumprem a funcao de pontos singulares. Entretanto, a natureza da singularidade difere da de um polo ou de uma singularidade essencial, pois alem da questao da diferenciabilidade da funcao no ponto, pontos de corte estao associados a funcoes multivalentes. Sem a
superfcie de Riemann os teoremas para funcoes complexas nao seriam validos devido ao nao u
nico
valor de uma funcao multivalente em um ponto. Se a teoria e estendida para funcoes analticas em
superfcies de Riemann, e necessario incluir os pontos de corte como singularidades.

5.5.2

Exemplos de outras funco

es multivalentes

A superfcie de Riemann exemplificada acima e apropriada para a funcao logaritmo. Entretanto,

ha outras funcoes multivalentes, com pontos de corte e supefcies de Riemann proprios.
Superfcie de Riemann para f (z) = z , onde
/Z
No caso de uma funcao do tipo potencia, mas onde z e elevado a um expoente nao inteiro, , i.e.,
z , teremos um ponto de corte em z = 0 e outro no infinito. O caso em que = 1/n nos permite
avaliar mais facilmente o que acontece. Veja que para z = rei temos f (z) = z 1/n = r1/n ei/n+i2k/n .
Procedendo de maneira similar ao da funcao logaritmo tem-se n folhas de Riemann, onde para cada
uma delas a funcao analtica fk (z) e definida
fk (z) = r1/n ei/n+i2k/n ,

r > 0,

0 < < 2,

k = 0, 1, . . . , n

com ramo de corte no eixo real positivo. Quando percorre-se um caminho em torno de z = 0, em
= 2 chega-se a outra folha de Riemann, i.e., vai-se de fk (z) para fk+1 (z). Entretanto, quando
na folha de Riemann n 1 uma volta de 2 nos leva de volta a folha de Riemann em que k = 0.
Logo, temos n folhas de Riemann (superfcie de Riemann fechada, pois retorna ao valor inicial apos
99


z (no topo, `a direita), z 1/3
(embaixo, `a direita). Os trechos verticais denotam as descontinuidades no ramo de

Figura 5.5: Superfcies de Riemann para as funcoes ln z (no topo, `a esquerda),

(embaixo, `a esquerda) e z 1/4
corte.

100

n
umero finito de folhas de Riemann) com ponto de corte de ordem n. No caso de ser racional
nao inteiro a construcao da superfcie seria semelhante. Se for um n
umero irracional, teramos
superfcie de Riemann com infinitas folhas. Os pontos de corte sao em z = 0 e z = .
Considere, como exemplo, f (z) = z 1/2 . Os pontos de corte sao z = 0 e z = . Em cada uma
das duas folhas de Riemann temos

f0 (z) = rei/2
e f1 (z) = rei/2 ei = rei/2 .
A partir da primeira folha de Riemann, onde temos a funcao f0 (z), quando atinge 2 atravessar
o
ramo de corte leva `a segunda folha de Riemann, de modo a preservar a continuidade da funcao z,
pois lim0 f0 (r, 2 ) f1 (r, ). Deste modo, depois de circular duas vezes em torno de z = 0
temos o valor inicial da funcao.
Superfcie de Riemann para f (z) =

z2 1

Para esta funcao e conveniente z 1 = r ei , de maneira que

f (z) = r+ r ei(+ + )/2 .

Ve-se, entao, que circular o ponto z = 1, mas nao o ponto z = 1 fornece + = 2 e = 0, e
f (z) e levado ao mesmo ponto, mas com sinal oposto. O mesmo acontece se circularmos z = 1,
mas nao z = 1. Portanto, z = 1 e z = 1 sao pontos de corte da funcao. Entretanto, ao circularmos
amobos os pontos, temos + = 2 e = 2 o que fornece o valor inicial da funcao. Define-se
o ramo de corte como o segmento de reta 1 x 1 (embora pudessemos definir outro ramo de
corte, como, por exemplo, < x 1 e 1 x < ). O ponto no infinito nao e ponto de corte,
pois para z 0,
( )
1
1
1
f
=

z
z2
z
e este ponto e um polo simples da funcao. A superfcie de Riemann e formada por duas folhas de
Riemann. A primeira folha de Riemann e definida de modo que < < , onde no eixo real
temos:

f (z) = +i 1 x2 ,
p/ 1 x 1, = 0, + =

f (z) = i 1 x2 ,
p/ 1 x 1, = 0, + =

f (z) = + x2 1,
p/ x 1, = + = 0

f (z) = x2 1,
p/ x 1, = + =
Superfcie de Riemann para arctanh(z) e arctan z
As funcoes arctanh(z) e arctan z sao exemplos de funcoes que podem ser escritas em termos da
funcao logaritmo, pois se f (z) = arctanh(z), entao,
( 2f
)
ef ef
e2f 1
1+z
2f
=

1
=
e
+
1
z e2f =
f
f
2f
e +e
e +(
1
1z
)
1
1+z
1
f (z) = arctanh(z) = ln
= [ln (1 + z) ln (1 z)] .
2
1z
2

z = tanh f =

101

Figura 5.6: Contornos para as integrais dos exemplos abaixo.

Logo, os pontos de ramificacao de arctanh z sao aqueles em que (1+z)/(1z) = 0 ou (1z)/(1+z) =

0 (os pontos de ramificacao de ln u, u = 0 e u = ), i.e., z = 1 e z = 1. O ramo de corte poderia
ser qualquer qualquer curva unindo estes pontos, mas para que a definicao seja a mesma de ln z,
escolhe-se o segmento no eixo real entre z = 1 e z = 1 onde (1 + z)/(1 z) = (1 + x)/(1 x) 0,
ou seja, x 1 ou x 1. Este ramo de corte une dois pontos e passa pelo infinito . Desta
forma, a funcao complexa arctanh z e definida no segmento real 1 < x < 1, coincidindo com a
definicao da funcao real arctanh x neste trecho. Alem disso, como | tanh x| < 1, isto tambem esta
de acordo com o fato de arctanh x nao possuir valores reais definidos em x 1 ou x 1.
Para arctan(z) temos
(
)
( 2if
)
(
)
e 1
1 eif eif
1 + iz
z = tan f =
= i 2if
e2if 1 = e2if + 1 iz e2if =
if
if
i e +e
e +1
1 iz
(
)
i
1 iz
i
f (z) = arctan(z) = ln
= [ln (1 iz) ln (1 + iz)] .
2
1 + iz
2
Logo, os pontos de ramificacao ocorrem quando (1 iz)(1 + iz) = 0 ou (1 + iz)(1 iz) = 0, i.e.,
em z = i. Para o ramo de corte, utilizando o trecho em que o argumento do logaritmo nao
seja positivo, temos um segmento de reta ao longo do eixo imaginario em que (1 iz)(1 + iz) =
(1 + y)(1 y) 0, i.e., y = Im z 1 ou y = Im z < 1. Portanto, esta definicao esta de acordo
com a funcao real arctan x que e definida para todos os valores de x.

O plano complexo pode ser mapeado em uma esfera, por projecao estereografica. Para isso, toma-se o plano
complexo como tangente a um dos polos (digamos que o polo sul) da esfera. Para qualquer ponto sobre a esfera
existe um ponto no plano complexo formado pela projecao sobre o plano do ponto na esfera a partir do polo norte.
Assim, o infinito neste plano complexo estendido corresponde ao polo norte, neste caso. Para mais detalhes, vide
[Ahlfors], secao 2.4.

102

5.5.3

Exemplos de integrais de func

oes com ramos de cortes

Considere

x dx
,
|| < 1
x2 + 1
0
Para calcular esta integral, podemos fazer uso de um contorno de integracao fechado. O contorno
de integracao deve contornar a origem e o eixo real positivo. Utiliza-se, assim, o contorno C =
CR + C0 + l1 + l2 mostrado na Fig. 5.6, de modo que
I

z dz
z dz
z dz
z dz
z dz
=
+
+
+
2
2
2
2
2
C z +1
CR z + 1
l2 z + 1
C0 z + 1
l1 z + 1
Mas,





C
 R




C0


2  i(+1) 
R e
z dz 
d 


lim
R
lim 2R1 0



2
2
2i
R
R
z +1
R e +1

2  i(+1)
z dz 
d 
r e

lim
r
lim 2r+1 0


2
2
2i
r0
z +1
r e + 1  r0

Logo, as integrais ao longo de CR e C0 scao iguais a zero nos limites R e r 0. Portanto,

I

0 i2 i2

) d
z dz
d
e
e d (
i2
=
+
= 1e
,
2
2 + 1
2 ei2 + 1
2 + 1
C z +1
0

0
pois na integral ao longo de l2 , z = ei2 , enquanto que na integral ao longo de l1 , z = ei , que,
no limite em que 0, tendem a z = ei2 e z = , respectivamente. Na regiao dentro do contorno
C ha dois polos simples em z = i. Portanto, calculando os resduos nestes pontos, teremos
( i/2
)
I

( i/2
)
( i
) d
z dz
e
e3i/2
i
i/2
i
i
= 2i
+
= e
e
e
=e
e
e
.
2
i+i
i i
2 + 1
C z +1
0
Ou seja,

( i/2
)
e
ei/2
d
sen(/2)

=
=
sec(/2)
2 + 1
(ei ei )
sen()
2 cos(/2)
2

O segundo exemplo e a integral

ln x dx
,
(x2 + a2 )2
0
onde a = 0 R e uma constante. Escolhendo o contorno mostrado na Fig. 5.6 `a direita, temos
I

ln z dz
ln z dz
ln z dz
ln z dz
ln z dz
2 =
2 +
2 +
2 +
2
2
2
2
2
2
2
2
2
2 2
C (z + a )
CR (z + a )
l2 (z + a )
C0 (z + a )
l1 (z + a )
Entretanto, no limite em que os raios das circunferencias CR e C0 tendem a infinito e zero, respectivamente,






 (ln R + i) ei d 


(ln R)2 + 2
ln
z
dz


 lim
 lim R
0,

 (R2 e2i + a2 )2  R
2
2 2
R
R3
CR (z + a )





 (ln r + i) ei d 


r
(ln r)2 + 2
ln
z
dz

 lim

 lim r
0,
 (r2 e2i + a2 )2  r0

2
2 2
r0
a4
C0 (z + a )

103

e as integrais ao longo de CR e C0 sao iguais a zero. Portanto, para z = lim0 ei em l1 e

z = lim0 ei() em l2 , neste limite ( 0),
I

0


ln z dz
ln d
(ln + i) d
ln d
d
i
=2
.
2 =
2 +e
2
2 + i
2
2
2
2
2
2
2
2
2
( + a )
( + a )
( + a )
( + a2 )2
C (z + a )
0

0
0
Como

I
C

dz
=
2
(z + a2 )2

CR

entao,

dz
+2
2
(z + a2 )2

d
=2
2
( + a2 )2

(2

d
,
+ a2 )2

)
(
i
I
dz
ln z
ln d
1
2
=
.
2 C
(2 + a2 )2
(z 2 + a2 )2

Na regiao envolvida por C ha apenas um polo de ordem 2 em z = ia. Logo,

(
)
(
)
) 

(

i
i
i

I
ln z
dz
ln
z

ln
z


d
2i
d
2
2
2
2
(z ia)
= 2i


=
lim
1! zia dz
dz (z + ia)2 
(z 2 + a2 )2
(z 2 + a2 )2
C

ia
(
)
)
(





i
z + ia
i
i/2




z 2 ln z 2 
2 2 ln a + ln e
2
 = 2i
 = (1 ln a) ,
= 2i


(z + ia)3
(2ia)3
2




ia

de modo que

5.6

ia

ln d
= (ln a 1) .
2
4
(2 + a2 )

Continuac
ao analtica

Teorema
Sejam f1 (z) e f2 (z) funcoes analticas dentro de uma regiao D C. Se f1 (z) e f2 (z) coincidem em
(i) uma vizinhanca de um ponto z D, (ii) uma curva contida em D ou (iii) em um conjunto de
pontos com ponto de acumulacao em D, entao f1 (z) e f2 (z) coincidem em todos os pontos z D.

Para mostrar este teorema define-se a funcao h(z) = f1 (z) f2 (z) que e analtica, pois f1 (z) e f2 (z) sao
funcoes analticas. Uma funcao analtica possui ou zeros isolados ou, entao, e identicamente zero. Como
h(z) = f1 (z) f2 (z) = 0 em um conjunto de pontos que nao sao isolados (pois ou sao uma vizinhanca de
um ponto, ou uma curva contnua ou um conjunto de pontos com um ponto de acumulacao), ent
ao h(z)
deve ser identicamente nula em D. Logo, f1 (z) = f2 (z) para todos os pontos z D.

Este teorema afirma que funcoes diferentes nao podem coincidir em um conjunto de pontos com
pontos de acumulacao. Portanto, define o significado da unicidade de uma funcao, pois estabelece
que funcoes sao iguais a outras.
104

Figura 5.7: Domnio de analiticidade da funcao

)n

ezt dt (semiplano onde x > 0) e crculos de convergencia |z

1
z zj
, para z1 = i, z2 = (1+i), z3 = (1+2i) e z4 = (2.2+0.2i). Estas
(1)n
zj n=0
zj
funcoes sao continuac
oes analticas umas das outras e representam f (z) = z 1 nos seus domnios de analiticidade.
Observe que z = 0 e ponto singular das funcoes, portanto os crculos de convergencia tem este ponto como limite.
zj | < |zj | das func
oes

Este teorema tem uma consequencia interessante. Suponha que uma funcao f (z) seja analtica
em |z z0 | < r0 , sendo representada por uma serie de Taylor em torno de um ponto z0 , i,e,
2
encia da serie e uniforme em |z z0 | < r0 as derivadas de
f (z) =
n=0 an (z z0 ) . Como a converg
f (z)
 em um nponto
 z1 , tal que |z1 z0 | <nr0 podem ser calculadas termo a termo, i.e., temos f (z1 ),
df 
d f 
1 d f 
(1)
, . . .,
, . . .. Como an =
e o nesimo coeficiente da serie de Taylor de f (z) em


n
dz
dz
n! dz n 
z1

z1

z1

possvel escolher z1 de modo que o domnio de analiticidade |z z1 | < r1 desta serie

torno de z1 . E
se estenda a regioes alem de |z z0 | < r0 . Pode-se entao escolher outro ponto z2 em |z z1 | < r1 e
encontrar uma serie de Taylor em torno de z2 com crculo de convergencia |z z2 | < r2 , de forma que
esta regiao se estenda alem de |z z1 | < r1 . Em vista do teorema acima, como na interseccao entre
as crculos de convergencia (i.e., na intersecao entre |z z1 | < r1 e |z z2 | < r2 ) temos expansoes em
series de Taylor que representam uma mesma funcao, portanto sao iguais, todas as representacoes
encontradas sao as continuacoes analticas umas das outras. Este processo pode ser repetido ao
longo de um caminho (onde em todos os pontos a funcao seja analtica) ate que se chegue a um
outro ponto zN distante de z0 . Portanto, e possvel determinar toda a regiao de analiticidade de
uma funcao com pontos singulares, inclusive, pois estes pertencem `a fronteira da regiao analtica
utilizando continuacao analtica. Para o caso de funcoes multivalentes a continuacao analtica
atraves de diferentes folhas de Riemann leva ao mapeamento de toda a superfcie de Riemann da
funcao.
105

Suponha que f1 (z) e f2 (z) possuam formas diferentes e sejam analticas dentro dos domnios D1
e D2 , respectivamente, e que D1 D2 = . Se f1 (z) = f2 (z) em D1 D2 , a continuacao analtica de
f1 (z) em D2 deve ser identica `a f2 (z), assim como a continuacao analtica de f2 (z) em D1 deve ser
identica `a f1 (z). Logo, f1 (z) e f2 (z) podem ser consideradas continuacoes analticas de uma mesma
funcao,
{
f1 (z), z D1 ,
f (z) =
f2 (z), z D2 ,
analtica em D1 D2 .

Como exemplo considere a funcao f (z) = 0 ezt dt, que so e definida em Re z > 0, e a funcao
)n
(

1
za
n
, com crculo de convergencia para |z a| < |a|. Ambas representam
g(z) =
(1)
a n=0
a
a mesma funcao, pois

1
f (z) =
ezt dt =
z
0
(
)n

za
1
1
1
n
)= .
g(z) =
(1)
= (
za
a n=0
a
z
a 1+
a
Logo, f (z) e g(z) sao continuacoes analticas uma da outra, assim z 1 tambem e. Na Fig. 5.7 sao
mostrados as regioes de analiticidade de cada funcao, onde aparecem quatro crculos de convergencia
para a = zk , com z1 = i, z2 = (1 + i), z3 = (1 + 2i) e z4 = (2.2 + 0.2i). Note que z = 0 e
singularidade de z 1 , de modo que este ponto esta sempre na fronteira das regioes de analiticidade
de cada uma das continuidades analticas.
Apesar deste exemplo ser simples, onde uma funcao elementar com domnio de analiticidade em
D = C 0 e continuacao analtica de representacoes integral ou em series de potencias em domnios
de analiticidade menores e contidos em D, ele exemplifica o que podemos fazer com continuacao
analtica. Em particular, existem diversas funcoes em que somente conhecemos por representacoes
integrais ou como series infinitas, cujos domnios de analiticidade sao, em geral, restritos a regioes
limitadas de C. Logo, se soubermos que funcoes sao iguais em uma dada regiao, podemos tentar
continuar analiticamente a funcao e mapear todo o seu domnio de analiticidade.
Antes de prosseguir, vejamos o seguinte Lema.
Lema
Sejam duas regioes Df e Dg que nao se sobrepoem (ou seja, Df Dg = ), mas cujas fronteiras
possuem uma parte comum, R. Sejam f (z) e g(z) funcoes analticas em Df e Dg , e contnuas em
Df + R e Dg + R, respectivamente. Se f (z) = g(z) em R, entao f (z) e g(z) sao continuacoes
analticas uma da outra e definem uma u
nica funcao,
{
f (z), z Df ,
h(z) =
g(z), z Dg ,
analtica em Df + Dg + R.

Para mostrar este Lema, considere um contorno

C que estejaH contido em Df + Dg + R. Se C Df ou
H
C Dg nao ha o que fazer, pois nestes casos C f (z)dz = 0 ou C g(z)dz = 0 pois f e g sao analticas em

106

seus respectivos domnios. Logo, h(z) e analtica. No caso mais geral, em que parte de C se encontra em
Df e parte em Dg , e C atravessa R, considere dois contornos Cf e Cg , onde Cf (Cg ) corresponde a parte
de C contida em Df (Dg ) mais um trecho infinitesimalmente proximo a R e contido em Df (Dg ). Em Cf
este trecho muito proximo a R esta no sentido oposto ao trecho de Cg infinitesimalmente proximo a R,
mas contido em Dg . Entao, temos que
I
I
I
I
I
h(z)dz =
h(z)dz +
h(z)dz =
h(z)dz +
g(z)dz = 0.
C

Cf

Cg

Cf

Cg

Como C e arbitrario, pelo teorema de Morera, h(z) e analtica em Df + Dg + R.

5.7

Princpio da reflex
ao de Schwarz

Teorema:
Seja uma funcao f (z) analtica em uma regiao D em que parte de sua fronteira e um segmento do
eixo real x. Se f (z) R quando z R (i.e., f (z) assume valores reais sobre o segmento do eixo
real), a continuacao analtica de f (z) na regiao D, imagem de D (i.e., para cada z D, se tem
z D) e dada por
g(z) = f (z),
p/ z D.
Primeiro, se deve mostrar que se f (z) e analtica em D, g(z) e analtica em D. Como f (z) e analtica
em D, para um contorno simples fechado C contido em D e parametrizado por z = (t), onde t1 t t2 ,
temos
I
t2
d
0=
dzf (z) =
f [(t)] dt.
dt
C
t1
Logo, para a curva C, imagem de C em D (que sera percorrida no sentido horario, se C estiver no sentido
antihorario), temos
I

t2

g(z)dz =
C

t1

d
=
g[(t)]
dt

t2

t1

d
f [(t)]
=
dt

t2

f [(t)]
t1

d
= 0.
dt

Portanto, g(z) e analtica em D. Como f (z) = f (x, 0) e real entao, em z = x R, f (z) = f (x, 0) = f (x, 0).
Do Lema anterior, isto implica que f (z) em D e g(z) = f (z) em D sao continuacoes analticas uma da
outra. Ou seja,
{
f (z), em D,
h(z) =
f (z), em D

Uma consequencia do teorema e que funcoes analticas em uma regiao que contenha parte do
eixo real e que assumam valores reais quando z R devem satisfazer h(z) = h(z). Por exemplo, se
temos sen z e real quando z e um n
umero real. Logo, sen z = sen z. Por outro lado, f (z) = z + i e
analtica em C mas f (z)
/ R quando z R. Verificamos que f (z) = z i = z + i = f (z).

5.8

Relaco
es de dispers
ao

Considere uma funcao e analtica exceto em um corte no eixo real, x0 x < e, alem disso, e real
para valores reais de z em < x < x0 . O valor da funcao em ponto z que nao pertence ao ramo
107

Figura 5.8: Contorno C = CR + l1 + l2 + utilizado para obtencao da relacao de dispersao no caso de uma funcao
analtica em C, exceto no corte x0 x < .

de corte pela formula integral de Cauchy e dado por

I
1
f (z ) dz
f (z) =
2i C z z
onde C e o contorno mostrado na Fig. 5.8. Se a funcao ainda satisfaz lim|z| |zf (z)| 0, entao
podemos fazer o contorno CR ir para infinito, com a integral ao longo deste contorno indo para zero.
Assim, para uma distancia infinitesimal dos segmentos l1 e l2 ao eixo real, temos
[
]
+i
i
1
f (z ) dz
f (z ) dz
f (z ) dz
f (z) =
+

.
2i z z
z z
z z
x0 +i
x0 i
Mas,




3/2 
 f (z ) dz 
 f (rei ) d 

 lim r


 r0

 rei z  0

/2
z z

e, portanto, a integral ao longo de tende a zero. Deste modo, fazendo as mudancas de variaveis
x = z i na integral acima (abaixo) do eixo real, temos
[
]


[f (x + i) f (x i)] dx
f (x + i) dx
f (x i) dx
1
1
lim

lim
.
f (z) =
=
2i 0 x0 x z + i
x z i
2i 0 x0
xz
x0
Como e real para valores reais de z em < x < x0 e e analtica no restante do plano complexo,
o princpio de reflexao de Schwarz nos diz que f (x i) = f (x + i). Portanto,

Im f (x + i) dx
1
.
f (z) = lim
0 x0
xz
108

Esta e uma relacao de dispersao que associa o valor de f (z) em qualquer ponto de sua regiao de
analiticidade em termos de uma integral de sua parte imaginaria na parte logo acima do ramo de
corte. Relacoes de dispersao aparecem em diversas areas da fsica e, geralmente, permitem relacionar
as partes real e imaginaria de grandezas expressas como funcoes complexas. Um exemplo e o do
ndice de refracao de um material, cuja parte real (imaginaria) pode ser relacionada a uma integral
(no sentido do valor principal) de sua parte imaginaria (real).

5.9

Funco
es meromorfas e teorema de Mittag-Leer

Ate aqui temos chamado de funcao analtica em ponto z0 funcoes que possuem derivada definida em
uma vizinhanca deste ponto e que, portanto, podem ser expandidas em series de Taylor em torno
deste ponto, com crculo de convergencia contido no domnio de analiticidade da funcao. No jargao
matematico moderno funcoes com estas propriedades sao tambem chamadas de funcoes holomorfas.
Ja funcoes analticas em um dado domnio, exceto por um n
umero finito de polos (lembre que
polos sao um tipo de singularidade isolada), sao chamadas de funcoes meromorfas. Toda funcao
meromorfa h(z) em um domnio D pode ser expressa como a razao entre duas funcoes holomorfas
f (z) e g(z) em D, i.e., h(z) = f (z)/g(z), onde os polos de h(z) coincidem com os zeros de g(z)
(pois, sendo g(z) analtica em D, seus zeros sao isolados).
Digamos que uma funcao h(z) possua polos em {zj }N
j=1 (onde N pode ser infinito) e que estejam
ordenados de acordo com seus modulos, i.e.,
0 < |z1 | |z2 | |z3 | . . . |zj | . . .
Note que z = 0 e suposto nao ser polo de h(z). Se for basta fazer uma translacao de modo a z = 0
nao ser singularidade.
Considere o caso em que todos os polos sao simples e um contorno circular CR contendo NR
polos de h(z) no seu interior (nenhum polo se encontra sobre CR ). Portanto,
[
]
{
}
I
NR
NR

h(zj )
h(z )
h(z ) dz

Res
lim (z zj )
= 2ih(z) + 2i
= 2ih(z) + 2i

zzj
zj z
z z
CR z z
j=1
j=1
= 2ih(z) + 2i

NR

limzzj (z zj )h(z )

zj z

j=1

= 2ih(z) + 2i

NR

Res [h(zj )]
,
z

z
j
j=1

que resulta em
1
h(z) =
2i
1
h(0) =
2i

I
CR

I
CR

R
h(z ) dz
Res [h(zj )]
+

z z
z zj
j=1

R
h(z ) dz
Res [h(zj )]

z
zj
j=1

Logo,
z
h(z) h(0) =
2i

I
CR

h(z ) dz
+
Res [h(zj )]
z (z z) j=1

109

1
1
+
z zj zj

Suponha que h(z) seja funcao limitada, i.e., h(z) < M , onde M e um n
umero real positivo. Entao,
quando o raio da circunferencia CN tende a infinito o contorno envolve todos os N polos de h(z) e
I










h(z )
1
h(z ) dz 


 0.


lim 
lim 2R max 
2M lim max  i




i
R
R
R
z
(z

z)
R(Re

z)
Re

z
CR
Logo,
h(z) = h(0) +

(
Res [h(zj )]

j=1

1
1
+
z zj zj

)
.

(5.8)

Este e um resultado particular da expansao de Mittag-Leer, que mostra que uma funcao meromorfa
(no presente caso com apenas polos simples) poder ser representada com a soma de uma funcao
inteira (o termo f (0 acima) e uma serie (possivelmente infinita) de funcoes racionais.
Como exemplo, considere h(z) = tan z. Sabemos que os polos desta funcao ocorrem quando
cos = 0, i.e., em zm = (2m + 1)/2, para m = 0, 1, 2, . . .. Estes polos sao simples (porque?) e
os resduos de tan z nestes pontos sao iguais a
[
]
sen zm
sen zm
Res [tan zm ] = Res
=
= 1.
cos zm
sen zm
Logo, temos a seguinte expansao,
[

]
]
[

1
1
1
1
tan z = 2
+
= 2
+
2z

(2m
+
1)
(2m
+
1)
2z

(2m
+
1)
(2m + 1)
m=
m=0
]
]
[
[

1
1
1
1
2
+
= 2
+
2z

(2m
+
1)
(2m
+
1)
2z

(2m

1)
(2m 1)
m=1
m=1
]
[

1
1
1
2

= 8z
2
2z + (2m 1) (2m 1)
4z (2m 1)2 2
m=1
m=1
= 8z

1
(2m 1)2 2 4z 2
m=1

Outro exemplo e o da funcao sec z, cujos polos sao os mesmos de tan z, embora com resduos
[
]
1
1
Res [sec zm ] = Res
=
= (1)m+1 .
cos zm
sen zm
Portanto, como sec(0) = 1,
[

]
1
1
sec z = 1 + 2
(1)
+
=1
2z

(2m
+
1)
(2m
+
1)
m=
]
[
]
[

1
1
1
1
m+1
m+1
+

+2
(1)
+2
(1)
2z (2m + 1) (2m + 1)
2z + (2m 1) (2m 1)
m=1
m=0

m+1

110

Fazendo m = m + 1 na u
ltima serie (e depois escrevendo em termos m = m, pois e ndice mudo),
teremos,
]
[

(1)m+1
(1)m
(1)m+1 (1)m
sec z = 1 + 2
+
+
2z (2m + 1) 2z + (2m + 1)
(2m + 1)
m=0
[
]

1
1
(1)m+1
m+1
=1+2
(1)

+4
2z (2m + 1) 2z + (2m + 1)
(2m + 1)
m=0
m=0

(1)m+1 (2m + 1)
4 (1)m+1
= 1 + 4
+
.
4z 2 (2m + 1)2 2 m=0 (2m + 1)
m=0

Entretanto,

(1)m+1 x2m+1
dx
m 2m
= dx
(1) x =
= arctan x,
(2m + 1)
1 + x2
m=0
m=0
Logo,

4 (1)m+1
4
= arctan(1) = 1,
m=0 (2m + 1)

e encontramos,

(1)m+1 (2m + 1)
(1)m (2m + 1)
sec z = 4
=

.
(
)2
4z 2 (2m + 1)2 2
1
m=0
m=0
2
2
m+
z
2

Em particular, se g(z) e inteira e possui (apenas) N zeros simples (considerando, novamente,

dg
g (z)
, onde g (z) =
, e funcao meromorfa limitada.
que z = 0 nao e polo da funcao), a funcao
g(z)
dz
Isto porque
N

g(z) =
(z zj )f (z),
zj = zk , p/ j = k
j=1

onde f (z) e analtica sem zeros. Assim,

N
N

g (z)
=
g(z)

(z zj )f (z) +

k=1 j=1
j=k

(z zj )f (z)
j=1

=
(z zj )f (z)

k=1

f (z)
1
+
.
z zk
f (z)

j=1

Mas f (z)/f (z) e analtica (pois, f (z) = 0 para todo z C e limitada, portanto deve ser constante.
Deste modo,
)
N (
d
g (0)
1
1
g (z)
=
ln g(z) =
+
+
g(z)
dz
g(0) k=1 z zk zk
111

e a expansao de Mittag-Leer de g (z)/g(z), a qual podemos integrar em z, i.e.,

[
]
N
N
N
(0)

g
z
g (0)
ln g(z) =
ln(z zk ) +
+ const. = ln A e g(0) z
ez/zk (z zk )
z+
g(0)
zk
k=1
k=1
k=1
g(z) = A e

g (0)
z
g(0)

ez/zk (z zk ),

k=1

onde A e uma constante dada por

g(0) = A

(zk ).

k=1

Logo, a funcao inteira g(z) com N zeros pode ser escrita como,
g(z) = g(0)e

g (0)
z
g(0)

k=1

para zj = 0.

112

z/zk

(
)
z
,
1
zk

Refer
encias Bibliogr
aficas
[Hassani] Sadri Hassani, Mathematical Physics, A Modern Introduction to Its Foundations.
Springer-Verlag New York, 2002.
[ElonLages] Elon Lages Lima, Curso de An
alise, vol. 1. Projeto Euclides - IMPA, LTC Editora,
Rio de Janeiro, 1989.
[ElonETG] Elon Lages Lima, Elementos de Topologia Geral, Ao Livro Tecnico S.A., Rio de Janeiro,
1970.
[Dennery] Philippe Dennery and Andre Krzywicki, Mathematics for Physicists. Dover, Mineola N.
Y., 1995.
[Barata] Joao
Carlos
Alves
Barata,
Curso
http://www.fma.if.usp.br/~jbarata/notas_de_aula.html.

de

Fsica-Matematica,

[Churchill] R. V. Churchill, Variaveis Complexas e suas Aplicac

oes McGraw-Hill, 1975.
[Ahlfors] Lars V. Ahlfors, COMPLEX ANALYSIS: an introduction to the theory of analytic functions of one complex variable , 2ed Ed., McGraw-Hill, 1966.
[Gradshteyn] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, 7th ed.,
Academic Press, USA.
[DAmbrosio] Ubiratan DAmbrosio, Metodos da Topologia. Introduc
ao e Aplicac
oes, Livros
Tecnicos e Cientficos Editora S.A. Rio de Janeiro, 1977.
[Notas de Aula 0] Notas de Aula sobre Preliminares Matematicas, referentes ao [Hassani, Cap. 0].
[11] Hamilton Luiz Guidorizzi, Um Curso de Calculo, Vol. 3. 2a Ed., Livros Tecnicos e Cientficos,
Rio de Janeiro, 1990.

113