गॉस-कोडैज़ी समीकरण: Difference between revisions
No edit summary |
No edit summary |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 2: | Line 2: | ||
रीमैनियन ज्यामिति और [[स्यूडो-रीमैनियन मैनिफोल्ड]] ज्यामिति में, गॉस-कोडैज़ी समीकरण (जिसे गॉस कोडाज़ी वेनगार्टन मेनार्डी समीकरण या गॉस पीटरसन कोडाज़ी सूत्र भी कहा जाता है)<ref>{{harvtxt|Toponogov|2006}}</ref> मौलिक सूत्र हैं जो एक रिमेंनियन मैनिफोल्ड या स्यूडो-[[ रीमैनियन कई गुना | रीमैनियन कई गुना]] के सबमैनिफोल्ड (या विसर्जन) के प्रेरित मीट्रिक और दूसरे मौलिक रूप को एक साथ जोड़ते हैं। | रीमैनियन ज्यामिति और [[स्यूडो-रीमैनियन मैनिफोल्ड]] ज्यामिति में, गॉस-कोडैज़ी समीकरण (जिसे गॉस कोडाज़ी वेनगार्टन मेनार्डी समीकरण या गॉस पीटरसन कोडाज़ी सूत्र भी कहा जाता है)<ref>{{harvtxt|Toponogov|2006}}</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>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> अब यह | गॉस सूत्र<ref>Terminology from Spivak, Volume III.</ref> अब यह प्रमाणित करता है <math>\nabla_X</math> M के लिए लेवी-सिविटा संयोजन है, और <math>\alpha</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>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> | ||
# | #D<sub>X</sub> सामान्य बंडल में एक [[मीट्रिक संयोजन]] है। | ||
इस प्रकार | इस प्रकार संयोजन की एक जोड़ी है: ∇, 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> | ||
कोडाज़ी मेनार्डी का एक समीकरण यह है, | |||
:<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> | ||
चूंकि प्रत्येक [[विसर्जन (गणित)]] विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं। | चूंकि प्रत्येक [[विसर्जन (गणित)]] विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं। | ||
== गॉस-कोडाज़ी समीकरण | == गॉस-कोडाज़ी समीकरण मौलिक अंतर ज्यामिति में == | ||
=== | === मौलिक समीकरणों का कथन === | ||
सतहों के | सतहों के मौलिक [[अंतर ज्यामिति]] में, कोडाज़ी-मेनर्डी समीकरण दूसरे मौलिक रूप (एल, एम, एन) के माध्यम से व्यक्त किए जाते हैं: | ||
:<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'') पहले मौलिक रूप के घटक हैं। | ||
=== | === मौलिक समीकरणों की व्युत्पत्ति === | ||
यूक्लिडियन 3-स्पेस में [[पैरामीट्रिक सतह]] पर विचार करें, | यूक्लिडियन 3-स्पेस में [[पैरामीट्रिक सतह]] पर विचार करें, | ||
:<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> | ||
जहां तीन घटक कार्य | जहां तीन घटक कार्य ''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> | ||
दूसरे अवकलज की समरूपता | इसी प्रकार दूसरे अवकलज की समरूपता क्लेराट.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> | ||
यदि हम 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 57: | Line 57: | ||
इस समीकरण को पुनर्व्यवस्थित करने से पहला कोडाज़ी-मेनर्डी समीकरण मिलता है। | इस समीकरण को पुनर्व्यवस्थित करने से पहला कोडाज़ी-मेनर्डी समीकरण मिलता है। | ||
दूसरा समीकरण इसी | दूसरा समीकरण इसी प्रकार निकाला जा सकता है। | ||
== औसत वक्रता == | == औसत वक्रता == | ||
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>, 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>, तो बोलने के लिए | विशेष रूप से, यदि M, P की एक अतिसतह है, अर्थात <math>k=1</math>, तो बोलने के लिए मात्र एक माध्य वक्रता है। यदि सभी <math>H_j</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>\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>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> | ||
जहाँ <math>R'</math> और <math>R</math> क्रमशः P और M की अदिश वक्रताएँ हैं, और | |||
:<math>\|h\|^2 = \sum_{i,j=1}^m h(E_i, E_j)^2.</math> | :<math>\|h\|^2 = \sum_{i,j=1}^m h(E_i, E_j)^2.</math> | ||
यदि <math>k>1</math>, अदिश वक्रता समीकरण अधिक जटिल हो सकता है। | |||
कुछ निष्कर्ष निकालने के लिए हम पहले से ही इन समीकरणों का उपयोग कर सकते हैं। उदाहरण के लिए, कोई न्यूनतम विसर्जन<ref>{{harvnb|Takahashi|1966}}</ref> | कुछ निष्कर्ष निकालने के लिए हम पहले से ही इन समीकरणों का उपयोग कर सकते हैं। उदाहरण के लिए, कोई न्यूनतम विसर्जन<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>\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> | ||
M पर लाप्लासियन है, और <math>\lambda > 0</math> एक धनात्मक स्थिरांक है। | |||
== यह भी देखें == | == यह भी देखें == | ||
Line 133: | Line 133: | ||
{{curvature}} | {{curvature}} | ||
{{DEFAULTSORT:Gauss-Codazzi equations}} | {{DEFAULTSORT:Gauss-Codazzi equations}} | ||
[[Category:CS1 maint|Gauss-Codazzi equations]] | |||
[[Category:Collapse templates|Gauss-Codazzi equations]] | |||
[[Category: | [[Category:Created On 20/05/2023|Gauss-Codazzi equations]] | ||
[[Category:Created On 20/05/2023]] | [[Category:Lua-based templates|Gauss-Codazzi equations]] | ||
[[Category:Machine Translated Page|Gauss-Codazzi equations]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Gauss-Codazzi equations]] | |||
[[Category:Pages with script errors|Gauss-Codazzi equations]] | |||
[[Category:Sidebars with styles needing conversion|Gauss-Codazzi equations]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready|Gauss-Codazzi equations]] | |||
[[Category:Templates generating microformats|Gauss-Codazzi equations]] | |||
[[Category:Templates that add a tracking category|Gauss-Codazzi equations]] | |||
[[Category:Templates that are not mobile friendly|Gauss-Codazzi equations]] | |||
[[Category:Templates that generate short descriptions|Gauss-Codazzi equations]] | |||
[[Category:Templates using TemplateData|Gauss-Codazzi equations]] | |||
[[Category:Wikipedia metatemplates|Gauss-Codazzi equations]] | |||
[[Category:रिमानियन ज्यामिति|Gauss-Codazzi equations]] | |||
[[Category:वक्रता (गणित)|Gauss-Codazzi equations]] | |||
[[Category:सतह|Gauss-Codazzi equations]] | |||
[[Category:सतहों की विभेदक ज्यामिति|Gauss-Codazzi equations]] |
Latest revision as of 10:47, 29 May 2023
रीमैनियन ज्यामिति और स्यूडो-रीमैनियन मैनिफोल्ड ज्यामिति में, गॉस-कोडैज़ी समीकरण (जिसे गॉस कोडाज़ी वेनगार्टन मेनार्डी समीकरण या गॉस पीटरसन कोडाज़ी सूत्र भी कहा जाता है)[1] मौलिक सूत्र हैं जो एक रिमेंनियन मैनिफोल्ड या स्यूडो- रीमैनियन कई गुना के सबमैनिफोल्ड (या विसर्जन) के प्रेरित मीट्रिक और दूसरे मौलिक रूप को एक साथ जोड़ते हैं।
समीकरण मूल रूप से त्रि-आयामी यूक्लिडियन समष्टि में सतहों के संदर्भ में खोजे गए थे। इस संदर्भ में, पहला समीकरण, जिसे अधिकांशतः गॉस समीकरण कहा जाता है। (इसके खोजकर्ता कार्ल फ्रेडरिक गॉस के पश्चात), इसी प्रकार कहते है की सतह के गॉस वक्रता, किसी भी बिंदु पर, गॉस मानचित्र के यौगिक द्वारा निर्धारित होती है, जैसा कि इसे दूसरे मौलिक रूप द्वारा एन्कोड किया गया हैं।[2] दूसरा समीकरण, जिसे कोडाज़ी समीकरण या कोडाज़ी मेनर्डी समीकरण कहा जाता है, यह भी कहते है की दूसरे मौलिक रूप का सहसंयोजक व्युत्पन्न पूरी प्रकार से सममित है। इसका नाम गैस्पर मेनार्डी (1856) और डेलफिनो कोडाज़ी (1868-1869) के नाम पर रखा गया था, जिन्होंने स्वतंत्र रूप से परिणाम प्राप्त किया,[3] चूंकि इसकी खोज पहले कार्ल मिखाइलोविच पीटरसन ने की थी।[4][5]
औपचारिक बयान
मान लीजिये आयाम के रिमेंनियन मैनिफोल्ड P के n-आयामी अंतर्निहित सबमैनिफोल्ड बनें, पुशफॉरवर्ड (अवकल) द्वारा M के स्पर्शरेखा बंडल का P में एक प्राकृतिक समावेश है, और कोकर्नेल M का सामान्य बंडल है:
मीट्रिक इस संक्षिप्त उपयुक्त अनुक्रम को विभाजित करता है, और इसी प्रकार
इस बंटवारे के सापेक्ष, लेवी-सिविटा संयोजन P का स्पर्शरेखा और सामान्य घटकों में विघटित होता है। प्रत्येक के लिए और M पर सदिश क्षेत्र Y,
मान लीजिये
गॉस सूत्र[6] अब यह प्रमाणित करता है M के लिए लेवी-सिविटा संयोजन है, और सामान्य बंडल में मूल्यों के साथ एक सममित सदिश-मूल्यवान रूप है। इसे अधिकांशतः दूसरे मौलिक रूप में जाना जाता है।
एक तात्कालिक परिणाम 'वक्रता टेंसर के लिए गॉस समीकरण' है।
जहाँ , P का रीमैन वक्रता टेन्सर है और R, M का वक्रता टेंसर है।
सामान्य बंडल में संयोजन के लिए वेनगार्टन समीकरण गॉस सूत्र का एक एनालॉग है। मान लीजिए कि और एक सामान्य सदिश क्षेत्र है, फिर X के साथ स्पर्शरेखा और सामान्य घटकों में के परिवेश सहसंयोजक व्युत्पन्न को विघटित करें:
जब
- वेनगार्टन समीकरण:
- DX सामान्य बंडल में एक मीट्रिक संयोजन है।
इस प्रकार संयोजन की एक जोड़ी है: ∇, M के स्पर्शरेखा बंडल पर परिभाषित; और D, M के सामान्य बंडल पर परिभाषित ये TM और T⊥M की प्रतियों के किसी भी टेंसर उत्पाद पर एक संयोजन बनाने के लिए गठबंधन करते हैं। विशेष रूप से, उन्होंने के सहपरिवर्ती व्युत्पन्न को परिभाषित किया:
कोडाज़ी मेनार्डी का एक समीकरण यह है,
चूंकि प्रत्येक विसर्जन (गणित) विशेष रूप से एक स्थानीय एम्बेडिंग है, उपरोक्त सूत्र भी विसर्जन के लिए मान्य हैं।
गॉस-कोडाज़ी समीकरण मौलिक अंतर ज्यामिति में
मौलिक समीकरणों का कथन
सतहों के मौलिक अंतर ज्यामिति में, कोडाज़ी-मेनर्डी समीकरण दूसरे मौलिक रूप (एल, एम, एन) के माध्यम से व्यक्त किए जाते हैं:
गॉसियन वक्रता को परिभाषित करने के लिए कोई कैसे चुनता है, इस पर निर्भर करते हुए गॉस सूत्र, एक पुनरुक्ति हो सकता है। इसे इस प्रकार कहा जा सकता है।
जहां (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 पर लाप्लासियन है, और एक धनात्मक स्थिरांक है।
यह भी देखें
टिप्पणियाँ
- ↑ Toponogov (2006)
- ↑ This equation is the basis for Gauss's theorema egregium. Gauss 1828.
- ↑ (Kline 1972, p. 885).
- ↑ Peterson (1853)
- ↑ Ivanov 2001.
- ↑ Terminology from Spivak, Volume III.
- ↑ 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]