Existence of Positive Solutions to Semilinear Equations with Sublinear Nonlinearities and Compact Positivity-Improving Resolvent

तकनीकी सारांश: उप-रैखिक गैर-रैखिकता वाले अर्ध-रैखिक समीकरणों के धनात्मक समाधानों का अस्तित्व और कॉम्पैक्ट धनात्मकता-सुधारक रिज़ॉल्वेंट (Resolvent)

समस्या विवरण
यह शोध पत्र एक लुसिन मापन स्थान (Lusin measure space) $(E, \mathcal{A}, m)$ पर परिभाषित एक स्ट्रॉन्गली कंटीन्यूअस पॉजिटिव सेमग्रुप $(T_t)$ के जनरेटर $L$ द्वारा संचालित अर्ध-रैखिक समीकरण
$$-Lu = f(x,u) \quad \text{in } E,$$
के लिए पूर्णतः धनात्मक समाधानों के अस्तित्व को संबोधित करता है। यहाँ गैर-रैखिकता $f$ एक एम्पोटोटिवली सबलीनियर (asymptotically sublinear) प्रकार का कैराथोडरी (Carathéodory) फलन है। केंद्रीय चुनौती एक अमूर्त ऑपरेटर-सैद्धांतिक ढांचे के भीतर अस्तित्व मानदंडों को स्थापित करना है जो विशिष्ट ज्यामितीय गुणों, ऑपरेटर की समरूपता (symmetry), या रिज़ॉल्वेंट के अतिरिक्त नियमितीकरण गुणों (जैसे कि अल्ट्राकॉन्ट्रैक्टिविटी या स्मूथिंग) पर निर्भर नहीं करता है, जिनकी शास्त्रीय एलिप्टिक थ्योरी में मिनीमाइजेशन तकनीकों को लागू करने या समाधानों की बाध्यता (boundedness) सुनिश्चित करने के लिए आवश्यकता होती है।

कार्यप्रणाली (Methodology)
लेखक एक एकीकृत दृष्टिकोण विकसित करते हैं जो क्रम-सैद्धांतिक विधियों (विशेष रूप से उप- और अति-समाधानों की विधि) को ब्रेज़िस और ओसवाल्ड (Brézis and Oswald) से प्रेरित स्पेक्ट्रल विचारों के साथ जोड़ता है। कार्यप्रणाली कई विशिष्ट चरणों के माध्यम से आगे बढ़ती है:

1. स्पेक्ट्रल ढांचा (Spectral Framework): विश्लेषण इस धारणा पर आधारित है कि $-L$ का रिज़ॉल्वेंट कॉम्पैक्ट और धनात्मकता-सुधारक (positivity-improving) है। यह एक मुख्य आइजनपेयर $(\lambda_1, \phi_1)$ के अस्तित्व को सुनिश्चित करता है जहाँ $\phi_1 \gg 0$ है। समाधान का अस्तित्व $f(x,u)/u$ के शून्य ($a_0$) और अनंत ($a_\infty$) पर सामान्यीकृत निम्न और उच्च स्पर्शोन्मुखी ढाल (asymptotic slopes) द्वारा शासित होता है।
2. संभाव्य यथार्थकरण (Probabilistic Realization): एक महत्वपूर्ण तकनीकी चरण $L^p$-रिज़ॉल्वेंट को एक लुसिन स्थान पर एक राइट मार्कोव प्रक्रिया (right Markov process) के रिज़ॉल्वेंट के रूप में यथार्थकृत करना है। यह लेखकों को संभाव्यता सिद्धांत (potential theory) के उपकरणों, विशेष रूप से सुपरमेडियन (supermedian) और एक्सीसिव (excessive) फलनों के सिद्धांत का उपयोग करने की अनुमति देता है।
3. सब-मार्कोवियन न्यूनीकरण (Sub-Markovian Reduction): प्रारंभ में, विश्लेषण यह मानता है कि सेमग्रुप सब-मार्कोवियन ($T_t 1 \leq 1$) है। इस धारणा के तहत, लेखक स्थापित करते हैं:
   • सुपरमेडियन फलनों के अनुक्रमों के लिए एक डेनी-प्रकार (Deny-type) का कॉम्पैक्टनेस प्रमेय।
   • इटो-मेयर (Itô-Meyer) सूत्रों और संभाव्य निरूपणों का उपयोग करके अमूर्त सेटिंग में अनुकूलित एक काटो-प्रकार (Kato-type) की असमानता।
   • $u = \gamma + Rg(\cdot, u)$ के आकार के समीकरणों के लिए उप- और अति-समाधानों की एक विधि, जहाँ $\gamma$ एक सुपरमेडियन फलन है।
4. डूब ट्रांसफॉर्म (Doob Transform): सब-मार्कोवियन प्रतिबंध को हटाने के लिए, लेखक मुख्य आइजनफंक्शन $\phi_1$ पर आधारित एक डूब ट्रांसफॉर्म का उपयोग करते हैं। यह मूल सेमग्रुप को एक सब-मार्कोवियन सेमग्रुप में परिवर्तित करता है, जिससे प्राप्त परिणामों को सामान्य धनात्मकता-सुधारक सेटिंग में विस्तारित किया जा सके।
5. विशिष्टता (Uniqueness): भागफल $u \mapsto f(x,u)/u$ पर अतिरिक्त सख्त एकदिष्टता (strict monotonicity) की धारणा के तहत, स्पेक्ट्रल गुणों और एक विरोधाभास तर्क का उपयोग करके विशिष्टता सिद्ध की जाती है।

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

• अस्तित्व प्रमेय (ब्रेज़िस-ओसवाल्ड प्रकार): मुख्य परिणाम (प्रमेय 8.2) बताता है कि यदि विक्षेपित ऑपरेटरों के मुख्य आइजन मान निम्नलिखित स्थिति को संतुष्ट करते हैं:
  $$\lambda_1(a_0) < 0 < \lambda_1(a_\infty),$$
  जहाँ $\lambda_1(a_0)$ और $\lambda_1(a_\infty)$ क्रमशः $-L + a_0$ और $-L + a_\infty$ के मुख्य आइजन मान हैं, तो समीकरण (1.1) के लिए एक पूर्णतः धनात्मक समाधान विद्यमान है।
• सामान्यीकृत ढांचा (Generalized Framework): यह प्रमेय बिना किसी आवश्यकता के लागू होता है कि अंतर्निहित स्थान एक सुचारू डोमेन हो, ऑपरेटर सममित हो, या रिज़ॉल्वेंट में स्मूथिंग गुण हों। गैर-रैखिकता $f$ को शास्त्रीय उप-रैखिक सिद्धांत के समान ही व्यापकता के साथ माना गया है।
• विशिष्टता: यदि फलन $y \mapsto f(x,y)/y$ सख्त रूप से घटता हुआ और स्थानीय रूप से लिप्सचिट्ज़ (Lipschitz) है, तो धनात्मक समाधान अद्वितीय होता है (प्रमेय 9.3)।
• समाधानों की एकदिष्टता (Monotonicity of Solutions): शोध पत्र एक मानचित्र $S: \mathcal{F} \to L^p(E;m)$ के अस्तित्व को स्थापित करता है जो प्रत्येक स्वीकार्य गैर-रैखिकता $f$ को एक समाधान सौंपता है, और यह गैर-रैखिकताओं के क्रम को सुरक्षित रखता है (अनुवर्ती 8.3)।

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

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