1

At the general solution of $x'(t) = Bx(t)$ does it hold that there are no trigonometric terms iff the eigenvalues and eigenvectors of $B$ are real?

More specifically,I conider the matrix $B=\begin{pmatrix}1 & 0 & 2 \\ 0 & 2 & 0 \\ 2 & 0 & 3\end{pmatrix}$.

The eigenvalues are $\lambda_1=2, \ \lambda_2=2-\sqrt{5}, \ \lambda_3=2+\sqrt{5}$, all are real.

Does this mean that the eigenvectors be also real, and so also the solution of the system?

Bernard
  • 179,256
Mary Star
  • 14,186
  • 15
  • 91
  • 205
  • 1
    Related https://math.stackexchange.com/questions/47764/can-a-real-symmetric-matrix-have-complex-eigenvectors –  Aug 06 '21 at 09:00

1 Answers1

2

Yes. Well, yes, but with a caveat.

If $\lambda$ is a real eigenvalue of a matrix $B$ with real entries, then this means that $B - \lambda I$ is a singular matrix with real coefficients. When we apply Gauss-Jordan elimination on this matrix, there's no cause to go outside the real numbers. Indeed, when we eliminate entries above or below a leading $1$, we simply subtract a multiple of the row with a leading $1$, where the multiple is the entry we need to eliminate. If that number is real, then we are subtracting a real multiple of a real row vector from another real row vector, which means the matrix remains real.

Similarly, if we need to divide a row by its leading entry, then we are dividing by a real number. Swapping also trivially preserves realness.

Once we get to reduced row-echelon form, then once again, there is no cause to go outside the real numbers, though we could if we wanted to. We assign the variables, corresponding to columns without leading $1$s, to be free variables. This could mean freely ranging over $\Bbb{R}$ or $\Bbb{C}$. If we let them range over $\Bbb{R}$, then the other variables are found to be real linear combinations of these variables, giving us real solution eigenvectors.

But, of course, we could just take any given eigenvector, and multiply it by a non-real scalar, and we would get a complex eigenvector. So, technically, eigenvectors of an operator on $\Bbb{C}^n$ will never all be real. But, when the matrix has real entries, yes, you can choose an eigenbasis of vectors that have real entries.

Theo Bendit
  • 53,568