हेसेनबर्ग आव्यूह: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Kind of square matrix in linear algebra}} रैखिक बीजगणित में, हेसेनबर्ग मैट्रिक्स एक...")
 
No edit summary
Line 1: Line 1:
{{Short description|Kind of square matrix in linear algebra}}
{{Short description|Kind of square matrix in linear algebra}}
रैखिक बीजगणित में, हेसेनबर्ग मैट्रिक्स एक विशेष प्रकार का [[वर्ग मैट्रिक्स]] है, जो लगभग [[त्रिकोणीय मैट्रिक्स]] है। सटीक रूप से कहें तो, ऊपरी हेसेनबर्ग मैट्रिक्स में पहले विकर्ण#मैट्रिसेस के नीचे शून्य प्रविष्टियाँ हैं, और निचले हेसेनबर्ग मैट्रिक्स में पहले विकर्ण#मैट्रिसेस के ऊपर शून्य प्रविष्टियाँ हैं।<ref>{{harvtxt|Horn|Johnson|1985}}, page 28; {{harvtxt|Stoer|Bulirsch|2002}}, page 251</ref> इनका नाम [[कार्ल हेसेनबर्ग]] के नाम पर रखा गया है।<ref>Biswa Nath Datta (2010) Numerical Linear Algebra and Applications, 2nd Ed., Society for Industrial and Applied Mathematics (SIAM) {{ISBN|978-0-89871-685-6}}, p. 307</ref>
[[रैखिक बीजगणित की रूपरेखा|रैखिक बीजगणित]] में, '''हेसेनबर्ग आव्यूह''' एक विशेष प्रकार का [[वर्ग मैट्रिक्स|वर्ग आव्यूह]] होता है, जो "लगभग" [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय आव्यूह]] है। स्पष्ट रूप से कहें तो, उर्ध्व हेसेनबर्ग आव्यूह में पहले उप-विकर्ण के नीचे शून्य प्रविष्टियाँ हैं, और निचले हेसेनबर्ग आव्यूह में पहले सुपर विकर्ण के ऊपर शून्य प्रविष्टियाँ हैं।<ref>{{harvtxt|Horn|Johnson|1985}}, page 28; {{harvtxt|Stoer|Bulirsch|2002}}, page 251</ref> इनका नाम कार्ल हेसेनबर्ग के नाम पर रखा गया है।<ref>Biswa Nath Datta (2010) Numerical Linear Algebra and Applications, 2nd Ed., Society for Industrial and Applied Mathematics (SIAM) {{ISBN|978-0-89871-685-6}}, p. 307</ref>




==परिभाषाएँ==
==परिभाषाएँ==


===अपर हेसेनबर्ग मैट्रिक्स===
===अपर हेसेनबर्ग आव्यूह===
एक वर्ग <math>n \times n</math> आव्यूह <math>A</math> कहा जाता है कि यह ऊपरी हेसेनबर्ग रूप में है या यदि यह ऊपरी हेसेनबर्ग मैट्रिक्स है <math>a_{i,j}=0</math> सभी के लिए <math>i,j</math> साथ <math>i > j+1</math>.
एक वर्ग <math>n \times n</math> आव्यूह <math>A</math> कहा जाता है कि यह '''उर्ध्व हेसेनबर्ग रूप''' में है या यदि यह '''उर्ध्व हेसेनबर्ग आव्यूह''' है <math>a_{i,j}=0</math> सभी के लिए <math>i,j</math> साथ <math>i > j+1</math>.


एक ऊपरी हेसेनबर्ग मैट्रिक्स को अनरिड्यूस्ड कहा जाता है यदि सभी उपविकर्णीय प्रविष्टियाँ गैर-शून्य हैं, अर्थात यदि <math>a_{i+1,i} \neq 0</math> सभी के लिए <math>i \in \{ 1,\ldots,n-1 \}</math>.<ref>{{harvnb|Horn|Johnson|1985|p=35}}</ref>
एक उर्ध्व हेसेनबर्ग आव्यूह को '''अघटित''' कहा जाता है यदि सभी उपविकर्णीय प्रविष्टियाँ गैर-शून्य हैं, अर्थात यदि <math>a_{i+1,i} \neq 0</math> सभी के लिए <math>i \in \{ 1,\ldots,n-1 \}</math>.<ref>{{harvnb|Horn|Johnson|1985|p=35}}</ref>




