ट्रेस ऑपरेटर

गणित में, ट्रेस ऑपरेटर प्रोग्राम की धारणा को उसके डोमेन की सीमा तक सोबोलेव स्पेस में सामान्यीकृत प्रोग्राम तक बढ़ाता है। यह विशेष रूप से निर्धारित सीमा स्थितियों (सीमा मूल्य समस्याओं) के साथ आंशिक अंतर समीकरणों के अध्ययन के लिए महत्वपूर्ण है, जहां कमजोर समाधान नियमित रूप से कार्यों के शास्त्रीय अर्थों में सीमा शर्तों को पूरा करने के लिए पर्याप्त नहीं हो सकते हैं।

प्रेरणा
एक सीमित, चिकने डोमेन पर (गणितीय विश्लेषण) $\Omega \subset \mathbb R^n$, विषम डिरिचलेट सीमा शर्तों के साथ पोइसन के समीकरण को हल करने की समस्या पर विचार करें:


 * $$\begin{alignat}{2}

-\Delta u &= f &\quad&\text{in } \Omega,\\ u &= g &&\text{on } \partial \Omega \end{alignat}$$ दिए गए कार्यों के साथ $f$ तथा $g$  ट्रेस ऑपरेटर नीचे दिए गए आवेदन में चर्चा की गई नियमितता के साथ। कमजोर उपाय $u \in H^1(\Omega)$  इस समीकरण को संतुष्ट करना चाहिए


 * $$\int_\Omega \nabla u \cdot \nabla \varphi \,\mathrm dx = \int_\Omega f \varphi \,\mathrm dx$$ सभी के लिए $\varphi \in H^1_0(\Omega)$ . $H^1(\Omega)$ वें>- की नियमितता $u$ इस अभिन्न समीकरण की अच्छी तरह से परिभाषित करने के लिए पर्याप्त है। हालाँकि, यह स्पष्ट नहीं है कि किस अर्थ में $u$  सीमा शर्त को पूरा कर सकते हैं $u = g$  पर $\partial \Omega$ : परिभाषा से, $u \in H^1(\Omega) \subset L^2(\Omega)$  फलनों का एक तुल्यता वर्ग है जिस पर मनमाना मान हो सकता है $\partial \Omega$  चूंकि यह एन-आयामी लेबेस्गु माप के संबंध में एक शून्य सेट है।

यदि $\Omega \subset \mathbb R^1$ वहाँ रखती है $H^1(\Omega) \hookrightarrow C^0(\bar \Omega)$  सोबोलेव असमानता द्वारा, सोबोलेव का एम्बेडिंग प्रमेय, जैसे कि $u$  शास्त्रीय अर्थों में सीमा की स्थिति को संतुष्ट कर सकता है, अर्थात  $u$  प्रति $\partial \Omega$  समारोह से सहमत हैं $g$  (अधिक सटीक रूप से : का एक प्रतिनिधि मौजूद है $u$  में $C(\bar \Omega)$  इस संपत्ति के साथ)।  $\Omega \subset \mathbb R^n$  साथ $n > 1$  के लिये ऐसा एम्बेडिंग मौजूद नहीं है और ट्रेस ऑपरेटर $T$  का उपयोग $u |_{\partial \Omega}$  का अर्थ देने के लिए किया जाना चाहिए | फिर $u \in H^1(\Omega)$   के साथ $T u = g$  को सीमा मान समस्या का एक कमजोर समाधान कहा जाता है यदि ऊपर दिए गए अभिन्न समीकरण को संतुष्ट किया जाता है। ट्रेस ऑपरेटर की परिभाषा उचित होने के लिए, पर्याप्त रूप से नियमित  $T u = u |_{\partial \Omega}$  के लिए $u$  होना चाहिए |

