हार्मोनिक मैप: Difference between revisions

Latest revision as of 21:47, 3 May 2023

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

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

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

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

मैनिफोल्ड्स के बीच मैपिंग की ज्यामिति

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

स्थानीय निर्देशांक

$U$ को $ℝ m$ का एक खुला उपसमुच्चय होने दें और $V$ को $ℝ n$ का एक खुला उपसमुच्चय होने दें। 1 और $n$ के बीच प्रत्येक $i$ और $j$ के लिए, $g ij$ को $U$ पर एक सहज वास्तविक-मूल्यवान फलन होने दें, जैसे कि $U$ में प्रत्येक $p$ के लिए, एक के पास $m \times m$ मैट्रिक्स $[g ij (p)]$ और सकारात्मक-निश्चित है . 1 और $m$ के बीच प्रत्येक $α$ और $β$ के लिए, $h αβ$ को $V$ पर एक सहज वास्तविक-मूल्यवान कार्य होने दें, जैसे कि $V$ में प्रत्येक $q$ के लिए, $n \times n$ मैट्रिक्स $[h αβ (q)]$ सममित और सकारात्मक-निश्चित है . प्रतिलोम आव्यूहों को $[g ij (p)]$ और $[h αβ (q)]$ से निरूपित करें।

प्रत्येक के लिए $i, j, k$ 1 और के बीच $n$ और प्रत्येक $α, β, γ$ 1 और के बीच $m$ क्रिस्टोफेल प्रतीकों को परिभाषित करें $Γ(g) k ij : U \to ℝ$ और $Γ(h) γ αβ : V \to ℝ$ द्वारा^[4]

{\begin{aligned}\Gamma (g)_{ij}^{k}&={\frac {1}{2}}\sum _{\ell =1}^{m}g^{k\ell }{\Big (}{\frac {\partial g_{j\ell }}{\partial x^{i}}}+{\frac {\partial g_{i\ell }}{\partial x^{j}}}-{\frac {\partial g_{ij}}{\partial x^{\ell }}}{\Big )}\\\Gamma (h)_{\alpha \beta }^{\gamma }&={\frac {1}{2}}\sum _{\delta =1}^{n}h^{\gamma \delta }{\Big (}{\frac {\partial h_{\beta \delta }}{\partial y^{\alpha }}}+{\frac {\partial h_{\alpha \delta }}{\partial y^{\beta }}}-{\frac {\partial h_{\alpha \beta }}{\partial y^{\delta }}}{\Big )}\end{aligned}}

एक सुचारू नक्शा दिया $f$ से $U$ को $V$ , इसका दूसरा मूलभूत रूप प्रत्येक के लिए परिभाषित करता है $i$ और $j$ 1 और के बीच $m$ और प्रत्येक के लिए $α$ 1 और के बीच $n$ वास्तविक-मूल्यवान कार्य $\nabla(df) α ij$ पर $U$ द्वारा^[5]

\nabla (df)_{ij}^{\alpha }={\frac {\partial ^{2}f^{\alpha }}{\partial x^{i}\partial x^{j}}}-\sum _{k=1}^{m}\Gamma (g)_{ij}^{k}{\frac {\partial f^{\alpha }}{\partial x^{k}}}+\sum _{\beta =1}^{n}\sum _{\gamma =1}^{n}{\frac {\partial f^{\beta }}{\partial x^{i}}}{\frac {\partial f^{\gamma }}{\partial x^{j}}}\Gamma (h)_{\beta \gamma }^{\alpha }\circ f.

इसका लाप्लासियन प्रत्येक के लिए परिभाषित करता है $α$ 1 और के बीच $n$ वास्तविक-मूल्यवान कार्य $(∆ f) α$ पर $U$ द्वारा^[6]

(\Delta f)^{\alpha }=\sum _{i=1}^{m}\sum _{j=1}^{m}g^{ij}\nabla (df)_{ij}^{\alpha }.

बंडल औपचारिकता

चलो $(M, g)$ और $(N, h)$ रीमैनियन कई गुना हो। $M$ से $N$ तक एक सुचारू मानचित्र $f$ दिया गया है, कोई वेक्टर बंडल $T * M \otimes f * TN$ ऊपर $M$ के एक खंड के रूप में इसके अंतर $df$ पर विचार कर सकता है; इसका अर्थ यह है कि $M$ में प्रत्येक $p$ के लिए, स्पर्शरेखा रिक्त स्थान $T p M \to T f(p) N$ के बीच एक रैखिक मानचित्र $df p$ है। [7] वेक्टर बंडल $T * M \otimes f * TN$ में $M$ और $N$ पर लेवी-सिविता कनेक्शन से प्रेरित एक कनेक्शन है।^[7] तो कोई सहसंयोजक व्युत्पन्न $\nabla(df)$ ले सकता है, जो सदिश बंडल $T * M \otimes T * M \otimes f * TN$ ऊपर $M$ का एक भाग है; कहने का तात्पर्य यह है कि $M$ में प्रत्येक $p$ के लिए, किसी के पास स्पर्शरेखा रिक्त स्थान $T p M \times T p M \to T f(p) N$ का एक द्विरेखीय नक्शा $(\nabla(df)) p$ होता है।^[8] इस खंड को $f$ के हेसियन के रूप में जाना जाता है।

$g$ का उपयोग करके, $f$ के लेपलासीन पर पहुंचने के लिए $f$ के हेसियन का पता लगाया जा सकता है, जो बंडल $f * TN$ ऊपर $M$ ; का एक भाग है; यह कहता है कि $f$ का लैपलेशियन प्रत्येक $p$ को $M$ में स्पर्शरेखा स्थान $T f (p) N$ का एक तत्व प्रदान करता है।^[9] ट्रेस संचालिका की परिभाषा के अनुसार, लैपलासीन को इस रूप में लिखा जा सकता है

(\Delta f)_{p}=\sum _{i=1}^{m}{\big (}\nabla (df){\big )}_{p}(e_{i},e_{i})

जहाँ $e 1, ..., e m$ , $T p M$ का कोई $g p$ -ऑर्थोनॉर्मल आधार है ॥

डिरिचलेट ऊर्जा और इसकी भिन्नता सूत्र

स्थानीय निर्देशांक के दृष्टिकोण से, जैसा कि ऊपर दिया गया है, मैपिंग $f$ का ऊर्जा घनत्व $U$ पर दिया गया वास्तविक-मूल्यवान कार्य है^[10]

{\frac {1}{2}}\sum _{i=1}^{m}\sum _{j=1}^{m}\sum _{\alpha =1}^{n}\sum _{\beta =1}^{n}g^{ij}{\frac {\partial f^{\alpha }}{\partial x^{i}}}{\frac {\partial f^{\beta }}{\partial x^{j}}}(h_{\alpha \beta }\circ f).

वैकल्पिक रूप से, बंडल औपचारिकता में, $M$ और $N$ पर रिमेंनियन मेट्रिक्स $T * M \otimes f * TN$ पर एक बंडल मीट्रिक प्रेरित करते हैं, और इसलिए ऊर्जा घनत्व को सुचारू कार्य के रूप में परिभाषित किया जा सकता है। $.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/2 | df |2$ पर $M$ .^[11] यह भी संभव है कि ऊर्जा घनत्व को पहले मौलिक रूप के $g$ ट्रेस द्वारा (आधा) दिया जा रहा है।^[12] दृष्टिकोण के अतिरिक्त , ऊर्जा घनत्व $e (f)$ $M$ पर कार्य है जो सुचारू और गैर-ऋणात्मक है। यदि $M$ उन्मुख है और $M$ सघन है, $f$ की डिरिचलेट ऊर्जा परिभाषित किया जाता है

E(f)=\int _{M}e(f)\,d\mu _{g}

जहाँ $dμ g$ , $g$ द्वारा प्रेरित $M$ पर आयतन रूप है।.^[13] चूंकि किसी भी गैर-ऋणात्मक मापने योग्य कार्य में अच्छी तरह से परिभाषित लेबेसेग अभिन्न अंग है, यह प्रतिबंध लगाने के लिए आवश्यक नहीं है कि $M$ कॉम्पैक्ट है; चूँकि , तब डिरिचलेट ऊर्जा अनंत हो सकती है।

डिरिचलेट ऊर्जा के लिए भिन्नता सूत्र डिरिचलेट ऊर्जा $E (f)$ व्युत्पत्ति की गणना करते हैं क्योंकि मैपिंग $f$ विकृत है। इसके लिए, मानचित्रों के एक-पैरामीटर वर्ग पर विचार करें $f s : M \to N$ $f 0 = f$ के साथ जिसके लिए $M$ का एक प्रीकंपैक्ट ओपन सेट $K$ उपस्थित है जैसे कि $f s | M - K = f | M - K$ सभी $s$ ;के लिए मानता है कि पैरामीट्रिज्ड वर्ग इस मायने में सुचारू है कि संबंधित मानचित्र $(-ε, ε) \times M \to N$ द्वारा दिए गए $(s, p) \mapsto f s (p)$ सुचारू है।

पहला भिन्नता सूत्र कहता है कि^[14]

\int _{M}{\frac {\partial }{\partial s}}{\Big |}_{s=0}e(f_{s})\,d\mu _{g}=-\int _{M}h\left({\frac {\partial }{\partial s}}{\Big |}_{s=0}f_{s},\Delta f\right)\,d\mu _{g}

सीमा के साथ कई गुना के लिए संस्करण भी है।^[15]

दूसरा भिन्नता सूत्र भी है।^[16]

प्रथम भिन्नता सूत्र के कारण, लाप्लासियन का $f$ को डिरिचलेट ऊर्जा की प्रवणता के रूप में सोचा जा सकता है; तदनुसार, हार्मोनिक नक्शा डिरिचलेट ऊर्जा का महत्वपूर्ण बिंदु है।^[17] यह औपचारिक रूप से वैश्विक विश्लेषण और बनच कई गुना की भाषा में किया जा सकता है।

हार्मोनिक मानचित्रों के उदाहरण

होने देना $(M, g)$ और $(N, h)$ सुचारू रीमैनियन मैनिफोल्ड्स बनें अंकन $g stan$ का उपयोग यूक्लिडियन अंतरिक्ष पर मानक रिमेंनियन मीट्रिक को संदर्भित करने के लिए किया जाता है।

हर पूरी तरह से जियोडेसिक नक्शा (M, g) → (N, h) हार्मोनिक है; यह उपरोक्त परिभाषाओं से सीधे अनुसरण करता है। विशेष स्थिति के रूप में:
- किसी के लिए $q$ में $N$ , स्थिर नक्शा $(M, g) \to (N, h)$ मान है $q$ हार्मोनिक है।
- पहचान मानचित्र $(M, g) \to (M, g)$ हार्मोनिक है।
यदि f : M → N तब विसर्जन (गणित) है f : (M, f^*h) → (N, h) हार्मोनिक है यदि और केवल यदि f के सापेक्ष न्यूनतम सबमेनिफोल्ड है h. विशेष स्थिति के रूप में:
- यदि $f : ℝ \to (N, h)$ स्थिर-गति विसर्जन है, तब $f : (ℝ, g stan) \to (N, h)$ हार्मोनिक है यदि और केवल यदि $f$ जियोडेसिक विभेदक समीकरण को हल करता है।

याद रखें कि यदि

M

आयामी है, तो

f

की न्यूनतम

f

के जियोडेसिक होने के समान है , चूँकि इसका अर्थ यह नहीं है कि यह स्थिर-गति वाला पैरामीट्रिजेशन है, और इसलिए इसका अर्थ यह नहीं है की

f

जियोडेसिक विभेदक समीकरण को हल करता है।

एक सुचारू नक्शा $f : (M, g) \to (ℝ n, g stan)$ हार्मोनिक है यदि और केवल यदि इसके प्रत्येक $n$ घटक कार्य नक्शे के रूप में हार्मोनिक हैं $(M, g) \to (ℝ, g stan)$ . यह लाप्लास-बेल्ट्रामी ऑपरेटर द्वारा प्रदान की गई सामंजस्य की धारणा के साथ मेल खाता है।
काहलर मैनिफोल्ड्स के बीच हर होलोमॉर्फिक नक्शा हार्मोनिक है।
रीमैनियन मैनिफोल्ड्स के बीच हर हार्मोनिक रूपवाद हार्मोनिक है।

हार्मोनिक मैप उष्णता प्रवाह

सुदृढ़ता

होने देना $(M, g)$ और $(N, h)$ सुचारू रीमैनियन मैनिफोल्ड्स बनें अंतराल $(a, b)$ पर हार्मोनिक नक्शा गर्मी प्रवाह प्रत्येक $t$ में $(a, b)$ दो बार अलग-अलग नक्शा $f t : M \to N$ इस तरह से असाइन करता है कि, $M$ में $p$ प्रत्येक के लिए , वो नक्शा $(a, b) \to N$ $t \mapsto f t (p)$ अलग-अलग है, और $t$ इसका व्युत्पन्न दिए गए मान पर इसका व्युत्पन्न, $T f t (p) N$ में एक वेक्टर के रूप में, $(∆ f t) p$ के समान है। इसे सामान्यतः संक्षिप्त किया जाता है:

{\frac {\partial f}{\partial t}}=\Delta f.

ईल्स और सैम्पसन ने हार्मोनिक मैप उष्णता प्रवाह प्रस्तुत किया और निम्नलिखित मूलभूत गुणों को सिद्ध किया:

नियमितता। मानचित्र के रूप में कोई हार्मोनिक मानचित्र $(a, b) \times M \to N$ द्वारा दिए गए $(t, p) \mapsto f t (p)$ .ताप प्रवाह सुचारू है

अब मान लीजिए $M$ बंद कई गुना है और $(N, h)$ भौगोलिक रूप से पूर्ण है।

अस्तित्व। $M$ से $N$ तक एक लगातार अलग-अलग मानचित्र $f$ को देखते हुए, अंतराल $(0, T)$ पर एक सकारात्मक संख्या $T$ और एक हार्मोनिक नक्शा ताप प्रवाह $f t$ उपस्थित है, जैसे कि $C 1$ टोपोलॉजी में $f t$ , $f$ में परिवर्तित हो जाता है क्योंकि $t$ 0 तक घट जाती है।^[18]
विशिष्टता। ${f t : 0 < t < T}$ और ${f t : 0 < t < T}$ अस्तित्व प्रमेय के अनुसार दो हार्मोनिक मैप उष्णता प्रवाह हैं, फिर $f t = f t$ जहां $0 < t < min(T, T)$ है।

विशिष्टता प्रमेय के परिणामस्वरूप, प्रारंभिक डेटा $f$ के साथ अधिकतम हार्मोनिक मानचित्र ताप प्रवाह उपस्थित है , जिसका अर्थ है कि किसी के पास हार्मोनिक मैप उष्णता प्रवाह ${f t : 0 < t < T}$ है अस्तित्व प्रमेय के कथन के रूप में, और यह विशिष्ट रूप से अतिरिक्त मानदंड के तहत परिभाषित किया गया है $T$ इसका अधिकतम संभव मान लेता है, जो अनंत हो सकता है।

ईल्स और सैम्पसन की प्रमेय

ईल्स और सैम्पसन के 1964 के पेपर का प्राथमिक परिणाम निम्नलिखित है:^[1]

चलो $(M, g)$ और $(N, h)$ चिकने और बंद रिमेंनियन कई गुना हो, और मान लीजिए कि Template:गणित का अनुभागीय वक्रता सकारात्मक नहीं है। फिर $f$ से $M$ से $N$ तक लगातार अलग-अलग होने वाले किसी भी मैप के लिए, मैक्सिमम हार्मोनिक मैप हीट फ्लो ${f t : 0 < t < T}$ प्रारंभिक डेटा के साथ $f$ है $T = \infty$ , और जैसे ही $t$ बढ़कर $\infty$ हो जाता है, मैप्स $f't$ बाद में C^∞ टोपोलॉजी में एक हार्मोनिक मानचित्र में परिवर्तित हो जाता है।

