Local-in-time strong solvability of Navier--Stokes type variational inequalities by Rothe's method

तकनीकी सारांश: रोथे के विधि (Rothe's Method) द्वारा नेवियर-स्टोक्स प्रकार के वेरिएशनल इनइक्वालिटीज की स्थानीय-समय (Local-in-Time) सुदृढ़ समाधान क्षमता

समस्या विवरण
यह शोध पत्र एक हिल्बर्ट स्पेस सेटिंग में पैराबोलिक वेरिएशनल इनइक्वालिटीज के एक वर्ग के लिए स्थानीय-समय सुदृढ़ समाधानों (local-in-time strong solutions) के अस्तित्व और अद्वितीयता को संबोधित करता है। समस्या को एक फलन $u: [0, T] \to V$ खोजने के रूप में तैयार किया गया है जहाँ $u(0) = u_0$ हो और लगभग प्रत्येक $t \in (0, T)$ के लिए, निम्नलिखित असमिका (inequality) सभी $v \in V$ के लिए सत्य हो:
$$(\partial_t u(t), v - u(t)) + a(u(t), v - u(t)) + \langle B(u(t), u(t)), v - u(t) \rangle + \varphi(v) - \varphi(u(t)) \geq (f(t), v - u(t))$$
यहाँ, $V \subset H \subset V'$ एक गेलैंड ट्रिपल (Gelfand triple) है। पद $a(\cdot, \cdot)$ एक रैखिक ऑपरेटर $A$ से जुड़े एक परिबद्ध (bounded) और कोएर्सिव (coercive) द्वरेखीय रूप (bilinear form) का प्रतिनिधित्व करता है। पद $B: V \times V \to V'$ एक "नेवियर-स्टोक्स प्रकार" की नॉन-लीनियरिटी (एक परिबद्ध द्वरेखीय ऑपरेटर) है, और $\varphi: V \to (-\infty, +\infty]$ एक उत्तल (convex), उचित (proper), निचली-अर्ध-सतत (lower-semicontinuous) फलन है जो मोनोटोन नॉन-लीनियरिटीज (जैसे बाधा प्रतिबंध या घर्षण सीमा स्थितियाँ) का प्रतिनिधित्व करता है।

प्राथमिक चुनौती "कैंसिलेशन प्रॉपर्टी" $\langle B(u, v), v \rangle = 0$ की कमी है, जो आमतौर पर ऊर्जा अनुमानों (energy estimates) को प्राप्त करने के लिए नेवियर-स्टोक्स समीकरणों के विश्लेषण में आवश्यक होती है। इस प्रॉपर्टी की अनुपस्थिति घर्षण प्रकार की लीक बाउंड्री कंडीशंस (LBCF) जैसे व्यापक सीमा स्थितियों वाले अनुप्रयोगों में उत्पन्न होती है, जहाँ अभेद्यता (impermeability) को सख्ती से लागू नहीं किया जाता है या जहाँ दबाव निर्धारित नहीं होता है।

कार्यप्रणाली (Methodology)
लेखक गैलरकिन विधि (स्थानिक विविक्तीकरण) के बजाय रोथे की विधि (कालिक विविक्तीकरण/temporal discretization) का उपयोग करते हैं। दृष्टिकोण में शामिल हैं:

1. सेमी-इम्प्लिसिट विविक्तीकरण (Semi-implicit Discretization): एक टाइम-स्टेपिंग स्कीम बनाई गई है जहाँ संवहन पद (convection term) $B$ को सेमी-इम्प्लिसिट रूप से माना जाता है। विशेष रूप से, संवहन वेग को पिछले टाइम स्टेप ($u_{n-1}$) से लिया जाता है, जबकि समाधान $u_n$ को $B$ के दूसरे तर्क और $\varphi$ में इम्प्लिसिट रूप से शामिल किया जाता है। यह पूर्णतः इम्प्लिसिट स्कीम्स या नॉन-लीनियरिटी को ट्रंकेट करने की आवश्यकता वाली स्कीम्स के विपरीत है।
2. स्थिर ओसीन-प्रकार का विश्लेषण (Stationary Oseen-Type Analysis): प्रत्येक टाइम स्टेप पर, समस्या एक स्थिर ओसीन-प्रकार की वेरिएशनल इनइक्वालिटी को हल करने में बदल जाती है। इन स्थिर समस्याओं की समाधान क्षमता और नियमितता (regularity) को स्यूडो-मोनोटोन ऑपरेटर थ्योरी और विशिष्ट नियमितता परिकल्पनाओं का उपयोग करके स्थापित किया जाता है।
3. ए प्रियोरी अनुमान (A Priori Estimates): विविक्त समाधानों (discrete solutions) के लिए समान अनुमान प्राप्त किए जाते हैं। महत्वपूर्ण रूप से, इन अनुमानों के व्युत्पन्न के लिए कैंसिलेशन प्रॉपर्टी के बिना नॉन-लीनियर टर्म्स के विकास को नियंत्रित करने के लिए समय अंतराल को एक स्थानीय अस्तित्व समय $T^* < T$ तक सीमित करने की आवश्यकता होती है।
4. सीमा पार करना (Limit Passage): जैसे-जैसे टाइम स्टेप $\Delta t \to 0$ होता है, कॉम्पैक्टनेस तर्क (Aubin–Lions theorem) और वीक कन्वर्जेंस तकनीकों का उपयोग करके निरंतर समस्या के सुदृढ़ समाधान को प्राप्त करने के लिए सीमा (limit) प्राप्त की जाती है।

मुख्य धारणाएँ और परिकल्पनाएँ
लेख पाँच विशिष्ट परिकल्पनाओं (H1–H5) के तहत परिणाम स्थापित करता है:

• (H1) $B$ पर एक शिथिल विकास स्थिति (relaxed growth condition) जो $V$ और $H$ के नॉर्म्स में एक बाउंड की अनुमति देती है (विशेष रूप से $|\langle B(u, v), v \rangle| \leq C \|u\|_V \|v\|_V \|v\|_H^\beta \|v\|_V^{1-\beta}$), जो सख्त कैंसिलेशन प्रॉपर्टी की जगह लेती है।
• (H2) वीक कन्वर्जेंस के संबंध में $B$ की स्यूडो-मोनोटोनिसिटी।
• (H3) एवं (H4) $B$ के नियमितता गुण जो $W$ (आमतौर पर $H^2$) जैसे उच्च नियमितता स्थान में एक तर्क होने पर $H$ में मैप करते हैं।
• (H5) एक स्थिर समस्या के लिए एलिप्टिक रेगुलैरिटी परिकल्पना: यदि $f \in H$ ऑपरेटर $A + \partial\varphi$ के लिए वेरिएशनल इनइक्वालिटी को संतुष्ट करता है, तो समाधान $u$ उच्च नियमितता स्थान $W$ में होता है। यह मानता है कि संगत स्थिर स्टोक्स समस्या $V$ से बेहतर नियमितता संरचना स्वीकार करती है।

मुख्य परिणाम
यह शोध पत्र स्थानीय-समय सुदृढ़ समाधान क्षमता के संबंध में दो प्राथमिक प्रमेय सिद्ध करता है:

1. प्रमेय 2.1: $f \in L^2(0, T; H)$ और $u_0 \in D(\varphi)$ के लिए, एक समय $T^* \in (0, T]$ और एक अद्वितीय समाधान $u$ मौजूद है कि:
   $$u \in H^1(0, T^*; H) \cap L^\infty(0, T^*; V) \cap L^2(0, T^*; W)$$
   यह वर्ग एक मैक्सिमल $L^2$-रेगुलरिटी सेटिंग के अनुरूप है।
2. प्रमेय 2.2: मजबूत धारणाओं ($f \in W^{1,1}(0, T; H)$ और $u_0 \in W \cap D(\partial\varphi)$ कम्पैटिबिलिटी कंडीशंस के साथ) के तहत, एक अद्वितीय समाधान $u$ मौजूद है कि:
   $$u \in W^{1,\infty}(0, T^*; H) \cap H^1(0, T^*; V) \cap L^\infty(0, T^*; W)$$
   यह वर्ग किसेलेव-लेडीज़ेनका (Kiselev–Ladyzhenskaya) रेगुलरिटी के अनुरूप है। समाधान सभी $t \in [0, T^*)$ के लिए वेरिएशनल इनइक्वालिटी को संतुष्ट करता है, जहाँ समय अवकलज (time derivative) के स्थान पर राइट-डेरिवेटिव (right-derivative) का उपयोग किया जाता है।

अनुप्रयोग और उदाहरण
इस ढांचे को कई ठोस समस्याओं पर लागू किया गया है जहाँ कैंसलेशन प्रॉपर्टी विफल होती है या अपेक्षित नहीं होती है:

• कन्वेक्शन-डिफ्यूजन ऑब्स्टेकल प्रॉब्लम्स: निर्धारित वेग क्षेत्रों सहित मामलों को शामिल करते हुए।
• नॉन-लीनियर न्यूमैन प्रॉब्लम्स: सबडिफरेंशियल बाउंड्री कंडीशंस (जैसे सिनोरिनी या घर्षण समस्याएं) से जुड़े।
• घर्षण-प्रकार की बाउंड्री कंडीशंस के साथ नेवियर-स्टोक्स: विशेष रूप से घर्षण प्रकार की लीक बाउंड्री कंडीशन (LBCF) और स्लिप कंडीशंस, जहाँ अभेद्यता की स्थिति को शिथिल किया जाता है।
• बिंगहम फ्लूइड्स (Bingham Fluids): परफेक्ट स्लिप बाउंडरी कंडीशंस के साथ।

महत्व और दावे
लेखक दावा करता है कि यह कार्य तीन विशिष्ट तरीकों से नेवियर-स्टोक्स प्रकार के वेरिएशनल इनइक्वालिटीज के सिद्धांत का विस्तार करता है:

1. विमीयता (Dimensionality): इसमें तीन-आयामी मामला ($d=3$) शामिल है, जबकि पिछले सुदृढ़ समाधान परिणाम अक्सर 2D कैंसलेशन प्रॉपर्टी पर निर्भर थे।
2. सीमा स्थितियाँ (Boundary Conditions): यह कैंसलेशन प्रॉपर्टी $\langle B(u, v), v \rangle = 0$ की आवश्यकता को शिथिल करता है, जिससे ऐसी बाउंड्री कंडीशंस (जैसे LBCF) संभव होती हैं जो इस प्रॉपर्टी को संतुष्ट नहीं करती हैं।
3. नियमितता (Regularity): यह समाधान के लिए उच्च स्थानिक नियमितता ($H^2$-प्रकार, यानी $W$) स्थापित करता है, बशर्ते कि संगत स्थिर स्टोक्स समस्या ऐसी नियमितता प्रदान करती हो।

शोध पत्र नोट करता है कि कैंसिलेशन की कमी के कारण गैलरकिन विधि के माध्यम से इन परिणामों को प्राप्त करना गैर-तुच्छ (non-trivial) है। रोथे की विधि के साथ सेमी-इम्प्लिसिट स्कीम का उपयोग इस विशिष्ट समस्या के लिए एक नवीन दृष्टिकोण के रूप में प्रस्तुत किया गया है, विशेष रूप से स्थानीय-समय तर्क जो डिस्क्रीट अनुमानों से प्राप्त होता है। यह कार्य सामान्य 3D मामले के लिए ग्लोबल अस्तित्व का दावा नहीं करता है, बल्कि यह स्वीकार करता है कि ग्लोबल अस्तित्व एक अलग मुद्दा है।