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

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

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

परिभाषा

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

$\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),$

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

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

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

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

सभी सतत फलनों के लिए  f . फलनात्मक (गणित) 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. (पहले के परिणाम को स्ट्रैटोनोविच समाकलन से संबंधित परिणाम के रूप में देखा जा सकता है।)

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

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

कब g(x) = x सभी वास्तविक के लिए x, तब μ_g लेब्सेग माप है, और लेब्सेग-स्टिल्टजेस का अभिन्न अंग है  f  इसके संबंध में g लेबेस्ग समाकलन के समतुल्य है  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.