Sie sind auf Seite 1von 136

Equacoes Diferenciais B

Prof. Paulo Cupertino de Lima


Departamento de Matematica - UFMG

Conte
udo
1 S
eries de Fourier

1.1

Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Funcoes periodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Funcoes contnuas por partes e funcoes suaves por partes . . . . . . . . . . . . . . . .

1.4

Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5
1.6

O Teorema de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Series de Fourier de Funcoes Pares e de Funcoes Impares . . . . . . . . . . . . . . . . 14

1.7

Calculo de Algumas Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.8

Series de Fourier de funcoes denidas num intervalo nito . . . . . . . . . . . . . . . 17

1.9

Derivacao e Integracao de Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . 24

1.10 Series de Fourier Complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26


1.11 A desigualdade de Parseval e o Lemma de Riemann-Lebesque . . . . . . . . . . . . . 28
1.12 Demonstracao do Teorema de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.13 Exerccios propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2 Equa
c
oes Diferenciais Parciais

36

2.1

Um pouco sobre equacoes diferenciais ordinarias . . . . . . . . . . . . . . . . . . . . 36

2.2

O que e uma equacao diferencial parcial? . . . . . . . . . . . . . . . . . . . . . . . . 39

2.3

Classicacao de Equacoes Diferenciais Parciais . . . . . . . . . . . . . . . . . . . . . 39

2.4

O Metodo de Separacao de Variaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

2.5

A equacao do calor em uma dimensao espacial . . . . . . . . . . . . . . . . . . . . . 42


2.5.1

Condicoes de Fronteira da Equacao do Calor . . . . . . . . . . . . . . . . . . 43

2.5.2

Barra com extremidades mantidas `a 0o C . . . . . . . . . . . . . . . . . . . . 44

2.5.3

Barra isolada termicamente tambem nas extremidades . . . . . . . . . . . . . 48

2.5.4

Barra com uma extremidade isolada e a outra mantida a 0o C . . . . . . . . . 51

2.5.5

Condicoes de fronteira nao-homogeneas . . . . . . . . . . . . . . . . . . . . . 53

2.5.6

Unicidade da equacao do calor . . . . . . . . . . . . . . . . . . . . . . . . . . 56

2.5.7

Apendice equacao de calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

2.6

Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

2.7

Trabalhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

2.8

A Equacao da Onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.8.1

A Corda nita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2

2.9

2.8.2

Condicoes de fronteira . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

2.8.3

A corda vibrante com extremidades xas . . . . . . . . . . . . . . . . . . . . 65

2.8.4

A Corda innita e a Formula de DAlembert . . . . . . . . . . . . . . . . . . 74

Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

2.10 A Equacao de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81


2.10.1 O Problema de Dirichlet no retangulo . . . . . . . . . . . . . . . . . . . . . . 85
2.10.2 O Problema de Dirichlet no disco . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.10.3 O Princpio do Maximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3 Transformada de Fourier

96

3.1

Transformadas de Fourier das funcoes cos(x2 ) e sen(x2 ) . . . . . . . . . . . . . . . . 110

3.2

As transformadas seno e cosseno de Fourier . . . . . . . . . . . . . . . . . . . . . . . 112

3.3

Aplicacoes da transformada de Fourier `as resolucoes de equacoes diferenciais parciais 114

3.4

A losoa da transformada de Fourier em equacoes diferenciais parciais . . . . . . . 121

3.5

Exerccios: resolucao de equacoes diferenciais parciais . . . . . . . . . . . . . . . . . 124

4 Ap
endice

127

4.1

Trocando a ordem da derivacao e da integracao em transformada de Fourier . . . . . 127

4.2

Lema de Riemann-Lebesgue para Integral e transformada de Fourier . . . . . . . . . 129

4.3

Prova do Teorema da Integral de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 131

5 Ap
endice - Dedu
c
ao das Equa
c
oes de Calor e da Onda

132

5.1

Equacao da Onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132

5.2

Equacao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

Introduc
ao

Este texto tem como objetivo atender `a disciplina de Equacoes Diferenciais B, na qual sao
introduzidos os importantes conceitos de series de Fourier, transformada de Fourier e equac
oes
diferenciais parciais.
Na Secao 1 fazemos uma revisao de funcoes periodicas, introduzimos os conceitos de func
oes
continuas por partes e de funcoes suaves por partes. Introduzimos o conceito de ortogonalidade
de funcoes e denimos a serie de Fourier de uma funcao. Provamos a desigualdade de Bessel e a
partir dela provamos o Lemma de Riemann-Lebesque, o qual usamos na demonstracao do principal
resultado desta secao, o Teorema de Fourier sobre convergencia pontual de series de Fourier de
funcoes periodicas e suaves por partes. Vemos varios exemplos de calculos de series de Fourier
e usando o Teorema de Fourier, calculamos explicitamente a soma de algumas series numericas
importantes. Introduzimos os conceitos de extensoes periodicas par e mpar de funcoes denidas
num intervalo da forma [0, L], bem como outras extensoes que precisaremos nas aplicacoes da sec
ao
seguinte.
Na Secao 2 falamos um pouco sobre as equacoes diferenciais ordinarias, uma vez que o seu
conhecimento nao e pressuposto para se fazer este curso. Introduziremos as equacoes do calor e
de onda unidimensionais para uma regiao nita, L, deniremos diferentes condicoes de contorno
e usaremos o metodo da separacao de variaveis na resolucao das mesmas. Tambem consideramos
a equacao da onda para uma corda innita e obteremos a formula de DAlembert que nos da
explicitamente a solucao em termos da forma e velocidades iniciais da onda. Ainda nesta sec
ao
introduzimos a equacao de Laplace e o Princpio de Maximo e consideramos o problema de Dirichlet
para o retangulo e para o disco.
Na Secao 3, introduziremos o conceito de transformada de Fourier, suas propriedades e a
aplicamos na resolucao de varios problemas.
Secao 5, que e um apendice, deduziremos as equacoes de calor e da onda a partir de primeiros
princpios, ou seja, a partir da Segunda Lei de Newton e da Lei de Fourier, respectivamente.

S
eries de Fourier

1.1

Introduc
ao

O matematico e fsico frances Jean Baptiste Joseph Fourier (17681830) formulou um problema
de uxo de calor em termos de equacoes diferenciais parciais e, na sua tentativa de resolve-las, ele
foi levado ao problema matematico de expandir uma funcao em series envolvendo senos e cossenos.
Tais series sao hoje chamadas de series de Fourier. Elas sao muito importantes sob o ponto de vista
matematico e por suas aplicacoes em problemas fsicos, por isso as estudaremos neste captulo. As
suas aplicacoes `as equacoes diferenciais serao dadas nos captulos seguintes.

1.2

Funco
es peri
odicas

ao f : R R e peri
odica de perodo T = 0, se
Defini
c
ao 1.1 Dizemos que uma func
f (x + T ) = f (x),
para todo x.
oes sen (nx) e cos(nx) s
ao peri
odicas de perodos 2/n. As func
oes tg x e
Exemplo 1.1 As func
cotg x s
ao peri
odicas de perodo .
Observa
c
ao 1.1 Se T e um perodo de f , kT , onde k = 0 e um inteiro tambem e um perodo.
Todavia, quando nos referimos ao perodo de uma func
ao estaremos considerando o seu perodo
fundamental, ou seja, o menor valor de T > 0, tal que f (x + T ) = f (x), para todo x.
Exerccio 1.1 A partir da denic
ao da derivada, mostre que se f e deriv
avel e peri
odica, ent
ao,
f tambem e peri
odica.
ao peri
odica, n
ao e necessariamente uma func
ao peri
odica:
Exemplo 1.2 A integral de uma func
x
Se f (x + T ) = f (x) para todo x, ent
ao a func
ao F (x) = a f (y)dy, satisfaz F (x + T ) = F (x) se, e
T
somente se, 0 f (y)dy = 0. De fato,

F (x + T ) F (x) =

x+T

f (y)dy =
x

f (y)dy.
0

1.3

Funco
es contnuas por partes e func
oes suaves por partes

Defini
c
ao 1.2 Dizemos que uma func
ao f na var
avel x e seccionalmente contnua (ou
contnua por partes) na reta se ela tiver no m
aximo um n
umero nito de descontinuidades (todas
de primeira especie, ou seja, os limites laterais s
ao nitos em cada ponto de descontinuidade,
veja Figura (1)) em qualquer intervalo limitado.

Em outras palavras, dados a < b, existem

a a1 a2 . . . an = b, tais que f e contnua em cada intervalo aberto (aj , aj+1 ),


j = 1, 2, . . . , n 1 e existem os limites
f (aj + 0) = lim f (x)
xa+
j

f (aj 0) = lim f (x).

xa
j

Toda funcao contnua e seccionalmente contnua.

Figura 1: f tem uma descontinuidade de primeira especie em x.

Exemplo 1.3 A func


ao denida como

1,
1
f (x) =
n+1 , se

0,

se x 1,
1
n+1

x < n1 , n = 1, 2, . . .,
se x 0,

n
ao e seccionalmente contnua: apesar de todas as suas descontinuidades serem de primeira especie,
existem um n
umero innito das mesmas no intervalo (0, 1).
Exemplo 1.4 Alguns exemplos de func
oes seccionalmente contnuas.

(a) f (x) = [x], onde [x] e a parte inteira de x, veja Figura 2.

-10

-5

10

-5

Figura 2: Gr
aco da func
ao parte inteira de x, ela e descontnua nos n
umeros inteiros diferentes
de zero e nestes os limites laterais existem.
(b)

1, se 0 x < ,
f (x) =
0, se x < 0,
f (x + 2) = f (x).
1
0.8
0.6
0.4
0.2
-15 -10

-5

10

15

Figura 3: Gr
aco da funca
o peri
odica dada no item (b).

(c) f (x) = |x|, se |x| 1 e f (x + 2) = f (x).


1
0.8
0.6
0.4
0.2
-7.5

-5

-2.5

2.5

7.5

Figura 4: Gr
aco da func
ao peri
odica dada no item (c).

Defini
c
ao 1.3 Dizemos que uma func
ao f : R R e seccionalmente diferenci
avel (ou
deriv
avel por partes) se ela e a sua derivada forem seccionalmente contnuas. Note que f n
ao
existir
a onde f for descontnua.
Embora tenhamos introduzido os conceitos de continuidade e diferenciabilidade por partes para
funcoes denidas em toda a reta real, podemos introduz-los de maneira natural para func
oes
denidas num intervalo nito [a, b] qualquer. Em particular, dizemos que f e contnua por partes
em [a, b], se f tiver no maximo um n
umero nito de descontinuidades em [a, b], todas de primeira
especie.
ao f e
Exerccio 1.2 Mostre que se f e contnua por partes em [L, L], onde 0 < L < , ent
limitada em [L, L]. Em particular, f (x), |f (x)| e f 2 (x) s
ao (Riemann) integr
aveis em [L, L].
Observa
c
ao 1.2 Se f e seccionalmente deriv
avel, ent
ao para todo x,
lim

f (x + t) f (x+ )
= f (x+ ) = lim f (x + t)
t
t0+

lim

f (x + t) f (x )
= f (x ) = lim f (x + t).
t
t0

t0+

e
t0

1.4

Ortogonalidade

Exerccio 1.3 Nesta e na pr


oxima sec
ao em v
arias situac
oes teremos que calcular integrais de
funco
es do tipo sen ax sen bx, sen ax cos bx, cos ax cos bx. Para calcul
a-las, usamos as seguintes

identidades trigonometricas, cujas demostrac


oes deixamos para o estudante:
sen ax sen bx =
sen ax cos bx =
cos ax cos bx =

cos[(a b)x] cos[(a + b)x]


2
sen [(a + b)x] + sen [(a b)x]
2
cos[(a b)x] + cos[(a + b)x]
.
2

Sugest
ao: Use as identidades cos(ab) = cos a cos bsen senb e sen (ab) = sen cos bsen b cos a.
Defini
c
ao 1.4 Se f e g s
ao contnuas por partes em [L, L], ent
ao f g tambem e contnua por
partes em [L, L] e, pelo Exerccio (1.2), f g e integr
avel, o que nos permite denir produto
interno ou escalar de f e g como

(f, g) =

f (x)g(x)dx.

(1)

Se o produto escalar de f e g for zero dizemos que estas duas func


oes s
ao ortogonais em [L, L].
A norma de f e denida como
||f || =

(f, f ).

Exerccio 1.4 Sejam po (x) = 1, p1 (x) = x, p2 (x) = 12 (3x2 1) e p3 (x) = 21 (5x3 3x), mostre que
1
(i) 1 pn (x)pm (x)dx = 0, se n = m e
1
2
(ii) 1 |pn (x)|2 dx = 2n+1
.
Os polin
omios acima s
ao soluc
oes da equac
ao diferencial de Legendre:
(1 x2 )u 2xu + n(n + 1)u = 0,
para n = 0, 1, 2 e 3, respectivamente. Eles s
ao chamados de polin
onios de Legendre.
Exerccio 1.5 Usando as identidades do Exerccio 1.3, mostre que se m, n s
ao inteiros n
ao nulos,
ent
ao

1
L

1
L

sen

( nx )

L
L

sen
L

sen

( nx )
L

cos

( mx )
L

( mx )
L

dx = nm =

1
L

cos

( nx )

dx = 0,

onde o smbolo nm , chamado de delta de Kronecker, e denido por

0, se m = n
nm =
1, se n = m.
9

cos

( mx )
L

dx

Alem disso,

( nx )

sen

dx = 0

cos

sen ( nx
) cos
( nx
L )
1 ,
L ,
,
2L
L
L

logo o conjunto formado por

( mx )

dx = 0,

n = 1, 2, 3, . . . e ortonormal em [L, L].

Exemplo 1.5 Seja


ao (
nx
nx )
+
an cos
+ bn sen
.
2
L
L
N

f (x) =

(2)

n=1

Quanto valem os coecientes an e bn ?


Resolu
c
ao. Multiplicando (2) por f (x), integrando de L a L e lembrando que

( mx )

cos

dx = 0 =

sen

( nx )
L

dx,

temos

ao
f (x)dx =
2
L

N (

dx +
an

nx
cos
dx + bn
L
L

n=1

portanto

Multiplicando (2) por cos

cos
L

( mx )
L

( mx )
L

sen

temos
L
( mx )
f (x) cos
dx =
L
L

1
ao =
L

nx
sen
dx
L

)
= Lao ,

f (x)dx.
L

cos

( mx )

cos

( mx )
L

an

n=1

dx = 0 e

L
N
(

= am

, integrando de L a L e lembrando que

( nx )

ao
2

cos2

cos

( nx )
L

( mx )
L

cos

( mx )
L

dx

= Lam .
Portanto,
am =

1
L

( nx )
L

dx = Lnm

dx

cos

f (x) cos
L

10

( mx )
L

dx.

dx + bn

sen
L

( nx )
L

cos

( mx )
L

)
dx

( mx )

Multiplicando (2) por sen

sen
L

( mx )
L

cos

temos
L
( mx )
dx =
f (x)sen
L
L

, integrando de L a L e lembrando que

( nx )
L

ao
2
+

sen

( mx )

sen

L
N
(

( mx )
L

an

n=1
L

= bm

dx = 0 e

sen2
L

sen

sen

( nx )
L

dx = Lnm

dx

( mx )
L

cos

( nx )
L

dx + bn

sen

( mx )

sen

( nx )

( mx )
)dx
L

= Lbm .
Portanto,
bm

1.5

1
=
L

f (x)sen
L

( mx )
L

dx.

O Teorema de Fourier

