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

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

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

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

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

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

उदाहरण
निम्नलिखित आव्यूहों पर विचार करें। $$A=\begin{bmatrix} 1 & 4 & 2 & 3 \\ 3 & 4 & 1 & 7 \\ 0 & 2 & 3 & 4 \\ 0 & 0 & 1 & 3 \\ \end{bmatrix}$$$$B=\begin{bmatrix} 1 & 2 & 0 & 0 \\ 5 & 2 & 3 & 0 \\ 3 & 4 & 3 & 7 \\ 5 & 6 & 1 & 1 \\ \end{bmatrix}$$$$C=\begin{bmatrix} 1 & 2 & 0 & 0 \\ 5 & 2 & 0 & 0 \\ 3 & 4 & 3 & 7 \\ 5 & 6 & 1 & 1 \\ \end{bmatrix}$$ गणित का सवाल $$A$$ एक उर्ध्व उर्ध्विष्कृत हेसेनबर्ग आव्यूह है, $$B$$ एक अपकृष्टअप्रतिबंधित हेसेनबर्ग आव्यूह है और $$C$$ एक अपकृष्टहेस्सेनबर्ग आव्यूह है लेकिन कम नहीं किया गया है।

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

हेसेनबर्ग आव्यूह में कमी
कोई $$n \times n$$ हाउसहोल्डर परिवर्तनों का उपयोग करके समानता परिवर्तन द्वारा आव्यूह को हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है। इस तरह के परिवर्तन के लिए निम्नलिखित प्रक्रिया गार्सिया और रोजर द्वारा लिखित $$A^\prime$$ सेकेंड कोर्स इन लीनियर अलजेब्रा से अनुकूलित है।

मान लें $$A$$ कोई भी वास्तविक या जटिल हो $$n \times n$$ आव्यूह, फिर मान लो $$A^\prime$$ हो $$(n - 1) \times n$$ का उपआव्यूह $$A$$ पहली पंक्ति को हटाकर इसका निर्माण किया गया $$A$$ और $$\mathbf{a}^\prime_1$$ का पहला कॉलम बनें $$A'$$. का निर्माण करें $$(n-1) \times (n-1)$$ गृहस्वामी आव्यूह $$V_1 = I_{(n-1)} - 2\frac{ww^*}{\|w\|^2}$$ जहाँ $$ w = \begin{cases} \|\mathbf{a}^\prime_1\|_2\mathbf{e}_1 - \mathbf{a}^\prime_1 \;\;\;\;\;\;\;\;, \;\;\; a^\prime_{11} = 0 \\ \|\mathbf{a}^\prime_1\|_2\mathbf{e}_1 + \frac{\overline{a^\prime_{11}}}{|a^\prime_{11}|}\mathbf{a}^\prime_1 \;\;\;, \;\;\; a^\prime_{11} \neq 0 \\ \end{cases} $$ यह गृहस्वामी आव्यूह मैप करेगा $$\mathbf{a}^\prime_1$$ को $$\|\mathbf{a}^\prime_1\| \mathbf{e}_1$$ और इस प्रकार, ब्लॉक आव्यूह $$U_1 = \begin{bmatrix}1 & \mathbf{0} \\ \mathbf{0} & V_1 \end{bmatrix}$$ आव्यूह को मैप करेगा $$A$$ आव्यूह के लिए $$U_1A$$ जिसके पहले कॉलम की दूसरी प्रविष्टि के नीचे केवल शून्य है। अब निर्माण करें $$(n-2) \times (n-2)$$ गृहस्वामी आव्यूह $$V_2$$ उसी तरह जैसे $$V_1$$ ऐसा है कि $$V_2$$ के पहले कॉलम को मैप करता है $$A^{\prime\prime}$$ को $$\|\mathbf{a}^{\prime\prime}_1\| \mathbf{e}_1$$, जहाँ $$A^{\prime\prime}$$ का उपआव्यूह है $$A^{\prime}$$ की पहली पंक्ति और पहले कॉलम को हटाकर और $$A^{\prime}$$ का पहला कॉलम, फिर $$U_2 = \begin{bmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & V_2\end{bmatrix}$$ जो मानचित्र $$U_1A$$ आव्यूह के लिए $$U_2U_1A$$ जिसके उपविकर्ण की पहली और दूसरी प्रविष्टि के नीचे केवल शून्य हैं। अब निर्माण करें $$V_3$$ और तब $$U_3$$ इसी तरह, लेकिन आव्यूह के लिए $$A^{\prime\prime\prime}$$ की पहली पंक्ति और पहले कॉलम को हटाकर बनाया गया है $$A^{\prime\prime}$$ और पिछले चरणों की तरह आगे बढ़ें। कुल मिलाकर इसी तरह जारी रखें $$n-2$$ कदम है।

निर्माण द्वारा $$U_k$$, पहला $$k$$ किसी की पंक्तियाँ $$n \times n$$ गुणा के अंतर्गत आव्यूह उर्ध्विवर्तनीय हैं $$U_k^*$$ दाईं ओर से. इसलिए, किसी भी आव्यूह को फॉर्म के समानता परिवर्तन द्वारा उर्ध्व हेसेनबर्ग आव्यूह में परिवर्तित किया जा सकता है $$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^*$$.

गुण
के लिए $$n \in \{1, 2\} $$, यह निरा सत्य है कि हर $$ n \times n $$ आव्यूह उर्ध्व हेसेनबर्ग और अपकृष्टहेसेनबर्ग दोनों है।

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

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

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

यह भी देखें

 * हेसेनबर्ग किस्म

बाहरी संबंध

 * Hessenberg matrix at MathWorld.
 * High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form
 * High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form