Time and Killed Resolvents in Reflected Optimal Stopping with a Max Payoff

तकनीकी सारांश: परावर्तित इष्टतम स्टॉपिंग (Reflected Optimal Stopping) में स्थानीय समय और किल्ड रेज़ोल्वेंट्स (Killed Resolvents)

1. समस्या का निरूपण
यह शोध पत्र एक दो-आयामी सामान्य रूप से परावर्तित विसरण (normally reflected diffusion) $X = (X_1, X_2)$ के लिए अनंत-क्षितिज इष्टतम स्टॉपिंग (infinite-horizon optimal stopping) समस्या की जांच करता है, जो धनात्मक चतुर्थांश $\mathbb{R}^2_+$ के भीतर सीमित है। निर्णयकर्ता एक रुकने के समय $\tau$ को अधिकतम करने का प्रयास करता है, जो एक निरंतर लागत (running cost) के शुद्ध लाभ को अधिकतम करता है:
$$V(x) = \sup_{\tau} \mathbb{E}_x \left[ e^{-r\tau}G(X_\tau) - \int_0^\tau e^{-rs}c(X_s) ds \right]$$
जहाँ पेऑफ फंक्शन (payoff function) "मैक्स" प्रकार का गैर-चिकना (non-smooth) है: $G(x_1, x_2) = x_1 \vee \alpha x_2$ जहाँ $\alpha > 0$ है। विसरण को अक्षों पर नॉर्मल रिफ्लेक्शन (normal reflection) के अधीन किया गया है, और पेऑफ फंक्शन विकर्ण सेट $\Delta = \{x_1 = \alpha x_2\}$ के साथ एक कॉनवेक्स लिप्सचिट्ज़ किंक (convex Lipschitz kink) रखता है।

लेखक दो प्राथमिक चुनौतियों की पहचान करते हैं जो मानक स्मूथ फ्री-बाउंड्री कैलकुलस को विफल कर देती हैं:

1. सीमा जटिलता (Boundary Complexity): अवस्था (state) न्यूमैन सीमा स्थितियों (Neumann boundary conditions) और मूल बिंदु (origin) पर एक कोने के साथ एक चतुर्थांश में सीमित है।
2. पेऑफ सिंगुलैरिटी (Payoff Singularity): मैक्स-प्रकार का रिवॉर्ड केवल खंडवार रैखिक (piecewise affine) है। इसके वितरण संबंधी द्वितीय व्युत्पन्न (distributional second derivatives) किंक सेट $\Delta$ पर एक सतह माप (surface measure) के रूप में केंद्रित होते हैं, जिससे मानक "स्टॉपिंग गेन" वस्तु एक साधारण फलन के रूप में परिभाषित करना कठिन हो जाता है।

2. कार्यप्रणाली ढांचा (Methodological Framework)
विश्लेषण को दो अलग-अलग स्तरों में संरचित किया गया है ताकि बिना शर्त वाले माप-सिद्धांत संबंधी परिणामों को सशर्त ज्यामितीय धारणाओं से अलग किया जा सके:

• स्तर I (Unconditional): स्टॉपिंग गेन के माप-सिद्धांत संबंधी अपघटन (measure-theoretic decomposition) और वैल्यू फंक्शन के पोटेंशियल-थ्योरेटिक प्रतिनिधित्व पर ध्यान केंद्रित करता है। ये परिणाम केवल परावर्तित विसरण की मौजूदा मान्यताओं (स्थानीय लिप्सचिट्ज़ गुणांक, समान दीर्घवृत्ताकार/uniform ellipticity, स्ट्रॉन्ग मार्कोव गुण) पर निर्भर करते हैं और स्टॉपिंग सेट के विशिष्ट ज्यामितीय गुणों की धारणा नहीं बनाते हैं।
• स्तर II (Conditional): फ्री बाउंड्री की ज्यामिति (जैसे, एपिग्राफ संरचना, एकदिष्टता, स्मूथ फिट) को संबोधित करता है। इन परिणामों के लिए स्टॉपिंग एडवांटेज $H = V - G$ की एकदिष्टता के संबंध में स्पष्ट, मॉडल-विशिष्ट परिकल्पनाओं की आवश्यकता होती है।

कार्यप्रणाली निम्नलिखित का उपयोग करती है:

