Observables
Observables are self-adjoint linear operators on space of states
Note that observable refers to something measurable
Position 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
Momentum Operator
Momentum Operator has components for
Defined on differentiable wave functions by
Vector Notation
One Dimension
where with
Hamiltonian Operator
Consider particle of mass moving in potential then
Hamiltonian operator is defined as
acting on differentiable wave functions by
One-Dimension
Time-Dependent State Schrödinger Equation Operator Form
Schrödinger Equation for Time-Dependent States
Stationary State Schrödinger Equation Operator Form
Consider Stationary State of energy then
Non-Commutativity of Position and Momentum Operators
Consider for motion in one-dimension then
Hence
Expectation Value of Operator
Consider normalised quantum state then
Expectation Value of an Operator is
Expectation Value of Function of Position Operator
Consider wave function in one dimension
Let be a function of position operator then
Expectation Value of Operator with Complete Orthonormal Basis of Eigenstates
Suppose has complete orthonormal basis of eigenstates where
Then
Identity Operator
Identity Operator defined by
Non-Negative Operator
Operator is non-negative if
Properties of Expectation Operator
Let be operators then
- Linearity
- Expectation of Identity is
- Expectation of Self-Adjoint
- Let be a non-negative operator then
Dispersion of Observable
Let be an observable then
Dispersion of Observable with normalise quantum state defined as
Dispersion of Observable with Eigenstate
Consider dispersion of observable with a normalised state then
where has associated eigenvalue
Proof
Suppose is eigenstate of with eigenvalue so then
And
Hence if and only if and only if is an eigenstate of with eigenvalue
Commutator of Two Operators
Let and be two operators
Commutator is defined as
Canonical Commutation Relations
In one dimensions then
In three dimensions then
Properties of Commutator
Let be operators then commutators satisfy
- Anti-Symmetry
- Linearity
- Leibniz Rule
- Jacobi Identity
- If with both self-adjoint then
Proof
Proof
Extra Properties of Self-Adjoint Operators
Let be self-adjoint operators and suppose
For and normalised then
Note that holds with equality if and only if exists such that
Proof
For the right hand side is a quadratic and left side is so discriminant is soQuadratic has repeated real root as so
Hence is a root if and only if
Heisenberg's Uncertainty Principle corollary
Suppose is normalised then
with equality if and only if
where negative constant and complex constants
Proof
Define
so by linearity of commutator then
Hence
Hence
With by Extra properties of self-adjoint operators
For equality from Extra properties of self-adjoint operators then
Exists real with so
Let and substitution with thenRearranging to
Hence
Require for gaussian integral
Generalised Uncertainty Principle corollary
Let be self-adjoint operators then
Let be a normalisedProof
Similar to proof for Heisenberg’s uncertainty principle where
where
By definition of dispersion then
Taking square root of inequality for Extra properties of self-adjoint operators gives result