Xαρακτηριστικό πολυώνυμο

Συντονιστής: Demetres

Άβαταρ μέλους
pito
Δημοσιεύσεις: 1771
Εγγραφή: Τρί Μάιος 18, 2010 10:41 pm
Τοποθεσία: mathematica

Xαρακτηριστικό πολυώνυμο

#1

Μη αναγνωσμένη δημοσίευση από pito » Κυρ Φεβ 02, 2014 8:11 pm

Καλησπέρα :logo:


Να βρεθεί το χαρακτηριστικό πολυώνυμο του πίνακα

A=\begin{pmatrix}  0&a&a&...&a\\b&0&a&...&a\\b&b&0&...&a\\.........\\........\\b&b&b&...&0\end{pmatrix}, όπου A\in F^{\nu x\nu }, a\neq b

Ευχαριστώ.


1. Δεν διδάσκουμε με αυτό που λέμε και κάνουμε. Διδάσκουμε με αυτό που είμαστε.
2. Ο μέτριος δάσκαλος περιγράφει. Ο καλός δάσκαλος εξηγεί. Ο σωστός δάσκαλος αποδεικνύει. Ο σπουδαίος δάσκαλος εμπνέει. ( Γουίλιαμ Γουάρντ)
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Xαρακτηριστικό πολυώνυμο

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Φεβ 03, 2014 12:06 pm

Έστω z ρίζα του πολυωνύμου X^n - b/a = 0. Ισχυρίζομαι ότι το v_z = (z,z^2,\ldots,z^{n})^Τ είναι ιδιοδιάνυσμα του A με ιδιοτιμή \displaystyle{ \frac{b-az}{z-1}.}

Πράγματι έχουμε

\displaystyle{ (Av_z)_k = \sum_{i=1}^{k-1} bz^i + \sum_{i=k+1}^n az^i = z^k\left(\sum_{i=1}^{k-1} bz^{i-k} + \sum_{i=k+1}^n az^{i-k} \right)}

\displaystyle{ = z^k \left( \sum_{i=1}^{k-1}az^{n+i-k} + \sum_{i=1}^{n-k}az^i\right) = z^k\sum_{i=1}^{n-1}az^i}

\displaystyle{ = z^k a \frac{z^n - z}{z-1} = z^k \frac{b-az}{z-1}.}

Τέλος επειδή a\neq b για z \neq z' έχουμε \displaystyle{ \frac{b-az}{z-1} \neq \frac{b-az'}{z'-1}} (απλός έλεγχος) έχουμε βρει όλες τις ιδιοτιμές του A. Άρα

\displaystyle{ \chi_A(x) = \prod_{\{z:z^n = b/a\}}\left(x - \frac{b-az}{z-1} \right).}

[Ή αν προτιμάτε (-1)^n επί το πιο πάνω αν πάρουμε ως ορισμό το \chi_A(x) = \det(A - xI).]


jimK
Δημοσιεύσεις: 38
Εγγραφή: Παρ Ιαν 18, 2013 8:13 pm

Re: Xαρακτηριστικό πολυώνυμο

#3

Μη αναγνωσμένη δημοσίευση από jimK » Κυρ Σεπ 13, 2015 9:12 pm

Πως σκεφτήκαμε την παραπάνω απάντηση;


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Xαρακτηριστικό πολυώνυμο

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Κυρ Σεπ 13, 2015 10:58 pm

Αν υποθέσουμε ότι το (x_1,\ldots,x_n) είναι ιδιοδιάνυσμα με ιδιοτιμή k τότε παίρνουμε

\displaystyle{ a(x_2 + \cdots + x_n) = kx_1 \quad (1)}
\displaystyle{ bx_1 + a(x_3 + \cdots + x_n) = kx_2 \quad (2) }
\displaystyle{ b(x_1 + x_2) + a(x_4 + \cdots + x_n) = kx_3 \quad (3) }
κ.τ.λ.

Οι (1) και (2) δίνουν (b+k)x_1 = (a+k)x_2.
Οι (2) και (3) δίνουν (b+k)x_2 = (a+k)x_3

Οπότε x_2/x_1 = x_3/x_2. Υποψιαζόμαστε ότι τα x_1,x_2,\ldots αποτελούν αριθμητική πρόοδο. Τα υπόλοιπα πλέον είναι απλή άλγεβρα προς επιβεβαίωση.


Απάντηση

Επιστροφή σε “ΑΛΓΕΒΡΑ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης