Вы находитесь на странице: 1из 19

DEPARTAMENTO DE ENERGIA Y

MECANICA

CARRERA DE INGENIERIA MECATRONICA

INFORME No. 2 - MATEMATICA


SUPERIOR - NRC:
3344

TITULO: DESARROLLO DEL PROBLEMA DE


STRUM-LIOUVILLE

AUTORES:
MARTINEZ VERDESOTO, RUSBEL ALEXANDER
CHICAIZA, DIEGO ARMANDO
RENDON

MARCELO
SAMPEDRO GOMEZ,
ANDRES

DIRECTOR: DR. MARCELO ROMAN

LATACUNGA
2016

Indice general

1. GENERALIDADES

1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Tema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Justificacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Objetivo General . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Objetivos Especficos . . . . . . . . . . . . . . . . . . . . . . . . .

1.6. Alcance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. MARCO TEORICO

2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Historia del Arte . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Jacques Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4. Joseph Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5. Teora de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . .

2.6. Problema regular de Sturm-Liouville . . . . . . . . . . . . . . . .

2.7. Propiedades del problema regular de Sturm-Liouville . . . . . . .

2.8. Problema singular de Sturm-Liouville . . . . . . . . . . . . . . . .

12

3. EJERCICIOS

15

4. CONCLUSIONES Y RECOMENDACIONES

17

4.1. CONCLUSIONES . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

4.2. RECOMENDACIONES . . . . . . . . . . . . . . . . . . . . . . .

17

Captulo 1
GENERALIDADES

1.1.

Introducci
on

En el presente captulo se describe de manera general el tema, el cual sera


desarrollado a lo largo de todo el informe. Finalmente se presentan la justificacion,
los objetivos y el alcance.

1.2.

Tema

Desarrollo del problema de Sturm-Liouville.

1.3.

Justificaci
on

El presente trabajo se realiza pensando en los estudiantes de Ingeniera Mecatronica cuarto semestre de la Universidad de las Fuerzas Armadas ESPE - Ext.
Latacunga, con el objetivo de mostrar la forma de encontrar los valores propios
y soluciones propias de la ecuacion diferencial lineal de segundo orden.
La importancia de este trabajo se encuentra en el acercamiento brindado a
los estudiantes de aplicar los conceptos nuevos junto a los ya aprendidos en clase,
y as expandir tanto su conocimiento como sus ideas acerca de practicas que
podran realizar a partir del tema mostrado.

1.4.

Objetivo General
Desarrollar el problema de Sturm-Liouville.

1.5.

Objetivos Especficos
Estudiar las propiedades del problema regular de Sturm-Liouville.
Identificar las condiciones del problema en orden de encontrar soluciones
no triaviales.

1.6.

Alcance

El alcance del trabajo es mostrar el desarrollo del problema de Sturm-Liouville


y ayudar a los estudiantes de Ingeniera Mecatronica IV - A, a identificar los
distintos casos que ocurren en el mismo y su aplicabilidad.

Captulo 2

MARCO TEORICO

2.1.

Introducci
on

En el presente captulo se evidencian tanto antecedentes como conceptos de


acuerdo a las necesidades del tema. En primer lugar, se trata el contexto historico,
seguidamente se adjuntan conceptos generales y especficos, los cuales son de
fundamental importancia.

2.2.

Historia del Arte

Las ecuaciones diferenciales ordinarias tienen sus inicios en el siglo XVII con
el nacimiento del calculo, a partir de all se han desarrollado estas ecuaciones con
fin de expresar fenomenos o sucesos de la naturaleza en forma matematica. En el
siglo XVIII se continuo el estudio de las ecuaciones diferenciales de orden mayor
que uno debido a la progresion en el analisis de sistemas fsicos mas complejos,
como por ejemplo la astronoma o el movimiento de dos cuerpos debido a la gravedad.

