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

From Vigyanwiki
(Created page with "{{Short description|Lebesgue-Stieltjes integration}} माप सिद्धांत|माप-सैद्धांतिक गणितीय विश्लेष...")
 
 
(9 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{Short description|Lebesgue-Stieltjes integration}}
{{Short description|Lebesgue-Stieltjes integration}}
[[माप सिद्धांत]]|माप-सैद्धांतिक [[गणितीय विश्लेषण]] और गणित की संबंधित शाखाओं में, लेब्सग्यू-स्टिल्टजेस एकीकरण रीमैन-स्टिल्टजेस [[अभिन्न]]|रीमैन-स्टिल्टजेस और लेब्सग्यू एकीकरण दोनों को सामान्यीकृत करता है, और अधिक सामान्य माप-सैद्धांतिक ढांचे में पूर्व के कई फायदों को संरक्षित करता है। लेब्सग्यू-स्टिल्टजेस इंटीग्रल, लेब्सग्यू-स्टिल्टजेस माप के रूप में जाने जाने वाले माप के संबंध में सामान्य लेब्सग्यू इंटीग्रल है, जो वास्तविक रेखा पर सीमित भिन्नता के किसी भी कार्य से जुड़ा हो सकता है। लेब्सग्यू-स्टिल्टजेस माप एक [[नियमित बोरेल माप]] है, और इसके विपरीत वास्तविक रेखा पर प्रत्येक नियमित बोरेल माप इस प्रकार का होता है।
[[माप सिद्धांत]] [[गणितीय विश्लेषण]] और गणित की संबंधित शाखाओं में, '''लेब्सग्यू-स्टिल्टजेस समाकलन''' रीमैन-स्टिल्टजेस [[अभिन्न|समाकलन]] और लेब्सग्यू समाकलन दोनों को सामान्यीकृत करता है, और अधिक सामान्य माप-सैद्धांतिक संरचना में पूर्व के कई लाभों को संरक्षित करता है। अतः लेब्सग्यू-स्टिल्टजेस समाकलन, लेब्सग्यू-स्टिल्टजेस माप के रूप में जाने जाने वाले माप के संबंध में सामान्य लेब्सग्यू समाकलन है, जो वास्तविक रेखा पर सीमित भिन्नता के किसी भी फलन से संबद्ध हो सकता है। लेब्सग्यू-स्टिल्टजेस माप [[नियमित बोरेल माप]] है, और इसके विपरीत वास्तविक रेखा पर प्रत्येक नियमित बोरेल माप इस प्रकार का होता है।


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


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


:<math>\int_a^b f(x)\,dg(x)</math>
:<math>\int_a^b f(x)\,dg(x)</math>
परिभाषित किया गया है जब<math>f : \left[a, b\right] \rightarrow \mathbb R</math>[[बोरेल माप]]-[[मापने योग्य कार्य]] है
को तब परिभाषित किया जाता है जब <math>f : \left[a, b\right] \rightarrow \mathbb R</math> [[बोरेल माप|बोरेल]]-[[मापने योग्य कार्य|माप्य फलन]] और [[परिबद्ध कार्य|परिबद्ध फलन]] होता है, और <math>g : \left[a, b\right] \rightarrow \mathbb R</math> {{math|[''a'', ''b'']}} और दाएं-संतत में सीमित भिन्नता का होता है, या जब {{math|&thinsp;''f''&thinsp;}} गैर-ऋणात्मक होता है और {{mvar|g}} [[मोनोटोन फ़ंक्शन|एकदिष्ट फलन]] और सतत फलन होता है। अतः आरंभ करने के लिए, यह मान लें {{math|&thinsp;''f''&thinsp;}} गैर-ऋणात्मक है और {{mvar|g}} एकदिष्ट ह्वासमान और सम-संतत है। {{math|''w''((''s'', ''t'']) {{=}} ''g''(''t'') − ''g''(''s'')}} और {{math|''w''({''a''}) {{=}} 0}} को परिभाषित करें (वैकल्पिक रूप से, {{mvar|g}} वाम-संतत, {{math|''w''([''s'',''t'')) {{=}} ''g''(''t'') − ''g''(''s'')}} और {{math|''w''({''b''}) {{=}} 0}}) के लिए निर्माण कार्य करता है।
और [[परिबद्ध कार्य]] और<math>g : \left[a, b\right] \rightarrow \mathbb R</math>में सीमित भिन्नता है {{math|[''a'', ''b'']}} और दाएँ-निरंतर, या कब {{math|&thinsp;''f''&thinsp;}} गैर-नकारात्मक है और {{mvar|g}} [[मोनोटोन फ़ंक्शन]] और सतत फ़ंक्शन#दिशात्मक और अर्ध-निरंतरता|दायां-निरंतर है। आरंभ करने के लिए, यह मान लें {{math|&thinsp;''f''&thinsp;}} गैर-नकारात्मक है और {{mvar|g}} एकस्वर न घटने वाला और सम-निरंतर है। परिभाषित करना {{math|''w''((''s'', ''t'']) {{=}} ''g''(''t'') − ''g''(''s'')}} और {{math|''w''({''a''}) {{=}} 0}} (वैकल्पिक रूप से, निर्माण कार्य के लिए {{mvar|g}} वाम-निरंतर, {{math|''w''([''s'',''t'')) {{=}} ''g''(''t'') − ''g''(''s'')}} और {{math|''w''({''b''}) {{=}} 0}}).


