हार्मोनिक निर्देशांक: Difference between revisions

Revision as of 02:30, 25 May 2023

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

दो आयामों में, कुछ सुसंगत निर्देशांक जिन्हें समतापी निर्देशांक के रूप में जाना जाता है, जिसका अध्ययन 1800 के प्रारंभ से किया गया है। उच्च आयामों में सुसंगत निर्देशांक प्रारम्भ में अल्बर्ट आइंस्टीन और कॉर्नेलियस लैंक्ज़ोस द्वारा लोरेंट्ज़ियन बहुविध और सामान्य सापेक्षता के संदर्भ में विकसित किए गए थे (सुसंगत समन्वय स्थिति देखें)।^[1] 1981 में डेनिस डे टर्क और जेरी कज़ से के काम के बाद, उन्होंने ज्यामितीय विश्लेषण साहित्य में एक महत्वपूर्ण भूमिका निभानी प्रारम्भ की, हालांकि इदज़ाद सबितोव और एस.जेड. सेफेल ने पांच साल पहले भी यही खोज की थी।^[2]

परिभाषा

मान लीजिये $(M, g)$ एक रीमानी बहुविध आयाम $n$ है। एक का कहना है कि $M$ के एक खुले उपसमुच्चय $U$ पर परिभाषित एक समन्वय लेखाचित्र $(x 1, ..., x n)$ , सुसंगत है यदि प्रत्येक व्यक्ति समन्वय फलन $x i$ $U$ पर एक सुसंगत फलन है अर्थात्, किसी को उसकी आवश्यकता है

\Delta ^{g}x^{i}=0.\,

जहाँ $∆ g$ लाप्लास-बेल्ट्रामी संचालक है। सामान्यतः, समन्वय प्रणाली सुसंगत है यदि और केवल यदि, मानचित्र के रूप में $U \to ℝ n$ निर्देशांक एक सुसंगत मानचित्र हैं। लाप्लास-बेल्ट्रामी संचालक की स्थानीय परिभाषा के साथ एक सीधी संगणना से पता चलता है कि $(x 1, ..., x n)$ एक सुसंगत समन्वय लेखाचित्र है यदि और केवल यदि

\sum _{i=1}^{n}\sum _{j=1}^{n}g^{ij}\Gamma _{ij}^{k}=0{\text{ for all }}k=1,\ldots ,n,

जिसमें $Γ k ij$ दिए गए लेखाचित्र के क्रिस्टोफेल प्रतीक हैं। ^[3] एक निश्चित "पृष्ठभूमि" समन्वय लेखाचित्र $(V, y)$ के सापेक्ष, यूक्लिडियन स्थल के एक खुले उपसमुच्चय पर फलन $x \circ y -1$ के संग्रह के रूप में $(x 1, ..., x n)$ देख सकते हैं। $x$ के सापेक्ष मीट्रिक मापीय को $y$ के सापेक्ष मीट्रिक मापीय से एक स्थानीय गणना द्वारा प्राप्त किया जाता है जो $x \circ y -1$ के पहले व्युत्पादित के साथ होता है, और इसलिए $x$ के सापेक्ष क्रिस्टोफेल प्रतीकों की गणना $x \circ y -1$ के दूसरे व्युत्पादित से की जाती है। इसलिए सुसंगत निर्देशांक की दोनों परिभाषाएँ, जैसा कि ऊपर दिया गया है, समन्वय कार्यों के लिए दूसरे क्रम के आंशिक अंतर समीकरणों के साथ करने का गुणात्मक चरित्र है।

क्रिस्टोफेल प्रतीकों की परिभाषा का उपयोग करते हुए, उपरोक्त सूत्र के बराबर है

2\sum _{i=1}^{n}\sum _{j=1}^{n}g^{ij}{\frac {\partial g_{jk}}{\partial x^{i}}}=\sum _{i=1}^{n}\sum _{j=1}^{n}g^{ij}{\frac {\partial g_{ij}}{\partial x^{k}}}.

अस्तित्व और बुनियादी सिद्धांत

सुसंगत निर्देशांक हमेशा (स्थानीय रूप से) उपस्थित होते हैं, एक परिणाम जो अण्डाकार आंशिक अंतर समीकरणों के अस्तित्व और समाधान की नियमितता पर मानक परिणामों से आसानी से अनुसरण करता है। ^[4] विशेष रूप से, समीकरण $∆ g u j = 0$ के पास किसी दिए गए बिंदु $p$ के आसपास कुछ खुले सम्मुच्चय में विलयन है, यह इस प्रकार है कि $u (p)$ और $du p$ दोनों निर्धारित हैं।

सुसंगत निर्देशांक में मात्रिक से संबंधित बुनियादी नियमितता प्रमेय यह है कि यदि मात्रिक के घटक होल्डर स्थल $C k, α$ में हैं, जब कुछ समन्वय लेखाचित्र में व्यक्त किया जाता है, तो लेखाचित्र की सहजता की परवाह किए बिना, उस समन्वय लेखाचित्र से किसी भी सुसंगत समन्वय लेखाचित्र में परिवर्तन मानचित्र होल्डर स्थल $C k + 1, α$ में होगा। ^[5] विशेष रूप से इसका तात्पर्य है कि मापीय सुसंगत समन्वय लेखाचित्र के सापेक्ष $C k, α$ में भी होगा। ^[6]

जैसा कि पहली बार 1922 में कॉर्नेलियस लैंक्ज़ोस द्वारा खोजा गया था, एक सुसंगत समन्वय लेखाचित्र के सापेक्ष, रिक्की वक्रता द्वारा दिया गया है

R_{ij}=-{\frac {1}{2}}\sum _{a,b=1}^{n}g^{ab}{\frac {\partial ^{2}g_{ij}}{\partial x^{a}\partial x^{b}}}+\partial g\ast \partial g\ast g^{-1}\ast g^{-1}.

इस सूत्र का मूलभूत पहलू यह है कि, किसी भी निश्चित $i$ और $j$ के लिए, दाहिनी ओर का पहला पद एक अण्डाकार संकारक है जो स्थानीय रूप से परिभाषित फलन $g ij$ पर लागू होता है। तो यह दीर्घवृत्तीय नियमितता से स्वचालित है, और विशेष रूप से स्कॉडर का अनुमान है कि यदि $g$ $C 2$ है और $Ric(g)$ $C k, α$ है फिर एक सुसंगत समन्वय लेखाचित्र के सापेक्ष $g$ उसी लेखाचित्र $C k + 2, α$ के सापेक्ष है। ^[7] अधिक सामान्यतः, यदि $g$ $C k, α$ है (साथ $k$ एक से बड़ा) और $Ric(g)$ $C l, α$ है। कुछ समन्वय लेखाचित्र के सापेक्ष, तो सुसंगत समन्वय लेखाचित्र में पारगमन कार्य $C k + 1, α$ होगा, इसलिए $Ric(g)$ $C min(l, k), α$ सुसंगत समन्वय लेखाचित्र में होगा। तो, पिछले परिणाम से, $g$ सुसंगत समन्वय लेखाचित्र में $C min(l, k) + 2, α$ होगा। ^[8]

लैंक्ज़ोस के सूत्र के एक और अनुप्रयोग के रूप में, यह अनुसरण करता है कि आइंस्टीन मात्रिक सुसंगत निर्देशांक में विश्लेषणात्मक कार्य है। ^[9] विशेष रूप से, यह दर्शाता है कि किसी भी आइंस्टीन मात्रिक पर सहज बहुविध स्वचालित रूप से सुसंगत समन्वय लेखाचित्र के संग्रह द्वारा दिए गए बहुविध पर एक विश्लेषणात्मक बहुविध निर्धारित करता है।

उपरोक्त विश्लेषण के कारण, सुसंगत निर्देशांकों पर चर्चा करने में यह रीमैनियन मात्रिक पर विचार करने के लिए मानक है जो कम से कम दो बार-लगातार अलग-अलग हैं। हालांकि, अधिक विदेशी फलन रिक्त स्थान के उपयोग के साथ, सुसंगत निर्देशांक के अस्तित्व और नियमितता पर उपरोक्त परिणाम उन समायोजन तक बढ़ाए जा सकते हैं जहां मात्रिक बहुत शक्तिहीन नियमितता है।^[10]

स्पर्शोन्मुख रूप से समतल स्थानों में सुसंगत निर्देशांक

