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.
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.
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.
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.
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 path integral is a powerful tool for studying quantum mechanics because it has the merit of establishing the connection between classical mechanics and quantum mechanics. This formalism quickly gained prominence in various fields of theoretical physics, including its generalization to quantum field theory, quantum mechanics, and statistical physics. Using the Feynman propagator, we can calculate the partition function, the free energy, wave functions, and the energy spectrum of the considered physical system. Moreover, the Feynman formalism finds broad applications in geophysics and in the field of financial sciences.
The conventional approach to quantum mechanics begins with the classical Hamiltonian and changes observables to non-commuting operators. Generally, the quantum mechanics based on the Schrodinger equation is preferred for a system of particles. But path integral formulation of quantum mechanics finds applications in more complicated situations, particularly, in quantum field theory. The purpose of solving the Schrodinger equation lies in finding the time evolution operator which is able to generate the time translation of the given system. Richard Feynman noticed that it was necessary to perform integrals over all space variables at every instant of time to find the transition amplitudes. Dissipative phenomena with a quantum origin manifest themselves in many different situations and hence the study of dissipative systems and their quantization is of a great theoretical and practical value. Many dissipative systems can be modelled as a linearly damped harmonic oscillator.
Unlock the secrets of the universe with Schrödinger Equation - Fundamental Aspects and Potential Applications. Delve into the heart of quantum mechanics, where matter, energy, and mathematics intertwine in a dance of profound discovery. This essential volume introduces you to the spectral theory of the Schrödinger equation, offering a sturdy foundation to explore its enigmatic depths. Discover the fascinating world of scattering theory, unraveling the intricacies of quantum interactions, while the principles of quantization and Feynman path integrals reveal the mechanics of quantum systems. With a fresh perspective, we explore relative entropy methods and transformation theory, unveiling their significance in crafting singular diffusion processes akin to Schrödinger equations. This well-organized and accessible book caters to a diverse audience, from students and researchers to professionals in functional analysis, probability theory, and quantum dynamics. Within these pages, you’ll uncover the profound wonders of the Schrödinger equation and its vast potential in science, engineering, and technology. Embark on a journey through the quantum cosmos and let your understanding of the universe expand as you explore the quantum realm. Welcome to a world where matter and energy dance to the tune of Schrödinger’s equation, a world filled with infinite possibilities and extraordinary insights.