विशेष रूप से, यह दर्शाता है कि, पर मान्यताओं के तहत $(M, g)$ और $(N, h)$ , हर निरंतर नक्शा हार्मोनिक मानचित्र के समरूप है।^[1] प्रत्येक होमोटॉपी वर्ग में हार्मोनिक मानचित्र का अस्तित्व, जो स्पष्ट रूप से मुखर हो रहा है, परिणाम का भाग है। एल्स और सैम्पसन के काम के तुरंत बाद, फिलिप हार्टमैन ने होमोटॉपी कक्षाओं के अंदर हार्मोनिक मानचित्रों की विशिष्टता का अध्ययन करने के लिए अपने विधि का विस्तार किया, साथ ही यह दिखाया कि ईल्स-सैम्पसन प्रमेय में अभिसरण शसक्त है, बिना किसी क्रम का चयन करने की आवश्यकता के^[19] एल्स और सैम्पसन के परिणाम को रिचर्ड एस. हैमिल्टन द्वारा डिरिचलेट सीमा स्थिति की स्थापना के लिए अनुकूलित किया गया था, जब $M$ इसके अतिरिक्त गैर-खाली सीमा के साथ कॉम्पैक्ट है।^[20]

एकवचन और अशक्त समाधान

एल्स और सैम्पसन के काम के बाद कई वर्षों तक, यह स्पष्ट नहीं था कि अनुभागीय वक्रता की धारणा किस हद तक है $(N, h)$ आवश्यक था। 1992 में कुंग-चिंग चांग, वेई-यू डिंग और रगांग ये के काम के बाद, यह व्यापक रूप से स्वीकार किया जाता है कि हार्मोनिक नक्शा गर्मी प्रवाह के अस्तित्व का अधिकतम समय सामान्यतः अनंत होने की उम्मीद नहीं की जा सकती।^[21] उनके परिणाम दृढ़ता से सुझाव देते हैं कि हार्मोनिक मानचित्र ताप प्रवाह दोनों के होने पर भी परिमित-समय के विस्फोट के साथ होता है $(M, g)$ और $(N, h)$ को इसके मानक मीट्रिक के साथ द्वि-आयामी क्षेत्र के रूप में लिया जाता है। चूंकि अण्डाकार और परवलयिक आंशिक अंतर समीकरण विशेष रूप से सुचारू होते हैं जब डोमेन दो आयाम होता है, चांग-डिंग-ये परिणाम को प्रवाह के सामान्य चरित्र का संकेत माना जाता है।

सैक्स और उहलेनबेक के मौलिक कार्यों पर आधारित, माइकल स्ट्रूवे ने उस स्थिति पर विचार किया जहां पर कोई ज्यामितीय धारणा नहीं थी $(N, h)$ से बना। उस स्थिति में $M$ द्वि-आयामी है, उन्होंने हार्मोनिक मैप उष्णता प्रवाह के अशक्त समाधान के लिए बिना नियम अस्तित्व और विशिष्टता की स्थापना की।^[22] इसके अतिरिक्त , उन्होंने पाया कि उनके अशक्त समाधान बहुत से अंतरिक्ष-समय बिंदुओं से आसानी से दूर हो जाते हैं, जिस पर ऊर्जा घनत्व केंद्रित होता है। सूक्ष्म स्तरों पर, इन बिंदुओं के निकट प्रवाह को बुलबुले द्वारा प्रतिरूपित किया जाता है, अर्थात गोल 2-गोले से लक्ष्य में सहज हार्मोनिक नक्शा। वेइयु डिंग और गिरोह टीआई प्रेस एकवचन समय में ऊर्जा परिमाणीकरण को सिद्ध करने में सक्षम थे, जिसका अर्थ है कि स्ट्रूवे के अशक्त समाधान की डिरिचलेट ऊर्जा, विलक्षण समय पर, उस समय विलक्षणता के अनुरूप बुलबुले की कुल डिरिचलेट ऊर्जा के योग से कम हो जाती है। .^[23]

स्ट्रूवे बाद में अपने विधि को उच्च आयामों में अनुकूलित करने में सक्षम थे, इस स्थिति में कि डोमेन मैनिफोल्ड यूक्लिडियन अंतरिक्ष है;^[24] उन्होंने और युन मेई चेन ने भी उच्च-आयामी बंद मैनिफोल्ड्स पर विचार किया।^[25] उनके परिणाम निम्न आयामों की तुलना में कम प्राप्त हुए, केवल अशक्त समाधानों के अस्तित्व को सिद्ध करने में सक्षम होने के कारण जो खुले घने उपसमुच्चय पर सहज हैं।

बोचनर सूत्र और कठोरता

ईल्स और सैम्पसन के प्रमेय के प्रमाण में मुख्य कम्प्यूटेशनल बिंदु हार्मोनिक मानचित्र ताप प्रवाह की सेटिंग के लिए बोचनर के सूत्र का अनुकूलन है। ${f t : 0 < t < T}$ . यह सूत्र कहता है^[26]

{\Big (}{\frac {\partial }{\partial t}}-\Delta ^{g}{\Big )}e(f)=-{\big |}\nabla (df){\big |}^{2}-{\big \langle }\operatorname {Ric} ^{g},f^{\ast }h{\big \rangle }_{g}+\operatorname {scal} ^{g}{\big (}f^{\ast }\operatorname {Rm} ^{h}{\big )}.

यह हार्मोनिक मानचित्रों के विश्लेषण में भी रूचि रखता है। कल्पना करना $f : M \to N$ हार्मोनिक है; किसी भी हार्मोनिक मानचित्र को निरंतर-इन-के रूप में देखा जा सकता है $t$ हार्मोनिक मैप उष्णता प्रवाह का समाधान, और इसलिए उपरोक्त सूत्र से प्राप्त होता है^[27]

\Delta ^{g}e(f)={\big |}\nabla (df){\big |}^{2}+{\big \langle }\operatorname {Ric} ^{g},f^{\ast }h{\big \rangle }_{g}-\operatorname {scal} ^{g}{\big (}f^{\ast }\operatorname {Rm} ^{h}{\big )}.

यदि $g$ रिक्की की वक्रता सकारात्मक है और $h$ का अनुभागीय वक्रता सकारात्मक नहीं है, तो इसका तात्पर्य है कि $∆ e (f)$ अऋणात्मक है। यदि $M$ बंद है, तो $e (f)$ गुणा और भागों द्वारा एकल एकीकरण यह दर्शाता है कि $e (f)$ स्थिर होना चाहिए, और इसलिए शून्य; इस तरह $f$ स्वयं स्थिर होना चाहिए।^[28] रिचर्ड स्कोएन और शिंग-तुंग यौ ने नोट किया कि इस तर्क को नॉनकॉम्पैक्ट $M$ तक बढ़ाया जा सकता है यौ के प्रमेय का उपयोग करके यह दावा करते हुए कि गैर-ऋणात्मक सबहार्मोनिक कार्य जो $L 2$ -बाध्य स्थिर होना चाहिए।^[29] संक्षेप में, इन परिणामों के अनुसार, किसी के पास है:

मान लें कि $(M, g)$ और $(N, h)$ सुचारू और पूर्ण रीमानियन कई गुना हो, और $(N, h)$ {mvar|f}} $M$ से $N$ तक एक हार्मोनिक मानचित्र बनें। मान लीजिए कि $g$ की रिक्की वक्रता सकारात्मक है और $h$ की अनुभागीय वक्रता गैर-धनात्मक है।
अगर $M$ और $N$ दोनों बंद हैं तो $f$ स्थिर होना चाहिए।

यदि $N$ बंद है और $f$ में परिमित डिरिचलेट ऊर्जा है, तो यह स्थिर होना चाहिए।

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

एक सामान्य मानचित्र को हार्मोनिक मानचित्र में विकृत करने का सामान्य विचार, और फिर यह दर्शाता है कि ऐसा कोई भी हार्मोनिक मानचित्र स्वचालित रूप से अत्यधिक प्रतिबंधित वर्ग का होना चाहिए, कई अनुप्रयोगों को मिला है। उदाहरण के लिए, यम-टोंग सिउ ने बोचनर सूत्र का महत्वपूर्ण जटिल-विश्लेषणात्मक संस्करण पाया, जिसमें कहा गया है कि काहलर मैनिफोल्ड्स के बीच हार्मोनिक मानचित्र होलोमोर्फिक होना चाहिए, परंतु कि लक्ष्य मैनिफोल्ड में उचित ऋणात्मक वक्रता हो।^[30] अनुप्रयोग के रूप में, हार्मोनिक मानचित्रों के लिए ईल्स-सैम्पसन अस्तित्व प्रमेय का उपयोग करके, वह यह दिखाने में सक्षम था कि यदि $(M, g)$ और $(N, h)$ चिकने और बंद काहलर कई गुना होते हैं, और यदि वक्रता होती है $(N, h)$ उचित रूप से ऋणात्मक है, तो $M$ और $N$ बाइहोलोमॉर्फिक या एंटी-बिहोलोमॉर्फिक होना चाहिए यदि वे दूसरे के समरूप हैं; बिहोलोमोर्फिज्म (या एंटी-बिहोलोमोर्फिज्म) स्पष्ट रूप से हार्मोनिक मैप है जो होमोटॉपी द्वारा दिए गए प्रारंभिक डेटा के साथ हार्मोनिक मैप उष्णता प्रवाह की सीमा के रूप में निर्मित होता है। उसी दृष्टिकोण के वैकल्पिक सूत्रीकरण के द्वारा, सिउ ऋणात्मक वक्रता के प्रतिबंधित संदर्भ में, अभी भी अनसुलझे हॉज अनुमान के संस्करण को सिद्ध करने में सक्षम था।

केविन कॉरलेट ने सिउ के बोचनर फॉर्मूले का महत्वपूर्ण विस्तार पाया, और इसका उपयोग कुछ झूठ समूह में जाली के लिए नई अति कठोरता सिद्ध करने के लिए किया ।^[31] इसके बाद, मिखाइल लियोनिदोविच ग्रोमोव और रिचर्ड स्कोएन ने अनुमति देने के लिए हार्मोनिक मानचित्रों के सिद्धांत का विस्तार किया $(N, h)$ को मीट्रिक स्थान से बदलना है।^[32] ईल्स-सैम्पसन प्रमेय के विस्तार के साथ सिउ-कॉर्लेट बोचनर सूत्र के विस्तार के साथ, वे जाली के लिए नई कठोरता प्रमेय सिद्ध करने में सक्षम थे।

समस्याएं और अनुप्रयोग

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

मीट्रिक रिक्त स्थान के बीच हार्मोनिक मानचित्र

दो मीट्रिक रिक्त स्थान के बीच कार्य u : M → N के लिए अशक्त सेटिंग में ऊर्जा अभिन्न तैयार किया जा सकता है। इसके अतिरिक्त ऊर्जा एकीकृत प्रपत्र का एक कार्य है

e_{\epsilon }(u)(x)={\frac {\int _{M}d^{2}(u(x),u(y))\,d\mu _{x}^{\epsilon }(y)}{\int _{M}d^{2}(x,y)\,d\mu _{x}^{\epsilon }(y)}}

जिसमें μ^ε
_x M के प्रत्येक बिंदु से जुड़े माप (गणित) का वर्ग है।^[33]

यह भी देखें

ज्यामितीय प्रवाह

संदर्भ

Footnotes

↑ ^1.0 ^1.1 ^1.2 Eells & Sampson 1964, Section 11A.
↑ Sacks & Uhlenbeck 1981.
↑ Schoen & Uhlenbeck 1982; Schoen & Uhlenbeck 1983.
↑ Aubin 1998, p.6; Hélein 2002, p.6; Jost 2017, p.489; Lin & Wang 2008, p.2.
↑ Aubin 1998, p.349; Eells & Lemaire 1978, p.9; Eells & Lemaire 1983, p.15; Hamilton 1975, p.4.
↑ Aubin 1998, Definition 10.2; Eells & Lemaire 1978, p.9; Eells & Lemaire 1983, p.15; Eells & Sampson 1964, Section 2B; Hamilton 1975, p.4; Lin & Wang 2008, p.3.
↑ Eells & Lemaire 1983, p.4.
↑ Eells & Lemaire 1978, p.8; Eells & Sampson 1964, Section 3B; Hamilton 1975, p.4.
↑ Eells & Lemaire 1978, p.9; Hamilton 1975, p.4; Jost 2017, p.494.
↑ Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Hélein 2002, p.7; Jost 2017, p.489; Lin & Wang 2008, p.1; Schoen & Yau 1997, p.1.
↑ Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Jost 2017, p.490-491.
↑ Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Eells & Sampson 1964, Section 1A; Jost 2017, p.490-491; Schoen & Yau 1997, p.1.
↑ Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Eells & Sampson 1964, Section 1A; Hélein 2002, p.7; Jost 2017, p.491; Lin & Wang 2008, p.1; Schoen & Yau 1997, p.2.
↑ Aubin 1998, Proposition 10.2; Eells & Lemaire 1978, p.11; Eells & Lemaire 1983, p.14; Eells & Sampson 1964, Section 2B; Jost 2017, Formula 9.1.13.
↑ Hamilton 1975, p.135.
↑ Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.28; Lin & Wang 2008, Proposition 1.6.2.
↑ Aubin 1998, Definition 10.3; Eells & Lemaire 1978, p.11; Eells & Lemaire 1983, p.14.
↑ This means that, relative to any local coordinate charts, one has uniform convergence on compact sets of the functions and their first partial derivatives.
↑ Hartman 1967, Theorem B.
↑ Hamilton 1975, p.157-161.
↑ Chang, Ding & Ye 1992; Lin & Wang 2008, Section 6.3.
↑ Struwe 1985.
↑ Ding & Tian 1995.
↑ Struwe 1988.
↑ Chen & Struwe 1989.
↑ Eells & Sampson 1964, Section 8A; Hamilton 1975, p.128-130; Lin & Wang 2008, Lemma 5.3.3.
↑ Aubin 1998, Lemma 10.11; Eells & Sampson 1964, Section 3C; Jost 1997, Formula 5.1.18; Jost 2017, Formula 9.2.13; Lin & Wang 2008, Theorem 1.5.1.
↑ Aubin 1998, Corollary 10.12; Eells & Sampson 1964, Section 3C; Jost 1997, Theorem 5.1.2; Jost 2017, Corollary 9.2.3; Lin & Wang 2008, Proposition 1.5.2.
↑ Schoen & Yau 1976, p.336-337.
↑ Siu 1980.
↑ Corlette 1992.
↑ Gromov & Schoen 1992.
↑ Jost 1994, Definition 1.1.

Articles