सुसंगत निर्देशांकों का उपयोग रॉबर्ट बार्टनिक द्वारा स्पर्शोन्मुख रूप से समतल स्पेसटाइम के ज्यामितीय गुणों को समझने के लिए किया गया था। ^[11] मान लीजिए कि किसी के पास एक पूर्ण रीमैनियन मैनिफोल्ड $(M, g)$ है, और एम के एक सघन उपसमुच्चय के साथ-साथ $M ∖ K$ $ℝ n ∖ B R (0)$ तक एक अंतररूपता Φ के साथ है, जैसे कि , सापेक्ष $ℝ n ∖ B R (0)$ ) पर मानक यूक्लिडियन मेट्रिक δ में आइगेनमान हैं जो समान रूप से सकारात्मक संख्याओं से ऊपर और नीचे बंधे हैं, और ऐसा है कि $(Φ * g)(x)$ कुछ सटीक अर्थों में, δ के रूप में अभिसरित होता है, क्योंकि x अनंत की ओर जाता है। इस तरह के एक भिन्नता को अनंत पर एक संरचना के रूप में जाना जाता है या एसिम्प्टोटिक रूप से समतल निर्देशांक के रूप में जाना जाता है .^[12]

बार्टनिक का प्राथमिक परिणाम यह है कि स्पर्शोन्मुख रूप से समतल निर्देशांक (यदि कोई खाली नहीं है) के संग्रह में एक सरल स्पर्शोन्मुख संरचना होती है, जिसमें किसी भी दो स्पर्शोन्मुख रूप से समतल निर्देशांक के बीच संक्रमण कार्य अनुमानित रूप से, अनंत के पास, एक परिशोधित परिवर्तन द्वारा होता है।^[13] यह स्थापित करने में महत्वपूर्ण है कि एक असम्बद्ध रूप से समतल रिमेंनियन बहुविध की एडीएम ऊर्जा एक ज्यामितीय अपरिवर्तनीय है जो असम्बद्ध रूप से समतल निर्देशांक की पसंद पर निर्भर नहीं करती है।^[14]

इस तथ्य को स्थापित करने में महत्वपूर्ण उपकरण स्वेच्छाचारी स्पर्शोन्मुख समतल निर्देशांक का अनुमान $(M, g)$ है स्पर्शोन्मुख रूप से सपाट निर्देशांक द्वारा जो सुसंगत हैं। लाप्लास-बेल्ट्रामी संचालक के लिए फ्रेडहोम के प्रमेय की स्थापना में प्रमुख तकनीकी कार्य है, जब कार्यों के कुछ बनच स्थानों के बीच कार्य करना $M$ जो अनंत पर क्षय होता है। ^[15] फिर, किसी भी असम्बद्ध रूप से समतल निर्देशांक दिए गए हैं $Φ$ , इस तथ्य से कि

\Delta ^{g}\Phi ^{k}=-\sum _{i=1}^{n}\sum _{j=1}^{n}g^{ij}\Gamma _{ij}^{k},

जो अनंत पर क्षय होता है, यह फ्रेडहोम सिद्धांत से अनुसरण करता है कि कार्य $z k$ होते हैं जो अनंत पर $Δ g Φ k = Δ g z k$ इस तरह क्षय होता है, और इसलिए वह $Φ k - z k$ सुसंगत हैं। यह वांछित स्पर्शोन्मुख रूप से सपाट सुसंगत निर्देशांक प्रदान करता है। बार्टनिक का प्राथमिक परिणाम इस तथ्य से आता है कि स्पर्शोन्मुख-क्षय सुसंगत कार्यों का सदिश स्थान $M$ का आयाम $n + 1$ है, जिसका परिणाम है कि कोई भी दो स्पर्शोन्मुख रूप से समतल सुसंगत समन्वय करता है और $M$ सजातीय परिवर्तन से संबंधित हैं। ^[16]

बार्टनिक का काम असम्बद्ध रूप से समतल निर्देशांक के अस्तित्व पर आधारित है। अपने तरीकों के आधार पर, शिगेतोशी बांदो, अत्सुशी कासू, और नाकाजिमा ने दिखाया कि एक बिंदु से दूरी के संदर्भ में वक्रता का क्षय, साथ में बड़ी भूगर्भीय गेंदों की मात्रा के बहुपद विकास और आसानी से जुड़े उनके पूरक के रूप में, स्पर्शोन्मुख रूप से सपाट निर्देशांक के अस्तित्व का तात्पर्य है। ^[17] आवश्यक बिंदु यह है कि उनकी ज्यामितीय धारण पर मानदंड $r$ के इष्टतम मूल्य से मेल खाती है $Q$ सुसंगत निर्देशांक के लिए जिनके कार्यछेत्र त्रिज्या $r$ के भूगर्भीय गेंद हैं। ^[18] एंडरसन के काम से पहले और बाद में विभिन्न लेखकों ने ऐसे सुसंगत त्रिज्या अनुमानों के संस्करण पाए हैं। ^[19] सुसंगत निर्देशांक लेखाचित्र में रिक्की वक्रता के लिए लैंक्ज़ोस सूत्र के लिए, अण्डाकार आंशिक अंतर समीकरणों के मानक तरीकों के माध्यम से, प्रमाण का आवश्यक पहलू विश्लेषण है।^[20]

इसलिए, सुसंगत निर्देशांक के उपयोग से पता चलता है कि रीमैनियन बहुविध को समन्वय लेखाचित्र द्वारा समाविष्ट किया जा सकता है जिसमें रीमैनियन बहुविध के स्थानीय प्रतिनिधित्व केवल रीमैनियन बहुविध के गुणात्मक ज्यामितीय व्यवहार द्वारा नियंत्रित होते हैं। 1970 में जेफ चीगर द्वारा निर्धारित विचारों के बाद, कोई भी रीमैनियन बहुविध के अनुक्रमों पर विचार कर सकता है जो समान रूप से ज्यामितीय रूप से नियंत्रित होते हैं, और निर्देशांक का उपयोग करके, एक सीमा रीमैनियन बहुविध को इकट्ठा कर सकते हैं। ^[21] इस तरह के रिमेंनियन अभिसरण की प्रकृति के कारण, उदाहरण के लिए, यह अनुसरण करता है, कि डिफियोमोर्फिज़्म तक केवल एक दिए गए आयाम के बहुत से सुवाह्य बहुविध होते हैं, जो कि रिकी वक्रता और व्यास पर एक निश्चित सीमा के साथ रिमेंनियन मात्रिक को एक निश्चित सकारात्मक निचले हिस्से के साथ अंतःक्षेप त्रिज्या पर बाध्य ^[22] स्वीकार करते हैं।

सुसंगत त्रिज्या पर इस तरह के अनुमानों का उपयोग ज्यामितीय रूप से नियंत्रित कटऑफ कार्यों के निर्माण के लिए भी किया जाता है, और इसलिए एकता के विभाजन भी किया जाता है। उदाहरण के लिए, स्थानीय रूप से परिभाषित दूसरे आंशिक व्युत्पन्न द्वारा किसी फलन के दूसरे सहसंयोजक व्युत्पन्न को नियंत्रित करने के लिए, मात्रिक के स्थानीय प्रतिनिधित्व के पहले व्युत्पन्न को नियंत्रित करना आवश्यक है। इस तरह के निर्माण ग़ैरसघन रिमेंनियन बहुविध्स पर सोबोलिव रिक्त स्थान के बुनियादी पहलुओं का अध्ययन करने में मौलिक हैं।^[23]

संदर्भ

Footnotes

↑ Einstein 1916; Lanczos 1922.
↑ DeTurck & Kazdan 1981; Sabitov & Šefel 1976.
↑ DeTurck & Kazdan 1981, Lemma 1.1.
↑ Besse 2008, p. 143; Petersen 2016, Lemma 11.2.5.
↑ DeTurck & Kazdan 1981, Lemma 1.2; Besse 2008, Proposition 5.19.
↑ DeTurck & Kazdan 1981, Theorem 2.1.
↑ DeTurck & Kazdan 1981, Theorem 4.5(b); Besse 2008, Theorem 5.20b.
↑ DeTurck & Kazdan 1981, Theorem 4.5(c).
↑ DeTurck & Kazdan 1981, Theorem 5.2; Besse 2008, Theorem 5.26.
↑ Taylor 2000, Sections 3.9 & 3.10.
↑ Bartnik 1986.
↑ Bartnik 1986, Definition 2.1; Lee & Parker 1987, p. 75-76.
↑ Bartnik 1986, Corollary 3.22; Lee & Parker 1987, Theorem 9.5.
↑ Bartnik 1986, Theorem 4.2; Lee & Parker 1987, Theorem 9.6.
↑ Bartnik 1986, Sections 1 & 2; Lee & Parker 1987, Theorem 9.2.
↑ Bartnik 1986, p. 678; Lee & Parker 1987, p. 78.
↑ Bando, Kasue & Nakajima 1989, Theorem 1.1 & Remark 1.8(2).
↑ Petersen 2016, Sections 11.3.1 & 11.3.4.
↑ Hebey 1999, Theorem 1.2; Petersen 2016, Theorem 11.4.15; Sakai 1996, Theorem A6.10.
↑ Anderson 1990, pp. 434–435; Petersen 2016, pp. 427, 429.
↑ Anderson 1990, Lemma 2.1; Petersen 2016, Theorem 11.3.6 and Corollaries 11.3.7 & 11.3.8; Sakai 1996, p. 313.
↑ Anderson 1990, Theorem 1.1; Petersen 2016, Corollary 11.4.4; Sakai 1996, Remark A6.12.
↑ Hebey 1999, Proposition 3.2, Proposition 3.3, Theorem 3.4, Theorem 3.5.

