Você está na página 1de 136

Captulo 1

Medida e Integrac ao. Integral de


Lebesgue
Introduzem-se os conceitos de algebra-s, medida de um conjunto, func ao men-
sur avel, medida de Lebesgue e de Hausdorff. Introduz-se o conceito de conjunto
de medida nula e discute-se a sua import ancia na an alise funcional. Faz-se uma
revis ao de alguns resultados da teoria da integrac ao de Lebesgue e s ao discutidos
o teorema de Lusin, o teorema de Lebesgue da converg encia dominada e o teorema
de Fubini para integrais m ultiplos.
1.1 Medida
O conceito de medida de um conjunto generaliza as denic oes de comprimento,
area e volume, est a na base da construc ao dos espacos de func oes e da teoria da
integrac ao de Lebesgue.
Em linhas gerais, o conceito de medida introduz-se atrav es de um conjunto
de axiomas que caracterizam as famlias de conjuntos mensur aveis de um espaco.
Este conjunto de axiomas dene uma estrutura designada por algebra-s. Um pro-
cesso axiom atico id entico est a na origem do conceito de conjunto aberto que e
fundamental no estudo das func oes contnuas. Neste caso, a caracterizac ao dos
conjuntos abertos e feita atrav es da introduc ao de um conjunto de axiomas que
denem uma topologia sobre o espaco. Este tipo de construc oes axiom aticas s ao
familiares da algebra e extendem-se naturalmente para a an alise e para a geometria.
1
2 1. Medida e Integrac ao
Topologia Axiomas

Algebras
# #
Conjuntos Abertos Denic oes Conjuntos Mensur aveis
# #
Func oes contnuas Denic oes Func oes mensur aveis
Vamos comecar por relembrar o que e uma topologia e como se chega natural-
mente aos conceitos de conjunto aberto, fechado e func ao contnua. Consideremos
um conjunto X e uma famlia de subconjuntos de X que designamos por T . Diz-
se que T e uma topologia sobre X se, se vericarem as seguintes condic oes ou
axiomas:
i) X, / 0 2 T .
ii) Se, A, B 2 T , ent ao A\B 2 T .
iii) Se, {A
n
} e uma famlia nita ou numer avel de elementos de T , ent ao [
n
A
n
2
T .
Vericados os tr es axiomas anteriores para a famlia T , diz-se que T e uma
topologia sobre X ou que (X, T ) e um espaco topol ogico. Quando se subentende
uma topologia sobre X, diz-se simplesmente que X e um espaco topol ogico. Por
denic ao, os elementos de T s ao designados por conjuntos abertos. Permutando
intersecc oes por uni oes nos axiomas ii) e iii), obtem-se a topologia dos fechados.
Na topologia dos abertos, podem-se denir conjuntos fechados. Um conjunto
C e fechado no espaco topol ogico X, se C

:= X C e aberto. Deste modo, tem-se


que X e / 0 s ao simultaneamente conjuntos abertos e fechados.
Por exemplo, em R
2
como espaco m etrico, para a famlia de bolas abertas
de centro 0 e raio 1/n B(0, 1/n) = {x 2 R
2
: x
2
1
+x
2
2
< 1/n
2
}, tem-se que,
\

n=1
B(0, 1/n) = {0} e, \
m
n=1
B(0, 1/n) = B(0, 1/m). Assim, a intersecc ao in-
nita de abertos pode ser fechada mas a intersecc ao nita de abertos e sempre um
conjunto aberto. Percebem-se assim as escolhas feitas nos axiomas ii) e iii) para a
distinc ao entre conjuntos abertos e fechados.
Denindo uma topologia de abertos no conjunto dos n umeros reais R, o in-
tervalo [a, b] e fechado, o conjunto (a, b) e aberto e (a, b] n ao e nem aberto nem
fechado. O conjunto (, b) e aberto e (, b] e fechado.
A continuidade de uma func ao e uma propriedade topol ogica. Seja uma func ao
f : X !Y em que X e Y s ao espacos topol ogicos, diz-se que f e uma func ao
contnua num ponto x
0
2 X, se a pr e-imagem de qualquer conjunto aberto que
contenha f (x
0
) e ainda um conjunto aberto em X. Isto e, f
1
(V) e um aberto
de X, sempre que V e um aberto de Y, desde que f
1
(V) e V contenham x
0
e
1.1. Medida 3
f (x
0
), respectivamente, Pode-se demonstrar que esta denic ao de func ao contnua
e equivalente ` a denic ao usual dos ee e dd
1
, Exerccio 1.1. Note que o inverso da
denic ao anterior n ao e verdadeiro. Isto e, podemos ter uma func ao contnua cuja
imagem de um conjunto aberto e um conjunto fechado. Tome-se por exemplo a
func ao constante sobre o conjunto dos reais.
De modo an alogo ao que foi feito com os conjuntos abertos, vamos introduzir o
conceito de conjunto mensur avel. Vamos considerar um conjunto X e uma famlia
de subconjuntos de X que designamos por A. A famlia de conjuntos A e uma
algebra-s sobre X se, se vericarem as tr es condic oes:
i) X 2 A.
ii) Se, A 2 A, ent ao A

2 A.
iii) Se {A
n
} e uma famlia nita ou numer avel de elementos de A, ent ao [
n
A
n
2
A.
Das tr es condic oes anteriores decorre que o conjunto vazio / 0 pertence a A
pois, X

= / 0. Nas algebras-s, as intersecc oes nitas ou numer aveis est ao sempre


em A. Ora vejamos. Se, {A
n
} e uma famlia nita ou numer avel de elementos de
A,
\
n
A
n
= (\
n
A
n
)

[
n
A

2 A
pois, [
n
A

n
2 A.
Em geral, e difcil caracterizar os elementos de uma algebra-s e por isso
recorre-se a t ecnicas construtivas. Pode-se gerar uma algebra-s a partir de uma
famlia de subconjuntos de X, juntando novos elementos atrav es de uni oes, inter-
secc oes e passagens ao complementar de elementos do conjunto inicial, no m aximo
em innidade numer avel. Isto motiva a denic ao de gerador de uma algebra-s:
Uma algebra-s e gerada por um conjunto S se todos os elementos da algebra-s
se podem obter por operac oes de uni ao, intersecc ao e passagem ao complementar
de elementos de S.
Designando por S uma famlia de subconjuntos de X, escolhem-se todas as
algebras-s que cont emS. De facto, existe pelo menos uma algebra-s que contem
S que e o conjunto de todos os subconjuntos de X. A algebra-s gerada por S
e a menor algebra-s que contem S e pode ser obtida por intersecc ao de todas as
algebras-s que cont em S.
Um conjunto X juntamente com uma algebra-s designa-se por espaco men-
sur avel e representa-se por (X, A). Por denic ao, os elementos de A designam-se
por conjuntos mensur aveis. Se existirem subconjuntos de X que n ao pertencem a
1
Uma func ao f (x) : X !Y e contnua no ponto x
0
2 X se, para todo o e > 0, existe um d > 0,
tal que, se |x x
0
| < d, implica que | f (x) f (x
0
)| < e.

E usual escrever esta denic ao do seguinte
modo,
(8
e>0
)(9
d>0
)(8
x2X
: |x x
0
| < d) =)(| f (x) f (x
0
)| < e)
em que d d(e). A func ao f e contnua no espaco topol ogico X (na topologia dos abertos) se e
contnua em todos os pontos do seu domnio (aberto).
4 1. Medida e Integrac ao
A, este conjuntos n ao s ao mensur aveis. Quando n ao houver lugar para d uvidas,
designa-se por X o espaco mensur avel sem indicar a algebra-s.
Se X e um espaco topol ogico, vamos designar por B a algebra-s gerada pe-
los abertos de X algebra-s de Borel. Assim, B contem conjuntos abertos e
fechados. Os elementos de B s ao designados por Borelianos.
Se X =R, a algebra-s dos Borelianos pode ser gerada pela famlia de conjun-
tos abertos,
S = { (a, +) : a 2 R }
Qualquer intervalo ou famlia de intervalos da recta pode ser obtido atrav es de
intersecc oes, uni oes ou passagens ao complementar de elementos de S. Ora veja-
mos:
[a, +) =

\
n=1
(a
1
n
, +)
(, a) = [a, +)

(a, b) = (, b)
\
(a, +)
[a, b] = [a, +)
\
(, b] = [a, +)
\
(b, +)

Se X = R
n
ou X = C
n
, a algebra-s can onica e a algebra-s de Borel gerada
pelos abertos semi-innitos de X.
Uma func ao real, f : X !R, em que X e um espaco mensur avel diz-se men-
sur avel se, para todo o real a, os conjuntos,
A
a
= {x: f (x) > a}
s ao mensur aveis. Isto e, A
a
pertence ` a algebra-s de X.
Se, para todo o a 2 R, os conjuntos A
a
est ao na algebra-s de X, ent ao os
conjuntos, {x: f (x) a}, {x: f (x) < a} e {x: f (x) a} tamb em pertencem ` a
algebra-s de X. Assim, podemos partir de qualquer dos conjuntos anteriores para
a denic ao de mensurabilidade de uma func ao, pois,
{x: f (x) a} =

\
n=1
{x: f (x) > a
1
n
}
{x: f (x) < a} = {x: f (x) a}

{x: f (x) a} = {x: f (x) > a}

Vejamos exemplos de func oes mensur aveis.


Func ao caracterstica ou func ao indicatriz de um conjunto. Seja (X, A) um
espaco mensur avel e seja A um subconjunto de X. Seja a func ao,
c
A
(x) = 1
A
(x) =

1 se x 2 A
0 se x 62 A
1.1. Medida 5
Ent ao, tem-se que,
{x: c
A
(x) > a} =
8
<
:
/ 0 se a 1
A se 0 a < 1
X se a < 0
e c
A
(x) e mensur avel se, e somente se, A pertence ` a algebra-s de X. A func ao
c
A
(x) designa-se por func ao indicatriz do conjunto A e c
A
(x) e uma func ao men-
sur avel se o conjunto A e mensur avel.
Func ao simples. Seja f : X !Rou Ce suponha-se que f (x) assume um n umero
nito de valores a
1
, . . . , a
n
, quando x percorre X. Assim, existem conjuntos A
1
, . . . ,
A
n
, denidos por,
A
i
= {x 2 X : f (x) = a
i
}.
Nestas condic oes, podemos representar a func ao f (x) por,
f (x) =
n

i=1
a
i
c
A
i
(x).
A func ao simples f (x) e mensur avel se, e somente se, os conjuntos A
i
pertencem ` a
algebra-s de X.
Se f e g s ao func oes mensur aveis e {f
n
}
n0
e uma sucess ao de func oes men-
sur aveis que converge para f ponto a ponto, e f acil mostrar que:
a) | f | e mensur avel.
b) sup
n
f
n
(x), inf
n
f
n
(x), lim
n
f
n
(x),
lim
n
sup f
n
(x) = inf
n1
(sup
kn
f
n
)
lim
n
inf f
n
(x) = sup
n1
inf
kn
f
n
(x)
s ao func oes mensur aveis.
c) f g, f +g e 1/ f , com f (x) 6= 0, s ao func oes mensur aveis.
Estas propriedades decorrem dos axiomas que denem as algebra-s e das relac oes
entre as operac oes da teoria dos conjuntos. Por exemplo, com,
{x: | f (x)| > a} = {x: f (x) > a}[{x: f (x) <a}
{x : sup f
n
(x) > a} =

[
n=1
{x: f
n
(x) > a}
a mensurabilidade de | f (x)| e de {x : sup f
n
(x) > a} decorre dos axiomas das
algebras-s. As restantes propriedades demonstram-se de maneira an aloga, Exerccio
1.2.
6 1. Medida e Integrac ao
0 2 4 6 8 10
0.2
0.0
0.2
0.4
0.6
x
f
0 2 4 6 8 10
0.2
0.0
0.2
0.4
0.6
x
f

0 2 4 6 8 10
0.2
0.0
0.2
0.4
0.6
x
f

Figura 1.1: Decomposic ao de uma func ao como uma diferenca de func oes positi-
vas, f (x) = f
+
(x) f

(x).
Seja f uma func ao real, f : X !R, e denam-se as func oes f
+
(x) =max{0, f (x)}
e f

(x) = min{0, f (x)}. Assim, tem-se que, f (x) = f


+
(x) f

(x) em que
f
+
(x) e f

(x) s ao ambas func oes positivas, gura 1.1. Como uma func ao real se
pode escrever como a diferenca de duas func oes positivas e quando se somam duas
func oes mensur aveis a propriedade de mensurabilidade e preservada, sem perda de
generalidade, podemos restringir a nossa an alise ` as func oes reais positivas.
Vamos agora estabelecer uma relac ao entre func oes simples e func oes men-
sur aveis.

E sempre possvel determinar uma sucess ao de func oes simples { f
n
} que
converge para f , lim
n!
f
n
(x) = f (x), para todo o x 2 X. Suponha-se que f 0
n ao e uma func ao simples e escolham-se os conjuntos,
E
n,i
=

x:
i 1
2
n
f (x) <
i
2
n

, i = 1, 2, . . . n2
n
F
n
= {x: f (x) n}
com n = 1, 2, . . .. Seja a func ao,
f
n
(x) =
n2
n

i=1
i 1
2
n
c
E
n,i
(x) +n c
F
n
(x) (1.1)
Por construc ao, f
n
! f , ponto a ponto. Por outro lado, se f e mensur avel, tamb em
as func oes f
n
o s ao e { f
n
} e uma sucess ao de func oes simples que converge para a
func ao positiva f (x). No caso em que a func ao f toma valores positivos e negati-
vos, a decomposic ao em func oes simples e aplicada ` as func oes positivas f
+
e f

.
Assim, dada uma func ao mensur avel f , e sempre possvel construir uma sucess ao
de func oes simples, convergente ponto a ponto para f .
Na gura 1.2 est ao representadas aproximac oes ` a func ao f (x) = 1/|x| com
func oes simples.
Vejamos agora como se introduz uma medida sobre um espaco mensur avel.
Seja o espaco mensur avel (X, A) e seja uma func ao de conjunto : A !

R
+
em que

R
+
=R
+
[{+} e uma func ao positiva. A func ao e aditiva-s em
relac ao ` a algebra-s A se, se vericarem os axiomas seguintes:
a) (/ 0) = 0 e (A) 0 para todo o A 2 A.
b) Se A
n
2 A e A
i
\A
j
= / 0, para todo o i 6= j, ent ao ([
n
A
n
) =
n
(A
n
).
1.2. Medida de Lebesgue 7
4 2 0 2 4
0.0
0.5
1.0
1.5
2.0
2.5
3.0
x
1x n1
a
f
1
x
4 2 0 2 4
0.0
0.5
1.0
1.5
2.0
2.5
3.0
x
1x n3
b
f
3
x
Figura 1.2: Aproximac oes ` a func ao f (x) = 1/|x|, com x 2 R, atrav es das func oes
simples f
n
(x) denidas em (1.1). Em a), escolheu-se n = 1. Em b), escolheu-se
n = 3.
Nestas condic oes, e uma medida sobre A e (X, A, ) e um espaco de me-
dida. A algebra-s A e o domnio da medida .
Uma consequ encia imediata da denic ao de medida e que, se A B, ent ao
(A) (B). Como B=A[(BA), tem-se que (B) =(A)+(Ba) (A).
1.2 Medida de Lebesgue
Seja o espaco euclidiano R
k
. Um k-intervalo ou k-cubo I e um conjunto de pontos
de R
k
cujas coordenadas vericam,
a
i
x
i
b
i
i = 1, 2, . . . , k.
Um k-cubo pertence ` a algebra-s de Borel de R
k
e e portanto um conjunto men-
sur avel. Por denic ao, o k-volume de I ou volume a k dimens oes e,
`(I) =
k

i=1
(b
i
a
i
)
Seja A um subconjunto de R
k
e suponha-se que, A [
j
I
j
, em que os I
j
s ao
k-cubos de uma cobertura
2
de A, no m aximo cont avel. A medida exterior de A e,

(A) = inf
coberturas

j
`(I
j
)
em que o nmo e tomado sobre todas as coberturas nitas ou numer aveis de A.
A medida interior de A e,

(A) = sup
KA

(K)
2
Uma famlia de conjuntos {I
j
} e uma cobertura de A, se A [
j
I
j
.
8 1. Medida e Integrac ao
em que K e um subconjunto fechado contido em A e o supremo e tomado sobre
todos os conjuntos fechados contidos em A. Diz-se que o conjunto A e mensur avel
` a Lebesgue se,

(A) =

(A) = (A)
e (A) designa-se por medida de Lebesgue de A.
Teorema 1.1. Seja I um k-cubo ou k-intervalo em R
k
. Na algebra-s de Borel de
R
k
existe uma medida unica , tal que,
(I) =
k

i=1
(b
i
a
i
)
A func ao positiva e a medida de Lebesgue e todos os conjuntos de Borel s ao
mensur aveis ` a Lebesgue.
Todos os Borelianos s ao mensur aveis ` a Lebesgue, mas nem todos os subcon-
juntos de R
k
s ao mensur aveis ` a Lebesgue. Da mesma maneira, existem conjuntos
mensur aveis que n ao s ao Borelianos.
Para a construc ao da medida de um conjunto qualquer recorre-se ` a noc ao de
conjunto elementar. Um conjunto de R
k
e elementar se pode ser posto como a
uni ao nita de k-cubos, disjuntos dois a dois.
Um conjunto A R
k
e mensur avel ` a Lebesgue se, para todo o e > 0, existe um
conjunto elementar B tal que,
(ADB) := ((AB) [(BA)) < e
em que AB = (A\B) \A e BA = (A\B) \B.
Os espacos euclidianos (R
k
, B, ) s ao espacos de medida com as noc oes gerais
de comprimento, area, volume, etc..
Vejamos um exemplo de espacos de medida: os espacos de probabilidade.
Seja (X, A, ) um espaco de medida sujeito ` a condic ao (X) = 1. Assim,
(X, A, ) e um espaco de probabilidade e e uma medida de probabilidade. Por
exemplo,

[0, 1], B,
Leb

e um espaco de probabilidade, em que


Leb
e a me-
dida de Lebesgue e a algebra-s de Borel e gerada por todos os intervalos abertos,
fechados ou semi-abertos de [0, 1].
Seja o espaco de probabilidade

[0, 1], B,
Leb

e [a, b] um intervalo contido


em [0, 1]. Uma vari avel aleat oria x
t
e uma func ao do tempo, discreto ou contnuo,
que assume valores num certo conjunto. A vari avel aleat oria x
t
que assume valores
no intervalo [0, 1] e equidistribuda, se a probabilidade de ocorr encia de x
t
2 [a, b]
e igual ` a medida de Lebesgue de [a, b]: P(x
t
2 [a, b]) = (b a). Sendo p(x) a
densidade de probabilidade da vari avel aleat oria x
t
, tem-se que,
P(x
t
2 [a, b]) =
Z
b
a
p(x)dx =
Z
b
a
1dx = ba
1.2. Medida de Lebesgue 9
e a func ao p(x) = 1 aparece associada ` a medida de Lebesgue. Muitas vezes
confunde-se a medida da Lebesgue, ([a, b]) = (b a), com a densidade de pro-
babilidade p(x) = 1. Assim, associando medida de Lebesgue com densidade de
probabilidade, e possvel construir um algoritmo para a determinac ao de areas.
Seja N o n umero de pontos equidistribudos no interior de um rect angulo Q,
com lados de comprimento a e b. A area ou medida de Lebesgue de Q e,
Z
a
0
Z
b
0
dxdy = ab
Seja S um subconjunto de Q. Dada uma sucess ao de n umeros {a
i
}
N
i=1
, equidistri-
budos no rect angulo Q, no limite N !, tem-se que,
P(a
i
2 S) =
R R
S
dxdy
R
a
0
R
b
0
dxdy
Seja N
S
o n umero de pontos da sucess ao {a
i
} que est ao no interior de S, gura 1.3.
Ent ao,
area de S = area de Q P(a
i
2 S) = (ab)
N
S
N
S
Q
Figura 1.3: M etodo de Monte Carlo para a determinac ao de areas e integrais em
R
k
. A raz ao entre o n umero de pontos no interior de S e o n umero total de pontos
no rect angulo Q e proporcional ` a raz ao entre as areas de S e de Q.
A ligac ao entre probabilidade, medida e area permite construir um algoritmo
para a determinac ao aproximada de areas de guras complicadas. Esta t ecnica,
designa-se por m etodo de Monte Carlo, e especialmente util para a determinac ao
de integrais em R
k
. Por exemplo, se f : R
k
!R, o seu integral sobre um con-
junto mensur avel A R
k
pode ser determinado da seguinte maneira: Seja a su-
cess ao de n umeros {a} = {a
1
, a
2
, . . . , a
N
} com a
i
= (a
i,1
, . . . , a
i,k
, y) 2 R
k+1
, em
que (a
i,1
, . . . , a
i,N
) 2 A, C
1
y C
2
e C
1
e C
2
s ao constantes tais que, C
1
< min
A
f
e C
2
> max
A
f . Se {a} e uma sucess ao equidistribuida no seu domnio, seja N
A
o
n umero de elementos de {a} para o qual f (a
i,1
, . . . , a
i,N
) y. Ent ao, tem-se que,
R
A
f u (A)(C
2
C
1
)N
A
/N.
10 1. Medida e Integrac ao
1.3 Conjuntos de medida nula

E possvel encontrar conjuntos de medida de Lebesgue nula e com a pot encia do


contnuo. Um exemplo deste tipo de conjuntos e o conjunto tern ario de Cantor.
0 1
13 23
19 29
C
0
C
1
C
2
Figura 1.4: Construc ao do conjunto tern ario de Cantor.
Para se construir o conjunto tern ario de Cantor, comeca-se por subdividir o
intervalo [0, 1] em tr es partes iguais e retira-se o conjunto aberto (1/3, 2/3), -
gura 1.4. A cada um dos intervalos [0,
1
3
] e [
2
3
, 1] retira-se um intervalo aberto de
comprimento igual a um terco do comprimento do intervalo inicial. Repetindo este
procedimento, obtem-se uma sucess ao de conjuntos C
n
da forma,
C
0
= [0, 1]
C
1
=

0,
1
3

2
3
, 1

C
2
=

0,
1
9

2
9
,
1
3

2
3
,
7
9

8
9
, 1

.
.
.
Designando cada subintervalo de C
n
por I
n j
, com j = 1, . . . , 2
n
, tem-se que, C
n
=
S
2
n
j=1
I
n j
. O conjunto tern ario de Cantor e o conjunto,
C

\
n=0
C
n
A medida de Lebesgue de C
n
e, (C
n
) =
2
n
3
n
=

2
3

n
, e a medida de Lebesgue
de C

e lim
n!
(C
n
) = (C

) = 0. Por outro lado, C

n ao e vazio, pois, por


exemplo, {0}, {1/3} 2C

. Assim, o conjunto tern ario de Cantor C

tem medida
de Lebesgue zero.
Pode-se agora mostrar que o conjunto tern ario de Cantor tem a pot encia do
contnuo. Isto e, C

tem tantos elementos como o intervalo [0, 1], ou como o con-


junto dos n umeros reais. Por construc ao, o desenvolvimento tern ario de x 2 C

e,
x =

i=1
a
i
3
i
com a
i
= 0 ou 2. Fazendo a correspond encia biunvoca, (a
i
= 0) !(b
i
= 0) e
(a
i
=2) !(b
i
=1), todo o n umero x de C

e bijectivamente aplicado num n umero


1.3. Conjuntos de medida nula 11
x
0
2 [0, 1] atrav es de,
x =

i=1
a
i
3
i
! x
0
=

i=1
b
i
2
i
Como,

i=1
b
i
2
i
, com b
i
= 0 ou 1, e o desenvolvimento bin ario de um n umero qual-
quer do intervalo [0, 1], x
0
pode ser qualquer n umero no intervalo [0, 1]. Assim o
conjunto de Cantor C

tem a mesma pot encia que o intervalo [0, 1], ou seja, C

tem
a pot encia do contnuo.
Conclumos assim que existem conjuntos de medida de Lebesgue nula que t em
tantos elementos como o intervalo [0, 1]. No entanto, a medida de Lebesgue do
intervalo [0, 1] e 1 e a medida de Lebesgue do conjunto tern ario de Cantor e 0.
Os conjuntos de medida nula t em um papel importante na construc ao do inte-
gral de Lebesgue e na teoria dos espacos de func oes (Captulo 2).
Um conjunto A, n ao necessariamente mensur avel, e de medida nula, se existir
um conjunto mensur avel B tal que, A B e (B) = 0.

E intuitivo ver que cer-
tas propriedades se mant em para conjuntos que diferem atrav es de conjuntos de
medida nula.

E o caso dos conjuntos [a, b] e (a, b), em que ([a, b]) = ((a, b)).
Pois, como, [a, b]D(a, b) = {a, b}, vem que, ([a, b]D(a, b)) = 0. Assim, quando
uma propriedade n ao e v alida apenas sobre conjuntos de medida nula, diz-se que
a propriedade e v alida quase por todo o lado (q.t.`.). Assim, (q.t.`.) dene uma
relac ao de equival encia em medida.
Por exemplo, em relac ao ` a medida de Lebesgue, as func oes f , g : [0, 1] ![0, 1]
denidas como,
f (x) = x e g(x) =

x se x e irracional
1 se x e racional
s ao iguais quase por todo o lado, isto e, f (x) =g(x) (q.t.`.), ou ainda, f e g diferem
apenas num conjunto de medida nula do domnio comum.
Podemos agora relacionar as func oes mensur aveis com as func oes contnuas.
Teorema 1.2 (Lusin). Seja a medida de Lebesgue em R. Uma func ao f (x) :
[a, b] !R e mensur avel no intervalo [a, b] se, e somente se, para todo o e > 0,
existe uma func ao j(x), contnua em [a, b], tal que,
({x 2 [a, b] : f (x) 6= j(x)}) e
Assim, pelo Teorema de Lusin, uma func ao e mensur avel num intervalo [a, b]
se ela difere de uma func ao contnua apenas num conjunto de medida nula. Em
particular:
Corol ario 1.3. Todas as func oes contnuas s ao mensur aveis.
12 1. Medida e Integrac ao
1.4 Integral de Lebesgue
Seja, (X, A, ) um espaco de medida e f : X !R uma func ao simples,
f (x) =
n

i=1
a
i
c
A
i
(x) , a
i
2 R
em que A
i
2 A, i = 1, . . . n. Como os conjuntos, A
i
2 A, i = 1, . . . n, s ao men-
sur aveis, o integral de Lebesgue de f (x) e denido por,
Z
X
f (x)d(x) =
n

i=1
a
i
(A
i
).
Tamb em se utilizam as notac oes,
Z
X
f (x)(dx) ,
Z
X
f (x)d(x) ,
Z
X
f (x)(x)dx.
Como se viu, e sempre possvel construir uma sucess ao de func oes simples que
convergem ponto a ponto para f . Assim, e possvel extender a denic ao de integral
de Lebesgue para uma classe mais geral de func oes. Um consequ encia imediata
da denic ao de integral e que se duas func oes simples e mensur aveis diferem uma
da outra num conjunto de medida nula, ent ao os seus integrais de Lebesgue s ao
iguais.
Se f (x) : X !R e uma func ao n ao negativa e mensur avel e { f
n
(x)} e uma su-
cess ao de func oes simples convergentes para f (x) (q.t.`.), o integral de Lebesgue
de f em relac ao ` a medida e,
Z
X
f d = lim
n!
Z
X
f
n
(x)d(x) (<)
e, pode-se mostrar que, esta denic ao e independente da sucess ao escolhida.
No caso emque f (x) n ao e uma func ao positiva, pode-se aplicar a decomposic ao,
f = f
+
f

e, devido ` a aditividade do integral, todos os resultados mant em-se


v alidos.
Lema 1.4 (Fatou). Seja { f
n
} uma sucess ao de func oes mensur aveis de X para R
ou C e suponha-se que { f
n
} converge para f (q.t.`.). Se, para todo o n, existe uma
constante k tal que,
R
X
f
n
(x)d k, a func ao f e integr avel ` a Lebesgue em X e
R
X
f (x)d k.
Por exemplo, seja f (x) = lim
n!
x
n
, com x 2 [0, 1]. Ent ao como,
I
n
=
Z
1
0
x
n
dx =
1
n+1
1
para todo o n 0, pelo lema de Fatou, a func ao f e integr avel ` a Lebesgue e,
lim
n!
Z
1
0
x
n
dx =
Z
1
0
f (x)dx = 0
pois, para n sucientemente grande, I
n
e majorado por um n umero sucientemente
pequeno.
1.5. A dimens ao de Hausdorff 13
Teorema 1.5 (converg encia dominada de Lebesgue). Seja { f
n
} uma sucess ao de
func oes mensur aveis de X para R ou C e suponha-se que { f
n
} converge para f
(q.t.`.). Se existe uma func ao g, integr avel em relac ao ` a medida de Lebesgue e
tal que, para todo o n 0, | f
n
| g, ent ao,
lim
n!
Z
X
f
n
d =
Z
X
f d <
Assim, sobre a hip otese da converg encia dominada, podemos sempre permutar
o sinal de limite com o sinal de integral.
Na teoria da integrac ao de Riemann, para que o integral de uma func ao exista, a
func ao integranda tem de ser contnua e limitada num intervalo fechado e limitado.
Por outro lado, o limite de uma func ao integr avel ` a Riemann n ao e necessariamente
integr avel. Ora, esta situac ao levanta problemas ao construir os espacos de func oes
da an alise funcional. Na teoria de Lebesgue, as condic oes de integrabilidade s ao
menos restritivas do que na teoria de Riemann (Exerccio 1.5), podendo-se sempre
passar ao limite, desde que se veriquem as hip oteses do teorema de Lebesgue, ou
seja, desde que,
Z
X
| f
n
|d <
Em tudo o que se segue, todos os integrais dever ao ser entendidos no sentido de
Lebesgue e todos os espacos s ao considerados espacos mensur aveis, estando de-
nida implicitamente uma algebra-s can onica. Nos espacos euclidianos considera-
se sempre a algebra-s dos Borelianos.
Quando se estende a teoria de Lebesgue para func oes a duas vari aveis tem-se:
Teorema 1.6 (Fubini). Seja f (x, y) : X Y !R uma func ao mensur avel e supo-
nha-se que,
Z
f (x, y)d(x) e
Z
f (x, y)dn(y)
s ao ambas func oes integr aveis, isto e, os integrais,
Z
dn(y)
Z
| f (x, y)|d(x) e
Z
d(x)
Z
| f (x, y)|dn(y)
s ao nitos. Ent ao,
Z Z
f (x, y)d(x)dn(y) =
Z

Z
f (x, y)d(x)

dn(y)
=
Z

Z
f (x, y)dn(y)

d(x)
1.5 A dimens ao de Hausdorff
A medida exterior de Hausdorff generaliza o conceito de medida de Lebesgue e e
utilizada para comparar conjuntos de medida de Lebesgue nula. A necessidade
14 1. Medida e Integrac ao
deste novo conceito resulta do facto da construc ao de medida depender da di-
mens ao dos conjuntos. Por exemplo, o intervalo [0, 1] como subconjunto de R
tem medida de Lebesgue um. Quando considerado como subconjunto de R
k
, com
k 2, a medida de Lebesgue de [0, 1] e zero.
Seja A um subconjunto de R
k
e dena-se o di ametro de A como |A| :=sup{|x
y| : x, y 2 A}. Seja {I
j
} uma cobertura nita de A em que cada elemento da cober-
tura tem di ametro menor ou igual que e. A medida exterior de Hausdorff de A e
denida como,
H

d
(A) = lim
e!0
inf
coberturas

j
|I
j
|
d
em que o nmo e tomado sobre todas as coberturas nitas de A. Esta denic ao s o
faz sentido quando H

d
(A) e nito, isto e, quando existe uma constante d tal que,
0 < H

d
(A) <. Como se ver a, a constante d tem o signicado de uma dimens ao.
Nos casos em que d e um inteiro, H

d
(A) =

(A), em que

e a medida
exterior de Lebesgue em dimens ao (inteira) d = n.
Por exemplo, se I e um intervalo de comprimento `, |I| = (I), tem-se que,
H

d
(I) = lim
e!0
inf
coberturas

j
((I
j
))
d
Se os elementos I
j
da cobertura {I
j
} s ao tomados com comprimento e = `/N,
tem-se que,
H

d
(I) = lim
N!
N

j=1
(
`
N
)
d
= lim
N!
N

`
N

d
= lim
N!
`
d
N
1d
e portanto,
H

d
(I) =
8
<
:
+ se d < 1
` se d = 1
0 se d > 1
Como se conclui deste exemplo, o expoente d tem o signicado de uma di-
mens ao dimens ao de Hausdorff ou dimens ao fractal.
Quando e possvel encontrar uma partic ao regular de um conjunto em subcon-
juntos de medida de Lebesgue igual, pode-se facilmente determinar a dimens ao de
Hausdorff do conjunto. Assim, para A R
k
, cada elemento I
j
da cobertura em
k-cubos, de lado e, tem di ametro |I
j
| =
p
ke, e,
H

d
(A)
N grande
N(
p
ke)
d
ou seja,
d = lim
e!0
lnH

d
(A)
ln(
p
ke)
lim
e!0
lnN
ln(
p
ke)
= lim
e!0
lnN
ln
1
p
ke
em que N e o n umero de elementos da cobertura de A. Claro est a que, por hip otese,
lnH

d
(A) e nito e N N(e). O n umero d assim determinado designa-se por ca-
pacidade ou dimens ao fractal do conjunto A.
1.6. Exerccios 15
0.0 0.2 0.4 0.6 0.8 1.0
-1.5
-1.0
-0.5
0.0
0.5
1.0
1.5
D=1.5
0.0 0.2 0.4 0.6 0.8 1.0
-3
-2
-1
0
1
2
3
D=1.8
Figura 1.5: Gr acos da func ao de Weierstrass-Mandelbrot (1.2), para D = 1.5 e
D = 1.8, com g = 1.5. A constante D e a dimens ao de Hausdorff do gr aco de f .
Por exemplo, se d = ln2/ln3, a medida de Hausdorff do conjunto tern ario de
Cantor e H

d
(C

) =1. Ora vejamos. Se H

d
(C

) e uma constante positiva, podemos


cobrir os conjuntos C
n
por 2
n
intervalos de comprimento 1/3
n
, e, portanto,
H

d
(C

) = lim
n!
2
n

1
3
n

d
= lim
n!

2
3
d

n
= constante
Como, lim
n!
ln(constante)/n = (ln2d ln3) = 0, tem-se que,
d = ln2/ln3 = 0, 6309. . .
Assim, em dimens ao d = 0, 6309. . ., a medida exterior de Hausdorff do conjunto
tern ario de Cantor e H

d
(C

) = (2/3
d
)
n
= 1
n
= 1. Por exemplo, a medida de Haus-
dorff de A =C

\[0, 1/2] e zero em dimens ao 1 mas, em dimens ao ln2/ln3, e,


H
ln2/ln3
(A) = lim
n!
2
n1

1
3
n

ln2/ln3
=
1
2
Os gr acos de func oes tamb em podem ter dimens oes n ao inteiras.

E o caso da
func ao contnua e n ao diferenci avel de Weierstrass-Mandelbrot,
f (x) =
+

n=
(1)
n
sing
n
x
g
(2D)n
(1.2)
em que g > 1 e 1 < D < 2. Na gura 1.5, est ao representados os gr acos de f (x)
para D = 1.2 e D = 1.5, com g = 1.5. A constante D e a dimens ao de Hausdorff
do gr aco de f .
1.6 Exerccios
1.1) Mostre que a denic ao usual de func ao contnua e equivalente ` a seguinte
denic ao: Sejam X e Y espacos topol ogicos. Uma func ao f : X !Y e contnua, se
f
1
(V) e um aberto de X, sempre que V e um aberto de Y.
16 1. Medida e Integrac ao
1.2) Sejam f , g : X !R func oes mensur aveis. Mostre que f +g, f
2
, f g e 1/ f s ao
func oes mensur aveis. Neste ultimo caso, suponha que f (x) 6= 0.
1.3) Mostre que a medida de Lebesgue de qualquer conjunto nito ou numer avel
da recta e zero. Em particular, determine a medida de Lebesgue dos conjuntos dos
n umeros racionais e irracionais do intervalo [0, 1].
1.4) Faca uma estimativa de p usando apenas papel e l apis. Comece por desenhar
m ao um quadrado com uma circunfer encia inscrita. Coloque v arios pontos no
interior do quadrado. Faca a contagem e c alcule uma aproximac ao a p.
1.5) Considere a func ao simples (func ao de Dirichlet) f (x) : [0, 1] !R, em que,
f (x) =

0 se x e racional
1 se x e irracional
Calcule o integral
R
1
0
f (x)dx, no sentido de Lebesgue. Use resultados do Exerccio
1.3). Mostre ainda que a func ao f (x) n ao e contnua.
1.6) Determine a dimens ao de Hausdorff do conjunto do plano obtido atrav es das
operac oes indicadas na gura (curva de Koch). Note que, em cada iterac ao, os
comprimentos dos segmentos de recta s ao os mesmos.
0 1 0 1
13
0 1
13
1.7) Qual a dimens ao de Hausdorff do conjunto dos n umeros reais do intervalo
[0, 1] que n ao cont em dgitos pares nas bases decimal, tern aria e quatern aria.
Captulo 2
Espacos de func oes e espacos de
Hilbert
Depois de relembrar as denic oes de corpo e de espaco vectorial, faz-se a cons-
truc ao dos espacos de Hilbert, Lebesgue, Sobolev e Banach. Demonstram-se as
desigualdades de Cauchy-Schwarz e de Minkovski. Introduz-se o primeiro exemplo
de operador e chega-se ` a necessidade do conceito de base de um espaco vectorial
de dimens ao innita.
2.1 Espacos pr e-Hilbertianos
Na fsica moderna e em especial na mec anica qu antica e na teoria dos campos, os
observ aveis fsicos est ao associados a operadores que actuam sobre func oes que
caracterizam o estado dos sistemas. Destas acc oes resultam os valores num ericos
do estado de um sistema. A an alise funcional d a-nos as ferramentas necess aria
para abordar este tipo de problemas.
A an alise funcional e um formalismo muito semelhante ao da algebra linear
em que os espacos aritm eticos reais ou complexos s ao substituidos por espacos de
func oes. Embora os espacos da algebra linear sejamde dimens ao nita e os espacos
da an alise funcional sejam de dimens ao innita, muitos dos resultados da algebra
linear podem ser transportados para a an alise funcional com as modicac oes ine-
rentes ` a mudanca de dimens ao. Assim, muita da nossa intuic ao da algebra linear
pode ser transportada para o estudo dos espacos de func oes.
Vamos ent ao relembrar o que e um espaco vectorial sobre um corpo K. Em
tudo o que se segue, e sem especicac ao em contr ario, consideramos sempre que
K =C.
Um conjunto K, juntamente com as duas operac oes associativas +e ., e
um corpo se, se vericarem as seguintes condic oes:
i) Se, x, y 2 K ent ao, x +y = y +x 2 K e x.y = y.x 2 K.
ii) Se, x 6= 0 ent ao, x 2 K e 1/x 2 K.
17
18 2. Espacos de Hilbert
iii) 0 e 1 2 K.
iv) Para todo x, y, z 2 K, x.(y +z) = x.y +x.z.
Um conjunto H = {f , g, . . .} tem uma estrutura de espaco vectorial sobre um
corpo K se:
i) H e um grupo abeliano (comutativo) em relac ao ` a operac ao +:
i1) Se, f , g 2 H ent ao, f +g = g+ f 2 H.
i2) Existe em H um elemento, 0, tal que f +0 = 0 + f = f , para todo o
f 2 H.
i3) Para todo o f 2 H existe f 2 H tal que, f f = 0.
ii) Multiplicac ao por elementos do corpo K. Se c
1
, c
2
2 K ent ao,
ii1) Para todo o f 2 H, c f 2 H.
ii2) Distributividade:
(c
1
+c
2
) f = c
1
f +c
2
f
c
1
( f +g) = c
1
f +c
1
g
ii3) Associatividade: (c
1
.c
2
) f = c
1
.(c
2
f ).
ii4) 0. f = 0 , 1. f = f .
S ao exemplos de espacos vectoriais de dimens ao nita o conjunto dos n umeros
reais R
n
e o conjunto dos n umeros complexos C
n
. No primeiro caso, o corpo
K =R. No segundo caso, K =C.
Seja H um espaco vectorial H de dimens ao nita n, diz-se que os elementos
e
i
2 H, i = 1, . . . , n, com ae
i
6= e
j
para todo o i 6= j e a 2 K, formam uma base de
H, se todo o elemento u 2 H se escreve de uma forma unica como,
u =
n

