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

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

प्रथम क्रम आंशिक अवकलन समीकरण की विशेषताएं

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

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

$a(x,y,z){\frac {\partial z}{\partial x}}+b(x,y,z){\frac {\partial z}{\partial y}}=c(x,y,z).$

(1)

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

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

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

$(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).$

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

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

$(x_{1},\dots ,x_{n},u)=(x_{1}(s),\dots ,x_{n}(s),u(s))$

$u(\mathbf {X} (s))=U(s)$

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

${\frac {dx_{i}}{ds}}=a_{i}(x_{1},\dots ,x_{n},u)$

(2)

${\frac {du}{ds}}=c(x_{1},\dots ,x_{n},u).$

(3)

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

क्वासिलिनियर केस के लिए सबूत

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

$$\mathbf {a} (\mathbf {x} ,u)\cdot \nabla u(\mathbf {x} )=c(\mathbf {x} ,u)$$

हमें ओडीई के हलों और पीडीई के हलों के बीच अंतर करना चाहिए, जिन्हें हम नहीं जानते कि प्राथमिकता बराबर है। बड़े अक्षरों को हमारे द्वारा प्राप्त होने वाले ODE का हल होने दें

$$\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 \mathbb {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 ))$ बशर्ते ODE के पास $\epsilon$ के बाद भी कुछ अंतराल में एक हल हो, हम यह पता लगाने के लिए उपरोक्त तर्क को दोहरा सकते हैं कि एक बड़े अंतराल में $u(X(s))=U(s)$।

पूरी तरह से अरैखिक मामला

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

$F(x_{1},\dots ,x_{n},u,p_{1},\dots ,p_{n})=0$

(4)

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

$p_{i}={\frac {\partial u}{\partial x_{i}}}.$

माना (x_i(s),u(s),p_i(s)) 'R²ⁿ⁺¹' में एक वक्र है और 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_{u}p_{i}),\quad {\dot {u}}=\lambda \sum _{i}p_{i}F_{p_{i}}$

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

${\frac {{\dot {x}}_{i}}{F_{p_{i}}}}=-{\frac {{\dot {p}}_{i}}{F_{x_{i}}+F_{u}p_{i}}}={\frac {\dot {u}}{\sum p_{i}F_{p_{i}}}}.$

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

उदाहरण

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

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

जहाँ $a$ स्थिरांक है और $u$ $x$ और $t$ का एक फलन है हम इस प्रथम कोटि रैखिक अवकलन PDE को उपयुक्त वक्र के साथ ODE में बदलना चाहते हैं; जो निम्न प्रकार है ${\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))$, मूल PDE ODE बन जाता है $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)$ एक ही अभिलक्षण रेखा पर स्थित होता है। इसलिए, सामान्य हल निर्धारित करने के लिए, ODEs की अभिलक्षण प्रणाली को हल करके अभिलक्षण की जानकारी रखने के लिए पर्याप्त है:

• ${\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)$

xⁱ एक स्थानीय समन्वय प्रणाली में k कोटि ,

$P=\sum _{|\alpha |\leq 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$ हल है। इस प्रकार, जब दो अभिलक्षण पार हो जाती हैं, तो फलन के बहुत से मान हो सकते है जिसके परिणामस्वरूप एक गैर-भौतिक हल होता है। शारीरिक रूप से, इस विरोधाभास को शॉक वेव, एक स्पर्शरेखा असततता या एक कमजोर असंबद्धता असंतुलन से हटा दिया जाता है और प्रारंभिक धारणाओं का उल्लंघन करते हुए गैर-संभावित प्रवाह का परिणाम हो सकता है।

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

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

यह भी देखें

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

संदर्भ

• Courant, Richard; Hilbert, David (1962), Methods of Mathematical Physics, Volume II, Wiley-Interscience
• Evans, Lawrence C. (1998), Partial Differential Equations, Providence: American Mathematical Society, ISBN 0-8218-0772-2
• Polyanin, A. D.; Zaitsev, V. F.; Moussiaux, A. (2002), Handbook of First Order Partial Differential Equations, London: Taylor & Francis, ISBN 0-415-27267-X
• Polyanin, A. D. (2002), Handbook of Linear Partial Differential Equations for Engineers and Scientists, Boca Raton: Chapman & Hall/CRC Press, ISBN 1-58488-299-9
• Sarra, Scott (2003), "The Method of Characteristics with applications to Conservation Laws", Journal of Online Mathematics and Its Applications.
• Streeter, VL; Wylie, EB (1998), Fluid mechanics (International 9th Revised ed.), McGraw-Hill Higher Education

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

• सामान्य अवकल समीकरण
• अंक शास्त्र
• आंशिक विभेदक समीकरण
• साधारण अंतर समीकरण
• मोंज कोन
• संवहन समीकरण
• एक अंतर ऑपरेटर का प्रतीक
• बहु सूचकांक
• सजातीय समारोह
• सदमे की लहर

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

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