Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

तकनीकी सारांश: गतिशील डोमेन में 1D डिजेनरेट पैराबोलिक समीकरणों के प्रक्षेपवक्र (Trajectories) के लिए द्वैरेखीय नियंत्रण (Bilinear Control)

समस्या विवरण
यह शोध पत्र एक सीमित डोमेन पर परिभाषित एक-आयामी अर्ध-रैखिक (semilinear) डिजेनरेट पैराबोलिक समीकरणों के स्थानीय नियंत्रणीयता गुणों की जांच करता है, जो समय के साथ विकसित होते हैं। विचाराधीन विशिष्ट प्रणाली एक द्वैरेखीय नियंत्रण (bilinear control) द्वारा संचालित होती है जो प्रतिक्रिया पद (reaction term) के गुणांक के माध्यम से कार्य करती है। डोमेन $\Omega_t$ को $(0, \ell(t))$ के रूप में परिभाषित किया गया है, जहाँ सीमा $\ell(t)$ समय का एक निरंतरतः अवकलनीय (continuously differentiable) फलन है, जो एक गैर-बेलनाकार (non-cylindrical) स्पेस-टाइम डोमेन $\hat{Q}$ बनाता है। विसरण गुणांक (diffusion coefficient) $a(x)$ सीमा $x=0$ पर डिजेनरेट होता है (जैसे, $a(x) = x^\alpha$ जहाँ $\alpha \in (0,1)$)।

प्राथमिक उद्देश्य एक धनात्मक प्रक्षेपवक्र (positive trajectory) के लिए स्थानीय सटीक नियंत्रणीयता (local exact controllability) स्थापित करना है। दिए गए धनात्मक प्रक्षेपव $\tilde{u}$ के लिए, जो अनियंत्रित समीकरण को संतुष्ट करता है, लेखक यह निर्धारित करने का प्रयास करते हैं कि क्या, एक अत्यंत निकटवर्ती प्रारंभिक डेटा के लिए, एक नियंत्रण फलन $h$ का अस्तित्व होता है जो एक अत्यंत छोटे खुले सेट $\hat{\omega} \times (0, T)$ में समर्थित है, ताकि नियंत्रित अवस्था $u$, समय $T$ पर प्रक्षेपव्य अवस्था $\tilde{u}$ तक पहुँच सके।

कार्यप्रणाली
लेखक ज्यामितीय रूपांतरण, रैखिकीकरण (linearization) और फलन विश्लेषण (functional analysis) को संयोजित करने वाली एक बहु-चरणीय रणनीति का उपयोग करते हैं:

1. डोमेन रूपांतरण: गतिशील सीमा को संभालने के लिए, लेखक एक डिफ़ोमोरफ़िज्म (diffeomorphism) $\tau_t$ का निर्माण करते हैं जो गैर-बेलनाकार डोमेन $\hat{Q}$ को एक निश्चित बेलनाकार डोमेन $Q = (0, 1) \times (0, T)$ पर मैप करता है। यह रूपांतरण स्थानिक चर को पुनर्गठित (rescale) करता है, जिससे मूल समस्या एक निश्चित डोमेन पर समय-निर्भर गुणांकों और अतिरिक्त निम्न-क्रम के पदों वाले एक पैराबोलिक समीकरण में परिवर्तित हो जाती है।
2. रैखिकीकरण और एडजॉइंट विश्लेषण: गैर-रैखिक प्रणाली की नियंत्रणीयता को शून्य अवस्था (प्रक्षेपव्य द्वारा शिफ्ट करने के बाद) के आसपास रैखिकीकरण के माध्यम से प्राप्त की जाती है। लेखक संबद्ध रैखिकीकृत प्रणाली का विश्लेषण करते हैं, जिसमें एक डिजेनरेट विसरण पद और एक द्वैरेखीय नियंत्रण पद शामिल है।
3. कारलेमन अनुमान (Carleman Estimates): प्रमाण का एक महत्वपूर्ण घटक रैखिकीकृत एडजॉइंट प्रणाली के लिए वैश्विक कारलेमन अनुमानों का व्युत्पन्न है। ये अनुमान विशिष्ट भारित फलनों (weight functions) का उपयोग करते हैं जो समय और स्थान पर निर्भर करते हैं, जिन्हें $x=0$ पर डिजेनेरेसी और डोमेन की समय-निर्भरता को संभालने के लिए डिज़ाइन किया गया है। ये अनुमान एक अवलोकनीयता असमानता (observability inequality) की ओर ले जाते हैं।
4. रैखिक प्रणाली की शून्य नियंत्रणीयता (Null Controllability): अवलोकनीयता असमानता और भारित स्थानों (weighted spaces) के अनुकूलित हिल्बर्ट यूनिकनेस मेथड (HUM) का उपयोग करते हुए, वे रैखिकीकृत प्रणाली की वैश्विक शून्य नियंत्रणीयता को सिद्ध करते हैं। वे एक ऐसे नियंत्रण का अस्तित्व स्थापित करते हैं जो समाधान को समय $T$ पर शून्य तक ले जाता है, और नियंत्रण तथा अवस्था के लिए विशिष्ट नियमितता अनुमान (regularity estimates) भी स्थापित करते हैं।
5. इनवर्स फंक्शन थ्योरम: अंत में, लेखक बानच स्थानों (Banach spaces) में लियुस्टर्निक इनवर्स फंक्शन थ्योरम (Liusternik Inverse Function Theorem) को लागू करते हैं। यह सत्यापित करके कि शून्य पर परिभाषित मैपिंग $C^1$ है और उसका रैखिकीकरण अधोमुखी (surjective) है (रैखिक नियंत्रणीयता परिणामों के आधार पर), वे मूल गैर-रैखिक प्रणाली की स्थानीय सटीक नियंत्रणीयता का निष्कर्ष निकालते हैं।

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

• मुख्य प्रमेय: यह शोध पत्र सिद्ध करता है कि गैर-रैखिक डिजेनरेट पैराबोलिक प्रणाली (1) किसी भी धनात्मक प्रक्षेपव $\tilde{u}$ के लिए किसी भी समय $T > 0$ पर स्थानीय रूप से सटीक रूप से नियंत्रणीय है, बशर्ते प्रारंभिक डेटा $H^1_a$ नॉर्म में प्रक्षेपव के प्रारंभिक डेटा के पर्याप्त निकट हो।
• गतिशील डोमेनों को संभालना: यह कार्य डिजेनरेट समीकरणों के लिए निश्चित डोमेन से गैर-बेलनाकार, गतिशील डोमेन तक नियंत्रणीयता परिणामों का विस्तार करता है, जो एक ऐसा परिवेश है जहाँ समय-परिवर्तनीय ज्यामिति और विसरण गुणांक की डिजेनेरेसी के कारण महत्वपूर्ण जटिलता उत्पन्न होती है।
• द्वैरेखीय नियंत्रण तंत्र: अध्ययन द्वैरेखीय नियंत्रणों (बहुलकी नियंत्रण/multiplicative controls) पर केंद्रित है जो प्रतिक्रिया पद पर कार्य करते हैं, जो विकास या क्षय दरों को अवस्था के समानुपाती रूप से नियंत्रित करते हैं। यह योगात्मक नियंत्रण (additive control) से भिन्न है और इस संदर्भ में प्रक्षेपव ट्रैकिंग के लिए प्रभावी दिखाया गया है।
• नियमितता अनुमान: लेखक रैखिकीकृत प्रणाली के नियंत्रण और अवस्था के लिए विस्तृत भारित अनुमान प्राप्त करते हैं, जिससे यह सुनिश्चित होता है कि नियंत्रण में पर्याप्त नियमितता (विशेष रूप से भारित $L^2$ और $H^1$ स्थानों में) है ताकि फिक्स्ड-पॉइंट तर्क में गैर-रैखिक पदों को संभाला जा सके।

महत्व और दावे
लेखक इस कार्य को गैर-मानक ज्यामिति में डिजेनरेट आंशिक अवकल समीकरणों (PDEs) के नियंत्रण सिद्धांत में एक योगदान के रूप में प्रस्तुत करते हैं। वे नोट करते हैं कि जबकि गैर-डिजेनरेट और निश्चित-डोमेन डिजेनरेट समीकरणों के लिए नियंत्रणीयता अच्छी तरह से विकसित है, डिजेनेरेसी, गैर-रैखिकता और गतिशील सीमाओं का संयोजन एक अधिक जटिल चुनौती पेश करता है जिसके लिए विशिष्ट तकनीकों की आवश्यकता होती है।

यह शोध पत्र दावा करता है कि यह गतिशील डोमेन में ऐसे डिजेनरेट सिस्टम की द्वैरेखीय नियंत्रणीयता पर पहले परिणाम प्रदान करता है। इसका महत्व यह प्रदर्शित करने में निहित है कि सिस्टम को वांछित धनात्मक प्रक्षेपव तक निर्देशित किया जा सकता है, जो उन जटिल गतिशील प्रणालियों (जैसे कि चरण संक्रमण या जनसंख्या गतिशीलता में) को विनियमित करने के अनुरूप है जहाँ विसरण सीमाओं पर शून्य हो जाता है और डोमेन विकसित होता है। लेखक स्पष्ट रूप से कहते हैं कि उनके परिणाम स्थानीय हैं (निकटवर्ती प्रारंभिक विचलन की आवश्यकता है) और लियुस्टर्निक इनवर्स फंक्शन थ्योरम पर आधारित हैं, जो अनंत-आयामी प्रणालियों में स्थानीय नियंत्रणीयता स्थापित करने के लिए एक मानक लेकिन कठोर दृष्टिकोण है।

लेखक निष्कर्ष निकालते हुए सुझाव देते हैं कि गैर-स्थानीय गैर-रैखिकता (nonlocal nonlinearities) और एक-चरण स्टेफ़न-समान समस्याओं (one-phase Stefan-like problems) के लिए संभावित विस्तार संभव हैं, जो यह संकेत देता है कि यहाँ विकसित तकनीकें इन अधिक जटिल परिदृश्यों के लिए एक आधार के रूप में कार्य कर सकती हैं।