Robust interpolation inequalities via Chebyshev-type integral inequalities

तकनीकी सारांश: चेबिशेव-प्रकार के समाकल असमानताओं के माध्यम से सुदृढ़ अंतर्वेशन असमानताएँ (Robust Interpolation Inequalities)

समस्या विवरण
यह शोध पत्र गालियो (Gagliardo) सेमीनॉर्म के पैमाने में शास्त्रीय लॉग-कॉन्वेक्स अंतर्वेशन असमानताओं (log-convex interpolation inequalities) में सुदृढ़ता (robustness) की कमी को संबोधित करता है। मानक अंतर्वेशन अनुमान, जैसे कि $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, विशिष्ट रूप से तब विफल हो जाते हैं जब भिन्नात्मक क्रम (fractional order) $\eta$, $0$या$1$ के सिरों (endpoints) की ओर बढ़ता है। विशेष रूप से, गैर-स्थिर फलनों (non-constant functions) के लिए सेमीनॉर्म $|u|_{W^{\eta,p}}$, $\eta \to 0^+$ और $\eta \to 1^-$ होने पर सिंगुलर ब्लो-अप व्यवहार प्रदर्शित करते हैं। यद्यपि पूर्व कार्यों (Brezis–Bourgain–Mironescu [BBM01] और Maz'ya–Shaposhnikova [MS02]) ने इन सिंगुलैरिटीज़ को समाप्त करने के लिए $\eta(1-\eta)$ जैसे कारकों वाले स्पर्शोन्मुखी (asymptotic) सीमाओं को स्थापित किया था, लेकिन पूरे $s \in [0,1]$ पैमाने पर आयाम-मुक्त स्थिरांकों (dimension-free constants) के साथ एक एकीकृत, सुदृढ़ अंतर्वेशन असमानता को पूरी तरह से स्थापित नहीं किया गया था।

इस कार्य का प्राथमिक अभिप्रेरण क्षेत्रीय भिन्नात्मक $p$-लैपलेसियन $(-\Delta)^s_{p,\Omega}$ से जुड़े क्षेत्रीय डिरिचलेट समस्या (regional Dirichlet problem) के दुर्बल समाधानों (weak solutions) की स्पर्शोन्मुखी स्थिरता का अध्ययन करना है, जब भिन्नात्मक क्रम $s$, $1$की ओर अग्रसर होता है। लेखक$s$ के सापेक्ष एकसमान (uniform) अभिसरण परिणामों को स्थापित करने का लक्ष्य रखते हैं।

कार्यप्रणाली (Methodology)
मुख्य कार्यप्रणाली औसत $L^p$-निरंतरता मोडुलस $U(t)$ के माध्यम से गालियो सेमीनॉर्म को अल्प-दूरी (local/short-range) और दीर्घ-दूरी (nonlocal/long-range) अंतःक्रियाओं में विघटित करने पर आधारित है।

1. विघटन (Decomposition): गालियो सेमीनॉर्म को अल्प दूरियों ($0 < |x-y| \leq r$) और दीर्घ दूरियों ($|x-y| > r$) पर समाकलों में विभाजित किया गया है। ये क्रमशः अल्प-दूरी अंतःक्रिया $L_p(s, u, r)$ और दीर्घ-दूरी अंतःक्रिया (fractional tail) $T_p(s, u, r)$ के अनुरूप हैं।
2. चेबिशेव-प्रकार की असमानताएँ: एक महत्वपूर्ण हिस्सा (अनुभाग 2) सामान्य गैर-तुल्यकालिक (non-synchronous) (और गैर-अतुल्यकालिक/non-asynchronous) फलनों के लिए नई समाकल असमानताओं को स्थापित करने के लिए समर्पित है। लेखक शास्त्रीय चेबिशेव असमानता का सामान्यीकरण $(b,c)$-तुल्यकालिकता (synchronicity) और दुर्बल एकदिष्टता (weak monotonicity) के मामलों में करते हैं। इन असमानताओं को $\int g(t) t^{z-1} dt$ के रूप में दिए गए सिंगुलर समाकलों पर लागू किया जाता है ताकि भिẪत्मक क्रम $s$ के संबंध में अंतःक्रिया पदों की एकदिष्टता (monotonicity) गुणों को सिद्ध किया जा सके।
3. एकदिष्टता विश्लेषण (Monotonicity Analysis): लेखक यह सिद्ध करते हैं कि मानचित्र $s \mapsto L_p(s, u, r)$ वर्धमान (increasing) है, जबकि $s \mapsto T_p(s, u, r)$ मूलतः ह्रासमान (decreasing) है (विशेष रूप से, $d \geq 2$ के लिए "2-लगभग ह्रासमान" है)। यह एकदिष्टता ही सुदृढ़ अंतर्वेशन अनुमानों को प्राप्त करने का आधार है।
4. पुनर्सामान्यीकरण (Renormalization): शोध पत्र विशिष्ट पुनर्सामान्यीकृत सेमीनॉर्म $[u]_{W^{s,p}}$ और $[u]^*_{W^{s,p}}$ का उपयोग करता है, जिसमें सामान्यीकरण स्थिरांक (जैसे $s(1-s)$ और भिẪत्मक लैपलेसियन से संबंधित स्थिरांक) शामिल हैं ताकि $\eta \to 0$ और $\eta \to 1$ होने पर सुसंगत सीमाएँ सुनिश्चित की जा सकें।

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

• सुदृढ़ अंतर्वेशन असमानताएँ (प्रमेय 1.1): शोध पत्र पुनर्सामान्यीकृत सेमीनॉर्म $[u]_{W^{\eta,p}}$ और गालियो सेमीनॉर्म $|u|_{W^{\eta,p}}$ के लिए सुदृढ़ लॉग-कॉन्वेक्स अंतर्वेशन असमानताएँ स्थापित करता है। ये असमानताएँ सभी $0 \leq \sigma < \eta < s \leq 1$ के लिए मान्य हैं और इनके स्थिरांक $\eta \to 0$ या $\eta \to 1$ होने पर भी परिबद्ध (bounded) और सुपरिभाषित रहते हैं।

  • पुनर्सामान्यीकृत सेमीनॉर्म के लिए, असमानता का रूप $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$ होगा, जहाँ स्थिरांक $N_p$ आयाम-मुक्त और परिबद्ध है।
  • $p=2$ के विशिष्ट मामले में, लेखक फूरियर रूपांतरण (Fourier transform) का उपयोग करते हुए पुनर्सामान्यीकृत सोबोलेव सेमीनॉर्म के लिए $1$ के स्थिरांक के साथ एक अधिक सटीक (sharper) अनुमान प्राप्त करते हैं।

• अंतःक्रियाओं की एकदिष्टता (प्रमेय 1.3): लेखक सिद्ध करते हैं कि अल्प-दूरी अंतःक्रिया $L_p(s, u, r)$ $s$ के संबंध में सतत और वर्धमान है, जबकि दीर्घ-दूरी अंतःक्रिया $T_p(s, u, r)$ सतत और मूलतः ह्रासमान ( $d \geq 2$ के लिए $2$के कारक तक) है। यह पुष्टि करता है कि$L_p$, स्थानीय नियमितता (जब$s \to 1$तो ग्रेडिएंट नॉर्म में परिवर्तित होता है) को पकड़ता है और$T_p$, गैर-स्थानीय व्यवहार (जब$s \to 0$तो$L^p$ नॉर्म में परिवर्तित होता है) को पकड़ता है।

• स्पर्शोन्मुखी विश्लेषण (अनुभाग 4): शोध पत्र $s \to 0^+$ और $s \to 1^-$ के रूप में भिẪत्मक सेमीनॉर्म की स्पर्शोन्मुखी सीमाओं के लिए एक अपेक्षाकृत सरल दृष्टिकोण प्रदान करता है, जो Maz'ya–Shaposhnikova और Brezis–Bourgain–Mironescu के परिणामों को पुनः प्राप्त करता है। यह Maz'ya–Shaposhnikova सूत्र को किसी भी खुले सेट $\Omega$ के लिए सामान्यीकृत करता है, जिसे "एस्केप सेक्टर" $S_\Omega(x)$ के माध्यम से अभिलक्षित किया जाता है।

• क्षेत्रीय डिरिचलेट समस्याओं का अभिसरण (प्रमेय 1.4): एक प्राथमिक अनुप्रयोग के रूप में, शोध पत्र क्षेत्रीय भिẪत्मक $p$-लैपलेसियन डिरिचलेट समस्या के दुर्बल समाधानों $u_s$ के स्थानीय $p$-लैपलेसियन समस्या के दुर्बल समाधान $u_1$ में सशक्त अभिसरण (strong convergence) को सिद्ध करता है। विशेष रूप से, यदि डेटा उपयुक्त रूप से अभिसरित होता है, तो $s \to 1^-$ होने पर $\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$ होगा, सभी $0 \leq \eta < 1$ के लिए। यह परिणाम सुदृढ़ अंतर्वेशन असमानताओं और एक नए सुदृढ़ क्षेत्रीय पोइनकेरे-फ्रीड्रिक्स (Poincaré–Friedrichs) असमानता पर निर्भर करता है।

• खुली समस्या का समाधान: यहाँ स्थापित सुदृढ़ अंतर्वेशन असमानता [BSY23, प्रश्न 1.10] में पूछे गए एक खुले प्रश्न का सकारात्मक उत्तर प्रदान करती है, जो एक सामान्य सेटिंग में अंतर्वेशन की सुदृढ़ता (robustness) से संबंधित है।

महत्व और दावे
शोध पत्र का दावा है कि इसका प्राथमिक योगदान सुदृढ़ अंतर्वेशन असमानताओं की स्थापना करना है जो भिẪत्मक पैमाने के सिरों पर सिंगुलैरिटीज़ (singularities) से बचती हैं। सेमीनॉर्म को विघटित करके और सामान्यीकृत चेबिशेव-प्रकार की असमानताओं का उपयोग करके, लेखक ऐसे अनुमान प्राप्त करते हैं जहाँ स्थिरांक भिẪत्मक पैरामीटर की $0$या$1$ से निकटता पर स्वतंत्र होते हैं।

इस कार्य का महत्व गैर-स्थानीय-से-स्थानीय (nonlocal-to-local) सीमाओं की स्थिरता के अध्ययन में निहित है। लेखक प्रदर्शित करते हैं कि ये असमानताएँ क्षेत्रीय भिẪत्मक $p$-लैपलेसियन के समाधानों के स्थानीय $p$-लैपलेसियन में सशक्त अभिसरण को सिद्ध करने के लिए पर्याप्त हैं, जिसके लिए $s \to 1$ होने पर सेमीनॉर्म्स पर एकसमान नियंत्रण की आवश्यकता होती है। शोध पत्र $d=1$ में दीर्घ-दूरी अंतःक्रिया की एकदिष्टता के संबंध में एक अंतराल को भी रेखांकित करता है, इस मामले में एक स्थिरांक $C_p$ के लिए एक अनुमान प्रस्तुत करता है, जबकि यह भी नोट करता है कि स्थापित परिणाम $d \geq 2$ के लिए मान्य हैं।

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