प्वासों ब्रेकेट: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Operation in Hamiltonian mechanics}} thumb|शिमोन डेनिस पोइसन {{Classical mechanics|expanded=Formu...")
 
(text)
Line 2: Line 2:
[[File:Simeon Poisson.jpg|thumb|शिमोन डेनिस पोइसन]]
[[File:Simeon Poisson.jpg|thumb|शिमोन डेनिस पोइसन]]
{{Classical mechanics|expanded=Formulations}}
{{Classical mechanics|expanded=Formulations}}
गणित और [[शास्त्रीय यांत्रिकी]] में, पोइसन ब्रैकेट [[हैमिल्टनियन यांत्रिकी]] में एक महत्वपूर्ण [[बाइनरी ऑपरेशन]] है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है, जो हैमिल्टनियन [[गतिशील प्रणाली]] के समय के विकास को नियंत्रित करता है। पोइसन ब्रैकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे ''[[विहित परिवर्तन]]'' कहा जाता है, जो [[कैननिकल निर्देशांक]] को कैनोनिकल समन्वय प्रणालियों में मैप करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा <math>q_i</math> और <math>p_i</math>, क्रमशः) जो कैनोनिकल पॉइसन ब्रैकेट संबंधों को संतुष्ट करते हैं। संभावित विहित परिवर्तनों का सेट हमेशा बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को ही चुनना अक्सर संभव होता है <math>H =H(q, p, t)</math> नए विहित संवेग में से एक के रूप में।
गणित और [[शास्त्रीय यांत्रिकी]] में, पोइसन ब्रैकेट [[हैमिल्टनियन यांत्रिकी]] में एक महत्वपूर्ण [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है और जो हैमिल्टनियन [[गतिशील प्रणाली]] के समय के विकास को नियंत्रित करता है। पोइसन ब्रैकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे ''[[विहित परिवर्तन]]'' कहा जाता है, जो [[कैननिकल निर्देशांक]] को कैनोनिकल समन्वय प्रणालियों में प्रतिचित्र करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा <math>q_i</math> और <math>p_i</math>, क्रमशः) जो कैनोनिकल पॉइसन ब्रैकेट संबंधों को संतुष्ट करते हैं। संभावित विहित परिवर्तनों का सम्मुच्चय हमेशा बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को नए विहित संवेग में से एक के रूप <math>H =H(q, p, t)</math> में ही चुनना प्रायः संभव होता है।


अधिक सामान्य अर्थ में, पॉसॉन ब्रैकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें [[जहर कई गुना]] पर कार्यों का बीजगणित एक विशेष मामला है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का [[टेंसर बीजगणित]] पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की क्वांटम विकृति [[क्वांटम समूह]]ों की धारणा को जन्म देती है।
अधिक सामान्य अर्थ में, पॉसॉन ब्रैकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें [[जहर कई गुना|प्वाइजन बहुविध]] पर कार्यों का बीजगणित एक विशेष स्तिथि है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का [[टेंसर बीजगणित|प्रदिश बीजगणित]] पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की परिमाण विकृति [[क्वांटम समूह|परिमाण समूह]]ों की धारणा को उत्पन्न करती है।


इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।
इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।


== गुण ==
== गुण ==
दो कार्य दिए गए {{mvar|f}} और {{mvar|g}} जो [[चरण स्थान]] और समय पर निर्भर करता है, उनके पॉसॉन ब्रैकेट <math>\{f, g\}</math> एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। निम्नलिखित नियम किसी भी तीन कार्यों के लिए मान्य हैं <math>f,\, g,\, h</math> चरण स्थान और समय का:
दो दिए गए प्रकार्य  {{mvar|f}} और {{mvar|g}} जो [[चरण स्थान]] और समय पर निर्भर करता है, उनके पॉसॉन ब्रैकेट <math>\{f, g\}</math> एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। निम्नलिखित नियम किसी भी तीन प्रकार्य <math>f,\, g,\, h</math> के लिए मान्य हैं चरण स्थान और समय का:
[[एंटीकम्यूटेटिविटी]]: <math>\{f, g\} = -\{g, f\}</math>
 
[[द्विरेखीयता]]: <math>\{af + bg, h\} = a\{f, h\} + b\{g, h\}, \quad \{h, af + bg\} = a\{h, f\} + b\{h, g\}, \quad a, b \in \mathbb R</math>
[[एंटीकम्यूटेटिविटी]]
; उत्पाद नियम | लीबनिज का नियम: <math>\{fg, h\} = \{f, h\}g + f\{g, h\}</math>
 
[[जैकोबी पहचान]]: <math>\{f, \{g, h\}\} + \{g, \{h, f\}\} +  \{h, \{f, g\}\} = 0</math>
<math>\{f, g\} = -\{g, f\}</math>
साथ ही, यदि कोई फ़ंक्शन <math>k</math> चरण स्थान पर स्थिर है (लेकिन समय पर निर्भर हो सकता है), फिर <math>\{f,\, k\} = 0</math> किसी के लिए <math>f</math>.
 
[[द्विरेखीयता]]
 
<math>\{af + bg, h\} = a\{f, h\} + b\{g, h\}, \quad \{h, af + bg\} = a\{h, f\} + b\{h, g\}, \quad a, b \in \mathbb R</math>
; [[लीबनिज का नियम]]
;<math>\{fg, h\} = \{f, h\}g + f\{g, h\}</math>
[[जैकोबी पहचान|जैकोबी सर्वसमिका]]
 
<math>\{f, \{g, h\}\} + \{g, \{h, f\}\} +  \{h, \{f, g\}\} = 0</math>
 
साथ ही, यदि कोई प्रकार्य <math>k</math> चरण स्थान पर स्थिर है (लेकिन समय पर निर्भर हो सकता है), फिर किसी <math>f</math> के लिए <math>\{f,\, k\} = 0</math>


== विहित निर्देशांक में परिभाषा ==
== विहित निर्देशांक में परिभाषा ==
विहित निर्देशांक में (जिसे डार्बौक्स निर्देशांक भी कहा जाता है) <math> (q_i,\, p_i)</math> चरण स्थान पर, दो कार्य दिए गए हैं <math> f(p_i,\, q_i, t)</math> और <math> g(p_i,\, q_i, t)</math>,<ref group="Note"><math> f(p_i,\, q_i,\, t)</math> means <math>f</math> is a function of the <math>2N + 1</math> independent variables: momentum, <math>p_{1 \dots N}</math>; position, <math>q_{1 \dots N}</math>; and time, <math>t</math></ref> प्वासों कोष्ठक रूप ले लेता है
विहित निर्देशांक में (जिसे डार्बौक्स निर्देशांक भी कहा जाता है) <math> (q_i,\, p_i)</math> चरण स्थान पर, दो कार्य <math> f(p_i,\, q_i, t)</math> और <math> g(p_i,\, q_i, t)</math> दिए गए हैं ,<ref group="Note"><math> f(p_i,\, q_i,\, t)</math> means <math>f</math> is a function of the <math>2N + 1</math> independent variables: momentum, <math>p_{1 \dots N}</math>; position, <math>q_{1 \dots N}</math>; and time, <math>t</math></ref> प्वासों कोष्ठक रूप ले लेता है
<math display="block">\{f, g\} = \sum_{i=1}^{N} \left( \frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i}\right).</math>
<math display="block">\{f, g\} = \sum_{i=1}^{N} \left( \frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i}\right).</math>
विहित निर्देशांकों के प्वासों कोष्ठक हैं
विहित निर्देशांकों के प्वासों कोष्ठक हैं
Line 25: Line 35:
   \{q_i,p_j\} &= \delta_{ij}
   \{q_i,p_j\} &= \delta_{ij}
