Regularizing effects for an elliptic system of singular equations

तकनीकी सारांश: एक दीर्घिक विलक्षण समीकरणों के निकाय के लिए नियमितीकरण प्रभाव (Regularizing Effects)

समस्या विवरण
यह शोध पत्र एक सीमित डोमेन $\Omega \subset \mathbb{R}^d$ ($d \geq 3$) पर परिभाषित दो युग्मित (coupled), विलक्षण (singular), अर्ध-रैखिक दीर्घिक समीकरणों (semi-linear elliptic equations) के एक निकाय की जांच करता है। निकाय इस प्रकार है:
$$\begin{cases} -\text{div}(A(x)Du) + v^{1-\theta}u^{r-1} = \frac{f(x)}{u^\gamma} & \text{in } \Omega \\ -\text{div}(A(x)Dv) = \frac{u^r}{v^\theta} & \text{in } \Omega \\ u, v > 0 \text{ in } \Omega, \quad u=v=0 \text{ on } \partial\Omega \end{cases}$$
जहाँ $A(x)$ एक सममित (symmetric), समान रूप से दीर्घिक (uniformly elliptic) आव्यूह है। पैरामीटर $r \geq 2$, $\gamma \in (0, 1)$, और $\theta \in [0, 1)$ को संतुष्ट करते हैं। डेटा $f$ $L^m(\Omega)$ में एक गैर-ऋणात्मक फलन है।

इस निकाय को "दोहरा विलक्षण" (doubly singular) कहा जाता है क्योंकि दोनों समीकरणों में विलक्षण पद (singular terms) शामिल हैं: पहले समीकरण में प्रतिक्रिया पद ($u^{-\gamma}$) में एक विलक्षणता है, और दूसरे समीकरण में स्रोत पद ($v^{-\theta}$) में एक विलक्षणता है। यह संरचना श्रोडिंगर-मैक्सवेल (Schrödinger-Maxwell) प्रणाली के समान है, लेकिन इसमें दोनों घटकों में विलक्षणताएँ पेश की गई हैं। प्राथमिक उद्देश्य परिमित ऊर्जा (finite energy) वाले धनात्मक समाधानों का अस्तित्व स्थापित करना है और यह निर्धारित करना है कि डेटा की समाकलनीयता (integrability) (विशेष रूप से घातांक $m$) कैसे "नियमितीकरण प्रभावों" (regularizing effects) को प्रेरित करती है, जिससे एकल विलक्षण समीकरणों के सिद्धांत के लिए आमतौर पर गारंटीकृत समाकलनीयता से उच्च समाकलनीयता वाले समाधान प्राप्त होते हैं।

कार्यप्रणाली (Methodology)
लेखक एक सन्निकटन योजना (approximation scheme) को पूर्व अनुमानों (a priori estimates) के साथ नियोजित करता है, जो फिक्स्ड-पॉइंट तर्क (fixed-point arguments) और प्रत्यक्ष ऊर्जा अनुमानों का उपयोग करके परिवर्तनशील विधियों (variational methods) से बचता है।

