Licenciatura en Matemáticas

Materia: Transformaciones y Series

Grupo: MT-MTSE-1902-B2-001 

Docente en línea:
Marco Vínico Llanes Rueda

Alumno: Iván Vargas Hernández

Matrícula: ES162008794

Unidad 3 Actividad 1:
El problema de Sturm-Liouville
Ciudad de México a 22 de noviembre del 2019.
1. Encontrar los eigenvalores y las eigenfunciones de los siguientes problemas de Sturm-
Liouville y verificar la ortogonalidad por cálculo directo.
(a) y ' ' + λy=0 y ( 0 )=0 y ' ( 1 ) =0

Para el valor negativo λ=−v 2 la solución general de la ecuación es

vx −vx
y ( x ) =c 1 e + c2 e

' vx −vx
y ( x )=c1 v e −c2 v e

Aplicamos las condiciones iniciales

v (0 ) −v ( 0 )
y ( 0 )=c1 e + c2 e =c 1 +c 2=0 ⟹ c 2=−c 1

y ( 1 ) =c 1 v e −c 2 v e =v ( c 1 e −c 2 e ) =0
' v −v v −v

vx −vx
Cuando v=0 se tiene para y ( x ) =c 1 e + c2 e que y ( x ) =c 1+ c 2=c 1−c 1=0 que no
es eigenfunción,

Entonces debemos tomar v ≠ 0 con lo cual

c 1 e v −c 2 e−v =c 1 ev +c 1 e−v =c 1 ( e v + e−v )=0 ⟹ c 1=−c2 =0

De donde y ( x ) =0 la cual no es eigenfunción

'' '
Para λ=0 tenemos y =0 ⟹ y ( x )=c 1 ⟹ y ( x ) =c 1 x +c 2
Aplicamos las condiciones iniciales
y ( 0 )=c2 =0 y ' ( 1 )=c1=0
De donde y ( x ) =0 la cual no es eigenfunción

Para el valor positivo λ=v2 la solución general de la ecuación es

y ( x ) =A cos ( vx ) + B sin ( vx )

'
y ( x )=−Av sin ( vx ) + Bv cos ( vx )

Aplicamos las condiciones iniciales

y ( 0 )= A cos ( 0 ) +B sin ( 0 )= A=0

'
y ( 1 ) =Bv cos ( v ) =0
Cuando v=0 podemos darle a B cualquier valor constante, con lo cual tenemos
y ( x ) =B sin ( 0 )=0 no es eigenfunción

Entonces debemos tomar v ≠ 0 y también requerimos que B≠ 0 , así tomando B=1

π 3π 5π 7π
con v=± ,± ,± ,± ,… obtenemos las funciones y ( x ) =sin ( vx )
2 2 2 2

π 3π 5π 7π
Así para toda v=± ,± ,± ,± ,… se tiene que y ( x ) =sin ( vx ) son las
2 2 2 2
eigenfunciones del problema y λ=v2 son los eigenvalores.

π 3π 5π 7π π 3π 5π 7π
Tomando v1 =± ,± ,± ,± , … y v 2=± , ± ,± ,± , … calculamos
2 2 2 2 2 2 2 2

π π

∫ sin ( v1 x ) sin ( v 2 x ) dx= 12 ∫ ¿ ¿

−π −π

[ ]
π
1 sin ( v 1−v 2 ) x sin ( v 1 + v 2) x
− =0
2 v 1−v 2 v 1 +v 2 −π

Además de que estas funciones y ( x ) =sin ( vx ) son parte del conjunto del sistema
trigonométrico, por lo tanto son ortogonales

(b) y ' ' + λy=0 y ( 0 )= y ( 2 π ) y ' ( 1 )= y ' ( 2 π )

Para el valor negativo λ=−v 2 la solución general de la ecuación es

vx −vx
y ( x ) =c 1 e + c2 e

y ' ( x )=c1 v e vx−c2 v e−vx =v ( c 1 e vx −c 2 e−vx )

Aplicamos las condiciones iniciales

y ( 0 )=c1 e v (0 )+ c2 e−v (0 )=c 1 +c 2=c 1 e v ( 2 π )+ c 2 e−v (2 π )= y ( 2 π )

y ' ( 1 ) =v ( c 1 e v −c 2 e−v ) =v ( c 1 e v (2 π )−c 2 e− v ( 2 π ) )= y ' ( 2 π )

