हार्मोनिक निर्देशांक
रीमैनियन ज्यामिति में, गणित की एक शाखा, सुसंगत निर्देशांक एक निर्बाध बहुविध पर एक निश्चित प्रकार के समन्वय लेखाचित्र हैं, जो बहुविध पर रिमेंनियन मात्रिक द्वारा निर्धारित होते हैं। वे अपने नियमितता गुणों के कारण ज्यामितीय विश्लेषण की कई समस्याओं में उपयोगी होते हैं।
दो आयामों में, कुछ सुसंगत निर्देशांक जिन्हें समतापी निर्देशांक के रूप में जाना जाता है, जिसका अध्ययन 1800 के प्रारंभ से किया गया है। उच्च आयामों में सुसंगत निर्देशांक प्रारम्भ में अल्बर्ट आइंस्टीन और कॉर्नेलियस लैंक्ज़ोस द्वारा लोरेंट्ज़ियन बहुविध और सामान्य सापेक्षता के संदर्भ में विकसित किए गए थे (सुसंगत समन्वय स्थिति देखें)।[1] 1981 में डेनिस डे टर्क और जेरी कज़ से के काम के बाद, उन्होंने ज्यामितीय विश्लेषण साहित्य में एक महत्वपूर्ण भूमिका निभानी प्रारम्भ की, हालांकि इदज़ाद सबितोव और एस.जेड. सेफेल ने पांच साल पहले भी यही खोज की थी।[2]
परिभाषा
मान लीजिये (M, g) एक रीमानी बहुविध आयाम n है। एक का कहना है कि M के एक खुले उपसमुच्चय U पर परिभाषित एक समन्वय लेखाचित्र (x1, ..., xn), सुसंगत है यदि प्रत्येक व्यक्ति समन्वय फलन xi U पर एक सुसंगत फलन है अर्थात्, किसी को उसकी आवश्यकता है
जहाँ ∆g लाप्लास-बेल्ट्रामी संचालक है। सामान्यतः, समन्वय प्रणाली सुसंगत है यदि और केवल यदि, मानचित्र के रूप में U → ℝn निर्देशांक एक सुसंगत मानचित्र हैं। लाप्लास-बेल्ट्रामी संचालक की स्थानीय परिभाषा के साथ एक सीधी संगणना से पता चलता है कि (x1, ..., xn) एक सुसंगत समन्वय लेखाचित्र है यदि और केवल यदि
जिसमें Γk
ij दिए गए लेखाचित्र के क्रिस्टोफेल प्रतीक हैं। [3] एक निश्चित "पृष्ठभूमि" समन्वय लेखाचित्र (V, y) के सापेक्ष, यूक्लिडियन स्थल के एक खुले उपसमुच्चय पर फलन x ∘ y−1 के संग्रह के रूप में (x1, ..., xn) देख सकते हैं। x के सापेक्ष मीट्रिक मापीय को y के सापेक्ष मीट्रिक मापीय से एक स्थानीय गणना द्वारा प्राप्त किया जाता है जो x ∘ y−1 के पहले व्युत्पादित के साथ होता है, और इसलिए x के सापेक्ष क्रिस्टोफेल प्रतीकों की गणना x ∘ y−1 के दूसरे व्युत्पादित से की जाती है। इसलिए सुसंगत निर्देशांक की दोनों परिभाषाएँ, जैसा कि ऊपर दिया गया है, समन्वय कार्यों के लिए दूसरे क्रम के आंशिक अंतर समीकरणों के साथ करने का गुणात्मक चरित्र है।
क्रिस्टोफेल प्रतीकों की परिभाषा का उपयोग करते हुए, उपरोक्त सूत्र के बराबर है
अस्तित्व और बुनियादी सिद्धांत
सुसंगत निर्देशांक हमेशा (स्थानीय रूप से) उपस्थित होते हैं, एक परिणाम जो अण्डाकार आंशिक अंतर समीकरणों के अस्तित्व और समाधान की नियमितता पर मानक परिणामों से आसानी से अनुसरण करता है। [4] विशेष रूप से, समीकरण ∆guj = 0 के पास किसी दिए गए बिंदु p के आसपास कुछ खुले सम्मुच्चय में विलयन है, यह इस प्रकार है कि u(p) और dup दोनों निर्धारित हैं।
सुसंगत निर्देशांक में मात्रिक से संबंधित बुनियादी नियमितता प्रमेय यह है कि यदि मात्रिक के घटक होल्डर स्थल Ck, α में हैं, जब कुछ समन्वय लेखाचित्र में व्यक्त किया जाता है, तो लेखाचित्र की सहजता की परवाह किए बिना, उस समन्वय लेखाचित्र से किसी भी सुसंगत समन्वय लेखाचित्र में परिवर्तन मानचित्र होल्डर स्थल Ck + 1, α में होगा। [5] विशेष रूप से इसका तात्पर्य है कि मापीय सुसंगत समन्वय लेखाचित्र के सापेक्ष Ck, α में भी होगा। [6]
जैसा कि पहली बार 1922 में कॉर्नेलियस लैंक्ज़ोस द्वारा खोजा गया था, एक सुसंगत समन्वय लेखाचित्र के सापेक्ष, रिक्की वक्रता द्वारा दिया गया है
इस सूत्र का मूलभूत पहलू यह है कि, किसी भी निश्चित i और j के लिए, दाहिनी ओर का पहला पद एक अण्डाकार संकारक है जो स्थानीय रूप से परिभाषित फलन gij पर लागू होता है। तो यह दीर्घवृत्तीय नियमितता से स्वचालित है, और विशेष रूप से स्कॉडर का अनुमान है कि यदि g C2 है और Ric(g) Ck, α है फिर एक सुसंगत समन्वय लेखाचित्र के सापेक्ष g उसी लेखाचित्र Ck + 2, α के सापेक्ष है। [7] अधिक सामान्यतः, यदि g Ck, α है (साथ k एक से बड़ा) और Ric(g) Cl, α है। कुछ समन्वय लेखाचित्र के सापेक्ष, तो सुसंगत समन्वय लेखाचित्र में पारगमन कार्य Ck + 1, α होगा, इसलिए Ric(g) Cmin(l, k), α सुसंगत समन्वय लेखाचित्र में होगा। तो, पिछले परिणाम से, g सुसंगत समन्वय लेखाचित्र में Cmin(l, k) + 2, α होगा। [8]
लैंक्ज़ोस के सूत्र के एक और अनुप्रयोग के रूप में, यह अनुसरण करता है कि आइंस्टीन मात्रिक सुसंगत निर्देशांक में विश्लेषणात्मक कार्य है। [9] विशेष रूप से, यह दर्शाता है कि किसी भी आइंस्टीन मात्रिक पर सहज बहुविध स्वचालित रूप से सुसंगत समन्वय लेखाचित्र के संग्रह द्वारा दिए गए बहुविध पर एक विश्लेषणात्मक बहुविध निर्धारित करता है।
उपरोक्त विश्लेषण के कारण, सुसंगत निर्देशांकों पर चर्चा करने में यह रीमैनियन मात्रिक पर विचार करने के लिए मानक है जो कम से कम दो बार-लगातार अलग-अलग हैं। हालांकि, अधिक विदेशी फलन रिक्त स्थान के उपयोग के साथ, सुसंगत निर्देशांक के अस्तित्व और नियमितता पर उपरोक्त परिणाम उन समायोजन तक बढ़ाए जा सकते हैं जहां मात्रिक बहुत शक्तिहीन नियमितता है।[10]
स्पर्शोन्मुख रूप से समतल स्थानों में सुसंगत निर्देशांक
सुसंगत निर्देशांकों का उपयोग रॉबर्ट बार्टनिक द्वारा स्पर्शोन्मुख रूप से समतल स्पेसटाइम के ज्यामितीय गुणों को समझने के लिए किया गया था। [11] मान लीजिए कि किसी के पास एक पूर्ण रीमैनियन मैनिफोल्ड (M, g) है, और एम के एक सघन उपसमुच्चय के साथ-साथ M ∖ K ℝn ∖ BR(0) तक एक अंतररूपता Φ के साथ है, जैसे कि , सापेक्ष ℝn ∖ BR(0)) पर मानक यूक्लिडियन मेट्रिक δ में आइगेनमान हैं जो समान रूप से सकारात्मक संख्याओं से ऊपर और नीचे बंधे हैं, और ऐसा है कि (Φ*g)(x) कुछ सटीक अर्थों में, δ के रूप में अभिसरित होता है, क्योंकि x अनंत की ओर जाता है। इस तरह के एक भिन्नता को अनंत पर एक संरचना के रूप में जाना जाता है या एसिम्प्टोटिक रूप से समतल निर्देशांक के रूप में जाना जाता है .[12]
बार्टनिक का प्राथमिक परिणाम यह है कि स्पर्शोन्मुख रूप से समतल निर्देशांक (यदि कोई खाली नहीं है) के संग्रह में एक सरल स्पर्शोन्मुख संरचना होती है, जिसमें किसी भी दो स्पर्शोन्मुख रूप से समतल निर्देशांक के बीच संक्रमण कार्य अनुमानित रूप से, अनंत के पास, एक परिशोधित परिवर्तन द्वारा होता है।[13] यह स्थापित करने में महत्वपूर्ण है कि एक असम्बद्ध रूप से समतल रिमेंनियन बहुविध की एडीएम ऊर्जा एक ज्यामितीय अपरिवर्तनीय है जो असम्बद्ध रूप से समतल निर्देशांक की पसंद पर निर्भर नहीं करती है।[14]
इस तथ्य को स्थापित करने में महत्वपूर्ण उपकरण स्वेच्छाचारी स्पर्शोन्मुख समतल निर्देशांक का अनुमान (M, g) है स्पर्शोन्मुख रूप से सपाट निर्देशांक द्वारा जो सुसंगत हैं। लाप्लास-बेल्ट्रामी संचालक के लिए फ्रेडहोम के प्रमेय की स्थापना में प्रमुख तकनीकी कार्य है, जब कार्यों के कुछ बनच स्थानों के बीच कार्य करना M जो अनंत पर क्षय होता है। [15] फिर, किसी भी असम्बद्ध रूप से समतल निर्देशांक दिए गए हैं Φ, इस तथ्य से कि
जो अनंत पर क्षय होता है, यह फ्रेडहोम सिद्धांत से अनुसरण करता है कि कार्य zk होते हैं जो अनंत पर ΔgΦk = Δgzk इस तरह क्षय होता है, और इसलिए वह Φk − zk सुसंगत हैं। यह वांछित स्पर्शोन्मुख रूप से सपाट सुसंगत निर्देशांक प्रदान करता है। बार्टनिक का प्राथमिक परिणाम इस तथ्य से आता है कि स्पर्शोन्मुख-क्षय सुसंगत कार्यों का सदिश स्थान 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.