mathematica.gr

Δημοσιεύτηκε: **Κυρ Ιούλ 24, 2011 12:18 pm**

Έστω

θετικός ακέραιος και $A,B \in M_n(\mathbb{C})$ ώστε 2A^2=3B^3=I

. Να λυθεί η εξίσωση

$\displaystyle{AX-XB=3B^2-2A$ .

Φιλικά,

Αχιλλέας

Δημοσιεύτηκε: **Κυρ Ιούλ 24, 2011 1:22 pm**

achilleas έγραψε:Έστω θετικός ακέραιος και $A,B \in M_n(\mathbb{C})$ ώστε . Να λυθεί η εξίσωση

$\displaystyle{AX-XB=3B^2-2A$ .

Φιλικά,

Αχιλλέας

Λοιπόν: $A^2X-AXB=3AB^2-2A^2 \Rightarrow \frac{1}{2}X-AXB=3AB^2-I (1)$ .
$AXB^2-XB^3=3B^4-2AB^2 \Rightarrow AXB^2-\frac{1}{3}X=B-2AB^2 (2)$
Από την (1): $\frac{1}{2}XB-AXB^2=3AB^3-B \stackrel{(2)}{\Rightarrow} \frac{1}{2}XB-(\frac{1}{3}X+B-2AB^2)=A-B$ $\Rightarrow X(\frac{1}{2}B-\frac{1}{3}I)=A-2AB^2$ .

$B^3=\frac{1}{3}I \Rightarrow m_B(x)|x^3-\frac{1}{3}$ , αρα το 1/6

δεν είναι ιδιοτιμή του

, δηλαδή $\frac{1}{2}B-\frac{1}{3}I$ αντιστρέψιμος. Άρα τελικά:
$X=(A-2AB^2)(\frac{1}{2}B-\frac{1}{3}I)^{-1}$

Δημοσιεύτηκε: **Κυρ Ιούλ 24, 2011 7:30 pm**

Μπορούμε να το προχωρήσουμε περισσότερο. Για να βρούμε τον αντίστροφο του $\displaystyle{ \left(\frac{B}{2} - \frac{I}{3} \right)}$ δοκιμάζουμε ένα πίνακα της μορφής aI + bB + cB^2

. Βρίσκω $\displaystyle{ \left(\frac{B}{2} - \frac{I}{3} \right)^{-1} = 24I + 36B + 54B^2}$

Χρησιμοποιώντας αυτό μετά από πράξεις βγαίνει $\displaystyle{ X = A(I - 2B^2)(24I + 36B + 54B^2) = \cdots = 6AB^2.}$

Εύκολα επίσης ελέγχουμε ότι επαληθεύει.