กลับไปหน้าบทความ

อ่าน 33 นาที

กลศาสตร์แฮมิลตัน

ในฟิสิกส์กลศาสตร์แฮมิลตันเป็นการปรับปรุงใหม่ของกลศาสตร์ลากรางจ์ซึ่งเกิดขึ้นในปี ค.ศ.

กลศาสตร์แฮมิลตัน

เซอร์วิลเลียม โรวัน แฮมิลตัน

ในฟิสิกส์กลศาสตร์แฮมิลตันเป็นการปรับปรุงใหม่ของกลศาสตร์ลากรางจ์ซึ่งเกิดขึ้นในปี ค.ศ. 1833 นำเสนอโดยเซอร์วิลเลียม โรวัน แฮมิลตัน [ 1 ] กลศาสตร์แฮมิลตันแทนที่ความเร็ว (ทั่วไป) ที่ใช้ในกลศาสตร์ลากรางจ์ด้วยโมเมนตัม (ทั่วไป) ทฤษฎีทั้งสองให้การตีความกลศาสตร์คลาสสิกและอธิบายปรากฏการณ์ทางกายภาพเดียวกัน

กลศาสตร์แฮมิลตันมีความสัมพันธ์อย่างใกล้ชิดกับเรขาคณิต (โดยเฉพาะอย่างยิ่งเรขาคณิตเชิงซิมเพล็กติกและโครงสร้างปัวซง ) และทำหน้าที่เป็นตัวเชื่อมระหว่างกลศาสตร์คลาสสิกและกลศาสตร์ควอนตั

ภาพรวม

พิกัดปริภูมิเฟส ( p , q ) และแฮมิลโทเนียนH

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

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

จากสมการออยเลอร์-ลากรองจ์ ไปสู่สมการของแฮมิลตัน

ในพิกัดปริภูมิเฟส สม การออยเลอ ร์-ลากรางจ์ ( มิติ) จะกลายเป็นสมการของแฮมิลตันในมิติ

การพิสูจน์

แฮมิลโทเนียนคือการแปลงเลอจองเดอร์ของลากรางเจียนดังนั้นจึงได้ว่า

ที่ไหน.

โดยการจัดเรียงสมการใหม่เราสามารถเขียนในรูปของและได้เป็นดังนั้น1 จึง กลายเป็นสมการสองตัวแปรคือ และ

การหาอนุพันธ์ย่อยของทั้งสองข้างของ1เทียบกับ(โดยคงค่า ไว้) จะได้ การหาอนุพันธ์ย่อยของทั้งสองข้างของ1เทียบกับแทน (โดยคงค่า ไว้) จะได้

ตอนนี้สมการออยเลอร์-ลากรางจ์ให้ผลลัพธ์ดังนี้

จากหลักการกระทำคงที่ไปสู่สมการของแฮมิลตัน

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

การตีความทางกายภาพขั้นพื้นฐาน

การตีความกลศาสตร์แฮมิลโทเนียนอย่างง่ายมาจากการประยุกต์ใช้กับระบบหนึ่งมิติซึ่งประกอบด้วยอนุภาคที่ไม่เป็นสัมพัทธภาพหนึ่งอนุภาคที่มีมวลmค่าของแฮมิลโทเนียนคือพลังงานรวมของระบบ ในกรณีนี้คือผลรวมของพลังงานจลน์และพลังงานศักย์ซึ่งโดยทั่วไปจะใช้สัญลักษณ์TและVตามลำดับ ในที่นี้pคือโมเมนตัมmvและqคือพิกัดเชิงพื้นที่ ดังนั้น Tเป็นฟังก์ชันของpเพียงอย่างเดียว ในขณะที่Vเป็นฟังก์ชันของqเพียงอย่างเดียว (กล่าวคือTและVเป็นสเคลอโรโนมิก )

ในตัวอย่างนี้ อนุพันธ์ของq เทียบกับเวลา คือความเร็ว ดังนั้นสมการแฮมิลตันข้อแรกหมายความว่าความเร็วของอนุภาคเท่ากับอนุพันธ์ของพลังงานจลน์เทียบกับโมเมนตัม อนุพันธ์ของโมเมนตัมpเทียบกับ เวลาเท่ากับ แรงนิวตันดังนั้นสมการแฮมิลตันข้อที่สองหมายความว่าแรงเท่ากับเกรเดียนต์ ลบ ของพลังงานศักย์

ตัวอย่าง

ลูกตุ้มทรงกลมประกอบด้วยมวลmที่เคลื่อนที่โดยไม่มีแรงเสียดทานบนพื้นผิวของทรงกลม แรงเพียงอย่างเดียวที่กระทำต่อมวลคือแรงปฏิกิริยาจากทรงกลมและแรงโน้มถ่วงพิกัดทรงกลมใช้เพื่ออธิบายตำแหน่งของมวลในรูปของ( r , θ , φ )โดยที่rมีค่าคงที่r =

