Universidad Tecnica Federico Santa Mara

Departamento de Matem atica

Notas mat 023
Series de Fourier
Segundo Semestre 2012
1. Funciones Ortogonales
Definici on 1.1 El conjunto de funciones seccionalmente continuas
n
(x) : n = 0, 1, . . . en un intervalo nito
[, ] o innito, se dice ortogonal en [, ] con respecto a la funci on no negativa r(x) si
(1.1)
m
,
n
=
_

_
_

r(x)
m
(x)

n
(x) dx = 0 m ,= n
_

r(x)[
n
(x)[
2
dx ,= 0 n
La funci on r(x) es llamada funci on peso.
Siempre asumiremos que r(x) posee un n umero nito de ceros en el intervalo [, ] y que las integrales en
1.1 existen para todo n. La notaci on

n
(x) signica que consideramos el conjugado de la funci on
n
(x), que
en general es a valores complejos. Por ello, escribimos [
n
(x)[
2
=
n
(x)

n
(x). Sin embargo, en la mayora
de nuestras aplicaciones las funciones consideradas son a valores reales y luego,
n
(x) =

n
(x) y ademas
[
n
(x)[
2
=
2
(x).
El conjunto de funciones
n
(x) : n = 0, 1, . . . en [, ] con respecto a la funci on peso r(x) se dice ortonormal
si cumple con la primera de las relaciones en 1.1 para m ,= n, y ademas
_

r(x)[
n
(x)[
2
dx = 1 n.
As, las funciones ortonormales poseen las mismas propiedades que las funciones ortogonales, pero ademas, han
sido normalizadas, i.e., cada funci on
n
(x) del conjunto ortogonal ha sido dividida por su propia norma, que se
dene como
(1.2) |
n
| =
_
_

r(x)[
n
(x)[
2
dx
_
1/2
.
Ejemplo 1.1 El conjunto
1, cos nx, n = 1, 2, . . . ,
JCM/jcm. juan.chavarria@usm.cl.
1
es ortogonal sobre 0 < x < con r(x) = 1. En efecto, para m ,= n, tenemos
_

0
cos mxcos nxdx =
1
2
_

0
[cos(mn)x + cos(m + n)x] dx
=
1
2
_
sen(mn)x
mn
+
sen(m + n)x
m + n
_

0
=
1
2
_
sen(mn)
mn
0 +
sen(m + n)
m + n
0
_
= 0.
Ahora, puesto que
|
0
| =
__

0
dx
_
1/2
=

|
n
| =
__

0
cos
2
nxdxdx
_
1/2
=
__

0
1 + cos 2nx
2
dx
_
1/2
=
_

2
,
sigue que el conjunto
_
1

,
_
2

cos nx, n = 1, 2, . . .
_
,
es ortonormal en 0 < x < con r(x) = 1.
Ejemplo 1.2 El conjunto
(1.3)
_
1

2
,
1

cos nx,
1

sen nx, n = 1, 2, . . .
_
es ortonormal sobre < x < con r(x) = 1. Para esto, primero necesitamos chequear que
_

_
1

2
_
2
dx = 1,
_

_
1

cos nx
_
2
dx = 1,
_

_
1

sen nx
_
2
dx = 1.
La primera integral es evidente. En tanto, las siguientes se calculan usando el ejemplo anterior mas la propiedad
de integraci on de funciones pares en intervalos simetricos:
_
p
p
h(z)dz = 2
_
p
0
h(z)dz. En segundo lugar, debemos
chequear que
_

cos nxdx = 0,
_

sen nxdx = 0,
_

cos nx
1

cos mxdx = 0,
_

sennx
1

senmxdx = 0, m ,= n
y
_

cos nx
1

sen mxdx = 0 m ,= n.
Es f acil chequear esto recordando que todas las funciones involucradas son trigonometricas integradas en el
perodo (, ).
Ejemplo 1.3 El conjunto de funciones a valores complejos
(1.4)
_
1

2
e
inx
, n Z
_
,
es ortonormal en el intervalo < x < con la funci on peso r(x) = 1. En efecto
|
n
|
2
=
1
2
_

e
inx
e
inx
dx =
1
2
_

dx = 1.
2
Ademas, usando la formula de Euler si m ,= n:

m
,
n
=
1
2
_

e
imx
e
inx
dx =
1
2
_

e
i(mn)x
dx
=
1
2(mn)i
e
i(mn)x

=
1
2(mn)i
_
e
i(mn)
e
i(mn)
_
=
1
2(mn)i
cos(mn) + i sen(mn) cos(mn) + i sen(mn) = 0.
Ejemplo 1.4 Los polinomios de Chebyshev de primer orden
T
n
(x) = cos(narc cos x), n = 0, 1, 2, . . . ,
son ortogonales en el intervalo 1 < x < 1 con la funci on peso r(x) = (1 x
2
)
1/2
. En efecto
T
m
, T
n
=
_
1
1
1

1 x
2
cos(marc cos x) cos(narc cos x) dx
=
_

0
cos m cos n d (x = cos )
=
_

_
0, m ,= n
/2, m = n ,= 0
, m = n = 0.
2. Series de Fourier
A menudo necesitaremos expandir una funci on dada en terminos de otras funciones con una exactitud es-
pecca de tal forma de realizar operaciones en la practica. En esta secci on mostraremos que los conjuntos de
funciones que hemos estudiado en la secci on anterior pueden ser utilizados efectivamente como la base en la
expansi on de funciones mas generales.
La base e
1
, e
2
, . . . , e
n
(e
k
es un vector unitario) de R
n
posee una importante caracterstica: para cualquier
u R
n
existe una eleccion unica de constantes
1
, . . . ,
n
para las cuales u =

n
i=1

i
e
i
. M as a un, por la
ortonormalidad de los vectores e
i
, 1 < i < n podemos determinar estas constantes
i
, 1 < i < n como sigue
u e
j
=
_
n

i=1

i
e
i
_
e
j
=
n

i=1

i
(e
i
e
j
) =
j
, 1 j n.
As, el vector u posee una unica representacion.
Una generalizaci on natural de este resultado, el cual es ampliamente aplicable y ha llevado a una gran cantidad
de avances en matematica avanzada, puede establecerse como sigue: Sea
n
(x), n = 0, 1, . . . un conjunto
ortogonal de funciones en el intervalo [, ] con respecto a la funci on peso r(x). Entonces, una funci on arbitraria
f(x) puede ser expresada como una serie innita que involucra a las funciones
n
(x), n = 0, 1, . . . como
(2.1) f(x) =

n=0
c
n

n
(x).
3
La pregunta natural que surge es el sentido de la igualdad en 2.1, i.e., el o los tipos de convergencia, si las hay,
de la serie innita en el lado derecho para poder tener una idea de que tan bien representa a f(x). Tambien
podramos determinar los coecientes c
n
, n = 0, 1, 2, . . . en 2.1.
Procederemos formalmente en primer lugar sin considerar la pregunta de la convergencia. Multiplicamos 2.1
por r(x)

m
(x) e integramos desde a , para obtener
_

r(x)

m
(x)f(x) dx =
_

n=0
c
n
r(x)
n
(x)

m
(x) dx
= c
m
_

r(x)[
m
(x)[
2
dx = c
m
|
m
|
2
.
As, bajo condiciones adecuadas de convergencia los coecientes constantes c
n
, n = 0, 1, . . . est an dados por la
formula
(2.2) c
n
=
_

r(x)

n
(x)f(x) dx
_
|
n
|
2
.
Sin embargo, si el conjunto
n
(x) es ortonormal, es decir |
n
| = 1, entonces tenemos
(2.3) c
n
=
_

r(x)

n
(x)f(x) dx.
Si la serie

n=0
c
n

n
(x) converge uniformemente a f(x) en [, ], entonces el procedimiento previo est a justi-
cado, y entonces los coecientes c
n
est an dados por 2.2.
Los coecientes c
n
obtenidos en 2.2 son llamados coecientes de Fourier de la funci on f(x) con respecto al
conjunto ortogonal
n
(x) y la serie

n=0
c
n

n
(x) con coecientes 2.2 es llamada la Serie de Fourier de f(x).
Vamos a escribir
f(x)

n=0
c
n

n
(x)
lo cual, en general, es solo una correspondencia, i.e., a menudo f(x) ,=

n=0
c
n

n
(x), a menos que se pruebe.
A continuacion, listamos algunos de los casos con mas frecuencia utilizados.
2.1. Serie de Fourier de Cosenos. En la secci on pasada hemos probado que el conjunto de funciones
_

0
(x) =
1

,
n
(x) =
_
2

cos nx, n = 1, 2, . . .
_
,
es ortonormal en 0 < x < . As, para cualquier funci on seccionalmente continua f(x) denida sobre 0 < x < ,
f(x) c
0

0
(x) +

n=1
c
n

n
(x) =
c
0

n=1
c
n
_
2

cos nx,
donde
c
0
=
_

0
f(t)
1

dt, c
n
=
_

0
f(t)
_
2

cos nt dt, n 1.
Luego,
f(x)
1
2

2

_

0
f(t) dt +

n=1
_
2

_

0
f(t) cos nt dt
_
cos nx,
4
lo que puede ser escrito como
(2.4) f(x)
a
0
2
+

n=1
a
n
cos nx,
donde
(2.5) a
n
=
2

_

0
f(t) cos nt dt, n 0.
Esta serie es conocida como serie de Fourier de cosenos.
Ejemplo 2.1 Vamos a encontrar la serie de Fourier de cosenos de la funci on f(x) = x, 0 < x < . Claramente
a
0
=
2

_

0
t cos 0t dt =
2

_

0
t dt = ,
a
n
=
2

_

0
t cos nt dt =
2

_
t
sennt
n

_

0
sen nt
n
dt
_
=
2

_
0 0
n
+
cos n
n
2
_
=
2

(1)
n
1
n
2
, n 1.
As, de 2.4, tenemos
x

2
+

n=1
2

(1)
n
1
n
2
cos nx, 0 < x < .
En la gura se muestra la graca de la funci on y la aproximacion por la serie truncada para diversos valores.
0.0 0.5 1.0 1.5 2.0 2.5 3.0
0.0
0.5
1.0
1.5
2.0
2.5
3.0
Figura 2.1 Graco de f(x) = x (p urpura) y de las aproximaciones con 1 coeciente (rojo), 4 coecientes (naranja) y 10 coecientes
(verde). A medida que se toman mas coecientes de la expansion, la graca de la serie se ajusta a la funci on, como se esperaba.
2.2. Series de Fourier de Senos. Recuerde que el conjunto
_

n
(x) =
_
2

sen nx, n = 1, 2, . . .
_
es ortonormal sobre 0 < x < . As, para cualquier funci on continua por tramos f(x) denida sobre 0 < x < ,
f(x)

n=1
c
n
_
2

sennx,
donde
c
n
=
_

0
f(t)
_
2

sen nt dt, n 1.
5
De nuevo podemos rescribir como
(2.6) f(x)

n=1
b
n
sennx,
donde
(2.7) b
n
=
2

_

0
f(t) sen nt dt, n 1.
Esta representacion de f(x) es llamada serie de Fourier de senos.
Ejemplo 2.2 Vamos a encontrar la serie de Fourier de senos de la funci on
f(x) =
_
1, si 0 < x < /2
0, si /2 < x < .
Claramente, para n 1
b
n
=
2

_

0
f(t) sen nt dt =
2

_
/2
0
sennt dt =
2

_
cos(n/2) + 1
n
_
.
As,
f(x)

n=1
2

_
1 cos(n/2)
n
_
sen nx, 0 < x < .
2.3. Serie de Fourier Trigonometrica. En la secci on pasada, hemos vericado que el conjunto
_

0
(x) =
1

2
,
2n1
(x) =
1

cos nx,
2n
(x) =
1

sen nx, n = 1, 2, . . .
_
es ortonormal sobre < x < . As, para cualquier funci on seccionalmente continua f(x) denida sobre
< x < ,
f(x)
c
0

2
+

n=1
_
c
2n1
cos nx

+ c
2n
sen nx

_
,
donde
c
0
=
_

f(t)
1

2
dt
c
2n1
=
_

f(t)
1

cos nt dt, n 1
c
2n
=
_

f(t)
1

sen nt dt, n 1.
Al reescribir las relaciones de arriba, tenemos la serie de Fourier trigonometrica
(2.8) f(x)
a
0
2
+

n=1
(a
n
cos nx + b
n
sen nx) ,
donde
(2.9a) a
n
=
1

f(t) cos nt dt, n 0,

(2.9b) b
n
=
1

f(t) sennt dt, n 1.

6
Para nuestra discusi on posterior notamos las siguientes relaciones
(2.10) c
0
=
_

2
a
0
, c
2n1
=

a
n
, c
2n
=

b
n
.
Ejemplo 2.3 Vamos a encontrar la serie de Fourier trigonometrica de la funci on
f(x) =
_
1, si < x < 0
x, si 0 < x < .
De 2.9a-2.9b, tenemos
a
n
=
1

f(t) cos nt dt =
1

_
0

1 cos nt dt +
1

_

0
t cos nt dt
= 0 +
1

_
t sen nt
n
+
cos nt
n
2
_

0
=
1

(1)
n
1
n
2
, n 1.
a
0
=
1

_
0

1 1 dt +
1

_

0
t 1 dt = 1 +

2
,
b
n
=
1

_
0

1 sen nt dt +
1

_

0
t sennt dt =
1 + (1 )(1)
n
n
, n 1.
3 2 1 0 1 2 3
0.0
0.5
1.0
1.5
2.0
2.5
3.0
Figura 2.2 Funcion f(x) y su serie de Fourier trigonometrica para 2 coecientes (rojo), 6 (naranja) y 100 coecientes (verde).
Note la oscilacion de la serie en los extremos y en los puntos de discontinuidad.
Luego, hemos obtenido
f(x)
2 +
4
+

n=1
_
1

(1)
n
1
n
2
cos nx +
1 + (1 )(1)
n
n
sen nx
_
, < x < .
Es claro que las constantes a
n
, b
n
para la serie de Fourier trigonometrica son diferentes de aquellos obtenidos
para la serie de Fourier de cosenos y senos. Sin embargo, si la funcion f(x) es impar, entonces
a
n
=
1

f(t) cos nt dt = 0, n 0
b
n
=
1

f(t) sen nt dt =
2

_

0
f(t) sen nt dt, n 1
7
y la serie de Fourier trigonometrica se reduce a la serie de Fourier de senos. As, concluimos que si f(x) es impar,
o denida solo sobre (0, ) y hacemos su extensi on impar entonces la serie de Fourier de senos es valida sobre
(, ). Exactamente en el mismo sentido, si f(x) es par, o denida solo sobre (0, ) y hacemos su extensi on
par entonces
a
n
=
1

f(t) cos nt dt =
2

_

0
f(t) cos nt dt, n 0
b
n
=
1

f(t) sen nt dt = 0, n 1
y la serie de Fourier trigonometrica se reduce a la serie de Fourier de cosenos.
Ejemplo 2.4 Vamos a calcular la serie de Fourier trigonometrica de la funci on denida sobre < x <
f(x) =
_

_
(x + ) si x

2
x si

2
x

2
x si

2
< x
3
2
,
con f(x + 2) = f(x).
Puesto que la funci on es impar, sigue que a
0
= a
n
= 0,
n 1. Ademas, se tiene que
b
n
=
2

_

0
f(x) sen nxdx
=
2

_
_
/2
0
xsen nxdx +
_

/2
( x) sen nxdx
_
=
2

_
_
/2
0
xsen nxdx
_

/2
xsen nxdx
+
_

/2
sen nxdx
_
.

2
Figura 2.3 La funci on f(x) del ejemplo. Note que es impar.
Las dos primeras integrales se calculan por partes y se obtiene
_
z sen nz dz =
sen nz
n
2

z cos nz
n
. Luego
b
n
=
2

_
sen nx
n
2

/2
0

xcos nx
n

/2
0
+
xcos nx
n

/2

sen nx
n
2

/2

cos nx
n

/2
_
=
2

_
2 sen
n
2
n
2

cos
n
2
2n
+
cos n
n

cos
n
2
2n

cos n
n
+
cos
n
2
n
_
=
4
n
2
sen
n
2
.
8
Estos coecientes son distintos de cero si n es impar, o sea, n = 2k 1, k N. Utilizando la identidad
trigonometrica del seno de la diferencia de dos angulos, sigue que sen(2k 1)

2
= cos k = (1)
k+1
. Entonces
b
k
=
4

(1)
k+1
(2k 1)
2
; y
f(x)
4

k=1
(1)
k+1
(2k 1)
2
sen(2k 1)x.
Finalmente, hacemos notar que si la funci on seccionalmente continua f(x) est a denida sobre L < x < L,
entonces su serie de Fourier trigonometrica 2.8 toma la forma
(2.11) f(x)
a
0
2
+

n=1
_
a
n
cos
nx
L
+ b
n
sen
nx
L
_
,
donde
(2.12a) a
n
=
1
L
_
L
L
f(t) cos
nt
L
dt, n 0
(2.12b) b
n
=
1
L
_
L
L
f(t) sen
nt
L
dt, n 1.
2.3.1. Expansion de Medio Rango. Suponga que una funci on f est a denida sobre 0 < x < y que deseamos
expandirla en una serie de Fourier trigonometrica. Dado que los coecientes a
n
y b
n
involucran integrales desde
a , debemos de alguna manera extender la denicion de f al intervalo (, ). Podemos hacer esto de varias
maneras a nuestro benecio. Una forma, es extender f tal que sea una funci on par sobre el intervalo (, )
(gura 2.4). Dado que es una funci on par, se tiene que b
n
= 0, n = 1, 2, . . . y la serie de Fourier trigonometrica
solo posee terminos de cosenos, es decir, coincide con la serie de Fourier de cosenos antes estudiada. Esta
expansi on es denominada expansion de medio rango.
Tambien, una funci on denida en el intervalo (0, ) puede tambien ser extendida al intervalo (, ) como una
funci on impar. La gura 2.5 muestra tal extensi on, y notamos que se introducen discontinuidades en x = , 0, ,
a menos que f() = f(0) = f() = 0. esto no nos preocupa, puesto que como se vera en la siguiente secci on,
los teoremas de convergencia para series de Fourier son validos para funciones seccionalmente continuas. Dado
que esta expansi on es impar, se tiene que a
n
= 0, n = 0, 1, 2, . . . , la serie resultante es una serie de Fourier de
senos.

x
y
Figura 2.4 Extension par de f(x) al intervalo (, ).

x
y
Figura 2.5 Extension impar de f(x) al intervalo (, ).
9
Ejemplo 2.5 Vamos a expandir de forma par la funci on
f(x) =
_
0, si 0 < x < /2
1, si /2 < x < .
El graco de la extensi on par se muestra en la -
gura 2.6. Puesto que es una expansi on par, sigue que
b
n
= 0, n = 1, 2, . . . Ademas
a
0
=
2

_

0
f(t) dt =
2

_

/2
dt = 1,
y
a
k
=
2

_

0
f(t) cos kt dt =
2

_

/2
cos kt dt
=
2
k

/2
=
2
k
sen
k
2
Los coecientes son cero, salvo los impares, i.e., si
k = 2n 1, n = 1, 2, . . . Usando la identidad
sen
_
n

2
_
= cos n = (1)
n+1
, obtenemos

1
Figura 2.6 Extension par de f(x).
a
k
=
_
_
_
0, si k = 2n, n = 1, 2, . . .
2

(1)
n
2n 1
, si k = 2n 1, n = 1, 2, . . .
Por lo tanto,
f(x)
1
2
+
2

n=1
(1)
n
2n 1
cos nx, 0 < x < .
Se deja como ejercicio realizar la expansi on impar.
Si deseamos expandir una funci on seccionalmente continua denida sobre el intervalo [c , c +], formamos
su extension periodica f
0
como sigue
f
0
(x) =
_
f(x), si < x < ,
f
0
(x 2), para cualquier otro x.
No importa cuan suave sea la funci on f, estaremos introduciendo discontinuidades en x = c y x = c +
al menos que f(c ) = f(c + ). Dado que tanto f
0
(x), cos nx y sen nx son todas funciones periodicas con
periodo 2, podemos reemplazar el intervalo [, ] por [c , c +], sobre el cual f
0
coincide con f. Entonces,
los coecientes de Fourier est an dados por
(2.13a) a
n
=
1

_
c+
c
f(t) cos nt dt,
(2.13b) b
n
=
1

_
c+
c
f(t) sen nt dt.
La serie de Fourier formada con los coecientes en 2.13a-2.13b entregan una expansi on que es valida sobre el
intervalo c < x < c + .
10
Ejemplo 2.6 Vamos a expandir la funci on f(x) = x sobre 0 < x < 2. El graco de la extensi on periodica se
muestra en la gura 2.7. Calculamos
a
0
=
1

_
2
0
t dt = 2,
a
n
=
1

_
2
0
t cos nt dt =
1

_
t sen nt
n
+
cos nt
n
2
_
2
0
= 0,
b
n
=
1

_
2
0
t sennt dt =
1

t cos nt
n
+
sen nt
n
2
_
2
0
=
2
n
.
2 2 4

2
Figura 2.7 Extension periodica de f(x).
Por lo tanto,
f(x) 2

n=1
sennx
n
, 0 < x < 2.
Observaci on 2.1 Por supuesto, podramos haber hecho los c alculos sobre el intervalo [, ] usando la fun-
cion extendida f
0
. Sin embargo, en tal caso, las integrales que determinan los coecientes de Fourier deberan
separarse en dos, lo que hace mas engorrosa su determinacion, aun cuando el resultado sera el mismo.
2.4. Serie de Fourier Compleja. En la secci on anterior hemos visto que el conjunto de funciones
_

n
(x) =
1

2
e
inx
, n Z
_
,
es ortonormal en el intervalo < x < con la funci on peso r(x) = 1. As, para cualquier funci on seccional-
mente continua f(x) denida sobre < x < , (hemos abusado de la notaci on para estar de acuerdo con la
literatura existente)
f(x)

n=
c
n

n
(x),
donde
c
n
=
_

f(t)
1

2
e
int
dt.
As
f(x)

n=
_
1

2
_

f(t)e
int
dt
_
1

2
e
inx
=

n=
_
1
2
_

f(t)e
int
dt
_
e
inx
.
Al reescribir la relacion de arriba tenemos la serie de Fourier exponencial
(2.14) f(x)

n=
c
n
e
inx
,
11
donde
(2.15) c
n
=
1
2
_

f(t)e
int
dt.
Ejemplo 2.7 Vamos a encontrar la serie de Fourier exponencial de la funci on f(x) = e
x
denida sobre
< x < . Tenemos que
c
n
=
1
2
_

e
t
e
int
dt =
1
2
_

e
(1in)t
dt
=
1
2
1
1 in
_
e
(1in)
e
(1in)
_
=
1
2
1
1 in
_
e

e
in
e

e
in

.
Usando la formula de Euler y la denicion de seno hiperb olico
c
n
=
1
2
1
1 in
_
e

cos n e

cos n

=
senh

(1)
n
1 in
.
Luego
f(x)
senh

n=
(1)
n
1 in
e
inx
, < x < .
3. Convergencia de las Series de Fourier
En esta secci on vamos a examinar la convergencia de la serie de Fourier de la funci on f(x). Por esto, para
hacer el analisis ampliamente aplicable, asumiremos que las funciones
n
(x), n = 0, 1, . . . y f(x) son solo
seccionalemente continuas sobre [, ]. Sea la suma de los primeros N + 1 terminos de

N
n=0
c
n

n
(x) que
denotaremos por S
N
(x). Consideraremos la diferencia [S
N
(x) f(x)[ para varios valores de N y x. Si para una
constante arbitraria > 0 existe un entero N() > 0 tal que [S
N
(x) f(x)[ < , entonces la serie de Fourier
converge uniformemente a f(x) para todo x [, ]. Por otro lado, si N depende tanto de x como de , entonces
la serie de Fourier converge puntualmente a f(x). Sin embargo, por el momento ambos tipos de convergencia
son demasiado exigentes, y nos conformaremos con algo menos. Para este n, estudiaremos lo siguiente.
3.1. Convergencia en Media.
Definici on 3.1 Sean las funciones
n
(x), n 0 y (x) seccionalmente continuas sobre [, ]. Diremos que la
serie
n
(x) converge en media a (x) (con respecto a la funci on peso r(x)) en el intervalo [, ] si
(3.1) lm
n
|
n
|
2
= lm
n
_

r(x) (
n
(x) (x))
2
dx = 0.
As, la serie de Fourier converge en media a f(x) siempre que
(3.2) lm
N
_

r(x) (S
N
(x) (x))
2
dx = 0.
12
Antes de probar la convergencia de las series de Fourier en media, vamos a considerar la posibilidad de representar
a f(x) por una serie de la forma

n=0
d
n

n
(x), donde los coecientes d
n
no son necesariamente los coecientes
de Fourier. Sea
T
N
(x; d
0
, d
1
, . . . , d
n
) =
N

n=0
d
n

n
(x)
y sea e
N
la cantidad |T
N
f|. Entonces, por la ortogonalidad de las funciones
n
(x) es claro que
e
2
N
= |T
N
f|
2
=
_

r(x)
_
N

n=0
d
n

n
(x) f(x)
_
2
dx
=
N

n=0
d
2
n
_

r(x)
2
n
(x) dx 2
N

n=0
d
n
_

r(x)
n
(x)f(x) dx +
_

r(x)f
2
(x) dx
=
N

n=0
|
n
|
2
(d
2
n
2d
n
c
n
+ c
2
n
)
N

n=0
|
n
|
2
c
2
n
+|f|
2
=
N

n=0
|
n
|
2
(d
n
c
n
)
2

n=0
|
n
|
2
c
2
n
+|f|
2
. (3.3)
As, la cantidad e
N
es minimizada cuando d
n
= c
n
para n = 0, 1, . . . , N. Por lo tanto, hemos establecido el
siguiente resultado.
Teorema 3.1. Para cualquier entero no negativo N, la mejor aproximacion en media a la funcion f(x) por
una expresi on de la forma

N
n=0
d
n

n
(x) es obtenida cuando los coecientes d
n
son los coecientes de Fourier
de f(x).
Ahora, en 3.3, hacemos d
n
= c
n
, n = 0, 1, . . . , N para obtener
(3.4) |S
N
f|
2
= |f|
2

n=0
|
n
|
2
c
2
n
.
As, sigue que
(3.5) |T
N
f|
2
=
N

n=0
|
n
|
2
(d
n
c
n
)
2
+|S
N
f|
2
.
Luego, encontramos que
(3.6) 0 |S
N
f| |T
N
f|.
Si la serie

n=0
d
n

n
(x) converge en media a f(x), i.e., si lm
N
|T
N
f| = 0, entonces de 3.6 es claro que
la serie de Fourier converge en media a f(x), i.e., lm
N
|S
N
f| = 0. Sin embargo, 3.5 implica que
lm
N
N

n=0
|
n
|
2
(d
n
c
n
)
2
= 0.
Pero esto es posible si y solo si d
n
= c
n
, n = 0, 1, . . . . As, hemos probado el siguiente resultado.
Teorema 3.2. Si una serie de la forma

n=0
d
n

n
(x) converge en media a f(x), entonces los coecientes d
n
deben ser los coecientes de Fourier de f(x).
13
Ahora, de la igualdad 3.3 notamos que
0 |S
N+1
f| |S
N
f|.
As, la serie |S
N
f|, N = 0, 1, . . . es no creciente y acotada inferiormente por cero, y por lo tanto debe
converger. Si converge a cero, entonces la serie de Fourier de f(x) converge en media a f(x). Ademas, de 3.4,
tenemos la desigualdad
N

n=0
|
n
|
2
c
2
n
|f|
2
.
Dado que la serie C
N
, N = 0, 1, . . . , donde C
N
=

N
n=0
|
n
|
2
c
2
n
es no decreciente y acotada superiormente
por |f|
2
, debe converger. Por lo tanto, tenemos
(3.7)

n=0
|
n
|
2
c
2
n
|f|
2
.
Luego, de 3.4 vemos que la serie de Fourier de f(x) converge en media a f(x) si y solo si
(3.8) |f|
2
=

n=0
|
n
|
2
c
2
n
.
Para el caso en que
n
(x), n = 0, 1, . . . sean ortonormales, 3.7 se reduce a la desigualdad de Bessel
(3.9)

n=0
c
2
n
|f|
2
y 3.8 se convierte en la identidad de Parseval.
(3.10) |f|
2
=

n=0
c
2
n
.
Resumimos nuestra discusi on con el siguiente resultado
Teorema 3.3. Sean
n
(x), n = 0, 1, . . . un conjunto ortonormal de funciones y sean c
n
los coecientes de
Fourier de f(x) dados por 2.3. Entonces son validas las siguientes
i La serie

n=0
c
2
n
converge, y por lo tanto
lm
n
c
n
= lm
n
_

r(x)
n
(x)f(x) dx = 0,
ii La desigualdad de Bessel 3.9 es verdadera,
iii La serie de Fourier de f(x) converge en media a f(x) si y solo si la identidad de Parseval 3.10 se
cumple.
Recordando las relaciones 2.10, para la serie de Fourier trigonometrica la identidad de Parseval puede ser
escrita como
__

2
a
0
_
2
+

n=1
_
(

a
n
)
2
+ (

b
n
)
2
_
=
_

f
2
(x) dx,
o bien
(3.11)
a
2
0
2
+

n=1
(a
2
n
+ b
2
n
) =
1

f
2
(x) dx.
14
Ejemplo 3.1 Encontraremos la serie de Fourier trigonometrica de la funci on [x[ sobre el intervalo < x < .
Puesto que es una funci on par, sigue que b
k
= 0, k 1. Ademas
a
0
=
2

_

0
t dt =
a
k
=
2

_

0
t cos kt dt =
2

_
t sen kt
k

1
k
_

0
sen kt dt
_
=
2
k
_
0 +
cos kt
k

0
_
=
2
k
2

[(1)
k
1] k 1
=
_
_
_
0 si k = 2n, n = 1, 2, . . .

4
(2n 1)
2
si k = 2n 1, n = 1, 2, . . .
Luego
[x[

2
+

n=1
4
(2n 1)
2
cos(2n 1)x, < x < .
Evidentemente, [x[ es una funci on seccionalmente continua sobre [, ]. Ademas, comparando su serie de
Fourier trigonometrica tenemos que
a
0
2
=

2
, a
2n
= 0, a
2n1
=
4
(2n 1)
2
, b
n
= 0.
As, la identidad 3.11 entrega

2
2
+

n=1
_
4
(2n 1)
2
_
2
=
1

[t[
2
dt,
que es lo mismo que

2
2
+
16

n=1
1
(2n 1)
4
=
2
2
3
Y luego

n=1
1
(2n 1)
4
=

4
96
.
3.2. Convergencia Puntual. La discusi on analtica de la convergencia puntual y uniforme de la serie de
Fourier de la funci on f(x) es complicada. Por lo tanto, en esta parte vamos a establecer varios resultados sin
prueba. Estos resultados son facilmente aplicables a problemas concretos. Denotaremos por f(x
+
) y f(x

) a
los lmites de f hacia x por la derecha e izquierda respectivamente con x (, ).
Teorema 3.4. Sean f(x) y f

(x) seccionalmente continuas en el intervalo [, ]. Entonces, la serie de Fourier

trigonometrica de f(x) converge a [f(x
+
) + f(x

)]/2 en cada punto del intervalo abierto (, ) y en x =

la serie converge a [f(
+
) + f(

)]/2.
15
Ejemplo 3.2 Vamos a encontrar la serie de Fourier trigonometrica de la funci on f(x) =
_
0, si x [, 0)
1 si x [0, ].
Tenemos que
a
0
=
1

_

0
1 dt = 1.
a
k
=
1

_

0
1 cos kt =
1
k
senkt

0
= 0, k 1,
b
k
=
1

_

0
1 senkt =
1
k
cos kt

0
= 0
=
1
k
((1)
k
1) =
_
_
_
0, si k = 2n, n = 1, 2, . . .
2
(2n 1)
, si k = 2n 1, n = 1, 2, . . .
Luego
f(x)
1
2
+
2

n=1
1
(2n 1)
sen(2n 1)x = S(x), digamos, < x < .
Del teorema anterior, la igualdad S(x) = f(x) es
valida en cada punto de los intervalos abiertos (, 0)
y (0, ), mientras que en x = 0 el lado derecho es
S(0) = 1/2 que coincide con el valor [f(0
+
)+f(0

)]/2.
Ademas, en x = , S() = 1/2 que coincide con
[f(
+
) + f(

)]/2.
3 2 1 0 1 2 3
0.0
0.2
0.4
0.6
0.8
1.0
Figura 3.1 Graco de la serie de Fourier de f(x) del ejemplo.
Note la convergencia al valor [f(0
+
) + f(0

)]/2 en x = 0.
Ejemplo 3.3 Vamos a obtener la serie de Fourier de f(x) = x + x
2
/4, < x < para mostrar que

n=1
1/n
2
=
2
/6. En primer lugar tenemos que
a
0
=
1

_
t +
t
2
4
_
dt =
1

t
2
4
dt =

2
6
.
16
En segundo lugar, notando que n 1, t cos nt y t
2
sennt son funciones impares sigue que
a
n
=
1

_
t +
t
2
4
_
cos nt dt =
1
4
_

t
2
cos nt dt
=
1
4
_
t
2
sen nt
n

2
n
_

t sen nt dt
_
=
1
4
_
0
2
n
_

t sennt dt
_
=
1
2n
_

t sen nt dt
=
1
2n
_

t cos nt
n

1
n
_

cos nt dt
_
=
1
2n
_
cos n + cos(n)
n
+ 0
_
=
(1)
n
n
2
, n 1,
b
n
=
1

_
t +
t
2
4
_
sen nt dt =
1

t sennt dt
=
1

_
t cos nt
n

+
1
n
_

cos nt dt
_
=
1

_
cos n + cos(n)
n
0
_
=
2
n
(1)
n
, n 1.
As
f(x)

2
12
+

n=1
(1)
n
n
2
(cos nx 2nsennx) , < x < .
Del teorema 3.4, al evaluar en x = , encontramos que

2
12
+

n=1
(1)
n
n
2
(cos n 2nsenn) =
f(

) + f(
+
)
2
y luego

2
12
+

n=1
(1)
n
n
2
((1)
n
0) =
( +
2
/4) + ( +
2
/4)
2
=

2
4
,
o

n=1
1
n
2
=

2
4


2
12
=

2
6
.
Para las series de Fourier de cosenos y senos tambien tenemos resultados similares, esta vez sobre el intervalo
[0, ].
Teorema 3.5. Sean f(x) y f

(x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier

de cosenos de f(x) converge a [f(x
+
) +f(x

)]/2 en cada punto del intervalo abierto (0, ) y en x = 0 y x =

la serie converge a f(0
+
) y f(

), respectivamente.
Ejemplo 3.4 Dejamos como ejercicio vericar que
f(x) = x
2

2
3
+ 4

n=1
(1)
n
n
2
cos nx, 0 < x < .
Del teorema 3.5 sigue que

2
3
+ 4

n=1
(1)
n
n
2
cos nx =
_

_
f(x) = x
2
, si 0 < x <
f(0
+
) = 0, si x = 0
f(

) =
2
, si x = .
17
As, en x = , tenemos

2
3
+ 4

n=1
(1)
n
n
2
cos n =
2
y luego

2
3
+ 4

n=1
1
n
2
=
2
lo que muestra que

n=1
1
n
2
=

2
6
.
Teorema 3.6. Sean f(x) y f

(x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier

de senos de f(x) converge a [f(x
+
) + f(x

)]/2 en cada punto del intervalo abierto (0, ). En x = 0 y x = la

serie converge a 0.
Para derivaci on e integraci on de series de Fourier trigonometricas tenemos los siguientes resultados
Teorema 3.7. Suponga que f(x) es continua en (, ), f() = f() y que f

(x) es seccionalmente continua.

Entonces,
f

(x) =

n=1
na
n
sen nx + nb
n
cos nx,
en cada punto x (, ) donde f

(x) exista.
Ejemplo 3.5 En el ejemplo 3.1 mostramos que la serie de Fourier trigonometrica de la funci on f(x) = [x[
est a dada por
f(x)

2

4

n=1
cos(2n 1)x
(2n 1)
2
, < x < .
Claramente, f(x) es continua sobre (, ), f() = f() = . Ademas,
f

(x) =
_

_
1, si < x < 0
1, si 0 < x <
si x = 0.
Luego, f

(x) es seccionalmente continua en (, ). Por ultimo, f

(x) = 0 si x (, 0) (0, ) y f

(x) no
existe si x = 0. As, el teorema 3.7 es aplicable y tenemos
1, si < x < 0
1, si 0 < x <
si x = 0.
_

_
= f

(x)
4

n=1
(2n 1) sen(2n 1)x
(2n 1)
2
=
4

n=1
sen(2n 1)x
2n 1
.
Note que si bien la igualdad es valida para todo x (, 0) (0, ), en x = 0 la derivada no existe, pero la
serie de Fourier vale 0.
Teorema 3.8. Suponga que f(x) es seccionalmente continua en (, ) y
f(x)
a
0
2
+

n=1
(a
n
cos nx + b
n
sen nx) , < x < .
18
Entonces, para x [, ]
_
x

f(t) dt =
_
x

a
0
2
dt +

n=1
_
x

(a
n
cos nt + b
n
sen nt) dt
=
a
0
2
(x + ) +

n=1
1
n
_
a
n
sen nx b
n
(cos nx + (1)
n+1
)

.
Ejemplo 3.6 Vamos a usar la relacion
f(x) = x
2

2
3
+ 4

n=1
(1)
n
n
2
cos nx, < x < ,
para encontrar un polinomio p(x) tal que
p(x) =

n=1
(1)
n
n
3
sen nx, x .
Claramente, la funci on f(x) = x
2
cumple todas las condiciones del teorema 3.8. As, integrando desde a x,
obtenemos
_
x

t
2
dt =
x
3
3
+

3
3
=

2
3
(x + ) + 4

n=1
1
n
_
(1)
n
n
2
sen nx
_
,
o
x
3
3
=

2
x
3
+ 4

n=1
(1)
n
n
3
sen nx
y luego
p(x) =
x(x
2

2
)
12
=

n=1
(1)
n
n
3
sen nx, x .
Referencias
[1] Ordinary and Partial Dierential Equations. R. P. Agarwal & D. ORegan. Universitext, Springer Verlag, 2009.
[2] Modern Mathematical Analysis. Murray H. Protter & Charles B. Morrey. AddisonWesley Publishing Company, 1964.
19
Ejercicios
Apendice A. Ejercicios Resueltos
1. a) Pruebe que las funciones
1
(x) = 1,
2
(x) =

3(2x 1) son ortonormales en el intervalo 0 < x < 1

con la funci on peso r(x) = 1.
b) Encontrar la serie de Fourier de f(x) =

3x
2
en terminos de
1
,
2
en el intervalo 0 < x < 1.
c) Sea
F(a, b) =
_
1
0
_

3x
2
a
1
(x) b
2
(x)
_
2
dx.
Encontrar a, b tal que F(a, b) alcanza su mnimo. Ademas, encuentre el mnimo valor de F(a, b).
a) Soluci on. Tenemos que

1
,
2
=

3
_
1
0
(2x 1) dx =

3 [x
2
x]

1
0
= 0,
|
1
|
2
=
1
,
1
=
_
1
0
1
2
dx = 1,
|
2
|
2
=
2
,
2
= 3
_
1
0
(2x 1)
2
dx =
(2x 1)
3
2
= 1.
Luego, las funciones
1
(x),
2
(x) son ortonormales en el intervalo 0 < x < 1.
b) Los coecientes de Fourier est an dados por 2.3, luego
c
1
= f,
1
=

3
_
1
0
x
2
dx =

3
3
,
c
2
= f,
2
= 3
_
1
0
x
2
(2x 1) dx =
1
2
.
As, la serie de Fourier de f(x) est a dada por
f(x)

3
3
+

3
2
(2x 1), 0 < x < 1.
c) Primero, notamos que F(a, b) 0. Ahora, si desarrollamos
F(a, b) =
_
1
0
_
3x
2
2

3x
2
(a
1
(x) + b
2
(x)) + (a
1
(x) + b
2
(x))
2
_
dx
=
_
1
0
(

3x
2
)
2
dx 2a
_
1
0

3x
2

1
(x) dx 2b
_
1
0

3x
2

2
(x) dx +
_
1
0
(a
1
(x) + b
2
(x))
2
dx
= |f|
2
2ac
1
2bc
2
+ a
2
+ b
2
,
donde los ultimos dos terminos se han obtenido usando la ortonormalidad de
1
,
2
. Ahora derivamos
a F con respecto a a y b para obtener
F
a
= 2a 2c
1
F
b
= 2a 2c
2
.
20
Al igualar a cero ambas ecuaciones obtenemos los valores a = c
1
, b = c
2
. Puesto que F(a, b) 0
sigue que estos valores minimizan F. Ademas, este valor mnimo es
F(c
1
, c
2
) = |f|
2
c
2
1
c
2
2
=
3
5

1
3

1
4
=
1
60
.
Note que este valor no es cero. Esto es natural, es imposible obtener una aproximacion exacta al
aproximar una funci on cuadratica usando polinomios de grado cero y uno.
2. Encontrar la serie de Fourier trigonometrica de f(x) =
_
0, si < x < 0,
1, si 0 < x < .
Utilice este resultado
para calcular la suma

n=1
1
(2n1)
2
.
Soluci on. Tenemos que
a
0
=
1

f(t) dt =
1

_

0
1 dt = 1,
a
k
=
1

f(t) cos kt dt =
1

_

0
cos kt dt =
1
k
sen kt[

0
= 0, k 1,
b
k
=
1

f(t) sen kt dt =
1

_

0
senkt dt =
1
k
cos kt[

0
=
1 cos k
k
=
1 + (1)
k+1
k
=
_
_
_
0, si k = 2n, n = 1, 2, . . .
2
(2n 1)
, si k = 2n 1, n = 1, 2, . . .
, k 1.
Luego
f(x)
1
2
+

n=1
2
(2n 1)
sen(2n 1)x.
Por ultimo notamos que la forma de la serie a calcular sugiere el uso de la identidad de Parseval, entonces
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n
_
=
1
2
+

n=1
4

2
1
(2n 1)
2
=
1

f(t) dt.
Por lo tanto

n=1
1
(2n 1)
2
=

2
8
.
3. Encuentre la serie de Fourier trigonometrica de la funci on cos ax sobre [, ]. Utilice este resultado para
calcular el valor de la serie

n=1
(1)
n+1
n
2
a
2
.
Soluci on. Dejamos propuesto como ejercicio el caso a Z. Para los otros casos, dado que cos ax es una
funci on par, sigue que b
n
= 0, n 1 y
a
n
=
2

_

0
cos axcos nxdx =
1

[cos(n a)x + cos(n + a)x] dx

=
1

_
sen(n a)x
n a
+
sen(n + a)x
n + a
_

0
=
1

(1)
n+1
_
sen a
n a

sen a
n + a
_
=
1

(1)
n+1
sena
2a
n
2
a
2
, n 0.
Luego, sigue que
cos ax
2a

sen a
_
1
2a
2
+

n=1
(1)
n+1
n
2
a
2
cos nx
_
, < x < .
21
Al evaluar en el punto de continuidad x = 0 y usando el teorema 3.4 tenemos
2a

sena
_
1
2a
2
+

n=1
(1)
n+1
n
2
a
2
_
= cos 0 = 1
y luego

n=1
(1)
n+1
n
2
a
2
=
1
2a
2
_
a
sena
1
_
.
4. Considere a la funci on de periodo 2 denida por f(x) =
_
0 si < x < 0
senx si 0 < x <
a) Pruebe que la serie de Fourier S(x) de f(x) es
S(x) =
1

+
senx
2

2

n=1
cos 2nx
4n
2
1
,
se nalando claramente cuales son los coecientes de la expansi on.
b) Utilice lo anterior para calcular

n=1
(1)
n
4n
2
1
.
a) Soluci on Hacemos uso de las identidades sen cos = [sen( + ) + sen( )]/2, sen sen =
[cos( ) cos( + )]/2 para calcular los coecientes
a
0
=
1

f(t) dt =
1

_

0
sen t dt =
2

,
a
1
=
1

f(t) cos t dt =
1

_

0
sent cos t dt =
1
4
cos 2t[

0
= 0,
a
k
=
1

f(t) cos kt dt =
1
2
_

0
(sen(1 + k)t + sen(1 k)t) dt
=
1
2
_
cos(1 + k)t
1 + k

0
+
cos(1 k)t
1 k

0
_
=
1
2
_
(1)
k+1
1
1 + k
+
(1)
k+1
1
1 k
_
=
(1)
k+1
1
2
_
1
k 1

1
k + 1
_
=
(1)
k+1
1

1
k
2
1
, k 2
=
_
_
_

1
4n
2
1
si k = 2n, n = 1, 2, . . .
0 si k = 2n + 1, n = 1, 2, . . .
b
n
=
1

f(t) sen nt dt =
1

_

0
sent sen nt dt =
_
1/2 si n = 1
0 si n ,= 1
Con lo cual
S(x) =
1

+
sen x
2

2

n=1
cos 2nx
4n
2
1
, < x < ,
que es lo deseado.
b) Evaluamos en el punto de continuidad x = /2. As
1 =
1

+
1
2

2

n=1
(1)
n
4n
2
1
.
22
Resolviendo, se llega a

n=1
(1)
n
4n
2
1
=

2
_
1

1
2
_
.
5. a) Obtenga la expansi on en serie de Fourier trigonometrica de la funci on periodica f(x) de perodo 2
denida sobre el perodo 1 < x < 1 por
f(x) =
_
0 si 1 < x < 0
1 x si 0 < x < 1
b) Usar el resultado anterior para calcular la suma de la serie numerica

n=1
1
(2n 1)
2
,
a) Soluci on. Los coecientes de Fourier de f(x) est an dados por
a
0
=
_
1
1
f(x) dx =
_
1
0
(1 x) dx =
1
2
(1 x)
2

1
0
=
1
2
a
n
=
_
1
1
f(x) cos(nx) dx =
_
1
0
(1 x) cos(nx) dx
_
u = 1 x du = dx
dv = cos(nx) dx v =
1
n
sen(nx)
=
1
n
_
1
0
sen(nx) dx =
1
n
2

2
cos(nx)

1
0
=
1 cos(n)
n
2

2
, n = 1, 2, 3, . . .
b
n
=
_
1
1
f(x) sen(nx) dx =
_
1
0
(1 x) sen(nx) dx
_
u = 1 x du = dx
dv = sen(nx) dx v =
1
n
cos(nx)
=
1
n

1
n
_
1
0
cos(nx) dx =
1
n

1
n
2

2
sen(nx)

1
0
=
1
n
, n = 1, 2, 3, . . .
La serie de fourier de la funci on f(x) es
1
4
+

n=1
_
1 cos(n)
n
2

2
cos(nx) +
1
n
sen(nx)
_
, 1 < x < 1.
b) En x = 0 la suma de la serie tiene valor
1
2
(f(0
+
) + f(0

)) =
1
2
, entonces
1
2
=
1
4
+

n=1
1 cos(n)
n
2

2
=
1
4
+
2
1
2

2
+
2
3
2

2
+
2
5
2

2
+
2
7
2

2
+ . . . +
2
(2n 1)
2

2
. . .
Por lo tanto

n=1
1
(2n 1)
2
=

2
8
.
Apendice B. Ejercicios Propuestos
1. Encuentre la serie de Fourier de cosenos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
(i) f(x) = x
2
(ii) f(x) =
_
0, si 0 < x < /2
1, si /2 < x <
(iii) f(x) = cos x.
23
2. Encuentre la serie de Fourier de senos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
(i) f(x) = 1 (ii) f(x) = x.
3. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:
(i) f(x) = x , < x < (ii) f(x) =
_
1, si < x < 0
2, si 0 < x <
(iii) f(x) =
_

_
x, si < x < 0
2, si x = 0
e
x
, si 0 < x < .
Ademas, para cada serie graque la suma mostrando algunos terminos gracamente, comparando con la
funci on expandida.
4. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:
(i) f(x) = x
2
, 0 < x < 2 (ii) f(x) =
_

_
0, si 2 < x < 1
1, si 1 < x < 1
0, si 1 < x < 2.
5. Sea f(x) una funci on periodica de perodo 2 tal que sus coecientes de Fourier existan. Suponga que
f(x) = f(x), x. Muestre que a
n
= 0 si n es impar y que b
n
= 0 si n es par. Encuentre explicitamente
c
0
, c
2
y c
4
.
6. Encontrar, si existe, una serie de Fourier de perodo fundamental 2 para la funci on f(x) = sen
3
x, x R.
Justique brevemente su respuesta.
7. Sea f una funci on arbitraria, seccionalmente continua en [0, ], simetrica con respecto a la recta x = /2.
Demostrar que los unicos terminos no nulos en el desarrollo de Fourier senoidal de f, con perdo 2, son
los terminos b
2k1
, k = 1, 2, . . .
8. Desarrolle la funci on:
f(x) = x 1, 1 x 2
en serie de Fourier, de tal modo que esa expansi on tenga solo terminos pares.
9. Demostrar o refutar la identidad
x( x) =

2
6

n=1
cos 2nx
n
2
, 0 x .
10. Considere la funci on f(x) =
_
1, si 0 < x < /2
0, si /2 < x < .
Es sabido que las funciones
n
(x) =
_
2

sen nx, n =
1, 2, 3 forman un conjunto ortonormal en el intervalo 0 < x < . Encuentre los valores de a, b para los
cuales la integral
F(a, b) =
_

0
(f(x) a
1
(x) b(
2
(x) +
3
(x)))
2
dx
alcanza su mnimo.
24
11. Sea f(x) =
_
0, si x [1, 0)
1, si x [0, 1].
Muestre que
_
1
1
_
f(x)
1
2

3
4
x
_
2
dx
_
1
1
_
f(x) d
0
d
1
x d
2
x
2
_
2
dx
para cualquier eleccion del conjunto de constantes d
0
, d
1
y d
2
.
12. Sean f(x) y g(x) seccionalmente continuas en el intervalo [, ] tal que sus coecientes de Fourier sean
iguales con respecto a un conjunto ortonormal de funciones. Muestre que f(x) = g(x) en cada punto de
[, ] donde ambas funciones sean continuas.
13. La serie de Fourier trigonometrica de la funci on e
x
sobre el intervalo < x < est a dada por
e
x

2 senh

_
1
2
+

n=1
(1)
n
n
2
+ 1
(cos nx nsennx)
_
.
a) Utilice la relacion de arriba para mostrar que

n=1
1
n
2
+ 1
=

2
coth
1
2
.
b) Encuentre el valor de la suma

n=1
(1)
n
n
2
+ 1
.
Justique su respuesta.
25