सोबोलेव स्पेस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(25 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Vector space of functions in mathematics}}
गणित में एक '''सोबोलिव स्पेस''' एक वेक्टर स्पेस से प्रतिबंधित फलनों का सदिश स्थान है। यह किसी दिए गए क्रम तक इसके डेरिवेटिव के साथ फलनों के Lp-मापदंडों का संयोजन है। स्पेस को [[पूर्ण मीट्रिक स्थान]] बनाने के लिए डेरिवेटिव्स को एक उपयुक्त [[कमजोर व्युत्पन्न|अशक्त व्युत्पन्न]] माना जाता है, अर्थात् एक [[बनच स्थान|बनैच स्थान]] सहज रूप से एक '''सोबोलेव स्पेस''' कुछ एप्लिकेशन डोमेन के लिए पर्याप्त डेरिवेटिव वाले फलनों का एक स्थान है। जैसे आंशिक अंतर समीकरण और एक मानक से पूर्णतयः प्रतिबंधित है। जो फलन के आकार और नियमितता दोनों को मापता है।
गणित में, एक सोबोलिव स्पेस एक वेक्टर स्पेस से लैस फलनों का एक सदिश स्थान है। यह किसी दिए गए क्रम तक इसके डेरिवेटिव के साथ फलनों के एलपी-मानदंडों का संयोजन है। अंतरिक्ष को [[पूर्ण मीट्रिक स्थान]] बनाने के लिए डेरिवेटिव्स को एक उपयुक्त [[कमजोर व्युत्पन्न|अशक्त व्युत्पन्न]] माना जाता है, अर्थात् एक [[बनच स्थान|बनैच स्थान]] सहज रूप से एक सोबोलेव स्पेस कुछ एप्लिकेशन डोमेन के लिए पर्याप्त डेरिवेटिव वाले फलनों का एक स्थान है। जैसे आंशिक अंतर समीकरण और एक मानक से लैस है। जो फलन के आकार और नियमितता दोनों को मापता है।


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


== प्रेरणा ==
== मोटीवेशन ==


इस खंड में और <math>\Omega</math> पूरे लेख में <math>\R^n.</math> का [[खुला उपसमुच्चय]] है।  
इस खंड में और पूरे लेख में, <math>\R^n.</math> का [[खुला उपसमुच्चय]] <math>\Omega</math> है।  


[[गणितीय कार्य|गणितीय कार्यों]] की सरलता के लिए कई मापदंड उपस्थित हैं। सबसे मानदंड निरंतर कार्य करने का हो सकता है। चिकनाई की एक मजबूत धारणा भिन्नता की है (क्योंकि अलग-अलग कार्य भी निरंतर हैं) और चिकनीता की एक और मजबूत धारणा यह है कि व्युत्पन्न भी निरंतर हो (इन कार्यों को कक्षा के रूप में कहा जाता है) <math>C^1</math> - [[विभेदीकरण वर्ग]] देखें)। अवकलनीय कार्य कई क्षेत्रों में और विशेष रूप से अवकल समीकरणों के लिए महत्वपूर्ण हैं। हालाँकि, बीसवीं शताब्दी में, यह देखा गया था कि अंतरिक्ष <math>C^1</math> (या <math>C^2</math>, आदि) अंतर समीकरणों के समाधान का अध्ययन करने के लिए बिल्कुल सही स्थान नहीं था। सोबोलेव रिक्त स्थान इन स्थानों के लिए आधुनिक प्रतिस्थापन हैं जिसमें आंशिक अंतर समीकरणों के समाधान की तलाश की जाती है।
[[गणितीय कार्य|गणितीय फलनों]] की सरलता के लिए कई मापदंड उपस्थित हैं। सबसे मूलभूत मापदंड निरंतर फलन करने का हो सकता है। स्मूथनेस की एक शक्तिशाली धारणा भिन्नता की है (क्योंकि विभिन्न प्रकार के फलन भी निरंतर हैं) और स्मूथनेस की एक और शक्तिशाली धारणा यह है कि व्युत्पन्न भी निरंतर हो (इन फलनों को कक्षा <math>C^1</math> के रूप में कहा जाता है - [[विभेदीकरण वर्ग]] देखें)। अवकलनीय फलन कई क्षेत्रों में और विशेष रूप से अवकल समीकरणों के लिए महत्वपूर्ण हैं। चूंकि बीसवीं शताब्दी में यह देखा गया था कि स्पेस <math>C^1</math> (या <math>C^2</math> आदि) अंतर समीकरणों के हल का अध्ययन करने के लिए बिल्कुल सही स्थान नहीं था। सोबोलेव रिक्त स्थान इन स्थानों के लिए आधुनिक प्रतिस्थापन हैं। जिसमें आंशिक अंतर समीकरणों के समाधान की जानकारी की जाती है।


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


भागों के सूत्र द्वारा एकीकरण से प्रत्येक के लिए यह प्राप्त होता है <math>u\in C^k(\Omega)</math>, कहाँ <math>k</math> एक [[प्राकृतिक संख्या]] है, और [[कॉम्पैक्ट समर्थन]] के साथ सभी असीमित अलग-अलग कार्यों के लिए <math>\varphi \in C_c^{\infty}(\Omega),</math>
 
<math>u\in C^k(\Omega)</math>भागों के सूत्र द्वारा एकीकरण से प्रत्येक के लिए यह प्राप्त होता है। जहाँ <math>k</math> एक [[प्राकृतिक संख्या]] को दर्शाता है और [[कॉम्पैक्ट समर्थन]] <math>\varphi \in C_c^{\infty}(\Omega),</math> के साथ सभी असीमित विभिन्न प्रकार फलनों के लिए-
:<math> \int_\Omega u\,D^{\alpha\!}\varphi\,dx=(-1)^{|\alpha|}\int_\Omega \varphi\, D^{\alpha\!} u\,dx,</math>
:<math> \int_\Omega u\,D^{\alpha\!}\varphi\,dx=(-1)^{|\alpha|}\int_\Omega \varphi\, D^{\alpha\!} u\,dx,</math>
कहाँ <math>\alpha</math> आदेश का एक बहु-सूचकांक है <math>|\alpha|=k</math> और हम नोटेशन का उपयोग कर रहे हैं:
जहाँ <math>\alpha</math> आदेश का एक बहु-सूचकांक है। <math>|\alpha|=k</math> और हम नोटेशन का उपयोग कर रहे हैं:


:<math>D^{\alpha\!}f = \frac{\partial^{| \alpha |}\! f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}.</math>
:<math>D^{\alpha\!}f = \frac{\partial^{| \alpha |}\! f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}.</math>
इस समीकरण का बायां हाथ अभी भी समझ में आता है अगर हम केवल मान लें <math>u</math> [[स्थानीय रूप से एकीकृत]] होने के लिए। यदि कोई स्थानीय रूप से एकीकृत कार्य उपस्थित है <math>v</math>, ऐसा है कि
इस समीकरण का बायां पक्ष अभी भी समझ में आता है। यदि [[स्थानीय रूप से एकीकृत]] होने के लिए हम केवल मान <math>u</math> लें। यदि कोई स्थानीय रूप से एकीकृत फलन <math>v</math> उपस्थित है। ऐसा है कि-


:<math> \int_\Omega u\,D^{\alpha\!}\varphi\;dx=(-1)^{|\alpha|}\int_\Omega v\,\varphi  \;dx \qquad\text{for all }\varphi\in C_c^\infty(\Omega),</math>
:<math> \int_\Omega u\,D^{\alpha\!}\varphi\;dx=(-1)^{|\alpha|}\int_\Omega v\,\varphi  \;dx \qquad\text{for all }\varphi\in C_c^\infty(\Omega),</math>
फिर हम फोन करते हैं <math>v</math> अशक्त व्युत्पन्न|अशक्त <math>\alpha</math>-वाँ आंशिक व्युत्पन्न <math>u</math>. अगर कोई अशक्त है <math>\alpha</math>-वाँ आंशिक व्युत्पन्न <math>u</math>, तब इसे [[लगभग हर जगह]] विशिष्ट रूप से परिभाषित किया जाता है, और इस प्रकार यह विशिष्ट रूप से Lp स्थान के एक तत्व के रूप में निर्धारित होता है। वहीं दूसरी ओर अगर <math>u\in C^k(\Omega)</math>, तब मौलिक और अशक्त व्युत्पन्न मेल खाते हैं। इस प्रकार, यदि <math>v</math> एक अशक्त है <math>\alpha</math>-वाँ आंशिक व्युत्पन्न <math>u</math>, हम इसे द्वारा निरूपित कर सकते हैं <math>D^\alpha u := v</math>.
फिर हम <math>v</math> अशक्त व्युत्पन्न आंशिक व्युत्पन्न <math>u</math> प्रदर्शित करते हैं। यदि कोई अशक्त आंशिक व्युत्पन्न <math>u</math> है। तब इसे [[लगभग हर जगह|लगभग प्रत्येक स्थान पर]] विशिष्ट रूप से परिभाषित किया जाता है और इस प्रकार यह विशिष्ट रूप से Lp स्थान के एक तत्व के रूप में निर्धारित होता है। उसी प्रकार दूसरी ओर यदि <math>u\in C^k(\Omega)</math> है। तब मौलिक और अशक्त व्युत्पन्न मिलते हैं। इस प्रकार यदि <math>v</math> एक अशक्त आंशिक व्युत्पन्न <math>u</math> है। हम इसे <math>D^\alpha u := v</math> द्वारा निरूपित कर सकते हैं।


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