En 1836, Sturm publico un estudio sobre las ecuaciones diferenciales ordinarias lineales de segundo orden. Partiendo de que no pueden ser resueltas analticamente en su mayora, intenta estudiar sus propiedades directamente desde la
ecuacion. Primeramente, analiza como se comportan las races de la solucion al
variar las condiciones iniciales o los coeficientes de la ecuacion. [1]

2.3.

Jacques Sturm

Jacques Charles Francois Sturm, nacio el 29 de septiembre de 1803 en Ginebra, Suiza y murio el 15 de diciembre de 1855 en Paris, Francia. Fue un matematico que en 1829 descubrio el teorema que lleva su nombre y que es un metodo de
hallar races reales de una funcion polinomica.

2.4.

Joseph Liouville

Nacio en Saint-Omer, Francia el 24 de marzo de 1809 y murio el 8 de septiembre de 1882 en Paris, Francia. Fue un matematico que trabajo en varios campos
de las matematicas, fsica matematica e incluso astronoma. Se le recuerda en
particular por el teorema que lleva su nombre.

En colaboracion con Sturm genero la Teora de Sturm-Liouville que es un


procedimiento estandar para resolver cierto tipo de ecuaciones diferenciales.

2.5.

Teora de Sturm-Liouville

Esta teora es importante en matematica aplicada, donde los problemas S-L


ocurren muy com
unmente, particularmente al resolver ecuaciones diferenciales
parciales con separacion de variables.
Definici
on. Un problema regular de Sturm-Liouville consiste en una ecuacion diferencial de segundo orden


d
dy
p(x)
+ (q(x) + w(x)) y = 0
dx
dx

(2.1)

y con valores en la frontera homogeneos, reales e independientes de de la forma


A1 y(a) + B1 y 0 (a) = 0
A2 y(b) + B2 y 0 (b) = 0
donde: p(x) es una funcion positiva y q(x) es real, en un intervalo finito cerrado
[a, b], los valores en la frontera tambien son llamados como condiciones de condy
torno o frontera, es decir, son los valores que tendran las funciones y y
en los
dx
extremos del intervalo definido. Ademas, w(x) es una funcion positiva (w(x) 0)
5

denominada funcion de densidad o peso.


Para la ecuacion se tiene un no especificado, que al resolver el problema se
encontraran sus eigenvalores1 , los mismos que daran paso a eigenfunciones2 .

Demostraci
on.

Una transformacion lineal L es un operador diferencial

lineal de orden n en el intervalo cerrado [a, b] si puede expresarse en la forma:


dn
d
L[f (x)] = an (x) n f (x) + + a1 (x) f (x) + a0 (x)f (x)
dx
dx
L = an (x)Dn + + a1 (x)D + a0 (x)
Esto se puede probar ya que una transfomacion lineal [2] debe cumplir que:
1. L(u + v) = L(u) + L(v), y
2. L(ku) = kL(u)
y un operador diferencial lineal se define como una funcion de diferenciacion del
d
operador, es decir, D =
.
dx
L [an (x)Dn + + a1 (x)D + a0 (x)]
= L [an (x)Dn ] + + L [a1 (x)D] + L [a0 (x)]
= an (x)L [Dn ] + + a1 (x)L [D] + a0 (x)L [1]

Por lo tanto, un operador diferencial lineal de segundo orden L:


L = a2 (x)D2 + a1 (x)D + (a0 (x) + ) = 0
puede expresarse como
a2 (x)y 00 + a1 (x)y 0 + (a0 (x) + )y = 0
a1 (x) 0 a0 (x) +
y +
y=0
a2 (x)
a2 (x)
entonces se lo puede multiplicar por un factor integrante3
Z
a1 (x)
dx
e a2 (x)
y 00 +

(2.2)

Llamados valores caractersticos o propios, es el conjunto de valores del parametro no

triviales.
2
Llamadas tambien funciones caractersticas o propias, son las soluciones a los eigenvalores.
3
Es una funci
on para convertir una ecuacion diferencial no exacta en exacta.

