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}$.

LoadingAdd 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)$.


LoadingAdd 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 […]
  • 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$. (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 […]
  • 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) […]

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 […]

Click here to cancel reply.

Please Login to Comment.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

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