Strong error analysis of a temporal approximation for stochastic Korteweg-de Vries equation with small additive noise

तकनीकी सारांश: लघु योगात्मक शोर वाले स्टोकेस्टिक कोर्टवेग–डी व्रीस (KdV) समीकरण के टेम्पोरल सन्निकटन का सुदृढ़ त्रुटि विश्लेषण

समस्या विवरण
यह शोध पत्र लघु योगात्मक $Q$-वीनर शोर (amplitude $O(\epsilon)$ के साथ, जहाँ $0 < \epsilon \ll 1$) द्वारा संचालित आवर्ती स्टोकेस्टिक कोर्टवेग–डी व्रीस (KdV) समीकरण के सुदृढ़ टेम्पोरल सन्निकटन (strong temporal approximation) को संबोधित करता है। समीकरण इस प्रकार है:
$$\dot{u} + \partial_x^3 u - \mu \partial_x(u^2) = \epsilon Q^{1/2} \dot{W}, \quad t \in [0,T], \ x \in \mathbb{T} = [-\pi, \pi].$$
इस समीकरण का संख्यात्मक विश्लेषण दो प्राथमिक चुनौतियों को प्रस्तुत करता है:

1. गैर-रैखिकता और अवकलज (Nonlinearity and Derivatives): गैर-रैखिक पद $\partial_x(u^2)$ में एक अतिरिक्त अवकलज (derivative) शामिल है, जो आमतौर पर मानक टेम्पोरल विविक्तीकरण (temporal discretizations) के लिए यह आवश्यक बनाता है कि सटीक समाधान $H^{s+3}$ की उच्च नियमितता (regularity) रखता हो, ताकि $H^s$ में प्रथम-क्रम अभिसरण (first-order convergence) सिद्ध किया जा सके।
2. घातांकीय क्षण सीमाओं का अभाव (Lack of Exponential Moment Bounds): सुपरलीनियर गैर-रैखिकता वाले कई अन्य स्टोकेस्टिक SPDs के विपरीत, पूर्ण गैर-रैखिक स्टोकेस्टिक KdV गतिकी के लिए उन घातांकीय समाकलनीयता अनुमानों (exponential integrability estimates) को संतुष्ट करने की जानकारी नहीं है जिनका उपयोग सामान्यतः सुदृढ़ अभिसरण विश्लेषण में किया जाता है। यह नियतकालिक निम्न-नियमितता इंटीग्रेटर्स (deterministic low-regularity integrators) के प्रत्यक्ष स्टोकेस्टिक विस्तार को अत्यधिक जटिल बनाता है।

स्टोकेस्टिक विसरणात्मक PDEs (stochastic dispersive PDEs) पर मौजूदा साहित्य मुख्य रूप से स्टोकेस्टिक श्रोडिंगर और वेव समीकरणों पर केंद्रित रहा है, जबकि स्टोकेस्टिक KdV के लिए सुदृढ़ त्रुटि अनुमान (strong error estimates) काफी हदत तक अनुपस्थित रहे हैं।

कार्यप्रणाली (Methodology)
लेखक एक नवीन दृष्टिकोण प्रस्तावित करते हैं जो लघु-शोर शासन (small-noise regime) ($\epsilon \ll 1$) के अनुकूल है। मुख्य रणनीति समाधान $u$ को एक नियतकालिक घटक $\psi$ और एक पुनर्गठित (rescaled) स्टोकेस्टिक उतार-चढ़ाव $u_\epsilon$ में विखंडन (decomposition) करने की है:
$$u(t) = \psi(t) + \epsilon u_\epsilon(t),$$
जहाँ $\psi$ नियतकालिक KdV समीकरण को हल करता है। उतार-चढ़ाव वाला घटक $u_\epsilon$ एक स्टोकेस्टिक KdV-प्रकार के समीकरण को संतुष्ट करता है जिसमें एक $O(1)$ शोर, एक रैखिक परिवहन पद (linear transport term) जो $\psi$ द्वारा निर्धारित होता है, और एक $O(\epsilon)$ आकार की द्विघात गैर-रखिकता (quadratic nonlinearity) होती है।

कार्यप्रणाली तीन चरणों में आगे बढ़ती है:

1. रैखिकीकरण (Linearization): उतार-चढ़ाव समीकरण में $O(\epsilon)$ द्विघात गैर-रैखिक पद को $\chi$ के लिए एक रैखिकीकृत स्टोकेस्टिक उतार-चढ़ाव समीकरण प्राप्त करने हेतु त्याग दिया जाता है। लेखक यह सिद्ध करते हैं कि $u_\epsilon$ और इसके रैखिकीकरण $\chi$ के बीच का अंतर सुदृढ़ अर्थ में $O(\epsilon)$ के क्रम का है।
2. रैखिकीकृत समीकरण के लिए निम्न-नियमितता इंटीग्रेटर (Low-Regularity Integrator): रैखिकीकृत समीकरण (3.5) के लिए एक निम्न-नियमितता टेम्पोरल इंटीग्रेटर निर्मित किया जाता है। इसमें शामिल है:
   • रैखिक परिवहन पद को संभालने के लिए "ट्विस्टेड वेरिएबल्स" ($\tilde{\chi} = e^{t\partial_x^3}\chi$) का परिचय देना।
   • फूरियर स्पेस में रैखिक परिवहन से उत्पन्न होने वाले इंटीग्रल पद का सटीक एकीकरण करने के लिए फूरियर विश्लेषणात्मक तकनीकों का उपयोग करना।
   • ज़ीरो-मोड स्थिति (Assumption 4.1) का लाभ उठाना ताकि यह सुनिश्चित हो सके कि योजना शून्य-माध्य (zero-mean) उपस्थान में बनी रहती है।
3. त्रुटि विखंडन (Error Decomposition): कुल सुदृढ़ त्रुटि $\|u(t_n) - u_n\|_{L^2(\Omega; L^2)}$ को तीन घटकों में विभाजित किया जाता है:
   • $\psi$ का नियतकालिक टेम्पोरल सन्निकटन त्रुटि।
   • लघु-शोर रैखिकीकरण त्रुटि ($\|u_\epsilon - \chi\|$)।
   • रैखिकीकृत स्टोकेस्टिक उतार-चढ़ाव का टेम्पोरल विविक्तीकरण त्रुटि ($\|\chi - \chi_n\|$)।

मुख्य योगदान और परिणाम
यह शोध पत्र स्टोकेस्टिक KdV समीकरण के टेम्पोरल सन्निकटन के लिए पहले स्पष्ट सुदृढ़ अभिसरण दरें (strong convergence rates) स्थापित करता है। मुख्य सैद्धांतिक परिणाम निम्नलिखित हैं:

• रैखिकीकरण त्रुटि (Linearization Error): उपयुक्त नियमितता धारणाओं ($\xi \in H^2, Q^{1/2} \in L^1_2$) के तहत, रैखिकीकृत उतार-चढ़ाव $\chi$, पुनर्गठित स्टोकेस्टिक उतार-चढ़ाव $u_\epsilon$ को $O(\epsilon)$ के क्रम की सुदृढ़ त्रुटि के साथ सन्निकट करता है (Proposition 3.3)।
• $H^1$-नियमितता के तहत अभिसरण: रैखिकीकृत स्टोकेस्टिक समीकरण के लिए, प्रस्तावित निम्न-नियमितता इंटीग्रेटर $H^1$-नियमितता के तहत सटीक समाधान के लिए $O(\tau^{1/2})$ की सुदृढ़ अभिसरण दर प्राप्त करता है। फलस्वरूप, मूल स्टोकेस्टिक KdV सन्निकटन के लिए कुल त्रुटि अनुमान है:
  $$\sup_{0 \le n \le N} \|u(t_n) - u_n\|_{L^2(\Omega; L^2)} = O\left(\max\{\tau, \epsilon^2, \epsilon \tau^{1/2}\}\right).$$
• $H^2$-नियमितता के तहत अभिसरण: $H^2$-नियमितता धारणाओं ($\xi \in H^3, Q^{1/2} \in L^2_2$) के तहत, रैखिकीकृत समीकरण के लिए अभिसरण दर सुधरकर क्रम 1 हो जाती है। कुल त्रुटि अनुमान सुधरकर निम्न हो जाता है:
  $$\sup_{0 \le n \le N} \|u(t_n) - u_n\|_{L^2(\Omega; L^2)} = O\left(\max\{\tau, \epsilon^2\}\right).$$

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

महत्व और दावे
लेखक दावा करते हैं कि ये स्टोकेस्टिक KdV समीकरण के संख्यात्मक टेम्पोरल सन्निकटन के लिए दिखाई गई पहली स्पष्ट सुदृढ़ अभिसरण दरें हैं। यह कार्य प्रदर्शित करता है कि लघु-शोर शासन में, सटीक सुदृढ़ सन्निकटन प्राप्त किया जा सकता है, भले ही समाधान की नियमितता कम ($H^1$) हो, जो शास्त्रीय योजनाओं जैसे कि Crank–Nicolson के विपरीत है, जिन्हें तुलनीय अभिसरण प्रदर्शित करने के लिए आमतौर पर उच्च नियमितता की आवश्यकता होती है।

यह शोध पत्र निम्न-नियमितता पर स्टोकेस्टिक विसरणात्मक समीकरणों के उभरते संख्यात्मक विश्लेषण में योगदान देता है, यह दिखाते हुए कि कैसे फूरियर-स्पेस निम्न-नियमितता तकनीकों को प्रभावी ढंग से स्टोकेस्टिक परिवर्तनात्मक तर्कों (stochastic perturbative arguments) के साथ जोड़ा जा सकता है। अनुभाग 6 में संख्यात्मक प्रयोग रैखिकीकृत समीकरण और पूर्ण स्टोकेस्टिक KdV दोनों के लिए सैद्धांतिक अभिसरण दरों की पुष्टि करते हैं, जो त्रुटि विखंडन और परीक्षण किए गए शासन में मानक Crank–Nicolson विधियों पर प्रस्तावित योजना (SLR) की श्रेष्ठता को प्रमाणित करते हैं।