Dr. Tim Binz (Universität Kassel)

We study the Stokes operator with no-slip boundary conditions on the spaces L^1_{σ,n}(Ω) and L^1(Ω,mathbb{C}^d)/∇W^{1,1}(Ω,mathbb{C}), where Ω ⊂ mathbb{R}^d is an arbitrary bounded C^{1,α}- domain. We show that the Stokes operator on L^1_{σ,n}(Ω) does not generate a C_0-semigroup, even though the resolvent problem is uniquely solvable. In stark contrast, its realization on L^1(Ω,mathbb{C}^d)/∇W^{1,1}(Ω) generates a compact, analytic C_0-semigroup, which leaves L^1_{σ,n}(Ω) invariant.

The key point is that these two realizations, which are canonically identified for 1 < p < ∞ through the Helmholtz decomposition, cease to be equivalent at the endpoint p = 1. This leads to genuinely different functional analytic properties. Our result provides the first positive generation theorem for the Stokes operator with no-slip boundary conditions in a pure L^1-setting on a bounded domain and settles a problem that had remained open for nearly fifty years; see, e.g., [3, 2]. In this sense, it completes the theory of the Stokes semigroup across the full scale of solenoidal Lebesgue spaces on (smooth) bounded domains. As an intermediate step, some results on the space of Radon measures are obtained.

The proof combines the sun-dual construction with a precise analysis of the failure of the Helmholtz decomposition in L^1, the celebrated result of Abe and Giga [1] on the Stokes semigroup on C_{σ,0}(Ω).

References

[1] K. Abe and Y. Giga. Analyticity of the Stokes semigroup in spaces of bounded functions. Acta Math 211 (2013), 1 – 46. https://doi.org/10.1007/ s11511-013-0098-6.

[2] W. Desch, M. Hieber and J. Prüss. Lp-Theory of the Stokes equation in a half space. J. Evol. Equ. 1 (2001), 115–142. https://doi.org/10.1007/PL00001362.

[3] H. Kozono. Rapid time-decay and net force to the obstacles by the Stokes flow in exterior domains. Math. Ann. 320 (2001), 709–730. https://doi.org/10.1007/ s002080100214.