View source for आव्यूह अवकल समीकरण

{{Short description|Type of mathematical equation}}
[[ अंतर समीकरण |अवकल समीकरण]] एक या कई चर के अज्ञात फलन के लिए एक गणितीय समीकरण है जो फलन के मूल्यों और इसकी विभिन्न कोटियों के अवकलज से संबंधित होते है। एक आव्यूह अवकल समीकरण में एक से अधिक फलन होते हैं जो सदिश रूप में राशीकृत होते हैं, आव्यूह के साथ उनके अवकलज से संबंधित होते हैं।

उदाहरण के लिए, एक प्रथम-कोटि आव्यूह [[ साधारण अंतर समीकरण |साधारण अवकल समीकरण]] है
: <math>\mathbf{\dot{x}}(t) = \mathbf{A}(t)\mathbf{x}(t)</math>
जहाँ <math>\mathbf{x}(t)</math> अंतर्निहित चर <math>t</math> के फलनों का <math>n \times 1</math> सदिश होता है, <math>\mathbf{\dot{x}}(t)</math> इन फलनों के प्रथम अवकलज का सदिश है, और <math>\mathbf{A}(t)</math> गुणांक का <math>n \times n</math> आव्यूह है।

ऐसी स्थिति में जहाँ <math>\mathbf{A}</math> नियतांक है और इसमें ''n'' [[ रैखिक रूप से स्वतंत्र |एकघाततः स्वतंत्र]] [[ आइजन्वेक्टर |आइगेनसदिश]] होता हैं, इस अवकल समीकरण का निम्नलिखित सामान्य हल है,
: <math>\mathbf{x}(t) = c_1 e^{\lambda_1 t} \mathbf{u}_1 + c_2 e^{\lambda_2 t} \mathbf{u}_2 + \cdots + c_n e^{\lambda_n t} \mathbf{u}_n  ~,</math>
जहाँ {{nowrap|''λ''<sub>1</sub>, ''λ''<sub>2</sub>, …, ''λ''<sub>''n''</sub>}} A के [[ eigenvalue |आइगेनमान]] हैं; {{nowrap|'''u'''<sub>1</sub>, '''u'''<sub>2</sub>, …, '''u'''<sub>''n''</sub>}} A के संबंधित आइगेनवेक्टर हैं; और {{nowrap|''c''<sub>1</sub>, ''c''<sub>2</sub>, …, ''c''<sub>''n''</sub>}} स्थिरांक हैं।

अत्यधिक सामान्य रूप से, यदि <math>\mathbf{A}(t)</math> अपने समाकल <math>\int_a^t \mathbf{A}(s)ds</math> के साथ विनिमय करता है तो [[ मैग्नस विस्तार |मैग्नस विस्तार]] अग्रणी क्रम में कम हो जाता है, और अवकल समीकरण का सामान्य हल होता है
: <math>\mathbf{x}(t)=e^{\int_a^t \mathbf{A}(s) ds} \mathbf{c} ~,</math>
जहाँ <math> \mathbf{c} </math> एक <math> n \times 1 </math> एक नियत सदिश है।

कैले-हैमिल्टन प्रमेय और [[ वैंडरमोंड मैट्रिक्स |वैंडरमोंड-प्रकार आव्यूहों]] के उपयोग से, यह औपचारिक [[ मैट्रिक्स घातीय |आव्यूह घातीय]] हल एक साधारण रूप में सरलीकृत किया जा सकता है।<ref>{{cite book |first=H. |last=Moya-Cessa |first2=F. |last2=Soto-Eguibar |title=विभेदक समीकरण: एक परिचालन दृष्टिकोण|publisher=Rinton Press |location=New Jersey |year=2011 |isbn=978-1-58949-060-4 }}</ref> नीचे, यह हल पुट्ज़ेर के एल्गोरिथम के संदर्भ में प्रदर्शित किया गया है।<ref>{{cite journal |first=E. J. |last=Putzer |title=निरंतर गुणांक वाले रैखिक प्रणालियों की चर्चा में जॉर्डन कैननिकल फॉर्म से बचना|journal=The American Mathematical Monthly |volume=73 |issue=1 |year=1966 |pages=2–7 |jstor=2313914 |doi=10.1080/00029890.1966.11970714 }}</ref>
== आव्यूह प्रणाली की स्थिरता और स्थिर अवस्था ==

