N UNIVERSIDAD

PRIVADA DEL NORTE

CURSO: CÁLCULO 4

Tema: SERIE DE FOURIER

1. Serie de Fourier.
1.1. Introducción.
Las series de Fourier surgieron durante el siglo XVIII como una solución formal a la
ecuación de onda clásica. Más tarde, fueron utilizadas para describir los procesos fı́sicos en los
que los acontecimientos se repiten en un patrón regular. Por ejemplo, una nota musical por lo
general consiste de una simple nota, llamada fundamental, y una serie de vibraciones auxiliares,
llamados sobretonos. El Teorema de Fourier proporciona el lenguaje matemático que nos permite
describir con precisión esta compleja estructura.

1.2. Series de Fourier.

Una de las glorias supremas de las matemáticas del siglo XIX fue el descubrimiento de
que la serie infinita,

∞    
a0 X nπt nπt
f (t) = + an cos + bn sen (1)
2 L L
n=1

puede representar una función f (t) bajo ciertas condiciones generales. Estas series, llamadas
series de Fourier, convergen hacia la función f (t) en cada punto del intervalo [−L, L] con posible
excepción de puntos de discontinuidad y puntos extremos del intervalo. Debido a que cada
término tiene un perı́odo de 2L, la suma de la serie también tiene el mismo perı́odo. El término
fundamental de la función periódica f (t) es el término para n = 1, mientras que los armónicos
son el resto de los términos cuyas frecuencias son múltiplos enteros del término fundamental.

Ahora tenemos que encontrar algún método sencillo para calcular los coeficientes an y bn
para un función f (t) dada. Como un primer intento, podemos integrar (1) término a término
desde −L a L. En el lado derecho, todas las integrales multiplicadas por an y bn desaparecen
debido a que el promedio de cos (nπt/L) y sen (nπt/L) es cero. Por lo tanto, nos quedamos con,

Facultad de Ingeniería Departamento de Ciencias

1
 N UNIVERSIDAD
PRIVADA DEL NORTE

L
1
Z
a0 = f (t) dt (2)
L −L

En consecuencia a0 es dos veces el valor medio de f (t) sobre un perı́odo.

A continuación multiplicamos cada lado de (1) por cos (mπt/L), en donde m es un entero
prefijado.

Integrando de −L a L,

L
a0 L
   
mπt mπt
Z Z
f (t) cos dt = cos dt+
−L L 2 −L L
∞ Z L    
X nπt mπt
+ an cos cos dt+ (3)
−L L L
n=1
∞ L    
nπt mπt
X Z
+ bn sen cos dt
−L L L
n=1

Los términos a0 y bn desaparecen por integración directa. Finalmente todas las integrales an
desaparecen cuando n 6= m. Consecuentemente (3) se reduce a,

L  
1 nπt
Z
an = f (t) cos dt (4)
L −L L

RL
porque −L cos2 (nπt/L)dt = L. Ahora, multiplicando ambos lados de (1) por sen (mπt/L) (m
es nuevamente un entero prefijado), e integrando de −L a L,

L  
1 nπt
Z
bn = f (t) sen dt (5)
L −L L

Aunque (2), (4) y (5) nos dan a0 , an y bn , para funciones periódicas sobre el intervalo
[−L, L], en ciertas situaciones es conveniente considerar el intervalo [τ, τ + 2L], en donde τ es
cierto número real. En este caso, (1) todavı́a ofrece la serie de Fourier de f (t) y,

Facultad de Ingeniería Departamento de Ciencias

2
 N UNIVERSIDAD
PRIVADA DEL NORTE

1 τ +2L
Z
a0 = f (t)dt
L τ
1 τ +2L
 
nπt
Z
an = f (t) cos dt (6)
L τ L
1 τ +2L
 
nπt
Z
bn = f (t) sen dt
L τ L

Estos resultados se mantienen para una función f (t) periódica extendida desde el menos infinito
al más infinito. Por lo tanto, los resultados deben permanecer inalterados, al pasar del intervalo
[−L, L] al nuevo intervalo [τ, τ + 2L].

Ahora nos formulamos las siguientes interrogantes: ¿qué tipo de funciones tienen series de
Fourier?; si la función es discontinua en un punto ¿qué valor tendrá su serie de Fourier?. Estas
interrogantes fueron respondidas por Dirichlet en la primera mitad del siglo XIX. Sus resultados
pueden resumirse como sigue,

1.3. Teorema de Dirichlet.

Si para el intervalo [−L, L], la función f (t): a) tiene valor único, b) está acotada, c)
tiene a lo sumo un número finito de máximos y mı́nimos y d) tiene sólo un número finito de
discontinuidades (continua por partes) y si e) f (t + 2L) = f (t) para valores de t fuera de
[−L, L], entonces,

N    
a0 X nπt nπt
f (t) = + an cos + bn sen (7)
2 L L
n=1

converge a f (t) para N → ∞ en los valores de t para los que f (t) es continua, y a 12 [f (t+ ) + f (t− )]
en los puntos de discontinuidad.

Las cantidades t+ y t− denotan a los puntos infinitesimalmente situados a la derecha y a

la izquierda de t. Los coeficientes en (7) son calculados por (2), (4) y (5). Una función f (t) es
acotada si se cumple la desigualdad: |f (t)| ≤ M con cierta constante M para todos los valores
de t. Dado que las condiciones de Dirichlet a)-d) son muy débiles es muy raro que no existan
series de Fourier para funciones en el campo aplicativo ingenieril y cientı́fico.

Facultad de Ingeniería Departamento de Ciencias

3
 N UNIVERSIDAD
PRIVADA DEL NORTE

Figura 1: Un producto de la Revolución Francesa, (Jean Baptiste) Joseph Fourier (1768-1830) ocupó cargos
en el Imperio Napoleónico durante su temprana carrera. Después de la caı́da de Napoleón en el poder, Fourier
dedicó su talento exclusivamente a la ciencia. A pesar que ganó el premio del Instituto de Francia en 1811 por su
trabajo en difusión del calor, la crı́tica a su rigor matemático y generalización, le llevó a publicar el libro clásico
Théorie analytique de la chaleur en 1823. En este libro presentó al mundo la serie que lleva su nombre.

Ejemplo 1 Vamos a encontrar la serie de Fourier para la función:

