วงเล็บโมยัล


การต่อต้านสมมาตรของผลิตภัณฑ์ดาวในอวกาศเฟสที่ได้รับการทำให้เป็นมาตรฐานอย่างเหมาะสม

ในฟิสิกส์วงเล็บMoyalคือความแอนตี้สมมาตรของผลิตภัณฑ์ดาว ในอวกาศ เฟส ที่ได้รับการทำให้เป็นมาตรฐานอย่างเหมาะสม

วงเล็บ Moyal ได้รับการพัฒนาในราวปีพ.ศ. 2483 โดยJosé Enrique Moyalแต่ Moyal ประสบความสำเร็จในการตีพิมพ์ผลงานของเขาในปีพ.ศ. 2492 หลังจากมีข้อพิพาทยาวนานกับPaul Dirac [ 1] [2] ในระหว่างนั้น แนวคิดนี้ได้รับการแนะนำโดยอิสระในปีพ.ศ. 2489 โดยHip Groenewold [ 3]

ภาพรวม

วงเล็บ Moyal เป็นวิธีหนึ่งในการอธิบายคอมมิวเตเตอร์ของค่าที่สังเกตได้ในการกำหนดสูตรของปริภูมิเฟสของกลศาสตร์ควอนตัมเมื่อค่าที่สังเกตได้เหล่านี้ถูกอธิบายเป็นฟังก์ชันบนปริภูมิเฟสวงเล็บนี้ใช้รูปแบบสำหรับการระบุฟังก์ชันบนปริภูมิเฟสด้วยค่าที่สังเกตได้ของควอนตัม โดยรูปแบบที่มีชื่อเสียงที่สุดคือการแปลงวิกเนอร์–ไวล์ วงเล็บนี้ เป็นพื้นฐานของสมการไดนามิกของ Moyalซึ่งเป็นการกำหนดสูตรเทียบเท่ากับสมการควอนตัมของการเคลื่อนที่ของไฮเซนเบิร์กจึงให้การสรุปทั่วไปเชิงควอนตัมของ สม การ ของแฮมิลตัน

ทางคณิตศาสตร์ เป็นการบิดเบือนวงเล็บปัวซองในปริภูมิเฟส(โดยพื้นฐานแล้ว เป็น ส่วนขยายของวงเล็บปัวซอง) โดยพารามิเตอร์การบิดเบือนคือค่าคงที่ของพลังค์ ที่ลดลง ħดังนั้นการหดตัวของกลุ่ม ħ →0 จึงให้พีชคณิตลีของวงเล็บปัว ซอง

วงเล็บ Moyal เป็นการเปลี่ยนรูปของพีชคณิตลีแบบพารามิเตอร์เดียวที่ไม่ซ้ำใครของวงเล็บปัวซองจนถึงระดับความเท่าเทียมอย่างเป็นทางการ การแปรสภาพพีชคณิตของวงเล็บ Moyal กับพีชคณิตของตัวสับเปลี่ยนนั้นข้ามผลลัพธ์เชิงลบของทฤษฎีบท Groenewold–van Hove ซึ่งขัดขวางการแปรสภาพดังกล่าวสำหรับวงเล็บปัวซอง ซึ่งเป็นคำถามที่ Dirac หยิบยกขึ้นมาโดยปริยายในวิทยานิพนธ์ระดับปริญญาเอกของเขาในปี 1926 [4] "วิธีการเปรียบเทียบแบบคลาสสิก" สำหรับการหาปริมาณ[5]

ตัวอย่างเช่น ในพื้นที่เฟส แบนสองมิติ และสำหรับการโต้ตอบของ Weyl-mapวงเล็บ Moyal อ่านว่า

{ { f , g } } = d e f   1 i ( f g g f ) = { f , g } + O ( 2 ) , {\displaystyle {\begin{aligned}\{\{f,g\}\}&{\stackrel {\mathrm {def} }{=}}\ {\frac {1}{i\hbar }}(f\star g-g\star f)\\&=\{f,g\}+O(\hbar ^{2}),\\\end{aligned}}}

