1

Captulo III:

Series de Fourier
Profesor: Ra
ul Fierro P.

1.

Expansiones Ortogonales
En lo que sigue, IK denotara el campo R de los n
umeros reales, o bien, el campo

C de los n
umeros complejos. Anotaremos ademas por C[a, b] y R[a, b] los espacios
vectoriales sobre IK de todas las funciones continuas e integrables en el sentido de
Riemann, respectivamente, definidas en [a, b] y con valores en IK.
Definici
on 1

El semi producto interno sobre R[a, b] se define para f, g R[a, b]

como
(1.1)

< f, g >=

Observaci
on 2

Rb
a

f (x)g(x) dx

Notese que el semi producto interno sobre R[a, b] satisface las

propiedades siguientes:
(2.1)

Para todo f R[a, b], < f, f > es un n

umero real no negativo.

(2.2)

Para todos f, g, h R[a, b],

< f + g, h >=< f, h > + < g, h > y < f, g + h >=< f, g > + < f, h > .
(2.3)

Para todos f, g R[a, b], < f, g > =< g, f >.

(2.4)

Para todo IK y todos f, g R[a, b],

< f, g >= < f, g > y < f, g >= < f, g > .

Notaci
on 3 Para f R[a, b] anotaremos
(3.1)

kf k =< f, f >.

Proposici
on 4 (Cauchy-Schwarz.) Para todos f, g R[a, b], la desigualdad siguiente
se satisface:

Fierro
(4.1)

| < f, g > | kf kkgk.

Observaciones 5 Por (2.1), (3.1) esta bien definida. Notemos ademas que se satisface las propiedades siguientes:
(5.1)

Para todo f R[a, b], kf k 0 y (f = 0 kf k = 0).

(5.2)

Para todo IK y todo f R[a, b], kf k = ||kf k.

(5.3)

Para todos f, g R[a, b], kf + gk kf k + kgk.

Definiciones 6 Sea S R[a, b]. Se dice que

(6.1)

S es un conjunto ortogonal, si y solo si, para todos f, g S tales que

f 6= g, se tiene < f, g >= 0.

(6.2)

S es un conjunto ortonormal, si y solo si, S es un conjunto ortogonal y

para todo f S, kf k = 1.
Ejemplo 7 Sea V = C([0, 2], C) el espacio vectorial sobre C de todas las funciones
continuas de [0, 2] en C. Sea S = {n : n N}, donde n : [0, 2] C esta definida

mediante n (t) = eint / 2. Luego, S es un conjunto ortonormal.

Proposici
on 8

(Pitagoras.) Sea {1 , . . . , n } R[a, b] un conjunto ortogonal y

= nk=1 k . Entonces,
(8.2)

kk2 =

n
X

kk k2 .

k=1

Lema 9 Sea {1 , . . . , n } R[a, b] un conjunto ortonormal, 1 , . . . , n IK y

P
= nk=1 k k .
Entonces, para todo R[a, b],
(9.1)

k k2 = kk2 +

n
X
k=1

Observaciones 10

|k < , k > |2

n
X

| < , k > |2 .

k=1

Sean R[a, b] y (k ; k N) una sucesion ortonormal en

R[a, b].
(10.1)

Sea Wn =< 1 , . . . , n >. Cual es la mejor aproximacion de mediante

alg
un vector Wn ?

>6













,

,
:





,


 

,

, 


, 0

,
,
,
,
,
,
,

,
,

Figura 1: Mejor Aproximacion

Se debe minimizar f () = k k. Pero por (9.1), el mnimo de esta expresion
se obtiene cuando para todo k {1, . . . , n}, k =< , k >.
Por lo tanto, la mejor aproximacion de mediante alg
un vector Wn se obtiene
Pn
para = k=1 < , k > k .
Otra consecuencia de (9.1) es que para toda sucesion (k ; k N) en IK y todo
V se tiene
P
P
kk2 + nk=1 |k < , k > |2 nk=1 | < , k > |2 0.
En particular, evaluando lo anterior en k =< , k > se tiene que para todo
n N,
2

kk

n
X

| < , k > |2 .

k=1

Por lo tanto,
(10.2)

| < , k > |2 kk2 .

(Desigualdad de Bessel.)

k=1

Como la serie en (10.2) converge, entonces

(10.3)

lm | < , k > | = 0.

(Lema de Riemann-Lebesgue.)

Fierro

Ejercicios propuestos
1. Sea (k ; k N) la sucesion en C[0, 1] definida por k (t) = ei2kt .
(1.1)

Demuestre que (k ; k N) es una sucesion ortonormal.