(
0, −π < t ≤ 0
f (t) = (8)
t, 0≤t<π

Calculamos los coeficientes de Fourier an y bn usando (6) para L = π y τ = −π. Obtenemos

luego que,

π π
1 1 π
Z Z
a0 = f (t)dt = tdt = (9)
π −π π 0 2

π
1 t sen (nt) cos (nt) π
 
1
Z
an = t cos (nt)dt = + (10)
π 0 π n n2 0

cos (nπ) − 1 (−1)n − 1

= = (11)
n2 π n2 π

π
1 −t cos (nt) sen (nt) π
 
1
Z
bn = t sen (nt)dt = + = (12)
π 0 π n n2 0

Facultad de Ingeniería Departamento de Ciencias

4
 N UNIVERSIDAD
PRIVADA DEL NORTE

cos nπ (−1)n+1
=− = (13)
n n

para n = 1, 2, 3, . . .. En consecuencia, la serie de Fourier para la función f (t) es:

π X (−1)n − 1 (−1)n+1
∞
f (t) = + cos (nt) + sen (nt) = (14)
4 n2 π n
n=1

2 X cos [(2m − 1) t] X (−1)n

∞ ∞
π
= − − sen (nt) (15)
4 π
m=1
(2m − 1)2 n=1
n

Figura 2: Suma parcial de la serie de Fourier para la función (8).

Notamos que en los puntos t = ± (2n − 1) π, en donde n = 1, 2, 3, . . . la función salta de

cero a π. Entonces, ¿a qué valores converge la serie de Fourier en estos puntos?. De acuerdo
con el teorema de Dirichlet, la serie converge a la media de los valores de la función justo a la
derecha e izquierda del punto de discontinuidad, es decir, (π + 0) /2 = π/2.

Facultad de Ingeniería Departamento de Ciencias

5
 N UNIVERSIDAD
PRIVADA DEL NORTE

En los demás puntos la serie converge a f (t). Como muestra la figura 2, las correcciones suce-
sivas han sido hechas para el valor medio de la serie, π/2. Como cada harmónico es adicionado,
la serie de Fourier se ajusta mejor a la función en el sentido del mı́nimo cuadrado:

Z τ +2L
[f (x) − fN (x)]2 dx = minimum (16)
τ

en donde fN (x) es la serie de Fourier truncada de N términos.

Ejemplo 2 Calculemos la serie de Fourier para la función f (t) = |t|, la cual es definida sobre
el rango −π ≤ t ≤ π.

De la definición de los coeficientes de Fourier, tenemos:

Z 0 π 
1 π π
Z
a0 = −tdt + tdt = + =π (17)
π −π 0 2 2

Z 0 π 
1
Z
an = −t cos (nt)dt + t cos (nt)dt = (18)
π −π 0

nt sen (nt) + cos (nt) 0 nt sen (nt) + cos (nt) π

=− 2
|−π + |0 = (19)
n π n2 π

2
= 2
[(−1)n − 1] (20)
n π

Z 0 π 
1
Z
bn = −t sen (nt)dt + t sen (nt)dt = (21)
π −π 0

nt cos (nt) − sen (nt) 0 nt cos (nt) − sen (nt) π

= 2
|−π − |0 = 0 (22)
n π n2 π

para n = 1, 2, 3, . . ..

Facultad de Ingeniería Departamento de Ciencias

6
 N UNIVERSIDAD
PRIVADA DEL NORTE

Consecuentemente,

2 X [(−1)n − 1]
∞ ∞
π π 4 X cos [(2m − 1) t]
|t| = + cos (nt) = − (23)
2 π
n=1
n2 2 π
m=0
(2m − 1)2

para −π ≤ t ≤ π.

Ejemplo 3 Algunas veces la función f (t) es par o impar. ¿Podemos usar esta propiedad para
simplificar nuestro trabajo?. La respuesta es sı́.

Sea f (t) una función par. Entonces,

L L
1 2
Z Z
a0 = f (t)dt = f (t)dt (24)
L −L L 0

L
2 L
   
1 nπt nπt
Z Z
an = f (t) cos dt = f (t) cos dt (25)
L −L L L 0 L

mientras que,

L  
1 nπt
Z
bn = f (t) sen dt = 0 (26)
L −L L

RL RL RL
Aquı́ hemos utilizado las propiedades: −L fp (x)dx =2 0 fp (x)dx y −L fi (x)dx = 0.

Por lo tanto, si tenemos una función par, simplemente calcularemos a0 y an con (24) y (25) y
bn = 0. Dado que la correspondiente serie contiene sólo términos coseno, a menudo es llamada
serie coseno de Fourier.

De manera similar, si f (t) es impar, entonces

L  
2 nπt
Z
a0 = an = 0, y bn = f (t) sen dt (27)
L 0 L

Facultad de Ingeniería Departamento de Ciencias

7
 N UNIVERSIDAD
PRIVADA DEL NORTE

Consecuentemente, si tenemos una función impar, simplemente calculamos bn con (27) y a0 =

an = 0. Dado que la correspondiente serie contiene sólo términos senos, usualmente es llamada
serie senos de Fourier.

Ejemplo 4 En el caso que f (x) sea una función constante y/o trigonométrica, es más fácil
encontrar la correspondiente serie de Fourier por inspección antes de usar (6).

Por ejemplo, encontremos la serie de Fourier para la función f (x) = sen2 (x), definida sobre el
rango −π ≤ x ≤ π.

Comenzamos reescribiendo f (x) = sen2 (x) como f (x) = 12 [1 − cos (2x)]. Notamos que cual-
quier función definida sobre el rango −π ≤ x ≤ π tiene la serie de Fourier

∞
a0 X
f (x) = + an cos (nx) + bn sen (nx) = (28)
2
n=1

a0
= + a1 cos (x) + b1 sen (x) + a2 cos (2x) + b2 sen (2x) + . . . (29)
2

De otro lado,

1 1
f (x) = − cos (2x) (30)
2 2

1 1
= + 0 cos (x) + 0 sen (x) − cos (2x) + 0 sen (2x) + . . . (31)
2 2

Consecuentemente, por inspección, podemos inmediatamente escribir que

1
a0 = 1, a1 = b1 = 0, a2 = − , b2 = 0, an = bn = 0, n ≥ 3. (32)
2

De tal modo que en lugar de la expansión usual que envuelve a un número infinito de términos
seno y coseno, nuestra serie de Fourier contiene sólo dos términos y es simple:

1 1
f (x) = − cos (2x), −π ≤ x ≤ π (33)
2 2

Facultad de Ingeniería Departamento de Ciencias

8
 N UNIVERSIDAD
PRIVADA DEL NORTE

Ejemplo 5 (Silenciamiento de los neumáticos de nieve)

Una aplicación de las series de Fourier para un problema en la industria, ocurrió ha-
ce varios años, cuando los conductores descubrieron que los neumáticos de nieve producen un
silbido sobre pavimento seco. Los sonidos del neumático son producidos principalmente por la
interacción dinámica entre los elementos de rodadura con la superficie de la carretera. Como
cada elemento de rodadura pasa por la zona de contacto, esto aporta con un pulso de energı́a
acústica al campo acústico total emitido por el neumático.

Figura 3: Espaciamiento temporal (sobre dos periodos) y espectro de frecuencias de los pasos del neumático de
nieve uniformemente espaciados.

Para pasos regularmente espaciados suponemos que la liberación de la energı́a acústica

es como en la parte superior de la Figura 3. Si realizamos el análisis de Fourier para esta
distribución, tenemos que:
"Z #
−π/2+ǫ π/2+ǫ
1 4ǫ
Z
a0 = 1dt + 1dt = , (34)
π −π/2−ǫ π/2−ǫ π

Facultad de Ingeniería Departamento de Ciencias

9
 N UNIVERSIDAD
PRIVADA DEL NORTE

en donde ǫ es la mitad de la anchura del paso y

"Z #
−π/2+ǫ π/2+ǫ
1
Z
an = cos (nt)dt + cos (nt)dt = (35)
π −π/2−ǫ π/2−ǫ

1 h −π/2+ǫ π/2+ǫ
i
= sen (nt) |−π/2−ǫ + sen (nt) |π/2−ǫ = (36)
nπ

1 h  nπ   nπ 
= sen − + nǫ − sen − − nǫ +
nπ 2 2

 nπ   nπ 
+ sen + nǫ − sen − nǫ ] (37)
2 2

