UNIVERSIDAD ABIERTA Y A DISTANCIA DE

MÉXICO

Transformaciones y series

Unidad 3. Transformadas en calor y ondas

Actividad 1. El problema de Sturm – Liouville

Docente en línea:

MARCO VINICIO LLANES RUEDA

Alumno: José Juan Meza Espinosa

ES162003482

Fecha: 21 de mayo del 2020

 1. Encontrar los eigenvalores y las eigenfunciones de los siguientes
problemas de Sturm-Liouville y vericar la ortogonalidad por cálculo
directo.
a. 𝒚′′ + 𝝀𝒚 = 𝟎, 𝒚(𝟎) = 𝟎, 𝒚′ (𝟏) = 𝟎
Respuesta:
Hacemos 𝜆 = 𝛼 2
𝑦 ′′ + 𝜆𝑦 = 0 → 𝑦 ′′ + 𝛼 2 𝑦 = 0 → 𝑚2 + 𝛼 2 = 0

Para 𝜆 = 𝛼 2 = 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 0 = 0 → 𝑚1,2 = 0 dos raíces iguales:
𝑦 = 𝑐1 𝑥𝑒 𝑚1 𝑥 + 𝑐2 𝑒 𝑚2 𝑥 = 𝑐1 𝑥𝑒 0𝑥 + 𝑐2 𝑒 0𝑥 = 𝑐1 𝑥 + 𝑐2
Entonces:
𝑦 = 𝑐1 𝑥 + 𝑐2
𝑦′ = 𝑐1
tomando las condiciones de frontera
𝑦(0) = 0:
𝑦(0) = 𝑐1 (0) + 𝑐2 = 0 ∴ 𝑐2 = 0 𝑦 𝑐1 ≠ 0
𝑦 ′ (1) = 0:
𝑦 ′ (1) = 𝑐1 = 0

Para 𝜆 = −𝛼 2 < 0:
𝑚2 − 𝛼 2 = 0 → 𝑚2 − 𝛼 2 = 0 → 𝑚1,2 = ±𝛼 dos raíces reales y diferentes:
𝑦 = 𝑐1 𝑒 +𝛼𝑥 + 𝑐2 𝑒 −𝛼𝑥 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥)
Entonces:
𝑦 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥)
𝑦 ′ = 𝑐1 𝛼 sinh(𝛼𝑥) + 𝑐2 𝛼 cosh(𝛼𝑥)
tomando las condiciones de frontera
𝑦(0) = 0:
𝑦(0) = 𝑐1 cosh(𝛼 ∗ 0) + 𝑐2 sinh(𝛼 ∗ 0) = 0 ∴ 𝑐1 = 0 𝑦 𝑐2 ≠ 0
𝑦 ′ (1) = 0:
𝑦 ′ (1) = 𝑐1 𝛼 sinh(𝛼 ∗ 1) + 𝑐2 𝛼 cosh(𝛼 ∗ 1) = 0
𝑦 ′ (1) = 0 ∗ +𝑐2 𝛼 cosh(𝛼 ∗ 1) = 0
𝑐2 𝛼 cosh(𝛼 ∗ 1) = 0
Ahora la condición 𝑦′(1) = 0 implica 𝑐2 = 0. Por lo tanto, 𝑦 = 0 y no hay valores propios
negativos.

