Existence of strong solutions to the steady Navier-Stokes equations for a compressible heat-conductive fluid with large forces

TL;DR

This paper proves the existence of strong solutions to the steady compressible heat-conductive Navier-Stokes equations with large forces in bounded domains, under small Mach number conditions, and verifies the low Mach number limit.

Contribution

It introduces a novel splitting method to handle the coupled equations, establishing uniform estimates and connecting compressible and incompressible solutions.

Findings

Existence of strong solutions under small Mach number

Verification of the low Mach number limit

Uniform a priori estimates independent of Mach number

Abstract

We prove that there exists a strong solution to the Dirichlet boundary value problem for the steady Navier-Stokes equations of a compressible heat-conductive fluid with large external forces in a bounded domain $R^d (d = 2, 3)$, provided that the Mach number is appropriately small. At the same time, the low Mach number limit is rigorously verified. The basic idea in the proof is to split the equations into two parts, one of which is similar to the steady incompressible Navier-Stokes equations with large forces, while another part corresponds to the steady compressible heat-conductive Navier-Stokes equations with small forces. The existence is then established by dealing with these two parts separately, establishing uniform in the Mach number a priori estimates and exploiting the known results on the steady incompressible Navier-Stokes equations.