Assumiremos que as nossas funcoes sao 2L perodicas e suaves por partes. As funcoes
)
(
( nx )
cos
1 sen nx
,
L ,
L , n = 1, 2, 3, . . .
2L
L
L

(3)

sao 2L periodicas e suaves (portanto suaves por partes). Alem disso, do exerccio anterior, vimos
que elas formam um conjunto ortonormal em [L, L]. Sera que podemos escrever uma func
ao
perodica de perodo 2L e suave por partes como uma combinacao das funcoes dadas em (3)? O
Teorema de Fourier que enunciaremos a seguir, nos diz algo `a respeito desta pergunta.
Teorema 1.1 Teorema de Fourier. Seja f : R R uma func
ao seccionalmente diferenci
avel e
de perodo 2L. Ent
ao a s
erie de Fourier de f denida por
ao (
nx
nx )
+
an cos
+ bn sen
,
2
L
L

n=1

11

)
dx

onde

converge para

1
2 [f (x

an =

1
L

bn =

1
L

f (x) cos

nx
dx,
L

n = 0, 1, 2, . . .

f (x) sen

nx
dx,
L

n = 1, 2, . . .

L
L
L

+ 0) + f (x 0)]. Os coecientes an e bn s
ao chamados de coeficientes de

Fourier de f .
Prova Veja Subsecao 1.12.

Observa
c
ao 1.3 No Teorema de Fourier dizer que a serie de Fourier converge para 12 [f (x + 0) +
f (x 0)] signica que para cada x xo, a seq
uencia numerica das somas parciais
nx
nx )
ao (
+
an cos
+ bn sen
,
2
L
L
N

SN (x) =

(4)

n=1

converge para 12 [f (x + 0) + f (x 0)], quando N tende para innito. Se f (x) for contnua em xo ,
ent
ao f (xo + 0) = f (xo 0) = f (xo ) e pelo Teorema de Fourier, a serie de Fourier de f converge
para f (xo ).
Tendo em vista o Teorema de Fourier, podemos escrever

ao (
nx
nx )
f (x) =
+
an cos
+ bn sen
,
2
L
L
n=1

para qualquer ponto x no qual f e contnua.


Exemplo 1.6 Calcular a serie de Fourier da funca
o

1, se 0 x < ,
f (x) =
0, se x < 0,
f (x + 2) = f (x).
Resolu
c
ao.
ao =
an =
bn =

1
1
f (x) dx =
dx = 1,

0


1
1
1
f (x) cos nx dx =
cos nx dx = sen nx 0 = 0,

0





1
1
1
1 cos nx
=
f (x) sen nx dx =
sen nx dx =
(1 cos n),


n
n
0
12

ou ainda,
b2k = 0,

b2k1 =

2
, k = 1, 2, . . .
(2k 1)

Portanto, a serie de Fourier de f (x) e

1
2
+
sen [(2k 1)x].
2
(2k 1)
k=1

0.8

0.8

0.6

0.6

0.4

0.4

0.2

0.2
2

10

12

10

12

Figura 5: A soma dos dois primeiros

Figura 6: A soma dos tres primeiros

termos da serie de Fourier de f (x).

termos da serie de Fourier de f (x).


1

0.8

0.8

0.6

0.6

0.4

0.4

0.2

0.2
4

2
2

10

10

12

12

Figura 8:

Figura 7: A soma dos quatro termos

A soma dos quatorze

primeiros termos da serie de Fourier

da serie de Fourier de f (x).

de f (x)

Exemplo 1.7 Use os resultados do exerccio 1.6 e obtenha uma express


ao em serie para .
Resolu
c
ao. Segue-se do Teorema de Fourier que no ponto x =

2,

a serie de Fourier e igual a 1.

Logo,
1=

(
1
2
)
+
sen (2k 1)
,
2
(2k 1)
2
k=1

ou seja,

1
)
1 1 1 1
(1)k1
=
sen (2k 1)
= 1 + + ... =
,
4
2k 1
2
3 5 7 9
2k 1
k=1

k=1

que e conhecida como a serie de Leibniz.


13

Exemplo 1.8 Supondo que f seja 2L peri


odica e f (x) seja absolutamente integr
avel em [L, L],
L
ou seja, L |f (x)|dx < , mostre que os coecientes de Fourier de f satisfazem
|an |, |bn |

C
.
n2

Resolu
c
ao. Como f e f sao 2L periodicas, fazendo integracao por partes duas vezes (os termos
de fronteira sao nulos), temos

L
( nx )
( nx )
1 L
L
an =
f (x) cos
dx = 2 2
f (x) cos
dx.
L L
L
n L
L
Como a funcao cosseno e limitada por 1, segue que
( L
)
L
( nx )
L
1
L
C

|an | 2 2
|f (x) cos
|dx 2
|f (x)|dx 2 .
2
n L
L
n
L
n
De maneira analoga, mostra-se que |bn |

C
.
n2

Portanto, se uma funcao f for 2L periodica e f (x)

for absolutamente integravel, os seus coecientes de Fourier decaem pelo menos com 1/n2 .

Exerccio 1.6 Seja f uma func


ao peri
odica de perodo 2L, kvezes deriv
avel com derivada de
ordem k absolutamente integr
avel. Mostre que existe uma constante positiva C tal que
|an |, |bn |

C
, n 1.
nk

Sugest
ao: Use integrac
ao por partes k vezes e use o fato que f e suas derivadas ate ordem
k 1 s
ao peri
odicas, o que assegura que os termos de fronteira sejam nulos. Podemos tomar
(
)

k
L
(k) (x)|dx.
C = L1 L
L |f
O exerccio acima mostra que quanto mais suave for uma funcao, mais rapidamente os seus
coecientes de Fourier decaem com n, ou seja, a convergencia de Sn (x) para f (x) e mais rapida. Em
particular, a soma dos N primeiros termos da serie de Fourier de f , mesmo que N seja relativamente
pequeno, sera uma aproximacao muito boa para f .

1.6

S
eries de Fourier de Funco
es Pares e de Fun
c
oes Impares

Defini
c
ao 1.5 Seja I um subconjunto da reta que e simetrico em relac
ao `
a origem, ou seja, se
x I, ent
ao, x I. Dizemos que f : I R e uma func
ao par se f (x) = f (x) para todo x I.
Se f (x) = f (x) para todo x I, dizemos que f e uma func
ao mpar.
14

2n
Exemplo 1.9 As func
oes cos nx
ao pares. Por outro lado, as funco
es sen nx
L , x , n = 1, 2, . . ., s
L ,

x2n1 , n = 1, 2, . . ., s
ao mpares. Assumimos que os domnios destas func
oes s
ao a reta toda ou
qualquer intervalo da forma (a, a) ou [a, a], onde a > 0.
Exerccio 1.7 Mostre que
(i) A soma ou diferenca de duas func
oes pares e uma func
ao par. A soma ou diferenca de duas
funco
es mpares e uma func
ao mpar.
(ii) O produto ou raz
ao de duas func
oes pares e uma func
ao par.
(iii) O produto ou raz
ao de duas func
oes mpares e uma funca
o par.
(iv) O produto ou raz
ao de uma func
ao par e uma func
ao mpar e uma func
ao mpar.
(v) Se f est
a denida num subconjunto da reta que e simetrico em relac
ao `
a origem, ent
ao,
podemos escrever f como a soma de uma func
ao par e uma func
ao mpar.
Exemplo 1.10
(i) Suponha que f seja uma func
ao par, integr
avel em qualquer intervalo limitado. Ent
ao,

f (x)dx = 2
L

f (x)dx.
0

(ii) Suponha que f e uma func


ao mpar, integr
avel em qualquer intervalo limitado. Ent
ao,

f (x)dx = 0.
L

Demonstra
c
ao. Basta observar que
L

f (x)dx =
L

1.7

f (x)dx =

f (y)dy =
L

f (x)dx +

f (x)dx
0

0 f (y)dy,
f (y)dy =
L f (y)dy,
0

se f for par,
se f for mpar.

C
alculo de Algumas S
eries de Fourier

Seja f1 periodica de perodo de 2L denida por f1 (x) = x, para L < x < L. Como f1 e mpar,
teremos uma serie de senos (todos os an s sao nulos), cujos os coecientes sao
2
bn =
L

x sen
0

15

nx
dx.
L

Fazendo a mudanca de variaveis y =

nx
L ,

obtemos
n
2L
bn = 2 2
ysen y dy.
n 0

Integrando por partes,


n

n
y sen y dy = y cos y |0 +
0

cos ydy = n cos (n).

Logo,
bn =

2L
(1)n+1 .
n

Portanto, a serie de Fourier de f1 e

2L (1)n+1
nx
sen
.

n
L
n=1

Seja f2 periodica de perodo 2L e denida por

L x, para 0 x L,
f2 (x) =
L + x, para L x 0.
Como f2 e uma funcao par, temos uma serie de cossenos (todos os bn s sao nulos), cujos os
coecientes sao
ao =
an =

2
L
2
L

(L x)dx =

2 L2
= L,
L 2

2L
nx
dx = 2 2 [1 (1)n ] =
(L x) cos

L
n

0,

se n = 2k,

4L
,
(2k1)2 2

se n = 2k 1,

k = 1, 2, . . .. Portanto, a serie de Fourier de f2 e

1
(2k 1)x
L 4L
+ 2
.
cos
2
2

(2k 1)
L
k=1

Como f e contnua, a serie acima converge para f2 (x) em todos os pontos. Usando o Teorema
de Fourier para x = 0, obtemos

L 4L
1
L = f2 (0) = + 2
,
2

(2k 1)2
k=1

ou seja,

2
1
1
1
1
=
= 1 + 2 + 2 + 2 + ...
8
(2k 1)2
3
5
7
k=1

16

Seja f3 a funcao periodica de perodo 2L e denida por f3 (x) = x2 , para L x L. Como f


e par, teremos uma serie de cossenos cujos coecientes sao

2 L 2
2L2
ao =
x dx =
L 0
3
e
an =

2
L

x2 cos
0

nx
2L2
dx = 3 3
L
n

y 2 cos y dy =
0

4L2
(1)n .
n2 2

Portanto, a serie de Fourier de f3 e

nx
L2 4L2 (1)n
+ 2
cos
.
3

n2
L
n=1

Como a funcao f3 e contnua, a serie acima converge para f (x) em todos os pontos. Aplicando o
Teorema de Fourier para x = L, obtemos

1
2
1
1
1
= 1 + 2 + 2 + 2 + ... =
.
6
2
3
4
n2
n=1

1.8

S
eries de Fourier de func
oes definidas num intervalo finito

Ate ent
ao havamos calculado a serie de Fourier de uma funcao periodica, com perodo 2L.

Suponha agora que tenhamos uma funcao f que esteja denida apenas no intervalo [0, L]. E
possvel falarmos em serie de Fourier de f ? A teoria vista se aplica a funcoes periodicas, por isso
temos que considerar uma funcao g que seja extensao periodica de f , digamos de perodo 2L e
calcularmos a sua serie de Fourier. Como g restrita a (0, L) e f , entao a serie de Fourier de g
converge para

f (x+0)+f (x0)
,
2

para todo x em (0, L). Para construirmos g, temos que den-la para

x no intervalo [L, 0), o que podemos fazer de innitas maneiras, com isso a representacao de f
em series de Fourier nao sera u
nica. Dois casos particulares e importantes de extensoes perodicas
de perodo 2L de f , sao as extensoes periodicas par e mpar, respectivamente, o que nos permite
representar f em termos de apenas cossenos e de apenas senos, respectivamente. Pode ser que
queiramos uma extensao perodica de f de perodo 4L, o que signica que teremos que denir g
nos intervalos (L, 2L] e [2L, 0). Nas aplicacoes de series de Fourier faremos a escolha de g que
seja a adequada ao problema (condicoes de contorno).
Exemplo 1.11 Dada f (x) = x, para 0 x , escreva f como uma serie de senos.
17

Resolu
c
ao. Neste caso temos L = . Vimos que quando uma funcao g e impar, a sua serie de
Fourier contem apenas senos. Logo, tomaremos como g a extensao de f que e periodica de perodo
2 e mpar. Portanto, g(x) = x, para < x , veja Figura 9.
y
3

-15

-10

-5

10

15

-1

-2

-3

Figura 9: A extensao periodica mpar de perodo 2, da funcao f (x) = x, para 0 x .


A serie de Fourier de g ja foi calculada e encontramos a seguinte serie de Fourier para f :
2

(1)n+1
n=1

sen (nx).

Conseq
uentemente, do Teorema de Fourier, temos
x=2

(1)n+1
n=1

sen (nx),

0 x < .

(Na verdade, a igualdade acima vale para < x < , mas isso nao foi pedido no problema.)

18

2
1
1
-7.5

-5

-2.5

2.5

-7.5 -5 -2.5

7.5

2.5

7.5

-1
-1
-2
-3

-2

Figura 10: O primeiro termo da serie de Fourier

Figura 11: A soma dos tres primeiros termos da

de f .

serie de Fourier de f .
3

-7.5

-5

-2.5

2.5

7.5

-7.5

-5

-2.5

2.5

7.5

-1

-1
-2

-2

-3

-3

Figura 12: A soma dos cinco primeiros termos Figura 13: A soma dos dez primeiros termos da
da serie de Fourier de f .

serie de Fourier de f .

Exemplo 1.12 No exemplo anterior, poderamos ter escolhido um perodo T maior do que 2 na
denica
o de uma extens
ao peri
odica mpar de g. Por exemplo, T = 4. E a teramos tambem
que denir g no intervalo (, 2], alem de dizer que ela e mpar. Uma opc
ao seria denirmos
g(x) = 2 x, para x em (, 2]. Na Figura 14 esbocamos g para 2 x 2.
3
2
1
-6

-4

-2

2
-1
-2
-3

Figura 14:

19

Resolu
c
ao. Calculemos os coecientes bn , lembrando que L = 2,

( nx )
1 2
bn =
g(x)sen
dx
0
2

( nx )
( nx )
1
1 2
=
dx +
dx
x sen
(x + 2) sen
0
2

2
( n )
8
sen
=
n2
2

0,
se n = 2k
=
.
k+1
(1)

se n = 2k 1
2,
(2k1)

Portanto, a serie de Fourier de g e


(
)

8 (1)n+1
(2n 1)x
sen

(2n 1)2
2
n=1

a qual converge para g(x) para todo x. Em particular,


x =

)
(

8 (1)n+1
(2n 1)x
,
sen

(2n 1)2
2

0 x .

n=1

Fazendo x = na relacao acima, concluimos que


1
1
1
1
2
.
+
+
+
.
.
.
+
+
.
.
.
=
12 32 52
(2n 1)2
8
Exemplo 1.13 Dada f (x) = x, para 0 x , escreva f como uma serie de co-senos.
Resolu
c
ao. Neste caso temos L = . Vimos que quando uma funcao g e par, a sua serie de Fourier
contem apenas cossenos (e o termo constante). Logo, tomaremos como g a extensao de f que e
periodica de perodo 2 e par. Portanto, faremos g(x) = |x|, para < x . Portanto, bn = 0 e

,
se n = 0,
2
an =
x cos nx dx =
n 1]
2[(1)

0
, se n = 1, 2, . . .
2
n

Portanto, a serie de Fourier de g e

4
1

cos(2k 1)x,
2
(2k 1)2
k=1

logo, pelo Teorema de Fourier

4
1
x=
cos(2k 1)x,
2
(2k 1)2
k=1

20

0 x .

Exemplo 1.14 Dada f (x) = x, para 0 x , escreva f como uma serie de senos e co-senos.
Resolu
c
ao. Tomaremos uma extensao de f periodica de perodo 2. Temos innitas possilidades,
por exemplo, podemos fazer g(x) = 0 para < x 0. Assim,

xdx =
ao =
0
2

(1)n 1
1
x cos nx dx =
an =
,
0
n2

1
(1)n+1
bn =
x sen nx dx =
.
0
n
Portanto, a serie de Fourier de g e

2
1
(1)k+1
cos
((2k

1)x)
+

sen (kx).
4
(2k 1)2
k
k=1

k=1

Em particular, do Teorema de Fourier, temos


x=

2
1

(1)n+1

sen (nx),
cos
((2k

1)x)
+
4
(2k 1)2
n
n=1

k=1

Fazendo x =

na expressao acima, concluimos que

(1)n+1
n=1

2n 1

.
4

Exerccio 1.8 Seja f (x) = x2 para 0 x .


(a) Mostre que a serie de Fourier de cossenos de f e

(1)n
2
+4
cos(nx).
3
n2
n=1

(b) Usando x = , conclua que

1
2
=
.
n2
6

n=1

21

0 x .

y
10

6
8

2
-15

-15

-10

-5

10

15

-10

Figura 16:
Figura 15:

-5

10

15

Graco da extensao

A soma dos sete

primeiros termos da serie de Fourier

periodica par de f .

de cossenos de f .

Exemplo 1.15 Dada uma func


ao f : [0, L] R, mostre que ela possui a seguinte serie de senos

(
cn sen

n=1

(2n 1)x
2L

)
,

(5)

onde
cn =

2
L

f (x) sen
0

(2n 1)x
2L

)
dx.

Resolu
c
ao. Suponha que o graco de f seja como na Figura 17. Inicialmente, veja Figura 18,
iremos estender f para uma funcao g denida em [0, 2L], de modo que ela coincida com f no
intervalo [0, L] e g(x) = f (2L x), para x no intervalo [L, 2L]. Isto faz com que g(x) seja simetrica
em relacao ao eixo x = L, ou seja, g(L + x) = f (L x) = g(2L x, para 0 < x < L). Feito
isso, iremos estende-la para todo x de forma que ela seja uma funcao periodica mpar de perodo
4L, veja Figura 19, logo, os seus coecientes de Fourier (de senos) serao dados por
bn =
=
=

2L
nx
2
g(x)sen
dx
2L 0
2L
( L
)
2L
1
nx
nx
f (x) sen
dx +
g(x) sen
dx
L
2L
2L
0
L
( L
)
2L
1
nx
nx
f (x) sen
dx +
f (2L x) sen
dx .
L
2L
2L
0
L

22

y
2.0

1.5

2.0

1.0
1.5

0.5
1.0

0.5

0.0
0.0

0.5

1.0

1.5

2.0

Figura 18: Graco da extensao de f para

o intervalo [0, 2L] de modo que ela seja


Figura 17: Graco de f .

simetrico em relacao ao eixo x = L.

y
2

-4

-2

-1

-2

Figura 19: Graco da extensao de f para


o intervalo [2L, 2L] de modo que ela seja
mpar.
Note que fazendo a mudanca de variaveis y = 2L x na segunda integral, temos
(
)
2L
0
( nx )
n(2L y)
f (2L x) sen
dx =
f (y) sen
dy
2L
2L
L
L
(
)
L
n(2L y)
=
f (y) sen
dy
2L
0
L
(
ny )
=
f (y) sen n
dy
2L
0
L
( ny )
= cos n
f (y)sen
dy
2L
0
(
)
L
(2k 1)y
n
= (1)
f (y)sen
dx.
2L
0

23

Portanto, temos
bn =

(1)n
L

f (x)sen

( nx )
2L

dx =

2
L

L
0

0,
f (x)sen

( nx )
2L

se n for par
dx, se n for mpar.

que e o resultado desejado.

A representacao (5) sera usada no estudo da equacao de calor com condicoes de contorno mista.
Exerccio 1.9 Seja f (x) denida como
f (x) = sen2 x, 0 x .
(a) Seja g o prolongamento peri
odico mpar com perodo 2 de f . Esboce o gr
aco de g.
(b) Calcule a serie de Fourier de g.
(c) Qual o valor da serie de Fourier de g no ponto x = 2 .

1.9

Derivac
ao e Integrac
ao de S
eries de Fourier

No curso de calculo vimos que se uma serie de potencias

n
n=0 an x

tem raio de convergencia

R > 0, entao para todo a, x (R, R), temos


(

)
n

an x

n=0

(an xn )

n=0

)
n

an u

du =

an un du.

n=0 a

n=0

Em outras palavras, podemos derivar e integrar termo a termo uma serie de potencias no intervalo
(L, L). Sera que podemos fazer o mesmo com uma serie de Fourier?
A seguir daremos condicoes sucientes para integrarmos e derivarmos uma serie de Fourier.
Exemplo 1.16 Suponha que f peri
odica de perodo 2L e continuamente deriv
avel. Ent
ao a serie
de Fourier de f e

n
n=1

bn cos

nx n
nx )

an sen
,
L
L
L

onde an e bn s
ao os coecientes de Fourier de f . A serie acima e obtida derivando termo a termo a
serie de Fourier de f . Como f e contnua, a serie acima converge para f (x) em todos os pontos.
24

Resolu
c
ao. Como f e periodica de perodo 2L, o mesmo acontecera com f . Sejam an e bn os
coecientes de Fourier de f . Logo
ao

2
=
L

f (x)dx = f (L) f (L) = 0,

para n > 0, fazendo integracao por partes (os termos de fronteira sao nulos, pois f e cos

( nx )
L

sao

2L periodicas), temos

( nx )
( nx ) L
( nx )
2
n 2 L
n
2 L

an =
f (x) cos
dx = f (x) cos
f (x) sen
dx =
bn .
+
L L
L
L
L
L
L
L
L
L
L
De maneira analoga, obtemos
bn =

n
an .
L

Exemplo 1.17 Suponha que f seja peri


odica de perodo 2L e contnua. Ent
ao para todo x,
integrando por partes, temos
(
)
x
(
( nx )
( nx ))

ao
Lan
1
L
f (y)dy =
x+
sen
bn
1 cos
+
,
2
n
L
n
n
L
0
n=1

onde an e bn s
ao os coecientes de Fourier de f . A serie acima e obtida integrando termo a termo
a serie de Fourier de f .
L

L
f (y)dy
Resolu
c
ao. Seja g(x) = f (x) L 2L
= f (x) a2o , entao g e 2L periodica e L g(y)dy = 0,
x
portanto G(x) = 0 g(y)dy e 2L periodica e continuamente derivavel, pois G (x) = g(x). Sejam
An e Bn os coecientes de Fourier de G, entao do exerccio anterior,
( nx ) nB
( nx ))
( An n
n
g(x) = G (x) =
sen
+
cos
,
L
L
L
L
n=1

mas
g(x) =

nx )
nx
+ bn sen
,
an cos
L
L

n=1

portanto, para n 1, temos


An =
Portanto,
G(x) =

L
bn
n

e Bn =

L
an .
n

(
( nx )
( nx ))
Ao
L
L
+
bn cos
+
an sen
.
2
n
L
n
L
n=1

25

Como G(0) = 0, entao

Ao L
=
bn .
2
n
n=1

Logo
G(x) =

Lan
n=1

sen

Como

( nx )
L

L
bn
n

f (y)dy = G(x) +
0

1
1
n

)
cos

( nx ))
L

ao
x,
2

obtemos o resultado desejado.

1.10

S
eries de Fourier Complexas

A seguir mostraremos que a serie de Fourier de uma funcao f periodica de perodo 2L e suave
por partes pode ser escrita como

inx
fb(n)e L ,

(6)

n=

onde
1
fb(n) =
2L

iny
L

f (y)dy,

n Z.

(7)

A sere (6) e chamada de s


erie de Fourier complexa de f ,
Prova. De fato, relacao de Euler, para todo real, temos
ei = cos + i sen ,
da qual obtemos
cos =

ei + ei
2

sen =

ei ei
.
2i

Das duas u
ltimas relacoes acima, temos
an cos

( nx )
L

+ bn sen

( nx )
L

26

an ibn inx an ibn inx


e L +
e L .
2
2

(8)

Das denicoes de an , bn e de fb e da relacao de Euler, temos


an ibn
2

=
=

(
( ny )
( ny ))
i sen
dy
f (y) cos
L
L
L
L
iny
1
e L f (y)dy = fb(n)
2L L
1
2L

(9)

e
an + ibn
2

(
( ny )
( ny ))
f (y) cos
+ i sen
dy
L
L
L
L
iny
1
e L f (y)dy
=
2L L
= fb(n).
=

1
2L

(10)

Substituindo (9), (10) em (8), temos


an cos

( nx )
L

+ bn sen

( nx )
L

= fb(n)e

inx
L

+ fb(n)e

inx
L

Portanto,
nx
nx )
ao (
+
an cos
+ bn sen
2
L
L
N

SN (x) =

n=1
N (

= fb(0) +

inx
inx
fb(n)e L + fb(n)e L

n=1

inx
fb(n)e L .

n=N

Portanto, pelo Teorema de Fourier, a sequencia

inx
fb(n)e L converge para

f (x+ )+f (x )
,
2

quando

n=N

N tende a innito.

As relacoes (9) e (10) nos permitem passar da serie de Fourier complexa para a serie de Fourier
real e vice-versa.
Exemplo 1.18 Encontre a serie de Fourier de f peri
odica de perodo 2, denida como

1, se 0 x <
f (x) =
.
0, se x < 0

27

Resolu
c
ao. Note que os coecientes de Fourier complexos sao



ein 1 , se n = 0

1
1
2in
fb(n) =
f (x)einx dx =
einx dx =
=
1

2
2 0
,
se n = 0
2

1(1)n
2in ,
1
2,

se n = 0
se n = 0

Logo a serie de Fourier complexa de f e


1
i ei(2n1)x

.
2
2n 1
|n|1

1.11

A desigualdade de Parseval e o Lemma de Riemann-Lebesque

Exerccio 1.10 Usando as relac


oes de ortogonalidade dadas no Exerccio 1.5 mostre que
(
)
L
N
2

a
o
(SN (x))2 dx = L
+
(a2n + b2n ) .
2
L

(11)

n=1

Exerccio 1.11 Multiplicando (4) por f (x) e integrando de L a L, mostre que


(
)
L
N
a2o 2
2
2
f (x)SN (x)dx = 2L
+
(an + bn ) .
2
L

(12)

n=1

Como 0 (f (x) SN (x))2 , de (11) e (12) temos


L
0
(f (x) SN (x))2 dx
L
L

(f (x)) dx 2

=
L

=
L

(
(f (x))2 dx L

f (x)SN (x)dx +

a2o
2

(SN (x))2 dx

)
(a2n + b2n )

n=1

portanto, para todo N , temos


1
a2o 2
+
(an + b2n )
2
L
N

(f (x))2 dx,
L

n=1

tomando o limite quando N tende a innito, obtemos a seguinte desigualdade, chamada de


Desigualdade de Bessel:

1
a2o 2
+
(an + b2n )
2
L
n=1

28

(f (x))2 dx < .

Como a serie

a2o
2

2
2
n=1 (an +bn )

e convergente, entao o seu termo geral a2n +b2n tende a zero quando

n tende a innito, ou equivalentemente, os coecientes an e bn tendem a zero quando n , ou


seja,

lim

n L

f (x) cos

( nx )
L

dx = 0

lim

n L

f (x) sen

( nx )
L

dx = 0,

(13)

este resultado e chamado de Lema de Riemann-Lebesque.


Exemplo 1.19 Suponha que g : [0, L] R seja contnua por partes, ent
ao
L
L
nt
nt
lim
g(t)sen
dt = 0 e
lim
g(t) cos
dt = 0,
n 0
n 0
L
L
portanto,

lim

n 0

g(t)sen

(n + 1/2)t
L

)
dt = 0.

(14)

Resolu
c
ao. Como g e contnua por partes em [0, L], logo G : [L, L] R, denida por

g(t),
se t [0, L]
G(t) =
0,
se t [L, 0)
e contnua por partes em [L, L], portanto tem quadrado integravel. Entao aplicando o lemma
L
L
nt
nt
de Riemann-Lebesque a G(t), temos lim
G(t)sen
dt = 0 e lim
G(t) cos
dt = 0,
n L
n L
L
L
portanto
L
L
nt
nt
lim
g(t)sen
dt = lim
G(t)sen
dt = 0
n 0
n L
L
L
e

lim

n 0

nt
dt = lim
g(t) cos
n
L

G(t) cos
L

nt
dt = 0.
L

Exemplo 1.20 Suponha que h : [L, 0] R seja contnua por partes, ent
ao
0
0
nt
nt
dt = 0 e
lim
h(t) cos
dt = 0,
lim
h(t) sen
n L
n L
L
L
consequentemente,

lim

n L

h(t)sen

(n + 1/2)t
L
29

)
dt = 0.

(15)

Resolu
c
ao. Como h e contnua por partes em [L, 0], logo H : [L, L] R, denida por

h(t), se t [L, 0]
H(t) =
0,
se t (0, L]
e contnua por partes em [L, L], aplique o lema de Riemann-Lebesque a H(t) e proceda como no
Exemplo 1.19.

Exemplo 1.21 Seja f deriv


avel por partes na reta real. Para x xo, dena g : [0, L] R e
h : [L, 0] R por

g(t) =
e

h(t) =

f (x+t)f (x+ )
2sen (t/2) ,
f (x+ ),

f (x+t)f (x )
2sen (t/2) ,
f (x ),

se t (0, L]

(16)

se t = 0

se t [, 0)

(17)

se t = 0

Como g e h s
ao contnuas por partes, segue de (14) e (15), que

lim

n 0

lim

(n + 1/2)t
dt = 0
L

h(t) sen

(n + 1/2)t
dt = 0.
L

n L

1.12

g(t) sen

Demonstrac
ao do Teorema de Fourier

O nosso objetivo e demonstrar o Teorema de Fourier, primeiro consideraremos o caso particular


em que L = , depois consideraremos o caso em que L > 0 e arbitrario.

30

Seja f periodica com perodo 2, da denicao dos seus coecientes de Fourier podemos escrever

1
ak cos kx + bk sen kx =
f (t) (coskx cos kt + sen kx sen kt) dt


1
=
f (t) cos[k(x t)] dt

1
=
f (t) cos[k(t x)] dt

1 x
f (x + y) cos ky dy, (t x = y)
=
x

1 x
=
f (x + t) cos kt dt, (y = t)
x

1
=
f (x + t) cos kt dt,

na u
ltima igualdade usamos que f (x + t) cos kt e periodica com perodo 2, logo a sua integral
sobre qualquer intervalo de comprimento 2 tem o mesmo valor. Da mesma forma, obtemos

ao
1
=
f (x + t) dt.
2
2
Portanto,
Sn (x) =

=
=

N
ao
+
(ak cos kx + bk sen kx)
2
n=1
)
(

N
1
1
+
cos(kt) dt
f (x + t)

2
k=1

1
f (x + t)DN (t)dt,

onde
1
cos(kt)
+
2
N

DN (t) =

(18)

k=1

e chamado de n
ucleo de Dirichlet. Mostraremos que

N + 21
se t = 0
DN (t) =
.
sen
((N
+1/2)t)

,
se
t

=
0
2 sen (t/2)
A funcao dada acima e claramente contnua em [L, L].
Note que de (18), temos DN (0) = N + 12 . Da relacao de Euler, podemos escrever
(
)
N
N

1
ikt
ikt
Dn (t) =
1+
e +
e
,
2
k=1

31

k=1

(19)

fazendo q = eit na identidade


N

qn =

k=1

q q n+1
1q

(q = 1)

temos
N

eikt =

k=1

eit ei(N +1)t


eit/2 (eit/2 ei(N +1/2)t )
eit/2 ei(N +1/2)t
eit/2 + ei(N +1/2)t
=
=
=
1 eit
2i sen(t/2)
eit/2 (eit/2 eit/2 )
eit/2 eit/2

trocando t por t na relacao acima, temos


N

eikt =

k=1

eit/2 ei(N +1/2)t


,
2i sen(t/2)

portanto
N

eikt +

k=1

eikt =

k=1

2i sen(t/2) + 2i sen((N + 1/2)t)


sen ((N + 1/2)t)
= 1 +
.
2i sen(t/2)
sen (t/2)

Note que
1
SN (x) =

1
f (x + t)DN (t)dt =

1
f (x + t)DN (t)dt +

mostraremos que

1 0
f (x )
lim
f (x + t)DN (t)dt =
N
2

1
lim
N

f (x + t)DN (t)dt,
0

f (x + t)DN (t)dt =
0

f (x+ )
.
2

com isso teremos mostrado o Teorema de Fourier para L = 2. Note que de (18), temos

DN (t)dt =
0

Portanto,

1
f (x+ )
f (x + t)DN (t)dt
0
2

=
=
=
=

DN (t)dt =
0

,
2

1
1
f (x + t)DN (t)dt
f (x+ )DN (t)dt
0
0

1
(f (x + t) f (x+ ))DN (t)dt
0

(
1
2 sen(t/2) g(t)DN (t)dt,
zemos g(t) =
0

1
g(t) sen ((N + 1/2)t)dt
0
32

f (x+t)f (x+ )
2 sen (t/2) ,

)
veja (16)

esta u
ltima expressao tende a zero quando N tende a innito, veja (14). De maneira analoga,
denindo h(t) =
1

f (x+t)f (x )
2 sen (t/2) ,

veja (17), podemos escrever

f (x )
f (x + t)DN (t)dt
2

h(t) sen ((N + 1/2)t)dt.

que tende a zero quando N tende a innito, veja (15).

Note que se f (x) e 2L periodica e suave por partes, entao p(x) = f (x/L) e 2 periodica e suave
facil ver que os coecientes
por partes, sendo que para p(x) ja mostramos o Teorema de Fourier. E
de f e p sao iguais, portanto se Sn (x) e sN (x) sao as somas parciais das seres de Fourier de f e p,
respectivamente, entao
(
lim SN (x) =

=
=
=

lim

N
nx
nx )
ao (
+
an cos
+ bn sen
2
L
L
n=1
( nx )

lim sN
(
) L (
)
nx
p L + + p nx
L

2
f (x+ ) + f (x )
.
2

Portanto, com isso provamos o Teorema de Fourier para L > 0 qualquer.

33

1.13

Exerccios propostos

1. Nos problemas a seguir, esboce o graco da funcao e encontre a sua serie de Fourier.
(a) f (x) = x , L x < L , f (x + 2L) = f (x)

1 , L x < 0
; f (x + 2L) = f (x)
(b) f (x) =
0 , 0x<L

L x , L x < 0
(c) f (x) =
; f (x + 2L) = f (x)
Lx , 0x<L

x + 1 , 1 x < 0
(d) f (x) =
; f (x + 2) = f (x)
x , 0x<1

0 , 1 x < 0
; f (x + 2) = f (x)
(e) f (x) =
x2 , 0 x < 1

0 , x < 0
(f) f (x) =
; f (x + 2) = f (x)
senx , 0 x <
(g) f (x) = |senx|
(h) f (x) = sen 2 x
2. Nos problemas a seguir, determinar se cada funcao dada e par, ou mpar, ou nem par nem
mpar. Esboce o graco da funcao em cada caso.
(e) sec x
(a) x3
(b) x3 2x

(f) |x3 |

(c) x3 2x + 1

(g) ex

(d) tan 2x

(h) e|x|

3. Considere a funcao f (x) = x2 ,

0 x < 1.

(a) Faca o desenvolvimento em series de Fourier correspondente `a extens


ao peri
odica dessa
funcao, ou seja, o desenvolvimento da funcao como se ela fosse periodica fora do intervalo
no qual ela se encontra denida, sendo seu perodo igual a 1. Esboce o graco da func
ao
resultante no intervalo [4, 4].
ao peri
odica par
(b) Faca o desenvolvimento em series de Fourier correspondente `a extens
dessa funcao, ou seja, o desenvolvimento utilizando apenas termos em cosseno, com
perodo 2. Esboce o graco da funcao resultante no intervalo [4, 4].
34

(c) Faca o desenvolvimento em series de Fourier correspondente `a extens


ao peri
odica mpar
dessa funcao, ou seja, o desenvolvimento utilizando apenas termos em seno, com perodo
2. Esboce o graco da funcao resultante no intervalo [4, 4].
4. Considere asfuncoes:
0 , 0<x1
(a) f (x) =
x , 1<x3

x , 0<x1
(b) f (x) =
1 , 1<x3

x , 0<x1
(c) f (x) =
1x , 1<x3

1 , 0 < x 1
(d) f (x) =
x , 1 < x 3

Para cada uma das funcoes acima:


(i) Esboce o graco da extensao periodica de perodo igual a 3 da funcao, no intervalo de -12
a 12. Determine a serie de Fourier dessa extensao.
(ii) Esboce o graco da extensao par de perodo igual a 6 da funcao, no intervalo de -12 a
12. Determine a serie de Fourier dessa extensao.
(iii) Esboce o graco da extensao mpar de perodo igual a 6 da funcao, no intervalo de -12
a 12. Determine a serie de Fourier dessa extensao.
5. Suponha que o conjunto de funcoes un (x), n = 1, 2, . . . seja ortonormal em [a, b], ou seja,
b
b 2
e nita, dena
a un (x)um (x)dx = nm . Se a integral a f (x)dx

cn =

f (x)un (x)dx.
a

Mostre que

c2n

lim

n a

f 2 (x)dx
a

n=0

e conclua que

f (x)un (x)dx = 0.

35

Equac
oes Diferenciais Parciais

2.1

Um pouco sobre equaco


es diferenciais ordin
arias

Como nao se pressupoe que o aluno tenha feito um curso de equacoes diferenciais ordinarias
para fazer este curso, falaremos brevemente sobre este assunto.
Uma equacao diferencial ordinaria. EDO, e uma equacao que envolve uma funcao desconhecida
u(x) e derivadas da mesma. A ordem de uma EDO e a ordem da derivada mais alta que aparece
na mesma. Por exemplo u (x) = ku(x) e u (x) = 2 u(x), onde k, sao constantes positivas, sao
EDOs de primeira e segunda ordem, respectivamente. Eles descrevem o crescimento populacional
e o movimento de um oscilador harmonico, respectivamente.
Uma equa
c
ao linear de primeira ordem mais geral possvel e da forma
u (x) + p(x)u(x) = g(x),

(20)

onde os coecientes p e q sao funcoes conhecidas. Se P (x) for uma anti-derivada de p(x), ent
ao
multiplicando a equacao acima por eP (x) , temos eP (x) u + p(x)eP (x) u(x) = eP (x) g(x), ou seja

(eP (x) u(x)) = eP (x) g(x). Portanto, eP (x) u(x) = eP (x) g(x)dx + C, ou seja,
P (x)
e
g(x)dx + C
u(x) =
eP (x)

e a solucao geral de (20). No calculo da integral indenida eP (x) g(x)dx devemos fazer a constante
arbitraria igual a zero, uma vez que ja temos uma constante arbitraria C. Por exemplo, dada a
equacao u + 2xu = x, temos p(x) = 2x e g(x) = x, logo P (x) = ex , portanto
x2
1 x2
e xdx + C
1
2
2e + C
u(x) =
=
= + Cex .
2
2
ex
ex 2
2

O problema de valor inicial para uma equacao linear de primeira ordem consiste em
encontrarmos a solucao de (20) que satisfaca a condicao inicial u(xo ) = uo . Por exemplo, para
encontrarmos a solucao de u + 2xu = x, u(0) = 1, escolhemos C em u(x) =
que u(0) = 1, ou seja, C = 1/2. Logo a solucao desejada e u(x) =

1
2

1
2

+ Cex de modo
2

+ 21 ex .
2

Toda equacao de primeira ordem que nao e da forma (20) e chamada de n


ao linear.
36

Dizemos que uma equacao de primeira ordem e de vari


aveis separ
aveis se ela e da forma
u =
por exemplo, u =

u2 +1
x+3 .

f (u)
,
g(x)

(21)

Note que (21) pode ser reescrita como


dx
du
=
,
f (u)
g(x)

onde separamos as variaveis u e x. A solucao geral de (21) e

du
dx
=
.
f (u)
g(x)
Em particular, se u =

u2 +1
x+3

temos

du
=
u2 + 1

dx
x+3

ou seja, arctg u = ln |x + 3| + C ou u = tg (ln |x + 3| + C) .


Uma EDO linear de segunda ordem mais geral possvel e da forma
u (x) + p(x)u (x) + q(x)u(x) = g(x),

(22)

onde os coecientes p, q e q sao funcoes conhecidas. Se g(x) = 0 dizemos que a equac


ao e
homog
enea. O problema de valor inicial para uma equacao linear de segunda ordem consiste
em encontrarmos a solucao de (22) que satisfaca `as condicoes iniciais u (xo ) = uo e u (xo ) = uo , que
no caso de um oscilador harmonico correspondem `a posicao e `a velocidade da massa no instante
xo .
O conjunto solucao de uma equacao linear de segunda ordem e um espaco vetorial de
dimens
ao 2. Para encontrarmos uma base para o mesmo, basta encontrarmos duas soluc
oes
u1 (x) e u2 (x) que sejam linearmente independentes, isto signica que

u1 (x) u2 (x)
= 0.
W (u1 (x), u2 (x)) = det
u1 (x) u2 (x)
Um caso particularmente interessante de uma EDO linear de segunda ordem homogenea e
quando os coecientes sao constantes, ou seja, ela e da forma
au + bu + cu = 0,
onde a, b, c s
ao constantes que assumiremos reais, com a = 0. Para resolvermos tal equac
ao,
buscamos uma solucao da forma ex , o que signica que tem que ser raiz da seguinte equac
ao
a2 + b + c = 0,
37

chamada de equa
c
ao caracterstica da EDO.

Fazendo = b2 4ac temos as seguinte

possibilidades:
(i) > 0, neste caso temos duas raizes reais distintas: =

b
2a

e a solucao geral da equac


ao

sera
u(x) = c1 e x + c2 e+ x .
(ii) = 0, neste caso = + =

b
2a ,

o que nos da a solucao e 2a x , para encontrarmos uma


b

outra soluc
ao que nao seja m
ultiplo desta, tentamos uma solucao da forma u(x) = v(x)e 2a x , com
b

isso encontramos v(x) = x. Portanto a solucao geral da equacao e


u(x) = (c1 + c2 x)e 2a x .
b

(iii) < 0, neste caso temos duas raizes complexas distintas: =

bi ||
2a

= i, o

que nos da as solucoes complexas u1 (x) = ex eix e u2 (x) = ex eix . Como a equacao (22) e
linear e homogenea, combinacoes lineares de suas solucoes tambem serao solucoes. Em particular,
u1 (x)+u2 (x)
2

= ex cos(x) e

u1 (x)u2 (x)
2i

= ex sen (x) sao solucoes de (22), como uma nao e m


ultiplo

escalar da outra, elas sao linearmete independentes, portanto a solucao geral de (22) sera
u(x) = ex (c1 cos(x) + c2 sen(x)) .

(23)

Se quisermos resolver o problema de valor inicial, teremos que escolher c1 e c2 de forma satisfazer
as condicoes iniciais, isto signica resolver um sistema de equacoes lineares (duas equacoes de duas
incoginitas).
Em muitas situacoes estaremos interessados em resolver uma equacao ordinaria de segunda
ordem onde a situacao fsica requer que consideremos u(x) apenas para x [0, L], onde L e positivo
e nito. Neste caso inves de especicarmos as condicoes iniciais, teremos que especicar condic
oes
em u e ou u nas extremidades deste intervalo, com isso teremos o que chamamos de condi
c
oes
de contorno. A equacao diferencial, juntamente com estas condicoes de contorno nos levam
aos problemas de valores de contornos. Embora existam outras condi
c
oes de contorno
importantes, consideraremos condicoes de contorno de Dirichlet, de Neumann e mista, dadas
por (i) u(0) = 0 = u(L), (ii) u (0) = 0 = u (L) e (iii) u(0) = 0 = u (L). respectivamente, onde e
uma constante. Mais precisamente, consideraremos os seguintes problemas de valores de contornos:
u (x) = u(x), para 0 < x < L e u satisfaz uma das tres condicoes de contorno (i). (ii) ou (iii).
Estes problemas serao resolvidos quando estudarmos a solucao da equacao do calor.

38

2.2

O que
e uma equac
ao diferencial parcial?

Uma equacao diferencial parcial, EDP , e uma equacao contendo uma funcao desconhecida u
de duas ou mais variaveis independentes e derivadas parciais de u em relacao a estas variaveis.

2.3

Classificac
ao de Equaco
es Diferenciais Parciais

A ordem de uma equacao EDP e a ordem da derivada de maior ordem que aparece na mesma.
Por exemplo, ux + uuy = 0 e ux = uyy sao EDP s de primeira e segunda ordem, respectivamente,
nas variaveis independentes x e y.
Dizemos que uma EDP de primeira ordem nas variaveis independentes x e y e linear se ela
e da forma:
aux + buy + cu = d,

(24)

onde os coecientes a, b, c, d podem depender apenas de x, y. Por exemplo, xux + uy = cos(xy) u +


exy e uma equacao linear de primeira ordem. Se d = 0, dizemos que a equacao linear e homog
enea.
Uma equacao de primeira ordem nas variaveis x, y que nao e da forma (24) e dita ser n
ao-linear.
Por exemplo, ux + uuy = 0 e de primeira ordem e nao-linear.
Dizemos que uma EDP de segunda ordem nas variaveis independentes x, y e linear, se ela
for da seguinte forma:
auxx + buxy + cuyy + dux + euy + f u = g

(25)

onde os coecientes a, b, . . . , g so podem depender de x e y, nao podem depender de u ou de suas


derivadas parciais. Uma EDP de segunda ordem que nao e da forma (25) e chamada de n
ao-linear.
Se g for identicamente zero, dizemos que a EDP (25) e homog
enea, caso contrario, dizemos que
ela e n
ao-homog
enea.
ao) Mostre que se u1 e u2 forem soluc
oes de uma EDP
Exerccio 2.1 (Princpio da Superposic
linear e homogenea, ent
ao u = c1 u1 + c2 u2 tambem ser
a.
comum classicarmos as equacoes (25) em funcao do sinal de = b2 ac. Dizemos que (25)
E
e eliptica, hiperb
olica ou parab
olica, se for negativo, positivo ou zero, respectivamente. Por
exemplo a equacao uxx + uyy = 0 e eliptica.
39

Exemplo 2.1 A equac


ao ut = kuxx , onde k e uma constante positiva, e parab
olica. A equaca
o
utt = c2 uxx , onde c e uma constante positiva, e hiperb
olica. A equac
ao xuxx + yuyy + 3y 2 ux = 0
e eliptica na regi
ao xy < 0, e hiperb
olica na regi
ao xy < 0 e se xy = 0, ela e parab
olica (verique
estas armac
oes!).
Dizemos que u e uma solu
c
ao de uma EDP , se ela a satisfaz identicamente e se u e todas as
suas derivadas parciais que aparecem na EDP forem contnuas. Por exemplo,
1
u(x, y) = x2 y xy 2 + 2 sen x + 3y 4 5
2
e uma solucao de

2u
xy

= 2x y.

Exerccio 2.2 Sejam f, g : R R de classe C 2 (tem derivadas ate segunda ordem contnuas).
Mostre que
u(x, t) = f (2x + 5t) + g(2x 5t)
e soluc
ao da equac
ao 4utt = 25uxx .

2.4

O M
etodo de Separac
ao de Vari
aveis

Uma das tecnicas para resolucao de EDP s e o m


etodo de separa
c
ao de vari
aveis. Em
que consiste este metodo? Se a EDP tiver variaveis independente x e y, ou seja, se u = u(x, y),
buscamos uma solucao u da forma u(x, y) = X(x)Y (y). Ao substituirmos esta solucao na EDP ,
tentamos separar de um lado da equacao a variavel x e do outro a variavel y, se isto for possvel,
como estas duas variaveis sao independentes e temos uma funcao de x igual a uma funcao de y
para todo x, y, entao cada lado deve ser igual a uma constante , o que nos leva a duas equac
oes
diferencais ordinarias uma para a variavel x e a outra para a variavel y. Por exemplo, dada a
equacao uxx + uyy = 0, se zemos u(x, y) = X(x)Y (y), teremos X(x)X (x) + Y (y)Y (y) = 0.
Dividindo esta equacao por X(x)Y (y) e separando as variaveis, obtemos
Y (y)
X (x)
=
= ,
X(x)
Y (y)
o que nos leva a duas equacoes diferenciais ordinarias de segunda ordem, lineares, com coecientes
constantes e homogenas,
X (x) = X(x) e Y (y) = Y (y),
40

que sao facilmente resolvveis, veja secao 2.1. Em princpio e uma constante qualquer, mas
nos problemas que consideraremos, somente valores particulares de serao permitidos, eles serao
determinados pelas condicoes de contorno.

Se tivermos n variaveis independentes na EDP ,

tentamos uma solucao que seja o produto de n funcoes, cada uma das quais numa das n vari
aveis
independentes, na expectativa de obter n equacoes diferenciais ordinarias. Neste caso, teramos
n 1 constantes de separacao de vari
aveis 1 , . . . , n1 .
Exemplo 2.2 Resolva o seguinte problema usando separac
ao de vari
aveis:
ux = 4uy ,

u(0, y) = 8e3y .

Resolu
c
ao. Fazendo u(x, y) = X(x)Y (y), temos
X (x)
Y (x)
=
= ,
4X(x)
Y (x)
o que nos leva as seguintes equacoes diferenciais ordinarias de primeira ordem de vari
aveis
separaveis:
X (x) = 4X(x),

Y (y) = Y (y).

Suas solucoes gerais sao X(x) = c1 e4x e Y (y) = c2 ey , o que nos leva a
u(x, y) = c1 c2 e(4x+y) = ce(4x+y) .
Como queremos que u(0, y) = 8e3y , entao cey = 8e3y , portanto = 3 e c = 8, que nos leva a
solucao u(x, y) = 8e3(4x+y) .

Exemplo 2.3 Resolva o seguinte problema usando separac


ao de vari
aveis:
ux = 4uy ,

u(0, y) = 8e3y + 4e5y .

Resolu
c
ao. A EDP acima e linear e homogenea, logo se u1 (x, y) e u2 (x, y) forem soluc
oes
da mesma, entao u(x, y) = u1 (x, y) + u2 (x, y) tambem sera. No exemplo anterior vimos que
u1 (x, y) = c1 e1 (4x+y) e u2 (x, y) = c2 e2 (4x+y) sao solucoes da EDP , entao
u(x, y) = u1 (x, y) + u2 (x, y) = c1 e1 (4x+y) + c2 e2 (4x+y)

41

tambem e solucao da mesma. A seguir escolheremos as constantes c1 , c2 , 1 e 2 de modo a


satisfazer a condicao u(0, y) = 8e3y + 4e5y . Ou seja, devemos ter
c1 e1 y + c2 e2 y = 8e3y + 4e5y ,
o que implica que c1 = 8, c2 = 4, 1 = 3 e 2 = 5. Portanto a solucao desejada e
u(x, y) = 8e12x3y + 4e20x5y .
Exerccio 2.3 Resolva os seguintes problemas usando separac
ao de vari
aveis

(a) 3ux + 2uy = 0,


(b) ux = 2uy + u,

u(x, 0) = 4ex
u(x, 0) = 3e5x + 2e3x

(c) ut = 4uxx ,

u(0, t) = 0,

u(, t) = 0,

(d) ut = uxx ,

ux (0, t) = 0,

u(2, t) = 0,

(e) utt = 4uxx ,

2.5

u(0, t) = u(5, t) = 0,

u(x, 0) = 2sen (3x) 4sen(5x)


)
(
)
(
6 cos 9x
u(x, 0) = 8 cos 3x
4
4

u(x, 0) = 0,

ut (x, 0) = 5 sen (x).

A equac
ao do calor em uma dimens
ao espacial

A equacao de calor em uma dimensao espacial modela o uxo de calor num o que e isolado em
toda parte, exceto, nas duas extremidades. Matematicamente, temos o seguinte problema: seja R
a regiao do plano (x, t) determinada por 0 < x < L e t > 0, e R a uniao de R com sua fronteira que
e formada pelas semi-retas {x = 0, t > 0} e {x = L, t > 0} e pelo segmento {0 x L, t = 0}.
O problema da conducao do calor consiste em determinar uma funcao real u(x, t), temperatura no
ponto x e no instante t, denida em R que satisfaca `a equacao do calor
ut = Kuxx ,

em

R,

(26)

que satisfaca `a condicao inicial


0 x L,

u(x, 0) = f (x),

(27)

onde f : [0, L] R e uma funcao dada e, nalmente, que satisfaca `as condicoes de fronteira que
vamos descrever abaixo. A constante K e chamada de difusividade t
ermica, depende apenas do
material de que e feita a barra, por exemplo, se o material for cobre, entao, K = 1.14cm2 /s.

42

2.5.1

Condi
c
oes de Fronteira da Equa
c
ao do Calor

Tipo I. Suponhamos que, por algum processo, as extremidades da barra sejam mantidas a
temperaturas conhecidas. Por exemplo, constante em cada extremidade,
u(0, t) = T1

e u(L, t) = T2 ,

onde T1 e T2 sao temperaturas dadas. Um caso mais complexo seria aquele em que se conhece a
variacao de temperatura em um das extremidades (ou em ambas), isto e
u(0, t) = ho (t)

e u(L, t) = h1 (t),

onde ho (t) e h1 (t), para t 0, sao as temperaturas em cada uma das extremidades.
Tipo II. Suponhamos que as extremidades estejam isoladas termicamente. Isto quer dizer que os
uxos de calor atraves de x = 0 e x = L sao nulos, ou seja,
ux (0, t) = ux (L, t) = 0.
Tipo III. Suponhamos que meio ambiente tenha uma temperatura uo e que haja transferencia de
calor, entre a barra e o meio ambiente, regidas pela lei
kux (0, t) = e (u(0, t) uo ) ,

kux (L, t) = e (u(L, t) uo ) ,

onde e e uma constante, dita emissividade, caracterstica do material da barra do meio ambiente.

Tipo IV. Uma combinacao de duas quaisquer das condicoes acima, como, por exemplo,
u(0, t) = 0

e ux (L, t) = 0.

Usaremos o metodo de separacao de variaveis encontrar a solucao da equacao do calor,


assumiremos que

u(x, t) = F (x)G(t).

(28)

F (x)G (t) = KF (x)G(t)

(29)

Substituindo (28) em (45), temos

43

ou
1 G (t)
F (x)
=
.
K G(t)
F (x)

(30)

Como o lado esquerdo de (30) depende apenas de t e o direito depende apenas de x e estas duas
variavies sao independentes, ambos os lados devem ser iguais a uma constante . Isto nos leva as
equacoes
1 G (t)
=
K G(t)

F (x)
= .
F (x)

(31)

Em particular, temos
F (x) F (x) = 0,
2.5.2

para

0 < x < L.

(32)

Barra com extremidades mantidas `


a 0o C

Vamos assumir que a condicao de contorno seja do Tipo I, com u(0, t) = u(L, t) = 0. Ent
ao
devemos ter
F (0) = F (L) = 0,

(33)

pois, como u(0, t) = F (0)G(t) = 0, para todo t > 0, segue-se que se F (0) = 0, entao, G(t) 0
e, portanto, u 0, o que nao tao tem a chance de satisfazer `a condicao inicial u(x, 0) = f (x), a
menos que f (x) 0.
Ha tres possibilidades para .
i) Se > 0, entao a solucao geral e da forma
F (x) = c1 e

