MATEM

ATICA II - 2011 - PR

ACTICA 1
1. Sea V un k-e.v con pseudo-producto escalar , (por supuesto, k = R o C). Probar que:
(a) El subconjunto de vectores nulos N = {v V : v = 0} es un subespacio. [Pista: Mostrar primero que u, v N
se tiene u v
2
= 2Re u, v, y concluir que u +v
2
+ u v
2
= 0; luego usar que k y v V ,
v = || v.]
(b) Si u, v N, luego u, v = 0. [Pista: Usar el punto anterior y mostrar en el caso complejo que u, v N se tiene
u iv
2
= 2Imu, v.]
(c) Se cumple la desigualdad de CauchySchwartz |u, v| u v y la desigualdad triangular u +v
u + v. (Notar que de la primera desigualdad se deduce que un vector nulo es ortogonal a todo V ).
2. Dada p G[a, b] tal que p (x) R
>0
, para todo x [a, b] donde p este denida, mostrar que la formula f, g =
_
b
a
f (x) g (x) p (x) dx dene un producto escalar en C
0
[a, b].
3. Muestre que dado un s.o.n. {
n
}
nN
de G[a, b] y una funcion f en el mismo espacio, se tiene que la (pseudo)norma
_
_
_
_
f

N
n=1

n

n
_
_
_
_
=

_
b
a

N
n=1

n

n

2
dx, con
n
C,
es mnima cuando
n
= c
n
=
n
, f. Se dice por este motivo que la suma de Fourier S
N
=

N
n=1
c
n

n
da la
mejor aproximacion en media cuadratica de f. (Existe un resultado analogo que es valido para todo k-e.v con
pseudo-producto escalar. Quizas sea mas comodo demostrar este ultimo y obtener el correspondiente a G[a, b] como
corolario.)
4. Considere el espacio C
0
[0, 1] junto con el producto escalar del punto 2, pero con a = 0, b = 1 y p 1. Muestre que la
sucesion de funciones
f
n
(x) =
_
2 nx exp(nx
2
) C
0
[0, 1]
tiende puntualmente a la funcion nula, y sin embargo f
n
tiende a uno (en particular, esto dice que f
n
no tiende a la
funcion nula en media cuadratica).
Muestre ahora que la sucesion

n
(x) =
_
_
_
f
2 k
(x) , si n = 2 k,
1
2 k+1
, si n = 2 k + 1,
C
0
[0, 1]
tambien tiende puntualmente a la funcion nula, y que no tiene lmite en media cuadratica. [Pista: Para el ultimo
resultado, demuestre primero que si f
n
f en media cuadratica, luego f
n
f en el sentido usual.]
5. Sea V un k-e.v con pseudo-producto escalar , (siendo k = R o C), y sea {
n
}
nN
un s.o.n. Muestre que si una
sucesion de sumas parciales A
N
=

N
n=1
a
n

n
converge en norma a un elemento v V , luego a
n
=
n
, v, es decir,
los a
n
son necesariamente los coecientes de Fourier de v y A
N
es la suma de Fourier de v. [Ayuda: Para cada k N
calcule
k
, A
N
v, use la desigualdad de C-S y tome el lmite N .] Deduzca de aqu que un s.o.n. cerrado es
una base de Schauder. (Observacion: Esto signica, por ejemplo, que si una sucesion

N
k=N
d
k
e
ikx
converge en
media cuadratica a una funcion f, luego los d
k
son necesariamente los coecientes de Fourier exponenciales de f.)
6. Dadas dos funciones f, g G[, ], supongamos que
f a
0
+

k=1
(a
k
cos k x +b
k
sin k x) y g a

0
+

k=1
(a

k
cos k x +b

k
sin k x) .
(a) Vericar que
f + g a
0
+ a

0
+

k=1
[(a
k
+ a

k
) cos k x + (b
k
+ b

k
) sin k x]
(b) Hallar los desarrollos en [, ] de
f
1
(x) =
_
0, < x 0,
1, 0 < x ,
y f
2
(x) =
x

en < x
(c) Usando a) y b), hallar el desarrollo en [, ] de
(x) =
_
1/2, < x 0,
1/2, 0 < x ,
y (x) =
_
x +, < x 0,
x, 0 < x .
(d) Diga hacia donde y en que sentido convergen las sumas obtenidas en los puntos b) y c) (si es que eso sucede).
7. Para algunas funciones trigonometricas es mas facil hallar el desarrollo de Fourier utilizando identidades trigonometricas
que calculando las integrales correspondientes. Como ejemplo, calcular la serie de Fourier de sin
3
(x), partiendo de
sin
3
(x) =
_
e
ix
e
ix
2i
_
3
= . . ..
8. Desarrollar en serie de Fourier la funcion f (x) = x en el intervalo [0, ] de modo que el desarrollo sea:
(a) una serie de senos solamente,
(b) una serie de cosenos solamente.
En cada caso, estudiar la convergencia de las series obtenidas.
9. Sea f una funcion 2-periodica y g (x) = f (x +h) (h una constante ja). Calcular los coecientes de Fourier de g en
terminos de los de f.
10. (a) Halle la serie de Fourier de la funcion f, 2-periodica, que vale x en el intervalo [, ) (notar que f, f

G).
(b) Derive la serie termino a termino. Puede ser la serie de Fourier de una funcion de G?
(c) Integre entre 0 y x [x (, )] la igualdad obtenida en a), compare el termino constante con el termino constante
de la serie de Fourier de x
2
/2 y deduzca

1
(1)
k+1
k
2
=

2
12
(la reordenacion de terminos es lcita).
(d) Integre de a 0 la misma igualdad y, usando c), deduzca

1
1
k
2
=

2
6
.
11. Una serie exponencial es una serie (convergente o no) de la forma

+
k=
c
k
e
ikx
(con c
k
reales o complejos). Mostrar
que si c
k
= c
k
, la serie exponencial es otra forma de presentar una serie trigonometrica, ya que para todo n,

n
k=n
c
k
e
ikx
= a
0
+

n
k=1
(2 a
k
cos k x 2 b
k
sin k x), si a
k
y b
k
son parte real e imaginaria de c
k
.