En física , el corchete de Moyal es la antisimetrización adecuadamente normalizada del producto estelar del espacio de fases .
El soporte Moyal fue desarrollado alrededor de 1940 por José Enrique Moyal , pero Moyal sólo 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 . Subyace a 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 soporte de Poisson del espacio de fase (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 entre corchetes de Poisson .
Hasta la equivalencia formal, el soporte de Moyal es la única deformación algebraica de Lie de un parámetro del soporte de Poisson. Su isomorfismo algebraico con respecto al álgebra de conmutadores pasa por alto el resultado negativo del teorema de Groenewold-van Hove, que excluye tal isomorfismo para el grupo de Poisson, una cuestión planteada implícitamente por Dirac en su tesis doctoral de 1926, [4] el "método de analogía" 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 dice:
donde ★ es el operador del producto estrella en el espacio de fase (cf. producto de Moyal ), mientras que f y g son funciones de espacio de fase diferenciables, y { f , g } es su soporte de Poisson. [6]
Más específicamente, en lenguaje de cálculo operacional , esto equivale
Las flechas izquierda y derecha sobre las derivadas parciales indican las derivadas parciales izquierda y derecha. A veces, el soporte de Moyal se denomina soporte sinusoidal .
Una representación integral popular (Fourier), introducida por George Baker [7] es
Cada mapa de correspondencia desde el espacio de fase al espacio de Hilbert induce un corchete "Moyal" característico (como el que se ilustra aquí para el mapa de Weyl). Todos estos corchetes de 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 del mismo nombre : es antisimétrico 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 básicas exp( i ( m 1 x + m 2 p )) , esta álgebra de Lie dice, [9]
lo que se reduce a SU ( N ) para el número entero N ≡ 4 π/ħ . SU ( N ) emerge 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] que puede considerarse como una deformación cuántica del corchete de Dirac .
Además del corchete del seno discutido, 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 de espacio de fases diferenciables y f g es el producto ordinario.
Los corchetes seno y coseno son, respectivamente, los resultados de antisimetrar y simetrizar el producto estrella. Así, como el corchete sinusoidal es el mapa de Wigner del conmutador, el corchete coseno es la imagen de Wigner del anticonmutador en la mecánica cuántica estándar. De manera similar, como el grupo de Moyal es igual al grupo de Poisson hasta órdenes superiores de ħ , el grupo de coseno es igual al producto ordinario hasta órdenes superiores de ħ . En el límite clásico , el paréntesis de Moyal ayuda a la reducción a la ecuación de Liouville (formulada en términos del paréntesis de Poisson) , ya que el paréntesis del coseno conduce a la ecuación clásica de Hamilton-Jacobi . [12]
Los corchetes del seno y el coseno también se relacionan con ecuaciones de una descripción puramente algebraica de la mecánica cuántica. [12] [13]