प्रतिस्थापन द्वारा एकीकरण: Difference between revisions
No edit summary |
No edit summary |
||
(7 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
कैलकुलस में, '''प्रतिस्थापन द्वारा एकीकरण''', जिसे '''<nowiki/>'यू'-प्रतिस्थापन, रिवर्स चेन नियम या चर के परिवर्तन''' के रूप में भी जाना जाता है,<ref>{{harvnb|Swokowski|1983|loc=p. 257}}</ref> [[अभिन्न]] और एंटीडेरिवेटिव के मूल्यांकन के लिए एक विधि है। इस प्रकार यह व्युत्पन्न के लिए [[श्रृंखला नियम]] का प्रतिरूप है, और इसे शिथिल रूप से श्रृंखला नियम को "पीछे की ओर" उपयोग करने के बारे में सोचा जा सकता है। | |||
== एकल चर के लिए प्रतिस्थापन == | == एकल चर के लिए प्रतिस्थापन == | ||
=== परिचय === | === परिचय === | ||
[[गणितीय कठोरता]] के परिणाम को बताने से पहले, अनिश्चित समाकलों का उपयोग करते हुए एक साधारण | [[गणितीय कठोरता]] के परिणाम को बताने से पहले, अनिश्चित समाकलों का उपयोग करते हुए एक साधारण स्थितियों पर विचार करें। | ||
गणना करना <math>\textstyle\int(2x^3+1)^7(x^2)\,dx</math>.<ref>{{harvnb|Swokowsi|1983|loc=p. 258}}</ref> | गणना करना <math>\textstyle\int(2x^3+1)^7(x^2)\,dx</math>.<ref>{{harvnb|Swokowsi|1983|loc=p. 258}}</ref> | ||
तय करना <math>u=2x^3+1</math>. इसका | तय करना <math>u=2x^3+1</math>. इसका कारण यह है <math>\textstyle\frac{du}{dx}=6x^2</math>, या [[विभेदक रूप]] में, <math>du=6x^2\,dx</math>. वर्तमान | ||
:<math>\begin{aligned} | :<math>\begin{aligned} | ||
Line 20: | Line 19: | ||
कहाँ <math>C</math> एकीकरण का एक मनमाना स्थिरांक है। | कहाँ <math>C</math> एकीकरण का एक मनमाना स्थिरांक है। | ||
इस प्रक्रिया का सामान्यतः उपयोग किया जाता है, किन्तु सभी अभिन्न एक ऐसे रूप में नहीं होते हैं जो इसके उपयोग की अनुमति देता है। किसी भी स्थिति में, परिणाम को मूल एकीकृत से भिन्न करके और तुलना करके सत्यापित किया जाना चाहिए। | इस प्रक्रिया का सामान्यतः उपयोग किया जाता है, किन्तु सभी अभिन्न एक ऐसे रूप में नहीं होते हैं जो इसके उपयोग की अनुमति देता है। इस प्रकार किसी भी स्थिति में, परिणाम को मूल एकीकृत से भिन्न करके और तुलना करके सत्यापित किया जाना चाहिए। | ||
:<math>\frac{d}{dx}\left[\frac{1}{48}(2x^3+1)^{8}+C\right]=\frac{1}{6}(2x^3+1)^{7}(6x^2) = (2x^3+1)^7(x^2).</math> | :<math>\frac{d}{dx}\left[\frac{1}{48}(2x^3+1)^{8}+C\right]=\frac{1}{6}(2x^3+1)^{7}(6x^2) = (2x^3+1)^7(x^2).</math> | ||
Line 26: | Line 25: | ||
=== निश्चित अभिन्न === | === निश्चित अभिन्न === | ||
होने देना <math>g:[a,b]\rightarrow I</math> एक निरंतर फलन डेरिवेटिव के साथ एक भिन्न-भिन्न कार्य हो, जहां <math>I \subset \mathbb{R}</math> एक [[अंतराल (गणित)]] है। लगता है कि <math>f:I\rightarrow\mathbb{R}</math> एक सतत कार्य है। तब<ref>{{harvnb|Briggs|Cochran|2011|loc=pg.361}}</ref> | होने देना <math>g:[a,b]\rightarrow I</math> एक निरंतर फलन डेरिवेटिव के साथ एक भिन्न-भिन्न कार्य हो, जहां <math>I \subset \mathbb{R}</math> एक [[अंतराल (गणित)]] है। इस प्रकार लगता है कि <math>f:I\rightarrow\mathbb{R}</math> एक सतत कार्य है। तब<ref>{{harvnb|Briggs|Cochran|2011|loc=pg.361}}</ref> | ||
:<math>\int_a^b f(g(x))\cdot g'(x)\, dx = \int_{g(a)}^{g(b)} f(u)\ du. </math> | :<math>\int_a^b f(g(x))\cdot g'(x)\, dx = \int_{g(a)}^{g(b)} f(u)\ du. </math> | ||
लीबनिज संकेतन में, प्रतिस्थापन <math>u=g(x)</math> उत्पन्नवार | लीबनिज संकेतन में, प्रतिस्थापन <math>u=g(x)</math> उत्पन्नवार | ||
Line 32: | Line 31: | ||
[[बहुत छोता]] के साथ ह्यूरिस्टिक रूप से कार्य करने से समीकरण प्राप्त होता है | [[बहुत छोता]] के साथ ह्यूरिस्टिक रूप से कार्य करने से समीकरण प्राप्त होता है | ||
:<math>du = g'(x)\,dx,</math> | :<math>du = g'(x)\,dx,</math> | ||
जो ऊपर प्रतिस्थापन सूत्र का सुझाव देता है। (इस समीकरण को विभेदक रूपों के बारे में एक कथन | जो ऊपर प्रतिस्थापन सूत्र का सुझाव देता है। (इस समीकरण को विभेदक रूपों के बारे में एक कथन के रूप में व्याख्या करके एक कठोर आधार पर रखा जा सकता है।) इस प्रकार एक व्यक्ति प्रतिस्थापन द्वारा एकीकरण की विधि को इंटीग्रल और डेरिवेटिव के लिए लीबनिज के संकेतन के आंशिक औचित्य के रूप में देख सकता है। | ||
सूत्र का उपयोग एक अभिन्न को दूसरे अभिन्न में बदलने के लिए किया जाता है जो कि गणना करना आसान है। इस प्रकार, किसी दिए गए अभिन्न को सरल बनाने के लिए सूत्र को बाएं से दाएं या दाएं से बाएं पढ़ा जा सकता है। जब पूर्व तरीके से उपयोग किया जाता है, तब इसे कभी-कभी | सूत्र का उपयोग एक अभिन्न को दूसरे अभिन्न में बदलने के लिए किया जाता है जो कि गणना करना आसान है। इस प्रकार, किसी दिए गए अभिन्न को सरल बनाने के लिए सूत्र को बाएं से दाएं या दाएं से बाएं पढ़ा जा सकता है। जब पूर्व तरीके से उपयोग किया जाता है, तब इसे कभी-कभी यू-प्रतिस्थापन या डब्ल्यू-प्रतिस्थापन के रूप में जाना जाता है जिसमें एक नया चर परिभाषित किया जाता है जो मूल चर के फलन के रूप में परिभाषित किया जाता है‚ इस प्रकार बाद वाली विधि सामान्यतः [[त्रिकोणमितीय प्रतिस्थापन]] में उपयोग किया जाता है, मूल चर को एक नए चर के त्रिकोणमितीय फ़ंक्शन के साथ और मूल अंतर को त्रिकोणमितीय फ़ंक्शन के अंतर के साथ प्रतिस्थापित किया जाता है। | ||
=== प्रमाण === | === प्रमाण === | ||
प्रतिस्थापन द्वारा एकीकरण को कैलकुलस के मौलिक प्रमेय से निम्नानुसार प्राप्त किया जा सकता है। होने देना <math>f</math> और <math>g</math> उपरोक्त परिकल्पना को संतुष्ट करने वाले दो कार्य हो <math>f</math> निरंतर चालू है <math>I</math> और <math>g'</math> बंद अंतराल पर पूर्णांक है <math>[a,b]</math>. फिर फंक्शन <math>f(g(x))\cdot g'(x)</math> पर भी समाकलनीय है <math>[a,b]</math>. इसलिए अभिन्न | प्रतिस्थापन द्वारा एकीकरण को कैलकुलस के मौलिक प्रमेय से निम्नानुसार प्राप्त किया जा सकता है। इस प्रकार होने देना <math>f</math> और <math>g</math> उपरोक्त परिकल्पना को संतुष्ट करने वाले दो कार्य हो <math>f</math> निरंतर चालू है <math>I</math> और <math>g'</math> बंद अंतराल पर पूर्णांक है <math>[a,b]</math>. फिर फंक्शन <math>f(g(x))\cdot g'(x)</math> पर भी समाकलनीय है <math>[a,b]</math>. इसलिए अभिन्न | ||
:<math>\int_a^b f(g(x))\cdot g'(x)\ dx</math> | :<math>\int_a^b f(g(x))\cdot g'(x)\ dx</math> | ||
Line 76: | Line 75: | ||
निचली सीमा के पश्चात् से <math>x = 0</math> के साथ बदल दिया गया था <math>u = 1</math>, और ऊपरी सीमा <math>x = 2</math> साथ <math>2^{2} + 1 = 5</math>, के संदर्भ में एक परिवर्तन वापस <math>x</math> अनावश्यक था। | निचली सीमा के पश्चात् से <math>x = 0</math> के साथ बदल दिया गया था <math>u = 1</math>, और ऊपरी सीमा <math>x = 2</math> साथ <math>2^{2} + 1 = 5</math>, के संदर्भ में एक परिवर्तन वापस <math>x</math> अनावश्यक था। | ||
वैकल्पिक रूप से, कोई पहले अनिश्चित समाकल ( | वैकल्पिक रूप से, कोई पहले अनिश्चित समाकल (प्रतिअवकलज) का पूरी तरह से मूल्यांकन कर सकता है, फिर सीमा शर्तों को प्रयुक्त कर सकता है। यह विशेष रूप से आसान हो जाता है जब एकाधिक प्रतिस्थापन का उपयोग किया जाता है। | ||
==== उदाहरण 2 ==== | ==== उदाहरण 2 ==== | ||
Line 92: | Line 91: | ||
&= \frac{\pi}{4}. | &= \frac{\pi}{4}. | ||
\end{align}</math> | \end{align}</math> | ||
परिणामी अभिन्न की गणना [[भागों द्वारा एकीकरण]] या त्रिकोणमितीय पहचानों की सूची | परिणामी अभिन्न की गणना [[भागों द्वारा एकीकरण]] या त्रिकोणमितीय पहचानों की सूची एकाधिक-कोण और अर्ध-कोण सूत्रों का उपयोग करके की जा सकती है, <math>2\cos^{2} u = 1 + \cos (2u)</math>, उसके पश्चात् एक और प्रतिस्थापन एवं कोई यह भी नोट कर सकता है कि एकीकृत किया जा रहा कार्य एक त्रिज्या के साथ एक वृत्त का ऊपरी दाहिना चौथाई है, और इसलिए ऊपरी दाएँ चौथाई को शून्य से एक तक एकीकृत करना इकाई चक्र के एक चौथाई के क्षेत्रफल के सामान्तर ज्यामितीय है, या <math>\frac\pi 4 </math>. | ||
===एंटीडेरिवेटिव्स=== | ===एंटीडेरिवेटिव्स=== | ||
Line 109: | Line 108: | ||
कहाँ <math>C</math> एकीकरण का एक मनमाना स्थिरांक है। | कहाँ <math>C</math> एकीकरण का एक मनमाना स्थिरांक है। | ||
रूपांतरण के लिए कोई अभिन्न सीमाएँ नहीं थीं, किन्तु मूल प्रतिस्थापन को वापस लाने के अंतिम चरण में <math>u = x^{2} + 1</math> आवश्यक था। प्रतिस्थापन द्वारा निश्चित समाकलों का मूल्यांकन करते समय, कोई पहले पूरी तरह से प्रतिपक्षी की गणना कर सकता है, फिर सीमा शर्तों को प्रयुक्त कर सकता है। उस स्थिति में, सीमा शर्तों को बदलने की कोई आवश्यकता नहीं है। | रूपांतरण के लिए कोई अभिन्न सीमाएँ नहीं थीं, किन्तु मूल प्रतिस्थापन को वापस लाने के अंतिम चरण में <math>u = x^{2} + 1</math> आवश्यक था। प्रतिस्थापन द्वारा निश्चित समाकलों का मूल्यांकन करते समय, कोई पहले पूरी तरह से प्रतिपक्षी की गणना कर सकता है, फिर सीमा शर्तों को प्रयुक्त कर सकता है। इस प्रकार उस स्थिति में, सीमा शर्तों को बदलने की कोई आवश्यकता नहीं है। | ||
[[स्पर्शरेखा समारोह|स्पर्शरेखा फलन]] | [[स्पर्शरेखा समारोह|स्पर्शरेखा फलन]] को साइन और कोसाइन के संदर्भ में व्यक्त करके प्रतिस्थापन का उपयोग करके एकीकृत किया जा सकता है: | ||
:<math>\int \tan x \,dx = \int \frac{\sin x}{\cos x} \,dx</math> | :<math>\int \tan x \,dx = \int \frac{\sin x}{\cos x} \,dx</math> | ||
प्रतिस्थापन का उपयोग करना <math>u = \cos x</math> देता है <math>du = -\sin x\,dx</math> और | प्रतिस्थापन का उपयोग करना <math>u = \cos x</math> देता है <math>du = -\sin x\,dx</math> और | ||
Line 121: | Line 120: | ||
&= \ln |\sec x| + C. | &= \ln |\sec x| + C. | ||
\end{align}</math> | \end{align}</math> | ||
== एकाधिक चर के लिए प्रतिस्थापन == | == एकाधिक चर के लिए प्रतिस्थापन == | ||
बहुभिन्नरूपी फलन को एकीकृत करते समय कोई भी प्रतिस्थापन का उपयोग कर सकता है। | बहुभिन्नरूपी फलन को एकीकृत करते समय कोई भी प्रतिस्थापन का उपयोग कर सकता है। | ||
यहाँ प्रतिस्थापन फंक्शन {{math|1=(''v''<sub>1</sub>,...,''v''<sub>''n''</sub>) = ''φ''(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}} अंतःक्षेपी और निरंतर अवकलनीय होने की आवश्यकता है | |||
यहाँ प्रतिस्थापन फंक्शन {{math|1=(''v''<sub>1</sub>,...,''v''<sub>''n''</sub>) = ''φ''(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}} अंतःक्षेपी और निरंतर अवकलनीय होने की आवश्यकता है और अवकलन इस रूप में परिवर्तित होते हैं | |||
:<math>dv_1 \cdots dv_n = \left|\det(D\varphi)(u_1, \ldots, u_n)\right| \, du_1 \cdots du_n,</math> | :<math>dv_1 \cdots dv_n = \left|\det(D\varphi)(u_1, \ldots, u_n)\right| \, du_1 \cdots du_n,</math> | ||
कहाँ {{math|det(''Dφ'')(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}} के आंशिक डेरिवेटिव के [[जैकबियन मैट्रिक्स|जैकबियन आव्युह]] के निर्धारक को दर्शाता है {{math|''φ''}} बिंदु पर {{math|(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}}. यह सूत्र इस तथ्य को व्यक्त करता है कि एक आव्युह के निर्धारक का निरपेक्ष मान इसके स्तंभों या पंक्तियों द्वारा फैलाए गए | कहाँ {{math|det(''Dφ'')(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}} के आंशिक डेरिवेटिव के [[जैकबियन मैट्रिक्स|जैकबियन आव्युह]] के निर्धारक को दर्शाता है {{math|''φ''}} बिंदु पर {{math|(''u''<sub>1</sub>, ..., ''u''<sub>''n''</sub>)}}. यह सूत्र इस तथ्य को व्यक्त करता है कि एक आव्युह के निर्धारक का निरपेक्ष मान इसके स्तंभों या पंक्तियों द्वारा फैलाए गए पैरेललेपिप्ड पैरेललोटोप के आयतन के सामान्तर होता है। | ||
अधिक त्रुटिहीन रूप से, चर सूत्र का परिवर्तन अगले प्रमेय में बताया गया है: | इस प्रकार अधिक त्रुटिहीन रूप से, चर सूत्र का परिवर्तन अगले प्रमेय में बताया गया है: | ||
'प्रमेय'। होने देना {{math|''U''}} में एक खुला समूह हो {{math|'''R'''<sup>''n''</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>''n''</sup>}} निरंतर आंशिक डेरिवेटिव के साथ एक [[इंजेक्शन समारोह|इंजेक्शन फंक्शन]] भिन्न-भिन्न फलन, जिसका जैकोबियन प्रत्येक के लिए गैर-शून्य है {{math|''x''}} में {{math|''U''}}. फिर किसी वास्तविक मूल्यवान, कॉम्पैक्ट रूप से समर्थित, निरंतर कार्य के लिए {{math|''f''}}, में निहित समर्थन के साथ {{math|''φ''(''U'')}}, | 'प्रमेय'। होने देना {{math|''U''}} में एक खुला समूह हो {{math|'''R'''<sup>''n''</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>''n''</sup>}} निरंतर आंशिक डेरिवेटिव के साथ एक [[इंजेक्शन समारोह|इंजेक्शन फंक्शन]] भिन्न-भिन्न फलन, जिसका जैकोबियन प्रत्येक के लिए गैर-शून्य है {{math|''x''}} में {{math|''U''}}. फिर किसी वास्तविक मूल्यवान, कॉम्पैक्ट रूप से समर्थित, निरंतर कार्य के लिए {{math|''f''}}, में निहित समर्थन के साथ {{math|''φ''(''U'')}}, | ||
Line 137: | Line 135: | ||
:<math>\int_{\varphi(U)} f(\mathbf{v})\, d\mathbf{v} | :<math>\int_{\varphi(U)} f(\mathbf{v})\, d\mathbf{v} | ||
= \int_U f(\varphi(\mathbf{u})) \left|\det(D\varphi)(\mathbf{u})\right| \,d\mathbf{u}.</math> | = \int_U f(\varphi(\mathbf{u})) \left|\det(D\varphi)(\mathbf{u})\right| \,d\mathbf{u}.</math> | ||
प्रमेय पर शर्तों को विभिन्न तरीकों से अशक्त किया जा सकता है। सबसे पहले, आवश्यकता है कि {{math|''φ''}} लगातार भिन्न-भिन्न होने को अशक्त धारणा से बदला जा सकता है {{math|''φ''}} केवल अवकलनीय हो और एक सतत व्युत्क्रम हो।<ref>{{harvnb|Rudin|1987|loc=Theorem 7.26}}</ref> इसे धारण करने की गारंटी है {{math|''φ''}} प्रतिलोम फलन प्रमेय द्वारा निरंतर अवकलनीय है। वैकल्पिक रूप से, आवश्यकता है कि {{math|det(''Dφ'') ≠ 0}} सार्ड के प्रमेय को प्रयुक्त करके समाप्त किया जा सकता है।<ref>{{harvnb|Spivak|1965|loc=p. 72}}</ref> | प्रमेय पर शर्तों को विभिन्न तरीकों से अशक्त किया जा सकता है। सबसे पहले, आवश्यकता है कि {{math|''φ''}} लगातार भिन्न-भिन्न होने को अशक्त धारणा से बदला जा सकता है {{math|''φ''}} केवल अवकलनीय हो और एक सतत व्युत्क्रम हो।<ref>{{harvnb|Rudin|1987|loc=Theorem 7.26}}</ref> इस प्रकार इसे धारण करने की गारंटी है {{math|''φ''}} प्रतिलोम फलन प्रमेय द्वारा निरंतर अवकलनीय है। वैकल्पिक रूप से, आवश्यकता है कि {{math|det(''Dφ'') ≠ 0}} सार्ड के प्रमेय को प्रयुक्त करके समाप्त किया जा सकता है।<ref>{{harvnb|Spivak|1965|loc=p. 72}}</ref> | ||
प्रमेय। होने देना {{math|''U''}} का एक मापने योग्य उपसमुच्चय हो {{math|'''R'''<sup>''n''</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>''n''</sup>}} एक इंजेक्शन फलन, और प्रत्येक के लिए मान लीजिए {{math|''x''}} में {{math|''U''}} वहां उपस्तिथ {{math|''φ''′(''x'')}} में {{math|'''R'''<sup>''n'',''n''</sup>}} ऐसा है कि {{math|1=''φ''(''y'') = ''φ''(''x'') + ''φ′''(''x'')(''y'' − ''x'') + ''o''(<nowiki>||</nowiki>''y'' − ''x''<nowiki>||</nowiki>)}} जैसा {{math|''y'' → ''x''}} (यहाँ {{math|''o''}} लन्दौ प्रतीक है | लेब्सग्यू मापने योग्य कार्यों के लिए, प्रमेय को निम्नलिखित रूप में कहा जा सकता है:<ref>{{harvnb|Fremlin|2010|loc=Theorem 263D}}</ref> | ||
प्रमेय। होने देना {{math|''U''}} का एक मापने योग्य उपसमुच्चय हो {{math|'''R'''<sup>''n''</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>''n''</sup>}} एक इंजेक्शन फलन, और प्रत्येक के लिए मान लीजिए {{math|''x''}} में {{math|''U''}} वहां उपस्तिथ {{math|''φ''′(''x'')}} में {{math|'''R'''<sup>''n'',''n''</sup>}} ऐसा है कि {{math|1=''φ''(''y'') = ''φ''(''x'') + ''φ′''(''x'')(''y'' − ''x'') + ''o''(<nowiki>||</nowiki>''y'' − ''x''<nowiki>||</nowiki>)}} जैसा {{math|''y'' → ''x''}} (यहाँ {{math|''o''}} लन्दौ प्रतीक है संबंधित स्पर्शोन्मुख संकेतन थोड़ा-ओ अंकन)। तब {{math|''φ''(''U'')}} औसत अंकित का है, और किसी भी वास्तविक-मूल्यवान कार्य के लिए {{math|''f''}} पर परिभाषित {{math|''φ''(''U'')}}, | |||
:<math>\int_{\varphi(U)} f(v)\, dv = \int_U f(\varphi(u)) \left|\det \varphi'(u)\right| \,du</math> | :<math>\int_{\varphi(U)} f(v)\, dv = \int_U f(\varphi(u)) \left|\det \varphi'(u)\right| \,du</math> | ||
इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (उचित रूप से अनंत होने की संभावना सहित), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है। | इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (उचित रूप से अनंत होने की संभावना सहित), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है। | ||
[[माप सिद्धांत]] में एक और बहुत सामान्य संस्करण निम्नलिखित है:<ref>{{harvnb|Hewitt|Stromberg|1965|loc=Theorem 20.3}}</ref> | इस प्रकार [[माप सिद्धांत]] में एक और बहुत सामान्य संस्करण निम्नलिखित है:<ref>{{harvnb|Hewitt|Stromberg|1965|loc=Theorem 20.3}}</ref> | ||
प्रमेय। होने देना {{math|''X''}} एक सीमित [[रेडॉन माप]] से लैस एक [[स्थानीय रूप से कॉम्पैक्ट]] [[हॉसडॉर्फ स्पेस]] बनें {{math|μ}}, और जाने {{math|''Y''}} एक Σ-कॉम्पैक्ट स्पेस बनें | |||
प्रमेय। होने देना {{math|''X''}} एक सीमित [[रेडॉन माप]] से लैस एक [[स्थानीय रूप से कॉम्पैक्ट]] [[हॉसडॉर्फ स्पेस]] बनें {{math|μ}}, और जाने {{math|''Y''}} एक Σ-कॉम्पैक्ट स्पेस बनें एवं σ-कॉम्पैक्ट हौसडॉर्फ स्पेस एक सिग्मा परिमित माप के साथ σ-फाइनाइट रैडॉन माप {{math|ρ}}. होने देना {{math|''φ'' : ''X'' → ''Y''}} एक [[बिल्कुल निरंतर]] कार्य हो (जहां पश्चात् का कारणहै {{math|1=''ρ''(''φ''(''E'')) = 0}} जब कभी भी {{math|1=''μ''(''E'') = 0}}). फिर एक वास्तविक मूल्यवान [[बोरेल बीजगणित]] उपस्तिथ है {{math|''w''}} पर {{math|''X''}} ऐसा है कि प्रत्येक लेब्सग्यू अभिन्न फलन के लिए {{math|''f'' : ''Y'' → '''R'''}}, कार्यक्रम {{math|(''f'' ∘ ''φ'') ⋅ ''w''}} लेब्सग्यू पर पूर्णांक है {{math|''X''}}, और | |||
:<math>\int_Y f(y)\,d\rho(y) = \int_X (f\circ \varphi)(x)\,w(x)\,d\mu(x).</math> | :<math>\int_Y f(y)\,d\rho(y) = \int_X (f\circ \varphi)(x)\,w(x)\,d\mu(x).</math> | ||
इसके अतिरिक्त, लिखना संभव है | इसके अतिरिक्त, लिखना संभव है | ||
Line 150: | Line 151: | ||
कुछ बोरेल मापने योग्य कार्य के लिए {{math|''g''}} पर {{math|''Y''}}. | कुछ बोरेल मापने योग्य कार्य के लिए {{math|''g''}} पर {{math|''Y''}}. | ||
[[ज्यामितीय माप सिद्धांत]] में, प्रतिस्थापन द्वारा एकीकरण लिप्सचिट्ज़ कार्यों के साथ प्रयोग किया जाता है। एक द्वि-[[लिप्सचिट्ज़ समारोह|लिप्सचिट्ज़ फलन]] | [[ज्यामितीय माप सिद्धांत]] में, प्रतिस्थापन द्वारा एकीकरण लिप्सचिट्ज़ कार्यों के साथ प्रयोग किया जाता है। इस प्रकार एक द्वि-[[लिप्सचिट्ज़ समारोह|लिप्सचिट्ज़ फलन]] एक लिप्सचिट्ज़ फलन है {{math|''φ'' : ''U'' → '''R'''<sup>n</sup>}} जो इंजेक्शन है और जिसका उलटा कार्य है {{math|''φ''<sup>−1</sup> : ''φ''(''U'') → ''U''}} लिपशिट्ज भी है। रैडेमाकर के प्रमेय के अनुसार द्वि-लिप्सचिट्ज़ मानचित्रण [[लगभग हर जगह|लगभग हर स्थान]] भिन्न-भिन्न होती है। इस प्रकार विशेष रूप से, द्वि-लिप्सचिट्ज़ मानचित्रण का जैकबियन निर्धारक {{math|det ''Dφ''}} लगभग हर स्थान अच्छी तरह से परिभाषित है। निम्नलिखित परिणाम तब धारण करता है: | ||
प्रमेय। होने देना {{math|''U''}} का एक खुला उपसमुच्चय हो {{math|'''R'''<sup>n</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>n</sup>}} एक द्वि-लिप्सचिट्ज़ मानचित्रण | प्रमेय। होने देना {{math|''U''}} का एक खुला उपसमुच्चय हो {{math|'''R'''<sup>n</sup>}} और {{math|''φ'' : ''U'' → '''R'''<sup>n</sup>}} एक द्वि-लिप्सचिट्ज़ मानचित्रण बनें। होने देना {{math|''f'' : ''φ''(''U'') → '''R'''}} मापने योग्य हो। तब | ||
:<math>\int_U (f\circ \varphi)(x) |\det D\varphi(x)|\,dx = \int_{\varphi(U)} f(x)\,dx</math> | :<math>\int_U (f\circ \varphi)(x) |\det D\varphi(x)|\,dx = \int_{\varphi(U)} f(x)\,dx</math> | ||
इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (या ठीक से अनंत है), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है। | इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (या ठीक से अनंत है), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है। | ||
उपरोक्त प्रमेय पहली बार [[यूलर]] द्वारा प्रस्तावित किया गया था जब उन्होंने 1769 में [[डबल इंटीग्रल]] की धारणा विकसित की थी। चूंकि 1773 में [[Lagrange]] द्वारा ट्रिपल इंटीग्रल के लिए सामान्यीकृत किया गया था | उपरोक्त प्रमेय पहली बार [[यूलर]] द्वारा प्रस्तावित किया गया था जब उन्होंने साल 1769 में [[डबल इंटीग्रल]] की धारणा विकसित की थी। चूंकि साल 1773 में [[Lagrange|लैग्रेंज]] द्वारा ट्रिपल इंटीग्रल के लिए सामान्यीकृत किया गया था और [[एड्रियन मैरी लीजेंड्रे]], [[लाप्लास]], [[गॉस]] द्वारा उपयोग किया गया था एवं साल 1836 में [[मिखाइल ओस्ट्रोग्रैडस्की]] द्वारा पहली बार {{math|''n''}} चर के लिए सामान्यीकृत किया गया था। इसने आश्चर्यजनक रूप से लंबे समय के लिए पूरी तरह से कठोर औपचारिक प्रमाण का विरोध किया, और 125 साल पश्चात् एली कार्टन द्वारा साल 1890 के दशक के मध्य में प्रारंभ होने वाले पत्रों की एक श्रृंखला में पहली बार संतोषजनक रूप से हल किया गया था।<ref>{{harvnb|Katz|1982}}</ref><ref>{{harvnb|Ferzola|1994}}</ref> | ||
== संभाव्यता में आवेदन == | == संभाव्यता में आवेदन == | ||
प्रायिकता में निम्नलिखित महत्वपूर्ण प्रश्न का उत्तर देने के लिए प्रतिस्थापन का उपयोग किया जा सकता है: एक यादृच्छिक चर दिया गया है <math>X</math> संभाव्यता घनत्व के साथ <math>p_X</math> और दूसरा यादृच्छिक चर <math>Y</math> ऐसा है कि <math>Y=\phi(X)</math> इंजेक्शन फलन | प्रायिकता में निम्नलिखित महत्वपूर्ण प्रश्न का उत्तर देने के लिए प्रतिस्थापन का उपयोग किया जा सकता है: एक यादृच्छिक चर दिया गया है <math>X</math> संभाव्यता घनत्व के साथ <math>p_X</math> और दूसरा यादृच्छिक चर <math>Y</math> ऐसा है कि <math>Y=\phi(X)</math> इंजेक्शन फलन के लिए (एक-से-एक) <math>\phi</math>, के लिए प्रायिकता घनत्व क्या है <math>Y</math>? | ||
पहले थोड़े भिन्न प्रश्न का उत्तर देकर इस प्रश्न का उत्तर देना सबसे आसान है: इसकी क्या प्रायिकता है <math>Y</math> किसी विशेष उपसमुच्चय में मान लेता है <math>S</math>? इस संभावना को निरूपित करें <math>P(Y \in S)</math>. बेशक यदि <math>Y</math> संभाव्यता घनत्व है <math>p_Y</math> तब उत्तर है | पहले थोड़े भिन्न प्रश्न का उत्तर देकर इस प्रश्न का उत्तर देना सबसे आसान है: इसकी क्या प्रायिकता है <math>Y</math> किसी विशेष उपसमुच्चय में मान लेता है <math>S</math>? इस संभावना को निरूपित करें <math>P(Y \in S)</math>. बेशक यदि <math>Y</math> संभाव्यता घनत्व है <math>p_Y</math> तब उत्तर है | ||
:<math>P(Y \in S) = \int_S p_Y(y)\,dy, </math> | :<math>P(Y \in S) = \int_S p_Y(y)\,dy, </math> | ||
किन्तु यह वास्तव में उपयोगी नहीं है क्योंकि हम नहीं जानते <math>p_Y</math>; हम इसे खोजने की कोशिश कर रहे हैं। हम चर में समस्या पर विचार करके प्रगति कर सकते हैं <math>X</math>. | किन्तु यह वास्तव में उपयोगी नहीं है क्योंकि हम नहीं जानते <math>p_Y</math>; हम इसे खोजने की कोशिश कर रहे हैं। इस प्रकार हम चर में समस्या पर विचार करके प्रगति कर सकते हैं <math>X</math>. <math>Y</math> में मान लेता है <math>S</math> जब कभी भी <math>X</math> में मान लेता है <math>\phi^{-1}(S)</math>, इसलिए | ||
:<math>P(Y \in S) = P(X \in \phi^{-1}(S)) = \int_{\phi^{-1}(S)} p_X(x)\,dx.</math> | :<math>P(Y \in S) = P(X \in \phi^{-1}(S)) = \int_{\phi^{-1}(S)} p_X(x)\,dx.</math> | ||
Line 178: | Line 177: | ||
:<math>p_Y(y) = p_X(\phi^{-1}(y)) \left|\frac{d\phi^{-1}}{dy}\right|.</math> | :<math>p_Y(y) = p_X(\phi^{-1}(y)) \left|\frac{d\phi^{-1}}{dy}\right|.</math> | ||
स्थितियों में जहां <math>X</math> और <math>Y</math> अनेक असंबद्ध चरों पर निर्भर करता है, अर्थात <math>p_X=p_X(x_1, \ldots, x_n)</math> और <math>y=\phi(x)</math>, <math>p_Y</math> ऊपर चर्चा किए गए अनेक चरों में प्रतिस्थापन द्वारा पाया जा सकता है। परिणाम है | |||
:<math>p_Y(y) = p_X(\phi^{-1}(y)) \left|\det D\phi ^{-1}(y) \right|.</math> | :<math>p_Y(y) = p_X(\phi^{-1}(y)) \left|\det D\phi ^{-1}(y) \right|.</math> | ||
== यह भी देखें{{Portal|Mathematics}} == | |||
== यह भी देखें | |||
{{Portal|Mathematics}} | |||
*[[संभाव्यता सघनता फ़ंक्शन|संभाव्यता सघनता फलन]] | *[[संभाव्यता सघनता फ़ंक्शन|संभाव्यता सघनता फलन]] | ||
* [[चर का प्रतिस्थापन]] | * [[चर का प्रतिस्थापन]] | ||
Line 195: | Line 192: | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{reflist}} | {{reflist}} | ||
==संदर्भ== | ==संदर्भ== | ||
*{{citation|first1=William|last1=Briggs|first2=Lyle|last2=Cochran|year=2011|title=Calculus /Early Transcendentals|edition=Single Variable|publisher=Addison-Wesley|isbn=978-0-321-66414-3}} | *{{citation|first1=William|last1=Briggs|first2=Lyle|last2=Cochran|year=2011|title=Calculus /Early Transcendentals|edition=Single Variable|publisher=Addison-Wesley|isbn=978-0-321-66414-3}} | ||
Line 206: | Line 201: | ||
* {{citation|first=Earl W.|last=Swokowski|title=Calculus with analytic geometry|edition=alternate|year=1983|publisher=Prindle, Weber & Schmidt|isbn=0-87150-341-7}} | * {{citation|first=Earl W.|last=Swokowski|title=Calculus with analytic geometry|edition=alternate|year=1983|publisher=Prindle, Weber & Schmidt|isbn=0-87150-341-7}} | ||
* {{citation|first=Michael|last=Spivak|author-link=Michael Spivak|title=Calculus on Manifolds|publisher=Westview Press|year=1965|isbn=978-0-8053-9021-6}}. | * {{citation|first=Michael|last=Spivak|author-link=Michael Spivak|title=Calculus on Manifolds|publisher=Westview Press|year=1965|isbn=978-0-8053-9021-6}}. | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
{{Wikibooks|Calculus|Integration#The_Substitution_Rule|The Substitution Rule}} | {{Wikibooks|Calculus|Integration#The_Substitution_Rule|The Substitution Rule}} | ||
Line 214: | Line 207: | ||
* [https://www.encyclopediaofmath.org/index.php/Area_formula Area formula] at [[Encyclopedia of Mathematics]] | * [https://www.encyclopediaofmath.org/index.php/Area_formula Area formula] at [[Encyclopedia of Mathematics]] | ||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 07/02/2023]] | [[Category:Created On 07/02/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages using sidebar with the child parameter]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:प्रमाण युक्त लेख]] | |||
[[Category:समाकलन गणित]] |
Latest revision as of 16:50, 28 August 2023
कैलकुलस में, प्रतिस्थापन द्वारा एकीकरण, जिसे 'यू'-प्रतिस्थापन, रिवर्स चेन नियम या चर के परिवर्तन के रूप में भी जाना जाता है,[1] अभिन्न और एंटीडेरिवेटिव के मूल्यांकन के लिए एक विधि है। इस प्रकार यह व्युत्पन्न के लिए श्रृंखला नियम का प्रतिरूप है, और इसे शिथिल रूप से श्रृंखला नियम को "पीछे की ओर" उपयोग करने के बारे में सोचा जा सकता है।
एकल चर के लिए प्रतिस्थापन
परिचय
गणितीय कठोरता के परिणाम को बताने से पहले, अनिश्चित समाकलों का उपयोग करते हुए एक साधारण स्थितियों पर विचार करें।
गणना करना .[2]
तय करना . इसका कारण यह है , या विभेदक रूप में, . वर्तमान
कहाँ एकीकरण का एक मनमाना स्थिरांक है।
इस प्रक्रिया का सामान्यतः उपयोग किया जाता है, किन्तु सभी अभिन्न एक ऐसे रूप में नहीं होते हैं जो इसके उपयोग की अनुमति देता है। इस प्रकार किसी भी स्थिति में, परिणाम को मूल एकीकृत से भिन्न करके और तुलना करके सत्यापित किया जाना चाहिए।
निश्चित समाकलों के लिए, समाकलन की सीमाओं को भी समायोजित किया जाना चाहिए, किन्तु प्रक्रिया अधिकतर समान होती है।
निश्चित अभिन्न
होने देना एक निरंतर फलन डेरिवेटिव के साथ एक भिन्न-भिन्न कार्य हो, जहां एक अंतराल (गणित) है। इस प्रकार लगता है कि एक सतत कार्य है। तब[3]
लीबनिज संकेतन में, प्रतिस्थापन उत्पन्नवार
बहुत छोता के साथ ह्यूरिस्टिक रूप से कार्य करने से समीकरण प्राप्त होता है
जो ऊपर प्रतिस्थापन सूत्र का सुझाव देता है। (इस समीकरण को विभेदक रूपों के बारे में एक कथन के रूप में व्याख्या करके एक कठोर आधार पर रखा जा सकता है।) इस प्रकार एक व्यक्ति प्रतिस्थापन द्वारा एकीकरण की विधि को इंटीग्रल और डेरिवेटिव के लिए लीबनिज के संकेतन के आंशिक औचित्य के रूप में देख सकता है।
सूत्र का उपयोग एक अभिन्न को दूसरे अभिन्न में बदलने के लिए किया जाता है जो कि गणना करना आसान है। इस प्रकार, किसी दिए गए अभिन्न को सरल बनाने के लिए सूत्र को बाएं से दाएं या दाएं से बाएं पढ़ा जा सकता है। जब पूर्व तरीके से उपयोग किया जाता है, तब इसे कभी-कभी यू-प्रतिस्थापन या डब्ल्यू-प्रतिस्थापन के रूप में जाना जाता है जिसमें एक नया चर परिभाषित किया जाता है जो मूल चर के फलन के रूप में परिभाषित किया जाता है‚ इस प्रकार बाद वाली विधि सामान्यतः त्रिकोणमितीय प्रतिस्थापन में उपयोग किया जाता है, मूल चर को एक नए चर के त्रिकोणमितीय फ़ंक्शन के साथ और मूल अंतर को त्रिकोणमितीय फ़ंक्शन के अंतर के साथ प्रतिस्थापित किया जाता है।
प्रमाण
प्रतिस्थापन द्वारा एकीकरण को कैलकुलस के मौलिक प्रमेय से निम्नानुसार प्राप्त किया जा सकता है। इस प्रकार होने देना और उपरोक्त परिकल्पना को संतुष्ट करने वाले दो कार्य हो निरंतर चालू है और बंद अंतराल पर पूर्णांक है . फिर फंक्शन पर भी समाकलनीय है . इसलिए अभिन्न
और
वास्तव में उपस्तिथ हैं, और यह दिखाना बाकी है कि वह समान हैं।
तब से निरंतर है, इसमें एक प्रतिपक्षी है . फंक्शन रचना तब परिभाषित किया जाता है। तब से अवकलनीय है, शृंखला नियम और प्रतिअवकलज की परिभाषा को मिलाकर देता है
कलन की मूलभूत प्रमेय को दो बार प्रयुक्त करने पर प्राप्त होता है
जो प्रतिस्थापन नियम है।
उदाहरण
उदाहरण 1
अभिन्न पर विचार करें
प्रतिस्थापन करें प्राप्त करने के लिए , अर्थ . इसलिए,
निचली सीमा के पश्चात् से के साथ बदल दिया गया था , और ऊपरी सीमा साथ , के संदर्भ में एक परिवर्तन वापस अनावश्यक था।
वैकल्पिक रूप से, कोई पहले अनिश्चित समाकल (प्रतिअवकलज) का पूरी तरह से मूल्यांकन कर सकता है, फिर सीमा शर्तों को प्रयुक्त कर सकता है। यह विशेष रूप से आसान हो जाता है जब एकाधिक प्रतिस्थापन का उपयोग किया जाता है।
उदाहरण 2
अभिन्न के लिए
उपरोक्त प्रक्रिया में बदलाव की आवश्यकता है। प्रतिस्थापन जिसका अर्थ उपयोगी है क्योंकि . इस प्रकार हमारे पास है
परिणामी अभिन्न की गणना भागों द्वारा एकीकरण या त्रिकोणमितीय पहचानों की सूची एकाधिक-कोण और अर्ध-कोण सूत्रों का उपयोग करके की जा सकती है, , उसके पश्चात् एक और प्रतिस्थापन एवं कोई यह भी नोट कर सकता है कि एकीकृत किया जा रहा कार्य एक त्रिज्या के साथ एक वृत्त का ऊपरी दाहिना चौथाई है, और इसलिए ऊपरी दाएँ चौथाई को शून्य से एक तक एकीकृत करना इकाई चक्र के एक चौथाई के क्षेत्रफल के सामान्तर ज्यामितीय है, या .
एंटीडेरिवेटिव्स
प्रतिस्थापन का उपयोग एंटीडेरिवेटिव निर्धारित करने के लिए किया जा सकता है। एक के मध्य एक संबंध चुनता है और , के मध्य संबंधित संबंध निर्धारित करता है और अंतर करके, और प्रतिस्थापन करता है। उम्मीद है कि प्रतिस्थापित फलन के लिए एक एंटीडेरिवेटिव निर्धारित किया जा सकता है; के मध्य मूल प्रतिस्थापन और फिर पूर्ववत है।
उपरोक्त उदाहरण 1 के समान, इस विधि से निम्नलिखित प्रतिअवकलज प्राप्त किए जा सकते हैं:
कहाँ एकीकरण का एक मनमाना स्थिरांक है।
रूपांतरण के लिए कोई अभिन्न सीमाएँ नहीं थीं, किन्तु मूल प्रतिस्थापन को वापस लाने के अंतिम चरण में आवश्यक था। प्रतिस्थापन द्वारा निश्चित समाकलों का मूल्यांकन करते समय, कोई पहले पूरी तरह से प्रतिपक्षी की गणना कर सकता है, फिर सीमा शर्तों को प्रयुक्त कर सकता है। इस प्रकार उस स्थिति में, सीमा शर्तों को बदलने की कोई आवश्यकता नहीं है।
स्पर्शरेखा फलन को साइन और कोसाइन के संदर्भ में व्यक्त करके प्रतिस्थापन का उपयोग करके एकीकृत किया जा सकता है:
प्रतिस्थापन का उपयोग करना देता है और
एकाधिक चर के लिए प्रतिस्थापन
बहुभिन्नरूपी फलन को एकीकृत करते समय कोई भी प्रतिस्थापन का उपयोग कर सकता है।
यहाँ प्रतिस्थापन फंक्शन (v1,...,vn) = φ(u1, ..., un) अंतःक्षेपी और निरंतर अवकलनीय होने की आवश्यकता है और अवकलन इस रूप में परिवर्तित होते हैं
कहाँ det(Dφ)(u1, ..., un) के आंशिक डेरिवेटिव के जैकबियन आव्युह के निर्धारक को दर्शाता है φ बिंदु पर (u1, ..., un). यह सूत्र इस तथ्य को व्यक्त करता है कि एक आव्युह के निर्धारक का निरपेक्ष मान इसके स्तंभों या पंक्तियों द्वारा फैलाए गए पैरेललेपिप्ड पैरेललोटोप के आयतन के सामान्तर होता है।
इस प्रकार अधिक त्रुटिहीन रूप से, चर सूत्र का परिवर्तन अगले प्रमेय में बताया गया है:
'प्रमेय'। होने देना U में एक खुला समूह हो Rn और φ : U → Rn निरंतर आंशिक डेरिवेटिव के साथ एक इंजेक्शन फंक्शन भिन्न-भिन्न फलन, जिसका जैकोबियन प्रत्येक के लिए गैर-शून्य है x में U. फिर किसी वास्तविक मूल्यवान, कॉम्पैक्ट रूप से समर्थित, निरंतर कार्य के लिए f, में निहित समर्थन के साथ φ(U),
प्रमेय पर शर्तों को विभिन्न तरीकों से अशक्त किया जा सकता है। सबसे पहले, आवश्यकता है कि φ लगातार भिन्न-भिन्न होने को अशक्त धारणा से बदला जा सकता है φ केवल अवकलनीय हो और एक सतत व्युत्क्रम हो।[4] इस प्रकार इसे धारण करने की गारंटी है φ प्रतिलोम फलन प्रमेय द्वारा निरंतर अवकलनीय है। वैकल्पिक रूप से, आवश्यकता है कि det(Dφ) ≠ 0 सार्ड के प्रमेय को प्रयुक्त करके समाप्त किया जा सकता है।[5]
लेब्सग्यू मापने योग्य कार्यों के लिए, प्रमेय को निम्नलिखित रूप में कहा जा सकता है:[6]
प्रमेय। होने देना U का एक मापने योग्य उपसमुच्चय हो Rn और φ : U → Rn एक इंजेक्शन फलन, और प्रत्येक के लिए मान लीजिए x में U वहां उपस्तिथ φ′(x) में Rn,n ऐसा है कि φ(y) = φ(x) + φ′(x)(y − x) + o(||y − x||) जैसा y → x (यहाँ o लन्दौ प्रतीक है संबंधित स्पर्शोन्मुख संकेतन थोड़ा-ओ अंकन)। तब φ(U) औसत अंकित का है, और किसी भी वास्तविक-मूल्यवान कार्य के लिए f पर परिभाषित φ(U),
इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (उचित रूप से अनंत होने की संभावना सहित), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है।
इस प्रकार माप सिद्धांत में एक और बहुत सामान्य संस्करण निम्नलिखित है:[7]
प्रमेय। होने देना X एक सीमित रेडॉन माप से लैस एक स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस बनें μ, और जाने Y एक Σ-कॉम्पैक्ट स्पेस बनें एवं σ-कॉम्पैक्ट हौसडॉर्फ स्पेस एक सिग्मा परिमित माप के साथ σ-फाइनाइट रैडॉन माप ρ. होने देना φ : X → Y एक बिल्कुल निरंतर कार्य हो (जहां पश्चात् का कारणहै ρ(φ(E)) = 0 जब कभी भी μ(E) = 0). फिर एक वास्तविक मूल्यवान बोरेल बीजगणित उपस्तिथ है w पर X ऐसा है कि प्रत्येक लेब्सग्यू अभिन्न फलन के लिए f : Y → R, कार्यक्रम (f ∘ φ) ⋅ w लेब्सग्यू पर पूर्णांक है X, और
इसके अतिरिक्त, लिखना संभव है
कुछ बोरेल मापने योग्य कार्य के लिए g पर Y.
ज्यामितीय माप सिद्धांत में, प्रतिस्थापन द्वारा एकीकरण लिप्सचिट्ज़ कार्यों के साथ प्रयोग किया जाता है। इस प्रकार एक द्वि-लिप्सचिट्ज़ फलन एक लिप्सचिट्ज़ फलन है φ : U → Rn जो इंजेक्शन है और जिसका उलटा कार्य है φ−1 : φ(U) → U लिपशिट्ज भी है। रैडेमाकर के प्रमेय के अनुसार द्वि-लिप्सचिट्ज़ मानचित्रण लगभग हर स्थान भिन्न-भिन्न होती है। इस प्रकार विशेष रूप से, द्वि-लिप्सचिट्ज़ मानचित्रण का जैकबियन निर्धारक det Dφ लगभग हर स्थान अच्छी तरह से परिभाषित है। निम्नलिखित परिणाम तब धारण करता है:
प्रमेय। होने देना U का एक खुला उपसमुच्चय हो Rn और φ : U → Rn एक द्वि-लिप्सचिट्ज़ मानचित्रण बनें। होने देना f : φ(U) → R मापने योग्य हो। तब
इस अर्थ में कि यदि कोई अभिन्न उपस्तिथ है (या ठीक से अनंत है), तब दूसरा भी ऐसा ही करता है, और उनका मूल्य समान है।
उपरोक्त प्रमेय पहली बार यूलर द्वारा प्रस्तावित किया गया था जब उन्होंने साल 1769 में डबल इंटीग्रल की धारणा विकसित की थी। चूंकि साल 1773 में लैग्रेंज द्वारा ट्रिपल इंटीग्रल के लिए सामान्यीकृत किया गया था और एड्रियन मैरी लीजेंड्रे, लाप्लास, गॉस द्वारा उपयोग किया गया था एवं साल 1836 में मिखाइल ओस्ट्रोग्रैडस्की द्वारा पहली बार n चर के लिए सामान्यीकृत किया गया था। इसने आश्चर्यजनक रूप से लंबे समय के लिए पूरी तरह से कठोर औपचारिक प्रमाण का विरोध किया, और 125 साल पश्चात् एली कार्टन द्वारा साल 1890 के दशक के मध्य में प्रारंभ होने वाले पत्रों की एक श्रृंखला में पहली बार संतोषजनक रूप से हल किया गया था।[8][9]
संभाव्यता में आवेदन
प्रायिकता में निम्नलिखित महत्वपूर्ण प्रश्न का उत्तर देने के लिए प्रतिस्थापन का उपयोग किया जा सकता है: एक यादृच्छिक चर दिया गया है संभाव्यता घनत्व के साथ और दूसरा यादृच्छिक चर ऐसा है कि इंजेक्शन फलन के लिए (एक-से-एक) , के लिए प्रायिकता घनत्व क्या है ?
पहले थोड़े भिन्न प्रश्न का उत्तर देकर इस प्रश्न का उत्तर देना सबसे आसान है: इसकी क्या प्रायिकता है किसी विशेष उपसमुच्चय में मान लेता है ? इस संभावना को निरूपित करें . बेशक यदि संभाव्यता घनत्व है तब उत्तर है
किन्तु यह वास्तव में उपयोगी नहीं है क्योंकि हम नहीं जानते ; हम इसे खोजने की कोशिश कर रहे हैं। इस प्रकार हम चर में समस्या पर विचार करके प्रगति कर सकते हैं . में मान लेता है जब कभी भी में मान लेता है , इसलिए
चर से बदल रहा है को देता है
इसे हमारे पहले समीकरण के साथ जोड़कर देता है
इसलिए
स्थितियों में जहां और अनेक असंबद्ध चरों पर निर्भर करता है, अर्थात और , ऊपर चर्चा किए गए अनेक चरों में प्रतिस्थापन द्वारा पाया जा सकता है। परिणाम है
यह भी देखें
- संभाव्यता सघनता फलन
- चर का प्रतिस्थापन
- त्रिकोणमितीय प्रतिस्थापन
- वीयरस्ट्रास प्रतिस्थापन
- यूलर प्रतिस्थापन
- ग्लासर का मास्टर प्रमेय
- आगे बढ़ाने का उपाय
टिप्पणियाँ
- ↑ Swokowski 1983, p. 257
- ↑ Swokowsi 1983, p. 258
- ↑ Briggs & Cochran 2011, pg.361
- ↑ Rudin 1987, Theorem 7.26
- ↑ Spivak 1965, p. 72
- ↑ Fremlin 2010, Theorem 263D
- ↑ Hewitt & Stromberg 1965, Theorem 20.3
- ↑ Katz 1982
- ↑ Ferzola 1994
संदर्भ
- Briggs, William; Cochran, Lyle (2011), Calculus /Early Transcendentals (Single Variable ed.), Addison-Wesley, ISBN 978-0-321-66414-3
- Ferzola, Anthony P. (1994), "Euler and differentials", The College Mathematics Journal, 25 (2): 102–111, doi:10.2307/2687130, JSTOR 2687130
- Fremlin, D.H. (2010), Measure Theory, Volume 2, Torres Fremlin, ISBN 978-0-9538129-7-4.
- Hewitt, Edwin; Stromberg, Karl (1965), Real and Abstract Analysis, Springer-Verlag, ISBN 978-0-387-04559-7.
- Katz, V. (1982), "Change of variables in multiple integrals: Euler to Cartan", Mathematics Magazine, 55 (1): 3–11, doi:10.2307/2689856, JSTOR 2689856
- Rudin, Walter (1987), Real and Complex Analysis, McGraw-Hill, ISBN 978-0-07-054234-1.
- Swokowski, Earl W. (1983), Calculus with analytic geometry (alternate ed.), Prindle, Weber & Schmidt, ISBN 0-87150-341-7
- Spivak, Michael (1965), Calculus on Manifolds, Westview Press, ISBN 978-0-8053-9021-6.