Stability of p-area minimizing surfaces in the Heisenberg group

तकनीकी सारांश: हीजनबर्ग समूह में p-क्षेत्र न्यूनतम सतहों की स्थिरता

समस्या विवरण
यह शोध पत्र हीजनबर्ग समूह $\mathbb{H}^n$ में निर्धारित $p$-माध्य वक्रता (p-mean curvature) वाली सतहों से जुड़े भारित $p$-क्षेत्र फलनों (weighted $p$-area functionals) के न्यूनतमीकरणकर्ताओं (minimizers) की मात्रात्मक स्थिरता (quantitative stability) की जांच करता है। जबकि ऐसे न्यूनतमीकरणकर्ताओं का अस्तित्व और अद्वितीयता साहित्य में अच्छी तरह से स्थापित है (विशेष रूप से न्यूनतम सतह मामले $H=0$ और निर्धारित वक्रता मामले $H \neq 0$ के लिए), माध्य वक्रता फलन $H$ के विक्षोभों (perturbations) के तहत इन न्यूनतमीकरणकर्ताओं के व्यवहार पर शोध अभी भी काफी हद तक अनछुआ है। विशेष रूप से, लेखक गैर-शून्य $H$ शासन (regime) में मात्रात्मक स्थिरता अनुमानों के अभाव को संबोधित करते हैं, जहाँ ज्यामिति और विभव पद (potential term) $Hu$ के बीच का युग्मन महत्वपूर्ण विश्लेषणात्मक चुनौतियों को जन्म देता है, जिसमें विशिष्ट सेटों (characteristic sets) के साथ अपभ्रष्टता (degeneracy) और समरूपता (homogeneity) का टूटना शामिल है।

कार्यप्रणाली
लेखक एक रूपांतरण समस्या का विश्लेषण करने के लिए रॉकैफेल-फेंसेल द्वैतता (Rockafellar–Fenchel duality) ढांचे का उपयोग करते हैं। विचार किया जाने वाला प्राथमिक फलन है:
$$F(u) = \int_{\Omega} (a|\nabla u - X^*| + Hu) \, dx$$
जहाँ $X^*$ क्षैतिज दिशाओं के आंतरिक घूर्णन को कूटबद्ध करता है, $a$ एक धनात्मक भार फलन है, और $\Omega \subset \mathbb{R}^{2n}$ है।

कार्यप्रणाली का मुख्य भाग निम्नलिखित है:

1. द्वैत निरूपण (Dual Formulation): किसी भी न्यूनतमीकरणकर्ता से जुड़े एक अद्वितीय अंतर्निहित सदिश क्षेत्र $J$ की पहचान करने के लिए द्वैतता का उपयोग करना। यह क्षेत्र $J$ संतुष्ट करता है $|J| \leq a$ और लगभग हर जगह क्षैतिज प्रवणता (horizontal gradient) $\nabla u - X^*$ की दिशा में संरेखित होता है।
2. सदिश क्षेत्र की स्थिरता: वक्रता $H$ के विक्षोभों के तहत सदिश क्षेत्र $J$ की स्थिरता को सिद्ध करना। $H$ और $\tilde{H}$ के संगत सदिश क्षेत्रों $J$ और $\tilde{J}$ के बीच के अंतर पर सीमाएं स्थापित करके, लेखक क्षैतिज प्रवणता की दिशा पर नियंत्रण प्राप्त करते हैं।
3. स्तर सेटों (Level Sets) पर ज्यामितीय धारणाएं: सदिश क्षेत्र से न्यूनतमीकरणकर्ताओं तक स्थिरता का विस्तार करने के लिए, लेखक न्यूनतमीकरणकर्ताओं के स्तर सेटों पर संरचनात्मक परिकल्पनाएं लागू करते हैं।
   • आयाम $n=2$ में, वे मानते हैं कि स्तर सेटों की लंबाई समान रूप से सीमित है और लगभग प्रत्येक स्तर सेट सीमा (boundary) तक पहुँचता है।
   • आयाम $n=3$ में, वे मानते हैं कि स्तर सेटों को विशिष्ट नियमितता और परिबद्धता गुणों के साथ एक-आयामी वक्रों में विभाजित किया जा सकता है।