Chang, Kung-Ching; Ding, Wei Yue; Ye, Rugang (1992). "Finite-time blow-up of the heat flow of harmonic maps from surfaces". Journal of Differential Geometry. 36 (2): 507–515. doi:10.4310/jdg/1214448751. MR 1180392. Zbl 0765.53026.
Chen, Yun Mei; Struwe, Michael (1989). "Existence and partial regularity results for the heat flow for harmonic maps". Mathematische Zeitschrift. 201 (1): 83–103. doi:10.1007/BF01161997. MR 0990191. S2CID 11210055. Zbl 0652.58024.
Corlette, Kevin (1992). "Archimedean superrigidity and hyperbolic geometry". Annals of Mathematics. Second Series. 135 (1): 165–182. doi:10.2307/2946567. JSTOR 2946567. MR 1147961. Zbl 0768.53025.
Ding, Weiyue; Tian, Gang (1995). "Energy identity for a class of approximate harmonic maps from surfaces". Communications in Analysis and Geometry. 3 (3–4): 543–554. doi:10.4310/CAG.1995.v3.n4.a1. MR 1371209. Zbl 0855.58016.
Eells, James Jr.; Sampson, J. H. (1964). "Harmonic mappings of Riemannian manifolds". American Journal of Mathematics. 86 (1): 109–160. doi:10.2307/2373037. JSTOR 2373037. MR 0164306. Zbl 0122.40102.
Gromov, Mikhail; Schoen, Richard (1992). "Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one". Publications Mathématiques de l'Institut des Hautes Études Scientifiques. 76: 165–246. doi:10.1007/bf02699433. MR 1215595. S2CID 118023776. Zbl 0896.58024.
Hartman, Philip (1967). "On homotopic harmonic maps". Canadian Journal of Mathematics. 19: 673–687. doi:10.4153/cjm-1967-062-6. MR 0214004. S2CID 13381249. Zbl 0148.42404.
Jost, Jürgen (1994). "Equilibrium maps between metric spaces". Calculus of Variations and Partial Differential Equations. 2 (2): 173–204. doi:10.1007/BF01191341. MR 1385525. S2CID 122184265. Zbl 0798.58021.
Sacks, J.; Uhlenbeck, K. (1981). "The existence of minimal immersions of 2-spheres". Annals of Mathematics. Second Series. 113 (1): 1–24. doi:10.2307/1971131. JSTOR 1971131. MR 0604040. Zbl 0462.58014.
Schoen, Richard; Uhlenbeck, Karen (1982). "A regularity theory for harmonic maps". Journal of Differential Geometry. 17 (2): 307–335. doi:10.4310/jdg/1214436923. MR 0664498. Zbl 0521.58021. (Erratum: doi:10.4310/jdg/1214437667)
Schoen, Richard; Uhlenbeck, Karen (1983). "Boundary regularity and the Dirichlet problem for harmonic maps". Journal of Differential Geometry. 18 (2): 253–268. doi:10.4310/jdg/1214437663. MR 0710054. Zbl 0547.58020.
Schoen, Richard; Yau, Shing Tung (1976). "Harmonic maps and the topology of stable hypersurfaces and manifolds with non-negative Ricci curvature". Commentarii Mathematici Helvetici. 51 (3): 333–341. doi:10.1007/BF02568161. MR 0438388. S2CID 120845708. Zbl 0361.53040.
Siu, Yum Tong (1980). "The complex-analyticity of harmonic maps and the strong rigidity of compact Kähler manifolds". Annals of Mathematics. Second Series. 112 (1): 73–111. doi:10.2307/1971321. JSTOR 1971321. MR 0584075. Zbl 0517.53058.
Struwe, Michael (1985). "On the evolution of harmonic mappings of Riemannian surfaces". Commentarii Mathematici Helvetici. 60 (4): 558–581. doi:10.1007/BF02567432. MR 0826871. S2CID 122295509. Zbl 0595.58013.
Struwe, Michael (1988). "On the evolution of harmonic maps in higher dimensions". Journal of Differential Geometry. 28 (3): 485–502. doi:10.4310/jdg/1214442475. MR 0965226. Zbl 0631.58004.

Books and surveys

Aubin, Thierry (1998). Some nonlinear problems in Riemannian geometry. Springer Monographs in Mathematics. Berlin: Springer-Verlag. doi:10.1007/978-3-662-13006-3. ISBN 3-540-60752-8. MR 1636569. Zbl 0896.53003.
Eells, James; Lemaire, Luc (1983). Selected topics in harmonic maps. CBMS Regional Conference Series in Mathematics. Vol. 50. Providence, RI: American Mathematical Society. doi:10.1090/cbms/050. ISBN 0-8218-0700-5. MR 0703510. Zbl 0515.58011.
Eells, James; Lemaire, Luc (1995). Two reports on harmonic maps. River Edge, NJ: World Scientific. doi:10.1142/9789812832030. ISBN 981-02-1466-9. MR 1363513. Zbl 0836.58012. Consists of reprints of:
- Eells, J.; Lemaire, L. (1978). "A report on harmonic maps". Bulletin of the London Mathematical Society. 10 (1): 1–68. doi:10.1112/blms/10.1.1. MR 0495450. Zbl 0401.58003.
- Eells, J.; Lemaire, L. (1988). "Another report on harmonic maps". Bulletin of the London Mathematical Society. 20 (5): 385–524. doi:10.1112/blms/20.5.385. MR 0956352. Zbl 0669.58009.
Giaquinta, Mariano; Martinazzi, Luca (2012). An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Appunti. Scuola Normale Superiore di Pisa (Nuova Serie). Vol. 11 (Second edition of 2005 original ed.). Pisa: Edizioni della Normale. doi:10.1007/978-88-7642-443-4. ISBN 978-88-7642-442-7. MR 3099262. Zbl 1262.35001.
Hamilton, Richard S. (1975). Harmonic maps of manifolds with boundary. Lecture Notes in Mathematics. Vol. 471. Berlin–New York: Springer-Verlag. doi:10.1007/BFb0087227. ISBN 978-3-540-07185-3. MR 0482822. Zbl 0308.35003.
Hélein, Frédéric (2002). Harmonic maps, conservation laws and moving frames. Cambridge Tracts in Mathematics. Vol. 150. With a foreword by James Eells (Second edition of 1997 original ed.). Cambridge: Cambridge University Press. doi:10.1017/CBO9780511543036. ISBN 0-521-81160-0. Zbl 1010.58010.
Jost, Jürgen (1997). Nonpositive curvature: geometric and analytic aspects. Lectures in Mathematics ETH Zürich. Basel: Birkhäuser Verlag. doi:10.1007/978-3-0348-8918-6. ISBN 3-7643-5736-3. MR 1451625. Zbl 0896.53002.
Jost, Jürgen (2017). Riemannian geometry and geometric analysis. Universitext (Seventh edition of 1995 original ed.). Springer, Cham. doi:10.1007/978-3-319-61860-9. ISBN 978-3-319-61859-3. MR 3726907. Zbl 1380.53001.
Lin, Fanghua; Wang, Changyou (2008). The analysis of harmonic maps and their heat flows. Hackensack, NJ: World Scientific. doi:10.1142/9789812779533. ISBN 978-981-277-952-6. MR 2431658. Zbl 1203.58004.
Schoen, R.; Yau, S. T. (1997). Lectures on harmonic maps. Conference Proceedings and Lecture Notes in Geometry and Topology. Vol. 2. Cambridge, MA: International Press. ISBN 1-57146-002-0. MR 1474501. Zbl 0886.53004.
Simon, Leon (1996). Theorems on regularity and singularity of energy minimizing maps. Lectures in Mathematics ETH Zürich. Based on lecture notes by Norbert Hungerbühler. Basel: Birkhäuser Verlag. doi:10.1007/978-3-0348-9193-6. ISBN 3-7643-5397-X. MR 1399562. Zbl 0864.58015.
Yau, Shing Tung (1982). "Survey on partial differential equations in differential geometry". In Yau, Shing-Tung (ed.). Seminar on Differential Geometry. Annals of Mathematics Studies. Vol. 102. Princeton, NJ: Princeton University Press. pp. 3–71. doi:10.1515/9781400881918-002. ISBN 9781400881918. MR 0645729. Zbl 0478.53001.

बाहरी संबंध

[FOOTNOTEEellsSampson1964Section_11A-1] 1.0 ^1.1 ^1.2 Eells & Sampson 1964, Section 11A.

[FOOTNOTESacksUhlenbeck1981-2] Sacks & Uhlenbeck 1981.

[FOOTNOTESchoenUhlenbeck1982SchoenUhlenbeck1983-3] Schoen & Uhlenbeck 1982; Schoen & Uhlenbeck 1983.

[FOOTNOTEAubin1998p.6Hélein2002p.6Jost2017p.489LinWang2008p.2-4] Aubin 1998, p.6; Hélein 2002, p.6; Jost 2017, p.489; Lin & Wang 2008, p.2.

[FOOTNOTEAubin1998p.349EellsLemaire1978p.9EellsLemaire1983p.15Hamilton1975p.4-5] Aubin 1998, p.349; Eells & Lemaire 1978, p.9; Eells & Lemaire 1983, p.15; Hamilton 1975, p.4.

[FOOTNOTEAubin1998Definition_10.2EellsLemaire1978p.9EellsLemaire1983p.15EellsSampson1964Section_2BHamilton1975p.4LinWang2008p.3-6] Aubin 1998, Definition 10.2; Eells & Lemaire 1978, p.9; Eells & Lemaire 1983, p.15; Eells & Sampson 1964, Section 2B; Hamilton 1975, p.4; Lin & Wang 2008, p.3.

[FOOTNOTEEellsLemaire1983p.4-7] Eells & Lemaire 1983, p.4.

[FOOTNOTEEellsLemaire1978p.8EellsSampson1964Section_3BHamilton1975p.4-8] Eells & Lemaire 1978, p.8; Eells & Sampson 1964, Section 3B; Hamilton 1975, p.4.

[FOOTNOTEEellsLemaire1978p.9Hamilton1975p.4Jost2017p.494-9] Eells & Lemaire 1978, p.9; Hamilton 1975, p.4; Jost 2017, p.494.

[FOOTNOTEAubin1998Definition_10.1EellsLemaire1978p.10EellsLemaire1983p.13Hélein2002p.7Jost2017p.489LinWang2008p.1SchoenYau1997p.1-10] Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Hélein 2002, p.7; Jost 2017, p.489; Lin & Wang 2008, p.1; Schoen & Yau 1997, p.1.

[FOOTNOTEEellsLemaire1978p.10EellsLemaire1983p.13Jost2017p.490-491-11] Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Jost 2017, p.490-491.

[FOOTNOTEAubin1998Definition_10.1EellsLemaire1978p.10EellsLemaire1983p.13EellsSampson1964Section_1AJost2017p.490-491SchoenYau1997p.1-12] Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Eells & Sampson 1964, Section 1A; Jost 2017, p.490-491; Schoen & Yau 1997, p.1.

[FOOTNOTEAubin1998Definition_10.1EellsLemaire1978p.10EellsLemaire1983p.13EellsSampson1964Section_1AHélein2002p.7Jost2017p.491LinWang2008p.1SchoenYau1997p.2-13] Aubin 1998, Definition 10.1; Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.13; Eells & Sampson 1964, Section 1A; Hélein 2002, p.7; Jost 2017, p.491; Lin & Wang 2008, p.1; Schoen & Yau 1997, p.2.

[FOOTNOTEAubin1998Proposition_10.2EellsLemaire1978p.11EellsLemaire1983p.14EellsSampson1964Section_2BJost2017Formula_9.1.13-14] Aubin 1998, Proposition 10.2; Eells & Lemaire 1978, p.11; Eells & Lemaire 1983, p.14; Eells & Sampson 1964, Section 2B; Jost 2017, Formula 9.1.13.

[FOOTNOTEHamilton1975p.135-15] Hamilton 1975, p.135.

[FOOTNOTEEellsLemaire1978p.10EellsLemaire1983p.28LinWang2008Proposition_1.6.2-16] Eells & Lemaire 1978, p.10; Eells & Lemaire 1983, p.28; Lin & Wang 2008, Proposition 1.6.2.

[FOOTNOTEAubin1998Definition_10.3EellsLemaire1978p.11EellsLemaire1983p.14-17] Aubin 1998, Definition 10.3; Eells & Lemaire 1978, p.11; Eells & Lemaire 1983, p.14.

[18] This means that, relative to any local coordinate charts, one has uniform convergence on compact sets of the functions and their first partial derivatives.

[FOOTNOTEHartman1967Theorem_B-19] Hartman 1967, Theorem B.

[FOOTNOTEHamilton1975p.157-161-20] Hamilton 1975, p.157-161.

[FOOTNOTEChangDingYe1992LinWang2008Section_6.3-21] Chang, Ding & Ye 1992; Lin & Wang 2008, Section 6.3.

[FOOTNOTEStruwe1985-22] Struwe 1985.

[FOOTNOTEDingTian1995-23] Ding & Tian 1995.

[FOOTNOTEStruwe1988-24] Struwe 1988.

[FOOTNOTEChenStruwe1989-25] Chen & Struwe 1989.

[FOOTNOTEEellsSampson1964Section_8AHamilton1975p.128-130LinWang2008Lemma_5.3.3-26] Eells & Sampson 1964, Section 8A; Hamilton 1975, p.128-130; Lin & Wang 2008, Lemma 5.3.3.

[FOOTNOTEAubin1998Lemma_10.11EellsSampson1964Section_3CJost1997Formula_5.1.18Jost2017Formula_9.2.13LinWang2008Theorem_1.5.1-27] Aubin 1998, Lemma 10.11; Eells & Sampson 1964, Section 3C; Jost 1997, Formula 5.1.18; Jost 2017, Formula 9.2.13; Lin & Wang 2008, Theorem 1.5.1.

[FOOTNOTEAubin1998Corollary_10.12EellsSampson1964Section_3CJost1997Theorem_5.1.2Jost2017Corollary_9.2.3LinWang2008Proposition_1.5.2-28] Aubin 1998, Corollary 10.12; Eells & Sampson 1964, Section 3C; Jost 1997, Theorem 5.1.2; Jost 2017, Corollary 9.2.3; Lin & Wang 2008, Proposition 1.5.2.

[FOOTNOTESchoenYau1976p.336-337-29] Schoen & Yau 1976, p.336-337.

[FOOTNOTESiu1980-30] Siu 1980.

[FOOTNOTECorlette1992-31] Corlette 1992.

[FOOTNOTEGromovSchoen1992-32] Gromov & Schoen 1992.

[FOOTNOTEJost1994Definition_1.1-33] Jost 1994, Definition 1.1.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

