SERIES DE FOURIER

Ángel Avedaño, 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 , cos( x ) ,cos ( x ), . . . , sen( x), sen ( x ), . . . ,} ortogonal en
p p p p

[−p , p]. Sea f una función que admite un desarrollo en serie del conjunto anterior, es decir:

( )
a0 ∞ kπ kπ
f ( x )= + ∑ (a cos ⁡( x )+ bk sen x )
x n=1 k p p
p
1
a o= ∫ f ( x ) dx
p −p
p
ak=
1
∫
p −p ( )
f ( x ) cos
kπ
p
x dx ; k =1,2, …

p
1
b k = ∫ f ( x ) sen
p −p ( )
kπ
p
x dx ;k =1,2 , …

∑ (a k cos ⁡( kπp x )+bk sen ( kπp x ))

∞
La serie se llama serie de Fourier de f y los
n =1

coeficientes a k y b k 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:

( )
a0 ∞ kπ kπ
f ( x )= + ∑ (ak cos ⁡( x )+ bk sen x ) en [− p , p]
x n=1 p p

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

 p p p ∞ p ∞

( ) ( )
a0 kπ kπ
∫ f ( x ) dx=∫ 2
dx + ∫ ∑ ak cos
p
x dx + ∫ ∑ bn sen
p
x dx
−p −p − p k=1 − p k=1

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

manera:

p p p ∞ p ∞

( ) ( )
a0 kπ kπ
∫ f ( x ) dx=∫ 2
dx + ∫ ∑ ak cos
p
x dx + ∫ ∑ bn sen
p
x dx
−p −p − p k=1 − p k=1

p
a0 p p p

( ) ( )
∞ ∞

∫ f ( x ) dx= 2 ∫ dx + ∑ a k ∫ cos p x dx +∑ b k ∫ sen kπp x dx

kπ
−p −p n=1 −p k=1 −p

1 1
∫ cos ( ax ) dx= a sen ( ax )∫ sen ( ax ) dx= a cos (ax )
p

( ) ( )
a0 p ∞
p kπ
∞
p kπ
∫ f ( x ) dx= 2
x |− p + ∑ a k ( sen
kπ p
x )|− p+ ∑ bn ( cos
p
kπ p
p
x )|− p
−p k=1 k=1

p
a
∫ f ( x ) dx= 20 ¿ ¿
−p

p
a
∫ f ( x ) dx= 20 (2 p)
−p

p
1
a o= ∫ f ( x ) dx
p −p

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

ecuación cos ( gπp x) y sen( gπp x) y así se encuentra ak y bk.

( ) ( ) ( ) ( ) ( ) ( )
gπ a0 gπ
∞
kπ gπ
∞
kπ gπ
f ( x ) cos x = cos x + ∑ ak cos x cos x +∑ bn sen x cos x
p 2 p k =1 p p k=1 p p
p
a0 p p p

( ) ( ) ( ) ( ) ( ) ( )
∞ ∞

∫ f ( x ) cos p x dx = 2 ∫ cos p x dx +∑ a k ∫ cos p x cos p x dx+ ∑ bk ∫ sen kπp x cos gπp x

gπ gπ kπ gπ
−p −p k=1 −p k=1 −p

Además, se tienen en cuenta tres consideraciones:

 p

∫ sen ( kπp x ) c os ( gπp x ) dx=0

−p

∫ cos ( gπp x ) dx=0

−p

∫ cos ( kπp x ) c os ( gπp x ) dx=0 ; k ≠ g

−p

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

p p

( ) ( )
∫ f ( x ) cos kπp x dx=ak ∫ cos 2 kπp x dx
−p −p

∫ cos 2 ( kπp x ) dx= p

−p

p
1
a k = ∫ f ( x ) cos
p −p ( )
kπ
p
x dx ;k ∈ N

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