\end{align}</math>
\end{align}</math>
कहाँ <math>\delta_{ij}</math> [[क्रोनकर डेल्टा]] है।
जहाँ <math>\delta_{ij}</math> [[क्रोनकर डेल्टा]] है।


== हैमिल्टन की गति के समीकरण ==
== हैमिल्टन की गति के समीकरण ==
हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। लगता है कि <math>f(p, q, t)</math> समाधान के प्रक्षेपवक्र-कई गुना पर एक कार्य है। फिर बहुभिन्नरूपी [[श्रृंखला नियम]] से,
हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। मान लीजिये <math>f(p, q, t)</math> समाधान के प्रक्षेपवक्र-कई गुना पर एक फलन है। फिर बहुभिन्नरूपी [[श्रृंखला नियम]] से,
<math display="block">\frac{d}{dt} f(p, q, t) = \frac{\partial f}{\partial q} \frac{dq}{dt} + \frac {\partial f}{\partial p} \frac{dp}{dt} + \frac{\partial f}{\partial t}.</math>
<math display="block">\frac{d}{dt} f(p, q, t) = \frac{\partial f}{\partial q} \frac{dq}{dt} + \frac {\partial f}{\partial p} \frac{dp}{dt} + \frac{\partial f}{\partial t}.</math>
आगे कोई ले सकता है <math>p = p(t)</math> और <math>q = q(t)</math> हैमिल्टन के समीकरणों के समाधान होने के लिए; वह है,
आगे कोई <math>p = p(t)</math> और <math>q = q(t)</math> को हैमिल्टन के समीकरणों के समाधान के लिए ले सकता है;  
<math display="block">\begin{cases}
<math display="block">\begin{cases}
   \dot{q} =  \frac{\partial H}{\partial p} = \{q, H\}; \\  
   \dot{q} =  \frac{\partial H}{\partial p} = \{q, H\}; \\  
Line 40: Line 50:
                           &= \{f, H\} + \frac{\partial f}{\partial t} ~.
                           &= \{f, H\} + \frac{\partial f}{\partial t} ~.
\end{align}</math>
\end{align}</math>
इस प्रकार, एक समारोह का समय विकास <math>f</math> [[सिंपलेक्टिक मैनिफोल्ड]] पर एक [[प्रवाह (गणित)]] के रूप में दिया जा सकता है। [[sympletomorphism]] का एक-पैरामीटर परिवार (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफियोमोर्फिज्म), समय के साथ <math>t</math> पैरामीटर होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित परिवर्तन है। यानी पॉइसन ब्रैकेट इसमें संरक्षित हैं, ताकि किसी भी समय <math>t</math>हैमिल्टन के समीकरणों के समाधान में,
इस प्रकार, एक सिम्पेक्टिक बहुविध पर एक प्रकार्य <math>f</math> का समय विकास सिम्प्लेक्टोमोर्फिम्स के एक-मापदण्ड श्रेणी के रूप में दिया जा सकता है (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफोमोर्फिज्म), समय <math>t</math> मापदण्ड होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित परिवर्तन है। यानी पॉइसन ब्रैकेट इसमें संरक्षित हैं, ताकि किसी भी समय <math>t</math> हैमिल्टन के समीकरणों के समाधान में,
<math display="block"> q(t) = \exp (-t \{ H, \cdot \} ) q(0), \quad  p(t) = \exp (-t \{ H, \cdot \}) p(0), </math>
<math display="block"> q(t) = \exp (-t \{ H, \cdot \} ) q(0), \quad  p(t) = \exp (-t \{ H, \cdot \}) p(0), </math>
ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।
ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।


निर्देशांक गिराना,
निम्न निर्देशांक,
<math display="block">\frac{d}{dt} f = \left(\frac{\partial}{\partial t} - \{H, \cdot\}\right)f.</math>
<math display="block">\frac{d}{dt} f = \left(\frac{\partial}{\partial t} - \{H, \cdot\}\right)f.</math>
व्युत्पन्न के संवहन भाग में संकारक, <math>i\hat{L} = -\{H, \cdot\}</math>, को कभी-कभी लिउविलियन के रूप में संदर्भित किया जाता है (लिउविल के प्रमेय (हैमिल्टनियन) देखें)।
व्युत्पन्न के संवहन भाग में संकारक, <math>i\hat{L} = -\{H, \cdot\}</math>, को कभी-कभी लिउविलियन के रूप में संदर्भित किया जाता है (लिउविल के प्रमेय (हैमिल्टनियन) देखें)।


== [[गति के स्थिरांक]] ==
== [[गति के स्थिरांक]] ==
एक [[एकीकृत गतिशील प्रणाली]] में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत कम्यूट करेंगे। मान लीजिए कुछ समारोह <math>f(p, q)</math> गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि <math>p(t), q(t)</math> हैमिल्टन के गति के समीकरणों का एक [[प्रक्षेपवक्र]] या समाधान है, फिर
एक [[एकीकृत गतिशील प्रणाली]] में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत आवागमन करेंगे। मान लीजिए कुछ फलन <math>f(p, q)</math> गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि <math>p(t), q(t)</math> हैमिल्टन के गति के समीकरणों का एक [[प्रक्षेपवक्र]] या समाधान है, फिर
<math display="block">0 = \frac{df}{dt}</math>
<math display="block">0 = \frac{df}{dt}</math>
उस पथ के साथ। तब
उस पथ के साथ। तब
<math display="block">0 = \frac{d}{dt} f(p,q) = \{f, H\}</math>
<math display="block">0 = \frac{d}{dt} f(p,q) = \{f, H\}</math>
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं <math>f</math> स्पष्ट रूप से समय पर निर्भर नहीं करता है। इस समीकरण को लिउविल के प्रमेय (हैमिल्टनियन)#लिउविल समीकरण के रूप में जाना जाता है। लिउविले के प्रमेय (हैमिल्टनियन) | लिउविल के प्रमेय की सामग्री यह है कि एक [[वितरण समारोह (भौतिकी)]] द्वारा दिए गए माप (गणित) का समय विकास <math>f</math> उपरोक्त समीकरण द्वारा दिया गया है।
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं कि <math>f</math> स्पष्ट रूप से समय पर निर्भर नहीं करता है। इस समीकरण को लिउविल के प्रमेय (हैमिल्टनियन) के रूप में जाना जाता है। लिउविल के प्रमेय की विषय सूची यह है कि एक [[वितरण समारोह (भौतिकी)|वितरण फलन (भौतिकी)]] द्वारा दिए गए माप (गणित) का समय विकास <math>f</math> उपरोक्त समीकरण द्वारा दिया गया है।


