Small-time global controllability of a class of bilinear fourth-order parabolic equations

तकनीकी सारांश: एक वर्ग के द्वैरेखीय चतुर्थ-क्रम परवलयिक समीकरणों की लघु-समय वैश्विक नियंत्रणीयता

समस्या विवरण
यह शोध पत्र एक वर्ग के चतुर्थ-क्रम गैररेखीय परवलयिक समीकरणों के वैश्विक नियंत्रणीय गुणों की जांच करता है जो एक आयामी टोरस $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$ पर परिभाषित हैं। इस प्रणाली को द्वैरेखीय (गुणात्मक) नियंत्रणों द्वारा संचालित किया जाता है, जहाँ नियंत्रण विकास समीकरण में अवस्था चर के एक गुणांक के रूप में प्रवेश करता है, न कि एक योगात्मक बल पद के रूप में। सामान्य मॉडल इस प्रकार है:
$$\partial_t u + \nu_1 \partial_x^4 u + \nu_2 \partial_x^2 u + N(u) = Q(t, x)u,$$
जहाँ $\nu_1, \nu_2 > 0$ विसरण (diffusion) और प्रति-विसरण (anti-diffusion) पैरामीटर हैं, और $N(u)$ विशिष्ट गैररेखीयताओं, मुख्य रूप से कुरामोटो–सिवाशिंस्की ($N(u) = u\partial_x u$) और कैन–हिलियर्ड ($N(u) = -\partial_x^2(u^3)$) का प्रतिनिधित्व करता है। नियंत्रण $Q(t, x)$ का रूप $Q(t, x) = \sum_{i=1}^m p_i(t)\mu_i(x)$ है, जहाँ $p_i(t)$ अदिश समय-निर्भर नियंत्रण हैं, और $\mu_i(x)$ निश्चित स्थानिक प्रोफाइल (निम्न फूरियर मोड) हैं।

मुख्य चुनौती लघु-समय वैश्विक नियंत्रणीयता (small-time global controllability) को संबोधित करना है: यह निर्धारित करना कि क्या किसी भी प्रारंभिक अवस्था $u_0$ और लक्ष्य अवस्था $u_1$ के लिए (विशिष्ट चिह्न प्रतिबंधों के भीतर), एक ऐसा नियंत्रण नियम मौजूद है जो प्रणाली को एक अनिश्चित रूप से छोटे समय $T > 0$ के भीतर $u_1$ के एक अत्यंत सूक्ष्म परिवेश तक ले जा सके (सन्निकट नियंत्रणीयता/approximate controllability) या $u_1$ नामक एक स्थिर अवस्था तक सटीक रूप से पहुँचा सके (सटीक नियंत्रणीयता/exact controllability)।

कार्यप्रणाली
लेखक एक ज्यामितीय नियंत्रण दृष्टिकोण का उपयोग करते हैं जो द्वैरेखीय सेटिंग के लिए अनुकूलित है, विशेष रूप से अग्राचेव–सरयचेव संतृप्ति विधि (Agrachev–Sarychev saturation method) का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित प्रमुख विश्लेषणात्मक चरणों के माध्यम से आगे बढ़ती है:

1. संयुग्मित गतिकी और लघु-समय सीमाएँ: विश्लेषण संयुग्मित गतिकी के लिए एक सीमा परिणाम पर निर्भर करता है। नियंत्रण और प्रारंभिक डेटा के लिए एक विशिष्ट समय और स्थान स्केलिंग लागू करके, लेखक दिखाते हैं कि प्रणाली $e^{-(\psi')^4}$ के रूप में गुणात्मक कारकों को उत्पन्न कर सकती है। यह प्रणाली को अवस्था पर किसी भी गुणात्मक फलन की क्रिया को सन्निकट करने की अनुमति देता है।
2. संतृप्ति गुण (Saturation Property): एक महत्वपूर्ण घटक यह प्रमाण है कि सुलभ अवस्थाओं का उपसमूह फलन स्थान को "संतृप्त" (saturate) करता है। लेखक प्रदर्शित करते हैं कि किसी भी त्रिकोणमितीय बहुपद $\phi$ के लिए, अवस्था $e^\phi u_0$ को अनिश्चित रूप से कम समय में लगभग प्राप्त किया जा सकता है। यह निम्न-आवृत्ति मोड के डेरिवेटिव के चौथे घात के योग के रूप में उच्च-आवृत्ति मोड को प्रदर्शित करने वाली बीजगणितीय पहचान का उपयोग करते हुए, त्रिकोणमितीय बहुपदों की डिग्री पर एक आगमनात्मक तर्क (inductive argument) के माध्यम से प्राप्त किया जाता है।
3. सन्निकट नियंत्रणीयता: संतृप्ति गुण और सोबोलेव स्थानों $H^s(\mathbb{T})$ ($s > 1/2$) में त्रिकोणमितीय बहुपदों के घनत्व का उपयोग करते हुए, वे लघु-समय वैश्विक सन्निकट नियंत्रणीयता स्थापित करते हैं।
4. रैखिकीकरण और फिक्स्ड-पॉइंट के माध्यम से सटीक नियंत्रणीयता: गैर-शून्य स्थिर अवस्थाओं के लिए सटीक नियंत्रणीयता प्राप्त करने हेतु, लेखक अपने सन्निकट नियंत्रणीयता परिणाम को रैखीकृत प्रणाली के लिए एक स्थानीय सटीक नियंत्रणीयता परिणाम के साथ जोड़ते हैं।
   • रैखीकृत प्रणाली: वे मोमेंट्स की विधि (method of moments) का उपयोग करके रैखीकृत समीकरण की शून्य नियंत्रणीयता का विश्लेषण करते हैं। एक महत्वपूर्ण तकनीकी बाधा टोरस पर लैपलेसियन के दोहरे आइगेनमानों (double eigenvalues) की उपस्थिति है। इसे अतिरिक्त नियंत्रण क्षमताओं ($\mu_4, \mu_5$) को पेश करके दूर किया जाता है जो कोसाइन और साइन मोड को अलग करते हैं, जिससे मोमेंट समस्या को सरल आइगेनमानों वाली दो स्वतंत्र समस्याओं में बदल दिया जाता है।
   • गैररेखीय विस्तार: गैररेखीय प्रणाली के लिए स्थानीय सटीक नियंत्रणीयता को स्रोत पद विधि (source term method) को एक बैनच फिक्स्ड-पॉइंट तर्क (Banach fixed-point argument) के साथ जोड़कर रैखिक परिणाम से निकाला जाता है।
5. संयोजन (Concatenation): वैश्विक सटीक नियंत्रणीयता का निर्माण तीन चरणों को जोड़कर किया जाता है: प्रारंभिक अवस्था को एक स्थिर अवस्था के परिवेश तक ले जाना (सन्निकट नियंत्रणीयता का उपयोग करके), उस अवस्था के पास प्रक्षेपवक्र (trajectory) को बनाए रखना, और अंततः सटीक लक्ष्य तक पहुँचना (स्थानीय सटीक नियंत्रणीयता का उपयोग करके)।

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

• लघु-समय वैश्विक सन्निकट नियंत्रणीयता (प्रमेय 1.1):

  • प्रणाली किसी भी दो अवस्थाओं $u_0, u_1$ के बीच लघु-समय $L^2$-सन्निकट नियंत्रणीय है जो एक ही चिह्न साझा करते हैं (अर्थात, $\text{sign}(u_0) = \text{sign}(u_1)$)।
  • यदि $u_0$ और $u_1$ पूर्णतः धनात्मक (या ऋणात्मक) हैं, तो प्रणाली $H^s$-सन्निकट नियंत्रणीय है।
  • यह परिणाम केवल तीन अदिश नियंत्रणों ($p_1, p_2, p_3$) का उपयोग करके प्राप्त किया गया है जो स्थानिक प्रोफाइल $(1, \cos x, \sin x)$ के अनुरूप हैं।
  • यह परिणाम अनिश्चित रूप से छोटे समय क्षितिज $T > 0$ के लिए मान्य है।
  • नोट: शोध पत्र स्पष्ट रूप से बताता है कि आइटम A के चिह्न प्रतिबंधों के तहत (जहाँ $u_0, u_1$ एक ही चिह्न साझा करते हैं लेकिन शून्य हो सकते हैं) लघु-समय सन्निकट नियंत्रणीयता को अनिश्चित समय तक विस्तारित करना वर्तमान दृष्टिकोण द्वारा संबोधित नहीं किया गया है। फलस्वरूप, इन विशिष्ट धारणाओं के तहत अनिश्चित समय के लिए $H^s$-सन्निकट नियंत्रणीयता एक खुला प्रश्न बना हुआ है।

• स्थिर अवस्थाओं के लिए लघु-समय वैश्विक सटीक नियंत्रणीयता (प्रमेय 1.2 और 1.3):

  • कैन–हिलियर्ड: प्रणाली किसी भी गैर-शून्य स्थिर अवस्था $\Phi$ (जो $u_0$ के समान चिह्न रखता है) तक पाँच अदिश नियंत्रणों ($p_1, \dots, p_5$) का उपयोग करके वैश्विक रूप से सटीक रूप से नियंत्रणीय है। अतिरिक्त दो नियंत्रण ($\mu_4, \mu_5$) विशेष रूप से बाय-लैपलेसियन (bi-Laplacian) की स्पेक्ट्रल अपभ्रष्टता (spectral degeneracy) को संभालने के लिए डिज़ाइन किए गए हैं।
  • कुरामोटो–सिवाशिंस्की: प्रणाली किसी भी गैर-शून्य स्थिर अवस्था $\Phi$ तक चार अदिश नियंत्रणों ($p_1, \dots, p_4$) का उपयोग करके वैश्विक रूप से सटीक रूप से नियंत्रणीय है। गैररेखीयता की विशिष्ट संरचना कैन-हिलियर्ड मामले की तुलना में एक कम नियंत्रण की अनुमति देती है।
  • ये परिणाम किसी भी प्रारंभिक अवस्था $u_0 \in H^s(\mathbb{T})$ के लिए मान्य हैं जिसका एक निश्चित चिह्न है, और समान चिह्न वाले किसी भी लक्ष्य स्थिर अवस्था के लिए।

महत्व और दावे

शोध पत्र दावा करता है कि यह द्वैरेखीय नियंत्रण ढांचे के भीतर चतुर्थ-क्रम परवलयिक समीकरणों के नियंत्रणीय गुणों के अध्ययन की दिशा में पहला योगदान प्रदान करता है।

• ढांचे की नवीनता: चतुर्थ-क्रम समीकरणों (जैसे कैन-हिलियर्ड या कुरामोटो-सिवाशिंस्की) पर पिछले कार्यों के विपरीत, जो योगात्मक आंतरिक या सीमा नियंत्रणों और कारलेमैन अनुमानों (जो आमतौर पर केवल स्थानीय नियंत्रणीयता प्रदान करते हैं) पर निर्भर थे, यह कार्य गुणात्मक नियंत्रणों के साथ वैश्विक नियंत्रणीयता समस्या को संबोधित करता है।
• ज्यामितीय विधियों की मजबूती: यह कार्य प्रदर्शित करता है कि संतृप्त करने वाली ज्यामितीय नियंत्रण रणनीति, जिसे मूल रूप से नेवियर-स्टोक्स और श्रोडिंगर समीकरणों के लिए विकसित किया गया था, जटिल गैररेखीयताओं के साथ उच्च-क्रम (चतुर्थ-क्रम) परवलयिक गतिकी को संभालने के लिए पर्याप्त मजबूत है।
• स्पेक्ट्रल बाधाओं को पार करना: शोध पत्र टोरस पर बाय-लैपलेसियन ऑपरेटर के लिए दोहरे आइगेनमानों से जुड़ी विशिष्ट कठिनाई को संबोधित करता है। स्पेक्ट्रम को फ़िल्टर करने के लिए नियंत्रण प्रोफाइल्स को सावधानीपूर्वक चुनकर, लेखक संबंधित मोमेंट समस्या को सफलतापूर्वक हल करते हैं, जो इस सेटिंग में द्वितीय-क्रम ऑपरेटरों की तुलना में अधिक सूक्ष्म कार्य है।
• दक्षता: परिणाम दिखाते हैं कि वैश्विक नियंत्रणीयता को एक सीमित, छोटे संख्या में अदिश नियंत्रणों (सन्निकटन के लिए 3, सटीक नियंत्रण के लिए 4 या 5) का उपयोग करके प्राप्त किया जा सकता है, जो प्रणाली के मापदंडों या विशिष्ट प्रारंभिक/लक्ष्य अवस्थाओं (बशर्ते चिह्न की शर्तें पूरी हों) से स्वतंत्र है।

लेखक उल्लेख करते हैं कि जबकि लघु-समय के लिए सन्निकट नियंत्रणीयता स्थापित की गई है, आइटम A के चिह्न प्रतिबंधों के तहत अनिश्चित समय के लिए $H^s$-सन्निकट नियंत्रणीयता तक विस्तार करना एक खुला और दिलचस्प प्रश्न बना हुआ है क्योंकि यह सन्निकटन प्रक्रिया में चिह्न शर्तों पर निर्भर करता है। इसके अलावा, शोध पत्र स्वीकार करता है कि द्वैरेखीय प्रणालियों के लिए $L^2$ में शास्त्रीय सटीक नियंत्रणीयता संरचनात्मक बाधाओं (जहाँ सुलभ सेट संपांक समुच्चयों के गणनीय संघों के भीतर होते हैं) के कारण आम तौर पर असंभव है, जो विशिष्ट प्रक्षेपवक्रों (स्थिर अवस्थाओं) के बजाय विशिष्ट पथों तक सटीक नियंत्रणीयता पर ध्यान केंद्रित करने को प्रेरित करता है।