सोबोलेव स्पेस

गणित में, एक सोबोलिव स्पेस एक मानक स्थान से सुसज्जित कार्यों का एक सदिश स्थान है जो Lp मानदंड का एक संयोजन है।''Lp- दिए गए क्रम तक इसके यौगिक  के साथ फ़ंक्शन के मानदंड। अंतरिक्ष को पूर्ण मीट्रिक स्थान बनाने के लिए डेरिवेटिव्स को एक उपयुक्त कमजोर व्युत्पन्न में समझा जाता है, यानी एक बनच स्थान सहज रूप से, एक सोबोलेव स्पेस कुछ एप्लिकेशन डोमेन के लिए पर्याप्त डेरिवेटिव वाले कार्यों का एक स्थान है, जैसे आंशिक अंतर समीकरण, और एक मानक से सुसज्जित है जो फ़ंक्शन के आकार और नियमितता दोनों को मापता है।

सोबोलेव रिक्त स्थान का नाम रूसी गणितज्ञ सर्गेई लावोविच सोबोलेव के नाम पर रखा गया है। उनका महत्व इस तथ्य से आता है कि कुछ महत्वपूर्ण आंशिक अंतर समीकरणों का कमजोर समाधान उचित सोबोलिव रिक्त स्थान में मौजूद है, भले ही शास्त्रीय अर्थों में डेरिवेटिव्स के साथ निरंतर कार्यों के रिक्त स्थान में कोई मजबूत समाधान न हो।

प्रेरणा
इस खंड में और पूरे लेख में $$\Omega$$ का खुला उपसमुच्चय है $$\R^n.$$ गणितीय कार्यों की सुगमता के लिए कई मापदंड हैं। सबसे बुनियादी मानदंड निरंतर कार्य करने का हो सकता है। चिकनाई की एक मजबूत धारणा भिन्नता की है (क्योंकि अलग-अलग कार्य भी निरंतर हैं) और चिकनीता की एक और मजबूत धारणा यह है कि व्युत्पन्न भी निरंतर हो (इन कार्यों को कक्षा के रूप में कहा जाता है) $$C^1$$ - विभेदीकरण वर्ग देखें)। अवकलनीय कार्य कई क्षेत्रों में और विशेष रूप से अवकल समीकरणों के लिए महत्वपूर्ण हैं। हालाँकि, बीसवीं शताब्दी में, यह देखा गया था कि अंतरिक्ष $$C^1$$ (या $$C^2$$, आदि) अंतर समीकरणों के समाधान का अध्ययन करने के लिए बिल्कुल सही स्थान नहीं था। सोबोलेव रिक्त स्थान इन स्थानों के लिए आधुनिक प्रतिस्थापन हैं जिसमें आंशिक अंतर समीकरणों के समाधान की तलाश की जाती है।

अंतर समीकरण के अंतर्निहित मॉडल की मात्रा या गुण आमतौर पर अभिन्न मानदंडों के संदर्भ में व्यक्त किए जाते हैं। एक विशिष्ट उदाहरण एक तापमान या वेग वितरण की ऊर्जा को माप रहा है $$L^2$$-आदर्श। इसलिए यह महत्वपूर्ण है कि Lp स्पेस फ़ंक्शंस को विभेदित करने के लिए एक टूल विकसित किया जाए।

भागों के सूत्र द्वारा एकीकरण से प्रत्येक के लिए यह प्राप्त होता है $$u\in C^k(\Omega)$$, कहाँ $$k$$ एक प्राकृतिक संख्या है, और कॉम्पैक्ट समर्थन के साथ सभी असीमित अलग-अलग कार्यों के लिए $$\varphi \in C_c^{\infty}(\Omega),$$
 * $$ \int_\Omega u\,D^{\alpha\!}\varphi\,dx=(-1)^{|\alpha|}\int_\Omega \varphi\, D^{\alpha\!} u\,dx,$$

कहाँ $$\alpha$$ आदेश का एक बहु-सूचकांक है $$|\alpha|=k$$ और हम नोटेशन का उपयोग कर रहे हैं:


 * $$D^{\alpha\!}f = \frac{\partial^{| \alpha |}\! f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}.$$

इस समीकरण का बायां हाथ अभी भी समझ में आता है अगर हम केवल मान लें $$u$$ स्थानीय रूप से एकीकृत होने के लिए। यदि कोई स्थानीय रूप से एकीकृत कार्य मौजूद है $$v$$, ऐसा है कि


 * $$ \int_\Omega u\,D^{\alpha\!}\varphi\;dx=(-1)^{|\alpha|}\int_\Omega v\,\varphi \;dx \qquad\text{for all }\varphi\in C_c^\infty(\Omega),$$

