The periodic centered-difference kinetic matrix is real symmetric, and the sampled real potential is a real diagonal matrix. Therefore and are skew-Hermitian, so each matrix exponential in the Strang splitting is a unitary matrix. Their product is unitary as well. Hence
The continuous symmetry is
Strictly, the diagonal central acts trivially, so the faithful group is the quotient by that common center. Since and are unitary matrices,
Every term is therefore unchanged by cyclicity of the matrix trace:
and the same conjugation argument applies to and .
As is a unitary matrix, . Let . Its conjugate transpose is , so and every positive integer power are Hermitian matrices and have real eigenvalues.
More explicitly, if with real, then form an eigenbasis and
Therefore
where denotes the matrix size, to distinguish it from the power .
The original PDF uses the conjugate transpose , rather than the transpose found in the transcription. The printed diagonalisation criterion is correct when diagonalisation means unitary diagonalization of a normal matrix. Since ,
Consequently if and only if . By part (ii), this gives a common unitary matrix and
which is diagonal. Conversely, if for a diagonal and a unitary matrix , then
Thus the precise conclusion is
If arbitrary invertible changes of basis are allowed, the printed assertion is false. For example,
satisfy . Both Hermitian matrices have distinct eigenvalues: for and for . The distinct eigenvalues make diagonalizable by similarity, but and differ. This distinguishes ordinary diagonalization from the required unitary version.
Suppose and . Then
Because the eigenvalues of are distinct, the eigenspace for is one-dimensional. It follows that , including the possibility . Thus an orthonormal eigenbasis of is also an eigenbasis of . The simplicity of both spectra means their eigenvectors coincide as directions, up to ordering, phases and nonzero scalar multiples.
Conversely, if they share a complete eigenbasis, choose the unitary matrix whose columns are these common normalized eigenvectors. Then and are diagonal, so and . Hence
This is simultaneous diagonalization of the two Hermitian matrices.
If for a Hermitian matrix and a nonzero eigenvector, then . The scalar on the left equals its complex conjugate because , while . Thus is real. If also , then
Consequently distinct eigenvalues force , proving orthogonality of their eigenvectors.
For a unitary matrix, preserves the norm induced by the standard Hermitian inner product. If with , then , so .
A real orthogonal matrix satisfies ; a complex unitary matrix satisfies . Their columns are orthonormal in the corresponding real or complex inner product.
Adopt the convention that a complex inner product is linear in its second argument, conjugate symmetric, and positive definite: , with equality exactly when . Conjugate symmetry and second-argument linearity then imply antilinearity in the first:
For the specified real symmetric matrix use . Its upper block is the outer product , so it has one zero eigenvalue and one eigenvalue . A complete orthonormal eigenbasis is
If , the last two eigenvalues coincide and their eigenspace is the span of ; every nonzero vector in that span is an eigenvector. Since , the zero eigenspace remains one-dimensional.
A unitary matrix satisfies over the complex numbers; a real orthogonal matrix satisfies . Their inverses are their conjugate transposes and transposes, respectively.
With , the coordinate has eigenvalue . In the plane, the traceless symmetric two-by-two matrix has eigenvalues , where . If , choose with and . Then an orthonormal eigenbasis is
If equals or , the corresponding eigenspace is the span of the two listed vectors with that eigenvalue. If , then , the plane is the zero eigenspace, and retains eigenvalue ; if also , every vector belongs to the zero eigenspace. This includes the degenerate cases that a division by would miss.
For the Cauchy-Schwarz inequality, take and remove the orthogonal projection of along . Positivity of the squared norm gives
Multiplication by and square roots prove ; the case is immediate. Equality means linear dependence. Therefore
Taking the nonnegative square root proves the triangle inequality.
Use the complex inner product , conjugate-linear in its first argument. For , put . Positivity gives
Hence the Cauchy-Schwarz inequality is . If it is immediate; equality holds precisely when the two vectors are linearly dependent.
For a unitary matrix, , so . If with a nonzero eigenvector, this implies . Thus every eigenvalue satisfies
For the one-parameter family, expand unitarity to first order: , so . Thus is a skew-Hermitian matrix, an element of the unitary Lie algebra. If , then , whereas complex conjugation gives . Consequently , proving that every eigenvalue of is purely imaginary, with zero permitted.
A square complex matrix is a unitary matrix when , so it preserves the Euclidean norm. If with , then , giving . For a Hermitian matrix and ,
because the numerator equals its complex conjugate. Hence no eigenvalue of is zero, proving it is invertible.
For , the Hermitian conjugate is . The factors and their inverses commute, since they are rational functions of . Thus . Its action on the same eigenvectors is
These eigenvalues have modulus one. This is the Cayley transform of a Hermitian matrix in the convention that avoids the unitary eigenvalue one.
For the inverse direction, gives
Taking the conjugate transpose of therefore yields
The last equality uses commutativity of the two factors. This proves that the inverse Cayley transform of a unitary matrix without eigenvalue one is Hermitian. Solving for gives . An orthonormal eigenbasis of therefore diagonalizes , with diagonal entries .
The result extends even when a unitary matrix has eigenvalue one: choose so that does not. There are only finitely many forbidden phases, since the matrix has finitely many eigenvalues. Diagonalizing also diagonalizes in the same basis. Thus every unitary matrix is unitarily diagonalizable.
Since is Skew-Hermitian, is a Hermitian matrix. The spectral theorem gives a unitary matrix with and real eigenvalues . Hence and
In particular the determinant is nonzero, so is invertible. Applying the same argument to proves that is also invertible. Equality holds precisely when all , equivalently .
Multiplying the defining equation on the right by gives . Consequently the only possible answer is
The factors commute because they are rational functions of . Its conjugate transpose, using the unitarity , is
Thus is Skew-Hermitian. Moreover and , so substitution recovers and establishes existence as well as uniqueness. The unitary matrix is a counterexample to invertibility of ; more generally the obstruction is an eigenvalue .
A Hermitian matrix satisfies , where denotes the conjugate transpose. For a nonzero eigenvector with , the scalar equals its own complex conjugate, and
Thus every Hermitian eigenvalue is real.
A unitary matrix satisfies . If , preservation of the squared norm gives
Since , . These statements concern complex eigenvectors, even when the matrix entries happen to be real.
Choose the common orthonormal eigenbasis established in part (ii), and let be the unitary matrix of its columns. Then
Consequently
Thus is unitarily diagonalizable, even though it need not be Hermitian. As a consistency check, commutation also gives , so is a normal matrix, as also follows from unitary diagonalization of a normal matrix.
If , then is a Hermitian matrix, because . By the finite-dimensional spectral theorem, there is a unitary matrix with
Thus . Since the matrix exponential respects similarity,
Each diagonal entry has modulus one, so . Using ,
Hence the exponential of a skew-Hermitian matrix is unitary.
Separate the defining matrix exponential into even and odd powers and use :
Therefore
Since each is Hermitian, ; each is a unitary matrix.
Both factors and their product are real, so the Hermitian conjugate equals the transpose. Part (i) therefore gives
Hence A real orthogonal matrix is always a unitary matrix.
A complex square matrix is a unitary matrix if . Equivalently, it preserves the complex inner product and hence the norm. If with , then
Division by the positive squared norm gives . Thus every eigenvalue lies on the unit circle.
A skew-Hermitian matrix satisfies , where denotes the conjugate transpose. If with , then
Since , this gives .
A unitary matrix satisfies . It preserves the Hermitian inner product and norm. Thus if ,
and therefore . Zero is allowed among the purely imaginary eigenvalues in the first statement, but not among the unitary eigenvalues.