Professional Documents
Culture Documents
Funes Complexas
1.1
Seja i =
do tipo
(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}
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,
Im(z)
z=x+iy
y
x
Re(z)
1 Num
i zi = 0.
i=1
1.2
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.
(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)
(5)
x
y
x0
y0
x cos y sin
x sin + y cos
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
1.3
Representao Polar
(6)
1
1
x+i y ,
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=
z = 1 + i 3,
1.4
(8)
1
.
x + iy
(9)
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.
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
(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
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
(12)
(|xi, |yi)
1
k|xik k|yik
(|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)
1.6
z 2 = x2 y 2 + i2xy
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)
z 1/n = 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
1
2k
z +
, k = 1, .., n
n
n
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
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) =
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
14
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
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) +
f (x) = tan
15
(x).
(20)
(21)
(22)
(23)
X
a d
a2 d2
an dn
=
1
+
+ ,
+
n! dxn
1! dx
2! dx2
n=0
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
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 .
n
1
lim 1 + z
= ez .
n
n
(26)
(27)
z2
= ez1 z2 .
Para
z = x + iy,
temos
ez = ex+iy
e, usando a propriedade Eq.(25), temos
ez = ex eiy .
16
(28)
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 =
1.10
(29)
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 )
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
ik =1
(xi ai )
onde
r=
a=
..
.
xn
= ((r a) ) ,
ai
x1
x2
x1
x2
..
.
xn
a1
a2
..
.
an
1.11
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
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)
(33)
(34)
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
Ax
Ay
Az
+
+
x
y
z
v
y
=
+
x y
= 0,
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
(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)
v
f(z)
y
wo
dz1
dw1 u
dw2
dz2
zo
x
22
(dz1 , dz2 )
dz1 dz2
=
.
kdz1 k kdz2 k
kdz1 k kdz2 k
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
(38)
z = f 1 (z) .
(39)
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 ,
= elogkwk+i arg w
(42)
(43)
z = 3 i.
1.13
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)
(47)
(48)
Inversamente,
ez = cosh z sinh z.
No plano complexo, as funes trigonomtricas e as funes hiperblicas so
essencialmente as mesmas.
1.14
(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)
E dS =
E d3 V.
25
(51)
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
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)
(56)
1
.
0
(57)
Em particular, se = 0, ento
2 = 0,
ou
2
2
2
+
+
x2 y 2 y 2
= 0.
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, ,
r.
+ (v) = 0.
t
(61)
(62)
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
.
20
29
u + iv = z 2 ,
u + iv = z 1/2 .
1.15
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
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.
ou
31
1.16
1/2
,
f (z) = 1 z 2
2
1/2
f (z) = z 1
.
Problemas
p(p + 1)
p(p + 1) (p + 2) (p + n 1)
+ +
2!
n!
1
(p + 1) (p + 2) (p + n) .
n!
onde
k
n
= Cn,k =
o nmero combinatrio.
32
k!
n! (n k)!
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).
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,
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
1.17
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 ,
y=Im(z)
dy
dz=dx+i dy
C
dx
x=Re(z)
(65)
Para se ter uma melhor visualizao, vamos introduzir a notao vetorial que
j introduzimos anteriormente.
v (x, y)
A = u (x, y) ,
0
(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
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)
36
(vdx + udy) =
A d,
S
(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
(69)
1.17.1
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
38
Im(z)
C
I
Re(z)
II
z 1/2 dz.
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
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
Im(z)
z = z0
Re(z)
C
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
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
|zz0 |=R
|zz0 |=R
1
dz =
z z0
= 2i.
iR ei
d
R ei
(71)
z 1/2 dz,
C
Im(z)
R
z=R+0 i
z=R - 0 i
Re(z)
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
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
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
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
= 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
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
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
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
3 z
46
f (z 0 )
(z 0 z)
n+1 dz
(77)
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)
3 z
n
X
(z a)
n+1
0
n=0 (z a)
f (z 0 ) dz 0 .
1 X
n
f (z) =
(z a)
2i n=0
3 z
f (z 0 )
(z 0 a)
n+1 dz
X
1 dn f (a)
(z a)n ,
z
n!
dz
n=0
47
an
R = lim
n an+1
dn f (a) /dz n
.
= lim (n + 1) n+1
n
d
f (a) /dz n+1
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)
Im(z)
z=1+i
II
I
Re(z)
z=1+0 i
z=0
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
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 |.
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
(83)
(84)
1
1
=
z0 (z z0 )
z z0 (z 0 z0 )
n
1 X z 0 z0
=
.
z z0 n=0 z z0
(85)
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
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
52
(90)
1
1
1
=
1 + + 2 +
z
z z
X
1
=
,
zn
n=1
f (z) =
que converge em
|z| > 1,
(91)
(92)
ez = 1 +
11
1 1
1 1
1 1
+
+ +
+
+
1! z
2! z 2 3! z 3
n! z n
f (z) =
53
,
f (z) = z 2 1
1/2
g (z) = 1 z 2
.
1/2
f (z) = 1 (1 z 2 )
1/2
= (1) (1 z 2 )1/2
= ig (z) ?
1.23
Teorema do Resduo
n=N
cn (z z0 ) ,
54
X
f (z) dz =
cn
|zz0 |=R
|zz0 |=R
n=N
(z z0 ) dz.
(94)
dz = iR ei d,
|zz0 |=R
(z z0 )n dz = iRn+1
d ei(n+1)
= 2i n+1,0 ,
(95)
X
f (z) dz =
cn (2i n+1,0 )
|zz0 |=R
n=N
= 2i c1 .
(97)
i=1
1.23.1
Clculo de resduo
1
g (z) ,
z z0
dg
(z z0 ) + ,
g (z) = g (z0 ) +
dz z=z0
(99)
3. Se
f (z) =
d
dz
1
1
f
(100)
z=z0
Q (z)
,
P (z)
Q (z0 )
dP
dz z=z0
(101)
1
k
(z z0 )
g (z) ,
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)
eiz
.
z(z 2 + 1)2
= 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) =
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
O teorema de resduo tem uma aplicao bastante til. Vamos considerar, como
um exemplo, a integral
Z
1
I=
dx.
(103)
1
+
x2
58
1
dx.
1 + x2
(104)
Im(z)
C
z=i
x=R
x = -R
x=Re(z)
z=-i
1
dz.
C 1+z 2
IC = IR + Isemicrculo (R) ,
onde
Isemicrculo (R) = i
d R ei
1
.
1 + R2 e2i
(105)
(106)
(107)
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
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
f (x) dx,
(110)
61
= 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 [, ]
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.
f (x) eikx dx = 2i
Res f (zi )eikzi ,
Im(zi )>0
f (x) eikx dx = 2i
Im(zi )<0
63
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
1.25
cos x
dx.
x2 + 1
eix
dx.
x
64
Im(z)
-R
Re(z)
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
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)
sin kx
dx,
x
onde k > 0.
1.26
Integral do tipo
R 2
0
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
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
n
X
Res f (zi ).
i=1
(118)
tem 2 plos em
1
z 2 2z +
o
p
1n
1 1 2 .
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
Im(z)
0+iR
2 +iR
+ icosh-1(1/)
Re(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 = .
68
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
1
dy = i
1 cos (2 + iy)
=i
1
dy
1 cos (iy)
1
dy.
1 cosh (y)
cos
z
1
cos x
0
C
!
1
= 2i Res
1 cos z z0
2
=
.
1 2
69
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
,
a
temos
cosh a (x + iy) cosh ax.
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
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.
71
Im(z)
-R
Re(z)
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
1.29
dx
, 0 < < 1.
x (x + 1)
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
z w = f (z ) = f
1
z0
1
(x, y, 0) ,
1
(120)
(0,0,1)
P(x,y,)
A (x/(1-),y/(1-),0)
B (x/(1+),y/(1+),0)
(0,0,-1)
(122)
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
|z|=1
f (z ) dz.
f (z)
|z|=1
dz
.
z2
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
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
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
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.
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)
cos
Z
r
1 2
ax dx =
,
2
4 |a|
3
(log x)2
dx
=
.
1 + x2
8
Transformao de Laplace
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)
(s) =
1
s2
(127)
Em geral, temos
[f =xn ]
3.1
(s) =
n!
.
sn+1
(128)
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
d
F (s) .
ds
(129)
79
3.2
df (x) sx
sx
f (x) esx dx
e dx = f (x) e + s
dx
0
0
0
= sF (s) f (0)
(130)
(131)
df
.
dx x=0
n1
X
dn
n
f
(x)
s
F
(s)
(132)
df
d2 f
+b
+ cf = 0,
dx2
dx
(133)
(1)
(0) = 0.
ou
Z
1
ix
0
ikx0
0
g (x) =
e
g (x ) e
dx dk,
2
sx
1
f (x) =
2
ix
ou seja
1
f (x) =
2
(s+ik)x0
f (x ) e
dx
dk,
(134)
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)
82
Funo f
f (x)
1
eax
sin x
cos x
x sin x
x cos x
10
g(ax)
11
eat g(x)
12
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 )
1 X
cm eim L x ,
2L m=
f (x) =
onde
cm =
Vamos denotar
(137)
= k,
L
e
km = m k,
Z
F (km ) = cm =
A Eq.(137) fica
1 X
f (x) =
k F (km ) eikm x .
2 m=
(138)
eik
x0
f (x0 ) dx0 .
(139)
(140)
85
1
2
dk F (k) eik
= f (x) .
f (x) eikx dx = 2
f (x) cos kx dx
f (x) sin kx dx
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
Z
Z
1
ik x0
0
0
f (x) =
dk
e
f (x ) dx eik
2
(141)
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
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
(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)
4.1
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
N
lim |x| f (k) (x) 0.
|x|
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
|f (x)| dx < M.
89
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
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
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
ou simbolicamente
lim
fn (x) (x) dx
cada funo teste (x) , fica definido um valor, o qual, escrevemos simbolicamente na forma de integral
Z
f (x) (x) dx.
x
define a funo generalizada, de Dirac:
lim
1 sin nx
(x) .
x
n 1/2
enx ,
Isto ,
lim
n 1/2
enx (x) .
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
(x),
x2 + 2
1
1
lim
(x).
0 cosh (x/)
lim
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
(x)
dx
=
(1)
f
(x)
dx.
dxm
dxm
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)
(149)
(150)
(151)
0+
1
=P
x i
onde
1
i (x) ,
x
(152)
1
x
Z
1
1
1
= lim
(x) dx +
(x) dx .
P
0
x
x
x
1
(x) .
|a|
n
X
i=1
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
(153)
1
+ C (x) .
0 x i
(154)
g (x) = P
ou ainda que
g (x) = lim
1
(r r0 ) (cos cos 0 ) ( 0 ) .
rr0
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
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
(155)
(157)
D [z (t)] = D
dt0 G (t, t0 ) f (t0 ) .
(158)
11
sign(x) =
1,
1,
97
x>0
x<0
dt0 (t t0 ) f (t0 )
= f (t).
(160)
4.3
(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
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)
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)
(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
(169)
(170)
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 )]
f2
f1
f 0
f20
1
(n1)
(n1)
f1
f2
100
fn
fn0
..
.
(n1)
fn
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
(173)
(174)
2
d
2 d
l (l + 1)
G(r, r0 ) = (r r0 ).
+
dr2
r dr
r2
onde l > 0.
4.4
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)
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) =
z (h) (0) ,
= 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)?
d2 x
= kx.
dx2
(182)
d
b (t, t0 ) = b
1 (t t0 ) .
A U
dt
(183)
103
(t)
=
(t)
obedecendo a seguinte equao :
i~
e~
=
B
,
t
2mc
t
(184)
x
= y ,
z
com
x =
0 1
1 0
, x =
0 i
i 0
, x =
1 0
0 1
4.5
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
onde
(k) = F[(x)] (k) ,
1
(x) = F[(k)]
(x).
+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)
(x + 2n) .
n=
K
X
n=K
Z
K
1 X
(2n) = lim
(t) eint dt.
K 2
n=K
K
X
n=K
einx = lim 2
K
K
X
n=K
(x 2n) .
onde
= t t0 ,
temos
Fb () =
b ( ) = 1
G
2
b ( ) ei d,
G
Fb () ei d.
(186)
1
2
1
i
b
b
eit d.
i A F () e d =
2
b Fb () = i.
+ iA
i
b .
+ Const. + iA
b i
0 + iA
Fb () = lim
1
1
b
=
+ Const. + iA ei d.
b i
2i + iA
b
X
(187)
b
b ei d = eAt
+ iA
b i
+ iA
i1
b i
+ iA
.
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
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
d
x (t)
f (t) /m
x (t)
1
b
+
= ASS
v (t)
0
v (t)
dt
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)
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)
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
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
b ( ) S = ( )
G
e+i0
0
110
0
e+i0
Finalmente
e+i0
0
0
e+i0
b ,
= ( ) exp A
b ( ) = ( ) S
G
e 0
+i0
0
1
S
S = exp S
0
e+i0
0
b .
= exp A
S 1
(191)
0
i0
(192)
(193)
111
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 o conjunto
{ei , i = 1, ..., n}
forma uma base ortonormal em V . Temos
(ei , ej ) = ij .
(197)
(198)
(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
|iihi| |zi
= |zi
A quantidade,
(201)
(202)
|iihi|
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)
Z
=
dx0 hx|x0 i f (x0 )
(205)
eTi ej zj .
=
j
(206)
(207)
=
dx |xihx| |f i
= |f i
=
dx |xihx| |gi,
e portanto,
Z
hf |gi = hf |
dx |xihx| |gi
Z
=
dxhf |xihx|gi
Z
=
dxf (x) g (x)
(xN xN )
2X
=
.
2N + 1
2N + 1
115
fN
fN +1
..
.
=
fN
f (xN )
f (xN +1 )
..
.
f (xN )
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 )
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 )
{ei , i = N, .., N }
116
onde
0
..
.
0
ei =
1
0
.
..
0
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
2
1
|xi i
x 0
.
..
0
hx|x0i = 2 (x x0 ) ,
e a completeza fica
1
2
dx|xihx| = b
1.
5.1
118
substituimos as expresses
f (x) = hx|f i,
g (x0 ) = hx0 |gi,
e temos
hx|f i =
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)
o que mostra o kernel K (x, x0 ) pode ser considerado como elemento de matriz
do operador K na base {|xi, < x < } .
5.2
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
(211)
Note que
(x x0 )
d
d
=
(x x0 )
0
dx
dx
= 0 (x x0 )
119
(212)
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 =
d2
f (x) .
dx2
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
(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|
121
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
n
X
gj (x) gj (x0 )
j=1
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
(218)
Kg (x) =
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)
124
P
(e
,
f
)
e
(x)
fn (x) n1
i
n
i
i=1
en (x) =
Pn1
kf k = (f, f )1/2 .
n
X
ci ei (x) ,
i=1
com
ci = ci (x)
Z 1
125
(222)
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
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)
g (x) =
(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
= K (x, x0 ) ,
=i
e
(f, Kg) =
d
g (x)
dx
L
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 =
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)
d2
+ w2 .
dx2
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
Kij
Mostre que
T r (K) =
K (x, x) dx
0
ax2
e
dx =
I=
, >0
ec+b A b .
dn x e(x Ax+2b x+c) = p
det (A/)
como
sin x2 dx.
130
8. Calcule a integral
I=
x3
dx.
ex 1
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
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 ( )
eik(xx ) ek dk
(b) Mostre que o resultado acima vale mesmo para um nmero imaginrio puro.
17. Mostre que
2
1
= 4 3 (r)
r
7.1
Equao de Onda
132