Unidad # 5 Series de Fourier

Introducción.
En 1807, el matemático Joseph Fourier (1768 – 1830) envió un artículo a la
academia de ciencias de París; donde mostraba una descripción matemática de
problemas relacionados con la conducción del calor.
Dicho artículo fue rechazado debido a la falta de rigor matemático. Sin
embargo, los trabajos de Fourier fue el saber que muchas funciones conocidas
podían desarrollarse en series infinitas e integrales que contienen funciones
trigonométricas.
Esta idea es importante al modelar muchos fenómenos de la física e
ingeniería, así como áreas que no se conocían en su época, como la
computación y la tomografía asistida por computadora, por lo cual:
En una gran variedad de problemas es necesario desarrollar o expresar una
cierta función periódica, en términos de senos y cósenos. Por ejemplo,
supongamos que cierta función (f) es integrable en [− π , π ] , deseamos abrigar la
posibilidad de elegir constantes:
a0 , a1 , a2 , . . . , b1 , b2 , . . . de modo que. A tales desarrollos se les llama
series de Fourier cuando tiene la forma siguiente:
∞
a0 + ∑ [ an cos(nx) + bn sen(nx) ]
f ( x) =
n =1
A tales desarrollos se les llama series de Fourier, donde esta igualdad se le
puede obtener, bajo ciertas condiciones generales, excepto posiblemente en un
numero finto de puntos de [− π , π ]
Este tipo de desarrollo aparece frecuentemente en problemas de conducción de
calor, ondas electromagnéticas, vibraciones mecánicas etc. Y su ventaja radica
en que puede representar funciones continuas por pedazos y para poder tener
explícitamente el desarrollo de la expresión anterior, es necesario evaluar los
an & bn y para lograrlo debemos utilizar las siguientes propiedades de senos y
cósenos:
Empezaremos con un argumento informal que nos sugiere la manera de elegir
los an & bn , donde la clave esta en los siguientes resultados expresados como
lemas:
Lema 1
a) Si n y m son números enteros no negativos distintos, entonces:
π π

∫ cos(mx) cos(nx)dx
=
−π −
∫=
π
s en(mx)s en(nx)dx 0

b) Para cualquier par de enteros m y n

1
π

−
∫π cos(mx) cos(nx)dx = 0
π π

También ∫=
cos(mx)dx ∫= s en(mx)dx 0 para m = 0, 1, 2, . . .
−π −π
Estas formulas de integración se les llama relaciones de ortogonalidad y
decimos que las funciones cos (nx) para n = 0, 1, 2, . . . y sen (nx) ) para
n = 1, 2, . . . son ortogonales en [ - π , π ] por lo cual el lema afirma que la
integral desde - π hasta π del producto de cualquier par de estas funciones es
cero.
Lema 2
Para cualquier entero positivo (n)
π π

∫= ∫ (nx)dx π
2 2
cos (nx)dx =s en
−π −π
La forma de expresar a (f) como una serie de senos y cósenos junto con un
termino constante en el intervalo – π ≤ x ≤ π es integrando
∞
a0 + ∑ [ an cos(nx) + bn sen(nx)] ∗
f ( x) =
n =1
Esto es:
π π ∞  π π

∫ f ( x)dx =a0 ∫ dx + ∑  an ∫ cos(nx)dx + bn ∫ sen(nx)dx 
−π −π n =1  −π −π 
= 2π a0
π
1
∴ a0 =∫ f ( x)dx
2π −π
Si multiplicamos (*) por cos(kx) donde (k) es cualquier entero positivo,
determinaremos los (ak), entonces:
∞
a0 cos(kx) + ∑ [ an cos(nx) cos(kx) + bn sen(nx) cos(kx)]
f ( x) cos(kx) =
n =1
Integrando ambos miembros en el intervalo [- π, π] e intercambiando la
integral y la suma obtenemos:

2
 π π
 π ∞ π

