Revision as of 16:15, 2 March 2023 by alpha>Indicwiki(Created page with "{{short description|Operation in Hamiltonian mechanics}} thumb|शिमोन डेनिस पोइसन {{Classical mechanics|expanded=Formu...")
गणित और शास्त्रीय यांत्रिकी में, पोइसन ब्रैकेट हैमिल्टनियन यांत्रिकी में एक महत्वपूर्ण बाइनरी ऑपरेशन है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है, जो हैमिल्टनियन गतिशील प्रणाली के समय के विकास को नियंत्रित करता है। पोइसन ब्रैकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे विहित परिवर्तन कहा जाता है, जो कैननिकल निर्देशांक को कैनोनिकल समन्वय प्रणालियों में मैप करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा और , क्रमशः) जो कैनोनिकल पॉइसन ब्रैकेट संबंधों को संतुष्ट करते हैं। संभावित विहित परिवर्तनों का सेट हमेशा बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को ही चुनना अक्सर संभव होता है नए विहित संवेग में से एक के रूप में।
अधिक सामान्य अर्थ में, पॉसॉन ब्रैकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें जहर कई गुना पर कार्यों का बीजगणित एक विशेष मामला है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का टेंसर बीजगणित पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की क्वांटम विकृति क्वांटम समूहों की धारणा को जन्म देती है।
इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।
दो कार्य दिए गए f और g जो चरण स्थान और समय पर निर्भर करता है, उनके पॉसॉन ब्रैकेट एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। निम्नलिखित नियम किसी भी तीन कार्यों के लिए मान्य हैं चरण स्थान और समय का:
एंटीकम्यूटेटिविटी: द्विरेखीयता:
उत्पाद नियम | लीबनिज का नियम
जैकोबी पहचान:
साथ ही, यदि कोई फ़ंक्शन चरण स्थान पर स्थिर है (लेकिन समय पर निर्भर हो सकता है), फिर किसी के लिए .
विहित निर्देशांक में परिभाषा
विहित निर्देशांक में (जिसे डार्बौक्स निर्देशांक भी कहा जाता है) चरण स्थान पर, दो कार्य दिए गए हैं और ,[Note 1] प्वासों कोष्ठक रूप ले लेता है
हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। लगता है कि समाधान के प्रक्षेपवक्र-कई गुना पर एक कार्य है। फिर बहुभिन्नरूपी श्रृंखला नियम से,
आगे कोई ले सकता है और हैमिल्टन के समीकरणों के समाधान होने के लिए; वह है,
तब
इस प्रकार, एक समारोह का समय विकास सिंपलेक्टिक मैनिफोल्ड पर एक प्रवाह (गणित) के रूप में दिया जा सकता है। sympletomorphism का एक-पैरामीटर परिवार (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफियोमोर्फिज्म), समय के साथ पैरामीटर होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित परिवर्तन है। यानी पॉइसन ब्रैकेट इसमें संरक्षित हैं, ताकि किसी भी समय हैमिल्टन के समीकरणों के समाधान में,
ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।
निर्देशांक गिराना,
व्युत्पन्न के संवहन भाग में संकारक, , को कभी-कभी लिउविलियन के रूप में संदर्भित किया जाता है (लिउविल के प्रमेय (हैमिल्टनियन) देखें)।
एक एकीकृत गतिशील प्रणाली में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत कम्यूट करेंगे। मान लीजिए कुछ समारोह गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि हैमिल्टन के गति के समीकरणों का एक प्रक्षेपवक्र या समाधान है, फिर
उस पथ के साथ। तब
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं स्पष्ट रूप से समय पर निर्भर नहीं करता है। इस समीकरण को लिउविल के प्रमेय (हैमिल्टनियन)#लिउविल समीकरण के रूप में जाना जाता है। लिउविले के प्रमेय (हैमिल्टनियन) | लिउविल के प्रमेय की सामग्री यह है कि एक वितरण समारोह (भौतिकी) द्वारा दिए गए माप (गणित) का समय विकास उपरोक्त समीकरण द्वारा दिया गया है।
यदि प्वासों कोष्ठक और गायब हो जाता है (), तब और अंतर्ग्रस्त कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए (अंतर ज्यामिति) # समावेशी वितरण, जहां स्वतंत्रता की डिग्री की संख्या है।
इसके अलावा, पॉसों के प्रमेय के अनुसार, यदि दो मात्राएँ और स्पष्ट रूप से समय स्वतंत्र हैं () गति के स्थिरांक, तो उनका पॉइसन ब्रैकेट है . यह हमेशा एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है ( के साथ एक प्रणाली के लिए स्वतंत्रता की डिग्री), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य और .)
== समन्वय-मुक्त भाषा == में पॉइसन ब्रैकेट
होने देना एक सहानुभूतिपूर्ण बहुविध हो, अर्थात्, एक बहुरूपी एक सहानुभूतिपूर्ण रूप से सुसज्जित हो: एक विभेदक रूप | 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.