यदि प्वासों कोष्ठक <math>f</math> और <math>g</math> गायब हो जाता है (<math>\{f,g\} = 0</math>), तब <math>f</math> और <math>g</math> अंतर्ग्रस्त कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, <math>n</math> गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए (अंतर ज्यामिति) # समावेशी वितरण, जहां <math>n</math> स्वतंत्रता की डिग्री की संख्या है।
यदि प्वासों कोष्ठक <math>f</math> और <math>g</math> (<math>\{f,g\} = 0</math>) को गायब कर देता है, तब <math>f</math> और <math>g</math> को प्रत्यावर्तन कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, <math>n</math> गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए , जहां <math>n</math> स्वातंत्र्य कोटि की संख्या है।


इसके अलावा, पॉसों के प्रमेय के अनुसार, यदि दो मात्राएँ <math>A</math> और <math>B</math> स्पष्ट रूप से समय स्वतंत्र हैं (<math>A(p, q), B(p, q)</math>) गति के स्थिरांक, तो उनका पॉइसन ब्रैकेट है <math>\{A,\, B\}</math>. यह हमेशा एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है (<math>2n - 1</math> के साथ एक प्रणाली के लिए <math>n</math> स्वतंत्रता की डिग्री), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य <math>A</math> और <math>B</math>.)
'''इसके अलावा, पॉसों के प्रमेय के''' अनुसार, यदि दो मात्राएँ <math>A</math> और <math>B</math> स्पष्ट रूप से समय स्वतंत्र (<math>A(p, q), B(p, q)</math>) गति के स्थिरांक हैं, तो उनका पॉइसन ब्रैकेट <math>\{A,\, B\}</math> है। यह हमेशा एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है (<math>2n - 1</math> के साथ एक प्रणाली के लिए <math>n</math> स्वातंत्र्य कोटि), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य <math>A</math> और <math>B</math>.)


== समन्वय-मुक्त भाषा == में पॉइसन ब्रैकेट
=== समन्वय-मुक्त भाषा में पॉइसन ब्रैकेट ===
होने देना <math>M</math> एक सहानुभूतिपूर्ण बहुविध हो, अर्थात्, एक बहुरूपी एक [[सहानुभूतिपूर्ण रूप]] से सुसज्जित हो: एक [[विभेदक रूप]] | 2-रूप <math>\omega</math> जो दोनों बंद है (यानी, इसका [[बाहरी व्युत्पन्न]] <math>d \omega</math> गायब हो जाता है) और गैर पतित। उदाहरण के लिए ऊपर दिए गए उपचार में लें <math>M</math> होना <math>\mathbb{R}^{2n}</math> और ले लो
मान लीजिए कि M एक सिम्पलेक्टिक बहुविध है, यानी, एक सिम्पलेक्टिक बहुविध से सुसज्जित बहुविध: एक 2-विधि <math>\omega</math> जो दोनों बंद है (यानी, इसका बाहरी व्युत्पन्न <math>d \omega</math> गायब हो जाता है) और गैर-पतित है। उदाहरण के लिए ऊपर दिए गए उपचार में लें <math>M</math> होना <math>\mathbb{R}^{2n}</math> और ले लो
<math display="block">\omega = \sum_{i=1}^{n} d p_i \wedge d q_i.</math>
<math display="block">\omega = \sum_{i=1}^{n} d p_i \wedge d q_i.</math>
अगर <math> \iota_v \omega</math> द्वारा परिभाषित [[आंतरिक उत्पाद]] या टेन्सर संकुचन ऑपरेशन है <math> (\iota_v \omega)(w) =  \omega(v,\, w)</math>, तो गैर-पतन यह कहने के बराबर है कि हर एक रूप के लिए <math>\alpha</math> एक अद्वितीय वेक्टर क्षेत्र है <math>\Omega_\alpha</math> ऐसा है कि <math> \iota_{\Omega_\alpha} \omega =  \alpha</math>. वैकल्पिक रूप से, <math> \Omega_{d H} = \omega^{-1}(d H)</math>. तो अगर <math>H</math> एक सुचारू कार्य है <math>M</math>, [[हैमिल्टनियन वेक्टर क्षेत्र]] <math>X_H</math> के रूप में परिभाषित किया जा सकता है <math> \Omega_{d H}</math>. इसे देखना आसान है
अगर <math> \iota_v \omega</math> द्वारा परिभाषित [[आंतरिक उत्पाद]] या टेन्सर संकुचन ऑपरेशन है <math> (\iota_v \omega)(w) =  \omega(v,\, w)</math>, तो गैर-पतन यह कहने के बराबर है कि हर एक रूप के लिए <math>\alpha</math> एक अद्वितीय वेक्टर क्षेत्र है <math>\Omega_\alpha</math> ऐसा है कि <math> \iota_{\Omega_\alpha} \omega =  \alpha</math>. वैकल्पिक रूप से, <math> \Omega_{d H} = \omega^{-1}(d H)</math>. तो अगर <math>H</math> एक सुचारू कार्य है <math>M</math>, [[हैमिल्टनियन वेक्टर क्षेत्र]] <math>X_H</math> के रूप में परिभाषित किया जा सकता है <math> \Omega_{d H}</math>. इसे देखना आसान है
Line 76: Line 86:
\end{align}</math>|{{EquationRef|1}}}}
\end{align}</math>|{{EquationRef|1}}}}