Textbooks

Besse, Arthur L. (1987). Einstein manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Vol. 10. Reprinted in 2008. Berlin: Springer-Verlag. doi:10.1007/978-3-540-74311-8. ISBN 3-540-15279-2. MR 0867684. Zbl 0613.53001.
Hebey, Emmanuel (1999). Nonlinear analysis on manifolds: Sobolev spaces and inequalities. Courant Lecture Notes in Mathematics. Vol. 5. Providence, RI: American Mathematical Society. doi:10.1090/cln/005. ISBN 0-9658703-4-0. MR 1688256. Zbl 0981.58006.
Petersen, Peter (2016). Riemannian geometry. Graduate Texts in Mathematics. Vol. 171 (Third edition of 1998 original ed.). Springer, Cham. doi:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001.
Sakai, Takashi (1996). Riemannian geometry. Translations of Mathematical Monographs. Vol. 149. Providence, RI: American Mathematical Society. doi:10.1090/mmono/149. ISBN 0-8218-0284-4. MR 1390760. Zbl 0886.53002.
Taylor, Michael E. (2000). Tools for PDE. Pseudodifferential operators, paradifferential operators, and layer potentials. Mathematical Surveys and Monographs. Vol. 81. Providence, RI: American Mathematical Society. doi:10.1090/surv/081. ISBN 0-8218-2633-6. MR 1766415. Zbl 0963.35211.

Articles

Anderson, Michael T. (1990). "Convergence and rigidity of manifolds under Ricci curvature bounds". Inventiones Mathematicae. 102 (2): 429–445. Bibcode:1990InMat.102..429A. doi:10.1007/bf01233434. MR 1074481. S2CID 121062092. Zbl 0711.53038.
Bando, Shigetoshi; Kasue, Atsushi; Nakajima, Hiraku (1989). "On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth". Inventiones Mathematicae. 97 (2): 313–349. Bibcode:1989InMat..97..313B. doi:10.1007/BF01389045. MR 1001844. S2CID 122863673. Zbl 0682.53045.
Bartnik, Robert (1986). "The mass of an asymptotically flat manifold". Communications on Pure and Applied Mathematics. 39 (5): 661–693. CiteSeerX 10.1.1.625.6978. doi:10.1002/cpa.3160390505. ISSN 0010-3640. MR 0849427. Zbl 0598.53045.
— (2021). "The mass of an asymptotically flat manifold". In Chruściel, Piotr T.; Isenberg, James A.; Yau, Shing-Tung (eds.). Selected works of Robert A. Bartnik. Somerville, MA: International Press. pp. 661–693. ISBN 978-1-57146-397-5. MR 4362675. Zbl 1464.53042.
DeTurck, Dennis M.; Kazdan, Jerry L. (1981). "Some regularity theorems in Riemannian geometry". Annales Scientifiques de l'École Normale Supérieure. Quatrième Série. 14 (3): 249–260. doi:10.24033/asens.1405. MR 0644518. Zbl 0486.53014.
Einstein, A. (1916). "Näherungsweise Integration der Feldgleichungen der Gravitation" (PDF). Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften: 688–696. doi:10.1002/3527608958.ch7. ISBN 9783527406098. JFM 46.1293.02.
— (1997). "Approximative integration of the field equations of gravitation". The collected papers of Albert Einstein. Vol. 6. The Berlin years: writings, 1914–1917. Translated by Engel, Alfred. Princeton, NJ: Princeton University Press. pp. 201–210. ISBN 0-691-01734-4. MR 1492181. Zbl 0979.01031.
Lanczos, Kornel (1922). "Ein vereinfachendes Koordinatensystem für Einsteinschen Gravitationsgleichungen". Physikalische Zeitschrift. 23: 537–539. JFM 48.1023.01.
Lee, John M.; Parker, Thomas H. (1987). "The Yamabe problem". Bulletin of the American Mathematical Society. New Series. 17 (1): 37–91. doi:10.1090/s0273-0979-1987-15514-5. MR 0888880. Zbl 0633.53062.
Sabitov, I. H.; Šefel, S. Z. (1976). "Connections between the order of smoothness of a surface and that of its metric". Siberian Mathematical Journal. 17 (4): 916–925. doi:10.1007/bf00971679. MR 0425855. S2CID 120917151. Zbl 0386.53014.

[FOOTNOTEEinstein1916Lanczos1922-1] Einstein 1916; Lanczos 1922.

[FOOTNOTEDeTurckKazdan1981SabitovŠefel1976-2] DeTurck & Kazdan 1981; Sabitov & Šefel 1976.

[FOOTNOTEDeTurckKazdan1981Lemma_1.1-3] DeTurck & Kazdan 1981, Lemma 1.1.

[FOOTNOTEBesse2008143Petersen2016Lemma_11.2.5-4] Besse 2008, p. 143; Petersen 2016, Lemma 11.2.5.

[FOOTNOTEDeTurckKazdan1981Lemma_1.2Besse2008Proposition_5.19-5] DeTurck & Kazdan 1981, Lemma 1.2; Besse 2008, Proposition 5.19.

[FOOTNOTEDeTurckKazdan1981Theorem_2.1-6] DeTurck & Kazdan 1981, Theorem 2.1.

[FOOTNOTEDeTurckKazdan1981Theorem_4.5(b)Besse2008Theorem_5.20b-7] DeTurck & Kazdan 1981, Theorem 4.5(b); Besse 2008, Theorem 5.20b.

[FOOTNOTEDeTurckKazdan1981Theorem_4.5(c)-8] DeTurck & Kazdan 1981, Theorem 4.5(c).

[FOOTNOTEDeTurckKazdan1981Theorem_5.2Besse2008Theorem_5.26-9] DeTurck & Kazdan 1981, Theorem 5.2; Besse 2008, Theorem 5.26.

[FOOTNOTETaylor2000Sections_3.9_&_3.10-10] Taylor 2000, Sections 3.9 & 3.10.

[FOOTNOTEBartnik1986-11] Bartnik 1986.

[FOOTNOTEBartnik1986Definition_2.1LeeParker198775-76-12] Bartnik 1986, Definition 2.1; Lee & Parker 1987, p. 75-76.

[FOOTNOTEBartnik1986Corollary_3.22LeeParker1987Theorem_9.5-13] Bartnik 1986, Corollary 3.22; Lee & Parker 1987, Theorem 9.5.

[FOOTNOTEBartnik1986Theorem_4.2LeeParker1987Theorem_9.6-14] Bartnik 1986, Theorem 4.2; Lee & Parker 1987, Theorem 9.6.

[FOOTNOTEBartnik1986Sections_1_&_2LeeParker1987Theorem_9.2-15] Bartnik 1986, Sections 1 & 2; Lee & Parker 1987, Theorem 9.2.

[FOOTNOTEBartnik1986678LeeParker198778-16] Bartnik 1986, p. 678; Lee & Parker 1987, p. 78.

[FOOTNOTEBandoKasueNakajima1989Theorem_1.1_&_Remark_1.8(2)-17] Bando, Kasue & Nakajima 1989, Theorem 1.1 & Remark 1.8(2).

[FOOTNOTEPetersen2016Sections_11.3.1_&_11.3.4-18] Petersen 2016, Sections 11.3.1 & 11.3.4.

[FOOTNOTEHebey1999Theorem_1.2Petersen2016Theorem_11.4.15Sakai1996Theorem_A6.10-19] Hebey 1999, Theorem 1.2; Petersen 2016, Theorem 11.4.15; Sakai 1996, Theorem A6.10.

[FOOTNOTEAnderson1990434–435Petersen2016427,_429-20] Anderson 1990, pp. 434–435; Petersen 2016, pp. 427, 429.

[FOOTNOTEAnderson1990Lemma_2.1Petersen2016Theorem_11.3.6_and_Corollaries_11.3.7_&_11.3.8Sakai1996313-21] Anderson 1990, Lemma 2.1; Petersen 2016, Theorem 11.3.6 and Corollaries 11.3.7 & 11.3.8; Sakai 1996, p. 313.

[FOOTNOTEAnderson1990Theorem_1.1Petersen2016Corollary_11.4.4Sakai1996Remark_A6.12-22] Anderson 1990, Theorem 1.1; Petersen 2016, Corollary 11.4.4; Sakai 1996, Remark A6.12.

