Lions' Maximal Regularity Problem for Divergence-Form Differential Operators: Failure at the $\frac{1}{2}$-Hölder Endpoint

Abstract

In this work we give a counterexample to maximal $\mathrm{L}^2$-regularity in Lions' problem for divergence-form differential operators. On a bounded interval, we construct a bounded, uniformly elliptic, real scalar diffusion coefficient that is $\frac{1}{2}$-Hölder continuous in time with values in spatial $\mathrm{L}^\infty$. It can be chosen arbitrarily close to the constant coefficient of the heat equation. For zero initial data and a forcing term that is continuous in time with square-integrable spatial values, the unique Lions variational solution has a time derivative that is not square integrable in space-time. Thus $\frac{1}{2}$-Hölder continuity alone does not imply maximal $\mathrm{L}^2$-regularity, even for arbitrarily small scalar perturbations of the heat equation. The construction is based on a lacunary family of oscillatory trigonometric modes localised on shrinking time intervals. The spatial profile and the oscillatory modes, together with their first spatial derivatives, vanish at both endpoints. This permits zero extension of the counterexample to the real line. Tensorisation and localisation by parabolic rescaling then yield real symmetric isotropic counterexamples on $\mathbb{R}^d$ and on every bounded domain $Ω\subset\mathbb{R}^d$, for all $d\ge1$.