Operadores cuánticos y clásicos de Liouville

En la imagen de Heisenberg de la Mecánica Cuántica, para un observable A ^ , tenemos la famosa ecuación de Heisenberg que da la evolución temporal del operador: ( H ^ es el operador hamiltoniano)

i A ^ t = [ H ^ , A ^ ]
¿Cuál se puede reescribir definiendo el operador de Lioville como:
L ^ = 1 [ H , . ]
De este modo
(1) A ^ ( t ) = mi i L ^ t A ^ ( 0 ) = mi i H ^ t / A ^ ( 0 ) mi i H ^ t /

De manera similar, en la mecánica estadística clásica, para alguna variable diferenciable clásica A tenemos la ecuación de Poisson: ( H siendo el hamiltoniano clásico aquí)

A t = { A , H }
Ahora definiendo la versión clásica del operador de Liouville:
(*) L := i { H , . } = i = 1 norte [ H pag i q i H q i pag i ]
Definiendo así de nuevo la evolución temporal de A con el propagador correspondiente:
(2) A ( t ) = mi i L t A ( 0 )

Pregunta:

  • En ( 1 ) pudimos ampliar aún más el operador unitario mi i L ^ t en las dos traslaciones de tiempo unitarias generadas por H ^ (emparedado del valor del operador en el momento t = 0 ), pero mirando ( 2 ) , ¿hay alguna manera de expandir aún más el propagador? mi i L t , usando ( ) , en un tipo de expresión como se obtuvo en la versión QM, a saber, ecuación ( 1 ) ?
La expresión que implica el operador de Liouville es formal, es decir, una forma de resumir una serie de operaciones a realizar. Obsérvese que en el marco clásico se trata de estructuras conmutativas, por lo que la conjugación por unitarios es ineficaz.

Respuestas (1)

La pregunta de OP (v1) es esencialmente preguntar

¿La identidad del operador

(1) mi i t [ H ^ ,     ] A ^   =   mi i H ^ t / A ^ mi i H ^ t /
tener un análogo usando funciones/símbolos H y A en lugar de operadores H ^ y A ^ , respectivamente?

La respuesta es: Sí, en cuanto al producto estrella de Groenewold-Moyal . Si el corchete de Poisson se escribe como

(2) { A , B } PAG B   :=   A I ω I j j B , I     z I , { z I , z j } PAG B   =   ω I j ,

dónde z 1 , , z 2 norte son coordenadas canónicas , y A , B son funciones/símbolos (a diferencia de los operadores), entonces el producto estrella dice

(3) A B   :=   A Exp ( I i 2 ω I j j ) B   =   A B + i 2 { A , B } PAG B + O ( 2 ) .

Y luego un análogo de la ec. (1) es

(4) mi i t [   H   ,     ] A   =   mi i H t / A mi i H t / ,

dónde

(5) [ A , B ]   := A B B A   =   i { A , B } PAG B + O ( 3 )

es el conmutador estrella, y

(6) mi B   :=   1 + B norte = 1 ( B ) norte 1 / norte !

es la estrella exponencial.

Muchas gracias, de hecho estaba buscando algo en este sentido, pero realmente tengo problemas para entender qué significa el producto Moyal aquí. ¿Serías tan amable de dar una breve explicación básica para ello? (el enlace dado es extremadamente conciso).
Actualicé la respuesta.
La identidad (4) es una serie de potencias semiclásica en . El término de orden cero en denota la contribución clásica.