4. को-एरिया सूत्र (Coarea Formulas) और नियमितता: प्रमाण BV फलनों के लिए को-एरिया सूत्र, समाकलन द्वारा भाग (integration by parts), और एलिप्टिक नियमितता अनुमानों (पर्याप्त डेटा की सुगमता मानते हुए) का उपयोग करते हैं ताकि $L^1$ और $W^{1,1}$ स्थिरता अनुमान प्राप्त किए जा सकें।

मुख्य योगदान और परिणाम
यह शोध पत्र निर्धारित गैर-शून्य $p$-माध्य वक्रता वाले $p$-क्षेत्र ग्राफ़ के लिए पहली मात्रात्मक स्थिरता सिद्धांत स्थापित करता है, यहाँ तक कि भारहीन मामले ($a \equiv 1$) में भी। विशिष्ट परिणाम निम्नलिखित हैं:

• सदिश क्षेत्र स्थिरता: लेखक $H$ में विक्षोभों के संबंध में $L^1$ नॉर्म में सदिश क्षेत्र $J$ की स्थिरता सिद्ध करते हैं। विशेष रूप से, $\|J - \tilde{J}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$। इसका तात्पर्य है कि क्षैतिज प्रवणता की दिशा को माध्य वक्रता के विक्षोभ द्वारा मात्रात्मक रूप से नियंत्रित किया जाता है।
• न्यूनतमीकरणकर्ताओं की $L^1$ स्थिरता: स्तर सेटों पर प्राकृतिक ज्यामितीय धारणाओं (2D में सीमित लंबाई, 3D में विभाजन) के तहत, लेखक स्वीकार्य न्यूनतमीकरणकर्ताओं के लिए $L^1$ स्थिरता स्थापित करते हैं:
  $$\|u - \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$$
• $W^{1,1}$ स्थिरता: अतिरिक्त नियमितता परिकल्पनाओं (जिसके लिए $C^2$ सीमा, $C^2$ सदिश क्षेत्र, और "सुव्यवस्थित" स्तर सेटों की आवश्यकता होती है) के तहत, शोध पत्र प्रवणताओं के लिए $W^{1,1}$ स्थिरता अनुमान प्राप्त करता है:
  $$\|\nabla u - \nabla \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/4}$$
  परिणामस्वरूप, भार फलन $\sigma$ (जो प्रवणता के परिमाण से संबंधित है) के लिए भी उसी दर के साथ स्थिरता प्राप्त की जाती है।
• संख्यात्मक सत्यापन: सैद्धांतिक परिणामों को एक अल्टरनेटिंग स्प्लिट ब्रेगमैन एल्गोरिदम का उपयोग करके संख्यात्मक सिमुलेशन के माध्यम से दर्शाया गया है। लेखक एक ज्ञात सटीक समाधान वाले परीक्षण मामले का निर्माण करते हैं और माध्य वक्रता $H$ में स्टोकेस्टिक शोर (stochastic noise) पेश करते हैं। सिमुलेशन प्रदर्शित करते हैं कि संख्यात्मक सन्निकटन (approximations) शोर के स्तर के साथ अनुमानित रूप से बढ़ते हुए सापेक्ष $L^2$ त्रुटियों के साथ मजबूत बने रहते हैं, जिससे उनके सैद्धांतिक स्थिरता दावों का समर्थन होता है।

महत्व
लेखक का दावा है कि ये परिणाम स्यूडो-हर्मिटियन (pseudohermitian) $p$-माध्य वक्रता ग्राफ़ की संरचना की अधिक सूक्ष्म समझ प्रदान करते हैं। अस्तित्व और अद्वितीयता से परे मात्रात्मक स्थिरता को शामिल करके, यह कार्य उप-रीमानियन (sub-Riemannian) न्यूनतम सतहों के विश्लेषण में एक महत्वपूर्ण अंतराल को भरता है। अद्वितीय अंतर्निहित सदिश क्षेत्र $J$ की पहचान इस विश्लेषण के लिए एक आधारभूत उपकरण के रूप में कार्य करती है। परिणाम यहाँ तक कि जहाँ भार फलन स्थिर है, उस विशेष मामले में भी नए प्रस्तुत किए गए हैं, जो माध्य वक्रता के विक्षोभ के संदर्भ में अभिसरण (convergence) की स्पष्ट दर प्रदान करते हैं। डेटा विक्षोभों की उपस्थिति में इन सैद्धांतिक निष्कर्षों की मजबूती को दर्शाने के लिए संख्यात्मक सिमुलेशन का समावेश किया गया है।