Clase 14: Continuacion.

Peter Hummelgens
7 de enero de 2007
Encontramos en la clase anterior lo siguiente. Si {1 , , N } es un s.o. en L2 (a; b) (los
i 6= 0) y f L2 (a; b) arbitrario, entonces
N
X

fproy =

cn n con cn =

n=1

(f, n )
(n = 1, , N ),
kn k2

(1)

es la proyeccion ortogonal de f sobre el subespacio lineal de M de L2 (a; b) generado por

1 , , N . El espacio M es N dimensional y consiste en todas las combinaciones lineales
=

N
X

an n con an C ( M ).

(2)

n=1

Veamos algunas consecuencias de este resultado.

(1)

Llamando como antes g := f fproy = f

N
P

n=1

(f,n )
,
kn k2 n

tenemos f = g +

N
P

n=1

(f,n )

kn k2 n

donde g es perpendicular con cada n (porque g M ), por lo tanto perpendicular con todos
los terminos

(f,n )
,
kn k2 n

ortogonales entre s. Ahora con Pitagoras

2

kf k = kgk +

N
X

|cn | kn k

n=1

(1)

N
X
|(f, n )|2
n=1

kn k2

N
X

|cn |2 kn k2

n=1

kf k2 , f L2 (a; b)

(3)

lo que es la desigualdad de Bessel (observe que en (3) la desigualdad se convierte en una

igualdad cuando f M , es decir, fproy = f ).
Ademas, para M arbitraria dada por (2), tenemos f fproy = g (fproy ) (ya que
g M , fproy M ), luego
f = (f fproy ) + (fproy )

P it
agoras

kf k2 = kf fproy k + kfproy k2 .

de donde vemos que para M la norma cuadrado kf k2 alcanza su valor mas peque
no
cuando = fproy , es decir, cuando an = cn ; n = 1, , N . En otras palabras
kf

N
X

an n k se minimiza cuando los an son precisamente

n=1

los coeficientes de fourier cn de f con respecto al s.o. {1 , , N },

(4)

es decir, la distancia mas corta entre f y una M es la distancia ortogonal entre f

y M , un resultado que luce evidente geometricamente. La magnitud de la norma kf k
mide la cercana de f y como elemento de L2 (a; b) : mientras mas peque
no kf k,
mejor se aproxima en norma a f . Podemos entonces reformular (4) diciendo: La mejor
aproximacion en norma de f L2 (a; b) por un elemento de M
es =

N
X

cn n donde los cn son los

n=1

coeficientes de Fourier de f con respecto al s.o. {1 , , N }.

Ejemplo 1. Se pide hallar los valores , C que minimicen
(, ) =

| sen(x) x|2 dx.

(5)

(6)

Podemos ubicar este problema en el contexto de la aproximacion en L2 (; ). Las funciones

1 (x) = 1, 2 (x) = x evidentemente pertenecen a L2 (, ) y
(1 , 2 ) =

1 (x)2 (x)dx =

xdx = 0 = 1 2 ,

es decir, {1 , 2 } es un s.o. en L2 (, ). Ademas f (x) = sen(x); x = f

L2 (, ), y podemos escribir (6) como
(, ) = kf 1 2 k2
y por (4) (o (5)) (, ) se minimiza cuando , son los coeficientes de Fourier de sen(x)
con respecto al s.o. 1 , 2 . Entonces con (1),
R

sen(x)dx
0
(f, 1 )
=
=
= 0,
=

2
R
k1 k
2
dx

x sen(x)dx
(f, 2 )
3
=
=
=
.

2
R
k2 k
2
2
x dx

La funcion fproy (x) = 32 x es la proyeccion ortogonal

lineal generado por 1, x, o 32 x es la mejor aproximacion

de f (x) = sen(x) sobre el subespacio

en norma de sen(x) por una funcion

de la forma + x.
Verifiquemos la desigualdad de Bessel:
(2)2
|(f, 1 )|2 |(f, 2 )|2
6
+
=
0
+
=
kf k2 =
k1 k2
k2 k2
2 2 /3

sen2 (x)dx = .

Mas ejemplos de este tipo estan en la gua del Profesor Hummelgens.

Con el concepto de la norma en L2 (a; b) podemos ahora definir los conceptos de
convergencia de sucesiones y series infinitas en L2 (a; b). Sea {fn } una sucesion en L2 (a; b) y
f L2 (a; b). Entonces definimos
def.

fn f si n

lm kf fn k = 0.

(7)

k k

Expresamos f f diciendo que fn converge a f en la norma. Equivalentemente

kk

fn f si n

Zb

|fn (x) f (x)|2 dx 0 si n

(8)

(observe que kf fn k 0 si y solo si kfn f k2 0). De (8) vemos que la convergencia

en norma estan involucrados simultaneamente todos los valores de f (x) y de los fn (x) sobre
todo el intervalo (a; b) en contraste con la convergencia puntual fn (x) f (x) si n
que requiere que para cada x (a; b) por separado (es decir, puntualmente) la sucesion de
n
umeros fn (x) converge al n
umero f (x). Las dos nociones de convergencia no se implican
mutuamente (construye ilustraciones de esta afirmacion!).
La convergencia en norma de una serie infinita se define como la convergencia en norma
de la sucesion de sumas parciales:
N
X

def.

fn = f en norma

N
X
n=1

n=1

kk

fn f si N .

(9)

Sea un s.o. infinta 1 , , n , (con todo i 6= 0) y se f L2 (a; b). Aplicando la

desigualdad de Bessel tenemos para todo N
N
X
|(f, n )|2

kn

n=1

k2

kf k2 ,

luego tomando el lmite para N ,

X
|(f, n )|2
n=1

kn k2

kf k2 , f L2 (a; b)

(la desigualdad de Bessel en forma mas general). De (10) se puede demostrar que

|(f, n )|2

converge
en
norma
para
todo
f

L
(a;
b)
n

k
k

n
n=1
la suma de la serie es fproy , la proyeccion

(10)

(11)

2
ortogonal de f sobre el subespacio lineal M L (a; b) generado por los n .

Desde luego existe la posibilidad de que los n no generan todo L2 (a; b), es decir M no es
L2 (a; b) completo y los n forman una base de M pero no de L2 (a; b) (para generar todo
L2 (a; b) faltaran mas vectores (funciones) de base). Definimos:

los 1 , , n , forman un sistema ortogonal completo en L2 (a; b)

def.

2
2

M = L (a; b), es decir, cada f L (a; b) es de la forma

cn n , donde los cn son los coeficientes de Fourier

f=

n=1

(f,n )
cn = kn k2 de f con respecto al s.o..

(12)

Que los cn son los coeficientes de Fourier se puede verificar con el siguiente argumento que

P
cm m (en norma), entonces para n fijo arbitrario,
ya vimos antes. Si f =
m=1

(f, n ) =

m=1

cm m , n

cm (m , n ) = cn (n , m ) = cn kn k2

m=1

porque (m , n ) 6= 0 para n 6= m. Entonces

cn =

(f, n )
kn k2

como queremos. Puede demostrarse el siguiente criterio:

1 , , n , es un s.o. completo

P
|(f,n )|2
= kf k2 para todo f L2 (a; b).

kn k2
n=1

(13)

La igualdad en (13) se llama la igualdad de Parseval: para un s.o. completo la desigualdad

de Bessel (9) se convierte en una igualdad. Partiendo de un s.o. 1 , n tenemos para todo
f L2 (a; b)
N
X
(f, n )2
n=1

kn

k2

kf k2

y agregando mas vectores de base N +1 , N +2 , la suma a la izquierda aumenta (siempre

siendo kf k2 ) hasta que alcanza su valor maximo posible kf k2 cuando ya no se puede
agregar un vector mas que sea perpendicular con todos los anteriores.
Analoga en Rk : elige ~v1 Rk (~v1 6= ~0), luego ~v2 ~v1 (0 6= v2 ), etc, y luego
de agregar el u
ltimo ~vk perpendicular a ~v1 , , ~vk1 (todos mutuamente ortogonales), se ha
obtenido una base {~v1 , , ~vk } de Rk y cada v Rk puede escribirse como combinacion lineal
~v = c1~v1 + + ck~vk (complete el razonamiento para obtener la formula de Parseval en

P
|n |2 kn k2 = kf k2 .
este caso). Observe que podemos escribir (13) como
n=1

Los s.o. concretos que ya encontramos en la resolucion del PAA resultan ser completos.

Es decir, resumiendo:
(I)

x : n = 1, 2, 3,
es un s.o. completo en L2 (0; `), es decir, cada f L2 (0; `)

P
cn n (en norma), donde n (x) = sen n
x
; 0 x `.
tiene un desarrollo f =
`

sen

n=1

Tenemos

2
cn =
`

Z`

