On the quantum Feynman-Kac formula

Milan Journal of Mathematics -     

The operator-valued Feynman-Kac formula with noncommutative operators

Let X(t) be a right-continuous Markov process with state space E whose expectation semigroup S(t), given by S(t) φ(x) = E_x[φ(X(t))] for functions φ mapping E into a Banach space L, has the infinitesimal generator A. For each x?E, let V(x) generate a strongly continuous semigroup T_x(t) on L. An operator-valued Feynman-Kac formula is developed and solutions of the initial value problem $\text{?u}\text{?t}\text{= Au + V(x)u, u(0) = φ}$ are obtained. Fewer conditions are assumed than in known results; in particular, the semigroups {T_x(t)} need not commute, nor must they be contractions. Evolution equation theory is used to develop a multiplicative operative functional and the corresponding expectation semigroup has the infinitesimal generator A + V(x) on a restriction of the domain of A.     

BSDE,path-dependent PDE and nonlinear Feynman-Kac formula

We introduce a new type of path-dependent quasi-linear parabolic PDEs in which the continuous paths on an interval [0, t] become the basic variables in the place of classical variables(t, x) ∈ [0, T ] × Rd. This new type of PDEs are formulated through a classical BSDE in which the terminal values and the generators are allowed to be general function of Brownian motion paths. In this way, we establish the nonlinear FeynmanKac formula for a general non-Markovian BSDE. Some main properties of solutions of this new PDEs are also obtained.     

On the Feynman-Kac formula and its applications to filtering theory

In this article the Feynman-Kac formula is obtained for a Markov process (X _t) whose transition probability function is not stationary. A converse to the Feynman-Kac formula is also obtained. This is used to prove the uniqueness of the solution to a measure-valued equation satisfied by the optimal filter in the white-noise approach to nonlinear filtering theory.Research partially supported by the Air Force Office of Scientific Research Contract No. F49620 85 C 0144 and by the Indian Statistical Institute.     

A measure-valued analogue of Wiener measure and the measure-valued Feynman-Kac formula

In this article, we consider a complex-valued and a measure-valued measure on , the space of all real-valued continuous functions on . Using these concepts, we establish the measure-valued Feynman-Kac formula and we prove that this formula satisfies a Volterra integral equation. The work here is patterned to some extent on earlier works by Kluvanek in 1983 and by Lapidus in 1987, but the present setting requires a number of new concepts and results.

     

Parabolic equations and Feynman-Kac formula on general bounded domains

Parabolic equations on general bounded domains are studied. Using the refined maximum principle, existence and the semigroup property of solutions are obtained. It is also shown that the solution obtained by PDE’s method has the Feynmann-Kac representation for any bounded domains.     

Brownian-time processes: The PDE connection II and the corresponding Feynman-Kac formula

We delve deeper into our study of the connection of Brownian-time processes (BTPs) to fourth-order parabolic PDEs, which we introduced in a recent joint article with W. Zheng. Probabilistically, BTPs and their cousins BTPs with excursions form a unifying class of interesting stochastic processes that includes the celebrated IBM of Burdzy and other new intriguing processes and is also connected to the Markov snake of Le Gall. BTPs also offer a new connection of probability to PDEs that is fundamentally different from the Markovian one. They solve fourth-order PDEs in which the initial function plays an important role in the PDE itself, not only as initial data. We connect two such types of interesting and new PDEs to BTPs. The first is obtained by running the BTP and then integrating along its path, and the second type of PDEs is related to what we call the Feynman-Kac formula for BTPs. A special case of the second type is a step towards a probabilistic solution to linearized Cahn-Hilliard and Kuramoto-Sivashinsky type PDEs, which we tackle in an upcoming paper.

     

Time changes of symmetric Markov processes and a Feynman-Kac formula

We prove a Feynman-Kac formula in the context of symmetric Markov processes and Dirichlet spaces. This result is used to characterize the Dirichlet space of the time change of an arbitrary symmetric Markov process, completing work of Silverstein and Fukushima.     

A Feynman-Kac type formula for a fixed delay CIR model

Stochastic delay differential equations (SDDE’s) have been used for financial modeling. In this article, we study a SDDE obtained by the equation of a CIR process, with an additional fixed delay term in drift; in particular, we prove that there exists a unique strong solution (positive and integrable) which we call fixed delay CIR process. Moreover, for the fixed delay CIR process, we derive a Feynman-Kac type formula, leading to a generalized exponential-affine formula, which is used to determine a bond pricing formula when the interest rate follows the delay’s equation. It turns out that, for each maturity time T, the instantaneous forward rate is an affine function (with time dependent coefficients) of the rate process and of an auxiliary process (also depending on T). The coefficients satisfy a system of deterministic differential equations.     