===लोअर हेसेनबर्ग मैट्रिक्स===
===लोअर हेसेनबर्ग आव्यूह===
एक वर्ग <math>n \times n</math> आव्यूह <math>A</math> कहा जाता है कि यह निम्न हेसेनबर्ग रूप में है या यदि इसका स्थानांतरण होता है तो यह निम्न हेसेनबर्ग मैट्रिक्स है <math></math> एक ऊपरी हेसेनबर्ग मैट्रिक्स है या समकक्ष यदि <math>a_{i,j}=0</math> सभी के लिए <math>i,j</math> साथ <math>j > i+1</math>.
एक वर्ग <math>n \times n</math> आव्यूह <math>A</math> कहा जाता है कि यह निम्न हेसेनबर्ग रूप में है या यदि इसका स्थानांतरण होता है तो यह निम्न हेसेनबर्ग आव्यूह है <math></math> एक उर्ध्व हेसेनबर्ग आव्यूह है या समकक्ष यदि <math>a_{i,j}=0</math> सभी के लिए <math>i,j</math> साथ <math>j > i+1</math>.


यदि सभी सुपरडायगोनल प्रविष्टियाँ गैर-शून्य हैं, तो निचले हेसेनबर्ग मैट्रिक्स को अनरिड्यूस्ड कहा जाता है, अर्थात यदि <math>a_{i,i+1} \neq 0</math> सभी के लिए <math>i \in \{ 1,\ldots,n-1 \}</math>.
यदि सभी सुपरडायगोनल प्रविष्टियाँ गैर-शून्य हैं, तो निचले हेसेनबर्ग आव्यूह को अघटित कहा जाता है, अर्थात यदि <math>a_{i,i+1} \neq 0</math> सभी के लिए <math>i \in \{ 1,\ldots,n-1 \}</math>.


==उदाहरण==
==उदाहरण==
Line 23: Line 23:
0 & 2 & 3 & 4 \\
0 & 2 & 3 & 4 \\
0 & 0 & 1 & 3 \\
0 & 0 & 1 & 3 \\
\end{bmatrix}</math>
\end{bmatrix}</math><math display="block">B=\begin{bmatrix}
<math display="block">B=\begin{bmatrix}
1 & 2 & 0 & 0 \\
1 & 2 & 0 & 0 \\
5 & 2 & 3 & 0 \\
5 & 2 & 3 & 0 \\
3 & 4 & 3 & 7 \\
3 & 4 & 3 & 7 \\
5 & 6 & 1 & 1 \\
5 & 6 & 1 & 1 \\
\end{bmatrix}</math>
\end{bmatrix}</math><math display="block">C=\begin{bmatrix}
<math display="block">C=\begin{bmatrix}
1 & 2 & 0 & 0 \\
1 & 2 & 0 & 0 \\
5 & 2 & 0 & 0 \\
5 & 2 & 0 & 0 \\
Line 36: Line 34:
5 & 6 & 1 & 1 \\
5 & 6 & 1 & 1 \\
\end{bmatrix}</math>
\end{bmatrix}</math>
गणित का सवाल <math>A</math> एक ऊपरी अपरिष्कृत हेसेनबर्ग मैट्रिक्स है, <math>B</math> एक निचला अप्रतिबंधित हेसेनबर्ग मैट्रिक्स है और <math>C</math> एक निचला हेस्सेनबर्ग मैट्रिक्स है लेकिन कम नहीं किया गया है।
गणित का सवाल <math>A</math> एक उर्ध्व अपरिष्कृत हेसेनबर्ग आव्यूह है, <math>B</math> एक निचला अप्रतिबंधित हेसेनबर्ग आव्यूह है और <math>C</math> एक निचला हेस्सेनबर्ग आव्यूह है लेकिन कम नहीं किया गया है।


==कंप्यूटर प्रोग्रामिंग==
==कंप्यूटर प्रोग्रामिंग==
त्रिकोणीय मैट्रिक्स पर लागू होने पर कई रैखिक बीजगणित [[कलन विधि]] को काफी कम [[कम्प्यूटेशनल जटिलता सिद्धांत]] की आवश्यकता होती है, और यह सुधार अक्सर हेसेनबर्ग मैट्रिक्स पर भी लागू होता है। यदि एक रैखिक बीजगणित समस्या की बाधाएं एक सामान्य मैट्रिक्स को आसानी से त्रिकोणीय में कम करने की अनुमति नहीं देती हैं, तो हेसेनबर्ग फॉर्म में कमी अक्सर अगली सबसे अच्छी बात होती है। वास्तव में, किसी भी मैट्रिक्स को हेसेनबर्ग फॉर्म में कम करना चरणों की एक सीमित संख्या में प्राप्त किया जा सकता है (उदाहरण के लिए, हाउसहोल्डर ट्रांसफॉर्मेशन के माध्यम से | एकात्मक समानता परिवर्तनों के हाउसहोल्डर ट्रांसफॉर्मेशन)। हेसेनबर्ग मैट्रिक्स को त्रिकोणीय मैट्रिक्स में बाद में कमी को पुनरावृत्त प्रक्रियाओं के माध्यम से प्राप्त किया जा सकता है, जैसे स्थानांतरित [[क्यूआर अपघटन]]-कारकीकरण। [[eigenvalue एल्गोरिथ्म]] में, हेसेनबर्ग मैट्रिक्स को अपस्फीति चरणों के साथ संयुक्त शिफ्टेड क्यूआर-फैक्टराइजेशन के माध्यम से त्रिकोणीय मैट्रिक्स में कम किया जा सकता है। एक सामान्य मैट्रिक्स को हेसेनबर्ग मैट्रिक्स में कम करना और फिर एक सामान्य मैट्रिक्स को सीधे त्रिकोणीय मैट्रिक्स में कम करने के बजाय एक त्रिकोणीय मैट्रिक्स में कम करना, अक्सर आइजेनवैल्यू समस्याओं के लिए [[क्यूआर एल्गोरिदम]] में शामिल अंकगणित को मितव्ययी बनाता है।
त्रिकोणीय आव्यूह पर लागू होने पर कई रैखिक बीजगणित एल्गोरिदम ([[कलन विधि]]) को काफी कम कम्प्यूटेशनल प्रयास की आवश्यकता होती है, और यह सुधार अक्सर हेसेनबर्ग आव्यूह पर भी लागू होता है। यदि एक रैखिक बीजगणित समस्या की बाधाएं एक सामान्य आव्यूह को आसानी से त्रिकोणीय में कम करने की अनुमति नहीं देती हैं, तो हेसेनबर्ग फॉर्म में कमी अक्सर अगली सबसे अच्छी बात होती है। वास्तव में, किसी भी आव्यूह को हेसेनबर्ग फॉर्म में कम करना चरणों की एक सीमित संख्या में प्राप्त किया जा सकता है (उदाहरण के लिए, एकात्मक समानता परिवर्तनों के हाउसहोल्डर परिवर्तन के माध्यम से)। हेसेनबर्ग आव्यूह को त्रिकोणीय आव्यूह में बाद में कमी को स्थानांतरित क्यूआर-फैक्टराइजेशन जैसी पुनरावृत्त प्रक्रियाओं के माध्यम से प्राप्त किया जा सकता है। आइजेनवैल्यू एल्गोरिदम में, हेसेनबर्ग आव्यूह को अपस्फीति चरणों के साथ संयुक्त शिफ्टेड क्यूआर-फैक्टराइजेशन के माध्यम से त्रिकोणीय आव्यूह में कम किया जा सकता है। एक सामान्य आव्यूह को हेसेनबर्ग आव्यूह में कम करना और फिर एक सामान्य आव्यूह को सीधे त्रिकोणीय आव्यूह में कम करने के बजाय एक त्रिकोणीय आव्यूह में कम करना, अक्सर आइजेनवैल्यू समस्याओं के लिए [[क्यूआर एल्गोरिदम]] में शामिल अंकगणित को मितव्ययी बनाता है।
 
==हेसेनबर्ग आव्यूह में कमी==
कोई <math>n \times n</math> हाउसहोल्डर परिवर्तनों का उपयोग करके समानता परिवर्तन द्वारा आव्यूह को हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है। इस तरह के परिवर्तन के लिए निम्नलिखित प्रक्रिया ''गार्सिया और रोजर'' द्वारा लिखित <math>A^\prime</math> सेकेंड कोर्स इन लीनियर अलजेब्रा से अनुकूलित है।<ref>{{cite book |last1=Ramon Garcia |first1=Stephan |last2=Horn |first2=Roger |title=रेखीय बीजगणित में एक दूसरा कोर्स|date=2017 |isbn=9781107103818}}</ref>


==हेसेनबर्ग मैट्रिक्स में कमी==
मान लें <math>A</math> कोई भी वास्तविक या जटिल हो <math>n \times n</math> आव्यूह, फिर मान लो <math>A^\prime</math> हो <math>(n - 1) \times n</math> का उपआव्यूह <math>A</math> पहली पंक्ति को हटाकर इसका निर्माण किया गया <math>A</math> और <math>\mathbf{a}^\prime_1</math> का पहला कॉलम बनें <math>A'</math>. का निर्माण करें <math>(n-1) \times (n-1)</math> गृहस्वामी आव्यूह <math>V_1 = I_{(n-1)} - 2\frac{ww^*}{\|w\|^2}</math> जहाँ
कोई <math>n \times n</math> हाउसहोल्डर परिवर्तनों का उपयोग करके समानता परिवर्तन द्वारा मैट्रिक्स को हेसेनबर्ग मैट्रिक्स में परिवर्तित किया जा सकता है। इस तरह के परिवर्तन के लिए निम्नलिखित प्रक्रिया ''गार्सिया और रोजर'' द्वारा लिखित ए सेकेंड कोर्स इन लीनियर अलजेब्रा से अनुकूलित है।<ref>{{cite book |last1=Ramon Garcia |first1=Stephan |last2=Horn |first2=Roger |title=रेखीय बीजगणित में एक दूसरा कोर्स|date=2017 |isbn=9781107103818}}</ref>
होने देना <math>A</math> कोई भी वास्तविक या जटिल हो <math>n \times n</math> मैट्रिक्स, फिर चलो <math>A^\prime</math> हो <math>(n - 1) \times n</math> का सबमैट्रिक्स <math>A</math> पहली पंक्ति को हटाकर इसका निर्माण किया गया <math>A</math> और जाने <math>\mathbf{a}^\prime_1</math> का पहला कॉलम बनें <math>A'</math>. का निर्माण करें <math>(n-1) \times (n-1)</math> गृहस्थ मैट्रिक्स <math>V_1 = I_{(n-1)} - 2\frac{ww^*}{\|w\|^2}</math> कहाँ
<math display="block">
<math display="block">
w = \begin{cases}
w = \begin{cases}
Line 50: Line 49:
\end{cases}
\end{cases}
</math>
</math>
यह गृहस्थ मैट्रिक्स मैप करेगा <math>\mathbf{a}^\prime_1</math> को <math>\|\mathbf{a}^\prime_1\| \mathbf{e}_1</math> और इस प्रकार, ब्लॉक मैट्रिक्स <math>U_1 = \begin{bmatrix}1 & \mathbf{0} \\ \mathbf{0} & V_1 \end{bmatrix}</math> मैट्रिक्स को मैप करेगा <math>A</math> मैट्रिक्स के लिए <math>U_1A</math> जिसके पहले कॉलम की दूसरी प्रविष्टि के नीचे केवल शून्य है। अब निर्माण करें <math>(n-2) \times (n-2)</math> गृहस्थ मैट्रिक्स <math>V_2</math> उसी तरह जैसे <math>V_1</math> ऐसा है कि <math>V_2</math> के पहले कॉलम को मैप करता है <math>A^{\prime\prime}</math> को <math>\|\mathbf{a}^{\prime\prime}_1\| \mathbf{e}_1</math>, कहाँ <math>A^{\prime\prime}</math> का सबमैट्रिक्स है <math>A^{\prime}</math> की पहली पंक्ति और पहले कॉलम को हटाकर बनाया गया है <math>A^{\prime}</math>, तो करने दें <math>U_2 = \begin{bmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & V_2\end{bmatrix}</math> जो मानचित्र <math>U_1A</math> मैट्रिक्स के लिए <math>U_2U_1A</math> जिसके उपविकर्ण की पहली और दूसरी प्रविष्टि के नीचे केवल शून्य हैं। अब निर्माण करें <math>V_3</math> और तब <math>U_3</math> इसी तरह, लेकिन मैट्रिक्स के लिए <math>A^{\prime\prime\prime}</math> की पहली पंक्ति और पहले कॉलम को हटाकर बनाया गया है <math>A^{\prime\prime}</math> और पिछले चरणों की तरह आगे बढ़ें। कुल मिलाकर इसी तरह जारी रखें <math>n-2</math> कदम।
यह गृहस्वामी आव्यूह मैप करेगा <math>\mathbf{a}^\prime_1</math> को <math>\|\mathbf{a}^\prime_1\| \mathbf{e}_1</math> और इस प्रकार, ब्लॉक आव्यूह <math>U_1 = \begin{bmatrix}1 & \mathbf{0} \\ \mathbf{0} & V_1 \end{bmatrix}</math> आव्यूह को मैप करेगा <math>A</math> आव्यूह के लिए <math>U_1A</math> जिसके पहले कॉलम की दूसरी प्रविष्टि के नीचे केवल शून्य है। अब निर्माण करें <math>(n-2) \times (n-2)</math> गृहस्वामी आव्यूह <math>V_2</math> उसी तरह जैसे <math>V_1</math> ऐसा है कि <math>V_2</math> के पहले कॉलम को मैप करता है <math>A^{\prime\prime}</math> को <math>\|\mathbf{a}^{\prime\prime}_1\| \mathbf{e}_1</math>, जहाँ <math>A^{\prime\prime}</math> का उपआव्यूह है <math>A^{\prime}</math> की पहली पंक्ति और पहले कॉलम को हटाकर और <math>A^{\prime}</math> का पहला कॉलम, फिर <math>U_2 = \begin{bmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & V_2\end{bmatrix}</math> जो मानचित्र <math>U_1A</math> आव्यूह के लिए <math>U_2U_1A</math> जिसके उपविकर्ण की पहली और दूसरी प्रविष्टि के नीचे केवल शून्य हैं। अब निर्माण करें <math>V_3</math> और तब <math>U_3</math> इसी तरह, लेकिन आव्यूह के लिए <math>A^{\prime\prime\prime}</math> की पहली पंक्ति और पहले कॉलम को हटाकर बनाया गया है <math>A^{\prime\prime}</math> और पिछले चरणों की तरह आगे बढ़ें। कुल मिलाकर इसी तरह जारी रखें <math>n-2</math> कदम है।


के निर्माण द्वारा <math>U_k</math>, पहला <math>k</math> किसी की पंक्तियाँ <math>n \times n</math> गुणा के अंतर्गत मैट्रिक्स अपरिवर्तनीय हैं <math>U_k^*</math> दाईं ओर से. इसलिए, किसी भी मैट्रिक्स को फॉर्म के समानता परिवर्तन द्वारा ऊपरी हेसेनबर्ग मैट्रिक्स में परिवर्तित किया जा सकता है <math>U_{(n-2)}( \dots (U_2(U_1 A U_1^*)U_2^*) \dots )U_{(n-2)}^* = U_{(n-2)} \dots U_2U_1A(U_{(n-2)} \dots U_2U_1)^* = UAU^*</math>.
निर्माण द्वारा <math>U_k</math>, पहला <math>k</math> किसी की पंक्तियाँ <math>n \times n</math> गुणा के अंतर्गत आव्यूह अपरिवर्तनीय हैं <math>U_k^*</math> दाईं ओर से. इसलिए, किसी भी आव्यूह को फॉर्म के समानता परिवर्तन द्वारा उर्ध्व हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है <math>U_{(n-2)}( \dots (U_2(U_1 A U_1^*)U_2^*) \dots )U_{(n-2)}^* = U_{(n-2)} \dots U_2U_1A(U_{(n-2)} \dots U_2U_1)^* = UAU^*</math>.


==गुण==
==गुण==
के लिए <math>n \in \{1, 2\} </math>, यह निरा सत्य है कि हर <math> n \times n </math> मैट्रिक्स ऊपरी हेसेनबर्ग और निचला हेसेनबर्ग दोनों है।<ref>[https://www.cs.cornell.edu/~bindel/class/cs6210-f16/lec/2016-10-21.pdf Lecture Notes. Notes for 2016-10-21] Cornell University</ref>
के लिए <math>n \in \{1, 2\} </math>, यह निरा सत्य है कि हर <math> n \times n </math> आव्यूह उर्ध्व हेसेनबर्ग और निचला हेसेनबर्ग दोनों है।<ref>[https://www.cs.cornell.edu/~bindel/class/cs6210-f16/lec/2016-10-21.pdf Lecture Notes. Notes for 2016-10-21] Cornell University</ref>
त्रिकोणीय मैट्रिक्स वाले हेसेनबर्ग मैट्रिक्स का उत्पाद फिर से हेसेनबर्ग है। अधिक सटीक रूप से, यदि <math>A</math> ऊपरी हेसेनबर्ग है और <math>T</math> तो, ऊपरी त्रिकोणीय है <math>AT</math> और <math>TA</math> ऊपरी हेसेनबर्ग हैं।
 
त्रिकोणीय आव्यूह वाले हेसेनबर्ग आव्यूह का उत्पाद फिर से हेसेनबर्ग है। अधिक सटीक रूप से, यदि <math>A</math> उर्ध्व हेसेनबर्ग है और <math>T</math> तो, उर्ध्व त्रिकोणीय है <math>AT</math> और <math>TA</math> उर्ध्व हेसेनबर्ग हैं।
 
एक आव्यूह जो उर्ध्व हेसेनबर्ग और निचला हेसेनबर्ग दोनों है, एक त्रिविकर्ण आव्यूह है, जिसमें सममित या हर्मिटियन हेसेनबर्ग आव्यूह महत्वपूर्ण उदाहरण हैं। एक हर्मिटियन आव्यूह को त्रि-विकर्ण वास्तविक सममित आव्यूह में घटाया जा सकता है।<ref>{{Cite web|title=LAPACK में कम्प्यूटेशनल रूटीन (eigenvalues)।| url=http://sites.science.oregonstate.edu/~landaur/nacphy/lapack/eigen.html | website=sites.science.oregonstate.edu | access-date=2020-05-24}}</ref>


एक मैट्रिक्स जो ऊपरी हेसेनबर्ग और निचला हेसेनबर्ग दोनों है, एक त्रिविकर्ण मैट्रिक्स है, जिसमें सममित या हर्मिटियन हेसेनबर्ग मैट्रिक्स महत्वपूर्ण उदाहरण हैं। एक हर्मिटियन मैट्रिक्स को त्रि-विकर्ण वास्तविक सममित मैट्रिक्स में घटाया जा सकता है।<ref>{{Cite web|title=LAPACK में कम्प्यूटेशनल रूटीन (eigenvalues)।| url=http://sites.science.oregonstate.edu/~landaur/nacphy/lapack/eigen.html | website=sites.science.oregonstate.edu | access-date=2020-05-24}}</ref>




==हेसेनबर्ग ऑपरेटर==
==हेसेनबर्ग ऑपरेटर==
हेसेनबर्ग ऑपरेटर एक अनंत आयामी हेसेनबर्ग मैट्रिक्स है। यह आमतौर पर कुछ डोमेन पर [[वर्ग-अभिन्न]] [[होलोमोर्फिक कार्य]] के स्थान के लिए [[ऑर्थोगोनल बहुपद]] की एक प्रणाली के लिए [[ जैकोबी संचालक ]] के सामान्यीकरण के रूप में होता है - यानी, एक [[बर्गमैन स्पेस]]। इस मामले में, हेसेनबर्ग ऑपरेटर राइट-[[शिफ्ट ऑपरेटर]] है <math>S</math>, द्वारा दिए गए
हेसेनबर्ग ऑपरेटर एक अनंत आयामी हेसेनबर्ग आव्यूह है। यह प्रायः कुछ डोमेन पर वर्ग-अभिन्न होलोमोर्फिक फलन के स्थान के लिए [[ऑर्थोगोनल बहुपद]] की एक प्रणाली के लिए जैकोबी संचालक के सामान्यीकरण के रूप में होता है - यानी, एक बर्गमैन स्पेस है। इस मामले में, हेसेनबर्ग ऑपरेटर राइट-[[शिफ्ट ऑपरेटर]] है <math>S</math>, द्वारा दिए गए
<math display="block">[Sf](z) = z f(z).</math>
<math display="block">[Sf](z) = z f(z).</math>
हेसेनबर्ग ऑपरेटर के प्रत्येक प्रमुख सबमैट्रिक्स के [[eigenvalue]] उस सबमैट्रिक्स के लिए [[विशेषता बहुपद]] द्वारा दिए गए हैं। इन बहुपदों को [[बर्गमैन बहुपद]] कहा जाता है, और बर्गमैन अंतरिक्ष के लिए एक ऑर्थोगोनल बहुपद आधार प्रदान करते हैं।
हेसेनबर्ग ऑपरेटर के प्रत्येक प्रमुख उपआव्यूह के आइगेनवैल्यू उस उपआव्यूह के लिए विशेषता बहुपद द्वारा दिए गए हैं। इन बहुपदों को बर्गमैन बहुपद कहा जाता है और बर्गमैन अंतरिक्ष के लिए एक ऑर्थोगोनल बहुपद आधार प्रदान करते हैं।


==यह भी देखें==
==यह भी देखें==
Line 83: Line 84:
* {{PlanetMath |urlname=hessenbergmatrix |title=Hessenberg matrix}}
* {{PlanetMath |urlname=hessenbergmatrix |title=Hessenberg matrix}}
* [http://www.cs.utexas.edu/users/flame/pubs/flawn53.pdf High performance algorithms] for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form
* [http://www.cs.utexas.edu/users/flame/pubs/flawn53.pdf High performance algorithms] for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form
{{Matrix classes}}


{{DEFAULTSORT:Hessenberg Matrix}}[[Category: मैट्रिसेस]]  
{{DEFAULTSORT:Hessenberg Matrix}}[[Category: मैट्रिसेस]]  

Revision as of 22:52, 28 July 2023

रैखिक बीजगणित में, हेसेनबर्ग आव्यूह एक विशेष प्रकार का वर्ग आव्यूह होता है, जो "लगभग" त्रिकोणीय आव्यूह है। स्पष्ट रूप से कहें तो, उर्ध्व हेसेनबर्ग आव्यूह में पहले उप-विकर्ण के नीचे शून्य प्रविष्टियाँ हैं, और निचले हेसेनबर्ग आव्यूह में पहले सुपर विकर्ण के ऊपर शून्य प्रविष्टियाँ हैं।[1] इनका नाम कार्ल हेसेनबर्ग के नाम पर रखा गया है।[2]


परिभाषाएँ

अपर हेसेनबर्ग आव्यूह

एक वर्ग आव्यूह कहा जाता है कि यह उर्ध्व हेसेनबर्ग रूप में है या यदि यह उर्ध्व हेसेनबर्ग आव्यूह है सभी के लिए साथ .

एक उर्ध्व हेसेनबर्ग आव्यूह को अघटित कहा जाता है यदि सभी उपविकर्णीय प्रविष्टियाँ गैर-शून्य हैं, अर्थात यदि सभी के लिए .[3]


लोअर हेसेनबर्ग आव्यूह

एक वर्ग आव्यूह कहा जाता है कि यह निम्न हेसेनबर्ग रूप में है या यदि इसका स्थानांतरण होता है तो यह निम्न हेसेनबर्ग आव्यूह है Failed to parse (⧼math_empty_tex⧽): {\displaystyle } एक उर्ध्व हेसेनबर्ग आव्यूह है या समकक्ष यदि सभी के लिए साथ .

यदि सभी सुपरडायगोनल प्रविष्टियाँ गैर-शून्य हैं, तो निचले हेसेनबर्ग आव्यूह को अघटित कहा जाता है, अर्थात यदि सभी के लिए .

उदाहरण

निम्नलिखित आव्यूहों पर विचार करें।

गणित का सवाल एक उर्ध्व अपरिष्कृत हेसेनबर्ग आव्यूह है, एक निचला अप्रतिबंधित हेसेनबर्ग आव्यूह है और एक निचला हेस्सेनबर्ग आव्यूह है लेकिन कम नहीं किया गया है।

कंप्यूटर प्रोग्रामिंग

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

हेसेनबर्ग आव्यूह में कमी

कोई हाउसहोल्डर परिवर्तनों का उपयोग करके समानता परिवर्तन द्वारा आव्यूह को हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है। इस तरह के परिवर्तन के लिए निम्नलिखित प्रक्रिया गार्सिया और रोजर द्वारा लिखित सेकेंड कोर्स इन लीनियर अलजेब्रा से अनुकूलित है।[4]

मान लें कोई भी वास्तविक या जटिल हो आव्यूह, फिर मान लो हो का उपआव्यूह पहली पंक्ति को हटाकर इसका निर्माण किया गया और का पहला कॉलम बनें . का निर्माण करें गृहस्वामी आव्यूह जहाँ

यह गृहस्वामी आव्यूह मैप करेगा को और इस प्रकार, ब्लॉक आव्यूह आव्यूह को मैप करेगा आव्यूह के लिए जिसके पहले कॉलम की दूसरी प्रविष्टि के नीचे केवल शून्य है। अब निर्माण करें गृहस्वामी आव्यूह उसी तरह जैसे ऐसा है कि के पहले कॉलम को मैप करता है को , जहाँ का उपआव्यूह है की पहली पंक्ति और पहले कॉलम को हटाकर और का पहला कॉलम, फिर जो मानचित्र आव्यूह के लिए जिसके उपविकर्ण की पहली और दूसरी प्रविष्टि के नीचे केवल शून्य हैं। अब निर्माण करें और तब इसी तरह, लेकिन आव्यूह के लिए की पहली पंक्ति और पहले कॉलम को हटाकर बनाया गया है और पिछले चरणों की तरह आगे बढ़ें। कुल मिलाकर इसी तरह जारी रखें कदम है।

निर्माण द्वारा , पहला किसी की पंक्तियाँ गुणा के अंतर्गत आव्यूह अपरिवर्तनीय हैं दाईं ओर से. इसलिए, किसी भी आव्यूह को फॉर्म के समानता परिवर्तन द्वारा उर्ध्व हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है .

गुण

के लिए , यह निरा सत्य है कि हर आव्यूह उर्ध्व हेसेनबर्ग और निचला हेसेनबर्ग दोनों है।[5]

त्रिकोणीय आव्यूह वाले हेसेनबर्ग आव्यूह का उत्पाद फिर से हेसेनबर्ग है। अधिक सटीक रूप से, यदि उर्ध्व हेसेनबर्ग है और तो, उर्ध्व त्रिकोणीय है और उर्ध्व हेसेनबर्ग हैं।

एक आव्यूह जो उर्ध्व हेसेनबर्ग और निचला हेसेनबर्ग दोनों है, एक त्रिविकर्ण आव्यूह है, जिसमें सममित या हर्मिटियन हेसेनबर्ग आव्यूह महत्वपूर्ण उदाहरण हैं। एक हर्मिटियन आव्यूह को त्रि-विकर्ण वास्तविक सममित आव्यूह में घटाया जा सकता है।[6]


हेसेनबर्ग ऑपरेटर

हेसेनबर्ग ऑपरेटर एक अनंत आयामी हेसेनबर्ग आव्यूह है। यह प्रायः कुछ डोमेन पर वर्ग-अभिन्न होलोमोर्फिक फलन के स्थान के लिए ऑर्थोगोनल बहुपद की एक प्रणाली के लिए जैकोबी संचालक के सामान्यीकरण के रूप में होता है - यानी, एक बर्गमैन स्पेस है। इस मामले में, हेसेनबर्ग ऑपरेटर राइट-शिफ्ट ऑपरेटर है , द्वारा दिए गए

हेसेनबर्ग ऑपरेटर के प्रत्येक प्रमुख उपआव्यूह के आइगेनवैल्यू उस उपआव्यूह के लिए विशेषता बहुपद द्वारा दिए गए हैं। इन बहुपदों को बर्गमैन बहुपद कहा जाता है और बर्गमैन अंतरिक्ष के लिए एक ऑर्थोगोनल बहुपद आधार प्रदान करते हैं।

यह भी देखें

टिप्पणियाँ

  1. Horn & Johnson (1985), page 28; Stoer & Bulirsch (2002), page 251
  2. Biswa Nath Datta (2010) Numerical Linear Algebra and Applications, 2nd Ed., Society for Industrial and Applied Mathematics (SIAM) ISBN 978-0-89871-685-6, p. 307
  3. Horn & Johnson 1985, p. 35
  4. Ramon Garcia, Stephan; Horn, Roger (2017). रेखीय बीजगणित में एक दूसरा कोर्स. ISBN 9781107103818.
  5. Lecture Notes. Notes for 2016-10-21 Cornell University
  6. "LAPACK में कम्प्यूटेशनल रूटीन (eigenvalues)।". sites.science.oregonstate.edu. Retrieved 2020-05-24.


संदर्भ


बाहरी संबंध