ลูกตุ้มทรงกลม : มุมและความเร็ว

ลากรางเจียนสำหรับระบบนี้คือ[ 2 ]

ดังนั้นแฮมิลโทเนียนคือ โดยที่ และ ในแง่ของพิกัดและโมเมนตัม แฮมิลโทเนียนเขียนได้ดังนี้ สม การของแฮมิลตันแสดงวิวัฒนาการของพิกัดและโมเมนตัมคู่ควบตามเวลาในสมการเชิงอนุพันธ์อันดับหนึ่งสี่สมการ โมเมนตัม ซึ่งสอดคล้องกับส่วนประกอบแนวตั้งของโมเมนตัมเชิงมุมเป็นค่าคงที่ของการเคลื่อนที่ นั่นเป็นผลมาจากสมมาตรการหมุนของระบบรอบแกนแนวตั้ง เนื่องจากไม่มีอยู่ในแฮมิลโทเนียน มุมอะซิมุธจึงเป็นพิกัดแบบวัฏจักรซึ่งหมายถึงการอนุรักษ์โมเมนตัมคู่ควบ

การพิสูจน์สมการของแฮมิลตัน

สมการของแฮมิลตันสามารถหาได้จากการคำนวณโดยใช้ลากรางเจียนตำแหน่งทั่วไปq iและความเร็วทั่วไปqiโดยที่⁠⁠. [ 3 ]ในที่นี้เราทำงานนอกเปลือกหมายความว่า⁠⁠,⁠⁠,⁠⁠เป็นพิกัดอิสระในปริภูมิเฟส ไม่ถูกจำกัดให้เป็นไปตามสมการการเคลื่อนที่ใดๆ (โดยเฉพาะอย่างยิ่งไม่ใช่อนุพันธ์ของ)อนุพันธ์รวมของลากรางเจียนคือ: พิกัดโมเมนตัมทั่วไปถูกกำหนดเป็นดังนั้นเราอาจเขียนสมการใหม่ได้ดังนี้:

หลังจากจัดเรียงใหม่แล้วจะได้ดังนี้:

พจน์ในวงเล็บทางด้านซ้ายมือคือแฮมิลโทเนียนที่ได้นิยามไว้ก่อนหน้านี้ ดังนั้น:

นอกจากนี้ ยังสามารถคำนวณอนุพันธ์รวมของแฮมิลโทเนียนเทียบกับพิกัด , , แทนที่จะเป็น , , ซึ่งจะได้ผลลัพธ์ดังนี้:

ตอนนี้เราสามารถเทียบสองนิพจน์นี้สำหรับ⁠ ⁠ ได้ แล้ว โดยนิพจน์หนึ่งแสดงในรูปของ⁠ ⁠และอีกนิพจน์หนึ่งแสดงในรูปของ⁠ ⁠ :

เนื่องจากการคำนวณเหล่านี้อยู่นอกเชลล์ จึงสามารถเทียบสัมประสิทธิ์ของ⁠ ⁠ , ⁠ ⁠ , ⁠ ⁠ทั้งสองข้างได้:

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

เมื่อจัดเรียงใหม่และเขียนโดยใช้รูปแบบของ on-shell จะได้ดังนี้:

ดังนั้นสมการของลากรองจ์จึงเทียบเท่ากับสมการของแฮมิลตัน:

ในกรณีที่ไม่ขึ้นกับเวลาและ กล่าว คือสมการของแฮมิลตันประกอบด้วยสมการเชิงอนุพันธ์อันดับหนึ่ง2 n สมการ ในขณะที่สมการของลากรองจ์ประกอบด้วยสม การอันดับสอง nสมการของแฮมิลตันมักจะไม่ช่วยลดความยากในการหาคำตอบที่ชัดเจน แต่สามารถอนุมานผลลัพธ์ทางทฤษฎีที่สำคัญได้จากสมการเหล่านี้ เนื่องจากพิกัดและโมเมนตัมเป็นตัวแปรอิสระที่มีบทบาทสมมาตรกันเกือบทั้งหมด

สมการของแฮมิลตันมีข้อได้เปรียบเหนือสมการของลากรางจ์อีกอย่างหนึ่งคือ หากระบบมีความสมมาตร พิกัดบางอย่างจะไม่ปรากฏในแฮมิลโทเนียน (เช่นพิกัดวัฏจักร ) พิกัดโมเมนตัมที่สอดคล้องกันจะถูกอนุรักษ์ไว้ตามวิถีการเคลื่อนที่แต่ละเส้น และพิกัดนั้นสามารถลดรูปเป็นค่าคงที่ในสมการอื่นๆ ของเซตได้ ซึ่งจะช่วยลดปัญหาจากnพิกัดเหลือเพียง( n − 1)พิกัด นี่คือพื้นฐานของการลดรูปเชิงซิมเพล็กติกในเรขาคณิต ในกรอบของลากรางจ์ การอนุรักษ์โมเมนตัมก็เกิดขึ้นทันทีเช่นกัน อย่างไรก็ตาม ความเร็วทั่วไปทั้งหมดก็ยังคงปรากฏในลากรางจ์ และระบบสมการในnพิกัดก็ยังคงต้องได้รับการแก้ไข[ 4 ]

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

