Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Mathematical Physics

Unified Dirac-Von Neumann Formulation of Quantum Mechanics. I. Mathematical Theory

A. R. Marlow

Published Jun 1, 1965• 12 citations
Publisher

Abstract

In this paper the results from various areas of mathematical research which are necessary for a consistent unification of the Dirac and von Neumann formulations of quantum mechanics are collected and presented as a single synthesis. For this purpose, direct integral decompositions of Hilbert space must be introduced into Dirac's formulation of spectral theory and representation theory; true unit vectors in the direct integral decomposition spaces replace unnormalizable vectors of infinite length. It then becomes clear that families of modified Dirac projection operators are simply related to the Radon-Nikodym derivative of von Neumann spectral measures. In terms of these mathematical preliminaries a second paper will present the more physical aspects of the resulting unified formulation of quantum mechanics.

DOI
10.1063/1.1704352

Related papers

A note on the unified Dirac−von Neumann formulation of quantum mechanics

D. Tjo/stheim

It is demonstrated that the mathematical model of a rigged Hilbert space is ideally suited for obtaining a unified Dirac−von Neumann formulation of quantum mechanics. It is shown that the eigenbras of an observable A can be interpreted as weak derivatives of certain functionals associated with the resolution of identity Eu, u - (−∞, ∞), associated with A.

Journal of Mathematical Physics•Apr 1, 1975•4 citations

Mathematical Formalism of Quantum Mechanics

Reinhold A. Bertlmann, Nicolai Friis

Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem

•Sep 7, 2023•0 citations

Mathematical Foundations of Quantum Mechanics

Fumitomo Maeda

Although• quantum mechanics has achieved great success in the explanation of physical phenomena, the mathematics used in quantum mechanics is not rigorous.Unrigorous treatments occur in the case of continuous spectrum.In a Hilbert • space, let A be a self-adjoint operator.When we define the eigenvalue and the eigenelement by the ' ' relation Af=J.f, (1) ' ' h d -. -f(q)=).f(q)2m dq has solutions 2,ri f(q)=ce"Aq for any ;.., But these are not quadratically integrable.E. Hellinger and H. Weyi< 0 have already investigated the problem of continuous spectrum and introduced the " eigendifferential."But they are concerned with a special problem, i. e. bounded quadratic forms and solutions of differential equation.In respect of generality, they do not satisfy.< 2 > E. Fues< 3 > and some other writers<" have used this conception " eigendifferential " in quantum mechanics.But the treatments are either complicated or not rigorous.J. v. Neumann< 5 > has proved that in Hilbert space, for any selfadjoint operator A, there exists a resolution of identity E(;..) such that Af= J:and he has applied this theory to quantum mechanics.Although his theory gave a rigorous mathematical foundation to quantum mechanics, it did not give any interpretation to the representation theory of Dirac's form.Recently I investigated the "theory of vector-valued set functions."This theory removes the difficulties in the treatement of continuous spectrum, and gives a rigorous interpretation to the representation theory.< 5 > The vector-valued set function q(U) is a function of set U, and its functional value is an element (vector) in the Hilbert ,space, (1) E. Hellinger [l], 231-271.H. Weyl [1], 238-251.(2) T. Carlemann used this conception "eigendifferential" in the treatise of singular integral equations.Cf.T. Carlemann [1].(3) E. Fues [1], 295-303.(4) For example, L. de Broglie [2], 140-159.(5) J. v. Neumann [1], 53-121.(6) F. Maeda [2], [5], [6].A summary of the theory of vector-valued set functions is given in the first part Qf the present paper.(1) G. Temple has formulated a principle of quantum theory in which projective operators are given priority over self-adjoint operators.(C(.G. Temple [1)).But. the .whole discussion differs from that of my present paper.

Hiroshima Mathematical Journal•Jan 1, 1937•48 citations

Dirac, Von Neumann, and the Derivation of the Quantum Formalism

Jim Baggott

The evolution of quantum mechanics through the 1920s was profoundly messy. Some physicists believed that it was necessary to throw out much of the conceptual baggage that early quantum mechanics tended to carry around with it and re-establish the theory on much firmer ground. It was at this critical stage that the search for deeper insights into the underlying reality was set aside in favour of mathematical expediency. All the conceptual problems appeared to be coming from the wavefunctions. But whatever was to replace them needed to retain all the properties and relationships that had so far been discovered. Dirac and von Neumann chose to derive a new quantum formalism by replacing the wavefunctions with state vectors operating in an abstract Hilbert space, and formally embedding all the most important definitions and relations within a system of axioms.

Oxford University Press eBooks•Jan 10, 2020•0 citations

Dirac Formalism and Symmetry Problems in Quantum Mechanics. I. General Dirac Formalism

Jean-Pierre Antoine

Dirac's bra and ket formalism is investigated and incorporated into a complete mathematical theory. First the axiomatic foundations of quantum mechanics and von Neumann's spectral theory of observables are reviewed and several inadequacies are pointed out. These defects then are remedied by extending the usual Hilbert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ⊂H⊂Φ′ where H is a Hilbert space, Φ a dense subspace of H provided with a new (finer) topology, Φ′ the dual of Φ. It is shown that this mathematical structure, together with the Schwartz nuclear theorem, allows us to reproduce Dirac's formalism in a completely rigorous way, without losing its transparency; this makes the theory easier to handle. The temporal evolution of the system and the wave equation are considered. Finally the probabilistic interpretation and the physical aspects of the theory are discussed; Φ is identified with the set of all physically accessible states of the system, Φ′ with the set of all possible experiments (apparatus) to which it can be subjected; this provides a direct connection with Feynman's formulation of quantum mechanics.

Journal of Mathematical Physics•Jan 1, 1969•148 citations

Quantum Scattering Theory

Harish Parthasarathy

After a fairly rigorous mathematical formulation of quantum mechanics based on transformation theory by Dirac in which he cast Heisenberg’s matrix mechanics and Schrodinger’s wave mechanics on a common operator theoretic setting and successfully explained their equivalence, it was John Von Neumann in monumental treatise “Mathematical foundations of quantum mechanics” who proved the spectral theorem for all self adjoint operators in an infinite dimensional Hilbert space and thereby cast the masterly work of Dirac “The principles of quantum mechanics“ in a way that even pure mathematicians were able to understand. Dirac in his book had also indicated the work of Jordan and Heisenberg on quantum scattering theory but without the modern method of wave operators. Lippmann and Schwinger gave a more rigorous discussion of scattering theory via the introduction of free particle states and scattered states. Actually, free particle states are not square integrable and hence cannot strictly be termed as states. However by the use of wave operators the equations of Lippmann and Schwinger could be made rigorous using the setting of the continuous spectrum of a self-adjoint opearator introduced by Von Neumann, Crucial to this development is the notion of the domain of definition of an unbounded operator. This leads to the fact that the wave operators that appear in scattering theory are not defined on all vectors but usually on those vectors that belong to the continuous spectrum of the free particle Hamiltonian. Today scattering theory is a well developed subject and the interested reader can get a good grasp of this subject from the books 1 Tosio Kato, “Perturbation theory for linear operators”, Springer. 2 Werner O. Amrein, “Hilbert space methods in quantum mechanics”, CRC press, 2012.

