1248 B Some Useful Mathematics
Thereforeaj∫
fj∗fjdqaj∗∫
fj∗fjdq (B-73)andaj∗aj (B-74)A quantity equals its complex conjugate if and only if it is real, so thatajmust be real.
Property 5. Two eigenfunctions of a hermitian operator with different eigenvalues
are orthogonal to each other.
Two functionsfandgareorthogonalto each other if∫
f∗gdq∫
g∗fdq 0(
definition of
orthogonality)
(B-75)
wheref∗is the complex conjugate offandg∗is the complex conjugate ofg. The
two integrals in Eq. (B-75) are the complex conjugates of each other, so that if one
vanishes, so does the other.
We prove property 5 as follows: Multiply the eigenvalue equation, Eq. (B-69), by
fk∗, the complex conjugate of a different eigenfunction, and integrate, factoring the
constant eigenvalue out of the integral:∫
fk∗̂Afjdqaj∫
fk∗fjdq (B-76)Now apply the hermitian property to the left-hand side of this equation:∫
fk∗̂Afjdq∫
(̂A∗fk∗)fjdqa∗k∫
fk∗fjdqak∫
fk∗fjdq (B-77)where we have replaceda∗kbyakbecause we knowakto be real. The left-hand sides
of Eqs. (B-76) and (B-77) are equal, so the difference of the right-hand sides vanishes:(aj−ak)∫
fk∗fjdq 0 (B-78)If the two eigenvalues are not equal to each other, the integral must vanish, and we
have proved the orthogonality offkandfj:∫
fk∗fjdq 0 (B-79)If two eigenfunctions have equal eigenvalues, they are not necessarily orthogonal to
each other, but linear combinations of the eigenfunctions can be constructed that are
orthogonal to each other.