Para 𝜆 = 𝛼 2 > 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 𝛼 2 = 0 → 𝑚1,2 = 0 ± 𝛼𝑖 dos raíces complejas:
𝑦 = 𝑒 0𝑥 [𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)] = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
Entonces:
𝑦 = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
𝑦′ = −𝑐1 𝛼 sin(𝛼𝑥) + 𝑐2 𝛼 cos(𝛼𝑥)
tomando las condiciones de frontera [1]
𝑦(0) = 0:
𝑦(0) = 𝑐1 cos(𝛼 ∗ 0) + 𝑐2 sin(𝛼 ∗ 0) = 0 ∴ 𝑐1 = 0 𝑦 𝑐2 ≠ 0
𝑦 ′ (1) = 0:
𝑦 ′ (1) = −𝑐1 𝛼 sin(𝛼 ∗ 1) + 𝑐2 𝛼 cos(𝛼 ∗ 1) = 0
𝑦 ′ (1) = 𝑐2 𝛼 cos(𝛼 ∗ 1) = 0
cos(𝛼 ∗ 1) = 0 → cos(𝛼) = 0
𝛼 ∗ 1 = 𝜋𝑛
cos(𝜋𝑛) = 0
Entonces la solución sería:
𝑦𝑛 = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥) → 𝑦𝑛 = 0 ∗ cos(𝜋𝑛𝑥) + 𝑐2 sin(𝜋𝑛𝑥)

𝑦𝑛 = 𝑐2 sin(𝜋𝑛𝑥)

Una relación de ortogonalidad [4], [5], [6] y [7] es

𝑏 1

∫ 𝑝(𝑥)𝑦𝑚 (𝑥)𝑦𝑛 (𝑥) 𝑑𝑥 = ∫[𝑐2 sin(𝜋𝑛𝑥) (𝑐2 sin(𝜋𝑚𝑥))] 𝑑𝑥 = 0

𝑎 0

b. 𝒚′′ + 𝝀𝒚 = 𝟎, 𝒚(𝟎) = 𝒚(𝟐𝝅), 𝒚′ (𝟎) = 𝒚′ (𝟐𝝅)

Respuesta:
Puesto que 𝐿 es simétrico entonces sus valores propios son reales y sus funciones propias
son ortogonales. Luego
Si 𝜆 = −𝛼 2 < 0 , entonces se obtienen sólo soluciones triviales
Si 𝜆 = 𝛼 2 = 0, entonces la solución general de la EDO [2]. es 𝑦 = 𝑐1 𝑥 + 𝑐2
Aplicando las condiciones de fronteras, se obtiene las soluciones 𝑦(𝑥) = 𝐶𝑡𝑒. Así , 𝜆 = 0
es valor propio para 𝐿 sobre 𝑆
Si 𝜆 = 𝛼 2 > 0 la solución general de la ecuaciones diferenciales 𝑦 = 𝑐1 cos(𝛼𝑥) +
𝑐2 sin(𝛼𝑥) , Aplicando las condiciones de fronteras, se obtiene el siguiente sistema de
ecuaciones algebraicas:

𝑦(0) = 𝑐1 cos(𝛼 ∗ 0) + 𝑐2 sin(𝛼 ∗ 0)

𝑦(2𝜋) = 𝑐1 cos(𝛼 ∗ 2𝜋) + 𝑐2 sin(𝛼 ∗ 2𝜋)
Usando la igualdad 𝑦(0) = 𝑦(2𝜋):
𝑐1 cos(𝛼 ∗ 0) + 𝑐2 sin(𝛼 ∗ 0) = 𝑐1 cos(𝛼 ∗ 2𝜋) + 𝑐2 sin(𝛼 ∗ 2𝜋)
𝑐1 ∗ 1 + 𝑐2 ∗ 0 = 𝑐1 cos(𝛼 ∗ 2𝜋) + 𝑐2 ∗ sin(𝛼 ∗ 2𝜋)
𝑐1 − 𝑐1 cos(𝛼 ∗ 2𝜋) = 𝑐2 ∗ sin(𝛼 ∗ 2𝜋)
𝑐1 (1 − cos(𝛼 ∗ 2𝜋)) = 𝑐2 ∗ sin(𝛼 ∗ 2𝜋)

𝑦′(0) = −𝑐1 𝛼 sin(𝛼 ∗ 0) + 𝑐2 𝛼 cos(𝛼 ∗ 0)

