Exact solution to a class of problems for the Burgers' equation on bounded intervals

तकनीकी सारांश: सीमित अंतराल पर बर्गर्स समीकरण की एक श्रेणी की समस्याओं के लिए सटीक समाधान

समस्या विवरण
यह शोध पत्र विस्कस बर्गर्स समीकरण (viscous Burgers' equation) को संबोधित करता है, जो एक गैर-रैखिक आंशिक अवकल समीकरण (nonlinear partial differential equation) है जो सामान्य सीमित अंतरालों $[l_1, l_2]$ पर संवहन (convection) और विसरण (diffusion) के बीच संतुलन को मॉडल करता है। विशिष्ट समस्या में फलन $w(x, t)$ को निर्धारित करना शामिल है जो निम्नलिखित के अधीन है:

1. शासी समीकरण (Governing Equation): $w_t - a^2 w_{xx} + w w_x = 0$, जहाँ $a^2$ किनेमैटिक श्यानता गुणांक ($1/Re$) को दर्शाता है।
2. प्रारंभिक स्थिति (Initial Condition): एक गैर-समांगी प्रारंभिक प्रोफाइल $w(x, 0) = w_0(x)$।
3. सीमा शर्तें (Boundary Conditions): निश्चित डिरिचलेट (Dirichlet) सीमा शर्तें $w(l_1, t) = \alpha_1$ और $w(l_2, t) = \alpha_2$।

लेखक उल्लेख करते हैं कि जबकि संख्यात्मक विधियाँ (फाइनाइट डिफरेंस, फाइनाइट एलीमेंट, स्पेक्ट्रल मेथड्स) और अर्ध-विश्लेतिक तकनीकें (अडोमियन डीकंपोजिशन, होमोटोपी परटर्बेशन) प्रचलित हैं, वे अक्सर बंद-रूप समाधान (closed-form solutions) प्रदान करने में विफल रहती हैं या उनके लिए महत्वपूर्ण कम्प्यूटेशनल संसाधनों की आवश्यकता होती है। लक्ष्य एक सटीक परिचालन समाधान (exact operational solution) प्राप्त करना है जो लैप्लेस डोमेन में एक बंद-रूप अभिव्यक्ति और व्युत्क्रम रूपांतरणों (inverse transforms) के माध्यम से एक सटीक समय-डोमेन समाधान प्रदान करता है।

कार्यप्रणाली (Methodology)
प्रस्तावित समाधान रणनीति एक दो-चरणीय रूपांतरण प्रक्रिया पर आधारित है:

1. हॉपफ-कोले रूपांतरण (Hopf-Cole Transformation): शास्त्रीय हॉपफ-कोले रूपांतरण का उपयोग करके गैर-रैखिक बर्गर्स समीकरण को रैखिकीकृत किया जाता है:
   $$w(x, t) = -2a^2 \frac{u_x(x, t)}{u(x, t)}$$
   यह गैर-रैखिक समस्या को एक आयामी ऊष्मा विसरण समीकरण (अभिक्रिया-विसरण शून्य अभिक्रिया के साथ) के लिए एक रैखिक सीमा मान समस्या (linear boundary value problem) में परिवर्तित करता है:
   $$u_t - a^2 u_{xx} = 0$$
   $u$ के लिए प्रारंभिक स्थिति $w_0$ के समाकलन से प्राप्त की जाती है, और $w$ के लिए डिरिचलेट स्थितियाँ $u$ के लिए समांगी रोबिन (Robin) सीमा शर्तों में परिवर्तित हो जाती हैं।

2. लैप्लेस रूपांतरण और परिचालन समाधान (Laplace Transform and Operational Solution): रैखिक ऊष्मा समीकरण को लैप्लेस डोमेन ($p$-domain) में हल किया जाता है। लेखक सीमित अंतरालों पर स्थिर गुणांकों वाले रैखिक अभिक्रिया-विसरण समीकरणों के लिए पहले से स्थापित सटीक परिचालन समाधान का उपयोग करते हैं।

   • समस्या को लैप्लेस डोमेन में एक टू-पॉइंट बाउंड्री वैल्यू प्रॉब्लम के रूप में तैयार किया गया है।
   • $U(x, p)$ के लिए एक सटीक अभिव्यक्ति व्युत्पन्न की गई है, जिसमें $\sqrt{p}$ पर निर्भर चर घातांकीय पद (exponential terms) शामिल हैं और सीमा मानों ($U(l_1, p), U_x(l_1, p), U(l_2, p), U_x(l_2, p)$) को निर्धारित करने के लिए चार समीकरणों का एक रैखिक निकाय शामिल है।
   • चूँकि रैखिकीकृत समीकरण में स्रोत पद शून्य है, इसलिए परिचालन समाधान सरल होकर प्रारंभिक स्थिति रूपांतरण $R(x, p)$ पर निर्भर हो जाता है।

3. समय-डोमेन रिकवरी (Time-Domain Recovery): मूल चर $w(x, t)$ के लिए सटीक समाधान व्युत्क्रम लैप्लेस रूपांतरण के माध्यम से निहित रूप से प्राप्त किया जाता है:
   $$w(x, t) = -2a^2 \frac{\mathcal{L}^{-1}\{U_x(x, p)\}}{\mathcal{L}^{-1}\{U(x, p)\}}$$
   लेखक नोट करते हैं कि हालांकि विश्लेतिक व्युत्क्रम (analytic inverses) बंद रूप में मौजूद हो सकते हैं (संभावित रूप से मेलिन रूपांतरणों के माध्यम से), लैप्लेस अभिव्यक्तियों की जटिलता के बावजूद समय-डोमेन समाधान की गणना करने के लिए अत्यधिक कुशल संख्यात्मक एल्गोरिदम (विशेष रूप से de Hoog et al. एल्गोरिदम जिसे Matlab में invlap.m के रूप में कार्यान्वित किया गया है) का उपयोग किया जाता है।

प्रमुख योगदान और परिणाम
शोध पद्धति को मान्य करने के लिए शोध पत्र दो दृष्टांत उदाहरण प्रस्तुत करता है:

• उदाहरण 1: एक समस्या जिसमें प्रारंभिक स्थिति $w_0(x) = \frac{2a^2\pi \sin(\pi x)}{\sigma + \cos(\pi x)}$ और शून्य सीमा शर्तें हैं। लेखकों ने लैप्लेस डोमेन समाधान व्युत्पन्न किया और व्युत्क्रम रूपांतरण लागू किया। प्राप्त समय-डोमेन समाधान ज्ञात शास्त्रीय सटीक बंद-रूप समाधान (Wood, 2014) से पूरी तरह मेल खाता है।
• उदाहरण 2: एक समस्या जिसमें प्रारंभिक स्थिति $w_0(x) = \sin(\pi x)$ है। इस मामले के लिए शास्त्रीय सटीक समाधान ज्ञात रूप से एक अनंत श्रेणी (infinite series) है। लेखकों की विधि ने लैप्लेस डोमेन में एक निहित सटीक समाधान निर्मित किया। संख्यात्मक रूप से व्युत्क्रम करने पर, परिणाम खंडित अनंत श्रेणी समाधान ("सैद्धांतिक समाधान") के साथ निकटता से संरेखित हुए।

तुलनात्मक प्रदर्शन
अध्ययन प्रस्तावित पद्धति के मौजूदा दृष्टिकोणों पर दो प्राथमिक लाभों को रेखांकित करता है:

1. कम्प्यूटेशनल दक्षता: उदाहरण 2 में, संख्यात्मक व्युत्क्रम लैप्लेस प्रक्रिया को खंडित अनंत श्रेणी समाधान के मूल्यांकन की तुलना में निष्पादन समय में 100 गुना से अधिक तेज़ पाया गया।
2. सटीकता: संख्यात्मक व्युत्क्रम लैप्लेस समाधानों ने सैद्धांतिक श्रेणी समाधानों की तुलना में नगण्य त्रुटि दिखाई। इसके विपरीत, फाइनाइट डिफरेंस समाधान (Matlab के pdepe() के माध्यम से गणना किए गए) ने विशेष रूप से प्रारंभिक समय चरणों पर, श्यानता गुणांक कम होने पर बढ़ती विसंगति दिखाई।

महत्व और दावे
लेखक दावा करते हैं कि उनका कार्य लैप्लेस डोमेन में एक बंद-रूप परिचालन समाधान और समय डोमेन में एक सटीक निहित समाधान प्रदान करता है। वे तर्क देते हैं कि यह दृष्टिकोण अनंत श्रृंखलाओं या विशुद्ध रूप से संख्यात्मक विविक्तकरण (numerical discretization) पर आधारित समाधानों के लिए एक "नवीन विकल्प" प्रदान करता है।

कार्य का महत्व निम्नानुसार फ्रेम किया गया है:

• संदर्भ बिंदु (Reference Point): व्युत्पन्न सटीक समाधान अन्य संख्यात्मक और अर्ध-विश्लेतिक विधियों को मान्य करने और परीक्षण करने के लिए एक मजबूत बेंचमार्क के रूप में कार्य करता है।
• दक्षता: विधि श्रेणी विस्तार (series expansions) की तुलना में कम्प्यूटेशनल रूप से श्रेष्ठ है, जो संसाधन-गहन हो सकती है।
• सामान्यीकरण: कार्य पद्धति सुचारू समाधानों के साथ-साथ डेरिवेटिव में विच्छिन्नता (discontinuities) वाले सामान्यीकृत समाधानों को भी संभालती है।

शोध पत्र विनम्रतापूर्वक निष्कर्ष निकालता है कि उनकी समाधान पद्धति भविष्य के कार्यों के लिए एक संदर्भ होगी, जिसमें उच्च आयामों में फोर्स्ड बर्गर्स समीकरणों और पेनलेवे विश्लेषण (Painlevé analysis) एवं हिरोटा की द्वैत तकनीक (Hirota's bilinear technique) जैसी अन्य गैर-रैखिक विकास समीकरण तकनीकों के साथ संभावित विस्तार शामिल है।