Análisis Matemático III - Guía de Trabajos Prácticos - T.P.

No 7
Problemas de Sturm-Liouville - Series de Fourier

T. P. No 7 - EJERCICIOS RESUELTOS

Enunciado
4. Dadas las sucesiones {𝜑𝑛 (𝑥)}, verificar su ortogonalidad en el intervalo
[0,2𝜋] con respecto al núcleo 𝑝(𝑥) = 1. Ortonormalizar las sucesiones.
4.1 {1 ; cos(𝑛𝑥) ; sen(𝑛𝑥)} con 𝑛 ∈ ℕ
4.2 {𝑒 𝑖𝑛𝑥 } con 𝑛 ∈ ℤ

Resolución
Resuelto por: Victoria Scordo Paes de Lima (2° cuatrimestre de 2015)
Revisado por: Eduardo G. Murmis - Gustavo M. Murmis

Sucesiones ortogonales de funciones

Dada una sucesión de funciones {𝜑𝑛 (𝑥)} continuas por partes, decimos que
esa sucesión es ortogonal en el intervalo [𝑎, 𝑏] con respecto al núcleo 𝑝(𝑥) si
se cumple lo siguiente:

𝜑𝑛 (𝑥): [𝑎, 𝑏] → 𝐶 continuas por partes

𝑝(𝑥) ≥ 0 }
{𝜑𝑛 (𝑥)} 𝜖 𝑂𝐺 ⁄[𝑎, 𝑏]⁄𝑝(𝑥)
𝑎
= 0 si 𝑛 ≠ 𝑚
⇔ 𝜑𝑛 (𝑥) • 𝜑𝑚 (𝑥) = ∫ 𝜑𝑛 (𝑥) ̅̅̅̅̅̅̅̅
𝜑𝑚 (𝑥) 𝑝(𝑥) 𝑑𝑥 { (𝐼)
𝑏 ≠ 0 si 𝑛 = 𝑚

Norma de una función

Definimos la norma de una función 𝜑𝑛 (𝑥) a la siguiente expresión:

𝑎
‖𝜑𝑛 (𝑥)‖ = √∫ 𝜑𝑛 (𝑥) ̅̅̅̅̅̅̅̅
𝜑𝑛 (𝑥) 𝑝(𝑥)𝑑𝑥 (𝐼𝐼)
𝑏

Sucesiones ortonormales de funciones

Dada una sucesión de funciones {𝜑𝑛 (𝑥)} continuas por partes, decimos que
esa sucesión es ortonormal en el intervalo [𝑎, 𝑏] con respecto al núcleo 𝑝(𝑥) si
se cumple lo siguiente:

2015 Pág. 1 de 5
 Análisis Matemático III - Guía de Trabajos Prácticos - T.P. No 7
Problemas de Sturm-Liouville - Series de Fourier

𝜑𝑛 (𝑥): [𝑎, 𝑏] → 𝐶 continuas por partes

𝑝(𝑥) ≥ 0 }
{𝜑𝑛 (𝑥)} 𝜖 𝑂𝑁⁄[𝑎, 𝑏]⁄𝑝(𝑥)
𝑎
= 0 si 𝑛 ≠ 𝑚
⇔ 𝜑𝑛 (𝑥) • 𝜑𝑚 (𝑥) = ∫ 𝜑𝑛 (𝑥) ̅̅̅̅̅̅̅̅
𝜑𝑚 (𝑥) 𝑝(𝑥) 𝑑𝑥 { (𝐼𝐼𝐼)
𝑏 = 1 si 𝑛 = 𝑚

Ejercicio 4.1 {𝝋𝒏 (𝒙)} = {𝟏 , 𝐜𝐨𝐬(𝒏𝒙) , 𝐬𝐞𝐧(𝒏𝒙)} con 𝒏 ∈ ℕ

Para verificar que la sucesión {𝜑𝑛 (𝑥)} es ortogonal en el intervalo [0,2𝜋] con
respecto al núcleo 𝑝(𝑥) = 1 debemos comprobar que se cumpla lo siguiente:

2𝜋
= 0 si 𝑛 ≠ 𝑚
𝜑𝑛 (𝑥) • 𝜑𝑚 (𝑥) = ∫ 𝜑𝑛 (𝑥) ̅̅̅̅̅̅̅̅
𝜑𝑚 (𝑥) 𝑝(𝑥) 𝑑𝑥 {
0 ≠ 0 si 𝑛 = 𝑚

A continuación calcularemos todos los productos internos posibles.

En primer lugar hacemos los productos de funciones diferentes entre sí. En

este caso hay que tener en cuenta que las expresiones cos(𝑛𝑥) y sen(𝑛𝑥) están
definiendo infinitas funciones cada una. Entonces, por ejemplo, para dos
valores diferentes 𝑛 y 𝑚, las funciones cos(𝑛𝑥) y cos(𝑚𝑥) son funciones
diferentes.

2𝜋
sen(𝑛𝑥) 2𝜋
1) 1 • cos(𝑛𝑥) = ∫ 1 cos(𝑛𝑥)𝑑𝑥 = | =0
0 𝑛 0

2𝜋
cos(𝑛𝑥) 2𝜋
2) 1 • sen(𝑛𝑥) = ∫ 1 sen(𝑛𝑥)𝑑𝑥 = − | =0
0 𝑛 0

