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

From Vigyanwiki
No edit summary
No edit summary
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|Hewitt|Stromberg|1965}} लेब्सग्यू-स्टिल्टजेस समाकलन को [[ डेनियल अभिन्न |डेनियल अभिन्न]] के रूप में परिभाषित करना है जो सामान्य रीमैन-स्टिल्टजेस समाकलन का विस्तार करता है। होने देना {{mvar|g}} गैर-घटते दाएँ-संतत फलन पर हो {{math|[''a'', ''b'']}}, और परिभाषित करें {{math|''I''(&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'']}}. फिर इस फ़ंक्शनल को सेटिंग द्वारा सभी गैर-नकारात्मक फ़ंक्शंस के वर्ग तक बढ़ाया जा सकता है
सभी सतत फलनों के लिए {{math|&thinsp;''f''&thinsp;}}. [[कार्यात्मक (गणित)|फलनात्मक (गणित)]] {{mvar|I}} [[रेडॉन माप]] को परिभाषित करता है {{math|[''a'', ''b'']}}. फिर इस फलनल को सेटिंग द्वारा सभी गैर-ऋणात्मक फ़ंक्शंस के वर्ग तक बढ़ाया जा सकता है


:<math>\begin{align}
:<math>\begin{align}
Line 43: Line 41:
\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;}}.
कब {{math|''g''(''x'') {{=}} ''x''}} सभी वास्तविक के लिए {{mvar|x}}, तब {{math|''μ<sub>g</sub>''}} [[लेब्सेग माप]] है, और लेब्सेग-स्टिल्टजेस का अभिन्न अंग है {{math|&thinsp;''f''&thinsp;}} इसके संबंध में {{mvar|g}} लेबेस्ग समाकलन के समतुल्य है {{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>
(ऐसे मामलों से निपटने के बारे में अधिक जानकारी के लिए रीमैन-स्टिल्टजेस इंटीग्रल|रीमैन-स्टिल्टजेस इंटीग्रेशन पर लेख देखें।)
(ऐसे मामलों से निपटने के बारे में अधिक जानकारी के लिए रीमैन-स्टिल्टजेस समाकलन|रीमैन-स्टिल्टजेस इंटीग्रेशन पर लेख देखें।)


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 20:20, 11 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 के संबंध में लेब्सग्यू-स्टिल्टजेस समाकलन को

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

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

एक वैकल्पिक दृष्टिकोण (Hewitt & Stromberg 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. (पहले के परिणाम को स्ट्रैटोनोविच समाकलन से संबंधित परिणाम के रूप में देखा जा सकता है।)

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

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

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

संदर्भ