𝑦′(2𝜋) = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋) + 𝑐2 𝛼 cos(𝛼 ∗ 2𝜋)
Usando la igualdad 𝑦′(0) = 𝑦′(2𝜋):
−𝑐1 𝛼 sin(𝛼 ∗ 0) + 𝑐2 𝛼 cos(𝛼 ∗ 0) = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋) + 𝑐2 𝛼 cos(𝛼 ∗ 2𝜋)
−𝑐1 𝛼 ∗ 0 + 𝑐2 𝛼 ∗ 1 = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋) + 𝑐2 𝛼 cos(𝛼 ∗ 2𝜋)
𝑐2 𝛼 = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋) + 𝑐2 𝛼 cos(𝛼 ∗ 2𝜋)
𝑐2 𝛼 − 𝑐2 𝛼 cos(𝛼 ∗ 2𝜋) = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋)
𝑐2 𝛼(1 − cos(𝛼 ∗ 2𝜋)) = −𝑐1 𝛼 sin(𝛼 ∗ 2𝜋)
𝑐2 (1 − cos(𝛼 ∗ 2𝜋)) = −𝑐1 sin(𝛼 ∗ 2𝜋)
Ver página 35 de [3]
Ahora, si 𝛼 = 1,2,3, . .. se tiene que para cualesquier 𝑐1 , 𝑐2 se satisface
𝑐1 (1 − cos(𝛼 ∗ 2𝜋)) = 𝑐2 ∗ sin(𝛼 ∗ 2𝜋) y 𝑐1 (1 − cos(𝛼 ∗ 2𝜋)) = 𝑐2 ∗ sin(𝛼 ∗ 2𝜋), y los
enteros 𝛼 2 = 1, 4, 9, . .. son valores propios para 𝐿. Así, las funciones propias son:
𝑦𝑛 = 𝑐1 cos(𝑛𝑥) + 𝑐2 sin(𝑛𝑥)

Una relación de ortogonalidad [4], [5], [6] y [7] es

 𝑏 2𝜋

∫ 𝑝(𝑥)𝑦𝑚 (𝑥)𝑦𝑛 (𝑥) 𝑑𝑥 = ∫ [(𝑐1 cos(𝑛𝑥) + 𝑐2 sin(𝑛𝑥))(𝑐1 cos(𝑚𝑥) + 𝑐2 sin(𝑚𝑥))] 𝑑𝑥 = 0

𝑎 0
−𝑐1 𝑐2 −𝑐1 𝑐2
=( )−( )=0
𝑚+𝑛 𝑚+𝑛
𝑐1 𝑐2 𝑐1 𝑐2
=− + =0
𝑚+𝑛 𝑚+𝑛

2. Considere la ecuación 𝒚′′ + 𝝀𝒚 = 𝟎 sujeta a 𝒚′(𝟎) = 𝟎, 𝒚′(𝑳) = 𝟎.

Demuestre que las funciones propias son
𝝅 𝟐𝝅
{𝟏, 𝐜𝐨𝐬 ( 𝒙) , 𝐜𝐨𝐬 ( 𝒙) , … }
𝑳 𝑳
Este conjunto, que es ortogonal en [𝟎, 𝑳] es la base de la serie coseno de
Fourier.
Respuesta:
Hacemos 𝜆 = 𝛼 2
𝑦 ′′ + 𝜆𝑦 = 0 → 𝑦 ′′ + 𝛼 2 𝑦 = 0 → 𝑚2 + 𝛼 2 = 0

Para 𝜆 = 𝛼 2 = 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 0 = 0 → 𝑚1,2 = 0 dos raíces iguales:
𝑦 = 𝑐1 𝑥𝑒 𝑚1 𝑥 + 𝑐2 𝑒 𝑚2 𝑥 = 𝑐1 𝑥𝑒 0𝑥 + 𝑐2 𝑒 0𝑥 = 𝑐1 𝑥 + 𝑐2
La solución de 𝑦′′ = 0 es 𝑦 = 𝑐1 𝑥 + 𝑐2 .
La condición 𝑦′(0) = 0 implica 𝑐1 = 0, entonces 𝜆 = 0 es un valor propio con la función
propia correspondiente 1.

