Produkt Moyale je nejslavnějším příkladem hvězdného produktu ve fázovém prostoru . Jedná se o asociativní komutativní hvězdicový součin funkcí na ℝ 2n vybavený Poissonovou závorkou (zobecněnou na symplektické manifoldy , viz níže). Toto je speciální případ hvězdného součinu „symbolové algebry“ v univerzální obalové algebře .
Pojmenována po izraelském vědci José Enrique Moyalovi.
Produkt Moyal je pojmenován po José Enrique Moyalovi, ale je také někdy nazýván produktem Weyl -Grunewold, jak jej představil J. Grunevold ve své doktorské práci v roce 1946, s hlubokým spojením [1] s korespondencí Weyl. Moyal si toho ve svém slavném článku [2] ve skutečnosti nebyl vědom a absence toho v jeho korespondenci s Diracem, jak ukazuje jeho biografie, bolestně chyběla. [3] Název díla se objevil na počest Moyala, zdá se, až v 70. letech 20. století jako pocta fázově-prostorové diskretizaci obrazu jeho bytu. [čtyři]
Součin pro hladké funkce f a g z ℝ 2n má tvar
kde každé Cn je definovaný bi -diferenciální operátor řádu n , je charakterizován následujícími vlastnostmi (viz níže pro explicitní vzorec):
Dot product warp - zahrnuto ve vzorci výše.
Deformace Poissonových závorek se nazývá Moyaleovy závorky.
1 z nedeformované algebry je také jednotkou v nové algebře.
Komplexní konjugace je anti-automorfismus.
Všimněte si, že pokud vezmeme funkce, které nabývají reálné hodnoty , pak alternativa vylučuje vlastnost 2 a vylučuje vlastnost 4.
Pokud omezíme úvahu na polynomiální funkce, pak je výše uvedená algebra izomorfní k Weilově algebře A n a alternativní implementace Weylovy mapy prostoru polynomů v n proměnných (neboli symetrická algebra vektorového prostoru dimenze 2 n ) je možné.
Chcete-li dát explicitní vzorec, zvažte Poissonovu konstantu bivektoru Π z ℝ 2 n :
kde Π ij je komplexní číslo pro každé i a j.
Hvězdný součin dvou funkcí a lze jej definovat jako
kde ħ je redukovaná Planckova konstanta , je považováno za formální parametr. Tento výraz je také znám jako zvláštní případ Berezinovy formule [5] v algebře symbolů a může být reprezentován v uzavřeném tvaru [6] (což vyplývá z Campbell-Baker-Hausdorffova vzorce ). Uzavřenou formu lze získat exponenciálním :
kde je mapa násobení a exponent je považován za mocninnou řadu:
Tedy vzorec na to
Jak bylo uvedeno, všechny výskyty výše jsou často vyloučeny a vzorec je omezen na reálná čísla.
Všimněte si, že pokud jsou funkce f a g polynomy, nekonečný součet se stává konečným (omezeno na obvyklý případ Weylovy algebry).
Vztah mezi Moyaleovým součinem a zobecněným ★-součinem použitým v definici „symbolové algebry“ v univerzální obalové algebře vyplývá ze skutečnosti, že Weylova algebra je univerzální obalovou algebrou Heisenbergovy algebry (vzhledem k tomu, že střed je roven jedné).
Na nějakém symplektickém manifoldu lze, alespoň lokálně, zvolit souřadnice takové, že konstanta symplektické struktury podle Darbouxova teorému ; a za použití vhodného Poissonova bivektoru lze uvažovat výše uvedené vzorce. Aby bylo možné pracovat na celém manifoldu (a používat více než jen lokální vzorec), je nutné vybavit symplektický manifold beztorzní symplektický spoj . To z něj dělá Fedosovův rozdělovač.
Obecnější výsledky pro libovolné Poissonovy variety (kde Darbouxova věta selhává) jsou dány Kontsevichovým kvantizačním vzorcem.
Jednoduchý explicitní příklad konstrukce a použití ★-součinu (v nejjednodušším případě dvourozměrného euklidovského fázového prostoru ) je uveden v článku o Wigner-Weylově transformaci: dva Gaussovy jsou spojeny ★ -součinem podle k zákonu hyperbolické tečny: [7]
(Všimněte si klasické limity jako ħ → 0 .)
Každý přechodový recept mezi fázovým prostorem a Hilbertovým prostorem však vyvolává svůj vlastní ★ -produkt . [8] [9]
Podobné výsledky jsou pozorovány v Segal-Bargmannově prostoru a v theta reprezentaci Heisenbergovy grupy , kde se rozumí, že kreační a anihilační operátory a působí v komplexní rovině (respektive v horní polorovině u Heisenbergovy grupy), takže operátory polohy a hybnosti jsou dány a . Tato situace je jasně odlišná od případu, kdy se předpokládá, že souřadnice jsou skutečné, ale vrhá světlo na obecnou algebraickou strukturu Heisenbergovy algebry a jejího pláště, Weylovy algebry.