Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

तकनीकी सारांश: वर्टिकल (Chord-Arc) डोमेन में 'वेरी बिग पीसेस ऑफ गुड सुपरडोमेन' के साथ एलिप्टिक समीकरणों के लिए न्यूमैन समस्या की समाधानक्षमता (Solvability)

समस्या विवरण
यह शोध पत्र बाउंडेड कॉर्ड-आर्क डोमेन $\Omega \subset \mathbb{R}^{n+1}$ के भीतर डाइवर्जेंस फॉर्म (divergence form) वाले एलिप्टिक ऑपरेटर्स $L = -\text{div}(A\nabla)$ के लिए न्यूमैन समस्या की समाधानक्षमता को संबोधित करता है, जहाँ मैट्रिक्स $A$ के गुणांकों (coefficients) में दीनी मीन ऑसिलेशन (Dini mean oscillation - DMO) होता है। मुख्य चुनौती कॉर्ड-आर्क डोमेन में न्यूमैन समस्या की $L^p$ समाधानक्षमता, जिसे $(N_p)_L$ कहा जाता है, को स्थापित करना है, जहाँ $1 < p \le 2$ है।

जबकि लाप्लासियन और कुछ विशिष्ट वर्गों के ऑपरेटर्स (जैसे, DKP ऑपरेटर्स) के लिए कॉर्ड-आर्क डोमेन में डिरिचलेट समस्या $(D_p)_L$ और रेगुलैरिटी समस्या $(R_p)_L$ की समाधानक्षमता का व्यापक रूप से अध्ययन और समाधान किया जा चुका है, न्यूमैन समस्या काफी अधिक कठिन बनी हुई है। डिरिचलेट समस्या के विपरीत, न्यूमैन समस्या में मैक्सिमम प्रिंसिपल (maximum principle) का अभाव होता है जो सबडोमेन से मूल डोमेन में समाधानक्षमता को स्थानांतरित करने की अनुमति देता है। इसके अतिरिक्त, न्यूमैन फंक्शन का कोई निश्चित चिह्न (definite sign) नहीं होता है, जिससे पॉजिटिव हार्मोनिक मेजर तकनीकों का उपयोग करना असंभव हो जाता है। लेखक कॉर्ड-आर्क डोमेन में $(N_p)_L$ की समाधानक्षमता के खुले प्रश्न को लक्षित करते हैं, जो केनिग (Kenig) द्वारा और बाद में टोरो (Toro) द्वारा, विशेष रूप से उस संदर्भ में उजागर किया गया था जहाँ सीमा (boundary) एक वीक $p$-पोइनकेरी इनइक्वालिटी (weak $p$-Poincaré inequality) का समर्थन करती है।

कार्यप्रणाली (Methodology)
लेखक एक "गुड $\lambda$" इनइक्वालिटी तर्क को बूटस्ट्रैपिंग प्रक्रिया (bootstrapping procedure) और द्वैतता (duality) के साथ जोड़कर उपयोग करते हैं। कार्यप्रणाली कुछ प्रमुख तकनीकी घटकों पर निर्भर करती है:

1. द्वैत सूत्र (Dual Formulations) और रफ न्यूमैन समस्याएँ: लेखक न्यूमैन समस्या के विभिन्न रूपों को पेश करते हैं, जिनमें "रफ न्यूमैन समस्या" और $\rho$-स्मूथ संस्करण शामिल हैं। वे एडजॉइंट ऑपरेटर $L^*$ के लिए लोरेन्ज़ स्पेस ($L^{p', \infty}$) में "रफ" न्यूमैन समस्या की समाधानक्षमता से न्यूमैन समस्या $(N_p)_L$ की समाधानक्षमता को जोड़ने के लिए द्वैतता तर्कों का उपयोग करते हैं। विशेष रूप से, वे स्थापित करते हैं कि $(N_p)_L$ तब समाधान योग्य है यदि रफ न्यूमैन समस्या $(N^R_{L^{p'}})_{L^*}$ समाधान योग्य है, बशर्ते कि किसी $q > p$ के लिए रेगुलरिटी समस्या $(R_q)_L$ समाधान योग्य हो।

2. लोकलाइजेशन और सुपरडोमेन: "वेरी बिग पीसेस ऑफ सुपरडोमेन" का उपयोग एक मुख्य नवाचार है। लेखक यह मानते हैं कि सीमा पर प्रत्येक बॉल $B(\xi, r)$ के लिए, एक "सुपरडोमेन" $U_{\xi,r}$ (एक $C^2$-कॉर्ड-आर्क डोमेन) मौजूद है, ऐसा कि $\Omega \cap B(\xi, r) \subset U_{\xi,r}$। महत्वपूर्ण रूप से, यह माना जाता है कि न्यूमैन समस्या इन सुपरडोमेन में यूनिफॉर्म रूप से समाधान योग्य है। यह शर्त आवश्यक है कि सीमा का "बुरा" हिस्सा $\partial \Omega \setminus \partial U_{\xi,r}$, बॉल के सापेक्ष छोटे माप (measure) का हो (जिसे $\varepsilon$ द्वारा नियंत्रित किया जाता है)।

