Quantitative rapid stabilization for parabolic equations via the linear quadratic theory

तकनीकी सारांश: रैखिक द्विघातीय सिद्धांत (Linear Quadratic Theory) के माध्यम से परवलयिक समीकरणों (Parabolic Equations) के लिए मात्रात्मक तीव्र स्थिरीकरण (Quantitative Rapid Stabilization)

समस्या विवरण
यह शोध पत्र परवलयिक समीकरणों के लिए मात्रात्मक तीव्र स्थिरीकरणीयता (quantitative rapid stabilization) की समस्या को संबोधित करता है, जो विशेष रूप से बहु-आयामी डोमेन में गैर-स्व-अडजॉइंट (non-self-adjoint) प्रणालियों पर केंद्रित है। जबकि ऐसी प्रणालियों के गुणात्मक तीव्र स्थिरीकरण (निर्धारित क्षय दर प्राप्त करना) के बारे में ज्ञात है, निर्धारित क्षय दर $\lambda$ पर स्थिरीकरण लागत (stabilization cost) की निर्भरता एक महत्वपूर्ण खुला मुद्दा बना हुआ है। लेखक ऐसे फीडबैक नियम (feedback laws) विकसित करने का लक्ष्य रखते हैं जो $\lambda$ क्षय दर के साथ प्रणाली को स्थिर करते हैं, जबकि स्थिरीकरण लागत $M_\lambda$ के लिए स्पष्ट अनुमान प्रदान करते हैं। एक प्राथमिक चुनौती यह है कि मौजूदा मात्रात्मक विधियाँ (जैसे बैकस्टेपिंग, स्पेक्ट्रल असमानताएँ) अक्सर स्व-अडजॉइंट संरचनाओं या विशिष्ट कर्नेल सीमाओं (kernel bounds) पर निर्भर करती हैं जो संवहन पदों (convection terms) वाले गैर-स्व-अडजॉइंट परवलयिक समीकरणों तक आसानी से विस्तारित नहीं होती हैं।

कार्यप्रणाली (Methodology)
लेखक रैखिक द्विघातीय (Linear Quadratic - LQ) इष्टतम नियंत्रण सिद्धांत को मात्रात्मक अवलोकनीयता असमानताओं (quantitative observability inequalities) के साथ जोड़कर एक ढांचा विकसित करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. भारित LQ सूत्रीकरण (Weighted LQ Formulation): मानक LQ समस्याओं के बजाय, लेखक एक भारित लागत फलन (cost functional) पेश करते हैं:
   $$J(y, u; y_0) = \frac{1}{2} \int_0^\infty e^{2\lambda t} \left( \|(-\Delta)^\alpha y(t)\|_{L^2}^2 + \|u(t)\|_{L^2}^2 \right) dt$$
   जहाँ $\alpha \in [0, 1]$ है। $\alpha = 1/2$ चुनकर, वे यह सुनिश्चित करते हैं कि लागत फलन अवस्था (state) के $L^2$ मान को कैप्चर करता है, जो स्पष्ट निचली सीमाएँ प्राप्त करने के लिए आवश्यक है।

2. रूपांतरण और तुल्यता (Transformation and Equivalence): रूपांतरण $z(t) = e^{\lambda t}y(t)$ और $v(t) = e^{\lambda t}u(t)$ के माध्यम से, मूल प्रणाली के तीव्र स्थिरीकरण की समस्या को एक शिफ्टेड ऑपरेटर (shifted operator) वाली रूपांतरित प्रणाली के लिए एक मानक घातांकीय स्थिरीकरण समस्या में परिवर्तित किया जाता है।