:<math>u(x)=\begin{cases}
:<math>u(x)=\begin{cases}
Line 30: Line 30:
0 & \text{else}
0 & \text{else}
\end{cases}</math>
\end{cases}</math>
शून्य पर निरंतर नहीं है, और -1, 0, या 1 पर अवकलनीय नहीं है। फिर भी कार्य
शून्य पर निरंतर नहीं है और -1, 0, या 1 पर अवकलनीय नहीं है। फिर भी फलन


:<math>v(x)=\begin{cases}
:<math>v(x)=\begin{cases}
Line 37: Line 37:
0 & \text{else}
0 & \text{else}
\end{cases}</math>
\end{cases}</math>
के अशक्त व्युत्पन्न होने की परिभाषा को संतुष्ट करता है <math>u(x),</math> जो तब सोबोलिव अंतरिक्ष में होने के योग्य है <math>W^{1,p}</math> (किसी भी अनुमति के लिए <math>p</math>, नीचे परिभाषा देखें)।
<math>u(x),</math> के अशक्त व्युत्पन्न होने की परिभाषा को पूर्णरूप से संतुष्ट करता है। जो उस समय सोबोलिव स्पेस <math>W^{1,p}</math> में होने के योग्य है। (किसी भी अनुमति के लिए <math>p</math> नीचे परिभाषा देखें)।


सोबोलेव रिक्त स्थान <math>W^{k,p}(\Omega)</math> अशक्त भिन्नता और [[एलपी मानदंड]] की अवधारणाओं को मिलाएं।
सोबोलेव रिक्त स्थान <math>W^{k,p}(\Omega)</math> अशक्त भिन्नता और [[एलपी मानदंड|Lp मानदंड]] की अवधारणाओं को मिश्रित करें।


== पूर्णांक k == के साथ सोबोलेव रिक्त स्थान
'''<u><big>पूर्णांक k के साथ सोबोलेव रिक्त स्थान-</big></u>'''


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


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


:<math>\|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}}.</math>
:<math>\|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}}.</math>
कोई इसे मामले तक बढ़ा सकता है <math> p = \infty </math>, मानक के साथ तब आवश्यक सुप्रीमम और आवश्यक न्यूनतम का उपयोग करके परिभाषित किया गया
कोई इसे स्थिति तक <math> p = \infty </math> मानक के साथ बढ़ा सकता है। तब आवश्यक सुप्रीमम और आवश्यक न्यूनतम का उपयोग करके परिभाषित किया जा सकता है।


:<math>\|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).</math>
:<math>\|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).</math>
आदर्श से लैस <math>\|\cdot\|_{k,p}, W^{k,p}</math> बनच स्थान बन जाता है। यह पता चला है कि यह अनुक्रम में केवल पहले और अंतिम को लेने के लिए पर्याप्त है, अर्थात, द्वारा परिभाषित मानदंड
नॉर्मड से प्रतिबंधित <math>\|\cdot\|_{k,p}, W^{k,p}</math> बनैच स्थान बन जाता है। यह प्रदर्शित होता है कि यह अनुक्रम में केवल पहले और अंतिम को लेने के लिए पर्याप्त है अर्थात जो नॉर्मड द्वारा परिभाषित मापदंड है-


:<math>\left \|f^{(k)} \right \|_p + \|f\|_p</math>
:<math>\left \|f^{(k)} \right \|_p + \|f\|_p</math>
उपरोक्त मानदंड के समतुल्य है (यानी नॉर्मड वेक्टर स्पेस#मानदंडों की टोपोलॉजिकल संरचना समान हैं)।
उपरोक्त मापदंड के समतुल्य है (अर्थात् नॉर्मड वेक्टर स्पेस मापदंडों की टोपोलॉजिकल संरचना समान हैं)।


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


:<math>H^k = W^{k,2}.</math>
:<math>H^k = W^{k,2}.</math>
अंतरिक्ष <math>H^k</math> फूरियर श्रृंखला के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है जिसका गुणांक पर्याप्त तेजी से घटता है, अर्थात्,
स्पेस <math>H^k</math> फूरियर श्रृंखला के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है। जिसका गुणांक पर्याप्त रूप से तेजी से घटता है। अर्थात्,


:<math>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 \},</math>
:<math>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 \},</math>
कहाँ <math>\widehat{f}</math> की फूरियर श्रृंखला है <math>f,</math> और <math>\mathbb{T}</math> 1-टोरस को दर्शाता है। ऊपर के रूप में, कोई समकक्ष मानदंड का उपयोग कर सकता है
जहाँ <math>\widehat{f}</math>, <math>f,</math> की फूरियर श्रृंखला है और <math>\mathbb{T}</math> 1-टोरस को प्रदर्शित करता है। ऊपरोक्त कोई समकक्ष मानदंड का उपयोग कर सकता है-


:<math>\|f\|^2_{k,2}=\sum_{n=-\infty}^\infty \left (1 + |n|^{2} \right )^k \left |\widehat{f}(n) \right |^2.</math>
:<math>\|f\|^2_{k,2}=\sum_{n=-\infty}^\infty \left (1 + |n|^{2} \right )^k \left |\widehat{f}(n) \right |^2.</math>
दोनों प्रतिनिधित्व पारसेवल के प्रमेय से आसानी से अनुसरण करते हैं और तथ्य यह है कि भेदभाव फूरियर गुणांक को गुणा करने के बराबर है <math>in</math>.
दोनों प्रतिनिधित्व पारसेवल के प्रमेय से सरलता से अनुसरण करते हैं और तथ्य यह है कि भेदभाव फूरियर गुणांक को गुणा करने के बराबर है <math>in</math>.


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


:<math>\langle u,v\rangle_{H^k} = \sum_{i=0}^k \left \langle D^i u,D^i v \right \rangle_{L^2}.</math>
:<math>\langle u,v\rangle_{H^k} = \sum_{i=0}^k \left \langle D^i u,D^i v \right \rangle_{L^2}.</math>
अंतरिक्ष <math>H^k</math> इस आंतरिक उत्पाद के साथ हिल्बर्ट स्पेस बन जाता है।
स्पेस <math>H^k</math> इस आंतरिक उत्पाद के साथ हिल्बर्ट स्पेस बन जाता है।


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


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


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


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


:<math>f^{(\alpha)} = \frac{\partial^{| \alpha |\!} f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}</math>
:<math>f^{(\alpha)} = \frac{\partial^{| \alpha |\!} f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}</math>
अशक्त व्युत्पन्न अर्थ में उपस्थित है और अंदर है <math>L^p(\Omega),</math> अर्थात।
अशक्त व्युत्पन्न अर्थ में उपस्थित है और अंदर <math>L^p(\Omega),</math> में स्थित है। अर्थात्


:<math>\left \|f^{(\alpha)} \right \|_{L^{p}} < \infty.</math>
:<math>\left \|f^{(\alpha)} \right \|_{L^{p}} < \infty.</math>
यानी सोबोलेव स्पेस <math>W^{k,p}(\Omega)</math> परिभाषित किया जाता है
अर्थात् सोबोलेव स्पेस <math>W^{k,p}(\Omega)</math> परिभाषित किया जाता है।


:<math>W^{k,p}(\Omega) = \left \{ u \in L^p(\Omega) : D^{\alpha}u \in L^p(\Omega) \,\, \forall |\alpha| \leqslant k \right \}. </math>
:<math>W^{k,p}(\Omega) = \left \{ u \in L^p(\Omega) : D^{\alpha}u \in L^p(\Omega) \,\, \forall |\alpha| \leqslant k \right \}. </math>
प्राकृतिक संख्या <math>k</math> सोबोलेव अंतरिक्ष का क्रम कहा जाता है <math>W^{k,p}(\Omega).</math>
प्राकृतिक संख्या <math>k</math> सोबोलेव स्पेस <math>W^{k,p}(\Omega).</math> का क्रम कहा जाता है।
के लिए एक मानक के लिए कई विकल्प हैं <math>W^{k,p}(\Omega).</math> निम्नलिखित दो आम हैं और सामान्य (गणित) # गुण के अर्थ में समकक्ष हैं:
 
<math>W^{k,p}(\Omega).</math> के लिए एक मानक के लिए कई विकल्प हैं। जिसमें निम्नलिखित दो सामान्य हैं और सामान्य (गणित) गुण के अर्थ में समकक्ष हैं:


:<math>\| u \|_{W^{k, p}(\Omega)} := \begin{cases}  
:<math>\| u \|_{W^{k, p}(\Omega)} := \begin{cases}  
Line 104: Line 105:
\sum_{| \alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^{\infty}(\Omega)} & p = \infty.  
\sum_{| \alpha | \leqslant k} \left \| D^{\alpha}u \right \|_{L^{\infty}(\Omega)} & p = \infty.  
\end{cases}</math>
\end{cases}</math>
इनमें से किसी भी मानदंड के संबंध में, <math>W^{k,p}(\Omega)</math> एक बनच स्थान है। के लिए <math>p<\infty, W^{k,p}(\Omega)</math> एक [[वियोज्य स्थान]] भी है। निरूपित करना परम्परागत है <math>W^{k,2}(\Omega)</math> द्वारा <math>H^k(\Omega)</math> इसके लिए आदर्श के साथ एक हिल्बर्ट स्थान है <math>\| \cdot \|_{W^{k, 2}(\Omega)}</math>.<ref>{{harvnb|Evans|2010|loc=Chapter 5.2}}</ref>
इनमें से किसी भी मानदंड के संबंध में, <math>W^{k,p}(\Omega)</math> एक बनौच स्थान है। <math>p<\infty, W^{k,p}(\Omega)</math> के लिए एक [[वियोज्य स्थान]] भी है। <math>H^k(\Omega)</math> द्वारा <math>W^{k,2}(\Omega)</math> निरूपित करना परम्परागत है। इसके लिए नॉर्मड <math>\| \cdot \|_{W^{k, 2}(\Omega)}</math> के साथ एक हिल्बर्ट स्थान है।<ref>{{harvnb|Evans|2010|loc=Chapter 5.2}}</ref>
 