i=1
l
i
e
i
em que l
i
2 K
Seja o conjunto de todas as func oes analticas, denidas no intervalo [1, 1] e
com valores emR ou C. Vamos designar este conjunto por C
w
([1, 1]). Denindo
as operac oes usuais sobre elementos de C
w
([1, 1]), verica-se facilmente que
C
w
([1, 1]) e um espaco vectorial sobre R ou C. O problema que se levanta agora
e o de saber qual a dimens ao de C
w
([1, 1]). Vamos considerar a func ao e
x
2
C
w
([1, 1]). Como sabemos,
e
x
=

n=0
1
n!
x
n
Como, para todo o x 2 [1, 1], n ao e possvel escrever a func ao x
p
como uma
combinac ao linear de pot encias de x diferentes de p, podemos dizer que C
w
([1, 1])
2.1. Espacos pr e-Hilbertianos 19
n ao tem dimens ao nita, mas sim, dimens ao innita numer avel
1
. Isto e, podemos
tomar o conjunto de func oes {x
n
}
n0
como um candidato a uma base do espaco
vectorial C
w
([1, 1]).
Vejamos agora como denir produto interno no espaco vectorial H sobre o
corpo K(=C).
Um produto interno ou produto escalar e uma func ao, < , >: H H !K,
que verica:
a) Para todo o f , g 2 H , < f , g >=< g, f >

(simetria ou hermiticidade).
b) Se f 6= 0 , < f , f > 0 e se < f , f >= 0, ent ao f = 0 (positividade).
c) Se f , g, h 2 H e a
1
, a
2
2 K, ent ao,
< a
1
f , g >= a

1
< f , g >, e,
< a
1
f +a
2
g, h >= a

1
< f , h > +a

2
< g, h > (K-linearidade).
Um espaco vectorial H sobre um corpo K com um produto interno e um espaco
pr e-Hilbertiano, eventualmente de dimens ao innita.
Das propriedades do produto interno decorre que,
< f , ag > = a < f , g >
< f , a
1
g+a
2
h > = a
1
< f , g > +a
2
< f , h >
em que a, a
1
, a
2
2 K e f , g 2 H.
As func oes,
R
n
: < x, y >=
n

i=1
x
n
y
n
C
n
: < z, w >=
n

i=1
z

n
w
n
s ao exemplos de produtos internos em R
n
e C
n
. Assim, R
n
e C
n
s ao espacos pr e-
Hilbertianos.
Exemplo de espaco pr e-Hilbertiano de dimens ao innita. Designa-se por `
2
o
conjunto de todas as sucess oes de elementos de C que obedecem a,

i=1
|c
i
|
2
<
em que c
n
2 C, por todo o n 1. Os elementos de `
2
escrevem-se como listas
innitas de n umeros, c = (c
1
, c
2
, . . .).
1
O facto de a dimens ao ser innita numer avel depende da algebra-s e da medida denida no
intervalo [1, 1]. C
w
([1, 1]) tem dimens ao innita numer avel para a medida de Lebesgue dx ou
para medidas absolutamente contnuas em relac ao ` a medida de Lebesgue medidas da forma d =
p(x)dx.
20 2. Espacos de Hilbert
Denindo as operac oes sobre sucess oes,
(c
1
, c
2
, . . .) +(d
1
, d
2
, . . .) := (c
1
+d
1
, c
2
+d
2
, . . .)
l(c
1
, c
2
, . . .) := (lc
1
, lc
2
, . . .)
o espaco `
2
e um espaco vectorial sobre C. De facto, todas as propriedades dos
espacos vectoriais s ao facilmente vericadas bastando mostrar que as propriedades
i1) e ii2) s ao verdadeiras. Assim, se f , g 2 `
2
e l
1
, l
2
2 C, vejamos que (l
1
f +
l
2
g) 2 `
2
. Ora,

|l
1
f
i
+l
2
g
i
|
2
2l
2
1
| f
i
|
2
+2l
2
2
|g
i
|
2
<
em que se usou a desigualdade (a+b)
2
(a+b)
2
+(ab)
2
= 2a
2
+2b
2
.
Denindo em `
2
o produto interno,
< c, d >=

i=1
c

i
d
i
`
2
e um espaco pr e-Hilbertiano de dimens ao innita. De fact, como `
2
e um espaco
vectorial, tem-se que, < c +d, c +d >< , o que implica que < c, d > seja nito
desde que c, d 2 `
2
. Mais ` a frente ver-se- a que `
2
e um espaco de Hilbert.
Atrav es do produto interno podemos denir uma norma. A norma de uma
func ao f 2 H e uma func ao n ao negativa, || || : H !R
+
, denida por,
|| f || : =
p
< f , f >
As relac oes entre produto interno e norma s ao dadas pelo seguinte teorema:
Teorema 2.1. Seja H e um espaco vectorial sobre um corpo K com um produto
interno, < , >: HH !K. Ent ao, t em-se as desigualdades:
a) | < f , g > | || f ||.||g|| Desigualdade de Cauchy-Schwarz.
b) || f +g|| || f || +||g|| Desigualdade de Minkovski.
Demonstrac ao. Desigualdade de Cauchy-Schwarz. Se f = 0, a desigualdade e
trivialmente vericada. Seja ent ao l =
<f ,g>
<f , f >
, com, f , g 6= 0. Ora,
0 < gl f , gl f >=< g, gl f >l

< f , gl f >
=< g, g >l < g, f >l

< f , g > +l

l < f , f >
= ||g||
2

|<f ,g>|
2
<f , f >

|<f ,g>|
2
<f , f >
+
|<f ,g>|
2
<f , f >
e portanto | < f , g > |
2
||g||
2
.|| f ||
2
.
Desigualdade de Minkovski. Suponha-se que se demonstrou que,
Real < f , g >|| f ||.||g||
2.1. Espacos pr e-Hilbertianos 21
Nestas condic oes, vem que,
|| f +g||
2
=< f +g, f +g >
=< f , f > + < f , g > + < g, f > + < g, g >
= || f ||
2
+||g||
2
+2Real < f , g >
|| f ||
2
+||g||
2
+2|| f ||.||g||
= (|| f || +||g||)
2
e portanto
|| f +g|| || f || +||g||
Demonstre-se agora a desigualdade, Real < f , g >|| f ||.||g||. Ora,
||u||
2
+||v||
2
2Real < u, v >
=< u, u > + < v, v >< u, v >< v, u >
=< u, uv > + < v, v u >
=< u, uv >< v, uv >
=< uv, uv > 0
Seja uma constante real a, tal que
u = af e v =
1
a
g
Como, ||u||
2
+||v||
2
2Real < u, v > 0, tem-se que,
a
2
|| f ||
2
+
1
a
2
||g|
2
2Real < f , g > 0
Como a desigualdade anterior e v alida para todo o a 6= 0, tamb em e v alida para o
valor de a que minimiza a desigualdade anterior. Ent ao, com, 2a|| f ||
2

2
a
3
||g||
2
=
0, vem que, a
2
= ||g||/|| f ||, em que || f || 6 = 0, e portanto, substituindo o valor de a
2
na desigualdade anterior,
||g||.|| f || +|| f ||.||g|| 2Real < f , g >
ou seja, Real < f , g >|| f ||.||g|| e o teorema est a demonstrado.
Em espacos vectoriais sobre o corpo dos n umeros reais e de dimens ao nita,
tem-se que,
< f , g >= || f ||.||g|| cosq
em que q e o angulo entre os dois vectores f e g. Como | cosq| 1, tem-se que,
| < f , g > | || f ||.||g||. Assim, a desigualdade de Cauchy-Schwarz arma que
em espacos vectoriais de dimens ao innita ainda faz sentido denir o angulo entre
dois vectores atrav es da relac ao, cosq :=< f , g > /|| f ||.||g||. Nestas condic oes,
podemos dizer que dois vectores f e g de um espaco pr e-Hilbertiano s ao ortogonais
se, < f , g >= 0.
22 2. Espacos de Hilbert
2.2 Espacos de Hilbert
Introduziu-se uma norma atrav es da denic ao de produto interno. Inversamente,
pode-se denir uma norma e portanto de uma estrutura de espaco m etrico ou nor-
mado e chegar ao produto interno.
Suponha-se que H um espaco vectorial sobre um corpo K e seja uma func ao,
|| || : H !R
+
, que verica as propriedades:
a) ||l f || = |l|.|| f ||.
b) || f +g|| || f || +||g||.
c) Se, || f || = 0 ent ao, f = 0.
Nestas condic oes, H e um espaco vectorial normado ou espaco m etrico. Uma
dist ancia em H e, por denic ao,
d( f , g) = || f g||
Claro que a norma denida ` a custa do produto interno obedece ` as condic oes a),
b) e c). Est a assim estabelecida a relac ao entre espacos m etricos e espacos com
produto interno. Todo o espaco vectorial sobre um corpo K com produto interno e
um espaco normado.
Seja H um espaco vectorial normado ou com produto interno. Uma sucess ao
{ f
n
}
n2N
de elementos de H converge na norma para f 2 H se,
|| f
n
f || !0 quando n !
Uma sucess ao { f
n
} e de Cauchy no sentido da norma se, para todo o e > 0, existe
um inteiro N
e
tal que, para todo o n, m > N
e
,
|| f
n
f
m
|| < e .
Um espaco vectorial H com uma norma ou um produto interno e completo, se
toda a sucess ao de Cauchy e convergente no sentido da norma. S ao exemplos de
espacos completos os conjuntos R
n
e C
n
. Por exemplo, o espaco vectorial Q sobre
o corpo Q n ao e completo.
Vejamos agora que o espaco de dimens ao innita `
2
e completo. Seja {c
(n)
}
n
uma sucess ao de Cauchy em `
2
. Ent ao, para todo o e > 0, existem inteiros n e m,
com n, m > N
e
, e tais que, ||c
(n)
c
(m)
|| < e. Ou seja,
||c
(n)
c
(m)
||
2
=

i=1
|c
(n)
i
c
(m)
i
|
2
< e
2
Assim, |c
(n)
i
c
(m)
i
| < e para todo n, m > N
e
. Daqui conclui-se que para cada i, a
sucess ao {c
(n)
i
}
n
e de Cauchy em C e portanto e uma sucess ao convergente. Seja
2.2. Espacos de Hilbert 23
c
i
= lim
n!
c
(n)
i
e c = (c
1
, c
2
, . . .). Queremos agora mostrar que c
(n)
!c e que
c 2 `
2
. Da desigualdade anterior decorre que,
k

i=1
|c
(n)
i
c
(m)
i
|
2
< e
2
para todo o inteiro positivo k e n, m > N
e
. No limite m !, c
(m)
i
!c
i
, e como e
n ao depende de k,

i=1
|c
(n)
i
c
i
|
2
< e
2
com n > N
e
. Desta ultima condic ao, decorre que (c
(n)
c) 2 `
2
. Como, c = c
(n)

(c
(n)
c), pela desigualdade de Minkovski, ||c|| ||c
(n)
|| +||c
(n)
c|| = ||c
(n)
|| +
e <e portanto, c 2`
2
e c
(n)
converge para c. Conclui-se assim que `
2
e completo.
Um espaco de Hilbert e um espaco vectorial com produto interno e completo.
Umespaco de Banach e umespaco vectorial normado e completo. Assim, o espaco
`
2
e um espaco de Hilbert.
Em tudo o que se segue vamos estar interessados apenas nos espacos de Hilbert
ou de Banach separ aveis: Um espaco de Hilbert ou de Banach e separ avel se
contem um subconjunto numer avel e denso. Neste contexto, a densidade de um
subconjunto de H dene-se da seguinte maneira: Seja um espaco de Hilbert H e
S um subconjunto de H. O subconjunto S e denso em H se, para todo o f 2 H e
d > 0, existe um g 2 S, tal que,
|| f g|| < d
Quando nos referimos a espacos de Hilbert, estamos a considerar implicitamente
espacos de Hilbert separados.
Como uma norma pode ser denida atrav es de um produto interno, vamos es-
tabelecer algumas propriedades desta relac ao.
Sejam f e g elementos de um espaco de Hilbert H. Ent ao, tem-se que,
|| f +g||
2
+|| f g||
2
=< f +g, f +g > + < f g, f g >
=< f , f > + < f , g > + < g, f > + < g, g >
+ < f , f >< f , g >< g, f > + < g, g >
= 2|| f ||
2
+2||g||
2
(2.1)
que e a igualdade do paralelogramo, gura 2.1. Assim, um espaco de Hilbert de
dimens ao innita herda naturalmente algumas das caractersticas geom etricas dos
espacos euclidianos.
Num espaco de Hilbert, pode-se determinar o produto interno em func ao da
norma igualdade de polarizac ao. Sejam f e g elementos de um espaco de
Hilbert. Calculando, || f +g||
2
|| f g||
2
, tem-se que,
|| f +g||
2
|| f g||
2
= 2 < f , g > +2 < g, f >= 4 Real < f , g >
24 2. Espacos de Hilbert
g
g
f f
fg
fg
Figura 2.1: Signicado geom etrico da igualdade do paralelogramo (2.1).
e portanto,
Real < f , g >=
1
4

|| f +g||
2
|| f g||
2

Com,
|| f +ig||
2
|| f ig||
2
= 2 < f , ig > +2 < ig, f >
= 2i(< f , g >< f , g >

)
=4 Im < f , g >
vem que,
Im < f , g >=
1
4

|| f +ig||
2
|| f ig||
2

Obtendo-se assim a igualdade de polarizac ao


< f , g >=
1
4
|| f +g||
2

1
4
|| f g||
2

i
4
|| f +ig||
2
+
i
4
|| f ig||
2
que permite determinar o produto interno atrav es da denic ao de norma.
Da denic ao de norma ` a custa do produto interno e da desigualdade de Min-
kovski, decorre que todo o espaco de Hilbert e um espaco de Banach. No entanto,
conclui-se facilmente que nem todo o espaco de Banach e um espaco de Hilbert.
Vejamos um exemplo de um espaco de Banach que n ao e um espaco de Hilbert.
Seja `
p
, com p 1, o conjunto de todas as sucess oes (c
1
, c
2
, . . .) tais que,

i=1
|c
i
|
p
<
Seja a norma em `
p
,
||c|| =

i=1
|c
i
|
p
!
1/p
(2.2)
O espaco `
p
assim construdo e um espaco de Banach para 1 p < . Sejam os
elementos de `
p
, x = (1, 1, 0, 0, . . .) e y = (1, 1, 0, . . .). Por (2.2), vem que,
||x +y|| = ||x y|| = 2 ; ||x|| = ||y|| = 2
1/p
||x +y||
2
+||x y||
2
= 8
2||x||
2
+2||y||
2
= 4.2
2/p
e, 8 6=4.2
2/p
para p 6=2, ou seja, a igualdade do paralelogramo s o e vericada para
p = 2. Ent ao `
p
, com p 6= 2, n ao e um espaco de Hilbert embora seja um espaco de
Banach. Assim, para p 6=2, a norma (2.2) n ao est a associada a um produto interno.
2.3. Espacos de Lebesgue 25
2.3 Espacos de Lebesgue
Os espacos de Lebesgue s ao exemplos de espacos de Banach. Seja (X, A, ) um
espaco de medida e considere-se o conjunto das func oes -mensur aveis ou -
som aveis em X e que obedecem ` a condic ao,
Z
X
| f |
p
d <
com p 1. Este espaco e designado por L
p

(X) e tem naturalmente a norma,


|| f ||
p
=

Z
X
| f |
p
d

1/p
(2.2)
Sejam f
1
e f
2
func oes de L
p

(X). Diz-se que f


1
e f
2
s ao equivalentes (q.t.`.),
isto e, f
1
f
2
, se,
|| f
1
f
2
||
p
=

Z
X
| f
1
f
2
|
p
d

1/p
= 0
O espaco de Lebesgue L
p

(X) e o espaco que resulta de L


p

(X) por introduc ao


da relac ao de equival encia , isto e, L
p

(X) =L
p

(X)/ . Assim, os elementos


dos espacos de Lebesgue s ao classes de equival encia de func oes que diferem por
conjuntos de -medida nula. Em geral, representa-se cada classe de equival encia
por um elemento da classe.
Teorema 2.2. Se X e um espaco de medida e (X) < , o espaco L
p

(X), com
1 p < , e completo e separ avel, donde um espaco de Banach separ avel. Se
1 p q <, ent ao L
q

(X) e um subespaco vectorial de L


p

(X). O espaco L
2

(X)
e um espaco de Hilbert.
O espaco das func oes de quadrado som avel em relac ao ` a densidade de medida
r(x) L
2
r
(X) e o espaco das func oes para as quais
Z
X
| f (x)|
2
r(x)dx =
Z
X
f

(x) f (x)r(x)dx <


O conjunto L
2
r
(X) e um espaco de Hilbert e de Banach com o produto interno,
< f , g >=
Z
X
f

(x)g(x)r(x)dx =
Z
X
f

(x)g(x)d(x)
Por exemplo, a func ao f (x) = e
x
2
e de quadrado som avel em relac ao ` a medida de
Lebesgue dx f (x) 2 L
2
1
(R) = L
2
(R) pois,
Z
+

|e
x
2
|
2
dx =
Z
+

e
2x
2
dx =
p
p/2 <
26 2. Espacos de Hilbert
O espaco de Hilbert L
2
e designado por espaco das func oes de quadrado som avel
ou simplesmente por espaco de Hilbert.
O espaco de Lebesgue L
p
, com p 1, e um espaco de Banach. Se p = , a
norma (2.2) deixa de fazer sentido. No entanto, denindo a norma do supremo
essencial como,
|| f ||

= ess sup
x2X
| f (x)|
:= inf{ a : | f (x)| a (q.t.l.) em X}
ent ao L

(X) e ainda um espaco de Banach com a norma || f ||

. No entanto, L

(X)
n ao e separ avel. Nesta norma, | f (x)| || f ||

(q.t.l.).
A caracterizac ao funcional dos elementos de um espaco de Banach pode ser
feita atrav es de func oes contnuas. Seja C
r
(X) o conjunto das func oes com r deri-
vadas contnuas no espaco mensur avel X. O conjunto das func oes contnuas em X
e C
0
(X). Como a continuidade e fechada para a multiplicac ao por n umeros reais
ou complexos e para a adic ao de func oes contnuas, C
0
(X) e um espaco vectorial.
Uma func ao f 2C
r
(X) tem suporte compacto se o fecho do conjunto {x : f (x) 6=0}
e compacto. O espaco C
r
loc
(X) e o espaco das func oes de suporte compacto conti-
das em C
r
(X) e C

(X) =\

r=0
C
r
(X).
Teorema 2.3. C
r
loc
(X) com r 0 e C

loc
(X) s ao densos em L
p

(X), com 1 p <.


Na teoria das equac oes ` as derivadas parciais e na an alise num erica surgem
ainda os espacos de Sobolev W
k,p
(X) denidos ` a custa da norma,
|| f ||
k,p
=

i=0
Z
X
| f
(i)
|
p
d
!
1/p
Em geral W
k,p
(X) s ao espacos de Banach. No caso particular em que p = 2, os
espacos de Sobolev W
k,2
(X) = H
k
(X) s ao espacos de Hilbert. Se f , g 2 H
k
(X),
ent ao o produto interno e denido como,
< f , g >
H
k =
k

i=0
< f
(i)
, g
(i)
>
L
2
2.4 Operadores
No que se segue vamos abordar o problema da representac ao dos elementos de um
espaco de Hilbert. Isto e, em que condic oes se pode construir uma base para estes
espacos de func oes. Como preparac ao, vamos introduzir o conceito de operador e
de base de um espaco vectorial de dimens ao innita.
Um espaco vectorial tem dimens ao innita se existir um conjunto de elementos
f
1
, f
2
, . . . , f
n
, . . ., todos linearmente independentes. Isto e, todos os subconjuntos
nitos de func oes do conjunto numervel { f
i
} s ao linearmente independente. Como
2.5. Exerccios 27
vimos anteriormente, emC
w
([1, 1]), as func oes do conjunto {1, x, . . . , x
n
, . . .} s ao
linearmente independentes.
Vamos considerar o espaco das func oes de quadrado som avel do intervalo [0, 1]
e com valores complexos func oes do espaco de Hilbert L
2
([0, 1]). Seja T : H !
H o operador denido por,
Tf =
1
i
d
dx
f
e de domnio,
Dom(T) = {f 2C
1
([0, 1]): f(0) = f(1)}
Claramente, o operador T assim denido e linear T(f
1
+f
2
) = Tf
1
+Tf
2
. Por
analogia com a algebra linear, pode-se escrever a equac ao aos valores pr oprios,
Tf = af, isto e,
1
i
d
dx
f = af
que tem soluc ao,
f(x) = Ae
iax
(2.3)
Como procuramos soluc oes restringidas a Dom(T), impondo em (2.3) a condic ao
fronteira f(0) = f(1), obtem-se,
a
n
= 2pn
com n =0, 1, 2, . . .. Assim, o operador T, restringido a Dom(T), tem os valores
pr oprios, a
n
= 2pn, a que correspondem os vectores pr oprios,
f
n
(x) = e
2pinx
em que n e um inteiro positivo ou negativo. Mas, {f
n
(x) =e
2pinx
}
n2Z
e um sistema
de func oes ortonormais em L
2
([0, 1]), pois,
< f
n
, f
m
>=
Z
1
0
f

n
f
m
dx =
Z
1
0
e
2pix(mn)
dx =

0 se m 6= n
1 se m = n
e {f
n
(x)}
n2Z
e um sistema de elementos linearmente independentes do espaco de
Hilbert L
2
([0, 1]). No pr oximo captulo, iremos ver que o conjunto de func oes
{f
n
(x)}
n2Z
e uma base do espaco de Hilbert L
2
([0, 1]).
2.5 Exerccios
2.1) Seja C
w
([1, 1]) o conjunto de todas as func oes analticas do intervalo [1, 1].
Mostre que C
w
([1, 1]) e um espaco vectorial.
2.2) Mostre que o espaco L
1
(R) das func oes reais integr aveis ` a Lebesgue e um
espaco vectorial.
28 2. Espacos de Hilbert
2.3) Seja L
2
e
x
2
/
p
p
(R, C) o espaco das func oes f : R !C que vericam,
1
p
p
Z
+

| f (x)|
2
e
x
2
dx <
Mostre que L
2
e
x
2
/
p
p
(R, C) e um espaco vectorial sobre o corpo dos complexos.
Mostre ainda que,
< f , g >=
1
p
p
Z
+

(x)g(x)e
x
2
dx
e um produto interno. Note que, para o produto interno assim denido, a medida
de um subconjunto A de R e (A) =
1
p
p
R
A
e
x
2
dx, pelo que, (R) < . Nestas
condic oes, a medida est a normalizada e (R, B, ) e um espaco de probabilida-
des.
Captulo 3
Bases de espacos de Hilbert
Mostra-se que num espaco de Hilbert separado e sempre possvel construir uma
base numer avel e ortonormal. Introduz-se o m etodo de ortonormalizac ao de Gram-
Schmidt, constroiem-se as bases dos polin omios de Legendre e de Fourier. Mostra-
se o Teorema de Riesz-Fischer.
3.1 Bases de espacos de Hilbert
Seja H um espaco de Hilbert separado de dimens ao innita. Vimos em exemplos
anteriores que e possvel encontrar conjuntos numer aveis de func oes linearmente
independentes em H. Por exemplo,
{1, x, x
2
, . . .} e {f
n
= e
2pinx
}
n=0,1,2,..
s ao famlias de func oes linearmente independentes em L
2
([1, 1]) e L
2
([0, 1]), res-
pectivamente.
Uma famlia numer avel de func oes {f
i
} com f
i
2 H e linearmente indepen-
dente, se qualquer combinac ao linear de forma,
l
1
f
1
+. . . +l
n
f
n
s o e nula se todos os l
i
s ao nulos. Em dimens ao innita, e facil de mostrar que
existem famlias de func oes com a pot encia do contnuo e que s ao linearmente
independentes. Por exemplo, no espaco de Hilbert `
2
, a famlia de sucess oes
{(c, c
2
, c
3
, . . .)}
c2(0,1)
tem a pot encia do contnuo e e linearmente independente.
No entanto, a famlia de func oes {(0, . . . , 0, e
i
= 1, 0, . . .)}
i1
e uma base de `
2
.
Note-se que, nos espacos euclidianos de dimens ao nita n, toda a famlia de vecto-
res linearmente independentes tem no m aximo n elementos. Em dimens ao innita
n ao e assim.
Seja { f
i
}
i2N
uma famlia de func oes linearmente independentes de um espaco
de Hilbert H e suponha-se que, f
i
6= 0, para todo o i 2 N. Vejamos primeiro que
e sempre possvel ortonormalizar a famlia de func oes { f
i
}
i2N
. Pelo m etodo de
29
30 3. Bases de espacos de Hilbert
Gram-Schmidt, custa das func oes f
i
, vamos construir novas func oes ortonormais
entre si. Sejam as novas func oes do espaco de Hilbert H,
f
1
=
f
1
|| f
1
||
v
k
= f
k

k1

i=1
< f
i
, f
k
> f
i
f
k
=
v
k
||v
k
||
Como f
1
6= 0, f
1
e ortonormal a si pr oprio, e < f
1
, f
1
>= 1. O elemento f
1
gera
um subespaco vectorial de H.
Suponha-se que se mostrou que, para todo o j < k, as func oes f
j
s ao linear-
mente independentes e ortonormais duas a duas. Por hip otese os f
j
s ao linearmente
independentes. Vamos agora fazer a induc ao e mostrar que os {f
1
, . . . , f
k
} s ao or-
tonormais dois a dois e independentes. Ora,
< v
k
, f
j
> =< f
k

k1

i=1
< f
i
, f
k
> f
i
, f
j
>
=< f
k
, f
j
>
k1

i=1
< f
i
, f
k
>

< f
i
, f
j
>
| {z }
d
i j
=< f
k
, f
j
>< f
j
, f
k
>

= 0
Como, para k < j, < f
k
, f
j
>= 0, e < f
k
, f
k
>= < v
k
, v
k
> /||v
k
||
2
= 1, do con-
junto de elementos linearmente independentes { f
i
}, e sempre possvel construir
uma sucess ao de func oes ortonormais. Como os f
j
s ao combinac oes lineares dos
{f
1
, . . . , f
j
}, ambos os conjuntos de func oes geram o mesmo subespaco vectorial
de H. Conclui-se assim que e sempre possvel obter uma sucess ao de func oes
ortonormadas num espaco de Hilbert.
Vejamos agora uma propriedade das famlias de func oes ortonormais num
espaco de Hilbert. Para isto, vejamos um resultado v alido para espacos pr e-hil-
bertianos:
Teorema 3.1 (Desigualdade de Bessel). Se H e um espaco pr e-hilbertiano e {f
i
}
um conjunto de func oes ortonormais. Ent ao, para todo o f 2 H,
|| f ||
2

i=1
|< f
i
, f >|
2
.
Demonstrac ao. Seja g =
n
i=1
l
i
f
i
. Ent ao,
0 || f g||
2
=< f

l
i
f
i
, f

l
i
f
i
>
= || f ||
2

l
i
< f , f
i
>

i
< f
i
, f > +

l
i
l

i
3.1. Bases de espacos de Hilbert 31
Como,

|< f
i
, f >l
i
|
2
=

(< f
i
, f >l
i
)(< f , f
i
>l

i
)
=

|< f
i
, f >|
2

i
< f
i
, f >


l
i
< f , f
i
> +

|l
i
|
2
tem-se que,
0 || f g||
2
= || f ||
2

|< f
i
, f >|
2
+

|< f
i
, f >l
i
|
2
Ora, esta relac ao e minimizada para, l
i
=< f
i
, f > e portanto,
|| f ||
2

i=1
| < f
i
, f > |
2
0
Como a desigualdade anterior e independente de n, no limite quando n !mantem-
se a desigualdade. Est a assim demonstrada a desigualdade de Bessel para espacos
pr e-hilbertianos.
Da desigualdade de Bessel decorre que, se {f
i
}
i2I
e um sistema ortonormado
no espaco de Hilbert H, em que o conjunto I e, no m aximo, cont avel, ent ao,
i
<
f
i
, f > f
i
est a no espaco de Hilbert para todo o f 2 H. Ora, assumindo que {f
i
}
i2I
e um sistema de func oes ortonormadas,
||

i
< f
i
, f > f
i
||
2
= <

i
< f
i
, f > f
i
,

j
< f
j
, f > f
j
>
=

i
| < f
i
, f > |
2
|| f || <
pelo que,
i
< f
i
, f > f
i
2 H.
Num espaco de Hilbert H, uma sucess ao de func oes ortonormadas {f
i
}
i2Q
,
em que Q e um conjunto numer avel, e completa se, todas as combinac oes lineares
nitas da forma
i2Q
c
i
f
i
s ao densas em H.
Uma famlia de func oes ortonormadas {f
i
}
i2Q
e uma base de um espaco de
Hilbert se, para todo o f 2 H, existem constantes c
i
tais que,
f =

i2Q
c
i
f
i
.
Em geral, tem-se:
Teorema 3.2. Num espaco de Hilbert separado existe sempre uma base ortonor-
mada numer avel
1
.
Uma quest ao deixada emaberto at e agora e saber quais as famlias de sucess oes
{f
i
(x)}
i2Q
, de elementos linearmente independentes, que formam uma base de um
espaco de Hilbert.
1
No caso dos espacos de dimens ao innita, a exist encia de uma base numer avel decorre da sepa-
rabilidade do espaco vectorial.
32 3. Bases de espacos de Hilbert
Teorema 3.3 (Vitali-Dalzell). Seja o espaco de Hilbert L
2
([a, b]). Uma sucess ao
ortonormal {f
i
(x)}
i2Q
, em que em que Q e um conjunto numer avel, e completa em
L
2
([a, b]) se, e somente se,

i=1

Z
y
a
f
i
(x)dx

2
= y a
(crit erio de Vitali), ou,

i=1
Z
b
a

Z
y
a
f
i
(x)dx

