Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

तकनीकी सारांश: अंतराल को भरना: माज़्या-शापोशनिकोवा और भिन्नात्मक परिमाप की अनंतता (Asymptotics)

समस्या विवरण
गैलियो अर्ध-मानों (Gagliardo seminorms) की अनंतता का अध्ययन गैर-स्थानीय विश्लेषण (nonlocal analysis) के केंद्र में है, जो पैरामीटर $s$ के 0 या 1 की ओर बढ़ने पर भिन्नात्मक सोबोलेव स्थानों $W^{s,p}$ और शास्त्रीय स्थानों के बीच के अंतर को पाटता है। शास्त्रीय माज़्या-शापोशनिकोवा (MS) सूत्र [36] $u \in L^p(\mathbb{R}^d)$ के लिए $s \to 0^+$ के रूप में सीमा का वर्णन करता है, जिसमें यह बताता है कि $s [u]_{W^{s,p}}^p$ $L^p$ मान के एक गुणक के रूप में अभिसरित होता है। हालाँकि, यह सूत्र इस संरचनात्मक धारणा पर निर्भर करता है कि $u$ अनंत पर शून्य हो जाता है (अर्थात $u \in L^p(\mathbb{R}^d)$), यह प्रतिबंध कार्यों के "पूंछ व्यवहार" (tail behavior) को कृत्रिम रूप से दबा देता है, जो ठीक वही क्षेत्र है जहाँ $s \to 0^+$ के रूप में भिन्नात्मक कर्नेल की गैर-स्थानीय प्रकृति सबसे अधिक स्पष्ट होती है।

इसके विपरीत, सेट्स $E$ के अभिलाक्षणिक फलनों (characteristic functions) के लिए भिन्नात्मक परिमापों [20] के हालिया कार्य ने खुलासा किया कि यदि किसी सेट का अनंत पर गैर-शून्य द्रव्यमान (non-vanishing mass) है, तो सीमा में एक पद $\alpha_1(E)$ शामिल होता है जो "गैर-स्थानीय पूंछ" (nonlocal tail) का प्रतिनिधित्व करता है। यह सुझाव देता है कि $L^p(\mathbb{R}^d)$ में न होने वाले सामान्य फलनों के लिए, सीमा केवल स्थानीय $L^p$ मान का सरल गुणक नहीं होगी, बल्कि एक सीमित डोमेन $\Omega$ के भीतर फलन के मानों और "अनंत पर" इसके व्यवहार के बीच एक अंतःक्रिया ऊर्जा (interaction energy) होगी।

कार्यप्रणाली
लेखक हिल्बर्टियन मामले $p=2$ पर ध्यान केंद्रित करते हैं और एक सीमित लिप्सिट्ज़ डोमेन $\Omega$ पर एक स्थानीयकृत गैलियो अर्ध-मान पेश करते हैं:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
जहाँ $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$ है। यह कार्यात्मक कम से कम एक बिंदु $\Omega$ में शामिल अंतःक्रियाओं को अलग करता है, जिससे आंतरिक-आंतरिक, आंतरिक-बाहरी, और बाहरी-आंतरिक अंतःक्रियाओं को अलग किया जाता है, जबकि बाहरी-बाहरी योगदान को अनदेखा किया जाता है।

मुख्य कार्यप्रणाली नवाचार एक मापने योग्य फलन $u$ के लिए अनंत पर $p$-द्रव्यमान ($p$-mass at infinity) की परिभाषा है:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
लेखक स्थापित करते हैं कि यह मात्रा अनुवाद-अपरिवर्तनीय (translation-invariant) है और उन फलनों के लिए सुपरिभाषित है जो वैश्विक रूप से समाकलनीय (integrable) नहीं हो सकते हैं। वे स्थानीयकृत अर्ध-मान को चार पदों में विभाजित करते हैं:

1. आंतरिक-आंतरिक (Interior-Interior): दिखाया गया है कि यह $s \to 0^+$ के रूप में शून्य हो जाता है (लेम्मा 2.5)।
2. आंतरिक-बाहरी (वर्ग) (Interior-Exterior (Squared)): 1 के द्रव्यमान और $\Omega$ पर $u^2$ के समाकलन से जुड़े एक पद की ओर अभिसरित होता है।
3. क्रॉस-टर्म (Cross-Term): इसमें $u(x)u(y)$ का गुणनफल शामिल है, जिसे $u$ के धनात्मक और ऋणात्मक भागों ($u_+, u_-$) का उपयोग करके विस्तारित किया जाता है और 'अनंत पर द्रव्यमान' के माध्यम से विश्लेषित किया जाता है।
4. बाहरी-आंतरिक (वर्ग) (Exterior-Interior (Squared)): $u^2$ के द्रव्यमान और $\Omega$ के आयतन से जुड़े एक पद की ओर अभिसरित होता है।

प्रमाण सीधे अनुमानों, भिन्नात्मक हार्डी असमानता (fractional Hardy inequality), और मीट्रिक मापन स्थानों में MS सूत्र के एक सामान्यीकृत संस्करण (संदर्भ [28] से प्रस्ताव 2.3) के संयोजन पर आधारित हैं, जिसे स्वयं फलन के मानों द्वारा भारित मापों को संभालने के लिए अनुकूलित किया गया है।

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

