A second-order linear Hermitian operator is an operator that satisfies
(1)
|
where denotes a complex conjugate. As shown in Sturm-Liouville theory, if is self-adjoint and satisfies the boundary conditions
(2)
|
then it is automatically Hermitian.
Hermitian operators have real eigenvalues, orthogonal eigenfunctions, and the corresponding eigenfunctions form a complete biorthogonal system when is second-order and linear.
Note that the concept of Hermitian operator is somewhat extended in quantum mechanics to operators that need be neither second-order differential nor real. Simply assuming that the boundary conditions give sufficiently strongly vanishing near infinity or have periodic behavior allows an operator to be Hermitian in this extended sense if
(3)
|
which is identical to the previous definition except that quantities have been extended to be complex (Arfken 1985, p. 506).
In order to prove that eigenvalues must be real and eigenfunctions orthogonal, consider
(4)
|
Assume there is a second eigenvalue such that
(5)
|
(6)
|
Now multiply (4) by and (6) by
(7)
|
(8)
|
(9)
|
Now integrate
(10)
|
But because is Hermitian, the left side vanishes.
(11)
|
If eigenvalues and are not degenerate, then , so the eigenfunctions are orthogonal. If the eigenvalues are degenerate, the eigenfunctions are not necessarily orthogonal. Now take .
(12)
|
The integral cannot vanish unless , so we have and the eigenvalues are real.
For a Hermitian operator ,
(13)
|
In integral notation,
(14)
|
Given Hermitian operators and ,
(15)
|
Because, for a Hermitian operator with eigenvalue ,
(16)
|
(17)
|
Therefore, either or . But iff , so
(18)
|
for a nontrivial eigenfunction. This means that , namely that Hermitian operators produce real expectation values. Every observable must therefore have a corresponding Hermitian operator. Furthermore,
(19)
|
(20)
|
since . Then
(21)
|
For (i.e., ),
(22)
|
For (i.e., ),
(23)
|
Therefore,
(24)
|
so the basis of eigenfunctions corresponding to a Hermitian operator are orthonormal.
Define the adjoint operator (also called the Hermitian conjugate operator) by
(25)
|
For a Hermitian operator,
(26)
|
Furthermore, given two Hermitian operators and ,
(27)
| |||
(28)
| |||
(29)
|
so
(30)
|
By further iterations, this can be generalized to
(31)
|
Given two Hermitian operators and ,
(32)
|
the operator equals , and is therefore Hermitian, only if
(33)
|
Given an arbitrary operator ,
(34)
| |||
(35)
|
so is Hermitian.
(36)
| |||
(37)
|
so is Hermitian. Similarly,
(38)
| |||
(39)
|
so is Hermitian.