Abstract
In this article, we construct a Stratonovich solution for the stochastic wave equation in spatial dimension \(d \le 2\), with time-independent noise and linear term \(\sigma (u)=u\) multiplying the noise. The noise is spatially homogeneous and its spectral measure satisfies an integrability condition which is stronger than Dalang’s condition. We give a probabilistic representation for this solution, similar to the Feynman–Kac-type formula given in Dalang et al. (Trans Am Math Soc 360:4681–4703, 2008) for the solution of the stochastic wave equation with spatially homogeneous Gaussian noise, that is white in time. We also give the chaos expansion of the Stratonovich solution and we compare it with the chaos expansion of the Skorohod solution from Balan et al. (Exact asymptotics of the stochastic wave equation with time independent noise, 2020. ar**v:2007.10203).
Similar content being viewed by others
References
Balan, R.M., Chen, L., Chen, X.: Exact asymptotics of the stochastic wave equation with time independent noise. Preprint ar**v:2007.10203 (2020)
Balan, R.M., Song, J.: Hyperbolic Anderson model with space-time homogeneous Gaussian noise. ALEA Latin Am. J. Probab. Math. Stat. 14, 799–849 (2017)
Bolaños-Guerrero, R., Nualart, D., Zheng, G.: Averaging 2D stochastic wave equation. Preprint ar**v:2003.10346, version 2 (2020)
Dalang, R.C.: Extending martingale measure stochastic integral with application to spatially homogenous s.p.d.e.’s. Electr. J. Probab. 4(6), 1–29 (1999)
Dalang, R.C., Mueller, C., Tribe, R.: A Feynman–Kac-type formula for the deterministic and stochastic wave equations and other p.d.e.’s. Trans. Am. Math. Soc. 360, 4681–4703 (2008)
Hu, Y.: Analysis on Gaussian Spaces. World Scientific, Hakensack (2017)
Hu, Y., Huang, J., Nualart, D., Tindel, S.: Stochastic heat equations with general multiplicative Gaussian noises: Hölder continuity and intermittency. Electr. J. Probab. 20(55), 50 (2015)
Hu, Y., Meyer, P.A.: Chaos de Wiener et intégrales de Feynman. In: Azema, J., Meyer, P.A., Yor, M. (eds.) Séminaire de Probabilités XXII. Lecture Notes in Mathematics, vol. 1321, pp. 51–71. Springer, Berlin (1988)
Hu, Y., Meyer, P.A.: Sur les intégrales multiples de Stratonovitch. In: Azema, J., Meyer, P.A., Yor, M. (eds.) Séminaire de Probabilités XXII. Lecture Notes in Mathematics, vol. 1321, pp. 72–81. Springer, Berlin (1988)
Hu, Y., Nualart, D.: Stochastic heat equation driven by fractional noise and local time. Probab. Theory Relat. Fields 143, 285–328 (2009)
Khoshnevisan, D., **ao, Y.: Harmonic analysis of additive Lévy processes. Probab. Theory Relat. Fields 145, 459–515 (2009)
Nourdin, I., Peccati, G.: Normal Approximations with Malliavin Calculus: from Steins’ Method to Universality. Cambridge Tracts in Mathematics, vol. 192. Cambridge University Press, Cambridge (2012)
Nualart, D.: The Malliavin Calculus and Related Topics, 2nd edn. Springer, Berlin (2006)
Nualart, D., Zheng, G.: Central limit theorems for stochastic wave equations in dimensions one and two. To appear in Stoch. PDEs Anal. Comp. (2021)
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.
Research supported by a grant from the Natural Sciences and Engineering Research Council of Canada.
Appendices
A Parseval-type identities
In this section, we give two Parseval-type identities which are used in this paper.
Lemma A.1
Let \(d\ge 1\) be arbitrary and \(\gamma :{\mathbb {R}}^d \rightarrow [0,\infty ]\) be nonnegative-definite function satisfying Assumption A. Let \(\mu \) be the tempered measure on \({\mathbb {R}}^d\) such that \(\gamma ={\mathcal {F}}\mu \). If \(\varphi \) is a nonnegative integrable function on \({\mathbb {R}}^d\) such that \(\int _{{\mathbb {R}}^{d}}|{\mathcal {F}}\varphi (\xi )|^2 \mu (\mathrm{d}\xi )<\infty \), then
Proof
By relation (5.37) of [11],
for any finite measures \(\nu _1,\nu _2\) on \({\mathbb {R}}^d\) such that \(\int _{{\mathbb {R}}^d}|{\mathcal {F}}\nu _i(\xi )|^2 \mu (\mathrm{d}\xi )<\infty \) for \(i=1,2\). The conclusion follows taking \(\nu _1(\mathrm{d}x)=\varphi (x)\mathrm{d}x\) and \(\nu _2=\delta _0\). \(\square \)
Lemma A.2
Let \(\gamma \) and \(\mu \) be as in Lemma A.1. If \(\varphi \) is a nonnegative integrable function on \(({\mathbb {R}}^d)^{2k}\) and \(\{I_1,\ldots ,I_k\}\) is a partition of \(\{1,\ldots ,2k\}\) with \(I_i=\{\ell _i,m_i\}\) for \(i=1,\ldots ,k\), then
provided that the integral on the right-hand side is finite.
Proof
Without loss of generality, we will assume that \(I_i=\{2i-1,2i\}\) for all \(i=1,\ldots ,k\). (If not, we use the change of variables \(y_{1}=x_{\ell _1},y_{2}=x_{m_1},\ldots ,y_{2k-1}=x_{\ell _k},y_{2k}=x_{m_k}\) and we let \(\rho \) be the permutation of \(\{1,\ldots ,2k\}\) given by \(\ell _1=\rho (1),m_1=\rho (2),\ldots ,\ell _k=\rho (2k-1),m_k=\rho (2k)\). Then \(y_i=x_{\rho (i)}\) for \(i=1,\ldots ,2k\), and
where \(\mathbf{x}=(x_1,\ldots ,x_{2k})\) and \(\mathbf{y} =(y_1,\ldots ,y_{2k})\).) We have to prove that
which we will rewrite as:
with \(\mathbf{x}=(x_1,\ldots ,x_{k})\) and \(\mathbf{x}' =(x_1',\ldots ,x_{k}')\).
We prove (59) by induction on \(k\ge 1\). If \(k=1\), then by Lemma A.1, we have:
where for the second last line we used the fact that \(\mu \) is symmetric. Suppose now that the statement holds for k. By applying the result for \(k=1\), we obtain:
where \(\psi _{\xi _{k+1}}(x_1,x_1',\ldots ,x_k,x_k'):={\mathcal {F}}\varphi (x_1,x_1',\ldots ,x_k,x_k',\cdot ,\cdot )(\xi _{k+1},-\xi _{k+1})\). We apply Fubini’s theorem and the induction hypothesis for the inner integral on \(({\mathbb {R}}^d)^{2k}\). We obtain:
The conclusion follows since \({\mathcal {F}}\psi _{\xi _{k+1}} (\xi _1,-\xi _1,\ldots ,\xi _k,-\xi _k)={\mathcal {F}}\varphi (\xi _1,-\xi _1,\ldots ,\xi _{k+1},-\xi _{k+1})\). \(\square \)
B Products of Wiener integrals
In this section, we develop a formula for the product of n Wiener integrals with respect to the noise W, which plays a crucial role in the present paper. This formula is a consequence of Corollary 5.1 (page 123) of [6]. We include its proof for the sake of completeness.
We recall the product formula from Malliavin calculus: for any integer \(p\ge 1\), for any symmetric function \(f \in {\mathcal {H}}^{\otimes p}\) and for any \(g \in {\mathcal {H}}\),
where \(f \otimes _{1} g\) is the first contraction of f and g, defined by:
(see, e.g., Theorem 2.7.10 of [12], or Proposition 1.1.3 of [13]).
We will use the fact that \(I_p(f)=I_p(\widetilde{f})\) for any \(f \in {\mathcal {H}}^{\otimes p}\), where \(\widetilde{f}\) is the symmetrization of f. We let \(f \otimes _0 g=f \otimes g\) and we denote by \(f \widetilde{\otimes }_{r} g\) the symmetrization of \(f \otimes _{r} g\).
Theorem B.1
For any \(n\ge 2\) and for any functions \(f_1,\ldots ,f_n\in {\mathcal {H}}\),
with the convention that \(\otimes _{j \in \emptyset } f_j=1\) and \(I_0(1)=1\).
Proof
We use induction on n. The case \(n=2\) is clear.
Suppose that the result is true for n. Assume that n is even, \(n=2K\) for \(K\in {\mathbb {Z}}_{+}\). The case when n is odd is similar and will be omitted.
We multiply relation (61) by \(I_{n+1}(f_{n+1})\). To evaluate the product \(I_{n-2k}(\bigotimes _{j\in J}f_j)I_1(f_{n+1})\), we distinguish 2 cases:
-
(a)
if \(k=K\), then \(J=\emptyset \) and \(I_{n-2k}(\bigotimes _{j\in J}f_j)I_1(f_{n+1})=I_1(f_{n+1})\);
-
(b)
if \(k \le K-1\), then by (60),
$$\begin{aligned} I_{n-2k}\left( \bigotimes _{j\in J}f_j\right) I_{1}(f_{n+1})= & {} I_{n+1-2k} \Big (\big (\widetilde{\bigotimes }_{j\in J} f_j \big ) \otimes f_{n+1} \Big )\\&+(n-2k)I_{n-2k-1} \Big (\big (\widetilde{\bigotimes }_{j\in J} f_j \big ) \otimes _1 f_{n+1} \Big ). \end{aligned}$$Note that \(I_{n+1-2k}\Big (\big (\widetilde{\bigotimes }_{j\in J} f_j \big )\otimes f_{n+1} \Big )=I_{n+1-2k}\Big (\bigotimes _{j\in J} f_j \otimes f_{n+1} \Big )\) since \(\big (\widetilde{\bigotimes }_{j\in J} f_j \big )\otimes f_{n+1}\) and \(\bigotimes _{j\in J} f_j \otimes f_{n+1}\) have the same symmetrizations. Moreover, \(\big (\widetilde{\bigotimes }_{j \in J} f_j \big ) \otimes _1 f_{n+1}=\frac{1}{n-2k} \sum _{j\in J} \langle f_{j},f_{n+1} \rangle _{{\mathcal {H}}} \widetilde{\bigotimes }_{\ell \in J \backslash \{j\}} f_{\ell } \) and hence,
$$\begin{aligned} I_{n-2k-1}\Big ( \big (\widetilde{\bigotimes }_{j\in J}f_j \big ) \otimes _1 f_{n+1}\Big )=\frac{1}{n-2k}\sum _{j \in J} \langle f_{j},f_{n+1} \rangle _{{\mathcal {H}}} I_{n-2k-1} \Big ( \bigotimes _{\ell \in J - \{j\}} f_{\ell } \Big ). \end{aligned}$$It follows that
$$\begin{aligned} A&:=\prod _{i=1}^{n+1}I_1(f_i) =\sum _{k=0}^{K-1} \sum _{\begin{array}{c} J \subset [n]\\ |J|=n-2k \end{array}} \sum _{\begin{array}{c} \{I_1,\ldots ,I_k\} \ \mathrm{partition} \ \mathrm{of} \ [n]-J\\ I_i=\{\ell _i,m_i\} \forall i=1,\ldots ,k \end{array}}I_{n+1-2k}\Big (\bigotimes _{j\in J} f_j \otimes f_{n+1} \Big ) \\&\quad \prod _{i=1}^{k} \langle f_{\ell _i},f_{m_i}\rangle _{{\mathcal {H}}}\\&\quad +\sum _{k=0}^{K-1} \sum _{\begin{array}{c} J \subset [n]\\ |J|=n-2k \end{array}} \sum _{j \in J} \sum _{\begin{array}{c} \{I_1,\ldots ,I_k\} \ \mathrm{partition} \ \mathrm{of} \ [n]-J\\ I_i=\{\ell _i,m_i\} \forall i=1,\ldots ,k \end{array}} I_{n-2k-1}\Big ( \bigotimes _{\ell \in J - \{j\}} f_{j} \Big )\\&\quad \prod _{i=1}^{k}\langle f_{\ell _i},f_{m_i}\rangle _{{\mathcal {H}}} \langle f_{j},f_{n+1} \rangle _{{\mathcal {H}}} \\&\quad +\sum _{\begin{array}{c} (\{I_1,\ldots ,I_k\} \ \mathrm{partition} \ \mathrm{of} \ [n]-J\\ I_i=\{\ell _i,m_i\} \forall i=1,\ldots ,k \end{array}} I_1(f_{n+1}) \prod _{i=1}^{K}\langle f_{\ell _i},f_{m_i}\rangle _{{\mathcal {H}}} =:A_1+A_2+A_3. \end{aligned}$$
We have to prove that \(A=B\), where
We split B using \(k \le K-1\) and \(k=K\): (if \(k=K\) then \(|J'|=n+1-2K=1\))
We split \(A_2\) using \(k\le K-2\) and \(k=K-1\): (if \(k=K-1\) then \(n-2k-1=1\))
We notice that:
-
(a)
We use the decomposition \(B_1=B_1'+B_1''\), where \(B_1'\) and \(B_1''\) correspond to the cases \(n+1 \in J'\), respectively \(n+1 \not \in J'\). We observe that \(A_1=B_1''\) and \(A_2'=B_1'\).
-
(b)
We use the decomposition \(B_2=B_2'+B_2''\), where \(B_2'\) and \(B_2''\) correspond to the cases \(j=n+1\), respectively \(j\le n\). We observe that \(A_3=B_2'\) and \(A_2''=B_2''\).
\(\square \)
C Semigroup-type property of G
In this section, we prove a property of G which was used in Step 3.(a) of the proof of Theorem 3.2. We denote \(G_t(x)=G(t,x)\).
Lemma C.1
(Lemma 4.3 of [3]) Suppose that \(d=2\). Let \(q \in (\frac{1}{2},1)\) be arbitrary. For any \(0<r<t\) and \(x,z \in {\mathbb {R}}^d\)
where \(A_q>0\) is a constant depending on q.
As an immediate consequence of the previous lemma, we obtain the following semigroup-type property of G.
Lemma C.2
For any \(0<r<t\) and \(x,z\in {\mathbb {R}}^d\),
where \(C_t^{(1)} =Ct^2\) and C is a positive constant.
Proof
If \(d=1\), this follows by relation (2.6) of [14].
Suppose that \(d=2\). Let \(q \in (\frac{1}{2},1)\) be arbitrary. Note that \(G_t(x) \le C_{t,q} G_t^{2q}(x)\), where \(C_{t,q}=(2\pi t)^{2q-1}\). By Hölder’s inequality and Lemma C.1,
The conclusion follows using the fact that \(G_{t-r}^{2q-1}(x-z) \le (2\pi t)^{2-2q}G_{t-r}(x-z)\). \(\square \)
Rights and permissions
About this article
Cite this article
Balan, R.M. Stratonovich Solution for the Wave Equation. J Theor Probab 35, 2643–2689 (2022). https://doi.org/10.1007/s10959-021-01144-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-021-01144-y