@@ Line 1: / Line 1: @@
-{{about|harmonic maps between Riemannian manifolds|harmonic functions|harmonic function}}
+{{about|रीमानियन मैनिफोल्ड्स के बीच हार्मोनिक मानचित्र|हार्मोनिक कार्य|हार्मोनिक कार्य}}
-{{More footnotes|date=August 2020}}
+[[ अंतर ज्यामिति | अंतर ज्यामिति]] के गणितीय क्षेत्र में, [[ रीमैनियन कई गुना |रीमैनियन कई गुना]] के बीच निर्बाध मैप को [[हार्मोनिक फ़ंक्शन|हार्मोनिक कार्य]] जाता है यदि इसके समन्वय प्रतिनिधि निश्चित अरेखीय [[आंशिक विभेदक समीकरण]] को संतुष्ट करते हैं। मानचित्रण के लिए यह आंशिक अवकल समीकरण प्रकार्यात्मक के [[यूलर-लैग्रेंज समीकरण]] के रूप में भी उत्पन्न होता है जिसे डाइरिचलेट ऊर्जा कहा जाता है। इस प्रकार, हार्मोनिक मानचित्रों के सिद्धांत में रिमेंनियन ज्यामिति में [[ geodesic |जियोडेसिक]] इकाई-गति जियोडेसिक्स के सिद्धांत और हार्मोनिक कार्यों के सिद्धांत दोनों सम्मिलित हैं।
-[[ अंतर ज्यामिति ]] के गणितीय क्षेत्र में, [[ रीमैनियन कई गुना ]]्स के बीच एक स्मूद मैप को [[हार्मोनिक फ़ंक्शन]] जाता है यदि इसके समन्वय प्रतिनिधि एक निश्चित नॉनलाइनियर [[आंशिक विभेदक समीकरण]] को संतुष्ट करते हैं। मानचित्रण के लिए यह आंशिक अवकल समीकरण एक प्रकार्यात्मक के [[यूलर-लैग्रेंज समीकरण]] के रूप में भी उत्पन्न होता है जिसे डाइरिचलेट ऊर्जा कहा जाता है। इस प्रकार, हार्मोनिक मानचित्रों के सिद्धांत में रिमेंनियन ज्यामिति में [[ geodesic ]] | यूनिट-स्पीड जियोडेसिक्स के सिद्धांत और हार्मोनिक कार्यों के सिद्धांत दोनों शामिल हैं।
-अनौपचारिक रूप से, मानचित्रण की [[डिरिचलेट ऊर्जा]] {{mvar|f}} एक रिमेंनियन मैनिफोल्ड से {{mvar|M}} एक रिमेंनियन मैनिफोल्ड के लिए {{mvar|N}} को कुल राशि के रूप में माना जा सकता है {{mvar|f}} खिंचता है {{mvar|M}} इसके प्रत्येक तत्व को एक बिंदु पर आवंटित करने में {{mvar|N}}. उदाहरण के लिए, एक बिना फैला हुआ [[रबर बैंड]] और एक चिकना पत्थर दोनों को स्वाभाविक रूप से रीमैनियन मैनिफोल्ड्स के रूप में देखा जा सकता है। पत्थर पर रबर बैंड को खींचने के किसी भी तरीके को इन मैनिफोल्ड के बीच मैपिंग के रूप में देखा जा सकता है, और इसमें शामिल कुल तनाव को डिरिचलेट ऊर्जा द्वारा दर्शाया जाता है। इस तरह के मानचित्रण की सामंजस्यता का अर्थ है कि दिए गए खिंचाव को शारीरिक रूप से विकृत करने के किसी भी काल्पनिक तरीके को देखते हुए, विरूपण शुरू होने पर तनाव (जब समय के कार्य के रूप में माना जाता है) का पहला व्युत्पन्न शून्य के बराबर होता है।
+अनौपचारिक रूप से, मानचित्रण की [[डिरिचलेट ऊर्जा]] {{mvar|f}} रिमेंनियन मैनिफोल्ड से {{mvar|M}} रिमेंनियन मैनिफोल्ड के लिए {{mvar|N}} को कुल राशि के रूप में माना जा सकता है {{mvar|f}} खिंचता है {{mvar|M}} इसके प्रत्येक तत्व को बिंदु पर आवंटित करने में {{mvar|N}}. उदाहरण के लिए, बिना फैला हुआ [[रबर बैंड]] और सुचारू पत्थर दोनों को स्वाभाविक रूप से रीमैनियन मैनिफोल्ड्स के रूप में देखा जा सकता है। पत्थर पर रबर बैंड को खींचने के किसी भी विधि को इन मैनिफोल्ड के बीच मैपिंग के रूप में देखा जा सकता है, और इसमें सम्मिलित कुल तनाव को डिरिचलेट ऊर्जा द्वारा दर्शाया जाता है। इस तरह के मानचित्रण की सामंजस्यता का अर्थ है कि दिए गए खिंचाव को शारीरिक रूप से विकृत करने के किसी भी काल्पनिक विधि को देखते हुए, विरूपण प्रारंभ होने पर तनाव (जब समय के कार्य के रूप में माना जाता है) का पहला व्युत्पन्न शून्य के समान होता है।
-हार्मोनिक मानचित्रों का सिद्धांत 1964 में [[जेम्स एल्स]] और जोसेफ एच. सैम्पसन द्वारा शुरू किया गया था, जिन्होंने दिखाया था कि कुछ ज्यामितीय संदर्भों में, मनमाने नक्शे हार्मोनिक मानचित्रों में [[होमोटॉपी]] हो सकते हैं।{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}} उनका काम रिचर्ड एस. हैमिल्टन के [[रिक्की प्रवाह]] पर शुरुआती काम के लिए प्रेरणा था। [[ज्यामितीय विश्लेषण]] के क्षेत्र में सबसे व्यापक रूप से अध्ययन किए गए विषयों में हार्मोनिक मानचित्र और संबंधित हार्मोनिक मानचित्र ताप प्रवाह, स्वयं में और हैं।
+हार्मोनिक मानचित्रों का सिद्धांत 1964 में [[जेम्स एल्स]] और जोसेफ एच. सैम्पसन द्वारा प्रारंभ किया गया था, जिन्होंने दिखाया था कि कुछ ज्यामितीय संदर्भों में, इच्छानुसार नक्शे हार्मोनिक मानचित्रों में [[होमोटॉपी]] हो सकते हैं।{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}} उनका काम रिचर्ड एस. हैमिल्टन के [[रिक्की प्रवाह]] पर प्रारंभिक काम के लिए प्रेरणा था। [[ज्यामितीय विश्लेषण]] के क्षेत्र में सबसे व्यापक रूप से अध्ययन किए गए विषयों में हार्मोनिक मानचित्र और संबंधित हार्मोनिक मानचित्र ताप प्रवाह स्वयं में और हैं।
-जोनाथन सैक्स और [[करेन उहलेनबेक]] के कारण हार्मोनिक मानचित्रों के अनुक्रमों की बुदबुदाहट की खोज,{{sfnm|1a1=Sacks|1a2=Uhlenbeck|1y=1981}} विशेष रूप से प्रभावशाली रहा है, क्योंकि उनका विश्लेषण कई अन्य ज्यामितीय संदर्भों के लिए अनुकूलित किया गया है। विशेष रूप से, यांग-मिल्स क्षेत्रों के बबलिंग की उहलेनबेक की समानांतर खोज [[साइमन डोनाल्डसन]] के चार-आयामी मैनिफोल्ड्स पर काम में महत्वपूर्ण है, और [[मिखाइल लियोनिदोविच ग्रोमोव]] की [[स्यूडोहोलोमॉर्फिक वक्र]] के बुदबुदाहट की बाद की खोज [[सहानुभूतिपूर्ण ज्यामिति]] और [[क्वांटम कोहोलॉजी]] के अनुप्रयोगों में महत्वपूर्ण है। हार्मोनिक मानचित्रों के नियमितता सिद्धांत का अध्ययन करने के लिए [[रिचर्ड स्कोन]] और उहलेनबेक द्वारा उपयोग की जाने वाली तकनीकें इसी तरह ज्यामितीय विश्लेषण में कई विश्लेषणात्मक तरीकों के विकास की प्रेरणा रही हैं।{{sfnm|1a1=Schoen|1a2=Uhlenbeck|1y=1982|2a1=Schoen|2a2=Uhlenbeck|2y=1983}}
+जोनाथन सैक्स और [[करेन उहलेनबेक]] के कारण हार्मोनिक मानचित्रों के अनुक्रमों की बुलबुले की खोज,{{sfnm|1a1=Sacks|1a2=Uhlenbeck|1y=1981}} विशेष रूप से प्रभावशाली रहा है, क्योंकि उनका विश्लेषण कई अन्य ज्यामितीय संदर्भों के लिए अनुकूलित किया गया है। विशेष रूप से, यांग-मिल्स क्षेत्रों के बबलिंग की उहलेनबेक की समानांतर खोज [[साइमन डोनाल्डसन]] के चार-आयामी मैनिफोल्ड्स पर काम में महत्वपूर्ण है, और [[मिखाइल लियोनिदोविच ग्रोमोव]] की [[स्यूडोहोलोमॉर्फिक वक्र]] के बुलबुले की बाद की खोज [[सहानुभूतिपूर्ण ज्यामिति]] और [[क्वांटम कोहोलॉजी]] के अनुप्रयोगों में महत्वपूर्ण है। हार्मोनिक मानचित्रों के नियमितता सिद्धांत का अध्ययन करने के लिए [[रिचर्ड स्कोन]] और उहलेनबेक द्वारा उपयोग की जाने वाली विधि इसी तरह ज्यामितीय विश्लेषण में कई विश्लेषणात्मक विधि के विकास की प्रेरणा रही हैं।{{sfnm|1a1=Schoen|1a2=Uhlenbeck|1y=1982|2a1=Schoen|2a2=Uhlenbeck|2y=1983}}
 == मैनिफोल्ड्स के बीच मैपिंग की ज्यामिति ==
-यहां [[स्यूडो-रीमैनियन मैनिफोल्ड]] के बीच एक चिकनी मानचित्रण की ज्यामिति को [[स्थानीय निर्देशांक]] के माध्यम से और समकक्ष रूप से रैखिक बीजगणित के माध्यम से माना जाता है। ऐसा मानचित्रण पहले मौलिक रूप और दूसरे मौलिक रूप दोनों को परिभाषित करता है। लाप्लासियन (जिसे तनाव क्षेत्र भी कहा जाता है) को दूसरे मौलिक रूप के माध्यम से परिभाषित किया गया है, और इसका गायब होना मानचित्र के हार्मोनिक होने की स्थिति है। छद्म-रीमैनियन मैनिफोल्ड्स की सेटिंग में संशोधन के बिना परिभाषाएँ विस्तारित होती हैं।
+यहां [[स्यूडो-रीमैनियन मैनिफोल्ड]] के बीच निर्बाध मानचित्रण की ज्यामिति को [[स्थानीय निर्देशांक]] के माध्यम से और समकक्ष रूप से रैखिक बीजगणित के माध्यम से माना जाता है। ऐसा मानचित्रण पहले मौलिक रूप और दूसरे मौलिक रूप दोनों को परिभाषित करता है। लाप्लासियन (जिसे तनाव क्षेत्र भी कहा जाता है) को दूसरे मौलिक रूप के माध्यम से परिभाषित किया गया है, और इसका विलुप्त होना मानचित्र के हार्मोनिक होने की स्थिति है। छद्म-रीमैनियन मैनिफोल्ड्स की निर्धारण में संशोधन के बिना परिभाषाएँ विस्तारित होती हैं।
 === स्थानीय निर्देशांक ===
-होने देना {{mvar|U}} यूक्लिडियन स्पेस का एक [[ खुला सेट ]] बनें |{{math|ℝ<sup>''m''</sup>}} और जाने {{mvar|V}} का एक खुला उपसमुच्चय हो {{math|ℝ<sup>''n''</sup>}}. प्रत्येक के लिए {{mvar|i}} और {{mvar|j}} 1 और के बीच {{mvar|n}}, होने देना {{math|''g''<sub>''ij''</sub>}} एक सुचारू वास्तविक-मूल्यवान कार्य करें {{mvar|U}}, जैसे कि प्रत्येक के लिए {{mvar|p}} में {{mvar|U}}, एक के पास यह है {{math|''m'' × ''m''}} [[मैट्रिक्स (गणित)]] {{math|[''g<sub>ij </sub>''(''p'')]}} [[सममित मैट्रिक्स]] और [[निश्चित मैट्रिक्स]] | सकारात्मक-निश्चित है। प्रत्येक के लिए {{mvar|α}} और {{mvar|β}} 1 और के बीच {{mvar|m}}, होने देना {{math|''h''<sub>''αβ''</sub>}} एक सुचारू वास्तविक-मूल्यवान कार्य करें {{mvar|V}}, जैसे कि प्रत्येक के लिए {{mvar|q}} में {{mvar|V}}, एक के पास यह है {{math|''n'' × ''n''}} आव्यूह {{math|[''h<sub>αβ </sub>''(''q'')]}} सममित और सकारात्मक-निश्चित है। [[उलटा मैट्रिक्स]] को निरूपित करें {{math|[''g<sup>ij </sup>''(''p'')]}} और {{math|[''h<sup>αβ </sup>''(''q'')]}}.
+{{mvar|U}} को {{math|ℝ<sup>''m''</sup>}} का एक खुला उपसमुच्चय होने दें और {{mvar|V}} को {{math|ℝ<sup>''n''</sup>}} का एक खुला उपसमुच्चय होने दें। 1 और {{mvar|n}} के बीच प्रत्येक {{mvar|i}} और {{mvar|j}} के लिए, {{math|''g''<sub>''ij''</sub>}} को {{mvar|U}} पर एक सहज वास्तविक-मूल्यवान फलन होने दें, जैसे कि {{mvar|U}} में प्रत्येक {{mvar|p}} के लिए, एक के पास {{math|''m'' × ''m''}} [[मैट्रिक्स (गणित)|मैट्रिक्स]] {{math|[''g<sub>ij </sub>''(''p'')]}} और सकारात्मक-निश्चित है . 1 और {{mvar|m}} के बीच प्रत्येक {{mvar|α}} और {{mvar|β}} के लिए, {{math|''h''<sub>''αβ''</sub>}} को {{mvar|V}} पर एक सहज वास्तविक-मूल्यवान कार्य होने दें, जैसे कि {{mvar|V}} में प्रत्येक {{mvar|q}} के लिए, {{math|''n'' × ''n''}} मैट्रिक्स{{math|[''h<sub>αβ </sub>''(''q'')]}} सममित और सकारात्मक-निश्चित है . प्रतिलोम आव्यूहों को {{math|[''g<sup>ij </sup>''(''p'')]}} और {{math|[''h<sup>αβ </sup>''(''q'')]}} से निरूपित करें।
 प्रत्येक के लिए {{math|''i'', ''j'', ''k''}} 1 और के बीच {{mvar|n}} और प्रत्येक {{math|''α'', ''β'', ''γ''}} 1 और के बीच {{mvar|m}} क्रिस्टोफेल प्रतीकों को परिभाषित करें {{math|Γ(''g'')<sup>''k''</sup><sub>''ij''</sub> : ''U'' → ℝ}} और {{math|Γ(''h'')<sup>''γ''</sup><sub>''αβ''</sub> : ''V'' → ℝ}} द्वारा{{sfnm|1a1=Aubin|1y=1998|1loc=p.6|2a1=Hélein|2y=2002|2loc=p.6|3a1=Jost|3y=2017|3loc=p.489|4a1=Lin|4a2=Wang|4y=2008|4loc=p.2}}
@@ Line 20: / Line 19: @@
 \Gamma(h)_{\alpha\beta}^\gamma&=\frac{1}{2}\sum_{\delta=1}^n h^{\gamma\delta}\Big(\frac{\partial h_{\beta\delta}}{\partial y^\alpha}+\frac{\partial h_{\alpha\delta}}{\partial y^\beta}-\frac{\partial h_{\alpha\beta}}{\partial y^\delta}\Big)
 \end{align}</math>
-एक चिकना नक्शा दिया {{mvar|f}} से {{mvar|U}} को {{mvar|V}}, इसका दूसरा मूलभूत रूप प्रत्येक के लिए परिभाषित करता है {{mvar|i}} और {{mvar|j}} 1 और के बीच {{mvar|m}} और प्रत्येक के लिए {{mvar|α}} 1 और के बीच {{mvar|n}} वास्तविक-मूल्यवान फ़ंक्शन {{math|∇(''df'')<sup>''α''</sup><sub>''ij''</sub>}} पर {{mvar|U}} द्वारा{{sfnm|1a1=Aubin|1y=1998|1loc=p.349|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.9|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.15|4a1=Hamilton|4y=1975|4loc=p.4}}
+एक सुचारू नक्शा दिया {{mvar|f}} से {{mvar|U}} को {{mvar|V}}, इसका दूसरा मूलभूत रूप प्रत्येक के लिए परिभाषित करता है {{mvar|i}} और {{mvar|j}} 1 और के बीच {{mvar|m}} और प्रत्येक के लिए {{mvar|α}} 1 और के बीच {{mvar|n}} वास्तविक-मूल्यवान कार्य {{math|∇(''df'')<sup>''α''</sup><sub>''ij''</sub>}} पर {{mvar|U}} द्वारा{{sfnm|1a1=Aubin|1y=1998|1loc=p.349|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.9|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.15|4a1=Hamilton|4y=1975|4loc=p.4}}
 :<math>\nabla(df)_{ij}^\alpha=\frac{\partial^2f^\alpha}{\partial x^i\partial x^j}-\sum_{k=1}^m\Gamma(g)_{ij}^k\frac{\partial f^\alpha}{\partial x^k}+\sum_{\beta=1}^n\sum_{\gamma=1}^n\frac{\partial f^\beta}{\partial x^i}\frac{\partial f^\gamma}{\partial x^j}\Gamma(h)_{\beta\gamma}^\alpha\circ f.</math>
-इसका लाप्लासियन प्रत्येक के लिए परिभाषित करता है {{mvar|α}} 1 और के बीच {{mvar|n}} वास्तविक-मूल्यवान फ़ंक्शन {{math|(∆''f'')<sup>''α''</sup>}} पर {{mvar|U}} द्वारा{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.2|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.9|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.15|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 2B|5a1=Hamilton|5y=1975|5loc=p.4|6a1=Lin|6a2=Wang|6y=2008|6loc=p.3}}
+इसका लाप्लासियन प्रत्येक के लिए परिभाषित करता है {{mvar|α}} 1 और के बीच {{mvar|n}} वास्तविक-मूल्यवान कार्य {{math|(∆''f'')<sup>''α''</sup>}} पर {{mvar|U}} द्वारा{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.2|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.9|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.15|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 2B|5a1=Hamilton|5y=1975|5loc=p.4|6a1=Lin|6a2=Wang|6y=2008|6loc=p.3}}
 :<math>(\Delta f)^\alpha=\sum_{i=1}^m\sum_{j=1}^mg^{ij}\nabla(df)_{ij}^\alpha.</math>
 === बंडल औपचारिकता ===