โดยที่ คือตัวดำเนินการผลคูณดาวในปริภูมิเฟส (เทียบกับผลคูณของ Moyal ) ในขณะที่f และgคือฟังก์ชันปริภูมิเฟสที่สามารถหาอนุพันธ์ได้ และ{ f , g }คือวงเล็บปัวซองของฟังก์ชันเหล่านี้[6]

โดยเฉพาะอย่างยิ่งในภาษา แคลคูลัสเชิงปฏิบัติการ นี่เท่ากับ

{ { f , g } }   = 2   f ( x , p )   sin ( 2 ( x p p x ) )   g ( x , p ) . {\displaystyle \{\{f,g\}\}\ ={\frac {2}{\hbar }}~f(x,p)\ \sin \left({{\tfrac {\hbar }{2}}({\overleftarrow {\partial }}_{x}{\overrightarrow {\partial }}_{p}-{\overleftarrow {\partial }}_{p}{\overrightarrow {\partial }}_{x})}\right)\ g(x,p).}

ลูกศรซ้ายและขวาเหนืออนุพันธ์ย่อยหมายถึงอนุพันธ์ย่อยซ้ายและขวา บางครั้งวงเล็บ Moyal จะถูกเรียกว่าวงเล็บ Sine

การแสดงอินทิกรัล (ฟูริเยร์) ที่เป็นที่นิยมสำหรับมัน แนะนำโดยจอร์จ เบเกอร์[7]คือ

{ { f , g } } ( x , p ) = 2 3 π 2 d p d p d x d x f ( x + x , p + p ) g ( x + x , p + p ) sin ( 2 ( x p x p ) )   . {\displaystyle \{\{f,g\}\}(x,p)={2 \over \hbar ^{3}\pi ^{2}}\int dp'\,dp''\,dx'\,dx''f(x+x',p+p')g(x+x'',p+p'')\sin \left({\tfrac {2}{\hbar }}(x'p''-x''p')\right)~.}

แผนที่การติดต่อแต่ละแผนที่จากปริภูมิเฟสไปยังปริภูมิฮิลเบิร์ตจะทำให้เกิดวงเล็บ "Moyal" ที่มีลักษณะเฉพาะ (เช่น วงเล็บที่แสดงไว้ที่นี่สำหรับแผนที่ Weyl) วงเล็บ Moyal ทั้งหมดนั้นเทียบเท่ากันอย่างเป็นทางการตามทฤษฎีเชิงระบบ[8]

วงเล็บ Moyal ระบุ พีชคณิตลี มิติอนันต์ที่มีชื่อเดียวกัน ซึ่งไม่สมมาตรในอาร์กิวเมนต์f และgและเป็นไปตามเอกลักษณ์ของจาโคบีพีชคณิตลีนามธรรมที่สอดคล้องกันเกิดขึ้นได้จากT f ≡ fดังนั้น

[ T f   , T g ] = T i { { f , g } } . {\displaystyle [T_{f}~,T_{g}]=T_{i\hbar \{\{f,g\}\}}.}

บนปริภูมิเฟส 2 ทอรัสT 2ที่มีพิกัดxและp เป็นระยะ ๆ โดย แต่ละพิกัดอยู่ใน[0,2 π ]และดัชนีโหมดจำนวนเต็มm iสำหรับฟังก์ชันพื้นฐานexp( i ( m 1 x + m 2 p ))พีชคณิตลีนี้จะอ่านว่า[9]

[ T m 1 , m 2   , T n 1 , n 2 ] = 2 i sin ( 2 ( n 1 m 2 n 2 m 1 ) )   T m 1 + n 1 , m 2 + n 2 ,   {\displaystyle [T_{m_{1},m_{2}}~,T_{n_{1},n_{2}}]=2i\sin \left({\tfrac {\hbar }{2}}(n_{1}m_{2}-n_{2}m_{1})\right)~T_{m_{1}+n_{1},m_{2}+n_{2}},~}

