Prove that there exists an $m \times m$ matrix $X$ such that $AX-XA=C.$

eigenvalues-eigenvectorsinner-productslinear algebramatricessymmetric matrices

Let $A$ be a real symmetric $m \times m$ matrix with $m$ distinct eigenvalues and $v_1,v_2, \cdots , v_m$ be the corresponding eigenvectors. Let $C$ be an $m \times m$ matrix such that $\left \langle Cv_j,v_j \right \rangle = 0$ for all $1 \leq j \leq m.$ Prove that there exists an $m \times m$ matrix $X$ such that $AX-XA=C.$

How do I prove that? Any help will be highly appreciated.

Thank you very much.

Best Answer

Take the equation $$ AX-XA=C $$ Pick $v_i, v_j$ and calculate the following: $$ \langle v_i,(AX-XA)v_j\rangle=\langle v_i,AXv_j\rangle-\langle v_i,XAv_j\rangle $$ Since $A$ is symmetric, we can move it to $v_i$ in the first term. So we get: $$ \langle v_i,(AX-XA)v_j\rangle=(\lambda_i-\lambda_j)\langle v_i,Xv_j\rangle $$ Motivated by this, we define $X$ by $$ \langle v_i,Xv_j\rangle=\frac{1}{\lambda_i-\lambda_j}\langle v_i,Cv_j\rangle $$ if $i\neq j$ and $0$ otherwise. This makes $X$ well-defined since $\langle v_i,Xv_j\rangle$ are its components in an orthogonal basis. Now we have: $$ \langle v_i,(AX-XA)v_j\rangle=(\lambda_i-\lambda_j)\langle v_i,Xv_j\rangle=\langle v_i,Cv_j\rangle $$ Since $\langle v_i,(AX-XA)v_j\rangle$ are just the components of $AX-XA$ in some orthogonal basis and they are equal to the components of $C$ in this same basis, $AX-XA = C$.