The definition of Feynman path integrals (Feynman functional integrals) as integrals with respect to a generalized measure, called the Lebesgue–Feynman measure in the paper and being an infinite-dimensional analogue of the classical Lebesgue measure on finite-dimensional Euclidean space, is discussed. This definition, which is a formalization of Feynman’s original definition, is different from those used previously in the mathematical literature. It makes it possible to give a description of the origin of quantum anomaly which is a mathematically correct version of the description given in the book Path Integrals and Quantum Anomalies by K. Fujikawa and H. Suzuki (Oxford, 2004) (and erroneously qualified as wrong in the book Functional Integration: Action and Symmetries by P. Cartier and C. DeWitt-Morette (Cambridge Univ. Press, Cambridge, 2006)).
The definition of Feynman path integrals (Feynman functional integrals) as integrals with respect to a generalized measure, called the Lebesgue–Feynman measure in the paper and being an infinite-dimensional analogue of the classical Lebesgue measure on finite-dimensional Euclidean space, is discussed. This definition, which is a formalization of Feynman’s original definition, is different from those used previously in the mathematical literature. It makes it possible to give a description of the origin of quantum anomaly which is a mathematically correct version of the description given in the book Path Integrals and Quantum Anomalies by K. Fujikawa and H. Suzuki (Oxford, 2004) (and erroneously qualified as wrong in the book Functional Integration: Action and Symmetries by P. Cartier and C. DeWitt-Morette (Cambridge Univ. Press, Cambridge, 2006)).
"Feynman path integrals are ubiquitous in quantum physics, even if a large part of the scientific community still considers them as a heuristic tool that lacks a sound mathematical definition. Our book aims to refute this prejudice, providing an extensive and self-contained description of the mathematical theory of Feynman path integration, from the earlier attempts to the latest developments, as well as its applications to quantum mechanics. This second edition presents a detailed discussion of the general theory of complex integration on infinite dimensional spaces, providing on one hand a unified view of the various existing approaches to the mathematical construction of Feynman path integrals and on the other hand a connection with the classical theory of stochastic processes. Moreover, new chapters containing recent applications to several dynamical systems have been added. This book bridges between the realms of stochastic analysis and the theory of Feynman path integration. It is accessible to both mathematicians and physicists"--
The Feynman path integral is defined over the space RT of all possible paths; it has been a powerful tool to develop Quantum Mechanics. The absolute value of Feynman's integrand is not integrable, then Lebesgue integration theory could not be used by Feynman. However, it exists formally as a Henstock integral (which does not require the measure concept) and is a suitable alternative to the ordinary integrals that normally appear in path integrals. Feynman proved the equivalence of his theory with the traditional formulation of Quantum Mechanics, since his path integral satisfies Schrödinger's equation. On the other hand, Feynman's path integral is related to the diagrams of Feynman. For the application of this integral in Feynman's diagrams it is necessary to exchange the integral ∫RT and the series. We discuss the impossibility to exchange the integral and the sum, considering integral of Henstock and the version of Dominated Convergence Theorem. Even it has not been proved through the several mathematical formalisms that have been used.
Path integration methods are of crucial importance to quantum mechanics and quantum field theory. There are multiple ways the path integral can be constructed, one method uses the link between the Fokker-Planck and the Langevin equations, as is covered in this thesis. This is related to the standard derivation of the path integral in physics, in which the time is discretised. We study the mathematical problems related to the Feynman path integral, in particular the impossibility of a Lebesgue-type measure on the space of paths. It is discussed how oscillatory integrals can be used to have a well-defined `integral' on an infinite dimensional space. This formalism is subsequently applied to both the harmonic and the anharmonic oscillator. We prove an infinite dimensional oscillatory integral exists and obtain a convergent expression for both these cases, under conditions. Examples of these conditions are the initial wavefunctions being Schwartz functions as well as conditions on the endtime, angular frequency and coupling constant. Finally, a possible approach to establish an oscillatory integral for the hydrogen atom is discussed. It is proven that the result is no longer independent of the sequence of projection operators, which is a key step towards a rigorous path integral for this system.
Feynman-Path Integral in Banach Space: In 1940, R.P. Feynman attempted to find a mathematical representation to express quantum dynamics of the general form for a double-slit experiment. His intuition on several slits with several walls in terms of Lagrangian instead of Hamiltonian resulted in a magnificent work. It was known as Feynman Path Integrals in quantum physics, and a large part of the scientific community still considers them a heuristic tool that lacks a sound mathematical definition. This paper aims to refute this prejudice, by providing an extensive and self-contained description of the mathematical theory of Feynman Path Integration, from the earlier attempts to the latest developments, as well as its applications to quantum mechanics. About a hundred years after the beginning of modern physics, it was realized that light could in fact show behavioral characteristics of both waves and particles. In 1927, Davisson and Germer demonstrated that electrons show the same dual behavior, which was later extended to atoms and molecules. We shall follow the method of integration with some modifications to construct a generalized Lebesgue-Bochner-Stieltjes (LBS) integral of the form , where u is a bilinear operator acting in the product of Banach spaces, f is a Bochner summable function, and μ is a vector-valued measure. We will demonstrate that the Feynman Path Integral is consistent and can be justified mathematically with LBS integration approach.
Abstract We address the problem concerning the origin of quantum anomalies, which has been the source of disagreement in the literature. Our approach is novel as it is based on the differentiability properties of families of generalized measures. To this end, we introduce a space of test functions over a locally convex topological vector space, and define the concept of logarithmic derivatives of the corresponding generalized measures. In particular, we show that quantum anomalies are readily understood in terms of the differential properties of the Lebesgue–Feynman generalized measures (equivalently, of the Feynman path integrals). We formulate a precise definition for quantum anomalies in these terms.
In 1948, Richard Feynman published the first paper on his new approach to non-relativistic quantum mechanics. Before Feynman's work there were two mathematical formulations of quantum mechanics. Schrödinger's formulation was based on PDE (the Schrödinger equation) and states representation by wave functions, so it was in the framework of analysis and differential equations. The other formulation was Heisenberg's matrix algebra. Initially, they were thought to be competing. The proponents of one claimed that the other was “ wrong. ” Within a couple of years, John von Neumann had proved that they are equivalent.\nAlthough Feynman's theory was not fundamentally new, it nonetheless offered an entirely fresh and different perspective: via a precise formulation of Bohr's correspondence principle, it made quantum mechanics similar to classical mechanics in a precise sense. In addition, Feynman's approach made it possible to explain physical experiments, and, via diagrams, link them directly to computations. What resulted was a very powerful device for computing energies and scattering amplitudes - the famous Feynman's diagrams.\nIn his formulation, Feynman aimed at representing the solution to the non-relativistic Schrödinger equation in the form of an “ average ” over histories or paths of a particle. This solution is commonly known as the Feynman path integral. It plays an important role in the theory but appears as a postulate based on intuition coming from physics rather than a justified mathematical object. This is why Feynman's vision has caught the attention of many mathematicians as well as physicists.\nThe papers of Gelfand, Cameron, and Nelson are among the first, and more substantial, attempts to supply Feynman's theory with a rigorous mathematical foundation. These attempts were followed by many others, but unfortunately all of them were not quite satisfactory. The difficulty comes from a need to define a measure on an infinite-dimensional space of continuous functions that represent all possible paths of a particle. This Feynman's measure has to produce an integral with the properties requested by Feynman. In particular, the expression for the Feynman measure has to involve the non-absolutely integrable Fresnel integrands. The non-absolute integrability of the Fresnel integrands makes the measure fail to be positive and to have the countably additive property. Thus, a well-defined measure in the case of the Feynman path integral does not exist.\nExtensive research has been done on the methods of relating the Feynman path integral to the integral with respect to the Wiener measure. The method of analytic continuation in mass defines the Feynman path integral as a certain limit of the Wiener integrals. Unfortunately, this method can be used as definition for only almost all values of the mass parameter in the Schrödinger equation. For physicists, this is not a satisfactory result and needs to be improved.\nIn this work we examine those questions which originally led to the Feynman path integral. By now we know that Feynman's “ dream ” cannot be realized as a positive and countably additive measure on the path-space. Here, we offer a new way out by modifying Feynman's question, and thereby achieving a solution to the Schrödinger equation via a different kind of averages in the path-space.\nWe give our version of the question that Feynman “ should have asked ” in order to realize the elusive path integral. In our formulation, we get a Feynman path integral as a limit of linear functionals, as opposed to the more familiar inductive limits of positive measures, traditionally used for constructing the Wiener measure, and related Gaussian families. We adapt here an approach pioneered by Patrick Muldowney. In it, Muldowney suggested a Henstock integration technique in order to deal with the non-absolute integrability of the kind of Fresnel integrals which we need in our solution to Feynman's question. By applying Henstock's theory to Fresnel integrals, we construct a complex-valued “ probability distribution functions ” on the path-space. Then we use this “ probability ” distribution function to define the Feynman path integral as an inductive limit. This establishes a mathematically rigorous Feynman limit, and at the same time, preserves Feynman's intuitive idea in resulting functional. In addition, our definition, and our solution, do not place any restrictions on any of the parameters in the Schrödinger equation, and have a potential to offer useful computational experiments, and other theoretical insights.