ซึ่งลดลงเหลือSU ( N ) สำหรับจำนวนเต็มN  ≡ 4 π/ħจาก นั้น SU ( N ) จะปรากฏเป็นการบิดเบือนของSU (∞) โดยมีพารามิเตอร์การบิดเบือน 1 / N

การสรุปความทั่วไปของวงเล็บ Moyal สำหรับระบบควอนตัมที่มีข้อจำกัดระดับที่สองเกี่ยวข้องกับการดำเนินการกับคลาสความเท่าเทียมกันของฟังก์ชันในปริภูมิเฟส[10]ซึ่งสามารถพิจารณาได้ว่าเป็นการเสียรูปควอนตัมของ วงเล็บDirac

วงเล็บไซน์และวงเล็บโคไซน์

นอกเหนือไปจากวงเล็บไซน์ที่กล่าวถึงแล้ว Groenewold ยังได้แนะนำเพิ่มเติม[3]วงเล็บโคไซน์ ซึ่งอธิบายเพิ่มเติมโดย Baker [7] [11]

{ { { f , g } } } = d e f   1 2 ( f g + g f ) = f g + O ( 2 ) . {\displaystyle {\begin{aligned}\{\{\{f,g\}\}\}&{\stackrel {\mathrm {def} }{=}}\ {\tfrac {1}{2}}(f\star g+g\star f)=fg+O(\hbar ^{2}).\\\end{aligned}}}

ที่นี่อีกครั้งคือตัวดำเนินการผลคูณดาวในปริภูมิเฟสf และgเป็นฟังก์ชันปริภูมิเฟสที่หาอนุพันธ์ได้ และf gคือผลคูณสามัญ

วงเล็บไซน์และโคไซน์เป็นผลลัพธ์ของการแอนตี้สมมาตรและสมมาตรของผลิตภัณฑ์ดาวตามลำดับ ดังนั้น เนื่องจากวงเล็บไซน์คือแผนที่วิกเนอร์ ของคอมมิวเตเตอร์ วงเล็บโคไซน์จึงเป็นภาพวิกเนอร์ของแอนตี้คอมมิวเตเตอร์ในกลศาสตร์ควอนตัมมาตรฐาน ในทำนองเดียวกัน เนื่องจากวงเล็บโมยาลมีค่าเท่ากับวงเล็บปัวซองจนถึงอันดับที่สูงขึ้นของħวงเล็บโคไซน์จึงมีค่าเท่ากับผลิตภัณฑ์สามัญจนถึงอันดับที่สูงขึ้นของħในลิมิตแบบคลาสสิกวงเล็บโมยาลช่วยลดสมการลิอูวิลล์ (กำหนดในรูปของวงเล็บปัวซอง)เนื่องจากวงเล็บโคไซน์นำไปสู่สมการแฮมิลตัน–จาโคบีแบบ คลาสสิก [12]

วงเล็บไซน์และโคไซน์ยังมีความสัมพันธ์กับสมการของคำอธิบายเชิงพีชคณิตล้วนๆของกลศาสตร์ควอนตัม อีกด้วย [12] [13]

