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

From Vigyanwiki
(text)
(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>\{f, g\} = -\{g, f\}</math>
Line 38: Line 38:


== हैमिल्टन की गति के समीकरण ==
== हैमिल्टन की गति के समीकरण ==
हैमिल्टन के गति के समीकरणों में पोइसन ब्रैकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय फ्रेम में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। मान लीजिये <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> को हैमिल्टन के समीकरणों के समाधान के लिए ले सकता है;  
Line 50: 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> का समय विकास सिम्प्लेक्टोमोर्फिम्स के एक-मापदण्ड श्रेणी के रूप में दिया जा सकता है (यानी, विहित परिवर्तन, क्षेत्र-संरक्षण डिफोमोर्फिज्म), समय <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>
ब्रैकेट निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।
कोष्ठक निर्देशांक के रूप में सेवा कर सकते हैं। प्वासों कोष्ठक विहित परिवर्तन हैं।


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


== [[गति के स्थिरांक]] ==
== [[गति के स्थिरांक]] ==
एक [[एकीकृत गतिशील प्रणाली]] में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रैकेट के तहत आवागमन करेंगे। मान लीजिए कुछ फलन <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>
उस पथ के साथ। तब
उस पथ के साथ। तब
Line 67: Line 67:
यदि प्वासों कोष्ठक <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>.)


=== समन्वय-मुक्त भाषा में पॉइसन ब्रैकेट ===
=== समन्वय-मुक्त भाषा में पॉइसन कोष्ठक ===
मान लीजिए कि M एक सिम्पलेक्टिक बहुविध है, यानी, एक सिम्पलेक्टिक बहुविध से सुसज्जित बहुविध: एक 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>के रूप में परिभाषित किया जा सकता है। यह देखना आसान है कि
<math display="block">\begin{align}
<math display="block">\begin{align}
   X_{p_i} &=  \frac{\partial}{\partial q_i} \\
   X_{p_i} &=  \frac{\partial}{\partial q_i} \\
   X_{q_i} &= -\frac{\partial}{\partial p_i}.
   X_{q_i} &= -\frac{\partial}{\partial p_i}.