vx −vx
Cuando v=0 se tiene para y ( x ) =c 1 e + c2 e que y ( x ) =c ≠ 0 es eigenfunción
con λ=0 eigenvalor
Cuando v ≠ 0 se tiene
c 1 +c 2=c 1 e v ( 2 π ) +c 2 e− v ( 2 π )

c 1 e v −c 2 e−v =c 1 ev (2 π )−c 2 e−v ( 2 π )

De donde c 1=c2=0 con lo cual y ( x ) =0 no es eigenfunción

Para el valor positivo λ=v2 la solución general de la ecuación es
y ( x ) =A cos ( vx ) + B sin ( vx )

y ' ( x )=−Av sin ( vx ) + Bv cos ( vx )

Aplicamos las condiciones iniciales

y ( 0 )= A= A cos ( 2 πv ) + B sin ( 2 πv )= y ( 2 π )

' '
y ( 1 ) =−Av sin ( v ) + Bv cos ( v )=− Av sin ( 2 πv ) + Bv cos ( 2 πv )= y ( 2 π )

De donde
A=A cos ( 2 πv ) + B sin (2 πv )

v (− A sin ( v )+ B cos ( v ) )=v (− A sin ( 2 πv )+ B cos ( 2 πv ))

Cuando v=0 podemos darle a A cualquier valor constante, con lo cual tenemos
y ( x ) =A ≠0 la cual es eigenfunción con λ=v2 =0 su eigenvalor

Ahora tomamos v ≠ 0 con lo cual

A=A cos ( 2 πv ) + B sin (2 πv )

− A sin ( v ) + B cos ( v ) =− A sin ( 2 πv ) +B cos ( 2 πv )

Tomando v=± 1, ± 2, ± 3 ,± 4 , … se consigue

A=A ( Podemos dar cualquer valor constante a A )

sin ( v )
− A sin ( v ) + B cos ( v ) =B ⟹ B= A
cos ( v ) −1

sin ( v )
Con A=1⟹ B= obtenemos para y ( x ) =A cos ( vx ) + B sin ( vx )
cos ( v )−1
 y ( x ) =cos ( vx )+
( sin ( v )
cos ( v ) −1 )
sin ( vx )

Así para toda v=± 1, ± 2, ± 3 ,± 4 , … se tiene que

y ( x ) =cos ( vx )+ ( sin ( v )
cos ( v ) −1 )
sin ( vx )

son eigenfunciones del problema y λ=v2 son los eigenvalores.

Y sabiendo que estas funciones y ( x ) están construidas con funciones senos y cosenos
del sistema trigonométrico, las combinaciones lineales entre si también serán ortogonales

2. Considere la ecuación y ' ' + λy=0 sujeta a y ' ( 0 )=0 , y ' ( L ) =0 Demuestre que las
funciones propias son

{ ( ) ( ) }
1, cos
π
L
x , cos
2π
L
x ,…

Este conjunto, que es ortogonal en [ 0 , L ] es la base de la serie coseno de Fourier.

Para y ( x ) =1⟹ y ' ( x )=0⟹ y ' ' ( x )=0 con lo cual λ=0 y se sigue

''
y + λy=0

0+ ( 0 )( 1 ) =0

' ' '

y ( x )=0⟹ y ( 0 )=0 y ( L ) =0

Con lo cual y ( x ) =1 es función propia con λ=0 valor propio

Para y ( x ) =cos ( )
nπ
L
'
x ⟹ y ( x )=−
nπ
L ( ) ( )
sin
nπ
L
''
x ⟹ y ( x ) =−
nπ 2
L
cos
nπ
L
x ( ) ( ) con lo

( ) y se sigue
2
nπ
cual λ=
L
''
y + λy=0

( ) ( ) ( ) ( cos( nπL x))=0

nπ 2 2
nπ nπ
− cos x +
L L L

'
y ( x )=− ( nπL ) sin ( nπL x) ⟹ y ( 0)=0 y ( L )=0
' '
 ( ) ( )
2
nπ
Con lo cual y ( x ) =cos x son funciones propias para n=1,2,3 , … . con λ= nπ
L L
valores propios.

Reforzando lo anterior tenemos que:

Para el valor negativo λ=−v 2 la solución general de la ecuación es
vx −vx
y ( x ) =c 1 e + c2 e

y ' ( x )=c1 v e vx−c2 v e−vx =v ( c 1 e vx −c 2 e−vx )

Aplicamos las condiciones iniciales

y ' ( 0 )=v ( c1−c 2) =0 ⟹ c 1=c 2

y ' ( L ) =v ( c 1 e vL−c 2 e− vL) =v c 1 ( e vL−e−vL )=0