यहाँ {{math|''X<sub>g</sub>f''}} वेक्टर क्षेत्र को दर्शाता है {{math|''X<sub>g</sub>''}} फ़ंक्शन पर लागू होता है {{math|''f''}} एक दिशात्मक व्युत्पन्न के रूप में, और <math>\mathcal{L}_{X_g} f</math> फ़ंक्शन के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है {{math|''f''}}.
यहाँ {{math|''X<sub>g</sub>f''}} वेक्टर क्षेत्र को दर्शाता है {{math|''X<sub>g</sub>''}} प्रकार्य पर लागू होता है {{math|''f''}} एक दिशात्मक व्युत्पन्न के रूप में, और <math>\mathcal{L}_{X_g} f</math> प्रकार्य के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है {{math|''f''}}.


अगर {{math|α}} एक मनमाना एक-रूप है {{math|''M''}}, सदिश क्षेत्र {{math|Ω<sub>α</sub>}} एक प्रवाह (गणित) उत्पन्न करता है (कम से कम स्थानीय रूप से) <math> \phi_x(t)</math> सीमा की स्थिति को संतुष्ट करना <math> \phi_x(0) = x</math> और प्रथम-क्रम अंतर समीकरण
अगर {{math|α}} एक मनमाना एक-रूप है {{math|''M''}}, सदिश क्षेत्र {{math|Ω<sub>α</sub>}} एक प्रवाह (गणित) उत्पन्न करता है (कम से कम स्थानीय रूप से) <math> \phi_x(t)</math> सीमा की स्थिति को संतुष्ट करना <math> \phi_x(0) = x</math> और प्रथम-क्रम अंतर समीकरण
Line 95: Line 105:
{{NumBlk||<math display="block">[X_f,X_g] = X_{\omega(X_g,X_f)} = -X_{\omega(X_f,X_g)} = -X_{\{f,g\}}.</math>|{{EquationRef|3}}}}
{{NumBlk||<math display="block">[X_f,X_g] = X_{\omega(X_g,X_f)} = -X_{\omega(X_f,X_g)} = -X_{\{f,g\}}.</math>|{{EquationRef|3}}}}


इस प्रकार, फ़ंक्शन पर पोइसन ब्रैकेट संबंधित हैमिल्टनियन वेक्टर फ़ील्ड के लाई ब्रैकेट से मेल खाता है। हमने यह भी दिखाया है कि दो सिम्प्लेक्टिक वेक्टर फ़ील्ड्स का लाइ ब्रैकेट एक हैमिल्टनियन वेक्टर फ़ील्ड है और इसलिए यह सिम्प्लेक्टिक भी है। [[सार बीजगणित]] की भाषा में, सहानुभूति सदिश क्षेत्र चिकनी सदिश क्षेत्रों के लाई बीजगणित का एक उपलजगणित बनाते हैं {{math|''M''}}, और हैमिल्टनियन सदिश क्षेत्र इस सबलजेब्रा का एक [[बीजगणितीय आदर्श]] बनाते हैं। सहानुभूति सदिश क्षेत्र (अनंत-आयामी) के झूठ बीजगणित हैं {{math|''M''}}.
इस प्रकार, प्रकार्य पर पोइसन ब्रैकेट संबंधित हैमिल्टनियन वेक्टर फ़ील्ड के लाई ब्रैकेट से मेल खाता है। हमने यह भी दिखाया है कि दो सिम्प्लेक्टिक वेक्टर फ़ील्ड्स का लाइ ब्रैकेट एक हैमिल्टनियन वेक्टर फ़ील्ड है और इसलिए यह सिम्प्लेक्टिक भी है। [[सार बीजगणित]] की भाषा में, सहानुभूति सदिश क्षेत्र चिकनी सदिश क्षेत्रों के लाई बीजगणित का एक उपलजगणित बनाते हैं {{math|''M''}}, और हैमिल्टनियन सदिश क्षेत्र इस सबलजेब्रा का एक [[बीजगणितीय आदर्श]] बनाते हैं। सहानुभूति सदिश क्षेत्र (अनंत-आयामी) के झूठ बीजगणित हैं {{math|''M''}}.


