Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

तकनीकी सारांश: नॉनलोकल नॉनलीनर डिरिचलेट समस्याओं के लिए पेरोन समाधान और बाउंड्री रेगुलैरिटी (सीमा नियमितता)

समस्या विवरण
यह शोध पत्र एक सीमित खुले सेट $\Omega \subset \mathbb{R}^n$ पर परिभाषित फ्रैक्शनल $p$-लैपलेस प्रकार के नॉनलोकल नॉनलीनर ऑपरेटरों $L$ के वर्ग के लिए डिरिचलेट समस्या को संबोधित करता है। ऑपरेटर को इस प्रकार दिया गया है:
$$Lu(x) = 2 \text{ p.v.} \int_{\mathbb{R}^n} |u(x) - u(y)|^{p-2}(u(x) - u(y))k(x, y) \, dy,$$
जहाँ $1 < p < \infty$, $0 < s < 1$, और $k$ एक सममित मापने योग्य कर्नेल (kernel) है जो $|x-y|^{-n-sp}$ के तुल्य एलिप्टिसिटी (ellipticity) शर्तों को पूरा करता है। $L$ की नॉनलोकल प्रकृति के कारण, डिरिचलेट डेटा $g$ को केवल सीमा $\partial \Omega$ पर ही नहीं, बल्कि संपूर्ण पूरक $\Omega^c$ पर निर्धारित किया जाना चाहिए।

मुख्य चुनौती यह है कि, सीमित और निरंतर बाह्य डेटा (exterior data) के लिए भी, निर्धारित सीमा मान हमेशा समाधानों के सीमा (limit) के रूप में प्राप्त नहीं होते हैं। फलस्वरूप, समस्या को एक शिथिल (relaxed) अर्थ में समझा जाना चाहिए। लेखक समाधानों को परिभाषित करने के दो अलग-अलग दृष्टिकोणों की जांच करते हैं:

1. सोबोलेव समाधान ($H_g$): $V^{s,p}(\Omega)$ वाले फ्रैक्शनल सोबोलेव स्पेस पर आधारित कमजोर समाधान (weak solutions)।
2. पेरोन समाधान ($P_g$): $L$-सुपरहारमोनिक फलनों का उपयोग करके निर्मित समाधान।

ये दोनों दृष्टिकोण सीमा नियमितता (boundary regularity) की दो अलग-अलग अवधारणाओं की ओर ले जाते हैं: सोबोलेव नियमितता और पेरोन नियमितता। मुख्य उद्देश्य इन दोनों प्रकार की नियमितता के बीच संबंध स्थापित करना और सीमा बिंदुओं की नियमितता का लक्षण वर्णन करना है।

कार्यप्रणाली (Methodology)
लेखक नॉनलोकल नॉनलीनर समीकरणों के लिए पेरोन समाधानों का एक व्यापक सिद्धांत विकसित करते हैं, जो पिछले फ्रैक्शनल लीनियर और नॉनलीनर कार्यों का विस्तार करता है। कार्यप्रणाली में शामिल हैं:

• पेरोन समाधानों की पुनर्रचना: लेखक पेरोन समाधानों के 'अपर क्लास' (upper class) के लिए एक नई परिभाषा प्रस्तावित करते हैं। पूर्व परिभाषाओं (जैसे कोरवेनपा-कुसी-पलाटुकी [36]) के विपरीत, जिनमें $\Omega^c$ में $u=g$ लगभग हर जगह (almost everywhere) होना आवश्यक था, नई परिभाषा केवल $u \ge g$ की आवश्यकता रखती है। यह संशोधन किसी भी बाह्य डेटा $g: \Omega^c \to [-\infty, \infty]$ (गैर-मापने योग्य फलनों सहित) के लिए पेरोन समाधानों को परिभाषित करने की अनुमति देता है और यह सुनिश्चित करता है कि यदि $g_1 \le g_2$ हो, तो $P_{g_1} \le P_{g_2}$ की मोनोटोनिसिटी गुण बना रहे।
• फलन स्थान और क्षमता (Function Spaces and Capacities): अध्ययन $V^{s,p}(\Omega)$ फ्रैक्शनल सोबोलेव स्पेस और टेल स्पेस $L^{p-1}_{sp}(\Omega^c)$ का उपयोग करता है। एक महत्वपूर्ण तकनीकी घटक दो क्षमताओं का विश्लेषण है: सोबोलेव क्षमता $C_{s,p}$ और कंडेंसर क्षमता $c_{s,p}$। लेखक शून्य क्षमता वाले सेटों के संबंध में उनकी समानता स्थापित करते हैं।
• केलोग प्रॉपर्टी (Kellogg Property): एक महत्वपूर्ण कार्यप्रणाली संबंधी कदम के रूप में केलोग प्रॉपर्टी की सिद्धि की जाती है, जो यह दावा करती है कि सोबोलेव अनियमित सीमा बिंदुओं का सेट शून्य सोबोलेव क्षमता रखता है। इसे कैफरेली-सिलवेस्टर एक्सटेंशन फ्रेमवर्क (क्षमता तुल्यता के माध्यम से अप्रत्यक्ष रूप से उपयोग किया गया) के माध्यम से नॉनलोकल समस्या को $\mathbb{R}^{n+1}$ में एक वेटेड $p$-लैपलेस समीकरण से जोड़कर प्राप्त किया गया है।
• ऑब्स्टेकल समस्याएं (Obstacle Problems): लेखक अभिसरण (convergence) और नियमितता का अध्ययन करने के लिए ऑब्स्टेकल समस्या को एक उपकरण के रूप में उपयोग करते हैं। वे ऑब्स्टेकल समस्याओं के समाधानों के अनुक्रमों के अभिसरण परिणामों को सिद्ध करते हैं, जो सोबोलेव और पेरोन समाधानों के बीच समानता स्थापित करने के लिए आवश्यक हैं।
• तुलना सिद्धांत (Comparison Principles): प्रमाण मुख्य रूप से डिरिचलेट और ऑब्स्टेकल समस्याओं, साथ ही $L$-सुपरहारमोनिक फलनों के लिए तुलना सिद्धांतों पर निर्भर करता है।

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

1. नियमितता की समानता: शोध पत्र का मुख्य परिणाम (प्रमेय 1.7) यह स्थापित करता है कि सोबोलेв नियमितता और पेरोन नियमितता समान हैं। एक सीमा बिंदु $x_0$ सोबोलेव नियमित है यदि और केवल यदि वह पेरोन नियमित है। यह समानता दर्शाती है कि इस प्रकार के ऑपरेटरों के लिए दोनों प्रकार की नियमितता के बीच का अंतर अनावश्यक है।
2. नियमित बिंदुओं का लक्षण वर्णन: लेखक नियमित सीमा बिंदुओं के लिए कई समान लक्षण वर्णन प्रदान करते हैं, जिनमें शामिल हैं:
   • कंडेंसर क्षमता से संबंधित विनर मानदंड (Wiener criterion) (प्रमेय 4.2, प्रमेय 1.7(e))।
   • बिंदु पर एक बैरियर (barrier) का अस्तित्व (प्रमेय 1.7(f))।
   • विशिष्ट टेस्ट डेटा (जैसे, $d_{x_0}(x) = \min\{1, |x-x_0|\}$) के लिए समाधान का सीमा व्यवहार।
   • $d_{x_0}$ बाधा (obstacle) वाले ऑब्स्टेकल समस्या के समाधान का व्यवहार।
