Notas de Analise de Fourier e aplica cao a edps

Joao Lopes Dias

Departamento de Matem atica, ISEG

Universidade Tecnica de Lisboa
Rua do Quelhas 6, 1200-781 Lisboa, Portugal
11 de Dezembro de 2006
Resumo
Estas notas destinam-se `a cadeira Analise Real e Complexa (1
o
Semestre 2005-2006)
do 3
o
ano da Licenciatura em Matem atica Aplicada `a Economia e Gest ao do ISEG -
Universidade Tecnica de Lisboa. Para as seguir pressupoe-se os conhecimentos adquiridos
nas disciplinas de

Algebra Linear, An alise Matem atica em R e R
d
(incluindo integral de
Lebesgue), An alise Complexa e Equa c oes Diferenciais Ordin arias.
Conte udo
1 Series de Fourier 2
1.1 Fun coes periodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Os espa cos vectoriais L
1
([0, 1]) e L
2
([0, 1]) . . . . . . . . . . . . . . . . . . . . . 3
1.3 Convergencia de series de fun coes contnuas e diferenciaveis . . . . . . . . . . . 4
1.4 * Propriedades de L
1
([0, 1]) e L
2
([0, 1]) . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Produto interno em L
2
([0, 1]) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.6 Coecientes e serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7 *Identidade de Parseval e uma base para L
2
([0, 1]) . . . . . . . . . . . . . . . . 7
1.8 Teorema de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.9 Corolario de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.10 Fun coes denidas noutros intervalos e extensoes . . . . . . . . . . . . . . . . . . 11
1.11 Integra cao de series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.12 * Fenomeno de Gibbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 Aplica cao a edps 16
2.1 Equa coes diferenciais parciais a duas variaveis . . . . . . . . . . . . . . . . . . . 16
2.2 Equa cao do calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.1 Condi coes fronteira livres . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Condi coes fronteira xas . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Equa cao das ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.1 Equa cao das ondas em R . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.2 Equa cao das ondas em [0, 1] . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4 Equa cao de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4.1 Problema de Dirichlet num rectangulo . . . . . . . . . . . . . . . . . . . 27

Email: jldias@iseg.utl.pt
1
Agradecimentos 28
Referencias 28
1 Series de Fourier
O objectivo central a que nos propomos neste texto e o de encontrar fun coes f : R R que
possam ser expressas na forma de uma serie trigonometrica na forma:
f(x) =
+

n=0
[a
n
cos(2nx/T) +b
n
sin(2nx/T)] (1.1)
com coecientes a
n
, b
n
R e T ,= 0. Podemos reescrever a serie acima na forma que iremos
usar ao longo destas notas:
f(x) =

