IMC 2019/2/4

#1

Να προσδιοριστούν όλοι οι θετικοί ακέραιοι

για τους οποίους υπάρχουν πραγματικοί και αντιστρέψιμοι $n\times n$ πίνακες A,B

ώστε

.

sot arm · #2

Demetres έγραψε: ↑
Σάβ Αύγ 03, 2019 5:18 pm
Να προσδιοριστούν όλοι οι θετικοί ακέραιοι για τους οποίους υπάρχουν πραγματικοί και αντιστρέψιμοι $n\times n$ πίνακες ώστε .

Βρήκα χρόνο, οπότε βάζω την λύση μου στο θέμα.Πολλαπλασιάζοντας την δοσμένη με $A^{-1}$ έχουμε:

$\displaystyle{B-A^{-1}BA=A^{-1}B^{2}A\Leftrightarrow B=A^{-1}(B+B^{2})A}$

Δηλαδή, ο πίνακας

είναι όμοιος με τον $B+B^{2}$ .Εξετάζουμε πρώτα την περίπτωση όπου ο

είναι περιττός, τότε το χαρακτηριστικό πολυώνυμο του

είναι περιττού βαθμού, επομένως έχει πραγματική ρίζα, έστω $\lambda$ .Ορίζουμε ακολουθία ως εξής:

$\displaystyle{a_{1}=\lambda , a_{n+1}=f(a_{n}), f(x)=x^{2}+x}$

Από την παραπάνω ομοιότητα έπεται ότι κάθε όρος της ακολουθίας είναι ιδιοτιμή του πίνακα

.Όμως, η ακολουθία αυξάνει, και μάλιστα γνησίως, αφού κάθε όρος της είναι μη μηδενικός,αφού ο

αντιστρέψιμος, άρα δεν έχει μηδενική ιδιοτιμή και προφανώς: $x^{2}+x>x$ για x διάφορο του μηδενός.

Όμως, αφού κάθε όρος είναι ιδιοτιμή του πίνακα, μπορεί να λάβει η ακολουθία το πολύ n διακεκριμένες τιμές, ενώ αφού είναι γνήσια αύξουσα κάθε όρος της είναι διαφορετικός, άτοπο.Άρα δεν υπάρχουν τέτοιοι πίνακες.

Για να κατασκευάσουμε τέτοιους πίνακες για

άρτιο, πάλι η βασική παρατήρηση είναι η ομοιότητα, κοιτάμε την περίπτωση για n=2

, οι ιδιοτιμές πρέπει να είναι μιγαδικές και άρα συζυγείς αφού ο πίνακας

είναι πραγματικός, προκύπτει λοιπόν η εξίσωση:

$\displaystyle{(a+bi)^{2}+(a+bi)=a-bi}$

λύνοντας το σύστημα, βλέπουμε πως οι ιδιοτιμές είναι:

$\displaystyle{\lambda_{1}=-1+i, \lambda_{2}=-1-i}$

Κατασκευάζοντας πίνακα με αυτές τις ιδιοτιμές διάστασης 2 καταλήγουμε στον:

$B=\begin{pmatrix} -1 & 1\\ -1 & -1 \end{pmatrix}$

Βρίσκουμε πίνακα ομοιότητας, επαληθεύουμε (αφού δεν είναι βέβαιο το ότι θα είναι όντως όμοιοι και ας έχουν ίδιες ιδιοτιμές) και βρίσκουμε τέτοιον

.

Η γενική περίπτωση για

άρτιο προκύπτει παίρνοντας block διαγώνιους πίνακες με τους αντίστοιχους

και

στην διαγώνιο και καταλήγουμε πως για κάθε

άρτιο υπάρχουν τέτοιοι πίνακες.

Σχόλιο: επειδή αναφέρθηκε πως το θέμα ήταν ιδιαίτερα εύκολο για τον διαγωνισμό, νομίζω πως ήταν αρκετά δύσκολο να αποσπάσεις όλες τις μονάδες έχοντας ήδη ασχοληθεί προηγουμένως με τα πρώτα της ημέρας και σε διαγωνιστικές συνθήκες.Φαίνεται εύκολο αν δεις την επίσημη λύση, χωρίς να την πιάσεις με χαρτί και μολύβι, όπου πετάει απευθείας τον πίνακα και όλα τα επιχειρήματα που χρειάζονται.

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ · #3

sot arm έγραψε: ↑
Δευ Αύγ 05, 2019 2:54 am

Κατασκευάζοντας πίνακα με αυτές τις ιδιοτιμές διάστασης 2 καταλήγουμε στον:

$B=\begin{pmatrix} -1 & 1\\ -1 & -1 \end{pmatrix}$

Βρίσκουμε πίνακα ομοιότητας, επαληθεύουμε (αφού δεν είναι βέβαιο το ότι θα είναι όντως όμοιοι και ας έχουν ίδιες ιδιοτιμές) και βρίσκουμε τέτοιον .

Σωτήρη δεν χρειάζεται να επαληθεύσεις ότι είναι όμοιοι.
Επειδή είναι διάστασης

με τις ίδιες μιγαδικές ιδιοτιμές(μη πραγματικές)
αναγκαστικά θα είναι όμοιοι.
Εφόσον λέει υπάρχουν δεν νομίζω ότι πρέπει να βρεις τον

https://en.wikipedia.org/wiki/Jordan_normal_form

IMC 2019/2/4

IMC 2019/2/4

Re: IMC 2019/2/4

Re: IMC 2019/2/4

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