\end{align}</math>
\end{align}</math>
पोइसन ब्रैकेट <math>\ \{\cdot,\, \cdot\} </math> पर {{math|(''M'', ''ω'')}} अलग-अलग कार्यों पर एक बिलिनियर मानचित्र है, जिसे परिभाषित किया गया है <math> \{f,\, g\} \;=\; \omega(X_f,\, X_g) </math>; दो कार्यों के प्वासों ब्रैकेट पर {{math|''M''}} अपने आप में एक फंक्शन है {{math|''M''}}. पोइसन ब्रैकेट एंटीसिमेट्रिक है क्योंकि:
पोइसन कोष्ठक <math>\ \{\cdot,\, \cdot\} </math> पर {{math|(''M'', ''ω'')}} अलग-अलग कार्यों पर एक बिलिनियर मानचित्र है, जिसे <math> \{f,\, g\} \;=\; \omega(X_f,\, X_g) </math> से परिभाषित किया गया है; दो कार्यों के प्वासों कोष्ठक पर {{math|''M''}} अपने आप में एक फलन {{math|''M''}} है। पोइसन कोष्ठक एंटीसिमेट्रिक है क्योंकि:
<math display="block">\{f, g\} = \omega(X_f, X_g) = -\omega(X_g, X_f) = -\{g, f\} .</math>
<math display="block">\{f, g\} = \omega(X_f, X_g) = -\omega(X_g, X_f) = -\{g, f\} .</math>
आगे,
आगे,
Line 86: 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> को संतुष्ट करता है और प्रथम-क्रम अंतर समीकरण निम्न है
<math display="block">\frac{d\phi_x}{dt} = \left. \Omega_\alpha \right|_{\phi_x(t)}.</math>
<math display="block">\frac{d\phi_x}{dt} = \left. \Omega_\alpha \right|_{\phi_x(t)}.</math>{{math|''x''}} के कार्य के रूप में <math> \phi_x(t)</math> h> प्रत्येक {{math|''t''}} के लिए symplectomorphisms (विहित परिवर्तन) होगा, यदि और केवल यदि <math> \mathcal{L}_{\Omega_\alpha}\omega \;=\; 0</math> है; जब यह सच होता है तो {{math|Ω<sub>α</sub>}} को [[सहानुभूति वेक्टर क्षेत्र|सैम्पलेक्टिक सदिश क्षेत्र]] कहा जाता है। कार्टन की अस्मिता को याद करते हुए <math> \mathcal{L}_X\omega \;=\; d (\iota_X \omega) \,+\, \iota_X d\omega</math> और {{math|1=''d''ω = 0}}, यह इस प्रकार है कि <math> \mathcal{L}_{\Omega_\alpha}\omega \;=\; d\left(\iota_{\Omega_\alpha} \omega\right) \;=\; d\alpha</math>। इसलिए, {{math|Ω<sub>α</sub>}} एक सैम्पलेक्टिक सदिश क्षेत्र है यदि और केवल यदि α [[बंद और सटीक अंतर रूप|संवृत रूप]] है। क्योंकि <math> d(df) \;=\; d^2f \;=\; 0</math> है तो यह इस प्रकार है कि प्रत्येक हैमिल्टनियन सदिश क्षेत्र {{math|''X<sub>f</sub>''}} एक सैम्पलेक्टिक सदिश क्षेत्र है, और यह कि हैमिल्टनियन प्रवाह में विहित परिवर्तन होते हैं। {{EquationNote|1|(1)}} से ऊपर, हैमिल्टनियन प्रवाह {{math|''X<sub>H</sub>''}} के तहत ,<math display="block">\frac{d}{dt}f(\phi_x(t)) = X_Hf = \{f,H\}.</math>
यह हेमिल्टनियन यांत्रिकी में एक मौलिक परिणाम है, जो चरण स्थान पर परिभाषित कार्यों के समय के विकास को नियंत्रित करता है। जैसा कि ऊपर उल्लेख किया गया है, जब {{math|1={''f'',''H''} = 0}}, {{math|''f''}} प्रणाली की गति का एक स्थिरांक है। इसके अलावा, विहित निर्देशांक में (के साथ <math> \{p_i,\, p_j\} \;=\; \{q_i,q_j\} \;=\; 0</math> और <math>\{q_i,\, p_j\} \;=\; \delta_{ij}</math>), प्रणाली के समय के विकास के लिए हैमिल्टन के समीकरण इस सूत्र से तुरंत अनुसरण करते हैं।


<math> \phi_x(t)</math> h> प्रत्येक के लिए symplectomorphisms (विहित परिवर्तन) होगा {{math|''t''}} के कार्य के रूप में {{math|''x''}} अगर और केवल अगर <math> \mathcal{L}_{\Omega_\alpha}\omega \;=\; 0</math>; जब यह सच है, {{math|Ω<sub>α</sub>}} को [[सहानुभूति वेक्टर क्षेत्र]] कहा जाता है। कार्टन की पहचान को याद करते हुए <math> \mathcal{L}_X\omega \;=\; d (\iota_X \omega) \,+\, \iota_X d\omega</math> और {{math|1=''d''ω = 0}}, यह इस प्रकार है कि <math> \mathcal{L}_{\Omega_\alpha}\omega \;=\; d\left(\iota_{\Omega_\alpha} \omega\right) \;=\; d\alpha</math>. इसलिए, {{math|Ω<sub>α</sub>}} एक सहानुभूति सदिश क्षेत्र है अगर और केवल अगर α एक [[बंद और सटीक अंतर रूप]] है। तब से <math> d(df) \;=\; d^2f \;=\; 0</math>, यह इस प्रकार है कि प्रत्येक हैमिल्टनियन वेक्टर क्षेत्र {{math|''X<sub>f</sub>''}} एक सहानुभूति सदिश क्षेत्र है, और यह कि हैमिल्टनियन प्रवाह में विहित परिवर्तन होते हैं। से {{EquationNote|1|(1)}} ऊपर, हैमिल्टनियन प्रवाह के तहत {{math|''X<sub>H</sub>''}},
{{EquationNote|1|(1)}} से भी होता है कि प्वासों कोष्ठक एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-क्रम विनिमय संस्करण को संतुष्ट करता है:
<math display="block">\frac{d}{dt}f(\phi_x(t)) = X_Hf = \{f,H\}.</math>
यह हेमिल्टनियन यांत्रिकी में एक मौलिक परिणाम है, जो चरण स्थान पर परिभाषित कार्यों के समय के विकास को नियंत्रित करता है। जैसा कि ऊपर उल्लेख किया गया है, कब {{math|1={''f'',''H''} = 0}}, {{math|''f''}} सिस्टम की गति का एक स्थिरांक है। इसके अलावा, विहित निर्देशांक में (के साथ <math> \{p_i,\, p_j\} \;=\; \{q_i,q_j\} \;=\; 0</math> और <math>\{q_i,\, p_j\} \;=\; \delta_{ij}</math>), सिस्टम के समय के विकास के लिए हैमिल्टन के समीकरण इस सूत्र से तुरंत अनुसरण करते हैं।


