13.07.2015 Views

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

Mathematical Methods for Physics and Engineering - Matematica.NET

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

19.1 OPERATOR FORMALISMspectrum of the system is continuous. This system has discrete negative <strong>and</strong>continuous positive eigenvalues <strong>for</strong> the operator corresponding to the total energy(the Hamiltonian).◮Using the Dirac notation, show that the eigenvalues of an Hermitian operator are real.Let | a〉 be an eigenstate of Hermitian operator A corresponding to eigenvalue a, thenHence,⇒⇒A| a〉 = a| a〉,〈a|A| a〉 = 〈a|a| a〉 = a〈a| a〉,<strong>and</strong>〈a|A † = a ∗ 〈a|,〈a|A † | a〉 = a ∗ 〈a| a〉,〈a|A| a〉 = a ∗ 〈a| a〉, since A is Hermitian.(a − a ∗ )〈a| a〉 = 0,⇒ a = a ∗ , since 〈a| a〉 ≠0.Thus a is real. ◭It is not our intention to describe the complete axiomatic basis of quantummechanics, but rather to show what can be learned about linear operators, <strong>and</strong>in particular about their eigenvalues, without recourse to explicit wavefunctionson which the operators act.Be<strong>for</strong>e we proceed to do that, we close this subsection with a number of results,expressed in Dirac notation, that the reader should verify by inspection or byfollowing the lines of argument sketched in the statements. Where a sum overa complete set of eigenvalues is shown, it should be replaced by an integral <strong>for</strong>those parts of the eigenvalue spectrum that are continuous. With the notationthat |a n 〉 is an eigenstate of Hermitian operator A with non-degenerate eigenvaluea n (or, if a n is k-fold degenerate, then a set of k mutually orthogonal eigenstateshas been constructed <strong>and</strong> the states relabelled), we have the following results.A| a n 〉 = a n | a n 〉,〈a m |a n 〉 = δ mn (orthonormality of eigenstates), (19.5)A(c n | a n 〉 + c m | a m 〉)=c n a n | a n 〉 + c m a m | a m 〉 (linearity). (19.6)The definitions of the sum <strong>and</strong> product of two operators are(A + B)| ψ〉 ≡A| ψ〉 + B| ψ〉, (19.7)AB| ψ〉 ≡A(B| ψ〉) (≠ BA| ψ〉 in general), (19.8)⇒ A p | a n 〉 = a p n| a n 〉. (19.9)651

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!