यह व्यापक रूप से माना जाता है कि प्वासों ब्रैकेट के लिए जैकोबी पहचान,
यह व्यापक रूप से माना जाता है कि प्वासों ब्रैकेट के लिए जैकोबी पहचान,
<math display="block">\{f,\{g,h\}\} + \{g,\{h,f\}\} + \{h,\{f,g\}\} = 0</math>
<math display="block">\{f,\{g,h\}\} + \{g,\{h,f\}\} + \{h,\{f,g\}\} = 0</math>
सदिश क्षेत्रों के लाइ ब्रैकेट के लिए संबंधित पहचान से अनुसरण करता है, लेकिन यह केवल स्थानीय रूप से स्थिर फ़ंक्शन तक ही सही है। हालांकि, पोइसन ब्रैकेट के लिए जैकोबी पहचान साबित करने के लिए, यह दिखाने के लिए जैकोबी पहचान # उदाहरण है:
सदिश क्षेत्रों के लाइ ब्रैकेट के लिए संबंधित पहचान से अनुसरण करता है, लेकिन यह केवल स्थानीय रूप से स्थिर प्रकार्य तक ही सही है। हालांकि, पोइसन ब्रैकेट के लिए जैकोबी पहचान साबित करने के लिए, यह दिखाने के लिए जैकोबी पहचान # उदाहरण है:
<math display="block">\operatorname{ad}_{\{g,f\}}=\operatorname{ad}_{-\{f,g\}}=[\operatorname{ad}_f,\operatorname{ad}_g]</math>
<math display="block">\operatorname{ad}_{\{g,f\}}=\operatorname{ad}_{-\{f,g\}}=[\operatorname{ad}_f,\operatorname{ad}_g]</math>
जहां ऑपरेटर <math>\operatorname{ad}_g</math> सुचारू कार्यों पर {{math|''M''}} द्वारा परिभाषित किया गया है <math>\operatorname{ad}_g(\cdot) \;=\; \{\cdot,\, g\}</math> और दाहिनी ओर का ब्रैकेट ऑपरेटरों का कम्यूटेटर है, <math> [\operatorname A,\, \operatorname B] \;=\; \operatorname A\operatorname B - \operatorname B\operatorname A</math>. द्वारा {{EquationNote|1|(1)}}, परिचालक <math>\operatorname{ad}_g</math> ऑपरेटर के बराबर है {{math|''X<sub>g</sub>''}}. जैकोबी पहचान का प्रमाण इस प्रकार है {{EquationNote|3|(3)}} क्योंकि, -1 के गुणक तक, सदिश क्षेत्रों का लाई कोष्ठक अंतर संचालकों के रूप में केवल उनका कम्यूटेटर है।
जहां ऑपरेटर <math>\operatorname{ad}_g</math> सुचारू कार्यों पर {{math|''M''}} द्वारा परिभाषित किया गया है <math>\operatorname{ad}_g(\cdot) \;=\; \{\cdot,\, g\}</math> और दाहिनी ओर का ब्रैकेट ऑपरेटरों का कम्यूटेटर है, <math> [\operatorname A,\, \operatorname B] \;=\; \operatorname A\operatorname B - \operatorname B\operatorname A</math>. द्वारा {{EquationNote|1|(1)}}, परिचालक <math>\operatorname{ad}_g</math> ऑपरेटर के बराबर है {{math|''X<sub>g</sub>''}}. जैकोबी पहचान का प्रमाण इस प्रकार है {{EquationNote|3|(3)}} क्योंकि, -1 के गुणक तक, सदिश क्षेत्रों का लाई कोष्ठक अंतर संचालकों के रूप में केवल उनका कम्यूटेटर है।


एम पर चिकनी कार्यों के [[एक क्षेत्र पर बीजगणित]], पोइसन ब्रैकेट के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन ब्रैकेट के तहत एक लेट बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम को संतुष्ट करता है {{EquationNote|2|(2)}}. हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक मैनिफोल्ड एक पोइज़न मैनिफोल्ड है, जो कि एक कर्ली-ब्रैकेट ऑपरेटर के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन मैनिफोल्ड इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन मैनिफोल्ड अध: पतन की अनुमति देता है जो सहानुभूतिपूर्ण मामले में उत्पन्न नहीं हो सकता है।
एम पर चिकनी कार्यों के [[एक क्षेत्र पर बीजगणित]], पोइसन ब्रैकेट के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन ब्रैकेट के तहत एक लेट बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम को संतुष्ट करता है {{EquationNote|2|(2)}}. हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक कर्ली-ब्रैकेट ऑपरेटर के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सहानुभूतिपूर्ण मामले में उत्पन्न नहीं हो सकता है।


