A priori error estimates for optimal control problems governed by the transient Stokes equations and subject to state constraints pointwise in time

तकनीकी सारांश: क्षणिक स्टोक्स समीकरणों द्वारा नियंत्रित अनुकूलतम नियंत्रण समस्याओं के लिए ए प्रियोरी (A Priori) त्रुटि अनुमान

समस्या का निरूपण
यह शोध पत्र क्षणिक स्टोक्स समीकरणों द्वारा नियंत्रित एक अवस्था-प्रतिबंधित (state-constrained) अनुकूलतम नियंत्रण समस्या की जांच करता है। इसका उद्देश्य एक लागत फलन (cost functional) को न्यूनतम करना है, जिसमें वांछित अवस्था $u_d$ और $u$ के बीच की $L^2$-दूरी के साथ-साथ नियंत्रण $q$ के लिए एक नियमितीकरण पद (regularization term) शामिल है। यह निम्नलिखित के अधीन है:

1. अवस्था समीकरण (State Equation): समरूप प्रारंभिक डेटा (homogeneous initial data) और शून्य डिरिचलेट सीमा स्थितियों के साथ क्षणिक स्टोक्स समीकरण।
2. नियंत्रण बाधाएं (Control Constraints): नियंत्रण पर बिंदुवार (pointwise) सीमाएं (अर्थात, $q_a \leq q \leq q_b$)।
3. अवस्था बाधाएं (State Constraints): अवस्था के एक $L^2(\Omega)$ फलन पर एक प्रतिबंध, जिसे समय में एक बिंदुवार सीमा को संतुष्ट करने के लिए आवश्यक है। विशेष रूप से, $\int_\Omega u(t,x) \cdot w(x) \, dx \leq \beta$, प्रत्येक $t \in [0, T]$ के लिए।
   डोमेन $\Omega \subset \mathbb{R}^d$ ($d=2,3$) को एक उत्तल बहुभुजीय या बहुफलकीय डोमेन माना गया है। लेखक नोट करते हैं कि जबकि विश्लेषण होमोजेनियस प्रारंभिक डेटा पर केंद्रित है, परिणाम विषम (inhomogeneous) मामले में भी विस्तारित होते हैं।

कार्यप्रणाली (Methodology)
विश्लेषण निम्नलिखित चरणों के माध्यम से आगे बढ़ता है:

1. सतत विश्लेषण (Continuous Analysis):

   • लेखक एक स्लेटर स्थिति (Slater condition) के तहत अवस्था समीकरण की सुव्यवस्थितता (well-posedness) और एक अद्वितीय अनुकूलतम नियंत्रण की उपस्थिति स्थापित करते हैं।
   • वे प्रथम-क्रम आवश्यक अनुकूलन स्थितियों (first-order necessary optimality conditions) को व्युत्पन्न करते हैं, जिसमें एक अवस्था समीकरण, एक एडजॉइंट समीकरण और अवस्था बाधा से संबंधित एक लैग्रेंज मल्टीप्लायर $\bar{\mu} \in (C(\bar{I}))^*$ शामिल है।
   • सतत विश्लेषण का एक महत्वपूर्ण हिस्सा अनुकूलतम नियंत्रण $\bar{q}$ और एडजॉइंट अवस्था $\bar{z}$ के लिए नियमितता (regularity) परिणामों को प्राप्त करने के लिए समर्पित है। लैग्रेंज मल्टीप्लायर के कारण होने वाले माप-मूल्य (measure-valued) राइट-हैंड साइड के साथ एडजॉइंट समीकरण की संरचना का विश्लेषण करके, लेखक सिद्ध करते हैं कि $\bar{q}$ बेहतर नियमितता प्रदर्शित करता है, विशेष रूप से $\bar{q} \in L^2(I; H^1(\Omega)^d) \cap C(\bar{I}; L^2(\Omega)^d)$, और भार फलन $w$ पर कुछ शर्तों के तहत, $\bar{q}$ समय में निरंतर होता है।

2. विविक्तीकरण योजना (Discretization Scheme):

   • स्थानिक विविक्तीकरण (Spatial Discretization): अवस्था समीकरण को स्थान में इन्फ-सफ (inf-sup) स्थिर परिमित तत्वों (जैसे, टेलर-हुड या MINI तत्व) का उपयोग करके विविक्त किया जाता है। विश्लेषण एक विविक्त रूप से अपसरण-मुक्त (discretely divergence-free) सूत्रीकरण का उपयोग करता है।
   • कालिक विविक्तीकरण (Temporal Discretization): समय विविक्तीकरण के लिए क्रम 0 का एक विच्छिन्न गैलर्किन (discontinuous Galerkin - dG) विधि (समय में खंडवार स्थिर) का उपयोग किया जाता है।
   • नियंत्रण विविक्तीकरण (Control Discretization): शोध पत्र दो परिदृश्यों का विश्लेषण करता है:
     • वैरिएशनल विविक्तीकरण (Variational Discretization): नियंत्रण स्थान को पूर्व-निर्धारित रूप से विविक्त नहीं किया जाता है; नियंत्रण को अनुकूलन स्थितियों के माध्यम से निहित रूप से निर्धारित किया जाता है।
     • पूर्णतः विविक्त (Fully Discrete): नियंत्रण को स्थान और समय दोनों में खंडवार स्थिर फलनों का उपयोग करके विविक्त किया जाता है।

