Uniform $L^{\infty}$-Boundedness of Global Attractors for Reaction-Diffusion Equations with Neumann boundary condition in Uniformly Perturbed Non-Smooth Domains

तकनीकी सारांश: समान रूप से विचलित गैर-चिकनी डोमेन में प्रतिक्रिया-विसरण समीकरणों के लिए एकसमान $L^\infty$-बद्धता के वैश्विक आकर्षणकर्ता (Global Attractors)

समस्या विवरण
यह शोध पत्र एक समान रूप से विचलित गैर-चिकनी डोमेन $\{\Omega_\mu\}_{\mu \in \Lambda} \subset \mathbb{R}^n$ पर परिभाषित होमोजेनियस न्यूमैन सीमा स्थितियों (homogeneous Neumann boundary conditions) वाले प्रतिक्रिया-विसरण समीकरणों के परिवार के दीर्घकालिक स्पर्शोन्मुखी व्यवहार (long-time asymptotic behavior) की जांच करता है। नियंत्रित समीकरण है:
$$\begin{cases} u_t = \nabla \cdot (A(x)\nabla u) + f(x, u), & x \in \Omega_\mu, \, t > 0, \\ \frac{\partial u}{\partial \nu_A} = 0, & x \in \partial \Omega_\mu, \, t > 0, \\ u(x, 0) = u_0(x), & x \in \Omega_\mu. \end{cases}$$
मुख्य चुनौती डोमेन $\Omega_\mu$ में ज्यामितीय नियमितता (geometric regularity) का अभाव है। शास्त्रीय परिणाम, जो चिकने या समान रूप से लिप्सचिट्ज़ (Lipschitz) सीमाओं की धारणा करते हैं, उनके विपरीत, यह कार्य उन डोमेन पर विचार करता है जो अत्यधिक दोलनशील (oscillating) या फ्रैक्टल (fractal) जैसे हो सकते हैं। लक्ष्य समस्या की सु-समाधानता (well-posedness) स्थापित करना, वैश्विक आकर्षणकर्ताओं (global attractors) का अस्तित्व सुनिश्चित करना और महत्वपूर्ण रूप से, यह सिद्ध करना है कि ये आकर्षणकर्ता $\Omega_\mu$ में $L^\infty(\Omega_\mu)$ में समान रूप से बद्ध (uniformly bounded) हैं और डोमेन विक्षेपण पैरामीटर $\mu \to 0$ के सापेक्ष ऊपरी अर्ध-सतत (upper semicontinuous) हैं।

कार्यप्रणाली और ढांचा
विश्लेषण एक कार्यात्मक विश्लेषणात्मक ढांचे (functional analytic framework) पर आधारित है जो P. W. Jones द्वारा प्रस्तुत समान डोमेन (uniform domains) के सिद्धांत का उपयोग करके शास्त्रीय चिकनाई की आवश्यकताओं से बचता है।

