लेब्सग्यू-स्टिल्टजेस एकीकरण

माप सिद्धांत गणितीय विश्लेषण और गणित की संबंधित शाखाओं में, लेब्सग्यू-स्टिल्टजेस समाकलन रीमैन-स्टिल्टजेस समाकलन और लेब्सग्यू समाकलन दोनों को सामान्यीकृत करता है, और अधिक सामान्य माप-सैद्धांतिक संरचना में पूर्व के कई लाभों को संरक्षित करता है। अतः लेब्सग्यू-स्टिल्टजेस समाकलन, लेब्सग्यू-स्टिल्टजेस माप के रूप में जाने जाने वाले माप के संबंध में सामान्य लेब्सग्यू समाकलन है, जो वास्तविक रेखा पर सीमित भिन्नता के किसी भी फलन से संबद्ध हो सकता है। लेब्सग्यू-स्टिल्टजेस माप नियमित बोरेल माप है, और इसके विपरीत वास्तविक रेखा पर प्रत्येक नियमित बोरेल माप इस प्रकार का होता है।

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

परिभाषा

अतः इस प्रकार से लेब्सग्यू-स्टिल्टजेस समाकलन

$\int _{a}^{b}f(x)\,dg(x)$

को तब परिभाषित किया जाता है जब $f:\left[a,b\right]\rightarrow \mathbb {R}$ बोरेल-माप्य फलन और परिबद्ध फलन होता है, और $g:\left[a,b\right]\rightarrow \mathbb {R}$ [a, b] और दाएं-संतत में सीमित भिन्नता का होता है, या जब  f  गैर-ऋणात्मक होता है और g एकदिष्ट फलन और सतत फलन होता है। अतः आरंभ करने के लिए, यह मान लें  f  गैर-ऋणात्मक है और g एकदिष्ट ह्वासमान और सम-संतत है। w((s, t]) = g(t) − g(s) और w({a}) = 0 को परिभाषित करें (वैकल्पिक रूप से, g वाम-संतत, w([s,t)) = g(t) − g(s) और w({b}) = 0) के लिए निर्माण कार्य करता है।

इस प्रकार से कैराथोडोरी की विस्तार प्रमेय के अनुसार, [a, b] पर एक अद्वितीय बोरेल माप μ_g है जो प्रत्येक अंतराल I पर w से सहमत है। माप μ_g एक बाह्य माप (वस्तुतः, एक मीट्रिक बाह्य माप) से उत्पन्न होता है जो

$\mu _{g}(E)=\inf \left\{\sum _{i}\mu _{g}(I_{i})\ :\ E\subseteq \bigcup _{i}I_{i}\right\}$

द्वारा दिया जाता है, जो कि E के सभी आवरणों पर अगणनीय अर्ध-विवृत अंतरालों द्वारा लिया जाता है। अतः इस माप को कभी-कभी g से संबद्ध लेबेस्गु-स्टिल्टजेस माप भी कहा जाता है।

इस प्रकार से लेब्सग्यू-स्टिल्टजेस समाकलन

$\int _{a}^{b}f(x)\,dg(x)$

को सामान्य विधि से माप μ_g के संबंध में  f  के लेब्सग्यू समाकलन के रूप में परिभाषित किया गया है। अतः यदि g गैर वर्द्धमान है, तो

$\int _{a}^{b}f(x)\,dg(x):=-\int _{a}^{b}f(x)\,d(-g)(x)$

को परिभाषित करें, बाद वाला समाकलन पूर्ववर्ती निर्माण द्वारा परिभाषित किया जा रहा है।

इस प्रकार से यदि g परिबद्ध भिन्नता का है और  f  परिबद्ध है, तो

$dg(x)=dg_{1}(x)-dg_{2}(x)$

लिखना संभव है जहां g₁(x) = V ^x
_ag अंतराल [a, x], और g₂(x) = g₁(x) − g(x) में g की कुल भिन्नता है। अतः दोनों g₁ और g₂ एकदिष्ट ह्वासमान हैं। अब g के संबंध में लेब्सग्यू-स्टिल्टजेस समाकलन को

$\int _{a}^{b}f(x)\,dg(x)=\int _{a}^{b}f(x)\,dg_{1}(x)-\int _{a}^{b}f(x)\,dg_{2}(x),$

द्वारा परिभाषित किया गया है, जहां बाद के दो समाकलन पूर्ववर्ती निर्माण द्वारा ठीक रूप से परिभाषित हैं।

डेनियल समाकलन

इस प्रकार से एक वैकल्पिक दृष्टिकोण (हेविट & स्ट्रोमबर्ग 1965) लेब्सग्यू-स्टिल्टजेस समाकलन को डेनियल समाकलन के रूप में परिभाषित करना है जो सामान्य रीमैन-स्टिल्टजेस समाकलन का विस्तार करता है। अतः मान लीजिए कि g [a, b] पर एक गैर-ह्रासमान दाएँ-संतत फलन है, और I( f ) को सभी सतत फलन  f  के लिए रीमैन-स्टिल्टजेस समाकलन

$I(f)=\int _{a}^{b}f(x)\,dg(x)$

के रूप में परिभाषित करता है। फलनात्मक (गणित) I [a, b] पर रेडॉन माप को परिभाषित करता है। फिर इस प्रकार्यात्मक को

${\begin{aligned}{\overline {I}}(h)&=\sup \left\{I(f)\ :\ f\in C[a,b],0\leq f\leq h\right\}\\{\overline {\overline {I}}}(h)&=\inf \left\{I(f)\ :\ f\in C[a,b],h\leq f\right\}\end{aligned}}$

समूहित करके सभी गैर-नऋणात्मक फलन के वर्ग तक बढ़ाया जा सकता है।

इस प्रकार से बोरेल माप्य फलनों के लिए, किसी के निकट

${\overline {I}}(h)={\overline {\overline {I}}}(h),$

है, और तत्समक के दोनों ओर फिर h के लेब्सग्यू-स्टिल्टजेस समाकलन को परिभाषित करता है। बाह्य माप μ_g को

$\mu _{g}(A):={\overline {I}}(\chi _{A})={\overline {\overline {I}}}(\chi _{A})$

के माध्यम से परिभाषित किया गया है जहां χ_A, A का सूचक फलन है।

अतः परिबद्ध भिन्नता के समाकलन को धनात्मक और ऋणात्मक विविधताओं में विघटित करके उपरोक्त विधि से नियंत्रित किया जाता है।

उदाहरण

मान लीजिए कि समतल में  γ : [a, b] → R² एक संशोधनीय वक्र है और  ρ : R² → [0, ∞) बोरेल माप्य है। तब हम ρ द्वारा भारित यूक्लिडियन मापन के संबंध में γ की लंबाई को

$\int _{a}^{b}\rho (\gamma (t))\,d\ell (t)$

के रूप में परिभाषित कर सकते हैं, जहां $\ell (t)$ γ से [a, t] के प्रतिबंध की लंबाई है। इसे कभी-कभी γ की ρ-लंबाई भी कहा जाता है। इस प्रकार से यह धारणा विभिन्न अनुप्रयोगों के लिए अत्यधिक उपयोगी है: उदाहरण के लिए, कीचड़ भरे क्षेत्र में जिस गति से कोई व्यक्ति चल सकता है वह इस बात पर निर्भर हो सकता है कि कीचड़ कितना गहन है। यदि  ρ(z) z पर या उसके निकट चलने की गति के व्युत्क्रम को दर्शाता है, तो γ की ρ-लंबाई वह समय है जो γ को पार करने में लगेगा। चरम लंबाई की अवधारणा वक्रों की ρ-लंबाई की इस धारणा का उपयोग करती है और अनुरूप प्रतिचित्रण के अध्ययन में उपयोगी है।

भागों द्वारा समाकलन

इस प्रकार से एक फलन  f  को एक बिंदु a पर "नियमित" कहा जाता है यदि दाएं और बाएं हाथ की सीमाएं f (a+) और f (a−) स्थित है, और फलन a पर औसत मान

$f(a)={\frac {f(a-)+f(a+)}{2}}$ लेता है।