से भी होता है {{EquationNote|1|(1)}} कि प्वासों कोष्ठक एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-कम्यूटेटिव संस्करण को संतुष्ट करता है:
{{NumBlk||<math display="block">\{fg,h\} = f\{g,h\} + g\{f,h\},</math> और <math display="block">\{f,gh\} = g\{f,h\} + h\{f,g\}.</math>|{{EquationRef|2}}}}
{{NumBlk||<math display="block">\{fg,h\} = f\{g,h\} + g\{f,h\},</math> and <math display="block">\{f,gh\} = g\{f,h\} + h\{f,g\}.</math>|{{EquationRef|2}}}}


पोइसन ब्रैकेट हैमिल्टनियन वेक्टर फ़ील्ड्स के वेक्टर फ़ील्ड्स के लाई ब्रैकेट से घनिष्ठ रूप से जुड़ा हुआ है। क्योंकि लाई डेरिवेटिव एक व्युत्पत्ति है,
पोइसन कोष्ठक हैमिल्टनियन सदिश क्षेत्र के लाई कोष्ठक से घनिष्ठ रूप से जुड़ा हुआ है। क्योंकि लाई व्युत्पादित एक व्युत्पत्ति है,
<math display="block">\mathcal L_v\iota_w\omega = \iota_{\mathcal L_vw}\omega + \iota_w\mathcal L_v\omega = \iota_{[v,w]}\omega + \iota_w\mathcal L_v\omega.</math>
<math display="block">\mathcal L_v\iota_w\omega = \iota_{\mathcal L_vw}\omega + \iota_w\mathcal L_v\omega = \iota_{[v,w]}\omega + \iota_w\mathcal L_v\omega.</math>
इस प्रकार यदि {{math|''v''}} और {{math|''w''}} सहानुभूतिपूर्ण हैं, उपयोग कर रहे हैं <math> \mathcal{L}_v\omega \;=\; 0</math>, कार्टन की पहचान, और तथ्य यह है कि <math>\iota_w\omega</math> बंद रूप है,
इस प्रकार यदि {{math|''v''}} और {{math|''w''}} सैम्पलेक्टिकपूर्ण हैं, <math> \mathcal{L}_v\omega \;=\; 0</math>, कार्टन की अस्मिता, और इस तथ्य उपयोग करके कि <math>\iota_w\omega</math> बंद रूप है,
<math display="block">\iota_{[v,w]}\omega = \mathcal L_v\iota_w\omega = d(\iota_v\iota_w\omega) + \iota_vd(\iota_w\omega) = d(\iota_v\iota_w\omega) = d(\omega(w,v)).</math>
<math display="block">\iota_{[v,w]}\omega = \mathcal L_v\iota_w\omega = d(\iota_v\iota_w\omega) + \iota_vd(\iota_w\omega) = d(\iota_v\iota_w\omega) = d(\omega(w,v)).</math>
यह इस प्रकार है कि <math>[v,w] = X_{\omega(w,v)}</math>, ताकि
यह <math>[v,w] = X_{\omega(w,v)}</math> का अनुसरण करता है ताकि
{{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)}}. हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक कर्ली-ब्रैकेट ऑपरेटर के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सहानुभूतिपूर्ण मामले में उत्पन्न नहीं हो सकता है।
M पर सुचारु कार्यों के [[एक क्षेत्र पर बीजगणित]], पोइसन कोष्ठक के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन कोष्ठक के तहत एक लाई बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम {{EquationNote|2|(2)}} को संतुष्ट करता है। हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक धनु-कोष्ठक संचालक के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सैम्पलेक्टिकपूर्ण स्तिथि में उत्पन्न नहीं हो सकता है।