फिर हम फोन करते हैं $$v$$ कमजोर व्युत्पन्न|कमजोर $$\alpha$$-वाँ आंशिक व्युत्पन्न $$u$$. अगर कोई कमजोर है $$\alpha$$-वाँ आंशिक व्युत्पन्न $$u$$, तब इसे लगभग हर जगह विशिष्ट रूप से परिभाषित किया जाता है, और इस प्रकार यह विशिष्ट रूप से Lp स्थान के एक तत्व के रूप में निर्धारित होता है। वहीं दूसरी ओर अगर $$u\in C^k(\Omega)$$, तब शास्त्रीय और कमजोर व्युत्पन्न मेल खाते हैं। इस प्रकार, यदि $$v$$ एक कमजोर है $$\alpha$$-वाँ आंशिक व्युत्पन्न $$u$$, हम इसे द्वारा निरूपित कर सकते हैं $$D^\alpha u := v$$.

उदाहरण के लिए, समारोह


 * $$u(x)=\begin{cases}

1+x & -1<x<0 \\ 10 & x=0\\ 1-x & 0<x<1\\ 0 & \text{else} \end{cases}$$ शून्य पर निरंतर नहीं है, और -1, 0, या 1 पर अवकलनीय नहीं है। फिर भी कार्य


 * $$v(x)=\begin{cases}

1 & -1<x<0 \\ -1 & 0<x<1\\ 0 & \text{else} \end{cases}$$ के कमजोर व्युत्पन्न होने की परिभाषा को संतुष्ट करता है $$u(x),$$ जो तब सोबोलिव अंतरिक्ष में होने के योग्य है $$W^{1,p}$$ (किसी भी अनुमति के लिए $$p$$, नीचे परिभाषा देखें)।

सोबोलेव रिक्त स्थान $$W^{k,p}(\Omega)$$ कमजोर भिन्नता और एलपी मानदंड की अवधारणाओं को मिलाएं।

पूर्णांक k
के साथ सोबोलेव रिक्त स्थान

एक आयामी मामला
एक आयामी मामले में सोबोलेव स्पेस $$W^{k,p}(\R)$$ के लिए $$1 \le p \le \infty$$ कार्यों के सबसेट के रूप में परिभाषित किया गया है $$f$$ एलपी स्पेस में|$$L^p(\R)$$ऐसा है कि $$f$$ और इसके कमजोर डेरिवेटिव ऑर्डर तक $$k$$ एक परिमित एलपी मानदंड है |$L^{p}$ मानदंड। जैसा कि ऊपर उल्लेख किया गया है, उचित अर्थों में डेरिवेटिव को परिभाषित करने के लिए कुछ सावधानी बरतनी चाहिए। एक आयामी समस्या में यह मान लेना पर्याप्त है कि $$(k{-}1)$$-वें व्युत्पन्न $$f^{(k-1)}$$ लगभग हर जगह अलग-अलग है और इसके व्युत्पन्न के लेबेस्ग्यू एकीकरण के लिए लगभग हर जगह बराबर है (इसमें अप्रासंगिक उदाहरण शामिल नहीं हैं जैसे कि कैंटर फ़ंक्शन | कैंटर का फ़ंक्शन)।

इस परिभाषा के साथ, सोबोलेव रिक्त स्थान एक प्राकृतिक नॉर्म्ड सदिश स्थान स्वीकार करते हैं,


 * $$\|f\|_{k,p} = \left (\sum_{i=0}^k \left \|f^{(i)} \right \|_p^p \right)^{\frac{1}{p}} = \left (\sum_{i=0}^k \int \left |f^{(i)}(t) \right |^p\,dt \right )^{\frac{1}{p}}.$$

कोई इसे मामले तक बढ़ा सकता है $$ p = \infty $$, मानक के साथ तब आवश्यक सुप्रीमम और आवश्यक न्यूनतम का उपयोग करके परिभाषित किया गया


 * $$\|f\|_{k,\infty} = \max_{i=0,\ldots,k} \left \|f^{(i)} \right \|_\infty = \max_{i=0,\ldots,k} \left(\text{ess}\, \sup_t \left |f^{(i)}(t) \right |\right).$$

आदर्श से लैस $$\|\cdot\|_{k,p}, W^{k,p}$$ बनच स्थान बन जाता है। यह पता चला है कि यह अनुक्रम में केवल पहले और अंतिम को लेने के लिए पर्याप्त है, अर्थात, द्वारा परिभाषित मानदंड


 * $$\left \|f^{(k)} \right \|_p + \|f\|_p$$

