1

Captulo III:

Series de Fourier
Profesor: Ra
ul Fierro P.

Espacios vectoriales de dimensi

on infinita

En lo que sigue, IK denotara el campo R de los n

umeros reales, o bien, el campo C
de los n
umeros complejos.
1. Definici
on Sea V un espacio vectorial sobre IK. Una norma sobre V es una
funcion k k : V [0, [ que satisface las tres propiedades siguientes:
(1.1)

kvk = 0, si y solo si, v = 0.

(1.2)

Para todo IK y todo v V , kvk = ||kvk.

(1.3)

Para todos v, w V , kv + wk kvk + kwk.

Si k k es una norma sobre V , entonces se dice que (V, k k) es un espacio normado.

2. Ejemplos
(2.1)

La funcion modulo | | : C [0, [ es una norma sobre C.

(2.2)

Sea V = C([a, b], C) el espacio de las funciones continuas de [a, b] en C.

Para f V se define

kf k = sup |f (t)|.
atb

Luego, es facil ver que k k es una norma sobre V .

(2.3)

Como en (2.2), sea V = C([a, b], C) y para f V , sea

kf k1 =

|f (t)| dt.

Se verifica que k k1 es una norma sobre C([a, b], C).

3. Definici
on Sean V un espacio vectorial sobre IK. Un producto interno sobre V
es una funcion < , >: V V IK que satisface las cuatro propiedades siguientes:

Fierro

(3.1)

Para todo v V , < v, v > 0.

(3.2)

Para todo v V , < v, v >= 0, si y solo si, v = 0.

(3.3)

Para todos , IK, y todos u, v, w V ,

< u + v, w >= < u, w > + < v, w > .

(3.4)

Para todos u, v V, < u, v >= < v, u >.

4. Ejemplos En los casos siguientes, es facil verificar que las definiciones dadas
efectivamente son productos internos definidos sobre los correspondientes espacios
vectoriales.
(4.1)

Si V = Cn , entonces

< v, w >=

n
X

v j wj

(v = (v1 , . . . , vn ) y w = (w1 , . . . , wn )),

j=1

es un producto interno sobre V .

(4.2)

Si V = C([a, b], C), entonces

< f, g >=

f (t)g(t) dt,

(f, g C([a, b], C))

es un producto interno sobre V .

5. Notaci
on Sean V un espacio vectorial sobre IK con producto interno < , > y
v V.

(5.1)

kvk =

< v, v >.

6. Teorema (Desigualdad de Cauchy-Schwarz.) Sea V un espacio vectorial sobre IK

con producto interno < , >. Entonces, para todos v, w V ,
(6.1)

| < v, w > | kvkkwk .

7. Teorema Sea V un espacio vectorial sobre IK con producto interno. Entonces,

k k es una norma sobre V .
8. Definiciones Sean V un espacio vectorial sobre IK con producto interno < , >
y S V.

3
Se dice que
(8.1)

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

x 6= y, se tiene < x, y >= 0.

(8.2)

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

para todo x S, kxk = 1.

9. Ejemplo 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 con el producto

interno < , > definido por
< f, g >=

f (t)g(t) dt.

10. Proposici
on (Pitagoras.) Sean V un espacio vectorial sobre IK con producto
interno, {1 , . . . , n } un conjunto ortogonal y = nk=1 k . Entonces,
(10.2)

kk =

n
X
k=1

kk k2 .

11. Proposici
on Todo conjunto ortogonal que no contiene el vector nulo es linealmente independiente.
12. Lema Sean V un espacio vectorial sobre IK con producto interno < , >,
P
{1 , . . . , n } un conjunto ortonormal, 1 , . . . , n IK y = nk=1 k k .
Entonces, para todo V ,

(12.1)

k k2 = kk2 +

n
X
k=1

|k < , k > |2

n
X
k=1

| < , k > |2 .

13. Observaciones Sean V un espacio vectorial sobre IK con producto interno

< , >, V y (k ; k N) una sucesion ortonormal en V .
(13.1)

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

alg
un vector Wn ?
Se debe minimizar f () = k k. Pero por (12.1), el mnimo de esta expresion

se obtiene cuando para todo k {1, . . . , n}, k =< , k >.

Fierro

Figure 1: Mejor aproximacion

Por lo tanto, la mejor aproximacion de mediante alg

un vector Wn se obtiene
Pn
para = k=1 < , k > k .

Otra consecuencia de (12.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=1

| < , k > |2 .

Por lo tanto,
(13.2)

X
k=1

| < , k > |2 kk2 .

(Desigualdad de Bessel.)

Como la serie en (13.2) converge, entonces

(13.3)

lim | < , n > | = 0.

(Lema de Riemann-Lebesgue.)
Pn
Vale la pena notar que si en (12.1) hacemos =
k=1 k k entonces
n

k =< , k > (k 0, 1, ..., n), = y ademas,

(13.4)

kk =

n
X
k=1

| < , k > |2 .

Series trigonom
etricas

1. Definici
on 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.

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

X
k=1

(|ak | + |bk |) < .

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

Sea f : R R tal que

X
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)
si k 1.

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

Los coeficientes en (2.2) y (2.3) pueden definirse 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, estos coeficientes pueden definirse

como en (2.2) y (2.3) 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,

Fierro

f (x) a0 +

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

k=1

3. Definiciones Sea f : R R. Se dice que

(3.1)

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

(3.2)

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

4. Observaci
on 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.

Figure 2: Funciones Par e Impar

5. Proposici
on 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.

6. Corolario 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
7. Ejemplos
(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 .

Convergencia puntual

1. Definici
on 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) =

si k N, x = kT.
n + 12

se conoce como n
ucleo de Dirichlet.

2. Proposici
on Para cada n N y T > 0, el n
ucleo de Dirichlet esta dado por
n

(2.1)

DnT (x) =

Ademas,
(2.2)

2
T

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

T /2

T /2

DnT (u) du = 1.

Fierro

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

T > 0. Supongamos ademas que

f (x) a0 +

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

k=1

y sea
(3.1)

snT (f, x)

n
X

= a0 +

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

k=1

Entonces,
(3.2)
(3.3)

snT (f, x)

2
=
T

T /2

2
T

T /2

snT (f, x) =

T /2

T /2

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

4. Definici
on 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 ) = lim+

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

f0 (x0 ) = lim

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

xx0

(4.2)

xx0

5. Teorema 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)

f (x) a0 +

Entonces,
(5.3)

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

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

6. Corolario 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

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

f (x) =

X
(1)k+1

Demostrar que

k=1

2k 1

/4 si x < 0
/4

si

0 x .

.
4

8. Definiciones 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

9. Proposici
on 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

T /2

KnT (u) du = 1.

10. Teorema (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 .

11. Corolario (Identidad de Parseval.) Sea f : R R continua de perodo T > 0 y

tal que

10

Fierro

(11.1)

f (x) a0 +

Entonces,
2
T

(11.2)

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

k=1

T /2
2

f (x) dx =

2a20

T /2

(a2k + b2k ).

k=1

12. Ejemplo 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

13. Observaciones 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.

11
Estas funciones fp y fi se conocen como extensiones par e impar de f , respectivamente.
14. Ejemplo Sea f : [0, 1] R tal que f (x) = x. Determinar las extensiones par e

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

Ejercicios propuestos

1.- Sea V = C([a, b], C) el espacio de las funciones continuas de [a, b] en C. Para
f V se define

kf k = sup |f (t)|.
atb

Demuestre que kf k es una norma sobre V .

2.- Sea V = C([a, b], C) y para f V , sea kf k1 =

Rb
a

|f (t)| dt.

Demuestre que k k1 es una norma sobre C([a, b], C).

3.- Sean V = Cn y
< v, w >=

n
X

v j wj

(v = (v1 , . . . , vn ) y w = (w1 , . . . , wn )).

j=1

Demuestre que < , > es un producto interno sobre V y que la norma de v =

hP
i1/2
n
2
.
(v1 , . . . , vn ) asociada a este producto interno esta dada por kvk =
|v
|
j=1 j
4.- Sean V = C([0, 2], C) y
R 2
< f, g >= 0 f (t)g(t) dt, f, g V
(4.1)

Demuestre que < , > es un producto interno sobre V y que la norma

1/2
R
2
.
de f asociada a este producto interno esta dada por kf k = 0 |f (t)|2 dt
(4.2)
Demuestre que la sucesion (k ; k N) en V definida por k (t) =

eikt / 2, (t [0, 2]), es ortonormal.

(4.3)

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

la mejor aproximacion de mediante alg

un vector Wn .
R
5.- Sean V = C([, ], R), < f, g >= f (t)g(t) dt, (f, g V ), y (k ; k N) la

sucesion en V definida por 0 (x) = 1/ 2 y k (x) = cos(kx)/ si k 1.

12

Fierro

(5.1)

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

(5.2)

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

R
Demuestre que para toda V , lim (x) cos(nx) dx = 0.

(5.3)
(5.4)

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

1 si t < 0
(t) =

si

t=0

si

0 < t .

Determine la mejor aproximacion de mediante alg

un vector Wn .
R
6.- Sean V = C([, ], R), < , >= (t)(t) dt, (, V ) y (k ; k N ) la

sucesion en V definida por k (t) = sen(kt)/ 2.

(6.1)

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

(6.2)

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

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

(6.3)
(6.4)

7.- Determine la serie de Fourier de la funcion periodica f : R R de perodo T en

los casos siguientes:

(7.1)

T = 2,

(7.2)

T = 2,

(7.3)

T = 2,

(7.4)

T = 4,

0 si x < 0
f (x) =
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.

13
(7.5)

T = 2,

f (x) = x2

(7.6)

T = 4,

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

si |x| 1.

8.- 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:

(8.1)

f (x) = ex .

(8.2)

f (x) = |x|.

(8.3)

f (x) = sen(x).

9.- 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.

10.- Sea f : R R una funcion continua por tramos y periodica de perodo T .

Demuestre que para todo c R,
Z T +c
Z
2
(10.1)
f (u) du =
T2 +c

T
2

f (u) du.

T2

11.- 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 .
(11.1)

f (x) = 1, a = .

(11.2)

f (x) = 1, a = 1.

(11.3)

f (x) = x, a = .

(11.4)

f (x) = x, a = 2.

(11.5)

f (x) = ex , a = .
(11.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.

(11.7)

(11.8)

f (x) = ex , a = 1.

12.- Demuestre que

(12.1)

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

(12.2)

(2k +

1)2

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

(2k + 1)3

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.

14

Fierro

(12.3)

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

(2k +

1)4

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

13.- Use el ejercicio precedente para calcular las series siguientes:

(13.1)

(13.3)

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

X
(1)k

k=0

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

(13.4)

X
k
(1)


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

(13.6)

k=1

(13.5)

(13.2)

k=1

1
.
(2k + 1)4

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

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