== संयुग्म संवेग == पर परिणाम
== संयुग्म संवेग == पर परिणाम
Line 122: Line 132:


== परिमाणीकरण ==
== परिमाणीकरण ==
पोइसन कोष्ठक [[विरूपण सिद्धांत]] को [[वेइल परिमाणीकरण]] पर मोयल कोष्ठकों के लिए, अर्थात्, वे एक अलग लाइ बीजगणित, [[मोयल ब्रैकेट]], या, [[हिल्बर्ट अंतरिक्ष]] में समान रूप से, क्वांटम [[कम्यूटेटर]] के लिए सामान्यीकृत करते हैं। इनमें से विग्नेर-इनोनू [[समूह संकुचन]] (शास्त्रीय सीमा, {{math|ħ → 0}}) उपरोक्त झूठ बीजगणित उत्पन्न करता है।
पोइसन कोष्ठक [[विरूपण सिद्धांत]] को [[वेइल परिमाणीकरण]] पर मोयल कोष्ठकों के लिए, अर्थात्, वे एक अलग लाइ बीजगणित, [[मोयल ब्रैकेट]], या, [[हिल्बर्ट अंतरिक्ष]] में समान रूप से, परिमाण [[कम्यूटेटर]] के लिए सामान्यीकृत करते हैं। इनमें से विग्नेर-इनोनू [[समूह संकुचन]] (शास्त्रीय सीमा, {{math|ħ → 0}}) उपरोक्त झूठ बीजगणित उत्पन्न करता है।


इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, [[हाइजेनबर्ग बीजगणित]] का सार्वभौमिक आवरण बीजगणित [[वेइल बीजगणित]] है (मॉड्यूलो संबंध है कि केंद्र इकाई है)। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष मामला है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है।
इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, [[हाइजेनबर्ग बीजगणित]] का सार्वभौमिक आवरण बीजगणित [[वेइल बीजगणित]] है (मॉड्यूलो संबंध है कि केंद्र इकाई है)। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष मामला है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है।

Revision as of 12:34, 16 March 2023

शिमोन डेनिस पोइसन

गणित और शास्त्रीय यांत्रिकी में, पोइसन ब्रैकेट हैमिल्टनियन यांत्रिकी में एक महत्वपूर्ण द्विआधारी संक्रिया है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है और जो हैमिल्टनियन गतिशील प्रणाली के समय के विकास को नियंत्रित करता है। पोइसन ब्रैकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे विहित परिवर्तन कहा जाता है, जो कैननिकल निर्देशांक को कैनोनिकल समन्वय प्रणालियों में प्रतिचित्र करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा और , क्रमशः) जो कैनोनिकल पॉइसन ब्रैकेट संबंधों को संतुष्ट करते हैं। संभावित विहित परिवर्तनों का सम्मुच्चय हमेशा बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को नए विहित संवेग में से एक के रूप में ही चुनना प्रायः संभव होता है।

अधिक सामान्य अर्थ में, पॉसॉन ब्रैकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें प्वाइजन बहुविध पर कार्यों का बीजगणित एक विशेष स्तिथि है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का प्रदिश बीजगणित पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की परिमाण विकृति परिमाण समूहों की धारणा को उत्पन्न करती है।

इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।

गुण

दो दिए गए प्रकार्य f और g जो चरण स्थान और समय पर निर्भर करता है, उनके पॉसॉन ब्रैकेट एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। निम्नलिखित नियम किसी भी तीन प्रकार्य के लिए मान्य हैं चरण स्थान और समय का:

एंटीकम्यूटेटिविटी

द्विरेखीयता

लीबनिज का नियम

जैकोबी सर्वसमिका

साथ ही, यदि कोई प्रकार्य चरण स्थान पर स्थिर है (लेकिन समय पर निर्भर हो सकता है), फिर किसी के लिए

विहित निर्देशांक में परिभाषा

विहित निर्देशांक में (जिसे डार्बौक्स निर्देशांक भी कहा जाता है) चरण स्थान पर, दो कार्य और दिए गए हैं ,[Note 1] प्वासों कोष्ठक रूप ले लेता है

विहित निर्देशांकों के प्वासों कोष्ठक हैं
जहाँ क्रोनकर डेल्टा है।

हैमिल्टन की गति के समीकरण

हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। मान लीजिये समाधान के प्रक्षेपवक्र-कई गुना पर एक फलन है। फिर बहुभिन्नरूपी श्रृंखला नियम से,