2𝜋
3) cos(𝑛𝑥) • cos(𝑚𝑥) = ∫ cos(𝑛𝑥) cos(𝑚𝑥) 𝑑𝑥
0
2𝜋
sen[(𝑛 − 𝑚)𝑥] sen[(𝑛 + 𝑚)𝑥]
cos(𝑛𝑥) • cos(𝑚𝑥) = + | =0
2(𝑛 − 𝑚) 2(𝑛 + 𝑚) 0

2𝜋
4) sen(𝑛𝑥) • sen(𝑚𝑥) = ∫ sen(𝑛𝑥) sen(𝑚𝑥) 𝑑𝑥
0
2𝜋
sen[(𝑛 − 𝑚)𝑥] sen[(𝑛 + 𝑚)𝑥]
sen(𝑛𝑥) • sen(𝑚𝑥) = − | =0
2(𝑛 − 𝑚) 2(𝑛 + 𝑚) 0

2015 Pág. 2 de 5
 Análisis Matemático III - Guía de Trabajos Prácticos - T.P. No 7
Problemas de Sturm-Liouville - Series de Fourier

2𝜋
5) cos(𝑛𝑥) • sen(𝑚𝑥) = ∫ cos(𝑛𝑥) sen(𝑚𝑥) 𝑑𝑥
0
2𝜋
cos[(𝑚 + 𝑛)𝑥] cos[(𝑚 − 𝑛)𝑥]
cos(𝑛𝑥) • sen(𝑚𝑥) = − − | =0
2(𝑚 + 𝑛) 2(𝑚 − 𝑛) 0

2𝜋 2𝜋
sen(2𝑛𝑥)
6) cos(𝑛𝑥) • sen(𝑛𝑥) = ∫ cos(𝑛𝑥) sen(𝑛𝑥) 𝑑𝑥 = ∫ 𝑑𝑥
0 0 2
2𝜋
1
cos(𝑛𝑥) • sen(𝑛𝑥) = − cos(2𝑛𝑥)| = 0
4𝑛 0

Hacemos ahora los productos de funciones iguales entre sí.

2𝜋
7) 1 • 1 = ∫ 1 𝑑𝑥 = 𝑥|2𝜋
0 = 2𝜋
0

2𝜋 2𝜋
1 − cos(2𝑛𝑥)
8) sen(𝑛𝑥) • sen(𝑛𝑥) = ∫ [sen(𝑛𝑥)]2 𝑑𝑥 = ∫ 𝑑𝑥
0 0 2
2𝜋
1 1
sen(𝑛𝑥) • sen(𝑛𝑥) = 𝑥− sen(2𝑛𝑥)|
2 4𝑛 0
1 1 1 1
sen(𝑛𝑥) • sen(𝑛𝑥) = [( 2𝜋 − sen(4𝑛𝜋)) − ( 0 − sen(0))] = 𝜋
2 4𝑛 2 4𝑛

2𝜋 2𝜋
1 + cos(2𝑛𝑥)
9) cos(𝑛𝑥) • cos(𝑛𝑥) = ∫ [cos(𝑛𝑥)]2 𝑑𝑥 = ∫ 𝑑𝑥
0 0 2
2𝜋
1 1
cos(𝑛𝑥) • cos(𝑛𝑥) = 𝑥+ sen(2𝑛𝑥)|
2 4𝑛 0
1 1 1 1
cos(𝑛𝑥) • cos(𝑛𝑥) = [( 2𝜋 + sen(4𝑛𝜋)) + ( 0 + sen(0))] = 𝜋
2 4𝑛 2 4𝑛

A raíz de los resultados de los productos internos realizados, se ha verificado

que {𝜑𝑛 (𝑥)} ∈ 𝑂𝐺 / [0,2𝜋] / 𝑝(𝑥) = 1.

Para ortonormalizar la sucesión de funciones calculamos primero la norma de

cada una de las funciones utilizando lo definido en (II). Esto se hace con las
mismas integrales 7), 8) y 9).

2𝜋
a) ‖1‖ = √∫ 1𝑑𝑥 = √𝑥|2𝜋
0 = √2𝜋
0

2𝜋 2𝜋
1 1
b) ‖cos(𝑥)‖ = √∫ [cos(𝑛𝑥)]2 𝑑𝑥 =√ 𝑥+ sen(2𝑛𝑥)| = √𝜋
0 2 4𝑛 0

2015 Pág. 3 de 5
 Análisis Matemático III - Guía de Trabajos Prácticos - T.P. No 7
Problemas de Sturm-Liouville - Series de Fourier

2𝜋 2𝜋
1 1
c) ‖sen(𝑥)‖ = √∫ [sen(𝑛𝑥)]2 𝑑𝑥 = √ 𝑥 − sen(2𝑛𝑥)| = √𝜋
0 2 4𝑛 0

Para ortonormalizar la sucesión dividimos a cada función por su norma.

Obtenemos entonces:

1 cos(𝑛𝑥) sen(𝑛𝑥)
{𝜑𝑛 (𝑥)} = { ; ; } con 𝑛 ∈ ℤ
√2𝜋 √𝜋 √𝜋

A continuación podríamos verificar que esta nueva sucesión es ortonormal,

para lo cual deberíamos hacer nuevamente todos los productos internos y
verificar lo definido en (III). Las integrales 1 a 6 seguirán valiendo 0 ya que son
iguales a las realizadas anteriormente con la única diferencia que las funciones
están divididas por una constante. Calculamos entonces las integrales 7 a 9.

2𝜋
1 1 1 2𝜋
7) ∫ 𝑑𝑥 = 𝑥| = 1
0 √2𝜋 √2𝜋 2𝜋 0

2𝜋 2𝜋
sen(𝑛𝑥) sen(𝑛𝑥) 1 1 1
8) ∫ 𝑑𝑥 = [ 𝑥− sen(2𝑛𝑥)]| = 1
0 √𝜋 √𝜋 𝜋 2 4𝑛 0

2𝜋 2𝜋
cos(𝑛𝑥) cos(𝑛𝑥) 1 1 1
9) ∫ 𝑑𝑥 = [ 𝑥 + sen(2𝑛𝑥)]| = 1
0 √𝜋 √𝜋 𝜋 2 4𝑛 0

Dado que verificamos lo definido en (III) podemos afirmar que:

1 cos(𝑛𝑥) sen(𝑛𝑥)
{ ; ; } ∈ 𝑂𝑁 / [0,2𝜋] / 𝑝(𝑥) = 1
√2𝜋 √𝜋 √𝜋

Ejercicio 4.2 {𝝋𝒏 (𝒙)} = {𝒆𝒊𝒏𝒙 } con 𝒏 ∈ ℤ

