Un famoso teorema de Wigner afirma que cualquier simetría de la mecánica cuántica puede ser representada por un operador unitario o antunitario, U, en un espacio de Hilbert, y los estados de cualquier sistema de mecánica cuántica pueden considerarse, por supuesto, como rayos en un Espacio de Hilbert. Para decirlo mejor: si S es el espacio de Hilbert de los estados cuánticos, y T: S -> S es un mapa sobreyectivo que conserva la norma del espacio de Hilbert, entonces para todo x en S se puede escribir:
[matemáticas] T x = c \, U x [/ matemáticas],
donde [math] c [/ math] es un número complejo con módulo 1, y U: S-> S es un mapa unitario o antunitario.
- ¿Cuál es el significado de los vectores de gradiente?
- ¿Por qué la continuidad uniforme se mantiene en métrica euclidiana pero no en métrica supra? Ambos pueden encontrar la distancia mínima entre los dos puntos, creo.
- ¿Puede el coeficiente de viscosidad ser negativo?
- ¿Cuál es el historial de números complejos [i = sqrt (-1)]? ¿Por qué y cómo se usó / definió en primer lugar?
- ¿Por qué la distribución de Gibbs (como en una muestra de Gibbs) es tan útil como las distribuciones estacionarias de las cadenas de Markov? De hecho, ¿existe una relación entre minimizar la energía libre de Gibbs y las probabilidades de transición óptimas que convergen a mi distribución estacionaria objetivo?
Consideremos el caso de una simetría representada por un operador unitario.
Supongamos que el hamiltoniano de algún sistema mecánico cuántico particular es H. Supongamos también que H es simétrico bajo alguna transformación de simetría. H, por supuesto, es en sí mismo un operador en el espacio de Hilbert.
Tenemos entonces: [matemáticas] H = UHU ^ {- 1} [/ matemáticas], que es solo la afirmación de que H es invariante bajo la transformación de simetría.
Supongamos que tenemos un conjunto de estados propios [matemática] \ vert \ phi_n \ rangle [/ matemática] de H que pertenecen a un valor propio dado E:
[matemáticas] H \ vert \ phi_n \ rangle = E \ vert \ phi_n \ rangle [/ math].
Luego sigue:
[matemáticas] HU \ vert \ phi_n \ rangle = UHU ^ {- 1} U \ vert \ phi_n \ rangle [/ matemáticas],
[matemáticas] = UH \ vert \ phi_n \ rangle [/ matemáticas],
[matemáticas] = UE \ vert \ phi_n \ rangle [/ matemáticas],
así que eso:
[matemática] HU \ vert \ phi_n \ rangle = EU \ vert \ phi_n \ rangle [/ math].
Lo que muestra que [math] U \ vert \ phi_n \ rangle [/ math] también es un estado propio de [math] H [/ math], con el mismo valor propio [math] E [/ math].
En particular, esto es cierto si [math] E = E_0 [/ math] es el valor propio de [math] H [/ math] en el estado fundamental.
Así, el conjunto de estados fundamentales degenerados se mapea en sí mismo por el operador unitario [math] U [/ math]. Un operador unitario no es singular, por lo que el mapa es invertible. Por lo tanto, [math] U [/ math] es uno a uno y en el mapa en el subespacio de vectores propios del estado fundamental de [math] H [/ math].
Pero esto es equivalente a la afirmación de que [matemática] U [/ matemática], restringida al subespacio de los estados fundamentales degenerados, es una representación unitaria N-dimensional del grupo de simetría, que actúa sobre el espacio N-dimensional de los estados fundamentales degenerados, donde N es el grado de degeneración. Se puede decir que el subespacio lleva la representación de la simetría.
Eso significa que el subespacio del espacio de Hilbert que consiste en el conjunto de todos los estados fundamentales degenerados es simétrico bajo la operación de simetría: se transforma en sí mismo bajo [math] U [/ math].
Ahora, si el estado fundamental no es degenerado, esto implica que:
[matemáticas] U \ vert \ phi_0 \ rangle = c \ vert \ phi_0 \ rangle [/ matemáticas],
donde [math] c [/ math] es algún número complejo.
Esto es casi lo que necesitamos.
Como [math] U [/ math] es unitario, se deduce que [math] \ vert c \ vert = 1 [/ math]. Por lo tanto, el estado fundamental es invariante bajo [matemática] U [/ matemática], hasta un factor de fase.
Dudo en llamar a esto una prueba completa ya que no he demostrado que [math] c = 1 [/ math].
Pero dado un hamiltoniano hermitaño y un estado fundamental único, creo que se deduce que [math] \ vert \ phi_0 \ rangle [/ math] puede representarse como una función de valor real, dados los requisitos de regularidad adecuados en [math] H [/ math] , si [math] H [/ math] es el hamiltoniano de una ecuación de Schrödinger no relativista de una sola partícula, que tendría la forma [math] H = \ frac {p ^ 2} {2m} + V \ left (x \ derecha) [/ matemáticas].
Esto requeriría que [math] c = \ pm 1 [/ math], y es relativamente fácil mostrar mediante un argumento variacional que el estado fundamental no puede tener un nodo, siempre que V tenga un comportamiento suficientemente bueno, ya que la contribución El término cinético en la energía cae cuadráticamente a medida que se reduce la derivada cerca del nodo, mientras que el término potencial solo varía linealmente. Entonces seguiría que [matemáticas] c = 1 [/ matemáticas].