Infinite Index
Scientific claim

Quantum Eigenstate of an Observable Definition

Claim

Let AA be an observable physical quantity represented by a self-adjoint operator A^\hat A on a complex Hilbert space H\mathcal H.

A pure quantum state represented by the ray [a][a] is an eigenstate of the observable AA with eigenvalue aRa\in\mathbb R if any nonzero representative a|a\rangle of the ray satisfies

A^a=aa.\hat A|a\rangle=a|a\rangle.

The vector a|a\rangle is an eigenvector of A^\hat A, while the ray

[a]={ca:cC, c0}[a]=\{c|a\rangle:c\in\mathbb C,\ c\neq0\}

is the corresponding quantum eigenstate.

Theoretical: Not applicableExperimental: 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 aD(A^)|a\rangle\in D(\hat A) is an eigenvector of A^\hat A with eigenvalue aa if

A^a=aa.\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:

aa=1.\langle a|a\rangle=1.

Using the eigenvalue equation,

aA^a=aaa=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:

aA^aR.\langle a|\hat A|a\rangle\in\mathbb R.

Therefore,

aR.a\in\mathbb R.

A physical pure state is represented by a ray rather than by one particular vector. If cCc\in\mathbb C and c0c\neq0, then linearity gives

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

Using the eigenvalue equation,

A^(ca)=caa=a(ca).\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]={ca:cC, c0},[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(1001).\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^zz=2(1001)(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^zz=2(10)=2z.\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^zz=2(1001)(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^zz=2(01)=2z.\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=EnEn.\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)=xEn.\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.