• इटो-तानाका फॉर्मूला (Itô–Tanaka Formula): $|Y_t|$ की गैर-चिकनाई को संभालने के लिए प्रक्रिया $Y_t = X_{1,t} - \alpha X_{2,t}$ पर लागू किया गया है।
• ऑक्यूपेशन डेंसिटी और को-एरिया आइडेंटिटीज (Occupation Density and Co-area Identities): स्थानीय समय पदों को विकर्ण पर सतह माप में बदलने के लिए उपयोग किया जाता है।
• किल्ड रेज़ोल्वेंट्स (Killed Resolvents): वैल्यू फंक्शन को स्टॉपिंग सेट में प्रवेश पर किल्ड (killed) होने वाले रेज़ोलवेंट ऑपरेटर का उपयोग करके दर्शाया जाता है, न कि अनप्रतिबंधित रेज़ोलवेंट का।
• वेरिफिकेशन थ्योरम्स (Verification Theorems): सामान्यीकृत इटो वर्गों और मेजर-सुपरहारमोनिसिटी पर आधारित, जो वैल्यू फंक्शन की ए प्रायर रेगुलेरिटी (a priori regularity) पर निर्भर रहने से बचते हैं।

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

• माप-मान युक्त स्टॉपिंग गेन (Measure-Valued Stopping Gain): यह शोध पत्र सिद्ध करता है कि स्टॉपिंग गेन वस्तु $\Gamma = c + rG - \mathcal{L}G$ एक फलन नहीं बल्कि एक हस्ताक्षरित रेडॉन माप (signed Radon measure) है। यह एक पूर्णतः निरंतर भाग और विकर्ण $\Delta$ पर एक सिंगुलर सतह माप में विभाजित होता है:
  $$\Gamma_\Delta(dx) = -\frac{q(x)}{2\sqrt{1+\alpha^2}} \sigma_\Delta(dx)$$
  जहाँ $q(x) = n^\top a(x) n$ है और $n=(1, -\alpha)$, तथा $a(x)$ विसरण सहप्रसरण मैट्रिक्स (diffusion covariance matrix) है। स्थानीय दीर्घवृत्ताकार (local ellipticity) के तहत, $q(x) > 0$ है, जो विकर्ण घटक को सख्ती से ऋणात्मक बनाता है।

• विकर्ण परिहार प्रमेय (Diagonal Avoidance Theorem): विकर्ण माप की सख्त ऋणात्मकता का प्रत्यक्ष परिणाम यह है कि किंक सेट $\Delta$ का कोई भी आंतरिक बिंदु स्टॉपिंग सेट का हिस्सा नहीं हो सकता। इष्टतम रणनीति हमेशा विकर्ण पर होने पर जारी रहने (continue करने) की होती है। इसे यह दिखाकर सिद्ध किया गया है कि विकर्ण किंक पर एक अत्यंत लघु समय $h$ तक प्रतीक्षा करने से प्राप्त स्थानीय समय लाभ (जो $\sqrt{h}$ के रूप में स्केल करता है) निरंतर लागत (जो $h$ के रूप में स्केल करती है) पर हावी रहता है।

• किल्ड रेज़ोलवेंट प्रतिनिधित्व (Killed Resolvent Representation): लेखक स्थापित करते हैं कि सही वैल्यू प्रतिनिधित्व है:
  $$V(x) = G(x) - R^C_r \Gamma(x)$$
  जहाँ $R^C_r$ स्टॉपिंग सेट $\tau_D$ में प्रथम प्रवेश समय पर किल्ड किया गया रेज़ोलवेंट है। वे कठोरता से प्रदर्शित करते हैं कि अनप्रतिबंधित परावर्तित रेज़ोलवेंट $R^R_r$ सामान्यतः गलत है क्योंकि परावर्तित प्रक्रिया स्टॉपिंग सेट को हिट करने के बाद पुन: कंटिन्यूएशन रीजन में प्रवेश कर सकती है, जिससे "अतिरिक्त" ऑक्यूपेशन जमा हो जाता है जिसे इष्टतम स्टॉपिंग समस्या में नहीं गिनना चाहिए। एक आयामी परावर्तित ब्राउनियन मोशन का क्लोज्ड-फॉर्म काउंटर-एग्जांपल इस अंतर को मात्रात्मक रूप से दर्शाता है।

