Eigenstates and the Third Postulate

Abstract

The representation of physical observables by Hermitian linear operators was postulated assuming that an expectation value, defined by Eqs.(2.11) and (2.12) , is associated with any observable A measured in a quantum state Ψ of a dynamical system. In view of measurement uncertainties, defined by the dispersion: ( Δ A ) 2 = 〈 A 2 〉 − 〈 A 〉 2 = 〈 ( A − 〈 A 〉 ) 2 〉 = 〈 ( δ A ) 2 〉 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_1_B.tif"/> the expectation value 〈 A 〉 is taken in a state Ψ if and only if (Δ Α ) 2 vanishes. It is convenient to introduce the deviation operator: 3.1 δ  =  − 〈 A 〉 Î https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_2_B.tif"/> such that the condition of a vanishing dispersion for the observable A in a given state Ψ reads: 〈 Ψ |( δ  ) 2 Ψ 〉 = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_3_B.tif"/> Because δ is a Hermitian operator, we can also write: 〈 δ Â Ψ | δ Â Ψ 〉 = | δ Â Ψ | 2 = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_4_B.tif"/> which means that the norm of δ Â Ψ is zero and this implies that we have a null function δ Â Ψ = 0. In other words: 3.2 Â Ψ = 〈 A 〉 Ψ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_5_B.tif"/> It follows that the state function Ψ where a definite expectation value 〈 A 〉 of the observable A is observed, should be a solution of Eq.(3.2) rather than an arbitrary 112 function. The action of the operator  on Ψ has to be simply that of rescaling. All the state functions which are solutions of Eq.(3.2) are called eigenfunctions of  , and the constant factor 〈 A 〉 is said to be the corresponding eigenvalue. Hence we have shown that if ((δ  ) 2 ) = 0, the state function should be an eigenfunction of  , which means that a physical observable only takes definite values in states represented by eigenfunctions of the associated quantum operator. Conversely, given a quantum operator  one can systematically determine all its eigenvalues and eigenfunctions, which are solutions of the so-called eigenvalue equation: 3.3 Â Ψ = λ Ψ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_6_B.tif"/> It is visible that the eigenvalue equation fixes the eigenfunctions only up to an overall scale factor, which may always be chosen such that the eigenfunctions be considered normalized. Then, in view of Eq.(2.11) , Eq.(3.3) gives: 〈  〉 = ∫ − ∞ ∞ Ψ * Â Ψ d x = λ ∫ − ∞ ∞ Ψ * Ψ d x = λ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_7_B.tif"/> If we further apply the operator  to Eq.(3.3) , we obtain  2 Ψ = λ 2 Ψ and this leads to: 〈  2 〉 = ∫ − ∞ ∞ Ψ *  2 Ψ d x = λ 2 ∫ − ∞ ∞ Ψ * Ψ d x = λ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_8_B.tif"/> It follows that: ( Δ A ) 2 = 〈  2 〉 − 〈  〉 2 = 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn3_9_B.tif"/> and this shows that the dispersion vanishes if a physical observable is measured in states represented by eigenfunctions of the associated operator.