==== <u>स्मूथ फलनों द्वारा सन्निकटन-</u> ====
 
केवल उनकी परिभाषा के आधार पर सोबोलेव रिक्त स्थान के साथ कार्य करना कठिन है। इसलिए यह जानना अधिक उचित है कि मेयर्स-सेरिन प्रमेय द्वारा एक फलन <math>u \in W^{k,p}(\Omega)</math> [[सुचारू कार्य|सुचारू फलनों]] द्वारा अनुमानित किया जा सकता है। यह तथ्य अधिकांशतः हमें स्मूथ फलनों के गुणों को सोबोलेव फलनों में अनुवाद करने की अनुमति प्रदान करता है। यदि <math>p</math> परिमित है और <math>\Omega</math> खुला हुआ समुच्चय है। तो किसी <math>u \in W^{k,p}(\Omega)</math> के लिए फलनों का अनुमानित क्रम <math>u_m \in C^{\infty}(\Omega)</math> उपस्थित है। ऐसा है कि:
==== चिकनी कार्यों द्वारा सन्निकटन ====
केवल उनकी परिभाषा के आधार पर सोबोलेव रिक्त स्थान के साथ काम करना कठिन है। इसलिए यह जानना दिलचस्प है कि मेयर्स-सेरिन प्रमेय द्वारा एक कार्य <math>u \in W^{k,p}(\Omega)</math> [[सुचारू कार्य]]ों द्वारा अनुमानित किया जा सकता है। यह तथ्य अक्सर हमें सुचारू कार्यों के गुणों को सोबोलेव कार्यों में अनुवाद करने की अनुमति देता है। अगर <math>p</math> परिमित है और <math>\Omega</math> खुला है, तो किसी के लिए उपस्थित है <math>u \in W^{k,p}(\Omega)</math> कार्यों का अनुमानित क्रम <math>u_m \in C^{\infty}(\Omega)</math> ऐसा है कि:


:<math> \left \| u_m - u \right \|_{W^{k,p}(\Omega)} \to 0.</math>
:<math> \left \| u_m - u \right \|_{W^{k,p}(\Omega)} \to 0.</math>
अगर <math>\Omega</math> Lipschitz सीमा है, हम यह भी मान सकते हैं कि <math>u_m</math> सभी पर कॉम्पैक्ट समर्थन के साथ सुचारू कार्यों का प्रतिबंध है <math>\R^n.</math><ref name="Adams1975">{{harvnb|Adams|Fournier|2003}}</ref>
यदि <math>\Omega</math> लिप्सचिट्ज़ सीमा है। हम यह भी मान सकते हैं कि <math>u_m</math> सभी पर कॉम्पैक्ट समर्थन के साथ स्मूथ सभी <math>\R^n.</math> फलनों का प्रतिबंध है<ref name="Adams1975">{{harvnb|Adams|Fournier|2003}}</ref>




==== उदाहरण ====
==== उदाहरण ====


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


:<math>f(x) = | x |^{-\alpha} \in W^{k,p}(\mathbb{B}^n) \Longleftrightarrow \alpha < \tfrac{n}{p} - k.</math>
:<math>f(x) = | x |^{-\alpha} \in W^{k,p}(\mathbb{B}^n) \Longleftrightarrow \alpha < \tfrac{n}{p} - k.</math>
सहज रूप से, 0 पर f का ब्लो-अप कम मायने रखता है जब n बड़ा होता है क्योंकि यूनिट बॉल में उच्च आयामों में बाहर और कम अंदर होता है।
सहज रूप से 0 पर f का ब्लो-अप कम कार्य रखता है। जब n बड़ा होता है क्योंकि यूनिट बॉल में उच्च आयामों में बाहर और कम अंदर होता है।


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


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


==== सीमा पर गायब होने वाले कार्य ====
==== सीमा पर विलुप्त होने वाले फलन ====
{{See also|Trace operator}}
{{See also|ट्रेस ऑपरेटर}}


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


:<math>\|f\|_{H^1} = \left ( \int_\Omega \! |f|^2 \!+\! |\nabla\! f|^2 \right)^{\!\frac12}.</math>
:<math>\|f\|_{H^1} = \left ( \int_\Omega \! |f|^2 \!+\! |\nabla\! f|^2 \right)^{\!\frac12}.</math>
कब <math>\Omega</math> एक नियमित सीमा है, <math>H^1_0\!(\Omega)</math> में कार्यों के स्थान के रूप में वर्णित किया जा सकता है <math>H^1\!(\Omega)</math> जो निशान के अर्थ में सीमा पर गायब हो जाता है (सोबोलेव स्पेस#एक्सटेंशन बाई जीरो)। कब <math>n=1,</math> अगर <math>\Omega = (a,b)</math> एक परिबद्ध अंतराल है, तब <math>H^1_0(a,b)</math> पर निरंतर कार्य होते हैं <math>[a,b]</math> फार्म का
जब <math>\Omega</math> एक नियमित सीमा है, <math>H^1_0\!(\Omega)</math> में फलनों <math>H^1\!(\Omega)</math> के स्थान के रूप में वर्णित किया जा सकता है। जो चिन्ह के अर्थ में सीमा पर विलुप्त हो जाता है (सोबोलेव स्पेस#एक्सटेंशन बाई जीरो)। जब <math>n=1,</math> यदि <math>\Omega = (a,b)</math> एक परिबद्ध अंतराल है। तब <math>H^1_0(a,b)</math> पर <math>[a,b]</math> फार्म का निरंतर फलन होते हैं।


:<math>f(x) = \int_a^x f'(t) \, \mathrm{d}t, \qquad x \in [a, b]</math>
:<math>f(x) = \int_a^x f'(t) \, \mathrm{d}t, \qquad x \in [a, b]</math>
जहां सामान्यीकृत व्युत्पन्न <math>f'</math> में है <math>L^2(a,b)</math> और 0 अभिन्न है, ताकि <math>f(b) = f(a) = 0.</math>
जहां सामान्यीकृत व्युत्पन्न <math>f'</math> में है <math>L^2(a,b)</math> और 0 अभिन्न है। जिससे <math>f(b) = f(a) = 0.</math> जब <math>\Omega</math> घिरा हुआ है। पॉइनकेयर असमानता बताती है कि <math>C= C(\Omega)</math> एक स्थिरांक है। ऐसा है कि:
कब <math>\Omega</math> घिरा हुआ है, पॉइनकेयर असमानता बताती है कि एक स्थिरांक है <math>C= C(\Omega)</math> ऐसा है कि:


:<math>\int_\Omega | f|^2 \leqslant C^2 \int_\Omega |\nabla f|^2, \qquad f \in H^1_0(\Omega).</math>
:<math>\int_\Omega | f|^2 \leqslant C^2 \int_\Omega |\nabla f|^2, \qquad f \in H^1_0(\Omega).</math>
कब <math>\Omega</math> बँधा हुआ है, से इंजेक्शन <math>H^1_0\!(\Omega)</math> को <math>L^2\!(\Omega),</math> [[कॉम्पैक्ट ऑपरेटर]] है। यह तथ्य [[डिरिचलेट समस्या]] के अध्ययन में एक भूमिका निभाता है, और इस तथ्य में कि इसका एक अलौकिक आधार उपस्थित है <math>L^2(\Omega)</math> [[लाप्लास ऑपरेटर]] के ईजेनवेक्टरों से मिलकर (डिरिचलेट सीमा स्थिति के साथ)
जब <math>\Omega</math> बँधा हुआ है, <math>H^1_0\!(\Omega)</math> को <math>L^2\!(\Omega),</math> से इंजेक्शन [[कॉम्पैक्ट ऑपरेटर]] है। यह तथ्य [[डिरिचलेट समस्या]] के अध्ययन में एक भूमिका प्रदान करता है और इस तथ्य में कि इसका एक ऑर्थोनॉर्मल आधार <math>L^2(\Omega)</math> [[लाप्लास ऑपरेटर]] के ईजेनवेक्टरों से मिलकर (डिरिचलेट सीमा स्थिति के साथ) उपस्थित है।


== निशान ==
== चिन्ह ==
{{See also|Trace operator}}
{{See also|ट्रेस ऑपरेटर}}


आंशिक अंतर समीकरणों की जांच करते समय सोबोलिव रिक्त स्थान अक्सर माना जाता है। सोबोलिव कार्यों के सीमा मूल्यों पर विचार करना आवश्यक है। अगर <math>u\in C(\Omega)</math>, उन सीमा मानों को प्रतिबंध द्वारा वर्णित किया गया है <math>u|_{\partial\Omega}.</math> हालांकि, यह स्पष्ट नहीं है कि सीमा पर मूल्यों का वर्णन कैसे किया जाए <math>u\in W^{k,p}(\Omega),</math> क्योंकि सीमा का n-आयामी माप शून्य है। निम्नलिखित प्रमेय<ref name="Adams1975" />समस्या का समाधान करता है:
आंशिक अंतर समीकरणों की जांच करते समय सोबोलिव रिक्त स्थान अधिकांशतः माना जाता है। सोबोलिव फलनों के सीमा मूल्यों पर विचार करना आवश्यक है। यदि <math>u\in C(\Omega)</math> उन सीमा मानों को प्रतिबंध <math>u|_{\partial\Omega}.</math> द्वारा वर्णित किया गया है। चूंकि यह स्पष्ट नहीं है कि सीमा के लिये <math>u\in W^{k,p}(\Omega),</math> पर मूल्यों का वर्णन कैसे किया जाए क्योंकि सीमा का n-आयामी माप शून्य है। जिससे निम्नलिखित प्रमेय<ref name="Adams1975" />समस्या का हल प्राप्त करता है:
{{math theorem | name = Trace theorem | math_statement = Assume Ω is bounded with [[Lipschitz boundary]]. Then there exists a bounded linear operator <math>T: W^{1,p}(\Omega)\to L^p(\partial\Omega)</math> such that
{{math theorem | name = Trace theorem | math_statement = Assume Ω is bounded with [[Lipschitz boundary]]. Then there exists a bounded linear operator <math>T: W^{1,p}(\Omega)\to L^p(\partial\Omega)</math> such that
<math display="block">\begin{align}
<math display="block">\begin{align}
Line 151: Line 149:
\end{align}</math>}}
\end{align}</math>}}


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


:<math> W_0^{1,p}(\Omega)= \left \{u\in W^{1,p}(\Omega): Tu=0 \right \},</math>
:<math> W_0^{1,p}(\Omega)= \left \{u\in W^{1,p}(\Omega): Tu=0 \right \},</math>
कहाँ
जहाँ-


:<math> 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 \}.</math>
:<math> 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 \}.</math>
दूसरे शब्दों में, Ω के लिए लिप्सचिट्ज़ सीमा के साथ घिरा हुआ है, ट्रेस-शून्य कार्य करता है <math>W^{1,p}(\Omega)</math> कॉम्पैक्ट समर्थन के साथ चिकनी कार्यों द्वारा अनुमान लगाया जा सकता है।
दूसरे शब्दों में Ω के लिए लिप्सचिट्ज़ सीमा के साथ घिरा हुआ है। <math>W^{1,p}(\Omega)</math> में ट्रेस-शून्य फलन कॉम्पैक्ट समर्थन के साथ स्मूथ फलनों द्वारा अनुमान लगाया जा सकता है।