आगे कोई और को हैमिल्टन के समीकरणों के समाधान के लिए ले सकता है;
तब

इस प्रकार, एक सिम्पेक्टिक बहुविध पर एक प्रकार्य का समय विकास सिम्प्लेक्टोमोर्फिम्स के एक-मापदण्ड श्रेणी के रूप में दिया जा सकता है (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफोमोर्फिज्म), समय मापदण्ड होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित परिवर्तन है। यानी पॉइसन ब्रैकेट इसमें संरक्षित हैं, ताकि किसी भी समय हैमिल्टन के समीकरणों के समाधान में,

ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।

निम्न निर्देशांक,

व्युत्पन्न के संवहन भाग में संकारक, , को कभी-कभी लिउविलियन के रूप में संदर्भित किया जाता है (लिउविल के प्रमेय (हैमिल्टनियन) देखें)।

गति के स्थिरांक

एक एकीकृत गतिशील प्रणाली में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत आवागमन करेंगे। मान लीजिए कुछ फलन गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि हैमिल्टन के गति के समीकरणों का एक प्रक्षेपवक्र या समाधान है, फिर

उस पथ के साथ। तब
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं कि स्पष्ट रूप से समय पर निर्भर नहीं करता है। इस समीकरण को लिउविल के प्रमेय (हैमिल्टनियन) के रूप में जाना जाता है। लिउविल के प्रमेय की विषय सूची यह है कि एक वितरण फलन (भौतिकी) द्वारा दिए गए माप (गणित) का समय विकास उपरोक्त समीकरण द्वारा दिया गया है।

यदि प्वासों कोष्ठक और () को गायब कर देता है, तब और को प्रत्यावर्तन कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए , जहां स्वातंत्र्य कोटि की संख्या है।

इसके अलावा, पॉसों के प्रमेय के अनुसार, यदि दो मात्राएँ और स्पष्ट रूप से समय स्वतंत्र () गति के स्थिरांक हैं, तो उनका पॉइसन ब्रैकेट है। यह हमेशा एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है ( के साथ एक प्रणाली के लिए स्वातंत्र्य कोटि), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य और .)

समन्वय-मुक्त भाषा में पॉइसन ब्रैकेट

मान लीजिए कि 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). हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक कर्ली-ब्रैकेट ऑपरेटर के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सहानुभूतिपूर्ण मामले में उत्पन्न नहीं हो सकता है।

== संयुग्म संवेग == पर परिणाम एक चिकने वेक्टर क्षेत्र को देखते हुए कॉन्फ़िगरेशन स्थान पर, चलो इसका संयुग्मी संवेग हो। संयुग्म संवेग मानचित्रण सदिश क्षेत्रों के ले ब्रैकेट से पोइसन ब्रैकेट तक एक झूठ बीजगणित विरोधी होमोमोर्फिज्म है:

यह महत्वपूर्ण परिणाम एक संक्षिप्त प्रमाण के लायक है। सदिश क्षेत्र लिखिए बिंदु पर विन्यास स्थान (भौतिकी) में के रूप में
कहाँ स्थानीय समन्वय फ्रेम है। करने के लिए संयुग्मी गति अभिव्यक्ति है
जहां गति कार्य निर्देशांक के संयुग्म हैं। एक तो एक बिंदु के लिए है चरण अंतरिक्ष में,
उपरोक्त सभी के लिए है , वांछित परिणाम दे रहा है।

परिमाणीकरण

पोइसन कोष्ठक विरूपण सिद्धांत को वेइल परिमाणीकरण पर मोयल कोष्ठकों के लिए, अर्थात्, वे एक अलग लाइ बीजगणित, मोयल ब्रैकेट, या, हिल्बर्ट अंतरिक्ष में समान रूप से, परिमाण कम्यूटेटर के लिए सामान्यीकृत करते हैं। इनमें से विग्नेर-इनोनू समूह संकुचन (शास्त्रीय सीमा, ħ → 0) उपरोक्त झूठ बीजगणित उत्पन्न करता है।

इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, हाइजेनबर्ग बीजगणित का सार्वभौमिक आवरण बीजगणित वेइल बीजगणित है (मॉड्यूलो संबंध है कि केंद्र इकाई है)। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष मामला है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है।

यह भी देखें

टिप्पणी

  1. means is a function of the independent variables: momentum, ; position, ; and time,

संदर्भ

  • Arnold, Vladimir I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). New York: Springer. ISBN 978-0-387-96890-2.
  • Landau, Lev D.; Lifshitz, Evegeny M. (1982). Mechanics. Course of Theoretical Physics. Vol. 1 (3rd ed.). Butterworth-Heinemann. ISBN 978-0-7506-2896-9.
  • 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. ISBN 978-0821887967. MR 1214142.


बाहरी संबंध