คุณสมบัติของแฮมิลโทเนียน

  • ค่าของแฮมิลโทเนียนจะเป็นพลังงานรวมของระบบก็ต่อเมื่อฟังก์ชันพลังงานมีคุณสมบัติเดียวกัน (ดูคำจำกัดความของ )
  • เมื่อ⁠ ⁠ , ⁠ ⁠ก่อให้เกิดคำตอบของสมการของแฮมิลตัน
    จริงอยู่และทุกอย่างยกเว้นพจน์สุดท้ายจะหักล้างกันไป
  • ไม่เปลี่ยนแปลงภายใต้การแปลงจุด กล่าวคือ การเปลี่ยนแปลงพิกัดเชิงพื้นที่อย่างราบรื่น (เป็นผลมาจากการที่ฟังก์ชันพลังงานไม่เปลี่ยนแปลงภายใต้การแปลงจุด สามารถพิสูจน์ความไม่เปลี่ยนแปลงของได้โดยตรง)
  • (ดูหัวข้อ § การพิสูจน์สมการของแฮมิลตัน )
  • (เปรียบเทียบสมการของแฮมิล ตันและสมการออยเลอร์-ลากรางจ์ หรือดูหัวข้อ § การหาที่มาของสมการของแฮมิลตัน )
  • ก็ต่อเมื่อ⁠ ⁠ .
    พิกัดที่สมการสุดท้ายเป็นจริงเรียกว่าพิกัดวัฏจักร (หรือพิกัดที่ละเลยได้ ) พิกัดวัฏจักรทุกพิกัดจะลดจำนวนองศาอิสระลงทำให้โมเมนตัมที่สอดคล้องกันได้รับการอนุรักษ์ และทำให้สมการของแฮมิลตันแก้ได้ง่ายขึ้น

แฮมิลโทเนียนในฐานะพลังงานรวมของระบบ

ในการนำไปใช้กับระบบที่กำหนด แฮมิลโทเนียนมักจะถูกมองว่าเป็น

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

ความสัมพันธ์นี้เป็นจริงสำหรับระบบที่ไม่ใช่สัมพัทธภาพเมื่อเงื่อนไขต่อไปนี้ทั้งหมดเป็นไปตามที่กำหนด[ 5 ] [ 6 ]

โดยที่t คือเวลา n คือจำนวนองศาอิสระของระบบ และ Δt คือฟังก์ชันสเกลาร์ใดๆ ของΔt

กล่าวโดยสรุป ความสัมพันธ์นี้จะเป็นจริงก็ต่อเมื่อไม่มีเวลาเป็นตัวแปรที่ระบุอย่างชัดเจน (เป็นแบบสเคลอโรโนมิก ) ไม่มีความเร็วทั่วไปเป็นตัวแปรที่ระบุอย่างชัดเจน และแต่ละพจน์ของเป็นพจน์กำลังสองของความเร็วทั่วไป

การพิสูจน์

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

นอกจากนี้ การพิสูจน์นี้ยังใช้สัญลักษณ์เพื่อแสดงให้เห็นว่า

การพิสูจน์

เริ่มต้นจากนิยามของแฮมิลโทเนียน โมเมนตัมทั่วไป และลากรางเจียนสำหรับระบบที่มีองศาอิสระ

เมื่อแทนค่าโมเมนตัมทั่วไปลงในแฮมิลโทเนียนจะได้

เมื่อแทนค่า Lagrangian ลงในผลลัพธ์จะได้

สมมติว่าตอนนี้

และยังสมมติด้วยว่า

การนำสมมติฐานเหล่านี้ไปใช้จะส่งผลให้

ต่อไปให้สมมติว่า T มีรูปแบบดังนี้

โดยที่แต่ละค่าเป็นฟังก์ชันสเกลาร์ใดๆของ

เมื่อทำการหาอนุพันธ์เทียบกับ, , จะได้

การแยกผลรวม การหาอนุพันธ์ย่อย และการรวมผลรวมอีกครั้งจะได้

ผล รวม (คูณด้วย) ตลอดช่วง จะได้

การลดรูปนี้เป็นผลมาจากทฤษฎีบทฟังก์ชันเอกพันธุ์ของออยเลอร์

ดังนั้น แฮมิลโทเนียนจึงกลายเป็น

การประยุกต์ใช้กับระบบมวลจุด