kZ
c
k
e
2ikx/T
, (1.2)
onde c
k
C. A uma serie nesta forma da-se o nome de Serie de Fourier.
Exerccio 1. Mostre que (1.1) e (1.2) s ao iguais, i.e. determine c
k
, k Z, em fun c ao de a
n
e b
n
, n N, e vice-versa.
1.1 Fun coes periodicas
Uma fun cao f : R R diz-se periodica de perodo T, ou T-periodica, se verica
f(x +T) = f(x), x R.
Exemplo 1.
sin e cos sao ambas fun coes 2-periodicas. Por outro lado, as fun coes x sin(2x) e
x cos(2x) sao 1-periodicas.
A fun cao x x[x], onde [x] = supk Z: k x e a parte inteira de x, e uma fun cao
1-periodica.
Observa c ao 1.
Qualquer fun cao f : R R que seja T-periodica pode ser rescalada de forma a obter-
mos uma fun cao 1-periodica g: R R da forma
g(x) = f(Tx).
De facto, g(x + 1) = f(Tx +T) = f(Tx) = g(x).
Note que toda a informa cao sobre uma fun cao 1-periodica
1
encontra-se no intervalo
[0, 1[ , pois
f(x) = f(x [x])
onde x [x] [0, 1[.
1
As funcoes 1-periodicas f : R R podem ser estudadas como funcoes sobre uma circunferencia
{(cos(2x), sin(2x)) R
2
: x [0, 1[}. Outra forma de interpretacao do mesmo facto sera considerar o
intervalo [0, 1] onde os pontos extremos se identicam. Tambem se pode estudar este conjunto considerando
a relacao de equivalencia entre dois n umeros reais x e y dada por y = x mod 1. Finalmente, o conjunto
T = {Cx : x [0, 1[} onde Cx = {y R: y x Z}, dene a coleccao das classes de equivalencia que incluem
todos os pontos que sao equivalentes entre si.
2
Pelas razoes acima, iremos restringir o nosso estudo a funcoes denidas no intervalo
[0, 1[ , tendo sempre presente o facto que pretendemos construir fun coes periodicas em
R. Assim, neste contexto uma fun cao contnua f em [0, 1[ tera que satisfazer a condi cao
adicional:
lim
x0
+
f(x) = lim
x1

f(x) = f(0).
Em alternativa, podemos considerar fun coes f em [0, 1] com a restri cao f(0) = f(1), de
forma a ser 1-periodica. Representamos essas fun coes na forma:
f : [0, 1]
per
R.
Agora a continuidade da fun cao 1-periodica em R corresponde `a continuidade de f.
De forma a simplicar as nota coes, escrevemos
C
0
per
([0, 1]) = fun coes f : [0, 1]
per
R contnuas
e
C
r
per
([0, 1]) = fun coes f : [0, 1]
per
R de classe C
r
.
Uma fun cao f : [0, 1[ R diz-se
par sse a extensao periodica f : [0, 1]
per
R e par;
mpar sse a extensao periodica f : [0, 1]
per
R e mpar.
Exerccio 2.
1. Mostre que f : [0, 1[ R e par sse f(x) = f(1 x), x [0, 1]. Ou seja, a fun c ao e
simetrica em rela c ao ` a recta x =
1
2
.
2. Mostre que f : [0, 1] R e mpar sse f(x) = f(1 x), x [0, 1]. Deduza que neste
caso verica-se necessariamente f(0) = 0.
1.2 Os espacos vectoriais L
1
([0, 1]) e L
2
([0, 1])
Muitas das fun coes que estaremos interessados em estudar nao sao necessariamente contnuas.
Sera de grande utilidade assim um espa co de fun coes mais geral. O requisito e a integrabilidade
(`a Lebesgue) dessas fun coes. Para isso, dado um intervalo I R denimos o espa co
L
1
(I) =
_
fun coes f : I C tais que
_
I
[f[ < +
_
,
das fun coes integraveis `a Lebesgue relativamente `a medida de Lebesgue. Note que uma fun cao
contnua num intervalo compacto I pertence necessariamente a L
1
(I).
Um outro espa co de utilidade nestas notas corresponde `as fun coes de quadrado integravel:
L
2
(I) =
_
fun coes f : I C tais que [f[
2
L
1
(I)
_
.
Exerccio 3. Mostre que L
1
([0, 1]) e L
2
([0, 1]) s ao espa cos vectoriais e que L
2
([0, 1])
L
1
([0, 1]).
3
Podemos ainda denir normas
2
nestes espa cos vectoriais:
|f|
L
1 =
_
I
[f[ e |f|
L
2 =

_
I
[f[
2
(1.3)
A fun cao zero neste contexto nao se resume apenas a f(x) = 0, x I. Isto porque
para outras fun coes o integral do modulo pode ser nulo. Basta que se anulem quase por toda
a parte (f = 0 q.t.p.). Ou seja, apenas num conjunto de medida de Lebesgue nula e que a
fun cao e diferente de zero. De facto, duas fun coes sao consideradas iguais se se igualarem q.t.p.
Consequentemente, a igualdade de fun coes nestes espa cos e re-denida:f = g sse f g = 0
q.t.p.
Exerccio 4. Mostre que | |
L
1 e | |
L
2 s ao de facto normas.
1.3 Convergencia de series de funcoes contnuas e diferenciaveis
Proposi cao 1.1. Sejam I R e uma sucess ao de fun c oes u
n
: I R contnuas. Se

u
k
converge uniformemente em I, ent ao

u
k
e contnua em I, i.e.
lim
xx
0

u
k
(x) =

lim
xx
0
u
k
(x) =

u
k
(x
0
).
Demonstra c ao. Sejam
S
n
(x) =
n

k=1
u
k
(x) e S(x) =
+

k=1
u
k
(x). (1.4)
As hipoteses da proposi cao implicam que
lim
n+
sup
xI
[S
n
(x) S(x)[ = 0 e lim
xx
0
[S
n
(x) S
n
(x
0
)[ = 0.
Para x, x
0
I temos que
[S(x) S(x
0
)[ [S(x) S
n
(x)[ +[S
n
(x) S
n
(x
0
)[ +[S
n
(x
0
) S(x
0
)[ .
Logo, S e contnua em I.
Proposi c ao 1.2. Sejam um intervalo I = [a, b] R e uma sucess ao de fun c oes u
n
L
1
(I).
Se

u
k
converge uniformemente em I, ent ao

u
k
L
1
(I) e
_
I

u
k
=

_
I
u
k
. (1.5)
2
Uma norma num espaco vectorial complexo V e uma funcao : V R com as seguintes propriedades:
1. f + g f + g para f, g V (desigualdade triangular);
2. cf = |c| f para c C e f V ;
3. f = 0 sse f = 0.
4
Demonstra c ao. Usando as nota coes introduzidas em (1.4),

k=1
_
I
u
k
(x) dx
_
I
S(x) dx

_
I
_
n

k=1
u
k
(x) S(x)
_
dx

(I) sup
xI
[S
n
(x) S(x)[ .
Logo, como S
n
converge uniformemente para S, provamos (1.5).
Proposi c ao 1.3. Sejam um intervalo I R e uma sucess ao de fun c oes u
n
: I R dife-
renci aveis. Se

n
converge uniformemente em I e existe x
0
I para o qual

u
n
(x
0
)
converge, ent ao

u
k
converge pontualmente, e diferenci avel e
_

u
n
_

n
. (1.6)
Exerccio 5. Demonstre a Proposi c ao 1.3.
1.4 * Propriedades de L
1
([0, 1]) e L
2
([0, 1])
1.5 Produto interno em L
2
([0, 1])
Considere a seguinte opera cao entre fun coes f e g em L
2
([0, 1]):
f, g) =
_
1
0
f(x)g(x) dx.
Exerccio 6. Mostre que , ) e um produto interno
3
e que f, f) = |f|
2
L
2
.
Exerccio 7. Seja
k
(x) = e
2ikx
, k Z. Mostre que
n
,
m
) =
n,m
onde

n,m
=
_
1, n = m
0, n ,= m.
1.6 Coecientes e serie de Fourier
Dada uma fun cao f L
1
([0, 1]) denimos os coecientes de Fourier de f como os n umeros
complexos:
f
k
=
_
1
0
f(x)e
2ikx
dx, k Z. (1.7)
Exerccio 8. Mostre que para a fun c ao
f(x) =

kZ
c
k
e
2ikx
, x [0, 1],
assumindo que a serie acima converge uniformemente, temos que f
k
= c
k
.
3
Um produto interno entre dois vectores verica as propriedades:
1. u + v, w = u, w + v, w com , C;
2. u, v = v, u;
3. u, u 0 e u, u = 0 sse u = 0.
5
Dada uma fun cao f L
1
([0, 1]), podemos calcular os coecientes de Fourier e escrever a
serie de Fourier de f
S
f
(x) =

kZ
f
k
e
2ikx
, x R. (1.8)
A serie de Fourier de f e assim uma fun cao 1-periodica denida para todo o R.
Observa c ao 2. Note que usando a nota cao introduzida na sec cao 1.5,
f
k
= f,
k
), S
f
(x) =

kZ
f,
k
)
k
(x).
Exerccio 9. Escreva a serie de Fourier S
f
de
f(x) =
_
1, x [
1
2
, 1[
0, x [0,
1
2
[
calculando os respectivos coecientes de Fourier.
Proposi cao 1.4 (Desigualdade de Bessel). Se f L
2
([0, 1]), ent ao

kZ
[f
k
[
2

_
I
[f[
2
. (1.9)
Observa c ao 3. A desigualdade de Bessel nao implica que a serie de Fourier de f L
2
([0, 1])
convirja uniformente. I.e. o facto de

k
[f
k
[
2
convergir nao implica que

k
[f
k
[ tambem
convirja. Basta para isso pensar no caso [f
k
[ = 1/[k[ para k ,= 0, que corresponde `a fun cao
f(x) =
_
2x, x [0, 1[
0, x = 1.
Demonstra c ao. Escrevendo
S
n
(x) =

|k|n
f
k
e
2ikx
(1.10)
temos entao
|S
n
|
2
L
2
= S
n
, S
n
) =

|k|n

|k

|n
f
k
f
k

k
,
k
) =

|k|n
[f
k
[
2
.
(1.11)
Queremos assim provar que o limite quando n + de |S
n
|
L
2 existe e e menor ou igual a
|f|
L
2.
Repare agora que
|f S
n
|
2
L
2
= f S
n
, f S
n
)
= f, f) 2 Ref, S
n
) +S
n
, S
n
)
= |f|
2
L
2
2 Re

|k|n
f
k
f,
k
) +|S
n
|
2
L
2
= |f|
2
L
2
2 Re

|k|n
[f
k
[
2
+|S
n
|
2
L
2
= |f|
2
L
2
|S
n
|
2
L
2
0.
6
Assim,

kZ
[f
k
[
2
= lim
n+
|S
n
|
2
L
2
|f|
2
L
2
.
Lema 1.1 (Riemann-Lebesgue). Se f L
2
([0, 1]), ent ao
lim
|k|+
f
k
= 0, (1.12)
onde f
k
C s ao os coecientes de Fourier de f.
Demonstra c ao. Como pela desigualdade de Bessel a serie

kZ
[f
k
[
2
converge, entao
lim
|k|+
[f
k
[
2
= 0,
o que implica (1.12).
Exerccio 10. Seja M
n
=
_
I
[f
(n)
[, I = [0, 1], e c
k
os coecientes de Fourier de f. Prove as
seguintes propriedades de decaimento de c
k
:
1. Se f L
1
([0, 1]), ent ao [c
k
[ M
0
.
2. Se f C
r1
per
([0, 1]) e f
(r)
L
1
([0, 1])
4
, ent ao [c
k
[ (2[k[)
r
M
r
, k ,= 0.
Exerccio 11. Encontre uma solu c ao para a edo: y

+ 2y = sin(2t), t R. Assuma para

isso que y(t) =

kZ
c
k
e
2ikt
e encontre os valores de c
k
.
Teorema 1.2 (Unicidade da serie de Fourier). Sejam f, g L
2
([0, 1]). Se S
f
= S
g
(i.e. os
coecientes de Fourier s ao iguais), ent ao f = g q.t.p.
Demonstra c ao. Considere h = f g. Os respectivos coecientes de Fourier sao h
k
= 0, logo
usando (1.9) obtemos que
_
[h[
2
= 0 e h = 0 q.t.p.
1.7 *Identidade de Parseval e uma base para L
2
([0, 1])
1.8 Teorema de Fourier
Queremos agora determinar qual a rela cao
5
entre f e S
f
, em particular em que condi coes
temos
f = S
f
.
Observa c ao 4. Note que mesmo sendo f contnua, existem exemplos para os quais f ,= S
f
(ver observa cao 6).
Deni cao 1.1. Uma fun cao f : [0, 1] R e contnua por tro cos se tem apenas um n umero
nito de descontinuidades nos pontos a
1
, . . . , a
n
[0, 1], e os limites laterais
lim
xa
+
j
f(x) e lim
xa

j
f(x), j = 1, . . . , n, (1.13)
sao nitos.
4
Note que isto signica que a derivada de ordem r existe em pontos sucientes de forma a ser integravel.
5
A igualdade entre f e a sua serie de Fourier sera de grande utilidade em muitas aplicacoes. E.g. no
estudo de equacoes diferenciais, pois, como iremos ver, nessas circunstancias f

(x) = S

f
(x) =
P
f
k
(e
2ikx
)

=
P
2ikf
k
e
2ikx
.
7
Observa c ao 5.
Se f e contnua por tro cos, entao f L
2
([0, 1]).
Se f tem pontos de descontinuidade, entao S
f
nao pode convergir uniformemente (caso
contrario, pela Proposi cao 1.1 f teria que ser contnua). Ou seja, f nao pode ser igual
a S
f
em todos os pontos.
Exemplo 2.
1. Qualquer fun cao contnua e contnua por tro cos.
2.
f(x) =
_
1
x
, x ]0, 1]
1, x = 0
nao e contnua por tro cos.
3.
f(x) =
_

_
1, x = 1
1
n
,
1
n+1
x <
1
n
, n N
0, x = 0
nao e contnua por tro cos.
4. f(x) = nx [nx] com n N, e contnua por tro cos.
5. f(x) = sinal(x +
1
2
) e contnua por tro cos.
Deni cao 1.2. Uma fun cao f : [0, 1] R e diferenciavel por tro cos se f e f

sao contnuas
por tro cos
6
.
Exemplo 3.
1. As fun coes 4 e 5 no Exemplo 2 que sao contnuas por tro cos tambem sao diferenciaveis
por tro cos.
2.
f(x) =

1
4

_
x
1
2
_
2
, x [0, 1],
e contnua, mas nao diferenciavel por tro cos pois em ]0, 1[
f

(x) =

_
x
1
2
_
_
1
4

_
x
1
2
_
2
e lim
x0
+
f

(x) = +.
Teorema 1.3 (Fourier). Se f : [0, 1]
per
R e diferenci avel por tro cos, ent ao
S
f
(x) = lim
h0
+
f(x +h) +f(x h)
2
. (1.14)
A demonstra cao deste teorema baseia-se numa versao mais simples dada pelo lema seguinte.
6
Note que a derivada f

nao esta denida em todos os pontos, e.g. nos pontos onde f e descontnua.
8
Lema 1.4. Se h: [0, 1]
per
R e diferenci avel por tro cos e contnua em 0 com h(0) = 0, ent ao
S
h
(0) =

kZ
h
k
= 0, (1.15)
onde h
k
s ao os coecientes de Fourier de h.
Demonstra c ao. Considere a fun cao g: [0, 1] R dada por
g(x) =
_

_
h(x)
e
2ix
1
, x ]0, 1[
h

(0
+
)
2i
, x = 0
h

(1

)
2i
, x = 1.
Como h e contnua por tro cos, g e contnua por tro cos no intervalo ]0, 1[. Falta vericar o que
se passa nos extremos desse intervalo. Para isso calculamos
lim
x0
+
g(x) = lim
x0
+
h(x)
x
x
e
2ix
1
=
h

(0
+
)
2i
e lim
x1

g(x) =
h

(1

)
2i
,
onde usamos o facto que h e contnua em 0 e 1, e diferenciavel por tro cos, logo existem as
derivadas laterais de h em 0 e 1. Temos entao que g e contnua por tro cos em [0, 1], em
particular g L
2
([0, 1]). Note que g e periodica sse h e diferenciavel em 0.
Calculemos agora os coecientes de Fourier de h:
h
k
=
_
1
0
g(x)(e
2ix
1)e
2ikx
dx = g
k1
g
k
.
Entao,
n

k=m
h
k
= g
m1
g
n
.
Do facto de g L
2
([0, 1]), usamos o Lema 1.1 quando n, m +para demonstrar (1.15).
Demonstra c ao do Teorema 1.3. Vamos transformar a fun cao f numa outra h nas condi coes
do Lema 1.4. Para cada x
0
[0, 1] escolhemos
h(x) =
_
f(x +x
0
) +f(x +x
0
) [f(x
+
0
) +f(x

0
)], x , Z
0, x Z
que e diferenciavel por tro cos. Por outro lado,
lim
x0
h(x) = lim
x0
f(x +x
0
) +f(x +x
0
) [f(x
+
0
) +f(x

0
)] = 0,
i.e. h e contnua em 0, com h(0) = 0. Pelo Lema 1.4 temos que

kZ
h
k
= 0,
onde
h
k
=
_
1
0
h(x)e
2ikx
dx =
_
f
k
e
2ikx
0
+f
k
e
2ikx
0
, k ,= 0
2f
0
[f(x
+
0
) +f(x

0
)], k = 0,
onde f
k
sao os coecientes de Fourier de f. Isto implica que para x
0
[0, 1],
2f
0
[f(x
+
0
) +f(x

0
)] + 2

k=0
f
k
e
2ikx
0
= 0
que e a formula (1.14).
9
Exerccio 12. Escreva a serie de Fourier S
f
de
1. da fun c ao no exerccio 9
(a) usando o teorema de Fourier;
(b) para x =
1
4
, aproveitando para calcular a soma da serie de Leibniz:
+

n=1
(1)
n1
2n 1
.
2.
f(x) =
_
x, x [0, 1[
0, x = 1.
Exerccio 13. Mostre que se f L
1
([0, 1]) e e
1. par, ent ao
S
f
(x) = a
0
+
+

n=1
a
n
cos(2nx) com a
0
=
_
1
0
f(x) dx, a
n
= 2
_
1
0
f(x) cos(2nx) dx, n N;
2. mpar, ent ao
S
f
(x) =
+

n=1
b
n
sin(2nx) com b
n
= 2
_
1
0
f(x) sin(2nx) dx, n N.
Observa c ao 6.
Em 1966 Carleson provou o seguinte teorema: Se f L
2
([0, 1]), ent ao f = S
f
q.t.p.
A demonstra cao deste resultado feita por Carleson encontra-se fora do ambito destas
notas
7
(ver L. Carleson, On convergence and growth of partial sums of Fourier Series,
Acta Math. 116, 135-157 (1966)).
O resultado de Carleson nao pode ser melhorado em rela cao ao conjunto de pontos onde
a serie converge, como Kahane e Katznelson demonstraram: Seja E [0, 1] com medida
de Lebesgue nula. Ent ao existe f C
0
per
([0, 1]) tal que f ,= S
f
em E.
Hunt em 1967 demonstrou que L
2
([0, 1]) nao e o mais geral dos conjuntos de fun coes
cuja serie de Fourier converge q.t.p. De facto, ele provou que: Se f L
p
([0, 1]) com
p > 1, ent ao S
f
= f q.t.p. (ver R. A. Hunt, On the convergence of Fourier series,
orthogonal expansions and their continuous analogies, Proc. Conference at Edwardsville,
Ill. Southern Illinois Univ. Press, 235-255 (1967). O espa co L
p
([0, 1]) corresponde `as
fun coes tais que
_
[f[
p
< .
Anteriormente, nos anos 1920 Kolmogorov apresentou um exemplo de uma fun cao em
L
1
([0, 1]) cuja serie de Fourier e diferente da fun cao q.t.p.
7
Este teorema e uma das razoes pelas quais Lennart Carleson (1928-) recebeu o premio Abel em 2006
(http://www.abelprisen.no/en/prisvinnere/2006/marcus/index.html).
10
1.9 Corolario de Fourier
Observa c ao 7. Se f C
0
per
([0, 1]) e diferenciavel por tro cos, entao f

L
2
([0, 1]) L
1
([0, 1]).
Podemos assim calcular os coecientes de Fourier de f

:
f

k
=
_
1
0
f

(x)e
2ikx
dx =
_
f(x)e
2ikx
_
1
0
+ 2ik
_
1
0
f(x)e
2ikx
dx
= 2ikf
k
,
(1.16)
e a desigualdade de Bessel garante

[f

k
[
_
I
[f

[
2
.
Corolario 1.5 (Fourier). Se f C
0
per
([0, 1]) e diferenci avel por tro cos, ent ao S
f
converge
absoluta e uniformemente e f = S
f
.
Demonstra c ao. Pelo teorema de Fourier, S
f
converge pontualmente e S
f
= f, uma vez que
f e contnua e os limites laterais sao iguais `a fun cao em cada ponto. Resta provar que a
convergencia da serie de Fourier e uniforme e absoluta.
Considere os coecientes de Fourier de f

dados por (1.16). Assim, para k ,= 0,

f
k
e
2ikx

= [f
k
[ =
[f

k
[
2[k[
.
Basta entao provar que a serie de termo geral [f

k
[/[k[ e convergente. Ora, para cada k ,= 0,
temos que [f

k
[ 1/[k[ ou 1/[k[ [f

k
[. Assim obtemos a desigualdade
[f

k
[
[k[
[f

k
[
2
+
1
[k[
2
.
Como as series

k=0
[f

k
[
2

_
I
[f

[
2
e

k=0
1
[k[
2
sao convergentes, completamos a demonstra cao.
1.10 Fun coes denidas noutros intervalos e extensoes
Podemos usar os teorema e corolario de Fourier para fun coes mais gerais, viz. fun coes
g: [, ] R denidas num intervalo. Para isso basta considerar a fun c ao f : [0, 1] R
dada por
f(x) = g((1 x) +x).
Assim, S
g
(x) = S
f
((x )/( )) em [, ].
Exerccio 14. Mostre que para g: [, ] R absolutamente integr avel temos que
S
g
(x) =

kZ
g
k
e
2ik(x)/()
, x [, ],
onde os coecientes de Fourier de g s ao dados por
g
k
=
1

_

g(x)e
2ik(x)/()
dx.
11
Exerccio 15. Calcule a serie de Fourier das seguintes fun c oes f peri odicas e decida se
f = S
f
.
1.
f(x) =
_
L x, x [0, L]
L +x, x [L, 0]
com perodo 2L.
2. f(x) = x
2
para x [L, L] com perodo 2L. Mostre tambem que

nN
1
n
2
=

2
6
.
Nalgumas situa coes precisamos de extender uma dada fun cao g: [, ] R a um intervalo
maior de forma a termos um perodo T > . Temos entao que completar a fun cao para o
intervalo [, +T[. Assim, construmos a fun cao
g(x) =
_
g(x), x [, [
h(x), x [, +T[,
onde h e uma fun cao `a escolha. Se quiseremos que g seja contnua ou diferenciavel, outras
condi coes terao que ser impostas a h. Para estudar g denimos a fun cao
f(x) = g(x/T)
e determinamos a sua serie de Fourier. Logo
S
eg
(x) = S
f
(Tx).
Conforme a escolha de T e de h obteremos diferentes fun coes f, logo diferentes series de
Fourier.
Exerccio 16. Mostre que se f L
1
([, ]) e e
1. par, ent ao
S
f
(x) = a
0
+
+

n=1
a
n
cos
_
2n
x

_
com
a
0
=
1

_

f(x) dx, a
n
=
2

_

f(x) cos
_
2n
x

_
dx, n N;
2. mpar, ent ao
S
f
(x) =
+

n=1
b
n
sin
_
2n
x

_
com
b
n
=
2

_

f(x) sin
_
2n
x

_
dx, n N.
Exerccio 17.
12
1. Escreva g(x) = x para x [0, ] como uma serie de senos.
2. Escreva g(x) = x para x [0, ] como uma serie de cossenos.
Exerccio 18. Seja f L
1
([0, 1]) tal que f(0) = f(1).
1. Mostre que
S
f
(x) =

nN
f
n
sin(nx) com f
n
= 2(1)
n
_
1
0
f(x) sin(nx) dx.
2. Escreva a serie de Fourier de f como uma serie apenas de termos em cada uma das
seguintes formas:
sin(2nx), sin(nx/2), cos(2nx), cos(nx), cos(nx/2).
Sugest ao: Para cada caso use uma extens ao de f a um intervalo conveniente para cal-
cular os coecientes de Fourier de ordens par e mpar.
1.11 Integracao de series de Fourier
Teorema 1.5. Seja f : [0, 1]
per
R contnua por tro cos e sejam f
k
os coecientes de Fourier
de f. Ent ao,
1. a fun c ao
F(x) =
_
x
0
[f(t) f
0
]dt
e 1-peri odica e contnua, F

e contnua por tro cos e F = S

F
, e
2.
_
x
0
f(t)dt =

kZ
f
k
_
x
0
e
2ikt
dt.
Observa c ao 8. No teorema acima f nao e necessariamente igual `a sua serie de Fourier S
f
.
Demonstra c ao. Pela constru cao F e contnua, e pelo teorema fundamental do calculo, F

existe onde f e contnua, pelo que e diferenciavel por tro cos.

E tambem 1-periodica pois
F(x + 1) = F(x) +
_
1
x
[f(t) f
0
]dt +
_
1+x
1
[f(t) f
0
]dt
= F(x) +
_
1
0
[f(t) f
0
]dt = F(x).
Pelo teorema de Fourier F = S
F
.
Finalmente, os coecientes de Fourier de F sao, para k ,= 0,
F
k
=
_
1
0
F(x)e
2ikx
dx
=
_
F(x)e
2ikx
2ik
_
1
0
+
1
2ik
_
1
0
F

(x)e
2ikx
dx
=
1
2ik
_
1
0
[f(x) f
0
]e
2ikx
dx =
f
k
2ik
.
13
Por outro lado F(0) = 0 =

F
k
, logo
F
0
=

k=0
f
k
2ik
.
Entao,
_
x
0
f = f
0
x +F(x) = f
0
x +

kZ
F
k
e
2ikx
= f
0
x

k=0
f
k
2ik
+
f
k
e
2ikx
2ik
=
_
x
0
f
0
dt +

k=0
f
k
(e
2ikx
1)
2ik
=

kZ
f
k
_
x
0
e
2ikt
dt.
1.12 * Fenomeno de Gibbs
Quando pretendemos aproximar uma fun cao f por uma soma nita de fun coes trigonometricas
podemos considerar a soma parcial dos termos da sua serie de Fourier S
f
. Esta e de facto
uma boa aproxima cao para f contnua, sendo melhorada ao se considerarem mais termos da
serie. Porem, se f tem pontos de descontinuidade, mesmo tomando um n umero elevando de
termos, a aproxima cao nao e boa (como iremos ver de seguida para um exemplo concreto).
Neste caso existe sempre um erro na vizinhan ca dos pontos de descontinuidade de cerca de
8.9% do valor do salto da fun cao. Este facto e conhecido como o fen omeno de Gibbs.
Seja
f(x) =
_
x, x [0, 1[
0, x = 1.
A sua serie de Fourier e respectiva soma parcial sao dadas por:
S
f
(x) =
1
2

k=0
e
2ikx
2ik
, S
n
(x) =
1
2

0<|k|n
e
2ikx
2ik
.
Entao,
S
n
(x) =
1
2

0<|k|n
__
x
0
e
2ikt
dt +
1
2ik
_
=
1
2

_
x
0

0<|k|n
e
2ikt
dt.
14
Para calcular o valor da soma dentro do integral acima, temos que

0<|k|n
e
2ikt
=
n

k=1
(e
2it
)
n
+ (e
2it
)
n
= e
2it
1 e
2int
1 e
2it
+e
2it
1 e
2int
1 e
2it
= e
it
e
it
e
2i(n+
1
2
)t
e
it
+e
2i(n+
1
2
)t
e
it
(e
it
e
it
)
= 1 +
sin(2(n +
1
2
)t)
sin(t)
Assim,
S
n
(x) =
1
2
+x
_
x
0
sin(2(n +
1
2
)t)
t
dt +
_
x
0
sin(2(n +
1
2
)t)
_
1
t

1
sin(t)
_
dt
=
1
2
+x
_
2(n+
1
2
)x
0
sin t
t
dt +
_
x
0
H
n
(t) dt,
apos uma mudan ca de variavel e denindo
H
n
(t) =
_

_
sin(2(n +
1
2
)t)
_
1
t

1
sin(t)
_
, t ]0, 1[
0, t = 0
(2n + 1), t = 1.
Note que a fun cao G(y) =
_
y
0
sint
t
dt tem um maximo local em y = pois G

() = 0 e
G

() =
1
< 0. Podemos calcular esse valor numericamente, sendo aproximadamente
G()
_
1.08949
1
2
_
.
Exerccio 19.
1. Prove que a fun c ao integranda H
n
e contnua em [0, 1] e tem zeros em 0,

2n+1
, . . . ,
2n
2n+1
.
2. (*) Mostre que (t) =
1
t

1
sin(t)
e decrescente com (0
+
) = 0 e
M
n
= max
t[0,

2n+1
]
[H
n
(t)[

3
_

.
Finalmente, considerando o ponto x =
1
2n+1
, a soma parcial dos termos da serie de Fourier
e dada por
S
n
_
1
2n + 1
_
=
1
2
+
1
2n + 1

_

0
sint
t
dt +
_ 1
2n+1
0
H
n
(t)dt
0.08949 +
1
2n + 1
+
_ 1
2n+1
0
H
n
(t)dt
onde

_
1
2n+1
0
H
n
(t)dt

Mn
2n+1
. Sendo assim, para n sucientemente grande a soma S
n
(
1
2n+1
) e
aproximadamente igual a 0.08949. Tal difere substancialmente de S
f
(
1
2n+1
) =
1
2n+1
.
15
2 Aplicacao a edps
2.1 Equacoes diferenciais parciais a duas variaveis
Uma equa cao `as derivadas parciais ou equa cao diferencial parcial (edp
8
) e uma equa cao envol-
vento d variaveis independentes e derivadas parciais de uma fun cao u: U R onde U R
d
e um conjunto aberto e d 2.
Nestas notas estaremos interessados apenas no caso de duas variaveis, i.e. d = 2. Frequen-
temente escolhemos x (posi cao) e t (tempo) como as duas variaveis independentes. A fun cao
u: (x, t) u(x, t) sera entao denida em subconjuntos abertos de R
2
. De forma a simplicar
a escrita, utilizaremos frequentemente as seguintes notacoes:
u
x
=
u
x
, u
xx
=

2
u
x
2
, etc.
Exemplo 4.
1. Equa cao de Laplace: u
xx
+u
yy
= 0
2. Equa cao do calor
9
: u
xx
= u
t
3. Equa cao das ondas
10
: u
xx
= u
tt
4. Equa cao de Schrodinger: u
xx
= iu
t
+V (x)u, onde V e uma fun cao potencial
5. Equa cao de Korteweg-de Vries (KdV): u
xxx
= u
t
uu
x
6. Equa cao de transporte: u
x
= u
t
Exerccio 20. Em nancas a equa c ao de Black-Scholes em tempo contnuo modela o pre co
de op c oes V subjacentes a um derivado S que pode ser a cota c ao de uma determinada ac c ao
na bolsa:
V

+
1
2

2
S
2

2
V
S
2
= r
_
V S
V
S
_
,
com , r constantes.
1. Mostre que a equa c ao de Black-Scholes reduz-se a:
V
t
= V
xx
+ ( 1)V
x
V, =
2r

2
.
Sugestao: Use as transforma c oes de vari aveis S = e
x
e = 2t/
2
.
2. Mostre que o problema e equivalente ao da equa c ao do calor (equa c ao da difus ao).
Sugestao: Estude a fun c ao u(x, t) = V (x, t) exp
_
1
2
x +
_
+1
2
_
2
t
_
.
8
Em ingles a sigla e pde.
9
Esta edp foi originalmente estudada no problema de conducao do calor numa barra. Porem, posteriormente
a mesma equacao surge na descricao de outros fenomenos de difusao e.g. fsicos, biologicos ou mesmo economicos
(cf. http://policy.iop.org/v production/textonly/v4text.html).
10
A equacao das ondas modela uma serie de fenomenos fsicos (e.g. ondas numa superfcie lquida, a pro-
pagacao da luz). Alias, toda a materia e uma mistura de massa e onda. Fenomenos ondulatorios ou osci-
latorios aparecem em quase todas as areas do conhecimento como por exemplo demograa, theoretical spatial
economics, engenharia, astronomia, modelos nanceiros bolsistas, etc.
16
Exerccio 21. Na equa c ao de Schr odinger (pe ca fundamental na teoria qu antica das partculas)
[u(x, t)[
2
= u(x, t)u(x, t) corresponde ` a densidade de probabilidade de encontrar uma partcula
na posi c ao x R no instante t 0. Mostre que se a probabilidade est a inicialmente normali-
zada, i.e.
_
R
[u(x, 0)[
2
dx = 1, ent ao temos
_
R
[u(x, t)[
2
dx = 1 para todo t 0.
A ordem da edp corresponde `a maior ordem das derivadas parciais. Uma edp diz-se linear
se os termos dependentes de u sao-no linearmente. E.g. a equa cao de Schrodinger pode-se
escrever como
_
i

t
+

2
x
2
V (x)
_
u(x, t) = 0
sendo linear em rela cao a u.
Os exemplos acima sao lineares com excep cao da KdV, transporte e de 1
a
ordem, KdV de
3
a
, os restantes de 2
a
.
Resolver uma edp signica encontrar solu coes para a fun cao u, sendo para isso necessaria
alguma informa cao adicional. Os dados do problema poder ao ser:
valores iniciais u(x, 0), u
x
(x, 0),
valores fronteira u(0, t), u
x
(0, t),
u(0, 0) e u
t
(0, 0), etc.
Cada caso dene um problema diferente. Iremos estudar em detalhe alguns destes problemas
para algumas das edps apresentadas.
2.2 Equacao do calor
Seja
=]0, 1[R
+
R
2
. (2.1)
2.2.1 Condi c oes fronteira livres
Comecemos pelo seguinte problema de valores iniciais (pvi) para a fun cao u: R que
verique
_
u
xx
= u
t
, em
u(x, 0) = f(x), x [0, 1],
(2.2)
onde f : [0, 1] R e uma fun cao dada que assumimos diferenciavel por tro cos.
Observa c ao 9. Denimos u no fecho = (a fronteira e denotada por ), mas as suas
derivadas apenas poderao estar denidas no aberto . I.e. a edp apenas pode ser resolvida
num conjunto aberto.
Assumindo que uma solu cao existe para (2.2), vamos determinar a sua forma geral.
1. Visto que esperamos encontrar uma solu cao u que seja C
2
(), entao u sera igual `a sua
serie de Fourier com respeito `a primeira coordenada x em ]0, 1[:
u(x, t) =

kZ
u
k
(t)e
2ikx
, (x, t) , (2.3)
onde os coecientes de Fourier sao dependentes de t, i.e. u
k
: R
+
C dados por
u
k
(t) =
_
1
0
u(x, t)e
2ikx
dx.
17
2. Assumimos agora que a regularidade de u e tal que e valida a deriva cao termo a termo
da serie. Podemos entao reescrever a equa cao do calor da seguinte forma:
(2ik)
2
u
k
(t) =
d
dt
u
k
(t), k Z, t R
+
. (2.4)
Para cada k Z esta edo tem solu cao
u
k
(t) = u
k
(0) e
(2k)
2
t
, t R
+
.
3. Como f e diferenciavel por tro cos, pelo teorema de Fourier temos que nos pontos x
[0, 1] de continuidade de f:
u(x, 0) = f(x) = S
f
(x) =

kZ
f
k
e
2ikx
, (2.5)
onde f
k
sao os coecientes de Fourier de f. Assim, u
k
(0) = f
k
.
4. Encontramos uma candidata a solu cao
u(x, t) =

kZ
f
k
e
(2k)
2
t
e
2ikx
(2.6)
valida para x ]0, 1[ onde f e contnua.
O teorema seguinte demonstra que (2.6) e de facto uma solu cao de (2.2).
Teorema 2.1. Seja f : [0, 1] R diferenci avel por tro cos. Ent ao, u denida por (2.6) con-
verge uniformemente em (x, t) : t a com a > 0, e de classe C

() e e soluc ao do
pvif (2.2).
Observa c ao 10.
Apesar da condi cao inicial f para t = 0 ser apenas diferenciavel por tro cos, a solu cao u e
C

para t > 0. O simples evoluir do sistema no tempo regulariza as fun c oes envolvidas.
Se tambem temos que f C
0
per
([0, 1]), entao f = S
f
e u C
0
().
Demonstra c ao. A serie em (2.6) converge uniformemente para t a pois
sup
t>a

f
k
e
(2k)
2
t
e
2ikx

[f
k
[e
(2k)
2
a
Me
(2k)
2
a
com [f
k
[ M. A serie

kZ
e
(2k)
2
a
converge pois e majorada por um m ultiplo de

nN
e
2na
=
e
2a
1 e
2a
.
Pela convergencia uniforme e a Proposi cao 1.1 temos que u e contnua para t > 0.
Resta determinar a diferenciabilidade de u em . Para isso, observe que para , m N e
t a existem constantes positivas C
1
, C
2
tal que

+m
x

t
m
_
f
k
e
(2k)
2
t
e
2ikx
_

[f
k
[ (2k)
+2m
e
(2k)
2
t
C
1
Me
C
2
k
2
.
18
Logo, a serie das derivadas

nN

+m
x

t
m
_
b
n
e
(2k)
2
t
e
2ikx
_
converge uniformemente em [a, b] [t
0
, t
1
] para quaisquer 0 < a < b < 1 e 0 < t
0
< t
1
.
Podemos assim usar a Proposi cao 1.3 que nos garante que u C

().
Finalmente, e simples vericar que (2.6) satisfaz (2.2).
Exerccio 22. Sendo u a solu c ao do pvi da equa c ao do calor com condi c oes fronteira livres e
f diferenci avel por tro cos, calcule lim
t+
u(x, t).
Teorema 2.2 (Princpio do maximo). Seja u C
2
() C
0
() e T > 0. Se u
xx
u
t
em ,
ent ao
M = sup
(x,t),tT
u(x, t) max
(x,t),tT
u(x, t) = m. (2.7)
Demonstra c ao. Seja
T
=]0, 1[]0, T]. Suponha M > m e considere o ponto (x
0
, t
0
)
T
tal
que u(x
0
, t
0
) = M. Dena a seguinte fun cao v:
T
R dada por
v(x, t) = u(x, t) +(x x
0
)
2
onde 0 < < Mm. Logo, v tem maximo em algum (x
1
, t
1
)
T
pois v(x
0
, t
0
) = u(x
0
, t
0
) =
M e
max
(x,t),tT
v(x, t) m+.1 < M.
Para alem disso, porque v tem maximo em (x
1
, t
1
)
T
,
v
xx
(x
1
, t
1
) 0, v
t
(x
1
, t
1
) = 0 (v
xx
v
t
)(x
1
, t
1
) 0. (2.8)
Finalmente, temos que
0 (v
xx
v
t
)(x, t) = (u
xx
u
t
)(x, t) + 2 > (u
xx
u
t
)(x, t), (x, t) ,
o que implica u
xx
< u
t
.
Exerccio 23. Enuncie e demonstre o princpio do mnimo.
Exerccio 24. Mostre que a soluc ao (2.10) e unica para f contnua.
Sugestao: Use os princpios do m aximo e do mnimo.
2.2.2 Condi c oes fronteira xas
Considere agora o seguinte problema de valores iniciais e fronteira (pvif)
11
:
_

_
u
xx
= u
t
, em
u(0, t) = u(1, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1],
(2.9)
onde f : [0, 1] R e uma fun cao dada diferenciavel por tro cos com f(0) = f(1) = 0.
11
Se u for a funcao temperatura medida no instante t em cada ponto x de uma barra, f corresponde `a
temperatura inicial da barra, cujos extremos estao `a temperatura constante zero (por exemplo mergulhando os
extremos em agua gelada).
19
Observa c ao 11.
Note que podemos considerar problemas com f(0) ,= u(0, t) e f(1) ,= u(1, t). Porem, tal
provoca diculdades em rela cao `a regularidade de u em (0, t) e (1, t).
O caso geral f(0) = e f(1) = e tratado no exerccio 27.
Assumindo que uma solu cao u existe para (2.9), vamos determinar a sua forma geral. O
procedimento e semelhante ao caso das condi coes livres. Apenas temos de garantir que a
solu cao verica a condi cao fronteira u(0, t) = u(1, t) = 0. Nestas condi coes (ver Exerccio 17)
podemos escrever a serie de Fourier de u relativamente `a coordenada x como uma serie de
senos:
u(x, t) =

nN
u
n
(t) sin(nx).
Para tal, come camos por faze-lo para a condi cao inicial f. Como f(0) = f(1) = 0, em [0, 1]
temos
S
f
(x) =

nN
b
n
sin(nx), b
n
= 2(1)
n
_
1
0
f(x) sin(nx) dx.
Observa c ao 12. Se f e mpar, entao a serie de Fourier pode ser escrita como uma serie de
senos na forma sin(2nx), i.e. nao seria necessario considerar a extensao a outro intervalo.
Como para o caso das condi coes fronteira livres, a equa cao do calor implica que u

n
=
(n)
2
u
n
. Logo,
u
n
(t) = e
(n)
2
t
u
n
(0) com u
n
(0) = b
n
.
O teorema seguinte demonstra que
u(x, t) =

nN
b
n
e
(n)
2
t
sin(nx) (2.10)
e de facto a solu cao de (2.9).
Teorema 2.3. Seja f : [0, 1] R diferenci avel por tro cos e tal que f(0) = f(1) = 0. Ent ao,
u denida por (2.10) converge uniformemente em (x, t) : t a com a > 0, e de classe
C

() e e a unica soluc ao do pvif (2.9).

Observa c ao 13.
Note que lim
t+
u(x, t) = 0.
Apesar da condi cao inicial f para t = 0 ser apenas diferenciavel por tro cos, a solu cao u e
C

para t > 0. O simples evoluir do sistema no tempo regulariza as fun c oes envolvidas.
Se f C
0
per
([0, 1]), entao f = S
f
e u C
0
().
Exerccio 25. Demonstre o teorema acima de existencia e unicidade da soluc ao.
Sugest ao: Compare com a demonstra c ao equivalente para o problema de fronteira livre.
Exerccio 26. Seja > 0 uma constante (condutividade termica). Estude os pvif s seguintes:
20
1.
_

_
u
xx
= u
t
, em ]0, 1[R
+
u(0, t) = u(1, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1],
com f(x) =
1
2

x
1
2

.
2.
_

_
u
xx
= u
t
, em ]0, 1[R
+
u
x
(0
+
, t) = u
x
(1

, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1],
onde
f(x) =
_
1, x [
1
3
,
2
3
]
0, c.c.
3.
_

_
u
xx
= u
t
, em ]0, 1[R
+
u(0, t) = u
x
(1

, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1],
onde f e diferenci avel por tro cos e f(0) = 0 = f

(1

).
Exerccio 27. Encontre uma soluc ao do pvif:
_

_
u
xx
= u
t
, em ]0, 1[R
+
u(0, t) = , t R
+
u(1, t) = , t R
+
u(x, 0) = f(x), x [0, 1],
onde , R, > 0 e f C
0
per
([0, 1]) e diferenci avel por tro cos, f(0) = e f(1) = .
Sugestao: Considere a fun c ao w(x, t) = u(x, t) ( )x, e escreva o seu pvif.
2.3 Equacao das ondas
A solu cao geral da equa cao das ondas pode ser obtida de uma forma simples. Basta para isso
notar que:
se u C
2
() para um aberto R
2
, entao a seguinte fun cao v tambem e C
2
,
v(, ) = v(x +t, x t) = u(x, t),
onde (, ) = (x +t, x t) e uma mudan ca de variaveis;
se u verica a equa cao das ondas u
xx
= u
tt
, entao
v

=
1
4
(u
xx
u
tt
) = 0;
21
isto implica que
v(, ) = () +()
para algum par de fun coes e . Finalmente,
u(x, t) = (x +t) +(x t). (2.11)
Observa c ao 14. Atraves de uma transforma cao linear do tempo = t/c, a equa cao das
ondas escreve-se u

= c
2
u
xx
. Isto corresponde a uma reparametriza cao do tempo envolvendo
as propriedades do material de que e feito o meio onde as ondas se propagam (viz. a velocidade
de propaga cao c).
2.3.1 Equa cao das ondas em R
Queremos agora considerar
= R R
+
e o pvi
12
_

_
u
xx
= u
tt
, em
u(x, 0) = f(x), x R
u
t
(x, 0
+
) = g(x), x R,
(2.12)
onde f C
2
(R) e g C
1
(R) sao as condi coes iniciais.
Vamos usar a formula geral (2.11) para determinar uma candidata a solu cao do pvi (2.12).
Usando as condi coes iniciais:
_
(x) +(x) = f(x)

(x)

(x) = g(x)

_
(x) +(x) = f(x)
(x) (x) =
_
x
0
g(s)ds +K,
onde K e uma constante. Resolvendo o sistema acima, obtemos as fun coes e :
u(x, t) =
f(x +t) +f(x t)
2
+
1
2
_
x+t
xt
g(s)ds (2.13)
conhecida como solu cao de DAlembert.
Teorema 2.1 (DAlembert). Se f C
2
(R) e g C
1
(R), ent ao a soluc ao de DAlembert
(2.13) e solu c ao do pvi (2.12) e u C
2
() C
0
().
Exerccio 28. Prove o Teorema 2.1.
Exerccio 29. Usando (2.11) mostre que a soluc ao de DAlembert e a unica soluc ao do pvi
(2.12).
12
Este caso corresponde a uma corda innita (e.g. propagacao de ondas unidimensionais numa bra optica
ou num canal sucientemente grandes para que os efeitos dos extremos sejam desprezaveis).
22
2.3.2 Equa cao das ondas em [0, 1]
Considerando
=]0, 1[R
+
,
queremos determinar as solu coes do seguinte pvif
13
_

_
u
xx
= u
tt
, em
u(0, t) = u(1, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1]
u
t
(x, 0
+
) = g(x), x [0, 1],
(2.14)
onde f e g sao fun coes [0, 1] R dadas.
Estamos `a procura de solu coes que sejam contnuas em e que tenham segundas derivadas
em . Para que isso aconte ca iremos assumir alguma regularidade para as condi coes fronteira
f e g. Por enquanto consideramos apenas que f C
2
([0, 1]) e g C
1
([0, 1]) tais que
f(0) = f(1) = g(0) = g(1) = 0.
Logo, escrevemos as respectivas series de Fourier como series de senos:
u(x, 0) = f(x) = S
f
(x) =

nN
f
n
sin(nx) e u
t
(x, 0) = g(x) = S
g
(x) =

nN
g
n
sin(nx),
(2.15)
onde
f
n
= 2(1)
n
_
1
0
f(x) sin(nx) dx, g
n
= 2(1)
n
_
1
0
g(x) sin(nx) dx.
Exerccio 30. Sejam f C
2
([0, 1]) e g C
1
([0, 1]) tais que f

, g

L
2
([0, 1]),
f(0) = f(1) = g(0) = g(1) = 0, f

(0) = f

(1) e g

(0) = g

(1).
Mostre que existe C > 0 tal que
[f
n
[ C
[f

n
[
n
3
e [g
n
[ C
[g

n
[
n
2
,
onde f

n
e g

n
s ao os coecientes de Fourier de f

e g

, respectivamente.
Sugestao: Escreva os coecientes de Fourier para as extens oes mpares de f e g, usando
integra c ao por partes.
Pelas condi coes fronteira, procedendo como na sec cao 2.2, tomamos u na forma de serie
de Fourier em rela cao `a variavel x:
u(x, t) =

nN
u
n
(t) sin(nx), (x, t) .
Podemos extender esta serie aos pontos t = 0 tendo em conta as condi coes iniciais (2.15),
determinando u
n
(0) = f
n
e u

n
(0
+
) = g
n
.
13
A funcao u pode representar a posicao vertical de uma corda (e.g. de uma guitarra ou piano) na posicao x
e instante t. Entao f e o deslocamento inicial dessa corda (no momento em que se solta) cujos extremos estao
xos (nos pentes da guitarra). Alem disso, g sera a velocidade inicial (o modo como a corda e dedilhada ou
martelada).
23
Supondo que u e sucientemente regular, podemos diferenciar a serie de Fourier termo a
termo. Logo, do pvif (2.14) obtemos
(in)
2
u
n
(t) = u

n
(t), n N, t R
+
, (2.16)
que representa para cada n uma edo linear de 2
a
ordem. Esta edo pode ser escrita na forma
matricial:
U

n
= A
n
U
n
, (2.17)
onde
A
n
=
_
0 (n)
2
1 0
_
e U
n
=
_
u

n
u
n
_
.
A solu cao de (2.17) e
U
n
(t) = e
tAn
U
n
(0)
onde U
n
(0) ja e conhecido, faltando calcular a exponencial da matriz tA
n
. Para isso determi-
namos os valores proprios
n
de A
n
e os respectivos vectores proprios v
n
R
2
0:

n
= in e v
n
= (in, 1).
Podemos entao diagonalizar A
k
para k ,= 0 na forma
A
n
= S
_
in 0
0 in
_
S
1
, onde S =
_
in in
1 1
_
.
Logo,
e
tAn
=S
_
e
int
0
0 e
int
_
S
1
=
_
cos(nt) nsin(nt)
1
n
sin(nt) cos(nt)
_
.
Finalmente,
u
n
(t) = u

n
(0)
1
n
sin(nt) +u
n
(0) cos(nt). (2.18)
Assim,
u(x, t) =

nN
_
g
n
n
sin(nt) +f
n
cos(nt)
_
sin(nx)
=

nN

_
g
n
4n
+
if
n
4
_
e
in(x+t)

_
g
n
4n

if
n
4
_
e
in(x+t)
+
+
_
g
n
4n

if
n
4
_
e
in(xt)
+
_
g
n
4n
+
if
n
4
_
e
in(xt)
.
(2.19)
Repare na forma da solu cao geral das ondas: u(x, t) = (x +t) +(x t). A fun cao acima e
a candidata a solu cao do pvif.
Teorema 2.4. Sejam f C
2
([0, 1]) e g C
1
([0, 1]) tais que f

, g

L
2
([0, 1]),
f(0) = f(1) = g(0) = g(1) = 0, f

(0) = f

(1) e g

(0) = g

(1).
Ent ao, u denida por (2.19) converge uniformemente em , u C
2
() C
0
() e e soluc ao
do pvif (2.14).
24
Demonstra c ao. Pelo facto de f e g serem ambas de classe C
1
, temos que as suas series de
Fourier convergem absoluta e uniformemente. A serie em (2.19) converge uniformemente pois
os seus termos sao majorados por [g
n
[ +[f
n
[ cuja serie e convergente. Logo u e C
0
em .
Usando os resultados do Exerccio 30,
n
2
[f
n
[
[f

n
[
n
[f

n
[
2
+
1
n
2
e n[g
n
[
[g

n
[
n
[g

n
[
2
+
1
n
2
e a desigualdade de Bessel para f

e g

, temos que

n
2
[f
n
[ < e

n[g
n
[ < .
Isto implica que a serie cujos termos sao o modulo da primeira derivada dos termos de u:

s
_
g
n
n
sin(nx) sin(nt) +f
n
sin(nx) cos(nt)
_

[g
n
[ +n[f
n
[,
onde s = x ou t, converge uniformemente. O que signica, pela Proposi cao 1.3, que u C
1
().
A mesma ideia pode ser aplicada para a segunda derivada. De facto,

2
sr
_
g
n
n
sin(nx) sin(nt) +f
n
sin(nx) cos(nt)
_

n[g
n
[ + (n)
2
[f
n
[,
onde s, r = x ou t, converge uniformemente. Logo u C
2
().
Finalmente, e simples vericar que u verica (2.14).
Observa c ao 15. Note que a solu cao (2.19) pode ser escrita na forma u(x, t) = (x + t) +
(x t).
Teorema 2.5 (Unicidade de solu cao). A soluc ao do pvif (2.14) dada pelo Teorema 2.4 e
unica.
Demonstra c ao. Suponha que temos duas solu coes u
1
e u
2
. Entao u = u
1
u
2
C
2
()C
0
()
e solu cao do seguinte pvif:
_

_
u
xx
= u
tt
, em
u(0, t) = u(1, t) = 0, t R
+
u(x, 0) = 0, x [0, 1]
u
t
(x, 0
+
) = 0, x [0, 1].
(2.20)
Queremos entao provar que u = 0 em .
Observe que temos as seguintes igualdades:
_
1
0
u
xx
u
t
dx = [u
x
u
t
]
1
0

_
1
0
u
x
u
tx
dx =
1
2
_
1
0
(u
2
x
)
t
dx
_
1
0
u
tt
u
t
dx =
1
2
_
1
0
(u
2
t
)
t
dx.
Como u
xx
= u
tt
, as duas expressoes acima sao iguais, i.e.
d
dt
_
1
0
(u
2
x
+u
2
t
)dx = 0.
25
Temos entao que a fun cao energia e constante:
E(t) =
_
1
0
(u
2
x
+u
2
t
)(x, t)dx.
Em particular, por termos u(x, 0) = 0 logo u
x
(x, 0) = 0,
E(0) =
_
1
0
(u
2
x
+u
2
t
)(x, 0)dx = 0.
Assim,
E(t) =
_
1
0
(u
2
x
+u
2
t
)(x, t)dx = E(0) = 0
e u
t
= u
x
= 0 em . Ou seja, u e constante em . Como u e contnua em , pelas condi coes
fronteira obtemos u = 0.
Exerccio 31. Sejam c, > 0. Resolva o problema:
_

_
cu
xx
= u
tt
+ 2u
t
, em ]0, 1[R
+
u(0, t) = u(1, t) = 0, t R
+
u(x, 0) = f(x), x [0, 1]
u
t
(x, 0
+
) = g(x), x [0, 1],
onde f C
2
e g C
1
.
2.4 Equacao de Laplace
A equa cao de Laplace para uma fun cao u: R onde R
2
, e a equa cao diferencial parcial
u
xx
+u
yy
= 0.
Esta pode ser reescrita como u = 0,
2
u = 0 ou tr(D
2
u) = 0, onde =
2
=

2
x
2
+

2
y
2
e o
chamado operador laplaciano. As solu coes da equa cao de Laplace sao conhecidas como fun coes
harmonicas. Recorde que se uma fun cao complexa na forma f(x + iy) = u(x, y) + iv(x, y) e
analtica entao u e v sao harmonicas.
Neste contexto pretendemos solucionar o problema de Dirichlet, i.e. o problema de
encontrar uma fun cao harmonica numa regiao tal que na fronteira seja igual a uma
fun cao dada. Simbolicamente, pretendemos determinar u C
2
() C
0
() tal que
_
u
xx
+u
yy
= 0 em
u[

= f
onde f : R e a condi cao fronteira.
Para uma regiao arbitraria este problema e de difcil resolu cao. Iremo-nos restringir a
casos onde o metodo de Fourier se pode aplicar.
26
2.4.1 Problema de Dirichlet num rectangulo
Considere
=]0, 1[]0, 1[.
Iremos estudar o seguinte pvf (problema de Dirichlet):
_

_
u
xx
+u
yy
= 0, em
u(x, 0) = f(x), x [0, 1]
u(x, 1) = 0, x [0, 1]
u(0, y) = u(1, y) = 0, y [0, 1],
(2.21)
onde f C
3
([0, 1]) com f(0) = f(1) = 0.
Seguiremos o procedimento das sec coes anteriores. Assumimos que u e dada pela sua serie
de Fourier em rela cao `a coordenada x. Como u(0, y) = u(1, y) = 0,
u(x, y) =

nN
u
n
(y) sin(nx), (x, y) .
Extendendo esta serie aos pontos y = 0 e y = 1, usamos as condi coes fronteira
u(x, 0) = f(x) =

nN
f
n
sin(nx), f
n
= 2(1)
n
_
1
0
f(x) sin(nx) dx,
para obter u
n
(0) = f
n
e u
n
(1) = 0.
Se u e sucientemente diferenciavel, a equa cao de Laplace implica que
(in)
2
u
n
(y) +u

n
(y) = 0, n N, y [0, 1].
Para cada n temos uma edo linear de 2
a
ordem (diferente da obtida em (2.16) para a equa cao
das ondas).
A solu cao para pode ser determinada usando a representa cao matricial:
U

n
= A
n
U
n
, (2.22)
onde
A
n
=
_
0 (n)
2
1 0
_
e U
n
=
_
u

n
u
n
_
.
Como os valores proprios de A
n
sao n, obtemos a solu cao de (2.22) dada por:
U
n
(y) =
_
u

n
(y)
u
n
(y)
_
= S
_
e
ny
0
0 e
ny
_
S
1
.
Como
S =
_
n n
1 1
_
,
chegamos `a solu cao geral,
u
n
(y) =
u

n
(0)
n
sinh(ny) +u
n
(0) cosh(ny).
27
Usando u
n
(1) = 0, temos que
u

n
(0) = nu
n
(0) coth(n).
Logo,
u(x, y) =

nN
u
n
(0) [coth(n) sinh(ny) cosh(ny)] sin(nx)
=

nN
f
n
sinh(n(y 1))
cosh(n)
sin(nx).
(2.23)
Teorema 2.6. Seja f C
3
([0, 1]) tal que f(0) = f(1) = 0. Ent ao, u denida por (2.23)
converge uniformemente em , u C
2
() C
0
() e e soluc ao do problema de Dirichlet
(2.21).
Exerccio 32. Prove o Teorema 2.6.
Exerccio 33. Mostre que a soluc ao obtida acima e unica.
Sugestao: Recorde o princpio do m aximo (Teorema (2.2)).
Agradecimentos
Agrade co `as turmas 3
o
ano MAEG 2005/06 e 2006/07, em particular a Paulo Lopes, Marisa
Morais, Mariana Santos, Liliana Cardoso e Pedro Gon calves, pela ajuda na correc cao de
versoes anteriores deste texto.
Referencias
[1] D. Figueiredo An alise de Fourier e equa c oes diferenciais parciais. Projeto Euclides,
IMPA, 1977.
[2] R. Iorio Jr. e V. de Magalhaes Iorio. Equac oes diferenciais parciais: uma introduc ao.
Projecto Euclides, IMPA, 1988.
[3] A. Vretblad. Fourier analysis and its applications. Graduate texts in Mathematics 223,
Springer, 2003.
28