5.1 States
Link to originalComplex Inner Product
Let be normalisable wave functions
Link to originalSchwarz Inequality for Integrals
Link to originalSquare Norm
Let be a normalisable wave function then
with norm
Note that is normalised if
Link to originalProperties of Complex Inner Product Space
for all
for all
if and only if
Link to originalComplex Inner Product Space
Let be a complex vector space with
Complex Inner Product between vectors
Satisfying the Properties of a Complex Inner Product Space
Then is a complex inner product space
Link to originalStates as Rays of
States of a Quantum System are elements of a Complex Inner Product Space
with proportional vectors representing the same state
Link to originalHilbert Space
Hilbert Space is a Complete Complex Inner Product Space
where the states of a Quantum System are elements of the Hilbert Space
5.2 Observables
Link to originalLinear Operator on
Linear Operator is a pap on complex vector space satisfying
for all and for
Link to originalAdjoint of a Linear Operator
Let be a complex inner product space
Let be a Linear Operator on thenAdjoint of satisfies (by definition)
for all
Link to originalSelf-Adjoint Linear Operator
Let be a complex inner product space
Let be a Linear Operator on thenIf then
Link to originalObservables
Observables are self-adjoint linear operators on space of states
Note that observable refers to something measurable
Link to originalPosition Operator
Position Operator in three dimensions has components for
Defined on wave functions by
where operator maps function to function
Note that the th component of position operator multiplies wave function by
Vector Notation
One Dimension
with
Link to originalMomentum Operator
Momentum Operator has components for
Defined on differentiable wave functions by
Vector Notation
One Dimension
where with
Link to originalProperties of Self-Adjoint Linear Operators
Let be self-adjoint linear operators then
- is self-adjoint where
is self-adjoint where is a real constant
Composite Operator is self-adjoint if and commute ()
Proof
and follow from definition almost immediately
For then
Hence adjoint so by self-adjointness then
Link to originalHamiltonian Operator
Consider particle of mass moving in potential then
Hamiltonian operator is defined as
acting on differentiable wave functions by
One-Dimension
Link to originalTime-Dependent State Schrödinger Equation Operator Form
Schrödinger Equation for Time-Dependent States
Link to originalStationary State Schrödinger Equation Operator Form
Consider Stationary State of energy then
Link to originalNon-Commutativity of Position and Momentum Operators
Consider for motion in one-dimension then
Hence
5.3 Measurement
Link to originalEigenstate
Let be an observable (self-adjoint linear operator on ) then
Let state satisfy
where is a constant
Then
Link to originalSpectrum
Spectrum is the set of all eigenvalues of
Link to originalRealness of Eigenvalues of Observables
Let be an eigenvalue of observable then
Proof
Consider then
As then so is real
Link to originalOrthogonality of Eigenstates of Distinct Eigenvalues
Suppose are eigenstates with distinct eigenvalues
Then
So and are orthogonal
Proof
As and then
Consider
As then
02 - Spectral Theorem
Link to originalSpectral Theorem
Let be a map where is a finite-dimensional complex inner product space
If is self-adjoint then
There exists an orthonormal basis of eigenvectors forNote that for eigenvalues with two or more linearly independent eigenstates then use Gram-Schmidt
Link to originalComplete Set of Eigenstates for Observables axiom
Observable is required to have a complete set of eigenstates so
There exists a set of orthonormal eigenstates of whereHence for any then it can be written as
where and
Note that if then (dependence on time)
Degenerate Form be the distinct eigenvalues where form an orthonormal basis for eigenspace with eigenvalue
Let
Link to originalDegeneracy of an Eigenvalue
Consider Eigenspace of a Eigenvalue then
Dimension of Eigenspace is the Degeneracy of Eigenvalue
Note
where is degeneracy of eigenvalue and and
form a orthonormal basis for eigenspace with eigenvalue
Link to originalNon-Degenerate Eigenvalue
Eigenvalue is non-degenerate if degeneracy
Link to originalQuantum Measurement Postulate
Possible Measurement Outcomes of an observable are the eigenvalues of
Suppose system is in a normalised quantum state in form
If eigenvalue is non-degenerate then probability of obtaining in a measurement is
If eigenvalue is degenerate then
Link to originalOrthogonality of the Hermite Polynomials
Any normalisable function on can be written in an expansion in eigenstates of
5.4 Collapse of Wave Function
Link to originalCollapse of Wave Function
Let be an observable
Upon measuring observable and getting non-degenerate eigenvalue then
Immediately after measuring quantum state of system is eigenstate with
Link to originalCollapse of Wave Function - Degenerate Case
Let be an observable
If spectrum of observable has degenerate eigenvalues then
Quantum State as expansion from degeneracy of an eigenvalue
Immediately after measuring eigenvalue then quantum state of system is
5.5 Summary
Link to originalDeterministic and Probabilistic Process of Time Evolution
(Deterministic)
Normalised quantum state of system evolves in time according to Schrödinger Equation
Given any observable thenwhere are the complete orthonormal eigenstates of
Typically chosen that so are stationary states in and(Probabilistic)
Suppose at time then observable is measured thenwhere is the eigenstate of with eigenvalue
By Collapse of Wave Function then immediately after obtaining value then
Wave function collapses to
Now start time evolution again using Schrödinger Equation with initial condition