SERIES DE FOURIER

Ángel Alvarado, Jeremy Martínez, David Yela

REPORTE TÉCNICO
N° ESPOL-FCNM-AL-2022-IS

DE LA FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

Agosto 2022
 1. INTRODUCCIÓN

Una de las ramas más esenciales de las matemáticas es el álgebra lineal, cuyo objetivo

principal es el estudio con ecuaciones lineales, matrices, vectores y espacios vectoriales.

Actualmente es muy utilizada para el desarrollo de software de reconocimiento facial,

algoritmos para escáneres médicos, entre otras aplicaciones. Desarrollada en la década de 1840

por el alemán Hermann Grossman y el irlandés William Rowan Hamilton junto con otros

matemáticos. (Nuñez & Sandoval)

Uno de los temas de estudio en el álgebra lineal son las Series trigonométricas de

Fourier, o simplemente series de Fourier, las cuales fueron desarrolladas por el matemático

francés Jean-Baptiste Joseph Fourier. El análisis de Fourier surgió a partir del intento de este

matemático francés por hallar la solución a un problema práctico, la conducción del calor en

un anillo de hierro. Demostró que se puede obtener una función discontinua a partir de la suma

de funciones continuas. Esta tesis fue defendida por Fourier ante la Academia Francesa, lo que

motivó severas objeciones de los matemáticos más importantes de su época como Lagrange,

Laplace, etc.

Las series de Fourier se basan en la descomposición de una señal periódica en términos

de señales periódicas básicas como lo son las funciones seno y coseno cuyas frecuencias son

múltiplos de la señal original. Con el fin de una mejor compresión se definen a continuación

algunos conceptos del proceso de descomposición en la fundamentación teórica.

 2. FUNDAMENTACIÓN TEÓRICA
𝜋 2𝜋 𝜋 2𝜋
Sea el conjunto {1, 𝑐𝑜𝑠 ( 𝑥), 𝑐𝑜𝑠 ( 𝑥), . . . , 𝑠𝑒𝑛 (𝑝 𝑥), 𝑠𝑒𝑛 ( 𝑝 𝑥), . .. ,}
𝑝 𝑝

ortogonal en [−𝑝, 𝑝]. Sea 𝑓 una función que admite un desarrollo en serie del conjunto anterior,

es decir:

𝑎0 ∞ 𝑘𝜋 𝑘𝜋
𝑓 (𝑥 ) = +∑ (𝑎𝑘 cos( 𝑥) + 𝑏𝑘 𝑠𝑒𝑛 ( 𝑥))
𝑥 𝑛=1 𝑝 𝑝

1 𝑝
𝑎𝑜 = ∫ 𝑓 (𝑥 )𝑑𝑥
𝑝 −𝑝

1 𝑝 𝑘𝜋
𝑎𝑘 = ∫ 𝑓(𝑥 )cos ( 𝑥) 𝑑𝑥; 𝑘 = 1,2, …
𝑝 −𝑝 𝑝

1 𝑝 𝑘𝜋
𝑏𝑘 = ∫ 𝑓 (𝑥 )sen ( 𝑥) 𝑑𝑥; 𝑘 = 1,2, …
𝑝 −𝑝 𝑝

𝑘𝜋 𝑘𝜋
La serie ∑∞
𝑛=1 (𝑎𝑘 cos( 𝑥) + 𝑏𝑘 𝑠𝑒𝑛 ( 𝑝 𝑥)) se llama serie de Fourier de f y los
𝑝

coeficientes 𝑎𝑘 𝑦 𝑏𝑘 son los coeficientes de Fourier. Cabe recalcar que en ciertos textos se

utiliza la relación p=2L y las ecuaciones de los coeficientes de Fourier cambia brevemente,

pero, la función es la misma.

2.1 Deducción de fórmulas

Sea f(x) una función integrable en el intervalo [p, -p], se define su serie de Fourier en

ese intervalo como:

𝑎0 ∞ 𝑘𝜋 𝑘𝜋
𝑓 (𝑥 ) = +∑ (𝑎𝑘 cos( 𝑥) + 𝑏𝑘 𝑠𝑒𝑛 ( 𝑥)) 𝑒𝑛 [−𝑝, 𝑝]
𝑥 𝑛=1 𝑝 𝑝

Para calcular el coeficiente se hará uso de técnicas de integración:

 𝑝 𝑝 𝑝 𝑝 ∞ ∞
