ट्रेस ऑपरेटर

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

प्रेरणा
एक परिबद्ध, चिकने डोमेन (गणितीय विश्लेषण) $\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$  पर मनमाना मान हो सकता है  चूंकि यह n-आयामी लेबेस्गु माप के संबंध में एक शून्य सेट है।
 *  $H^1(\Omega)$  $u$   की नियमितता इस अभिन्न समीकरण की अच्छी तरह से परिभाषित करने के लिए पर्याप्त है। चूँकि, यह स्पष्ट नहीं है कि $u$  किस अर्थ में  सीमा शर्त  $u = g$  पर $\partial \Omega$ : को संतुष्ट कर सकते हैं  परिभाषा के अनुसार, $u \in H^1(\Omega) \subset L^2(\Omega)$  फलनों का एक तुल्यता वर्ग है जिसका $\partial \Omega$  पर मनमाना मान हो सकता है  चूंकि यह n-आयामी लेबेस्गु माप के संबंध में एक शून्य सेट है।

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

ट्रेस प्रमेय
ट्रेस ऑपरेटर को सोबोलेव स्पेस $W^{1,p}(\Omega)$ में $1 \leq p < \infty$  के साथ फलनों के लिए परिभाषित किया जा सकता है, अन्य स्थानों पर ट्रेस के संभावित विस्तार के लिए नीचे दिया गया अनुभाग देखें। माना $\Omega \subset \mathbb R^n$  के लिये $n \in \mathbb N$  लिप्सचिट्ज़ सीमा के साथ एक परिबद्ध डोमेन हो। तब वहाँ एक परिबद्ध रेखीय ट्रेस ऑपरेटर उपस्थित है
 * $$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)$  लिप्सचिट्ज़ निरंतरता फलनों के स्थान को दर्शाता है। विशेष रूप से, किसी भी फलन $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)}.$$

ट्रेस शून्य के साथ फलन
$1 \leq p < \infty$ के लिये सोबोलेव स्पेस $W^{1,p}_0(\Omega)$  कॉम्पैक्ट रूप से समर्थित सेट के बंद होने के रूप में परिभाषित किया गया है फलन $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

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