∫ a0 ∫ cos(kx)dx + ∑  an ∫ cos(nx) cos(kx)dx + bn ∫ sen(nx) cos(kx)dx 
f ( x) cos(kx)dx =
−π −π n =1  −π −π 
que por el lema (1) todas las integrales del lado derecho valen cero excepto la
que contiene a cos(nx)cos(kx) cuando n = k, por lo cual tenemos que:
π π

∫ f ( x) cos(kx)dx a=
=
−π
k ∫ cos( kx ) cos( kx ) dx ak π
−π
Y por el lema (2), lo anterior toma la forma:
π
1
ak =
π −
∫π f ( x) cos( kx) dx ; para k = 1, 2, 3, . . .

Utilizando la misma idea para encontrar los bk se multiplica (*) por sen(kx),
aprovechando las relaciones de ortogonalidad, para obtener:
π
1
bk =
π −
∫π f ( x) s en(kx)dx ; para k = 1, 2, 3, . . .

La deducción de las constantes en (*) tiene el problema del intercambio de la

∞ π
suma ∑ k =1
y la integral ∫. . . dx donde este paso no se justifica sin cierta
−π

hipótesis sobre (f). Sin embargo, el argumento sirve como una motivación en
la definición de los coeficientes de Fourier y la serie de Fourier que a
continuación enunciamos:
Definición: Serie y Coeficientes de Fourier en [- π, π]
Sea (f) una función integrable en [- π , π ]
1 Los coeficientes de Fourier de (f) en [- π , π ] son los números:
π
1
a0 =
2π −
∫π f ( x)dx
π
1
an =
π −
∫π f ( x) cos(nx)dx ; para n = 1, 2, 3, . .

&
π
1
. bn =
π −
∫π f ( x) s en(nx)dx ; para n = 1, 2, 3, . . .

2 la serie de Fourier de (f) en [- π, π] es la serie

∞
a0 + ∑ [ an cos(nx) + bn sen(nx) ]
n =1

3
En donde los coeficientes son los coeficientes de Fourier de (f) en [- π , π ]
Ejemplo:
Escriba la serie de Fourier de f(x) = - x en [- π, π]
Calculamos:
π
1
π
1 1 2 π
a0 =
2π ∫
−π
f ( x=
)dx
2π ∫−π ( − x ) dx =
− x  =
4π   −π
0
π π
1 1
an =
π −
∫π f ( x) cos(kx)=
dx
π −
∫π (− x) cos(nx)dx
π
 1 x 
−  2 cos(nx) + s en(nx)  =
= 0
n π nπ  −π
π π
1 1
bn =
π ∫π f ( x) s en(nx)=
−
dx
π ∫π (− x) s en(nx)dx
−
π
 1 x 
−  2 s en(nx) −
= cos(nx) 
n π nπ  −π
1 1 2 2
= cos(nπ ) + cos(−nπ ) = cos(nπ ) = (−1) n +1
n n n n
Dado que cos (nπ) = (- 1 )n para valores de n = 1, 2, 3, . . .
entonces la serie de Fourier de (- x ) en [- π , π ] al sustituir en
∞
a0 + ∑ [ an cos(nx) + bn sen(nx) ] toma la forma:
n =1
∞
2
∑ n (−1)
n =1
n +1
sen( nx )
Como vemos para poder desarrollar una función continua a pedazos en serie
de Fourier solo es necesario evaluar las integrales en los an & bn
La tarea de calcular estas integrales puede simplificarse utilizando el concepto
de simetría de las funciones involucradas, para lo cual recordaremos las
nociones de función par e impar que se ilustran en la siguiente figura:
Una función (f), definida en un intervalo cerrado en el origen, se llama par si:
f(x) = f(- x ) para toda x en el domineo de (f)

4
Donde para toda x en el domineo de (f), si la función es impar debe satisfacer
la igualdad de: f(- x ) = - f(x)
La importancia de las funciones pares e impares radica en las igualdades
siguientes:

a a

Si f es par entonces ∫ f ( x)dx = 2∫ f ( x)dx

−a 0

Si f es impar entonces ∫
−a
f ( x ) dx = 0

Esto se sigue inmediatamente de la definición, y resultan evidentes a partir de

la interpretación geométrica de la integral definida como área
Es igualmente sencillo ver que la multiplicación de funciones pares e impares
obedece las siguientes reglas:
(par) (par) = par

5
(impar) (par) = impar
(par) (impar) = impar
(impar) (impar) = par
Así como:
a

∫
−a
f ( x) g ( x)dx = 0

Siempre que f & g tengan paridad opuesta.

Algunos ejemplos de funciones pares e impares son:
1 las funciones 1, cos(x), cos(nπx/L), x2, x4, |x|, son pares en [- a, a]
2 las funciones sen(x), sen(nπx/L), x, x3 son impares en [- a, a]
3 La mayoría de las funciones no so pares ni impares, por ejemplo ex y x2 - x
no tiene propiedades de simetría
Podemos extender esta discusión a funciones definidas en un intervalo [- L, L]
simplemente cambiando la escala; donde el cambio de variable t = πx/L
convierte el intervalo [- L, L] en [- π, π].
Si se aplica este cambio de escala a la definición de la serie de Fourier y de los
coeficientes, se obtiene lo siguiente que se enuncia como:
Definición Serie y Coeficientes de Fourier en [- L, L]
Sea (f) una función integrable en [- L, L]
1 Los coeficientes de Fourier de (f) en [- L, L] son:
L
1
2 L −∫L
a0 = f ( x)dx
L
1 nπ x
an = ∫ f ( x) cos( )dx
L −L L
&
L
1 nπ x
bn = ∫ f ( x) s en( )dx
L −L L
Para n = 1, 2, 3, . . .
2 La serie de Fourier de (f) en [- L, L] es:
∞
 nπ x nπ x 
a0 + ∑  an cos( ) + bn sen( )
n =1  L L 
En donde los números a0, a1, . . . , b1, . . . son los coeficientes de Fourier
de f en [- L, L].
Lema 3
Sea f integrable en [- L, L]

6
 L L

1. Si f es par en [- L, L], entonces ∫ f ( x)dx = 2∫ f ( x)dx

−L 0
L

2. Si f es impar en [- L, L], entonces ∫

−L
f ( x)dx = 0

Este lema hace más fácil el cálculo de los coeficientes de Fourier de f cuando f
es par o impar. Si f es par en [- L, L], f(x) = sen(nπx/L) es impar para
cualquier entero positivo n; por lo tanto, todas las bn son cero por la
conclusión del lema anterior y podemos escribir una formula un poco mas
simple para los an usando la conclusión (1) del lema 3. Si f es impar,
f(x)cos(nπx/L) es impar y cada an vale cero, por lo cual el siguiente teorema da
los detalles específicos:
Teorema
Sea f una función integrable en [- L, L]
1. Si f es par, la serie de Fourier de f en [- L, L] es
 ∞
nπ x 
a0 + ∑  an cos( )
n =1  L 
en donde
L
1 L
a0 = ∫ f ( x)dx 2
& an = ∫ f ( x ) cos(
nπ x
)dx
L0 L0 L
2. Si f es impar, su serie de Fourier de f en [- L, L] es
∞
 nπ x 
∑
n =1
b
 n s en (
L
)

en donde
L
2 nπ x
bn = ∫ f ( x) s en( )dx
L0 L
Las siguientes figuras muestran las afirmaciones del lema 3.

7
Encuentre la serie de Fourier de f en el intervalo indicado, tenga presente al
integrar la función si es par o impar al integrarla para simplificar los cálculos:
a) f(x) = 4 para – 3 ≤ x ≤ 3
b) f(x) = sen (2x) para – π ≤ x ≤ π
c) f(x) = x2 para – 3 ≤ x ≤ 3