ट्रेस प्रमेय
ट्रेस ऑपरेटर को सोबोलेव स्पेस में कार्यों के लिए परिभाषित किया जा सकता है $W^{1,p}(\Omega)$ साथ $1 \leq p < \infty$, अन्य स्थानों पर ट्रेस के संभावित विस्तार के लिए नीचे दिया गया अनुभाग देखें। होने देना $\Omega \subset \mathbb R^n$  के लिये $n \in \mathbb N$  Lipschitz सीमा के साथ एक परिबद्ध डोमेन हो। फिर वहाँ एक परिबद्ध रेखीय ट्रेस ऑपरेटर मौजूद है
 * $$T\colon W^{1, p}(\Omega) \to L^p(\partial \Omega)$$

ऐसा है कि $T$ शास्त्रीय ट्रेस का विस्तार करता है, अर्थात
 * $$T u = u |_{\partial \Omega}$$ सभी के लिए $u \in W^{1, p}(\Omega) \cap C(\bar \Omega)$.

की निरंतरता $T$ इसका आशय है
 * $$\| T u \|_{L^p(\partial \Omega)} \leq C \| u \|_{W^{1,p}(\Omega)}$$ सभी के लिए $u \in W^{1, p}(\Omega)$ निरंतर के साथ ही निर्भर करता है $p$  तथा $\Omega$ . कार्यक्रम $T u$  का निशान कहा जाता है $u$  और अक्सर इसे केवल द्वारा निरूपित किया जाता है $u |_{\partial \Omega}$ . के लिए अन्य सामान्य प्रतीक $T$  शामिल $tr$  तथा $\gamma$.

निर्माण
यह पैराग्राफ इवांस का अनुसरण करता है, जहां अधिक विवरण मिल सकता है, और यह मान लेता है $\Omega$ एक $C^1$ -सीमा। लिप्सचिट्ज़ डोमेन के लिए ट्रेस प्रमेय का एक प्रमाण (एक मजबूत संस्करण का) गगलियार्डो में पाया जा सकता है। एक पर $C^1$ -डोमेन, ट्रेस ऑपरेटर को ऑपरेटर के निरंतर रैखिक विस्तार के रूप में परिभाषित किया जा सकता है


 * $$T:C^\infty(\bar \Omega)\to L^p(\partial \Omega)$$

अंतरिक्ष के लिए $W^{1, p}(\Omega)$. के घने सेट द्वारा $C^\infty(\bar \Omega)$ में $W^{1, p}(\Omega)$  ऐसा विस्तार संभव है यदि $T$  के संबंध में निरंतर है $W^{1, p}(\Omega)$ -आदर्श। इसका प्रमाण, यानी कि मौजूद है $C > 0$  (इस पर निर्भर करते हुए $\Omega$  तथा $p$ ) ऐसा है कि


 * $$\|Tu\|_{L^{p}(\partial \Omega)}\le C \|u\|_{W^{1, p}(\Omega)}$$ सभी के लिए $$u \in C^\infty(\bar \Omega).$$

ट्रेस ऑपरेटर के निर्माण में केंद्रीय घटक है। के लिए इस अनुमान का एक स्थानीय संस्करण $C^1(\bar \Omega)$ विचलन प्रमेय का उपयोग करते हुए स्थानीय रूप से सपाट सीमा के लिए -फंक्शन पहले सिद्ध होते हैं। परिवर्तन द्वारा, एक सामान्य $C^1$ -इस मामले को कम करने के लिए सीमा को स्थानीय रूप से सीधा किया जा सकता है, जहां $C^1$ -रूपांतरण की नियमितता के लिए आवश्यक है कि स्थानीय अनुमान धारण करे $C^1(\bar \Omega)$ -कार्य।

