Keller-Segel-Navier-Stokes systems involving general sensitivities with Signal-Dependent Power-Law Decay

This paper establishes the global existence, uniform-in-time boundedness, and exponential convergence to steady states for classical solutions of two-dimensional Keller-Segel-Navier-Stokes systems with signal-dependent power-law decaying sensitivities by employing localized energy estimates and a novel interpolation inequality.

The Gist

Imagine a bustling city where two types of residents are interacting: Cells (let's call them "The Crowd") and Signals (let's call them "The Scent").

In this city, the Crowd wants to move toward the Scent. This is called chemotaxis. Usually, if the Scent is too strong, the Crowd gets so excited that they all rush to the same spot at once, causing a massive traffic jam or a "blow-up" (mathematically, a singularity where the density becomes infinite).

For decades, mathematicians have been trying to figure out how to keep this city from collapsing. They found that if the Scent gets weaker as it gets stronger (a "power-law decay"), it acts like a natural brake. If the Scent is too strong, the Crowd's sensitivity drops, and they stop rushing so frantically.

However, this paper adds a new, messy layer to the story: The Wind.

The Problem: The Windy City (Fluid Dynamics)

In many real-world scenarios (like bacteria swimming in water or cells moving in blood), the environment isn't still. There is a fluid moving around. This fluid is governed by the Navier-Stokes equations (the laws of fluid flow).

Now, the problem gets much harder:

1. The Crowd moves toward the Scent.
2. The Scent is carried away by the Wind (the fluid).
3. The Crowd pushes the Wind as they move.
4. The Wind pushes the Crowd back.

It's a chaotic dance. In previous studies, mathematicians could only prove the city stays safe if the initial crowd was very small or if the sensitivity was a simple number. But in reality, sensitivity is often a Tensor.

What is a Tensor?
Think of a scalar (a simple number) as a light that shines equally in all directions. A Tensor is like a flashlight with a weird, directional beam. It might shine brighter to the left than to the right. This directionality breaks the mathematical "tricks" (cancellations) that usually help solve these problems.

The Breakthrough: The "Local Smallness" Trick

The authors, Ahn and Hwang, solved this chaotic puzzle for a 2D city. They proved that even with this directional sensitivity and the moving wind, the city never collapses, provided the Scent's sensitivity drops off fast enough (specifically, faster than the square root of the signal strength).

Here is how they did it, using simple analogies:

1. The "Spotlight" Strategy (Localized Estimates)

Instead of trying to measure the whole city at once (which is too messy), they put a spotlight on small neighborhoods.

• They asked: "If we look at just this tiny block, is the crowd density manageable?"
• They found that because the sensitivity drops as the signal gets strong, the "drift" (the urge to rush) becomes weak locally.
• They proved that in these small neighborhoods, the "energy" of the system stays low.

2. The "Weighted Gradient" (The Heavy Backpack)

To handle the math, they imagined the Scent gradient (how fast the smell changes) as a hiker carrying a backpack.

• The heavier the backpack (the stronger the signal), the harder it is to move.
• They proved that even though the wind is blowing, the hiker with the heavy backpack can't run fast enough to cause a crash, because the backpack gets heavier and heavier as the signal grows.

3. The "Domino Effect" (Bootstrap Regularity)

Once they proved the small neighborhoods were safe, they used a domino effect:

• If the neighborhoods are safe, the Wind can't get too crazy.
• If the Wind is calm, the Scent stays smooth.
• If the Scent is smooth, the Crowd can't pile up.
• If the Crowd doesn't pile up, the whole city is safe forever.

The Result: Stability and Peace

The paper has two main conclusions:

1. Global Existence: No matter how you start the city (as long as the initial conditions are reasonable), the system will never blow up. The Crowd will never form an infinite singularity. They will spread out and coexist with the Wind and Scent forever.
2. Exponential Stabilization (The "Settling Down"): In the case where there is no wind (fluid-free), they proved that the system doesn't just survive; it settles down.
   • Imagine the Crowd initially clumped in a corner. Over time, they will spread out evenly across the city.
   • The Scent will also become uniform.
   • This happens exponentially fast, meaning the city becomes peaceful very quickly, like a shaken soda can that settles down once you stop shaking it.

Why This Matters

This is a big deal because:

• Realism: It models biological systems (like immune cells in blood or bacteria in mucus) much better than previous models because it accounts for directional sensitivity (tensors) and fluid flow.
• No Small Data Assumption: Previous results often required the initial crowd to be tiny. This paper says, "It doesn't matter how big the crowd is; as long as the sensitivity decays correctly, the system is stable."
• New Math Tools: They invented a new mathematical inequality (an interpolation involving Hölder norms) that acts like a "universal translator" between different ways of measuring smoothness, which other mathematicians can now use for different problems.

In a nutshell: The authors proved that even in a chaotic, windy world where cells have directional senses, nature has a built-in "brake" (signal-dependent decay) that prevents total chaos, ensuring the system remains stable and eventually finds a peaceful, uniform balance.

Technical Summary

Here is a detailed technical summary of the paper "Keller–Segel–Navier–Stokes Systems Involving General Sensitivities with Signal-Dependent Power-Law Decay" by JaeWook Ahn and SukJung Hwang.

1. Problem Statement

The paper investigates the global existence, uniform-in-time boundedness, and long-time asymptotic behavior of solutions to a two-dimensional Keller–Segel–Navier–Stokes (KS-NS) system. The system models the interaction between cell density ($n$), chemical signal concentration ($c$), and fluid velocity ($u$) in a bounded domain $\Omega \subset \mathbb{R}^2$.

The specific system is given by:
$$\begin{cases} n_t + u \cdot \nabla n = \Delta n - \nabla \cdot (n S(x, n, c) \nabla c), \\ -\Delta c + u \cdot \nabla c + c = n, \\ u_t + (u \cdot \nabla)u = \Delta u - \nabla \pi + n\nabla \Phi, \\ \nabla \cdot u = 0, \end{cases}$$
subject to no-flux boundary conditions for $n$ and $c$, and no-slip for $u$.

Key Novelty:
Unlike classical models where chemotactic sensitivity is a scalar constant, this work considers a tensor-valued sensitivity $S(x, n, c)$. This is biologically motivated by anisotropic cell movement in complex environments (e.g., extracellular matrices). The sensitivity satisfies a signal-dependent power-law decay:
$$|S(x, n, c)| \leq \frac{s_0}{(s_1 + c)^\gamma}$$
where $s_0, s_1 \geq 0$ and $\gamma > 0$.

Mathematical Challenge:
When $S$ is a tensor, the standard cancellation structure used in scalar sensitivity models (which links the chemotactic flux to energy estimates) is lost. This makes proving global boundedness significantly harder, as the tensor structure can potentially induce blow-up. Previous results for tensor-valued sensitivities often required small-data assumptions or cell-density-dependent saturation. This paper addresses the open problem of global boundedness for linear signal production with tensor-valued sensitivity without small-data restrictions.

2. Methodology

The authors employ a sophisticated combination of localized energy estimates, regularity bootstrapping, and interpolation inequalities.

A. Localized Energy Estimates and $\epsilon$-Regularity

The core of the proof relies on establishing the $L^2_{loc}$-smallness of a weighted gradient of the signal concentration.

• Weighted Gradient: Instead of the standard $\nabla c$, the authors analyze the quantity $\frac{\nabla c}{(s_1 + c)^{\beta}}$.
• Local Smallness: They prove that for any $\epsilon > 0$, there exists a small radius $\delta$ such that the integral of $|\nabla c|^2 (s_1 + c)^{-(\beta+1)}$ over a ball $B_\delta(q)$ is less than $\epsilon$. This is achieved using cut-off functions and the specific decay condition of $S$.
• Overcoming Fluid Coupling: In fluid-free systems, $\epsilon$-regularity arguments are standard. Here, the authors adapt techniques from Ahn, Kang, and Lee (2024) to handle the additional transport terms ($u \cdot \nabla c$) from the Navier-Stokes equations, showing that the local smallness of the weighted gradient persists despite fluid transport.

B. Bootstrapping Regularity

Once local smallness is established, the authors use a sequence of estimates to upgrade regularity:

1. Entropy Estimates: Using the localized smallness, they derive uniform bounds for the localized $L \ln L$-norm of $n$ (entropy).
2. Global Bounds: By covering the domain with these local balls, they obtain global-in-space bounds for $n$ in $L^p$ spaces.
3. Fluid Regularity: The bounds on $n$ allow for improved estimates on the fluid velocity $u$ (via the Stokes operator and Gagliardo-Nirenberg inequalities), leading to $L^\infty$ bounds for $u$.
4. Elliptic Regularity: Improved $u$ and $n$ bounds feed back into the elliptic equation for $c$, yielding $W^{2,2}$ and eventually $W^{1,\infty}$ bounds for $c$.
5. Moser Iteration: Finally, with $c$ and $u$ sufficiently regular, a Moser-type iteration is applied to the $n$-equation to establish the uniform $L^\infty$ bound for cell density, preventing blow-up.

C. Asymptotic Stabilization (Fluid-Free Case)

For the fluid-free system ($u \equiv 0$), the authors prove exponential convergence to the spatially homogeneous steady state.

• New Interpolation Inequality: They establish a novel interpolation inequality involving the Hölder norm:
  $$\|f\|_{L^\infty} \leq C [f]_{C^\theta}^{\frac{d}{p\theta+d}} \|f\|_{L^p}^{\frac{p\theta}{p\theta+d}} + C\|f\|_{L^p}$$
  This allows upgrading $L^2$ decay to $L^\infty$ decay.
• Energy Decay: They construct Lyapunov functionals to show exponential decay of $\|n - \bar{n}\|_{L^2}$ and $\|c - \bar{n}\|_{H^1}$ under specific structural assumptions on $S$.

3. Key Results

Theorem 1.1: Global Existence and Uniform Boundedness

The paper establishes the existence of unique global classical solutions that remain uniformly bounded in time for two cases:

1. Fluid-Coupled Case: If $\gamma > 1/2$ and $s_1 > 0$, the solution $(n, c, u)$ is globally bounded in $L^\infty(\Omega)$.
   • Significance: This is the first result proving global boundedness for 2D KS-NS systems with tensor-valued sensitivity and linear signal production without small-data assumptions.
2. Fluid-Free Case: If $\gamma > 0$ and $s_1 \geq 0$ (with $u \equiv 0$), the solution $(n, c)$ is globally bounded.
   • Significance: This extends previous results to a broader range of decay exponents ($\gamma > 0$) and includes the case $s_1=0$ (singular sensitivity).

Theorem 1.2: Exponential Stabilization (Fluid-Free)

For the fluid-free system, solutions converge exponentially to the steady state $(\bar{n}, \bar{n})$ where $\bar{n} = \frac{1}{|\Omega|}\int_\Omega n_0$, provided one of the following holds:

1. Negative Semi-Definite Symmetric Part: The symmetric part of the sensitivity tensor $\hat{S} = \frac{S+S^T}{2}$ is negative semi-definite.
2. Isotropic Tensor with Small Coefficient: $S = \frac{s_0}{c^\gamma} I$ with $\gamma \geq 1$, $s_0$ sufficiently small, and $\Omega$ convex.

4. Significance and Contributions

1. Resolution of an Open Problem: The paper resolves the open question regarding the global boundedness of KS-NS systems with tensor-valued sensitivity and linear signal production. Previous works required either small initial data or saturation conditions dependent on cell density ($n$).
2. Handling Tensor Sensitivity: The authors successfully navigate the loss of the cancellation structure inherent to tensor-valued sensitivities. By utilizing the signal-dependent decay to establish local smallness of weighted gradients, they bypass the need for the scalar cancellation mechanism.
3. General Decay Conditions: The results cover a wide range of decay rates ($\gamma > 1/2$ for fluid-coupled, $\gamma > 0$ for fluid-free), including singular sensitivities ($s_1=0$).
4. New Analytical Tools:
   • The development of a localized energy estimate strategy specifically tailored for tensor-valued sensitivities in fluid-coupled systems.
   • The derivation of a new interpolation inequality involving Hölder norms, which is of independent interest and applicable to other parabolic systems requiring $L^\infty$ estimates from $L^2$ decay.
5. Biological Relevance: By modeling sensitivity as a tensor, the work provides a more realistic mathematical framework for chemotaxis in anisotropic biological environments, such as tissues or complex fluids, while guaranteeing that cell densities do not blow up under realistic signal-dependent decay mechanisms.

In summary, this paper represents a significant advancement in the mathematical theory of chemotaxis-fluid systems, extending global well-posedness results to more complex, anisotropic, and singular sensitivity models without restrictive smallness assumptions.