आव्यूह समीकरण
:<math>\mathbf{\dot{x}}(t) = \mathbf{Ax}(t) + \mathbf{b}</math>

n×1 पैरामीटर के साथ सतत सदिश b स्थिर है यदि और केवल तभी जब [[ स्थिरता सिद्धांत |स्थिर]] आव्यूह A के सभी आइगेनमान में ऋणात्मक वास्तविक भाग हो।

स्थिर स्थिति x* जिसमें स्थिर होने पर यह कन्वर्ज करता है, सेटिंग द्वारा पाया जाता है
:<math>\mathbf{\dot{x}}^* (t)=\mathbf{0}~,</math>
इस प्रकार प्राप्त होता है
:<math>\mathbf{x}^* = -\mathbf{A}^{-1}\mathbf{b}~,</math>
A को व्युत्क्रमणीय मानते हुए।

इस प्रकार, मूल समीकरण को सजातीय अवस्था से विचलन के संदर्भ में सजातीय रूप में लिखा जा सकता है,
:<math> \mathbf{\dot{x}}(t)=\mathbf{A}[\mathbf{x}(t)-\mathbf{x}^*]~.</math>
इसे व्यक्त करने का एक समतुल्य तरीका यह है कि x* असमघात समीकरण का एक विशेष हल है, जबकि सभी हल इस रूप में हैं
:<math>\mathbf{x}_h+\mathbf{x}^*   ~,</math>
<math>\mathbf{x}_h</math> के साथ सजातीय समीकरण (b=0) का हल।

=== दो-अवस्था-चर स्थिति में स्थिरता ===
n = 2 स्थिति में (दो अवस्था चर के साथ), स्थिरता की स्थिति है कि परिवर्ती आव्यूह A के दो आइगेनमान प्रत्येक में एक ऋणात्मक वास्तविक भाग होता है, इस स्थिति के समकक्ष होता है कि A का [[ ट्रेस (गणित) |ट्रेस]] ऋणात्मक होना चाहिए और इसकी सारणिक धनात्मक होनी चाहिए।

== आव्यूह रूप में हल ==
<math>\mathbf{\dot{x}}(t)=\mathbf{A}[\mathbf{x}(t)-\mathbf{x}^*]</math> के औपचारिक हल में आव्यूह घातीय रूप निम्नलिखित है
:<math>\mathbf{x}(t)=\mathbf{x}^*+e^{\mathbf{A}t}[\mathbf{x}(0)-\mathbf{x}^*] ~,</math>
विभिन्न तकनीकों में से किसी का उपयोग करके मूल्यांकन किया गया।

=== {{math|e<sup>'''A'''''t''</sup>}} की गणना के लिए पुट्जर एल्गोरिथम===
<math>\lambda_1,\lambda_2,\dots,\lambda_n</math> आइगेनमानों वाला आव्यूह A दिया गया है,  
:<math>e^{\mathbf{A}t} = \sum_{j=0}^{n-1}r_{j+1}{\left(t\right)}\mathbf{P}_{j}</math>
जहाँ
:<math>\mathbf{P}_0 = \mathbf{I}</math>
:<math>\mathbf{P}_j = \prod_{k=1}^{j}\left(\mathbf{A}-\lambda_k \mathbf{I}\right)= \mathbf{P}_{j-1} \left(\mathbf{A}-\lambda_j \mathbf{I}\right),  \qquad j=1,2,\dots,n-1</math>
:<math>\dot{r}_1 = \lambda_1 r_1</math>
:<math>r_1{\left(0\right)}=1</math>
:<math>\dot{r}_{j} = \lambda_j r_j + r_{j-1}, \qquad  j=2,3,\dots,n</math>
:<math>r_j{\left(0\right)}=0,  \qquad  j=2,3,\dots,n</math>
<math>r_i (t)</math> के समीकरण साधारण प्रथम कोटि के विषम ओडीई हैं।

ध्यान दें कि एल्गोरिथम के लिए यह आवश्यक नहीं है कि आव्यूह A [[ विकर्ण मैट्रिक्स |विकर्णीय]] हो और सामान्य रूप से उपयोग किए जाने वाले जॉर्डन कैनोनिकल रूपों की जटिलताओं को बाईपास कर दिया जाता है।

== आव्यूह साधारण अवकल समीकरण का विखंडित उदाहरण ==
दो फलनों x(t) और y(t) में एक प्रथम-कोटि सघातीय आव्यूह साधारण अवकल समीकरण, जब आव्यूह रूप में लिया जाता है, तो इसका निम्नलिखित रूप प्राप्त होता है:

: <math>\frac{dx}{dt}=a_1x+b_1y,\quad\frac{dy}{dt}=a_2x+b_2y</math>
जहाँ <math>a_1</math>, <math>a_2</math>, <math>b_1</math>, और <math>b_2</math> कोई भी यादृच्छिक अदिश हो सकते हैं।

उच्च कोटि आव्यूह ओडीई का अधिक जटिल रूप हो सकता है।

== विघटित आव्यूह साधारण अवकल समीकरणों को हल करना ==

उपरोक्त समीकरणों को हल करने और इस विशेष क्रम और रूप के आवश्यक फलनों को प्राप्त करने की प्रक्रिया में 3 मुख्य चरण होते हैं। इन चरणों में से प्रत्येक का संक्षिप्त विवरण नीचे सूचीबद्ध किया गया हैं:

*[[ eigenvalues |आइगेनमानों]] को ज्ञात करना
*[[ egenvectors |आइगेनसदिशों]] को ज्ञात करना
* आवश्यक फलनों को ज्ञात करना

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