( ) ( ) ( ) ( ) ( ) ( )
gπ a0 gπ
∞
kπ gπ
∞
kπ gπ
f ( x ) sen x = sen x + ∑ a k cos x sen x +∑ bn sen x sen x
p 2 p k=1 p p k=1 p p
p
a0 p p p

( ) ( ) ( ) ( ) ( ) ( )
∞ ∞

∫ f ( x ) sen p x dx= 2 ∫ sen p x dx +∑ a k ∫ cos p x sen p x dx+∑ bk ∫ sen kπp x sen gπ

gπ gπ kπ gπ
p
x
−p −p k=1 −p k=1 −p

Se realizan las mismas asunciones que con el coeficiente ak, por lo que queda
p p

( ) ( )
∫ f ( x ) sen kπp x dx =bk ∫ sen2 kπp x dx
−p −p

∫ sen2 ( kπp x ) dx= p

−p

p
1
b k = ∫ f ( x ) sen
p −p ( )
kπ
p
x dx ; k ∈ N
2.2 Justificación mediante álgebra lineal

∞
Si B= { φn }n=0 ={ φ0 , φ1 , φ2 , … }un conjunto de funciones mutuamente ortogonales en el

intervalo [a, b]. Se supone cualquier función f ∈ L2 [ a , b ]puede ser expresada como

combinación lineal infinita de los elementos de B. A f ∈ L2 [ a , b ] le llamamos funciones

diferencialmente continuas de clase C2.

n
f =c 0 φ0 + c1 φ1 +…+ c m φm +…=∑ ⟨ uk|v k ⟩ v k
k=1

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

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

( )
b b ∞ ∞

⟨ f |φm ⟩ =∫ f φm dx=∫ ∑ c n φn φm dx=∑ cn ⟨ φn|φm ⟩ =c m||φm||

2

a a n=0 n=0

⟨ f , φ m ⟩ ⟨ f , φm ⟩
c m= = , donde m=0 ,1 , 2 , …
⟨ φ m|φm ⟩ ||φm||2
∞ ∞
⟨ f |φn ⟩
f =c 0 φ0 + c1 φ1 +…+ c m φm +…=∑ c n φn=∑ 2
φn
n=0 n=0 ||φ ||
n

n
f =c 0 φ0 + c1 φ1 +…+ c m φm +…=∑ ⟨ uk|v k ⟩ v k
k=1

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

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

( )
b b ∞ ∞

⟨ f |φm ⟩ =∫ f φm dx=∫ ∑ c n φn φm dx=∑ cn ⟨ φn|φm ⟩ =c m||φm||

2

a a n=0 n=0

⟨ f , φ m ⟩ ⟨ f , φm ⟩
c m= = , donde m=0 ,1 , 2 , …
⟨ φ m|φm ⟩ ||φm||2
 ∞ ∞
⟨ f |φn ⟩
f =c 0 φ0 + c1 φ1 +…+ c m φm +…=∑ c n φn=∑ 2
φn
n=0 n=0 ||φ ||
n

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 (a , b) 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:

a a

∫ g ( x ) dx =2∫ g ( x ) dx si f ( x ) es par
−a 0

∫ g ( x ) dx =0 si g ( x ) es impar
−a

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

 f(x) es función par

p p
1 2
a o= ∫ f ( x ) dx= ∫ f ( x ) dx integral de funci ó n par
p −p p0
p p
1
a k = ∫ f ( x ) cos
p −p ( )
kπ
p
2
x dx= ∫ f ( x ) cos
p0
kπ
p ( )
x dx producto entre par da par

p
1
b k = ∫ f ( x ) sen
p −p
kπ
p ( )
x dx=0 producto entre par e impar da impar
 f(x) es función impar
p
1
a o= ∫ f ( x ) dx=0 producto entre par e impar da impar
p −p
p
ak=
1
( )
∫ f ( x ) cos kπp x dx=0 producto entre par e impar da impar
p −p
p
2
( )
b k = ∫ f ( x ) sen
p 0
kπ
p
x dx producto entre par da par

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