2
dy =
(ba)
2
2
(crit erio de Dalzell).
Por exemplo, a famlia de func oes de Rademacher,
r
n
(x) = Sinal (sin2
n
px)
com x 2 [0, 1] e n 1, n ao e uma base de L
2
([0, 1]). No entanto, a famlia de
func oes {f
n
= e
2pinx
}
n2Z
e uma base para L
2
([0, 1]). Ora,

n=
Z
1
0

Z
y
0
e
2pinx
dx

2
dy =
1
3
+4

n=1
Z
1
0
1
(2pn)
2
(1cos2py)dy
=
1
3
+
1
p
2

n=1
1
n
2
=
1
2
e em que se utilizou a relac ao de Euler,

n=1
1
n
2
= p
2
/6, Captulo 6. A base de
func oes {f
n
= e
2pinx
}
n2Z
do espaco de Hilbert L
2
([0, 1]) e a base de Fourier.
3.2 Polin omios de Legendre
Seja o espaco de Hilbert H = L
2
([1, 1]) das func oes f : [1, 1] ! C, com o
produto interno,
< u, v >=
Z
1
1
u

v dx
Seja a sucess ao de func oes linearmente independentes, {1, x, x
2
, . . .}. Vejamos
ent ao como determinar, pelo m etodo Gram-Schmidt, uma base ortonormal de L
2
([1, 1]).
Com, f
0
= 1, f
1
= x, . . . , f
n
= x
n
, vem que,
Q
0
=
f
0
|| f
0
||
=
1
p
2
pois, ||1|| =

Z
1
1
1dx

1/2
=
p
2,
v
1
= f
1
< Q
0
, f
1
> Q
0
= x< Q
0
, f
1
>
1
p
2
= x,
Q
1
=
v
1
||v
1
||
=
r
3
2
x,
v
2
= x
2
< Q
0
, f
2
> Q
0
< Q
1
, f
2
> Q
1
= . . . = x
2

1
3
,
Q
2
=
v
2
||v
2
||
=
3
2
r
5
2

x
2

1
3

.
3.3. Teoremas fundamentais 33
Os polin omios Q
n
(x) assim obtidos s ao uma famlia de func oes ortonormadas do
espaco de Hilbert L
2
([1, 1]). Pode-se mostrar que os polin omios Q
n
(x) s ao dados
por,
Q
n
= c
n
d
n
dx
n
(x
2
1)
n
:= c
n
R
n
(x) =
p
2n+1
n!2
n
p
2
R
n
(x)
em que R
n
(x) s ao os polin omios de Rodrigues (Exerccio 3.1).
Os polin omios de Legendre P
i
(x) s ao denidos atrav es dos polin omios Q
i
(x)
do exemplo anterior, atrav es de,
P
0
(x) = 1 =
p
2 Q
0
P
1
(x) = x =
r
2
3
Q
1
P
2
(x) =
3
2
x
2

1
2
=
r
2
5
Q
2
P
3
(x) =
5
2
x
3

3
2
x =
r
2
7
Q
3
P
4
(x) =
35
8
x
4

15
4
x
2
+
3
8
=
r
2
9
Q
4
em que,
Z
1
1
Q
n
(x)Q
m
(x)dx = d
nm
e,
Z
1
1
P
n
(x)P
m
(x)dx =

0 se n 6= m
2
2n+1
se n = m
Em geral, mostra-se que (Exerccio 3.1),
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
e que {P
i
(x)}
i0
e {Q
i
(x)}
i0
s ao bases completas de L
2
([1, 1]). Na gura 3.1
est ao representados os primeiros cinco polin omios de Legendre.
3.3 Teoremas fundamentais
Em geral, para os espacos de Hilbert separados tem-se o teorema:
Teorema 3.4 (Riesz-Fischer). Seja H um espaco de Hilbert separado com uma
base ortonormal {f
i
}. Se, f 2 H, existe uma sucess ao, {c
i
}, com |c
i
|
2
< e
c
i
2 C, tal que:
a) f =

i=0
c
i
f
i
, no sentido da converg encia na norma, isto e,
|| f
n

i=0
c
i
f
i
|| !0 quando n !
Por outras palavras, a base {f
i
} e densa em H.
34 3. Bases de espacos de Hilbert
P
0
x
P
1
x
P
2
x
P
3
x
P
4
x
1.0 0.5 0.0 0.5 1.0
1.0
0.5
0.0
0.5
1.0
x
Figura 3.1: Gr aco dos polin omios de Legendre at e ` a ordem 4.
b) c
i
=< f
i
, f >.
Demonstrac ao. a) Seja, f
L
=
L
i=0
c
i
f
i
, em que {c
i
} e uma sucess ao de escalares
que satisfaz a, |c
i
|
2
<. Com, L > M,
|| f
L
f
M
||
2
= < f
L
f
M
, f
L
f
M
>
= <
L
i=M+1
c
i
f
i
,
L
i=M+1
c
i
f
i
>=
L
i=M+1
c

i
c
i
Para L e M arbitrariamente grandes,
L
i=M+1
c

i
c
i
< e
2
, e portanto, || f
L
f
M
|| < e.
Assim, f
L
e uma sucess ao de Cauchy e portanto convergente. Ent ao,
f := lim
L!
L

i=0
c
i
f
i
b) Como, || f
N
i=0
c
i
f
i
|| !0, quando N !, seja, f
N
:=
N
i=0
c
i
f
i
. Ent ao,
< f
i
, f >=< f
i
, f
N
> + < f
i
, f f
N
>= c
i
+ < f
i
, f f
N
>
Pela desigualdade de Cauchy-Schwarz,
| < f
i
, f f
N
> | || f f
N
|| ||f
i
|| !0, quando N !
e portanto,
c
i
=< f
i
, f >
O teorema de Riesz-Fischer arma apenas que,
lim
N!
Z
b
a

f (x)
N

i=0
c
i
f
i
(x)

2
dx = 0
3.3. Teoremas fundamentais 35
Em geral, e falsa a seguinte armac ao:
8x 2 [a, b] , f (x) =

i=0
c
i
f
i
(x)
Isto signica que a converg encia de c
i
f
i
(x) e na norma ou na m edia quadr atica e
n ao ponto a ponto.
Do teorema de Riesz-Fischer decorre ainda que todos os espacos de Hilbert
separados s ao isomorfos a `
2
e portanto s ao isomorfos entre si.
Seja o espaco de Hilbert L
2
([1, 1]), com a base ortogonal e n ao normada dos
polin omios de Legendre {P
i
(x)}
i0
. Seja a func ao,
f =

i=0
c
i
P
i
(x)
Ent ao,
< P
n
, f >=< P
n
,

i=0
c
i
P
i
>= c
n
< P
n
, P
n
>=
2
2n+1
c
n
e,
c
n
=
2n+1
2
Z
1
1
P
n
(x) f (x)dx
Assim, os c
n
s ao os coecientes do desenvolvimento de f , na base dos polin omios
de Legendre {P
i
(x)}
i0
.
Vejamos um exemplo de desenvolvimento em polin omios de Legendre. Com,
j(x) = e
x
2 L
2
([1, 1]), e
x
=

i=0
c
i
P
i
(x), e,
c
0
=
1
2
Z
1
1
e
x
dx =
1
2
(e
1
e
) = 1.1752
c
1
=
3
2
Z
1
1
xe
x
dx =
3
e
= 1.1036
c
2
=
5
2

3
2
Z
1
1
x
2
e
x
dx
5
2
1
2
Z
1
1
e
x
dx =
5
2
e
35
2e
= 0.3578
Assim, at e ` a ordem 2, tem-se que,
e
x
' 1.1752+1.1036x +0.3578

3
2
x
2

1
2

' 0.9963+1.1036x +0.5367x


2
Comparando com o desenvolvimento de Taylor, e
x
'1+x +0.5x
2
, conclui-se que
a aproximac ao de Taylor e osculante, enquanto que a aproximac ao em polin omios
ortogonais e envolvente, Figura 3.2. No caso da func ao f (x) = cos(px), tem-se o
desenvolvimento em polin omios de Legendre,
cos(px) '
15
p
2
P
2
(x) =
15
2p
2

45
2p
2
x
2
= 0.7592.797x
2
36 3. Bases de espacos de Hilbert
1.0 0.5 0.0 0.5 1.0
0.5
1.0
1.5
2.0
2.5
x
1.0 0.5 0.0 0.5 1.0
1.5
1.0
0.5
0.0
0.5
1.0
x
Figura 3.2: Aproximac ao em polin omios de Legendre das func oes e
x
e cos(px), no
intervalo [1, 1].
Pode-se ainda mostrar que as func oes da base de um espaco de Hilbert podem
ser obtidas atrav es da resoluc ao de uma equac ao diferencial. Para as bases geradas
a partir da famlia de polin omios {1, x, x
2
, . . .} tem-se:
L
2
([1, 1]) L
2
e
x
2
((, +))
Polin omios de Legendre Polin omios de Hermite
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
e
x
2
(1t
2
)x
00
2tx
0
+n(n+1)x = 0 x
00
2tx
0
+2nx = 0
L
2
e
x
([0, +)) L
2
1/
p
1x
2
([1, +1])
Polin omios de Laguerre Polin omios de Tchebichev
L
n
(x) =
e
x
n!
d
n
dx
n
x
n
e
x
T
n
(x) = cos(narccos(x))
tx
00
+(1t)x
0
+nx = 0 (1t
2
)x
00
tx
0
+n
2
x = 0
em que os produtos internos s ao, respectivamente,
L
2
([1, 1]) : < f , g >=
Z
1
1
f

(x)g(x) dx
L
2
e
x
2
((, +)) : < f , g >=
1
p
p
Z
+

(x)g(x) e
x
2
dx
L
2
e
x ([0, +)) : < f , g >=
Z
+
0
f

(x)g(x) e
x
dx
L
2
1/
p
1x
2
([1, +1]) : < f , g >=
Z
1
1
f

(x)g(x)
1
p
1x
2
dx
Como consequ encia do que foi feito at e aqui, t em-se:
Teorema 3.5. Seja H um espaco de Hilbert separado com uma base ortonormal
{f
i
}. Ent ao,
3.3. Teoremas fundamentais 37
a) || f ||
2
=

i=0
|c
i
|
2
, em que f =

i=0
c
i
f
i
(Igualdade de Bessel).
b) < f , g >=

i=0
c

i
b
i
, em que g =

i=0
b
i
f
i
(Igualdade de Parseval).
c) A melhor aproximac ao a f por f
0
=
N
i=0
b
i
f
i
, no sentido da norma e dos des-
vios quadr aticos m edios, D
2
=< f f
0
, f f
0
>, e quando, b
i
= c
i
.
Demonstrac ao. a) Ora,
< f f
N
, f f
N
> = < f , f >< f , f
N
>
< f
N
, f > + < f
N
, f
N
>
= || f ||
2

i=0
c

i
c
i

i=0
c

i
c
i
+
N

i=0
c

i
c
i
= || f ||
2

i=0
|c
i
|
2
No limite quando N !,
|| f f
N
|| !0
e portanto,
|| f ||
2
=

i=0
|c
i
|
2
que e a igualdade de Bessel. De igual modo,
< f f
N
, gg
N
>=< f , g >
N

i=1
c

i
b
i
!0
e, quando N !,
< f , g >=

i
b
i
b) Seja, f
0
=
N
i=0
b
i
f
i
e f =

i=0
c
i
f
i
. Ent ao,
D
2
:=< f f
0
, f f
0
>=
N

i=1
c
i
c

i

N

i=1
c
i
b

i

N

i=1
b
i
c

i
+
N

i=1
b
i
b

i
Minimizando D
2
em ordem a b
i
e b

i
, vem que,
D
2
b
i
= c

i
+b

i
= 0
D
2
b

i
= c
i
+b
i
= 0
donde, b
i
= c
i
.
38 3. Bases de espacos de Hilbert
3.4 Exerccios
3.1) Seja L
2
([1, 1]) o espaco de Hilbert das func oes de quadrado som avel. Os po-
lin omios de Rodrigues em [1, 1] s ao denidos como R
n
(x) =
d
n
dx
n
(x
2
1)
n
. Mostre
que:
a) O polin omio
d
k
dx
k
(x
2
1)
n
anula-se nos pontos x = 1 para todo o k < n.
b) Para toda a func ao real f 2C

[1, 1],
< R
n
(x), f(x) >= (1)
n
Z
1
1
(x
2
1)
n
f
(n)
(x)dx
Conclua que R
n
(x) e ortogonal a x
m
para todo o m < n.
c) Com o resultado anterior, calcule ||R
n
(x)||
2
, sabendo que,
Z
p/2
0
cos(q)
2n+1
dq =
(2
n
n!)
2
(2n+1)!
.
d) Dena os polin omios de Legendre impondo a condic ao, ||P
n
(x)||
2
=2/(2n+1).
3.2) Encontre pelo m etodo de Gram-Schmidt os primeiros tr es elementos de uma
base ortonormal do espaco de Hilbert L
2
e
x
([0, )) (base dos polin omios de La-
guerre).
3.3) Qual o polin omio de grau 2 mais pr oximo de sinpx em L
2
([0, 1]).
Captulo 4
Operadores
Introduzem-se os conceitos de operador linear limitado, contnuo, hermtico, uni-
t ario e auto-adjunto. Derivam-se algumas propriedades espectrais.
4.1 Operadores
Seja T um operador que actua sobre func oes de um espaco de Hilbert H,
T : Dom(T) H !H
em que Dom(T) e o domnio de T. Ao construir a teoria dos operadores e sempre
necess ario especicar explicitamente o domnio e o contradomnio dos operadores
em causa. Muitas vezes, os operadores podem aplicar elementos de um espaco
de Hilbert em func oes que n ao est ao no espaco de Hilbert original. Por exemplo,
no espaco de Hilbert H = L
2
([0, 1]), ||
p
x||
H
= 1/
p
2 e ||
d
dx
p
x||
H
= . Assim,
p
x 2 L
2
([0, 1]) e
d
dx
p
x 62 L
2
([0, 1]).
Um operador T e linear se T(l
1
f +l
2
g) = l
1
T f +l
2
Tg, em que f , g 2 H.
Em particular, T0 = 0. T e um operador limitado se,
||T f || c|| f ||
para todo o f 2 Dom(T) e c e uma constante real.
Pode-se denir a norma de um operador atrav es de
||T||
op
= sup
f (x)6=0
||T f (x)||
|| f (x)||
= sup
|| f (x)||=1
||T f (x)||
em que f percorre o domnio de T. Pode-se mostrar que o conjunto de todos os
operadores lineares T : A !B, L(A, B), e um espaco de Banach desde que A e B
sejam espacos normados, n ao necessariamente completos.
Da denic ao de norma de um operador resulta imediatamente que,
||T f (x)|| ||T||
op
|| f (x)||
||ST||
op
||S||
op
||T||
op
39
40 4. Operadores
em que S e T s ao ambos operadores num espaco vectorial normado. A primeira
desigualdade decorre de,
||T f (x)|| =
||T f (x)||
|| f (x)||
|| f (x)|| sup
f (x)6=0
||T f (x)||
|| f (x)||
|| f (x)||
A segunda desigualdade decorre de,
||ST||
op
= sup
f (x)6=0
||ST f (x)||
|| f (x)||
= sup
f (x)6=0
||ST f (x)||
||T f (x)||
||T f (x)||
|| f (x)||
= sup
f (x)6=0
||ST f (x)||
||T f (x)||
sup
f (x)6=0
||T f (x)||
|| f (x)||

||S||
op
||T f (x)||
||T f (x)||
||T||
op
Em particular, quando um operador aplica um elemento do espaco de Hilbert
no corpo K, T : H !K, o operador designa-se por funcional linear.
Em geral, um operador linear n ao e necessariamente limitado, contrariamente
ao que acontece em dimens ao nita. Por exemplo, o operador de derivac ao e n ao
limitado. Seja T =
d
dx
e suponha-se que T actua no subespaco das func oes dife-
renci aveis do espaco de Hilbert L
2
([0, 1]). Como, x
n
2 L
2
([0, 1]), Tx
n
= nx
n1
e
||Tx
n
|| = n||x
n1
||, vem que, ||Tx
n
||/||x
n
|| = n||x
n1
||/||x
n
||. Com, ||x
n
||
=
p
1/(2n+1), vem que, ||Tx
n
||/||x
n
|| = n
p
(2n+1)/(2n1) pelo que o ope-
rador de derivac ao e linear mas n ao e limitado. Em geral, os operadores T =
d
n
dx
n
s ao lineares mas n ao s ao limitados.
Um operador T : H !H e contnuo se T f !T f
n
sempre que f ! f
n
. Assim,
um operador linear T e contnuo se, e somente se, e contnuo em f (x) = 0. Ora
vejamos. Como T e contnuo e linear, ||T f
n
T f || = ||T( f
n
f )|| !0 quando
||( f f
n
)|| !0. Assim, T e contnuo em f (x) = 0. Inversamente, se T e linear
e contnuo em f (x) = 0 e como para todo o f 2 H existe uma sucess ao f
n
! f ,
tem-se que ||T( f f
n
)|| = ||T f
n
T f || ||T||.||( f f
n
)|| !0 e T e contnuo.
Em geral, mostra-se que um operador linear e contnuo se, e somente se, e
limitado. Por exemplo, como o operador de derivac ao em L
2
([0, 1]) e linear mas
n ao e limitado, ent ao tamb em n ao e contnuo.
4.2 Operadores adjuntos, hermticos, auto-adjuntos e u-
nit arios
Se T e um operador sobre um espaco de Hilbert, dene-se o operador adjunto de
T T
+
atrav es de,
< j, T
+
y >:=< Tj, y >
Como a denic ao de operador adjunto e v alida para quaisquer func oes j e y do
espaco de Hilbert, o operador adjunto T
+
e unico.
Lema 4.1. Seja T um operador num espaco de Hilbert e T
+
o operador adjunto
de T. Ent ao, ||T
+
||
op
= ||T||
op
.
4.2. Operadores adjuntos, hermticos, auto-adjuntos e unit arios 41
Demonstrac ao. Pela denic ao de operador adjunto e pela desigualdade de Cauchy-
Schwarz,
| < j, T
+
y > | = | < Tj, y > | ||Tj|| ||y|| ||T||
op
||j|| ||y||
Como, por outro lado,
||T
+
y||
2
= | < T
+
y, T
+
y > | = | < TT
+
y, y > |
e fazendo j = T
+
y, pela desigualdade anterior obtem-se,
||T
+
y||
2
= | < Tj, y > | ||T||
op
||j|| ||y|| = ||T||
op
||T
+
y|| ||y||
ou seja, ||T
+
y|| ||T||
op
||y||. Assim, ||T
+
||
op
||T||
op
.
De modo an alogo,
| < y, T
+
j > | ||y|| ||T
+
j|| ||T
+
||
op
||j|| ||y||
Com ||Ty||
2
= | < Ty, Ty > | = | < y, T
+
Ty > | e j = Ty,
||Ty||
2
= | < y, T
+
j > | ||T
+
||
op
||j|| ||y|| = ||T
+
||
op
||Ty|| ||y||
e portanto, ||T||
op
||T
+
||
op
. Como, ||T||
op
||T
+
||
op
, s o se pode ter, ||T
+
||
op
=
||T||
op
.
Se T e um operador entre espacos de Banach, diz-se que o operador B e o
operador inverso de T se, BT = TB = 1. Nestas condic oes, usa-se a notac ao B =
T
1
. Em geral, o operador inverso de um operador linear e ainda linear.
Se T = T
+
, diz-se que o operador T e auto-adjunto ou hermtico
1
. Se T
+
=
T
1
, ent ao T e unit ario.
Por exemplo, se A e uma matriz com elementos em C, a matrix A pode ser
vista como um operador linear A : C
n
!C
n
. Seja o produto interno emC
n
denido
como,
< x, y >= x
T
y
em que os vectores de C
n
se escrevem como matrizes coluna de 1n. Ent ao como,
< Ax, y >= (Ax)
T
y = x
T
A
T
y = x
T
(A
T
y) =< x, A
T
y >
o operador auto-adjunto de A e A
+
= A
T
. Assim, a matriz A e hermtica se a
ii
2 R
e a
i j
= a
ji
.
Analogamente ao caso em dimens ao nita, a equac ao aos valores pr oprios de
um operador T : H !H e a equac ao,
Tf = af
1
Um operador T e hermtico se, < T f , g >=< f , Tg > (simetria). Para operadores n ao limitados
faz-se a distinc ao entre operador hermtico e operador auto-adjunto. Designando por Dom(T) o
domnio do operador T, e se Dom(T) Dom(T
+
), o operador e hermtico. Se, Dom(T) =Dom(T
+
),
o operador e auto-adjunto.
42 4. Operadores
em que f 2 H. Se H e um espaco de Hilbert sobre o corpo K, quando a equac ao
aos valores pr oprios tem soluc oes para a 2 K e f 2 H, diz-se que a e o valor
pr oprio a que corresponde o vector pr oprio f. O conjunto dos valores pr oprios de
um operador e o seu espectro. O espectro de um operador pode ser vazio, pontual,
discreto ou contnuo. Em geral, se {f
k
} e uma base ortonormal de um espaco de
Hilbert e se Tf
k
= l
k
f
k
, ent ao tem-se que ||T||
op
= sup
k
|l
k
|.
Lema 4.2. Seja H um espaco de Hilbert e Dom(T) H o domnio do operador
T. Se T : Dom(T) !H e um operador auto-adjunto ou hermtico, ent ao, os seus
valores pr oprios s ao reais e a valores pr oprios distintos correspondem vectores
pr oprios ortogonais.
Demonstrac ao. Por hip otese, Tf = lf e Ty = y em que f e y s ao vectores
pr oprios distintos. Ent ao,
< Tf, f >=< f, Tf >
e, l

= l. Se, 6= l,
< Tf, y > = l

< f, j >= l < f, y >


< f, Ty > = < f, y >
Como por hip otese, < Tf, y >=< f, Ty > tem-se que,
l < f, y >= < f, y >
Como l 6= , vem que < f, y >= 0.
Lema 4.3. Seja H um espaco de Hilbert e Dom(T) H o domnio do operador
T. Se T : Dom(T) !H e um operador unit ario, ent ao, tem-se:
a) ||Tf|| = ||f|| e ||T|| = 1.
b) Se l e valor pr oprio de T, ent ao, |l| = 1.
Demonstrac ao. Como T e unit ario, <Tf, y >=<f, T
1
y >. Assim, ||Tf||
2
=<
Tf, Tf >=< f, T
1
Tf >=< f, f >= ||f||
2
e a) est a demonstrado.
Como, <Tf, Tf >=<lf, lf >=ll

<f, f >=ll

||f||
2
, donde ll

=1
e |l| = 1.
Do lema anterior decorre que todo o operador unit ario e limitado, sendo, por-
tanto, contnuo.
Vejamos que a caracterizac ao de um operador pode depender das condic oes
fronteira ou condic oes aos limites. Seja o operador T =i
d
dx
e calcule-se o opera-
dor adjunto. Suponha-se que T actua sobre o espaco de Hilbert L
2
([a, b]). Ora,
< Tf, y > =
Z
b
a
i
d
dx
f

(x)y(x)dx
= if

(x)y(x)|
b
a

Z
b
a
if

(x)
d
dx
y(x)dx :=< f, T
+
y >
4.3. Operadores de Sturm-Liouville 43
Assim, se a = e b = , para que f, y 2 L
2
(R), tem que se ter f() =
y() = 0 e T
+
= i
d
dx
. Portanto T e um operador auto-adjunto. Se a e b
s ao ambos nitos, a hermiticidade de T e apenas compatvel com as condic oes
fronteira, f(a) =f(b) e y(a) =y(b). Conclui-se assim que as condic oes fronteira
determinam o domnio do operador T.
4.3 Operadores de Sturm-Liouville
Designa-se por equac ao de Sturm-Liouville a equac ao diferencial,
d
dx

p(x)
dy
dx

q(x)y +lr(x)y = 0 (4.1)


em que p(x) e r(x) s ao func oes reais e positivas, q(x) tamb em e uma func ao real
e l e uma constante (valor pr oprio). Tanto a equac ao diferencial como as func oes
associadas est ao denidas no intervalo I = [a, b], e a e b podem tomar valores
innitos.
Aequac ao de Sturm-Liouville (4.1) pode-se escrever na forma Ly+lr(x)y =0,
em que,
L =
d
dx

p(x)
d
dx

q(x) (4.2)
e o operador linear de Sturm-Liouville.
Chama-se problema de Sturm-Liouville ` a determinac ao das soluc oes da equac ao
(4.1) que obedecem a determinadas condic oes fronteira.
Comecemos ent ao por determinar algumas propriedades do operador de Sturm-
Liouville (4.2).
Lema 4.4. Seja o espaco de Hilbert L
2
([a, b]), em que o intervalo [a, b] pode ser
nito ou innito. Suponha-se que o operador de Sturm-Liouville (4.2) tem como
domnio um dos subconjuntos de L
2
([a, b]) denido pelas condic oes seguintes:
a) y(a) = y(b) = 0.
b) y
0
(a) = y
0
(b) = 0.
c) p(a) = p(b), y(a) = y(b) e y
0
(a) = y
0
(b).
Ent ao, o operador de Sturm-Liouville e auto-adjunto.
Demonstrac ao. Por denic ao, o operador L e auto-adjunto se, <Lf , g >=< f , Lg >,
em que f , g 2 L
2
([a, b]). Como,
< Lf , g >< f , Lg >=
Z
b
a

g
d
dx

p(x)
d f
dx

f
d
dx

p(x)
dg
dx

dx
44 4. Operadores
tem-se que,
Z
b
a

g
d
dx

p(x)
d f
dx

f
d
dx

p(x)
dg
dx

dx
= g(x)p(x)
d f
dx
f (x)p(x)
dg
dx

b
a

Z
b
a

g
0
p(x) f
0
(x) f
0
p(x)g
0

dx
= g(x)p(x)
d f
dx
f (x)p(x)
dg
dx

b
a
(4.3)
Com as condic oes a)-c),
g(x)p(x)
d f
dx
f (x)p(x)
dg
dx

b
a
= 0 (4.4)
e portanto, < Lf , g >=< f , Lg >.
Nas condic oes do lema anterior, os valores pr oprios do operador de Sturm-
Liouville, a existirem, s ao reais. Assim, para l real, a equac ao diferencial (4.1) e
uma equac ao aos valores pr oprios.
Suponha-se ent ao que se procuram soluc oes da equac ao de Sturm-Liouville
num domnio [a, b] do eixo real e que se encontram soluc oes y
1
(x) e y
2
(x) a que
correspondem os valores pr oprios l
1
e l
2
. Tem-se ent ao,
d
dx

p(x)
dy
1
dx

q(x)y
1
+l
1
r(x)y
1
= 0
d
dx

p(x)
dy
2
dx

q(x)y
2
+l
2
r(x)y
2
= 0
Multiplicando a primeira equac ao por y
2
(x), a segunda por y
1
(x), subtraindo ambas
as equac oes termo a termo e integrando entre a e b, obtem-se,
Z
b
a

y
2
d
dx

p(x)
dy
1
dx

y
1
d
dx

p(x)
dy
2
dx

dx
+(l
1
l
2
)
Z
b
a
y
1
(x)y
2
(x)r(x)dx = 0
Por (4.3) e (4.4), tem-se ent ao,
(l
1
l
2
)
Z
b
a
y
1
(x)y
2
(x)r(x)dx = 0
Como l
1
6= l
2
, y
1
(x) e y
2
(x) s ao ortogonais no espaco de Hilbert f , g 2 L
2
r
([a, b]),
em que r(x) > 0 e uma densidade de medida no intervalo [a, b].
Em geral, tem-se:
Teorema 4.5. Se p(x) e q(x) s ao func oes contnuas no intervalo [a, b] e r(x) > 0,
ent ao, para qualquer das condic oes fronteira,
4.4. Exerccios 45
a) y(a) = y(b) = 0.
b) y
0
(a) = y
0
(b) = 0.
c) p(a) = p(b), y(a) = y(b) e y
0
(a) = y
0
(b).
tem-se que:
1) Os valores pr oprios da equac ao de Sturm-Liouville formam uma sucess ao cres-
cente e n ao limitada, l
1
< l
2
< . . ..
2) Existe uma base ortonormal emC
0
r
([a, b]), de elementos { f
i
}.
3) Se f satisfaz a uma das condic oes fronteira, ent ao,
f
N
(x) =
N

n=1
c
n
f
n
(x)
converge uniformemente para f (x) quando N !.
4.4 Exerccios
4.1) Seja o espaco de Hilbert L
2
([a, b]) e seja K(x, y) : [a, b] [a, b] !Cuma func ao
contnua. Que condic oes se devem imp or a K(x, y) para que o operador
Tf =
Z
b
a
K(x, y)f(y)dy
seja hermtico.
4.2) Encontre os valores e os vectores pr oprios do operador,
T =
d
2
dx
2
supondo que:
a) f 2C
2
([a, a]) e f(a) = f(a).
b) f 2C
2
([0, a]) e f(0) = f(a) = 0.
c) f 2C
2
([0, a]), f(0) = 0 e f(a) = a.
Analise a hermiticidade do operador T nos tr es casos indicados.
4.3) Seja o operador T : f(x) !xf(x) no espaco de Hilbert L
2
([0, 1]). Chama-
se representac ao de um operador numa base {f
n
} do espaco de Hilbert ` a matriz
innita de elemento gen erico,
A
nm
=< f
n
, Tf
m
> (outra notac ao < f
n
|T|f
m
>) .
Note que, a matriz innita A e um operador linear que actua em `
2
.
a) D e uma condic ao de hermiticidade em func ao dos A
nm
.
46 4. Operadores
b) Determine a representac ao do operador T na base de Fourier {e
2pinx
}
n2Z
de
L
2
([0, 1]). Analise a hermiticidade do operador.
4.4) Seja o operador T =
1
i
d
dx
que actua sobre func oes do espaco de Hilbert L
2
([0, 1]),
com a base de Fourier, {e
2pinx
}
n2Z
. Determine a representac ao de T na base de
Fourier de L
2
([0, 1]). Justique o facto de T n ao ser um operador limitado.
4.5) Seja T um operador auto-adjunto (ou hermtico) num espaco de Hilbert H.
Mostre que T
n
tamb em e hermtico. Em seguida, mostre que, se l e um n umero
real, os operadores,
U
1
= e
ilT
e U
2
=
1i T
1+i T
s ao unit arios. Note que as func oes de operadores s ao denidas atrav es das s eries
de Taylor correspondentes.
4.6) Seja f(x) : X !C um elemento de um espaco de Hilbert H(X). Seja o funci-
onal linear (operador) denido atrav es de,
Pf =< f , f >
em que f 2 H. Mostre que, se (X) <, P e um operador linear e limitado, sendo
portanto contnuo em H. O operador P e o operador de projecc ao.
4.7) Seja o espaco de Hilbert L
2
(R), e T : L
2
(R) !L
2
(R) um operador. Ooperador
T e anti-hermtico, se < Tf
1
, f
2
>=<f
1
, Tf
2
>, para todas as func oes f
1
, f
2
2
L
2
(R). Mostre que os valores pr oprios de T s ao imagin arios puros.
Captulo 5
S eries de Fourier
Introduzem-se as s eries de Fourier e derivam-se algumas das suas propriedades.
Estuda-se o fen omeno de Gibbs. S ao demonstrados o teorema da converg encia das
s eries de Fourier e o teorema de Fej er.
5.1 S eries de Fourier
Seja L
2
([0, 1]) o espaco das func oes de quadrado som avel, j : [0, 1] !C, para as
quais,
Z
1
0
|j(x)|
2
dx =
Z
1
0
j

(x)j(x)dx <
Como se viu, L
2
([0, 1]) e um espaco de Hilbert separado e tem como base ortonor-
mal a famlia de func oes,
f
n
(x) = e
2pinx
com n 2 Z
Isto foi vericado pelo crit erio de Vitali-Dalzell. Como o sistema de func oes
{e
2pinx
}
n2Z
e uma base ortonormal de L
2
([0, 1]), para qualquer func ao, f 2L
2
([0, 1]),
pelo teorema de Riesz-Fischer 3.4, tem-se que,
f =
+

n=
c
n
e
2pinx
(5.1)
no sentido da converg encia na m edia quadr atica, e,
c
n
=< f
n
, f >=
Z
1
0
e
2pinx
f (x)dx (5.2)
As relac oes (5.1) e (5.2) denem a s erie Fourier de f (x) 2L
2
([0, 1]) e as constantes
c
n
s ao os coecientes de Fourier da func ao f .
Vejamos agora a notac ao real para a s erie de Fourier. Se f : [0, 1] !R, com,
c
n
=< f
n
, f >=
Z
1
0
e
2pinx
f (x)dx = c

n
47
48 5. S eries de Fourier
denem-se as constantes reais a
n
e b
n
atrav es de,
8
>
>
<
>
>
:
c
n
=
1
2
(a
n
ib
n
)
c
0
=
1
2
a
0
c
n
=
1
2
(a
n
+ib
n
)
Por substituic ao na s erie de Fourier,
f (x) =
+

n=
c
n
e
2pinx
=
1
2
a
0
+

n=1
1
2
(a
n
ib
n
)e
2pinx
+
1
2
(a
n
+ib
n
)e
2pinx
=
1
2
a
0
+

n=1
a
n
cos2pnx +b
n
sin2pnx
Com,
c
n
=
Z
1
0
e
2pinx
f (x) dx =
1
2
(a
n
ib
n
)
c
n
=
Z
1
0
e
2pinx
f (x) dx =
1
2
(a
n
+ib
n
)
vem que,
a
n
= 2
Z
1
0
f (x)cos2pnx dx n 0
b
n
= 2
Z
1
0
f (x)sin2pnx dx n 1
Muitas vezes a s erie de Fourier e representada no intervalo [p, p], isto e,
para func oes do espaco de Hilbert L
2
([p, p]). Neste caso, com a nova vari avel,
y =p +2px e com x 2[0, 1], tem-se que y 2[p, p], e a s erie de Fourier escreve-
se agora,
g(y) = f

y +p
2p

=
a
0
2
+

n=1
a
n
cos(ny +np) +b
n
sin(ny +np)
=
a
0
2
+

n=1
a
n
cosnp. cosny +b
n
cosnp. sinny
=
a
0
2
+

n=1
a
0
n
cosny +b
0
n
sinny
em que,
a
0
n
= a
n
cosnp = 2cosnp
Z
1
0
f (x)cos2pnx dx
=
1
p
cosnp
Z
p
p
g(y)cosnp. cosny dy =
1
p
Z
p
p
g(y)cosny dy
b
0
n
= b
n
cosnp = 2cosnp
Z
1
0
f (x)sin2pnxdx =
1
p
Z
p
p
g(y)sinny dy
5.1. S eries de Fourier 49
No caso geral em que f 2 L
2
([a, b]), tem-se o desenvolvimento de Fourier,
f (x) =
1
2
a
0
+

n=1
a
n
cos
2p
ba
nx +b
n
sin
2p
ba
nx
em que,
a
n
=
2
ba
Z
b
a
f (x)cos
2p
ba
nx dx n 0
b
n
=
2
ba
Z
b
a
f (x)sin
2p
ba
nx dx n 1
A base ortonormada de Fourier de L
2
([a, b]) e a famlia de func oes,
{e
2pinx/(ba)
/
p
ba}
n2Z
.
Propriedades das s eries de Fourier:
i) A s erie de Fourier de f 2L
2
([a, b]) extende-se emRcomo uma func ao peri odica
de perodo (ba).
ii) Se f (x) 2 L
2
([a, a]) e uma func ao par no intervalo [a, a], tem-se que,
f (x) =
a
0
2
+

