Conte
udo
1 S
eries de Fourier
1.1
Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Funcoes periodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
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
1.8
1.9
36
2.1
2.2
2.3
2.4
2.5
2.5.2
2.5.3
2.5.4
2.5.5
2.5.6
2.5.7
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
2.8.4
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
96
3.1
3.2
3.3
3.4
3.5
4 Ap
endice
127
4.1
4.2
4.3
5 Ap
endice - Dedu
c
ao das Equa
c
oes de Calor e da Onda
132
5.1
5.2
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.
xa
j
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.
-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).
-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
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)
(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,
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
( mx )
dx = 0,
f (x) =
(2)
n=1
( 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
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
( 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 )
sen
L
( mx )
L
cos
temos
L
( mx )
dx =
f (x)sen
L
L
( 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
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)
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
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:
de f (x)
2,
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
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
for absolutamente integravel, os seus coecientes de Fourier decaem pelo menos com 1/n2 .
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
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
nx
L ,
obtemos
n
2L
bn = 2 2
ysen y dy.
n 0
n
y sen y dy = y cos y |0 +
0
Logo,
bn =
2L
(1)n+1 .
n
2L (1)n+1
nx
sen
.
n
L
n=1
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,
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
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
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
(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
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)
8 (1)n+1
(2n 1)x
sen
(2n 1)2
2
n=1
)
(
8 (1)n+1
(2n 1)x
,
sen
(2n 1)2
2
0 x .
n=1
,
se n = 0,
2
an =
x cos nx dx =
n 1]
2[(1)
0
, se n = 1, 2, . . .
2
n
4
1
cos(2k 1)x,
2
(2k 1)2
k=1
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
2
1
(1)n+1
sen (nx),
cos
((2k
1)x)
+
4
(2k 1)2
n
n=1
k=1
Fazendo x =
(1)n+1
n=1
2n 1
.
4
(1)n
2
+4
cos(nx).
3
n2
n=1
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
periodica par de f .
de cossenos de f .
(
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
y
2
-4
-2
-1
-2
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.
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
n
n=0 an x
)
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
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
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
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
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
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)
ei + ei
2
sen =
ei ei
.
2i
Das duas u
ltimas relacoes acima, temos
an cos
( nx )
L
+ bn sen
( nx )
L
26
(8)
=
=
(
( 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)
( 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
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
.
2
2n 1
|n|1
1.11
a
o
(SN (x))2 dx = L
+
(a2n + b2n ) .
2
L
(11)
n=1
(12)
n=1
(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
(f (x))2 dx,
L
n=1
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
lim
n L
f (x) cos
( nx )
L
dx = 0
lim
n L
f (x) sen
( nx )
L
dx = 0,
(13)
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.
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
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)
qn =
k=1
q q n+1
1q
(q = 1)
temos
N
eikt =
k=1
eikt =
k=1
portanto
N
eikt +
k=1
eikt =
k=1
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) ,
f (x )
f (x + t)DN (t)dt
2
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
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|
0 x < 1.
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
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
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
u2 +1
x+3 .
f (u)
,
g(x)
(21)
du
dx
=
.
f (u)
g(x)
Em particular, se u =
u2 +1
x+3
temos
du
=
u2 + 1
dx
x+3
(22)
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.
possibilidades:
(i) > 0, neste caso temos duas raizes reais distintas: =
b
2a
sera
u(x) = c1 e x + c2 e+ x .
(ii) = 0, neste caso = + =
b
2a ,
outra soluc
ao que nao seja m
ultiplo desta, tentamos uma solucao da forma u(x) = v(x)e 2a x , com
b
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
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)
(25)
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
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.
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) .
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
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,
2.5
u(0, t) = u(5, t) = 0,
u(x, 0) = 0,
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)
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 ) ,
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.
u(x, t) = F (x)G(t).
(28)
(29)
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)
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
+ c2 e
= 0.
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
e c1 L + c2 = 0,
e c2 sen L = 0,
n2 2
,
L2
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
n2 2 Kt
L2
sen
nx
,
L
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
bn sen
( nx )
L
n=1
cn sen
( nx )
n=1
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
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
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
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
48
R,
em
ux (0, t) = ux (L, t) = 0,
para
u(x, 0) = f (x),
0 < x < L.
para
t>0
t 0,
0 x L,
2 2
n 2Kt
L
n2 2 Kt
L2
cos nx
cao de calor e as condicoes de fronteira dadas e o mesmo vale para
L satisfaz a equa
n2 2 Kt
co
nx
u(x, t) =
+
cn e L2 cos
,
2
L
n=1
2
L
f (x) cos
0
nx
dx,
L
n = 0, 1, 2, . . . .
ut = uxx ,
R,
em
ux (0, t) = ux (, t) = 0,
para
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
a0
an cos nx,
+
2
n=1
1 1
a0
+ cos 2x + cos 5x =
+
an cos nx,
2 2
2
n=1
1 1 4t
+ e cos 2x + e25t cos 5x.
2 2
1
2
)
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.
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
ut = Kuxx ,
em
R,
u(0, t) = ux (L, t) = 0,
para
u(x, 0) = f (x),
0 x L.
para
t>0
0 x L,
a0
2
4
3 .
cn e
(2n1)2 2 Kt
4L2
(2n 1)x
,
2L
sen
n=1
(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
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
(
)
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
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
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
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) = +
10
x, 0 < x < .
u(x, t) =
10x
.
10x
2
+
cn en t sen nx.
n=1
54
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.
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.
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.
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
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),
(41)
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
(42)
como u e ut sao contnuas, lado esquerdo de (42) pode ser escrito como
=
=
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
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
= K
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
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).
h(x)dx
xo +
xo
h(xo )
2 .
h(x)dx
h(xo )
2 ,
xo +
xo
h(xo )
dx = h(xo ) > 0,
2
contrariando (43).
t h(x, t)
d
dt
h(x, t)dx =
a
58
h(x, t)dx,
t
(44)
2.6
Exerccios
0<x<1 ,
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
(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
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
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)
(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
(45)
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
u(L, t) = b(t),
para
t 0.
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),
para
0 < x < L.
= 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
nct
nx
nct
nx
cos
+ bn sen
sen
L
L
L
L
nx
nct
nx
nct
u(x, t) =
an sen
cos
+ bn sen
sen
,
L
L
L
L
(50)
n=1
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
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
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
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
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,
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.
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
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
t0
ut (x, 0) = cos x,
0 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)]
4n 1
4n 1
n=1
n=1
1
onde F (w) = 2
n=1 4n2 1 cos(2n w).
u(x, t) =
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.
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
( )
(
)
( nx )
nt
9 sen n
3
sen
cos
.
u(x, t) = 2
n2
30
15
n=1
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
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) = ,
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
v(L, t) = 0,
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,
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,
(52)
(53)
f (x) g(x)
+
.
2
2c
(54)
f (x) g(x)
.
2
2c
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
w
0
1
1
h(x + ct)
h(x ct),
2c
2c
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
Resolu
c
ao. Da formula de DAlembert, temos u(x, t) =
Claramente, u(x, 0) 0. Note que se w < 0, entao,
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
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
w (1
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
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
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
f (x+0.25)+f (x0.25)
.
2
0.5
2.9
0.5
-3
-1
-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
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
(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
2u
i=1
x2i
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
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
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,
I
(uu)dx =
uuy dx + uux dy,
mas se x = x(t) e
escrever
I
uuy dx + uux dy =
=
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)
1
f (r) = 0,
r
83
u2xi + uu,
i=1
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)
2.10.1
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(0, y) = go (y),
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)
n(y b)
a
n(b y)
Yn (y).
a
n(by)
a
u(x, y) =
n=1
cn sen
nx
n(b y)
senh
.
a
a
86
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
cn sen
n=1
nx ny/a
e
,
a
onde
2
cn =
a
f (x) sen
0
nx
dx.
a
( ny )
senh
fn
senh
n=1
a
( nb
) sen
( nx )
onde
2
fn =
a
f (x) sen
0
nx
dx.
a
onde
2
fn =
b
f (y) sen
0
ny
dy.
b
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.
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
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).
( ny )
b
. A outra
( ny )
( nx )
ao
cos
.
+
an cosh
2
b
b
u(x, y) =
n=1
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
f (x) =
se 0 x a/2
x,
a x,
se a/2 x a.
X(0) = 0 = X(a),
2 2
equacao ca Y =
( nx )
a
n2 2
a2
. A outra
an cosh
( ny )
n=1
sen
( nx )
a
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, . . . .
91
2.10.2
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)
(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)
d2 R
dt2
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
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
bVa
aVb
ln ab
ln
( )
e c2 =
Va c1
ln a .
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
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
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
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
=
(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
e
B(k) =
f (x) cos(kx)dx
(70)
(71)
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) =
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.
(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
x(t)dt + i
(x(t) + iy(t))dt =
u(t)dt =
a
(76)
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
=
u
(b) Deduza o valor da integral 0 sen
du.
u
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
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
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
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
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
2a cos(kx)
ax
e
=
dk,
0 a2 + k 2
x 0.
se x > 0
1,
sgn(x) =
0,
se x = 0 .
1, se x < 0
Mostre que
2
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.
sen(a + b) + sen(a b)
.
2
fc (k) = k 2 fb(k).
De fato,
fb (k) =
+ ik
eikx f (x)dx = eikx f (x)
De maneira analoga, fazendo-se duas integracoes por partes, temos a segunda relacao de (77).
102
(77)
ikx
= a
e
f (x)dx + b
eikx f (x)dx (usamos a linearidade da integral)
= afb(k) + 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)
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
b
eikx f (x)dx
f (k) =
[
]
ikx
= f (x)e
= 0 + ik
eikx f (x)dx
= ik fb(k).
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)
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) =
)
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
105
.
+ 2
(80)
k2
2
+ 2
(81)
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
|x|
portanto,
1
=
2
ikx
dk =
k 2 + 2
cos kx
dk,
k 2 + 2
cos(kx)
dk = e|x| .
2
2
k +
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)
k2 /4
e
.
Resolu
c
ao.
d
f (k) = i
dk
]
([
)
2
x2
eikx ex
ikx e
= i
(ik)e
dx
2
2
(84)
k f(k)
.
2
ikx x2
[ ikx x2 ]
e
e
Acima usamos que e 2
= 0, pois e 2
=
=
ex
2
onde
A = f(0) =
ex dx.
2
x2
dx =
x2
dx
e(x
=
R2
2 +y 2 )
=
0
y 2
dy
)1/2
dxdy
r2
)1/2
)1/2
rdr)
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.
(f g)(x) =
f (x y)g(y)dy.
f (g h) = (f g) h,
f (g + h) = f g + f h.
(85)
iku
f (u)du
gb(k) =
entao
fb(k)b
g (k) =
eikv g(v)dv,
eik(u+v) f (u)g(v)dudv.
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)
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
1
x2 +a2
e g(x) =
1
x2 +b2
(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) =
=
=
=
n,
gn (x) =
0,
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
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
2
2
cos(x )dx =
=
sen(x2 )dx,
2
(87)
Usaremos o
)
2 (
cos(k 2 /4) + sen(k 2 /4)
2
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.
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
2
ix2 (k) =
e[
4 ei(k /4+/4) .
111
(90)
3.2
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
Seja g uma extensao de f para a reta toda, tal que g e g sejam contnuas por partes e
|g(x)|dx
g(x + 0) + g(x 0)
2
onde
A(k) =
e
B(k) =
g(x) cos(kx)dx
(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) =
f (x) sin(kx)dx.
0
1,
f (x) =
0,
se 0 x < 1
se x 1.
112
f (x)
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 (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
utt = c2 uxx ,
(91)
u(x, 0) = f (x),
< x < ,
(92)
ut (x, 0) = g(x),
< x < .
(93)
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
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
h(x, t) =
x+ct
g(s)ds,
xct
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
f (x + ct) + f (x ct)
1
+
2
2c
x+ct
g(s)ds,
xct
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)
v(x,t)
115
(97)
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)
u(x, t) =
h(,
t) = eikt ec t eikt p(, t)
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)
(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) =
entao
u
b(k, 0) = fb(k)
e
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)
(104)
y
.
x2 + y 2
117
(105)
(106)
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
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)
4M y
1
1
,
8M
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.
x, y > 0
(110)
0 x < ,
u(x, 0) = f (x),
u(0, y) = 0, y > 0.
(111)
f (x),
se x 0
h(x) =
f (x), caso contrario
e considere o seguinte problema de Dirichlet no semi-plano
uxx + uyy = 0,
(112)
< x < .
(113)
u(x, 0) = h(x),
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)
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.
x, y > 0
u(x, 0) = f (x),
x 0,
u(0, y) = g(y), y 0.
x, y > 0
u(x, 0) = sen x,
3.4
x 0,
u(0, y) = sen y, y 0.
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.
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
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,
u
b(k, t) =
u(x, 0) = f (x), x R.
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
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
Exerccios: resoluc
ao de equac
oes diferenciais parciais
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,
se |x| < 2
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.
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).
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 ,
(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
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)
ou seja,
lim
h0
ikx
eihx 1
h
ikx
eihx 1
h
)
f (x)dx,
)
f (x)dx (k) = 0,
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
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)
senu
= cos(),
u
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
cos 2
u
2!
sen 2
u .
2!
senu = u
senu u
sen 2
=
u ,
u
2!
acima que
senu 1 |u|
.
u
2
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
(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
x[x1i ,xi ]
n
onde g(x) =
mi xi =
g(x)dx,
a
i=1
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))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
(125)
lim
f (x) cos(x)dx = 0.
(126)
|f (x)|dx < .
2
L
0
f (x) sen(x)dx < .
2
< ,
130
lim
f (x)sen(x)dx = 0
(127)
f (x) cos(x)dx = 0.
(128)
lim
Do Teorema acima, se
lim
4.3
eix f (x)dx = 0.
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.
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
( )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
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 (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
onde
c=
5.2
T
.
Equac
ao de Calor
u
(x, t),
x
134
= 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 =
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