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 2022p
 Actividades

 Demuestre que, en un espacio Vectorial V con producto interno, todo conjunto ortogonal

de vectores no nulos es siempre linealmente independiente.

Sea 𝑉 un espacio vectorial definido sobre un campo k con producto interno, sí 𝑆 =

{𝑉1 , 𝑉2 , … … 𝑉𝑛 } es un conjunto ortogonal compuesto por vectores no nulos, entonces S

es un conjunto linealmente independiente.

Para que sea un conjunto linealmente independiente se cumple la siguiente combinación

lineal:

∝1 𝑉1 +∝2 𝑉2 + ⋯ . +∝𝑛 𝑉𝑛 = 0𝑉

Luego:

<∝1 𝑉1 +∝2 𝑉2 + ⋯ . +∝𝑛 𝑉𝑛 , 𝑉1 > = < 0𝑉 , 𝑉1 >

Teniendo en cuenta que un conjunto de vectores es ortogonal si y solo si:

‖𝑣 ‖2 , 𝑠𝑖 𝑖 = 𝑗
< 𝑣𝑖 , 𝑣𝑗 >= { 𝑖
0, 𝑠𝑖 𝑖 ≠ 𝑗

<∝1 𝑉1 , 𝑉1 > +<∝2 𝑉2 , 𝑉1 > + ⋯ . +<∝𝑛 𝑉𝑛 , 𝑉1 > = < 0𝑉 , 𝑉1 >

<∝1 𝑉1, 𝑉1 >= 0

∝1 < 𝑉1, 𝑉1 >= 0

Recordar que ∝1 < 𝑉1 , 𝑉1 >= 0 solo sí 𝑉1 es el 0𝑉 , pero como es no nulo, solo hasta

que ∝1 = 0 y lo mismo con los demás vectores, cumpliéndose que:

<∝1 𝑉1 +∝2 𝑉2 + ⋯ . +∝𝑛 𝑉𝑛 , 𝑉1 > = < 0𝑉 , 𝑉1 > sí y solo si ∝1 =∝2 = ⋯ =∝𝑛 = 0

  Demuestre que los vectores del conjunto indicado en Introducción es un conjunto

ortogonal, si sus funciones se restringen al dominio en el intervalo. Es decir, utilice estos

límites del intervalo en la integral. Dom=[−𝜋, 𝜋]

𝐹 = {1, 𝑐𝑜𝑠(𝑥), 𝑐𝑜𝑠(2𝑥), 𝑐𝑜𝑠(3𝑥), . . . . , 𝑐𝑜𝑠(𝑛𝑥) . . . 𝑠𝑒𝑛(𝑥), 𝑠𝑒𝑛(2𝑥), 𝑠𝑒𝑛(3𝑥), . . . , 𝑠𝑒𝑛(𝑚𝑥)}

Basándonos en la definición:

𝜋
sin(𝑛𝑥)𝜋 2sin(𝜋𝑥)
< 1, cos(𝑛𝑥 ) > = ∫ cos(𝑛𝑥 ) 𝑑𝑥 = = = 0 𝑑𝑜𝑛𝑑𝑒 𝑛 = 1,2, ….
−𝜋 𝑛 −𝜋 𝑛

𝜋
−cos(𝑛𝑥)𝜋
< 1, sin(𝑛𝑥 ) > = ∫ sin(𝑛𝑥 ) 𝑑𝑥 = = 0 𝑑𝑜𝑛𝑑𝑒 𝑛 = 1,2, ….
−𝜋 𝑛 −𝜋

Ya que la función 𝑓 (𝑥 ) = sin(𝑛𝑥 ) cos(𝑛𝑥 )es impar aplicando propiedades de integrales

definidas se obtiene:

𝜋
< cos(𝑛𝑥), sin(𝑛𝑥 ) > = ∫−𝜋 sin(𝑛𝑥 ) cos(𝑛𝑥 ) 𝑑𝑥 = 0 𝑑𝑜𝑛𝑑𝑒 𝑛 = 1,2, ….
  Calcule la norma de cada uno de los vectores del conjunto.

Para el vector 1 :

𝜋
‖1‖ = √< 1|1 > = √∫−𝜋 𝑑𝑥 = 𝑥|𝜋−𝜋 = 𝜋 − (−𝜋) = 2𝜋

Para los vectores de la forma cos(𝛼𝑥):

𝜋 1 𝜋 1+cos(2𝑥)
‖cos(𝛼𝑥)‖ = √< cos(𝛼𝑥) | cos(𝛼𝑥) > = √∫−𝜋 𝑐𝑜𝑠 2(𝛼𝑥) 𝑑𝑥 = √ ∫−𝜋 𝑑𝑥 =
𝑎 2

1 2𝑎𝑥+sin(2𝑎𝑥) 𝜋 2𝜋𝑎+sin(2𝜋𝑎)
√ (∫ 𝑑𝑥 + ∫ cos(2𝑥 ) 𝑑𝑥 ) = √ |−𝜋 =√
2𝑎 4𝑎 2𝑎

Como a es un numero natural, todo seno del multiplo de 𝜋 es 0 quedando finalmente:

‖cos(𝛼𝑥)‖ = √𝜋

Para los vectores de la forma sin(𝑎𝑥):

𝜋 1 𝜋 1−cos(2𝑥)
‖sin(𝛼𝑥)‖ = √< sin(𝛼𝑥) | sin(𝛼𝑥) > = √∫−𝜋 𝑠𝑖𝑛2 (𝛼𝑥) 𝑑𝑥 = √ ∫−𝜋 𝑑𝑥 =
𝑎 2

1 2𝑎𝑥−sin(2𝑎𝑥) 𝜋 2𝜋𝑎−sin(2𝜋𝑎)
√2𝑎 (∫ 𝑑𝑥 − ∫ cos(2𝑥 ) 𝑑𝑥 ) = √ |−𝜋 =√
4𝑎 2𝑎
Como a es un numero natural, todo seno del multiplo de 𝜋 es 0 quedando finalmente:

‖sin(𝛼𝑥)‖ = √𝜋

 ¿Se puede ortonormalizar al conjunto? Justifique su respuesta.

Sí, ya que con base a la teoría espectral cualquier conjunto ortogonal, siendo los vectores no

nulos puede ortonormalizarse usando distintos procesos de ortonormalización como el de

proyecciones o el más conocido como Grand-Schmidt.

 Deduzca la fórmula de los coeficientes de la serie de Fourier para una función que satisfaga

las condiciones de integrabilidad y norma

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

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

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

𝑝 ∞
𝑎0 𝑝
∫ 𝑓 (𝑥 )𝑑𝑥 = (𝑝 − (−𝑝)) + ∑ 𝑎𝑛 (sin(nπ) − sin(−nπ))
−𝑝 2 𝑛𝜋
𝑛=1

∞
𝑝
+ ∑ 𝑏𝑛 (cos(nπ) − cos(−nπ))
𝑛𝜋
𝑛=1

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

𝑚𝜋 𝑎0 𝑚𝜋 𝑛𝜋 𝑚𝜋
𝑓 (𝑥 ) cos ( 𝑥) = cos ( 𝑥) + ∑∞
𝑛=1 𝑎𝑛 cos ( 𝑝 𝑥) cos ( 𝑥) +
𝑝 2 𝑝 𝑝

𝑛𝜋 𝑚𝜋
∑∞
𝑛=1 𝑏𝑛 sin ( 𝑥) cos ( 𝑥)
𝑝 𝑝

𝑝 𝑚𝜋 𝑎0 𝑝 𝑚𝜋 𝑝 𝑛𝜋 𝑚𝜋
∫−𝑝 𝑓 (𝑥 ) cos ( 𝑝
𝑥) = 2
∫−𝑝 cos ( 𝑝
𝑥) 𝑑𝑥 + ∑∞
𝑛=1 𝑎𝑛 ∫−𝑝 cos ( 𝑝 𝑥) cos ( 𝑝
𝑥) 𝑑𝑥 +

𝑝 𝑛𝜋 𝑚𝜋
∑∞
𝑛=1 𝑏𝑛 ∫−𝑝 sin ( 𝑥) cos ( 𝑥) 𝑑𝑥
𝑝 𝑝

𝑝
𝑛𝜋 𝑚𝜋
∫ sin ( 𝑥) cos ( 𝑥) 𝑑𝑥 = 0
−𝑝 𝑝 𝑝

𝑝
𝑛𝜋 𝑚𝜋
∫ cos ( 𝑥) cos ( 𝑥) 𝑑𝑥 = 0 𝑠𝑖 𝑚 ≠ 𝑛
−𝑝 𝑝 𝑝
 𝑝 𝑝
𝑚𝜋 𝑛𝜋
∫ 𝑓 (𝑥 ) cos ( 𝑥) 𝑑𝑥 = 𝑎𝑛 ∫ 𝑐𝑜𝑠 2 ( 𝑥) 𝑑𝑥
−𝑝 𝑝 −𝑝 𝑝

𝑝
𝑚𝜋
∫ 𝑓 (𝑥 ) cos ( 𝑥) 𝑑𝑥 = 𝑎𝑛 𝑝
−𝑝 𝑝

1 𝑝 𝑚𝜋
𝑎𝑛 = ∫ 𝑓 (𝑥 ) cos ( 𝑥) 𝑑𝑥
𝑝 −𝑝 𝑝

𝑚𝜋 𝑎0 𝑚𝜋 𝑛𝜋 𝑚𝜋
𝑓 (𝑥 ) sin ( 𝑝
𝑥) = 2
sin ( 𝑝
𝑥) + ∑∞
𝑛=1 𝑎𝑛 cos ( 𝑝 𝑥) sin ( 𝑝
𝑥) +

𝑛𝜋 𝑚𝜋
∑∞
𝑛=1 𝑏𝑛 sin ( 𝑥) sin ( 𝑥)
𝑝 𝑝

𝑝 𝑚𝜋 𝑎0 𝑝 𝑚𝜋 𝑝 𝑛𝜋 𝑚𝜋
∫−𝑝 𝑓 (𝑥 ) sin ( 𝑥) = ∫−𝑝 sin ( 𝑥) 𝑑𝑥 + ∑∞
𝑛=1 𝑎𝑛 ∫−𝑝 cos ( 𝑝 𝑥) sin ( 𝑥) 𝑑𝑥 +
𝑝 2 𝑝 𝑝

𝑝 𝑛𝜋 𝑚𝜋
∑∞
𝑛=1 𝑏𝑛 ∫−𝑝 sin ( 𝑥) sin ( 𝑥) 𝑑𝑥
𝑝 𝑝

𝑝
𝑛𝜋 𝑚𝜋
∫ sin ( 𝑥) cos ( 𝑥) 𝑑𝑥 = 0
−𝑝 𝑝 𝑝

𝑝
𝑛𝜋 𝑚𝜋
∫ sin ( 𝑥) sin ( 𝑥) 𝑑𝑥 = 0 𝑠𝑖 𝑚 ≠ 𝑛
−𝑝 𝑝 𝑝

𝑝 𝑝
𝑚𝜋 𝑛𝜋
∫ 𝑓 (𝑥 ) sin ( 𝑥) 𝑑𝑥 = 𝑏𝑛 ∫ 𝑠𝑖𝑛2 ( 𝑥) 𝑑𝑥
−𝑝 𝑝 −𝑝 𝑝
 𝑝
𝑚𝜋
∫ 𝑓 (𝑥 ) sin ( 𝑥) 𝑑𝑥 = 𝑏𝑛 𝑝
−𝑝 𝑝

1 𝑝 𝑚𝜋
𝑏𝑛 = ∫ 𝑓(𝑥 ) sin ( 𝑥) 𝑑𝑥
𝑝 −𝑝 𝑝

 Encuentre los coeficientes y la serie de Fourier de las siguientes funciones, cuyo dominio

está restringido al intervalo,[−𝜋, 𝜋] siendo cero fuera del mismo:

 𝑓 (𝑥 ) = 𝑥 2 − 𝑥

Para 𝑎0

1 𝜋 2 1 2𝜋 3
𝑎0 = ∫ (𝑥 − 𝑥 )𝑑𝑥 = ( )
2𝜋 −𝜋 2𝜋 3

Para 𝑎𝑛

1 𝜋 2 𝑛𝜋𝑥 1 4𝜋(−1)𝑛 𝑛𝜋𝑥

𝑎𝑛 = ∫ (𝑥 − 𝑥 ) cos ( ) 𝑑𝑥 = ( 2
) cos ( ),𝑛 > 0
𝜋 −𝜋 𝜋 𝜋 𝑛 𝜋

Para 𝑏𝑛

1 𝜋 2 𝑛𝜋𝑥 1 2𝜋(−1)𝑛 𝑛𝜋𝑥

𝑏𝑛 = ∫ (𝑥 − 𝑥 ) sin ( ) 𝑑𝑥 = ( ) sin ( ),𝑛 > 0
𝜋 −𝜋 𝜋 𝜋 𝑛 𝜋
 ∞ ∞
1 2𝜋 3 1 4𝜋(−1)𝑛 𝑛𝜋𝑥 1 2𝜋(−1)𝑛 𝑛𝜋𝑥
𝑓 (𝑥 ) = ( )+∑ ( )cos ( ) + ∑ ( )sin ( )
2𝜋 3 𝜋 𝑛2 𝜋 𝜋 𝑛 𝜋
𝑛=1 𝑛=1

Simplificando y factorizando tenemos:

∞ ∞
𝜋3 4(−1)𝑛 2(−1)𝑛
𝑓 (𝑥 ) = ( ) + ∑( )cos ( 𝑛𝑥 ) + ∑( )sin(𝑛𝑥 )
3 𝑛2 𝑛
𝑛=1 𝑛=1

−𝑥 − 𝜋, −𝜋 ≤ 𝑥 < 0
 𝑓 (𝑥 ) = {
𝑥 − 𝜋, 0 ≤ 𝑥 < 𝜋

Tomar en cuenta las distintas funciones para ciertos intervalos:

Para 𝑎0

1 𝜋 1 0 𝜋
𝑎0 = ∫ 𝑓(𝑥 )𝑑𝑥 = [∫ 𝑓 (𝑥 )𝑑𝑥 + ∫ 𝑓(𝑥 )𝑑𝑥 ]
2𝜋 −𝜋 2𝜋 −𝜋 0

0 𝜋
1
𝑎0 = [∫ (−𝑥 − 𝜋)𝑑𝑥 + ∫ (𝑥 − 𝜋)𝑑𝑥 ]
2𝜋 −𝜋 0

1 𝜋2 𝜋2 1
𝑎0 = [− + (− )] = (−𝜋 2 )
2𝜋 2 2 2𝜋

𝜋
𝑎0 = −
2
Para 𝑎𝑛

1 0 𝜋
𝑎𝑛 = [∫ (−𝑥 − 𝜋)cos(𝑛𝑥)𝑑𝑥 + ∫ (𝑥 − 𝜋)cos(𝑛𝑥)𝑑𝑥 ]
𝜋 −𝜋 0

2 (−1)𝑛 − 1
𝑎𝑛 = [ ]
𝜋 𝑛2

Para 𝑏𝑛

1 0 𝜋
𝑏𝑛 = [∫ (−𝑥 − 𝜋)sin(𝑛𝑥)𝑑𝑥 + ∫ (𝑥 − 𝜋)sin(𝑛𝑥)𝑑𝑥 ]
𝜋 −𝜋 0

𝑏𝑛 = 0

Por lo tanto, la serie de Fourier

∞
𝜋 2 (−1)𝑛 − 1
( )
𝑓 𝑥 =− + ∑ cos(𝑛𝑥 )
2 𝜋 𝑛2
𝑛=1

 𝑓 (𝑥 ) = −2𝑥

Para 𝑎0

1 𝜋
𝑎0 = ∫ −2𝑥𝑑𝑥 = 0
2𝜋 −𝜋
 Para 𝑎𝑛

1 𝜋
𝑎𝑛 = ∫ −2𝑥cos(𝑛𝑥 )𝑑𝑥 = 0
𝜋 −𝜋

Para 𝑏𝑛

1 𝜋 1 4𝜋(−1)𝑛
𝑏𝑛 = ∫ −2𝑥 sin(𝑛𝑥 )𝑑𝑥 = sin(𝑛𝑥 ) , 𝑛 > 0
𝜋 −𝜋 𝜋 𝑛

Por lo tanto, la serie de Fourier

∞
4(−1)𝑛
𝑓 (𝑥 ) = ∑ sin(𝑛𝑥 )
𝑛
𝑛=1
  Grafique utilizando un software, la serie de Fourier de las funciones anteriores hasta k=10

𝑓 (𝑥 ) = 𝑥 2 − 𝑥

−𝑥 − 𝜋, −𝜋 ≤ 𝑥 < 0
𝑓 (𝑥 ) = {
𝑥 − 𝜋, 0 ≤ 𝑥 < 𝜋
𝑓 (𝑥 ) = −2𝑥

 Grafique utilizando un software, la serie de Fourier de las funciones anteriores hasta k=23

𝑓 (𝑥 ) = 𝑥 2 − 𝑥
 −𝑥 − 𝜋, −𝜋 ≤ 𝑥 < 0
𝑓 (𝑥 ) = {
𝑥 − 𝜋, 0 ≤ 𝑥 < 𝜋

𝑓 (𝑥 ) = −2𝑥