उपरोक्त मानदंड के समतुल्य है (यानी नॉर्मड वेक्टर स्पेस#मानदंडों की टोपोलॉजिकल संरचना समान हैं)।

मामला $p = 2$
सोबोलेव रिक्त स्थान के साथ $p = 2$ विशेष रूप से फूरियर श्रृंखला के साथ उनके संबंध के कारण महत्वपूर्ण हैं और क्योंकि वे एक हिल्बर्ट अंतरिक्ष बनाते हैं। इस मामले को कवर करने के लिए एक विशेष संकेतन उत्पन्न हुआ है, क्योंकि अंतरिक्ष एक हिल्बर्ट स्थान है:


 * $$H^k = W^{k,2}.$$

अंतरिक्ष $$H^k$$ फूरियर श्रृंखला के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है जिसका गुणांक पर्याप्त तेजी से घटता है, अर्थात्,


 * $$H^k(\mathbb{T}) = \Big \{ f\in L^2(\mathbb{T}) : \sum_{n=-\infty}^\infty \left (1+n^2 + n^4 + \dots + n^{2k} \right ) \left |\widehat{f}(n) \right |^2 < \infty \Big \},$$

कहाँ $$\widehat{f}$$ की फूरियर श्रृंखला है $$f,$$ और $$\mathbb{T}$$ 1-टोरस को दर्शाता है। ऊपर के रूप में, कोई समकक्ष मानदंड का उपयोग कर सकता है


 * $$\|f\|^2_{k,2}=\sum_{n=-\infty}^\infty \left (1 + |n|^{2} \right )^k \left |\widehat{f}(n) \right |^2.$$

दोनों प्रतिनिधित्व पारसेवल के प्रमेय से आसानी से अनुसरण करते हैं और तथ्य यह है कि भेदभाव फूरियर गुणांक को गुणा करने के बराबर है $$in$$.

इसके अलावा, अंतरिक्ष $$H^k$$ अंतरिक्ष की तरह एक आंतरिक उत्पाद स्थान को स्वीकार करता है $$H^0 = L^2.$$ वास्तव में, $$H^k$$ आंतरिक उत्पाद के संदर्भ में परिभाषित किया गया है $$L^2$$ अंदरूनी प्रोडक्ट:


 * $$\langle u,v\rangle_{H^k} = \sum_{i=0}^k \left \langle D^i u,D^i v \right \rangle_{L^2}.$$

अंतरिक्ष $$H^k$$ इस आंतरिक उत्पाद के साथ हिल्बर्ट स्पेस बन जाता है।

अन्य उदाहरण
एक आयाम में, कुछ अन्य सोबोलिव रिक्त स्थान एक सरल वर्णन की अनुमति देते हैं। उदाहरण के लिए, $$W^{1,1}(0,1)$$ पर पूर्ण निरंतरता का स्थान है $(0, 1)$ (या बल्कि, कार्यों के समतुल्य वर्ग जो लगभग हर जगह समान हैं), जबकि $$W^{1,\infty}(I)$$ परिबद्ध लिप्सचिट्ज़ निरंतरता का स्थान है $I$, हर अंतराल के लिए $I$. हालाँकि, ये गुण खो गए हैं या एक से अधिक चर के कार्यों के लिए उतने सरल नहीं हैं।

सभी रिक्त स्थान $$W^{k,\infty}$$ एक क्षेत्र पर बीजगणित (सामान्य) हैं, यानी दो तत्वों का उत्पाद एक बार फिर इस सोबोलिव अंतरिक्ष का एक कार्य है, जो कि मामला नहीं है $$p<\infty.$$ (उदाहरण के लिए, |x| जैसा व्यवहार करने वाले कार्य−1/3 मूल में हैं $$L^2,$$ लेकिन ऐसे दो कार्यों का उत्पाद अंदर नहीं है $$L^2$$).

बहुआयामी मामला
बहुत से आयामों में परिवर्तन परिभाषा से शुरू करके अधिक कठिनाइयाँ लाता है। आवश्यकता है कि $$f^{(k-1)}$$ का अभिन्न अंग हो $$f^{(k)}$$ सामान्यीकरण नहीं करता है, और सबसे सरल समाधान वितरण (गणित) के अर्थ में डेरिवेटिव पर विचार करना है।

एक औपचारिक परिभाषा अब इस प्रकार है। होने देना $$k \in \N, 1 \leqslant p \leqslant \infty.$$ सोबोलेव अंतरिक्ष $$W^{k,p}(\Omega)$$ सभी कार्यों के सेट के रूप में परिभाषित किया गया है $$f$$ पर $$\Omega$$ ऐसा है कि प्रत्येक बहु-सूचकांक के लिए $$\alpha$$ साथ $$|\alpha|\leqslant k,$$ मिश्रित आंशिक व्युत्पन्न


 * $$f^{(\alpha)} = \frac{\partial^{| \alpha |\!} f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}$$

कमजोर व्युत्पन्न अर्थ में मौजूद है और अंदर है $$L^p(\Omega),$$ अर्थात।


 * $$\left \|f^{(\alpha)} \right \|_{L^{p}} < \infty.$$

यानी सोबोलेव स्पेस $$W^{k,p}(\Omega)$$ परिभाषित किया जाता है


 * $$W^{k,p}(\Omega) = \left \{ u \in L^p(\Omega) : D^{\alpha}u \in L^p(\Omega) \,\, \forall |\alpha| \leqslant k \right \}. $$

प्राकृतिक संख्या $$k$$ सोबोलेव अंतरिक्ष का क्रम कहा जाता है $$W^{k,p}(\Omega).$$ के लिए एक मानक के लिए कई विकल्प हैं $$W^{k,p}(\Omega).$$ निम्नलिखित दो आम हैं और सामान्य (गणित) # गुण के अर्थ में समकक्ष हैं:


 * $$\| u \|_{W^{k, p}(\Omega)} := \begin{cases}

\left( \sum_{|\alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^p(\Omega)}^p \right)^{\frac{1}{p}} & 1 \leqslant p < \infty; \\ \max_{| \alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^{\infty}(\Omega)} & p = \infty; \end{cases}$$ और


 * $$\| u \|'_{W^{k, p}(\Omega)} := \begin{cases}

\sum_{| \alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^{p}(\Omega)} & 1 \leqslant p < \infty; \\ \sum_{| \alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^{\infty}(\Omega)} & p = \infty. \end{cases}$$ इनमें से किसी भी मानदंड के संबंध में, $$W^{k,p}(\Omega)$$ एक बनच स्थान है। के लिए $$p<\infty, W^{k,p}(\Omega)$$ एक वियोज्य स्थान भी है। निरूपित करना परम्परागत है $$W^{k,2}(\Omega)$$ द्वारा $$H^k(\Omega)$$ इसके लिए आदर्श के साथ एक हिल्बर्ट स्थान है $$\| \cdot \|_{W^{k, 2}(\Omega)}$$.

चिकनी कार्यों द्वारा सन्निकटन
केवल उनकी परिभाषा के आधार पर सोबोलेव रिक्त स्थान के साथ काम करना कठिन है। इसलिए यह जानना दिलचस्प है कि मेयर्स-सेरिन प्रमेय द्वारा एक कार्य $$u \in W^{k,p}(\Omega)$$ सुचारू कार्यों द्वारा अनुमानित किया जा सकता है। यह तथ्य अक्सर हमें सुचारू कार्यों के गुणों को सोबोलेव कार्यों में अनुवाद करने की अनुमति देता है। अगर $$p$$ परिमित है और $$\Omega$$ खुला है, तो किसी के लिए मौजूद है $$u \in W^{k,p}(\Omega)$$ कार्यों का अनुमानित क्रम $$u_m \in C^{\infty}(\Omega)$$ ऐसा है कि:


 * $$ \left \| u_m - u \right \|_{W^{k,p}(\Omega)} \to 0.$$

अगर $$\Omega$$ Lipschitz सीमा है, हम यह भी मान सकते हैं कि $$u_m$$ सभी पर कॉम्पैक्ट समर्थन के साथ सुचारू कार्यों का प्रतिबंध है $$\R^n.$$

उदाहरण
उच्च आयामों में, यह अब सच नहीं है कि, उदाहरण के लिए, $$W^{1,1}$$ केवल निरंतर कार्य शामिल हैं। उदाहरण के लिए, $$|x|^{-1} \in W^{1,1}(\mathbb{B}^3)$$ कहाँ $$\mathbb{B}^3$$ यूनिट बॉल तीन आयामों में है। के लिए $$k > n/p$$, अंतरिक्ष $$W^{k,p}(\Omega)$$ केवल निरंतर कार्य शामिल होंगे, लेकिन किसके लिए $$k$$ यह पहले से ही सच है दोनों पर निर्भर करता है $$p$$ और आयाम पर। उदाहरण के लिए, जैसा कि फ़ंक्शन के गोलाकार ध्रुवीय निर्देशांक का उपयोग करके आसानी से जांचा जा सकता है $$f : \mathbb{B}^n \to \R \cup \{\infty \}$$ हमारे पास एन-डायमेंशनल बॉल पर परिभाषित है:


 * $$f(x) = | x |^{-\alpha} \in W^{k,p}(\mathbb{B}^n) \Longleftrightarrow \alpha < \tfrac{n}{p} - k.$$

सहज रूप से, 0 पर f का ब्लो-अप कम मायने रखता है जब n बड़ा होता है क्योंकि यूनिट बॉल में उच्च आयामों में बाहर और कम अंदर होता है।

सोबोलेव प्रकार्यों का निरन्तर ऑन लाइन्स (एसीएल) अभिलक्षणन
होने देना $$1\leqslant p \leqslant \infty.$$ अगर कोई फंक्शन है $$W^{1,p}(\Omega),$$ फिर, संभवतः माप शून्य के एक सेट पर फ़ंक्शन को संशोधित करने के बाद, समन्वय दिशाओं के समानांतर लगभग हर पंक्ति पर प्रतिबंध $$\R^n$$ बिल्कुल निरंतर है; क्या अधिक है, शास्त्रीय व्युत्पन्न उन रेखाओं के साथ है जो समन्वय दिशाओं के समानांतर हैं $$L^p(\Omega).$$ इसके विपरीत, यदि का प्रतिबंध $$f$$ निर्देशांक दिशाओं के समानांतर लगभग हर रेखा बिल्कुल निरंतर है, फिर बिंदुवार ढाल $$\nabla f$$ लगभग हर जगह मौजूद है, और $$f$$ में है $$W^{1,p}(\Omega)$$ बशर्ते $$f, |\nabla f| \in L^p(\Omega).$$ विशेष रूप से, इस मामले में कमजोर आंशिक डेरिवेटिव $$f$$ और बिंदुवार आंशिक डेरिवेटिव $$f$$ लगभग हर जगह सहमत हैं। सोबोलेव रिक्त स्थान का एसीएल लक्षण वर्णन ओटो एम निकोडिम (#CITEREFNikodym1933) द्वारा स्थापित किया गया था; देखना.

एक मजबूत परिणाम तब होता है जब $$p>n.$$ में एक समारोह $$W^{1,p}(\Omega)$$ है, माप शून्य के एक सेट पर संशोधित करने के बाद, होल्डर लगातार एक्सपोनेंट $$\gamma = 1 - \tfrac{n}{p},$$ सोबोलेव असमानता द्वारा#मोरे की असमानता|मोरे की असमानता। विशेष रूप से, अगर $$p=\infty$$ और $$\Omega$$ Lipschitz सीमा है, तो कार्य Lipschitz निरंतर है।

सीमा पर गायब होने वाले कार्य
सोबोलेव अंतरिक्ष $$W^{1,2}(\Omega)$$ द्वारा भी दर्शाया गया है $$H^1\!(\Omega).$$ यह एक हिल्बर्ट स्पेस है, जिसमें एक महत्वपूर्ण सबस्पेस है $$H^1_0\!(\Omega)$$ असीमित रूप से समर्थित असीमित कार्यों को बंद करने के रूप में परिभाषित किया गया है $$\Omega$$ में $$H^1\!(\Omega).$$ ऊपर परिभाषित सोबोलेव मानदंड यहाँ तक कम हो जाता है


 * $$\|f\|_{H^1} = \left ( \int_\Omega \! |f|^2 \!+\! |\nabla\! f|^2 \right)^{\!\frac12}.$$

कब $$\Omega$$ एक नियमित सीमा है, $$H^1_0\!(\Omega)$$ में कार्यों के स्थान के रूप में वर्णित किया जा सकता है $$H^1\!(\Omega)$$ जो निशान के अर्थ में सीमा पर गायब हो जाता है (सोबोलेव स्पेस#एक्सटेंशन बाई जीरो)। कब $$n=1,$$ अगर $$\Omega = (a,b)$$ एक परिबद्ध अंतराल है, तब $$H^1_0(a,b)$$ पर निरंतर कार्य होते हैं $$[a,b]$$ फार्म का


 * $$f(x) = \int_a^x f'(t) \, \mathrm{d}t, \qquad x \in [a, b]$$

जहां सामान्यीकृत व्युत्पन्न $$f'$$ में है $$L^2(a,b)$$ और 0 अभिन्न है, ताकि $$f(b) = f(a) = 0.$$ कब $$\Omega$$ घिरा हुआ है, पॉइनकेयर असमानता बताती है कि एक स्थिरांक है $$C= C(\Omega)$$ ऐसा है कि:


 * $$\int_\Omega | f|^2 \leqslant C^2 \int_\Omega |\nabla f|^2, \qquad f \in H^1_0(\Omega).$$

कब $$\Omega$$ बँधा हुआ है, से इंजेक्शन $$H^1_0\!(\Omega)$$ को $$L^2\!(\Omega),$$ कॉम्पैक्ट ऑपरेटर है। यह तथ्य डिरिचलेट समस्या के अध्ययन में एक भूमिका निभाता है, और इस तथ्य में कि इसका एक अलौकिक आधार मौजूद है $$L^2(\Omega)$$ लाप्लास ऑपरेटर के ईजेनवेक्टरों से मिलकर (डिरिचलेट सीमा स्थिति के साथ)।

निशान
आंशिक अंतर समीकरणों की जांच करते समय सोबोलिव रिक्त स्थान अक्सर माना जाता है। सोबोलिव कार्यों के सीमा मूल्यों पर विचार करना आवश्यक है। अगर $$u\in C(\Omega)$$, उन सीमा मानों को प्रतिबंध द्वारा वर्णित किया गया है $$u|_{\partial\Omega}.$$ हालांकि, यह स्पष्ट नहीं है कि सीमा पर मूल्यों का वर्णन कैसे किया जाए $$u\in W^{k,p}(\Omega),$$ क्योंकि सीमा का n-आयामी माप शून्य है। निम्नलिखित प्रमेय समस्या का समाधान करता है: $$

तू को तू का अंश कहा जाता है। मोटे तौर पर बोलते हुए, यह प्रमेय प्रतिबंध ऑपरेटर को सोबोलिव अंतरिक्ष तक फैलाता है $$W^{1,p}(\Omega)$$ अच्छे व्यवहार के लिए Ω. ध्यान दें कि ट्रेस ऑपरेटर टी सामान्य रूप से विशेषण नहीं है, लेकिन 1 <p <∞ के लिए यह सोबोलेव-स्लोबोडेकिज स्पेस पर लगातार मैप करता है $$W^{1-\frac{1}{p},p}(\partial\Omega).$$ सहज रूप से, ट्रेस लेने से डेरिवेटिव का 1/p खर्च होता है। डब्ल्यू में यू कार्य करता है1,p(Ω) शून्य ट्रेस के साथ, यानी Tu = 0, समानता द्वारा विशेषता हो सकती है


 * $$ W_0^{1,p}(\Omega)= \left \{u\in W^{1,p}(\Omega): Tu=0 \right \},$$

कहाँ


 * $$ W_0^{1,p}(\Omega):= \left \{u\in W^{1,p}(\Omega): \exists \{u_m\}_{m=1}^\infty\subset C_c^\infty(\Omega), \ \text{such that} \ u_m\to u \ \textrm{in} \ W^{1,p}(\Omega) \right \}.$$

दूसरे शब्दों में, Ω के लिए लिप्सचिट्ज़ सीमा के साथ घिरा हुआ है, ट्रेस-शून्य कार्य करता है $$W^{1,p}(\Omega)$$ कॉम्पैक्ट समर्थन के साथ चिकनी कार्यों द्वारा अनुमान लगाया जा सकता है।

गैर-पूर्णांक k
के साथ सोबोलेव रिक्त स्थान

बेसेल संभावित स्थान
एक प्राकृतिक संख्या k और के लिए $1 < p < ∞$ कोई दिखा सकता है (गुणक (फूरियर विश्लेषण) का उपयोग करके ) कि अंतरिक्ष $$W^{k,p}(\R^n)$$ के रूप में समान रूप से परिभाषित किया जा सकता है


 * $$ W^{k,p}(\R^n) = H^{k,p}(\R^n) := \Big \{f \in L^p(\R^n) : \mathcal{F}^{-1} \Big[\big(1 + |\xi|^2\big)^{\frac{k}{2}}\mathcal{F}f \Big] \in L^p(\R^n) \Big \},$$

आदर्श के साथ


 * $$\|f\|_{H^{k,p}(\R^n)} := \left\| \mathcal{F}^{-1} \Big[ \big(1 + |\xi|^2\big)^{\frac{k}{2}} \mathcal{F}f \Big] \right\|_{L^p(\R^n)}.$$

यह सोबोलिव रिक्त स्थान को गैर-पूर्णांक क्रम से प्रेरित करता है क्योंकि उपरोक्त परिभाषा में हम k को किसी भी वास्तविक संख्या s से बदल सकते हैं। परिणामी रिक्त स्थान


 * $$H^{s,p}(\R^n) := \left \{f \in \mathcal S'(\R^n) : \mathcal{F}^{-1} \left [\big(1 + |\xi|^2 \big)^{\frac{s}{2}}\mathcal{F}f \right ] \in L^p(\R^n) \right \} $$

बेसेल संभावित स्थान कहलाते हैं (फ्रेडरिक बेसेल के नाम पर)। वे सामान्य रूप से बनच स्थान हैं और विशेष मामले में हिल्बर्ट स्थान p = 2 हैं।

के लिए $$ s \geq 0, H^{s,p}(\Omega)$$ कार्यों के प्रतिबंधों का सेट है $$H^{s,p}(\R^n)$$ Ω मानक से लैस करने के लिए


 * $$\|f\|_{H^{s,p}(\Omega)} := \inf \left \{\|g\|_{H^{s,p}(\R^n)} : g \in H^{s,p}(\R^n), g|_{\Omega} = f \right \} .$$

फिर से, एचs,p(Ω) एक बनच स्थान है और स्थिति में p = 2 एक हिल्बर्ट स्थान है।

सोबोलिव रिक्त स्थान के लिए विस्तार प्रमेय का उपयोग करके, यह दिखाया जा सकता है कि डब्ल्यू भीके,पी(Ω) = एच k,p(Ω) समतुल्य मानदंडों के अर्थ में रखता है, यदि Ω वर्दी सी के साथ डोमेन हैk-सीमा, k एक प्राकृतिक संख्या और $1 < p < ∞$. एम्बेडिंग द्वारा


 * $$ H^{k+1,p}(\R^n) \hookrightarrow H^{s',p}(\R^n) \hookrightarrow H^{s,p}(\R^n) \hookrightarrow H^{k,p}(\R^n), \quad k \leqslant s \leqslant s' \leqslant k+1 $$

बेसेल संभावित रिक्त स्थान $$H^{s,p}(\R^n)$$ सोबोलेव रिक्त स्थान के बीच एक सतत पैमाने का निर्माण करें $$W^{k,p}(\R^n).$$ एक अमूर्त दृष्टिकोण से, बेसेल संभावित रिक्त स्थान सोबोलेव रिक्त स्थान के जटिल इंटरपोलेशन स्पेस स्थान के रूप में होते हैं, यानी समकक्ष मानदंडों के अर्थ में यह मानता है कि
 * $$ \left [ W^{k,p}(\R^n), W^{k+1,p}(\R^n) \right ]_\theta = H^{s,p}(\R^n),$$

कहाँ:
 * $$1 \leqslant p \leqslant \infty, \ 0 < \theta < 1, \ s= (1-\theta)k + \theta (k+1)= k+\theta. $$

सोबोलेव-स्लोबोडेकिज स्पेस
आंशिक क्रम को परिभाषित करने के लिए एक अन्य दृष्टिकोण सोबोलिव रिक्त स्थान धारक की स्थिति को एल को सामान्य बनाने के विचार से उत्पन्न होता हैपी-सेटिंग। के लिए $$1 \leqslant p < \infty, \theta \in (0, 1)$$ और $$f \in L^p(\Omega),$$ स्लोबोडेकिज सेमिनॉर्म (मोटे तौर पर होल्डर सेमिनॉर्म के अनुरूप) द्वारा परिभाषित किया गया है


 * $$[f]_{\theta, p, \Omega} :=\left(\int_{\Omega} \int_{\Omega} \frac{|f(x)-f(y)|^p}{|x-y|^{\theta p + n}} \; dx \; dy \right )^{\frac{1}{p}}.$$

होने देना $s > 0$ पूर्णांक न हो और सेट हो $$\theta = s - \lfloor s \rfloor \in (0,1)$$. होल्डर स्पेस#H.C3.B6lder स्पेस|होल्डर स्पेस, सोबोलेव-स्लोबोडेकिज स्पेस के समान विचार का उपयोग करना $$W^{s,p}(\Omega)$$ परिभाषित किया जाता है
 * $$W^{s,p}(\Omega) := \left\{f \in W^{\lfloor s \rfloor, p}(\Omega) : \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega} < \infty \right\}.$$

यह मानक के लिए एक बनच स्थान है
 * $$\|f \| _{W^{s, p}(\Omega)} := \|f\|_{W^{\lfloor s \rfloor,p}(\Omega)} + \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega}.$$

अगर $$\Omega$$ उपयुक्त रूप से इस अर्थ में नियमित है कि कुछ विस्तार ऑपरेटर मौजूद हैं, फिर भी सोबोलेव-स्लोबोडेकिज रिक्त स्थान बनच रिक्त स्थान का एक पैमाना बनाते हैं, अर्थात किसी के पास निरंतर इंजेक्शन या एम्बेडिंग है


 * $$ W^{k+1,p}(\Omega) \hookrightarrow W^{s',p}(\Omega) \hookrightarrow W^{s,p}(\Omega) \hookrightarrow W^{k, p}(\Omega), \quad k \leqslant s \leqslant s' \leqslant k+1.$$

अनियमित Ω के ऐसे उदाहरण हैं कि $$W^{1,p}(\Omega)$$ की सदिश उपसमष्टि भी नहीं है $$W^{s,p}(\Omega)$$ 0 <s <1 के लिए (उदाहरण 9.1 देखें )

अमूर्त दृष्टिकोण से, रिक्त स्थान $$W^{s,p}(\Omega)$$ सोबोलिव रिक्त स्थान के वास्तविक इंटरपोलेशन रिक्त स्थान के साथ मेल खाता है, यानी समकक्ष मानदंडों के अर्थ में निम्नलिखित धारण करता है:


 * $$ W^{s,p}(\Omega) = \left (W^{k,p}(\Omega), W^{k+1,p}(\Omega) \right)_{\theta, p}, \quad k \in \N, s \in (k, k+1), \theta = s - \lfloor s \rfloor .$$

सोबोलिव-स्लोबोडेकिज रिक्त स्थान सोबोलिव कार्यों के निशान के अध्ययन में एक महत्वपूर्ण भूमिका निभाते हैं। वे बेसोव रिक्त स्थान के विशेष मामले हैं।

एक्सटेंशन ऑपरेटर
अगर $$\Omega$$ एक डोमेन (गणितीय विश्लेषण) है जिसकी सीमा बहुत खराब तरीके से व्यवहार नहीं की जाती है (उदाहरण के लिए, यदि इसकी सीमा कई गुना है, या अधिक अनुमोदित शंकु की स्थिति को संतुष्ट करती है) तो वहां एक ऑपरेटर ए मैपिंग फ़ंक्शंस है $$\Omega$$ के कार्यों के लिए $$\R^n$$ ऐसा है कि:


 * 1) एयू (एक्स) = यू (एक्स) लगभग हर एक्स के लिए $$\Omega$$ और
 * 2) $$A : W^{k,p}(\Omega) \to W^{k,p}(\R^n)$$ किसी भी 1 ≤ p ≤ ∞ और पूर्णांक k के लिए सतत है।

हम ऐसे ऑपरेटर A को एक्सटेंशन ऑपरेटर कहेंगे $$\Omega.$$

पी = 2
का मामला

एक्सटेंशन ऑपरेटर परिभाषित करने का सबसे स्वाभाविक तरीका है $$H^s(\Omega)$$ गैर-पूर्णांक s के लिए (हम सीधे काम नहीं कर सकते $$\Omega$$ चूंकि फूरियर ट्रांसफॉर्म लेना एक वैश्विक ऑपरेशन है)। हम परिभाषित करते हैं $$H^s(\Omega)$$ ऐसा कहकर $$ u \in H^s(\Omega)$$ अगर और केवल अगर $$Au \in H^s(\R^n).$$ समतुल्य रूप से, जटिल इंटरपोलेशन समान परिणाम देता है $$H^s(\Omega)$$ रिक्त स्थान जब तक $$\Omega$$ एक एक्सटेंशन ऑपरेटर है। अगर $$\Omega$$ कोई एक्सटेंशन ऑपरेटर नहीं है, जटिल इंटरपोलेशन प्राप्त करने का एकमात्र तरीका है $$H^s(\Omega)$$ रिक्त स्थान।

नतीजतन, प्रक्षेप असमानता अभी भी कायम है।

शून्य से विस्तार
जैसे #Functions सीमा पर गायब हो जाते हैं, हम परिभाषित करते हैं $$H^s_0(\Omega)$$ में बंद होना $$H^s(\Omega)$$ अंतरिक्ष का $$C^\infty_c(\Omega)$$ असीम रूप से अलग-अलग कॉम्पैक्ट रूप से समर्थित कार्यों की। ऊपर दिए गए ट्रेस की परिभाषा को देखते हुए, हम निम्नलिखित बता सकते हैं

अगर $$u\in H^s_0(\Omega)$$ हम इसके विस्तार को शून्य से परिभाषित कर सकते हैं $$\tilde u \in L^2(\R^n)$$ प्राकृतिक तरीके से, अर्थात्


 * $$\tilde u(x)= \begin{cases} u(x) & x \in \Omega \\ 0 & \text{else} \end{cases}$$

$$

के लिए $f ∈ L^{p}(Ω)$ इसका विस्तार शून्य से,


 * $$Ef := \begin{cases} f & \textrm{on} \ \Omega, \\ 0 & \textrm{otherwise} \end{cases}$$

का एक तत्व है $$L^p(\R^n).$$ आगे,


 * $$ \| Ef \|_{L^p(\R^n)}= \| f \|_{L^p(\Omega)}.$$

सोबोलेव स्पेस के मामले में डब्ल्यू1, पी(Ω) के लिए $1 ≤ p ≤ ∞$, एक फ़ंक्शन यू को शून्य से विस्तारित करने से आवश्यक रूप से एक तत्व नहीं मिलेगा $$W^{1,p}(\R^n).$$ लेकिन अगर Ω लिपशिट्ज सीमा से घिरा है (उदाहरण के लिए ∂Ω सी है1), तो किसी भी बंधे हुए खुले सेट O के लिए जैसे कि Ω⊂⊂O (यानी Ω कॉम्पैक्ट रूप से O में समाहित है), एक परिबद्ध रैखिक ऑपरेटर मौजूद है


 * $$ E: W^{1,p}(\Omega)\to W^{1,p}(\R^n),$$

ऐसा कि प्रत्येक के लिए $$u\in W^{1,p}(\Omega): Eu = u$$ ए.ई. Ω पर, Eu के पास O के भीतर कॉम्पैक्ट समर्थन है, और केवल p, Ω, O और आयाम n के आधार पर एक निरंतर C मौजूद है, जैसे कि


 * $$\| Eu \|_{W^{1,p}(\R^n)}\leqslant C \|u\|_{W^{1,p}(\Omega)}.$$

हम बुलाते है $$Eu$$ का विस्तार $$u$$ को $$\R^n.$$

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

लिखना $$W^{k,p}$$ डायमेंशन n के कुछ कॉम्पैक्ट रीमैनियन मैनिफोल्ड के सोबोलेव स्पेस के लिए। यहाँ k कोई भी वास्तविक संख्या हो सकती है, और 1 ≤ p ≤ ∞। (पी = ∞ सोबोलेव स्पेस के लिए $$W^{k,\infty}$$ होल्डर स्पेस सी के रूप में परिभाषित किया गया हैn,α जहां k = n + α और 0 < α ≤ 1.) सोबोलेव एम्बेडिंग प्रमेय कहता है कि अगर $$k \geqslant m$$ और $$k - \tfrac{n}{p} \geqslant m - \tfrac{n}{q}$$ तब


 * $$W^{k,p}\subseteq W^{m,q}$$

और एम्बेडिंग निरंतर है। इसके अलावा, अगर $$k > m$$ और $$k - \tfrac{n}{p} > m - \tfrac{n}{q}$$ तो एम्बेडिंग पूरी तरह से निरंतर है (इसे कभी-कभी कोंद्राचोव का प्रमेय या रेलिच-कोंड्राचोव प्रमेय कहा जाता है)। में कार्य करता है $$W^{m,\infty}$$ एम निरंतर से कम क्रम के सभी डेरिवेटिव हैं, इसलिए विशेष रूप से यह विभिन्न डेरिवेटिव के निरंतर होने के लिए सोबोलेव रिक्त स्थान पर स्थितियां देता है। अनौपचारिक रूप से ये एम्बेडिंग कहते हैं कि एल को परिवर्तित करने के लिएp परिबद्धता अनुमान के लिए अनुमान प्रति आयाम 1/p डेरिवेटिव खर्च करता है।

गैर-कॉम्पैक्ट मैनिफोल्ड्स के लिए एम्बेडिंग प्रमेय के समान रूपांतर हैं जैसे $$\R^n$$. सोबोलेव एम्बेडिंग चालू है $$\R^n$$ जो कॉम्पैक्ट नहीं होते हैं, उनमें अक्सर Cocompact एम्बेडिंग का एक संबंधित, लेकिन कमजोर गुण होता है।

यह भी देखें

 * सोबोलेव मैपिंग

संदर्भ

 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.
 * translation of Mat. Sb., 4 (1938)  pp. 471–497.

बाहरी संबंध

 * Eleonora Di Nezza, Giampiero Palatucci, Enrico Valdinoci (2011). "Hitchhiker's guide to the fractional Sobolev spaces".