कैराथोडोरी के विस्तार प्रमेय के अनुसार, एक अद्वितीय बोरेल माप है {{math|''μ<sub>g</sub>''}} पर {{math|[''a'', ''b'']}} जो इससे सहमत है {{mvar|w}} प्रत्येक अंतराल पर {{mvar|I}}. पैमाना {{math|''μ<sub>g</sub>''}} द्वारा दिए गए [[बाहरी माप]] (वास्तव में, एक [[मीट्रिक बाहरी माप]]) से उत्पन्न होता है
इस प्रकार से कैराथोडोरी की विस्तार प्रमेय के अनुसार, {{math|[''a'', ''b'']}} पर एक अद्वितीय बोरेल माप {{math|''μ<sub>g</sub>''}} है जो प्रत्येक अंतराल {{mvar|I}} पर {{mvar|w}} से सहमत है। अतः माप {{math|''μ<sub>g</sub>''}} एक [[बाहरी माप|बाह्य माप]] (वस्तुतः, [[मीट्रिक बाहरी माप|एक मीट्रिक बाह्य माप]]) से उत्पन्न होता है जो


:<math>\mu_g(E) = \inf\left\{\sum_i \mu_g(I_i) \ : \  E\subseteq \bigcup_i I_i \right\}</math>
:<math>\mu_g(E) = \inf\left\{\sum_i \mu_g(I_i) \ : \  E\subseteq \bigcup_i I_i \right\}</math>
के सभी आवरणों पर अधिकतम ले लिया गया {{mvar|E}} अनगिनत अर्धखुले अंतरालों द्वारा। इस उपाय को कभी-कभी कहा जाता है<ref>Halmos (1974), Sec. 15</ref> लेब्सग्यू-स्टिल्टजेस माप से जुड़ा हुआ है {{mvar|g}}.
द्वारा दिया जाता है, जो कि {{mvar|E}} के सभी आवरणों पर अगणनीय अर्ध-विवृत अंतरालों द्वारा लिया जाता है। अतः इस माप को कभी-कभी<ref>Halmos (1974), Sec. 15</ref> {{mvar|g}} से संबद्ध '''लेबेस्गु-स्टिल्टजेस माप''' भी कहा जाता है।


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


