[Paper Review] Steady compressible Nevier-Stokes flow in a square

Tomasz Piasecki|ArXiv.org|Jan 26, 2009

Navier-Stokes equation solutions11 references3 citations

TL;DR

This paper establishes the existence and uniqueness of a strong solution $(v, \rho) \in W^{2}_{p}(Q) \times W^{1}_{p}(Q)$ to the steady compressible Navier-Stokes equations in a square domain $Q = [0,1]^2$, under inflow boundary conditions for density and inhomogeneous slip conditions for velocity. The solution is shown to be a small perturbation of the constant flow $(\bar{v} = [1,0], \bar{\rho} = 1)$, using elliptic regularization and a fixed-point argument under small data and large friction assumptions.

ABSTRACT

We investigate a steady flow of compressible fluid with inflow boundary condition on the density and slip boundary conditions on the velocity in a square domain in $\mathbf{R^2}$. We show existence of a strong solution $(v,ρ) \in W^2_p(Q) imes W^1_p(Q)$ that is a small perturbation of a constant flow $(\bar v \equiv [1,0],\bar ρ\equiv 1)$. We also show that this solution is unique in a class of small perturbations of the constant flow $(\bar v,\bar ρ)$. In order show the existence of the solution we adapt the techniques know from the theory of weak solutions. We apply the method of elliptic regularization and a fixed point argument.

Motivation & Objective

• To establish the existence of strong solutions to the steady compressible Navier-Stokes system in a bounded 2D domain with mixed boundary conditions.
• To analyze the case where density is prescribed on the inflow boundary and velocity satisfies inhomogeneous slip conditions, avoiding the singularities present in general domains.
• To show that solutions exist and are unique when the data (boundary conditions and friction coefficient) are sufficiently small and the friction is large.
• To extend the theory of strong solutions to compressible flows under non-standard boundary conditions, particularly inflow for density and slip for velocity.
• To provide a priori estimates in $W^{2}_{p} \times W^{1}_{p}$ that are crucial for proving existence and uniqueness.

Proposed method

• Adapts techniques from weak solution theory to the strong solution framework, using elliptic regularization to handle the mixed elliptic-hyperbolic nature of the system.
• Applies a fixed-point argument in a suitable function space to construct the solution as a small perturbation of the constant flow $(\bar{v}, \bar{\rho}) = ([1,0], 1)$.
• Employs a weighted energy estimate by multiplying the momentum equation by $\rho_1 u$ to control the velocity gradient and derive a priori bounds.
• Uses the Helmholtz decomposition to split the velocity field into gradient and curl components, facilitating control of the velocity in Sobolev norms.
• Applies Korn's inequality and interpolation inequalities to control lower-order terms and close the estimates in $W^{2}_{p} \times W^{1}_{p}$.
• Imposes smallness assumptions on the boundary data $b$, $d$, and $\rho_{\text{in}}$, and requires a large friction coefficient $f$ to ensure positivity of boundary terms in energy estimates.

Experimental results

Research questions

• RQ1 Under what conditions does a strong solution exist for the steady compressible Navier-Stokes equations with inflow density and slip velocity boundary conditions in a bounded 2D domain?
• RQ2 Can the solution be shown to be unique within the class of small perturbations of a constant flow?
• RQ3 How can a priori estimates in $W^{2}_{p} \times W^{1}_{p}$ be derived for such a system with mixed boundary conditions?
• RQ4 What role does the friction coefficient $f$ play in stabilizing the solution and ensuring positivity of boundary terms in energy estimates?
• RQ5 Can the method of elliptic regularization and fixed-point iteration be adapted to prove existence for strong solutions in this non-standard boundary setting?

Key findings

• A strong solution $(v, \rho) \in W^{2}_{p}(Q) \times W^{1}_{p}(Q)$ exists for the steady compressible Navier-Stokes system in the square $Q = [0,1]^2$ under smallness assumptions on the boundary data and large friction.
• The solution is a small perturbation of the constant flow $(\bar{v} = [1,0], \bar{\rho} = 1)$, with the norm of the perturbation bounded by a constant $E$ depending on the data.
• Uniqueness is proven in the class of solutions satisfying the same smallness bound $||v - \bar{v}||_{W^{2}_{p}} + ||\rho - \bar{\rho}||_{W^{1}_{p}} \leq E$, ensuring no other nearby solutions exist.
• The key estimate $||u||_{H^{1}}^{2} \leq C \int_{Q} w \rho_{1} \text{div}\,u\,dx$ is derived via multiplication by $\rho_1 u$ and integration by parts, enabling control of the velocity gradient.
• The proof relies on a pointwise decomposition of $w^2$ and careful estimation of boundary and bulk terms, including the use of interpolation inequalities to control lower-order norms.
• The friction coefficient $f$ must be large enough to ensure the boundary term in the energy estimate is positive, which is essential for closing the a priori estimate.