== गैर-पूर्णांक k == के साथ सोबोलेव रिक्त स्थान
 
'''<big><u>गैर-पूर्णांक k के साथ सोबोलेव रिक्त स्थान-</u></big>'''


=== बेसेल संभावित स्थान ===
=== बेसेल संभावित स्थान ===
एक प्राकृतिक संख्या k और के लिए {{math|1 < ''p'' < ∞}} कोई दिखा सकता है ([[गुणक (फूरियर विश्लेषण)]] का उपयोग करके<ref>{{harvnb|Bergh|Löfström|1976}}</ref><ref name="Triebel1995">{{harvnb|Triebel|1995}}</ref>) कि अंतरिक्ष <math>W^{k,p}(\R^n)</math> के रूप में समान रूप से परिभाषित किया जा सकता है
एक प्राकृतिक संख्या k और {{math|1 < ''p'' < ∞}} के लिए ([[गुणक (फूरियर विश्लेषण)]] का उपयोग करके<ref>{{harvnb|Bergh|Löfström|1976}}</ref><ref name="Triebel1995">{{harvnb|Triebel|1995}}</ref>) कोई दिखा सकता है कि स्पेस <math>W^{k,p}(\R^n)</math> के रूप में समान रूप से परिभाषित किया जा सकता है।


:<math> 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 \},</math>
:<math> 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 \},</math>
आदर्श के साथ
नॉर्मड के साथ-


:<math>\|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)}.</math>
:<math>\|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)}.</math>
यह सोबोलिव रिक्त स्थान को गैर-पूर्णांक क्रम से प्रेरित करता है क्योंकि उपरोक्त परिभाषा में हम k को किसी भी वास्तविक संख्या s से बदल सकते हैं। परिणामी रिक्त स्थान
यह सोबोलिव रिक्त स्थान को गैर-पूर्णांक क्रम से प्रेरित करता है क्योंकि उपरोक्त परिभाषा में हम k को किसी भी वास्तविक संख्या s से बदल सकते हैं। परिणामी रिक्त स्थान-


:<math>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 \} </math>
:<math>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 \} </math>
बेसेल संभावित स्थान कहलाते हैं<ref>Bessel potential spaces with variable integrability have been independently introduced by Almeida & Samko (A. Almeida and S. Samko, "Characterization of [[Riesz potential|Riesz]] and [[Bessel potential]]s on variable [[Lp space|Lebesgue space]]s", J. Function Spaces Appl. 4 (2006), no. 2, 113–144) and Gurka, Harjulehto & Nekvinda (P. Gurka, P. Harjulehto and A. Nekvinda: "Bessel potential spaces with variable exponent", Math. Inequal. Appl. 10 (2007), no. 3, 661–676).</ref> ([[फ्रेडरिक बेसेल]] के नाम पर)। वे सामान्य रूप से बनच स्थान हैं और विशेष मामले में हिल्बर्ट स्थान p = 2 हैं।
बेसेल संभावित स्थान कहलाते हैं([[फ्रेडरिक बेसेल]] के नाम पर)।<ref>Bessel potential spaces with variable integrability have been independently introduced by Almeida & Samko (A. Almeida and S. Samko, "Characterization of [[Riesz potential|Riesz]] and [[Bessel potential]]s on variable [[Lp space|Lebesgue space]]s", J. Function Spaces Appl. 4 (2006), no. 2, 113–144) and Gurka, Harjulehto & Nekvinda (P. Gurka, P. Harjulehto and A. Nekvinda: "Bessel potential spaces with variable exponent", Math. Inequal. Appl. 10 (2007), no. 3, 661–676).</ref> वे सामान्य रूप से बनैच स्थान हैं और विशेष स्थिति में हिल्बर्ट स्थान p = 2 हैं।


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


:<math>\|f\|_{H^{s,p}(\Omega)} := \inf \left \{\|g\|_{H^{s,p}(\R^n)} : g \in H^{s,p}(\R^n), g|_{\Omega} = f \right \} .</math>
:<math>\|f\|_{H^{s,p}(\Omega)} := \inf \left \{\|g\|_{H^{s,p}(\R^n)} : g \in H^{s,p}(\R^n), g|_{\Omega} = f \right \} .</math>
फिर से, एच<sup>s,p</sup>(Ω) एक बनच स्थान है और स्थिति में p = 2 एक हिल्बर्ट स्थान है।
फिर से ''H<sup>s,p</sup>''(Ω) एक बनैच स्थान है और p = 2 स्थिति में एक हिल्बर्ट स्थान है।


सोबोलिव रिक्त स्थान के लिए विस्तार प्रमेय का उपयोग करके, यह दिखाया जा सकता है कि डब्ल्यू भी<sup>के,पी</सुप>(Ω) = एच<sup>k,p</sup>(Ω) समतुल्य मानदंडों के अर्थ में रखता है, यदि Ω वर्दी सी के साथ डोमेन है<sup>k</sup>-सीमा, k एक प्राकृतिक संख्या और {{math|1 < ''p'' < ∞}}. [[एम्बेडिंग]] द्वारा
सोबोलिव रिक्त स्थान के लिए विस्तार प्रमेय का उपयोग करके यह दिखाया जा सकता है कि ''W<sup>k,p</sup>''(Ω) = ''H<sup>k,p</sup>''(Ω) समतुल्य मापदंडों के अर्थ में रखता है। यदि Ω समान ''C<sup>k</sup>''-सीमा वाला डोमेन है, k एक प्राकृतिक संख्या है और 1 <p < ∞ है। एम्बेडिंग द्वारा-


:<math> 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 </math>
:<math> 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 </math>
बेसेल संभावित रिक्त स्थान <math>H^{s,p}(\R^n)</math> सोबोलेव रिक्त स्थान के बीच एक सतत पैमाने का निर्माण करें <math>W^{k,p}(\R^n).</math> एक अमूर्त दृष्टिकोण से, बेसेल संभावित रिक्त स्थान सोबोलेव रिक्त स्थान के जटिल [[इंटरपोलेशन स्पेस]] स्थान के रूप में होते हैं, यानी समकक्ष मानदंडों के अर्थ में यह मानता है कि
बेसेल <math>H^{s,p}(\R^n)</math> संभावित रिक्त स्थान सोबोलेव रिक्त स्थान <math>W^{k,p}(\R^n).</math> के बीच एक सतत मापदंड का निर्माण करें। एक अमूर्त दृष्टिकोण से बेसेल संभावित रिक्त स्थान सोबोलेव रिक्त स्थान के जटिल [[इंटरपोलेशन स्पेस]] स्थान के रूप में होते हैं, अर्थात् समकक्ष मापदंडों के अर्थ में यह माना गया है कि-
:<math> \left [ W^{k,p}(\R^n), W^{k+1,p}(\R^n) \right ]_\theta = H^{s,p}(\R^n),</math>
:<math> \left [ W^{k,p}(\R^n), W^{k+1,p}(\R^n) \right ]_\theta = H^{s,p}(\R^n),</math>
कहाँ:
जहाँ:
:<math>1 \leqslant p \leqslant \infty, \ 0 < \theta < 1, \ s= (1-\theta)k + \theta (k+1)= k+\theta. </math>
:<math>1 \leqslant p \leqslant \infty, \ 0 < \theta < 1, \ s= (1-\theta)k + \theta (k+1)= k+\theta. </math>


