Table of Contents
Fetching ...

A Note on a threshold for temporal regularity of stochastic PDEs

Antonio Agresti, Mark Veraar

Abstract

We consider solutions to linear parabolic SPDEs of the form \[ \mathrm{d} u(t) + A u(t)\, \mathrm{d} t = g(t)\, \mathrm{d} β, \qquad u(0)=0, \] where $A$ is a positive, invertible, and self-adjoint operator on a Hilbert space $X$, $β$ is a one-dimensional Brownian motion, and $g(t)\equiv x\in X$. We show that, for all $α\in [0,\frac{1}{2}),$ \[ u\in L^2(Ω;W^{α,2}(0,T;\mathsf{D}(A^{1/2}))) \quad \text{ if and only if }\quad x\in \mathsf{D}(A^α). \] In particular, there is a lack of persistence of temporal regularity from the diffusion coefficient $g$ to the solution, and additional spatial regularity is required to improve time regularity. In particular, this provides a counterexample to a conjectured time-regularity property for monotone stochastic evolution equations posed by D. Breit and M. Hofmanová in [C. R. Math. Acad. Sci. Paris 354 (2016), 33-37].

A Note on a threshold for temporal regularity of stochastic PDEs

Abstract

We consider solutions to linear parabolic SPDEs of the form where is a positive, invertible, and self-adjoint operator on a Hilbert space , is a one-dimensional Brownian motion, and . We show that, for all In particular, there is a lack of persistence of temporal regularity from the diffusion coefficient to the solution, and additional spatial regularity is required to improve time regularity. In particular, this provides a counterexample to a conjectured time-regularity property for monotone stochastic evolution equations posed by D. Breit and M. Hofmanová in [C. R. Math. Acad. Sci. Paris 354 (2016), 33-37].

Paper Structure

This paper contains 6 sections, 2 theorems, 34 equations.

Key Result

Theorem 1.1

Let $A$ be a positive, invertible, and (possibly unbounded) self-adjoint operator on a Hilbert space $X$. Assume that $g(t)\equiv x$ for some $x\in X$. Then, for all $\alpha\in [0,\frac{1}{2})$, Moreover, the following norm equivalence holds In particular, eq:alpha_regularity_statement does not hold for any $\alpha>0$.

Theorems & Definitions (7)

  • Theorem 1.1: Absence of temporal regularity persistency in parabolic SPDEs
  • Example 1.2
  • Theorem 1.3
  • Example 1.4
  • Remark 1.5: The case of nonlinear diffusion
  • proof : Proof of Theorem \ref{['thm:main']}
  • proof : Proof of Theorem \ref{['thm:main2']}