In order to preserve the leading role of the action principle in formulating all field theories one needs quantum field theory, with the associated BRST symmetry, and Feynman–DeWitt–Faddeev–Popov ghost fields. Such fields result from the fiber-bundle structure of the space of histories, but the physics-oriented literature used them formally because a rigorous theory of measure and integration was lacking. Motivated by this framework, this paper exploits the previous work of Gill and Zachary, where the use of Banach spaces for the Feynman integral was proposed. The Henstock–Kurzweil integral is first introduced, because it makes it possible to integrate functions like [Formula: see text]. The Lebesgue measure on [Formula: see text] is then built and used to define the measure on every separable Hilbert space. The subsequent step is the construction of a new Hilbert space [Formula: see text], which contains [Formula: see text] as a continuous dense embedding, and contains both the test functions [Formula: see text] and their dual [Formula: see text], the Schwartz space of distributions, as continuous embeddings. This space allows us to construct the Feynman path integral in a manner that maintains its intuitive and computational advantages. We also extend this space to [Formula: see text], where [Formula: see text] is any separable Hilbert space. Last, the existence of a unique universal definition of time, [Formula: see text], that we call historical time, is proven. We use [Formula: see text] as the order parameter for our construction of Feynman’s time ordered operator calculus, which in turn is used to extend the path integral in order to include all time-dependent groups and semigroups with a reproducing kernel representation.
In order to preserve the leading role of the action principle in formulating all field theories one needs quantum field theory, with the associated BRST symmetry, and Feynman–DeWitt–Faddeev–Popov ghost fields. Such fields result from the fiber-bundle structure of the space of histories, but the physics-oriented literature used them formally because a rigorous theory of measure and integration was lacking. Motivated by this framework, this paper exploits the previous work of Gill and Zachary, where the use of Banach spaces for the Feynman integral was proposed. The Henstock–Kurzweil integral is first introduced, because it makes it possible to integrate functions like [Formula: see text]. The Lebesgue measure on [Formula: see text] is then built and used to define the measure on every separable Hilbert space. The subsequent step is the construction of a new Hilbert space [Formula: see text], which contains [Formula: see text] as a continuous dense embedding, and contains both the test functions [Formula: see text] and their dual [Formula: see text], the Schwartz space of distributions, as continuous embeddings. This space allows us to construct the Feynman path integral in a manner that maintains its intuitive and computational advantages. We also extend this space to [Formula: see text], where [Formula: see text] is any separable Hilbert space. Last, the existence of a unique universal definition of time, [Formula: see text], that we call historical time, is proven. We use [Formula: see text] as the order parameter for our construction of Feynman’s time ordered operator calculus, which in turn is used to extend the path integral in order to include all time-dependent groups and semigroups with a reproducing kernel representation.
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.
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.
Evolution semigroups generated by pseudo-differential operators are considered. These operators are obtained by different (parameterized by a number τ) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains Hamilton functions of particles with variable mass in magnetic and potential fields and more general symbols given by the Lévy-Khintchine formula. The considered semigroups are represented as limits of n-fold iterated integrals when n tends to infinity. Such representations are called Feynman formulae. Some of these representations are constructed with the help of another pseudo-differential operator, obtained by the same procedure of quantization; such representations are called Hamiltonian Feynman formulae. Some representations are based on integral operators with elementary kernels; these are called Lagrangian Feynman formulae. Langrangian Feynman formulae provide approximations of evolution semigroups, suitable for direct computations and numerical modeling of the corresponding dynamics. Hamiltonian Feynman formulae allow to represent the considered semigroups by means of Feynman path integrals. In the article, a family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented as phase space Feynman path integrals with respect to these Feynman pseudomeasures, i.e., different quantizations correspond to Feynman path integrals with the same integrand but with respect to different pseudomeasures. This answers Berezin’s problem of distinguishing a procedure of quantization on the language of Feynman path integrals. Moreover, the obtained Lagrangian Feynman formulae allow also to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.
Evolution semigroups generated by pseudo-differential operators are considered. These operators are obtained by different (parameterized by a number τ) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains Hamilton functions of particles with variable mass in magnetic and potential fields and more general symbols given by the Lévy-Khintchine formula. The considered semigroups are represented as limits of n-fold iterated integrals when n tends to infinity. Such representations are called Feynman formulae. Some of these representations are constructed with the help of another pseudo-differential operator, obtained by the same procedure of quantization; such representations are called Hamiltonian Feynman formulae. Some representations are based on integral operators with elementary kernels; these are called Lagrangian Feynman formulae. Langrangian Feynman formulae provide approximations of evolution semigroups, suitable for direct computations and numerical modeling of the corresponding dynamics. Hamiltonian Feynman formulae allow to represent the considered semigroups by means of Feynman path integrals. In the article, a family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented as phase space Feynman path integrals with respect to these Feynman pseudomeasures, i.e., different quantizations correspond to Feynman path integrals with the same integrand but with respect to different pseudomeasures. This answers Berezin’s problem of distinguishing a procedure of quantization on the language of Feynman path integrals. Moreover, the obtained Lagrangian Feynman formulae allow also to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.
One of the key elements of Feynman’s formulation of non-relativistic quantum mechanics is a so-called Feynman path integral. It plays an important role in the theory, but it appears as a postulate based on intuition, rather than a well-defined object. All previous attempts to supply Feynman’s theory with rigorous mathematics underpinning, based on the physical requirements, have not been satisfactory. The difficulty comes from the need to define a measure on the infinite dimensional space of paths and to create an integral that would possess all of the properties requested by Feynman. In the present paper, we consider a new approach to defining the Feynman path integral, based on the theory developed by Muldowney [A Modern Theory of Random Variable: With Applications in Stochastic Calcolus, Financial Mathematics, and Feynman Integration (John Wiley & Sons, Inc., New Jersey, 2012)]. Muldowney uses the Henstock integration technique and deals with non-absolute integrability of the Fresnel integrals, in order to obtain a representation of the Feynman path integral as a functional. This approach offers a mathematically rigorous definition supporting Feynman’s intuitive derivations. But in his work, Muldowney gives only local in space-time solutions. A physical solution to the non-relativistic Schrödinger equation must be global, and it must be given in the form of a unitary one-parameter group in L2(ℝn). The purpose of this paper is to show that a system of one-dimensional local Muldowney’s solutions may be extended to yield a global solution. Moreover, the global extension can be represented by a unitary one-parameter group acting in L2(ℝn).
In this chapter, the concept of path integration is generalized to integration over quantum fields. Specifically we will develop an approach to quantum field theory that takes as its starting point an integration over all configurations of a given field, weighted by an appropriate action. To emphasize the importance of the formulation that, methodologically, represents the backbone of the remainder of the text, we have pruned the discussion to focus only on the essential elements. This being so, conceptual aspects stand in the foreground and the discussion of applications is postponed to the following chapters. In this chapter, the concept of path integration is extended from quantum mechanics to quantum field theory. Our starting point is a situation very much analogous to that outlined at the beginning of the previous chapter. Just as there are two different approaches to quantum mechanics, quantum field theory can also be formulated in two different ways: the formalism of canonically quantized field operators, and functional integration. As to the former, although much of the technology needed to efficiently implement this framework – essentially Feynman diagrams – originated in high-energy physics, it was with the development of condensed matter physics through the 1950s, 1960s, and 1970s that this approach was driven to unprecedented sophistication. The reason is that, almost as a rule, problems in condensed matter investigated at that time necessitated perturbative summations to infinite order in the non-trivial content of the theory (typically interactions).