Small-time local control of a Schrödinger equation: a negative and a positive quadratic result

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

समस्या विवरण
यह शोध पत्र न्यूमैन सीमा स्थितियों (Neumann boundary conditions) वाले एक द्वैरेखीय (bilinear) श्रोडिंगर समीकरण के लघु-समय स्थानीय नियंत्रणीयता (small-time local controllability - STLC) की जांच करता है, जिसे इसके ग्राउंड स्टेट $\phi_0$ के चारों ओर रैखिकीकृत (linearized) किया गया है। यह प्रणाली निम्नलिखित द्वारा नियंत्रित होती है:
$$\begin{cases} i\partial_t\psi(t, x) = -\partial^2_x\psi(t, x) - u(t)\mu(x)\psi(t, x), & t \in (0, T), x \in (0, 1), \\ \partial_x\psi(t, 0) = \partial_x\psi(t, 1) = 0, & t \in (0, T), \end{cases}$$
जहाँ $\mu \in H^2((0, 1); \mathbb{R})$ एक निश्चित स्थानिक फलन है और $u(t)$ एक वास्तविक-मान वाला अदिश नियंत्रण (scalar control) है।

यह अध्ययन उस अपभ्रष्ट मामले (degenerate case) पर केंद्रित है जहाँ रैखिकीकृत प्रणाली नियंत्रणीय नहीं है। विशेष रूप से, लेखक उन स्थितियों पर विचार करते हैं जहाँ कपलिंग गुणांक $\langle \mu, \phi_k \rangle = 0$ किसी मोड $k \in \mathbb{N}$ के लिए होता है। ऐसे परिदृश्यों में, रैखिक नियंत्रण सिद्धांत रैखिकीकृत प्रणाली के विफल होने पर नियंत्रणीयता निर्धारित करने के लिए अपर्याप्त है, जिससे दूसरे क्रम (quadratic) के विश्लेषण की आवश्यकता होती है। केंद्रीय प्रश्न यह है कि क्या प्रणाली अभी भी STLC बनी रहती है जब रैखिकीकृत प्रणाली विफल हो जाती है, या क्या एक "द्विघात अवरोध" (quadratic obstruction) नियंत्रणीयता को रोकता है।

कार्यप्रणाली
लेखक नियंत्रण $u$ के सापेक्ष अवस्था $\psi = \phi_0 + \psi_1 + \psi_2 + \dots$ के पावर-सीरीज विस्तार का उपयोग करते हैं।

1. द्विघात रूप विश्लेषण (Quadratic Form Analysis): विश्लेषण का मुख्य भाग दूसरे क्रम के पद $\psi_2(T)$ पर केंद्रित है, विशेष रूप से इसके अनकंट्रोलेबल मोड $\phi_k$ पर इसके प्रक्षेप (projection) पर। यह प्रक्षेप एक अभिन्न कर्नेल (integral kernel) $K(t-s)$ के साथ एक द्वैरेखीय रूप $Q(u, u)$ के रूप में व्यक्त किया जाता है।
2. फूरियर-आधारित दृष्टिकोण (Fourier-Based Approach): एक महत्वपूर्ण पद्धतिगत नवाचार मानक समाकलन-बाय-भाग (integration-by-parts) तर्कों से बचना है। श्रोडिंगर समीकरण से संबंधित अभिन्न कर्नेल में नियमितता (विशेष रूप से, इसका अवकलज एक फलन नहीं बल्कि डिराक द्रव्यमान और प्रिंसिपल वैल्यू वाले वितरण के रूप में है) का अभाव होता है जो शास्त्रीय समाकलन-बाय-भाग के माध्यम से ड्रिफ्ट टर्म निकालने के लिए आवश्यक है। इसके बजाय, लेखक द्विघात रूप का फूरियर फ्रीक्वेंसी डोमेन में विश्लेषण करते हैं। वे कर्नेल के फूरियर रूपांतरण का एक स्पष्ट व्यंजक व्युत्पन्न करते हैं, जो डिराक द्रव्यमान, एक प्रिंसिपल वैल्यू भाग और एक नियमित भाग में विभाजित है।
3. ड्रिफ्ट का परिमाणीकरण (Drift Quantification):
   • नकारात्मक परिणाम: जब एक विशिष्ट गुणांक $a_k$ (जो कर्नेल की विलक्षणता से प्राप्त होता है) गैर-शून्य होता है, तो लेखक एक कोर्सिविटी अनुमान सिद्ध करते हैं जो यह दर्शाता है कि द्विघात गति एक अर्ध-स्थान (half-space) तक सीमित है, जिससे कुछ लक्ष्यों तक पहुँच को रोका जा सकता है। यह एक गैर-शून्य ली ब्रैकेट (Lie bracket) अवरोध के अनुरूप है।
   • सकारात्मक परिणाम: जब $a_k = 0$ होता है, तो लेखक उच्च-आवृत्ति दोलनों का उपयोग करके विशिष्ट नियंत्रणों का निर्माण करते हैं। वे $\pm i\phi_k$ दिशाओं में गति उत्पन्न करने के लिए फूरियर-रूपांतरित कर्नेल के काल्पनिक भाग के साइन-चेंजिंग गुणों का लाभ उठाते हैं।
4. कर्नेल मॉड्यूलेशन उपकरण (Kernel Modulation Tools): लेखक एक संदर्भ द्विघात रूप को एक नियमित फलन द्वारा मॉड्यूलेट किए गए रूप में स्थानांतरित करने के लिए सामान्य उपकरण (अनुभाग 5) विकसित करते हैं, जिससे उन्हें $k=0$ के संदर्भ मामले के आधार पर सामान्य मामला $k \neq 0$ संभालने की अनुमति मिलती है।
5. शेषफल अनुमान (Remainder Estimates): तर्क को पूर्ण करने के लिए, वे एक सहायक प्रणाली (auxiliary system) का उपयोग करके गैर-समांगी न्यूमैन सीमा स्थितियों के साथ गैर-रेखीय शेष पदों के लिए सटीक ऊर्जा अनुमान प्राप्त करते हैं, यह सुनिश्चित करते हुए कि उच्च-क्रम के पद द्विघात प्रभावों पर हावी न हों।

मुख्य परिणाम
यह शोध पत्र $a_k$ के गुणांक के आधार पर एक द्वैधता (dichotomy) स्थापित करता है:
$$a_k := \sum_{j \in \mathbb{N}} \left( \lambda_j - \frac{\lambda_k}{2} \right) \langle \mu, \phi_j \rangle \langle \phi_j, \mu \phi_k \rangle$$

1. नकारात्मक परिणाम (प्रमेय 1.7): यदि $a_k \neq 0$, तो प्रणाली STLC नहीं है।

   • इसमें $-i a_k \phi_k$ की दिशा में एक "ड्रिफ्ट" मौजूद है, जिसे नियंत्रण के प्रिमिटिव के वर्ग $H^{-1}$ नॉर्म ($\|u_1\|_{L^2}^2$) द्वारा मापा गया है।
   • यह सुस्मान (Sussmann) के शास्त्रीय द्विघात अवरोध का एक नया उदाहरण प्रदान करता है, जो कि एक गैर-शून्य ली ब्रैकेट $[\mu, [\mu, A]]\phi_0$ के अनुरूप है।
   • विशेष रूप से, लक्ष्य $\psi^*_\epsilon = \sqrt{1-\epsilon^2}\phi_0 + i \text{sgn}(a_k)\epsilon \phi_k$ छोटे $\epsilon$ के लिए अप्राप्य हैं।

2. सकारात्मक परिणाम (प्रमेय 1.9): यदि $a_k = 0$ है और शेष कपलिंग गुणांक एक सामान्य गैर-क्षयता (non-degeneracy) स्थिति को संतुष्ट करते हैं ($|\langle \mu, \phi_j \rangle| \geq c \langle j \rangle^{-2}$ $j \neq k$ के लिए), तो प्रणाली STLC है।

   • लेखक ऐसे नियंत्रणों का निर्माण करते हैं जो $\pm i \phi_k$ दिशाओं में $T \|u_1\|_{L^2}^2$ आयाम के साथ गति प्राप्त करते हैं।
   • स्पर्श सदिश (tangent vector) तर्क और समय संयोजन (time concatenation) का उपयोग करके, वे इसे किसी भी दिशा $z \phi_k$ ($z \in \mathbb{C}$) के लिए गति तक विस्तारित करते हैं।
   • नियंत्रण की लागत $\|u\|_{L^2} \lesssim |\langle \psi^*, \phi_k \rangle|^{1/2}$ के रूप में स्केल करती है, जो द्विघात-क्रम नियंत्रणीयता की विशेषता है।

महत्व और दावे
यह शोध पत्र नियंत्रण सिद्धांत में निम्नलिखित योगदानों का दावा करता है:

• सुस्मान के अवरोध का नया PDE उदाहरण: नकारात्मक परिणाम (प्रमेय 1.7) एक विशिष्ट PDE उदाहरण की पहचान करता है जहाँ शास्त्रीय द्विघात अवरोध (लंबाई 3 के ली ब्रैकेट से जुड़ा हुआ) STLC को रोकता है, जो ODEs और अन्य PDEs (जैसे डिरिचलेट श्रोडिंगर या KdV सिस्टम) के लिए ज्ञात पिछले परिणामों का विस्तार करता है।
• एक भौतिक प्रणाली के लिए प्रथम सकारात्मक द्विघात STLC: सकारात्मक परिणाम (प्रमेय 1.9) का दावा है कि यह एक "तर्कसंगत भौतिक प्रणाली" (एक एकल अदिश नियंत्रण द्वारा संचालित न्यूमैन स्थितियों वाला द्वैरेखीय श्रोडिंगर समीकरण) के लिए द्विघात क्रम पर लघु-समय स्थानीय नियंत्रणीयता स्थापित करने वाला प्रथम है। पिछले सकारात्मक द्वितीय परिणाम (जैसे [4]) कृत्रिम रूप से निर्मित ("cooked-up") गैर-रैखिकताओं पर निर्भर थे।
• पद्धतिगत प्रगति: लेखक अपने फूरियर-आधारित दृष्टिकोण को कम नियमितता वाले कर्नेल्स (जहाँ मानक समाकलन-बाय-भाग विफल हो जाता है) को संभालने के लिए एक महत्वपूर्ण उपकरण के रूप में रेखांकित करते हैं। वे मॉड्यूलेशन फलनों द्वारा कर्नेल्स को गुणा करने के लिए सामान्य ढांचा भी प्रदान करते हैं, जिसे वे भविष्य में अन्य प्रणालियों के लिए पुन: उपयोग योग्य मानते हैं।
• तकनीकी कठोरता: कार्य में गैर-समांगी न्यूमैन सीमा स्थितियों के साथ श्रोडिंगर समीकरण के विस्तृत ऊर्जा अनुमान और ड्रिफ्ट गुणांकों को परिभाषित करने वाली श्रृंखला के अभिसरण (convergence) के कठोर प्रमाण शामिल हैं।

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