स्थानत: समाकलनीय फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 6: Line 6:


===मानक परिभाषा===
===मानक परिभाषा===
{{EquationRef|1|परिभाषा 1}}.<ref name="ScVl">See for example {{Harv|Schwartz|1998|p=18}} and {{Harv|Vladimirov|2002|p=3}}.</ref> मान लीजिए कि यूक्लिडियन स्थान में {{math|Ω}} [[खुला सेट|खुला समुच्चय]] बनें <math>\mathbb{R}^n</math> और {{math|''f'' : Ω → <math>\mathbb{C}</math>}} [[लेब्सेग माप]] मापने योग्य वेरिएबल बनें। यदि {{math|Ω}} पर {{math|''f''}} इस प्रकार कि
{{EquationRef|1|परिभाषा 1}}.<ref name="ScVl">See for example {{Harv|Schwartz|1998|p=18}} and {{Harv|Vladimirov|2002|p=3}}.</ref> मान लीजिए कि यूक्लिडियन स्थान में {{math|Ω}} [[खुला सेट|खुला समुच्चय]] बनें <math>\mathbb{R}^n</math> और {{math|''f'' : Ω → <math>\mathbb{C}</math>}} [[लेब्सेग माप]] मापने योग्य वेरिएबल बनें। यदि {{math|Ω}} पर {{math|''f''}} इस प्रकार कि


:<math> \int_K | f |\, \mathrm{d}x <+\infty,</math>
:<math> \int_K | f |\, \mathrm{d}x <+\infty,</math>
अर्थात इसका [[लेब्सग इंटीग्रल]] {{math|Ω}} के सभी [[कॉम्पैक्ट सेट|कॉम्पैक्ट उपसमुच्चय]] {{math|''K''}} पर परिमित है,<ref>Another slight variant of this definition, chosen by {{harvtxt|Vladimirov|2002|p=1}}, is to require only that {{math|''K'' ⋐ Ω}} (or, using the notation of {{harvtxt|Gilbarg|Trudinger|2001|p=9}}, {{math|''K'' ⊂⊂ Ω}}), meaning that {{math|''K''}} ''is strictly included in'' {{math|Ω}} i.e. it is a set having compact [[Closure (topology)|closure]] [[subset|strictly included]] in the given ambient set.</ref> तब {{math|''f''}} को स्थानीय रूप से इंटीग्रेबल कहा जाता है। ऐसे सभी कार्यों का समुच्चय (गणित) {{math|''L''<sub>1,loc</sub>(Ω)}} द्वारा दर्शाया जाता है :
अर्थात इसका [[लेब्सग इंटीग्रल]] {{math|Ω}} के सभी [[कॉम्पैक्ट सेट|कॉम्पैक्ट उपसमुच्चय]] {{math|''K''}} पर परिमित है,<ref>Another slight variant of this definition, chosen by {{harvtxt|Vladimirov|2002|p=1}}, is to require only that {{math|''K'' ⋐ Ω}} (or, using the notation of {{harvtxt|Gilbarg|Trudinger|2001|p=9}}, {{math|''K'' ⊂⊂ Ω}}), meaning that {{math|''K''}} ''is strictly included in'' {{math|Ω}} i.e. it is a set having compact [[Closure (topology)|closure]] [[subset|strictly included]] in the given ambient set.</ref> तब {{math|''f''}} को स्थानीय रूप से इंटीग्रेबल कहा जाता है। ऐसे सभी कार्यों का समुच्चय (गणित) {{math|''L''<sub>1,loc</sub>(Ω)}} द्वारा दर्शाया जाता है :


:<math>L_{1,\mathrm{loc}}(\Omega)=\bigl\{f\colon \Omega\to\mathbb{C}\text{ measurable} : f|_K \in L_1(K)\ \forall\, K \subset \Omega,\, K \text{ compact}\bigr\},</math>
:<math>L_{1,\mathrm{loc}}(\Omega)=\bigl\{f\colon \Omega\to\mathbb{C}\text{ measurable} : f|_K \in L_1(K)\ \forall\, K \subset \Omega,\, K \text{ compact}\bigr\},</math>
Line 17: Line 17:


===एक वैकल्पिक परिभाषा===
===एक वैकल्पिक परिभाषा===
{{EquationRef|2|परिभाषा 2}}.<ref>See for example {{Harv|Strichartz|2003|pp=12–13}}.</ref> मान लीजिए कि यूक्लिडियन स्थान में {{math|Ω}} खुला समुच्चय है <math>\mathbb{R}^n</math>. फिर वेरिएबल (गणित) {{math|''f'' : Ω → <math>\mathbb{C}</math>}} ऐसा है कि
{{EquationRef|2|परिभाषा 2}}.<ref>See for example {{Harv|Strichartz|2003|pp=12–13}}.</ref> मान लीजिए कि यूक्लिडियन स्थान में {{math|Ω}} खुला समुच्चय है <math>\mathbb{R}^n</math>. फिर वेरिएबल (गणित) {{math|''f'' : Ω → <math>\mathbb{C}</math>}} ऐसा है कि


:<math> \int_\Omega | f \varphi|\, \mathrm{d}x <+\infty,</math>
:<math> \int_\Omega | f \varphi|\, \mathrm{d}x <+\infty,</math>
प्रत्येक परीक्षण वेरिएबल के लिए {{math|''φ'' ∈ {{SubSup|C|c|∞}}(Ω)}} को स्थानीय रूप से पूर्णांक कहा जाता है, और ऐसे कार्यों के समुच्चय को {{math|''L''<sub>1,loc</sub>(Ω)}} कें द्वारा दर्शाया जाता है। यहाँ {{math|{{SubSup|C|c|∞}}(Ω)}} सभी अपरिमित रूप से भिन्न-भिन्न फलनों के समुच्चय {{math|''φ'' : Ω → <math>\mathbb{R}</math>}} को दर्शाता है समर्थन (गणित) कॉम्पैक्ट समर्थन के साथ {{math|Ω}} सम्मिलित है।
प्रत्येक परीक्षण वेरिएबल के लिए {{math|''φ'' ∈ {{SubSup|C|c|∞}}(Ω)}} को स्थानीय रूप से पूर्णांक कहा जाता है, और ऐसे कार्यों के समुच्चय को {{math|''L''<sub>1,loc</sub>(Ω)}} कें द्वारा दर्शाया जाता है। यहाँ {{math|{{SubSup|C|c|∞}}(Ω)}} सभी अपरिमित रूप से भिन्न-भिन्न फलनों के समुच्चय {{math|''φ'' : Ω → <math>\mathbb{R}</math>}} को दर्शाता है समर्थन (गणित) कॉम्पैक्ट समर्थन के साथ {{math|Ω}} सम्मिलित है।