The Feynman-Kac formula with a Lebesgue-Stieltjes measure: An integral equation in the general case

Let u(t) be the operator associated by path integration with the Feynman-Kac functional in which the time integration is performed with respect to an arbitrary Borel measure instead of ordinary Lebesgue measurel. We show that u(t), considered as a function of time t, satisfies a Volterra-Stieltjes integral equation, denoted by (*). We refer to this result as the Feynman-Kac formula with a Lebesgue-Stieltjes measure. Indeed, when n=l, we recover the classical Feynman-Kac formula since (*) then yields the heat (resp., Schrödinger) equation in the diffusion (resp., quantum mechanical) case. We stress that the measure is in general the sum of an absolutely continuous, a singular continuous and a (countably supported) discrete part. We also study various properties of (*) and of its solution. These results extend and use previous work of the author dealing with measures having finitely supported discrete part (Stud. Appl. Math.76 (1987), 93–132); they seem to be new in the diffusion (or imaginary time) as well as in the quantum mechanical (or real time) case.Research partially supported by the National Science Foundation under Grant DMS 8703138. This work was also supported in part by NSF Grant 8120790 at the Mathematical Sciences Research Institute in Berkeley, U.S.A., the CNPq and the Organization of Latin American States at theInstituto de Matemática Pura E Aplicada (IMPA) in Rio de Janeiro, Brazil, as well as theUniversité Pierre et Marie Curie (Paris VI) and the Université Paris Dauphine in Paris, France.     

Spectrum of a self-adjoint operator in L2 (K), where K is a local field; Analog of the Feynman-Kac formula

Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 89, No. 1, pp. 18–24, October, 1991.     

Feynman-Kac propagators and viscosity solutions

The aim of this paper is to study viscosity solutions to the following terminal value problem on [0, t] × E:

Feynman-Kac semigroup with discontinuous additive functionals

LetX be a symmetric stable process of index α, 0<α<2, inRd, let μ be a (signed) Radon measure onRd belonging to the Kato classKd, α and letF be a Borel function onRd×Rd satisfying certain conditions. Suppose thatA _t ^μ is the continuous additive functional with μ as its Revuz measure and

Stability of Feynman-Kac formulae with path-dependent potentials

Several particle algorithms admit a Feynman-Kac representation such that the potential function may be expressed as a recursive function which depends on the complete state trajectory. An important example is the mixture Kalman filter, but other models and algorithms of practical interest fall in this category. We study the asymptotic stability of such particle algorithms as time goes to infinity. As a corollary, practical conditions for the stability of the mixture Kalman filter, and a mixture GARCH filter, are derived. Finally, we show that our results can also lead to weaker conditions for the stability of standard particle algorithms for which the potential function depends on the last state only.     

Intrinsic ultracontractivity of the Feynman-Kac semigroup for relativistic stable processes

Let be the relativistic -stable process in , , , with infinitesimal generator . We study intrinsic ultracontractivity (IU) for the Feynman-Kac semigroup for this process with generator , , locally bounded. We prove that if , then for every the operator is compact. We consider the class of potentials such that , and is comparable to the function which is radial, radially nondecreasing and comparable on unit balls. For in the class we show that the semigroup is IU if and only if . If this condition is satisfied we also obtain sharp estimates of the first eigenfunction for . In particular, when , , then the semigroup is IU if and only if . For the first eigenfunction is comparable to

     

Conditional gauge theorem for non-local Feynman-Kac transforms

Feynman-Kac transforms driven by discontinuous additive functionals are studied in this paper for a large class of Markov processes. General gauge and conditional gauge theorems are established for such transforms. Furthermore, the L ² -infinitesimal generator of the Schrödinger semigroup given by a non-local Feynman-Kac transform is determined in terms of its associated bilinear form.     

Nonautonomous Kato classes of measures and Feynman-Kac propagators

The behavior of the Feynman-Kac propagator corresponding to a time-dependent measure on is studied. We prove the boundedness of the propagator in various function spaces on , and obtain a uniqueness theorem for an exponentially bounded distributional solution to a nonautonomous heat equation.