Você está na página 1de 132

Part I

Mtodos Matemticos para Fsica


Terica I
1

Funes Complexas

1.1

Nmeros complexos como Espao Vetorial

Seja i =
do tipo

1. Nas solues de uma equao de segunda ordem, surgem razes


z =x+i y ,

onde x e y so nmeros reais. Escrevemos


Re (z) = x,
Im (z) = y,
e chamamos de parte real e de parte imaginria, respectivamente. Sabemos
tambm que i nunca se torna um nmero real atravs da multiplicao por um
nmero real, ou seja,
i 6= real,
para qualquer nmero real . Isto equivale a dizer que a condio
z = x + iy = 0

(1)

x = y = 0.

(2)

implica necessariamente
Consideremos o conjunto de todas as combinaes do tipo acima e o chamemos
C.

C = {z = x + i y , x, y R}

onde R o conjunto de todos os nmeros reais.


Introduzimos as seguintes regras:

a R, z = x + i y C,
az (ax) + i (ay) ,
e

z1 = x1 + i y1 C, z2 = x2 + i y2 C,
z1 + z2 = (x1 + x2 ) + i (y1 + y2 ) C,

Exerccio 1: Mostre que se


x1 + i y1 = x1 + i y2 ,
ento necessariamente
x1 = x2 ,
y1 = y2 .
Juntando as propriedades acima, podemos mostrar que o conjunto C forma
um espao vetorial de dimenso1 2, com o corpo (conjunto dos nmeros escalares) sendo o conjunto de nmeros reais, ou seja, R.
Exerccio 2: Seguindo a definio de dimenso de um espao vetorial mencionada na
nota de rodap, prove que o espao vetorial de nmeros complexos tem
dimenso 2.
Os elementos bsicos de um espao vetorial so: 1) noo de direes e 2)
noo de distncia. A dimenso do espao nada mais do que o nmero de
direes indendentes. No caso do espao vetorial formado de nmeros complexos
com corpo real, as direes so a parte real e a parte imaginria. Podemos
expressar, assim, um nmero complexo num plano (x, y) como visto na figura
abaixo.

Im(z)

z=x+iy
y
x

Re(z)

1 Num

espao vetorial, os elementos z1 , z2 , ..., zn so ditos linearmente dependentes, quando


existe um conjunto de nmeros {1 , 2 , ..., n } (escalares) no identicamente nulos, tal que
n
X

i zi = 0.

i=1

Inversamente, se a equao acima implica necessariamente em


i = 0, i = 1, ..., n
ento o conjunto de vetores {zi , i = 1.., n} dito linearmente independente.
O nmero mximo de elementos linearmente independentes num dado espao vetorial
dito a dimenso do espao.

Fig. 1. Plano Complexo


Lembrete: Embora, um nmero complexo tenha propriedade vetorial, ou seja, possui
sempre duas componentes, real e complexa, quando uma das componentes
nula, apenas escrevemos uma componente. Por exemplo,
z =a+i0
denotado por simplesmente
z = a,
e
z = 0 + i,
denotamos por
z = i.
Em particular, se ambas as componentes forem nulas,
z = 0 + i 0,
escrevemos
z = 0.

1.2

Multiplicao entre nmeros complexos como operao

Sabemos que
i i = 1 R,
i 1 = i C.
Desta forma, a multiplicao pelo nmero imaginrio puro unitrio transforma
de uma direo para outra. Em geral, a multiplicao,
z1 z2 = z3
pode ser considerada como um mapeamento de C para C,
z

1
z1 : z2 C
z3 C.

O mapeamento de um espao vetorial para o prprio espao vetorial dito


operador. Assim, a multiplicao de nmeros complexos um operador. Postulando que vale a regra de distributividade, sabemos que a regra geral para a
multiplicao entre dois nmeros complexos
(x1 + iy1 ) (x2 + iy2 ) = (x1 x2 y1 y2 ) + i (x1 y2 + y1 x2 )
Note que esta regra comutativa, ou seja,
(x1 + iy1 ) (x2 + iy2 ) = (x2 + iy2 ) (x1 + iy1 ) .
3

Exerccio 3: Prove que a regra de multiplicao acima satisfaz: 1) comutatividade


z1 z2 = z2 z1 ,

(3)

z1 (z2 z3 ) = (z1 z2 ) z3 .

(4)

2) associatividade,

e 3) distributividade e linearidade,
z1 (z2 + z3 ) = (z1 z2 ) + (z1 z3 ) ,
onde e so nmeros reais.
Podemos considerar que a regra acima define a propriedade operatorial de
um nmero complexo no sentido de que, quando se aplica este nmero complexo
em outro (um vetor), ele gera um outro nmero complexo (outro vetor). Por
exemplo, vamos considerar o nmero i. Para um nmero complexo z = x + iy,
temos
i z = i (x + iy)
= ix y.

Im(z)
i z = -y + ix
z=x+iy

Re(z)

Fig. 2 Efeito de multiplicao i.


Vemos que a multiplicao de i por um nmero complexo z corresponde operao de rotao de z por 90 graus em torno da origem.
Exerccio 4: Quais so os nmeros complexos que correspondem s seguintes rotaes,
respectivamente? a) rotao de 180 graus. b) rotao de 270 graus, c)
rotao de -90 graus.
Vamos considerar um nmero complexo,
e () cos + i sin .
4

(5)

Para um nmero complexo z = x + iy, temos


e () z = (cos + i sin ) (x + iy)
= (x cos y sin ) + i (x sin + y cos ) .
Podemos ver que
e () : z z 0 = e () z
= (x cos y sin ) + i (x sin + y cos ) ,
ou seja,
e () :

x
y

x0
y0

x cos y sin
x sin + y cos

Isto corresponde rotao no plano (x y) por um ngulo .


Exerccio 5: Mostre geometricamente que, quando um vetor

x
y
rodado por umngulo , o vetor resultante fica
0

x
x cos y sin
=
.
x sin + y cos
y0
Mostre ainda que pode ser escrito como

0
x
x
= A ()
,
y
y0
onde A uma matriz (2 2),
A() =

cos
sin

sin
cos

Exerccio 6: Mostre que para e reais,


e () e () = e ( + ) .
Exerccio 7: Mostre que
A () A () = A ( + ) .

1.3

Representao Polar

Para um nmero complexo arbitrrio


z = x + iy,

(6)

podemos escrever sempre


z=

1
1
x+i y ,

onde real. Escolhendo tal que


2 2
1
1
x +
y = 1,

temos
=
e podemos escrever sempre

p
x2 + y 2 ,

1
x = cos ,

1
y = sin ,

j que

(cos ) + (sin ) = 1.
Assim, temos
p
x2 + y 2 (cos + i sin )
p
= x2 + y 2 e () .

z=

O ngulo dado pelo ngulo entre o vetor z e o eixo real no


p plano complexo
(x y). O ngulo chamado de argumento de z e r = x2 + y 2 dito o
mdulo de z.
O efeito geomtrico de multiplicar o nmero complexo Eq.(5) por outro
nmero complexo z o de rodar z por um ngulo . Por outro lado, o efeito
geomtrico de multiplicar um nmero complexo z por um nmero real esticar
z por vezes sem mudar a sua direo. Desta forma, o efeito geomtrico da
multiplicao por um nmero complexo geral a combino dos dois efeitos
acima, ou seja, rodar por ngulo igual ao argumento de z e depois esticar o
vetor na direo por fator igual ao mdulo de z.
Exerccio 8: Obtenha a expresso polar dos seguintes nmeros complexos.

z = 1 + i 3,

1.4

Diviso por nmeros complexos como operao inversa da multiplicao

Por construo, para dois nmeros complexos arbitrrios, z1 , z2 C, sempre


existe z3 C tal que
z3 = z1 z2 .
(7)
6

J discutimos que z1 uma operao que leva o elemento z2 para z3 . Vamos


considerar a operao inversa. Suponhamos que exista2 um nmero complexo
z4 , tal que
z4 z3 = z2 .
Ento, escrevemos que
z4 = z11 ,
por razo bvia. Por exemplo, multiplicando z4 dos dois lados da Eq.(7), temos
z4 z3 = z4 (z1 z2 )
= (z4 z1 ) z2
Assim, temos
z2 = (z4 z1 ) z2
para qualquer z2 C . Portanto,
(z4 z1 ) = 1.
Podemos mostrar tambm que
z1 z4 = 1.

(8)

Exerccio 9: Prove a Eq.(8).


Vimos que
z z 1 = z 1 z = 1.
Isto justifica que para z,
z = x + iy,
podemos escrever que
z 1 =

1
.
x + iy

Mas isto no mostra qual o nmero complexo correspondente. Usando a


definio, podemos obter explicitamente o nmero complexo inverso de um dado
z = x + iy do seguinte modo. Temos
z 1 (x + iy) = 1.
Escrevendo
z 1 = u + iv,
temos
ux vy = 1,
uy + vx = 0.
2 Note

que no necessariamente garantido que exista.

(9)

Queremos u e v em funo de x e y. As equaes acima constituem um sistema


linear para u e v. Colocando na forma matricial, temos


x y
u
1
=
y x
v
0
Temos

Mas

u
v

x y
y x

x y
y x
=

1
x2 + y 2

1
0

x
y

y
x

se x2 + y 2 6= 0, portanto, temos


1
u
x y
1
= 2
v
y x
0
x + y2

1
x
= 2
y
x + y2
e, conseqentemente,

x
y
i 2
.
(10)
x2 + y 2
x + y2
O mtodo acima um mtodo padro para obter o elemento inverso a partir
da sua definio. Mas no caso de nmero complexo, o mesmo resultado pode ser
obtido da seguinte forma. Da Eq.(9), temos
z 1 =

z 1 (x + iy) = 1.
Multiplicando dos dois lados o nmero complexo, (x iy) , temos
z 1 (x + iy) (x iy) = x iy.
Mas
e, portanto,

(x + iy) (x iy) = x2 + y 2 ,

z 1 x2 + y 2 = x iy.

Dividindo os dois lados por x2 + y 2 , temos a expresso Eq.(10).


O exerccio acima para obter z 1 mostra que, para qualquer z, sempre existe
1
z , exceto se x2 + y 2 = 0. Mas x2 + y 2 = 0 implica em x = y = 0, e portanto
z = 0. Assim, sempre existe z 1 , exceto se z = 0.
Exerccio 10: Para um nmero complexo expresso na forma polar,
z = r (cos + i sin ) ,
1

obtenha o inverso, z . Interprete geometricamente o resultado e o papel


de z 1 como um operador3 .
3 O inverso de e () e () . Isto pode ser visto da Eq.(6), fazendo = , = , j que
e (0) = cos (0) + i sin (0) = 1.

p
No exerccio acima, r = x2 + y 2 representa o mdulo do vetor z no plano
(x y) e o denotamos por |z| .
p
|z| = r = x2 + y 2

Quando estamos operando com z = x + iy, freqentemente aparece a quantidade


x iy,

portanto til introduzir uma notao especfica para esta. Denotemos x iy


por z para z = x + iy e o chamemos de conjugado complexo (ou s vezes
simplesmente conjugado) de z. O conjugado complexo do conjugado complexo
o prprio z,

(z ) = z.
Tomar o conjugado complexo de um nmero complexo z um mapeamento
de C para C e, portanto, um operador. Alm disto, um operador linear.
Exerccio 11: Expresse o mdulo e o argumento das seguintes expresses em termos de
mdulo e do argumento de z, kzk e arg z = .
w = (z + 1) ,
w = (z i) z,
z+1
.
w=
z1
Exerccio 12: Para z = x + iy, obtenha um nmero complexo ze que transforma z em z .

1.5

Produto Escalar

Para um espao vetorial, podemos definir o produto escalar. Vamos lembrar


o produto escalar. Seja V um espao vetorial e denotemos os elementos de V
(vetores) por4 |xi, |yi, ... . Ou seja,
V = {|xi, |yi, |zi, .....} .
Sejam |xi, |yi elementos arbitrrios de V. Quando est definida uma regra de
mapeamento deste par ordenado (|xi, |yi) para um nmero real5 (escalar =
elemento do corpo), dito que o produto escalar est definido, desde que esta
regra satisfaa as seguintes propriedades:
1. linearidade:
(|xi, a|yi) = a (|xi, |yi) .
2. distributividade:
(|xi, |yi + |zi) = (|xi, |yi) + (|xi, |zi) .
4 Notao
5 No

de Dirac.
momento, restringimos o corpo ao conjunto de nmeros reais.

3. reciprocidade:
(|xi, |yi) = (|yi, |xi) .
4. positividade:

|xi V,
(|xi, |xi) 0,
e a igualdade vale se e somente se |xi = 0. A quantidade (|xi, |xi)1/2
chamada de mdulo do vetor |xi e denotada por k|xik.
No caso do espao vetorial tridimensional Euclidiano 3 R, sabemos que o
produto escalar entre dois vetores,

x1
r1 = y1
z1

x2
r2 = y2 ,
z2

definido por

(r1 , r2 ) = x1 x2 + y1 y2 + z1 z2

(11)

e podemos provar que esta definio de produto escalar satisfaz todas as condies
1) a 4) e o mdulo do vetor r fica
p
krk = x2 + y 2 + z 2 .

Exerccio 13: Prove que a definio de produto escalar na Eq.(11) satisfaz todas as
condies para ser produto escalar.
Exerccio 14: Usando somente as propriedades 1) a 4) que definem produto escalar,
prove que vale a seguinte desigualdade6
2

(|xi, |yi) (|xi, |xi) (|yi, |yi) .

(12)

A desigualdade de Schwartz garante que


1

(|xi, |yi)
1
k|xik k|yik

e, por isso, podemos definir o ngulo por


cos =
6 Desigualdade

(|xi, |yi)
.
k|xik k|yik

de Schwartz.

10

(13)

Exerccio 15: Prove que o ngulo definido acima , de fato, o ngulo entre os dois
vetores.
Exerccio 16: Usando a desigualdade de Schwartz, mostre que7
|k|xik k|yik| k|xi |yik |k|xik + k|yik| .

(14)

O mdulo do vetor diferena entre dois vetores


k|xi |yik
chamado de distncia entre estes dois vetores e o denotamos por
d (|xi, |yi) .
No caso do espao vetorial formado de nmeros complexos, podemos definir
o produto escalar entre dois nmeros complexos, z1 = x1 + iy1 e z2 = x2 + iy2 ,
por
(z1 , z2 ) = x1 x2 + y1 y2 .
Pela inspeco, podemos verificar que podemos escrever
(z1 , z2 ) = Re {z1 z2 } .
Exerccio 17: Mostre que Re {z1 z2 } = Re {z2 z1 } .
Exerccio 18: Usando a definio do ngulo (Eq.(13), calcule o ngulo entre dois
nmeros complexos,
z1 = r1 {cos 1 + i sin 1 } ,
z2 = r2 {cos 2 + i sin 2 } .

1.6

Potenciao de um nmero complexo e raiz

At agora, definimos a lgebra do conjunto de todos os nmeros complexos.


Podemos, ento, considerar a potenciao de um nmero complexo. A potenciao de um nmero complexo tambm um nmero complexo. Por exemplo,
z2 = z z
fica

z 2 = x2 y 2 + i2xy

na forma Cartesiana, mas na forma polar fica

z 2 = r2 (cos 2 + i sin 2) .
Em geral, a potncia maior fica mais simples na forma polar,
z n = rn (cos n + i sin n) .
7 Desigualdade

triangular

11

(15)

Exerccio 19: Prove, por induo matemtica8 .


Por outro lado, a n-sima raiz de um nmero a operao inversa da potenciao. Por exemplo, para um dado z, queremos calcular
z 1/n .
Isto significa que

z 1/n = z,

ou seja, queremos um nmero complexo cuja n-sima potncia resulta em z.


Escrevendo
z 1/n = r (cos + i sin ) ,
temos
rn (cos n + i sin n) = kzk (cos z + i sin z ) ,

(16)

onde
z = arg (z) .
Assim, temos
r = kzk1/n ,
e uma possibilidade obviamente
n = z ,
ou seja
1
z .
n
Mas esta no a nica soluo. Existem mais possibilidades que satisfazem a
Eq.(16), pois a condio
=

cos = cos ,
sin = sin
no implica necessariamente
= ,
mas a soluo mais geral
= + 2k,
8 Induo

Matemtica: A forma de provar uma afirmao que vale para uma seqncia de
nmeros inteiros n em geral. A induo matemtica constituda de 2 etapas. 1) demostrar
que a afirmao vale para um valor particular de n, digamos n0 . Em geral, escolhe-se n0 = 0,
ou 1, ou algum valor particular para o qual a afirmao obviamente vlida. 2) provar que, se
vale a afirmao para n = K, ento a afirmao vale tambm para n = K + 1. 1) e 2) juntos
provam que a afirmao em questo vlida para qualquer n n0 . importante que, na
etapa 2), use-se somente a hiptese, ou seja, a validade da afirmao para um valor particular
n = K, e no se pode generalizar para qualquer K + 1, etc.
Se na etapa 2), prova-se que , se vale a afirmao para n = K, ento a afirmao vale
tambm para n = K 1, junto com 1), ento demostra-se que a afirmao vlida para
qualquer n n0 .

12

onde k qualquer nmero inteiro. Assim, as solues distintas para a Eq.(16)


so
1/n
r = kzk
,
e
k =

1
2k
z +
, k = 1, .., n
n
n

Exerccio 20: Obtenha as seguintes razes e represente-as no plano (x y) :


z 3 = 1,
1
1
z 4 = + i,
2
2

3
z = 4 + 4 3i.
Exerccio 21: Mostre que, para n, m inteiros,

(1)m ,
n = 2m,
in = ei 2 n =
(1)m i, n = 2m + 1

1.7

Funo Algbrica de varivel complexa

Com a lgebra e a potenciao definidas, podemos considerar as funes algbricas. Por exemplo, as funes de varivel complexa, z,
az + b
,
cz + d
f (z) = az 2 + bz + c,
etc,

f (z) =

sendo a, b, c e d constantes (podendo ser complexas). A funo f (z) um


mapeamento de C para C. O valor de f (z) um nmero complexo e, portanto,
tem parte real e parte imaginria. Vamos escrever
f (z) = u + iv.
Mas
z = x + iy,
0

ento, o mapenamento z z = f (z) um mapeamento de um espao bidimensional para outro espao bidimensional,
u = u(x, y),
v = v(x, y).
Isto pode ser visto como uma mudana de variveis de (x, y) para (u, v) . Por
outro lado, a mudana de variveis pode ser vista como uma transformao de
coordenadas. Podemos considerar (u, v) como um novo conjunto de coordenadas
13

para expressar um ponto P num espao bidimensional (um plano) no lugar das
coordenadas Cartesianas (x, y) . Por exemplo, a linha x = a = const. no plano
(x, y) ser mapeada na linha, expressa parametricamente,
u = u(a, y),
v = v(a, y).
Se eliminarmos y das equaes acima, teremos
u = u (v, a)
que representa a linha no plano (u, v).
Vamos considerar um outro exemplo. Seja
w = z2.
Escrevendo
w = u + iv,
z = x + iy,
temos
u = x2 y 2 ,
v = 2xy.
Para x = a = const, temos a forma paramtrica da curva u = u (v, a) ,
u = a2 y 2 ,
v = 2ay.
Eliminando o parmetro y, temos
v 2
.
2a

(17)

v 2
b2 .
2b

(18)

u = a2

Analogamente, para y = b = const, temos


u=

Exerccio 22: Desenhe vrias curvas v = v(u) no plano (u, v) correspondentes a x =


a = const. e y = b = const. variando a e b, fazendo, por exemplo, a =
1/3, 1/2, 1, 2, 3, 4 e idem para b. Observe que as duas famlias de curvas se
cruzam perpendicularmente em todos os pontos.
Exerccio 23: Prove que as duas famlias de curvas no plano (u, v) acima se cruzam
perperdicularmente entre elas.

14

Exerccio 24: Desenhe as famlias de curvas no plano (u, v) corrrespondentes a x = a =


const. e y = b = const. para a funo
u + iv =

z+1
.
z2

Prove, novamente, que as duas famlias de curvas no plano (u, v) correspondentes a x = a = const. e y = b = const. se cruzam perperdicularmente entre elas.

1.8

Funes Analticas

Os exemplos acima mostram que o mapeamento do plano (x, y) para o plano


(u, v) gera um sistema de coordenadas curvilneas ortogonais. Isto de fato
sempre verdade para uma funo chamada funo analtica. Definiremos em
seguida o que uma funo analtica e estudaremos suas propriedades.
1.8.1

Reviso - Expanso de Taylor para uma funo de uma varivel


real

Vamos fazer uma reviso. Seja f (x) uma funo suave da varivel real x em
torno do ponto x = a. Ento, para x suficientemente prximo de a, podemos
escrever
1 (1)
1
1
2
3
f (a) (x a) + f (2) (a) (x a) + f (3) (a) (x a) + ...
1!
2!
3!
(19)
que chamamos de expanso de Taylor da funo f em torno do ponto x = a.
Aqui,

dn f (x)
(n)
f (a) =
dxn x=a
f (x) ' f (a) +

a n-sima derivada da funo f no ponto x = a. O significado da expresso


suficientemente prximo depende da funo em questo. Dependendo da
funo e do valor de (x a) , a srie pode nem mesmo convergir. O valor
mximo de |x a| para que a srie de Taylor convirja chamado de raio de
convergncia.
Exerccio 25: Deduza a expresso (19).
Exerccio 26: Obtenha a expanso de Taylor das seguintes funes em torno de ponto
x0 = 0 e calcule o raio de convergncia:
f (x) = ex ,
1
f (x) =
,
x+1
f (x) = sin1 (x),
1

f (x) = tan
15

(x).

(20)
(21)
(22)
(23)

Exerccio 27: Consideremos a soma formal

X
a d
a2 d2
an dn
=
1
+
+ ,
+
n! dxn
1! dx
2! dx2
n=0

onde a uma constante. Formalmente, usando o resultado da Eq.(20),


podemos escrever
d

ea dx = 1 +

a d
a2 d2
+
+
1! dx
2! dx2

Mostre que
d

ea dx f (x) = f (x + a) .

1.9

Funo Exponencial

Utilizando o resultado da Eq.(20), podemos definir a funo exponencial de uma


varivel complexa z como

X
1 n
z def
e =
(24)
z .
n!
n=0
Esta srie tem raio de convergncia infinito.

Exerccio 28: Usando a definio acima, prove que, para quaisquer nmeros complexos
z1 e z2 , temos
ez1 ez2 = ez1 +z2 .
(25)
Exerccio 29: Mostre que

(ez )

= ez .

Exerccio 30: Usando a definio, mostre que

n
1
lim 1 + z
= ez .
n
n

(26)

(27)

Exerccio 31: Usando o resultado acima, mostre que


(ez1 )

z2

= ez1 z2 .

Para
z = x + iy,
temos
ez = ex+iy
e, usando a propriedade Eq.(25), temos
ez = ex eiy .

16

(28)

O primeiro fator ex a exponencial comum. Vamos estudar o segundo fator eiy .


Usando a definio, temos
eiy =

X
1
(iy)n .
n!
n=0

Vamos separar a soma em duas partes: uma com n par e outra com n mpar,

X
X
1
1
(iy)n +
(iy)n
n!
n!
n:par
n:
mpar

1 2
1 4
1 3
1 5
= 1 y + y + i y y + y
2!
4!
3!
5!
= cos y + i sin y,

eiy =

que e (y) que definimos na Eq.(5). Temos, assim, a frmula de Euler,


ei = cos + i sin .

1.10

(29)

Expanso de Taylor para funes de muitas variveis

A generalizao da frmula na Eq.(19) para uma funo que tem n variveis


n

f (x1 , x2 , ..., xn ) ' f (a1 , a2 , .., an ) +


+

1 X f
(a1 , a2 , , ..., an ) (xi ai )
1! i=1 ai

1 X X 2f
(a1 , a2 , , ..., an ) (xi ai ) (xj aj )
2! i=1 j=1 ai aj
n

1 XXX
3f
(a1 , a2 , , ..., an ) (xi ai ) (xj aj ) (xk ak )
3! i=1 j=1
ai aj ak
k=1

+ ,
onde

etc.

(30)

f
f (x1 , x2 , ..., xn )
(a1 , a2 , , ..., an )

ai
xi
(x1 =a1 ,x2 =a2 ,,...,xn =an )

Exerccio 32: Deduza a expresso (30), usando induo matemtica.


Exerccio 33: Mostre que
n X
n
X

n
X

kf
(a1 , a2 , , ..., an ) (xi1 ai1 ) (xi2 ai2 ) (xik aik )
ai1 ai2 aik
i1 =1 i2 =1
ik =1
" n
#k
X

=
(xi ai )
f (a1 , a2 , ..., an ) .
ai
i =1

17

Vamos introduzir a notao vetorial. Escrevemos


Assim, podemos escrever9


n
X

ik =1

(xi ai )

onde

r=

a=

Exerccio 34: Mostre que

..
.

xn

= ((r a) ) ,
ai

x1

x2

x1
x2
..
.
xn
a1
a2
..
.
an

ea f (x1 , x2 , .., xn ) = f (x1 + a1 , x2 + a2 , , xn + an ) .

1.11

Derivada de funes com variveis complexas

A derivada de uma funo com varivel real definida por


f (x + x) f (x)
df (x)
= lim
,
x0
dx
x
caso exista o limite indicado. No caso de nmeros complexos, como z tem dois
graus de liberdades, z = x + iy, temos que tomar cuidado com a existncia do
limite.
Exerccio 35: Calcule os dois limites:

que

x
,
lim lim q
x0
(x)2 + (y)2

x
,
lim lim q
x0 y0
2
2
(x) + (y)
y0

9 Note

(r a) 6= (r a) .

18

Se o limite

df (z)
f (z + z) f (x)
= lim
(31)
z0
dz
z
existe, ento, o valor do limite deve ser independente da direo de z ao se
aproximar do elemento 0. Ou seja, o valor
lim

x0,
y0

f (x + iy + x + iy) f (x + iy)
x + iy

tem que ser independente da razo x/y. Escrevendo


f = u + iv,
u = u (x, y) ,
v = v(x, y),
temos
f (x + iy + x + iy) = u (x + x, y + y) + iv (x + x, y + y)
u (x, y)
u (x, y)
+ y
+
= u (x, y) + x
x
y

v (x, y)
v (x, y)
+ y
+ ,
+ i v (x, y) + x
x
y
onde usamos a expanso de Taylor em relao a x e y. Ento, at a primeira
ordem, temos

1
u (x, y)
v (x, y)
u (x, y)
v (x, y)
f (z + z) f (z)
=
x
+i
+ y
+i
.
z
x + iy
x
x
y
y
Para que esta expresso no dependa da razo x/y, devemos ter

v (x, y)
u (x, y)
v (x, y)
u (x, y)
+i
=i
+i
.
y
y
x
x

(32)

Exerccio 36: Confira a afirmao acima.


Assim, como condio necessria e suficiente para que a funo f (z) tenha
a derivada Eq.(31), as derivadas parciais das partes reais e imaginrias tm que
satisfazer a Eq.(32), ou seja,
v (x, y)
u (x, y)
=
,
y
x
u (x, y)
v (x, y)
=
.
y
x

(33)
(34)

Estas so conhecidas como as condies de Cauchy-Riemann.


Uma funo f (z) dita analtica no ponto z = z0 quando existe a derivada
desta funo neste ponto.
19

Exerccio 37: Julgue se as funes abaixo so analticas ou no nos pontos z = z0 indicados:


f (z) = z + z , z0 = 1,
f (z) = zz , z0 = 1,
z+1
, z0 = 0,
f (z) =
z1
f (z) = ez , z0 = 1 + i.
Usando as condies de Cauchy-Riemann, podemos escrever de vrias formas.
df
u (x, y)
v (x, y)
=
+i
dz
x
x
u (x, y) v (x, y)
=i

x
x
u (x, y)
u (x, y)
i
=
x
y
v (x, y) v (x, y)
=i

.
y
x
interessante expressar as condies de Cauchy-Riemann em termos de
linguagem de anlise vetorial. Vamos introduzir o vetor tridimensional,

v (x, y)
A (x, y) = u (x, y) .
0

A divergncia deste vetor fica

Ax
Ay
Az
+
+
x
y
z
v
y
=
+
x y
= 0,

pela Eq.(33) (aqui z representa a coordenada Z e no o nmero complexo). Por


outro lado, o rotacional,

Ay
Az
y z

Az
x
A A
,
z x
Ay
Ax

x
y
fica

A=

u
x

0
0

v
y

20

0
= 0 ,
0

pela Eq(34). Assim, temos


A = 0,

(35)

A = 0.

(36)

Sabemos que se
A = 0,
ento, sempre existe uma funo escalar tal que podemos escrever
A = .
Exerccio 38: Prove a afirmao acima.
Ento, substituindo na Eq.(35), temos
= 0,
ou seja
2 = 0.
Esta equao conhecida como Equao de Laplace. Em geral, uma funo que
satisfaz a equao de Laplace chamada de funo harmnica.
No caso de funes complexas, no h dependncia na terceira componente,
temos
= (x, y)
e

J que
temos tambm que

2
2
+ 2
2
x
y

(x, y) = 0.

2 () = 2 ,
2 A = 0,

ou seja

v (x, y)
2 u (x, y) = 0.
0

(37)

Isto , ambas as partes real e imaginria de uma funo complexa so funes


harmnicas de variveis x e y. Naturalmente, a Eq.(37) demonstrada diretamente das condies de Cauchy-Riemann, Eqs.(33,34).
Exerccio 39: Prove, diretamente das condies de Cauchy-Riemann, que
2 u = 0,
2 v = 0.
21

v
f(z)

y
wo

dz1

dw1 u
dw2

dz2
zo
x

Figure 1: Fig.3 Mapeamento w = f (z) . Os vetores dz1 e dz2 so mapeados em


dw1 e dw2 , respectivamente, mantendo o ngulo entre eles.

22

Como mencionado antes, uma funo de varivel complexa f (z) define um


mapeamento do plano (x, y) para o plano (u, v) . Para uma funo analtica,
este mapeamento possui a seguinte propriedade geomtrica importante. Seja z0
um ponto onde f (z) analtica e w0 = f (z0 ) , o ponto correspondente do mapeamento. Sejam dz1 e dz2 dois deslocamentos infinitesimais a partir do ponto
z = z0 no plano z = (x, y). Estes deslocamentos definem os deslocamentos infinitesimais correspondentes no plano w = (u, v) (ver a figura acima). Podemos
provar que o ngulo entre dois deslocamentos preservado pelo mapeamento,
ou seja, o ngulo entre dz1 e dz2 idntico ao ngulo entre dw1 e dw2 . A prova
fcil. Como vimos, o ngulo entre dois deslocamentos dz1 e dz2 dado por
cos z1 z2 =

(dz1 , dz2 )
dz1 dz2
=
.
kdz1 k kdz2 k
kdz1 k kdz2 k

Analogamente, o ngulo entre dw1 e dw2 fica


cos w1 w2 =
Mas
dw1 =
e
dw2 =

dw1 dw2
.
kdw1 k kdw2 k

df
dz
df
dz

dz1 ,
z=z0

dz2 ,
z=z0

ento temos

cos w1 w2


df
dz1
dz2
dz
z=z0
z=z0

=
df
df

dz1 dz
dz2
dz

df
dz

z=z0

dz1 dz2

kdz1 k kdz2 k

z=z0

= cos z1 z2 .

Exerccio 40: Seja u + iv = f (z) , z = x + iy e f (z) uma funo analtica num domnio
. Mostre que, dentro deste domnio, as curvas no plano (u, v) correspondentes a x = const. e y = const. se cruzam perpendicularmente.

1.12

Funo Inversa

Para uma funo


w = f (z) ,

(38)

z = f 1 (z) .

(39)

podemos considerar seu inverso,

Por exemplo, para


w = z2,
23

temos
z = w1/2 .

(40)

Neste caso, como vimos, para um dado w, temos duas possibilidades para z,
1/2 i arg /2

z1 = kwk

e
1/2 i(arg /2)

z2 = kwk
= z1 ,

e a funo Eq.(40) tem valores mltiplos (funo plurvoca). Estudaremos mais


adiante a estrutura do mapeamento para funes plurvocas. No caso da funo
exponencial,
w = ez ,
(41)
podemos considerar o seu inverso
z = log (w) .
Em geral, temos
w = kwk ei arg w

= elogkwk+i arg w

e, comparando com a Eq.(41), podemos identificar


z = log kwk + i arg w.

(42)

Assim, podemos definir a funo logaritmo como


log (w) = log kwk + i arg w.

(43)

Exerccio 41: Calcule log(z) para os seguintes valores de z :


z = 1 + i,

z = 3 i.

1.13

Alguns exemplos de funes complexas

Usando a definio de log (z) , podemos definir a funo mais geral de exponenciao
z a = ea log z ,
(44)
sendo a complexo. Outras funes elementares so
eiz eiz
,
2i
iz
iz
e +e
,
cos z =
2
sin z =

24

(45)
(46)

que contm a frmula de Euler,


eiz = cos z i sin z.
Igualmente, definimos as funes hiperblicas por
ez ez
,
2
ez + ez
cosh z =
.
2
sinh z =

(47)
(48)

Inversamente,
ez = cosh z sinh z.
No plano complexo, as funes trigonomtricas e as funes hiperblicas so
essencialmente as mesmas.

1.14

Aplicao da propriedade harmnica de uma funo


analtica

Vimos que as partes reais e imaginrias de uma funo analtica so funes


harmnicas. As funes harmnicas aparecem freqentemente nos problemas
de fsica. O mais conhecido o potencial para o campo eletrosttico. Suponha
que dada uma distribuio de densidade de carga eltrica (esttica)
= (r) .
Sabemos que, pela Lei de Gauss, o campo eltrico E = E(r) satisfaz
I
1
E dS = Q ,
0

(49)

onde representa um domnio no espao. A integrao do lado esquerdo representa a integrao de rea sobre toda a rea do domnio e Q a carga total
contida neste domnio. Podemos expressar a carga total dentro do domnio
pela integral de volume da densidade de carga,
Z
Q =
d3 V.
(50)

Mas, pelo Teorema de Gauss,


I
Z

E dS =
E d3 V.

Exerccio 42: Prove o teorema de Gauss, Eq.(51).

25

(51)

Substituindo as Eqs.(50,51), temos

Z
1
E d3 V = 0.
0

Note que esta equao deve valer para qualquer arbitrrio. Conclumos que
temos que ter
1
(52)
E = 0.
0
Por outro lado, pela lei de Faraday, a variao de fluxo magntico gera uma
corrente eltrica de acordo com
Z
I
B
dS
(53)
= E dl,
t
S
S

onde a integral do lado esquerdo representa a integral de rea numa superfcie


S e a integral do lado direito a integral de linha ao longo do contorno da
superfcie S. Mas, como o teorema de Stokes diz
Z
I

dS E ,
(54)
E dl =
S

temos

dS

B
+E
t

= 0.

J que esta equao vale para qualquer superfcie arbitrria, temos que ter
B
+ E = 0.
t

(55)

Em particular, para o caso esttico,


B
= 0,
t
e portanto
E = 0.

(56)

Exerccio 43: Prove o teorema de Stokes, Eq.(54).


Como o rotacional do campo eltrico se anula no caso esttico, existe um
campo escalar = (r) tal que
E = .
Substituindo esta expresso na Eq.(52), temos
2 =
26

1
.
0

(57)

Em particular, se = 0, ento
2 = 0,
ou

2
2
2
+
+
x2 y 2 y 2

= 0.

Se no h dependncia em z (no o nmero complexo, mas o terceiro eixo!),


temos
2

2
+
= 0.
(58)
x2 y 2
Um outro problema em que aparece a funo harmnica o movimento de
fluidos. Vamos considerar um fluido perfeito. A dinmica do fluido pode ser
descrita em termos da distribuio de densidade,
= (r, t) ,
e do campo de velocidades,
v = v (r, t) .
Quando o movimento do fluido possui vrtice, a integral em volta do vrtice ao
longo do movimento do fluido
I
d l v,
(59)

onde representa uma curva fechada, certamente tem um valor positivo, pois
sempre podemos escolher
d l v > 0.
Desta forma, quando existe um vrtice, a integral Eq.(59) no nula. A integral
chamada de circulao. Quando a circulao nula para todo espao, temos
I
d l v = 0, ,

e ento usando o teorema de Stokes,


I
d S ( v) = 0,

onde S a superfcie cercada pela curva . Como arbitrrio, temos


v = 0,

r.

Quando acontece isto, dizemos que o movimento de fluido irrotacional e existe


uma funo escalar tal que
v = .
(60)
A funo chamada de potencial do campo de velocidade v.
27

O movimento de um fluido, em geral, conserva a massa (ou nmero de


partculas), e, portanto, satisfaz a equao de continuidade,

+ (v) = 0.
t

(61)

Exerccio 44: Deduza a equao de continuidade acima.


Suponhamos que o fluido imcompressvel. Neste caso, a densidade uma
constante,
= 0 .
Ento, da Eq.(61), temos
v = 0.

(62)

Substituindo a Eq.(60) na Eq.(62), temos

2 = 0.
Isto , quando um fluido incompressvel tem movimento irrotacional, o potencial
do campo de velocidade uma funo harmnica. Quando o fluido homogneo
na direo Z, ento temos a equao Eq.(58).
A equao (58) vlida tanto no caso de campo eltrosttico sem fonte,
quanto para o potencial de campo de velocidade irrotacional e imcompressvel.
Naturalmente, se houver fonte, ou carga, a Eq.(58) no satisfeita. Analogamente para um fluido cujo movimento rotacional, ou a densidade varivel,
no vale a Eq.(58). Por exemplo, vamos considerar uma funo,
w = C log z,
onde C uma constante. Colocando
w = u + iv,
z = x + iy,
temos
u = log kzk = log C + log
y
v = arg z = tan1 .
x

p
x2 + y 2 = log r + Const,

Vamos escolher
= A u (x, y) ,
onde A uma constante a ser determinada. Fazendo com que este seja um
potencial eletrosttico, temos o campo eltricocorrespondente,
1
E = = A er ,
r

(63)

p
onde r = x2 + y 2 a distncia radial da origem e er um vetor unitrio
radial. Assim, o campo eltrico est sempre
na direo radial e tem a mesma
p
intensidade para o mesmo valor de r = x2 + y 2 (ver a figura abaixo).
28

r=const.

y
E

Fig. 4 Campo Eltrico em torno de linha reta carregada homogeneamente.


Considerando a integral do campo E sobre a superfcie de um cilindro de raio r
e comprimento L, temos
2rLE = 2LA = const.
Pela Lei de Gauss, isto tem que ser igual carga total dentro do cilindro. Desta
forma, conclumos que a situao fsica correspondente Eq.(63) o campo
gerado por um fio infinito, carregado homogeneamente, com densidade linear
= 2A0 .
Da, temos
A=

.
20

Podemos interpretar a mesma soluo como o campo de velocidades de um


fluido incompressvel e irrotacional. Fazendo
= u (x, y) ,
o campo de velocidades fica
v = .
Novamente, a velocidade radial, saindo da origem. A situao fsica corresponde a um sistema com uma fonte de fluido na origem, com taxa constante,
no qual o fluido escoa no plano x y espalhando homogeneamente.
Nas duas interpretaes acima, note que o ponto de origem r = 0 um ponto
singular da soluo.
Exerccio 45: Podemos escolher v = . Interprete a situao fsica correspondente a
esta escolha.

29

Exerccio 46: Desenhe as linhas equipotenciais ( = const. seja = u, ou = v) da


funo harmnica dada pelas seguintes funes complexas e interprete a
situao fsica:
u + iv = log(z + 1) log(z 1),

u + iv = z 2 ,

u + iv = z 1/2 .

1.15

Funes Plurvocas e Superfcie de Riemann

Uma funo de z pode ter mltiplos valores para um dado z como no exemplo
f (z) = z 1/2 ,
ou
f (z) = log(z).
No caso de log (z) , j que
f (z) = log kzk + i arg z,
dependendo de como se mede o ngulo de z no plano (x, y) , o valor de f muda.
Por exemplo, para um dado z, o ngulo pode ser o valor principal de
y
tan1
,
x

mas tambm vale

tan1

+ 2n,
x
para qualquer n inteiro. Por outro lado, importante ter a correspondncia um
a um para se definir a analiticidade do mapeamento de z para w. Assim, de
acordo com a necessidade, introduzimos mais planos (x, y) para z. Por exemplo,
no caso de log (z) , para cada volta do vetor z em torno da origem, em vez de
voltar ao mesmo plano (x, y) , entra na folha acima, como mostrado na figura
abaixo.

Fig. 5 Superfcie de Riemann para a funo log (z).


30

ou

Fig. 6 Idem a Fig.5


O espao onde z definido fica generalizado o plano (x, y). Em vez de uma folha
plana, agora as vrias folhas subindo na forma espiral indefinidamente. Neste
espao, a funo log (z) definida univocamente. Este espao para a varivel
z onde a funo definida univocamente chamado de folha (superfcie) de
Riemann.
A estrutura topolgica da superfcie de Riemann depende da funo. No
caso de log(z), precisamos de infinitas folhas espiralmente enroladas em torno
da origem. Mas, para a funo f (z) = z 1/2 , a superfcie se torna a folha original
quando se faz duas voltas em torno da origem. Ver a figura abaixo.

Fig. 7 Superfcie de Riemann para a funo z 1/2 .


Exerccio 47: Que tipo de funo cuja superfcie de Riemann demostrada na figura (o
espao em torno da origem para facilitar a viso e no tem significado
aqui)?

31

Fig. 8 Superfcie de Riemann que tem 3 folhas.


Exerccio 48: Desenhe a superfcie de Riemann para as seguintes funes:

1.16

1/2

,
f (z) = 1 z 2
2
1/2
f (z) = z 1
.

Problemas

1. Consideremos uma srie


S1 (z) = 1 + z + z 2 + z 3 + + z n +
e definamos

Sp (z) = (S1 (z))p ,

onde p um nmero inteiro maior que zero.


(a) Pela induo matemtica em relao a n, mostre que
1+p+
=

p(p + 1)
p(p + 1) (p + 2) (p + n 1)
+ +
2!
n!

1
(p + 1) (p + 2) (p + n) .
n!

(b) Usando o resultado acima, mostre que


X p+n1
zn,
Sp (z) =
n
n0

onde

k
n

= Cn,k =

o nmero combinatrio.

32

k!
n! (n k)!

(c) Pela definio, sabemos que


Sp (z) Sq (z) = Sp+q (z)
para p, q inteiros positivos. Usando este fato, demostre que
X p + l 1 q + n l 1 p + q + n 1
=
l
nl
n
0ln

2. Sejam x, y reais e n inteiro positivo e x 6= 2k (k inteiro). Mostre que

n
X
cos n2 x + y sin n+1
2 x
x
cos (px + y) =
,
sin 2
p=0

n
X
x
sin n2 x + y sin n+1
2

sin (px + y) =
.
sin x2
p=0
(dica: use a frmula de Euler e a srie geomtrica).

3. Usando a definio, Eqs.(47,48), mostre que


sin (iz) = i sinh(z),
cos(iz) = cosh(z).
Mostre tambm que
cos2 (z) + sin2 (z) = 1,
cosh2 (z) sinh2 (z) = 1.
4. Para x real, mostre que

p
sinh1 x = log x + x2 + 1 ,

p
cosh1 x = log x + x2 1 ,

tanh1 x =

1
1+x
log
.
2
1x

5. Para z = x + iy,
(a) Mostre
ksin zk2 = sin2 x + sinh2 y,

kcos zk2 = cos2 x + sinh2 y.


(b) Determine os zeros das funes
sin (az) , cos (az) ,
sendo a real.
33

6. Vamos resolver a equao algbrica de terceira ordem,


x3 + ax2 + bx + c = 0.
(a) Pela mudana de varivel,
z = x + d,
e escolhendo d adequadamente, podemos sempre transformar a equao
acima em
z 3 + pz + q = 0.
(64)
(forma padro para a equao de terceira ordem).
(b) Introduzimos ainda a nova mudana de varivel,

1
u t+
= z,
t
e, substituindo na Eq.(64), teremos termos t3 , 1/t3 , t, 1/t e const.
Escolhendo u apropriadamente, podemos eliminar os termos t e 1/t.
Determine u.
(c) A equao que resta tem a forma
t3 +

1
= Const.
t3

Chamando t3 = X, a equao se reduz a uma equao de segunda


ordem em X. Resolva a equao.
(d) Expresse as 3 solues explicitamente em funo de p e q.

1.17

Integral de uma funo de varivel complexa

Para uma funo de varivel real, a integral definida como o limite de n


da soma,
n
X
f (xi ) dxi
i=1

onde

n
X
i=1

dxi = b a,

Este um exemplo de integral de linha, onde, neste caso, a linha uma reta,
ou seja o eixo x. No caso da varivel complexa, o plano z tem duas dimenses
e, portanto, para definir a integral tipo
Z
f (z) dz,
34

devemos especificar uma trajetria de z durante a integrao. Para isto, denotamos um caminho C abaixo do sinal de integral, que fica
Z

dz f (z) = lim

N
X

f (zi )dzi ,

onde N o nmero de segmentos que divide a curva C, e dzi o intervalo


(complexo) correspondente a esse segmento. Ou seja, esta integral definida
como o limite da soma dos valores da funo f (z) multiplicado pelo passo dz,
ao longo da curva C como ilustrado na figura abaixo.

y=Im(z)

dy
dz=dx+i dy

C
dx

x=Re(z)

Fig.9 Integral de linha no plano complexo.


Separando a parte real e a parte imaginria, a integral acima fica
Z
Z
f (z) dz =
(u (x, y) + iv (x, y)) (dx + idy)
Z
ZC
(udx vdy) + i
(vdx + udy) .
=
C

(65)

Para se ter uma melhor visualizao, vamos introduzir a notao vetorial que
j introduzimos anteriormente.

v (x, y)
A = u (x, y) ,
0

Vimos que as condies de Cauchy-Riemann ficam


A = 0,
e
A = 0.
35

A parte real da Eq.(65) fica


Z
Z
(udx vdy) =
(Ay dx Ax dy) .
C

(66)

Aqui, no h dependencia na terceira componente do vetor r, mas vamos imaginar que existe o terceiro eixo (seria z, mas usamos o smbolo para evitar
a confuso com z do nmero complexo). Todas as quantidades so constantes
nesta direo.

y=Im(z)

C
C

x=Re(z)
d

Fig. 10 Extenso da Fig.9 na direo perpendicular ao plano (x, y).


Ou seja, introduzimos uma nova direo perpendicular ao plano complexo (x, y)
e consideramos a fita formada de curvas C no plano (x, y) original e outra idntica C 0 , mas deslocada na direo por d (ver, na figura acima, a rea tracejada). O vetor normal do elemento de rea nesta fita, formado de deslocamento
dz = (dx, dy) no plano z e d na direo

dyd
dS = dxd .
0
Assim, a parte real, Eq.(66) pode ser escrita como
Z
Z
1
(Ay dx Ax dy) =
dS A
d S
C

(67)

onde S representa a rea da fita.


Vamos considerar a parte imaginria da 65. A parte imaginria fica escrita
como
Z
Z
(vdx + udy) =
A dr,
(68)
C

36

j que a componente de A nula. Quando a curva C uma curva fechada,


ento
I
I
(vdx + udy) = A dr
C

mas, usando o teorema de Stokes, temos


I
Z Z

(vdx + udy) =
A d,
S

onde S a superfcie arbitrria cujo contorno a curva C, e d o elemento de


superfcie. Como A = 0 pelas condies de Cauchy-Riemann, temos
I
(vdx + udy) = 0.
C

Para a parte real, (67),


I

(udx vdy) =

1
d

dS A,

onde S agora representa a superfcie do cilindro formado pela fita C e C 0 . Completamos os dois lados do cilndro sem alterar a integral, pois a componente de
A nula na direo . Usando o teorema de Gauss, temos
I
Z Z Z

1
(udx vdy) =
dV A ,
d
C

onde a integral de volume se refere ao volume do cilindro. Como A = 0 pelas


condies de Cauchy-Riemann, temos
I
(udx vdy) = 0.
C

Finalmente conclumos que, para uma curva fechada,


I
f (z) dz = 0,

(69)

se f (z) analtica dentro da rea com contorno sendo a curva C.


Baseamos a prova acima nos teoremas de Gauss e Stokes nas suas representaes vetoriais, mas podemos provar, at mais diretamante, usando diretamente
as Eqs.(33,34). Lembramos que a integral no plano complexo a integral de
linha, e, portanto, tem noo de direo. Por exemplo, as duas integrais ao
longo da mesma curva C, mas com direes opostas tm mesmo valor, exceto
pelo sinal.
Exerccio 49: Prove a Eq.(69) diretamente da condio de Cauchy-Riemann, Eqs.(33,34),
sem usar o recurso da notao vetorial.
37

1.17.1

Cortes e Pontos de ramificao

O teorema de Cauchy, Eq.(69), tem um papel fundamental na teoria de funes


de varivel complexa. Uma coisa que deve ser enfatizada que, quando se aplica
o teorema acima, deve-se utilizar a superfcie de Riemann de tal forma que a
funo seja bem definida univocamente. Ou seja, quando h mais de uma folha
de Riemann para definir a funo univocamente, o contorno da integral, C, tem
que ser definido em cada folha, e quando duas folhas se cruzam, a curva C tem
que acompanhar continuamente uma das folhas. Por exemplo, vamos considerar
a integral,
Z
I=
z 1/2 dz.
C

Como vimos, a superfcie de Riemann para funo, f (z) = z 1/2 mostrada na


Fig.7, tendo duas folhas, que se cruzam no eixo x positivo.

1a Folha

2a Folha

Im(z)

Im(z)

B
A

Re(z)

Re(z)

Fig.11 Duas folhas de Riemann para funo f (z) = z 1/2 . Cada folha tem corte
no eixo x positivo.
Para mostrar a estrutura da superfcie de Riemann, freqentemente se usa uma
figura como a Fig.11 acima. A varivel z pode estar numa das folhas. Cada folha
tem corte no eixo x positivo, e o segmento A da primeira folha est conectado
continuamente no segmento A0 da segunda folha, e o segumento B 0 da segunda
folha est conectado com o segmento B da primeira folha. Definindo a funo
f (z) = z 1/2 em cima desta superfcie de Riemann, f (z) analtica exceto no
ponto z = 0. O ponto z = 0 neste caso chamado de ponto de ramificao.
Note que
1/2
1/2
6= lim (x + iy)
lim (x + iy)
y+0

y0

numa mesma folha.


Para aplicar o teorema de Cauchy, a curva fechada tem que ser definida nesta
superfcie. Assim, a curva como na figura abaixo,

38

Im(z)
C
I
Re(z)

II

Fig. 12 O contorno C para a integral

z 1/2 dz.

possui a regio I e a regio II que tm que estar em folhas distintas. Ou seja, se

0 arg z
2
para o contorno enquanto integrando na regio I, ento devemos usar o ramo,
7
arg z 4,
2
e no
3
arg z 2.
2
Exerccio 50: Efetue a integrao de linha no plano complexo diretamente da integral
Z
z 1/2 dz
C

onde C indicada na figura abaixo.

Im(z)
-1-i
r=const
r=const.
Re(z)

-2 - 2i

1-i

Fig. 13
39

2 - 2i

1.17.2

Plos

A funo
f (z) =

1
,
z z0

onde z0 uma constante (complexa) analtica em todo plano, exceto no ponto


z = z0 . Um ponto singular isolado como este chamado de plo. Pelo teorema
de Cauchy, para qualquer contorno C que no contm o plo, z = z0 , dentro, a
integral
I
f (z) dz = 0.
C

Im(z)

z = z0

Re(z)
C

Fig. 14 Contorno que no contm o plo z = z0 .


Na figura acima, mostramos um exemplo deste contorno que no contm o plo
z = z0 . O fato de que a integral se anula no depende da forma do contorno,
mas depende somente do fato de que o contorno contm o plo dentro da sua
rea interna ou no. Assim, podemos deformar o contorno arbitrariamente sem
alterar o valor da integral, desde que o contorno no atravesse o plo. Assim, a
integral ao longo do contorno na figura abaixo tambm nula.

40

Im(z)

z = z0

Re(z)

C
Fig. 15 Deformao do contorno sem alterar o valor da integral.
Mas, como mencionamos anteriormente, se houver o passo da integral de ida e
volta no mesmo caminho, a soma das integrais se anulam, pois a ida e volta tem
o mesmo valor de integral com sinais diferentes. Finalmente, podemos concluir
que mesmo que o domnio da integral tenha topologia multiplamente conexa,
para a integral sobre a curva fechada ao redor de um domnio que no contm
plos, vale o teorema de Cauchy.

Im(z)

z = z0

Re(z)
C
As integrais se cancelam.
Fig. 16 Integral sobre o contorno de um domnio que multiplamente conexo.
Note que a direo da integral do contorno interno a oposta da do externo.
No exemplo acima, a integral pode ser decomposta em duas partes: uma sendo
a integral ao longo do contorno externo e outra, a integral ao longo do contorno
interno, com a direo contrria. Temos
I
I
I
f (z) dz =
f (z) dz
f (z) dz = 0.
C

ext.

int.

41

Desta forma, conclumos que


I

f (z) dz =

ext.

f (z) dz.

int.

Como as formas dos contornos externos e internos so arbitrrias, podemos concluir que a integral em torno de um plo tem um valor constante, independente
da forma do contorno.
Usando este fato, podemos calcular a integral
I
f (z) dz,
C

onde C um contorno que contm o plo z = z0 . J que o valor da integral no


depende da forma do contorno, podems escolher o contorno circular de raio R
com o centro z = z0 .
I
I
1
f (z) dz =
dz.
(70)
z z0
C

|zz0 |=R

J que |z z0 | = R, podemos parametrizar z por


z z0 = R ei .
Com isto, temos
dz = iR ei d,
e portanto
I

|zz0 |=R

1
dz =
z z0

= 2i.

iR ei
d
R ei
(71)

Note que o resultado da integral no depende do valor do raio R, o que j


era esperado (no depende do contorno).
Exerccio 51: Usando a mudana de varivel,
z = R ei ,
calcule a integral

z 1/2 dz,
C

onde C a circunferncia de raio R centrada na origem, com o ponto


inicial zi = R + i 0 e o ponto final zf = R i 0 como ilustrado na figura
abaixo. Interprete o resultado em relao ao teorema de Cauchy.
42

Im(z)

R
z=R+0 i
z=R - 0 i

Re(z)

Fig.17 Caminho de integrao.

1.18

Funo primitiva

Para uma funo analtica, pelo teorema de Cauchy, a integral sobre uma curva
fechada nula. Vamos considerar as duas integrais atravs de diferentes caminhos, C1 e C2 , mas ambas de um certo ponto comum, z = a, at o ponto
z = z.
Z z
I1 (z : C1 ) =
f (z) dz,
a, C1
Z z
I2 (z : C2 ) =
f (z) dz.
a, C2

A diferena
I1 (z : C1 ) I2 (z : C2 ) =
=

a, C
Z z 1
a, C1

f (z) dz
f (z) dz

a, C
Z a 2

f (z) dz
f (z) dz

z, C2

f (z)dz

C1 +C2

= 0,
se f (z) analtica dentro do domnio cujo contorno a curva fechada, formada
por C1 (ida) e C2 (volta) . Conclumos que a integral
Z z
f (z) dz
a, C1

43

na verdade no depende do caminho, desde que f (z) seja uma funo analica.
Isto implica que a integral depende s do valor dos pontos inicial e final. Podemos
escrever
Z z
F (z) =
f (z) dz.
(72)
a

Podemos mostrar que

dF (z)
= f (z) .
(73)
dz
Como no caso da funo de varivel real, chamamos F (z) de funo primitiva
de f (z) .
Exerccio 52: Mostre que as partes real e imaginria da funo F (z) definida na Eq.(72)
satisfazem as condies de Cauchy-Riemann, e, portanto, F (z) uma
funo analtica.
Exerccio 53: Prove a Eq.(73).
Da Eq.(73), podemos obter a funo primitiva de uma dada funo de uma
varivel complexa em termos de funo primitiva no caso de varivel real. Por
exemplo,
Z z
1
dz = log (z) ,
(74)
z
Z z
1
z dz =
(75)
z +1 , 6= 1.
+1
..
.
Exerccio 54: Usando a Eq.(74), mostre que
I

1
dz = 2i.
z

30

1.19

Frmula Integral de Cauchy

Quando existem alguns pontos singulares ou cortes, naturalmente a afirmao


acima deve ser alterada. Por exemplo, seja o integrando uma funo analtica,
exceto pelo ponto z = z0 , que um plo da funo. Podemos considerar ento
a integral
Z b
f (z)
dz,
z
z0
a
onde f (z) uma funo analtica em todo espao complexo. Na figura abaixo,
as integrais
Z b
f (z)
dz
z
z0
a
para o grupo de caminhos {C1 , C2 , C3 } (linhas contnuas) tm mesmo valor, e
idem para o outro grupo {D1 , D2 , D3 } (linhas tracejadas), embora sejam diferentes entre os dois grupos.
44

Im(z)

D2

z=b

Polo
z=z0

D1
Re(z)

C2

C3
D3

C1
z=a
Fig. 18 Os caminhos C1 , C2 e C3 resultam no mesmo valor da integral e idem
para D1 , D2 e D3 , mas existem valores distintos entre os grupos de caminhos
C 0 s e D0 s, devido presena do plo em z0 .
Para calcular a diferena, devemos calcular a integral em volta do plo z = z0 ,
I
f (z)
dz,
I=
z z0
z0

onde a integral feita em torno de um domnio que contm o plo z = z0 . J


que o integrando f (z) /(z z0 ) analtico exceto em z = z0 , podemos usar o
mesmo argumento usado para a Eq.(70), e escolhemos como a curva fechada a
circunferncia de raio R,
I
f (z)
I=
dz.
z z0
|zz0 |=R

como o valor da integral no deve depender do raio, podemos escolher R infinitesimalmente pequeno,
I
f (z)
I = lim
dz.
R0
z z0
|zz0 |=R

Este limite pode ser calculado da seguinte forma:


I
f (z) f (z0 ) + f (z0 )
dz
I = lim
R0
z z0
|zz0 |=R

= lim

R0
|zz0 |=R

= lim

R0
|zz0 |=R

f (z) f (z0 )
dz + f (z0 ) lim
R0
z z0

|zz0 |=R

f (z) f (z0 )
dz + 2i f (z0 ) ,
z z0
45

1
dz
z z0

onde utilizamos o resultado da Eq.(71). O primeiro termo no limite de R 0


se anula. Isto porque, se R 0, ento f (z) f (z0 ) 0, j que f (z)
analtica. Naturalmente s este fato no garante que a integral se anula, pois o
denominador tambm tende a zero. Mas a circunferncia da integral tambm
tende a zero, portanto, no total, a integral deve tender a zero. Tendo esta idia,
podemos prosseguir com o seguinte argumento.

I
I

f (z) f (z0 )
f (z) f (z0 )

dz lim
dz
lim

R0
R0
z z0
z z0

|zz0 |=R
|zz0 |=R

I
1

lim max |f (z) f (z0 )|


dz

R0
z z0
|zz0 |=R

1
Rd
R
0
= 2 lim max |f (z) f (z0 )| 0.
= lim max |f (z) f (z0 )|
R0

R0

Finalmente, temos a frmula integral de Cauchy para uma funo analtica em


,
I
f (z)
dz.
2i f (z0 ) =
z z0
3 z0

Como z0 arbitrrio, podemos substituir z0 por z e, ao mesmo tempo, z por


z 0 , obtendo a forma conhecida como a frmula integral de Cauchy
I
f (z 0 ) 0
1
(76)
f (z) =
dz .
2i
z0 z
3 z

A equao acima vale para qualquer funo f (z) desde que seja analtica no
domnio . Inversamente, se uma funo f (z) satisfaz a equao (76) para
qualquer z dentro de um domnio , podemos concluir que f (z) analtica em
.
A frmula acima pode ser usada para expressar a derivada de uma funo
na forma integral. Se tomarmos a derivada em relao a z dos dois lados da
Eq.(76) acima, obtemos
I
df (z)
1
f (z 0 )
dz 0 .
=
dz
2i
(z 0 z)2
3 z

Analogamente, a n-sima derivada fica


I
dn f (z)
n!
=
dz n
2i

3 z

46

f (z 0 )
(z 0 z)

n+1 dz

(77)

Exerccio 55: Efetuando integral de linha no plano complexo explicitamente, verifique


que
I
1
f (z 0 ) 0
f (z) =
dz .
2i
z0 z
|z 0 z|=R

para
f (z) = z 2 ,
f (z) = exp (z) .
Dica: Use a mudana de varivel, z 0 = z + R ei .

1.20

Srie de Taylor

A frmula integral de Cauchy pode ser usada para obter a expanso em srie de
potncias de z de uma funo analtica f (z) em torno de um ponto arbitrrio
z = a. Para isso, deve-se observar que
z0

1
1
= 0
z
z a (z a)
1
= 0
(z a) (1 zza
0 a )
=

n
X
(z a)

n=0

(z 0 a)n+1

(78)

para |z a| suficientemente pequeno.


Exerccio 56: Verifique a expanso, Eq.(78).
Substituindo a Eq.(78) na Eq.(76),
1
f (z) =
2i

3 z

n
X
(z a)

n+1
0
n=0 (z a)

f (z 0 ) dz 0 .

Supondo que a convergncia homognea, trocando a soma e a integral, temos


I

1 X
n
f (z) =
(z a)
2i n=0

3 z

f (z 0 )
(z 0 a)

n+1 dz

Mas usando a Eq.(77), temos


f (z) =

X
1 dn f (a)
(z a)n ,
z
n!
dz
n=0

47

que a srie de Taylor da funo f (z) em torno do ponto z = a. O raio de


convergncia pode ser calculado pelo critrio de Cauchy para uma srie,

an

R = lim
n an+1

dn f (a) /dz n
.
= lim (n + 1) n+1
n
d
f (a) /dz n+1

Dentro do raio de convergncia, a funo f (z) analtica.

1.21

Continuao Analtica

Um dos conceitos importantes para funes de um varivel complexa a continuao analtica. Usando a continuao analtica, podemos extender uma funo
definida num domnio limitado para outro domnio. Para isto, comeamos com
o seguinte teorema.
Teorema: Em um domnio D conexo, consideremos uma funo analtica f (z). Seja
z0 D. As seguintes condies so equivalentes entre si:
(a) Para um nmero inteiro n 0 arbitrrio,
dn f (z0 )
= 0.
dz n
(b) f (z) identicamente nula em uma vizinhana de z0 .
(c) f (z) identicamente nula no domnio inteiro D.
Isto , a funo analtica que nula em um domnio finito identicamente
nula sempre. Este fato pode ser usado para o princpio de continuao analtica.

Princpio de Continuao Analtica: Seja D um domnio conexo. Se duas funes analticas f (z) e g (z) coincidem em uma vizinhana de um ponto z0 D, ento f e g so idnticas
em D.
Por exemplo, vamos considerar as seguintes sries.
f (z) =

zn,

n=0

g(z) = i

n=0

in (z 1 i)n .

(79)
(80)

A srie f (z) converge quando


kzk < 1,

ou seja, dentro do disco de raio 1 centrado na origem (o disco I da figura abaixo)


e a srie g (z) converge quando,
kz 1 ik < 1,
48

Im(z)
z=1+i

II
I
Re(z)
z=1+0 i

z=0

Figure 2: Fig. 19 A srie f (z) converge no disco I e a srie g (z) converge no


disco II.

ou seja dentro do disco de raio 1 centrado no ponto z = 1 + i (o disco II da


figura abaixo). Mas quando a srie converge,
f = 1 + z + z2 +
1
,
=
1z
e, analogamente,
1
1 i (z 1 i)
1
=
.
1z

g=i

Assim,
f g
na rea onde ambas convergem, ou seja na rea de superposio dos dois discos
acima. Desta forma, g a continuao analtica da srie f (z) do disco I para o
disco II, e vice versa. Ao mesmo tempo, a funo
h (z) =

1
1z

(81)

a continuao analtica para o todo espao das duas sries, f (z) e g (z).
Neste exemplo, as duas sries podem ser somadas para se obter uma expresso analtica, Eq.(81), mas, no caso geral, a soma da srie no precisa necessariamente estar expressa em termos de uma funo conhecida. Mesmo assim,
49

o procedimento de continuao analtica sempre possvel e, a partir de uma


srie que converge num pequeno domnio, podemos construir uma funo que
tem domnio estendido a todo espao, exceto pontos singulares, tais como plos
e cortes, emendando os discos de domnio de convergncia um a um.
No exemplo acima, as sries, f (z) e g(z) so as expanses de Taylor da funo
h(z) nos pontos z = 0 e z = 1 + i, respectivamente. Os raios de convergncia
so ambos iguais a 1. Isto devido existncia do plo, z = 1, da funo h (z) .
Em geral, o raio da convergncia de uma srie de Taylor determinado pela
presena do ponto no analtico da funo mais prximo do ponto da expanso.
Por exemplo, se expandimos a funo h (z) em torno do ponto z = 1, a srie
tem o raio de convergncia R = 2.
Exerccio 57: Obtenha a expresso da srie de Taylor da funo Eq.(81) em torno do
ponto z = z0 e mostre que o raio de convergncia dado pela distncia
entre os pontos, z = z0 e z = 1.

1.22

Srie de Laurent

Quando existe um ou mais plos, o raio do disco onde a srie de Taylor converge
no pode ser maior que a distncia ao plo mais prximo. Ou seja, o domnio de
convergnicia sempre fica barrado pela existncia de um plo. Desta forma,
o domnio de convergncia de uma srie de Taylor no pode contornar um plo.
Por outro lado, existe uma forma de srie que converge dentro de um anel
excluindo o plo da funo.

Im(z)

z=a
R=|z0-a|

z=z0
R2
Re(z)
R1
Fig.20 Domnio para a srie de Laurent para uma funo que tem um plo em
z = z0 . A srie de Taylor em torno do ponto z = a converge dentro do disco
com o raio |a z0 |.

Suponha que a funo f (z) tenha um ponto singular em z = z0 . A srie de


Taylor desta funo em torno do ponto z = a s converge dentro do disco com o
50

raio R = |a z0 |. Consideremos um anel em torno de z = z0 com o raio externo


R1 e o raio interno R2 e suponhamos que a funo f (z) seja analtica dentro
deste anel.
Usando a frmula integral de Cauchy, podemos escrever
I
1
f (z 0 ) 0
f (z) =
dz ,
2i z 0 z

onde representa o anel e a integral deve ser feita ao longo dos contornos do
anel. Ento, a expresso acima fica
I
I
1
1
f (z 0 ) 0
f (z 0 ) 0

(82)
f (z) =
dz
dz .
2i
z0 z
2i
z0 z
|zz0 |=R1

|zz0 |=R2

Agora, como vimos,


1
1
= 0
,
z0 z
z z0 (z z0 )
e, para |z 0 z0 | > |z z0 | , vale a expanso
1
1
1
= 0
0
z 0 z0 (z z0 )
z z0 1 zzz
0 z
0
n

X
z z0
1
.
= 0
z z0 n=0 z 0 z0

(83)
(84)

A condio |z 0 z0 | > |z z0 | satisfeita s para o primeiro termo do lado


direito da Eq.(82), mas no para o segundo termo. Para o segundo termo,
|z z0 | > |z 0 z0 |, e temos que trocar a varivel da expanso em srie,
z0

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

1 X z 0 z0
=
.
z z0 n=0 z z0

(85)

Agora, vamos substituir as Eqs.(84,85) nos lugares respectivos na Eq.(82). Temos


n
n
I
I


X
1
z z0
1
1
1 X z 0 z0
0
0
f (z ) dz +
f (z 0 ) dz 0
f (z) =
2i
z 0 z0 n=0 z 0 z0
2i
z z0 n=0 z z0
|zz0 |=R1

n=

|zz0 |=R2

cn (z z0 )n ,

onde
cn =

1
2i

(86)
I

|zz0 |=R1

1
z 0 z0

51

n+1

f (z 0 ) dz 0 ,

(87)

para n 0 e

cn =

1
2i

(z 0 z0 )

n1

f (z 0 ) dz 0 ,

(88)

|zz0 |=R2

para n < 0.
Note que, desta vez, no vale a frmula, Eq.(77), pois a funo f (z) no
analtica em z = z0 . A srie Eq.(86) chamada de srie de Laurent. J que o
contorno da integrao pode ser deformado arbitrariamente dentro do domnio
onde f (z) analtica, as expresses (87,88) podem ser unificada simplesmente:
I
1
n1
cn =
(z 0 z0 )
f (z 0 ) dz 0 , < n < ,
2i
C

onde C um contorno qualquer a volta do ponto z = z0 dentro do anel onde


f (z) analtica.
Dependendo da funo, a srie de Laurent no necessariamente possuir
todos os termos. Vamos considerar uma srie de Laurent para uma funo
f (z) em torno de um ponto z = z0 , inclusive sua vizinhana infinitesimalmente
prxima. Se esta srie tem os termos de potncia negativa em relao a (z z0 ) ,
o ponto z = z0 chamado plo. Para um plo de uma funo, quando existe um
nmero N > 0, tal que para n < N, todos os coeficientes se anulam, cn = 0,
ento, o menor nmero N chamado a ordem do plo da funo f (z). Uma
funo que tem um plo de ordem N em z = z0 , ento, tem a forma,
f (z) =

nN

cn (z z0 ) .

(89)

Naturalmente, quando a ordem do plo da funo f (z) for menor que zero, a
srie de Laurent coincide com a de Taylor e a funo analtica em z = z0 . Note
que, para determinar a ordem de plo da forma acima descrita, importante
que a validade da srie de Laurent se extenda at a vizinhana do plo.
Uma mesma funo pode ser expandida em srie de Taylor e em srie de
Laurent. Por exemplo, vamos considerar novamente a funo
f (z) =

1
.
1z

J vimos que podemos expandir em srie de Taylor em torno de z = 0,


f (z) = 1 + z + z 2 + ,
que converge no disco de
|z| < 1.

52

(90)

Agora, podemos escrever tambm


1
1
z 1 1/z

1
1
1
=
1 + + 2 +
z
z z

X
1
=
,
zn
n=1

f (z) =

que converge em

|z| > 1,

(91)

(92)

que a expanso de Laurent da funo Eq.(90). s vezes a forma Eq.(91)


chamada de expanso de Taylor em torno de z = . Como a validade da srie
Eq.(91) no alcana a vizinhana do ponto z = 0, esta srie no d informa0
sobre a natureza do ponto z = 0. Na verdade, z = 0 um ponto regular da
funo, como sabemos da Eq.(90).
Quando uma srie de Laurent em torno de um ponto z = z0 , incluindo sua
vizinhana arbitrria, no determina um valor finito N para que
cn = 0, n < N,
a singularidade z = z0 chamada de singularidade essencial. Um exemplo de
singularidade essencial a funo
1
ez
em z = 0. Temos, de fato, que a expanso
1

ez = 1 +

11
1 1
1 1
1 1
+
+ +
+
+
1! z
2! z 2 3! z 3
n! z n

converge absolutamente em todos os pontos, exceto em z = 0,


z 6= 0,
e, neste caso, o ponto z = 0 a singularidade essencial.
Exerccio 58: Obtenha a expresso de srie de Laurent (ou Taylor) das funes abaixo
em torno do ponto indicado e indique o domnio de convergncia.
sin z z cos z
, z = 0.
z3
f (z) = cot z, z = 0.
1
f (z) = 2 tanh1 z, z = 0
z
1
f (z) =
, z=1
1 z2
1
f (z) = 2
. z = 1
z 3z 4

f (z) =

53

A srie de Laurent (ou Taylor) existe somente para a singularidade isolada.


No existe expanso em srie de Laurent ou Taylor em torno de um ponto de
ramifio. Por exemplo, no existe a expanso em srie de Laurent da funo
f (z) = z 1/2 ,
em torno de z = 0. Mas se escolhermos a folha de Riemann apropriadamente,
podemos ter a srie de Laurent ou Taylor em cima da linha de corte. Por
exemplo,
1
1 13
3
z 1/2 = 1 + (z 1)
(z 1) +
2
2! 2 2
Exerccio 59: Obtenha a expresso da srie de Laurent das funes abaixo em torno de
z = 0 e determine o domnio de convergncia:
1/2

,
f (z) = z 2 1

1/2
g (z) = 1 z 2
.

Exerccio 60: No problema acima, podemos escrever (ou no)

1/2
f (z) = 1 (1 z 2 )
1/2

= (1) (1 z 2 )1/2
= ig (z) ?

Se podemos, porque os resultados do problema anterior mudam para f e


g?

1.23

Teorema do Resduo

Seja f (z) uma funo analtica num domnio , exceto em um plo em z = z0


(singularidade isolada). Ento, pelo teorema de Cauchy, a integral
I
f (z) dz
C

nula quando a curva fechada no contm o plo z0 . Quando a curva contm


o plo, podemos escrever
I
I
f (z) dz =
f (z) dz
(93)
|zz0 |=R

onde R um nmero positivo arbitrariamente pequeno. Mas, na vizinhana do


plo, podemos expandir a funo em srie de Laurent,
f (z) =

n=N

cn (z z0 ) ,

54

onde N a ordem do plo. Assim,


I
I

X
f (z) dz =
cn
|zz0 |=R

|zz0 |=R

n=N

(z z0 ) dz.

(94)

Agora, introduzindo a mudana de varivel,


z z0 = R ei ,

dz = iR ei d,

|zz0 |=R

(z z0 )n dz = iRn+1

d ei(n+1)

= 2i n+1,0 ,

(95)

onde i,j a delta de Kronecker, satisfazendo


i,j = 0, i 6= j,
= 1, i = j.
Substituindo o resultado Eq.(95) na Eq.(94), temos
I

X
f (z) dz =
cn (2i n+1,0 )
|zz0 |=R

n=N

= 2i c1 .

Chamaremos o coeficiente c1 de resduo no plo da funo f (z) e escrevemos,


I
f (z) dz = 2i Res f (z0 ).
(96)
|zz0 |=R

Finalmente, temos o teorema do residuo,


I
f (z) dz = 2i Res f (z0 ).

(97)

Quando h vrios,digamos n, plos dentro da curva C, podemos generalizar


a Eq.(96) por
I
n
X
f (z) dz = 2i
Res f (zi ),
(98)
C

i=1

onde a soma sobre todos os plos zi , i = 1, ..., n, dentro da curva C.

1.23.1

Clculo de resduo

Como definimos, o resduo do plo de uma funo f (z) o coeficiente c1 da


expanso de Laurent da funo em torno do plo. Na prtica, podemos calcular
os plos e resduos de uma funo do seguinte modo.
55

1. Obter os plos como os zeros do inverso da funo f (z) ,


1
= 0.
f (z)
2. Quando o plo z = z0 tem ordem 1, ento podemos escrever
f (z) =

1
g (z) ,
z z0

onde g (z) uma funo analtica na vizinhana de z0 , inclusive g (z0 ) 6= 0.


Fazendo a expanso de Taylor da funo g (z) em torno de z = z0 ,

dg
(z z0 ) + ,
g (z) = g (z0 ) +
dz z=z0

identificamos,ento, que o resduo da funo f (z) no plo z = z0 g (z0 ) .


Isto equivalente a dizer que
Res f (z0 ) = lim (z z0 ) f (z) .
zz0

(99)

O resduo tambm pode ser calculado por


Res f (z0 ) =

3. Se
f (z) =

d
dz

1

1
f

(100)

z=z0

Q (z)
,
P (z)

onde Q (z) e P (z) so analticas em torno de z = z0 , e z = z0 o zero de


ordem um da funo P (z), ento,
Res f (z0 ) =

Q (z0 )

dP
dz z=z0

(101)

4. Quando f (z) possui um plo z = z0 de ordem k, podemos escrever


f (z) =

1
k

(z z0 )

g (z) ,

onde g (z) uma funo analtica na vizinhana de z0 . Fazendo a expanso


de Taylor da funo g (z) em torno de z = z0 at a ordem k 1,

dk1 g
1
k1
g (z) = g (z0 ) +
(z z0 )
+ ,
(k 1)! dz k1 z=z0
identificamos

Res f (z0 ) =

dk1 g
1
,
(k 1)! dz k1 z=z0

56

ou seja,
Res f (z0 ) =