:<math>\int_a^b f(x)\,dg(x)</math>
:<math>\int_a^b f(x)\,dg(x)</math>
के [[लेब्सग इंटीग्रल]] के रूप में परिभाषित किया गया है {{math|&thinsp;''f''&thinsp;}}माप के संबंध में {{math|''μ<sub>g</sub>''}} सामान्य तरीके से. अगर {{mvar|g}} नहीं बढ़ रहा है, तो परिभाषित करें
को सामान्य विधि से माप {{math|''μ<sub>g</sub>''}} के संबंध में {{math|&thinsp;''f''&thinsp;}} के [[लेब्सग इंटीग्रल|लेब्सग्यू समाकलन]] के रूप में परिभाषित किया गया है। अतः यदि {{mvar|g}} गैर वर्द्धमान है, तो


:<math>\int_a^b f(x)\,dg(x) := -\int_a^b f(x) \,d (-g)(x),</math>
:<math>\int_a^b f(x)\,dg(x) := -\int_a^b f(x) \,d (-g)(x)</math>
उत्तरार्द्ध अभिन्न को पूर्ववर्ती निर्माण द्वारा परिभाषित किया जा रहा है।
को परिभाषित करें, बाद वाला समाकलन पूर्ववर्ती निर्माण द्वारा परिभाषित किया जा रहा है।


अगर {{mvar|g}} सीमित भिन्नता का है और {{math|&thinsp;''f''&thinsp;}} परिबद्ध है, तो लिखना संभव है
इस प्रकार से यदि {{mvar|g}} परिबद्ध भिन्नता का है और {{math|&thinsp;''f''&thinsp;}} परिबद्ध है, तो


:<math>dg(x)=dg_1(x)-dg_2(x)</math>
:<math>dg(x)=dg_1(x)-dg_2(x)</math>
कहाँ {{math|''g''<sub>1</sub>(''x'') {{=}} ''V''{{su|b=''a''|p=&nbsp;''x''}}''g''}} [[कुल भिन्नता]] है
लिखना संभव है जहां {{math|''g''<sub>1</sub>(''x'') {{=}} ''V''{{su|b=''a''|p=&nbsp;''x''}}''g''}} अंतराल {{math|[''a'', ''x'']}}, और {{math|''g''<sub>2</sub>(''x'') {{=}} ''g''<sub>1</sub>(''x'') − ''g''(''x'')}} में {{mvar|g}} की [[कुल भिन्नता]] है। अतः दोनों {{math|''g''<sub>1</sub>}} और {{math|''g''<sub>2</sub>}} एकदिष्ट ह्वासमान हैं। अब {{mvar|g}} के संबंध में लेब्सग्यू-स्टिल्टजेस समाकलन को
का {{mvar|g}}अंतराल में {{math|[''a'', ''x'']}}, और {{math|''g''<sub>2</sub>(''x'') {{=}} ''g''<sub>1</sub>(''x'') − ''g''(''x'')}}. दोनों {{math|''g''<sub>1</sub>}} और {{math|''g''<sub>2</sub>}} एकस्वर न घटने वाले हैं। अब लेब्सग्यू-स्टिल्टजेस के संबंध में अभिन्न अंग {{mvar|g}} द्वारा परिभाषित किया गया है


:<math>\int_a^b f(x)\,dg(x) = \int_a^b f(x)\,dg_1(x)-\int_a^b f(x)\,dg_2(x),</math>
:<math>\int_a^b f(x)\,dg(x) = \int_a^b f(x)\,dg_1(x)-\int_a^b f(x)\,dg_2(x),</math>
जहां बाद के दो अभिन्न अंग पूर्ववर्ती निर्माण द्वारा अच्छी तरह से परिभाषित हैं।
द्वारा परिभाषित किया गया है, जहां बाद के दो समाकलन पूर्ववर्ती निर्माण द्वारा ठीक रूप से परिभाषित हैं।


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


:<math>I(f) = \int_a^b f(x)\,dg(x)</math>
:<math>I(f) = \int_a^b f(x)\,dg(x)</math>
सभी सतत कार्यों के लिए {{math|&thinsp;''f''&thinsp;}}. [[कार्यात्मक (गणित)]] {{mvar|I}} एक [[रेडॉन माप]] को परिभाषित करता है {{math|[''a'', ''b'']}}. फिर इस फ़ंक्शनल को सेटिंग द्वारा सभी गैर-नकारात्मक फ़ंक्शंस के वर्ग तक बढ़ाया जा सकता है
के रूप में परिभाषित करता है। [[कार्यात्मक (गणित)|फलनात्मक (गणित)]] {{mvar|I}} {{math|[''a'', ''b'']}} पर [[रेडॉन माप]] को परिभाषित करता है। फिर इस प्रकार्यात्मक को


