Quantum mechanics is formulated using a nonstandard Hilbert space. The concept of an eigen vector of a linear operator, which applies to standard as well as nonstandard Hilbert spaces, is replaced by the more general concept of an ultra eigen vector, which applies to nonstandard Hilbert spaces alone. Ultra eigen vectors corresponding to all spectral points of internal self−adjoint operators are proved to exist. This result enables us to set up a formalism which is equally valid for the discrete, as well as the continuous spectrum. Finally, Dirac’s formalism is reproduced, in a rigorous form within the nonstandard Hilbert space structure.
Quantum mechanics is formulated using a nonstandard Hilbert space. The concept of an eigen vector of a linear operator, which applies to standard as well as nonstandard Hilbert spaces, is replaced by the more general concept of an ultra eigen vector, which applies to nonstandard Hilbert spaces alone. Ultra eigen vectors corresponding to all spectral points of internal self−adjoint operators are proved to exist. This result enables us to set up a formalism which is equally valid for the discrete, as well as the continuous spectrum. Finally, Dirac’s formalism is reproduced, in a rigorous form within the nonstandard Hilbert space structure.
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.
We use nonstandard analysis to formulate quantum mechanics in hyperfinite-dimensional spaces. Self-adjoint operators on hyperfinite-dimensional spaces have complete eigensets, and bound states and continuum states of a Hamiltonian can thus be treated on an equal footing. We show that the formalism extends the standard formulation of quantum mechanics. To this end we develop the Loeb-function calculus in nonstandard hulls. The idea is to perform calculations in a hyperfinite-dimensional space, but to interpret expectation values in the corresponding nonstandard hull. We further apply the framework to nonrelativistic quantum scattering theory. For time-dependent scattering theory, we identify the starting time and the finishing time of a scattering experiment, and we obtain a natural separation of time scales on which the preparation process, the interaction process, and the detection process take place. For time-independent scattering theory, we derive rigorously explicit formulas for the Mo/ller wave operators and the S-matrix.
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
We present a version of the formalism of Dirac based on nonstandard analysis, allowing us to deal with state vectors and operators using the resources of finite-dimensional linear algebra. The space of state vectors is a nonstandard Hilbert space with hyperfinite dimension, which includes all square-integrable functions, together with vectors representing states of definite position or momentum. Every vector is normalizable, even when its norm is infinite. Observables are represented by Hermitian operators, which are always (hyper)bounded and defined on the whole space. The connection with the standard theory is established by postulating the existence of “hyper-observables” and nonstandard states. Each observable in the usual sense appears as a kind of standard-scale approximation of some hyper-observable. We show that the probabilistic predictions are consistent with those of the standard theory. Consistency extends to time evolution, in the sense that if an initial nonstandard state is “near-standard,” then the state after a finite time shall be infinitely near the standard state obtained through the Schrödinger equation.
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.
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.