3. द्वैतता (Duality) के माध्यम से मात्रात्मक सीमाएँ:

   • ऊपरी सीमा (Upper Bound): लेखक एडजॉइंट प्रणाली के लिए एक मात्रात्मक अवलोकनीयता असमानता का उपयोग करते हैं। अवलोकनीयता और शून्य नियंत्रणीयता (null controllability) के बीच शास्त्रीय द्वैतता सिद्धांत का उपयोग करके, वे एक स्पष्ट लागत अनुमान के साथ एक व्यवहार्य नियंत्रण (feasible control) का निर्माण करते हैं। यह इष्टतम LQ समस्या के लिए एक ऊपरी सीमा प्रदान करता है।
   • निचली सीमा (Lower Bound): ऊर्जा अनुमानों और लागत फलन की विशिष्ट संरचना (जहाँ $\alpha=1/2$) का उपयोग करके, वे इष्टतम लागत के लिए एक सुदृढ़ (coercive) निचली सीमा प्राप्त करते हैं।

4. रिकैटी समीकरण समाधान (Riccati Equation Solution): एक इष्टतम युग्म (optimal pair) की उपस्थिति एक ऑपरेटर रिकैटी समीकरण के समाधान $P_\lambda$ की उपस्थिति को दर्शाती है। इष्टतम लागत पर मात्रात्मक सीमाएँ सीधे ऑपरेटर नॉर्म $\|P_\lambda\|$ पर सीमाओं में परिवर्तित होती हैं, जो फीडबैक नियंत्रण $u = -B^*P_\lambda y$ के परिमाण को निर्धारित करती है।

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

1. गैर-स्व-अडजॉइंट प्रणालियों के लिए मात्रात्मक तीव्र स्थिरीकरण (प्रमेय 1.1):
   यह शोध पत्र बहु-आयामी गैर-स्व-अडजॉइंट परवलयिक समीकरणों (जैसे संवहन पद $b \cdot \nabla y$ के साथ) के लिए पहला मात्रात्मक तीव्र स्थिरीकरण परिणाम स्थापित करता है।

   • परिणाम: किसी भी क्षय दर $\lambda > 1$ के लिए, एक स्थिर फीडबैक नियम $K_\lambda$ मौजूद है जिससे क्लोज्ड-लूप प्रणाली संतुष्ट करती है:
     $$\|u(t)\| + \|y(t)\| \leq e^{\tilde{C}\sqrt{\lambda}} e^{-\lambda t} \|y_0\|$$
   • महत्व: स्थिरीकरण लागत अधिकतम $e^{C\sqrt{\lambda}}$ की तरह बढ़ती है, जो विक्षोभों (perturbations) के प्रति मजबूती और अल्प समय अंतराल में व्यवहार्यता सुनिश्चित करने के लिए महत्वपूर्ण है।

2. अमूर्त तुल्यता प्रमेय (Abstract Equivalence Theorem) (प्रमेय 1.5):
   लेखक अमूर्त रैखिक प्रणालियों के लिए मात्रात्मक तीव्र स्थिरीकरण और मात्रात्मक अवलोकनीयता के बीच एक सामान्य तुल्यता सिद्ध करते हैं।

   • परिणाम: एक प्रणाली e^{O(\lambda^{\frac{p}{p+1}})-तीव्र रूप से स्थिर करने योग्य है यदि और केवल यदि वह $e^{O(T^{-p})}$-अवलोकनीय है।
   • महत्व: यह नियंत्रण लागत अनुमानों और अवलोकनीयता असमानताओं के बीच के अंतर को पाटता है, जिससे उन मापदंडों की निर्भरता स्पष्ट होती है जो पहले साहित्य में अस्पष्ट थे।

3. नेवियर-स्टोक्स समीकरणों पर अनुप्रयोग (Navier–Stokes Equations) (प्रमेय 1.7):
   इस ढांचे को गैर-तुच्छ स्थिर अवस्थाओं (non-trivial steady states) के आसपास गैर-रेखीय नेवियर-स्टोक्स समीकरणों तक विस्तारित किया गया है।

   • परिणाम: एक स्थिर अवस्था $y_e$ के आसपास रेखीयकरण करके और संबंधित ओसीन (Oseen) प्रणाली की मात्रात्मक अवलोकनीयता का उपयोग करके, लेखक एक फीडबैक नियम का निर्माण करते हैं जो स्थानीय मात्रात्मक तीव्र स्थिरीकरण प्राप्त करता है।
   • शर्त: प्रारंभिक विक्षोभ पर्याप्त रूप से छोटा होना चाहिए, विशेष रूप से $\|y_0 - y_e\| \leq e^{-C\sqrt{\lambda}}$।

4. स्व-अडजॉइंट मामलों के लिए परिमित-आयामी विस्तार (Finite-Dimensional Extension for Self-Adjoint Cases) (प्रमेय 5.2):
   हीट समीकरण (स्व-अडजॉइंट मामला) के लिए, लेखक प्रदर्शित करते हैं कि मात्रात्मक LQ ढांचे को परिमित-आयामी फीडबैक नियमों के लिए अनुकूलित किया जा सकता है।

   • विधि: वे फ्रीक्वेंसी-ल्यपुनोव (frequency-Lyapunov) विधि का उपयोग करते हैं, जो निम्न और उच्च आवृत्तियों को अलग करती है। निम्न-आवृत्ति गतिकी को एक परिमित-आयामी रिकैटी समीकरण के माध्यम से नियंत्रित किया जाता है, जबकि उच्च आवृत्तियों को ऑपरेटर के प्राकृतिक अपक्षय (dissipation) द्वारा कम किया जाता है।
   • परिणाम: यह LQ परिप्रेक्ष्य का उपयोग करके पिछले मात्रात्मक परिणामों (जैसे Ξियांग [43]) को पुनः प्राप्त करता है और उन्हें परिष्कृत करता है।

महत्व और दावे
लेखक दावा करते हैं कि उनका दृष्टिकोण बैकस्टेपिंग या स्पेक्ट्रल असमानताओं जैसी स्पष्ट रचनात्मक विधियों के लिए एक अलग विकल्प प्रदान करता है।

• अप्रत्यक्ष व्युत्पत्ति: उन विधियों के विपरीत जो स्पष्ट कर्नेल सीमाओं या स्पेक्ट्रल अपघटन पर निर्भर करती हैं, यह दृष्टिकोण वैश्विक अवलोकनीयता असमानताओं से अप्रत्यक्ष रूप से मात्रात्मक अनुमान प्राप्त करता है। यह विधि को उन गैर-स्व-अडजॉइंट प्रणालियों के लिए लागू करने योग्य बनाता है जहाँ स्पेक्ट्रल गुण सुव्यवस्थित नहीं होते हैं।
• मजबूती (Robustness): $\lambda$ पर लागत की स्पष्ट निर्भरता ($e^{C\sqrt{\lambda}}$) क्लोज्ड-लूप सिस्टम की सीमित विक्षोभों के प्रति मजबूती का आकलन करने के लिए आवश्यक जानकारी प्रदान करती है।
• व्यापकता: अमूर्त तुल्यता प्रमेय (प्रमेय 1.5) यह सुझाव देता है कि मात्रात्मक तीव्र स्थिरीकरण समस्या को किसी भी ऐसी प्रणाली के लिए हल किया जा सकता है जिसके लिए मात्रात्मक अवलोकनीयता असमानता उपलब्ध है, जिसमें समय-निर्भर क्षमताएं (potentials) और सीमा नियंत्रण (boundary control) समस्याएं शामिल हैं (जैसा कि भविष्य के कार्य के रूप में नोट किया गया है)।

लेखक उल्लेख करते हैं कि जबकि परिमित-आयामी विस्तार स्व-अडजॉइंट मामलों के लिए काम करता है, सामान्य गैर-स्व-अडजॉइंट परवलयिक समीकरण के लिए एक परिमित-आयामी फीडबैक नियम स्थापित करना एक खुला प्रश्न बना हुआ है, क्योंकि इसके लिए ऐसे स्पेक्ट्रल अनुमानों की आवश्यकता होगी जो वर्तमान में ऐसी प्रणालियों के लिए उपलब्ध नहीं हैं।