Extended Hamilton-Lagrange Formalism and its Application to Feynman's Path Integral for Relativistic Quantum Physics

We present a consistent and comprehensive treatise on the foundations of the extended Hamilton-Lagrange formalism — where the dynamical system is parametrized along a general system evolution parameter s, and the time t is treated as a dependent variable t(s) on equal footing with all other configuration space variables qⁱ(s). In the action principle, the conventional classical action L₁dt is then replaced by the generalized action L₁ds, with L and L₁ denoting the conventional and the extended Lagrangian, respectively. It is shown that a unique correlation of L₁ and L exists if we refrain from performing simultaneously a transformation of the dynamical variables. With the appropriate correlation of L₁ and L in place, the extension of the formalism preserves its canonical form.

In the extended formalism, the dynamical system is described as a constrained motion within an extended space. We show that the value of the constraint and the parameter s constitutes an additional pair of canonically conjugate variables. In the corresponding quantum system, we thus encounter an additional uncertainty relation.

As a consequence of the formal similarity of conventional and extended Hamilton-Lagrange formalisms, Feynman's nonrelativistic path integral approach can be converted on a general level into a form appropriate for relativistic quantum physics. In the emerging parametrized quantum description, the additional uncertainty relation serves as the means to incorporate the constraint and hence to finally eliminate the parametrization.

We derive the extended Lagrangian L₁ of a classical relativistic point particle in an external electromagnetic field and show that the generalized path integral approach yields the Klein-Gordon equation as the corresponding quantum description. We furthermore derive the space-time propagator for a free relativistic particle from its extended Lagrangian L₁. These results can be regarded as the proof of principle of the relativistic generalization of Feynman's path integral approach to quantum physics.