Ultracontractivity of Heat semigroups in $\mathrm{L}^{2}\left( \Omega \right)$ with non-local Robin boundary conditions using Nash's inequality

तकनीकी सारांश: गैर-स्थानीय रॉबिन सीमा स्थितियों के साथ हीट सेमिग्रुप की अल्ट्राकॉन्ट्रैक्टिविटी (Ultracontractivity)

समस्या विवरण
यह शोध पत्र एक सीमित लिप्सचिट्ज़ डोमेन $\Omega \subset \mathbb{R}^d$ ($d > 2$) पर द्वितीय-क्रम के पैराबोलिक समीकरणों से जुड़े समाधान सेमिग्रुप की अल्ट्राकॉन्ट्रैक्टिविटी की जांच करता है। समीकरण इस प्रकार है:
$$\frac{\partial u}{\partial t} - \text{div}(A\nabla u) = 0$$
जिसके लिए सीमा स्थितियाँ निम्नलिखित हैं:
$$\nu \cdot A\nabla u + Bu = 0 \quad \partial\Omega \text{ पर}$$
यहाँ, $A$ एक समान रूप से एलिप्टिक (uniformly elliptic) मैट्रिक्स-मान वाले फलन का समूह है, और $B$, $L^2(\partial\Omega)$ पर कार्य करने वाला एक रैखिक ऑपरेटर है। मुख्य चुनौती यह स्थापित करना है कि जब $B$ एक सामान्य परिबद्ध (bounded) ऑपरेटर हो जो समाधान की धनात्मकता (positivity) को संरक्षित न भी करे, तब भी अल्ट्राकॉन्ट्रैक्टिविटी (वह गुण जिसके तहत सेमिग्रुप $L^2(\Omega)$ से $L^\infty(\Omega)$ में मैप करता है और एक विशिष्ट समय-क्षय दर प्रदर्शित करता है) कैसे प्राप्त की जा सकती है।

