Degenerate stability of critical points of the Caffarelli-Kohn-Nirenberg inequality along the Felli-Schneider curve

समस्या विवरण

यह शोध पत्र क्रिटिकल हार्डी-हेनॉन समीकरण (Hardy-Hénon equation) की मात्रात्मक स्थिरता (quantitative stability) की जांच करता है, जो शास्त्रीय कैफरेली-कोहन-नirenberg (CKN) असमानता के लिए यूलर-लैग्रेंज समीकरण के रूप में कार्य करता है। विशेष रूप से, लेखक उन मापदंडों $(a, b)$ पर ध्यान केंद्रित करते हैं जो ठीक फेलि-श्नाइडर वक्र ($b = b_{FS}(a)$ के साथ $a < 0$) पर स्थित हैं।

इस सेटिंग में, यह समीकरण अपभ्रंश (degenerate) माना जाता है। गैर-अपभ्रंश मामलों (जहाँ $a \ge 0$ या $b > b_{FS}(a)$ है) के विपरीत, एक टलेन्टी बबल (positive solution) के चारों ओर रैखिकीकृत ऑपरेटर (linearized operator) मानक स्केलिंग और ट्रांसलेशन इनवेरियन्स के अलावा एक गैर-तुच्छ कर्नेल (non-trivial kernel) रखता है। वेई और वू ने गैर-अपभ्रंश मामले के लिए इष्टतम मात्रात्मक स्थिरता अनुमान स्थापित किए थे, जो गैर-अपभ्रंश स्थिति पर अत्यधिक निर्भर थे। हालाँकि, ये परिणाम फेलि-श्नाइडर वक्र पर विफल हो जाते हैं क्योंकि अपभ्रंशता (degeneracy) मानक रैखिक अनुमानों को लागू होने से रोकती है। केंद्रीय समस्या यह है कि क्या इस अपभ्रंश सेटिंग में एक उपयुक्त मात्रात्मक स्थिरता अनुमान मौजूद है और यदि ऐसा है, तो स्थिरता फलन $F$ का इष्टतम रूप क्या है।

कार्यप्रणाली

लेखक एक बहु-चरणीय विश्लेणात्मक दृष्टिकोण अपनाते हैं:

1. एमडेम-फौलर रूपांतरण (Emden-Fowler Transformation): समस्या को यूक्लिडियन स्पेस $\mathbb{R}^n$ से सिलेंडर $\mathcal{C} = \mathbb{R} \times S^{n-1}$ में पुनर्गठित किया जाता है। यह रूपांतरण भारित CKN असमानता और हार्डी-हेनॉन समीकरण को सिलेंडर पर स्थिर गुणांकों वाले गैलियर्डो-नirenberg इंटरपोलेशन असमानता और एक संगत अर्ध-रैखिक एलिप्टिक समीकरण में परिवर्तित कर देता है। यह स्पेक्ट्रल विश्लेषण और भार फलनों (weight functions) के प्रबंधन को सरल बनाता है।
2. लोकल-टू-ग्लोबल रणनीति (Local-to-Global Strategy): ग्लोबल कॉम्पैक्टनेस सिद्धांत का अनुसरण करते हुए, लेखक वैश्विक स्थिरता समस्या को स्थानीय समस्या में कम करते हैं। वे सिद्ध करते हैं कि यदि कोई फलन टलेन्टी बबल्स के योग के पर्याप्त निकट है, तो स्थिरता अनुमान स्थानीय रूप से मान्य होता है; वैश्विक परिणाम फिर कॉम्पैक्टनेस सिद्धांत को इसके साथ जोड़कर प्राप्त होता है।
3. उच्च-क्रम विस्तार तकनीकें (High-Order Expansion Techniques): अपभ्रंशता को संभालने के लिए, लेखक गैर-अपभ्रंश मामलों में पर्याप्त (second-order expansions) पर भरोसा नहीं कर सकते। इसके बजाय, वे गैर-रैखिक पदों के लिए उच्च-क्रम विस्तार तकनीकों (चौथे क्रम तक) का उपयोग करते हैं। इसमें एकीकरण डोमेन को विभाजित करना और विशिष्ट असमानताओं का उपयोग करके शेष पदों (remainder terms) का सावधानीपूर्वक अनुमान लगाना शामिल है।
4. स्पेक्ट्रल विश्लेषण और ऑर्थोगोनल प्रोजेक्शन: विश्लेषण में समाधान के विचलन (perturbation) को रैखिकीकृत ऑपरेटर के समानांतर और लंबवत (orthogonal) घटकों में विभाजित करना शामिल है (सिलेंडर सेटिंग में $X$ या $Y$ के रूप में नामित)। लेखक लंबवत घटक के लिए अनुमान प्राप्त करते हैं और अपभ्रंश दिशाओं तथा गैर-रैखिक पदों के बीच की अंतःक्रिया का विश्लेषण करते हैं।
5. प्रति-उदाहरणों का निर्माण/इष्टतमता (Construction of Counterexamples/Optimality): अपने अनुमानों की तीक्ष्णता (sharpness) को सिद्ध करने के लिए, लेखक फलनों के विशिष्ट अनुक्रमों का निर्माण करते हैं। यह निर्माण तकनीकी है; इसमें सरल विचलन द्वारा प्राप्त द्विघातीय स्केलिंग (quadratic scaling) के बजाय वांछित त्रिघात (cubic) या उच्च स्केलिंग प्राप्त करने के लिए विशेष श्रोडिंगर समीकरणों के समाधानों के साथ प्राकृतिक उम्मीदवारों को विचलित करना शामिल है।