• कॉर्नर टर्म विश्लेषण (Corner Term Analysis): शोध पत्र मूल बिंदु $(0,0)$ पर संभावित सिंगुलैरिटी को संबोधित करता है। विशिष्ट मान्यताओं के तहत (जो गैर-विकेंद्रित परावर्तित ब्राउनियन मोशन के लिए सत्यापित हैं), इटो-तानाका फॉर्मूला में कॉर्नर योगदान शून्य हो जाता है, जिससे यह सुनिश्चित होता है कि मेजर अपघटन आंतरिक भाग में वैश्विक रूप से मान्य है।

4. सत्यापन और संख्यात्मक प्रयोग
यह प्रदर्शित करने के लिए कि ढांचा क्रियाशील है, लेखक स्थिर ड्रिफ्ट और सहप्रसरण वाले परावर्तित ब्राउनियन मोशन बेंचमार्क के लिए सभी स्तर I परिणामों को सत्यापित करते हैं।

• विश्लेषणात्मक सत्यापन: वे पुष्टि करते हैं कि वैल्यू फंक्शन वैश्विक रूप से लिप्सचिट्ज़ है, विकर्ण माप सख्ती से ऋणात्मक है, और किल्ड-रेज़ोलवेंट प्रतिनिधित्व मान्य है।
• संख्यात्मक प्रयोग:
  1. लोकल टाइम स्केलिंग: मोंटे कार्लो सिमुलेशन सैद्धांतिक $\sqrt{t}$ स्केलिंग को पुनः प्राप्त करते हैं, जो किंक पर स्थानीय समय को मान्य करता है।
  2. रेज़ोलवेंट गैप: एक 1D परावर्तित प्रक्रिया के सिमुलेशन किल्ड और अनप्रतिबंधित रेज़ोल्वेंट्स के बीच सटीक सकारात्मक अंतर को दोहराते हैं।
  3. विकर्ण परिहार: बाधा समस्या (obstacle problem) के फाइनाइट-डिफरेंस समाधान विकर्ण के साथ एक रिज (ridge) के रूप में कंटिन्यूशन एडवांटेज को विज़ुअलाइज़ करते हैं, जो यह दर्शाता है कि स्टॉपिंग सेट डोमेन को भरता तो है लेकिन किंक से सख्ती से बचता है।

5. महत्व और दावे
यह शोध पत्र गैर-चिकने पेऑफ के साथ बहु-आयामी इष्टतम स्टॉपिंग के ह्यूरिस्टिक उपचारों के लिए एक कठोर सुधार प्रदान करने का दावा करता है। इसका प्राथमिक महत्व है:

1. स्टॉपिंग गेन को सुधारना: यह स्थापित करना कि $\Gamma$ एक हस्ताक्षरित माप है जिसमें किंक पर एक सख्त ऋणात्मक सिंगुलर भाग है, जो सिंगुलर घटक को अलग किए बिना "$\Gamma \ge 0$ ऑन द स्टॉपिंग सेट" जैसी बिंदुवार स्थितियों को अमान्य करता है।
2. पोटेंशियल प्रतिनिधित्व को सुधारना: यह सिद्ध करना कि वैल्यू फंक्शन को एक किल्ड रेज़ोलवेंट के माध्यम से दर्शाया जाना चाहिए, जो इस आम गलत धारणा को सुधारता है कि अनप्रतिबंधित परावर्तित रेज़ोलवेंट पर्याप्त है।
3. ज्यामिति और तंत्र को अलग करना: स्तर I (अनकंडीशनल) और स्तर II (कंडीशनल) के बीच अंतर करके, यह शोध पत्र परावर्तित बहु-आयामी सेटिंग्स में फ्री बाउंड्री की स्वचालित नियमितता का दावा करने से बचता है। यह स्पष्ट रूप से बताता है कि जबकि विकर्ण कभी भी स्टॉपिंग सेट नहीं होता है, स्टॉपिंग सेट का वैश्विक आकार (जैसे, क्या यह एक एपिग्राफ बनाता है) एक मॉडल-विशिष्ट समस्या बनी रहती है जिसके लिए अतिरिक्त संरचनात्मक परिकल्पनाओं की आवश्यकता होती है।

लेखक निष्कर्ष निकालते हैं कि हालांकि "नो-स्टॉपिंग-ऑन-द-किंक" घटना मजबूत और अनकंडीशनल है, फ्री बाउंड्री की पूर्ण ज्यामिति का लक्षण वर्णन करने के लिए स्टॉपिंग एडवांटेज $H = V - G$ पर आगे के संरचनात्मक अनुमानों की आवश्यकता होती है जो केवल विसरण गतिकी द्वारा निहित नहीं हैं।