Mean-field backward doubly stochastic differential equations and related SPDEs
© Xu; licensee Springer 2012
Received: 14 May 2012
Accepted: 2 October 2012
Published: 17 October 2012
Existence and uniqueness result of the solutions to mean-field backward doubly stochastic differential equations (BDSDEs in short) with locally monotone coefficients as well as the comparison theorem for these equations are established. As a preliminary step, the existence and uniqueness result for the solutions of mean-field BDSDEs with globally monotone coefficients is also established. Furthermore, we give the probabilistic representation of the solutions for a class of stochastic partial differential equations by virtue of mean-field BDSDEs, which can be viewed as the stochastic Feynman-Kac formula for SPDEs of mean-field type.
Keywordsmean-field backward doubly stochastic differential equations locally monotone coefficients comparison theorem stochastic partial differential equations
Here, the function is the unknown function, and is an l-dimensional Brownian motion process defined on a given complete probability space . , a stochastic process starting at when , is the solution of one class of stochastic differential equations (SDEs), and E denotes expectation with respect to the probability P. In this paper, we call this kind of equations (1.1) McKean-Vlasov SPDEs, because they are analogous to McKean-Vlasov PDEs except the stochastic term .
McKean-Vlasov PDEs involving models of large stochastic particle systems with mean-field interaction have been studied by stochastic methods in recent years (see [1–4] and the references therein). Mean-field approaches have applications in many areas such as statistical mechanics and physics, quantum mechanics and quantum chemistry. Recently, Lasry and Lions introduced mean-field approaches for high-dimensional systems of evolution equations corresponding to a large number of ‘agents’ or ‘particles’. They extended the field of such mean-field approaches to problems in economics, finance and game theory (see  and the references therein).
As is well known, to give a probabilistic representation (Feynman-Kac formula) of quasilinear parabolic SPDEs, Pardoux and Peng  introduced a new class of backward stochastic differential equations (BSDEs) called backward doubly stochastic differential equations which have two different types of stochastic integrals: a standard (forward) stochastic integral and a backward stochastic integral . They proved the existence and uniqueness for solutions of BDSDEs under uniformly Lipschitz coefficients. When the coefficients are smooth enough, they also established the connection between BDSDEs and a certain kind of quasilinear SPDEs. BDSDEs have a practical background in finance. The extra noise B can be regarded as some extra inside information in a derivative security market. Since 1990s, BDSDEs have drawn more attention from many authors (cf. [7–13] and the references therein). Shi, Gu and Liu gave the comparison theorem of BDSDEs and investigated the existence of solutions for BDSDEs with continuous coefficients in . To relax the Lipschitz conditions, Wu and Zhang studied two kinds of BDSDEs under globally (respectively, locally) monotone assumptions and obtained the uniqueness and existence results of the solutions (see ).
Mean-field BSDEs are deduced by Buckdahn, Djehiche, Li and Peng  when they studied a special mean-field problem with a purely stochastic method. Later, Buckdahn, Li and Peng  investigated the properties of these equations in a Markovian framework, obtained the uniqueness of the solutions of mean-field BSDEs as well as the comparison theorem and also gave the viscosity solutions of a class of McKean-Vlasov PDEs in terms of mean-field BSDEs.
In this paper, we study a new type of BDSDEs, that is, the so called mean-field BDSDEs, under the globally (respectively locally) monotone coefficients. We obtain the existence and uniqueness result of the solution by virtue of the technique proposed by Wu and Zhang  and the contraction mapping theorem under certain conditions. Also, the comparison principle for mean-field BDSDEs is discussed when the coefficients satisfy some stricter assumptions. A comparison theorem is a useful result in the theory of BSDEs. For instance, it can be used to study viscosity solutions of PDEs. Here, we point out that it is more delicate to prove the comparison theorem for mean-field BDSDEs because of the mean-field term.
In Eq. (1.2), the integral is a forward Itô integral, and the integral denotes a backward Itô integral. and are two mutually independent standard Brownian motion processes with values respectively in and in . This conclusion gives a probabilistic representation of McKean-Vlasov SPDEs (1.1), which can be regarded as a stochastic Feynman-Kac formula for Mckean-Vlasov SPDEs.
Our paper is organized as follows. In Section 2, we present the existence and uniqueness results about mean-field BDSDEs with globally monotone coefficients. We investigate the properties of mean-field BDSDEs with locally monotone assumptions in Section 3. We first prove the existence and uniqueness of the solutions of mean-field BDSDEs and then derive the comparison theorem when the mean-field BDSDEs are one-dimensional. In Section 4, we introduce the decoupled mean-field forward-backward doubly stochastic differential equation and study the regularity of its solution with respect to x, which is the initial condition of the McKean-Vlasov SDE. Finally, Section 5 is devoted to the formulation of McKean-Vlasov SPDEs and provides the relationship between the solutions of SPDEs and those of mean-field BDSDEs.
2 Mean-field BDSDEs with globally monotone coefficients
In this section, we study mean-field BDSDEs with globally monotone coefficients, which is helpful for the case of locally monotone coefficients. To this end, we firstly introduce some notations and recall some results on mean-field BSDEs obtained by Buckdahn, Li and Peng .
with and .
Note that is not an increasing family of σ-fields, so it is not a filtration.
We will also use the following spaces:
For any , let denote the set of (classes of a.e. equal) n-dimensional jointly measurable random processes which satisfy: Evidently, is a Banach space endowed with the canonical norm .
is measurable, for a.e. .
We denote similarly by the set of continuous n-dimensional random processes which satisfy:
is measurable, for a.e. .
denotes the space of all valued ℱ-measurable random variables.
For , is the space of all valued ℱ-measurable random variables such that .
Moreover, for all , , are two -measurable functions which satisfy
(A2) for any fixed , is continuous;
then it must satisfy conditions (A4) and (A5).
Definition 2.1 A pair of -measurable processes is called a solution of mean-field BDSDE (2.1) if and it satisfies mean-field BDSDE (2.1).
The main result of this section is the following theorem.
Theorem 2.1 For any random variable , under Assumption 2.1, mean-field BDSDE (2.1) admits a unique solution .
According to Theorem 2.2 in , BDSDE (2.2) has a unique solution.
The parameters and β are specified later.
Consequently, I is a strict contraction on equipped with the norm for . With the contraction mapping theorem, there admits a unique fixed point such that . On the other hand, from Step 1, we know that if , then , which is the unique solution of Eq. (2.1). □
where . Then we have the following corollary.
The proof of the above corollary is similar to that of Theorem 2.1 and is therefore omitted.
3 Mean-field BDSDEs with locally monotone coefficients
In this section, we investigate mean-field BDSDEs with locally monotone coefficients. The results can be regarded as an extension of the results in  to the mean-field type.
(A3′) there exist and such that ;
We need the following lemma, which plays an important role in the proof of the main result.
for fixed , , ω, t, is continuous;
∀N, as , where ;
- (iv)∀m, is globally monotone in y; moreover, for any m, N with , it holds that
- (v)∀m, is globally Lipschitz in , z; moreover, for any m, N with , it holds that
for any t, , y, , satisfying ().
where is a sequence of smooth functions such that , for , and for . Similarly, we define the sequences , , . It should be pointed out that , , and are continuously differentiable with bounded derivatives for each m. The conclusion of this lemma can be easily obtained by arguments similar to those of Lemma 3.3 in . □
We now present the main result of this section.
where θ is an arbitrarily fixed constant such that . Then mean-field BDSDE (2.1) has a unique solution .
where only depends on T, α, L and is independent of m.
We next estimate I, II and III.
where depends on T, L, α and .
Therefore, we come to the conclusion of this theorem. □
Now, we discuss the comparison theorem for mean-field BDSDEs. We only consider one-dimensional mean-field BDSDEs, i.e., .
Theorem 3.2 (Comparison theorem)
One of the two generators is independent of .
One of the two generators is nondecreasing in .
Then if , a.s., , a.s., there also holds that , a.s. .
Remark 3.2 The conditions (i) and (ii) of Theorem 3.2 are, in particular, satisfied if they hold for the same generator (), but also if (i) is satisfied by one generator and (ii) by the other one.
that is, , P-a.s., . □
4 Decoupled mean-field forward-backward doubly SDEs
In this section, we study the decoupled mean-field forward-backward doubly stochastic differential equations. First, we recall some results of Buckdahn, Li and Peng  on McKean-Vlasov SDEs. Given continuous functions and which are supposed to satisfy the following conditions:
- (ii)b and σ are Lipschitz in x, , i.e., there is some constant such that
From the result about Eq. (5.1) in , we know that under Assumption 4.1, SDE (4.1) has a unique strong solution, and we can obtain that has a continuous version with the following well-known standard estimates.
for all with .
Now, let , and be real-valued functions and satisfy the following conditions.
- (ii)For all , , , , there exist constants , and such that
- (iii)f, g and Φ satisfy a linear growth condition, i.e., there exists some such that, a.s., for all
For BDSDE (4.3), we give the following proposition.
Proof Combining classical BDSDE estimates (see the proof of Theorem 2.1 in Pardoux and Peng ) with the techniques presented in Theorem 3.1, we can get the proof easily. □
5 Mean-field BDSDEs and McKean-Vlasov SPDEs
In fact, Eq. (5.1) is a new kind of nonlocal SPDE because of the mean-field term. Here, the functions b, σ, f, g and Φ are supposed to satisfy Assumption 4.1 and Assumption 4.2 respectively, and is the solution of the mean-field SDE (4.1) with .
Now, we give the main theorem of this section.
Theorem 5.1 Suppose that Assumption 4.1 and Assumption 4.2 hold. Let be a -measurable random field such that satisfies Eq. (5.1) and for each , a.s. Moreover, we assume that for a.s. .
The condition that and the continuity of f and g are adopted in the last equation.
So, , solves the mean-field BDSDE (4.3). The proof is now complete. □
Remark 5.1 Formula (5.2) generalizes the stochastic Feynman-Kac formula for SPDEs of the mean-field type.
The author would like to thank the editor and anonymous referees for their constructive and insightful comments on improving the quality of this revision, and to thank professor Zhen Wu for many helpful suggestions.
- Bossy M: Some stochastic particle methods for nonlinear parabolic PDEs. ESAIM Proc. 2005, 15: 18-57.MathSciNetGoogle Scholar
- Méléard S: Asymptotic behaviour of some interacting particle systems; McKean-Vlasov and Boltzmann models. Lectures Notes in Math. 1627. In Probabilistic Models for Nonlinear PDE’s. Edited by: Talay D, Tubaro L. Springer, Berlin; 1996:42-95.Google Scholar
- Bossy M, Talay D: A stochastic particle method for the McKean-Vlasov and the Burgers equation. Math. Comput. 1997, 217(66):157-192.MathSciNetView ArticleGoogle Scholar
- Talay D, Vaillant O: A stochastic particle method with random weights for the computation of statistical solutions of McKean-Vlasov equations. Ann. Appl. Probab. 2003, 13(1):140-180.MathSciNetView ArticleGoogle Scholar
- Lasry JM, Lions PL: Mean field games. Jpn. J. Math. 2007, 2: 229-260. 10.1007/s11537-007-0657-8MathSciNetView ArticleGoogle Scholar
- Pardoux E, Peng SG: Backward doubly stochastic differential equations and systems of quasilinear SPDEs. Probab. Theory Relat. Fields 1994, 98: 209-227. 10.1007/BF01192514MathSciNetView ArticleGoogle Scholar
- Bally V, Matoussi A: Weak solutions for SPDEs and backward doubly stochastic differential equations. J. Theor. Probab. 2001, 14(1):125-164. 10.1023/A:1007825232513MathSciNetView ArticleGoogle Scholar
- Boufoussi B, Casteren J, Mrhardy N: Generalized backward doubly stochastic differential equations and SPDEs with nonlinear Neumann boundary conditions. Bernoulli 2007, 13(2):423-446. 10.3150/07-BEJ5092MathSciNetView ArticleGoogle Scholar
- Han YC, Peng SG, Wu Z: Maximum principle for backward doubly stochastic control systems with applications. SIAM J. Control Optim. 2010, 48(7):4224-4241. 10.1137/080743561MathSciNetView ArticleGoogle Scholar
- N’zi M, Owo J: Backward doubly stochastic differential equations with discontinuous coefficients. Stat. Probab. Lett. 2009, 79: 920-926. 10.1016/j.spl.2008.11.011MathSciNetView ArticleGoogle Scholar
- Shi YF, Gu YL, Liu K: Comparison theorems of backward doubly stochastic differential equations and applications. Stoch. Anal. Appl. 2005, 23: 97-110. 10.1081/SAP-200044444MathSciNetView ArticleGoogle Scholar
- Wu Z, Zhang F: BDSDEs with locally monotone coefficients and Sobolev solutions for SPDEs. J. Differ. Equ. 2011, 251: 759-784. 10.1016/j.jde.2011.05.017View ArticleGoogle Scholar
- Zhang Q, Zhao HZ: Stationary solutions of SPDEs and infinite horizon BDSDEs. J. Funct. Anal. 2007, 252: 171-219. 10.1016/j.jfa.2007.06.019MathSciNetView ArticleGoogle Scholar
- Buckdahn R, Djehiche B, Li J, Peng SG: Mean-field backward stochastic differential equations: a limit approach. Ann. Probab. 2009, 37(4):1524-1565. 10.1214/08-AOP442MathSciNetView ArticleGoogle Scholar
- Buckdahn R, Li J, Peng SG: Mean-field backward stochastic differential equations and related partial differential equations. Stoch. Process. Appl. 2009, 119(10):3133-3154. 10.1016/j.spa.2009.05.002MathSciNetView ArticleGoogle Scholar