Resolucao da Primeira Prova - MTM129

1. (a) Encontre a expans ao em serie de Fourier em senos para a func ao f(x) = x denida em (0, 1).
Como queremos a expans ao em serie de Fourier em senos temos a
n
= 0 e
b
n
= 2
_
1
0
xsen (nx) dx = 2
_

1
n
__
1
0
xd (cos (nx))
=
2
n
_
x cos (nx)|
1
0

_
1
0
cos (nx) dx
_
=
2
n
_
cos (n)
1
n
sen (nx)|
1
0
_
=
2
n
(1)
n
=
2
n
(1)
n+1
.
Logo a serie de Fourier procurada e

n=1
2
n
(1)
n+1
sen(nx).
(b)

n=1
1
n
2
=?. Pela identidade de Parseval

n=1
4
n
2

2
=
_
1
1
x
2
dx = 2
_
1
0
x
2
dx =
2
3

n=1
1
n
2
=

2
4

2
3
=

2
6
.
(c) Utilize o item (a) para dar a soluc ao de
_
_
_
u
t
= u
xx
para x (0, 1), t > 0
u(0, t) = 0, u(1, t) = 2 para, t > 0
u(x, 0) = 3x para 0 x 1
.
Dica: Faca w = u v em que v(x, t) = v(x) satisfaz a equac ao do calor e as considi coes de fronteira.
Encontre v e w e consequentemente u.
Utilizando a sugest ao e efetuando os calculos necess arios temos que w satisfaz a seguinte equa cao:
_
_
_
w
t
= w
xx
+ g(x, t) para x (0, 1), t > 0
w(0, t) = 0, w(1, t) = 0 para, t > 0
w(x, 0) = 3x v(x, 0) para 0 x 1
.
em que g(x, t) = v
xx
v
t
= v
xx
e v e escolhida de modo que satisfaca a equacao do calor, isto e
v
xx
= 0. Assim v satisfaz a seguinte equa cao:
_
v
xx
= 0
v(0) = 0, v(1) = 2 para, t > 0
.
resolvendo a equac ao obtemos v(x) = 2x. Assim w satisfaz:
_
_
_
w
t
= w
xx
para x (0, 1), t > 0
w(0, t) = 0, w(1, t) = 0 para, t > 0
w(x, 0) = 3x 2x = x para 0 x 1
.
cuja soluc ao e dada por
w(x) =

n=1
2
n
(1)
n+1
e
n
2

2
t
sen(nx).
1
e assim
u(x, t) = v(x) + w(x, t) = 2x +

n=1
2
n
(1)
n+1
e
n
2

2
t
sen(nx).
(d) Qual a temperatura de equilbrio?
Como lim
t0
w(x, t) = 0 temos que lim
t0
u(x, t) = 2x e a temperatura de equilbrio.
2. Utilizando a tecnica de separacao de variaveis, encontre um par de equacoes diferenciais ordinarias cuja
soluc ao permita resolver a seguinte equac ao diferencial parcial abaixo:
u
xx
+ u
xt
+ u
t
= 0.
Faca u(x, t) = F(x)G(t). temos que
F

(x)G(t) + F

(x)G

(t) + F(x)G

(t) = 0.
Da:
F

(x)G(t) = G

(t) (F

(x) + F(x))
F

(x)
F

(x) + F(x)
=
G

(t)
G(t)
Como o lado direito depende apenas de x e o lado esquerdo dependende apenas de t temos que
F

(x)
F

(x) + F(x)
=
G

(t)
G(t)
= k(constante)
Assim obtemos o seguinte par de equa coes diferenciais F

(x) kF

(x) kF(x) = 0 e G

(t) + kG(t) = 0.
3. (a) Mostre que se f e peri odica de perodo T e deriv avel ent ao sua derivada f

tambem e peri odica de

perodo T.
Se T e o perodo de f, temos f(x + T) = f(x) entao usando a regra da cadeia
f

(x + T)(x + T)

= f

(x) f

(x + T) = f

(x).
(b) Suponha que f e peri odica de perodo 2L, deriv avel e tal que sua derivada f

seja integravel e
absolutamente integr avel. Use integrac ao por partes para mostrar que
a

n
=
n
L
b
n
e b

n
=
n
L
a
n
em que a

n
e b

n
s ao os coecientes de Fourier da derivada de f.
Por denic ao
a
n
=
1
L
_
L
L
f(x) cos
nx
L
dx.
Como f e deriv avel podemos integrar por partes para obter:
a
n
=
1
L
_
L
L
f(x) cos
nx
L
dx =
1
L
_
L
n
__
L
L
f(x)d
_
sen
nx
L
_
=
1
n
.
_
f(x)sen
nx
L

L
L

_
L
L
f

(x)sen
nx
L
dx
_
=
_
L
n
_
1
L
_
L
L
f

(x)sen
nx
L
dx =
L
n
b

n
.
2
e
b
n
=
1
L
_
L
L
f(x)sen
nx
L
dx =
1
L
_

L
n
__
L
L
f(x)d
_
cos
nx
L
_
=
1
n
.
_
f(x) cos
nx
L

L
L

_
L
L
f

(x)cos
nx
L
dx
_
=
1
n
_
(f(L) cos n f(L) cos(n))
_
L
L
f

(x)cos
nx
L
dx
_
=
1
n
_
(f(L) cos n f(L) cos(n))
_
L
L
f

(x)cos
nx
L
dx
_
Como f e peri odica de perodo 2L temos que f(L) = f(L + 2L) = f(L) e portanto
b
n
=
1
n
_
L
L
f

(x)cos
nx
L
dx =
L
n
1
L
_
L
L
f

(x)cos
nx
L
dx =
L
n
a

n
.
como queramos.
(c) Use a Identidade de Parseval para mostrar que se f : R R for deriv avel periodica de perodo 2L e
tal que f

e contnua ent ao a serie abaixo e convergente

n=1
_
a
2
n
+ b
2
n
,
em que a
n
e b
n
s ao os coecientes de Fourier de f.
Da desigualdade

a + b

a+

b temos que
_
a
2
n
+ b
2
n
|a
n
| +|b
n
|. J a da desigualdade ab
a
2
+b
2
2
e utilizando o item b temos:
|a
n
| =
L
n
|b

n
|
L

_
1
n
2
+
_
b

n
_
2
_
e
|b
n
| =
L
n
|a

n
|
L

_
1
n
2
+
_
a

n
_
2
_
Assim:
|a
n
| +|b
n
|
L

_
2
n
2
+
_
a

n
_
2
+
_
b

n
_
2
_
Como

2
n
2
converge (p-serie com p = 2 > 1) e pela identidade de parseval

n=1
_
a

n
_
2
+
_
b

n
_
2
converge
(na verdade tem-se

n=1
_
a

n
_
2
+
_
b

n
_
2
=
1
L
_
L
L
|f(x)|
2
dx
a
2
0
2
). Temos do teste da comparac ao que

n=1
_
a
2
n
+ b
2
n
e convergente.
3