1 h  nπ   nπ i
= 2 cos − + 2 cos sen (nǫ) = (38)
nπ 2 2

4  nπ 
= cos sen (nǫ) (39)
nπ 2

Dado que f (x) es una función par, bn = 0

Ahora surge la pregunta sobre cómo ilustrar mejor los coeficientes de Fourier. Luego mostraremos
que cualquier harmónico puede ser representado como
p una simple onda An cos (nπt/L + φn ) o
An sen (nπt/L + ψn ), en donde la amplitud An = a2n + b2n

En el marco inferior de la Figura 3, se usó

pMatLab para graficar esta amplitud, usualmen-
te llamada amplitud o espectro de frecuencia 21 a2n + b2n como función de n para un ǫ = π/12
elegido arbitrariamente. Aunque el valor de ǫ afectará a la forma exacta del espectro, los argu-
mentos cualitativos que presentemos permanecerán sin cambios. Hemos añadido el factor 21 de
modo que nuestra definición del espectro de frecuencias sea consistente con la de una serie de
Fourier compleja. El espectro de amplitud en la figura 3 muestra que el espectro para pasos de
neumáticos periódicamente colocados tiene su amplitud más grande en pequeños n. Esto produce
un tono fuerte mas armónicas fuertes porque el fundamental y sus armónicos son los térmi-
nos dominantes en la representación de la serie de Fourier. Claramente este zumbito fuerte y
monótono es indeseable. ¿Cómo podemos evitarlo?. Ası́ como una marcha a paso de soldados
producen un sonido alto uniforme.

Facultad de Ingeniería Departamento de Ciencias

10
 N UNIVERSIDAD
PRIVADA DEL NORTE

Variemos ahora el intervalo entre las pisadas de modo que la distancia entre cualquier pisada
y su vecino más cercano no sea igual que el ilustrado en la Figura 4. Otra vez realizamos su
análisis Fourier y obtenemos lo siguiente:

Figura 4: Espacio temporal y espectro de frecuencias del sonido interespaciado nouniforme de la banda de
rodadura.