-होने देना {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} Riemannian कई गुना हो। एक चिकना नक्शा दिया {{mvar|f}} से {{mvar|M}} को {{mvar|N}}, कोई इसके पुशफॉरवर्ड (अंतर) पर विचार कर सकता है {{math|''df''}} [[वेक्टर बंडल]] के [[ अनुभाग (फाइबर बंडल) ]] के रूप में {{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}}; यह कहना है कि प्रत्येक के लिए {{mvar|p}} में {{mvar|M}}, एक के पास एक रेखीय नक्शा है {{math|''df''<sub>''p''</sub>}} स्पर्शरेखा रिक्त स्थान के बीच {{math|''T<sub>p</sub>M'' → ''T<sub>f(p)</sub>N''}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.8|2a1=Eells|2a2=Lemaire|2y=1983|2loc=p.13|3a1=Hamilton|3y=1975|3loc=p.3}} वेक्टर बंडल {{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} में [[लेवी-Civita कनेक्शन]] से प्रेरित एक [[कनेक्शन (वेक्टर बंडल)]] है {{mvar|M}} और {{mvar|N}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1983|1loc=p.4}} तो कोई [[सहपरिवर्ती व्युत्पन्न]] ले सकता है {{math|∇(''df'')}}, जो सदिश बंडल का एक भाग है {{math|''T''<sup> *</sup>''M'' ⊗ ''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}}; यह कहना है कि प्रत्येक के लिए {{mvar|p}} में {{mvar|M}}, एक के पास द्विरेखीय मानचित्र है {{math|(∇(''df''))<sub>''p''</sub>}} स्पर्शरेखा रिक्त स्थान {{math|''T<sub>p</sub>M'' × ''T<sub>p</sub>M'' → ''T<sub>f(p)</sub>N''}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.8|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3B|3a1=Hamilton|3y=1975|3loc=p.4}} इस खंड को हेस्सियन के रूप में जाना जाता है {{mvar|f}}.
+चलो {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} रीमैनियन कई गुना हो। {{mvar|M}} से {{mvar|N}} तक एक सुचारू मानचित्र {{mvar|f}} दिया गया है, कोई वेक्टर बंडल {{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}} के एक खंड के रूप में इसके अंतर {{math|''df''}} पर विचार कर सकता है; इसका अर्थ यह है कि {{mvar|M}} में प्रत्येक {{mvar|p}} के लिए, स्पर्शरेखा रिक्त स्थान {{math|''T<sub>p</sub>M'' → ''T<sub>f(p)</sub>N''}} के बीच एक रैखिक मानचित्र {{math|''df''<sub>''p''</sub>}} है। [7] वेक्टर बंडल{{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} में {{mvar|M}} और {{mvar|N}} पर लेवी-सिविता कनेक्शन से प्रेरित एक कनेक्शन है।{{sfnm|1a1=Eells|1a2=Lemaire|1y=1983|1loc=p.4}} तो कोई सहसंयोजक व्युत्पन्न {{math|∇(''df'')}} ले सकता है, जो सदिश बंडल {{math|''T''<sup> *</sup>''M'' ⊗ ''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}} का एक भाग है; कहने का तात्पर्य यह है कि {{mvar|M}} में प्रत्येक {{mvar|p}} के लिए, किसी के पास स्पर्शरेखा रिक्त स्थान {{math|''T<sub>p</sub>M'' × ''T<sub>p</sub>M'' → ''T<sub>f(p)</sub>N''}} का एक द्विरेखीय नक्शा {{math|(∇(''df''))<sub>''p''</sub>}} होता है।{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.8|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3B|3a1=Hamilton|3y=1975|3loc=p.4}} इस खंड को {{mvar|f}} के हेसियन के रूप में जाना जाता है।
-का उपयोग करते हुए {{mvar|g}}, कोई [[ट्रेस (रैखिक बीजगणित)]] का हेसियन कर सकता है {{mvar|f}} के लैपलेशियन पर पहुंचने के लिए {{mvar|f}}, जो बंडल का एक भाग है {{math|''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}}; यह कहता है कि के लाप्लासियन {{mvar|f}} प्रत्येक को असाइन करता है {{mvar|p}} में {{mvar|M}} स्पर्शरेखा स्थान का एक तत्व {{math|''T''<sub>''f''(''p'')</sub>''N''}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.9|2a1=Hamilton|2y=1975|2loc=p.4|3a1=Jost|3y=2017|3loc=p.494}} ट्रेस ऑपरेटर की परिभाषा के अनुसार, लैपेलियन को इस रूप में लिखा जा सकता है
+{{mvar|g}} का उपयोग करके, {{mvar|f}} के लेपलासीन पर पहुंचने के लिए {{mvar|f}} के हेसियन का पता लगाया जा सकता है, जो बंडल {{math|''f''<sup> *</sup>''TN''}} ऊपर {{mvar|M}}; का एक भाग है; यह कहता है कि {{mvar|f}} का लैपलेशियन प्रत्येक {{mvar|p}} को {{mvar|M}} में स्पर्शरेखा स्थान {{math|''T''<sub>''f''(''p'')</sub>''N''}} का एक तत्व प्रदान करता है।{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.9|2a1=Hamilton|2y=1975|2loc=p.4|3a1=Jost|3y=2017|3loc=p.494}} ट्रेस संचालिका की परिभाषा के अनुसार, लैपलासीन को इस रूप में लिखा जा सकता है
 :<math>(\Delta f)_p=\sum_{i=1}^m\big(\nabla(df)\big)_p(e_i,e_i)</math>
-कहाँ {{math|''e''<sub>1</sub>, ..., ''e''<sub>''m''</sub>}} क्या किसी {{math|''g''<sub>''p''</sub>}}-ऑर्थोनॉर्मल आधार {{math|''T''<sub>''p''</sub>''M''}}.
+जहाँ {{math|''e''<sub>1</sub>, ..., ''e''<sub>''m''</sub>}} ,{{math|''T''<sub>''p''</sub>''M''}} का कोई {{math|''g''<sub>''p''</sub>}}-ऑर्थोनॉर्मल आधार है ॥
 == डिरिचलेट ऊर्जा और इसकी भिन्नता सूत्र ==
-स्थानीय निर्देशांक के दृष्टिकोण से, जैसा कि ऊपर दिया गया है, मानचित्रण का ऊर्जा घनत्व {{mvar|f}} वास्तविक-मूल्यवान कार्य चालू है {{mvar|U}} द्वारा दिए गए{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Hélein|4y=2002|4loc=p.7|5a1=Jost|5y=2017|5loc=p.489|6a1=Lin|6a2=Wang|6y=2008|6loc=p.1|7a1=Schoen|7a2=Yau|7y=1997|7loc=p.1}}
+स्थानीय निर्देशांक के दृष्टिकोण से, जैसा कि ऊपर दिया गया है, मैपिंग {{mvar|f}} का ऊर्जा घनत्व {{mvar|U}} पर दिया गया वास्तविक-मूल्यवान कार्य है{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Hélein|4y=2002|4loc=p.7|5a1=Jost|5y=2017|5loc=p.489|6a1=Lin|6a2=Wang|6y=2008|6loc=p.1|7a1=Schoen|7a2=Yau|7y=1997|7loc=p.1}}
 :<math>\frac{1}{2}\sum_{i=1}^m\sum_{j=1}^m\sum_{\alpha=1}^n\sum_{\beta=1}^n g^{ij}\frac{\partial f^\alpha}{\partial x^i}\frac{\partial f^\beta}{\partial x^j} (h_{\alpha\beta}\circ f).</math>
-वैकल्पिक रूप से, बंडल औपचारिकता में, रिमेंनियन मेट्रिक्स ऑन {{mvar|M}} और {{mvar|N}} एक [[बंडल मीट्रिक]] को प्रेरित करें {{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}}, और इसलिए ऊर्जा घनत्व को सुचारू कार्य के रूप में परिभाषित किया जा सकता है {{math|{{sfrac|1|2}} {{!}} ''df'' {{!}}<sup>2</sup>}} पर {{mvar|M}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.10|2a1=Eells|2a2=Lemaire|2y=1983|2loc=p.13|3a1=Jost|3y=2017|3loc=p.490-491}} यह भी संभव है कि ऊर्जा घनत्व को (आधे) द्वारा दिया जा रहा है {{mvar|g}}-पहले मौलिक रूप का निशान।{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 1A|5a1=Jost|5y=2017|5loc=p.490-491|6a1=Schoen|6a2=Yau|6y=1997|6loc=p.1}} दृष्टिकोण के बावजूद, ऊर्जा घनत्व {{math|''e''(''f'')}} एक फंक्शन है {{mvar|M}} जो चिकना और गैर-नकारात्मक है। अगर {{mvar|M}} उन्मुख है और {{mvar|M}} सघन है, की डिरिचलेट ऊर्जा {{mvar|f}} परिभाषित किया जाता है
+वैकल्पिक रूप से, बंडल औपचारिकता में, {{mvar|M}} और {{mvar|N}} पर रिमेंनियन मेट्रिक्स {{math|''T''<sup> *</sup>''M'' ⊗ ''f''<sup> *</sup>''TN''}} पर एक बंडल मीट्रिक प्रेरित करते हैं, और इसलिए ऊर्जा घनत्व को सुचारू कार्य के रूप में परिभाषित किया जा सकता है। {{math|{{sfrac|1|2}} {{!}} ''df'' {{!}}<sup>2</sup>}} पर {{mvar|M}}.{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.10|2a1=Eells|2a2=Lemaire|2y=1983|2loc=p.13|3a1=Jost|3y=2017|3loc=p.490-491}} यह भी संभव है कि ऊर्जा घनत्व को पहले मौलिक रूप के {{mvar|g}} ट्रेस द्वारा (आधा) दिया जा रहा है।{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 1A|5a1=Jost|5y=2017|5loc=p.490-491|6a1=Schoen|6a2=Yau|6y=1997|6loc=p.1}} दृष्टिकोण के अतिरिक्त , ऊर्जा घनत्व {{math|''e''(''f'')}} {{mvar|M}} पर कार्य है जो सुचारू और गैर-ऋणात्मक है। यदि {{mvar|M}} उन्मुख है और {{mvar|M}} सघन है, {{mvar|f}} की डिरिचलेट ऊर्जा परिभाषित किया जाता है
 :<math>E(f)=\int_M e(f)\,d\mu_g</math>
-कहाँ {{math|dμ<sub>''g''</sub>}} वॉल्यूम फॉर्म चालू है {{mvar|M}} प्रेरक {{mvar|g}}.{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 1A|5a1=Hélein|5y=2002|5loc=p.7|6a1=Jost|6y=2017|6loc=p.491|7a1=Lin|7a2=Wang|7y=2008|7loc=p.1|8a1=Schoen|8a2=Yau|8y=1997|8loc=p.2}} चूंकि किसी भी गैर-नकारात्मक [[मापने योग्य कार्य]] में एक अच्छी तरह से परिभाषित Lebesgue अभिन्न अंग है, यह प्रतिबंध लगाने के लिए आवश्यक नहीं है कि {{mvar|M}} कॉम्पैक्ट है; हालाँकि, तब डिरिचलेट ऊर्जा अनंत हो सकती है।
+जहाँ {{math|dμ<sub>''g''</sub>}} ,{{mvar|g}} द्वारा प्रेरित {{mvar|M}} पर आयतन रूप है।.{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.1|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.10|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.13|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 1A|5a1=Hélein|5y=2002|5loc=p.7|6a1=Jost|6y=2017|6loc=p.491|7a1=Lin|7a2=Wang|7y=2008|7loc=p.1|8a1=Schoen|8a2=Yau|8y=1997|8loc=p.2}} चूंकि किसी भी गैर-ऋणात्मक [[मापने योग्य कार्य]] में अच्छी तरह से परिभाषित लेबेसेग अभिन्न अंग है, यह प्रतिबंध लगाने के लिए आवश्यक नहीं है कि {{mvar|M}} कॉम्पैक्ट है; चूँकि , तब डिरिचलेट ऊर्जा अनंत हो सकती है।
-डिरिचलेट ऊर्जा के लिए भिन्नता सूत्र डिरिचलेट ऊर्जा के डेरिवेटिव की गणना करते हैं {{math|''E''(''f'')}} मैपिंग के रूप में {{mvar|f}} विकृत है। इसके लिए, मानचित्रों के एक-पैरामीटर परिवार पर विचार करें {{math|''f''<sub>''s''</sub> : ''M'' → ''N''}} साथ {{math|''f''<sub>0</sub> {{=}} ''f''}} जिसके लिए एक प्रीकंपैक्ट ओपन सेट मौजूद है {{mvar|K}} का {{mvar|M}} ऐसा है कि {{math|''f''<sub>''s''</sub>{{!}}<sub>''M'' − ''K''</sub> {{=}} ''f''{{!}}<sub>''M'' − ''K''</sub>}} सभी के लिए {{mvar|s}}; एक मानता है कि पैरामीट्रिज्ड परिवार इस मायने में सुचारू है कि संबंधित मानचित्र {{math|(−ε, ε) × ''M'' → ''N''}} द्वारा दिए गए {{math|(''s'', ''p'') ↦ ''f''<sub>''s''</sub>(''p'')}} चिकना है।
+डिरिचलेट ऊर्जा के लिए भिन्नता सूत्र डिरिचलेट ऊर्जा {{math|''E''(''f'')}} व्युत्पत्ति की गणना करते हैं क्योंकि मैपिंग {{mvar|f}} विकृत है। इसके लिए, मानचित्रों के एक-पैरामीटर वर्ग पर विचार करें {{math|''f''<sub>''s''</sub> : ''M'' → ''N''}} {{math|''f''<sub>0</sub> {{=}} ''f''}} के साथ जिसके लिए {{mvar|M}} का एक प्रीकंपैक्ट ओपन सेट {{mvar|K}} उपस्थित है जैसे कि {{math|''f''<sub>''s''</sub>{{!}}<sub>''M'' − ''K''</sub> {{=}} ''f''{{!}}<sub>''M'' − ''K''</sub>}} सभी {{mvar|s}};के लिए मानता है कि पैरामीट्रिज्ड वर्ग इस मायने में सुचारू है कि संबंधित मानचित्र {{math|(−ε, ε) × ''M'' → ''N''}} द्वारा दिए गए {{math|(''s'', ''p'') ↦ ''f''<sub>''s''</sub>(''p'')}} सुचारू है।
 * पहला भिन्नता सूत्र कहता है कि{{sfnm|1a1=Aubin|1y=1998|1loc=Proposition 10.2|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.11|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.14|4a1=Eells|4a2=Sampson|4y=1964|4loc=Section 2B|5a1=Jost|5y=2017|5loc=Formula 9.1.13}}
 ::<math>\int_M \frac{\partial}{\partial s}\Big|_{s=0}e(f_s)\,d\mu_g=-\int_M h\left(\frac{\partial}{\partial s}\Big|_{s=0}f_s,\Delta f\right)\,d\mu_g</math>
-:सीमा के साथ कई गुना के लिए एक संस्करण भी है।{{sfnm|1a1=Hamilton|1y=1975|1loc=p.135}}
+:सीमा के साथ कई गुना के लिए संस्करण भी है।{{sfnm|1a1=Hamilton|1y=1975|1loc=p.135}}
 * दूसरा भिन्नता सूत्र भी है।{{sfnm|1a1=Eells|1a2=Lemaire|1y=1978|1loc=p.10|2a1=Eells|2a2=Lemaire|2y=1983|2loc=p.28|3a1=Lin|3a2=Wang|3y=2008|3loc=Proposition 1.6.2}}
