UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERÍA

CENTRO DE DOCENCIA DE CIENCIAS BÁSICAS PARA INGENIERÍA.

Ecuaciones Diferenciales para Ingenierı́a BAIN 041

Series de Fourier
Segundo Semestre 2014

1 Introducción
Las funciones periódicas se presentan frecuentemente en una gran variedad de problemas de fı́sica e
ingenierı́a, tales como propagación de ondas en un medio, conducción del calor a lo largo de una varilla,
resonancia nuclear magnética. En consecuencia, para abordar la solución de tales problemas puede ser útil
una representación en serie trigonométrica con funciones seno y coseno.
Tal representación se denomina serie de Fourier de una función y las primeras ideas al respecto fueron
introducidas a principios del siglo XIX por Jean-Baptiste Fourier. Sin embargo, la formalización de tales
resultados solo fueron posible años después por Dirichlet y Riemann cuando se contaba con un mayor
conocimiento de funciones integrables.

2 La serie de Fourier de una función

Definición 2.1 Dado un número real positivo L, la Serie de Fourier de una función f en el intervalo
[−L, L] se define como
∞
a0 X   nπx   nπx 
+ an cos + bn sin ,
2 n=1
L L
donde Z L
1
a0 = f (x)dx
L −L
Z L
1  nπx 
an = f (x) cos dx para n = 1, 2, 3, . . . (1)
L −L L
Z L
1  nπx 
bn = f (x) sin dx para n = 1, 2, 3, . . .
L −L L
Los términos a0 , an , bn se denominan los coeficientes de Fourier de f en [−L, L] y la sucesión (Fk ) dada
por
k
a0 X   nπx   nπx 
Fk (x) = + an cos + bn sin ,
2 n=1
L L
se denomina sucesión de sumas parciales asociada a la serie de Fourier.

Cabe observar que f por lo menos debe ser integrable en [−L, L]. Además, en la definición anterior no
se garantiza la convergencia y si es que se tiene la convergencia en algún sentido, no es claro que converja a
f (x). Es decir, para x fijo, no es evidente la igualdad

lim Fk (x) = f (x) .

k→∞

Por estas razones, se usará la notación

∞
a0 X   nπx   nπx 
f (x) ∼ + an cos + bn sin ,
2 n=1
L L

la cual solo da cuenta de la representación de f como su serie de Fourier y no de la igualdad punto a punto
como tal.

1
Ejercicio 2.1 Determine la serie de Fourier de f (x) = x si x ∈ [−π, π].

Solución: La gráfica de la función es

Los coeficientes de Fourier de f en [−π, π] son:

1 π
Z
a0 = xdx = 0
π −π
π
1 π
Z 
1 x
an = x cos(nx)dx = cos(nx) + sin(nx) = 0 ∀n ≥ 1
π −π n2 π nπ −π
π
1 π
Z 
1 x 2
bn = x sin(nx)dx = 2
sin(nx) − cos(nx) = (−1)n+1 ∀n ≥ 1
π −π n π nπ −π n

Por lo tanto, la serie de Fourier de f en [−π, π] es:

∞
X 2
f (x) ∼ (−1)n+1 sin(nx)
n=1
n

En la imagen inferior, se visualizan las primeras cuatro sumas parciales F1 , F2 , F3 , F4 de f .

En este ejemplo, se obtiene f (−π) = −π , f (π) = π y por lo tanto, la igualdad entre la función y su
respectiva serie de Fourier no es válida.