3. त्रुटि विश्लेषण (Error Analysis):

   • लेखक क्षणिक स्टोक्स समीकरणों के लिए $L^\infty(I; L^2(\Omega))$ नॉर्म में पहले से स्थापित 'बेस्ट-एप्रोक्सिमेशन' प्रकार के त्रुटि अनुमानों का लाभ उठाते हैं।
   • वे अनुकूलतम नियंत्रण और अवस्था के लिए त्रुटि अनुमान प्राप्त करने के लिए निरंतर समस्या की तुलना वैरिएशनल विविक्त समस्या से, और तत्पश्चात पूर्णतः विविक्त समस्या से करते हैं।
   • एक प्रमुख तकनीकी चुनौती स्थानिक मेश आकार $h$ और समय अंतराल $k$ के बीच जुड़ाव (coupling) है। लेखक एक सौम्य जुड़ाव शर्त (Assumption 3) लागू करते हैं ताकि यह सुनिश्चित हो सके कि विविक्त स्लेटर स्थिति बनी रहे, जो विविक्त समाधानों के अस्तित्व और त्रुटि विश्लेषण की वैधता के लिए आवश्यक है।

प्रमुख योगदान और परिणाम
इस शोध पत्र का प्राथमिक परिणाम अनुकूलतम नियंत्रण $\bar{q}$ और अवस्था $\bar{u}$ के लिए ए प्रियोरी त्रुटि अनुमानों का व्युत्पन्न करना है। विशेष रूप से, थ्योरम 6.6 स्थापित करता है कि निरंतर अनुकूलतम नियंत्रण $\bar{q}$ और पूर्णतः विविक्त अनुकूलतम नियंत्रण $\bar{q}_\sigma$ के बीच की त्रुटि इस प्रकार है:
$$\|\bar{q} - \bar{q}_\sigma\|_{L^2(I \times \Omega)} \leq C \frac{\ln(T/k)}{\sqrt{\alpha}} (k^{1/2} + h)$$
जहाँ $C$ एक स्थिरांक है जो $k$ और $h$ से स्वतंत्र है, और $\alpha$ नियमितीकरण पैरामीटर है।

परिणामों के मुख्य पहलू शामिल हैं:

• अभिसरण दरें (Convergence Rates): अनुमान स्थानिक रूप से $O(h)$ और समय में $O(k^{1/2})$ (एक लघुगणकीय कारक तक) की अभिसरण दर को दर्शाता है।
• नियमितता स्वतंत्रता (Regularity Independence): त्रुटि अनुमान प्रथम-क्रम अनुकूलन स्थितियों द्वारा गारंटीकृत अतिरिक्त ए प्रियोरी स्मूथनेस की धारणा के बिना व्युत्पन्न किए गए हैं।
• सुधारित नियमितता (Improved Regularity): त्रुटि विश्लेषण के एक उप-उत्पाद के रूप में, लेखक दिखाते हैं कि अनुकूलतम नियंत्रण $\bar{q}$ बेहतर नियमितता का आनंद लेता है, विशेष रूप से $\bar{q} \in L^2(I; H^1(\Omega)^d) \cap H^s(I; L^2(\Omega)^d)$ जहाँ $s < 1/2$।
• स्लेटर स्थिति (Slater Condition): शोध पत्र यह प्रमाण प्रदान करता है कि $h$ और $k$ के एक सौम्य जुड़ाव के तहत, निरंतर समस्या के लिए स्लेटर स्थिति एक विविक्त स्लेटर स्थिति को दर्शाती है, जो विविक्त समस्या की व्यवहार्यता सुनिश्चित करती है।

महत्व और दावे
लेखक इस कार्य को प्रत्येक समय बिंदु पर ड्रैग या लिफ्ट बाधाओं के साथ क्षणिक प्रवाह नियंत्रण के विश्लेषण की दिशा में एक कदम के रूप में प्रस्तुत करते हैं। जबकि पिछले साहित्य ने सामान्य अवस्था बाधाओं के साथ नेवियर-स्टोक्स समीकरणों या बिंदुवार बाधाओं के साथ स्थिर स्टोक्स समस्याओं को संबोधित किया है, यह शोध पत्र $L^2$ फलन पर क्षणिक स्टोक्स समीकरणों के लिए पहली बार कठोर ए प्रियोरी त्रुटि अनुमान प्रदान करता है।

शोध पत्र दावा करता है कि उनकी तकनीकें $h$ और $k$ के बीच मजबूत जुड़ाव की आवश्यकता के बिना त्रुटि अनुमान प्राप्त करने की अनुमति देती है, जिसमें केवल लघुगणकीय समय कारक और मेश आकार का गुणनफल शून्य की ओर अग्रसर होना चाहिए। सैद्धांतिक निष्कर्षों की पुष्टि खंड 8 में संख्यात्मक प्रयोगों द्वारा की गई है, जो सक्रिय नियंत्रण बाधाओं वाले मामलों सहित स्मूथ और नॉन-स्मूथ डेटा परिदृश्यों के लिए अनुमानित अभिसरण क्रमों की पुष्टि करते हैं। लेखक नोट करते हैं कि हालांकि व्युत्पन्न नियमितता परिणाम दिलचस्प हैं, लेकिन उनका प्रत्यक्ष अनुप्रयोग और भी सटीक त्रुटि अनुमान प्राप्त करने के लिए एक खुला प्रश्न बना हुआ है।