View source for टॉटोलॉजिकल एक-रूप

{{distinguish|सिंपलेक्टिक मैनिफोल्ड और परिभाषा|सिम्प्लेक्टिक वेक्टर स्पेस}}



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

==समन्वय-मुक्त परिभाषा==
टॉटोलॉजिकल 1-रूप को चरण स्थान पर एक रूप के रूप में अमूर्त रूप से भी परिभाषित किया जा सकता है। मान लीजिए <math>Q</math> एक मैनिफोल्ड है और <math>M=T^*Q</math> कोटैंजेंट बंडल या चरण स्थान है। होने देना
<math display=block>\pi : M \to Q</math>
विहित फाइबर बंडल प्रक्षेपण हो, और चलो
 <math display=block>\mathrm{d} \pi : TM \to TQ </math>
प्रेरित स्पर्शरेखा मानचित्र बनें। मान लीजिए कि <math>m</math> <math>M.</math> पर एक बिंदु है, चूँकि <math>M</math> कोटैंजेंट बंडल है, हम <math>m</math> को <math>q=\pi(m)</math> पर स्पर्शरेखा स्थान का मानचित्र समझ सकते हैं।
<math display=block>m : T_qQ \to \R.</math>
अर्थात्, हमारे पास यह है कि m, q के तंतु में है। फिर बिंदु m पर टॉटोलॉजिकल वन-फ़ॉर्म <math>\theta_m</math> को परिभाषित किया गया है 
<math display=block>\theta_m = m \circ \mathrm{d} \pi_m.</math>
यह एक रेखीय मानचित्र है
<math display=block>\theta_m : T_mM \to \R</math>
इसलिए
 <math display=block>\theta : M \to T^*M.</math>


== सिम्पेक्टिक क्षमता==
सहानुभूति क्षमता को सामान्यतः थोड़ा अधिक स्वतंत्र रूप से परिभाषित किया जाता है, और केवल स्थानीय रूप से भी परिभाषित किया जाता है: यह कोई एक-रूप है जिसमे <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> पर है 