+ c2 e

Portanto, se tal F satiszer (33), o par (c1 , c2 ) de constantes devera satisfazer


c1 + c2 = 0,
c1 e

+ c2 e

= 0.

Da primeira equacao, temos c2 = c1 , substituindo este resultado na segunda equacao obtemos,


)
(
)
(

0 = c1 e L e L = c1 e L 1 e2 L .
Como = 0, devemos ter c1 = 0, portanto c2 = 0. Isto implica F 0, o que nao nos interessa.
44

ii) Se = 0, a solucao geral de (32) e


F (x) = c1 x + c2 ,
e, para satisfazer (33) deveremos ter
c2 = 0

e c1 L + c2 = 0,

o que implica c1 = c2 = 0 e, portanto, F 0, o que nao nos interessa.


iii) Se < 0, fazemos = 2 , onde > 0, e a solucao geral e
F (x) = c1 cos x + c2 sen x.
Para que tal funcao satisfaca (33), deveremos ter
c1 = 0

e c2 sen L = 0,

como nao queremos c2 = 0, devemos ter


sen L = 0,
o que implica L = n, onde n e um inteiro positivo, pois > 0. Portanto,
n =

n2 2
,
L2

chamados de autovalores do problema e as funcoes


Fn (x) = sen

nx
,
L

sao chamadas de autofuncoes associadas. Para cada n a solucao da segunda equacao diferencial do
lado esquerdo de (31) e proporcional a
Gn (t) = e

n2 2
Kt
L2

Logo, para cada n = 1, 2, . . ., temos uma funcao


un (x, t) = e

n2 2 Kt
L2

sen

nx
,
L

que satisfaz a equacao a equacao de calor e as condicoes de fronteira dadas.


Exerccio 2.4 (Princpio da Superposic
ao) Mostre que se u1 (x, t) e u2 (x, t) s
ao soluc
oes da
equac
ao de calor, o mesmo acontecer
a com u(x, t) = c1 u1 (x, t) + c2 u2 (x, t). Portanto, qualquer
combinac
ao linear nita de soluc
oes da equaca
o de calor tambem ser
a soluc
ao da mesma.
45

Segue-se do Princpio da Superposicao, veja exerccio acima, que toda expressao da forma
u(x, t) =

cn un (x, t) =

n=1

n2 2 Kt
L2

cn e

sen

( nx )
L

n=1

(34)

onde cn sao constantes, e solucao da equacao de calor. Claramente ela satisfaz `as condicoes de
fronteira dadas, ou seja, u(0, t) = 0 = u(L, t), para todo t. Conseq
uentemente, se a condicao inicial
f (x) fosse da forma
N

f (x) =

bn sen

( nx )
L

n=1

(35)

dx.

(36)

portanto
2
bn =
L

f (x) sen

( nx )
L

entao, deveramos ter


N

bn sen

( nx )
L

n=1

cn sen

( nx )

n=1

para todo x. Logo cn = bn , n = 1, . . . , N .


Dada uma funcao f suave por partes, nem sempre ela sera uma combinacao linear nita de senos
como em (35). Conforme visto no nosso estudo de series de Fourier, f podera ser representada pela
seguinte serie innita de senos:
f (x) =

bn sen

( nx )

n=1

onde bn e dado por (36). Portanto ao inves da combinacao nita (34), o nosso candidato para
solucao do problema de condicao de calor com temperatura zero em x = 0 e x = L e distribuic
ao
inicial de temperatura f , sera a seguinte combinacao linear innita:
u(x, t) =

c n e

n2 2 Kt
L2

sen

n=1

( nx )
L

(37)

Por causa da condicao inicial u(x, 0) = f (x), devemos fazer cn = bn , para todo n, onde bn e dada
por (36).
Exemplo 2.4 Independentemente da distribuic
ao de temperatura inicial f , segue da (37) que
lim u(x, t) = 0.

46

(38)

Isto era esperado, pois se mantivermos as extremidades do o imersas no gelo, pelas leis da
Termodin
amica, a temperatura em qualquer ponto deve tender a zero quando o tempo tender a
innito. Neste caso dizemos que a temperatura de equilbrio e 0 grau, o seu valor depende
apenas das condic
oes de fronteira.
Para mostrarmos (38), notamos que
L
L

( nx )
( nx )
2
2 L


dx 2
f (x) sen
|f (x)|dx C.
|bn | =
f
(x)
sen
dx



L 0
L
L 0
L
L 0
Portanto,


( nx )
2 2


n 2Kt
L
sen
|u(x, t)| =
bn e


L
n=1

( nx )

n2 2 Kt
bn e

L2

sen

L

n=1

|bn |e

n=1

C
C

n=1

n2 2 Kt
L2

n2 2 Kt
L2

n 2 Kt
L2

n=1
(

)n

2 Kt
L2

n=1

Ce

2 Kt
L2

1 e

2 Kt
L2

Logo
Ce

0 |u(x, t)

2 Kt
L2
2 Kt

1 e L2
e pelo Teorema do Sanduiche, concluimos que lim |u(x, t)| = 0, o que equivale lim u(x, t) = 0.
t

Exemplo 2.5 Resolva o seguinte problema

ut = uxx ,

em

u(0, t) = u(, t) = 0,
u(x, 0) = sen3 x,
47

R,
para

para

t>0

0 x .

Resolu
c
ao. Note que sen3 x = 14 sen x 34 sen 3x. Logo,
u(x, t) =

1 t
3
e sen x e9t sen 3x.
4
4

Exemplo 2.6 Resolva o seguinte problema


ut = uxx ,

em

u(0, t) = u(, t) = 0,
u(x, 0) = x,
Resolu
c
ao. Note que
2
bn =

portanto
u(x, t) =

para

R,
para

0 < x < .

x sen (nx) dx =
0

t>0

2(1)n+1
,
n

2 (1)n+1 n2 t
e
sen (nx).

n
n=1

Exerccio 2.5 Resolva o seguinte problema

ut = 4uxx + 4u,
u(0, t) = u(, t) = 0,
u(x, 0) = 1,

para

em
para

R,
t>0

0 x .

Sugest
ao. Escreva u(x, t) = e4t v(x, t) e mostre que v(x, t) satisfaz a equac
ao de calor j
a estudada.
Quanto vale limt+ u(x, t) ?
2.5.3

Barra isolada termicamente tamb


em nas extremidades

48

Procedendo como no caso anterior, podemos estudar o problema


ut = Kuxx ,

R,

em

ux (0, t) = ux (L, t) = 0,

para

u(x, 0) = f (x),

0 < x < L.

para

t>0

Do metodo de separacao de variaveis, temos


G (t) = G(t),
F (x) F (x) = 0,

t 0,

0 x L,

onde e determinado pela condicao de fronteira


F (0) = F (L) = 0.
2 2

Os autovalores sao n = nL2

e as autofuncoes correspondentes sao Fn (x) = cos nx


L .

Para a segunda equacao temos Gn (t) = e


e

2 2
n 2Kt
L

n2 2 Kt
L2

. Note que para cada n, a funcao un (x, t) =

cos nx
cao de calor e as condicoes de fronteira dadas e o mesmo vale para
L satisfaz a equa

qualquer combincao nita destas funcoes. Vamos tomar a solucao da forma

n2 2 Kt
co
nx
u(x, t) =
+
cn e L2 cos
,
2
L

n=1

onde os coecientes cn deverao ser tomadas de modo que f (x) = u(x, 0) =


ou seja,
cn =

2
L

f (x) cos
0

nx
dx,
L

n = 0, 1, 2, . . . .

Exemplo 2.7 Resolva o seguinte problema

ut = uxx ,

R,

em

ux (0, t) = ux (, t) = 0,

para

u(x, 0) = cos2 x + cos 5x,

t>0

para

0 < x < .

Solu
c
ao. Vimos que a solucao do problema acima e da forma

u(x, t) =

a0
2
+
an en t cos nx,
2
n=1

49

co
2

nx
n=1 cn cos L ;

onde

cos2 x + cos 5x = u(x, 0) =

a0
an cos nx,
+
2
n=1

por outro lado, como cos2 x = 12 (1 + cos 2x), temos que

1 1
a0
+ cos 2x + cos 5x =
+
an cos nx,
2 2
2
n=1

logo, a0 = 1, a2 = 12 , a5 = 1 e os demais coecientes sao nulos, portanto a solucao do problema e


u(x, t) =

1 1 4t
+ e cos 2x + e25t cos 5x.
2 2

Alternativamente, tendo em vista que cos ax cos bx =

1
2

(cos(a b)x + cos(a + b)x), poderamos

ter calculado os coecientes acima usando as relacoes

)
2 ( 2
cos x + cos 5x cos nxdx
an =
0

2
2
2
=
cos x cos nx +
cos 5x cos nxdx
0
0


2
2
cos2 x cos nx +
cos 5x cos nxdx
=
0
0

1
2
=
(1 + cos 2x) cos nx +
cos 5x cos nxdx
0
0

1
1
2
=
cos nxdx +
cos nx cos 2xdx +
cos 5x cos nxdx
0
0
0

1
1
1
=
cos nxdx +
(cos(n 2)x + cos(n + 2)x) dx +
(cos(n 5) + cos(n + 5)x) dx
0
2 0
0

0, se n = 0, 2, 5

1,
se n = 0
=
1

se n = 2

2,

1,
se n = 5,
o que nos da o mesmo resultado.

Exemplo 2.8 Considere o seguinte problema de conduc


ao de calor num o com as extremidades
isoladas.
ut = uxx ,
ux (0, t) = 0,
u(x, 0) =

0 < x < , t > 0,


ux (, t) = 0, t > 0,

sen3 x, 0 < x < .


50

(a) Encontre a soluc


ao do problema acima.
(b) Qual e a temperatura de equilbrio do o?

n2 t cos nx, onde


Solu
c
ao. A solucao do problema acima e da forma u(x, t) = a20 +
n=1 an e

2
an =
sen3 x cos nxdx, n = 0, 1, 2, . . . .
0
Note que temos a seguinte identidade trigonometrica
)3
( i
e ei
3
sen =
2i
( i3
)
e
3ei + 3ei ei3
=
8i
(
)
(
)
1 ei3 ei3
3 ei ei
=
+
4
2i
4
2i
3
1
= sen 3 + sen .
4
4
Portanto, lembrando que sen ax cos bx = 12 (sen (a + b)x + sen (a b)x, temos
)
(
2
1
3
an =
sen 3x + sen x cos nxdx
0
4
4


1
3
=
sen 3x cos nxdx +
sen x cos nxdx
2 0
2 0


1
3
=
(sen (n + 3)x sen (n 3)x) dx +
(sen (n + 1)x sen (n 1)x) dx.
4 0
4 0
Deixamos para o leitor o calculo das integrais acima. A temperatura de equilbrio e

2.5.4

Barra com uma extremidade isolada e a outra mantida a 0o C

Temos o seguinte problema

ut = Kuxx ,

em

R,

u(0, t) = ux (L, t) = 0,

para

u(x, 0) = f (x),

0 x L.

para

t>0

Pelo metodo de separacao de variaveis temos


F (x) = F (x),
F (0) = F (L),
51

0 x L,

a0
2

4
3 .

, n = 1, 2, . . . , e as respectivas autofuncoes Fn (x) = sen (2n1)x


o que nos leva a n = (2n1)
.
2L
4L2
Logo, a solucao do problema de valor inicial e
u(x, t) =

cn e

(2n1)2 2 Kt
4L2

(2n 1)x
,
2L

sen

n=1

onde os coecientes cn devem ser tais que (veja Exemplo 1.15)


f (x) =

(2n 1)x
,
2L

cn sen

n=1

ou seja,
2
cn =
L

f (x) sen
0

(2n 1)x
dx.
2L

Exerccio 2.6
ut = 4uxx ,

R,

em

u(0, t) = ux (, t) = 0,
u(x, 0) = x2 ,

para

t>0

0 x .

para

Exerccio 2.7 Mostre que a soluc


ao de
ut = 2 uxx ,

em

ux (0, t) = u(L, t) = 0,
u(x, 0) = f (x),

para

R,
para

t>0

0xL

e
u(x, t) =

cn e

(2n1)
2L

)2
t

n=1

cos

(2n 1)x
2L

)
,

onde
cn =

2
L

f (x) cos
0

(2n 1)x
dx.
2L

Sugest
ao. Temos duas alternativas:
(i) Repetir o que foi feito para o caso em que u(0, t) = ux (L, t) = 0, neste caso, precisaremos
representar uma funca
o f denida no intervalo [0, L] em termos de uma serie de cossenos da
(
)

forma n=1 cn cos (2n1)x


, o que corresponde fazermos uma extens
ao peri
odica par de f com
2L
perodo 4L, a qual denotaremos por g(x). Para que apareca somente n mpares, devemos fazer
52

g(x) = f (2L x) para x no intervalo de (L, 2L], ou seja, g e anti-simetrica em relac


ao `
a reta
x = L; ou ainda,
(ii) Podemos escrever v(x, t) = u(L x, t) e mostrar que v(x, t) e soluc
ao do problema que j
a
conhecemos:
vt = 2 vxx ,

