Quantitative stability for the Trudinger-Moser inequality

तकनीकी सारांश: ट्रुडिंगर–मोसेर असमिका के लिए मात्रात्मक स्थिरता (Quantitative Stability)

समस्या विवरण
यह शोध पत्र चिकने, परिबद्ध डोमेन $\Omega \subset \mathbb{R}^2$ पर ट्रुडिंगर–मोसेर (Trudinger–Moser) असमिका की मात्रात्मक स्थिरता की जांच करता है। जबकि शास्त्रीय सोबोलेव एम्बेडिंग (Sobolev embedding) क्रिटिकल एक्सपोनेंट $q=n$ पर विफल हो जाता है, ट्रुडिंगर–मोसेर असमिका एक विकल्प प्रदान करती है, जो यह दावा करती है कि $W^{1,n}_0(\Omega)$ के फलन चरघातांकीय समाकलनीयता (exponential integrability) प्रदर्शित करते हैं। विशेष रूप से, $n=2$ के लिए, फलन
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
$\|\nabla u\|_{L^2(\Omega)} \leq 1$ होने पर $\alpha \in [0, 4\pi]$ के लिए परिमित है। ऑप्टिमाइज़र (optimizers) $M_\alpha(\Omega)$ का समुच्चय गैर-रिक्त है, लेकिन उनका सटीक विश्लेणात्मक रूप इकाई डिस्क के लिए भी अनसुलझा बना हुआ है।

मुख्य समस्या जिसका समाधान किया गया है वह यह है कि क्या असमिका में "डेफिसिट" (deficit)—जो सुप्रीमम $TM(\alpha, \Omega)$ और फलन मान $E_{\alpha, \Omega}(u)$ के बीच का अंतर है—ऑप्टिमाइज़र $M_\alpha(\Omega)$ से फलन की दूरी को नियंत्रित करता है। लेखक एक मात्रात्मक स्थिरता अनुमान स्थापित करने का प्रयास करते हैं जो इस रूप में है:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
जहाँ दूरी $W^{1,2}_0$ नॉर्म (विशेष रूप से ग्रेडिएंट का $L^2$ नॉर्म) में मापी जाती है।

कार्यप्रणाली (Methodology)
प्रमाण ऑप्टिमाइज़र के आसपास रैखिकीकृत ऑपरेटरों (linearized operators) के स्पेक्ट्रल विश्लेषण और उल्लंघन करने वाले अनुक्रमों (violating sequences) के एसिम्प्टोटिक व्यवहार पर आधारित विरोधाभास तर्क (contradiction argument) पर निर्भर करते हैं।

1. स्पेक्ट्रल गैप विश्लेषण (Spectral Gap Analysis): लेखक एक ऑप्टिमाइज़र $u^*$ से जुड़े दो प्रमुख आइजनवेलब (eigenvalue) प्रब्लमों को परिभाषित करते हैं:

   • रैखिकीकृत समस्या $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • गैर-रैखिक ट्रुडिंगर–मोसेर समस्या $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     माना $\lambda_1(\alpha, \Omega)$ और $\Lambda_1(\alpha, \Omega)$ क्रमशः उनके प्रथम आइजनवैल्यू हैं। एक महत्वपूर्ण चरण एक स्पेक्ट्रल गैप स्थापित करना है जहाँ $\Lambda_1(\alpha, \Omega)$, रैखिकीकृत समस्या के प्रथम और द्वितीय आइजनवैल्यू के बीच स्थित है, या सममित मामलों में प्रथम गैर-रेडियल आइजनवैल्यू से स्पष्ट रूप से नीचे है।

2. विरोधाभास रणनीति (Contradiction Strategy): उप-क्रिटिकल (subcritical) मामलों के लिए प्रमाण विरोधाभास द्वारा आगे बढ़ते हैं। यह मानते हुए कि स्थिरता अनुमान विफल हो जाता है, ऑप्टिमाइज़र के समुच्चय से दूर रहते हुए सुप्रीमम के करीब पहुँचने वाले फलन का एक अनुक्रम मौजूद है। कॉम्पैक्टनेस (विटली प्रमेय और कंसंट्रेशन-कॉम्पैक्टनेस के माध्यम से) द्वारा, यह अनुक्रम एक ऑप्टिमाइज़र $u^*$ की ओर अभिसरित होता है। सामान्यीकृत विचलन (normalized deviations) एक एसिम्प्टोटिक यूलर-लैग्रेंज समीकरण को संतुष्ट करते हैं, जो एक सीमा फलन (limit function) की ओर अभिसवर्तित होता है जिसे रैखिकीकृत आइजनवेल समस्या को हल करना चाहिए। एक स्पेक्ट्रल गैप की उपस्थिति इस सीमा को असंभव बना देती है (क्योंकि यह एक ऐसे साइन-डेफिनेट आइजनफंक्शन को इंगित करेगा जो टेंगेंट स्पेस के ऑर्थोगोनल है), जिससे स्थिरता अनुमान सिद्ध होता है।