Line 190: Line 190:
=== सोबोलेव-स्लोबोडेकिज स्पेस ===
=== सोबोलेव-स्लोबोडेकिज स्पेस ===


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


:<math>[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}}.</math>
:<math>[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}}.</math>
होने देना {{math|''s'' > 0}} पूर्णांक न हो और सेट हो <math>\theta = s - \lfloor s \rfloor \in (0,1)</math>. होल्डर स्पेस#H.C3.B6lder स्पेस|होल्डर स्पेस, सोबोलेव-स्लोबोडेकिज स्पेस के समान विचार का उपयोग करना<ref>In the literature, fractional Sobolev-type spaces are also called ''Aronszajn spaces'', ''Gagliardo spaces'' or ''Slobodeckij spaces'', after the names of the mathematicians who introduced them in the 1950s:  [[Nachman Aronszajn|N. Aronszajn]] ("Boundary values of functions with finite [[Dirichlet integral]]", Techn. Report of Univ. of Kansas 14 (1955), 77–94), E. Gagliardo ("Proprietà di alcune classi di funzioni in più variabili", ''Ricerche Mat.'' 7 (1958), 102–137), and L. N. Slobodeckij ("Generalized Sobolev spaces and their applications to boundary value problems of partial differential equations", Leningrad. ''Gos. Ped. Inst. Učep. Zap.'' 197 (1958), 54–112).</ref> <math>W^{s,p}(\Omega)</math> परिभाषित किया जाता है
माना कि {{math|''s'' > 0}} पूर्णांक न हो और <math>\theta = s - \lfloor s \rfloor \in (0,1)</math> समुच्चय हो। होल्डर रिक्त स्थान के समान विचार का उपयोग करते हुए, सोबोलेव-स्लोबोडेकिज स्थान<ref>In the literature, fractional Sobolev-type spaces are also called ''Aronszajn spaces'', ''Gagliardo spaces'' or ''Slobodeckij spaces'', after the names of the mathematicians who introduced them in the 1950s:  [[Nachman Aronszajn|N. Aronszajn]] ("Boundary values of functions with finite [[Dirichlet integral]]", Techn. Report of Univ. of Kansas 14 (1955), 77–94), E. Gagliardo ("Proprietà di alcune classi di funzioni in più variabili", ''Ricerche Mat.'' 7 (1958), 102–137), and L. N. Slobodeckij ("Generalized Sobolev spaces and their applications to boundary value problems of partial differential equations", Leningrad. ''Gos. Ped. Inst. Učep. Zap.'' 197 (1958), 54–112).</ref> <math>W^{s,p}(\Omega)</math> परिभाषित किया जाता है।
:<math>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\}.</math>
:<math>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\}.</math>
यह मानक के लिए एक बनच स्थान है
यह मानक के लिए एक बनैच स्थान है-
:<math>\|f \| _{W^{s, p}(\Omega)} := \|f\|_{W^{\lfloor s \rfloor,p}(\Omega)} + \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega}.</math>
:<math>\|f \| _{W^{s, p}(\Omega)} := \|f\|_{W^{\lfloor s \rfloor,p}(\Omega)} + \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega}.</math>
अगर <math>\Omega</math> उपयुक्त रूप से इस अर्थ में नियमित है कि कुछ विस्तार ऑपरेटर उपस्थित हैं, फिर भी सोबोलेव-स्लोबोडेकिज रिक्त स्थान बनच रिक्त स्थान का एक पैमाना बनाते हैं, अर्थात किसी के पास निरंतर इंजेक्शन या एम्बेडिंग है
यदि <math>\Omega</math> उपयुक्त रूप से इस अर्थ में नियमित है कि कुछ विस्तार ऑपरेटर उपस्थित हैं। फिर भी सोबोलेव-स्लोबोडेकिज रिक्त स्थान बनैच रिक्त स्थान का एक मापदंड बनाते हैं, अर्थात किसी के पास निरंतर इंजेक्शन या एम्बेडिंग है।


:<math> 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.</math>
:<math> 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.</math>
अनियमित Ω के ऐसे उदाहरण हैं कि <math>W^{1,p}(\Omega)</math> की सदिश उपसमष्टि भी नहीं है <math>W^{s,p}(\Omega)</math> 0 <s <1 के लिए (उदाहरण 9.1 देखें <ref>{{Cite journal |date=2012-07-01 | title=Hitchhikerʼs guide to the fractional Sobolev spaces| journal=Bulletin des Sciences Mathématiques |language=en|volume=136|issue=5| pages=521–573 | doi=10.1016/j.bulsci.2011.12.004| issn=0007-4497 |doi-access=free| last1=Di Nezza| first1=Eleonora| last2=Palatucci| first2=Giampiero| last3=Valdinoci| first3=Enrico}}</ref>)
अनियमित Ω के ऐसे उदाहरण हैं कि <math>W^{1,p}(\Omega)</math> की सदिश उपसमष्टि <math>W^{s,p}(\Omega)</math>, 0 <s <1 के लिए भी नहीं है। (उदाहरण 9.1 देखें <ref>{{Cite journal |date=2012-07-01 | title=Hitchhikerʼs guide to the fractional Sobolev spaces| journal=Bulletin des Sciences Mathématiques |language=en|volume=136|issue=5| pages=521–573 | doi=10.1016/j.bulsci.2011.12.004| issn=0007-4497 |doi-access=free| last1=Di Nezza| first1=Eleonora| last2=Palatucci| first2=Giampiero| last3=Valdinoci| first3=Enrico}}</ref>)


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


:<math> 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 .</math>
:<math> 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 .</math>
सोबोलिव-स्लोबोडेकिज रिक्त स्थान सोबोलिव कार्यों के निशान के अध्ययन में एक महत्वपूर्ण भूमिका निभाते हैं। वे बेसोव रिक्त स्थान के विशेष मामले हैं।<ref name="Triebel1995" />
सोबोलिव-स्लोबोडेकिज रिक्त स्थान सोबोलिव फलनों के चिन्ह के अध्ययन में एक महत्वपूर्ण भूमिका प्रदर्शित करते हैं। वे बेसोव रिक्त स्थान के विशेष स्थिति हैं।<ref name="Triebel1995" />




== एक्सटेंशन ऑपरेटर ==
== एक्सटेंशन ऑपरेटर ==


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


# एयू (एक्स) = यू (एक्स) लगभग हर एक्स के लिए <math>\Omega</math> और
# ''Au''(''x'') = ''u''(''x'') लगभग प्रत्येक ''x'' के लिए <math>\Omega</math> और
# <math>A : W^{k,p}(\Omega) \to W^{k,p}(\R^n)</math> किसी भी 1 ≤ p ≤ ∞ और पूर्णांक k के लिए सतत है।
# <math>A : W^{k,p}(\Omega) \to W^{k,p}(\R^n)</math> किसी भी 1 ≤ p ≤ ∞ और पूर्णांक k के लिए सतत(निरंतर) है।


हम ऐसे ऑपरेटर A को एक्सटेंशन ऑपरेटर कहेंगे <math>\Omega.</math>
हम ऐसे ऑपरेटर A को <math>\Omega.</math> के लिये एक्सटेंशन ऑपरेटर कहते हैं।




=== पी = 2 === का मामला


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


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


=== शून्य से विस्तार ===
=== शून्य से विस्तार ===


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


{{ math theorem | math_statement = Let <math>\Omega</math> be uniformly ''C<sup>m</sup>'' regular, ''m'' ≥ ''s'' and let ''P'' be the linear map sending ''u'' in <math>H^s(\Omega)</math> to
{{ math theorem | math_statement = Let <math>\Omega</math> be uniformly ''C<sup>m</sup>'' regular, ''m'' ≥ ''s'' and let ''P'' be the linear map sending ''u'' in <math>H^s(\Omega)</math> to
Line 232: Line 233:
where ''d/dn'' is the derivative normal to ''G'', and ''k'' is the largest integer less than ''s''. Then <math>H^s_0</math> is precisely the kernel of ''P''.}}
where ''d/dn'' is the derivative normal to ''G'', and ''k'' is the largest integer less than ''s''. Then <math>H^s_0</math> is precisely the kernel of ''P''.}}


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


:<math>\tilde u(x)= \begin{cases} u(x) & x \in \Omega \\ 0 & \text{else} \end{cases}</math>
:<math>\tilde u(x)= \begin{cases} u(x) & x \in \Omega \\ 0 & \text{else} \end{cases}</math>
Line 241: Line 242:


:<math>Ef := \begin{cases} f & \textrm{on} \ \Omega, \\ 0 & \textrm{otherwise} \end{cases}</math>
:<math>Ef := \begin{cases} f & \textrm{on} \ \Omega, \\ 0 & \textrm{otherwise} \end{cases}</math>
का एक तत्व है <math>L^p(\R^n).</math> आगे,
का एक तत्व <math>L^p(\R^n).</math> है। आगे,


