सकारात्मक ऊर्जा प्रमेय: Difference between revisions

Revision as of 11:34, 17 April 2023

सकारात्मक ऊर्जा प्रमेय (सकारात्मक द्रव्यमान प्रमेय के रूप में भी जाना जाता है) सामान्य सापेक्षता और अंतर ज्यामिति में आधारभूत परिणामों के संग्रह को संदर्भित करता है। इसका मानक रूप, मोटे तौर पर बोल रहा है, यह दावा करता है कि एक पृथक प्रणाली की गुरुत्वाकर्षण ऊर्जा गैर-नकारात्मक है, और केवल शून्य हो सकती है जब प्रणाली में कोई गुरुत्वाकर्षण वस्तु न हो। हालांकि इन बयानों को अक्सर मुख्य रूप से प्रकृति में भौतिक होने के बारे में सोचा जाता है, उन्हें प्रमेय के रूप में औपचारिक रूप दिया जा सकता है जो अंतर ज्यामिति, आंशिक अंतर समीकरण और ज्यामितीय माप सिद्धांत की तकनीकों का उपयोग करके सिद्ध किया जा सकता है।

1979 और 1981 में रिचर्ड स्कोन और शिंग-तुंग यौ सकारात्मक द्रव्यमान प्रमेय का प्रमाण देने वाले पहले व्यक्ति थे। 1982 में एडवर्ड विटन ने वैकल्पिक प्रमाण की रूपरेखा दी, जिसे बाद में गणितज्ञों ने सख्ती से भर दिया। विटेन और यौ को इस विषय पर उनके काम के लिए आंशिक रूप से गणित में फील्ड मेडल से सम्मानित किया गया।

स्कोएन-यॉ / विटेन सकारात्मक ऊर्जा प्रमेय का अचूक सूत्रीकरण निम्नलिखित बताता है:

असम्बद्ध रूप से सपाट प्रारंभिक डेटा सेट को देखते हुए, प्रत्येक अनंत क्षेत्र की ऊर्जा-गति को मिन्कोव्स्की अंतरिक्ष के एक तत्व के रूप में परिभाषित किया जा सकता है। बशर्ते कि प्रारंभिक डेटा सेट भौगोलिक रूप से पूर्ण हो और प्रमुख ऊर्जा स्थिति को संतुष्ट करता हो, ऐसा प्रत्येक तत्व मूल के कारण भविष्य में होना चाहिए। यदि किसी अनंत क्षेत्र में अशक्त ऊर्जा-संवेग है, तो प्रारंभिक डेटा सेट इस अर्थ में तुच्छ है कि इसे मिन्कोस्की अंतरिक्ष में ज्यामितीय रूप से एम्बेड किया जा सकता है।

इन शब्दों के अर्थ पर नीचे चर्चा की गई है। ऊर्जा-संवेग की विभिन्न धारणाओं और प्रारंभिक विवरण समुच्चय के विभिन्न वर्गों के लिए वैकल्पिक और गैर-समतुल्य सूत्रीकरण हैं। इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में खुली समस्या है कि क्या उपरोक्त सूत्रीकरण मनमाना आयाम के प्रारंभिक विवरण समुच्चयों के लिए है।

इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में एक खुली समस्या है कि क्या उपरोक्त सूत्रीकरण मनमाना

ऐतिहासिक सिंहावलोकन

एडीएम द्रव्यमान के लिए प्रमेय का मूल प्रमाण रिचर्ड स्कोएन और शिंग-तुंग याउ द्वारा 1979 में परिवर्तनशील विधियों और न्यूनतम सतहों का उपयोग करके प्रदान किया गया था। अतिगुरुत्वाकर्षण के संदर्भ में सकारात्मक ऊर्जा प्रमेयों से प्रेरित होकर, एडवर्ड विटन ने 1981 में स्पिनरों के उपयोग के आधार पर एक और प्रमाण दिया। बोंडी द्रव्यमान के लिए प्रमेय का विस्तार मैल्कम लुडविगसेन और जेम्स विकर्स, गैरी होरोविट्ज़ और मैल्कम पेरी (भौतिक विज्ञानी), और स्कोएन और याउ द्वारा दिया गया था।

गैरी गिबन्स, स्टीफन हॉकिंग, होरोविट्ज़ और पेरी ने प्रमेय के विस्तार को एसिम्प्टोटिक रूप से एंटी-डी सिटर अंतरिक्ष समय और आइंस्टीन फील्ड समीकरणों आइंस्टीन-मैक्सवेल समीकरणों के रूप में बढाया है | आइंस्टीन-मैक्सवेल सिद्धांत के रूप में साबित किया है। असम्बद्ध रूप से एंटी-डी सिटर अंतरिक्ष समय का द्रव्यमान गैर-ऋणात्मक है और एंटी-डी सिटर अंतरिक्ष समय के लिए केवल शून्य के बराबर है। आइंस्टीन-मैक्सवेल सिद्धांत में, विद्युत आवेश के साथ अंतरिक्ष-समय के लिए $Q$ और चुंबकीय प्रभार $P$ अंतरिक्ष-समय का द्रव्यमान संतुष्ट करता है (गाऊसी इकाइयों में)

M\geq {\sqrt {Q^{2}+P^{2}}},

सुधांशु दत्ता मजुमदार-अकिलिस पापापेट्रो चरम ब्लैक होल समाधान के लिए समानता के साथ।

प्रारंभिक विवरण समुच्चय

प्रारंभिक विवरण समुच्चय में रीमैनियन कई गुना होता है $(M, g)$ और एक सममित 2-टेंसर क्षेत्र $k$ पर $M$ . एक का कहना है कि एक प्रारंभिक विवरण समुच्चय $(M, g, k)$ :

समय-सममित है यदि $k$ शून्य है
अधिकतम है अगर $tr g k = 0$ ^[1]
यदि प्रमुख ऊर्जा स्थिति को संतुष्ट करता है

R^{g}-|k|_{g}^{2}+(\operatorname {tr} _{g}k)^{2}\geq 2{\big |}\operatorname {div} ^{g}k-d(\operatorname {tr} _{g}k){\big |}_{g},

कहाँ

R g

की अदिश वक्रता को दर्शाता है

g

.^[2]

ध्यान दें कि एक समय-सममित प्रारंभिक विवरण समुच्चय $(M, g, 0)$ प्रमुख ऊर्जा की स्थिति को संतुष्ट करता है अगर और केवल अगर की अदिश वक्रता $g$ ऋणात्मक है। एक कहता है कि एक लोरेंत्ज़ियन कई गुना $(M, g)$ प्रारंभिक विवरण समुच्चय का विकास है $(M, g, k)$ यदि (अनिवार्य रूप से स्पेसलाइक) हाइपरसफेस एम्बेडिंग है $M$ में $M$ , एक साथ सतत इकाई सामान्य वेक्टर क्षेत्र के साथ, जैसे कि प्रेरित मीट्रिक है $g$ और दी गई इकाई सामान्य के संबंध में दूसरा मौलिक रूप है $k$ .

यह परिभाषा सामान्य सापेक्षता के गणित से प्रेरित है। एक लोरेंत्ज़ियन कई गुना दिया गया $(M, g)$ आयाम का $n + 1$ और एक स्पेसलाइक विसर्जन $f$ कनेक्टेड से $n$ -आयामी कई गुना $M$ में $M$ जिसमें तुच्छ सामान्य बंडल है, कोई प्रेरित रिमेंनियन मीट्रिक पर विचार कर सकता है $g = f * g$ साथ ही दूसरा मौलिक रूप $k$ का $f$ सतत इकाई सामान्य सदिश क्षेत्र के दो विकल्पों में से किसी एक के संबंध में $f$ . ट्रिपल $(M, g, k)$ एक प्रारंभिक विवरण समुच्चय है। गॉस-कोडैज़ी समीकरणों के अनुसार, किसी के पास है

{\begin{aligned}{\overline {G}}(\nu ,\nu )&={\frac {1}{2}}{\Big (}R^{g}-|k|_{g}^{2}+(\operatorname {tr} ^{g}k)^{2}{\Big )}\\{\overline {G}}(\nu ,\cdot )&=d(\operatorname {tr} ^{g}k)-\operatorname {div} ^{g}k.\end{aligned}}

कहाँ $G$ आइंस्टीन टेंसर को दर्शाता है $Ricg - .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/2Rgg$ का g और $ν$ निरंतर इकाई सामान्य वेक्टर क्षेत्र को दर्शाता है $f$ परिभाषित करते थे $k$ . तो ऊपर दी गई प्रमुख ऊर्जा की स्थिति, इस लोरेंत्ज़ियन संदर्भ में, इस दावे के समान है $G (ν, \cdot)$ , जब साथ में सदिश क्षेत्र के रूप में देखा जाता है $f$ , समयबद्ध या अशक्त है और उसी दिशा में उन्मुख है $ν$ .^[3]

असम्बद्ध रूप से फ्लैट प्रारंभिक विवरण समुच्चय के सिरों

साहित्य में असम्बद्ध रूप से फ्लैट की कई अलग-अलग धारणाएं हैं जो पारस्परिक रूप से समकक्ष नहीं हैं। आमतौर पर इसे वेटेड होल्डर स्पेस या वेटेड सोबोलेव स्पेस के रूप में परिभाषित किया जाता है।