[FOOTNOTEHebey1999Proposition_3.2,_Proposition_3.3,_Theorem_3.4,_Theorem_3.5-23] Hebey 1999, Proposition 3.2, Proposition 3.3, Theorem 3.4, Theorem 3.5.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

@@ Line 1: / Line 1: @@
-रीमैनियन ज्यामिति में, गणित की एक शाखा, हार्मोनिक निर्देशांक एक चिकनी मैनिफोल्ड पर एक निश्चित प्रकार के [[समन्वय चार्ट]] हैं, जो कई गुना पर [[रिमेंनियन मीट्रिक]] द्वारा निर्धारित होते हैं। वे अपने नियमितता गुणों के कारण [[ज्यामितीय विश्लेषण]] की कई समस्याओं में उपयोगी होते हैं।
+रीमैनियन ज्यामिति में, गणित की एक शाखा, सुसंगत निर्देशांक एक निर्बाध बहुविध पर एक निश्चित प्रकार के [[समन्वय चार्ट|समन्वय लेखाचित्र]] हैं, जो बहुविध पर [[रिमेंनियन मीट्रिक|रिमेंनियन मात्रिक]] द्वारा निर्धारित होते हैं। वे अपने नियमितता गुणों के कारण [[ज्यामितीय विश्लेषण]] की कई समस्याओं में उपयोगी होते हैं।
-दो आयामों में, कुछ हार्मोनिक निर्देशांक जिन्हें आइसोथर्मल निर्देशांक के रूप में जाना जाता है, का अध्ययन 1800 के प्रारंभ से किया गया है। उच्च आयामों में हार्मोनिक निर्देशांक शुरू में [[अल्बर्ट आइंस्टीन]] और [[कॉर्नेलियस लैंक्ज़ोस]] द्वारा [[लोरेंट्ज़ियन कई गुना]] और [[सामान्य सापेक्षता]] के संदर्भ में विकसित किए गए थे (हार्मोनिक समन्वय स्थिति देखें)।{{sfnm|1a1=Einstein|1y=1916|2a1=Lanczos|2y=1922}} 1981 में [[डेनिस डे टर्क]] और [[जेरी कज़ से]] के काम के बाद, उन्होंने ज्यामितीय विश्लेषण साहित्य में एक महत्वपूर्ण भूमिका निभानी शुरू की, हालांकि इदज़ाद सबितोव और एस.जेड. सेफेल ने पांच साल पहले भी यही खोज की थी।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|2a1=Sabitov|2a2=Šefel|2y=1976}}
+दो आयामों में, कुछ सुसंगत निर्देशांक जिन्हें समतापी निर्देशांक के रूप में जाना जाता है, जिसका अध्ययन 1800 के प्रारंभ से किया गया है। उच्च आयामों में सुसंगत निर्देशांक प्रारम्भ में [[अल्बर्ट आइंस्टीन]] और [[कॉर्नेलियस लैंक्ज़ोस]] द्वारा [[लोरेंट्ज़ियन कई गुना|लोरेंट्ज़ियन बहुविध]] और [[सामान्य सापेक्षता]] के संदर्भ में विकसित किए गए थे (सुसंगत समन्वय स्थिति देखें)।{{sfnm|1a1=Einstein|1y=1916|2a1=Lanczos|2y=1922}} 1981 में [[डेनिस डे टर्क]] और [[जेरी कज़ से]] के काम के बाद, उन्होंने ज्यामितीय विश्लेषण साहित्य में एक महत्वपूर्ण भूमिका निभानी प्रारम्भ की, हालांकि इदज़ाद सबितोव और एस.जेड. सेफेल ने पांच साल पहले भी यही खोज की थी।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|2a1=Sabitov|2a2=Šefel|2y=1976}}
 == परिभाषा ==
-होने देना {{math|(''M'', ''g'')}} एक Riemannian कई गुना आयाम हो {{mvar|n}}. एक कहता है कि एक समन्वय चार्ट {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}}, एक खुले उपसमुच्चय पर परिभाषित {{mvar|U}} का {{mvar|M}}, हार्मोनिक है यदि प्रत्येक व्यक्ति समन्वय कार्य करता है {{math|''x''<sup>''i''</sup>}} एक [[हार्मोनिक फ़ंक्शन]] है {{mvar|U}}.{{sfnm|1a1=Besse|1y=2008|1p=143|2a1=Hebey|2y=1999|2p=13|3a1=Petersen|3y=2016|3p=409|4a1=Sakai|4y=1996|4p=313}} अर्थात्, किसी को उसकी आवश्यकता है
+मान लीजिये {{math|(''M'', ''g'')}} एक रीमानी बहुविध आयाम {{mvar|n}} है। एक का कहना है कि {{mvar|M}} के एक खुले उपसमुच्चय {{mvar|U}} पर परिभाषित एक समन्वय लेखाचित्र {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}}, सुसंगत है यदि प्रत्येक व्यक्ति समन्वय फलन {{math|''x''<sup>''i''</sup>}} {{mvar|U}} पर एक सुसंगत फलन है अर्थात्, किसी को उसकी आवश्यकता है
 :<math>\Delta^g x^i = 0.\,</math>
-कहाँ {{math|∆<sup>''g''</sup>}} लाप्लास-बेल्ट्रामी ऑपरेटर है। मामूली रूप से, समन्वय प्रणाली हार्मोनिक है अगर और केवल अगर, मानचित्र के रूप में {{math|''U'' → ℝ<sup>''n''</sup>}}, निर्देशांक एक हार्मोनिक मानचित्र हैं। लाप्लास-बेल्ट्रामी ऑपरेटर की स्थानीय परिभाषा के साथ एक सीधी संगणना से पता चलता है {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} एक हार्मोनिक समन्वय चार्ट है अगर और केवल अगर
+जहाँ {{math|∆<sup>''g''</sup>}} लाप्लास-बेल्ट्रामी संचालक है। सामान्यतः, समन्वय प्रणाली सुसंगत है यदि और केवल यदि, मानचित्र के रूप में {{math|''U'' → ℝ<sup>''n''</sup>}} निर्देशांक एक सुसंगत मानचित्र हैं। लाप्लास-बेल्ट्रामी संचालक की स्थानीय परिभाषा के साथ एक सीधी संगणना से पता चलता है कि {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} एक सुसंगत समन्वय लेखाचित्र है यदि और केवल यदि
 :<math>\sum_{i=1}^n\sum_{j=1}^ng^{ij}\Gamma_{ij}^k = 0\text{ for all }k=1,\ldots,n,</math>
-जिसमें {{math|Γ{{su|b=''ij''|p=''k''}}}} दिए गए चार्ट के क्रिस्टोफेल प्रतीक हैं।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Lemma 1.1}} एक निश्चित पृष्ठभूमि समन्वय चार्ट के सापेक्ष {{math|(''V'', ''y'')}}, कोई देख सकता है {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} कार्यों के संग्रह के रूप में {{math|''x'' ∘ ''y''<sup>−1</sup>}} यूक्लिडियन अंतरिक्ष के एक खुले उपसमुच्चय पर। के सापेक्ष मीट्रिक टेन्सर {{mvar|x}} के सापेक्ष मीट्रिक टेंसर से प्राप्त किया जाता है {{mvar|y}} स्थानीय गणना के पहले डेरिवेटिव के साथ क्या करना है {{math|''x'' ∘ ''y''<sup>−1</sup>}}, और इसलिए इसके सापेक्ष क्रिस्टोफेल प्रतीक {{mvar|x}} के दूसरे डेरिवेटिव से गणना की जाती है {{math|''x'' ∘ ''y''<sup>−1</sup>}}. इसलिए हार्मोनिक निर्देशांक की दोनों परिभाषाएँ, जैसा कि ऊपर दिया गया है, समन्वय कार्यों के लिए दूसरे क्रम के आंशिक अंतर समीकरणों के साथ करने का गुणात्मक चरित्र है।
+जिसमें {{math|Γ{{su|b=''ij''|p=''k''}}}} दिए गए लेखाचित्र के क्रिस्टोफेल प्रतीक हैं। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Lemma 1.1}} एक निश्चित "पृष्ठभूमि" समन्वय लेखाचित्र {{math|(''V'', ''y'')}} के सापेक्ष, यूक्लिडियन स्थल के एक खुले उपसमुच्चय पर फलन {{math|''x'' ∘ ''y''<sup>−1</sup>}} के संग्रह के रूप में {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} देख सकते हैं। {{mvar|x}} के सापेक्ष मीट्रिक मापीय को {{mvar|y}} के सापेक्ष मीट्रिक मापीय से एक स्थानीय गणना द्वारा प्राप्त किया जाता है जो {{math|''x'' ∘ ''y''<sup>−1</sup>}} के पहले व्युत्पादित के साथ होता है, और इसलिए {{mvar|x}} के सापेक्ष क्रिस्टोफेल प्रतीकों की गणना {{math|''x'' ∘ ''y''<sup>−1</sup>}} के दूसरे व्युत्पादित से की जाती है। इसलिए सुसंगत निर्देशांक की दोनों परिभाषाएँ, जैसा कि ऊपर दिया गया है, समन्वय कार्यों के लिए दूसरे क्रम के आंशिक अंतर समीकरणों के साथ करने का गुणात्मक चरित्र है।
 क्रिस्टोफेल प्रतीकों की परिभाषा का उपयोग करते हुए, उपरोक्त सूत्र के बराबर है
