The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

तकनीकी सारांश: कर्ल-मुक्त (Curl-Free) सदिश क्षेत्रों और द्वितीय-क्रम डेरिवेटिव्स के लिए भारित $L^2$-कैफरेली-कोहन-नरीन (Caffarelli-Kohn-Nirenberg) असमिकाएँ

समस्या विवरण
यह शोध पत्र भारित $L^2$-कैफरेली-कोहन-नरीन (CKN) असिमिकाओं की जांच करता है, जो विशेष रूप से दो अलग-अलग लेकिन संबंधित संदर्भों पर केंद्रित है:

1. कर्ल-मुक्त सदिश क्षेत्र (Curl-free vector fields): एक सदिश क्षेत्र $U$ (जहाँ $U = \nabla u$) के ग्रेडिएंट और भारित नॉर्म्स (weighted norms) से जुड़ी असिमिकाओं के लिए तीक्ष्ण स्थिरांक (sharp constants) और स्थिरता अनुमान (stability estimates) स्थापित करना।
2. द्वितीय-क्रम डेरिवेटिव्स (Second-order derivatives): सामान्य भार मापदंडों $a$ और $b$ के साथ लैप्लासियन $\Delta u$ और ग्रेडिएंट $\nabla u$ से जुड़ी तीक्ष्ण असिमिकाओं और स्थिरता अनुमानों को सिद्ध करना।

यद्यपि प्रथम-क्रम CKN असिमिकाओं के लिए तीक्ष्ण स्थिरांक और द्वितीय-क्रम असिमिकाओं के विशिष्ट मामलों (जैसे हाइजेनबर्ग-पॉली-वेइल अनिश्चितता सिद्धांत) को काज़ाकू (Cazacu), फ्लिन (Flynn), लैम (Lam) और अन्य लेखकों द्वारा पहले स्थापित किया जा चुका था, यह कार्य सामान्य मापदंडों $a$ और $b$ के लिए द्वितीय-क्रम सेटिंग में इन असिमिकाओं को सिद्ध करने के अंतराल को संबोधित करता है और कर्ल-मुक्त सदिश क्षेत्रों के लिए भारित CKN असिमिकाओं के लिए प्रथम स्थिरता अनुमान प्रदान करता है।

कार्यप्रणाली (Methodology)
लेखक तीन मुख्य उपकरणों पर केंद्रित एक कठोर विश्लेषणात्मक दृष्टिकोण अपनाते हैं:

1. गोलीय हार्मोनिक अपघटन (Spherical Harmonic Decomposition): प्राथमिक विधि में फलन $u$ और सदिश क्षेत्रों $U$ को रेडियल और गैर-रेडियल घटकों में विभाजित करने के लिए गोलाकार हार्मोनिक्स का उपयोग करना शामिल है। यह बहु-आयामी असिमिकाओं को गोलाकार हार्मोनिक्स की डिग्री $k$ द्वारा अनुक्रमित एक-आयामी समाकल असिमिकाओं (integral inequalities) के परिवार में बदल देता है।
2. एक-आयामी समाकल असिमिकाएँ: प्रमाण का मूल आधार एक एकल चर के फलनों के लिए तीक्ष्ण भारित असिमिकाओं को स्थापित करने पर आधारित है। लेखक एक विशिष्ट लेम्मा (Lemma 2.2) का उपयोग करते हैं जो निम्नलिखित रूप की असिमिकाओं के लिए तीक्ष्ण स्थिरांक प्रदान करता है:
   $$\left( \int_0^\infty (f')^2 r^{A-1} dr + C \int_0^\infty f^2 r^{A-3} dr \right) \int_0^\infty f^2 r^{B-1} dr \geq K \left( \int_0^\infty f^2 r^{\frac{A+B}{2}-2} dr \right)^2$$
   वे इष्टतम स्थिरांक $K$ और चरम फलनों (extremal functions) को स्पष्ट रूप से निर्धारित करते हैं।
3. ऑर्थोगोनल अपघटन के माध्यम से स्थिरता विश्लेषण: स्थिरता (यह मात्रा निर्धारित करना कि एक फलन चरम फलनों के सेट के कितने करीब है जब असिमिका लगभग संतृप्त होती है) को सिद्ध करने के लिए, लेखक फलन को एक रेडियल भाग ($u_r$) और एक रेडियल फलनों के लंबवत (orthogonal) भाग ($u_o$) में विभाजित करते हैं। वे प्रदर्शित करते हैं कि गैर-रेडियल भाग के लिए तीक्ष्ण स्थिरांक को सख्ती से सुधारा जा सकता है (Lemma 4.1 और Lemma 5.1)। यह "अंतराल" (gap) फलन की चरम फलनों के सेट से की दूरी को असिमिका के घाटे (deficit) के संदर्भ में बांधने की अनुमति देता है।

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

1. तीक्ष्ण भारित द्वितीय-क्रम CKN असिमिकाएँ (Theorem 1.1)
लेखक द्वितीय-क्रम डेरिवेटिव्स के लिए एक नए परिवार की तीक्ष्ण भारित $L^2$-CKN असिमिकाओं को सिद्ध करते हैं। $n \geq 2$ के लिए और विशिष्ट शर्तों (जिसमें $(n-2a-2)^2 \geq 8(1+a)(1+2a)$ शामिल है) को पूरा करने वाले मापदंडों $a, b$ के लिए, वे स्थापित करते हैं:
$$\int_{\mathbb{R}^n} \frac{|\Delta u|^2}{|x|^{2a}} dx \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{2b}} dx \geq C_2(n, a, b)^2 \left( \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{a+b+1}} dx \right)^2$$