𝑎0 𝑘𝜋 𝑘𝜋
∫ 𝑓 (𝑥 )𝑑𝑥 = ∫ 𝑑𝑥 + ∫ ∑ 𝑎𝑘 cos ( 𝑥) dx + ∫ ∑ 𝑏𝑛 sen ( 𝑥) dx
−𝑝 −𝑝 2 −𝑝 𝑝 −𝑝
𝑘=1
𝑝
𝑘=1

Como se supone que las series son convergentes podemos reescribir de la siguiente

manera:

𝑝 𝑝 𝑝 𝑝 ∞ ∞
𝑎0 𝑘𝜋 𝑘𝜋
∫ 𝑓 (𝑥 )𝑑𝑥 = ∫ 𝑑𝑥 + ∫ ∑ 𝑎𝑘 cos ( 𝑥) dx + ∫ ∑ 𝑏𝑛 sen ( 𝑥) dx
−𝑝 −𝑝 2 −𝑝 𝑝 −𝑝
𝑘=1
𝑝
𝑘=1

𝑝 ∞ ∞
𝑎0 𝑝 𝑝
𝑘𝜋 𝑝
𝑘𝜋
∫ 𝑓 (𝑥 )𝑑𝑥 = ∫ 𝑑𝑥 + ∑ 𝑎𝑘 ∫ cos ( 𝑥) dx + ∑ 𝑏𝑘 ∫ sen ( 𝑥) dx
−𝑝 2 −𝑝 −𝑝 𝑝 −𝑝 𝑝
𝑛=1 𝑘=1

1 1
∫ cos(𝑎𝑥 ) 𝑑𝑥 = 𝑠𝑒𝑛(𝑎𝑥 ) ∫ sen(𝑎𝑥 ) 𝑑𝑥 = 𝑐𝑜𝑠(𝑎𝑥)
𝑎 𝑎
𝑝 ∞ ∞
𝑎0 𝑝 𝑘𝜋 𝑝 𝑘𝜋
∫ 𝑓 (𝑥 )𝑑𝑥 = 𝑥|𝑝−𝑝 + ∑ 𝑎𝑘 ( 𝑠𝑒𝑛 ( 𝑥)) |𝑝−𝑝 + ∑ 𝑏𝑛 ( 𝑐𝑜𝑠 ( 𝑥)) |𝑝−𝑝
−𝑝 2 𝑘𝜋 𝑝 𝑘𝜋 𝑝
𝑘=1 𝑘=1

𝑝 ∞ ∞
𝑎0 𝑝 𝑝
∫ 𝑓(𝑥 )𝑑𝑥 = (𝑝 − (−𝑝) + ∑ 𝑎𝑘 (𝑠𝑒𝑛(𝑘𝜋) − 𝑠𝑒𝑛(−𝑘𝜋)) + ∑ 𝑏𝑘 (𝑐𝑜𝑠(𝑘𝜋) − 𝑐𝑜𝑠(−𝑘𝜋))
−𝑝 2 𝑘𝜋 𝑘𝜋
𝑘=1 𝑘=1

𝑝
𝑎0
∫ 𝑓(𝑥 )𝑑𝑥 = (2𝑝)
−𝑝 2

1 𝑝
𝑎𝑜 = ∫ 𝑓(𝑥 )𝑑𝑥
𝑝 −𝑝

Por consiguiente, para encontrar los siguientes coeficientes se procede a multiplicar la

𝑔𝜋 𝑔𝜋
ecuación 𝑐𝑜𝑠 ( 𝑥) y 𝑠𝑒𝑛 ( 𝑥) y así se encuentra ak y bk.
𝑝 𝑝

∞ ∞
𝑔𝜋 𝑎0 𝑔𝜋 𝑘𝜋 𝑔𝜋 𝑘𝜋 𝑔𝜋
𝑓(𝑥 )𝑐𝑜𝑠 ( 𝑥) = 𝑐𝑜𝑠 ( 𝑥) + ∑ 𝑎𝑘 𝑐𝑜𝑠 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥) + ∑ 𝑏𝑛 𝑠𝑒𝑛 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥)
𝑝 2 𝑝 𝑝 𝑝 𝑝 𝑝
𝑘=1 𝑘=1

𝑝 ∞ ∞
𝑔𝜋 𝑎0 𝑝 𝑔𝜋 𝑝
𝑘𝜋 𝑔𝜋 𝑝
𝑘𝜋 𝑔𝜋
∫ 𝑓(𝑥)𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 = ∫ 𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 + ∑ 𝑎𝑘 ∫ 𝑐𝑜𝑠 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 + ∑ 𝑏𝑘 ∫ 𝑠𝑒𝑛 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥)
−𝑝 𝑝 2 −𝑝 𝑝 −𝑝 𝑝 𝑝 −𝑝 𝑝 𝑝
𝑘=1 𝑘=1