== संयुग्म संवेग == पर परिणाम
=== संयुग्म संवेग पर परिणाम ===
एक चिकने [[वेक्टर क्षेत्र]] को देखते हुए <math>X</math> कॉन्फ़िगरेशन स्थान पर, चलो <math>P_X</math> इसका संयुग्मी संवेग हो। संयुग्म संवेग मानचित्रण सदिश क्षेत्रों के ले ब्रैकेट से पोइसन ब्रैकेट तक एक झूठ बीजगणित विरोधी होमोमोर्फिज्म है:
एक सुचारु [[वेक्टर क्षेत्र|सदिश क्षेत्र]] को देखते हुए <math>X</math> समाकृति स्थान पर, मान लीजिये <math>P_X</math> इसका संयुग्मी संवेग है। संयुग्म संवेग मानचित्रण सदिश क्षेत्रों के लाई कोष्ठक से पोइसन कोष्ठक तक एक लाई बीजगणित विरोधी समरूपता है:
<math display="block">\{P_X, P_Y\} = -P_{[X, Y]}.</math>
<math display="block">\{P_X, P_Y\} = -P_{[X, Y]}.</math>
यह महत्वपूर्ण परिणाम एक संक्षिप्त प्रमाण के लायक है। सदिश क्षेत्र लिखिए <math>X</math> बिंदु पर <math>q</math> [[विन्यास स्थान (भौतिकी)]] में के रूप में
यह महत्वपूर्ण परिणाम एक संक्षिप्त प्रमाण के लायक है। सदिश क्षेत्र <math>X</math> को विन्यास स्थान में बिंदु <math>q</math> पर निम्न रूप में लिखें
<math display="block">X_q = \sum_i X^i(q) \frac{\partial}{\partial q^i}</math>
<math display="block">X_q = \sum_i X^i(q) \frac{\partial}{\partial q^i}</math>
कहाँ <math display="inline"> \frac{\partial}{\partial q^i}</math> स्थानीय समन्वय फ्रेम है। करने के लिए संयुग्मी गति <math>X</math> अभिव्यक्ति है
जहाँ <math display="inline"> \frac{\partial}{\partial q^i}</math> स्थानीय समन्वय वृत्ति है। <math>X</math> के संयुग्मी संवेग का व्यंजक निम्न है
<math display="block">P_X(q, p) = \sum_i X^i(q) \;p_i</math>
<math display="block">P_X(q, p) = \sum_i X^i(q) \;p_i</math>
जहां <math>p_i</math> गति कार्य निर्देशांक के संयुग्म हैं। एक तो एक बिंदु के लिए है <math>(q,p)</math> चरण अंतरिक्ष में,
जहां <math>p_i</math> गति कार्य निर्देशांक के संयुग्म हैं। उसके बाद चरण स्थान में एक बिंदु <math>(q,p)</math> के लिए है,
<math display="block">\begin{align}
<math display="block">\begin{align}
   \{P_X,P_Y\}(q,p) &=  \sum_i \sum_j \left\{ X^i(q) \;p_i, Y^j(q)\; p_j \right\} \\
   \{P_X,P_Y\}(q,p) &=  \sum_i \sum_j \left\{ X^i(q) \;p_i, Y^j(q)\; p_j \right\} \\
