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

Revision as of 17:24, 16 August 2023

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

परिभाषा

मानक परिभाषा

Definition 1.^[2] होने देना $Ω$ यूक्लिडियन अंतरिक्ष में खुला सेट बनें $\mathbb {R} ^{n}$ और $\mathbb {C}$ लेब्सेग माप मापने योग्य फ़ंक्शन बनें। अगर $f$ पर $Ω$ इस प्रकार कि

\int _{K}|f|\,\mathrm {d} x<+\infty ,

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

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 \}},

कहाँ ${\textstyle \left.f\right|_{K}}$ के कार्य के प्रतिबंध को दर्शाता है $f$ सेट पर $K$ .

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

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

Definition 2.^[6] होने देना $Ω$ यूक्लिडियन अंतरिक्ष में खुला सेट बनें $\mathbb {R} ^{n}$ . फिर फ़ंक्शन (गणित) $\mathbb {C}$ ऐसा है कि

\int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty ,

प्रत्येक परीक्षण फ़ंक्शन के लिए $φ \in C \infty c (Ω)$ को स्थानीय रूप से एकीकृत कहा जाता है, और ऐसे कार्यों के सेट को इसके द्वारा दर्शाया जाता है $L 1,loc (Ω)$ . यहाँ $C \infty c (Ω)$ सभी अपरिमित रूप से भिन्न-भिन्न फलनों के समुच्चय को दर्शाता है $\mathbb {R}$ समर्थन (गणित)#कॉम्पैक्ट समर्थन के साथ शामिल है $Ω$ .

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

Lemma 1. दिया गया फ़ंक्शन $\mathbb {C}$ के अनुसार स्थानीय रूप से एकीकृत है Definition 1 यदि और केवल यदि यह स्थानीय रूप से एकीकृत है Definition 2, अर्थात।

\int _{K}|f|\,\mathrm {d} x<+\infty \quad \forall \,K\subset \Omega ,\,K{\text{ compact}}\quad \Longleftrightarrow \quad \int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty \quad \forall \,\varphi \in C_{\mathrm {c} }^{\infty }(\Omega ).

का प्रमाण Lemma 1

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

\int _{\Omega }|f\varphi |\,\mathrm {d} x=\int _{K}|f|\,|\varphi |\,\mathrm {d} x\leq \|\varphi \|_{\infty }\int _{K}|f|\,\mathrm {d} x<\infty

द्वारा Definition 1.

केवल यदि भाग: चलो $K$ खुले समुच्चय का संहत उपसमुच्चय बनें $Ω$ . हम पहले परीक्षण फ़ंक्शन का निर्माण करेंगे $φ K \in C \infty c (Ω)$ जो संकेतक फ़ंक्शन को प्रमुखता देता है $χ K$ का $K$ . दूरी#सेट के बीच और बिंदु और सेट के बीच की दूरी^[9] बीच में $K$ और सीमा (टोपोलॉजी) $\partialΩ$ पूर्णतया शून्य से बड़ा है, अर्थात

\Delta :=d(K,\partial \Omega )>0,

इसलिए वास्तविक संख्या चुनना संभव है $δ$ ऐसा है कि $Δ > 2 δ > 0$ (अगर $\partialΩ$ खाली सेट है, ले लो $Δ = \infty$ ). होने देना $K δ$ और $K 2 δ$ क्लोजर (टोपोलॉजी) सेट नेबरहुड का क्लोजर (गणित)#मीट्रिक स्पेस में| $δ$ -पड़ोस और $2 δ$ -का पड़ोस $K$ , क्रमश। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं

K\subset K_{\delta }\subset K_{2\delta }\subset \Omega ,\qquad d(K_{\delta },\partial \Omega )=\Delta -\delta >\delta >0.

अब फ़ंक्शन को परिभाषित करने के लिए कनवल्शन का उपयोग करें $\mathbb {R}$ द्वारा

\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,

कहाँ $φ δ$ शांत करनेवाला है जिसका निर्माण मोलिफ़ायर#कंक्रीट उदाहरण का उपयोग करके किया गया है। ज़ाहिर तौर से $φ K$ इस अर्थ में गैर-नकारात्मक है $φ K \geq 0$ , असीम रूप से भिन्न, और इसका समर्थन निहित है $K 2 δ$ , विशेष रूप से यह परीक्षण फ़ंक्शन है। तब से $φ K (x) = 1$ सभी के लिए $x \in K$ , हमारे पास वह है $χ K \leq φ K$ .

होने देना $f$ के अनुसार स्थानीय रूप से एकीकृत फ़ंक्शन बनें Definition 2. तब

\int _{K}|f|\,\mathrm {d} x=\int _{\Omega }|f|\chi _{K}\,\mathrm {d} x\leq \int _{\Omega }|f|\varphi _{K}\,\mathrm {d} x<\infty .

चूँकि यह प्रत्येक कॉम्पैक्ट उपसमुच्चय के लिए लागू होता है $K$ का $Ω$ , कार्यक्रम $f$ के अनुसार स्थानीय रूप से एकीकृत है Definition 1. □

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

Definition 3.^[10] होने देना $Ω$ यूक्लिडियन अंतरिक्ष में खुला सेट बनें $\mathbb {R} ^{n}$ और $f : Ω \to$ $\mathbb {C}$ लेबेस्ग्यू मापने योग्य फ़ंक्शन बनें। यदि, किसी दिए गए के लिए $p$ साथ $1 \leq p \leq +\infty$ , $f$ संतुष्ट करता है

\int _{K}|f|^{p}\,\mathrm {d} x<+\infty ,

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

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\}.

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

संकेतन

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