สำหรับระบบมวลจุด เงื่อนไขที่ว่าต้องเป็นฟังก์ชันกำลังสองของความเร็วทั่วไปนั้นจะเป็นจริงเสมอในกรณีที่ซึ่งเป็นเงื่อนไขสำหรับอยู่แล้ว

การพิสูจน์

พิจารณาพลังงานจลน์ของระบบมวลจุด N จุด หากสมมติว่าแล้วจะสามารถแสดงได้ว่า(ดูScleronomous § การประยุกต์ใช้ ) ดังนั้น พลังงานจลน์คือ

กฎลูกโซ่สำหรับตัวแปรหลายตัวสามารถนำมาใช้เพื่อขยายความเร็วได้

ส่งผลให้

เอกสารนี้อยู่ในรูปแบบที่กำหนดไว้

การอนุรักษ์พลังงาน

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

โดยสรุป ข้อกำหนดที่ต้องปฏิบัติตามสำหรับระบบที่ไม่ใช่สัมพัทธภาพคือ[ 5 ] [ 6 ]

  1. เป็นฟังก์ชันกำลังสองเอกพันธุ์ใน

เกี่ยวกับการขยายสูตรออยเลอร์-ลากรางจ์ที่ใช้ฟังก์ชันการกระจายพลังงาน (ดูกลศาสตร์ลากรางจ์ § การขยายเพื่อรวมแรงที่ไม่คงตัว ) เช่นฟังก์ชันการกระจายพลังงานของเรย์ลีพลังงานจะไม่ถูกอนุรักษ์เมื่อฟังก์ชันการกระจายพลังงานมีผล สามารถอธิบายความเชื่อมโยงระหว่างข้อนี้กับข้อกำหนดก่อนหน้านี้ได้โดยการเชื่อมโยงสมการออยเลอร์-ลากรางจ์แบบขยายและแบบดั้งเดิม: การจัดกลุ่มพจน์ที่ขยายเข้าไปในฟังก์ชันศักย์จะสร้างศักย์ที่ขึ้นอยู่กับความเร็ว ดังนั้น ข้อกำหนดจึงไม่เป็นไปตามที่กำหนดเมื่อฟังก์ชันการกระจายพลังงานมีผล

แฮมิลโทเนียนของอนุภาคที่มีประจุในสนามแม่เหล็กไฟฟ้า

ตัวอย่างที่เพียงพอของกลศาสตร์แฮมิลโทเนียนคือแฮมิลโทเนียนของอนุภาคที่มีประจุในสนามแม่เหล็กไฟฟ้าในพิกัดคาร์ทีเซียนลากรางเจียนของอนุภาคคลาสสิกที่ไม่สัมพัทธภาพในสนามแม่เหล็กไฟฟ้าคือ (ในหน่วย SI ): โดยที่qคือประจุไฟฟ้าของอนุภาคφคือศักย์สเกลาร์ไฟฟ้าและA iคือส่วนประกอบของศักย์เวกเตอร์แม่เหล็กซึ่งอาจขึ้นอยู่กับและอย่างชัดเจน

ลากรางเจียนนี้ เมื่อรวมกับสมการออยเลอร์-ลากรางจ์จะได้กฎ แรงลอเรนซ์ และเรียกว่าการเชื่อมโยงขั้นต่ำ (minimal coupling )

โมเมนตัมมาตรฐานกำหนดโดย:

ดังนั้น แฮมิลโทเนียน ซึ่งเป็นการแปลงเลอจองเดอร์ของลากรางเจียน จึงมีลักษณะดังนี้:

สมการนี้ถูกนำมาใช้บ่อยในกลศาสตร์ควอนตั

ภายใต้การแปลงเกจ : โดยที่f ( r , t )คือฟังก์ชันสเกลาร์ใดๆ ของปริภูมิและเวลา ลากรางเจียน โมเมนตัมเชิงแคนอน และแฮมิลโทเนียนที่กล่าวถึงข้างต้นจะแปลงดังนี้: ซึ่งยังคงสร้างสมการของแฮมิลตันเหมือนเดิม:

ในกลศาสตร์ควอนตัมฟังก์ชันคลื่นจะผ่านการแปลงกลุ่มU(1) เฉพาะที่[ 7 ]ในระหว่างการแปลงเกจ ซึ่งหมายความว่าผลลัพธ์ทางกายภาพทั้งหมดจะต้องไม่เปลี่ยนแปลงภายใต้การแปลง U(1) เฉพาะที่

จากเรขาคณิตเชิงซิมเพล็กติกสู่สมการของแฮมิลตัน

เรขาคณิตของระบบแฮมิลโทเนียน

แฮมิลโทเนียนสามารถเหนี่ยวนำโครงสร้างซิมเพล็กติกบนแมนิโฟลด์มิติคู่เรียบM 2 nได้หลายวิธีที่เทียบเท่ากัน โดยวิธีที่เป็นที่รู้จักดีที่สุดมีดังต่อไปนี้: [ 8 ]