-प्रथम भिन्नता सूत्र के कारण, लाप्लासियन का {{mvar|f}} को डिरिचलेट ऊर्जा की प्रवणता के रूप में सोचा जा सकता है; तदनुसार, एक हार्मोनिक नक्शा डिरिचलेट ऊर्जा का एक महत्वपूर्ण बिंदु है।{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.3|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.11|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.14}} यह औपचारिक रूप से [[वैश्विक विश्लेषण]] और Banach कई गुना की भाषा में किया जा सकता है।
+प्रथम भिन्नता सूत्र के कारण, लाप्लासियन का {{mvar|f}} को डिरिचलेट ऊर्जा की प्रवणता के रूप में सोचा जा सकता है; तदनुसार, हार्मोनिक नक्शा डिरिचलेट ऊर्जा का महत्वपूर्ण बिंदु है।{{sfnm|1a1=Aubin|1y=1998|1loc=Definition 10.3|2a1=Eells|2a2=Lemaire|2y=1978|2loc=p.11|3a1=Eells|3a2=Lemaire|3y=1983|3loc=p.14}} यह औपचारिक रूप से [[वैश्विक विश्लेषण]] और बनच कई गुना की भाषा में किया जा सकता है।
 == हार्मोनिक मानचित्रों के उदाहरण ==
-होने देना {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} चिकनी रीमैनियन मैनिफोल्ड्स बनें। अंकन {{math|''g''<sub>stan</sub>}} का उपयोग यूक्लिडियन अंतरिक्ष पर मानक रिमेंनियन मीट्रिक को संदर्भित करने के लिए किया जाता है।
+होने देना {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} सुचारू रीमैनियन मैनिफोल्ड्स बनें अंकन {{math|''g''<sub>stan</sub>}} का उपयोग यूक्लिडियन अंतरिक्ष पर मानक रिमेंनियन मीट्रिक को संदर्भित करने के लिए किया जाता है।
-* हर [[पूरी तरह से जियोडेसिक]] नक्शा {{math|(''M'', ''g'') → (''N'', ''h'')}} हार्मोनिक है; यह उपरोक्त परिभाषाओं से सीधे अनुसरण करता है। विशेष मामलों के रूप में:
+* हर [[पूरी तरह से जियोडेसिक]] नक्शा {{math|(''M'', ''g'') → (''N'', ''h'')}} हार्मोनिक है; यह उपरोक्त परिभाषाओं से सीधे अनुसरण करता है। विशेष स्थिति के रूप में:
-** किसी के लिए {{mvar|q}} में {{mvar|N}}, स्थिर नक्शा {{math|(''M'', ''g'') → (''N'', ''h'')}} क़ीमत है {{mvar|q}} हार्मोनिक है।
+** किसी के लिए {{mvar|q}} में {{mvar|N}}, स्थिर नक्शा {{math|(''M'', ''g'') → (''N'', ''h'')}} मान है {{mvar|q}} हार्मोनिक है।
 ** पहचान मानचित्र {{math|(''M'', ''g'') → (''M'', ''g'')}} हार्मोनिक है।
-* अगर {{math|''f'' : ''M'' → ''N''}} तब एक [[विसर्जन (गणित)]] है {{math|''f'' : (''M'', ''f''<sup> *</sup>''h'') → (''N'', ''h'')}} हार्मोनिक है अगर और केवल अगर {{mvar|f}} के सापेक्ष [[न्यूनतम सबमेनिफोल्ड]] है {{mvar|h}}. एक विशेष मामले के रूप में:
+* यदि {{math|''f'' : ''M'' → ''N''}} तब [[विसर्जन (गणित)]] है {{math|''f'' : (''M'', ''f''<sup> *</sup>''h'') → (''N'', ''h'')}} हार्मोनिक है यदि और केवल यदि {{mvar|f}} के सापेक्ष [[न्यूनतम सबमेनिफोल्ड]] है {{mvar|h}}. विशेष स्थिति के रूप में:
-** अगर {{math|''f'' : ℝ → (''N'', ''h'')}} एक स्थिर-गति विसर्जन है, तब {{math|''f'' : (ℝ, ''g''<sub>stan</sub>) → (''N'', ''h'')}} हार्मोनिक है अगर और केवल अगर {{mvar|f}} जियोडेसिक डिफरेंशियल इक्वेशन को हल करता है।
+** यदि {{math|''f'' : ℝ → (''N'', ''h'')}} स्थिर-गति विसर्जन है, तब {{math|''f'' : (ℝ, ''g''<sub>stan</sub>) → (''N'', ''h'')}} हार्मोनिक है यदि और केवल यदि {{mvar|f}} जियोडेसिक विभेदक समीकरण को हल करता है।
-: याद रखें कि अगर {{mvar|M}} एक आयामी है, तो की न्यूनतम {{mvar|f}} के बराबर है {{mvar|''f''}} जियोडेसिक होने के नाते, हालांकि इसका मतलब यह नहीं है कि यह एक स्थिर-गति वाला पैरामीट्रिजेशन है, और इसलिए इसका मतलब यह नहीं है {{mvar|f}} जियोडेसिक डिफरेंशियल इक्वेशन को हल करता है।
+: याद रखें कि यदि {{mvar|M}} आयामी है, तो {{mvar|f}} की न्यूनतम {{mvar|''f''}} के जियोडेसिक होने के समान है , चूँकि इसका अर्थ यह नहीं है कि यह स्थिर-गति वाला पैरामीट्रिजेशन है, और इसलिए इसका अर्थ यह नहीं है की {{mvar|f}} जियोडेसिक विभेदक समीकरण को हल करता है।
-* एक चिकना नक्शा {{math|''f'' : (''M'', ''g'') → (ℝ<sup>''n''</sup>, ''g''<sub>stan</sub>)}} हार्मोनिक है अगर और केवल अगर इसके प्रत्येक {{mvar|n}} घटक कार्य नक्शे के रूप में हार्मोनिक हैं {{math|(''M'', ''g'') → (ℝ, ''g''<sub>stan</sub>)}}. यह [[लाप्लास-बेल्ट्रामी ऑपरेटर]] द्वारा प्रदान की गई सामंजस्य की धारणा के साथ मेल खाता है।
+* एक सुचारू नक्शा {{math|''f'' : (''M'', ''g'') → (ℝ<sup>''n''</sup>, ''g''<sub>stan</sub>)}} हार्मोनिक है यदि और केवल यदि इसके प्रत्येक {{mvar|n}} घटक कार्य नक्शे के रूप में हार्मोनिक हैं {{math|(''M'', ''g'') → (ℝ, ''g''<sub>stan</sub>)}}. यह [[लाप्लास-बेल्ट्रामी ऑपरेटर]] द्वारा प्रदान की गई सामंजस्य की धारणा के साथ मेल खाता है।
 * काहलर मैनिफोल्ड्स के बीच हर [[होलोमॉर्फिक नक्शा]] हार्मोनिक है।
 * रीमैनियन मैनिफोल्ड्स के बीच हर [[हार्मोनिक रूपवाद]] हार्मोनिक है।
-== हार्मोनिक मैप हीट फ्लो ==
+== हार्मोनिक मैप उष्णता प्रवाह ==
 ===सुदृढ़ता ===
-होने देना {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} चिकनी रीमैनियन मैनिफोल्ड्स बनें। अंतराल पर एक हार्मोनिक नक्शा गर्मी प्रवाह {{math|(''a'', ''b'')}} प्रत्येक को असाइन करता है {{mvar|t}} में {{math|(''a'', ''b'')}} दो बार अलग-अलग नक्शा {{math|''f''<sub>''t''</sub> : ''M'' → ''N''}} इस तरह से कि, प्रत्येक के लिए {{mvar|p}} में {{mvar|M}}, वो नक्शा {{math|(''a'', ''b'') → ''N''}} द्वारा दिए गए {{math|''t'' ↦ ''f''<sub>''t ''</sub>(''p'')}} अलग-अलग है, और इसका व्युत्पन्न एक दिए गए मूल्य पर है {{mvar|t}} एक सदिश के रूप में है {{math|''T''<sub>''f''<sub>''t ''</sub>(''p'')</sub>''N''}}, के बराबर {{math|(∆'' f''<sub>''t ''</sub>)<sub>''p''</sub>}}. इसे आमतौर पर संक्षिप्त किया जाता है:
+होने देना {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} सुचारू रीमैनियन मैनिफोल्ड्स बनें अंतराल {{math|(''a'', ''b'')}} पर हार्मोनिक नक्शा गर्मी प्रवाह प्रत्येक {{mvar|t}} में {{math|(''a'', ''b'')}} दो बार अलग-अलग नक्शा {{math|''f''<sub>''t''</sub> : ''M'' → ''N''}} इस तरह से असाइन करता है कि, {{mvar|M}} में {{mvar|p}} प्रत्येक के लिए , वो नक्शा {{math|(''a'', ''b'') → ''N''}} {{math|''t'' ↦ ''f''<sub>''t ''</sub>(''p'')}} अलग-अलग है, और {{mvar|t}} इसका व्युत्पन्न दिए गए मान पर इसका व्युत्पन्न, {{math|''T''<sub>''f''<sub>''t ''</sub>(''p'')</sub>''N''}} में एक वेक्टर के रूप में,{{math|(∆'' f''<sub>''t ''</sub>)<sub>''p''</sub>}} के समान है। इसे सामान्यतः संक्षिप्त किया जाता है:
 :<math>\frac{\partial f}{\partial t}=\Delta f.</math>
-ईल्स और सैम्पसन ने हार्मोनिक मैप हीट फ्लो पेश किया और निम्नलिखित मूलभूत गुणों को सिद्ध किया:
+ईल्स और सैम्पसन ने हार्मोनिक मैप उष्णता प्रवाह प्रस्तुत किया और निम्नलिखित मूलभूत गुणों को सिद्ध किया:
-* नियमितता। मानचित्र के रूप में कोई हार्मोनिक मानचित्र ताप प्रवाह चिकनी है {{math|(''a'', ''b'') × ''M'' → ''N''}} द्वारा दिए गए {{math|(''t'', ''p'') ↦ ''f''<sub>''t'' </sub>(''p'')}}.
+* नियमितता। मानचित्र के रूप में कोई हार्मोनिक मानचित्र {{math|(''a'', ''b'') × ''M'' → ''N''}} द्वारा दिए गए {{math|(''t'', ''p'') ↦ ''f''<sub>''t'' </sub>(''p'')}}.ताप प्रवाह सुचारू है
-अब मान लीजिए {{mvar|M}} एक बंद कई गुना है और {{math|(''N'', ''h'')}} भौगोलिक रूप से पूर्ण है।
+अब मान लीजिए {{mvar|M}} बंद कई गुना है और {{math|(''N'', ''h'')}} भौगोलिक रूप से पूर्ण है।
-* अस्तित्व। एक निरंतर भिन्न मानचित्र दिया गया है {{math|''f''}} से {{mvar|M}} को {{mvar|N}}, एक सकारात्मक संख्या मौजूद है {{mvar|T}} और एक हार्मोनिक मैप हीट फ्लो {{math|''f''<sub>''t''</sub>}} अंतराल पर {{math|(0, ''T'')}} ऐसा है कि {{math|''f''<sub>''t''</sub>}} में परिवर्तित हो जाता है {{math|''f''}} में {{math|''C''<sup>1</sup>}} टोपोलॉजी के रूप में {{mvar|t}} घटकर 0 हो जाता है।<ref>This means that, relative to any local coordinate charts, one has uniform convergence on compact sets of the functions and their first partial derivatives.</ref>
+* अस्तित्व। {{mvar|M}} से {{mvar|N}} तक एक लगातार अलग-अलग मानचित्र {{math|''f''}} को देखते हुए, अंतराल {{math|(0, ''T'')}} पर एक सकारात्मक संख्या {{mvar|T}} और एक हार्मोनिक नक्शा ताप प्रवाह {{math|''f''<sub>''t''</sub>}} उपस्थित है, जैसे कि {{math|''C''<sup>1</sup>}} टोपोलॉजी में {{math|''f''<sub>''t''</sub>}} , {{math|''f''}} में परिवर्तित हो जाता है क्योंकि {{mvar|t}} 0 तक घट जाती है।<ref>This means that, relative to any local coordinate charts, one has uniform convergence on compact sets of the functions and their first partial derivatives.</ref>
-* अद्वितीयता। अगर {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}} और {{math|<nowiki>{</nowiki>{{overline|'' f ''}}<sub>''t''</sub> : 0 < ''t'' < {{overline|''T''}} <nowiki>}</nowiki>}} अस्तित्व प्रमेय के रूप में दो हार्मोनिक मानचित्र ताप प्रवाह हैं {{math|''f''<sub>''t''</sub> {{=}} {{overline|''f ''}}<sub>''t''</sub>}} जब कभी भी {{math|0 < ''t'' < min(''T'', {{overline|''T''}})}}.
+*विशिष्टता। {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}} और {{math|<nowiki>{</nowiki>{{overline|'' f ''}}<sub>''t''</sub> : 0 < ''t'' < {{overline|''T''}} <nowiki>}</nowiki>}} अस्तित्व प्रमेय के अनुसार दो हार्मोनिक मैप उष्णता प्रवाह हैं, फिर{{math|''f''<sub>''t''</sub> {{=}} {{overline|''f ''}}<sub>''t''</sub>}} जहां {{math|0 < ''t'' < min(''T'', {{overline|''T''}})}} है।
-विशिष्टता प्रमेय के परिणामस्वरूप, प्रारंभिक डेटा के साथ अधिकतम हार्मोनिक मानचित्र ताप प्रवाह मौजूद है {{math|''f''}}, जिसका अर्थ है कि किसी के पास एक हार्मोनिक मैप हीट फ्लो है {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}} अस्तित्व प्रमेय के बयान के रूप में, और यह विशिष्ट रूप से अतिरिक्त मानदंड के तहत परिभाषित किया गया है {{mvar|T}} इसका अधिकतम संभव मान लेता है, जो अनंत हो सकता है।
+विशिष्टता प्रमेय के परिणामस्वरूप, प्रारंभिक डेटा {{math|''f''}} के साथ अधिकतम हार्मोनिक मानचित्र ताप प्रवाह उपस्थित है , जिसका अर्थ है कि किसी के पास हार्मोनिक मैप उष्णता प्रवाह{{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}} है अस्तित्व प्रमेय के कथन के रूप में, और यह विशिष्ट रूप से अतिरिक्त मानदंड के तहत परिभाषित किया गया है {{mvar|T}} इसका अधिकतम संभव मान लेता है, जो अनंत हो सकता है।
 === ईल्स और सैम्पसन की प्रमेय ===
