2015/1S  QM35B  Mt.

de Matemtica Aplicada
Avaliao P1
Incio: 08h20min  Durao: 1h40 minutos (2 aulas)

Data: 30/03/2015

INFORMAES: (i) a prova individual; (ii) facultado ao aluno o porte e consulta de uma
folha tamanho A4, de uso exclusivamente individual; (iii) qualquer forma de consulta ou auxlio
consulta no autorizada acarretar no recolhimento imediato da prova e anulao da mesma; (iv)
questes incompletas sero desconsideradas; (v) o respeito notao matemtica e ao rigor cientco,
a interpretao das questes e a clareza na exposio fazem parte da avaliao.
Nome: GABARITO 23h50min

(Valor: 10,0)

Nota:

Problema 1. [3,0] (a) Mostre que a equao de Laguerre, dada por

xy 00 + (1 x)y 0 + y = 0;

x 2 [0; 1);

2R

uma equao de Sturm-Liouville. (b) Verique que os primeiros polinmios de Laguerre, dados por
L0(x) = 1;

L1(x) = 1 x;

L2(x) = 1 2x +

x2
;
2

so autofunes, indicando explicitamente, seus autovalores correspondentes. (c) Mostre e/ou justique que os
polinmios do item (b) so ortogonais em (0; 1) para uma determinada funo peso r(x).

Resoluo:
(a) Uma equao diferencial dita uma equao de Sturm-Liouville se pode ser escrita como
p(x)y 00 + p 0(x)y + [q(x) + r(x)]y = 0;

x 2 (a; b)

em que p; p 0; q; r so todas contnuas em (a; b),  2 R e r(x) > 08x 2 (a; b). Observamos que
(x) 0 = 1 =
/ (1 x). Logo, a equao no est na forma de Sturm-Liouville. Assim, multiplicamos a
equao de Laguerre por uma funo arbitrria (x) e a determinamos para que a equao resultante
seja uma equao de Sturm-Liouville:
xy 00 + (1 x)y 0 + y =
+
p(x) =
p 0(x) =
+
0
 x+ =
0 =
+
(x) =

0
x
(1 x)
 x

ex:

Logo, a equao de Laguerre uma equao de Sturm-Liouville com

p(x) = xex ;

p 0(x) = (1 x)ex ;

q(x) = 0;
1

r(x) = ex ;

ou seja,
xexy 00 + (1 x)exy 0 + exy = 0:
(b) Para que Li(x) seja uma autofuno, necessrio que
xLi00 + (1 x)Li0 + iLi = 0;
para um determinado autovalor i. Assim:


i=0
L00 = L000 = 0

L0(x) = 1
e, portanto, 0 = 0.


i=1
L1(x) = 1 x

L10 = 1

L100 = 0

e, portanto,
x:0 + (1 x)(1) + 1(1 x) = 0


(1 1)(1 x) = 0

1 = 1:

i=2
L2(x) = 1 2x +

x2
2

L20 = 2 + x

L200 = 1

e, portanto,


x:1 + (1 x) (x 2) + 2


x2
1 2x +
=0
2



x2
(2 2) 1 + 2x = 0
2

2 = 2

(c) Como L0(x), L1(x) e L2(x) so solues de uma mesma equao de Sturm-Liouville associadas a
autovalores distintos, temos que todas so ortogonais em (0; 1) com relao funo peso r(x) = ex.
Isto ,
Z

r(x)Li(x)Lj (x)dx = 0

(i; j = 0; 1; 2;

i=
/ j):

Problema 2. [4,0] (a) Utilizando srie de Fourier, demonstre a seguinte identidade trigonomtrica, justicando
seus passos:
cos2(x) =

1 cos(2x)
+
:
2
2

(b) Sabendo que

1

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

para qualquer x 2 (0; 1), determine a srie de Fourier da funo

f (x) =

x2 + 1 se 1 < x 6 0
;
x2 1 se 0 < x < 1

denida no intervalo (1; 1). (c) Seja FN (x) o polinmio trigonomtrico de grau N obtido pela srie de Fourier
de uma funo f denida em (L; L) e truncada no termo de ordem N . O erro quadrtico desta aproximao
dado por
Z L

EN =
(f (x) FN (x))2dx:
L

Determine E3 para a funo do item (b). (d) Avalie a srie obtida no item (b) nos pontos x = 2 , x = 0, x = 1 e x = .

Resoluo:
(a) Representando f (x) = cos2(x) por uma srie de Fourier de cossenos em (0; ), temos:
1
a0 =

e
2
an =


cos2(x)dx =

cos2(x)cos(nx)dx =

1
2

2(n2 2)sen(n)
n(n2 4)

que igual zero (pois sen(n) = 0) para todo n =

/ 2 (note que esse resultado est indeterminado
para n = 2). Explicitamente para n = 2 temos
2
a2 =


1
cos2(x)cos(2x)dx = :
2

Logo, como f (x) = cos2(x) contnua e diferencivel para todo x, a srie de Fourier igual funo
em qualquer ponto x e, portanto,
f (x) = cos2(x) = a0 +

1
X

ancos(nx) =

n=1

1 1
+ cos(2x):
2 2

(b) Uma vez que f (x) a combinao da funo x2 (par) com a funo
g(x) =

1 se 1 < x < 0
;
1 se 0 < x < 1
3

(mpar)

temos que seus coecientes de Fourier de f so dados pela combinao dos coecientes destas duas
funes. Representando g por uma srie de Fourier de senos, temos

bn =

2
1

8

1
< 0 se n par
 n 
cos(nx)
2
1 sen
x dx = 2
= [(1)n 1] = 4
:
1
n
n
:
se n mpar
0
n

Assim, a funo f representada pela srie de Fourier:


1 
1 X 4 (1)n
2 [(1)n 1]
F (x) = +
cos(nx) +
sen(n) ;
3 n=1  2 n2

n

ou seja,

1
a0 = ;
3

an =

4(1)n
;
 2n2

bn =

2 [(1)n 1]
:

n

(c) O erro quadrtico dado por


EN
=

Como
Z

temos
E3 =

"

1
1

[f (x)]2dx 1: 2a20 +

1
2

[f (x)] dx =
1

0
2

[x + 1] dx +
1

N
X

(a2n + b2n) :

n=1

[x2 1]2dx =

12
;
5

  2 
 
 
 
 

12
1
4 2
4 2
4 2
4 2
4 2
2
+
+
+
+
+
 0; 20:
5
3
2

 2 22
 2 32
3

(d) Como f uma funo contnua por partes denida em (1; 1), a srie de Fourier converge
f (x + 0) + f (x 0)
exatamente para o valor de f (x) se f contnua em x e exatamente para
se f
2
descontnua em x. Mais ainda, a srie de Fourier tem perodo 2L. Logo:


1
F
2

F (0) =

 

1
1 2
=f
=
+1
2
2


1
5
F
= ;
2
4

f (x + 0) + f (x 0) 1 + 1
=
2
2

F (0) = 0;

Para avaliar F em x = 1 notamos que f (x + 2) = f (x) e, assim,

F (1) =

lim f (x) + lim+ f (x)

x!1

x!1

0 + lim + f (x)
x!1

0+2
2

F (1) = 1:

E, como F () = f ( 2 + 2) = f ( 2) = f ( 4 + 2) = f ( 4), temos

F () = ( 4)2 + 1

F () =  2 8 + 17  1; 73:

Problema 3. [3,0] (a) Valendo-se das integrais de Fourier, demonstre o resultado abaixo:
Z

8
<
se 0 < x < 
1 cos(w)
sen(xw)dw = 2
:
: 0 se x > 
w

(b) Indique o valor da integral do item (a) para qualquer x no intervalo (1; 0].
(c) Sabendo que
Z

A(w) cos(wx)dx = f(x)

mostre que
xf (x) =

Resoluo:
(a) Seja f denida por

A(w) =

2


f (v) cos(wv)dv;

dA(w)
sen(xw)dw:
dw

8
<
se 0 < x < 
f (x) = 2
:
: 0 se x > 

Como f contnua por partes e absolutamente integrvel no semi-eixo positivo, pode ser representada
por uma integral de Fourier de senos, isto ,
F (x) =

2
B(w) =


B(w)sen(xw)dw;

f (v)sen(wv)dv;

com a propriedade de que

F (x) =
Assim,

8
<

f (x)
se f contnua em x
:
f (x + 0) + f (x 0)
:
se f descontnua em x
2

2
B(w) =



0




cos(wv)
1 cos(w)
sen(wv)dv =
=
:
2
w
w
0

Logo,
Z

B(w)sen(xw)dw =

8
<
se 0 < x < 
1 cos(w)
sen(xw)dw = 2
:
w
: 0 se x > 

(b) Como representamos f por uma integral de senos de Fourier, assumimos f mpar. Assim, temos
8
>
0 se 1 < x < 
>
>
>
>
Z 1
<  se
x = 
1 cos(w)
4
sen(xw)dw =
:

w
>
0

se

<
x
<
0
>
>
>
2
>
: 0 se
x=0
5

(c) Diferenciando a expresso para A(w) com relao w:

Z
Z
d
2 d 1
2 1
d
A(w) =
f (v) cos(wv)dv =
f (v)
cos(wv)dv
dw
 dw
 0
dw
Z 10
dA(w)
2
=
vf (v)sen(wv)dv:
dw
 0
A representao de g(x) = xf (x) por uma integral de senos de Fourier dada por
xf (x) = g(x) =

B(w)sen(xw)dw;

2
B(w) =


1
0

2
g(v)sen(wv)dv =


vf (v)sen(wv)dv:

Comparando esta ltima integral com a obtida pela diferenciao de A, vemos que
B(w) =

dA(w)
:
dw

Assim,
xf (x) =

dA(w)
sen(xw)dw:
dw