ωเป็น รูปแบบ ซิมเพล็กติก2-ฟอร์มแบบปิดที่ไม่เสื่อมสภาพ ตามทฤษฎีบทของดาร์บูซ์ในบริเวณใกล้เคียงเล็กๆ รอบจุดใดๆ บนMจะมีพิกัดท้องถิ่นที่เหมาะสม( พิกัด แคนอนิกหรือ พิกัดซิม เพล็กติก ) ซึ่งรูปแบบซิมเพล็กติกจะกลายเป็น: รูปแบบ นี้ เหนี่ยวนำให้เกิดไอโซมอร์ฟิซึมตามธรรมชาติของปริภูมิสัมผัสกับปริภูมิโคแทนเจนต์ : ซึ่งทำได้โดยการแมปเวกเตอร์ไปยังรูปแบบ 1-ฟอร์มโดยที่สำหรับทุกเนื่องจากความเป็นเชิงเส้นคู่และการไม่เสื่อมสภาพของและข้อเท็จจริงที่ว่าการแมปจึงเป็นไอโซมอร์ฟิซึมเชิงเส้น อย่าง แท้จริง ไอโซมอ ร์ฟิซึมนี้เป็นธรรมชาติเนื่องจากไม่เปลี่ยนแปลงเมื่อมีการเปลี่ยนพิกัด เมื่อทำซ้ำไปเรื่อยๆเราจะได้ไอโซมอร์ฟิซึมระหว่างปริภูมิอนันต์มิติของสนามเวกเตอร์เรียบและปริภูมิของ 1-ฟอร์มเรียบสำหรับ ทุกและ 

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

ระบบแฮมิลโทเนียนอาจเข้าใจได้ว่าเป็นไฟเบอร์บันเดิลEเหนือเวลาRโดยที่ไฟเบอร์E tคือปริภูมิตำแหน่ง ณ เวลาtRดังนั้นลากรางเจียนจึงเป็นฟังก์ชันบนเจ็ทบันเดิลJเหนือE การแปลงเลอจองเดอร์แบบไฟเบอร์ของลากรางเจียนจะสร้างฟังก์ชันบนบันเดิลคู่เหนือเวลา ซึ่งไฟเบอร์ ณ เวลาtคือปริภูมิโคแทนเจนต์T E tซึ่งมาพร้อมกับรูปแบบซิมเพล็กติก ตามธรรมชาติ และฟังก์ชันหลังนี้คือแฮมิลโทเนียน ความสอดคล้องกันระหว่างกลศาสตร์ลากรางเจียนและกลศาสตร์แฮมิลโทเนียนเกิดขึ้นได้ด้วยวันฟอร์มเชิงสัจพจน์

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

สนามเวกเตอร์แฮมิลโทเนียนเหนี่ยวนำให้เกิดการไหลแบบแฮมิลโทเนียนบนแมนิโฟลด์ นี่คือตระกูลการแปลงแมนิโฟลด์แบบพารามิเตอร์เดียว (พารามิเตอร์ของเส้นโค้งมักเรียกว่า "เวลา") กล่าวอีกนัยหนึ่งคือไอโซโทปีของซิมเพล็กโทมอร์ฟิซึม โดยเริ่มต้นจากเอกลักษณ์ ตามทฤษฎีบทของลิอูวิลล์ซิมเพล็กโทมอร์ฟิซึมแต่ละตัวจะรักษารูปแบบปริมาตรบนปริภูมิเฟสชุดของซิมเพล็กโทมอร์ฟิซึมที่เกิดจากการไหลแบบแฮมิลโทเนียนมักเรียกว่า "กลศาสตร์แฮมิลโทเนียน" ของระบบแฮมิลโทเนียน

โครงสร้างเชิงซิมเพล็กติกก่อให้เกิดวงเล็บ ปัวซงวงเล็บปัวซงทำให้ปริภูมิของฟังก์ชันบนแมนิโฟลด์มีโครงสร้างของพีชคณิตลี

ถ้าFและGเป็นฟังก์ชันเรียบบนMแล้ว ฟังก์ชันเรียบω ( J ( dF ), J ( dG ))จะถูกนิยามอย่างถูกต้อง เรียกว่าวงเล็บปัวซงของฟังก์ชันFและGและใช้สัญลักษณ์{ F , G }วงเล็บปัวซงมีคุณสมบัติดังต่อไปนี้:

  1. ความเป็นเส้นตรงสองเส้น
  2. ความไม่สมมาตร
  3. กฎของไลบ์นิซ :
  4. เอกลักษณ์ของจาโคบี :
  5. ความไม่เสื่อม: ถ้าจุดxบนMไม่เป็นจุดวิกฤตสำหรับFแล้วจะมีฟังก์ชันเรียบGอยู่ซึ่งทำให้⁠ ⁠ .

