रीमैन-स्टिल्टजेस इंटीग्रल

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

औपचारिक परिभाषा
एक अन्य वास्तविक-से-वास्तविक फलन $$g$$ के संबंध में अंतराल $$[a,b]$$ पर एक वास्तविक वेरिएबल के वास्तविक-मूल्यवान फलन $$f$$ का रीमैन-स्टिल्टजेस अभिन्न अंग द्वारा दर्शाया गया है


 * $$\int_{x=a}^b f(x) \, \mathrm{d}g(x).$$

इसकी परिभाषा अंतराल $$[a,b]$$ के विभाजन $$P$$ के अनुक्रम का उपयोग करती है। तब, अभिन्न को सीमा के रूप में परिभाषित किया जाता है, क्योंकि विभाजन का जाल (सबसे लंबे उपअंतराल की लंबाई) अनुमानित योग के $$ 0 $$ तक पहुंच जाता है।
 * $$P=\{ a = x_0 < x_1 < \cdots < x_n = b\}.$$


 * $$S(P,f,g) = \sum_{i=0}^{n-1} f(c_i)\left[ g(x_{i+1}) - g(x_i) \right]$$

जहां $$c_i$$, $$i$$-वें उपअंतराल $$[x_i;x_{i+1}]$$ में है। दो फलन $$f$$ और $$g$$ को क्रमशः इंटीग्रैंड और इंटीग्रेटर कहा जाता है। जो कि समान्य रूप से $$g$$ को मोनोटोन (या कम से कम सीमित भिन्नता) और दाएं-अर्धविराम के रूप में लिया जाता है (चूँकि यह अंतिम अनिवार्य रूप से सम्मेलन है)। हमें विशिष्ट रूप से $$g$$ के सतत होने की आवश्यकता नहीं है, जो बिंदु द्रव्यमान पदों वाले अभिन्नों की अनुमति देता है।

यहां "सीमा" को एक संख्या A (रीमैन-स्टिल्टजेस इंटीग्रल का मान) के रूप में समझा जाता है, जैसे कि प्रत्येक ε > 0 के लिए, δ > 0 उपस्थित होता है, जैसे कि मानक (P) < δ के साथ प्रत्येक विभाजन p के लिए, और [xi, xi+1], में प्रत्येक बिंदु ci का प्रत्येक विकल्प है


 * $$|S(P,f,g)-A| < \varepsilon. \, $$

गुण
रीमैन-स्टिल्टजेस इंटीग्रल फॉर्म में भागों द्वारा एकीकरण को स्वीकार करता है


 * $$\int_a^b f(x) \, \mathrm{d}g(x)=f(b)g(b)-f(a)g(a)-\int_a^b g(x) \, \mathrm{d}f(x)$$

और किसी भी अभिन्न का अस्तित्व दूसरे के अस्तित्व को दर्शाता है।

दूसरी ओर, एक मौलिक परिणाम से पता चलता है कि अभिन्न अच्छी तरह से परिभाषित है यदि f α-होल्डर निरंतर है और जी α + β > 1 के साथ β-होल्डर निरंतर है।

यदि $$f(x)$$ को $$[a,b]$$ पर परिबद्ध किया गया है, जो $$g(x)$$ नीरस रूप से बढ़ता है, और $$g'(x)$$ रीमैन इंटीग्रेबल है, तो रीमैन-स्टिल्टजेस इंटीग्रल रीमैन इंटीग्रल से संबंधित है $$\int_a^b f(x) \, \mathrm{d}g(x) = \int_a^b f(x) g'(x) \, \mathrm{d}x$$ एक चरणीय कार्य के लिए $$g(x) = \begin{cases} 0 & \text{if } x \leq s \\ 1 & \text{if } x > s \\ \end{cases}$$	जहाँ $$a < s < b$$, यदि $$f$$,$$s$$ पर निरंतर है, तब $$\int_a^b f(x) \, \mathrm{d}g(x) = f(s)$$

संभाव्यता सिद्धांत का अनुप्रयोग
यदि g एक यादृच्छिक वेरिएबल X का संचयी संभाव्यता वितरण फलन है जिसमें लेबेस्ग माप के संबंध में संभाव्यता घनत्व फलन है, और f कोई फलन है जिसके लिए अपेक्षित मान $$\operatorname{E}\left[\,\left|f(X)\right|\,\right]$$ परिमित है, तो X की संभाव्यता घनत्व फलन g का व्युत्पन्न है और हमारे पास है


 * $$\operatorname{E}[f(X)]=\int_{-\infty}^\infty f(x)g'(x)\,\mathrm{d}x.$$

