8.1: Key Postulates
- Page ID
- 14795
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)1. Every single system has a wave function \(\psi(x, t)\).
2. Every observable is represented by a Hermitean operator \(\widehat{O}\).
3. The expectation value (average outcome of a measurement) is given by \(\int \phi(x)^*\widehat{O} \phi(x) d x\)
4. The outcome of an individual experiment can be any of the eigenvalues of \(\widehat{O}\).
Let me take each of these in turn.
Wavefunction
The detailed statement is that: for every physical system there exists a wave function, a function of the parameters of the system (coordinates and such) and time, from which the outcome of any experiment can be predicted.
In these lectures I will not touch on systems that depend on other parameters than coordinates, but examples are known, such as the spin of an electron, which can be up or down, and is not like a coordinate at all.
Observables
In classical mechanics "observables" (the technical term for anything that can be measured) are represented by numbers. Think e.g., of \(x, y, z, p_x, p_y, p_z, E\), In quantum mechanics "observables" are often quantised, they cannot take on all possible values: how to represent such quantities?
We have already seen that energy and momentum are represented by operators,
\[\widehat{p}=-i \hbar \nabla=-i \hbar\left(\frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z}\right) .\]
and
\[\widehat{H}=-\frac{\hbar^2 d^2}{2 m d x^2}+V(x)\]
Let me look at the Hamiltonian, the energy operator. We know that its normalisable solutions (eigenvalues) are discrete.
\[\widehat{H} \phi_n(x)=E_n \phi_n(x) .\]
The numbers \(E_n\) are called the eigenvalues, and the functions \(\phi_n(x)\) the eigenfunctions of the operator \(\stackrel{\square}{H}\). Our postulate says that the only possible outcomes of any experiment where we measure energy are the values \(E_n\) !
Hermitean operators
Hermitean operators are those where the outcome of any measurement is always real, as they should be (complex position?). This means that both its eigenvalues are real, and that the average outcome of any experiment is real. The mathematical definition of a Hermitean operator can be given as
\[
\int_{\text {all space }} \psi_1^*(x) \widehat{ O } \psi _ { 2 } ( x ) d x=\int_{\text {all space }} \widehat{O} \psi_1(x)\right]^* \psi_2(x) d x.
\]
Quiz show that \(\widehat{x}\) and \(\widehat{p}\) (in 1 dimension) are Hermitean.
Eigenvalues of Hermitean operators
Eigenvalues and eigen vectors of Hermitean operators are defined as for matrices, i.e., where there is a matrix-vector product we get an operator acting on a function, and the eigenvalue/function equation becomes
\[\widehat{O} f(x)=o_n f(x),\]
where \(o_n\) is a number (the "eigenvalue") and \(f(x)\) is the "eigenfunction".
A list of important properties of the eigenvalue-eigenfunction pairs for Hermitean operators are:
1. The eigenvalues of an Hermitean operator are all real.
2. The eigenfunctions for different eigenvalues are orthogonal.
3. The set of all eigenfunction is complete.
- Ad 1. Let \(\phi_n(x)\) be an eigenfunction of \(\widehat{O}\). Use
\[
o_n=\int d x \phi_n(x)^*\widehat{O} \phi_n(x) =\int d x\widehat {O} \phi_n(x)^* \phi_n(x)=o_n^*
\]
- Ad 2. Let \(\phi_n(x)\) and \(\phi_m(x)\) be eigenfunctions of \(\widehat {O}\). Use
This leads to
\[\left(o_n-o_m\right) \int d x \phi_n(x)^* \phi_n(x)=0,\]
and if \(o_n \neq o_m \int d x \phi_n(x)^* \phi_n(x)=0\), which is the definition of two orthogonal functions.
- Ad 3. This is more complex, and no proof will be given. It means that any function can be written as a sum of eigenfunctions of \(\widehat {O}\),
\[f(x)=\sum_{n=0}^{\infty} c_n \phi_n(x)\]
- Ad 3. This is more complex, and no proof will be given. It means that any function can be written as a sum of eigenfunctions of \(O\),
\[
f(x)=\sum_{n=0}^{\infty} c_n \phi_n(x)
\]
(A good example of such a sum is the Fourier series.)
Outcome of a single experiment
The outcome of a measurement of any quantity can only be the set of natural values of such a quantity. These are just the eigenvalues of \( \widehat {O}\)
\[\widehat {O} f_n(x)=o_n f_n(x)\]
Is this immediately obvious from the formalism? The short answer is no, but suppose we measure the value of the obervable for a wave function known to be an eigenstate. The outcome of a measurement better be this eigenvalue and nothing else. This leads us to surmise that this rule holds for any wave function, and we get the answer we are looking for. This also agrees with the experimentally observed quantisation of observables such as energy.
Eigenfunctions of \(\widehat {x}\)
The operator \(\widehat {x}\) multiplies with \(x\). Solving the equation
\[\widehat {x}^{\square} \phi(x)=x_0 \phi(x)\]
we find that the solution must be exactly localised at \(x=x_0\). The function that does that is called a Dirac \(\delta\) function \(\delta\left(x-x_0\right)\). This is defined through integration,
\[\int_{-\infty}^{\infty} \delta\left(x-x_0\right) g(x) d x=g\left(x_0\right)\]
and is not normalisable,
\[\int \delta\left(x-x_0\right)^2 d x=\infty\]
Eigenfunctions of \(\widehat {p}\)
The operator \(\widehat {p}\) is \(-i \hbar \dfrac{\partial}{\partial x}\). Solving the equation
\[-i \hbar \frac{d}{d x} \phi(x)=p_0 \phi(x)\]
we get
\[\frac{d}{d x} \phi(x)=i p_0 \hbar \phi(x)\]
with solution
\[\phi(x)=e^{i p_0 x h}\]
a "plane wave". As we have seen before these states aren't normalised either!