स्थानीय समय (गणित)

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

औपचारिक परिभाषा
एक निरंतर वास्तविक मूल्य वाला सेमीमार्टिंगेल के लिए $$(B_s)_{s\ge 0}$$, का स्थानिक समय $$B$$ बिंदु पर $$x$$ स्टोकेस्टिक प्रक्रिया है जिसे अनौपचारिक रूप से परिभाषित किया किया जाता है।


 * $$L^x(t) =\int_0^t \delta(x-B_s)\,d[B]_s,$$

यहां डेल्टा डिरेक डेल्टा फ़ंक्शन है और $$[B]$$ द्विघात भिन्नता है। यह एक नवीनतम नवीकरण है, जिसे पॉल लेवी द्वारा आविष्कृत किया गया है। मूल विचार यह है $$L^x(t)$$ कितने समय का एक (उचित रूप से पुनर्मापित और समय-पैरामीत्रित) एक माप है, जो बताता है कि कितना समय $$B_s$$ ने $$x$$ पर खर्च किया है समय $$t$$ तक।  अधिक सख्ती से कहा जा सकता है कि यह लगभग सुनिश्चित सीमा के रूप में लिखा जा सकता है।


 * $$ L^x(t) =\lim_{\varepsilon\downarrow 0} \frac{1}{2\varepsilon} \int_0^t 1_{\{ x- \varepsilon < B_s < x+\varepsilon \}} \, d[B]_s,$$

यह सदैव मौजूद होने का प्रमाणित किया जा सकता है। ध्यान दें कि ब्राउनियन गति के विशेष मामले में या अधिक सामान्य रूप से एक वास्तविक मूल्य वाले विकीर्ण के रूप में$$ dB = b(t,B)\,dt+ dW$$ जहां $$ W $$ एक ब्राउनियन गति है), शब्द $$d[B]_s$$ सरलतापूर्वक $$ds$$ में संक्षिप्त हो जाता है, जो यह समझाता है कि इसे $$x$$ पर $$B$$ का स्थानिक समय कहा जाता है। एक अविचलित अवस्था-स्थान प्रक्रिया के लिए $$(X_s)_{s\ge 0}$$, स्थानीय समय को और सरलतापूर्वक व्यक्त किया जा सकता है जैसे कि
 * $$ L^x(t) =\int_0^t 1_{\{x\}}(X_s) \, ds.$$

तनाका का सूत्र
टानाका का सूत्र एक ऐसी परिभाषा भी प्रदान करता है जो किसी भी अनियमित निरंतर सेमीमार्टिंगेल के लिए स्थानिक समय की परिभाषा देता है $$(X_s)_{s\ge 0}$$ पर $$ \mathbb R: $$
 * $$ L^x(t) = |X_t - x| - |X_0 - x| - \int_0^t \left( 1_{(0,\infty)}(X_s - x) - 1_{(-\infty, 0]}(X_s-x) \right) \, dX_s, \qquad t \geq 0. $$

इसका एक और अधिक सामान्य रूप मेयर और वांग; ने सिद्ध किया गया था ,यह सूत्र दोहरी विभेद्यता वाले फ़ंक्शनों के लिए आईटो के लेमा को विस्तारित करता है। यदि $$ F:\mathbb R \rightarrow \mathbb R$$ व्युत्पन्न के साथ बिल्कुल निरंतर है $$ F',$$ जो तब परिबद्ध भिन्नता संकेतक है
 * $$ F(X_t) = F(X_0) + \int_0^t F'_{-}(X_s) \, dX_s + \frac12 \int_{-\infty}^\infty L^x(t) \, dF'_{-}(x), $$

यहाँ $$ F'_{-}$$ बायाँ व्युत्पन्न है।

अगर $$X$$ एक ब्राउनियन गति है, तो किसी के लिए भी $$\alpha\in(0,1/2)$$ स्थानीय समय का क्षेत्र $$ L = (L^x(t))_{x \in \mathbb R, t \geq 0}$$ एक संशोधन है जो a.s है। होल्डर लगातार अंदर $$ x$$ प्रतिपादक के साथ $$\alpha$$, समान रूप से बंधे हुए $$x$$ और $$t$$. सामान्य रूप से, $$ L $$ का एक संशोधन होता है जो $$t$$ में निरंतर होता है और $$x$$ में कैडलैग होता है।