Para verificar que la sucesión {𝜑𝑛 (𝑥)} es ortogonal en el intervalo [0,2𝜋] con
respecto al núcleo 𝑝(𝑥) = 1 debemos comprobar que se cumpla lo siguiente:

2𝜋
= 0 si 𝑛 ≠ 𝑚
𝜑𝑛 (𝑥) • 𝜑𝑚 (𝑥) = ∫ 𝜑𝑛 (𝑥) ̅̅̅̅̅̅̅̅
𝜑𝑚 (𝑥) 𝑝(𝑥) 𝑑𝑥 {
0 ≠ 0 si 𝑛 = 𝑚

A continuación calcularemos todos los productos internos posibles. En este

caso, dado que la función genérica está definida con una sola expresión,
existen solamente dos productos posibles: uno para dos funciones diferentes y
otro para dos iguales.

2015 Pág. 4 de 5
 Análisis Matemático III - Guía de Trabajos Prácticos - T.P. No 7
Problemas de Sturm-Liouville - Series de Fourier

Funciones diferentes
2𝜋 2𝜋 2𝜋
𝑒 𝑖(𝑛−𝑚)𝑥
1) 𝑒 𝑖𝑛𝑥 • 𝑒 𝑖𝑚𝑥 𝑖𝑛𝑥 −𝑖𝑚𝑥
=∫ 𝑒 𝑒 𝑑𝑥 = ∫ 𝑒 𝑖(𝑛−𝑚)𝑥
𝑑𝑥 = |
0 0 𝑖(𝑛 − 𝑚) 0
𝑒 𝑖(𝑛−𝑚)2𝜋 − 1
𝑒 𝑖𝑛𝑥 • 𝑒 𝑖𝑚𝑥 = =0
𝑖(𝑛 − 𝑚)

Funciones iguales
2𝜋 2𝜋
2) 𝑒 𝑖𝑛𝑥
•𝑒 𝑖𝑛𝑥
=∫ 𝑒 𝑖𝑛𝑥
𝑒 −𝑖𝑛𝑥
𝑑𝑥 = ∫ 1𝑑𝑥 = 𝑥|2𝜋
0 = 2𝜋
0 0

A raíz de los resultados de los productos internos realizados, se ha verificado

que {𝜑𝑛 (𝑥)} ∈ 𝑂𝐺 / [0,2𝜋] / 𝑝(𝑥) = 1.

Para ortonormalizar la sucesión de funciones calculamos primero la norma de

cada una de las funciones utilizando lo definido en (II).

2𝜋 2𝜋
‖𝑒 𝑖𝑛𝑥 ‖ = √∫ 𝑒 𝑖𝑛𝑥 𝑒 −𝑖𝑛𝑥 𝑑𝑥 = √∫ 1 𝑑𝑥 = √2𝜋
0 0

Para ortonormalizar la sucesión dividimos a cada función por su norma.

Obtenemos entonces:

𝑒𝑖𝑛𝑥
{𝜑𝑛 (𝑥)} = { } con 𝑛 ∈ ℤ
√2𝜋

A continuación podríamos verificar que esta nueva sucesión es ortonormal,

para lo cual deberíamos hacer nuevamente los productos internos y verificar lo
definido en (III). La integral 1 seguirá valiendo 0 ya que es igual a la realizada
anteriormente con la única diferencia que la función está dividida por una
constante. Calculamos entonces la integral 2.

𝑒 𝑖𝑛𝑥 𝑒 −𝑖𝑛𝑥 2𝜋 𝑖𝑛𝑥 −𝑖𝑛𝑥

𝑒 𝑒 1 2𝜋 1 2𝜋
2) • =∫ 𝑑𝑥 = ∫ 1𝑑𝑥 = 𝑥| = 1
√2𝜋 √2𝜋 0 √2𝜋 √2𝜋 2𝜋 0 2𝜋 0

Dado que verificamos lo definido en (III) podemos afirmar que:

𝑒𝑖𝑛𝑥
{ } ∈ 𝑂𝑁 / [0,2𝜋] / 𝑝(𝑥) = 1
√2𝜋

2015 Pág. 5 de 5