Density estimates and the fractional Sobolev inequality for sets of zero $s$-mean curvature

तकनीकी सारांश: घनत्व अनुमान और शून्य $s$-माध्य वक्रता वाले समुच्चयों के लिए भिन्नात्मक सोबोलेव असमानता

समस्या विवरण
यह शोध पत्र गैर-स्थानीय (nonlocal) न्यूनतम सतहों के नियमितता सिद्धांत (regularity theory) में एक अंतराल को संबोधित करता है। जबकि यह स्थापित है कि भिन्नात्मक $s$-परिधि (fractional $s$-perimeter) के न्यूनतमीकरणकर्ताओं (minimizers) "मोटी" घनत्व अनुमानों (आयतन घनत्व) और सतह घनत्व अनुमानों को संतुष्ट करते हैं, उन समुच्चयों का व्यवहार जो केवल $s$-परिधि के सापेक्ष स्थिर (stationary) हैं (अर्थात, शून्य $s$-माध्य वक्रता वाले समुच्चय, $H_{s,E} = 0$), कम समझ में आया है। विशेष रूप से, यह एक खुला प्रश्न था कि क्या शून्य $s$-माध्य वक्रता वाले समुच्चय सतह घनत्व अनुमान को संतुष्ट करते हैं:
$$\text{Per}(E; B_R(x)) \geq C R^{n-1}$$
सभी $R > 0$ और $x \in \partial^* E$ के लिए, जहाँ स्थिरांक $C$ केवल आयाम $n$ और $s$ पर निर्भर करता है। शास्त्रीय मामले ($s=1$) में, यह अनुमान स्थिर समुच्चयों के लिए मान्य है, लेकिन गैर-स्थानीय परिवेश में यह चुनौतियाँ प्रस्तुत करता है क्योंकि न्यूनतमीकरणकर्ताओं के लिए मानक एकरूपता सूत्र (monotonicity formulas) बिना अतिरिक्त स्थिरता धारणाओं के सीधे स्थिर समुच्चयों तक विस्तारित नहीं होते हैं। इसके अतिरिक्त, शोध पत्र नोट करता है कि जबकि स्थिर समुच्चयों के लिए ऊपरी घनत्व अनुमान मौजूद हैं, सामान्य स्थिर समुच्चयों के लिए निम्न घनत्व अनुमान साहित्य में स्पष्ट रूप से उपलब्ध नहीं थे।

कार्यप्रणाली
प्रमाण इंटरपोलेशन असमानताओं (interpolation inequalities), कैफरेली-सिलवेस्टर विस्तार तकनीक (Caffarelli-Silvestre extension technique), और गैर-स्थानीय परिवेश के लिए अनुकूलित एकरूपता सूत्रों के संयोजन पर निर्भर करता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. इंटरपोलेशन असमानता (अनुभाग 3): लेखक एक नई इंटरपोलेशन असमानता (प्रमेय 3.1) स्थापित करते हैं जो प्रतिबंधित $s$-परिधि को शास्त्रीय परिधि और $L^\infty$ नॉर्म से संबंधित एक त्रुटि पद (error term) के संयोजन द्वारा सीमित करती है। महत्वपूर्ण रूप से, इस असमानता में एक नियंत्रणीय त्रुटि पद $\varepsilon R^{n-s}$ शामिल है, जो प्रमाण के दौरान मुख्य अनुमान में त्रुटि को अवशोषित करने की अनुमति देता है।
2. कैफरेली-सिलवेस्टर विस्तार (अनुभाग 4): शोध पत्र भिन्नात्मक लाप्लासियन (fractional Laplacian) से जुड़े विस्तार समस्या का उपयोग करता है। एक समुच्चय $E$ के लिए, $\mathbb{R}^{n+1}_+$ पर एक फलन $U_E$ को इस प्रकार परिभाषित किया जाता है कि इसका ट्रेस $E$ के अभिलक्षण फलन (characteristic function) से संबंधित होता है।
   • एकरूपता (Monotonicity): [CFSS24a] के हालिया कार्य का हवाला देते हुए, शोध पत्र $\Phi_{E,x}(R)$ के लिए एक एकरूपता सूत्र का उपयोग करता है, जो $U_E$ के एक भारित डिरिचलेट ऊर्जा (weighted Dirichlet energy) का प्रतिनिधित्व करता है। यह सूत्र केवल न्यूनतमीकरणकर्ताओं के लिए ही नहीं, बल्कि $s$-स्थिर समुच्चयों के लिए भी मान्य है।
   • ब्लो-अप सीमा (Blow-up Limit): लेखक यह सिद्ध करते हैं कि जैसे-जैसे $R \to 0$, एकरूपता राशि $\Phi_{E,x}(R)$, अर्ध-स्थान (half-space) $\mathbb{R}^n_+$ द्वारा निर्धारित एक धनात्मक स्थिरांक की ओर अभिसरित होती है। इस सीमा की गणना स्पष्ट रूप से गामा फलनों (Gamma functions) का उपयोग करके की जाती है और यह ऊर्जा के निम्नतम मान के रूप में कार्य करती है।
   • ऊर्जा नियंत्रण: $E$ की प्रतिबंधित $s$-परिधि के संदर्भ में $\Phi_{E,x}(R)$ के लिए एक ऊपरी सीमा स्थापित की गई है (प्रस्ताव 4.2)।