n=1
a
n
cos
p
a
nx
Se f (x) e impar,
f (x) =

n=1
b
n
sin
p
a
nx
iii) Pela igualdade de Bessel (teorema 3.5), tem-se que,
|| f ||
2
L
2
=
+

n=
|c
n
|
2
=
a
2
0
4
+
1
2

n=1

a
2
n
+b
2
n

Exemplo de c alculo de uma s erie de Fourier. Seja a func ao f (x) = x


2
com
x 2 [p, p]. Assim, f (x) 2 L
2
([p, p]). Como f (x) e uma func ao par no intervalo
[p, p], tem-se que b
n
= 0, e,
a
0
=
1
p
Z
p
p
x
2
dx =
1
3p
(p
3
+p
3
) =
2
3
p
2
a
n
=
1
p
Z
p
p
x
2
cosnx dx =
1
np
x
2
sinnx |
p
p

2
np
Z
p
p
xsinnx dx
=
2
np
1
n
xcosnx|
p
p
= (1)
n
4
n
2
e portanto,
f (x) = x
2
|
[p,p]
=
1
3
p
2
+

n=1
(1)
n
4
n
2
cosnx (5.3)
50 5. S eries de Fourier
10 5 0 5 10
0
2
4
6
8
10
x
Figura 5.1: Gr aco da s erie de Fourier de f (x) = x
2
|
[p,p]
.
Na gura 5.1, est a representado o gr aco da s erie de Fourier de f (x) = x
2
|
[p,p]
,
prolongada a todo o eixo real.
Assim, a s erie de Fourier de uma func ao restringida a um intervalo de compri-
mento nito converge para uma func ao peri odica sobre toda a recta. Isto signica
que o desenvolvimento de Fourier de uma func ao n ao e unico.
Nalguns casos, os desenvolvimentos de Fourier de func oes d ao-nos informac ao
sobre a soma de s eries. Por exemplo, com o desenvolvimento de Fourier da func ao,
f (x) = x
2
, no intervalo [p, p], podemos calcular a soma de s eries. Como, f (p) =
p
2
, e usando a s erie de Fourier (5.3), obtem-se a relac ao,
f (p) = p
2
=
1
3
p
2
+

n=1
(1)
n
4
n
2
cosnp =
1
3
p
2
+4

n=1
1
n
2
Fazendo o rearranjo dos termos da igualdade anterior, obtem-se a f ormula de Euler,

n=1
1
n
2
=
p
2
6
(5.4)
At e aqui, consider amos s eries de Fourier de func oes de uma vari avel. No caso
mais geral de func oes f : C
n
! C, estes resultados generalizam-se facilmente.
Seja, f (x, y): [0, 1] [0, 1] !R ou C, com f 2 L
2
([0, 1] [0, 1]). As condic oes
de converg encia da s erie de Fourier para dimens ao 2 s ao iguais ` as de dimens ao 1,
mas agora, tomadas independentemente nas vari aveis x e y. Desenvolvendo f (x, y)
em s erie de Fourier na vari avel x,
f (x, y) =
+

k=
c
k
e
2pikx
e c
k
=
Z
1
0
f (x, y)e
2pikx
dx
em que c
k
= c
k
(y). Desenvolvendo c
k
(y) em s erie de Fourier, vem que,
c
k
(y) =
+

n=
c
kn
e
2piny
e c
kn
=
Z
1
0
c
k
(y)e
2piny
dy
Isto e,
c
kn
=
Z
1
0
Z
1
0
f (x, y)e
2pi(kx+ny)
dxdy
5.2. Fen omeno de Gibbs 51
e,
f (x, y) =
+

k=
+

n=
c
kn
e
2pi(kx+ny)
Tem-se assim o desenvolvimento de Fourier de uma func ao de duas vari aveis.
Para func oes de n vari aveis o procedimento e id entico. Com a notac ao, ~r =
x
1
~e
1
+ +x
n
~e
n
e
~
k =k
1
~e
1
+ +k
n
~e
n
, a s erie de Fourier multidimensional escreve-
se,
f (~r) =

~
k
c
~
k
e
2pi
~
k.~r
com c
~
k
=
Z
1
0
e
2pi
~
k.~r
f (~r)d~r
desde que f 2 L
2
([0, 1]
n
).
5.2 Fen omeno de Gibbs
Vamos agora analisar o comportamento das s eries de Fourier na vizinhanca de des-
continuidades. Vamos considerar a func ao,
f (x) =

1 se 0 < x < p
1 se p < x < 0
(5.5)
Claro est a que, f 2L
2
([p, p]) e podemos portanto calcular o seu desenvolvimento
de Fourier.
Como f (x) e mpar, tem-se que, a
n
= 0, para todo o n 0, b
n
= 0, para n par,
e b
n
= 4/np, para n impar. Assim,
f (x) =

k=1
b
k
sinkx =
4
p

k=0
1
(2k +1)
sin(2k +1)x (5.6)
Sejam ent ao as somas parciais da s erie de Fourier (5.6),
S
2n+1
(x) =
4
p
n

k=0
sin(2k +1)x
(2k +1)
=
4
p
n

k=0
Z
x
0
cos(2k +1)y.dy
=
4
p
Z
x
0

k=0
cos(2k +1)y
!
dy
(5.7)
Na gura 5.2, est ao representadas as somas parciais S
1
, S
3
, S
5
e S
43
da s erie de
Fourier de (5.6). Na vizinhanca da descontinuidade em x = 0, as somas parcias
parecem n ao convergir. Este fen omeno, correntemente observado em oscilosc opios
e dispositivos de an alise de sinais, designa-se por fen omeno de Gibbs.
Vamos agora calcular a soma parcial S
2n+1
(x). Ora,
n

k=0
cos(2k +1)y =
1
2
n

k=0
e
i(2k+1)y
+e
i(2k+1)y
=
=
1
2
n

k=0
e
iy

e
i2y

k
+
1
2
n

k=0
e
iy

e
i2y

k
52 5. S eries de Fourier
3 2 1 0 1 2 3
1.0
0.5
0.0
0.5
1.0
x
0.0 0.5 1.0 1.5 2.0 2.5 3.0
0.0
0.2
0.4
0.6
0.8
1.0
1.2
x
S
43
Figura 5.2: Somas parciais S
1
, S
3
, S
5
e S
43
da s erie de Fourier da func ao (5.5).
Com, 1+z +. . . +z
n
= (1z
n+1
)/(1z),
n

k=0
cos(2k +1)y =
1
2
e
iy
1e
2iy(n+1)
1e
2iy
+
1
2
e
iy
1e
2iy(n+1)
1e
2iy
=
siny(n+1) cosy(n+1)
siny
=
1
2
sin2y(n+1)
siny
Assim, substituindo estas express oes em (5.7) obtem-se,
S
2n+1
(x) =
2
p
Z
x
0
sin2y(n+1)
siny
dy (5.8)
Na vizinhanca de x = 0 e para n nito, com, siny y, a soma parcial da s erie
de Fourier (5.7) ca mais simples, obtendo-se,
S
2n+1
(x) =
2
p
Z
x
0
sin2y(n+1)
siny
dy
2
p
Z
x
0
sin2y(n+1)
y
dy (5.9)
Introduzindo em (5.9) a nova vari avel, u := 2y(n+1), vem que,
du
dy
= 2(n+1), e,
S
2n+1
(v)
2
p
Z
v
0
sinu
u
du
em que v := 2x(n +1). Assim, para x na vizinhanca de 0, as somas parciais s ao
independentes de n. Na gura 5.3, est ao representados os gr acos de sinu/u e de
S
2n+1
(v).
Como S
2n+1
(v) temumm aximo para sinu =0, ou seja, para, u =2y(n+1) =p,
o valor da func ao S
2n+1
(v) no ponto v = p e,
S
2n+1
(p) '
2
p
Z
p
0
sinu
u
du =
2
p
1.851 '1.18
independentemente de n. Assim, na vizinhanca de x = 0 e para n nito, o valor da
func ao f (x) no ponto x =p/2(n+1) e f (p/2(n+1)) 1.18, independentemente
de n. Na vizinhanca de uma descontinuidade, a n ao converg encia da s erie de Fou-
rier em primeira ordem em n designa-se por fen omeno de Gibbs, gura 5.4. No
5.2. Fen omeno de Gibbs 53
0 5 10 15 20
0.2
0.0
0.2
0.4
0.6
0.8
1.0
u
sin u
u
0 5 10 15 20
0.0
0.2
0.4
0.6
0.8
1.0
1.2
v
S2 n1v
Figura 5.3: Gr acos das func oes sinu/u e S
2n+1
(v).
1.0 0.5 0.0 0.5 1.0
1.0
0.5
0.0
0.5
1.0
x
Figura 5.4: Gr aco da s erie de Fourier da func ao (5.5).
entanto, por c alculo directo da s erie de Fourier da func ao considerada, tem-se que
f (0) = 0. O fen omeno de Gibbs arma apenas que a converg encia na vizinhanca
de uma descontinuidade e lenta, no sentido em que, em primeira ordem, as somas
parciais de uma s erie de Fourier s ao independentes de n. Foi esta aproximac ao que
se fez em (5.9).
A converg encia lenta da s erie de Fourier na vizinhanca de descontinuidade
aparece em todas as func oes e n ao e uma particularidade da func ao (5.5). Por
exemplo, na gura 5.5, est a representada uma soma parcial da s erie de Fourier da
func ao f (x) =x/2, se, 0 x < p, e f (x) =x/2+p, se, p < x 2p.
0 1 2 3 4 5 6
2
1
0
1
2
x
Figura 5.5: Soma parcial da s erie de Fourier da func ao f (x) =x/2, se, 0 0x <
p, e f (x) = x/2+p, se, p < x 2p. Neste caso, para valores de n elevados, os
valores das somas parciais da s eries de Fourier desta func ao na vizinhanca de 0 s ao
f (0) '1.18p/2.
Em geral, se f (x) tem um ponto de descontinuidade para x = x

, mostra-se que
54 5. S eries de Fourier
a s erie de Fourier da func ao converge para ( f (x

+) + f (x

))/2.
5.3 Converg encia das s eries de Fourier
Estabelecido o crit erio de converg encia em m edia quadr atica das s eries de Fourier,
atrav es do teorema de Riesz-Fischer, queremos analisar agora as condic oes em que
a converg encia e uniforme.
Diz-se que uma sucess ao { f
n
(x)} converge uniformemente para f (x) se, para
todo o e > 0, existe um N tal que, para n > N,
| f (x) f
n
(x)| < e,
independentemente de x.
Uma s erie, a
n
, e uniformemente convergente se a sucess ao das somas parci-
ais s
n
=
n
k=1
a
k
converge uniformemente. A mesma s erie e absolutamente conver-
gente se |a
n
| e convergente.
Teorema 5.1 (Weierstrass). Se { f
n
(x)} e uma sucess ao de func oes limitadas, em
que | f
n
(x)| < M
n
e a s erie M
n
e convergente. Ent ao, f
n
(x) converge uniforme-
mente em X.
Uma das consequ encias do teorema de Weierstrass 5.1 e o teorema da con-
verg encia de Fourier.
Teorema 5.2 (converg encia de Fourier). Seja f (x) uma func ao contnua, dife-
renci avel em toda a recta real e peri odica de perodo P. Se f
0
(x) 2 L
2
([0, P]),
ent ao, a s erie de Fourier de f (x) converge uniforme e absolutamente para f (x).
Demonstrac ao. Vamos considerar que f e uma func ao contnua e diferenci avel
em toda a recta real. Assim, f (x) 2 L
2
([0, P]) pois e contnua e limitada em [0, P].
Seja c
n
e o coeciente de Fourier de ordem n de f . Os coecientes de Fourier da
derivada de f s ao,
c
n
=
Z
1
0
f
0
(x)e
2pinx
dx = f (x)e
2pinx

1
0
+ 2pin
Z
1
0
f (x)e
2pinx
dx
= f (1) f (0) +2pinc
n
Como f e peri odica de perodo P, f (0) = f (P), ent ao, c
n
= 2pinc
n
. Pelo crit erio
de Weierstrass, se a s erie,

|c
n
e
2pinx
| =

|c
n
|
e convergente, ent ao a s erie de Fourier e uniforme e absolutamente convergente.
Ora, com, c
n
= 2pinc
n
, e |c
n
| = |c
n
|,
+

n=
|c
n
| = |c
0
| +
1
p
+

n=1
| c
n
|
1
|n|
5.4. Exerccios 55
Como, (ab)
2
0, tem-se a desigualdade, |a|.|b| (|a|
2
+|b|
2
)/2, e,
+

n=
|c
n
| |c
0
| +
1
2p
+

n=1

| c
n
|
2
+
1
|n|
2

Se admitirmos por hip otese que f


0
(x) 2 L
2
([0, 1]), tem-se que
+
n=1
| c
n
|
2
< e
como, 1/|n|
2
<,
+

n=
|c
n
| <.
A converg encia uniforme da s erie de Fourier decorre ent ao pelo Teorema de Wei-
erstrass 5.1.
Existe um teorema mais geral para a converg encia das s eries de Fourier que
analisa o caso em que f (x) e peri odica e contnua. O procedimento que permite
recuperar uma func ao contnua da sua s erie de Fourier baseia-se na converg encia
do valor m edio das somas parciais da s erie de Fourier. Sejam,
S
n
(x) =
a
0
2
+
n

k=1
a
k
coskx +b
k
sinkx
s
n
=
S
0
(x) +S
1
(x) +. . . +S
n1
(x)
n
.
a soma parcial e o valor m edio das somas parciais de uma func ao peri odica de
perodo 2p. Sem perda de generalidade, f 2 L
2
([, p, p]). Ent ao tem-se:
Teorema 5.3 (Fej er). Se f e uma func ao peri odica e contnua sobre toda a recta
real, a sucess ao das somas de Fej er {s
n
} converge uniformemente para f em todo
o eixo real.
O teorema de Riesz-Fischer garante-nos a converg encia na norma da s erie de
Fourier sob a condic ao de f 2 L
2
. No entanto para se ter converg encia uniforme
e necess ario introduzir as condic oes de continuidade e de periodicidade para f e
pedir que ambas as func oes f e f
0
pertencam ao espaco de Hilbert L
2
. As condic oes
de continuidade e de periodicidade eliminam a possibilidade de existir o fen omeno
de Gibbs, respons avel pela quebra de converg encia uniforme da s erie de Fourier.
Em geral, tem-se que,
Converg encia uniforme =) Converg encia em m edia quadr atica
mas a implicac ao inversa n ao e verdadeira.
5.4 Exerccios
5.1) Mostre que se pode escrever a s erie de Fourier de uma func ao f (x), no inter-
valo [p, p], na forma,
f (x) =
A
0
2
+

n=1
A
n
sin(nx +f
n
)
56 5. S eries de Fourier
e determine os coecientes A
n
e f
n
.
5.2) Escreva a func ao sin(x) no intervalo (0, p) como uma s erie de cosenos.
5.3) Determine as s eries de Fourier das func oes:
a) f (x) = |x|, em [p, p].
b) f (x) = x, em [p, p].
c) f (x) = cos
3
x, em [0, 2p].
d) f (x) = 1, em [0, 1].
e) f (x) = 1 se x e irracional e f (x) = 0 se x e racional, em [0, 1].
5.4) Qual a soma das s eries

n=1
1/n
4
e

n=0
(1)
n
/(2n+1).
5.5) Determine o desenvolvimento de Fourier da func ao
f (x, y) = cos(2y). sin(x)
na base f
nm
= e
i(nx+my)
/2p de L
2
([p, p] [p, p]).
5.6) Seja f (x) uma func ao peri odica de periodo 2p e seja,
n
f
n
(x) = e
inx
/
p
2p
o
n2Z
uma base de L
2
([p, p]). Com,
f
N
=
N

n=N
< f
n
, f > f
n
mostre que,
f
N
(x) =
1
2p
Z
p
p
D
N
(x y) f (y)dy
em que,
D
N
(x) =
sin((N +1/2)x)
sin(x/2)
e o n ucleo de Dirichlet. Estude o gr aco da func ao D
N
(x).
5.7) Seja f (x) 2 L
2
([p, p]) uma func ao peri odica de periodo 2p. Com, f
N
=

N
n=N
< f
n
, f > f
n
, seja a soma de Fej er,
s
n
=
f
0
(x) + f
1
(x) +. . . + f
n1
(x)
n
Mostre que,
s
n
(x) =
Z
p
p
F
n
(x y) f (y)dy
5.4. Exerccios 57
em que,
F
n
(x) =
1
2np

sin(nx/2)
sin(x/2)

2
e o n ucleo de Fej er. Estude o gr aco da func ao F
N
(x).
5.8) Chama-se representac ao de um operador numa base {f
n
} do espaco de Hilbert
` a matriz innita de elemento gen erico
A
nm
=< f
n
, Tf
m
> (ou, com outra notac ao < f
n
|T|f
m
>)
Considere o operador Tf(x, y) = f(y, x) com f 2 L
2
([p, p] [p, p]). Qual
a representac ao do operador T na base de Fourier de L
2
([p, p] [p, p]). Os
elementos desta base s ao {f
nm
= e
i(nx+my)
/2p}
n,m2Z
. Verique que o operador T
e auto-adjunto. Determine a norma do operador T.
5.9) Sejam f (t) e g(t) duas func oes peri odicas de perodo 2p. Assuma que f , g 2
L
2
([0, 2p]). Determine o desenvolvimento de Fourier da func ao de correlac ao entre
f e g, denida como,
f g :=
Z
2p
0
f (t x)g(x)dx
Captulo 6
Distribuic oes
Introduzem-se os conceitos de espaco de func oes de teste e de distribuic ao ou
func ao generalizada. Estudam-se algumas das propriedades das distribuic oes e
estuda-se a distribuic ao delta de Dirac. Introduz-se a derivac ao no sentido das
distribuic oes e relacionam-se as distribuic oes com as s eries de Fourier.
6.1 Funcionais lineares e distribuic oes
O conceito de distribuic ao generaliza o de func ao. As distribuic oes ou func oes
generalizadas surgem no estudo de interacc oes fortemente localizadas.

E o caso,
por exemplo, do estudo de campos el ectricos produzidos por partculas pontuais
carregadas.
Seja j uma func ao com domnio em R (ou R
n
) e de suporte compacto, isto
e, o fecho do conjunto {x: j(x) 6= 0} e compacto. Suponha-se ainda que existem
todas as derivadas parciais de j(x) e que s ao contnuas. Esta classe de func oes
e designada por C

c
(R). Para abreviar a notac ao vamos escrever D :=C

c
(R). O
conjunto D tem uma estrutura de espaco vectorial e e designado por espaco de
base das distribuic oes ou espaco das func oes de teste.
Um exemplo de uma func ao j 2 D e
j(x) =
(
e
a
2
x
2
a
2
|x| a
0 |x| > a
(6.1)
Na gura 6.1 est ao representados os gr acos das func oes de teste j(x) e j
0
(x),
para a = 1.
Uma sucess ao de elementos {j
n
} 2 D converge para j 2 D, ou seja, {j
n
}
converge em D se,
a) Os suportes de todos os j
n
est ao contidos num conjunto limitado de R.
b) As derivadas de todas as ordens de j
n
j
(p)
n
convergem para as derivadas
de j, j
(p)
n
!j
(p)
, quando n !.
59
60 6. Distribuic oes
x
1.0 0.5 0.0 0.5 1.0
0.00
0.05
0.10
0.15
0.20
0.25
0.30
0.35
x
'x
1.0 0.5 0.0 0.5 1.0
0.5
0.0
0.5
x
Figura 6.1: Gr acos das func oes de teste j(x) e j
0
(x), em que j(x) e dada por
(6.1), com a = 1.
Seja D o espaco das func oes de teste. Um funcional linear contnuo ou distri-
buic ao e uma aplicac ao F : D !C que obedece a:
a) F(aj) = aF(j), com a 2 C, e j 2 D.
b) F(j +y) = F(j) +F(y) com j, y 2 D (linearidade).
c) F(j
n
) !F(j) sempre que {j
n
} !j 2 D (continuidade
1
).
O conjunto das distribuic oes sobre D designa-se por D
0
. Se j 2 D, ent ao
F 2D
0
. Muitas vezes tamb em se usam as notac oes, D(R), D
0
(R), D(W) e D
0
(W),
em que W e um conjunto aberto de R.
Vejamos um exemplo de distribuic ao distribuic ao regular. Seja f uma
func ao localmente integr avel e contnua emR, isto e, f e integr avel sobre qualquer
conjunto limitado de R, f 2 L
1
loc
(R). O funcional linear contnuo (ou distribuic ao)
gerado por f e denido como,
F
f
(j) =
Z
+

f (x)j(x)dx (6.2)
O funcional F
f
designa-se distribuic ao regular. A linearidade decorre da linea-
ridade do integral, bastando vericar a continuidade de F
f
(j). Suponha-se que
{j
n
} !j, e que o suporte das func oes j
n
est a contido num conjunto limitado
[a, b] 2 R. Ent ao,

F
f
(j
n
) F
f
(j)

= |
Z
b
a
f (x)(j
n
(x) j(x))dx|

Z
b
a
| f (x)|.|j
n
(x) j(x)|dx
Como f (x) e contnua em [a, b] 2R, existe uma constante M que majora f . Assim,
quando n !,
|F
f
(j
n
) F
f
(j)| M
Z
b
a
|j
n
(x) j(x)|dx !0
1
A continuidade de um func ao num ponto pode ainda ser denida do seguinte modo: Um func ao
f : I R !R e contnua no ponto a 2 I, se f (x
n
) ! f (a), sempre que x
n
!a.
6.1. Funcionais lineares e distribuic oes 61
Atrav es de (6.2), mostr amos ent ao que uma func ao localmente integr avel e contnua
dene uma distribuic ao. Muitas vezes, por abuso de linguagem, confunde-se a
distribuic ao com a func ao que a gera.
No entanto, existem funcionais lineares contnuos ou distribuic oes que n ao po-
dem ser postos na forma (6.2).

E o caso das distribuic oes n ao regulares. Suponha-
se j 2 D e seja o funcional denido por,
F(j) = j(0) (6.3)
Esta relac ao dene uma distribuic ao, pois,
a) F(aj) = aj(0) = a F(j).
b) F(j +y) = (j +y)(0) = j(0) +y(0), pois, D e um espaco vectorial.
c) Se, j
n
!j em D, F(j
n
) = j
n
(0) !j(0), ou seja, F(j
n
) !F(j).
A relac ao (6.3) dene uma distribuic ao n ao regular que se designa por distri-
buic ao d de Dirac.
Vejamos ent ao como construir a distribuic ao denida por (6.3). De acordo com
a denic ao de distribuic ao, diz-se que uma sucess ao de distribuic oes {F
n
(j)} =
{F
f
n
(j)} converge para uma distribuic ao F
f
(j) se, para todo o j 2 D, o integral
Z
+

f
n
(x)j(x)dx
e convergente. Note bem que, sendo o integral anterior convergente, usa-se a
notac ao,
Z
+

f
n
(x)j(x)dx !
Z
+

f (x)j(x)dx
mas, f (x) pode n ao denir uma func ao no sentido usual do termo.
Seja ent ao a sucess ao de func oes, gura 6.2,
f
n
(x) =
r
n
p
e
nx
2
e a sucess ao de distribuic oes regulares,
F
n
(j) =
r
n
p
Z
+

e
nx
2
j(x)dx
em que j(x) 2 D.
Vejamos ent ao as propriedades da sucess ao de distribuic oes regulares {F
n
(j)}.
Como,
r
n
p
Z
+

e
nx
2
dx =
r
n
p
1
p
n
Z
+

e
(
p
nx)
2
d(
p
nx)
=
1
p
n
Z
+

e
y
2
dy =
1
p
p
p
p = 1
62 6. Distribuic oes
f
2
x
f
10
x
2 1 0 1 2
0.0
0.5
1.0
1.5
2.0
x
Figura 6.2: Sucess ao de func oes que convergem para a distribuic ao delta de Dirac.
vamos mostrar que lim
n!
|F
n
(j) j(0)| = 0. Ora,
|F
n
(j) j(0)| =

Z
+

f
n
(x)j(x)dx j(0)

Z
+

f
n
(x)j(x)dx
Z
+

j(0) f
n
(x)dx

Z
+

f
n
(x)(j(x) j(0))dx

Z
+

|j(x) j(0)| .| f
n
(x)|dx
Mas como, |j(x) j(0)| = f
0
(x)|x| M|x|, pois j 2 D, tem-se que,
|F
n
(j) j(0)| M
Z
+

|x|.| f
n
(x)|dx = 2M
r
n
p
Z
+
0
xe
nx
2
dx
= 2M
r
n
p
1
2n
e
nx
2

+
0
=
M
p
np
e portanto, quando n !,
|F
n
(j) j(0)|
M
p
np
!0.
Ent ao, a distribuic ao limite de F
f
n
(j) obedece a F(j) = j(0). Como,
f
n
(x) !0 se x 6= 0
f
n
(0) !
dene-se a func ao generalizada ou distribuic ao,
d(x) :=

0 se x 6= 0
+ se x = 0.
A distribuic ao assim construda e o funcional linear,
F
d
(j) = lim
n!+
Z
+

f
n
(x)j(x)dx =
Z
+

d(x)j(x)dx = j(0).
6.2. Derivadas de distribuic oes 63
A distribuic ao F
d
(j) designa-se por distribuic ao delta de Dirac. Como e uso
corrente, confunde-se a distribuic ao F
d
(j) com a func ao generalizada d(x) e, por
abuso de linguagem, diz-se que d(x) e a distribuic ao delta de Dirac.
Por exemplo, com f
n
(x) =
p
n
p
e
nx
2
, vem que,
lim
n!
Z
x

f
n
(x)dx =
Z
x

d(y)dy =
8
<
:
0 (x < 0)
1/2 (x = 0)
1 (x > 0)
9
=
;
= H(x)
e faz sentido escrever simbolicamente, d(x) = H
0
(x). Por outro lado, fazendo x !
no integral anterior, obtem-se,
Z

d(y)dy = 1
e a distribuic ao d(x) tem o signicado de uma densidade de medida concentrada
num ponto. Da o nome de distribuic ao, distribuic ao de cargas ou distribuic ao de
massas.
A abordagem da teoria das distribuic oes que estamos a apresentar simplica-
se bastante pelo facto das func oes de teste serem consideradas como func oes de
suporte limitado. De facto, todos os resultados apresentados s ao v alidos quando as
func oes de teste decrescem muito rapidamente para zero quando x !. Nestas
condic oes, as distribuic oes construdas designam-se por distribuic oes temperadas.
6.2 Derivadas de distribuic oes
Vamos agora denir a distribuic ao derivada de uma distribuic ao F
f
(j) como,
d
dx
F
f
(j): =
Z
+

f
0
(x)j(x)dx (6.4)
em que j 2 D e f
0
(x) tem apenas um caracter simb olico. Se F
f
(j) e uma distri-
buic ao regular e a func ao f e diferenci avel, ent ao a denic ao anterior faz sentido.
No entanto, se f (x) n ao e uma func ao, por exemplo, f (x) = d(x), ou se em geral
f 2 L
1
loc
(R), pode-se olhar para a denic ao anterior como,
Z
+

f
0
(x)j(x)dx = lim
n!
Z
+

f
0
n
(x)j(x)dx
em que a sucess ao { f
0
n
(x)} est a bem denida. Desta maneira, podemos escrever
simbolicamente,
d
dx
F
f
(j) =
Z
+

f
0
(x)j(x)dx = f (x)j(x)|
+

Z
+

f (x)j
0
(x)dx
=
Z
+

f (x)j
0
(x)dx
(6.5)
64 6. Distribuic oes
pois, como j 2 D, j() = 0. Vamos ent ao partir de (6.5) para denir a derivada
de uma distribuic ao.
A derivada da distribuic ao F
f
(j) e o funcional linear contnuo denido por,
d
dx
F
f
(j) :=F
f
(j
0
) (6.6)
e a derivada da func ao que gera a distribuic ao n ao interv em na denic ao. Isto
elimina os problemas que se encontram quando se deriva uma func ao generalizada
ou uma func ao com discontinuidades e localmente integr avel.
Para que a derivac ao no sentido das distribuic oes faca sentido com a nossa
intuic ao de derivada, temos de vericar que, para distribuic oes regulares, a denic ao
(6.6) e consistente com a denic ao (6.4). Ent ao, se f (x) e uma func ao contnua e
diferenci avel,
d
dx
F
f
(j) :=
Z
+

f (x)j
0
(x)dx
= f (x)j(x)|
+

+
Z
+

f
0
(x)j(x)dx
=
Z
+

f
0
(x)j(x)dx = F
f
0 (x)
isto e, a derivada da distribuic ao regular gerada por f e igual ` a distribuic ao gerada
por f
0
.
Lema 6.1. a) Uma distribuic ao tem derivadas de todas as ordens,
d
n
dx
n
F
f
(j) = (1)
n
F
f
(j
(n)
)
em que j 2 D.
b) Se uma sucess ao de distribuic oes {F
f
n
} converge para a distribuic ao {F
f
},
ent ao, {F
f
0
n
} converge para a distribuic ao F
f
0 .
Vejamos um exemplo. Seja a func ao de Heaviside,
Heav (x) =

1 se x > 0
0 se x 0
Ent ao, a distribuic ao regular associada e,
F
Heav
(j) =
Z
+

Heav (x)j(x)dx =
Z
+
0
j(x)dx
e,
d
dx
F
Heav
(j) =
Z
+
0
j
0
(x)dx =j(x)|
+
0
= j(0)
Donde se conclui que,
d
dx
F
Heav
(j) e a distribuic ao d de Dirac. Ent ao, a derivada
da distribuic ao gerada pela func ao de Heaviside e a distribuic ao delta de Dirac, ou
seja,
d
dx
F
Heav
(j) =
Z
+

d(x)j(x)dx (6.7)
6.2. Derivadas de distribuic oes 65
x
i1
x
i
x
i1
x
i2
0 1 2 3 4 5
0.2
0.0
0.2
0.4
0.6
0.8
1.0
1.2
x
Figura 6.3: Gr aco de uma func ao com uma innidade numer avel de discontinui-
dades isoladas.
A express ao (6.7) escreve-se simbolicamente na forma
d
dx
Heav(x) = d(x).
Vejamos o que se passa para func oes com uma innidade numer avel de dis-
continuidades.
Suponha-se que f (x) tem uma innidade numer avel de discontinuidades iso-
ladas, gura 6.3. Isto e, nos pontos x
i
, f (x
i
+) 6= f (x
i
). Vamos ent ao calcular a
derivada de f (x) no sentido das distribuic oes.
d
dx
F
f
(j) =
Z
+

f (x)j
0
(x)dx =
+

i=
Z
x
i
x
i1
f (x)j
0
(x)dx
=

i
f (x)j(x)

x
i

x
i1
+
+

i
Z
x
i
x
i1
f
0
(x)j(x)dx
=
+

i=
( f (x
i
)j(x
i
) f (x
i1
+)j(x
i1
)) +
Z
+

f
0
(x)j(x)dx
=
+

i=
j(x
i
)( f (x
i
+) f (x
i
)) +
Z
+

f
0
(x)j(x)dx
= F
f
0 (j) +

i
( f (x
i
+) f (x
i
))
Z
+

d(x x
i
)j(x)dx
ou seja, no sentido das distribuic oes,
d
dx
f (x) = f
0
(x) +
+

i=
h
i
d(x x
i
)
em que h
i
= ( f (x
i
+) f (x
i
)) s ao constantes.
Vejamos um exemplo. Seja a func ao,
f (x) =

px
2
0 x p

p+x
2
p x < 0
(6.8)
Como f (x) e uma func ao mpar, gura 6.4, os unicos coecientes de Fourier n ao
nulos s ao os coecientes b
n
= 1/n, com n 1, e,
f (x) =
+

n=1
sinnx
n
(6.9)
66 6. Distribuic oes
A s erie (6.9) e convergente, em todo o eixo real, para uma func ao peri odica de
perodo 2p, com uma innidade numer avel de discontinuidades em x = 2pn, com
n 2 Z.
3 2 1 0 1 2 3
2
1
0
1
2
x
Figura 6.4: Gr aco da func ao (6.8).
A derivada de f (x), no sentido das distribuic oes, e,
d
dx
f (x) =
1
2
+
+

k=
pd(x 2pk) =
+

n=1
cosnx
donde resulta que,
1
2p
+
1
p

n=1
cosnx =
+

k=
d(x 2pk) (6.10)
A relac ao (6.10) dene a s erie de Fourier da distribuic ao d de Dirac.
De facto, a func ao generalizada ou distribuic ao d(x), restringida ao intervalo
[p, p], pode ser escrita na forma de uma s erie de Fourier, no sentido das distribu-
ic oes. Assim, com,
b
n
=
1
p
Z
p
p
d(x)sinxn dx = 0
a
n
=
1
p
Z
p
p
d(x)cosnx dx =
1
p
cos0 =
1
p
a s erie de Fourier da func ao d(x) e,
d(x) =
1
2p
+
1
p

k=1
coskx|
[p,p]
.
Como a func ao cos(kx) est a denida para todo o eixo real, tem-se ent ao que,
+

k=
d(x 2pk) =
1
2p
+
1
p

k=1
coskx. (6.11)
6.2. Derivadas de distribuic oes 67
Mostra-se assim que os desenvolvimentos de Fourier podem ainda ser usados no
sentido das distribuic oes. Devido ` a forma do desenvolvimento de Fourier de d(x),
ent ao a distribuic ao delta de Dirac e uma func ao generalizada par.
A relac ao anterior mostra ainda que faz sentido denir distribuic oes peri odicas.
O funcional linear contnuo F
f
(j) e uma distribuic ao peri odica se,
F
f
(j(x +T)) = F
f
(j(x))

E f acil vericar que (6.11) dene uma distribuic ao peri odica com perodo 2p.
Suponha-se que f (x) e uma func ao de um espaco de Hilbert H e que {f
n
} e
uma base ortonormada de H. Como se viu no captulo 3, pelo teorema de Riesz-
Fischer 3.4,
f (x) =

n
c
n
f
n
(x) =

n
< f
n
, f > f
n
(x)
=

n

Z
f

n
(y) f (y)dy

f
n
(x) =
Z
f (y)dy

n
f

n
(y)f
n
(x)

(6.12)
Comparando (6.12) com a denic ao de distribuic ao delta de Dirac, decorre que,

n
f

n
(y)f
n
(x) = d(x y) = d(y x) (6.13)
Mostr amos assim que se {f
n
} e uma base completa do espaco de Hilbert H, tem
que se ter necessariamente (6.13). Por exemplo, no espaco de Hilbert L
2
([p, p])
com a base ortonormada {f
n
= e
inx
/
p
2p}
n2Z
, obtem-se,
d(x y) = d(y x) =
1
2p
+
1
p

k=1
cosk(x y)
No espaco de Hilbert L
2
([1, 1]), com a base dos polin omios de Legendre, tem-se
que,
d(x y) = d(y x) =

n=0
2n+1
2
P
n
(y)P
n
(x)
Todas as propriedades que demonstr amos sobre teoria das distribuic oes s ao
v alidas quando o espaco das func oes de teste e formado for func oes de suporte
limitado. No entanto, todos estes resultados podem ser generalizados quando o
espaco das func oes de teste e constitudo por func oes com decrescimento r apido
quando x !, como e o caso das func oes gaussianas. Neste ultimo caso, diz-se
que se est a no contexto das distribuic oes temperadas. Na maioria das aplicac oes,
usam-se distribuic oes temperadas. Como do ponto de vista t ecnico n ao existem
ganhos signicativos com o formalismo das distribuic oes temperadas, optou-se por
esta abordagem mais simples.
68 6. Distribuic oes
6.3 Exerccios
6.1) Mostre que a distribuic ao limite de
F
f
n
(f) =
1
p
Z
+

