Hiroshima Mathematical Journal
Mathematical Foundations of Quantum Mechanics
Fumitomo Maeda
Abstract
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.