प्रमुख योगदान और परिणाम

• एकल बबल ($\nu=1$) के लिए इष्टतम स्थिरता: एकल बबल ($\nu=1$) के मामले के लिए, लेखक एक तीक्ष्ण त्रिघात स्थिरता अनुमान स्थापित करते हैं:
  $$\inf_{\lambda > 0} \|u - U_\lambda\|_{D^{1,2}_a}^3 \le C \|H(u)\|_{D^{-1,2}_a}$$
  वे एक अनुक्रम का निर्माण करके यह सिद्ध करते हैं कि यह अनुमान इष्टतम है जहाँ त्रुटि और दूरी की त्रिघात शक्ति का अनुपात सीमित रहता है। इसके अतिरिक्त, वे समाधान के लंबवत घटक के लिए एक परिष्कृत अनुमान प्रदान करते हैं, यह दिखाते हुए कि यदि समाधान "बहुत अधिक अपभ्रंश नहीं" है (लंबवत और अपभ्रंश घटकों के बीच एक विशिष्ट संबंध वाली स्थिति को संतुष्ट करता है), तो लंबवत भाग के लिए एक रैखिक अनुमान लागू होता है।

• बहु-बबल ($\nu \ge 2$) के लिए स्थिरता: बहु-बबल ($\nu \ge 2$) के मामले के लिए, लेखक समाधान के लंबवत घटक के लिए एक स्थिरता अनुमान प्राप्त करते हैं, बशर्ते कि समाधान "बहुत अधिक अपभ्रंश न हो।" अनुमान का रूप है:
  $$\|\Pi^\perp_X(u) - \sum U_{\lambda_i}\| \le C F_1(\|H(u)\|)$$
  जहाँ $F_1$, आयाम और घातांक $p$ पर निर्भर करता है। "बहुत अधिक अपभ्रंश नहीं" की स्थिति आवश्यक है, क्योंकि लेखक एक प्रति-उदाहरण के माध्यम से प्रदर्शित करते हैं कि इसके बिना, स्थिरता अनुमान विफल हो जाता है।

• तीक्ष्णता और इष्टतमता (Sharpness and Optimality): शोध पत्र स्पष्ट रूप से प्राप्त घातांकों की इष्टतमता को संबोधित करता है। $\nu=1$ के लिए, त्रिघात अनुमान को तीक्ष्ण दिखाया गया है। $\nu \ge 2$ के लिए, लेखक गैर-अपभ्रंश प्रतिबंध के तहत अनुमान की वैधता स्थापित करते हैं और दिखाते हैं कि यह प्रतिबंध कुछ क्षेत्रों ($p \ge 3$ या $\nu \ge 2, p > 3$) में इष्टतम है।

महत्व

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

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