3. रिजोल्यूटिविटी (Resolutivity) और इनवेरिएंस (Invariance): लेखक व्यापक वर्ग के बाह्य डेटा के लिए रिजोल्यूटिविटी परिणाम सिद्ध करते हैं। यदि $g$ सीमा पर परिबद्ध (bounded) और निरंतर है (या शून्य क्षमता वाले सेट के बाहर निरंतर है), तो पेरोन समाधान $P_g$, सोबोलेव समाधान $H_g$ के बराबर होता है। इसके अतिरिक्त, वे दिखाते हैं कि पेरोन समाधान शून्य-क्षमता वाले सेटों पर बाह्य डेटा के व्यवधानों के प्रति अपरिवर्तनीय (invariant) हैं (प्रमेय 1.3, प्रमेय 1.4)।
4. एकरूपता (Uniqueness): सीमा पर लगभग हर जगह निरंतर बाह्य डेटा लेने वाले परिबद्ध समाधानों के लिए एक एकरूपता परिणाम प्राप्त किया गया है (प्रमेय 1.6)।
5. पेरोन समाधानों के गुण: शोध पत्र यह स्थापित करता है कि किसी भी डेटा $g$ के लिए, अपर पेरोन समाधान $P_g$ या तो $\Omega$ में निरंतर होता है या सर्वथा $\pm \infty$ होता है। यदि $g$ टेल स्पेस $L^{p-1}_{sp}(\Omega^c)$ से संबंधित है, तो $P_g$ या तो $\Omega$ में $L$-हारमोनिक होता है या सर्वथा $\pm \infty$ होता है (प्रमेय 1.2)।
6. ऑब्स्टेकल समस्याओं तक विस्तार: नियमितता के धारणाओं की समानता को ऑब्स्टेकल समस्याओं तक विस्तारित किया गया है, यह दिखाते हुए कि ऑब्स्टेकल समस्याओं के लिए सीमा नियमितता, डिरिचलेट समस्या के लिए नियमितता के समान है (प्रमेय 10.3)।

महत्व
यह शोध पत्र पिछले कार्यों (विशेष रूप से [36] और [39]) द्वारा शुरू किए गए नॉनलोकल नॉनलीनर सिद्धांत को पर्याप्त रूप से विस्तारित करने का दावा करता है। इसका महत्व निम्नलिखित में निहित है:

• एकीकरण: सोबोलेव और पेरोन नियमितता की समानता को सिद्ध करके, यह शोध पत्र सीमा नियमितता के दो पहले से भिन्न दृष्टिकोणों को एकीकृत करता है।
• व्यापकता: पेरोन समाधानों की नई परिभाषा किसी भी बाह्य डेटा, जिसमें गैर-मापने योग्य फलन भी शामिल हैं, की अनुमति देती है, जो पिछली प्रतिबंधात्मक परिभाषाओं के तहत संभव नहीं था।
• मजबूती (Robustness): रिजोल्यूटिविटी और शून्य-क्षमता व्यवधानों के प्रति इनवेरिएंस पर परिणाम एक मजबूत ढांचा प्रदान करते हैं जहाँ डेटा अनियमित हो सकता है या केवल लगभग हर जगह (almost everywhere) परिभाषित हो सकता है।
• मौलिक उपकरण: केलोग प्रॉपर्टी की स्थापना और नॉनलोकल ऑपरेटरों के लिए क्षमता का विस्तृत विश्लेषण, फ्रैक्शनल ऑपरेटरों के लिए नॉनलीनर पोटेंशियल थ्योरी में आगे के अनुसंधान के लिए मौलिक उपकरण प्रदान करता है।

लेखक नोट करते हैं कि जबकि सोबोलेव नियमितता के लिए विनर मानदंड हाल ही में किम-ली-ली [31] और ब्योर्न [8] द्वारा प्राप्त किया गया था, बैरियर और ऑब्स्टेकल समस्याओं के माध्यम से नियमित बिंदुओं का व्यापक लक्षण वर्णन और पेरोन नियमितता के साथ इसकी समानता इस कार्य का नवीन योगदान है। परिणाम सामान्य कर्नेल के लिए मान्य हैं जो एलिप्टिसिटी शर्त को पूरा करते हैं, न कि केवल मानक फ्रैक्शनल $p$-लैपलेसियन के लिए।