Moyal fäste
Del av en serie artiklar om |
kvantmekanik |
---|
Inom fysik är Moyal -fästet den lämpligt normaliserade antisymmetriseringen av fas- rymdstjärnprodukten .
Moyal-fästet utvecklades omkring 1940 av José Enrique Moyal , men Moyal lyckades publicera sitt arbete först 1949 efter en lång tvist med Paul Dirac . Under tiden introducerades denna idé självständigt 1946 av Hip Groenewold .
Översikt
Moyal-parentesen är ett sätt att beskriva kommutatorn av observerbara i kvantmekanikens fasrumsformulering när dessa observerbara beskrivs som funktioner på fasrymden . Den förlitar sig på scheman för att identifiera funktioner på fasrymden med kvantobserverbara värden, den mest kända av dessa scheman är Wigner-Weyl-transformen . Det ligger till grund för Moyals dynamiska ekvation , en likvärdig formulering av Heisenbergs kvantekvant av rörelse , vilket ger kvantgeneraliseringen av Hamiltons ekvationer .
Matematiskt är det en deformation av fas-rymden Poisson-konsolen (i huvudsak en förlängning av den), deformationsparametern är den reducerade Planck-konstanten ħ . Sålunda ger dess gruppsammandragning ħ →0 Poisson-parentesen Lie algebra .
Upp till formell ekvivalens är Moyal-fästet den unika enparameters Lie-algebraiska deformationen av Poisson-fästet. Dess algebraiska isomorfism till kommutatorernas algebra förbigår det negativa resultatet av Groenewold-van Hove-satsen, som utesluter en sådan isomorfism för Poisson-parentesen, en fråga som implicit togs upp av Dirac i sin doktorsavhandling från 1926, "metoden för klassisk analogi" för kvantisering.
Till exempel, i ett tvådimensionellt platt fasutrymme , och för Weyl-mapkorrespondensen , står Moyal-parentesen,
där ★ är stjärnproduktoperatorn i fasrymd (jfr Moyal produkt ), medan f och g är differentierbara fas-rumsfunktioner, och { f , g } är deras Poisson-parentes.
Närmare bestämt, i operationell kalkylspråk , är detta lika med
Vänster- och högerpilarna över partiella derivator anger vänster och höger partiella derivator. Ibland kallas Moyal-fästet som Sine-fästet .
En populär (Fourier) integrerad representation för det, introducerad av George Baker är
Varje korrespondenskarta från fasrymden till Hilbertrymden inducerar en karakteristisk "Moyal"-parentes (som den som illustreras här för Weyl-kartan). Alla sådana Moyal-parenteser är formellt likvärdiga sinsemellan, i enlighet med en systematisk teori.
Moyal-parentesen specificerar den eponyma oändligt dimensionella Lie-algebran - den är antisymmetrisk i sina argument f och g och tillfredsställer Jacobi-identiteten . Den motsvarande abstrakta Lie-algebra realiseras av T f ≡ f ★ , så att
På ett 2-torus fasutrymme, T 2 , med periodiska koordinater x och p , var och en i [0,2 π ] , och heltalsmodsindex m i , för basfunktioner exp( i ( m 1 x + m 2 p )) , den här Lie-algebra lyder,
vilket reducerar till SU ( N ) för heltal N ≡ 4 π/ħ . SU ( N ) framträder då som en deformation av SU (∞), med deformationsparameter 1/ N .
Generalisering av Moyal-konsolen för kvantsystem med andra klassens begränsningar involverar en operation på ekvivalensklasser av funktioner i fasrymden, vilket kan betraktas som en kvantdeformation av Dirac-fästet .
Sinusfäste och cosinusfäste
Bredvid den diskuterade sinusparentesen introducerade Groenewold ytterligare cosinusparentesen, utarbetad av Baker,
Här, återigen, är ★ stjärnproduktoperatören i fasrymd, f och g är differentierbara fas-rymdfunktioner, och f g är den vanliga produkten.
Sinus- och cosinusparenteserna är resultatet av antisymmetriering och symmetri av stjärnprodukten. Eftersom sinusparentesen är Wigner-kartan för kommutatorn, är cosinusparentesen Wigner-bilden av antikommutatorn i standardkvantmekanik. På samma sätt, eftersom Moyal-parentesen är lika med Poisson-parentesen upp till högre ordningsföljder av ħ , är cosinusparentesen lika med den vanliga produkten upp till högre ordningar på ħ . I den klassiska gränsen hjälper Moyal-parentesen reduktion till Liouville-ekvationen (formulerad i termer av Poisson-parentesen), eftersom cosinusparentesen leder till den klassiska Hamilton–Jacobi-ekvationen .
Sinus- och cosinusparentesen står också i relation till ekvationer av en rent algebraisk beskrivning av kvantmekaniken.
- ^ Moyal, JE; Bartlett, MS (1949). "Kvantmekanik som en statistisk teori". Mathematical Proceedings of the Cambridge Philosophical Society . 45 (1): 99–124. Bibcode : 1949PCPS...45...99M . doi : 10.1017/S0305004100000487 . S2CID 124183640 .
- ^ Moyal, Ann (2006). Maverick Mathematician: The Life and Science of JE Moyal (kapitel 3: Battle With A Legend) . doi : 10.22459/MM.08.2006 . ISBN 9781920942595 . Hämtad 2010-05-02 .
- ^ a b Groenewold, HJ (1946). "Om principerna för elementär kvantmekanik". Physica . 12 (7): 405–460. Bibcode : 1946Phy....12..405G . doi : 10.1016/S0031-8914(46)80059-4 .
- ^ PAM Dirac (1926) Cambridge University avhandling "Quantum Mechanics"
- ^ PAM Dirac , "The Principles of Quantum Mechanics" ( Clarendon Press Oxford , 1958) ISBN 978-0-19-852011-5
- ^ Omvänt är Poisson-parentesen formellt uttryckbar i termer av stjärnprodukten, iħ { f , g } = 2 f (log ★ ) g .
- ^ a b Baker, George A. (1958-03-15). "Formulering av kvantmekanik baserad på kvasi-sannolikhetsfördelningen inducerad på fasutrymme". Fysisk granskning . American Physical Society (APS). 109 (6): 2198–2206. Bibcode : 1958PhRv..109.2198B . doi : 10.1103/physrev.109.2198 . ISSN 0031-899X .
- ^ C. Zachos , D. Fairlie och T. Curtright , "Quantum Mechanics in Phase Space" ( World Scientific , Singapore, 2005) ISBN 978-981-238-384-6 . Curtright, TL; Zachos, CK (2012). "Kvantmekanik i fasrymden". Asia Pacific Physics Newsletter . 01 : 37–46. arXiv : 1104.5269 . doi : 10.1142/S2251158X12000069 . S2CID 119230734 .
- ^ Fairlie, DB; Zachos, CK (1989). "Oändligt dimensionella algebror, sinusparenteser och SU(∞)". Fysik Bokstäver B . 224 (1–2): 101–107. Bibcode : 1989PhLB..224..101F . doi : 10.1016/0370-2693(89)91057-5 . S2CID 120159881 .
- ^ Krivoruchenko, MI; Raduta, AA; Faessler, Amand (2006-01-17). "Kvantumdeformation av Dirac-fästet". Fysisk granskning D . American Physical Society (APS). 73 (2): 025008. arXiv : hep-th/0507049 . Bibcode : 2006PhRvD..73b5008K . doi : 10.1103/physrevd.73.025008 . ISSN 1550-7998 . S2CID 119131374 .
- ^ Se också citatet av Baker (1958) i: Curtright, T.; Fairlie, D.; Zachos, C. (1998). "Funktioner av tidsoberoende Wigner-funktioner". Fysisk granskning D . 58 (2): 025002. arXiv : hep-th/9711183 . Bibcode : 1998PhRvD..58b5002C . doi : 10.1103/PhysRevD.58.025002 . S2CID 288935 . arXiv:hep-th/9711183v3
- ^ a b B. J. Hiley : Fasrumsbeskrivningar av kvantfenomen, i: A. Khrennikov (red.): Quantum Theory: Re-consideration of Foundations–2 , s. 267-286, Växjö University Press, Sverige, 2003 ( PDF )
- ^ MR Brown, BJ Hiley: Schrodinger revisited: an algebraic approach , arXiv:quant-ph/0005026 (inlämnad 4 maj 2000, version av 19 juli 2004, hämtad 3 juni 2011)