This chapter presents a brief introduction to the path-integral method before applying it to the polaron problem. The coupling theory is based on the path-integral formulation of quantum mechanics developed by Feynman in 1955. The path-integral formalism proves to be a useful tool for many field-theoretic problems. Feynman's path-integral method as applied by Feynman to determine the polaron effective mass has an intuitive rather than formal basis. The comparison revealed unequivocally the superiority of the Feynman model over the entire range of the coupling constant. Schultz also simulated the Feynman approximation by replacing the whole lattice with a second, fictitious particle harmonically bound to the electron by a spring of constant k. Thus, the Feynman's strong-coupling energy is better than the Landau-Pekar energy with the Gaussian trial function. The numerical results reported by Marshall and Mills show that the second-order correction to the Feynman result for the ground state energy is less than 2% for the entire coupling rang.
This chapter presents a brief introduction to the path-integral method before applying it to the polaron problem. The coupling theory is based on the path-integral formulation of quantum mechanics developed by Feynman in 1955. The path-integral formalism proves to be a useful tool for many field-theoretic problems. Feynman's path-integral method as applied by Feynman to determine the polaron effective mass has an intuitive rather than formal basis. The comparison revealed unequivocally the superiority of the Feynman model over the entire range of the coupling constant. Schultz also simulated the Feynman approximation by replacing the whole lattice with a second, fictitious particle harmonically bound to the electron by a spring of constant k. Thus, the Feynman's strong-coupling energy is better than the Landau-Pekar energy with the Gaussian trial function. The numerical results reported by Marshall and Mills show that the second-order correction to the Feynman result for the ground state energy is less than 2% for the entire coupling rang.
The aim of this chapter is to introduce the concept of the Feynman path integral. As well as developing the general construction scheme, particular emphasis is placed on establishing the interconnections between the quantum mechanical path integral, classical Hamiltonian mechanics, and classical statistical mechanics. The practice of path integration is discussed in the context of several pedagogical applications. As well as the canonical examples of a quantum particle in a single and a double potential well, we discuss the generalization of the path integral scheme to tunneling of extended objects (quantum fields), dissipative and thermally assisted quantum tunneling, and the quantum mechanical spin. In this chapter we temporarily leave the arena of many-body physics and second quantization and, at least superficially, return to single-particle quantum mechanics. By establishing the path integral approach for ordinary quantum mechanics, we will set the stage for the introduction of field integral methods for many-body theories explored in the next chapter. We will see that the path integral not only represents a gateway to higher-dimensional functional integral methods but, when viewed from an appropriate perspective, already represents a field theoretical approach in its own right. Exploiting this connection, various concepts of field theory, namely stationary phase analysis, the Euclidean formulation of field theory, instanton techniques, and the role of topology in field theory, are introduced in this chapter. The path integral: general formalism Broadly speaking, there are two approaches to the formulation of quantum mechanics: the “operator approach” based on the canonical quantization of physical observables and the associated operator algebra, and the Feynman path integral.
The system of a charged impurity in an interacting Bose gas has gained significant attention due to the long-range ion-atom interactions and the study of transport properties. Here, the ground state energy of a charged Bose polaron is calculated within the Bogoliubov approximation for both the Fröhlich and beyond-Fröhlich Hamiltonians using a generalized Feynman variational path-integral approach, which obtained accurate results for other polaron problems. The generalized approach, which was used to improve the energy result for the neutral polaron, has resulted in a minor improvement, indicating that Feynman's approach is sufficient when the impurity-boson interaction is long-range. Beyond-Fröhlich corrections results in the emergence of a divergence in the polaronic energy indicating a transition between the repulsive and attractive polaron regime. The path-integral approach with the beyond-Fröhlich Hamiltonian is also compared to a field-theory calculation from Christensen et al, 2021. The validity of the Bogoliubov approximation is investigated. The optical absorption has also been calculated within the Bogoliubov approximation for weak ion-atom interactions, and the effect of finite temperature has been studied. We show that the coupling of the ion to an oscillating external electric field offers a straigtforward experimental probe for the charged polaron in a Bose gas, different from but complementary to existing spectroscopic techniques.
The effective mass of the Fröhlich polaron model in d spatial dimensions is obtained within the Gaussian-equivalent representation, that is, within a suitably rearranged perturbative path-integral approach, whose leading order already takes care of all Gaussian fluctuations. In doing so, the authors extend their earlier investigations ( Phys. Rev. B 50 3733 (1994)) of the polaron ground-state energy. Analytical expressions for the effective mass are derived in the weak- and strong-coupling limit. In the intermediate-coupling regime, the effective mass is calculated numerically for the cases of two and three dimensions. The new results are compared with previously known data.
Introduction Preliminary remarks The path integral formalism is one of the most important tools in modern theoretical physics. Integration in functional spaces was considered for the first time by Norbert Wiener in his studies of diffusion processes [60, 61]. The corresponding integration measure is now known as the Wiener measure, i.e. the so-called Gaussian path integrals were studied. In quantum mechanics, functional integrals were introduced by R. Feynmann [62, 63] who was inspired by important observations due to P. A. M. Dirac concerning a relation between wave function and classical action [64, 65]. In modern physics the path integral formalism is applied not only to developing a quantum description for systems with infinitely many degrees of freedom as, for example, in quantum field theories or condensed matter physics, but also to ordinary quantum mechanical problems. Moreover there is a tendency to reformulate standard quantum mechanical problems (such as a particle in a “box” or potential well [66, 67], or a particle in the Coulomb field [68]) within the framework of the path integral method. The reason for doing this is rather obvious: physicists develop a new mathematical tool, a new language and, in order to comprehend all of its subtleties, it is necessary to investigate as many concrete examples as possible. Use of the path integral formalism is widespread in quantum field theory because it is the most adequate mathematical tool for a wide range of problems which allows, not only for elegant formulation of problems, but also for a great deal of simplification of their theoretical analysis.
After deriving the quantum mechanical model polaron Hamiltonian, Frohlich, Pelzar and Zineau presented a perturbative solution to the problem. This chapter examines the perturbation theory from Frohlich et al. and presents other important weak and intermediate coupling polaron theories. It discusses several polaronic properties like average number of virtual phonons in the polaron cloud, electron life-time, lattice polarization potential using the first-order perturbative wave function and obtained the polaron energy and the polaron mass using the second-order Rayleigh-Schrodinger perturbation theory (RSPT). The second-order RSPT is known to have a limited range of validity. In the one-phonon Tamm-Dancoff approximation, the exact ground state energy appears in the denominator instead of the unperturbed energy that appears in RSPT. The chapter also discusses the work of Lee and Pines who have used the Tomonaga's approximation made in the formulation of the meson-theoretic problem to the case of polaron.
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.