A partir de la ecuacion diferencial (2.2), se tiene que:






d2 y
a0 (x) +
a1 (x) dy
+
y=0
+
dx2
a2 (x) dx
a2 (x)


  

dy dy
a1 (x)
a0 (x) +
+
y +
y=0
dx dx
a2 (x)
a2 (x)


 


dy
a1 (x)
a0 (x) +
+
y dy +
ydx = 0
dx
a2 (x)
a2 (x)
M dy + N dx = 0


M
d2 y
a1 (x) dy
= 2+
x
dx
a2 (x) dx
a0 (x) +
N
=
y
a2 x)
M
N
6=
x
y
Demostrando as que la ecuacion diferencial anterior no era exacta.

Z
e

lo que resulta en
Z
Z
a1 (x) 
a1 (x)
a1 (x) 


dx
dx a (x)
dx a (x)

1
0
0
a2 (x) (y 00 )+e a2 (x)
a
(x)
2
+
y +e
y=0
a2 (x)
a2 (x) a2 (x)

observando los dos primeros terminos podemos notar que son la derivada de

Z
a1 (x)
dx
d
0
e a2 (x) y
dx
lo que generara
Z
Z
Z

a1 (x) 
a1 (x)
a1 (x) 


dx
dx a (x)
dx
d
1

0
0
+ e a2 (x)
y = 0
e a2 (x) y + e a2 (x)
dx
a2 (x)
a2 (x)
de forma mas compacta se tiene


d
dy
p(x)
+ (q(x) + w(x)) y = 0
dx
dx
donde:
Z

a1 (x)
dx
p(x) = e a2 (x)
Z


a0 (x)
q(x) =
e
a2 (x)
Z


1
w(x) =
e
a2 (x)

a1 (x)
dx
a2 (x)
a1 (x)
dx
a2 (x)
7

2.6.

Problema regular de Sturm-Liouville

Como ya se ha desarrollado ahora es mas facil entender que el problema


regular de Sturm-Liouville4 involucra una ecuacion diferencial lineal de segundo
orden que contenga un parametro . Debido a que un problema regular de SturmLiouville es un problema homogeneo de valores en la frontera, siempre posee una
solucion trivial y = 0, que por motivos de resolucion no se tomara en cuenta, as
solo se buscan valores propios y soluciones y no triviales y que dependan de [3].

2.7.

Propiedades del problema regular de Sturm-Liouville

Se tienen varias propiedades cuando las condiciones de frontera son regulares, pero solo se enlistaran algunas de las propiedades importantes del problema
regular de S-L.

Propiedad a). Las funciones propias (eigenfunciones) son ortogonales dentro del intervalo [a, b].
Demostraci
on de a). Partiendo del problema regular de Sturm-Liouville
y 00 + y = 0;

y(0) = 0, y(1) = 0

(2.3)

se puede identificar que p(x) = 1, q(x) = 0, w(x) = 1 en la ecuacion diferencial y


en la condicion de frontera se tiene que a = 0, b = 1, A1 = A2 = 1, B1 = B2 = 0.
y 00 + y = 0
D2 + = 0

D = i

y = A cos( x) + B sen( x)
A=0

y(1) = 0 = B sen

y(0) = 0 = A

Si se toma B = 0 se tendra una solucion trivial, entonces:

sen = 0 sen(m) = 0 para cualquier m real y entero


4

El problema de Sturm-Liouville tambien puede ser llamado sistema de Sturm-Liouville o

simplemente problema de S-L.


= m
= m2 2
Las eigenfunciones para los eigenvalores = m2 2 se obtienen con Bm sen(mx),
siendo m = 1, 2, 3, . Para verificar la ortogonalidad en el intervalo [0, 1] se
aplica
1

(Bm sen(mx)) (Bn sen(nx)) dx = 0


0

Bm Bn

[cos(m n)x cos(m + n)x] dx

[sen(mx)] [sen(nx)] dx = Bm Bn
0


