no te da la forma de los valores propios. Creo que estos son el aspecto más importante del estudio de la ED.
Claro, es estupendo cuando podemos manipular hábilmente una ecuación y producir fórmulas explícitas para los valores propios y las funciones propias. El problema es que casi nunca ocurre . (Ocurre en los libros de texto, para problemas que tienen soluciones explícitas. Pero no para problemas que proceden de modelos no demasiado idealizados del mundo real).
Entonces, dado que no podemos resolver ecuaciones diferenciales de forma explícita, ¿qué debemos hacer? Estudiamos la existencia, la unicidad, el comportamiento cualitativo (principio máximo, suavidad, etc.) y la asintótica a corto y largo plazo. Todo ello nos ayuda a comprender mejor lo que modelizamos con una ecuación diferencial, incluso sin tener una solución explícita.
Una fuente de problemas de Sturm-Liouville es la ecuación de difusión $u_t = (p u_x)_x $ y sus parientes. Utilizando la separación de variables, encontramos que existen soluciones de la forma $$u(x,t) = \sum X_n(x)T_n(t) \tag1$$ donde $X_n$ son funciones propias de un problema SL y $T_n$ son funciones exponenciales con valores propios en el exponente. Pero, ¿todas las soluciones son de la forma (1), o nos falta alguna? Resulta que todas las soluciones lo son, porque las funciones propias del problema SL forman una base ortogonal de $L^2$ .
¿Las soluciones decaen o crecen como $t\to\infty$ ? Depende del signo de los valores propios.
Además, ¿cuál es la forma aproximada de $u$ cuando $t$ ¿es grande? Debería ser el perfil de la función propia para el valor propio más bajo. Ah, pero ¿hay una eigenfunción, o tenemos múltiples? Es decir, ¿todas las soluciones tienen un perfil similar a largo plazo, o hay diferentes escenarios? El estudio de la multiplicidad de valores propios sigue.
O tal vez queramos averiguar con qué rapidez los valores propios superiores abandonan la escena, al ser dominados por los inferiores. Introduzca los límites inferiores de la brecha espectral...
1 votos
Lo más útil que se me ocurre es el hecho de que automáticamente sabes que puedes encontrar eigenfunciones ortonormales. Mostrar una ecuación es Sturm - Louville parece mucho más fácil que escribir cada solución e intentar ver si puedes hacer que las funciones propias sean ortonormales.
0 votos
Las funciones propias de una EDP autoadjunta correspondientes a diferentes valores propios son automáticamente ortogonales.
0 votos
Comprueba la solución de la ecuación de Schrodinger, por ejemplo.