:<math>\begin{align}
:<math>\begin{align}
\overline{I}(h) &= \sup \left \{I(f) \ : \ f\in C[a,b], 0\le f\le h \right \} \\
\overline{I}(h) &= \sup \left \{I(f) \ : \ f\in C[a,b], 0\le f\le h \right \} \\
\overline{\overline{I}}(h) &= \inf \left \{I(f) \ : \ f \in C[a,b], h\le f \right \}.
\overline{\overline{I}}(h) &= \inf \left \{I(f) \ : \ f \in C[a,b], h\le f \right \}
\end{align}</math>
\end{align}</math>
बोरेल मापने योग्य कार्यों के लिए, एक के पास है
:समूहित करके सभी गैर-नऋणात्मक फलन के वर्ग तक बढ़ाया जा सकता है।
अतः इस प्रकार से बोरेल माप्य फलनों के लिए, किसी के निकट


:<math>\overline{I}(h) = \overline{\overline{I}}(h),</math>
:<math>\overline{I}(h) = \overline{\overline{I}}(h),</math>
और पहचान के दोनों ओर लेब्सग्यू-स्टिल्टजेस इंटीग्रल को परिभाषित करता है {{mvar|h}}. बाहरी माप {{math|''μ<sub>g</sub>''}} द्वारा परिभाषित किया गया है
है, और तत्समक के दोनों ओर फिर {{mvar|h}} के लेब्सग्यू-स्टिल्टजेस समाकलन को परिभाषित करता है। बाह्य माप {{math|''μ<sub>g</sub>''}} को


:<math>\mu_g(A) := \overline{I}(\chi_A)= \overline{\overline{I}}(\chi_A)</math>
:<math>\mu_g(A) := \overline{I}(\chi_A)= \overline{\overline{I}}(\chi_A)</math>
कहाँ {{math|''χ<sub>A</sub>''}} का [[सूचक कार्य]] है {{mvar|A}}.
के माध्यम से परिभाषित किया गया है जहां {{math|''χ<sub>A</sub>''}}, {{mvar|A}} का [[सूचक कार्य|सूचक फलन]] है।


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


==उदाहरण==
==उदाहरण==
लगता है कि {{math|&thinsp;''γ'' : [''a'', ''b''] → '''R'''<sup>2</sup>}} समतल में एक [[सुधार योग्य वक्र]] है और {{math|&thinsp;''ρ'' : '''R'''<sup>2</sup> → [0, ∞)}} बोरेल मापने योग्य है। तब हम इसकी लंबाई परिभाषित कर सकते हैं {{mvar|γ}}यूक्लिडियन मीट्रिक के संबंध में ρ द्वारा भारित किया जाना है
मान लीजिए कि समतल में {{math|&thinsp;''γ'' : [''a'', ''b''] → '''R'''<sup>2</sup>}} एक [[सुधार योग्य वक्र|संशोधनीय वक्र]] है और {{math|&thinsp;''ρ'' : '''R'''<sup>2</sup> → [0, ∞)}} बोरेल माप्य है। तब हम ρ द्वारा भारित यूक्लिडियन मापन के संबंध में {{mvar|γ}} की लंबाई को


