सहयोगी आव्यूह: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
रैखिक बीजगणित में मोनिक बहुपद का फ्रोबेनियस | रैखिक बीजगणित में मोनिक बहुपद का फ्रोबेनियस '''सहयोगी आव्यूह''' | ||
:<math> | :<math> | ||
p(t)=c_0 + c_1 t + \cdots + c_{n-1}t^{n-1} + t^n ~, | p(t)=c_0 + c_1 t + \cdots + c_{n-1}t^{n-1} + t^n ~, | ||
</math> | </math> | ||
[[वर्ग मैट्रिक्स|वर्ग आव्यूह]] | [[वर्ग मैट्रिक्स|वर्ग आव्यूह]] के रूप में परिभाषित किया गया है | ||
:<math>C(p)=\begin{bmatrix} | :<math>C(p)=\begin{bmatrix} | ||
Line 13: | Line 22: | ||
\end{bmatrix}</math>. | \end{bmatrix}</math>. | ||
कुछ लेखक इस आव्यूह | कुछ लेखक इस आव्यूह के [[ खिसकाना |स्थानांतरण]] का उपयोग करते हैं, जो (दोहरी) चक्र समन्वय करता है, और कुछ उद्देश्यों के लिए अधिक सुविधाजनक है, जैसे रैखिक [[पुनरावृत्ति संबंध]] हैं। | ||
==विशेषता== | ==विशेषता == | ||
{{math|''C''(''p'')}} का अभिलक्षणिक बहुपद और न्यूनतम बहुपद p के समान हैं।<ref> | {{math|''C''(''p'')}} का अभिलक्षणिक बहुपद और न्यूनतम बहुपद p के समान हैं।<ref> | ||
{{Cite book | last = Horn | first = Roger A. |author2=Charles R. Johnson | {{Cite book | last = Horn | first = Roger A. |author2=Charles R. Johnson | ||
Line 25: | Line 34: | ||
इस अर्थ में, आव्यूह {{math|''C''(''p'')}} बहुपद p का "साथी" है। | इस अर्थ में, आव्यूह {{math|''C''(''p'')}} बहुपद p का "साथी" है। | ||
यदि A कुछ क्षेत्र K से प्रविष्टियों के साथ | यदि A कुछ क्षेत्र K से प्रविष्टियों के साथ n-by-n आव्यूह है, तब निम्नलिखित कथन समतुल्य हैं: | ||
*A अपने अभिलक्षणिक बहुपद के K के साथी आव्यूह के समान है | *A अपने अभिलक्षणिक बहुपद के K के साथी आव्यूह के समान है | ||
*A का अभिलक्षणिक बहुपद A के न्यूनतम बहुपद से मेल खाता है, समकक्ष न्यूनतम बहुपद की घात n होती है | *A का अभिलक्षणिक बहुपद A के न्यूनतम बहुपद से मेल खाता है, समकक्ष न्यूनतम बहुपद की घात n होती है | ||
*{{mvar|A}} के लिए <math>V=K^n</math> में | *{{mvar|A}} के लिए <math>V=K^n</math> में चक्रीय सदिश {{math|'''v'''}} उपस्थित है, जिसका अर्थ है कि {v, Av, A2v, ..., An−1v} V का आधार है। समान रूप से, जैसे कि V <math>K[A]</math>-मॉड्यूल (और <math>V \cong K[X]/(p(x))</math> के रूप में चक्रीय है; कहता है कि {{mvar|A}} गैर-अपमानजनक है। | ||
प्रत्येक वर्ग आव्यूह | प्रत्येक वर्ग आव्यूह साथी आव्यूह के समान नहीं है। किंतु प्रत्येक वर्ग आव्यूह {{mvar|A}} साथी आव्यूह के ब्लॉक से बने आव्यूह के समान है। यदि हम यह भी मांग करते हैं कि तब बहुपद एक-दूसरे को विभाजित करते हैं, तब वे विशिष्ट रूप से {{mvar|A}} द्वारा निर्धारित होते हैं। विवरण के लिए, तर्कसंगत विहित रूप देखें। | ||
==विकर्णीयता== | ==विकर्णीयता== | ||
यदि | यदि {{math|''p''(''t'')}} की अलग-अलग जड़ें हैं {{math|''λ''<sub>1</sub>, ..., ''λ''<sub>''n''</sub>}} (C(p) का [[eigenvalue|आइगेनवैल्यू]]), तब C(p) निम्नानुसार [[विकर्णीय]] है | | ||
:<math>V C(p) V^{-1} = \operatorname{diag}(\lambda_1,\dots,\lambda_n)</math> | :<math>V C(p) V^{-1} = \operatorname{diag}(\lambda_1,\dots,\lambda_n)</math> | ||
जहां {{mvar|V}} , {{mvar|λ}} के अनुरूप वेंडरमोंडे | जहां {{mvar|V}} , {{mvar|λ}} के अनुरूप वेंडरमोंडे आव्यूह है। | ||
उस स्थिति में, <ref>[[Richard E. Bellman|Bellman]], Richard (1987), ''Introduction to Matrix Analysis'', SIAM, {{ISBN|0898713994}} .</ref> {{mvar|C}} की शक्तियों m | उस स्थिति में, <ref>[[Richard E. Bellman|Bellman]], Richard (1987), ''Introduction to Matrix Analysis'', SIAM, {{ISBN|0898713994}} .</ref> {{mvar|C}} की शक्तियों m के निशान सरलता से p(t) की सभी जड़ों की समान शक्तियों m का योग प्राप्त करते हैं, | ||
:<math>\operatorname{Tr} C^m = \sum_{i=1}^n \lambda_i^m ~. </math> | :<math>\operatorname{Tr} C^m = \sum_{i=1}^n \lambda_i^m ~. </math> | ||
अगर {{math|''p''(''t'')}} में | अगर {{math|''p''(''t'')}} में गैर-सरल जड़ है, तब C(p) विकर्णीय नहीं है (इसके [[जॉर्डन विहित रूप]] में प्रत्येक विशिष्ट जड़ के लिए ब्लॉक होता है)। | ||
==[[रैखिक पुनरावर्ती अनुक्रम]]== | ==[[रैखिक पुनरावर्ती अनुक्रम]]== | ||
विशेषता बहुपद के साथ | विशेषता बहुपद के साथ रैखिक पुनरावर्ती अनुक्रम दिया गया है | ||
:<math>p(t)=c_0 + c_1 t + \cdots + c_{n-1}t^{n-1} + t^n \, </math> | :<math>p(t)=c_0 + c_1 t + \cdots + c_{n-1}t^{n-1} + t^n \, </math> | ||
(ट्रांसपोज़) साथी आव्यूह | (ट्रांसपोज़) साथी आव्यूह | ||
Line 65: | Line 74: | ||
श्रृंखला को 1 से बढ़ाता है। | श्रृंखला को 1 से बढ़ाता है। | ||
सदिश {{math|(1,''t'',''t''<sup>2</sup>, ..., ''t''<sup>''n''-1</sup>)}}आइगेनवैल्यू | सदिश {{math|(1,''t'',''t''<sup>2</sup>, ..., ''t''<sup>''n''-1</sup>)}} आइगेनवैल्यू t के लिए इस आव्यूह का आइगेनवेक्टर्स है, जब t विशेषता बहुपद {{math|''p''(''t'')}} का मूल है। | ||
{{math|''c''<sub>0</sub> {{=}} −1}}, और अन्य सभी {{math|''c<sub>i</sub>''{{=}}0}} | {{math|''c''<sub>0</sub> {{=}} −1}}, और अन्य सभी {{math|''c<sub>i</sub>''{{=}}0}} अथार्त , {{math|''p''(''t'') {{=}} ''t<sup>n</sup>''−1}} के लिए, यह आव्यूह सिल्वेस्टर के चक्रीय शिफ्ट आव्यूह , या सर्कुलर आव्यूह में कम हो जाता है। | ||
==[[रैखिक ODE]] से रैखिक | ==[[रैखिक ODE|रैखिक]] ओडीई से रैखिक ओडीई प्रणाली == | ||
पहले सामान्य रूप में | पहले सामान्य रूप में सजातीय प्रणाली पर विचार करें। | ||
अदिश फलन {{math|''y''}} के लिए क्रम n का रैखिक ओडीई है | |||
:<math> | :<math> | ||
y^{(n)} + c_{n-1}y^{(n-1)} + \dots + c_{1}y^{(1)} + c_0 y = 0 | y^{(n)} + c_{n-1}y^{(n-1)} + \dots + c_{1}y^{(1)} + c_0 y = 0 | ||
</math> | </math> | ||
सदिश फलन {{math|''z'' {{=}} (''y'', ''y''<sup>(1)</sup>, ..., ''y''<sup>(n-1)</sup>)<sup>T</sup>}} के लिए क्रम 1 की युग्मित रैखिक ओडीई प्रणाली के रूप में समान रूप से वर्णित किया जा सकता है | |||
:<math> | :<math> | ||
z^{(1)} = C(p)^T z | z^{(1)} = C(p)^T z | ||
</math> | </math> | ||
जहां {{math|''C(p)''<sup>''T''</sup>}} मोनिक बहुपद {{math|''p''(''t'') {{=}} c<sub>0</sub> + c<sub>1</sub> t + ... + c<sub>n-1</sub>t<sup>n-1</sup> + t<sup>n</sup>}} के लिए साथी आव्यूह का स्थानान्तरण है। | |||
ओडीई सेटिंग में गुणांक {{math|{''c''<sub>i</sub>}<sub>i{{=}}0</sub><sup>n-1</sup>}} केवल अदिश मान ही नहीं किंतु स्वतंत्र चर के कार्य भी हो सकते हैं। | |||
प्रणाली सामान्य रूप से युग्मित है क्योंकि {{math|''z''<sup>(1)</sup><sub>n</sub>}} न केवल {{math|''z''<sub>n</sub>}} पर निर्भर करता है। यदि {{math|''C''(''p'')}} व्युत्क्रम है तब विकर्णीकरण पर अनुभाग में वर्णित अनुसार समन्वय परिवर्तन करके इसे अलग करना संभव है। | |||
अमानवीय | अमानवीय स्थिति के लिए | ||
:<math> | :<math> | ||
y^{(n)} + c_{n-1}y^{(n-1)} + \dots + c_{1}y^{(1)} + c_0 y = f(x) | y^{(n)} + c_{n-1}y^{(n-1)} + \dots + c_{1}y^{(1)} + c_0 y = f(x) | ||
</math> | </math> | ||
अमानवीयता पद {{math|''F''(''x''){{=}} (''0'', ..., ''0'', ''f''(''x''))<sup>T</sup>}} के रूप का सदिश फलन बन जाएगा | |||
:<math> | :<math> | ||
z^{(1)} = C(p)^T z + F(x) | z^{(1)} = C(p)^T z + F(x) | ||
Line 106: | Line 115: | ||
{{Matrix classes}} | {{Matrix classes}} | ||
{{DEFAULTSORT:Companion Matrix}} | {{DEFAULTSORT:Companion Matrix}} [Category:Matrix theo | ||
[[Category: | [[Category:Collapse templates|Companion Matrix]] | ||
[[Category:Created On 14/07/2023]] | [[Category:Created On 14/07/2023|Companion Matrix]] | ||
[[Category:Machine Translated Page|Companion Matrix]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Companion Matrix]] | |||
[[Category:Pages with empty portal template|Companion Matrix]] | |||
[[Category:Pages with script errors|Companion Matrix]] | |||
[[Category:Portal-inline template with redlinked portals|Companion Matrix]] | |||
[[Category:Sidebars with styles needing conversion|Companion Matrix]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready|Companion Matrix]] | |||
[[Category:Templates generating microformats|Companion Matrix]] | |||
[[Category:Templates that are not mobile friendly|Companion Matrix]] | |||
[[Category:Templates using TemplateData|Companion Matrix]] | |||
[[Category:Wikipedia metatemplates|Companion Matrix]] | |||
[[Category:मैट्रिक्स द|Companion Matrix]] | |||
[[Category:मैट्रिसेस|Companion Matrix]] |
Latest revision as of 17:13, 19 September 2023
रैखिक बीजगणित में मोनिक बहुपद का फ्रोबेनियस सहयोगी आव्यूह
वर्ग आव्यूह के रूप में परिभाषित किया गया है
- .
कुछ लेखक इस आव्यूह के स्थानांतरण का उपयोग करते हैं, जो (दोहरी) चक्र समन्वय करता है, और कुछ उद्देश्यों के लिए अधिक सुविधाजनक है, जैसे रैखिक पुनरावृत्ति संबंध हैं।
विशेषता
C(p) का अभिलक्षणिक बहुपद और न्यूनतम बहुपद p के समान हैं।[1]
इस अर्थ में, आव्यूह C(p) बहुपद p का "साथी" है।
यदि A कुछ क्षेत्र K से प्रविष्टियों के साथ n-by-n आव्यूह है, तब निम्नलिखित कथन समतुल्य हैं:
- A अपने अभिलक्षणिक बहुपद के K के साथी आव्यूह के समान है
- A का अभिलक्षणिक बहुपद A के न्यूनतम बहुपद से मेल खाता है, समकक्ष न्यूनतम बहुपद की घात n होती है
- A के लिए में चक्रीय सदिश v उपस्थित है, जिसका अर्थ है कि {v, Av, A2v, ..., An−1v} V का आधार है। समान रूप से, जैसे कि V -मॉड्यूल (और के रूप में चक्रीय है; कहता है कि A गैर-अपमानजनक है।
प्रत्येक वर्ग आव्यूह साथी आव्यूह के समान नहीं है। किंतु प्रत्येक वर्ग आव्यूह A साथी आव्यूह के ब्लॉक से बने आव्यूह के समान है। यदि हम यह भी मांग करते हैं कि तब बहुपद एक-दूसरे को विभाजित करते हैं, तब वे विशिष्ट रूप से A द्वारा निर्धारित होते हैं। विवरण के लिए, तर्कसंगत विहित रूप देखें।
विकर्णीयता
यदि p(t) की अलग-अलग जड़ें हैं λ1, ..., λn (C(p) का आइगेनवैल्यू), तब C(p) निम्नानुसार विकर्णीय है |
जहां V , λ के अनुरूप वेंडरमोंडे आव्यूह है।
उस स्थिति में, [2] C की शक्तियों m के निशान सरलता से p(t) की सभी जड़ों की समान शक्तियों m का योग प्राप्त करते हैं,
अगर p(t) में गैर-सरल जड़ है, तब C(p) विकर्णीय नहीं है (इसके जॉर्डन विहित रूप में प्रत्येक विशिष्ट जड़ के लिए ब्लॉक होता है)।
रैखिक पुनरावर्ती अनुक्रम
विशेषता बहुपद के साथ रैखिक पुनरावर्ती अनुक्रम दिया गया है
(ट्रांसपोज़) साथी आव्यूह
अनुक्रम उत्पन्न करता है, इस अर्थ में
श्रृंखला को 1 से बढ़ाता है।
सदिश (1,t,t2, ..., tn-1) आइगेनवैल्यू t के लिए इस आव्यूह का आइगेनवेक्टर्स है, जब t विशेषता बहुपद p(t) का मूल है।
c0 = −1, और अन्य सभी ci=0 अथार्त , p(t) = tn−1 के लिए, यह आव्यूह सिल्वेस्टर के चक्रीय शिफ्ट आव्यूह , या सर्कुलर आव्यूह में कम हो जाता है।
रैखिक ओडीई से रैखिक ओडीई प्रणाली
पहले सामान्य रूप में सजातीय प्रणाली पर विचार करें।
अदिश फलन y के लिए क्रम n का रैखिक ओडीई है
सदिश फलन z = (y, y(1), ..., y(n-1))T के लिए क्रम 1 की युग्मित रैखिक ओडीई प्रणाली के रूप में समान रूप से वर्णित किया जा सकता है
जहां C(p)T मोनिक बहुपद p(t) = c0 + c1 t + ... + cn-1tn-1 + tn के लिए साथी आव्यूह का स्थानान्तरण है।
ओडीई सेटिंग में गुणांक {ci}i=0n-1 केवल अदिश मान ही नहीं किंतु स्वतंत्र चर के कार्य भी हो सकते हैं।
प्रणाली सामान्य रूप से युग्मित है क्योंकि z(1)n न केवल zn पर निर्भर करता है। यदि C(p) व्युत्क्रम है तब विकर्णीकरण पर अनुभाग में वर्णित अनुसार समन्वय परिवर्तन करके इसे अलग करना संभव है।
अमानवीय स्थिति के लिए
अमानवीयता पद F(x)= (0, ..., 0, f(x))T के रूप का सदिश फलन बन जाएगा
- .
यह भी देखें
- फ्रोबेनियस एंडोमोर्फिज्म
- केली-हैमिल्टन प्रमेय
- क्रायलोव उपस्थान
टिप्पणियाँ
- ↑ Horn, Roger A.; Charles R. Johnson (1985). Matrix Analysis. Cambridge, UK: Cambridge University Press. pp. 146–147. ISBN 0-521-30586-1. Retrieved 2010-02-10.
- ↑ Bellman, Richard (1987), Introduction to Matrix Analysis, SIAM, ISBN 0898713994 .
[Category:Matrix theo