Inverse problems for a nonlinear dynamical Schrödinger operator with magnetic potential

तकनीकी सारांश: चुंबकीय विभव (Magnetic Potential) के साथ एक अरैखिक गतिक श्रोडिंगर ऑपरेटर के लिए व्युत्क्रम समस्याएँ (Inverse Problems)

समस्या विवरण
यह शोध पत्र एक सीमित डोमेन $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$) पर एक समय अंतराल $(0, T)$ के ऊपर परिभाषित एक क्वासिलिनियर (quasilinear) गतिक श्रोडिंगर ऑपरेटर से संबंधित दो व्युत्क्रम समस्याओं की जांच करता है। ऑपरेटर $L_{A,q}$ में समय-निर्भर चुंबकीय विभव $A(t, x, u)$ और विद्युत विभव $q(t, x, u)$ शामिल हैं, जो समाधान $u$ के गैर-रेखीय फलन हैं। विशेष रूप से, ये विभव विश्लेषणात्मकता (analyticity) की धारणाओं को पूरा करते हैं, जिससे उन्हें घात श्रेणियों (power series) में विस्तारित किया जा सकता है जहाँ गुणांक माध्यम के उच्च-क्रम के विद्युत चुम्बकीय प्रतिक्रिया पदों का प्रतिनिधित्व करते हैं।

प्राथमिक उद्देश्य सीमा मापों (boundary measurements) से स्पेस-टाइम डोमेन $Q \times \mathbb{C}$ में गैर-रेखीय विभवों $A$ और $q$ को अद्वितीय रूप से पुनर्प्राप्त करना है। यह अध्ययन दो अलग-अलग परिदृश्यों को संबोधित करता है:

1. पूर्ण डेटा समस्या (Full Data Problem): संपूर्ण पार्श्व सीमा $\Sigma = (0, T) \times \partial\Omega$ पर डिरिचलेट-टू-नेमैन (DtN) मानचित्र $\Lambda_{A,q}$ का उपयोग करके विभवों को पुनर्प्राप्त करना।
2. आंशिक डेटा समस्या (Partial Data Problem): जब DtN मानचित्र को $\partial\Omega$ के एक अनिश्चित रूप से छोटे खुले उपसमुच्चय $\Gamma \subset \partial\Omega$ पर मापा जाता है, तब विभवों को पुनर्प्राप्त करना, इस धारणा के तहत कि विभव सीमा के निकटतम ज्ञात हैं।

कार्यप्रणाली (Methodology)
लेखक वेल-पोज़्डनेस विश्लेषण (well-posedness analysis), ज्यामितिक प्रकाशिकी निर्माण (geometric optics constructions), और उच्च-क्रम रैखिकीकरण (higher-order linearization) तकनीकों के संयोजन का उपयोग करते हैं।

• फॉरवर्ड प्रॉब्लम की वेल-पोज़्डनेस: व्युत्क्रम समस्याओं को संबोधित करने से पहले, यह शोध पत्र छोटे डिरिचलेट डेटा के साथ गैर-रेखीय समीकरण के प्रारंभिक-सीमा मान समस्या (initial-boundary value problem) की वेल-पोज़्डनेस स्थापित करता है। यह गैर-रैखिकताओं वाले स्रोत पद के साथ एक रैखिक ऑपरेटर समीकरण के रूप में गैर-रेखीय समस्या को पुनर्गठित करके प्राप्त किया जाता है। Faedo-Galerkin सन्निकटन, ऊर्जा अनुमानों और उपयुक्त एनिसोट्रोपिक सोबोलेव स्थानों ($H^{m+1, m+2}(Q)$) में एक फिक्स्ड-पॉइंट तर्क का उपयोग करके, लेखक इष्टतम सोबोलेव नियमितता के साथ समाधानों के अस्तित्व और अद्वितीयता को सिद्ध करते हैं।

• ज्यामितिक प्रकाशिकी समाधान (Geometric Optics Solutions): प्रमाण में एक केंद्रीय उपकरण रैखिक ऑपरेटर $L_{A_0, q_1}$ (जहाँ $A_0$ और $q_1$ रैखिक गुणांक हैं) के लिए ज्यामितिक प्रकाशिकी समाधानों का निर्माण है। ये समाधान बड़े पैरामीटर $\lambda$ के साथ दोलनी तरंगों (oscillatory waves) के रूप में होते हैं, जिनमें एक मुख्य भाग (एम्प्लीट्यूड जो ट्रांसपोर्ट समीकरणों का पालन करते हैं) और एक शेष पद (remainder term) होता है।

  • रैखिक गुणांकों ($A_0, q_1$) की रिकवरी के लिए, शेष पद को $H^{1,2}(Q)$ में क्षय होते हुए दिखाया गया है।
  • उच्च-क्रम के गैर-रेखीय गुणांकों की रिकवरी के लिए, लेखक ऐसे समाधानों का निर्माण करते हैं जहाँ शेष पद उच्च-क्रम सोबोलेव स्थानों $H^{m+1}(Q)$ (जहाँ $m > n+1$) में क्षय होता है, जिससे यह सुनिश्चित होता है कि गुणन के दौरान बानच बीजगणित (Banach algebra) गुण सुरक्षित रहे।

• उच्च-क्रम रैखिकीकरण (Higher-Order Linearization): गैर-रैखिकता को संभालने के लिए मुख्य रणनीति उच्च-क्रम रैखिकीकरण की विधि है।

  • प्रथम क्रम: सीमा डेटा पैरामीटर $\varepsilon$ के सापेक्ष DtN मानचित्र के अवकलन द्वारा, समस्या रैखिक श्रोडिंगर ऑपरेटर के व्युत्क्रम समस्या में बदल जाती है। यह बैकग्राउंड विभव $A_0$ और $q_1$ की रिकवरी की अनुमति देता है। रैखीकृत DtN मानचित्र की गेज इनवेरिएंस (gauge invariance) के कारण, $A_0$ के लिए अनूiquity केवल एक ग्रेडिएंट तक ही स्थापित होती है, जिसके लिए $\nabla \cdot A_0$ को ज्ञात मानने की आवश्यकता होती है।
  • द्वितीय और उच्चतर क्रम: उच्च-क्रम के अवकलनों (जैसे, $\partial_{\varepsilon_1}\partial_{\varepsilon_2}$) को लागू करके, लेखक रैखीकृत समीकरणों के समाधानों के उत्पादों से जुड़े इंटीग्रल आइडेंटिटीज (integral identities) प्राप्त करते हैं। इन आइडेंटिटीज में ज्यामितिक प्रकाशिकी समाधानों को प्रतिस्थापित करने और $\lambda \to \infty$ की सीमा लेने पर, उच्च-क्रम के गुणांक ($A_1, q_2$, आदि) अलग हो जाते हैं। सभी उच्च-क्रम पदों को अद्वितीय रूप से पुनर्प्राप्त करने के लिए एक इंडक्टिव तर्क (inductive argument) का उपयोग किया जाता है।

• आंशिक डेटा न्यूनीकरण (Partial Data Reduction): आंशिक डेटा समस्या के लिए, लेखक एक 'यूनिक कंटीन्यूएशन प्रॉपर्टी' का उपयोग करते हैं। यह मानते हुए कि विभव सीमा के पास ज्ञात हैं, वे समाधान को पूर्ण डोमेन तक विस्तारित करने के लिए एक कट-ऑफ फंक्शन का निर्माण करते हैं, जिससे प्रभावी रूप से आंशिक डेटा समस्या को पूर्ण डेटा मामले में बदल दिया जाता है।

प्रमुख परिणाम

1. प्रमेय 1.1 (पूर्ण डेटा अनूiquity): इस धारणा के तहत कि $Q$ में $\nabla \cdot A_0^{(1)} = \nabla \cdot A_0^{(2)}$ है और विभव सीमा पर समान हैं, पूर्ण डिरिचलेट-टू-नेमैन मानचित्र $Q \times \mathbb{C}$ में गैर-रेखीय चुंबकीय और विद्युत विभव $A$ और $q$ को अद्वितीय रूप से निर्धारित करता है।
2. प्रमेय 1.2 (आंशिक डेटा अनूiquity): यदि विभव सीमा के पड़ोस में ज्ञात हैं, तो सीमा के एक अनिश्चित रूप से छोटे खुले उपसमुच्चय पर मापा गया DtN मानचित्र संपूर्ण डोमेन में विभवों को अद्वितीय रूप से निर्धारित करता है।
3. वेल-पोज़्डनेस (प्रमेय 3.8): पर्याप्त छोटे सीमा डेटा के लिए गैर-रेखीय प्रारंभिक-सीमा मान समस्या का एक अद्वितीय समाधान होता है, जिसका समाधान इष्टतम सोबोलेव नियमितता ($H^{m+1, m+2}$) रखता है।

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

• नवीनता: पूर्व साहित्य ने मुख्य रूप से रैखिक ऑपरेटरों या समय-स्वतंत्र गैर-रैखिकताओं पर ध्यान केंद्रित किया है। यह कार्य समय-निर्भर गुणांकों वाले क्वासिलिनियर ऑपरेटरों के दायरे को बढ़ाता है।
• पद्धतिगत योगदान: यह कार्य समय-निर्भर गैर-रेखीय गुणांकों को पुनर्प्राप्त करने के लिए उच्च-क्रम रैखिकीकरण को उच्च-नियमितता वाले ज्यामितिक प्रकाशिकी समाधानों के साथ जोड़ने की प्रभावकारिता को प्रदर्शित करता है। यह विशेष रूप से इस तकनीकी चुनौती को संबोधित करता है कि शेष पदों का उच्च-क्रम सोबोलेव स्थानों में पर्याप्त तेजी से क्षय सुनिश्चित किया जाए ताकि गैर-रेखीय अंतःक्रियाओं को संभाला जा सके।
• दायरा: परिणाम सैद्धांतिक हैं, जो अनूiquity और वेल-पोज़्डनेस स्थापित करते हैं। लेखक किसी विशिष्ट प्रयोगात्मक सेटअप या संख्यात्मक एल्गोरिदम का प्रस्ताव नहीं करते हैं, बल्कि जटिल, समय-परिवर्तित विद्युत चुम्बकीय गुणों को सीमा डेटा से पुनर्प्राप्त करने के लिए गणितीय आधार प्रदान करते हैं।

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