n
1+n
2
x
2
f(x)dx
com f no espaco das func oes de suporte limitado, e a distribuic ao delta de Dirac.
6.2) Usando os resultados do Exerccio 5.6, conclua que,
lim
N!
1
2p
sin((N+1/2)x)
sin(x/2)
= d(x)
em que d(x) e a distribuic ao de Dirac.
6.3) Mostre as seguintes propriedades da func ao d de Dirac:
a) d(x) = d(x).
b) d(ax) =
1
|a|
d(x), com a 6= 0.
c) xd(x) = 0.
d) f (x)d(x a) = f (a)d(x a).
e)
R
d(x y)d(y z)dy = d(x z).
f) Se g(x
n
) = 0 e g
0
(x
n
) 6= 0 ent ao, d(g(x)) =
n
1
|g
0
(x
n
)|
d(x x
n
).
6.4) Seja a func ao f (x) = sinal(x). Encontre a sua derivada no sentido das distri-
buic oes.
6.5) Calcule a segunda derivada no sentido das distribuic oes de uma func ao com
uma innidade numer avel de descontinuidades.
6.6) Uma partcula de massa m desloca-se em linha recta e est a sujeita a uma forca
peri odica impulsiva: F =
+
k=
a
k
d(t kT). Se no instante t = 0 a partcula tem
velocidade v
0
, determine a sua velocidade ao m do tempo nT.
Captulo 7
A equac ao das ondas I:
Oscilac oes transversais
Deriva-se a equac ao geral das ondas transversais e obtem-se a equac ao linear
das ondas. Determinam-se soluc oes de equilbrio e soluc oes estacion arias com
condic oes fronteira nitas. Deriva-se a soluc ao de dAlembert em meios innitos
e estudam-se casos simples de reex ao de ondas com v arios tipos de condic oes
fronteira.

E deduzida a express ao geral da energia para a equac ao das ondas
e analisa-se o fen omeno de resson ancia. Introduzem-se o conceitos de soluc oes
fortes e fracas de uma equac ao ` as derivadas parciais.
7.1 A equac ao das ondas
Quando se percute levemente uma corda presa sob tens ao, gera-se um movimento
oscilat orio transversal. Vamos ent ao deduzir a equac ao do movimento oscilat orio
transversal de uma corda de densidade linear de massa r. Por agora, vamos consi-
derar que r r(x, y, t).
Considere-se um troco de corda entre dois pontos de coordenadas r
a
e r
b
, como
se indica na gura 7.1. No plano (x, y), cada ponto da corda tem coordenadas,
r = 0+x~e
x
+y(x) ~e
y
e o vector tangente em cada ponto da corda e,
~v =
dr
dx
= 1~e
x
+
y
x
~e
y
e ||~v|| =

1+

y
x

2
A forca total que actua um segmento de corda [a, b] e igual ` a soma da forca
exterior por unidade de comprimento
~
F
ext
(x, y, t) = F
ext
(x, y, t)~e
y
, com a forca de
tens ao
~
T. A forca de tens ao e respons avel pela coes ao da corda, isto e, a tens ao e
uma forca de ligac ao, tangente em cada ponto da corda. Impondo que a corda n ao
69
70 7. A equac ao das ondas I: Oscilac oes transversais
Figura 7.1: Posic ao geral de uma corda no plano x-y, presa sob tens ao nos pontos
r
a
e r
b
.
se parte, a resultante da forca de tens ao e diferente de zero nos extremos da corda.
No interior da corda, a forca de tens ao e anulada pelas forcas de coes ao molecular.
Como em cada ponto da corda a tens ao actua na direc ao da tangente ` a corda, a
forca total que actua a corda no segmento [a, b] e,
~
F
t
(x, y, t) =
_
b
a
~
F
ext
(x, y, t) dx +T(x, y, t)
~e
x
+
y
x
~e
y
_
1+

y
x

b
a
.
Como se est a a considerar que n ao existe movimento longitudinal, a componente
segundo ~e
x
da forca total e necessariamente nula e T(x, y, t) T(y, t). Pode-se
assim escrever para a componente vertical da forca,
F
t
(y, t) =
_
b
a
F
ext
(x, y, t) dx +T(y, t)
_
b
a

x
_
_
_
_
y
x
1
_
1+

y
x

2
_
_
_
_
dx (7.1)
em que, para simplicar a notac ao, F
t
e a componente segundo ~e
y
de
~
F
t
e F
ext
e a
componente segundo~e
y
da forca exterior por unidade de comprimento.
Por outro lado, como a variac ao do momento linear da corda no segmento [a, b]
e,
d
dt
_
b
a
r(x, y, t)
y
t
dx (7.2)
pela segunda lei de Newton, a forca total que actua a corda na regi ao espacial
[a, b] e igual ` a variac ao do momento linear total, pelo que, igualando (7.1) a (7.2),
obtem-se,
d
dt
_
b
a
r(x, y, t)
y
t
dx = T(y, t)
_
b
a

x
_
_
_
_
y
x
1
_
1+

y
x

2
_
_
_
_
dx +
_
b
a
F
ext
dx. (7.3)
7.1. A equac ao das ondas 71
Assumindo que r(x, y, t) r(x, y), a equac ao anterior escreve-se,
r(x, y)

2
y
t
2
= T(y, t)

x
_
_
_
_
y
x
1
_
1+

y
x

2
_
_
_
_
+F
ext
(x, y, t) (7.4)
ou seja,
r(x, y)

2
y
t
2
= T(y, t)

2
y
x
2
1

1+

y
x

3/2
+F
ext
(x, y, t). (7.5)
A equac ao (7.5) e a equac ao das ondas transversais e descreve o movimento
transversal de uma corda.
Para o caso dos movimentos transversais de pequena amplitude relativamente a
uma posic ao de equilbrio, pode-se introduzir na equac ao (7.4) o desenvolvimento
de Taylor,
1
_
1+

y
x

2
= 1
1
2

y
x

2
+O(4)
obtendo-se,
r(x, y)

2
y
t
2
= T(y, t)

2
y
x
2
+F
ext
(x, y, t). (7.6)
No caso particular em que T e r s ao constantes, a equac ao (7.6) reduz-se a,

2
y
t
2
= c
2

2
y
x
2
+
1
r
F
ext
(x, y, t) (7.7)
em que c
2
= T/r. Com, [T] =kg m s
2
e [r] =kg m
1
, vem que, [c
2
] =m
2
s
2
e
a constante c tem as dimens oes de uma velocidade.
A equac ao (7.7) e designada por equac ao linear das ondas transversais ou,
simplesmente, por equac ao das ondas. Assim, a equac ao das ondas e uma equac ao
de movimento aproximada.
No caso dos deslocamentos transversais de uma membrana el astica, a equac ao
que descreve os pequenos deslocamentos transversais e,

2
f
t
2
= c
2

2
f
x
2
+

2
f
y
2

. (7.8)
As oscilac oes transversais de corpos extensos s ao descritas pela equac ao,

2
f
t
2
= c
2

2
f
x
2
+

2
f
y
2
+

2
f
z
2

. (7.9)
Muitas vezes a equac ao (7.9) escreve-se na forma simb olica,

2
f
t
2
= c
2
Df, em que
D =

2
x
2
+

2
y
2
+

2
z
2

e o operador Laplaciano.
72 7. A equac ao das ondas I: Oscilac oes transversais
7.2 Soluc oes de equilbrio da equac ao das ondas
Vamos determinar a forma de uma corda com extremos xos e em equilbrio no
campo gravtico e calcular a tens ao T.
A forca exterior por unidade de comprimento que actua uma corda num campo
gravtico por unidade de comprimento e F
ext
= rg, em que g e a acelerac ao da
forca da gravidade
1
. Supondo que a corda est a em equilbrio,

2
y
t
2
= 0, a equac ao
das ondas (7.7) reduz-se ` a equac ao diferencial,
d
2
y
dx
2
=
rg
T
A soluc ao desta equac ao diferencial e,
y(x) = a+bx +

rg
2T

x
2
em que a e b s ao constantes a determinar. Introduzindo nesta soluc ao as condic oes
de extremos xos, y(0) = y(L) = 0, vem que, a = 0, b =
rg
2T
L e a soluc ao de
equilbrio da corda e,
y(x) = x(x L)

rg
2T

Assim, no equilbrio, a corda tem a forma de uma par abola que passa pelos pontos
y(0) = y(L) = 0, gura 7.2. Calculando a altura da par abola no ponto y(L/2), a
corda tem um v ao de altura h = rgL
2
/8T. Medindo a altura do v ao e sabendo a
densidade da corda, pode-se determinar a tens ao T. Esticando a corda de modo a
que o seu comprimento seja L, a tens ao na corda torna-se innita.
Figura 7.2: Soluc ao de equilbrio de uma corda num campo gravtico e presa nos
extremos.
7.3 Soluc oes estacion arias da equac ao das ondas.
Veja-se agora como obter a forma geral das soluc oes estacion arias da equac ao li-
near das ondas (7.7), para o caso em que F
ext
= 0. Considera-se uma corda ligada
em dois pontos e o movimento transversal da corda ocorre no plano que contem
toda a corda. Pode-se ainda considerar que os extremos da corda est ao xos nos
1
Como o potencial gravtico e V(r) =GMm/r, vem que,
~
F
ext
=GMm/r
2
~e
r
.
`
A superfcie da
Terra, r = R
T
, pelo que, F
ext
=mg, em que g = GM/R
2
T
.
7.3. Soluc oes estacion arias da equac ao das ondas. 73
pontos de coordenadas x = 0 e x = L e que a corda est a presa sob tens ao. A forma
da corda no instante t 0 e descrita por uma func ao y(x, t), com x 2 [0, L]. A
func ao y(x, t) tem de ser soluc ao da equac ao das ondas (7.7).
Figura 7.3: Condic ao inicial de uma corda presa nos extremos x = 0 e x = L.
Adeterminac ao da func ao y(x, t), pertencente a umespaco de Hilbert L
2
([0, L]),
s o e possvel se forem especicadas a posic ao inicial da corda, a sua velocidade ini-
cial e as condic oes fronteira. Assim, para determinar as soluc oes da equac ao linear
das ondas, introduzem-se as seguintes condic oes:
1) Posic ao inicial da corda no instante t = 0: y(x, t = 0) = f (x), gura 7.3.
2) Velocidade inicial da corda no instante t = 0:
y
t
(x, t)|
t=0
= g(x).
3) Condic ao fronteira: y(x = 0, t) = y(x = L, t) = 0, para todo o t 0.
As condic oes 1)-3) designam-se por condic oes de Cauchy.
Procure-se ent ao a soluc ao geral da equac ao das ondas (7.7), com F
ext
= 0
e sujeita ` as condic oes de Cauchy 1)-3). Assumindo que, para cada valor de t,
y(x, t) 2 L
2
([0, L]), a equac ao das ondas pode ser vista como a equac ao,

2
y
t
2
= Ty
em que T = c
2
2
x
2
: L
2
([0, L]) !L
2
([0, L]) e um operador num espaco de Hilbert.
Como foi visto no Exerccio 4.2 b), para as condic oes fronteira 3), o operador
T tem um espectro discreto com uma innidade numer avel de vectores pr oprios.
Designe-se por y
n
os vectores pr oprios de T, a que correspondem os valores
pr oprios l
n
(Ty
n
= l
n
y
n
). Estes vectores pr oprios n ao geram todo o espaco de
Hilbert L
2
([0, L]), mas sim um subespaco vectorial H L
2
([0, L]) constitudo pe-
las func oes que se anulam em x = 0 e x = L. Assim, para as condic oes fronteira
consideradas, podemos assumir que a soluc ao da equac ao das ondas se pode escre-
ver na forma y(x, t) =
n
c
n
(t)y
n
(x), em que os c
n
(t) s ao func oes a determinar.
Isto decorre do facto da equac ao (7.7) ser linear e qualquer soluc ao que obedeca
` as condic oes de Cauchy tem de estar necessariamente em H. Nestas condic oes, a
soluc ao da equac ao das ondas (7.7) pode ser determinada resolvendo as equac oes
diferenciais,
d
2
c
n
dt
2
= l
n
c
n
.
Como se viu no Exerccio 4.2 b), y
n
(x) =sin(npx/L) a que corresponde o valor
pr oprio l
n
= n
2
p
2
/L
2
. Ent ao, a equac ao para a determinac ao das constantes c
n
e, c
n
+c
n
n
2
p
2
/L
2
= 0, que coincide com a equac ao diferencial (7.14) determinada
74 7. A equac ao das ondas I: Oscilac oes transversais
mais ` a frente. A soluc ao geral da equac ao das ondas, obedecendo ` as condic oes de
Cauchy 1)-3), pode ser escrita na forma,
y(x, t) =

n=1
c
n
(t)sin
pn
L
x (7.10)
o que mostra que, por comparac ao com a s erie de Fourier e para t xo, y(x, t)
est a apenas denido num subespaco H de dimens ao innita do espaco de Hil-
bert L
2
([0, L]). Esta restric ao foi obtida atrav es das condic oes fronteira, y(0, t) =
y(L, t) = 0. Neste subespaco H L
2
([0, L]), o operador T = c
2
2
x
2
e auto-adjunto
(Exerccio 4.2b)).
Faca-se agora uma construc ao mais explcita da soluc ao da equac ao das ondas,
obedecendo ` as condic oes de Cauchy 1)-3). Nesta construc ao, vamos obter uma
soluc ao da forma (7.10), como n ao poderia deixar de ser.
Como, L
2
([0, L]) e um espaco vectorial e cada termo do somat orio

n
c
n
(t)y
n
(x)
e um produto de duas func oes, uma dependente de x e outra de t, pode-se assumir
que a soluc ao da equac ao das ondas tem a forma (separada) gen erica,
f(x, t) = G(t) F(x).
Substituindo a func ao f(x, t) na equac ao das ondas, obtem-se,
F
00
(x)
F(x)
=
1
c
2
G
00
(t)
G(t)
.
Como ambos os membros da igualdade anterior s ao iguais e dependem de vari aveis
independentes, s o se pode ter,
F
00
(x) = sF(x) e G
00
(t) = sc
2
G(t) (7.11)
em que s e uma constante. A primeira equac ao em (7.11) e a equac oes aos valores
pr oprios do operador segunda derivada que actua no espaco de Hilbert das func oes
cujo domnio e o intervalo [0, L]. Pelas condic oes fronteira 3), tem-se que,
f(0, t) = f(L, t) = 0 ) F(0) G(t) = F(L) G(t)
ou seja,
F(0) = F(L) = 0.
Caso contr ario, G(t) = 0 para todo o t 0.
Pode-se agora resolver a equac ao aos valores pr oprios com a condic ao fronteira
F(0) = F(L) = 0. A soluc ao geral da equac ao aos valores pr oprios e,
F(x) = Ae
p
sx
+Be

p
sx
.
7.3. Soluc oes estacion arias da equac ao das ondas. 75
Com as condic oes fronteira 3),

F(0) = A+B = 0
F(L) = Ae
p
sL
+Be

p
sL
= 0
vem que,
2Asinh(
p
sL) = 2iAsin(
_
|s|L) = 0.
Esta relac ao s o e vericada se,
_
|s|L = np ou seja s
n
=
n
2
p
2
L
2
(7.12)
com n 1. Ent ao, a soluc ao da equac ao aos valores pr oprios (7.11) e,
F
n
(x) = A

e
i
np
L
x
e
i
np
L
x

= 2iAsin
np
L
x (7.13)
e, F
n
(x) =2iAsin
np
L
x e o vector pr oprio associado ao valor pr oprio s
n
=n
2
p
2
/L
2
,
com n 1.
A equac ao em t em (7.11), e agora,
G
00
n
(t) +c
2
p
2
n
2
L
2
G
n
(t) = 0 (7.14)
que tem a soluc ao geral,
G
n
(t) = A
n
e
i
cnp
L
t
+B
n
e
i
cnp
L
t
= (A
n
+B
n
)cos
cnp
L
t +i(A
n
B
n
)sin
cnp
L
t .
Assim, a soluc ao da equac ao das ondas, correspondente ao valor pr oprio s
n
=
n
2
p
2
/L
2
, e,
f
n
(x, t) = G
n
(t) F
n
(x) = a
n
sin
pn
L
x cos
cpn
L
t +b
n
sin
pn
L
x sin
cpn
L
t
em que a
n
e b
n
s ao constantes a determinar pelas condic oes iniciais 1) e 2).
Como a equac ao das ondas e linear, o princpio de sobreposic ao e aplic avel, e
a soluc ao geral da equac ao das ondas associada ` as condic oes de Cauchy 1) 3) e,
y(x, t) =

n=1
f
n
(x, t)
=

n=1

a
n
sin
pn
L
x cos
cpn
L
t +b
n
sin
pn
L
x sin
cpn
L
t

n=1

a
n
cos
cpn
L
t +b
n
sin
cpn
L
t

sin
pn
L
x
(7.15)
que coincide evidentemente com (7.10).
76 7. A equac ao das ondas I: Oscilac oes transversais
Impondo a condic ao inicial 1),
y(x, 0) = f (x) =

n=1
a
n
sin
pn
L
x. (7.16)
Multiplicando a express ao anterior por sin
pn
L
x e integrando no intervalo entre [0, L],
obtem-se,
a
n
=
2
L
_
L
0
f (x)sin
np
L
x dx.
Assim, as constantes a
n
da soluc ao (7.15) da equac ao das ondas determinam-se
desenvolvendo em s erie de Fourier a func ao f (x). De igual modo, a condic ao 2)
implica que,

t
y(x, t)|
t=0
= g(x) =

n=1
cpn
L
b
n
sin
pn
L
x. (7.17)
Multiplicando esta express ao por sin
pn
L
x e integrando no intervalo [0, L], os coe-
cientes b
n
da soluc ao da equac ao das ondas determinam-se atrav es da velocidade
instant anea da corda,
b
n
=
2
cpn
_
L
0
g(x)sin
np
L
x dx (7.18)
Est a assim determinada a soluc ao geral da equac ao das ondas com extremos
xos e sujeita ` as condic oes de Cauchy 1)3).
Nas condic oes do problema de Cauchy, a soluc ao da equac ao das ondas com
extremos xos e, para cada t, um elemento do espaco de Hilbert L
2
([0, L]). Como a
equac ao das ondas envolve segundas derivadas em ordem ao espaco, tem que se ter
necessariamente, para cada t, f(x, t) 2L
2
([0, L])\C
2
([0, L]). Claro est a que, f , g 2
L
2
([0, L]) \C
2
([0, L]). Nestas condic oes, diz-se que f(x, t) 2 L
2
([0, L]) \C
2
([0, L])
e uma soluc ao cl assica da equac ao das ondas. Neste caso, tamb em se diz que
f(x, t) 2 L
2
([0, L]) e uma soluc ao forte da equac ao das onda. No entanto, as ex-
press oes (7.15)-(7.17) s ao formalmente v alidas para o caso mais geral em que
f(x, t) 2 L
2
([0, L]), obedecendo ` as condic oes fronteira 3). Mais ` a frente, anali-
saremos algumas destas situac oes mais gerais.
O que vimos at e agora pode ser resumindo no teorema seguinte:
Teorema 7.1. Seja a equac ao das ondas homog enia (equac ao (7.7) com F
ext
= 0).
Considerem-se as condic oes de Cauchy 1)-3) com f , g 2 L
2
([0, `]), com ` < .
Ent ao a soluc ao f(x, t) da equac ao das ondas homog enia existe para todo o t 2 R
e, para cada valor de t, f(x, t) 2 L
2
([0, `]).
Demonstrac ao. A exist encia da soluc ao para todo o t 2 R foi mostrada em (7.15).
Como f , g 2 L
2
([0, `]), por (7.16) vem que, a
2
n
<. Se d
n
s ao os coecientes de
Fourier de g(x), tem-se que, por (7.17) e (7.18), b
2
n
=
4`
2
c
2
p
2

d
2
n
n
2
<
4`
2
c
2
p
2
d
2
n
<.
Por (7.10) e (7.15), pela igualdade de Bessel e pela desigualdade de Minkovski,
tem-se que,
||f(x, t)|| =

n
c
2
n

1/2

n
a
2
n

1/2
+

n
b
2
n

1/2
<
7.3. Soluc oes estacion arias da equac ao das ondas. 77
e f(x, t) 2 L
2
([0, `]).
Exemplos simples. Considere-se a condic ao inicial da corda f (x) = sin
px
L
e a
velocidade inicial g(x) = 0. Assim,
b
n
= 0 , a
n
= 0 , n 2 e a
1
=
2
L
_
L
0
sin
2
px
L
dx = 1
e,
y(x, t) = sin
p
L
x cos
cp
L
t =
1
2
sin
p
L
(x ct) +
1
2
sin
p
L
(x +ct) (7.19)
A soluc ao y(x, t) escreve-se como a soma de duas soluc oes do tipo onda pro-
gressiva. Ent ao o movimento transversal pode ser interpretado como a sobreposic ao
de duas ondas progressivas que se propagam em sentidos contr arios, com veloci-
dades c e c. Na gura 7.4, est a representada a evoluc ao temporal da soluc ao
estacion aria (7.19), assim como a evoluc ao temporal das ondas progressivas com
velocidades c e c.
Figura 7.4: Evoluc ao temporal da soluc ao estacion aria (7.19) e das ondas progres-
sivas com velocidades c e c. Neste caso particular, os perfs das duas ondas
progressivas coincidem nos instantes t = 0 e t = L/c.
78 7. A equac ao das ondas I: Oscilac oes transversais
Calcule-se agora a velocidade transversal de um ponto x = x

da corda. Por
(7.19),
y
t
|
x=x
=
cp
L
sin
p
L
x

sin
cp
L
t
Assim, a velocidade das oscilac oes ou velocidade transversal e uma func ao peri odica
no tempo, enquanto que a constante c est a relacionada com a velocidade de propa-
gac ao das ondas progressivas.
No caso particular em que, f (x) =sin
2p
L
x e g(x) =0, a soluc ao da equac ao das
ondas tem a forma, gura 7.5,
y(x, t) = sin
2p
L
x cos
2pc
L
t =
1
2
sin
2p
L
(x ct) +
1
2
sin
2p
L
(x +ct) (7.20)
Isto sugere que a soluc ao geral da equac ao das ondas se pode decompor na
soma de duas ondas progressivas. De facto,
y(x, t) =

n=1
a
n
sin
pn
L
x cos
cpn
L
t +b
n
sin
pn
L
x sin
cpn
L
t
=
1
2

n=1
a
n
sin
pn
L
(x ct) +b
n
cos
pn
L
(x ct)
+
1
2

n=1
a
n
sin
pn
L
(x +ct) b
n
cos
pn
L
(x +ct)
:= j
1
(x ct) +j
2
(x +ct)
(7.21)
E a soluc ao geral da equac ao das ondas pode ser posta como a sobreposic ao de
duas ondas progressivas, j
1
(xct) e j
2
(x+ct), com velocidades c e c, respecti-
vamente. A soluc ao y(x, t) em (7.21), designa-se por soluc ao estacion aria ou onda
estacion aria. Mais ` a frente iremos ver que isto corresponde a um resultado geral
para as soluc oes da equac ao linear das ondas.
As soluc oes particulares f
n
(x, t) da equac ao das ondas, (7.15), designam-se por
modos pr oprios de vibrac ao. Cada modo pr oprio corresponde a uma frequ encia de
oscilac ao diferente. Ent ao, da express ao geral de y(x, t), (7.21), decorre que a
frequ encia de vibrac ao transversal associada ao modo pr oprio f
n
(x, t) e,
2pw
n
t =
cnp
L
t ) w
n
=
nc
2L
(Hertz)
ou ainda,
w
n
=
n
2L

T
r
(Hertz) (7.22)
em que r e a densidade por unidade de comprimento da corda e T e a tens ao. A
relac ao (7.22) e a Lei de Mersenne. Nesta express ao est ao contidos os princpios
para a construc ao dos instrumentos musicais de cordas: a) a frequ encia de vibrac ao
aumenta quando o comprimento da corda diminui; b) a frequ encia aumenta quando
a tens ao aumenta; c) quanto mais densa e a corda ou maior a secc ao da corda, a
frequ encia de vibrac ao e menor.
7.3. Soluc oes estacion arias da equac ao das ondas. 79
Figura 7.5: Evoluc ao temporal da soluc ao estacion aria (7.20) e das ondas progres-
sivas com velocidades c e c. Neste caso particular, os perfs das duas ondas
progressivas coincidem nos instantes t = 0 e t = L/2c.
80 7. A equac ao das ondas I: Oscilac oes transversais
No caso da equac ao das ondas a duas dimens oes equac ao (7.8) que des-
creve o movimento oscilat orio de uma membrana, pode-se fazer uma an alise se-
melhante (Exerccio 7.8). Neste caso, os modos pr oprios de vibrac ao s ao indexa-
dos por dois ndices a que correspondem vectores pr oprios do espaco de Hilbert
L
2
([0, L] [0, L]). Na gura 7.6, est ao representados alguns modos pr oprios de
vibrac ao de uma membrana rectangular e de uma membrana circular.
Figura 7.6: Modos pr oprios de vibrac ao da equac ao das ondas a duas dimens oes
(7.8). Est ao representados os primeiros modos pr oprios de vibrac ao de uma
membrana rectangular e de uma membrana circular.
Para analisar a consist encia das soluc oes da equac ao das ondas do ponto de
vista da sua interpretac ao fsica, calcule-se o comprimento da corda em func ao do
tempo (`(t)), para o caso particular da soluc ao (7.19). Com, y(x, t) = Asin
p
L
x
cos
cp
L
t, o comprimento da corda e,
`(t) =
_
L
0

1+

y
x

2
dx
=
_
L
0
dx

n=1
(1)
n
(2n3)!!
(2n)!!
_
L
0

y
x

2n
dx
= L+
p
2
A
2
4L
cos(
cpt
L
)
2

3p
4
A
4
64L
3
cos(
cpt
L
)
4
+
sendo portanto uma func ao do tempo. Como a massa da corda e constante, a
densidade linear da corda por unidade de comprimento tem de variar com o tempo.
Como c
2
= T/r e constante, tem de se ter necessariamente c
2
= T(t)/r(t), ou
seja, a tens ao e a densidade linear variam ao longo do tempo. Ora isto contraria
as simplicac oes feitas na deduc ao da equac ao das ondas (de (7.2) para (7.4)),
pelo que a equac ao das ondas s o e uma boa aproximac ao para valores de L muito
grandes, quando comparados com a amplitude de vibrac ao, A
2
<< 4L/p
2
.
7.4. Teorema de dAlembert. 81
7.4 Teorema de dAlembert.
Pode-se detrminar a soluc ao da equac ao linear das ondas para uma corda innita
em que n ao s ao especicadas as condic oes fronteira.
Teorema 7.2 (dAlembert). A soluc ao geral da equac ao das ondas,

2
y
t
2
= c
2

2
y
x
2
com x, t 2 R, e,
y(x, t) = j
1
(x ct) +j
2
(x +ct)
em que, j
1
(x), j
2
(x) 2C
2
(R). Em particular,
y(x, t) =
f (x ct) + f (x +ct)
2
+
1
2c
_
x+ct
xct
g(s)ds (7.23)
em que, y(x, 0) = f (x) 2 C
2
(R) e
y
t
(x, t)|
t=0
= g(x) 2 C
2
(R) s ao, respectiva-
mente, a posic ao inicial e a velocidade inicial da corda.
Demonstrac ao. Comece-se por rescrever a equac ao das ondas nas novas vari aveis,

u = x ct
v = x +ct
(7.24)
Com,
_

x
=

u
+

v

t
= c

u
+c

v
por substituic ao na equac ao das ondas, vem a equac ao na sua forma hiperb olica,

2
uv
y(u, v) = 0
cuja soluc ao geral e,
y(u, v) = j
1
(u) +j
2
(v). (7.25)
A primeira parte do teorema est a assim demonstrada.
Com, y(x, 0) = f (x) e
y
t
(x, t = 0) = g(x), por (7.24) e (7.25), tem-se que,

j
1
(x) +j
2
(x) = f (x)
cj
0
1
(x) +cj
0
2
(x) = g(x)
(7.26)
Derivando a primeira equac ao em (7.26) e resolvendo o sistema em ordem ` as deri-
vadas de j
1
e j
2
, obtem-se,
_

_
j
0
1
(x) =
1
2
f
0
(x)
1
2c
g(x)
j
0
2
(x) =
1
2
f
0
(x) +
1
2c
g(x)
82 7. A equac ao das ondas I: Oscilac oes transversais
ou seja,
_

_
j
1
(x) = j
1
(0) +
1
2
( f (x) f (0))
1
2c
_
x
0
g(s)ds
j
2
(x) = j
2
(0) +
1
2
( f (x) f (0)) +
1
2c
_
x
0
g(s)ds
(7.27)
para todo o x 2 R. Com as substituic oes x !u na primeira equac ao em (7.27) e
x !v na segunda equac ao, obtemos,
y(x, t) = j
1
(u) +j
2
(v) = j
1
(x ct) +j
2
(x +ct)
=
f (x ct) + f (x +ct)
2
+
1
2c
_
x+ct
xct
g(s)ds
em que, por (7.26), se usou a relac ao, j
1
(0) +j
2
(0) = f (0).
O teorema de dAlembert estabelece que a soluc ao geral da equac ao das ondas
e a combinac ao linear de duas soluc oes que se deslocam com velocidades c e c.
Como j a foi referido atr as, convencionou-se chamar ondas progressivas ` as soluc oes
j
1
(x ct) e j
2
(x +ct) e onda estacion aria ` a soluc ao y(x, t) =j
1
(x ct) +j
2
(x +
ct).
A f ormula de dAlembert para a soluc ao da equac ao das ondas pode ser apli-
cada a problemas com condic oes fronteira nitas. Suponha-se ent ao que se tem a
condic ao fronteira, y(0, t) = y(L, t) = 0. Com, y(u, v) = j
1
(x ct) +j
2
(x +ct),
para x = 0, tem-se que, j
1
(ct) =j
2
(ct), para todo o t 2 R, e portanto,
j
1
(x) =j
2
(x).
Para que esta relac ao se verique para todo o x 2 R, por (7.27), obt em-se as
coondic oes,

f (x) =f (x)
g(s) =g(s).
Assim, dadas as func oes f (x) e g(x), com x 2 [0, L], prolongando-as como func oes
mpares nas vizinhancas de x = 0 e x = L, f (x) e g(x) cam extendidas a todo o
eixo real como func oes peri odicas de periodo 2L. Nestas condic oes pode-se aplicar
o teorema de dAlembert ` as extens oes de f (x) e g(x), obtendo-se uma soluc ao geral
para a equac ao das ondas com condic oes fronteira nitas.
Na gura 7.7, est a representado o gr aco do prolongamento mpar de uma
func ao em torno dos pontos x = 0 e x = L.
Vejamos o que se passa quando, g(x) = 0. Neste caso,
y(x, t) =
1
2
f (x ct) +
1
2
f (x +ct)
e se f (x) representa um deslocamento inicial, fortemente localizado, a soluc ao
geral da equac ao das ondas e a sobreposic ao de duas ondas progressivas com velo-
cidades c e c. Estas ondas progressivas s ao peri odicas de perodo 2L. Quando as
7.5. Energia de ondas transversais de pequena amplitude 83
Figura 7.7: Prolongamento mpar de uma func ao f (x) em torno dos pontos x = 0 e
x = L.
ondas progressivas atingem as fronteiras em x =0 e x =L, e como f (x) e mpar em
torno destes pontos, pelo teorema de dAlembert, existe uma imagem de espelho
invertida de cada lado de ambas as fronteiras. Do ponto de vista do que se passa
no domnio [0, L], as velocidades de propagac ao invertem-se e d a-se a mudanca
instant anea do sinal da perturbac ao, gura 7.8.
Figura 7.8: Reex ao de ondas progressivas nas fronteiras de um domnio. Neste
caso, as consic oes fronteira s ao y(0, t) = 0 e y(L, t) = 0.
Conclui-se assim que a reex ao de uma onda progressiva numa regi ao espacial
e com condic oes fronteira y(0, t) = 0 e y(L, t) = 0, e obtida atrav es da invers ao
da velocidade de propagac ao e da fase da onda (fase !fase +p). Isto e, a lei de
reex ao de ondas e consequ encia directa do facto de as soluc ao estacion arias serem
a soma de duas soluc oes progressivas.
7.5 Energia de ondas transversais de pequena amplitude
Veja-se como calcular a energia cin etica associada aos modos pr oprios de vibrac ao
de uma corda vibrante. Da equac ao de Newton para o movimento de uma partcula
de massa m, m x =
V
x
, decorre que, m x x+ x
V
x
=0 e portanto
d
dt
_
1
2
m x
2
+V(x)
_
=
0. Assim, a energia total, E =
1
2
m x
2
+V(x) e conservada. Se n ao existe nenhuma
forca exterior, V(x) = 0, e a energia cin etica tamb em e conservada.
Por analogia com o que foi feito para a equac ao de Newton, multiplica-se a
equac ao das ondas (7.7) por y/t e integrando em x, entre x = 0 e x = L, obtem-
84 7. A equac ao das ondas I: Oscilac oes transversais
se,
_
L
0
y
t

2
y
t
2
dx c
2
_
L
0
y
t

2
y
x
2
dx = 0.
Integrando por partes o segundo termo da igualdade anterior,
d
dt
1
2
_
L
0

y
t

2
dx c
2
y
t
y
x
_
L
0
+c
2
_
L
0
y
tx
y
x
dx = 0.
Como
y
t
|
x=0
=
y
t
|
x=L
= 0, a express ao anterior escreve-se,
d
dt
1
2
_
L
0

y
t

2
dx +
d
dt
c
2
2
_
L
0

y
x

2
dx = 0 (7.28)
Ou seja, podemos denir energia cin etica da corda vibrante com extremos xos em
x = 0 e x = L como,
E
c
=
1
2
r
_
L
0

y
t

2
dx +
1
2
rc
2
_
L
0

y
x

2
dx
em que, por quest oes dimensionais, se multiplicaram os termos da equac ao (7.28)
por r.
Como, neste caso, a energia cin etica e constante ao longo do tempo, no instante
t = 0, tem-se que,
E
c
=
1
2
r
_
L
0
g
2
(x)dx +
1
2
rc
2
_
L
0
( f
0
)
2
(x)dx
=
1
2
r
_
L
0
_
g
2
(x) +c
2
( f
0
)
2
(x)
_
dx
=
1
2
r
_
c
2
|| f
0
||
2
+||g||
2
_
em que assumimos que f
0
, g 2L
2
([0, L]). Com as express oes obtidas anteriormente
para a condic ao inicial f (x) e a velocidade inicial g(x), (7.16) e (7.17), e pela
igualdade de Bessel (teorema3.5), a energia cin etica de uma corda vibrante e,
E
c
=
1
2
r

n=1
c
2
p
2
n
2
L
2
(a
2
n
+b
2
n
) =
1
2
r

n=1
w
2
n
(a
2
n
+b
2
n
)
em que w
n
= npc/L rad e a frequ encia do modo pr oprio de vibrac ao n umero n.
No caso em que a corda est a sujeita a uma forca exterior conservativa, tem-se
que F
ext
=
V(y,x)
y
. Com um c alculo semelhante ao efectuado acima, a energia
total do movimento transversal e,
E
t
=
1
2
r
_
L
0

y
t

2
dx +r
c
2
2
_
L
0

y
x

2
dx +
_
L
0
V(y(x, t), x)dx
7.6. Resson ancia 85
7.6 Resson ancia
Como se viu em (7.21), a soluc ao geral da equac ao homog enea das ondas, obede-
cendo ` as condic oes de Cauchy 1)-3), e,
y(x, t) =