== आव्यूह ओडीई का हल किया गया उदाहरण ==
{{see also|आव्यूह चरघातांक#रैखिक अवकल समीकरण}}
प्रक्रिया में सरल आव्यूहों का उपयोग करते हुए, ऊपर दिए गए तीन चरणों के अनुसार आव्यूह ओडीई को हल करने के लिए, मान लीजिए, एक फलन {{mvar|x}} और एक फलन {{mvar|y}} दोनों को एक स्वतंत्र चर {{mvar|t}} के संदर्भ में प्रथम कोटि के निम्नलिखित सघातीय [[ रैखिक अंतर समीकरण |रैखिक अवकल समीकरण]] में प्राप्त होते हैं।
: <math>\frac{dx}{dt}=3x-4y,\quad\frac{dy}{dt}=4x-7y~.</math>
इस विशेष सामान्य अवकल समीकरण प्रणाली को हल करने के लिए, हल प्रक्रिया में किसी बिंदु पर, हमें दो प्रारंभिक मानों के एक समुच्चय की आवश्यकता होगी (शुरुआती बिंदु पर दो अवस्था चर के अनुरूप)। इस स्थिति में, हम {{math|1=''x''(0) = ''y''(0) = 1}} चयनित करते हैं।

=== प्रथम चरण ===
प्रथम चरण, जिसका पहले ही ऊपर उल्लेख किया जा चुका है, में A का आइगेनमान ज्ञात करना है
: <math>\begin{bmatrix} x'\\y' \end{bmatrix} = \begin{bmatrix} 3 & -4\\4 & -7 \end{bmatrix}\begin{bmatrix} x\\y \end{bmatrix}~.</math>
उपरोक्त सदिशों में से किसी एक में देखे गए अवकलज अंकन x' आदि को लाग्रेंज के संकेतन के रूप में जाना जाता है (सबसे पहले [[ जोसेफ लुइस लाग्रेंज |जोसेफ लुइस लाग्रेंज]] द्वारा प्रस्तुत किया गया। यह अवकलज संकेतन dx/dt के बराबर है जिसका उपयोग पूर्व समीकरण में किया गया था, जिसे लेबनिज़ के संकेतन के रूप में जाना जाता है, [[ गॉटफ्रीड लीबनिज |गॉटफ्राइड लाइबनिज़]] के नाम का सम्मान करते हुए।)

एक बार जब दो चर के गुणांक ऊपर प्रदर्शित [[ मैट्रिक्स (गणित) |आव्यूह]] रूप A में लिखे गए हों, तो आइगेनमान का मूल्यांकन किया जा सकता है। उस अंत तक, एक आव्यूह के निर्धारक को प्राप्त करता है जो तब बनता है जब एक तत्समक आव्यूह, <math>I_n</math>, कुछ स्थिरांक λ से गुणा किया जाता है, इसे उपरोक्त गुणांक आव्यूह से घटाया जाता है ताकि इसकी [[ विशेषता बहुपद |अभिलाक्षणिक बहुपद]] प्राप्त हो सके,
: <math>\det\left(\begin{bmatrix} 3 & -4\\4 & -7 \end{bmatrix} - \lambda\begin{bmatrix} 1 & 0\\0 & 1 \end{bmatrix}\right)~,</math>
और इसके शून्य के लिए हल करें।

आगे सरलीकरण और [[ मैट्रिक्स जोड़ |आव्यूह योग]] प्राप्ति के मूल नियमों को लागू करना
: <math>\det\begin{bmatrix} 3-\lambda & -4\\4 & -7-\lambda \end{bmatrix}~.</math>
एकल 2×2 आव्यूह के निर्धारक को ज्ञात करने के नियमों को लागू करने से निम्नलिखित प्रारंभिक [[ द्विघात समीकरण |द्विघात समीकरण]] उत्पन्न होता है,
: <math>\det\begin{bmatrix} 3-\lambda & -4\\4 & -7-\lambda \end{bmatrix} = 0</math>
: <math>-21 - 3\lambda + 7\lambda + \lambda^2 + 16 = 0  \,\!</math>
जिसे उपरोक्त का सरल संस्करण प्राप्त करने के लिए और सरलीकृत किया जा सकता है,
: <math>\lambda^2 + 4\lambda - 5 = 0  ~.</math>
अब [[ गुणन |गुणनखंड]] विधि को लागू करके दिए गए द्विघात समीकरण के दो मूल, <math>\lambda_1</math> और <math>\lambda_2</math> को ज्ञात करने पर प्राप्त होता है
: <math>\lambda^2 + 5\lambda - \lambda - 5 = 0</math>
: <math>\lambda (\lambda + 5) - 1 (\lambda + 5) = 0</math>
: <math>(\lambda - 1)(\lambda + 5) = 0</math>
: <math>\lambda = 1, -5 ~.</math>
ऊपर परिकलित किए गए मान <math>\lambda_1 = 1</math> और <math>\lambda_2 = -5</math>, A के आवश्यक आइगेनमान हैं। कुछ स्थितियों में, माना अन्य आव्यूह ओडीई, आइगेनमान समिश्र हो सकते हैं, इस स्थिति में हल प्रक्रिया के अगले चरण के साथ-साथ अंतिम रूप और हल प्रभावशाली रूप से परिवर्तित कर सकते हैं।

=== द्वितीय चरण ===
जैसा कि ऊपर उल्लेख किया गया है, इस चरण में मूल रूप से प्रदान की गई जानकारी से A के आइजनसदिशों को ज्ञात करना सम्मिलित है।

गणना किए गए प्रत्येक आइगेनमान के लिए, हमारे पास एक विशिष्ट आइगेनसदिश है। पहले आइगेनमान के लिए, जो <math>\lambda_1 = 1</math> है, हमें निम्न प्राप्त है
: <math>\begin{bmatrix} 3 & -4\\4 & -7 \end{bmatrix}\begin{bmatrix} \alpha\\\beta \end{bmatrix} = 1\begin{bmatrix} \alpha\\\beta \end{bmatrix}. </math>
मूल आव्यूह गुणन नियमों को लागू करके उपरोक्त व्यंजक को सरल बनाने पर प्राप्त होता है
: <math>3\alpha - 4\beta = \alpha</math>
: <math>\alpha = 2\beta~.</math>
ये सभी गणना केवल अंतिम व्यंजक प्राप्त करने के लिए की गई है, जो हमारी स्थिति में {{math|1=''α'' = 2''β''}} है। अब कुछ यादृच्छिक मान लेते हुए, संभवतः, एक छोटा महत्वहीन मान, जिसके साथ कार्य करना बहुत सरल होता है, {{mvar|α}} या {{mvar|β}} के लिए (अधिकतर स्थितियों में, यह वास्तव में कोई मायने नहीं रखता), हम इसे {{math|1=''α'' = 2''β''}} में प्रतिस्थापित करते हैं। ऐसा करने से एक साधारण सदिश उत्पन्न होता है, जो इस विशेष आइगेनमान के लिए आवश्यक आइगेनसदिश होता है। हमारी स्थिति में, हम {{math|1=''α'' = 2}} चयनित करते हैं, जो बदले में यह निर्धारित करता है कि {{math|1=''β'' = 1}} और, मानक सदिश संकेतन का उपयोग करके, हमारा सदिश कुछ इस प्रकार का होता है
: <math>\mathbf{\hat{v}}_1 = \begin{bmatrix} 2\\1 \end{bmatrix}. </math>
हमारे द्वारा परिकलित किए गए दूसरे आइगेनमान, जो कि <math>\lambda = -5</math> है, का उपयोग करके उसी संक्रिया को निष्पादित करते हुए, हम अपना दूसरा आइगेनमान प्राप्त करते हैं। इस सदिश को प्राप्त करने की प्रक्रिया नहीं दिखाई गई है, लेकिन अंतिम परिणाम निम्न है
: <math>\mathbf{\hat{v}}_2 = \begin{bmatrix} 1\\2 \end{bmatrix}. </math>
===तृतीय चरण===
यह अंतिम चरण उन आवश्यक फलनों को ज्ञात करता है जो मूल रूप से हमें दिए गए अवकलज के पीछे 'छिपे हुए' हैं। दो फलन हैं, क्योंकि हमारे अवकल समीकरण दो चर के साथ काम करते हैं।

वह समीकरण जिसमें वह सभी जानकारी सम्मिलित है जो हमने पहले प्राप्त की थी,  इसका का निम्न रूप है:
: <math>\begin{bmatrix} x\\y \end{bmatrix} = Ae^{\lambda_1t}\mathbf{\hat{v}}_1 + Be^{\lambda_2t}\mathbf{\hat{v}}_2. </math>
आइगेनमानों और आइगेनसदिशों के मूल्यों को प्रतिस्थापित करने से प्राप्ति होती है
: <math>\begin{bmatrix} x\\y \end{bmatrix} = Ae^{t}\begin{bmatrix} 2\\1 \end{bmatrix} + Be^{-5t}\begin{bmatrix} 1\\2 \end{bmatrix}. </math>
और अधिक सरलीकरण लागू करना,
: <math>\begin{bmatrix} x\\y \end{bmatrix} = \begin{bmatrix} 2 & 1\\1 & 2 \end{bmatrix}\begin{bmatrix} Ae^{t}\\Be^{-5t} \end{bmatrix}. </math>
और अधिक सरल करना और फलन {{mvar|x}} और {{mvar|y}} के लिए अलग-अलग समीकरण लिखना,
: <math>x = 2Ae^{t} + Be^{-5t} </math>
: <math>y = Ae^{t} + 2Be^{-5t}.</math>
उपर्युक्त समीकरण, वास्तव में, वांछित सामान्य फलन हैं, लेकिन वे अपने सामान्य रूप में होते हैं ({{mvar|A}} और {{mvar|B}} के अनिर्दिष्ट मूल्यों के साथ), जबकि हम वास्तव में उनके सटीक रूप और हल प्राप्त करना चाहते हैं। तो अब हम समस्या की दी गई प्रारंभिक शर्तों पर विचार करते हैं (दिए गए प्रारंभिक शर्तों सहित समस्या तथाकथित [[ प्रारंभिक मूल्य समस्या |प्रारंभिक मूल्य समस्या]] है)। मान लीजिए कि हमें <math>x(0) = y(0) = 1</math> दिया गया है, जो हमारे साधारण अवकल समीकरण के लिए शुरुआती बिंदु की भूमिका निभाता है; इन शर्तों का अनुप्रयोग स्थिरांक, {{mvar|A}} और {{mvar|B}} को निर्दिष्ट करता है। जैसा कि हम <math>x(0) = y(0) = 1</math> स्थितियों से देखते हैं, जब {{math|1=''t'' = 0}}, उपरोक्त समीकरणों के बाएँ पक्ष 1 के बराबर होते हैं। इस प्रकार हम रैखिक समीकरणों की निम्नलिखित प्रणाली का निर्माण कर सकते हैं,
: <math>1 = 2A + B </math>
: <math>1 = A + 2B~.</math>
इन समीकरणों को हल करने पर, हम प्राप्त करते हैं कि दोनों स्थिरांक {{mvar|A}} और {{mvar|B}} 1/3 के बराबर हैं। इसलिए इन मानों को इन दो कार्यों के सामान्य रूप में प्रतिस्थापित करने से उनके सटीक रूप निर्दिष्ट होते हैं,<math display="block">x = \tfrac{2}{3}e^{t} + \tfrac{1}{3}e^{-5t} </math><math display="block">y = \tfrac{1}{3}e^{t} + \tfrac{2}{3}e^{-5t}~,</math>

वांछित दो फलन।

=== आव्यूह घातांक का उपयोग करना ===
उपरोक्त समस्या को आव्यूह घातांक के अनुप्रयोग के साथ हल किया जा सकता था। अर्थात् हम ऐसा कह सकते हैं

 <math>\begin{bmatrix} x(t)\\y(t) \end{bmatrix} = \exp \left(\begin{bmatrix} 3 & -4\\4 & -7 \end{bmatrix} t\right) \begin{bmatrix} x_0(t)\\y_0(t) \end{bmatrix} </math>
यह देखते हुए कि (जिसे किसी भी उपयुक्त उपकरण का उपयोग करके गणना की जा सकती है, जैसे कि [[ MATLAB |एमएटीएलएबी]] का <code>expm</code> टूल, या [[ मैट्रिक्स विकर्णकरण |आव्यूह विकर्णकरण]] करके और संपत्ति का लाभ उठाकर कि विकर्ण आव्यूह का आव्यूह घातांक इसके तत्वों के तत्व-वार घातांक के समान है)

 <math>\exp \left(\begin{bmatrix} 3 & -4\\4 & -7 \end{bmatrix} t\right) = \begin{bmatrix} 4 e^t/3 - e^{-5t}/3 & 2e^{-5t}/3 - 2e^t/3\\2e^t/3 - 2e^{-5t}/3 & 4e^{-5t}/3 - e^t/3 \end{bmatrix} </math>
अंतिम परिणाम है

<math>\begin{bmatrix} x(t)\\y(t) \end{bmatrix} = \begin{bmatrix} 4 e^t/3 - e^{-5t}/3 & 2e^{-5t}/3 - 2e^t/3\\2e^t/3 - 2e^{-5t}/3 & 4e^{-5t}/3 - e^t/3 \end{bmatrix} \begin{bmatrix} 1\\1 \end{bmatrix} </math>

<math>\begin{bmatrix} x(t)\\y(t) \end{bmatrix} = \begin{bmatrix} e^{-5t}/3 + 2e^t/3\\ e^t/3 + 2e^{-5t}/3 \end{bmatrix} </math>

यह पहले दिखाए गए आइगेनसदिश दृष्टिकोण जैसा ही है।

== यह भी देखें ==
* असमघातीय समीकरण
* [[ अंतर समीकरण |आव्यूह अवकल समीकरण]]
* न्यूटन का शीतलन का नियम
* [[ फाइबोनैचि संख्या |फिबोनाची अनुक्रम]]
* अवकल समीकरण
* [[ तरंग समीकरण |तरंग समीकरण]]
* [[ स्वायत्त प्रणाली (गणित) |स्वायत्त प्रणाली (गणित)]]

*
==संदर्भ==
{{Reflist}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:Created On 27/12/2022]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]