Abstract:This paper shows that the Stokes problem is well-posed when both velocity and pressure vanish on the domain boundary. This result is achieved by extending Nečas' inequality to square-integrable functions that vanish in a small band covering the boundary. It is found that the associated a priori pressure estimate depends inversely on the volume of the band. Numerical experiments confirm these findings. Based on these results, guidelines are provided for applying vanishing pressure boundary conditions in model coupling and domain decomposition methods.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to explore whether the Stokes problem is well - posed under the modified pressure Dirichlet boundary conditions. Specifically, the authors are concerned with the well - posedness of the Stokes problem when both the velocity field \( \mathbf{u} \) and the pressure field \( p \) are zero on the boundary of the computational domain \( \Omega \). #### Traditional methods and challenges The traditional Stokes problem usually ensures its well - posedness by imposing the Dirichlet condition on the velocity on the boundary (i.e., \( \mathbf{u}|_{\partial \Omega} = 0 \)) and the zero - average condition on the pressure in the whole region. However, in some applications (such as domain decomposition methods or adaptive partial differential equation model refinement methods), researchers hope to directly impose the Dirichlet conditions on both the velocity and the pressure on the boundary simultaneously (i.e., \( \mathbf{u}|_{\partial \Omega} = 0 \) and \( p|_{\partial \Omega} = 0 \)). In this case, since the pressure is usually a discontinuous function in the \( L^2(\Omega) \) space, directly imposing \( p|_{\partial \Omega} = 0 \) does not guarantee the well - posedness of the problem. #### Solutions To overcome this challenge, the authors introduce a relaxed Dirichlet - type boundary condition: \[ \mathbf{u}|_{\partial \Omega} = 0 \quad \text{and} \quad p|_\Delta = 0, \] where \( \Delta \subset \Omega \) is a small strip - like region surrounding \( \partial \Omega \) (see Figure 1.1). As \( |\Delta| \to 0 \), this modified boundary condition gradually approaches the situation of \( p|_{\partial \Omega} = 0 \). #### Main contributions 1. **Mathematical limitations**: By extending the Nečas inequality, the authors provide guidelines for choosing the size of \( \Delta \) and derive relevant a priori pressure estimates. 2. **Theoretical proof**: By extending the Nečas inequality, the inf - sup property of the bilinear form of the Stokes problem including the pressure term is established, thus proving the well - posedness of the problem. 3. **Numerical verification**: All theoretical results are verified through a series of numerical experiments, using Taylor - Hood elements to discretize the velocity field and the pressure field. In conclusion, this paper solves the well - posedness problem of the Stokes problem under the modified pressure Dirichlet boundary conditions and provides theoretical basis and practical guidance on how to set these boundary conditions in practical applications.

Well-posedness of the Stokes problem under modified pressure Dirichlet boundary conditions

Well-posedness of the Stokes equations on a wedge with Navier-slip boundary conditions

A pressure-residual augmented GLS stabilized method for a type of Stokes equations with nonstandard boundary conditions

Stokes and Navier-Stokes equations subject to partial slip on uniform $C^{2,1}$-domains in $L_q$-spaces

Numerical analysis for backward Euler spectral discretization for Stokes equations with boundary conditions involving the pressure: part II

Optimal Regularity for the Stokes Equations on a 2D Wedge Domain Subject to Navier Boundary Conditions

Divorcing pressure from viscosity in incompressible Navier-Stokes dynamics

On the construction of a family of well-posed approximate formulations for the stationary Stokes problem using an extended system

Pressure determinations for incompressible fluids and magnetofluids

Two-Phase Compressible/Incompressible Navier–Stokes System with Inflow-Outflow Boundary Conditions

A generalized Stokes system with a nonsmooth slip boundary condition

A Nonlocal Stokes System with Volume Constraints

Preconditioning of the generalized Stokes problem arising from the approximation of the time-dependent Navier-Stokes equations

Poisson kernel and blow-up of the second derivatives near the boundary for Stokes equations with Navier boundary condition

A pressure-robust mixed finite element method for the coupled Stokes–Darcy problem

Singular Limit for the Compressible Navier–Stokes Equations with the Hard Sphere Pressure Law on Expanding Domains

On the efficient preconditioning of the Stokes equations in tight geometries

Solvability in a Finite Pipe of Steady-State Navier–Stokes Equations with Boundary Conditions Involving Bernoulli Pressure

A divergence-free finite element method for the Stokes problem with boundary correction

A pressure-robust virtual element method for the Stokes problem

Stabilized isogeometric formulation of the Stokes problem on overlapping patches