Line 129: Line 127:
                   &= - P_{[X, Y]}(q, p).  
                   &= - P_{[X, Y]}(q, p).  
\end{align}</math>
\end{align}</math>
उपरोक्त सभी के लिए है <math>(q, p)</math>, वांछित परिणाम दे रहा है।
उपर्युक्त सभी <math>(q, p)</math> के लिए मान्य है, वांछित परिणाम देता है।


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


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


== यह भी देखें ==
== यह भी देखें ==
{{colbegin}}
{{colbegin}}
*कम्यूटेटर
*दिक्परिवर्तक
* [[डायराक ब्रैकेट]]
* [[डायराक कोष्ठक]]
* [[लैग्रेंज ब्रैकेट]]
* [[लैग्रेंज कोष्ठक]]
* मोयल ब्रैकेट
* मोयल कोष्ठक
*[[पीयरल्स ब्रैकेट]]
*[[पीयरल्स कोष्ठक]]
* चरण स्थान
* चरण स्थान
* पोइसन बीजगणित
* पोइसन बीजगणित
* ज़हर की अंगूठी
* पोइसन वलय
* [[पोइसन सुपरएलजेब्रा]]
* [[पोइसन सुपरएलजेब्रा]]
* [[पोइसन सुपरब्रैकेट]]
* [[पोइसन सुपरकोष्ठक]]
{{colend}}
{{colend}}



Revision as of 14:52, 16 March 2023

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

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

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

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

गुण

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

एंटीक्रम विनिमयिटी

द्विरेखीयता

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

समन्वय-मुक्त भाषा में पॉइसन कोष्ठक

मान लीजिए कि M एक सिम्पलेक्टिक बहुविध है, यानी, एक सिम्पलेक्टिक बहुविध से सुसज्जित बहुविध: एक 2-विधि जो दोनों बंद है (यानी, इसका बाहरी व्युत्पन्न गायब हो जाता है) और गैर-पतित है। उदाहरण के लिए ऊपर दिए गए उपचार में को लें और

यदि द्वारा परिभाषित आंतरिक उत्पाद या प्रदिश संकुचन संचालन है, तो गैर-पतन यह कहने के बराबर है कि हर एक रूप के लिए एक अद्वितीय सदिश क्षेत्र इस प्रकार है कि । वैकल्पिक रूप से, । तो यदि एक सुचारू कार्य है तो हैमिल्टनियन सदिश क्षेत्र को के रूप में परिभाषित किया जा सकता है। यह देखना आसान है कि
पोइसन कोष्ठक पर (M, ω) अलग-अलग कार्यों पर एक बिलिनियर मानचित्र है, जिसे से परिभाषित किया गया है; दो कार्यों के प्वासों कोष्ठक पर M अपने आप में एक फलन M है। पोइसन कोष्ठक एंटीसिमेट्रिक है क्योंकि:
आगे,

 

 

 

 

(1)

यहाँ Xgf सदिश क्षेत्र Xg को दर्शाता है, एक दिशात्मक व्युत्पन्न के रूप में f प्रकार्य पर लागू होता है, और प्रकार्य f के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है।

यदि α एक मनमाना एक-रूप M है, सदिश क्षेत्र Ωα प्रवाहिता (गणित) उत्पन्न करता है (कम से कम स्थानीय रूप से) सीमा की स्थिति को संतुष्ट करता है और प्रथम-क्रम अंतर समीकरण निम्न है