Además, se tienen en cuenta tres consideraciones:

 𝑝
𝑘𝜋 𝑔𝜋
∫ 𝑠𝑒𝑛 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 = 0
−𝑝 𝑝 𝑝
𝑝
𝑔𝜋
∫ 𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 = 0
−𝑝 𝑝
𝑝
𝑘𝜋 𝑔𝜋
∫ 𝑐𝑜𝑠 ( 𝑥) 𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 = 0; 𝑘 ≠ 𝑔
−𝑝 𝑝 𝑝

Así solamente se tiene un caso, cuando k=g

𝑝 𝑝
𝑘𝜋 𝑘𝜋
∫ 𝑓 (𝑥 )𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 = 𝑎𝑘 ∫ cos 2 ( 𝑥) 𝑑𝑥
−𝑝 𝑝 −𝑝 𝑝
𝑝
𝑘𝜋
∫ cos 2 ( 𝑥) 𝑑𝑥 = 𝑝
−𝑝 𝑝

1 𝑝 𝑘𝜋
𝑎𝑘 = ∫ 𝑓 (𝑥 )𝑐𝑜𝑠 ( 𝑥) 𝑑𝑥 ; 𝑘 ∈ ℕ
𝑝 −𝑝 𝑝

Ahora, para el caso de bk, se utilizará la función seno.

∞ ∞
𝑔𝜋 𝑎0 𝑔𝜋 𝑘𝜋 𝑔𝜋 𝑘𝜋 𝑔𝜋
𝑓(𝑥 )𝑠𝑒𝑛 ( 𝑥) = 𝑠𝑒𝑛 ( 𝑥) + ∑ 𝑎𝑘 𝑐𝑜𝑠 ( 𝑥) 𝑠𝑒𝑛 ( 𝑥) + ∑ 𝑏𝑛 𝑠𝑒𝑛 ( 𝑥) 𝑠𝑒𝑛 ( 𝑥)
𝑝 2 𝑝 𝑝 𝑝 𝑝 𝑝
𝑘=1 𝑘=1

∞ ∞
𝑝
𝑔𝜋 𝑎0 𝑝 𝑔𝜋 𝑝
𝑘𝜋 𝑔𝜋 𝑝
𝑘𝜋 𝑔𝜋
∫ 𝑓(𝑥)𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 = ∫ 𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 + ∑ 𝑎𝑘 ∫ 𝑐𝑜𝑠 ( 𝑥) 𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 + ∑ 𝑏𝑘 ∫ 𝑠𝑒𝑛 ( 𝑥) 𝑠𝑒𝑛 ( 𝑥)
−𝑝 𝑝 2 −𝑝 𝑝 −𝑝 𝑝 𝑝 −𝑝 𝑝 𝑝
𝑘=1 𝑘=1

Se realizan las mismas asunciones que con el coeficiente ak, por lo que queda
𝑝 𝑝
𝑘𝜋 𝑘𝜋
∫ 𝑓 (𝑥 )𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 = 𝑏𝑘 ∫ sen2 ( 𝑥) 𝑑𝑥
−𝑝 𝑝 −𝑝 𝑝
𝑝
𝑘𝜋
∫ sen2 ( 𝑥) 𝑑𝑥 = 𝑝
−𝑝 𝑝

1 𝑝 𝑘𝜋
𝑏𝑘 = ∫ 𝑓(𝑥 )𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 ; 𝑘 ∈ ℕ
𝑝 −𝑝 𝑝
 2.2 Justificación mediante álgebra lineal

Si 𝐵 = {𝜑𝑛 }∞
𝑛=0 = {𝜑0 , 𝜑1 , 𝜑2 , … } un conjunto de funciones mutuamente ortogonales

en el intervalo [a, b]. Se supone cualquier función 𝑓 ∈ 𝐿2 [𝑎, 𝑏] puede ser expresada como

combinación lineal infinita de los elementos de B. A 𝑓 ∈ 𝐿2 [𝑎, 𝑏] le llamamos funciones

diferencialmente continuas de clase C2.

𝑓 = 𝑐0 𝜑0 + 𝑐1𝜑1 + ⋯ + 𝑐𝑚 𝜑𝑚 + ⋯ = ∑⟨𝑢𝑘 |𝑣𝑘 ⟩𝑣𝑘

𝑘=1

A esta última sumatoria obtenida le llamamos serie generalizada de Fourier, donde 𝑐𝑛

son los coeficientes de Fourier de f respecto a este conjunto ortogonal B.