-एल्स एंड सैम्पसन के 1964 के पेपर का प्राथमिक परिणाम निम्नलिखित है:{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}}
+ईल्स और सैम्पसन के 1964 के पेपर का प्राथमिक परिणाम निम्नलिखित है:{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}}
-{{quote|Let {{math|(''M'', ''g'')}} and {{math|(''N'', ''h'')}} be smooth and closed Riemannian manifolds, and suppose that the [[sectional curvature]] of {{math|(''N'', ''h'')}} is nonpositive. Then for any continuously differentiable map {{mvar|f}} from {{mvar|M}} to {{mvar|N}}, the maximal harmonic map heat flow {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}} with initial data {{mvar|f}} has {{math|''T'' {{=}} ∞}}, and as {{mvar|t}} increases to {{mvar|∞}}, the maps {{math|''f''<sub>''t''</sub>}} subsequentially converge in the {{math|''C''<sup>∞</sup>}} topology to a harmonic map.}}
+{{quote|चलो {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} चिकने और बंद रिमेंनियन कई गुना हो, और मान लीजिए कि {{गणित|(''N'', ''h'')}} का [[अनुभागीय वक्रता]] सकारात्मक नहीं है। फिर {{mvar|f}} से {{mvar|M}} से {{mvar|N}} तक लगातार अलग-अलग होने वाले किसी भी मैप के लिए, मैक्सिमम हार्मोनिक मैप हीट फ्लो {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 <''t'' <''T ''<nowiki>}</nowiki>}} प्रारंभिक डेटा के साथ {{mvar|f}} है {{math|''T'' {{=}} ∞}}, और जैसे ही {{mvar|t}} बढ़कर {{mvar|∞}} हो जाता है, मैप्स {{math|''f''<sub >'t''</sub>}} बाद में {{math|''C''<sup>∞</sup>}} टोपोलॉजी में एक हार्मोनिक मानचित्र में परिवर्तित हो जाता है।}}
-विशेष रूप से, यह दर्शाता है कि, पर मान्यताओं के तहत {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}}, हर निरंतर नक्शा एक हार्मोनिक मानचित्र के समरूप है।{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}} प्रत्येक होमोटॉपी वर्ग में एक हार्मोनिक मानचित्र का अस्तित्व, जो स्पष्ट रूप से मुखर हो रहा है, परिणाम का हिस्सा है। एल्स और सैम्पसन के काम के तुरंत बाद, [[फिलिप हार्टमैन]] ने होमोटॉपी कक्षाओं के भीतर हार्मोनिक मानचित्रों की विशिष्टता का अध्ययन करने के लिए अपने तरीकों का विस्तार किया, साथ ही यह दिखाया कि ईल्स-सैम्पसन प्रमेय में अभिसरण मजबूत है, बिना किसी क्रम का चयन करने की आवश्यकता के।{{sfnm|1a1=Hartman|1y=1967|1loc=Theorem B}} एल्स और सैम्पसन के परिणाम को रिचर्ड एस. हैमिल्टन द्वारा डिरिचलेट सीमा स्थिति की स्थापना के लिए अनुकूलित किया गया था, जब {{mvar|M}} इसके बजाय गैर-खाली सीमा के साथ कॉम्पैक्ट है।{{sfnm|1a1=Hamilton|1y=1975|1loc=p.157-161}}
+विशेष रूप से, यह दर्शाता है कि, पर मान्यताओं के तहत {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}}, हर निरंतर नक्शा हार्मोनिक मानचित्र के समरूप है।{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 11A}} प्रत्येक होमोटॉपी वर्ग में हार्मोनिक मानचित्र का अस्तित्व, जो स्पष्ट रूप से मुखर हो रहा है, परिणाम का भाग है। एल्स और सैम्पसन के काम के तुरंत बाद, [[फिलिप हार्टमैन]] ने होमोटॉपी कक्षाओं के अंदर हार्मोनिक मानचित्रों की विशिष्टता का अध्ययन करने के लिए अपने विधि का विस्तार किया, साथ ही यह दिखाया कि ईल्स-सैम्पसन प्रमेय में अभिसरण शसक्त है, बिना किसी क्रम का चयन करने की आवश्यकता के{{sfnm|1a1=Hartman|1y=1967|1loc=Theorem B}} एल्स और सैम्पसन के परिणाम को रिचर्ड एस. हैमिल्टन द्वारा डिरिचलेट सीमा स्थिति की स्थापना के लिए अनुकूलित किया गया था, जब {{mvar|M}} इसके अतिरिक्त गैर-खाली सीमा के साथ कॉम्पैक्ट है।{{sfnm|1a1=Hamilton|1y=1975|1loc=p.157-161}}
-=== एकवचन और कमजोर समाधान ===
+=== एकवचन और अशक्त समाधान ===
-एल्स और सैम्पसन के काम के बाद कई वर्षों तक, यह स्पष्ट नहीं था कि अनुभागीय वक्रता की धारणा किस हद तक है {{math|(''N'', ''h'')}} आवश्यक था। 1992 में कुंग-चिंग चांग, वेई-यू डिंग और रगांग ये के काम के बाद, यह व्यापक रूप से स्वीकार किया जाता है कि एक हार्मोनिक नक्शा गर्मी प्रवाह के अस्तित्व का अधिकतम समय आमतौर पर अनंत होने की उम्मीद नहीं की जा सकती।{{sfnm|1a1=Chang|1a2=Ding|1a3=Ye|1y=1992|2a1=Lin|2a2=Wang|2y=2008|2loc=Section 6.3}} उनके परिणाम दृढ़ता से सुझाव देते हैं कि हार्मोनिक मानचित्र ताप प्रवाह दोनों के होने पर भी परिमित-समय के विस्फोट के साथ होता है {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} को इसके मानक मीट्रिक के साथ द्वि-आयामी क्षेत्र के रूप में लिया जाता है। चूंकि अण्डाकार और परवलयिक आंशिक अंतर समीकरण विशेष रूप से सुचारू होते हैं जब डोमेन दो आयाम होता है, चांग-डिंग-ये परिणाम को प्रवाह के सामान्य चरित्र का संकेत माना जाता है।
+एल्स और सैम्पसन के काम के बाद कई वर्षों तक, यह स्पष्ट नहीं था कि अनुभागीय वक्रता की धारणा किस हद तक है {{math|(''N'', ''h'')}} आवश्यक था। 1992 में कुंग-चिंग चांग, वेई-यू डिंग और रगांग ये के काम के बाद, यह व्यापक रूप से स्वीकार किया जाता है कि हार्मोनिक नक्शा गर्मी प्रवाह के अस्तित्व का अधिकतम समय सामान्यतः अनंत होने की उम्मीद नहीं की जा सकती।{{sfnm|1a1=Chang|1a2=Ding|1a3=Ye|1y=1992|2a1=Lin|2a2=Wang|2y=2008|2loc=Section 6.3}} उनके परिणाम दृढ़ता से सुझाव देते हैं कि हार्मोनिक मानचित्र ताप प्रवाह दोनों के होने पर भी परिमित-समय के विस्फोट के साथ होता है {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} को इसके मानक मीट्रिक के साथ द्वि-आयामी क्षेत्र के रूप में लिया जाता है। चूंकि अण्डाकार और परवलयिक आंशिक अंतर समीकरण विशेष रूप से सुचारू होते हैं जब डोमेन दो आयाम होता है, चांग-डिंग-ये परिणाम को प्रवाह के सामान्य चरित्र का संकेत माना जाता है।
-सैक्स और उहलेनबेक के मौलिक कार्यों पर आधारित, [[माइकल स्ट्रूवे]] ने उस मामले पर विचार किया जहां पर कोई ज्यामितीय धारणा नहीं थी {{math|(''N'', ''h'')}} से बना। उस मामले में {{mvar|M}} द्वि-आयामी है, उन्होंने हार्मोनिक मैप हीट फ्लो के [[कमजोर समाधान]]ों के लिए बिना शर्त अस्तित्व और विशिष्टता की स्थापना की।{{sfnm|1a1=Struwe|1y=1985}} इसके अलावा, उन्होंने पाया कि उनके कमजोर समाधान बहुत से अंतरिक्ष-समय बिंदुओं से आसानी से दूर हो जाते हैं, जिस पर ऊर्जा घनत्व केंद्रित होता है। सूक्ष्म स्तरों पर, इन बिंदुओं के निकट प्रवाह को एक बुलबुले द्वारा प्रतिरूपित किया जाता है, अर्थात गोल 2-गोले से लक्ष्य में एक सहज हार्मोनिक नक्शा। वेइयु डिंग और [[ गिरोह टीआई प्रेस ]] एकवचन समय में ऊर्जा परिमाणीकरण को सिद्ध करने में सक्षम थे, जिसका अर्थ है कि स्ट्रूवे के कमजोर समाधान की डिरिचलेट ऊर्जा, एक विलक्षण समय पर, उस समय विलक्षणता के अनुरूप बुलबुले की कुल डिरिचलेट ऊर्जा के योग से कम हो जाती है। .{{sfnm|1a1=Ding|1a2=Tian|1y=1995}}
+सैक्स और उहलेनबेक के मौलिक कार्यों पर आधारित, [[माइकल स्ट्रूवे]] ने उस स्थिति पर विचार किया जहां पर कोई ज्यामितीय धारणा नहीं थी {{math|(''N'', ''h'')}} से बना। उस स्थिति में {{mvar|M}} द्वि-आयामी है, उन्होंने हार्मोनिक मैप उष्णता प्रवाह के [[कमजोर समाधान|अशक्त समाधान]] के लिए बिना नियम अस्तित्व और विशिष्टता की स्थापना की।{{sfnm|1a1=Struwe|1y=1985}} इसके अतिरिक्त , उन्होंने पाया कि उनके अशक्त समाधान बहुत से अंतरिक्ष-समय बिंदुओं से आसानी से दूर हो जाते हैं, जिस पर ऊर्जा घनत्व केंद्रित होता है। सूक्ष्म स्तरों पर, इन बिंदुओं के निकट प्रवाह को बुलबुले द्वारा प्रतिरूपित किया जाता है, अर्थात गोल 2-गोले से लक्ष्य में सहज हार्मोनिक नक्शा। वेइयु डिंग और [[ गिरोह टीआई प्रेस |गिरोह टीआई प्रेस]] एकवचन समय में ऊर्जा परिमाणीकरण को सिद्ध करने में सक्षम थे, जिसका अर्थ है कि स्ट्रूवे के अशक्त समाधान की डिरिचलेट ऊर्जा, विलक्षण समय पर, उस समय विलक्षणता के अनुरूप बुलबुले की कुल डिरिचलेट ऊर्जा के योग से कम हो जाती है। .{{sfnm|1a1=Ding|1a2=Tian|1y=1995}}
-स्ट्रूवे बाद में अपने तरीकों को उच्च आयामों में अनुकूलित करने में सक्षम थे, इस मामले में कि डोमेन मैनिफोल्ड [[ यूक्लिडियन अंतरिक्ष ]] है;{{sfnm|1a1=Struwe|1y=1988}} उन्होंने और युन मेई चेन ने भी उच्च-आयामी बंद मैनिफोल्ड्स पर विचार किया।{{sfnm|1a1=Chen|1a2=Struwe|1y=1989}} उनके परिणाम निम्न आयामों की तुलना में कम प्राप्त हुए, केवल कमजोर समाधानों के अस्तित्व को साबित करने में सक्षम होने के कारण जो खुले घने उपसमुच्चय पर सहज हैं।
+स्ट्रूवे बाद में अपने विधि को उच्च आयामों में अनुकूलित करने में सक्षम थे, इस स्थिति में कि डोमेन मैनिफोल्ड [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन अंतरिक्ष]] है;{{sfnm|1a1=Struwe|1y=1988}} उन्होंने और युन मेई चेन ने भी उच्च-आयामी बंद मैनिफोल्ड्स पर विचार किया।{{sfnm|1a1=Chen|1a2=Struwe|1y=1989}} उनके परिणाम निम्न आयामों की तुलना में कम प्राप्त हुए, केवल अशक्त समाधानों के अस्तित्व को सिद्ध करने में सक्षम होने के कारण जो खुले घने उपसमुच्चय पर सहज हैं।
 == बोचनर सूत्र और कठोरता ==
-ईल्स और सैम्पसन के प्रमेय के सबूत में मुख्य कम्प्यूटेशनल बिंदु एक हार्मोनिक मानचित्र ताप प्रवाह की सेटिंग के लिए बोचनर के सूत्र का अनुकूलन है। {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}}. यह सूत्र कहता है{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 8A|2a1=Hamilton|2y=1975|2loc=p.128-130|3a1=Lin|3a2=Wang|3y=2008|3loc=Lemma 5.3.3}}
+ईल्स और सैम्पसन के प्रमेय के प्रमाण में मुख्य कम्प्यूटेशनल बिंदु हार्मोनिक मानचित्र ताप प्रवाह की सेटिंग के लिए बोचनर के सूत्र का अनुकूलन है। {{math|<nowiki>{</nowiki>'' f''<sub>''t''</sub> : 0 < ''t'' < ''T ''<nowiki>}</nowiki>}}. यह सूत्र कहता है{{sfnm|1a1=Eells|1a2=Sampson|1y=1964|1loc=Section 8A|2a1=Hamilton|2y=1975|2loc=p.128-130|3a1=Lin|3a2=Wang|3y=2008|3loc=Lemma 5.3.3}}
 :<math>\Big(\frac{\partial}{\partial t}-\Delta^g\Big)e(f)=-\big|\nabla(df)\big|^2-\big\langle\operatorname{Ric}^g,f^\ast h\big\rangle_g+\operatorname{scal}^g\big(f^\ast\operatorname{Rm}^h\big).</math>
-यह हार्मोनिक मानचित्रों के विश्लेषण में भी रूचि रखता है। कल्पना करना {{math|''f'' : ''M'' → ''N''}} हार्मोनिक है; किसी भी हार्मोनिक मानचित्र को निरंतर-इन-के रूप में देखा जा सकता है{{mvar|t}} हार्मोनिक मैप हीट फ्लो का समाधान, और इसलिए उपरोक्त सूत्र से प्राप्त होता है{{sfnm|1a1=Aubin|1y=1998|1loc=Lemma 10.11|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3C|3a1=Jost|3y=1997|3loc=Formula 5.1.18|4a1=Jost|4y=2017|4loc=Formula 9.2.13|5a1=Lin|5a2=Wang|5y=2008|5loc=Theorem 1.5.1}}
+यह हार्मोनिक मानचित्रों के विश्लेषण में भी रूचि रखता है। कल्पना करना {{math|''f'' : ''M'' → ''N''}} हार्मोनिक है; किसी भी हार्मोनिक मानचित्र को निरंतर-इन-के रूप में देखा जा सकता है {{mvar|t}} हार्मोनिक मैप उष्णता प्रवाह का समाधान, और इसलिए उपरोक्त सूत्र से प्राप्त होता है{{sfnm|1a1=Aubin|1y=1998|1loc=Lemma 10.11|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3C|3a1=Jost|3y=1997|3loc=Formula 5.1.18|4a1=Jost|4y=2017|4loc=Formula 9.2.13|5a1=Lin|5a2=Wang|5y=2008|5loc=Theorem 1.5.1}}
 :<math>\Delta^ge(f)=\big|\nabla(df)\big|^2+\big\langle\operatorname{Ric}^g,f^\ast h\big\rangle_g-\operatorname{scal}^g\big(f^\ast\operatorname{Rm}^h\big).</math>
