01.06.2014 Views

FOUNDATIONS OF QUANTUM MECHANICS

FOUNDATIONS OF QUANTUM MECHANICS

FOUNDATIONS OF QUANTUM MECHANICS

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

36 CHAPTER II. THE FORMALISM<br />

The proof that these vector spaces are complete is not simple, however, the proof that the remaining<br />

requirements for a Hilbert space have been met, is.<br />

These two spaces correspond to two versions of quantum mechanics, where L 2 (R) corresponds<br />

to Schrödingers wave mechanics (1926) and l 2 (N) to the matrix mechanics of Heisenberg, Born, and<br />

Jordan (1925), that is, if we take matrix mechanics in the enriched version of Von Neumann, since<br />

the original version did not contain a ‘state space’. These two versions of quantum mechanics are<br />

mathematically equivalent, see F.A. Muller (1997a, 1997b and 1999) for historical details.<br />

II. 6. 2<br />

OPERATORS<br />

More serious complications occur when introducing of operators on infinite - dimensional Hilbert<br />

spaces. First, we will see that such operators are in general ‘unbounded’, which entails that<br />

they cannot be defined on the entire Hilbert space. Consequently, the definition of sum and product<br />

of operators, as well as their adjoints, becomes more cumbersome, and the terms ‘self - adjoint’<br />

and ‘Hermitian’ no longer coincide. Second, these operators do not always have eigenvectors in H.<br />

Therefore it is more difficult to give a useful version of the spectral theorem.<br />

The second problem is independent of the first, i.e., it can also appear for bounded self - adjoint<br />

operators. ▹<br />

For position and momentum both complications occur together which is shown by an example.<br />

EXAMPLE<br />

Consider the position operator<br />

Q : ψ(q) ↦→ q ψ(q), (II. 112)<br />

and the momentum operator<br />

P : ψ(q) ↦→ − i d ψ(q), (II. 113)<br />

dq<br />

both acting on L 2 (R).<br />

The first problem is that these operators do not map every vector in L 2 (R) to another vector<br />

in L 2 (R). For instance, every non - differentiable function in L 2 (R) is outside the domain of P .<br />

Vice versa, taking for Q, for example, ψ (q) = (a + q) − 3 2 with a ∈ R, we have ψ ∈ L 2 (R),<br />

but Qψ ∉ L 2 (R).<br />

The second problem is that the eigenvalue equation for momentum, −i d dq<br />

ψ (q) = pψ (q), has<br />

solutions ψ (q) ∝ e i pq for p ∈ R, but these functions are not square integrable and therefore<br />

they are not in L 2 (R). Something similar applies to the eigenvalue equation Qψ(q) = q 0 ψ(q)<br />

and its solutions ψ(q) = δ(q − q 0 ).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!