= Bm Bn

sen(m n)x sen(m + n)x

(m n)
(m + n)

1
= 0 si m 6= n
0

Propiedad b). Las funciones propias (eigenfunciones) son ortogonormales


en el intervalo [a, b].
Demostraci
on de b). Se tiene una resolucion parecida a la demostracion
de la propiedad anterior y se cambia la consideracion de m 6= n por m = n, as
se obtiene
1

(Bm sen(mx)) (Bm sen(mx)) dx = 1


0

(Bm sen(mx))2 dx = 1

0
2
Bm

Z
0

2 Z 1
Bm
sen (mx) dx =
(1 cos(2mx)) dx
2 0

1
2
B2
Bm
sen(2mx)
= m =1
x
2
2m
2
0

2
Bm
= 2 Bm = 2
2

Se forma un conjunto ortonormal:

2 sen(mx), siendo m = 1, 2, 3,

Tambien se podra expresar el desarrollo de la funcion ortogonal en una serie de


Fourier, sabiendo que f (x) es una funcion definida en el intervalo [a, b]
f (x) = c0 0 (x) + c1 1 (x) + + cn n (x)
Z b
Z b
Z b
f (x)n (x) dx = c0
0 (x)m (x) dx + + cn
n (x)m (x) dx
a

Se producira ortogonalidad en el primer termino excepto cuando m = n, en este


caso se tiene
9

Z
f (x)m (x) dx = cm

2m (x) dx

Con los valores del problema regular de S-L y un f (x) = 1 planteado se obtiene
Rb
cm =

f (x)m (x) dx
Rb
2 (x) dx
a m

R1
2 sen(mx) dx
cm = R 1 0
( 2)2 sen2 (mx) dx
0
R1
2 0 sen(mx) dx
cm =
R
2 1 sen2 (mx) dx
0

1
cos(mx)

m
2
0
cm =

1
2 1
sen(2mx)
x
2
2m
0
1 cos(m)
cm = 2
m

f (x) =

X
2
[1 cos(m)] sen(mx)
m
m=0

Propiedad c). Las funciones propias (eigenfunciones) correspondientes a


valores propios (eigenvalores) reales y no negativos, son ortogonales respecto a la
funcion peso.

Demostraci
on de c). Para proceder con la demostracion se debe expandir
y definir los dos planteamientos que se tienen, uno, que los eigenvalores de un
problema regular de Sturm-Liouville son reales y dos, que se genera la condicion
de ortogonalidad con de las eigenfunciones respecto a la funcion peso. Apartir de
(2.1) y con condiciones en la frontera de tipo:
A1 y(a) + B1 y 0 (a) = 0
A2 y(b) + B2 y 0 (b) = 0
Se tiene que




d
dy
p(x)
+ q(x) + w(x) y = 0
dx
dx
10

A1 y(a) + B1 y 0 (a) = 0
A2 y(b) + B2 y 0 (b) = 0
Se multiplica el complejo por el conjugado y y el conjugado por y, dando


d
dy
p(x)y
+ [q(x) + w(x)] yy = 0
dx
dx




d
dy
p(x)y
+ q(x) + w(x) yy = 0
dx
dx
Restando ambas ecuaciones y simplificando




d
dy
dy
p(x)y
p(x)y
+ q(x) + w(x) q(x) w(x) yy = 0
dx
dx
dx


d 
p(x) yy 0 yy 0 + w(x) yy = 0
dx


d 
p(x) yy 0 yy 0 = w(x) yy
dx
Z b
Z b


w(x)( )yy dx =
d p(x) yy 0 yy 0
a

Z
( )





w(x)yy dx = p(b) y(b)y 0 (b) y(b)y 0 (b) p(a) y(a)y 0 (a) y(a)y 0 (a)

(2.4)
En las condiciones de frontera para que tanto A1 y A2 como B1 y B2 satisfagan
los sistemas
A1 y(a) + B1 y 0 (a) = 0