किन्तु यह सूत्र काम नहीं करता है यदि X के पास लेबेस्ग माप के संबंध में संभाव्यता घनत्व फलन नहीं है। जो कि विशेष रूप से, यह काम नहीं करता है यदि X का वितरण अलग है (अथार्त, सभी संभावनाओं को बिंदु-द्रव्यमान के आधार पर माना जाता है), और तथापि संचयी वितरण फलन g निरंतर है, यदि g बिल्कुल निरंतर होने में विफल रहता है तो यह काम नहीं करता है (फिर से, कैंटर फलन इस विफलता के उदाहरण के रूप में कार्य कर सकता है)। किन्तु पहचान


 * $$\operatorname{E}[f(X)]=\int_{-\infty}^\infty f(x)\, \mathrm{d}g(x)$$

यदि g वास्तविक रेखा पर कोई संचयी संभाव्यता वितरण फलन है, तो इससे कोई अंतर नहीं पड़ता कि कितना बुरा व्यवहार किया गया है। जिसमे विशेष रूप से, कोई अंतर नहीं पड़ता कि यादृच्छिक वेरिएबल X का संचयी वितरण फलन g कितना खराब व्यवहार करता है, यदि क्षण (गणित) E(Xn) उपस्थिति है, तो यह समान है


 * $$\operatorname{E}\left[X^n\right] = \int_{-\infty}^\infty x^n\,\mathrm{d}g(x). $$

कार्यात्मक विश्लेषण के लिए आवेदन
रीमैन-स्टिल्टजेस इंटीग्रल रीज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय या एफ के मूल सूत्रीकरण में प्रकट होता है। रिज़्ज़ का प्रमेय जो अंतराल [a,b] में निरंतर कार्यों के बनच समष्टि C[a,b] के दोहरे समष्टि का प्रतिनिधित्व करता है, जैसा कि रीमैन-स्टिल्टजेस बंधे हुए भिन्नता के कार्यों के विपरीत अभिन्न होता है। इसके पश्चात् में, उस प्रमेय को उपायों के संदर्भ में दोबारा तैयार किया गया था।

रीमैन-स्टिल्टजेस इंटीग्रल हिल्बर्ट स्पेस में (गैर-कॉम्पैक्ट) स्व-सहायक (या अधिक सामान्यतः, सामान्य) ऑपरेटरों के लिए वर्णक्रमीय प्रमेय के निर्माण में भी दिखाई देता है। इस प्रमेय में, अनुमानों के वर्णक्रमीय वर्ग के संबंध में अभिन्न पर विचार किया जाता है।

अभिन्न का अस्तित्व
सर्वोत्तम सरल अस्तित्व प्रमेय में कहा गया है कि यदि f निरंतर है और g [a, b] पर सीमित भिन्नता का है, तो अभिन्न अस्तित्व उपस्थिति है। जिसमे फलन g सीमित भिन्नता वाला होता है यदि और केवल यदि यह दो (सीमाबद्ध) मोनोटोन फलन के मध्य का अंतर है। यदि g सीमित भिन्नता का नहीं है, तो ऐसे निरंतर कार्य होंगे जिन्हें g के संबंध में एकीकृत नहीं किया जा सकता है। जो कि समान्य रूप से, अभिन्न को अच्छी तरह से परिभाषित नहीं किया जाता है यदि f और g असंततता (गणित) के किसी भी बिंदु को साझा करते हैं, किन्तु अन्य स्थिति भी हैं।

ज्यामितीय व्याख्या
एक 3d प्लॉट, के साथ $$x$$, $$f(x)$$, और $$g(x)$$ सभी ओर्थोगोनल अक्षों के साथ, रीमैन-स्टिल्टजेस इंटीग्रल की ज्यामितीय व्याख्या की ओर ले जाता है।

यदि $$g$$-$$x$$ विमान क्षैतिज है और $$f$$-दिशा ऊपर की ओर संकेत कर रही है, तो विचार की जाने वाली सतह एक घुमावदार फेंस की तरह है। जो फेंस $$g(x)$$ द्वारा अनुरेखित वक्र का अनुसरण करती है, और फेंस की ऊंचाई $$f(x)$$ द्वारा दी गई है। फेंस $$g$$-शीट का खंड है (अथार्त, $$f$$अक्ष के साथ विस्तारित $$g$$ वक्र) जो $$g$$-$$x$$ विमान और $$f$$-शीट के मध्य घिरा हुआ है। रीमैन-स्टीलजेस इंटीग्रल $$f$$-$$g$$ प्लेन पर इस फेंस के प्रक्षेपण का क्षेत्र है - वास्तव में, इसकी "छाया" है । $$g(x)$$ का स्लोप प्रक्षेपण के क्षेत्र पर भार डालता है। $$x$$ का मान जिसके लिए $$g(x)$$ में सबसे तीव्र स्लोप है जो $$g'(x)$$अधिक प्रक्षेपण वाले फेंस के क्षेत्रों के अनुरूप है और इस प्रकार अभिन्न अंग में सबसे अधिक भार रखता है। कब $$g$$ चरणीय कार्य है $$g(x) = \begin{cases} 0 & \text{if } x \leq s \\ 1 & \text{if } x > s \\ \end{cases}$$ फेंस में एक आयताकार "गेट" है जिसकी चौड़ाई 1 और ऊंचाई $$f(s)$$ के समान है। इस प्रकार गेट और उसके प्रक्षेपण का क्षेत्रफल $$f(s)$$ के समान है, जो रीमैन-स्टीलजेस इंटीग्रल का मान है।

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

रीमैन-स्टिल्टजेस इंटीग्रल उस स्थिति को भी सामान्यीकृत करता है जब या तो इंटीग्रैंड या इंटीग्रेटर जी बनच स्पेस में मान लेते हैं। यदि g : [a,b] &rarr; X बनच स्पेस X में मान लेता है, तो यह मान लेना स्वाभाविक है कि यह दृढ़ता से सीमित भिन्नता का है, जिसका अर्थ है कि


 * $$\sup \sum_i \|g(t_{i-1})-g(t_i)\|_X < \infty $$

सर्वोच्च को सभी परिमित विभाजनों पर ले लिया जा रहा है
 * $$a=t_0\le t_1\le\cdots\le t_n=b$$

अंतराल का [a,b]. यह सामान्यीकरण लाप्लास-स्टिल्टजेस परिवर्तन के माध्यम से c0-अर्धसमूह के अध्ययन में भूमिका निभाता है।

इटो कैलकुलस|इटो इंटीग्रल, इंटीग्रैंड्स और इंटीग्रेटर्स को सम्मिलित करने के लिए रीमैन-स्टीटजेस इंटीग्रल का विस्तार करता है जो सरल कार्यों के अतिरिक्त स्टोकेस्टिक प्रक्रियाएं हैं; स्टोकेस्टिक कैलकुलस भी देखें।

सामान्यीकृत रीमैन-स्टिल्टजेस इंटीग्रल
एक समान्य सामान्यीकरण उपरोक्त परिभाषा विभाजन p में विचार करना है जो एक और विभाजन Pε को परिष्कृत करता है, जिसका अर्थ है कि P एक महीन जाल के साथ विभाजन के अतिरिक्त बिंदुओं के योग से Pε से उत्पन्न होता है। जो कि विशेष रूप से, g के संबंध में f का सामान्यीकृत रीमैन-स्टिल्टजेस इंटीग्रल एक संख्या A है, जैसे कि प्रत्येक ε > 0 के लिए एक विभाजन Pε उपस्थित होता है, जैसे कि प्रत्येक विभाजन P के लिए जो Pε को परिष्कृत करता है,


 * $$|S(P,f,g) - A| < \varepsilon \, $$

[xi, xi+1] में बिंदु ci के प्रत्येक विकल्प के लिए।

यह सामान्यीकरण [a, b] के विभाजन के निर्देशित सेट पर मूर-स्मिथ सीमा के रूप में रीमैन-स्टिल्टजेस अभिन्न अंग को प्रदर्शित करता है।

एक परिणाम यह है कि इस परिभाषा के साथ, अभिन्न $ \int_a^b f(x)\,\mathrm{d}g(x) $ अभी भी उन स्थितियों में परिभाषित किया जा सकता है जहां f और g में असंततता का बिंदु समान है।

डारबौक्स योग
रीमैन-स्टिल्टजेस इंटीग्रल को डार्बौक्स रकम के उचित सामान्यीकरण का उपयोग करके कुशलतापूर्वक नियंत्रित किया जा सकता है। विभाजन p और गैर-घटते फलन g के लिए [a, b] पर g के संबंध में f के ऊपरी डार्बौक्स योग को परिभाषित करें


 * $$U(P,f,g) = \sum_{i=1}^n \,\, [\,g(x_i)-g(x_{i-1})\,] \,\sup_{x\in [x_{i-1},x_i]} f(x)$$

और कम योग द्वारा


 * $$L(P,f,g) = \sum_{i=1}^n \,\, [\,g(x_i)-g(x_{i-1})\,] \,\inf_{x\in [x_{i-1},x_i]} f(x).$$

फिर g के संबंध में f का सामान्यीकृत रीमैन-स्टिल्टजेस उपस्थिति है यदि और केवल यदि, प्रत्येक ε > 0 के लिए, विभाजन P उपस्थिति है जैसे कि


 * $$U(P,f,g)-L(P,f,g) < \varepsilon.$$

इसके अतिरिक्त, f रीमैन-स्टिल्टजेस g के संबंध में पूर्णांक है (मौलिक अर्थ में) यदि


 * $$\lim_{\operatorname{mesh}(P)\to 0} [\,U(P,f,g)-L(P,f,g)\,] = 0.\quad$$

अवकलनीय g(x)
एक $$g(x)$$ दिया गया है जो $$\mathbb{R}$$ पर निरंतर भिन्न है, यह दिखाया जा सकता है कि समानता है

\int_a^b f(x) \, \mathrm{d}g(x) = \int_a^b f(x)g'(x) \, \mathrm{d}x $$ जहां दाहिनी ओर का इंटीग्रल मानक रीमैन इंटीग्रल है, यह मानते हुए कि $$f$$ को रीमैन-स्टिल्टजेस इंटीग्रल द्वारा एकीकृत किया जा सकता है।

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

यह स्थिति हो सकता है कि $$g$$ में जंप डिसकंटीनिटीज़ हैं, या लगभग प्रत्येक समष्टि व्युत्पन्न शून्य हो सकता है जबकि अभी भी निरंतर और बढ़ रहा है (उदाहरण के लिए, $$g$$ कैंटर फलन या "शैतान की सीढ़ी" हो सकता है), इनमें से किसी भी स्थिति में रीमैन-स्टिल्टजेस इंटीग्रल को $$g$$ के डेरिवेटिव से जुड़े किसी भी अभिव्यक्ति द्वारा कैप्चर नहीं किया जाता है।

रीमैन इंटीग्रल
मानक रीमैन इंटीग्रल, रीमैन-स्टिल्टजेस इंटीग्रल का विशेष स्थिति है जहाँ $$g(x) = x$$.

सुधारक
तंत्रिका नेटवर्क के अध्ययन में उपयोग किए जाने वाले फलन $$g(x) = \max\{ 0, x \}$$पर विचार करें, जिसे रेक्टिफाइड लीनियर यूनिट (आरईएलयू) कहा जाता है। तब रीमैन-स्टिल्टजेस का मूल्यांकन इस प्रकार किया जा सकता है

\int_a^b f(x)\,\mathrm{d}g(x) = \int_{g(a)}^{g(b)}f(x)\,\mathrm{d}x $$ जहां दाहिनी ओर का इंटीग्रल मानक रीमैन इंटीग्रल है।

कैवेलियरी एकीकरण
फ़ाइल: रीमैन-Stieltjes integral.png|thumb|right|434x434px|फलन के लिए कैवलियरे इंटीग्रल का विज़ुअलाइज़ेशन $$f(x)=(2x+8)^3$$

कैवलियरी के सिद्धांत का उपयोग रीमैन-स्टिल्टजेस इंटीग्रल्स का उपयोग करके वक्रों से घिरे क्षेत्रों की गणना करने के लिए किया जा सकता है। रीमैन एकीकरण की एकीकरण स्ट्रिप्स को उन स्ट्रिप्स से बदल दिया गया है जो आकार में गैर-आयताकार हैं। विधि एक "कैवलियरे क्षेत्र" को रूपांतरण $$h$$ के साथ बदलना है, या $$g = h^{-1}$$ को इंटीग्रैंड के रूप में उपयोग करना है।

किसी अंतराल $$[a,b]$$ पर किसी दिए गए फलन $$f(x)$$ के लिए, एक "अनुवादात्मक फलन " $$a(y)$$ को अंतराल में किसी भी बदलाव के लिए बिल्कुल एक बार $$(x,f(x ))$$ को काटना चाहिए। एक "कैवेलियरे क्षेत्र" तब $$f(x),a(y)$$, $$x$$-अक्ष और $$b(y) = a(y) + (b-a)$$ से घिरा होता है। क्षेत्र का क्षेत्रफल तब है
 * $$\int_{a(y)}^{b(y)} f(x) \, dx \ = \ \int_{a'}^{b'} f(x) \, dg(x) ,$$

जहाँ $$a'$$ और $$b'$$ हैं $$x$$-मूल्य जहाँ $$a(y)$$ और $$b(y)$$ प्रतिच्छेद $$f(x)$$.है

संदर्भ

 * via HathiTrust
 * via HathiTrust