टॉटोलॉजिकल एक-रूप: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 2: Line 2:




गणित में, टॉटोलॉजिकल वन-फॉर्म एक विशेष 1-फॉर्म है जो मैनिफोल्ड <math>Q.</math> के कोटैंजेंट बंडल <math>T^{*}Q</math> पर परिभाषित होता है। भौतिकी में, इसका उपयोग एक बिंदु के वेग के बीच एक पत्राचार बनाने के लिए किया जाता है। एक यांत्रिक प्रणाली और उसकी गति में, इस प्रकार लैग्रेंजियन यांत्रिकी और हैमिल्टनियन यांत्रिकी के बीच एक पुल प्रदान करता है (कई गुना <math>Q</math> पर)।


इस फॉर्म का [[बाहरी व्युत्पन्न]] एक [[सरलीकृत रूप]] देने को परिभाषित करता है जो <math>T^{*}Q</math> एक [[ सिंपलेक्टिक मैनिफ़ोल्ड | सिंपलेक्टिक मैनिफ़ोल्ड]] की संरचना देता है। टॉटोलॉजिकल वन-फॉर्म हैमिल्टनियन यांत्रिकी और लैग्रेंजियन यांत्रिकी की औपचारिकता से संबंधित होने में एक महत्वपूर्ण भूमिका निभाता है। टॉटोलॉजिकल वन-फॉर्म को कभी-कभी लिउविले वन-फॉर्म, पोंकारे वन-फॉर्म, वन-फॉर्म या सिंपलेक्टिक पोटेंशियल भी कहा जाता है। एक समान वस्तु [[स्पर्शरेखा बंडल]] पर [[विहित वेक्टर क्षेत्र|विहित सदिश  क्षेत्र]] है।
गणित में, टॉटोलॉजिकल एक-रूप एक विशेष 1-रूप है जो मैनिफोल्ड <math>Q.</math> के कोटैंजेंट बंडल <math>T^{*}Q</math> पर परिभाषित होता है। भौतिकी में, इसका उपयोग एक बिंदु के वेग के मध्य एक पत्राचार बनाने के लिए किया जाता है। एक यांत्रिक प्रणाली और उसकी गति में, इस प्रकार लैग्रेंजियन यांत्रिकी और हैमिल्टनियन यांत्रिकी के मध्य एक पुल प्रदान करता है (कई गुना <math>Q</math> पर) होता हैं।


टॉटोलॉजिकल वन-फॉर्म को परिभाषित करने के लिए, एक समन्वय चार्ट का चयन करें <math> U </math> पर <math>T^*Q </math> और एक [[विहित समन्वय]] प्रणाली <math> U. </math> पर एक इच्छानुसार बिंदु चुनें जो <math>m \in T^*Q.</math> कोटैंजेंट बंडल की परिभाषा के अनुसार, <math>m = (q,p),</math> कहाँ <math>q \in Q</math> और <math>p \in T_q^*Q.</math> तनातनी एक-रूप <math>\theta_m : T_mT^*Q \to \R</math> द्वारा दिया गया है
इस रूप का [[बाहरी व्युत्पन्न]] एक [[सरलीकृत रूप]] देने को परिभाषित करता है जो <math>T^{*}Q</math> एक [[ सिंपलेक्टिक मैनिफ़ोल्ड |सिंपलेक्टिक मैनिफ़ोल्ड]] की संरचना देता है। टॉटोलॉजिकल एक-रूप हैमिल्टनियन यांत्रिकी और लैग्रेंजियन यांत्रिकी की औपचारिकता से संबंधित होने में एक महत्वपूर्ण भूमिका निभाता है। टॉटोलॉजिकल एक-रूप को कभी-कभी लिउविले एक-रूप, पोंकारे एक-रूप, एक-रूप या सिंपलेक्टिक पोटेंशियल भी कहा जाता है। एक समान वस्तु [[स्पर्शरेखा बंडल]] पर [[विहित वेक्टर क्षेत्र|विहित सदिश क्षेत्र]] है।
 