• तीक्ष्ण स्थिरांक (Sharp Constant): $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$।
• चरम फलन (Extremal Functions): समानता एक विशिष्ट रेडियल फलन द्वारा प्राप्त होती है जो घातांकीय (exponential) और पावर टर्म्स से जुड़े समाकल द्वारा परिभाषित है (Equation 1.11)।
• महत्व: यह परिणाम काज़ाकू, फ्लिन और लैम (2023) तथा ड्यूओंग और नगुयेन (2025) के पिछले कार्यों का पूरक है क्योंकि यह व्यापक रेंज के मापदंडों को कवर करता है और केवल सदिश क्षेत्र के ग्रेडिएंट के बजाय स्पष्ट रूप से द्वितीय-क्रम लैप्लासियन टर्म को संभालता है।

2. कर्ल-मुक्त सदिश क्षेत्रों के लिए स्थिरता (Theorem 1.3)
यह शोध पत्र कर्ल-मुक्त सदिश क्षेत्रों $U = \nabla u$ के लिए भारित CKN असिमिका के लिए एक स्थिरता संस्करण स्थापित करता है। यह सिद्ध करता है कि यदि "घाटा" (deficit - असिमिका के दोनों पक्षों के बीच का अंतर) छोटा है, तो सदिश क्षेत्र $U$, भारित $L^2$ नॉर्म में चरम सदिश क्षेत्रों $M_{a,b}$ के सेट के करीब होता है।

• परिणाम: $\delta(U) \geq C \inf_{V \in M_{a,b}} \frac{\|U-V\|_{L^2(|x|^{a+b+1})}^2}{\|U\|_{L^2(|x|^{a+b+1})}^2}$।
• परिणामस्वरूप (Consequences): यह कर्ल-मुक्त सदिश क्षेत्रों के लिए भारित हाइजेनबर्ग-पॉली-वेइल अनिश्चितता सिद्धांत और भारित हाइड्रोजन अनिश्चितता सिद्धांत के स्थिरता संस्करणों को जन्म देता है (Corollaries 1.4 और 1.5)।

3. द्वितीय-क्रम डेरिवेटिव्स के लिए स्थिरता (Theorem 1.7)
Theorem 1.1 में सिद्ध द्वितीय-क्रम असिमिका के लिए स्थिरता विश्लेषण का विस्तार करते हुए, लेखक दिखाते हैं कि $u \in Y_{a,b}(\mathbb{R}^n)$ के लिए एक समान स्थिरता अनुमान मिलता है।

• परिणाम: $\delta_{CKN}(u) \geq C \inf_{v \in N_{a,b}} \frac{\|\nabla u - \nabla v\|_{L^2(|x|^{a+b+1})}^2}{\|\nabla u\|_{L^2(|x|^{a+b+1})}^2}$।
• परिणामस्वरूप: यह भारित द्वितीय-क्रम हाइजेनबर्ग-पॉली-वेइल और हाइड्रोजन अनिश्चितता सिद्धांतों के लिए स्थिरता अनुमान प्रदान करता है (Corollaries 1.8 और 1.9)।

महत्व और दावे
लेखक इस कार्य को कार्यात्मक असिमिकाओं (functional inequalities) के सिद्धांत में एक महत्वपूर्ण प्रगति के रूप में प्रस्तुत करते हैं:

• सामान्यीकरण (Generalization): पिछले परिणामों के विपरीत, जो अक्सर विशिष्ट मापदंड श्रेणियों (जैसे $b = -a-1$) तक सीमित थे या "वर्ग के विस्तार" (expanding the square) जैसी विधियों पर निर्भर थे जो सामान्यीकरण के लिए कठिन हैं, यह शोध पत्र सामान्य मापदंडों $a$ और $b$ को संभालने के लिए गोलाकार हार्मोनिक अपघटन का उपयोग करता है।
• स्थिरता (Stability): यह शोध पत्र दावा करता है कि यह कर्ल-मुक्त सदिश क्षेत्रों के लिए विशेष रूप से भारित CKN असिमिकाओं और सामान्य भारों के साथ द्वितीय-क्रम डेरिवेटिव मामले के लिए प्रथम स्थिरता अनुमान प्रदान करता है। पिछले स्थिरता परिणाम मुख्य रूप से बिना भार वाले मानक सोबोलेव असिमिकाओं या विशिष्ट अनिश्चितता सिद्धांतों तक सीमित थे।
• पद्धतिगत कठोरता (Methodological Rigor): यह कार्य तीक्ष्ण स्थिरांक और स्थिरता अनुमान प्राप्त करने के लिए एक-आयामी परिवर्तनशील समस्याओं के साथ गोलाकार हार्मोनिक अपघटन को संयोजित करने की शक्ति को प्रदर्शित करता है, एक ऐसी तकनीक जिसे लेखक नोट करते हैं कि कार्यात्मक असिमिकाओं के तीक्ष्ण रूपों का अध्ययन करने के लिए प्रभावी है।

लेखक यह उल्लेख करते हुए निष्कर्ष निकालते हैं कि हालांकि स्थिरता अनुमानों में स्थिरांक $C$ स्पष्ट रूप से गणनीय (computable) है, लेकिन यह आवश्यक रूप से इष्टतम (optimal) नहीं है, जो भविष्य के शोध के लिए गुंजाइश छोड़ता है। ये परिणाम ज्ञात मामलों (जैसे $a=0$ होने पर मानक अनिश्चितता सिद्धांत) को प्रस्तुत किए गए अधिक सामान्य ढांचे के एक विशेष उदाहरण के रूप में पुनः प्राप्त करते हैं।