n1
g
n
(t) f
n
(x) =

n1
g
n
(t)sin
pn
L
x (7.29)
em que f
n
(x) = sin
pn
L
x e um vector pr oprio do operador T = c
2
2
x
2
, quando res-
tringido ao subespaco de L
2
([0, L]) formado por todas as func oes que se anulam
em x = 0 e x = L. Associado ao vector pr oprio est a associado o valor pr oprio
s
n
=c
2 p
2
n
2
L
2
. Assim,
T f
n
(x) = c
2

2
x
2
f
n
(x) = s
n
f
n
(x). (7.30)
Para resolver a equac ao das ondas n ao homog enea (7.7), obedecendo ` as condic oes
de Cauchy 1)-3), comeca-se por desenvolver o termo n ao homog eneo F
ext
(x, t)/r
na base dos f
n
(x). Seja ent ao o desenvolvimento na base dos f
n
(x),
1
r(x)
F
ext
(x, t) =

h
n
(t) f
n
(x). (7.31)
Introduzindo (7.31) e (7.29) em (7.7), obtem-se,

n
f
n
(x)
d
2
g
n
dt
2
= c
2

n
g
n
(t)
d
2
f
n
dx
2
+

n
h
n
(t) f
n
(x).
Por (7.30), a equac ao anterior reduz-se a,

n
f
n
(x)
d
2
g
n
dt
2
=

n
s
n
g
n
(t) f
n
(x) +

n
h
n
(t) f
n
(x).
Portanto, para cada n 1, tem-se a equac ao diferencial em t,
d
2
g
n
(t)
dt
2
= s
n
g
n
(t) +h
n
(t) (7.32)
que pode ser resolvida em func ao das condic oes iniciais g
n
(0) e g
n
(0). Assim, a
soluc ao da equac ao n ao homog enea das ondas ondas (7.7) tem soluc oes da forma
(7.29), com as func oes g
n
(t) obtidas como soluc oes das equac oes (7.32).
Mostrou-se assim como resolver a equac ao n ao homog enea das ondas, conhe-
cendo a soluc ao geral do problema homog eneo. Forcando uma corda com uma
forca exterior peri odica no tempo, chega-se naturalmente a um problema n ao ho-
mog eneo que tem uma soluc ao em func ao dos vectores pr oprios e dos valores
pr oprios do problema homog eneo associado.
86 7. A equac ao das ondas I: Oscilac oes transversais
Considere-se uma corda vibrante sujeita a uma forca exterior peri odica no
tempo, F
ext
(t) = Asin(qt). Neste caso, a equac ao das ondas (7.7) escreve-se na
forma,

2
y
t
2
= c
2

2
y
x
2
+
1
r
Asin(qt).
A soluc ao geral desta equac ao n ao homog enea tem a forma (7.29), em que g
n
(t) e
soluc ao da equac ao (7.32).
Para determinar h
n
(t), aplica-se a propriedade de ortogonalidade das func oes
f
n
(x). Isto e, multiplica-se (7.31) por f
n
(x) e integra-se no intervalo [0, L]. Como
os elementos da base { f
n
(x)} do espaco de Hilbert s ao ortogonais mas n ao est ao
normalizados,
h
n
(t)
_
L
0
f
2
n
(x)dx =< f
n
(x),
1
r
Asin(qt) >
obtendo-se,
L
2
h
n
(t) = A
L
r
1(1)
n
np
sin(qt)
ou seja,
h
n
(t) =
_
_
_
0, n = 2, 4, 6, . . .
4A
rnp
sin(qt), n = 1, 3, 5, . . . .
Assim, as equac ao diferenciais (7.32) s ao,
d
2
g
2n
(t)
dt
2
= s
n
g
2n
(t)
d
2
g
2n1
(t)
dt
2
= c
2
(2n1)
2
p
2
L
2
g
2n1
(t) +
4A
r(2n1)p
sin(qt) (7.33)
em que n 1.
A equac ao (7.33) tem uma soluc ao particular da forma,
g
2n1
(t) = Bsin(qt)
em que B e uma constante a determinar. Substituindo esta soluc ao em (7.33),
obtem-se,
Bq
2
=c
2
B
(2n1)
2
p
2
L
2
+
4A
r(2n1)p
cuja soluc ao e,
B =
4A
r(2n1)p
1
c
2
(2n1)
2
p
2
L
2
q
2
Assim, se a frequ encia da forca exterior e tal que,
q = c
(2n1)p
L
7.7. A equac ao das ondas e a transformac ao de Lorentz 87
a soluc ao particular do problema n ao homog eneo tende para innito e a equa-
c ao das ondas tem uma resson ancia. Devido ` a forma particular das condic oes
fronteira de extremos xos, as frequ encias de resson ancia s ao as frequ encias dos
modos pr oprios mpares do problema homog eneo. Assim, quando uma corda com
extremos xos e actuada por uma forca exterior peri odica com uma frequ encia
igual ` a frequ encia de um modo pr oprio mpar, no limite t !, a amplitude das
oscilac oes tendem para innito (Exerccio 7.11).
Nos captulos seguintes v ao-se desenvolver t ecnicas gerais para a integrac ao de
equac oes diferenciais n ao homog eneas do tipo de (7.32).
7.7 A equac ao das ondas e a transformac ao de Lorentz
Como e conhecido, a equac ao de Newton m x =F(x) e invariante para a transformac ao
de vari aveis x !y =xvt, em que v e uma velocidade relativa. Isto e, as equac oes
do movimento t em a mesma forma em referenciais com velocidade relativa cons-
tante v (princpio de in ercia). Embora a equac ao das ondas tenha sido deduzida
atrav es da equac ao de Newton, esta propriedade deixa de ser v alida.
Veja-se ent ao que a equac ao das ondas e invariante para a transformac ao de
Lorentz. Seja ent ao a equac ao das ondas,

2
y
t
2
= c
2

2
y
x
2
. (7.34)
Sejam as novas vari aveis,
_

_
y =
x vt
_
1v
2
/c
2
=
x bct
g
s =
t vx/c
2
_
1v
2
/c
2
=
ct bx
cg
(7.35)
em que b = v/c, g =
_
1b
2
e v e a velocidade relativa entre os dois referenciais
de in ercia. A constante c e a velocidade das ondas progressivas. A transformac ao
(7.35) e a transformac ao de Lorenz e n ao est a bem denida para v c.
Com as novas vari aveis (7.35), os operadores diferenciais s ao,
_

x
=
1
g

b
cg

t
=
cb
g

y
+
1
g

2
x
2
=
1
g
2

2
y
2
2
b
cg
2

2
ys
+
b
2
c
2
g
2

2
s
2

2
t
2
=
c
2
b
2
g
2

2
y
2
2
cb
g
2

2
ys
+
1
g
2

2
s
2
.
88 7. A equac ao das ondas I: Oscilac oes transversais
Introduzindo estes operadores na equac ao (7.34), obtem-se,

2
y
s
2
= c
2

2
y
y
2
.
Conclui-se assim que a equac ao das ondas e invariante para a transformac ao de
Lorenz (7.35), desde que v < c.
7.8 Soluc oes fortes e fracas da equac ao das ondas
Considere-se a equac ao linear das ondas,

2
y
t
2
c
2

2
y
x
2
= 0. (7.36)
Como se viu, no caso da corda com extremos xos, a soluc ao da equac ao das
ondas pode ser escrita na forma de uma s erie de Fourier, (7.15), num subespaco
do espaco de Hilbert L
2
([0, L]), e y 2 C
2
([0, L]) \L
2
([0, L]). Embora C
2
([0, L])
seja denso em L
2
([0, L]), escreve-se y 2 C
2
([0, L]) \L
2
([0, L]) para realcar que a
soluc ao y e obtida atrav es de t ecnicas convencionais de derivac ao. Neste caso,
diz-se que y 2C
2
([0, L]) \L
2
([0, L]) e uma soluc ao forte da equac ao das ondas.
Noutro contexto, se f e a func ao constante e g a func ao nula, pela f ormula de
dAlembert, y(x, t) = f e soluc ao da equac ao das ondas. No entanto, f 62 L
2
(R).
Assim, queremos saber at e que ponto a equac ao (7.36) admite soluc oes em que y
e uma distribuic ao, e as derivadas em (7.36) podem ser encaradas como derivadas
no sentido das distribuic oes.
Como a soluc ao geral de (7.36) e da forma y(x, t) = F(x ct) +F(x +ct),
calculado em (7.15) ou em (7.23), vamos assumir por hip otese que F e uma dis-
tribuic ao, isto e F 2 D
0
(R). Se F e uma distribuic ao regular, claro est a que F
pode ser gerado for func oes f , g 2 L
1
loc
(R), e a f ormula de dAlembert assume um
signicado mais geral.
Vai-se ent ao mostrar que se y(x, t) = F
1
(x ct) +F
2
(x +ct) 2 D
0
(R), ent ao
y e ainda uma soluc ao da equac ao das ondas no sentido das distribuic oes, e as
distribuic ao F
1
e F
2
podem ser geradas pela classe mais geral de func oes do pro-
blema inicial: f , g 2 L
1
loc
(R). Vamos fazer a demonstrac ao apenas para a distribui-
c ao F
1
(x ct).
Como F
1
e uma distribuic ao, vamos ent ao calcular,
I =

2
t
2
c
2

2
x
2

F
1
no sentido das distribuic oes. Pelo lema 6.1, tem-se que, no sentido das distribuic oes,
I =
_ _
F
1
(x ct)

2
j(x, t)
t
2
c
2

2
j(x, t)
x
2

dxdt
7.9. Exerccios 89
em que j(x, t) 2D(R
2
), F
1
(xct) e dado pelas func oes da f ormula de dAlembert
(7.23) comargumento (xct) e construda ` a custa das func oes f e g, agora tomadas
como elementos de L
1
loc
(R).
Mostrar que a distribuic ao F
1
(x ct) e uma soluc ao da equac ao das ondas
e mostrar que para todo o j(x, t) 2 D(R
2
), se tem sempre I = 0. Assim, com
a transformac ao de vari aveis, y = x ct e z = x +ct, tem-se que x = (y +z)/2,
t = (z y)/(2c), e,
I =
_
F
1
(y)
_

2
j(y, z)
yz

1
2c
dzdy =
_
F
1
(y)
_
j(y, z)
y
_
+

1
2c
dy
Mas como j(x, t) 2 D(R
2
), vem que
_
j(y,z)
y
_
+

= 0, ou seja, I = 0 para todo o


j(x, t) 2 D(R
2
).
Est a assim demonstrada a validade da f ormula de dAlembert no sentido das
distribuic oes. Nestas condic oes, y(x, t) = F
1
(x ct) +F
2
(x +ct) 2 D
0
(R) e uma
soluc ao fraca da equac ao das ondas.
7.9 Exerccios
7.1) Qual a velocidade de propagac ao das ondas progressivas numa corda de den-
sidade r = 0, 4 kg m
1
e sujeita a uma tens ao T = 0, 9 N.
7.2) Uma corda e esticada entre dois pontos r
a
e r
b
que est ao dist ancia L, como se
mostra na gura. A corda est a sujeita ` a acc ao da gravidade na direcc ao transversal,
tem densidade r e a tens ao e T. Determine a forma de equilbrio da corda. Esboce
um gr aco da soluc ao de equilbrio.
7.3) A equac ao de Euler-Bernoulli que descreve as pequenas oscilac oes transver-
sais de uma barra e,

2
f
t
2
= c
2

4
f
x
4
em que, c
2
= EI/rA, E [Nm
2
] e o m odulo de elasticidade, r e a densidade da
barra, A e a area da secc ao da barra e I [m
4
] e o momento de area da secc ao
recta da barra, relativamente ao eixo dos xx. Suponha que a barra est a presa nas
extremidades, em dois pontos que est ao ` a dist ancia L, e que
f
x
(x = 0) =
f
x
(x =
L) = 0. Determine a forma de equilbrio da barra no campo gravtico.
7.4) Estude o movimento de uma corda com extremos xos a uma dist ancia L e
sujeita a uma forca de atrito proporcional ` a velocidade. Neste caso, a equac ao das
90 7. A equac ao das ondas I: Oscilac oes transversais
ondas escreve-se na forma,

2
f
t
2
+2l
f
t
= c
2

2
f
x
2
em que l e o coeciente de atrito. Determine a frequ encia dos modos pr oprios de
vibrac ao e a soluc ao geral.
7.5) Encontre os modos pr oprios de vibrac ao de uma corda de comprimento L,
presa a dois aneis de massa muito pequena e que se podem deslocar ao longo de
duas barras paralelas. Use as condic oes fronteira (f/x)(0, t) = (f/x)(L, t) =
0 (condic oes fronteira de Neumann).
7.6) A corda de um instrumento musical e dedilhada no ponto x = L/2, em que L
e o comprimento da corda. A esta situac ao corresponde a condic ao inicial,
f (x) =

2ax/L , se x L/2
2a(x L)/L , se x L/2
e a velocidade inicial g(x) =0. Calcule a frequ encia e a energia cin etica dos modos
pr oprios de vibrac ao.
7.7) A corda de um piano tem comprimento L e e percutida com um martelo rec-
tangular na regi ao [L/2d, L/2+d], com velocidade A. Calcule a frequ encia e a
energia cin etica dos modos pr oprios de vibrac ao.
7.8) Determine os valores pr oprios e os modos pr oprios de vibrac ao de uma mem-
brana rectangular de lados a e b. Suponha que a membrana est a presa nos lados do
rect angulo.
7.9) A energia cin etica de uma corda vibrante e dada por,
E
c
=
1
2
r
_
L
0

y
t

2
dx +r
c
2
2
_
L
0

y
x

2
dx := E
1
c
+E
2
c
em que y(x, t) e a soluc ao da equac ao das ondas. Mostre que se y e uma onda
progressiva, y = y(x ct), ent ao E
1
c
= E
2
c
.
7.10) Determine a energia total de uma corda vibrante sujeita ` a forca gravtica.
7.11) Determine a soluc ao geral da equac ao n ao homog enea das ondas,

2
y
t
2
= c
2

2
y
x
2
+
1
r
Asin(qt)
para as condic oes fronteira, y(0, t) = y(L, t) = 0.
Captulo 8
A transformada de Fourier e as
func oes de Green
Constroi-se a transformada de Fourier de uma func ao e derivam-se as suas pro-
priedades. Demonstra-se o teorema integral de Fourier e o teorema de Plancherel.
Analisam-se algumas propriedades da transformada de Fourier de func oes Gaus-
sianas. Deduz-se a f ormula da soma de Poisson. Introduz-se o conceito de propa-
gador ou func ao de Green e derivam-se algumas func oes de Green associadas a
equac oes diferenciais ordin arias e a equac oes ` as derivadas parciais.
8.1 A transformada de Fourier
Se f e uma func ao denida no intervalo [L, L], a s erie de Fourier de f e uma
func ao peri odica, denida em toda a recta real e de perodo 2L. Se f n ao e
peri odica, e possvel estender o conceito de s erie de Fourier a func oes denidas
sobre toda a recta real.
Seja ent ao o desenvolvimento de Fourier de uma func ao denida no intervalo
[L, L],
f (x) =
+

n=
c
n
e
i
2pnx
2L
em que,
c
n
=
1
2L
Z
L
L
f (u)e
i
2pnu
2L
du.
Introduzindo os coecientes de Fourier c
n
dentro do somat orio, obtem-se,
f (x) =
+

n=
e
i
2pnx
2L

1
2L
Z
L
L
f (u)e
i
2pnu
2L
du

=
2p
2L
+

n=
e
iy
n
x
F(y
n
) (8.1)
em que y
n
= (2pn/2L) e,
F(y
n
) =
1
2p
Z
L
L
f (u)e
iy
n
u
du. (8.2)
91
92 8. A transformada de Fourier e as func oes de Green
Como o termo dentro do somat orio em (8.1) e da forma de uma soma de Riemann,
f (x) =

n
h
n
e
iy
n
x
F(y
n
)
em que, h
n
= y
n+1
y
n
= 2p/2L, no limite, L !+, h
n
!0, e portanto,
f (x) =
Z

e
iyx
F(y) dy (8.3)
De (8.2),
F(y) =
1
2p
Z

f (x)e
iyx
dx (8.4)
O integral (8.3) generaliza o desenvolvimento de Fourier a func oes denidas
sobre todo o eixo real e n ao necessariamente peri odicas. A relac ao (8.4) e o coe-
ciente de Fourier no limite em que L !+.
Denic ao 8.1. Seja f (x): R !C uma func ao de domnio real e com valores em
C. O integral, tomado no sentido do valor principal de Cauchy
1
,
(F
x
f )(x) =
1
p
2p
v.p.
Z
+

f (x)e
ixx
dx
e a transformada de Fourier da func ao f (x), em que x e um par ametro real.
Claro est a que F
x
f (x) e um funcional linear, pois,
a) F( f +g) =F( f ) +F(g).
b) F(a f ) = aF( f ).
Estas propriedades indicam que a transformada de Fourier de uma func ao pode
ser interpretada como uma distribuic ao.
Veja-se uma condic ao suciente para a exist encia de transformadas de Fourier.
Lema 8.2. Se, f 2L
1
(R), ent ao a transformada de Fourier de f est a bem denida.
1
Supondo por hip otese que f (x) e uma func ao contnua em R, excepto, por exemplo, no ponto
x
0
. Se f (x
0
) e innito, o integral de f (x) sobre R pode n ao existir. No entanto, pode-se denir o
valor principal de Cauchy do integral como,
I = v.p.
Z
+

f (x)dx = lim
e!0

Z
x
0
e

f (x)dx +
Z
+
x
0
+e
f (x)dx

Se, depois do limite tomado, obtivermos uma quantidade nita, ent ao I e o valor principal de Cauchy
do integral, embora o integral da func ao n ao exista no sentido de Riemann. Por exemplo, se f (x) =
1/x
3
, o integral desta func ao em R n ao existe no sentido de Riemann, mas o seu valor principal de
Cauchy e 0.
8.1. A transformada de Fourier 93
Demonstrac ao. Supondo por hip otese que f 2 L
1
(R),
|F f | =
1
p
2p

f (x)e
ixx
dx

1
p
2p
Z
+

| f (x)||e
ixx
|dx
=
1
p
2p
Z
+

| f (x)|dx <
e o lema est a demonstrado.
Do lema anterior, decorre que F f (x) e majorada por uma constante em todo
o seu domnio. Ent ao, ||F f ||
L
= ess sup|F f | < (Captulo 2), e a tranformada
de Fourier pode ser considerada como um operador F f : L
1
(R) !L

(R).
Vejamos algumas propriedades da transformada de Fourier.
A transformada de Fourier da derivada de uma func ao. Se f e f
0
s ao func oes
som aveis, f , f
0
2 L
1
(R), tem-se que,
F f
0
=
1
p
2p
Z
+

f
0
(x)e
ixx
dx
=
1
p
2p
f (x)e
ixx

+
1
p
2p
Z
+

ix f (x)e
ixx
dx
Como f (x) e integr avel ` a Lebesgue, lim
x!
f (x) = 0, e portanto,
F f
0
= (ix) F f
Em geral, se f
(n)
2 L
1
(R),
F f
(n)
= (ix)
n
F f
Transformada de Fourier da translacc ao. Se, f (x) 2 L
1
(R), ent ao, com u =
x h,
F
xh
f =
1
p
2p
Z
+

f (x h)e
ixx
dx
=
1
p
2p
Z
+

f (u)e
ix(u+h)
du = e
ixh
F
x
f
Derivada da transformada de Fourier. Se, f 2 L
1
(R) e x f 2 L
1
(R),
d
dx
F f =
1
p
2p
d
dx
Z
+

f (x)e
ixx
dx =
=
1
p
2p
Z
+

(ix) f (x)e
ixx
dx =F((ix) f (x))
Se, x
n
f (x) 2 L
1
(R), tem-se que
d
n
dx
n
F f =F((ix)
n
f (x))
94 8. A transformada de Fourier e as func oes de Green
Convoluc ao ou multiplicac ao de tranformadas de Fourier. Sejam f e g func oes
de L
1
(R) e sejam as suas transformadas de Fourier,
F f =
1
p
2p
Z
+

f (u)e
ixu
du Fg =
1
p
2p
Z
+

g(v)e
ixv
dv
O produto das transformadas de Fourier e,
(F f ).(Fg) =
1
2p
Z
+

Z
+

f (u)g(v)e
ix(u+v)
dudv.
Introduzindo a transformac ao de vari aveis,

x = u+v
t = v
)

u = x t
v = t
)J =

1 1
0 1

= 1
o produto das transformadas de Fourier escreve-se na forma,
(F f ).(Fg) =
1
2p
Z
+

Z
+

f (x t)g(t)e
ixx
dxdt
=
1
p
2p
Z
+

1
p
2p
Z
+

f (x t)g(t)dt

e
ixx
dx.
Denindo a convoluc ao de f com g como,
f g =
1
p
2p
Z
+

f (x t)g(t)dt
tem-se ent ao que,
(F f ).(Fg) =
1
p
2p
Z
+

( f g) e
ixx
dx =F( f g).
A convoluc ao de duas func oes e o an alogo da multiplicac ao: O produto das trans-
formadas de Fourier e igual ` a transformada de Fourier da convoluc ao das func oes.
Se g = f , ent ao
C(x) := f f =
1
p
2p
Z
+

f (x t) f (t)dt
em que C(x) e a func ao de correlac ao e,
|F f |
2
=FC.
A transformada de Fourier da func ao de correlac ao e o quadrado da transformada
de Fourier da func ao.
Quando x tem as dimens oes de um tempo, resulta que x tem as dimens oes
do inverso do tempo ou frequ encia e |F f (x)|
2
e o espectro de frequ encias ou
pot encia.
8.1. A transformada de Fourier 95
Veja-se um exemplo do c alculo de uma transformada de Fourier. Seja a func ao
Gaussiana,
f (x) = ke
a
2
x
2
.
Como f (x) 2 L
1
(R), a sua transformada de Fourier existe. Ent ao,
(F f )(x) =
k
p
2p
Z
+

e
a
2
x
2
e
ixx
dx =
k
p
2p
Z
+

e
a
2
x
2
cos(xx) dx
pois f (x) e par e sin(xx) e uma func ao mpar. Derivando esta ultima express ao em
ordem a x, vem que,
d
dx
F f =
k
p
2p
Z
+

xe
a
2
x
2
sin(xx) dx
=
k
2a
2
p
2p
e
a
2
x
2
sin(xx)

k
2a
2
p
2p
Z
+

xe
a
2
x
2
cos(xx) dx
=
1
2a
2
x F f .
Com, f(x) =F f , a relac ao anterior dene a equac ao diferencial,
d
dx
f =
1
2a
2
x f .
Ora, esta equac ao tem a soluc ao,
f(x) = Me

x
2
(2a)
2
.
Com a condic ao,
f(x = 0) = M =
k
p
2p
Z
+

e
a
2
x
2
dx =
k
p
2p
p
p
a
vem que,
f(x) =
k
p
2p
Z
+

e
a
2
x
2
e
ixx
dx =
k
a
p
2
e

x
2
(2a)
2
.
Assim, a transformada de Fourier de uma func ao Gaussiana e ainda uma func ao
Gaussiana.
Vejamos dois dos resultados mais importantes da teoria de Fourier, o teorema
Integral de Fourier e a f ormula de reciprocidade das transformadas de Fourier.
Teorema 8.3 (Integral de Fourier). Seja f : R !C uma func ao som avel na recta,
f 2 L
1
(R). Seja F(x) a transformada de Fourier de f (x),
F(x) =
1
p
2p
v.p.
Z
+

e
ixx
f (x)dx
96 8. A transformada de Fourier e as func oes de Green
em que v.p. se refere ao valor principal de Cauchy. Suponha-se ainda que f (x)
obedece a uma condic ao de Dini
2
, i.e., f (x) e tal que,
Z
d
d

f (x +t) f (x)
t

dt <
em cada ponto x e para todo o d > 0. Ent ao,
f (x+) + f (x)
2
=
1
p
2p
v.p.
Z
+

F(x)e
ixx
dx .
Nos pontos em que f (x) e contnua tem-se que
f (x) =
1
p
2p
v.p.
Z
+

F(x)e
ixx
dx .
Pelo teorema integral de Fourier, as relac oes,
8
>
<
>
:
F f = F(x) =
1
p
2p
v.p.
Z
+

e
ixx
f (x)dx
f (x) =
1
p
2p
v.p.
Z
+

e
ixx
F(x)dx
(8.5)
designam-se por f ormulas de reciprocidade de Fourier. Introduzindo F(x) na ex-
press ao de f (x), vem que,
f (x) =
1
2p
Z
+

e
ixx
dx
Z
+

e
ixt
f (t)dt
e portanto,
f (x) =
1
2p
Z
+

f (t)dt
Z
+

e
ix(xt)
dx (8.6)
Arelac ao (8.6) designa-se por f ormula integral de Fourier, sendo v alida nas condic oes
do teorema integral de Fourier. Da f ormula integral de Fourier decorre que,
1
2p
Z
+

e
ix(xt)
dx = d(x t) (8.7)
pois,
f (x) =
Z
+

f (t)d(x t)dt = f (x)


e (8.7) e uma representac ao da distribuic ao d de Dirac.
2
A condic ao de Dini tem uma interpretac ao geom etrica simples. Assumindo que f e contnua e
diferenci avel, f (x +t) ' f (x) +t f
0
(x), e o integral da condic ao de Dini tem o valor, | f
0
(x)|2d. Se f
e a sua derivada n ao s ao func oes contnuas em x, mas se os limites laterais existem, ent ao a condic ao
de Dini e aproximadamente (| f
0
(x)| +| f
0
(x+)|)d. Assim, a condic ao de Dini pode ser vista como
uma condic ao de nitude da derivada de f em todos os pontos do seu domnio.
8.1. A transformada de Fourier 97
Para func oes de v arias vari aveis, as f ormulas de reciprocidade de Fourier escrevem-
se
(F f )(
~
x) = F(x) =
1
(2p)
n/2
v.p.
Z
+

f (~r)e
i
~
x.~r
d~r
f (x) =
1
(2p)
n/2
v.p.
Z
+

F(
~
x)e
i
~
x.~r
d
~
x
em que ~r = x~e
x
+y~e
y
+. . .,
~
x = x
1
~e
1
+x
2
~e
2
+. . . e tudo o que foi feito at e aqui
generaliza-se facilmente. Isto e , os produtos xx s ao substituidos pelos produtos
internos
~
x.~r e a constante
p
2p e substituida por (2p)
n/2
.
Demonstrac ao do teorema integral de Fourier: Por (8.7), o integral,
Z
+

e
ix(xt)
dx
que surge na f ormula de Fourier (8.6), n ao est a bem denido no sentido tradicional.
Comece-se ent ao comecar por escrever,
e
ix(xt)
= cosx(x t) +i sinx(x t).
Com,
f (t)e
ix(xt)
= f (t)cosx(x t) +i f (t)sinx(x t)
vem que,
v.p.
Z
+

f (t) sinx(x t) dx = 0
pois sinx(x t) e uma func ao impar da vari avel x. Assim,
f (x) =
1
2p
Z
+

dx
Z
+

e
ix(xt)
f (t) dt
=
1
2p
Z
+

dx
Z
+

f (t) cosx(x t) dt .
Calcule-se agora o integral
I(A) =
2
2p
Z
+

f (t) dt
Z
A
0
cosx(x t)dx
=
1
p
Z
+

f (t)
sinA(x t)
(x t)
dt .
Com a substituic ao de vari aveis, z = x t, vem que,
I(A) =
1
p
Z
+

f (z +x)
sinAz
z
dz.
98 8. A transformada de Fourier e as func oes de Green
Com,
1
p
R
+

sinAz
z
dz = 1, tem-se que,
I(A) f (x).1 =
1
p
Z
+

f (z +x) f (x)
z
sinAz dz
=
1
p
Z
N
N
f (z +x) f (x)
z
sinAz dz
+
1
p
Z
N

f (x +z) f (x)
z
sinAzdz
+
1
p
Z

+N
f (x +z) f (x)
z
sinAz dz
Escolhendo N sucientemente grande, os dois ultimos integrais s ao t ao pequenos
quanto quisermos. Como, para j
1
2 L
1
([a, b]),
lim
l!
Z
b
a
j(x)sinlxdx = lim
l!

j(x)
coslx
l

b
a
+
Z
b
a
j
0
(x)
coslx
l
dx
!
= 0
e atendendo ` a condic ao de Dini,
f (x+z)f (x)
z
e som avel no intervalo [N, N] e por-
tanto,
lim
A!
I(A) = f (x)
no sentido do valor principal de Cauchy. Est a assim demonstrado o Teorema Inte-
gral de Fourier.
Uma consequ encia do teorema integral de Fourier e a f ormula para a transfor-
mada de Fourier do produto de func oes. Sejam f e g duas func oes nas condic oes
do teorema integral de Fourier. Ent ao,
F( f g) =
1
p
2p
R
+

f (x).g(x)e
ixx
dx
=
1
(2p)
3/2
Z
+

Z
+

Z
+

F(u)e
iux
du G(v)e
ivx
dv e
ixx
dx
=
1
(2p)
3/2
Z
+

Z
+

F(u)G(v)dudv
Z
+

e
ix(u+vx)
dx
=
1
p
2p
Z
+

Z
+

F(u)G(v)d((v +u) x)dudv


=
1
p
2p
Z
+

F(u)du

Z
+

G(v)d(v (x u))dv

=
1
p
2p
Z
+

F(u)G(x u)du = (F f ) (Fg)


e tem-se assim que F( f g) = (F f ) (Fg).
Teorema 8.4 (Plancherel). Sejam f
1
, f
2
2L
2
(R). Ent ao, as transformadas de Fou-
rier de f
1
e f
2
est ao em L
2
(R) e tem-se:
a)
R
f

1
(x) f
2
(x)dx =
R
F

1
(x)F
2
(x)dx.
b)
R
| f (x)|
2
dx =
R
|F(x)|
2
dx (|| f (x)|| = ||F(x)||).
8.1. A transformada de Fourier 99
Demonstrac ao. Como f
1
, f
2
2 L
2
(R),
Z
+

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

Z
+

e
ixx
F

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

1
(x)

Z
+

f
2
(x)e
ixx
dx

dx
=
Z
+

1
(x)F
2
(x)dx <
e a) est a demonstrado. Fazendo, f
1
= f
2
= f , a transformadas de Fourier de f
pertence ao espaco de Hilbert L
2
(R) e b) tamb em est a demonstrado.
Pelo Teorema de Plancherel, a transformada de Fourier pode ser interpretada
como um operador unit ario. Se f 2 L
2
(R), o operador F f : L
2
(R) !L
2
(R) e um
funcional linear e pelo teorema de Plancherel,
<F f , Fg >=< f , g >
Assim, ||F f || = || f || e F e um operador unit ario.
Relac oes de incerteza de Heisenberg. Decorre do teorema de Plancherel que
se j(x) e um elemento de um espaco de Hilbert e
R
j(x)

j(x)dx = 1, ent ao,


R
(Fj)

(Fj)dx = 1. Isto e, se j(x)

j(x) e uma distribuic ao de probabilida-


des, ent ao (Fj)

(Fj) e ainda uma distribuic ao de probabilidades. Aplique-se


esta propriedade a uma func ao Gaussiana, de quadrado som avel e com norma 1.
Assim,
j(x) =

2a
2
p

1/4
e
a
2
x
2
Fj =
1
(2a
2
p)
1/4
e
x
2
/4a
2
.
(8.8)
Como, j

j e (Fj)

(Fj) s ao distribuic oes de probabilidade Gaussianas, centra-


das na origem, os seus valores m edios s ao nulos e os desvios quadr aticos m edios
nas vari aveis x e x s ao, respectivamente,
Dx =

Z
+

x
2
j

jdx

1/2
=
1
2a
Dx =

Z
+

x
2
(Fj)

(Fj)dx

1/2
= a.
Assim,
Dx.Dx =
1
2
= constante. (8.9)
Na gura 8.1 est ao representados os gr acos de j

j e de (Fj)

(Fj), para a =1
e a = 2.
100 8. A transformada de Fourier e as func oes de Green
Figura 8.1: Gr acos das func oes (j

j) e (Fj

Fj) em que j e uma func ao


Gaussiana, com a parametrizac ao (8.8).
A relac ao (8.9) exprime o facto da transformada de Fourier de uma func ao
fortemente localizada ser uma func ao com uma grande dispers ao e vice-versa. A
relac ao de incerteza de Heisenberg da mec anica qu antica e uma generalizac ao de
(8.9) para distribuic oes de probabilidade arbitr arias.
F ormula da soma de Poisson. Vamos agora estabelecer uma relac ao entre as
s eries e as transformadas de Fourier. Seja f 2 L
2
(R) e seja a func ao,
g(x) =
+

n=
f (x +nx
0
)
Por construc ao, a func ao g(x) e peri odica, de perodo x
0
. Assim, podemos desen-
volver g(x) em s erie de Fourier no intervalo [x
0
/2, x
0
/2],
g(x) =
+

m=
c
m
e
2pimx/x
0
em que,
c
m
=
1
x
0
Z
+x
0
/2
x
0
/2
g(x)e
2pimx/x
0
dx.
Com y = x +nx
0
, tem-se que,
c
m
=
1
x
0
+

n=
Z
+x
0
/2
x
0
/2
f (x +nx
0
)e
2pimx/x
0
dx
=
1
x
0
+

n=
Z
x
0
(n+1/2)
x
0
(n1/2)
f (y)e
2pimy/x
0
dy
=
p
2p
x
0
(F f )(
2pm
x
0
).
Ent ao,
+

n=
f (x +nx
0
) =
p
2p
x
0
+

m=
(F f )(
2pm
x
0
)e
2pimx/x
0
.
8.2. Func oes de Green 101
Para x = 0, obtem-se a f ormula da soma de Poisson:
+

n=
f (nx
0
) =
p
2p
x
0
+

m=
(F f )(
2pm
x
0
).
Veja-se uma aplicac ao da f ormula da soma de Poisson. Seja a s erie,
+

n=1
cosan
1+n
2
=
1
2
+

n=
e
ian
1+n
2

1
2
Assim, pode-se escrever,
+

n=1
cosan
1+n
2
=
1
2
+

n=
f (n)
1
2
em que f (x) = e
iax
/(1+x
2
). Como, F f =
p
p/2e
|xa|
(Exerccio 9.6 c)), pela
f ormula de Poisson e para 0 < a < 2p, tem-se que,
+

n=
f (n) = p
+

m=
e
|2pma|
= p
0

m=
e
(a2pm)
+p
+

m=1
e
(2pma)
= pe
a

m=0
(e
2p
)
m
+pe
a
+

m=1
(e
2p
)
m
= p
e
a
+e
a2p
1e
2p
e,
+

n=1
cosan
1+n
2
= p
e
a
+e
a2p
1e
2p