1. सन्निकटन योजना (Approximation Scheme): विलक्षण पदों को डेटा $f$ को काट कर (truncating) ($f_n = \min\{f, n\}$) और विलक्षण हरों (singular denominators) को बदलकर ($(u + 1/n)^\gamma$ के रूप में $u^\gamma$ और $(v + 1/n)^\theta$ के रूप में $v^\theta$) नियमित किया जाता है। इससे एक अनुक्रमिक गैर-विलक्षण निकाय (10) प्राप्त होता है।
2. अनुमानित समाधानों का अस्तित्व: प्रत्येक $n$ के लिए, एक अद्वितीय, परिबद्ध, धनात्मक कमजोर समाधान $(u_n, v_n)$ स्थापित किया जाता है। यह $H^1_0(\Omega)$ पर एक मानचित्र (map) को परिभाषित करके और शॉर्डर के फिक्स्ड-पॉइंट प्रमेय (Schauder's fixed point theorem) को लागू करके प्राप्त किया जाता है। प्रमाण स्थिर गुणांकों (frozen coefficients) के साथ अलग-अलग समाधान क्षमता और परिणामी मानचित्र की कॉम्पैक्टनेस (compactness) पर निर्भर करता है।
3. पूर्व अनुमान (A Priori Estimates): विश्लेषण का मुख्य भाग $f$ की समाकलनीयता वर्ग $m$ के आधार पर अनुक्रम $(u_n, v_n)$ पर समान अनुमान प्राप्त करना है।
   • ऊर्जा अनुमान (Energy Estimates): $u_n$ और $v_n$ के साथ समीकरणों का परीक्षण करके, लेखक $H^1_0(\Omega)$ में परिबद्धता स्थापित करता है।
   • समाकलनीयता अनुमान (Integrability Estimates): $u_n^\delta$ और $v_n^\delta$ के रूप में परीक्षण फलनों का उपयोग करके, लेखक $L^p(\Omega)$ स्थानों में सीमाओं को व्युत्पन्न करता है। ये सीमाएँ $m, \gamma, \theta,$ और $r$ के बीच संबंध पर महत्वपूर्ण रूप से निर्भर करती हैं।
4. सीमा की ओर प्रस्थान (Passage to the Limit): पूर्व अनुमानों (a priori estimates) द्वारा प्रदान की गई कॉम्पैक्टनेस और प्रमेय 3.4 (सीमित राडॉन मापों वाले अनुक्रमों के ग्रेडिएंट्स की अभिसरणता) का उपयोग करते हुए, एक उप-अनुक्रम एक सीमा $(u, v)$ की ओर अभिसरित होता है। लेखक विलक्षण पदों की अभिसरणता को संभालने के लिए फैटौ के लेम्मा (Fatou's lemma), डोमिनेटेड कन्वर्जेंस प्रमेय और विशिष्ट ट्रंकेशन तकनीकों का सावधानीपूर्वक उपयोग करता है ताकि सीमा एक कमजोर या परिमित-ऊर्जा अर्थ में निकाय को संतुष्ट करे।

प्रमुख योगदान और परिणाम
यह शोध पत्र डेटा की समाकलनीयता $m$ के विभिन्न श्रेणियों के लिए समाधानों $(u, v) \in H^1_0(\Omega) \times H^1_0(\Omega)$ के अस्तित्व और नियमितता के परिणाम प्रदान करता है:

• मामला $m \geq d/2$:

  • यदि $m > d/2$, तो समाधान $u$ परिबद्ध है ($u \in L^\infty(\Omega)$), और $v$ भी परिबद्ध है।
  • यदि $m = d/2$, तो $u$ प्रत्येक $L^p(\Omega)$ के लिए है जहाँ $p < \infty$, और $v \in L^\infty(\Omega)$ है।
  • ये परिणाम एकल विलक्षण समीकरणों और गैर-विलक्षण श्रोडिंगर-मैक्सवेल प्रणालियों के लिए ज्ञात परिबद्धता प्रमेयों को पुनः प्राप्त और विस्तारित करते हैं।

• मामला $m < d/2$ (डेटा ड्यूल स्पेस में):

  • जब $f$ पहले समीकरण के ड्यूल स्पेस में होता है, विशेष रूप से $(\frac{2^*}{1-\gamma})' \leq m < d/2$, तो निकाय एक परिमित-ऊर्जा समाधान स्वीकार करता है।
  • समाधान $u$ उच्च समाकलनीयता प्राप्त करता है, विशेष रूप से $u \in L^{m^{**}(1+\gamma)}(\Omega)$।
  • यदि $r=2$ है, तो $v$ की नियमितता को $m, \theta,$ और $\gamma$ के आधार पर स्पष्ट रूप से वर्णित किया गया है। आयाम और पैरामीटरों पर विशिष्ट शर्तों के तहत, संपूर्ण डोमेन $\Omega$ में $u$ की सख्त धनात्मकता स्थापित की जाती है।

• मामला $m < d/2$ (डेटा ड्यूल स्पेस के बाहर):

  • एक महत्वपूर्ण योगदान उन डेटा $f$ के उपचार का है जो पहले समीकरण के ड्यूल स्पेस में नहीं हैं (अर्थात, $m < (\frac{2^*}{1-\gamma})'$)।
  • प्रमेय 2.7: यदि $(\frac{r}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma})'$ और $r > 2^*$ है, तो एक परिमित-ऊर्जा समाधान मौजूद है जिसमें $u \in L^r(\Omega)$ है।
  • प्रमेय 2.8: यदि $(\frac{r+1}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma})'$, $r > 2^*-1$, और $\theta=0$ है, तो एक समाधान मौजूद है जिसमें $u \in L^{r+1}(\Omega)$ है।
  • महत्व: शोध पत्र नोट करता है कि एकल विलक्षण समीकरणों के लिए, परिमित-ऊर्जा समाधान आमतौर पर केवल तभी गारंटीकृत होते हैं जब डेटा ड्यूल स्पेस में हो। यहाँ, युग्मन संरचना (coupling structure) यहाँ तक अस्तित्व की अनुमति देती है जब $r$ पर्याप्त रूप से बड़ा हो, भले ही $f$ कम नियमित हो।

• उच्च समाकलनीयता (प्रमेय 2.10):

  • स्थिति $(r+\gamma)' \leq m < d/2$ और $r \geq \frac{d}{d-2} - \gamma$ के तहत, समाधान $u$ उच्च समाकलनीयता प्रदर्शित करता है, जो $L^{r+1+\gamma}(\Omega)$ में है। यह एक "नियमितीकरण प्रभाव" को प्रदर्शित करता है जहाँ पहले समीकरण की विलक्षणता, युग्मन के साथ मिलकर, समाधान की समाकलनीयता को मानक एकल समीकरणों की तुलना में बेहतर बनाती है।

महत्व और दावे
शोध पत्र एकल दीर्घिक समीकरणों और गैर-विलक्षण प्रणालियों के मौजूदा परिणामों में सुधार करने का दावा करता है। विशेष रूप से:

1. अस्तित्व सिद्धांत का विस्तार: यह डेटा $f$ के लिए अस्तित्व स्थापित करता है जो पहले समीकरण के ड्यूल स्पेस के बाहर है, एक ऐसी स्थिति जहाँ एकल विलक्षण समीकरण आमतौर पर ऐसे समाधान स्वीकार करने में विफल रहते हैं।
2. नियमितता लाभ: यह मात्रात्मक रूप से बताता है कि $f$ की समाकलनीयता कैसे समाधान की उच्च समाकलनीयता में परिवर्तित होती है, $m$ की विभिन्न श्रेणियों के लिए स्पष्ट घातांक प्रदान करती है।
3. दोहरा विलक्षण संदर्भ: यह उस विशिष्ट चुनौतियों को संबोधित करता है जहाँ दोनों समीकरण विलक्षण हैं, जो एकल विलक्षण समीकरणों या केवल एक विलक्षण घटक वाले प्रणालियों की तुलना में कम खोजा गया क्षेत्र है।
4. कार्यप्रणाली की कठोरता: कार्य एक मजबूत ढांचा प्रदान करता है जो परिवर्तनशील संरचना (variational structure) की कमी और दोनों समीकरणों में विलक्षणताओं की उपस्थिति को संभालने के लिए सन्निकटन और पूर्व अनुमानों का उपयोग करता है, जो ग्रेडिएंट्स की अभिसरण और समाधानों की धनात्मकता सुनिश्चित करता है, बिना स्ट्रॉन्ग मैक्सिमम प्रिंसिपल पर निर्भर हुए जो सभी पैरामीटर विकल्पों के लिए लागू नहीं हो सकता है।

लेखक इस बात पर जोर देते हैं कि परिणाम कठोर पूर्व अनुमानों और फिक्स्ड-पॉइंट तर्क के माध्यम से प्राप्त किए गए हैं, जो सीमा $\partial\Omega$ की नियमितता पर किसी भी अतिरिक्त धारणा से बचते हैं, बल्कि $H^1_0(\Omega)$ के $H^1(\mathbb{R}^d)$ में आइसोमेट्रिक एम्बेडिंग (isometric embedding) पर निर्भर करते हैं।