A1 y(a) + B1 y 0 (a) = 0

A2 y(b) + B2 y 0 (b) = 0

A2 y(b) + B2 y 0 (b) = 0

sin que ambos (A1 y B1 o A2 y B2 ) sean iguales a cero, el determinante de los coeficientes debe ser cero:


y(a) y 0 (a)


y(a) y 0 (a)




=0

y(a)y 0 (a) y 0 (a)y(a) = 0


De manera similar se realiza el determinante con el argumento de b, lo que da
y(b)y 0 (b) y 0 (b)y(b) = 0

11

Por ende se tiene


Z
( )

w(x)yy dx = p(b) [0] p(a) [0]


a
b

Z
( )

w(x)yy dx = 0

(2.5)

A partir de (2.4) se pueden formular dos consideraciones:


Eigenfunciones ortogonales con respecto a la funci
on peso w(x)
Si 6= se observa que
Z

w(x)yy dx = 0
a

de demuestra por la propiedad anterior de ortogonalidad mas una multiplicacion por w(x).
Eigenvalores reales
Como ya se vio en el punto anterior, si 6= se tendra que y y y deberan
ser ortogonales, pero en el caso de que = se tendra
Z b
( )
w(x)|y 2 |, dx = 0
a

como
yy = |y 2 | > 0
entonces
=0
= V alor Real

2.8.

Problema singular de Sturm-Liouville

Se llegan a generar casos diferentes bajor los cuales el lado derecho de la


ecuacion(2.4) sera cero, se agragera tambien el caso ya visto en la demostracion
de la propiedad c).
Caso 1. y(a)y 0 (a) y(a)y 0 (a) = 0 y(b)y 0 (b) y(b)y 0 (b) = 0.
El primero de estos es esquivalente a
a1 y(a) + b1 y 0 (a) = 0
12

a1 y(a) + b1 y 0 (a) = 0

donde a1 y b1 son constantes dadas. Se puede expresar de forma similar que


la segunda es equivalente a
a2 y(b) + b2 y 0 (b) = 0

a2 y(b) + b2 y 0 (b) = 0

donde a2 y b2 son constantes dadas. Podemos expresar las anteriores como


a1 y(a) + b1 y 0 (a) = 0

a2 y(b) + b2 y 0 (b) = 0 lo mismo para: y = y

Nos referimos a este caso como el caso ordinario.


y(b) + y 0 (b) y(b)y 0 (b) = 0

Caso 2. p(a) = 0

Se parte de la u
ltima condicion del caso 1, la que dice
a2 y(b) + b2 y 0 (b) = 0 y para: y = y
Puesto que p(a) = 0 es equivalente a la situacion donde la ecuacion diferencial de Sturm-Liouville tiene un punto singular en x = a, nos podemos
referir a este como un caso de un punto singular.
En cambio, si se toma un p(b) = 0 se genera una ecuacion similar
a1 y(a) + b1 y 0 (a) = 0quady para: y = y
y en este caso se tendra un punto singular en x = b, en vez de x = a.
Caso 3. p(a) = 0 y

p(b) = 0

Este caso ocurrira en una ecuacion diferencial de Sturm-Liouville con dos


puntos singulares, esto es, en x = a y x = b, nos referimos a este caso como
el caso de dos puntos singulares. Un ejemplo de este caso sera p(x) = 1x2 ,
lo que dara a = 1, b = 1.
Caso 3. p(a) = p(b) 6= 0,

y(a) = y(b), y 0 (a) = y 0 (b) similar para: y = y

Este caso llega a ser llamado caso periodico, ya que los valores de p(x), y(x)
y y 0 (x) son los mismos para x = a y x = b.
A manera de resumen se coloca la siguiente cuadro con los aspectos generales
de cada caso [4].

13

1. Caso ordinario, P (a) 6= 0, p(b) 6= 0


a1 y(a) + b1 y 0 (a) = 0,

