Abstract
We consider analytically weak solutions to semilinear stochastic partial differential equations with non-anticipating coefficients driven by a cylindrical Brownian motion. The solutions are allowed to take values in Banach spaces. We show that weak uniqueness is equivalent to weak joint uniqueness, and thereby generalize a theorem by A.S. Cherny to an infinite dimensional setting. Our proof for the technical key step is different from Cherny’s and uses cylindrical martingale problems. As an application, we deduce a dual version of the Yamada–Watanabe theorem, i.e. we show that strong existence and weak uniqueness imply weak existence and strong uniqueness.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Yamada–Watanabe theorem [23] for finite dimensional Brownian stochastic differential equations (SDEs) states that weak existence and strong (i.e. pathwise) uniqueness implies strong existence and weak uniqueness (i.e. uniqueness in law). Jacod [9] lifted this result to SDEs driven by semimartingales and extended it by showing that weak existence and strong uniqueness is equivalent to strong existence and weak joint uniqueness, i.e. uniqueness of the joint law of the solution process and its random driver.
In view of Jacod’s theorem, it is an interesting and natural question whether the converse direction in the classical Yamada–Watanabe theorem holds, i.e. whether strong existence and weak uniqueness imply weak existence and strong uniqueness. This implication is nowadays often called the dual Yamada–Watanabe theorem. For finite dimensional Brownian SDEs, A.S. Cherny [1, 2] answered this question affirmatively by proving that weak uniqueness is equivalent to weak joint uniqueness.
More recently, Cherny’s result and the dual Yamada–Watanabe theorem have been generalized to several infinite dimensional frameworks. In [15, 21] the theorems were established for mild solutions to semilinear stochastic partial differential equations (SPDEs) and in [17, 18] for the variational framework.
In this short article we prove Cherny’s result for analytically weak solutions to the Banach space valued semilinear SPDE
where A is a densely defined operator and \(\mu \) and \(\sigma \) are progressively measurable processes on the path space of continuous functions. Furthermore, we deduce the dual theorem for our framework.
To the best of our knowledge, these results are new and extend previous ones in several directions. For instance, we study Banach space valued equations, while in [21] only Hilbert space valued equations are considered, and allow non-anticipating coefficients, which are not covered in [15]. In particular, as we work with analytically weak solutions instead of mild solutions, we require no geometric assumptions on the underlying Banach space and only minimal assumptions on the linearity A.
The basic strategy of our proof, which is borrowed from the finite dimensional case and also used in [15, 17, 18]Footnote 1, is to construct an infinite dimensional Brownian motion V, independent of X, such that the noise W can be recovered from the solution process X and V. The technical challenge in this argument is the proof for the independence of X and V. Cherny’s proof for this used additional randomness, an enlargement of filtration and a conditioning argument. In [15, 17, 18] these ideas have been adapted to the respective infinite dimensional frameworks. Our approach is different and appears to us more straightforward and less technical. Namely, we transfer ideas from [3] for one dimensional SDEs with jumps to our continuous infinite dimensional setting and establish the independence with arguments based on cylindrical martingale problems. More precisely, we provide martingale characterizations for weak solutions to SPDEs and infinite dimensional Brownian motion, then show that the quadratic variations of the corresponding test martingales vanish and finally deduce the desired independence with help of changes of measure. In comparison with Cherny’s method, we work directly with X and V without introducing more randomness. Furthermore, once the martingale characterizations are established, the arguments are quite elementary.
The paper is structured as follows: In Sect. 2 we introduce our setting and state our main results: Theorem 2.3 and Corollary 2.5. At the end of Sect. 2 we shortly comment on possible applications of our results. The proof of Theorem 2.3 is given in Sect. 3. To make the article as self-contained as possible, we added Appendix A, where we collect some technical facts needed in our proofs.
Let us end the introduction with a short comment on notation and terminology: We mainly follow the standard references [4, 13]. A detailed construction and standard properties of the stochastic integral can also be found in [15].
2 The Setting and Main Results
Let \({U}\) be a real (separable) Banach space with separable topological dual \({U}^*\) and let H be a real separable Hilbert space. We denote the corresponding norms of U and H by \(\Vert \cdot \Vert _{U}\) and \(\Vert \cdot \Vert _H\) and the scalar product of H by \(\langle \cdot , \cdot \rangle _H\). As usual, the topological dual of H is identified with H via the Riesz representation. Moreover, we write
The space of bounded linear operators \(H \rightarrow {U}\) is denoted by \(L \triangleq L (H, {U})\) and the corresponding operator norm is denoted by \(\Vert \cdot \Vert _L\). We define \(\mathbb {C}\triangleq C(\mathbb {R}_+, {U})\) to be the space of continuous functions \(\mathbb {R}_+ \rightarrow {U}\). Let \(\mathsf {X}= (\mathsf {X}_t)_{t \ge 0}\) be the coordinate process on \(\mathbb {C}\), i.e. \(\mathsf {X}(\omega ) = \omega \) for \(\omega \in \mathbb {C}\), and set \(\mathcal {C} \triangleq \sigma (\mathsf {X}_t, t \in \mathbb {R}_+)\) and \(\mathbf {C}\triangleq (\mathcal {C}_t)_{t \ge 0}\), where \(\mathcal {C}_t \triangleq \bigcap _{s > t} \sigma (\mathsf {X}_u, u \in [0, s])\) for \(t \in \mathbb {R}_+\).
Let us shortly comment on the driving noise of the SPDEs under consideration and on stochastic integration. We call a family \(W \triangleq (\beta ^k)_{k \in \mathbb {N}}\) of independent one dimensional standard Brownian motions a standard \(\mathbb {R}^\infty \)-Brownian motion. It is well-known (see, e.g. [13, Chapter 2]) that any standard \(\mathbb {R}^\infty \)-Brownian motion can be seen as a trace class Brownian motion in another Hilbert space: Let J be a one-to-one Hilbert–Schmidt embedding of H into another separable Hilbert space \((\overline{H}, \Vert \cdot \Vert _{\overline{H}}, \langle \cdot , \cdot \rangle _{\overline{H}})\) and let \((e_k)_{k \in \mathbb {N}}\) be an orthonormal basis of H. The formula
defines a trace class \(\overline{H}\)-valued Brownian motion with covariance \(J J^*\). Conversely, any trace class \(\overline{H}\)-valued Brownian motion with covariance \(J J^*\) has such a series representation. Let \(\sigma = (\sigma _t)_{t \ge 0}\) be an H-valued progressively measurable process such that a.s.
Then, \(\widetilde{\sigma } \triangleq \langle \sigma , \cdot \rangle _H\) defines a progressively measurable process with values in \(L_2 (H, \mathbb {R})\), the space of Hilbert–Schmidt operators \(H \rightarrow \mathbb {R}\), and \(\Vert \widetilde{\sigma }\Vert _{L_2(H, \mathbb {R})} = \Vert \sigma \Vert _H\). The stochastic integral of \(\widetilde{\sigma }\) w.r.t. a standard \(\mathbb {R}^\infty \)-Brownian motion W is defined by
where the stochastic integrals on the r.h.s. are defined in the classical manner (see, e.g. [13, Chapter 2]). We stress that this definition of the stochastic integral is independent of the choice of \(\overline{H}\) and J. It is also well-known (see, e.g. [4, Section 4.1.2]) that a standard \(\mathbb {R}^\infty \)-Brownian motion can be seen as a cylindrical Brownian motion \(\{B (x) :x \in H\}\) defined by the formula
Conversely, any cylindrical Brownian motion has such a series representation. For a simple H-valued process \(\sigma = \sum _{k = 1}^m f^k x^k\), where \(f^k\) are bounded real-valued progressively measurable processes and \(x^k \in H\), the stochastic integral of \(\sigma \) w.r.t. B can be defined by
where the stochastic integrals on the r.h.s. are classical stochastic integrals w.r.t. one dimensional continuous local martingales. This definition extends to more general integrands by approximation, see [14] or [15]. In particular, for any H-valued progressively measurable process \(\sigma = (\sigma _t)_{t \ge 0}\) satisfying (2.1) it holds that
In the following we fix \(\overline{H}\) and J and identify the law of W with the law of \(\overline{W}\) seen as a probability measure on the canonical space of continuous functions \(\mathbb {R}_+ \rightarrow \overline{H}\) equipped with the \(\sigma \)-field generated by the corresponding coordinate process (which is its Borel \(\sigma \)-field when endowed with the local uniform topology).
The input data for the SPDE (1.1) is the following:
-
Two processes defined on the filtered space \((\mathbb {C}, \mathcal {C}, \mathbf {C})\): An \({U}\)-valued progressively measurable process \(\mu =(\mu _t)_{t \ge 0}\) and an L-valued progressively measurable process \(\sigma = (\sigma _t)_{t \ge 0}\), i.e. \(\sigma h\) is progressively measurable for every \(h \in H\).
-
A set \(\mathcal {I} \in \mathcal {C}\) such that for all \(\omega \in \mathcal {I}\) the following holds:
$$\begin{aligned} \int _0^t \Vert \mu _s (\omega )\Vert _{U}ds + \int _0^t \Vert \sigma _s (\omega )\Vert _{L}^2 ds < \infty , \quad t \in \mathbb {R}_+. \end{aligned}$$ -
A densely defined operator \(A :D(A) \subseteq {U}\rightarrow {U}\) with adjoint \(A^* :D(A^*) \subseteq {U}^* \rightarrow {U}^*\) whose domain \(D(A^*)\) is sequentially weak\(^*\) dense in \({U}^*\).
-
An initial value \(x_0 \in {U}\).
Remark 2.1
Often enough \({U}\) is itself a Hilbert space, or at least a reflexive Banach space, and A is the generator of a \(C_0\)-semigroup on \({U}\). In these cases A and \(A^*\) are densely defined and in particular \(D(A^*)\) is sequentially weak\(^*\) dense.
In the following definition we introduce analytically and probabilistically weak solutions to the SPDE (1.1) and two weak uniqueness concepts.
Definition 2.2
-
(i)
We call \((\mathbb {B}, W)\) a driving system, if \(\mathbb {B}= (\Omega , \mathcal {F}, (\mathcal {F}_t)_{t \ge 0}, \mathbb {P})\) is a filtered probability space with right-continuous and complete filtration which supports a standard \(\mathbb {R}^\infty \)-Brownian motion W.
-
(ii)
We call \((\mathbb {B}, W, X)\) a weak solution to the SPDE (1.1), if \((\mathbb {B}, W)\) is a driving system and X is a continuous \({U}\)-valued adapted process on \(\mathbb {B}\) such that a.s. \(X \in \mathcal {I}\) and for all \(y^* \in D(A^*)\) a.s.
$$\begin{aligned} \begin{aligned} \langle X, y^*\rangle _{U}= \langle x_0&, y^*\rangle _{U}+ \int _0^\cdot \langle X_s, A^*y^*\rangle _{U}ds \\&+ \int _0^\cdot \langle \mu _s(X), y^*\rangle _{U}ds + \int _0^\cdot \langle \sigma _s (X)^* y^*, d W_s \rangle _{H}. \end{aligned} \end{aligned}$$(2.2)The process X is called a solution process on the driving system \((\mathbb {B}, W)\).
-
(iii)
We say that weak (joint) uniqueness holds for the SPDE (1.1), if for any two weak solutions \((\mathbb {B}^1, W^1, X^1)\) and \((\mathbb {B}^2, W^2, X^2)\) the laws of \(X^1\) and \(X^2\) (the laws of \((X^1, W^1)\) and \((X^2, W^2)\)) coincide. The law of a solution process is called a solution measure.
Our main result is the following:
Theorem 2.3
Weak uniqueness holds if and only if weak joint uniqueness holds.
The proof of this theorem is given in Sect. 3 . We also provide a dual Yamada–Watanabe theorem for our framework. To formulate it we need more terminology.
Definition 2.4
-
(i)
We say that strong existence holds for the SPDE (1.1), if there exists a weak solution \((\mathbb {B}, W, X)\) such that X is adapted to the completion of the natural filtration of \(\overline{W}\).
-
(ii)
We say that strong uniqueness holds for the SPDE (1.1), if any two solution processes on the same driving system are indistinguishable.
The classical Yamada–Watanabe theorem for the Markovian version of our framework is given by [12, Theorem 5.3].
Corollary 2.5
(Dual Yamada–Watanabe Theorem) Weak Uniqueness and strong existence imply strong uniqueness and weak existence.
Proof
Due to Theorem 2.3, it suffices to show that weak joint uniqueness and strong existence imply strong uniqueness. To prove this, we follow the proof of [9, Theorem 8.3]. Let \(\mathsf {P}\) be the unique joint law of a solution process and its driver, and let \(\mathbb {W}\) be the unique law of a trace class \(\overline{H}\)-valued Brownian motion with covariance \(J J^*\). As strong existence holds, [10, Lemmata 1.13, 1.25] imply the existence of a measurable map \(F :C(\mathbb {R}_+, \overline{H}) \rightarrow \mathbb {C}= C(\mathbb {R}_+, {U})\) such that
Let \(((\Omega , {\mathcal {F}}, ({\mathcal {F}}_t)_{t \ge 0}, {\mathbb {P}}), W)\) be a driving system which supports two solution processes X and Y. Recalling that joint weak uniqueness holds, we obtain
Consequently, strong uniqueness holds and the proof is complete. \(\square \)
Let us relate weak solutions to so-called mild solutions, which are also frequently used in the literature (see, e.g. [15, 21]). Let \(L_2\) be the space of radonifying operators \(H \rightarrow {U}\). The following proposition is a direct consequence of [15, Theorem 13].
Proposition 2.6
Assume that \({U}\) is 2-smooth and that A is the generator of a \(C_0\)-semigroup \((S_t)_{t \ge 0}\) on \(U\). Let \((\mathbb {B}, W)\) be a driving system which supports a continuous \({U}\)-valued adapted process X such that a.s.
Then, X is a solution process on \((\mathbb {B}, W)\) if and only if a.s. \(X \in \mathcal {I}\) and a.s.
This proposition shows that certain results from the literature are special cases of ours. For instance, Theorem 2.3 generalizes [21, Theorem 1.3], and Corollary 2.5 generalizes [21, Theorem 1.6].
We end this section with a comment on a possible application of our results. It is interesting to prove strong uniqueness for SPDEs. Similar to the finite dimensional case, Corollary 2.5 shows that strong uniqueness can be deduced from weak uniqueness and strong existence. This strategy is e.g. interesting for equations of the type
whose weak properties can be deduced via Girsanov’s theorem from the corresponding properties of the Ornstein–Uhlenbeck equation
see [13, Appendix I] for such an argument. In other words, by the Yamada–Watanabe theorems (Corollary 2.5 and [12, Theorem 5.3]), typically strong existence and uniqueness are equivalent for (2.3). More generally, Girsanov’s theorem can be used to deduce weak properties for equations of the type
from the corresponding properties of the equation
It is interesting to note that the strong uniqueness properties of (2.3) turn out to be quite subtle for general non-anticipating \(\mu \), in fact more subtle than for Markovian \(\mu \). For a Hilbert space setting and suitable linearities A, it was proven in [5, 6] that the Markovian equation
satisfies strong existence for every (locally) bounded \(\mu \). This remarkable result is not true for non-anticipating \(\mu \). Indeed, Tsirel’son’s example ([19, Section V.18]) shows that even for bounded non-anticipating \(\mu \) the SPDE (2.3) might not satisfy strong uniqueness.
3 Proof of Theorem 2.3
The if implication is obvious. Thus, we will only prove the only if implication. Assume that weak uniqueness holds for the SPDE (1.1).
Let X be a solution process to the SPDE (1.1) which is defined on a driving system \(((\Omega ^*, \mathcal {F}^*, (\mathcal {F}^*_t)_{t \ge 0}, {\mathbb {P}}^*), W)\). We take a second driving system \(((\Omega ^o, \mathcal {F}^o, (\mathcal {F}^o_t)_{t \ge 0}, {\mathbb {P}}^o), B)\) and set
Define \(\mathcal {F}_t\) to be the \({\mathbb {P}}\)-completion of the \(\sigma \)-field \(\bigcap _{s > t} (\mathcal {F}^*_s \otimes \mathcal {F}^o_s)\). In the following the filtered probability space \(\mathbb {B} = (\Omega , \mathcal {F}^{\mathbb {P}}, (\mathcal {F}_t)_{t \ge 0}, {\mathbb {P}})\) will be our underlying space. We extend X, W and B to \(\mathbb {B}\) by setting
for \((\omega ^*, \omega ^o) \in \Omega \). It is easy to see that \((\mathbb {B}, W)\) and \((\mathbb {B}, B)\) are again driving systems and that X is a solution process on \((\mathbb {B}, W)\).
For a closed linear subspace \(H^o\) of H we denote by \(\hbox {pr}_{H^o}\) the orthogonal projection onto \(H^o\). For \((\omega , t) \in \mathbb {C}\times \mathbb {R}_+\) we define
Let us summarize some basic properties of \(\phi \) and \(\psi \):
The following lemma follows from an approximation argument (see the proof of [15, Lemma 9.2] for details).
Lemma 3.1
The processes \(\phi = (\phi _t)_{t \ge 0}\) and \(\psi = (\psi _t)_{t \ge 0}\) are progressively measurable as processes on the canonical space \((\mathbb {C}, \mathcal {C}, \mathbf {C})\).
By Lemma 3.1, we can define a sequence \(V = (V^k)_{k \in \mathbb {N}}\) of continuous local martingales via
The following lemma is the technical core of the proof. We postpone its proof till the proof of Theorem 2.3 is complete.
Lemma 3.2
The process V is a standard \(\mathbb {R}^\infty \)-Brownian motion. Moreover, V is independent of X, i.e. the \(\sigma \)-fields \(\sigma (\overline{V}_t, t \in \mathbb {R}_+)\) and \(\sigma (X_t, t \in \mathbb {R}_+)\) are independent, where \(\overline{V}\) is defined by the formula
For every \(k \in \mathbb {N}\), Proposition A.4 in Appendix A and (3.1) yield that
and consequently,
By the construction of the stochastic integral, the law of the second term is determined by the law of (X, V), cf. [10, Proposition 17.26] for a similar argument in a finite dimensional setting. In the following we explain that the same is true for the first term, borrowing some ideas from the proof of [15, Lemma 9.2]. In fact, we even show that its law is determined by the law of X. Define
Lemma 3.3
For every \(T > 0\) and \(x \in H\) there exists a sequence \((\mathfrak {s}^m)_{m \in \mathbb {N}}\) of progressively measurable \(U^*\)-valued processes on \((\mathbb {C}, \mathcal {C}, \mathbf {C})\) such that
Proof
We verify the prerequisites of [15, Proposition 8.8] for \(\mathbb {X} = {U}^*\) endowed with the norm topology: The process \(H(\cdot , \cdot , x , y^*)\) is progressively measurable by Lemma 3.1. It is clear that \(y^* \mapsto H (t, \omega , x, y^*)\) is continuous. Finally, we show that \(\{y^* \in U^* :H(t, \omega , x, y^*) < 1/m\} \not = \emptyset \) for every \(m \in \mathbb {N}\). Fix \((t, \omega ) \in \mathbb {R}_+ \times \mathbb {C}\) and note that
cf. [22, Satz III.4.5]. Thus, there exists a sequence \((y^*_m)_{m \in \mathbb {N}} \subset U^*\) such that
We conclude that \(\{y^* \in U^* :H(t, \omega , x, y^*) < 1/m\} \not = \emptyset \) for every \(m \in \mathbb {N}\). In summary, the claim follows from [15, Proposition 8.8]. \(\square \)
Fix \(T > 0\) and \(x \in H\) and let \((\mathfrak {s}^m)_{m \in \mathbb {N}}\) be as in Lemma 3.3. Then, Proposition A.2 in Appendix A yields that
in probability as \(m \rightarrow \infty \). Define \(Z = \{Z (y^*) :y^* \in {U}^*\}\) by
Since
by Proposition A.4 in Appendix A, the construction of the stochastic integral implies that the law of \(\int _0^\cdot \langle \sigma _s (X)^* \mathfrak {s}^m_s (X), d W_s\rangle _{H}\) is determined by the finite dimensional distributions of (X, Z). Thus, also the law of \(\int _0^\cdot \langle \psi _s (X) e_k, d W_s\rangle _{H}\) is determined by the finite dimensional distributions of (X, Z).
Lemma 3.4
For every (finite) random time \(T:\mathbb {C}\rightarrow \mathbb {R}_+\) and \(y^* \in D(A^*)\) there exists a measurable map \(F :\mathbb {C}\rightarrow \overline{\mathbb {R}}\) such that a.s. \(Z_{T (X)} (y^*) = F(X)\).
Proof
We define
set to be \(+ \infty \) if the last integral diverges. The claim now follows from the definition of a weak solution. \(\square \)
Lemma 3.4 shows that the finite dimensional distributions of \(\{Z (y^*) :y^* \in D(A^*)\}\) are determined by the law of X. We now adapt an argument from the proof of [12, Lemma 4.1] to extend this observation to \(\{Z (y^*) :y^* \in U^*\}\). Define the localizing sequence
Recall that \(D(A^*)\) is assumed to be sequentially weak\(^*\) dense. Thus, for every \(y^* \in {U}^*\) there exists a sequence \((y_k^*)_{k \in \mathbb {N}} \subset D(A^*)\) such that \(y^*_k \rightarrow y^*\) in the weak\(^*\) topology. Fix \(T > 0\) and \(m > 0\) and let be the Lebesgue measure on [0, T]. As \((y^*_k)_{k \in \mathbb {N}}\) is bounded by the uniform boundedness principle, the dominated convergence theorem yields that
for every . This means that
weakly in as \(k \rightarrow \infty \). By Mazur’s lemma ([22, Korollar III.3.9]), there exists a sequence \((x^*_k)_{k \in \mathbb {N}}\) in the convex hull of \((y^*_k)_{k \in \mathbb {N}}\) (and thus in \(D(A^*)\)) such that
strongly in as \(k \rightarrow \infty \). Hence, Proposition A.2 in Appendix A yields that
in probability as \(k \rightarrow \infty \). Finally, we conclude from Lemma 3.4 that the finite dimensional distributions of (X, Z) are determined by the law of X.
In summary, the law of (X, W) is determined by the law of (X, V) and hence, by Lemma 3.2, it is determined by the law of X. The proof is complete. \(\square \)
It remains to prove Lemma 3.2:
Proof of Lemma 3.2:
Step 1. Recall that each \(V^k\) is a continuous local martingale by the definition of the stochastic integral. Denote the quadratic variation process by \([\cdot , \cdot ]\). For \(i, j \in \mathbb {N}\) and \(t \in \mathbb {R}_+\), using Proposition A.3 in Appendix A and the self-adjointness of \(\phi \) and \(\psi \), we obtain
Lévy’s characterization implies that V is a standard \(\mathbb {R}^\infty \)-Brownian motion.
Step 2. In this step we prepare the proof of the independence of V, or more precisely \(\overline{V}\), and X. Let \(C^2_b (\mathbb {R})\) be the set of bounded twice continuously differentiable functions with bounded first and second derivative.
Lemma 3.5
Let \(\overline{Y}\) be a continuous adapted \(\overline{H}\)-valued process starting at \(\overline{Y}_0 = 0_{\overline{H}}\). For \(h \in \overline{H}\) set \(\overline{Y} (h) \triangleq \langle \overline{Y}, h\rangle _{\overline{H}}\). The following are equivalent:
-
(i)
\(\overline{Y}\) is a trace class Brownian motion with covariance \(J J^*\).
-
(ii)
For all \(f \in C^2_b(\mathbb {R})\) with \(\inf _{x \in \mathbb {R}} f(x) > 0\) and \(f (0) = 1\), and all \(h \in \overline{H}\) the process
$$\begin{aligned} M^f \triangleq f(\overline{Y}(h) )\exp \Big ( - \frac{\langle J J^* h, h \rangle _{\overline{H}}}{2} \int _0^\cdot \frac{f''(\overline{Y}_s (h)) ds}{f (\overline{Y}_s (h))} \Big ) \end{aligned}$$(3.2)is a martingale.
Proof
By the classical martingale problem for (one dimensional) Brownian motion (see, e.g. [20, Theorem 4.1.1]) and [7, Proposition 4.3.3], (ii) holds if and only if \(\overline{Y} (h)\) is a one dimensional Brownian motion with covariance \(\langle J J^* h , h \rangle _{\overline{H}}\) for all \(h \in \overline{H}\). This yields the claim. \(\square \)
For \(f = g(\langle \cdot , y^*\rangle _{U})\) with \(g \in C^2 (\mathbb {R})\) and \(y^* \in D(A^*)\) we define
Furthermore, we set
The following is a version of [12, Theorem 3.6] for our framework.
Lemma 3.6
A probability measure \(\mathbb {Q}'\) on \((\mathbb {C}, \mathcal {C}, \mathbf {C})\) is the law of a solution process to the SPDE (1.1) if and only if \({\mathbb {Q}'(\mathcal {I}, {\mathsf {X}}_0 = x_0) = 1}\) and for all \(f \in \mathfrak {X}\) the process
is a local \((\mathbf {C}^{\mathbb {Q}'}, \mathbb {Q}')\)-martingale, where \(\mathbf {C}^{\mathbb {Q}'}\) denotes the \(\mathbb {Q}'\)-completion of \(\mathbf {C}\). Furthermore, for every solution process X to the SPDE (1.1) the process \(K^f \circ X\) is a local martingale on the corresponding driving system.
Proof
The structure of the proof is classical and similar to the finite dimensional case (see, e.g. [11, Chapter 5.4]). Let \(\mathbb {Q}'\) be a solution measure to the SPDE (1.1) and let \((\mathbb {B}, W, X)\) be a weak solution such that \(\mathbb {B}=(\Omega , \mathcal {F}, (\mathcal {F}_t)_{t \ge 0}, \mathbb {P})\) and \(\mathbb {Q}' = \mathbb {P} \circ X^{-1}\). Take \(f = g(\langle \cdot , y^*\rangle _{U}) \in \mathfrak {X}\). Then, Itô’s formula yields that
Hence, \(K^f \circ X\) is a local martingale. Due to [8, Remark 10.40], the local martingale property transfers to the canonical space \((\mathbb {C}, \mathcal {C}^{\mathbb {Q}'}, \mathbf {C}^{\mathbb {Q}'}, \mathbb {Q}')\) and the only if implication follows.
Conversely, let \(\mathbb {Q}'\) be as in the statement of the lemma. Then, using the hypothesis with \(g(x) = x\) and \(g(x) = x^2\) and similar arguments as in the proof of [11, Proposition 5.4.6], for every \(y^* \in D(A^*)\) it follows that
is a local \((\mathbf {C}^{\mathbb {Q}'}, \mathbb {Q}')\)-martingale with quadratic variation
As \(D(A^*)\) is supposed to be weak\(^*\) dense in \({U}^*\), it separates points of \({U}\). Thus, we deduce from [16, Theorem 3.1] that, possibly on an extension of the filtered probability space \((\mathbb {C}, \mathcal {C}^{\mathbb {Q}'}, \mathbf {C}^{\mathbb {Q}'}, \mathbb {Q}')\), there exists a standard \(\mathbb {R}^\infty \)-Brownian motion W such that
Due to (3.5), we conclude the if implication. The proof is complete. \(\square \)
Define \(M^f\) and \(K^g\) as in (3.2) and (3.3) with \(\overline{Y}\) replaced by \(\overline{V}\) and \(\mathsf {X}\) replaced by X. It follows from Lemma 3.5 and Step 1 that \(M^f\) is a martingale. Similarly, because X is a solution process to the SPDE (1.1), \(K^g\) is a local martingale by Lemma 3.6. We now show that \([M^f, K^g] = 0\). Itô’s formula yields that
Using Proposition A.3 in Appendix A, we deduce from (3.1) that
In view of (3.4) and (3.6), we conclude that \([M^f, K^g] = 0\).
Step 3: We are in the position to follow the proof of [3, Theorem 2.3]. More precisely, we deduce the independence of V and X from \([M^f, K^g] = 0\). For \(n \in \mathbb {N}\) set
As \(K^g\) has continuous paths, \(K^{g, n}\) is bounded on bounded time intervals and consequently, \(K^{g, n}\) is a martingale. Step 2 yields that \([M^{f}, K^{g, n}] = [M^f, K^g]_{\cdot \wedge T_n} = 0\). Hence, by integration by parts, the process \(M^f K^{g, n}\) is a local martingale and a true martingale, because it is bounded on bounded time intervals. Next, fix a bounded stopping time S and define a measure \(\mathbb {Q}'\) on \((\Omega , \mathcal {F})\) as follows:
As \(M^f_0 = 1\), the optional stopping theorem shows that \(\mathbb {Q}'\) is a probability measure. Since \(M^f, K^{g, n}\) and \(M^f K^{g, n}\) are \({\mathbb {P}}\)-martingales, we deduce again from the optional stopping theorem that for every bounded stopping time T
Thus, because T was arbitrary and \(T_n \nearrow \infty \) as \(n \rightarrow \infty \), \(K^{g}\) is a local \(\mathbb {Q}'\)-martingale. As g was arbitrary, we deduce from Lemma 3.6 and [8, Remark 10.40] that \(\mathbb {Q}' \circ X^{-1}\) is a solution measure to the SPDE (1.1). The weak uniqueness assumption now implies that \({\mathbb {P}} \circ X^{-1} = \mathbb {Q}' \circ X^{-1}\). Next, fix a set \(F \in \sigma (X_t, t \in \mathbb {R}_+)\) such that \({\mathbb {P}} (F) > 0\) and set
Clearly, \(\mathbb {Q}^*\) is a probability measure on \((\Omega , \mathcal {F})\). Recalling \({\mathbb {P}}(F) = \mathbb {Q}'(F)\), we obtain
Thus, because S was arbitrary, \(M^f\) is a \(\mathbb {Q}^*\)-martingale. Since f was arbitrary, Lemma 3.5 yields that \(\overline{V}\) is a trace class \(\mathbb {Q}^*\)-Brownian motion with covariance \(J J^*\). Consequently, for every \(G \in \sigma (\overline{V}_t, t \in \mathbb {R}_+)\) we have
Since this equality holds trivially whenever \(F \in \sigma (X_t, t \in \mathbb {R}_+)\) satisfies \(\mathbb {P}(F) = 0\), we conclude that V and X are independent. The proof is complete. \(\square \)
References
Cherny, A.S.: On the uniqueness in law and the pathwise uniqueness for stochastic differential equations. Teoriya Veroyatnostei i ee Primeneniya 46(3), 483–497 (2001)
Cherny, A.S.: On the uniqueness in law and the pathwise uniqueness for stochastic differential equations. Theory of Probab. & Its Appl. 46(3), 406–419 (2002)
Criens, D.: A dual Yamada-Watanabe theorem for Lévy driven stochastic differential equations. Electron. Commun. Probab. 26(18), 1–10 (2021)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, 2nd edition (2014)
Da. Prato, G., Flandoli, F., Priola, E., Röckner, M.: Strong uniqueness for stochastic evolution equations in Hilbert spaces perturbed by a bounded measurable drift. Ann. Probab. 41(5), 3306–3344 (2013)
Da. Prato, G., Flandoli, F., Priola, E., Röckner, M.: Strong uniqueness for stochastic evolution equations with unbounded measurable drift term. J. Theor. Probab. 28, 1571–1600 (2015)
Ethier, S.N., Kurtz, T.G.: Markov processes: characterization and convergence. Wiley, New York (2005)
Jacod, J.: Calcul stochastique et problèmes de martingales. Springer, Berlin (1979)
Jacod, J.: Weak and strong solutions of stochastic differential equations. Stochastics 3(1–4), 171–191 (1980)
Kallenberg, O.: Foundations of Modern Probability, 2nd edn. Springer, Berlin Heidelberg (2002)
Karatzas, I., Shreve, S.E.: Brownian motion and stochastic calculus, 2nd edn. Springer, New York (1991)
Kunze, M.C.: On a class of martingale problems on Banach spaces. Electron. J. Probab. 18(104), 1–30 (2013)
Liu, W., Röckner, M.: Stochastic Partial Differential Equations: An Introduction. Springer International Publishing (2015)
Mikulevicius, R., Rozovskii, B.L.: Normalized stochastic integrals in topological vector spaces. Séminaire de Probabilités XXXII, Eds. M. Yor, M. Émery and M. Ledoux, Springer Berlin Heidelberg, 137–165 (1998)
Ondreját, M.: Uniqueness for stochastic evolution equations in Banach spaces. DISS Math. 426, 1–63 (2004)
Ondreját, M.: Integral representations of cylindrical local martingales in every separable Banach space. Infinite Dimens. Anal. Quantum Probab. Relat. Topics 10(3), 365–379 (2007)
Qiao, H.: A theorem dual to Yamada-Watanabe theorem for stochastic evolution equations. Stoch. Dyn. 10(03), 367–374 (2010)
Rehmeier, M.: On Cherny’s results in infinite dimensions: a theorem dual to Yamada-Watanabe. Stoch. Part. Differ. Equ. Anal. Comput. 9, 33–70 (2021)
Rogers, L.C.G., Williams, D.: Diffusions, Markov Processes, and Martingales. Volume 2 - Itô Calculus. Cambridge University Press, 2nd edition (2000)
Stroock, D.W., Varadhan, S.R.S.: Multidimensional Diffusion Processes. Springer, Berlin Heidelberg (1979)
Tappe, S.: The dual Yamada–Watanabe theorem for mild solutions to stochastic partial differential equations. arXiv:2006.13038v1 (2020)
Werner, D.: Functional analysis, 7th edn. Springer, Berlin Heidelberg (2011)
Yamada, T., Watanabe, S.: On the uniqueness of solutions of stochastic differential equations. J. Math. Kyoto Univ. 11(1), 155–167 (1971)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
DC acknowledges financial support from the DFG project No. SCHM 2160/15-1.
A Some Facts for Stochastic Integrals
A Some Facts for Stochastic Integrals
In the following all processes are defined on a fixed filtered probability space (with complete right-continuous filtration). Let W and B be two standard \(\mathbb {R}^\infty \)-Brownian motions and let \(\phi = (\phi _t)_{t \ge 0}, \psi = (\psi _t)_{t \ge 0}\) and \(\phi ^n = (\phi ^n_t)_{t \ge 0}\) be H-valued progressively measurable processes such that a.s.
We start with a basic property of stochastic integrals, which we use throughout the article without further reference. Recall that \([\cdot , \cdot ]\) denotes the quadratic variation process.
Proposition A.1
The following proposition is a direct consequence of [15, Proposition 4.1].
Proposition A.2
If for some \(T > 0\)
in probability, then
in probability as well.
The next proposition follows from [18, Proposition 4.7].
Proposition A.3
If W and B are independent, then
Finally, we also provide a simple chain rule, which can be proven by first checking it for simple processes and then using an approximation argument.
Proposition A.4
Let \(g = (g_t)_{t \ge 0}\) be an L-valued progressively measurable process and let \(\theta ^* = (\theta ^*_t)_{t \ge 0}\) be a \(U^*\)-valued progressively measurable process such that a.s.
and define a cylindrical local martingale \(Z = \{Z (y^*) :y^* \in U^*\}\) by
Then, the stochastic integrals
are well-defined (where the second integral is defined as in [14]) and
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Criens, D., Ritter, M. On a Theorem by A.S. Cherny for Semilinear Stochastic Partial Differential Equations. J Theor Probab 35, 2052–2067 (2022). https://doi.org/10.1007/s10959-021-01107-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-021-01107-3
Keywords
- Stochastic partial differential equation
- Martingale problem
- Weak solution
- Mild solution
- Dual Yamada–Watanabe theorem
- Weak uniqueness
- Joint weak uniqueness
- Pathwise uniqueness
- Strong uniqueness