2
2.1 Convergencia puntual de una serie de Fourier
A continuación vamos a establecer las condiciones de suficiencia que debe cumplir una función f para que
pueda ser representada por medio de su serie de Fourier.
Teorema 2.1 Sea f una función definida en un intervalo [−L, L] tal que f y f 0 son continuas por tramos
en [−L, L]. Es decir, f y f 0 son continuas excepto en un número finito de puntos del intervalo, con discon-
tinuidad de salto finito en esos puntos.
i) Si x ∈ ] − L, L[ es un punto de continuidad de f , entonces la serie de Fourier de f en x converge a
f (x). Por lo tanto, se tiene la igualdad
∞
a0 X   nπx   nπx 
f (x) = + an cos + bn sin .
2 n=1
L L

ii) Si x ∈ ] − L, L[ es un punto de discontinuidad de f , entonces la serie de Fourier de f en x converge

f (x+ ) + f (x− )
al promedio de los lı́mites laterales. Esto es, la serie en tal punto converge a y por lo
2
tanto, se tiene la igualdad
∞
f (x+ ) + f (x− ) a0 X   nπx   nπx 
= + an cos + bn sin ,
2 2 n=1
L L

donde f (x+ ) denota el lı́mite por la derecha de f en x y f (x− ) denota el lı́mite por la izquierda de f
en x . Es decir,
f (x+ ) = lim f (s) f (x− ) = lim f (s) .
s→x+ s→x−

iii) Si se considera la extensión periódica f˜ de f en R definida a partir de [−L, L[ o desde ]−L, L], entonces
para todo x ∈ R se tiene la igualdad
∞
f˜(x+ ) + f˜(x− ) a0 X   nπx   nπx 
= + an cos + bn sin .
2 2 n=1
L L

En particular, para los bordes del intervalo, al considerar una de las dos formas de extensión periódica,
la serie de Fourier converge en cualquier caso a
f (−L+ ) + f (L− )
.
2
Luego, si f (−L) = f (L), entonces la serie de Fourier converge a f (L) en los bordes del intervalo.
Los coeficientes a0 , an , bn son como en (1).
Ejercicio 2.2 Considere la función f : [−3, 3] → R definida como

0, si −3 ≤ x ≤ 0
f (x) = .
x, si 0≤x≤3
Encuentre su serie de Fourier y analice la convergencia en x = 3.
Solución: Representemos la gráfica de la extensión periódica de la función

3
 En este caso se eligió la extensión a partir de [−3, 3[. Los coeficientes de la serie de Fourier de f son:
Z 3 Z 3
1 1 3 3
a0 = f (x)dx = xdx = ∴ a0 = .
3 −3 3 0 2 2
Z 3
1  nπx 
an = f (x) cos dx
3 −3 3
  nπx   nπx  3
1
Z 3  nπx  1 9 cos 3x sin
= x cos dx = 3 + 3 
3 0 3 3 n2 π 2 nπ
0
3 3
= 2 2
(cos(nπ) − 1) = 2 2 ((−1)n − 1)
n π n π

3
∴ an = ((−1)n − 1)
n2 π 2
Z 3
1  nπx 
bn = f (x) sin dx
3 −3 3
  nπx   nπx  3
1
Z 3  nπx  1 9 sin 3x cos
= x sin dx = 3 + 3 
3 0 3 3 n2 π 2 nπ
0
3 3
= − cos(nπ) = − (−1)n
nπ nπ
3
∴ bn = − (−1)n
nπ
Por consiguiente, la serie de Fourier de f es
∞  
3 X 3 n
 nπx  3 n
 nπx 
f (x) ∼ + ((−1) − 1) cos − (−1) sin
4 n=1 n2 π 2 3 nπ 3

Cabe observar que los coeficientes ((−1)n − 1) son nulos, si n es número par.

Respecto a la convergencia, dado que f es continua en [−3, 3] y f 0 es continua a trozos en [−3, 3], entonces
la serie de Fourier coincide con f para todo x ∈ ] − 3, 3[.
Ası́,
∞  
3 X 3 n
 nπx  3 n
 nπx 
f (x) = + ((−1) − 1) cos − (−1) sin , x ∈ ] − 3, 3[ .
4 n=1 n2 π 2 3 nπ 3

Al analizar la convergencia en x = 3, punto de discontinuidad de la función extendida periódicamente,

se obtiene
lim f˜(x) = 0 , lim f˜(x) = 3 .
x→3+ x→3−

Luego, evaluando en x = 3 la serie de Fourier y usando (iii) se obtiene

∞ ∞
3 3 6 X 1 2n−1
X 1 π2
= − 2 (−1) ⇒ =
2 4 π n=1 (2n − 1)2 n=1
(2n − 1)2 8

Observaciones :
• A partir de la convergencia de la serie de Fourier en un punto se puede inferir la convergen-
cia de la suma de términos de la serie resultante y puede obtenerse su valor explı́citamente.

• La extensión periódica tiene perı́odo 2L.

4
2.2 La integral de funciones pares e impares
Recordemos que una función f se dice:
• par si f (x) = f (−x) ∀x ∈ Dom(f ),
• impar si f (x) = −f (−x) ∀x ∈ Dom(f ),

siempre que Dom(f ) sea simétrico respecto al 0.

Teorema 2.2 (Propiedades de funciones pares e impares)

• El producto de dos funciones pares es par.

• El producto de dos funciones impares es par.
• El producto de una función par y una función impar es impar.

• La suma (diferencia) de dos funciones pares es par.

• La suma (diferencia) de dos funciones impares es impar.

Lema 2.1 Sea f una función integrable en [−L, L]

Z L Z L
• Si f una función par en [−L, L], entonces f (x)dx = 2 f (x)dx.
−L 0
Z L
• Si f una función impar en [−L, L], entonces f (x)dx = 0.
−L

A continuación, vamos a determinar los coeficientes y la serie de Fourier coseno (o seno) según corresponda,
dada una función f par (o impar).

2.3 Teorema de las funciones pares y de las impares

Teorema 2.3 Sea f una función integrable en [−L, L].
i) Si f es par, la serie de Fourier de f en [−L, L] se denomina serie de cosenos. Está dada por
∞
a0 X  nπx 
f (x) ∼ + an cos
2 n=1
L
Z L Z L
2 2  nπx 
con coeficientes a0 = f (x)dx y an = f (x) cos dx,.
L 0 L 0 L
ii) Si f es impar, la serie de Fourier de f en [−L, L] se denomina serie de senos. Está dada por
∞
X  nπx 
f (x) ∼ bn sin
n=1
L
Z L
2  nπx 
con coeficiente bn = f (x) sin dx.
L 0 L

Ejercicio 2.3 Calcule la serie de Fourier de f (x) = 1 − |x| en [−2, 2].

Solución: A partir de la gráfica de la función podemos inferir que la función es par. Más aun, la extensión
periódica es continua en R.

5
Es decir f˜(−x) = 1 − |−x| = 1 − |x| = f˜(x) ∀ x ∈ R. Este resultado es válido ya que en [−2, 2] la función es
par. Luego, se tiene que f˜ es par en R con perı́odo 4 .
Los coeficientes del desarrollo de Fourier, son:
2 2
x2 
Z 
1 1
a0 = (1 − x)dx = x− =0
2 0 2 2 0
Z 2
2  nπx 
an = (1 − x) cos dx
2 0 2
Z 2  nπx  Z 2  nπx 
= cos dx − x cos dx
0 2 0 2
2
4 cos( nπx 2x sin( nπx

2 ) 2 )
= 0− +
n2 π 2 nπ 0

por consiguiente 
 0, si n es par
an = 8
, si n es impar
(2n − 1)2 π 2


Ası́ la serie de Fourier de f (x) = 1 − |x| es:

∞  
8 X 1 (2n − 1)πx
f (x) = cos
π 2 n=1 (2n − 1)2 2

con igualdad en [−2, 2] gracias al teorema de convergencia y al hecho que f (−2+ ) = f (2− ) = −1. Por
cierto, la igualdad para la extensión periódica, en este caso, es en R.

3 Desarrollos llamados de medio rango