Cuando v=0 se tiene para y ( x ) =c 1+ c 2 que y ( x ) =1≠ 0 es eigenfunción

Cuando v ≠ 0 se tiene que c 1=c2=0 con lo cual y ( x ) =0 que no es una eigenfunción

'' '
Para λ=0 tenemos y =0 ⟹ y ( x )=c 1 ⟹ y ( x ) =c 1 x +c 2
Aplicamos las condiciones iniciales
y ' ( 0 )=c 1=0 ⟹ y ( x ) =c 2=1
De donde y ( x ) =1≠ 0 es eigenfunción

Para el valor positivo λ=v2 la solución general de la ecuación es

y ( x ) =A cos ( vx ) + B sin ( vx )

y ( x )=−Av sin ( vx ) + Bv cos ( vx )=v (− A sin ( vx ) + B cos ( vx ))

'

Aplicamos las condiciones iniciales

y ' ( 0 )=vB=0

y ( L ) =v (− A sin ( vL ) + B cos ( vL ) )=0

'

Cuando v=0 se tiene que y ( x ) =A=1 ≠ 0 es eigenfunción

Cuando v ≠ 0 se tiene que

 '
y ( 0 )=vB=0 ⟹ B=0

'
y ( L ) =−vA sin ( vL )=0⟹ sin ( vL )=0

nπ
De donde sin ( vL )=0 se cumple cuando v= con n=1,2,3 , … con lo cual para
L

y ( x ) =cos ( vx ) tenemos que y ( x ) =cos ( nπL x) son las eigenfunciones

3. Considere el problema regular de Sturm-Liouville

d
[ ( 1+ x 2 ) y' ] + λ 2 y=0 y ( 0 )=0 y ( 1 )=0
dx 1+ x
(a) Encuentre los valores propios y las funciones propias del problema de valor en la
frontera.
Sugerencia: Establezca x=tanθ y después utilice la regla de la cadena

Tomando x=tanθ se tiene que

d
[ ( 1+ x 2 ) y' ] + λ 2 y=0
dx 1+ x

d
[ ( 1+ tan 2 θ ) y ' ] + λ 2 y =0
dx 1+ tan θ

d
dx
[ ( sec 2 θ ) y ' ] + λ2 y =0
sec θ

( sec 2 θ ) y ' ' + y ' ( 2 sec θ ) ( sec θ tan θ ) θ' + λ ( cos 2 θ ) y =0

( sec2 θ ) y ' ' + 2 y ' ( sec2 θ tan θ ) θ' + λ ( cos 2 θ ) y=0

y +2 y ( tan θ ) θ + λ ( cos θ ) y=0

'' ' ' 4

De donde para n=1,2,3 , … tenemos y n ( x ) =sin ( 4 nθ )y regresando del cambio de

variable x=tanθ se tiene y n ( x ) =sin ( 4 n tan −1 x )

Veamos que se cumplen las condiciones impuestas

y n ( 0 )=sin ( 4 n tan ( 0 ) )=sin ( 4 n ( 0 ) )=¿ sin ( 0 ) =0 ¿
−1

( ( ))
y n ( 1 )=sin ( 4 n tan −1 ( 1 ) ) =sin 4 n
π
4
=¿ sin ( nπ ) =0 ¿
Así las funciones propias son y n ( x ) =sin ( 4 n tan −1 x ) con valores propios λ n=16 n , para
2

n=1,2,3 , …

(b) Proporcione una relación de ortogonalidad

Nuestra relación de ortogonalidad está dada por medio del producto interno que usa la
integración
1

∫ 1+1x 2 sin ( 4 m tan−1 x ) sin ( 4 n tan−1 x ) dx=0

0

Referencias bibliográficas:

UnADM. (s.f.). Transformaciones y Series. Unidad 3. Transformadas en calor y ondas.

Recuperado el 22 de noviembre del 2019 de:
https://unadmexico.blackboard.com/bbcswebdav/institution/DCEIT/2016_S1-B2/MT/08/
MTSE/U3/Unidad%203._Transformadas_en_calor_y_ondas.pdf

Hsu, H. (1995). Signals and Systems. (Schaum). U.S.A. McGraw-Hill.

Kreyszig, E. (2011). Advanced Engineering Mathematics. 10th edition. U.S.A. Wiley.

Alvarado, P. (2010). Señales y sistemas. Fundamentos Matemáticos. Escuela de

Ingeniería Electrónica.

Oppenheim, A. (2009).Tratamiento de señales en tiempo discreto. 3ra edición. España.

Pearson.