आव्यूह विभाजन

संख्यात्मक रैखिक बीजगणित के गणित अनुशासन में, एक मैट्रिक्स विभाजन एक अभिव्यक्ति है जो किसी दिए गए मैट्रिक्स (गणित) को मैट्रिक्स के योग या अंतर के रूप में दर्शाता है। कई पुनरावृत्त विधियां (उदाहरण के लिए, अंतर समीकरणों की प्रणालियों के लिए) मैट्रिक्स समीकरणों के प्रत्यक्ष समाधान पर निर्भर करती हैं जिसमें त्रिकोणीय मैट्रिक्स की तुलना में अधिक सामान्य मैट्रिक्स शामिल होते हैं। मैट्रिक्स विभाजन के रूप में लिखे जाने पर इन मैट्रिक्स समीकरणों को अक्सर सीधे और कुशलता से हल किया जा सकता है। यह तकनीक 1960 में रिचर्ड एस वर्गा द्वारा तैयार की गई थी।

नियमित विभाजन
हम मैट्रिक्स (गणित)#रैखिक समीकरणों को हल करना चाहते हैं

जहाँ A एक दिया गया n × n उलटा मैट्रिक्स|गैर-एकवचन मैट्रिक्स है, और k n घटकों के साथ एक दिया गया कॉलम वेक्टर है। हम मैट्रिक्स ए को विभाजित करते हैं

जहाँ B और C n × n आव्यूह हैं। यदि, एक मनमाने ढंग से n × n मैट्रिक्स M के लिए, M में गैर-नकारात्मक प्रविष्टियाँ हैं, तो हम M ≥ 0 लिखते हैं। यदि M में केवल सकारात्मक प्रविष्टियाँ हैं, तो हम M > 0 लिखते हैं। इसी तरह, यदि मैट्रिक्स M1 - एम2 गैर-नकारात्मक प्रविष्टियाँ हैं, हम एम लिखते हैं1 ≥ एम2.

परिभाषा: ए = बी - सी ए का एक नियमित विभाजन है यदि बी−1 ≥ 0 और C ≥ 0।

हम मानते हैं कि फॉर्म के मैट्रिक्स समीकरण

जहाँ g एक दिया गया स्तंभ सदिश है, सदिश x के लिए सीधे हल किया जा सकता है। अगर ($$) ए के नियमित विभाजन का प्रतिनिधित्व करता है, फिर पुनरावृत्त विधि

जहां एक्स(0) एक मनमाना सदिश है, किया जा सकता है। समान रूप से, हम लिखते हैं ($$) प्रपत्र में

मैट्रिक्स डी = बी−1C में अऋणात्मक प्रविष्टियाँ हैं यदि ($$) ए के नियमित विभाजन का प्रतिनिधित्व करता है। यह दिखाया जा सकता है कि अगर ए−1 > 0, फिर $$\rho (\mathbf D)$$ <1, जहां $$\rho (\mathbf D)$$ डी के वर्णक्रमीय त्रिज्या का प्रतिनिधित्व करता है, और इस प्रकार डी एक अभिसारी मैट्रिक्स है। परिणामस्वरूप, पुनरावृत्ति विधि ($$) आवश्यक रूप से जैकोबी विधि # अभिसरण है। यदि, इसके अलावा, विभाजन ($$) चुना जाता है ताकि मैट्रिक्स बी एक विकर्ण मैट्रिक्स हो (विकर्ण प्रविष्टियों के साथ सभी गैर-शून्य, चूंकि बी उलटा मैट्रिक्स होना चाहिए), फिर बी को रैखिक समय में उलटा किया जा सकता है (समय जटिलता देखें)।

मैट्रिक्स पुनरावृत्ति विधि
कई पुनरावृत्ति विधियों को मैट्रिक्स विभाजन के रूप में वर्णित किया जा सकता है। यदि मैट्रिक्स A की विकर्ण प्रविष्टियाँ सभी गैर शून्य हैं, और हम मैट्रिक्स A को मैट्रिक्स योग के रूप में व्यक्त करते हैं

जहाँ D, A का विकर्ण भाग है, और U और L क्रमशः सख्ती से ऊपरी और निचले त्रिकोणीय मैट्रिक्स n × n आव्यूह हैं, तो हमारे पास निम्नलिखित हैं।

जैकोबी पद्धति को विभाजन के रूप में मैट्रिक्स रूप में प्रदर्शित किया जा सकता है

गॉस-सीडेल विधि को विभाजन के रूप में मैट्रिक्स रूप में प्रदर्शित किया जा सकता है

लगातार अति-विश्राम की विधि को विभाजन के रूप में मैट्रिक्स रूप में दर्शाया जा सकता है

नियमित विभाजन
समीकरण में ($$), होने देना

आइए विभाजन लागू करें ($$) जिसका उपयोग जैकोबी विधि में किया जाता है: हम A को इस तरह विभाजित करते हैं कि B में A के विकर्ण तत्वों के सभी शामिल हैं, और C में A के विकर्ण तत्वों के सभी शामिल हैं।, अस्वीकृत। (बेशक यह मैट्रिक्स को दो मैट्रिक्स में विभाजित करने का एकमात्र उपयोगी तरीका नहीं है।) हमारे पास है


 * $$\begin{align}

& \mathbf{A^{-1}} = \frac{1}{47} \begin{pmatrix} 18 & 13 & 16 \\ 11 & 21 & 15 \\ 13 & 12 & 22 \end{pmatrix}, \quad \mathbf{B^{-1}} = \begin{pmatrix} \frac{1}{6} & 0 & 0 \\[4pt] 0 & \frac{1}{4} & 0 \\[4pt] 0 & 0 & \frac{1}{5} \end{pmatrix}, \end{align}$$
 * $$\begin{align}

\mathbf{D} = \mathbf{B^{-1}C} = \begin{pmatrix} 0 & \frac{1}{3} & \frac{1}{2} \\[4pt] \frac{1}{4} & 0 & \frac{1}{2} \\[4pt] \frac{3}{5} & \frac{1}{5} & 0 \end{pmatrix}, \quad \mathbf{B^{-1}k} = \begin{pmatrix} \frac{5}{6} \\[4pt] -3 \\[4pt] 2 \end{pmatrix}. \end{align}$$ चूंकि बी−1 ≥ 0 और C ≥ 0, विभाजन ($$) एक नियमित विभाजन है। से एक−1 > 0, वर्णक्रमीय त्रिज्या $$\rho (\mathbf D)$$ <1. (डी के अनुमानित eigenvalues ​​​​हैं $$\lambda_i \approx -0.4599820, -0.3397859, 0.7997679.$$) इसलिए, मैट्रिक्स डी अभिसारी है और विधि ($$) आवश्यक रूप से समस्या के लिए अभिसरण करता है ($$). ध्यान दें कि ए के विकर्ण तत्व शून्य से अधिक हैं, ए के ऑफ-विकर्ण तत्व सभी शून्य से कम हैं और ए सख्ती से तिरछे प्रभावशाली है। प्रक्रिया ($$) समस्या पर लागू ($$) फिर रूप लेता है

समीकरण का सटीक हल ($$) है

समीकरण के लिए पहले कुछ पुनरावृति ($$) से शुरू होकर नीचे दी गई तालिका में सूचीबद्ध हैं $x^{(0)} = (0.0, 0.0, 0.0)^{T}$. तालिका से कोई भी देख सकता है कि विधि स्पष्ट रूप से समाधान में परिवर्तित हो रही है ($$), हालांकि धीरे-धीरे।

जैकोबी विधि
जैसा कि ऊपर बताया गया है, जैकोबी विधि ($$) विशिष्ट नियमित विभाजन के समान है ($$) ऊपर दिखाया गया है।

गॉस-सीडेल विधि
चूँकि समस्या में मैट्रिक्स A की विकर्ण प्रविष्टियाँ ($$) सभी अशून्य हैं, हम मैट्रिक्स A को विभाजन के रूप में व्यक्त कर सकते हैं ($$), कहाँ

हमारे पास तब है


 * $$\begin{align}

& \mathbf{(D-L)^{-1}} = \frac{1}{120} \begin{pmatrix} 20 & 0 & 0 \\ 5 & 30 & 0 \\ 13 & 6 & 24 \end{pmatrix}, \end{align}$$
 * $$\begin{align}

& \mathbf{(D-L)^{-1}U} = \frac{1}{120} \begin{pmatrix} 0 & 40 & 60 \\ 0 & 10 & 75 \\ 0 & 26 & 51 \end{pmatrix}, \quad \mathbf{(D-L)^{-1}k} = \frac{1}{120} \begin{pmatrix} 100 \\ -335 \\ 233 \end{pmatrix}. \end{align}$$ गॉस-सीडेल विधि ($$) समस्या पर लागू ($$) रूप लेता है

समीकरण के लिए पहले कुछ पुनरावृति ($$) से शुरू होकर नीचे दी गई तालिका में सूचीबद्ध हैं $x^{(0)} = (0.0, 0.0, 0.0)^{T}$. तालिका से कोई भी देख सकता है कि विधि स्पष्ट रूप से समाधान में परिवर्तित हो रही है ($$), ऊपर वर्णित जैकोबी विधि से कुछ तेज।

क्रमिक अति-विश्राम विधि
चलो ω = 1.1। विभाजन का उपयोग करना ($$) समस्या में मैट्रिक्स A का ($$) क्रमिक अति-विश्राम विधि के लिए, हमारे पास है


 * $$\begin{align}

& \mathbf{(D-\omega L)^{-1}} = \frac{1}{12} \begin{pmatrix} 2 & 0 & 0 \\ 0.55 & 3 & 0 \\ 1.441 & 0.66 & 2.4 \end{pmatrix}, \end{align}$$


 * $$\begin{align}

& \mathbf{(D-\omega L)^{-1}[(1-\omega )D+\omega U]} = \frac{1}{12} \begin{pmatrix} -1.2 & 4.4 & 6.6 \\ -0.33 & 0.01 & 8.415 \\ -0.8646 & 2.9062 & 5.0073 \end{pmatrix}, \end{align}$$


 * $$\begin{align}

& \mathbf{\omega (D-\omega L)^{-1}k} = \frac{1}{12} \begin{pmatrix} 11 \\ -36.575 \\ 25.6135 \end{pmatrix}. \end{align}$$ लगातार अति-विश्राम विधि ($$) समस्या पर लागू ($$) रूप लेता है

समीकरण के लिए पहले कुछ पुनरावृति ($$) से शुरू होकर नीचे दी गई तालिका में सूचीबद्ध हैं $x^{(0)} = (0.0, 0.0, 0.0)^{T}$. तालिका से कोई भी देख सकता है कि विधि स्पष्ट रूप से समाधान में परिवर्तित हो रही है ($$), ऊपर वर्णित गॉस-सीडेल विधि से थोड़ा तेज।

यह भी देखें

 * ऑपरेटर विभाजन विषयों की सूची
 * मैट्रिक्स अपघटन
 * एम-मैट्रिक्स
 * स्टिल्ट का मैट्रिक्स