3. गोले (Sphere) से बॉल (Ball) तक विस्तार: चूंकि ट्रुडिंगर–मोसेर फलन होमोजेनियस नहीं है (सोबोलेव फलन के विपरीत), लेखक पहले इकाई गोले $S^1$ (जहाँ $\|\nabla u\|_{L^2}=1$) पर स्थिरता स्थापित करते हैं और फिर रेडियल रीस्केलिंग के तहत फलन की मोनोटोनिसिटी का उपयोग करके इसे बंद इकाई बॉल $B_1$ तक विस्तारित करते हैं।

4. ट्रांसवर्सलिटी के माध्यम से जेनेरिसिटी (Genericity via Transversality): गैर-डिजेनरेट मामले को संबोधित करने के लिए, लेखक सार्ड-स्मेल (Sard–Smale) ट्रांसवर्सलिटी तर्क का उपयोग करते हैं। डिफ़ियोमॉर्फिज्म के माध्यम से डोमेन को पैरामीट्राइज़ करके और यूलर-लैग्रेंज समीकरण के ऑगमेंटेड मैप का विश्लेषण करके, वे दिखाते हैं कि नॉन-डिजेनेरेसी (जहाँ हेसियन टेंगेंट स्पेस पर कोर्सिव है) मापदंडों $(\alpha, \Omega)$ के एक जेनेरिक सेट के लिए बनी रहती है।

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

यह शोध पत्र ऑप्टिमाइज़र से दूरी के द्विघातीय नियंत्रण (quadratic control) के संबंध में तीन मुख्य प्रमेय स्थापित करता है:

• प्रमेय 1 (लघु उप-क्रिटिकल मामला): किसी भी चिकने परिबद्ध डोमेन $\Omega$ के लिए, एक थ्रेशोल्ड $\alpha_0 > 0$ मौजूद है ताकि सभी $\alpha \in (0, \alpha_0)$ के लिए स्थिरता अनुमान लागू हो। यह परिणाम इस तथ्य पर निर्भर करता है कि जैसे-जैसे $\alpha \to 0$, रैखिकीकृत समस्याओं के आइजनवैल्यू लैपलेसियन के प्रथम डिरिचलेट आइजनवैल्यू की ओर अभिसरित होते हैं, जिससे एक स्पेक्ट्रल गैप बनता है।
• प्रमेय 2 (गैर-डिजेनरेट उप-क्रिटिकल मामला): किसी भी $\alpha \in (0, 4\pi)$ के लिए, यदि प्रत्येक ऑप्टिमाइज़र गैर-डिजेनरेट है (अर्थात, दूसरा वेरिएशन टेंगेंट स्पेस पर कोर्सिव है), तो स्थिरता अनुमान लागू होता है। लेखक आगे यह भी सिद्ध करते हैं कि ऐसी गैर-डिजेनेरेसी एक जेनेरिक संपत्ति है, जो मापदंडों $(\alpha, \Omega)$ के एक खुले और घने (open and dense) सेट के लिए सत्य है।
• प्रमेय 3 (सममित क्रिटिकल मामला): इकाई डिस्क $D$ और पूर्ण क्रिटिकल रेंज $\alpha \in (0, 4\pi]$ के लिए, स्थिरता अनुमान लागू होता है। यह परिणाम महत्वपूर्ण है क्योंकि यह बिना किसी लघुता (smallness) धारणा के क्रिटिकल एक्सपोनेंट $\alpha = 4\pi$ को कवर करता है। प्रमाण डिस्क की घूर्णी समरूपता (rotational symmetry) का लाभ उठाता है, जो रेडियल ऑपरेटर को कोणीय फूरियर मोड में विभाजित करता है। एक सख्त स्पेक्ट्रल गैप को रेडियल आइजनवैल्यू और प्रथम गैर-रेडियल आइजनवैल्यू (जो $r^{-2}$ द्वारा प्रेरित होता है) के बीच दिखाया गया है, जो सभी दिशाओं में कोर्सिविटी सुनिश्चित करता है।

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

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