Para 𝜆 = −𝛼 2 < 0:
𝑚2 − 𝛼 2 = 0 → 𝑚2 − 𝛼 2 = 0 → 𝑚1,2 = ±𝛼 dos raíces reales y diferentes:
𝑦 = 𝑐1 𝑒 +𝛼𝑥 + 𝑐2 𝑒 −𝛼𝑥 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥)
𝑦 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥) y 𝑦 ′ = 𝑐1 𝛼 sinh(𝛼𝑥) + 𝑐2 𝛼 cosh(𝛼𝑥). condición 𝑦′(0) = 0
implica 𝑐2 = 0 y entonces 𝑦 = 𝑐1 cosh(𝛼𝑥). Ahora la condición 𝑦′(𝐿) = 0 implica 𝑐1 = 0.
Por lo tanto, 𝑦 = 0 y no hay valores propios negativos.

Para 𝜆 = 𝛼 2 > 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 𝛼 2 = 0 → 𝑚1,2 = 0 ± 𝛼𝑖 dos raíces complejas:
𝑦 = 𝑒 0𝑥 [𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)] = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
Tenemos 𝑦 = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥) y 𝑦′ = −𝑐1 𝛼 sin(𝛼𝑥) + 𝑐2 𝛼 cos(𝛼𝑥). La condición
𝑦′(0) = 0 implica 𝑐2 = 0 y entonces 𝑦 = 𝑐1 cos(𝛼𝑥). Ahora la condición 𝑦′(𝐿) = 0 implica
−𝑐1 sin(𝛼𝐿) = 0. Para 𝑐1 ≠ 0, esta condición se mantendrá cuando 𝛼𝐿 = 𝑛𝜋 o 𝜆 = 𝛼 2 =
𝑛 2 𝜋2
, donde 𝑛 = 1, 2, 3, . . .. Estos son los valores propios positivos con las funciones propias
𝐿2
𝑛𝜋
correspondientes cos ( 𝑥), 𝑛 = 0, 1, 2, 3, . . ..
𝐿
Es decir:
𝜋 2𝜋
{1, cos ( 𝑥) , cos ( 𝑥) , … }
𝐿 𝐿

3. Considere la ecuación 𝒚′′ + 𝝀𝒚 = 𝟎 sujeta a las condiciones de frontera

periódicas 𝒚(−𝑳) = 𝒚(𝑳), 𝒚′(−𝑳) = 𝒚′(𝑳). Demuestre que las funciones
propias son
 𝝅 𝟐𝝅 𝝅 𝟐𝝅 𝟑𝝅
{𝟏, 𝐜𝐨𝐬 ( 𝒙) , 𝐜𝐨𝐬 ( 𝒙) , … , 𝐬𝐢𝐧 ( 𝒙) , 𝐬𝐢𝐧 ( 𝒙) , 𝐬𝐢𝐧 ( 𝒙) , … }
𝑳 𝑳 𝑳 𝑳 𝑳
Este conjunto, que es ortogonal en [−𝑳, 𝑳], es la base de las series de
Fourier.
Respuesta:
Para 𝜆 = −𝛼 2 < 0:
𝑚2 − 𝛼 2 = 0 → 𝑚2 − 𝛼 2 = 0 → 𝑚1,2 = ±𝛼 dos raíces reales y diferentes:
𝑦 = 𝑐1 𝑒 +𝛼𝑥 + 𝑐2 𝑒 −𝛼𝑥 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥)
Entonces podemos hacer:
𝑦 = 𝑐1 cosh(𝛼𝑥) + 𝑐2 sinh(𝛼𝑥)
𝑦′ = 𝑐1 𝛼 sinh(𝛼𝑥) + 𝑐2 𝛼 cosh(𝛼𝑥)
Usando el hecho de que cosh(𝑥) es una función par y sinh(𝑥) es extraño, tenemos
𝑦(−𝐿) = 𝑐1 cosh(−𝛼𝐿) + 𝑐2 sinh(−𝛼𝐿)
𝑦(−𝐿) = 𝑐1 cosh(𝛼𝐿) − 𝑐2 sinh(𝛼𝐿)
Y
𝑦 ′ (−𝐿) = 𝑐1 𝛼 sinh(−𝛼𝐿) + 𝑐2 𝛼 cosh(−𝛼𝐿)
𝑦 ′ (−𝐿) = −𝑐1 𝛼 sinh(𝛼𝐿) + 𝑐2 𝛼 cosh(𝛼𝐿)