x के कार्य के रूप में h> प्रत्येक t के लिए symplectomorphisms (विहित परिवर्तन) होगा, यदि और केवल यदि है; जब यह सच होता है तो Ωα को सैम्पलेक्टिक सदिश क्षेत्र कहा जाता है। कार्टन की अस्मिता को याद करते हुए और dω = 0, यह इस प्रकार है कि । इसलिए, Ωα एक सैम्पलेक्टिक सदिश क्षेत्र है यदि और केवल यदि α संवृत रूप है। क्योंकि है तो यह इस प्रकार है कि प्रत्येक हैमिल्टनियन सदिश क्षेत्र Xf एक सैम्पलेक्टिक सदिश क्षेत्र है, और यह कि हैमिल्टनियन प्रवाह में विहित परिवर्तन होते हैं। (1) से ऊपर, हैमिल्टनियन प्रवाह XH के तहत ,
यह हेमिल्टनियन यांत्रिकी में एक मौलिक परिणाम है, जो चरण स्थान पर परिभाषित कार्यों के समय के विकास को नियंत्रित करता है। जैसा कि ऊपर उल्लेख किया गया है, जब {f,H} = 0, f प्रणाली की गति का एक स्थिरांक है। इसके अलावा, विहित निर्देशांक में (के साथ और ), प्रणाली के समय के विकास के लिए हैमिल्टन के समीकरण इस सूत्र से तुरंत अनुसरण करते हैं।

(1) से भी होता है कि प्वासों कोष्ठक एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-क्रम विनिमय संस्करण को संतुष्ट करता है:


और

 

 

 

 

(2)

पोइसन कोष्ठक हैमिल्टनियन सदिश क्षेत्र के लाई कोष्ठक से घनिष्ठ रूप से जुड़ा हुआ है। क्योंकि लाई व्युत्पादित एक व्युत्पत्ति है,

इस प्रकार यदि v और w सैम्पलेक्टिकपूर्ण हैं, , कार्टन की अस्मिता, और इस तथ्य उपयोग करके कि बंद रूप है,
यह का अनुसरण करता है ताकि

 

 

 

 

(3)

इस प्रकार, प्रकार्य पर पोइसन कोष्ठक संबंधित हैमिल्टनियन सदिश छेत्र के लाई कोष्ठक से मेल खाता है। हमने यह भी दिखाया है कि दो सिम्प्लेक्टिक सदिश क्षेत्र का लाइ कोष्ठक एक हैमिल्टनियन सदिश छेत्र है और इसलिए यह सिम्प्लेक्टिक भी है। सार बीजगणित की भाषा में, सैम्पलेक्टिक सदिश क्षेत्र सुचारु सदिश क्षेत्रों के लाई बीजगणित का एक उपलजगणित M बनाते हैं, और हैमिल्टनियन सदिश क्षेत्र इस सबलजेब्रा का एक बीजगणितीय आदर्श बनाते हैं। सैम्पलेक्टिक सदिश क्षेत्र (अनंत-आयामी) के लाइ बीजगणित हैं M.

यह व्यापक रूप से माना जाता है कि प्वासों कोष्ठक के लिए जैकोबी अस्मिता,

सदिश क्षेत्रों के लाइ कोष्ठक के लिए संबंधित अस्मिता से अनुसरण करता है, लेकिन यह केवल स्थानीय रूप से स्थिर प्रकार्य तक ही सही है। हालांकि, पोइसन कोष्ठक के लिए जैकोबी अस्मिता सिद्ध करने के लिए, यह निम्न दर्शाने के लिए पर्याप्त है:
जहां संचालक सुचारू कार्यों पर M द्वारा परिभाषित किया गया है और दाहिनी ओर का कोष्ठक संचालकों का दिक्परिवर्तक है। (1) द्वारा, परिचालक संचालक Xg के बराबर है। जैकोबी पहचान का प्रमाण (3) से मिलता है क्योंकि, -1 के गुणक तक, सदिश क्षेत्रों का लाई कोष्ठक अंतर संचालकों के रूप में केवल उनका दिक्परिवर्तक है।

M पर सुचारु कार्यों के एक क्षेत्र पर बीजगणित, पोइसन कोष्ठक के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन कोष्ठक के तहत एक लाई बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम (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.


बाहरी संबंध