:<math> \| Ef \|_{L^p(\R^n)}= \| f \|_{L^p(\Omega)}.</math>
:<math> \| Ef \|_{L^p(\R^n)}= \| f \|_{L^p(\Omega)}.</math>
सोबोलेव स्पेस के मामले में डब्ल्यू<sup>1, पी</sup>(Ω) के लिए {{math|1 ≤ p ≤ ∞}}, एक फ़ंक्शन यू को शून्य से विस्तारित करने से आवश्यक रूप से एक तत्व नहीं मिलेगा <math>W^{1,p}(\R^n).</math> लेकिन अगर Ω लिपशिट्ज सीमा से घिरा है (उदाहरण के लिए ∂Ω सी है<sup>1</sup>), तो किसी भी बंधे हुए खुले सेट O के लिए जैसे कि Ω⊂⊂O (यानी Ω कॉम्पैक्ट रूप से O में समाहित है), एक परिबद्ध रैखिक ऑपरेटर उपस्थित है<ref name="Adams1975" />
सोबोलेव स्पेस के स्थिति में ''W''<sup>1,p</sup>(Ω) के लिए {{math|1 ≤ p ≤ ∞}} एक फलन ''u'' को शून्य से विस्तारित करने से आवश्यक रूप से एक तत्व <math>W^{1,p}(\R^n).</math> नहीं प्राप्त होगा। किन्तु यदि Ω लिपशिट्ज सीमा से घिरा है (उदाहरण के लिए ∂Ω ''C''<sup>1</sup> है), तो किसी भी बंधे हुए खुले समुच्चय O के लिए जैसे कि Ω⊂⊂O (अर्थात् Ω कॉम्पैक्ट रूप से O में सम्मिलित है), एक परिबद्ध रैखिक ऑपरेटर उपस्थित है।<ref name="Adams1975" />


:<math> E: W^{1,p}(\Omega)\to W^{1,p}(\R^n),</math>
:<math> E: W^{1,p}(\Omega)\to W^{1,p}(\R^n),</math>
ऐसा कि प्रत्येक के लिए <math>u\in W^{1,p}(\Omega): Eu = u</math> ए.ई. Ω पर, Eu के पास O के भीतर कॉम्पैक्ट समर्थन है, और केवल p, Ω, O और आयाम n के आधार पर एक निरंतर C उपस्थित है, जैसे कि
ऐसा कि प्रत्येक के लिए <math>u\in W^{1,p}(\Omega): Eu = u</math> ए.ई. Ω पर, Eu के पास O के अन्दर कॉम्पैक्ट समर्थन है और केवल p, Ω, O और आयाम n के आधार पर एक निरंतर C उपस्थित है। जैसे कि


:<math>\| Eu \|_{W^{1,p}(\R^n)}\leqslant C \|u\|_{W^{1,p}(\Omega)}.</math>
:<math>\| Eu \|_{W^{1,p}(\R^n)}\leqslant C \|u\|_{W^{1,p}(\Omega)}.</math>
हम बुलाते है <math>Eu</math> का विस्तार <math>u</math> को <math>\R^n.</math>
हम <math>Eu</math> का विस्तार <math>u</math> को <math>\R^n.</math> प्रदर्शित करते हैे।




== सोबोलेव एम्बेडिंग ==
== सोबोलेव एम्बेडिंग ==
{{Main|Sobolev inequality}}
{{Main|सोबोलेव असमानता}}


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


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


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


गैर-कॉम्पैक्ट मैनिफोल्ड्स के लिए एम्बेडिंग प्रमेय के समान रूपांतर हैं जैसे <math>\R^n</math> {{harv|Stein|1970}}. सोबोलेव एम्बेडिंग चालू है <math>\R^n</math> जो कॉम्पैक्ट नहीं होते हैं, उनमें अक्सर Cocompact एम्बेडिंग का एक संबंधित, लेकिन अशक्त गुण होता है।
गैर-कॉम्पैक्ट मैनिफोल्ड्स के लिए एम्बेडिंग प्रमेय के समान रूपांतर हैं। जैसे <math>\R^n</math> {{harv|Stein|1970}}. <math>\R^n</math> पर सोबोलेव एम्बेडिंग संचालित है। जो कॉम्पैक्ट नहीं होते हैं, उनमें अधिकांशतः एक संबंधित, किन्तु अशक्त कोकॉम्पैक्टनेस का गुण प्रदर्शित होता है।