टानाका का सूत्र एक-आयामी प्रतिफलनीय ब्राउनियन मोशन के लिए स्पष्ट डूब-मेयर विश्लेषण प्रदान करता है $$(|B_s|)_{s \geq 0}$$.

रे-नाइट प्रमेय
स्थैतिक प्रक्रिया पर आधारित तत्वांक क्षेत्र $$ L_t = (L^x_t)_{x \in E}$$ एक अंतरिक्ष पर एक स्टोकेस्टिक प्रक्रिया से जुड़ा हुआ है $$E$$ यादृच्छिक क्षेत्रों के क्षेत्र में एक अच्छी तरह से अध्ययन किया जाने वाला विषय है। रे-नाइट प्रकार के प्रमेय क्षेत्र L t एक गाऊसी प्रक्रिया के साथ जुड़े होते हैं।

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

पहला रे-नाइट प्रमेय
चलो (बीt)t ≥ 0 बी से शुरू होने वाली एक आयामी ब्राउनियन गति हो0 = ए> 0, और (डब्ल्यूt)t≥0 डब्ल्यू से शुरू होने वाली एक मानक द्वि-आयामी ब्राउनियन गति हो0 = 0 ∈ आर 2। रुकने के समय को परिभाषित करें जिस पर बी पहली बार उत्पत्ति से टकराता है, $$ T = \inf\{t \geq 0 \colon B_t = 0\}$$. रे और नाइट (स्वतंत्र रूप से) ने दिखाया

जहां (एलt)t ≥ 0 के स्थानीय समय का क्षेत्र है (बीt)t ≥ 0, और समानता सी [0, ए] पर वितरण में है। प्रक्रिया | डब्ल्यूx|2 को वर्गाकार बेसेल प्रक्रिया के रूप में जाना जाता है।

दूसरी किरण-नाइट प्रमेय
चलो (बीt)t ≥ 0 एक मानक एक आयामी ब्राउनियन गति हो B0 = 0 ∈ R, और माना (Lt)t ≥ 0 स्थानीय समय का संबद्ध क्षेत्र हो। चलो टीa पहली बार हो जब शून्य पर स्थानीय समय a> 0 से अधिक हो
 * $$ T_a = \inf \{ t \geq 0 \colon L^0_t > a \}.$$

चलो (डब्ल्यूt)t ≥ 0 डब्ल्यू से शुरू होने वाली एक स्वतंत्र एक-आयामी ब्राउनियन गति हो0 = 0, तब

समान रूप से, प्रक्रिया $$(L^x_{T_a})_{x \geq 0}$$ (जो स्थानिक चर में एक प्रक्रिया है $$x$$) पर शुरू हुई 0-आयामी बेसेल प्रक्रिया के वर्ग के वितरण के बराबर है $$ a $$, और जैसा कि मार्कोवियन है।

सामान्यीकृत रे-नाइट प्रमेय
रे-नाइट प्रकार के अधिक सामान्य स्टोकास्टिक प्रक्रियाओं के परिणामों का गहन अध्ययन किया गया है, और प्रबल सममित मार्कोव प्रक्रियाओं के लिए दोनों ($$) और ($$) के उपमा वाक्य ज्ञात हैं।

यह भी देखें

 * तनाका का सूत्र
 * ब्राउनियन गति
 * यादृच्छिक क्षेत्र

संदर्भ

 * K. L. Chung and R. J. Williams, Introduction to Stochastic Integration, 2nd edition, 1990, Birkhäuser, ISBN 978-0-8176-3386-8.
 * M. Marcus and J. Rosen, Markov Processes, Gaussian Processes, and Local Times, 1st edition, 2006, Cambridge University Press ISBN 978-0-521-86300-1
 * P. Mörters and Y. Peres, Brownian Motion, 1st edition, 2010, Cambridge University Press, ISBN 978-0-521-76018-8.