Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Could you explain to me how to solve matrix equations?

Here is an example:

Prove that:

$$2X^2 + X = \begin{bmatrix} -1&5&3\\-2&1&2\\0&-4&-3\end{bmatrix}$$

has no solutions in $M(3,3;\mathbb{R})$, where $M(3,3;\mathbb{R})$ is the space of all $3\times3$ matrices with real entries.

share|improve this question
For clarity, do you mean $X$ instead of $x$ to represent a matrix as opposed to a variable? Regards – Amzoti Jan 10 at 18:46
Yes, I meant a matrix. It's already corrected. – Bilbo Jan 10 at 19:06

3 Answers

First note that $X$ is a $3\times 3$ real matrix and hence it must have at least one real eigenvalue.

Consider the characteristic polynomial of $$A=\begin{pmatrix} -1&5&3\\-2&1&2\\0&-4&-3\end{pmatrix}$$ which is $$p(\lambda) = -\lambda^3 -3\lambda^2 -17\lambda -11$$ Taking $A=2X^2 + X$ in $p$ gives $$p(A) = -8X^6 - 12X^5 -18X^4 -13X^3 - 37X^2 - 17X - 11 = 0$$ Note that in particular, $$q(x) = -8x^6 - 12x^5 -18x^4 -13x^3 - 37x^2 - 17x - 11 = 0$$ is an annihilating polynomial of $X$. Therefore the eigenvalues of $X$ must be amongst the roots of $q$. But all of $q$'s roots are complex, a contradiction.

share|improve this answer
Could you explain to me why it wrong to assume matrices A, B and C as in the first answer and then show that matrix $b^2 - 4AC$ has a negative determinant? – Bilbo Jan 11 at 6:30
1  
The answer is a bit unclear but I don't think checking the determinant is what is intended. Rather Elias was trying to find the square root of the matrix (to solve the quadratic equation), which isn't always well defined. – EuYu Jan 11 at 15:57
Aha. But if I proved that the above mentioned matrix has negative determinant, it would give me the needed contradiction, wouldn't it? – Bilbo Jan 11 at 16:13
You first have to note that $A,\ B$ and $C$ defined in Elias' answer all necessarily commute with $X$. That is crucial to the argument. With this in mind, then yes, proving that the "discriminant" has a negative determinant will show that there are no solutions. – EuYu Jan 11 at 19:41

Since $A = \pmatrix{-1 & 5 & 3\cr -2 & 1 & 2\cr 0 & -4 & 3\cr}$ is equal to a polynomial is $X$, it commutes with $X$. Now $0 = 2 X^2+ X - A = 2 (X + I/4)^2 - I/8 - A$.
Now $A$ has a simple eigenvalue $\lambda \approx -.715923208$. If $v$ is an eigenvector of $A$ for this eigenvalue, it is also an eigenvector of $X$ for eigenvalue $\mu$, where $2 (\mu + 1/4)^2 = 1/8 + \lambda$. But since $1/8 + \lambda < 0$, $\mu$ can't be real. Now $v$ can be taken to be real (since $A$ and $\lambda$ are real), so $X v = \mu v$ is impossible if $X$ is real.

share|improve this answer

Set $$ -C=(-c_{ij})_{3\times 3}=\begin{bmatrix} -1&5&3\\-2&1&2\\0&-4&-3\end{bmatrix} $$

Solve the no linear sistem

\begin{cases} 2\cdot \Big( \sum_{k=1}^3x_{ik}\cdot x_{kj}\Big) +x_{ij}=-c_{ij} \quad i=1,2,3 \mbox{ and } j=1,2,3. \end{cases} or set $$ A=\begin{pmatrix} 2 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2 \\ \end{pmatrix} \quad B=\begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0\\ 0 & 0 & 1 \end{pmatrix} \quad C=\begin{bmatrix} -1&5&3\\-2&1&2\\0&-4&-3\end{bmatrix} $$ We have that $M_{3\times 3}(\mathbb{R})$ is a ring. Then \begin{align} 0=AX^2+BX+C= &4A\big( AX^2+BX+C\big)\\ =& (2AX)^2+2B(2AX)+4AC \\ =& \big[ 2AX+B \big]^2 -B^2+4AC\\ \end{align} implies $$ \left[2AX+B\right]^2=B^2-4AC $$ if $\Delta=B^2-4AC$ is no neqative and simetric exists $U\in M_{3\times 3}(\mathbb{R})$ such that $U^2=B^2-4AC$. Then $$ X=(2A)^{-1} \Big[ -B \pm U\Big] $$ If $A,B,C$ and $X$ commute it's more easy.

share|improve this answer
$B^2-4AC$ or $ I - 8C$ is not symmetric... maybe if $C$ is diagonalized first (I didn't want to go that far with this so I did not check if $C$ is in fact diagonalizable). – adam W Jan 10 at 19:37
@adamW Then we have solve the no linear sitem. – Elias Jan 10 at 19:52

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.