¿Por qué la mecánica cuántica no se contenta con operadores simétricos, sino que quiere operadores autoadjuntos?

Un operador simétrico solo tiene valores propios reales y los diferentes vectores propios correspondientes a diferentes valores propios son ortogonales.

Esto es exactamente lo que queremos para un observable físico. Creo que esto es todo lo necesario.

Entonces, ¿por qué la mecánica cuántica no está satisfecha con los operadores simétricos, sino que quiere más?

Conoces los problemas de dominio y la diferencia entre hermitiano y autoadjunto , ¿sí? La teoría espectral sobre los vectores propios que abarcan el espacio es válida para operadores autoadjuntos , no hermitianos.
@ACuriousMind: una pequeña nota sobre la terminología: Hermitian se puede usar como sinónimo de simétrico o como un nombre para los operadores simétricos definidos en todo el espacio de Hilbert (es decir, operadores autoadjuntos acotados); consulte, por ejemplo, math.stackexchange.com/ a/38395
Hay muchos ejemplos, pero me gusta compararlo con números primos relativos. Si dos números son relativamente primos, pueden crear más niños y los niños serán más saludables. Operadores de conmutación... teoría de grupos, en todas partes puede encontrar teoremas sobre el llenado de espacios de operadores y comprobaciones de conmutación.
@Christoph: Esas pueden ser las definiciones de un analista funcional, pero cuando un físico dice "hermitiano", quieren decir A = A en el dominio de A , y cuando dicen "auto-adjunto", quieren decir A = A y los dominios de A y A coincidir. Es desafortunado que los matemáticos parezcan usar "simétrico" para lo que el físico llama "hermitiano". (Para ejemplos de un físico que llama a un operador "simétrico" "hermitiano", consulte, por ejemplo, arxiv.org/abs/quant-ph/9907069 )

Respuestas (2)

Estoy bastante seguro de que ya existe una respuesta para esto aquí, pero no puedo encontrarla (siempre se trata de lo ilimitado).

Para el hamiltoniano, la respuesta viene dada básicamente por el teorema de Stone sobre grupos unitarios de un solo parámetro . Existe una correspondencia biunívoca entre operadores autoadjuntos y familias unitarias de un parámetro fuertemente continuas.

¿Por qué es eso importante? El hamiltoniano es importante porque se supone que nos da la dinámica de nuestro sistema, es decir, definirá el desarrollo temporal del sistema cuántico. Tal desarrollo de tiempo, sin embargo, debe ser un grupo unitario de un parámetro tu ( t ) . Esto se debe al hecho de que queremos que se cumpla la regla de Born:

Si | ψ H es un estado en tu espacio de Hilbert, necesitamos que 1 = ψ ( t ) | ψ ( t ) = tu ( t ) ψ | tu ( t ) ψ , es decir, el estado permanece normalizado de modo que sigue siendo una distribución de probabilidad. Pero entonces tu ( t ) debe ser unitario por la definición misma de un operador unitario. Sin embargo, el teorema de Stone nos dice que los generadores de grupos unitarios son operadores autoadjuntos, no solo simétricos. De acuerdo, el teorema habla solo de grupos fuertemente continuos, pero existen ejemplos de operadores simétricos y no autoadjuntos que generan un grupo que simplemente no es unitario (alguna forma de operador para el efecto Stark funciona, si no recuerdo mal)

Otro problema al que se alude en un comentario es el problema con el teorema espectral: dado cualquier observable, su espectro nos dice algo sobre los posibles resultados de la medición, pero es posible que simplemente no tengamos una descomposición espectral, si el operador es simplemente simétrico. Los operadores ilimitados pueden incluso tener espectro vacío, pero no sé si existen operadores ilimitados simétricos con espectro vacío (ciertamente existen operadores antisimétricos con espectro vacío). Si considera una medida de von-Neumann, uno de los axiomas le dice cómo se ve el estado después de la medida: hay una proyección involucrada. Pero esta proyección podría no estar bien definida, si no tiene una descomposición espectral.

También es posible que desee echar un vistazo a lo que se llama "Pseudospectra". Dado un operador no autoadjunto, podría tener "funciones propias aproximadas" a "pseudovalores propios" que están muy lejos del espectro (en el sentido de que dado un operador A , existe un λ Especificaciones ( A ) tal que puede haber un X H con

A X λ X < ε X

y tales cosas pueden existir muy lejos del espectro para cualquier ε > 0 quieres; ver el libro de Davies sobre "operadores lineales y sus espectros"). No sé mucho sobre esto y cómo esto podría ser un problema, pero esto podría darle más incentivos sobre por qué los operadores simétricos "solo" podrían no hacer el trabajo.

El teorema espectral solo se cumple para operadores normales. Los operadores autoadjuntos son normales, los simétricos no necesariamente lo son.

En lenguaje físico, queremos que los vectores propios generalizados provengan de una 'base completa' del espacio de Hilbert. Por ejemplo, los vectores propios generalizados del operador de cantidad de movimiento en la representación de posición son ondas planas y, aunque no forman parte de nuestro espacio de Hilbert, cualquier función de onda se puede descomponer en una superposición de ondas planas. Esto solo es posible porque el operador de cantidad de movimiento es autoadjunto.