गणित और शास्त्रीय यांत्रिकी में, पोइसन ब्रैकेट हैमिल्टनियन यांत्रिकी में एक महत्वपूर्ण द्विआधारी संक्रिया है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है और जो हैमिल्टनियन गतिशील प्रणाली के समय के विकास को नियंत्रित करता है। पोइसन ब्रैकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे विहित परिवर्तन कहा जाता है, जो कैननिकल निर्देशांक को कैनोनिकल समन्वय प्रणालियों में प्रतिचित्र करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा और , क्रमशः) जो कैनोनिकल पॉइसन ब्रैकेट संबंधों को संतुष्ट करते हैं। संभावित विहित परिवर्तनों का सम्मुच्चय हमेशा बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को नए विहित संवेग में से एक के रूप में ही चुनना प्रायः संभव होता है।
अधिक सामान्य अर्थ में, पॉसॉन ब्रैकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें प्वाइजन बहुविध पर कार्यों का बीजगणित एक विशेष स्तिथि है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का प्रदिश बीजगणित पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की परिमाण विकृति परिमाण समूहों की धारणा को उत्पन्न करती है।
इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।
दो दिए गए प्रकार्य f और g जो चरण स्थान और समय पर निर्भर करता है, उनके पॉसॉन ब्रैकेट एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। निम्नलिखित नियम किसी भी तीन प्रकार्य के लिए मान्य हैं चरण स्थान और समय का:
हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। मान लीजिये समाधान के प्रक्षेपवक्र-कई गुना पर एक फलन है। फिर बहुभिन्नरूपी श्रृंखला नियम से,
आगे कोई और को हैमिल्टन के समीकरणों के समाधान के लिए ले सकता है;
तब
इस प्रकार, एक सिम्पेक्टिक बहुविध पर एक प्रकार्य का समय विकास सिम्प्लेक्टोमोर्फिम्स के एक-मापदण्ड श्रेणी के रूप में दिया जा सकता है (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफोमोर्फिज्म), समय मापदण्ड होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित परिवर्तन है। यानी पॉइसन ब्रैकेट इसमें संरक्षित हैं, ताकि किसी भी समय हैमिल्टन के समीकरणों के समाधान में,
ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।
निम्न निर्देशांक,
व्युत्पन्न के संवहन भाग में संकारक, , को कभी-कभी लिउविलियन के रूप में संदर्भित किया जाता है (लिउविल के प्रमेय (हैमिल्टनियन) देखें)।
एक एकीकृत गतिशील प्रणाली में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत आवागमन करेंगे। मान लीजिए कुछ फलन गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि हैमिल्टन के गति के समीकरणों का एक प्रक्षेपवक्र या समाधान है, फिर
उस पथ के साथ। तब
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं कि स्पष्ट रूप से समय पर निर्भर नहीं करता है। इस समीकरण को लिउविल के प्रमेय (हैमिल्टनियन) के रूप में जाना जाता है। लिउविल के प्रमेय की विषय सूची यह है कि एक वितरण फलन (भौतिकी) द्वारा दिए गए माप (गणित) का समय विकास उपरोक्त समीकरण द्वारा दिया गया है।
यदि प्वासों कोष्ठक और () को गायब कर देता है, तब और को प्रत्यावर्तन कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए , जहां स्वातंत्र्य कोटि की संख्या है।
इसके अलावा, पॉसों के प्रमेय के अनुसार, यदि दो मात्राएँ और स्पष्ट रूप से समय स्वतंत्र () गति के स्थिरांक हैं, तो उनका पॉइसन ब्रैकेट है। यह हमेशा एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है ( के साथ एक प्रणाली के लिए स्वातंत्र्य कोटि), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य और .)
समन्वय-मुक्त भाषा में पॉइसन ब्रैकेट
मान लीजिए कि M एक सिम्पलेक्टिक बहुविध है, यानी, एक सिम्पलेक्टिक बहुविध से सुसज्जित बहुविध: एक 2-विधि जो दोनों बंद है (यानी, इसका बाहरी व्युत्पन्न गायब हो जाता है) और गैर-पतित है। उदाहरण के लिए ऊपर दिए गए उपचार में लें होना और ले लो
अगर द्वारा परिभाषित आंतरिक उत्पाद या टेन्सर संकुचन ऑपरेशन है , तो गैर-पतन यह कहने के बराबर है कि हर एक रूप के लिए एक अद्वितीय वेक्टर क्षेत्र है ऐसा है कि . वैकल्पिक रूप से, . तो अगर एक सुचारू कार्य है , हैमिल्टनियन वेक्टर क्षेत्र के रूप में परिभाषित किया जा सकता है . इसे देखना आसान है
पोइसन ब्रैकेट पर (M, ω) अलग-अलग कार्यों पर एक बिलिनियर मानचित्र है, जिसे परिभाषित किया गया है ; दो कार्यों के प्वासों ब्रैकेट पर M अपने आप में एक फंक्शन है M. पोइसन ब्रैकेट एंटीसिमेट्रिक है क्योंकि:
आगे,
(1)
यहाँ Xgf वेक्टर क्षेत्र को दर्शाता है Xg प्रकार्य पर लागू होता है f एक दिशात्मक व्युत्पन्न के रूप में, और प्रकार्य के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है f.
अगर α एक मनमाना एक-रूप है M, सदिश क्षेत्र Ωα एक प्रवाह (गणित) उत्पन्न करता है (कम से कम स्थानीय रूप से) सीमा की स्थिति को संतुष्ट करना और प्रथम-क्रम अंतर समीकरण
h> प्रत्येक के लिए symplectomorphisms (विहित परिवर्तन) होगा t के कार्य के रूप में x अगर और केवल अगर ; जब यह सच है, Ωα को सहानुभूति वेक्टर क्षेत्र कहा जाता है। कार्टन की पहचान को याद करते हुए और dω = 0, यह इस प्रकार है कि . इसलिए, Ωα एक सहानुभूति सदिश क्षेत्र है अगर और केवल अगर α एक बंद और सटीक अंतर रूप है। तब से , यह इस प्रकार है कि प्रत्येक हैमिल्टनियन वेक्टर क्षेत्र Xf एक सहानुभूति सदिश क्षेत्र है, और यह कि हैमिल्टनियन प्रवाह में विहित परिवर्तन होते हैं। से (1) ऊपर, हैमिल्टनियन प्रवाह के तहत XH,
यह हेमिल्टनियन यांत्रिकी में एक मौलिक परिणाम है, जो चरण स्थान पर परिभाषित कार्यों के समय के विकास को नियंत्रित करता है। जैसा कि ऊपर उल्लेख किया गया है, कब {f,H} = 0, f सिस्टम की गति का एक स्थिरांक है। इसके अलावा, विहित निर्देशांक में (के साथ और ), सिस्टम के समय के विकास के लिए हैमिल्टन के समीकरण इस सूत्र से तुरंत अनुसरण करते हैं।
से भी होता है (1) कि प्वासों कोष्ठक एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-कम्यूटेटिव संस्करण को संतुष्ट करता है:
and
(2)
पोइसन ब्रैकेट हैमिल्टनियन वेक्टर फ़ील्ड्स के वेक्टर फ़ील्ड्स के लाई ब्रैकेट से घनिष्ठ रूप से जुड़ा हुआ है। क्योंकि लाई डेरिवेटिव एक व्युत्पत्ति है,
इस प्रकार यदि v और w सहानुभूतिपूर्ण हैं, उपयोग कर रहे हैं , कार्टन की पहचान, और तथ्य यह है कि बंद रूप है,
यह इस प्रकार है कि , ताकि
(3)
इस प्रकार, प्रकार्य पर पोइसन ब्रैकेट संबंधित हैमिल्टनियन वेक्टर फ़ील्ड के लाई ब्रैकेट से मेल खाता है। हमने यह भी दिखाया है कि दो सिम्प्लेक्टिक वेक्टर फ़ील्ड्स का लाइ ब्रैकेट एक हैमिल्टनियन वेक्टर फ़ील्ड है और इसलिए यह सिम्प्लेक्टिक भी है। सार बीजगणित की भाषा में, सहानुभूति सदिश क्षेत्र चिकनी सदिश क्षेत्रों के लाई बीजगणित का एक उपलजगणित बनाते हैं M, और हैमिल्टनियन सदिश क्षेत्र इस सबलजेब्रा का एक बीजगणितीय आदर्श बनाते हैं। सहानुभूति सदिश क्षेत्र (अनंत-आयामी) के झूठ बीजगणित हैं M.
यह व्यापक रूप से माना जाता है कि प्वासों ब्रैकेट के लिए जैकोबी पहचान,
सदिश क्षेत्रों के लाइ ब्रैकेट के लिए संबंधित पहचान से अनुसरण करता है, लेकिन यह केवल स्थानीय रूप से स्थिर प्रकार्य तक ही सही है। हालांकि, पोइसन ब्रैकेट के लिए जैकोबी पहचान साबित करने के लिए, यह दिखाने के लिए जैकोबी पहचान # उदाहरण है:
जहां ऑपरेटर सुचारू कार्यों पर M द्वारा परिभाषित किया गया है और दाहिनी ओर का ब्रैकेट ऑपरेटरों का कम्यूटेटर है, . द्वारा (1), परिचालक ऑपरेटर के बराबर है Xg. जैकोबी पहचान का प्रमाण इस प्रकार है (3) क्योंकि, -1 के गुणक तक, सदिश क्षेत्रों का लाई कोष्ठक अंतर संचालकों के रूप में केवल उनका कम्यूटेटर है।
एम पर चिकनी कार्यों के एक क्षेत्र पर बीजगणित, पोइसन ब्रैकेट के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन ब्रैकेट के तहत एक लेट बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम को संतुष्ट करता है (2). हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक कर्ली-ब्रैकेट ऑपरेटर के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सहानुभूतिपूर्ण मामले में उत्पन्न नहीं हो सकता है।
== संयुग्म संवेग == पर परिणाम
एक चिकने वेक्टर क्षेत्र को देखते हुए कॉन्फ़िगरेशन स्थान पर, चलो इसका संयुग्मी संवेग हो। संयुग्म संवेग मानचित्रण सदिश क्षेत्रों के ले ब्रैकेट से पोइसन ब्रैकेट तक एक झूठ बीजगणित विरोधी होमोमोर्फिज्म है:
यह महत्वपूर्ण परिणाम एक संक्षिप्त प्रमाण के लायक है। सदिश क्षेत्र लिखिए बिंदु पर विन्यास स्थान (भौतिकी) में के रूप में
कहाँ स्थानीय समन्वय फ्रेम है। करने के लिए संयुग्मी गति अभिव्यक्ति है
जहां गति कार्य निर्देशांक के संयुग्म हैं। एक तो एक बिंदु के लिए है चरण अंतरिक्ष में,
इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, हाइजेनबर्ग बीजगणित का सार्वभौमिक आवरण बीजगणित वेइल बीजगणित है (मॉड्यूलो संबंध है कि केंद्र इकाई है)। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष मामला है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है।
Karasëv, Mikhail V.; Maslov, Victor P. (1993). Nonlinear Poisson brackets, Geometry and Quantization. Translations of Mathematical Monographs. Vol. 119. Translated by Sossinsky, Alexey; Shishkova, M.A. Providence, RI: American Mathematical Society. ISBN978-0821887967. MR1214142.