Problema espectral de Sturm Liouville.

Consideremos algunos mtodos aproximados para el clculo de valores propios y funciones propias de los operadores lineales diferenciales. Las aplicaciones ms importantes de este tipo de problemas estn en el marco de la mecnica cuntica. Como un ejemplo tpico, consideremos el problema de calcular la funcin de onda de una partcula que se mueve en un campo central con potencial . La determinacin de la funcin de onda conduce a la ecuacin de Schrdinger Aqu, es el operador de Laplace en las coordenadas esfricas ; , son constantes conocidas. La funcin est definida en tres dimensiones; las condiciones de frontera para ella estn limitadas por la norma de Hilbert. En la ecuacin (1) se determinarn los valores reales discretos de , en virtud del cual el problema tiene solucin no trivial (puntos del espectro discreto del operador de Schrdinger). Buscamos una solucin en la forma , donde es una conocida funcin esfrica ( - enteros). Denotando: Obtenemos la forma final del problema:

La ecuacin (2) est definida para . Para convenimos que . La segunda condicin, la condicin de normalizacin

Tiene una consecuencia importante: determina el signo del espectro ; esto implica que . De hecho, para valores suficientemente grandes de , el potencial es pequeo y las soluciones de (2) coinciden cualitativamente con las soluciones de es decir Si , sera una funcin del tipo , que es claramente incompatible con la normalizacin (3). (Sin embargo, estas soluciones estn limitadas, por lo tanto, para todo forman un espectro continuo, que no es de inters). Si , la normalizacin se consigue haciendo . El intervalo puede (aproximadamente) ser presentado en dos partes. Para cercano a cero, el signo del factor est determinado por el potencial y, como , puede ser negativo. En este caso, las soluciones de la ecuacin tienen un carcter oscilatorio. Para grande, el signo del factor , est determinado por la cantidad , es decir, la funcin es de tipo exponencial, de la forma (fig. 18), y, como se ver ms adelante, . lo0s clculos se tienen que tratar con valores bastante grandes de

Para evaluar adecuadamente la viabilidad del mtodo que se explicar a continuacin, iniciamos analizando las dificultades encontradas cuando se trata de resolver el problema utilizando herramientas estndar. Utilicemos el mtodo de reduccin a cero. Valor . Definimos

arbitrariamente, por ejemplo, , y solucionamos (aproximadamente) el problema de Cauchy para la ecuacin (2), considerando , de una u otra manera, dado. De esta manera, tenemos una funcin . Los valores propios deseados valores discretos de , son de tal manera que la funcin cuando tenga comportamiento asinttico , es decir, no contenga la segunda componente creciente de la solucin general. En la prctica, slo un valor grande de es designado y se pone la condicin . sta es la ecuacin para los valores propios que puede ser resuelta, por ejemplo, usando el mtodo de Newton, simplemente seleccionando: para obtenemos , para tenemos , tomando , etc. Sin embargo, en la implementacin numrica del procedimiento se encuentran serias dificultades. El hecho es que la parte de forma exponencial en el problema de Cauchy, es inestable. Una pequea desviacin de la solucin numrica exacta dar lugar a la componente (incluso con un pequeo coeficiente ), y para grandes valores de esta componente ser una parte clave en la solucin. Adems, el error de la integracin numrica en este caso, tambin contribuye a la solucin aproximada de orden ( - paso de integracin numrica, - orden de exactitud del mtodo utilizado). Las dificultades de este tipo son superadas por el mtodo de barrido. En este caso, la solucin se trata con una relacin de barrido de la forma . Para la funcin deseada se deduce fcilmente la ecuacin (ver 9): Por la izquierda, la condicin de frontera es obvia: del extremo derecho, es una condicin de comportamiento asinttico . La condicin interrupcin del

, que puede ser aproximada a la

condicin . La aplicacin de este enfoque implica dos dificultades. En la regin donde y la solucin tiene carcter oscilatorio, necesariamente tiene un punto , en el cual y, por lo tanto, . En la regin donde disminuye exponencialmente,

tambin hay complicaciones. Vamos a examinar a fondo esta cuestin, ignorando el valor de en comparacin con . La ecuacin tiene dos estados de equilibrio: anlisis del campo direccional muestra que la rama . Un simple es

