Two-bump axisymmetric solutions of the Nirenberg problem

तकनीकी सारांश: निरेनबर्ग समस्या के टू-बम्प अक्षीय सममित समाधान (Two-Bump Axisymmetric Solutions)

समस्या विवरण
यह शोध पत्र मानक $n$-गोले ($S^n, n \ge 4$) पर निरेनबर्ग समस्या को संबोधित करता है, जो एक निर्धारित स्केलर वक्रता फलन (prescribed scalar curvature function) $K$ के साथ एक कन्फॉर्मल मेट्रिक $g = u^{4/(n-2)}g_0$ की खोज करता है। इस समस्या को नियंत्रित करने वाला समीकरण है:
$$-L_{g_0}u := -\Delta_{g_0}u + c(n)R_0u = c(n)K u^{\frac{n+2}{n-2}} \quad S^n \text{ पर,}$$
जहाँ $c(n) = \frac{n-2}{4(n-1)}$ और $R_0 = n(n-1)$ है।

लेखक अक्षीय सममित (axisymmetric) समाधानों पर ध्यान केंद्रित करते हैं जहाँ निर्धारित वक्रता फलन $K$ के उत्तरी ($P_2$) और दक्षिणी ($P_1$) ध्रुवों पर विशिष्ट फ्लैटनेस (flatness) के क्रम $n-2$ के साथ क्रिटिकल पॉइंट्स होते हैं। पैरामीटर स्पेस में एक क्रिटिकल हाइपरसरफेस $\Sigma_0$ के पास समाधान सेट का व्यवहार अध्ययन का केंद्रीय विषय है। पिछले कार्यों ने स्थापित किया था कि जब पैरामीटर $\Sigma_0$ से दूर रहते हैं तो समाधान सेट कॉम्पैक्ट (compact) होता है, लेकिन जैसे ही पैरामीटर $\Sigma_0$ के करीब पहुँचते हैं, कॉम्पैक्टनेस खो जाती है। यहाँ संबोधित विशिष्ट प्रश्न यह है कि कॉम्पैक्टनेस के नुकसान की सटीक प्रकृति क्या है: क्या यह $\Sigma_0$ के दोनों ओर होता है, या यह एक तरफ स्थानीयकृत (localized) है?

कार्यप्रणाली (Methodology)
लेखक समाधानों के निर्माण के लिए एक लियापुनोव-श्मिट रिडक्शन (Lyapunov-Schmidt reduction) को परिमित-आयामी विश्लेषण (finite-dimensional analysis) के साथ नियोजित करते हैं। रणनीति में निम्नलिखित चरण शामिल हैं:

1. एंसेट निर्माण (Ansatz Construction): समाधानों की खोज दो "बम्प्स" (ध्रुवों के पास केंद्रित) के सुपरपोजिशन और एक करेक्शन टर्म के रूप में की जाती है:
   $$u = \sum_{i=1}^2 \alpha_i \delta_{P_i, t_i} + v,$$
   जहाँ $\delta_{P_i, t_i}$ मानक बबल समाधान हैं, $t_i$ एकाग्रता स्केल (concentration scales) का प्रतिनिधित्व करते हैं, $\alpha_i$ स्केलिंग गुणांक हैं, और $v$ लीनियर ऑपरेटर के कर्नेल (kernel) के ऑर्थोगोनल एक छोटा शेष भाग (remainder) है।

2. परिमित-आयामी रिडक्शन (Finite-Dimensional Reduction): इमपलिसिट फंक्शन थ्योरम का उपयोग करते हुए, लेखक एकाग्रता मापदंडों $t = (t_1, t_2)$ के पदों में गुणांकों $\alpha(t)$ और शेष भाग $v(t)$ के लिए $\alpha(t)$ और $v(t)$ को हल करते हैं। यह अनंत-आयामी PDE को दो बीजगणितीय समीकरणों, $H(t) = 0$, के एक सिस्टम में बदल देता है, जो स्केल $t_1$ और $t_2$ को नियंत्रित करता है।

3. $\Sigma_0$ के पास एसिम्प्टोटिक विश्लेषण (Asymptotic Analysis near $\Sigma_0$): $\Sigma_0$ के निकट, $H(t)$ के लीडिंग-ऑर्डर वाले भाग का सिस्टम सिंगुलर हो जाता है (संबंधित मैट्रिक्स $A_\nu$ नॉन-इनवर्टिबल हो जाता है)। लेखक साझा स्केल $\beta$ (कॉमन स्केल को कैप्चर करने के लिए) और सापेक्ष शक्ति $s$ (बबल्स की सापेक्ष शक्ति को कैप्चर करने के लिए) को दर्शाने वाले रीस्केल किए गए वेरिएबल्स का उपयोग करके सिस्टम का विश्लेषण करते हैं।