Las condiciones de frontera implican

𝑐1 cosh(𝛼𝐿) − 𝑐2 sinh(𝛼𝐿) = 𝑐1 cosh(𝛼𝐿) + 𝑐2 sinh(𝛼𝐿) → 2𝑐2 sinh(𝛼𝐿) = 0
y
−𝑐1 𝛼 sinh(𝛼𝐿) + 𝑐2 𝛼 cosh(𝛼𝐿) = 𝑐1 𝛼 sinh(𝛼𝐿) + 𝑐2 𝛼 cosh(𝛼𝐿) → 2𝑐1 𝛼 sinh(𝛼𝐿)

Como 𝛼𝐿 ≠ 0, 𝑐1 = 𝑐2 = 0 y la única solución del problema del valor límite en este caso es
𝑦 = 0.

Para 𝜆 = 𝛼 2 = 0 tenemos
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 0 = 0 → 𝑚1,2 = 0 dos raíces iguales:
𝑦 = 𝑐1 𝑥𝑒 𝑚1 𝑥 + 𝑐2 𝑒 𝑚2 𝑥 = 𝑐1 𝑥𝑒 0𝑥 + 𝑐2 𝑒 0𝑥 = 𝑐1 𝑥 + 𝑐2
Es decir : 𝑦 = 𝑐1 𝑥 + 𝑐2 y 𝑦′ = 𝑐1
De 𝑦(−𝐿) = 𝑦(𝐿) obtenemos
𝑦(−𝐿) = −𝑐1 𝐿 + 𝑐2 = 𝑐1 𝐿 + 𝑐2 = 𝑦(𝐿)
2𝑐1 𝐿 = 0
Entonces 𝑐1 = 0 y 𝑦 = 1 es una función propia correspondiente al valor propio 𝜆 = 0.

Para 𝜆 = 𝛼 2 > 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 𝛼 2 = 0 → 𝑚1,2 = 0 ± 𝛼𝑖 dos raíces complejas:
𝑦 = 𝑒 0𝑥 [𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)] = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
Entonces
𝑦 = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
𝑦′ = −𝑐1 𝛼 sin(𝛼𝑥) + 𝑐2 𝛼 cos(𝛼𝑥)
La primera condición límite implica
𝑦(−𝐿) = 𝑐1 cos(𝛼𝐿) − 𝑐2 sin(𝛼𝐿) = 𝑐1 cos(𝛼𝐿) + 𝑐2 sin(𝛼𝐿) = 𝑦(𝐿)
2𝑐2 sin(𝛼𝐿) = 0
Por lo tanto, si 𝑐1 = 0 y 𝑐2 ≠ 0,
𝑛2 𝜋 2
𝛼𝐿 = 𝑛𝜋 𝑜 𝜆 = 𝛼 2 = 2 , 𝑛 = 1, 2, 3, . ..
𝐿
 𝑛2 𝜋 2 𝑛𝜋
