The Stokes resolvent problem: optimal pressure estimates and remarks on resolvent estimates in convex domains

• Published in: Calculus of variations and partial differential equations Vol. 59; no. 5
• Main Author: Tolksdorf, Patrick
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2020; Springer Nature B.V
• Subjects: Analysis; Boundary conditions; Calculus of Variations and Optimal Control; Optimization; Control; Dirichlet problem; Domains; Estimates; Mapping; Mathematical analysis; Mathematical and Computational Physics; Mathematics; Mathematics and Statistics; Optimization; Systems Theory; Theoretical; 42B37; 35Q35; 47A10
• ISSN: 0944-2669; 1432-0835
• DOI: 10.1007/s00526-020-01811-8

The Stokes resolvent problem λ u - Δ u + ∇ ϕ = f with div ( u ) = 0 subject to homogeneous Dirichlet or homogeneous Neumann-type boundary conditions is investigated. In the first part of the paper we show that for Neumann-type boundary conditions the operator norm of L σ 2 ( Ω ) ∋ f ↦ ϕ ∈ L 2 ( Ω ) decays like | λ | - 1 / 2 which agrees exactly with the scaling of the equation. In comparison to that, the operator norm of this mapping under Dirichlet boundary conditions decays like | λ | - α for 0 ≤ α ≤ 1 / 4 and we show optimality of this rate, thereby, violating the natural scaling of the equation. In the second part of this article, we investigate the Stokes resolvent problem subject to homogeneous Neumann-type boundary conditions if the underlying domain Ω is convex. Invoking a famous result of Grisvard (Elliptic problems in nonsmooth domains. Monographs and studies in mathematics, Pitman, 1985), we show that weak solutions u with right-hand side f ∈ L 2 ( Ω ; C d ) admit H 2 -regularity and further prove localized H 2 -estimates for the Stokes resolvent problem. By a generalized version of Shen’s L p -extrapolation theorem (Shen in Ann Inst Fourier (Grenoble) 55(1):173–197, 2005) we establish optimal resolvent estimates and gradient estimates in L p ( Ω ; C d ) for 2 d / ( d + 2 ) < p < 2 d / ( d - 2 ) (with 1 < p < ∞ if d = 2 ). This interval is larger than the known interval for resolvent estimates subject to Dirichlet boundary conditions (Shen in Arch Ration Mech Anal 205(2):395–424, 2012) on general Lipschitz domains.