(1.2)

Sean Wn =< 1 , . . . , n > y C[0, 1] tal que (t) = t. Determine la

mejor aproximacion de mediante alg

un vector Wn .

2. Sea (k ; k N) la sucesion de funciones k : [, ] definida por 0 (x) = 1/ 2

y k (x) = cos(kx)/ si k 1.
(2.1)

Demuestre que (k ; k N) es una sucesion ortonormal.

(2.2)
(2.3)

Exprese la desigualdad de Bessel en relacion a la sucesion (k ; k N).

R
Demuestre que para toda R[, ], lm (x) cos(nx) dx = 0.

(2.4)

Sean Wn =< 1 , . . . , n > y : [, ] R tal que

(t) =

1 si t < 0
0

si

t=0

si

0 < t .

Determine la mejor aproximacion de mediante alg

un vector Wn .

3. Sea (k ; k N ) la sucesion en C[, ] definida por k (t) = sen(kt)/ 2.

(3.1)

Demuestre que (k ; k N ) es una sucesion ortonormal.

(3.2)

Exprese la desigualdad de Bessel en relacion a la sucesion (k ; k N ).

R
Demuestre que para toda R[, ], lm (t)sen(nt) dt = 0.
n
P k
Si |r| < 1 y (t) = k=1 r k (t), calcule kk.

(3.3)
(3.4)

2.

Series trigonom
etricas

Definici
on 1 Sea T > 0. Una serie trigonometrica de perodo T es una serie de la
forma

(1.1)

a0 +

[ak cos(2kx/T ) + bk sen(2kx/T )],

k=1

donde (ak ; k N) y (bk ; k N) son sucesiones en R.

Observaciones 2 Supongamos que las sucesiones reales (ak ; k N) y (bk ; k N)
satisfacen
(2.1)

(|ak | + |bk |) < .

k=1

Entonces la serie trigonometrica definida por (1.1) converge uniformemente en R.

Sea f : R R tal que
f (x) = a0 +

[ak cos(2kx/T ) + bk sen(2kx/T )].

k=1

Luego, f es periodica de perodo T y la convergencia uniforme de la serie nos permite

concluir que
(2.2)
(2.3)

1
a0 =
T

2
ak =
T

T /2

f (x) dx,
T /2
T /2

2
f (x) cos(2kx/T ) dx, y bk =
T
T /2

T /2

f (x)sen(2kx/T ) dx,
T /2

si k 1.
Los coeficientes en (2.2) y (2.3) pueden ser definidos de esta forma para cualquier
funcion f : [T /2, T /2] R integrable en el sentido de Riemann, sin importar si ella
coincide o no con la serie trigonometrica, e incluso, la definicion de estos coeficientes
tiene sentido en el caso que la serie trigonometrica sea divergente. Estas constantes
reales se conocen como coeficientes de Fourier f , y la serie trigonometrica definida en
(2.1) con estos coeficientes, recibe el nombre de serie de Fourier de f de perodo T .
Anotaremos en este caso,

f (x) a0 +

X
[ak cos(2kx/T ) + bk sen(2kx/T )].
k=1

Definiciones 3 Sea f : R R. Se dice que

(3.1)

f es par, si y solo si, para todo x R, f (x) = f (x).

Fierro
(3.2)

f es impar, si y solo si, para todo x R, f (x) = f (x).

Observaci
on 4

Como se muestra en Figura 2, el grafico de una funcion par es

simetrico respecto del eje vertical, en tanto que, el grafico de una funcion impar es
simetrico respecto del origen.

A


A


A


A

A

Funcion par

Funcion impar
Figura 2

Proposici
on 5 Sea f : R R y g : R R.
(5.1)

Si f es par y g es par, entonces f g es par.

(5.2)

Si f es par y g es impar, entonces f g es impar.

(5.3)

Si f es impar y g es impar, entonces f g es par.

Corolario 6 Sea f : R R una funcion continua por tramos y periodica de perodo

T , y, a0 , ak y bk (k 1), los coeficientes de Fourier de f .
(6.1)

Si f es par, entonces para todo k 1, bk = 0.

(6.2)

Si f es impar, entonces a0 = 0 y para todo k 1, ak = 0.

7
Ejemplos 7
(7.1)

Sea f : [1, 1] R tal que f (x) = |x|. Determinar la serie de Fourier de

perodo 2 para esta funcion.

(7.2)

Sea f : [.] R tal que