Las funciones propias correspondientes son sin(𝛼𝐿) = sin (√ 𝐿2
𝑥) = sin ( 𝐿 𝑥) =
𝑛𝜋𝑥
sin ( 𝐿 ), para 𝑛 = 1, 2, 3, . . ..
Es decir:
𝜋 2𝜋 3𝜋
sin ( 𝑥) , sin ( 𝑥) , sin ( 𝑥) , …
𝐿 𝐿 𝐿
Del mismo modo, el segundo:
𝑦(−𝐿) = 𝑐1 𝛼 sin(𝛼𝐿) + 𝑐2 𝛼 cos(𝛼𝐿) = 𝑐1 𝛼 sin(𝛼𝐿) + 𝑐2 𝛼 cos(𝛼𝐿) = 𝑦(𝐿)

2𝑐1 𝛼 sin(𝛼𝐿) = 0

si 𝑐2 = 0 y 𝑐1 ≠ 0
𝑛2 𝜋 2
𝛼𝐿 = 𝑛𝜋 𝑜 𝜆 = 𝛼2 = , 𝑛 = 1, 2, 3, ..
𝐿2
𝑛 2 𝜋2 𝑛𝜋
Las funciones propias correspondientes son cos(𝛼𝑥) = cos (√ 𝐿2
𝑥) = cos ( 𝐿 𝑥) =
𝑛𝜋𝑥
cos ( 𝐿 ), para 𝑛 = 0, 1, 2, 3, . . ..
Es decir:
𝜋 2𝜋
1, cos ( 𝑥) , cos ( 𝑥) , …
𝐿 𝐿
Y al final tenemos
𝜋 2𝜋 𝜋 2𝜋 3𝜋
{1, cos ( 𝑥) , cos ( 𝑥) , … , sin ( 𝑥) , sin ( 𝑥) , sin ( 𝑥) , … }
𝐿 𝐿 𝐿 𝐿 𝐿

4. Considere el problema regular de Sturm - Liouville:

𝒅 𝜆
[(𝟏 + 𝒙𝟐 )𝒚′ ] + 𝒚 = 𝟎, 𝒚(𝟎) = 𝟎, 𝒚(𝟏) = 𝟎
𝒅𝒙 𝟏 + 𝒙𝟐
(a) Encuentre los valores propios y las funciones propias del problema
de valor en la frontera. [Sugerencia: Establezca 𝒙 = 𝐭𝐚𝐧(𝜽) y
después utilice la regla de la cadena]
Respuesta:
𝑑 𝜆
[(1 + 𝑥 2 )𝑦 ′ ] + 𝑦=0
𝑑𝑥 1 + 𝑥2
𝑑 𝑑 𝜆
(1 + 𝑥 2 ) [𝑦 ′ ] + 𝑦 ′ [1 + 𝑥 2 ] + 𝑦=0
𝑑𝑥 𝑑𝑥 1 + 𝑥2
𝜆
(1 + 𝑥 2 )𝑦 ′′ + 𝑦 ′ 2𝑥 + 𝑦=0
1 + 𝑥2
La ecuación diferencial es [7]:
𝜆
(1 + 𝑥 2 )𝑦′′ + 2𝑥𝑦 ′ + 𝑦=0
1 + 𝑥2
Dejando 𝑥 = tan(𝜃) tenemos 𝜃 = tan−1(𝑥) y
𝑑𝑦 𝑑𝑦 𝑑𝜃 1 𝑑𝑦
= =
𝑑𝑥 𝑑𝜃 𝑑𝑥 1 + 𝑥 2 𝑑𝜃
𝑑𝑦 1 𝑑𝑦
=
𝑑𝑥 1 + 𝑥 2 𝑑𝜃
Derivamos:
 𝑑 𝑑𝑦 𝑑 1 𝑑𝑦
