आइजेनवैल्यू एल्गोरिदम: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Numerical methods for matrix eigenvalue calculation}} | {{Short description|Numerical methods for matrix eigenvalue calculation}} | ||
[[संख्यात्मक विश्लेषण]] में, सबसे महत्वपूर्ण समस्याओं में से [[मैट्रिक्स (गणित)]] के | [[संख्यात्मक विश्लेषण]] में, सबसे महत्वपूर्ण समस्याओं में से [[मैट्रिक्स (गणित)|आव्युह (गणित)]] के आइजेनवैल्यू को खोजने के लिए कुशल और [[संख्यात्मक स्थिरता]] [[कलन विधि]] डिजाइन करना है। ये '''आइजेनवैल्यू एल्गोरिदम''' आइजेनवेक्टर भी खोज सकते हैं। | ||
==आइजेनवैल्यू और आइजेनवेक्टर== | ==आइजेनवैल्यू और आइजेनवेक्टर== | ||
{{main| | {{main|आइजेनवैल्यू और आइजेनवेक्टर|सामान्यीकृत ईजेनवेक्टर}} | ||
मान लीजिये दिया गया {{math|''n'' × ''n''}} वर्ग आव्यूह या वर्ग आव्यूह {{math|''A''}} [[वास्तविक संख्या]] या सम्मिश्र संख्या संख्याओं का, आइजेनवैल्यू {{math|''λ''}} और इससे संबंधित सामान्यीकृत आइजेनवेक्टर {{math|'''v'''}} रिश्ते का पालन करने वाला जोड़ा है<ref name="Axler">{{Citation | last = Axler | first = Sheldon | author-link = Sheldon Axler | title = Down with Determinants! | journal = American Mathematical Monthly | volume = 102 | issue = 2 | pages = 139–154 | url = http://www.axler.net/DwD.pdf | year = 1995 | doi = 10.2307/2975348 | jstor = 2975348 | access-date = 2012-07-31 | archive-url = https://web.archive.org/web/20120913111605/http://www.axler.net/DwD.pdf | archive-date = 2012-09-13 | url-status = dead }}</ref> | |||
:<math>\left(A - \lambda I\right)^k {\mathbf v} = 0,</math> | :<math>\left(A - \lambda I\right)^k {\mathbf v} = 0,</math> | ||
जहाँ {{math|'''v'''}} अशून्य है {{math|''n'' × 1}} कॉलम सदिश , {{math|''I''}} है {{math|''n'' × ''n''}} [[शिनाख्त सांचा]], {{math|''k''}} धनात्मक पूर्णांक है, और दोनों {{math|''λ''}} और {{math|'''v'''}} को तब भी सम्मिश्र रहने की अनुमति है {{math|''A''}} यह सचमुच का है। कब {{math|1=''k'' = 1}}, सदिश को केवल [[आइजन्वेक्टर]] कहा जाता है, और जोड़ी को आइजेनपेयर कहा जाता है। इस स्तिथियों में, {{math|1=''A'''''v''' = ''λ'''''v'''}}. कोई भी आइजेनवैल्यू {{math|''λ''}} का {{math|''A''}} साधारण है<ref group="note">The term "ordinary" is used here only to emphasize the distinction between "eigenvector" and "generalized eigenvector".</ref> इससे जुड़े आइजेनवेक्टर , यदि के लिए {{math|''k''}} ऐसा सबसे छोटा पूर्णांक है {{math|1=(''A'' − ''λI'')<sup>''k''</sup> '''v''' = 0}} सामान्यीकृत आइजेनवेक्टर के लिए {{math|'''v'''}}, तब {{math|1=(''A'' − ''λI'')<sup>''k''−1</sup> '''v'''}} साधारण आइजेनवेक्टर है. मूल्य {{math|''k''}} को हमेशा से कम या बराबर के रूप में लिया जा सकता है {{math|''n''}}. विशेष रूप से, {{math|1=(''A'' − ''λI'')<sup>''n''</sup> '''v''' = 0}} सभी सामान्यीकृत आइजेनवेक्टर के लिए {{math|'''v'''}} के साथ जुड़े {{math|''λ''}}. | |||
प्रत्येक | प्रत्येक आइजेनवैल्यू के लिए {{math|λ}} का {{math|''A''}}, [[कर्नेल (मैट्रिक्स)|कर्नेल (आव्युह )]] {{math|ker(''A'' − ''λI'')}} से जुड़े सभी आइजेनवेक्टर शामिल हैं {{math|''λ''}} (0 के साथ), का [[ eigenspace |ईजेनस्पेस]] कहा जाता है {{math|''λ''}}, जबकि सदिश समष्टि {{math|ker((''A'' − ''λI'')<sup>''n''</sup>)}} में सभी सामान्यीकृत ईजेनवेक्टर शामिल हैं, और इसे [[सामान्यीकृत ईजेनस्पेस]] कहा जाता है। की [[ज्यामितीय बहुलता]] {{math|''λ''}} इसके ईजेनस्पेस का आयाम है। की [[बीजगणितीय बहुलता]] {{math|''λ''}} इसके सामान्यीकृत ईजेनस्पेस का आयाम है। बाद वाली शब्दावली समीकरण द्वारा उचित है | ||
:<math>p_A\left(z\right) = \det\left( zI - A \right) = \prod_{i=1}^k (z - \lambda_i)^{\alpha_i},</math> | :<math>p_A\left(z\right) = \det\left( zI - A \right) = \prod_{i=1}^k (z - \lambda_i)^{\alpha_i},</math> | ||
जहाँ {{math|det}} निर्धारक फलन है, {{math|''λ''<sub>''i''</sub>}} के सभी विशिष्ट आइजेनवैल्यू हैं {{math|''A''}} और यह {{math|''α''<sub>''i''</sub>}} संगत बीजगणितीय बहुलताएँ हैं। कार्यक्रम {{math|1=''p<sub>A</sub>''(''z'')}} का अभिलक्षणिक बहुपद है {{math|''A''}}. तो बीजगणितीय बहुलता विशेषता बहुपद की [[बहुपद जड़ों के गुण|बहुपद जड़ों के गुणों]] के रूप में आइगेनवैल्यू की बहुलता है। चूँकि कोई भी आइजेनवेक्टर भी सामान्यीकृत आइजेनवेक्टर है, ज्यामितीय बहुलता बीजगणितीय बहुलता से कम या उसके बराबर है। बीजगणितीय बहुलताओं का योग है {{math|''n''}}, विशेषता बहुपद की डिग्री। समीकरण {{math|1=''p<sub>A</sub>''(''z'') = 0}} को अभिलक्षणिक समीकरण कहा जाता है, क्योंकि इसकी जड़ें बिल्कुल आइजेनवैल्यू हैं {{math|''A''}}. केली-हैमिल्टन प्रमेय द्वारा, {{math|''A''}} स्वयं उसी समीकरण का पालन करता है: {{math|1=''p<sub>A</sub>''(''A'') = 0}}. परिणामस्वरूप, आव्युह के कॉलम <math display="inline">\prod_{i \ne j} (A - \lambda_iI)^{\alpha_i}</math> या तो 0 होना चाहिए या आइजेनवैल्यू का सामान्यीकृत आइजेनवेक्टर होना चाहिए {{math|''λ''<sub>''j''</sub>}}, चूंकि वे नष्ट हो गए हैं <math>(A - \lambda_jI)^{\alpha_j}</math>. वास्तव में, [[स्तंभ स्थान]] सामान्यीकृत ईजेनस्पेस है {{math|''λ''<sub>''j''</sub>}}. | |||
विशिष्ट | विशिष्ट आइजेनवैल्यू के सामान्यीकृत आइजेनवेक्टर का कोई भी संग्रह रैखिक रूप से स्वतंत्र है, इसलिए सभी के लिए आधार {{math|'''C'''<sup>''n''</sup>}} को सामान्यीकृत आइजेनवेक्टर से मिलकर चुना जा सकता है। अधिक विशेष रूप से, यह आधार {{math|{'''v'''<sub>''i''</sub>}{{su|p=''n''|b=''i''=1}}}} को चुना और व्यवस्थित किया जा सकता है ताकि | ||
* अगर {{math|'''v'''<sub>''i''</sub>}} और {{math|'''v'''<sub>''j''</sub>}} का | * अगर {{math|'''v'''<sub>''i''</sub>}} और {{math|'''v'''<sub>''j''</sub>}} का आइजेनवैल्यू समान है, तो ऐसा ही होता है {{math|'''v'''<sub>''k''</sub>}} प्रत्येक के लिए {{math|''k''}} बीच में {{math|''i''}} और {{math|''j''}}, और | ||
* अगर {{math|'''v'''<sub>''i''</sub>}} साधारण आइजनवेक्टर नहीं है, और यदि {{math|''λ''<sub>''i''</sub>}} तो फिर इसका स्वदेशी मान है {{math|1=(''A'' − ''λ''<sub>''i''</sub>''I'')'''v'''<sub>''i''</sub> = '''v'''<sub>''i''−1</sub>}} (विशेष रूप से, {{math|'''v'''<sub>1</sub>}} साधारण | * अगर {{math|'''v'''<sub>''i''</sub>}} साधारण आइजनवेक्टर नहीं है, और यदि {{math|''λ''<sub>''i''</sub>}} तो फिर इसका स्वदेशी मान है {{math|1=(''A'' − ''λ''<sub>''i''</sub>''I'')'''v'''<sub>''i''</sub> = '''v'''<sub>''i''−1</sub>}} (विशेष रूप से, {{math|'''v'''<sub>1</sub>}} साधारण आइजेनवेक्टर होना चाहिए)। | ||
यदि इन आधार | यदि इन आधार सदिशों को आव्युह के कॉलम सदिश के रूप में रखा जाता है {{math|1=''V'' = ['''v'''<sub>1</sub> '''v'''<sub>2</sub> ⋯ '''v'''<sub>''n''</sub>]}}, तब {{math|''V''}} का उपयोग परिवर्तित करने के लिए किया जा सकता है {{math|''A''}} अपने [[जॉर्डन सामान्य रूप]] में: | ||
:<math>V^{-1}AV = \begin{bmatrix} \lambda_1 & \beta_1 & 0 & \ldots & 0 \\ 0 & \lambda_2 & \beta_2 & \ldots & 0 \\ 0 & 0 & \lambda_3 & \ldots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \ldots & \lambda_n \end{bmatrix},</math> | :<math>V^{-1}AV = \begin{bmatrix} \lambda_1 & \beta_1 & 0 & \ldots & 0 \\ 0 & \lambda_2 & \beta_2 & \ldots & 0 \\ 0 & 0 & \lambda_3 & \ldots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \ldots & \lambda_n \end{bmatrix},</math> | ||
जहां {{math|''λ''<sub>''i''</sub>}} | जहां {{math|''λ''<sub>''i''</sub>}} आइजेनवैल्यू हैं, {{math|1=''β''<sub>''i''</sub> = 1}} अगर {{math|1=(''A'' − ''λ''<sub>''i''+1</sub>)'''v'''<sub>''i''+1</sub> = '''v'''<sub>''i''</sub>}} और {{math|1=''β''<sub>''i''</sub> = 0}} अन्यथा। | ||
अधिक सामान्यतः, यदि {{math|''W''}} कोई उलटा | अधिक सामान्यतः, यदि {{math|''W''}} कोई उलटा आव्युह है, और {{math|''λ''}} का प्रतिमान है {{math|''A''}} सामान्यीकृत आइजेनवेक्टर के साथ {{math|'''v'''}}, तब {{math|1=(''W''{{i sup|−1}}''AW'' − ''λI'')<sup>''k''</sup> ''W''{{i sup|−''k''}}'''v''' = 0}}. इस प्रकार {{math|''λ''}} का प्रतिमान है {{math|''W''{{i sup|−1}}''AW''}} सामान्यीकृत आइजेनवेक्टर के साथ {{math|''W''{{i sup|−''k''}}'''v'''}}. अर्थात्, समान आव्यूहों के आइजेनवैल्यू समान होते हैं। | ||
===सामान्य, हर्मिटियन, और वास्तविक-सममित | ===सामान्य, हर्मिटियन, और वास्तविक-सममित आव्युह === | ||
{{main| | {{main|संलग्न आव्युह|साधारण आव्युह|हर्मिटियन आव्युह }} | ||
[[संयुग्म स्थानांतरण]] {{math|''M''<sup>*</sup>}} | [[संयुग्म स्थानांतरण]] {{math|''M''<sup>*</sup>}} सम्मिश्र आव्युह का {{math|''M''}} के संयुग्म का स्थानान्तरण है {{math|''M''}}: {{math|1=''M'' <sup>*</sup> = {{overline|''M''}} <sup>T</sup>}}. वर्ग आव्युह {{math|''A''}} को [[सामान्य मैट्रिक्स|सामान्य आव्युह]] कहा जाता है यदि यह अपने सहायक के साथ आवागमन करता है: {{math|1=''A''<sup>*</sup>''A'' = ''AA''<sup>*</sup>}}. इसे [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्युह]] कहा जाता है यदि यह इसके सहायक के बराबर है: {{math|1=''A''<sup>*</sup> = ''A''}}. सभी हर्मिटियन मैट्रिस सामान्य हैं। अगर {{math|''A''}} में केवल वास्तविक तत्व हैं, तो जोड़ केवल स्थानान्तरण है, और {{math|''A''}} हर्मिटियन है यदि और केवल यदि यह [[सममित मैट्रिक्स|सममित आव्युह]] है। जब कॉलम सदिश पर लागू किया जाता है, तो विहित आंतरिक उत्पाद को परिभाषित करने के लिए एडजॉइंट का उपयोग किया जा सकता है {{math|'''C'''<sup>''n''</sup>}}: {{math|1='''w''' ⋅ '''v''' = '''w'''<sup>*</sup> '''v'''}}.<ref group="note">This ordering of the inner product (with the conjugate-linear position on the left), is preferred by physicists. Algebraists often place the conjugate-linear position on the right: {{math|1='''w''' ⋅ '''v''' = '''v'''<sup>*</sup> '''w'''}}.</ref> सामान्य, हर्मिटियन और वास्तविक-सममित आव्युह में कई उपयोगी गुण होते हैं: | ||
* सामान्य | * सामान्य आव्युह का प्रत्येक सामान्यीकृत आइजनवेक्टर साधारण आइजेनवेक्टर होता है। | ||
* कोई भी सामान्य | * कोई भी सामान्य आव्युह विकर्ण आव्युह के समान होता है, क्योंकि इसका जॉर्डन सामान्य रूप विकर्ण होता है। | ||
* एक सामान्य | * एक सामान्य आव्युह के अलग-अलग आइगेनवैल्यू के आइजेनवेक्टर ऑर्थोगोनल होते हैं। | ||
* सामान्य | * सामान्य आव्युह का शून्य स्थान और छवि (या स्तंभ स्थान) दूसरे के लिए ओर्थोगोनल हैं। | ||
* किसी भी सामान्य | * किसी भी सामान्य आव्युह के लिए {{math|''A''}}, {{math|'''C'''<sup>''n''</sup>}} का ऑर्थोनॉर्मल आधार है जिसमें आइजेनवेक्टर शामिल हैं {{math|''A''}}. आइजेनवेक्टर का संगत आव्युह [[एकात्मक मैट्रिक्स|एकात्मक आव्युह]] है। | ||
* चूंकि हर्मिटियन | * चूंकि हर्मिटियन आव्युह के आइगेनवैल्यू वास्तविक हैं {{math|1=({{overline|''λ''}} − ''λ'')'''v''' = (''A''<sup>*</sup> − ''A'')'''v''' = (''A'' − ''A'')'''v''' = 0}} गैर-शून्य ईजेनवेक्टर के लिए {{math|'''v'''}}. | ||
* अगर {{math|''A''}} वास्तविक है, इसके लिए लंबात्मक आधार है {{math|'''R'''<sup>''n''</sup>}} के | * अगर {{math|''A''}} वास्तविक है, इसके लिए लंबात्मक आधार है {{math|'''R'''<sup>''n''</sup>}} के आइजेनवेक्टर से मिलकर {{math|''A''}} अगर और केवल अगर {{math|''A''}} सममित है. | ||
एक वास्तविक या | एक वास्तविक या सम्मिश्र आव्युह के लिए हर्मिटियन हुए बिना सभी वास्तविक स्वदेशी मान होना संभव है। उदाहरण के लिए, वास्तविक [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय आव्युह]] के विकर्ण के साथ इसके स्वदेशी मान होते हैं, लेकिन सामान्य तौर पर यह सममित नहीं होता है। | ||
== | ==नियम संख्या == | ||
संख्यात्मक गणना की किसी भी समस्या को किसी फ़ंक्शन के मूल्यांकन के रूप में देखा जा सकता है {{math|''f''}} कुछ इनपुट के लिए {{math|''x''}}. [[शर्त संख्या]] {{math|''κ''(''f'', ''x'')}} समस्या फ़ंक्शन के आउटपुट में सापेक्ष त्रुटि और इनपुट में सापेक्ष त्रुटि का अनुपात है, और फ़ंक्शन और इनपुट दोनों के साथ भिन्न होता है। | संख्यात्मक गणना की किसी भी समस्या को किसी फ़ंक्शन के मूल्यांकन के रूप में देखा जा सकता है {{math|''f''}} कुछ इनपुट के लिए {{math|''x''}}. [[शर्त संख्या|नियम संख्या]] {{math|''κ''(''f'', ''x'')}} समस्या फ़ंक्शन के आउटपुट में सापेक्ष त्रुटि और इनपुट में सापेक्ष त्रुटि का अनुपात है, और फ़ंक्शन और इनपुट दोनों के साथ भिन्न होता है। नियम संख्या बताती है कि गणना के दौरान त्रुटि कैसे बढ़ती है। इसका बेस-10 लघुगणक बताता है कि परिणाम में इनपुट में मौजूद सटीकता के कितने कम अंक मौजूद हैं। नियम संख्या सर्वोत्तम स्थिति है. यह समस्या में अंतर्निहित अस्थिरता को दर्शाता है, भले ही इसे कैसे भी हल किया जाए। संयोग को छोड़कर, कोई भी एल्गोरिदम कभी भी स्थिति संख्या द्वारा इंगित से अधिक सटीक परिणाम नहीं दे सकता है। चूँकि , खराब तरीके से डिज़ाइन किया गया एल्गोरिदम काफी खराब परिणाम दे सकता है। उदाहरण के लिए, जैसा कि नीचे बताया गया है, सामान्य आव्यूहों के लिए स्वदेशी मान खोजने की समस्या हमेशा अच्छी तरह से तैयार की जाती है। चूँकि , बहुपद की जड़ों को खोजने की समस्या विल्किंसन बहुपद हो सकती है|बहुत ख़राब स्थिति में। इस प्रकार आइजेनवैल्यू एल्गोरिदम जो विशेषता बहुपद की जड़ों को ढूंढकर काम करते हैं, समस्या न होने पर भी खराब स्थिति में हो सकते हैं। | ||
रैखिक समीकरण को हल करने की समस्या के लिए {{math|1=''A'''''v''' = '''b'''}} | रैखिक समीकरण को हल करने की समस्या के लिए {{math|1=''A'''''v''' = '''b'''}} जहाँ {{math|''A''}} उलटा है, नियम संख्या#मैट्रिसेस {{math|1=''κ''(''A''<sup>−1</sup>, '''b''')}} द्वारा दिया गया है {{math|1={{!!}}''A''{{!!}}<sub>op</sub>{{!!}}''A''<sup>−1</sup>{{!!}}<sub>op</sub>}}, जहाँ {{nowrap|{{!!}} {{!!}}<sub>op</sub>}} संचालिका मानदंड सामान्य मानदंड (गणित)#यूक्लिडियन मानदंड के अधीनस्थ है {{math|'''C'''<sup>''n''</sup>}}. चूँकि यह संख्या स्वतंत्र है {{math|'''b'''}} और के लिए भी वैसा ही है {{math|''A''}} और {{math|''A''<sup>−1</sup>}}, इसे आमतौर पर केवल कंडीशन नंबर कहा जाता है {{math|''κ''(''A'')}} आव्युह का {{math|''A''}}. यह मान {{math|''κ''(''A'')}} सबसे बड़े आइजेनवैल्यू के अनुपात का निरपेक्ष मान भी है {{math|''A''}} अपने सबसे छोटे से. अगर {{math|''A''}} तो एकात्मक आव्युह है {{math|1={{!!}}''A''{{!!}}<sub>op</sub> = {{!!}}''A''<sup>−1</sup>{{!!}}<sub>op</sub> = 1}}, इसलिए {{math|1=''κ''(''A'') = 1}}. सामान्य आव्युह के लिए, ऑपरेटर मानदंड की गणना करना अक्सर मुश्किल होता है। इस कारण से, स्थिति संख्या का अनुमान लगाने के लिए आमतौर पर अन्य [[मैट्रिक्स मानदंड|आव्युह मानदंड]]ों का उपयोग किया जाता है। | ||
आइजेनवैल्यू समस्या के लिए, बाउर-फ़ाइक प्रमेय कि यदि {{math|''λ''}} [[विकर्णीय मैट्रिक्स]] के लिए | आइजेनवैल्यू समस्या के लिए, बाउर-फ़ाइक प्रमेय कि यदि {{math|''λ''}} [[विकर्णीय मैट्रिक्स|विकर्णीय आव्युह]] के लिए आइजेनवैल्यू है {{math|''n'' × ''n''}} आव्यूह {{math|''A''}} [[eigenvector मैट्रिक्स|आइजेनवेक्टर आव्युह]] के साथ {{math|''V''}}, तो गणना में पूर्ण त्रुटि {{math|''λ''}} के उत्पाद से घिरा है {{math|''κ''(''V'')}} और पूर्ण त्रुटि {{math|''A''}}.<ref>{{Citation | author = F. L. Bauer | author2 = C. T. Fike | title = Norms and exclusion theorems | journal = Numer. Math. | volume = 2 | pages = 137–141 | year = 1960 | doi=10.1007/bf01386217| s2cid = 121278235 }}</ref> बाउर-फ़ाइक प्रमेय#उपप्रमेय, खोजने के लिए नियम संख्या {{math|''λ''}} है {{math|1=''κ''(''λ'', ''A'') = ''κ''(''V'') = {{!!}}''V'' {{!!}}<sub>op</sub> {{!!}}''V'' <sup>−1</sup>{{!!}}<sub>op</sub>}}. अगर {{math|''A''}} तो सामान्य है {{math|''V''}} एकात्मक है, और {{math|1=''κ''(''λ'', ''A'') = 1}}. इस प्रकार सभी सामान्य आव्युह के लिए आइजेनवैल्यू समस्या अच्छी तरह से वातानुकूलित है। | ||
एक सामान्य | एक सामान्य आव्युह के आइजनस्पेस को खोजने की समस्या के लिए नियम संख्या {{math|''A''}} आइजेनवैल्यू के अनुरूप {{math|''λ''}} को बीच की न्यूनतम दूरी के व्युत्क्रमानुपाती दिखाया गया है {{math|''λ''}} और अन्य विशिष्ट आइजेनवैल्यू {{math|''A''}}.<ref>{{Citation | author = S.C. Eisenstat | author2 = I.C.F. Ipsen | title = Relative Perturbation Results for Eigenvalues and Eigenvectors of Diagonalisable Matrices | journal = BIT | volume = 38 | issue = 3 | pages = 502–9 | year = 1998 | doi=10.1007/bf02510256| s2cid = 119886389 | url = http://www.lib.ncsu.edu/resolver/1840.4/286 }}</ref> विशेष रूप से, सामान्य आव्युह के लिए आइजेनस्पेस समस्या पृथक आइजेनवैल्यू के लिए अच्छी तरह से अनुकूलित है। जब आइजेनवैल्यू अलग-थलग नहीं होते हैं, तो सबसे अच्छी उम्मीद की जा सकती है कि आस-पास के आइजेनवैल्यू के सभी आइजेनवेक्टर की अवधि की पहचान की जाए। | ||
==एल्गोरिदम== | ==एल्गोरिदम== | ||
आइजनवैल्यू की गणना के लिए सबसे विश्वसनीय और सबसे व्यापक रूप से इस्तेमाल किया जाने वाला एल्गोरिदम जॉन जी.एफ. फ्रांसिस का [[क्यूआर एल्गोरिदम]] है, जिसे 20वीं सदी के शीर्ष दस एल्गोरिदम में से माना जाता है।<ref name="t10">{{cite journal |last1=J. Dongarra and F. Sullivan |title=सदी के शीर्ष दस एल्गोरिदम|journal=Computing in Science and Engineering |date=2000 |volume=2 |page=22-23}}</ref> | आइजनवैल्यू की गणना के लिए सबसे विश्वसनीय और सबसे व्यापक रूप से इस्तेमाल किया जाने वाला एल्गोरिदम जॉन जी.एफ. फ्रांसिस का [[क्यूआर एल्गोरिदम]] है, जिसे 20वीं सदी के शीर्ष दस एल्गोरिदम में से माना जाता है।<ref name="t10">{{cite journal |last1=J. Dongarra and F. Sullivan |title=सदी के शीर्ष दस एल्गोरिदम|journal=Computing in Science and Engineering |date=2000 |volume=2 |page=22-23}}</ref> | ||
कोई भी राक्षसी बहुपद उसके [[साथी मैट्रिक्स]] का विशिष्ट बहुपद होता है। इसलिए, | कोई भी राक्षसी बहुपद उसके [[साथी मैट्रिक्स|साथी आव्युह]] का विशिष्ट बहुपद होता है। इसलिए, आइजेनवैल्यू खोजने के लिए सामान्य एल्गोरिदम का उपयोग बहुपदों की जड़ों को खोजने के लिए भी किया जा सकता है। एबेल-रफिनी प्रमेय से पता चलता है कि 4 से अधिक आयामों के लिए ऐसा कोई भी एल्गोरिदम या तो अनंत होना चाहिए, या प्राथमिक अंकगणितीय संचालन और आंशिक शक्तियों की तुलना में अधिक सम्मिश्र ता के कार्यों को शामिल करना चाहिए। इस कारण से एल्गोरिदम जो चरणों की सीमित संख्या में आइजेनवैल्यू की सटीक गणना करते हैं, केवल कुछ विशेष वर्गों के आव्युह के लिए मौजूद हैं। सामान्य आव्युह के लिए, एल्गोरिदम पुनरावृत्तीय विधि है, जो प्रत्येक पुनरावृत्ति के साथ बेहतर अनुमानित समाधान उत्पन्न करती है। | ||
कुछ एल्गोरिदम प्रत्येक | कुछ एल्गोरिदम प्रत्येक आइजेनवैल्यू का उत्पादन करेंगे, अन्य कुछ या केवल का उत्पादन करेंगे। चूँकि , बाद वाले एल्गोरिदम का उपयोग भी सभी आइजेनवैल्यू को खोजने के लिए किया जा सकता है। बार आइजेनवैल्यू {{math|''λ''}} आव्युह का {{math|''A''}} की पहचान कर ली गई है, इसका उपयोग या तो अगली बार एल्गोरिदम को अलग समाधान की ओर निर्देशित करने के लिए किया जा सकता है, या उस समस्या को कम करने के लिए किया जा सकता है जो अब नहीं है {{math|''λ''}} समाधान के रूप में. | ||
पुनर्निर्देशन आमतौर पर शिफ्टिंग: रिप्लेसिंग द्वारा पूरा किया जाता है {{math|''A''}} साथ {{math|''A'' − ''μI''}} कुछ स्थिरांक के लिए {{math|''μ''}}. के लिए | पुनर्निर्देशन आमतौर पर शिफ्टिंग: रिप्लेसिंग द्वारा पूरा किया जाता है {{math|''A''}} साथ {{math|''A'' − ''μI''}} कुछ स्थिरांक के लिए {{math|''μ''}}. के लिए आइजेनवैल्यू पाया गया {{math|''A'' − ''μI''}} होना आवश्यक है {{math|''μ''}} के लिए आइजेनवैल्यू प्राप्त करने के लिए वापस जोड़ा गया {{math|''A''}}. उदाहरण के लिए, [[शक्ति पुनरावृत्ति]] के लिए, {{math|1=''μ'' = ''λ''}}. पावर पुनरावृत्ति पूर्ण मूल्य में सबसे बड़ा आइजेनवैल्यू पाता है, तब भी जब {{math|''λ''}} केवल अनुमानित आइजेनवैल्यू है, शक्ति पुनरावृत्ति इसे दूसरी बार खोजने की संभावना नहीं है। इसके विपरीत, व्युत्क्रम पुनरावृत्ति आधारित विधियाँ सबसे कम आइजेनवैल्यू पाती हैं {{math|''μ''}} से काफी दूर चुना गया है {{math|''λ''}} और उम्मीद है कि यह किसी अन्य आइजेनवैल्यू के करीब होगा। | ||
कमी को प्रतिबंधित करके पूरा किया जा सकता है {{math|''A''}} | कमी को प्रतिबंधित करके पूरा किया जा सकता है {{math|''A''}} आव्युह के कॉलम स्थान पर {{math|''A'' − ''λI''}}, कौन {{math|''A''}} अपने पास ले जाता है। तब से {{math|''A'' - ''λI''}} एकवचन है, स्तंभ स्थान कम आयाम का है। फिर आइजेनवैल्यू एल्गोरिदम को प्रतिबंधित आव्युह पर लागू किया जा सकता है। इस प्रक्रिया को तब तक दोहराया जा सकता है जब तक कि सभी आइजेनवैल्यू नहीं मिल जाते। | ||
यदि | यदि आइजेनवैल्यू एल्गोरिदम आइजेनवेक्टर का उत्पादन नहीं करता है, तो आम अभ्यास व्युत्क्रम पुनरावृत्ति आधारित एल्गोरिदम का उपयोग करना है {{math|''μ''}} आइजेनवैल्यू के निकट सन्निकटन पर सेट करें। यह शीघ्रता से निकटतम आइजेनवैल्यू के आइजेनवेक्टर में परिवर्तित हो जाएगा {{math|''μ''}}. छोटे आव्युह के लिए, विकल्प यह है कि उत्पाद के कॉलम स्थान को देखा जाए {{math|''A'' − ''λ''{{'}}''I''}} अन्य प्रत्येक आइजेनवैल्यू के लिए {{math|''λ''{{'}}}}. | ||
सामान्य | सामान्य आव्युह के यूनिट ईजेनवेक्टर घटकों के मानदंड के लिए सूत्र रॉबर्ट थॉम्पसन द्वारा 1966 में खोजा गया था और कई अन्य लोगों द्वारा स्वतंत्र रूप से फिर से खोजा गया था। <ref>{{cite journal |last1=Thompson |first1=R. C. |title=सामान्य और हर्मिटियन मैट्रिक्स के प्रमुख उपमैट्रिसेस|journal=Illinois Journal of Mathematics |date=June 1966 |volume=10 |issue=2 |pages=296–308 |doi=10.1215/ijm/1256055111 |doi-access=free }}</ref><ref>{{cite journal |author1=Peter Nylen |author2=Tin-Yau Tam |author3=Frank Uhlig |title=सामान्य, हर्मिटियन और सममित मैट्रिक्स के प्रमुख उपमैट्रिसेस के आइगेनवैल्यू पर|journal=Linear and Multilinear Algebra |date=1993 |volume=36 |issue=1 |pages=69–78 |doi=10.1080/03081089308818276}}</ref><ref>{{cite journal |authors=N. Bebiano, S. Furtado, J. da Providência |title=जे-सामान्य मैट्रिक्स के प्रमुख उपमैट्रिसेस के आइगेनवैल्यू पर|journal=Linear Algebra and Its Applications |date=2011 |volume=435 |issue=12 |pages=3101–3114 |doi=10.1016/j.laa.2011.05.033 |doi-access=free }}</ref><ref>{{cite journal | vauthors=Forrester PJ, Zhang J | arxiv=1905.05314 | title=कॉरैंक-1 प्रक्षेपण और यादृच्छिक हॉर्न समस्या| journal=Tunisian Journal of Mathematics | year=2021 | volume=3 | pages=55–73 | doi=10.2140/tunis.2021.3.55 | s2cid=153312446 }}</ref><ref>{{cite journal | vauthors= Denton PB, Parke SJ, Tao T, Zhang X | arxiv=1908.03795 | title=Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra | journal=Bulletin of the American Mathematical Society | year=2021 | volume=59 | page=1 | doi=10.1090/bull/1722 | s2cid=213918682 }}</ref> | ||
अगर {{math|''A''}} <math display="inline"> n \times n</math> | अगर {{math|''A''}} <math display="inline"> n \times n</math> आइजेनवैल्यू के साथ सामान्य आव्युह {{math|''λ''<sub>''i''</sub>(''A'')}} और संबंधित इकाई आइजेनवेक्टर {{math|'''v'''<sub>''i''</sub>}}जिसकी घटक प्रविष्टियाँ हैं {{math|''v''<sub>''i,j''</sub>}}, होने देना {{math|''A''<sub>''j''</sub>}} हो <math display="inline"> n - 1 \times n - 1</math> को हटाकर प्राप्त आव्युह {{math|''i''}}-वीं पंक्ति और स्तंभ से {{math|''A''}}, और जाने {{math|''λ''<sub>''k''</sub>(''A''<sub>''j''</sub>)}} यह हो {{math|''k''}}-वां आइजेनवैल्यू . तब | ||
<math display="block"> |v_{i,j}|^2 \prod_{k=1,k\ne i}^n (\lambda_i(A) - \lambda_k(A)) = \prod_{k=1}^{n-1}(\lambda_i(A) - \lambda_k(A_j))</math> | <math display="block"> |v_{i,j}|^2 \prod_{k=1,k\ne i}^n (\lambda_i(A) - \lambda_k(A)) = \prod_{k=1}^{n-1}(\lambda_i(A) - \lambda_k(A_j))</math> | ||
अगर <math>p, p_j</math> के अभिलाक्षणिक बहुपद हैं <math>A</math> और <math>A_j</math>, सूत्र को इस प्रकार पुनः लिखा जा सकता है | अगर <math>p, p_j</math> के अभिलाक्षणिक बहुपद हैं <math>A</math> और <math>A_j</math>, सूत्र को इस प्रकार पुनः लिखा जा सकता है | ||
Line 67: | Line 68: | ||
==हेसेनबर्ग और त्रिविकर्ण आव्यूह== | ==हेसेनबर्ग और त्रिविकर्ण आव्यूह== | ||
{{main| | {{main|हेस्सेनबर्ग आव्युह }} | ||
चूँकि त्रिकोणीय | चूँकि त्रिकोणीय आव्युह के आइजेनवैल्यू इसके विकर्ण तत्व हैं, सामान्य आव्युह के लिए आइजेनवैल्यू को संरक्षित करते हुए आव्युह को त्रिकोणीय रूप में परिवर्तित करने के लिए गाऊसी उन्मूलन जैसी कोई सीमित विधि नहीं है। लेकिन त्रिकोणीय के करीब कुछ पहुंचना संभव है. [[हेसेनबर्ग मैट्रिक्स|हेसेनबर्ग आव्युह]] वर्ग आव्युह है जिसके लिए [[उपविकर्ण]] के नीचे की सभी प्रविष्टियाँ शून्य हैं। निचला हेसेनबर्ग आव्युह वह है जिसके लिए [[ अतिविकर्ण |अतिविकर्ण]] के ऊपर की सभी प्रविष्टियाँ शून्य हैं। वे आव्युह जो हेसेनबर्ग के ऊपरी और निचले दोनों हैं, त्रिदिकोणीय आव्युह हैं। हेसेनबर्ग और त्रिदिकोणीय आव्युह कई आइगेनवैल्यू एल्गोरिदम के लिए प्रारम्भिक बिंदु हैं क्योंकि शून्य प्रविष्टियां समस्या की सम्मिश्र ता को कम करती हैं। सामान्य आव्युह को समान आइजेनवैल्यू के साथ हेसेनबर्ग आव्युह में परिवर्तित करने के लिए आमतौर पर कई तरीकों का उपयोग किया जाता है। यदि मूल आव्युह सममित या हर्मिटियन था, तो परिणामी आव्युह त्रिविकर्ण होगा। | ||
जब केवल | जब केवल आइजेनवैल्यू की आवश्यकता होती है, तो समानता आव्युह की गणना करने की कोई आवश्यकता नहीं होती है, क्योंकि रूपांतरित आव्युह में समान आइजेनवैल्यू होते हैं। यदि आइजेनवेक्टर की भी आवश्यकता है, तो हेसेनबर्ग आव्युह के आइजेनवेक्टर को मूल आव्युह के आइजेनवेक्टर में बदलने के लिए समानता आव्युह की आवश्यकता हो सकती है। | ||
{| class="wikitable" style="text-align: center" | {| class="wikitable" style="text-align: center" | ||
Line 101: | Line 102: | ||
| [[Lanczos algorithm]] || Hermitian || Tridiagonal || || || align="left" | Arnoldi iteration for Hermitian matrices, with shortcuts. | | [[Lanczos algorithm]] || Hermitian || Tridiagonal || || || align="left" | Arnoldi iteration for Hermitian matrices, with shortcuts. | ||
|} | |} | ||
सममित त्रिदिकोणीय | सममित त्रिदिकोणीय आइजेनवैल्यू समस्याओं के लिए सभी आइजेनवैल्यू (आइजेनवेक्टर के बिना) को विशेषता बहुपद पर द्विभाजन का उपयोग करके समय O(n log(n)) में संख्यात्मक रूप से गणना की जा सकती है। <ref name=CoakleyRokhlin>{{Citation |last=Coakley|first=Ed S. |title=A fast divide-and-conquer algorithm for computing the spectra of real symmetric tridiagonal matrices. |journal=[[Applied and Computational Harmonic Analysis]] |volume=34 |issue=3 |date=May 2013 |page=379–414 |doi=10.1016/j.acha.2012.06.003|doi-access=free }}</ref> | ||
==पुनरावृत्तीय एल्गोरिदम== | ==पुनरावृत्तीय एल्गोरिदम== | ||
पुनरावृत्त एल्गोरिदम आइगेनवैल्यू समस्या को ऐसे अनुक्रमों का निर्माण करके हल करते हैं जो आइगेनवैल्यू में परिवर्तित होते हैं। कुछ एल्गोरिदम | पुनरावृत्त एल्गोरिदम आइगेनवैल्यू समस्या को ऐसे अनुक्रमों का निर्माण करके हल करते हैं जो आइगेनवैल्यू में परिवर्तित होते हैं। कुछ एल्गोरिदम सदिश के अनुक्रम भी उत्पन्न करते हैं जो आइजेनवेक्टर में परिवर्तित होते हैं। आमतौर पर, आइगेनवैल्यू अनुक्रमों को समान आव्युह के अनुक्रम के रूप में व्यक्त किया जाता है जो त्रिकोणीय या विकर्ण रूप में परिवर्तित हो जाते हैं, जिससे आइजेनवैल्यू को आसानी से पढ़ा जा सकता है। आइजेनवेक्टर अनुक्रमों को संगत समानता आव्युह के रूप में व्यक्त किया जाता है। | ||
{| class="wikitable" style="text-align: center" | {| class="wikitable" style="text-align: center" | ||
Line 132: | Line 133: | ||
}}</ref> or [[LOBPCG|LOBPCG algorithm]] || [[Positive-definite matrix|positive-definite]] real symmetric || eigenpair with value closest to ''μ'' || || || align="left" | Inverse iteration using a [[preconditioner]] (an approximate inverse to {{math|''A''}}). | }}</ref> or [[LOBPCG|LOBPCG algorithm]] || [[Positive-definite matrix|positive-definite]] real symmetric || eigenpair with value closest to ''μ'' || || || align="left" | Inverse iteration using a [[preconditioner]] (an approximate inverse to {{math|''A''}}). | ||
|- | |- | ||
| [[Bisection eigenvalue algorithm|Bisection method]] || real symmetric tridiagonal || any | | [[Bisection eigenvalue algorithm|Bisection method]] || real symmetric tridiagonal || any आइजेनवैल्यू || || linear || align="left" | Uses the [[bisection method]] to find roots of the characteristic polynomial, supported by the Sturm sequence. | ||
|- | |- | ||
| [[Laguerre iteration]] || real symmetric tridiagonal || any | | [[Laguerre iteration]] || real symmetric tridiagonal || any आइजेनवैल्यू || || cubic<ref>{{Citation | ||
| last1=Li | | last1=Li | ||
| first1=T. Y. | | first1=T. Y. | ||
Line 144: | Line 145: | ||
}}</ref> || align="left" | Uses [[Laguerre's method]] to find roots of the characteristic polynomial, supported by the Sturm sequence. | }}</ref> || align="left" | Uses [[Laguerre's method]] to find roots of the characteristic polynomial, supported by the Sturm sequence. | ||
|- | |- | ||
| rowspan="2" | [[QR algorithm]] ||rowspan="2" | Hessenberg|| all | | rowspan="2" | [[QR algorithm]] ||rowspan="2" | Hessenberg|| all आइजेनवैल्यू || {{math|''O''(''n''<sup>2</sup>)}} ||rowspan="2" | cubic || align="left" rowspan="2" | Factors ''A'' = ''QR'', where ''Q'' is orthogonal and ''R'' is triangular, then applies the next iteration to ''RQ''. | ||
|- | |- | ||
| all eigenpairs || {{math|6''n''<sup>3</sup> + ''O''(''n''<sup>2</sup>)}} | | all eigenpairs || {{math|6''n''<sup>3</sup> + ''O''(''n''<sup>2</sup>)}} | ||
|- | |- | ||
| [[Jacobi eigenvalue algorithm]] || real symmetric || all | | [[Jacobi eigenvalue algorithm|Jacobi आइजेनवैल्यू algorithm]] || real symmetric || all आइजेनवैल्यू ||{{math|''O''(''n''<sup>3</sup>)}} || quadratic || align="left" | Uses Givens rotations to attempt clearing all off-diagonal entries. This fails, but strengthens the diagonal. | ||
|- | |- | ||
| rowspan="2" | [[Divide-and-conquer eigenvalue algorithm|Divide-and-conquer]] || rowspan="2" | Hermitian tridiagonal || all | | rowspan="2" | [[Divide-and-conquer eigenvalue algorithm|Divide-and-conquer]] || rowspan="2" | Hermitian tridiagonal || all आइजेनवैल्यू || {{math|''O''(''n''<sup>2</sup>)}} || rowspan="2" | || align="left" rowspan="2" | Divides the matrix into submatrices that are diagonalized then recombined. | ||
|- | |- | ||
| all eigenpairs || {{math|({{frac|4|3}})''n''<sup>3</sup> + ''O''(''n''<sup>2</sup>)}} | | all eigenpairs || {{math|({{frac|4|3}})''n''<sup>3</sup> + ''O''(''n''<sup>2</sup>)}} | ||
Line 164: | Line 165: | ||
| doi=10.1016/0024-3795(88)90015-8 | | doi=10.1016/0024-3795(88)90015-8 | ||
| doi-access=free | | doi-access=free | ||
}}</ref>}} || || align="left" | Constructs a computable homotopy path from a diagonal | }}</ref>}} || || align="left" | Constructs a computable homotopy path from a diagonal आइजेनवैल्यू problem. | ||
|- | |- | ||
| [[Folded spectrum method]] || real symmetric || eigenpair with value closest to ''μ'' || || || align="left" | Preconditioned inverse iteration applied to {{math|(''A'' − ''μI'')<sup>2</sup>}} | | [[Folded spectrum method]] || real symmetric || eigenpair with value closest to ''μ'' || || || align="left" | Preconditioned inverse iteration applied to {{math|(''A'' − ''μI'')<sup>2</sup>}} | ||
Line 191: | Line 192: | ||
==प्रत्यक्ष गणना== | ==प्रत्यक्ष गणना== | ||
चूँकि सामान्य आव्यूहों के लिए सीधे आइजेनवैल्यू की गणना करने के लिए कोई सरल एल्गोरिदम नहीं है, आव्युह के कई विशेष वर्ग हैं जहां आइजेनवैल्यू की सीधे गणना की जा सकती है। इसमे शामिल है: | |||
===त्रिकोणीय आव्यूह=== | ===त्रिकोणीय आव्यूह=== | ||
चूंकि त्रिकोणीय | चूंकि त्रिकोणीय आव्युह का निर्धारक इसकी विकर्ण प्रविष्टियों का उत्पाद है, यदि टी त्रिकोणीय है, तो <math display="inline">\det(\lambda I - T) = \prod_i (\lambda - T_{ii})</math>. इस प्रकार T के आइजेनवैल्यू इसकी विकर्ण प्रविष्टियाँ हैं। | ||
===गुणनखंडीय बहुपद समीकरण=== | ===गुणनखंडीय बहुपद समीकरण=== | ||
अगर {{math|''p''}} कोई बहुपद है और {{math|1=''p''(''A'') = 0,}} फिर के | अगर {{math|''p''}} कोई बहुपद है और {{math|1=''p''(''A'') = 0,}} फिर के आइजेनवैल्यू {{math|''A''}} भी उसी समीकरण को संतुष्ट करते हैं। अगर {{math|''p''}} ज्ञात गुणनखंडन होता है, फिर के आइजेनवैल्यू {{math|''A''}} इसकी जड़ों के बीच स्थित है। | ||
उदाहरण के लिए, [[प्रक्षेपण (रैखिक बीजगणित)]] वर्ग | उदाहरण के लिए, [[प्रक्षेपण (रैखिक बीजगणित)]] वर्ग आव्युह है {{math|''P''}} संतुष्टि देने वाला {{math|1=''P''<sup>2</sup> = ''P''}}. संगत अदिश बहुपद समीकरण की जड़ें, {{math|1=''λ''<sup>2</sup> = ''λ''}}, 0 और 1 हैं। इस प्रकार किसी भी प्रक्षेपण के आइजेनवैल्यू के लिए 0 और 1 हैं। आइजेनवैल्यू के रूप में 0 की बहुलता कर्नेल (रैखिक बीजगणित) # आव्युह गुणन के रूप में प्रतिनिधित्व है {{math|''P''}}, जबकि 1 की बहुलता की रैंक है {{math|''P''}}. | ||
एक अन्य उदाहरण | एक अन्य उदाहरण आव्युह है {{math|''A''}} जो संतुष्ट करता है {{math|1=''A''<sup>2</sup> = ''α''<sup>2</sup>''I''}} कुछ अदिश राशि के लिए {{math|''α''}}. आइजेनवैल्यू होना चाहिए {{math|±''α''}}. प्रक्षेपण संचालक | ||
:<math>P_+=\frac{1}{2}\left(I+\frac{A}{\alpha}\right)</math> | :<math>P_+=\frac{1}{2}\left(I+\frac{A}{\alpha}\right)</math> | ||
:<math>P_-=\frac{1}{2}\left(I-\frac{A}{\alpha}\right)</math> | :<math>P_-=\frac{1}{2}\left(I-\frac{A}{\alpha}\right)</math> | ||
Line 210: | Line 211: | ||
और | और | ||
:<math>P_+P_+=P_+ \quad P_-P_-=P_- \quad P_+P_-=P_-P_+=0.</math> | :<math>P_+P_+=P_+ \quad P_-P_-=P_- \quad P_+P_-=P_-P_+=0.</math> | ||
के स्तंभ स्थान {{math|''P''<sub>+</sub>}} और {{math|''P''<sub>−</sub>}} के | के स्तंभ स्थान {{math|''P''<sub>+</sub>}} और {{math|''P''<sub>−</sub>}} के ईजेनस्पेस s हैं {{math|''A''}} तदनुसार {{math|+''α''}} और {{math|−''α''}}, क्रमश। | ||
===2×2 आव्यूह=== | ===2×2 आव्यूह=== | ||
आयाम 2 से 4 के लिए, रेडिकल से जुड़े सूत्र मौजूद हैं जिनका उपयोग आइगेनवैल्यू खोजने के लिए किया जा सकता है। जबकि 2×2 और 3×3 | आयाम 2 से 4 के लिए, रेडिकल से जुड़े सूत्र मौजूद हैं जिनका उपयोग आइगेनवैल्यू खोजने के लिए किया जा सकता है। जबकि 2×2 और 3×3 आव्युह के लिए सामान्य अभ्यास, 4×4 आव्युह के लिए क्वार्टिक फ़ंक्शन#फेरारी के समाधान की बढ़ती सम्मिश्र ता इस दृष्टिकोण को कम आकर्षक बनाती है। | ||
2×2 | 2×2 आव्युह के लिए | ||
:<math>A = \begin{bmatrix} a & b \\ c & d \end{bmatrix},</math> | :<math>A = \begin{bmatrix} a & b \\ c & d \end{bmatrix},</math> | ||
Line 222: | Line 223: | ||
:<math>\det \begin{bmatrix} \lambda - a & -b \\ -c & \lambda - d \end{bmatrix} = \lambda^2\, -\, \left( a + d \right )\lambda\, +\, \left ( ad - bc \right ) = \lambda^2\, -\, \lambda\, {\rm tr}(A)\, +\, \det(A).</math> | :<math>\det \begin{bmatrix} \lambda - a & -b \\ -c & \lambda - d \end{bmatrix} = \lambda^2\, -\, \left( a + d \right )\lambda\, +\, \left ( ad - bc \right ) = \lambda^2\, -\, \lambda\, {\rm tr}(A)\, +\, \det(A).</math> | ||
इस प्रकार [[द्विघात सूत्र]] का उपयोग करके | इस प्रकार [[द्विघात सूत्र]] का उपयोग करके आइजेनवैल्यू पाया जा सकता है: | ||
:<math>\lambda = \frac{{\rm tr}(A) \pm \sqrt{{\rm tr}^2 (A) - 4 \det(A)}}{2}.</math> | :<math>\lambda = \frac{{\rm tr}(A) \pm \sqrt{{\rm tr}^2 (A) - 4 \det(A)}}{2}.</math> | ||
परिभाषित <math display="inline"> {\rm gap}\left ( A \right ) = \sqrt{{\rm tr}^2 (A) - 4 \det(A)}</math> दो | परिभाषित <math display="inline"> {\rm gap}\left ( A \right ) = \sqrt{{\rm tr}^2 (A) - 4 \det(A)}</math> दो आइजेनवैल्यू के बीच की दूरी होने के लिए, इसकी गणना करना सीधा है | ||
:<math>\frac{\partial\lambda}{\partial a} = \frac{1}{2}\left ( 1 \pm \frac{a - d}{{\rm gap}(A)} \right ),\qquad \frac{\partial\lambda}{\partial b} = \frac{\pm c}{{\rm gap}(A)}</math> | :<math>\frac{\partial\lambda}{\partial a} = \frac{1}{2}\left ( 1 \pm \frac{a - d}{{\rm gap}(A)} \right ),\qquad \frac{\partial\lambda}{\partial b} = \frac{\pm c}{{\rm gap}(A)}</math> | ||
के लिए समान सूत्रों के साथ {{math|''c''}} और {{math|''d''}}. इससे यह पता चलता है कि यदि आइगेनवैल्यू को अलग कर दिया जाए तो गणना अच्छी तरह से अनुकूल है। | के लिए समान सूत्रों के साथ {{math|''c''}} और {{math|''d''}}. इससे यह पता चलता है कि यदि आइगेनवैल्यू को अलग कर दिया जाए तो गणना अच्छी तरह से अनुकूल है। | ||
केली-हैमिल्टन प्रमेय का उपयोग करके आइजेनवेक्टर पाया जा सकता है। अगर {{math|''λ''<sub>1</sub>, ''λ''<sub>2</sub>}} तो फिर आइगेनवैल्यू हैं {{math|1=(''A'' − ''λ''<sub>1</sub>''I'')(''A'' − ''λ''<sub>2</sub>''I'') = (''A'' − ''λ''<sub>2</sub>''I'')(''A'' − ''λ''<sub>1</sub>''I'') = 0}}, तो के कॉलम {{math|(''A'' − ''λ''<sub>2</sub>''I'')}} द्वारा नष्ट कर दिया जाता है {{math|(''A'' − ''λ''<sub>1</sub>''I'')}} और इसके विपरीत। यह मानते हुए कि कोई भी | केली-हैमिल्टन प्रमेय का उपयोग करके आइजेनवेक्टर पाया जा सकता है। अगर {{math|''λ''<sub>1</sub>, ''λ''<sub>2</sub>}} तो फिर आइगेनवैल्यू हैं {{math|1=(''A'' − ''λ''<sub>1</sub>''I'')(''A'' − ''λ''<sub>2</sub>''I'') = (''A'' − ''λ''<sub>2</sub>''I'')(''A'' − ''λ''<sub>1</sub>''I'') = 0}}, तो के कॉलम {{math|(''A'' − ''λ''<sub>2</sub>''I'')}} द्वारा नष्ट कर दिया जाता है {{math|(''A'' − ''λ''<sub>1</sub>''I'')}} और इसके विपरीत। यह मानते हुए कि कोई भी आव्युह शून्य नहीं है, प्रत्येक के कॉलम में अन्य आइजेनवैल्यू के लिए आइजेनवेक्टर शामिल होने चाहिए। (यदि कोई भी आव्युह शून्य है, तो {{math|''A''}} पहचान का गुणज है और कोई भी गैर-शून्य सदिश आइजेनवेक्टर है।) | ||
उदाहरण के लिए, मान लीजिए | उदाहरण के लिए, मान लीजिए | ||
Line 238: | Line 239: | ||
:<math> 0 = \lambda^2 - \lambda - 6 = (\lambda - 3)(\lambda + 2),</math> | :<math> 0 = \lambda^2 - \lambda - 6 = (\lambda - 3)(\lambda + 2),</math> | ||
और | और आइजेनवैल्यू 3 और -2 हैं। अब, | ||
:<math>A - 3I = \begin{bmatrix} 1 & 3 \\ -2 & -6 \end{bmatrix}, \qquad A + 2I = \begin{bmatrix} 6 & 3 \\ -2 & -1 \end{bmatrix}.</math> | :<math>A - 3I = \begin{bmatrix} 1 & 3 \\ -2 & -6 \end{bmatrix}, \qquad A + 2I = \begin{bmatrix} 6 & 3 \\ -2 & -1 \end{bmatrix}.</math> | ||
दोनों | दोनों आव्युह में, कॉलम एक-दूसरे के गुणज होते हैं, इसलिए किसी भी कॉलम का उपयोग किया जा सकता है। इस प्रकार, {{math|(1, −2)}} को आइजेनवैल्यू -2 से जुड़े आइजेनवेक्टर के रूप में लिया जा सकता है, और {{math|(3, −1)}} आइजनवेक्टर के रूप में जो आइगेनवैल्यू 3 से जुड़ा है, जैसा कि उन्हें गुणा करके सत्यापित किया जा सकता है {{math|''A''}}. | ||
===3×3 आव्यूह=== | ===3×3 आव्यूह=== | ||
सममित 3×3 | सममित 3×3 आव्युह का अभिलक्षणिक समीकरण {{math|''A''}} है: | ||
:<math>\det \left( \alpha I - A \right) = \alpha^3 - \alpha^2 {\rm tr}(A) - \alpha \frac{1}{2}\left( {\rm tr}(A^2) - {\rm tr}^2(A) \right) - \det(A) = 0.</math> | :<math>\det \left( \alpha I - A \right) = \alpha^3 - \alpha^2 {\rm tr}(A) - \alpha \frac{1}{2}\left( {\rm tr}(A^2) - {\rm tr}^2(A) \right) - \det(A) = 0.</math> | ||
इस समीकरण को क्यूबिक समीकरण#कार्डानो की विधि या क्यूबिक समीकरण#लैग्रेंज की विधि का उपयोग करके हल किया जा सकता है, लेकिन एफ़िन परिवर्तन {{math|''A''}} अभिव्यक्ति को काफी सरल बना देगा, और सीधे घन समीकरण#त्रिकोणमितीय और अतिशयोक्तिपूर्ण समाधान की ओर ले जाएगा। अगर {{math|1=''A'' = ''pB'' + ''qI''}}, तब {{math|''A''}} और {{math|''B''}} समान | इस समीकरण को क्यूबिक समीकरण#कार्डानो की विधि या क्यूबिक समीकरण#लैग्रेंज की विधि का उपयोग करके हल किया जा सकता है, लेकिन एफ़िन परिवर्तन {{math|''A''}} अभिव्यक्ति को काफी सरल बना देगा, और सीधे घन समीकरण#त्रिकोणमितीय और अतिशयोक्तिपूर्ण समाधान की ओर ले जाएगा। अगर {{math|1=''A'' = ''pB'' + ''qI''}}, तब {{math|''A''}} और {{math|''B''}} समान आइजेनवेक्टर हैं, और {{math|''β''}} का प्रतिमान है {{math|''B''}} अगर और केवल अगर {{math|1=''α'' = ''pβ'' + ''q''}} का प्रतिमान है {{math|''A''}}. दे <math display="inline"> q = {\rm tr}(A)/3</math> और <math display="inline"> p =\left({\rm tr}\left((A - qI)^2\right)/ 6\right)^{1/2}</math>, देता है | ||
:<math>\det \left( \beta I - B \right) = \beta^3 - 3 \beta - \det(B) = 0.</math> | :<math>\det \left( \beta I - B \right) = \beta^3 - 3 \beta - \det(B) = 0.</math> | ||
Line 254: | Line 255: | ||
:<math>\beta = 2{\cos}\left(\frac{1}{3}{\arccos}\left( \det(B)/2 \right) + \frac{2k\pi}{3}\right), \quad k = 0, 1, 2.</math> | :<math>\beta = 2{\cos}\left(\frac{1}{3}{\arccos}\left( \det(B)/2 \right) + \frac{2k\pi}{3}\right), \quad k = 0, 1, 2.</math> | ||
अगर {{math|det(''B'')}} | अगर {{math|det(''B'')}} सम्मिश्र है या निरपेक्ष मान में 2 से अधिक है, आर्ककोसाइन को सभी तीन मानों के लिए ही शाखा के साथ लिया जाना चाहिए {{math|''k''}}. कब ये बात नहीं उठती {{math|''A''}} वास्तविक और सममित है, जिसके परिणामस्वरूप सरल एल्गोरिदम बनता है:<ref name=Smith>{{Citation |last=Smith |first=Oliver K. |title=Eigenvalues of a symmetric 3 × 3 matrix. |journal=[[Communications of the ACM]] |volume=4 |issue=4 |date=April 1961 |page=168 |doi=10.1145/355578.366316|s2cid=37815415 }}</ref> | ||
<syntaxhighlight lang="matlab"> | <syntaxhighlight lang="matlab"> | ||
Line 289: | Line 290: | ||
end | end | ||
</syntaxhighlight> | </syntaxhighlight> | ||
एक बार फिर, के | एक बार फिर, के आइजेनवेक्टर {{math|''A''}} केली-हैमिल्टन प्रमेय का सहारा लेकर प्राप्त किया जा सकता है। अगर {{math|''α''<sub>1</sub>, ''α''<sub>2</sub>, ''α''<sub>3</sub>}} के विशिष्ट आइजेनवैल्यू हैं {{math|''A''}}, तब {{math|1=(''A'' − ''α''<sub>1</sub>''I'')(''A'' − ''α''<sub>2</sub>''I'')(''A'' − ''α''<sub>3</sub>''I'') = 0}}. इस प्रकार इनमें से किन्हीं दो आव्यूहों के गुणनफल के कॉलम में तीसरे आइजेनवैल्यू के लिए आइजेनवेक्टर होगा। हालांकि, यदि {{math|1=''α''<sub>3</sub> = ''α''<sub>1</sub>}}, तब {{math|1=(''A'' − ''α''<sub>1</sub>''I'')<sup>2</sup>(''A'' − ''α''<sub>2</sub>''I'') = 0}} और {{math|1=(''A'' − ''α''<sub>2</sub>''I'')(''A'' − ''α''<sub>1</sub>''I'')<sup>2</sup> = 0}}. इस प्रकार का सामान्यीकृत ईजेनस्पेस {{math|''α''<sub>1</sub>}} के कॉलम द्वारा फैलाया गया है {{math|''A'' − ''α''<sub>2</sub>''I''}} जबकि साधारण आइगेनस्पेस को स्तंभों द्वारा फैलाया जाता है {{math|1=(''A'' − ''α''<sub>1</sub>''I'')(''A'' − ''α''<sub>2</sub>''I'')}}. का साधारण ईजेनस्पेस {{math|''α''<sub>2</sub>}} के कॉलम द्वारा फैलाया गया है {{math|(''A'' − ''α''<sub>1</sub>''I'')<sup>2</sup>}}. | ||
उदाहरण के लिए, चलो | उदाहरण के लिए, चलो | ||
Line 297: | Line 298: | ||
:<math> 0 = \lambda^3 - \lambda^2 - \lambda + 1 = (\lambda - 1)^2(\lambda + 1),</math> | :<math> 0 = \lambda^3 - \lambda^2 - \lambda + 1 = (\lambda - 1)^2(\lambda + 1),</math> | ||
आइजेनवैल्यू 1 (बहुलता 2 का) और -1 के साथ। गणना, | |||
:<math>A - I = \begin{bmatrix} 2 & 2 & 6 \\ 2 & 1 & 5 \\ -2 & -1 & -5 \end{bmatrix}, \qquad A + I = \begin{bmatrix} 4 & 2 & 6 \\ 2 & 3 & 5 \\ -2 & -1 & -3 \end{bmatrix}</math> | :<math>A - I = \begin{bmatrix} 2 & 2 & 6 \\ 2 & 1 & 5 \\ -2 & -1 & -5 \end{bmatrix}, \qquad A + I = \begin{bmatrix} 4 & 2 & 6 \\ 2 & 3 & 5 \\ -2 & -1 & -3 \end{bmatrix}</math> | ||
Line 303: | Line 304: | ||
:<math>(A - I)^2 = \begin{bmatrix} -4 & 0 & -8 \\ -4 & 0 & -8 \\ 4 & 0 & 8 \end{bmatrix}, \qquad (A - I)(A + I) = \begin{bmatrix} 0 & 4 & 4 \\ 0 & 2 & 2 \\ 0 & -2 & -2 \end{bmatrix}</math> | :<math>(A - I)^2 = \begin{bmatrix} -4 & 0 & -8 \\ -4 & 0 & -8 \\ 4 & 0 & 8 \end{bmatrix}, \qquad (A - I)(A + I) = \begin{bmatrix} 0 & 4 & 4 \\ 0 & 2 & 2 \\ 0 & -2 & -2 \end{bmatrix}</math> | ||
इस प्रकार {{math|(−4, −4, 4)}} −1 के लिए | इस प्रकार {{math|(−4, −4, 4)}} −1 के लिए आइजेनवेक्टर है, और {{math|(4, 2, −2)}} 1 के लिए आइजेनवेक्टर है। {{math|(2, 3, −1)}} और {{math|(6, 5, −3)}} दोनों 1 से जुड़े सामान्यीकृत आइजनवेक्टर हैं, जिनमें से किसी को इसके साथ जोड़ा जा सकता है {{math|(−4, −4, 4)}} और {{math|(4, 2, −2)}} के सामान्यीकृत आइजेनवेक्टर का आधार बनाने के लिए {{math|''A''}}. बार मिल जाने के बाद, जरूरत पड़ने पर आइजनवेक्टर को सामान्य किया जा सकता है। | ||
==== सामान्य 3×3 | ==== सामान्य 3×3 आव्युह के आइजनवेक्टर ==== | ||
यदि 3×3 | यदि 3×3 आव्युह <math>A</math> सामान्य है, तो क्रॉस-प्रोडक्ट का उपयोग ईजेनवेक्टर खोजने के लिए किया जा सकता है। अगर <math>\lambda</math> का प्रतिरूप है <math>A</math>, फिर का शून्य स्थान <math>A - \lambda I</math> इसके स्तंभ स्थान पर लंबवत है। के दो स्वतंत्र स्तंभों का क्रॉस उत्पाद <math>A - \lambda I</math> शून्य स्थान में होगा. यानी यह आइजेनवेक्टर से जुड़ा होगा <math>\lambda</math>. चूँकि इस स्तिथियों में स्तंभ स्थान द्वि-आयामी है, इसलिए ईजेनस्पेस आयामी होना चाहिए, इसलिए कोई भी अन्य आइजेनवेक्टर इसके समानांतर होगा। | ||
अगर <math>A - \lambda I</math> इसमें दो स्वतंत्र कॉलम नहीं हैं लेकिन ऐसा नहीं है {{math|'''0'''}}, क्रॉस-प्रोडक्ट का अभी भी उपयोग किया जा सकता है। इस | अगर <math>A - \lambda I</math> इसमें दो स्वतंत्र कॉलम नहीं हैं लेकिन ऐसा नहीं है {{math|'''0'''}}, क्रॉस-प्रोडक्ट का अभी भी उपयोग किया जा सकता है। इस स्तिथियों में <math>\lambda</math> गुणन 2 का आइजेनवैल्यू है, इसलिए स्तंभ स्थान पर लंबवत कोई भी सदिश आइजेनवेक्टर होगा। कल्पना करना <math>\mathbf v</math> का गैर-शून्य स्तंभ है <math>A - \lambda I</math>. मनमाना सदिश चुनें <math>\mathbf u</math> के समानांतर नहीं <math>\mathbf v</math>. तब <math>\mathbf v\times \mathbf u</math> और <math>(\mathbf v\times \mathbf u)\times \mathbf v</math> के लंबवत होगा <math>\mathbf v</math> और इस प्रकार के आइजेनसदिश होंगे <math>\lambda</math>. | ||
यह कब काम नहीं करता <math>A</math> सामान्य नहीं है, क्योंकि ऐसे | यह कब काम नहीं करता <math>A</math> सामान्य नहीं है, क्योंकि ऐसे आव्युह के लिए शून्य स्थान और स्तंभ स्थान को लंबवत होने की आवश्यकता नहीं है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* संख्यात्मक विश्लेषण विषयों की सूची | * संख्यात्मक विश्लेषण विषयों की सूची या आइजेनवैल्यू एल्गोरिदम | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 08:37, 29 July 2023
संख्यात्मक विश्लेषण में, सबसे महत्वपूर्ण समस्याओं में से आव्युह (गणित) के आइजेनवैल्यू को खोजने के लिए कुशल और संख्यात्मक स्थिरता कलन विधि डिजाइन करना है। ये आइजेनवैल्यू एल्गोरिदम आइजेनवेक्टर भी खोज सकते हैं।
आइजेनवैल्यू और आइजेनवेक्टर
मान लीजिये दिया गया n × n वर्ग आव्यूह या वर्ग आव्यूह A वास्तविक संख्या या सम्मिश्र संख्या संख्याओं का, आइजेनवैल्यू λ और इससे संबंधित सामान्यीकृत आइजेनवेक्टर v रिश्ते का पालन करने वाला जोड़ा है[1]
जहाँ v अशून्य है n × 1 कॉलम सदिश , I है n × n शिनाख्त सांचा, k धनात्मक पूर्णांक है, और दोनों λ और v को तब भी सम्मिश्र रहने की अनुमति है A यह सचमुच का है। कब k = 1, सदिश को केवल आइजन्वेक्टर कहा जाता है, और जोड़ी को आइजेनपेयर कहा जाता है। इस स्तिथियों में, Av = λv. कोई भी आइजेनवैल्यू λ का A साधारण है[note 1] इससे जुड़े आइजेनवेक्टर , यदि के लिए k ऐसा सबसे छोटा पूर्णांक है (A − λI)k v = 0 सामान्यीकृत आइजेनवेक्टर के लिए v, तब (A − λI)k−1 v साधारण आइजेनवेक्टर है. मूल्य k को हमेशा से कम या बराबर के रूप में लिया जा सकता है n. विशेष रूप से, (A − λI)n v = 0 सभी सामान्यीकृत आइजेनवेक्टर के लिए v के साथ जुड़े λ.
प्रत्येक आइजेनवैल्यू के लिए λ का A, कर्नेल (आव्युह ) ker(A − λI) से जुड़े सभी आइजेनवेक्टर शामिल हैं λ (0 के साथ), का ईजेनस्पेस कहा जाता है λ, जबकि सदिश समष्टि ker((A − λI)n) में सभी सामान्यीकृत ईजेनवेक्टर शामिल हैं, और इसे सामान्यीकृत ईजेनस्पेस कहा जाता है। की ज्यामितीय बहुलता λ इसके ईजेनस्पेस का आयाम है। की बीजगणितीय बहुलता λ इसके सामान्यीकृत ईजेनस्पेस का आयाम है। बाद वाली शब्दावली समीकरण द्वारा उचित है
जहाँ det निर्धारक फलन है, λi के सभी विशिष्ट आइजेनवैल्यू हैं A और यह αi संगत बीजगणितीय बहुलताएँ हैं। कार्यक्रम pA(z) का अभिलक्षणिक बहुपद है A. तो बीजगणितीय बहुलता विशेषता बहुपद की बहुपद जड़ों के गुणों के रूप में आइगेनवैल्यू की बहुलता है। चूँकि कोई भी आइजेनवेक्टर भी सामान्यीकृत आइजेनवेक्टर है, ज्यामितीय बहुलता बीजगणितीय बहुलता से कम या उसके बराबर है। बीजगणितीय बहुलताओं का योग है n, विशेषता बहुपद की डिग्री। समीकरण pA(z) = 0 को अभिलक्षणिक समीकरण कहा जाता है, क्योंकि इसकी जड़ें बिल्कुल आइजेनवैल्यू हैं A. केली-हैमिल्टन प्रमेय द्वारा, A स्वयं उसी समीकरण का पालन करता है: pA(A) = 0. परिणामस्वरूप, आव्युह के कॉलम या तो 0 होना चाहिए या आइजेनवैल्यू का सामान्यीकृत आइजेनवेक्टर होना चाहिए λj, चूंकि वे नष्ट हो गए हैं . वास्तव में, स्तंभ स्थान सामान्यीकृत ईजेनस्पेस है λj.
विशिष्ट आइजेनवैल्यू के सामान्यीकृत आइजेनवेक्टर का कोई भी संग्रह रैखिक रूप से स्वतंत्र है, इसलिए सभी के लिए आधार Cn को सामान्यीकृत आइजेनवेक्टर से मिलकर चुना जा सकता है। अधिक विशेष रूप से, यह आधार {vi}n
i=1 को चुना और व्यवस्थित किया जा सकता है ताकि
- अगर vi और vj का आइजेनवैल्यू समान है, तो ऐसा ही होता है vk प्रत्येक के लिए k बीच में i और j, और
- अगर vi साधारण आइजनवेक्टर नहीं है, और यदि λi तो फिर इसका स्वदेशी मान है (A − λiI)vi = vi−1 (विशेष रूप से, v1 साधारण आइजेनवेक्टर होना चाहिए)।
यदि इन आधार सदिशों को आव्युह के कॉलम सदिश के रूप में रखा जाता है V = [v1 v2 ⋯ vn], तब V का उपयोग परिवर्तित करने के लिए किया जा सकता है A अपने जॉर्डन सामान्य रूप में:
जहां λi आइजेनवैल्यू हैं, βi = 1 अगर (A − λi+1)vi+1 = vi और βi = 0 अन्यथा।
अधिक सामान्यतः, यदि W कोई उलटा आव्युह है, और λ का प्रतिमान है A सामान्यीकृत आइजेनवेक्टर के साथ v, तब (W−1AW − λI)k W−kv = 0. इस प्रकार λ का प्रतिमान है W−1AW सामान्यीकृत आइजेनवेक्टर के साथ W−kv. अर्थात्, समान आव्यूहों के आइजेनवैल्यू समान होते हैं।
सामान्य, हर्मिटियन, और वास्तविक-सममित आव्युह
संयुग्म स्थानांतरण M* सम्मिश्र आव्युह का M के संयुग्म का स्थानान्तरण है M: M * = M T. वर्ग आव्युह A को सामान्य आव्युह कहा जाता है यदि यह अपने सहायक के साथ आवागमन करता है: A*A = AA*. इसे हर्मिटियन आव्युह कहा जाता है यदि यह इसके सहायक के बराबर है: A* = A. सभी हर्मिटियन मैट्रिस सामान्य हैं। अगर A में केवल वास्तविक तत्व हैं, तो जोड़ केवल स्थानान्तरण है, और A हर्मिटियन है यदि और केवल यदि यह सममित आव्युह है। जब कॉलम सदिश पर लागू किया जाता है, तो विहित आंतरिक उत्पाद को परिभाषित करने के लिए एडजॉइंट का उपयोग किया जा सकता है Cn: w ⋅ v = w* v.[note 2] सामान्य, हर्मिटियन और वास्तविक-सममित आव्युह में कई उपयोगी गुण होते हैं:
- सामान्य आव्युह का प्रत्येक सामान्यीकृत आइजनवेक्टर साधारण आइजेनवेक्टर होता है।
- कोई भी सामान्य आव्युह विकर्ण आव्युह के समान होता है, क्योंकि इसका जॉर्डन सामान्य रूप विकर्ण होता है।
- एक सामान्य आव्युह के अलग-अलग आइगेनवैल्यू के आइजेनवेक्टर ऑर्थोगोनल होते हैं।
- सामान्य आव्युह का शून्य स्थान और छवि (या स्तंभ स्थान) दूसरे के लिए ओर्थोगोनल हैं।
- किसी भी सामान्य आव्युह के लिए A, Cn का ऑर्थोनॉर्मल आधार है जिसमें आइजेनवेक्टर शामिल हैं A. आइजेनवेक्टर का संगत आव्युह एकात्मक आव्युह है।
- चूंकि हर्मिटियन आव्युह के आइगेनवैल्यू वास्तविक हैं (λ − λ)v = (A* − A)v = (A − A)v = 0 गैर-शून्य ईजेनवेक्टर के लिए v.
- अगर A वास्तविक है, इसके लिए लंबात्मक आधार है Rn के आइजेनवेक्टर से मिलकर A अगर और केवल अगर A सममित है.
एक वास्तविक या सम्मिश्र आव्युह के लिए हर्मिटियन हुए बिना सभी वास्तविक स्वदेशी मान होना संभव है। उदाहरण के लिए, वास्तविक त्रिकोणीय आव्युह के विकर्ण के साथ इसके स्वदेशी मान होते हैं, लेकिन सामान्य तौर पर यह सममित नहीं होता है।
नियम संख्या
संख्यात्मक गणना की किसी भी समस्या को किसी फ़ंक्शन के मूल्यांकन के रूप में देखा जा सकता है f कुछ इनपुट के लिए x. नियम संख्या κ(f, x) समस्या फ़ंक्शन के आउटपुट में सापेक्ष त्रुटि और इनपुट में सापेक्ष त्रुटि का अनुपात है, और फ़ंक्शन और इनपुट दोनों के साथ भिन्न होता है। नियम संख्या बताती है कि गणना के दौरान त्रुटि कैसे बढ़ती है। इसका बेस-10 लघुगणक बताता है कि परिणाम में इनपुट में मौजूद सटीकता के कितने कम अंक मौजूद हैं। नियम संख्या सर्वोत्तम स्थिति है. यह समस्या में अंतर्निहित अस्थिरता को दर्शाता है, भले ही इसे कैसे भी हल किया जाए। संयोग को छोड़कर, कोई भी एल्गोरिदम कभी भी स्थिति संख्या द्वारा इंगित से अधिक सटीक परिणाम नहीं दे सकता है। चूँकि , खराब तरीके से डिज़ाइन किया गया एल्गोरिदम काफी खराब परिणाम दे सकता है। उदाहरण के लिए, जैसा कि नीचे बताया गया है, सामान्य आव्यूहों के लिए स्वदेशी मान खोजने की समस्या हमेशा अच्छी तरह से तैयार की जाती है। चूँकि , बहुपद की जड़ों को खोजने की समस्या विल्किंसन बहुपद हो सकती है|बहुत ख़राब स्थिति में। इस प्रकार आइजेनवैल्यू एल्गोरिदम जो विशेषता बहुपद की जड़ों को ढूंढकर काम करते हैं, समस्या न होने पर भी खराब स्थिति में हो सकते हैं।
रैखिक समीकरण को हल करने की समस्या के लिए Av = b जहाँ A उलटा है, नियम संख्या#मैट्रिसेस κ(A−1, b) द्वारा दिया गया है ||A||op||A−1||op, जहाँ || ||op संचालिका मानदंड सामान्य मानदंड (गणित)#यूक्लिडियन मानदंड के अधीनस्थ है Cn. चूँकि यह संख्या स्वतंत्र है b और के लिए भी वैसा ही है A और A−1, इसे आमतौर पर केवल कंडीशन नंबर कहा जाता है κ(A) आव्युह का A. यह मान κ(A) सबसे बड़े आइजेनवैल्यू के अनुपात का निरपेक्ष मान भी है A अपने सबसे छोटे से. अगर A तो एकात्मक आव्युह है ||A||op = ||A−1||op = 1, इसलिए κ(A) = 1. सामान्य आव्युह के लिए, ऑपरेटर मानदंड की गणना करना अक्सर मुश्किल होता है। इस कारण से, स्थिति संख्या का अनुमान लगाने के लिए आमतौर पर अन्य आव्युह मानदंडों का उपयोग किया जाता है।
आइजेनवैल्यू समस्या के लिए, बाउर-फ़ाइक प्रमेय कि यदि λ विकर्णीय आव्युह के लिए आइजेनवैल्यू है n × n आव्यूह A आइजेनवेक्टर आव्युह के साथ V, तो गणना में पूर्ण त्रुटि λ के उत्पाद से घिरा है κ(V) और पूर्ण त्रुटि A.[2] बाउर-फ़ाइक प्रमेय#उपप्रमेय, खोजने के लिए नियम संख्या λ है κ(λ, A) = κ(V) = ||V ||op ||V −1||op. अगर A तो सामान्य है V एकात्मक है, और κ(λ, A) = 1. इस प्रकार सभी सामान्य आव्युह के लिए आइजेनवैल्यू समस्या अच्छी तरह से वातानुकूलित है।
एक सामान्य आव्युह के आइजनस्पेस को खोजने की समस्या के लिए नियम संख्या A आइजेनवैल्यू के अनुरूप λ को बीच की न्यूनतम दूरी के व्युत्क्रमानुपाती दिखाया गया है λ और अन्य विशिष्ट आइजेनवैल्यू A.[3] विशेष रूप से, सामान्य आव्युह के लिए आइजेनस्पेस समस्या पृथक आइजेनवैल्यू के लिए अच्छी तरह से अनुकूलित है। जब आइजेनवैल्यू अलग-थलग नहीं होते हैं, तो सबसे अच्छी उम्मीद की जा सकती है कि आस-पास के आइजेनवैल्यू के सभी आइजेनवेक्टर की अवधि की पहचान की जाए।
एल्गोरिदम
आइजनवैल्यू की गणना के लिए सबसे विश्वसनीय और सबसे व्यापक रूप से इस्तेमाल किया जाने वाला एल्गोरिदम जॉन जी.एफ. फ्रांसिस का क्यूआर एल्गोरिदम है, जिसे 20वीं सदी के शीर्ष दस एल्गोरिदम में से माना जाता है।[4] कोई भी राक्षसी बहुपद उसके साथी आव्युह का विशिष्ट बहुपद होता है। इसलिए, आइजेनवैल्यू खोजने के लिए सामान्य एल्गोरिदम का उपयोग बहुपदों की जड़ों को खोजने के लिए भी किया जा सकता है। एबेल-रफिनी प्रमेय से पता चलता है कि 4 से अधिक आयामों के लिए ऐसा कोई भी एल्गोरिदम या तो अनंत होना चाहिए, या प्राथमिक अंकगणितीय संचालन और आंशिक शक्तियों की तुलना में अधिक सम्मिश्र ता के कार्यों को शामिल करना चाहिए। इस कारण से एल्गोरिदम जो चरणों की सीमित संख्या में आइजेनवैल्यू की सटीक गणना करते हैं, केवल कुछ विशेष वर्गों के आव्युह के लिए मौजूद हैं। सामान्य आव्युह के लिए, एल्गोरिदम पुनरावृत्तीय विधि है, जो प्रत्येक पुनरावृत्ति के साथ बेहतर अनुमानित समाधान उत्पन्न करती है।
कुछ एल्गोरिदम प्रत्येक आइजेनवैल्यू का उत्पादन करेंगे, अन्य कुछ या केवल का उत्पादन करेंगे। चूँकि , बाद वाले एल्गोरिदम का उपयोग भी सभी आइजेनवैल्यू को खोजने के लिए किया जा सकता है। बार आइजेनवैल्यू λ आव्युह का A की पहचान कर ली गई है, इसका उपयोग या तो अगली बार एल्गोरिदम को अलग समाधान की ओर निर्देशित करने के लिए किया जा सकता है, या उस समस्या को कम करने के लिए किया जा सकता है जो अब नहीं है λ समाधान के रूप में.
पुनर्निर्देशन आमतौर पर शिफ्टिंग: रिप्लेसिंग द्वारा पूरा किया जाता है A साथ A − μI कुछ स्थिरांक के लिए μ. के लिए आइजेनवैल्यू पाया गया A − μI होना आवश्यक है μ के लिए आइजेनवैल्यू प्राप्त करने के लिए वापस जोड़ा गया A. उदाहरण के लिए, शक्ति पुनरावृत्ति के लिए, μ = λ. पावर पुनरावृत्ति पूर्ण मूल्य में सबसे बड़ा आइजेनवैल्यू पाता है, तब भी जब λ केवल अनुमानित आइजेनवैल्यू है, शक्ति पुनरावृत्ति इसे दूसरी बार खोजने की संभावना नहीं है। इसके विपरीत, व्युत्क्रम पुनरावृत्ति आधारित विधियाँ सबसे कम आइजेनवैल्यू पाती हैं μ से काफी दूर चुना गया है λ और उम्मीद है कि यह किसी अन्य आइजेनवैल्यू के करीब होगा।
कमी को प्रतिबंधित करके पूरा किया जा सकता है A आव्युह के कॉलम स्थान पर A − λI, कौन A अपने पास ले जाता है। तब से A - λI एकवचन है, स्तंभ स्थान कम आयाम का है। फिर आइजेनवैल्यू एल्गोरिदम को प्रतिबंधित आव्युह पर लागू किया जा सकता है। इस प्रक्रिया को तब तक दोहराया जा सकता है जब तक कि सभी आइजेनवैल्यू नहीं मिल जाते।
यदि आइजेनवैल्यू एल्गोरिदम आइजेनवेक्टर का उत्पादन नहीं करता है, तो आम अभ्यास व्युत्क्रम पुनरावृत्ति आधारित एल्गोरिदम का उपयोग करना है μ आइजेनवैल्यू के निकट सन्निकटन पर सेट करें। यह शीघ्रता से निकटतम आइजेनवैल्यू के आइजेनवेक्टर में परिवर्तित हो जाएगा μ. छोटे आव्युह के लिए, विकल्प यह है कि उत्पाद के कॉलम स्थान को देखा जाए A − λ'I अन्य प्रत्येक आइजेनवैल्यू के लिए λ'.
सामान्य आव्युह के यूनिट ईजेनवेक्टर घटकों के मानदंड के लिए सूत्र रॉबर्ट थॉम्पसन द्वारा 1966 में खोजा गया था और कई अन्य लोगों द्वारा स्वतंत्र रूप से फिर से खोजा गया था। [5][6][7][8][9] अगर A आइजेनवैल्यू के साथ सामान्य आव्युह λi(A) और संबंधित इकाई आइजेनवेक्टर viजिसकी घटक प्रविष्टियाँ हैं vi,j, होने देना Aj हो को हटाकर प्राप्त आव्युह i-वीं पंक्ति और स्तंभ से A, और जाने λk(Aj) यह हो k-वां आइजेनवैल्यू . तब
व्युत्पन्न मानते हुए पर शून्य नहीं है .
हेसेनबर्ग और त्रिविकर्ण आव्यूह
चूँकि त्रिकोणीय आव्युह के आइजेनवैल्यू इसके विकर्ण तत्व हैं, सामान्य आव्युह के लिए आइजेनवैल्यू को संरक्षित करते हुए आव्युह को त्रिकोणीय रूप में परिवर्तित करने के लिए गाऊसी उन्मूलन जैसी कोई सीमित विधि नहीं है। लेकिन त्रिकोणीय के करीब कुछ पहुंचना संभव है. हेसेनबर्ग आव्युह वर्ग आव्युह है जिसके लिए उपविकर्ण के नीचे की सभी प्रविष्टियाँ शून्य हैं। निचला हेसेनबर्ग आव्युह वह है जिसके लिए अतिविकर्ण के ऊपर की सभी प्रविष्टियाँ शून्य हैं। वे आव्युह जो हेसेनबर्ग के ऊपरी और निचले दोनों हैं, त्रिदिकोणीय आव्युह हैं। हेसेनबर्ग और त्रिदिकोणीय आव्युह कई आइगेनवैल्यू एल्गोरिदम के लिए प्रारम्भिक बिंदु हैं क्योंकि शून्य प्रविष्टियां समस्या की सम्मिश्र ता को कम करती हैं। सामान्य आव्युह को समान आइजेनवैल्यू के साथ हेसेनबर्ग आव्युह में परिवर्तित करने के लिए आमतौर पर कई तरीकों का उपयोग किया जाता है। यदि मूल आव्युह सममित या हर्मिटियन था, तो परिणामी आव्युह त्रिविकर्ण होगा।
जब केवल आइजेनवैल्यू की आवश्यकता होती है, तो समानता आव्युह की गणना करने की कोई आवश्यकता नहीं होती है, क्योंकि रूपांतरित आव्युह में समान आइजेनवैल्यू होते हैं। यदि आइजेनवेक्टर की भी आवश्यकता है, तो हेसेनबर्ग आव्युह के आइजेनवेक्टर को मूल आव्युह के आइजेनवेक्टर में बदलने के लिए समानता आव्युह की आवश्यकता हो सकती है।
Method | Applies to | Produces | Cost without similarity matrix | Cost with similarity matrix | Description |
---|---|---|---|---|---|
Householder transformations | General | Hessenberg | 2n3⁄3 + O(n2)[10]: 474 | 4n3⁄3 + O(n2)[10]: 474 | Reflect each column through a subspace to zero out its lower entries. |
Givens rotations | General | Hessenberg | 4n3⁄3 + O(n2)[10]: 470 | Apply planar rotations to zero out individual entries. Rotations are ordered so that later ones do not cause zero entries to become non-zero again. | |
Arnoldi iteration | General | Hessenberg | Perform Gram–Schmidt orthogonalization on Krylov subspaces. | ||
Lanczos algorithm | Hermitian | Tridiagonal | Arnoldi iteration for Hermitian matrices, with shortcuts. |
सममित त्रिदिकोणीय आइजेनवैल्यू समस्याओं के लिए सभी आइजेनवैल्यू (आइजेनवेक्टर के बिना) को विशेषता बहुपद पर द्विभाजन का उपयोग करके समय O(n log(n)) में संख्यात्मक रूप से गणना की जा सकती है। [11]
पुनरावृत्तीय एल्गोरिदम
पुनरावृत्त एल्गोरिदम आइगेनवैल्यू समस्या को ऐसे अनुक्रमों का निर्माण करके हल करते हैं जो आइगेनवैल्यू में परिवर्तित होते हैं। कुछ एल्गोरिदम सदिश के अनुक्रम भी उत्पन्न करते हैं जो आइजेनवेक्टर में परिवर्तित होते हैं। आमतौर पर, आइगेनवैल्यू अनुक्रमों को समान आव्युह के अनुक्रम के रूप में व्यक्त किया जाता है जो त्रिकोणीय या विकर्ण रूप में परिवर्तित हो जाते हैं, जिससे आइजेनवैल्यू को आसानी से पढ़ा जा सकता है। आइजेनवेक्टर अनुक्रमों को संगत समानता आव्युह के रूप में व्यक्त किया जाता है।
Method | Applies to | Produces | Cost per step | Convergence | Description |
---|---|---|---|---|---|
Lanczos algorithm | Hermitian | m largest/smallest eigenpairs | |||
Power iteration | general | eigenpair with largest value | O(n2) | linear | Repeatedly applies the matrix to an arbitrary starting vector and renormalizes. |
Inverse iteration | general | eigenpair with value closest to μ | linear | Power iteration for (A − μI)−1 | |
Rayleigh quotient iteration | Hermitian | any eigenpair | cubic | Power iteration for (A − μiI)−1, where μi for each iteration is the Rayleigh quotient of the previous iteration. | |
Preconditioned inverse iteration[12] or LOBPCG algorithm | positive-definite real symmetric | eigenpair with value closest to μ | Inverse iteration using a preconditioner (an approximate inverse to A). | ||
Bisection method | real symmetric tridiagonal | any आइजेनवैल्यू | linear | Uses the bisection method to find roots of the characteristic polynomial, supported by the Sturm sequence. | |
Laguerre iteration | real symmetric tridiagonal | any आइजेनवैल्यू | cubic[13] | Uses Laguerre's method to find roots of the characteristic polynomial, supported by the Sturm sequence. | |
QR algorithm | Hessenberg | all आइजेनवैल्यू | O(n2) | cubic | Factors A = QR, where Q is orthogonal and R is triangular, then applies the next iteration to RQ. |
all eigenpairs | 6n3 + O(n2) | ||||
Jacobi आइजेनवैल्यू algorithm | real symmetric | all आइजेनवैल्यू | O(n3) | quadratic | Uses Givens rotations to attempt clearing all off-diagonal entries. This fails, but strengthens the diagonal. |
Divide-and-conquer | Hermitian tridiagonal | all आइजेनवैल्यू | O(n2) | Divides the matrix into submatrices that are diagonalized then recombined. | |
all eigenpairs | (4⁄3)n3 + O(n2) | ||||
Homotopy method | real symmetric tridiagonal | all eigenpairs | O(n2)[14] | Constructs a computable homotopy path from a diagonal आइजेनवैल्यू problem. | |
Folded spectrum method | real symmetric | eigenpair with value closest to μ | Preconditioned inverse iteration applied to (A − μI)2 | ||
MRRR algorithm[15] | real symmetric tridiagonal | some or all eigenpairs | O(n2) | "Multiple relatively robust representations" – performs inverse iteration on a LDLT decomposition of the shifted matrix. |
प्रत्यक्ष गणना
चूँकि सामान्य आव्यूहों के लिए सीधे आइजेनवैल्यू की गणना करने के लिए कोई सरल एल्गोरिदम नहीं है, आव्युह के कई विशेष वर्ग हैं जहां आइजेनवैल्यू की सीधे गणना की जा सकती है। इसमे शामिल है:
त्रिकोणीय आव्यूह
चूंकि त्रिकोणीय आव्युह का निर्धारक इसकी विकर्ण प्रविष्टियों का उत्पाद है, यदि टी त्रिकोणीय है, तो . इस प्रकार T के आइजेनवैल्यू इसकी विकर्ण प्रविष्टियाँ हैं।
गुणनखंडीय बहुपद समीकरण
अगर p कोई बहुपद है और p(A) = 0, फिर के आइजेनवैल्यू A भी उसी समीकरण को संतुष्ट करते हैं। अगर p ज्ञात गुणनखंडन होता है, फिर के आइजेनवैल्यू A इसकी जड़ों के बीच स्थित है।
उदाहरण के लिए, प्रक्षेपण (रैखिक बीजगणित) वर्ग आव्युह है P संतुष्टि देने वाला P2 = P. संगत अदिश बहुपद समीकरण की जड़ें, λ2 = λ, 0 और 1 हैं। इस प्रकार किसी भी प्रक्षेपण के आइजेनवैल्यू के लिए 0 और 1 हैं। आइजेनवैल्यू के रूप में 0 की बहुलता कर्नेल (रैखिक बीजगणित) # आव्युह गुणन के रूप में प्रतिनिधित्व है P, जबकि 1 की बहुलता की रैंक है P.
एक अन्य उदाहरण आव्युह है A जो संतुष्ट करता है A2 = α2I कुछ अदिश राशि के लिए α. आइजेनवैल्यू होना चाहिए ±α. प्रक्षेपण संचालक
संतुष्ट करना
और
के स्तंभ स्थान P+ और P− के ईजेनस्पेस s हैं A तदनुसार +α और −α, क्रमश।
2×2 आव्यूह
आयाम 2 से 4 के लिए, रेडिकल से जुड़े सूत्र मौजूद हैं जिनका उपयोग आइगेनवैल्यू खोजने के लिए किया जा सकता है। जबकि 2×2 और 3×3 आव्युह के लिए सामान्य अभ्यास, 4×4 आव्युह के लिए क्वार्टिक फ़ंक्शन#फेरारी के समाधान की बढ़ती सम्मिश्र ता इस दृष्टिकोण को कम आकर्षक बनाती है।
2×2 आव्युह के लिए
अभिलाक्षणिक बहुपद है
इस प्रकार द्विघात सूत्र का उपयोग करके आइजेनवैल्यू पाया जा सकता है:
परिभाषित दो आइजेनवैल्यू के बीच की दूरी होने के लिए, इसकी गणना करना सीधा है
के लिए समान सूत्रों के साथ c और d. इससे यह पता चलता है कि यदि आइगेनवैल्यू को अलग कर दिया जाए तो गणना अच्छी तरह से अनुकूल है।
केली-हैमिल्टन प्रमेय का उपयोग करके आइजेनवेक्टर पाया जा सकता है। अगर λ1, λ2 तो फिर आइगेनवैल्यू हैं (A − λ1I)(A − λ2I) = (A − λ2I)(A − λ1I) = 0, तो के कॉलम (A − λ2I) द्वारा नष्ट कर दिया जाता है (A − λ1I) और इसके विपरीत। यह मानते हुए कि कोई भी आव्युह शून्य नहीं है, प्रत्येक के कॉलम में अन्य आइजेनवैल्यू के लिए आइजेनवेक्टर शामिल होने चाहिए। (यदि कोई भी आव्युह शून्य है, तो A पहचान का गुणज है और कोई भी गैर-शून्य सदिश आइजेनवेक्टर है।)
उदाहरण के लिए, मान लीजिए
तब tr(A) = 4 − 3 = 1 और det(A) = 4(−3) − 3(−2) = −6, तो विशेषता समीकरण है
और आइजेनवैल्यू 3 और -2 हैं। अब,
दोनों आव्युह में, कॉलम एक-दूसरे के गुणज होते हैं, इसलिए किसी भी कॉलम का उपयोग किया जा सकता है। इस प्रकार, (1, −2) को आइजेनवैल्यू -2 से जुड़े आइजेनवेक्टर के रूप में लिया जा सकता है, और (3, −1) आइजनवेक्टर के रूप में जो आइगेनवैल्यू 3 से जुड़ा है, जैसा कि उन्हें गुणा करके सत्यापित किया जा सकता है A.
3×3 आव्यूह
सममित 3×3 आव्युह का अभिलक्षणिक समीकरण A है:
इस समीकरण को क्यूबिक समीकरण#कार्डानो की विधि या क्यूबिक समीकरण#लैग्रेंज की विधि का उपयोग करके हल किया जा सकता है, लेकिन एफ़िन परिवर्तन A अभिव्यक्ति को काफी सरल बना देगा, और सीधे घन समीकरण#त्रिकोणमितीय और अतिशयोक्तिपूर्ण समाधान की ओर ले जाएगा। अगर A = pB + qI, तब A और B समान आइजेनवेक्टर हैं, और β का प्रतिमान है B अगर और केवल अगर α = pβ + q का प्रतिमान है A. दे और , देता है
प्रतिस्थापन β = 2cos θ और पहचान का उपयोग करके कुछ सरलीकरण cos 3θ = 4cos3 θ − 3cos θ समीकरण को कम कर देता है cos 3θ = det(B) / 2. इस प्रकार
अगर det(B) सम्मिश्र है या निरपेक्ष मान में 2 से अधिक है, आर्ककोसाइन को सभी तीन मानों के लिए ही शाखा के साथ लिया जाना चाहिए k. कब ये बात नहीं उठती A वास्तविक और सममित है, जिसके परिणामस्वरूप सरल एल्गोरिदम बनता है:[16]
% Given a real symmetric 3x3 matrix A, compute the eigenvalues
% Note that acos and cos operate on angles in radians
p1 = A(1,2)^2 + A(1,3)^2 + A(2,3)^2
if (p1 == 0)
% A is diagonal.
eig1 = A(1,1)
eig2 = A(2,2)
eig3 = A(3,3)
else
q = trace(A)/3 % trace(A) is the sum of all diagonal values
p2 = (A(1,1) - q)^2 + (A(2,2) - q)^2 + (A(3,3) - q)^2 + 2 * p1
p = sqrt(p2 / 6)
B = (1 / p) * (A - q * I) % I is the identity matrix
r = det(B) / 2
% In exact arithmetic for a symmetric matrix -1 <= r <= 1
% but computation error can leave it slightly outside this range.
if (r <= -1)
phi = pi / 3
elseif (r >= 1)
phi = 0
else
phi = acos(r) / 3
end
% the eigenvalues satisfy eig3 <= eig2 <= eig1
eig1 = q + 2 * p * cos(phi)
eig3 = q + 2 * p * cos(phi + (2*pi/3))
eig2 = 3 * q - eig1 - eig3 % since trace(A) = eig1 + eig2 + eig3
end
एक बार फिर, के आइजेनवेक्टर A केली-हैमिल्टन प्रमेय का सहारा लेकर प्राप्त किया जा सकता है। अगर α1, α2, α3 के विशिष्ट आइजेनवैल्यू हैं A, तब (A − α1I)(A − α2I)(A − α3I) = 0. इस प्रकार इनमें से किन्हीं दो आव्यूहों के गुणनफल के कॉलम में तीसरे आइजेनवैल्यू के लिए आइजेनवेक्टर होगा। हालांकि, यदि α3 = α1, तब (A − α1I)2(A − α2I) = 0 और (A − α2I)(A − α1I)2 = 0. इस प्रकार का सामान्यीकृत ईजेनस्पेस α1 के कॉलम द्वारा फैलाया गया है A − α2I जबकि साधारण आइगेनस्पेस को स्तंभों द्वारा फैलाया जाता है (A − α1I)(A − α2I). का साधारण ईजेनस्पेस α2 के कॉलम द्वारा फैलाया गया है (A − α1I)2.
उदाहरण के लिए, चलो
विशेषता समीकरण है
आइजेनवैल्यू 1 (बहुलता 2 का) और -1 के साथ। गणना,
और
इस प्रकार (−4, −4, 4) −1 के लिए आइजेनवेक्टर है, और (4, 2, −2) 1 के लिए आइजेनवेक्टर है। (2, 3, −1) और (6, 5, −3) दोनों 1 से जुड़े सामान्यीकृत आइजनवेक्टर हैं, जिनमें से किसी को इसके साथ जोड़ा जा सकता है (−4, −4, 4) और (4, 2, −2) के सामान्यीकृत आइजेनवेक्टर का आधार बनाने के लिए A. बार मिल जाने के बाद, जरूरत पड़ने पर आइजनवेक्टर को सामान्य किया जा सकता है।
सामान्य 3×3 आव्युह के आइजनवेक्टर
यदि 3×3 आव्युह सामान्य है, तो क्रॉस-प्रोडक्ट का उपयोग ईजेनवेक्टर खोजने के लिए किया जा सकता है। अगर का प्रतिरूप है , फिर का शून्य स्थान इसके स्तंभ स्थान पर लंबवत है। के दो स्वतंत्र स्तंभों का क्रॉस उत्पाद शून्य स्थान में होगा. यानी यह आइजेनवेक्टर से जुड़ा होगा . चूँकि इस स्तिथियों में स्तंभ स्थान द्वि-आयामी है, इसलिए ईजेनस्पेस आयामी होना चाहिए, इसलिए कोई भी अन्य आइजेनवेक्टर इसके समानांतर होगा।
अगर इसमें दो स्वतंत्र कॉलम नहीं हैं लेकिन ऐसा नहीं है 0, क्रॉस-प्रोडक्ट का अभी भी उपयोग किया जा सकता है। इस स्तिथियों में गुणन 2 का आइजेनवैल्यू है, इसलिए स्तंभ स्थान पर लंबवत कोई भी सदिश आइजेनवेक्टर होगा। कल्पना करना का गैर-शून्य स्तंभ है . मनमाना सदिश चुनें के समानांतर नहीं . तब और के लंबवत होगा और इस प्रकार के आइजेनसदिश होंगे .
यह कब काम नहीं करता सामान्य नहीं है, क्योंकि ऐसे आव्युह के लिए शून्य स्थान और स्तंभ स्थान को लंबवत होने की आवश्यकता नहीं है।
यह भी देखें
- संख्यात्मक विश्लेषण विषयों की सूची या आइजेनवैल्यू एल्गोरिदम
टिप्पणियाँ
- ↑ The term "ordinary" is used here only to emphasize the distinction between "eigenvector" and "generalized eigenvector".
- ↑ This ordering of the inner product (with the conjugate-linear position on the left), is preferred by physicists. Algebraists often place the conjugate-linear position on the right: w ⋅ v = v* w.
संदर्भ
- ↑ Axler, Sheldon (1995), "Down with Determinants!" (PDF), American Mathematical Monthly, 102 (2): 139–154, doi:10.2307/2975348, JSTOR 2975348, archived from the original (PDF) on 2012-09-13, retrieved 2012-07-31
- ↑ F. L. Bauer; C. T. Fike (1960), "Norms and exclusion theorems", Numer. Math., 2: 137–141, doi:10.1007/bf01386217, S2CID 121278235
- ↑ S.C. Eisenstat; I.C.F. Ipsen (1998), "Relative Perturbation Results for Eigenvalues and Eigenvectors of Diagonalisable Matrices", BIT, 38 (3): 502–9, doi:10.1007/bf02510256, S2CID 119886389
- ↑ J. Dongarra and F. Sullivan (2000). "सदी के शीर्ष दस एल्गोरिदम". Computing in Science and Engineering. 2: 22-23.
- ↑ Thompson, R. C. (June 1966). "सामान्य और हर्मिटियन मैट्रिक्स के प्रमुख उपमैट्रिसेस". Illinois Journal of Mathematics. 10 (2): 296–308. doi:10.1215/ijm/1256055111.
- ↑ Peter Nylen; Tin-Yau Tam; Frank Uhlig (1993). "सामान्य, हर्मिटियन और सममित मैट्रिक्स के प्रमुख उपमैट्रिसेस के आइगेनवैल्यू पर". Linear and Multilinear Algebra. 36 (1): 69–78. doi:10.1080/03081089308818276.
- ↑ N. Bebiano, S. Furtado, J. da Providência (2011). "जे-सामान्य मैट्रिक्स के प्रमुख उपमैट्रिसेस के आइगेनवैल्यू पर". Linear Algebra and Its Applications. 435 (12): 3101–3114. doi:10.1016/j.laa.2011.05.033.
{{cite journal}}
: CS1 maint: uses authors parameter (link) - ↑ Forrester PJ, Zhang J (2021). "कॉरैंक-1 प्रक्षेपण और यादृच्छिक हॉर्न समस्या". Tunisian Journal of Mathematics. 3: 55–73. arXiv:1905.05314. doi:10.2140/tunis.2021.3.55. S2CID 153312446.
- ↑ Denton PB, Parke SJ, Tao T, Zhang X (2021). "Eigenvectors from eigenvalues: A survey of a basic identity in linear algebra". Bulletin of the American Mathematical Society. 59: 1. arXiv:1908.03795. doi:10.1090/bull/1722. S2CID 213918682.
- ↑ 10.0 10.1 10.2 Press, William H.; Teukolsky, Saul A.; Vetterling, William T.; Flannery, Brian P. (1992). Numerical Recipes in C (2nd ed.). Cambridge University Press. ISBN 978-0-521-43108-8.
- ↑ Coakley, Ed S. (May 2013), "A fast divide-and-conquer algorithm for computing the spectra of real symmetric tridiagonal matrices.", Applied and Computational Harmonic Analysis, 34 (3): 379–414, doi:10.1016/j.acha.2012.06.003
- ↑ Neymeyr, K. (2006), "A geometric theory for preconditioned inverse iteration IV: On the fastest convergence cases.", Linear Algebra Appl., 415 (1): 114–139, doi:10.1016/j.laa.2005.06.022
- ↑ Li, T. Y.; Zeng, Zhonggang (1992), "Laguerre's Iteration In Solving The Symmetric Tridiagonal Eigenproblem - Revisited", SIAM Journal on Scientific Computing
- ↑ Chu, Moody T. (1988), "A Note on the Homotopy Method for Linear Algebraic Eigenvalue Problems", Linear Algebra Appl., 105: 225–236, doi:10.1016/0024-3795(88)90015-8
- ↑ Dhillon, Inderjit S.; Parlett, Beresford N.; Vömel, Christof (2006), "The Design and Implementation of the MRRR Algorithm" (PDF), ACM Transactions on Mathematical Software, 32 (4): 533–560, doi:10.1145/1186785.1186788, S2CID 2410736
- ↑ Smith, Oliver K. (April 1961), "Eigenvalues of a symmetric 3 × 3 matrix.", Communications of the ACM, 4 (4): 168, doi:10.1145/355578.366316, S2CID 37815415
अग्रिम पठन
- Bojanczyk, Adam W.; Adam Lutoborski (Jan 1991). "Computation of the Euler angles of a symmetric 3X3 matrix". SIAM Journal on Matrix Analysis and Applications. 12 (1): 41–48. doi:10.1137/0612005.