{| role="presentation" class="wikitable mw-collapsible mw-collapsed"
| '''Proof.'''
|-
|
For a chart <math>(\{q^i\}^n_{i=1},U)</math> on <math>Q</math> (where <math>U \subseteq \R^n),</math> let <math>\{p_i,q^i\}^n_{i=1}</math> be the coordinates on <math>T^*Q,</math> where the fiber coordinates <math>\{p_i\}^n_{i=1}</math> are associated with the linear basis <math>\{dq^i\}^n_{i=1}.</math> By assumption, for every <math>{\mathbf q}=(q^1,\ldots,q^n) \in U,</math>
<math display=block>\beta({\mathbf q}) = \sum^n_{i=1} \beta_i(\mathbf{q})\,dq^i,</math>
or
<math display=block>\mathbf{q}=(q^1,\ldots,q^n)\ \stackrel{\beta}{\to}\ (\underbrace{q^1,\ldots,q^n}_{\mathbf{q}},\underbrace{\beta_1(\mathbf{q}),\ldots,\beta_n(\mathbf{q}}_{\mathbf{p}})).</math>
It follows that
<math display=block>\beta_*\left(\frac{\partial}{\partial q^i}\Biggl|_\mathbf{q}\right) =
\frac{\partial}{\partial q^i} \Biggl|_{\beta(\mathbf{q})}
+ \sum^n_{j=1}\frac{\partial \beta_j}{\partial q^i}\Biggl|_{\mathbf{q}} \cdot \frac{\partial}{\partial p_j}\Biggl|_{\beta(\mathbf{q})}</math>
which implies that
<math display=block>(\beta^*\,dq^i)\left({\partial/\partial q^j}\right)_\mathbf{q}=dq^i\left[\beta_*\left({\partial/\partial q^j}\right)_\mathbf{q}\right] =
\delta_{ij}.</math>

'''Step 1.''' We have
<math display=block>\begin{align}
(\beta^*\theta)\left(\partial / \partial q^i\right)_\mathbf{q}
&= \theta\left( \beta_*\left(\partial/\partial q^i\right)_\mathbf{q}\right) = \left(\sum^{n}_{j=1}p_jdq^j\right)\left(\beta_*\left(\partial/\partial q^i\right)_\mathbf{q}\right) \\
&= \beta_i(\mathbf{q}) = \beta\left(\partial/\partial q^i\right)_\mathbf{q}.
\end{align}</math>

'''Step 1'.''' For completeness, we now give a coordinate-free proof that <math>\beta^*\theta = \beta,</math> for any 1-form <math>\beta.</math>

Observe that, intuitively speaking, for every <math>q \in Q</math> and <math>p \in T^*_qQ,</math> the linear map <math>d\pi_{(q,p)}</math> in the definition of <math> \theta </math> projects the tangent space <math>T_{(q,p)}T^*Q</math> onto its subspace <math>T_qQ.</math> As a consequence, for every <math>q \in Q</math> and <math>v \in T_qQ,</math>
<math display=block>d\pi_{\beta(q)}(\beta_{*q} v) = v,</math>
where <math>\beta_{*q}</math> is the instance of <math>\beta_*</math> at the point <math>q \in Q,</math> that is,
<math display=block>\beta_{*q} : T_qQ \to T_{\beta(q)}T^*Q.</math>
Applying the coordinate-free definition of <math>\theta</math> to <math>\theta_{\beta(q)},</math> obtain
<math display=block>(\beta^*\theta)_qv=\theta_{\beta(q)}(\beta_{*q}v) = \beta(q)(d\pi_{\beta(q)}(\beta_{*q} v)) = \beta(q) v.</math>

'''Step 2.''' It is enough to show that <math>\alpha=0</math> if <math>\beta^*\alpha = 0,</math> for every one-form <math>\beta.</math> Let
<math display=block>\alpha = \sum^n_{i=1} \alpha_{q^i}(\mathbf{p},\mathbf{q})\,dq^i + \sum^n_{i=1} \alpha_{p_i}(\mathbf{p},\mathbf{q})\,dp_i,</math>
where <math>\alpha_{p^i},\alpha_{q^i} \in C^\infty(\R^n \times U,\R).</math>

Substituting <math>v = \left(\partial / \partial q_i\right)_{\mathbf q}</math> into the identity <math>\alpha(\beta_*v) = 0</math> obtain
<math display="block">\alpha(\partial / \partial q^i)_{\beta(\mathbf q)} + \sum^n_{j=1}(\partial \beta_j / \partial q^i)_{\mathbf{q}}\cdot \alpha(\partial / \partial p_j)_{\beta(\mathbf{q})} = 0,</math>
or equivalently, for any choice of <math>n</math> functions <math>p_i = \beta_i(\mathbf{q}),</math>
<math display="block">\alpha_{q^i}(\mathbf{p},\mathbf{q}) + \sum^n_{j=1} \partial p_j / \partial q^i \cdot \alpha_{p_j}(\mathbf{p},\mathbf{q}) = 0.</math>
Let <math>\beta = \sum^n_{j=1} c_jdq^j,</math> where <math>c_j=\text{const}.</math> In this case, <math>\beta_j = c_j.</math> For every <math>\mathbf{q} \in U</math> and <math>c_j \in \R,</math>
<math display="block">\alpha_{q^i}(\mathbf{p},\mathbf{q})\bigl|_{j=1\ldots n}^{p_j=c_j} = 0.</math>
This shows that <math>\alpha_{q^i}(\mathbf{p},\mathbf{q}) = 0</math> on <math>\R^n \times U,</math> and the identity
<math display="block">\sum^n_{j=1} \partial p_j / \partial q^i \cdot \alpha_{p_j}(\mathbf{p},\mathbf{q}) = 0
</math>
must hold for an arbitrary choice of functions <math>p_i=\beta_i(\mathbf{q}).</math> If <math>\beta = \sum^n_{j=1}c_jq^jdq^j</math> (with <math>{}^j</math> indicating superscript) then <math>\beta_j = c_jq^j,</math> and the identity becomes
<math display="block">\alpha_{p_i}(\mathbf{p},\mathbf{q})\bigl|_{j=1\ldots n}^{p_j=c_jq^j} = 0,</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>H</math> कोटैंजेंट बंडल पर एक हैमिल्टनियन यांत्रिकी है और <math>X_H</math> इसका [[हैमिल्टनियन वेक्टर फ़ील्ड|हैमिल्टनियन सदिश फ़ील्ड]] है, तो संबंधित [[क्रिया (भौतिकी)]] <math>S</math> द्वारा दिया गया है
<math display=block>S = \theta(X_H).</math>
अधिक व्यावहारिक शब्दों में, हैमिल्टनियन प्रवाह [[गति के हैमिल्टन-जैकोबी समीकरण]] का पालन करने वाले एक यांत्रिक प्रणाली के मौलिक प्रक्षेपवक्र का प्रतिनिधित्व करता है। हैमिल्टनियन प्रवाह हैमिल्टनियन सदिश क्षेत्र का अभिन्न अंग है, और इसलिए कोई [[क्रिया-कोण चर]] के लिए पारंपरिक नोटेशन का उपयोग करते हुए लिखता है:
<math display=block>S(E) = \sum_i \oint p_i\,dq^i</math>

ऊर्जा <math>E</math> स्थिरांक को धारण करके परिभाषित कई गुना पर अभिन्न अंग को समझा जाता है: <math>H=E=\text{const}.</math>।
==रीमैनियन और स्यूडो-रीमैनियन मैनिफोल्ड्स पर==
यदि अनेक गुना <math>Q</math> एक रीमानियन या छद्म-रिमानियन मेट्रिक (गणित) <math>g,</math> है तब [[सामान्यीकृत निर्देशांक]] के संदर्भ में संबंधित परिभाषाएँ बनाई जा सकती हैं। विशेष रूप से, यदि हम मीट्रिक को मानचित्र के रूप में लेते हैं
<math display="block">g : TQ \to T^*Q,</math>
फिर परिभाषित करें
<math display=block>\Theta = g^*\theta</math>
और
 <math display=block>\Omega = -d\Theta = g^*\omega</math>
सामान्यीकृत निर्देशांक में <math>(q^1,\ldots,q^n,\dot q^1,\ldots,\dot q^n)</math> पर <math>TQ,</math> किसी के पास
<math display=block>\Theta = \sum_{ij} g_{ij} \dot q^i dq^j</math>
और
 <math display=block>\Omega = \sum_{ij} g_{ij} \; dq^i \wedge d\dot q^j +
\sum_{ijk} \frac{\partial g_{ij}}{\partial q^k} \; 
\dot q^i\, dq^j \wedge dq^k</math>
मीट्रिक किसी को <math>T^*Q.</math> में एक इकाई-त्रिज्या क्षेत्र को परिभाषित करने की अनुमति देता है। इस क्षेत्र तक सीमित विहित एक-रूप एक संपर्क संरचना बनाता है; इस मीट्रिक के लिए जियोडेसिक प्रवाह उत्पन्न करने के लिए संपर्क संरचना का उपयोग किया जा सकता है।

==संदर्भ==

{{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''.

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



[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023]]