"Z #
−π/2+ǫ π/4+ǫ
1 4ǫ
Z
a0 = 1dt + 1dt = , (40)
π −π/2−ǫ π/4−ǫ π

"Z #
−π/2+ǫ π/4+ǫ
1
Z
an = cos (nt)dt + cos (nt)dt (41)
π −π/2−ǫ π/4−ǫ

1 −π/2+ǫ 1 π/4+ǫ
an = sen (nt) |−π/2−ǫ + sen (nt) |π/4−ǫ (42)
nπ nπ
1 h  nπ   nπ i
=− sen − nǫ − sen + nǫ +
nπ 2 2

Facultad de Ingeniería Departamento de Ciencias

11
 N UNIVERSIDAD
PRIVADA DEL NORTE

1 h  nπ   nπ i
+ sen + nǫ − sen − nǫ (43)
nπ 2 2
y

"Z #
−π/2+ǫ −π/4+ǫ
1
Z
bn = sen (nt)dt + sen (nt)dt = (44)
π −π/2−ǫ −π/4−ǫ

1 h  nπ   nπ i
=− cos − nǫ − cos + nǫ −
nπ 2 2

1 h  nπ   nπ i
− cos + nǫ − cos − nǫ (45)
nπ 2 2

2 h  nπ   nπ i
bn = sen − sen sen (nǫ) (46)
nπ 4 2

Se utilizó un script de MatLab para calcular la amplitud de cada armónico en función de ✭✭n✮✮ y los
resultados fueron trazados en la Figura 4. El punto importante es que nuestra nueva elección para
el espaciamiento de las bandas de rodadura ha reducido o eliminado algunos de los armónicos
en comparación con el caso de bandas de rodadura equidistantes. En cuanto al lado negativo
notamos algunos de los armónicos que anteriormente estaban ausentes. Sin embargo, el efecto
neto es ventajoso porque las bandas de rodadura producen menos ruido con mayor frecuencias
en lugar de un fuerte ruido con menor frecuencias.
Si extendiésemos esta técnica para bandas de rodadura ubicadas completamente al azar, se pro-
ducirı́a muy poco ruido a altas frecuencias y el ruido total serı́a comparable a la que se genera
por otras fuentes dentro del coche. Para encontrar la distribución de las bandas de rodadura
con el ruido más blanco, se utiliza el proceso de ensayo y error. Asumiendo una distribución,
podemos realizar un análisis de Fourier para obtener el espectro de frecuencias. Si en el espectro
hay picos, podemos ajustar los elementos de la distribución de la banda de rodadura influyentes
y analizar la distribución obtenida. Estará listo cuando no aparecen los picos.

2. Propiedades de las series de Fourier.

En la sección anterior se presentó la serie de Fourier y mostró la forma de calcularla dada la
función f (t). En esta sección vamos a examinar algunas propiedades particulares de estas series:

Facultad de Ingeniería Departamento de Ciencias

12
 N UNIVERSIDAD
PRIVADA DEL NORTE

2.1. Diferenciación de las series de Fourier.

En ciertos casos sólo tenemos la representación en serie de Fourier de una función f (t). ¿Po-
demos encontrar la derivada o la integral de f (t) simplemente diferenciando o integrando su
serie de Fourier término a término?. ¿Es esto válido?. Consideremos primeramente el caso de
diferenciación.

Considerar la function f (t) de periodo 2L con derivada f ′ (t). Supongamos que podemos extender
f ′ (t) como una serie de Fourier. Esto implica que f ′ (t) es continua excepto en un número finito
de puntos y f (t) es continua sobre el intervalo que empieza en t = τ y finaliza en t = τ + 2L.
Entonces

∞    
a′ X nπt nπt
f (t) = 0 +
′
a′n cos + b′n sen , (47)
2 L L
n=1

en donde se han denotado los coeficientes de Fourier de f ′ (t) con apóstrofos. Calculamos los
coeficientes de Fourier,

τ +2L
1 1
Z
a′0 = f ′ (t) dt = [f (τ + 2L) − f (τ )] = 0, (48)
L τ L

si f (τ + 2L) = f (τ ). Similarmente, por integración por partes,