CRC Press eBooks•Sep 14, 2022•7 citations
In this paper the results from various areas of mathematical research which are necessary for a consistent unification of the Dirac and von Neumann formulations of quantum mechanics are collected and presented as a single synthesis. For this purpose, direct integral decompositions of Hilbert space must be introduced into Dirac's formulation of spectral theory and representation theory; true unit vectors in the direct integral decomposition spaces replace unnormalizable vectors of infinite length. It then becomes clear that families of modified Dirac projection operators are simply related to the Radon-Nikodym derivative of von Neumann spectral measures. In terms of these mathematical preliminaries a second paper will present the more physical aspects of the resulting unified formulation of quantum mechanics.
Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem
Although• quantum mechanics has achieved great success in the explanation of physical phenomena, the mathematics used in quantum mechanics is not rigorous.Unrigorous treatments occur in the case of continuous spectrum.In a Hilbert • space, let A be a self-adjoint operator.When we define the eigenvalue and the eigenelement by the ' ' relation Af=J.f, (1) ' ' h d -. -f(q)=).f(q)2m dq has solutions 2,ri f(q)=ce"Aq for any ;.., But these are not quadratically integrable.E. Hellinger and H. Weyi< 0 have already investigated the problem of continuous spectrum and introduced the " eigendifferential."But they are concerned with a special problem, i. e. bounded quadratic forms and solutions of differential equation.In respect of generality, they do not satisfy.< 2 > E. Fues< 3 > and some other writers<" have used this conception " eigendifferential " in quantum mechanics.But the treatments are either complicated or not rigorous.J. v. Neumann< 5 > has proved that in Hilbert space, for any selfadjoint operator A, there exists a resolution of identity E(;..) such that Af= J:and he has applied this theory to quantum mechanics.Although his theory gave a rigorous mathematical foundation to quantum mechanics, it did not give any interpretation to the representation theory of Dirac's form.Recently I investigated the "theory of vector-valued set functions."This theory removes the difficulties in the treatement of continuous spectrum, and gives a rigorous interpretation to the representation theory.< 5 > The vector-valued set function q(U) is a function of set U, and its functional value is an element (vector) in the Hilbert ,space, (1) E. Hellinger [l], 231-271.H. Weyl [1], 238-251.(2) T. Carlemann used this conception "eigendifferential" in the treatise of singular integral equations.Cf.T. Carlemann [1].(3) E. Fues [1], 295-303.(4) For example, L. de Broglie [2], 140-159.(5) J. v. Neumann [1], 53-121.(6) F. Maeda [2], [5], [6].A summary of the theory of vector-valued set functions is given in the first part Qf the present paper.(1) G. Temple has formulated a principle of quantum theory in which projective operators are given priority over self-adjoint operators.(C(.G. Temple [1)).But. the .whole discussion differs from that of my present paper.
The evolution of quantum mechanics through the 1920s was profoundly messy. Some physicists believed that it was necessary to throw out much of the conceptual baggage that early quantum mechanics tended to carry around with it and re-establish the theory on much firmer ground. It was at this critical stage that the search for deeper insights into the underlying reality was set aside in favour of mathematical expediency. All the conceptual problems appeared to be coming from the wavefunctions. But whatever was to replace them needed to retain all the properties and relationships that had so far been discovered. Dirac and von Neumann chose to derive a new quantum formalism by replacing the wavefunctions with state vectors operating in an abstract Hilbert space, and formally embedding all the most important definitions and relations within a system of axioms.
Dirac's bra and ket formalism is investigated and incorporated into a complete mathematical theory. First the axiomatic foundations of quantum mechanics and von Neumann's spectral theory of observables are reviewed and several inadequacies are pointed out. These defects then are remedied by extending the usual Hilbert space to a rigged Hilbert space as introduced by Gel'fand, i.e., a triplet Φ⊂H⊂Φ′ where H is a Hilbert space, Φ a dense subspace of H provided with a new (finer) topology, Φ′ the dual of Φ. It is shown that this mathematical structure, together with the Schwartz nuclear theorem, allows us to reproduce Dirac's formalism in a completely rigorous way, without losing its transparency; this makes the theory easier to handle. The temporal evolution of the system and the wave equation are considered. Finally the probabilistic interpretation and the physical aspects of the theory are discussed; Φ is identified with the set of all physically accessible states of the system, Φ′ with the set of all possible experiments (apparatus) to which it can be subjected; this provides a direct connection with Feynman's formulation of quantum mechanics.
After a fairly rigorous mathematical formulation of quantum mechanics based on transformation theory by Dirac in which he cast Heisenberg’s matrix mechanics and Schrodinger’s wave mechanics on a common operator theoretic setting and successfully explained their equivalence, it was John Von Neumann in monumental treatise “Mathematical foundations of quantum mechanics” who proved the spectral theorem for all self adjoint operators in an infinite dimensional Hilbert space and thereby cast the masterly work of Dirac “The principles of quantum mechanics“ in a way that even pure mathematicians were able to understand. Dirac in his book had also indicated the work of Jordan and Heisenberg on quantum scattering theory but without the modern method of wave operators. Lippmann and Schwinger gave a more rigorous discussion of scattering theory via the introduction of free particle states and scattered states. Actually, free particle states are not square integrable and hence cannot strictly be termed as states. However by the use of wave operators the equations of Lippmann and Schwinger could be made rigorous using the setting of the continuous spectrum of a self-adjoint opearator introduced by Von Neumann, Crucial to this development is the notion of the domain of definition of an unbounded operator. This leads to the fact that the wave operators that appear in scattering theory are not defined on all vectors but usually on those vectors that belong to the continuous spectrum of the free particle Hamiltonian. Today scattering theory is a well developed subject and the interested reader can get a good grasp of this subject from the books 1 Tosio Kato, “Perturbation theory for linear operators”, Springer. 2 Werner O. Amrein, “Hilbert space methods in quantum mechanics”, CRC press, 2012.