La Hermiticidad del Laplaciano (y otros operadores)

es el operador laplaciano, 2 , un operador hermitiano ?

Alternativamente: ¿es la representación matricial del laplaciano hermitiano?

es decir

2 X | y = X | 2 y

Creo que 2 es hermitiano (si no lo fuera, entonces el hamiltoniano en la ecuación de Schroedinger independiente del tiempo no sería hermitiano), pero no sé cómo se demostraría que este es el caso.

En términos más generales, ¿cómo se determinaría si un operador general es hermitiano? Uno podría calcular cada elemento en una representación matricial del operador para ver si la matriz es igual a su transpuesta conjugada, pero esto no sería ni eficiente ni general.

Tengo entendido que la hermiticidad es una propiedad que no depende de la representación matricial del operador. Siento que debería haber una forma general de probar la hermiticidad de un operador sin evaluar los elementos de la matriz en una representación de matriz particular.

Disculpas si esta pregunta está mal planteada. No estoy seguro de si necesito ser más específico con las definiciones de "hermitiano" y "laplaciano". No dude en solicitar una aclaración.

Respuestas (2)

En general, uno necesita escribir las integrales para ϕ | Δ ψ y Δ ϕ | ψ y transformarlos entre sí usando la integración por partes.

La hermiticidad no depende de la base (representación matricial) utilizada. Pero depende de las condiciones de contorno impuestas, ya que es necesario asegurarse de que la integración por partes no genere términos de contorno no hermitianos.

Con las condiciones de contorno habitualmente utilizadas en mecánica cuántica (integrabilidad cuadrada en R norte ), es un operador autoadjunto, y en particular hermitiano.

Sí.

Hermitian significa auto-adjunto con respecto a una forma conjugada-lineal. En este caso, la forma es ϕ | ψ = ϕ ψ , donde la integral termina R 3 . Lo sabes porque pag = ψ ψ da la probabilidad de encontrar una partícula en X , entonces ψ | ψ = pag = 1 para una sola partícula. Eso no pretende ser una prueba, solo una forma de descartar casi cualquier otra posible forma lineal conjugada que pueda pensar.

Auto-adjunto significa que 2 ϕ | ψ = ϕ | 2 ψ . En este caso,

( 2 ϕ ) ψ = ϕ ( 2 ψ ) = ( ( 2 ψ ) ϕ ) .
Así que hagamos eso. Con el uso liberal de la integración por partes y cosas que se desvanecen en el infinito cuando se supone que deben hacerlo,
( 2 ϕ ) ψ = d 2 ϕ d X i 2 ψ = d ϕ d X i d ψ d X i = ( d ψ d X i d ϕ d X i ) = ( ( 2 ψ ) ϕ ) .