सहयोगी आव्यूह: Difference between revisions

From Vigyanwiki
No edit summary
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 ~,                                                                                                 
Line 22: Line 22:
\end{bmatrix}</math>.
\end{bmatrix}</math>.


कुछ लेखक इस आव्यूह के [[ खिसकाना |स्थानांतरण]] का उपयोग करते हैं, जो (दोहरी) चक्र समन्वय करता है, और कुछ उद्देश्यों के लिए अधिक सुविधाजनक है, जैसे रैखिक [[पुनरावृत्ति संबंध]]
कुछ लेखक इस आव्यूह के [[ खिसकाना |स्थानांतरण]] का उपयोग करते हैं, जो (दोहरी) चक्र समन्वय करता है, और कुछ उद्देश्यों के लिए अधिक सुविधाजनक है, जैसे रैखिक [[पुनरावृत्ति संबंध]] हैं।


==विशेषता                                                                            ==
==विशेषता                                                                            ==
Line 34: Line 34:
इस अर्थ में, आव्यूह {{math|''C''(''p'')}} बहुपद p का "साथी" है।
इस अर्थ में, आव्यूह {{math|''C''(''p'')}} बहुपद p का "साथी" है।


यदि A कुछ क्षेत्र K से प्रविष्टियों के साथ एक n-by-n आव्यूह है, तो निम्नलिखित कथन समतुल्य हैं:
यदि A कुछ क्षेत्र K से प्रविष्टियों के साथ n-by-n आव्यूह है, तब निम्नलिखित कथन समतुल्य हैं:
*A अपने अभिलक्षणिक बहुपद के K के साथी आव्यूह के समान है
*A अपने अभिलक्षणिक बहुपद के K के साथी आव्यूह के समान है
*A का अभिलक्षणिक बहुपद A के न्यूनतम बहुपद से मेल खाता है, समकक्ष न्यूनतम बहुपद की घात n होती है
*A का अभिलक्षणिक बहुपद A के न्यूनतम बहुपद से मेल खाता है, समकक्ष न्यूनतम बहुपद की घात n होती है
*{{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}} के लिए <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}} द्वारा निर्धारित होते हैं। विवरण के लिए, तर्कसंगत विहित रूप देखें।
प्रत्येक वर्ग आव्यूह साथी आव्यूह के समान नहीं है। किंतु प्रत्येक वर्ग आव्यूह {{mvar|A}} साथी आव्यूह के ब्लॉक से बने आव्यूह के समान है। यदि हम यह भी मांग करते हैं कि तब बहुपद एक-दूसरे को विभाजित करते हैं, तब वे विशिष्ट रूप से {{mvar|A}} द्वारा निर्धारित होते हैं। विवरण के लिए, तर्कसंगत विहित रूप देखें।


==विकर्णीयता==
==विकर्णीयता==
यदि {{math|''p''(''t'')}} की अलग-अलग जड़ें हैं {{math|''λ''<sub>1</sub>,&nbsp;...,&nbsp;''λ''<sub>''n''</sub>}} (C(p) का [[eigenvalue|आइगेनवैल्यू]]), तो C(p) निम्नानुसार [[विकर्णीय]] है:
यदि {{math|''p''(''t'')}} की अलग-अलग जड़ें हैं {{math|''λ''<sub>1</sub>,&nbsp;...,&nbsp;''λ''<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|λ}} के अनुरूप वेंडरमोंडे आव्यूह है।
Line 48: Line 48:
उस स्थिति में, <ref>[[Richard E. Bellman|Bellman]], Richard (1987), ''Introduction to Matrix Analysis'', SIAM, {{ISBN|0898713994}} .</ref> {{mvar|C}} की शक्तियों m के निशान सरलता से p(t) की सभी जड़ों की समान शक्तियों 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'')}} में एक गैर-सरल जड़ है, तो C(p) विकर्णीय नहीं है (इसके [[जॉर्डन विहित रूप]] में प्रत्येक विशिष्ट जड़ के लिए एक ब्लॉक होता है)।
अगर {{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 74: Line 74:
श्रृंखला को 1 से बढ़ाता है।
श्रृंखला को 1 से बढ़ाता है।


सदिश {{math|(1,''t'',''t''<sup>2</sup>, ..., ''t''<sup>''n''-1</sup>)}} आइगेनवैल्यू t के लिए इस आव्यूह का एक आइगेनवेक्टर्स है, जब t विशेषता बहुपद {{math|''p''(''t'')}} का मूल है।
सदिश {{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|''p''(''t'') {{=}} ''t<sup>n</sup>''−1}} के लिए, यह आव्यूह सिल्वेस्टर के चक्रीय शिफ्ट आव्यूह , या सर्कुलर आव्यूह में कम हो जाता है।
{{math|''c''<sub>0</sub> {{=}} −1}}, और अन्य सभी {{math|''c<sub>i</sub>''{{=}}0}} अथार्त , {{math|''p''(''t'') {{=}} ''t<sup>n</sup>''−1}} के लिए, यह आव्यूह सिल्वेस्टर के चक्रीय शिफ्ट आव्यूह , या सर्कुलर आव्यूह में कम हो जाता है।
Line 80: Line 80:
==[[रैखिक ODE|रैखिक]] ओडीई से रैखिक ओडीई प्रणाली ==
==[[रैखिक ODE|रैखिक]] ओडीई से रैखिक ओडीई प्रणाली ==


पहले सामान्य रूप में एक सजातीय प्रणाली पर विचार करें।
पहले सामान्य रूप में सजातीय प्रणाली पर विचार करें।


अदिश फलन {{math|''y''}} के लिए क्रम n का एक रैखिक ओडीई है  
अदिश फलन {{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  
Line 94: Line 94:
ओडीई सेटिंग में गुणांक {{math|{''c''<sub>i</sub>}<sub>i{{=}}0</sub><sup>n-1</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|''z''<sup>(1)</sup><sub>n</sub>}} न केवल {{math|''z''<sub>n</sub>}} पर निर्भर करता है। यदि {{math|''C''(''p'')}} व्युत्क्रम है तब विकर्णीकरण पर अनुभाग में वर्णित अनुसार समन्वय परिवर्तन करके इसे अलग करना संभव है।


अमानवीय स्थिति के लिए
अमानवीय स्थिति के लिए
Line 100: Line 100:
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|''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)

Revision as of 15:57, 23 August 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 के रूप का सदिश फलन बन जाएगा

.

यह भी देखें

टिप्पणियाँ

  1. 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.
  2. Bellman, Richard (1987), Introduction to Matrix Analysis, SIAM, ISBN 0898713994 .

[Category:Matrix theo