( )= [ ]
𝑑𝑥 𝑑𝑥 𝑑𝑥 1 + 𝑥 2 𝑑𝜃
2
𝑑 𝑦 𝑑 1 𝑑𝑦
2
= [ ]
𝑑𝑥 𝑑𝑥 1 + 𝑥 2 𝑑𝜃
𝑑2 𝑦 1 𝑑 𝑑𝑦 𝑑𝑦 𝑑 1
2
= 2 [ ]+ [ ]
𝑑𝑥 1 + 𝑥 𝑑𝑥 𝑑𝜃 𝑑𝜃 𝑑𝑥 1 + 𝑥 2
𝑑2 𝑦 1 𝑑2 𝑦 𝑑𝑦 −2𝑥
2
= 2
[ ]+ ( 2 )
𝑑𝑥 1 + 𝑥 𝑑𝑥𝑑𝜃 𝑑𝜃 (𝑥 + 1)2
𝑑2 𝑦 1 𝑑2 𝑦 𝑑𝜃 𝑑𝑦 −2𝑥
2
= 2
[ ∗ ]+ ( 2 )
𝑑𝑥 1 + 𝑥 𝑑𝑥𝑑𝜃 𝑑𝜃 𝑑𝜃 (𝑥 + 1)2
𝑑2 𝑦 1 𝑑2 𝑦 𝑑𝜃 𝑑𝑦 −2𝑥
= [ ∗ ] + ( )
𝑑𝑥 2 1 + 𝑥 2 𝑑𝜃 2 𝑑𝑥 𝑑𝜃 (𝑥 2 + 1)2
𝑑2 𝑦 1 𝑑2 𝑦 𝑑𝜃 2𝑥 𝑑𝑦
2
= 2 2
∗ − 2 2
𝑑𝑥 1 + 𝑥 𝑑𝜃 𝑑𝑥 (𝑥 + 1) 𝑑𝜃
𝑑𝜃 𝑑 1
= tan−1 (𝑥) = 2
𝑑𝑥 𝑑𝑥 𝑥 +1
𝑑2 𝑦 1 𝑑2 𝑦 1 2𝑥 𝑑𝑦
2
= 2 2 2
− 2 2
𝑑𝑥 1 + 𝑥 𝑑𝜃 𝑥 + 1 (𝑥 + 1) 𝑑𝜃

𝑑2 𝑦 1 𝑑2 𝑦 2𝑥 𝑑𝑦
2
= 2 2 2
− 2 2
𝑑𝑥 (𝑥 + 1) 𝑑𝜃 (𝑥 + 1) 𝑑𝜃
La ecuación diferencial se puede escribir en términos de 𝑦(𝜃) como
𝜆
(1 + 𝑥 2 )𝑦′′ + 2𝑥𝑦 ′ + 𝑦=0
1 + 𝑥2
2
1 𝑑 𝑦 2𝑥 𝑑𝑦 1 𝑑𝑦 𝜆
(1 + 𝑥 2 ) [ 2 2 2
− 2 2
] + 2𝑥 [ 2 ]+ 𝑦=0
(𝑥 + 1) 𝑑𝜃 (𝑥 + 1) 𝑑𝜃 1 + 𝑥 𝑑𝜃 1 + 𝑥2
1 𝑑2 𝑦 2𝑥 𝑑𝑦 2𝑥 𝑑𝑦 𝜆
2 2
− + + 𝑦=0
(1 + 𝑥 ) 𝑑𝜃 (1 + 𝑥 ) 𝑑𝜃 1 + 𝑥 𝑑𝜃 1 + 𝑥 2
2 2
1 𝑑2 𝑦 𝜆
2 2
+ 𝑦=0
(1 + 𝑥 ) 𝑑𝜃 1 + 𝑥2
Aun se puede reducir más si multiplicamos por 1 + 𝑥 2
𝑑2 𝑦
+ 𝜆𝑦 = 0
𝑑𝜃 2
Para 𝜆 = 𝛼 2 > 0:
𝑚2 + 𝛼 2 = 0 → 𝑚2 + 𝛼 2 = 0 → 𝑚1,2 = 0 ± 𝛼𝑖 dos raíces complejas:
𝑦 = 𝑒 0𝑥 [𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)] = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
Entonces:
𝑦 = 𝑐1 cos(𝛼𝑥) + 𝑐2 sin(𝛼𝑥)
𝑦′ = −𝑐1 𝛼 sin(𝛼𝑥) + 𝑐2 𝛼 cos(𝛼𝑥)
𝜋
Las condiciones de contorno se convierten en 𝑦(0) = 𝑦 ( 4 ) = 0. Para 𝜆 ≤ 0, la única
solución del problema del valor límite es 𝑦 = 0.
𝑦(0) = 𝑐1 cos(𝛼 ∗ 0) + 𝑐2 sin(𝛼 ∗ 0) = 0 → 𝑐1 ∗ 1 + 𝑐2 ∗ 0 = 0 ∴ 𝑐1 = 0, 𝑐2 ≠ 0