-यदि रिक्की की वक्रता {{mvar|g}} सकारात्मक है और का [[अनुभागीय वक्रता]] है {{mvar|h}} सकारात्मक नहीं है, तो इसका तात्पर्य है कि {{math|∆''e''(''f'')}} अऋणात्मक है। अगर {{mvar|M}} बंद है, तो गुणा करें {{math|''e''(''f'')}} और भागों द्वारा एक एकल एकीकरण यह दर्शाता है {{math|''e''(''f'')}} स्थिर होना चाहिए, और इसलिए शून्य; इस तरह {{mvar|f}} स्वयं स्थिर होना चाहिए।{{sfnm|1a1=Aubin|1y=1998|1loc=Corollary 10.12|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3C|3a1=Jost|3y=1997|3loc=Theorem 5.1.2|4a1=Jost|4y=2017|4loc=Corollary 9.2.3|5a1=Lin|5a2=Wang|5y=2008|5loc=Proposition 1.5.2}} रिचर्ड स्कोएन और [[शिंग-तुंग यौ]] ने नोट किया कि इस तर्क को नॉनकॉम्पैक्ट तक बढ़ाया जा सकता है {{mvar|M}} Yau के प्रमेय का उपयोग करके यह दावा करते हुए कि गैर-ऋणात्मक [[सबहार्मोनिक फ़ंक्शन]] जो Lp स्थान हैं|{{math|''L''<sup>2</sup>}}-बाध्य स्थिर होना चाहिए।{{sfnm|1a1=Schoen|1a2=Yau|1y=1976|1loc=p.336-337}} संक्षेप में, इन परिणामों के अनुसार, किसी के पास:
+यदि {{mvar|g}} रिक्की की वक्रता सकारात्मक है और {{mvar|h}} का [[अनुभागीय वक्रता]] सकारात्मक नहीं है, तो इसका तात्पर्य है कि {{math|∆''e''(''f'')}} अऋणात्मक है। यदि {{mvar|M}} बंद है, तो {{math|''e''(''f'')}} गुणा और भागों द्वारा एकल एकीकरण यह दर्शाता है कि {{math|''e''(''f'')}} स्थिर होना चाहिए, और इसलिए शून्य; इस तरह {{mvar|f}} स्वयं स्थिर होना चाहिए।{{sfnm|1a1=Aubin|1y=1998|1loc=Corollary 10.12|2a1=Eells|2a2=Sampson|2y=1964|2loc=Section 3C|3a1=Jost|3y=1997|3loc=Theorem 5.1.2|4a1=Jost|4y=2017|4loc=Corollary 9.2.3|5a1=Lin|5a2=Wang|5y=2008|5loc=Proposition 1.5.2}} रिचर्ड स्कोएन और [[शिंग-तुंग यौ]] ने नोट किया कि इस तर्क को नॉनकॉम्पैक्ट {{mvar|M}} तक बढ़ाया जा सकता है यौ के प्रमेय का उपयोग करके यह दावा करते हुए कि गैर-ऋणात्मक [[सबहार्मोनिक फ़ंक्शन|सबहार्मोनिक कार्य]] जो {{math|''L''<sup>2</sup>}}-बाध्य स्थिर होना चाहिए।{{sfnm|1a1=Schoen|1a2=Yau|1y=1976|1loc=p.336-337}} संक्षेप में, इन परिणामों के अनुसार, किसी के पास है:
-{{quote|Let {{math|(''M'', ''g'')}} and {{math|(''N'', ''h'')}} be smooth and complete Riemannian manifolds, and let {{mvar|f}} be a harmonic map from {{mvar|M}} to {{mvar|N}}. Suppose that the Ricci curvature of {{mvar|g}} is positive and the sectional curvature of {{mvar|h}} is nonpositive.
-* If {{mvar|M}} and {{mvar|N}} are both closed then {{mvar|f}} must be constant.
-* If {{mvar|N}} is closed and {{mvar|f}} has finite Dirichlet energy, then it must be constant.}}
-Eells−Sampson प्रमेय के संयोजन में, यह दिखाता है (उदाहरण के लिए) कि यदि {{math|(''M'', ''g'')}} सकारात्मक रिक्की वक्रता के साथ एक बंद रिमेंनियन मैनिफोल्ड है और {{math|(''N'', ''h'')}} गैर-सकारात्मक अनुभागीय वक्रता के साथ एक बंद रिमेंनियन मैनिफोल्ड है, फिर प्रत्येक निरंतर मानचित्र से {{mvar|M}} को {{mvar|N}} एक स्थिरांक के लिए समरूप है।
-एक सामान्य मानचित्र को एक हार्मोनिक मानचित्र में विकृत करने का सामान्य विचार, और फिर यह दर्शाता है कि ऐसा कोई भी हार्मोनिक मानचित्र स्वचालित रूप से अत्यधिक प्रतिबंधित वर्ग का होना चाहिए, कई अनुप्रयोगों को मिला है। उदाहरण के लिए, [[यम-टोंग सिउ]] ने बोचनर फॉर्मूला का एक महत्वपूर्ण जटिल-विश्लेषणात्मक संस्करण पाया, जिसमें कहा गया है कि काहलर मैनिफोल्ड्स के बीच एक हार्मोनिक मानचित्र होलोमोर्फिक होना चाहिए, बशर्ते कि लक्ष्य मैनिफोल्ड में उचित नकारात्मक वक्रता हो।{{sfnm|1a1=Siu|1y=1980}} एक अनुप्रयोग के रूप में, हार्मोनिक मानचित्रों के लिए ईल्स-सैम्पसन अस्तित्व प्रमेय का उपयोग करके, वह यह दिखाने में सक्षम था कि यदि {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} चिकने और बंद काहलर कई गुना होते हैं, और यदि वक्रता होती है {{math|(''N'', ''h'')}} उचित रूप से नकारात्मक है, तो {{mvar|M}} और {{mvar|N}} बाइहोलोमॉर्फिक या एंटी-बिहोलोमॉर्फिक होना चाहिए यदि वे एक दूसरे के समरूप हैं; बिहोलोमोर्फिज्म (या एंटी-बिहोलोमोर्फिज्म) सटीक रूप से हार्मोनिक मैप है जो होमोटॉपी द्वारा दिए गए प्रारंभिक डेटा के साथ हार्मोनिक मैप हीट फ्लो की सीमा के रूप में निर्मित होता है। उसी दृष्टिकोण के एक वैकल्पिक सूत्रीकरण के द्वारा, सिउ नकारात्मक वक्रता के प्रतिबंधित संदर्भ में, अभी भी अनसुलझे [[हॉज अनुमान]] के एक संस्करण को साबित करने में सक्षम था।
+{{quote|मान लें कि {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} सुचारू और पूर्ण रीमानियन कई गुना हो, और {{math|(''N'', ''h'')}}<nowiki> {mvar|f}} </nowiki>{{mvar|M}} से {{mvar|N}} तक एक हार्मोनिक मानचित्र बनें। मान लीजिए कि {{mvar|g}} की रिक्की वक्रता सकारात्मक है और {{mvar|h}} की अनुभागीय वक्रता गैर-धनात्मक है।
+* अगर {{mvar|M}} और {{mvar|N}} दोनों बंद हैं तो {{mvar|f}} स्थिर होना चाहिए।
+* यदि {{mvar|N}} बंद है और {{mvar|f}} में परिमित डिरिचलेट ऊर्जा है, तो यह स्थिर होना चाहिए।}}
-केविन कॉरलेट ने सिउ के बोचनर फॉर्मूले का एक महत्वपूर्ण विस्तार पाया, और इसका उपयोग कुछ [[झूठ समूह]]ों में जाली के लिए नई [[अति कठोरता]] साबित करने के लिए किया।{{sfnm|1a1=Corlette|1y=1992}} इसके बाद, मिखाइल लियोनिदोविच ग्रोमोव और रिचर्ड स्कोएन ने अनुमति देने के लिए हार्मोनिक मानचित्रों के सिद्धांत का विस्तार किया {{math|(''N'', ''h'')}} को [[ मीट्रिक स्थान ]] से बदलना है।{{sfnm|1a1=Gromov|1a2=Schoen|1y=1992}} ईल्स-सैम्पसन प्रमेय के विस्तार के साथ सिउ-कॉर्लेट बोचनर सूत्र के विस्तार के साथ, वे जाली के लिए नई कठोरता प्रमेय साबित करने में सक्षम थे।
+ईल्स-सैम्पसन प्रमेय के संयोजन में, यह दिखाता है (उदाहरण के लिए) कि यदि {{math|(''M'', ''g'')}} सकारात्मक रिक्की वक्रता के साथ बंद रिमेंनियन मैनिफोल्ड है और {{math|(''N'', ''h'')}} गैर-सकारात्मक अनुभागीय वक्रता के साथ बंद रिमेंनियन मैनिफोल्ड है, फिर प्रत्येक निरंतर मानचित्र से {{mvar|M}} को {{mvar|N}} स्थिरांक के लिए समरूप है।
+एक सामान्य मानचित्र को हार्मोनिक मानचित्र में विकृत करने का सामान्य विचार, और फिर यह दर्शाता है कि ऐसा कोई भी हार्मोनिक मानचित्र स्वचालित रूप से अत्यधिक प्रतिबंधित वर्ग का होना चाहिए, कई अनुप्रयोगों को मिला है। उदाहरण के लिए, [[यम-टोंग सिउ]] ने बोचनर सूत्र का महत्वपूर्ण जटिल-विश्लेषणात्मक संस्करण पाया, जिसमें कहा गया है कि काहलर मैनिफोल्ड्स के बीच हार्मोनिक मानचित्र होलोमोर्फिक होना चाहिए, परंतु कि लक्ष्य मैनिफोल्ड में उचित ऋणात्मक वक्रता हो।{{sfnm|1a1=Siu|1y=1980}} अनुप्रयोग के रूप में, हार्मोनिक मानचित्रों के लिए ईल्स-सैम्पसन अस्तित्व प्रमेय का उपयोग करके, वह यह दिखाने में सक्षम था कि यदि {{math|(''M'', ''g'')}} और {{math|(''N'', ''h'')}} चिकने और बंद काहलर कई गुना होते हैं, और यदि वक्रता होती है {{math|(''N'', ''h'')}} उचित रूप से ऋणात्मक है, तो {{mvar|M}} और {{mvar|N}} बाइहोलोमॉर्फिक या एंटी-बिहोलोमॉर्फिक होना चाहिए यदि वे दूसरे के समरूप हैं; बिहोलोमोर्फिज्म (या एंटी-बिहोलोमोर्फिज्म) स्पष्ट रूप से हार्मोनिक मैप है जो होमोटॉपी द्वारा दिए गए प्रारंभिक डेटा के साथ हार्मोनिक मैप उष्णता प्रवाह की सीमा के रूप में निर्मित होता है। उसी दृष्टिकोण के वैकल्पिक सूत्रीकरण के द्वारा, सिउ ऋणात्मक वक्रता के प्रतिबंधित संदर्भ में, अभी भी अनसुलझे [[हॉज अनुमान]] के संस्करण को सिद्ध करने में सक्षम था।
+केविन कॉरलेट ने सिउ के बोचनर फॉर्मूले का महत्वपूर्ण विस्तार पाया, और इसका उपयोग कुछ [[झूठ समूह]] में जाली के लिए नई [[अति कठोरता]] सिद्ध करने के लिए किया ।{{sfnm|1a1=Corlette|1y=1992}} इसके बाद, मिखाइल लियोनिदोविच ग्रोमोव और रिचर्ड स्कोएन ने अनुमति देने के लिए हार्मोनिक मानचित्रों के सिद्धांत का विस्तार किया {{math|(''N'', ''h'')}} को [[ मीट्रिक स्थान |मीट्रिक स्थान]] से बदलना है।{{sfnm|1a1=Gromov|1a2=Schoen|1y=1992}} ईल्स-सैम्पसन प्रमेय के विस्तार के साथ सिउ-कॉर्लेट बोचनर सूत्र के विस्तार के साथ, वे जाली के लिए नई कठोरता प्रमेय सिद्ध करने में सक्षम थे।
 == समस्याएं और अनुप्रयोग ==
@@ Line 102: / Line 103: @@
 * मैनिफोल्ड्स के बीच हार्मोनिक मानचित्रों पर अस्तित्व के परिणाम उनके [[रीमैन वक्रता टेन्सर]] के लिए परिणाम हैं।
 * एक बार अस्तित्व ज्ञात हो जाने के बाद, हार्मोनिक मानचित्र को स्पष्ट रूप से कैसे बनाया जा सकता है? (एक उपयोगी विधि [[ट्विस्टर सिद्धांत]] का उपयोग करती है।)
-* [[सैद्धांतिक भौतिकी]] में, एक [[क्वांटम क्षेत्र सिद्धांत]] जिसकी [[क्रिया (भौतिकी)]] डिरिचलेट ऊर्जा द्वारा दी जाती है, [[सिग्मा मॉडल]] के रूप में जाना जाता है। ऐसे सिद्धांत में, हार्मोनिक मानचित्र [[instatons]] के अनुरूप होते हैं।
+* [[सैद्धांतिक भौतिकी]] में, [[क्वांटम क्षेत्र सिद्धांत]] जिसकी [[क्रिया (भौतिकी)]] डिरिचलेट ऊर्जा द्वारा दी जाती है, [[सिग्मा मॉडल]] के रूप में जाना जाता है। ऐसे सिद्धांत में, हार्मोनिक मानचित्र [[instatons|instatonsइंस्टा टन]] के अनुरूप होते हैं।
-* कम्प्यूटेशनल तरल गतिशीलता और कम्प्यूटेशनल भौतिकी के लिए ग्रिड पीढ़ी के तरीकों में मूल विचारों में से एक नियमित ग्रिड उत्पन्न करने के लिए अनुरूप या हार्मोनिक मानचित्रण का उपयोग करना था।
+* कम्प्यूटेशनल तरल गतिशीलता और कम्प्यूटेशनल भौतिकी के लिए ग्रिड पीढ़ी के विधि में मूल विचारों में से नियमित ग्रिड उत्पन्न करने के लिए अनुरूप या हार्मोनिक मानचित्रण का उपयोग करना था।
-== मीट्रिक रिक्त स्थान के बीच हार्मोनिक मानचित्र ==
+== मीट्रिक रिक्त स्थान के बीच हार्मोनिक मानचित्र                                                            ==
-कार्यों के लिए कमजोर सेटिंग में ऊर्जा अभिन्न तैयार किया जा सकता है {{nowrap|''u'' : ''M'' &rarr; ''N''}} दो मीट्रिक रिक्त स्थान के बीच। इसके बजाय ऊर्जा एकीकृत प्रपत्र का एक कार्य है
+दो मीट्रिक रिक्त स्थान के बीच कार्य {{nowrap|''u'' : ''M'' &rarr; ''N''}} के लिए अशक्त सेटिंग में ऊर्जा अभिन्न तैयार किया जा सकता है। इसके अतिरिक्त ऊर्जा एकीकृत प्रपत्र का एक कार्य है
 :<math>e_\epsilon(u)(x) = \frac{\int_M d^2(u(x),u(y))\,d\mu^\epsilon_x(y)}{\int_M d^2(x,y)\,d\mu^\epsilon_x(y)}</math>
-जिसमें मु{{su|p=&epsilon;|b=''x''}} एम के प्रत्येक बिंदु से जुड़े माप (गणित) का एक परिवार है।{{sfnm|1a1=Jost|1y=1994|1loc=Definition 1.1}}
+जिसमें μ{{su|p=&epsilon;|b=''x''}} ''M'' के प्रत्येक बिंदु से जुड़े माप (गणित) का वर्ग है।{{sfnm|1a1=Jost|1y=1994|1loc=Definition 1.1}}
-== यह भी देखें ==
+== यह भी देखें                                                                                                                   ==
 * [[ज्यामितीय प्रवाह]]
@@ Line 158: / Line 159: @@
 * [http://people.bath.ac.uk/masfeb/harmonic.html Harmonic Maps Bibliography]
 * [http://www.matematik.lu.se/matematiklu/personal/sigma/harmonic/bibliography.html The Bibliography of Harmonic Morphisms]
-[[Category: रिमानियन ज्यामिति]] [[Category: हार्मोनिक कार्य]] [[Category: विश्लेषणात्मक कार्य]]
-[[Category: Machine Translated Page]]
+[[Category:Articles citing publications with errata]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
 [[Category:Created On 05/04/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:रिमानियन ज्यामिति]]
+[[Category:विश्लेषणात्मक कार्य]]
+[[Category:हार्मोनिक कार्य]]

Anonymous

Search

हार्मोनिक मैप: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 21:47, 3 May 2023

Contents

मैनिफोल्ड्स के बीच मैपिंग की ज्यामिति

स्थानीय निर्देशांक

बंडल औपचारिकता

डिरिचलेट ऊर्जा और इसकी भिन्नता सूत्र

हार्मोनिक मानचित्रों के उदाहरण

हार्मोनिक मैप उष्णता प्रवाह

सुदृढ़ता

ईल्स और सैम्पसन की प्रमेय

एकवचन और अशक्त समाधान

बोचनर सूत्र और कठोरता

समस्याएं और अनुप्रयोग

मीट्रिक रिक्त स्थान के बीच हार्मोनिक मानचित्र

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

हार्मोनिक मैप: Difference between revisions

Latest revision as of 21:47, 3 May 2023

मैनिफोल्ड्स के बीच मैपिंग की ज्यामिति

स्थानीय निर्देशांक

बंडल औपचारिकता

डिरिचलेट ऊर्जा और इसकी भिन्नता सूत्र

हार्मोनिक मानचित्रों के उदाहरण

हार्मोनिक मैप उष्णता प्रवाह

सुदृढ़ता

ईल्स और सैम्पसन की प्रमेय

एकवचन और अशक्त समाधान

बोचनर सूत्र और कठोरता

समस्याएं और अनुप्रयोग

मीट्रिक रिक्त स्थान के बीच हार्मोनिक मानचित्र

यह भी देखें

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories