A new comparison principle for discrete Volterra equations with an application to convex sweeping processes with infinite delays

यहाँ शोध पत्र "A new comparison principle for discrete Volterra equations with an application to convex sweeping processes with infinite delays" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र डिलेड स्वीपिंग प्रोसेसेज (delayed sweeping processes) के गणितीय विश्लेषण और संख्यात्मक सन्निकटन (numerical approximation) को संबोधित करता है, जो स्मृति (memory) और गैर-अतिव्यापी बाधाओं (non-overlapping constraints) वाले सिस्टम को मॉडल करने वाले डिफरेंशियल इनक्लूजन (differential inclusions) का एक वर्ग है।

• संदर्भ: यह अध्ययन उन बहु-कोशिकीय प्रणालियों (multi-cellular systems) के मॉडलिंग से प्रेरित है जहाँ कोशिकाएं "एडहेसिव मेमोरी" (transient bonds के माध्यम से पिछले स्थानों से चिपके रहना) प्रदर्शित करती हैं और उन्हें गैर-अतिव्यापी बाधाओं (एक उपयुक्त उत्तल समुच्चय $C(t)$ के भीतर गति करना) को पूरा करना होता है।
• मॉडल: शास्त्रीय स्वीपिंग प्रोसेसेज (Moreau's model) के विपरीत, जिसमें एक समय-व्युत्पन्न (time-derivative) $\dot{X}(t)$ शामिल होता है, यह मॉडल व्युत्पन्न को एक वोल्टेरा इंटीग्रल ऑपरेटर (Volterra integral operator) से बदल देता है जो अनंत विलंब (infinite distribution of delays) का प्रतिनिधित्व करता है:
  $$X(t) - \int_0^\infty \varrho(a) X(t-a) \, da \in -N_{C(t)}(X(t))$$
  यहाँ, $X(t)$ अवस्था (state) है, $\varrho$ एक गैर-ऋणात्मक मेमोरी कर्नेल (memory kernel) है, और $N_{C(t)}$ चलते हुए उत्तल समुच्चय (moving convex set) का नॉर्मल कोन (normal cone) है।
• मुख्य चुनौती:
  1. गैर-सूक्ष्म प्रोजेक्शन (Non-infinitesimal Projections): शास्त्रीय स्वीपिंग प्रोसेसेज में, प्रोजेक्शन दूरी सूक्ष्म ($O(h)$) होती है। इस डिलेड मॉडल में, प्रोजेक्शन दूरी $O(1)$ हो सकती है क्योंकि अवस्था पूरे पिछले इतिहास पर निर्भर करती है। यह शास्त्रीय सिद्धांत में उपयोग किए जाने वाले मानक कॉम्पैक्टनेस तर्क (compactness arguments) को तोड़ देता है।
  2. विविक्तकरण एकरूपता (Discretization Uniformity): वोल्टेरा समीकरणों के लिए मौजूदा स्थिरता और अभिसरण उपकरण (जैसे, लाप्लास ट्रांसफॉर्म, रिज़ॉलवेंट्स का स्पेक्ट्रल अपघटन) अक्सर विविक्तकरण चरण $h$ के संबंध में एकरूप सीमाएं (uniform bounds) प्रदान करने में विफल रहते हैं। यह निरंतर सीमा के लिए समाधानों के अस्तित्व को सिद्ध करना कठिन बनाता है, विशेष रूप से उन कर्नेल्स के लिए जो घातांकीय रूप से क्षय (exponentially decay) नहीं होते हैं (जैसे, बीजगणितीय क्षय/algebraic decay)।

2. कार्यप्रणाली (Methodology)

लेखक एक नवीन विश्लेषणात्मक ढांचा विकसित करते हैं जो स्पेक्ट्रल विधियों और रिज़ॉलवेंट फलनों (resolvent functions) से बचता है, और इसके बजाय तुलना सिद्धांतों (comparison principles) और ऊर्जा अनुमानों (energy estimates) पर ध्यान केंद्रित करता है।

A. एक नया तुलना सिद्धांत (सतत और विविक्त) (A New Comparison Principle - Continuous and Discrete)

मुख्य सैद्धांतिक योगदान गैर-ऋणात्मक, गैर-घातांकीय कर्नेल्स के साथ वोल्टेरा समीकरणों के लिए एक तुलना सिद्धांत है।

• बाधा: वोल्टेरा समीकरणों के लिए निर्मित मानक सुपर-सॉल्यूशंस अक्सर विफल हो जाते हैं क्योंकि कर्नेल का "पूंछ" (tail) (समय $t$ से $\infty$ तक का इंटीग्रल) एक ऋणात्मक पद बनाता है जिसे सामान्य कर्नेल्स (जैसे, बहुपद क्षय/polynomial decay) के लिए समान रूप से सीमित नहीं किया जा सकता है।
• समाधान: लेखक एक इनिशियल लेयर करेक्टर (initial layer corrector) ($w(t)$) पेश करते हैं।
  • वे एक सुपर-सॉल्यूशन $S(t) = U(t) + \|f\|_\infty w(t)$ का निर्माण करते हैं, जहाँ $U(t)$ एक मानक प्रोफाइल है, और $w(t)$ एक विशिष्ट सहायक समस्या को हल करता है जिसे ऋणात्मक पूंछ के योगदान को रद्द करने के लिए डिज़ाइन किया गया है।
  • यह उन्हें यह सिद्ध करने की अनुमति देता है कि यदि स्रोत पद (source term) सीमित है, तो समाधान $L^\infty$ में सीमित है, जो कर्नेल के स्पेक्ट्रल गुणों से स्वतंत्र है।
• विविक्त अनुकूलन (Discrete Adaptation): वे इसे विविक्त सेटिंग (piecewise constant approximations) में कठोरता से अनुवादित करते हैं। वे एक विविक्त इनिशियल लेयर करेक्टर $W^n$ को परिभाषित करते हैं और सिद्ध करते हैं कि यह चरण आकार $h$ के संबंध में समान रूप से सीमित और गैर-ऋणात्मक रहता है।

B. ऊर्जा अनुमान और कॉम्पैक्टनेस (Energy Estimates and Compactness)

स्वीपिंग प्रोसेस के अस्तित्व को स्थापित करने के लिए, लेखक मिनिमाइजिंग मूवमेंट्स (minimizing movements) (De Giorgi) दृष्टिकोण का उपयोग करते हैं।

• पुनर्गठन (Reformulation): विविक्त स्वीपिंग चरण को एक ऊर्जा फलन को न्यूनतम करने के समकक्ष दिखाया गया है:
  $$E_n(W) = \frac{h}{2} \sum_{j \ge 1} (W - X_{n-j})^2 R_j$$
  जहाँ $R_j$ विविक्त कर्नेल भार (discrete kernel weights) हैं।
• विक्षोभ (Dissipation): वे एक विविक्त ऊर्जा विक्षोभ असमानता (discrete energy dissipation inequality) प्राप्त करते हैं। मुख्य कठिनाई यह है कि अनियंत्रित औसत स्थिति और प्रोजेक्ट की गई स्थिति के बीच की "दूरी" छोटी नहीं है ($O(1)$ है, न कि $O(h)$)।
• एकरूप सीमाएं (Uniform Bounds): नए तुलना सिद्धांत का उपयोग करके, वे विविक्त समाधानों पर एकसमान $H^1$ सीमाएं स्थापित करते हैं। यह महत्वपूर्ण है क्योंकि समय-व्युत्पन्न पद के बिना, मानक कॉम्पैक्टनेस (Ascoli-Arzelà) इन सीमाओं के बिना सीधे लागू नहीं की जा सकती है।

C. अभिसरण विश्लेषण (Convergence Analysis)

• चलते हुए गोलाकार सेट (Moving Circular Sets): वे विशेष रूप से उस मामले के लिए अभिसरण सिद्ध करते हैं जहाँ बाधा सेट एक चलता हुआ गोला है $C(t) = B(c(t), R)$।
• ज्यामितीय हैंडलिंग (Geometric Handling): वे "प्रोजेक्शन-स्टेप प्रोडक्ट" $\langle \delta P, \delta X \rangle$ का विश्लेषण करते हैं। चलते हुए सेटों में, यह पद स्वतः ही गैर-ऋणात्मक नहीं होता है। लेखक इसे यह दिखाने के लिए विघटित करते हैं कि यह सीमित रहता है, जो चलते हुए केंद्र $c(t)$ की ज्यामिति पर निर्भर करता है।
• सीमा (Limit): तुलना सिद्धांत से प्राप्त एकसमान $H^1$ सीमाओं (और परिशिष्ट B से विविक्त कॉन्वोल्यूशन के अभिसरण) को जोड़कर, वे विविक्त अनुक्रम को निरंतर विलंबित स्वीपिंग प्रोसेस के समाधान की ओर अभिसरण करने के लिए सिद्ध करते हैं।

3. मुख्य योगदान (Key Contributions)

1. रिज़ॉलवेंट-मुक्त तुलना सिद्धांत (Resolvent-Free Comparison Principle): गैर-घातांकीय, गैर-ऋणात्मक कर्नेल्स के लिए वोल्टेरा समीकरणों के लिए एकसमान $L^\infty$ सीमाएं प्राप्त करने के लिए एक इनिशियल लेयर करेक्टर का परिचय। यह लाप्लास ट्रांसफॉर्म या स्पेक्ट्रल अपघटन की आवश्यकता को समाप्त करता है, जो विविक्तकरण चरण के संबंध में एकसमान नहीं होते हैं।
2. विलंबित स्वीपिंग प्रोसेसेज के लिए अस्तित्व (Existence for Delayed Sweeping Processes): विभेदक ऑपरेटरों (differential operators) के बजाय विलंब ऑपरेटरों (delay memory operators - Volterra type) द्वारा संचालित स्वीपिंग प्रोसेसेज के समाधानों के अस्तित्व को सिद्ध करना। यह उस अंतराल को भरता है जहाँ विभेदक ऑपरेटर की अनुपस्थिति के कारण कॉम्पैक्टनेस पहले खो जाती थी।
3. एकसमान विविक्त स्थिरता (Uniform Discrete Stability): यह स्थापित करना कि विविक्त सन्निकटन $h$ के संबंध में स्थिर और सीमित रहता है, भले ही प्रोजेक्शन दूरी $O(1)$ हो।
4. संख्यात्मक सत्यापन (Numerical Validation): एक मजबूत संख्यात्मक एल्गोरिदम (टैन्जेंशियल रिफाइनमेंट के साथ न्यूटन-आधारित प्रोजेक्शन) प्रदान करना और संगत प्रारंभिक डेटा के लिए द्वितीय-क्रम अभिसरण (second-order convergence) प्रदर्शित करना।

4. मुख्य परिणाम (Main Results)

• प्रमेय 1 और 2 (तुलना सिद्धांत): सिद्ध करता है कि गैर-ऋणात्मक, एकदिष्ट (monotone) कर्नेल्स के साथ दोनों सतत और विविक्त वोल्टेरा समीकरणों के समाधान $L^\infty$ में सीमित हैं, जिनके बॉउंड्स विविक्तकरण चरण $h$ से स्वतंत्र हैं।
• प्रपोजिशन 3 (ऊर्जा विक्षोभ): स्थापित करता है कि विविक्त स्वीपिंग प्रोसेस एक विविक्त ऊर्जा विक्षोभ नियम का पालन करता है, जो समाधान की वृद्धि को नियंत्रित करता है।
• प्रमेय 6 (गोलाकार सेटों के लिए अभिसरण): विशिष्ट कर्नेल स्थितियों (बीजगणितीय क्षय जैसे $\varrho(a) \sim (1+a)^{-\alpha}$ सहित) के तहत, विविक्त स्वीपिंग अनुक्रम एक निरंतर समाधान $X(t)$ की ओर अभिसरित होता है जो निम्नलिखित समावेशन (integral inclusion) को संतुष्ट करता है:
  $$X(t) - \int_0^\infty \varrho(s) X(t-s) \, ds \in -N_{C(t)}(X(t))$$
• संख्यात्मक परिणाम: लिसजस कर्व्स (Lissajous curves) और स्टेडियम-आकार के बाधाओं के साथ सिमुलेशन पुष्टि करते हैं कि प्रोजेक्शन दूरी वास्तव में $O(1)$ है (एक सिस्टम गुण, न कि संख्यात्मक आर्टिफैक्ट) और यह योजना संगत प्रारंभिक स्थितियों के लिए क्रम 2 के साथ अभिसरित होती है।

5. महत्व और प्रभाव (Significance and Impact)

• सैद्धांतिक प्रगति: यह कार्य स्वीपिंग प्रोसेसेज के सिद्धांत को शास्त्रीय मोरो फ्रेमवर्क (डिफरेंशियल इनक्लूजन) से आगे बढ़ाकर इंटीग्रो-डिफरेंशियल और शुद्ध इंटीग्रल परिवेश तक विस्तारित करता है। यह उन सिस्टम के लिए एक कठोर आधार प्रदान करता है जहाँ स्मृति प्रभाव तात्कालिक गतिकी (instantaneous dynamics) पर हावी होते हैं।
• जैविक मॉडलिंग: इसके परिणाम संरचनात्मक वातावरण में कोशिका प्रवास और आसंजन (cell migration and adhesion) के मॉडलिंग का समर्थन करते हैं, जहाँ कोशिकाएं क्षणिक बंधों (transient bonds) के माध्यम से अपने पिछले स्थानों के साथ परस्पर क्रिया करती हैं। अनंत विलंब और गैर-सूक्ष्म प्रोजेक्शन को संभालने की क्षमता सटीक जैविक सिमुलेशन के लिए आवश्यक है।
• संख्यात्मक मजबूती: विकसित तुलना सिद्धांत वोल्टेरा समीकरणों के लिए संख्यात्मक योजनाओं के विश्लेषण के लिए एक नया उपकरण प्रदान करता है, विशेष रूप से तब जब कर्नेल में विश्लेषिकता (analyticity) या घातांकीय क्षय की कमी होती है, जो भौतिक और जैविक मॉडलों में एक सामान्य परिदृश्य है।
• भावी दिशाएँ: लेखक नोट करते हैं कि सामान्य उत्तल सेटों (गोला के परे) और प्रॉक्स-रेगुलर (गैर-उत्तल) सेटों तक इन परिणामों को विस्तारित करना एक खुला प्रश्न बना हुआ है, क्योंकि प्रोजेक्शन-स्टेप प्रोडक्ट का ज्यामितीय अपघटन अधिक जटिल हो जाता है।

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