Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2002.12691

The Feynman integral path a Henstock integral: a survey and open problems

R. Gaitán, María Guadalupe Morales

Published Feb 28, 2020• 0 citations
arXivHTMLPDF

Abstract

The Feynman path integral is defined over the space $\mathbb{R}^T$ 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 $\int_{\mathbb{R}^T}$ 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.

DOI
10.48550/arxiv.2002.12691

Related papers

The Schrödinger Equation, Path Integration and Applications

Everaldo Mello Bonotto, Felipe Federson, Marcia Cristina Anderson Braz Federson

The Schrödinger equation is fundamental in quantum mechanics as it makes it possible to determine the wave function from energies and to use this function in the mean calculation of variables, for example, as the most likely position of a group of one or more massive particles. In this paper, we present a survey on some theories involving the Schrödinger equation and the Feynman path integral. We also consider a Feynman–Kac-type formula, as introduced by Patrick Muldowney, with the Henstock integral in the description of the expectation of random walks of a particle. It is well known that the non-absolute integral defined by R. Henstock “fixes” the defects of the Feynman integral. Possible applications where the potential in the Schrödinger equation can be highly oscillating, discontinuous or delayed are mentioned in the end of the paper.

COSMOS•Mar 1, 2021•1 citation

Feynman’s path integral seen as a Henstock integral

María Guadalupe Morales, R. Gaitán

The motivation of this paper is to give mathematical formalism to the Feynman path integral using the Henstock integral. This integral saves some of Feynman's integral difficulties and justifies Feynman's intuition: to interpret the state function as "a sum of complex contributions, one from each path in the region".

Journal of Physics Conference Series•Oct 1, 2017•5 citations

A global solution to the Schrödinger equation: From Henstock to Feynman

Ekaterina S. Nathanson, Palle E. T. Jørgensen

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).

arXiv:1501.06226•Journal of Mathematical Physics•Sep 1, 2015•10 citations

Feynman path integrals and Lebesgue–Feynman measures

James A. Montaldi, Oleg Georgievich Smolyanov

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)).

Doklady Mathematics•Jul 1, 2017•8 citations

Mathematical Feynman Path Integrals and Their Applications

Sonia Mazzucchi

"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"--

WORLD SCIENTIFIC eBooks•Nov 7, 2019•3 citations

Mathematical aspects of the Feynman path integral

Daniel W. Boutros

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.

•Jan 1, 2020•0 citations
The Feynman path integral is defined over the space RT\mathbb{R}^TRT 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\int_{\mathbb{R}^T}∫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.
The Schrödinger equation is fundamental in quantum mechanics as it makes it possible to determine the wave function from energies and to use this function in the mean calculation of variables, for example, as the most likely position of a group of one or more massive particles. In this paper, we present a survey on some theories involving the Schrödinger equation and the Feynman path integral. We also consider a Feynman–Kac-type formula, as introduced by Patrick Muldowney, with the Henstock integral in the description of the expectation of random walks of a particle. It is well known that the non-absolute integral defined by R. Henstock “fixes” the defects of the Feynman integral. Possible applications where the potential in the Schrödinger equation can be highly oscillating, discontinuous or delayed are mentioned in the end of the paper.
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).
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"--
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.