กำหนดให้ฟังก์ชันf ถ้ามีฟังก์ชันความน่าจะเป็นρแล้ว (เนื่องจากความเร็วในปริภูมิเฟสมีค่าไดเวอร์เจนซ์เป็นศูนย์และความน่าจะเป็นถูกอนุรักษ์) จะสามารถแสดงได้ว่าอนุพันธ์เชิงการพาความร้อนของฟังก์ชันนั้นเป็นศูนย์ ดังนั้น

นี่เรียกว่าทฤษฎีบทของ Liouville ฟังก์ชันเรียบGทุก ฟังก์ชัน บนแมนิโฟลด์เชิงซิมเพล็กติก จะสร้างตระกูลของ ซิมเพล็กโตมอร์ฟิซึมแบบ พารามิเตอร์เดียวและถ้า{ G , H } = 0แล้วGจะถูกอนุรักษ์ และซิมเพล็กโตมอร์ฟิซึมจะเป็นการแปลงสมมาตร

แฮมิลโทเนียนอาจมีปริมาณอนุรักษ์หลายตัวG iถ้าแมนิโฟลด์เชิงซิมเพล็กติกมีมิติ2 nและมีปริมาณอนุรักษ์ที่เป็นอิสระเชิงฟังก์ชันn ตัว G iซึ่งอยู่ในอินโวลูชัน (เช่น{ G i , G j } = 0 ) แล้วแฮมิลโทเนียนนั้น สามารถ หาปริพันธ์ได้ด้วยวิธี Liouville ทฤษฎีบท Liouville –Arnoldกล่าวว่า ในระดับท้องถิ่น แฮมิลโทเนียนที่สามารถหาปริพันธ์ได้ด้วยวิธี Liouville ใดๆ ก็สามารถแปลงผ่านซิมเพล็กโทมอร์ฟิซึมไปเป็นแฮมิลโทเนียนใหม่ที่มีปริมาณอนุรักษ์G iเป็นพิกัดได้ พิกัดใหม่นี้เรียกว่าพิกัดแอคชั่น-มุมแฮมิลโทเนียนที่แปลงแล้วจะขึ้นอยู่กับG i เท่านั้น ดังนั้นสมการการเคลื่อนที่จึงมีรูปแบบง่ายๆ สำหรับ ฟังก์ชันF บางตัว [ 9 ] มีสาขาทั้งหมดที่มุ่งเน้นไปที่ความเบี่ยงเบนเล็กน้อยจากระบบที่สามารถหาปริพันธ์ได้ซึ่งควบคุมโดยทฤษฎีบท KAM

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

แมนิโฟลด์แบบรีมันน์

กรณีพิเศษที่สำคัญคือแฮมิลโทเนียนที่เป็นรูปแบบกำลังสอง กล่าว คือ แฮมิลโทเนียนที่สามารถเขียนได้ในรูป โดย ที่⟨ , ⟩ qคือผลคูณภายใน ที่เปลี่ยนแปลงอย่างราบรื่น บนไฟเบอร์T* qQคือปริภูมิโคแทนเจนต์ของจุด qในปริภูมิการจัดเรียง ซึ่งบางครั้งเรียกว่าโคเมทริก แฮมิลโทเนียนนี้ประกอบด้วยเทอมจลน์ทั้งหมด

หากพิจารณาแมนิโฟลด์แบบรีมันน์หรือแมนิโฟลด์แบบซูโดรีมันน์ เมตริก แบบรีมันน์จะเหนี่ยวนำให้เกิดไอโซมอร์ฟิซึมเชิงเส้นระหว่างบันเดิลสัมผัสและบันเดิลโคสัมผัส (ดูไอโซมอร์ฟิซึมทางดนตรี ) โดยใช้ไอโซมอร์ฟิซึมนี้ เราสามารถกำหนดโคเมตริกได้ (ในพิกัด เมทริกซ์ที่กำหนดโคเมตริกคือเมทริกซ์ผกผันของเมทริกซ์ที่กำหนดเมตริก) คำตอบของสมการแฮมิลตัน-จาโคบีสำหรับแฮมิลโทเนียนนี้จะเหมือนกับ เส้น จีโอเดสิกบนแมนิโฟลด์ โดยเฉพาะอย่างยิ่งการไหลของแฮมิลโทเนียนในกรณีนี้ก็คือการไหลของจีโอเดสิกนั่นเอง การมีอยู่ของคำตอบดังกล่าวและความสมบูรณ์ของเซตของคำตอบนั้นได้มีการกล่าวถึงอย่างละเอียดในบทความเกี่ยวกับ เส้น จีโอ เดสิก ดูเพิ่มเติมที่ เส้นจีโอเดสิกในฐานะการไหลของแฮมิลโทเนียน