4. उच्च-क्रम विस्तार (Higher-Order Expansion): समाधान योग्य रिड्यूस्ड सिस्टम, ध्रुवों पर $K$ के विस्तार में अगले-क्रम के पदों (next-order terms) पर महत्वपूर्ण रूप से निर्भर करता है। लेखक मान लेते हैं कि $K$ का रूप इस प्रकार है:
   $$K(\theta) = K_i + a_i(\text{dist})^{n-2} + b_i(\text{dist})^{\mu_i} + \dots$$
   जहाँ $\mu_i \in (n-2, n)$ है। विश्लेषण फ्लैटनेस एक्सपोनेंट्स के समान होने ($\mu_1 = \mu_2$) या भिन्न होने ($\mu_1 \neq \mu_2$) के मामलों के बीच अंतर करता है।

मुख्य योगदान और परिणाम
यह शोध पत्र $\Sigma_0$ के पास पहले से ज्ञात ब्लो-अप (blow-up) घटना का एक एक-तरफा परिशोधन (one-sided refinement) प्रदान करता है। मुख्य परिणाम, थ्योरम 1.1, यह स्थापित करता है कि अनबाउंडेड $L^\infty$ नॉर्म वाले दो-बम्प अक्षीय सममित समाधानों का अस्तित्व $K$ के विशिष्ट उच्च-क्रम गुणांकों के $\Sigma_0$ के सापेक्ष चिन्ह द्वारा निर्धारित होता है।

विशेष रूप से, यदि $\nu = (K_1, K_2, -a_1, -a_2)$ $K$ के पहले दो लीडिंग टर्म्स द्वारा निर्धारित पैरामीटर हैं:

• मामला $\mu_1 \neq \mu_2$: ब्लो-अप होने वाला $\Sigma_0$ का पक्ष छोटे एक्सपोनेंट $\mu_i$ के अनुरूप गुणांक $b_i$ के चिन्ह द्वारा निर्धारित होता है। उदाहरण के लिए, यदि $\mu_1 < \mu_2$, तो ब्लो-अप उस पक्ष पर होता है जहाँ $b_1 > 0$ (विशेष रूप से, $\Sigma_-$ से $\Sigma_0$ की ओर बढ़ने पर ब्लो-अप होता है यदि $b_1 > 0$ हो)।
• मामला $\mu_1 = \mu_2$: ब्लो-अप का पक्ष $F_{\mu,b}(\nu)$ के चिन्ह द्वारा निर्धारित होता है, जो $b_1, b_2$ के गुणांकों का लीडिंग पैरामीटर्स द्वारा भारित (weighted) एक रैखिक संयोजन है।
  • यदि $F_{\mu,b}(\nu) > 0$, तो ब्लो-अप $\Sigma_-$ की ओर से $\Sigma_0$ के करीब पहुँचने पर होता है।
  • यदि $F_{\mu,b}(\nu) < 0$, तो ब्लो-अप $\Sigma_+$ की ओर से $\Sigma_0$ के करीब पहुँचने पर होता है।

सभी मामलों में, लेखक सिद्ध करते हैं कि $\Sigma_0$ के "विपरीत" पक्ष पर (जो $b_i$ या $F_{\mu,b}$ के चिन्हों द्वारा निर्धारित होता है), समाधान सेट कॉम्पैक्ट (अर्थात, $\Lambda(K) < \infty$) रहता है। यह पिछले परिणामों के विपरीत है, जिन्होंने केवल यह गारंटी दी थी कि $\Sigma_0$ की ओर जाने वाले मापदंडों का कोई अनुक्रम ब्लो-अप की ओर ले जाता है, बिना दिशा निर्दिष्ट किए।

महत्व
यह शोध पत्र दावा करता है कि यह $n \ge 4$ आयामों में निरेनबर्ग समस्या के ब्लो-अप व्यवहार का एक अधिक सटीक विवरण प्रदान करता है। यह पहचानकर कि निर्धारित वक्रता फलन $K$ के अगले-क्रम के फ्लैटनेस टर्म्स ब्लो-अप की दिशात्मकता को निर्धारित करते हैं, लेखक $\Sigma_0$ के आसपास ब्लो-अप घटना की अस्पष्टता को हल करते हैं।

यह कार्य दर्शाता है कि "दो-बम्प ब्लो-अप" $\Sigma_0$ की ओर किसी भी दिशा से जाने का एक जेनेरिक (generic) लक्षण नहीं है, बल्कि यह सख्ती से एक तरफ स्थानीयकृत है, जो $K$ की सूक्ष्म ज्यामितीय संरचना द्वारा निर्धारित होता है। यह समाधान सेट के टोपोलॉजी और निरेनबर्ग समस्या से जुड़े डिग्री थ्योरी (degree theory) के सूक्ष्म विवरण को परिष्कृत करता है, यह दिखाते हुए कि समाधान सेट का इंडेक्स $\Sigma_0$ के पार $-1$से$0$ (या इसके विपरीत) में बदल जाता है, जिसमें विशिष्ट संक्रमण इन उच्च-क्रम पदों द्वारा नियंत्रित होता है।