f (x) sen

y
1
`

Z`
0

n
x dx; n = 1, 2, 3,
`

1X
|cn |2 , f L2 (0, `) (Parseval).
|f (x)| dx =
2 n=1
2

Verifiquemos las dos u

ltimas formulas. Tenemos kn k2 =

R`

sen2

con (1)
2
(f, n )
=
cn =
2
kn k
`

Z`

f (x) sen

n
x dx.
`

n
x dx = 2` , luego
`

Ademas kf k2 =

R`

|f (x)|2 dx, luego con (13)

Z`

|f (x)| dx =

X
|(f, n )|2

kn k2

n=1

1
=
`

Z`
0

`X
|cn | k2 k =
=
|cn |2
2
n=1
n=1
2

1X
|cn |2 ,
|f (x)| dx =
2 n=1
2

listo.

(II) 1, cos n
x : n = 1, 2, 3, es un s.o. completo en L2 (0; `), es decir cada f L2 (0, `)
`

P
x ; 0 x `.
cn n (en norma), donde n (x) = cos n
tiene un desarrollo f = c20 +
`
n=1

Tenemos

2
cn =
`

Z`

f (x) cos

y
1
`

Z`
0

n
x dx; n = 0, 1, 2,
`

|c0 |2 1 X
+
|f (x)| dx =
|cn |2 , f L2 (0; `) (P arseval).
4
2 n=1
2

Verifiquemos las dos ultimas formulas. Tenemos k1k2 =

R`

dx = `, por lo tanto

c0
(f, 1)
1
=
=
2
2
k1k
`

Z`

2
f (x)dx = c0 =
`

Z`

f (x)dx

y ademas
kn k2 =

Z`
0

Z`
n
n
2
`
(1)
= cn =
x dx =
x dx.
cos2
f (x) cos
`
2
`
`
0

Ademas con (13) y kn k2 = 2` ,

Z`
0

X
|c0 |2
|c0 |2 ` X
2
2
`+
+
|f (x)| dx =
|cn | kn k =
|cn |2
4
4
2
n=1
n=1
2

1
=
`

Z`
0

listo.

|c0 |2 1 X
+
|cn |2 .
|f (x)| dx =
4
2 n=1
2

(III)

1, n (x) = cos

n
x
,

(x)
=
sen
x
:
n
=
1,
2,
3,

es un s.o. completo en
n
`
`

L2 (`, `), es decir cada f L2 (`, `) tiene un desarrollo

a0 X
f=
+
[an n + bn n ] en norma,
2
n=1
y tenemos
1
an =
`
1
bn =
`

Z`

n
x dx (n = 0, 1, 2, )
f (x) cos
`

Z`

n
f (x) sen
x dx (n = 0, 1, 2, )
`

y
1
2`

Z`

|a0 |2 1 X
+
|f (x)| dx =
(|an |2 + |bn |2 ), f L2 (`, `) (Parseval),
4
2 n=1
2

(IV)

(Verifique!).
(
n
i

Xn (x) = e `

: n = 0, 1, 2,

es un s.o. completo en L2 (`; `), es decir, cada

f L2 (`, `) tiene un desarrollo

f=

cn Xn (en norma),

n=

y tenemos
1
cn =
2`

Z`

n
x
f (x)e ` dx; n = 0, 1, 2,
i

y
1
2`

Z`

|f (x)|2 dx =

|cn |2

n=

(Verifique!).

1.

Terminologa:
La serie de Fourier en (I) se llama serie de Fourier de senos de f (x) en (0; `), la

serie en (II) se llama serie de Fourier de cosenos de f (x) en (a; `), la serie en (III) se
7

llama serie de Fourier trigonometrica de f (x) en (`, `) y la serie (IV) se llama serie de
Fourier compleja de f (x) en (`; `). Mas generalmente, para 1 , , n , un s.o. completo en L2 (a; b), cada f L2 (a; b) tiene un desarrollo
f=

cn n en norma,

n=1

llamado serie de Fourier de f (x) con respecto al s.o. {n }

Observaci
on 1. Si f L2 (a; b), entonces podemos aplicar ambas series de Fourier de (I)
y (II) (depende del problema en cuestion cual de los dos nos conviene). En cambio, en un
intervalo simetrico (`; `) la serie de Fourier de una f L2 (`; `), consiste en general de
terminos con cosenos y senos simultaneamente (salvo en caso cuando f (x) es par o impar,
ver la proxima clase).