a2 y(b) + b2 y 0 (b) = 0

2. Caso de un punto singular, p(a) = 0


y y y 0 acotadas en x = a,

a2 y(b) + b2 y 0 (b) = 0

De la misma manera se encuentra un problema al intercambiar a y b.


3. Caso de dos puntos singulares, p(a) = p(b) = 0
y y y 0 acotadas en x = a, y x = b
4. Caso peri
odico, p(a) = p(b) 6= 0
y(a) = y(b),

y 0 (a) = y 0 (b)

Cada uno de estos problemas de valor de frontera se llama un problema de valor


de frontera de Sturm-Liouville o simplemente un problema de Sturm-Liouville.

14

Captulo 3
EJERCICIOS

1. Transforme y 00 + 2xy 0 + (x + )y = 0 en la ecuaci


on (2.1) por medio
del procedimiento de forma est
andar. [5]
Como ya se observo, la ecuacion (2.1) puede ser expresada en una forma
estandar de tipo
a2 (x)y 00 + a1 (x)y 0 + (a0 (x) + )y = 0
donde a2 (x) no se anula en [a, b], esto se puede lograr si y solo si a02 (x) =
a1 (x), esta condicion siempre se puede forzar al multiplicar la ecuacion por
un factor integrante apropiado.

Aqu a2 (x) = 1 y a1 (x) = 2x, entonces p(x) = e

2x dx

= ex y multiplicando

este factor integrante con la ecuacion del ejercicio se tiene


2

ex y 00 + 2xex y 0 + xex y + ex y = 0


ex y 0

0

+ xex y + ex y = 0

Esta
u
ltima ecuacion sera la transformacion, con
p(x) = ex

q(x) = xex

w(x) = ex

2. Resolver el problema de valor en la frontera [3]


y 00 + y = 0,

y(0) = 0,

y(1) + y 0 (1) = 0

Esto se resulve encontrando primeramente los eigenvalores del parametro


D2 + = 0
15

= 2

D=

y = A cos(2 x) + B sen(2 x)

y(0) = 0 implica A = 0 y = B senx


y(1) + y 0 (1) = B sen + B cos = 0
Como B 6= 0 porque caso contrario se tendra una solucion trivial, se saca
como factor com
un
B(sen + cos ) = 0
sen = cos
tan =
para poder graficarlo, se considera x =
y = tan x y y = x

Figura 3.1: Races positivas de la funcion tan x = x

16

Captulo 4
CONCLUSIONES Y RECOMENDACIONES

4.1.

CONCLUSIONES
El estudio del problema regular S-L nos muestra las propiedades de ortogonalizacion, ortonormalizacion, as como el entendimiento de que se generan
eigenvalores meramente reales.
Se observo las caractersticas que tiene el problema singular de S-L, lo que
nos muestra relaciones de ortogonalidad dependiendo del valor que tome x.

4.2.

RECOMENDACIONES
Tener previos conocimientos generales sobre el tema a tratar para no crear
confusion.
Revisar conceptos de ecuaciones diferenciales antes de proseguir el tema a
profundidad.

17

Bibliografa

[1] Wikipedia.

Historia de las ecuaciones diferenciales, 2016 (Accedido 23

de Julio, 2016).

https://es.wikipedia.org/wiki/Historia_de_las_

ecuaciones_diferenciales.
[2] Domingo Pestana y Jose Manuel Rodrguez Arturo de Pablo. Apuntes de am
pliacion de matemAticas
ii para ingenieros de telecomunicaciones, (Accedido
22 de Julio, 2016). http://www.cfm.cl/~rjimenez/edp1/or.pdf.
[3] Matematicas Avanzadas Para Ingeniera II. McGraw-Hill Interamericana,
Mexico, 2008.
[4] Ecuaciones diferenciales aplicadas. Prentice-Hall Hispanoamericana, Mexico,
1983.
[5] Ecuaciones diferenciales. McGraw-Hill Interamericana, Mexico.

18