3. संश्लेषण (अनुभाग 5): ब्लो-अप सीमा (एकरूपता और विस्तार ऊर्जा अनुमान से) और इंटरपोलेशन असमानता को मिलाकर, लेखक असमानताओं की एक श्रृंखला व्युत्पन्न करते हैं। इंटरपोलेशन चरण में पैरामीटर $\varepsilon$ का विशिष्ट चयन यह सुनिश्चित करता है कि त्रुटि पदों को अवशोषित किया जा सके, जिससे शास्त्रीय परिधि पर वांछित निम्नतम सीमा प्राप्त होती है।

मुख्य परिणाम

• प्रमेय 1.1: प्राथमिक परिणाम यह स्थापित करता है कि यदि $E \subset \mathbb{R}^n$ स्थानीय रूप से परिमित परिधि वाला एक मापने योग्य समुच्चय है और शून्य $s$-माध्य वक्रता ($H_{s,E} = 0$ on $\partial^* E$) रखता है, तो यह सतह घनत्व अनुमान को संतुष्ट करता है:
  $$\text{Per}(E; B_R) \geq C R^{n-1}$$
  सभी $R > 0$ के लिए। स्थिरांक $C$ केवल $n$ और $s$ के निचले स्तर पर निर्भर करता है, और $s \to 1^-$ होने पर यह सीमित रहता है।
• उपप्रमेय 1.2: एक प्रत्यक्ष अनुप्रयोग के रूप में, शोध पत्र सिद्ध करता है कि ऐसे समुच्चयों की सीमा पर भिन्नात्मक सोबोलेव असमानता लागू होती है। विशेष रूप से, $u \in C^\infty_0(\partial^* E)$ के लिए, असमानता
  $$\|u\|_{L^{p^*}(\partial^* E)} \leq C [u]_{W^{\alpha, p}(\partial^* E)}$$
  मान्य होती है, जहाँ $p^* = \frac{np}{n-\alpha p}$। यह परिणाम [CC19] के एक पिछले प्रस्ताव पर आधारित है जिसने दिखाया था कि सतह घनत्व अनुमान (1.2) माध्य वक्रता पद की आवश्यकता के बिना सोबोलेव असमानता को लागू करता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि यह शून्य $s$-माध्य वक्रता वाले समुच्चयों के लिए सतह घनत्व अनुमान (1.2) का पहला स्पष्ट प्रमाण प्रदान करता है, जो कि पहले मुख्य रूप से न्यूनतमीकरणकर्ताओं या स्थिर समुच्चयों के लिए ज्ञात था। लेखक नोट करते हैं कि हालांकि संबंधित तकनीकें [CFSS24a], [CFSS24b], और [CSV19] के कार्यों में दिखाई देती हैं, इस विशिष्ट घनत्व अनुमान का शून्य $s$-माध्य वक्रता वाले समुच्चयों के लिए कथन, और हाइपरसरफेस पर भिन्नात्मक सोबोलेव असमानता के साथ इसका संबंध, साहित्य में स्पष्ट रूप से प्रतिपादित नहीं किया गया था।

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