गॉस-कोडैज़ी समीकरण

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

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

औपचारिक बयान
होने देना $$i \colon M \subset P$$ आयाम के रिमेंनियन मैनिफोल्ड पी के एन-डायमेंशनल एम्बेडेड सबमेनिफोल्ड बनें $$n+p$$. पुशफॉरवर्ड (डिफरेंशियल) द्वारा M के स्पर्शरेखा बंडल का P में एक प्राकृतिक समावेश है, और cokernel M का सामान्य बंडल है:
 * $$0 \rightarrow T_xM \rightarrow T_xP|_M \rightarrow T_x^\perp M \rightarrow 0.$$

मीट्रिक इस संक्षिप्त सटीक अनुक्रम को विभाजित करता है, और इसी तरह
 * $$TP|_M = TM\oplus T^\perp M.$$

इस बंटवारे के सापेक्ष, लेवी-Civita कनेक्शन $$\nabla'$$ P का स्पर्शरेखा और सामान्य घटकों में विघटित होता है। प्रत्येक के लिए $$X\in TM$$ और M पर सदिश क्षेत्र Y,
 * $$\nabla'_X Y = \top\left(\nabla'_X Y\right) + \bot\left(\nabla'_X Y\right).$$

होने देना
 * $$\nabla_X Y = \top\left(\nabla'_X Y\right),\quad \alpha(X, Y) = \bot\left(\nabla'_X Y\right).$$

गॉस सूत्र अब यह दावा करता है $$\nabla_X$$ एम के लिए लेवी-सिविता कनेक्शन है, और $$\alpha$$ सामान्य बंडल में मूल्यों के साथ एक सममित वेक्टर-मूल्यवान रूप है। इसे अक्सर दूसरे मौलिक रूप के रूप में जाना जाता है।

एक तात्कालिक परिणाम 'वक्रता टेंसर के लिए गॉस समीकरण' है। के लिए $$X, Y, Z, W \in TM$$,
 * $$\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 $$

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

वेनगार्टन समीकरण | 'वीनगार्टन समीकरण' सामान्य बंडल में कनेक्शन के लिए गॉस सूत्र का एक एनालॉग है। होने देना $$X \in TM$$ और $$\xi$$ सामान्य वेक्टर क्षेत्र। फिर के परिवेश सहसंयोजक व्युत्पन्न को विघटित करें $$\xi$$ एक्स के साथ स्पर्शरेखा और सामान्य घटकों में:
 * $$\nabla'_X\xi = \top \left(\nabla'_X\xi\right) + \bot\left(\nabla'_X\xi\right) = -A_\xi(X) + D_X(\xi).$$

तब
 * 1) वेनगार्टन समीकरण: $$\langle A_\xi X, Y\rangle = \langle \alpha(X, Y), \xi\rangle$$
 * 2) डीX सामान्य बंडल में एक मीट्रिक कनेक्शन है।

इस प्रकार कनेक्शन की एक जोड़ी है: ∇, M के स्पर्शरेखा बंडल पर परिभाषित; और डी, एम के सामान्य बंडल पर परिभाषित। ये टीएम और टी की प्रतियों के किसी भी टेंसर उत्पाद पर एक कनेक्शन बनाने के लिए गठबंधन करते हैं⊥एम. विशेष रूप से, उन्होंने सहसंयोजक व्युत्पन्न को परिभाषित किया $$\alpha$$:
 * $$\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).$$

