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

From Vigyanwiki
No edit summary
(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 24: Line 24:
<math>\{f, \{g, h\}\} + \{g, \{h, f\}\} +  \{h, \{f, g\}\} = 0</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>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>
विहित निर्देशांकों के प्वासों कोष्ठक हैं
विहित निर्देशांकों के प्वासों ब्रेकेट हैं
<math display="block">\begin{align}
<math display="block">\begin{align}
   \{q_i,q_j\} &= 0 \\
   \{q_i,q_j\} &= 0 \\
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 65: Line 65:
जहां, ऊपर के रूप में, मध्यवर्ती चरण गति के समीकरणों को लागू करने के बाद होता है और हम इसे मानते हैं कि <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>.)


=== समन्वय-मुक्त भाषा में पॉइसन कोष्ठक ===
=== समन्वय-मुक्त भाषा में पॉइसन ब्रेकेट ===
मान लीजिए कि 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|''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 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''}} के लिए सैम्पलेक्टोमॉरफिस्म (विहित परिवर्तन) होगा, यदि और केवल यदि <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|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)}} से भी होता है कि प्वासों कोष्ठक एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-क्रम विनिमय संस्करण को संतुष्ट करता है:
{{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> और <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> बंद रूप है,
Line 103: Line 103:
{{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 के गुणक तक, सदिश क्षेत्रों का लाई ब्रेकेट अंतर संचालकों के रूप में केवल उनका दिक्परिवर्तक है।


M पर सुचारु कार्यों के [[एक क्षेत्र पर बीजगणित]], पोइसन कोष्ठक के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन कोष्ठक के तहत एक लाई बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम {{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> पर निम्न रूप में लिखें
Line 120: Line 120:
जहाँ <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 127: 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}}) उपरोक्त लाइ बीजगणित उत्पन्न करता है।


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

Revision as of 08:19, 17 March 2023

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

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

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

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

गुण

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

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

द्विरेखीयता

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

 

 

 

(1)

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

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

x के कार्य के रूप में h> प्रत्येक t के लिए सैम्पलेक्टोमॉरफिस्म (विहित परिवर्तन) होगा, यदि और केवल यदि है; जब यह सच होता है तो Ωα को सैम्पलेक्टिक सदिश क्षेत्र कहा जाता है। कार्टन की अस्मिता को याद करते हुए और 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.


बाहरी संबंध