🔢 mathematics

Quantitative observability for one-dimensional Schrödinger equations with potentials

यह शोध पत्र कम- और उच्च-आवृत्ति अनुमानों के लिए विशिष्ट तकनीकों का उपयोग करते हुए, वास्तविक-मान वाले, परिबद्ध सतत विभव (potentials) वाले एक-आयामी श्रोडिंगर समीकरण के लिए 'थिक सेट्स' पर एक स्पष्ट नियंत्रण लागत के साथ मात्रात्मक अवलोकनीयता (quantitative observability) स्थापित करता है, जिससे पिछले दीर्घ-समय अवलोकनीयता परिणामों को अनिश्चित लघु समयों तक विस्तारित किया जाता है और स्पेक्ट्रमी असमानताओं को परिबद्ध सतत विभवों के लिए सामान्यीकृत किया जाता है।

मूल लेखक: Pei Su, Chenmin Sun, Xu Yuan

प्रकाशित 2026-07-20

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Pei Su, Chenmin Sun, Xu Yuan

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि ब्रह्मांड एक विशाल, अदृश्य महासागर है जहाँ सूक्ष्म कण, जैसे कि इलेक्ट्रॉन, केवल स्थिर नहीं रहते बल्कि लहरों की तरह थिरकते और नाचते हैं। इन लहरों का वर्णन करने के लिए एक प्रसिद्ध नियमों का समूह है जिसे श्रोडिंगर समीकरण (Schrödinger equation) कहा जाता है, जो क्वांटम दुनिया के लिए एक मौसम पूर्वानुमान की तरह कार्य करता है। यह हमें बताता है कि ये कण कैसे चलते हैं, कैसे फैलते हैं, और अपने परिवेश के साथ कैसे अंतःक्रिया करते हैं। लेकिन यहाँ पेचीदा बात यह है कि वास्तविक दुनिया में, हम सब कुछ एक साथ नहीं देख सकते। हमारे पास आमतौर पर इस महासागर का केवल एक छोटा सा हिस्सा होता है, एक विशिष्ट "नियंत्रण क्षेत्र" (control region) जहाँ हम तरंगों को माप सकते हैं या उन पर प्रभाव डाल सकते हैं।

बड़ा सवाल जो वैज्ञानिकों ने पूछा है वह यह है: यदि हम इस क्वांटम महासागर के केवल एक छोटे, शायद अस्त-व्यस्त या अनियमित हिस्से को देख सकते हैं, तो क्या हम अभी भी यह पता लगा सकते हैं कि शुरुआत में पूरी लहर कैसी दिखती थी? यह बिल्कुल वैसा ही है जैसे कि एक एकल, बादलों से भरे झरोखे को देखकर पूरे तूफान के आकार का अनुमान लगाना। यदि हम ऐसा कर सकते हैं, तो इसका अर्थ है कि हमारे पास "अवलोकनीयता" (observability) है। यह केवल एक गणितीय पहेली नहीं है; यह "नियंत्रता" (controllability) की कुंजी है। यदि हम एक छोटे से टुकड़े से पूरी तस्वीर देख सकते हैं, तो हम केवल उस छोटे से नियंत्रण क्षेत्र का उपयोग करके सिस्टम को निर्देशित भी कर सकते—जैसे किसी अंतरिक्ष यान को मार्ग दिखाना या क्वांटम कंप्यूटर को स्थिर करना। चुनौती तब और कठिन हो जाती है जब "महासागर" खाली नहीं होता, बल्कि उसमें छिपी हुई धाराएँ (पोटेंशियल/potentials) होती हैं जो लहरों को इधर-उधर धकेलती हैं, और जब हमारा झरोखा एक आदर्श वर्ग नहीं बल्कि बिंदुओं का एक खुरदरा, बिखरा हुआ संग्रह होता है।

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

लेखक एक "मात्रात्मक अवलोकनीयता" (quantitative observability) का परिणाम सिद्ध करते हैं। सरल शब्दों में, इसका अर्थ यह नहीं है कि उन्होंने केवल यह कहा कि "हाँ, यह संभव है"; बल्कि उन्होंने एक विशिष्ट सूत्र लिखा है जो यह दर्शाता है कि पूरी लहर को देखने के लिए कितने "प्रयास" या "लागत" की आवश्यकता होगी। उन्होंने पाया कि यह लागत एक अनुमानित तरीके से बढ़ती है जैसे-जैसे अवलोकन के लिए उपलब्ध समय कम होता जाता है। विशेष रूप से, उन्होंने दिखाया कि जैसे-जैसे समय $T$ शून्य की ओर बढ़ता है, लागत $e^{C/T^2}$ की तरह तेजी से बढ़ती है। यह एक महत्वपूर्ण विवरण है क्योंकि यह पिछले शोध के एक लंबे समय से चले आ रहे प्रश्न का उत्तर देता है: क्या यह बहुत कम समय के लिए काम करता है? उत्तर एक निश्चित "हाँ" है।

इस समस्या को हल करने के लिए, लेखकों को इस समस्या को दो अलग-अलग भागों में विभाजित करना पड़ा, जैसे कि खिलौनों के एक मिश्रित ढेर को "धीमे" और "तेज" श्रेणियों में छाँटना। लहर के "निम्न-आवृत्ति" (low-frequency) वाले भाग धीमी, भारी लहरें हैं जो धीरे-धीरे चलती हैं। इनके लिए, लेखकों ने एक ज्ञात गणितीय उपकरण (स्पेक्ट्रल इनइक्वालिटी) का विस्तार किया ताकि यह उनके खुरदरे, निरंतर पोटेंशियल के साथ काम कर सके, यह सिद्ध करते हुए कि ये धीमी लहरें नियंत्रण क्षेत्र के अंधेरे स्थानों में छिप नहीं सकतीं। "उच्च-आवृत्ति" (high-frequency) वाले भाग फुर्तीले, तेज गति वाले रिपल्स हैं। इनके लिए, उन्होंने "रिजोल्वेंट एस्टीमेट्स" (resolvent estimates) से जुड़ी एक अलग तकनीक का उपयोग किया, जो अनिवार्य रूप से यह मापती है कि लहर दबाव पड़ने पर कैसी प्रतिक्रिया देती है। उन्होंने दिखाया कि ये तेज लहरें भी यदि नियंत्रण क्षेत्र "सघन" है, तो पहचान से बच नहीं सकतीं।

उनके प्रमाण का सबसे रचनात्मक हिस्सा इन दोनों टुकड़ों को आपस में जोड़ना है। आमतौर पर, गणितज्ञ निम्न और उच्च आवृत्तियों को जोड़ने के लिए "कॉम्पैक्टनेस" (compactness) तर्क का उपयोग करते हैं, लेकिन जब स्थान अनंत (unbounded) होता है, जैसा कि उनके द्वारा अध्ययन की गई रेखा में है, तो यह युक्ति विफल हो जाती है। इसके बजाय, लेखकों ने FBI ट्रांसफॉर्म नामक एक चतुर गणितीय रूपांतरण का उपयोग किया। आप इसे एक जादुई लेंस के रूप में सोच सकते हैं जो श्रोडिंगर समीकरण (क्वांटम लहर) को हीट इक्वेशन (गर्मी के प्रसार का तरीका) में बदल देता है। गर्मी बहुत ही अनुमानित तरीके से फैलती है, और लेखकों ने इसका उपयोग यह दिखाने के लिए किया कि यदि एक लहर नियंत्रण क्षेत्र में गायब हो जाती है, तो उसे शुरुआत में हर जगह शून्य होना चाहिए था। इस "विशिष्ट निरंतरता" (unique continuation) गुण ने उन्हें निम्न-आवृत्ति और उच्च-आवृत्ति के परिणामों को एक पूर्ण प्रमाण में बुनने की अनुमति दी।

परिणाम एक कठोर, सिद्ध कथन है कि किसी भी 1D श्रोडिंगर समीकरण के लिए जिसमें एक सीमित, निरंतर पोटेंशियल है, यदि आपका नियंत्रण क्षेत्र "सघन" है (अर्थात उसका कवरेज हर जगह एक गारंटीकृत न्यूनतम घनत्व रखता है), तो आप किसी भी समय $T > 0$ के लिए सिस्टम को देख और नियंत्रित कर सकते हैं। वे स्पष्ट रूप से इस विचार को खारिज करते हैं कि आपको एक लंबे समय या एक पूर्ण, ठोस नियंत्रण क्षेत्र की आवश्यकता है; एक खुरदरा, बिखरा हुआ, लेकिन "सघन" क्षेत्र पर्याप्त है। यह शोध पत्र नियंत्रण की लागत के लिए एक ठोस ऊपरी सीमा प्रदान करता है, यह सुनिश्चित करते हुए कि हालांकि बहुत कम समय के लिए लागत बहुत अधिक हो जाती है, फिर भी यह सीमित और गणनीय रहती है। यह कार्य पिछले निष्कर्षों का विस्तार करता है जो खाली स्थान या विशिष्ट प्रकार के पोटेंशियल तक सीमित थे, यह दिखाते हुए कि क्वांटम अवलोकन की मजबूती अधिक जटिल, वास्तविक वातावरण में भी बनी रहती है।

तकनीकी सारांश: एक-आयामी श्रोडिंगर समीकरणों के लिए मात्रात्मक अवलोकनीयता (Quantitative Observability)

समस्या विवरण
यह नोट वास्तविक रेखा $\mathbb{R}$ पर एक वास्तविक-मान वाले, परिबद्ध और निरंतर विभव (potential) $V(x)$ वाले एक-आयामी श्रोडिंगर समीकरण की मात्रात्मक अवलोकनीयता को संबोधित करता है। समीकरण इस प्रकार है:
$i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t=0} = u_0 \in L^2(\mathbb{R}).$
मुख्य प्रश्न यह है कि क्या प्रारंभिक अवस्था $u_0$ को एक मापने योग्य उपसमुच्चय $\Omega \subset \mathbb{R}$ पर समाधान $u(t)$ को समय अंतराल $(0, T)$ में देखकर अद्वितीय रूप से निर्धारित (और $L^2$ नॉर्म में सीमित) किया जा सकता है। विशेष रूप से, लेखक यह स्थापित करने का प्रयास करते हैं कि क्या निम्नलिखित असमानता (inequality) संभव है:
$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C(T, V, \Omega) \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt,$
जहाँ नियंत्रण लागत (control cost) $C(T, V, \Omega)$ को स्पष्ट रूप से मात्रात्मक रूप से परिभाषित किया गया है। यह अध्ययन "खुरदरे" (rough) नियंत्रण क्षेत्रों पर केंद्रित है, विशेष रूप से $(L, \zeta)$ -थिक सेट्स (thick sets) पर, जो ऐसे मापने योग्य सेट हैं जो सभी $x \in \mathbb{R}$ के लिए $|\Omega \cap [x, x+L]| \geq \zeta L$ को संतुष्ट करते हैं। जबकि कॉम्पैक्ट मैनिफोल्ड्स और परिबद्ध डोमेन पर अवलोकनीयता का व्यापक अध्ययन किया गया है, सामान्य परिबद्ध विभवों और किसी भी लघु समय $T > 0$ वाले अनबाउंडेड डोमेन के मामले में यह क्षेत्र कम खोजा गया है।

कार्यप्रणाली (Methodology)
मुख्य प्रमेय की सिद्धि के लिए लेखक एक तीन-चरणीय रणनीति का उपयोग करते हैं जो स्पेक्ट्रल विश्लेषण, रिज़ॉलवेंट अनुमान (resolvent estimates) और एक मात्रात्मक ग्लूइंग (gluing) तर्क को जोड़ती है:

निम्न-आवृत्ति स्पेक्ट्रल असमानता (Low-Frequency Spectral Inequality):
लेखक समाधान के निम्न-आवृत्ति भाग के लिए एक स्पेक्ट्रल असमानता स्थापित करते हैं। इसमें एक 2D एलिप्टिक समीकरण के समाधान के लिए 'प्रोपैगेशन ऑफ स्मॉलनेस' (propagation of smallness) को सिद्ध करना शामिल है, जो श्रोडिंगर ऑपरेटर से व्युत्पन्न होता है।

वे एक गेज ट्रांसफॉर्मेशन का उपयोग करते हैं ताकि गैर-डाइवर्जेंस रूप वाले एलिप्टिक समीकरण $-\Delta \phi + V(x)\phi = 0$ को डाइवर्जेंस रूप $\nabla \cdot (A(z)\nabla \tilde{\phi}) = 0$ में बदला जा सके।
समतल पर एलिप्टिक समीकरणों के लिए 'प्रोपैगेशन ऑफ स्मॉलनेस' के हालिया परिणाम [38] का लाभ उठाते हुए, वे $L^2$ -प्रोपैगेशन ऑफ स्मॉलनेस अनुमान प्राप्त करते हैं।
इससे एक स्पेक्ट्रल असमानता (लेम्मा 3.8) प्राप्त होती है जो $\|\Pi_\mu f\|_{L^2} \leq C e^{3\mu} \|\Pi_\mu f\|_{L^2(\Omega)}$ के रूप में है, जहाँ $\Pi_\mu$ आवृत्तियों $\mu$ तक के लिए संबद्ध स्पेक्ट्रल प्रोजेक्टर है। यह परिणाम लेब्यू-मोयानो [27] की वास्तविक-विश्लेषिक (real-analytic) विभवों वाली स्पेक्ट्रल असमानता का विस्तार है।

उच्च-आवृत्ति रिज़ॉलवेंट अनुमान (High-Frequency Resolvent Estimate):
उच्च-आवृत्ति भाग के लिए, लेखक हौटस (Hautus) प्रकार का एक रिज़ॉलवेंट अनुमान (लेम्मा 4.1) प्राप्त करते हैं:
$\|f\|_{L^2}^2 \leq \frac{C}{\mu} \|(H - \mu)f\|_{L^2}^2 + C \|f\|_{L^2(\Omega)}^2.$
यद्यपि मुक्त श्रोडिंगर ऑपरेटर ( $V=0$ ) के लिए [19] में इसी तरह के अनुमान मौजूद हैं, लेखक $V \in L^\infty(\mathbb{R})$ के मामले के लिए एक अलग, अधिक मौलिक प्रमाण प्रदान करते हैं। यह प्रमाण लॉगविनेंको-सेरेडा (Logvinenko-Sereda) अनिश्चितता सिद्धांत के मात्रात्मक विश्लेषण का उपयोग करता है, विशेष रूप से थिक सेट्स पर $\cos^2(\lambda(x-x_0))$ के इंटीग्रल का अनुमान लगाकर (लेम्मा 4.2)।
FBI ट्रांसफॉर्मेशन के माध्यम से मात्रात्मक ग्लूइंग (Quantitative Gluing via FBI Transformation):
विश्लेषण का सबसे सूक्ष्म हिस्सा पूर्ण अवलोकनीयता असमानता प्राप्त करने के लिए निम्न-आवृत्ति और उच्च-आवृत्ति अनुमानों को जोड़ना है। गैर-कॉम्पैक्ट सेटिंग्स में जहाँ ऑपरेटर के पास कॉम्पैक्ट रिज़ॉलवेंट नहीं होता है, मानक कॉम्पैक्टनेस-यूनिकनेस तर्क विफल हो जाते हैं।

लेखक संबद्ध हीट सेमग्रुप (heat semigroup) की अवलोकनीयता से प्राप्त मात्रात्मक 'यूनिक कॉन्टिन्यूएशन प्रॉपर्टी' का उपयोग करते हैं।
वे 1D श्रोडिंगर समीकरण को 1D हीट समीकरण में मैप करने के लिए फूरियर-ब्रोस-इयागोलनिक (Fourier-Bros-Iagolnitzer - FBI) ट्रांसफॉर्मेशन का उपयोग करते हैं।
हीट सेमग्रुप के लिए बैकवर्ड-इन-टाइम अवलोकनीयता (प्रपोजिशन 3.10) को स्थापित करके और FBI ट्रांसफॉर्मेशन लागू करके, वे एक मात्रात्मक यूनिक कॉन्टिन्यूशन अनुमान (प्रपोजिशन 5.1) प्राप्त करते हैं जो श्रोडिंगर समाधान को हीट समाधान से जोड़ता है।
यह उन्हें अनुमानों को "ग्लू" (जोड़ने) की अनुमति देता है, जिससे कॉम्पैक्ट रिज़ॉलवेंट तर्कों की आवश्यकता समाप्त हो जाती है।

मुख्य परिणाम (Key Results)
मुख्य परिणाम (थ्योरम 1.2) बताता है कि किसी भी $(L, \zeta)$ -थिक सेट $\Omega$ और किसी भी विभव $V \in C(\mathbb{R}) \cap L^\infty(\mathbb{R})$ के लिए, एक स्थिरांक $C = C(V, L, \zeta)$ मौजूद है कि किसी भी $T > 0$ के लिए:
$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C e^{\frac{C}{T^2}} \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt.$
परिणाम की मुख्य विशेषताएं शामिल हैं:

अनिश्चित रूप से लघु समय (Arbitrary Short Time): अवलोकनीयता किसी भी $T > 0$ के लिए मान्य है, न कि केवल बड़े समय के लिए।
स्पष्ट नियंत्रण लागत (Explicit Control Cost): नियंत्रण लागत के बढ़ने की दर (blow-up rate) स्पष्ट रूप से $e^{C/T^2}$ के रूप में दी गई है।
सामान्य विभव (General Potentials): यह परिणाम बाउंडेड कंटीन्यूअस पोटेंशियल के लिए लागू होता है, जो मुक्त समीकरणों या वास्तविक-विश्लेषिक विभवों तक सीमित पिछले कार्यों का विस्तार करता है।

हिल्बर्ट यूनिकनेस मेथड (Hilbert Uniqueness Method) के परिणाम के रूप में, लेखक संबद्ध इनहोमोजेनियस (inhomogeneous) श्रोडिंगर समीकरण की सटीक नियंत्रणीयता (exact controllability) भी सिद्ध करते हैं (कोरोलरी 1.4)।

महत्व और दावे (Significance and Claims)
लेखक इस कार्य को मौजूदा साहित्य के विस्तार के रूप में निम्नलिखित तरीकों से प्रस्तुत करते हैं:

हुआंग-वांग-वांग [20] का विस्तार: वे 1D मुक्त श्रोडिंगर समीकरण के लिए बड़े-समय अवलोकनीयता के परिणाम को किसी भी लघु समय $T > 0$ के लिए विस्तारित करते हैं और इसे बाउंडेड कंटीन्यूअस पोटेंशियल वाले ऑपरेटरों तक सामान्यीकृत करते हैं। यह [20] में उठाए गए लघु-समय अवलोकनीयता संबंधी प्रश्न का उत्तर देता है।
लेब्यू-मोयानो [27] का विस्तार: वे स्पेक्ट्रल असमानता को विस्तारित करते हैं, जो पहले वास्तविक-विश्लेषिक विभवों के लिए स्थापित की गई थी, अब एक आयाम में बाउंडेड कंटीन्यूअस पोटेंशियल के मामले में।
गैर-कॉम्पैक्ट सेटिंग: यह शोध एक अनबाउंडेड डोमेन ( $\mathbb{R}$ ) पर रफ कंट्रोल रीजन के साथ अवलोकनीयता की समस्या को संबोधित करता है, जो कि कॉम्पैक्ट मैनिफोल्ड केस की तुलना में बहुत कम अध्ययन किया गया सेटअप है।
पद्धतिगत योगदान: लेखक हीट और श्रोडिंगर अवलोकनीयता के बीच के अंतर को पाटने के लिए अपने FBI ट्रांसफॉर्मेशन के उपयोग को रेखांकित करते हैं, जो गैर-कॉम्पैक्ट सेटिंग्स में एक मात्रात्मक विकल्प प्रदान करता है, क्योंकि यहाँ क्लासिकल कॉम्पैक्टनेस-यूनिकनेस रणनीति लागू नहीं होती है।

लेखक यह भी उल्लेख करते हैं कि इन परिणामों को एक मानक डेंसिटी तर्क के माध्यम से $L^\infty(\mathbb{R})$ में विभवों के लिए विस्तारित किया जा सकता है, हालांकि मुख्य विश्लेषण नोटेशन को सरल बनाने के लिए निरंतर विभवों के लिए प्रस्तुत किया गया है।

तकनीकी सारांश: एक-आयामी श्रोडिंगर समीकरणों के लिए मात्रात्मक अवलोकनीयता (Quantitative Observability)

इसी तरह के और पेपर