संदर्भ और प्रेरणा
यह कार्य [1] (ग्लक और मुई) के हालिया परिणामों से प्रेरित है, जिन्होंने यह स्थापित किया था कि अल्ट्राकॉन्ट्रैक्टिविटी तब होती है जब $B$, $L^1(\partial\Omega)$ और $L^\infty(\partial\Omega)$ दोनों पर परिबद्ध रूप से कार्य करता है। लेखक ध्यान देते हैं कि $L^1$ पर दी गई शर्त का उपयोग मुख्य रूप से एक निर्मित धनात्मक ऑपरेटर $B_2$ के माध्यम से डोमिनेशन तर्क (domination argument) को सुगम बनाने के लिए किया गया था। यह शोध पत्र $B$ के एक व्यापक वर्ग के लिए उसी अल्ट्राकॉन्ट्रैक्टिविटी परिणाम को प्राप्त करने का लक्ष्य रखता है, जो डोमिनेशन तकनीक के बजाय सीधे $H^1(\Omega)$ पर नैश की असमानता (Nash's inequality) का उपयोग करता है।

कार्यप्रणाली
प्रमाण रणनीति कार्यात्मक विश्लेषण (functional analysis) की तकनीकों जैसे कि सेसिक्विलिनियर फॉर्म (sesquilinear forms), $C_0$-सेमिग्रुप और इंटरपोलेशन असमानताओं पर आधारित है। कार्यप्रणाली निम्नानुसार आगे बढ़ती है:

1. सेसिक्विलिनियर फॉर्म के माध्यम से निरूपण:
   समस्या को $L^2(\Omega)$ पर $H^1(\Omega)$ डोमेन के साथ सेसिक्विलिनियर फॉर्म $a_B$ का उपयोग करके निरूपित किया गया है:
   $$a_B(u, v) = \int_\Omega A\nabla u \cdot \nabla v \, dx + \int_{\partial\Omega} B\gamma(u)\gamma(v) \, d\sigma$$
   चूंकि $a_B$ एकैक्रेटिव (accretive) नहीं हो सकता है (क्योंकि $B$ धनात्मकता को नष्ट कर सकता है), लेखक एक सहायक फॉर्म $\tilde{a}_B$ पेश करते हैं जिसमें एक स्थिरांक $\|B\|$ जोड़ा जाता है ताकि एकैक्रिविटी सुनिश्चित की जा सके। यह एक $C_0$-सेमिग्रुप $e^{-t\tilde{L}_B}$ उत्पन्न करने की अनुमति देता है, जिससे मूल सेमिग्रुप $e^{-tL_B}$ को संबंध $e^{-tL_B} = e^{t\|B\|}e^{-t\tilde{L}_B}$ के माध्यम से पुनः प्राप्त किया जाता है।

2. एडजोंट सेमिग्रुप की नियमितता (Regularity):
   एडजोंट सेमिग्रुप $e^{-tL_B^*}$ की $L^1(\Omega)$ से $L^2(\Omega)$ तक निरंतरता स्थापित करना एक महत्वपूर्ण चरण है। इसके लिए यह आवश्यक है कि $B$, $L^\infty(\partial\Omega)$ पर परिबद्ध रूप से कार्य करे। [2] के परिणामों का उपयोग करते हुए, जो $L^\infty$-कॉन्ट्रैक्टिविटी के संबंध में हैं, और हन-बानाच विस्तार प्रमेय (Hahn-Banach extension theorem) का उपयोग करते हुए, लेखक सिद्ध करते हैं कि यदि $B \in \mathcal{L}(L^2(\partial\Omega))$ $L^\infty(\partial\Omega)$ पर परिबद्ध रूप से कार्य करता है, तो $e^{-tL_B^*}$ का $L^1(\Omega)$ पर विस्तार एक परिबद्ध ऑपरेटर के रूप में होगा।

3. नैश की असमानता का अनुप्रयोग:
   तर्क का मुख्य भाग $H^1(\Omega)$ पर नैश की असमानता का उपयोग करता है, जो $L^2$, $L^1$, और ग्रेडिएंट नॉर्म्स के बीच संबंध स्थापित करती है:
   $$\|u\|_{L^2}^{2+4/d} \leq C_d \|u\|_{L^1}^{4/d} \|\nabla u\|_{L^2}^2$$
   एडजोंट समस्या के समाधान के $L^2$-नॉर्म के विकास पर इस असमानता को लागू करके, लेखक एक अवकल समीकरण (differential inequality) प्राप्त करते हैं। इस असमानता को हल करने से, $L^1$ डेटा पर एडजोंट सेमिग्रुप के $L^2$-नॉर्म के क्षय का अनुमान प्राप्त होता है:
   $$\|e^{-t\tilde{L}_B^*} u\|_{L^2} \leq C \exp(t\|B\|_{L^\infty \to L^\infty}) t^{-d/4} \|u\|_{L^1}$$

4. ड्युअलिटी तर्क (Duality Argument):
   अंततः, एक ड्युअलिटी तर्क का उपयोग किया जाता है। चूंकि एडजोंट सेमिग्रुप $L^1$ से $L^2$ को निरंतर रूप से मैप करता है, इसलिए मूल सेमिग्रुप $L^2$ से $L^\infty$ को समान नॉर्म बाउंड के साथ निरंतर रूप से मैप करता है।

मुख्य परिणाम
मुख्य प्रमेय (थ्योरम 3.1) बताता है कि यदि $\Omega$ एक सीमित लिप्सचिट्ज़ डोमेन है, $A$ समान रूप से एलिप्टिक है, और $B \in \mathcal{L}(L^2(\partial\Omega))$ $L^\infty(\partial\Omega)$ पर परिबद्ध रूप से कार्य करता है, तो सेमिग्रुप $(e^{-tL_B})_{t \geq 0}$ अल्ट्राकॉन्ट्रैक्टिव है। विशेष रूप से, किसी भी $u \in L^2(\Omega)$ और $t > 0$ के लिए:
$$\|e^{-tL_B} u\|_{L^\infty(\Omega)} \leq C \exp\left(t(\|B\|_{L^\infty \to L^\infty} + \|B\|)\right) t^{-d/4} \|u\|_{L^2(\Omega)}$$
यह परिणाम $t \in (0, 1]$ के लिए मान्य है (और समायोजित स्थिरांकों के साथ सभी $t>0$ के लिए भी)।

महत्व और दावे
यह शोध पत्र दावा करता है कि इसका प्राथमिक योगदान एक वैकल्पिक प्रमाण प्रदान करना है जो सीमा ऑपरेटर $B$ की धारणाओं को शिथिल (relax) करता है।

• शर्तों का शिथिल होना: [1] के दृष्टिकोण के विपरीत, जिसमें डोमिनेशन तर्क का उपयोग करने के लिए $B$ का $L^1(\partial\Omega)$ और $L^\infty(\partial\Omega)$ दोनों पर परिबद्ध होना आवश्यक था, यह शोध पत्र केवल यह मांग करता है कि $B$, $L^\infty(\partial\Omega)$ पर परिबद्ध हो (इसके अतिरिक्त $L^2(\partial\Omega)$ पर परिबद्ध होने के साथ)।
• पद्धतिगत परिवर्तन: लेखक प्रदर्शित करते हैं कि अल्ट्राकॉन्ट्रैक्टिविटी स्थापित करने के लिए एक धनात्मक ऑपरेटर के निर्माण के बिना सीधे नैश की असमानता का उपयोग किया जा सकता है।
• प्रभाव: लेखक नोट करते हैं कि चूंकि [1] में अल्ट्राकॉन्ट्रैक्टिविटी का परिणाम उनकी मुख्य खोज (इवेंचुअल पॉजिटिविटी पर थ्योरम 1.4) के लिए एकमात्र पूर्व शर्त था, इसलिए इस अल्ट्राकॉन्ट्रैक्टिविटी प्रमेय का सामान्यीकरण स्वतः ही ऑपरेटरों के इस व्यापक वर्ग के लिए इवेंचुअल पॉजिटिविटी परिणामों की वैधता को विस्तारित करता है।

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