asintticamente estable, y la rama es, por el contrario, inestable. Es necesario llegar a esta segunda rama. Ahora describiremos un algoritmo para hacer frente a estas dificultades el algoritmo de barrido trigonomtrico. Antes de exponer a fondo este asunto, haremos algunas observaciones sobre la naturaleza de las operaciones computacionales. Para las aplicaciones son necesarios los primeros valores propios (la numeracin de los valores propios se realiza en orden ascendente ). Estos clculos deben hacerse para unos pocos , es decir, es necesario resolver el problema repetidas veces. Por, lo tanto, el algoritmo para soluciones aproximadas viene a ser una herramienta muy efectiva y econmica. El operador (2) es autoadjunto, por lo que todo es vlido. Recordemos tambin la teora de oscilaciones: la numeracin natural de los valores propios asociados a los ceros de . El barrido trigonomtrico se basa en la introduccin de una funcin , relacionada con la funcin en la proporcin Expliquemos su procedencia, pero al mismo tiempo conozcamos el sentido geomtrico de (ser til). En la fig. 19 (cualitativamente) se muestra el plano de fase y la trayectoria .

En ella se observa un caso en el que la trayectoria tiene seis ceros (puntos ). Esto significa que muestra la quinta funcin propia (la primera, por ejemplo, tiene slo dos ceros: y ). Representemos al punto en coordenadas polares: La ecuacin (4) es una consecuencia obvia de (5). El ngulo es el ngulo del punto . La condicin de frontera corresponde al ngulo . Cada cero en corresponde a un cambio de en . Hay que tener en cuenta tambin que, la funcin requerida se determina con un factor de precisin: Aqu, para la normalizacin , el ngulo disminuye; para la normalizacin el ngulo aumenta. Ahora podemos formular la condicin de frontera de : , donde es el nmero del valor propio. Esto es muy conveniente en los clculos prcticos realizados: permite especificar el nmero de valores propios. Obtengamos la ecuacin diferencial para tal como se suele hacer en los algoritmos de barrido. Diferenciemos la ecuacin (4) respecto a : Sustituyendo en esta expresin , tenemos:

Las ecuaciones (4) y (6) conforman un sistema de ecuaciones lineales homogneas para y . Igualando el determinante a cero, se obtiene la ecuacin para : La integracin numrica de este problema de Cauchy determina la funcin . Su grfica se parece a una escalera con secciones casi verticales en la vecindad de . Esto debe ser considerado para resolver las ecuaciones . Vamos a encontrar el nmero , para el cual la solucin de (7) satisface ambas condiciones de contorno. Tenemos que encontrar la funcin propia , lo cual es suficiente para determinar la amplitud . Deduzcamos la ecuacin diferencial para . Diferenciando la primera de las relaciones (5): . De acuerdo con las segunda de las relaciones (5): . Teniendo en cuenta esto, se obtiene

Como resultado se obtiene El valor de es arbitrario, por ejemplo . En cualquier caso, la solucin debe ser racional. Por ltimo, averigemos la estructura cualitativa de la trayectoria . Para cerca de cero, los valores de y oscilan, los de y decrecen de forma montona. En el lado derecho del intervalo , la funcin , as que . As, primero disminuye, luego, la tasa de disminucin es lenta, y la grfica de , se torna casi horizontal. Tal estructura simple de la solucin puede dar la impresin de que la ecuacin para se puede integrar en un slo gran paso. En 5 se indica que los pasos elegidos en la integracin numrica deben centrarse en esta simple observacin: cada regin de las soluciones caractersticas debe cubrir al menos de cinco a diez puntos de clculo. Y segn parece, en la integracin de la ecuacin para es suficiente tomar de cinco a diez puntos en la regin oscilatoria y el mismo nmero de puntos en la regin exponencial, aunque, por ejemplo, en la regin oscilatoria de la funcin cuente, digamos, con cinco semioscilaciones. Desafortunadamente, ste no es el caso: el clculo numrico de la simple trayectoria requiere el mismo nmero de puntos (tal como, una esfera de integracin) que requiere el clculo de la compleja trayectoria , a menos que, por supuesto, usemos un mtodo estndar, tal como el de Runge-Kutta. De hecho, la solucin de la regin oscilatoria es (estimada, aproximadamente) vista como . La constante es tan mayor, como mayor sea el nmero de sus valores propios. El paso de la integracin numrica debe ser tal que, durante ese tiempo, el lado derecho de la ecuacin sea insignificante. Pero las funciones y para el paso cambian poco slo si , es decir, cuanto mayor es (mayor que la mitad de las soluciones en la regin oscilatoria), menor debera ser un paso .

Por ltimo, unas palabras sobre el error asociado al traslado de la condicin lmite hasta el punto . Lo revisaremos de nuevo en un modelo para la parte exponencial de las ecuaciones de trayectoria . La solucin exacta debe tener la forma La solucin aproximada En la regin pequea (del orden , se anula en , y obviamente, tenemos del trmino extra es muy

, la contribucin a ).