Codazzi-Mainardi समीकरण है
 * $$\bot\left(R'(X, Y)Z\right) = \left(\tilde{\nabla}_X\alpha\right)(Y, Z) - \left(\tilde{\nabla}_Y\alpha\right)(X, Z).$$

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

शास्त्रीय समीकरणों का कथन
सतहों के शास्त्रीय अंतर ज्यामिति में, कोडाज़ी-मेनर्डी समीकरण दूसरे मौलिक रूप (एल, एम, एन) के माध्यम से व्यक्त किए जाते हैं:
 * $$L_v-M_u = L\Gamma^1{}_{12} + M\left({\Gamma^2}_{12} - {\Gamma^1}_{11}\right) - N{\Gamma^2}_{11}$$
 * $$M_v-N_u = L\Gamma^1{}_{22} + M\left({\Gamma^2}_{22} - {\Gamma^1}_{12}\right) - N{\Gamma^2}_{12}$$

गॉसियन वक्रता को परिभाषित करने के लिए कोई कैसे चुनता है, इस पर निर्भर करते हुए गॉस सूत्र, एक पुनरुक्ति (तर्क) हो सकता है। इसे इस प्रकार कहा जा सकता है
 * $$K = \frac{LN - M^2}{eg - f^2},$$

जहां (ई, एफ, जी) पहले मौलिक रूप के घटक हैं।

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


 * $$\mathbf{r}(u,v) = (x(u,v),y(u,v),z(u,v))$$

जहां तीन घटक कार्य यूवी-प्लेन में कुछ खुले डोमेन यू में ऑर्डर किए गए जोड़े (यू, वी) पर सुचारू रूप से निर्भर करते हैं। मान लें कि यह सतह 'नियमित' है, जिसका अर्थ है कि सदिश 'r'u और आरv रैखिक रूप से स्वतंत्र हैं। सदिश समष्टि के आधार पर इसे पूरा करें {ru,आरv,n}, सतह के लिए सामान्य इकाई वेक्टर n का चयन करके। आर के दूसरे आंशिक डेरिवेटिव को व्यक्त करना संभव है (के वैक्टर $$\mathbb{R^3}$$) क्रिस्टोफेल प्रतीकों और दूसरे मौलिक रूप के तत्वों के साथ। हम आधार के पहले दो घटकों को चुनते हैं क्योंकि वे सतह के आंतरिक हैं और गॉसियन वक्रता की आंतरिक संपत्ति को साबित करने का इरादा रखते हैं। आधार में अंतिम शब्द बाह्य है।
 * $$\mathbf{r}_{uu} = {\Gamma^1}_{11} \mathbf{r}_u + {\Gamma^2}_{11} \mathbf{r}_v + L \mathbf{n}$$
 * $$\mathbf{r}_{uv} = {\Gamma^1}_{12} \mathbf{r}_u + {\Gamma^2}_{12} \mathbf{r}_v + M \mathbf{n}$$
 * $$\mathbf{r}_{vv} = {\Gamma^1}_{22} \mathbf{r}_u + {\Gamma^2}_{22} \mathbf{r}_v + N \mathbf{n}$$

दूसरे अवकलज की समरूपता#Clairaut.27s प्रमेय|Clairaut की प्रमेय कहती है कि आंशिक अवकलज कम्यूट करते हैं:
 * $$\left(\mathbf{r}_{uu}\right)_v = \left(\mathbf{r}_{uv}\right)_u$$

अगर हम आर में अंतर करते हैंuu वी और 'आर' के संबंध मेंuv आप के संबंध में, हम प्राप्त करते हैं:


 * $$\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 $$$$ = \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$$

अब उपरोक्त अभिव्यक्तियों को दूसरे डेरिवेटिव के लिए प्रतिस्थापित करें और n के गुणांकों को समान करें:
 * $$ M {\Gamma^1}_{11} + N {\Gamma^2}_{11} + L_v = L {\Gamma^1}_{12} + M {\Gamma^2}_{12} + M_u $$

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

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

औसत वक्रता
एम को (एम + के) -आयामी चिकनी कई गुना पी में विसर्जित एक चिकनी एम-आयामी कई गुना होने दें। चलो $$e_1, e_2, \ldots, e_k$$ एम के लिए सामान्य वेक्टर फ़ील्ड का स्थानीय ऑर्थोनॉर्मल फ्रेम बनें। फिर हम लिख सकते हैं,


 * $$\alpha(X, Y) = \sum_{j=1}^k\alpha_j(X, Y)e_j.$$

अगर, अब, $$E_1, E_2, \ldots, E_m$$ एम के एक ही खुले उपसमुच्चय पर एक स्थानीय ऑर्थोनॉर्मल फ्रेम (स्पर्शरेखा सदिश क्षेत्रों का) है, तो हम विसर्जन के माध्य वक्रता को परिभाषित कर सकते हैं


 * $$H_j=\sum_{i=1}^m\alpha_j(E_i, E_i).$$

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

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

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


 * $$\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). $$

अनुबंध कर रहा है $$Y, Z$$ घटक हमें देते हैं


 * $$\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).$$

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


 * $$\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)$$

कहाँ $$n = e_1,$$ $$h = \alpha_1$$ और $$H = H_1$$. उस स्थिति में, एक और संकुचन उत्पन्न होता है,


 * $$R' = R + 2 \operatorname{Ric}'(n, n) + \|h\|^2 - H^2$$

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


 * $$\|h\|^2 = \sum_{i,j=1}^m h(E_i, E_j)^2.$$

अगर $$k>1$$, अदिश वक्रता समीकरण अधिक जटिल हो सकता है।

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


 * $$\Delta x_j + \lambda x_j = 0$$

कहाँ $$j$$ 1 से चलता है $$m + k + 1$$ और


 * $$\Delta = \sum_{i=1}^m \nabla_{E_i}\nabla_{E_i}$$

एम पर लाप्लास-बेल्ट्रामी ऑपरेटर है, और $$\lambda > 0$$ एक सकारात्मक स्थिरांक है।

यह भी देखें

 * डार्बौक्स फ्रेम

संदर्भ
Historical references Textbooks Articles
 * ("General Discussions about Curved Surfaces")
 * ("General Discussions about Curved Surfaces")
 * ("General Discussions about Curved Surfaces")
 * 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
 * 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
 * Simons, James. Minimal varieties in riemannian manifolds. Ann. of Math. (2) 88 (1968), 62–105.
 * 
 * 
 * 
 * 

बाहरी संबंध

 * Peterson–Mainardi–Codazzi Equations – from Wolfram MathWorld
 * Peterson–Codazzi Equations