𝑏 𝑏 ∞
∞ 2
⟨𝑓|𝜑𝑚 ⟩ = ∫ 𝑓 𝜑𝑚 𝑑𝑥 = ∫ (∑ 𝑐𝑛 𝜑𝑛 ) 𝜑𝑚 𝑑𝑥 = ∑ 𝑐𝑛 ⟨𝜑𝑛 |𝜑𝑚⟩ = 𝑐𝑚 ||𝜑𝑚||
𝑎 𝑎 𝑛=0
𝑛=0

〈𝑓, 𝜑𝑚 〉 〈𝑓, 𝜑𝑚 〉
𝑐𝑚 = = , 𝑑𝑜𝑛𝑑𝑒 𝑚 = 0, 1, 2, …
⟨𝜑𝑚|𝜑𝑚 ⟩ ||𝜑 ||2
𝑚

∞ ∞
⟨𝑓 |𝜑𝑛 ⟩
𝑓 = 𝑐0 𝜑0 + 𝑐1 𝜑1 + ⋯ + 𝑐𝑚𝜑𝑚 + ⋯ = ∑ 𝑐𝑛 𝜑𝑛 = ∑ 2 𝜑𝑛
𝑛=0 𝑛=0 ||𝜑𝑛 ||

𝑓 = 𝑐0 𝜑0 + 𝑐1𝜑1 + ⋯ + 𝑐𝑚 𝜑𝑚 + ⋯ = ∑⟨𝑢𝑘 |𝑣𝑘 ⟩𝑣𝑘

𝑘=1

A esta última sumatoria obtenida le llamamos serie generalizada de Fourier, donde

𝑐𝑛 son los coeficientes de Fourier de f respecto a este conjunto ortogonal B.

𝑏 𝑏 ∞
∞ 2
⟨𝑓|𝜑𝑚 ⟩ = ∫ 𝑓 𝜑𝑚 𝑑𝑥 = ∫ (∑ 𝑐𝑛 𝜑𝑛 ) 𝜑𝑚 𝑑𝑥 = ∑ 𝑐𝑛 ⟨𝜑𝑛 |𝜑𝑚⟩ = 𝑐𝑚 ||𝜑𝑚||
𝑎 𝑎 𝑛=0
𝑛=0

〈𝑓, 𝜑𝑚 〉 〈𝑓, 𝜑𝑚 〉
𝑐𝑚 = = , 𝑑𝑜𝑛𝑑𝑒 𝑚 = 0, 1, 2, …
⟨𝜑𝑚|𝜑𝑚 ⟩ ||𝜑 ||2
𝑚
 ∞ ∞
⟨𝑓 |𝜑𝑛 ⟩
𝑓 = 𝑐0 𝜑0 + 𝑐1 𝜑1 + ⋯ + 𝑐𝑚𝜑𝑚 + ⋯ = ∑ 𝑐𝑛 𝜑𝑛 = ∑ 2 𝜑𝑛
𝑛=0 𝑛=0 ||𝜑𝑛 ||

2.3 Serie de Fourier en función discontinua

Recordando que:

Si es posible calcular la serie de Fourier de una función discontinua, en algunos casos

se utiliza el teorema de Riemann-Lebesgue. Lebesgue demostró que una función f es integrable

en el sentido de Riemann en (𝑎, 𝑏) si y solo si el conjunto de puntos en los que es discontinua

tiene medida cero. El análisis de Fourier surgió a partir del intento de este matemático francés

por hallar la solución a un problema práctico, la conducción del calor en un anillo de hierro.

Demostró que se puede obtener una función discontinua a partir de la suma de funciones

continuas. Esta tesis fue defendida por Fourier ante la Academia Francesa, lo que motivó

severas objeciones de los matemáticos más importantes de su época como Lagrange, Laplace,

etc.
 2.4 Serie de Fourier en función no diferenciable

La definición de series de Fourier en el contexto de algebra lineal indica que estas series

están definidas únicamente para funciones de clase C2 (al menos dos veces diferenciable). En

general cuanto más diferenciable sea f más rápido decaen sus coeficientes de Fourier. Las series

de Fourier fueron desarrolladas en cuanto se estudiaba la ecuación del calor, que es una

importante ecuación diferencial en derivadas parciales del tipo parabólica que describe

la distribución del calor.

2.5 Serie de Fourier en funciones par e impar

Hay que recordar que al multiplicar dos funciones pares o impares el resultado es una

función par, y al multiplicar una función par con una par el resultado es una función impar.

Además, se definen las siguientes integrales:

𝑎 𝑎
∫ 𝑔(𝑥)𝑑𝑥 = 2 ∫ 𝑔(𝑥)𝑑𝑥 𝑠𝑖 𝑓(𝑥) 𝑒𝑠 𝑝𝑎𝑟
−𝑎 0

𝑎
∫ 𝑔(𝑥)𝑑𝑥 = 0 𝑠𝑖 𝑔(𝑥) 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
−𝑎

Con esto mencionado, podemos reducir los coeficientes de Fourier dependiendo del caso

 f(x) es función par

1 𝑝 2 𝑝
𝑎𝑜 = ∫ 𝑓 (𝑥 )𝑑𝑥 = ∫ 𝑓 (𝑥 )𝑑𝑥 𝑖𝑛𝑡𝑒𝑔𝑟𝑎𝑙 𝑑𝑒 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑎𝑟
𝑝 −𝑝 𝑝 0

1 𝑝 𝑘𝜋 2 𝑝 𝑘𝜋
𝑎𝑘 = ∫ 𝑓(𝑥)cos ( 𝑥) 𝑑𝑥 = ∫ 𝑓(𝑥)cos ( 𝑥) 𝑑𝑥 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟 𝑑𝑎 𝑝𝑎𝑟
𝑝 −𝑝 𝑝 𝑝 0 𝑝

1 𝑝 𝑘𝜋
𝑏𝑘 = ∫ 𝑓 (𝑥 )sen ( 𝑥) 𝑑𝑥 = 0 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟 𝑒 𝑖𝑚𝑝𝑎𝑟 𝑑𝑎 𝑖𝑚𝑝𝑎𝑟
𝑝 −𝑝 𝑝
 f(x) es función impar

1 𝑝
𝑎𝑜 = ∫ 𝑓 (𝑥 )𝑑𝑥 = 0 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟 𝑒 𝑖𝑚𝑝𝑎𝑟 𝑑𝑎 𝑖𝑚𝑝𝑎𝑟
𝑝 −𝑝

1 𝑝 𝑘𝜋
𝑎𝑘 = ∫ 𝑓(𝑥 )cos ( 𝑥) 𝑑𝑥 = 0 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟 𝑒 𝑖𝑚𝑝𝑎𝑟 𝑑𝑎 𝑖𝑚𝑝𝑎𝑟
𝑝 −𝑝 𝑝

2 𝑝 𝑘𝜋
𝑏𝑘 = ∫ 𝑓(𝑥 )sen ( 𝑥) 𝑑𝑥 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟 𝑑𝑎 𝑝𝑎𝑟
𝑝 0 𝑝

Figura 1. Serie de Fourier de la función f=2x, [-π, π].

3. Conclusiones

 La serie de Fourier de una función sirve para aproximar con exactitud una función, sin

embargo, esta aproximación depende del número de términos que se vayan a desarrollar

en las sumatorias, a menos números de términos no será tan buena aproximación, pero

con un número de términos considerables la aproximación se puede convertir en

exactamente a la función en la que se le hizo la respectiva expansión de Fourier.

 El utilizar Matlab como software gráfico para dibujar las series de Fourier, sirve para

poder obtener la gráfica a medida que se cambian la cantidad de experimentos o

dependiendo del tamaño de la muestra utilizada.

  El concepto de las Series de Fourier no solo nace desde un análisis integral, si no,

también pertenece al ámbito del algebra lineal, a través del concepto de producto

interno y así poder demostrar su validez de una manera más simplificada.

4. Recomendaciones

 Al utilizar el software de Matlab, es necesario tener ya calculados los coeficientes de

Fourier; y si la función es a tramos, especificar el rango para cada una de las funciones.

 Para no extender los cálculos, se debe analizar el tipo de función (pariedad) y los límites

de integración debido a que se puede encontrar una simplificación en los senos y

cosenos.

 Dentro del campo real, al no ser posible obtener una cantidad de datos infinitas, lo mejor

es encontrar un valor intermedio que permita una buena aproximación de la gráfica.

5. Referencias

Nuñez, J., & Sandoval, I. (s.f.). Escuela Politécnica Nacional. Obtenido de

https://bibdigital.epn.edu.ec/bitstream/15000/15071/1/ALGEBRA%20LINEAL%202015-

D.pdf

Kreyszig, E. Advanced Engineering Mathematics.

https://www.bau.edu.jo/UserPortal/UserProfile/PostsAttach/59003_3812_1.pdf

Duoandikoetxea, J. (2003). LECCIONES SOBRE LAS SERIES Y

TRANSFORMADAS DE FOURIER
https://www.ugr.es/~acanada/docencia/matematicas/analisisdefourier/Duoandikoetxeafourier.pdf