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

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


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


इस खंड में और पूरे लेख में, <math>\R^n.</math> का [[खुला उपसमुच्चय]] <math>\Omega</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> आदि) अंतर समीकरणों के हल का अध्ययन करने के लिए बिल्कुल सही स्थान नहीं था। सोबोलेव रिक्त स्थान इन स्थानों के लिए आधुनिक प्रतिस्थापन हैं। जिसमें आंशिक अंतर समीकरणों के समाधान की जानकारी की जाती है।
अंतर समीकरण के अंतर्निहित मॉडल की मात्रा या गुण सामान्यतः अभिन्न मापदंडों के संदर्भ में व्यक्त किए जाते हैं। एक विशिष्ट उदाहरण 𝐿 2 -नॉर्मड द्वारा तापमान या वेग वितरण की ऊर्जा को माप रहा है। इसलिए यह महत्वपूर्ण है कि Lp स्पेस फलन को विभेदित करने के लिए एक टूल विकसित किया जाए।




Line 19: Line 20:


:<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>u</math> प्रदर्शित करते हैं। यदि कोई अशक्त आंशिक व्युत्पन्न <math>u</math> है। तब इसे [[लगभग हर जगह|लगभग प्रत्येक स्थान पर]] विशिष्ट रूप से परिभाषित किया जाता है और इस प्रकार यह विशिष्ट रूप से एलपी स्थान के एक तत्व के रूप में निर्धारित होता है। उसी प्रकार दूसरी ओर यदि <math>u\in C^k(\Omega)</math> है। तब मौलिक और अशक्त व्युत्पन्न मिलते हैं। इस प्रकार यदि <math>v</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> द्वारा निरूपित कर सकते हैं।


उदाहरण के लिए फलन-  
उदाहरण के लिए फलन-  
Line 38: Line 39:
<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 मानदंड]] की अवधारणाओं को मिश्रित करें।


'''<u><big>पूर्णांक k के साथ सोबोलेव रिक्त स्थान-</big></u>'''
'''<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> लगभग प्रत्येक स्थान पर विभिन्न प्रकार है और इसके व्युत्पन्न के लेबेस्ग्यू एकीकरण के लिए लगभग प्रत्येक स्थान पर समान हैं (इसमें अप्रासंगिक उदाहरण सम्मिलित नहीं हैं। जैसे कि कैंटर फलन | कैंटर का फलन)।


इस परिभाषा के साथ सोबोलेव रिक्त स्थान एक प्राकृतिक नॉर्म्ड सदिश स्थान स्वीकार करते हैं,
इस परिभाषा के साथ सोबोलेव रिक्त स्थान एक प्राकृतिक नॉर्म्ड सदिश स्थान स्वीकार करते हैं,
Line 81: Line 82:
बहुत से आयामों में परिवर्तन परिभाषा से प्रारम्भ करके अधिक कठिनाइयाँ प्रदर्शित करता है। इसमें आवश्यकता है कि <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>\Omega</math> पर <math>f</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>
Line 106: Line 107:
इनमें से किसी भी मानदंड के संबंध में, <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>
इनमें से किसी भी मानदंड के संबंध में, <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> ====
==== <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>
Line 114: Line 115:
==== उदाहरण ====
==== उदाहरण ====


उच्च आयामों में, यह अब सच नहीं है कि, उदाहरण <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>
Line 120: Line 121:


==== सोबोलेव प्रफलनों का निरन्तर ऑन लाइन्स (एसीएल) अभिलक्षणन ====
==== सोबोलेव प्रफलनों का निरन्तर ऑन लाइन्स (एसीएल) अभिलक्षणन ====
माना कि <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>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> लिप्सचिट्ज़ सीमा है। तो फलन लिप्सचिट्ज़ निरंतर है।
एक शक्तिशाली परिणाम तब होता है, जब <math>p>n.</math> में एक <math>W^{1,p}(\Omega)</math> फलन है। माप शून्य के एक समुच्चय पर संशोधित करने के बाद होल्डर निरंतर एक्सपोनेंट <math>\gamma = 1 - \tfrac{n}{p},</math> सोबोलेव असमानता द्वारा मोरे की असमानता द्वारा प्रदर्शित होता है। विशेष रूप से यदि <math>p=\infty</math> और <math>\Omega</math> लिप्सचिट्ज़ सीमा है। तो फलन लिप्सचिट्ज़ निरंतर है।
Line 141: Line 142:
{{See also|ट्रेस ऑपरेटर}}
{{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 156: Line 157:


:<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> में ट्रेस-शून्य फलन कॉम्पैक्ट समर्थन के साथ स्मूथ फलनों द्वारा अनुमान लगाया जा सकता है।




Line 209: Line 210:
== एक्सटेंशन ऑपरेटर ==
== एक्सटेंशन ऑपरेटर ==


यदि <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 === का स्थिति
'''<big><u>P=2 की स्थिति-</u></big>'''


एक्सटेंशन ऑपरेटर परिभाषित करने का सबसे स्वाभाविक तरीका है <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> रिक्त स्थान।
एक्सटेंशन ऑपरेटर <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.


संदर्भ


बाहरी संबंध