An approach to time-ordered operators based upon von Neumann’s infinite tensor product Hilbert spaces is used to define Feynman–Dyson algebras. This theory is used to show that a one-to-one correspondence exists between path integrals and semigroups, which are integral operators defined by a kernel, the reproducing property of the kernel being a consequence of the semigroup property. For path integrals constructed from two semigroups, the results are more general than those obtained by the use of the Trotter–Kato formula. Perturbation series for the Feynman–Dyson operator calculus for time evolution and scattering operators are discussed, and it is pointed out that they are ‘‘asymptotic in the sense of Poincaré’’ as defined in the theory of semigroups, thereby giving a precise formulation to a well-known conjecture of Dyson stated many years ago in the context of quantum electrodynamics. Moreover, the series converge when these operators possess suitable holomorphy properties.
Evolution semigroups generated by pseudo-differential operators are considered. These operators are obtained by different (parameterized by a number τ) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains Hamilton functions of particles with variable mass in magnetic and potential fields and more general symbols given by the Lévy-Khintchine formula. The considered semigroups are represented as limits of n-fold iterated integrals when n tends to infinity. Such representations are called Feynman formulae. Some of these representations are constructed with the help of another pseudo-differential operator, obtained by the same procedure of quantization; such representations are called Hamiltonian Feynman formulae. Some representations are based on integral operators with elementary kernels; these are called Lagrangian Feynman formulae. Langrangian Feynman formulae provide approximations of evolution semigroups, suitable for direct computations and numerical modeling of the corresponding dynamics. Hamiltonian Feynman formulae allow to represent the considered semigroups by means of Feynman path integrals. In the article, a family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented as phase space Feynman path integrals with respect to these Feynman pseudomeasures, i.e., different quantizations correspond to Feynman path integrals with the same integrand but with respect to different pseudomeasures. This answers Berezin’s problem of distinguishing a procedure of quantization on the language of Feynman path integrals. Moreover, the obtained Lagrangian Feynman formulae allow also to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.
Evolution semigroups generated by pseudo-differential operators are considered. These operators are obtained by different (parameterized by a number τ) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains Hamilton functions of particles with variable mass in magnetic and potential fields and more general symbols given by the Lévy-Khintchine formula. The considered semigroups are represented as limits of n-fold iterated integrals when n tends to infinity. Such representations are called Feynman formulae. Some of these representations are constructed with the help of another pseudo-differential operator, obtained by the same procedure of quantization; such representations are called Hamiltonian Feynman formulae. Some representations are based on integral operators with elementary kernels; these are called Lagrangian Feynman formulae. Langrangian Feynman formulae provide approximations of evolution semigroups, suitable for direct computations and numerical modeling of the corresponding dynamics. Hamiltonian Feynman formulae allow to represent the considered semigroups by means of Feynman path integrals. In the article, a family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented as phase space Feynman path integrals with respect to these Feynman pseudomeasures, i.e., different quantizations correspond to Feynman path integrals with the same integrand but with respect to different pseudomeasures. This answers Berezin’s problem of distinguishing a procedure of quantization on the language of Feynman path integrals. Moreover, the obtained Lagrangian Feynman formulae allow also to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.
This note is devoted to Feynman formulas (i.e., representations of semigroups by limits of n -fold iterated integrals as n → ∞) and their connections with phase space Feynman path integrals. Some pseudodifferential operators corresponding to different types of quantization of a quadratic Hamiltonian function are considered. Lagrangian and Hamiltonian Feynman formulas for semigroups generated by these operators are obtained. Further, a construction of Hamiltonian (phase space) Feynman path integrals is introduced. Due to this construction, the Hamiltonian Feynman formulas obtained here and in our previous papers do coincide with Hamiltonian Feynman path integrals. This connects phase space Feynman path integrals with some integrals with respect to probability measures. These connections enable us to make a contribution to the theory of phase space Feynman path integrals, to prove the existence of some of these integrals, and to study their properties by means of stochastic analysis. The Feynman path integrals thus obtained are different for different types of quantization. This makes it possible to distinguish the process of quantization in the language of Feynman path integrals.
The Dirac equation in one (space) dimension has a solution in the form of a path integral. If the equation includes the influence of an external potential, then this solution takes the form of a Feynman-Kac style representation. We consider the Feynman-Kac functional, where a Borel measure
η replaces the Lebesgue measure l in the time integration. Let Q(t) be the evolution operator associated with this functional through path integration. We obtain a series representation for this operator, adapting a construction given by T. Zastawniak to this setting. Using a technique we call operator time-reordering, we see that this series can be interpreted as a perturbation series. Restricting ourselves to the case where the discrete part
ν of
η has finite support, we use the series to show that Q(t), considered as a function of time t, satisfies a certain Volterra-Stieltjes integral equation. We then deduce from the integral equation that Q(t) satisfies a differential equation associated with the continuous part
μ of
η. When
η=μ=l this differential equation reduces to the Dirac equation with a potential. Thus we establish a "Feynman-Kac formula with a Lebesgue-Stieltjes measure
η." Moreover, we show that the function Q(t) suffers a jump discontinuity at every point in the support of
ν. Although the development here is quite different, the results obtained are similar those given by M. L. Lapidus for the nonrelativistic setting. Again, restricting ourselves to the case where the discrete part
ν of
η has finite support, we obtain a "generalized Dyson series" for Q(t) which is analogous to the series obtained by G. W. Johnson and Lapidus in the nonrelativistic setting. The theory of semigroups of linear operators, and the theory of strong product integration for bounded linear operators play an important role in this development. The various series representations obtained for Q(t), and the method of operator time-reordering provide a rigorous means of carrying out the "disentangling" which is a central element of Feynman's time-ordered operational calculus for noncommuting operators.
Operator calculusThe operator calculus developed by Feynman [Fey51] makes it possible to represent functions of (noncommuting) operators as path integrals, with the integrand being the path-ordered exponential of operators, the order of which is controlled by a parameter that varies along the trajectory.This procedure is termed Feynman disentangling.It is also applicable to functions of matrices (say, γ-matrices which are associated with a spinor particle).When applied to the evolution operator, this procedure results in the standard path-integral representation of quantum mechanics.In this chapter we first demonstrate the general technique using the simplest example, a free propagator in Euclidean space, and then consider the path-integral representation of quantum mechanics, as well as propagators in an external electromagnetic field. Free propagatorLet us first consider the simplest propagator of a free scalar field which is given in the operator formalism by the vacuum expectation value of thewith ϕ being the field-operator.The T -product (1.1) obeys the equationwhere d = 4 is the dimension of space-time, however the formulas are applicable at any value of d.In the operator formalism, Eq. (1.2) is a * The ordered products of operators were introduced by Dyson [Dys49].This paper and other classical papers on quantum electrodynamics are collected in the book edited by Schwinger [Sch58].