Demostraci on propuesta en la clase del 15/11/2011

1. Sea E una medida del error que se comete al representar una funci on f (x) continua a trozos
y denida en un intervalo (a, b), nito o innito por los M primeros t erminos de su desarrollo en serie generalizada de Fourier:
b M 2

E=
a

f (x)
n=1

An gn (x)

p(x)dx

(1)

dado un conjunto de funciones g1 (x), g2 (x),... denidas en (a, b) y ortogonales respecto de una funci on de peso p(x) (con p(x) > 0 en (a, b)). Demostrar la desigualdad de Bessel.

Soluci on 1. Los coecientes {An }n=1,...,M que producen que la medida de error E sea m nima vienen dados
por n = f, gn , gn , g n n = 1, . . . , M (2)

El error es m nimo cuando los coecientes {An }n=1,...,M de la serie generalizada (1) son los coecientes {n }n=1,...,M calculados seg un (2), siendo en consecuencia el valor de ese error:
b M 2

Emin =
a b

f (x)
n=1

n gn (x)
M

p(x)dx
M M

=
a b

f 2 (x) 2f (x)
n=1 M

n gn (x) +
n=1 b

n gn (x)
m=1 b

m gm (x)
M

p(x)dx =
M

=
a

f 2 (x)p(x)dx 2
n=1 M

n
a M

f (x)gn (x)p(x)dx +
a M b

p(x)
n=1

n gn (x)
m=1

m gm (x)dx =

= f, f 2
n=1 M

n f, gn +
2 n n=1 M

= f, f 2

= f, f 2
n=1 M

2 n

p(x)gn (x)gm (x)dx a n=1 m=1 M b 2 gn , gn + n p(x)gn (x)gn (x)dx = a n=1 M 2 gn , gn + n gn , gn = n=1

n m

= f, f
n=1

2 n gn , g n

Si nalmente se tiene en cuenta que Emin 0 y si se considera un conjunto de funciones g1 (x), g2 (x),... denidas en (a, b) ORTONORMAL respecto de una funci on de peso p(x) (con p(x) > 0 en (a, b)), es decir, gn , gm = nm , entonces se obtiene la desigualdad de Bessel:
M M 2 n n=1

Emin = f, f

0
n=1

2 n f, f

Es decir, la suma de los M primeros t erminos elevados al cuadrado de las constantes de Fourier del desarrollo en serie generalizada de Fourier de una funci on f (x) est a acotada superiormente por la norma al cuadrado de la funci on f (x).