A counterexample to maximal $L_p$-regularity of the stochastic heat equation in polygons: the case $p>4$

TL;DR

This paper demonstrates that the maximal $L_p$-regularity estimate for the stochastic heat equation fails in polygonal domains with angles exceeding a certain threshold when $p>4$, providing a counterexample that challenges previous assumptions.

Contribution

The paper constructs a counterexample showing the failure of maximal $L_p$-regularity for the stochastic heat equation in polygons with large angles when $p>4$, extending known results to these geometries.

Findings

Maximal $L_p$-regularity fails in polygons with large angles for $p>4$.

Counterexample applies to polygons in $ ^2$ with angles ≥ $rac{p ext{π}}{2(p-2)}$.

Similar failure extends to higher-dimensional polygonal domains.

Abstract

Let $D$ be a domain in $R^d$ and $u$ be the solution to the stochastic heat equation $$ du=\Delta u dt+ g\,dW_t, \quad t>0, x\in D, $$ with zero initial and boundary data. Here $W_t$ is a one-dimensional Wiener process on a probability space $\Omega$. It has been proved (see below for references) that for any $p\geq 2$ the inequality $$ \|\nabla u\|_{L_p(\Omega\times [0,T]\times D)} \leq c \|g\|_{L_p(\Omega\times [0,T]\times D)} $$ holds if $\partial D\in C^1$. In this note we prove that if $p>4$ then this inequality fails in any polygon in $R^2$ having an angle greater than or equal to $\frac{p\pi}{2(p-2)}$. We also show that a similar statement holds in higher dimensional polygons. The counterexample introduced here is based on personal communication with N.V. Krylov.