Producte Moyal

En matemàtiques, el producte de Moyal (després de Joe Moyal; també anomenat producte estrella o producte de Weyl–Groenewold, després de Hermann Weyl i Hilbrand J. Groenewold) és un exemple de producte estrella de fase-espai. És un producte associatiu, no commutatiu, Plantilla:Small, sobre les funcions on ${ℝ}^{2n}$, equipat amb el seu suport de Poisson (amb una generalització a varietats simplèctiques, descrit a continuació). És un cas especial del producte Plantilla:Small de l'"àlgebra de símbols" d'una àlgebra d'embolcall universal.

Comentaris històrics

El producte Moyal rep el nom de Joe Moyal, però de vegades també s'anomena producte Weyl–Groenewold tal com va ser introduït per HJ Groenewold a la seva tesi doctoral de 1946, en una apreciació contundent de la correspondència de Weyl. De fet, sembla que Moyal no coneixia el producte en el seu famós article i el va mancar de manera crucial en la seva correspondència llegendària amb Dirac, tal com s'il·lustra a la seva biografia. El popular nom de Moyal sembla haver sorgit només als anys setanta, en homenatge a la seva imatge plana de quantificació de l'espai de fase.

Definició

El producte per a funcions suaus Plantilla:Mvar i Plantilla:Mvar on ${ℝ}^{2n}$ pren la forma $$f\star g=fg+\sum _{n=1}^{\mathrm{\infty }}{\hslash }^n{C}_n(f,g),$$ on cada Plantilla:Mvar és un determinat operador bi diferencial d'ordre Plantilla:Mvar caracteritzat per les propietats següents (vegeu a continuació una fórmula explícita):

• Deformació del producte puntual — implícita en la fórmula anterior.
• Deformació del bracket de Poisson, anomenat claudàtor Moyal.
• L'1 de l'àlgebra no deformada també és la identitat de la nova àlgebra.
• El complex conjugat és un antiautomorfisme antilineal.

Tingueu en compte que, si es vol prendre funcions valorades en nombres reals, llavors una versió alternativa elimina la Plantilla:Mvar en la segona condició i elimina la quarta condició.

Si es restringeix a les funcions polinomials, l'àlgebra anterior és isomòrfica a l'àlgebra de Weyl Plantilla:Mvar, i les dues ofereixen realitzacions alternatives del mapa de Weyl de l'espai de polinomis en Plantilla:Mvar variables (o l'àlgebra simètrica d'un espai vectorial de dimensió Plantilla:Math).

Per proporcionar una fórmula explícita, considereu un bivector de Poisson constant Plantilla:Math on ${ℝ}^{2n}$ : $$\mathrm{\Pi }=\sum _{i,j}{\mathrm{\Pi }}^{ij}{\partial }_i\wedge {\partial }_j,$$ on Plantilla:Math és un nombre real per a cada Plantilla:Mvar. El producte estrella de dues funcions Plantilla:Mvar i Plantilla:Mvar es pot definir com l'operador pseudo-diferencial que actua sobre ambdues, $$f\star g=fg+\frac{i\hslash }{2}\sum _{i,j}{\mathrm{\Pi }}^{ij}({\partial }_{i}f)({\partial }_{j}g)-\frac{{\hslash }^2}{8}\sum _{i,j,k,m}{\mathrm{\Pi }}^{ij}{\mathrm{\Pi }}^{km}({\partial }_i{\partial }_{k}f)({\partial }_j{\partial }_{m}g)+\dots ,$$ on Plantilla:Mvar és la constant de Planck reduïda, tractada aquí com un paràmetre formal.

Exemples

Un exemple senzill i explícit de la construcció i utilitat del producte Plantilla:Small (per al cas més simple d'un espai de fase euclidià bidimensional) es dóna a l'article sobre la transformada de Wigner-Weyl: dos gaussians es componen amb aquest producte Plantilla:Small segons una llei tangent hiperbòlica:

$$\exp [-a(x^2+p^2)]\star \exp [-b(x^2+p^2)]=\frac{1}{1+{\hslash }^{2}ab}\exp [-\frac{a+b}{1+{\hslash }^{2}ab}(x^2+p^2)].$$(Cal tenir en compte el límit clàssic, Plantilla:Math.) Tota prescripció de correspondència entre l'espai de fase i l'espai de Hilbert, però, indueix el seu propi producte Plantilla:Small).

S'observen resultats similars a l'espai de Segal–Bargmann i a la representació theta del grup de Heisenberg, on s'entén que els operadors de creació i aniquilació Plantilla:Math i Plantilla:Math actuen en el pla complex (respectivament, la part superior semipla per al grup de Heisenberg), de manera que els operadors de posició i moment estan donats per Plantilla:Math i Plantilla:Math. Aquesta situació és clarament diferent del cas en què les posicions es prenen com a valor real, però ofereix informació sobre l'estructura algebraica global de l'àlgebra de Heisenberg i el seu embolcall, l'àlgebra de Weyl.