A simple integral relation between a complex weight and the corresponding positive distribution is derived by introducing a second complex variable. Together with the positivity and normalizability conditions, this sum rule allows to construct explicitly equivalent pairs of distributions in simple cases. In particular the well known solution for a complex gaussian distribution is generalized to an arbitrary complex slope. This opens a possibility of positive representation of Feynman path integrals directly in the Minkowski time. Such construction is then explicitly carried through in the second part of this presentation. The continuum limit of the new representation exists only if some of the additional couplings tend to infinity and are tuned in a specific way. The approach is then successfully applied to three quantum mechanical examples including a particle in a constant magnetic field -- a simplest prototype of a Wilson line. Further generalizations are shortly discussed and an amusing interpretation of new variables is briefly mentioned.
A simple integral relation between a complex weight and the corresponding positive distribution is derived by introducing a second complex variable. Together with the positivity and normalizability conditions, this sum rule allows to construct explicitly equivalent pairs of distributions in simple cases. In particular the well known solution for a complex gaussian distribution is generalized to an arbitrary complex slope. This opens a possibility of positive representation of Feynman path integrals directly in the Minkowski time. Such construction is then explicitly carried through in the second part of this presentation. The continuum limit of the new representation exists only if some of the additional couplings tend to infinity and are tuned in a specific way. The approach is then successfully applied to three quantum mechanical examples including a particle in a constant magnetic field -- a simplest prototype of a Wilson line. Further generalizations are shortly discussed and an amusing interpretation of new variables is briefly mentioned.
By introducing a second complex variable, the integral relation between a complex density and the corresponding positive distribution is derived. Together with the positivity and normalizability conditions, this sum rule allows to construct explicitly equivalent pairs of distributions in simple cases discussed here. In particular the well known solution for a complex gaussian distribution is generalized to an arbitrary complex inverse dispersion parameter. This opens a possibility of positive representation of Feynman path integrals directly in the Minkowski time.
We show that the quantum-mechanical probability distribution involving complex probability amplitudes can be derived from three natural conditions imposed on a relativistically invariant probability function describing the motion of a particle that can take multiple paths simultaneously. The conditions are: (i) pairwise Kolmogorov additivity, (ii) time symmetry, and (iii) Bayes' rule. The resulting solution, parameterized by a single constant, is the squared modulus of a sum of complex exponentials of the relativistic action, thereby recovering the Feynman path-integral formulation of quantum mechanics.
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.
Several path integrals are exactly evaluated here using Gaussian path integration. A few general ideas are illustrated using the advantage of being able to exactly evaluate Gaussian path integrals. Path integrals defined over a particular collection of allowed indeterminate paths can sometimes be represented by a Fourier expansion of the paths. This leads to two important techniques for performing path integrations: Expanding the action about the classical solution of the Lagrangian; Expanding the degree of freedom in a Fourier expansion of the allowed paths. Various cases are considered to illustrate the usage of classical solutions and Fourier expansions, and these also provide a set of relatively simple examples to familiarize oneself with the nuts and bolts of the path integral. The Lagrangian of the simple harmonic oscillator is used for all of the following examples; all the computations are carried out explicitly and exactly. The following different cases are considered: • Correlators of exponential functions of the degree of freedom are discussed in Section 12.1. • The generating functional for periodic paths is evaluated in Section 12.2. • The path integral required for evaluating the normalization constant for the oscillator evolution kernel is discussed in Section 12.3. The path integral entails summing over all paths that start from and return to the same fixed position. • Section 12.4 discusses the evolution kernel for a particle starting at an initial position x i and, after time τ, having a final position that is indeterminate.
(and its generalisations that include magnetic fields) can be roughly divided into two classes. In the aproaches of the first class that we shall not discuss here in detail the Feynman integral is not supposed to be a genuine integral, but is specified as some generalised functional on an appropriate space of functions, which can be defined, for example, as the limit of certain discrete approximations (see e.g. [16], [44] and more recent papers [24], [25], [34]), by means of analytical continuation (see e.g. [26], [23] and references therein), by extensions of Parceval’s identity and by related axiomatic definitions (see [2], [5], [30], [11], [42] and references therein) or by means of the white noise analysis (see [22]), see also [46] for the discussion of path integral applied to the Dirac equation. These approaches still cover only a very restrictive class of potentials, for example, singular potentials were considered only by white noise analysis approach but only in one-dimensional case (see e.g. [6] and references therein). In the approaches of the second class, one tries to define the infinite-dimensional Feynmann integral as a genuine integral over a bona fide σ-additive measure on an appropriate space of trajectories. The first attempt made in [19] to construct such a measure was erronious and led to understanding that there is no direct generalisation of Wiener measure that can give an analog of FeynmanKac formula for the case of Schrodinger operators. A correct construction of the Feynman integral in terms of the Wiener measure was proposed in [15] and was based on the idea of the rotation of the classical trajectories in complex