R,

em

v(0, t) = vx (L, t) = 0,
v(x, 0) = f (L x),
2.5.5

para

para

t>0

0 x L.

Condi
c
oes de fronteira n
ao-homog
eneas

Considere o seguinte problema


ut = Kuxx ,

R,

em

u(0, t) = ho (t),

u(L, t) = h1 (t),

u(x, 0) = f (x),

para

para

t > 0,

0 < x < L.

(39)

A ideia e transformar este problema num de condicoes de fronteira homogeneas, atraves de uma
mudanca da variavel dependente u. Assim, suponha que seja possvel achar uma funcao v(x, t) tal
que
v(0, t) = ho (t),

v(L, t) = h1 (t)

e que u seja a solucao do problema de valor inicial (39), segue-se que a funcao w = u v satisfaz
ao seguinte problema
R,

wt = Kwxx + g(x, t) em
w(0, t) = w(L, t) = 0,
w(x, 0) = f (x) v(x, 0),

para

t > 0,

para

0 < x < L,

(40)

onde g(x, t) = Kvxx vt . Se for possvel determinar v tal que ela seja solucao equacao de calor em
R, entao, g 0. Em muitos problemas, tomaremos v(x, t) = U (x), portanto, U (x) = ax + b, onde
a e b sao determinados pelas condicoes de contorno.
ao constantes.
Exemplo 2.9 Se ho (t) = e h1 (t) = , onde e s

53

()x
.
L

Neste caso, basta tomar v(x, t) = +

Uma tal v e solucao do calor. Portanto, w e

solucao do problema
wt = Kwxx

R,

em

w(0, t) = w(L, t) = 0,

para t > 0,
( )x
w(x, 0) = f (x)
, para
L

0 < x < L,

cuja solucao e
w(x, t) =

cn e

n2 2 K t
L2

sen

n=1

nx
,
L

onde os cn sao os coecientes de Fourier de seno da funcao f (x) ()x


, ou seja,
L
)
(
( )x
nx
2 L
f (x)
sen
cn =
dx.
L 0
L
L
Logo, a solucao do problema de valor inicial (39) com ho (t) = e h1 (t) = e

u(x, t) = +

n2 2 K t
nx
( )x
+
cn e L2 sen
.
L
L

n=1

A temperatura

( )x
L
e chamada de temperatura de equilbro. Note que quanto t tende a innito, u(x, t) tende a
2 2

n 2K t
L
c
e
sen nx
U (x). Por outro lado, u(x, t) U (x) =
n
n=1
L , a qual tende a zero quando t
U (x) = +

tende a innito, e chamada de temperatura transiente.


Exemplo 2.10 Considere o seguinte problema de conduc
ao de calor num o.
ut = uxx ,
u(0, t) = 0,

0 < x < , t > 0,


u(, t) = 10, t > 0,

u(x, 0) = 2 sen 5x 0.1 sen 9x +

10
x, 0 < x < .

(a) Encontre a soluc


ao do problema acima.
(b) Qual e a temperatura de equilbrio?
Solu
c
ao. Note que para encontrarmos a temperatura de equilbrio nao precisamos resolver o
problema.

No caso considerado ela e determinada completamente a partir das condicoes de

fronteira, nao depende das condicoes iniciais: U (x) =

u(x, t) =

10x
.

Portanto a solucao do problema e

10x
2
+
cn en t sen nx.

n=1

54

Da condicao inicial, temos

2 sen 5x 0.1 sen 9x +

10x
10x
= u(x, 0) =
+
cn sen nx.

n=1

Portanto,
2 sen 5x 0.1 sen 9x =

cn sen nx,

n=1

e concluimos que c5 = 2, c9 = 0.1 e dos demais coecientes sao nulos. Logo, a solucao desejada e
u(x, t) =

10x
+ 2e25t sen 5x 0.1e81t sen 9x.

Alternativamente, poderamos ter calculados os coecientes cn a partir das relacoes

2
(2 sen 5x 0.1 sen 9x)sen nx dx
cn =
0

2
0.1
=
(cos(n 5)x cos(n + 5)x)dx
(cos(n 9)x cos(n + 9)x)dx,
0
0
o que nos da o resultado acima.

Exerccio 2.8 Encontre a soluc


ao do seguinte problema
ut = 2 uxx ,

R,

em

u(0, t) = T, ux (L, t) = 0,
u(x, 0) = f (x),

para

para

t>0

0 x L.

Sugest
ao. Note que a temperatura de equilbrio e U (x) = T . Faca u(x, t) = T + v(x, t) e mostre
que v(x, t) e soluc
ao do problema conhecido
vt = 2 vxx ,

R,

em

v(0, t) = 0, vx (L, t) = 0,
v(x, 0) = f (x) T,

para

para

t>0

0 x L.

ao do seguinte problema (veja sugest


ao do exerccio anterior)
Exerccio 2.9 Encontre a soluc
ut = 2 uxx ,

em

ux (0, t) = 0, u(L, t) = T,
u(x, 0) = f (x),

para
55

R,
para

t>0

0 x L.

Observa
c
ao 2.1 A temperatura de equilbrio e uma funca
o de x apenas e satisfaz a equac
ao de
calor considerada; em particular, a temperatura de equilbrio da equac
ao ut = 2 uxx , satisfaz
U (x) = 0, logo ela e da forma U (x) = ax + b, onde as constantes a e b s
ao determinadas
pelas condico
es de fronteira (e ou inicial quando as condic
oes de fronteiras n
ao forem sucientes
para calcularmos a e b, por exemplo, quando as duas extremidades da barra est
ao isoladas). Para a
condic
ao de fronteira u(0, t)ux (0, t) = 0 e u(L, t) = T , devemos ter U (0)U (0) = 0 e U (L) = T ,
T
a para a equac
ao de calor ut = 2 uxx +bu, a temperatura de
1+L (1+x). J
U + b2 U = 0, em particular, se b2 = 1, L = e as extremidades foram

portanto, U (x) =

equilbrio

deve satisfazer

mantidas

`
a temperatura zero, devemos ter U (0) = 0 = U (), portanto, U (x) = c1 sen x, onde c1 e uma

constante a ser determinada pela condic


ao inicial: c1 = 2 o f (x)sen xdx.
2.5.6

Unicidade da equa
c
ao do calor

Teorema 2.1 Seja T > 0 nito e g(x, t) contnua em [0, L] [0, T ]. Ent
ao o problema
ut Kuxx = g(x, t),

0 < x < L, 0 < t < T,

u(x, 0) = f (x), 0 < x < L,

(41)

com uma das seguintes condic


oes de fronteiras:
(i) u(0, t) = ho (t) e u(L, t) = h1 (t),
(ii) ux (0, t) = ho (t) e ux (L, t) = h1 (t)
(iii) u(0, t) = ho (t) e ux (L, t) = h1 (t) ou
(iv) ux (0, t) = ho (t) e u(L, t) = h1 (t),
para 0 t T , tem no m
aximo uma soluc
ao u, tal que u, ut , ux e uxx sejam contnuas em
[0, L] [0, T ].
Prova. Suponha que tivessemos duas solucoes u1 (x, t) e u2 (x, t), dena u(x, t) = u1 (x, t) u2 (x, t),
entao u e solucao do seguinte problema
ut = Kuxx ,

0 < x < L, 0 < t < T,

u(x, 0) = 0, 0 < x < L,

com uma das seguintes condicoes de fronteiras (homogeneas) (i) u(0, t) = 0 e u(L, t) = 0, (ii)
ux (0, t) = 0 e ux (L, t) = 0, (iii) u(0, t) = 0 e ux (L, t) = 0 ou (iv) ux (0, t) = 0 e u(L, t) = 0, para
0 t T . Alem disso, u(x, t), ut , ux e uxx sao contnuas em [0, L] [0, T ]. Multiplicando a

56

equacao ut = Kuxx por u e integrando em relacao `a x de 0 a L, temos

u(x, t)ut (x, t)dx =

Ku(x, t)uxx (x, t)dx,

(42)

como u e ut sao contnuas, lado esquerdo de (42) pode ser escrito como

u(x, t)ut (x, t)dx =


0

=
=

u2 (x, t)
dx
2
0 t
(
)
d 1 L 2
u (x, t)dx
dt 2 0
d
E(t),
dt

onde
1
E(t) =
2

(usamos o Teorema 2.2)

u2 (x, t)dx 0.

Apos uma integracao por partes no lado direito da equacao (42) e notando que os termos de fronteira
sao iguais a zero, temos

Ku(x, t)uxx (x, t)dx =


0

[Ku(x, t)ux (x, t)]L


0

u2x (x, t)dx


0

= K

u2x (x, t)dx 0.

Portanto, para 0 t T , temos


d
E(t) 0,
dt
logo
E(t) E(0) = 0.
Como E(t) 0, concluimos E(t) = 0, para 0 t T . Ou seja,

u2 (x, t)dx = 0,
0

para 0 t T . Como para cada t [0, T ] xo, a funcao u2 (x, t) e nao negativa e contnua em x
em [0, L], entao segue da igualdade acima (veja Exemplo 2.11) que u2 (x, t) = 0 em [0, L] [0, T ].
Ou seja, u(x, t) = 0 em [0, L] [0, T ]. Portanto,
u1 (x, t) = u2 (x, t)
em [0, L] [0, T ].

57

2.5.7

Ap
endice equa
c
ao de calor

Exemplo 2.11 Se h(x) for contnua em [a, b] e

h(x)dx = 0,

(43)

ent
ao h(x) = 0 em [a, b].
Resolu
c
ao. Suponha que h(x) nao seja zero em [a, b], digamos que h(xo ) > 0, para algum
xo (a, b).

Na denicao de continuidade, fazendo =

x (xo , xo + ), entao h(x) > h(xo ) =


temos

h(x)dx

xo +

xo

h(xo )
2 .

h(x)dx

h(xo )
2 ,

existiria > 0, tal que se

Logo, como h(x) 0 e (a , a + ) [a, b],

xo +

xo

h(xo )
dx = h(xo ) > 0,
2

contrariando (43).

Teorema 2.2 Sejam h(x, t) e

t h(x, t)

d
dt

contnuas em [a, b] [c, d], ent


ao

h(x, t)dx =
a

para todo t [c, d].

58

h(x, t)dx,
t

(44)

2.6

Exerccios

1. Em cada problema a seguir, determinar se o metodo de separacao de variaveis pode ser


usado para substituir a equacao diferencial parcial dada por um par de equacoes diferenciais
ordinarias. Se for possvel, achar as equacoes.
(a) xuxx + ut = 0
(d) tuxx + xut = 0
(b) uxx + uxt + ut = 0

(e) [p(x)ux ]x r(x)utt = 0

(c) uxx + (x + y)uyy = 0

(f) uxx + uyy + xu = 0

2. Considere o problema de conducao de calor numa barra metalica de comprimento unitario,


descrito pela equacao:
100 uxx = ut ,

0<x<1 ,

Considere tambem as condicoes de contorno:

u(0, t) = 0
u(0, t) = 50
(I)
(II)
u(1, t) = 0
u(1, t) = 80

t>0

u (0, t) = 0
x
(III)
ux (1, t) = 0

Considere por m as distribuicoes iniciais de temperatura na barra dadas por:

(A) u(x, 0) = 10
(B) u(x, 0) = sen 2 x
(C) u(x, 0) = x2
Determine a solucao u(x, t) do problema com:
(a) Condicoes de contorno: I; condicao inicial: A
(b) Condicoes de contorno: I; condicao inicial: B
(c) Condicoes de contorno: I; condicao inicial: C
(d) Condicoes de contorno: II; condicao inicial: A
(e) Condicoes de contorno: II; condicao inicial: B
(f) Condicoes de contorno: II; condicao inicial: C
(g) Condicoes de contorno: III; condicao inicial: A
(h) Condicoes de contorno: III; condicao inicial: B
(i) Condicoes de contorno: III; condicao inicial: C

59

3. Considere uma barra de comprimento igual a 2. A seguinte equacao diferencial representa a


propagacao de calor nessa barra:
2uxx = ut
Essa barra possui, inicialmente, a temperatura em todos os seus pontos igual a 10, sendo que
as extremidades da barra possuem temperaturas xadas em 20, para x = 0, e em -20, para
x = 2. A barra e mantida assim ate entrar em equilbrio termico. Quando a barra atinge
equilbrio termico nessas condicoes (considere que esse instante e convencionado como t = 0)
suas extremidades sao subitamente levadas novamente `a temperatura de 10, sendo mantidas
xas nesse valor para todo tempo a partir desse instante.
(a) Determine a funcao que descreve a distribuicao de temperaturas na barra, em func
ao de
x, no instante t = 0.
(b) Calcule a funcao que descreve a distribuicao de temperaturas na barra, em funcao de x,
quando t = 5.
4. Considere uma barra de comprimento igual a 2. A seguinte equacao diferencial representa a
propagacao de calor nessa barra:
2uxx = ut
Supoe-se que a barra esteja inicialmente com temperatura igual a 0 em toda sua extensao, e
que no instante t = 0 as extremidades da barra sejam subitamente levadas `a temperatura de
10, sendo mantidas nessa temperatura desse momento em diante.
(a) Determine as equacoes diferenciais ordinarias que surgem quando se emprega o metodo
de separacao de variaveis para tratar esse problema.
(b) Calcule a funcao que descreve a distribuicao de temperaturas na barra em funcao de x
quando t = 5.
5. Considere uma barra de comprimento igual a 2. A seguinte equacao diferencial representa a
propagacao de calor nessa barra:
4uxx = ut
(a) Essa barra encontra-se com as extremidades (pontos x = 0 e x = 2) termicamente
isoladas, e possui, inicialmente, a temperatura em seus pontos dada por:
u(x, 0) = 5x2
60

A barra e deixada assim por varias horas, ate entrar em equilbrio termico. Determine
a equacao que descreve a distribuicao de temperaturas na barra quando o equilbrio e
atingido.
(b) Apos entrar em equilbrio termico, a barra subitamente tem os isolamentos termicos das
extremidades retirados, sendo as temperaturas nas extremidades xadas em u(0, t) = 20
e u(2, t) = 20 a partir desse instante (adote a convencao de que t = 0 no exato instante
em que o isolamento termico e retirado, e as temperaturas das extremidades sao xadas
nesses valores). Determine a funcao que descreve a distribuicao de temperaturas na
barra, em funcao de x e t, apos a barra ter as temperaturas de suas extremidades
xadas.
6. Considere uma barra de comprimento igual a 2. A seguinte equacao diferencial representa a
propagacao de calor nessa barra:
4uxx = ut
Essa barra possui, inicialmente, a temperatura em todos os seus pontos igual a 10, sendo
que as extremidades da barra possuem temperaturas xadas em 20, para x = 0, e em -20,
para x = 2. A barra e mantida assim por varias horas, ate entrar em equilbrio termico.
Quando a barra atinge equilbrio termico nessas condicoes, suas extremidades sao isoladas
termicamente, sendo mantidas isoladas a partir desse instante. (Dica: adote a convenc
ao de
que t = 0 no exato instante em que a barra recebe isolamento termico em suas extremidades).
(a) Determine a distribuicao de temperaturas na barra em funcao de x, no instante
imediatamente anterior `a colocacao do isolante termico nas extremidades da barra.
(b) Calcule a funcao que descreve a distribuicao de temperaturas na barra, em funcao de x
e t, apos a barra ter suas extremidades termicamente isoladas.

2.7

Trabalhos

Quest
ao 1. Considere a equacao da propagacao do calor em uma barra:
2 uxx (x, t) = ut (x, t)
A barra, de comprimento L e extremidades x = 0 e x = 0, e sujeita a dois experimentos distintos
(situacoes a e b), com diferentes temperaturas nas extremidades e diferentes distribuicoes iniciais

61

de temperatura, resultando em duas solucoes distintas para a equacao do calor. O relacionamento


das condicoes iniciais e de contorno com as solucoes da equacao e mostrado na tabela abaixo.
u(0, t)

u(L, t)

u(x, 0)

u(x, t)

(a)

0a

La

a (x)

ua (x, t)

(b)

0b

Lb

b (x)

ub (x, t)

As temperaturas das extremidades da barra sao agora xadas nos valores:


u(0, t) = 0a + 0b
u(L, t) = La + Lb
sendo dada a distribuicao inicial de temperaturas na barra:
u(x, 0) = a (x) + b (x)
Determine a funcao u(x, t) para essas condicoes iniciais e de contorno. (Observacao: o fato mostrado
neste exerccio e chamado de linearidade da equacao do calor).
Quest
ao 2. Deduza a expressao da solucao da equacao do calor em uma barra quando uma das
extremidades tem temperatura xa e a outra encontra-se termicamente isolada.
Quest
ao 3. Modique a solucao da equacao de Laplace, de tal forma que a mesma seja capaz de
representar a distribuicao em regime estacionario de temperaturas numa placa retangular quando a
temperatura nas fronteiras da placa e dada por quatro funcoes arbitrarias: h1 (x), h2 (x), h3 (y), h4 (y).
Quest
ao 4. Considere uma barra de 2m de comprimento, na qual a propagacao do calor obedece
`a equacao:
9uxx = ut
Essa barra faz parte de um sistema de troca de calor entre um recipiente no qual ocorre uma reac
ao
de combustao, e que ca `a temperatura de , e o meio ambiente, que se encontra `a temperatura
de 20o . Isso signica que, em uma das extremidades, a barra tem sua temperatura xada em , e
na outra em 20o . Um sensor de temperatura, de massa desprezvel, esta axado bem no meio da
barra, e nesse ponto ele mede a temperatura h(t) = u(1, t).
(a) Encontre a equacao diferencial ordinaria que relaciona a temperatura com a temperatura
h(t).
62

(b) Suponha que o recipiente, apos passar varias horas `a temperatura = 80o , subitamente tem
sua temperatura elevada para = 120o . Determinar a expressao de h(t) nesse caso.

63

2.8

A Equac
ao da Onda

Outra equacao diferencial parcial muito importante que aparece em matematica aplicada e a
equacao de onda. Ela aparece na descricao de fenomenos envolvendo a propagacao de ondas num
meio contnuo, por exemplo, no estudo de ondas ac
usticas, ondas de agua, ondas eletromagneticas
e ondas ssmicas. No apendice 5 temos a deducao da equacao da onda em uma dimensao espacial.
Desprezando os efeitos de amortecimento, como a resitencia do ar e se a amplitude do movimento
nao for muito grande, ela e dada por
utt = c2 uxx .
2.8.1

A Corda finita

O problema de vibracoes transversais de uma corda perfeitamente exvel, de comprimento L,


ligeiramente esticada entre dois suportes no mesmo nvel horizontal, de modo que o eixo dos x esteja
ao longo da corda (veja Figura), consiste em determinar uma funcao real u(x, t) (deslocamento da
corda no ponto x no instante t) denida para (x, t) [0, L] [0, ) que satisfaca `a equac
ao da
onda
utt = c2 uxx ,

(x, t) (0, L) (0, ),

(45)

que satisfaca `as condicoes iniciais


u(x, 0) = f (x),

0 x L,

(46)

ut (x, 0) = g(x),

0 x L,

(47)

onde f, g : [0, L] R sao funcoes dadas e, nalmente, que satisfaca `as condicoes de fronteira que
vamos descrever abaixo. Especicar as condicoes iniciais consiste em dizermos inicialmente qual a
forma da corda, representada por u(x, 0), e o modo que a corda e abandonada nesta posicao, o que
e traduzido pela velocidade inicial ut (x, 0). A constante c e a velocidade de propagacao da onda
no meio.
2.8.2

Condi
c
oes de fronteira

64

I - Corda finita com extremidades fixas. Suponhamos que a corda tenha comprimento L,
e que, quando em sua posicao de repouso, ela ocupe a porcao do plano (x, u) entre 0 e L. Assim,
a hipotese de extremidades xas implica que
u(0, t) = u(L, t) = 0,

t 0.

para

II - Corda finita com extremidades livres. Neste caso a corda de comprimento L, tem
suas extremidades forcadas a nao se afastarem de trilhos colocados perpendicularmente `a corda,
no plano (x, u) de vibracao. Isso implica
ux (0, t) = ux (L, t) = 0,

t 0.

para

III - Outras condi


c
oes de fronteira. Podemos ter o caso em que as extremidades se movem,
transversalmente, de acordo com leis conhecidas. Por exemplo,
u(0, t) = a(t),
2.8.3

u(L, t) = b(t),

para

t 0.

A corda vibrante com extremidades fixas

Considereremos o seguinte problema

utt = c2 uxx ,

em

u(0, t) = u(L, t) = 0,
u(x, 0) = f (x),

R,
para

t 0,

ut (x, 0) = g(x),

Vamos fazer separacao de variaveis.

para

0 < x < L.

Assumindo que a solucao do problema e da forma

u(x, t) = F (x)G(t), ao substituirmos esta expressao na equacao diferencial temos


F (x)
G (t)
= 2
F (x)
c G(t)
o que nos leva as seguintes equacoes diferenciais ordinarias
F F

= 0,

(48)

G = c2 G.

(49)

65

As condicoes de fronteira implicam F (0) = F (L) = 0, caso contrario, G(t) 0, o que nao nos
interessa. Assim, somos levados ao seguinte problema
F F

= 0,

F (0) = F (L) = 0,
2 2

que ja foi resolvido quando consideramos a equacao do calor: n = nL2 , para n = 1, 2, . . ., cujas
autofuncoes sao Fn (x) = sen nx
cao geral de (48) e
L . Para cada n , a solu
nct
nct
+ bn sen
,
L
L

Gn (t) = an cos

onde an e bn sao constantes arbitrarias. Logo, as funcoes


un (x, t) = an sen

nct
nx
nct
nx
cos
+ bn sen
sen
L
L
L
L

satisfazem a equacao de onda e as condicoes de fronteira. O passo seguinte e determinar os


coecientes an e bn , de modo que
)
(

nx
nct
nx
nct
u(x, t) =
an sen
cos
+ bn sen
sen
,
L
L
L
L

(50)

n=1

satisfaca `as condicoes iniciais. Isto implica que

f (x) =

an sen

n=1

nx
,
L

e e necessario que
2
an =
L

f (x) sen
0

nx
dx.
L

Para a determinacao dos bn , derivamos (formalmente) termo a termo a serie que dene u(x, t),
em relacao a t. Usando a segunda condicao inicial temos,
g(x) =

nc

n=1

bn sen

nx
,
L

logo, devemos ter


nc
2
bn =
L
L

g(x) sen
0

nx
dx,
L

de onde obtemos,
2
bn =
nc

g(x) sen
0

66

nx
dx.
L

Embora nao tenhamos feito nenhuma hipotese em f e g, sob a hipotese que f, f , f , g, g serem
contnuas e f e g serem seccionalmente contnuas em [0, L] e, alem disso, f (0) = f (L) = f (0) =
f (L) = g(0) = g(L) = 0; entao, os coecientes an e bn decairao pelo menos com

1
n3

e nao

teremos problemas de convergencia, todo o procedimento acima e rigoroso, nos levando a soluc
ao
do problema proposto.
Tendo em vistas as identidades trigonometricas
sen a cos b =
sen a sen b =

1
[sen (a + b) + sen (a b)],
2
1
[cos (a b) cos (a + b)],
2

a expressao (50) pode ser re-escrita como


)
(
n(x ct)
1
n(x + ct)
+ an sen
u(x, t) =
an sen
2
L
L
n=1
)
(
1
n(x ct)
n(x + ct)
+
bn cos
bn cos
2
L
L
n=1
)
(
1
n(x + ct)
n(x + ct)
=
an sen
bn cos
2
L
L
n=1
)
(
n(x ct)
n(x ct)
1
an sen
+ bn cos
+
2
L
L
n=1

F (x + ct) + G(x ct)


,
2

onde
F (w) =

nw
nw )
an sen
bn cos
L
L

n=1

e
G(w) =

an sen

n=1

nw
nw )
+ bn cos
.
L
L

Portanto, podemos escrever


u(x, t) =

F (x + ct) + G(x ct)


,
2

ou seja, a solucao do problema pode ser vista como a superposicao de duas ondas

F (xct)
2

G(x+ct)
,
2

que se propagam para a direita e esquerda, respectivamente, com velocidade c. Se g(x) = 0, ent
ao
bn = 0, para todo n e F = G, em particular,
F (x, t) =

F (x ct) + F (x + ct)
,
2

onde F (w) e o prolongamento periodico mpar de f com perodo 2L.


67

Exerccio 2.10 Mostre que a equac


ao de onda e linear, ou seja, se u1 (x, t) e u2 (x, t) forem duas
soluca
o de utt = c2 uxx , ent
ao, para quaisquer constantes c1 e c2 , u(x, t) = c1 u1 (x, t) + c2 u2 (x, t)
tambem ser
a soluc
ao da equac
ao de calor.
Exerccio 2.11 Mostre que se u1 (x, t) for soluc
ao de
utt = c2 uxx

em

u(0, t) = u(L, t) = 0,
u(x, 0) = f (x),

(0, L) (0, ),
t 0,

para

ut (x, 0) = 0,

para

0 x L,

e u2 (x, t) for soluc


ao de
utt = c2 uxx

em

u(0, t) = u(L, t) = 0,
u(x, 0) = 0,

(0, L) (0, ),
t 0,

para

ut (x, 0) = g(x),

para

0 x L,

ent
ao, u(x, t) = u1 (x, t) + u2 (x, t) e soluc
ao de
utt = c2 uxx

(0, L) (0, ),

em

u(0, t) = u(L, t) = 0,
u(x, 0) = f (x),

para

t 0,

ut (x, 0) = g(x),

para

0 x L.

Exerccio 2.12 Resolva o seguinte problema:


utt = uxx ,

0 < x < , t > 0

u(0, t) = 0 = u(, t),


u(x, 0) = sen x,

t0

ut (x, 0) = 0,

0 x .

Esboce os gr
acos de u(x, t) nos instantes t = 0, t = /2 e t = .
Resolu
c
ao. Como g(x) 0, segue-se que bn = 0 para todo n. Por outro lado,

2
an =
senx sen(nx) dx
0

1
(cos(n 1)x cos(n + 1)x)dx
=

0
1, se n = 1
=
,
0, n = 1
68

logo,
1
1
sen(x t) + sen(x + t),
2
2

u(x, t) = sen x cos t =

que a superposicao de duas ondas que se propagam com velocidade c = 1, se propagando em


direcoes opostas (veja Figuras 20 e 21, mostrando a solucao, dada em azul, como a superposic
ao de
duas ondas, gracos nas cores vermelho e verde, nos instantes t = /4 e t = /2. Note que quando
t = /2, as duas componentes estao completamente fora de fase e temos interferencia destrutiva,
u(x, /2) 0. Note que embora em cada instante, cada uma das duas ondas componentes tenham
amplitude variando nos pontos x = 0 e x = , nestes a interferencia e sempre destrutiva e
u(0, t) = 0 = u(, t), para todo t e temos dois nos nestes pontos.).

0.6

0.4

0.4

0.2

0.2
0.5
0.5

1.5

2.5

1.5

2.5

-0.2

-0.2

-0.4

Figura 20: O graco de u(x, /4) em azul.

Figura 21: O graco de u(x, /2) em azul.

Exerccio 2.13 Resolva o seguinte problema:


utt = uxx ,

0 < x < , t > 0

u(0, t) = 0 = u(, t),


u(x, 0) = 0

t0

ut (x, 0) = cos x,

0 x .

Mostre que se t = k/2, onde k Z, ent


ao a corda estar
a esticada horizontalmente, ou seja,
u(x, k/2) = 0 para todo x.

69

Resolu
c
ao. Como f (x) 0, segue-se que an = 0, para todo n. Por outro lado,

2
bn =
cos x sen(nx)dx
n 0

1
=
(sen(n + 1)x + sen(n 1)x) dx
n 0

0,
se n = 1
1 (
)
=

cos(n+1)x
cos(n1)x
, n = 1
n
+ n1
n+1
0

0,
se n = 1
.
=
n
1+(1)
2

, n = 1
2

n 1

Logo,

2 1 + (1)n
4
1
u(x, t) =
sen(nx) sen(nt) =
sen(2nx) sen(2nt).
2
2

n 1

4n 1
n=2

n=1

Em particular, u(x, k/2) = 0, k Z, para todo x. Alem disso, a solucao pode ser re-escrita como

1
2
1
2
cos[2n(x

t)]

cos[2n(x + t)] F (x t) F (x + t),


2
2

4n 1

4n 1
n=1
n=1

1
onde F (w) = 2
n=1 4n2 1 cos(2n w).

u(x, t) =

Exerccio 2.14 Resolva o seguinte problema:


utt = uxx ,

0 < x < , t > 0


t0

u(0, t) = 0 = u(, t),


u(x, 0) = sen x,

ut (x, 0) = cos x,

0 x .

Resolu
c
ao. Temos duas alternativas: (i) usar o Exercicio 2.11 que diz que a solucao do problema
acima e a soma das solucoes dos Exerccios 2.12 e 2.13 ou (ii) calcular diretamente os coecientes
an s e os bn s.

Exerccio 2.15 Resolva o seguinte problema:


utt = 4uxx ,

0 < x < 30, t > 0

u(0, t) = 0 = u(30, t), t 0

x,
0 x 10
10
u(x, 0) = f (x) =
30x , 10 x 30
20
ut (x, 0) = 0,

0 x 30.
70

Resolu
c
ao. Vimos que a solucao deste problema e da forma
(
)
(
))
(
( nx )
( nx )

nt
nt
u(x, t) =
an sen
cos
+ bn sen
sen
.
30
15
30
15
n=1

Como ut (x, 0) = 0, segue-se que bn = 0, para todo n. Por outro lado,


( 10
30
( nx )
( nx ) )
1
x
30 x
an =
sen
dx +
sen
dx
15
10
30
20
30
0
10
( n )
9
sen
=
.
n2 2
3
Portanto,

( )
(
)

( nx )
nt
9 sen n
3
sen
cos
.
u(x, t) = 2

n2
30
15
n=1

Note que a solucao acima pode ser re-escrita como


( )
( )
)
)
(
(

9 sen n
9 sen n
n(x 2t)
n(x + 2t)
3
3
u(x, t) =
+ 2
sen
sen
2 2
n2
30
2
n2
30
n=1

n=1

F (x 2t) + F (x + 2t),
onde

( )

( nw )
9 sen n
3
F (w) = 2
sen
,
2
n2
30
n=1

portanto, F (w) e o prolongamento periodico mpar de perodo 60 de f (x).

Exerccio 2.16 ( Corda com uma extremidade xa e a outra livre.) Suponha que uma corda el
astica
de comprimento L tenha a sua extremidade x = 0 xa (u(0, t)) = 0, t) e a extremidade x = L livre
(ux (L, t) = 0, t) e que ela seja colocada em movimento sem velocidade inicial a partir da posic
ao
inicial u(x, 0) = f (x). Mostre que o deslocamento da corda, u(x, t), e dado
(
)
(
)

(2n 1)x
(2n 1)ct
u(x, t) =
an sen
cos
,
2L
2L
n=1

onde
2
an =
L

f (x) sen
0

(2n 1)x
2L

)
dx.

Exerccio 2.17 ( Corda com as extremidades xas em alturas diferentes de zero.) Resolva o
seguinte problema
utt = c2 uxx ,
u(0, t) = ,

0 < x < L, t > 0

u(L, t) = ,

u(x, 0) = f (x),

t0

ut (x, 0) = g(x),
71

0 x L.

Sugest
ao. Encontre a posic
ao de equilbrio da corda, ou seja, uma func
ao U = U (x) que satisfaz
a equac
ao de onda e as condic
oes de contorno acima, ou seja, U (x) = +

x. Escreva

u(x, t) = U (x) + v(x, t), como u e U satisfazem a equac


ao de onda, segue da linearidade desta
equac
ao que v(x, t) tambem e soluc
ao da mesma; ou seja v e soluca
o de um problema conhecido:
vtt = c2 vxx ,
v(0, t) = 0,

0 < x < L, t > 0


t0

v(L, t) = 0,

v(x, 0) = f (x) U (x),

vt (x, 0) = g(x),

0 x L.

Exerccio 2.18 (Corda com ambas as extremidas livres.) Resolva o seguinte problema
utt = c2 uxx ,
ux (0, t) = 0,

0 < x < L, t > 0

ux (L, t) = 0,

u(x, 0) = f (x),

t0

ut (x, 0) = g(x),

0 < x < L.

Sugest
ao. Se assumirmos que u(x, t) = X(x)T (t), das condic
oes de contorno ux (0, t) = 0 =
ux (L, t), para todo t, devemos ter X (0) = 0 = X (L) e do metodo de separac
ao de vari
aveis temos
X = X, X (0) = 0 = X (L), veja soluca
o da equac
ao de calor para um o com extremidades
( n )2
e
isoladas. Temos n = L
Xn (x) = cos

( nx )
L

A equac
ao em T ca
T =

( n )2
L

n = 0, 1, 2, . . .

T,

a qual j
a foi resolvida, exceto, que agora, n pode ser zero e para este valor de n temos
To (t) = ao + bo t,
onde ao e bo s
ao constantes arbitr
arias. Para n 1, vimos que
(
)
(
)
nct
nct
Tn (t) = an cos
+ bn sen
.
L
L
Portanto, a soluc
ao da corda com as duas extremidades livres e da forma
(
)
(
))
(
( nx )

nct
nct
u(x, t) = ao + bo t +
an cos
+ bn sen
cos
.
L
L
L
n=1

72

Observa
c
ao 2.2 Note que no problema da corda com as extremidades livres, se
bo =

1
L

g(x)dx = 0,

ent
ao a corda se mover
a vertical e indenidamente para baixo ou para cima, dependendo do sinal
de bo .
Exerccio 2.19 Uma corda em movimento num meio el
astico satisfaz a equac
ao
c2 uxx 2 u = utt
onde 2 e proporcional ao coeciente de elasticidade do meio. Supondo que a corda est
a xa nas
suas extremidades e seja colocada em movimento sem velocidade inicial a partir da posic
ao inicial
u(x, 0) = f (x), 0 < x < L, encontre o deslocamento u(x, t).
Sugest
ao. Assuma que u(x, t) = X(x)T (t), portanto, das condic
oes de contorno, devemos ter
X(0) = 0 = X(L) e do metodo de separaca
o de vari
aveis, temos
X 2
T
=
2 =
c2 T
X
c
logo,
(
)
2
X = + 2 X X,
c

X(0) = 0 = X(L)

(51)

e
T = c2 T.
O problema de contorno (51) j
a apareceu no problema de conduc
ao de calor num o com
( n )2
extremidades mantidas `
a temperatura 0; ou seja, n = L
e
Xn (x) = sen
Por outro lado, n =

(( )
n 2
L

2
c2

(
Tn (t) = an cos

, n = 1, 2, . . .

)
, portanto,

T =
ou seja,

( nx )

( nc )2
L

((
nc )2
L

)
+ 2 T,

)
+ 2 t

73

(
+ bn sen

( nc )2
L

)
+ 2 t .

2.8.4

A Corda infinita e a F
ormula de DAlembert

Vamos agora estudar o problema de vibracao de uma corda de comprimento innito, a qual e
uma idealizacao de uma corda muito longa. Neste caso, nao ha condicoes de fronteira a satisfazer,
e, assim, o problema consiste em buscar uma funcao u(x, t) denida no semi-plano fechado, x R
e t 0, tal que

x R,

utt = c2 uxx ,
u(x, 0) = f (x),

t > 0,

ut (x, 0) = g(x),

x R,

onde f e g sao condicoes iniciais.


Note que se F (x) e G(x) sao duas funcoes com derivadas ate segunda ordem contnuas, ent
ao, a
funcao u(x, t) = F (x + ct) + G(x ct) satisfaz a equacao da onda. A pergunta natural e a seguinte
sera que podemos escolher estas funcoes de modo a satisfazer as condicoes iniciais, ou seja,
f (x) = u(x, 0) = F (x) + G(x)

(52)

g(x) = ut (x, 0) = cF (x) cG (x)?

(53)

Tomando a derivada de (52) em relacao a x e multiplicando a equacao resultante por c, temos


cF (x) + cG (x) = cf (x). Esta equacao juntamente com (53) nos conduz ao seguinte sistema
cF (x) + cG (x) = cf (x)
cF (x) cG (x) = g(x).
Somando as duas equacoes do sistema acima e dividindo o resultado por 2c, temos, temos
F (x) =

f (x) g(x)
+
.
2
2c

(54)

De maneira analoga, se subtrairmos a segunda equacao da primeira no sistema acima e


multiplicarmos o resultado por 2c, encontramos
G (x) =

f (x) g(x)

.
2
2c

Integrando as equacoes (54) e (55) de 0 a x, temos, respectivamente,

1 x
f (0) f (x)
+
+
g(s)ds
F (x) = F (0)
2
2
2c 0
74

(55)

e
f (0) f (x)
1
G(x) = G(0)
+

2
2
2c

g(s)ds.
0

Portanto,
u(x, t) = F (x + ct) + G(x ct)

f (x + ct) + f (x ct)
1 x+ct
1 xct
= F (0) + G(0) f (0) +
+
g(s)ds
g(s)ds
2
2c 0
2c 0

f (x + ct) + f (x ct)
1 x+ct
= F (0) + G(0) f (0) +
+
g(s)ds
2
2c xct

f (x + ct) + f (x ct)
1 x+ct
=
+
g(s)ds (pois, F (0) + G(0) = u(0, 0) = f (0)).
2
2c xct

Portanto, temos
1
f (x + ct) + f (x ct)
+
u(x, t) =
2
2c

x+ct

g(s)ds,
xct

Conhecida como formula acima e conhecida como a f


ormula de DAlembert.
No caso particular em que g(x) 0, temos
1
u(x, t) = [f (x + ct) + f (x ct)],
2
ou seja, a solucao e a superposicao de duas ondas. A funcao f (x + ct) e chamada uma onda
regressiva (se move para a esquerda) e f (x ct) e chamada uma onda progressiva (se move para a
direita).
No caso particular que f (x) 0, temos
u(x, t) =
onde h(w) =

w
0

1
1
h(x + ct)
h(x ct),
2c
2c

g(s)ds. Portanto, temos a superposicao de uma onda regressiva e uma progressiva.

Em geral, temos
u(x, t) = (x + ct) + (x ct),
onde
(w) =

1
1
f (w) +
h(w) e
2
2c

(w) =

1
1
f (w) h(w),
2
2c

ou seja, a solucao e a superposicao de duas ondas, que se propagam com mesma velocidade c e em
sentido contrario.

75

1
0.8
0.6
0.4
0.2
-3

-2

-1

Figura 22: Graco de g.


Exerccio 2.20 Suponha que f (x) 0 e que o gr
aco de g(x) e aquele mostrado na Figura 22.
(a) Encontre u(x, t).
(b) Esboce o gr
aco de u(x, 0) e u(x, 1).
w
h(x+ct)h(xct)
, onde h(w) = 0 g(s)ds.
2c
0
h(w) = w g(s)ds = 0, pois, g(s) = 0
w
1
0 g(s)ds = 0 g(s)ds = 1. Finalmente,

Resolu
c
ao. Da formula de DAlembert, temos u(x, t) =
Claramente, u(x, 0) 0. Note que se w < 0, entao,

para s 0. Por outro lado, se w > 1, entao, h(w) =


w
w
se 0 < w < 1, entao, h(w) = 0 g(s)ds = 0 ds = w. Logo, o graco de h(w) e aquele que esta

mostrado na Figura 23. O graco de u(x, 1) e mostrado na Figura 24, cada unidade no eixo vertical
vale c.
0.5

-6

-4

-2

0.8

0.4

0.6

0.3

0.4

0.2

0.2

0.1
2

-6

-4

-2

Figura 24: u(x, 1) =

Figura 23: Graco de h(x).

h(x+1)h(x1)
,
2

(c = 1).

Exerccio 2.21 Considere uma corda innita inicialmente esticada horizontalmente, com
velocidade inicial ut (x, 0) dada pela func
ao cujo gr
aco aparece na Figura 27. Supondo que c = 1,
mostre que u(x, t) = h(x + t) h(x t), onde o gr
aco de h e dado na Figura 25.
w
Solu
c
ao. Da formula de DAlembert, u(x, t) = h(x+ct)h(xct)
, onde h(w) = 0 g(s)ds. Note que
2c
0
0
0
ao,
se w < 1, entao, h(w) = w g(s)ds = 1 g(s)ds = 1 (1 + s)ds = 21 . Se w > 1, ent
1
1

w
h(w) = 0 g(s)ds = 0 (1 s)ds = 21 . Se 0 < w < 1, entao, h(w) = 0 (1 s)ds = w w2 /2.
76

0.5
0.4
0.3
0.2
0.1
-6

-4

-2

Figura 25: Graco de h.


Finalmente, se 1 < w < 0, entao, h(w) =

w (1

+ s)ds = w + w2 /2. Portanto,

0.5,
w1

w + w2 /2, 1 < w 0
h(w) =
.
w w2 /2, 0 < w 1

0.5,
w>1
Veja o graco de h na Figura 26.
0.4
0.2

-3

-2

-1

-0.2
-0.4

Figura 26: Graco de h.

Exemplo 2.12 Suponha que c = 1 na equac


ao da onda e que a forma inicial da corda seja dada
na Figura 27. Esboce os gr
acos de u(x, t) para t = 0.25, 0.5, 0.75, 1 e 1.5.
Resolu
c
ao. Os esbocos seguem imediatamente da formula de DAlembert e sao mostrados nas
Figuras 27-32. Note que no instante t = 1 uma onda acaba de passar pela outra e a partir deste
instante elas se movem independentemente.

77

0.7
0.6

0.8

0.5
0.6

0.4
0.3

0.4

0.2
0.2
-3

-2

-1

0.1
1

-3

-2

-2

0.5

0.4

0.4

0.3

0.3

0.2

0.2

0.1

0.1

-1

-3

f (x+0.5)+f (x0.5)
.
2

-2

-1

Figura 30: u(x, 0.75) =


0.5

0.4

0.4

0.3

0.3

0.2

0.2

0.1

0.1

-1

-3

f (x+1)+f (x1)
.
2

-2

-1

Figura 32: u(x, 1.5) =

f (x+0.25)+f (x0.25)
.
2

0.5

Figura 31: u(x, 1) =

2.9

0.5

Figura 29: u(x, 0.5) =

-3

-1

Figura 28: u(x, 0.25) =

Figura 27: u(x, 0) = f (x).

-3

-2

f (x+0.75)+f (x0.75)
.
2

f (x+1.5)+f (x1.5)
.
2

Exerccios

1. Considere o problema de vibracao de uma corda elastica xa nas duas extremidades, com
comprimento L = 2, que obedece `a equacao:
9uxx = utt

78

Considere as seguintes funcoes que descrevem a posicao inicial da corda, em situac


oes
distintas:
(I) u(x, 0) = 0

(II) u(x, 0) = sen

x
2

2x ,
(III) u(x, 0) =

0x<1

2(x 2)2 ,

1x2

Considere tambem as seguintes funcoes que descrevem a velocidade inicial da corda em cada
ponto, tambem em situacoes distintas:
(A) ut (x, 0) = 0
(B) ut (x, 0) = sen

3x
2

(C) ut (x, 0) = (x 1)2 1


Determine a solucao u(x, t) do problema para:
(a) Condicoes iniciais I e A.
(f) Condicoes iniciais II e C.
(b) Condicoes iniciais I e B.
(g) Condicoes iniciais III e A.
(c) Condicoes iniciais I e C.
(h) Condicoes iniciais III e B.
(d) Condicoes iniciais II e A.
(i) Condicoes iniciais III e C.
(e) Condicoes iniciais II e B.
2. Considere uma corda de comprimento igual a 5, xa nas duas extremidades. A seguinte
equacao diferencial descreve o movimento oscilatorio que ocorre na corda:
4uxx = utt
A corda encontra-se inicialmente com deslocamento nulo em toda sua extensao, e a velocidade
inicial de cada ponto da corda e dada pela expressao:
ut (x, 0) = sen(3x)
(a) Determine a funcao que descreve a posi
c
ao da corda, em cada ponto, em func
ao do
tempo.
79

(b) Determine a funcao que descreve a velocidade da corda, em cada ponto, em func
ao do
tempo.
(c) Determine a expressao da posi
c
ao da corda, em cada ponto, no instante t = 10.
(d) Determine a expressao da velocidade do ponto x = 2, em funcao do tempo.
(e) Supondo que o movimento da corda produza um sinal de som, que freq
uencias estarao
presentes nesse sinal de som?

80

2.10

A Equac
ao de Laplace

Seja u = u(x1 , . . . , xn ) de classe C 2 num subconjunto aberto e conexo Rn . Denimos o operador


Laplaciano como
u =

2u
i=1

x2i

Em duas e tres dimensoes temos


u

2u 2u
+ 2.
x2
y

e
u

2u 2u 2u
+ 2 + 2,
x2
y
z

respectivamente.
A equacao de Laplace e dada por
u = 0.
Ela Laplace aparece no estudo de campos eletrostaticos, descrevendo a funcao potencial num
meio dieletrico sem cargas eletricas.
Exerccio 2.22 (Linearidade da Equac
ao de Laplace.) Mostre que se u1 e u2 satiszerem a equac
ao
de Laplace, ent
ao, c1 u1 + c2 u2 , tambem satisfar
a, para quaisquer escolhas das constantes c1 e c2 .
Portanto, se u1 , . . . , un forem soluc
oes da equac
ao de Laplace, ent
ao, c1 u1 + . . . + cn un tambem
ser
a, para quaisquer valores das constantes c1 , . . . , cn .
No que se segue sera uma regiao aberta e conexa do plano (ou do espaco). Denotaremos por
a fronteira de e = . Em muitas aplicacoes, sera, por exemplo, um disco, um
retangulo, um semi-plano, um cubo ou uma esfera.
Uma funcao com derivadas parciais ate segunda ordem contnuas u : R sera harm
onica
se ela satiszer `a equacao de Laplace em .
Exemplo 2.13 Alguns exemplos de func
oes harm
onicas.
(a) u(x, y) = ax + by + c, onde a, b e c s
ao constantes arbitr
arias.
(b) u(x, y) = x2 y 2 .
(c) Se f for uma func
ao analtica complexa, ent
ao suas partes real e imagin
arias ser
ao func
oes
harm
onicas.
81

Exerccio 2.23 Determine relac


oes entre as constantes a, b e c de modo que u(x, y) = ax2 + bxy +
cy 2 seja harm
onica.
Exerccio 2.24 (O Laplaciano em coordenadas polares) Seja v = v(r, ), mostre que
v = vrr +

1
1
vr + 2 v .
r
r

Resolu
c
ao. Em coordenadas polares temos a transformacao x = r cos e y = rsen, cuja
transformacao inversa e
r = r(x, y) =
logo rx =

x
r

x2 + y 2 e = (x, y) = tg 1

= cos , x = sen
r , ry = sen e y =

cos
r ,

(y)
x

portanto, se f = f (r, ), onde r = r(x, y)

e = (x, y), pela regra da cadeia, temos


sen
f
r
cos
f .
= fr ry + f y = sen fr +
r

fx = fr rx + f x = cos fr

(56)

fy

(57)

Aplicando a regra da cadeia novamente a fx = fx (r, ), fy = fy (r, ), onde r = r(x, y) e = (x, y),
temos
fxx =
=
=
fyy =
=
=

)
)
(
(
sen
sen
sen
f
cos fr
f
(fx )r rx + (fx ) x = cos cos fr
r
r
r
r

(
)
(
)
sen
sen
sen
cos
sen
cos cos frr + 2 f
fr
sen fr + cos fr
f
f
r
r
r
r
r
2
2
sen cos
sen cos
sen
sen
fr + 2
fr
cos2 frr 2
f +
f +
2
2
r
r
(
)r
(r
)
cos
cos
cos
(fy )r ry + (fy ) y = sen sen fr +
f +
sen fr +
f
r
r
r
r

(
)
(
)
cos
cos
cos
cos
sen
sen sen frr 2 f +
fr +
cos fr + sen fr +
f
f
r
r
r
r
r
sen cos
sen cos
cos2
cos2
sen2 frr 2
f
+
2
f
+
f
+
f .
r

r
r2
r
r
r2

Somando-se as expressoes para fxx e fyy acima e supondo que f tenha derivadas ate segunda ordem
contnuas na variaveis r e , portanto, fr, = f,r , temos
1
1
fxx + fyy = frr + fr + 2 f ,
r
r
com isso concluimos a resolucao do exerccio.

82

Note que de (56) e (57), se zermos r = (cos , sen) e b = (sen, cos ), entao
1
1
b
f = (fx , fy ) = (cos , sen) vr + (sen, cos ) v = vr r + v ,
r
r
que e que nos da o gradiente de uma funcao f dada em coordenadas polares.
Exemplo 2.14 Do Teorema de Green, temos

I
(Qx Py )dxdy =

P dx + Qdy,

onde e percorrida no sentido anti-hor


ario, P, Q s
ao func
oes de Classe C 1 num aberto contendo
. Fazendo P = uuy e Q = uux , do Teorema de Green temos

I
(uu)dx =
uuy dx + uux dy,

mas se x = x(t) e

y = y(t), onde t [a, b] e uma parametrizac


ao para a curva , ent
ao podemos

escrever
I

uuy dx + uux dy =

(uuy x + uux y )dt

=
a

=
Ia

uu (y , x )dt

uu n x2 + y 2 dt

onde

u
n

u
ds
n

,x )
= u n e n = (y 2
e o vetor normal unit
ario de . Portanto, temos
2
x +y

I
(uu)dxdy =

Em particular se u ou

u
n

u
ds.
n

(58)

for nulo em a integral acima e zero.

Quanto R3 e e a superfcie fronteira de , temos uma f


ormula similar a (58) e ela
segue imediatamente do Teorema da Divergencia.
Exemplo 2.15 Podemos fazer a seguinte pergunta: quais s
ao as func
oes harm
onicas v(r, ) que
s
o dependem da dist
ancia r `
a origem? Se v(r, ) = f (r), ent
ao v ser
a harm
onica se e somente se
f (r) +

1
f (r) = 0,
r
83

que e uma equac


ao diferencial de segunda ordem redutvel `
a uma equac
ao de primeira ordem.
Imediatamente, encontramos que f (r) = 1 e f (r) = ln r como duas soluc
oes linearmente
indenpendentes da equac
ao acima. A func
ao ln r e, portanto, uma func
ao harm
onica na regi
ao
= R2 {(0, 0)}, que e independente de .
O problema de Dirichlet para a equacao de Laplace e formulado da seguinte forma: dada
uma funcao contnua f : R, determinar uma funcao u : R, tal que
(i) u C 2 () C o (), ou seja, u seja contnua em e de classe C 2 em
(ii) u = 0 em e
(iii) u = f em (condicao de fronteira).
O problema acima e altamente nao-trivial para uma regiao arbitraria e nem sempre tem
solucao. Neste texto nos limitaremos a regioes retangulares ou discos, para as quais iremos obter
as solucoes atraves de series de Fourier.
Exemplo 2.16 (Unicidade do Problema de Dirichlet) A seguir mostraremos que o Problema de
Dirichlet para a equac
ao de Laplace admite no m
aximo uma soluc
ao u C 0 () C 2 (). De fato,
temos a seguinte identidade que imediata:
(uu) = u u + uu =

u2xi + uu,

i=1

integrando esta identidade sobre , temos


n
2
uxi (x)dx +
u(x)u(x)dx
(u(x)u(x))dx =

i=1

usando a equac
ao (58) e o coment
ario sobre a mesma, `
a integral do lado esquerdo da equac
ao
acima, temos

u(u) n dS =


n
i=1

u2xi dx +

uudx.

(59)

Se u1 e u2 fossem soluc
oes C 0 () C 2 () do problema de Dirichlet para a equac
ao de Laplace,
ent
ao u = u1 u2 C 0 () C 2 (), u = 0 em e u = 0 em . O fato de u = 0 em faz
com que o lado esquerdo de (59) seja zero, como u = 0 em , a segunda integral do lado direito
de (60) se anula. Portanto, teramos

n
i=1

u2xi (x)dx = 0,

(60)

o que implicaria que uxi = 0, para todo i = 1, . . . , n e x , portanto u e constante em , como


u C 0 () e u = 0 em , segue que u = 0 em , portanto, u1 = u2 em .
84

2.10.1

O Problema de Dirichlet no ret


angulo

Neste problema a regiao e o retangulo 0 < x < a e 0 < y < b. A sua fronteira consiste de
quatro segmentos aos quais devemos especicar as condicoes de fronteira:

u(x, 0) = fo (x),

u(x, b) = f1 (x), 0 < x < a

u(0, y) = go (y),

u(a, y) = g1 (y), 0 < y < b.

Note que se quisermos que a condicao de fronteira seja contnua, devemos ter as seguintes
condicoes de compatibilidade: fo (0) = go (0), fo (a) = g1 (0) e g1 (b) = f1 (a) e f1 (0) = go (b). Se essas
condicoes nao forem satisfeitas, pode-se ainda encontrar uma funcao harmonica, u, em , a qual
satisfaz `as condicoes de fronteira num certo sentido, mas que nao podera ser contnua em .
Exerccio 2.25 Mostre que para se resolver problema acima, basta considerarmos as soluc
oes de
quatro problemas, cada um dos quais com condic
oes de fronteira zero em tres lados do ret
angulo e
mantendo-se a condic
ao de fronteira dada no quarto lado. A soma das quatro soluc
oes obtidas nos
d
a a soluc
ao do problema original (veja Exerccio 2.22).
ao de fronteira n
ao for zero em algum dos vertices
Observa
c
ao 2.3 No Exerccio 2.25, se a condic
do ret
angulo, ent
ao cada uma das soluc
oes com condic
oes de fronteira n
ao-nula nos lados que
contem estes vertices ser
ao descontnuas nestes vertices, pois, nestes a soluc
ao em serie converge
para zero que n
ao e o valor especicado pela condic
ao de fronteira; contudo, sob a hip
otese de
continuidade da condic
ao de fronteira do problema original, cada uma das soluc
oes ser
a contnua
em todos os pontos da fronteira, exceto, naqueles vertices onde a condic
ao n
ao for zero e, por
conseguinte, ao somarmos as quatro soluc
oes teremos uma soluc
ao que ser
a continua em todos os
pontos da fronteira, exceto, nos vertices onde a condic
ao de fronteira n
ao e zero e podemos denir
a soluc
ao nestes por continuidade (de modo que ela seja contnua em todos os pontos da fronteira):
nos vertices onde as condic
oes de fronteira do problema original n
ao forem zero, faca u igual ao
valor das condic
oes de fronteira nestes pontos; nos demais pontos, faca u igual `
a soma das quatro
soluco
es obtidas no Exerccio 2.25.
Como os quatro problemas descritos no exerccio acima sao similares, iremos considerar apenas
aquele correspondente `as seguintes condicoes de fronteira:
u(x, 0) = f (x), u(x, b) = u(0, y) = u(a, y) = 0.
85

Vamos assumir que f (0) = f (a) = 0 e que f seja contnua. Usaremos o metodo de separac
ao
de variaveis e assumiremos que u(x, y) = X(x)Y (y). Substituindo esta expressao na equac
ao de
Laplace, temos
X
Y
=
= ,
X
Y
onde e um parametro independente de x e y. Portanto, temos
X X = 0,

(61)

Y + Y

(62)

= 0.

Da condicao de fronteira, u(0, y) = 0 = u(a, y), como nao queremos que Y seja identicamente
nula, devemos ter X(0) = 0 = X(a). Portanto, devemos ter = n2 2 /a2 . Portanto, para cada
n, Xn (x) = sen nx
a solucao de (61) e a equacao (62) ca
a ser

n2 2
Y
a2

= 0,

(63)

cuja solucao geral e


Y (y) = an eny/a + bn eny/a .
Da condicao de fronteira u(x, b) = 0, como nao queremos X 0, devemos ter Y (b) = 0, o que
nos da a seguinte relacao: bn = an e2nb/a , portanto,
Y (y) = an eny/a an e2nb/a eny/a
(
)
= an enb/a e(n/a)(yb) e(n/a)(yb)
(
)
(n/a)(yb) e(n/a)(yb)
e
= 2an enb/a
2
2an enb/a senh
senh
Portanto, un (x, y) = sen nx
a senh

n(y b)
a

n(b y)
Yn (y).
a
n(by)
a

e harmonica e satisfaz as condicoes de fronteiras,

exceto, u(x, 0) = f (x). Tentaremos uma solucao da forma

u(x, y) =

n=1

cn sen

nx
n(b y)
senh
.
a
a

86

Os coecientes cn s tem que ser escolhidos de modo que

f (x) = u(x, 0) =

cn senh

n=1

nb
nx
sen
,
a
a

ou seja,
nb
2
cn senh
=
a
a

f (x) sen
0

nx
dx fn .
a

Portanto,
u(x, y) =

fn

senh n(by)
a
senh

n=1

nb
a

sen

nx
,
a

onde
2
fn =
a

f (x) sen
0

nx
dx.
a

Exerccio 2.26 ( O Problema de Dirichlet numa faixa semi-innita) Encontre a soluc


ao da
equac
ao de Laplace na faixa 0 < x < a, y > 0, que satisfaz as condic
oes
u(0, y) = 0, u(a, y) = 0, y > 0, u(x, 0) = f (x), 0 x a,
alem disso, u(x, y) tende a zero quando y tende a innito.
( )2
Resolu
c
ao. Por causa das condicoes de fronteira u(0, y) = 0 = u(a, y) = 0, vimos que = n
a
( nx )
e Xn (x) = sen a , portanto, a solucao geral da equacao em y apos a separacao de variaveis e
Yn (y) = an eny/a + bn eny/a . Como queremos u(x, y) tenda a zero quando y , devemos fazer
an = 0. Portanto a solucao sera
u(x, y) =

cn sen

n=1

nx ny/a
e
,
a

onde
2
cn =
a

f (x) sen
0

nx
dx.
a

Exerccio 2.27 Resolva o problema de Dirichlet no ret


angulo, satisfazendo `
as seguintes condic
oes
de fronteira:
u(x, 0) = 3 sen(2x) 0.5 sen(9x), u(x, b) = u(0, y) = u(a, y) = 0.
87

Exerccio 2.28 Resolva o problema de Dirichlet no ret


angulo, satisfazendo `
as seguintes condic
oes
de fronteira:
u(x, 0) = x(a x), u(x, b) = u(0, y) = u(a, y) = 0.
Exerccio 2.29 Mostre que a soluc
ao do problema de Dirichlet com condic
oes de contorno
u(x, 0) = 0, u(x, b) = f (x), u(0, y) = 0, u(a, y) = 0
e
u(x, y) =

( ny )

senh

fn

senh

n=1

a
( nb
) sen

( nx )

onde
2
fn =
a

f (x) sen
0

nx
dx.
a

Exerccio 2.30 Mostre que a soluc


ao do problema de Dirichlet com condic
oes de contorno
u(x, 0) = 0, u(x, b) = 0, u(0, y) = 0, u(a, y) = f (y)
e
)
(
( ny )
senh nx
b
( na ) sen
u(x, y) =
fn
,
b
senh b
n=1

onde
2
fn =
b

f (y) sen
0

ny
dy.
b

Exerccio 2.31 Resolva o problema de Dirichlet no ret


angulo 0 < x < 3 e 0 < y < 2,
u(x, 0) = u(0, y) = u(x, 2) = 0, u(3, y) = f (y), onde

y,
se 0 y 1
f (y) =
2 y, se 1 y 2.
Exerccio 2.32 Encontre a soluc
ao da equaca
o de Laplace na faixa 0 < y < b, x > 0, que satisfaz
as condic
oes
u(x, 0) = 0, u(x, b) = 0, x > 0, u(0, y) = f (y), 0 y b.

88

Exerccio 2.33 Resolva o problema de Dirichlet no quadrado 0 < x < e 0 < y < ,
u(x, 0) = 1 + sen x, u(0, y) = u(x, ) = u(, y) = 1.
Sugest
ao.

Veja este problema como a soluc


ao de dois problemas de Dirichlet no quadrado

0 < x < e 0 < y < , sendo que para um deles a condic


ao de fronteira e constante e igual
a 1.
Exerccio 2.34 Mostre que a soluc
ao do problema de Dirichlet com condic
oes de contorno
u(x, 0) = 0, u(x, b) = 0, u(0, y) = f (y), u(a, y) = 0
e
u(x, y) =

fn

n=1

senh n(ax)
ny
b
sen
,
na
senh b
b

onde
2
fn =
b

f (y) sen
0

ny
dy.
b

Defini
c
ao 2.1 (O problema de Neumann para a equa
c
ao de Laplace) Ao inves de
especicarmos o valor de u na fronteira da regi
ao considerada, neste problema especicamos a
componente do gradiente de u na direc
ao do vetor normal unit
ario `
a fronteira em cada ponto,
chamado de derivada normal de u no ponto dado e denotada por
u n.
No caso de um ret
angulo, a derivada normal ser
a ux ou uy , dependendo do lado ser perpendicular
ao eixo dos x ou ao eixo dos y, respectivamente. Por que?
Exemplo 2.17 (Unicidade dos problema de Neumann) Suponha que tivessemos duas
soluco
es u1 e u2 , seja u = u1 u2 . Note que a equac
ao (60) continua sendo v
alida se u n = 0
em e concluimos que a soluc
ao do problema de Neumann e unicamente determinada a menos
de uma constante.
Exerccio 2.35 Mostre que a soluc
ao da equac
ao de Laplace com condic
oes de fronteira
uy (x, 0) = 0, uy (x, b) = 0, ux (0, y) = 0, ux (a, y) = f (y),
onde

b
0

f (y)dy = 0, e determinada a menos de uma constante e encontre esta soluc


ao.
89

Resolu
c
ao. Das condicoes de fronteira, uy (x, 0) = 0 = uy (x, b) = 0, temos Y (0) = 0 = Y (b),
portanto, temos o seguinte problema:
Y = Y,
n2 2
(n =
b2
n2 2

X = b2 X e

Portanto, =

Y (0) = 0 = Y (b).

0, 1, . . .) e a solucao e proporcional a Yn (y) = cos

( ny )
b

. A outra

em virtude da condicao de contorno ux (0, y) = 0, temos que X(x) sera


(
)
proporcional a Xn (x) = cosh nx
cao sera da forma
b . Portanto a solu
equacao ca

( ny )
( nx )
ao
cos
.
+
an cosh
2
b
b

u(x, y) =

n=1

Da condicao de contorno, ux (a, y) = f (y), devemos ter


f (y) =

n=1

an

( n )
b

senh

( na )
b

cos

( ny )
b

que, por se tratar da serie de cossenos de f (y), a qual nao possui o termo constante, so tem soluc
ao
b
b
se 0 f (y)dy = 0. Como a condicao 0 f (y)dy = 0 acontece por hipotese, devemos ter
( na ) 2 b
( ny )
nan
senh
=
f (y) cos
dy,
b
b
b 0
b

n = 1, 2, . . .

em particular, nao sabemos quanto vale ao , ou seja, a solucao e determinada a menos desta
constante.

O exerccio acima nos mostra que nao para qualquer f que o problema de Dirichlet tem soluc
ao,
mais precisamente, neste problema so teremos solucao se f tiver media zero e, neste caso, a soluc
ao
nao sera u
nica, ela e determinada a menos de uma constante aditiva.
Defini
c
ao 2.2 (Condi
c
oes de fronteira mista) Consiste em especicarmos o valor de u em
parte da fronteira e no restante da mesma especicarmos a componente do gradiente de u na
direc
ao do vetor unit
ario normal `
a fronteira em cada ponto.
c
ao da equa
c
ao de Laplace com condi
c
oes de
Exemplo 2.18 (Unicidade da solu
fronteira mista) Suponha que tivessemos duas soluc
oes u1 e u2 , seja u = u1 u2 . Note que
a equac
ao (60) continua sendo v
alida se u = 0 numa porc
ao de e u n = 0 na outra porc
ao
de e concluimos u e constante em , sendo u contnua em e zero em algum ponto de (no
presente caso num ponto de ) , ela tem que ser identicamente nula em . Portanto, u1 = u2
em .
90

Exerccio 2.36 Encontre da equac


ao de Laplace com condico
es de fronteira
u(0, y) = 0, u(a, y) = 0, 0 < y < b, uy (x, 0) = 0, uy (x, b) = f (x), 0 x a.
Suponha que

f (x) =

se 0 x a/2

x,

a x,

se a/2 x a.

Encontre u(x, y).


Resolu
c
ao. Das condicoes de fronteira u(0, y) = 0 = u(a, y), temos o seguinte problema:
X = X,

X(0) = 0 = X(a),

2 2

portanto, = na2 (n = 1, 2, . . .) e a solucao e proporcional a Xn (x) = sen

equacao ca Y =

( nx )
a

n2 2
a2

. A outra

Y e em virtude da condicao de contorno uy (x, 0) = 0, temos que Y (y) sera


)
(
cao sera da forma
proporcional a Yn (y) = cosh ny
a . Portanto a solu
u(x, y) =

an cosh

( ny )

n=1

sen

( nx )
a

Da condicao de contorno, uy (x, b) = f (x), devemos ter


f (x) =

an

( n )
a

n=1

portanto,
nan
senh
a

nb
a

)
=

2
a

(
senh

f (x)sen

nb
a

)
sen

( nx )

( nx )

dx,

n = 1, 2, . . . .

Resolva o problema para o caso particular do f dado.

Exerccio 2.37 Resolva o seguinte problema de Dirichlet no quadrado:


u(x, 0) = sen 3x,

u(, y) = sen y 0.5 sen 5y,

91

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

2.10.2

O Problema de Dirichlet no disco

Seja o disco aberto x2 + y 2 < a2 , queremos encontrar uma funcao u C 2 () C o (), tal que
uxx + uyy = 0

em ,

e
u=f

em ,

onde g e contnua. Como u C o (), em particular, u tem que ser limitada no disco fechado .
Fazendo v(r, ) = u(r cos , rsen) e f () = g(a cos , a sen), entao f e v sao periodicas de
perodo 2 na variavel e v deve ser solucao do problema

vrr +

1
1
vr + 2 v = 0,
r
r

v(a, ) = f (),

0 r < a,

0 2.

(64)

Usando separacao de variaveis, buscaremos solucoes da forma v(r, ) = R(r)(). Substituindo


esta expressao em (64), temos
r2 R + rR + R = 0,
= 0,

(65)
( + 2) = ().

(66)

Como dever ser uma funcao periodica de perodo 2, conclui-se que = n2 , n 0, e que a
solucao geral de (66) e
n () = an cos n + bn sen n.
A equacao (65) ca
r2 R + rR n2 R = 0,

(67)

que e uma equacao de Euler. Para resolve-la podemos fazer a seguinte mudanca na vari
avel
independente r = et ou t = ln r. Portanto, da regra da cadeia, temos
d
R =
dr
d2
R =
dr2

d
dt
d
R(r)
= et R
dt ( dr
)
(dt
)
( 2
)
d dR
d
dt
dR
t dR
2t d R
=
e
=e

,
dr dr
dt
dt dr
dt2
dt

e temos a seguinte equacao diferencial linear de segunda ordem com coecientes constantes:
d2 R
n2 R = 0.
dt2
92

(68)

Note que para n = 0 esta equacao ca

d2 R
dt2

= 0, cuja solucao geral e c1 + c2 t, voltando `a vari


avel

inicial, temos R(r) = c1 + c2 ln r; ou seja, para n = 0 temos 1 e ln r como solucoes linearmente


independentes de (67). Para n = 0, a solucao geral de (68) e c1 ent + c2 ent e em termos da
variavel original, temos R(r) = c1 rn + c2 rn ; portanto, temos rn e rn como solucoes linearmente
independentes de (67). As solucoes, rn e ln r serao descartadas no presente caso, pois, nos
dariam solucoes v(r, ) ilimitadas na origem, portanto, nao podem ser contnuas neste ponto. Logo,
tomaremos Rn (r) = rn , para n 0. Para cada n,
vn (r, ) = rn (an cos n + bn sen n) ,
onde an e bn sao constantes arbitrarias e solucao de (64). Para satisfazermos a condicao de fronteira
v(a, ) = f (), vamos tentar

v(r, ) =

ao n
+
r (an cos n + bn sen n) .
2
n=1

devemos ter

ao n
f () = v(a, ) =
+
a (an cos n + bn sen n) ,
2
n=1

logo,

1
an a =

f () cos n d

1
bn a =

f ()sen n d.
0

Exerccio 2.38
(a) Mostre que a soluc
ao da equac
ao de Laplace na regi
ao semi-circular r < a, 0 < < , que
satisfaz as condic
oes de contorno
u(r, 0) = 0, u(r, ) = 0, 0 r < a
u(a, ) = f (), 0 ,
admitindo que ela est
a bem denida e e limitada na regi
ao dada e
u(r, ) =

bn rn sen(n),

n=1

onde
2
a bn =

f ()sen(n) d.
0

(b) Supondo que f () = ( ), encontre a soluca


o u.
Sugest
ao. Veja o Exerccio 2.41.
93

Exerccio 2.39 Encontre a soluc


ao da equac
ao de Laplace fora do crculo de raio a, que satisfaz
as condic
oes de contorno
0 < 2,

u(a, ) = f (),
que est
a bem denida e e limitada para r > a.

Resolu
c
ao. Este problema e bastante parecido com o problema de Dirichlet no disco, as soluc
oes
deverao ser periodicas de perodo 2. Na resolucao da equacao de Laplace no crculo, devemos
descartar rn e ln r, pois estas nao sao nitas fora do disco. Portanto, a solucao sera da forma

u(r, ) =

a0 n
+
r (an cos n + bn sen n) ,
2
n=1

onde
an

1
=

f () cos n d

bn

1
=

f ()sen n d.
0

Exerccio 2.40 Encontre a soluc


ao da equac
ao de Laplace na regi
ao anular a < r < b, que seja
independente de e satisfaca as seguintes condic
oes de fronteiras u(a, ) = Va e u(b, ) = Vb , para
0 < 2.
Resolu
c
ao.

Como a solucao deve ser independente de ,( do )Exemplo 2.15, ela e da forma

u(r) = c1 + c2 ln r. Das condicoes de fronteiras, temos c1 =

bVa
aVb
ln ab

ln

( )

e c2 =

Va c1
ln a .

Exerccio 2.41 Seja 0 < < 2. Mostre que a soluc


ao da equac
ao de Laplace no setor circular
0 < r < a e 0 < , com condic
oes de fronteira u(r, 0) = 0 = u(r, ), 0 r < a e u(a, ) = f (),
0 e
u(r, ) =

bn r

(
sen

n=1

onde
bn a

f ()sen
0

94

)
,

)
d.

Sugest
ao. Neste caso ao inves da hip
otese de u ser peri
odica de perodo 2, devemos usar as
condic
oes de fronteira u(r, 0) = 0 = u(r, ) as quais implicam que (0) = 0 = (), portanto,
(
)
2 2
= n2 (n = 1, 2, . . .) e () ser
a proporcional a n () = sen n
ao temos
. Como n
autovalor = 0, as soluc
oes radiais s
ao r
a descartar as soluc
oes radiais r
2.10.3

er

. A hip
otese de u(r, ) ser limitada nos forca

O Princpio do M
aximo

Teorema 2.1 (Princpio de M


aximo) Sejam uma regi
ao limitada, aberta e conexa do plano,
u C 2 () C o () e harm
onica em . Ent
ao o m
aximo de u e atingido na fronteira de .
ao u assume seu mnimo em .
Corol
ario 2.1 Seja u como no Teorema 2.1. Ent
Prova. Se u for harmonica em , ent
ao, u tambem o sera e, do Princpio de Maximo, o maximo
de u tambem sera atingido na fronteira, ou seja,
max u(x, y) max u(x, y) = min u(x, y) min u(x, y).

Multiplicando esta desigualdade por 1, temos


min u(x, y) min u(x, y)

e concluimos que o mnimo de u tambem e atingido na fronteira.

Caso o problema de Dirichlet seja sol


uvel, a sua unicidade pode tambem ser mostrada utilizandose o Princpio de Maximo.
Teorema 2.2 Sejam u1 e u2 duas soluco
es do problema de Dirichlet para um mesmo f . Ent
ao,
u1 = u2 .
Prova. A funcao u = u1 u2 e harmonica em e igual `a zero em , logo, pelo Princpio de
Maximo, u(x, y) 0 em . Por outro lado, pelo Corolario 2.1, u(x, y) 0 em . Portanto,
u(x, y) = 0 em .

95

Transformada de Fourier

Havamos considerado a teoria e aplicacoes envolvendo a expansao de uma funcao f (x) periodica
de perodo 2L em termos de sen(nx/L) e cos(nx/L), o que nos levou ao conceito de series de
Fourier. A pergunta natural e a seguinte: podemos representar uma funcao f : R R nao periodica
em termos de senos e cossenos?
Seja f : R R, suave por partes, tal que

|f (x)|dx

< . A seguir, formalmente, sem nos

preocuparmos com o rigor matematico, encontraremos uma representacao de f em termos de senos


e cossenos. O nosso ponto de partida e o Teorema de Fourier, para tal seja fL a funcao periodica de
perodo 2L cuja restricao ao intervalo (L, L) coincida com f . Note que para todo x, fL (x) = f (x),
se L for sucientemente grande, portanto
f (x) = lim fL (x).
L

Pelo Teorema de Fourier,


( nx )
( nx )) f (x ) + f (x )
a0,L (
L
L +
+
an,L cos
,
+ an,L sen
=
2
L
L
2

n=1

onde
an,L =

1
L

fL (u) cos

( nu )
L

du e

bn,L =

1
L

fL (u) sen

( nu )
L

du.

Portanto,
f (x ) + f (x+ )
2

fL (x ) + fL (x+ )
L
2 (
)
(
( nx )
( nx ))

a0,L
an,L cos
= lim
+ lim
+ an,L sen
.
L 2
L
L
L

lim

n=1


(
)
1, temos
Como cos nx
L

a
1
1
0,L

|f
(x)|dx

|f (x)|dx,


L
2
L
L

logo, pelo Teorema do Sanduiche, temos


lim

a0,L
= 0.
2

Portanto,
96

f (x ) + f (x+ )
2

(
=

lim

an,L cos
n=1
L

( nx )
L

+ an,L sen

( nx ))

(
( nu )
( nx )
( nu )
( nx ))
f (u) cos
cos
+ sen
sen
du
L
L
L
L
n=1 L
)
(

1 L
n(u x)
= lim
f (u) cos
du
L L
L
n=1 L
(
)

1
n(u x)
= lim
f (u) cos
du
L L
L
n=1
(
)
(
)
L

n(ux)
(formalmente substituimos L f (u) cos n(ux)
du
por
f
(u)
cos
du)
L
L

[
(
)
]

1
n(u x)

= lim
f (u) cos
du
L

L
L
=

1
L L
lim

lim

k0

n=1

F (nk)k,

(zemos k =

e F (k) =

f (u) cos(k(u

x)du.)

n=1

e a soma de Riemann de 0 F (k)dk )


F (k)dk, (
n=1 F (nk)k
0
)
(
1
=
f (u) cos(k(u x)du dk
0


=
(A(k) cos(kx) + B(k) sen(kx)) dk
0
(
)

1
1
A(k) =
f (x) cos(kx)dx, e B(k) =
f (x) sen (kx)dx


=

Teorema 3.1 (Teorema da Integral de Fourier) Seja f : R R, tal que f e f sejam contnuas

por partes e |f (x)| dx < . Ent


ao

f (x + 0) + f (x 0)
(A(k) cos(kx) + B(k) sen(kx)) dk =
(69)
2
0
onde
1
A(k) =

e
B(k) =

f (x) cos(kx)dx

(70)

f (x) sen (kx)dx.

(71)

A integral em (69) e chamada de integral de Fourier de f .


97

Prova. Veja Subsecao 4.3.

comum identicarmos f (x) com a sua integral de Fourier, cando implcito que nos pontos de
E
descontinuidades de f ela converge para `a media aritmetica dos limites laterais de f nos mesmos.
Com isso escreveremos

f (x) =

(A(k) cos(kx) + B(k) sen(kx)) dk.


0

Observa
c
ao 3.1 Note que se f (x) for par, ent
ao B(k) = 0 e A(k) =
particular,
2
f (x) =

f (x) cos(kx)dx. Em

)
f (y) cos(ky) dy cos(kx) dk.

De maneira an
aloga, se f (x) for mpar, ent
ao A(k) = 0 e
)
(
2
f (y) sen (ky) dy sen (kx) dk.
f (x) =
0
0
De (70) e (71), temos

(A(k) cos(kx) + B(k) sen(kx)) dk =


1
f (y) (cos kx cos ky + senkx senky) dydk
0


1
f (y) cos k(x y)dydk
0


eik(xy) + eik(xy)
1
f (y)
dydk
0
2



1
1
ik(xy)
e
f (y)dydk +
eik(xy) f (y)dydk
2 0
2 0


0
1
1
ik(xy)
e
f (y)dydk +
eik(xy) f (y)dydk
2 0
2


1
eik(xy) f (y)dydk
2
(
)

1
ikx
iky
e
e
f (y)dy dk
2


1
eikx fb(k)dk
(72)
2

=
=
=
=
=
=

onde
fb(k) =

eikx f (x)dx.

e chamada de transformada de Fourier de f . De (72) e de (69), concluimos que


98

(73)

1
2

eikx fb(k)dk =

f (x + 0) + f (x 0)
.
2

(74)

o lado esquerdo de (74) nos permite recuperar a funcao f a partir da f e por isso e chamada de
transformada inversa de Fourier.
Observa
c
ao 3.2 (Integra
c
ao e deriva
c
ao de fun
c
oes complexas) Dadas x, t : R R,
consideraremos derivadas e integrais de Riemann da func
ao u : R C, onde u(t) = x(t) + iy(t).
(a) Se x, y forem diferenci
aveis, denimos
(
)
u(t + t) u(t)
x(t + t) x(t)
y(t + t) y(t)

u (t) = lim
= lim
+i
= x (t) + iy (t).(75)
t0
t0
t
t
t
b

(b) Se x, t forem contnuas em [a, b], denimos

u(t)dt como limite de somas de Riemann de u

em [a, b], de modo que

x(t)dt + i

(x(t) + iy(t))dt =

u(t)dt =
a

y(t)dt = [X(t)]ba + i [Y (t)]ba ,

(76)

onde X (t) = x(t) e Y (t) = y(t).


A partir de (75) e (76), usamos as regras de derivac
ao e de integrac
ao usuais. Por exemplo, se
a e for uma constante real n
ao nula, ent
ao
d
d iat
e = (cos at + i senat) = a senat + i cos at = ia(cos at + i senat) = iaeiat .
dt
dt



1
1
2i
2i
iat
e dt =
cos(at) + i
sen(at)dt = [sen(at)]0 i [cos at]o = 0 +
= .
a
a
a
a
0
0
0

Exerccio 3.1 Seja

Mostre que

1,
f (x) =
0,

se |x| < a
se |x| > a.

2 sen ka ,
k
fb(k) =
2a,

99

se k = 0
se k = 0.

Resolu
c
ao. Note que

f(k) =

eikx f (x)dx

eikx dx

=
a

2a,
se k = 0
ikx a


e
se k = 0
ik a ,

2a,
se k = 0
=
2sen (ka) , se k = 0
k
=

Note que f(k) e contnua em todos os pontos.

Exerccio 3.2 (a) Use o exerccio anterior para calcular a integral

u
(b) Deduza o valor da integral 0 sen
du.
u

sen (ka) cos(kx)


dk.
k

Resolu
c
ao.
(a) Pelo Teorema de Fourier,

1,

1
f
(x
+
0)
+
f
(x

0)
ikx
e f (k) dk =
=
1/2,

2
2

0,

se |x| < a
se |x| = a
se |x| > a.

Mas
1
2

ikx

f(k) dk =

1 sen(ka) cos(kx)
i sen(ka) sen(kx)
dk +
dk

k

k

1 sen(ka) cos(kx)
dk,

k

pois o integrando da segunda integral da primeira igualdade e mpar. Portanto,

se |x| < a


,
sen(ka) cos(kx)
dk =
/2, se |x| = a

0,
se |x| > a.
(b) Se x = 0 e a = 1, de (a), concluimos que

senk
dk = ou
k
100

senk
dk = /2.
k

Exerccio 3.3 Encontre as transformadas de Fourier das func


oes abaixo.

1,
se |x| < a
, onde a > 0.
1. f (x) =
0, caso contr
ario

1,
2. f (x) =

se 1 < x < 0

1,

se 0 < x < 1

0,
caso contr
ario

1 cos x, se |x| < /2


3. f (x) =

0,
caso contr
ario

1 |x|,
se |x| < 1
4. f (x) =

0,
caso contr
ario
A partir da convergencia da transformada inversa de Fourier em x = 0, conclua que
( sen k )2
ao: use a identidade 1 cos k = 2sen 2 (k/2).
dk = 2 . Sugest
k
0
5. f (x) = e|x|

1 x2 ,
6. f (x) =

0,

1,
7. f (x) =
0,

se |x| < 1
caso contr
ario

se 1 < |x| < 2


caso contr
ario

x,
8. f (x) =
0,

se |x| < 1
caso contr
ario

ex ,
9. f (x) =
0,

senx,
10. f (x) =
0,

se x > 1
caso contr
ario
se 0 < x <
caso contr
ario

101

Exerccio 3.4 Seja a > 0. Deduza a f


ormula

2a cos(kx)
ax
e
=
dk,
0 a2 + k 2

x 0.

ao sinal de x e denida como


Exerccio 3.5 A func

se x > 0

1,
sgn(x) =
0,
se x = 0 .

1, se x < 0
Mostre que
2

Exerccio 3.6 Seja

sen(xt)
dt = sgn(x).
t

1,
f (x) =
0,

Mostre que
2

se |x| 1

caso contr
ario

1,

senk cos(kx)
dk =
1/2,

0,

se |x| < 1
se |x| = 1 .
|x| > 1.

Expresse f em termos de translac


oes da func
ao sgn(x). Sugest
ao: use a identidade
sena cos b =

sen(a + b) + sen(a b)
.
2

Fazendo integracao por partes e assumindo que f e f se anulam em , temos as seguintes


propriedades da transformada de Fourier:
fb (k) = ik fb(k),

fc (k) = k 2 fb(k).

De fato,
fb (k) =





+ ik
eikx f (x)dx = eikx f (x)

eikx f (x)dx = ik fb(k).

De maneira analoga, fazendo-se duas integracoes por partes, temos a segunda relacao de (77).

102

(77)

Dadas duas funcoes f e g contnuas por partes e absolutamente integraveis, a e b constantes


quaisquer, entao
\
(af
+ bg)(k) =

eikx (af + bg)(x)dx

eikx (af (x) + bg(x))dx



ikx
= a
e
f (x)dx + b
eikx f (x)dx (usamos a linearidade da integral)

= afb(k) + gb(k),

o que mostra que a transformada de Fourier


e uma opera
c
ao linear. De maneira analoga,
mostra-se que a tranformada inversa de Fourier tambem e linear.
Exemplo 3.1 Suponha que a transformada de Fourier de f exista.
(a) Seja g(x) = f (x b) onde b e uma contante, ent
ao
gb(k) = eikb fb(k).
(b) Seja g(x) = f (ax) onde a = 0 e uma contante, ent
ao
gb(k) =

fb(k/a)
.
|a|

Resolu
c
ao.
(a) Seja g(x) = f (x b), entao

gb(k) =
eikx f (x b)dx


eik(y+b) f (y)dy (zemos a mudanca de variaveis y = x b)
=

=
eiky eibk f (y)dy


ibk
= e
eiky f (y)dy

= e

ibk

fb(k).

103

(78)

(b) Seja g(x) = f (ax), entao

gb(k) =

eikx f (ax)dx


eik(y/a) f (y)dy, se a > 0)

=
eik(y/a) f (y)dy, se a < 0


1
=
ei(k/a)y f (y)dy
|a|
1 b
f (k/a)
=
|a|
na segunda igualdade usamos a mudanca de variaveis y = ax.

Exerccio 3.7 Suponha que a transformada de Fourier de f exista e seja g(x) = f (ax b). Mostre
que
gb(k) =

eikb fb(k/a)
.
|a|

Note que se f for absolutamente integravel entao |f (x)| tende a zero quando x tende a ,
logo |eikx f (x)| = |f (x)| tambem tende a zero quando x tende a . Logo,
lim eikx f (x) = 0

lim eikx f (x) = 0.

Portanto, se f e f forem contnuas por partes e absolutamente integraveis, temos


b
eikx f (x)dx
f (k) =


[
]
ikx
= f (x)e

(ik)eikx f (x)dx (zemos integracao por partes)


= 0 + ik
eikx f (x)dx
= ik fb(k).

Em geral, se f , f , . . ., f (n) forem contnuas por partes e absolutamente integraveis, temos


(n) (k) = (ik)n fb(k).
fd

Em particular,
fc (k) = k 2 fb(k).
104

Sejam f contnua por partes e xf absolutamente integravel (veja Subsecao 4.1). Entao

d b
d
f (k) =
eikx f (x)dx
dk
dk
)
(
d ikx
e
f (x)dx (trocamos a ordem da derivada com a integral)
=
dk

=
(ix)eikx f (x)dx


= i
eikx xf (x)dx

c (k).
= ixf

(79)

Em geral, se f for contnua por partes e xn f for absolutamente integravel, entao


dn b
n f (k),
f (k) = (i)n xd
dk n
ou seja,

dn b
n f (k) = (i)n
xd
f (k).
dk n

Seja g(x) = eiko x f (x), onde f e contnua por partes e absolutamente integravel. Entao


ei(kko )x f (x)dx = fb(k ko ).
eikx eiko x f (x)dx =
gb(k) =

Usando a relacao acima e a linearidade da transformada de Fourier, se


g(x) = f (x) cos(ko x),
como cos(ko x) = (eiko x + eiko x )/2, temos
gb(k) =

)
1 (b
f (k ko ) + fb(k + ko ) .
2

De maneira analoga, se g(x) = f (x)sen(ko x), como sen(ko x) = (eiko x eiko x )/2i, temos
gb(k) =

)
1 (b
f (k ko ) fb(k + ko ) .
2i

Exerccio 3.8 Fazendo integrac


ao por integraca
o por partes mostre que
(
)

sen (x) cos(x) x


ex cos(x) dx =
e
+ C,
2 + 2
onde C e uma constante. Em particular,

ex cos(x) dx =
0

105

.
+ 2

(80)

Exerccio 3.9 Seja f (x) = e|x| , onde > 0. Mostre que


fb(k) =

k2

2
+ 2

(81)

e use-a para concluir que

cos(kx)

dk = e|x| .
2
2
k +

(82)

Resolu
c
ao. Note que

b
f (k) =
eikx e|x| dx

|x|
=
cos(kx)e
dx + i
sen(kx)e|x| dx

=
cos(kx)e|x| dx (a funcao sen(kx)e|x| e mpar, sua integral e zero)


= 2
cos(kx)ex dx
0

2
k 2 + 2

( veja Exerccio 3.8)

Da Formula de inversao temos


e

|x|

portanto,

1
=
2

ikx

dk =
k 2 + 2

cos kx
dk,
k 2 + 2

cos(kx)

dk = e|x| .
2
2
k +

Exemplo 3.2 A transformada de Fourier de f (x) =

1
,
x2 +a2

onde a > 0, e

a|k|
e
.
a
Resolu
c
ao.
fb(k) =

eikx
dx =
x2 + a2

cos kx
a|k|
dx =
e
(usamos (82)).
2
2
x +a
a

106

(83)

Exemplo 3.3 A transformada de Fourier de ex , onde > 0, e

k2 /4
e
.

Resolu
c
ao.
d
f (k) = i
dk

eikx xex dx (usamos (79))

]
([
)

2
x2
eikx ex
ikx e

= i
(ik)e
dx
2
2

(84)

(integrando por partes)

k f(k)
.
2
ikx x2
[ ikx x2 ]


e
e
Acima usamos que e 2
= 0, pois e 2
=
=

ex
2

tende a zero quando x tende para

. Portanto a transformada de Fourier de f satisfaz a seguinte equacao diferencial ordinaria


linear de primeira ordem e homogenea:
k
d
f (k) +
f (k) = 0.
dk
2
A sua solucao geral e
2
f(k) = Aek /4 .

onde

A = f(0) =

ex dx.
2

A seguir calcularemos esta integral. Note que

x2

dx =

x2

dx

e(x

=
R2

2 +y 2 )

=
0

y 2

dy

)1/2

dxdy

r2

)1/2

(usamos o Teorema de Fubini)

)1/2
rdr)

(usamos coordenadas polares)

Portanto

f(k) =

k2 /4
e
.

107

Defini
c
ao 3.1 Dadas as func
oes f e g absolutamente integr
aveis na reta, a convoluc
ao de f com
g, denotada por f g, e denida como

(f g)(x) =

f (y)g(x y)dy.

Note que apos as mudancas de variaveis x y = u e u = y, concluimos que




(f g)(x) =
f (y)g(x y)dy =
f (x y)g(y)dy.

Alguns autores denem

(f g)(x) =

f (x y)g(y)dy.

Teorema 3.2 (Propriedades da Convoluc


ao) A convoluc
ao obedece as leis comutativa, associativa
e distributiva:
f g = g f,

f (g h) = (f g) h,

f (g + h) = f g + f h.

(85)

Teorema 3.3 (Teorema da Convoluc


ao)
fb(k)b
g (k = f[
g(k),
Prova. Como
fb(k) =

iku

f (u)du

gb(k) =

entao
fb(k)b
g (k) =

eikv g(v)dv,

eik(u+v) f (u)g(v)dudv.

Fazendo as mudancas de variaveis: u + v = x e u = u, entao

u
u
1 0
(u, v)
du dx = du dx,
du dv =
du dx = det u x du dx = det
v
v
(u, x)
1
0
u
x
portanto
fb(k)b
g (k) =

ikx

f (u)g(x u)dudx =

ikx

f (u)g(x u)du dx = f[
g(k),

ou seja,
f[
g(k) = fb(k) fb(k).

(86)

Se tomarmos a transformada inversa de Fourier da equacao acima, concluiremos que a transformada


inversa de Fourier de fb(k) gb(k) e igual a (f g)(x).
108

Exerccio 3.10 Usando o Teorema da Convoluc


ao, resolva a seguinte equac
ao integral

h(x) = g(x) +
h(u)w(x u)du,

onde g e w s
ao func
oes dadas.
Resolu
c
ao. Note que a equacao acima, pode ser escrita como
h(x) = g(x) + (h w)(x),
logo, pelo Teorema da Convolucao, temos
b
h(k) = gb(k) + b
h(k) w(k),
b
portanto,

gb(k)
.
1 w(k)
b

b
h(k) =
Logo,
1
h(x) =
2

eikx

gb(k)
dk.
1 w(k)
b

Exerccio 3.11 Usando o Teorema da Convoluc


ao, resolva a seguinte equac
ao integral

h(u)
1
du = 2
, 0 < a < b.
2
2
x + b2
(x u) + a
Resolu
c
ao. Sejam w(x) =

1
x2 +a2

e g(x) =

1
x2 +b2

entao a equacao acima, pode ser escrita como

(h w)(x) = g(x),
e do Teorema da Convolucao temos
b
h(k) w(k)
b
= gb(k).
Logo

gb(k)
b
h(k) =
.
w(k)
b

Mas a transformada de

1
x2 +2

eikx

1
dx =
2
x + 2

cos kx

dx = e|k|
2
2
x +

109

(usamos (82)).

Logo
a
b
h(k) = e(ba)|k| .
b
Consequentemente,

1
eikxb
h(k)dk
2

(a
)
1
eikx
e(ba)|k| dk
2
b

a
e(ba)k cos(kx)dk
b 0
a(b a)
1
, (usamos (80).
2
b
x + (b a)2

h(x) =
=
=
=

Exerccio 3.12 Seja f absolutamente integr


avel, deriv
avel, par e g(x) = cos(ax). Mostre que
(f g)(x) = cos(ax)fb(a).
Exerccio 3.13 Seja

n,
gn (x) =
0,

se |x| < 1/n

caso contr
ario

Mostre que
(f gn )(x) = n (F (x + 1/n) F (x + 1/n)) ,
onde F (x) = f (x) e conclua que
lim (f gn )(x) = f (x).

3.1

Transformadas de Fourier das func


oes cos(x2 ) e sen(x2 )

Se f for uma funcao absolutamente integravel, entao





ikx
ikx


|e
f
(x)|dx
=
e
f
(x)dx

|f (x)|dx < ,

o que implica que fb(k) existe. Isto signica que a hipotese de f ser absolutamente integr
avel e
suciente para garantir a existencia de fb(k). No entanto, esta condicao nao e necessaria, pois
existem funcoes que nao sao absolutamente integraveis cujas transformadas de Fourier existem,
dois exemplos de tais funcoes saos as funcoes cos(x2 ) e sen(x2 ), como veremos a seguir.
110

Da teoria de integracao complexa (Teoria de Resduos), veja por exemplo [5],



2
2
cos(x )dx =
=
sen(x2 )dx,
2

(87)

estas duas integrais improprias recebem o nome de integrais de Fresnel.

Usaremos o

conhecimento destas duas integrais para calcularmos as transformadas de Fourier de cos(x2 ) e


sen(x2 ). Mostraremos que

)
2 (
cos(k 2 /4) + sen(k 2 /4)
2

\2 )(k) = cos(k 2 /4 /4) =


cos(x
e
\2 )(k) = sen(k 2 /4 + /4) =
sen(x
Prova. Note que de (87), temos

ix2
2
e
dx =
cos(x )dx i

ikx

)
2 (
sen(k 2 /4) + cos(k 2 /4) .
2

(89)

1i
2
(1 i) = = ei/4 .
sen(x )dx =
2
2

(88)

cos(x )dx =

ikx

eix + eix
2
2

1
dx =
2

i(x2 +kx)

1
dx +
2

2 kx)

ei(x

dx.

Do completamento de quadrados x2 kx = (x k/2)2 k 2 /4,


2
2
eik /4 i(x+k/2)2
eik /4 i(xk/2)2
ikx
2
e
cos(x )dx =
e
dx +
e
dx
2
2

2
2
eik /4 ix2
eik /4 ix2
=
e
dx +
e dx
2
2

(
)

ik2 /4
ix2
= Re e
e
dx
(se z = x + iy, z + z = 2x = 2Re(z))

(
)

2
=
Re ei(k /4/4)

=
cos(k 2 /4 /4).
De maneira analoga, mostra-se que

eikx sen(x2 )dx = sen(k 2 /4 /4).

De (88) e (89) segue que

2
ix2 (k) =
e[
4 ei(k /4+/4) .
111

(90)

3.2

As transformadas seno e cosseno de Fourier

A integral de Fourier nos permite representar uma funcao g : R R, tal que g e g sejam contnuas

por partes e |g(x)|dx < , em termos de cos(kx) e sin(kx). A pergunta natural e a seguinte:
e possvel representarmos uma funcao f : [0, ) R, tal que f, f sejam contnuas por partes e

0 |f (x)|dx < , em termos de cos(kx) e sin(kx)?

Seja g uma extensao de f para a reta toda, tal que g e g sejam contnuas por partes e

|g(x)|dx

< , segue do Teorema 3.1 que

(A(k) cos(kx) + B(k) sen(kx)) dk =


0

g(x + 0) + g(x 0)
2

onde

A(k) =

e
B(k) =

g(x) cos(kx)dx

g(x) sen (kx)dx.

A seguir considereramos dois casos particulares de extensoes de f , a par e a mpar.

(1) Tomando g a extensao par de f , segue que para x > 0, temos a seguinte representacao de f
em termos de cossenos, chamada de Transformada cosseno de Fourier de f :

f (x + 0) + f (x 0)
,
A(k) cos(kx)dk =
2
0
onde
A(k) =

f (x) cos(kx)dx.
0

(2) Tomando g a extensao mpar de f , segue que para x > 0, temos a seguinte representac
ao de
f em termos de senos, chamada de Transformada seno de Fourier de f :

f (x + 0) + f (x 0)
B(k) sin(kx)dk =
,
2
0
onde
2
B(k) =

Exerccio 3.14 Seja

f (x) sin(kx)dx.
0

1,
f (x) =
0,

se 0 x < 1
se x 1.
112

(a) Encontre uma representac


ao para f (x) em termos senos.
(b) Encontre uma representaca
o para f (x) em termos de cossenos.

Transformadas de Fourier Elementares

f (x)

f(w) = F(f )(w)

1, 0 x < a;
0, caso contrario.

1 eiaw
iw

eax , x 0;
0, x < 0.

1
,a>0
a + iw

xf (x)

a|w|
e
,
a

f (x)

iwf(w)

f (x a)

eiaw f(w)

eiax f (x)

f(w a)

1
,
x2 + a2

a>0

eax ,

a>0

ea|x| ,

a>0

f(x)

w2

4a
,
ae

a2

f (ax),

a > 0,

2a
,
+ w2

a = 0

f (y)g(x

f (w)

113

f(w) = F(f )(w)

f (x)

y)dy

1 ( w )
f
|a|
a

df
(w)
dw

f(w) g(w)

3.3

Aplicac
oes da transformada de Fourier `
as resoluco
es de equac
oes
diferenciais parciais

Exerccio 3.15 (A equa


c
ao da onda em uma corda infinita) Resolva o seguinte problema
< x < , t > 0

utt = c2 uxx ,

(91)

u(x, 0) = f (x),

< x < ,

(92)

ut (x, 0) = g(x),

< x < .

(93)

Asuma que f , g sejam contnuas, limitadas e absolutamente integr


aveis.
Resolu
c
ao. Dena a transformada de Fourier de u(x, t) em relacao `a variavel x como

u
(, t) =
eix u(x, t) d.

Assim, de (91)-(93) e de (77), entao

u
d
b(, t) e
xx (k, t) = u
2

ubt (k, t) =

u
b(, 0) = fb() e

eix ut (x, t) d =

u
b(, t),
t

ubt (k, 0) = gb(k).

Portanto ao tomarmos a transformada de Fourier da equacao diferencial (91) e usando as relac


oes
acima, temos
2
u
(, t) = c2 2 u
(, t)
t2
u
(, 0) = f()

u
(, 0) = g().
t
A solucao geral de (94) e
u
(, t) = c1 cos(ct) + c2 sen (ct),
e de (95) e (96), temos que
g()
,
c1 = f() e c2 =
c
respectivamente. Poranto,
u
(, t) = f() cos(ct) +
Logo,
1
u(x, t) =
2

ix

sen(ct)
g().

(
)
sen(ct)
f() cos(ct) +
g() d.

114

(94)
(95)
(96)

Note que
1
2

ix

f() cos(ct)d =

=
=
=

)
i(ct) + ei(ct)
e
e f()
d
2

)
( i(x+ct)
1
e
+ ei(xct)
f ()d
2
2
(
)

1 1
1
i(x+ct)
i(xct)
e
f ()d +
e
f ()d
2 2
2
1
(f (x + ct) + f (x ct)) (usamos (78)).
2
1
2

ix

Por outro lado, se zermos


1
2c

h(x, t) =

x+ct

g(s)ds,
xct

entao, da equacao (97), veja Observacao 3.3 abaixo,


1

h(x, t) =
(g(x + ct) g(x ct)) ,
x
2c
portanto,

i h(,
t) =

)
1 ( ict
e
eict g(),
2c

ou seja,
sen(ct)

h(,
t) =
g().
c
Logo,
1
2

ix sen(ct)

1
g() d =
2

1
h(, t) d = h(x, t) =
2c

ix

x+ct

g(s)ds
xct

e concluimos que a solucao desejada pode ser escrita como


u(x, t) =

f (x + ct) + f (x ct)
1
+
2
2c

x+ct

g(s)ds,
xct

que e a formula de DAlembert.

Observa
c
ao 3.3 Suponha que ux (x, t) e vx (x, t) existam e que g seja contnua, ent
ao,

u(x,t)

g(s)ds = g(u(x, t)) ux (x, t) g(v(x, t)) vx (x, t).

v(x,t)

115

(97)

Exerccio 3.16 Resolva o problema de convecc


ao num o innito (isto e existe troca de calor do
o com o ambiente):

< x < , t > 0

ut = c2 uxx + kux ,

< x < .

u(x, 0 = f (x),

Resolu
c
ao. Se tomarmos a transformada de Fourier em relacao `a variavel x das equacoes acima
teremos

u
(, t) = (c2 2 ik)
u(, t),
t

u
(, 0) = f().

Logo,
u
(, t) = e(c

2 2 ik)t

f() h(,
t)f()

(98)

e pelo Teorema da Convolucao,

u(x, t) =

h(x y, t)f (y)dy.

Resta-nos calcular h(x, t). Note que


2 2

h(,
t) = eikt ec t eikt p(, t)

e pela propriedade do deslocamento, temos


h(x, t) = p(x + kt, t),
onde p(x, t) e a transformada inversa de (veja (84)) Fourier de
(
)

2
1
c2 2 t
e
=
e 4
= 2

4c t
Portanto, p(x, t) =

ex =
2

1
4c2 t

x2

e 4c2 t . Finalmente,

u(x, t) =
4c2 t

116

(xy+kt)2
4c2 t

f (y)dy.

(99)

Exerccio 3.17 (O problema de Dirichlet para a equa


c
ao de Laplace no semi-plano)
Resolva o seguinte problema
uxx + uyy = 0,

< x < , y > 0

(100)

< x < .

(101)

u(x, 0) = f (x),

Assuma que u(x, y), ux (x, y) ( para cada y xo) e f (x) sejam absolutamente integr
aveis em x.
Resolu
c
ao. Seja

u
b(, y) =

eix u(x, y) dx,

entao
u
b(k, 0) = fb(k)
e

eix uxx (x, y) dx = 2 u


b(, y),

logo, tomando-se a transformada de Fourier das equacoes (100) e (101) em relacao `a vari
avel x,
temos
2
u
b(, y) = 2 u
(, y),
y 2
u
(, 0) = f().

(102)
(103)

A solucao geral de (102) e


u
(, y) = c1 e||y + c2 e||y
e se quisermos que u
(, y) seja limitada devemos fazer c2 = 0. Portanto,
u
(, y) = c1 e||y ,

(104)

de (103) devemos ter c1 = f(). Portanto,


u
(, y) = e||y f() = g(, y) f(),
onde g(, y) = e||y . Pelo Teorema da convolucao, temos

u(x, y) = (g(., y) f )(x) =
g(x t, y)f (t) dt.

Note que do Exerccio 3.2, segue que


g(x, y) =

y
.
x2 + y 2

117

(105)

(106)

Substituindo este valor de g(x, y) em (106), temos

1
yf (t)
u(x, y) =
dt.
2
y + (x t)2

(107)

Embora para obtermos (107) via transformada de Fourier, foi necessario assumirmos que f fosse
contnua e absolutamente integravel. No entanto, para y > 0, sob a hipotese que f (x) e contnua
e limitada, segue que a expressao (107) e innitamente diferenciavel nas variaveis x e y e podemos
obter as derivadas passando-as para dentro da integral. Deixo para o aluno calculo das derivadas
uxx e uyy e vericacao de que uxx + uyy = 0. Mostraremos que
lim u(x, y) = f (x),

y0+

ou, equivalentemente, para todo > 0, existe = (x, ), tal que 0 < y < implica
|u(x, y) f (x)| < .
De fato, para y > 0, temos

y
2
2
1
2
1
dw = [arctgw]
= 1.
du =
0 =
2
2
2
u + y
0 w +1

2
Portanto,
y
u(x, y) f (x) =

f (u) f (x)
du,
(u x)2 + y 2

logo
|u(x, y) f (x)| =





f (u) f (x)

du

2
2
(u x) + y

|f (x + u) f (x)|
du.
u2 + y 2

Como f e contnua em x, dado > 0, existe 1 > 0, tal que |f (x + u) f (x)| < 2 , se |u| < 1 . Sendo
f limitada, existe M > 0, tal que |f (u)| M , para todo u, em particular, |f (x + u) f (x)| 2M ,

118

para todo u. Portanto,


|u(x, y) f (x)|
=
=

y |f (x + u) f (x)|
du

u2 + y 2

y
|f (x + u) f (x)|
y
|f (x + u) f (x)|
du +
du
|u|<1
u2 + y 2
|u|1
u2 + y 2

2M y
y
1
1
du +
du
2
2
2
2
2 |u|<1 u + y

|u|1 u + y
(
)

y
1
4M y
1
du +
du
2
2
2
2
2 u + y

1 u + y

4M y
1
+
du
2
2

u + y2
1
4M y
1
+
du
2
2

1 u
4M y
+
.
2
1

(108)

(109)

Note que se zermos


=
entao se 0 < y < , teremos 0 <

4M y
1

1
,
8M

< 2 , portanto de (108), teremos


|u(x, y) f (x)| < .

Resumindo, provamos o resultado abaixo.


Teorema 3.1 Seja f : R R contnua e limitada. Ent
ao, a express
ao (107) dene uma func
ao
que e innitamente diferenci
avel em y > 0, satisfaz (100) e lim u(x, y) = f (x).
y0+

Observa
c
ao 3.4 A menos que facamos a restric
ao que u(x, y) 0 quando x2 +y 2 , a soluca
o
do problema de Dirichlet dado por (100) e (101) n
ao ser
au
nica. De fato, o problema (100) e (101),
com f (x) = 0 para todo x, tem duas soluc
oes, ou seja, u(x, y) = 0 e u(x, y) = y.
Exerccio 3.18 Usando o Teorema 3.1, resolva o problema de Dirichlet dado por (100) e (101)
para f (x) = sen x.

119

Resolu
c
ao.
u(x, y) =
=
=
=
=
=

y
sen (t)
dt
2
y + (t x)2

y sen (s + x)
ds, t x = s
y 2 + s2

y
sen s cos x + sen x cos s
ds

y 2 + s2

y sen x cos s
ds
2
2

y + s
y sen x ey
(usamos (82))

y
ey sen x.

Exerccio 3.19 (O problema de Dirichlet para a equa


c
ao de Laplace no quadrante)
Resolva o seguinte problema
uxx + uyy = 0,

x, y > 0

(110)

0 x < ,

u(x, 0) = f (x),

u(0, y) = 0, y > 0.

(111)

Assuma que f seja contnua, limitada e que f (0) = 0


Resolu
c
ao. Seja h(x) a extensao mpar de f para a reta toda, ou seja

f (x),
se x 0
h(x) =
f (x), caso contrario
e considere o seguinte problema de Dirichlet no semi-plano
uxx + uyy = 0,

< x < , y > 0

(112)

< x < .

(113)

u(x, 0) = h(x),

Como h e contnua e limitada, pelo Teorema 3.1

y
h(t)
u(x, y) =
dt
y 2 + (x t)2

(114)

e solucao do problema (112) e (113). Em particular, como u = 0 para todo < x < e
y > 0, u = 0 para todo x, y > 0. Alem disso, para todo x 0, limy0+ u(x, y) = h(x) = f (x) e
se y 0,
u(0, y) =

h(t)
dt = 0,
+ t2

y2

120

pois, h e uma funcao mpar. Portanto, a expressao (114) e solucao do problema de Dirichlet dado
por (110) e (111). Note que (114) pode ser re-escrita como
)
(
y
1
1
u(x, y) =

f (t) dt.
0
y 2 + (x t)2 y 2 + (x + t)2

(115)

Exerccio 3.20 Mostre que


x
u(x, y) =

1
1
2
2
2
x + (y t)
x + (y + t)2

)
f (t) dt.

(116)

e soluc
ao do problema de Dirichlet
uxx + uyy = 0,
u(x, 0) = 0,

x, y > 0
0 < x < ,

u(0, y) = f (y), y 0.

Assuma que f (0) = 0 e f seja absolutamente integr


avel em (0, )
ao de Laplace e os resultados acima, resolva o
Exerccio 3.21 Usando a linearidade da equac
seguinte problema de Dirichlet
uxx + uyy = 0,

x, y > 0

u(x, 0) = f (x),

x 0,

u(0, y) = g(y), y 0.

Assuma que f (0) = g(0), f e g sejam contnuas e limitadas.


Exerccio 3.22 Resolva o seguinte problema
uxx + uyy = 0,

x, y > 0

u(x, 0) = sen x,

3.4

x 0,

u(0, y) = sen y, y 0.

A filosofia da transformada de Fourier em equaco


es diferenciais parciais

Em aplicacoes da transformada de Fourier `a resolucao de uma equacao diferencial parcial,


assumimos que a solucao, suas derivadas parciais que aparecem na equacao e os dados iniciais
sejam sucientemente regulares e decaiam sucientemente rapido no innito, de modo que suas
tranformadas de Fourier existam. Sob estas hipoteses, chegamos a uma solucao do problema, o
passo seguinte e vericar quais sao as condicoes nos coecientes que aparecem na equacao diferencial
121

e nos dados iniciais devemos impor de modo que a expressao obtida via transformada de Fourier
ainda seja solucao do problema dado. Em geral chegamos a condicoes muito menos restritivas do
que as condicoes inicialmente impostas, para justicarmos o uso da transformada de Fourier, como
ilustraremos no exemplo a seguir.
Exemplo 3.4 Encontre uma soluc
ao para o problema
ut + ux = 0, x R, t > 0,
Resolu
c
ao. Dena

u
b(k, t) =

u(x, 0) = f (x), x R.

eikx u(x, t)dx,

entao
u
b(k, 0) = fb(k),
ubt (k, t) =

u
b(k, t).
t

u
cx (k, t) = ik u
b(k, t).
Tomando a transformada de Fourier da equacao diferencial, temos os seguinte problema de valor
inicial para u
b(k, t):

u
b(k, t) = ik u
b(k, t), u
b(k, 0) = fb(k).
t
Para cada k xo, podemos tratar a equacao acima como uma equacao diferencial ordinaria linear
de primeira ordem e de variaveis separaveis, na variavel independente t, onde k entra apenas como
um parametro (tratado como constante). A sua solucao geral e (verique isto)
u
b(k, t) = A(k)eikt ,
como u
b(k, 0) = fb(k), segue que A(k) = fb(k). Portanto,
u
b(k, t) = fb(k)eikt .
Logo
1
u(x, t) =
2

ikx

1
u
b(k, t)dk =
2

eik(xt) fb(k)dk = f (x t).

ou seja,
u(x, t) = f (x t).
Agora observe que f (x t) e solucao de classe C 1 do nosso problema, mesmo se zermos apenas
a hipotese de que f seja de classe C 1 . Se f for de classe C k , o mesmo aocntecera com a soluc
ao
122

u(x, t) = f (x t). A moral da estoria e que descobrimos que u(x, t) = f (x t) e uma soluc
ao de
classe C k do nosso problema, sob nenhuma hipotese a priori na solucao, tudo que precisamos e que
f seja C k , a transformada de Fourier de f nem precisa existir. Em particular, ext e uma soluc
ao
innitamente derivavel de
ut + ux = 0, x R, t > 0,

u(x, 0) = ex , x R,

embora a funcao ex nem tenha transformada de Fourier!


Exemplo 3.5 Encontre uma soluc
ao para o problema
ut + g(t)ux = 0, x R, t > 0,
Resolu
c
ao. Dena

u
b(k, t) =

u(x, 0) = f (x), x R.

eikx u(x, t)dx,

entao, como exemplo anterior, temos

u
b(k, t) = ikg(t) u
b(k, t), u
b(k, 0) = fb(k).
t
A solucao geral da equacao acima e (verique isto)
u
b(k, t) = A(k)eikG(t) ,
onde G (t) = g(t). Como fb(k) = u
b(k, 0) = A(k)eikG(0) , segue que
A(k) = eikG(0) fb(k).
Portanto,
u
b(k, t) = fb(k)eik(G(0)G(t))) .
Logo
1
u(x, t) =
2

ikx

1
u
b(k, t)dk =
2

eik(x+G(0)G(t)) fb(k)dk = f (x + G(0) G(t)).

Logo,
u(x, t) = f (x + G(0) G(t)).
Note que f (x + G(0) G(t)) e uma solucao de classe C 1 do nosso problema, mesmo se zermos
apenas a hipotese de que f e de classe C 1 e que g seja contnua. Se f for de classe C k e g for

123

de classe C k1 , entao f (x + G(0) G(t)) sera uma solucao de ordem C k do nosso problema. Em
particular cos(x + 1 t3 /3 cos t) e uma solucao innitamente derivavel de
ut + (t2 + sent)ux = 0, x R, t > 0,

u(x, 0) = cos x, x R,

embora a funcao cos x nem tenha transformada de Fourier (no sentido usual)!

Tendo em vista o que foi dito acima, se tivermos que resolver um problema de valor inicial para
uma equacao diferencial parcial via transformada de Fourier e as transformadas de Fourier dos
dados iniciais nao existirem, nao desista do metodo. Faca o seguinte, substitua os dados iniciais
particulares por funcoes genericas e suponha que estas sejam tao suaves e decaiam sucientemente
rapido no innito, de modo que o procedimento via transformada de Fourier esteja bem denido
matemanticamente. Encontrada a solucao via transformada de Fourier, veja quais as condic
oes os
dados iniciais devem satisfazer para que a expressao obtida seja uma solucao; em particular, se os
dados iniciais originais satiszeram tais condicoes, entao a expressao obtida e solucao do problema
dado. Por exemplo, se ainda nao tivessemos resolvido o exemplo anterior e tivessemos que resolver
o problema
ut + t3 ux = 0, x R, t > 0,

u(x, 0) = x2 ex , x R,

(117)

via transformada de Fourier, como a funcao x2 ex nao tem transformada de Fourier, a primeira coisa
que deveramos fazer e substituir o x2 ex por f (x), onde assumiramos que f (x) e sucientemente
suave e decaisse tao rapido no innito, de modo que a resolucao via transoformada de Fourier
estaria bem denida matematicamente. Entao encontraramos u(x, t) = f (x + G(0) G(t)), onde
G(t) = t4 /4, a qual, como observamos no exmeplo anterior, vale mesmo que f for apenas C 1 e g
contnua e que a esta solucao e de classe C k se f for de classe C k e g for de classe C k1 . Como
isso concluiramos que u(x, t) = (x t4 /4)2 ext

3.5

4 /4

e solucao do problema (117).

Exerccios: resoluc
ao de equac
oes diferenciais parciais

No esprito da subsecao anterior, resolva os exerccios abaixo usando a transformada de Fourier.


Assuma que a equacao seja valida para < x < e t > 0.
124

1.

2u
tx

2.

2u
t2

=
=

u(x, 0) = e|x| .

2u
,
x2
2u
,
x2

u(x, 0) =

1
.
x2 +1

ut (x, 0) = 0.

u(x, 0) = ex .

100,
1
4. ut = 100
uxx , u(x, 0) =
0,

1 |x| ,
2
5. ut = uxx , u(x, 0) =

0,
2

3. ut = 14 uxx ,

6. ux + 3ut = 0,

caso contrario

u(x, 0) = f (x).

9. t2 ux ut = 0,

u(x, 0) = f (x).

10. ut + sent ux = 0,

u(x, 0) = senx.

u(x, 0) = f (x).

12. ut = a(t)uxx = 0,
13. utt + 2ut = u,
14. utt + uxxxx = 0,

16. utt = utxx ,

se |x| < 2

u(x, 0) = f (x), a, b sao constantes e b = 0.

8. tux + ut = 0,

15. ut = tuxxxx ,

caso contrario

u(x, 0) = f (x).

7. aux + but = 0,

11. ut = et uxx ,

se |x| < 1

u(x, 0) = f (x),

a(t) > 0.

u(x, 0) = f (x), ut (x, 0) = g(x).

1,
se |x| < 1
u(x, 0) =
,
0, caso contrario

ut (x, 0) = 0.

u(x, 0) = f (x).
u(x, 0) = f (x), ut (x, 0) = g(x).

17. utt 4utxx + 3uxxxx = 0,

u(x, 0) = f (x), ut (x, 0) = 0.

Respostas de exerccios:

(14) u
b(k, t) = fb(k) cos(k 2 t), as integrais de Fresnel cos(x2 )dx e sen (x2 )dx convergem

com isso a transformada inversa de Fourier de gb(k, t) = cos(k 2 t), com t > 0,
( 2
)
pode ser facilmente calculada, o seu valor e g(x, t) = 21 cos x4t 4 . Portanto, a soluc
ao e

para

2
2 ,

u(x, t) = f (x) g(x, t).


125

(16) u
b(k, t) = fb(k) +

2t

k t
gb(k) fb(k) + b
h(k, t)b
g (k), onde b
h(k, t) = 1ek2 , a qual converge
para t quando k 0, portanto e limitada numa vizinhanca do zero, |b
h(k, t)| < k22 . A transformada
inversa de Fourier de b
h(k, t) existe para cada t > 0. Logo, para t > 0, u(x, t) = f (x) + g(x) h(x, t).
t
t x2 /4s
k2 t
2
Note que para t > 0 e k = 0, 1ek2
= 0 ek s ds, portanto, h(x, t) = 0 e 4s ds.
2
2
h(k, t) + fb(k)b
p(k, t), portanto
(17) u
b(k, t) = 1 fb(k)e3k t + 3 fb(k)ek t = fb(k)b

1ek
k2

1
3
u(x, t) = f (x) h(x, t) + f (x) p(x, t),
2
2
onde p(x, t) =

2
1 ex /4t
4t

e h(x, t) =

2
1 ex /12t
12t

126

Ap
endice

4.1

Trocando a ordem da deriva


c
ao e da integra
c
ao em transformada de Fourier

aveis na reta. Ent


ao
Teorema 4.1 Sejam f contnua por partes, f e xf absolutamente integr


d
eikx f (x)dx =
(ix)eikx f (x)dx.
(118)
dk

ou seja,
d
dk

eikx f (x)dx =

Prova. Seja

(k) =

)
d ikx
e
f (x)dx.
dk

eikx f (x)dx,

como f e contnua por partes e absolutamente integravel, enao esta bem denida. Mostraremos
que e derivavel e que a sua derivada e

(k) =

(ix)eikx f (x)dx.

(119)

Como por denicao


(k + h) (k)
(k) = lim
= lim
h0
h0
h

ou seja,

lim

h0

ikx

eihx 1
h

ikx

eihx 1
h

)
f (x)dx,

)
f (x)dx (k) = 0,

portanto, em virtude de (119), temos que mostrar que

lim

h0

Como

ikx

ikx

)
eihx 1
+ ix f (x)dx = 0.
h



(
)
)

ikx eihx 1


eihx 1


dx
e
+ ix f (x)dx
+
ix
f
(x)


h
h

)
( ihx
e

1

|f (x)|dx
=
+
ix


h

basta provarmos que

lim

h0

( ihx
)
e

1

|f (x)|dx = 0,
+
ix


h

o que e equivalente a dizer que para todo > 0, existe > 0, tal que se |h| < , entao
)
( ihx
e

1

+ ix |f (x)|dx < .

h

127

Note que
eihx 1
+ ix = x
h

cos(hx) 1
sen(hx) hx
i
hx
hx

)
.

(120)

Do Teorema do Valor Medio, temos


cos u 1
= sen()
u

senu
= cos(),
u

onde esta entre 0 e u, como | cos |, |senu| 1, concluimos que






cos u 1

1 e senu 1.


u
u
Portanto,
ihx





(
)
e

cos hx 1

cos hx 1 senhx
1
senhx








+ ix = |x|
i
+ i |x|

+ hx s + 1 3|x|
h
hx
hx
hx
na segunda desigualdade usamos a Desigualdade Triangular. Portanto,
)
( ihx

e

1


+ ix |f (x)|dx 3
|xf (x)|dx < .

h

Portanto, dado > 0, existe um R > 0, tal que


( ihx
)

e

1


+ ix |f (x)|dx < .

h
2
|x|R
Do Teorema de Taylor, se f (u) e tem derivadas ate segunda ordem contnuas, entao
f (u) = f (0) + f (0)u +

f () 2
u ,
2

onde esta entre 0 e u, em particular


cos u = 1

cos 2
u
2!

sen 2
u .
2!

senu = u

senu u
sen 2
=
u ,
u
2!

Portanto, para u = 0, podemos rescrever


cos u 1
cos 2
=
u
u
2!
Como | cos |, |sen| 1, segue que das relacoes


cos u 1 |u|


e


u
2

acima que


senu 1 |u|


.


u
2

Portanto, de (120) e (121), fazendo u = xh, temos


ihx

e

1
|hx|

+ ix |x| .

h
2
128

(121)

Portanto,
)
R ( ihx

e

1
|h|R R
|hR|

+ ix |f (x)|dx
|xf (x)|dx
|xf (x)|dx < ,

h
2
2 R
2
R
se


.
R 2 |xf (x)|dx

|h| <

4.2

Lema de Riemann-Lebesgue para Integral e transformada de Fourier

Teorema 4.2 Seja f Riemann integr


avel em [a, b]. Ent
ao
b
lim
f (x)sen(x)dx = 0
a

(122)

lim

f (x) cos(x)dx = 0

lim

(123)

f (x)eix dx = 0.

(124)

Prova. Provaremos (122), de maneira analoga prova-se (123). Como eix = cos(x) + i sen (x),
entao (124) segue de (122) e (123). Como f e Riemann integravel, dado > 0, existe uma partic
ao
[a = xo , x1 , . . . , xn = b], tal que

f (x)dx

onde mi =

min

i=1

mi xi < ,
2

f (x). Mas a soma de Riemann acima pode ser escrita como

x[x1i ,xi ]
n

onde g(x) =

i=1 mi [xi1 ,xi ] (x),

mi xi =

g(x)dx,
a

i=1

com [xi1 ,xi ] (x) a funcao caracterstica do intervalo [xi1 , xi ],

ou seja, ela vale 1 se x [xi1 , xi ] e 0, caso contrario. Portanto, f (x) g(x) 0 e


b

0
(f (x) g(x))dx .
2
a
129

Logo,
b

b
b












f
(x)
sen(x)dx

(f
(x)

g(x))
sen(x)dx
+
g(x)
sen(x)dx





a
a
a
b

b

|(f (x) g(x)) sen(x)| dx +


g(x) sen(x)dx
a
a


b
n

1


mi (cos(xi1 ) cos(xi )

(f (x) g(x))dx +


a
i=1

2n maxi=1,...,n |mi |
tende a

2n maxi=1,...,n |mi |
< 2 , se > M .

Como

2n maxi=1,...,n |mi |
+
2

zero quando tende a innito, entao existe M > 0, tal que

Portanto, se > M , teremos


b




< ,
f
(x)
sen(x)dx


a

o que prova (122),

Teorema 4.3 Suponha que

|f (x)|dx seja nita. Ent


ao

lim
f (x)sen(x)dx = 0

(125)

lim

f (x) cos(x)dx = 0.

(126)

Prova. Provaremos (125), de maneira analoga, prova-se (125). Como


> 0, existe L > 0, tal que

Pelo teorema anterior, lim

|f (x)|dx e nita, dado

|f (x)|dx < .
2

f (x)sen(x)dx = 0, logo existe M > 0, tal que se > M temos





L
0



f (x) sen(x)dx < .
2

Portanto, se > M , temos




L








f (x) sen(x)dx
f (x) sen(x)dx +
f (x) sen(x)dx

L
0
0

L


|f (x)| dx
f (x) sen(x)dx +

L

< ,
130

o que prova (125)

Teorema 4.4 Suponha que

|f (x)|dx seja nita. Ent


ao

lim

f (x)sen(x)dx = 0

(127)

f (x) cos(x)dx = 0.

(128)

lim

Prova. Similar `a prova do teorema anterior.

Do Teorema acima, se

|f (x)|dx seja nita, entao

lim

4.3

eix f (x)dx = 0.

Prova do Teorema da Integral de Fourier

131

Ap
endice - Deduc
ao das Equac
oes de Calor e da Onda

5.1

Equac
ao da Onda

A seguir, aplicaremos a Segunda Lei de Newton a uma corda elastica e concluiremos que
pequenas amplitudes transversais de uma corda vibrante obedece `a equacao da onda. Considere
um pequeno elemento da corda, mostrado na Figura 33.

Figura 33: Um elemento da corda.


Usaremos as seguintes notacoes:
u(x, t) = deslocamento vertical da corda do eixo x no posicao x e no instante t
(x, t) = angulo entre a corda e uma linha horizontal na posicao x e no instante t
T (x, t) = tensao na corda na posicao x e no instante t
(x) = densidade de massa da corda na posicao x.
As forcas atuando no pequeno elemento de corda sao
(a) a tensao puxando no lado direito, a qual tem magnitude T (x + x, t) e atua segundo um
angulo (x + , t) acima da horizontal,
(b) a tensao puxando no lado esquerdo, a qual tem magnitude T (x, t) e atua segundo uma
angulo (x, t), abaixo da horizontal e, possivelmente,
(c) varias forcas externas, como gravidade.

Assumiremos que todas as forcas atuam

verticalmente e denotaremos por F (x, t)x a magnitude total das forcas externas atuando no
elemento de corda.
132


A massa do elemento de corda e essencialmente (x) x2 + u2 , assim, a componente vertical
da forca, dada pela Lei de Newton, e

(x)

x2 + u2

2
u(x, t) = T (x + x, t) sen (x + , t) T (x, t)sen (x, t) + F (x, t)x.
t2

Dividindo por x e tomando o limite quando x 0, temos

( )2 2
u

(x) 1 +
u(x, t) =
[T (x, t) sen (x, t)] + F (x, t)
2
t
t
x

=
T (x, t) sen (x, t) + T (x, t) cos (x, t) (x, t) +
x
x
+F (x, t).
(129)
Note que
u
u
=
(x, t),
0 x
x

tg (x, t) = lim
o que implica que
sen (x, t) =

(x, t) = tg

u
x (x, t)

)2 ,
1 + x (x, t)
( u

u
(x, t),
x

cos (x, t) =
1+

1
( u

)2

x (x, t)

u
(x, t)

x2
(x, t) =
( u
)2 .
x
1 + x (x, t)

Para pequenas vibracoes, |(x, t)| 1, para todo x e t, isto implica que tg (x, t)| 1, logo,
| u
x (x, t)| 1, portanto,

( )2
u
1+
1,
x

sen (x, t)

u
(x, t),
x

cos (x, t) 1,

2u
(x, t)
(x, t).
x
x2

Substituindo os valores acima na equacao (129), temos


(x)

2u
T
u
2u
(x,
t)
=
(x,
t)
(x,
t)
+
T
(x,
t)
(x, t) + F (x, t).
t2
x
x
x2

(130)

Como o nosso pequeno elemento da corda move-se apenas verticalmente, entao, a componente
da forca na direcao horizontal e zero. Portanto, da Segunda Lei de Newton, temos
T (x + x, t) cos (x + x, t) T (x, t) cos (x, t) = 0.
Dividindo esta equacao por x e tomando o limite quando x tende a zero, temos

[T (x, t) cos(x, t)] = 0.


x
133

Para pequenas amplitudes de vibracoes, cos e muito proximo de um e

T
x (x, t)

e muito proximo de

zero. Em outras palavras, T e uma funcao apenas de t, a qual e determinada pela maneira de quao
forte estamos puxando as extremidades da corda no instante t. Logo, para pequenas amplitudes
de vibracoes verticais, (130) pode ser re-escrita como
(x)

2u
2u
(x,
t)
=
T
(t)
(x, t) + F (x, t).
t2
x2

Se a densidade da corda, , e constante, independente de x, e a tensao T (t) e uma constante


independente de t e nao existe forcas externas, F , obtemos
2
2u
2 u
(x,
t)
=
c
(x, t),
t2
x2

onde

c=

5.2

T
.

Equac
ao de Calor

Consideramos um o de material condutor, de comprimento L, cujas laterais estao perfeitamente


isoladas, tal que nao haja nenhuma perda de calor atraves das mesmas. Assumiremos que a
temperatura u no o dependa apenas da posicao x e do instante t, e nao dependa das coordenadas
y e z, de modo que a temperatura ao longo de qualquer secao transversal seja uniforme.
De acordo com a Lei de Fourier, a quantidade de calor uindo atraves de uma secao transversal
de area unitaria por unidade de tempo da barra, chamado de uxo, Q, e dado por
Q(x, t) = K

u
(x, t),
x

onde K e a constante de difusao de calor e depende apenas do material do o, e u(x, t) e temperatura


na posicao x e tempo t.
Considere uma porcao innitesimal do o de comprimento x, localizado entre os pontos x e
x + x. A quantidade de calor uindo no ponto x e Q(x, t). Da mesma forma, a quantidade de
calor uindo no ponto x + x e Q(x + x, t). O aumento total de calor no elemento diferencial
(por unidade de secao transversal de area) num intervalo de tempo t, e dado como
o aumento de calor no elemento no tempo t = [Q(x, t) Q(x + x, t)]t.

134

A quantidade de calor por unidade de secao transversal na secao selecionada no o, isto e, de


elemento de massa M (e comprimento x) no instante t e
M u xu xtut (x, t),
onde e o calor especco do material, e a densidade linear da material e u e a temperatura
media no elemento no instante t. Tomaremos u = u(x + x
e a temperatura no centro
2 , t), ou seja, u
de elemento. Portanto, temos
o aumento de calor no elemento no tempo t = xt ut (x +
Combinando as equacoes acima,
Q(x, t) Q(x + x, t)

= lim ut (x + , t),
x0
0
x
2
lim

ou seja,
Qx (x, t) = ut (x, t),
ou ainda,
Kuxx = ut (x, t) ut = 2 uxx ,
onde a constante 2 =

e chamada de difusividade termica.

135

x
, t).
2

Refer
encias
[1] William E. Boyce e Richard C. DiPrima, Equac
oes Diferenciais Elementares e Problemas de
Valores de Contorno, Setima Edicao.
[2] Murray R. Spiegel, An
alise de Fourier, Colecao Schaum. McGraw-Hill.
[3] C. H. Edwards e D. E. Penney, Dierential Equations, computing and modeling, Prentice Hall,
2000.
[4] Djairo Guedes de Figueiredo, An
alise de Fourier e Equac
oes Diferenciais Parciais, Projeto
Euclides, 1997.
[5] A. I. Markushevich, Theory of a Complex Variable (tres volumes em um). Chelsea Publishin
Company, New York, N.Y, segunda edicao, (1977), pagina 275, da primeira parte do livro
[6] Joel

Feldman,

Derivation

of

the

Wave

Equation,

encontrado

no

endereco

no

endereco

www.math.ubc.ca/ feldman/apps/wave.pdf.
[7] Ali

Ansari,

The

One-Dimensional

Heat

http://www.ul.ie/ aransari/MS4007Notes4.pdf

136

Equation,

encontrado