अभिलक्षण विधि

गणित में, अभिलक्षण विधि आंशिक अवकल समीकरणों को हल करने की एक तकनीक है। विशिष्ट रूप से, यह प्रथम कोटि रैखिक अवकलन समीकरण पर लागू होता है, हालांकि सामान्यतः अभिलक्षण विधि किसी भी अतिपरवलयिक आंशिक अंतर समीकरण के लिए मान्य है। यह विधि एक आंशिक अवकल समीकरण को साधारण अवकल समीकरणों के एक समूह से कम करने के लिए है जिसके साथ उपयुक्त ऊनविम पृष्ठ पर दिए गए कुछ प्रारंभिक डेटा से प्राप्त हल को समाकलित किया जा सकता है।

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

सरलता के लिए, हम फिलहाल अपना ध्यान दो स्वतंत्र चर x और y के फलन के मामले तक ही सीमित रखते हैं। यदि एक आंशिक अवकल समीकरण रेखीय और अरैखिक समीकरण फॉर्म के क्वासिलिनियर पीडीई पर विचार करें

मान लीजिए कि हल z ज्ञात है, और R3 में सतही ग्राफ़ z = z(x,y) पर विचार करें। इस सतह के लिए एक सामान्य वेक्टर दिया गया है


 * $$\left(\frac{\partial z}{\partial x}(x,y),\frac{\partial z}{\partial y}(x,y),-1\right).\,$$

परिणामस्वरूप, समीकरण ($$) सदिश क्षेत्र के ज्यामितीय कथन के समतुल्य है


 * $$(a(x,y,z),b(x,y,z),c(x,y,z))\,$$

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



\begin{array}{rcl} \frac{dx}{dt}&=&a(x,y,z),\\ \frac{dy}{dt}&=&b(x,y,z),\\ \frac{dz}{dt}&=&c(x,y,z). \end{array} $$

लैग्रेंज-चार्पिट समीकरणों का एक पैरामीट्रिजेशन अपरिवर्तनीय रूप है:


 * $$\frac{dx}{a(x,y,z)} = \frac{dy}{b(x,y,z)} = \frac{dz}{c(x,y,z)} .$$

रैखिक और समरैखिक मामले
अब फॉर्म के पीडीई पर विचार करें


 * $$\sum_{i=1}^n a_i(x_1,\dots,x_n,u) \frac{\partial u}{\partial x_i}=c(x_1,\dots,x_n,u).$$

इस पीडीई को रैखिक होने के लिए, गुणांक ai केवल स्थानिक चर के फलन हो सकते हैं, और यह u पर निर्भर नहीं करते हैं। इसके लिए अर्धरेखीय होने के लिए, ai फलन के मान पर भी निर्भर हो सकता है, लेकिन यह किसी व्युत्पन्न पर निर्भर नहीं हो सकता है। यहां चर्चा के लिए इन दोनों मामलों के बीच अवकलन अनिवार्य नहीं है।

एक रेखीय या अर्धरेखीय पी.डी.ई के लिए, अभिलाक्षणिक वक्रों को पैरामीट्रिक रूप से दिया जाता है


 * $$(x_1,\dots,x_n,u) = (x_1(s),\dots,x_n(s),u(s))$$
 * $$u(\mathbf{X}(s)) = U(s)$$

जैसे कि ओ.डी.ई की निम्नलिखित प्रणाली संतुष्ट है

समीकरण (2) और (3) आंशिक अवकल समीकरण की विशेषताएँ देते हैं

