Abstract
We introduce and study a new class of non-Archimedean stochastic pseudodifferential equations. These equations are the non-Archimedean counterparts of the classical stochastic heat equations. We show the existence and uniqueness of mild random field solutions for these equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we study a new class of stochastic pseudodifferential equations in \(\mathbb {R}_{+}\times \mathbb {Q}_{p}^{N}\), here \(\mathbb {Q}_{p}\) denotes the field of \(p\)-adic numbers, driven by a spatially homogeneous Gaussian noise. More precisely, we consider pseudodifferential equations of the type
where \(L=\) \(\frac{\partial }{\partial t}+A\left( \partial ,\beta \right) \), \(\beta >0\), with \(A\left( \partial ,\beta \right) \) a pseudodifferential operator of the form \(\mathcal {F}_{x\rightarrow \xi }\left( A\left( \partial ,\beta \right) \varphi \right) =\left| a\left( \xi \right) \right| _{p}^{\beta }\mathcal {F}_{x\rightarrow \xi }\left( A\varphi \right) \), and \(a\left( \xi \right) \) an elliptic polynomial. The coefficients \(\sigma \) and \(b\) are real-valued functions and \(\overset{\cdot }{W}\left( t,x\right) \) is the formal notation for a Gaussian random perturbation defined on some probability space. We assume that it is white in time and with a homogeneous spatial correlation given by a function \(f\), see Sect. 5.2. Our main result, see Theorem 6.4, asserts the existence and uniqueness of mild random field solutions for these equations. The equations studied here are the non-Archimedean counterparts of the Archimedean stochastic heat equations studied for instance in [16, 18, 40].
The pseudodifferential equations of the form
are the \(p\)-adic counterparts of the Archimedean heat equations. Indeed, the fundamental solutions of these equations (i.e. the heat kernels) are transition density functions of Markov processes on \(\mathbb {Q}_{p}^{N}\), see Sect. 3.2. The one-dimensional \(p\)-adic heat equation was introduced in [39, Sect. XVI], since then the theory of such equations has been steadily developing, see e.g. [3, 11, 27, 34, 35, 38, 41] and the references therein. This type of equations appear in some new models of complex systems constructed by Avetisov et al. [5–7], see also [29], thus, the study of stochastic versions of these equations is a natural and relevant problem.
From a more general perspective, the stochastic processes over the \(p\)-adics, or more generally over ultrametric spaces, have attracted a lot of attention during the last thirty years, see e.g. [1, 2, 5, 7–9, 11, 12, 19, 20, 23–26, 30, 32–34, 37–39, 41], and the references therein. From the point of view of the mathematical physics, the interest on this type of stochastic processes comes from their connections with models of complex systems. It has been proposed that the space of states of certain complex systems, for instance proteins, have a hierarchical structure, see e.g. [21], which can be put in turn in connection with \(p\)-adic structures [5–7].
Stochastic equations over \(p\)-adics have been studied intensively by many authors, see e.g. [8, 9, 19, 23, 24, 26, 28, 31, 34]. The \(p\)-adic Gaussian noise and the corresponding stochastic integrals was studied in [8, 19, 23, 26, 28]. All these articles consider processes and stochastic integrals depending on \(p\)-adic variables. Here, we introduced a non-Archimedean, spatially homogeneous Gaussian noise parametrized by a non-negative real variable, the time variable, and by a \(p\)-adic vector, the position variable. As far as we know such noises have been not studied before. On the other hand, in [33, 34] Kochubei introduced stochastic integrals with respect to the ‘\(p\)-adic Brownian motion’ generated by the one-dimensional heat equation. This is a non-Gaussian process parametrized by non-negative real variable and by a \(p\)-adic variable.
The article is organized as follows. In Sect. 2, we review some basic facts about \(p\)-adic analysis. In Sect. 3, we review some aspects of the parabolic type pseudodifferential equations needed for other sections. In Sect. 4, we prove a \(p\)-adic version of the Bochner–Schwartz Theorem, see Theorem 4.1. In Sect. 5, we review the stochastic integration with respect to Hilbert-space-valued Wiener processes, and introduce the Gaussian noise \(W\) and its associated cylindrical process, see Proposition 5.7. We also give some results about the spectral measure of \(W\), see Theorem 5.11. Finally, we give a result, Proposition 5.12, which gives us examples of random distributions that can be integrated with respect to \(W\). It is interesting to note that the proof of Proposition 5.12 is much more involved than the corresponding result in the Archimedean setting, see e.g. proof of Proposition 3.3 in [17]. This is due to the fact that in the \(p\)-adic setting, the smoothing of a process requires ‘cutting’ and convolution operations while, in the Archimedean setting, it requires only a convolution operation. In Sect. 6, we prove the main result, see Theorem 6.4. Like in [18] we prove Theorem 6.4 under the ‘Hypotheses A and B,’ here we give an explicit and sufficient conditions to fulfill these hypotheses in terms of the spectral measure of \(W\), see Theorem 5.11 and Lemma 6.3.
2 \(p\)-Adic Analysis: Essential Ideas
In this section we fix the notation and collect some basic results on \(p\)-adic analysis that we will use through the article. For a detailed exposition the reader may consult [3, 36, 39].
2.1 The Field of \(p\)-Adic Numbers
Along this article \(p\) will denote a prime number. The field of \(p\)-adic numbers \(\mathbb {Q}_{p}\) is defined as the completion of the field of rational numbers \(\mathbb {Q}\) with respect to the \(p\)-adic norm \(|\cdot |_{p}\), which is defined as
where \(a\) and \(b\) are integers coprime with \(p\). The integer \(\gamma :=ord(x)\), with \(ord(0):=+\infty \), is called the\(p\)-adic order of \(x\). We extend the \(p\)-adic norm to \(\mathbb {Q}_{p}^{N}\) by taking
We define \(ord(x)=\min _{1\le i\le N}\{ord(x_{i})\}\), then \(||x||_{p} =p^{-\text {ord}(x)}\). The metric space \(\left( \mathbb {Q}_{p}^{N} ,||\cdot ||_{p}\right) \) is a complete ultrametric space. As a topological space \(\mathbb {Q}_{p}\) is homeomorphic to a Cantor-like subset of the real line, see e.g. [3, 39].
Any \(p\)-adic number \(x\ne 0\) has a unique expansion \(x=p^{ord(x)}\sum _{j=0}^{+\infty }x_{j}p^{j}\), where \(x_{j}\in \{0,1,2,\dots ,p-1\}\) and \(x_{0}\ne 0\). By using this expansion, we define the fractional part of \(x\in \mathbb {Q}_{p}\), denoted \(\{x\}_{p}\), as the rational number
For \(\gamma \in \mathbb {Z}\), denote by \(B_{\gamma }^{N}(a)=\{x\in \mathbb {Q} _{p}^{N}:||x-a||_{p}\le p^{\gamma }\}\) the ball of radius \(p^{\gamma }\) with center at \(a=(a_{1},\dots ,a_{N})\in \mathbb {Q}_{p}^{N}\), and take \(B_{\gamma }^{N}(0):=B_{\gamma }^{N}\). Note that \(B_{\gamma }^{N} (a)=B_{\gamma }(a_{1})\times \cdots \times B_{\gamma }(a_{n})\), where \(B_{\gamma }(a_{i}):=\{x\in \mathbb {Q}_{p}:|x-a_{i}|_{p}\le p^{\gamma }\}\) is the one-dimensional ball of radius \(p^{\gamma }\) with center at \(a_{i}\in \mathbb {Q}_{p}\). The ball \(B_{0}^{N}\) equals the product of \(N\) copies of \(B_{0}:=\mathbb {Z}_{p}\), the ring of \(p\)-adic integers. We denote by \(\Omega (\left\| x\right\| _{p})\) the characteristic function of \(B_{0}^{N}\). For more general sets, say Borel sets, we use \({1} _{A}\left( x\right) \) to denote the characteristic function of \(A\).
2.2 The Bruhat–Schwartz Space
A complex-valued function \(\varphi \) defined on \(\mathbb {Q}_{p}^{N}\) is called locally constant if for any \(x\in \mathbb {Q}_{p}^{N}\) there exists an integer \(l(x)\in \mathbb {Z}\) such that
A function \(\varphi :\mathbb {Q}_{p}^{N}\rightarrow \mathbb {C}\) is called a Bruhat–Schwartz function (or a test function) if it is locally constant with compact support. The \(\mathbb {C}\)-vector space of Bruhat–Schwartz functions is denoted by \(\mathcal {D}(\mathbb {Q}_{p} ^{N}):=\mathcal {D}\). We will denote by \(\mathcal {D}_{\mathbb {R}} (\mathbb {Q}_{p}^{N})\) the \(\mathbb {R}\)-vector space of Bruhat–Schwartz functions.
For \(\varphi \in \mathcal {D}(\mathbb {Q}_{p}^{N})\), the largest of such number \(l=l(\varphi )\) satisfying (2.1) is called the exponent of local constancy of \(\varphi \).
Let \(\mathcal {D}^{\prime }(\mathbb {Q}_{p}^{N}):=\mathcal {D}^{\prime }\) denote the set of all functionals (distributions) on \(\mathcal {D}(\mathbb {Q}_{p} ^{N})\). All functionals on \(\mathcal {D}(\mathbb {Q}_{p}^{N})\) are continuous.
2.3 Fourier Transform
Set \(\chi _{p}(y)=\exp (2\pi i\{y\}_{p})\) for \(y\in \mathbb {Q}_{p}\). The map \(\chi _{p}(\cdot )\) is an additive character on \(\mathbb {Q}_{p}\), i.e. a continuos map from \(\mathbb {Q}_{p}\) into the unit circle satisfying \(\chi _{p}(y_{0}+y_{1})=\chi _{p}(y_{0})\chi _{p}(y_{1})\), \(y_{0},y_{1}\in \mathbb {Q}_{p}\).
Given \(\xi =(\xi _{1},\dots ,\xi _{N})\) and \(x=(x_{1},\dots ,x_{N})\in \mathbb {Q}_{p}^{N}\), we set \(\xi \cdot x:=\sum _{j=1}^{N}\xi _{j}x_{j}\). The Fourier transform of \(\varphi \in \mathcal {D}(\mathbb {Q}_{p}^{N})\) is defined as
where \(d^{N}x\) is the Haar measure on \(\mathbb {Q}_{p}^{N}\) normalized by the condition \(vol(B_{0}^{N})=1\). The Fourier transform is a linear isomorphism from \(\mathcal {D}(\mathbb {Q}_{p}^{N})\) onto itself satisfying \((\mathcal {F} (\mathcal {F}\varphi ))(\xi )=\varphi (-\xi )\). We will also use the notation \(\mathcal {F}_{x\rightarrow \xi }\varphi \) and \(\widehat{\varphi }\) for the Fourier transform of \(\varphi \).
The Fourier transform \(\mathcal {F}\left[ T\right] \) of a distribution \(T\in \mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \) is defined by
The Fourier transform \(f\rightarrow \mathcal {F}\left[ T\right] \) is a linear isomorphism from \(\mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \) onto \(\mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \). Furthermore, \(T=\mathcal {F}\left[ \mathcal {F}\left[ T\right] \left( -\xi \right) \right] \).
3 \(p\)-Adic Parabolic Type Pseudodifferential Equations
In this article we work exclusively with complex and real valued functions on \(\mathbb {Q}_{p}^{N}\). Having complex and real valued functions defined on a locally compact topological group, we have the notion of continuous function and may use the functional spaces \(L^{\varrho }(\mathbb {Q}_{p}^{N},d^{N}x)\), \(\rho \ge 1\), defined in the standard way. We also use the following standard notation:
-
(i)
\(C(I, X)\) the space of continuous functions \(u\) on a time interval \(I\) with values in \(X\);
-
(ii)
\(C^{1}(I, X)\) the space of continuously differentiable functions \(u\) on a time interval \(I\) such that \(u^{\prime }\in X\);
-
(iii)
\(L^{1}(I, X)\) the space of measurable functions \(u\) on \(I\) with values in \(X\) such that \(\Vert u\Vert \) is integrable;
-
(iv)
\(W^{1,1}(I,X)\) the space of measurable functions \(u\) on \(I\) with values in \(X\) such that \(u^{\prime }\in L^{1}(I,X)\).
3.1 Elliptic Pseudodifferential Operators
Let \(a\left( \xi \right) \in \mathbb {Q}_{p}\left[ \xi _{1},\ldots ,\xi _{n}\right] \) be a non-constant polynomial. We say that \(a\left( \xi \right) \) is an elliptic polynomial of degree \(d\), if it satisfies: (i) \(a\left( \xi \right) \) is a homogeneous polynomial of degree \(d\), and (ii) \(a\left( \xi \right) =0\) \(\Leftrightarrow \) \(\xi =0\).
It is known that an elliptic polynomial satisfies
for some positive constants \(C_{0}=C_{0}(a)\), \(C_{1}=C_{1}(a)\), cf. [41, Lemma 1]. Without loss of generality we will assume that \(a\left( \xi \right) \in \mathbb {Z}_{p}\left[ \xi _{1},\ldots ,\xi _{n}\right] \).
Given a fixed \(\beta >0\), a pseudodifferential operator of the form \(\varvec{A}\left( \partial ,\beta \right) \phi \left( x\right) =\mathcal {F}_{\xi \rightarrow x}^{-1}\left( \left| a\left( \xi \right) \right| _{p}^{\beta }\mathcal {F}_{x\rightarrow \xi }\phi \right) \), \(\phi \in \mathcal {D}\), is called an elliptic pseudodifferential operator of degree d with symbol \(\left| a\right| _{p}^{\beta }\).
Lemma 3.1
With the above notation the following assertions hold:
(i)
(ii) the closure of the operator \(\varvec{A}\left( \partial ,\beta \right) \), \(\beta >0\) (let us denote it by \(\varvec{A} \left( \partial ,\beta \right) \) again) with domain
is a self-adjoint operator;
(iii) \(-\varvec{A}\left( \partial ,\beta \right) \) is the infinitesimal generator of a contraction \(C_{0}\) semigroup \(\left( \mathcal {T}(t)\right) _{t\ge 0}\);
(iv) set
Then
for \(f\in L^{2}\).
Proof
The results follow from the properties of the heat kernels given in [41] by using well-known techniques of semigroup theory, see e.g. [10]. Alternatively, the reader may consult [37, Lemma 3.21, Lemmas 3.23 and 7.4, Theorem 7.5] for same results in a more general setting. \(\square \)
3.2 \(p\)-Adic Heat Equations
Consider the following Cauchy problem:
We say that a function \(u(x,t)\) is a solution of (3.4 ) if \(u\in C\left( [0,T],Dom(\varvec{A})\right) \cap C^{1}\left( [0,T],L^{2}\right) \) and \(u\) satisfies Eq. (3.4) for all \(t\in \left[ 0,T\right] \).
Theorem 3.2
Let \(\beta >0\) and let \(f\in C\left( [0,T],L^{2}\right) \). Assume that at least one of the following conditions is satisfied:
-
(i)
\(f\in L^{1}\left( (0,T),Dom(\varvec{A})\right) \);
-
(ii)
\(f\in W^{1,1}((0,T),L^{2})\).
Then Cauchy problem (3.4) has a unique solution given by
where \(\Gamma \) is defined in (3.3).
Proof
The result follows from Lemma 3.1 by well-known results in semigroup theory, see e.g. [10]. Alternatively, the reader may consult [37, Theorem 7.9] for same result in a more general setting. \(\square \)
Theorem 3.3
The heat kernel (or fundamental solution of (3.4)) \(\Gamma \left( t,x\right) \), \(t>0\), satisfies the following:
-
(i)
\(\Gamma \left( t,x\right) \ge 0\) for any \(t>0\);
-
(ii)
\(\int _{\mathbb {Q}_{p}^{N}}\Gamma \left( t,x\right) d^{N}x=1\) for any \(t>0\);
-
(iii)
\(\Gamma \left( t,\cdot \right) \in L^{1}(\mathbb {Q}_{p}^{N})\) for any \(t>0\);
-
(iv)
\(\left( \Gamma \left( t,\cdot \right) *\Gamma \left( t^{\prime },\cdot \right) \right) \left( x\right) =\Gamma \left( t+t^{\prime },x\right) \) for any \(t\), \(t^{\prime }>0\);
-
(v)
\(\lim _{t\rightarrow 0+}\Gamma \left( t,x\right) =\delta \left( x\right) \) in \(\mathcal {D}^{\prime }\);
-
(vi)
\(\Gamma \left( t,x\right) \le At\left( t^{\frac{1}{d\beta }}+\left\| x\right\| _{p}\right) ^{-d\beta -N}\) for any \(x\) \(\in \mathbb {Q}_{p}^{N}\) and \(t>0\);
-
(vii)
\(\Gamma (x,t)\) is the transition density of a time- and space homogenous Markov process which is bounded, right-continuous and has no discontinuities other than jumps.
Proof
See Theorems 1, 2, 4, and Proposition 2 in [41]. \(\square \)
The \(p\)-adic heat equation in dimension one was introduced in the book of Vladimirov, Volovich and Zelenov [39, Sect. XVI]. In [34, Chapters 4, 5] Kochubei presented a general theory for one-dimensional parabolic-type pseudodifferential equations with variable coefficients, whose fundamental solutions are transition density functions for Markov processes in the \(p\)-adic line. For a generalization of this theory see [11]. In [41] the author introduced the elliptic operators presented before and studied the corresponding \(n\)-dimensional heat equations and the associated Markov processes.
4 Positive-Definite Distributions and the Bochner–Schwartz Theorem
In this section, we establish a \(p\)-adic version of the Bochner–Schwartz Theorem on positive-definite distributions following to Gel’fand and Vilenkin [22, Chapter II].
4.1 The \(p\)-Adic Bochner–Schwartz Theorem
Along this section we work with complex-valued test functions. A distribution \(F\in \mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \) is called positive, if \(\left( F,\varphi \right) \ge 0\) for every positive test function \(\varphi \), i.e. if \(\varphi \left( x\right) \ge 0\) for every \(x\). In this case we will use the notation \(F\ge 0\). We say that \(F\) is multiplicatively positive, if \(\left( F,\varphi \overline{\varphi }\right) \ge 0\) for every test function \(\varphi \), where \(\overline{\varphi }\) denotes the complex conjugate of \(\varphi \). A distribution \(F\) is positive-definite, if for every test function \(\varphi \), the inequality \(\left( F,\overline{\varphi *\widetilde{\varphi }}\right) \ge 0\) holds, where \(\widetilde{\varphi }\left( x\right) =\overline{\varphi \left( -x\right) }\).
Theorem 4.1
(\(p\)-adic Bochner–Schwartz Theorem). Every positive-definite distribution \(F\) on \(\mathbb {Q}_{p}^{N}\) is the Fourier transform of a regular Borel measure \(\mu \) on \(\mathbb {Q}_{p}^{N}\), i.e.
Conversely, the Fourier transform of any regular Borel measure gives rise to a positive-definite distribution on \(\mathbb {Q}_{p}^{N}\).
Proof
(\(\Rightarrow \)) By the Riesz-Markov-Kakutani Theorem every positive distribution \(F\) on \(\mathbb {Q}_{p}^{N}\) has the form
where \(\mu \) is a regular Borel measure. Conversely, every regular Borel measure \(\mu \) defines a positive linear functional on \(\mathcal {D}\left( \mathbb {Q}_{p}^{N}\right) \). On the other hand, since \(F\) is a multiplicatively positive distribution if and only if \(F\) is a positive distribution, we can replace positive by multiplicatively positive in the above assertion. We now note that the Fourier transform carries positive-definite distributions into multiplicatively positive distributions, and every multiplicatively positive distribution can be obtained in this manner. Indeed,
since \(\overline{\left( \varphi *\widetilde{\varphi }\right) \left( -\xi \right) }\) \(=\left( \varphi *\widetilde{\varphi }\right) \left( \xi \right) \). Now, let \(F\in \mathcal {D}^{\prime }\left( \mathbb {Q}_{p} ^{N}\right) \) be a multiplicatively positive distribution, i.e. \(\left( F,\psi \overline{\psi }\right) \ge 0\) for every \(\psi \in \mathcal {D}\left( \mathbb {Q}_{p}^{N}\right) \). Then, there exist a distribution \(T\) and a test function \(\phi \) satisfying \(\widehat{T}=F\) and \(\psi =\widehat{\phi }\), because the Fourier transform is an isomorphism on \(\mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \) and on \(\mathcal {D}\left( \mathbb {Q}_{p} ^{N}\right) \). From this observation we have \(\left( F,\psi \overline{\psi }\right) =\left( T,\overline{\varphi *\widetilde{\varphi }}\right) \ge 0\).
(\(\Leftarrow \)) It follows from this calculation:
\(\square \)
4.2 Positive-Definite Functions
We recall that a continuous function \(g:\mathbb {Q}_{p}^{N}\rightarrow \mathbb {C}\) is positive-definite, if for any \(p\)-adic numbers \(x_{1} ,\ldots ,x_{m}\) and any complex numbers \(\sigma _{1},\ldots ,\sigma _{m}\), it verifies that \(\sum _{j}\sum _{i}g\left( x_{j}-x_{i}\right) \sigma _{j}\overline{\sigma }_{i}\ge 0\). Such function \(g\) satisfies the following: \(\overline{g}\) is positive-definite, \(g(-x)=\overline{g}(x)\), \(g(0)\ge 0\), and \(\left| g(x)\right| \le g(0)\). We associate to \(g\) the distribution \(\int _{\mathbb {Q}_{p}^{N}}g(x)\varphi \left( x\right) d^{N}x\), while Gel’fand-Vilenkin attach to \(g\) the distribution \(\int _{\mathbb {Q}_{p}^{N} }\overline{g}(x)\varphi \left( x\right) d^{N}x\), for this reason our definition of positive-definite distribution is slightly different, but equivalent to the one given in [22, Chapter II]. Finally, we recall that \(g\) satisfies \(\left( g,\overline{\varphi *\widetilde{\varphi } }\right) \ge 0\) for any test function \(\varphi \), i.e. \(g\) generates a positive-definite distribution, see e.g. [13, Proposition 4.1].
5 Stochastic Integrals and Gaussian Noise
In this section we introduce the stochastic integration with respect to a spatially homogeneous Gaussian noise. Our exposition has been strongly influenced by [17]. There are two distinct approaches (or schools) of study for stochastic partial differential equations, based on different theories of stochastic integration: the Walsh theory [40], which uses integration with respect to worthy martingale measures, and a theory of integration with respect to Hilbert-space valued processes [16]. In [17] the authors discuss the connections between these theories. In this article we use Hilbert-space approach. In this section we present the non-Archimedean counterpart of this theory.
5.1 Stochastic Integrals with Respect to a Spatially Homogeneous Gaussian Noise
Let \(V\) be a separable Hilbert space with inner product \(\left\langle \cdot ,\cdot \right\rangle _{V}\). Following [17] and the references therein, we define the general notion of cylindrical Wiener process in \(V\) as follows:
Definition 5.1
Let \(Q\) be a symmetric and non-negative definite bounded linear operator on \(V\). A family of random variables \(B=\left\{ B_{t}\left( h\right) ,t\ge 0,h\in V\right\} \) is a cylindrical Wiener process if the following conditions hold:
-
(i)
for any \(h\in V\), \(\left\{ B_{t}\left( h\right) ,t\ge 0\right\} \) defines a Brownian motion with variance \(t\left\langle Qh,h\right\rangle _{V}\);
-
(ii)
for all \(s\), \(t\in \mathbb {R}_{+}\) and \(h\), \(g\in V\),
$$\begin{aligned} E\left( B_{s}\left( h\right) B_{t}\left( g\right) \right) =\left( s\wedge t\right) \left\langle Qh,g\right\rangle _{V}, \end{aligned}$$where \(s\wedge t:=\min \left\{ s,t\right\} \). If \(Q=I_{V}\) is the identity operator in \(V\), then \(B\) will be called a standard cylindrical Wiener process. We will refer to \(Q\) as the covariance of \(B\).
Let \(\mathcal {F}_{t}\) be the \(\sigma \)-field generated by the random variables \(\left\{ B_{s}\left( h\right) ,h\in V,0\le s\le t\right\} \) and the \(P\)-null sets. We define the predictable \(\sigma \) -field in \(\left[ 0,T\right] \times \Omega \) generated by the sets
We denote by \(V_{Q}\) the completion of the Hilbert space \(V\) endowed with the inner semi-product
We define the stochastic integral of any predictable square-integrable process with values in \(V_{Q}\) as follows. Let \(\left( v_{j}\right) _{j}\) be a complete orthonormal basis of \(V_{Q}\). For any predictable process \(g\in L^{2}\left( \Omega \times \left[ 0,T\right] ;V_{Q}\right) \), the following series converges in \(L^{2}\left( \Omega ,\mathcal {F},P\right) \) and the sum does not depend on the chosen orthonormal basis:
We note that each summand in the above series is a classical Itô integral with respect to a standard Brownian motion, and the resulting stochastic integral is a real-valued random variable. The stochastic integral \(g\cdot B\) is also denoted by \(\int _{0}^{T}g_{s}dB_{s}\). The independence of each of terms in series (5.1) leads to the isometry property
5.2 Spatially Homogeneous Gaussian Noise
Let \(\left( \Omega ,\mathcal {F},P\right) \) be a complete probability space. We denote by \(\mathcal {I}(\mathbb {R})\) the \(\mathbb {R}\)-vector space of functions of the form \(\sum _{k=1}^{m}c_{k}1_{I_{k}}\left( x\right) \) where \(c_{1},\ldots ,c_{k}\) are real numbers and each \(I_{k}\) is a bounded interval (open, closed, half-open). It is well-known that \(\mathcal {I}(\mathbb {R})\) is dense in \(L^{\rho }(\mathbb {R})\) for \(1\le \rho <\infty \).
We denote by \(\mathcal {I}(\mathbb {R})\otimes _{\text {alg}}\mathcal {D} _{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) the algebraic tensor product of the \(\mathbb {R}\)-vector spaces \(\mathcal {I}(\mathbb {R})\) and \(\mathcal {D} _{\mathbb {R}}(\mathbb {Q}_{p}^{N})\). Notice that \(\mathcal {I}(\mathbb {R} )\otimes _{\text {alg}}\mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) is the \(\mathbb {R}\)-vector space spanned by \(\sum _{j\in J}c_{j}\left( t\right) \Omega \left( p^{m}\left\| x-\widetilde{x}_{j}\right\| _{p}\right) \), where \(c_{j}\left( t\right) \in \mathcal {I}(\mathbb {R})\), \(m\in \mathbb {Z}\), and \(J\) is a finite set.
On \(\left( \Omega ,\mathcal {F},P\right) \), we consider a family of mean zero Gaussian random variables
with covariance
where \(\widetilde{\psi }(t)\left( z\right) =\psi (t,-z)\) and \(f\) is non-negative continuous function on \(\mathbb {Q}_{p}^{N}\backslash \left\{ 0\right\} \). This function induces a positive distribution on \(\mathbb {Q} _{p}^{N}\) and then \(f\) is the Fourier transform of a regular Borel measure \(\mu \) on \(\mathbb {Q}_{p}^{N}\), see Theorem 4.1. This measure is called the spectral measure of \(W\). In this case
5.2.1 Some Examples of Kernels
The basic example of kernel function is the white noise kernel: \(f(x)=\delta \left( x\right) \), \(d\mu \left( \xi \right) =d^{N}\xi \). Here are some typical examples:
Example 5.2
If \(d\mu \left( \xi \right) =\left\| \xi \right\| _{p}^{-\alpha }d^{N}\xi \), \(0<\alpha <N\), then \(f(x)=R_{\alpha }(x)=\frac{1-p^{-\alpha }}{1-p^{\alpha -N} }\left\| x\right\| _{p}^{\alpha -n}\), the Riesz kernel, see e.g. [36, Chapter III, Sect. 4].
Example 5.3
If \(d\mu \left( \xi \right) =e^{-\left\| \xi \right\| _{p}^{\beta }}\), \(\beta >0\), then \(f\left( x\right) =\mathcal {F}_{\xi \rightarrow x}\left( e^{-\left\| \xi \right\| _{p}^{\beta }}\right) \) is the \(p\)-adic heat kernel. Notice that we can replace \(\left\| \xi \right\| _{p}^{\beta }\) by \(\left| a\left( \xi \right) \right| _{p}^{\beta }\), where \(a\left( \xi \right) \) is an elliptic polynomial.
Before presenting our next example, we recall the following result:
Lemma 5.4
([36, Lemma 5.2]). Suppose that \(\alpha >0\). Define
Then \(K_{\alpha }\in L^{1}\) and \(\mathcal {F}K_{\alpha }\left( \xi \right) =\max \left( 1,\left\| \xi \right\| _{p}\right) ^{-\alpha }\).
The distribution \(K_{\alpha }\) is called the Bessel potential of order \(\alpha \), see e.g. [36, Chapter III, Sect. 5].
Example 5.5
If \(d\mu \left( \xi \right) =\max \left( 1,\left\| \xi \right\| _{p}\right) ^{-\alpha }\), \(\alpha >0\), then \(f(x)=K_{\alpha }\left( x\right) \), the Bessel potential of order \(\alpha \).
5.2.2 A Cylindrical Wiener Process Associated with \(W\)
Let \(U\) be the completion of the Bruhat–Schwartz space \(\mathcal {D} _{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) endowed with semi-inner product
where \(\mu \) is the spectral measure of \(W\). We denote by \(\left\| \cdot \right\| _{U}\) the corresponding norm. Then \(U\) is a separable Hilbert space (because \(\mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) is separable) that may contain distributions.
We fix a time interval \(\left[ 0,T\right] \) and set \(U_{T}:=L^{2}\left( \left[ 0,T\right] ;U\right) \). This set is equipped with the norm given by
We now associate a cylindrical Wiener process to \(W\) as follows. A direct calculation using (5.3) shows that the generalized Gaussian random field \(W\left( \varphi \right) \) is a random linear functional, in the sense that \(W\left( a\varphi +b\psi \right) =aW\left( \varphi \right) +bW\left( \psi \right) \), almost surely, and \(\varphi \rightarrow W\left( \varphi \right) \) is an isometry from \(\left( \mathcal {I}(\left[ 0,T\right] )\otimes _{\text {alg}}\mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N}),\left\| \cdot \right\| _{U_{T}}\right) \) into \(L^{2}\left( \Omega ,\mathcal {F} ,P\right) \). The following lemma identifies the completion of \(\mathcal {I} (\left[ 0,T\right] )\otimes _{\text {alg}}\mathcal {D}_{\mathbb {R}} (\mathbb {Q}_{p}^{N})\) with respect to \(\left\| \cdot \right\| _{U_{T}}\).
Lemma 5.6
The space \(\mathcal {I}(\left[ 0,T\right] )\otimes _{\text {alg} }\mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) is dense in \(U_{T}=L^{2}\left( \left[ 0,T\right] ;U\right) \) for \(\left\| \cdot \right\| _{U_{T}}\).
Proof
Let \(\mathcal {C}\) denote the closure of \(\mathcal {I}(\left[ 0,T\right] )\otimes _{\text {alg}}\mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) in \(U_{T}\) for \(\left\| \cdot \right\| _{U_{T}}\). Suppose that we are given \(\varphi _{1}\in L^{2}\left( \left[ 0,T\right] ;\mathbb {R}\right) \) and \(\varphi _{2}\in \mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\). We show that \(\varphi _{1}\varphi _{2}\in \mathcal {C}\). Indeed, let \(\left( \varphi _{1}^{\left( n\right) }\right) _{n}\subset \mathcal {I}(\mathbb {R})\) such that, for all n, the support of \(\varphi _{1}^{\left( n\right) }\) is contained in \(\left[ 0,T\right] \) and \(\varphi _{1}^{\left( n\right) }\rightarrow \varphi _{1}\) in \(L^{2}\left( \left[ 0,T\right] ;\mathbb {R} \right) \). Now \(\varphi _{1}^{\left( n\right) }\varphi _{2}\in \mathcal {I} (\left[ 0,T\right] )\otimes _{\text {alg}}\mathcal {D}_{\mathbb {R}} (\mathbb {Q}_{p}^{N})\subset \mathcal {C}\) and \(\varphi _{1}^{\left( n\right) }\varphi _{2}\) \(\underrightarrow{\left\| \cdot \right\| _{U_{T}}}\) \(\varphi _{1}\varphi _{2}\), therefore \(\varphi _{1}\varphi _{2}\in \mathcal {C}\).
Suppose that \(\varphi \in U_{T}\). We show that \(\varphi \in \mathcal {C}\). Indeed, let \(\left( e_{j}\right) _{j}\) be a complete orthonormal basis of \(U\) with \(e_{j}\in \mathcal {D}_{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) for all \(j\). Then, since \(\varphi \left( s\right) \in U\) for any \(s\in \left[ 0,T\right] \),
We now note that for any \(j\ge 1\), the function \(s\rightarrow \left\langle \varphi \left( s\right) ,e_{j}\right\rangle _{U}\) belongs to \(L^{2}\left( \left[ 0,T\right] ;\mathbb {R}\right) \). Thus, by the above considerations,
Finally, since \(\lim _{n\rightarrow +\infty }\left\| \varphi -\varphi ^{\left( n\right) }\right\| _{U_{T}}^{2}=0\), we conclude that \(\varphi \in \mathcal {C}\). \(\square \)
By using the above lemma, we can extend \(W\) to \(U_{T}\) following the standard methods for extending an isometry. This establishes the following result.
Proposition 5.7
For \(t\ge 0\) and \(\varphi \in U\), set \(W_{t}\left( \varphi \right) :=W\left( 1_{\left[ 0,t\right] }\left( \cdot \right) \varphi \left( {\small \star }\right) \right) \). Then the process \(W=\left\{ W_{t}\left( \varphi \right) ,t\ge 0,\varphi \in U\right\} \) is a cylindrical Wiener process as in Definition 5.1, with \(V\) there replaced by \(U\) and \(Q=I_{V}\). In particular, for any \(\varphi \in U\), \(\left\{ W_{t}\left( \varphi \right) ,t\ge 0\right\} \) is a Brownian motion with variance \(t\left\| \varphi \right\| _{U}\) and for all \(s,t\ge 0\) and \(\varphi ,\psi \in U\), \(E\left( W_{t}\left( \varphi \right) W_{t}\left( \psi \right) \right) =\left( s\wedge t\right) \left\langle \varphi ,\psi \right\rangle _{U}\).
Remark 5.8
This proposition allow us to use the stochastic integration defined in Sect. 5.1. This defines the stochastic integral \(g\cdot W\) for all \(g\in L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \). In order to use the stochastic integral of Sect. 5.1, let \(\left( e_{j}\right) _{j}\subset \mathcal {D} _{\mathbb {R}}(\mathbb {Q}_{p}^{N})\) be a complete orthonormal basis of \(U\), and consider the cylindrical Wiener process \(\left\{ W_{t}(\varphi )\right\} \) defined in Proposition 5.7. For any predictable process \(g\) in \(L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \), the stochastic integral with respect to \(W\) is
and the isometry property is given by
We also use the notation \(\int _{0}^{T}\int _{\mathbb {Q}_{p}^{N}}g(s,y)W(ds,dy)\) instead of \(\int _{0}^{T}g_{s}dW_{s}\). In later sections we will also use the notation \(E\left( \int _{0}^{T}\left\| g\left( s\right) \right\| _{U}^{2}ds\right) \) for \(E\left( \left( g\cdot W\right) ^{2}\right) \).
5.3 The Spectral Measure
Recall that \(\mu \) is the spectral measure of \(W\). In the following we use a function \(\Gamma \) satisfying the following hypothesis:
Hypothesis A The function \(\Gamma \) is defined on \(\mathbb {R} _{+}:=\left[ 0,+\infty \right) \) with values in \(\mathcal {D}_{\mathbb {R} }^{\prime }(\mathbb {Q}_{p}^{N})\) such that, for all \(t>0\), \(\Gamma \left( t\right) \) is a positive distribution satisfying
and \(\Gamma \) is associated with a measure \(\Gamma \left( t,d^{N}x\right) \) such that, for all \(T>0\),
We now set \(\Gamma \left( t,x\right) =\mathcal {F}_{\xi \rightarrow x} ^{-1}\left( e^{-t\left| a\left( \xi \right) \right| _{p}^{\beta } }\right) \), for \(t>0\), and \(\Gamma \left( 0,x\right) :=\delta \left( x\right) \), i.e \(\Gamma \) is the fundamental solution of (3.4), and since \(\Gamma \left( t,x\right) \in L^{1}\left( \mathbb {Q}_{p} ^{N},d^{N}x\right) \) for \(t>0\), it defines an element of \(\mathcal {D} _{\mathbb {R}}^{\prime }(\mathbb {Q}_{p}^{N})\). In addition, \(\Gamma \left( t,d^{N}x\right) :=\Gamma \left( t,x\right) d^{N}x\), and by Theorem 3.3 (ii) and (v),
Hence \(\Gamma \left( t,d^{N}x\right) \) satisfies (5.6).
Remark 5.9
If \(H\left( t,x\right) \) is a function on \(\mathbb {R}\times \mathbb {Q} _{p}^{N}\), we use \(H\left( t\right) \) instead of \(H\left( t,\cdot \right) \). If \(G\left( t,x,\omega \right) \) is a function on \(\mathbb {R} \times \mathbb {Q}_{p}^{N}\times \Omega \), we use \(G\left( t,x\right) \) instead of \(G\left( t,x,\omega \right) \), as it is customary in probability, in certain special cases we will use \(G\left( t,x\right) \left( \omega \right) \).
On the other hand, by using Fubini’s Theorem and inequality (3.1), it is easy to check that condition (5.5) is equivalent to
Lemma 5.10
With the notation of Lemma 5.4, assuming \(\int _{\mathbb {Q}_{p}^{N}}f(x)K_{d\beta }\left( x\right) d^{N}x<+\infty \) and (5.7), we have
Proof
Set
Then \(\int _{\mathbb {Q}_{p}^{N}}\delta _{n}\left( x\right) d^{N}x=1\) for any \(n\), \(\delta _{n}\) \(\underrightarrow{\mathcal {D}^{\prime }}\) \(\delta \) and \(\mathcal {F}\delta _{n}\left( \xi \right) =\Omega \left( p^{-n}\left\| \xi \right\| _{p}\right) \) \(\underrightarrow{\text {{pointwise}}}\) \(1\). Notice that \(\left( K_{d\beta }*\delta _{n}\right) \left( x\right) =K_{d\beta }\left( x\right) \), for \(x\in \mathbb {Q}_{p}^{N}\backslash \left\{ 0\right\} \) and for any \(n>N(x)\), since \(K_{d\beta }\) is radial, then
Now, by the Riesz–Markov–Kakutani Theorem, \(\mu \) is an element of \(\mathcal {D}^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \) and since \(K_{d\beta }*\delta _{n}\in \mathcal {D}\left( \mathbb {Q}_{p}^{N}\right) \), we have
Then by applying the Dominated Convergence Theorem and using (5.9) and the hypothesis \(\int _{\mathbb {Q}_{p}^{N}}f(x)K_{d\beta }\left( x\right) d^{N}x<+\infty \), we get
On the other hand, by the Riesz-Markov-Kakutani Theorem,
now, by the Dominated Convergence Theorem and Hypothesis (5.7),
\(\square \)
From Lemmas 5.4–5.10, we obtain the following result:
Theorem 5.11
5.4 Examples of Integrands
The main examples of integrands are provided by the following result:
Proposition 5.12
Assume that \(\Gamma \) satisfies Hypothesis A. Let
be a predictable process such that
Then, the random element \(G=G\left( t,x\right) =Y\left( t,x\right) \Gamma \left( t,x\right) \) is a predictable process with values in \(L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \). Moreover,
and
Remark 5.13
The integral of \(G\) with respect to \(W\) will be also denoted by
Proof
The proof will be accomplished through several steps.
§1. Assertion A:\(\ G(t)\in L^{1}\left( \mathbb {Q}_{p}^{N}\right) \), for \(t\in \left( 0,T\right] \) a.s.
Indeed, by the Hölder inequality,
cf. Theorem 3.3 (iii). Hence,
and by Fubini’s Theorem, \(\left| Y\left( t,x\right) \right| ^{2}\Gamma \left( t,x\right) \in L^{1}\left( \mathbb {Q}_{p}^{N}\right) \), for \(t\in \left( 0,T\right] \) a.s. Now,
By using the above reasoning, one verifies that \(\int _{0}^{T}\int _{\mathbb {Q}_{p}^{N}}\left| Y\left( t,x\right) \right| h\left( t,x\right) d^{N}xdt<+\infty \), for every \(h\in L^{1}\left( \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right) \) satisfying \(h\ge 0\), therefore
As a consequence of Assertion A, we have \(G(t)\in \mathcal {D}_{\mathbb {R} }^{\prime }\left( \mathbb {Q}_{p}^{N}\right) \), for \(t\in \left( 0,T\right] \) a.s. We now proceed to regularize this distribution. We set \(\Delta _{l}\left( x\right) :=\Omega \left( p^{-l}\left\| x\right\| _{p}\right) \), \(\delta _{k}\left( x\right) =p^{kN}\Omega \left( p^{k}\left\| x\right\| _{p}\right) \) for \(k,l\in \mathbb {N}\). Then \(\int \delta _{k}\left( x\right) d^{N}x=1\), \(\mathcal {F}\left( \Delta _{k}\right) =\delta _{k}\), \(\delta _{k}\) \(\underrightarrow{\mathcal {D} _{\mathbb {R}}^{\prime }}\) \(\delta \) (Dirac distribution), and \(\Delta _{l}\) \(\underrightarrow{\text {pointwise}}\) \(1\), as before.
We also set \(G_{k,l}(t):=\left( \Delta _{l}Y\left( t\right) \Gamma \left( t\right) \right) *\delta _{k}\), \(k,l\in \mathbb {N}\), \(t\in \left( 0,T\right] \), and \(\Gamma _{k}\left( t\right) :=\Gamma \left( t\right) *\delta _{k}\). Then, \(G_{k,l}(t)\in \mathcal {D}_{\mathbb {R}}\left( \mathbb {Q}_{p}^{N}\right) \) for \(t\in \left( 0,T\right] \), more precisely,
Now, since
cf. (5.11), we have \(c_{j}\left( t;k,l\right) \in L^{\infty }\left( \left[ 0,T\right] \right) \) a.s. Therefore
§2. A bound for \(\sup _{k,l\ge 1}E\left\| G_{k,l}\right\| _{U_{T}}^{2}\).
By using the definition of the convolution and the uniform bound for the square moments of \(Y\), we get:
because \(\mathcal {F}\Gamma _{k}\left( t\right) \left( \xi \right) =\mathcal {F}\Gamma \left( t\right) \left( \xi \right) \cdot \Omega \left( p^{-k}\left\| \xi \right\| _{p}\right) \le \mathcal {F}\Gamma \left( t\right) \left( \xi \right) \). Therefore
for \(t\in \left( 0,T\right] \) a.s.
As a consequence, we get that \(G_{k,l}\in L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \) for \(k,l\ge 1\), since by (5.12), \(G_{k,l}(t)\in L^{2}\left( \left[ 0,T\right] \right) \otimes _{\text {alg} }\mathcal {D}_{\mathbb {R}}\left( \mathbb {Q}_{p}^{N}\right) \) a.s.
§3. \(\lim _{k\rightarrow +\infty }G_{k,l}\in L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \).
We set \(G_{l}(t):=\Delta _{l}Y\left( t\right) \Gamma \left( t\right) \), \(l\in \mathbb {N}\), \(t\in \left( 0,T\right] \). By using the reasoning given in Paragraph 2, we get
for any \(l\in \mathbb {N}\).
We now assert that \(G_{k,l}\) \(\underrightarrow{U_{T}}\) \(G_{l}\) as \(k\rightarrow +\infty \). Indeed,
by the Dominated Convergence Theorem and (5.14). Hence \(G_{l}\in L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \) and by (5.14),
§4. \(G_{l}\) \(\underrightarrow{U_{T}}\) \(G\), i.e. \(\lim _{l\rightarrow +\infty }E\left( \left\| G-G_{l}\right\| _{U_{T}}^{2}\right) =0\).
Indeed,
the last inequality was obtained by using the reasoning given in Paragraph 2. On the other hand,
Now by using the Dominated Convergence Theorem and the fact that
cf. [36, Theorem 1.14], we get that \(\lim _{l\rightarrow +\infty }E\left( \left\| G-G_{l}\right\| _{U_{T}}^{2}\right) =0\), which implies \(G\in L^{2}\left( \Omega \times \left[ 0,T\right] ;U\right) \).
Moreover, we deduce that
cf. (5.15).
§5. A bound for \(E\left( \left| G\cdot W\right| ^{2}\right) \).
The announced bound for \(E\left( \left| G\cdot W\right| ^{2}\right) \) is obtained from (5.4) by using a reasoning similar to the one used in Paragraph 2. \(\square \)
Remark 5.14
Let \(Y\) be a process as in Proposition 5.12. Consider the processes of the form
where \(0\le T_{0}<T\), then
6 Stochastic Pseudodifferential Equations Driven by a Spatially Homogeneous Noise
In this section we introduce a new class of stochastic pseudodifferential equations in \(\mathbb {Q}_{p}^{N}\) driven by a spatially homogeneous noise, more precisely, we study the following class of stochastic equations:
where the coefficients \(\sigma \) and \(b\) are real-valued functions and \(\overset{\cdot }{W}\left( t,x\right) \) is the formal notation for the Gaussian random perturbation described in Sect. 5.2.
Recall that we are working with a filtered probability space \(\left( \Omega ,\mathcal {F},\left( \mathcal {F}_{t}\right) ,P\right) \), where \(\left( \mathcal {F}_{t}\right) _{t}\) is a filtration generated by the standard cylindrical Wiener process of Proposition 5.7. We fix a time horizon \(T>0\).
Definition 6.1
A real-valued adapted stochastic process
is a mild random field solution of (6.1), if the following stochastic integral equation is satisfied:
for all \(\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\).
The stochastic integral on the right-hand side of (6.2) is as defined in Remark 5.8. In particular, we need to assume that for any \(\left( t,x\right) \) the fundamental solution \(\Gamma \left( t-\cdot ,x-\star \right) \) satisfies Hypothesis A, and to require that
defines a predictable process taking values in the space \(U\) such that
see Sect. 5.4. These assumptions will be satisfied by imposing that \(b\) and \(\sigma \) are Lipschitz continuous functions (see Theorem 6.4). The last integral on the right-hand side of (6.2) is considered in the pathwise sense.
The aim of this section is to prove the existence and uniqueness of a mild random field solution for stochastic integral equation (6.2). We are interested in solutions that are \(L^{2}\left( \Omega \right) \)-bounded and \(L^{2}\left( \Omega \right) \)-continuous.
Lemma 6.2
Assume that \(u_{0}:\mathbb {Q}_{p}^{N}\rightarrow \mathbb {R}\) is measurable and bounded. Then
is continuous and \(\sup _{\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}}\left| I_{0}\left( t,x\right) \right| <+\infty \).
Proof
Notice that
and
By combining (6.3)–(6.4), we get \(\sup _{\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}}\left| I_{0}\left( t,x\right) \right| \le \left\| u_{0}\right\| _{L^{\infty }}\).
The continuity of \(I_{0}\left( t,x\right) \) at a point of the form \(\left( t_{0},x_{0}\right) \), with \(t_{0}>0\), follows by the Dominated Convergence Theorem and Theorem 3.3 (vi). The continuity of \(I_{0}\left( t,x\right) \) at \(\left( 0,x_{0}\right) \) is a consequence of the fact that \(\lim _{\left( t,x\right) \rightarrow \left( 0,x_{0}\right) }I_{0}\left( t,x\right) =u_{0}\left( x_{0}\right) =I_{0}\left( 0,x_{0}\right) \). \(\square \)
Hypothesis B Let \(\Gamma \) be the fundamental solution of (3.4) as before. We assume that
Lemma 6.3
If \(\int _{\mathbb {Q}_{p}^{N}}\left\| \xi \right\| _{p}^{d\beta }d\mu \left( \xi \right) <+\infty \), then Hypothesis B holds. Furthermore, the condition \(\int _{\mathbb {Q}_{p}^{N}}\left\| \xi \right\| _{p}^{d\beta }d\mu \left( \xi \right) <+\infty \) also implies (5.5).
Proof
By applying the Mean Value Theorem to the function \(e^{-t\left| a\left( \xi \right) \right| _{p}^{\beta }}\), we have
cf. (3.1), and thus
In order to prove the result, it is sufficient to show that
Now, if
then (6.6) follows by applying the Dominated Convergence Theorem. On the other hand, it is easy to check that \(\int _{\mathbb {Q}_{p}^{N} }\left\| \xi \right\| _{p}^{d\beta }d\mu \left( \xi \right) <+\infty \) implies
now (6.7) follows from (6.8) by using the Fubini Theorem. The last assertion in the statement follows from the fact that (5.5) is equivalent to (5.7). \(\square \)
Theorem 6.4
Assume that \(b\), \(\sigma \) are Lipschitz continuous functions, \(u_{0}\) is measurable and bounded function, and that
Then, there exists a unique mild random field solution \(\left\{ u\left( t,x\right) \!,\left( t,x\right) \!\in \!\left[ 0,T\right] \!\times \!\mathbb {Q} _{p}^{N}\right\} \) of (6.2). Moreover, \(u\) is \(L^{2}\left( \Omega \right) \)-continuous and
Proof
The proof involves similar techniques and ideas to those of [4, 17, 18]. We use the following Picard iteration scheme:
for \(n\in \mathbb {N}\).
The proof will be accomplished through several steps.
§1. \(u^{n}\left( t,x\right) \) is a well-defined measurable process.
We prove by induction on \(n\) that \(\left\{ u^{n}\left( t,x\right) ,\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right\} \) is a well-defined measurable process satisfying
for \(n\in \mathbb {N}\). By Lemma 6.2, \(u^{0}\left( t,x\right) \) satisfies (6.12), and the Lipschitz property of \(\sigma \) implies that
By Proposition 5.12, the stochastic integral
is well-defined and
where
We now consider the pathwise integral
By applying the Cauchy–Schwartz inequality with respect to the finite measure \(\Gamma \left( s,y\right) d^{N}yds\) on \(\left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\) and by using the Lipschitz property of \(b\), one gets
which is uniformly bounded with respect to \(t\) and \(x\). This fact together with (6.13) imply that \(\left\{ u^{1}\left( t,x\right) ,\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right\} \) is a well-defined measurable process, cf. Proposition 5.12. In addition , by (6.13)–(6.14) and Hypothesis A,
Consider now the case \(n>1\) and assume that \(\left\{ u^{n}\left( t,x\right) ,\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right\} \) is a well-defined measurable process satisfying (6.12). By the same arguments as above, one proves that
and that
Hence the integrals \(\mathcal {I}^{n+1}\left( t,x\right) \) and \(\mathcal {J} ^{n+1}\left( t,x\right) \) exist, so that \(u^{n+1}\) is a well-defined measurable process satisfying (6.12).
§2. We now show that
Indeed, by using the estimates (6.15)–(6.16), we have
Now (6.17) follows from the version of Gronwall’s Lemma presented in [18, Lemma 15].
§3. \(u^{n}\left( t,x\right) \) \(\underrightarrow{L^{2}\left( \Omega \right) }\) \(u\left( t,x\right) \) uniformly in \(x\in \mathbb {Q} _{p}^{N}\), \(t\in \left[ 0,T\right] \).
Following the same ideas as in the proof of [18, Theorem 13], we take
By using Proposition 5.12, the Lipschitz property of \(b\) and \(\sigma \), and by applying the same arguments as above, one gets
Now by applying Gronwall’s Lemma presented in [18, Lemma 15], we get
Hence \(\left\{ u^{n}\left( t,x\right) \right\} _{n\in \mathbb {N}}\) converges uniformly in \(L^{2}\left( \Omega \right) \) to a limit \(u\left( t,x\right) \). From this fact, we get
§4. The process \(\left\{ u\left( t,x\right) ,\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right\} \) is \(L^{2}\left( \Omega \right) \)-continuous and has a jointly measurable version.
The proof of this fact is based on the following result. Let \(\mathcal {L}\) be a complete separable metric space, and \(\mathcal {B}(\mathcal {L})\) the \(\sigma \)-algebra of Borel sets of \(\mathcal {L}\), and let \(X_{s}\), \(s\in \mathcal {L}\) be a real stochastic process on \(\left( \Omega ,\mathcal {F},P\right) \), where real means \(\left[ -\infty ,+\infty \right] \)-valued. The process \(X_{s}\), \(s\in \mathcal {L}\), is jointly measurable if the map \(\left( s,\omega \right) \rightarrow X_{s}\left( \omega \right) \) is \(\mathcal {B}(\mathcal {L} )\times \mathcal {F}\)-measurable. Let \(\mathcal {M}\) be the space of all real random variables on \(\left( \Omega ,\mathcal {F},P\right) \) with the topology of convergence in probability. Then \(X_{s}\), \(s\in \mathcal {L}\), has a jointly measurable modification if and only if the map from \(\mathcal {L}\) to \(\mathcal {M}\) taking \(s\) to \(\left[ X_{s}\right] \), the class of \(X_{s}\) in \(\mathcal {M}\), is measurable, see [14, 15, Theorem 3].
In our case, \(\mathcal {L}=\left( \left[ 0,T\right] \times \mathbb {Q}_{p} ^{N},d\right) \) with
Then \(\mathcal {B}(\left[ 0,T\right] \times \mathbb {Q}_{p}^{N})=\mathcal {B} (\left[ 0,T\right] )\times \mathcal {B}(\mathbb {Q}_{p}^{N})\). It is sufficient to show that the map from \(\left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\) to \(\mathcal {M}\) taking \(\left( t,x\right) \) to \(u\left( t,x\right) \) is continuos in \(L^{2}\left( \Omega \right) \). And since the convergence of \(u^{n+1}\left( t,x\right) \) to \(u\left( t,x\right) \) is uniform in \(L^{2}\left( \Omega \right) \), it is sufficient to show that \(u^{n+1}\left( t,x\right) \) is \(L^{2}\)-continuous. In order to do this, we have to verify that
and
Indeed, (6.20) implies that \(x\rightarrow u^{n+1}\left( t,x\right) \) is uniformly continuous in \(L^{2}\left( \Omega \right) \) and (6.21 ) implies that \(t\rightarrow u^{n+1}\left( t,x\right) \) is continuous in \(L^{2}\left( \Omega \right) \), therefore \(\left( t,x\right) \rightarrow u^{n+1}\left( t,x\right) \) is continuous in \(L^{2}\left( \Omega \right) \). The proof of this fact follows from Hypotheses A and B by using the technique given in [18] to prove Lemma 19.
§5. \(u\left( t,x\right) \) is a solution of (6.2).
We set
and
In order to to establish Step 5, it is sufficient to show that
and that
To show (6.22) we proceed as follows. By The Lipschitz property of \(\sigma \), Proposition 5.12 and Hypothesis A,
this last term tends to zero as \(n\) tend to infinity. The case (6.23) can be treated in a similar form. By the results of Paragraph 4, the process \(\left\{ u\left( t,x\right) ,\left( t,x\right) \in \left[ 0,T\right] \times \mathbb {Q}_{p}^{N}\right\} \) has a measurable version that satisfies (6.2).
§6. \(u\left( t,x\right) \) is the unique solution of (6.2) satisfying (6.9).
This fact can be checked by using standards arguments. \(\square \)
References
Albeverio, S., Karwoski, W.: Diffusion in \(p\)-adic numbers. In: Ito, K., Hida, H. (eds.) Gaussian Random Fields, pp. 86–99. World Scientific, Singapore (1991)
Albeverio, S., Karwoski, W.: A random walk on \(p\)-adics: the generator and its spectrum. Stoch. Process. Appl. 53, 1–22 (1994)
Albeverio, S., Yu, K.A., Shelkovich, V.M.: Theory of \(p\)-Adic Distributions: Linear and Nonlinear Models. Cambridge University Press, Cambridge, MA (2010)
Annie, M., Marta, S.-S.: A stochastic wave equation in two space dimension: smoothness of the law. Ann. Probab. 27(2), 803–844 (1999)
Avetisov, V.A., Bikulov, A.H., Kozyrev, S.V., Osipov, V.A.: \(p\)-Adic models of ultrametric diffusion constrained by hierarchical energy landscapes. J. Phys. A 35(2), 177–189 (2002)
Avetisov, V.A., Bikulov, A.Kh.: \(p\)-Adic description of characteristic relaxation in complex systems. J. Phys. A 36(15), 4239–4246 (2003)
Avetisov, V.A., Bikulov, A.Kh., Osipov, V.A.: \(p\)-Adic models of ultrametric diffusion in the conformational dynamics of macromolecules. Proc. Steklov Inst. Math. 2(245), 48–57 (2004)
Bikulov, A.Kh., Volovich, I.V.: \(p\)-Adic Brownian motion. Izv. Math. 61(3), 537–552 (1997)
Bikulov, A.Kh.: Stochastic equations of mathematical physics over the field of \(p\)-adic numbers. Theoret. and Math. Phys. 119(2), 594–604 (1999)
Cazenave, T.: An Introduction to Semilinear Evolution Equations. Oxford University Press, Haraux, Oxford (1998)
Chacón-Cortes, L.F., Zúñiga-Galindo, W.A.: Non-local operators, non-Archimedean parabolic-type equations with variable coefficients and Markov processes. arXiv:1405.3016
Chacón-Cortes, L.F., Zúñiga-Galindo, W.A.: Nonlocal operators, parabolic-type equations, and ultrametric random walks. J. Math. Phys. 54(11), 113503, 17 (2013)
Christian, Berg, Gunnar, Forst: Potential Theory on Locally Compact Abelian Groups. Springer, New York (1975)
Chung, K.L., Doob, J.L.: Fields, optionality and measurability. Am. J. Math. 87, 397–424 (1965)
Cohn, D.L.: Measurable choice of limit points and the existence of separable and measurable processes. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 22, 161–165 (1972)
Da Prato, G.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge, MA (1992)
Dalang, R.C., Quer-Sardanyons, L.: Stochastic integrals for spde’s: a comparison. Expo. Math. 29(1), 67–109 (2011)
Dalang, R.C.: Extending the martingale measure stochastic integral with applications to spatially homogeneous s.p.d.e’.s. Electron. J. Probab. 4(6), 29 (1999)
Evans, S.N.: p-Adic White Noise, Chaos Expansions, and Stochastic Integration. Probability Measures on Groups and Related Structures, XI (Oberwolfach, pp. 102–115. World Sci. Publ, River Edge, NJ 1994) (1995)
Evans, S.N.: Local properties of Lévy processes on a totally disconnected group. J. Theoret. Probab. 6, 817–850 (1993)
Frauenfelder, H. (author), Chan, S.S. (Editor), Chan, W.S. (Editor), Austin, R.H. (Contributor), Schulz, C.E. (Contributor), Nienhaus, G.U. (Contributor), Young, R.D. (Contributor): The Physics of Proteins: An Introduction to Biological Physics and Molecular Biophysics. Springer, Berlin (2010)
Gel’fand, I.M., Ya, V.N.: Generalized Functions, Vol. 4. Applications of Harmonic Analysis. Academic Press, New York (1964)
Kamizono, K.: p-Adic Brownian motion over \(\mathbb{Q} _{p}\). Proc. Steklov Inst. Math. 265(1), 115–130 (2009)
Kaneko, H., Kochubei, A.N.: Weak solutions of stochastic differential equations over the field of \(p\)-adic numbers. Tohoku Math. J. 4(2), 547–564 (2007)
Karwowski, W.: Diffusion processes with ultrametric jumps. Rep. Math. Phys. 60(2), 221–235 (2007)
Kenji, K.: Symmetric stochastic integrals with respect to p-adic Brownian motion. Stochastics 79(6), 523–538 (2007)
Khrennikov, A.Y.: Fundamental solutions over the field of \(p\)-adic numbers. St. Petersburg Math. J. 4(3), 613–628 (1993)
Khrennikov, A.Y., Khuang, Z.: Generalized functionals of \(p\)-adic white noise. Dokl. Akad. Nauk 344(1), 23–26 (1995)
Khrennikov, A.: Probabilistic pathway representation of cognitive information. J. Theor. Biol. 231, 597–613 (2004)
Khrennikov, A.Y., Kozyrev, S.V.: \(p\)-adic pseudodifferential operators and analytic continuation of replica matrices. Theoret. and Math. Phys. 144(2), 1166–1170 (2005)
Khrennikov, A.Y., Kozyrev, S.V.: Ultrametric random field. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 9(2), 199–213 (2006)
Khrennikov, A.Y., Kozyrev, S.V., Oleschko, K., Jaramillo, A.G., Correa López, M.: Application of \(p\)-adic analysis to time series. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 16(4), 1350030 (15 pages) (2013)
Kochubei, A.N.: Stochastic integrals and stochastic differential equations over the field of \(p\)-adic numbers. Potential Anal. 2, 105–125 (1997)
Kochubei, A.N.: Pseudo-Differential Equations and Stochastics Over Non-Archimedean Fields. Marcel Dekker Inc, New York (2001)
Rodríguez-Vega, J.J., Zúñiga-Galindo, W.A.: Taibleson operators, \(p\)-adic parabolic equations and ultrametric diffusion. Pacific J. Math. 237(2), 327–347 (2008)
Taibleson, M.H.: Fourier Analysis on Local Fields. Princeton University Press, Princeton, NJ (1975)
Torba, S.M., Zúñiga-Galindo, W.A.: Parabolic type equations and Markov stochastic processes on adeles. J. Fourier Anal. Appl. 19(4), 792–835 (2013)
Varadarajan, V.S.: Path integrals for a class of \(p\)-adic Schrödinger equations. Lett. Math. Phys. 39(2), 97–106 (1997)
Vladimirov, V.S., Volovich, I.V., Zelenov, E.I.: \(p\)-Adic Analysis and Mathematical Physics. World Scientific, Singapore (1994)
Walsh, J.B.: An introduction to stochastic partial differential equations. École d’été de probabilités de Saint-Flour, XIV–1984, pp. 265–439. Lecture Notes in Math., 1180. Springer, Berlin (1986)
Zúñiga-Galindo, W.A.: Parabolic equations and Markov processes over p-adic fields. Potential Anal. 28(2), 185–200 (2008)
Acknowledgments
The author wishes to thank to Anatoly Kochubei and Sergii Torba for fruitful discussions and remarks. The author was partially supported by Conacyt (Mexico), Grant # 127794.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Rights and permissions
About this article
Cite this article
Zúñiga-Galindo, W.A. The Non-Archimedean Stochastic Heat Equation Driven by Gaussian Noise. J Fourier Anal Appl 21, 600–627 (2015). https://doi.org/10.1007/s00041-014-9383-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-014-9383-9
Keywords
- Stochastic pseudodifferential equations
- Gaussian noise
- Process solution
- p-Adic fields
- Non-Archimedean functional analysis