इस परिभाषा की जड़ें [[निकोलस बॉर्बकी]] स्कूल द्वारा विकसित [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल सदिश स्पेस]] पर सतत रैखिक कार्यात्मक की अवधारणा के आधार पर माप और एकीकरण सिद्धांत के दृष्टिकोण में हैं:<ref>This approach was praised by {{harvtxt|Schwartz|1998|pp=16–17}} who remarked also its usefulness, however using {{EquationNote|1|Definition&nbsp;1}} to define locally integrable functions.</ref> यह {{Harvtxt|स्ट्रिचर्ट्ज़|2003}} और द्वारा भी अपनाया गया है। {{Harvtxt|माज़्या|शापोशनिकोवा|2009|p=34}}.<ref>Be noted that Maz'ya and Shaposhnikova define explicitly only the "localized" version of the [[Sobolev space]] {{math|''W''<sup>''k'',''p''</sup>(Ω)}}, nevertheless explicitly asserting that the same method is used to define localized versions of all other [[Banach space]]s used in the cited book: in particular,  {{math|''L''<sub>''p'',loc</sub>(Ω)}} is introduced on page 44.</ref> यह '''"वितरण सिद्धांत"''' संबंधी परिभाषा मानक के समतुल्य है, जैसा कि निम्नलिखित लेम्मा प्रमेय सिद्ध करता है:
इस परिभाषा की जड़ें [[निकोलस बॉर्बकी]] स्कूल द्वारा विकसित [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल सदिश स्पेस]] पर सतत रैखिक कार्यात्मक की अवधारणा के आधार पर माप और एकीकरण सिद्धांत के दृष्टिकोण में हैं:<ref>This approach was praised by {{harvtxt|Schwartz|1998|pp=16–17}} who remarked also its usefulness, however using {{EquationNote|1|Definition&nbsp;1}} to define locally integrable functions.</ref> यह {{Harvtxt|स्ट्रिचर्ट्ज़|2003}} और द्वारा भी अपनाया गया है। {{Harvtxt|माज़्या|शापोशनिकोवा|2009|p=34}}.<ref>Be noted that Maz'ya and Shaposhnikova define explicitly only the "localized" version of the [[Sobolev space]] {{math|''W''<sup>''k'',''p''</sup>(Ω)}}, nevertheless explicitly asserting that the same method is used to define localized versions of all other [[Banach space]]s used in the cited book: in particular,  {{math|''L''<sub>''p'',loc</sub>(Ω)}} is introduced on page 44.</ref> यह '''"वितरण सिद्धांत"''' संबंधी परिभाषा मानक के समतुल्य है, जैसा कि निम्नलिखित लेम्मा प्रमेय सिद्ध करता है:


{{EquationRef|3|लेम्मा 1}}. दिया गया वेरिएबल {{math|''f'' : Ω → <math>\mathbb{C}</math>}} {{EquationNote|1|परिभाषा&nbsp;1}} के अनुसार स्थानीय रूप से एकीकृत है यदि और केवल यदि यह {{EquationNote|2|परिभाषा&nbsp;2}} के अनुसार स्थानीय रूप से पूर्णीकृत है, अर्थात।
{{EquationRef|3|लेम्मा 1}}. दिया गया वेरिएबल {{math|''f'' : Ω → <math>\mathbb{C}</math>}} {{EquationNote|1|परिभाषा&nbsp;1}} के अनुसार स्थानीय रूप से एकीकृत है यदि और केवल यदि यह {{EquationNote|2|परिभाषा&nbsp;2}} के अनुसार स्थानीय रूप से पूर्णीकृत है, अर्थात।


:<math> \int_K | f |\, \mathrm{d}x <+\infty \quad \forall\, K \subset \Omega,\, K \text{ compact} \quad \Longleftrightarrow \quad  
:<math> \int_K | f |\, \mathrm{d}x <+\infty \quad \forall\, K \subset \Omega,\, K \text{ compact} \quad \Longleftrightarrow \quad  
Line 37: Line 37:


:<math>\Delta:=d(K,\partial\Omega)>0,</math>
:<math>\Delta:=d(K,\partial\Omega)>0,</math>
इसलिए [[वास्तविक संख्या]] {{math|''δ''}} चुनना संभव है जैसे कि {{math|Δ > 2''δ'' > 0}} (यदि {{math|∂Ω}} खाली समुच्चय है, तब {{math|Δ {{=}} ∞}} लें). मान लीजिए कि {{math|''K<sub>δ</sub>''}} और {{math|''K''<sub>2''δ''</sub>}} क्रमशः K के बंद {{math|''δ''}}-पड़ोस और {{math|2''δ''}}-पड़ोस को दर्शाते हैं। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं
इसलिए [[वास्तविक संख्या]] {{math|''δ''}} चुनना संभव है जैसे कि {{math|Δ > 2''δ'' > 0}} (यदि {{math|∂Ω}} खाली समुच्चय है, तब {{math|Δ {{=}} ∞}} लें). मान लीजिए कि {{math|''K<sub>δ</sub>''}} और {{math|''K''<sub>2''δ''</sub>}} क्रमशः K के बंद {{math|''δ''}}-पड़ोस और {{math|2''δ''}}-पड़ोस को दर्शाते हैं। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं


:<math>K\subset K_\delta\subset K_{2\delta}\subset\Omega,\qquad d(K_\delta,\partial\Omega)=\Delta-\delta>\delta>0.</math>
:<math>K\subset K_\delta\subset K_{2\delta}\subset\Omega,\qquad d(K_\delta,\partial\Omega)=\Delta-\delta>\delta>0.</math>
Line 44: Line 44:
:<math>\varphi_K(x)={\chi_{K_\delta}\ast\varphi_\delta(x)}=
:<math>\varphi_K(x)={\chi_{K_\delta}\ast\varphi_\delta(x)}=
\int_{\mathbb{R}^n}\chi_{K_\delta}(y)\,\varphi_\delta(x-y)\,\mathrm{d}y,</math>
\int_{\mathbb{R}^n}\chi_{K_\delta}(y)\,\varphi_\delta(x-y)\,\mathrm{d}y,</math>
जहां {{math|''φ<sub>δ</sub>''}} मानक सकारात्मक सममिति का उपयोग करके निर्मित एक मोलिफ़ायर है। स्पष्ट रूप से {{math|''φ<sub>K</sub>''}} इस अर्थ में गैर-ऋणात्मक है कि {{math|''φ<sub>K</sub>'' ≥ 0}}, असीम रूप से भिन्न, और इसका समर्थन {{math|''K''<sub>2''δ''</sub>}} में निहित है , विशेष रूप से यह परीक्षण वेरिएबल है। चूँकि सभी {{math|''x'' ∈ ''K''}} के लिए {{math|''φ<sub>K</sub>''(''x'') {{=}} 1}} हमारे पास वह {{math|''χ<sub>K</sub>'' ≤ ''φ<sub>K</sub>''}}. है।
जहां {{math|''φ<sub>δ</sub>''}} मानक सकारात्मक सममिति का उपयोग करके निर्मित एक मोलिफ़ायर है। स्पष्ट रूप से {{math|''φ<sub>K</sub>''}} इस अर्थ में गैर-ऋणात्मक है कि {{math|''φ<sub>K</sub>'' ≥ 0}}, असीम रूप से भिन्न, और इसका समर्थन {{math|''K''<sub>2''δ''</sub>}} में निहित है , विशेष रूप से यह परीक्षण वेरिएबल है। चूँकि सभी {{math|''x'' ∈ ''K''}} के लिए {{math|''φ<sub>K</sub>''(''x'') {{=}} 1}} हमारे पास वह {{math|''χ<sub>K</sub>'' ≤ ''φ<sub>K</sub>''}}. है।


मान लीजिए {{EquationNote|2|परिभाषा&nbsp;2}} के अनुसार   {{math|''f''}} एक स्थानीय रूप से एकीकृत वेरिएबल बनें . तब
मान लीजिए {{EquationNote|2|परिभाषा&nbsp;2}} के अनुसार {{math|''f''}} एक स्थानीय रूप से एकीकृत वेरिएबल बनें . तब


:<math>\int_K|f|\,\mathrm{d}x=\int_\Omega|f|\chi_K\,\mathrm{d}x
:<math>\int_K|f|\,\mathrm{d}x=\int_\Omega|f|\chi_K\,\mathrm{d}x
\le\int_\Omega|f|\varphi_K\,\mathrm{d}x<\infty.
\le\int_\Omega|f|\varphi_K\,\mathrm{d}x<\infty.
</math>
</math>
चूँकि यह {{math|Ω}} के प्रत्येक कॉम्पैक्ट उपसमुच्चय {{math|''K''}} के लिए प्रयुक्त होता है, फ़ंक्शन {{math|''f''}} {{EquationNote|1|परिभाषा&nbsp;1}} के अनुसार स्थानीय रूप से पूर्णांकित है। □
चूँकि यह {{math|Ω}} के प्रत्येक कॉम्पैक्ट उपसमुच्चय {{math|''K''}} के लिए प्रयुक्त होता है, फ़ंक्शन {{math|''f''}} {{EquationNote|1|परिभाषा&nbsp;1}} के अनुसार स्थानीय रूप से पूर्णांकित है। □


===सामान्यीकरण: स्थानीय रूप से पी-अभिन्न कार्य===
===सामान्यीकरण: स्थानीय रूप से पी-अभिन्न कार्य===
{{EquationRef|4|परिभाषा 3}}.<ref name="Vlp3">See for example {{Harv|Vladimirov|2002|p=3}} and {{harv|Maz'ya|Poborchi|1997|p=4}}.</ref> मान लीजिए कि   यूक्लिडियन स्थान में {{math|Ω}} खुला समुच्चय है <math>\mathbb{R}^n</math> और {{math|''f'' : Ω → }}<math>\mathbb{C}</math> एक लेबेस्ग्यू मापने योग्य वेरिएबल हो। यदि, {{math|1 ≤ ''p'' ≤ +∞}} के साथ दिए गए {{math|''p''}} के लिए, {{math|''f''}} संतुष्ट करता है
{{EquationRef|4|परिभाषा 3}}.<ref name="Vlp3">See for example {{Harv|Vladimirov|2002|p=3}} and {{harv|Maz'ya|Poborchi|1997|p=4}}.</ref> मान लीजिए कि यूक्लिडियन स्थान में {{math|Ω}} खुला समुच्चय है <math>\mathbb{R}^n</math> और {{math|''f'' : Ω → }}<math>\mathbb{C}</math> एक लेबेस्ग्यू मापने योग्य वेरिएबल हो। यदि, {{math|1 ≤ ''p'' ≤ +∞}} के साथ दिए गए {{math|''p''}} के लिए, {{math|''f''}} संतुष्ट करता है


:<math> \int_K | f|^p \,\mathrm{d}x <+\infty,</math>
:<math> \int_K | f|^p \,\mathrm{d}x <+\infty,</math>
अर्थात, यह {{math|Ω}} के सभी कॉम्पैक्ट उपसमुच्चय {{math|''K''}} के लिए {{math|[[Lp space|''L''<sub>''p''</sub>(''K'')]]}} से संबंधित है, तो f को स्थानीय रूप से p-इंटीग्रेबल या p-स्थानीय रूप से इंटीग्रेबल भी कहा जाता है।<ref name="Vlp3"/> ऐसे सभी फलनों का समुच्चय {{math|''L''<sub>''p'',loc</sub>(Ω)}} द्वारा दर्शाया गया है:
अर्थात, यह {{math|Ω}} के सभी कॉम्पैक्ट उपसमुच्चय {{math|''K''}} के लिए {{math|[[Lp space|''L''<sub>''p''</sub>(''K'')]]}} से संबंधित है, तो f को स्थानीय रूप से p-इंटीग्रेबल या p-स्थानीय रूप से इंटीग्रेबल भी कहा जाता है।<ref name="Vlp3"/> ऐसे सभी फलनों का समुच्चय {{math|''L''<sub>''p'',loc</sub>(Ω)}} द्वारा दर्शाया गया है:


:<math>L_{p,\mathrm{loc}}(\Omega)=\left\{f:\Omega\to\mathbb{C}\text{ measurable }\left|\ f|_K \in L_p(K),\ \forall\, K \subset \Omega, K \text{ compact}\right.\right\}.</math>
:<math>L_{p,\mathrm{loc}}(\Omega)=\left\{f:\Omega\to\mathbb{C}\text{ measurable }\left|\ f|_K \in L_p(K),\ \forall\, K \subset \Omega, K \text{ compact}\right.\right\}.</math>
Line 82: Line 82:
'''''L<sub>p</sub>'' सभी p ≥ 1 के लिए ''L''<sub>1,loc</sub> का एक उपसमष्टि है'''
'''''L<sub>p</sub>'' सभी p ≥ 1 के लिए ''L''<sub>1,loc</sub> का एक उपसमष्टि है'''


{{EquationRef|6|प्रमेय 2}}. {{math|''L''<sub>''p''</sub>(Ω)}}, {{math|1 ≤ ''p'' ≤ +∞}} से संबंधित प्रत्येक फलन {{math|''f''}} जहां {{math|Ω}} का [[खुला उपसमुच्चय]] है <math>\mathbb{R}^n</math>, स्थानीय रूप से एकीकृत है।
{{EquationRef|6|प्रमेय 2}}. {{math|''L''<sub>''p''</sub>(Ω)}}, {{math|1 ≤ ''p'' ≤ +∞}} से संबंधित प्रत्येक फलन {{math|''f''}} जहां {{math|Ω}} का [[खुला उपसमुच्चय]] है <math>\mathbb{R}^n</math>, स्थानीय रूप से एकीकृत है।


प्रमाण । स्थिति {{math|''p'' {{=}} 1}} तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है कि {{math|1 < ''p'' ≤ +∞}}. के एक सघन उपसमुच्चय K के विशिष्ट फलन {{math|''χ''<sub>''K''</sub>}} पर विचार करें: फिर, {{math|''p'' ≤ +∞}} के लिए,
प्रमाण । स्थिति {{math|''p'' {{=}} 1}} तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है कि {{math|1 < ''p'' ≤ +∞}}. के एक सघन उपसमुच्चय K के विशिष्ट फलन {{math|''χ''<sub>''K''</sub>}} पर विचार करें: फिर, {{math|''p'' ≤ +∞}} के लिए,
Line 90: Line 90:
*{{math|''q''}} धनात्मक संख्या है जैसे कि {{math|1/''p'' + 1/''q''}} = {{math|1}} किसी प्रदत्त के लिए {{math|1 ≤ ''p'' ≤ +∞}}
*{{math|''q''}} धनात्मक संख्या है जैसे कि {{math|1/''p'' + 1/''q''}} = {{math|1}} किसी प्रदत्त के लिए {{math|1 ≤ ''p'' ≤ +∞}}
*{{math|<nowiki>|</nowiki>''K''<nowiki>|</nowiki>}} कॉम्पैक्ट समुच्चय का लेबेस्ग माप है {{math|''K''}}
*{{math|<nowiki>|</nowiki>''K''<nowiki>|</nowiki>}} कॉम्पैक्ट समुच्चय का लेबेस्ग माप है {{math|''K''}}
फिर {{math|''L''<sub>''p''</sub>(Ω)}} से संबंधित किसी भी {{math|''f''}} के लिए, होल्डर की असमानता से, [[उत्पाद (गणित)]] {{math|''fχ''<sub>''K''</sub>}} [[एकीकृत कार्य]] है अर्थात {{math|''L''<sub>1</sub>(Ω)}} संबंधित है और
फिर {{math|''L''<sub>''p''</sub>(Ω)}} से संबंधित किसी भी {{math|''f''}} के लिए, होल्डर की असमानता से, [[उत्पाद (गणित)]] {{math|''fχ''<sub>''K''</sub>}} [[एकीकृत कार्य]] है अर्थात {{math|''L''<sub>1</sub>(Ω)}} संबंधित है और


:<math>{\int_K|f|\,\mathrm{d}x}={\int_\Omega|f\chi_K|\,\mathrm{d}x}\leq\left|{\int_\Omega|f|^p\,\mathrm{d}x}\right|^{1/p}\left|{\int_K \mathrm{d}x}\right|^{1/q}=\|f\|_p|K|^{1/q}<+\infty,</math>
:<math>{\int_K|f|\,\mathrm{d}x}={\int_\Omega|f\chi_K|\,\mathrm{d}x}\leq\left|{\int_\Omega|f|^p\,\mathrm{d}x}\right|^{1/p}\left|{\int_K \mathrm{d}x}\right|^{1/q}=\|f\|_p|K|^{1/q}<+\infty,</math>
Line 111: Line 111:
इस परिणाम का प्रमाण {{harv|श्वार्ट्ज|1998|p=18}} द्वारा चित्रित किया गया है। अपने कथन को दोबारा दोहराते हुए, यह प्रमेय दावा करता है कि प्रत्येक स्थानीय रूप से पूर्णांकीय वेरिएबल एक बिल्कुल निरंतर माप को परिभाषित करता है और इसके विपरीत, प्रत्येक बिल्कुल निरंतर उपाय एक स्थानीय रूप से पूर्णांकीय वेरिएबल को परिभाषित करता है: यह, अमूर्त माप सिद्धांत ढांचे में, महत्वपूर्ण रेडॉन-निकोडिम प्रमेय का रूप भी है स्टैनिस्लाव साक्स ने अपने ग्रंथ में दिया है।<ref>According to {{harvtxt|Saks|1937|p=36}}, "''If {{math|E}} is a set of finite measure, or, more generally the sum of a sequence of sets of finite measure ''(''{{math|μ}}'')'', then, in order that an additive function of a set ''({{math|𝔛}})'' on {{math|E}} be absolutely continuous on {{math|E}}, it is necessary and sufficient that this function of a set be the indefinite integral of some integrable function of a point of {{math|E}}''". Assuming ({{math|''μ''}}) to be the Lebesgue measure, the two statements can be seen to be equivalent.</ref>
इस परिणाम का प्रमाण {{harv|श्वार्ट्ज|1998|p=18}} द्वारा चित्रित किया गया है। अपने कथन को दोबारा दोहराते हुए, यह प्रमेय दावा करता है कि प्रत्येक स्थानीय रूप से पूर्णांकीय वेरिएबल एक बिल्कुल निरंतर माप को परिभाषित करता है और इसके विपरीत, प्रत्येक बिल्कुल निरंतर उपाय एक स्थानीय रूप से पूर्णांकीय वेरिएबल को परिभाषित करता है: यह, अमूर्त माप सिद्धांत ढांचे में, महत्वपूर्ण रेडॉन-निकोडिम प्रमेय का रूप भी है स्टैनिस्लाव साक्स ने अपने ग्रंथ में दिया है।<ref>According to {{harvtxt|Saks|1937|p=36}}, "''If {{math|E}} is a set of finite measure, or, more generally the sum of a sequence of sets of finite measure ''(''{{math|μ}}'')'', then, in order that an additive function of a set ''({{math|𝔛}})'' on {{math|E}} be absolutely continuous on {{math|E}}, it is necessary and sufficient that this function of a set be the indefinite integral of some integrable function of a point of {{math|E}}''". Assuming ({{math|''μ''}}) to be the Lebesgue measure, the two statements can be seen to be equivalent.</ref>
=='''उदाहरण'''==
=='''उदाहरण'''==
*निरंतर कार्य {{math|1}} वास्तविक रेखा पर परिभाषित स्थानीय रूप से एकीकृत है किन्तु विश्व स्तर पर एकीकृत नहीं है क्योंकि वास्तविक रेखा में अनंत माप है। अधिक सामान्यतः, [[स्थिरांक (गणित)]], निरंतर कार्य<ref>See for example {{harv|Hörmander|1990|p=37}}.</ref> और एकीकृत कार्य स्थानीय रूप से एकीकृत होते हैं।<ref>See {{harv|Strichartz|2003|p=12}}.</ref>
*वास्तविक रेखा पर परिभाषित स्थिर फलन 1 स्थानीय रूप से पूर्णांकीय है किन्तु विश्व स्तर पर पूर्णांकित नहीं है क्योंकि वास्तविक रेखा में अनंत माप है। अधिक सामान्यतः, [[स्थिरांक (गणित)]], निरंतर कार्य<ref>See for example {{harv|Hörmander|1990|p=37}}.</ref> और पूर्णांकीय फलन स्थानीय रूप से समाकलनीय होते हैं।<ref>See {{harv|Strichartz|2003|p=12}}.</ref>
*कार्यक्रम <math>f(x) = 1/x</math> x ∈ (0, 1) के लिए स्थानीय रूप से है किन्तु वैश्विक रूप से (0, 1) पर एकीकृत नहीं है। यह स्थानीय रूप से एकीकृत है क्योंकि किसी भी कॉम्पैक्ट समुच्चय K ⊆ (0, 1) की 0 से धनात्मक दूरी है और f इसलिए K पर घिरा है। यह उदाप्रत्येकण प्रारंभिक दावे को रेखांकित करता है कि स्थानीय रूप से एकीकृत कार्यों को सीमा के पास विकास की स्थिति की संतुष्टि की आवश्यकता नहीं है परिबद्ध डोमेन.
*कार्यक्रम <math>f(x) = 1/x</math> x ∈ (0, 1) के लिए स्थानीय रूप से है किन्तु वैश्विक रूप से (0, 1) पर एकीकृत नहीं है। यह स्थानीय रूप से एकीकृत है क्योंकि किसी भी कॉम्पैक्ट समुच्चय K ⊆ (0, 1) की 0 से धनात्मक दूरी है और f इसलिए K पर घिरा है। यह उदाहरण प्रारंभिक दावे को रेखांकित करता है कि स्थानीय रूप से एकीकृत कार्यों को सीमा के पास विकास की स्थिति की संतुष्टि की आवश्यकता नहीं है परिबद्ध डोमेन.
* कार्यक्रम
* कार्यक्रम


Line 122: Line 122:
\end{cases} \quad x \in \mathbb R
\end{cases} \quad x \in \mathbb R
</math>
</math>
: स्थानीय रूप से एकीकृत नहीं है {{math|''x'' {{=}} 0}}: यह वास्तव में इस बिंदु के निकट स्थानीय रूप से एकीकृत है क्योंकि इसे सम्मिलित किए बिना प्रत्येक कॉम्पैक्ट समुच्चय पर इसका अभिन्न अंग परिमित है। औपचारिक रूप से बोलते हुए, {{math|1/''x'' ∈ ''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math> \ 0):<ref>See {{harv|Schwartz|1998|p=19}}.</ref> चूँकि , इस वेरिएबल को संपूर्ण वितरण तक बढ़ाया जा सकता है <math>\mathbb{R}</math> [[कॉची प्रमुख मूल्य]] के रूप में।<ref>See {{Harv|Vladimirov|2002|pp=19–21}}.</ref>
: स्थानीय रूप से {{math|''x'' {{=}} 0}} एकीकृत नहीं है : यह वास्तव में इस बिंदु के निकट स्थानीय रूप से पूर्णांकित है क्योंकि इसे सम्मिलित किए बिना प्रत्येक कॉम्पैक्ट समुच्चय पर इसका अभिन्न अंग परिमित है। औपचारिक रूप से बोलते हुए, {{math|1/''x'' ∈ ''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math> \ 0):<ref>See {{harv|Schwartz|1998|p=19}}.</ref> चूँकि , इस वेरिएबल को संपूर्ण वितरण तक बढ़ाया जा सकता है <math>\mathbb{R}</math> [[कॉची प्रमुख मूल्य]] के रूप में।<ref>See {{Harv|Vladimirov|2002|pp=19–21}}.</ref>
* पिछला उदाप्रत्येकण प्रश्न उठाता है: क्या प्रत्येक वेरिएबल जो स्थानीय रूप से एकीकृत है {{math|Ω}} ⊊ <math>\mathbb{R}</math> संपूर्ण के लिए विस्तार स्वीकार करें <math>\mathbb{R}</math> वितरण के रूप में? उत्तर ऋणात्मक है, और प्रतिउदाप्रत्येकण निम्नलिखित वेरिएबल द्वारा प्रदान किया गया है:
* पिछला उदाहरण प्रश्न उठाता है: क्या प्रत्येक वेरिएबल जो {{math|Ω}} ⊊ <math>\mathbb{R}</math> में स्थानीय रूप से एकीकृत है संपूर्ण के लिए विस्तार स्वीकार करें <math>\mathbb{R}</math> वितरण के रूप में? उत्तर ऋणात्मक है, और प्रतिउदाहरण निम्नलिखित वेरिएबल द्वारा प्रदान किया गया है:
:: <math>
:: <math>
f(x)=  
f(x)=  
Line 132: Line 132:
</math>
</math>
: किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>.<ref>See {{Harv|Vladimirov|2002|p=21}}.</ref>  
: किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>.<ref>See {{Harv|Vladimirov|2002|p=21}}.</ref>  
:* निम्नलिखित उदाप्रत्येकण, पिछले उदाप्रत्येकण के समान, वेरिएबल से संबंधित है {{math|''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math>\ 0) जो [[अनियमित विलक्षणता]] वाले [[विभेदक ऑपरेटर]]ों के लिए वितरण के सिद्धांत के अनुप्रयोग में प्राथमिक प्रति-उदाप्रत्येकण के रूप में कार्य करता है:
:* निम्नलिखित उदाहरण , पिछले उदाहरण के समान, वेरिएबल से संबंधित है {{math|''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math>\ 0) जो [[अनियमित विलक्षणता]] वाले [[विभेदक ऑपरेटर|विभेदक ऑपरेटरों]] के लिए वितरण के सिद्धांत के अनुप्रयोग में प्राथमिक प्रति-उदाहरण के रूप में कार्य करता है:
:: <math>
:: <math>
f(x)=  
f(x)=  
Line 141: Line 141:
\end{cases}
\end{cases}
</math>
</math>
:जहां{{math|''k''<sub>1</sub>}} और {{math|''k''<sub>2</sub>}} समष्टि संख्या हैं, निम्नलिखित प्राथमिक फ़्यूचियन अंतर समीकरण का सामान्य समाधान है | प्रथम क्रम के गैर-फ़ुचियन अंतर समीकरण
:जहां {{math|''k''<sub>1</sub>}} और {{math|''k''<sub>2</sub>}} समष्टि संख्या हैं, निम्नलिखित प्राथमिक फ़्यूचियन अंतर समीकरण का सामान्य समाधान है | प्रथम क्रम के गैर-फ़ुचियन अंतर समीकरण
::<math>x^3\frac{\mathrm{d}f}{\mathrm{d}x}+2f=0.</math>
::<math>x^3\frac{\mathrm{d}f}{\mathrm{d}x}+2f=0.</math>
:फिर यह समग्र रूप से किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>, यदि {{math|''k''<sub>1</sub>}} या {{math|''k''<sub>2</sub>}} शून्य नहीं हैं: ऐसे समीकरण का एकमात्र वितरणात्मक वैश्विक समाधान शून्य वितरण है, और इससे पता चलता है कि, अंतर समीकरणों के सिद्धांत की इस शाखा में, वितरण के सिद्धांत के तरीकों से समान सफलता की उम्मीद नहीं की जा सकती है समान सिद्धांत की अन्य शाखाओं में, विशेष रूप से स्थिर गुणांक वाले रैखिक अंतर समीकरणों के सिद्धांत में।<ref>For a brief discussion of this example, see {{harv|Schwartz|1998|pp=131–132}}.</ref>
:फिर यह समग्र रूप से किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>, यदि {{math|''k''<sub>1</sub>}} या {{math|''k''<sub>2</sub>}} शून्य नहीं हैं: ऐसे समीकरण का एकमात्र वितरणात्मक वैश्विक समाधान शून्य वितरण है, और इससे पता चलता है कि, अंतर समीकरणों के सिद्धांत की इस शाखा में, वितरण के सिद्धांत के तरीकों से समान सफलता की उम्मीद नहीं की जा सकती है समान सिद्धांत की अन्य शाखाओं में, विशेष रूप से स्थिर गुणांक वाले रैखिक अंतर समीकरणों के सिद्धांत में।<ref>For a brief discussion of this example, see {{harv|Schwartz|1998|pp=131–132}}.</ref>
== '''अनुप्रयोग''' ==
== '''अनुप्रयोग''' ==


Line 307: Line 307:
}}.
}}.
*{{Citation
*{{Citation
| last = Saks
| last = साक्स
| first = Stanisław
| first = स्टैनिस्लाव
| author-link = Stanisław Saks
| author-link = स्टैनिस्लाव सैक्स
| title = Theory of the Integral
| title = अभिन्नता का सिद्धांत
| place = [[Warszawa]]-[[Lwów]]
| place = [[वारसज़ावा]]-[[ल्वो]]
| publisher = G.E. Stechert & Co.
| publisher = जी.. स्टीचर्ट एंड कंपनी
| year = 1937
| year = 1937
| series = [[Monografie Matematyczne]]
| series = [[मोनोग्रैफी मैटेमैटिक्ज़ने]]
| volume = 7
| volume = 7
| edition = 2nd
| edition = 2nd
Line 321: Line 321:
| jfm = 63.0183.05  
| jfm = 63.0183.05  
| mr = 0167578
| mr = 0167578
| zbl = 0017.30004}}. English translation by [[Laurence Chisholm Young]], with two additional notes by [[Stefan Banach]]: the [[Mathematical Reviews]] number refers to the [[Dover Publications]] 1964 edition, which is basically a reprint.
| zbl = 0017.30004}}. [[लॉरेंस चिशोल्म यंग]] द्वारा अंग्रेजी अनुवाद, [[स्टीफन बानाच]] द्वारा दो अतिरिक्त नोट्स के साथ: [[गणितीय समीक्षा]] संख्या [[डोवर प्रकाशन]] 1964 संस्करण को संदर्भित करती है, जो मूल रूप से एक पुनर्मुद्रण है।
*{{Citation
*{{Citation
  | first = Laurent
  | first = लॉरेंट
  | last = Schwartz
  | last = श्वार्ट्ज
  | author-link = Laurent Schwartz
  | author-link = लॉरेंट श्वार्ट्ज
  | title = Théorie des distributions
  | title = थियोरी डेस वितरण
  | place = Paris
  | place = पेरिस
  | publisher = Hermann Éditeurs
  | publisher = हरमन एडिटर्स
  | series = Publications de l'Institut de Mathématique de l'Université de Strasbourg
  | series = प्रकाशन डे ल'इंस्टीट्यूट डी मैथेमैटिक डे ल'यूनिवर्सिटी डी स्ट्रासबर्ग
  | volume = No. IX–X
  | volume = No. IX–X
  | orig-year = 1966
  | orig-year = 1966
  | year = 1998
  | year = 1998
  | edition = Nouvelle
  | edition = नौवेल्ले
  | pages = xiii+420
  | pages = xiii+420
  | language = fr
  | language = fr
Line 341: Line 341:
}}.
}}.
*{{Citation
*{{Citation
| last = Strichartz
| last = स्ट्रिचर्ट्ज़
| first = Robert S.
| first = रॉबर्ट एस.
| title = A Guide to Distribution Theory and Fourier Transforms
| title = वितरण सिद्धांत और फूरियर रूपांतरण के लिए एक गाइड
| place = [[River Edge, NJ]]
| place = [[नदी का किनारा, एनजे]]
| publisher = [[World Scientific|World Scientific Publishers]]
| publisher = [[विश्व वैज्ञानिक|विश्व वैज्ञानिक प्रकाशक]]
| year = 2003
| year = 2003
| edition = 2nd printing
| edition = दूसरी छपाई
| pages = x+226
| pages = x+226
| url = https://books.google.com/books?id=T7vEOGGDCh4C&q=A+Guide+to+Distribution+Theory+and+Fourier+Transforms
| url = https://books.google.com/books?id=T7vEOGGDCh4C&q=A+Guide+to+Distribution+Theory+and+Fourier+Transforms
Line 355: Line 355:
}}.
}}.
*{{Citation
*{{Citation
| last = Vladimirov
| last = व्लादिमीरोव
| first = V. S.
| first = वी. एस.
| author-link = Vasilii Sergeevich Vladimirov
| author-link = वासिली सर्गेइविच व्लादिमीरोव
| title = Methods of the theory of generalized functions
| title = सामान्यीकृत कार्यों के सिद्धांत के तरीके
| place = London–New York
| place = लंदन-न्यूयॉर्क
| publisher = [[Taylor & Francis]]
| publisher = [[टेलर और फ्रांसिस]]
| pages = XII+353
| pages = XII+353
| series = Analytical Methods and Special Functions
| series = विश्लेषणात्मक तरीके और विशेष कार्य
| volume = 6
| volume = 6
| year = 2002
| year = 2002

Revision as of 09:03, 17 August 2023

गणित में, स्थानीय रूप से एकीकृत वेरिएबल (जिसे कभी-कभी स्थानीय रूप से सारांशित वेरिएबल भी कहा जाता है)[1] एक ऐसा वेरिएबल (गणित) है जो परिभाषा के अपने डोमेन के प्रत्येक कॉम्पैक्ट उपसमुच्चय पर पूर्णांकीय है (इसलिए इसका अभिन्न अंग परिमित है)। ऐसे फ़ंक्शंस का महत्व इस तथ्य में निहित है कि उनका कार्य स्थान Lp स्पेस के समान है रिक्त

स्थान, किन्तु इसके सदस्यों को अपने डोमेन की सीमा पर अपने व्यवहार पर किसी भी विकास प्रतिबंध को पूरा करने की आवश्यकता नहीं है (यदि डोमेन असीमित है सीमा अनंत पर): दूसरे शब्दों में, स्थानीय रूप से एकीकृत कार्य डोमेन सीमा पर इच्छानुसार तेजी से बढ़ सकते हैं, किन्तु अभी भी सामान्य एकीकृत कार्यों के समान ही प्रबंधनीय हैं।

परिभाषा

मानक परिभाषा

परिभाषा 1.[2] मान लीजिए कि यूक्लिडियन स्थान में Ω खुला समुच्चय बनें और f : Ω → लेब्सेग माप मापने योग्य वेरिएबल बनें। यदि Ω पर f इस प्रकार कि

अर्थात इसका लेब्सग इंटीग्रल Ω के सभी कॉम्पैक्ट उपसमुच्चय K पर परिमित है,[3] तब f को स्थानीय रूप से इंटीग्रेबल कहा जाता है। ऐसे सभी कार्यों का समुच्चय (गणित) L1,loc(Ω) द्वारा दर्शाया जाता है :

जहां के कार्य समुच्चय K पर f के प्रतिबंध को दर्शाता है।

स्थानीय रूप से एकीकृत वेरिएबल की मौलिक परिभाषा में केवल सैद्धांतिक और टोपोलॉजिकल अवधारणाओं को मापना सम्मिलित है[4] और इसे टोपोलॉजिकल माप स्थान (X, Σ, μ) पर समष्टि-मूल्यवान कार्यों के लिए अमूर्त पर ले जाया जा सकता है :[5] चूँकि , चूँकि ऐसे फ़ंक्शंस का सबसे सामान्य अनुप्रयोग यूक्लिडियन रिक्त स्थान पर वितरण सिद्धांत के लिए है,[2] इसमें और निम्नलिखित अनुभागों की सभी परिभाषाएँ स्पष्ट रूप से केवल इस महत्वपूर्ण स्थितियों से संबंधित हैं।

एक वैकल्पिक परिभाषा

परिभाषा 2.[6] मान लीजिए कि यूक्लिडियन स्थान में Ω खुला समुच्चय है . फिर वेरिएबल (गणित) f : Ω → ऐसा है कि

प्रत्येक परीक्षण वेरिएबल के लिए φC 
c
 
(Ω)
को स्थानीय रूप से पूर्णांक कहा जाता है, और ऐसे कार्यों के समुच्चय को L1,loc(Ω) कें द्वारा दर्शाया जाता है। यहाँ C 
c
 
(Ω)
सभी अपरिमित रूप से भिन्न-भिन्न फलनों के समुच्चय φ : Ω → को दर्शाता है समर्थन (गणित) कॉम्पैक्ट समर्थन के साथ Ω सम्मिलित है।

इस परिभाषा की जड़ें निकोलस बॉर्बकी स्कूल द्वारा विकसित टोपोलॉजिकल सदिश स्पेस पर सतत रैखिक कार्यात्मक की अवधारणा के आधार पर माप और एकीकरण सिद्धांत के दृष्टिकोण में हैं:[7] यह स्ट्रिचर्ट्ज़ (2003) और द्वारा भी अपनाया गया है। माज़्या & शापोशनिकोवा (2009, p. 34).[8] यह "वितरण सिद्धांत" संबंधी परिभाषा मानक के समतुल्य है, जैसा कि निम्नलिखित लेम्मा प्रमेय सिद्ध करता है:

लेम्मा 1. दिया गया वेरिएबल f : Ω → परिभाषा 1 के अनुसार स्थानीय रूप से एकीकृत है यदि और केवल यदि यह परिभाषा 2 के अनुसार स्थानीय रूप से पूर्णीकृत है, अर्थात।

लेम्मा 1 का प्रमाण

यदि भाग: मान लीजिए φC 
c
 
(Ω)
एक परीक्षण वेरिएबल हो। यह अपने सर्वोच्च मानदंड ||φ|| से चरम मूल्य प्रमेय है , मापने योग्य, और इसमें समर्थन (गणित) कॉम्पैक्ट समर्थन है, इसलिए इसे K कहते हैं।

द्वारा परिभाषा 1.

केवल यदि भाग: मान लीजिए K खुले समुच्चय Ω का एक संहत उपसमुच्चय है। हम पहले परीक्षण वेरिएबल φKC 
c
 
(Ω)
का निर्माण करेंगे जो K के संकेतक फ़ंक्शन χK को प्रमुखता देता है। K और सीमा ∂Ω के बीच सामान्य निर्धारित दूरी सख्ती से शून्य से अधिक है, अर्थात।

इसलिए वास्तविक संख्या δ चुनना संभव है जैसे कि Δ > 2δ > 0 (यदि ∂Ω खाली समुच्चय है, तब Δ = ∞ लें). मान लीजिए कि Kδ और K2δ क्रमशः K के बंद δ-पड़ोस और 2δ-पड़ोस को दर्शाते हैं। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं

अब वेरिएबल φK : Ω → को परिभाषित करने के लिए कनवल्शन का उपयोग करें‚

जहां φδ मानक सकारात्मक सममिति का उपयोग करके निर्मित एक मोलिफ़ायर है। स्पष्ट रूप से φK इस अर्थ में गैर-ऋणात्मक है कि φK ≥ 0, असीम रूप से भिन्न, और इसका समर्थन K2δ में निहित है , विशेष रूप से यह परीक्षण वेरिएबल है। चूँकि सभी xK के लिए φK(x) = 1 हमारे पास वह χKφK. है।

मान लीजिए परिभाषा 2 के अनुसार f एक स्थानीय रूप से एकीकृत वेरिएबल बनें . तब

चूँकि यह Ω के प्रत्येक कॉम्पैक्ट उपसमुच्चय K के लिए प्रयुक्त होता है, फ़ंक्शन f परिभाषा 1 के अनुसार स्थानीय रूप से पूर्णांकित है। □

सामान्यीकरण: स्थानीय रूप से पी-अभिन्न कार्य

परिभाषा 3.[9] मान लीजिए कि यूक्लिडियन स्थान में Ω खुला समुच्चय है और f : Ω → एक लेबेस्ग्यू मापने योग्य वेरिएबल हो। यदि, 1 ≤ p ≤ +∞ के साथ दिए गए p के लिए, f संतुष्ट करता है

अर्थात, यह Ω के सभी कॉम्पैक्ट उपसमुच्चय K के लिए Lp(K) से संबंधित है, तो f को स्थानीय रूप से p-इंटीग्रेबल या p-स्थानीय रूप से इंटीग्रेबल भी कहा जाता है।[9] ऐसे सभी फलनों का समुच्चय Lp,loc(Ω) द्वारा दर्शाया गया है:

एक वैकल्पिक परिभाषा, जो पूरी तरह से स्थानीय रूप से एकीकृत कार्यों के लिए दी गई परिभाषा के समान है, स्थानीय रूप से पी-पूर्णांक कार्यों के लिए भी दी जा सकती है: यह इस खंड में दी गई परिभाषा के समतुल्य भी हो सकती है और सिद्ध भी हो सकती है।[10] उनकी स्पष्ट उच्च व्यापकता के अतिरिक्त, स्थानीय रूप से पी-अभिन्न कार्य प्रत्येक पी के लिए स्थानीय रूप से पूर्णांक कार्य का एक उपसमूह बनाते हैं जैसे कि 1 < p ≤ +∞.[11]

संकेतन

विभिन्न ग्लिफ़ के अतिरिक्त जिनका उपयोग अपरकेस L के लिए किया जा सकता है,[12] स्थानीय रूप से एकीकृत कार्यों के समुच्चय के अंकन के लिए कुछ प्रकार हैं

गुण

एलp,loc सभी p ≥ 1 के लिए पूर्ण मीट्रिक स्थान है

प्रमेय 1.[13] Lp,loc एक पूर्ण मीट्रिक स्थान है: इसकी टोपोलॉजी निम्नलिखित मीट्रिक (गणित) द्वारा उत्पन्न की जा सकती है:

जहां{ωk}k≥1 ऐसे गैर खाली खुले समुच्चयों का परिवार है

  • ωk ⊂⊂ ωk+1, कारण है कि ωk को कॉम्पैक्ट रूप से सम्मिलित किया गया है ωk+1 अर्थात यह समुच्चय है जिसमें कॉम्पैक्ट क्लोजर को उच्च सूचकांक के समुच्चय में सख्ती से सम्मिलित किया गया है।
  • kωk = Ω.
  • , के ∈ सेमिनोर्म का अनुक्रमित परिवार है, जिसे इस प्रकार परिभाषित किया गया है

सन्दर्भों में (गिल्बर्ग & ट्रूडिंगर 1998, p. 147), (माज़्या & पोबोर्ची 1997, p. 5), (माज़्या 1985, p. 6) और (माज़्या 2011, p. 2), यह प्रमेय बताया गया है किन्तु औपचारिक आधार पर सिद्ध नहीं किया गया है:[14] अधिक सामान्य परिणाम का पूर्ण प्रमाण, जिसमें यह भी सम्मिलित है, (मीस & वोग्ट 1997, p. 40) में पाया जाता है .

Lp सभी p ≥ 1 के लिए L1,loc का एक उपसमष्टि है

प्रमेय 2. Lp(Ω), 1 ≤ p ≤ +∞ से संबंधित प्रत्येक फलन f जहां Ω का खुला उपसमुच्चय है , स्थानीय रूप से एकीकृत है।

प्रमाण । स्थिति p = 1 तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है कि 1 < p ≤ +∞. के एक सघन उपसमुच्चय K के विशिष्ट फलन χK पर विचार करें: फिर, p ≤ +∞ के लिए,

कहाँ

  • q धनात्मक संख्या है जैसे कि 1/p + 1/q = 1 किसी प्रदत्त के लिए 1 ≤ p ≤ +∞
  • |K| कॉम्पैक्ट समुच्चय का लेबेस्ग माप है K

फिर Lp(Ω) से संबंधित किसी भी f के लिए, होल्डर की असमानता से, उत्पाद (गणित) K एकीकृत कार्य है अर्थात L1(Ω) संबंधित है और

इसलिए

ध्यान दें कि चूँकि निम्नलिखित असमानता सत्य है

प्रमेय केवल स्थानीय रूप से पी-अभिन्न कार्यों के स्थान से संबंधित कार्यों f के लिए भी सत्य है, इसलिए प्रमेय निम्नलिखित परिणाम का भी तात्पर्य करता है।

परिणाम 1. प्रत्येक फलन में , , स्थानीय रूप से एकीकृत है, i. इ। से संबंधित .

नोट: यदि का खुला उपसमुच्चय है वह भी परिबद्ध है, सीमा में मानक समावेशन होता है जो उपरोक्त समावेशन को देखते हुए समझ में आता है . किन्तु इनमें से पहला कथन सत्य नहीं है यदि परिबद्ध नहीं है; सीमा यह अभी भी सच है किसी के लिए , किन्तु ऐसा नहीं . इसे देखने के लिए, सामान्यतः वेरिएबल पर विचार किया जाता है , जो इसमें है किन्तु अंदर नहीं किसी भी परिमित के लिए .

L1,loc बिल्कुल निरंतर माप का घनत्व का स्थान है

प्रमेय 3. फलन f पूर्ण निरंतरता का घनत्व वेरिएबल (माप सिद्धांत) है उपायों की पूर्ण निरंतरता यदि और केवल यदि .

इस परिणाम का प्रमाण (श्वार्ट्ज 1998, p. 18) द्वारा चित्रित किया गया है। अपने कथन को दोबारा दोहराते हुए, यह प्रमेय दावा करता है कि प्रत्येक स्थानीय रूप से पूर्णांकीय वेरिएबल एक बिल्कुल निरंतर माप को परिभाषित करता है और इसके विपरीत, प्रत्येक बिल्कुल निरंतर उपाय एक स्थानीय रूप से पूर्णांकीय वेरिएबल को परिभाषित करता है: यह, अमूर्त माप सिद्धांत ढांचे में, महत्वपूर्ण रेडॉन-निकोडिम प्रमेय का रूप भी है स्टैनिस्लाव साक्स ने अपने ग्रंथ में दिया है।[15]

उदाहरण

  • वास्तविक रेखा पर परिभाषित स्थिर फलन 1 स्थानीय रूप से पूर्णांकीय है किन्तु विश्व स्तर पर पूर्णांकित नहीं है क्योंकि वास्तविक रेखा में अनंत माप है। अधिक सामान्यतः, स्थिरांक (गणित), निरंतर कार्य[16] और पूर्णांकीय फलन स्थानीय रूप से समाकलनीय होते हैं।[17]
  • कार्यक्रम x ∈ (0, 1) के लिए स्थानीय रूप से है किन्तु वैश्विक रूप से (0, 1) पर एकीकृत नहीं है। यह स्थानीय रूप से एकीकृत है क्योंकि किसी भी कॉम्पैक्ट समुच्चय K ⊆ (0, 1) की 0 से धनात्मक दूरी है और f इसलिए K पर घिरा है। यह उदाहरण प्रारंभिक दावे को रेखांकित करता है कि स्थानीय रूप से एकीकृत कार्यों को सीमा के पास विकास की स्थिति की संतुष्टि की आवश्यकता नहीं है परिबद्ध डोमेन.
  • कार्यक्रम
स्थानीय रूप से x = 0 एकीकृत नहीं है : यह वास्तव में इस बिंदु के निकट स्थानीय रूप से पूर्णांकित है क्योंकि इसे सम्मिलित किए बिना प्रत्येक कॉम्पैक्ट समुच्चय पर इसका अभिन्न अंग परिमित है। औपचारिक रूप से बोलते हुए, 1/xL1,loc( \ 0):[18] चूँकि , इस वेरिएबल को संपूर्ण वितरण तक बढ़ाया जा सकता है कॉची प्रमुख मूल्य के रूप में।[19]
  • पिछला उदाहरण प्रश्न उठाता है: क्या प्रत्येक वेरिएबल जो Ω में स्थानीय रूप से एकीकृत है संपूर्ण के लिए विस्तार स्वीकार करें वितरण के रूप में? उत्तर ऋणात्मक है, और प्रतिउदाहरण निम्नलिखित वेरिएबल द्वारा प्रदान किया गया है:
किसी भी वितरण को परिभाषित नहीं करता है .[20]
  • निम्नलिखित उदाहरण , पिछले उदाहरण के समान, वेरिएबल से संबंधित है L1,loc(\ 0) जो अनियमित विलक्षणता वाले विभेदक ऑपरेटरों के लिए वितरण के सिद्धांत के अनुप्रयोग में प्राथमिक प्रति-उदाहरण के रूप में कार्य करता है:
जहां k1 और k2 समष्टि संख्या हैं, निम्नलिखित प्राथमिक फ़्यूचियन अंतर समीकरण का सामान्य समाधान है | प्रथम क्रम के गैर-फ़ुचियन अंतर समीकरण
फिर यह समग्र रूप से किसी भी वितरण को परिभाषित नहीं करता है , यदि k1 या k2 शून्य नहीं हैं: ऐसे समीकरण का एकमात्र वितरणात्मक वैश्विक समाधान शून्य वितरण है, और इससे पता चलता है कि, अंतर समीकरणों के सिद्धांत की इस शाखा में, वितरण के सिद्धांत के तरीकों से समान सफलता की उम्मीद नहीं की जा सकती है समान सिद्धांत की अन्य शाखाओं में, विशेष रूप से स्थिर गुणांक वाले रैखिक अंतर समीकरणों के सिद्धांत में।[21]

अनुप्रयोग

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

यह भी देखें

  • कॉम्पैक्ट समुच्चय
  • वितरण (गणित)
  • लेब्सग्यू का घनत्व प्रमेय
  • लेब्सेग विभेदन प्रमेय
  • लेब्सग इंटीग्रल
  • एलपी स्पेस

टिप्पणियाँ

  1. According to Gel'fand & Shilov (1964, p. 3).
  2. 2.0 2.1 See for example (Schwartz 1998, p. 18) and (Vladimirov 2002, p. 3).
  3. Another slight variant of this definition, chosen by Vladimirov (2002, p. 1), is to require only that K ⋐ Ω (or, using the notation of Gilbarg & Trudinger (2001, p. 9), K ⊂⊂ Ω), meaning that K is strictly included in Ω i.e. it is a set having compact closure strictly included in the given ambient set.
  4. The notion of compactness must obviously be defined on the given abstract measure space.
  5. This is the approach developed for example by Cafiero (1959, pp. 285–342) and by Saks (1937, chapter I), without dealing explicitly with the locally integrable case.
  6. See for example (Strichartz 2003, pp. 12–13).
  7. This approach was praised by Schwartz (1998, pp. 16–17) who remarked also its usefulness, however using Definition 1 to define locally integrable functions.
  8. Be noted that Maz'ya and Shaposhnikova define explicitly only the "localized" version of the Sobolev space Wk,p(Ω), nevertheless explicitly asserting that the same method is used to define localized versions of all other Banach spaces used in the cited book: in particular, Lp,loc(Ω) is introduced on page 44.
  9. 9.0 9.1 See for example (Vladimirov 2002, p. 3) and (Maz'ya & Poborchi 1997, p. 4).
  10. As remarked in the previous section, this is the approach adopted by Maz'ya & Shaposhnikova (2009), without developing the elementary details.
  11. Precisely, they form a vector subspace of L1,loc(Ω): see Corollary 1 to Theorem 2.
  12. See for example (Vladimirov 2002, p. 3), where a calligraphic is used.
  13. See (Gilbarg & Trudinger 1998, p. 147), (Maz'ya & Poborchi 1997, p. 5) for a statement of this results, and also the brief notes in (Maz'ja 1985, p. 6) and (Maz'ya 2011, p. 2).
  14. Gilbarg & Trudinger (1998, p. 147) and Maz'ya & Poborchi (1997, p. 5) only sketch very briefly the method of proof, while in (Maz'ja 1985, p. 6) and (Maz'ya 2011, p. 2) it is assumed as a known result, from which the subsequent development starts.
  15. According to Saks (1937, p. 36), "If E is a set of finite measure, or, more generally the sum of a sequence of sets of finite measure (μ), then, in order that an additive function of a set (𝔛) on E be absolutely continuous on E, it is necessary and sufficient that this function of a set be the indefinite integral of some integrable function of a point of E". Assuming (μ) to be the Lebesgue measure, the two statements can be seen to be equivalent.
  16. See for example (Hörmander 1990, p. 37).
  17. See (Strichartz 2003, p. 12).
  18. See (Schwartz 1998, p. 19).
  19. See (Vladimirov 2002, pp. 19–21).
  20. See (Vladimirov 2002, p. 21).
  21. For a brief discussion of this example, see (Schwartz 1998, pp. 131–132).

संदर्भ

बाप्रत्येकी संबंध

This article incorporates material from स्थानीय रूप से एकीकृत कार्य on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.