แมนิโฟลด์ย่อยรีมันน์

เมื่อโคเมริกเสื่อมสภาพ มันจะไม่สามารถผกผันได้ ในกรณีนี้ เราจะไม่มีแมนิโฟลด์แบบรีมันน์ เนื่องจากเราไม่มีเมตริก อย่างไรก็ตาม แฮมิลโทเนียนยังคงมีอยู่ ในกรณีที่โคเมริกเสื่อมสภาพที่ทุกจุดqของแมนิโฟลด์ปริภูมิการกำหนดค่าQโดยที่อันดับของโคเมริกน้อยกว่ามิติของแมนิโฟลด์Qเราจะมีแมนิโฟลด์ย่อยแบบรีมันน์

ในกรณีนี้ แฮมิลโทเนียนเรียกว่าแฮมิลโทเนียนแบบซับรีมันน์แฮมิลโทเนียนดังกล่าวแต่ละตัวจะกำหนดโคเมทริกได้อย่างเฉพาะเจาะจง และในทางกลับกัน ซึ่งหมายความว่าทุกแมนิโฟลด์แบบซับรีมันน์จะถูกกำหนดได้อย่างเฉพาะเจาะจงโดยแฮมิลโทเนียนแบบซับรีมันน์ของมัน และในทางกลับกันก็เป็นจริงเช่นกัน กล่าวคือ ทุกแมนิโฟลด์แบบซับรีมันน์จะมีแฮมิลโทเนียนแบบซับรีมันน์ที่ไม่ซ้ำกัน การมีอยู่ของจีโอเดสิกแบบซับรีมันน์นั้นได้รับการพิสูจน์โดยทฤษฎีบทของโชว์-ราเชฟสกี

กลุ่มไฮเซนเบิร์กที่มีค่าเป็นจำนวนจริงต่อเนื่องนั้นเป็นตัวอย่างง่ายๆ ของแมนิโฟลด์ย่อยแบบรีมันน์ สำหรับกลุ่มไฮเซนเบิร์กนั้น แฮมิลโทเนียนกำหนดโดย p โดยที่ zไม่เกี่ยวข้องกับแฮมิลโทเนียน

พีชคณิตปัวซง

ระบบแฮมิลโทเนียนสามารถขยายความได้หลายวิธี แทนที่จะพิจารณาเพียงพีชคณิตของฟังก์ชันเรียบเหนือแมนิโฟลด์เชิงซิมเพล็กติกกลศาสตร์แฮมิลโทเนียนสามารถกำหนดสูตรได้บนพีชคณิตปัวซงจริงแบบสลับที่และมีเอกลักษณ์ทั่วไป สถานะคือฟังก์ชันเชิงเส้นต่อเนื่อง บนพีชคณิตปัวซง (พร้อมด้วย โทโพโลยีที่เหมาะสมบางอย่าง) โดยที่สำหรับองค์ประกอบA ใดๆ ของพีชคณิตจะแมปไปยังจำนวนจริงที่ไม่เป็นลบ

พลศาสตร์ของนัมบูเป็นการสรุปทั่วไปเพิ่มเติมอีกประการหนึ่ง

การสรุปทั่วไปสู่กลศาสตร์ควอนตัมผ่านวงเล็บปัวซง

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

โดยเฉพาะอย่างยิ่ง รูปแบบทั่วไปของสมการของแฮมิลตันมีดังนี้ โดยที่fเป็นฟังก์ชันบางอย่างของpและqและHคือแฮมิลโทเนียน หากต้องการทราบกฎสำหรับการประเมินวงเล็บปัวซงโดยไม่ต้องใช้สมการเชิงอนุพันธ์ โปรดดูพีชคณิตลี วงเล็บปัวซงคือชื่อเรียกวงเล็บลีในพีชคณิตปัวซงวงเล็บปัวซงเหล่านี้สามารถขยายไปเป็นวงเล็บโมยาลที่สอดคล้องกับพีชคณิตลีที่ไม่เท่ากันได้ ดังที่พิสูจน์โดยฮิลแบรนด์ เจ. โกรเนโวลด์และด้วยเหตุนี้จึงสามารถอธิบายการแพร่กระจายทางกลศาสตร์ควอนตัมในปริภูมิเฟสได้ (ดูการกำหนดสูตรปริภูมิเฟสและการแปลงวิกเนอร์-ไวล์ ) แนวทางเชิงพีชคณิตนี้ไม่เพียงแต่ช่วยให้สามารถขยายการกระจายความน่าจะเป็นในปริภูมิเฟสไปสู่การกระจายความน่าจะเป็นแบบกึ่งวิกเนอร์ได้เท่านั้น แต่ในบริบทคลาสสิกของวงเล็บปัวซง ยังให้พลังมากขึ้นในการช่วยวิเคราะห์ปริมาณอนุรักษ์ ที่เกี่ยวข้อง ในระบบ อีกด้วย

ดูเพิ่มเติม

อ่านเพิ่มเติม

  • Landau, Lev Davidovich ; Lifshitz, Evgenii Mikhailovich (1976). กลศาสตร์ . หลักสูตรฟิสิกส์เชิงทฤษฎี . เล่ม 1. Sykes, JB (John Bradbury), Bell, JS (ฉบับพิมพ์ครั้งที่ 3). อ็อกซ์ฟอร์ด. ISBN 0-08-021022-8. OCLC  2591126 .{{cite book}}: CS1 maint: location missing publisher (link)
  • Abraham, R. ; Marsden, JE (1978). พื้นฐานของกลศาสตร์ (ฉบับพิมพ์ครั้งที่ 2 ปรับปรุง ขยายความ และจัดเรียงใหม่). เรดดิง, แมสซาชูเซตส์: สำนักพิมพ์เบนจามิน/คัมมิงส์ISBN 0-8053-0102-X. OCLC  3516353 .
  • อาร์โนลด์, VI ; คอซลอฟ, VV; Nehshtadt, AI (1988) "ลักษณะทางคณิตศาสตร์ของกลศาสตร์คลาสสิกและกลศาสตร์ท้องฟ้า" สารานุกรมวิทยาศาสตร์คณิตศาสตร์ ระบบพลวัต III . ฉบับที่ 3. อาโนซอฟ ดีวี เบอร์ลิน: สปริงเกอร์-แวร์แลกไอเอสบีเอ็น 0-387-17002-2. OCLC  16404140 .
  • Arnol'd, VI (1989). วิธีการทางคณิตศาสตร์ของกลศาสตร์คลาสสิก (ฉบับที่ 2). นิวยอร์ก: Springer-Verlag. ISBN 0-387-96890-3. OCLC  18681352 .
  • โกลด์สไตน์, เฮอร์เบิร์ต ; พูล, ชาร์ลส์ พี.จูเนียร์; ซาฟโก, จอห์น แอล. (2002). กลศาสตร์คลาสสิก (ฉบับที่ 3). ซานฟรานซิสโก: แอดดิสัน เวสลีย์. ISBN 0-201-31611-0. OCLC  47056311 .
  • Vinogradov, AM ; Kupershmidt, BA (31 สิงหาคม 1977). "โครงสร้างของกลศาสตร์แฮมิลโทเนียน" . การสำรวจทางคณิตศาสตร์ของรัสเซีย . 32 (4): 177– 243. Bibcode : 1977RuMaS..32..177V . doi : 10.1070/RM1977v032n04ABEH001642 . ISSN  0036-0279 . S2CID  250805957 .
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Hamiltonian_mechanics&oldid=1346660472#Mathematical_formalism "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ กลศาสตร์แฮมิลตัน

ในฟิสิกส์กลศาสตร์แฮมิลตันเป็นการปรับปรุงใหม่ของกลศาสตร์ลากรางจ์ซึ่งเกิดขึ้นในปี ค.ศ.

พิกัดปริภูมิเฟส ( p , q ) และแฮมิลโทเนียน H

ให้เป็น ระบบเชิงกล ที่มี ปริภูมิการกำหนดค่า และ ลากรางเจียน เรียบ เลือกใช้ระบบพิกัดมาตรฐานบน บันเดิลสัมผัส ปริมาณเหล่านี้เรียกว่า โมเมนตัม (หรือ โมเมนตัมทั่วไป โมเมนตัม คู่ควบ และ โมเมนตัมเชิงแคนอน ) สำหรับช่วงเวลาหนึ่ง การแปลงเลอจองเดอร์...

จากสมการออยเลอร์-ลากรองจ์ ไปสู่สมการของแฮมิลตัน

ในพิกัดปริภูมิเฟส สม การออยเลอ ร์ ( p , q ) {\displaystyle ({\boldsymbol {p}},{\boldsymbol {q}})} -ลากรางจ์ ( มิติ) จะกลายเป็น สมการของแฮมิล ตัน ในมิติ n {\displaystyle n} ∂ L ∂ q − d d t ∂ L ∂ q ˙ = 0 {\displaystyle {\frac {\partial {\mathcal {L}}}{\partial...

จากหลักการกระทำคงที่ไปสู่สมการของแฮมิลตัน

ให้เป็นเซตของเส้นทางเรียบซึ่งและ ฟังก์ชันการกระทำ ถูกกำหนดโดย โดย ที่ ⁠ ⁠ และ(ดูด้านบน) เส้นทางเป็น จุดนิ่ง ของ(และดังนั้น เป็นสมการการเคลื่อนที่) ก็ต่อเมื่อเส้นทางในพิกัดปริภูมิเฟสเป็นไปตามสมการของแฮมิลตัน P ( a , b , x a , x b ) {\displaystyle {\mathcal...