टॉटोलॉजिकल एक-रूप को परिभाषित करने के लिए, एक समन्वय चार्ट का चयन करें <math> U </math> पर <math>T^*Q </math> और एक [[विहित समन्वय]] प्रणाली <math> U. </math> पर एक इच्छानुसार बिंदु चुनें जो <math>m \in T^*Q.</math> कोटैंजेंट बंडल की परिभाषा के अनुसार, <math>m = (q,p),</math> कहाँ <math>q \in Q</math> और <math>p \in T_q^*Q.</math> तनातनी एक-रूप <math>\theta_m : T_mT^*Q \to \R</math> द्वारा दिया गया है
<math display="block">\theta_m = \sum^n_{i=1} p_i dq^i,</math>
<math display="block">\theta_m = \sum^n_{i=1} p_i dq^i,</math>
<math>n = \mathop{\text{dim}}Q</math> और <math>(p_1, \ldots, p_n) \in U \subseteq \R^n</math> के साथ <math>p. </math> का समन्वय प्रतिनिधित्व है।
<math>n = \mathop{\text{dim}}Q</math> और <math>(p_1, \ldots, p_n) \in U \subseteq \R^n</math> के साथ <math>p. </math> का समन्वय प्रतिनिधित्व है।


<math>T^*Q</math> पर कोई भी निर्देशांक जो इस परिभाषा को कुल अंतर (स्पष्ट रूप) तक संरक्षित करता है, उसे विहित निर्देशांक कहा जा सकता है; विभिन्न विहित समन्वय प्रणालियों के बीच परिवर्तनों को विहित परिवर्तनों के रूप में जाना जाता है।
<math>T^*Q</math> पर कोई भी निर्देशांक जो इस परिभाषा को कुल अंतर (स्पष्ट रूप) तक संरक्षित करता है, उसे विहित निर्देशांक कहा जा सकता है; विभिन्न विहित समन्वय प्रणालियों के मध्य परिवर्तनों को विहित परिवर्तनों के रूप में जाना जाता है।


कैनोनिकल सिंपलेक्टिक फॉर्म, जिसे पोंकारे टू-फॉर्म के रूप में भी जाना जाता है, द्वारा दिया गया है
कैनोनिकल सिंपलेक्टिक रूप, जिसे पोंकारे टू-रूप के रूप में भी जाना जाता है, द्वारा दिया गया है
<math display=block>\omega = -d\theta = \sum_i dq^i \wedge dp_i</math>
<math display=block>\omega = -d\theta = \sum_i dq^i \wedge dp_i</math>
सामान्य [[फाइबर बंडल]] तक इस अवधारणा के विस्तार को [[सोल्डर फॉर्म]] के रूप में जाना जाता है। परंपरा के अनुसार, जब भी फॉर्म की एक अद्वितीय, विहित परिभाषा होती है, तो कोई व्यक्ति कैनोनिकल फॉर्म वाक्यांश का उपयोग करता है, और जब भी कोई इच्छानुसार विकल्प बनाना होता है, तो कोई सोल्डर फॉर्म शब्द का उपयोग करता है। [[बीजगणितीय ज्यामिति]] और [[जटिल ज्यामिति]] में [[विहित वर्ग]] के साथ अस्पष्ट के कारण विहित शब्द को हतोत्साहित किया जाता है, और [[टॉटोलॉजिकल बंडल]] की तरह टॉटोलॉजिकल शब्द को प्राथमिकता दी जाती है।
सामान्य [[फाइबर बंडल]] तक इस अवधारणा के विस्तार को [[सोल्डर फॉर्म|सोल्डर रूप]] के रूप में जाना जाता है। परंपरा के अनुसार, जब भी रूप की एक अद्वितीय, विहित परिभाषा होती है, तब कोई व्यक्ति कैनोनिकल रूप वाक्यांश का उपयोग करता है, और जब भी कोई इच्छानुसार विकल्प बनाना होता है, तब कोई सोल्डर रूप शब्द का उपयोग करता है। [[बीजगणितीय ज्यामिति]] और [[जटिल ज्यामिति|सम्मिश्र ज्यामिति]] में [[विहित वर्ग]] के साथ अस्पष्ट के कारण विहित शब्द को हतोत्साहित किया जाता है, और [[टॉटोलॉजिकल बंडल]] की तरह टॉटोलॉजिकल शब्द को प्राथमिकता दी जाती है।


==समन्वय-मुक्त परिभाषा==
==समन्वय-मुक्त परिभाषा==
टॉटोलॉजिकल 1-फॉर्म को चरण स्थान पर एक रूप के रूप में अमूर्त रूप से भी परिभाषित किया जा सकता है। मान लीजिए <math>Q</math> एक मैनिफोल्ड है और <math>M=T^*Q</math> कोटैंजेंट बंडल या चरण स्थान है। होने देना
टॉटोलॉजिकल 1-रूप को चरण स्थान पर एक रूप के रूप में अमूर्त रूप से भी परिभाषित किया जा सकता है। मान लीजिए <math>Q</math> एक मैनिफोल्ड है और <math>M=T^*Q</math> कोटैंजेंट बंडल या चरण स्थान है। होने देना
<math display=block>\pi : M \to Q</math>
<math display=block>\pi : M \to Q</math>
विहित फाइबर बंडल प्रक्षेपण हो, और चलो
विहित फाइबर बंडल प्रक्षेपण हो, और चलो
Line 32: Line 33:


== सिम्पेक्टिक क्षमता==
== सिम्पेक्टिक क्षमता==
सहानुभूति क्षमता को सामान्यतः थोड़ा अधिक स्वतंत्र रूप से परिभाषित किया जाता है, और केवल स्थानीय रूप से भी परिभाषित किया जाता है: यह कोई एक-रूप है जिसमे <math>\phi</math> ऐसा है कि <math>\omega=-d\phi</math>; वास्तव में सिम्प्लेक्टिक क्षमताएं विहित 1-रूप से एक बंद अंतर रूप से भिन्न होती हैं।
सहानुभूति क्षमता को सामान्यतः थोड़ा अधिक स्वतंत्र रूप से परिभाषित किया जाता है, और केवल स्थानीय रूप से भी परिभाषित किया जाता है: यह कोई एक-रूप है जिसमे <math>\phi</math> ऐसा है कि <math>\omega=-d\phi</math>; वास्तव में सिम्प्लेक्टिक क्षमताएं विहित 1-रूप से एक बंद अंतर रूप से भिन्न होती हैं।


==गुण==
==गुण==
टॉटोलॉजिकल वन-फॉर्म अद्वितीय वन-फॉर्म है जो पुलबैक_(डिफरेंशियल ज्योमेट्री) को समाप्त करता है। अथार्त चलो <math>\beta</math> 1-फॉर्म पर हो <math>Q.</math> <math>\beta</math> एक अनुभाग है (फाइबर_बंडल) <math>\beta: Q \to T^*Q.</math> एक इच्छानुसार 1-रूप के लिए <math>\sigma</math> पर <math>T^*Q,</math> का पुलबैक <math>\sigma</math> द्वारा <math>\beta</math> परिभाषा के अनुसार, <math>\beta^*\sigma := \sigma \circ \beta_*.</math> यहाँ, <math>\beta_* : TQ\to TT^*Q</math> का पुशफॉरवर्ड (अंतर) है <math>\beta.</math> पसंद <math>\beta,</math> <math>\beta^*\sigma</math> 1-फॉर्म पर है <math>Q.</math> तनातनी एक-रूप <math>\theta</math> संपत्ति के साथ एकमात्र रूप है कि <math>\beta^*\theta = \beta,</math> प्रत्येक 1-फ़ॉर्म <math>\beta</math> के लिए <math>Q.</math> पर है  
टॉटोलॉजिकल एक-रूप अद्वितीय एक-रूप है जो पुलबैक_(डिफरेंशियल ज्योमेट्री) को समाप्त करता है। अथार्त चलो <math>\beta</math> 1-रूप पर हो <math>Q.</math> <math>\beta</math> एक अनुभाग है (फाइबर_बंडल) <math>\beta: Q \to T^*Q.</math> एक इच्छानुसार 1-रूप के लिए <math>\sigma</math> पर <math>T^*Q,</math> का पुलबैक <math>\sigma</math> द्वारा <math>\beta</math> परिभाषा के अनुसार, <math>\beta^*\sigma := \sigma \circ \beta_*.</math> यहाँ, <math>\beta_* : TQ\to TT^*Q</math> का पुशफॉरवर्ड (अंतर) है <math>\beta.</math> पसंद <math>\beta,</math> <math>\beta^*\sigma</math> 1-रूप पर है <math>Q.</math> तनातनी एक-रूप <math>\theta</math> संपत्ति के साथ एकमात्र रूप है कि <math>\beta^*\theta = \beta,</math> प्रत्येक 1-फ़ॉर्म <math>\beta</math> के लिए <math>Q.</math> पर है  


