Koopman–von Neumann classical mechanics
The Koopman–von Neumann mechanics is a description of classical mechanics in terms of Hilbert space, introduced by Bernard Koopman and John von Neumann in 1931 and 1932. [1] [2] [3]
As Koopman and von Neumann demonstrated, a Hilbert space of complex, square integrable wavefunctions can be defined in which classical mechanics can be formulated as an operatorial theory similar to quantum mechanics.
Contents
History
The origins of Koopman–von Neumann (KvN) theory are tightly connected with the rise of ergodic theory as an independent branch of mathematics, in particular with Boltzmann's ergodic hypothesis which plays a crucial role in theoretical physics, more specifically, for describing systems of statistical mechanics in terms of statistical ensembles. For instance, the macroscopic properties of the ideal gas can thus be explained from microscopic mechanics of individual atoms and molecules.
In 1931 Koopman and André Weil independently observed that the phase space of the classical system can be converted into a Hilbert space by postulating a natural integration rule over the points of the phase space as the definition of the scalar product, and that this transformation allows drawing of interesting conclusions about the evolution of physical observables from Stone's theorem, which had been proved shortly before. This finding inspired von Neumann to apply the novel formalism to the ergodic problem. Already in 1932 he completed the operator reformulation of quantum mechanics currently known as Koopman–von Neumann theory. Subsequently he published several seminal results in modern ergodic theory including the proof of his mean ergodic theorem.
Definition and dynamics
Derivation starting from the Liouville equation
In the approach of Koopman and von Neumann (KvN), dynamics in phase space is described by a (classical) probability density, recovered from an underlying wavefunction – the Koopman–von Neumann wavefunction – as the square of its absolute value (more precisely, as the amplitude multiplied with its own complex conjugate). This stands in analogy to the Born rule in quantum mechanics. In the KvN framework, observables are represented by commuting self-adjoint operators acting on the Hilbert space of KvN wavefunctions. The commutativity physically implies that all observables are simultaneously measurable. Contrast this with quantum mechanics, where observables need not commute, which underlines the uncertainty principle, Kochen–Specker theorem, and Bell inequalities.[4]
The KvN wavefunction is postulated to evolve according to exactly the same Liouville equation as the classical probability density. From this postulate it can be shown that indeed probability density dynamics is recovered.
Derivation starting from operator axioms
Conversely, it is possible to start from operator postulates, similar to the Hilbert space axioms of quantum mechanics, and derive the equation of motion by specifying how expectation values evolve.[7]
The relevant axioms are that as in quantum mechanics (i) the states of a system are represented by normalized vectors of a complex Hilbert space, and the observables are given by self-adjoint operators acting on that space, (ii) the expectation value of an observable is obtained in the manner as the expectation value in quantum mechanics, (iii) the probabilities of measuring certain values of some observables are calculated by the Born rule, and (iv) the state space of a composite system is the tensor product of the subsystem's spaces.
These axioms allow us to recover the formalism of both classical and quantum mechanics.[7] Specifically, under the assumption that the classical position and momentum operators commute, the Liouville equation for the KvN wavefunction is recovered from averaged Newton's laws of motion. However, if the coordinate and momentum obey the canonical commutation relation, the Schrödinger equation of quantum mechanics is obtained.
Measurements
In the Hilbert space and operator formulation of classical mechanics, the Koopman von Neumann–wavefunction takes the form of a superposition of eigenstates, and measurement collapses the KvN wavefunction to the eigenstate which is associated the measurement result, in analogy to the wave function collapse of quantum mechanics.
However, it can be shown that for Koopman–von Neumann classical mechanics non-selective measurements leave the KvN wavefunction unchanged.[5]
KvN vs Liouville mechanics
The KvN dynamical equation (KvN dynamical eq in xp) and Liouville equation (Liouville eq) are first-order linear partial differential equations. One recovers Newton's laws of motion by applying the method of characteristics to either of these equations. Hence, the key difference between KvN and Liouville mechanics lies in weighting individual trajectories: Arbitrary weights, underlying the classical wave function, can be utilized in the KvN mechanics, while only positive weights, representing the probability density, are permitted in the Liouville mechanics (see this scheme).
Quantum analogy
Being explicitly based on the Hilbert space language, the KvN classical mechanics adopts many techniques from quantum mechanics, for example, perturbation and diagram techniques [18] as well as functional integral methods [19] [20] .[21] The KvN approach is very general, and it has been extended to dissipative systems,[22] relativistic mechanics,[23] and classical field theories [7] [24] [25] .[26]
The KvN approach is fruitful in studies on the quantum-classical correspondence [7] [8] [27] [28] [29] as it reveals that the Hilbert space formulation is not exclusively quantum mechanical. Even Dirac spinors are not exceptionally quantum as they are utilized in the relativistic generalization of the KvN mechanics.[23] Similarly as the more well-known phase space formulation of quantum mechanics, the KvN approach can be understood as an attempt to bring classical and quantum mechanics into a common mathematical framework. In fact, the time evolution of the Wigner function approaches, in the classical limit, the time evolution of the KvN wavefunction of a classical particle. [23] [30] However, a mathematical resemblance to quantum mechanics does not imply the presence of hallmark quantum effects. In particular, impossibility of double-slit experiment[6][10][11] and Aharonov–Bohm effect[12] are explicitly demonstrated in the KvN framework.
KvN propagation vs Wigner propagation | ||||
---|---|---|---|---|
|
See also
- Classical mechanics
- Liouville's theorem
- Quantum mechanics
- Phase space formulation of quantum mechanics
- Wigner quasiprobability distribution
- Dynamical systems
- Ergodic theory
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 5.0 5.1 5.2 Lua error in package.lua at line 80: module 'strict' not found. PhD thesis, Università degli Studi di Trieste.
- ↑ 6.0 6.1 6.2 6.3 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 7.0 7.1 7.2 7.3 7.4 7.5 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 8.0 8.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 9.0 9.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 10.0 10.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 11.0 11.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 12.0 12.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 13.0 13.1 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ 23.0 23.1 23.2 Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
Further reading
- Lua error in package.lua at line 80: module 'strict' not found. PhD thesis, Università degli Studi di Trieste.
- H.R. Jauslin, D. Sugny, Dynamics of mixed classical-quantum systems, geometric quantization and coherent states, Lecture Note Series, IMS, NUS, Review Vol., August 13, 2009
- The Legacy of John von Neumann (Proceedings of Symposia in Pure Mathematics, vol 50), edited by James Glimm, John Impagliazzo, Isadore Singer. — Amata Graphics, 2006. — ISBN 0821842196