Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

तकनीकी सारांश: स्थिर लेवी ऑपरेटरों द्वारा संचालित अर्ध-रैखिक समीकरणों के लिए पृथक विलक्षणता और माप डेटा समस्याएँ

समस्या विवरण
यह शोध पत्र एक परिबद्ध डोमेन $D \subset \mathbb{R}^d$ ($d \ge 1$) में समान रूप से दीर्घवृत्तीय (uniformly elliptic) सख्त $2s$-स्थिर लेवी ऑपरेटरों ($s \in (0, 1)$) द्वारा संचालित अर्ध-रैखिक समीकरणों के धनात्मक समाधानों की जांच करता है। अध्ययन दो परस्पर जुड़े हुए समस्याओं पर केंद्रित है:

1. पृथक विलक्षणता समस्या (The Isolated Singularity Problem): छिद्रित डोमेन $D \setminus \{0\}$ में $-Lu = u^p$ के धनात्मक वितरण समाधानों का विश्लेषण करना, जहाँ $L$ एक सख्त $2s$-स्थिर लेवी प्रक्रिया के जनरेटर का है। ऑपरेटर $L$ को एक लेवी माप $\nu$ के माध्यम से परिभाषित किया गया है जो आवश्यक रूप से सममित नहीं है और एक समान गैर-क्षय (non-degeneracy) की स्थिति को संतुष्ट करता है।
2. माप डेटा डिरिचलेट समस्या (The Measure Data Dirichlet Problem): डोमेन $D$ में बाह्य डिरिचलेट समस्या $-Lu = u^p + k\mu$ का अध्ययन करना, जहाँ $u=0$ $D^c$ में है, और $\mu$ एक परिबद्ध धनात्मक बोरेल माप है तथा $k > 0$ एक पैरामीटर है।

प्राथमिक लक्ष्य सामान्य संरचनात्मक धारणाओं के तहत, जिनमें अनिसोट्रोपिक (anisotropic) और गैर-सममित स्थिर जनरेटर शामिल हैं, अस्तित्व, गुणात्मक गुणों और विलक्षणता की हटाने की क्षमता (removability) को स्थापित करना है।

कार्यप्रणाली और नवीनता
लेखक स्पष्ट रूप से फ्रैक्शनल लाप्लासियन $(-\Delta)^s$ पर मौजूदा साहित्य से अपने दृष्टिकोण को अलग करते हैं। फ्रैक्शनल लाप्लासियन के लिए मानक तकनीकें अत्यधिक निर्भर करती हैं:

• कैफेलली-सिलवेस्टर विस्तार (Caffarelli–Silvestre extension) पर (गैर-स्थानीय ऑपरेटर को स्थानीयकृत करने के लिए)।
• ग्रीन फंक्शन के स्पष्ट सूत्रों और तीक्ष्ण बिंदुवार अनुमानों (जैसे, $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$) पर।
• जंप मेजर घनत्व की सुगमता (smoothness) और विशिष्ट हार्नेक असमानताओं (Harnack inequalities) पर।

शोध पत्र नोट करता है कि सामान्य अनिसोट्रोपिक और गैर-सममित स्थिर लेवी ऑपरेटरों के लिए ये विशिष्ट गुण उपलब्ध नहीं हैं। इसके परिणामस्वरूप, लेखक एक कार्यप्रणाली विकसित करते हैं जो संभाव्य क्षमता सिद्धांत (probabilistic potential theory) और ऑपरेटर-सैद्धांतिक तकनीकों पर आधारित है, जो विस्तार विधि (extension method) और बिंदुवार ग्रीन फंक्शन अनुमानों से बचती है।

मुख्य कार्यप्रणाली संबंधी विशेषताएं शामिल हैं:

• टेल स्पेस ($T_\nu(V)$): $L$ की गैर-स्थानीय प्रकृति को संभालने के लिए, लेखक $T_\nu(V)$ नामक कार्यों के एक स्थान को पेश करते हैं जो यह सुनिश्चित करता है कि $Lu$ एक वितरण (distribution) के रूप में सुपरिभाषित है। यह स्थान परीक्षण फलन के समर्थन के बाहर समाधान की समाकलनीयता (integrability) को ध्यान में रखता है।
• रीज़ डिकम्पोज़िशन और डिनकिन का सूत्र (Riesz Decomposition and Dynkin's Formula): पृथक विलक्षणताओं के विश्लेषण के लिए, शास्त्रीय PDE नियमितता तर्कों के बजाय डिनकिन के सूत्र और अत्यधिक फलनों (excessive functions) के लिए रीज़ डिकम्पोज़िशन प्रमेय का उपयोग किया जाता है।
• डेनी के प्रमेय के माध्यम से कॉम्पैक्टनेस (Compactness via Deny's Theorem): बिना स्पष्ट सुपर-समाधानों के (जो बिंदुवार ग्रीन बाउंड्स की कमी के कारण अनुपलब्ध हैं) माप डेटा समस्या के लिए समाधानों का निर्माण करने के लिए, लेखक डेनी के प्रमेय को संभाव्य तर्कों के साथ जोड़कर गैर-रैखिक ग्रीन ऑपरेटर की कॉम्पैक्टनेस स्थापित करते हैं।
• फिक्स्ड पॉइंट और वेरिएशनल विधियाँ: छोटे मापदंडों के लिए अस्तित्व शॉर्डर के फिक्स्ड-पॉइंट प्रमेय के माध्यम से प्राप्त किया जाता है। सममित मामले में बहुलता (multiplicity) और स्थिरता परिणामों के लिए वेरिएशनल विधियों, विशेष रूप से ब्रेगमन डायवर्जेंस (Bregman divergences) वाले ऊर्जा फलनों और माउंटेन पास प्रमेय का उपयोग किया जाता है।

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

1. हटाने की क्षमता और विलक्षणता संरचना (Removability and Singularity Structure):

   • $D \setminus \{0\}$ में $-Lu = u^p$ के प्रत्येक धनात्मक वितरण समाधान $u$ का संबंध $T_\nu(D)$ से है और यह $D$ में $-Lu = u^p + k\delta_0$ को संतुष्ट करता है, जहाँ $k \ge 0$ है।
   • हटाने की सीमा (Removability Threshold): यदि $p \ge d/(d-2s)$ है, तो अनिवार्य रूप से $k=0$ होगा। विलक्षणता हटाने योग्य (removable) है।
   • अनंतस्पर्शी व्यवहार (Asymptotic Behavior): यदि $p < d/(d-2s)$ और $k > 0$ है, तो समाधान मूल बिंदु के पास ग्रीन फंक्शन $G_D(x, 0)$ की तरह व्यवहार करता है ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$)। लेखक नोट करते हैं कि आइसोट्रोपिक फ्रैक्शनल लाप्लासियन मामले के विपरीत, विलक्षण प्रोफाइल (singular profile) आवश्यक रूप से आइसोट्रोपिक ($|x|^{2s-d}$) नहीं होता है, बल्कि यह स्पेक्ट्रल मेजर और दृष्टिकोण की दिशा पर निर्भर करता है।

2. महत्वपूर्ण पैरामीटर और समाधान योग्यता (Critical Parameter and Solvability):

   • $-Lu = u^p + k\mu$ समस्या के लिए, एक महत्वपूर्ण पैरामीटर $k_\mu \in (0, \infty)$ मौजूद है।
   • उप-महत्वपूर्ण ($k < k_\mu$): एक न्यूनतम धनात्मक समाधान $u_k$ मौजूद है।
   • अति-महत्वपूर्ण ($k > k_\mu$): कोई धनात्मक समाधान मौजूद नहीं है।
   • महत्वपूर्ण ($k = k_\mu$): अधिकतम एक धनात्मक समाधान मौजूद हो सकता है।

3. सममित मामला (बहुलता और स्थिरता):

   • यह मानते हुए कि $L$ सममित है, $k < k_\mu$ के लिए न्यूनतम समाधान $u_k$ स्थिर (stable) है।
   • बहुलता (Multiplicity): प्रत्येक $k < k_\mu$ के लिए, एक दूसरा धनात्मक समाधान $v_k > u_k$ मौजूद है।
   • सीमा पर अस्तित्व (Existence at Threshold): $k = k_\mu$ पर एक समाधान मौजूद है, जो महत्वपूर्ण पैरामीटर पर अद्वितीयता (uniqueness) को दर्शाता है।

महत्व और दावे
शोध पत्र का दावा है कि इसका मुख्य योगदान केवल परिणामों में नहीं है, बल्कि उन विधियों में है जो विकसित की गई हैं ताकि व्यापक संरचनात्मक धारणाओं के तहत इन्हें स्थापित किया जा सके। लेखक तर्क देते हैं कि उनका विश्लेषण प्रदर्शित करता है कि प्रमुख घटनाएं जैसे हटाने की क्षमता और महत्वपूर्ण सीमाएं (critical thresholds) तब भी बनी रहती हैं जब ऑपरेटर में वे विशिष्ट विश्लेतिक गुण नहीं होते हैं जो फ्रैक्शनल लाप्लासियन साहित्य के लिए आवश्यक होते हैं (जैसे स्पष्ट ग्रीन फंक्शन, घनत्व की सुगमता)।

किल्ड रेज़ोलवेंट (killed resolvent) और संभाव्य क्षमता सिद्धांत का उपयोग करके, लेखक सामान्य स्थिर लेवी ऑपरेटरों द्वारा संचालित अर्ध-रैखिक गैर-स्थानीय समीकरणों के लिए एक व्यवस्थित ढांचा प्रदान करते हैं। यह कार्य लाप्लासियन और फ्रैक्शनल लाप्लासियन (लेखकों जैसे लियोन्स, ब्रेज़िस, वेरॉन और चेन-क्वास द्वारा विकसित) के लिए विकसित शास्त्रीय आइसोलेटेड सिंगुलैरिटी थ्योरी को अनिसोट्रोपिक और गैर-सममित सेटिंग में विस्तारित करता है, जो बिंदुवार अनुमानों की कमी को कार्यात्मक विश्लेषणात्मक और संभाव्य कॉम्पैक्टनेस तर्कों के माध्यम से दूर करता है।

शोध पत्र निष्कर्ष निकालता है कि "प्रमुख हटाने की क्षमता और सीमा संबंधी घटनाएं इन व्यापक संरचनात्मक धारणाओं के तहत बनी रहती हैं," जो गैर-स्थानीय विश्लेषण में विस्तार विधियों और बिंदुवार अनुमानों के एक मजबूत विकल्प के रूप में संभाव्य उपकरणों के उपयोग को मान्य करती है।