ट्रेस ऑपरेटर

एक आयत पर परिभाषित एक फ़ंक्शन (शीर्ष आकृति, लाल रंग में), और इसका ट्रेस (निचला आंकड़ा, लाल रंग में)।

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

प्रेरणा

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

${\begin{alignedat}{2}-\Delta u&=f&\quad &{\text{in }}\Omega ,\\u&=g&&{\text{on }}\partial \Omega \end{alignedat}}$

दिए गए फलन ${\textstyle f}$ और ${\textstyle g}$ के साथ नियमितता के साथ नीचे दिए गए एप्लिकेशन सेक्शन में चर्चा की गई है। इस समीकरण के कमजोर समाधान ${\textstyle u\in H^{1}(\Omega )}$ को संतुष्ट करना चाहिए

$\int _{\Omega }\nabla u\cdot \nabla \varphi \,\mathrm {d} x=\int _{\Omega }f\varphi \,\mathrm {d} x$ सभी के लिए ${\textstyle \varphi \in H_{0}^{1}(\Omega )}$ .

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

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