@@ Line 15: / Line 15: @@
 == अस्तित्व और बुनियादी सिद्धांत ==
-हार्मोनिक निर्देशांक हमेशा (स्थानीय रूप से) मौजूद होते हैं, एक परिणाम जो [[अण्डाकार आंशिक अंतर समीकरण]]ों के अस्तित्व और समाधान की नियमितता पर मानक परिणामों से आसानी से अनुसरण करता है।{{sfnm|1a1=Besse|1y=2008|1p=143|2a1=Petersen|2y=2016|2loc=Lemma 11.2.5}} विशेष रूप से, समीकरण {{math|∆<sup>''g''</sup>''u''<sup>''j''</sup> {{=}} 0}} के पास किसी दिए गए बिंदु के आसपास कुछ खुले सेट में समाधान है {{mvar|p}}, ऐसा है कि {{math|''u''(''p'')}} और {{math|''du''<sub>''p''</sub>}} दोनों निर्धारित हैं।
+सुसंगत निर्देशांक हमेशा (स्थानीय रूप से) उपस्थित होते हैं, एक परिणाम जो [[अण्डाकार आंशिक अंतर समीकरण]]ों के अस्तित्व और समाधान की नियमितता पर मानक परिणामों से आसानी से अनुसरण करता है। {{sfnm|1a1=Besse|1y=2008|1p=143|2a1=Petersen|2y=2016|2loc=Lemma 11.2.5}} विशेष रूप से, समीकरण {{math|∆<sup>''g''</sup>''u''<sup>''j''</sup> {{=}} 0}} के पास किसी दिए गए बिंदु {{mvar|p}} के आसपास कुछ खुले सम्मुच्चय में विलयन है, यह इस प्रकार है कि {{math|''u''(''p'')}} और {{math|''du''<sub>''p''</sub>}} दोनों निर्धारित हैं।
-हार्मोनिक निर्देशांक में मीट्रिक से संबंधित बुनियादी नियमितता प्रमेय यह है कि यदि मीट्रिक के घटक होल्डर स्पेस में हैं {{math|''C''<sup>''k'', α</sup>}} जब कुछ समन्वय चार्ट में व्यक्त किया जाता है, तो चार्ट की चिकनाई की परवाह किए बिना, एटलस (टोपोलॉजी) # उस समन्वय चार्ट से किसी भी हार्मोनिक समन्वय चार्ट में परिवर्तन मानचित्र होल्डर स्पेस में होगा {{math|''C''<sup>''k'' + 1, α</sup>}}.{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Lemma 1.2|2a1=Besse|2y=2008|2loc=Proposition 5.19}} विशेष रूप से इसका अर्थ है कि मीट्रिक भी अंदर होगी {{math|''C''<sup>''k'', α</sup>}} हार्मोनिक समन्वय चार्ट के सापेक्ष।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 2.1}}
+सुसंगत निर्देशांक में मात्रिक से संबंधित बुनियादी नियमितता प्रमेय यह है कि यदि मात्रिक के घटक होल्डर स्थल {{math|''C''<sup>''k'', α</sup>}} में हैं, जब कुछ समन्वय लेखाचित्र में व्यक्त किया जाता है, तो लेखाचित्र की सहजता की परवाह किए बिना, उस समन्वय लेखाचित्र से किसी भी सुसंगत समन्वय लेखाचित्र में परिवर्तन मानचित्र होल्डर स्थल {{math|''C''<sup>''k'' + 1, α</sup>}} में होगा। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Lemma 1.2|2a1=Besse|2y=2008|2loc=Proposition 5.19}} विशेष रूप से इसका तात्पर्य है कि मापीय सुसंगत समन्वय लेखाचित्र के सापेक्ष {{math|''C''<sup>''k'', α</sup>}} में भी होगा। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 2.1}}
-जैसा कि पहली बार 1922 में कॉर्नेलियस लैंक्ज़ोस द्वारा खोजा गया था, एक हार्मोनिक समन्वय चार्ट के सापेक्ष, रिक्की वक्रता द्वारा दिया गया है
+जैसा कि पहली बार 1922 में कॉर्नेलियस लैंक्ज़ोस द्वारा खोजा गया था, एक सुसंगत समन्वय लेखाचित्र के सापेक्ष, रिक्की वक्रता द्वारा दिया गया है
 :<math>R_{ij}=-\frac{1}{2}\sum_{a,b=1}^n g^{ab}\frac{\partial^2g_{ij}}{\partial x^a\partial x^b}+\partial g\ast\partial g\ast g^{-1}\ast g^{-1}.</math>
