🔢 mathematics

Stochastic Homogenization of Non-local Hamilton-Jacobi-Bellman equations

यह शोध पत्र कोसिगिना-रेज़ाखानलौ-वरदान विधि को अनुकूलित करते हुए, विशेष रूप से अनुमानित सुपर-करेक्टर्स (super-correctors) के निर्माण हेतु गैर-स्थानीय ऑपरेटर को ग्रेडिएंट पर कार्य करने वाले एक नियमित इंटीग्रल ऑपरेटर के डाइवर्जेंस के रूप में एक नवीन निरूपण के माध्यम से, एक स्थिर एर्गोडिक रैंडम मीडियम में जंप-डिफ्यूजन वाले गैर-स्थानीय हैमिल्टन-जैकोबी-बेलमैन समीकरणों का स्टोकेस्टिक होमोजेनाइजेशन स्थापित करता है।

मूल लेखक: Wenjia Jing, Qi Zhang

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

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

CC BY 4.0

मूल लेखक: Wenjia Jing, Qi Zhang

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

कल्पना कीजिए कि आप एक ऐसे जंगल में एक यात्री के पथ की भविष्यवाणी करने की कोशिश कर रहे हैं जो लगातार बदल रहा है। जंगल के कुछ हिस्सों में, ज़मीन चिकनी और अनुमान लगाने योग्य है; अन्य हिस्सों में, यह अचानक होने वाली बड़ी छलांगों और अदृश्य धाराओं का एक अराजक मिश्रण है। यह स्टोकेस्टिक होमोजेनाइजेशन (stochastic homogenization) का संसार है। वैज्ञानिक इस क्षेत्र का उपयोग एक पेचीदा सवाल का जवाब देने के लिए करते हैं: यदि आप काफी दूर तक ज़ूम आउट करते हैं, तो क्या वह सारा अराजक, यादृच्छिक शोर (random noise) औसत होकर एक एकल, चिकने, अनुमान लगाने योग्य नियम में बदल जाता है? इसे एक पिक्सेलेटेड छवि को दूर से देखने जैसा समझें; करीब से देखने पर, आपको टेढ़े-मेढ़े, यादृच्छिक वर्ग दिखाई देते हैं, लेकिन दूर से देखने पर, आप एक स्पष्ट, चिकनी तस्वीर देखते हैं।

इसे समझने के लिए, हमें दो मुख्य उपकरणों की आवश्यकता है। पहला, हैमिल्टन-जेकोबी-बेलमैन (HJB) समीकरण है। आप इसे एक "सबसे स्मार्ट पथ" कैलकुलेटर के रूप में देख सकते हैं। यह यात्री को बताता है कि लक्ष्य तक कितनी जल्दी या कम लागत में पहुँचना है, भले ही इलाका कठिन हो। दूसरा, यादृच्छिक वातावरण (random environments) का विचार है। कल्पना कीजिए कि जंगल केवल यादृच्छिक नहीं है; यह स्थिर (stationary) और एर्गोडिक (ergodic) है। "स्थिर" का अर्थ है कि सांख्यिकीय रूप से जंगल हर जगह एक जैसा दिखता है (यदि आप 10 कदम चलते हैं, तो पेड़ों का पैटर्न वही रहता है)। "एर्गोडिक" का अर्थ है कि यदि आप काफी समय तक घूमते हैं, तो आप अंततः हर प्रकार के पेड़ और ज़मीन के हर तरह के उभार को देख लेंगे, जिससे आपका दीर्घकालिक अनुभव पूरे जंगल का प्रतिनिधित्व करेगा।

यह क्यों मायने रखता है? क्योंकि कई वास्तविक दुनिया की प्रणालियाँ—तरल पदार्थ में कणों की गति से लेकर, यातायात के प्रवाह या वित्तीय बाजारों के व्यवहार तक—इन्हीं नियमों द्वारा संचालित होती हैं। वे छोटे, यादृच्छिक झटकों और अचानक उछालों से भरी होती हैं। यदि हम यह सिद्ध कर सकें कि ये अव्यवस्थित, सूक्ष्म नियम एक साफ, मैक्रोस्कोपिक नियम में बदल जाते हैं, तो हम भविष्य की भविष्यवाणी करने के लिए बेहतर मॉडल बना सकते हैं, सुरक्षित पुलों का डिज़ाइन तैयार कर सकते हैं, या यह समझ सकते हैं कि बीमारियाँ कैसे फैलती हैं।