1
2
.
8.2 Func oes de Green
Veja-se uma aplicac ao das transformadas de Fourier para a obtenc ao de soluc oes
de equac oes diferenciais lineares com termos n ao homog eneos.
Considere-se a equac ao diferencial que descreve o movimento de um oscilador
harm onico com atrito,
d
2
x
dt
2
+2l
dx
dt
+w
2
0
x = h(t) (8.10)
em que w
0
e a frequ encia e l e a constante de atrito. Suponha-se conhecida a
soluc ao x(t) e sejam X(x) e H(x) as transformadas de Fourier de x(t) e de h(t),
X(x) =
1
p
2p
Z
+

x(t)e
ixt
dt , H(x) =
1
p
2p
Z
+

h(t)e
ixt
.dt
102 8. A transformada de Fourier e as func oes de Green
Como, F f
0
= (ix)F f , pode-se aplicar a transformada de Fourier ` a equac ao dife-
rencial (8.10), obtendo-se,
x
2
X(x) +2ixlX(x) +w
2
0
X(x) = H(x)
ou seja,
X(x) = H(x)
1
(x
2
+2ixl +w
2
0
)
.
Assim, a transformada de Fourier da soluc ao x(t) da equac ao diferencial (8.10) e
o produto de duas transformadas de Fourier. Pelas propriedades da convoluc ao,
existe uma func ao G(t) tal que,
Fx = X(x) =F(h).F(G) =F(hG).
Ent ao, a soluc ao da equac ao diferencial (8.10) e,
x(t) = h(t) G(t) =
1
p
2p
Z
+

h(s)G(t s) ds.
Pela f ormula da invers ao da transformada de Fourier,
G(t) =
1
p
2p
Z
+

G(x)e
ixt
dx =
1
p
2p
Z
+

e
ixt
(x
2
+2ixl +w
2
0
)
dx . (8.11)
Analise-se o integral (8.11). Como a func ao integranda em (8.11) tem p olos
nos pontos,
x

= il
q
w
2
0
l
2
(8.12)
podemos aplicar o teorema dos resduos para o c alculo do integral (8.11) (Ap endice
2).
Considerando que a vari avel x toma valores no plano complexo, pode-se calcu-
lar facilmente o integral de linha sobre um contorno circular fechado que contenha
os pontos x

e x
+
no seu interior. Considere-se primeiro o caso em que w
2
0
> l
2
,
gura 8.2.
Tome-se o contorno fechado [R, R] [g
1
como indicado na gura 8.2, com
circulac ao anti-hor aria. Com x = Re
iq
, sobre a curva g
1
, tem-se que,
dx =
x
R
dR+
x
q
dq = Rie
iq
dq
e,
e
ixt
dx = Rie
iq
e
iRt cosq
e
Rt sinq
dq
Se t > 0, no limite quando R !, e
Rt sinq
!0, e,
1
p
2p
lim
R!+
Z
[R,R][g
1
G(x)e
ixt
dx =
1
p
2p
lim
R!+
Z
R
R
G(x)e
ixt
dx
8.2. Func oes de Green 103
Figura 8.2: Circulac ao no plano complexo em torno dos p olos x

e x
+
, para w
2
0
>
l
2
.
Pelo teorema dos resduos,
G(t) =
1
p
2p
Z
+

e
ixt
(x
2
+2ixl +w
2
0
)
dx
=
2pi
p
2p
Res( f , x
+
) +
2pi
p
2p
Res( f , x

)
em que f (x) representa a func ao sob o sinal de integral.
Como
3
,
Res( f , x
+
) =
e
ix
+
t
(x
+
x

)
, Res( f , x

) =
e
ix

t
(x
+
x

)
em que, por (8.12), (x
+
x

) = 2
q
w
2
0
l
2
. Para t > 0, tem-se ent ao que,
G(t) =
pi
p
2p
1
q
w
2
0
l
2

e
ix
+
t
e
ix

=
p
2pe
lt
1
q
w
2
0
l
2
sint
q
w
2
0
l
2
.
Se t < 0, com x = Re
iq
, a circulac ao e no semiplano inferior, gura 8.2, e
como n ao existem p olos no interior do contorno fechado [R, R] [g
2
, tem-se que,
G(t) = 0 se t < 0
Monstrou-se assim que a soluc ao da equac ao diferencial (9.8) e,
x(t) =
1
p
2p
Z
+

G(t s)h(s)ds =
1
p
2p
Z
t

G(t s)h(s)ds
3
O resduo de uma func ao f =f
1
/f
2
, no ponto x
0
, pode ser calculado directamente pela f ormula,
Res( f , x
0
) = f
1
(x
0
)/f
0
2
(x
0
).
104 8. A transformada de Fourier e as func oes de Green
em que,
G(t) =
8
<
:
p
2pe
lt 1
p
w
2
0
l
2
sint
q
w
2
0
l
2
se t > 0
0 se t < 0.
No caso em que w
2
< l
2
, o resultado e id entico.
A func ao G(t) e a func ao de Green ou propagador para a equac ao diferencial
(8.10): G(t s) e a quantidade por que se tem de multiplicar a perturbac ao h(s)
para determinar a resposta do sistema no instante t >s. Tamb em se diz que G(t s)
e uma func ao causal pois, G(t s) = 0 para t s < 0.
No caso particular em que h(t) =
p
2pd(t), a soluc ao da equac ao diferencial
n ao homog enea e,
x(t) =
p
2p
p
2p
Z
+

G(t s)d(s)ds = G(t)


e portanto a func ao de Green obedece ` a equac ao diferencial
d
2
G
dt
2
+2l
dG
dt
+w
2
0
G =
p
2pd(t).
Equac ao de Poisson a tr es dimens oes. A t ecnica desenvolvida anteriormente
pode ser usada para a determinac ao de func oes de Green de algumas equac oes ` as
derivadas parciais com termos n ao homog eneos. Por exemplo, o potencial criado
por uma distribuic ao espacial de cargas r(~r) obedece ` a equac ao de Poisson,

2
y =

2
y
x
2
+

2
y
y
2
+

2
y
z
2
=4pr(~r). (8.13)
Como vimos no caso da equac ao do oscilador harm onico com atrito, a soluc ao
do problema n ao homog eneo pode ser obtido atrav es da soluc ao de uma equac ao ` as
distribuic oes em que o termo n ao homog eneo e substitudo pela distribuic ao delta
de Dirac. A soluc ao da equac ao ` as distribuic oes assim obtida e a func ao de Green
do problema n ao homog eneo. Assim, a equac ao para a determinac ao da func ao de
Green da equac ao de Poisson e,

2
G(~r) = (2p)
3/2
d(~r) = (2p)
3/2
d(x)d(y)d(z). (8.14)
Com
~
x =x
1
~e
1
+x
2
~e
2
+x
3
~e
3
, x = |
~
x|,~r =x~e
x
+y~e
y
+z~e
z
, a transformada de Fourier
da equac ao (8.14) nas tr es vari aveis x, y e z e,
G(
~
x) =
1
x
2
.
8.2. Func oes de Green 105
Invertendo a transformada de Fourier,
G(~r) =
1
(2p)
3/2
Z
+

Z
+

Z
+

e
i
~
x.~r
x
2
d
~
x
=
1
(2p)
3/2
Z
+
0
Z
2p
0
Z
p
0
e
ixr cosq
sinqdqdfdx
=
1
(2p)
1/2
Z
+
0
Z
p
0
e
ixr cosq
sinqdqdx
=
p
2
p
p
Z
+
0
sinxr
xr
dx =
p
p
p
2
1
|~r|
(8.15)
em que se fez uma transformac ao para coordenadas polares
4
com eixo polar
~
x,
dx
1
dx
2
dx
3
= x
2
sinqdqdfdx, e se utilizou a igualdade,
v.p.
Z
+

e
ix
x
dx = 2i v.p.
Z
+
0
sin(x)
x
dx = ip .
A func ao de Green (8.15) e a soluc ao da equac ao de Poisson (8.14). Assim, a
soluc ao da equac ao de Poisson (8.13) e,
y(~r) = G(~r) (4pr(~r)) =
Z
+

Z
+

Z
+

1
|~r ~s|
r(~s)d~s
que e a express ao geral para o potencial gerado por uma distribuic ao espacial
est atica de cargas. Se r(~s) = d(~r ~r
0
)/(4pe
0
), ent ao,
y(~r) =
1
4pe
0
1
|~r ~r
0
|
.
Equac ao de Poisson a duas dimens oes. A t ecnica desenvolvida anteriormente
n ao e v alida em dimens ao dois. Neste caso, a equac ao para a determinac ao da
func ao de Green e,

2
G(x, y)
x
2
+

2
G(x, y)
y
2
= 2pd(x)d(y). (8.16)
Usando a t ecnica de transformadas de Fourier, chega-se a um integral dicilmente
calcul avel. No entanto, por um c alculo simples, tem-se que,


2
x
2
+

2
y
2

log(x
2
+y
2
) = 0, para (x
2
+y
2
) 6= 0
pelo que, a func ao G = Alog(x
2
+y
2
), em que A e uma constante, e uma boa
candidata para a func ao de Green da equac ao de Poisson a duas dimens oes.
4
Como o eixo polar e
~
x, o angulo que
~
x faz com~r e q, pelo que o angulo f e medido num plano
perpendicular a
~
x. Deste modo,
~
x.~r = xr cosq, e o angulo de projecc ao q coincide com o angulo de
latitude das coordenadas esf ericas.
106 8. A transformada de Fourier e as func oes de Green
Assuma-se ent ao que a soluc ao de (8.16) no sentido das distribuic oes e, G =
Alog(x
2
+y
2
), em que A e uma constante. Ent ao, o funcional linear associado ` a
distribuic ao gerada pela parte homog enea da equac ao (8.16) e,
F = A
Z Z
log(x
2
+y
2
)


2
x
2
+

2
y
2

f(x, y)dxdy (8.17)


em que f(x, y) 2 D, e D e o espaco das func oes de teste a duas vari aveis. Para
mostrar que G = Alog(x
2
+y
2
) e a func ao de Green da equac ao de Poisson a duas
dimens oes, temos que mostrar que,
F = 2pf(0, 0). (8.18)
Introduzindo coordenadas polares em (8.17), dxdy = rdrdq, obtem-se,
F = A
Z

0
Z
2p
0
log(x
2
+y
2
)


2
r
2
+
1
r

r
+
1
r
2

2
q
2

f(r, q)rdrdq . (8.19)


Calcule-se ent ao os tr es integrais em (8.19). O primeiro integral em (8.19) e,
lim
e!0
A
Z

e
Z
2p
0
r log(r
2
)

2
f
r
2
drdq
= lim
e!0
A
Z
2p
0

r log(r
2
)
f
r
dq

e
lim
e!0
A
Z
2p
0
Z

e
(log(r
2
) +2)
f
r
drdq
=lim
e!0
A
Z
2p
0
e loge
2
f(e, q)
r
dq + lim
e!0
A
Z
2p
0
2f(e, q)dq
lim
e!0
A
Z
2p
0

log(r
2
)fdq

e
+ lim
e!0
A
Z
2p
0
Z

e
2
r
fdrdq .
(8.20)
O segundo integral em (8.19) e,
A
Z

0
Z
2p
0
log(r
2
)
f
r
drdq = lim
e!0
A
Z

e
Z
2p
0
log(r
2
)
f
r
drdq
= lim
e!0
A
Z
2p
0

log(r
2
)fdq

e
lim
e!0
A
Z
2p
0
Z

e
2
r
fdrdq
=lim
e!0
A
Z
2p
0
loge
2
f(e, q)dq lim
e!0
A
Z
2p
0
Z

e
2
r
fdrdq .
(8.21)
O terceiro integral em (8.19) e,
A
Z

0
Z
2p
0
1
r
logr
2

2
f(r, q)
q
2
drdq = A
Z

0
1
r
logr
2
dr

f(r, q)
q

2p
0
!
= 0 (8.22)
pois, tanto f como as suas derivadas s ao contnuas e portanto
f(r,0)
q
=
f(r,2p)
q
.
Introduzindo (8.20), (8.21) e (8.22) em (8.19), obtem-se,
F =lim
e!0
A
Z
2p
0
e loge
2
f(e, q)
r
dq +2A
Z
2p
0
f(0, q)dq . (8.23)
8.3. Exerccios 107
Como, lim
e!0
e loge
2
=lim
e!0
2e loge ==lim
e!0
2loge
e
=2log1 =0 e f(0, q) =
f(0, 0), o integral (8.23) tem o valor,
F = 4pAf(0, 0). (8.24)
Comparando (8.24) com (8.18), obtem-se A = 1/2, e a func ao de Green para a
equac ao de Poisson a duas dimens oes e,
G(x, y) =
1
2
log(x
2
+y
2
) = logr . (8.25)
Em conclus ao, a soluc ao da equac ao de Poisson n ao-homog enea

2
f
x
2
+

2
f
y
2
= f (x, y)
e,
f(x, y) =
1
4p
Z

f (u, v)log((x u)
2
+(y v)
2
)dudv.
A func ao de Green (8.25) designa-se por potencial logartmico, sendo usada
para o estudo da vorticidade em uidos.
8.3 Exerccios
8.1) Mostre que f g = g f .
8.2) Mostre que se uma func ao e par, a sua transformada de Fourier e real. Analo-
gamente, a transformada de Fourier de uma func ao mpar e imagin aria.
8.3) Determine a transformada de Fourier e a pot encia das func oes:
a)
f (x) =

sin(ax) se |x| < 2pn/a


0 se |x| > 2pn/a
b)
f (x) =

1 se |x| < a
0 se |x| > a
c)
f (x) =

0 se |x| > a
c(1|x|/a) se |x| < a
d)
f (x) =

e
ax
se x 0
0 se x < 0
e) f (x) = sin(ax) e f (x) = cos(ax).
108 8. A transformada de Fourier e as func oes de Green
Faca os gr acos de f e F f e interprete o tipo de informac ao contido na trans-
formada de Fourier.
8.4) Calcule a transformada de Fourier da func ao delta de Dirac e da func ao cons-
tante.
8.5) Calcule a transformada de Fourier de uma func ao peri odica.
8.6) Usando o m etodo dos resduos, determine a transformada de Fourier das
func oes:
a) f (x) = 1/x.
b) f (x) = 1/(x
2
+a
2
).
c) f (x) = e
iax
/(1+x
2
).
8.7) Calcule o integral,
R
+

e
ix
x
dx. Com este resultado, calcule
R
+

sinx
x
dx.
8.8) Com o resultado do exerccio 9.3b), calcule o integral,
Z
+

sin
2
x
x
2
dx
8.9) Calcule F
4
f , em que F e o operador transformada de Fourier e f 2 L
2
(R).
Determine os valores pr oprios e os vectores pr oprios do operador F.
8.10) Atrav es da transformada de Fourier, obtenha a f ormula de Alembert para a
soluc ao da equac ao das ondas.
8.11) Calcule a soma da s erie,

n=0
1
n
2
+a
2
Captulo 9
A equac ao do calor
Deduz-se a equac ao do calor ou da difus ao e determinam-se algumas soluc oes em
meios nitos e innitos. Introduzem-se as transformadas de Fourier de tipo seno
e de tipo coseno. Mostra-se que uma func ao admite uma decomposic ao unica na
forma de uma soma de uma func ao par com uma func ao mpar.
9.1 A equac ao do calor
Considere-se um corpo homog eneo e bom condutor de calor. Imagine-se no seu
interior uma superfcie fechada S. O uxo de calor atrav es de um elemento de su-
perfcie dS e durante o intervalo de tempo dt e proporcional ` a diferenca de tempe-
ratura hip otese de Fourier ou seja, e proporcional ao gradiente de temperatura
ao longo da normal ` a superfcie S. Isto e,
dQ = c
T
~n
dSdt = c gradT.~n dS dt
em que~n e a normal ao elemento de superfcie dS e c e uma constante de proporci-
onalidade. Entre os instantes t
1
e t
2
, a quantidade de calor que sai ou entra atrav es
da superfcie fechada S e,
DQ = Q(t
2
) Q(t
1
) =
_
t
2
t
1
_
S
c gradT.~n dSdt
=
_
t
2
t
1
_ _ _
V
div(c gradT)dVdt
emque se utilizou o teorema do uxo-diverg encia. Como no interior da superfcie S
pode haver produc ao ou dissipac ao de calor, vamos considerar um termo de fonte,
F(x, y, z, t). A func ao F(x, y, z, t) descreve as fontes e os sumidouros de calor no
interior do corpo. Assim, a quantidade total de calor que sai ou entra atrav es da
superfcie S e,
Q
total
= Q
1
+Q
f onte
=
_
t
2
t
1
_ _ _
V
div(c gradT)dVdt +
_
t
2
t
1
_ _ _
V
F(x, y, z, t)dVdt
(9.1)
109
110 9. A equac ao do calor
Por outro lado, a variac ao de calor entre os instantes t
1
e t
2
est a relacionada
com a temperatura atrav es da relac ao (lei de Carnot)
1
,
DQ = mc
V
DT
em que DT e a variac ao de temperatura entre os instantes t
1
e t
2
, c
V
e o calor
especco a volume constante e m e a massa da subst ancia contida no volume V,
interior ` a superfcie fechada S. Assim,
Q =
_ _ _
V
rc
V
DTdV =
_
t
2
t
1
_ _ _
V
rc
V
T
t
dtdV (9.2)
em que r e a densidade vol umica da subst ancia. Igualando (9.1) a (9.2), obtemos
a equac ao de balanco de calor,
_
t
2
t
1
_ _ _
V

rc
V
T
t
div(c gradT) F(x, y, z, t)

dtdV = 0
ou seja, na forma diferencial,
rc
V
T
t
= div(c gradT) +F(x, y, z, t).
Supondo que c e uma constante, com, c
V
r/c = 1/k, a equac ao do calor escreve-
se,
T
t
= k

2
T
x
2
+

2
T
y
2
+

2
T
z
2

+
1
c
V
r
F(x, y, z, t) (9.3)
em que k e a condutividade t ermica do material e tem as dimens oes [k]=Watt m
1
K
1
. A equac ao do calor ou da difus ao descreve um processo irreversvel e, como
veremos no captulo 13, e uma equac ao do tipo parab olico.
Vamos agora estudar a propagac ao do calor num meio homog eneo e innito,
com uma distribuic ao inicial de temperatura,
T(x, y, z, t = 0) = g(x, y, z).
Assume-se ainda que n ao existem fontes e sumidoros no meio, pelo que, F = 0.
Para determinar a soluc ao da equac ao do calor (9.3), usa-se a t ecnica das trans-
formadas de Fourier nas vari aveis espaciais. Nestas vari aveis, a transformada de
Fourier da equac ao do calor (9.3) e
d
dt
(F
xyz
T) =k
_
x
2
1
+x
2
2
+x
2
3
_
(F
xyz
T)
em que F
xyz
e o operdor transformada de Fourier nas tr es vari aveis espaciais,
x, y, z 2 R. Ou seja, com, F
xyz
T := f (x
1
, x
2
, x
3
, t) = f(
~
x, t), a transformada de
Fourier da equac ao do calor e,
d
dt
f(
~
x, t) +kx
2
f(
~
x, t) = 0
1
Como DU = DQ+DW e DU = mc
V
DT, a relac ao de Carnot decorre do facto de n ao haver
trabalho realizado sobre o sistema.
9.1. A equac ao do calor 111
em que x
2
= x
2
1
+x
2
2
+x
2
3
. Esta equac ao diferencial tem a soluc ao,
f(
~
x, t) = f(
~
x, 0)e
k(x
2
1
+x
2
2
+x
2
3
)t
(9.4)
e a func ao f(
~
x, 0) e determinada pela condic ao,
f(
~
x, 0) =F
x,y,z
T(x, y, z, t = 0) =F
x,y,z
g(x, y, z). (9.5)
Introduzindo (9.5) em (9.4), obtem-se,
T(x, y, z, t) =F
1
~
x

f(
~
x, 0)e
kx
2
t

= g(x, y, z) F
1
~
x
e
kx
2
t
.
Como, F
x
e
a
2
x
2
=
1
a
p
2
e

x
2
(2a)
2
, vem que, F
1
x
e

x
2
(2a)
2
= a
p
2e
a
2
x
2
, e,
T(x, y, z, t) = g(x, y, z)
_
1
(2kt)
3/2
e

x
2
+y
2
+z
2
(4kt)
_
=
1
(4pkt)
3/2
_
+

_
+

_
+

g(u, v, w)e

(xu)
2
+(yv)
2
+(zw)
2
(4kt)
dudvdw
(9.6)
Assim, (9.6) e a soluc ao geral da equac ao do calor num meio innito, para uma
distribuic ao inicial de temperatura g(x, y, z).
Considere-se que no instante t = 0 e na origem das coordenadas, existe uma
distribuic ao pontual de temperatura de intensidade innita. Isto e,
T(x, y, z, 0) = g(x, y, z) = T
0
d(x)d(y)d(z). (9.7)
Ent ao, introduzindo (9.7) em (9.6), obtem-se,
T(x, y, z, t) =
T
0
(4pkt)
3/2
e

x
2
+y
2
+z
2
(4kt)
(9.8)
A temperatura m edia e T
0
, independentemente do tempo, e a dispers ao da distribu-
ic ao de temperatura e
p
6ktT
0
. Os seja, a dispers ao aumenta proporcionalmente a
p
t. Na gura 9.1, est a representada a distribuic ao de temperatura (9.8) num meio
innito e em tempos diferentes, em que se escolheu k = 1 e T
0
= 1. Devido ao
efeito de equalizac ao da temperatura no corpo, quando t !, a equac ao do calor
ou da difus ao descreve um processo irreversvel.
Na soluc ao da equac ao de calor que se determinou anteriormente, usou-se uma
t ecnica de transformada de Fourier em que a regi ao de integrac ao estava denida
no modo como o problema foi formulado. Para determinar soluc oes da equac ao do
calor em regi oes limitadas ou com condic oes fronteira, a transformada de Fourier
pode n ao ser adequada.
Veja-se um exemplo em que as condic oes fronteira sugerem o uso das s eries de
Fourier para a determinac ao da soluc ao da equac ao do calor.
112 9. A equac ao do calor
Figura 9.1: Distribuic ao de temperatura num corpo para v arios valores do tempo t,
calculado a partir de (9.8). Os valores dos par ametros s ao: k = 1 e T
0
= 1.
Seja uma barra semi-innita com uma fonte peri odica de calor na extremidade
x = 0,
u(x = 0, t) =
a
0
2
+

n1
a
n
cos(
2pnt
T
) +b
n
sin(
2pnt
T
) (9.9)
e vamos admitir que a soluc ao tem a forma,
u(x, t) =
a
0
(x)
2
+

n1
a
n
(x)cos(
2pnt
T
) +b
n
(x)sin(
2pnt
T
).
Substituindo u(x, t) na equac ao homog enia do calor, chega-se ` as equac oes diferen-
ciais,
_

_
a
0
= 0
a
n
=
2pn
kT
b
n

b
n
=
2pn
kT
a
n
em que as derivadas s ao feitas em ordem ` a vari avel espacial x. Com as condic oes
fronteira,
a
n
(0) = a
n
b
n
(0) = b
n
lim
x!
a
n
(x) = 0
lim
x!
b
n
(x) = 0
obt em-se as soluc oes,
_

_
a
0
(x) = a
0
a
n
(x) = e
x
p
pn/kT

a
n
cos(
_
pn/kTx) +b
n
sin(
_
pn/kTx)

b
n
(x) = e
x
p
pn/kT

b
n
cos(
_
pn/kTx) a
n
sin(
_
pn/kTx)

.
9.2. Transformadas seno e coseno 113
Substituindo estas expresses na s erie de Fourier de u(x, t), obtem-se,
u(x, t) =
a
0
2
+

n=1
e
x
p
np/kT
a
n
cos(2pnt/T +x
_
np/kT)
+

n=1
e
x
p
np/kT
b
n
sin(2pnt/T +x
_
np/kT).
(9.10)
No caso particular emque os unicos coecientes n ao nulos na condic ao inicial (9.9)
s ao, a
0
/2 = T
0
e b
1
= T
1
, a condic ao inicial reduz-se a, u(0, t) = T
0
+T
1
sin2pt/T
e, por (9.10), a temperatura ao longo da barra e,
u(x, t) = T
0
+T
1
e
x
p
p/kT
sin(wt +x
_
p/kT)
em que w = 2p/T. Note que, neste caso, embora n ao existam condic oes iniciais,
a condic ao fronteira determina que a temperatura inicial ao longo da barra e,
u(x, t) = T
0
+T
1
e
x
p
p/kT
sin(x
_
p/kT) (9.11)
e o valor m edio da temperatura ao longo da barra e T
0
, independentemente de t.
A soluc ao (9.11) modela a propagac ao de calor na Terra em func ao da dist ancia ` a
superfcie.
9.2 Transformadas seno e coseno
Seja f (x) uma func ao com valores reais. Pela f ormula integral de Fourier,
f (x) =
1
2p
_
+

e
ixx
dx
_
+

f (t)e
ixt
dt
=
1
2p
_
+

dx
_
+

f (t)cosx(x t) dt
pois, v.p.
_
+

f (t) sinx(x t) dx = 0. Expandindo a express ao anterior, e como a


func ao integranda e par em x,
f (x) =
1
p
_

0
dx
_
+

f (t)cosx(x t)dt
=
1
p
_

0
dx
_
_
+

f (t)(cosxt cosxx +sinxx sinxt)dt


_
=
1
p
p
_

0
dx
_
1
p
p
_
+

cosxt f (t)dt
_
cosxx
+
1
p
p
_

0
dx
_
1
p
p
_
+

sinxt f (t)dt
_
sinxx.
Podem-se assim denir as transformadas seno e coseno de Fourier como sendo,
F
c
(x) =
1
p
p
v.p.
_
+

f (x)cosxx dx
F
s
(x) =
1
p
p
v.p.
_
+

f (x)sinxx dx
114 9. A equac ao do calor
e,
f (x) =
1
p
p
_
+
0
F
c
(x)cosxx dx +
1
p
p
_
+
0
F
s
(x)sinxx dx .
Se, f (x) e uma func ao par, F
s
(x) = 0, e,
_

_
F
c
(x) =
1
p
p
_
+

f (x)cosxxdx =
2
p
p
_

0
f (x)cosxx dx
f (x) =
1
p
p
_
+
0
F
c
(x)cosxx dx .
Se, f (x) e uma func ao impar, F
c
(x) = 0, e,
_

_
F
s
(x) =
2
p
p
_
+
0
f (x)sinxxdx
f (x) =
1
p
p
_
+
0
F
s
(x)sinxx dx .
As relac oes anteriores s ao as f ormulas de reciprocidade para as transformadas
de Fourier de func oes pares e impares. Claro est a que,
F f =
1
p
2
(F
c
(x) iF
s
(x)) .
Esta relac ao dene a decomposic ao de uma func ao numa componente par e noutra
mpar,
f (x) = f
p
(x) + f
i
(x).
Analise-se a propagac ao de calor numa barra semi-innita comuma distribuic ao
inicial da temperatura,
u(x, t = 0) = f (x)
em que x 0. Considerem-se as condic oes fronteira,
lim
x!
u(x, t) = 0
lim
x!
u
x
(x, t) = 0
u(x = 0, t) = T
0
.
(9.12)
Aplicando a transformada seno ao primeiro membro da equac ao do calor (9.3)
com F = 0, obtem-se,
2
p
p
_
+
0
u
t
sinxx dx =
d
dt
f
s
(x, t). (9.13)
9.3. Exerccios 115
Aplicando a transformada seno de Fourier ao segundo membro da equac ao (9.3), e
pelas condic oes fronteira (9.12) obtem-se,
k
2
p
p
_
+
0

2
u
x
2
sinxx dx =
= k
2
p
p
_
u
x
sinxx

+
0
x
_
+
0
u
x
cosxx dx
_
=
2k
p
p
x

u(x, t)cosxx|
+
0
+x
_
+
0
usinxx dx

=
2k
p
p
xu(0, t) kx
2
f
s
(x).
(9.14)
Igualando (9.13) a (9.14), obtem-se,
d
dt
f
s
(x, t) =
2k
p
p
xT
0
kx
2
f
s
(x, t).
Esta equac ao diferencial e da forma x = c
1
c
2
x, cuja soluc ao e x(t) = c
1
/c
2
+
(x(0) c
1
/c
2
)e
c
2
t
. Assim, a transformada seno de Fourier da soluc ao da equac ao
do calor e,
f
s
(x, t) =
2
p
px
T
0
+

f
s
(x, t = 0)
2T
0
p
px

e
kx
2
t
e a soluc ao da equac ao do calor para as condic oes iniciais e condic oes fronteira
consideradas e,
u(x, t) = F
1
s
_
2
p
px
T
0

1e
kx
2
t

_
+F
1
s
_
f
s
(x, 0)e
kx
2
t
_
= 2T
0
_
1
2
p
p
_
p
t/2
0
e
x
2
dx
_
+
2
p
p
_
+
0
f
s
(x, 0)e
kx
2
t
sinxt dx
em que f
s
(x, 0) e a transformada seno de Fourier da condic ao inicial.
9.3 Exerccios
9.1) Considere uma distribuic ao inicial de temperatura T(x) num meio unidimensi-
onal de comprimento L. Suponha-se que o uxo de calor nos extremos e nulo, isto
e, (
T
x
)
x=0
= (
T
x
)
x=L
= 0. Determine como varia a temperatura m edia ao longo
do tempo.
9.2) No instante t = 0, a distribuic ao de temperatura numa barra de comprimento
L de um material isolado do exterior e T(x, 0) = f (x) 2 L
2
([0, L]). Como o sis-
tema est a isolado, n ao existe uxo de calor para o exterior, ou seja, (
T
x
)
x=0
= 0 e
(
T
x
)
x=L
= 0.
a) Determine a temperatura em cada ponto da barra ao longo do tempo.
116 9. A equac ao do calor
b) Qual a temperatura de equilbrio do material? Relacione a temperatura de
equilbrio com a distribuic ao inicial T(x, 0).
9.3) Uma barra de comprimento L tem os extremos em contacto com dois reser-
vat orios de temperatura. A temperatura dos reservat orios e T
1
(x = 0) e T
2
(x = L).
Determine a temperatura de equilbrio e o uxo de calor (f = k
T
x
) ao longo da
barra.
Captulo 10
A Transformada de Laplace
Constroi-se a transformada de Laplace de uma func ao e derivam-se as suas pro-
priedades. Demonstra-se o teorema da invers ao das transformadas de Laplace e
calculam-se algumas func oes de Green.
10.1 A transformada de Laplace
A transformada de Laplace e uma transformac ao integral denida sobre uma certa
classe de func oes e tem propriedades an alogas ` as da transformada de Fourier.
Uma das propriedades mais relevantes da transformada de Laplace est a rela-
cionada com a operac ao de derivac ao e, como se ver a, as t ecnicas desenvolvidas
v ao ser importantes na obtenc ao de soluc oes explcitas de equac oes diferenciais
ordin arias e de equac oes ` as derivadas parciais.
Seja f (x) : [0, +) !R uma func ao de vari avel real com valores nos comple-
xos. A transformada de Laplace de f e o funcional,
L f (s) =
Z
+
0
e
sx
f (x)dx
em que s 2 R ou s 2 C. Para obter uma condic ao suciente de exist encia da trans-
formada de Laplace, vamos comecar por denir o conjunto das func oes do tipo
exponencial ` a direita.
Uma func ao f (x) : [0, +) !R e do tipo exponencial ` a direita, se existirem
constantes M, a e x
0
tais que,
| f (x)| < Me
ax
para x > x
0
e M > 0.
S ao exemplos de func oes do tipo exponencial ` a direita:
1) Polin omios: x
m
, pois x
m
/e
x
!0 quando x !.
2) Func oes alg ebricas localmente som aveis, por exemplo:
p
1+x
2
; 1/
p
x; 1/x
1+a
com (a > 0).
117
118 10. A Transformada de Laplace
Seja L o conjunto das func oes localmente som aveis e do tipo exponencial ` a
direita. T em-se as propriedades:
a) Se f e g 2 L, ent ao ( f +g) 2 L.
b) Se a f 2 L, ent ao a f 2 L.
O conjunto L e um subespaco vectorial do conjunto das func oes localmente
som aveis. O conjunto L n ao e um espaco de Banach, pois n ao e possvel construir
uma norma atrav es do integral de func oes localmente som aveis sobre todo o seu
domnio.
Teorema 10.1 (Teorema Fundamental da Transformada de Laplace). Seja a fun-
c ao f : R
+
!C, localmente som avel e do tipo exponencial ` a direita. Ent ao, existe
uma constante a, com < a < , tal que, se, Real(s) > a, a transformada de
Laplace de f ,
L f (s) =
Z

0
e
sx
f (x)dx
e convergente. Isto e, L f (s) e holomorfa no semiplano Re(s) > a. Nestas condi-
c oes, tem-se ainda que,
d
ds
L f (s) =L[x f (x)] .
Demonstrac ao. O produto e
sx
f (x) e localmente som avel no intervalo [0, a], pois
f (x) e localmente som avel e e
sx
e limitada em [0, a], isto e,

Z
a
0
e
sx
f (x)dx

Z
a
0
|e
sx
|| f (x)|dx C
Z
a
0
| f (x)|dx <
em que C = e
Re(s)a
, se Re(s) < 0, e C = 1, se Re(s) 0. Como, por hip otese,
| f (x)| < Me
ax
,

Z
+
0
e
sx
f (x)dx

|
R
a
0
e
sx
f (x)dx| +
R
+
a
Me
sx
e
ax
dx
=

Z
a
0
e
sx
f (x)dx

+M
Z
+
0
e
x(as)
dx
=

Z
a
0
e
sx
f (x)dx

+M
e
x(as)
a s
#
+
a
e, se, Re(a s) < 0, ent ao,

Z
+
0
e
sx
f (x)dx

Z
a
0
e
sx
f (x)dx