$L_{\mathrm {loc} }^{p}(\Omega ),$ के द्वारा ग्रहण किया गया (Hörmander 1990, p. 37), (Strichartz 2003, pp. 12–13) और (Vladimirov 2002, p. 3).
$L_{p,\mathrm {loc} }(\Omega ),$ के द्वारा ग्रहण किया गया (Maz'ya & Poborchi 1997, p. 4) और Maz'ya & Shaposhnikova (2009, p. 44).
$L_{p}(\Omega ,\mathrm {loc} ),$ के द्वारा ग्रहण किया गया (Maz'ja 1985, p. 6) और (Maz'ya 2011, p. 2).

गुण

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

Theorem 1.^[14] $L p,loc$ पूर्ण मीट्रिक स्थान है: इसकी टोपोलॉजी निम्नलिखित मीट्रिक (गणित) द्वारा उत्पन्न की जा सकती है:

d(u,v)=\sum _{k\geq 1}{\frac {1}{2^{k}}}{\frac {\Vert u-v\Vert _{p,\omega _{k}}}{1+\Vert u-v\Vert _{p,\omega _{k}}}}\qquad u,v\in L_{p,\mathrm {loc} }(\Omega ),

कहाँ ${ω k} k \geq1$ ऐसे गैर खाली खुले सेटों का परिवार है

$ω k \subset\subset ω k +1$ , मतलब है कि $ω k$ को कॉम्पैक्ट रूप से शामिल किया गया है $ω k +1$ यानी यह सेट है जिसमें कॉम्पैक्ट क्लोजर को उच्च सूचकांक के सेट में सख्ती से शामिल किया गया है।
$\cup k ω k = Ω$ .
$\scriptstyle {\Vert \cdot \Vert _{p,\omega _{k}}}\to \mathbb {R} ^{+}$ , के ∈ $\mathbb {N}$ सेमिनोर्म का अनुक्रमित परिवार है, जिसे इस प्रकार परिभाषित किया गया है

{\Vert u\Vert _{p,\omega _{k}}}=\left(\int _{\omega _{k}}|u(x)|^{p}\,\mathrm {d} x\right)^{1/p}\qquad \forall \,u\in L_{p,\mathrm {loc} }(\Omega ).

सन्दर्भों में (Gilbarg & Trudinger 1998, p. 147), (Maz'ya & Poborchi 1997, p. 5), (Maz'ja 1985, p. 6) और (Maz'ya 2011, p. 2), यह प्रमेय बताया गया है लेकिन औपचारिक आधार पर सिद्ध नहीं किया गया है:^[15] अधिक सामान्य परिणाम का पूर्ण प्रमाण, जिसमें यह भी शामिल है, पाया जाता है (Meise & Vogt 1997, p. 40).

===एल_p L का उपस्थान है_1,loc सभी p ≥ 1=== के लिए

Theorem 2. हर समारोह $f$ से संबंधित $L p (Ω)$ , $1 \leq p \leq +\infty$ , कहाँ $Ω$ का खुला उपसमुच्चय है $\mathbb {R} ^{n}$ , स्थानीय रूप से एकीकृत है।

सबूत। मामला $p = 1$ तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है $1 < p \leq +\infty$ . संकेतक फ़ंक्शन पर विचार करें $χ K$ सघन उपसमुच्चय का $K$ का $Ω$ : फिर, के लिए $p \leq +\infty$ ,

\left|{\int _{\Omega }|\chi _{K}|^{q}\,\mathrm {d} x}\right|^{1/q}=\left|{\int _{K}\mathrm {d} x}\right|^{1/q}=|K|^{1/q}<+\infty ,

कहाँ

$q$ धनात्मक संख्या है जैसे कि $1/ p + 1/ q$ = $1$ किसी प्रदत्त के लिए $1 \leq p \leq +\infty$
$| K |$ कॉम्पैक्ट सेट का लेबेस्ग माप है $K$

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

{\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 ,

इसलिए

f\in L_{1,\mathrm {loc} }(\Omega ).

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

{\int _{K}|f|\,\mathrm {d} x}={\int _{\Omega }|f\chi _{K}|\,\mathrm {d} x}\leq \left|{\int _{K}|f|^{p}\,\mathrm {d} x}\right|^{1/p}\left|{\int _{K}\mathrm {d} x}\right|^{1/q}=\|f\chi _{K}\|_{p}|K|^{1/q}<+\infty ,

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

Corollary 1. हर समारोह $f$ में $L_{p,loc}(\Omega )$ , $1<p\leq \infty$ , स्थानीय रूप से एकीकृत है, i. इ। से संबंधित $L_{1,loc}(\Omega )$ .

नोट: यदि $\Omega$ का खुला उपसमुच्चय है $\mathbb {R} ^{n}$ वह भी परिबद्ध है, तो में मानक समावेशन होता है $L_{p}(\Omega )\subset L_{1}(\Omega )$ जो उपरोक्त समावेशन को देखते हुए समझ में आता है $L_{1}(\Omega )\subset L_{1,loc}(\Omega )$ . लेकिन इनमें से पहला कथन सत्य नहीं है यदि $\Omega$ परिबद्ध नहीं है; तो यह अभी भी सच है $L_{p}(\Omega )\subset L_{1,loc}(\Omega )$ किसी के लिए $p$ , लेकिन ऐसा नहीं $L_{p}(\Omega )\subset L_{1}(\Omega )$ . इसे देखने के लिए, आमतौर पर फ़ंक्शन पर विचार किया जाता है $u(x)=1$ , जो इसमें है $L_{\infty }(\mathbb {R} ^{n})$ लेकिन अंदर नहीं $L_{p}(\mathbb {R} ^{n})$ किसी भी परिमित के लिए $p$ .

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

Theorem 3. समारोह $f$ पूर्ण निरंतरता का घनत्व फ़ंक्शन (माप सिद्धांत) है # उपायों की पूर्ण निरंतरता यदि और केवल यदि $f\in L_{1,loc}$ .

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

उदाहरण

निरंतर कार्य $1$ वास्तविक रेखा पर परिभाषित स्थानीय रूप से एकीकृत है लेकिन विश्व स्तर पर एकीकृत नहीं है क्योंकि वास्तविक रेखा में अनंत माप है। अधिक सामान्यतः, स्थिरांक (गणित), निरंतर कार्य^[17] और एकीकृत कार्य स्थानीय रूप से एकीकृत होते हैं।^[18]
कार्यक्रम $f(x)=1/x$ x ∈ (0, 1) के लिए स्थानीय रूप से है लेकिन वैश्विक रूप से (0, 1) पर एकीकृत नहीं है। यह स्थानीय रूप से एकीकृत है क्योंकि किसी भी कॉम्पैक्ट सेट K ⊆ (0, 1) की 0 से सकारात्मक दूरी है और f इसलिए K पर घिरा है। यह उदाहरण प्रारंभिक दावे को रेखांकित करता है कि स्थानीय रूप से एकीकृत कार्यों को सीमा के पास विकास की स्थिति की संतुष्टि की आवश्यकता नहीं है परिबद्ध डोमेन.
कार्यक्रम

f(x)={\begin{cases}1/x&x\neq 0,\\0&x=0,\end{cases}}\quad x\in \mathbb {R}

स्थानीय रूप से एकीकृत नहीं है

x = 0

: यह वास्तव में इस बिंदु के निकट स्थानीय रूप से एकीकृत है क्योंकि इसे शामिल किए बिना प्रत्येक कॉम्पैक्ट सेट पर इसका अभिन्न अंग परिमित है। औपचारिक रूप से बोलते हुए,

1/ x \in L 1,loc

(

\mathbb {R}

\ 0):^[19] हालाँकि, इस फ़ंक्शन को संपूर्ण वितरण तक बढ़ाया जा सकता है

\mathbb {R}

कॉची प्रमुख मूल्य के रूप में।^[20]

पिछला उदाहरण प्रश्न उठाता है: क्या प्रत्येक फ़ंक्शन जो स्थानीय रूप से एकीकृत है $Ω$ ⊊ $\mathbb {R}$ संपूर्ण के लिए विस्तार स्वीकार करें $\mathbb {R}$ वितरण के रूप में? उत्तर नकारात्मक है, और प्रतिउदाहरण निम्नलिखित फ़ंक्शन द्वारा प्रदान किया गया है:

f(x)={\begin{cases}e^{1/x}&x\neq 0,\\0&x=0,\end{cases}}

किसी भी वितरण को परिभाषित नहीं करता है

\mathbb {R}

.^[21] * निम्नलिखित उदाहरण, पिछले उदाहरण के समान, फ़ंक्शन से संबंधित है

L 1,loc

(

\mathbb {R}

\ 0) जो अनियमित विलक्षणता वाले विभेदक ऑपरेटरों के लिए वितरण के सिद्धांत के अनुप्रयोग में प्राथमिक प्रति-उदाहरण के रूप में कार्य करता है:

f(x)={\begin{cases}k_{1}e^{1/x^{2}}&x>0,\\0&x=0,\\k_{2}e^{1/x^{2}}&x<0,\end{cases}}

कहाँ

k 1

और

k 2

जटिल संख्या हैं, निम्नलिखित प्राथमिक फ़्यूचियन अंतर समीकरण का सामान्य समाधान है | प्रथम क्रम के गैर-फ़ुचियन अंतर समीकरण

x^{3}{\frac {\mathrm {d} f}{\mathrm {d} x}}+2f=0.

फिर यह समग्र रूप से किसी भी वितरण को परिभाषित नहीं करता है

\mathbb {R}

, अगर

k 1

या

k 2

शून्य नहीं हैं: ऐसे समीकरण का एकमात्र वितरणात्मक वैश्विक समाधान शून्य वितरण है, और इससे पता चलता है कि, अंतर समीकरणों के सिद्धांत की इस शाखा में, वितरण के सिद्धांत के तरीकों से समान सफलता की उम्मीद नहीं की जा सकती है समान सिद्धांत की अन्य शाखाओं में, विशेष रूप से स्थिर गुणांक वाले रैखिक अंतर समीकरणों के सिद्धांत में।^[22]

अनुप्रयोग

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

यह भी देखें

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

↑ According to Gel'fand & Shilov (1964, p. 3).
↑ ^2.0 ^2.1 See for example (Schwartz 1998, p. 18) and (Vladimirov 2002, p. 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 \subset\subset Ω$ ), meaning that $K$ is strictly included in $Ω$ i.e. it is a set having compact closure strictly included in the given ambient set.
↑ The notion of compactness must obviously be defined on the given abstract measure space.
↑ 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.
↑ See for example (Strichartz 2003, pp. 12–13).
↑ This approach was praised by Schwartz (1998, pp. 16–17) who remarked also its usefulness, however using Definition 1 to define locally integrable functions.
↑ Be noted that Maz'ya and Shaposhnikova define explicitly only the "localized" version of the Sobolev space $W k, 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, $L p,loc (Ω)$ is introduced on page 44.
↑ Not to be confused with the Hausdorff distance.
↑ ^10.0 ^10.1 See for example (Vladimirov 2002, p. 3) and (Maz'ya & Poborchi 1997, p. 4).
↑ As remarked in the previous section, this is the approach adopted by Maz'ya & Shaposhnikova (2009), without developing the elementary details.
↑ Precisely, they form a vector subspace of $L 1,loc (Ω)$ : see Corollary 1 to Theorem 2.
↑ See for example (Vladimirov 2002, p. 3), where a calligraphic ℒ is used.
↑ 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).
↑ 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.
↑ 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.
↑ See for example (Hörmander 1990, p. 37).
↑ See (Strichartz 2003, p. 12).
↑ See (Schwartz 1998, p. 19).
↑ See (Vladimirov 2002, pp. 19–21).
↑ See (Vladimirov 2002, p. 21).
↑ For a brief discussion of this example, see (Schwartz 1998, pp. 131–132).

संदर्भ

Cafiero, Federico (1959), Misura e integrazione, Monografie matematiche del Consiglio Nazionale delle Ricerche (in italiano), vol. 5, Roma: Edizioni Cremonese, pp. VII+451, MR 0215954, Zbl 0171.01503. Measure and integration (as the English translation of the title reads) is a definitive monograph on integration and measure theory: the treatment of the limiting behavior of the integral of various kind of sequences of measure-related structures (measurable functions, measurable sets, measures and their combinations) is somewhat conclusive.
Gel'fand, I. M.; Shilov, G. E. (1964) [1958], Generalized functions. Vol. I: Properties and operations, New York–London: Academic Press, pp. xviii+423, ISBN 978-0-12-279501-5, MR 0166596, Zbl 0115.33101. Translated from the original 1958 Russian edition by Eugene Saletan, this is an important monograph on the theory of generalized functions, dealing both with distributions and analytic functionals.
Gilbarg, David; Trudinger, Neil S. (2001) [1998], Elliptic partial differential equations of second order, Classics in Mathematics (Revised 3rd printing of 2nd ed.), Berlin – Heidelberg – New York: Springer Verlag, pp. xiv+517, ISBN 3-540-41160-7, MR 1814364, Zbl 1042.35002.
Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft, vol. 256 (2nd ed.), Berlin-Heidelberg-New York City: Springer-Verlag, pp. xii+440, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001 (available also as ISBN 3-540-52343-X).
Maz'ja, Vladimir G. (1985), Sobolev Spaces, Berlin–Heidelberg–New York: Springer-Verlag, pp. xix+486, ISBN 3-540-13589-8, MR 0817985, Zbl 0692.46023 (available also as ISBN 0-387-13589-8).
Maz'ya, Vladimir G. (2011) [1985], Sobolev Spaces. With Applications to Elliptic Partial Differential Equations., Grundlehren der Mathematischen Wissenschaften, vol. 342 (2nd revised and augmented ed.), Berlin–Heidelberg–New York: Springer Verlag, pp. xxviii+866, ISBN 978-3-642-15563-5, MR 2777530, Zbl 1217.46002.
Maz'ya, Vladimir G.; Poborchi, Sergei V. (1997), Differentiable Functions on Bad Domains, Singapore–New Jersey–London–Hong Kong: World Scientific, pp. xx+481, ISBN 981-02-2767-1, MR 1643072, Zbl 0918.46033.
Maz'ya, Vladimir G.; Shaposhnikova, Tatyana O. (2009), Theory of Sobolev multipliers. With applications to differential and integral operators, Grundlehren der Mathematischen Wissenschaft, vol. 337, Heidelberg: Springer-Verlag, pp. xiii+609, ISBN 978-3-540-69490-8, MR 2457601, Zbl 1157.46001.
Meise, Reinhold; Vogt, Dietmar (1997), Introduction to Functional Analysis, Oxford Graduate Texts in Mathematics, vol. 2, Oxford: Clarendon Press, pp. x+437, ISBN 0-19-851485-9, MR 1483073, Zbl 0924.46002.
Saks, Stanisław (1937), Theory of the Integral, Monografie Matematyczne, vol. 7 (2nd ed.), Warszawa-Lwów: G.E. Stechert & Co., pp. VI+347, JFM 63.0183.05, 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.
Schwartz, Laurent (1998) [1966], Théorie des distributions, Publications de l'Institut de Mathématique de l'Université de Strasbourg (in français), vol. No. IX–X (Nouvelle ed.), Paris: Hermann Éditeurs, pp. xiii+420, ISBN 2-7056-5551-4, MR 0209834, Zbl 0149.09501.
Strichartz, Robert S. (2003), A Guide to Distribution Theory and Fourier Transforms (2nd printing ed.), River Edge, NJ: World Scientific Publishers, pp. x+226, ISBN 981-238-430-8, MR 2000535, Zbl 1029.46039.
Vladimirov, V. S. (2002), Methods of the theory of generalized functions, Analytical Methods and Special Functions, vol. 6, London–New York: Taylor & Francis, pp. XII+353, ISBN 0-415-27356-0, MR 2012831, Zbl 1078.46029. A monograph on the theory of generalized functions written with an eye towards their applications to several complex variables and mathematical physics, as is customary for the Author.

बाहरी संबंध

Rowland, Todd. "Locally integrable". MathWorld.
Vinogradova, I.A. (2001) [1994], "Locally integrable function", Encyclopedia of Mathematics, EMS Press

This article incorporates material from Locally integrable function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

[1] According to Gel'fand & Shilov (1964, p. 3).

[ScVl-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 \subset\subset Ω$ ), 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 $W k, 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, $L p,loc (Ω)$ is introduced on page 44.

[9] Not to be confused with the Hausdorff distance.

[Vlp3-10] 10.0 ^10.1 See for example (Vladimirov 2002, p. 3) and (Maz'ya & Poborchi 1997, p. 4).

[11] As remarked in the previous section, this is the approach adopted by Maz'ya & Shaposhnikova (2009), without developing the elementary details.

[12] Precisely, they form a vector subspace of $L 1,loc (Ω)$ : see Corollary 1 to Theorem 2.

[13] See for example (Vladimirov 2002, p. 3), where a calligraphic ℒ is used.

[14] 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).

[15] 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.

[16] 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.

[17] See for example (Hörmander 1990, p. 37).

[18] See (Strichartz 2003, p. 12).

[19] See (Schwartz 1998, p. 19).

[20] See (Vladimirov 2002, pp. 19–21).

[21] See (Vladimirov 2002, p. 21).

[22] For a brief discussion of this example, see (Schwartz 1998, pp. 131–132).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

@@ Line 1: / Line 1: @@
-गणित में, एक स्थानीय रूप से एकीकृत फ़ंक्शन (कभी-कभी इसे स्थानीय रूप से सारांशित फ़ंक्शन भी कहा जाता है)<ref>According to {{harvtxt|Gel'fand|Shilov|1964|p=3}}.</ref> एक [[फ़ंक्शन (गणित)]] है जो परिभाषा के अपने डोमेन के प्रत्येक कॉम्पैक्ट उपसमुच्चय पर पूर्णांकीय है (इसलिए इसका अभिन्न अंग परिमित है)। ऐसे फ़ंक्शंस का महत्व इस तथ्य में निहित है कि उनका [[कार्य स्थान]] Lp स्पेस के समान है{{math|''L''<sup>''p''</sup>}} रिक्त स्थान, लेकिन इसके सदस्यों को अपने डोमेन की सीमा पर अपने व्यवहार पर किसी भी विकास प्रतिबंध को पूरा करने की आवश्यकता नहीं है (यदि डोमेन असीमित है तो अनंत पर): दूसरे शब्दों में, स्थानीय रूप से एकीकृत कार्य डोमेन सीमा पर मनमाने ढंग से तेजी से बढ़ सकते हैं, लेकिन अभी भी सामान्य एकीकृत कार्यों के समान ही प्रबंधनीय हैं।
+गणित में, '''स्थानीय रूप से एकीकृत फ़ंक्शन''' (कभी-कभी इसे स्थानीय रूप से सारांशित फ़ंक्शन भी कहा जाता है)<ref>According to {{harvtxt|Gel'fand|Shilov|1964|p=3}}.</ref> [[फ़ंक्शन (गणित)]] है जो परिभाषा के अपने डोमेन के प्रत्येक कॉम्पैक्ट उपसमुच्चय पर पूर्णांकीय है (इसलिए इसका अभिन्न अंग परिमित है)। ऐसे फ़ंक्शंस का महत्व इस तथ्य में निहित है कि उनका [[कार्य स्थान]] Lp स्पेस के समान है{{math|''L''<sup>''p''</sup>}} रिक्त स्थान, लेकिन इसके सदस्यों को अपने डोमेन की सीमा पर अपने व्यवहार पर किसी भी विकास प्रतिबंध को पूरा करने की आवश्यकता नहीं है (यदि डोमेन असीमित है तो अनंत पर): दूसरे शब्दों में, स्थानीय रूप से एकीकृत कार्य डोमेन सीमा पर मनमाने ढंग से तेजी से बढ़ सकते हैं, लेकिन अभी भी सामान्य एकीकृत कार्यों के समान ही प्रबंधनीय हैं।
-== परिभाषा ==
+== '''परिभाषा''' ==
 ===मानक परिभाषा===
-{{EquationRef|1|Definition 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|''f''}} पर {{math|Ω}} इस प्रकार कि
+{{EquationRef|1|Definition 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|''f''}} पर {{math|Ω}} इस प्रकार कि
 :<math> \int_K | f |\, \mathrm{d}x <+\infty,</math>
@@ Line 10: / Line 10: @@
 :<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 display=inline>\left.f\right|_K</math> के एक कार्य के प्रतिबंध को दर्शाता है {{math|''f''}} सेट पर {{math|''K''}}.
+कहाँ <math display=inline>\left.f\right|_K</math> के कार्य के प्रतिबंध को दर्शाता है {{math|''f''}} सेट पर {{math|''K''}}.
-स्थानीय रूप से एकीकृत फ़ंक्शन की शास्त्रीय परिभाषा में केवल [[माप सिद्धांत]] और [[टोपोलॉजिकल स्पेस]] शामिल है<ref>The notion of compactness must obviously be defined on the given abstract measure space.</ref> अवधारणाओं और एक टोपोलॉजिकल माप स्थान पर [[जटिल संख्या]] | जटिल-मूल्यवान कार्यों के लिए अमूर्त पर ले जाया जा सकता है {{math|(''X'', Σ, ''μ'')}}:<ref>This is the approach developed for example by {{harvtxt|Cafiero|1959|pp=285–342}} and by {{harvtxt|Saks|1937|loc = chapter I}}, without dealing explicitly with the locally integrable case.</ref> हालाँकि, चूँकि ऐसे फ़ंक्शंस का सबसे आम अनुप्रयोग यूक्लिडियन रिक्त स्थान पर [[वितरण (गणित)]] के लिए है,<ref name="ScVl"/>इसमें और निम्नलिखित अनुभागों की सभी परिभाषाएँ स्पष्ट रूप से केवल इस महत्वपूर्ण मामले से संबंधित हैं।
+स्थानीय रूप से एकीकृत फ़ंक्शन की शास्त्रीय परिभाषा में केवल [[माप सिद्धांत]] और [[टोपोलॉजिकल स्पेस]] शामिल है<ref>The notion of compactness must obviously be defined on the given abstract measure space.</ref> अवधारणाओं और टोपोलॉजिकल माप स्थान पर [[जटिल संख्या]] | जटिल-मूल्यवान कार्यों के लिए अमूर्त पर ले जाया जा सकता है {{math|(''X'', Σ, ''μ'')}}:<ref>This is the approach developed for example by {{harvtxt|Cafiero|1959|pp=285–342}} and by {{harvtxt|Saks|1937|loc = chapter I}}, without dealing explicitly with the locally integrable case.</ref> हालाँकि, चूँकि ऐसे फ़ंक्शंस का सबसे आम अनुप्रयोग यूक्लिडियन रिक्त स्थान पर [[वितरण (गणित)]] के लिए है,<ref name="ScVl"/> इसमें और निम्नलिखित अनुभागों की सभी परिभाषाएँ स्पष्ट रूप से केवल इस महत्वपूर्ण मामले से संबंधित हैं।
 ===एक वैकल्पिक परिभाषा===
-{{EquationRef|2|Definition 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|Definition 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|''φ'' ∈ {{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|Strichartz|2003}} और तक {{Harvtxt|Maz'ya|Shaposhnikova|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|Strichartz|2003}} और तक {{Harvtxt|Maz'ya|Shaposhnikova|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|Lemma 1}}. एक दिया गया फ़ंक्शन {{math|''f'' : Ω → <math>\mathbb{C}</math>}} के अनुसार स्थानीय रूप से एकीकृत है {{EquationNote|1|Definition&nbsp;1}} यदि और केवल यदि यह स्थानीय रूप से एकीकृत है {{EquationNote|2|Definition&nbsp;2}}, अर्थात।
+{{EquationRef|3|Lemma 1}}. दिया गया फ़ंक्शन {{math|''f'' : Ω → <math>\mathbb{C}</math>}} के अनुसार स्थानीय रूप से एकीकृत है {{EquationNote|1|Definition&nbsp;1}} यदि और केवल यदि यह स्थानीय रूप से एकीकृत है {{EquationNote|2|Definition&nbsp;2}}, अर्थात।
 :<math> \int_K | f |\, \mathrm{d}x <+\infty \quad \forall\, K \subset \Omega,\, K \text{ compact} \quad \Longleftrightarrow \quad
 \int_\Omega | f \varphi|\, \mathrm{d}x <+\infty \quad \forall\, \varphi \in C^\infty_{\mathrm{c}}(\Omega).</math>
 ===का प्रमाण {{EquationNote|3|Lemma&nbsp;1}}===
-यदि भाग: चलो {{math|''φ'' ∈ {{SubSup|C|c|∞}}(Ω)}} एक परीक्षण फ़ंक्शन बनें। यह अपने सर्वोच्च मानदंड से [[चरम मूल्य प्रमेय]] है {{math|<nowiki>||</nowiki>''φ''<nowiki>||</nowiki><sub>∞</sub>}}, मापने योग्य, और इसमें एक समर्थन (गणित)#कॉम्पैक्ट समर्थन है, आइए इसे कॉल करें {{math|''K''}}. इस तरह
+यदि भाग: चलो {{math|''φ'' ∈ {{SubSup|C|c|∞}}(Ω)}} परीक्षण फ़ंक्शन बनें। यह अपने सर्वोच्च मानदंड से [[चरम मूल्य प्रमेय]] है {{math|<nowiki>||</nowiki>''φ''<nowiki>||</nowiki><sub>∞</sub>}}, मापने योग्य, और इसमें समर्थन (गणित)#कॉम्पैक्ट समर्थन है, आइए इसे कॉल करें {{math|''K''}}. इस तरह
 :<math>\int_\Omega | f \varphi|\, \mathrm{d}x = \int_K |f|\,|\varphi|\, \mathrm{d}x \le\|\varphi\|_\infty\int_K | f |\, \mathrm{d}x<\infty</math>
 द्वारा {{EquationNote|1|Definition&nbsp;1}}.
-केवल यदि भाग: चलो {{math|''K''}} खुले समुच्चय का एक संहत उपसमुच्चय बनें {{math|Ω}}. हम पहले एक परीक्षण फ़ंक्शन का निर्माण करेंगे {{math|''φ<sub>K</sub>'' ∈ {{SubSup|C|c|∞}}(Ω)}} जो संकेतक फ़ंक्शन को प्रमुखता देता है {{math|''χ<sub>K</sub>''}} का {{math|''K''}}.
+केवल यदि भाग: चलो {{math|''K''}} खुले समुच्चय का संहत उपसमुच्चय बनें {{math|Ω}}. हम पहले परीक्षण फ़ंक्शन का निर्माण करेंगे {{math|''φ<sub>K</sub>'' ∈ {{SubSup|C|c|∞}}(Ω)}} जो संकेतक फ़ंक्शन को प्रमुखता देता है {{math|''χ<sub>K</sub>''}} का {{math|''K''}}.
-दूरी#सेट के बीच और एक बिंदु और सेट के बीच की दूरी<ref>Not to be confused with the [[Hausdorff distance]].</ref> बीच में {{math|''K''}} और [[सीमा (टोपोलॉजी)]] {{math|∂Ω}} पूर्णतया शून्य से बड़ा है, अर्थात
+दूरी#सेट के बीच और बिंदु और सेट के बीच की दूरी<ref>Not to be confused with the [[Hausdorff distance]].</ref> बीच में {{math|''K''}} और [[सीमा (टोपोलॉजी)]] {{math|∂Ω}} पूर्णतया शून्य से बड़ा है, अर्थात
 :<math>\Delta:=d(K,\partial\Omega)>0,</math>
-इसलिए [[वास्तविक संख्या]] चुनना संभव है {{math|''δ''}} ऐसा है कि {{math|Δ > 2''δ'' > 0}} (अगर {{math|∂Ω}} खाली सेट है, ले लो {{math|Δ {{=}} ∞}}). होने देना {{math|''K<sub>δ</sub>''}} और {{math|''K''<sub>2''δ''</sub>}} क्लोजर (टोपोलॉजी)#एक सेट नेबरहुड का क्लोजर (गणित)#मीट्रिक स्पेस में|{{math|''δ''}}-पड़ोस और {{math|2''δ''}}-का पड़ोस {{math|''K''}}, क्रमश। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं
+इसलिए [[वास्तविक संख्या]] चुनना संभव है {{math|''δ''}} ऐसा है कि {{math|Δ > 2''δ'' > 0}} (अगर {{math|∂Ω}} खाली सेट है, ले लो {{math|Δ {{=}} ∞}}). होने देना {{math|''K<sub>δ</sub>''}} और {{math|''K''<sub>2''δ''</sub>}} क्लोजर (टोपोलॉजी) सेट नेबरहुड का क्लोजर (गणित)#मीट्रिक स्पेस में|{{math|''δ''}}-पड़ोस और {{math|2''δ''}}-का पड़ोस {{math|''K''}}, क्रमश। वे वैसे ही कॉम्पैक्ट और संतुष्ट हैं
 :<math>K\subset K_\delta\subset K_{2\delta}\subset\Omega,\qquad d(K_\delta,\partial\Omega)=\Delta-\delta>\delta>0.</math>
@@ Line 45: / Line 43: @@
 :<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>
-कहाँ {{math|''φ<sub>δ</sub>''}} एक [[शांत करनेवाला]] है जिसका निर्माण मोलिफ़ायर#कंक्रीट उदाहरण का उपयोग करके किया गया है। ज़ाहिर तौर से {{math|''φ<sub>K</sub>''}} इस अर्थ में गैर-नकारात्मक है {{math|''φ<sub>K</sub>'' ≥ 0}}, असीम रूप से भिन्न, और इसका समर्थन निहित है {{math|''K''<sub>2''δ''</sub>}}, विशेष रूप से यह एक परीक्षण फ़ंक्शन है। तब से {{math|''φ<sub>K</sub>''(''x'') {{=}} 1}} सभी के लिए {{math|''x'' ∈ ''K''}}, हमारे पास वह है {{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|''φ<sub>K</sub>''(''x'') {{=}} 1}} सभी के लिए {{math|''x'' ∈ ''K''}}, हमारे पास वह है {{math|''χ<sub>K</sub>'' ≤ ''φ<sub>K</sub>''}}.
-होने देना {{math|''f''}} के अनुसार एक स्थानीय रूप से एकीकृत फ़ंक्शन बनें {{EquationNote|2|Definition&nbsp;2}}. तब
+होने देना {{math|''f''}} के अनुसार स्थानीय रूप से एकीकृत फ़ंक्शन बनें {{EquationNote|2|Definition&nbsp;2}}. तब
 :<math>\int_K|f|\,\mathrm{d}x=\int_\Omega|f|\chi_K\,\mathrm{d}x
@@ Line 55: / Line 53: @@
 ===सामान्यीकरण: स्थानीय रूप से पी-अभिन्न कार्य===
-{{EquationRef|4|Definition 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|''p''}} साथ {{math|1 ≤ ''p'' ≤ +∞}}, {{math|''f''}} संतुष्ट करता है
+{{EquationRef|4|Definition 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|''p''}} साथ {{math|1 ≤ ''p'' ≤ +∞}}, {{math|''f''}} संतुष्ट करता है
 :<math> \int_K | f|^p \,\mathrm{d}x <+\infty,</math>
@@ Line 61: / Line 59: @@
 :<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|''p''}}-अभिन्न कार्य: यह इस खंड के समतुल्य भी हो सकता है और सिद्ध भी हो सकता है।<ref>As remarked in the previous section, this is the approach adopted by {{harvtxt|Maz'ya|Shaposhnikova|2009}}, without developing the elementary details.</ref> स्थानीय स्तर पर उनकी स्पष्ट उच्च व्यापकता के बावजूद {{math|''p''}}-अभिन्न कार्य प्रत्येक के लिए स्थानीय रूप से पूर्ण करने योग्य कार्यों का एक उपसमूह बनाते हैं {{math|''p''}} ऐसा है कि {{math|1 < ''p'' ≤ +∞}}.<ref>Precisely, they form a [[vector subspace]] of {{math|''L''<sub>1,loc</sub>(Ω)}}: see {{EquationNote|7|Corollary&nbsp;1}} to {{EquationNote|6|Theorem&nbsp;2}}.</ref>
+स्थानीय रूप से एकीकृत कार्यों के लिए दी गई वैकल्पिक परिभाषा, पूरी तरह से अनुरूप, स्थानीय रूप से भी दी जा सकती है {{math|''p''}}-अभिन्न कार्य: यह इस खंड के समतुल्य भी हो सकता है और सिद्ध भी हो सकता है।<ref>As remarked in the previous section, this is the approach adopted by {{harvtxt|Maz'ya|Shaposhnikova|2009}}, without developing the elementary details.</ref> स्थानीय स्तर पर उनकी स्पष्ट उच्च व्यापकता के बावजूद {{math|''p''}}-अभिन्न कार्य प्रत्येक के लिए स्थानीय रूप से पूर्ण करने योग्य कार्यों का उपसमूह बनाते हैं {{math|''p''}} ऐसा है कि {{math|1 < ''p'' ≤ +∞}}.<ref>Precisely, they form a [[vector subspace]] of {{math|''L''<sub>1,loc</sub>(Ω)}}: see {{EquationNote|7|Corollary&nbsp;1}} to {{EquationNote|6|Theorem&nbsp;2}}.</ref>
 === संकेतन ===
 विभिन्न [[ग्लिफ़]] के अलावा जिनका उपयोग अपरकेस L के लिए किया जा सकता है,<ref>See for example {{Harv|Vladimirov|2002|p=3}}, where a calligraphic '''ℒ''' is used.</ref> स्थानीय रूप से एकीकृत कार्यों के सेट के अंकन के लिए कुछ प्रकार हैं
@@ Line 70: / Line 66: @@
 *<math>L_p(\Omega,\mathrm{loc}),</math> के द्वारा ग्रहण किया गया {{harv|Maz'ja|1985|p=6}} और {{harv|Maz'ya|2011|p=2}}.
-== गुण ==
+== '''गुण''' ==
+===एल<sub>''p'',loc</sub> सभी p ≥ 1=== के लिए पूर्ण मीट्रिक स्थान है
-===एल<sub>''p'',loc</sub> सभी p ≥ 1=== के लिए एक पूर्ण मीट्रिक स्थान है
+{{EquationRef|5|Theorem 1}}.<ref>See {{harv|Gilbarg|Trudinger|1998|p=147}}, {{harv|Maz'ya|Poborchi|1997|p=5}} for a statement of this results, and also the brief notes in {{harv|Maz'ja|1985|p=6}} and {{harv|Maz'ya|2011|p=2}}.</ref> {{math|''L''<sub>''p'',loc</sub>}} [[पूर्ण मीट्रिक स्थान]] है: इसकी टोपोलॉजी निम्नलिखित मीट्रिक (गणित) द्वारा उत्पन्न की जा सकती है:
-{{EquationRef|5|Theorem 1}}.<ref>See {{harv|Gilbarg|Trudinger|1998|p=147}}, {{harv|Maz'ya|Poborchi|1997|p=5}} for a statement of this results, and also the brief notes in {{harv|Maz'ja|1985|p=6}} and {{harv|Maz'ya|2011|p=2}}.</ref> {{math|''L''<sub>''p'',loc</sub>}} एक [[पूर्ण मीट्रिक स्थान]] है: इसकी टोपोलॉजी निम्नलिखित मीट्रिक (गणित) द्वारा उत्पन्न की जा सकती है:
 :<math>d(u,v)=\sum_{k\geq 1}\frac{1}{2^k}\frac{\Vert u - v\Vert_{p,\omega_k}}{1+\Vert u - v\Vert_{p,\omega_k}}\qquad u, v\in L_{p,\mathrm{loc}}(\Omega),</math>
-कहाँ {{math|{''ω''<sub>''k''</sub>}<sub>''k''≥1</sub>}} ऐसे गैर खाली खुले सेटों का एक परिवार है
+कहाँ {{math|{''ω''<sub>''k''</sub>}<sub>''k''≥1</sub>}} ऐसे गैर खाली खुले सेटों का परिवार है
-* {{math|''ω''<sub>''k''</sub> ⊂⊂ ''ω''<sub>''k''+1</sub>}}, मतलब है कि {{math|''ω''<sub>''k''</sub>}} को कॉम्पैक्ट रूप से शामिल किया गया है {{math|''ω''<sub>''k''+1</sub>}} यानी यह एक सेट है जिसमें कॉम्पैक्ट क्लोजर को उच्च सूचकांक के सेट में सख्ती से शामिल किया गया है।
+* {{math|''ω''<sub>''k''</sub> ⊂⊂ ''ω''<sub>''k''+1</sub>}}, मतलब है कि {{math|''ω''<sub>''k''</sub>}} को कॉम्पैक्ट रूप से शामिल किया गया है {{math|''ω''<sub>''k''+1</sub>}} यानी यह सेट है जिसमें कॉम्पैक्ट क्लोजर को उच्च सूचकांक के सेट में सख्ती से शामिल किया गया है।
 * {{math|∪<sub>''k''</sub>''ω''<sub>''k''</sub> {{=}} Ω}}.
-* <math>\scriptstyle{\Vert\cdot\Vert_{p,\omega_k}}\to\mathbb{R}^+</math>, के ∈ <math>\mathbb{N}</math> [[सेमिनोर्म]] का एक [[अनुक्रमित परिवार]] है, जिसे इस प्रकार परिभाषित किया गया है
+* <math>\scriptstyle{\Vert\cdot\Vert_{p,\omega_k}}\to\mathbb{R}^+</math>, के ∈ <math>\mathbb{N}</math> [[सेमिनोर्म]] का [[अनुक्रमित परिवार]] है, जिसे इस प्रकार परिभाषित किया गया है
 ::<math> {\Vert u \Vert_{p,\omega_k}} = \left (\int_{\omega_k} | u(x)|^p \,\mathrm{d}x\right)^{1/p}\qquad\forall\, u\in L_{p,\mathrm{loc}}(\Omega).</math>
-सन्दर्भों में {{harv|Gilbarg|Trudinger|1998|p=147}}, {{harv|Maz'ya|Poborchi|1997|p=5}}, {{harv|Maz'ja|1985|p=6}} और {{harv|Maz'ya|2011|p=2}}, यह प्रमेय बताया गया है लेकिन औपचारिक आधार पर सिद्ध नहीं किया गया है:<ref>{{harvtxt|Gilbarg|Trudinger|1998|p=147}} and {{harvtxt|Maz'ya|Poborchi|1997|p=5}} only sketch very briefly the method of proof, while in {{harv|Maz'ja|1985|p=6}} and {{harv|Maz'ya|2011|p=2}} it is assumed as a known result, from which the subsequent development starts.</ref> एक अधिक सामान्य परिणाम का पूर्ण प्रमाण, जिसमें यह भी शामिल है, पाया जाता है {{harv|Meise|Vogt|1997|p=40}}.
+सन्दर्भों में {{harv|Gilbarg|Trudinger|1998|p=147}}, {{harv|Maz'ya|Poborchi|1997|p=5}}, {{harv|Maz'ja|1985|p=6}} और {{harv|Maz'ya|2011|p=2}}, यह प्रमेय बताया गया है लेकिन औपचारिक आधार पर सिद्ध नहीं किया गया है:<ref>{{harvtxt|Gilbarg|Trudinger|1998|p=147}} and {{harvtxt|Maz'ya|Poborchi|1997|p=5}} only sketch very briefly the method of proof, while in {{harv|Maz'ja|1985|p=6}} and {{harv|Maz'ya|2011|p=2}} it is assumed as a known result, from which the subsequent development starts.</ref> अधिक सामान्य परिणाम का पूर्ण प्रमाण, जिसमें यह भी शामिल है, पाया जाता है {{harv|Meise|Vogt|1997|p=40}}.
+===एल<sub>''p''</sub> L का उपस्थान है<sub>1,loc</sub> सभी p ≥ 1=== के लिए
-===एल<sub>''p''</sub> L का एक उपस्थान है<sub>1,loc</sub> सभी p ≥ 1=== के लिए
+{{EquationRef|6|Theorem 2}}. हर समारोह {{math|''f''}} से संबंधित {{math|''L''<sub>''p''</sub>(Ω)}}, {{math|1 ≤ ''p'' ≤ +∞}}, कहाँ {{math|Ω}} का [[खुला उपसमुच्चय]] है <math>\mathbb{R}^n</math>, स्थानीय रूप से एकीकृत है।
-{{EquationRef|6|Theorem 2}}. हर समारोह {{math|''f''}} से संबंधित {{math|''L''<sub>''p''</sub>(Ω)}}, {{math|1 ≤ ''p'' ≤ +∞}}, कहाँ {{math|Ω}} का एक [[खुला उपसमुच्चय]] है <math>\mathbb{R}^n</math>, स्थानीय रूप से एकीकृत है।
-सबूत। मामला {{math|''p'' {{=}} 1}} तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है {{math|1 < ''p'' ≤ +∞}}. संकेतक फ़ंक्शन पर विचार करें {{math|''χ''<sub>''K''</sub>}} एक सघन उपसमुच्चय का {{math|''K''}} का  {{math|Ω}}: फिर, के लिए {{math|''p'' ≤ +∞}},
+सबूत। मामला {{math|''p'' {{=}} 1}} तुच्छ है, इसलिए प्रमाण की अगली कड़ी में यह मान लिया गया है {{math|1 < ''p'' ≤ +∞}}. संकेतक फ़ंक्शन पर विचार करें {{math|''χ''<sub>''K''</sub>}} सघन उपसमुच्चय का {{math|''K''}} का {{math|Ω}}: फिर, के लिए {{math|''p'' ≤ +∞}},
 :<math>\left|{\int_\Omega|\chi_K|^q\,\mathrm{d}x}\right|^{1/q}=\left|{\int_K \mathrm{d}x}\right|^{1/q}=|K|^{1/q}<+\infty,</math>
 कहाँ
-*{{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|''f''}} से संबंधित {{math|''L''<sub>''p''</sub>(Ω)}}, होल्डर की असमानता से, [[उत्पाद (गणित)]] {{math|''fχ''<sub>''K''</sub>}} [[एकीकृत कार्य]] है यानी संबंधित है {{math|''L''<sub>1</sub>(Ω)}} और
@@ Line 104: / Line 102: @@
 {{EquationRef|7|Corollary 1}}. हर समारोह <math> f </math> में <math>L_{p,loc}(\Omega)</math>, <math> 1<p\leq\infty </math>, स्थानीय रूप से एकीकृत है, i. इ। से संबंधित <math> L_{1,loc}(\Omega) </math>.
-नोट: यदि <math> \Omega </math> का एक खुला उपसमुच्चय है <math> \mathbb{R}^n</math> वह भी परिबद्ध है, तो एक में मानक समावेशन होता है <math> L_p(\Omega) \subset L_1(\Omega)</math> जो उपरोक्त समावेशन को देखते हुए समझ में आता है <math> L_1(\Omega)\subset L_{1,loc}(\Omega)</math>. लेकिन इनमें से पहला कथन सत्य नहीं है यदि <math> \Omega </math> परिबद्ध नहीं है; तो यह अभी भी सच है <math> L_p(\Omega) \subset L_{1,loc}(\Omega)</math> किसी के लिए <math>p</math>, लेकिन ऐसा नहीं <math> L_p(\Omega)\subset L_1(\Omega) </math>. इसे देखने के लिए, आमतौर पर फ़ंक्शन पर विचार किया जाता है <math> u(x)=1 </math>, जो इसमें है <math> L_{\infty}(\mathbb{R}^n) </math> लेकिन अंदर नहीं <math> L_p(\mathbb{R}^n)</math> किसी भी परिमित के लिए <math>p</math>.
+नोट: यदि <math> \Omega </math> का खुला उपसमुच्चय है <math> \mathbb{R}^n</math> वह भी परिबद्ध है, तो में मानक समावेशन होता है <math> L_p(\Omega) \subset L_1(\Omega)</math> जो उपरोक्त समावेशन को देखते हुए समझ में आता है <math> L_1(\Omega)\subset L_{1,loc}(\Omega)</math>. लेकिन इनमें से पहला कथन सत्य नहीं है यदि <math> \Omega </math> परिबद्ध नहीं है; तो यह अभी भी सच है <math> L_p(\Omega) \subset L_{1,loc}(\Omega)</math> किसी के लिए <math>p</math>, लेकिन ऐसा नहीं <math> L_p(\Omega)\subset L_1(\Omega) </math>. इसे देखने के लिए, आमतौर पर फ़ंक्शन पर विचार किया जाता है <math> u(x)=1 </math>, जो इसमें है <math> L_{\infty}(\mathbb{R}^n) </math> लेकिन अंदर नहीं <math> L_p(\mathbb{R}^n)</math> किसी भी परिमित के लिए <math>p</math>.
 === एल<sub>1,loc</sub> बिल्कुल निरंतर माप का घनत्व का स्थान है ===
-{{EquationRef|7|Theorem 3}}. एक समारोह {{math|''f''}} पूर्ण निरंतरता का घनत्व फ़ंक्शन (माप सिद्धांत) है # उपायों की पूर्ण निरंतरता यदि और केवल यदि <math> f\in L_{1,loc}</math>.
+{{EquationRef|7|Theorem 3}}. समारोह {{math|''f''}} पूर्ण निरंतरता का घनत्व फ़ंक्शन (माप सिद्धांत) है # उपायों की पूर्ण निरंतरता यदि और केवल यदि <math> f\in L_{1,loc}</math>.
-इस परिणाम का प्रमाण रेखाचित्र द्वारा दिया गया है {{harv|Schwartz|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|Schwartz|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>
 *कार्यक्रम <math>f(x) = 1/x</math> x ∈ (0, 1) के लिए स्थानीय रूप से है लेकिन वैश्विक रूप से (0, 1) पर एकीकृत नहीं है। यह स्थानीय रूप से एकीकृत है क्योंकि किसी भी कॉम्पैक्ट सेट K ⊆ (0, 1) की 0 से सकारात्मक दूरी है और f इसलिए K पर घिरा है। यह उदाहरण प्रारंभिक दावे को रेखांकित करता है कि स्थानीय रूप से एकीकृत कार्यों को सीमा के पास विकास की स्थिति की संतुष्टि की आवश्यकता नहीं है परिबद्ध डोमेन.
@@ Line 126: / Line 122: @@
 </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|Ω}} ⊊ <math>\mathbb{R}</math> संपूर्ण के लिए एक विस्तार स्वीकार करें <math>\mathbb{R}</math> वितरण के रूप में? उत्तर नकारात्मक है, और एक प्रतिउदाहरण निम्नलिखित फ़ंक्शन द्वारा प्रदान किया गया है:
+* पिछला उदाहरण प्रश्न उठाता है: क्या प्रत्येक फ़ंक्शन जो स्थानीय रूप से एकीकृत है {{math|Ω}} ⊊ <math>\mathbb{R}</math> संपूर्ण के लिए विस्तार स्वीकार करें <math>\mathbb{R}</math> वितरण के रूप में? उत्तर नकारात्मक है, और प्रतिउदाहरण निम्नलिखित फ़ंक्शन द्वारा प्रदान किया गया है:
 :: <math>
 f(x)=
@@ Line 134: / Line 130: @@
 \end{cases}
 </math>
-: किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>.<ref>See {{Harv|Vladimirov|2002|p=21}}.</ref> * निम्नलिखित उदाहरण, पिछले उदाहरण के समान, एक फ़ंक्शन से संबंधित है {{math|''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math>\ 0) जो [[अनियमित विलक्षणता]] वाले [[विभेदक ऑपरेटर]]ों के लिए वितरण के सिद्धांत के अनुप्रयोग में एक प्राथमिक प्रति-उदाहरण के रूप में कार्य करता है:
+: किसी भी वितरण को परिभाषित नहीं करता है <math>\mathbb{R}</math>.<ref>See {{Harv|Vladimirov|2002|p=21}}.</ref> * निम्नलिखित उदाहरण, पिछले उदाहरण के समान, फ़ंक्शन से संबंधित है {{math|''L''<sub>1,loc</sub>}}(<math>\mathbb{R}</math>\ 0) जो [[अनियमित विलक्षणता]] वाले [[विभेदक ऑपरेटर]]ों के लिए वितरण के सिद्धांत के अनुप्रयोग में प्राथमिक प्रति-उदाहरण के रूप में कार्य करता है:
 :: <math>
 f(x)=
@@ Line 143: / Line 139: @@
 \end{cases}
 </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>\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 160: / Line 154: @@
 *[[एलपी स्पेस]]
-==टिप्पणियाँ==
+=='''टिप्पणियाँ'''==
 {{reflist|29em}}
+=='''संदर्भ'''==
-==संदर्भ==
 *{{Citation
 | last = Cafiero
@@ Line 375: / Line 367: @@
 | zbl = 1078.46029
 | isbn = 0-415-27356-0}}. A monograph on the theory of [[generalized function]]s written with an eye towards their applications to [[several complex variables]] and [[mathematical physics]], as is customary for the Author.
+== '''बाहरी संबंध''' ==
-== बाहरी संबंध ==
 *{{MathWorld |title=Locally integrable|author=Rowland, Todd|urlname=LocallyIntegrable}}
 *{{springer
@@ Line 387: / Line 377: @@
 {{PlanetMath attribution|id=4430|title=Locally integrable function}}
-{{Lp spaces}}
 [[Category: माप सिद्धांत]] [[Category: समाकलन गणित]] [[Category: कार्यों के प्रकार]] [[Category: एल.पी. स्थान]]

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 17:24, 16 August 2023

Contents

परिभाषा

मानक परिभाषा

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

का प्रमाण Lemma 1

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

संकेतन

गुण

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

उदाहरण

अनुप्रयोग

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 17:24, 16 August 2023

परिभाषा

मानक परिभाषा

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

का प्रमाण Lemma 1

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

संकेतन

गुण

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

उदाहरण

अनुप्रयोग

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories

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