-इस सूत्र का मूलभूत पहलू यह है कि, किसी भी निश्चित के लिए {{mvar|i}} और {{mvar|j}}, दाहिनी ओर का पहला पद एक अण्डाकार संकारक है जो स्थानीय रूप से परिभाषित फ़ंक्शन पर लागू होता है {{math|''g''<sub>''ij''</sub>}}. तो यह [[अण्डाकार नियमितता]] से स्वचालित है, और विशेष रूप से स्कॉडर का अनुमान है कि यदि {{mvar|g}} है {{math|''C''<sup>2</sup>}} और {{math|Ric(g)}} है {{math|''C''<sup>''k'', α</sup>}} फिर एक हार्मोनिक समन्वय चार्ट के सापेक्ष {{mvar|g}} है {{math|''C''<sup>''k'' + 2, α</sup>}} उसी चार्ट के सापेक्ष।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 4.5(b)|2a1=Besse|2y=2008|2loc=Theorem 5.20b}} अधिक सामान्यतः, यदि {{mvar|g}} है {{math|''C''<sup>''k'', α</sup>}} (साथ {{mvar|k}} एक से बड़ा) और {{math|Ric(g)}} है {{math|''C''<sup>''l'', α</sup>}} कुछ समन्वय चार्ट के सापेक्ष, तो हार्मोनिक समन्वय चार्ट में संक्रमण कार्य होगा {{math|''C''<sup>''k'' + 1, α</sup>}}, इसलिए {{math|Ric(g)}} होगा {{math|''C''<sup>min(''l'', ''k''), α</sup>}} हार्मोनिक समन्वय चार्ट में। तो, पिछले परिणाम से, {{mvar|g}} होगा {{math|''C''<sup>min(''l'', ''k'') + 2, α</sup>}} हार्मोनिक समन्वय चार्ट में।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 4.5(c)}}
+इस सूत्र का मूलभूत पहलू यह है कि, किसी भी निश्चित {{mvar|i}} और {{mvar|j}} के लिए, दाहिनी ओर का पहला पद एक अण्डाकार संकारक है जो स्थानीय रूप से परिभाषित फलन {{math|''g''<sub>''ij''</sub>}} पर लागू होता है। तो यह [[अण्डाकार नियमितता|दीर्घवृत्तीय नियमितता]] से स्वचालित है, और विशेष रूप से स्कॉडर का अनुमान है कि यदि {{mvar|g}} {{math|''C''<sup>2</sup>}} है और {{math|Ric(g)}} {{math|''C''<sup>''k'', α</sup>}} है फिर एक सुसंगत समन्वय लेखाचित्र के सापेक्ष {{mvar|g}} उसी लेखाचित्र {{math|''C''<sup>''k'' + 2, α</sup>}} के सापेक्ष  है। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 4.5(b)|2a1=Besse|2y=2008|2loc=Theorem 5.20b}} अधिक सामान्यतः, यदि {{mvar|g}} {{math|''C''<sup>''k'', α</sup>}} है (साथ {{mvar|k}} एक से बड़ा) और {{math|Ric(g)}} {{math|''C''<sup>''l'', α</sup>}} है। कुछ समन्वय लेखाचित्र के सापेक्ष, तो सुसंगत समन्वय लेखाचित्र में पारगमन कार्य {{math|''C''<sup>''k'' + 1, α</sup>}} होगा, इसलिए {{math|Ric(g)}} {{math|''C''<sup>min(''l'', ''k''), α</sup>}} सुसंगत समन्वय लेखाचित्र में होगा। तो, पिछले परिणाम से, {{mvar|g}} सुसंगत समन्वय लेखाचित्र में {{math|''C''<sup>min(''l'', ''k'') + 2, α</sup>}} होगा। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 4.5(c)}}
-लैंक्ज़ोस के सूत्र के एक और अनुप्रयोग के रूप में, यह अनुसरण करता है कि [[आइंस्टीन मीट्रिक]] हार्मोनिक निर्देशांक में [[विश्लेषणात्मक कार्य]] है।{{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 5.2|2a1=Besse|2y=2008|2loc=Theorem 5.26}} विशेष रूप से, यह दर्शाता है कि किसी भी आइंस्टीन मेट्रिक पर सहज मैनिफोल्ड स्वचालित रूप से हार्मोनिक समन्वय चार्ट के संग्रह द्वारा दिए गए मैनिफोल्ड पर एक [[ विश्लेषणात्मक कई गुना ]] निर्धारित करता है।
+लैंक्ज़ोस के सूत्र के एक और अनुप्रयोग के रूप में, यह अनुसरण करता है कि [[आइंस्टीन मीट्रिक|आइंस्टीन मात्रिक]] सुसंगत निर्देशांक में [[विश्लेषणात्मक कार्य]] है। {{sfnm|1a1=DeTurck|1a2=Kazdan|1y=1981|1loc=Theorem 5.2|2a1=Besse|2y=2008|2loc=Theorem 5.26}} विशेष रूप से, यह दर्शाता है कि किसी भी आइंस्टीन मात्रिक पर सहज बहुविध स्वचालित रूप से सुसंगत समन्वय लेखाचित्र के संग्रह द्वारा दिए गए बहुविध पर एक [[ विश्लेषणात्मक कई गुना | विश्लेषणात्मक बहुविध]] निर्धारित करता है।
-उपरोक्त विश्लेषण के कारण, हार्मोनिक निर्देशांकों पर चर्चा करने में यह रीमैनियन मेट्रिक्स पर विचार करने के लिए मानक है जो कम से कम दो बार-लगातार अलग-अलग हैं। हालांकि, अधिक विदेशी फ़ंक्शन रिक्त स्थान के उपयोग के साथ, हार्मोनिक निर्देशांक के अस्तित्व और नियमितता पर उपरोक्त परिणाम उन सेटिंग्स तक बढ़ाए जा सकते हैं जहां मीट्रिक बहुत कमजोर नियमितता है।{{sfnm|1a1=Taylor|1y=2000|1loc=Sections 3.9 & 3.10}}
+उपरोक्त विश्लेषण के कारण, सुसंगत निर्देशांकों पर चर्चा करने में यह रीमैनियन मात्रिक पर विचार करने के लिए मानक है जो कम से कम दो बार-लगातार अलग-अलग हैं। हालांकि, अधिक विदेशी फलन रिक्त स्थान के उपयोग के साथ, सुसंगत निर्देशांक के अस्तित्व और नियमितता पर उपरोक्त परिणाम उन समायोजन तक बढ़ाए जा सकते हैं जहां मात्रिक बहुत शक्तिहीन नियमितता है।{{sfnm|1a1=Taylor|1y=2000|1loc=Sections 3.9 & 3.10}}
-== स्पर्शोन्मुख रूप से समतल स्थानों में हार्मोनिक निर्देशांक ==
+== स्पर्शोन्मुख रूप से समतल स्थानों में सुसंगत निर्देशांक ==
-सुरीले निर्देशांकों का उपयोग [[रॉबर्ट बार्टनिक]] द्वारा स्पर्शोन्मुख रूप से फ्लैट स्पेसटाइम के ज्यामितीय गुणों को समझने के लिए किया गया था।{{sfn|Bartnik|1986}} मान लीजिए कि किसी के पास एक पूर्ण रीमैनियन मैनिफोल्ड है {{math|(''M'', ''g'')}}, और यह कि एक कॉम्पैक्ट उपसमुच्चय है {{mvar|K}} का {{mvar|M}} एक साथ एक भिन्नता के साथ {{math|Φ}} से {{math|''M'' ∖ ''K''}} को {{math|ℝ<sup>''n''</sup> ∖ ''B''<sub>''R''</sub>(0)}}, ऐसा है कि {{math|Φ<sup>*</sup>''g''}}, मानक यूक्लिडियन मीट्रिक के सापेक्ष {{math|δ}} पर {{math|ℝ<sup>''n''</sup> ∖ ''B''<sub>''R''</sub>(0)}}, ऐसे eigenvalues हैं जो सकारात्मक संख्याओं के ऊपर और नीचे समान रूप से बंधे हैं, और ऐसा है {{math|(Φ<sup>*</sup>''g'')(''x'')}} कुछ सटीक अर्थों में, को अभिसरण करता है {{math|δ}} जैसा {{mvar|x}} अनंत की ओर जाता है। इस तरह के एक भिन्नता को अनंत पर एक संरचना के रूप में जाना जाता है या एसिम्प्टोटिक रूप से फ्लैट निर्देशांक के रूप में जाना जाता है {{math|(''M'', ''g'')}}.{{sfnm|1a1=Bartnik|1y=1986|1loc=Definition 2.1|2a1=Lee|2a2=Parker|2y=1987|2p=75-76}}
+सुसंगत निर्देशांकों का उपयोग [[रॉबर्ट बार्टनिक]] द्वारा स्पर्शोन्मुख रूप से समतल स्पेसटाइम के ज्यामितीय गुणों को समझने के लिए किया गया था। {{sfn|Bartnik|1986}} मान लीजिए कि किसी के पास एक पूर्ण रीमैनियन मैनिफोल्ड {{math|(''M'', ''g'')}} है, और एम के एक सघन उपसमुच्चय के साथ-साथ {{math|''M'' ∖ ''K''}} {{math|ℝ<sup>''n''</sup> ∖ ''B''<sub>''R''</sub>(0)}} तक एक अंतररूपता Φ के साथ है, जैसे कि , सापेक्ष {{math|ℝ<sup>''n''</sup> ∖ ''B''<sub>''R''</sub>(0)}}) पर मानक यूक्लिडियन मेट्रिक δ में आइगेनमान हैं जो समान रूप से सकारात्मक संख्याओं से ऊपर और नीचे बंधे हैं, और ऐसा है कि {{math|(Φ<sup>*</sup>''g'')(''x'')}} कुछ सटीक अर्थों में, δ के रूप में अभिसरित होता है, क्योंकि x अनंत की ओर जाता है। इस तरह के एक भिन्नता को अनंत पर एक संरचना के रूप में जाना जाता है या एसिम्प्टोटिक रूप से समतल निर्देशांक के रूप में जाना जाता है .{{sfnm|1a1=Bartnik|1y=1986|1loc=Definition 2.1|2a1=Lee|2a2=Parker|2y=1987|2p=75-76}}
-बार्टनिक का प्राथमिक परिणाम यह है कि स्पर्शोन्मुख रूप से फ्लैट निर्देशांक (यदि कोई खाली नहीं है) के संग्रह में एक सरल स्पर्शोन्मुख संरचना होती है, जिसमें किसी भी दो स्पर्शोन्मुख रूप से फ्लैट निर्देशांक के बीच संक्रमण कार्य अनुमानित रूप से, अनंत के पास, एक परिशोधित परिवर्तन द्वारा होता है।{{sfnm|1a1=Bartnik|1y=1986|1loc=Corollary 3.22|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.5}} यह स्थापित करने में महत्वपूर्ण है कि एक असम्बद्ध रूप से फ्लैट रिमेंनियन मैनिफोल्ड की [[एडीएम ऊर्जा]] एक ज्यामितीय अपरिवर्तनीय है जो असम्बद्ध रूप से फ्लैट निर्देशांक की पसंद पर निर्भर नहीं करती है।{{sfnm|1a1=Bartnik|1y=1986|1loc=Theorem 4.2|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.6}}
+बार्टनिक का प्राथमिक परिणाम यह है कि स्पर्शोन्मुख रूप से समतल निर्देशांक (यदि कोई खाली नहीं है) के संग्रह में एक सरल स्पर्शोन्मुख संरचना होती है, जिसमें किसी भी दो स्पर्शोन्मुख रूप से समतल निर्देशांक के बीच संक्रमण कार्य अनुमानित रूप से, अनंत के पास, एक परिशोधित परिवर्तन द्वारा होता है।{{sfnm|1a1=Bartnik|1y=1986|1loc=Corollary 3.22|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.5}} यह स्थापित करने में महत्वपूर्ण है कि एक असम्बद्ध रूप से समतल रिमेंनियन बहुविध की [[एडीएम ऊर्जा]] एक ज्यामितीय अपरिवर्तनीय है जो असम्बद्ध रूप से समतल निर्देशांक की पसंद पर निर्भर नहीं करती है।{{sfnm|1a1=Bartnik|1y=1986|1loc=Theorem 4.2|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.6}}
-इस तथ्य को स्थापित करने में महत्वपूर्ण उपकरण मनमाना स्पर्शोन्मुख फ्लैट निर्देशांक का अनुमान है {{math|(''M'', ''g'')}} स्पर्शोन्मुख रूप से सपाट निर्देशांक द्वारा जो हार्मोनिक हैं। लाप्लास-बेल्ट्रामी ऑपरेटर के लिए फ्रेडहोम के प्रमेय की स्थापना में प्रमुख तकनीकी कार्य है, जब कार्यों के कुछ बनच स्थानों के बीच कार्य करना {{mvar|M}} जो अनंत पर क्षय होता है।{{sfnm|1a1=Bartnik|1y=1986|1loc=Sections 1 & 2|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.2}} फिर, किसी भी असम्बद्ध रूप से फ्लैट निर्देशांक दिए गए हैं {{math|Φ}}, इस तथ्य से कि
+इस तथ्य को स्थापित करने में महत्वपूर्ण उपकरण स्वेच्छाचारी स्पर्शोन्मुख समतल निर्देशांक का अनुमान {{math|(''M'', ''g'')}} है स्पर्शोन्मुख रूप से सपाट निर्देशांक द्वारा जो सुसंगत हैं। लाप्लास-बेल्ट्रामी संचालक के लिए फ्रेडहोम के प्रमेय की स्थापना में प्रमुख तकनीकी कार्य है, जब कार्यों के कुछ बनच स्थानों के बीच कार्य करना {{mvar|M}} जो अनंत पर क्षय होता है। {{sfnm|1a1=Bartnik|1y=1986|1loc=Sections 1 & 2|2a1=Lee|2a2=Parker|2y=1987|2loc=Theorem 9.2}} फिर, किसी भी असम्बद्ध रूप से समतल निर्देशांक दिए गए हैं {{math|Φ}}, इस तथ्य से कि
 :<math>\Delta^g\Phi^k=-\sum_{i=1}^n\sum_{j=1}^n g^{ij}\Gamma_{ij}^k,</math>