1. ज्यामितीय ढांचा (Jones Domains): लेखक मानते हैं कि डोमेन एक समान जोन्स स्थिति (Uniform Jones Condition) को संतुष्ट करते हैं। यह स्थिति डोमेन में "पिंचिंग" (pinching) या क्षीण शंक्वाकार (degenerate cusps) को रोकने के लिए है, जो यह सुनिश्चित करती है कि डोमेन के किन्हीं भी दो बिंदुओं को एक ऐसे वक्र द्वारा जोड़ा जा सकता है जो बिंदुओं के बीच की दूरी के सापेक्ष सीमा (boundary) से पर्याप्त दूर रहता है। यह ज्यामितीय गुण एक समान विस्तार ऑपरेटर (uniform extension operator) $E_\mu: W^{k,p}(\Omega_\mu) \to W^{k,p}(\mathbb{R}^n)$ के अस्तित्व की गारंटी देता है जिसके नॉर्म (norms) $\mu$ के सापेक्ष स्वतंत्र हैं।
2. कार्यात्मक स्थान (Functional Spaces): समस्या को एक भिन्नात्मक बानाच स्पेस (fractional Banach spaces) के पैमाने में एक अमूर्त कॉची समस्या (abstract Cauchy problem) के रूप में पुनर्गठित किया गया है। लेखक एक गेलफैंड ट्रिपल (Gelfand triple) $V \hookrightarrow H \hookrightarrow V'$ का उपयोग करते हैं जहाँ $V = H^1(\Omega_\mu)$ और $H = L^2(\Omega_\mu)$ है। गैर-चिकने डोमेन में $H^2$ नियमितता की कमी को संभालने के लिए, विश्लेषण एक शिफ्ट किए गए एलिप्टिक ऑपरेटर $A$ से जुड़े भिन्नात्मक घात स्थानों (fractional power spaces) $X_\alpha = D(A^\alpha)$ में किया जाता है।
3. सु-समाधानता और वैश्विक अस्तित्व:
   • स्थानीय अस्तित्व (Local Existence): गैर-रैखिकता $f$ जो उप-क्रांतिक विकास (subcritical growth) शर्तों को पूरा करती है, उसे समायोजित करने के लिए एक शिफ्टेड भिन्नात्मक पैमाने $X_\delta$ में सेक्टरियल ऑपरेटरों (sectorial operators - Henry's framework) के सिद्धांत का उपयोग करके स्थापित किया गया है।
   • वैश्विक अस्तित्व (Global Existence): गैर-रैखिकता की विपाश्विकता (dissipativity) ($f(s)s \leq -\beta s^2 + C_0$) का उपयोग करके $L^q$ अनुमान (जहाँ $q = 2n/(n-2)$ क्रांतिक सोबोलेव घातांक है) प्राप्त करके सिद्ध किया गया है। ये अनुमान परिमित-समय विस्फोट (finite-time blow-up) को रोकते हैं।
4. समान $L^\infty$ बद्धता: वैश्विक आकर्षणकर्ताओं के लिए समान $L^\infty$ बद्धता प्राप्त करना मुख्य तकनीकी उपलब्धि है। इसे मोसर-अलीकाओस बूटस्ट्रैप इटरेशन (Moser-Alikamos bootstrap iteration) के माध्यम से प्राप्त किया गया है। लेखक निम्नलिखित को संयोजित करते हैं:
   • समान सोबोले एम्बेडिंग्स (जो जोन्स स्थिति द्वारा गारंटीकृत हैं)।
   • रैखिक सेमग्रुप (linear semigroup) के लिए समान अल्ट्राकॉन्ट्रैक्टिविटी (ultracontractivity) अनुमान।
   • समान ग्रोनवाल लेम्मा (Uniform Gronwall Lemma)।
   • स्थिरांकों (constants) की सावधानीपूर्वक ट्रैकिंग ताकि यह सुनिश्चित हो सके कि इटरेशन स्टेप्स अनंत तक पहुँचने पर वे विविध न हों, बावजूद इसके कि ज्यामिति बदल रही है।
5. ऊपरी अर्ध-सततता (Upper Semicontinuity): $\mu \to 0$ के सापेक्ष आकर्षणकर्ताओं की निरंतरता को सिद्ध करने के लिए, लेखक डोमेन के आयतन अभिसरण (volume convergence) की धारणा लेते हैं ($|\Omega_\mu \triangle \Omega_0| \to 0$)। वे विभिन्न स्थानों में फलनों की तुलना करने के लिए कनेक्टिंग मैप्स (connecting maps) (विस्तार और फिर प्रतिबंध) का निर्माण करते हैं। प्रमाण निम्नलिखित पर निर्भर करता है:
   • संबद्ध द्विपद रूपों (bilinear forms) का मोस्को अभिसरण (Mosco convergence)।
   • परिवर्तित बानाच स्थानों के लिए सामान्यीकृत ट्रोटर-काटो प्रमेय (generalized Trotter-Kato theorems) का उपयोग करके मजबूत रेसोलवेंट (resolvent) और सेमग्रुप अभिसरण स्थापित करना।
   • $H^1(\mathbb{R}^n)$ में विस्तारित आकर्षणकर्ताओं के संघ का पूर्व-संकोंचन (precompactness)।

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

• गैर-चिकने डोमेन में विस्तार: यह शोध पत्र मानक ज्यामितीय धारणाओं को महत्वपूर्ण रूप से कमजोर करता है। यह उन डोमेन के लिए वैश्विक आकर्षणकर्ताओं की समान $L^\infty$-बद्धता के सिद्धांत को विस्तारित करता है जो अनिवार्य रूप से लिप्सचिट्ज़ नहीं हैं, जिनमें अत्यधिक दोलनशील या फ्रैक्टल सीमाएं शामिल हैं, बशर्ते वे समान जोन्स स्थिति को संतुष्ट करते हों।
• समान $L^\infty$ अनुमान: लेखक यह सिद्ध करते हैं कि आकर्षणकर्ताओं का परिवार $\{\mathcal{A}_\mu\}$ $\mu$ से स्वतंत्र एक स्थिरांक द्वारा $\Omega_\mu$ में $L^\infty$ में समान रूप से बद्ध है। यह एक गैर-तुच्छ परिणाम है क्योंकि मानक सोबोले एम्बेडिंग स्थिरांक अक्सर डोमेन की ज्यामिति पर निर्भर करते हैं; यहाँ, जोन्स स्थिति यह सुनिश्चित करती है कि ये स्थिरांक समान रहें।
• मजबूत टोपोलॉजी में ऊपरी अर्ध-सततता: यह शोध पत्र डोमेन के आयतन अभिसरण की धारणा के तहत, मजबूत $H^1(\Omega_\mu)$ टोपोलॉजी में आकर्षणकर्ताओं के परिवार के लिए ऊपरी अर्ध-सततता स्थापित करता है। यह सीमाओं के मजबूत ज्यामितीय अर्थ (जैसे सीमाओं की हॉसडॉर्फ दूरी) में अभिसरण की आवश्यकता के बिना सिद्ध किया गया है।
• ढांचे की मजबूती: कार्यप्रणाली यह प्रदर्शित करती है कि अनुकूलतम क्रांतिक सोबोले घातांक (optimal critical Sobolev exponent) को समान रूप से संरक्षित किया जाता है, जिससे गैर-रैखिकता के विकास को उप-इष्टतम श्रेणियों (suboptimal ranges) तक सीमित करने की आवश्यकता समाप्त हो जाती है (जो वास्तविक 'कस्प्स' वाले डोमेन में एक सामान्य आवश्यकता है)।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह एक कठोर कार्यात्मक विश्लेषण ढांचा प्रदान करता है जो टोपोलॉजिकल बाधाओं (topological bottlenecks) जैसी ज्यामितीय गिरावटों से स्वतंत्र है। समान जोन्स स्थिति को अपनाकर, लेखक अनुकूलतम क्रांतिक सोबोले घातांक को समान रूप से सुरक्षित रखते हैं। यह मूल $n$-आयामी सेटिंग में मानक बूटस्ट्रैप तकनीकों को लागू करने की अनुमति देता है, बिना आयामी न्यूनीकरण (dimensional reduction) की आवश्यकता के।

इसका महत्व इस क्षमता में निहित है कि यह "अजीब" ज्यामिति (जैसे फ्रैक्टल या अत्यधिक दोलनशील सीमाएं) पर प्रतिक्रिया-विसरण प्रणालियों का विश्लेषण कर सकता है, जबकि समाधान के परिमाण ($L^\infty$) पर मजबूत नियंत्रण और दीर्घकालिक गतिकी (long-term dynamics) की स्थिरता बनाए रखता है। लेखक नोट करते हैं कि यह दृष्टिकोण शास्त्रीय कार्यात्मक उपकरणों (जैसे ट्रेस ऑपरेटर) के पतन से बचता है जो तब होता है जब सीमा सतह माप (boundary surface measures) अत्यधिक बढ़ जाते हैं।

उल्लिखित भविष्य के परिप्रेक्ष्य
शोध पत्र भविष्य के कार्य के लिए दो विशिष्ट दिशाओं को रेखांकित करता है:

1. आंतरिक टोपोलॉजिकल अभिसरण: आकर्षणकर्ता निरंतरता को मापने के लिए केवल बाह्य आयतन अभिसरण से आगे बढ़कर ग्रोमोव-हासडॉर्फ दूरी (Gromov-Hausdorff distance) का उपयोग करना, जो उन डोमेन के लिए भी प्रभावी होगा जो कठोर रूपांतरणों (rigid transformations) तक समान हैं।
2. सीमा-संचालित गतिकी (Boundary-Driven Dynamics): रोबिन सीमा स्थितियों (Robin boundary conditions) और सीमा पर गैर-रैखिक विपाश्विकता (nonlinear dissipation on the boundary) वाले समस्याओं तक विश्लेषण का विस्तार करना। लेखक नोट करते हैं कि इसके लिए सीमा-भारित रूपों के लिए मोस्को अभिसरण को पुनर्व्याख्या करने और संभवतः फ्रैक्टल सीमाओं पर सतह मापों को संभालने के लिए सख्त ज्यामितीय धारणाओं (जैसे अहलफोर्स रेगुलरिटी) की आवश्यकता होगी।