क्वासिलिनियर केस के लिए सबूत
क्वैसिलिनियर मामले में, अभिलक्षण विधि का उपयोग ग्रोनवाल की असमानता के लिए उचित है। इसे उपरोक्त समीकरण के रूप में लिखा जा सकता है $$\mathbf{a}(\mathbf{x},u) \cdot \nabla u(\mathbf{x}) = c(\mathbf{x},u) $$ हमें ओडीई के हलों और पीडीई के हलों के बीच अंतर करना चाहिए, जिन्हें हम नहीं जानते कि प्राथमिकता बराबर है। बड़े अक्षरों को हमारे द्वारा प्राप्त होने वाले ओ.डी.ई का हल होने दें $$\mathbf{X}'(s) = \mathbf{a}(\mathbf{X}(s),U(s)) $$ $$U'(s) = c(\mathbf{X}(s), U(s)) $$ इसका $$\Delta(s) = |u(\mathbf{X}(s)) - U(s)|^2 $$, अवकलन करने पर ज्ञात होता है $$\Delta'(s) = 2\big(u(\mathbf{X}(s)) - U(s)\big) \Big(\mathbf{X}'(s)\cdot \nabla u(\mathbf{X}(s)) - U'(s)\Big) $$ जो निम्न अभिक्रिया के समान है $$\Delta'(s) = 2\big(u(\mathbf{X}(s)) - U(s)\big) \Big(\mathbf{a}(\mathbf{X}(s),U(s))\cdot \nabla u(\mathbf{X}(s)) - c(\mathbf{X}(s),U(s))\Big) $$ जैसा हम चाहते हैं हम यह निष्कर्ष नहीं निकाल सकते कि उपरोक्त 0 है, क्योंकि पीडीई केवल हमें गारंटी देता है कि यह संबंध निम्न अभिक्रिया $$u(\mathbf{x})$$, $$\mathbf{a}(\mathbf{x},u) \cdot \nabla u(\mathbf{x}) = c(\mathbf{x},u)$$, के लिए संतुष्ट है, और अभी तक इस $$U(s) = u(\mathbf{X}(s))$$ अभिक्रिया के बारे में ज्ञात नहीं है

हालाँकि, हम इसे देख सकते हैं $$\Delta'(s) = 2\big(u(\mathbf{X}(s)) - U(s)\big) \Big(\mathbf{a}(\mathbf{X}(s),U(s))\cdot \nabla u(\mathbf{X}(s)) - c(\mathbf{X}(s),U(s))-\big(\mathbf{a}(\mathbf{X}(s),u(\mathbf{X}(s))) \cdot \nabla u(\mathbf{X}(s)) - c(\mathbf{X}(s),u(\mathbf{X}(s)))\big)\Big) $$ चूंकि पीडीई द्वारा, अंतिम पद 0 है। यह बराबर है $$\Delta'(s) = 2\big(u(\mathbf{X}(s)) - U(s)\big) \Big(\big(\mathbf{a}(\mathbf{X}(s),U(s))-\mathbf{a}(\mathbf{X}(s),u(\mathbf{X}(s)))\big)\cdot \nabla u(\mathbf{X}(s)) - \big(c(\mathbf{X}(s),U(s))-c(\mathbf{X}(s),u(\mathbf{X}(s)))\big)\Big) $$ त्रिभुज असमानता से, हमारे पास है $$|\Delta'(s)| \leq 2\big|u(\mathbf{X}(s)) - U(s)\big| \Big(\big\|\mathbf{a}(\mathbf{X}(s),U(s))-\mathbf{a}(\mathbf{X}(s),u(\mathbf{X}(s)))\big\| \ \|\nabla u(\mathbf{X}(s))\| + \big|c(\mathbf{X}(s),U(s))-c(\mathbf{X}(s),u(\mathbf{X}(s)))\big|\Big) $$ यह मानते हुए $$\mathbf{a},c $$ $$C^1 $$से कम हैं, हम इसे कम समय के लिए बाध्य कर सकते हैं। $$\mathbf{X}(0), U(0) $$ के चारों ओर सबसे पास वाला $$\Omega $$ चुने यह इतना छोटा है कि $$\mathbf{a},c $$  स्थानीय रूप से लिप्सचिट्ज़ हैं। निरंतरता से, $$(\mathbf{X}(s),U(s)) $$ काफी छोटे $$s $$ के लिए.$$\Omega $$ में रहेगा तब $$U(0) = u(\mathbf{X}(0)) $$। इसलिए, सघनता से $$(\mathbf{X}(s),U(s)) \in \Omega $$ और $$(\mathbf{X}(s), u(\mathbf{X}(s))) \in \Omega $$ के लिए $$s \in [0,s_0] $$ इसके अतिरिक्त, $$\|\nabla u(\mathbf{X}(s))\| \leq M $$ कुछ के लिए $$M \in \R $$ के लिए $$s \in [0,s_0] $$। इससे,हमें ज्ञात होता है कि यह उपरोक्त के रूप में बाध्य है $$|\Delta'(s)| \leq C|u(\mathbf{X}(s)) - U(s)|^2 = C |\Delta(s)| $$ कुछ के लिए $$C \in \mathbb{R} $$। यह दिखाने के लिए ग्रोनवाल की असमानता का एक सीधा अनुप्रयोग है कि तब तक यह असमानता रहती है यदि $$\Delta(0) = 0 $$ तब $$\Delta(s) = 0 $$। हमारे पास कुछ अंतराल है $$[0, \epsilon) $$ इस अंतराल में जैसे की $$u(X(s)) = U(s) $$। सबसे बड़ा $$\epsilon $$ इस तरह चुनें कि यह सत्य हो। फिर, निरंतरता से, $$U(\epsilon) = u(\mathbf{X}(\epsilon)) $$ बशर्ते ओ.डी.ई के पास $$\epsilon $$ के बाद भी कुछ अंतराल में एक हल हो, हम यह पता लगाने के लिए उपरोक्त तर्क को दोहरा सकते हैं कि एक बड़े अंतराल में $$u(X(s)) = U(s) $$।

पूरी तरह से अरैखिक मामला
यदि आंशिक अवकलन समीकरण पर विचार करें

जहाँ चर pi आंशिक व्युत्पन्न के लिए आशुलिपि हैं


 * $$p_i = \frac{\partial u}{\partial x_i}.$$

माना (xi(s),u(s),pi(s)) 'R2n+1' में एक वक्र है और u कोई हल है,


 * $$u(s) = u(x_1(s),\dots,x_n(s)).$$

एक हल के साथ, (4) को s के सापेक्ष अवकलित करने पर प्राप्त होता है


 * $$\sum_i(F_{x_i} + F_u p_i)\dot{x}_i + \sum_i F_{p_i}\dot{p}_i = 0$$
 * $$\dot{u} - \sum_i p_i \dot{x}_i = 0$$
 * $$\sum_i (\dot{x}_i dp_i - \dot{p}_i dx_i)= 0.$$

दूसरा समीकरण श्रृंखला नियम को एक हल u पर लागू करने से आता है, और तीसरा संबंध के बाहरी व्युत्पन्न लेने से होता है $$du - \sum_i p_i \, dx_i = 0$$.

इन समीकरणों में परिवर्तन करने पर प्राप्त होता है


 * $$\dot{x}_i=\lambda F_{p_i},\quad\dot{p}_i=-\lambda(F_{x_i}+F_up_i),\quad \dot{u}=\lambda\sum_i p_iF_{p_i}$$

जहां λ एक नियतांक है। इन समीकरणों को अधिक सममित रूप से लिखने पर, अभिलक्षण के लिए लैग्रेंज-चार्पिट समीकरण प्राप्त होता है


 * $$\frac{\dot{x}_i}{F_{p_i}}=-\frac{\dot{p}_i}{F_{x_i}+F_up_i}=\frac{\dot{u}}{\sum p_iF_{p_i}}.$$

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

उदाहरण
एक उदाहरण के रूप में, अभिवहन समीकरण पर विचार करें (यह उदाहरण पीडीई संकेतन और बुनियादी ओडीई के हल के साथ परिचित कराता है)।


 * $$a \frac{\partial u}{\partial x} + \frac{\partial u}{\partial t} = 0$$

जहाँ $$a$$ स्थिरांक है और $$u$$ $$x$$ और $$t$$ का एक फलन है हम इस प्रथम कोटि रैखिक अवकलन पी.डी.ई को उपयुक्त वक्र के साथ ओ.डी.ई में बदलना चाहते हैं; जो निम्न प्रकार है $$ \frac{d}{ds}u(x(s), t(s)) = F(u, x(s), t(s)) ,$$

जहाँ $$(x(s),t(s))$$ अभिलक्षण रेखा है। सबसे पहले, हमें श्रृंखला नियम द्वारा ज्ञात होता है


 * $$\frac{d}{ds}u(x(s), t(s)) = \frac{\partial u}{\partial x} \frac{dx}{ds} + \frac{\partial u}{\partial t} \frac{dt}{ds}$$

अब, अगर हम मान रखते हैं $$ \frac{dx}{ds} = a$$ और $$\frac{dt}{ds} = 1$$ हम पाते हैं


 * $$ a \frac{\partial u}{\partial x} + \frac{\partial u}{\partial t} $$

जो पीडीई के बायीं ओर है जिससे हमने शुरुआत की थी। वह इस प्रकार हैं


 * $$\frac{d}{ds}u = a \frac{\partial u}{\partial x} + \frac{\partial u}{\partial t} = 0.$$

