INTRODUCCIÓN

La teoría presentada en este trabajo fue creada en una serie de artículos entre 1829
y 1840 por J.C.F. Sturm y J. Liouville. Su trabajo después conocido como Teoría de
Sturm–Liouville, creó un completo y nuevo tema en el análisis matemático. En
particular, esta teoría permitió la generalización de la idea de series trigonométricas
y se extendió el uso de las funciones de Green a un amplio rango de las ecuaciones
diferenciales. La teoría trata con la ecuación diferencial general lineal de segundo
orden
𝑑 𝑑𝑦
(𝑝(𝑥) ) + (𝑞(𝑥) + 𝜆𝑤(𝑥))𝑦 = 0
𝑑𝑥 𝑑𝑥
Donde la variable real x es restringida a un intervalo cerrado, [a, b] el cual puede
ser la recta real completa o solo los reales no negativos. Las funciones reales
𝑝(𝑥), 𝑞(𝑥) 𝑦 𝑤(𝑥) son conocidas y satisfacen las condiciones que serán descritas
más adelante. Además de las ecuaciones diferenciales, las condiciones a la frontera
serán especificadas. Sabiendo que las soluciones existen solamente para valores
particulares de la constante 𝜆, los cuales son llamados eigenvalores y la solución
y(x) es llamada la eigenfunci´on para el eigenvalor 𝜆. En esta sección no
especificaremos ninguna condición a la frontera, porque diferentes tipos de
problemas producen diferentes tipos de condiciones. La ecuación anterior junto con
cualquier condición a la frontera, es conocida como un Sistema de Sturm–Liouville
(´o problema de Sturm–Liouville).
Los problemas de Sturm–Liouville son importantes particularmente porque surgen
en diversas circunstancias y particularmente porque las propiedades de los
eigenvalores y eigenfunciones son bien comprendidas. Por ejemplo, encontramos
que existe un conjunto de eigenvalores 𝜆𝑘, 𝑘 = 0, 1, 2, . .. y que el conjunto de
eigenfunciones 𝑦𝑘(𝑥), 𝑘 = 0, 1, 2, . .. es completo y luego esas funciones pueden ser
utilizadas para formar series generalizadas de Fourier. Los resultados de Sturm y
Liouville son impresionantes cuando los vemos en el contexto de las matemáticas
al inicio del siglo XIX. Antes de 1820 los trabajos en ecuaciones diferenciales
estaban enfocados en encontrar soluciones en términos de fórmulas finitas, pero
para la ecuación general anterior Sturm no podría encontrar una expresión para la
solución pero obtuvo información acerca de las propiedades de la solución de la
ecuación misma. Esta información fue la primer teoría cualitativa de las ecuaciones
diferenciales y anticipado al trabajo de Poicaré en ecuaciones diferenciales no
lineales desarrollado a finales del siglo XIX.
RESUMEN
El objetivo del presente documento, como su nombre lo dice, es realizar un análisis
de sistemas de Sturm–Liouville, el análisis que se hace es acerca del
comportamiento de los eigenvalores y eigenfunciones de sistemas de Sturm–
Liouville Regulares. Poco a poco iremos descubriendo muchas propiedades acerca
de este tipo de ecuaciones. En el desarrollo de la tesis veremos un poco acerca de
cómo surgió la teoría de Sturm–Liouville, cómo sus creadores fueron descubriendo
por separado esta interesante teoría. También veremos una introducción a los
sistemas de Sturm–Liouville mediante algunas definiciones y teoremas los cuales
nos serán de gran ayuda al resolver y analizar nuestros problemas. Después de ver
un poco de definiciones y teoremas, veremos la solución de algunos sistemas de
Sturm–Liouville, problemas importantes de la física-matemática y además daremos
algunos ejemplos a considerar. Para cerrar, veremos el teorema más importante de
la teoría de Sturm–Liouville, el cual nos demuestra las propiedades más
sobresalientes de este tipo de sistemas, el Teorema de Sturm–Liouville. Cabe
señalar que las funciones que se dan a conocer son del sistema Maple, el cual ha
sido de mucha importancia y ayuda para realizar los cálculos difíciles y engorrosos
de algunos problemas. También mostramos algunas de las características de los
sistemas de Sturm–Liouville, cómo identificar cuando son regulares, singulares,
periódicos, entre otros. La mayoría de estas definiciones y teoremas están puestos
con el propósito de dar a conocer al lector algunas de las propiedades más
importantes de los sistemas de Sturm–Liouville, tanto de los problemas regulares
como de los singulares.
MARCO TEÓRICO
Por medio de ortogonalidad por ejemplo:

𝑎
𝜌 𝜌
∫ 𝐽𝑣 (𝛼𝑣𝑚 ) 𝐽𝑣 (𝛼𝑣𝑛 ) 𝜌𝑑𝜌 = 0 (1)
0 𝑎 𝑎
𝜌
Donde los 𝛼𝑣𝑚 son tales que 𝐽𝑣 (𝛼𝑣𝑚 𝑎) = 0

Y también por la normalización (sin demostración)

𝑎
𝜌 2 𝑎2
∫ [𝐽𝑣 (𝛼𝑣𝑚 )] 𝜌𝑑𝜌 = [𝐽𝑣+1 (𝛼𝑣𝑚 )]2
0 𝑎 2

𝜌
Sugieren que 𝐽𝑣 (𝛼𝑣𝑚 𝑎) pueden ser base de un espacio de funciones en [0, 𝑎].

Poniendoℎ = 𝛼𝑣𝑚 /𝑎 𝜎 = 𝑣 en:

1 𝜎2
𝑓 ′′ (𝑥) + 𝑓 ′ (𝑥) + (ℎ2 − 2 ) 𝑓(𝑥) = 0
2 𝑥
(2)
1 𝜎2
𝑔′′ (𝑥) + 𝑔′ (𝑥) + (ℎ2 − 2 ) 𝑔(𝑥) = 0
2 𝑥
Encontramos que satisfacen la ecuación:
1 𝛼 2 𝑣𝑚 𝑣 2
𝜌𝑓 ′′ (𝜌) + 𝑓 ′ (𝜌) + ( 2 − 2 ) 𝜌𝑓(𝜌) = 0
2 𝑎 𝜌
𝑑 𝑑 𝛼 2 𝑣𝑚 𝑣 2 (3)
(𝜌 𝑓) + ( 2 − 2 ) 𝜌𝑓(𝜌) = 0
𝑑𝜌 𝑑𝜌 𝑎 𝜌
Que es un problema de autovalores de un operador autoadjunto. En efecto,
tomando el operador autoadjunto
𝑑 𝑑 𝑣2
ℒ= (𝜌 ) −
𝑑𝜌 𝑑𝜌 𝜌
Y la función de peso
𝜔(𝜌) = 𝜌 > 0 𝑒𝑛 𝜌 ∈ [0, ∞]
En (3) corresponde al problema de autovalores de ℒ, con autovalores
 𝛼𝑣𝑚 2
𝜆𝑣𝑚 =
𝑎2
Así, las funciones 𝐽𝑣 (𝜆𝑣𝑚 𝜌) asociadas a cada autovalor, para 𝑚 =
0, 1, 2, …(𝑣 𝑒𝑠𝑡á 𝑓𝑖𝑗𝑜) serán un set completo en el cual se podrá expandir cualquier
función en [0, ∞]
¿A qué problemas físicos está asociado este problema de Sturm-Liouville?
Consideremos nuevamente el operador laplaciano, como en:

∇2 𝜓(𝑟⃗) + 𝑓(𝑟)𝜓(𝑟⃗) = 0 (4)

Pero ahora en coordenadas cilíndricas:

1 𝑑 𝑑 1 𝑑2 𝑑 (5)
∇2 𝜓(𝑟⃗) = [ (𝜌 ) + 2 2
+ 2 ] 𝜓(𝜌, 𝜙, 𝑧)
𝜌 𝑑𝜌 𝑑𝜌 𝜌 𝑑𝜙 𝑑𝑧

Se aprecia de inmediato que en un proceso de separación de variables, las

derivadas respecto a z serán reemplazadas por una constante, y las derivadas
respecto a _ serán reemplazadas por otra constante, quedando para la parte radial
precisamente la ecuación de Bessel en la forma (3). Por tanto, las funciones de
Bessel aparecerán típicamente (no únicamente) como soluciones de problemas que
involucren el operador de Laplace (encontrar un potencial electrostático -ecuación
de Laplace-, modos normales de oscilación –ecuación de Helmholtz-, etc.) Y que
tengan simetría cilíndrica.