ALEGRIA FINANCEIRA FUNDAMENTAL MDIO GEOMETRIA TRIGONOMETRIA CLCUL

OS SUPERIOR
ENSINO SUPERIOR :: VARIVEIS COMPLEXAS: SRIES DE LAURENT E
SINGULARIDADES
Porque o erro dos simples os matar, e o desvario dos insensatos os destruir. Bblia Sagrada:
Provrbios 1:32

Introduo s sries de Laurent

Teorema de Laurent

Zeros de funes complexas

Singularidades isoladas

Comportamento no infinito

Introduo s sries de Laurent

As sries de potncias da forma

an(zp)n
n=0
so instrumentos apropriados para o estudo das funes analticas em
domnios simplesmente conexos, pois toda funo analtica pode ser
representada por uma srie de potncias em seu crculo de
convergncia. Porm se f for analtica em um domnio D, exeto em um
ponto p, este fato no ser mais vlido. Apresentaremos outro tipo de
representao de funes no caso em que o domnio D no
simplesmente conexo, como o caso simples em que f analtica em D
exeto em um ponto p D.
Em geral possvel desenvolver uma funo em sries de potncias
de zp, mesmo que p seja uma singularidade da funo, mas neste
caso, a srie inclui termos com potncias negativas de z.
Teorema de Laurent

Seja f analtica no anel circular D = {z

todo z nesta regio

an
f(z)=
+
n
(zp)
n=1
Os coeficiente an e an so dados por
an=
para n=0,1,2,... e

C: r<|zp|<R }. Ento para

an(zp)n
n=0

f(z)

2 i

(zp)n+1

C1

dz

an=

(zp)n1f(z) dz

2 i

C2

para n=1,2,3,....
usual escrever a representao de Laurent na forma:

an(zp)n
n=
Com os coeficientes an dados por
1

an=

f(z)

2 i

dz

(zp)
C
sendo C um caminho fechado contido no anel circular D e contendo p
em seu interior.
Exemplo: A funo f(z)=ez1/(z1) analtica no conjunto D={z
C{1}}. Faremos o desenvolvimento de Laurent neste domnio.
Os coeficientes an sero dados por
1

an=

n+1

ez1

2 i

dz =

ez1

dz

(z1)
2 i
(z1)
C
C
Observe que para n<4, an=0 pois o integrando uma funo analtica
e sua integral zero.
Pela frmula integral de Cauchy
n+4

Dn+3[ez1]z=1 =

(n+3)!

ez1

2 i

(z1)n+4

dz

assim
1

an =

Dn+3[ez1]z=1

(n+3)!
Como D[e ]=D [e ]=...=Dn [ez1]=ez1, segue que Dn+3 [ez1]=ez1, logo
Dn+3 [ez1]z=1=1 e temos que
1
an(1) =
(n+3)!
assim

1
f(z) =
(n+3)!(z1)n
n=3
ou seja
z1

z1

f(z) =

(z1)

(z1)

+...

(z1)
(z1)
2!(z1)
3!
4!
5!
Exemplo: O desenvolvimento de Laurent tambm pode ser obtido
atravs de outros procedimentos. Ilustraremos um destes
procedimentos com a mesma funo do exemplo anterior f(z)=e z1/
(z1), j sabemos que esta funo analtica em todo o plano
complexo exceto em z=1.
Seja u=z1, ento
ez1
eu
1
u
u
u4
f(z)=
=
=
(1+u+
+
+
+...)
(z1)
u
u
2!
3!
4!
ou seja
1
1
1
1
u
u
f(z)=
+
+
+
+
+
+...
u
u
2!u
3!
4!
5!
Voltando varivel original, obtemos
1
1
1
1
(z1)
(z1)
f(z)=
+
+
+
+
+
+...
(z1)
(z1)
2!(z1)
3!
4!
5!
Exemplo: A funo f(z)=1/[(z1)(z2)] analtica no anel circular
D={z C: 1<|z|<2 } com centro na origem. Decompondo esta frao,
temos
1
1
1
=

(z1)(z2)
(z2)
(z1)
Primeiramente, seja |z|<2

1
1
1
zn
=
=
z2
2
1z/2
2n+1
n=0
Agora, para |z|>1

1
1
1
1
=
=
z1
z
1z1
zn
n=1
A representao de Laurent obtida somando-se estes dois
resultados

1
1
zn
=

n
(z1)(z2)
z
2n+1
n=1
n=0
uniformente convergente no anel circular D={z C: 1<|z|<2 }
Zeros de funes complexas

Seja a funo f:D

C analtica em D. Um zero de f um nmero
complexo p D tal que f(p)=0.

Seja f uma funo analtica em D, e seja p D um zero de f. Se f for

diferente da funo nula, existe uma vizinhana de p contida em D tal
que
f'(p)
f''(p)
f(z) =
(zp) +
(zp) +...
1!
2!
para todo z naquela vizinhana de p, pois f(p)=0.
Como f diferente da funo nula em D, pelo menos uma das
derivadas da funo f diferente de zero em p. Seja k, o primeiro
nmero natural para o qual f(k)(p) 0. A representao em srie de
potncias de f fica,
f(k)(p)
f(k+1)(p)
f(z) =
(zp)k +
(zp)k+1 + ...
k!
(k+1)!
O nmero natural k denomina-se a ordem ou a multiplicidade do zero
p. Quando k=1, p um zero simples. Quando k>1, p um zero
mltiplo.
Singularidades isoladas

Um ponto onde uma funo f no analtica dito um ponto

singular ou uma singularidade de f. H vrios tipos de singularidades.
Singularidade isolada: Um ponto p uma singularidade isolada de f
se, no existe qualquer outro ponto isolado em alguma vizinhana de
p, isto , existe >0 tal que o disco |zp|< no possui nenhum ponto
singular diferente de p.
Singularidade removvel: Um ponto singular p uma singularidade
removvel de f(z) se existir o limite
lim
f(z)
z p
Exemplo: A funo f(z)=sen(z)/z possui uma singularidade removvel
em z=0 pois
sen(z)
lim
=1
z 0
z
Exemplo: A funo f(z)=(z3)/(z9) possui uma singularidade
removvel em z=3 pois
z3
lim
=1/6
z 3
z9
Plo: Um ponto p um plo de ordem n de f se:
lim
(zp)n f(z) = A 0
z p
Se n=1, p recebe o nome de polo simples. Se g(z)=(zp) nf(z), com f(z)
0 e n um nmero inteiro positivo, ento z=p um zero de ordem n

de g(z). Quando n=1, p denominado um zero simples. Desse modo,

p um plo de ordem n da funo F(z)=1/g(z).
Exemplo: f(z)=1/[(z2)] possui um plo de ordem 3 em z=2.
Exemplo: f(z)=(4z3)/[(z2)(z1)(z3)] possui um plo de ordem 3 em
z=2 e plos simples em z=1 e z=3.
Singularidade essencial: Uma singularidade essencial uma
singularidade que no um plo nem uma singularidade removvel.
Exemplo: A funo f(z)=e1/(z2) possui uma singularidade essencial em
z=2
Comportamento no infinito

Uma vizinhana de um ponto p no plano complexo finito C o interior

de qualquer crculo |zp|=r, para r>0.
Uma vizinhana de um ponto no infinito o exterior de qualquer
crculo |z|>r, para r>0, isto quer dizer que uma vizinhana do infinito
o exterior de qualquer crculo de centro na origem.
A transformao w=1/z leva qualquer vizinhana de z= em uma
vizinhana de w=0. Assim o comportamento de uma funo f(z) em
z= definido como sendo o mesmo que o de f(1/w) em w=0.
Deste modo, f(z) analtica, tem singularidade removvel, plo ou
singularidade essencial em z=, conforme f(1/w) tenha singularidade
removvel, plo ou singularidade essencial em w=0
Uma funo g analtica no infinito, se g(1/w) for analtica para w=0.
Neste caso,
g(1/w) = b0 + b1 w + b2 w + b3 w +...
numa vizinhana de w=0, o que equivale a
b1
b2
b3
g(z) = b0 +
+
+
+...
z
z
z
numa vizinhana de z=. Podemos ento dizer que g regular no
infinito se ela puder ser desenvolvida em sries de potncias de 1/z
numa vizinhana do infinito.
Construda por Snia Ferreira Lopes Toffoli.
Home-page a