:<math>\int_a^b \rho(\gamma(t))\,d\ell(t),</math>
:<math>\int_a^b \rho(\gamma(t))\,d\ell(t)</math>
कहाँ <math>\ell(t)</math> के प्रतिबंध की लंबाई है {{mvar|γ}} को {{math|[''a'', ''t'']}}. इसे कभी-कभी कहा जाता है {{mvar|ρ}}-लंबाई की {{mvar|γ}}. यह धारणा विभिन्न अनुप्रयोगों के लिए काफी उपयोगी है: उदाहरण के लिए, कीचड़ भरे इलाके में जिस गति से कोई व्यक्ति चल सकता है वह इस बात पर निर्भर हो सकता है कि कीचड़ कितनी गहरी है। अगर {{math|&thinsp;''ρ''(''z'')}} पर या उसके निकट चलने की गति का व्युत्क्रम दर्शाता है {{mvar|z}}, फिर {{mvar|ρ}}-लंबाई की {{mvar|γ}} वह समय है जिसे पार करने में लगेगा {{mvar|γ}}. [[चरम लंबाई]] की अवधारणा इस धारणा का उपयोग करती है {{mvar|ρ}}-वक्रों की लंबाई और [[अनुरूप मानचित्र]]के अध्ययन में उपयोगी है।
के रूप में परिभाषित कर सकते हैं, जहां <math>\ell(t)</math> {{mvar|γ}} से {{math|[''a'', ''t'']}} के प्रतिबंध की लंबाई है। इसे कभी-कभी {{mvar|γ}} की {{mvar|ρ}}-लंबाई भी कहा जाता है। इस प्रकार से यह धारणा विभिन्न अनुप्रयोगों के लिए अत्यधिक उपयोगी है: उदाहरण के लिए, कीचड़ भरे क्षेत्र में जिस गति से कोई व्यक्ति चल सकता है वह इस बात पर निर्भर हो सकता है कि कीचड़ कितना गहन है। यदि {{math|&thinsp;''ρ''(''z'')}} {{mvar|z}} पर या उसके निकट चलने की गति के व्युत्क्रम को दर्शाता है, तो {{mvar|γ}} की {{mvar|ρ}}-लंबाई वह समय है जो {{mvar|γ}} को पार करने में लगेगा। [[चरम लंबाई]] की अवधारणा वक्रों की {{mvar|ρ}}-लंबाई की इस धारणा का उपयोग करती है और [[अनुरूप मानचित्र|अनुरूप प्रतिचित्रण]] के अध्ययन में उपयोगी है।


==भागों द्वारा एकीकरण==
==भागों द्वारा समाकलन==
एक समारोह {{math|&thinsp;''f''&thinsp;}} को एक बिंदु पर नियमित कहा जाता है {{mvar|a}} यदि दायां और बायां हाथ सीमित है {{math|''f''&thinsp;(''a''+)}} और {{math|''f''&thinsp;(''a''−)}} मौजूद है, और फ़ंक्शन चालू हो जाता है {{mvar|a}} औसत मूल्य
इस प्रकार से एक फलन {{math|&thinsp;''f''&thinsp;}} को एक बिंदु {{mvar|a}} पर "नियमित" कहा जाता है यदि दाएं और बाएं हाथ की सीमाएं {{math|''f''&thinsp;(''a''+)}} और {{math|''f''&thinsp;(''a''−)}} स्थित है, और फलन {{mvar|a}} पर औसत मान