हालाँकि, कुछ विशेषताएं हैं जो वस्तुतः सभी दृष्टिकोणों के लिए सामान्य हैं। प्रारंभिक विवरण समुच्चय पर विचार करता है $(M, g, k)$ जिसकी सीमा हो भी सकती है और नहीं भी; होने देना $n$ इसके आयाम को निरूपित करें। एक के लिए आवश्यक है कि एक कॉम्पैक्ट सबसमुच्चय हो $K$ का $M$ जैसे कि पूरक के प्रत्येक जुड़े हुए घटक $M - K$ यूक्लिडियन अंतरिक्ष में एक बंद गेंद के पूरक के लिए भिन्न है $ℝ n$ . ऐसे जुड़े हुए घटकों को सिरों कहा जाता है $M$ .

औपचारिक बयान

स्कोएन और याउ (1979)

होने देना $(M, g, 0)$ प्रमुख ऊर्जा स्थिति को संतुष्ट करने वाला एक समय-सममित प्रारंभिक विवरण समुच्चय हो। लगता है कि $(M, g)$ एक उन्मुख त्रि-आयामी चिकनी रीमैनियन कई गुना सीमा के साथ है, और प्रत्येक सीमा घटक में सकारात्मक औसत वक्रता है। मान लीजिए कि इसका एक छोर है, और यह निम्नलिखित अर्थों में स्पर्शोन्मुख रूप से श्वार्ज़स्चिल्ड है:

मान लीजिए कि $K$ का एक खुला प्रीकॉम्पैक्ट सबसेट है $M$ ऐसा है कि एक भिन्नता है $Φ : ℝ 3 - B 1 (0) \to M - K$ , और मान लीजिए कि एक संख्या है $m$ ऐसा कि सममित 2-टेंसर
$h_{ij}=(\Phi ^{\ast }g)_{ij}-\delta _{ij}-{\frac {m}{2|x|}}\delta _{ij}$
on $ℝ 3 - B 1 (0)$ ऐसा है कि किसी के लिए $i, j, p, q$ , कार्यों $|x|^{2}h_{ij}(x),$ $|x|^{3}\partial _{p}h_{ij}(x),$ and $|x|^{4}\partial _{p}\partial _{q}h_{ij}(x)$ सभी बंधे हुए हैं।

शॉन और यौ के प्रमेय का दावा है कि $m$ अऋणात्मक होना चाहिए। यदि, इसके अलावा, कार्य करता है $|x|^{5}\partial _{p}\partial _{q}\partial _{r}h_{ij}(x),$ $|x|^{5}\partial _{p}\partial _{q}\partial _{r}\partial _{s}h_{ij}(x),$ और $|x|^{5}\partial _{p}\partial _{q}\partial _{r}\partial _{s}\partial _{t}h_{ij}(x)$ किसी के लिए बाध्य हैं $i,j,p,q,r,s,t,$ तब $m$ सकारात्मक होना चाहिए जब तक कि सीमा न हो $M$ खाली है और $(M, g)$ सममितीय है $ℝ 3$ इसके मानक रीमैनियन मीट्रिक के साथ।

ध्यान दें कि शर्तें चालू हैं $h$ यह दावा कर रहे हैं $h$ , इसके कुछ डेरिवेटिव के साथ, जब छोटे होते हैं $x$ बड़ी है। तब से $h$ के बीच के दोष को माप रहा है $g$ निर्देशांक में $Φ$ और का मानक प्रतिनिधित्व $t = constant$ श्वार्जस्चिल्ड मीट्रिक का टुकड़ा, ये स्थितियाँ श्वार्ज़स्चिल्ड शब्द का परिमाणीकरण हैं। इसे विशुद्ध रूप से गणितीय अर्थ में विषम रूप से फ्लैट के एक मजबूत रूप के रूप में व्याख्या किया जा सकता है, जहां का गुणांक $| x | -1$ मीट्रिक के विस्तार का हिस्सा यूक्लिडियन मीट्रिक का एक स्थिर गुणक घोषित किया जाता है, जैसा कि एक सामान्य सममित 2-टेंसर के विपरीत होता है।

यह भी ध्यान दें कि स्कोएन और याउ का प्रमेय, जैसा कि ऊपर कहा गया है, वास्तव में (उपस्थिति के बावजूद) बहु सिरों के मामले का मजबूत रूप है। अगर $(M, g)$ कई छोरों के साथ एक पूर्ण रीमैनियन मैनिफोल्ड है, तो उपरोक्त परिणाम किसी एक छोर पर लागू होता है, बशर्ते कि हर दूसरे छोर में एक सकारात्मक औसत वक्रता क्षेत्र हो। यह गारंटी है, उदाहरण के लिए, यदि प्रत्येक छोर उपरोक्त अर्थों में असमान रूप से सपाट है; एक सीमा के रूप में एक बड़ा समन्वय क्षेत्र चुन सकता है, और प्रत्येक छोर के संबंधित शेष को तब तक हटा सकता है जब तक कि एकल छोर के साथ रिमेंनियन मैनिफोल्ड-विथ-बाउंड्री न हो जाए।

स्कोएन और याउ (1981)

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

लगता है कि $K\subset M$ एक खुला प्रीकॉम्पैक्ट सबसमुच्चय है जैसे कि $M\smallsetminus K$ बहुत से जुड़े हुए घटक हैं $M_{1},\ldots ,M_{n},$ और प्रत्येक के लिए $i=1,\ldots ,n$ एक भिन्नता है $\Phi _{i}:\mathbb {R} ^{3}\smallsetminus B_{1}(0)\to M_{i}$ ऐसा कि सममित 2-टेंसर $h_{ij}=(\Phi ^{\ast }g)_{ij}-\delta _{ij}$ निम्नलिखित शर्तों को संतुष्ट करता है:

$|x|h_{ij}(x),$ $|x|^{2}\partial _{p}h_{ij}(x),$ और $|x|^{3}\partial _{p}\partial _{q}h_{ij}(x)$ सभी के लिए बाध्य हैं $i,j,p,q.$

यह भी मान लीजिए

$|x|^{4}R^{\Phi _{i}^{\ast }g}$ और $|x|^{5}\partial _{p}R^{\Phi _{i}^{\ast }g}$ किसी के लिए बाध्य हैं $p$
$|x|^{2}(\Phi _{i}^{\ast }k)_{ij}(x),$ $|x|^{3}\partial _{p}(\Phi _{i}^{\ast }k)_{ij}(x),$ और $|x|^{4}\partial _{p}\partial _{q}(\Phi _{i}^{\ast }k)_{ij}(x)$ किसी के लिए $p,q,i,j$
$|x|^{3}((\Phi _{i}^{\ast }k)_{11}(x)+(\Phi ^{\ast }k)_{22}(x)+(\Phi _{i}^{\ast }k)_{33}(x))$ घिरा है।

निष्कर्ष यह है कि प्रत्येक की एडीएम ऊर्जा $M_{1},\ldots ,M_{n},$ के रूप में परिभाषित

{\text{E}}(M_{i})={\frac {1}{16\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{p=1}^{3}\sum _{q=1}^{3}{\big (}\partial _{q}(\Phi _{i}^{\ast }g)_{pq}-\partial _{p}(\Phi _{i}^{\ast }g)_{qq}{\big )}{\frac {x^{p}}{|x|}}\,d{\mathcal {H}}^{2}(x),

अऋणात्मक है। इसके अलावा, मान लीजिए कि इसके अलावा

$|x|^{4}\partial _{p}\partial _{q}\partial _{r}h_{ij}(x)$ और $|x|^{4}\partial _{p}\partial _{r}\partial _{s}\partial _{t}h_{ij}(x)$ किसी के लिए बाध्य हैं $i,j,p,q,r,s,$

धारणा है कि ${\text{E}}(M_{i})=0$ कुछ के लिए $i\in \{1,\ldots ,n\}$ इसका आशय है $n = 1$ , वह $M$ के लिए भिन्न है $ℝ 3$ , और वह Minkowski स्पेस $ℝ 3,1$ प्रारंभिक विवरण समुच्चय का विकास है $(M, g, k)$ .

जानना (1981)

देर $(M,g)$ एक उन्मुख त्रि-आयामी चिकनी पूर्ण रीमैनियन मैनिफोल्ड (सीमा के बिना) बनें। होने देना $k$ एक चिकनी सममित 2-टेंसर ऑन हो $M$ ऐसा है कि

R^{g}-|k|_{g}^{2}+(\operatorname {tr} _{g}k)^{2}\geq 2{\big |}\operatorname {div} ^{g}k-d(\operatorname {tr} _{g}k){\big |}_{g}.

लगता है कि $K\subset M$ एक खुला प्रीकॉम्पैक्ट सबसमुच्चय है जैसे कि $M\smallsetminus K$ बहुत से जुड़े हुए घटक हैं $M_{1},\ldots ,M_{n},$ और प्रत्येक के लिए $\alpha =1,\ldots ,n$ एक भिन्नता है $\Phi _{\alpha }:\mathbb {R} ^{3}\smallsetminus B_{1}(0)\to M_{i}$ ऐसा कि सममित 2-टेंसर $h_{ij}=(\Phi _{\alpha }^{\ast }g)_{ij}-\delta _{ij}$ निम्नलिखित शर्तों को संतुष्ट करता है:

$|x|h_{ij}(x),$ $|x|^{2}\partial _{p}h_{ij}(x),$ और $|x|^{3}\partial _{p}\partial _{q}h_{ij}(x)$ सभी के लिए बाध्य हैं $i,j,p,q.$
$|x|^{2}(\Phi _{\alpha }^{\ast }k)_{ij}(x)$ और $|x|^{3}\partial _{p}(\Phi _{\alpha }^{\ast }k)_{ij}(x),$ सभी के लिए बाध्य हैं $i,j,p.$

प्रत्येक के लिए $\alpha =1,\ldots ,n,$ एडीएम ऊर्जा और रैखिक गति को परिभाषित करें

{\text{E}}(M_{\alpha })={\frac {1}{16\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{p=1}^{3}\sum _{q=1}^{3}{\big (}\partial _{q}(\Phi _{\alpha }^{\ast }g)_{pq}-\partial _{p}(\Phi _{\alpha }^{\ast }g)_{qq}{\big )}{\frac {x^{p}}{|x|}}\,d{\mathcal {H}}^{2}(x),

{\text{P}}(M_{\alpha })_{p}={\frac {1}{8\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{q=1}^{3}{\big (}(\Phi _{\alpha }^{\ast }k)_{pq}-{\big (}(\Phi _{\alpha }^{\ast }k)_{11}+(\Phi _{\alpha }^{\ast }k)_{22}+(\Phi _{\alpha }^{\ast }k)_{33}{\big )}\delta _{pq}{\big )}{\frac {x^{q}}{|x|}}\,d{\mathcal {H}}^{2}(x).

प्रत्येक के लिए $\alpha =1,\ldots ,n,$ इसे एक वेक्टर के रूप में मानें $({\text{P}}(M_{\alpha })_{1},{\text{P}}(M_{\alpha })_{2},{\text{P}}(M_{\alpha })_{3},{\text{E}}(M_{\alpha }))$ मिन्कोवस्की अंतरिक्ष में। विटन का निष्कर्ष यह है कि प्रत्येक के लिए $\alpha$ यह आवश्यक रूप से भविष्य की ओर इशारा करने वाला गैर-स्पेसलाइक वेक्टर है। यदि यह वेक्टर किसी के लिए शून्य है $\alpha ,$ तब $n=1,$ $M$ के लिए डिफियोमॉर्फिक है $\mathbb {R} ^{3},$ और प्रारंभिक विवरण समुच्चय का अधिकतम विश्व स्तर पर अतिशयोक्तिपूर्ण विकास $(M,g,k)$ शून्य वक्रता है।

एक्सटेंशन और टिप्पणी

उपरोक्त कथनों के अनुसार, विट्टन का निष्कर्ष स्कोएन और याउ के निष्कर्ष से अधिक मजबूत है। हालाँकि, स्कोएन और यॉ द्वारा एक तीसरा पेपर ^[4] दिखाता है कि उनका 1981 का परिणाम विटन्स का तात्पर्य है, केवल अतिरिक्त धारणा को बनाए रखना $|x|^{4}R^{\Phi _{i}^{\ast }g}$ और $|x|^{5}\partial _{p}R^{\Phi _{i}^{\ast }g}$ किसी के लिए बाध्य हैं $p.$ यह भी ध्यान दिया जाना चाहिए कि स्कोएन और याओ का 1981 का परिणाम उन पर निर्भर करता है 1979 का परिणाम, जो विरोधाभास से सिद्ध होता है; इसलिए उनके 1981 के परिणाम का विस्तार भी विरोधाभासी है। इसके विपरीत, विटेन का प्रमाण तार्किक रूप से प्रत्यक्ष है, एडीएम ऊर्जा को सीधे एक गैर-नकारात्मक मात्रा के रूप में प्रदर्शित करता है। इसके अलावा, मामले में विटन का सबूत $\operatorname {tr} _{g}k=0$ टोपोलॉजिकल स्थिति के तहत उच्च-आयामी मैनिफोल्ड्स के लिए बहुत प्रयास किए बिना बढ़ाया जा सकता है कि मैनिफोल्ड एक स्पिन संरचना को स्वीकार करता है। ^[5] स्कोएन और याउ के 1979 के परिणाम और प्रमाण को आठ से कम किसी भी आयाम के मामले में बढ़ाया जा सकता है। ^[6] हाल ही में, स्कोएन और याउ (1981) के तरीकों का उपयोग करते हुए विटन के परिणाम को उसी संदर्भ में विस्तारित किया गया है। ^[7] संक्षेप में: स्कोएन और याउ के तरीकों का पालन करते हुए, सकारात्मक ऊर्जा प्रमेय आठ से कम आयाम में सिद्ध किया गया है, जबकि विट्टन का अनुसरण करते हुए, यह किसी भी आयाम में सिद्ध हुआ है, लेकिन स्पिन मैनिफोल्ड्स की समुच्चयिंग पर प्रतिबंध के साथ।

अप्रैल 2017 तक, स्कोएन और याउ ने प्रीप्रिंट जारी किया है जो विशेष मामले में सामान्य उच्च-आयामी मामला साबित करता है $\operatorname {tr} _{g}k=0,$ आयाम या टोपोलॉजी पर बिना किसी प्रतिबंध के। हालाँकि, यह अभी तक (मई 2020 तक) अकादमिक पत्रिका में नहीं आया है।

अनुप्रयोग

1984 में स्कोएन ने अपने काम में सकारात्मक द्रव्यमान प्रमेय का इस्तेमाल किया जिसने यामाबे समस्या का समाधान पूरा किया।
ह्यूबर्ट ब्रे के रिमेंनियन पेनरोज़ असमानता के प्रमाण में सकारात्मक द्रव्यमान प्रमेय का उपयोग किया गया था।

संदर्भ

↑ In local coordinates, this says $g ij k ij = 0$
↑ In local coordinates, this says $R - g ik g jl k ij k kl + (g ij k ij) 2 \geq 2(g pq (g ij k pi; j - (g ij k ij); p)(g kl k qk; l - (g kl k kl); q)) 1/2$ or, in the usual "raised and lowered index" notation, this says $R - k ij k ij + (k i i) 2 \geq 2((k pi; i - (k i i); p)(k pj; j - (k j j); p)) 1/2$
↑ It is typical to assume $M$ to be time-oriented and for $ν$ to be then specifically defined as the future-pointing unit normal vector field along $f$ ; in this case the dominant energy condition as given above for an initial data set arising from a spacelike immersion into $M$ is automatically true if the dominant energy condition in its usual spacetime form is assumed.
↑ Schoen, Richard; Yau, Shing Tung (1981). "सामान्य सापेक्षता में अंतरिक्ष-समय की ऊर्जा और रैखिक गति". Comm. Math. Phys. 79 (1): 47–51. doi:10.1007/BF01208285. S2CID 120151656.
↑ Bartnik, Robert (1986). "एक असम्बद्ध रूप से फ्लैट मैनिफोल्ड का द्रव्यमान". Comm. Pure Appl. Math. 39 (5): 661–693. doi:10.1002/cpa.3160390505.
↑ Schoen, Richard M. (1989). "Variational theory for the total scalar curvature functional for Riemannian metrics and related topics". Topics in calculus of variations (Montecatini Terme, 1987). Lecture Notes in Mathematics. Vol. 1365. Berlin: Springer. pp. 120–154.
↑ Eichmair, Michael; Huang, Lan-Hsuan; Lee, Dan A.; Schoen, Richard (2016). "अंतरिक्ष-समय सकारात्मक द्रव्यमान प्रमेय आठ से कम आयामों में". Journal of the European Mathematical Society. 18 (1): 83–121. arXiv:1110.2087. doi:10.4171/JEMS/584. S2CID 119633794.

Schoen, Richard; Yau, Shing-Tung (1979). "On the proof of the positive mass conjecture in general relativity". Communications in Mathematical Physics. 65 (1): 45–76. doi:10.1007/bf01940959. ISSN 0010-3616. S2CID 54217085.
Schoen, Richard; Yau, Shing-Tung (1981). "Proof of the positive mass theorem. II". Communications in Mathematical Physics. 79 (2): 231–260. doi:10.1007/bf01942062. ISSN 0010-3616. S2CID 59473203.
Witten, Edward (1981). "A new proof of the positive energy theorem". Communications in Mathematical Physics. 80 (3): 381–402. doi:10.1007/bf01208277. ISSN 0010-3616. S2CID 1035111.
Ludvigsen, M; Vickers, J A G (1981-10-01). "The positivity of the Bondi mass". Journal of Physics A: Mathematical and General. 14 (10): L389–L391. doi:10.1088/0305-4470/14/10/002. ISSN 0305-4470.
Horowitz, Gary T.; Perry, Malcolm J. (1982-02-08). "Gravitational Energy Cannot Become Negative". Physical Review Letters. 48 (6): 371–374. doi:10.1103/physrevlett.48.371. ISSN 0031-9007.
Schoen, Richard; Yau, Shing Tung (1982-02-08). "Proof That the Bondi Mass is Positive". Physical Review Letters. 48 (6): 369–371. doi:10.1103/physrevlett.48.369. ISSN 0031-9007.
Gibbons, G. W.; Hawking, S. W.; Horowitz, G. T.; Perry, M. J. (1983). "Positive mass theorems for black holes". Communications in Mathematical Physics. 88 (3): 295–308. doi:10.1007/BF01213209. MR 0701918. S2CID 121580771.

Textbooks

Choquet-Bruhat, Yvonne. General relativity and the Einstein equations. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2009. xxvi+785 pp. ISBN 978-0-19-923072-3
Wald, Robert M. General relativity. University of Chicago Press, Chicago, IL, 1984. xiii+491 pp. ISBN 0-226-87032-4

[1] In local coordinates, this says $g ij k ij = 0$

[2] In local coordinates, this says $R - g ik g jl k ij k kl + (g ij k ij) 2 \geq 2(g pq (g ij k pi; j - (g ij k ij); p)(g kl k qk; l - (g kl k kl); q)) 1/2$ or, in the usual "raised and lowered index" notation, this says $R - k ij k ij + (k i i) 2 \geq 2((k pi; i - (k i i); p)(k pj; j - (k j j); p)) 1/2$

[3] It is typical to assume $M$ to be time-oriented and for $ν$ to be then specifically defined as the future-pointing unit normal vector field along $f$ ; in this case the dominant energy condition as given above for an initial data set arising from a spacelike immersion into $M$ is automatically true if the dominant energy condition in its usual spacetime form is assumed.

[4] Schoen, Richard; Yau, Shing Tung (1981). "सामान्य सापेक्षता में अंतरिक्ष-समय की ऊर्जा और रैखिक गति". Comm. Math. Phys. 79 (1): 47–51. doi:10.1007/BF01208285. S2CID 120151656.

[5] Bartnik, Robert (1986). "एक असम्बद्ध रूप से फ्लैट मैनिफोल्ड का द्रव्यमान". Comm. Pure Appl. Math. 39 (5): 661–693. doi:10.1002/cpa.3160390505.

[6] Schoen, Richard M. (1989). "Variational theory for the total scalar curvature functional for Riemannian metrics and related topics". Topics in calculus of variations (Montecatini Terme, 1987). Lecture Notes in Mathematics. Vol. 1365. Berlin: Springer. pp. 120–154.

[7] Eichmair, Michael; Huang, Lan-Hsuan; Lee, Dan A.; Schoen, Richard (2016). "अंतरिक्ष-समय सकारात्मक द्रव्यमान प्रमेय आठ से कम आयामों में". Journal of the European Mathematical Society. 18 (1): 83–121. arXiv:1110.2087. doi:10.4171/JEMS/584. S2CID 119633794.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 4: / Line 4: @@
 सकारात्मक ऊर्जा [[प्रमेय]] (सकारात्मक द्रव्यमान प्रमेय के रूप में भी जाना जाता है) [[सामान्य सापेक्षता]] और [[अंतर ज्यामिति]] में आधारभूत परिणामों के संग्रह को संदर्भित करता है। इसका मानक रूप, मोटे तौर पर बोल रहा है, यह दावा करता है कि एक पृथक प्रणाली की गुरुत्वाकर्षण ऊर्जा गैर-नकारात्मक है, और केवल शून्य हो सकती है जब प्रणाली में कोई गुरुत्वाकर्षण वस्तु न हो। हालांकि इन बयानों को अक्सर मुख्य रूप से प्रकृति में भौतिक होने के बारे में सोचा जाता है, उन्हें प्रमेय के रूप में औपचारिक रूप दिया जा सकता है जो अंतर ज्यामिति, [[आंशिक अंतर समीकरण]] और [[ज्यामितीय माप सिद्धांत]] की तकनीकों का उपयोग करके सिद्ध किया जा सकता है।
-और 1981 में [[रिचर्ड स्कोन]] और [[शिंग-तुंग यौ]] सकारात्मक द्रव्यमान प्रमेय का प्रमाण देने वाले पहले व्यक्ति थे। 1982 में [[एडवर्ड विटन]] ने  वैकल्पिक प्रमाण की रूपरेखा दी, जिसे बाद में गणितज्ञों ने सख्ती से भर दिया। Witten और Yau को इस विषय पर उनके काम के लिए आंशिक रूप से गणित में [[ फील्ड मेडल ]] से सम्मानित किया गया।
+और 1981 में [[रिचर्ड स्कोन]] और [[शिंग-तुंग यौ]] सकारात्मक द्रव्यमान प्रमेय का प्रमाण देने वाले पहले व्यक्ति थे। 1982 में [[एडवर्ड विटन]] ने  वैकल्पिक प्रमाण की रूपरेखा दी, जिसे बाद में गणितज्ञों ने सख्ती से भर दिया। विटेन और यौ को इस विषय पर उनके काम के लिए आंशिक रूप से गणित में [[ फील्ड मेडल ]] से सम्मानित किया गया।
-स्कोएन-यॉ / Witten सकारात्मक ऊर्जा प्रमेय का  अचूक सूत्रीकरण निम्नलिखित बताता है:
+स्कोएन-यॉ / विटेन सकारात्मक ऊर्जा प्रमेय का  अचूक सूत्रीकरण निम्नलिखित बताता है:
-{{quote|Given an asymptotically flat initial data set, one can define the energy-momentum of each infinite region as an element of [[Minkowski space]]. Provided that the initial data set is [[geodesically complete]] and satisfies the [[energy conditions#Mathematical statement|dominant energy condition]], each such element must be in the [[Causal structure|causal future]] of the origin. If any infinite region has null energy-momentum, then the initial data set is trivial in the sense that it can be geometrically embedded in Minkowski space.}}
+{{quote|असम्बद्ध रूप से सपाट प्रारंभिक डेटा सेट को देखते हुए, प्रत्येक अनंत क्षेत्र की ऊर्जा-गति को [[मिन्कोव्स्की अंतरिक्ष]] के एक तत्व के रूप में परिभाषित किया जा सकता है। बशर्ते कि प्रारंभिक डेटा सेट [[भौगोलिक रूप से पूर्ण]] हो और [[ऊर्जा की स्थिति#गणितीय कथन|प्रमुख ऊर्जा स्थिति]] को संतुष्ट करता हो, ऐसा प्रत्येक तत्व मूल के [[कारणीय संरचना|कारण भविष्य]] में होना चाहिए। यदि किसी अनंत क्षेत्र में अशक्त ऊर्जा-संवेग है, तो प्रारंभिक डेटा सेट इस अर्थ में तुच्छ है कि इसे मिन्कोस्की अंतरिक्ष में ज्यामितीय रूप से एम्बेड किया जा सकता है।}}
-इन शब्दों के अर्थ पर नीचे चर्चा की गई है। ऊर्जा-संवेग की विभिन्न धारणाओं और प्रारंभिक डेटा सेट के विभिन्न वर्गों के लिए वैकल्पिक और गैर-समतुल्य सूत्रीकरण हैं। इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में  [[खुली समस्या]] है कि क्या उपरोक्त सूत्रीकरण मनमाना आयाम के प्रारंभिक डेटा सेटों के लिए है।
-'''इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में एक [[खुली समस्या]] है कि क्या उपरोक्त सूत्रीकरण मनमाना आयाम के प्रारंभिक डेटा सेटों के लिए है। सूत्रीकरण मनमाना'''
+इन शब्दों के अर्थ पर नीचे चर्चा की गई है। ऊर्जा-संवेग की विभिन्न धारणाओं और प्रारंभिक विवरण समुच्चय के विभिन्न वर्गों के लिए वैकल्पिक और गैर-समतुल्य सूत्रीकरण हैं। इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में  [[खुली समस्या]] है कि क्या उपरोक्त सूत्रीकरण मनमाना आयाम के प्रारंभिक विवरण समुच्चयों के लिए है।
+'''इन सभी योगों को कड़ाई से सिद्ध नहीं किया गया है, और यह वर्तमान में एक [[खुली समस्या]] है कि क्या उपरोक्त सूत्रीकरण मनमाना'''
 == ऐतिहासिक सिंहावलोकन ==
-ADM द्रव्यमान के लिए प्रमेय का मूल प्रमाण रिचर्ड स्कोएन और शिंग-तुंग याउ द्वारा 1979 में परिवर्तनशील विधियों और न्यूनतम सतहों का उपयोग करके प्रदान किया गया था। [[ अतिगुरुत्वाकर्षण ]] के संदर्भ में सकारात्मक ऊर्जा प्रमेयों से प्रेरित होकर, एडवर्ड विटन ने 1981 में स्पिनरों के उपयोग के आधार पर एक और प्रमाण दिया। बोंडी द्रव्यमान के लिए प्रमेय का विस्तार [[मैल्कम लुडविगसेन]] और जेम्स विकर्स, गैरी होरोविट्ज़ और [[मैल्कम पेरी (भौतिक विज्ञानी)]], और स्कोएन और याउ द्वारा दिया गया था।
+एडीएम द्रव्यमान के लिए प्रमेय का मूल प्रमाण रिचर्ड स्कोएन और शिंग-तुंग याउ द्वारा 1979 में परिवर्तनशील विधियों और न्यूनतम सतहों का उपयोग करके प्रदान किया गया था। [[ अतिगुरुत्वाकर्षण ]] के संदर्भ में सकारात्मक ऊर्जा प्रमेयों से प्रेरित होकर, एडवर्ड विटन ने 1981 में स्पिनरों के उपयोग के आधार पर एक और प्रमाण दिया। बोंडी द्रव्यमान के लिए प्रमेय का विस्तार [[मैल्कम लुडविगसेन]] और जेम्स विकर्स, गैरी होरोविट्ज़ और [[मैल्कम पेरी (भौतिक विज्ञानी)]], और स्कोएन और याउ द्वारा दिया गया था।
-[[गैरी गिबन्स]], [[स्टीफन हॉकिंग]], होरोविट्ज़ और पेरी ने प्रमेय के विस्तार को एसिम्प्टोटिक रूप से [[एंटी-डी सिटर स्पेसटाइम]] और आइंस्टीन फील्ड समीकरणों  आइंस्टीन-मैक्सवेल समीकरणों | आइंस्टीन-मैक्सवेल सिद्धांत के रूप में साबित किया। असम्बद्ध रूप से एंटी-डी सिटर स्पेसटाइम का द्रव्यमान गैर-ऋणात्मक है और एंटी-डी सिटर स्पेसटाइम के लिए केवल शून्य के बराबर है। आइंस्टीन-मैक्सवेल सिद्धांत में, विद्युत आवेश के साथ अंतरिक्ष-समय के लिए <math>Q</math> और [[चुंबकीय प्रभार]] <math>P</math>अंतरिक्ष-समय का द्रव्यमान संतुष्ट करता है (गाऊसी इकाइयों में)
+[[गैरी गिबन्स]], [[स्टीफन हॉकिंग]], होरोविट्ज़ और पेरी ने प्रमेय के विस्तार को एसिम्प्टोटिक रूप से [[एंटी-डी सिटर स्पेसटाइम|एंटी-डी सिटर अंतरिक्ष समय]] और आइंस्टीन फील्ड समीकरणों  आइंस्टीन-मैक्सवेल समीकरणों के रूप में बढाया है | आइंस्टीन-मैक्सवेल सिद्धांत के रूप में साबित किया है। असम्बद्ध रूप से एंटी-डी सिटर अंतरिक्ष समय का द्रव्यमान गैर-ऋणात्मक है और एंटी-डी सिटर अंतरिक्ष समय के लिए केवल शून्य के बराबर है। आइंस्टीन-मैक्सवेल सिद्धांत में, विद्युत आवेश के साथ अंतरिक्ष-समय के लिए <math>Q</math> और [[चुंबकीय प्रभार]] <math>P</math>अंतरिक्ष-समय का द्रव्यमान संतुष्ट करता है (गाऊसी इकाइयों में)
 :<math>M \geq \sqrt{Q^2 + P^2},</math>
 सुधांशु दत्ता मजुमदार-[[अकिलिस पापापेट्रो]] [[चरम ब्लैक होल]] समाधान के लिए समानता के साथ।
-== प्रारंभिक डेटा सेट ==
+== प्रारंभिक विवरण समुच्चय ==
-प्रारंभिक डेटा सेट में [[रीमैनियन कई गुना]] होता है {{math|(''M'', ''g'')}} और एक सममित 2-टेंसर क्षेत्र {{mvar|k}} पर {{mvar|M}}. एक का कहना है कि एक प्रारंभिक डेटा सेट {{math|(''M'', ''g'', ''k'')}}:
+प्रारंभिक विवरण समुच्चय में [[रीमैनियन कई गुना]] होता है {{math|(''M'', ''g'')}} और एक सममित 2-टेंसर क्षेत्र {{mvar|k}} पर {{mvar|M}}. एक का कहना है कि एक प्रारंभिक विवरण समुच्चय {{math|(''M'', ''g'', ''k'')}}:
 * समय-सममित है यदि {{math|''k''}} शून्य है
 * अधिकतम है अगर {{math|tr<sup>''g''</sup>''k'' {{=}} 0}} <ref>In local coordinates, this says {{math|''g''<sup>''ij''</sup>''k''<sub>''ij''</sub> {{=}} 0}}</ref>
@@ Line 27: / Line 28: @@
 :: <math>R^g-|k|_g^2+(\operatorname{tr}_gk)^2\geq 2\big|\operatorname{div}^gk-d(\operatorname{tr}_gk)\big|_g,</math>
 :कहाँ {{math|''R''<sup>''g''</sup>}} की [[अदिश वक्रता]] को दर्शाता है {{mvar|g}}.<ref>In local coordinates, this says {{math|''R'' - ''g<sup>ik</sup>g<sup>jl</sup>k<sub>ij</sub>k<sub>kl</sub>'' + (''g<sup>ij</sup>k<sub>ij</sub>'')<sup>2</sup> ≥ 2(''g<sup>pq</sup>''(''g<sup>ij</sup>k''<sub>''pi'';''j''</sub> - (''g<sup>ij</sup>k<sub>ij</sub>'')<sub>;''p''</sub>)(''g<sup>kl</sup>k''<sub>''qk'';''l''</sub> - (''g<sup>kl</sup>k<sub>kl</sub>'')<sub>;''q''</sub>))<sup>1/2</sup>}} or, in the usual "raised and lowered index" notation, this says {{math|''R'' - ''k<sup>ij</sup>k<sub>ij</sub>'' + (''k<sub>i</sub><sup>i</sup>'')<sup>2</sup> ≥ 2((''k''<sub>''pi''</sub><sup>;''i''</sup> - (''k<sub>i</sub><sup>i</sup>'')<sub>;''p''</sub>)(''k''<sup>''pj''</sup><sub>;''j''</sub> - (''k<sup>j</sup><sub>j</sub>'')<sup>;''p''</sup>))<sup>1/2</sup>}}</ref>
-ध्यान दें कि एक समय-सममित प्रारंभिक डेटा सेट {{math|(''M'', ''g'', 0)}} प्रमुख ऊर्जा की स्थिति को संतुष्ट करता है अगर और केवल अगर की अदिश वक्रता {{mvar|g}} ऋणात्मक है। एक कहता है कि एक लोरेंत्ज़ियन कई गुना {{math|({{overline|''M''}}, {{overline|''g''}})}} प्रारंभिक डेटा सेट का विकास है {{math|(''M'', ''g'', ''k'')}} यदि (अनिवार्य रूप से स्पेसलाइक) हाइपरसफेस एम्बेडिंग है {{mvar|M}} में {{math|{{overline|''M''}}}}, एक साथ  सतत इकाई सामान्य वेक्टर क्षेत्र के साथ, जैसे कि प्रेरित मीट्रिक है {{mvar|g}} और दी गई इकाई सामान्य के संबंध में दूसरा मौलिक रूप है {{mvar|k}}.
+ध्यान दें कि एक समय-सममित प्रारंभिक विवरण समुच्चय {{math|(''M'', ''g'', 0)}} प्रमुख ऊर्जा की स्थिति को संतुष्ट करता है अगर और केवल अगर की अदिश वक्रता {{mvar|g}} ऋणात्मक है। एक कहता है कि एक लोरेंत्ज़ियन कई गुना {{math|({{overline|''M''}}, {{overline|''g''}})}} प्रारंभिक विवरण समुच्चय का विकास है {{math|(''M'', ''g'', ''k'')}} यदि (अनिवार्य रूप से स्पेसलाइक) हाइपरसफेस एम्बेडिंग है {{mvar|M}} में {{math|{{overline|''M''}}}}, एक साथ  सतत इकाई सामान्य वेक्टर क्षेत्र के साथ, जैसे कि प्रेरित मीट्रिक है {{mvar|g}} और दी गई इकाई सामान्य के संबंध में दूसरा मौलिक रूप है {{mvar|k}}.
-यह परिभाषा सामान्य सापेक्षता के गणित से प्रेरित है। एक लोरेंत्ज़ियन कई गुना दिया गया {{math|({{overline|''M''}}, {{overline|''g''}})}} आयाम का {{math|''n'' + 1}} और एक स्पेसलाइक विसर्जन {{mvar|f}} कनेक्टेड से {{mvar|n}}-आयामी कई गुना {{mvar|M}} में {{math|{{overline|''M''}}}} जिसमें  तुच्छ सामान्य बंडल है, कोई प्रेरित रिमेंनियन मीट्रिक पर विचार कर सकता है {{math|''g'' {{=}} ''f''<sup> *</sup>{{overline|''g''}}}} साथ ही [[दूसरा मौलिक रूप]] {{mvar|k}} का {{mvar|f}} सतत इकाई सामान्य सदिश क्षेत्र के दो विकल्पों में से किसी एक के संबंध में {{mvar|f}}. ट्रिपल {{math|(''M'', ''g'', ''k'')}} एक प्रारंभिक डेटा सेट है। [[गॉस-कोडैज़ी समीकरण]]ों के अनुसार, किसी के पास है
+यह परिभाषा सामान्य सापेक्षता के गणित से प्रेरित है। एक लोरेंत्ज़ियन कई गुना दिया गया {{math|({{overline|''M''}}, {{overline|''g''}})}} आयाम का {{math|''n'' + 1}} और एक स्पेसलाइक विसर्जन {{mvar|f}} कनेक्टेड से {{mvar|n}}-आयामी कई गुना {{mvar|M}} में {{math|{{overline|''M''}}}} जिसमें  तुच्छ सामान्य बंडल है, कोई प्रेरित रिमेंनियन मीट्रिक पर विचार कर सकता है {{math|''g'' {{=}} ''f''<sup> *</sup>{{overline|''g''}}}} साथ ही [[दूसरा मौलिक रूप]] {{mvar|k}} का {{mvar|f}} सतत इकाई सामान्य सदिश क्षेत्र के दो विकल्पों में से किसी एक के संबंध में {{mvar|f}}. ट्रिपल {{math|(''M'', ''g'', ''k'')}} एक प्रारंभिक विवरण समुच्चय है। [[गॉस-कोडैज़ी समीकरण]]ों के अनुसार, किसी के पास है
 :<math>\begin{align}
 \overline{G}(\nu,\nu)&=\frac{1}{2}\Big(R^g-|k|_g^2+(\operatorname{tr}^gk)^2\Big)\\
@@ Line 38: / Line 39: @@
-असम्बद्ध रूप से फ्लैट प्रारंभिक डेटा सेट  के सिरों
+असम्बद्ध रूप से फ्लैट प्रारंभिक विवरण समुच्चय  के सिरों
 साहित्य में असम्बद्ध रूप से फ्लैट की कई अलग-अलग धारणाएं हैं जो पारस्परिक रूप से समकक्ष नहीं हैं। आमतौर पर इसे वेटेड होल्डर स्पेस या वेटेड सोबोलेव स्पेस के रूप में परिभाषित किया जाता है।
-हालाँकि, कुछ विशेषताएं हैं जो वस्तुतः सभी दृष्टिकोणों के लिए सामान्य हैं।  प्रारंभिक डेटा सेट पर विचार करता है {{math|(''M'', ''g'', ''k'')}} जिसकी सीमा हो भी सकती है और नहीं भी; होने देना {{mvar|n}} इसके आयाम को निरूपित करें। एक के लिए आवश्यक है कि एक कॉम्पैक्ट सबसेट हो {{mvar|K}} का {{mvar|M}} जैसे कि पूरक के प्रत्येक जुड़े हुए घटक {{math|''M'' − ''K''}} यूक्लिडियन अंतरिक्ष में एक बंद गेंद के पूरक के लिए भिन्न है {{math|ℝ<sup>''n''</sup>}}. ऐसे जुड़े हुए घटकों को सिरों कहा जाता है {{mvar|M}}.
+हालाँकि, कुछ विशेषताएं हैं जो वस्तुतः सभी दृष्टिकोणों के लिए सामान्य हैं।  प्रारंभिक विवरण समुच्चय पर विचार करता है {{math|(''M'', ''g'', ''k'')}} जिसकी सीमा हो भी सकती है और नहीं भी; होने देना {{mvar|n}} इसके आयाम को निरूपित करें। एक के लिए आवश्यक है कि एक कॉम्पैक्ट सबसमुच्चय हो {{mvar|K}} का {{mvar|M}} जैसे कि पूरक के प्रत्येक जुड़े हुए घटक {{math|''M'' − ''K''}} यूक्लिडियन अंतरिक्ष में एक बंद गेंद के पूरक के लिए भिन्न है {{math|ℝ<sup>''n''</sup>}}. ऐसे जुड़े हुए घटकों को सिरों कहा जाता है {{mvar|M}}.
 == औपचारिक बयान ==
 === स्कोएन और याउ (1979) ===
-होने देना {{math|(''M'', ''g'', 0)}} प्रमुख ऊर्जा स्थिति को संतुष्ट करने वाला एक समय-सममित प्रारंभिक डेटा सेट हो। लगता है कि {{math|(''M'', ''g'')}} एक उन्मुख त्रि-आयामी चिकनी रीमैनियन कई गुना सीमा के साथ है, और प्रत्येक सीमा घटक में सकारात्मक औसत वक्रता है। मान लीजिए कि इसका एक छोर है, और यह निम्नलिखित अर्थों में स्पर्शोन्मुख रूप से श्वार्ज़स्चिल्ड है:
+होने देना {{math|(''M'', ''g'', 0)}} प्रमुख ऊर्जा स्थिति को संतुष्ट करने वाला एक समय-सममित प्रारंभिक विवरण समुच्चय हो। लगता है कि {{math|(''M'', ''g'')}} एक उन्मुख त्रि-आयामी चिकनी रीमैनियन कई गुना सीमा के साथ है, और प्रत्येक सीमा घटक में सकारात्मक औसत वक्रता है। मान लीजिए कि इसका एक छोर है, और यह निम्नलिखित अर्थों में स्पर्शोन्मुख रूप से श्वार्ज़स्चिल्ड है:
-{{quote|Suppose that {{mvar|K}} is an open precompact subset of {{mvar|M}} such that there is a diffeomorphism {{math|Φ : ℝ<sup>3</sup> − ''B''<sub>1</sub>(0) → ''M'' − {{overline|''K''}}}}, and suppose that there is a number {{mvar|m}} such that the symmetric 2-tensor
+{{quote|मान लीजिए कि {{mvar|K}} का एक खुला प्रीकॉम्पैक्ट सबसेट है {{mvar|M}} ऐसा है कि एक भिन्नता है {{math|Φ : ℝ<sup>3</sup> − ''B''<sub>1</sub>(0) → ''M'' − {{overline|''K''}}}}, और मान लीजिए कि एक संख्या है {{mvar|m}} ऐसा कि सममित 2-टेंसर
 :<math>h_{ij}=(\Phi^\ast g)_{ij}-\delta_{ij}-\frac{m}{2|x|}\delta_{ij}</math>
-on {{math|ℝ<sup>3</sup> − ''B''<sub>1</sub>(0)}} is such that for any {{math|''i'', ''j'', ''p'', ''q''}}, the functions <math>|x|^2h_{ij}(x),</math> <math>|x|^3\partial_ph_{ij}(x),</math> and <math>|x|^4\partial_p\partial_qh_{ij}(x)</math> are all bounded.}}
+on {{math|ℝ<sup>3</sup> − ''B''<sub>1</sub>(0)}} ऐसा है कि किसी के लिए {{math|''i'', ''j'', ''p'', ''q''}}, कार्यों <math>|x|^2h_{ij}(x),</math> <math>|x|^3\partial_ph_{ij}(x),</math> and <math>|x|^4\partial_p\partial_qh_{ij}(x)</math> सभी बंधे हुए हैं।}}
 शॉन और यौ के प्रमेय का दावा है कि {{mvar|m}} अऋणात्मक होना चाहिए। यदि, इसके अलावा, कार्य करता है <math>|x|^5\partial_p\partial_q\partial_rh_{ij}(x),</math> <math>|x|^5\partial_p\partial_q\partial_r\partial_sh_{ij}(x),</math> और <math>|x|^5\partial_p\partial_q\partial_r\partial_s\partial_th_{ij}(x)</math> किसी के लिए बाध्य हैं <math>i,j,p,q,r,s,t,</math> तब {{mvar|m}} सकारात्मक होना चाहिए जब तक कि सीमा न हो {{mvar|M}} खाली है और {{math|(''M'', ''g'')}} सममितीय है {{math|ℝ<sup>3</sup>}} इसके मानक रीमैनियन मीट्रिक के साथ।
 ध्यान दें कि शर्तें चालू हैं {{mvar|h}} यह दावा कर रहे हैं {{mvar|h}}, इसके कुछ डेरिवेटिव के साथ, जब छोटे होते हैं {{mvar|x}} बड़ी है। तब से {{mvar|h}} के बीच के दोष को माप रहा है {{mvar|g}} निर्देशांक में {{mvar|Φ}} और का मानक प्रतिनिधित्व {{math|''t'' {{=}} constant}} [[श्वार्जस्चिल्ड मीट्रिक]] का टुकड़ा, ये स्थितियाँ श्वार्ज़स्चिल्ड शब्द का परिमाणीकरण हैं। इसे विशुद्ध रूप से गणितीय अर्थ में विषम रूप से फ्लैट के एक मजबूत रूप के रूप में व्याख्या किया जा सकता है, जहां का गुणांक {{math|{{!}}''x''{{!}}<sup>−1</sup>}} मीट्रिक के विस्तार का हिस्सा यूक्लिडियन मीट्रिक का एक स्थिर गुणक घोषित किया जाता है, जैसा कि एक सामान्य सममित 2-टेंसर के विपरीत होता है।
-यह भी ध्यान दें कि स्कोएन और याउ का प्रमेय, जैसा कि ऊपर कहा गया है, वास्तव में (उपस्थिति के बावजूद) बहु सिरों के मामले का  मजबूत रूप है। अगर {{math|(''M'', ''g'')}} कई छोरों के साथ एक पूर्ण रीमैनियन मैनिफोल्ड है, तो उपरोक्त परिणाम किसी एक छोर पर लागू होता है, बशर्ते कि हर दूसरे छोर में एक सकारात्मक औसत वक्रता क्षेत्र हो। यह गारंटी है, उदाहरण के लिए, यदि प्रत्येक छोर उपरोक्त अर्थों में असमान रूप से सपाट है; एक सीमा के रूप में एक बड़ा समन्वय क्षेत्र चुन सकता है, और प्रत्येक छोर के संबंधित शेष को तब तक हटा सकता है जब तक कि एक एकल छोर के साथ रिमेंनियन मैनिफोल्ड-विथ-बाउंड्री न हो।
+यह भी ध्यान दें कि स्कोएन और याउ का प्रमेय, जैसा कि ऊपर कहा गया है, वास्तव में (उपस्थिति के बावजूद) बहु सिरों के मामले का  मजबूत रूप है। अगर {{math|(''M'', ''g'')}} कई छोरों के साथ एक पूर्ण रीमैनियन मैनिफोल्ड है, तो उपरोक्त परिणाम किसी एक छोर पर लागू होता है, बशर्ते कि हर दूसरे छोर में एक सकारात्मक औसत वक्रता क्षेत्र हो। यह गारंटी है, उदाहरण के लिए, यदि प्रत्येक छोर उपरोक्त अर्थों में असमान रूप से सपाट है; एक सीमा के रूप में एक बड़ा समन्वय क्षेत्र चुन सकता है, और प्रत्येक छोर के संबंधित शेष को तब तक हटा सकता है जब तक कि  एकल छोर के साथ रिमेंनियन मैनिफोल्ड-विथ-बाउंड्री न हो जाए।
 === स्कोएन और याउ (1981) ===
-होने देना {{math|(''M'', ''g'', ''k'')}} प्रमुख ऊर्जा स्थिति को संतुष्ट करने वाला प्रारंभिक डेटा सेट हो। लगता है कि {{math|(''M'', ''g'')}} एक उन्मुख त्रि-आयामी चिकनी पूर्ण रीमैनियन मैनिफोल्ड (बिना सीमा के) है; मान लीजिए कि इसके बहुत से सिरे हैं, जिनमें से प्रत्येक निम्नलिखित अर्थों में असम्बद्ध रूप से सपाट है।
+होने देना {{math|(''M'', ''g'', ''k'')}} प्रमुख ऊर्जा स्थिति को संतुष्ट करने वाला प्रारंभिक विवरण समुच्चय हो। लगता है कि {{math|(''M'', ''g'')}} एक उन्मुख त्रि-आयामी चिकनी पूर्ण रीमैनियन मैनिफोल्ड (बिना सीमा के) है; मान लीजिए कि इसके बहुत से सिरे हैं, जिनमें से प्रत्येक निम्नलिखित अर्थों में असम्बद्ध रूप से सपाट है।
-लगता है कि <math>K\subset M</math> एक खुला प्रीकॉम्पैक्ट सबसेट है जैसे कि <math>M\smallsetminus K</math> बहुत से जुड़े हुए घटक हैं <math>M_1,\ldots,M_n,</math> और प्रत्येक के लिए <math>i=1,\ldots,n</math> एक भिन्नता है <math>\Phi_i:\mathbb{R}^3\smallsetminus B_1(0)\to M_i</math> ऐसा कि सममित 2-टेंसर <math>h_{ij}=(\Phi^\ast g)_{ij}-\delta_{ij}</math> निम्नलिखित शर्तों को संतुष्ट करता है:
+लगता है कि <math>K\subset M</math> एक खुला प्रीकॉम्पैक्ट सबसमुच्चय है जैसे कि <math>M\smallsetminus K</math> बहुत से जुड़े हुए घटक हैं <math>M_1,\ldots,M_n,</math> और प्रत्येक के लिए <math>i=1,\ldots,n</math> एक भिन्नता है <math>\Phi_i:\mathbb{R}^3\smallsetminus B_1(0)\to M_i</math> ऐसा कि सममित 2-टेंसर <math>h_{ij}=(\Phi^\ast g)_{ij}-\delta_{ij}</math> निम्नलिखित शर्तों को संतुष्ट करता है:
 * <math>|x|h_{ij}(x),</math> <math>|x|^2\partial_ph_{ij}(x),</math> और <math>|x|^3\partial_p\partial_qh_{ij}(x)</math> सभी के लिए बाध्य हैं <math>i,j,p,q.</math>
 यह भी मान लीजिए
@@ Line 70: / Line 71: @@
 अऋणात्मक है। इसके अलावा, मान लीजिए कि इसके अलावा
 * <math>|x|^4\partial_p\partial_q\partial_r h_{ij}(x)</math> और <math>|x|^4\partial_p\partial_r\partial_s\partial_t h_{ij}(x)</math> किसी के लिए बाध्य हैं <math>i,j,p,q,r,s,</math>
-धारणा है कि <math>\text{E}(M_i)=0</math> कुछ के लिए <math>i\in\{1,\ldots,n\}</math> इसका आशय है {{math|''n'' {{=}} 1}}, वह {{mvar|M}} के लिए भिन्न है {{math|ℝ<sup>3</sup>}}, और वह Minkowski स्पेस {{math|ℝ<sup>3,1</sup>}} प्रारंभिक डेटा सेट का विकास है {{math|(''M'', ''g'', ''k'')}}.
+धारणा है कि <math>\text{E}(M_i)=0</math> कुछ के लिए <math>i\in\{1,\ldots,n\}</math> इसका आशय है {{math|''n'' {{=}} 1}}, वह {{mvar|M}} के लिए भिन्न है {{math|ℝ<sup>3</sup>}}, और वह Minkowski स्पेस {{math|ℝ<sup>3,1</sup>}} प्रारंभिक विवरण समुच्चय का विकास है {{math|(''M'', ''g'', ''k'')}}.
 === जानना (1981) ===
 देर <math>(M,g)</math> एक उन्मुख त्रि-आयामी चिकनी पूर्ण रीमैनियन मैनिफोल्ड (सीमा के बिना) बनें। होने देना <math>k</math> एक चिकनी सममित 2-टेंसर ऑन हो <math>M</math> ऐसा है कि
 : <math>R^g-|k|_g^2+(\operatorname{tr}_gk)^2\geq 2\big|\operatorname{div}^gk-d(\operatorname{tr}_gk)\big|_g.</math>
-लगता है कि <math>K\subset M</math> एक खुला प्रीकॉम्पैक्ट सबसेट है जैसे कि <math>M\smallsetminus K</math> बहुत से जुड़े हुए घटक हैं <math>M_1,\ldots,M_n,</math> और प्रत्येक के लिए <math>\alpha=1,\ldots,n</math> एक भिन्नता है <math>\Phi_\alpha:\mathbb{R}^3\smallsetminus B_1(0)\to M_i</math> ऐसा कि सममित 2-टेंसर <math>h_{ij}=(\Phi^\ast_\alpha g)_{ij}-\delta_{ij}</math> निम्नलिखित शर्तों को संतुष्ट करता है:
+लगता है कि <math>K\subset M</math> एक खुला प्रीकॉम्पैक्ट सबसमुच्चय है जैसे कि <math>M\smallsetminus K</math> बहुत से जुड़े हुए घटक हैं <math>M_1,\ldots,M_n,</math> और प्रत्येक के लिए <math>\alpha=1,\ldots,n</math> एक भिन्नता है <math>\Phi_\alpha:\mathbb{R}^3\smallsetminus B_1(0)\to M_i</math> ऐसा कि सममित 2-टेंसर <math>h_{ij}=(\Phi^\ast_\alpha g)_{ij}-\delta_{ij}</math> निम्नलिखित शर्तों को संतुष्ट करता है:
 * <math>|x|h_{ij}(x),</math> <math>|x|^2\partial_ph_{ij}(x),</math> और <math>|x|^3\partial_p\partial_qh_{ij}(x)</math> सभी के लिए बाध्य हैं <math>i,j,p,q.</math>
 * <math>|x|^2(\Phi_\alpha^\ast k)_{ij}(x)</math> और <math>|x|^3\partial_p(\Phi_\alpha^\ast k)_{ij}(x),</math> सभी के लिए बाध्य हैं <math>i,j,p.</math>
@@ Line 81: / Line 82: @@
 : <math>\text{E}(M_\alpha)=\frac{1}{16\pi}\lim_{r\to\infty}\int_{|x|=r}\sum_{p=1}^3\sum_{q=1}^3\big(\partial_q(\Phi_\alpha^\ast g)_{pq}-\partial_p(\Phi_\alpha^\ast g)_{qq}\big)\frac{x^p}{|x|}\,d\mathcal{H}^2(x),</math>
 : <math>\text{P}(M_\alpha)_p=\frac{1}{8\pi}\lim_{r\to\infty}\int_{|x|=r}\sum_{q=1}^3\big((\Phi_\alpha^\ast k)_{pq}-\big((\Phi_\alpha^\ast k)_{11}+(\Phi_\alpha^\ast k)_{22}+(\Phi_\alpha^\ast k)_{33}\big)\delta_{pq}\big)\frac{x^q}{|x|}\,d\mathcal{H}^2(x).</math>
-प्रत्येक के लिए <math>\alpha=1,\ldots,n,</math> इसे एक वेक्टर के रूप में मानें <math>(\text{P}(M_\alpha)_1,\text{P}(M_\alpha)_2,\text{P}(M_\alpha)_3,\text{E}(M_\alpha))</math> मिन्कोवस्की अंतरिक्ष में। विटन का निष्कर्ष यह है कि प्रत्येक के लिए <math>\alpha</math> यह आवश्यक रूप से भविष्य की ओर इशारा करने वाला गैर-स्पेसलाइक वेक्टर है। यदि यह वेक्टर किसी के लिए शून्य है <math>\alpha,</math> तब <math>n=1,</math> <math>M</math> के लिए डिफियोमॉर्फिक है <math>\mathbb{R}^3,</math> और प्रारंभिक डेटा सेट का अधिकतम विश्व स्तर पर अतिशयोक्तिपूर्ण विकास <math>(M,g,k)</math> शून्य वक्रता है।
+प्रत्येक के लिए <math>\alpha=1,\ldots,n,</math> इसे एक वेक्टर के रूप में मानें <math>(\text{P}(M_\alpha)_1,\text{P}(M_\alpha)_2,\text{P}(M_\alpha)_3,\text{E}(M_\alpha))</math> मिन्कोवस्की अंतरिक्ष में। विटन का निष्कर्ष यह है कि प्रत्येक के लिए <math>\alpha</math> यह आवश्यक रूप से भविष्य की ओर इशारा करने वाला गैर-स्पेसलाइक वेक्टर है। यदि यह वेक्टर किसी के लिए शून्य है <math>\alpha,</math> तब <math>n=1,</math> <math>M</math> के लिए डिफियोमॉर्फिक है <math>\mathbb{R}^3,</math> और प्रारंभिक विवरण समुच्चय का अधिकतम विश्व स्तर पर अतिशयोक्तिपूर्ण विकास <math>(M,g,k)</math> शून्य वक्रता है।
 === एक्सटेंशन और टिप्पणी ===
 उपरोक्त कथनों के अनुसार, विट्टन का निष्कर्ष स्कोएन और याउ के निष्कर्ष से अधिक मजबूत है। हालाँकि, स्कोएन और यॉ द्वारा एक तीसरा पेपर <ref>{{cite journal |last1=Schoen |first1=Richard |last2=Yau |first2=Shing Tung |title=सामान्य सापेक्षता में अंतरिक्ष-समय की ऊर्जा और रैखिक गति|journal=Comm. Math. Phys. |date=1981 |volume=79 |issue=1 |pages=47–51|doi=10.1007/BF01208285 |s2cid=120151656 }}</ref> दिखाता है कि उनका 1981 का परिणाम विटन्स का तात्पर्य है, केवल अतिरिक्त धारणा को बनाए रखना <math>|x|^4 R^{\Phi_i^\ast g}</math> और <math>|x|^5 \partial_pR^{\Phi_i^\ast g}</math> किसी के लिए बाध्य हैं <math>p.</math> यह भी ध्यान दिया जाना चाहिए कि स्कोएन और याओ का 1981 का परिणाम उन पर निर्भर करता है
-का परिणाम, जो विरोधाभास से सिद्ध होता है; इसलिए उनके 1981 के परिणाम का विस्तार भी विरोधाभासी है। इसके विपरीत, Witten का प्रमाण तार्किक रूप से प्रत्यक्ष है, ADM ऊर्जा को सीधे एक गैर-नकारात्मक मात्रा के रूप में प्रदर्शित करता है। इसके अलावा, मामले में विटन का सबूत <math>\operatorname{tr}_gk=0</math> टोपोलॉजिकल स्थिति के तहत उच्च-आयामी मैनिफोल्ड्स के लिए बहुत प्रयास किए बिना बढ़ाया जा सकता है कि मैनिफोल्ड एक स्पिन संरचना को स्वीकार करता है। <ref>{{cite journal |last1=Bartnik |first1=Robert |title=एक असम्बद्ध रूप से फ्लैट मैनिफोल्ड का द्रव्यमान|journal=Comm. Pure Appl. Math. |date=1986 |volume=39 |issue=5 |pages=661–693|doi=10.1002/cpa.3160390505 }}</ref> स्कोएन और याउ के 1979 के परिणाम और प्रमाण को आठ से कम किसी भी आयाम के मामले में बढ़ाया जा सकता है। <ref>{{cite book |last1=Schoen |first1=Richard M. |chapter=Variational theory for the total scalar curvature functional for Riemannian metrics and related topics |title=Topics in calculus of variations (Montecatini Terme, 1987) |date=1989 |pages=120–154 |series=Lecture Notes in Mathematics |volume=1365 |publisher=Springer |location= Berlin}}</ref> हाल ही में, स्कोएन और याउ (1981) के तरीकों का उपयोग करते हुए विटन के परिणाम को उसी संदर्भ में विस्तारित किया गया है। <ref>{{cite journal |last1=Eichmair |first1=Michael |last2=Huang |first2=Lan-Hsuan |last3=Lee |first3=Dan A. |last4=Schoen |first4=Richard |title=अंतरिक्ष-समय सकारात्मक द्रव्यमान प्रमेय आठ से कम आयामों में|journal=[[Journal of the European Mathematical Society]] |date=2016 |volume=18 |issue=1 |pages=83–121|doi=10.4171/JEMS/584 |doi-access=free |s2cid=119633794 |arxiv=1110.2087 }}</ref> संक्षेप में: स्कोएन और याउ के तरीकों का पालन करते हुए, सकारात्मक ऊर्जा प्रमेय आठ से कम आयाम में सिद्ध किया गया है, जबकि विट्टन का अनुसरण करते हुए, यह किसी भी आयाम में सिद्ध हुआ है, लेकिन स्पिन मैनिफोल्ड्स की सेटिंग पर प्रतिबंध के साथ।
+का परिणाम, जो विरोधाभास से सिद्ध होता है; इसलिए उनके 1981 के परिणाम का विस्तार भी विरोधाभासी है। इसके विपरीत, विटेन का प्रमाण तार्किक रूप से प्रत्यक्ष है, एडीएम ऊर्जा को सीधे एक गैर-नकारात्मक मात्रा के रूप में प्रदर्शित करता है। इसके अलावा, मामले में विटन का सबूत <math>\operatorname{tr}_gk=0</math> टोपोलॉजिकल स्थिति के तहत उच्च-आयामी मैनिफोल्ड्स के लिए बहुत प्रयास किए बिना बढ़ाया जा सकता है कि मैनिफोल्ड एक स्पिन संरचना को स्वीकार करता है। <ref>{{cite journal |last1=Bartnik |first1=Robert |title=एक असम्बद्ध रूप से फ्लैट मैनिफोल्ड का द्रव्यमान|journal=Comm. Pure Appl. Math. |date=1986 |volume=39 |issue=5 |pages=661–693|doi=10.1002/cpa.3160390505 }}</ref> स्कोएन और याउ के 1979 के परिणाम और प्रमाण को आठ से कम किसी भी आयाम के मामले में बढ़ाया जा सकता है। <ref>{{cite book |last1=Schoen |first1=Richard M. |chapter=Variational theory for the total scalar curvature functional for Riemannian metrics and related topics |title=Topics in calculus of variations (Montecatini Terme, 1987) |date=1989 |pages=120–154 |series=Lecture Notes in Mathematics |volume=1365 |publisher=Springer |location= Berlin}}</ref> हाल ही में, स्कोएन और याउ (1981) के तरीकों का उपयोग करते हुए विटन के परिणाम को उसी संदर्भ में विस्तारित किया गया है। <ref>{{cite journal |last1=Eichmair |first1=Michael |last2=Huang |first2=Lan-Hsuan |last3=Lee |first3=Dan A. |last4=Schoen |first4=Richard |title=अंतरिक्ष-समय सकारात्मक द्रव्यमान प्रमेय आठ से कम आयामों में|journal=[[Journal of the European Mathematical Society]] |date=2016 |volume=18 |issue=1 |pages=83–121|doi=10.4171/JEMS/584 |doi-access=free |s2cid=119633794 |arxiv=1110.2087 }}</ref> संक्षेप में: स्कोएन और याउ के तरीकों का पालन करते हुए, सकारात्मक ऊर्जा प्रमेय आठ से कम आयाम में सिद्ध किया गया है, जबकि विट्टन का अनुसरण करते हुए, यह किसी भी आयाम में सिद्ध हुआ है, लेकिन स्पिन मैनिफोल्ड्स की समुच्चयिंग पर प्रतिबंध के साथ।
 अप्रैल 2017 तक, स्कोएन और याउ ने  प्रीप्रिंट जारी किया है जो विशेष मामले में सामान्य उच्च-आयामी मामला साबित करता है <math>\operatorname{tr}_gk=0,</math> आयाम या टोपोलॉजी पर बिना किसी प्रतिबंध के। हालाँकि, यह अभी तक (मई 2020 तक)  अकादमिक पत्रिका में नहीं आया है।

Anonymous

Search

सकारात्मक ऊर्जा प्रमेय: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:34, 17 April 2023

Contents

ऐतिहासिक सिंहावलोकन

प्रारंभिक विवरण समुच्चय