Sea f una función definida en un intervalo [0, L]. Para obtener el desarrollo de f en serie de Fourier
para x ∈ [0, L], una forma es extender f al intervalo [−L, L], lo cual se puede realizar de muchas maneras.
Sin embargo, dos extensiones convenientes son la extensión impar lo que origina una serie de senos y la
extensión par lo que determina una serie de cosenos. Estas se denominan desarrollos de medio rango.

3.1 Extensión impar

Sea f una función definida en [0, L]. La extensión impar de f , la cual se denotará fi , se define como


 f (x) , 0<x≤L

fi (x) = 0 , x=0 .


−f (−x) , −L ≤ x < 0


6
 Gráficamente

Cabe notar que fi puede ser discontinua en x = 0. Además, si f es seccionalmente suave en [0, L],
entonces fi también lo es y por consiguiente, el teorema de convergencia de series de Fourier es válido para
fi . En tal caso, la serie de Fourier de fi es
∞
X  nπx 
fi (x) ∼ bn sin , −L ≤ x ≤ L .
n=1
L

A partir de lo anterior, se retorna al intervalo original [0, L] por medio de la representación

∞
X  nπx 
fi (x) ∼ bn sin , 0≤x≤L
n=1
L

con coeficiente Z L
2  nπx 
bn = f (x) sin dx
L 0 L
Ejemplo 1 Sea f la función dada por f (x) = x en [0, L]. Obtener el desarrollo de medio rango considerando
la extensión impar.

