गॉस-कोडैज़ी समीकरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 4: Line 4:
समीकरण मूल रूप से त्रि-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समष्टि]] में सतहों के संदर्भ में खोजे गए थे। इस संदर्भ में, पहला समीकरण, जिसे अधिकांशतः गॉस समीकरण कहा जाता है (इसके खोजकर्ता [[कार्ल फ्रेडरिक गॉस]] के पश्चात), कहा जाता है की सतह के [[गॉस वक्रता]], किसी भी बिंदु पर, गॉस मानचित्र के यौगिक द्वारा निर्धारित होती है, जैसा कि इसे दूसरे मौलिक रूप द्वारा एन्कोड किया गया हैं।<ref>This equation is the basis for Gauss's [[theorema egregium]]. {{harvnb|Gauss|1828}}.</ref> दूसरा समीकरण, जिसे कोडाज़ी समीकरण या कोडाज़ी मेनर्डी समीकरण कहा जाता है, यह भी कहा जाता है कि दूसरे मौलिक रूप का सहसंयोजक व्युत्पन्न पूरी प्रकार से सममित है। इसका नाम [[गैस्पर मेनार्डी]] (1856) और [[डेलफिनो कोडाज़ी]] (1868-1869) के नाम पर रखा गया था, जिन्होंने स्वतंत्र रूप से परिणाम प्राप्त किया,<ref>{{harv|Kline|1972|p=885}}.</ref> चूंकि इसकी खोज पहले [[कार्ल मिखाइलोविच पीटरसन]] ने की थी।<ref>{{harvtxt|Peterson|1853}}</ref><ref>{{harvnb|Ivanov|2001}}.</ref>
समीकरण मूल रूप से त्रि-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समष्टि]] में सतहों के संदर्भ में खोजे गए थे। इस संदर्भ में, पहला समीकरण, जिसे अधिकांशतः गॉस समीकरण कहा जाता है (इसके खोजकर्ता [[कार्ल फ्रेडरिक गॉस]] के पश्चात), कहा जाता है की सतह के [[गॉस वक्रता]], किसी भी बिंदु पर, गॉस मानचित्र के यौगिक द्वारा निर्धारित होती है, जैसा कि इसे दूसरे मौलिक रूप द्वारा एन्कोड किया गया हैं।<ref>This equation is the basis for Gauss's [[theorema egregium]]. {{harvnb|Gauss|1828}}.</ref> दूसरा समीकरण, जिसे कोडाज़ी समीकरण या कोडाज़ी मेनर्डी समीकरण कहा जाता है, यह भी कहा जाता है कि दूसरे मौलिक रूप का सहसंयोजक व्युत्पन्न पूरी प्रकार से सममित है। इसका नाम [[गैस्पर मेनार्डी]] (1856) और [[डेलफिनो कोडाज़ी]] (1868-1869) के नाम पर रखा गया था, जिन्होंने स्वतंत्र रूप से परिणाम प्राप्त किया,<ref>{{harv|Kline|1972|p=885}}.</ref> चूंकि इसकी खोज पहले [[कार्ल मिखाइलोविच पीटरसन]] ने की थी।<ref>{{harvtxt|Peterson|1853}}</ref><ref>{{harvnb|Ivanov|2001}}.</ref>
== औपचारिक बयान ==
== औपचारिक बयान ==
मान लीजिये <math>i \colon M \subset P</math> आयाम के रिमेंनियन मैनिफोल्ड पी के एन-डायमेंशनल एम्बेडेड सबमेनिफोल्ड बनें <math>n+p</math>. पुशफॉरवर्ड (डिफरेंशियल) द्वारा M के [[स्पर्शरेखा बंडल]] का P में एक प्राकृतिक समावेश है, और [[cokernel|कोकर्नेल]] M का [[सामान्य बंडल]] है:
मान लीजिये <math>i \colon M \subset P</math> आयाम के रिमेंनियन मैनिफोल्ड P के n-आयामी अंतर्निहित सबमैनिफोल्ड <math>n+p</math> बनें, पुशफॉरवर्ड (अवकल) द्वारा M के [[स्पर्शरेखा बंडल]] का P में एक प्राकृतिक समावेश है, और [[cokernel|कोकर्नेल]] M का [[सामान्य बंडल]] है:
:<math>0 \rightarrow T_xM \rightarrow T_xP|_M \rightarrow T_x^\perp M \rightarrow 0.</math>
:<math>0 \rightarrow T_xM \rightarrow T_xP|_M \rightarrow T_x^\perp M \rightarrow 0.</math>
मीट्रिक इस संक्षिप्त उपयुक्त अनुक्रम को विभाजित करता है, और इसी प्रकार
मीट्रिक इस संक्षिप्त उपयुक्त अनुक्रम को विभाजित करता है, और इसी प्रकार
:<math>TP|_M = TM\oplus T^\perp M.</math>
:<math>TP|_M = TM\oplus T^\perp M.</math>
इस बंटवारे के सापेक्ष, [[लेवी-Civita कनेक्शन|लेवी-सिविटा कनेक्शन]] <math>\nabla'</math> P का स्पर्शरेखा और सामान्य घटकों में विघटित होता है। प्रत्येक के लिए <math>X\in TM</math> और M पर सदिश क्षेत्र Y,
इस बंटवारे के सापेक्ष, [[लेवी-Civita कनेक्शन|लेवी-सिविटा संयोजन]] <math>\nabla'</math> P का स्पर्शरेखा और सामान्य घटकों में विघटित होता है। प्रत्येक के लिए <math>X\in TM</math> और M पर सदिश क्षेत्र Y,
:<math>\nabla'_X Y = \top\left(\nabla'_X Y\right) + \bot\left(\nabla'_X Y\right).</math>
:<math>\nabla'_X Y = \top\left(\nabla'_X Y\right) + \bot\left(\nabla'_X Y\right).</math>
मान लीजिये
मान लीजिये
:<math>\nabla_X Y = \top\left(\nabla'_X Y\right),\quad \alpha(X, Y) = \bot\left(\nabla'_X Y\right).</math>
:<math>\nabla_X Y = \top\left(\nabla'_X Y\right),\quad \alpha(X, Y) = \bot\left(\nabla'_X Y\right).</math>
गॉस सूत्र<ref>Terminology from Spivak, Volume III.</ref> अब यह प्रमाणित करता है <math>\nabla_X</math> एम के लिए लेवी-सिविता कनेक्शन है, और <math>\alpha</math> सामान्य बंडल में मूल्यों के साथ एक सममित [[वेक्टर-मूल्यवान रूप]] है। इसे अधिकांशतः दूसरे मौलिक रूप के रूप में जाना जाता है।
गॉस सूत्र<ref>Terminology from Spivak, Volume III.</ref> अब यह प्रमाणित करता है <math>\nabla_X</math> M के लिए लेवी-सिविटा संयोजन है, और <math>\alpha</math> सामान्य बंडल में मूल्यों के साथ एक सममित [[वेक्टर-मूल्यवान रूप|सदिश-मूल्यवान रूप]] है। इसे अधिकांशतः दूसरे मौलिक रूप में जाना जाता है।


एक तात्कालिक परिणाम 'वक्रता टेंसर के लिए गॉस समीकरण' है। के लिए <math>X, Y, Z, W \in TM</math>,
एक तात्कालिक परिणाम 'वक्रता टेंसर के लिए गॉस समीकरण' <math>X, Y, Z, W \in TM</math> है।
:<math>\langle R'(X, Y)Z, W\rangle = \langle R(X, Y)Z, W\rangle + \langle \alpha(X, Z), \alpha(Y, W)\rangle - \langle \alpha(Y, Z), \alpha(X, W)\rangle </math>
:<math>\langle R'(X, Y)Z, W\rangle = \langle R(X, Y)Z, W\rangle + \langle \alpha(X, Z), \alpha(Y, W)\rangle - \langle \alpha(Y, Z), \alpha(X, W)\rangle </math>
जहाँ <math>R'</math> P का [[रीमैन वक्रता टेन्सर]] है और R, M का है।
जहाँ <math>R'</math>, P का रीमैन वक्रता टेन्सर है और R, M का वक्रता टेंसर है।


वेनगार्टन समीकरण | 'वीनगार्टन समीकरण' सामान्य बंडल में कनेक्शन के लिए गॉस सूत्र का एक एनालॉग है। मान लीजिये <math>X \in TM</math> और <math>\xi</math> सामान्य वेक्टर क्षेत्र। फिर के परिवेश सहसंयोजक व्युत्पन्न को विघटित करें <math>\xi</math> एक्स के साथ स्पर्शरेखा और सामान्य घटकों में:
सामान्य बंडल में संयोजन के लिए वेनगार्टन समीकरण गॉस सूत्र का एक एनालॉग है। मान लीजिए कि <math>X \in TM</math> और <math>\xi</math> एक सामान्य सदिश क्षेत्र है। फिर X के साथ स्पर्शरेखा और सामान्य घटकों में <math>\xi</math> के परिवेश सहसंयोजक व्युत्पन्न को विघटित करें:
:<math>\nabla'_X\xi = \top \left(\nabla'_X\xi\right) + \bot\left(\nabla'_X\xi\right) = -A_\xi(X) + D_X(\xi).</math>
:<math>\nabla'_X\xi = \top \left(\nabla'_X\xi\right) + \bot\left(\nabla'_X\xi\right) = -A_\xi(X) + D_X(\xi).</math>
तब
जब
# वेनगार्टन समीकरण: <math>\langle A_\xi X, Y\rangle = \langle \alpha(X, Y), \xi\rangle</math>
# वेनगार्टन समीकरण: <math>\langle A_\xi X, Y\rangle = \langle \alpha(X, Y), \xi\rangle</math>
# डी<sub>X</sub> सामान्य बंडल में एक [[मीट्रिक कनेक्शन]] है।
#D<sub>X</sub> सामान्य बंडल में एक [[मीट्रिक संयोजन]] है।


इस प्रकार कनेक्शन की एक जोड़ी है: ∇, M के स्पर्शरेखा बंडल पर परिभाषित; और डी, एम के सामान्य बंडल पर परिभाषित। ये टीएम और टी की प्रतियों के किसी भी टेंसर उत्पाद पर एक कनेक्शन बनाने के लिए गठबंधन करते हैं<sup>⊥</sup>एम. विशेष रूप से, उन्होंने सहसंयोजक व्युत्पन्न को परिभाषित किया <math>\alpha</math>:
इस प्रकार संयोजन की एक जोड़ी है: ∇, M के स्पर्शरेखा बंडल पर परिभाषित; और D, M के सामान्य बंडल पर परिभाषित ये T''M'' और T<sup>⊥</sup>''M'' की प्रतियों के किसी भी टेंसर उत्पाद पर एक संयोजन बनाने के लिए गठबंधन करते हैं। विशेष रूप से, उन्होंने <math>\alpha</math> के सहपरिवर्ती व्युत्पन्न को परिभाषित किया:
:<math>\left(\tilde{\nabla}_X \alpha\right)(Y, Z) = D_X\left(\alpha(Y, Z)\right) - \alpha\left(\nabla_X Y, Z\right) - \alpha\left(Y, \nabla_X Z\right).</math>
:<math>\left(\tilde{\nabla}_X \alpha\right)(Y, Z) = D_X\left(\alpha(Y, Z)\right) - \alpha\left(\nabla_X Y, Z\right) - \alpha\left(Y, \nabla_X Z\right).</math>
Codazzi-Mainardi समीकरण है
कोडाज़ी मेनार्डी का एक समीकरण यह है,
:<math>\bot\left(R'(X, Y)Z\right) = \left(\tilde{\nabla}_X\alpha\right)(Y, Z) - \left(\tilde{\nabla}_Y\alpha\right)(X, Z).</math>
:<math>\bot\left(R'(X, Y)Z\right) = \left(\tilde{\nabla}_X\alpha\right)(Y, Z) - \left(\tilde{\nabla}_Y\alpha\right)(X, Z).</math>
चूंकि प्रत्येक [[विसर्जन (गणित)]] विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं।
चूंकि प्रत्येक [[विसर्जन (गणित)]] विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं।
Line 36: Line 36:
:<math>L_v-M_u = L\Gamma^1{}_{12} + M\left({\Gamma^2}_{12} - {\Gamma^1}_{11}\right) - N{\Gamma^2}_{11}</math>
:<math>L_v-M_u = L\Gamma^1{}_{12} + M\left({\Gamma^2}_{12} - {\Gamma^1}_{11}\right) - N{\Gamma^2}_{11}</math>
:<math>M_v-N_u = L\Gamma^1{}_{22} + M\left({\Gamma^2}_{22} - {\Gamma^1}_{12}\right) - N{\Gamma^2}_{12}</math>
:<math>M_v-N_u = L\Gamma^1{}_{22} + M\left({\Gamma^2}_{22} - {\Gamma^1}_{12}\right) - N{\Gamma^2}_{12}</math>
गॉसियन वक्रता को परिभाषित करने के लिए कोई कैसे चुनता है, इस पर निर्भर करते हुए गॉस सूत्र, एक पुनरुक्ति (तर्क) हो सकता है। इसे इस प्रकार कहा जा सकता है
गॉसियन वक्रता को परिभाषित करने के लिए कोई कैसे चुनता है, इस पर निर्भर करते हुए गॉस सूत्र, एक पुनरुक्ति हो सकता है। इसे इस प्रकार कहा जा सकता है।
:<math>K = \frac{LN - M^2}{eg - f^2},</math>
:<math>K = \frac{LN - M^2}{eg - f^2},</math>
जहां (, एफ, जी) पहले मौलिक रूप के घटक हैं।
जहां (''e'', ''f'', ''g'') पहले मौलिक रूप के घटक हैं।


=== मौलिक समीकरणों की व्युत्पत्ति ===
=== मौलिक समीकरणों की व्युत्पत्ति ===
Line 44: Line 44:


:<math>\mathbf{r}(u,v) = (x(u,v),y(u,v),z(u,v))</math>
:<math>\mathbf{r}(u,v) = (x(u,v),y(u,v),z(u,v))</math>
जहां तीन घटक कार्य यूवी-प्लेन में कुछ खुले डोमेन यू में ऑर्डर किए गए जोड़े (यू, वी) पर सुचारू रूप से निर्भर करते हैं। मान लें कि यह सतह 'नियमित' है, जिसका अर्थ है कि सदिश 'r'<sub>''u''</sub> और आर<sub>''v''</sub> [[रैखिक रूप से स्वतंत्र]] हैं। सदिश समष्टि के आधार पर इसे पूरा करें {r<sub>u</sub>,आर<sub>v</sub>,n}, सतह के लिए सामान्य इकाई वेक्टर n का चयन करके। आर के दूसरे आंशिक यौगिक को व्यक्त करना संभव है (के वैक्टर <math>\mathbb{R^3}</math>) क्रिस्टोफेल प्रतीकों और दूसरे मौलिक रूप के तत्वों के साथ। हम आधार के पहले दो घटकों को चुनते हैं क्योंकि वे सतह के आंतरिक हैं और [[गॉसियन वक्रता]] की आंतरिक संपत्ति को सिद्ध करने का इच्छा रखते हैं। आधार में अंतिम शब्द बाह्य है।
जहां तीन घटक कार्य ''uv''-प्लेन में कुछ विवृत डोमेन ''u'' में ऑर्डर किए गए जोड़े (''u,v'') पर सुचारू रूप से निर्भर करते हैं। मान लें कि यह सतह 'नियमित' है, जिसका अर्थ है कि सदिश r<sub>''u''</sub> और r<sub>''v''</sub> [[रैखिक रूप से स्वतंत्र]] हैं। सदिश समष्टि के आधार पर इसे पूरा करें {'''r'''<sub>u</sub>,'''r'''<sub>v</sub>,'''n'''}, सतह के लिए सामान्य इकाई सदिश n का चयन करते है। r के दूसरे आंशिक यौगिक को व्यक्त करना संभव है (<math>\mathbb{R^3}</math> के वैक्टर) क्रिस्टोफेल प्रतीकों और दूसरे मौलिक रूप के तत्वों के साथ हम आधार के पहले दो घटकों को चुनते हैं क्योंकि वे सतह के आंतरिक हैं और [[गॉसियन वक्रता]] की आंतरिक संपत्ति को सिद्ध करने की इच्छा रखते हैं। आधार में अंतिम शब्द बाह्य है।
:<math>\mathbf{r}_{uu} = {\Gamma^1}_{11} \mathbf{r}_u + {\Gamma^2}_{11} \mathbf{r}_v + L \mathbf{n}</math>
:<math>\mathbf{r}_{uu} = {\Gamma^1}_{11} \mathbf{r}_u + {\Gamma^2}_{11} \mathbf{r}_v + L \mathbf{n}</math>
:<math>\mathbf{r}_{uv} = {\Gamma^1}_{12} \mathbf{r}_u + {\Gamma^2}_{12} \mathbf{r}_v + M \mathbf{n}</math>
:<math>\mathbf{r}_{uv} = {\Gamma^1}_{12} \mathbf{r}_u + {\Gamma^2}_{12} \mathbf{r}_v + M \mathbf{n}</math>
:<math>\mathbf{r}_{vv} = {\Gamma^1}_{22} \mathbf{r}_u + {\Gamma^2}_{22} \mathbf{r}_v + N \mathbf{n}</math>
:<math>\mathbf{r}_{vv} = {\Gamma^1}_{22} \mathbf{r}_u + {\Gamma^2}_{22} \mathbf{r}_v + N \mathbf{n}</math>
दूसरे अवकलज की समरूपता Clairaut.27s की प्रमेय कहती है कि आंशिक अवकलज कम्यूट करते हैं:
दूसरे अवकलज की समरूपता क्लेराट.27s के प्रमेय में कहा गया है कि आंशिक यौगिक अभिकलन करते हैं::
:<math>\left(\mathbf{r}_{uu}\right)_v = \left(\mathbf{r}_{uv}\right)_u</math>
:<math>\left(\mathbf{r}_{uu}\right)_v = \left(\mathbf{r}_{uv}\right)_u</math>
यदि हम आर में अंतर करते हैं<sub>uu</sub> वी और 'आर' के संबंध में<sub>uv</sub> आप के संबंध में, हम प्राप्त करते हैं:
यदि हम r<sub>uu</sub> को v के संबंध में और r<sub>uv</sub> के संबंध में अंतर करते हैं, तो हमें मिलता है:


:<math>\left({\Gamma^1}_{11}\right)_v \mathbf{r}_u + {\Gamma^1}_{11} \mathbf{r}_{uv} + \left({\Gamma^2}_{11}\right)_v \mathbf{r}_v + {\Gamma^2}_{11} \mathbf{r}_{vv} + L_v \mathbf{n} + L \mathbf{n}_v </math><math> = \left({\Gamma^1}_{12}\right)_u \mathbf{r}_u + {\Gamma^1}_{12} \mathbf{r}_{uu} + \left(\Gamma_{12}^2\right)_u \mathbf{r}_v + {\Gamma^2}_{12} \mathbf{r}_{uv} + M_u \mathbf{n} + M \mathbf{n}_u</math>
:<math>\left({\Gamma^1}_{11}\right)_v \mathbf{r}_u + {\Gamma^1}_{11} \mathbf{r}_{uv} + \left({\Gamma^2}_{11}\right)_v \mathbf{r}_v + {\Gamma^2}_{11} \mathbf{r}_{vv} + L_v \mathbf{n} + L \mathbf{n}_v </math><math> = \left({\Gamma^1}_{12}\right)_u \mathbf{r}_u + {\Gamma^1}_{12} \mathbf{r}_{uu} + \left(\Gamma_{12}^2\right)_u \mathbf{r}_v + {\Gamma^2}_{12} \mathbf{r}_{uv} + M_u \mathbf{n} + M \mathbf{n}_u</math>
Line 61: Line 61:
== औसत वक्रता ==
== औसत वक्रता ==


एम को (एम + के) -आयामी चिकनी कई गुना पी में विसर्जित एक चिकनी एम-आयामी कई गुना होने दें। चलो <math>e_1, e_2, \ldots, e_k</math> एम के लिए सामान्य वेक्टर फ़ील्ड का स्थानीय ऑर्थोनॉर्मल फ्रेम बनें। फिर हम लिख सकते हैं,
M को (''m'' + ''k'')-आयामी चिकनी कई गुना पी में विसर्जित एक चिकनी m-आयामी कई गुना होने दें, मान लीजिये <math>e_1, e_2, \ldots, e_k</math>, M के लिए सामान्य सदिश क्षेत्र का स्थानीय ऑर्थोनॉर्मल फ्रेम बना है। तब हम लिख सकते हैं,


:<math>\alpha(X, Y) = \sum_{j=1}^k\alpha_j(X, Y)e_j.</math>
:<math>\alpha(X, Y) = \sum_{j=1}^k\alpha_j(X, Y)e_j.</math>
यदि, अब, <math>E_1, E_2, \ldots, E_m</math> एम के एक ही खुले उपसमुच्चय पर एक स्थानीय ऑर्थोनॉर्मल फ्रेम (स्पर्शरेखा सदिश क्षेत्रों का) है, तो हम विसर्जन के माध्य वक्रता को परिभाषित कर सकते हैं
यदि, अब, <math>E_1, E_2, \ldots, E_m</math>, M के समान विवृत उपसमुच्चय पर एक स्थानीय ऑर्थोनॉर्मल फ्रेम (स्पर्शरेखा सदिश क्षेत्रों का) है, तो हम माध्य को विसर्जन की वक्रता द्वारा परिभाषित कर सकते हैं।


:<math>H_j=\sum_{i=1}^m\alpha_j(E_i, E_i).</math>
:<math>H_j=\sum_{i=1}^m\alpha_j(E_i, E_i).</math>
विशेष रूप से, यदि M, P की एक अतिसतह है, अर्थात <math>k=1</math>, तो बोलने के लिए मात्र एक माध्य वक्रता है। विसर्जन को [[न्यूनतम सतह]] कहा जाता है यदि सभी <math>H_j</math> समान रूप से शून्य हैं।
विशेष रूप से, यदि M, P की एक अतिसतह है, अर्थात <math>k=1</math>, तो बोलने के लिए मात्र एक माध्य वक्रता है। यदि सभी <math>H_j</math> समान रूप से शून्य हैं तो विसर्जन को [[न्यूनतम सतह]] कहा जाता है।


ध्यान दें कि औसत वक्रता किसी दिए गए घटक के लिए दूसरे मौलिक रूप का निशान या औसत है। कभी-कभी औसत वक्रता को दायीं ओर के योग को गुणा करके परिभाषित किया जाता है <math>1/m</math>.
ध्यान दें कि औसत वक्रता किसी दिए गए घटक के लिए दूसरे मौलिक रूप का निशान या औसत है। कभी-कभी औसत वक्रता को दायीं ओर के योग को गुणा करके <math>1/m</math> द्वारा परिभाषित किया जाता है।


अब हम गॉस-कोडैज़ी समीकरणों को इस रूप में लिख सकते हैं
अब हम गॉस-कोडैज़ी समीकरणों को इस रूप में लिख सकते हैं।


:<math>\langle R'(X, Y)Z, W \rangle = \langle R(X,Y)Z, W \rangle + \sum_{j=1}^k \left(\alpha_j(X,Z) \alpha_j(Y, W) - \alpha_j(Y, Z) \alpha_j(X, W)\right). </math>
:<math>\langle R'(X, Y)Z, W \rangle = \langle R(X,Y)Z, W \rangle + \sum_{j=1}^k \left(\alpha_j(X,Z) \alpha_j(Y, W) - \alpha_j(Y, Z) \alpha_j(X, W)\right). </math>
अनुबंध कर रहा है <math>Y, Z</math> घटक हमें देते हैं
<math>Y, Z</math> कॉअनुबंध को सिकोड़ने से हमें मिलता है।


:<math>\operatorname{Ric}'(X, W) = \operatorname{Ric}(X,W) + \sum_{j=1}^k \langle R'(X, e_j)e_j, W\rangle +  \sum_{j=1}^k  \left(\sum_{i=1}^m\alpha_j(X, E_i) \alpha_j(E_i, W)- H_j \alpha_j(X, W)\right).</math>
:<math>\operatorname{Ric}'(X, W) = \operatorname{Ric}(X,W) + \sum_{j=1}^k \langle R'(X, e_j)e_j, W\rangle +  \sum_{j=1}^k  \left(\sum_{i=1}^m\alpha_j(X, E_i) \alpha_j(E_i, W)- H_j \alpha_j(X, W)\right).</math>
जब M एक हाइपरसफेस है, तो यह सरल हो जाता है
जब M एक हाइपरसफेस है, तो यह सरल हो जाता है।


:<math>\operatorname{Ric}'(X, W) = \operatorname{Ric}(X, W) + \langle R'(X, n)n, W \rangle + \sum_{i=1}^mh(X, E_i) h(E_i, W) - H h(X, W)</math>
:<math>\operatorname{Ric}'(X, W) = \operatorname{Ric}(X, W) + \langle R'(X, n)n, W \rangle + \sum_{i=1}^mh(X, E_i) h(E_i, W) - H h(X, W)</math>
जहाँ <math>n = e_1,</math> <math>h = \alpha_1</math> और <math>H = H_1</math>. उस स्थिति में, एक और संकुचन उत्पन्न होता है,
जहाँ <math>n = e_1,</math> <math>h = \alpha_1</math> और <math>H = H_1</math>, उस स्थिति में एक और संकुचन उत्पन्न होता है,


:<math>R' = R + 2 \operatorname{Ric}'(n, n) + \|h\|^2 - H^2</math>
:<math>R' = R + 2 \operatorname{Ric}'(n, n) + \|h\|^2 - H^2</math>
Line 88: Line 88:
यदि <math>k>1</math>, अदिश वक्रता समीकरण अधिक जटिल हो सकता है।
यदि <math>k>1</math>, अदिश वक्रता समीकरण अधिक जटिल हो सकता है।


कुछ निष्कर्ष निकालने के लिए हम पहले से ही इन समीकरणों का उपयोग कर सकते हैं। उदाहरण के लिए, कोई न्यूनतम विसर्जन<ref>{{harvnb|Takahashi|1966}}</ref> गोल गोले में <math> x_1^2 + x_2^2 + \cdots + x_{m+k+1}^2 = 1 </math> रूप का होना चाहिए
कुछ निष्कर्ष निकालने के लिए हम पहले से ही इन समीकरणों का उपयोग कर सकते हैं। उदाहरण के लिए, कोई न्यूनतम विसर्जन<ref>{{harvnb|Takahashi|1966}}</ref> गोले में <math> x_1^2 + x_2^2 + \cdots + x_{m+k+1}^2 = 1 </math> रूप का होना चाहिए,


:<math>\Delta x_j + \lambda x_j = 0</math>
:<math>\Delta x_j + \lambda x_j = 0</math>
जहाँ <math>j</math> 1 से चलता है <math>m + k + 1</math> और
जहाँ <math>j</math> 1 से <math>m + k + 1</math> तक चलता है और


:<math>\Delta = \sum_{i=1}^m \nabla_{E_i}\nabla_{E_i}</math>
:<math>\Delta = \sum_{i=1}^m \nabla_{E_i}\nabla_{E_i}</math>
एम पर लाप्लास-बेल्ट्रामी ऑपरेटर है, और <math>\lambda > 0</math> एक सकारात्मक स्थिरांक है।
M पर लाप्लासियन है, और <math>\lambda > 0</math> एक धनात्मक स्थिरांक है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 23:13, 24 May 2023

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

समीकरण मूल रूप से त्रि-आयामी यूक्लिडियन समष्टि में सतहों के संदर्भ में खोजे गए थे। इस संदर्भ में, पहला समीकरण, जिसे अधिकांशतः गॉस समीकरण कहा जाता है (इसके खोजकर्ता कार्ल फ्रेडरिक गॉस के पश्चात), कहा जाता है की सतह के गॉस वक्रता, किसी भी बिंदु पर, गॉस मानचित्र के यौगिक द्वारा निर्धारित होती है, जैसा कि इसे दूसरे मौलिक रूप द्वारा एन्कोड किया गया हैं।[2] दूसरा समीकरण, जिसे कोडाज़ी समीकरण या कोडाज़ी मेनर्डी समीकरण कहा जाता है, यह भी कहा जाता है कि दूसरे मौलिक रूप का सहसंयोजक व्युत्पन्न पूरी प्रकार से सममित है। इसका नाम गैस्पर मेनार्डी (1856) और डेलफिनो कोडाज़ी (1868-1869) के नाम पर रखा गया था, जिन्होंने स्वतंत्र रूप से परिणाम प्राप्त किया,[3] चूंकि इसकी खोज पहले कार्ल मिखाइलोविच पीटरसन ने की थी।[4][5]

औपचारिक बयान

मान लीजिये आयाम के रिमेंनियन मैनिफोल्ड P के n-आयामी अंतर्निहित सबमैनिफोल्ड बनें, पुशफॉरवर्ड (अवकल) द्वारा M के स्पर्शरेखा बंडल का P में एक प्राकृतिक समावेश है, और कोकर्नेल M का सामान्य बंडल है:

मीट्रिक इस संक्षिप्त उपयुक्त अनुक्रम को विभाजित करता है, और इसी प्रकार

इस बंटवारे के सापेक्ष, लेवी-सिविटा संयोजन P का स्पर्शरेखा और सामान्य घटकों में विघटित होता है। प्रत्येक के लिए और M पर सदिश क्षेत्र Y,

मान लीजिये

गॉस सूत्र[6] अब यह प्रमाणित करता है M के लिए लेवी-सिविटा संयोजन है, और सामान्य बंडल में मूल्यों के साथ एक सममित सदिश-मूल्यवान रूप है। इसे अधिकांशतः दूसरे मौलिक रूप में जाना जाता है।

एक तात्कालिक परिणाम 'वक्रता टेंसर के लिए गॉस समीकरण' है।

जहाँ , P का रीमैन वक्रता टेन्सर है और R, M का वक्रता टेंसर है।

सामान्य बंडल में संयोजन के लिए वेनगार्टन समीकरण गॉस सूत्र का एक एनालॉग है। मान लीजिए कि और एक सामान्य सदिश क्षेत्र है। फिर X के साथ स्पर्शरेखा और सामान्य घटकों में के परिवेश सहसंयोजक व्युत्पन्न को विघटित करें:

जब

  1. वेनगार्टन समीकरण:
  2. DX सामान्य बंडल में एक मीट्रिक संयोजन है।

इस प्रकार संयोजन की एक जोड़ी है: ∇, M के स्पर्शरेखा बंडल पर परिभाषित; और D, M के सामान्य बंडल पर परिभाषित ये TM और TM की प्रतियों के किसी भी टेंसर उत्पाद पर एक संयोजन बनाने के लिए गठबंधन करते हैं। विशेष रूप से, उन्होंने के सहपरिवर्ती व्युत्पन्न को परिभाषित किया:

कोडाज़ी मेनार्डी का एक समीकरण यह है,

चूंकि प्रत्येक विसर्जन (गणित) विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं।

गॉस-कोडाज़ी समीकरण मौलिक अंतर ज्यामिति में

मौलिक समीकरणों का कथन

सतहों के मौलिक अंतर ज्यामिति में, कोडाज़ी-मेनर्डी समीकरण दूसरे मौलिक रूप (एल, एम, एन) के माध्यम से व्यक्त किए जाते हैं:

गॉसियन वक्रता को परिभाषित करने के लिए कोई कैसे चुनता है, इस पर निर्भर करते हुए गॉस सूत्र, एक पुनरुक्ति हो सकता है। इसे इस प्रकार कहा जा सकता है।

जहां (e, f, g) पहले मौलिक रूप के घटक हैं।

मौलिक समीकरणों की व्युत्पत्ति

यूक्लिडियन 3-स्पेस में पैरामीट्रिक सतह पर विचार करें,

जहां तीन घटक कार्य uv-प्लेन में कुछ विवृत डोमेन u में ऑर्डर किए गए जोड़े (u,v) पर सुचारू रूप से निर्भर करते हैं। मान लें कि यह सतह 'नियमित' है, जिसका अर्थ है कि सदिश ru और rv रैखिक रूप से स्वतंत्र हैं। सदिश समष्टि के आधार पर इसे पूरा करें {ru,rv,n}, सतह के लिए सामान्य इकाई सदिश n का चयन करते है। r के दूसरे आंशिक यौगिक को व्यक्त करना संभव है ( के वैक्टर) क्रिस्टोफेल प्रतीकों और दूसरे मौलिक रूप के तत्वों के साथ हम आधार के पहले दो घटकों को चुनते हैं क्योंकि वे सतह के आंतरिक हैं और गॉसियन वक्रता की आंतरिक संपत्ति को सिद्ध करने की इच्छा रखते हैं। आधार में अंतिम शब्द बाह्य है।

दूसरे अवकलज की समरूपता क्लेराट.27s के प्रमेय में कहा गया है कि आंशिक यौगिक अभिकलन करते हैं::

यदि हम ruu को v के संबंध में और ruv के संबंध में अंतर करते हैं, तो हमें मिलता है:

अब उपरोक्त अभिव्यक्तियों को दूसरे यौगिक के लिए प्रतिस्थापित करें और n के गुणांकों को समान करें:

इस समीकरण को पुनर्व्यवस्थित करने से पहला कोडाज़ी-मेनर्डी समीकरण मिलता है।

दूसरा समीकरण इसी प्रकार निकाला जा सकता है।

औसत वक्रता

M को (m + k)-आयामी चिकनी कई गुना पी में विसर्जित एक चिकनी m-आयामी कई गुना होने दें, मान लीजिये , M के लिए सामान्य सदिश क्षेत्र का स्थानीय ऑर्थोनॉर्मल फ्रेम बना है। तब हम लिख सकते हैं,

यदि, अब, , M के समान विवृत उपसमुच्चय पर एक स्थानीय ऑर्थोनॉर्मल फ्रेम (स्पर्शरेखा सदिश क्षेत्रों का) है, तो हम माध्य को विसर्जन की वक्रता द्वारा परिभाषित कर सकते हैं।

विशेष रूप से, यदि M, P की एक अतिसतह है, अर्थात , तो बोलने के लिए मात्र एक माध्य वक्रता है। यदि सभी समान रूप से शून्य हैं तो विसर्जन को न्यूनतम सतह कहा जाता है।

ध्यान दें कि औसत वक्रता किसी दिए गए घटक के लिए दूसरे मौलिक रूप का निशान या औसत है। कभी-कभी औसत वक्रता को दायीं ओर के योग को गुणा करके द्वारा परिभाषित किया जाता है।

अब हम गॉस-कोडैज़ी समीकरणों को इस रूप में लिख सकते हैं।

कॉअनुबंध को सिकोड़ने से हमें मिलता है।

जब M एक हाइपरसफेस है, तो यह सरल हो जाता है।

जहाँ और , उस स्थिति में एक और संकुचन उत्पन्न होता है,

जहाँ और क्रमशः P और M की अदिश वक्रताएँ हैं, और

यदि , अदिश वक्रता समीकरण अधिक जटिल हो सकता है।

कुछ निष्कर्ष निकालने के लिए हम पहले से ही इन समीकरणों का उपयोग कर सकते हैं। उदाहरण के लिए, कोई न्यूनतम विसर्जन[7] गोले में रूप का होना चाहिए,

जहाँ 1 से तक चलता है और

M पर लाप्लासियन है, और एक धनात्मक स्थिरांक है।

यह भी देखें

टिप्पणियाँ

  1. Toponogov (2006)
  2. This equation is the basis for Gauss's theorema egregium. Gauss 1828.
  3. (Kline 1972, p. 885).
  4. Peterson (1853)
  5. Ivanov 2001.
  6. Terminology from Spivak, Volume III.
  7. Takahashi 1966


संदर्भ

Historical references

  • Bonnet, Ossian (1867), "Memoire sur la theorie des surfaces applicables sur une surface donnee", Journal de l'École Polytechnique, 25: 31–151
  • Codazzi, Delfino (1868–1869), "Sulle coordinate curvilinee d'una superficie dello spazio", Ann. Mat. Pura Appl., 2: 101–19, doi:10.1007/BF02419605, S2CID 177803350
  • Gauss, Carl Friedrich (1828), "Disquisitiones Generales circa Superficies Curvas" [General Discussions about Curved Surfaces], Comm. Soc. Gott. (in Latin), 6{{citation}}: CS1 maint: unrecognized language (link) ("General Discussions about Curved Surfaces")
  • Ivanov, A.B. (2001) [1994], "Peterson–Codazzi equations", Encyclopedia of Mathematics, EMS Press
  • Kline, Morris (1972), Mathematical Thought from Ancient to Modern Times, Oxford University Press, ISBN 0-19-506137-3
  • Mainardi, Gaspare (1856), "Su la teoria generale delle superficie", Giornale Dell' Istituto Lombardo, 9: 385–404
  • Peterson, Karl Mikhailovich (1853), Über die Biegung der Flächen, Doctoral thesis, Dorpat University.

Textbooks

  • do Carmo, Manfredo P. Differential geometry of curves & surfaces. Revised & updated second edition. Dover Publications, Inc., Mineola, NY, 2016. xvi+510 pp. ISBN 978-0-486-80699-0, 0-486-80699-5
  • do Carmo, Manfredo Perdigão. Riemannian geometry. Translated from the second Portuguese edition by Francis Flaherty. Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 1992. xiv+300 pp. ISBN 0-8176-3490-8
  • Kobayashi, Shoshichi; Nomizu, Katsumi. Foundations of differential geometry. Vol. II. Interscience Tracts in Pure and Applied Mathematics, No. 15 Vol. II Interscience Publishers John Wiley & Sons, Inc., New York-London-Sydney 1969 xv+470 pp.
  • O'Neill, Barrett. Semi-Riemannian geometry. With applications to relativity. Pure and Applied Mathematics, 103. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983. xiii+468 pp. ISBN 0-12-526740-1
  • Toponogov, Victor Andreevich (2006). Differential geometry of curves and surfaces: A concise guide. Boston: Birkhäuser. ISBN 978-0-8176-4384-3.

Articles

  • Takahashi, Tsunero (1966), "Minimal immersions of Riemannian manifolds", Journal of the Mathematical Society of Japan, 18 (4), doi:10.2969/jmsj/01840380, S2CID 122849496
  • Simons, James. Minimal varieties in riemannian manifolds. Ann. of Math. (2) 88 (1968), 62–105.
  • [1]
  • [2]
  • [3]


बाहरी संबंध