ट्रेस ऑपरेटर की इस निरंतरता के साथ $C^\infty(\bar \Omega)$ के लिए एक विस्तार $W^{1, p}(\Omega)$  सार तर्कों से मौजूद है और $Tu$  के लिये $u \in W^{1, p}(\Omega)$  निम्नानुसार चित्रित किया जा सकता है। होने देना $u_k \in C^\infty(\bar \Omega)$  अनुमानित अनुक्रम हो $u \in W^{1, p}(\Omega)$  घनत्व से। की सिद्ध निरंतरता से $T$  में $C^\infty(\bar \Omega)$  क्रम $u_k |_{\partial \Omega}$  में एक कॉची क्रम है $L^p(\partial \Omega)$  तथा $T u = \lim_{k \to \infty} u_k |_{\partial \Omega}$  सीमा में लिया गया $L^p(\partial \Omega)$.

एक्सटेंशन संपत्ति $T u = u |_{\partial \Omega}$ के लिए रखता है $u \in C^{\infty}(\bar \Omega)$  निर्माण द्वारा, लेकिन किसी के लिए $u \in W^{1, p}(\Omega) \cap C(\bar \Omega)$  एक क्रम होता है $u_k \in C^\infty(\bar \Omega)$  जो समान रूप से अभिसरण करता है $\bar \Omega$  प्रति $u$, बड़े सेट पर एक्सटेंशन प्रॉपर्टी की पुष्टि करना $W^{1, p}(\Omega) \cap C(\bar \Omega)$.

मामला पी = ∞
यदि $\Omega$ घिरा हुआ है और एक है $C^1$ -सीमा तब मोरे की असमानता से एक सतत एम्बेडिंग मौजूद है $W^{1, \infty}(\Omega) \hookrightarrow C^{0, 1}(\Omega)$, कहाँ पे $C^{0, 1}(\Omega)$  Lipschitz निरंतरता कार्यों के स्थान को दर्शाता है। विशेष रूप से, कोई समारोह $u \in W^{1, \infty}(\Omega)$  एक शास्त्रीय निशान है $u |_{\partial \Omega} \in C(\partial \Omega)$  और वहाँ रखती है


 * $$\| u |_{\partial \Omega} \|_{C(\partial \Omega)} \leq \| u \|_{C^{0, 1}(\Omega)} \leq C \| u \|_{W^{1, \infty}(\Omega)}.$$

ट्रेस शून्य के साथ कार्य
सोबोलेव रिक्त स्थान $W^{1,p}_0(\Omega)$ के लिये $1 \leq p < \infty$  क्लोजर (टोपोलॉजी) के रूप में परिभाषित किया गया है # कॉम्पैक्ट रूप से समर्थित परीक्षण कार्यों के सेट के सेट का क्लोजर $C^\infty_c(\Omega)$  के प्रति सम्मान के साथ $W^{1, p}(\Omega)$ -आदर्श। निम्नलिखित वैकल्पिक लक्षण वर्णन धारण करता है:


 * $$W^{1, p}_0(\Omega) = \{ u \in W^{1, p}(\Omega) \mid T u = 0 \} = \ker(T\colon W^{1, p}(\Omega) \to L^p(\partial \Omega)),$$

कहाँ पे $\ker(T)$ का कर्नेल (रैखिक बीजगणित) है $T$, अर्थात। $W^{1, p}_0(\Omega)$  में कार्यों का उप-स्थान है $W^{1, p}(\Omega)$  ट्रेस जीरो के साथ।

पी> 1
के लिए

ट्रेस ऑपरेटर पर विशेषण नहीं है $L^p(\partial \Omega)$ यदि $p > 1$, यानी हर समारोह में नहीं $L^p(\partial \Omega)$  में एक समारोह का निशान है $W^{1, p}(\Omega)$. जैसा कि नीचे दी गई छवि में ऐसे कार्य शामिल हैं जो एक को संतुष्ट करते हैं $L^p$ -होल्डर स्थिति का संस्करण|होल्डर निरंतरता।

सार लक्षण वर्णन
की छवि (गणित) का एक सार लक्षण वर्णन $T$ निम्नानुसार व्युत्पन्न किया जा सकता है। समरूपता प्रमेयों द्वारा वहाँ धारण किया जाता है


 * $$T(W^{1,p}(\Omega)) \cong W^{1, p}(\Omega) / \ker(T\colon W^{1, p}(\Omega) \to L^p(\partial \Omega)) = W^{1, p}(\Omega) / W^{1, p}_0(\Omega)$$

कहाँ पे $X / N$ बानाच स्थान के भागफल स्थान (रैखिक बीजगणित) को दर्शाता है $X$  उपक्षेत्र द्वारा $N \subset X$  और अंतिम पहचान के लक्षण वर्णन से होती है $W^{1, p}_0(\Omega)$  ऊपर से। द्वारा परिभाषित भागफल स्थान को भागफल मानदंड से लैस करना


 * $$\|u\|_{W^{1, p}(\Omega) / W^{1, p}_0(\Omega)} = \inf_{u_0 \in W^{1, p}_0(\Omega)} \|u - u_0\|_{W^{1, p}(\Omega)}$$

ट्रेस ऑपरेटर $T$ तब एक विशेषण, परिबद्ध रैखिक संकारक है


 * $$T\colon W^{1, p}(\Omega) \to W^{1, p}(\Omega) / W^{1, p}_0(\Omega) $$.

सोबोलेव-स्लोबोडेकिज रिक्त स्थान का उपयोग करते हुए अभिलक्षणन
की छवि का अधिक ठोस प्रतिनिधित्व $T$ सोबोलेव स्पेस#सोबोलेव-स्लोबोडेकिज स्पेस का उपयोग करके दिया जा सकता है|सोबोलेव-स्लोबोडेकिज स्पेस जो धारक के निरंतर कार्यों की अवधारणा को सामान्यीकृत करता है $L^p$ -स्थापना। तब से $\partial \Omega$  एक (n-1)-आयामी लिप्सचिट्ज़ टोपोलॉजिकल मैनिफोल्ड में एम्बेडेड है $\mathbb R^n$  इन स्थानों का एक स्पष्ट लक्षण वर्णन तकनीकी रूप से शामिल है। सरलता के लिए पहले एक समतलीय डोमेन पर विचार करें $\Omega' \subset \mathbb R^{n-1}$. के लिये $v \in L^p(\Omega')$ (संभवतः अनंत) मानक को परिभाषित करें

जो होल्डर की स्थिति को सामान्य करता है $| v(x) - v(y) | \leq C | x - y|^{1-1/p}$. फिर
 * $$\| v \|_{W^{1-1/p, p}(\Omega')} = \left( \|v\|_{L^p(\Omega')}^p + \int_{\Omega' \times \Omega'} \frac{ | v(x) - v(y) |^p }{|x - y|^{(1 - 1/p) p + (n-1)}}\,\mathrm d(x, y) \right)^{1/p} $$


 * $$W^{1-1/p, p}(\Omega') = \left\{ v \in L^p(\Omega') \;\mid\; \| v \|_{W^{1-1/p, p}(\Omega')} < \infty \right\}$$

पिछले मानदंड से लैस एक बनच स्पेस है (एक सामान्य परिभाषा $W^{s,p}(\Omega')$ गैर-पूर्णांक के लिए $s > 0$  सोबोलेव स्पेस#सोबोलेव-स्लोबोडेकिज स्पेसेस|सोबोलेव-स्लोबोडेकिज स्पेसेस के लिए आलेख में पाया जा सकता है। (N-1)-आयामी लिप्सचिट्ज़ मैनिफोल्ड के लिए $\partial \Omega$  परिभाषित करना $W^{1-1/p, p}(\partial \Omega)$  स्थानीय रूप से सीधा करके $\partial \Omega$  और की परिभाषा के अनुसार आगे बढ़ना $W^{1-1/p, p}(\Omega')$.

अंतरिक्ष $W^{1-1/p, p}(\partial \Omega)$ तब ट्रेस ऑपरेटर की छवि के रूप में पहचाना जा सकता है और वहां होल्ड करता है वह


 * $$T\colon W^{1, p}(\Omega) \to W^{1 - 1/p, p}(\partial \Omega)$$

एक विशेषण, परिबद्ध रैखिक संकारक है।

पी = 1
के लिए

के लिये $p = 1$ ट्रेस ऑपरेटर की छवि है $L^1(\partial \Omega)$  और वहाँ रखती है वह


 * $$T\colon W^{1, 1}(\Omega) \to L^1(\partial \Omega)$$

एक विशेषण, परिबद्ध रैखिक संकारक है।

राइट-इनवर्स: ट्रेस एक्सटेंशन ऑपरेटर
ट्रेस ऑपरेटर कई कार्यों के बाद से इंजेक्शन नहीं है $W^{1, p}(\Omega)$ एक ही निशान हो सकता है (या समकक्ष, $W^{1, p}_0(\Omega) \neq 0$ ). हालांकि ट्रेस ऑपरेटर के पास एक अच्छी तरह से व्यवहार करने वाला राइट-इनवर्स है, जो सीमा पर परिभाषित फ़ंक्शन को पूरे डोमेन तक बढ़ाता है। विशेष तौर पर $1 < p < \infty$ एक परिबद्ध, रैखिक ट्रेस एक्सटेंशन ऑपरेटर मौजूद है


 * $$E\colon W^{1-1/p, p}(\partial \Omega) \to W^{1, p}(\Omega)$$,

पिछले अनुभाग से ट्रेस ऑपरेटर की छवि के सोबोलेव-स्लोबोडेकिज लक्षण वर्णन का उपयोग करते हुए, जैसे कि


 * $$T (E v) = v$$ सभी के लिए $v \in W^{1-1/p, p}(\partial \Omega)$

और, निरंतरता से, मौजूद है $C > 0$ साथ


 * $$\| E v \|_{W^{1, p}(\Omega)} \leq C \| v \|_{W^{1-1/p, p}(\partial \Omega)}$$.

उल्लेखनीय मात्र अस्तित्व नहीं है बल्कि सही व्युत्क्रम की रैखिकता और निरंतरता है। इस ट्रेस एक्सटेंशन ऑपरेटर को सोबोलेव स्पेस # एक्सटेंशन ऑपरेटर | होल-स्पेस एक्सटेंशन ऑपरेटर के साथ भ्रमित नहीं होना चाहिए $W^{1, p}(\Omega) \to W^{1, p}(\mathbb R^n)$ जो सोबोलेव रिक्त स्थान के सिद्धांत में मौलिक भूमिका निभाते हैं।

उच्च डेरिवेटिव
पिछले कई परिणामों को बढ़ाया जा सकता है $W^{m, p}(\Omega)$ उच्च भिन्नता के साथ $m = 2, 3, \ldots$  यदि डोमेन पर्याप्त रूप से नियमित है। होने देना $N$  बाहरी इकाई सामान्य क्षेत्र को निरूपित करें $\partial \Omega$. तब से $u |_{\partial \Omega}$ केवल सामान्य व्युत्पन्न स्पर्शरेखा दिशा में विभेदीकरण गुणों को सांकेतिक शब्दों में बदल सकते हैं $\partial_N u |_{\partial \Omega}$  ट्रेस थ्योरी के लिए अतिरिक्त रुचि है $m = 2$. इसी तरह के तर्क उच्च-क्रम के डेरिवेटिव के लिए लागू होते हैं $m > 2$.

होने देना $1 < p < \infty$ तथा $\Omega \subset \mathbb R^n$  के साथ एक परिबद्ध डोमेन हो $C^{m, 1}$ -सीमा। फिर वहाँ एक विशेषण, परिबद्ध रैखिक उच्च-क्रम ट्रेस ऑपरेटर मौजूद है

सोबोलेव-स्लोबोडेकिज रिक्त स्थान के साथ $W^{s, p}(\partial \Omega)$ गैर-पूर्णांक के लिए $s > 0$  पर परिभाषित $\partial \Omega$  प्लानर मामले में परिवर्तन के माध्यम से $W^{s, p}(\Omega')$  के लिये $\Omega' \subset \mathbb R^{n-1}$, जिसकी परिभाषा सोबोलेव स्पेस#सोबोलेव-स्लोबोडेकिज स्पेसेस|सोबोलेव-स्लोबोडेकिज स्पेसेस पर लेख में विस्तार से दी गई है। परिचालक $T_m$  इस अर्थ में शास्त्रीय सामान्य निशान का विस्तार करता है
 * $$T_m\colon W^{m, p}(\Omega) \to \prod_{l = 0}^{m-1} W^{m-l-1/p,p}(\partial \Omega)$$


 * $$T_m u = \left(u |_{\partial \Omega}, \partial_N u |_{\partial \Omega}, \ldots, \partial_N^{m-1} u |_{\partial \Omega}\right)$$ सभी के लिए $u \in W^{m, p}(\Omega) \cap C^{m-1}(\bar \Omega).$

इसके अलावा, का एक परिबद्ध, रैखिक दाएँ-प्रतिलोम मौजूद है $T_m$, एक उच्च-क्रम ट्रेस एक्सटेंशन ऑपरेटर


 * $$E_m\colon \prod_{l = 0}^{m-1} W^{m-l-1/p,p}(\partial \Omega) \to W^{m, p}(\Omega)$$.

अंत में, रिक्त स्थान $W^{m, p}_0(\Omega)$, का पूरा होना $C^\infty_c(\Omega)$ में $W^{m, p}(\Omega)$ -नॉर्म, के कर्नेल के रूप में वर्णित किया जा सकता है $T_m$ , अर्थात।


 * $$W^{m, p}_0(\Omega) = \{ u \in W^{m, p}(\Omega) \mid T_m u = 0 \}$$.

एल में कोई निशान नहीं पी 
निशान की अवधारणा का कोई समझदार विस्तार नहीं है $L^p(\Omega)$ के लिये $1 \leq p < \infty$  चूँकि क्लासिकल ट्रेस का विस्तार करने वाला कोई भी परिबद्ध रेखीय संचालिका परीक्षण कार्यों के स्थान पर शून्य होना चाहिए $C^\infty_c(\Omega)$, जो का सघन उपसमुच्चय है $L^p(\Omega)$ , जिसका अर्थ है कि ऐसा ऑपरेटर हर जगह शून्य होगा।

सामान्यीकृत सामान्य ट्रेस
होने देना $\operatorname{div} v$ एक वेक्टर क्षेत्र के वितरण विचलन को निरूपित करें $v$. के लिये $1 < p < \infty$ और बाउंडेड लिपशिट्ज डोमेन $\Omega \subset \mathbb R^n$  परिभाषित करना


 * $$E_p(\Omega) = \{ v \in (L^p(\Omega))^n \mid \operatorname{div} v \in L^p(\Omega) \}$$

जो आदर्श के साथ एक बनच स्थान है


 * $$\| v \|_{E_p(\Omega)} = \left( \| v \|_{L^p(\Omega)}^p + \| \operatorname{div} v \|_{L^p(\Omega)}^p \right)^{1/p}$$.

होने देना $N$ बाहरी इकाई सामान्य क्षेत्र को निरूपित करें $\partial \Omega$. फिर वहाँ एक परिबद्ध रैखिक संचालिका मौजूद है


 * $$T_N\colon E_p(\Omega) \to (W^{1-1/q, q}(\partial \Omega))'$$,

कहाँ पे $q = p / (p-1)$ का संयुग्मी घातांक है $p$  तथा $X'$  बनच स्थान के लिए निरंतर दोहरे स्थान को दर्शाता है $X$, ऐसा है कि $T_N$  सामान्य निशान बढ़ाता है $(v \cdot N) |_{\partial \Omega}$  के लिये $v \in (C^\infty(\bar \Omega))^n$  इस अर्थ में कि


 * $$T_N v = \bigl\{ \varphi \in W^{1 - 1/q, q}(\partial \Omega) \mapsto \int_{\partial \Omega} \varphi v \cdot N \,\mathrm{d} S \bigr\}$$.

सामान्य ट्रेस ऑपरेटर का मान $(T_N v)(\varphi)$ के लिये $\varphi \in W^{1-1/q,q}(\partial \Omega)$  सदिश क्षेत्र में विचलन प्रमेय के अनुप्रयोग द्वारा परिभाषित किया गया है $w = E \varphi \, v$  कहाँ पे $E$  ऊपर से ट्रेस एक्सटेंशन ऑपरेटर है।

आवेदन पत्र। कोई कमजोर उपाय $u \in H^1(\Omega)$ प्रति $- \Delta u = f \in L^2(\Omega)$  एक सीमित लिप्सचिट्ज़ डोमेन में $\Omega \subset \mathbb R^n$  के अर्थ में एक सामान्य व्युत्पन्न है $T_N \nabla u \in (W^{1/2,2}(\partial \Omega))^*$. यह इस प्रकार है $\nabla u \in E_2(\Omega)$ जबसे $\nabla u \in L^2(\Omega)$  तथा $\operatorname{div}(\nabla u) = \Delta u = - f \in L^2(\Omega)$. यह परिणाम सामान्य रूप से लिप्सचिट्ज़ डोमेन के बाद से उल्लेखनीय है $u \not\in H^2(\Omega)$, ऐसा है कि $\nabla u$ ट्रेस ऑपरेटर के डोमेन में नहीं हो सकता है $T$.

आवेदन
ऊपर प्रस्तुत प्रमेय सीमा मान समस्या की बारीकी से जांच की अनुमति देते हैं


 * $$\begin{alignat}{2}

-\Delta u &= f &\quad&\text{in } \Omega,\\ u &= g &&\text{on } \partial \Omega \end{alignat}$$ लिप्सचिट्ज़ डोमेन पर $\Omega \subset \mathbb R^n$ प्रेरणा से। केवल हिल्बर्ट स्पेस केस के बाद से $p = 2$  यहां जांच की जाती है, नोटेशन $H^1(\Omega)$  निरूपित करने के लिए प्रयोग किया जाता है $W^{1,2}(\Omega)$  आदि। जैसा कि प्रेरणा में कहा गया है, एक कमजोर समाधान $u \in H^1(\Omega)$  इस समीकरण को संतुष्ट होना चाहिए $T u = g$  तथा


 * $$\int_\Omega \nabla u \cdot \nabla \varphi \,\mathrm dx = \int_\Omega f \varphi \,\mathrm dx$$ सभी के लिए $\varphi \in H^1_0(\Omega)$ ,

जहां दाहिने हाथ की ओर व्याख्या की जानी चाहिए $f \in H^{-1}(\Omega) = (H^1_0(\Omega))'$ मूल्य के साथ एक द्वैत उत्पाद के रूप में $f(\varphi)$.

कमजोर समाधानों का अस्तित्व और विशिष्टता
की सीमा का लक्षण वर्णन $T$ तात्पर्य है कि के लिए $T u = g$  नियमितता धारण करना $g \in H^{1/2}(\partial \Omega)$  आवश्यक है। यह नियमितता एक दुर्बल विलयन के अस्तित्व के लिए भी पर्याप्त है, जिसे निम्न प्रकार से देखा जा सकता है। ट्रेस एक्सटेंशन प्रमेय द्वारा मौजूद है $Eg \in H^1(\Omega)$  ऐसा है कि $T(Eg) = g$. परिभाषित $u_0$ द्वारा $u_0 = u - Eg$  हमारे पास वह है $T u_0 = Tu - T(Eg) = 0$  और इस तरह $u_0 \in H^1_0(\Omega)$  के लक्षण वर्णन से $H^1_0(\Omega)$  ट्रेस शून्य के स्थान के रूप में। कार्यक्रम $u_0 \in H^1_0(\Omega)$  फिर अभिन्न समीकरण को संतुष्ट करता है


 * $$\int_\Omega \nabla u_0 \cdot \nabla \varphi \,\mathrm dx = \int_\Omega \nabla (u - Eg) \cdot \nabla \varphi \, \mathrm dx = \int_\Omega f \varphi \,\mathrm dx - \int_\Omega \nabla Eg \cdot \nabla \varphi \,\mathrm dx$$ सभी के लिए $\varphi \in H^1_0(\Omega)$.

इस प्रकार विषम सीमा मूल्यों के साथ समस्या $u$ सजातीय सीमा मूल्यों के साथ एक समस्या के लिए कम किया जा सकता है $u_0$, एक तकनीक जिसे किसी रैखिक अंतर समीकरण पर लागू किया जा सकता है। रिज प्रतिनिधित्व प्रमेय के अनुसार एक अनूठा समाधान मौजूद है $u_0$  इस समस्या के लिए। अपघटन की विशिष्टता से $u = u_0 + Eg$ , यह एक अद्वितीय कमजोर समाधान के अस्तित्व के बराबर है $u$  विषम सीमा मान समस्या के लिए।

डेटा पर निरंतर निर्भरता
की निर्भरता की जांच करना बाकी है $u$ पर $f$  तथा $g$. होने देना $c_1, c_2, \ldots > 0$ से स्वतंत्र स्थिरांक निरूपित करें $f$  तथा $g$. की निरंतर निर्भरता से $u_0$ इसके अभिन्न समीकरण के दाईं ओर, वहाँ है


 * $$\| u_0 \|_{H^1_0(\Omega)} \leq c_1 \left( \|f\|_{H^{-1}(\Omega)} + \|Eg\|_{H^1(\Omega)} \right)$$

और इस प्रकार, उसका उपयोग करना $\| u_0 \|_{H^1_0(\Omega)} \leq c_2 \| u_0 \|_{H^1(\Omega)}$ तथा $\| E g \|_{H^1(\Omega)} \leq c_3 \| g \|_{H^{1/2}(\Omega)}$  ट्रेस एक्सटेंशन ऑपरेटर की निरंतरता से, यह इस प्रकार है


 * $$\begin{align}\| u \|_{H^1(\Omega)} &\leq \| u_0 \|_{H^1(\Omega)} + \| Eg \|_{H^1(\Omega)} \leq c_1 c_2 \|f\|_{H^{-1}(\Omega)} + (1+c_1 c_2) \|Eg\|_{H^1(\Omega)} \\

&\leq c_4 \left(\|f\|_{H^{-1}(\Omega)} + \|g\|_{H^{1/2}(\partial \Omega)} \right)\end{align}$$ और समाधान मानचित्र


 * $$H^{-1}(\Omega) \times H^{1/2}(\partial \Omega) \ni (f, g) \mapsto u \in H^1(\Omega)$$

इसलिए निरंतर है।

यह भी देखें

 * ट्रेस क्लास
 * बनच स्थानों के बीच परमाणु संचालक

इस पेज में लापता आंतरिक लिंक की सूची

 * अंक शास्त्र
 * आंशिक विभेदक समीकरण
 * समारोह प्रतिबंध
 * डोमेन (गणितीय विश्लेषण)
 * घना सेट
 * लिपशिट्ज निरंतरता
 * परीक्षण समारोह
 * संयुग्मी प्रतिपादक
 * निरंतर दोहरी जगह

संदर्भ

 * Leoni, Giovanni (2017). A First Course in Sobolev Spaces: Second Edition. Graduate Studies in Mathematics. 181. American Mathematical Society. pp. 734. ISBN 978-1-4704-2921-8

डी:सोबोलेव-राउम