Global Existence and Partial Regularity for the Three-Dimensional Chemotaxis--Navier--Stokes System in a Half-Space

Abstract

We establish endpoint partial regularity for suitable weak solutions to the three-dimensional chemotaxis--Navier--Stokes system with constant sensitivity and linear consumption in a half-space under no-slip and no-flux boundary conditions. The full space--time singular set, including its boundary part, has vanishing one-dimensional parabolic Hausdorff measure. This follows from a Caffarelli--Kohn--Nirenberg type criterion at the natural $r^{-1}$ dissipation scaling, valid at interior and boundary points without additional pressure smallness. The key estimate combines weighted mass control with the localized entropy--energy inequality to close the iteration without a separate $n\log n$ quantity and accounts for the mass term generated by rescaling. Boundary-compatible pressure and caloric decompositions yield local Hölder regularity. We also prove a lower-order criterion requiring smallness only of the velocity, signal gradient, and pressure oscillation, with a threshold depending on an arbitrary finite density mass bound. We construct global suitable weak solutions under natural entropy and energy assumptions without smallness restrictions on the initial data. The potential is time-independent with bounded gradient; boundedness of the potential itself is assumed only for the large-time results. If its gradient is also Hölder continuous, a solution can be selected to become bounded and classical throughout the closed half-space after a finite waiting time. For the same solution, we obtain decay and Neumann Gaussian asymptotics for both scalar components without initial spatial moment assumptions. The profile coefficients are the conserved bacterial mass and the limiting signal mass, respectively, and the latter is strictly positive whenever the initial signal is nonzero.