τ +2L  
1 nπt
Z
a′n = ′
f (t) cos dt (49)
L τ L

nπ τ +2L
    
1 nπt nπt
Z
τ +2L
= f (t) cos |τ + 2 f (t) sen dt (50)
L L L τ L

nπbn
= (51)
L
y

τ +2L  
1 nπt
Z
b′n = ′
f (t) sen dt (52)
L τ L

Facultad de Ingeniería Departamento de Ciencias

13
 N UNIVERSIDAD
PRIVADA DEL NORTE

nπ τ +2L
    
1 nπt nπt
Z
τ +2L
= f (t) sen |τ − 2 f (t) cos dt (53)
L L L τ L

nπan
= . (54)
L

Consecuentemente, si tenemos la función f (t) cuya derivada f ′ (t) es continua excepto en un

número finito de puntos y f (τ ) = f (τ + 2L), entonces

∞     
′
X nπ nπt nπt
f (t) = bn cos − an sen . (55)
L L L
n=1

Es decir, la derivada de f (t) está dada por una diferenciación término a término de la serie de
Fourier de f (t).

Ejemplo 6 La serie de Fourier para la función periódica:



 0 −π ≤ t ≤ 0,

f (t) = t 0 ≤ t ≤ π/2, f (t) = f (t + 2π) (56)


π−t π/2 ≤ t ≤ π,


es

1 X cos [2 (2n − 1) t] 2 X (−1)n

∞ ∞
π
f (t) = − − sen [(2n − 1) t] . (57)
8 π
n=1
(2n − 1)2 π
n=1
(2n − 1)2

Dado que f (t) es continua en el intervalo completo (−π, π) y f (−π) = f (π) = 0, podemos
encontrar f ′ (t) tomando la derivada de (57) término a término:

2 X sen [2 (2n − 1) t] 2 X (−1)n

∞ ∞
f ′ (t) = − cos [(2n − 1) t] . (58)
π 2n − 1 π 2n − 1
n=1 n=1

Esta es la misma serie de Fourier que se obtendrı́a mediante el cálculo de la serie de Fourier
para:

Facultad de Ingeniería Departamento de Ciencias

14
 N UNIVERSIDAD
PRIVADA DEL NORTE



 0 −π ≤ t ≤ 0,

f ′ (t) = 1 0 ≤ t ≤ π/2, f (t) = f (t + 2π) (59)


−1 π/2 ≤ t ≤ π,


2.2. Integración de las series de Fourier.

Para determinar si podemos encontrar la integral de f (t) por integración término a término de
su serie de Fourier, se considera la forma de la antiderivada de f (t):

Z th
a0 i
F (t) = f (τ ) − dτ (60)
0 2

Ahora

Z th t+2L h
a0 i a0 i
Z
F (t + 2L) = f (τ ) − dτ + f (τ ) − dτ (61)
0 2 t 2

L
a0 i
Z h
= F (t) + f (τ ) − dτ (62)
−L 2

Z L
= F (t) + f (τ ) dτ − La0 = F (t) , (63)
−L

de modo que F (t) tiene un periodo de 2L. Por consiguiente, podemos expander F (t) como la
serie de Fourier:

∞    
A0 X nπt nπt
F (t) = + An cos + Bn sen . (64)
2 L L
n=1

Para An ,
L  
1 nπt
Z
An = F (t) cos dt (65)
L −L L

Facultad de Ingeniería Departamento de Ciencias

15
 N UNIVERSIDAD
PRIVADA DEL NORTE

  Z Lh  
1 sen (nπt/L) L 1 a0 i nπt
= F (t) |−L − f (t) − sen dt (66)
L nπ/L nπ −L 2 L

bn
=− . (67)
nπ/L

Similarmente,
an
Bn = . (68)
nπ/L

Por lo tanto,
t ∞
a0 t A0 X an sen (nπt/L) − bn cos (nπt/L)
Z
f (τ ) dτ = + + (69)
0 2 2 nπ/L
n=1

Esto es idéntico a una integración término a término de la serie de Fourier de f (t). Por lo
tanto, siempre podemos encontrar la integral de f (t) por una integración término a término de
su serie de Fourier.

Ejemplo 7 La serie de Fourier para f (t) = t para −π < t < π es:

(−1)n
∞
X
f (t) = −2 sen (nt) . (70)
n
n=1

Para encontrar la serie de Fourier de f (t) = t2 , integramos (70) término a término y encontra-
mos que,

τ2 t X (−1)n
∞
|0 = 2 cos (nt) . (71)
2 n2
n=1

Facultad de Ingeniería Departamento de Ciencias

16
 N UNIVERSIDAD
PRIVADA DEL NORTE

3. Expansiones en rango medio.

En ciertas aplicaciones, encontraremos que necesitamos una representación en serie de Fourier
para una función f (x) aplicada sobre el intervalo (0, L) antes que sobre (−L, L). Debido a que
podemos definir libremente la función en el intervalo (−L, 0), lo más sencillo es tener una serie
que consta sólo de senos o cosenos. En esta sección vamos a mostrar cómo podemos obtener las
llamadas expansiones de rango medio.

Recordemos cómo en el Ejemplo 3 vimos que si f (x) es una función par, entonces bn = 0 para
todo n. Similarmente, si f (x) es una función impar, entonces a0 = an = 0 para todo n. Nosotros
usaremos estos resultados para encontrar la expansión de Fourier en rango medio mediante la
extensión de la función definida en el intervalo (0, L) ya sea como una función par o impar
en el intervalo de (−L, 0). Si extendemos f (x) como una función par, tendremos una serie de
cosenos en rango medio; y si extendemos f (x) como una función impar, obtendremos una serie
de senos en rango medio.

Es importante recordar que la expansión en rango medio es un caso especial de la serie general
de Fourier. Para una función f (x) se puede construir ya sea una serie seno de Fourier o una
serie coseno de Fourier sobre el intervalo (−L, L). Ambas series dan un resultado correcto sobre
el intervalo (0, L). ¿Cuál elegir?, depende de si queremos trabajar con una serie de Fourier de
senos o de cosenos.

Ejemplo 8 Vamos a encontrar la expansión sinusoidal de rango medio de

f (x) = 1, 0<x<π (72)

Empezamos por la definición de la función impar periódica

(
−1 −π < x < 0
f˜ (x) (73)
1 0<x<π

con f˜ (x + 2π) = f˜ (x). Dado que f˜ (x) es impar, a0 = an = 0 y

π
2 2
Z
bn = 1 sen (nx) dx = − cos (nx) |π0 (74)
π 0 nπ

2 2
=− [cos (nπ) − 1] = − [(−1)n − 1] . (75)
nπ nπ

Facultad de Ingeniería Departamento de Ciencias

17
 N UNIVERSIDAD
PRIVADA DEL NORTE

La expansión en rango medio de la serie seno de Fourier para f (x) es entonces:

2 X [1 − (−1)n ]
∞ ∞
4 X sen [(2m − 1) x]
f (x) = sen (nx) = (76)
π n π 2m − 1
n=1 m=1

En contraposición calculemos la expansión en rango medio de la serie coseno de Fourier para

f (x) = 1, 0 < x < π. Ahora, tenemos que bn = 0,

π
2
Z
a0 = 1dx = 2, (77)
π 0
y
π
2 2
Z
an = cos (nx) dx = sen (nx) |π0 = 0, (78)
π 0 nπ

Por lo tanto la expansión en rango medio de la serie coseno de Fourier es igual al único término:

f (x) = 1, 0<x<π (79)

Esto es perfectamente razonable. Para formar una expansión coseno en rango medio, extendemos
f (x) como una función par en el intervalo (−π, 0). En este caso, obtendrı́amos f˜ (x) = 1
para −π < x < π. Por último, tomamos nota de que la serie de Fourier de una constante es
simplemente la constante. En la práctica es imposible calcular (76) en forma exacta y se suman
sólamente los primeros N términos.

Facultad de Ingeniería Departamento de Ciencias

18
 N UNIVERSIDAD
PRIVADA DEL NORTE

Índice
1. Serie de Fourier. 1
1.1. Introducción. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Teorema de Dirichlet. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2. Propiedades de las series de Fourier. 12

2.1. Diferenciación de las series de Fourier. . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Integración de las series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . 15

3. Expansiones en rango medio. 17

Facultad de Ingeniería Departamento de Ciencias

19