La condición 𝑦(0) = 0 implica 𝑐1 = 0, así que 𝑦 = 𝑐2 sin(𝛼𝑥).

𝜋 𝜋 𝜋
𝑦 ( ) = 𝑐1 cos (𝛼 ∗ ) + 𝑐2 sin (𝛼 ∗ ) = 0
4 4 4
𝜋 𝜋 𝜋
𝑦 ( ) = 0 ∗ cos (𝛼 ∗ ) + 𝑐2 sin (𝛼 ∗ ) = 0
4 4 4
 𝜋 𝜋
𝑦 ( ) = 𝑐2 sin (𝛼 ∗ ) = 0
4 4
𝜋 𝜋
Ahora la condición 𝑦 ( 4 ) = 0 implica 𝑐2 sin (𝛼 4 ) = 0. Para 𝑐2 ≠ 0 esta condición se
𝜋
mantendrá cuando 𝛼 = 𝑛𝜋 o 𝜆 = 𝛼 2 = 16𝑛2 , donde 𝑛 = 1, 2, 3, . .. . Estos son los valores
4
propios con funciones propias correspondientes sin(𝛼𝜃) = sin(4𝑛𝜃) = sin(4𝑛 tan−1 (𝑥)),
para 𝑛 = 1, 2, 3, . ..

(b) Proporcione una relación de ortogonalidad.

Respuesta:
Una relación de ortogonalidad es
𝑏 1
1
∫ 𝑝(𝑥)𝑦𝑚 (𝑥)𝑦𝑛 (𝑥) 𝑑𝑥 = ∫ sin(4𝑚 tan−1(𝑥)) sin(4𝑛 tan−1(𝑥)) 𝑑𝑥 = 0
1 + 𝑥2
𝑎 0

Cuando 𝑚 ≠ 𝑛
Bibliografía:
[1] «ppedii2.pdf». Accedido: may 21, 2020. [En línea]. Disponible en:
http://jacobi.fis.ucm.es/pparanda/EDPdf/EDii/ppedii2.pdf.
[2] D. G. Zill y W. S. Wright, Ecuaciones Diferenciales con problemas con valores en la
frontera. CENGAGE Learning, 2003.
[3] «or.pdf». Accedido: may 21, 2020. [En línea]. Disponible en:
https://www.cfm.cl/~rjimenez/edp1/or.pdf.
[4] UNADM, «Unidad 3. Transformadas en calor y ondas», en Transformaciones y series,
2020, pp. 1-11.
[5] H. P. Hsu, Analisis de Fourier. Wilmington, EUA: Addison-Wesley Iberomericana, 1987.
[6] J. J. Meza Espinosa, A. Moreno Silva, B. L. Reynoso Gómez, y M. Vázquez Gutiérrez,
Sistemas en tiempo real, 1ra ed. (Trauco), Rodríguez Sánchez María Salud, 2016.
[7] J. J. Meza Espinosa, L. López López, y J. G. Rivera Aguilar, Métodos matemáticos II.
(Trauco), Rodríguez Sánchez María Salud, 2014.