i
dk1 h
1
k

)
f
(z)
.
(z

z
0

(k 1)! dz k1
z=z0

(102)

Por exemplo vamos obter os resduos de todos os plos da funo,


f (z) =

eiz
.
z(z 2 + 1)2

A funo exponencial, eiz , no possui plos a uma distncia finita da origem.


Os plos de f (z) vm ento do denominador. Temos os plos
z = 0, i,
sendo que o plo z = 0 de ordem 1, e os plos i tm ordem 2. O resduo
para z = 0 fica
Res f (0) = lim (zf (z))
z0

= 1.
Vamos calcular o resduo para z = i. Poderamos aplicar a frmula Eq.(102) mas,
neste caso, mais fcil como se segue. Primeiramente, fatora-se o denominador,
obtendo
eiz
f (z) =
.
z(z + i)2 (z i)2
Assim,
g (z) = (z i)2 f (z)
=

eiz
.
z(z + i)2

Queremos expandir g (z) em srie de Taylor em torno de i. Para isto, conveniente introduzir a mudana de varivel
t = z i,
z =t+i
e substituir em g (z) ,
ei(i+t)
(i + t) (2i + t)2
Expandimos cada um dos fatores em t,

1
ei(i+t) = e1 1 + it t2 + ,
2
1
1
= (1 + it + ) ,
i+t
i
1
1
2 = 4 (1 + it + ) ,
(2i + t)
g(z) =

57

e, portanto,
g(z) =
=

1
4ie

1
1 + it t2 + (1 + it + ) (1 + it + )
2

i
(1 + 3it + )
4e

Finalmente temos

3
.
4e
O resduo para z = i pode ser obtido analogamente.
Res f (i) =

Exerccio 61: Confira as Eqs.(100,101 e 102)


Exerccio 62: Identifique todos os plos das funes abaixo e obtenha os resduos correspondentes.
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =
f (z) =

1.24

1
,
z1
1

,
(z 2)2
sin z
,
z2
1
,
2
z 3z + 2
1
,
2
a(z ( + ) z + )
ex
,
z
1
,
tan z
eiz
,
4
z +8
1
eaz ,
z 3 (z + b)
1
, 0 < < 1.
1 + cos z

Aplicao do Teorema do Resduo

O teorema de resduo tem uma aplicao bastante til. Vamos considerar, como
um exemplo, a integral
Z
1
I=
dx.
(103)
1
+
x2

58

Esta integral entendida como o limite em que R da integral


IR =

1
dx.
1 + x2

(104)

A aplicao do mtodo dos resduos comea pela identificao da integral acima


como parte da integral complexa
I
1
IC =
dz,
2
C 1+z
onde a curva C como ilustrado na figura abaixo.

Im(z)

C
z=i
x=R

x = -R

x=Re(z)

z=-i

Fig.22 Contorno para calcular a integral IC =


Podemos decompor a integral complexa em

1
dz.
C 1+z 2

IC = IR + Isemicrculo (R) ,
onde
Isemicrculo (R) = i

d R ei

1
.
1 + R2 e2i

(105)

(106)

Exerccio 63: Prove que


lim Isemicrculo (R) = 0.

(107)

Mas, pelo teorema do resduo, temos


IC = 2i Res f (z0 ),

59

(108)

onde

1
,
1 + z2
e z0 o plo dentro da curva C. Neste caso, j que
f=

1
1
=
,
1 + z2
(z + i) (z i)
o plo dentro da curva C
z0 = i
e

1
.
2i
Assim, combinando as Eqs.(105) e (108), temos
Res f (i) =

2i
= IR + Isemicrculo (R) ,
2i
independentemente do valor de R. Tomando o limite R , o segundo termo,
Isemicrculo (R), se anula devido Eq.(107) e IR tende ao valor da integral
desejada devido s Eq.(103) e Eq.(104). Finalmente, temos
Z
1
dx = .
(109)
1
+
x2

O resultado acima pode ser verificado pelo mtodo usual de mudana de


varivel.
Exerccio 64: Usando a mudana de varivel, obtenha a integral indefinida
Z
1
dx
1 + x2
e, usando o resultado, calcule o valor de
Z
1
dx.
2
1 + x
Exerccio 65: Usando a curva fechada indicada abaixo, calcule a integral acima e confirme que o resultado o mesmo valor j obtido ( tome cuidado com os
sinais e a direo da integral).

60

Im(z)

z=i
x = -R

x=R
x=Re(z)

z=-i

C
Fig.22 Contorno no semiplano inferior.
Exerccio 66: Calcule as seguintes integrais:
Z

1
dx,
+x+1
1
dx,
4
x +1
2x + 1
dx.
x4 + 1
x2

Os exemplos acima sugerem um mtodo geral para usar o teorema do resduo


para calcular uma integral definida. Vamos considerar uma integral
I[a,b] =

f (x) dx,

(110)

onde a e b so nmeros constantes. Suponhamos que sabemos todos os plos e


resduos da funo f (z). O primeiro passo introduzir um contorno fechado C
no plano complexo de z, de tal forma que o trecho em cima do eixo real contm
o segmento [a, b], e consideremos a integral,
I
IC =
f (z) dz.
(111)
C

Sabendo todos os plos e os respectivos resduos da funo dentro do contorno


C, pelo teorema de resduo, temos
X
IC = 2i
Re s f (zi ) .
(112)
i

61

Pela contruo, a integral complexa IC pode ser decomposta em duas partes,


I
f (z) dz
IC =
C

= I[a,b] + IC 0 ,

onde
IC 0 =

f (z) dz

(113)
(114)

C0

a integral ao longo da curva C, excluindo o trecho do eixo real [a, b]. A deia
bsica escolher o contorno C 0 tal que a integral IC 0 se torne nula ou se reduza
a uma integral j conhecida. A curva C 0 pode ser composta de mais de um
trecho.
Vamos considerar alguns exemplos abaixo.
1.24.1

O intervalo [, ]

Para calcular a integral do tipo

f (x)dx

pode ser utilizado o mtodo que j foi mostrado no caso da Eq.(103). Este
mtodo s vale quando a integral IC 0 se torna zero, ou algum valor finito que
pode ser obtido por outro mtodo. Vamos considerar o exemplo
Z
eikx
dx,
2
2
x + a
onde a e k so constantes reais positivas. Neste caso, podemos escolher o contorno da Fig. 21, ou seja, o semi-crculo no plano superior. Os plos de f (z)
ficam em z = ia. Temos
I
Z R
Z
eikz
eikx
eikz
dz
=
dx
+
dz.
2
2
2
2
2
2
C z +a
C0 z + a
R x + a
De um lado, pelo teorema de resduo,
I
eikz
dz = 2iRe s f (ia)
2
2
C z +a
eak
= 2i
2ia
ak
= e
,
a
e de outro lado,
Z
Z 2
eikz
eikR(cos +i sin )
dz
=
iR
d
2
2
R2 ei2 + a2
C0 z + a
0
Z 2
eikR cos kR sin
= iR
d 2 i2
e
.
R e + a2
0
62

Podemos verificar que esta integral tende a zero para R , j que k sin 0.
Assim, temos
Z
eikx

dx = eak .
2 + a2
x
a

Exerccio 66: A integral acima pode ser calulada usando a curva fechada indicada na
fig.22?
Exerccio 67: Calcule a integral

eikx
dx
x2 + a2

Como conseqncia do clculo acima, podemos afirmar as seguintes propriedades gerais para uma integral do tipo
Z
f (x) eikx dx.

Se f (z) no possui nenhum plo em cima do eixo real, lim|z| f (z) 0 e


k > 0, ento
Z
X

f (x) eikx dx = 2i
Res f (zi )eikzi ,

Im(zi )>0

onde o somatrio sobre todos os plos no semi-plano superior de z. Como


a conseqncia imediata, se f (z) no possui nenhum plo no plano superior,
inclusive no eixo real, ento o valor da integral nulo,
Z
f (x) eikx dx = 0.
(115)

Analogamente, se lim|z| f (z) 0, ento


Z

f (x) eikx dx = 2i

Im(zi )<0

Res f (zi )eikzi

onde o somatrio sobre todos os plos no semi-plano inferior de z. Quando


f (z) no possui nenhum plo no plano inferior, ento
Z
f (x) eikx dx = 0.
(116)

Estas propriedades Eqs.(115,116) tm papel muito importante na discusso de


propagao de ondas em relao causalidade.

63

No lugar do fator eikx , podemos tambm considerar as integrais do tipo


Z
f (x) cos kx dx,

Z
f (x) cos kx dx,
Z0
f (x) sin kx dx,

Z
f (x) sin kx dx.
0

Por exemplo,
Z
Z

1
f (x) cos xdx =
f (x) eikx + eikx dx
2

Z
Z
1
=
f (x) eikx dx +
f (x) eikx dx
2

Z
Z
1
ikx
=
f (x) e dx +
f (x) eikx dx
2

Z
f (x) + f (x) ikx
=
e dx.
2

Exerccio 68: Calcule a integral

1.25

cos x
dx.
x2 + 1

Quando h plo em cima do eixo real

Vamos considerar a integral

eix
dx.
x

Essa integral no bem definida, pois, no ponto x = 0, a funo 1/x no


definida, e, dependendo de como ocorre a aproximao deste ponto, o valor da
integral varia. Para evitar tais problemas de indefinio, usualmente introduzimos o conceito de valor principal
Z Z ix
Z ix
e
e
P
+
dx = lim
dx,
0
x
x

ou seja, os passos da integral se aproximam pelos dois lados do ponto x = 0


igualmente. Uma vez definido como se aproximar do plo, podemos escolher o
caminho C como ilustrado na figura abaixo.

64

Im(z)

-R

Re(z)

Fig. 23 A curva que contorna o plo em z = 0.


Temos

eiz
dz =
z

(117)

=R

R
onde = indica
a integral sobre o semi-crculo de raio , oR que vale analogaR
mente para =R . J
R vimos que a contribuio da integral =R se anula para
R . A integral = pode ser calculada por
Z

eiz
dz = i
z

ei

eie
d i.
ei

Como a integral do lado esquerdo da Eq.(117) nula pelo Teorema de Cauchy


(no h nenhum plo dentro do contorno), temos
Z
Z R ! ix

e
0 = lim
+
dx i,
R
x
R

e, portanto,
P

eix
dx = i.
x

Exerccio 69: possvel tomar o contorno abaixo para calcular a integral acima?

65

Im(z)

-R

Re(z)

Fig. 24 Contorno que inclui o plo z = 0 em seu interior.


Exerccio 70: Obtenha o valor da integral,
Z

sin kx
dx,
x

onde k > 0.

1.26

Integral do tipo

Vamos considerar a integral


I=

R 2
0

F (cos , sin )d.

F (cos , sin )d.

Seja
z = ei ,
ento

1
1
cos =
z+
,
2
z

1
1
sin =
z
,
2i
z
e
dz = idei = iz d.
Assim, podemos considerar a integral I
um crculo de raio 1,

I
1
1
I=
F
z+
i |z|=1
2

como a integral complexa ao longo de


1
z

66

1
2i

1
dz
z
.
z
z

Ento, se a funo
1
f (z) = F
z

1
1
1
1
z+
,
z
2
z
2i
z

possui plos dentro do crculo |z| = 1, temos


I = 2

n
X

Res f (zi ).

i=1

Vamos ver um exemplo. Queremos calcular a integral


Z 2
1
I=
d,
1 cos
0

(118)

onde || < 1. Como vimos, esta integral equivalente a


I
1
dz
1
I=
i |z|=1 1 (z + 1/z) /2 z
I
1
= 2i
dz
2 2z +
z
|z|=1
A funo

tem 2 plos em

1
z 2 2z +

o
p
1n
1 1 2 .

Destes plos, o que est dentro do crculo |z| 1

1 1 2
.

O resduo fica

Finalmente, temos

1
.

2 1 2
2
.
I=
1 2

1.27

Contorno Retangular

A integral acima pode ser feita de outra forma. Vamos considerar diretamente
a integral na forma
Z
1
dz
C 1 cos z

e escolhamos a curva fechada como o retngulo indicado na figura abaixo.


67

Im(z)
0+iR

2 +iR

+ icosh-1(1/)

Re(z)

Fig.25 Contorno para calcular a integral.


O plo do integrando determinado por
cos z =

1
,

mas, como || < 1, esta equao s tem soluo para z complexo. Por simplicidade, vamos considerar o caso em que > 0. Escrevendo
z = x + iy,
temos
cos (z + iy) = cos x cosh y i sin x sinh y =

1
.

Portanto, temos
1
,

sin x sinh y = 0.

cos x cosh y =

Assim,
sin x = 0,
cos x = 1,
1
cosh y = .

(Se < 0, podemos escolher cos x = 1). No intervalo de 0 Re(z) 2,


temos x = e y = cosh1 (1/) , portanto o plo

1
1
.
z0 = + i cosh

68

O resduo do integrando pode ser calculado por

1
1

Res
= d

1 cos z z0
(1

cos
z)
dz

z0

=
=
=
=

1
sin z0
1

1 cos2 z0
1
p
1 1/2
1

.
i 1 2

Agora, vamos considerar a parte da integral correspondente ao lado vertical


direito do retngulo. Assim, temos
z = 2 + iy, 0 y R,
e temos
i

1
dy = i
1 cos (2 + iy)
=i

1
dy
1 cos (iy)

1
dy.
1 cosh (y)

Note que a integral ao longo do lado esquerdo do retngulo tambm tem a


mesma forma, s que a direo da integral oposta em y,
Z 0
Z R
1
1
i
dy = i
dy,
R 1 cos (iy)
0 1 cosh (y)
e, portanto, essas integrais se cancelam exatamente. A integral do topo do
retngulo fica
Z 0
Z 0
1
1
dx =
dx.
2 1 cos (x + iR)
2 1 {cos (x) cosh R i sin x sinh R}
Esta integral se anula para R , devido aos fatores cosh R e sinh R que
tendem ao infinito. Desta forma, temos
Z 2
Z
1
1
dz =
dx
1

cos
z
1

cos x
0
C

!
1
= 2i Res
1 cos z z0
2
=
.
1 2
69

Dependendo do integrando, devemos escolher o retngulo adequadamente.


Por exemplo, vamos calcular
Z
1
I=
dx,
cosh ax
sendo a > 0. Considerando
cosh a (x + iy) = cosh ax cos ay + i sinh ax sin ay,
o plo pode ser determinado por
cos ay = 0,
sinh ax = 0,
ou seja,
x=0
e

3
2m + 1
1
, ...
ay = , , ..,
2
2
2
O resduo , por exemplo,

1
1

= d
Res

cosh az i/2a
dz cosh az

i/2a

1
=
a sinh (i/2)
1
= .
ia

Alm disto, se escolhemos


y=

,
a

temos
cosh a (x + iy) cosh ax.

Com estas consideraes, vamos escolher o contorno ilustrado na figura abaixo.

Im(z)

R-i/a

R+i/a
i/2a
R

-R

70

Re(z)

Fig. 26
Vemos que a integral ao longo do lado superior exatamente igual ao longo
do lado inferior (base do retngulo),

Z R
Z R
1
1
dz
=

dx

cosh
az
cosh
ax
R
R
y= a
Z R
1
dx,
=
cosh
ax
R
e as integrais sobre os lados verticais se anulam no limite R , devido ao
fator 1/ cosh (R + iy). Assim,
I

Finalmente, temos

1
dz = 2 lim
R
cosh az
1
= 2i .
ia
Z

1.28

1
dx
cosh ax

1
dx = .
cosh ax
a

Existncia de ponto de ramificao e corte

Vamos considerar a integral do tipo


Z
I=

R (x)
dx,
x

onde R (x) uma funo racional que no tem plo no eixo real positivo e
0 < < 1 para garantir a existncia (a convergncia) no limite inferior, x 0.
Para garantir a convergncia no limite superior x , suficiente e necessrio
que
R (x)
1
< ,
x
x
assintoticamente para x 1. Ou seja, devemos ter
lim R (x) = 0.

Tendo estas condies, vamos considerar o contorno indicado na figura abaixo.

71

Im(z)

-R

Re(z)

Fig. 27 Contorno ao longo de um corte no eixo real.


Nesta figura, posteriormente, tomaremos os limites em que o raio externo R
tende ao infinito e o raio interno a zero. Assim, no trecho em cima do eixo
real positivo, o valor da variavel z infinitesimalmente prximo a um valor real,
mas
z+ = x + i,
j no trecho abaixo,
z = x i.
Vamos escolher uma folha dos planos de Riemann onde o domnio cercado por
este contorno fica inteiramente nesta folha. Ou seja, escolhemos o ramo em que
0 < arg z < 2.
Neste caso,
lim arg (x + i) = 0,

lim arg (x i) = 2,

e, portanto,
lim (x + i) = x ,

lim (x i) = x e2i .

O fator

1
x
no possui plo dentro deste domnio. Portanto, pelo teorema do resduo, a
integral

I
X
R (z)
R (z)
dz = 2i
Res
,

z
C z
72

onde a soma sobre todos os plos dentro do domnio. Por outro lado, a integral
do lado esquerdo pode ser decomposta em
I

R (z)
dz =
z

0
0

No limite em que R ,

e, no limite em que 0,

Z
R (x + i)
R (z)
dx
+
dz

(x + i)
|z|=R z
Z
R (x i)
R (z)
dz
dx +

(x i)
|z|= z

|z|=R

|z|=

R (z)
dz 0,
z

R (z)
dz = 0,
z

e ainda
Z

0
0

R (x + i)
dx
(x + i)

R (x i)
dx
(x i)

R (x)
dx,
x

e2i

R (x)
dx,
x

e, finalmente, temos

ou

1 e2i
Z

X
R (x)
dx
=
2i
Res
x

R (z)
z

X
R (z)
2i
R (x)
Res
dx =
.
x
1 e2i
z

Exerccio 71: Obtenha o valor da integral,


Z
0

1.29

dx
, 0 < < 1.
x (x + 1)

Plo no infinito e esfera de Riemann

Pelo mapeamento
1
,
(119)
z
todos os pontos |z| so mapeados na origem, z 0 = 0. Por outro lado, para
um mapeamento por uma funo f,
z z0 =

z w = f (z) ,
73

podemos considerar o mapeamento


0

z w = f (z ) = f

1
z0

Podemos discutir as propriedades analticas da nova funo f 0 (z 0 ) . Se f 0 for


analtica, dizemos que a funo original, f (z) , analtica em torno do ponto
infinito. Da mesma forma, se f 0 tem plo de ordem n, dizemos que f (z) tem
plo de ordem n no infinito.
A discusso acima sugere que, do ponto de vista da funo complexa, todos
os pontos com |z| (360o , ou seja, os pontos contidos na esfera de raio
infinito) se comportam como um ponto apenas e, portanto, em vez de um plano
complexo z, podemos imaginar um superfcie onde os pontos infinitos convergem
para um ponto. Um exemplo deste tipo de superfcie a esfera de Riemann.
Vamos considerar uma esfera no espao tridimensional, (x, y, ) (novamente,
usamos a varivel para representar a coordenada na direo do terceiro eixo,
Z), de raio 1,
S2 : x2 + y 2 + 2 = 1.
. EsDenotamos o plo norte, (0, 0, 1) , por N , e o plo sul, (0, 0, 1) , por N
colhendo um ponto P = (x, y, ) na superfcie, a extenso da reta P M cruza o
plano (X Y ) no ponto A,
A:

1
(x, y, 0) ,
1

(120)

P cruza o plano (X Y ) no ponto B, (ver a figura


e, analogamente, a reta N
abaixo)
1
(x, y, 0) .
(121)
B:
1+

(0,0,1)

P(x,y,)
A (x/(1-),y/(1-),0)

B (x/(1+),y/(1+),0)
(0,0,-1)

Exerccio 72: Verifique as Eqs.(120,121).


74

Vamos associar ento os dois nmeros complexos para estes pontos,


1
(x + iy) ,
1
1
z2 =
(x + iy) .
1
z1 =

Podemos verificar que


z1 z2 = 1.

(122)

Exerccio 73: Verifique a Eq.(122).


A discusso acima mostra que a superfcie da esfera tem correspondncia
um a um com o plano complexo, exceto nos pontos cuja distncia origem
infinita. Mas, como vimos nas propriedades analticas das funes complexas,
estes pontos podem ser idenficados por um nico ponto. Pelo mapeamento
Eq.(119), podemos identificar o plano complexo como a superfcie da esfera.
Esta superfcie chamada de superfcie de Riemann.

Problemas

Alm dos problemas abaixo listados, resolva todas as questes das pginas 118124 do livro do Butkov.
1. Seja C um contorno contnuo e C o contorno correspondente no plano
mapeado por z z (mapeamento simtrico em relaao ao eixo real).
(a) Mostre que

f (z) dz
C

(b) Se C o crculo |z| = 1, ento,


!
Z
f (z) dz

|z|=1

f (z ) dz.

f (z)

|z|=1

dz
.
z2

2. Para a, b reais e positivos, qual a trajetria da varivel z na representao


paramtrica
z () = a cos + ib sin ,
quando varia de = 0 a = 2?
3. Calcule

dz
,
C z
onde C a trajetria do problema no 2, e mostre que
Z 2
2
d
=
.
2 cos2 + b2 sin2
ab
a
0
75

4. A partir da integral

f (z)
1
dz,
2 z+
z
z
|z|=1

onde f (z) analtica dentro de um domnio que contm o disco |z| 1,


mostre que


Z
2 2 i 2
df (z)
f e cos
,
d = 2f (0) +
0
2
dz z=0


Z
2 2 i 2
df (z)
f e sin
.
d = 2f (0)
0
2
dz z=0

5. Seja f (z) uma funo analtica em torno da origem, sendo a origem o plo
de ordem 1. Consideramos uma funo
F (z; x) =

df (z)
dz

f (z) x

onde x um parmetro complexo. Mostre que a srie de Laurent da funo


F (z; x) tem a forma

1 X
F (z; x) = +
ui (x) z i ,
z i=1
onde ui (x) polinmio de ordem i de x, e calcule uis at i = 3.
6. Calcule as seguintes integrais.
Z
dx
a, b > 0,
n,
(a + bx2 )
0
Z
cos 2ax cos 2bx
dx, (a, b, reais),
x2
0
Z 2
x a2 sin x
dx, a > 0,
x2 + a2 x
0

!
Z
Z
cos n
zn
d, a > 0.
Dica :
dz
2
0 1 2a cos + a
|z|=1 (z + a) (z + 1/a)
7. Seja f (z) = u (x, y) + iv (x, y) uma funo analtica. Para cada u (x, y)
indicado abaixo, determine a funo f (z) .
u (x, y) = sin x cosh y,
u (x, y) = ey

x2

cos 2xy,
x
.
u (x, y) = 2
x + y2
76

8. A partir da diferenciabilidade de uma funo f (z), ou seja, a existnia do


limite
f (z + dz) f (z)
lim
dz0
dz
independentemente da direo de dz, mostre que as partes real e imaginria da funo f (z) = u(x, y)+iv (x, y) satisfazem a equao de Laplace,
2u 2u
+ 2 = 0,
x2
y
2
2v
v
+
= 0.
x2 y 2
Interprete as partes real e imaginria da funo
1

f (z) = C z 2
do ponto de vista do campo eltrosttico. Tambm interprete a situao
fsica do ponto de vista do fluxo de um fluido incompressvel e irrotacional.
9. Considere a funo
(x, y) = Im
com

2
log tanh z ,

z = x + iy
e x > 0. Interpretando esta funo como potencial da velocidade, determine a situao fsica do ponto de vista do fluxo de um fluido incompressvel e irrotacional.
10. Encontre o plo e determine o resduo correspondente das funes abaixo:
z+1
,
z2
ez
,
z3
sin2 z
,
z5
cot z,
z2
(1 + z 2 )

2.

11. Desenhe os cortes de ramificao para as seguintes funes e determine a


diferena entre os valores quando se atravessa o corte:
1/2
2
,
z +1
2
1/3
z +1
,

2
zi
.
log
z+i
77

12. Seja f (z) analtica dentro e sobre o crculo |z z0 | = R. Mostre que, para
um inteiro n 0,

n!
(n)

f (z0 ) n max |f (z)| .


R |zz0 |=R
Com isto, prove o seguinte teorema (Teorema de Liouville): Se f (z)
analtica, inclusive no ponto infinito, e
|f (z)| <
para qualquer z, ento f uma constante.
13. Mostre que
Z

cos
Z

r
1 2

ax dx =
,
2
4 |a|

3
(log x)2
dx
=
.
1 + x2
8

Transformao de Laplace

Como vimos no caso de transformao de Fourier, podemos expressar uma


funo em termos de diferentes representaes. A transformao de Laplace
uma outra forma de representao de uma funo, e usada freqentemente
para resolver a equao diferencial.
Definio: Seja f (x) uma funo que no diverge para x ou, pelo menos,
diverge mais lentamente que a funo exponencial decresce. Definimos a
sua transformada de Laplace, F (s), por
Z
F (s) =[f ] (s)
f (x) esx dx.
(123)
0

Note que a transformao de Laplace uma operao linear, isto , para


quaisquer duas funes f (x) e g(x) que possuam transformada de Laplace,
temos
[f +g] (s) = [f ] (s) + [g] (s)
onde e so constantes.
A integral converge se f (x) no cresce mais rpido que o fator exponencial
decresce, esx . Por exemplo, para
f (x) = 1.
Como

esx dx =

78

1
,
s

(124)

ento temos

1
.
s
Podemos tomar a derivada em relao a s dos dois lados da Eq.(124), de
modo que temos
Z
1
d
esx dx = 2 ,
(125)
ds 0
s
mas
Z
Z
sx
d
sx
e dx =
e dx
ds 0
s
0
Z
xesx dx
=
[f =1]

(s) =

= [f =x] (s)

(126)

Comparando as Eqs.(125) e (126), temos


[f =x]

(s) =

1
s2

(127)

Em geral, temos
[f =xn ]

3.1

(s) =

n!
.
sn+1

(128)

A Derivada da Transformada de Laplace

O mtodo acima pode ser utilizado para obter a frmula geral que relaciona a
derivada da transformada de Laplace funo original. Seja
Z
F (s) =
f (x) esx dx.
0

Tomando as derivadas em s em ambos os lados da equao acima, temos


Z
dF (s)
xf (x) esx dx.
=
ds
0
Desta forma, vemos que a multiplicao de x por uma funo f corresponde
derivada em relao a s no espao da transformada de Laplace F (s). Simbolicamente, podemos associar as operaes,
x f

d
F (s) .
ds

(129)

Podemos obter Eq.(128) imediatamente como conseqncia da frmula acima,


a partir da Eq.(124).

79

3.2

Transformada de Laplace da Derivada

Inversamente, vamos considerar a transformada de Laplace da derivada de uma


funo f (x). Temos
Z
df (x) sx
e dx
df (s) =
[ dx ]
dx
0

Fazendo a integrao por partes, obtm-se


Z
Z

df (x) sx
sx
f (x) esx dx
e dx = f (x) e + s
dx
0
0
0
= sF (s) f (0)

(130)

Podemos expressar simbolicamente o resultado acima como


d
f s F f (0) .
dx

(131)

Isto , a operao de derivada no espao f (x) corresponde multiplicao por


s no espao F (s). Aplicando esta regra derivada segunda, temos
d
d

f (x) s [s F (s) f (0)] f (1) (0) ,


dx dx
onde
f (1) (0) =

df
.
dx x=0

Podemos generalizar esta operao como

n1
X
dn
n

f
(x)

s
F
(s)

snr1 f (r) (0) .


n
dx
r=0

(132)

Da propriedade acima, junto com a propriedade linear da transformao


de Laplace, temos a importante aplicao da Transformao de Laplace. Por
exemplo, vamos considerar uma equao diferencial como
a

df
d2 f
+b
+ cf = 0,
dx2
dx

(133)

com a condio inicial


f (0) = 1,
f

(1)

(0) = 0.

Vamos tomar a transformao de Laplace dos dois lados da Eq.(133). Usando


as regras que j vimos, tem-se

a s2 F (s) f (1) (0) sf (0) + b (sF (s) f (0)) + cF (s) = 0,


80

ou

as2 + bs + c F (s) = a f (1) (0) + sf (0) + bf (0) .

Como a funo f (x) a funo incgnita, sua transformada de Laplace F (s)


tambm incgnita. Mas, no espao da transformada de Laplace, a equao
para a incgnita F (s) se torna uma equao algbrica! Podemos, ento, resolver
facilmente como

a f (1) (0) + sf (0) + bf (0)


F (s) =
.
as2 + bs + c
Se pudermos obter a transformada inversa de Laplace desta funo, obteremos,
ento a funo f (x) desejada, ou seja, a equao diferencial resolvida.
3.2.1

Transformao Inversa de Laplace

Como no caso da transformao de Fourier, a transformao de Laplace uma


representao da mesma funo no espao F (s) no lugar do espao f (x), e deve
possuir a transformao inversa. Para obt-la, vamos comear com o teorema
da Transformada de Fourier,
Z

Z
1
ix
0
ikx0
0
g (x) =
e
g (x ) e
dx dk,
2

se g (x) uma funo contnua e possui uma transformada de Fourier. Na


frmula acima, no lugar de g (x) , vamos utilizar a funo
sx
e f (x), x 0,
g (x) =
0,
x < 0.
Ento
e

sx

1
f (x) =
2

ix

ou seja
1
f (x) =
2

(s+ik)x0

f (x ) e

dx

dk,

e(s+ik)x F (s + ik) dk,

(134)

A equao acima mostra que a partir da continuao analtica da transformada de Laplace


Z
0
F (z) =
f (x0 ) ezx dx0
0

para o plano complex de s, tal que

z = s + ik,
podemos obter a funo original, f (x) , como uma integral complexa,
Z
1
f (x) =
ezx F (z) dz,
2i C
81

(135)

onde o contorno C uma reta vertical de i a +i no plano complexo


z, cruzando com o eixo real em z = s. Agora, vamos acrescentar apropriadamente algum caminho de tal forma que a integral acima fique sobre um contorno
fechado no plano complexo z, a fim de aplicarmos o teorema do resduo. Escrevendo a Eq.(135) como
Z
1
f (x) =
ezx F (z) dk
2i
Abaixo, mostramos vrios exemplos da transformao.

82

Funo f
f (x)
1

xn (n, um inteiro positivo

eax

sin x

cos x

xn g(x), for n = 1, 2, ...

x sin x

x cos x

10

g(ax)

11

eat g(x)

12

eax xn , for n = 1, 2, ...

13

xex

14

1 ex/T

15

eax sin x

16

eax cos x

17

u(x)

18

u(t a)

19
20
21
22
23
24

u(t a)g(t a)
g 0 (t)
g 00 (t)
g (n) (t)
Rt
g(t)dt
0
R
g(t)dt

Transformada de Laplace
F (s) = {f (t)}
1
s>0
s
1
s>0
s2
n!
s>0
sn+1
1
s>a
sa

s>0
s2 + 2
s
s>0
s2 + 2
n
d G(s)
(1)n
dsn
2s
s > ||
2
(s2 + 2 )
s2 2
s > ||
2
(s2+
2 )
s
1
G
Scale property
a
a
G(s a) Shift property
n!
s>a
(s a)n+1
1
s > 1
(s + 1)2
1
s > 1/T
s(1 + T s)

s>a
(s a)2 + 2
sa
s>a
(s a)2 + 2
1
s>0
sas
e
s>0
s
as
e G(s) Time-displacement theorem
sG(s) g(0)
s2 G(s) s g(0) g 0 (0)
sn G(s) sn1 g(0) sn2 g 0 (0)... g (n1) (0)
G(s)
s

G(s) 1 R
+
g(t)dt t=0
s
s

83

1
2
3
4

(t)
(t a)
(t a)g(t)

p n en t sin n 1 2 t
1 2

p
en t
1 p
sin(n 1 2 t + ),
1 2
where = cos1

84

1
eas
eas g(a) Note: g(a) NOT G(a)
n2
( < 1)
s2 + 2n s + n2

s(s2

n2
( < 1)
+ 2n s + n2 )

Transformada de Fourier e Teoria de Distribuies


(Funes Generalizadas)

Vamos considerar a representao em srie de Fourier de uma funo f (x)


no intervalo [L, L] . Se f (x) uma funo suave neste intervalo e integrvel
quadraticamente,
Z L
|f (x)|2 dx < .
(136)
Ento, podemos escrever

1 X
cm eim L x ,
2L m=

f (x) =
onde
cm =
Vamos denotar

(137)

eim L x f (x) dx.

= k,
L

e
km = m k,
Z
F (km ) = cm =

eikm x f (x) dx.

A Eq.(137) fica

1 X
f (x) =
k F (km ) eikm x .
2 m=

(138)

Considerando o limite em que L , a seqncia {km } pode ser considerada


uma varivel k contnua e, portanto, o conjunto de coeficientes cm pode ser
considerado uma funo da varivel contnua k,
cm = F (km ) F (k) .
Neste limite, a equao acima deve convergir para a integral,
Z
1
f (x) =
dk F (k) eik x ,
2
onde
F (k) =

eik

x0

f (x0 ) dx0 .

(139)

(140)

A funo F (k) dita transformada de Fourier da funo f (x) e, inversamente,


f (x) a transformada inversa de Fourier da funo F (k). Denotamos a transformada de Fourier como
Z
0
F[f ] (k) =
eik x f (x0 ) dx0 = F (k) ,

85

e sua inversa como


1
F[F
] (x) =

1
2

dk F (k) eik

= f (x) .

Exerccio: Obtenha a transformada de Fourier das seguintes funes:


2

f (x) = eax , a > 0.


1
.
f (x) = 2
x + x20
Exerccio: Mostre que
Z

f (x) eikx dx = 2

f (x) cos kx dx

quando f (x) uma funo par, e


Z
Z
f (x) eikx dx = 2i

f (x) sin kx dx

quando f (x) uma funo mpar.


Exerccio: Mostre que
Z

sin kx dx = e|kb| ,
2 + b2
x
2
0
Z
()

x1 sin kx dx =
, 0 < < 1,
sin
2
|k|
0
Z
r
sin kx

dx =
,
2 |k|
x
0
Z
|ab|
1
cos kx dx =
.
e
2 + b2
x
2
|b|
0

Vamos substituir a Eq.(140) na Eq.(139), tendo

Z
Z
1
ik x0
0
0
f (x) =
dk
e
f (x ) dx eik
2

(141)

Isto o teorema de Integral de Fourier. Se pudssemos trocar a ordem das


integrais, teramos

Z
Z
0
1
f (x) =
dk ei(xx )k f (x0 ) dx0 .
(142)
2
Na verdade, o objeto
1
2

dk ei(xx )k

86

no bem definido no sentido usual da integral, pois, mesmo definindo a integral


como o limite
Z K
h
i
0
1
1
i(xx0 )K
i(xx0 )K
dk ei(xx )k =

e
e
lim
lim
2 K K
2i (x x0 ) K
1 sin (x x0 ) K
= lim
K
(x x0 )
vemos que este limite no existe no sentido usual. No entanto, o lado direito da
Eq.(142) pode ser bem definido se escrevemos
#
Z "
Z K
1
i(xx0 )k
lim
f (x0 ) dx0 ,
dk e
(143)
K 2 K
pois, antes de tomar o limite, a integral interna,
Z K
0
1
1 sin (x x0 ) K
dk ei(xx )k =
,
2 K

(x x0 )
uma funo bem definida. Na figura abaixo, mostramos o comportamento
desta funo para K = 10 e K = 20.

sin( k x ) / x
20
k=20

10
k=10

-4

-2

Como pode ser visto, esta funo tem um pico na origem com altura K e tem
oscilao com uma envolutria cuja amplitude dada por
1
.
x
Quanto maior K, maior a freqncia da oscilao. Para K tendendo a infinito,
a funo oscila com freqncia infinita mantendo a envoltria e com o pico da
87

origem tendendo ao infinito. Assim, como funo de x, o limite K no


existe ponto a ponto. Por outro lado, se calculamos a integral ANTES de tomar
o limite K , ento, podemos provar que o limite (143) converge para f (x)
quando f (x) contnua, como j vimos no teorema de Dirichlet para a srie de
Fourier. Temos
#
Z "
Z K
0
1
lim
dk ei(xx )k f (x0 ) dx0 = f (x) ,
(144)
K 2 K
que a Eq.(141). O fsico ingls P.M. Dirac introduziu a funo atravs da
equao,
Z
f (x) =
(x x0 ) f (x0 ) dx0 ,
(145)

como se o limite feito antes da integral existisse:


"
#
Z K
0
1
lim
dk ei(xx )k (x x0 ) .
K 2 K

(146)

Mas como vimos, este limite no existe no sentido de funo ponto a ponto em
x. Ainda mais, o objeto (x x0 ) que satisfaz a Eq.(145) no existe como uma
funo normal. Isto porque esta equao deve valer para qualquer funo f (x)
arbitrria (desde que esta satisfaa a condio de suavidade e integrabilidade
quadrtica). O lado esquerdo s depende do valor da funo f (x) no ponto x,
ento conclumos que
(x x0 ) = 0.
(147)

para x 6= x0 , se (x x0 ) uma funo normal (definida ponto a ponto). Isto


contradiz a Eq.(145) se (x) for uma funo normal. Este problema causou
muita polmica em torno da funo de Dirac, mas foi matematicamente formalizado posteriormente por L. Schwartz que introduziu o conceito de distribuio.
A idia bsica no considerar a Eq.(145) como uma integral normal, mas
como um simbolismo que representa todas as operaes da Eq.(144). Neste caso,
a de Dirac definida como um funcional linear no espao de funes {f (x)} .

4.1

Funes Rapidamente Decrescentes

Antes de definir mais precisamente a distribuio, vamos introduzir o espao formado de funes bastante restritas, as funes rapidamente decrescentes (r.d.).
Com estas poderemos, ento, realizar todas as operaes de derivadas, integrais e transformadas de Fourier, sem nos preocuparmos com os problemas de
convergncia, etc.
Definio: Uma funo f (x), definida em [, +] dita funo rapidamente decrescente, quando satisfaz as seguintes propriedades:
1. f (x) infinitamente derivvel. Escrevemos este fato como
f (x) C () .
88

2. Para nmeros inteiros positivos arbitrrios N e k, sempre

N
lim |x| f (k) (x) 0.
|x|

Um exemplo de funo rapidamente descrescente


2

f (x) = ex .
Definimos tambm funes lentamente crescentes.
Definio: Uma funo f (x), definida em [, +] dita funo lentamente
crescente (l.c.), quando satisfaz as seguintes propriedades:
1.
f (x) C () .
2. Para qualquer nmero inteiro positivo k, sempre existe um nmero
inteiro positivo N tal que

lim |x|N f (k) (x) 0.


|x|

Exerccio: Prove as seguintes afirmaes.


1. Funes r.d. so funes l.c.
2. Polinminos so funes l.c.

3. A derivada de uma funo r.d. funo r.d.


4. Seja f (x) uma funo r.d. . Ento g (x) = f (x + ) , 6= 0 uma
funo r.d.
5. Sejam f1 (x) e f2 (x) funes r.d.s. Ento f1 (x) + f2 (x) e f1 (x)
f2 (x) so funes r.d.s.
6. Seja f (x) uma funo r.d. Ento existe um nmero positivo M finito
tal que
Z

|f (x)| dx < M.

Vamos considerar transformada de Fourier de uma funo r.d. Podemos


provar a seguinte afirmao.
Teorema: Se f (x) uma funo r.d., ento sua transformada de Fourier,
Z
f (x) eikx dx
F (k) =

funo r.d. em relao a sua varivel k.

89

Prova: Sabemos que, para funes r.d.s, a integral


da transformao de Fourier

converge homogeneamente, j que eikx = 1. Ento, podemos calcular a


derivada como
Z
dF
d
f (x) eikx dx
=
dk
dk
Z
ikx
=
f (x)
dx
e
k

Z
= i
xf (x) eikx dx.

Note que xf (x) uma funo r.d. e novamente a integral homogeneamente convergente. Fazendo a integrao por partes, temos
Z

dF
1 d
1
= xf (x) eikx +
(xf (x)) eikx dx
dk
k
k dx
Z
1 d
=
(xf (x)) eikx dx.
k dx
Repetindo a integrao por partes, podemos escrever
dF
N+1
= (1)
dk

1
ik

N +1 Z

dN +1
(ixf (x)) eikx dx,
dxN+1

para qualquer nmero inteiro positivo N . Como


dN +1
(xf (x))
dxN+1
uma funo r.d., ento a integral finita, ou seja, existe M < tal que
Z N +1

d
ikx

< M.
(ixf
(x))
e
dx

N
+1
dx
Ento, para qualquer nmero inteiro positivo N, temos

N +1 Z N+1
N dF

d
ikx
k

= |k|N 1
(ixf
(x))
e
dx

N
+1
dk
k
dx
M
<
.
|k|

Assim,

Isto ,

dF
< lim M 0.
0 lim k N
dk |k| |k|
|k|

N dF

= 0.
lim k
dk
|k|
90

Analogamente, podemos provar que, para qualquer nmero inteiro positivo


m, temos

N dm F

0,
lim k
dk m
|k|
para inteiro positivo N arbitrrio. Ou seja, a funo F (k) funo r.d.

Exerccio: Seja f (x) uma funo r.d. e F (k) sua transformada de Fourier, ou
seja,
F (k) = F[f (x)] (k) .
Mostre que
F[ df (x)] (k) = ikF (k) ,
dx

1 ibk/a
k
F[f (ax+b)] (k) =
F
e
, a 6= 0.
|a|
a
Exerccio: Sejam f (x) e g(x) funes r.d.s e F (k) e G (k) suas respectivas
transformadas de Fourier. Mostre que
Z
Z
1
F (k) G (k) dk =
f (x) g (x) dx.
2

4.1.1

Definio de Distribuies, suas derivadas

Condio: Para todas as funes r.d.s, (x) , existe o limite finito,


Z
lim
fn (x) (x) dx.
n

Este valor do limite define um funcional linear no conjunto de funes r.d.s,


(x) . Escrevemos como
Z
lim
fn (x) (x) dx f
n

ou simbolicamente
lim

fn (x) (x) dx

f (x) (x) dx.

Quando a seqncia de funes r.d.s, {fn (x) , n = 1, ..., } satisfaz a condio


acima, dizemos que a seqncia de funes r.d.s, {fn (x) , n = 1, ..., } define
uma distribuio (funo generalizada) f (x) , que expressamos como
{fn (x) , n = 1, ..., } f (x).
A funo r.d. (x) chamada funo de teste. Nesta definio, note que a
distribuio f (x) no est definida ponto a ponto, temos em vez disso que, para
91

cada funo teste (x) , fica definido um valor, o qual, escrevemos simbolicamente na forma de integral
Z
f (x) (x) dx.

Assim, funes generalizadas so funcionais lineares 10 definidos no espao de


funes r.d..
Definio: A funo de Dirac a distribuio (funo generalizada) que
satisfaz a seguinte equao:
Z
(x) (x) dx = (0) .

Segundo a definio da de Dirac acima, qualquer seqncia de funes que


satisfaz esta propriedade converge para a de Dirac. Como vimos, a seqncia
das funes
1 sin (nx)
fn (x) =

x
define a funo generalizada, de Dirac:
lim

1 sin nx
(x) .
x

Mas, em geral, a seqncia que define uma distribuio (funo generalizada)


no nivoca. Por exemplo, se definimos a seqncia de funes
fn (x) =

n 1/2

enx ,

ento para qualquer funo teste (x) , podemos mostrar que


Z
fn (x) (x) dx = (0) .
lim
n

Isto ,
lim

n 1/2

enx (x) .

Exerccio: Mostre que para qualquer funo teste (x) ,


Z 1/2
2
n
lim
enx (x) dx = (0) .
n

1 0 Um funcional um mapeamento do espao de funes no corpo escalar, ou seja, a associao de um nmero a uma funo. Por exemplo, a integral definida de uma funo um
funcional.

92

Exerccio: Mostre que


1

(x),
x2 + 2
1
1
lim
(x).
0 cosh (x/)
lim

Exerccio: Para uma funo generalizada f (x) , se


Z
f (x) (x) dx = 0

para qualquer funo teste (x) mpar, ento f (x) dita funo generalizada par. Se esta igualdade valer para qualquer funo teste (x) par,
ento f (x) dita funo generalizada mpar. Podemos escrever
f (x) = f (x) , par,
f (x) = f (x) , mpar.
Mostre que a funo de Dirac uma funo generalizada par. Mostre
tambm que a derivada da uma funo generalizada mpar.
Definio: Para uma dada seqncia de funes que converge para uma funo
generalizada f (x) ,
{fn (x) , n = 1, ..., } f (x),
a seqncia formada de derivadas tambm define uma funo generalizada
que chamamos de derivada da funo generalizada f (x) e escrevemos como
df
0
dx , ou f (x) :

dfn (x)
df (x)
, n = 1, ...,

.
dx
dx
Usando a definio acima, podemos provar que, para qualquer funo teste
(x) ,
Z
Z
d (x)
df (x)
f (x)
(x) dx =
dx.
dx
dx

Exerccio: Mostre a relao acima.


Exerccio: Mostre que qualquer funo generalizada infinitamente derivvel
e que sua msima derivada dada por
Z m
Z
dm (x)
d f (x)
m

(x)
dx
=
(1)
f
(x)
dx.
dxm
dxm

Exerccio: Mostre que


d (x)
= (x) .
dx
93

Como vimos, funes generalizadas (distribuies) so definidas como funcionais lineares no espao de funes teste. Para uma dada funo f (x) r.d., ou
l.c., sempre existe uma seqncia de funes {fn (x) , n = 1, ..., } r.d. que tem
a propriedade
Z
Z
lim
fn (x) (x) dx =
f (x) (x) dx,
n

onde o lado direito a integral no sentido usual. Assim, qualquer funo r.d., ou
l.c., pode ser considerada como funo generalizada. Por outro lado, operaes
entre duas ou mais funes generalizadas devem que ser definidas com cuidado.
Exerccio: Mostre que a funo constante I (x) = 1, com < x < , uma
funo generalizada.
Exerccio: Mostre que
dI
= 0,
dx
no sentido de funo generalizada.
A funo generalizada I (x) pode ser escrita como 1, sem criar problemas:
I (x) = 1.
Exerccio: Seja f (x) uma distribuio e h (x) uma funo l.c. Defina apropriadamente o produto h (x) f (x) como uma distribuio. Mostre que, neste
caso, vale a regra da cadeia para a derivada,
d
dh (x)
df (x)
[h (x) f (x)] =
f (x) + h (x)
,
dx
dx
dx

(148)

no sentido de funo generalizada.


Exerccio: Sejam f (x) e g (x) duas distribuies. Defina apropriadamente a
soma,
f (x) + g (x)
no sentido de distribuio. Mostre que, neste caso,
d
df (x) dg (x)
[f (x) + g (x)] =
+
,
dx
dx
dx
no sentido de funo generalizada.
Exerccio: Mostre que o produto de duas distribuies no necessariamente
bem definido.
Exerccio: Seja h (x) uma funo l.c.. Mostre que
h (x) (x) = h (0) (x) .
94

(149)

Exerccio: Seja h (x) uma funo l.c.. Ento,


d
dh (x)
d (x)
[h (x) (x)] =
(x) + h (x)
dx
dx
dx
dh (0)
d (x)
=
(x) + h (x)
.
dx
dx

(150)

Por outro lado,


d
d
[h (x) (x)] =
[h (0) (x)]
dx
dx
d (x)
.
= h (0)
dx

(151)

As Eqs.(150) e (151) so consistentes?


Exerccio: Mostre que
lim

0+

1
=P
x i

onde


1
i (x) ,
x

(152)


1
x

a distribuio chamada de valor principal de 1/x, definida como


Z


Z
1
1
1
= lim
(x) dx +
(x) dx .
P
0
x
x
x

Exerccio: Mostre que


(x) =

1
(x) .
|a|

(Preste ateno no sinal de a).


Exerccio: Seja f (x) uma funo em x que tem zeros {xi , i = 1, ..n} no eixo
real. Mostre que
(f (x)) =

n
X
i=1

Exerccio: Mostre que

x2 a2 =

1

df
dx

(x xi ) .

x=xi

1
[ (x a) + (x a)] .
2 |a|

Exerccio: Seja x uma varivel que tem dimenso de distncia. Qual a dimenso de (x)?
95

Exerccio: Seja g (x) uma distribuio. Se


xg (x) = 0,
ento mostre que g (x) poroporcional a funo de Dirac,
g(x) = Const. (x) .
Exerccio: Seja g (x) uma distribuio. Se
xg (x) = 1,
ento mostre que

1
+ Const (x) ,
x

(153)

1
+ C (x) .
0 x i

(154)

g (x) = P
ou ainda que

g (x) = lim

Exerccio: Para vetores coordenada, r e r0, tridimensionais, definimos a funo


de Dirac tridimensional (3) (r r0 ) como
(3) (r r0 ) = (x x0 ) (y y 0 ) (z z 0 )
em coordenadas Cartesianas. Mostre que em coordenadas esfricas (r, , ),
podemos escrever
(3) (r r0 ) =

1
(r r0 ) (cos cos 0 ) ( 0 ) .
rr0

Exerccio: Mostre que


2


1
= 4 (3) (r) ,
r

onde
2 =

2
2
2
+
+
x2 y 2 z 2

o operador Laplaciano.
A funo de Dirac sempre aparece quando derivamos uma funo descontnua. Por exemplo, seja f uma funo formada de duas partes,

f1 (t),
t<a
f (t) =
f2 (t),
t>a
Neste caso, podemos escrever
f (t) = f1 (t) (a t) + f2 (t) (t a) .
96

Assim,
df2
df
df1
=
(a t) f1 (t) (t a) +
(t a) + f2 (t) (t a)
dt
dt
dt
df1
df2
=
(a t) +
(t a) + [f2 (a) f1 (a)] (t a)
dt
dt
df2
df1
(a t) +
(t a) + ft=a (t a)
=
dt
dt
onde ft=a a descontinuidade da funo na posio t = a.
Exerccio: Calcule a derivada das seguintes funes:

sin x,
x<0
f (x) =
,
cos x,
x>0
f (x) = e|x| ,
f (x) = sign (x) .11

4.2

Mtodo de Funo de Green

A funo de Dirac tem uma aplicao importante. Seja D o operador diferencial linear dado por
D=

d
d2
+ P (t) + Q(t).
2
dt
dt

A funo de Green G(t, t0 ) deste operador definida como a soluo da equao,


D [G(t, t0 )] = (t t0 ).

(155)

Uma vez obtida G (t, t0 ) podemos calcular a soluo particular da equao no


homognea,
D [z(t)] = f (t),
(156)
por
z (t) =

dt0 G (t, t0 ) f (t0 ) .

(157)

A prova quase imediata. s verificarmos que esta expresso satisfaz a


Eq.(156). Aplicando o operador diferencial,
Z

D [z (t)] = D
dt0 G (t, t0 ) f (t0 ) .
(158)

11

sign(x) =

1,
1,

97

x>0
x<0

As derivadas do operador diferencial se referem varivel t e no t0 e, portanto,


s derivaremos a funo G(t, t0 ), que depende de t. Assim, temos
Z
D [z (t)] =
dt0 D [G (t, t0 )] f (t0 ) .
(159)

Mas por definio da funo de Green G,


D [G(t, t0 )] = (t t0 ),
ento temos
D [z (t)] =

dt0 (t t0 ) f (t0 )

= f (t).

(160)

Isto , verificamos que a Eq.(157) satisfaz a Eq.(156).


Adicionando a soluo geral da parte homognea da equao, a soluo geral
da equao homognea formalmente dada por12
Z
z(t) =
dt0 G (t, t0 ) f (t0 ) + z1 (t) + z2 (t) ,
(161)

onde z1 e z2 so as solues linearmente independentes da parte homognea da


equao,
D [z1,2 ] = 0.

4.3

Construo da Funo de Green

Podemos obter a funo de Green G (t, t0 ) de uma equao diferencial a partir


das solues da parte homognea da equao. Da definio da funo de Green,
D [G (t, t0 )] = (t t0 ) ,

(162)

D [G (t, t0 )] = 0, t 6= t0 ,

(163)

temos
devido propriedade da funo de Dirac. Isto significa que, quando t 6= t0 ,
a funo de Green G (t, t0 ) uma soluo da parte homognea da equao em
relao a t. Por outro lado, a Eq.(162) sugere alguma descontinuidade da funo
1 2 Aqui, restringimos a discusso ao caso da equao diferencial de 2 o ordem, mas o argumento vale para qualquer ordem. No caso de uma equao diferencial linear de ordem n,
teremos nsolues linearmente independentes da parte homognea da equao e, portanto,
a soluo geral tem a forma,
Z
n
X
(i)
z(t) =
dt0 G(t, t0 )f (t0 ) +
i zhom (t),

i=1

o
(i)
onde zhom (t) , i = 1, ...n o conjunto de n solues linearmente independentes da parte
homognea da equao.
n

98

em t = t0 . Assim, vamos separar em duas regies, t > t0 e t < t0 . Escrevemos,


ento,

C1 z1 (t) ,
t < t0
0
G (t, t ) =
(164)
C2 z2 (t) ,
t > t0
onde z1 (t) e z2 (t) so duas solues linearmente independentes da parte homognea da equao. A expresso acima pode ser re-escrita como
G (t, t0 ) = C1 z1 (t) (t0 t) + C2 z2 (t) (t t0 ) ,

(165)

onde a funo degrau de Heaviside.


Vamos calcular o resultado do operador diferencial D [ ] aplicado a esta expresso. Utilizando a expresso da derivada da funo degrau de Heaviside,
temos
d
dz1 (t)
dz2 (t)
G (t, t0 ) = C1
(t0 t)+C2
(t t0 )+{C2 z2 (t) C1 z1 (t)}t=t0 (t t0 ) ,
dt
dt
dt
d2
G (t, t0 ) =
dt2

d2 z1 (t)
d2 z2 (t)
dz2 (t)
dz1 (t)
0
0
(t t) + C2
(t t ) + C2
(t t0 )
C1
C1
dt2
dt2
dt
dt
t=t0
d (t t0 )
+ {C2 z2 (t0 ) C1 z1 (t0 )}t=t0
,
dt
e, portanto, para D = d2 /dt2 + P (t)d/dt + Q(t), temos
D [G (t, t0 )] = C1 D [z1 (t)] (t0 t) + C2 D [z2 (t)] (t t0 )

dz2 (t)
dz1 (t)
+ C2
(t t0 )
C1
dt
dt
0
t=t
d (t t0 )
0
0
+ {C2 z2 (t ) C1 z1 (t )}t=t0
dt
+ P (t0 ) {C2 z2 (t) C1 z1 (t)}t=t0 (t t0 )

(166)

O lado direito da primeira linha se anula, pois z1 (t) e z2 (t) so solues da


equao
D [z1,2 ] = 0.
Queremos escolher C1 e C2 de tal forma que a Eq.(166) seja igual a (t t0 ).
Assim, a terceira linha da Eq.(166) deve sumir. Ou seja, devemos escolher
C2 z2 (t0 ) C1 z1 (t0 ) = 0.

(167)

Note que esta condio elimina tambm a ltima linha da Eq.(166). Agora
basta escolher,
dz2 (t0 )
dz1 (t0 )
C2
C1
= 1.
(168)
0
dt
dt0
99

A soluo do sistema {Eq.(167),Eq.(168)} fornece


z2 (t0 )
,
W [z1 (t0 ) , z2 (t0 )]
z1 (t0 )
C2 =
,
W [z1 (t0 ) , z2 (t0 )]
C1 =

(169)
(170)

onde W no denominador uma quantidade conhecida por Wronskiana, definida


por13
dz2 (t)
dz1 (t)
W [z1 (t) , z2 (t)] = z1 (t)
z2 (t)
dt
dt

z1 (t)
z
(t)
2
= det
dz1 (t) /dt dz2 (t) /dt

(171)

Finalmente, obtivemos a expresso da funo de Green para a equao diferencial linear de segunda ordem por

1
t < t0
z2 (t0 ) z1 (t) ,
0
G (t, t ) =
,
(172)
0
z1 (t ) z2 (t) ,
t0 < t
W [z1 (t0 ) , z2 (t0 )]
onde, como foi dito, z1 e z2 so quaisquer duas solues linearmente independentes da equao homognea.
Exerccio: Prove que a Wronskiana de duas funes linearmente dependentes
nula. Prove tambm que, se a Wronskiana identicamente nula, ento
as duas funes so linearmente dependentes.
Note que a funo de Green no unvoca. Em primeiro lugar, quaisquer
duas funes z (1) e z (2) podem ser utilizadas desde que elas sejam solues
linearmente independentes da equao homognea. Isto equivalente a dizer
que, se G0 (t, t0 ) uma funo de Green da equao, ento,
G (t, t0 ) = G0 (t, t0 ) + zhom (t)
uma outra funo de Green, tambm. Em particular, podemos escolher
zhom (t) =
1 3 Em

z2 (t0 )
z1 (t)
W [z1 (t0 ) , z2 (t0 )]

geral, a Wronskiana de duas funes f e g definida por


W [f, g] = f g 0 gf 0 .

Genericamente, a Wronskiana de n funes definida por

f2
f1

f 0
f20
1

W [f1 , f2 , ..., fn ] = det ..


.

(n1)
(n1)

f1
f2

100

fn
fn0
..
.
(n1)
fn

na Eq.(172). Com esta escolha, a funo de Green fica

0
0
G (t, t ) =
1
0
[z
(t
)
z2 (t) z2 (t0 ) z1 (t)] ,
0
0
1
W [z1 (t ),z2 (t )]

t < t0
,
t0 < t

e a soluo particular Eq.(157) se torna


Z t
z(t) =
G(t, t0 )f (t0 )dt0 .

(173)

(174)

Exerccio: Obtenha a funo de Green da equao

2
d
2 d
l (l + 1)
G(r, r0 ) = (r r0 ).
+

dr2
r dr
r2
onde l > 0.

4.4

Sistema das Equaes Lineares Acopladas

A Eq.(156) pode ser vista como um sistema de equaes diferenciais de 1a ordem, introduzindoumavarivelau
dz
dt .Consideremos v como uma nova funo incgnita. Isto , em vez de considerar uma equao de segunda ordem para uma varivel z, consideremos a
equao de primeira ordem com duas variveis incgnitas z e v. Para explicitar
este aspecto, escrevamos
z1 = z,
z2 = v,
de modo que podemos re-escrever a Eq.(156) como
dz1
= z2
dt
dz2
= P (t) z2 Q (T ) z1 + f (t) .
dt
Ainda podemos escrever na forma matricial,

d
z1
f1
z1
= A (t)
+
,
z2
z2
f2
dt
onde

0
1
A (t) =
Q (t) P (t)

f1
0
=
,
f (t)
f2

(175)

(176)

no caso da Eq.(175). Mas a Eq.(176) a forma mais geral da equao diferencial


de primeira ordem, quando A e f tm a forma mais geral,

A11 (t) A12 (t)


A=
A21 (t) A22 (t)
101

e
f=

f1 (t)
f2 (t)

Podemos considerar uma equao diferencial linear de primeira ordem mais geral
como
d
z = Az + f ,
(177)
dt
em que a dimenso do vetor z pode ser extendida para qualquer nmero N
inteiro arbitrrio. Naturalmente, neste caso, a matrix A deve ser a matriz
N N e o vetor f tem que ser de N componentes.
O mtodo de funo de Green tambm pode ser utilizado para ter a soluo
particular da equao no homognea a partir da soluo homognea,

d
(178)
A z (h) (t) = 0.
dt
b (matriz) cujos elementos de matriz
Para isto, definimos a funo de Green G
so funes generalizadas que satisfazem a seguinte equao,

d
b (t, t0 ) = b
1 (t t0 ) ,
(179)
A G
dt

onde b
1 a matriz identidade. Com esta funo de Green, uma soluo particular
do sistema (177) pode ser obtida por
Z
b (t, t0 ) f (t0 ) dt0 .
(180)
G
z (t) =

Exerccio: Mostre que vecz(t) da Eq.(180) uma soluo da Eq.(177).


Exerccio: Consideremos o caso homogneo, Eq.(178).

1. Quando A uma matriz constante, mostre que a soluo da Eq.(??


dada formalmente por14
z (h) (t) = eA
1 4 Obviamente,

z (h) (0) ,

a seguinte deduo errada,


dz
dt
dz
z
Z
dz
z
ln z

= Az,
= Adt,
Z
=
Adt

= At + C

z = CeAt
pois viola completamente as regras de operaes vetoriais.

102

(181)

onde

X
1 n
e =
Z
n!
n=0
Z

z (h) (0)
o vetor que corresponde condio inicial.
2. Se A depende de t, possivel escrever
?

z (h) (t) = e

Rt
0

A dt

z (h) (0)?

3. Considere um sistema de oscilador harmnico unidimensional,


m

d2 x
= kx.
dx2

Converta para a forma de equaes de primeira ordem acopladas e


escreva a soluo formal Eq.(181). Calcule a exponencial e obtenha
a soluo x = x (t) explicitamente.
Exerccio: No problema anterior (A const.), mostre que
b (t, t0 ) = eA (tt0 ) (t t0 )
U

(182)

uma funo de Green (matriz) satisfazendo

d
b (t, t0 ) = b
1 (t t0 ) .
A U
dt

No exerccio acima, a soluo geral da Eq.(177) dada por


z (t) = z (h) (t) +

b (t, t0 ) f (t0 ) dt0 .


U

(183)

Por outro lado, da Eq.(181), a ao da matriz eA t atuando em um vetor z (h) (0)


gera a soluo da equao homognea no tempo t. Podemos expressar este fato
como sendo o operador eA t transformando o vetor z (h) (0) avaliado no tempo
t = 0 em um vetor em outro tempo t. Ou seja, o operador eA t "propaga" o vetor
inicial at o tempo t de acordo com a equao diferencial homognea. Desta
forma, a parte integral da Eq.(183) pode ser interpretada como a superposio
de solues criadas nos tempos t0 < t como f (t0 ) que se propagaram at o tempo
t de acordo com a dinmica descrita pela equao diferencial homognea.
O fenmeno de propagao de onda tem exatamente este aspecto, A interpretao de superposio acima mencionada corresponde ao Princpio de Huygens,
onde a onda final obtida como a superposio das ondas criadas pela fora
externa no passado.

103

Exerccio: Na Mecnica Quntica, a dinmica de spin (momento angular) de


um eltron submetido a um campo magntico constante B descrita em
termos de uma funo de onda formada por duas funes complexas,

(t)
=
(t)
obedecendo a seguinte equao :
i~

e~

=
B
,
t
2mc
t

(184)

onde e e m so a carga e a massa do eltron, ~ a constante de Planck


(dividida por 2), e o vetor formado de matrizes de Pauli, ou seja

x
= y ,
z

com

x =

0 1
1 0

, x =

0 i
i 0

, x =

1 0
0 1

1. Mostre que a equao de movimento para , Eq.(184) conserva o


valor do mdulo quadrado de , ou seja
| (t)|2 = | (t)|2 + | (t)|2 = Const.
2

Isto , se, no tempo t = 0, | (0)| + | (0)| = 1, ento sempre


teremos | (t)|2 + | (t)|2 = 1. Escolher o mdulo quadrado da
funo de onda como um dito normalizar a funo de onda.
2. Quando a funo de onda normalizada, P = | (t)|2 e P =
2
| (t)| representam a probabilidade de encontrar o eltron com seu
spin na direo de z e na direo de z, respectivamente. Inicialmente o spin estava na direo de z. Foi aplicado, no instante t = 0,
o campo magntico B constante na direo de x. Calcule a variao
temporal da probabildade de encontrar o eltron com spin na direo
oposta a z.
3. Se, em vez de um campo magntico na direo de x, for aplicado um
na direo de z, calcule a probabildade de encontrar o eltron com
spin na direo de z.

4.5

Transformada de Fourier de distribuies

Consideramos uma seqncia de funes r.d.s, {fn (x) , n = 1, ..., } que define
uma distribuio (funo generalizada) f (x):
{fn (x) , n = 1, ..., } f (x).
104

Para cada funo fn (x) , sua transformada de Fourier


Fn (k) = F[fn (x)] (k)
uma funo r.d. como mostrado anteriormente. A sequncia
{Fn (k) , n = 1, ..., }
define uma distribuio
{Fn (k) , n = 1, ..., } F (k).
A distribuio F (k) dita a transformada de Fourier da distribuio f (x) e
escrevemos formalmente
Z
f (x)eikx dk = F (k).

A atuao de F (k) no espao de funo teste (k) fica dada por


Z
Z
1
F (k) (k) dk =
f (x) (x) dx,
2

onde
(k) = F[(x)] (k) ,
1
(x) = F[(k)]
(x).

Exerccio: Obtenha a transformada de Fourier das seguintes funles generalizadas.


(x) ,
I (x) (= 1)
(x)
No problema acima, a transformada de Fourier de I (x) pode ser obtida a
partir do teorema de integral de Fourier,
Z
Z
0
1
(x) =
dkeikx
dikx (x0 ) dx0 ,
2

mas podemos mostrar o mesmo resultado na forma heuristico como segue.


Na integral
Z
eikx dx.

considerando os comportamentos do integrando para |x| , redefinimos a


integral para garantir a convergncia como
Z
Z
Z 0
eikx dx lim
ei(ki)x dx + lim
ei(k+i)x dx

+0

+0

105

Ento
Z

lim

+0

i(ki)x

ei(ki)x
dx = lim
+0 i (k i)
0
1
= lim
+0 i (k i)

1
= iP
+ (x) ,
x

e analogamente
lim

+0

i(k+i)x

dx = lim

+0

e+i(k+i)x dx

1
i (k + i)

1
= +iP
+ (x) .
x

= lim

+0

Assim, temos

eikx dx = 2 (k) .

(185)

O mtodo acima chamado o mtodo de fator de convergncia.


Exerccio: Para uma funo de teste (x) consideramos a funo
f (x) =

(x + 2n) .

n=

Usando a expanso em srie de Fourier desta funo e considerando x = 0,


mostre que
lim

K
X

n=K

Z
K
1 X
(2n) = lim
(t) eint dt.
K 2

n=K

Com isto, mostre que


lim

K
X

n=K

einx = lim 2
K

K
X

n=K

(x 2n) .

Podemos utilizar a transformada de Fourier para obter a funo de Green


b constante. Neste caso,
da Eq.(179). Consideramos o caso em que a matriz A
sabemos que a funo de Green depende somente a diferena das duas variveis,
b (t, t0 ) = G
b (t) ,
G
106

onde
= t t0 ,
temos
Fb () =

e sua transformada inversa,

b ( ) = 1
G
2

b ( ) ei d,
G

Fb () ei d.

(186)

Substituindo a expresso acima na Eq.(179), e usando a frmula,


Z
1
( ) =
ei d
2
temos

Temos que ter

1
2

1
i
b
b
eit d.
i A F () e d =
2

b Fb () = i.
+ iA

b so matrizes. Mas sempre possvel escolher uma


Lembre aqui ambos Fb e A
b
b
base onde F e A se tornam matrizes diagonais (veja o exemplo a seguir). Neste
caso, como todas as operaes algebricas ficam comutativas, podemos tratar-los
como nmeros normais. Considerando que Fb () uma distribuio, podemos
escrever a soluo (ver Eq.(154) como

i
b .
+ Const. + iA
b i
0 + iA

Fb () = lim

Substituindo na Eq.(186), temos


Z
b ( ) = 1
G
Fb () ei d
2
Z

1
1
b
=
+ Const. + iA ei d.
b i
2i + iA

Acima, introduzimos um objeto


b
X

b uma matriz. Mas isto pode ser entendida como


sendo X
Z

b
b = 1
eikX dk.
X
2
107

(187)

No caso acima, temos por exemplo,


Z

b
b ei d = eAt
+ iA

e portanto, a parte produz a parte da soluo homognea da funo de Green.


O termo
1

b i
+ iA

deve ser entendido como a inverso da matriz,

i1
b i
+ iA
.

Assim, a Eq.(187) tem a forma


Z h

i1
1
b
b
b i
G ( ) =
ei d + Const eAt .
+ iA
2i

(188)

Para fixar a deia, vamos considerar um exemplo simples de caso de oscilador harmonico unidimensional com a fora externa dependendo do temp,
f (t). Temos
d2 x
m 2 = kx + f (t) .
(189)
dt
Introduzindo a notao vetorial,

x (t)
x=
,
v (t)
com

dx
,
dt
a equao de movimento Eq.(189) equivalente a

d
x (t)
b x (t) + f (t) /m ,
=A
v (t)
v (t)
0
dt
v (t) =

onde

b=
A

0 k/m
1
0

Esta matriz tem autovalores determinados pela equao,

det A
Ib = 0,
2 +

k
= 0,
m
= i0 ,

108

(190)

p
onde definimos 0 k/m. Calculando autovetores, podemos verificar que

0 02
0
i0 i0
i0 i0
i0
,
=
0 i0
1
0
1
1
1
1
ou seja

i0
1

i0
1

Chamamos

b
A

S=

i0
1

i0
1

ento
S

bS=
A

i0
1
i0
1
i0
0

0
i0

i0
0

0
i0

Agora re-escrevemos a Eq.(190) como

d
x (t)
f (t) /m
x (t)
1
b
+
= ASS
v (t)
0
v (t)
dt

Multiplicando S 1 nos dois lados, temos

d
x (t)
f (t) /m
x (t)
1
b
+S
.
S
= S AS S
v (t)
0
v (t)
dt
Denominamos

z=
f=

z1 (t)
z2 (t)
f1 (t)
f2 (t)

a equao acima fica


d
z1 (t)
i0
=
z2 (t)
0
dt

=S
=S

0
i0

x (t)
v (t)

f (t) /m
0

z1 (t)
z2 (t)

f1 (t)
f2 (t)

A funo de Green atua sempre como

Z
Z
b ( ) S S 1 f (t) /m d
b ( ) f (t) /m d = S S 1 G
G
0
0
ento vamos calcular

b ( ) S.
S 1 G

109

Considerando a parte no homognea da Eq.(188), e escolhendo o sinal do


fator i, por exemplo, temos
Z
h

i1
1
b i
S 1 + iA
Sei d
2i
Z h

i1
1
b i
=
ei d
+ iS 1 AS
2i
1
Z
1
0 i
0
=
ei d
0
+ 0 i
2i

Z
1
1/( 0 i)
0
=
ei d
0
1/( + 0 i)
2i

!
R
ei
1
d
0
2i

0
R
=
.
1
ei
0
2i +0 i d
As integrais,

1
2i
e

1
2i

ei
d
0 i
ei
d
+ 0 i

podem ser calculadas pelo mtodo de residue. Os polos esto no


= 0 + i,
e
= 0 + i
respectivamente, ou seja, ambos polos esto (infinitesimalmente) acima do eixo
real . Na hora de escolher o contorno fechado para aplicar o teorema de residuo,
devemos tomar cuidado do sinal do . Quando > 0, o caminho para o qual o
grande semicirculo anula tem que estar no semiplano superior, pois
ei = ei(Re +i Im ) = ei Re Im
e este fator anula s quando Im > 0 para > 0. Neste caso, o caminho fechado
contem os dois polos, pois ambos esto acima do eixo real. Por outro lado,
quando < 0, o caminho da integral deve fechar passando o grande semicirculo
no plano inferior de . Neste caso, o contorno da integral exclui os dois polos
(ver a figura abaixo). Consequentemente, temos
Z
1
ei
d = ( ) ei0 .
2i 0 i
Com isto, temos
S

b ( ) S = ( )
G

e+i0
0

110

0
e+i0

Finalmente

e+i0
0
0
e+i0

b ,
= ( ) exp A

b ( ) = ( ) S
G

onde foi utilizada a propriedade,


+i

e 0
+i0
0
1
S
S = exp S
0
e+i0
0

b .
= exp A

S 1
(191)

0
i0

(192)
(193)

A Eq.(191) nada mais que a Eq.(182).


Exerccio: Mostre Eqs.(192) e (193).

Exerccio: O que acontece se escoher o sinal + do termo i ?


Exerccio: Repita o calculo acima para um oscilador harmnico amortecido.
A obteno do resultado Eq.(191) pode parecer que muito complicada comparada com o argumento da Eq.(182). Mas o mtodo de transformada de Fourier
fundamental quando o sistema em questo contem um espectro contnuo de
modo de oscilao. Isto acontece nos problemas de equao de onda. A seguir,
estudamos tal sistema que possui um espectro contnuo de modo de oscilao,
ou seja o sistema de meio contnuo ou sistema de campo.

111

Transformao Linear no espao de funes e


a base contnua

Na seo anteiror a matriz A pode ter dimenso maior que 2. De modo geral,
para uma dada matriz A, a equao
z 0 = Az

(194)

onde varrendo todos os vetores z V, pode ser considerada um mapeamento de


um espao vetorial V para o prrio V. A transformao linear entre vetores
em geral pode ser escrica na forma acima. Sabemos que o conjunto de funes
forma um espao vetorial sendo uma funo vetor neste contexto. Ento, deve
existir o anlogo deste tipo de mappeamento, ou seja a quantidade equivalente
a matriz no espao de funes. A resposta a integral do tipo
Z
f (x) = K (x, x0 ) g(x0 )dx0 ,
(195)
onde K (x, x0 ) chamado de kernel. Lembramos que na Eq. (??) o simbolo A
est expressando a matriz que formada de (n n) nmeros. Em geral, falando
de matriz, os vetores tambm so expressos usando numa base. Assim, Eq. (??)
significa explicitamente
X
zi0 =
Aik zk .
(196)
k

onde zi o i esima componente de z, ou seja, a projeo do vetor z para o


vetor base ei normalizado,
zi = (ei , z) ,

onde o conjunto
{ei , i = 1, ..., n}
forma uma base ortonormal em V . Temos
(ei , ej ) = ij .

(197)

Introduzimos a notao de Dirac para expressar vetores e vetores adjuntos como


z, ei |zi, |ii,
eTi hi|,

e o produto escalar entre dois vetores a e b fica escrito como



a, b ha|bi

Assim, o i esimo componente do vetor z na base {ei } fica expresso como


zi = hi|zi.
112

(198)

A condio de ortonormalizade Eq.(197) fica expressa por


hi|ji = ij .

(199)

O vetor z pode ser escrita como a combinao linear dos vetores base {ei }, ou
seja,
X
X
|zi =
zi |ii =
|ii zi ,
(200)
i

Substituindo a Eq.(198) na equao acima, temos


X
|iihi|zi
|zi =
i

|iihi| |zi

= |zi
A quantidade,

(201)
(202)

|iihi|

uma matriz (n n) e a Eq.(202) constitui uma transformao linear que vale


para qualquer vetor |zi V. Portanto, conclumos que a matriz de identidade,
= 1.
Assim, obtemos a relao de completeza,
X
|iihi| = 1
i

quando
{|ii, i = 1, ..., n}
uma base ortonormal em V.
Para estabelecer a correspondncia formal entre Eqs.(196) e (195), vamos
associar a notao vetorial para uma funo f (x) como
f (x) |f i.
Mais concretamente, supormos que existe uma base {|xi, < x < } tal que
f (x) = hx|f i.
e
|f i =

dx |xi f (x)

113

(203)

(204)

As Eqs.(203) e (204) correspondem a Eqs.(198) e (200), respectivamente, so que


considerando que a varivel x contnua, a soma foi transformada em integral.
Usando na Eq.(200), o produto escalar da Eq.(204) com o vetor base |xi, temos
Z
dx0 |x0 i f (x0 )
f (x) = hx|f i = hx|

Z
=
dx0 hx|x0 i f (x0 )
(205)

o que corresponde a igualdade no caso de vetor n dimensional,


X
zi = eTi
ej zj
j

eTi ej zj .
=
j

A Eq.(205) pode ser comparada com a identidade,


Z
(x x0 ) f (x0 ) dx0 .
f (x) =

o que mostra que


hx|x0 i = (x x0 ) .

(206)

A Eq.(206) anlogo da Eq.(199), ou seja a condio de ortonormalizade da base


{{|xi, < x < }} . Esta equao mostra que a funo correspondente
ao vetor |x0 i nada mais que funo de Dirac. Ainda a funo (x x0 )
corresponde a matriz de identidade
(x x0 ) ij .

(207)

A relao de completeza pode ser obtido substituindo a Eq.(203) na Eq.(204).


Temos
Z
dx |xihx|f i
|f i =

=
dx |xihx| |f i

= |f i

o que mostra que devemos ter que a quantidade a identidade no espao de


funes,
Z
dx |xihx| = 1.
(208)

Note que este um operador no espao de funes. A relao de completeza


acima extremamente til para transformar as propriedades formais entre
funes vetores. Por exemplo, sejam |f i e |gi os dois vetores correspondente
114

a funes, f (x) e g (x) correspondente. O produto escalar entre dois vetores


pode ser escrito como
(f, g) = hf |gi.
Mas
|gi = 1|gi
Z

=
dx |xihx| |gi,

e portanto,
Z

hf |gi = hf |
dx |xihx| |gi

Z
=
dxhf |xihx|gi

Z
=
dxf (x) g (x)

o que a definio usual do produto escalar entre duas funes, permitindo


complexo. Aqui, foi utilizada a relao de reciprocidade de produto escalar com
corpo complexo,
hf |xi = hx|f i = f (x) .
Para estabelecer a correspondncia mais explicita e observar o papel de medida da integrao dx, vamos considerar o seguinte procedimento. Primeira,
consideramos o intervalo de x, [X, X] em segumentos de largura x,
{xN , xN +1 , ..., , xN }
onde
xi = i x, i = N, ..., N,
e
xN = X,
xN = X,
e ainda
x =

(xN xN )
2X
=
.
2N + 1
2N + 1

115

Para uma dada funo f (x) , vamos associar um vetor coluna,

fN
fN +1

..

.
=

fN

f (xN )
f (xN +1 )
..
.
f (xN )

Aqui, o signifcado de introduo do fator x fica bvio quando pensar em


produto escalar entre dois vetores como este,
N

X
f g =
fi gi
i=N

N
2 X
=
x
f (xi ) g (xi )
i=N

No limite de
N ,
2X
x
0,
2N + 1
a soma acima converge a integral,
x

N
X

i=N

f (xi ) g (xi )

dxf (x) g (x) .

Para cobrir todo domnio para x, tomamos o limite X no final das operaes. Assim a correspondncia explicita com o vetor e a funo seria

f (xN )
f (xN +1 )

|f i x
.
..

.
f (xN )

Vamos considerar a base ortonormal,

{ei , i = N, .., N }

116

onde

0
..
.

0

ei =
1
0

.
..
0

o vetor unitrio que tem elemento 1 no i esimo posio. Da propriedade


hx|f i = f (x) ,
o vetor |xi deve corresponder ao vetor coluna,
1
|xi i =
ei ,
x
pois
Temos


ei f = xf (xi ) .
1
(ei ej )
x
1
=
ij
x

hxi |xj i =

No limite de x 0, temos
1
ij (x x0 ) ,
x
onde denotamos
xi x,
xj x0 .
A relao de completeza fica
X
i

|xi ihxi | =
=

ou

X
i

No limite x 0, temos

1
ei eTi
x
1 b
1,
x

x |xi ihxi | = b
1.
dx|xihx| = b
1,
117

recuperando a Eq.(208). Desta forma, a base {|xi, < x < } essencialmente igual a base ortonormal {ei , i = N, .., N } , exceto a normalizao,

0
..
.

0

1
1 .
|xi i

x 0


.
..
0

Podemos usar outra normalizao. Por exemplo, as vezes utlizamos a normalizao,



0
..
.

2
1
|xi i

x 0


.
..
0

Neste caso, a condio de ortogonormalidade fica

hx|x0i = 2 (x x0 ) ,
e a completeza fica
1
2

dx|xihx| = b
1.

Daqui adiante, quando no mencionamos, adotamos a normalizao Eq.(206) e


portanto, a completeza Eq.(208).

5.1

Transformao de base e Kernel como elemento de


Matriz de operador

Como mencionamos, no caso de vetor usual, a equao correspondente, Eq(194)


a expresso simblica da transformao Eq.(196). Mas quando est definido a
mudana de base no espao vetorial V, podemos considerar a Eq.(194) como a
forma independente de escolhe da base, e neste caso, a quantidade expressa por
A dita tensor. A introduo da base {|xi, < x < } que introduzimos
na sesso anterior til extrair o conceito de operador linear de forma mais
abstrato.
Da Eq.(195),
Z
f (x) =

K (x, x0 ) g (x0 ) dx0 ,

118

substituimos as expresses
f (x) = hx|f i,
g (x0 ) = hx0 |gi,
e temos
hx|f i =

dx0 K (x, x0 ) hx0 |gi.

Usando a completeza em {|xi, < x < } , temos


Z
|f i = dx|xihx|f i
Z
Z
= dx|xi dx0 K (x, x0 ) hx0 |gi
Z

Z
0
0
0
=
dx dx |xiK (x, x ) hx | |gi.
Podemos definir um objeto dentro de colchet como K,
Z
Z
K = dx dx0 |xiK (x, x0 ) hx0 |.

(209)

Este objeto um operador no espao de funo vetor, definindo uma transformao linear,
|f i = K|gi.
(210)

Da Eq.(209), usando a ortonormalidade, podemos verificar que


hx|K|x0 i = K (x, x0 )

o que mostra o kernel K (x, x0 ) pode ser considerado como elemento de matriz
do operador K na base {|xi, < x < } .

5.2

Operador diferencial como Kernel

Se generalizar o kernel at funes generalizadas (distribuies), podemos expressar os operadores diferenciais na forma integral. O operador diferncial, d/dx
uma transformao linear sobre as funes difernciveis,
f 0 (x) =

d
f (x) .
dx

Esta equao pode ser escrita na forma integral,


Z
d
f 0 (x) = dx0 (x x0 ) 0 f (x0 )
dx

(211)

Note que
(x x0 )

d
d
=
(x x0 )
0
dx
dx
= 0 (x x0 )
119

(212)

Exerccio: Prove a Eq.(212).


Consideramos o vetor |f 0 i por
hx|f 0 i = f 0 (x) .
Temos
0

dx |xif 0 (x)
Z
Z
= dx |xi dx0 0 (x x0 ) f (x0 )
Z

Z
=
dx dx0 |xi 0 (x x0 ) hx| |f i

|f i =

Podemos definir o operador diferencial no espao vetorial como


Z
Z
D = dx dx0 |xi 0 (x x0 ) hx|
tal que
|f 0 i = D |f i.
Usando a Eq.(212), podemos escrever tambem que
Z
Z
d
D = dx dx0 |xi (x x0 ) hx|
dx
Naturalmente, o elemento de matriz do operador D na base {|xi, < x < }
fica
hx|D|x0 i = 0 (x x0 ) .
Exerccio: Mostre que
hx|D2 |x0 i = 00 (x x0 ) ,
Mostre tambm que
hx|D2 |f i =

d2
f (x) .
dx2

Exerccio: Definimos o operador Da por


Da = eaD

X
an n
=
D ,
n!
n=0
onde a um nmero. Mostre que
hx|Da |f i = f (x + a) .

120

5.3

Problema de Autovalor

Vimos acima, para uma dada tranformao linear,


Z
f (x) = dx0 K (x, x0 ) g (x) ,
podemos associar um operador K tal que
hx|K|x0 i = K (x, x0 )
o que corresponderia uma matriz no caso de espao vetorial de dimenso finita.
No caso de dimenso finita, sabemos que para uma matriz hermitiana15 A, os
autovalores so reais e autovetores podem formar uma base ortogonais. Isto ,
para uma matriz (n n) hermitiana, ou seja, A = A , se
A z = z,

(213)

ento
= .
Exerccio: Prove as afirmaes acima.
A condio de existncia da soluo no trivial da equao Eq.(213), temos
b = 0,
det |A I|

o que a equao algebrica de ordem n para . Ento existem n raizes


{i , i = 1, ..n}. Para cada raiz i denotamos o autovetor correspondente
zi .
Ento, se
i 6= j ,
(zi , zj ) = 0.
Exerccio: Prove as afirmaes acima.
Se o autovalor for r vezes degenerado, ento, existem r autovetores linearmente independente correspondente a este autovalor. Estes autovetores podem
ser ortogonalzados.
1 5 Uma matriz A dita hermitiana quando seu conjugado hermitiano igual a ela mesma,
ou seja
A = A ,

onde o conjugado hermitiano A definido como



= Aji .
A
ij

121

Exerccio: Prove as afirmaes acima.


O que corresponde no espao de funes? Formalmente o problema de autovalor fica
Z
K (x, x0 ) f (x0 ) dx0 = f (x) .
(214)
ou na forma de notao de Dirac,

K |f i = |f i.

(215)

Para um dado funo kernel K (x, x0 ), se existe a funo f (x) que satisfaz a
Eq.(214), chamado de autovalor e f (x) chamado de autofuno do kernel
K. O kernel K (x, x0 ) dita simtrico se
K (x, x0 ) = K (x0 , x) ,
e hermitiano se
K (x, x0 ) = K (x0 , x)
Exerccio: Para um dado vetor de coluna de n componentes, n, obtenha os
autovalores e autovetores da matriz,
A = n nT .
0

Exerccio: Para o kernel simetrico, K (x, x0 ) = 2ex+x , obtenha autovalor e


autofuno da equao
Z 1
K (x, x0 ) y(x0 )dx0 = y (x) .
0

Exerccio: Seja K (x, x0 ) o kernel simtrico que tem a forma,


K (x, x0 ) =

n
X

gj (x) gj (x0 )

j=1

onde gi (x) so funes reais contnuas em [0 x 1] . Ento, mostre que


a equao de autovalor,
Z 1
K (x, x0 ) y(x0 )dx0 = y (x)
0

possui no mximo n autovalores.


Para um kernel mais geral, no possvel obter a soluo de problema de
autovalor e autofuno genericamente, as vezes no garantido a existncia de
solues. Mas a seguinte teorema garante que o paralelismo entre o espao de
funes num intervalo finito e o espao vetorial de dimenso finita.
122

Teorema (Hilbert): Para um kernel simtrico, K (x, x0 ) ,


K (x, x0 ) = K (x0 , x) ,
e contnuo em [0 x 1] e [0 y 1] , existe a soluo y (x) e autovalor
da equao integral,
Z 1
K (x, x0 ) y (x0 ) dx0 = y (x) .
(216)
0

O teorema acima vale tambm para o kernel complexo, desde que o kernel
seja hermitiano,

K (x, x0 ) = K (x0 , x) .
(217)
Neste caso, podemos mostrar que o autovalor real.
Note que no teorema acima, estamos considerando o intervalo, [0 x 1]
mas os argumentos pode ser facilmente generalizados para qualquer intervalo
finito, [a x b] pela mudana de varivel
x x0 = (b a) x + a.
Quando se trata de problema de autovalores, Eq.(216), naturalmente estamos
considerando o espao de funes definido no intervalo [0 x 1] , e portanto,
o produto escalar est definido como
Z 1
(f, g) =
f (x) g (x) dx
0

A condio de hermiticidade de kernel pode ser re-escrita como


(f, Kg) = (Kf, g)

(218)

para qualquer funes f e g, onde a notao Kg se refere a funo de x definida


por
Z
1

K (x, x0 ) g (x0 ) dx0

Kg (x) =

Exerccio: Mostre que a condio de hermiticidade do kernel K (x, x0 ) , Eq.(217)


equivalente a Eq.(218).
Exerccio: Mostre que os autovalores de kernel K (x, x0 ) hermitiano so reais.
Exerccio: Mostre que os autofunes de kernel K (x, x0 ) hermitiano correspondente aos difrenferentes autovalores so ortogonais, ou seja
Z 1
K (x, x0 ) y1 (x0 ) dx0 = 1 y1 (x) ,
0

K (x, x0 ) y2 (x0 ) dx0 = 2 y2 (x) ,


0

123

com
1 6= 2
ento

y1 (x) y2 (x) dx = 0.

O exerccio acima mostra que os autofunes de um kernel hermitiano pertencentes a diferentes autovalores so ortogonais. A questo interessante que
quantos autofunes linearmente independentes para um autovalor? Podemos
mostrar que para um autovalor, no mximo, nmero finito de autofunes pertencentes a este autovalor. Em outras palavras, a degenerescncia de um autovalor finito. Antes de mostrar isto, vamos generalizar a desigualdade de Bessel
para um conjunto de funes ortogonais.
Quando o conjunto de funes,{ei (x) , i = 1, ..n} dito o sistema ortonormal quando
(ei , ej ) = ij .
Para uma dada funo f (x) contnua definida no intervalo, [0 x 1] , podemos
definir a srie de Fourier formal,
n
X

Sn (x) =

ci ei (x) ,

(219)

i=1

com
ci = (ei , f )
Z 1
ei (x) f (x) dx.
=

(220)

Temos

n
X
i=1

c2i

|f (x)|2 dx.

(221)

Est a desigualdade de Bessel.

Exerccio: Prove a desigualdade de Bessel, (221).


Exerccio: Argumente que a definio de coeficientes, Eq.(220) a melhor
opo para aproximar a funo f (x) em termos de soma Eq.(219) para
um dado sistema orto-normal, {ei (x) , i = 1, ..., n}
A desigualdade de Bessel vale mesmo para n . Agora, vamos voltar
a questo de degenerescncia de um autovalor. Suponha que existem n autofunes linearmente independentes, {yi (x) , i = 1, ...., n} para um dado autovalor ,
Z
1

K (x, x0 ) yi (x0 ) dx0 = yi (x) . i = 1, ..., n

124

Queremos mostrar que n < . A partir de n funes linearmente independentes,


podemos construir um sistema orto-normal
{ei (x) , i = 1, ..., n}
atravs do procedimento de orto-normalizao de Schmidt. O mtodo de ortonormalizao de Schmidt se resume a seguinte.
Mtodo de Schmidt Seja {yi (x) , i = 1, ...., n} so funes contnuas linearmente independentes (com coeficientes complexos), definidas no intervalo,
[0 x 1] . O conjunto {ei (x) , i = 1, ...., n} construido de seguinte procedimento,
f1 (x)
,
kf1 (x)k
(f2 (x) (e1 , f2 ) e1 (x))
e2 (x) =
,
kf2 (x) (e1 , f2 ) e1 (x)k
..
.

P
(e
,
f
)
e
(x)
fn (x) n1
i
n
i
i=1

en (x) =
Pn1

fn (x) i=1 (ei , fn ) ei (x)


e1 (x) =

forma um sistema orto-normal, onde


Z 1
ei (x) fj (x) dx,
(ei , fj ) =
0

kf k = (f, f )1/2 .

Exerccio: Demostre que o conjunto {ei (x) , i = 1, ...., n} satisfaz


(ei , ej ) = ij .
Exerccio: Mostre que se {yi (x) , i = 1, ...., n} so autofunes de K (x, x0 )
com autovalor , ento as funes {ei (x) , i = 1, ...., n} tambm so.
Temos

K (x, x0 ) ei (x0 ) dx0 = ei (x) . i = 1, ..., n

Agora, podemos considerar a srie de Fourier,


Sn (x) =

n
X

ci ei (x) ,

i=1

com

ci = ci (x)
Z 1

ei (x0 ) K (x, x0 ) dx0


=
0

125

(222)

Ento da desigualdade de Bessel (considerando K (x, x0 ) como funo de x0 ),


temos
Z 1
n
X
2
2
|ci (x)|
|K (x, x0 )| dx0 .
0

i=1

Mas da Eq.(222)

ci (x) = ei (x)
ento

n
X
i=1

Integrando em x, temos
Z

n
1X
i=1

|ci (x)|2 dx = 2

portanto
2

|ci (x)|2 = 2

n
X
i=1

|ei (x)|2

n Z
X
i=1

|ei (x)|2 dx

= n
Z

dx
0

|K (x, x0 )| dx0 < ,

ou seja n finito.
De forma anloga, podemos provar que o conjunto de autovalores um
conjunto descreto exceto o ponto = . Para provar isto, basta mostrar que
para um dado nmero N < arbitrrio, existem apenas nmeros finitos de
autovalores 0i s que satisfazem
N < i < N.

(223)

Exerccio: Mostre que para um nmero finito arbitrrio N, o nmero total de


autovalores que fica no intervalo de [N, N ] finito.
O cojunto de todas autofunes de K dito o sistema completo de autofunes de K. Para este conjunto, vale a seguinte teorema.
Teorema (Hilbert-Schmidt) Sejam f (x) uma funo contnua no intervalo
[0 x 1] , e K (x, x0 ) um kernel hermitiano. Uma funo g (x) escrita
na forma,
Z
1

K (x, x0 ) f (x0 ) dx0 ,

g (x) =

pode ser expressa pela seguinte srie com convergncia homognea,


X
g (x) =
gi ei (x) ,
i

onde {ei (x) , i = 1, ....} o sistema completo de autofunes de K.


126

(224)

O teorema acima mostra que para uma classe de funes que podem ser expressas na forma Eq.(224), o conjunto completo de autofues {ei (x) , i = 1, ....}
forma uma base completa. Quando o kernel K no singular, ou seja, possui o
inverso, o conjunto de funes que podem ser expressas na forma Eq.(224) cobre
o todo espao igual a o conjunto de todas funes contnuas, {f (x)} definidas
neste intervalo. Assim, o conjunto completo de K forma uma base completa
das funes contnuas definidas no intervalo [0 x 1] .

5.4

Srie de Fourier como exemplo

Vamos ver o exemplo. Consideramos o kernel,


K (x, x0 ) = i 0 (x x0 ) .
Aparentemente, o kernel acima satisfaz a condio de hermiticidade,
K (x0 , x) = i 0 (x0 x)
= i 0 (x x0 )

= K (x, x0 ) ,

j que a derivada de funo de Dirac uma funo generalizada mpar. Mas


na verdade, a condio vale s quando tratamos o intervalo [, ] pela construo da base ortonormal, {|x >} . Quando consideramos um intervalo finito,
por exemplo, [L, L] , devemos levar em conta a condio de contorno nos pontos, x = L. A condio para hermiticidade de um operador escrita na forma
de produto escalar entre dois vetores f e g fica
(f, Kg) = (Kf, g) .
Mas
Kg (x) =

=i
e
(f, Kg) =

K (x, x0 ) g (x0 ) dx0


L

d
g (x)
dx
L

f (x) (Kg (x)) dx

L
Z L

f (x) g (x) dx
=i
dx
L
Introduzindo a integrao em parte, temos
Z L
df (x)
L
g (x) dx
(f, Kg) = i f (x) g (x)|L i
dx
L

Z
df (x)
i
g (x) dx
= i [f (L) g (L) f (L) g (L)] +
dx
= i [f (L) g (L) f (L) g (L)] + (Kf, g)
127

(225)

Desta forma, vimos que para ter a hermiticidade Eq.(225) para f e g independentes, devemos ter
f (L) g (L) = f (L) g (L)
ou seja, f e g tem que ser peridicas. Assim, consideramos o espao vetorial
formado de todas as funes contnuas e peridicas no intervalo [L, L] . Neste
espao, o operador
d
i
dx
se torna hermitiano,

d
d
f, i g = i f, g
dx
dx
e teremos conjunto completo de autofunes {em (x)} que satisfaz
d
em (x) = m em (x) .
dx
Esta equao facilmente integrada, tendo
i

em (x) = Ceim x .
Naturalmente as autofunes tambm tem que satisfazer a condio de periocidade, e temos
e+im L = eim L
ou seja
2im L = 2m,
onde m inteiro. Temos

m.
L
A constante C pode ser determinada pela normalizao, e temos
1
C= .
2L
Finalmente conclumos que o conjunto

1 i L mx
em (x) = e
, m = 0, 1, 2, . . .
2L
m =

forma uma base ortonormal para o espao de funes peridicas em [L, L] .


Ou seja, qualquer funo contnua e peridica f (x) em [L, L] pode ser escrita
como combinao linear destas funes base,

com

1
f (x) =
cm ei L mx ,
2L m=

Z L

1
cm =
ei L mx f (x) dx,
2L L
o que nada mais que a srie de Fourier complexa.
A idia descrita acima pode ser extendido para o intervalo inteiro, [, ] ,
num espao de funes que chamdado de espao de Hilbert.
128

Problemas
1. Consideramos as seguintes funes
f0 (x) = 1,
f1 (x) = x,
..
.
fn (x) = xn .
..
.
A partir destas funes, usando o mtodo de ortogonalizao do Schmidt,
obtenha as primeiras 4 funes {e0 (x) , e1 (x) , e2 (x) , . . . , } que satisfaz
Z

ei (x) ej (x) dx = ij

(polinmios de Legendre).
2. Consideramos uma equao diferencial,
Dx f (x) = h (x) ,

(226)

onde Dx um operador diferencial, por exemplo


Dx =

d2
+ w2 .
dx2

(a) Expresse o kernel K (x, x0 ) correspondente ao operador Dx acima.


(b) Para um dado kernel K (x, x0 ) , se existe o kernel G tal que
Z
K (x, x0 ) G (x0 , x00 ) dx0 = (x x0 ) ,
chamamos G o kernel inverso de K e escrevemos
G = K 1 .
Mostre que a funo de Green de uma equao diferencial o kernel
inverso do kernel correspondente a operador diferencial da equao.
3. Sejam K (x, x0 ) um kernel hermitiano e {ei (x) , i = 1, ....., } o sistema
completo de autofunes de K (x, x0 ) com respectivos autovalores, {i , i = 1, .....} .
Mostre que
X
K (x, x0 ) =
i ei (x) ei (x0 )
i

129

4. Seja {i (x) , i = 1, ....., } uma base orto-normal de espao de funes contnuas definidas no intervalo [0 x 1] . Definimos o elemento de matriz Kij do kernel K (x, x0 ) por
Kij = (i , Kj )
Z 1 Z 1

dx
dx0 i (x) K (x, x0 ) j (x0 ) .
=
0

Definimos o trao desta matriz por16


T r (K) =

Kij

Mostre que
T r (K) =

Mostre tambm que


T r (K) =

K (x, x) dx
0

5. Mostre que a integral Gaussiana


r
Z

ax2
e
dx =
I=
, >0

(Calcule I 2 usando o sistema de coordenadas polar)


6. Considermos um espao vetorial de dimenso n. Seja A matriz n n
simtrico real com autovalores positivos, b um vetor constante e C um
escalar constante. Mostre que
Z
Z
T
T
T 1
1

ec+b A b .
dn x e(x Ax+2b x+c) = p
det (A/)

(Desafio: Ser que tem o anlogo para o caso de espao de funes?)

7. Obtenha a integral de Fresnel,


Z
1 6 Podemos

como

sin x2 dx.

tambm definir o determinante como produto de todos os autovalores de K,


Y
Det (K) =
i .
i

Esta quantidade usada frequentemente na Mecnica Quntica avanada.

130

8. Calcule a integral
I=

x3
dx.
ex 1

9. Sejam K (x) e f (x) funes contnuas suaves com K (0) = 1, e f (0) = 0.


Mostre que
Z x
Z x
df
d
0
0
0
K (x x ) f (x ) dx =
K (x x0 ) 0 dx0
dx 0
dx
0
10. Numa experincia, foram obtidos N valores de um observvel y como
funo da varivel x em diferentes pontos.
{(xi , yi ) , i = 1, ....., N }
Queremos determinar uma funo f (x) como uma combinao linear de
funes base conhecidas, {i (x) , i = 1, ...m} , onde m < N. Determine
os melhores coeficientes da combinao linear.
11. Seja f = f (z) uma funo analtica e escrevemos
f (z) = u (x, y) + iv (x, y)
Introduzindo a representao radial,
z = rei ,
temos
u = u (r, ) ,
v = v (r, ) .
Expresse a condio de Cauchy-Riemann em termos de variveis (r, ) .
12. Descobra a folha de Riemann em que a funo

f (z) = z a + z b
fica uma funo unvalor analtica exceto os dois pontos, z = a e z = b,
onde a e b so constantes reais positivos.
13. Consideramos um espao bidimensional sem carga eltrica (por exemplo,
o plano x y num sistema que tem invarincia translacional na direo
z, submetido a um campo eltrico externo). Mostre que neste espao, o
valor de potencial eletrosttico de qualquer ponto (x, y) igual ao valor
mdio dos valores de potencial em cima de um crculo de raio R do ponto.
14. Teorema de Morera um espcie de inverso da teorema integral
H de Cauchy.
Diz, se f (x, y) contnua num domnio R no plano (x, y) e se f (x, y) (dx + idy) =
0 para qualquer contorno fechado em R, ento f (z) analtica em R.
Prove este teorema.
131

15. Frmula de Poissson:


(a) Seja f (z) uma funo analtica dentro e em cima de um crculo C de
raio a. Mostre que para z dentro deste crculo, vale

I
f (z 0 )
1
f (z 0 )
f (z) =

dz 0
2i C z 0 z z 0 (a2 /z )
(b) Usando o resultado acima, deduza a frmula de Poisson,

1
f rei =
2

a2

1
2

r2

a2 r2
f rei d.
2ar cos ( )

16. Considere a integral,


G (x, x0 ; ) =

eik(xx ) ek dk

onde x, x e reais e > 0.


(a) Mostre que
0 2
1
G (x, x0 ; ) =
e(xx ) /4 .
4

(b) Mostre que o resultado acima vale mesmo para um nmero imaginrio puro.
17. Mostre que
2


1
= 4 3 (r)
r

Equaes Diferenciais Parciais

O uso da transformada de Fourier e funo de Green pode se tornar mais


poderoso nas resolues de equaes diferenciais parcias. Vamos estudar alguns equaes diferenciais parcias que aparecem frequentemente nos problemas
de fsica.

7.1

Equao de Onda

132