(
f (x) =

/4 si x < 0
/4

si

0 x .

Determinar la serie de Fourier de f de perodo 2 y notar que esta serie evaluada

en 0 difiere de f (0).
(7.3)

Sea f : [1, 1] R tal que

(
f (x) =

0 si 1 x < 0
x si

0 x 1.

Determinar la serie de Fourier de perodo 2 para f .

Ejercicios propuestos
1. Determine la serie de Fourier de la funcion periodica f : R R de perodo T en
los casos siguientes:

(1.1)

T = 2,

(1.2)

T = 2,

(1.3)

T = 2,

(1.4)

T = 4,

f (x) =

si

x < 0

1 si 0 z < /2

1 si /2 x .

1 si x < /2

0 si /2 x < 0
f (x) =

1 si
0 x < /2

2 si /2 x .
(
1 si 1 x < 0
f (x) =
1 si 0 x 1.
(
1 si 1 x < 1
f (x) =
0 si 1 x 3.

Fierro
(1.5)

T = 2,

f (x) = x2

(1.6)

T = 4,

f (x) = x si |x| 2.

si |x| 1.

2. Sea f : R R. Demuestre que existen u

nicas funciones u y v de R en R tales que
u es par, v es impar y f = u + v.
Determine estas funciones u y v en los casos siguientes:
(2.1)

f (x) = ex .

(2.2)

f (x) = |x|.

(2.3)

f (x) = sen(x).

3. Sea f : R R una funcion derivable. Demuestre que si f es par, entonces f 0 es

impar, y que si f es impar, entonces f 0 es par.
4. Sea f : R R una funcion continua por tramos y periodica de perodo T .
Demuestre que para todo c R,
Z T +c
Z T
2
2
(4.1)
f (u) du =
f (u) du.
T2

T2 +c

3.

Convergencia puntual

Definici
on 1 Para cada n N , la funcion DnT : R R definida por

sen[(2n + 1)x/T ] si k N, x 6= kT
n
2sen[x/T ]
DT (x) =

n + 12
si k N, x = kT.
se conoce como n
ucleo de Dirichlet.
Proposici
on 2 Para cada n N y T > 0, el n
ucleo de Dirichlet esta dado por
n

(2.1)

DnT (x)

1 X
= +
cos(2kx/T ).
2 k=1

Ademas,
(2.2)
Lema 3

2
T

T /2

DnT (u) du = 1.

T /2

Sea f : R R una funcion continua por tramos y periodica de perodo

T > 0. Supongamos ademas que

X
f (x) a0 +
[ak cos(2kx/T ) + bk sen(2kx/T )].
k=1

y sea
(3.1)

n
X

snT (f, x) = a0 +

[ak cos(2kx/T ) + bk sen(2kx/T )].

k=1

Entonces,
(3.2)
(3.3)

snT (f, x)
snT (f, x)

Definici
on 4

2
=
T

2
=
T

T /2

f (u)DnT (x u) du. y

T /2
T /2

T /2

f (x + u) + f (x u) n
DT (x u) du.
2

Sean x0 R y f : R R una funcion continua por tramos. Se

dice que f satisface la condicion de Dirichlet en x0 , si y solo si, existen los lmites
siguientes:
(4.1)

f+0 (x0 ) = lm+

f (x) f (x+
0)
x x0

f0 (x0 ) = lm

f (x) f (x
0)
.
x x0

xx0

(4.2)

xx0

Teorema 5 Sean x0 R y f : R R una funcion continua por tramos y periodica

de perodo T > 0. Supongamos ademas que
(5.1)

f satisface la condicion de Dirichlet en x0 y

(5.2)

X
f (x) a0 +
[ak cos(2kx/T ) + bk sen(2kx/T )].
k=1

Entonces,
(5.3)

X
f (x+
0 ) + f (x0 )
= a0 +
[ak cos(2kx0 /T ) + bk sen(2kx0 /T )].
2
k=1

Corolario 6 Si ademas de las hipotesis del teorema precedente se supone que f es

continua en x0 , entonces
(6.1)

f (x0 ) = a0 +

[ak cos(2kx0 /T ) + bk sen(2kx0 /T )].

k=1

Ejemplo 7 Sea f : R R periodica de perodo 2 y tal que

10

Fierro

(
f (x) =

X
(1)k+1

Demostrar que

k=1

2k 1

/4 si x < 0
/4

si

0 x .

.
4

Definiciones 8 Sean f : R R integrable en [T /2, T /2], x R, n N y

snT (f, x)

= a0 +

n
X

[ak cos(2kx/T ) + bk sen(2kx/T )].

k=1

La n-esima media de Ces`aro de perodo T en x se define como

n

(8.1)

Tn (f, x) =

1X k
s (f, x).
n k=1 T

El n-esimo kernel de Fejer de perodo T en x se define como

n

(8.2)

KnT (x)

1X k
=
D (f, x).
n k=1 T

Proposici
on 9 Para cada n N y T > 0, el n-esimo kernel de Fejer de perodo T
en x esta dado por
(9.1)


2

1 sen(nx/T )
si k N, x 6= kT
2n sen(x/T )
KnT (x) =

n/2
si k N, x = kT.

Ademas,
(9.2)

2
T

T /2

KnT (u) du = 1.

T /2

Teorema 10 (Fejer) Sean T > 0 y f : R R continua de perodo T . Entonces, la

sucesion (Tn ; n N ) de medias de Ces`aro de f converge uniformemente a f .
Corolario 11 (Identidad de Parseval.) Sea f : R R continua de perodo T > 0 y
tal que
(11.1)

X
f (x) a0 +
[ak cos(2kx/T ) + bk sen(2kx/T )].
k=1

Entonces,

11
2
T

(11.2)

T /2
2

f (x) dx =

2a20

T /2

(a2k + b2k ).

k=1

Ejemplo 12 Sea f : R R tal que f (x) = |x| si 1 x 1 y para todo x R,

f (x + 2) = f (x). Usar el hecho que
f (x)

1
2 X cos[2(2k + 1)x]
2
4 k=0
(2k + 1)2

para calcular

X
k=0

1
.
(2k + 1)4

Observaciones 13 Sean a > 0 y f : [0, a] R. Como representar f mediante el

desarrollo de una serie trigonometrica?
Una respuesta a esto, consiste en extender de manera natural la funcion f a una
funcion periodica de perodo a, desarrollar (si es posible) en serie de Fourier esta
funcion, y luego en particular, f tambien se representara mediante este desarrollo en
serie.
Sin embargo, es mas conveniente extender f a la funcion fp : R R periodica de
perodo 2a definida sobre [a, a] como
(
f (x) si a x < 0
(13.1)
fp (x) =
f (x) si 0 x a.
La ventaja de esto es que fp es una funcion par, y en consecuencia, su desarrollo
en serie de Fourier no contiene senos.
En el caso que f (0) = 0, f admite tambien una extension impar fi : R R, la
cual es periodica de perodo 2a y esta definida sobre [a, a] mediante
(
f (x) si a x < 0
(13.2)
fi (x) =
f (x)
si 0 x a.
Por ser fi una funcion impar, su desarrollo en serie de Fourier no contendra los
terminos cosenos, lo cual reduce bastante los calculos.
Estas funciones fp y fi se conocen como extensiones par e impar de f , respectivamente.
Ejemplo 14 Sea f : [0, 1] R tal que f (x) = x. Determinar las extensiones par e

12

Fierro

impar de f y sus correspondientes desarrollos en serie de Fourier.

Ejercicios propuestos
1. Sean a > 0 y f : [0, a] R. En los casos siguientes, representar f mediante el
desarrollo en serie de Fourier de la extension par e impar de f .
(1.1)

f (x) = 1, a = .

(1.2)

f (x) = 1, a = 1.

(1.3)

f (x) = x, a = .

(1.4)

f (x) = x, a = 2.

(1.5)

f (x) = ex , a = .
(1.6)
(
0 si 0 x a/2
f (x) =
1 si a/2 < x a.
(
1 si 0 x a/2
f (x) =
0 si a/2 < x a.

(1.7)

(1.8)

f (x) = ex , a = 1.

2. Demuestre que
(2.1)

X
cos[(2k + 1)x]
k=0

(2.2)

X
sen[(2k + 1)x]
k=0

(2.3)

(2k +

1)2

(2k + 1)3

X
cos[(2k + 1)x]
k=0

(2k + 1)4

(
=
(
=

2
8
x
4

x
4
3 2
8

x
(
8
x
(x
8

si

0x

si x 2.
x)

3)

si
3
4

0x

si x 2.

( x)( 2 + 2x 2x2 ) si 0 x 2.
48 2

3. Use el ejercicio precedente para calcular las series siguientes:

(3.1)

(3.3)

X
(1)k
.
(2k + 1)3
k=0

(1)

(1)

k=1

(3.5)

X
k=1

(3.2)

X
k=0

1
.
(2k + 1)4

1
1
+
.
2
(4k 1)
(4k + 1)2

(3.4)

X
(1)k
.
(4k + 1)2
k=0


1
1
+
.
(4k 1)4 (4k + 1)4

(3.6)

X
(1)k
.
4
(4k
+
1)
k=0