Lagrangian Feynman Formula

• Lagrangian Feynman formula is a path-integral representation in quantum mechanics that expresses the propagator as a sum over all possible trajectories weighted by exp(iS[x]/ħ).
• It establishes a link between classical action principles and quantum amplitudes, providing a basis to derive the Schrödinger equation and incorporate diagrammatic corrections.
• The formulation employs time-slicing, rigorous limits, and extensions to relativistic and stochastic processes, ensuring unitarity and probability conservation.

The Lagrangian Feynman formula is a central construct in quantum mechanics, representing the transition amplitude ("propagator") for a system evolving from one configuration to another as a path integral over all possible trajectories. Originally formulated for nonrelativistic quantum mechanics, it has since been extended to relativistic particle dynamics, infinite-dimensional analysis, and stochastic processes, with rigorous and formal developments addressing issues of measure, operator-ordering, and Feynman diagrammatics. The formula embodies the analogy—first made precise by Feynman—between classical action principles and quantum amplitudes, replacing the Hamiltonian operator framework with an explicit sum over histories, each weighted by the phase factor $\exp(iS[x]/\hbar)$, where $S[x]$ is the classical action along the path $x(t)$.

1. Basic Path-Integral Representation

In nonrelativistic quantum mechanics, the Lagrangian Feynman formula gives the propagator $K(x_b, t_b; x_a, t_a)$ as a formal sum over all paths connecting $x_a$ at $t_a$ to $x_b$ at $t_b$: $$K(x_b, t_b; x_a, t_a) = \int_{x(t_a)=x_a}^{x(t_b)=x_b} \mathcal{D}[x(t)] \exp \left[\frac{i}{\hbar} S[x(t)]\right]$$ with the action functional

$$S[x(t)] = \int_{t_a}^{t_b} L\big(x(t), \dot{x}(t), t\big) \, dt$$

where $S[x]$0 is the Lagrangian (kinetic minus potential energy). The measure $S[x]$1 denotes formal integration over all paths fixed at endpoints. In practical computations, the formula is rendered precise via a "time-slicing" procedure: dividing $S[x]$2 into $S[x]$3 intervals of width $S[x]$4, inserting resolution of identity at each slice, and taking $S[x]$5.

For each time-slice, the transition kernel is approximated as

$S[x]$6

with normalization determined by unitarity; for a single degree of freedom,

$S[x]$7

This yields, in the continuous limit, the full path integral formulation (Frangi et al., 21 Sep 2025).

2. Derivation of the Schrödinger Equation

By considering the infinitesimal time evolution of the wave function,

$S[x]$8

and expanding the short-time kernel for $S[x]$9, one arrives (via Gaussian integration and Taylor expansion up to $x(t)$0) at the time-dependent Schrödinger equation: $x(t)$1 This construction demonstrates that the Lagrangian path-integral machinery encodes the full quantum dynamics, and that the normalization constant is fixed by consistency (probability conservation) (Frangi et al., 21 Sep 2025).

3. Formal and Rigorous Variants: Diagrammatics and Operator Semigroups

The path integral may be expanded formally as a stationary-phase series about classical solutions ("nonfocal" paths), yielding a series in $x(t)$2 governed by Feynman diagrams. For a general Lagrangian $x(t)$3 with positive-definite quadratic part, the expansion takes the form: $x(t)$4 where $x(t)$5 is a classical path, $x(t)$6 the second-variation operator, and $x(t)$7 diagrammatic corrections with $x(t)$8 loops. When the Lagrangian is quadratic-in-velocity with det$x(t)$9 constant, all ultraviolet divergences cancel order-by-order in the expansion (Johnson-Freyd, 2010).

For Feller semigroups, a rigorous analogue is constructed via iterated kernels: $K(x_b, t_b; x_a, t_a)$0 where $K(x_b, t_b; x_a, t_a)$1 is the semigroup kernel, and $K(x_b, t_b; x_a, t_a)$2 the local diffusion coefficient (Butko et al., 2012). This discretized "Lagrangian Feynman formula" converges in the Banach space $K(x_b, t_b; x_a, t_a)$3 and provides a computational tool for both semigroup and stochastic process simulation.

4. Extensions: Relativistic and Higher-Derivative Lagrangian Path Integrals

The Lagrangian Feynman formula has natural extensions to relativistic systems via the parametrized or extended Lagrange formalism. Here, physical time $K(x_b, t_b; x_a, t_a)$4 is treated as a dependent variable on paths $K(x_b, t_b; x_a, t_a)$5 in an extended configuration space $K(x_b, t_b; x_a, t_a)$6 (spacetime). For the relativistic charged particle, the extended Lagrangian

$K(x_b, t_b; x_a, t_a)$7

with hypersurface constraint $K(x_b, t_b; x_a, t_a)$8, produces an explicit four-dimensional path integral, with normalization

$K(x_b, t_b; x_a, t_a)$9

Upon short-time expansion, the resulting quantum equation is the Klein-Gordon equation in an external electromagnetic field (Struckmeier, 2024).

For Lagrangians involving higher (e.g. second) derivatives, the path integral, via the stationary-phase approximation, yields Ostrogradsky’s Hamiltonian and canonical structure, generalizing the Legendre transform and providing construction of pseudodifferential quantum operators (Hahne, 2013). The canonical momenta arising from second derivatives are

$x_a$0

with the Hamiltonian

$x_a$1

A key point is that operator ordering ambiguities remain unresolved by the stationary-phase approximation and must be handled externally.

5. Probability Conservation and Unitarity

Probability conservation is encoded in the path-integral formalism by normalization conditions on the kernel. Specifically, for the propagator $x_a$2, the requirement

$x_a$3

enforces unitarity and fixes the normalization of each time-slice factor $x_a$4. This ensures that the total probability $x_a$5 is independent of time, paralleling the Hermiticity condition $x_a$6 in operator quantum mechanics (Frangi et al., 21 Sep 2025).

6. Applications, Examples, and Generalizations

The Lagrangian Feynman formula admits immediate application to canonical systems, such as the free particle, harmonic oscillator, and systems subject to external fields. For the free particle,

$x_a$7

demonstrates the emergence of the classical action phase, explicit normalization, and reduction to the classical trajectory in the semiclassical limit (Frangi et al., 21 Sep 2025).

The formalism also supports the inclusion of bounded Schrödinger or gradient perturbations in stochastic semigroups, practical simulation schemes for Feller processes, and extension to general semigroup-generating pseudodifferential operators (Butko et al., 2012). Diagrammatic expansions provide systematic computation of quantum corrections and clarify the structure of ultraviolet divergences.

7. Coordinate Invariance, Composition Law, and Operator Correspondence

For systems with Lagrangians quadratic in velocity and constant metric determinant, the formal path integrals are invariant under volume-preserving coordinate transformations. The composition ("Fubini") law holds formally as

$x_a$8

as shown in the formal diagrammatic construction (Johnson-Freyd, 2010).

Operator correspondence is achieved through stationary-phase evaluation of the path integral, yielding classical Hamiltonians as the symbols of quantum pseudodifferential operators. Nevertheless, the path-integral does not inherently provide operator ordering for noncommuting observables; such ordering must be imposed externally, often by symmetry or physical requirements (Hahne, 2013).

---

Key references providing these developments include Feynman's foundational formulation (Frangi et al., 21 Sep 2025), formal diagrammatic expansions (Johnson-Freyd, 2010), rigorous semigroup integral kernel constructions (Butko et al., 2012), extension to relativistic point dynamics (Struckmeier, 2024), and analysis of higher-derivative systems and operator-ordering (Hahne, 2013).