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.
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 Feynman formula is a representation of the solution of an evolutionary equation by a limit of some multiple integrals over Cartesian products of the classical configuration space, or of the classical phase space, when the multiplicity of integrals tends to infinity. From the Feynman formula one can deduce the Feynman–Kac formula, i.e. a representation of the solution by an integral over trajectories. In this paper we consider representations, by the Feynman formula, of solutions both of some Schrödinger type equations and of the corresponding diffusion equations. Introduction The first of Feynman's papers [7], on what one now calls Feynman path integrals over trajectories in the configuration space, contains three main observations. Firstly, it is shown that the solution of the Cauchy problem for a Schrödinger equation can be represented by a limit of a sequence of integrals over Cartesian products of the classical configuration space when the multiplicity of integrals tends to infinity. Secondly, the limit is interpreted as an integral over trajectories in the configuration space. And finally, it is noticed that the integrand contains the exponent of the classical action. Feynman's definition of the Feynman path integrals over trajectories in the phase space, which is formulated in his second paper on the subject, has a similar structure but, in contrast to the preceding definition, the Lagrangian in the classical action is expressed through the Hamiltonian function.
Limiting procedures for the Feynman type path integral are considered. The evolution operator is approximated with operators corresponding to the exponential of the Hamiltonian's symbol. The proof of convergence uses Chernoff's theory and its extension on the class of stable operators. The approach is especially adequate for the generalized coherent states path integral, where decomposition of a Hamiltonian into the sums used in the approach based on Trotter's formula may be unnatural.
The main aim of this article is to show some intimate relations among the following three notions: (1) the metaplectic representation of Sp(2n,R) and its extension to some semigroups, called the Olshanski semigroup for Sp(2n,R) or Howe's oscillator semigroup, (2) antinormally-ordered quantizations on the phase space R2m≅Cm, (3) path integral quantizations where the paths are on the phase space R2m≅Cm. In the Main Theorem, the metaplectic representation ρ(eX) (X∈sp(2n,R)) is expressed in terms of generalized Feynman--Kac(--Itô) formulas, but in real-time (not imaginary-time) path integral form. Olshanski semigroups play the leading role in the proof of it.
In order to preserve the leading role of the action principle in formulating all field theories one needs quantum field theory, with the associated BRST symmetry, and Feynman–DeWitt–Faddeev–Popov ghost fields. Such fields result from the fiber-bundle structure of the space of histories, but the physics-oriented literature used them formally because a rigorous theory of measure and integration was lacking. Motivated by this framework, this paper exploits the previous work of Gill and Zachary, where the use of Banach spaces for the Feynman integral was proposed. The Henstock–Kurzweil integral is first introduced, because it makes it possible to integrate functions like [Formula: see text]. The Lebesgue measure on [Formula: see text] is then built and used to define the measure on every separable Hilbert space. The subsequent step is the construction of a new Hilbert space [Formula: see text], which contains [Formula: see text] as a continuous dense embedding, and contains both the test functions [Formula: see text] and their dual [Formula: see text], the Schwartz space of distributions, as continuous embeddings. This space allows us to construct the Feynman path integral in a manner that maintains its intuitive and computational advantages. We also extend this space to [Formula: see text], where [Formula: see text] is any separable Hilbert space. Last, the existence of a unique universal definition of time, [Formula: see text], that we call historical time, is proven. We use [Formula: see text] as the order parameter for our construction of Feynman’s time ordered operator calculus, which in turn is used to extend the path integral in order to include all time-dependent groups and semigroups with a reproducing kernel representation.