== यह भी देखें ==
== यह भी देखें ==
Line 380: Line 381:
*{{SpringerEOM|id=Imbedding_theorems&oldid=14600|title=Imbedding theorems|first=S.M.|last= Nikol'skii}}.
*{{SpringerEOM|id=Imbedding_theorems&oldid=14600|title=Imbedding theorems|first=S.M.|last= Nikol'skii}}.
*{{SpringerEOM|id=Sobolev_space&oldid=17396|title=Sobolev space|first=S.M.|last= Nikol'skii}}.
*{{SpringerEOM|id=Sobolev_space&oldid=17396|title=Sobolev space|first=S.M.|last= Nikol'skii}}.
*{{citation|first=S.L.|last=Sobolev|title=On a theorem of functional analysis|journal=Transl. Amer. Math. Soc.|series=American Mathematical Society Translations: Series 2|issue=2|volume=34|year=1963|pages=39–68|doi=10.1090/trans2/034/02|isbn=9780821817346}}; translation of Mat. Sb., 4 (1938) pp.&nbsp;471–497.
*{{citation|first=S.L.|last=Sobolev|title=On a theorem of functional analysis|journal=Transl. Amer. Math. Soc.|series=American Mathematical Society Translations: Series 2|issue=2|volume=34|year=1963|pages=39–68|doi=10.1090/trans2/034/02|isbn=9780821817346}}; translation of Mat. Sb., 4 (1938) pp.&nbsp;471–497.
*{{citation|first=S.L.|last=Sobolev|title=Some applications of functional analysis in mathematical physics|publisher=Amer. Math. Soc.|year=1963}}.
*{{citation|first=S.L.|last=Sobolev|title=Some applications of functional analysis in mathematical physics|publisher=Amer. Math. Soc.|year=1963}}.
*{{citation|last=Stein|first=E|title=Singular Integrals and Differentiability Properties of Functions|publisher=Princeton Univ. Press|year=1970|isbn=0-691-08079-8|url-access=registration|url=https://archive.org/details/singularintegral0000stei}}.
*{{citation|last=Stein|first=E|title=Singular Integrals and Differentiability Properties of Functions|publisher=Princeton Univ. Press|year=1970|isbn=0-691-08079-8|url-access=registration|url=https://archive.org/details/singularintegral0000stei}}.
Line 390: Line 391:
* [https://arxiv.org/PS_cache/arxiv/pdf/1104/1104.4345v2.pdf Eleonora Di Nezza, Giampiero Palatucci, Enrico Valdinoci (2011). "Hitchhiker's guide to the fractional Sobolev spaces".]
* [https://arxiv.org/PS_cache/arxiv/pdf/1104/1104.4345v2.pdf Eleonora Di Nezza, Giampiero Palatucci, Enrico Valdinoci (2011). "Hitchhiker's guide to the fractional Sobolev spaces".]


{{Functional analysis}}
[[Category:Articles with hatnote templates targeting a nonexistent page|Sobolev Space]]
{{Banach spaces}}
[[Category:CS1 English-language sources (en)]]
{{Lp spaces}}
[[Category:Collapse templates|Sobolev Space]]
 
[[Category:Created On 24/04/2023|Sobolev Space]]
{{DEFAULTSORT:Sobolev Space}}[[Category: सोबोलेव स्पेस| सोबोलेव स्पेस]] [[Category: फूरियर विश्लेषण]] [[Category: आंशिक गणना]] [[Category: समारोह रिक्त स्थान]]  
[[Category:Machine Translated Page|Sobolev Space]]
 
[[Category:Navigational boxes| ]]
 
[[Category:Navigational boxes without horizontal lists|Sobolev Space]]
 
[[Category:Pages with maths render errors]]
[[Category: Machine Translated Page]]
[[Category:Pages with script errors|Sobolev Space]]
[[Category:Created On 24/04/2023]]
[[Category:Sidebars with styles needing conversion|Sobolev Space]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Sobolev Space]]

Latest revision as of 10:43, 4 May 2023

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

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

मोटीवेशन

इस खंड में और पूरे लेख में, का खुला उपसमुच्चय है।

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

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


भागों के सूत्र द्वारा एकीकरण से प्रत्येक के लिए यह प्राप्त होता है। जहाँ एक प्राकृतिक संख्या को दर्शाता है और कॉम्पैक्ट समर्थन के साथ सभी असीमित विभिन्न प्रकार फलनों के लिए-

जहाँ आदेश का एक बहु-सूचकांक है। और हम नोटेशन का उपयोग कर रहे हैं:

इस समीकरण का बायां पक्ष अभी भी समझ में आता है। यदि स्थानीय रूप से एकीकृत होने के लिए हम केवल मान लें। यदि कोई स्थानीय रूप से एकीकृत फलन उपस्थित है। ऐसा है कि-

फिर हम अशक्त व्युत्पन्न आंशिक व्युत्पन्न प्रदर्शित करते हैं। यदि कोई अशक्त आंशिक व्युत्पन्न है। तब इसे लगभग प्रत्येक स्थान पर विशिष्ट रूप से परिभाषित किया जाता है और इस प्रकार यह विशिष्ट रूप से Lp स्थान के एक तत्व के रूप में निर्धारित होता है। उसी प्रकार दूसरी ओर यदि है। तब मौलिक और अशक्त व्युत्पन्न मिलते हैं। इस प्रकार यदि एक अशक्त आंशिक व्युत्पन्न है। हम इसे द्वारा निरूपित कर सकते हैं।

उदाहरण के लिए फलन-

शून्य पर निरंतर नहीं है और -1, 0, या 1 पर अवकलनीय नहीं है। फिर भी फलन

के अशक्त व्युत्पन्न होने की परिभाषा को पूर्णरूप से संतुष्ट करता है। जो उस समय सोबोलिव स्पेस में होने के योग्य है। (किसी भी अनुमति के लिए नीचे परिभाषा देखें)।

सोबोलेव रिक्त स्थान अशक्त भिन्नता और Lp मानदंड की अवधारणाओं को मिश्रित करें।

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

एक आयामी स्थिति

एक आयामी स्थिति में सोबोलेव स्पेस के लिए फलनों के सबसेट में के रूप में परिभाषित किया गया है| ऐसा प्रदर्शित होता है कि और इसके अशक्त डेरिवेटिव ऑर्डर तक एक परिमित Lp मापदंड है। जैसा कि ऊपर उल्लेख किया गया है कि उचित अर्थों में डेरिवेटिव को परिभाषित करने के लिए कुछ सावधानी रखनी चाहिए। एक आयामी हल में यह मान लेना पर्याप्त है कि -वें व्युत्पन्न लगभग प्रत्येक स्थान पर विभिन्न प्रकार है और इसके व्युत्पन्न के लेबेस्ग्यू एकीकरण के लिए लगभग प्रत्येक स्थान पर समान हैं (इसमें अप्रासंगिक उदाहरण सम्मिलित नहीं हैं। जैसे कि कैंटर फलन | कैंटर का फलन)।

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

कोई इसे स्थिति तक मानक के साथ बढ़ा सकता है। तब आवश्यक सुप्रीमम और आवश्यक न्यूनतम का उपयोग करके परिभाषित किया जा सकता है।

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

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

स्थिति p = 2

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

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

जहाँ , की फूरियर श्रृंखला है और 1-टोरस को प्रदर्शित करता है। ऊपरोक्त कोई समकक्ष मानदंड का उपयोग कर सकता है-

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

इसके अतिरिक्त स्पेस स्पेस के समान एक आंतरिक उत्पाद स्थान को स्वीकार करता है। वास्तव में आंतरिक उत्पाद के संदर्भ में परिभाषित किया गया है:

स्पेस इस आंतरिक उत्पाद के साथ हिल्बर्ट स्पेस बन जाता है।

अन्य उदाहरण

एक आयाम में कुछ अन्य सोबोलिव रिक्त स्थान एक सरल वर्णन की अनुमति देते हैं। उदाहरण के लिए पर पूर्ण निरंतरता का स्थान है (या किन्तु फलनों के समतुल्य वर्ग जो लगभग प्रत्येक स्थान पर समान हैं), किन्तु प्रत्येक अंतराल के लिए I परिबद्ध लिप्सचिट्ज़ निरंतरता का स्थान है। चूंकि ये गुण नष्ट हो गए हैं या एक से अधिक चर के फलनों के लिए अधिक सरल नहीं हैं।

सभी रिक्त स्थान एक क्षेत्र पर बीजगणित (सामान्य) हैं। अर्थात् दो तत्वों का उत्पाद एक बार पुनः इस सोबोलिव स्पेस का एक फलन है। जो कि की स्थिति नहीं है (उदाहरण के लिए |x|1/3 जैसा व्यवहार करने वाले फलन मूल में हैं। किन्तु ऐसे दो फलनों का उत्पाद में अंदर नहीं है।)

बहुआयामी स्थिति

बहुत से आयामों में परिवर्तन परिभाषा से प्रारम्भ करके अधिक कठिनाइयाँ प्रदर्शित करता है। इसमें आवश्यकता है कि , का अभिन्न अंग हो। जो सामान्यीकरण नहीं करता है और सबसे सरल हल वितरण (गणित) के अर्थ में डेरिवेटिव पर विचार करना है।

एक औपचारिक परिभाषा अब इस प्रकार है। माना कि सोबोलेव स्पेस सभी फलनों पर के समुच्चय के रूप में परिभाषित किया गया है। ऐसा है कि प्रत्येक बहु-सूचकांक के लिए के साथ, मिश्रित आंशिक व्युत्पन्न-

अशक्त व्युत्पन्न अर्थ में उपस्थित है और अंदर में स्थित है। अर्थात्

अर्थात् सोबोलेव स्पेस परिभाषित किया जाता है।

प्राकृतिक संख्या सोबोलेव स्पेस का क्रम कहा जाता है।

के लिए एक मानक के लिए कई विकल्प हैं। जिसमें निम्नलिखित दो सामान्य हैं और सामान्य (गणित) गुण के अर्थ में समकक्ष हैं:

और

इनमें से किसी भी मानदंड के संबंध में, एक बनौच स्थान है। के लिए एक वियोज्य स्थान भी है। द्वारा निरूपित करना परम्परागत है। इसके लिए नॉर्मड के साथ एक हिल्बर्ट स्थान है।[1]

स्मूथ फलनों द्वारा सन्निकटन-

केवल उनकी परिभाषा के आधार पर सोबोलेव रिक्त स्थान के साथ कार्य करना कठिन है। इसलिए यह जानना अधिक उचित है कि मेयर्स-सेरिन प्रमेय द्वारा एक फलन सुचारू फलनों द्वारा अनुमानित किया जा सकता है। यह तथ्य अधिकांशतः हमें स्मूथ फलनों के गुणों को सोबोलेव फलनों में अनुवाद करने की अनुमति प्रदान करता है। यदि परिमित है और खुला हुआ समुच्चय है। तो किसी के लिए फलनों का अनुमानित क्रम उपस्थित है। ऐसा है कि:

यदि लिप्सचिट्ज़ सीमा है। हम यह भी मान सकते हैं कि सभी पर कॉम्पैक्ट समर्थन के साथ स्मूथ सभी फलनों का प्रतिबंध है[2]


उदाहरण

उच्च आयामों में, यह अब सच नहीं है कि, उदाहरण के लिए केवल निरंतर फलन सम्मिलित हैं। उदाहरण के लिए, जहाँ यूनिट बॉल तीन आयामों में है। के लिए स्पेस केवल निरंतर फलन सम्मिलित होंगे। किन्तु किसके लिए यह पहले से ही सच है। दोनों और आयाम पर निर्भर करता है । उदाहरण के लिए जैसा कि फलन के गोलाकार ध्रुवीय निर्देशांक का उपयोग करके सरलता से जांचा जा सकता है। हमारे पास एन-डायमेंशनल बॉल पर परिभाषित है:

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

सोबोलेव प्रफलनों का निरन्तर ऑन लाइन्स (एसीएल) अभिलक्षणन

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

एक शक्तिशाली परिणाम तब होता है, जब में एक फलन है। माप शून्य के एक समुच्चय पर संशोधित करने के बाद होल्डर निरंतर एक्सपोनेंट सोबोलेव असमानता द्वारा मोरे की असमानता द्वारा प्रदर्शित होता है। विशेष रूप से यदि और लिप्सचिट्ज़ सीमा है। तो फलन लिप्सचिट्ज़ निरंतर है।

सीमा पर विलुप्त होने वाले फलन

सोबोलेव स्पेस द्वारा भी प्रदर्शित किया गया है। यह एक हिल्बर्ट स्पेस है। जिसमें एक महत्वपूर्ण सबस्पेस है। असीमित रूप से समर्थित असीमित फलनों को बंद करने के रूप में में परिभाषित किया गया है। ऊपरोक्त परिभाषित सोबोलेव मानदंड यहाँ तक कम हो जाता है।

जब एक नियमित सीमा है, में फलनों के स्थान के रूप में वर्णित किया जा सकता है। जो चिन्ह के अर्थ में सीमा पर विलुप्त हो जाता है (सोबोलेव स्पेस#एक्सटेंशन बाई जीरो)। जब यदि एक परिबद्ध अंतराल है। तब पर फार्म का निरंतर फलन होते हैं।

जहां सामान्यीकृत व्युत्पन्न में है और 0 अभिन्न है। जिससे जब घिरा हुआ है। पॉइनकेयर असमानता बताती है कि एक स्थिरांक है। ऐसा है कि:

जब बँधा हुआ है, को से इंजेक्शन कॉम्पैक्ट ऑपरेटर है। यह तथ्य डिरिचलेट समस्या के अध्ययन में एक भूमिका प्रदान करता है और इस तथ्य में कि इसका एक ऑर्थोनॉर्मल आधार लाप्लास ऑपरेटर के ईजेनवेक्टरों से मिलकर (डिरिचलेट सीमा स्थिति के साथ) उपस्थित है।

चिन्ह

आंशिक अंतर समीकरणों की जांच करते समय सोबोलिव रिक्त स्थान अधिकांशतः माना जाता है। सोबोलिव फलनों के सीमा मूल्यों पर विचार करना आवश्यक है। यदि उन सीमा मानों को प्रतिबंध द्वारा वर्णित किया गया है। चूंकि यह स्पष्ट नहीं है कि सीमा के लिये पर मूल्यों का वर्णन कैसे किया जाए क्योंकि सीमा का n-आयामी माप शून्य है। जिससे निम्नलिखित प्रमेय[2]समस्या का हल प्राप्त करता है:

Trace theorem — Assume Ω is bounded with Lipschitz boundary. Then there exists a bounded linear operator such that

Tu को u का भाग कहा जाता है। सामान्यतः बोलते हुए यह प्रमेय प्रतिबंध ऑपरेटर को सोबोलिव स्पेस अच्छे व्यवहार के लिए Ω तक फैलाता है। ध्यान दें कि ट्रेस ऑपरेटर T सामान्य रूप से विशेषण नहीं है। किन्तु 1 <p <∞ के लिए यह सोबोलेव-स्लोबोडेकिज स्पेस पर निरंतर मैप करता है।

सहज रूप से ट्रेस लेने से डेरिवेटिव का 1/p व्यय होता है। u फलन W1,p(Ω) में शून्य ट्रेस के साथ करता है, अर्थात् Tu = 0 समान रूप से विभाजित हो सकती है।

जहाँ-

दूसरे शब्दों में Ω के लिए लिप्सचिट्ज़ सीमा के साथ घिरा हुआ है। में ट्रेस-शून्य फलन कॉम्पैक्ट समर्थन के साथ स्मूथ फलनों द्वारा अनुमान लगाया जा सकता है।


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

बेसेल संभावित स्थान

एक प्राकृतिक संख्या k और 1 < p < ∞ के लिए (गुणक (फूरियर विश्लेषण) का उपयोग करके[3][4]) कोई दिखा सकता है कि स्पेस के रूप में समान रूप से परिभाषित किया जा सकता है।

नॉर्मड के साथ-

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

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

के लिए, फलनों के प्रतिबंधों का समुच्चय Ω मानक से प्रतिबंधित करने के लिए है।

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

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

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

जहाँ:


सोबोलेव-स्लोबोडेकिज स्पेस

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

माना कि s > 0 पूर्णांक न हो और समुच्चय हो। होल्डर रिक्त स्थान के समान विचार का उपयोग करते हुए, सोबोलेव-स्लोबोडेकिज स्थान[7] परिभाषित किया जाता है।

यह मानक के लिए एक बनैच स्थान है-

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

अनियमित Ω के ऐसे उदाहरण हैं कि की सदिश उपसमष्टि , 0 <s <1 के लिए भी नहीं है। (उदाहरण 9.1 देखें [8])

अमूर्त दृष्टिकोण से रिक्त स्थान सोबोलिव रिक्त स्थान के वास्तविक इंटरपोलेशन रिक्त स्थान के साथ मिलान करता है, अर्थात् समकक्ष मापदंडों के अर्थ में निम्नलिखित को प्रदर्शित करता है:

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


एक्सटेंशन ऑपरेटर

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

  1. Au(x) = u(x) लगभग प्रत्येक x के लिए और
  2. किसी भी 1 ≤ p ≤ ∞ और पूर्णांक k के लिए सतत(निरंतर) है।

हम ऐसे ऑपरेटर A को के लिये एक्सटेंशन ऑपरेटर कहते हैं।


P=2 की स्थिति-

एक्सटेंशन ऑपरेटर परिभाषित करने का सबसे स्वाभाविक उपाय है। गैर-पूर्णांक s के लिए (हम सीधे Ω पर काम नहीं कर सकते। चूंकि फूरियर ट्रांसफॉर्म लेना एक ग्लोबल ऑपरेशन है)। हम परिभाषित करते हैं। ऐसा कहकर यदि और केवल यदि समतुल्य रूप से जटिल इंटरपोलेशन समान परिणाम देता है। रिक्त स्थान जब तक एक एक्सटेंशन ऑपरेटर है। यदि कोई एक्सटेंशन ऑपरेटर नहीं है। जटिल इंटरपोलेशन प्राप्त करने का रिक्त स्थान एकमात्र उपाय है।

परिणाम स्वरूप प्रक्षेप असमानता अभी भी उपस्थित है।

शून्य से विस्तार

जैसे ऊपर, हम में बंद होना स्पेस का असीम रूप से विभिन्न प्रकार कॉम्पैक्ट रूप से समर्थित फलनों को परिभाषित करते हैं। ऊपर दिए गए ट्रेस की परिभाषा को देखते हुए, हम निम्नलिखित जानकारी प्राप्त कर सकते हैं-

Theorem — Let be uniformly Cm regular, ms and let P be the linear map sending u in to

where d/dn is the derivative normal to G, and k is the largest integer less than s. Then is precisely the kernel of P.

यदि हम इसके विस्तार को प्राकृतिक प्रकार से शून्य से परिभाषित कर सकते हैं, अर्थात्-

Theorem — Let The map is continuous into if and only if s is not of the form for n an integer.

के लिए fLp(Ω) इसका विस्तार शून्य से,

का एक तत्व है। आगे,

सोबोलेव स्पेस के स्थिति में W1,p(Ω) के लिए 1 ≤ p ≤ ∞ एक फलन u को शून्य से विस्तारित करने से आवश्यक रूप से एक तत्व नहीं प्राप्त होगा। किन्तु यदि Ω लिपशिट्ज सीमा से घिरा है (उदाहरण के लिए ∂Ω C1 है), तो किसी भी बंधे हुए खुले समुच्चय O के लिए जैसे कि Ω⊂⊂O (अर्थात् Ω कॉम्पैक्ट रूप से O में सम्मिलित है), एक परिबद्ध रैखिक ऑपरेटर उपस्थित है।[2]

ऐसा कि प्रत्येक के लिए ए.ई. Ω पर, Eu के पास O के अन्दर कॉम्पैक्ट समर्थन है और केवल p, Ω, O और आयाम n के आधार पर एक निरंतर C उपस्थित है। जैसे कि

हम का विस्तार को प्रदर्शित करते हैे।


सोबोलेव एम्बेडिंग

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

डायमेंशन n के कुछ कॉम्पैक्ट रीमैनियन मैनिफोल्ड के सोबोलेव स्पेस के लिए लिखना। यहाँ k कोई भी वास्तविक संख्या हो सकती है और 1 ≤ p ≤ ∞। (p = ∞ सोबोलेव स्पेस के लिए होल्डर स्पेस Cn के रूप में परिभाषित किया गया है। जहां k = n + α और 0 < α ≤ 1.) सोबोलेव एम्बेडिंग प्रमेय कहता है कि यदि और तब-

और एम्बेडिंग निरंतर है। इसके अतिरिक्त यदि और , तो एम्बेडिंग पूर्णतयः निरंतर है (इसे कभी-कभी कोंद्राचोव का प्रमेय या रेलिच-कोंड्राचोव प्रमेय कहा जाता है)। फलन में m निरंतर से कम क्रम के सभी डेरिवेटिव हैं। इसलिए विशेष रूप से यह विभिन्न डेरिवेटिव के निरंतर होने के लिए सोबोलेव रिक्त स्थान पर स्थितियां देता है। अनौपचारिक रूप से ये एम्बेडिंग कहते हैं कि Lp को परिवर्तित करने के लिए परिबद्धता अनुमान के लिए अनुमान प्रति आयाम 1/p डेरिवेटिव व्यय करता है।

गैर-कॉम्पैक्ट मैनिफोल्ड्स के लिए एम्बेडिंग प्रमेय के समान रूपांतर हैं। जैसे (Stein 1970). पर सोबोलेव एम्बेडिंग संचालित है। जो कॉम्पैक्ट नहीं होते हैं, उनमें अधिकांशतः एक संबंधित, किन्तु अशक्त कोकॉम्पैक्टनेस का गुण प्रदर्शित होता है।

यह भी देखें

टिप्पणियाँ

  1. Evans 2010, Chapter 5.2
  2. 2.0 2.1 2.2 Adams & Fournier 2003
  3. Bergh & Löfström 1976
  4. 4.0 4.1 Triebel 1995
  5. Bessel potential spaces with variable integrability have been independently introduced by Almeida & Samko (A. Almeida and S. Samko, "Characterization of Riesz and Bessel potentials on variable Lebesgue spaces", J. Function Spaces Appl. 4 (2006), no. 2, 113–144) and Gurka, Harjulehto & Nekvinda (P. Gurka, P. Harjulehto and A. Nekvinda: "Bessel potential spaces with variable exponent", Math. Inequal. Appl. 10 (2007), no. 3, 661–676).
  6. Lunardi 1995
  7. In the literature, fractional Sobolev-type spaces are also called Aronszajn spaces, Gagliardo spaces or Slobodeckij spaces, after the names of the mathematicians who introduced them in the 1950s: N. Aronszajn ("Boundary values of functions with finite Dirichlet integral", Techn. Report of Univ. of Kansas 14 (1955), 77–94), E. Gagliardo ("Proprietà di alcune classi di funzioni in più variabili", Ricerche Mat. 7 (1958), 102–137), and L. N. Slobodeckij ("Generalized Sobolev spaces and their applications to boundary value problems of partial differential equations", Leningrad. Gos. Ped. Inst. Učep. Zap. 197 (1958), 54–112).
  8. Di Nezza, Eleonora; Palatucci, Giampiero; Valdinoci, Enrico (2012-07-01). "Hitchhikerʼs guide to the fractional Sobolev spaces". Bulletin des Sciences Mathématiques (in English). 136 (5): 521–573. doi:10.1016/j.bulsci.2011.12.004. ISSN 0007-4497.


संदर्भ


बाहरी संबंध