Matrices Satisfying $HF-FH=-2F$

Linear Algebra Problems and Solutions

Problem 69

Let $F$ and $H$ be an $n\times n$ matrices satisfying the relation
\[HF-FH=-2F.\]

(a) Find the trace of the matrix $F$.

(b) Let $\lambda$ be an eigenvalue of $H$ and let $\mathbf{v}$ be an eigenvector corresponding to $\lambda$. Show that there exists an positive integer $N$ such that $F^N\mathbf{v}=\mathbf{0}$.

FavoriteLoadingAdd to solve later

Sponsored Links

Hint.

  1. For (a), take the trace of the both sides of the given relation.
  2. For (b), show that if $F^k\mathbf{v}\neq \mathbf{0}$ then there are infinitely many eigenvalues, hence a contradiction.

Proof.

(a) The trace of the matrix $F$

Using the given relation we compute the trace of $F$ as follows.
By taking the trace of both sides we have
\[\tr(-2F)=\tr(HF-FH).\]

The right hand side is $-2\tr(F)$ and the left hand side is
\begin{align*}
\tr(HF-FH)&=\tr(HF)-\tr(FH)\\
&=\tr(HF)-\tr(HF)=0.
\end{align*}
Therefore we have $\tr(F)=0$.

(b) There exists an positive integer $N$ such that $F^N\mathbf{v}=\mathbf{0}$.

Since $\mathbf{v}$ is an eigenvector corresponding to the eigenvalue $\lambda$ of $H$, we have $H\mathbf{v}=\lambda \mathbf{v}$ or equivalently $(H-\lambda I)\mathbf{v}=\mathbf{0}$.

Now we compute
\begin{align*}
& F(H-\lambda I)=FH-\lambda F\\
&=(HF+2F)-\lambda F=(H-(\lambda-2)I)F.
\end{align*}

Therefore we have
\[F(H-\lambda I)=(H-(\lambda-2)I)F.\]

Evaluating at $\mathbf{v}$, we obtain
\[\mathbf{0}=F(H-\lambda I)\mathbf{v}=(H-(\lambda-2)I)F\mathbf{v}.\]

If $F\mathbf{v} \neq \mathbf{0}$, then this equality implies that $F\mathbf{v}$ is an eigenvector corresponding to the eigenvalue $\lambda-2$ of $H$. In this case we further calculate
\begin{align*}
\mathbf{0}&=F(H-(\lambda-2)I)F\mathbf{v} \\
&=(FH-(\lambda-2)F)F=(HF+2F-(\lambda-2)F)F\mathbf{v}\\
&=(H-(\lambda-4))F^2\mathbf{v}.
\end{align*}

If the vector $F^2\mathbf{v}\neq \mathbf{0}$, then this equality implies that $F^2\mathbf{v}$ is an eigenvector corresponding to the eigenvalue $\lambda-4$ of $H$.
Repeating this procedure, we see that
\[\mathbf{0}=(H-(\lambda-2k))F^k\mathbf{v}\] for all $k$.

Therefore, if $F^k\mathbf{v}$ is nonzero vector for all $k$, then there are infinitely many eigenvalues $\lambda-2k$ but this is impossible since $H$ is an $n \times n$ matrix and hence $H$ has at most $n$ eigenvalues. Therefore there exists $N$ such that $F^N\mathbf{v}=\mathbf{0}$.

 

Related Question.

See the problem “Matrices satisfying the relation HE-EH=2E” for similar questions.

As noted there, the relation $HF-FH=-2F$ comes from the Lie algebra $\mathfrak{sl}(2)$.


FavoriteLoadingAdd to solve later

Sponsored Links

More from my site

  • Matrices Satisfying the Relation $HE-EH=2E$Matrices Satisfying the Relation $HE-EH=2E$ Let $H$ and $E$ be $n \times n$ matrices satisfying the relation \[HE-EH=2E.\] Let $\lambda$ be an eigenvalue of the matrix $H$ such that the real part of $\lambda$ is the largest among the eigenvalues of $H$. Let $\mathbf{x}$ be an eigenvector corresponding to $\lambda$. Then […]
  • Stochastic Matrix (Markov Matrix) and its Eigenvalues and EigenvectorsStochastic Matrix (Markov Matrix) and its Eigenvalues and Eigenvectors (a) Let \[A=\begin{bmatrix} a_{11} & a_{12}\\ a_{21}& a_{22} \end{bmatrix}\] be a matrix such that $a_{11}+a_{12}=1$ and $a_{21}+a_{22}=1$. Namely, the sum of the entries in each row is $1$. (Such a matrix is called (right) stochastic matrix (also termed […]
  • Trace of the Inverse Matrix of a Finite Order MatrixTrace of the Inverse Matrix of a Finite Order Matrix Let $A$ be an $n\times n$ matrix such that $A^k=I_n$, where $k\in \N$ and $I_n$ is the $n \times n$ identity matrix. Show that the trace of $(A^{-1})^{\trans}$ is the conjugate of the trace of $A$. That is, show that […]
  • Eigenvalues of Real Skew-Symmetric Matrix are Zero or Purely Imaginary and the Rank is EvenEigenvalues of Real Skew-Symmetric Matrix are Zero or Purely Imaginary and the Rank is Even Let $A$ be a real skew-symmetric matrix, that is, $A^{\trans}=-A$. Then prove the following statements. (a) Each eigenvalue of the real skew-symmetric matrix $A$ is either $0$ or a purely imaginary number. (b) The rank of $A$ is even.   Proof. (a) Each […]
  • Matrix $XY-YX$ Never Be the Identity MatrixMatrix $XY-YX$ Never Be the Identity Matrix Let $I$ be the $n\times n$ identity matrix, where $n$ is a positive integer. Prove that there are no $n\times n$ matrices $X$ and $Y$ such that \[XY-YX=I.\]   Hint. Suppose that such matrices exist and consider the trace of the matrix $XY-YX$. Recall that the trace of […]
  • If Every Trace of a Power of a Matrix is Zero, then the Matrix is NilpotentIf Every Trace of a Power of a Matrix is Zero, then the Matrix is Nilpotent Let $A$ be an $n \times n$ matrix such that $\tr(A^n)=0$ for all $n \in \N$. Then prove that $A$ is a nilpotent matrix. Namely there exist a positive integer $m$ such that $A^m$ is the zero matrix. Steps. Use the Jordan canonical form of the matrix $A$. We want […]
  • Finite Order Matrix and its TraceFinite Order Matrix and its Trace Let $A$ be an $n\times n$ matrix and suppose that $A^r=I_n$ for some positive integer $r$. Then show that (a) $|\tr(A)|\leq n$. (b) If $|\tr(A)|=n$, then $A=\zeta I_n$ for an $r$-th root of unity $\zeta$. (c) $\tr(A)=n$ if and only if $A=I_n$. Proof. (a) […]
  • Idempotent Matrix and its EigenvaluesIdempotent Matrix and its Eigenvalues Let $A$ be an $n \times n$ matrix. We say that $A$ is idempotent if $A^2=A$. Show that (a) Find a nonzero, nonidentity idempotent matrix. (b) Show that eigenvalues of an idempotent matrix $A$ is either $0$ or $1$. (The Ohio State University, Linear Algebra Final Exam […]

You may also like...

3 Responses

  1. D says:

    a simpler approach for B

    $HF − FH= −2F$

    If F is singular, then there must be at least one eigenvalue = 0, and we are done. (i.e. we are satisfied with natural number N = 1.)

    Now suppose F is non-singular, and right multiply the equation by $F^{-1}$. This gives us

    $H − FHF^{-1}= −2I$

    now take the trace

    $trace(H) − trace(FHF^{-1})= −2trace(I)$

    $trace(H) − trace(F^{-1}FH)= −2n$

    $trace(H) − trace(H)= −2n$

    $0= −2n$

    a contradiction. Hence F is singular and we’re done.

    • Yu says:

      Dear D,

      Your argument is correct if $\lambda=0$. But $\lambda$ is any eigenvalue of $A$, and even if $A$ is singular, there could be a nonzero eigenvalue of $A$.

  1. 07/29/2017

    […] the problem Matrices satisfying HF−FH=−2F for a similar […]

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Linear Algebra
Linear algebra problems and solutions
Matrices Satisfying the Relation $HE-EH=2E$

Let $H$ and $E$ be $n \times n$ matrices satisfying the relation \[HE-EH=2E.\] Let $\lambda$ be an eigenvalue of the...

Close