کروشه پواسون - ویکیپدیا، دانشنامهٔ آزاد
مکانیک کلاسیک |
---|
در ریاضیات و مکانیک کلاسیک کروشهٔ پواسون (Poisson bracket) عملگری عمده در مکانیک هامیلتونی است. کروشه پواسون همچنین ارتباط مستقیمی بین مکانیک کوانتوم و مکانیک کلاسیک برقرار میکنند.
مختصات استاندارد
[ویرایش]در مختصات ذاتی بر روی فضای فاز، اجراء عمل دوتایی کروشهٔ پواسون، در مورد دو تابع مفروض و در فضای فاز و زمان، فرم زیر را بهخود میگیرد:
معادلات حرکت هامیلتون
[ویرایش]معادلات ژاکوبی-هامیلتون را میتوان بر حسب کروشهٔ پواسون بهصورت معادل زیر هم بیان کرد. این موضوع را میشود بهطور مستقیم در یک دستگاه مختصات عادی نشان داد. فرض میکنید تابعی است بر روی یک خمینه. آنگاه داریم:
چنانچه و را جوابهای معادلات هامیلتون-ژاکوبی و در نظر بگیریم خواهیم داشت:
خواص و ویژگیهای کروشه پواسون
[ویرایش]پاد متقارن بودن
[ویرایش]
یک نتیجه سریع از این خاصیت آن است که که برای هر تابعی برقرار است.
خطی بودن
[ویرایش]
ثوابت حرکت
[ویرایش]کروشهٔ پواسون قدرت واقعی خود را در یافتن ثابتهای حرکت نشان میدهد. ثابت حرکت تابعی در فضای فاز است که به زمان وابستگی صریح ندارد،، و مقدارش برای هر ذره ای ثابت است. به بیان دیگر ثابت حرکت است اگر که باشد. چون ما بیان کردیم که تابع وابستگی صریح به زمان ندارد یعنی است، پس این تعریف از ثابت حرکت به این معناست که:
ثابت حرکت است اگر و تنها اگر برای تمام نقاط در فضای فاز داشته باشیم:
چند مثال از کاربرد براکت پواسون
[ویرایش]ثابتهای حرکت آشنا را میتوان اکنون با توجه به این دستور العمل ساده دوباره بدست آورد:
انرژی
[ویرایش]دیدیم که به خاطر خاصیت پاد تقارنی براکت پواسون . با استفاده از این ویژگی به این نتیجه می رسیم که:
در حالتی که هامیلتونین وابستگی صریح به زمان نداشته باشد به این نتیجه می رسیم که هامیلتونین یک ثابت حرکت است. انرژی در صورتی پایسته میماند که وابستگی صریح به زمان نداشته باشد.
تکانه خطی
[ویرایش]در حالتی که هامیلتونین شامل یک مختصه تعمیم یافته خاص، ، نباشد، با استفاده از تعریف فوق خواهیم داشت:
بنابراین ثابت حرکت است. تکانه پایسته میماند اگر مختصه تعمیم یافته متناظرش در هامیلتونین ظاهر نشده باشد.
منابع
[ویرایش]- Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics, 2nd ed., Springer, New York. ISBN 978-0-387-96890-2
Goldstein H. Classical mechanics. Cambridge, MA: Addison-Wesley, 1950.
عملیات دوتایی | ||||
---|---|---|---|---|
عددی | تابعی | مجموعهای | ساختاری | |
مقدماتی + جمع حسابی div خارج قسمت اقلیدسی ترکیباتی () ضریب دوجملهای | ∘ ترکیب ∗ کانولوشن | جبر مجموعهها ∪ اجتماع ترتیب کلی توریها | مجموعهها × ضرب دکارتی گروهها ⊕ حاصلجمع مستقیم مدولها ⊗ ضرب تانسوری | درختها واریتههای متصل # جمع متصل فضاهای نقطهدار ∨ bouquet |
بُرداری | ||||
(.) ضرب اسکالر ∧ ضرب برداری | ||||
جبری | ||||
[,] کروشه لی {,} کروشه پواسون ∧ ضرب خارجی | ||||
هومولوژی | ||||
∪ cup-produit • حاصلضرب اشتراک | ترتیبی | |||
+ الحاق | ||||
منطق بولی | ||||
∧ عطف منطقی | ∨ فصل منطقی | ⊕ یای انحصاری | ⇒ استلزام منطقی | ⇔ اگر و فقط اگر |