तो, अभिलक्षण रेखा के साथ $$(x(s), t(s))$$, मूल पी.डी.ई ओ.डी.ई बन जाता है $$u_s = F(u, x(s), t(s)) = 0$$. कहने का तात्पर्य यह है कि गुणधर्मों के साथ-साथ हल भी स्थिर होता है। इस प्रकार, $$u(x_s, t_s) = u(x_0, 0)$$ जहाँ $$(x_s, t_s)\,$$ और $$(x_0, 0)$$ एक ही अभिलक्षण रेखा पर स्थित होता है। इसलिए, सामान्य हल निर्धारित करने के लिए, ओ.डी.ई की अभिलक्षण प्रणाली को हल करके अभिलक्षण की जानकारी रखने के लिए पर्याप्त है:


 * $$\frac{dt}{ds} = 1$$, दे रहा है $$t(0)=0$$ हम जानते हैं $$t=s$$,
 * $$\frac{dx}{ds} = a$$, दे रहा है $$x(0)=x_0$$ हम जानते हैं $$x=as+x_0=at+x_0$$,
 * $$\frac{du}{ds} = 0$$, दे रहा है $$u(0)=f(x_0)$$ हम जानते हैं $$u(x(t), t)=f(x_0)=f(x-at)$$.

इस मामले में, अभिलक्षण रेखा $$a$$ ढलान वाली सीधी रेखाएँ हैं, और u का मान किसी भी अभिलाक्षणिक रेखा के साथ स्थिर रहता है।

रैखिक अवकलन ऑपरेटरों के लक्षण
X को एक विभेदक और P एक रैखिक अवकलन ऑपरेटर है
 * $$P : C^\infty(X) \to C^\infty(X)$$

xi एक स्थानीय समन्वय प्रणाली में k कोटि ,
 * $$P = \sum_{|\alpha|\le k} P^{\alpha}(x)\frac{\partial}{\partial x^\alpha}$$

जिसमें α बहु-सूचकांक को दर्शाता है। P के अवकल संकारक का मुख्य प्रतीक, σP द्वारा निरूपित होता है, स्पर्शरेखा बंडल T∗X का फलन है जिसे इन स्थानीय निर्देशांक द्वारा परिभाषित किया गया है


 * $$\sigma_P(x,\xi) = \sum_{|\alpha|=k} P^\alpha(x)\xi_\alpha$$

जहां ξi समन्वय अंतर dxi द्वारा प्रेरित कोटेंगेंट बंडल पर फाइबर निर्देशांक हैं यद्यपि यह एक विशेष समन्वय प्रणाली का उपयोग करके परिभाषित किया गया है, ξi और xi से संबंधित परिवर्तन कानून यह सुनिश्चित करता है कि σP कॉटैंजेंट बंडल पर एक अच्छी तरह से परिभाषित फलन है।

फलन σP ξ चर में डिग्री k का सजातीय फलन है। σP के शून्य, T∗X के शून्य खंड से दूर, P के अभिलक्षण हैं। समीकरण F(x) = c द्वारा परिभाषित X की एक हाइपरसफ़ेस को x पर एक अभिलक्षण हाइपरसफ़ेस कहा जाता है यदि
 * $$\sigma_P(x,dF(x)) = 0.$$

अनिवार्य रूप से, एक अभिलक्षण हाइपरसफेस एक हाइपरसफेस है जिसका सामान्य बंडल P के अभिलाक्षणिक समुच्चय में है।

अभिलाक्षण का गुणात्मक विश्लेषण
पीडीई में गुणात्मक अंतर्दृष्टि प्राप्त करने के लिए अभिलाक्षण भी एक शक्तिशाली उपकरण हैं।

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

अभिलाक्षण पीडीई के डोमेन के हिस्से को कवर करने में विफल हो सकते हैं। इसे रेयरफैक्शन कहा जाता है, और इंगित करता है कि हल सामान्यतः केवल एक कमजोर, यानी अभिन्न समीकरण, अर्थ में मौजूद होता है।

अभिलाक्षणिक रेखाओं की दिशा हल के माध्यम से मूल्यों के प्रवाह को इंगित करती है, जैसा कि ऊपर दिए गए उदाहरण में दर्शाया गया है पीडीई को संख्यात्मक रूप से हल करते समय इस प्रकार का ज्ञान उपयोगी होता है क्योंकि यह इंगित कर सकता है कि समस्या के लिए कौन सी परिमित अंतर योजना सर्वोत्तम है।

यह भी देखें

 * क्वांटम अभिलक्षण विधि

बाहरी कड़ियाँ

 * Prof. Scott Sarra tutorial on Method of Characteristics
 * Prof. Alan Hood tutorial on Method of Characteristics