En física , el corchete de Moyal es la antisimetrización adecuadamente normalizada del producto estrella del espacio de fases .
El corchete Moyal fue desarrollado alrededor de 1940 por José Enrique Moyal , pero Moyal solo logró publicar su trabajo en 1949 después de una larga disputa con Paul Dirac . [1] [2] Mientras tanto, esta idea fue introducida de forma independiente en 1946 por Hip Groenewold . [3]
El corchete de Moyal es una forma de describir el conmutador de observables en la formulación del espacio de fases de la mecánica cuántica cuando estos observables se describen como funciones en el espacio de fases . Se basa en esquemas para identificar funciones en el espacio de fases con observables cuánticos, siendo el más famoso de estos esquemas la transformada de Wigner-Weyl . Es la base de la ecuación dinámica de Moyal , una formulación equivalente de la ecuación cuántica de movimiento de Heisenberg , proporcionando así la generalización cuántica de las ecuaciones de Hamilton .
Matemáticamente, es una deformación del corchete de Poisson del espacio de fases (esencialmente una extensión del mismo), siendo el parámetro de deformación la constante de Planck reducida ħ . Por lo tanto, su contracción de grupo ħ →0 produce el álgebra de Lie del corchete de Poisson .
Hasta la equivalencia formal, el corchete de Moyal es la única deformación algebraica de Lie de un parámetro del corchete de Poisson. Su isomorfismo algebraico con el álgebra de conmutadores evita el resultado negativo del teorema de Groenewold-van Hove, que impide tal isomorfismo para el corchete de Poisson, una cuestión planteada implícitamente por Dirac en su tesis doctoral de 1926, [4] el "método de analogía clásica" para la cuantificación. [5]
Por ejemplo, en un espacio de fase plano bidimensional , y para la correspondencia del mapa de Weyl , el corchete de Moyal se lee,
donde ★ es el operador del producto estrella en el espacio de fases (cf. producto de Moyal ), mientras que f y g son funciones diferenciables en el espacio de fases, y { f , g } es su corchete de Poisson. [6]
Más específicamente, en el lenguaje del cálculo operacional , esto equivale a
Las flechas izquierda y derecha sobre las derivadas parciales indican las derivadas parciales izquierda y derecha. A veces, el corchete de Moyal se denomina corchete de seno .
Una representación integral (de Fourier) popular para ello, introducida por George Baker [7] es
Cada mapa de correspondencia entre el espacio de fases y el espacio de Hilbert induce un corchete "Moyal" característico (como el que se ilustra aquí para el mapa de Weyl). Todos estos corchetes Moyal son formalmente equivalentes entre sí, de acuerdo con una teoría sistemática. [8]
El corchete de Moyal especifica el álgebra de Lie de dimensión infinita homónima : es antisimétrica en sus argumentos f y g y satisface la identidad de Jacobi . El álgebra de Lie abstracta correspondiente se realiza mediante T f ≡ f ★ , de modo que
En un espacio de fase de 2 toros, T 2 , con coordenadas periódicas x y p , cada una en [0,2 π ] , e índices de modo entero m i , para funciones base exp( i ( m 1 x + m 2 p )) , esta álgebra de Lie se lee, [9]
que se reduce a SU ( N ) para el entero N ≡ 4 π/ħ . SU ( N ) surge entonces como una deformación de SU (∞), con parámetro de deformación 1/ N .
La generalización del corchete de Moyal para sistemas cuánticos con restricciones de segunda clase implica una operación sobre clases de equivalencia de funciones en el espacio de fases, [10] lo que puede considerarse como una deformación cuántica del corchete de Dirac .
Además del corchete del seno analizado, Groenewold introdujo además [3] el corchete del coseno, elaborado por Baker, [7] [11]
Aquí, nuevamente, ★ es el operador del producto estrella en el espacio de fases, f y g son funciones diferenciables en el espacio de fases, y f g es el producto ordinario.
Los corchetes de seno y coseno son, respectivamente, los resultados de antisimetrizar y simetrizar el producto estrella. Por lo tanto, como el corchete de seno es el mapa de Wigner del conmutador, el corchete de coseno es la imagen de Wigner del anticonmutador en la mecánica cuántica estándar. De manera similar, como el corchete de Moyal es igual al corchete de Poisson hasta órdenes superiores de ħ , el corchete de coseno es igual al producto ordinario hasta órdenes superiores de ħ . En el límite clásico , el corchete de Moyal ayuda a la reducción a la ecuación de Liouville (formulada en términos del corchete de Poisson) , ya que el corchete de coseno conduce a la ecuación clásica de Hamilton-Jacobi . [12]
Los corchetes seno y coseno también se utilizan en ecuaciones de una descripción puramente algebraica de la mecánica cuántica. [12] [13]