อ้างอิง

  1. ^ Moyal, JE; Bartlett, MS (1949). "กลศาสตร์ควอนตัมในฐานะทฤษฎีทางสถิติ". Mathematical Proceedings of the Cambridge Philosophical Society . 45 (1): 99–124. Bibcode :1949PCPS...45...99M. doi :10.1017/S0305004100000487. S2CID  124183640.
  2. ^ Moyal, Ann (2006). นักคณิตศาสตร์นอกรีต: ชีวิตและวิทยาศาสตร์ของ JE Moyal (บทที่ 3: การต่อสู้กับตำนาน) doi : 10.22459/MM.08.2006 . ISBN 9781920942595. ดึงข้อมูลเมื่อ2010-05-02 .
  3. ^ ab Groenewold, HJ (1946). "เกี่ยวกับหลักการของกลศาสตร์ควอนตัมเบื้องต้น". Physica . 12 (7): 405–460. Bibcode :1946Phy.....12..405G. doi :10.1016/S0031-8914(46)80059-4.
  4. ^ PAM Dirac (1926) วิทยานิพนธ์มหาวิทยาลัยเคมบริดจ์ "กลศาสตร์ควอนตัม"
  5. ^ PAM Dirac , "หลักการของกลศาสตร์ควอนตัม" ( สำนักพิมพ์ Clarendon, Oxford , 1958) ISBN 978-0-19-852011-5 
  6. ^ ในทางกลับกัน วงเล็บปัวซองสามารถแสดงอย่างเป็นทางการในรูปของผลิตภัณฑ์ดาว { f , g } = 2 f (log ) g .
  7. ^ โดย Baker, George A. (1958-03-15). "การกำหนดสูตรกลศาสตร์ควอนตัมบนพื้นฐานของการแจกแจงความน่าจะเป็นแบบควาซิที่เกิดจากพื้นที่เฟส" Physical Review . 109 (6). American Physical Society (APS): 2198–2206. Bibcode :1958PhRv..109.2198B. ​​doi :10.1103/physrev.109.2198. ISSN  0031-899X
  8. ^ C.Zachos , D. FairlieและT. Curtright , "กลศาสตร์ควอนตัมในเฟสสเปซ" ( World Scientific , สิงคโปร์, 2005) ISBN 978-981-238-384-6 . Curtright, TL; Zachos, CK (2012). "กลศาสตร์ควอนตัมในเฟสสเปซ". จดหมายข่าวฟิสิกส์เอเชียแปซิฟิก . 01 : 37–46. arXiv : 1104.5269 . doi :10.1142/S2251158X12000069. S2CID  119230734 
  9. ^ Fairlie, DB; Zachos, CK (1989). "พีชคณิตมิติอนันต์ วงเล็บไซน์ และ SU(∞)". Physics Letters B . 224 (1–2): 101–107. Bibcode :1989PhLB..224..101F. doi :10.1016/0370-2693(89)91057-5. S2CID  120159881.
  10. ^ Krivoruchenko, MI; Raduta, AA; Faessler, Amand (2006-01-17). "Quantum deformation of the Dirac bracket". Physical Review D . 73 (2). American Physical Society (APS): 025008. arXiv : hep-th/0507049 . Bibcode :2006PhRvD..73b5008K. doi :10.1103/physrevd.73.025008. ISSN  1550-7998. S2CID  119131374.
  11. ^ ดูการอ้างอิงของ Baker (1958) ใน: Curtright, T.; Fairlie, D.; Zachos, C. (1998). "Features of time-independent Wigner functions". Physical Review D . 58 (2): 025002. arXiv : hep-th/9711183 . Bibcode :1998PhRvD..58b5002C. doi :10.1103/PhysRevD.58.025002. S2CID  288935.arXiv:hep-th/9711183v3
  12. ^ ab BJ Hiley : คำอธิบายปริภูมิเฟสของปรากฏการณ์ควอนตัม ใน: A. Khrennikov (บรรณาธิการ): Quantum Theory: Re-consideration of Foundations–2หน้า 267-286 สำนักพิมพ์ Växjö University Press สวีเดน 2546 (PDF)
  13. ^ MR Brown, BJ Hiley: Schrodinger revisited: an algebraic approach , arXiv:quant-ph/0005026 (ส่งเมื่อวันที่ 4 พฤษภาคม 2000, เวอร์ชันวันที่ 19 กรกฎาคม 2004, ดึงข้อมูลเมื่อวันที่ 3 มิถุนายน 2011)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Moyal_bracket&oldid=1198299655"