3. गुड $\lambda$ इनइक्वालिटी और इंटरपोलेशन: मुख्य प्रमेय का प्रमाण इस प्रकार के अनुमान को स्थापित करने पर निर्भर करता है:
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   जहाँ $C_L$ समाधानक्षमता स्थिरांक (solvability constant) है। $\varepsilon$ को पर्याप्त रूप से छोटा चुनकर, दाईं ओर के अज्ञात स्थिरांक वाले पद को अवशोषित (absorbed) किया जा सकता है, जिससे एक यूनिफॉर्म बाउंड प्राप्त होता है। यह अनुमान एक लोकलाइजेशन लेम्मा (लेम्मा 4.3) का उपयोग करके प्राप्त किया जाता है जो समाधान को स्थानीय (local) और दूर-क्षेत्र (far-field) भागों में विभाजित करता है, जिसमें न्यूमैन फंक्शन और उसके गुणों (मोसर एस्टीमेट्स, होल्डर निरंतरता) का उपयोग किया जाता है।

4. एप्रोक्सिमेशन और डेंसिटी: लेखक सीमा डेटा और ऑपरेटर गुणांकों में स्मूथनेस की कमी को संभालने के लिए $\rho$-स्मूथ आइडेंटिटी के एप्रोक्सिमेशन ($S_\rho$) का उपयोग करते हैं। वे डेंसिटी तर्कों और लोरेन्ज़ स्पेस के बीच इंटरपोलेशन के माध्यम से सिद्ध करते हैं कि स्मूथ संस्करणों के लिए समाधानक्षमता रफ संस्करणों के लिए समाधानक्षमता की ओर ले जाती है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम थ्योरम 1.1 है, जो कहता है:
मान लीजिए $\Omega \subset \mathbb{R}^{n+1}$ एक बाउंडेड $C^1$-कॉर्ड-आर्क डोमेन है और $L \in \text{EDMO}(\mathbb{R}^{n+1})$ है। यदि $p \in (1, 2)$ के लिए:

1. $\Omega$ में किसी $q > p$ के लिए रेगुलरिटी समस्या $(R_q)_L$ समाधान योग्य है;
2. $\partial \Omega$ एक वीक $p$-पोइनकेरी इनइक्वालिटी का समर्थन करता है;
3. $\Omega$ में "वेरी बिग पीसेस" ऑफ सुपरडोमेन $U_{\xi,r}$ (विशेष रूप से, $C^2$-कॉर्ड-आर्क डोमेन) हैं जिनके लिए न्यूमैन समस्या $(N_q)_L$ यूनिफॉर्म रूप से समाधान योग्य है, और सीमा अंतर का माप $\varepsilon$-छोटा है;

तो, $\Omega$ में न्यूमैन समस्या $(N_p)_L$ समाधान योग्य है।

एक विशिष्ट कोरोलरी (कोरोलरी 1.2) इसे लाप्लासियन ($\Delta$) के लिए लागू करती है। यह दावा करता है कि यदि एक $C^1$-कॉर्ड-आर्क डोमेन में $(R_q)_\Delta$ समाधान योग्य है और डोमेन में यूनिफॉर्म रूप से समाधान योग्य न्यूमैन समस्याओं वाले लिप्सचिट्ज़ (Lipschitz) सुपरडोमेन के "वेरी बिग पीसेस" हैं, तो $(N_p)_\Delta$ समाधान योग्य है।

महत्व और दावे
लेखक दावा करते हैं कि थ्योरम 1.1 लाप्लास ऑपरेटर के लिए भी एक नया परिणाम है। लेखक नोट करते हैं कि जबकि लिप्सचिट्ज़ डोमेन में $(N_2)_\Delta$ की समाधानक्षमता एक शास्त्रीय परिणाम (जेरिसन-केनिग) है, इसे रफ डोमेन (कॉर्ड-आर्क) में $p \neq 2$ के लिए $L^p$ में विस्तारित करना एक खुला प्रश्न रहा है।

महत्व निम्नलिखित में निहित है:

• मैक्सिमम प्रिंसिपल की कमी को दूर करना: लेखक एक विधि प्रदान करते हैं जिसके द्वारा "अच्छे" सुपरडोमेन से "रफ" डोमेन $\Omega$ में समाधानक्षमता को स्थानांतरित किया जा सकता है, बिना मैक्सिमम प्रिंसिपल पर निर्भर रहे, जो न्यूमैन समस्याओं के लिए उपलब्ध नहीं है।
• केनिग के खुले प्रश्न को संबोधित करना: यह कार्य केनिग (1991) और टोरो (2010) द्वारा पूछे गए प्रश्न पर प्रगति करता है कि क्या कॉर्ड-आर्क डोमेन में $p > 1$ के लिए ऐसी कोई स्थिति है जिसमें न्यूमैन समस्या समाधान योग्य हो।
• द्वैतता और रफ न्यूमैन समस्याएँ: शोध पत्र एक "रफ" न्यूमैन समस्या फॉर्मूलेशन और रेगुलरिटी समस्या के साथ इसकी द्वैतता को पेश करता है, जो नॉन-स्मूथ सेटिंग्स में बाउंड्री वैल्यू प्रॉब्लम्स की समाधानक्षमता के लिए एक नया दृष्टिकोण प्रदान करता है।
• शर्तों की इष्टतमता (Optimality): लेखक स्वीकार करते हैं कि उनके प्रमाण के लिए "वेरी बिग पीसेस" की शर्त (छोटा $\varepsilon$) आवश्यक है ताकि गुड $\lambda$ इनइक्वालिटी में एरर टर्म्स को अवशोषित किया जा सके। वे चर्चा करते हैं कि उनके प्रमेय के पुनरावृत्ति (iterative) अनुप्रयोग से अंततः बड़े $\varepsilon$ (1 के करीब) को कवर करने की अनुमति मिल सकती है, हालांकि यह प्रक्रियात्मक स्थिरांकों पर निर्भरता के कारण एक संभावित कठिनाई बनी हुई है।

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