-जो अनंत पर क्षय होता है, यह फ्रेडहोम सिद्धांत से अनुसरण करता है कि कार्य होते हैं {{math|''z''<sup>''k''</sup>}} जो अनंत पर इस तरह क्षय होता है {{math|Δ<sup>''g''</sup>Φ<sup>''k''</sup> {{=}} Δ<sup>''g''</sup>''z''<sup>''k''</sup>}}, और इसलिए वह {{math|Φ<sup>''k''</sup> − ''z''<sup>''k''</sup>}} हार्मोनिक हैं। यह वांछित स्पर्शोन्मुख रूप से सपाट हार्मोनिक निर्देशांक प्रदान करता है। बार्टनिक का प्राथमिक परिणाम इस तथ्य से आता है कि स्पर्शोन्मुख-क्षय हार्मोनिक कार्यों का वेक्टर स्थान {{mvar|M}} का आयाम है {{math|''n'' + 1}}, जिसका परिणाम है कि कोई भी दो स्पर्शोन्मुख रूप से फ्लैट हार्मोनिक समन्वय करता है {{mvar|M}} affine परिवर्तन से संबंधित हैं।{{sfnm|1a1=Bartnik|1y=1986|1p=678|2a1=Lee|2a2=Parker|2y=1987|2p=78}}
+जो अनंत पर क्षय होता है, यह फ्रेडहोम सिद्धांत से अनुसरण करता है कि कार्य {{math|''z''<sup>''k''</sup>}} होते हैं  जो अनंत पर {{math|Δ<sup>''g''</sup>Φ<sup>''k''</sup> {{=}} Δ<sup>''g''</sup>''z''<sup>''k''</sup>}} इस तरह क्षय होता है, और इसलिए वह {{math|Φ<sup>''k''</sup> − ''z''<sup>''k''</sup>}} सुसंगत हैं। यह वांछित स्पर्शोन्मुख रूप से सपाट सुसंगत निर्देशांक प्रदान करता है। बार्टनिक का प्राथमिक परिणाम इस तथ्य से आता है कि स्पर्शोन्मुख-क्षय सुसंगत कार्यों का सदिश स्थान {{mvar|M}} का आयाम {{math|''n'' + 1}} है, जिसका परिणाम है कि कोई भी दो स्पर्शोन्मुख रूप से समतल सुसंगत समन्वय करता है और {{mvar|M}} सजातीय परिवर्तन से संबंधित हैं। {{sfnm|1a1=Bartnik|1y=1986|1p=678|2a1=Lee|2a2=Parker|2y=1987|2p=78}}
-बार्टनिक का काम असम्बद्ध रूप से फ्लैट निर्देशांक के अस्तित्व पर आधारित है। अपने तरीकों के आधार पर, शिगेतोशी बांदो, अत्सुशी कासू, और [[नाकाजिमा खोलें]] ने दिखाया कि एक बिंदु से दूरी के संदर्भ में वक्रता का क्षय, साथ में बड़ी भूगर्भीय गेंदों की मात्रा के बहुपद विकास और आसानी से जुड़े | सरल-कनेक्टिविटी उनके पूरक के रूप में, स्पर्शोन्मुख रूप से सपाट निर्देशांक के अस्तित्व का तात्पर्य है।{{sfnm|1a1=Bando|1a2=Kasue|1a3=Nakajima|1y=1989|1loc=Theorem 1.1 & Remark 1.8(2)}} आवश्यक बिंदु यह है कि उनकी ज्यामितीय धारणाएं, नीचे हार्मोनिक त्रिज्या पर चर्चा किए गए कुछ परिणामों के माध्यम से, अनंत के निकट क्षेत्रों पर हार्मोनिक निर्देशांक पर अच्छा नियंत्रण देती हैं। एकता के एक विभाजन के उपयोग से, इन हार्मोनिक निर्देशांकों को एक एकल समन्वय चार्ट बनाने के लिए एक साथ पैच किया जा सकता है, जो कि मुख्य उद्देश्य है।{{sfnm|1a1=Bando|1a2=Kasue|1a3=Nakajima|1y=1989|1pp=324-325}}
+बार्टनिक का काम असम्बद्ध रूप से समतल निर्देशांक के अस्तित्व पर आधारित है। अपने तरीकों के आधार पर, शिगेतोशी बांदो, अत्सुशी कासू, और [[नाकाजिमा खोलें|नाकाजिमा]] ने दिखाया कि एक बिंदु से दूरी के संदर्भ में वक्रता का क्षय, साथ में बड़ी भूगर्भीय गेंदों की मात्रा के बहुपद विकास और आसानी से जुड़े उनके पूरक के रूप में, स्पर्शोन्मुख रूप से सपाट निर्देशांक के अस्तित्व का तात्पर्य है। {{sfnm|1a1=Bando|1a2=Kasue|1a3=Nakajima|1y=1989|1loc=Theorem 1.1 & Remark 1.8(2)}} आवश्यक बिंदु यह है कि उनकी ज्यामितीय धारण पर मानदंड {{mvar|r}} के इष्टतम मूल्य से मेल खाती है {{mvar|Q}} सुसंगत निर्देशांक के लिए जिनके कार्यछेत्र त्रिज्या {{mvar|r}} के भूगर्भीय गेंद हैं। {{sfnm|1a1=Petersen|1y=2016|1loc=Sections 11.3.1 & 11.3.4}} एंडरसन के काम से पहले और बाद में विभिन्न लेखकों ने ऐसे सुसंगत त्रिज्या अनुमानों के संस्करण पाए हैं। {{sfnm|1a1=Hebey|1y=1999|1loc=Theorem 1.2|2a1=Petersen|2y=2016|2loc=Theorem 11.4.15|3a1=Sakai|3y=1996|3loc=Theorem A6.10}} सुसंगत निर्देशांक लेखाचित्र में रिक्की वक्रता के लिए लैंक्ज़ोस सूत्र के लिए, अण्डाकार आंशिक अंतर समीकरणों के मानक तरीकों के माध्यम से, प्रमाण का आवश्यक पहलू विश्लेषण है।{{sfnm|1a1=Anderson|1y=1990|1pp=434-435|2a1=Petersen|2y=2016|2pp=427, 429}}
-== हार्मोनिक त्रिज्या ==
+इसलिए, सुसंगत निर्देशांक के उपयोग से पता चलता है कि रीमैनियन बहुविध को समन्वय लेखाचित्र द्वारा समाविष्ट किया जा सकता है जिसमें रीमैनियन बहुविध के स्थानीय प्रतिनिधित्व केवल रीमैनियन बहुविध के गुणात्मक ज्यामितीय व्यवहार द्वारा नियंत्रित होते हैं। 1970 में [[जेफ चीगर]] द्वारा निर्धारित विचारों के बाद, कोई भी रीमैनियन बहुविध के अनुक्रमों पर विचार कर सकता है जो समान रूप से ज्यामितीय रूप से नियंत्रित होते हैं, और निर्देशांक का उपयोग करके, एक सीमा रीमैनियन बहुविध को इकट्ठा कर सकते हैं। {{sfnm|1a1=Anderson|1y=1990|1loc=Lemma 2.1|2a1=Petersen|2y=2016|2loc=Theorem 11.3.6 and Corollaries 11.3.7 & 11.3.8|3a1=Sakai|3y=1996|3p=313}} इस तरह के रिमेंनियन अभिसरण की प्रकृति के कारण, उदाहरण के लिए, यह अनुसरण करता है, कि डिफियोमोर्फिज़्म तक केवल एक दिए गए आयाम के बहुत से सुवाह्य बहुविध होते हैं, जो कि रिकी वक्रता और व्यास पर एक निश्चित सीमा के साथ रिमेंनियन मात्रिक को एक निश्चित सकारात्मक निचले हिस्से के साथ अंतःक्षेप त्रिज्या पर बाध्य {{sfnm|1a1=Anderson|1y=1990|1loc=Theorem 1.1|2a1=Petersen|2y=2016|2loc=Corollary 11.4.4|3a1=Sakai|3y=1996|3loc=Remark A6.12}} स्वीकार करते हैं।
-माइकल टी. एंडरसन के कारण एक मूलभूत परिणाम यह है कि एक चिकनी रीमैनियन कई गुना, कोई सकारात्मक संख्या दी गई है {{math|α}} 0 और 1 के बीच और कोई सकारात्मक संख्या {{mvar|Q}}, एक संख्या है {{mvar|r}} जिस पर निर्भर करता है {{math|α}}, पर {{mvar|Q}}, रिक्की वक्रता की ऊपरी और निचली सीमा पर, आयाम पर, और इंजेक्शन त्रिज्या के लिए एक सकारात्मक निचली सीमा पर, जैसे कि त्रिज्या की कोई भी भूगर्भीय गेंद {{mvar|r}} हार्मोनिक निर्देशांक का डोमेन है, जिसके सापेक्ष {{math|''C''<sup>1, α</sup>}} का आकार {{mvar|g}} और की एकसमान निकटता {{mvar|g}} यूक्लिडियन मीट्रिक के लिए दोनों द्वारा नियंत्रित किया जाता है {{mvar|Q}}.{{sfnm|1a1=Anderson|1y=1990|1loc=Lemma 2.2|2a1=Hebey|2y=1999|2loc=Definition 1.1 & Theorem 1.2}} इसे मानदंड (गणित) के संदर्भ में भी सुधारा जा सकता है पॉइंटेड रिमैनियन मैनिफोल्ड्स के मानदंड, जहां {{math|''C''<sup>1, α</sup>}}-एक पैमाने पर मानदंड {{mvar|r}} के इष्टतम मूल्य से मेल खाती है {{mvar|Q}} हार्मोनिक निर्देशांक के लिए जिनके डोमेन त्रिज्या के भूगर्भीय गेंद हैं {{mvar|r}}.{{sfnm|1a1=Petersen|1y=2016|1loc=Sections 11.3.1 & 11.3.4}} एंडरसन के काम से पहले और बाद में विभिन्न लेखकों ने ऐसे हार्मोनिक त्रिज्या अनुमानों के संस्करण पाए हैं।{{sfnm|1a1=Hebey|1y=1999|1loc=Theorem 1.2|2a1=Petersen|2y=2016|2loc=Theorem 11.4.15|3a1=Sakai|3y=1996|3loc=Theorem A6.10}} हार्मोनिक निर्देशांक चार्ट में रिक्की वक्रता के लिए लैंक्ज़ोस सूत्र के लिए, अण्डाकार आंशिक अंतर समीकरणों के मानक तरीकों के माध्यम से, प्रमाण का आवश्यक पहलू विश्लेषण है।{{sfnm|1a1=Anderson|1y=1990|1pp=434-435|2a1=Petersen|2y=2016|2pp=427, 429}}
-इसलिए, ढीले ढंग से बोलना, हार्मोनिक निर्देशांक के उपयोग से पता चलता है कि रीमैनियन मैनिफोल्ड्स को समन्वय चार्ट द्वारा कवर किया जा सकता है जिसमें रीमैनियन मैनिफोल्ड के स्थानीय प्रतिनिधित्व केवल रीमैनियन मैनिफोल्ड के गुणात्मक ज्यामितीय व्यवहार द्वारा नियंत्रित होते हैं। 1970 में [[जेफ चीगर]] द्वारा निर्धारित विचारों के बाद, कोई भी रीमैनियन मैनिफोल्ड के अनुक्रमों पर विचार कर सकता है जो समान रूप से ज्यामितीय रूप से नियंत्रित होते हैं, और निर्देशांक का उपयोग करके, एक सीमा रीमैनियन मैनिफोल्ड को इकट्ठा कर सकते हैं।{{sfnm|1a1=Anderson|1y=1990|1loc=Lemma 2.1|2a1=Petersen|2y=2016|2loc=Theorem 11.3.6 and Corollaries 11.3.7 & 11.3.8|3a1=Sakai|3y=1996|3p=313}} इस तरह के रिमेंनियन अभिसरण की प्रकृति के कारण, उदाहरण के लिए, यह अनुसरण करता है, कि डिफियोमोर्फिज़्म तक केवल एक दिए गए आयाम के बहुत से चिकने कई गुना होते हैं, जो कि रिकी वक्रता और व्यास पर एक निश्चित सीमा के साथ रिमेंनियन मेट्रिक्स को एक निश्चित सकारात्मक निचले हिस्से के साथ स्वीकार करते हैं। इंजेक्शन त्रिज्या पर बाध्य।{{sfnm|1a1=Anderson|1y=1990|1loc=Theorem 1.1|2a1=Petersen|2y=2016|2loc=Corollary 11.4.4|3a1=Sakai|3y=1996|3loc=Remark A6.12}}
+सुसंगत त्रिज्या पर इस तरह के अनुमानों का उपयोग ज्यामितीय रूप से नियंत्रित कटऑफ कार्यों के निर्माण के लिए भी किया जाता है, और इसलिए [[एकता के विभाजन]] भी किया जाता है। उदाहरण के लिए, स्थानीय रूप से परिभाषित दूसरे आंशिक व्युत्पन्न द्वारा किसी फलन के दूसरे सहसंयोजक व्युत्पन्न को नियंत्रित करने के लिए, मात्रिक के स्थानीय प्रतिनिधित्व के पहले व्युत्पन्न को नियंत्रित करना आवश्यक है। इस तरह के निर्माण ग़ैरसघन रिमेंनियन बहुविध्स पर सोबोलिव रिक्त स्थान के बुनियादी पहलुओं का अध्ययन करने में मौलिक हैं।{{sfnm|1a1=Hebey|1y=1999|1loc=Proposition 3.2, Proposition 3.3, Theorem 3.4, Theorem 3.5}}
-हार्मोनिक त्रिज्या पर इस तरह के अनुमानों का उपयोग ज्यामितीय रूप से नियंत्रित कटऑफ कार्यों के निर्माण के लिए भी किया जाता है, और इसलिए [[एकता के विभाजन]] भी। उदाहरण के लिए, स्थानीय रूप से परिभाषित दूसरे आंशिक व्युत्पन्न द्वारा किसी फ़ंक्शन के दूसरे सहसंयोजक व्युत्पन्न को नियंत्रित करने के लिए, मीट्रिक के स्थानीय प्रतिनिधित्व के पहले व्युत्पन्न को नियंत्रित करना आवश्यक है। इस तरह के निर्माण नॉनकॉम्पैक्ट रिमेंनियन मैनिफोल्ड्स पर सोबोलिव रिक्त स्थान के बुनियादी पहलुओं का अध्ययन करने में मौलिक हैं।{{sfnm|1a1=Hebey|1y=1999|1loc=Proposition 3.2, Proposition 3.3, Theorem 3.4, Theorem 3.5}}
 ==संदर्भ==

Anonymous

Search

हार्मोनिक निर्देशांक: Difference between revisions

Namespaces

More

Page actions

Revision as of 02:30, 25 May 2023

Contents

परिभाषा

अस्तित्व और बुनियादी सिद्धांत

स्पर्शोन्मुख रूप से समतल स्थानों में सुसंगत निर्देशांक

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

हार्मोनिक निर्देशांक: Difference between revisions

Revision as of 02:30, 25 May 2023

परिभाषा

अस्तित्व और बुनियादी सिद्धांत

स्पर्शोन्मुख रूप से समतल स्थानों में सुसंगत निर्देशांक

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories