Series de Fourier y Funciones Ortogonales 9
Series de Fourier y Funciones Ortogonales 9
Series de Fourier y Funciones Ortogonales 9
∞
1 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓 𝑥 = 𝑎0 + 𝑎𝑛 cos + 𝑏𝑛 𝑠𝑒𝑛
2 𝐿 𝐿
𝑛=1
PRODUCTO INTERNO
Recordemos que 𝑢 y 𝑣 son dos vectores en 𝑅3 o en espacio tridimensional, entonces el
producto interno (𝑢|𝑣) de los vectores (en calculo se escribe como 𝑢 ∙ 𝑣) tiene las
propiedades siguientes:
Supongamos que 𝑓1 y 𝑓2 son funciones definidas sobre un intervalo [𝑎, 𝑏] y puesto que
una integral definida sobre [𝑎, 𝑏] del producto 𝑓1 𝑥 𝑓2 (𝑥) también tienen las propiedades
anteriores (siempre y cuando exista la integral), podemos enunciar la siguiente definición:
2 / 48
𝑏
𝑓1 |𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥
𝑎
𝑏
𝑓1 |𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥 = 0
𝑎
3 / 48
Ejemplo 1:
Determine si 𝑓1 𝑥 = 𝑥 2 y 𝑓2 𝑥 = 𝑥 3 son ortogonales sobre el intervalo [−1,1]
Solución:
1.- Aplicamos el concepto de funciones ortogonales, por lo tanto:
𝑏
𝑓1 |𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥
𝑎
1 1 6
𝑥 1 1 6 −1 6
𝑓1 |𝑓2 = න 𝑥 2 ∙ 𝑥 3 𝑑𝑥 = න 𝑥 5 𝑑𝑥 = | = −
−1 −1 6 −1 6 6
1 1
𝑓1 |𝑓2 = − =0
6 6
Debido a que el producto interno es cero, se dice que las funciones son ortogonales
4 / 48
Ejemplo 2:
Determine si 𝑓1 𝑥 = 𝑥 2 y 𝑓2 𝑥 = 𝑥 4 son ortogonales sobre el intervalo [−1,1]
Solución:
1.- Aplicamos el concepto de funciones ortogonales, por lo tanto:
𝑏
𝑓1 |𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥
𝑎
1 1 7
𝑥 1 1 7 −1 7
𝑓1 |𝑓2 = න 𝑥 2 ∙ 𝑥 4 𝑑𝑥 = න 𝑥 6 𝑑𝑥 = | = − 0
−1 −1 7 −1 7 7
1 1 2
𝑓1 |𝑓2 = + = ≠0
7 7 7
Debido a que el producto interno no es cero, se dice que las funciones no son ortogonales
5 / 48
CONJUNTO ORTOGONAL
Un conjunto de funciones de valor real {𝜙0 𝑥 , 𝜙1 𝑥 , 𝜙2 𝑥 , … } se dice que es ortogonal
sobre un intervalo 𝑎, 𝑏 si:
𝑏
𝜙𝑚 |𝜙𝑛 = න 𝜙𝑚 𝑥 𝜙𝑛 𝑥 𝑑𝑥 = 0, 𝑚 ≠ 𝑛
𝑎
Ejemplo 3:
Demuestre que el conjunto {1, cos 𝑥 , cos 2𝑥 , … } es ortogonal sobre el intervalo
[−𝜋, 𝜋].
Solución:
1.- Aplicamos el concepto de conjuntos ortogonales, primeramente para 𝜙0 𝑥 =
1 𝑦 𝜙𝑛 𝑥 = cos(𝑛𝑥), posteriormente para 𝜙𝑚 𝑥 = cos(𝑚𝑥) y 𝜙𝑛 𝑥 = cos(𝑛𝑥) por lo
tanto:
𝜋
1 𝜋 1 1
(𝜙0 |𝜙𝑛 ) = න 1 ∗ cos(𝑛𝑥) 𝑑𝑥 = 𝑠𝑒𝑛 𝑛𝑥 | = 𝑠𝑒𝑛 𝑛𝜋 − 𝑠𝑒𝑛 −𝑛𝜋 ≠0
−𝜋 𝑛 −𝜋 𝑛 𝑛
6 / 48
𝜋
1 𝜋
(𝜙𝑚 |𝜙𝑛 ) = න cos 𝑛𝑥 ∗ cos(𝑛𝑥) 𝑑𝑥 = න [cos 𝑚 + 𝑛 𝑥 ∗ cos 𝑚 − 𝑛 𝑥] 𝑑𝑥
−𝜋 2 −𝜋
1 𝑠𝑒𝑛 𝑚 + 𝑛 𝑥 𝑠𝑒𝑛 𝑚 − 𝑛 𝑥 𝜋
(𝜙𝑚 |𝜙𝑛 ) = + =0
2 𝑚+𝑛 𝑚−𝑛 −𝜋
7 / 48
6.2 Series de Fourier
6.2.1 Definición
𝑐0 𝜙0 𝑥 + 𝑐1 𝜙1 𝑥 + 𝑐2 𝜙2 𝑥 , …
8 / 48
Sea 𝑓 una función continua en el intervalo [−𝐿, 𝐿] y que se puede desarrollar una serie
ortogonal formada por las funciones trigonométricas en el conjunto ortogonal, tenemos:
1 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓 𝑥 = 𝑎0 + σ∞
𝑛=1 𝑎𝑛 cos + 𝑏𝑛 𝑠𝑒𝑛 (1)
2 𝐿 𝐿
1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = 𝐿 −𝐿 𝑓(𝑥) cos 𝑑𝑥; 𝑛 = 0, 1, 2, 3, … (2)
𝐿
1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = 𝐿 −𝐿 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥; 𝑛 = 0, 1, 2, 3, … (3)
𝐿
1 𝐿
𝑎0 = 𝐿 −𝐿 𝑓(𝑥) 𝑑𝑥 (4)
9 / 48
Se dice que la Ecuación 1 es una serie trigonométrica y las Ecuaciones 2, 3 y 4 definen a los
coeficientes 𝑎𝑛 , 𝑏𝑛 𝑦 𝑎0 , entonces se dice que es una serie de Fourier de la función 𝑓.
Ejemplo 4:
0; −𝜋 ≤ 𝑥 ≤ 0
Obtenga la serie de Fourier de la función 𝑓 𝑥 = ቊ
𝑥; 0 ≤ 𝑥 ≤ 𝜋
Solución:
1.- Obteniendo el coeficiente 𝑎0 , tenemos:
1 𝐿 1 𝜋 1 0 𝜋
𝑎0 = න 𝑓(𝑥) 𝑑𝑥 = න 𝑓(𝑥) 𝑑𝑥 = න 0 𝑑𝑥 + න 𝑥 𝑑𝑥
𝐿 −𝐿 𝜋 −𝜋 𝜋 −𝜋 0
10 / 48
1 0 𝜋
1 𝑥2 𝜋 1 𝜋2 𝜋
𝑎0 = න 0 𝑑𝑥 + න 𝑥 𝑑𝑥 = = =
𝜋 −𝜋 0 𝜋 2 0 𝜋 2 2
1 𝐿 𝑛𝜋𝑥 1 𝜋 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓(𝑥) cos 𝑑𝑥 = 𝑎𝑛 = න 𝑓(𝑥) cos 𝑑𝑥
𝐿 −𝐿 𝐿 𝜋 −𝜋 𝐿
1 0 𝑛𝜋𝑥 𝜋
𝑛𝜋𝑥 1 𝜋
𝑎𝑛 = න 0 cos 𝑑𝑥 + න 𝑥 cos 𝑑𝑥 = න 𝑥 cos 𝑛𝑥 𝑑𝑥
𝜋 −𝜋 𝜋 0 𝜋 𝜋 0
𝑥 cos 𝑛𝑥
+
1 1
- sen 𝑛𝑥
𝑛
0 1
+ − 2 𝑐𝑜𝑠 𝑛𝑥
𝑛
11 / 48
1 𝑥 1 𝜋 1 𝜋 1 1
𝑎𝑛 = 𝑠𝑒𝑛 𝑛𝑥 + 2 cos(𝑛𝑥) = 𝑠𝑒𝑛 𝑛𝜋 + 2 cos 𝑛𝜋 − 2
𝜋 𝑛 𝑛 0 𝜋 𝑛 𝑛 𝑛
1 1 1
𝑎𝑛 = 𝑠𝑒𝑛 𝑛𝜋 + 2 cos 𝑛𝜋 − 2
𝑛 𝜋𝑛 𝑛
Puesto que 𝑠𝑒𝑛 𝑛𝜋 evaluado para varios "𝑛“ siempre será 0 y cos 𝑛𝜋 evaluado para
varios "𝑛“ siempre será −1 𝑛 , entonces:
𝑛 𝑛
1 𝑛
1 1 −1 1 1 −1 −1 −1 𝑛 − 1
𝑎𝑛 = 2 −1 − 2= 2 − = 2 =
𝜋𝑛 𝑛 𝑛 𝜋 𝜋 𝑛 𝜋 𝑛2 𝜋
1 𝐿 𝑛𝜋𝑥 1 𝜋 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥 = න 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥
𝐿 −𝐿 𝐿 𝜋 −𝜋 𝜋
1 0 𝑛𝜋𝑥 𝜋
𝑛𝜋𝑥 1 𝜋
𝑏𝑛 = න 0 𝑠𝑒𝑛 𝑑𝑥 + න 𝑥 𝑠𝑒𝑛 𝑑𝑥 = න 𝑥 𝑠𝑒𝑛 𝑛𝑥 𝑑𝑥
𝜋 −𝜋 𝜋 0 𝜋 𝜋 0
12 / 48
1 𝜋
𝑏𝑛 = න 𝑥 𝑠𝑒𝑛 𝑛𝑥 𝑑𝑥
𝜋 0
𝑥 𝐬𝐞𝐧 𝑛𝑥
+
1 1
- − 𝑐𝑜𝑠 𝑛𝑥
𝑛
0 1
+ − 2 𝑠𝑒𝑛 𝑛𝑥
𝑛
1 x 1 𝜋
𝑏𝑛 = − 𝑐𝑜𝑠 𝑛𝑥 + 2 𝑠𝑒𝑛 𝑛𝑥
𝜋 𝑛 𝑛 0
1 𝜋 1 0 1
𝑏𝑛 = − 𝑐𝑜𝑠 𝑛𝜋 + 2 𝑠𝑒𝑛 𝑛𝜋 − − 𝑐𝑜𝑠 𝑛0 + 2 𝑠𝑒𝑛 𝑛0
𝜋 𝑛 𝑛 𝑛 𝑛
1𝜋 1 1 1 1
𝑏𝑛 = − 𝑐𝑜𝑠 𝑛𝜋 + 𝑠𝑒𝑛 𝑛𝜋 = − 𝑐𝑜𝑠 𝑛𝜋 + 𝑠𝑒𝑛 𝑛𝜋
𝜋𝑛 𝜋 𝑛2 𝑛 𝑛2 𝜋
13 / 48
Puesto que 𝑠𝑒𝑛 𝑛𝜋 evaluado para varios "𝑛“ siempre será 0 y cos 𝑛𝜋 evaluado para
varios "𝑛“ siempre será −1 𝑛 , entonces:
𝑛
1 𝑛
− −1
𝑏𝑛 = − −1 =
𝑛 𝑛
∞
𝜋 −1 𝑛 − 1 − −1 𝑛
𝑓 𝑥 = + cos 𝑛𝑥 + 𝑠𝑒𝑛 𝑛𝑥
4 𝑛2 𝜋 𝑛
𝑛=1
0; −𝜋 ≤ 𝑥 ≤ 0
La anterior ecuación es la serie de Fourier de la función 𝑓 𝑥 = ቊ
𝑥; 0 ≤ 𝑥 ≤ 𝜋
14 / 48
Los términos de la serie de Fourier son:
n=1
𝜋 2
𝑓 𝑥 ≈ − cos 𝑥 + 𝑠𝑒𝑛 𝑥
4 𝜋
n=1,2
𝜋 2 1
𝑓 𝑥 = − cos 𝑥 + 𝑠𝑒𝑛 𝑥 − 𝑠𝑒𝑛(2𝑥)
4 𝜋 2
n=1,2,3
𝜋 2 1 2 1
𝑓 𝑥 = − cos 𝑥 + 𝑠𝑒𝑛 𝑥 − 𝑠𝑒𝑛 2𝑥 − 𝑐𝑜𝑠 3𝑥 + 𝑠𝑒𝑛 3𝑥
4 𝜋 2 9𝜋 3
15 / 48
6.2.1 Series de Fourier de cosenos y senos
Se dice que la serie de coseno de Fourier es una función par (existe simetría en el eje vertical),
mientras que la serie de seno de Fourier es una función impar (no existe simetría en el eje
vertical).
𝑓 𝑥 𝑔 𝑥 = ℎ(𝑥)
2.- Producto de una función par y otra impar es igual a una función impar
𝑓 𝑥 𝑔 𝑥 = ℎ(𝑥)
𝑓 𝑥 𝑔 𝑥 = ℎ(𝑥)
16 / 48
4.- Si 𝑓 es una función par, se cumple lo siguiente:
𝑏 𝐿 𝐿
න 𝑓 𝑥 𝑑𝑥 = න 𝑓 𝑥 𝑑𝑥 = 2 න 𝑓 𝑥 𝑑𝑥
𝑎 −𝐿 0
𝐿
න 𝑓 𝑥 𝑑𝑥 = 0
−𝐿
*Para obtener la serie de coseno de Fourier partimos de los coeficientes de Fourier si 𝑓 = 𝑓(𝑥)
es par, tenemos:
1 𝐿 2 𝐿
𝑎0 = න 𝑓(𝑥) 𝑑𝑥 = න 𝑓 𝑥 𝑑𝑥
𝐿 −𝐿 𝐿 0
17 / 48
1 𝐿 𝑛𝜋𝑥 2 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓(𝑥) cos 𝑑𝑥 = න 𝑓(𝑥) cos 𝑑𝑥
𝐿 −𝐿 𝐿 𝐿 0 𝐿
𝑛𝜋𝑥
Donde 𝑓 𝑥 es una función par y cos es también par
𝐿
1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥 = 0
𝐿 −𝐿 𝐿
𝑛𝜋𝑥
Donde 𝑓 𝑥 es una función par y 𝑠𝑒𝑛 es impar
𝐿
18 / 48
*Para obtener la serie de seno de Fourier partimos de los coeficientes de Fourier si 𝑓 = 𝑓(𝑥) es
impar, tenemos:
1 𝐿
𝑎0 = න 𝑓(𝑥) 𝑑𝑥 = 0
𝐿 −𝐿
Donde 𝑓 𝑥 es una función impar
1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓(𝑥) cos 𝑑𝑥 = 0
𝐿 −𝐿 𝐿
𝑛𝜋𝑥
Donde 𝑓 𝑥 es una función impar y cos es par
𝐿
1 𝐿 𝑛𝜋𝑥 2 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥 = න ℎ(𝑥) 𝑠𝑒𝑛 𝑑𝑥
𝐿 −𝐿 𝐿 𝐿 0 𝐿
19 / 48
Ejemplo 5:
Desarrolle la función 𝑓 𝑥 = 𝑥 par −𝜋 ≤ 𝑥 ≤ 𝜋
Solución:
1.- Obteniendo el coeficiente 𝑎0 , tenemos:
2 𝐿 2 𝜋 2 𝑥2 𝜋
𝑎0 = න 𝑓 𝑥 𝑑𝑥 = න 𝑥𝑑𝑥 = =𝜋
𝐿 0 𝜋 0 𝜋 2 0
2 𝐿 𝑛𝜋𝑥 2 𝜋
𝑎𝑛 = න 𝑓(𝑥) cos 𝑑𝑥 = න 𝑥 cos 𝑛𝑥 𝑑𝑥
𝐿 0 𝐿 𝜋 0
𝑥 cos 𝑛𝑥
+
1 1
- sen 𝑛𝑥
𝑛
0 1
+ − 2 𝑐𝑜𝑠 𝑛𝑥
𝑛
20 / 48
2 1 2 1 𝜋
𝑎𝑛 = 𝑥 𝑠𝑒𝑛 𝑛𝑥 + cos 𝑛𝑥
𝜋 𝑛 𝜋 𝑛2 0
2 𝜋 1 0 1
𝑎𝑛 = 𝑠𝑒𝑛 𝑛𝜋 + 2 cos 𝑛𝜋 − 𝑠𝑒𝑛 𝑛0 + 2 cos 𝑛0
𝜋 𝑛 𝑛 𝑛 𝑛
𝑛
2 −1 1 2 −1 𝑛 − 1
𝑎𝑛 = − 2 =
𝜋 𝑛2 𝑛 𝜋 𝑛2
1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓(𝑥) 𝑠𝑒𝑛 𝑑𝑥 = 0
𝐿 −𝐿 𝐿
21 / 48
6.2.3 Series de Fourier con periodo 2π
22 / 48
23 / 48
24 / 48
25 / 48
Ejemplo 6:
26 / 48
27 / 48
28 / 48
6.2.4 Series de Fourier con medio rango
Ejemplo 7:
29 / 48
30 / 48
Ejemplo 8:
31 / 48
32 / 48
33 / 48
34 / 48
6.2.5 Serie generalizada de Fourier
35 / 48
36 / 48
37 / 48
38 / 48
Ejemplo 9:
39 / 48
40 / 48
Ejemplo 10:
41 / 48
42 / 48
Ejemplo 11:
43 / 48
44 / 48
45 / 48
46 / 48
Los campeones siguen jugando
hasta que lo hacen bien
47 / 48
• Boyce, William E., & DiPrima, Richard C. (2001). Ecuaciones
diferenciales y problemas con valores en la frontera (Limusa
(ed.); 4ta ed.).
• Cengel, Yunus A., & Palm III, William J. (2014). Ecuaciones
diferenciales para ingeniería y ciencias (McGraw-Hill Education
(ed.); 1ra ed.).
• Edwards, Henry C., & Penney, David E. (2009). Ecuaciones
diferenciales y problemas con valores en la frontera computo y
modelado (Pearson Prentice Hall (ed.); 4ta ed.).
• Zill, Dennis G. (2009). Ecuaciones diferenciales con aplicaciones
de modelo (CENGAGE Learning (ed.); 9na ed.).
• Zill, Dennis G., & Wrigth, Warren S. (2015). Ecuaciones
diferenciales con problemas con valores en la frontera (CENGAGE
Learning (ed.); 8va ed.).
48 / 48