परिमित भिन्नता के दो फलन U और V को देखते हुए, यदि प्रत्येक बिंदु पर या तो U या V में से कम से कम एक सतत है या U और V दोनों नियमित हैं, तो लेब्सग्यू-स्टिल्टजेस समाकलन के लिए भागों के सूत्र द्वारा एक समाकलन होता है:

$\int _{a}^{b}U\,dV+\int _{a}^{b}V\,dU=U(b+)V(b+)-U(a-)V(a-),\qquad -\infty <a<b<\infty .$

यहां प्रासंगिक लेबेस्ग-स्टिल्टजेस उपाय U और V फलनों के दाएं-संतत संस्करणों से सम्बद्ध हैं; अर्थात्, ${\textstyle {\tilde {U}}(x)=\lim _{t\to x^{+}}U(t)}$ और इसी प्रकार ${\tilde {V}}(x)$। अतः परिबद्ध अंतराल (a, b) को असंबद्ध अंतराल (-∞, b), (a, ∞) या (-∞, ∞) से बदला जा सकता है, यद्यपि इस असंबद्ध अंतराल पर U और V सीमित भिन्नता के हों। जटिल-मानित फलन का भी उपयोग किया जा सकता है।

इस प्रकार से प्रसंभाव्य गणना के सिद्धांत में महत्वपूर्ण महत्व का वैकल्पिक परिणाम निम्नलिखित है। परिमित भिन्नता के दो फलन U और V दिए गए हैं, जो दाएं-संतत दोनों हैं और जिनकी बाएँ-सीमाएँ हैं (वे कैडलैग फलन हैं) तो

$U(t)V(t)=U(0)V(0)+\int _{(0,t]}U(s-)\,dV(s)+\int _{(0,t]}V(s-)\,dU(s)+\sum _{u\in (0,t]}\Delta U_{u}\Delta V_{u},$

जहां ΔU_t = U(t) − U(t−)। इस परिणाम को इटो के लेम्मा के पूर्वगामी के रूप में देखा जा सकता है, और यह प्रसंभाव्य समाकलन के सामान्य सिद्धांत में उपयोग में आता है। अतः अंतिम पद ΔU(t)ΔV(t) = d[U, V] है, जो U और V के द्विघात सहसंयोजन से उत्पन्न होता है। (पहले के परिणाम को स्ट्रैटोनोविच समाकलन से संबंधित परिणाम के रूप में देखा जा सकता है।)

संबंधित अवधारणाएँ

लेब्सग्यू समाकलन

इस प्रकार से जब सभी वास्तविक x के लिए g(x) = x होता है, तो μ_g लेब्सेग माप होता है, और g के संबंध मे  f  का लेब्सेग-स्टिल्टजेस का समाकलन,  f  के लेबेस्ग समाकलन के समतुल्य होता है।

रीमैन-स्टिल्टजेस समाकलन और प्रायिकता सिद्धांत

जहां  f  वास्तविक चर का एक सतत फलन वास्तविक-मानित फलन है और v गैर-ह्रासमान वास्तविक फलन है, लेबेस्ग्यू-स्टिल्टजेस समाकलन रीमैन-स्टिल्टजेस समाकलन के बराबर है, इस स्थिति में हम प्रायः लेब्सग्यू-स्टिल्टजेस समाकलन के लिए

$\int _{a}^{b}f(x)\,dv(x)$

लिखते हैं, जिससे माप μ_v अंतर्निहित रहता है। अतः यह प्रायिकता सिद्धांत में विशेष रूप से सामान्य है जब v वास्तविक-मानित यादृच्छिक चर X का संचयी वितरण फलन है, जिस स्थिति में

$\int _{-\infty }^{\infty }f(x)\,dv(x)=\mathrm {E} [f(X)]$।

(ऐसी स्थितियों से निपटने के विषय में अधिक सूचना के लिए रीमैन-स्टिल्टजेस समाकलन पर लेख देखें।)

टिप्पणियाँ

Also see Henstock-kurzweil-stiltjes integral

संदर्भ

• Halmos, Paul R. (1974), Measure Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90088-9
• Hewitt, Edwin; Stromberg, Karl (1965), Real and abstract analysis, Springer-Verlag.
• Saks, Stanisław (1937) Theory of the Integral.
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.