Optimal regularity of SPDEs with additive noise

Davar Khoshnevisan,Marta Sanz-Solé
DOI: https://doi.org/10.1214/23-EJP1043
2023-09-10
Abstract:The sample-function regularity of the random-field solution to a stochastic partial differential equation (SPDE) depends naturally on the roughness of the external noise, as well as on the properties of the underlying integro-differential operator that is used to define the equation. In this paper, we consider parabolic and hyperbolic SPDEs on $0,\infty)\times\mathbb{R}^d$ of the form $\partial_t u = L u + g(u) + \dot{F} \qquad\text{and}\qquad \partial^2_t u = L u + c + \dot{F}, $ with suitable initial data, forced with a space-time homogeneous Gaussian noise $\dot{F}$ that is white in its time variable and correlated in its space variable, and driven by the generator $L$ of a genuinely $d$-dimensional Lévy process $X$. We find optimal Hölder conditions for the respective random-field solutions to these SPDEs. Our conditions are stated in terms of indices that describe thresholds on the integrability of some functionals of the characteristic exponent of the process $X$ with respect to the spectral measure of the spatial covariance of $\dot F$. Those indices are suggested by references [45, 46] on the particular case that $L$ is the Laplace operator on $\mathbb{R}^d$.
Probability
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the optimal regularity problem of solutions to stochastic partial differential equations (SPDEs) with additive noise. Specifically, the author is concerned with how the sample - function regularity of solutions to parabolic and hyperbolic SPDEs on \((0, \infty)\times\mathbb{R}^d\) depends on the roughness of the external noise and the properties of the integro - differential operators defining the equations. ### Main research content 1. **Equation forms**: - Parabolic SPDE: \[ \partial_t u = Lu+g(u)+\dot{F} \] - Hyperbolic SPDE: \[ \partial_{tt} u = Lu + c+\dot{F} \] where \(L\) is the generator of a \(d\)-dimensional Lévy process \(X\), and \(\dot{F}\) is a space - time homogeneous Gaussian noise, which is white noise in time and correlated noise in space. 2. **Initial conditions**: - Parabolic: Given initial data \(u(0) = u_0\) - Hyperbolic: Given initial position \(u(0)=u_0\) and initial velocity \(\partial_t u(t)\big|_{t = 0}=v_0\) 3. **Noise characteristics**: - The covariance of the noise \(\dot{F}\) is given by: \[ \text{Cov}[\dot{F}(t_1,x),\dot{F}(t_2,y)]=\delta_0(t_1 - t_2)\Gamma(x - y) \] where \(\Gamma\) is a slowly increasing, non - negative definite Borel measure. ### Research objectives The main purpose of the paper is to determine the optimal Hölder regularity conditions of the random - field solutions of these SPDEs in the time and space variables. Specifically: - For the parabolic SPDE, the author hopes to find the optimal conditions for the solution \(u(t,x)\) to be locally Hölder continuous in time \(t\) and space \(x\). - For the hyperbolic SPDE, under the condition that the initial condition is zero, also look for the optimal conditions for the solution \(u(t,x)\) to be locally Hölder continuous. ### Key results By introducing two "fractal indices" \(\text{ind}\) and \(\text{ind}'\), the author found specific expressions that satisfy these conditions and proved the necessity and sufficiency of these conditions. For example, for the parabolic SPDE, the key results include: - If \(\int_{\mathbb{R}^d}\frac{|\psi(\xi)|^a}{1+\Re(\psi(\xi))}\mu(d\xi)<\infty\) for some \(a\in(0,1)\), then \(t\mapsto u(t,x)\) is almost everywhere locally Hölder continuous. - If \(\int_{\mathbb{R}^d}\frac{\|\xi\|^{2b}}{1+\Re(\psi(\xi))}\mu(d\xi)<\infty\) for some \(b\in(0,1)\), then \((t,x)\mapsto u(t,x)\) is almost everywhere locally Hölder continuous. These results are applicable not only to the parabolic SPDE but also to the hyperbolic SPDE, and in some specific cases (such as when \(L\) is the Laplace operator), these conditions are consistent with the existing literature results and complement and improve them. In summary, this paper solves the optimal regularity problem of solutions to stochastic partial differential equations with additive noise through strict mathematical analysis and provides theoretical basis and specific conditions.