:<math>f(a)=\frac{f(a-)+f(a+)}{2}.</math>
:<math>f(a)=\frac{f(a-)+f(a+)}{2}</math> लेता है।
दो कार्य दिए गए {{mvar|U}} और {{mvar|V}} परिमित भिन्नता का, यदि प्रत्येक बिंदु पर कम से कम एक हो {{mvar|U}} या {{mvar|V}} सतत है या {{mvar|U}} और {{mvar|V}} दोनों नियमित हैं, फिर लेब्सग्यू-स्टिल्टजेस इंटीग्रल के लिए भागों के फार्मूले द्वारा एक एकीकरण होता है:<ref>{{cite journal |last=Hewitt |first=Edwin |date=May 1960  |title=स्टिल्टजेस इंटीग्रल्स के लिए भागों द्वारा एकीकरण|journal=[[The American Mathematical Monthly]] |volume=67 |issue=5 |pages=419–423  |jstor=2309287 |doi=10.2307/2309287 }}</ref>
परिमित भिन्नता के दो फलन {{mvar|U}} और {{mvar|V}} को देखते हुए, यदि प्रत्येक बिंदु पर या तो {{mvar|U}} या {{mvar|V}} में से कम से कम एक सतत है या {{mvar|U}} और {{mvar|V}} दोनों नियमित हैं, तो लेब्सग्यू-स्टिल्टजेस समाकलन के लिए भागों के सूत्र द्वारा एक समाकलन होता है:<ref>{{cite journal |last=Hewitt |first=Edwin |date=May 1960  |title=स्टिल्टजेस इंटीग्रल्स के लिए भागों द्वारा एकीकरण|journal=[[The American Mathematical Monthly]] |volume=67 |issue=5 |pages=419–423  |jstor=2309287 |doi=10.2307/2309287 }}</ref>
:<math>\int_a^b U\,dV+\int_a^b V\,dU = U(b+)V(b+)-U(a-)V(a-), \qquad -\infty < a < b < \infty.</math>
:<math>\int_a^b U\,dV+\int_a^b V\,dU = U(b+)V(b+)-U(a-)V(a-), \qquad -\infty < a < b < \infty.</math>
यहां प्रासंगिक लेबेस्ग-स्टिल्टजेस उपाय कार्यों के सही-निरंतर संस्करणों से जुड़े हुए हैं {{mvar|U}} और {{mvar|V}}; यह इसके लिए है <math display="inline">\tilde U(x) = \lim_{t\to x^+} U(t)</math> और इसी तरह <math>\tilde V(x).</math> परिबद्ध अंतराल {{open-open|''a'', ''b''}} को एक असीमित अंतराल से बदला जा सकता है {{open-open|-∞, ''b''}}, {{open-open|''a'', ∞}} या {{open-open|-∞, ∞}} उसे उपलब्ध कराया {{mvar|U}} और {{mvar|V}} इस असीमित अंतराल पर सीमित भिन्नता वाले हैं। जटिल-मूल्यवान फ़ंक्शंस का भी उपयोग किया जा सकता है।
यहां प्रासंगिक लेबेस्ग-स्टिल्टजेस उपाय {{mvar|U}} और {{mvar|V}} फलनों के दाएं-संतत संस्करणों से सम्बद्ध हैं; अर्थात्, <math display="inline">\tilde U(x) = \lim_{t\to x^+} U(t)</math> और इसी प्रकार <math>\tilde V(x)</math>। अतः परिबद्ध अंतराल {{open-open|''a'', ''b''}} को असंबद्ध अंतराल {{open-open|-∞, ''b''}}, {{open-open|''a'', ∞}} या {{open-open|-∞, ∞}} से बदला जा सकता है, यद्यपि इस असंबद्ध अंतराल पर {{mvar|U}} और {{mvar|V}} सीमित भिन्नता के हों। अतः जटिल-मानित फलन का भी उपयोग किया जा सकता है।


[[स्टोकेस्टिक कैलकुलस]] के सिद्धांत में महत्वपूर्ण महत्व का एक वैकल्पिक परिणाम निम्नलिखित है। दो कार्य दिए गए {{mvar|U}} और {{mvar|V}} परिमित भिन्नता के, जो दाएं-निरंतर दोनों हैं और बाईं-सीमाएं हैं (वे कैडलैग फ़ंक्शन हैं)
इस प्रकार से [[स्टोकेस्टिक कैलकुलस|प्रसंभाव्य गणना]] के सिद्धांत में महत्वपूर्ण महत्व का वैकल्पिक परिणाम निम्नलिखित है। अतः परिमित भिन्नता के दो फलन {{mvar|U}} और {{mvar|V}} दिए गए हैं, जो दाएं-संतत दोनों हैं और जिनकी बाएँ-सीमाएँ हैं (वे कैडलैग फलन हैं) तो


