हेसेनबर्ग आव्यूह: Difference between revisions
(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> | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
===अपर हेसेनबर्ग | ===अपर हेसेनबर्ग आव्यूह=== | ||
एक वर्ग <math>n \times n</math> आव्यूह <math>A</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>n \times n</math> आव्यूह <math>A</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>. | ||
==उदाहरण== | ==उदाहरण== | ||
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>A</math> एक उर्ध्व अपरिष्कृत हेसेनबर्ग आव्यूह है, <math>B</math> एक निचला अप्रतिबंधित हेसेनबर्ग आव्यूह है और <math>C</math> एक निचला हेस्सेनबर्ग आव्यूह है लेकिन कम नहीं किया गया है। | ||
==कंप्यूटर प्रोग्रामिंग== | ==कंप्यूटर प्रोग्रामिंग== | ||
त्रिकोणीय | त्रिकोणीय आव्यूह पर लागू होने पर कई रैखिक बीजगणित एल्गोरिदम ([[कलन विधि]]) को काफी कम कम्प्यूटेशनल प्रयास की आवश्यकता होती है, और यह सुधार अक्सर हेसेनबर्ग आव्यूह पर भी लागू होता है। यदि एक रैखिक बीजगणित समस्या की बाधाएं एक सामान्य आव्यूह को आसानी से त्रिकोणीय में कम करने की अनुमति नहीं देती हैं, तो हेसेनबर्ग फॉर्म में कमी अक्सर अगली सबसे अच्छी बात होती है। वास्तव में, किसी भी आव्यूह को हेसेनबर्ग फॉर्म में कम करना चरणों की एक सीमित संख्या में प्राप्त किया जा सकता है (उदाहरण के लिए, एकात्मक समानता परिवर्तनों के हाउसहोल्डर परिवर्तन के माध्यम से)। हेसेनबर्ग आव्यूह को त्रिकोणीय आव्यूह में बाद में कमी को स्थानांतरित क्यूआर-फैक्टराइजेशन जैसी पुनरावृत्त प्रक्रियाओं के माध्यम से प्राप्त किया जा सकता है। आइजेनवैल्यू एल्गोरिदम में, हेसेनबर्ग आव्यूह को अपस्फीति चरणों के साथ संयुक्त शिफ्टेड क्यूआर-फैक्टराइजेशन के माध्यम से त्रिकोणीय आव्यूह में कम किया जा सकता है। एक सामान्य आव्यूह को हेसेनबर्ग आव्यूह में कम करना और फिर एक सामान्य आव्यूह को सीधे त्रिकोणीय आव्यूह में कम करने के बजाय एक त्रिकोणीय आव्यूह में कम करना, अक्सर आइजेनवैल्यू समस्याओं के लिए [[क्यूआर एल्गोरिदम]] में शामिल अंकगणित को मितव्ययी बनाता है। | ||
==हेसेनबर्ग आव्यूह में कमी== | |||
कोई <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 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>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> | के लिए <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> उर्ध्व हेसेनबर्ग हैं। | |||
एक आव्यूह जो उर्ध्व हेसेनबर्ग और निचला हेसेनबर्ग दोनों है, एक त्रिविकर्ण आव्यूह है, जिसमें सममित या हर्मिटियन हेसेनबर्ग आव्यूह महत्वपूर्ण उदाहरण हैं। एक हर्मिटियन आव्यूह को त्रि-विकर्ण वास्तविक सममित आव्यूह में घटाया जा सकता है।<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 display="block">[Sf](z) = z f(z).</math> | |||
हेसेनबर्ग ऑपरेटर के प्रत्येक प्रमुख | हेसेनबर्ग ऑपरेटर के प्रत्येक प्रमुख उपआव्यूह के आइगेनवैल्यू उस उपआव्यूह के लिए विशेषता बहुपद द्वारा दिए गए हैं। इन बहुपदों को बर्गमैन बहुपद कहा जाता है और बर्गमैन अंतरिक्ष के लिए एक ऑर्थोगोनल बहुपद आधार प्रदान करते हैं। | ||
==यह भी देखें== | ==यह भी देखें== | ||
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 | ||
{{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]
हेसेनबर्ग ऑपरेटर
हेसेनबर्ग ऑपरेटर एक अनंत आयामी हेसेनबर्ग आव्यूह है। यह प्रायः कुछ डोमेन पर वर्ग-अभिन्न होलोमोर्फिक फलन के स्थान के लिए ऑर्थोगोनल बहुपद की एक प्रणाली के लिए जैकोबी संचालक के सामान्यीकरण के रूप में होता है - यानी, एक बर्गमैन स्पेस है। इस मामले में, हेसेनबर्ग ऑपरेटर राइट-शिफ्ट ऑपरेटर है , द्वारा दिए गए
यह भी देखें
टिप्पणियाँ
- ↑ Horn & Johnson (1985), page 28; Stoer & Bulirsch (2002), page 251
- ↑ 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
- ↑ Horn & Johnson 1985, p. 35
- ↑ Ramon Garcia, Stephan; Horn, Roger (2017). रेखीय बीजगणित में एक दूसरा कोर्स. ISBN 9781107103818.
- ↑ Lecture Notes. Notes for 2016-10-21 Cornell University
- ↑ "LAPACK में कम्प्यूटेशनल रूटीन (eigenvalues)।". sites.science.oregonstate.edu. Retrieved 2020-05-24.
संदर्भ
- Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, ISBN 978-0-521-38632-6.
- Stoer, Josef; Bulirsch, Roland (2002), Introduction to Numerical Analysis (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-95452-3.
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 11.6.2. Reduction to Hessenberg Form", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8
बाहरी संबंध
- Hessenberg matrix at MathWorld.
- Hessenberg matrix at PlanetMath.
- High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form