Global minimizers of the two-phase Bernoulli problem with the $p$-Laplace operator

तकनीकी सारांश: p-लैपलेस ऑपरेटर के साथ टू-फेज़ बर्नेली समस्या के वैश्विक मिनिमाइज़र (Global Minimizers)

समस्या विवरण
यह शोध पत्र $p$-लैपलेस ऑपरेटर ($1 < p < \infty$) से संबंधित टू-फेज़ बर्नेली फलन (two-phase Bernoulli functional) के दो-चरणीय (two-phase) मुक्त सीमा (free boundary) की नियमितता (regularity) की जांच करता है। फलन को इस प्रकार परिभाषित किया गया है:
$$J_{TP}(v, D) := \int_D |\nabla v|^p + (p-1)\lambda_+^p \chi_{\{v>0\}} + (p-1)\lambda_-^p \chi_{\{v<0\}} \, dx$$
जहाँ $\lambda_+, \lambda_- > 0$ हैं। लेखक $D = \mathbb{R}^n$ में लिप्सचिट्ज़ वैश्विक मिनिमाइज़र (Lipschitz global minimizers) के वर्गीकरण और मुक्त सीमा $F(u) = (\partial \Omega_u^+ \cup \partial \Omega_u^-) \cap D$ की नियमितता स्थापित करने पर ध्यान केंद्रित करते हैं।

एक केंद्रीय कठिनाई जिसे संबोधित किया गया है वह $p \neq 2$ के लिए $p$-लैपलेस ऑपरेटर $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ की गैर-समान दीर्घवृतीयता (non-uniform ellipticity) है। $p=2$ के मामले के विपरीत, जहाँ मॉनोटोनिसिटी फॉर्मूला (जैसे कि ऑल्ट-कैफरेली-फ्रीडमैन फॉर्मूला) नियमितता प्रमाणों को सुगम बनाते हैं, सामान्य $p$-मामले में इन उपकरणों का अभाव है। शोध पत्र विशेष रूप से उस परिदृश्य को लक्षित करता है जहाँ आंतरिक टू-फेज़ बिंदुओं (interior two-phase points) $\Gamma_{TP}^{int}$ का सेट (जहाँ शून्य सेट का घनत्व शून्य है) गैर-रिक्त है।

कार्यप्रणाली (Methodology)
लेखक ब्लो-अप विश्लेषण (blow-up analysis), कॉम्पैक्टनेस तर्क (compactness arguments), और एक परिष्कृत "इम्प्रूवमेंट ऑफ फ्लैटनेस" (improvement of flatness) योजना के संयोजन का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित प्रमुख चरणों के माध्यम से आगे बढ़ती है:

1. वैश्विक समाधानों का वर्गीकरण: लेखक एक लीउविल-प्रकार का प्रमेय (Liouville-type theorem) स्थापित करते हैं। वे सिद्ध करते हैं कि कोई भी लिप्सचिट्ज़ वैश्विक विस्कोसिटी समाधान (viscosity solution), जिसमें गैर-रिक्त आंतरिक टू-फेज़ बिंदु हों, एक "टू-प्लेन समाधान" (two-plane solution) है जिसका रूप $u(x) = \alpha(x \cdot \nu)_+ - \beta(x \cdot \nu)_-$ है। यह वर्गीकरण पुनर्गठित समाधानों (blow-ups) के व्यवहार का विश्लेषण करने और मुक्त सीमा के पास ग्रेडिएंट की गैर-क्षयशीलता (non-degeneracy) का उपयोग करने पर आधारित है।

2. क्वाड्रेटिक इम्प्रूवमेंट ऑफ फ्लैटनेस: एक मुख्य तकनीकी योगदान "क्वाड्रेटिक इम्प्रूवमेंट ऑफ फ्लैटनेस" (Proposition 2.1) की स्थापना है। जबकि पिछले कार्यों (जैसे [8]) ने रैखिक सुधार (linear improvements) का उपयोग किया था, यह शोध पत्र प्रदर्शित करता है कि यदि कोई समाधान टू-प्लेन समाधान के पर्याप्त करीब है, तो वह वास्तव में एक द्विघातीय बहुपद (quadratic polynomial) सन्निकटन के करीब होता है।

   • इसे द्विघातीय बहुपदों के $\epsilon$-परटर्बेशन वाले सख्त सब-सॉल्यूशंस (subsolutions) और सुपर-सॉल्यूशंस (supersolutions) का निर्माण करके प्राप्त किया जाता है।
   • प्रमाण एक हार्नाक-प्रकार की असमानता (Lemma 2.4) और मुक्त सीमा के पास रैखिक ऑपरेटर $L_p(u) = \Delta u + (p-2)\partial_{nn}u$ के सावधानीपूर्वक विश्लेषण को शामिल करता है।
   • लेखक $p \neq 2$ के लिए द्विघातीय बहुपदों की गैर-$p$-हारमोनिकिटी (non-p-harmonicity) को फ्लैटनेस पैरामीटर $\epsilon$ की लघुता के माध्यम से नियंत्रित करके इस बाधा को दूर करते हैं।

