Solución débil de la ecuación de Schrödinger

Considere una partícula en una caja Λ = [ 0 , L ] . La función de onda ψ L D 2 ( Λ ) dónde D denota una condición de Dirichlet ψ ( 0 ) = 0 = ψ ( L ) . Tenemos, entonces

2 2 metro d 2 ψ d X 2 = mi ψ

dentro de la caja. Resolviendo esta ecuación,

ψ metro ( X ) = 2 / L pecado ( norte π X / L ) .

Ahora considere una formulación débil de este problema:

2 2 metro 0 L d ψ d X d φ d X d X = mi 0 L ψ φ d X

de modo que φ H 0 1 ( Λ ) . ¿Es posible encontrar una solución analítica para esta ecuación? Si es así, ¿cómo se puede proceder para encontrar soluciones de formulaciones débiles en general?

¿Qué significa para L D 2 ( Λ ) ? ¿Es diferente de L 2 ( Λ ) ? Las condiciones de contorno no modifican el espacio de Hilbert...
Es solo que la función de onda está en L 2 ( Λ ) y ψ tiene condiciones de Dirichlet ψ ( 0 ) = 0 = ψ ( L ) . Así que solo digo eso ψ es en L 2 en el intervalo Λ y ψ ( 0 ) = 0 = ψ ( L ) .
Desde ψ se define hasta el conjunto de medida cero no significa mucho. No hay un espacio de Hilbert hecho de funciones que se anulan en el límite de un intervalo. En cambio, las condiciones de contorno se pueden usar para definir el dominio de su hamiltoniano...

Respuestas (1)

La regularidad elíptica implica que ψ admite derivadas débiles de todo orden que son L 2 en la zona. Ahora, el lema de Sobolev implica que estas derivadas deben ser derivadas estándar. En resumen, cada solución débil es solo la solución estándar. ψ metro .

Pero, ¿qué sucede si mi problema solo tiene soluciones débiles y obtengo una formulación débil como esa? ¿Es posible resolver ese tipo de problemas analíticamente?
Por lo general, las soluciones son solo débiles porque el dominio de los operadores no está hecho de funciones suaves cuando se toman como autoadjuntas. Sin embargo, si el potencial es relativamente regular, existen resultados conocidos (esencialmente un teorema de Weyl) que establecen que las funciones de onda son suaves fuera del conjunto de singularidades del potencial.
@Valter Moretti: ¿Le importaría publicar una referencia a ese teorema, por favor? Solo he encontrado el de la ecuación de Laplace.