Quantum mechanics, as it is taught in various undergraduate courses, typically focuses on developing the formalism using the phase space or the Hamiltonian description of classical mechanics. This gives an impression to the student that Lagrangians cannot be used to develop a formalism of quantum mechanics. Of course, this is not true. Dirac is credited with originating the idea of the path integral in physics. However, it was Feynman who popularized this idea and made it widely accessible to physicists.
Quantum mechanics, as it is taught in various undergraduate courses, typically focuses on developing the formalism using the phase space or the Hamiltonian description of classical mechanics. This gives an impression to the student that Lagrangians cannot be used to develop a formalism of quantum mechanics. Of course, this is not true. Dirac is credited with originating the idea of the path integral in physics. However, it was Feynman who popularized this idea and made it widely accessible to physicists.
The conventional approach to quantum mechanics begins with the classical Hamiltonian and changes observables to noncommuting operators. Canonically conjugate observables have to be noncommuting operators in order to satisfy the Heisenberg uncertainty principle. The dynamics of a quantum mechanical system is given by the time-dependent Schrödinger equation. In the early 1940s Feynman realized that it would be possible to construct a quantum model using the classical Lagrangian approach (a method closely related to the action integral). Dirac had earlier pointed out that eit times the Lagrangian was analogous to a transformation function for the wave function in which the wave function at one instant could be related to the wave function at a next instant in a time interval of t by multiplying with such an exponential function. Feynman found the exponential phase factor to be the action S which is the time integral of the Lagrangian. Further, he noticed that it was necessary to perform integrals over all space variables at every instant of time to find the transition amplitudes. He developed a way for describing and evaluating the integration using the idea of integral over all paths. In Feynman’s approach, the particles are described using amplitudes calculated along the paths they may or may not follow. These amplitudes behave like waves, their phase changes as the quantum system moves along the path and the amplitudes for all paths superpose and interfere. This interference between all paths is called as sum-over-histories and the resulting amplitude is connected in the same way that the amplitude of a wave function is linked to probability as magnitude-squared.
Through a very careful analysis of Dirac's 1932 paper on the Lagrangian in Quantum Mechanics as well as the second and third editions of his classic book {\it The Principles of Quantum Mechanics}, I show that Dirac's contributions to the birth of the path-integral approach to quantum mechanics is not restricted to just his seminal demonstration of how Lagrangians appear naturally in quantum mechanics, but that Dirac should be credited for creating a path-integral which I call {\it Dirac path-integral} which is far more general than Feynman's while possessing all its desirable features. On top of it, the Dirac path-integral is fully compatible with the inevitable quantisation ambiguities, while the Feynman path-integral can never have that full consistency. In particular, I show that the claim by Feynman that for infinitesimal time intervals, what Dirac thought were analogues were actually proportional can not be correct always. I have also shown the conection between Dirac path-integrals and the Schrödinger equation. In particular, it is shown that each choice of Dirac path-integral yields a {\it quantum Hamiltonian} that is generically different from what the Feynman path-integral gives, and that all of them have the same {\it classical analogue}. Dirac's method of demonstrating the least action principle for classical mechanics generalizes in a most straightforward way to all the generalized path-integrals.
Feynman's path integral formulation arose from his attempt to incorporate the Lagrangian framework into quantum mechanics, offering what he regarded as a more fundamental perspective than the Hamiltonian approach, particularly in the context of quantum electrodynamics. Inspired by an analogy proposed by P. A. M. Dirac, Feynman showed that Schrödinger's equation could be recovered by promoting this analogy to an equality, up to a constant factor. This insight laid the foundation for the path integral formalism. In this article, we first outline the historical development of dynamical frameworks in physics and then trace Feynman's reasoning as he constructed his formulation, beginning with the double-slit experiment and its interpretation. We subsequently derive the Schrödinger equation from the path integral and demonstrate the conservation of probability. These final sections aim to provide students with a clear link between this elegant yet less commonly presented approach and the more standard methods typically taught in undergraduate courses.
Feynman's Lagrangian path integral was an outgrowth of Dirac's vague surmise that Lagrangians have a role in quantum mechanics. Lagrangians implicitly incorporate Hamilton's first equation of motion, so their use contravenes the uncertainty principle, but they are relevant to semiclassical approximations and relatedly to the ubiquitous case that the Hamiltonian is quadratic in the canonical momenta, which accounts for the Lagrangian path integral's "success". Feynman also invented the Hamiltonian phase-space path integral, which is fully compatible with the uncertainty principle. We recast this as an ordinary functional integral by changing direct integration over subpaths constrained to all have the same two endpoints into an equivalent integration over those subpaths' unconstrained second derivatives. Function expansion with generalized Legendre polynomials of time then enables the functional integral to be unambiguously evaluated through first order in the elapsed time, yielding the Schroedinger equation with a unique quantization of the classical Hamiltonian. Widespread disbelief in that uniqueness stemmed from the mistaken notion that no subpath can have its two endpoints arbitrarily far separated when its nonzero elapsed time is made arbitrarily short. We also obtain the quantum amplitude for any specified configuration or momentum path, which turns out to be an ordinary functional integral over, respectively, all momentum or all configuration paths. The first of these results is directly compared with Feynman's mistaken Lagrangian-action hypothesis for such a configuration path amplitude, with special heed to the case that the Hamiltonian is quadratic in the canonical momenta.
Closed systems in Newtonian mechanics obey the principle of Galilean relativity. However, the usual Lagrangian for Newtonian mechanics, formed from the difference of kinetic and potential energies, is not invariant under the full group of Galilean transformations. In quantum mechanics, Galilean boosts require a non-trivial transformation rule for the wave function and a concomitant “projective representation” of the Galilean symmetry group. Using Feynman's path integral formalism, this latter result can be shown to be equivalent to the non-invariance of the Lagrangian. Thus, using path integral methods, the representation of certain symmetry groups in quantum mechanics can be simply understood in terms of the transformation properties of the classical Lagrangian and conversely. The main results reported here should be accessible to students and teachers of physics—particularly classical mechanics, quantum mechanics, and mathematical physics—at the advanced undergraduate and beginning graduate levels, providing a useful exposition for those wanting to explore topics such as the path integral formalism for quantum mechanics, relativity principles, Lagrangian mechanics, and representations of symmetries in classical and quantum mechanics.
Path integrals are by and large defined directly in terms of the configuration space representation of the quantum entity's degrees of freedom and employ the Lagrangian description of the quantum entity; most of the path integrals in this book follow this approach. The Hamiltonian provides another independent approach for defining path integrals and is discussed in this chapter. Two important path integrals, which are directly based on the Hamiltonian, are the following: (a) one that is defined on the degree of freedom's phase space , defined as the tensor product of the degree of freedom space and its canonical conjugate momentum space; and (b) path integrals using the coherent state basis instead of the coordinate basis. Path integrals defined on phase space, or for coherent states, are both based on the Hamiltonian. To put in the foreground the role of the Hamiltonian in quantum mechanics, the canonical equations connecting the Lagrangian to the Hamiltonian are discussed. A brief review of Hamiltonian mechanics, also called the canonical equations, is given in Section 5.1 and the connection of symmetries with conservation laws is discussed in Section 5.2. The Hamiltonian is derived from the Lagrangian in Section 5.3, for both Minkowski and Euclidean time. Phase space path integrals are defined in Section 5.4. Canonical quantization based on the Poisson brackets is discussed in Section 5.5, and Dirac brackets required for quantizing constrained systems are derived in Section 5.7. Coherent states and their path integrals are discussed in Sections 5.10 to 5.14.