3. गैर-रेखीय द्विशाखता (Nonlinear Dichotomy): शोध पत्र उन समाधानों के लिए एक गैर-रेखीय द्विशाखता (Proposition 3.1) पेश करता है जो एक फ्लैट विन्यास के करीब होते हैं। यह दावा करता है कि या तो मूल बिंदु पर ग्रेडिएंट अधिकतम ढलान से काफी नीचे गिर जाता है, या समाधान द्विघातीय सुधार (quadratic improvement) प्रदर्शित करता है। यह द्विशाखता रैखिक ट्रांसमिशन समस्या के वैश्विक समाधानों के वर्गीकरण का उपयोग करते हुए विरोधाभास द्वारा सिद्ध की जाती है।

4. बाउंड्स का प्रसार (Propagation of Bounds): वर्गीकरण प्रमेय को सिद्ध करने के लिए, लेखक सामान्य अवकलज (normal derivative) $\partial_n u$ के निचले स्तर (lower bound) को प्रसारित करते हैं। सुधार (improvement of flatness) और समाधान की गैर-क्षयशीलता को जोड़कर, वे दिखाते हैं कि यदि समाधान एक छोटे पैमाने पर फ्लैट है, तो वह सभी बड़े पैमानों पर फ्लैट रहता है, जो इसे एक वैश्विक टू-प्लेन समाधान होने के लिए मजबूर करता है।

प्रमुख परिणाम

• प्रमेय 1.1 (वर्गीकरण): मान लीजिए $u$ $\mathbb{R}^n$ में टू-फेज़ समस्या का एक लिप्सचिट्ज़ वैश्विक विस्कोसिटी समाधान है। यदि आंतरिक टू-फेज़ बिंदुओं $\Gamma_{TP}^{int}(u)$ का सेट गैर-रिक्त है, तो $u$ एक टू-प्लेन समाधान है:
  $$u(x) = \alpha (x \cdot \nu)_+ - \beta (x \cdot \nu)_-$$
  जहाँ $\nu \in S^{n-1}$, $\alpha \ge \lambda_+$, $\beta \ge \lambda_-$, और $\alpha^p - \beta^p = \lambda_+^p - \lambda_-^p$।

• प्रमेय 1.2 (नियमित बिंदुओं की नियमितता): मान लीजिए $u$ डोमेन $D$ में $J_{TP}$ का एक मिनिमाइज़र है। प्रत्येक "नियमित" टू-फेज़ बिंदु $x_0$ (जो इस स्थिति द्वारा परिभाषित है $\liminf_{r\to 0} \frac{|B_r(x_0) \cap \{u=0\}|}{|B_r(x_0)|} = 0$) के लिए, एक पड़ोस मौजूद है जहाँ मुक्त सीमा घटक $\partial \Omega_u^\pm$ किसी भी $\eta \in (0, 1/3)$ के लिए $C^{1,\eta}$ ग्राफ हैं।

महत्व और दावे
शोध पत्र टू-फेज़ बर्नेली समस्या की नियमितता सिद्धांत को रैखिक मामले ($p=2$) से सामान्य गैर-रेखीय मामले ($1 < p < \infty$) तक विस्तारित करने का दावा करता है।

• मॉनोटोनिसिटी की कमी को दूर करना: लेखक नोट करते हैं कि $p$-लैपलेसियन की विकृत प्रकृति और मॉनोटोनिसिटी फॉर्मूलाओं के अभाव के कारण सामान्यीकरण अत्यधिक गैर-तुच्छ (nontrivial) है। उनका कार्य एक ऐसी कार्यप्रणाली प्रदान करता है जो इन शास्त्रीय उपकरणों के बिना कार्य करती है।
• आंतरिक बनाम ब्रांच पॉइंट्स: परिणाम पुष्टि करते हैं कि मुक्त सीमा आंतरिक टू-फेज़ बिंदुओं के आसपास $C^{1,\eta}$ नियमित है। लेखक स्पष्ट रूप से कहते हैं कि ब्रांच पॉइंट्स (जहाँ शून्य सेट का घनत्व सकारात्मक है) पर स्थिति $p \neq 2$ के लिए एक खुला प्रश्न बनी हुई है। वे उल्लेख करते हैं कि जबकि $p=2$ के लिए सभी टू-फेज़ बिंदु नियमित हैं, यह वर्तमान में अज्ञात है कि क्या प्रत्येक ब्रांच पॉइंट गैर-रेखीय सेटिंग में नियमितता की स्थिति (4) को संतुष्ट करता है।
• कार्यप्रणालीगत प्रगति: शोध पत्र पूर्व कार्य [8] में उपयोग किए गए रैखिक सुधार की तुलना में एक "मजबूत द्विघातीय सुधार" (stronger quadratic improvement) की आवश्यकता पर जोर देता है। यह द्विघातीय योजना एक महत्वपूर्ण उपकरण के रूप में प्रस्तुत की गई है जो उन मुक्त सीमा समस्याओं को संभालने के लिए आवश्यक है जहाँ शास्त्रीय मॉनोटोनिसिटी फॉर्मूला अनुपलब्ध हैं, जो बाधा समस्याओं (obstacle problems) में हालिया स्तरीकरण (stratification) प्रमेयों के साथ समानता दर्शाती है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि आंतरिक टू-फेज़ बिंदुओं की उपस्थिति वैश्विक समाधानों को सरल टू-प्लेन विन्यासों में बदल देती है, जो बदले में इन बिंदुओं के निकट मुक्त सीमा की $C^{1,\eta}$ नियमितता को सिद्ध करती है, जिससे सामान्य $p$-लैपलेस सेटिंग में मुक्त सीमा के "नियमित" भाग के लिए नियमितता सिद्धांत पूर्ण होता है।