Metodos Matematicos I Lista 1

1. Sejam f, g L2 ([a, b]). Prova que

Z b
f + g L ([a, b])
2
e que f (x)g(x) dx < .
a

Dicas:
1) Provar que (A + B)2 4AB para quaisquer par de numero reais A, B.
2) Usar a desigualdade anterior para provar f + g e de quadrado integravel.
3) Provar que a funcao produto f g e integravel usando que ( f + g)2 = f 2 + g2 + 2 f g.

2. Determina o perodo fundamental da funcoes sen(n0 x) e cos(n0 x) onde 0 = 2

ba
e
n 1. Prova que para todo n, m N vale,
h1, 1i = b a
Z b
h1, cos(n0 x)i = cos(n0 x) dx = 0
a
Z b
h1, sen(n0 x)i = sen(n0 x) dx = 0
a
Z b
hcos(n0 x), sen(m0 x)i = cos(n0 x) sen(m0 x) dx = 0
a

Z b
0 n,m
hcos(n0 x), cos(m0 x)i = cos(n0 x) cos(m0 x) dx =


ba
n=m

a

2
Z b
0 n,m
hsen(n0 x), sen(m0 x)i = sen(n0 x) sen(m0 x) dx =


ba
n = m.

a

2

Dicas:
1) Observar que L = b a e um perodo de ambas funcoes cos(n0 x) e sen(m0 x).
2) Usar as identidades trigonometicas
1 
cos() cos() = cos( + ) + cos( ) ,
2
1 
sen() sen() = cos( ) cos( + ) ,
2
1 
sen() cos() = sen( + ) + cos( ) .
2
3. Seja {ui : i N} um sistema ortogonal de vetores. Prova que para todo N, a familia de
vetores {ui : i = 1, . . . , N} e linearmente independente. Usa este resultado para mostrar
que o espaco vetorial L2 ([a, b]) nao pode ter dimensao finita.

Dicas:
1) Um sistemas de vetores {ui : i = 1, . . . N} diz-se linearmente independente se nenhum
vetor ui pode-se escrever como combinacao linear do resto. Em outras palavras, se

a1 u1 + + aN uN = 0 ai = 0 para todo i = 1, . . . , N.

2) Usar o Exerccio 2 para concluir que L2 ([a, b]) nao pode ter dimensao finita.

4. (Desigualdade de Cauchy-Schwarz) Prova a seguinte desigualdade:

s s
 Z b  Z b Z b
 f (x)g(x) dx f (x)2 dx g(x)2 dx f, g L2 ([a, b]).
a a a

Dicas:
1) Observe que a desigualdade anterior pode-se reescrever da forma |h f, gi| k f k kgk
onde h, i e o produto interno de L2 ([a, b]) e k k a norma induzida.
2) Prova que
0 r2 k f k + 2r h f, gi + kgk2 for all r R.
Usa o desenvolvimento do produto escalar h f + rg, f + rgi.
3) Estuda o discriminate do polinomio na variavel r do acima.

5. Da um exemplo de uma funcao em L2 ([a, b]) que nao e continua por partes. Da um
exemplo de uma funcao continua por partes em [a, b] que nao e suave por partes
no memos intervalo. Enuncia os teoremas de convergencia da Serie de Fourier:
convergencia em media quadratica, convergencia pontual e convergencia uniforme.

6. (Desigualdade de Bessel) Prova que se f L2 ([a, b]) entao vale a seguinte desigualdade:

a20 a
Z
X 2
+ a2n + b2n f (x)2 dx
2 n=1
ba b

onde a0 , an e bn sao os coeficientes da serie de Fourier de f no intervalo [a, b].

Page 2
 Dicas:
1) Escreve
N M
a0 X def
X
PN (x) = + an cos(n0 x) + bn sen(n0 x) = ci ui
2 n=1 i=1

onde u0 = 1/2, {ui : i = 1, . . . M} = {cos(n0 x), sen(nx) : n = 1, . . . , N} e ci coincide com

o correspondente coeficientes an ou bn , e dizer,
Z b
2 2
ci = h f, ui i = f (x)ui (x) dx.
ba ba a

2) Mostra que
M
baX 2
k f PN k = k f k + kPN k + 2h f, PN i e
2 2 2
h f, PN i = kPN k = c.
2 i=0 i

3) Usa que k f PN k2 0 para concluir a desigualdade

N M
a20 X X
+ a2n + b2n = c2i k f k2 para todo N.
2 n=1 i=0

7. (Teorema de Riemman-Lebesgue) Prova que para toda f L2 ([a, b]) vale que
Z b Z b
lim f (x) cos(n0 x) dx = lim f (x) cos(n0 x) dx = 0.
n a n a

Dica:
1) Usar a desigualdade de Bessel.

8. (Identidade de Parsevall) Provar que se f e continua por partes entao vale a seguinte
igualdade:

a20 X
Z a
2
f (x) dx =
2
+ a2 + b2n
ba b 2 n=1 n
onde a0 , an e bn sao os coeficientes da serie de Fourier de f no intervalo [a, b].
Dicas:
1) Refazer (1) e (2) no exerccio
2) Usar o teorema de convergencia em media quadratica para concluir a identidade
do fato que k f PN k 0.

Page 3
 9. Determina se a seguintes series trigonometricas podem ser ou nao Series de Fourier
de f :
(a) f (x) 3 sen(2x) + 5 cos(4x), x [, ],
(b) f (x) 3 sen(2x) + 5 cos(4x), x [2, 2],
(c) f (x) cos(5x), x [3, 3],
(d) f (x) 1 x [, ].
P
n=1 n cos(nx),

Dica:
1) Analisa se a frequencia fundamental e a correta em (a), (b), (c) e usa a identidade
de Parsevall em (d).

10. (Espectro da Serie de Fourier) Mostra que para todo a, b e reais vale que

a cos(x) + b sen(x) = A cos(x )

onde
b
= arctan .
A2 = a2 + b2
a
Usando a expressao acima mostra que a serie de Fourier de f L2 ([a, b]) pode-se
escrever da forma

X
f (x) An cos(n0 x n )
n=0

onde An = a2n + b2n e a n-esima amplitude e n = arctan bann o n-esima deslocamento.

Dica:
1) Usando a identidade trigonometrica certa desenvolve A cos(x ) concluindo que
a = A cos e b = A sen . Da se segue a expressao para .
2) Usando a identidade trigonometrica certa desenvolve A sen(x ) e conclui o
valor de A usando que A2 = [A sen(x )]2 + [A cos(x )]2 .

Page 4