Mecánica estadística cuántica
La mecánica estadística cuántica es la rama mecánica estadística aplicable a sistemas cuánticos. En mecánica cuántica, una colectividad estadística se describe mediante un operador de densidad S, que es un operador no negativo, autoadjunto, clase de traza de traza 1 en el espacio de Hilbert H que describe el sistema cuántico. Esto se puede mostrar bajo varios formalismos matemáticos para la mecánica cuántica. Uno de esos formalismos es proporcionado por lógica cuántica.
From Wikipedia, the free encyclopedia
La mecánica estadística cuántica es la rama mecánica estadística aplicable a sistemas cuánticos. En mecánica cuántica, una colectividad estadística se describe mediante un operador de densidad S, que es un operador no negativo, autoadjunto, clase de traza de traza 1 en el espacio de Hilbert H que describe el sistema cuántico. Esto se puede mostrar bajo varios formalismos matemáticos para la mecánica cuántica. Uno de esos formalismos es proporcionado por lógica cuántica.
En la teoría clásica de la probabilidad, el valor esperado de una variable aleatoria X se define a partir de su distribución de probabilidad DX como:
asumiendo que la variable aleatoria es integrable y que la variable aleatoria no toma valores negativos. Del mismo modo, sea A un observable de un sistema mecano-cuántico. A viene dada por un operador autoadjunto densamente definido en H. La medida espectral de A definida por
determina de forma única A y, recíprocamente, está determinada de forma única por A. EA es un homomorfismo booleano de los subconjuntos de Borel de R en la red Q de proyecciones autoadjuntas de H. En analogía con la teoría de la probabilidad, dado un estado S, introducimos la distribución de A bajo S, que es la medida de probabilidad definida en los subconjuntos de Borel de R por
Del mismo modo, el valor esperado de A se define en términos de la distribución de probabilidad DA por
Nótese que este valor esperado es relativo al estado mixto S que se utiliza en la definición de DA.
- Comentario. Por razones técnicas, es necesario considerar por separado las partes positivas y negativas de A definidas por el cálculo funcional de Borel para operadores no acotados.
Se puede mostrar fácilmente que:
Nótese que si S es un estado puro correspondiente al vector , entonces:
La traza de un operador A se escribe como sigue:[1]