1. सामान्यीकृत माज़्या-शापोशनिकोवा सूत्र (प्रमेय 1.3):
   कागज यह सिद्ध करता है कि $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ के लिए जिसका अनंत पर द्रव्यमान परिमित है (विशेष रूप से $\alpha(u_+), \alpha(u_-), \alpha(u^2)$ अस्तित्व में हैं), स्थानीयकृत अर्ध-मान की सीमा है:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   यह सूत्र शास्त्रीय MS सूत्र (जो तब प्राप्त होता है जब $u \in L^2(\mathbb{R}^d)$ हो, जिससे $k \ge 1$ के लिए $\alpha(u^k)=0$ होता है) और भिन्नात्मक परिमाप की अनंतता को एकीकृत करता है।

2. ज्यामितीय व्याख्या (प्रमेय 2.11):
   उन फलनों $u$ के लिए जो $|x| \to \infty$ के रूप में एक रेडियल सीमा $u_\infty(\theta)$ रखते हैं, प्राप्त कार्यात्मक को स्पष्ट रूप से $\Omega$ के भीतर $u$ के मानों और अनंत पर इसके सीमा मान के बीच एक अंतःक्रिया ऊर्जा के रूप में वर्णित किया गया है:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   यह स्पष्ट करता है कि सीमा एक 'मान' (norm) नहीं है, बल्कि एक ऊर्जा है जो फलन के व्यवहार और अनंत पर उसके व्यवहार के विचलन को मापती है।

3. गामा-अभिसरण (Gamma-Convergence) (प्रमेय 3.4):
   लेखक स्थापित करते हैं कि कार्यात्मकों का अनुक्रम $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ कमजोर-$L^2(\Omega)$ टोपोलॉजी के संबंध में उस कार्यात्मक के प्रति गामा-अभिसरण करता है जिसे प्रमेय 1.3 में पहचाना गया है। यह परिणाम सिद्ध करता है कि सीमित कार्यात्मक, भिन्नात्मक परिमाप के अनंतता वाले सेट-कार्यात्मक (समीकरण 1.6) का निचला अर्ध-सतत आवरण (lower semicontinuous envelope) है।

4. मीट्रिक मापन स्थानों में विस्तार (प्रमेय 4.5):
   परिणामों को विशिष्ट मान्यताओं के तहत सामान्य कनवल्शन कर्नेल $\rho_n$ और अनंत पर द्रव्यमान के अस्तित्व वाले सामान्य मीट्रिक मापन स्थानों $(M, d, m)$ तक विस्तारित किया गया है। इसमें कार्नोट समूहों (Carnot Groups) जैसे अनुप्रयोग शामिल हैं।

5. गौसियन परिमापों से अंतर (टिप्पणी 4.9):
   कागज नोट करता है कि प्राप्त अनंतताएँ गौसियन भिन्नात्मक परिमाप के लिए लागू नहीं होती हैं। गौसियन सेटिंग में, माप परिमित होता है, और कर्नेल अनंत पर द्रव्यमान को उसी तरह केंद्रित नहीं करते हैं; फलस्वरूप, सीमा सेट्स के कुल माप पर निर्भर करती है न कि स्थानीय सीमा अंतःक्रियाओं पर।

महत्व और दावे

यह शोध पत्र शास्त्रीय माज़्या-शापोशनिकोवा सूत्र और गैर-स्थानीय परिमापों की अनंतता के बीच के अंतर को भरने का दावा करता है, एक एकीकृत ढांचा प्रदान करके जो उन फलनों को समायोजित करता है जिनका अनंत पर गैर-शून्य द्रव्यमान होता है।

• एकीकरण: पहचाना गया सीमित कार्यात्मक वैश्विक रूप से समाकलनीय फलनों के लिए शास्त्रीय $L^2$ मान में बदल जाता है और सेट्स के अभिलाक्षणिक फलनों के लिए $s$-भिन्नात्मक परिमापों के बिंदुवार सीमा को पुनः प्राप्त करता है।
• संरचनात्मक अंतर्दृष्टि: "अनंत पर द्रव्यमान" की अवधारणा पेश करके, लेखक उन दीर्घ-दूरी की अंतःक्रियाओं को कठोरता से वर्णित करते हैं जो $s \to 0^+$ होने पर ऊर्जा पर हावी होती हैं। वे प्रदर्शित करते हैं कि सीमा एक स्थानीय मान नहीं बल्कि डोमेन के आंतरिक भाग और "क्षितिज" (अनंत) के बीच एक अंतःक्रिया ऊर्जा है।
• मजबूती: परिणाम गामा-अभिसरण के अर्थ में स्थापित किए गए हैं, जो कमजोर अभिसरण के तहत स्थिरता सुनिश्चित करते हैं, और मीट्रिक मापन सेटिंग में सामान्यीकृत किए गए हैं, जिसमें कार्नोट समूह जैसे स्थान शामिल हैं।

लेखक स्पष्ट रूप से कहते हैं कि सामान्य $p \neq 2$ के मामले के लिए एक अलग दृष्टिकोण की आवश्यकता है और यह एक साथी शोध पत्र [13] का विषय है, यह देखते हुए कि विषम $p$ के लिए, यहाँ उपयोग किए गए द्विपद विस्तार (binomial expansion) के समान बंद सूत्र प्राप्त करना संभव नहीं हो सकता है।