:<math>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,</math>
:<math>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,</math>
कहाँ {{math|1=Δ''U<sub>t</sub>'' = ''U''(''t'') − ''U''(''t''−)}}. इस परिणाम को इटो के लेम्मा के अग्रदूत के रूप में देखा जा सकता है, और यह स्टोकेस्टिक एकीकरण के सामान्य सिद्धांत में उपयोग में आता है। अंतिम पद है {{math|1=Δ''U''(''t'')Δ''V''(''t'') = ''d''[''U'', ''V''],}}जो के द्विघात सहसंयोजन से उत्पन्न होता है {{mvar|U}} और {{mvar|V}}. (पहले के परिणाम को [[स्ट्रैटोनोविच इंटीग्रल]] से संबंधित परिणाम के रूप में देखा जा सकता है।)
जहां {{math|1=Δ''U<sub>t</sub>'' = ''U''(''t'') − ''U''(''t''−)}}इस परिणाम को इटो के लेम्मा के पूर्वगामी के रूप में देखा जा सकता है, और यह प्रसंभाव्य समाकलन के सामान्य सिद्धांत में उपयोग में आता है। अतः अंतिम पद {{math|1=Δ''U''(''t'')Δ''V''(''t'') = ''d''[''U'', ''V'']}} है, जो {{mvar|U}} और {{mvar|V}} के द्विघात सहसंयोजन से उत्पन्न होता है। (पहले के परिणाम को [[स्ट्रैटोनोविच इंटीग्रल|स्ट्रैटोनोविच]] समाकलन से संबंधित परिणाम के रूप में देखा जा सकता है।)


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


===लेब्सग्यू एकीकरण===
===लेब्सग्यू समाकलन===
कब {{math|''g''(''x'') {{=}} ''x''}} सभी वास्तविक के लिए {{mvar|x}}, तब {{math|''μ<sub>g</sub>''}} [[लेब्सेग माप]] है, और लेब्सेग-स्टिल्टजेस का अभिन्न अंग है {{math|&thinsp;''f''&thinsp;}} इसके संबंध में {{mvar|g}} लेबेस्ग इंटीग्रल के समतुल्य है {{math|&thinsp;''f''&thinsp;}}.
इस प्रकार से जब सभी वास्तविक {{mvar|x}} के लिए {{math|''g''(''x'') {{=}} ''x''}} होता है, तो {{math|''μ<sub>g</sub>''}} [[लेब्सेग माप]] होता है, और {{mvar|g}} के संबंध मे {{math|&thinsp;''f''&thinsp;}} का लेब्सेग-स्टिल्टजेस का समाकलन, {{math|&thinsp;''f''&thinsp;}} के लेबेस्ग समाकलन के समतुल्य होता है।


===रीमैन-स्टिल्टजेस एकीकरण और संभाव्यता सिद्धांत===
===रीमैन-स्टिल्टजेस समाकलन और प्रायिकता सिद्धांत===
कहाँ {{math|&thinsp;''f''&thinsp;}} एक वास्तविक चर का एक [[सतत कार्य]] वास्तविक-मूल्यवान कार्य है और {{mvar|v}} एक गैर-घटता हुआ वास्तविक फ़ंक्शन है, लेबेस्ग्यू-स्टिल्टजेस इंटीग्रल रीमैन-स्टिल्टजेस इंटीग्रल के बराबर है, जिस स्थिति में हम अक्सर लिखते हैं
जहां {{math|&thinsp;''f''&thinsp;}} वास्तविक चर का एक [[सतत कार्य|सतत फलन]] वास्तविक-मानित फलन है और {{mvar|v}} गैर-ह्रासमान वास्तविक फलन है, लेबेस्ग्यू-स्टिल्टजेस समाकलन रीमैन-स्टिल्टजेस समाकलन के बराबर है, इस स्थिति में हम प्रायः लेब्सग्यू-स्टिल्टजेस समाकलन के लिए
:<math>\int_a^b f(x) \, dv(x)</math>
:<math>\int_a^b f(x) \, dv(x)</math>
लेब्सग्यू-स्टिल्टजेस इंटीग्रल के लिए, माप देना {{math|''μ<sub>v</sub>''}} निहित रहें. संभाव्यता सिद्धांत में यह विशेष रूप से आम है जब {{mvar|v}} एक वास्तविक-मूल्यवान यादृच्छिक चर का संचयी वितरण फ़ंक्शन है {{mvar|X}}, किस स्थिति में
लिखते हैं, जिससे माप {{math|''μ<sub>v</sub>''}} अंतर्निहित रहता है। अतः यह प्रायिकता सिद्धांत में विशेष रूप से सामान्य है जब {{mvar|v}} वास्तविक-मानित यादृच्छिक चर {{mvar|X}} का संचयी वितरण फलन है, जिस स्थिति में
:<math>\int_{-\infty}^\infty f(x) \, dv(x) = \mathrm{E}[f(X)].</math>
:<math>\int_{-\infty}^\infty f(x) \, dv(x) = \mathrm{E}[f(X)]</math>
(ऐसे मामलों से निपटने के बारे में अधिक जानकारी के लिए रीमैन-स्टिल्टजेस इंटीग्रल|रीमैन-स्टिल्टजेस इंटीग्रेशन पर लेख देखें।)
(अतः ऐसी स्थितियों से निपटने के विषय में अधिक सूचना के लिए रीमैन-स्टिल्टजेस समाकलन पर लेख देखें।)


==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}  
{{reflist}}  
  Also see Henstock-kurzweil-stiltjes integral
  हेनस्टॉक-कुर्जवील-स्टिल्टजेस समाकलन भी देखें
 
 
==संदर्भ==
==संदर्भ==
*{{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=Measure Theory|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-90088-9|year=1974|url-access=registration|url=https://archive.org/details/measuretheory00halm}}
*{{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=Measure Theory|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-90088-9|year=1974|url-access=registration|url=https://archive.org/details/measuretheory00halm}}
Line 94: Line 91:
*[[Stanisław Saks|Saks, Stanisław]] (1937) ''[http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10 Theory of the Integral.]''
*[[Stanisław Saks|Saks, Stanisław]] (1937) ''[http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10 Theory of the Integral.]''
*[[Georgiy Shilov|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}}.
*[[Georgiy Shilov|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}}.
{{integral}}


{{DEFAULTSORT:Lebesgue-Stieltjes integration}}[[Category: गणितीय एकीकरण की परिभाषाएँ]]  
{{DEFAULTSORT:Lebesgue-Stieltjes integration}}[[Category: गणितीय एकीकरण की परिभाषाएँ]]  
Line 103: Line 98:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 06/12/2023]]
[[Category:Created On 06/12/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 14:07, 14 December 2023

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

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

परिभाषा

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

को तब परिभाषित किया जाता है जब बोरेल-माप्य फलन और परिबद्ध फलन होता है, और [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 एक बाह्य माप (वस्तुतः, एक मीट्रिक बाह्य माप) से उत्पन्न होता है जो

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

उदाहरण

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

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

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

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

लेता है।

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

यहां प्रासंगिक लेबेस्ग-स्टिल्टजेस उपाय U और V फलनों के दाएं-संतत संस्करणों से सम्बद्ध हैं; अर्थात्, और इसी प्रकार । अतः परिबद्ध अंतराल (a, b) को असंबद्ध अंतराल (-∞, b), (a, ∞) या (-∞, ∞) से बदला जा सकता है, यद्यपि इस असंबद्ध अंतराल पर U और V सीमित भिन्नता के हों। अतः जटिल-मानित फलन का भी उपयोग किया जा सकता है।

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

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

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

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

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

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

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

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

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

टिप्पणियाँ

  1. Halmos (1974), Sec. 15
  2. Hewitt, Edwin (May 1960). "स्टिल्टजेस इंटीग्रल्स के लिए भागों द्वारा एकीकरण". The American Mathematical Monthly. 67 (5): 419–423. doi:10.2307/2309287. JSTOR 2309287.
हेनस्टॉक-कुर्जवील-स्टिल्टजेस समाकलन भी देखें

संदर्भ