Probabilistic Representations for the Solution of Higher Order Differential Equations
Abstract
A probabilistic representation for the solution of the partial differential equation (∂/∂t)u(t, x) = −αΔ2u(t, x), α ∈ ℂ, is constructed in terms of the expectation with respect to the measure associated to a complex-valued stochastic process.
1. Introduction
In the mathematical literature two main approaches have been proposed. The first one [9, 10] realizes formula (4) in terms of the expectation with respect to a signed measure P2N on a space of paths on the interval [0, t].
It is worthwhile to mention that an analogous of the arc-sine law [10, 11], of the central limit theorem [12], and of Ito formula and Ito stochastic calculus [10, 13] have been proved for the (finite additive) signed measure P2N. Moreover, a Feynman-Kac formula has been proved [9–11], for the representation of the solution of the Cauchy problem (3) in the case where V is a bounded piecewise continuous function and for an initial datum u0 ∈ C2N, by realizing formula (4) as limit of finite dimensional cylindrical approximations [14]. We also mention the work by Levin and Lyons [15] on rough paths, conjecturing that the signed measure P2N could exist on the quotient space of equivalence classes of paths corresponding to different parametrization of the same path.
In fact this result can be generalized to partial differential equations of order 2n, by multiple iterations of suitable processes [16–18]. These results are also related to Bochner subordination [19].
There are also similarities between the Funaki’s process {Xt} and the “iterated Brownian motion” [20], but the latter is not connected to the probabilistic representation of the solution of a partial differential equation with regular coefficients. In fact the processes constructed by iterating copies of independent BMs (or other process) are associated to higher order PDE of particular form, where the initial datum plays a particular role and enters also in the differential equation [21].
Complex-valued processes, connected to PDE of the form (3), have been also proposed by other authors by means of different techniques. In [22–24] Madrecki et al. consider the fourth degree heat-type equation (6) and construct a probabilistic representation for its solution in terms of a stable probabilistic Borel measure m on the space Ω = C([0, t], ℂ∞) of continuous mappings on [0, t] with values in the set ℂ∞ of complex-valued sequences, endowed with the product topology. In this setting a Feynman-Kac type formula is proved, for the fourth order heat equation with linear potential.
Another probabilistic approach is presented by Sainty in [25], where a representation for the solution of (∂/∂t)u(t, x) = (∂n/∂xn)u(t, x) is given in terms of the expectation with respect to a particular complex-valued process X[n](t), t ≥ 0, called “Brownian motion of order n”. It is worthwhile also to mention a completely different approach proposed by Léandre [26, 27], which has some analogies with the mathematical realization of Feynman path integrals by means of white noise calculus [28]. Indeed Léandre has recently constructed a “probabilistic representation” of the solution of the Cauchy problem (3) in terms of an infinite dimensional distribution on the Connes space [27, 29, 30]. Another interesting approach related to the theory of pseudoprocesses introduced by Daletsky and Fomin [31] has been recently proposed by Smorodina and Faddeev [32].
We eventually mention an interesting probabilistic approach to the equation Δku = 0 described in [33].
The paper is organized as follows. Section 2 presents the construction of a complex random variable and the representation of the solution of (8) with V ≡ 0 in terms of the expectation with respect to the probability measure associated with . Section 3 presents the proof of a Feynman-Kac type formula for the solution of (8) in the cases where V is linear in the space variables and presents an explicit time dependence.
2. A Complex-Valued Random Variable Associated to the 4-Order Heat-Type Equation
Theorem 1. Let u0 be a real valued function satisfying the following properties:
- (1)
u0 can be extended to an entire function on the complex plane ℂ, denoted again with u0;
- (2)
for any h ∈ ℝ+, one has that , , and , with z = x + iy, are bounded functions on ℂ.
Proof. By the assumption that is a bounded functions on ℂ for any h ∈ ℝ+, one can easily verify that the integral
Remark 2. The functions u0 satisfying the assumptions (1) and (2) of Theorem 1 include, for instance, polynomials of arbitrary degree, as well as the functions u0 that are Fourier transform of measures, that is, of the form
- (i)
∫ℝ ekyd | μ | (k) < ∞, ∫ℝ ekyd | μ | (k) < ∞, |μ| being the total variation measure of μ,
- (ii)
for any h ∈ ℝ+, the functions and are bounded on ℝ2.
Remark 3. The Funaki formula (7) for the solution of (16) in the case where α = −1 can be written in the following form:
The following theorem describes a particular class of functions u0 such that the integral (17) is absolutely convergent and provides a representation for the solution of the Cauchy problem (16).
Theorem 4. Let u0 be a real valued function of the form
Then the solution of the Cauchy problem (16) is given by (17).
Proof. Under the stated assumption on u0, the integral (17) assumes the following form:
- (i)
,
- (ii)
, k = 1,2, 3,
- (iii)
,
- (iv)
,
- (v)
.
Remark 5. Analogous results can be obtained also in the case where Δ2 is replaced with higher powers of the Laplacian, namely, . It is sufficient to iterate n-times formula (10). One obtains a formula with multiple Gaussian integrations, similar to the one proposed, for instance, in [17]. As in the Funaki approach, the probability measure of the complex random variable can also be obtained by composing three independent Brownian motions in a suitable way. In fact any even power of the Laplacian can be handled by means of the general formula (11), but a probabilistic interpretation in terms of the composition of several independent Brownian motions is not always possible. For instance, in the case where one considers Δ6, (11) gives the following result:
3. Feynman-Kac Type Formulae
The implementation of formula (35) presents some technical problems, which do not appear in the proof of the classical Feynman-Kac formula (for the heat equation with potential). The first one is the definition of the integrals involved. In fact, since the random variables zα(t/n) are complex valued, the real valued function V as well as the initial datum u0 has to admit an analytic extension to an entire function on the complex plane. We cannot require that it is bounded on ℂ; otherwise we could consider only the trivial case. Consequently we will integrate unbounded function, and in principle the convergence of the integrals has to be checked. In fact, for a large class of potentials, the integrals are not absolutely convergent and have to be defined in a suitable way.
The second problem concerns the proof that the integral (35) represents the solution of the Cauchy problem (8). Even if the second line of (35) recalls Trotter’s product, this formula cannot be directly applied since it does not hold for general α ∈ ℂ and V continuous real valued function.
The problem of the proof of a Feynman-Kac type formula for equations of the form (8) has been analyzed in [22], where the case of a linear potential V is handled, and in [39], but a detailed proof for a sufficiently large class of potentials V is still lacking. We generalized these results to the case where V is linear in the space variable and presents an explicit time dependence.
Theorem 6. Let a : ℝ → ℂ be a continuous function and let us denote M : = max s∈[0,t] | a(s)|. Let u0 be of the form u0(x) = ∫ℝ eixydμ0(y), where μ0 is a complex bounded variation measure on ℝ satisfying the following condition:
Proof. Under the stated assumptions, the finite dimensional integrals appearing in formula (38) assume the following form:
4. Conclusions
In this paper we have proposed the construction of a particular probabilistic representation for the solution of the equation in terms of a Feynman-Kac type formula. The class of potentials V which can be handled by requiring that the probabilistic integrals are defined in Lebesgue sense, that is, as absolutely convergent integrals, is rather restricted because of the complex nature of the process. A generalization of these results to more general potentials requires the implementation of an integration technique, in infinite dimensions, of a different type, by relaxing the absolute convergence of the integrals, as in the cases handled, for instance, in [6] concerning the functional integral representation for the solution of Schrödinger equations. This problem will be handled in a forthcoming paper.
Acknowledgments
Interesting discussions with Sergio Albeverio, Giuseppe Da Prato, Paolo Dai Pra, Franco Flandoli, Enrico Priola, and Luciano Tubaro are gratefully acknowledged, as well as the financial support of Fondazione Bruno Kessler, Trento, Italy.