प्वासों ब्रेकेट: Difference between revisions
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> में ही चुनना प्रायः संभव होता है। | ||
अधिक सामान्य अर्थ में, पॉसॉन | अधिक सामान्य अर्थ में, पॉसॉन ब्रेकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें [[जहर कई गुना|पॉइसन बहुविध]] पर कार्यों का बीजगणित एक विशेष स्तिथि है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का [[टेंसर बीजगणित|प्रदिश बीजगणित]] पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की परिमाण विकृति [[क्वांटम समूह|परिमाण समूह]] की धारणा को उत्पन्न करती है। | ||
इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है। | इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है। | ||
== गुण == | == गुण == | ||
दो दिए गए | दो दिए गए फलन {{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> (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 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 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 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>A</math> और <math>B</math> स्पष्ट रूप से समय स्वतंत्र (<math>A(p, q), B(p, q)</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> | मान लीजिए कि 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 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|''X<sub>g</sub>f''}} सदिश क्षेत्र {{math|''X<sub>g</sub>''}} को दर्शाता है, एक दिशात्मक व्युत्पन्न के रूप में {{math|''f''}} फलन पर लागू होता है, और <math>\mathcal{L}_{X_g} f</math> फलन {{math|''f''}} के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है। | ||
यदि {{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''}} के लिए | <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 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{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 पर सुचारु कार्यों के [[एक क्षेत्र पर बीजगणित]], पोइसन | 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}}) उपरोक्त लाइ बीजगणित उत्पन्न करता है। | ||
इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, [[हाइजेनबर्ग बीजगणित]] का सार्वभौमिक आवरण बीजगणित [[वेइल बीजगणित]] है। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष स्तिथि है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है। | इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, [[हाइजेनबर्ग बीजगणित]] का सार्वभौमिक आवरण बीजगणित [[वेइल बीजगणित]] है। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष स्तिथि है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है। |
Revision as of 08:19, 17 March 2023
Part of a series on |
चिरसम्मत यांत्रिकी |
---|
गणित और चिरसम्मत यांत्रिकी में, पोइसन ब्रेकेट हैमिल्टनियन यांत्रिकी में एक महत्वपूर्ण द्विआधारी संक्रिया है, जो हैमिल्टन के गति के समीकरणों में एक केंद्रीय भूमिका निभाता है और जो हैमिल्टनियन गतिशील प्रणाली के समय के विकास को नियंत्रित करता है। पोइसन ब्रेकेट समन्वय परिवर्तनों के एक निश्चित वर्ग को भी अलग करता है, जिसे विहित रूपांतरण कहा जाता है, जो कैननिकल निर्देशांक को कैनोनिकल समन्वय प्रणालियों में प्रतिचित्र करता है। एक विहित समन्वय प्रणाली में विहित स्थिति और संवेग चर होते हैं (नीचे प्रतीक द्वारा और , क्रमशः) जो कैनोनिकल पॉइसन ब्रेकेट संबंधों को संतुष्ट करते हैं। संभावित विहित रूपांतरणों का सम्मुच्चय सदैव बहुत समृद्ध होता है। उदाहरण के लिए, हैमिल्टनियन को नए विहित संवेग में से एक के रूप में ही चुनना प्रायः संभव होता है।
अधिक सामान्य अर्थ में, पॉसॉन ब्रेकेट का उपयोग पॉसॉन बीजगणित को परिभाषित करने के लिए किया जाता है, जिसमें पॉइसन बहुविध पर कार्यों का बीजगणित एक विशेष स्तिथि है। अन्य सामान्य उदाहरण भी हैं: यह लाई बीजगणित के सिद्धांत में पाया जाता है, जहां लाई बीजगणित का प्रदिश बीजगणित पॉइसन बीजगणित बनाता है; यह कैसे होता है इसका एक विस्तृत निर्माण सार्वभौमिक आवरण बीजगणित लेख में दिया गया है। सार्वभौमिक आवरण बीजगणित की परिमाण विकृति परिमाण समूह की धारणा को उत्पन्न करती है।
इन सभी वस्तुओं का नाम शिमोन डेनिस पोइसन के सम्मान में रखा गया है।
गुण
दो दिए गए फलन f और g जो चरण स्थान और समय पर निर्भर करता है, उनके पॉसॉन ब्रेकेट एक अन्य कार्य है जो चरण स्थान और समय पर निर्भर करता है। चरण स्थान और समय के किन्हीं तीन कार्य के लिए निम्नलिखित नियम मान्य हैं:
साथ ही, यदि कोई फलन चरण स्थान पर स्थिर है (लेकिन समय पर निर्भर हो सकता है), फिर किसी के लिए ।
विहित निर्देशांक में परिभाषा
विहित निर्देशांक में (जिसे डार्बौक्स निर्देशांक भी कहा जाता है) चरण स्थान पर, दो कार्य और दिए गए हैं,[Note 1] प्वासों ब्रेकेट रूप ले लेता है
हैमिल्टन की गति के समीकरण
हैमिल्टन के गति के समीकरणों में पोइसन ब्रेकेट के संदर्भ में एक समान अभिव्यक्ति है। यह एक स्पष्ट समन्वय वृत्ति में सबसे प्रत्यक्ष रूप से प्रदर्शित किया जा सकता है। मान लीजिये समाधान के प्रक्षेपवक्र-कई गुना पर एक फलन है। फिर बहुभिन्नरूपी श्रृंखला नियम से,
इस प्रकार, एक सिम्पेक्टिक बहुविध पर एक फलन का समय विकास सिम्प्लेक्टोमोर्फिम्स के एक-मापदण्ड श्रेणी के रूप में दिया जा सकता है (अर्थात, विहित रूपांतरण, क्षेत्र-संरक्षण डिफोमोर्फिज्म), समय मापदण्ड होने के नाते: हैमिल्टनियन गति हैमिल्टनियन द्वारा उत्पन्न एक विहित रूपांतरण है। अर्थात पॉइसन ब्रेकेट इसमें संरक्षित हैं, ताकि किसी भी समय हैमिल्टन के समीकरणों के समाधान में,
निम्न निर्देशांक,
गति के स्थिरांक
एक एकीकृत गतिशील प्रणाली में ऊर्जा के अतिरिक्त गति के स्थिरांक होंगे। गति के ऐसे स्थिरांक हैमिल्टनियन के साथ पोइसन ब्रेकेट के तहत आवागमन करेंगे। मान लीजिए कुछ फलन गति का एक स्थिरांक है। इसका तात्पर्य यह है कि यदि हैमिल्टन के गति के समीकरणों का एक प्रक्षेपवक्र या समाधान है, फिर
यदि प्वासों ब्रेकेट और () को लुप्त कर देता है, तब और को प्रत्यावर्तन कहा जाता है। हैमिल्टनियन प्रणाली को पूरी तरह से एकीकृत करने के लिए, गति के स्वतंत्र स्थिरांक वितरण में होना चाहिए, जहां स्वातंत्र्य कोटि की संख्या है।
इसके अलावा, पॉसों के प्रमेय के अनुसार, यदि दो मात्राएँ और स्पष्ट रूप से समय स्वतंत्र () गति के स्थिरांक हैं, तो उनका पॉइसन ब्रेकेट है। यह सदैव एक उपयोगी परिणाम प्रदान नहीं करता है, हालांकि, गति के संभावित स्थिरांक की संख्या सीमित है ( के साथ एक प्रणाली के लिए स्वातंत्र्य कोटि), और इसलिए परिणाम तुच्छ हो सकता है (एक स्थिर, या का एक कार्य और .)
समन्वय-मुक्त भाषा में पॉइसन ब्रेकेट
मान लीजिए कि M एक सिम्पलेक्टिक बहुविध है, अर्थात, एक सिम्पलेक्टिक बहुविध से सुसज्जित बहुविध: एक 2-विधि जो दोनों बंद है (अर्थात, इसका बाहरी व्युत्पन्न लुप्त हो जाता है) और गैर-पतित है। उदाहरण के लिए ऊपर दिए गए उपचार में को लें और
|
(1) |
यहाँ Xgf सदिश क्षेत्र Xg को दर्शाता है, एक दिशात्मक व्युत्पन्न के रूप में f फलन पर लागू होता है, और फलन f के व्युत्पन्न (पूरी तरह से समतुल्य) को दर्शाता है।
यदि α स्वेच्छाचारी एक-रूप M है, सदिश क्षेत्र Ωα प्रवाहिता (गणित) उत्पन्न करता है (कम से कम स्थानीय रूप से) सीमा की स्थिति को संतुष्ट करता है और प्रथम-क्रम अंतर समीकरण निम्न है
(1) से भी होता है कि प्वासों ब्रेकेट एक व्युत्पत्ति (अमूर्त बीजगणित) है; अर्थात्, यह लीबनिज के उत्पाद नियम के एक गैर-क्रम विनिमय संस्करण को संतुष्ट करता है:
और |
|
(2) |
पोइसन ब्रेकेट हैमिल्टनियन सदिश क्षेत्र के लाई ब्रेकेट से घनिष्ठ रूप से जुड़ा हुआ है। क्योंकि लाई व्युत्पादित एक व्युत्पत्ति है,
|
(3) |
इस प्रकार, फलन पर पोइसन ब्रेकेट संबंधित हैमिल्टनियन सदिश छेत्र के लाई ब्रेकेट से मेल खाता है। हमने यह भी दिखाया है कि दो सिम्प्लेक्टिक सदिश क्षेत्र का लाइ ब्रेकेट एक हैमिल्टनियन सदिश छेत्र है और इसलिए यह सिम्प्लेक्टिक भी है। सार बीजगणित की भाषा में, सैम्पलेक्टिक सदिश क्षेत्र सुचारु सदिश क्षेत्रों के लाई बीजगणित का एक उपलजगणित M बनाते हैं, और हैमिल्टनियन सदिश क्षेत्र इस उपबीजगणित का एक बीजगणितीय आदर्श बनाते हैं। सैम्पलेक्टिक सदिश क्षेत्र (अनंत-आयामी) के लाइ बीजगणित हैं M.
यह व्यापक रूप से माना जाता है कि प्वासों ब्रेकेट के लिए जैकोबी अस्मिता,
M पर सुचारु कार्यों के एक क्षेत्र पर बीजगणित, पोइसन ब्रेकेट के साथ एक पॉसॉन बीजगणित बनाता है, क्योंकि यह पॉसॉन ब्रेकेट के तहत एक लाई बीजगणित है, जो अतिरिक्त रूप से लीबनिज के नियम (2) को संतुष्ट करता है। हमने दिखाया है कि प्रत्येक सिम्प्लेक्टिक बहुविध एक पोइज़न बहुविध है, जो कि एक धनु-ब्रेकेट संचालक के साथ कई गुना है, जो सुचारू कार्यों पर होता है, जैसे कि सुचारू कार्य एक पॉइज़न बीजगणित बनाते हैं। हालांकि, प्रत्येक पॉइसन बहुविध इस तरह से उत्पन्न नहीं होता है, क्योंकि पॉइसन बहुविध अध: पतन की अनुमति देता है जो सैम्पलेक्टिकपूर्ण स्तिथि में उत्पन्न नहीं हो सकता है।
संयुग्म संवेग पर परिणाम
एक सुचारु सदिश क्षेत्र को देखते हुए समाकृति स्थान पर, मान लीजिये इसका संयुग्मी संवेग है। संयुग्म संवेग मानचित्रण सदिश क्षेत्रों के लाई ब्रेकेट से पोइसन ब्रेकेट तक एक लाई बीजगणित विरोधी समरूपता है:
परिमाणीकरण
परिमाणीकरण पर पोइसन कोष्ठक विकृत होकर मोयल कोष्ठक में बदल जाते हैं, अर्थात्, वे एक अलग लाइ बीजगणित, मोयल ब्रेकेट, या, हिल्बर्ट अंतरिक्ष में समान रूप से, परिमाण दिक्परिवर्तक के लिए सामान्यीकृत करते हैं। इनमें से विग्नेर-इनोनू समूह संकुचन (चिरसम्मत सीमा, ħ → 0) उपरोक्त लाइ बीजगणित उत्पन्न करता है।
इसे अधिक स्पष्ट और सटीक रूप से बताने के लिए, हाइजेनबर्ग बीजगणित का सार्वभौमिक आवरण बीजगणित वेइल बीजगणित है। मोयल उत्पाद तब प्रतीकों के बीजगणित पर स्टार उत्पाद का एक विशेष स्तिथि है। प्रतीकों के बीजगणित की एक स्पष्ट परिभाषा, और तारकीय गुणनफल सार्वभौम घेरने वाले बीजगणित पर लेख में दिया गया है।
यह भी देखें
- दिक्परिवर्तक
- डायराक कोष्ठक
- लैग्रेंज कोष्ठक
- मोयल कोष्ठक
- पीयरल्स कोष्ठक
- चरण स्थान
- पोइसन बीजगणित
- पोइसन वलय
- पोइसन सुपरएलजेब्रा
- पोइसन सुपरकोष्ठक
टिप्पणी
- ↑ 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.