{| role="presentation" class="wikitable mw-collapsible mw-collapsed"
{| role="presentation" class="wikitable mw-collapsible mw-collapsed"
Line 86: Line 87:
for every <math>\mathbf{q} \in U</math> and <math>c_j \in \R.</math> Since <math>c_j = p^j / q^j,</math> we see that <math>\alpha_{p_i}(\mathbf{p},\mathbf{q}) = 0,</math> as long as <math>q^j \neq 0</math> for all <math>j.</math> On the other hand, the function <math>\alpha_{p_i}</math> is continuous, and hence <math>\alpha_{p_i}(\mathbf{p},\mathbf{q}) = 0</math> on <math>\R^n \times U.</math>
for every <math>\mathbf{q} \in U</math> and <math>c_j \in \R.</math> Since <math>c_j = p^j / q^j,</math> we see that <math>\alpha_{p_i}(\mathbf{p},\mathbf{q}) = 0,</math> as long as <math>q^j \neq 0</math> for all <math>j.</math> On the other hand, the function <math>\alpha_{p_i}</math> is continuous, and hence <math>\alpha_{p_i}(\mathbf{p},\mathbf{q}) = 0</math> on <math>\R^n \times U.</math>
|}
|}
तो, पुल-बैक और बाहरी व्युत्पन्न के बीच कम्यूटेशन द्वारा,
तो, पुल-बैक और बाहरी व्युत्पन्न के मध्य कम्यूटेशन द्वारा,
<math display=block>\beta^*\omega = -\beta^*d\theta = -d (\beta^*\theta) = -d\beta.</math>
<math display=block>\beta^*\omega = -\beta^*d\theta = -d (\beta^*\theta) = -d\beta.</math>




==कार्रवाई==
==कार्रवाई==
यदि <math>H</math> कोटैंजेंट बंडल पर एक हैमिल्टनियन यांत्रिकी है और <math>X_H</math> इसका [[हैमिल्टनियन वेक्टर फ़ील्ड|हैमिल्टनियन सदिश फ़ील्ड]] है, तो संबंधित [[क्रिया (भौतिकी)]] <math>S</math> द्वारा दिया गया है
यदि <math>H</math> कोटैंजेंट बंडल पर एक हैमिल्टनियन यांत्रिकी है और <math>X_H</math> इसका [[हैमिल्टनियन वेक्टर फ़ील्ड|हैमिल्टनियन सदिश फ़ील्ड]] है, तब संबंधित [[क्रिया (भौतिकी)]] <math>S</math> द्वारा दिया गया है
<math display=block>S = \theta(X_H).</math>
<math display=block>S = \theta(X_H).</math>
अधिक व्यावहारिक शब्दों में, हैमिल्टनियन प्रवाह [[गति के हैमिल्टन-जैकोबी समीकरण]] का पालन करने वाले एक यांत्रिक प्रणाली के मौलिक प्रक्षेपवक्र का प्रतिनिधित्व करता है। हैमिल्टनियन प्रवाह हैमिल्टनियन सदिश क्षेत्र का अभिन्न अंग है, और इसलिए कोई [[क्रिया-कोण चर]] के लिए पारंपरिक नोटेशन का उपयोग करते हुए लिखता है:
अधिक व्यावहारिक शब्दों में, हैमिल्टनियन प्रवाह [[गति के हैमिल्टन-जैकोबी समीकरण]] का पालन करने वाले एक यांत्रिक प्रणाली के मौलिक प्रक्षेपवक्र का प्रतिनिधित्व करता है। हैमिल्टनियन प्रवाह हैमिल्टनियन सदिश क्षेत्र का अभिन्न अंग है, और इसलिए कोई [[क्रिया-कोण चर]] के लिए पारंपरिक नोटेशन का उपयोग करते हुए लिखता है:
<math display=block>S(E) = \sum_i \oint p_i\,dq^i</math>
<math display=block>S(E) = \sum_i \oint p_i\,dq^i</math>


ऊर्जा <math>E</math> स्थिरांक को धारण करके परिभाषित कई गुना पर अभिन्न अंग को समझा जाता है: <math>H=E=\text{const}.</math>।
ऊर्जा <math>E</math> स्थिरांक को धारण करके परिभाषित कई गुना पर अभिन्न अंग को समझा जाता है: <math>H=E=\text{const}.</math>।
==रीमैनियन और स्यूडो-रीमैनियन मैनिफोल्ड्स पर==
==रीमैनियन और स्यूडो-रीमैनियन मैनिफोल्ड्स पर==
यदि अनेक गुना <math>Q</math> एक रीमानियन या छद्म-रिमानियन मेट्रिक (गणित) <math>g,</math> है तब [[सामान्यीकृत निर्देशांक]] के संदर्भ में संबंधित परिभाषाएँ बनाई जा सकती हैं। विशेष रूप से, यदि हम मीट्रिक को मानचित्र के रूप में लेते हैं
यदि अनेक गुना <math>Q</math> एक रीमानियन या छद्म-रिमानियन मेट्रिक (गणित) <math>g,</math> है तब [[सामान्यीकृत निर्देशांक]] के संदर्भ में संबंधित परिभाषाएँ बनाई जा सकती हैं। विशेष रूप से, यदि हम मीट्रिक को मानचित्र के रूप में लेते हैं
<math display="block">g : TQ \to T^*Q,</math>
<math display="block">g : TQ \to T^*Q,</math>
फिर परिभाषित करें
फिर परिभाषित करें
Line 115: Line 116:


{{reflist}}
{{reflist}}
{{reflist|group=note}}
* [[Ralph Abraham (mathematician)|Ralph Abraham]] and [[Jerrold E. Marsden]], ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London {{isbn|0-8053-0102-X}} ''See section 3.2''.
* [[Ralph Abraham (mathematician)|Ralph Abraham]] and [[Jerrold E. Marsden]], ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London {{isbn|0-8053-0102-X}} ''See section 3.2''.


{{Manifolds}}
{{Manifolds}}
[[Category: सिंपलेक्टिक ज्यामिति]] [[Category: हैमिल्टनियन यांत्रिकी]] [[Category: लैग्रेंजियन यांत्रिकी]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:लैग्रेंजियन यांत्रिकी]]
[[Category:सिंपलेक्टिक ज्यामिति]]
[[Category:हैमिल्टनियन यांत्रिकी]]

Latest revision as of 08:09, 20 September 2023


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

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

टॉटोलॉजिकल एक-रूप को परिभाषित करने के लिए, एक समन्वय चार्ट का चयन करें पर और एक विहित समन्वय प्रणाली पर एक इच्छानुसार बिंदु चुनें जो कोटैंजेंट बंडल की परिभाषा के अनुसार, कहाँ और तनातनी एक-रूप द्वारा दिया गया है

और के साथ का समन्वय प्रतिनिधित्व है।

पर कोई भी निर्देशांक जो इस परिभाषा को कुल अंतर (स्पष्ट रूप) तक संरक्षित करता है, उसे विहित निर्देशांक कहा जा सकता है; विभिन्न विहित समन्वय प्रणालियों के मध्य परिवर्तनों को विहित परिवर्तनों के रूप में जाना जाता है।

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

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

समन्वय-मुक्त परिभाषा

टॉटोलॉजिकल 1-रूप को चरण स्थान पर एक रूप के रूप में अमूर्त रूप से भी परिभाषित किया जा सकता है। मान लीजिए एक मैनिफोल्ड है और कोटैंजेंट बंडल या चरण स्थान है। होने देना

विहित फाइबर बंडल प्रक्षेपण हो, और चलो

प्रेरित स्पर्शरेखा मानचित्र बनें। मान लीजिए कि पर एक बिंदु है, चूँकि कोटैंजेंट बंडल है, हम को पर स्पर्शरेखा स्थान का मानचित्र समझ सकते हैं।

अर्थात्, हमारे पास यह है कि m, q के तंतु में है। फिर बिंदु m पर टॉटोलॉजिकल वन-फ़ॉर्म को परिभाषित किया गया है
यह एक रेखीय मानचित्र है
इसलिए


सिम्पेक्टिक क्षमता

सहानुभूति क्षमता को सामान्यतः थोड़ा अधिक स्वतंत्र रूप से परिभाषित किया जाता है, और केवल स्थानीय रूप से भी परिभाषित किया जाता है: यह कोई एक-रूप है जिसमे ऐसा है कि ; वास्तव में सिम्प्लेक्टिक क्षमताएं विहित 1-रूप से एक बंद अंतर रूप से भिन्न होती हैं।

गुण

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

तो, पुल-बैक और बाहरी व्युत्पन्न के मध्य कम्यूटेशन द्वारा,


कार्रवाई

यदि कोटैंजेंट बंडल पर एक हैमिल्टनियन यांत्रिकी है और इसका हैमिल्टनियन सदिश फ़ील्ड है, तब संबंधित क्रिया (भौतिकी) द्वारा दिया गया है

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

ऊर्जा स्थिरांक को धारण करके परिभाषित कई गुना पर अभिन्न अंग को समझा जाता है:

रीमैनियन और स्यूडो-रीमैनियन मैनिफोल्ड्स पर

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

फिर परिभाषित करें
और

सामान्यीकृत निर्देशांक में पर किसी के पास

और

मीट्रिक किसी को में एक इकाई-त्रिज्या क्षेत्र को परिभाषित करने की अनुमति देता है। इस क्षेत्र तक सीमित विहित एक-रूप एक संपर्क संरचना बनाता है; इस मीट्रिक के लिए जियोडेसिक प्रवाह उत्पन्न करने के लिए संपर्क संरचना का उपयोग किया जा सकता है।

संदर्भ

  • Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See section 3.2.