+
Me
a(as)
s a
<.
Assim, L f est a bem denida.
10.1. A transformada de Laplace 119
Para demostrar a propriedade da derivac ao da transformada de Laplace, comece-
se por calcular a sua derivada,
d
ds
L f (s) =
Z
+
0
d
ds
e
sx
f (x)dx =
Z
+
0
xe
sx
f (x)dx =L[x f (x)] .
Este c alculo e apenas v alido no caso em que xe
sx
f (x) e localmente som avel e
|xe
sx
f (x)| ! 0, quando x ! . Ora, para x sucientemente grande, e como
Re(a s) < 0, tem-se que,
|xe
sx
f (x)| |x|e
sx
Me
ax
= M|x|e
x(as)
!0
quando x !. Assim, xe
sx
f (x) e som avel e o teorema est a demonstrado.
Vejamos alguns exemplos de c alculo de transformadas de Laplace.
Pelo teorema fundamental da transformada de Laplace, tem-se que,
L(x
n
e
ax
) = (1)
n
d
n
ds
n
L(e
ax
)
Com,
L(e
ax
) =
Z
+
0
e
x(as)
dx =
e
x(as)
(as)
#
+
0
=
1
s a
> 0
vem que,
d
n
ds
n
1
(s a)
=
d
n1
ds
n1
(1)(s a)
2
=
d
n2
ds
n2
(1)
2
1.2(s a)
3
=
(1)
n
n!
(s a)
n+1
e, portanto,
L(x
n
e
ax
) =
n!
(s a)
n+1
(10.1)
que e convergente para Re(s) > a.
Vejamos como se calcula a transformada de Laplace de x
a
, para a > 1. Com,
L(x
a
) =
Z
+
0
e
sx
x
a
dx
e a transformac ao de vari aveis, t = sx, obtem-se,
L(x
a
) =
Z
+
0
e
t
t
a
1
s
a+1
dt =
1
s
a+1
Z
+
0
e
t
t
a
dt (10.2)
Comparando (10.2) com (10.1) para a = 0, dene-se a func ao gama como sendo,
G(a +1) :=
Z
+
0
e
t
t
a
dt .
120 10. A Transformada de Laplace
Figura 10.1: Gr aco da func ao gama.
Assim, com a = n e por (10.1),
G(n+1) = n!
Nestas condic oes, tem-se que, G(n +1) = nG(n). A func ao gama generaliza a
func ao factorial, para valores reais de x, gura 10.1.
Vejamos outras propriedades da transformada de Laplace.
Transformada de Laplace da derivada. Se f (x) e f
0
(x) pertencem ambas a L,
i.e., se f (x) e f
0
(x) s ao localmente som aveis e do tipo exponencial ` a direita, ent ao,
L f
0
(x) = sL f f (0). Ora vejamos,
L f
0
(x) =
R
+
0
e
sx
f
0
(x)dx = e
sx
f (x)]
+
0
+s
R
+
0
e
sx
f (x)dx
= sL f f (0)
para Re(s) > a.
Se, f
00
(x), . . . 2 L,
L f
00
= sL f
0
f
0
(0) = s
2
L f s f (0) f
0
(0)
e, por induc ao,
L f
(n)
= s
n
L f s
n1
f (0) . . . s f
(n2)
(0) f
(n1)
(0)
Transformada de Laplace da translacc ao. Vejamos o que acontece quando se
efectua uma translacc ao no domnio de uma func ao f (x). Para n ao haver problemas
na denic ao dos domnios de f (t), comeca-se por prolongar f (x) como uma func ao
nula para valores negativos de x. Isto e, dene-se uma nova func ao,

f (x) =

f (x) para x 0
0 para x < 0.
Com a substituic ao de vari aveis, u = x h, tem-se que,
L


f (x h)

=
Z
+
h
e
s(u+h)

f (u)du =
Z
+
0
e
s(u+h)
f (u)du = e
sh
L f .
10.1. A transformada de Laplace 121
Ou seja,
L


f (x h)

(s) = e
sh
(L f )(s)
e a transformada de Laplace transforma a translacc ao em multiplicac ao por e
sh
.
Inversamente, tem-se que,
L(e
ht
f (x))(s) =
Z
+
0
e
sx
e
hx
f (x)dx =
Z
+
0
e
x(sh)
f (x)dx = (L f )(s h)
e claro que Re(s h) > a, donde (L f )(s h) est a denida no semiplano Re(s) >
a +Re(h).
Transformada de Laplace da convoluc ao em [0, +]: Vamos considerar que f
e g pertencem ao conjunto L. A convoluc ao de f com g e denida como,
f g =
Z
+
0
f (x t)g(t)dt .
Mas como x t 0 tem-se que t x, pois no caso em que x t < 0, isto e, t > x,
f (x t) = 0, donde
f g =
Z
+
0
f (x t)g(t)dt =
Z
x
0
f (x t)g(t)dt .
A convoluc ao denida desta maneira tem propriedades an alogas ` a convoluc ao de-
nida atrav es da transformada de Fourier, e tem as seguintes propriedades:
a) Se f e g pertencem ambas a L, ent ao f g pertence a L.
b) L( f g) = (L f ).(Lg).
c) A convoluc ao e comutativa, L( f g) =L(g f ).
Por exemplo, a propriedade b) demonstra-se do seguinte modo. Com,
L( f g) =
Z
+
0
Z
+
0
e
sx
f (x t)g(t)dt dx
e introduzindo as novas variveis, u = x t e v =t,
L( f g) =
Z
+
0
e
su
f (u)du
Z
+
0
e
sv
g(v)dv = (L f ).(Lg).
Invers ao das transformadas de Laplace. Vamos agora deduzir a f ormula de
invers ao da transformada de Laplace.
Seja f (t) 2 L e vamos prolongar esta func ao para valores negativos de t. Isto
e, seja a nova func ao,

f (t) =

f (t) se t 0
0 se t < 0.
122 10. A Transformada de Laplace
Ent ao,
(L

f (t))(s) =
Z
+

e
st

f (t)dt .
No domnio de L f , seja o semiplano Re(s) > a e considere-se a recta vertical de
equac ao, s = c +iy, com c > a e y 2 R, gura 10.2.
Figura 10.2: Construc ao geom etrica para a determinac ao da inversa da transfor-
mada de Laplace.
Nestas condic oes,
(L

f )(s) =
Z
+

e
ity
e
ct

f (t)dt =F(
p
2pe
ct

f (t)) = F(c +iy)
em que F e o operador transformada de Fourier. Assim,
p
2pe
ct

f (t) =
1
p
2p
Z
+

e
ity
F(c +iy)dy
e a integrac ao e feita ao longo da linha vertical x = c no plano complexo C. Ent ao,

f (t) =
1
2p
Z
+

e
ity
e
ct
F(c +iy)dy
e com s = c +iy, vem que,

f (t) =
1
2pi
Z
c+i
ci
e
ts
F(s)ds
em que F(s) e a transformada de Laplace da func ao

f (t) e c > a. Mas como F(s)
e holomorfa para Real(s) > a, os p olos de F(s) est ao na regi ao Real(s) a e se
F(s) s o tem p olos isolados, isto e, e meromorfa na esfera de Riemann (C[{+}),
vem que,

f (t) =
1
2pi
2pi

Resduos de todos os p olos de e


st
F(s)
=
8
<
:
Resduos de todos os p olos de e
st
F(s), se t 0
0, se t < 0.
10.2. Func oes de Green 123
Assim demonstr amos:
Teorema 10.2 (Teorema da Invers ao da Transformada de Laplace). Seja F(s) uma
func ao meromorfa em C, e suponha-se que os p olos de F(s) est ao no semiplano
Re(s) a. Ent ao,

L
1
F(s)

(t) =
8
<
:
Resduos de todos os p olos de e
st
F(s), se t 0
0, se t < 0.
Vejamos um exemplo. Seja F(s) =
1
s+a
. F(s) tem um p olo no ponto s =
a. Com o desenvolvimento de Laurent de e
st
na vizinhanca de s = a, Como,
Res(e
st
F(s), s =a) = e
at
, tem-se que,
L
1
1
s +a
= e
at
Seja a func ao s/(s
2
+k
2
) que tem p olos nos pontos s =ik e s = ik. Como,
Res(
s
s
2
+k
2
, s = ik) =
1
2
e
ikt
, Res(
s
s
2
+k
2
, s =ik) =
1
2
e
ikt
pelo teorema da invers ao da transformada de Laplace,
L
1
s
s
2
+k
2
=
1
2

e
ikt
+e
ikt

= coskt .
10.2 Func oes de Green
A t ecnica das func oes de Green pode ser usada com as transformadas de Laplace.
Para isto, considere-se a equac ao diferencial,
x +kx = h(t) (10.3)
com a condic ao inicial x(0) = 0. Designando por X(s) e H(s) as transformadas de
Laplace de x(t) e h(t), respectivamente, tem-se que,
X(s) =
H(s)
s +k
e portanto,
x(t) =L
1
H(s) L
1
1
s +k
= h(t) e
kt
=
Z
t
0
e
k(tt)
h(t)dt . (10.4)
A func ao G(t) = e
kt
e a func ao de Green da equac ao (10.3). Escolhendo como
termo n ao homog eneo h(t) = d(t), da express ao anterior, decorre que a func ao de
Green da equac ao diferencial (10.3) obedece ` a equac ao,

G(t) +kG(t) = d(t).


124 10. A Transformada de Laplace
Note que (10.4) e apenas uma soluc ao particular da equac ao diferencial n ao ho-
mog enea (10.3), sendo a soluc ao geral a soma das soluc ao (10.4) com a soluc ao
geral da equac ao homog enea. Isto pode ser facilmente vericado considerando que
x(0) 6= 0. Neste caso, a transformada de Laplace da soluc ao da equac ao diferencial
(10.3) e,
X(s) =
H(s)
s +k
+x(0)
1
s +k
e a transformada de Laplace inversa e,
x(t) = x(0)e
kt
+e
kt
Z
t
0
e
kt
h(t)dt .
Podemos agora utilizar uma t ecnica mista de transformas de Fourier e de La-
place para a determinac ao de func oes de Green. Isto e particularmente util quando
as vari aveis independentes das equac oes t em domnios de variac ao diferentes.
Func ao de Green para a equac ao do calor. A equac ao do calor n ao homog enea
para a determinac ao da func ao de Green e
G
t
k

2
G
x
2
+

2
G
y
2
+

2
G
z
2

= (2p)
3/2
d(x)d(y)d(z)d(t).
Aplicando a transformada de Fourier ` as coordenadas espaciais e a transformada de
Laplace ` as coordenadas temporais, obtem-se,
g(
~
x, s) =
1
s +kx
2
em que x = (x
1
, x
2
, x
3
) e g(
~
x, s) e a quadrupla transformada integral de G(~r, t).
Assim,
G(~r, t) =F
1
x
1
,x
3
,x
3
L
1
1
s +kx
2
=F
1
x
1
,x
3
,x
3
e
kx
2
t
=
1
(2kt)
3/2
e

x
2
+y
2
+z
2
4kt
que e a func ao de Green para a equac ao do calor num meio innito e com um termo
de fonte. Assim, dada a equac ao do calor com um termo n ao homog eneo e num
meio innito,
f
t
k

2
f
x
2
+

2
f
y
2
+

2
f
z
2

= f (x, y, z, t)
a sua soluc ao particular e,
f =
1
(2p)
3/2
Z
+
0
Z Z Z
f (u, v, w, r)G(x u, y v, z w, t r)dudvdwdr
em que o integral triplo e calculado entre os limites e +. Note que, neste
caso, a soluc ao particular e independente da condic ao inicial.
10.3. Exerccios 125
Func ao de Green para a equac ao das ondas. Vamos considerar a equac ao li-
near das ondas com um termo n ao homog eneo,

2
f
t
2
= c
2

2
f
x
2
+
p
2pd(x)d(t) (10.5)
em que x 2 R e t 0. Aplicando a transformada de Fourier ` a vari avel espacial e a
transformada de Laplace ` a vari avel temporal, obtem-se,
g(x, s) =
1
s
2
+c
2
x
2
em que g(x, s) e a transformada dupla de Fourier e de Laplace da func ao de Green
G(x, t). Como a func ao g(x, s) tem p olos em s = icx, pelo teorema da invers ao
da transformada de Laplace,
g(x, t) =
8
<
:
L
1
1
s
2
+c
2
x
2
=
e
icxt
2icx

e
icxt
2icx
=
sin(xct)
cx
, t 0
0, t < 0
Assim, para t 0,
G(x, t) = F
1

sin(xct)
cx

=
1
p
2p
Z
+

sin(xct)
cx
e
ixx
dx
=
i
2c
1
p
2p
Z
+

e
ix(xct)
x
dx
i
2c
1
p
2p
Z
+

e
ix(x+ct)
x
dx .
Pelo teorema dos resduos (Ap endice A),
G(x, t) =
8
>
>
>
>
>
<
>
>
>
>
>
:

1
2c
r
p
2
(2H(x ct) 1) +
1
2c
r
p
2
(2H(x +ct) 1)
=
1
c
r
p
2
(H(x +ct) H(x ct)) , t 0
0 , t < 0
(10.6)
em que H(x) e a func ao de Heaviside, H(x) = 1 para x > 0, e H(x) = 0 para x < 0.
Na gura 10.3 est a representado o gr aco da func ao de Green para a equac ao das
ondas.
10.3 Exerccios
10.1) Encontre as transformadas de Laplace das func oes:
a)
f (t) =

sint se 0 t p
0 se t > p
126 10. A Transformada de Laplace
Figura 10.3: Gr aco da func ao de Green (10.6) para a equac ao das ondas.
b)
f (t) =

1 se 2n t < 2n+1
0 se 2n+1 t 2(n+1)
em que n = 0, 1, 2, . . ..
10.2) Se f e uma func ao peri odica de perodo T, mostre que,
L f = F(s) =
R
T
0
e
st
f (t)dt
1e
Ts
.
10.3) Sejam P(z) e Q(z) polin omios com grauQ grauP+1. Suponha-se ainda
que Q(z) s o tem zeros simples em z
1
, . . . z
m
. Determine a transformada de Laplace
inversa de P(z)/Q(z).
10.4) Encontre as soluc oes das equac oes diferenciais:
a) x +9x = H(t 1), com x(0) = x(0) = 0, em que H e a func ao de Heaviside.
b) x +x = e
t
, com x(0) = 0.
10.5) Considere a equac ao de Schr odinger n ao homog enea,

h
2
2m

2
y
x
2
i h
y
t
=
p
2pd(x)d(t)
assuma que x 2 R e t 0. Determine a soluc ao desta equac ao com condic oes
iniciais nulas.
10.6) Determine a func ao de Green da equac ao de ondas,
f
t
+c
f
x
= 0
em que c e uma constante positiva, x 2 R e t 0.
Captulo 11
Reex ao, refracc ao e dispers ao de
ondas
Com t ecnicas de transformadas de Laplace deriva-se a soluc ao da equac ao das
ondas com uma condic ao fronteira dependente do tempo. Analisam-se as proprie-
dades de reex ao e refracc ao de ondas progressivas transversais e deriva-se a lei
de Snell da refracc ao e da reex ao. Introduzem-se os conceitos de velocidade de
grupo e de velocidade de fase.
11.1 Reex ao e refracc ao de ondas transversais
Vamos considerar uma corda semi-innita, presa num dos extremos a um disposi-
tivo que a faz oscilar periodicamente. O movimento imposto no extremo e trans-
versal ` a corda, pelo que, para pequenas amplitudes, a forma da corda ao longo do
tempo obedece ` a equac ao das ondas,
c
2

2
y
x
2

2
y
t
2
= 0. (11.1)
A condic ao fronteira no ponto x = 0 e descrita por uma func ao peri odica h(t) e
y(x, t) descreve a forma da corda no espaco e ao longo do tempo.
Vamos ent ao considerar o caso em que a condic ao fronteira e,
y(0, t) = h(t) = Asinwt (11.2)
sendo T = 2p/w o perodo da oscilac ao do extremo da corda.
A transformada de Laplace no tempo da equac ao das ondas (11.1) e,
c
2

2
x
2
U(x, s) s
2
U(x, s) +s f (x) +g(x) = 0
em que, U(x, s) = L
t
y. Impondo ` a corda as condic oes iniciais, y(x, t = 0) =
f (x) = 0 e y(x, t = 0)/t = g(x) = 0, a equac ao anterior reduz-se a,
c
2

2
x
2
U(x, s) s
2
U(x, s) = 0. (11.3)
127
128 11. Reex ao, refracc ao e dispers ao de ondas
Com a condic ao fronteira, U(0, s) = L
t
h(t) := H(s), a equac ao diferencial or-
din aria (11.3) tem a soluc ao,
U(x, s) = Ae
s
c
x
+Be

s
c
x
em que A e B s ao constantes a determinar. Impondo a regularidade no innito,
lim
x!
U(x, s) = 0, vem que A = 0, U(0, s) = B = H(s) e a soluc ao da equac ao
(11.3) e,
U(x, s) = H(s)e

s
c
x
.
Pela propriedade da translacc ao das transformadas de Laplace, tem-se ent ao
que,
y(x, t) =L
1

H(s)e

s
c
x

= h

t
x
c

com t x/c 0. Assim, a soluc ao da equac ao das ondas (11.1) com a condic ao
fronteira peri odica (11.2) e,
y(x, t) =

Asinw

t
x
c

para x ct
0 para x > ct
Acab amos de mostrar que a soluc ao (progressiva) da equac ao das ondas propaga-se
com velocidade nita c, no sentido positivo do eixo dos xx, gura 11.1.
Figura 11.1: Soluc ao da equac ao das ondas (11.1) em instantes sucessivos, com a
condic ao fronteira peri odica no tempo (11.2) e condic oes iniciais nulas.
Vamos agora considerar uma corda semi-innita com densidade r
1
para x 2
[0, a] e densidade r
2
para x 2 [a, +), gura 11.2. Vamos mostrar que sempre
que existem alterac oes das grandezas caractersticas do meio aparecem reex oes e
refracc oes das ondas progressivas.
Figura 11.2: Meio n ao homog eneo de densidades r
1
e r
2
.
Vamos ent ao considerar a equac ao das ondas coma condic ao fronteira y(0, t) =
Asinwt e resolv e-la nas regi oes I e II.
11.1. Reex ao e refracc ao de ondas transversais 129
Como foi visto anteriormente, a soluc ao da equac ao das ondas e,
y
I
(x, t) =
(
Asinw

t
x
c
1

para x c
1
t
0 para x > c
1
t
em que c
1
e a velocidade de propagac ao no meio I. Para x =a e t a/c
1
a oscilac ao
da corda em x = a e,
y(a, t) = Asinw(t
a
c
1
). (11.4)
Sejam ent ao as novas vari aveis independentes,

t = t
a
c
1
x
0
= x a
Assim, na regi ao II, existe uma onda progressiva que tem a forma,
y
II
(x
0
, t) = Bsinw(t
x
0
c
2
).
Como a soluc ao (11.4) pode ser interpretada como uma condic ao fronteira no in-
terior do material, para valores de x < a e por simetria, existe uma soluc ao que se
desloca no sentido negativo do eixo dos x
0
,
y
0
I
(x
0
, t) =Csinw

t +
x
0
c
1

em que o sinal muda devido ao sentido da propagac ao. Como a equac ao das ondas
e linear, vamos ter sobreposic ao de soluc oes e, na vizinhanca de x =a e de t =a/c
1
,
tem-se que:
Regi ao I: y
I
(x, t) = Asinw(t
(xa)
c
1
) +Csinw(t +
(xa)
c
1
).
Regi ao II: y
II
(x, t) = Bsinw(t
(xa)
c
2
).
Para determinar as constantes B e C vamos impor a continuidade de y e de
y
x
na fronteira x = a. Ent ao, para x = a,
8
<
:
Asinwt +Csinwt = Bsinwt

1
c
1
Acoswt +
1
c
1
Ccoswt =
B
c
2
coswt
e resolvendo em ordem a B e C obt em-se,
8
>
>
<
>
>
:
B = A
2c
2
c
1
+c
2
C = A
c
2
c
1
c
1
+c
2
.
(11.5)
130 11. Reex ao, refracc ao e dispers ao de ondas
A constante B e a amplitude da onda transmitida ou refractada e a constante C e a
amplitude da onda reectida. Claro est a que se, c
1
= c
2
, vem que B = A e C = 0,
n ao existindo onda reectida.
Se c
2
!0, isto e, a densidade na regi ao II e innita, c
2
=
p
T/r
2
, ent ao, B = 0
e C = A. Neste caso, y
I
(a, t) = 0 e uma condic ao fronteira e a onda reectida
tem amplitude de sinal contr ario relativamente ` a amplitude da onda incidente. Se
convencionarmos que as amplitudes s ao sempre positivas e devido ` as propriedades
de periodicidade das func oes trigonom etricas, a mudanca de sinal na amplitude C
pode ser interpretada como uma mudanca da fase y
I
!y
0
I
, em que o argumento
de y
I
tem um acr escimo de p. Contudo, se a situac ao fsica corresponde ` a passa-
gem de um meio com menor velocidade de propagac ao para um meio com maior
velocidade de propagac ao, existe apenas uma alterac ao da amplitude, n ao havendo
mudanca de fase da onda reectida.
11.2 Lei de Snell
Uma onda progressiva ao atravessar uma fronteira onde as constantes caractersticas
do meio mudam, vai gerar uma onda reectida e uma onda refractada. No par agrafo
anterior, foram calculadas as amplitudes destas ondas. Quando a onda se propaga
num meio bi-dimensional, as ondas reectidas e refractadas mudam de direcc ao.
Vejamos ent ao qual a regra de reex ao e refracc ao.
Uma onda progressiva numa regi ao bidimensional tem a forma,
y(~r, t) = Asin(wt
~
k.~r) (11.6)
em que
~
k.~r = k
x
x+k
y
y. Estas soluc oes da equac ao das ondas designam-se tamb em
por ondas planas monocrom aticas. Como w = c|
~
k|, podemos escrever (11.6) na
forma,
y(~r, t) = Asin(wt
~
k.~r) = Asin(w(t
k
x
x
c|
~
k|

k
y
y
c|
~
k|
))
= Asin(w(t
~n
c
.~r)).
(11.7)
O vector,
~n = (
k
x
|
~
k|
,
k
y
|
~
k|
)
dene a direcc ao de propagac ao da onda progressiva no espaco a duas dimenses.
Esta soluc ao tem que ser gerada por uma condic ao fronteira denida numa recta e
perpendicular ` a direcc ao de propagac ao.
Vamos ent ao considerar que no plano (x, y) e para valores negativos de x a
velocidade de propagac ao (de fase) da onda progressiva e c
1
. Para valores positivos
de x, a velocidade de propagac ao e c
2
, gura 11.3. Quando a frente de onda chega
` a fronteira que separa os dois meios, x = 0, para que haja continuidade da soluc ao,
a vari avel independente da soluc ao (11.7) tem de ser contnua na fronteira, ou seja,
(t
~n
1
c
1
.~r)|
x=0
= (t
~n
2
c
2
.~r)|
x=0+
(11.8)
11.2. Lei de Snell 131
Figura 11.3: Na gura a) mostra-se o fen omeno de refracc ao de uma onda plana
monocrom atica emque c
1
>c
2
. Ema), est ao apenas representadas a onda incidente
e a onda refracatada. As zonas escuras correspondem aos m aximos da onda e ~n
1
e ~n
2
s ao as respectivas direcc oes de propagac ao. O vector ~n e a normal ` a fronteira
entre os dois meios. No lado esquerdo da gura a), est a apenas representada a
onda progressiva incidente. Em b) est a apenas representada a onda reectida. Em
c), representa-se a sobrepreposic ao de todas as ondas.
132 11. Reex ao, refracc ao e dispers ao de ondas
em que foram introduzidos os ndices 1 e 2 para distinguir as velocidades de fase e
as direcc oes de propagac ao
1
.
Sejam ~n
1
= (cosf
1
, sinf
1
) e ~n
2
= (cosf
2
, sinf
2
), em que f
1
e o angulo que
faz a direcc ao de propagac ao no meio 1 com a normal ` a fronteira e f
2
e o angulo
que faz a direcc ao de propagac ao no meio 2 com a normal ` a fronteira, gura 11.3.
Introduzindo~n
1
e~n
2
em (11.8), obt em-se,
sinf
1
c
1
=
sinf
2
c
2
(11.9)
que e a lei de Snell da refracc ao e n = c
1
/c
2
e o ndice de refracc ao.
Ora a lei de Snell (11.9) tem v arias soluc oes. Como,
sinf
1
=
c
1
c
2
sinf
2
esta equac ao tem soluc ao em f
2
, sempre que c
1
/c
2
1.
Se c
1
/c
2
< 1, tem-se que,
sinf
2
=
c
2
c
1
sinf
1
(11.10)
e esta equac ao nem sempre tem soluc oes em ordem a sinf
2
. Assim, existe um
valor de f
1
, para o qual, se f
1
> f
B
, a equac ao (11.10) n ao tem soluc oes e f
B
e
denido pela relac ao
c
2
c
1
sinf
B
= 1. O angulo,
f
B
= arcsin
c
1
c
2
em que c
1
< c
2
, designa-se por angulo de Brewster ou angulo crtico de refracc ao.
Se c
1
= c
2
, a lei de Snell (11.9) com f
1
2 [0, p/2] tem ainda a soluc ao, f
2
=f
1
e ainda,
sinf
2
= sin(p f
1
)
que e a lei de reex ao especular.
Em conclus ao, quando uma onda incide sobre a fronteira de separac ao de um
meio, em geral existe reex ao e refracc ao. O angulo de reex ao obedece ` a lei
especular, f
1
!p f
1
. Se, c
1
c
2
, o angulo de refracc ao e calculado de acordo
com (11.10). Se c
1
< c
2
e f
1
> f
B
, n ao existe refracc ao. Nos caso em que existe
reex ao e refracc ao, as amplitudes das ondas refractada e reectida s ao dados por
(11.5).
11.3 Velocidade de fase
Nas vibrac oes da corda semi-innita com condic ao fronteira h(t) = Asinwt, a
soluc ao progressiva e,
y(x, t) = h(t
x
c
) = Asinw(t
x
c
) = Asin(wt
w
c
x)
1
Como c
1
6= c
2
, tem que se ter ~n
1
6=~n
2
, caso contr ario nunca poderia haver continuidade da
soluc ao da equac ao das ondas.
11.3. Velocidade de fase 133
para t x/c 0. A constante w e a frequ encia de vibrac ao, expressa em radianos
por segundo. No sistema internacional de unidades, a frequ encia e f =w/(2p) Hz.
O n umero de ondas em 2p radianos e k = w/c. O n umero de ondas por unidade
de comprimento e k/(2p). O comprimento de onda e l = 2p/k e f l = w/k = c.
A soluc ao y(x, t) = Asin(wt kx) tem associada uma velocidade c, a que cor-
responde ` a velocidade com que se propaga a perturbac ao da fronteira no sentido
positivo do eixo dos xx. A soluc ao y(x, t) e muitas vezes designada por fase. A
velocidade de propagac ao da fase y(x, t) e caracterizada pela condic ao dy = 0.
Pois, para medir a velocidade de propagac ao da fase e necess ario marcar um ponto
de refer encia na fase e seguir esse ponto no espaco e no tempo. Essa refer encia
pode ser, por exemplo, um valor constante xo para a fase.
Assim, com,
dy =
y
x
dx +
y
t
dt = 0
dene-se a velocidade de fase como,
v
f
=
dx
dt
=
f
t
f
x
. (11.11)
Quando, y(x, t) = Asin(wt kx), a velocidade de fase da onda progressiva e v
f
=
w/k = c. Note que, a velocidade de vibrac ao do meio, num ponto x = x, e,
y(x, t)
t
= Awcos(wt kx

).
Esta e a velocidade transversal da corda. A velocidade de fase e a velocidade de
propagac ao da onda progressiva.
No caso das oscilac oes transversais de uma corda de comprimento L e presa
nos extremos, a velocidade de fase e uma grandeza vari avel no espaco e no tempo.
Ora vejamos. Seja a onda estacion aria, y(x, t) = Asin(wt kx) +Asin(wt +kx).
Nestas condic oes, k = p/L e w = cp/L. Ent ao, por denic ao de velocidade de
fase, tem-se que,
v
f
=
y
t
y
x
=
w
k
cos(wt kx) +cos(wt +kx)
cos(wt kx) cos(wt +kx)
= c
cos(wt kx) +cos(wt +kx)
cos(wt kx) cos(wt +kx)
pelo que, a velocidade de fase da onda estacion aria n ao e constante. No entanto,
as velocidades de fase das duas ondas progressivas s ao c e c. No caso das ondas
estacion arias, n ao faz sentido introduzir o concento de velocidade de fase.
A soluc ao y = Asin(wt kx) da equac ao das ondas linear designa-se por
soluc ao progressiva ou por soluc ao do tipo onda plana monocrom atica. Em ge-
ral, uma onda plana monocrom atica tem uma das formas,
Asin(wt
~
k.~x) ou Acos(wt
~
k.~x).
134 11. Reex ao, refracc ao e dispers ao de ondas
emque x, k 2R
n
. Como a equac ao das ondas e linear, pode-se passar para a notac ao
complexa e uma onda plana monocrom atica escreve-se na forma,
f(~x, t) = Ae
i(wt
~
k.~x)
em que A e determinado pelas condic oes fronteira e tanto a parte real como a parte
imagin aria s ao soluc oes da equac ao das ondas. Claro est a que se se est a ` a procura
de uma soluc ao da forma y = Asin(wt kx), ent ao,
y(x, t) = Im(f(x, t))
em que se est a a usar a notac ao, z = Re(z) +iIm(z).
Vejamos agora uma situac ao em que a depend encia entre a frequ encia de vi-
brac ao e o n umero de ondas n ao e linear.
Um o condutor semi-innito e caracterizado pelas seguintes constantes: C
(capacidade), L (Indut ancia), R (Resist encia) e S (Condut ancia de dispers ao). A
equac ao que determina a forma de umsinal que se propaga ao longo do o condutor
e (equac ao da telegraa),

2
y
x
2
=CL

2
y
t
2
+(CR+SL)
y
t
+RSy. (11.12)
Introduzindo na equac ao (11.12) uma soluc ao do tipo onda plana monocrom a-
tica, y = Ae
i(wtkx)
, e resolvendo em ordem a k, tem-se que,
k
2
=CLw
2
(CR+SL)iw RS. (11.13)
Ora, a equac ao (11.13) tem duas soluc oes para k. Com k = Re(k) +i Im(k), e
considerando, por exemplo, a condic ao fronteira y(x = 0, t) = sinwt, tem-se a
soluc ao,
y(x, t) = Im

e
i(wtkx)

= Im

e
i(wtRe(k)x)
e
Im(k)x

= sin(wt Re(k)x)e
Im(k)x
Como (11.13) tem duas soluc oes para k, necessariamente uma das soluc oes obe-
dece ` a condic ao, Im(k) < 0, e, neste caso, existe atenuac ao do sinal. A soluc ao
com Im(k) > 0 e uma soluc ao n ao fsica e corresponderia a uma acumulac ao de
energia no interior do sistema. Se Im(k) < 0, a velocidade de fase e,
v
f
=
wcos(wt Re(k)x)
Re(k)cos(wt Re(k)x) Im(k)sin(wt Re(k)x)
.
Fazendo, por exemplo, C = L = R = S = 1, tem-se k
2
= (w i)
2
(k = (w i)),
Im(k) =1 e Re(k) = w e portanto,
v
f
=
wcos(wt wx)
wcos(wt wx) +sin(wt wx)
.
11.4. Velocidade de grupo 135
Assim, a velocidade de fase n ao est a denida para todos os valores de x e t.
A relac ao (11.13), que relaciona o n umero de ondas com os par ametros do
sistema fsico, e a relac ao de dispers ao da equac ao (11.12). De facto, devido ` a
relac ao (11.11) que dene a velocidade de fase, esta s o estar a bem denida quando
a fase da onda n ao e globalmente atenuada ao longo do tempo.
11.4 Velocidade de grupo
Voltemos ` a equac ao das ondas (11.1) e vamos agora considerar que a condic ao
fronteira e y(x = 0, t) = sinw
1
t +sinw
2
t. Como a equac ao (11.1) e linear, a sua
soluc ao e a soma de duas ondas progressivas da forma,
y(x, t) = Im

e
i(w
1
tk
1
x)
+e
i(w
2
tk
2
x)

= Im

2cos(
w
1
+w
2
2
t
k
1
+k
2
2
x)cos(
w
1
w
2
2
t
k
1
k
2
2
x)
+ 2i sin(
w
1
+w
2
2
t
k
1
+k
2
2
x)cos(
w
1
w
2
2
t
k
1
k
2
2
x)

= 2sin(
w
1
+w
2
2
t
k
1
+k
2
2
x)cos(
w
1
w
2
2
t
k
1
k
2
2
x).
Assim, y(x, t) e o produto de duas func oes peri odicas com frequ encias diferentes.
Comw = (w
1
+w
2
)/2, k = (k
1
+k
2
)/2, esta soluc ao tem velocidade de fase m edia,
v
f
=
w
k
=
w
1
+w
2
k
1
+k
2
.
O termo em coseno tem uma velocidade,
v

g
=
w
1
w
2
k
1
k
2
=
Dw
Dk
.
Quando w
2
est a muito pr oximo de w
1
, a express ao anterior assume a forma mais
simples,
v
g
'
dw
dk
.
Por denic ao, v
g
e a velocidade de grupo. No caso da equac ao das ondas, v
g
= v
f
.
Na equac ao da telegraa (11.12) com a escolha de par ametros, C = L = R =
S = 1, tem-se a relac ao de dispers ao k = w i, e portanto, v
f
=
(w
1
+w
2
)
(w
1
+w
2
)2i
e v
g
=
dw
dk
=1. No entanto, devido ao facto da soluc ao da equac ao (11.12) ser amortecida,
Im(k) < 0, n ao e possvel atribuir um signicado fsico preciso ` as velocidades v
f
,
v
f
e v
g
.
Quando a velocidade de propagac ao de uma onda progressiva depende da fre-
qu encia, diz-se que a equac ao ` as derivadas parciais tem soluc oes dispersivas.
Muitos autores argumentam que a velocidade de grupo est a relacionada com a
velocidade de propagac ao da (densidade de) energia. No entanto, n ao se conhece
136 11. Reex ao, refracc ao e dispers ao de ondas
nenhuma prova desta armac ao. A unica depend encia conhecida entre a velocidade
de grupo e a velocidade de propagac ao da energia e no caso dos fot oes. Neste caso,
tem-se que, E = hw e p = hk, e portanto,
v
g
=
dw
dk
=
d(E/ h)
d(p/ h)
=
dE
dp
em que E e a energia e p o momento linear. No caso cl assico, para partculas
materiais commassa m>0, tem-se que E =mv
2
/2, p =mv e portanto, v
g
=
dE
dp
=v.
11.5 Exerccios
11.1) Uma corda semi-innita tem tr es regi oes de densidades diferentes, como se
mostra na gura.
Supondo a condic ao fronteira, f(x = 0, t) = Asinwt, determine a amplitude da
onda transmitida ` a regi ao III.
11.2) Determine a intensidade relativa da luz reectida e da luz refractada na su-
perfcie da agua do mar. Suponha que o ndice de refracc ao do ar e n
ar
= 1.0003
e o ndice de refracc ao da agua salgada e n
ags
= 1.3423. A velocidade da luz no
v acuo e c = 299792458 ms
1
.
11.3) Seja a equac ao

2
f
t
2
= c
2

2
f
x
2
+af
Assuma que a equac ao tem uma soluc ao do tipo onda plana monocrom atica e de-
termine a velocidade de fase e a velocidade de grupo.
11.4) Determine a relac ao de dispers ao para a equac ao de Schr odinger,

h
2
2m

2
f
x
2
= i h
f
t
Mostre que v
g
= 2v
f
, em que v
f
e v
g
s ao respectivamente a velocidade de fase e a
velocidade de grupo.
11.5) A equac ao para as pequenas oscilac oes transversais de uma barra e,

2
f
t
2
= c
2

4
f
x
4
em que, c
2
= EI/rA, E [Nm
2
] e o m odulo de elasticidade, r e a densidade da
barra, A e a area da secc ao da barra e I [m
4
] e o momento de area da secc ao recta
da barra, relativamente ao eixo dos xx.
11.5. Exerccios 137
a) Determine a relac ao de dispers ao da equac ao ` as derivadas parciais. Resolva a
equac ao de dispers ao em ordem a k e considere apenas as soluc oes para as quais
Re(k) > 0 e Im(k) < 0. Determine a velocidade de fase e a velocidade de grupo.
Calcule w/k.
b) Mostre que se a barra e forcada no ponto x = 0 com uma func ao harm onica de
amplitude A, a amplitude da perturbac ao decai para zero em func ao da dist ancia
ao ponto de forcamento. Como a amplitude da soluc ao da equac ao e proporcinal
a e
ld
, em que d e a dist ancia entre um ponto da barra e o ponto de forcamento,
determine o valor de l.