Solución: La extensión impar de f en [0, L] es fi (x) = x , x ∈ [−L, L]. La gráfica muestra la extensión
periódica de fi .
Por otro lado, como fi , fi0 son continuas a trozos en [−L, L], el teorema de convergencia puntual implica
que la serie de Fourier de senos converge a fi en ] − L, L[. Como fi y f coinciden en [0, L[ , entonces la serie
de Fourier de fi converge a f (x) en este intervalo. Sin embargo, en x = L hay una discontinuidad de salto,
por lo que la serie converge al promedio de los lı́mites laterales, el cual es cero. Observe que f (L) 6= 0.
Por lo tanto, como
2 L 2 L
Z  nπx  Z  nπx  2L
bn = f (x) sin dx = x sin dx = (−1)n+1
L 0 L L 0 L nπ
se tiene
∞ ∞
(
2L X (−1)n+1 X  nπx  x , 0≤x<L
= bn sin = .
π n=1 n n=1
L 0 , x=L

7
3.2 Extensión par
Sea f una función definida en [0, L]. La extensión par de f , la cual se denotará fp , se define como
(
f (x), 0≤x≤L
fp (x) = .
f (−x), −L ≤ x ≤ 0
Genéricamente, se tiene un gráfico como lo muestra la figura inferior

De la definición, en el intervalo [0, L] la función f es idéntica a su extensión par.

Por otro lado, si f es seccionalmente suave en [0, L], entonces su extensión par fp también lo es. Luego,
el teorema de convergencia puntual de series de Fourier es válido. La serie que se obtiene se denomina serie
de Fourier de cosenos de f .
∞
a0 X  nπx 
f (x) ∼ + an cos , 0≤x≤L
2 n=1
L
con coeficientes Z L Z L
2 2  nπx 
a0 = f (x)dx ∧ an = f (x) cos dx
L 0 L 0 L
Ejemplo 2 Determine la serie de Fourier de cosenos de f (x) = x en [0, L].

Solución: Por las caracterı́sticas de la extensión, fp y fp0 son continuas a trozos. De hecho, fp y su
extensión periódica resultan continuas. Luego, del teorema de convergencia puntual se concluye
X∞  nπx 
x = a0 + an cos , 0≤x≤L
n=1
L
1 L 1 L 1 x2 L
Z Z
L
a0 = f (x)dx = xdx =  =
L 0 L 0 L 2 0 2
Z L Z L
2  nπx  1  nπx 
an = f (x) cos dx = f (x) cos dx
L 0 L L 0 L

8
 (
0 n par
an = 4L
− 2 2 n impar
n π
Ası́ , la serie de Fourier del tipo coseno de f (x) = x en [0, L] es
∞  
L 4L X 1 (2n − 1)πx
f (x) = − 2 cos .
2 π n=1 (2n − 1)2 L

4 Ejercicio resuelto (Prueba 3, primer semestre 2013)

Considere la salida de un rectificador de onda completa, que produce corriente continua pulsante como
muestra la figura. El rectificador se puede modelar como un dispositivo que se alimenta con una onda
senoidal, que deja pasar los pulsos positivos, e invierte los pulsos negativos, es decir:


− sin(x), si −π < x < 0
f (x) =
sin(x), si 0<x<π
1. Encuentre la serie de Fourier que representa la señal.

Solución: La función f es par ∴ bn = 0

Z π
2
a0 = sin(x)dx
π 0
2
= − (cos(π) − cos(0))
π
4
=
πZ
2 π
an = sin(x) cos(nx)dx
π 0
Z π
2 sin(n + 1)x + sin(1 − n)x
= dx
π 0 2
 π
1 cos(n + 1)x cos(1 − n)x 
= − +
π n+1 1−n 
0
2 n
= ((−1) + 1)
π(1 − n2 )


 0 , n impar 4
an = 4 ⇒ a2k = , k∈N
, n par π (1 − 4k 2 )
π (1 − n2 )


Por lo tanto, la serie Fourier buscada es

∞ ∞
2 X 2 X 4
f (x) = + an cos(nx) = + cos(2kx)
π n=1 π π (1 − 4k 2 )
k=1

con igualdad válida en ] − π, 0[ ∪ ]0, π[ (para la extensión continua periódica la igualdad es válida en
R gracias al teorema de convergencia ).

9
 2. Usando el resultado anterior, muestre que:
∞
X 1 1
=
4k 2 −1 2
k=1

Solución:

f (0+ ) = lim sin(x) = 0

x→0+
f (0− ) = lim sin(x) = 0
x→0−

Luego, como la serie de Fourier converge a

f (0− ) + f (0+ )
=0
2
se tiene

∞
f (0− ) + f (0+ ) 2 4X 1
= − cos(2k0)
2 π π (4k 2 − 1)
k=1
∞
2 4 X 1
0 = −
π π (4k 2 − 1)
k=1
∞
2 4X 1
− = − 2
π π (4k − 1)
k=1
∞
1 X 1
=
2 (4k 2 − 1)
k=1

5 Ejercicios propuestos
Problema 1 Sea f la función de perı́odo 2 dada por
 1
f (x) = 2 − x, si 0 ≤ x ≤ 1
x − 23 , si 1 ≤ x ≤ 2

a) Determine su serie de Fourier.

b) Estudie la convergencia de la serie en x0 = −π
Problema 2

a) Desarrolle en serie de Fourier la función de perı́odo π, definida por:

f (x) = x2 , −π ≤ x ≤ π

b) A partir del resultado obtenido calcule el valor de

∞
X 1
2
.
n=1
n

10
 Problema 3

a) Desarrolle en serie de Fourier la función f de perı́odo 2π definida como


0, si −π ≤ x ≤ 0
f (x) = .
x, si 0<x≤π

b) A partir del resultado anterior obtenga la suma de la serie:

∞
X 1
n=1
(2n − 1)2

Problema 4 Sea f (x) = x sin x, con −π ≤ x ≤ π.

a) Determine la serie de Fourier de esta función.

b) Pruebe la convergencia de la serie y concluya la igualdad

∞
X (−1)n 1
2 − 1)
=
n=1
(n 4

Problema 5 Encuentre la serie de cosenos para la función f definida por

 1
f (x) = 2 − x si 0 ≤ x < 1 .
x − 23 si 1 < x ≤ 2

11