🔢 mathematics

The initial-to-final inverse problem for the heat operator

यह शोध पत्र $\mathbb{R}^n$ ( $n \geq 2$ ) पर एक परवलयिक व्युत्क्रम समस्या (parabolic inverse problem) में ऊष्मा-उत्पादन गुणांक (heat-generation coefficient) की विशिष्टता को घातांकीय रूप से बढ़ते समाधानों का निर्माण करके और एक नवीन भारित $L^2$ -अनुमान प्राप्त करके स्थापित करता है, जिससे श्रोडिंगर समीकरण के प्रारंभिक-से-अंतिम-अवस्था परिणामों को हीट ऑपरेटर तक विस्तारित किया जाता है।

मूल लेखक: Enric Alberola, Nesrine Aroua, Pedro Caro

प्रकाशित 2026-08-19

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

CC BY 4.0

मूल लेखक: Enric Alberola, Nesrine Aroua, Pedro Caro

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

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

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

एक नए अध्ययन में, शोधकर्ताओं की एक टीम ने विभिन्न स्थितियों के लिए इस विशिष्ट पहेली को सफलतापूर्वक सुलझा लिया है। उन्होंने सिद्ध किया कि यदि आप हर संभावित प्रारंभिक स्थिति के लिए ऊष्मा के अंतिम वितरण को जानते हैं, तो आप ऊष्मा-उत्पादन गुणांक को विशिष्ट रूप से निर्धारित कर सकते है, बशर्ते कि वह गुणांक क्षेत्र के केंद्र से दूर जाने पर पर्याप्त तेजी से कम होता जाए। शोधकर्ताओं ने केवल यह सुझाव नहीं दिया कि यह संभव है; उन्होंने इसका एक कठोर गणितीय प्रमाण प्रदान किया कि उत्तर अद्वितीय है। कोई अस्पष्टता नहीं है। यदि दो अलग-अलग ऊष्मा-उत्पादन नियमों ने हर संभावित शुरुआत के लिए एक ही अंतिम ऊष्मा मानचित्र (हीट मैप) बनाया, तो वे दोनों नियम शुरुआत से ही एक समान होने चाहिए थे।

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

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

यह कार्य एक ऐसी जांच का विस्तार है जो श्रोडिंगर समीकरण (Schrödinger equation) के साथ शुरू हुई थी, जो क्वांटम प्रणालियों के व्यवहार का वर्णन करता है। हालांकि हीट इक्वेशन की गणितीय संरचना क्वांटम मामले के समान है, लेकिन ऊष्मा के प्रवाह का तरीका महत्वपूर्ण अंतर पैदा करता है जिसके लिए एक नए दृष्टिकोण की आवश्यकता थी। शोधकर्ताओं ने इन विधियों को ऊष्मा प्रसार के अद्वितीय गुणों को संभालने के लिए अनुकूलित किया, विशेष रूप से उस तरीके को जो समय के साथ अनियमितताओं को सुचारू बनाता है। यह सिद्ध करके कि प्रारंभिक अवस्था और अंतिम अवस्था छिपे हुए गुणांक के साथ एक-टू-वन पत्राचार (one-to-one correspondence) में जुड़ी हुई है, उन्होंने यह समझने का द्वार खोल दिया है कि आंतरिक ऊष्मा स्रोतों को उनकी सीमाओं से मापे बिना कैसे पहचाना जा सकता है। यह अध्ययन इस इनवर्स प्रॉब्लम की समाधान क्षमता पर एक निर्णायक बयान है, जो पुष्टि करता है कि ऊष्मा उत्पादन का इतिहास प्रणाली की अंतिम अवस्था में पूरी तरह से एनकोडेड है।

तकनीकी सारांश: हीट ऑपरेटर के लिए प्रारंभिक-से-अंतिम व्युत्क्रम समस्या (Initial-to-Final Inverse Problem)

समस्या का विवरण
यह शोध पत्र "प्रारंभिक-से-अंतिम मानचित्र" (initial-to-final map) से ऊष्मा-उत्पादन गुणांक (heat-generation coefficient) $V(t, x)$ को निर्धारित करने की व्युत्क्रम समस्या को संबोधित करता है। भौतिक मॉडल एक क्षेत्र $\mathbb{R}^n$ ( $n \ge 2$ ) पर विचार करता है जहाँ तापीय चालन (thermal conduction) होता है, और माध्यम ऊष्मा घनत्व $u(t, x)$ के समानुपाती दर से आंतरिक ऊष्मा उत्पन्न करता है, जो इस समीकरण द्वारा नियंत्रित होता है:
$\partial_t u - \Delta u = V u \quad \text{in } (0, T) \times \mathbb{R}^n,$
जिसमें प्रारंभिक स्थिति $u(0, \cdot) = f$ दी गई है।

फॉरवर्ड समस्या एक परिबद्ध रैखिक मानचित्र (bounded linear map) $U_T: L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ को परिभाषित करती है, जो प्रत्येक प्रारंभिक ऊष्मा घनत्व $f$ को उसके अंतिम ऊष्मा घनत्व $u(T, \cdot)$ के रूप में निर्दिष्ट करती है। व्युत्क्रम समस्या यह पूछती है कि: $V$ पर किन शर्तों के तहत, केवल मानचित्र $U_T$ के ज्ञान से गुणांक को अद्वितीय रूप से निर्धारित किया जा सकता है?

लेखक $V \in L^1((0, T); L^\infty(\mathbb{R}^n))$ गुणांकों पर ध्यान केंद्रित करते हैं जो सुपर-एक्सपोनेंशियल क्षय (super-exponential decay) प्रदर्शित करते हैं, जिसका अर्थ है कि सभी $\rho > 0$ के लिए $e^{\rho|x|}V \in L^\infty(\Sigma)$ , जहाँ $\Sigma = (0, T) \times \mathbb{R}^n$ है।

कार्यप्रणाली (Methodology)
यह दृष्टिकोण श्रोडिंगर समीकरण (Schrödinger equation) के लिए कैरो और रुइज़ द्वारा विकसित रणनीति को पैराबोलिक सेटिंग में अनुकूलित करता है। कार्यप्रणाली चार मुख्य चरणों में आगे बढ़ती है:

इंटीग्रल आइडेंटिटी (ऑर्थोगोनैलिटी संबंध):
लेखक पहले यह स्थापित करते हैं कि यदि दो गुणांक $V_1$ और $V_2$ एक ही प्रारंभिक-से-अंतिम मानचित्र ( $U_T^1 = U_T^2$ ) प्रदान करते हैं, तो किसी भी समाधान $u_1$ (जो $V_1$ के साथ फॉरवर्ड समीकरण का समाधान है) और $V_2$ के साथ एडजॉइंट (अंतिम-मान) समीकरण के किसी भी समाधान $v_2$ के लिए, निम्नलिखित ऑर्थोगोनैलिटी संबंध सत्य होता है:
$\int_\Sigma (V_1 - V_2) u_1 v_2 \, dx dt = 0.$
एक्सपोनेंशियल रूप से बढ़ने वाले समाधानों का निर्माण:
इस संबंध का उपयोग करने के लिए, लेखक विशेष रूप से स्थान और समय में तेजी से बढ़ने वाले समाधानों का निर्माण करते हैं। वे निम्नलिखित रूप के समाधान खोजते हैं:
$u = e^{|\nu|^2 t + \nu \cdot x} (u^\sharp + u^\flat),$
जहाँ $\nu \in \mathbb{R}^n$ एक बड़ा पैरामीटर है।

लीडिंग टर्म ( $u^\sharp$ ): इस पद को $\nu$ की दिशा में स्थिर चुना जाता है और यह $\nu$ के लंबवत हाइपरप्लेन में हीट इक्वेशन को हल करता है। इसे उस हाइपरप्लेन पर प्रतिबंधित हीट कर्नेल का उपयोग करके बनाया जाता है।
करेक्शन टर्म ( $u^\flat$ ): यह पद $V$ द्वारा उत्पन्न व्यवधान (perturbation) की भरपाई करता है। इसका निर्माण एक विशिष्ट ऑपरेटर $S_\nu$ से जुड़े इंटीग्रल समीकरण को हल करने की आवश्यकता के साथ किया जाता है। एक प्रमुख तकनीकी बाधा यह सुनिश्चित करना है कि जैसे-जैसे $|\nu| \to \infty$ हो, $u^\flat$ लीडिंग टर्म की तुलना में नगण्य बना रहे।

गाऊसी मोमेंट्स (Gaussian Moments) के माध्यम से मुख्य अनुमान:
मुख्य तकनीकी योगदान यह सिद्ध करना है कि करेक्शन टर्म $u^\flat$ पर्याप्त रूप से तेजी से घटता है। लेखक एक भारित (weighted) $L^2$ स्थान को परिभाषित करते हैं और ऑपरेटर $S_\nu$ के लिए एक महत्वपूर्ण अनुमान (प्रपोजिशन 5.1) सिद्ध करते हैं। यह अनुमान गाऊसी यादृच्छिक चर के मोमेंट जनरेटिंग फंक्शन (लेम्मा 5.1) पर निर्भर करता है, जो $\nu$ की दिशा में हीट कर्नेल की ट्रांसलेशन इनवेरिएंस (translation invariance) को नियंत्रित करने की अनुमति देता है। विशेष रूप से, वे दिखाते हैं कि बड़े $|\nu|$ के लिए, करेक्शन टर्म का नॉर्म $O(1/|\nu|)$ के रूप में स्केल करता है।
ऑर्थोगोनैलिटी संबंध का विस्तार:
चूंकि निर्मित समाधान $u^\nu$ और $v^\nu$ एक्सपोनेंशियल रूप से बढ़ते हैं, वे मानक समाधान स्थान $C([0, T]; L^2(\mathbb{R}^n))$ से संबंधित नहीं होते हैं। लेखक हीट इक्वेशन की पैराबोलिक रेगुलैरिटी (parabolic regularity) का लाभ उठाकर और इंटीग्रेशन बाय पार्ट्स को न्यायसंगत बनाने के लिए कट-ऑफ फंक्शन्स का उपयोग करके, इन एक्सपोनेंशियल रूप से बढ़ने वाले समाधानों के लिए ऑर्थोगोनैलिटी संबंध (2) को कठोरता से विस्तारित करते हैं (अनुभाग 6)।

मुख्य परिणाम
मुख्य परिणाम थ्योरम 1 है, जो कहता है:
माना $V_1, V_2 \in L^1((0, T); L^\infty(\mathbb{R}^n))$ है और $n \ge 2$ है। यदि $V_1$ और $V_2$ दोनों में सुपर-एक्सपोनेंशियल क्षय है, तो:
$U_T^1 = U_T^2 \implies V_1 = V_2.$
प्रमाण विस्तारित ऑर्थोगोनैलिटी संबंध में एक्सपोनेंशियल रूप से बढ़ने वाले समाधानों को प्रतिस्थापित करके आगे बढ़ता है। जैसे-जैसे $|\nu| \to \infty$ होता है, करेक्शन टर्म्स का योगदान लुप्त हो जाता है, जिससे केवल लीडिंग टर्म्स वाले इंटीग्रल का शेष बचता है। लीडिंग टर्म्स में पैरामीटर्स को बदलकर, लेखक समस्या को फूरियर ट्रांसफॉर्म तर्क तक कम करते हैं, अंततः यह दिखाते हुए कि $V_1 - V_2$ का लगभग हर जगह (almost everywhere) शून्य होना चाहिए।

महत्व और दावे
शोध पत्र दावा करता है कि यह विशेष रूप से हीट इक्वेशन के लिए प्रारंभिक-से-अंतिम व्युत्क्रम समस्या के अध्ययन को शुरू करता है। हालांकि इसकी सामान्य संरचना [8] में अध्ययन किए गए श्रोडिंगर केस के समानांतर है, लेखक इस बात पर जोर देते हैं कि हीट ऑपरेटर की पैराबोलिक प्रकृति विशिष्ट चुनौतियों और अवसरों को पेश करती है।

सिद्धांत का विस्तार: यह कार्य प्रारंभिक-से-अंतिम स्टेट मैप्स के लिए श्रोडिंगर समीकरण के अनिक्यता (uniqueness) परिणामों को पैराबोलिक सेटिंग तक विस्तारित करता है।
तकनीकी नवाचार: लेखक रेखांकित करते हैं कि उन्होंने करेक्शन टर्म्स के लिए एक भारित $L^2$ -अनुमान (weighted $L^2$ -estimate) विकसित किया है, जो हीट ऑपरेटर के संदर्भ में गाऊसी मोमेंट जनरेटिंग फंक्शन्स का एक नवीन अनुकूलन है। यह अनुमान $\mathbb{R}^n$ में गैर-कॉम्पैक्ट व्यवधानों (non-compact perturbations) को संभालने के लिए आवश्यक है।
बाउंड्री डेटा से भिन्नता: बाउंड्री मेजरमेंट्स (जैसे डिरिचलेट-टू-नेमैन मैप्स) का उपयोग करके पैराबोलिक समीकरणों के लिए व्युत्क्रम समस्याओं के व्यापक साहित्य के विपरीत, यह कार्य प्रारंभिक-से-अंतिम मानचित्र से ज़ीरो-ऑर्डर गुणांक की रिकवरी को संबोधित करता है। यह स्वरूप उन गैर-कॉम्पैक्ट व्यवधानों पर विचार करने की अनुमति देता है जो मानक बाउंड्री डेटा दृष्टिकोणों की पहुंच से बाहर हो सकते हैं।

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

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