Infinite Index
Scientific claim

Quantum Eigenstate of an Observable Definition

Featured image for Quantum Eigenstate of an Observable Definition

Claim

Let AA denote an observable physical quantity, and let A^\hat A denote the operator representing AA on a complex Hilbert space H\mathcal H.

Experimental measurements produce real-valued outcomes. The operator A^\hat A is therefore chosen to be self-adjoint:

A^=A^†.\hat A=\hat A^\dagger.

Here, A^†\hat A^\dagger denotes the adjoint of A^\hat A. Self-adjoint operators have real eigenvalues, so the eigenvalues of A^\hat A can represent experimentally recorded values.

Let a∈Ra\in\mathbb R be an eigenvalue of A^\hat A. A pure quantum state represented by the ray [a][a] is an eigenstate of the observable AA with eigenvalue aa if every nonzero representative ∣a⟩|a\rangle of the ray satisfies

A^∣a⟩=a∣a⟩.\hat A|a\rangle=a|a\rangle.

Here, ∣a⟩|a\rangle denotes an eigenvector of A^\hat A associated with the eigenvalue aa.

The ray representing the corresponding quantum eigenstate is

[a]={c∣a⟩:c∈C, c≠0},[a]=\{c|a\rangle:c\in\mathbb C,\ c\neq0\},

where cc denotes any nonzero complex number and C\mathbb C denotes the set of complex numbers.

Multiplying ∣a⟩|a\rangle by a nonzero complex number does not change the eigenvalue:

A^(c∣a⟩)=cA^∣a⟩=ca∣a⟩=a(c∣a⟩).\hat A(c|a\rangle) = c\hat A|a\rangle = ca|a\rangle = a(c|a\rangle).

Therefore, every nonzero vector in the ray [a][a] represents the same quantum eigenstate with the same real eigenvalue aa.

Theoretical: Not applicable

Assumptions

  1. The quantum system is associated with a complex Hilbert space H\mathcal H.

  2. Pure quantum states are represented by rays in H\mathcal H.

  3. The observable AA is represented by a self-adjoint operator A^\hat A.

  4. The vector ∣a⟩|a\rangle is nonzero and belongs to the domain of A^\hat A.

  5. The value aa is an eigenvalue in the discrete spectrum of A^\hat A.

Proof

Let AA be an observable physical quantity represented by a self-adjoint operator

A^:D(A^)→H,\hat A:D(\hat A)\rightarrow\mathcal H,

where D(A^)⊆HD(\hat A)\subseteq\mathcal H is the domain of $\hat A`.

From the mathematical definition of an eigenvalue–eigenvector pair, a nonzero vector ∣a⟩∈D(A^)|a\rangle\in D(\hat A) is an eigenvector of A^\hat A with eigenvalue aa if

A^∣a⟩=a∣a⟩.\hat A|a\rangle=a|a\rangle.

Applying A^\hat A to ∣a⟩|a\rangle therefore does not move the vector into a new independent direction in the Hilbert space. It only multiplies the vector by the scalar $a`.

Because A^\hat A is self-adjoint, its eigenvalues are real. To see this, suppose ∣a⟩|a\rangle is normalized:

⟨a∣a⟩=1.\langle a|a\rangle=1.

Using the eigenvalue equation,

⟨a∣A^∣a⟩=a⟨a∣a⟩=a.\langle a|\hat A|a\rangle = a\langle a|a\rangle = a.

Since A^\hat A is self-adjoint, its expectation value is real:

⟨a∣A^∣a⟩∈R.\langle a|\hat A|a\rangle\in\mathbb R.

Therefore,

a∈R.a\in\mathbb R.

A physical pure state is represented by a ray rather than by one particular vector. If c∈Cc\in\mathbb C and c≠0c\neq0, then linearity gives

A^(c∣a⟩)=cA^∣a⟩.\hat A(c|a\rangle) = c\hat A|a\rangle.

Using the eigenvalue equation,

A^(c∣a⟩)=ca∣a⟩=a(c∣a⟩).\hat A(c|a\rangle) = ca|a\rangle = a(c|a\rangle).

Therefore, every nonzero scalar multiple of ∣a⟩|a\rangle is an eigenvector with the same eigenvalue $a`.

Consequently, the eigenstate is properly identified with the entire ray

[a]={c∣a⟩:c∈C, c≠0},[a]=\{c|a\rangle:c\in\mathbb C,\ c\neq0\},

rather than with a particular representative vector.

This establishes that a quantum eigenstate of the observable AA is a pure-state ray whose representative vectors are eigenvectors of the operator $\hat A`.

Examples

  1. For a spin-12\frac12 particle, the observable SzS_z represents spin along the zz-axis. Its operator is

    S^z=ℏ2(100−1).\hat S_z = \frac{\hbar}{2} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}.

    Consider the normalized state vector

    ∣↑z⟩=(10).|{\uparrow_z}\rangle = \begin{pmatrix} 1\\ 0 \end{pmatrix}.

    Applying the operator gives

    S^z∣↑z⟩=ℏ2(100−1)(10).\hat S_z|{\uparrow_z}\rangle = \frac{\hbar}{2} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} \begin{pmatrix} 1\\ 0 \end{pmatrix}.

    Therefore,

    S^z∣↑z⟩=ℏ2(10)=ℏ2∣↑z⟩.\hat S_z|{\uparrow_z}\rangle = \frac{\hbar}{2} \begin{pmatrix} 1\\ 0 \end{pmatrix} = \frac{\hbar}{2}|{\uparrow_z}\rangle.

    Thus, the ray [↑z][\uparrow_z] is an eigenstate of the observable SzS_z with eigenvalue

    a=ℏ2.a=\frac{\hbar}{2}.
  2. Consider the normalized state vector

    ∣↓z⟩=(01).|{\downarrow_z}\rangle = \begin{pmatrix} 0\\ 1 \end{pmatrix}.

    Applying the spin operator gives

    S^z∣↓z⟩=ℏ2(100−1)(01).\hat S_z|{\downarrow_z}\rangle = \frac{\hbar}{2} \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix} \begin{pmatrix} 0\\ 1 \end{pmatrix}.

    Therefore,

    S^z∣↓z⟩=−ℏ2(01)=−ℏ2∣↓z⟩.\hat S_z|{\downarrow_z}\rangle = -\frac{\hbar}{2} \begin{pmatrix} 0\\ 1 \end{pmatrix} = -\frac{\hbar}{2}|{\downarrow_z}\rangle.

    Thus, the ray [↓z][\downarrow_z] is an eigenstate of SzS_z with eigenvalue

    a=−ℏ2.a=-\frac{\hbar}{2}.
  3. Let the observable EE represent the total energy of a quantum system, and let H^\hat H be its Hamiltonian operator.

    A state vector ∣En⟩|E_n\rangle is an energy eigenvector if

    H^∣En⟩=En∣En⟩.\hat H|E_n\rangle=E_n|E_n\rangle.

    The corresponding ray [En][E_n] is an energy eigenstate with energy eigenvalue $E_n`.

    In the position representation, the same equation becomes

    H^ψn(x)=Enψn(x),\hat H\psi_n(x)=E_n\psi_n(x),

    where

    ψn(x)=⟨x∣En⟩.\psi_n(x)=\langle x|E_n\rangle.

    This is the time-independent Schrödinger equation.

Evidence

01
Eigenstates and EigenvaluesRichard Fitzpatrick · 2015-05-19 · supporting

Related Concepts

No dependency connections recorded.