2.6 Hermitian Operators

Most operators in quantum mechanics are of a special kind called
Hermitian

. This section lists their most important
properties.

An operator is called Hermitian when it can always be flipped over to
the other side if it appears in a inner product:

(2.15) |

That is the definition, but Hermitian operators have the following additional special properties:

- They always have real eigenvalues, not involving . (But the eigenfunctions, or eigenvectors if the operator is a matrix, might be complex.) Physical values such as position, momentum, and energy are ordinary real numbers since they are eigenvalues of Hermitian operators {N.3}.
- Their eigenfunctions can always be chosen so that they are normalized and mutually orthogonal, in other words, an orthonormal set. This tends to simplify the various mathematics a lot.
- Their eigenfunctions form a
complete

set. This means that any function can be written as some linear combination of the eigenfunctions. (There is a proof in derivation {D.8} for an important example. But see also {N.4}.) In practical terms, it means that you only need to look at the eigenfunctions to completely understand what the operator does.

In the linear algebra of real matrices, Hermitian operators are simply symmetric matrices. A basic example is the inertia matrix of a solid body in Newtonian dynamics. The orthonormal eigenvectors of the inertia matrix give the directions of the principal axes of inertia of the body.

An orthonormal complete set of eigenvectors or eigenfunctions is an example of a so-called “basis.” In general, a basis is a minimal set of vectors or functions that you can write all other vectors or functions in terms of. For example, the unit vectors , , and are a basis for normal three-dimensional space. Every three-dimensional vector can be written as a linear combination of the three.

The following properties of inner products involving Hermitian operators
are often needed, so they are listed here:

Key Points

- Hermitian operators can be flipped over to the other side in inner products.

- Hermitian operators have only real eigenvalues.

- Hermitian operators have a complete set of orthonormal eigenfunctions (or eigenvectors).

- 1.
- A matrix is defined to convert any vector into . Verify that and are orthonormal eigenvectors of this matrix, with eigenvalues 2, respectively 4.
- 2.
- A matrix is defined to convert any vector into the vector . Verify that and are orthonormal eigenvectors of this matrix, with eigenvalues 2 respectively 0. Note: .
- 3.
- Show that the operator is a Hermitian operator, but is not.
- 4.
- Generalize the previous question, by showing that any complex constant comes out of the right hand side of an inner product unchanged, but out of the left hand side as its complex conjugate;

As a result, a number is only a Hermitian operator if it is real: if is complex, the two expressions above are not the same. - 5.
- Show that an operator such as , corresponding to multiplying by a real function, is an Hermitian operator.
- 6.
- Show that the operator is not a Hermitian operator, but is, assuming that the functions on which they act vanish at the ends of the interval on which they are defined. (Less restrictively, it is only required that the functions are
periodic

; they must return to the same value at that they had at .) - 7.
- Show that if is a Hermitian operator, then so is . As a result, under the conditions of the previous question, is a Hermitian operator too. (And so is just , of course, but is the one with the positive eigenvalues, the squares of the eigenvalues of .)
- 8.
- A complete set of orthonormal eigenfunctions of on the interval 0 that are zero at the end points is the infinite set of functions

Check that these functions are indeed zero at 0 and , that they are indeed orthonormal, and that they are eigenfunctions of with the positive real eigenvalues

Completeness is a much more difficult thing to prove, but they are. The completeness proof in the notes covers this case.

- 9.
- A complete set of orthonormal eigenfunctions of the operator that are periodic on the interval 0 are the infinite set of functions

Check that these functions are indeed periodic, orthonormal, and that they are eigenfunctions of with the real eigenvalues

Completeness is a much more difficult thing to prove, but they are. The completeness proof in the notes covers this case.