शोध पत्र का मिशन: "कूदने वाले" जंगल को वश में करना

इस शोध पत्र में, वेनजिया जिंग और क्यू झांग इस समस्या के एक बहुत ही विशिष्ट, बहुत ही अव्यवस्थित संस्करण पर काम कर रहे हैं। वे एक ऐसे जंगल को देख रहे हैं जहाँ यात्री केवल लड़खड़ाता या फिसलता ही नहीं है; वह कूद (jump) भी सकता है।

गणित की दुनिया में, अधिकांश "चिकने" जंगलों को मानक डिफ्यूजन (जैसे पानी में स्याही का फैलना) का उपयोग करके मॉडल किया जाता है। लेकिन जिंग और झांग एक ऐसे जंगल का अध्ययन कर रहे हैं जहाँ ज़मीन अचानक यात्री को हवा में उछाल सकती है। इसे एक नॉन-लोकल ऑपरेटर (non-local operator) द्वारा मॉडल किया जाता है, जो एक फैंसी तरीका है यह कहने का कि "भविष्य की स्थिति इस बात पर निर्भर करती है कि आप अभी कहाँ हैं और आप अचानक कहाँ कूद सकते हैं।" यह एक ऐसे यात्री की तरह है जो केवल चलता ही नहीं है, बल्कि कभी-कभी हवा के एक यादृच्छिक झोंके से टकराकर कुछ फीट दूर टेलीपोर्ट हो जाता है।

लेखक पूछते हैं: यदि एक यात्री इस "कूदने वाले" जंगल में सबसे अच्छा रास्ता खोजने की कोशिश कर रहा है, और जंगल यादृच्छिक, तेजी से बदलते अवरोधों से भरा है, तो क्या यात्री की समग्र रणनीति अंततः एक चिकने, औसत जंगल में चलने जैसी दिखेगी?

बड़ी खोज

शोध पत्र कहता है कि हाँ, लेकिन वहाँ पहुँचने के लिए एक चतुर नए तरीके की आवश्यकता थी।

लेखक सिद्ध करते हैं कि इन जंगली, यादृच्छिक उछालों (गणितीय रूप से "जंप-डिफ्यूजन प्रोसेस" के रूप में वर्णित) के साथ भी, अराजक व्यवहार वास्तव में होमोजेनाइज़ (homogenize) हो जाता है। जैसे-जैसे उछालों का पैमाना छोटा होता जाता है (एक छोटे नंबर $\epsilon$ के शून्य की ओर बढ़ने के रूप में दर्शाया गया है), इस अव्यवस्थित, यादृच्छिक समीकरण का समाधान एक साफ, नियतात्मक (deterministic) समीकरण में परिवर्तित हो जाता है। यादृच्छिक जंगल में यात्री का "सबसे स्मार्ट पथ" एक चिकने, औसत जंगल में पथ के समान हो जाता है।

उन्होंने यह कैसे किया: "सुपर-करैक्टर" (Super-Corrector) तकनीक

इसे सिद्ध करने के लिए, लेखकों को एक बड़ी बाधा को पार करना पड़ा। चिकने जंगलों (जहाँ कोई उछाल नहीं है) के पिछले अध्ययनों में, गणितज्ञों ने "करेक्टर्स" (correctors) का उपयोग करते हुए एक विधि का उपयोग किया था—ये काल्पनिक उपकरण हैं जो यादृच्छिकता के कारण होने वाली त्रुटियों को ठीक करते हैं। लेकिन जब आप इसमें उछाल (jumps) जोड़ देते हैं, तो गणित बहुत कठिन हो जाता है क्योंकि "करैक्टर" को अचानक होने वाली विच्छिन्न (discontinuous) छलांगों का भी हिसाब रखना पड़ता है।

लेखकों का मुख्य नवाचार इस समीकरण के "कूदने वाले" हिस्से को फिर से लिखना था। उन्होंने दिखाया कि इस अराजक, नॉन-लोकल ऑपरेटर को एक रेगुलर इंटीग्रल ऑपरेटर के डाइवर्जेंस (divergence of a regular integral operator) के रूप में देखा जा सकता है। हमारे उदाहरण में, हर एक यादृच्छिक उछाल को व्यक्तिगत रूप से ट्रैक करने के बजाय, उन्होंने उछालों को एक सुचारू, बहती हुई "हवा" के रूप में वर्णित करने का तरीका खोजा जो यात्री को धकेलती है। इसने उन्हें एक विशेष प्रकार का "सुपर-करैक्टर" बनाने की अनुमति दी—एक गणितीय सुरक्षा जाल जो तब भी काम करता है जब यात्री को इधर-उधर टेलीपोर्ट किया जा रहा हो।

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

परिणाम

यह शोध पत्र स्थापित करता है कि इन "कूदने वाले" समस्याओं के एक विस्तृत वर्ग के लिए, यादृच्छिक अराजकता वास्तव में औसत होकर एक नियम बन जाती है। वे दिखाते हैं कि जटिल, यादृच्छिक समीकरण का समाधान एक सरल, साफ समीकरण के समाधान में परिवर्तित हो जाता है। इसका अर्थ यह है कि अचानक होने वाली अप्रत्याशित छलांगों से भरी दुनिया में भी, जब आप बड़े चित्र को देखते हैं, तो एक अंतर्निहित व्यवस्था उभरती है।

लेखक सावधानीपूर्वक यह नोट करते हैं कि यह एक गुणात्मक (qualitative) परिणाम है। उन्होंने यह सिद्ध किया है कि अभिसरण (convergence) होता है और अंतिम चिकना समीकरण कैसा दिखता है, लेकिन उन्होंने अभी तक यह गणना नहीं की है कि यह कितनी तेजी से होता है (अभिसरण की दर)। वे कहते हैं कि यह भविष्य के कार्य के लिए एक चुनौती है। लेकिन फिलहाल, उन्होंने सफलतापूर्वक दिखा दिया है कि "कूदने वाला" जंगल, चाहे वह कितना भी अराजक क्यों न हो, अंततः अपने चिकने, अनुमान लगाने योग्य हृदय को प्रकट करता है।

तकनीकी सारांश: गैर-स्थानीय हैमिल्टन-जैकोबी-बेलमैन समीकरणों का स्टोकेस्टिक होमोजेनाइज़ेशन (Stochastic Homogenization)

समस्या विवरण
यह शोध पत्र एक स्थिर एर्गोडिक रैंडम मीडियम (stationary ergodic random medium) में गैर-स्थानीय हैमिल्टन-जैकोबी-बेलमान (HJB) समीकरणों के स्टोकेस्टिक होमोजेनाइज़ेशन को संबोधित करता है। अध्ययन के तहत विशिष्ट समीकरण है:
$\begin{cases} \partial_t u^\epsilon(t, x) = \epsilon^{\alpha-1} \mathcal{L} u^\epsilon(t, x) + H\left(\nabla u^\epsilon(t, x), \frac{x}{\epsilon}, \omega\right), & (t, x) \in [0, \infty) \times \mathbb{R}^n, \\ u^\epsilon(0, x) = u_0(x), & x \in \mathbb{R}^n, \end{cases}$
जहाँ $\alpha \in (1, 2)$ , $\omega$ एक संभाव्यता स्थान $(\Omega, \mathcal{F}, P)$ के एक तत्व को दर्शाता है, और $H$ एक उत्तल (convex), सुपर-लीनियर रूप से बढ़ने वाला हैमिल्टोनियन है जिसमें तीव्र यादृच्छिक दोलन (rapid random oscillations) हैं। ऑपरेटर $\mathcal{L}$ एक गैर-स्थानीय इंटेग्रो-डिफरेंशियल ऑपरेटर है जिसे एक लेवी मेजर (Lévy measure) द्वारा परिभाषित किया गया है जिसका रूप $K(\hat{y})|y|^{-n-\alpha}dy$ है, जहाँ $K$ यूनिट स्फीयर पर एक स्मूथ, गैर-ऋणात्मक, सममित (even), और यूनिफॉर्मली नॉन-डेजेनरेट फलन है। यह ऑपरेटर एक $\alpha$ -स्टेबल प्रकार के जंप-डिफ्यूजन प्रक्रिया के इन्फिनिटेसिमल जेनरेटर के रूप में कार्य करता है।

उद्देश्य यह सिद्ध करना है कि जैसे-जैसे $\epsilon \to 0$ होता है, $u^\epsilon$ एक नियत (deterministic) होमोजेनाइज्ड समीकरण के समाधान $u$ की ओर स्थानीय रूप से समान रूप से (locally uniformly - लगभग निश्चित रूप से) अभिसरित (converge) होता है:
$\begin{cases} \partial_t u(t, x) = \bar{H}(\nabla u(t, x)), \\ u(0, x) = u_0(x), \end{cases}$
जहाँ $\bar{H}$ एक नियत, उत्तल प्रभावी हैमिल्टोनियन है जो स्थानिक चर $x$ और यादृच्छिक पैरामीटर $\omega$ से स्वतंत्र है।

कार्यप्रणाली (Methodology)
लेखक लुप्त होने वाले लैपलेसियन पदों (vanishing Laplacian terms) वाले स्थानीय HJB समीकरणों के लिए कोसिगिना, रेज़ाखलौ, और वरदान (CPAM 2006) द्वारा विकसित पद्धति को जंप-डिफ्यूजन के शामिल गैर-स्थानीय सेटिंग के लिए अनुकूलित करते हैं। कार्यप्रणाली तीन मुख्य स्तंभों पर आधारित है:

स्टोकेस्टिक ऑप्टिमल कंट्रोल प्रतिनिधित्व: $u^\epsilon$ को एक जंप-डिफ्यूजन प्रक्रिया द्वारा संचालित स्टोकेस्टिक कंट्रोल समस्या के माध्यम से प्रस्तुत किया जाता है। लेखक स्थापित करते हैं कि गैर-स्थानीय ऑपरेटर $\mathcal{L}$ को "डाइवर्जेंस फॉर्म" $\mathcal{L}u = \nabla \cdot (\mathcal{R}\nabla u)$ में पुनर्गठित किया जा सकता है, जहाँ $\mathcal{R}$ एक नियमित इंटीग्रल ऑपरेटर है। होमोजेनाइजेशन प्रक्रिया में गैर-स्थानीय पदों को संभालने के लिए यह संरचनात्मक लक्षण वर्णन अत्यंत महत्वपूर्ण है।
एनवायरनमेंटल प्रोसेस और प्रभावी हैमिल्टोनियन: [24] के दृष्टिकोण का अनुसरण करते हुए, लेखक भौतिक स्थान $\mathbb{R}^n$ से संभाव्यता स्थान $\Omega$ पर जंप-डिफ्यूजन प्रक्रियाओं को उठाने के लिए एक "एनवायरनमेंटल प्रोसेस" $\theta_t$ को परिभाषित करते हैं। इस प्रक्रिया की एर्गोडिसिटी (ergodicity) का उपयोग करते हुए, वे प्रभावी लैग्रेंजियन $\bar{L}$ और तत्पश्चात एक इनवेरिएंट मेजर के माध्यम से एक वेरिएशनल फॉर्मूला का उपयोग करके प्रभावी हैमिल्टोनियन $\bar{H}$ को परिभाषित करते हैं।
अनुमानित सुपर-करेक्टर्स (Approximate Super-Correctors): अभिसरण के ऊपरी पक्ष (upper bound) को स्थापित करने के लिए, लेखक अनुमानित सुपर-समाधान (सुपर-करेक्टर्स) का निर्माण करते हैं। इसमें एक यादृच्छिक वेक्टर क्षेत्र $v$ खोजना शामिल है जिससे एक विशिष्ट असमानता, जिसमें गैर-स्थानीय डाइवर्जेंस ऑपरेटर $J$ और हैमिल्टोनियन शामिल है, बनी रहे:
$Jv(\omega) + H(p + v(\omega), \omega) \leq \bar{H}(p).$
करेक्टर्स का निर्माण मुख्य तकनीकी नवीनता है, जिसके लिए गैर-स्थानीय ऑपरेटर की विलक्षणता (singularity) और मानक एलिप्टिक रेगुलैरिटी के अभाव को संभालना आवश्यक है।

मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.1): मानक स्थिर एर्गोडिक मान्यताओं और उत्तलता/सुपर-लिनियरिटी की शर्तों (Assumption A) के तहत, यह शोध पत्र $u^\epsilon$ का $u$ की ओर लगभग निश्चित स्थानीय समान अभिसरण को सिद्ध करता है। यह परिणाम दो अतिरिक्त तकनीकी मान्यताओं में से किसी एक के तहत मान्य है:
- Assumption (B): हैमिल्टोनियन $H$ पर एक विशिष्ट उत्तलता-निरंतरता स्थिति (वैरिएबल्स के पृथक्करण से संबंधित)।
- Assumption (C): एक शर्त जो यह आवश्यक बनाती है कि हैमिल्टोनियन का ग्रोथ एक्सपोनेंट $\beta$ इस प्रकार हो कि $\beta > n$ , जो सोबोलेव एम्बेडिंग थ्योरम के अनुप्रयोग की अनुमति देता है।
डाइवर्जेंस फॉर्म लक्षण वर्णन: शोध पत्र स्पष्ट रूप से गैर-स्थानीय ऑपरेटर $\mathcal{L}$ को ग्रेडिएंट पर कार्य करने वाले एक नियमित इंटीग्रल ऑपरेटर के डाइवर्जेंस के रूप में वर्णित करता है (धारा 2.2)। यह प्रतिनिधित्व, $\mathcal{L} = J \circ \nabla = \nabla \cdot \mathcal{R} \circ \nabla$ , रैंडम एनवायरनमेंट में करेक्टर्स को परिभाषित करने के लिए आवश्यक है।
रेगुलैरिटी एस्टीमेट्स: लेखक समाधान $u^\epsilon$ के लिए स्थान और समय के संबंध में स्पष्ट रेगुलैरिटी अनुमान प्राप्त करते हैं, जो $\epsilon$ पर निर्भरता दिखाते हैं (Theorem 4.1)। इन अनुमानों का उपयोग पॉइंटवाइज अभिसरण को स्थानीय रूप से समान अभिसरण में अपग्रेड करने के लिए किया जाता है।
सुपर-करेक्टर्स का निर्माण: शोध पत्र गैर-स्थानीय मामले के लिए अनुमानित सुपर-करेक्टर्स के निर्माण का विवरण देता है। स्थानीय मामले के विपरीत, जहाँ अक्सर PDE विधियों के माध्यम से करेक्टर्स का निर्माण किया जाता है, यहाँ लेखक गैर-स्थानीय ऑपरेटर $J$ को संभालने के लिए यादृच्छिक चरों के स्थान पर कॉनवेक्स एनालिसिस और मोलिफिकेशन (mollification) तकनीकों का उपयोग करते हैं।

महत्व और दावे
यह शोध पत्र स्थिर रैंडम मीडियम में लुप्त होने वाले गैर-स्थानीय टर्म्स के साथ गैर-स्थानीय HJB समीकरणों के स्टोकेस्टिक होमोजेनाइज़ेशन को संबोधित करने वाला पहला कार्य होने का दावा करता है।

मौजूदा सिद्धांत का विस्तार: यह कार्य कोसिगिना, रेज़ाखलौ, और वरदान [24] के मौलिक परिणामों को स्थानीय (डिफ्यूजन) सेटिंग्स से गैर-स्थानीय (जंप-डिफ्यूजन) सेटिंग्स तक विस्तारित करता है।
मेथोडोलॉजिकल अनुकूलन: यह प्रदर्शित करता है कि कंट्रोल रिप्रेजेंटेशन और एनवायरनमेंटल प्रोसेस तकनीकें, जो मूल रूप से लुप्त होने वाले लैपलेसियन्स के लिए डिज़ाइन की गई थीं, को जंप प्रक्रियाओं के लिए सफलतापूर्वक अनुकूलित किया जा सकता है। लेखक नोट करते हैं कि जबकि गैर-स्थानीय HJB समीकरणों के लिए विस्कॉसिटी सॉल्यूशन थ्योरी का हाल ही में अध्ययन किया गया है (जैसे, [6, 17, 13]), उनका दृष्टिकोण मुख्य रूप से स्टोकेस्टिक कंट्रोल रिप्रेजेंटेशन और अमूर्त एनवायरनमेंटल प्रोसेस पर निर्भर करता है न कि गहन विस्कॉसिटी सॉल्यूशन थ्योरी पर।
दायरा और सीमाएं: लेखक एक मध्यम दायरा बनाए रखते हैं, जो गुणात्मक होमोजेनाइजेशन पर केंद्रित है। वे स्पष्ट रूप से कहते हैं कि वे अभिसरण की दर (जो स्थानीय मामले में भी कठिन मानी जाती है) या गतिशील रैंडम वातावरण (समय-निर्भर गुणांक) के मामले को संबोधित नहीं करते हैं, हालांकि वे इन्हें भविष्य के कार्य के लिए स्वाभाविक दिशाओं के रूप में सुझाते हैं। यह परिणाम उस स्थिति तक सीमित है जहाँ गैर-स्थानीय टर्म ( $\epsilon^{\alpha-1} \mathcal{L}$ ) $\epsilon \to 0$ होने पर लुप्त हो जाता है।

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

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