Global existence for the fully parabolic Keller--Segel system with critical mass on the plane

This paper establishes the global-in-time existence of solutions for the two-dimensional fully parabolic Keller–Segel system with critical mass for general initial data, removing previous requirements for radial symmetry or specific moment conditions by utilizing a reconstructed Lyapunov functional and refined regularity estimates.

The Gist

The Great Cell Migration: A Story of Balance and Chaos

Imagine a vast, flat plain (the mathematical "plane"). On this plain, there are two types of characters: Cells (let's call them "ants") and Chemical Signals (let's call them "scent trails").

The story we are reading about is a mathematical drama about how these ants move. The ants have a very specific behavior: they are drawn to the scent trails. The more scent there is in one spot, the more ants run toward it. But here's the catch: the ants themselves are the ones making the scent.

This creates a feedback loop:

1. Ants gather in a spot.
2. They release more scent.
3. The scent attracts even more ants.
4. The ants gather even tighter, releasing even more scent.

In the world of math, this is called the Keller–Segel system. It models how slime molds (like Dictyostelium) come together to form a fruiting body.

The "Critical Mass" Tipping Point

The paper focuses on a very specific, delicate situation called Critical Mass. Think of this as a "Goldilocks" scenario for the number of ants:

• Too Few Ants (Sub-critical): If you start with a small number of ants, they spread out. The scent they make isn't strong enough to pull them all together into a single pile. They wander the plain forever, staying safe and spread out.
• Too Many Ants (Super-critical): If you start with too many ants, the feedback loop goes crazy. They all rush to the center so fast that they pile up into an infinitely dense point in a finite amount of time. In math terms, this is called a "blow-up." It's like a traffic jam where the cars crush into each other until the road disappears.
• Just Right (Critical Mass): This is the edge of the cliff. The number of ants is exactly at the threshold where they could either spread out forever or collapse into a singularity.

For a long time, mathematicians knew that if the ants were arranged in a perfect circle (radial symmetry) or had a specific "moment" (a fancy way of saying they were distributed in a certain way), they would survive. But what if the ants were scattered randomly, chaotically, with no pattern at all? Would they still survive, or would they collapse?

This paper answers that question: Yes, they survive.

The Problem: The "Infinite Plain" Difficulty

The main difficulty the author, Tatsuya Hosono, faced is that the ants are on an infinite plane.

In a small, fenced-in garden (a bounded domain), it's easier to track the ants. But on an infinite plain, you have to worry about what happens at the very edges of the universe.

• Do the ants run off to infinity?
• Does the scent trail stretch out so thin that it loses its power?
• Does the chaos at the edge of the world eventually crash into the center?

Previous methods relied on assuming the ants were neatly organized (symmetry) or had a specific "weight" distribution (moment conditions). But nature is messy. The author wanted to prove that even if the ants are scattered in the most chaotic, random way possible, they still won't collapse.

The Solution: A New "Energy Scorecard"

To solve this, the author invented a new tool: a Reconstructed Lyapunov Functional.

Let's use an analogy. Imagine you are trying to prove that a wobbly tower of blocks will never fall over.

• The old method was to check if the tower was perfectly symmetrical. If it was, you could say, "Okay, it's stable."
• But if the tower was crooked, the old method failed. You couldn't prove it wouldn't fall.

Hosono built a new scorecard (the Lyapunov functional). This scorecard doesn't just look at the tower; it tracks the "energy" of the entire system, including the chaotic edges.

1. The Scorecard: He created a mathematical formula that measures the "disorder" or "energy" of the ants and the scent.
2. The Twist: He realized that in the critical case, the old scorecard wasn't sensitive enough. It was like trying to measure the temperature of a freezing lake with a thermometer that only reads up to 100°F.
3. The Reconstruction: He tweaked the formula (reconstructed it) to be super-sensitive to the edges of the infinite plain. He added extra terms to the scorecard that specifically penalize the ants for running too far away or the scent from getting too weak.

How the Proof Works (The "Exterior" and "Interior" Dance)

The proof is like a two-step dance to keep the tower standing:

Step 1: Taming the Edge (Exterior Estimates)
First, the author looks at the "outside" of the system (far away from the center). He uses his new scorecard to prove that even if the ants are scattered randomly, they can't run off to infinity in a way that causes a collapse. He shows that the "mass" (the number of ants) at the very edges of the world becomes so small that it doesn't matter. It's like proving that the wind at the edge of the world isn't strong enough to knock over the tower.

Step 2: Securing the Center (Interior Estimates)
Once the edges are tamed, he looks at the "inside" (the center where the ants are gathering). Because he proved the edges are safe, he can now use a standard "energy" check on the center. He shows that the ants can't pile up infinitely because the "energy" required to do so is too high. The system naturally resists the collapse.

The Conclusion: Chaos is Safe

The big takeaway is this: Symmetry is not required for survival.

Even if the initial distribution of cells is messy, random, and chaotic, as long as the total number of cells is exactly at the "Critical Mass" threshold, the system will find a way to balance itself. The cells will aggregate, but they will never crush into a singularity. They will exist forever.

In simple terms:
The paper proves that in the world of chemotaxis (cells following scents), nature is more robust than we thought. You don't need a perfect, organized formation to survive the edge of a collapse. Even a chaotic mess of cells, if it has the "right" amount of mass, will find a way to keep moving and never blow up.

The author essentially built a new mathematical safety net that catches the system even when it's falling in the most unpredictable ways.

Technical Summary

1. Problem Statement

The paper addresses the Cauchy problem for the fully parabolic Keller–Segel system in two-dimensional space ($\mathbb{R}^2$), which models chemotactic aggregation in biological systems (e.g., cellular slime molds). The system is given by:
$$\begin{cases} \partial_t u = \Delta u - \nabla \cdot (u \nabla v), \\ \partial_t v = \Delta v - \lambda v + u, \end{cases}$$
where $u(t,x)$ is the cell density, $v(t,x)$ is the chemoattractant concentration, and $\lambda \geq 0$ is the degradation rate.

The Critical Mass Phenomenon:
A central feature of this system is the existence of a critical mass threshold, $M_c = 8\pi$.

• Sub-critical ($M < 8\pi$): Global existence is well-established.
• Super-critical ($M > 8\pi$): Finite-time blow-up occurs (at least for radially symmetric data).
• Critical ($M = 8\pi$): The behavior is delicate. While global existence was known for radially symmetric data or data satisfying specific moment conditions (e.g., $u_0 \ln(1+|x|^2) \in L^1$), the case for general initial data (without symmetry or moment assumptions) remained an open problem. The difficulty lies in controlling the solution's behavior at spatial infinity ($|x| \to \infty$) where standard entropy methods fail due to the lack of regularity in the critical regime.

Goal: To prove the global-in-time existence of solutions for the fully parabolic system with critical mass ($M=8\pi$) for general initial data in $L^1_+(\mathbb{R}^2) \times (L^1_+(\mathbb{R}^2) \cap \dot{H}^1(\mathbb{R}^2))$, without imposing symmetry or moment conditions.

2. Methodology

The author employs a sophisticated combination of energy methods, refined functional inequalities, and a spatial decomposition strategy (interior vs. exterior domains).

A. Reconstructed Lyapunov Functional

Standard Lyapunov functionals (like the modified entropy $L_m(t) = \int (1+u)\ln(1+u) - \int uv + \dots$) fail to provide sufficient dissipation estimates in the critical mass case because the coefficient of the gradient term vanishes when $M=8\pi$.

• Innovation: Hosono introduces a reconstructed Lyapunov functional $F_m(t)$:
  $$F_m(t) = L_m(t) + \int_{\mathbb{R}^2} \ln(1+u) \, dx - \int_{\mathbb{R}^2} v \, dx$$
• Key Property: Unlike previous functionals, $F_m(t)$ satisfies a differential inequality where the error terms on the right-hand side can be controlled purely by initial data, even without moment assumptions. This allows for the derivation of bounds on the dissipative terms:
  $$\int_{t_0}^t \int_{\mathbb{R}^2} u |\nabla(\ln(1+u) - v)|^2 \, dx ds + \int_{t_0}^t \|\partial_t v\|_2^2 \, ds \leq C$$

B. Spatial Decomposition Strategy

The proof is divided into controlling the solution in exterior domains (far from the origin) and interior domains (near the origin).

1. Exterior Estimates (Large $|x|$):

   • Using the dissipation bound from the reconstructed functional, the author derives estimates for the mass and entropy in the exterior region $|x| > R$.
   • By utilizing a cut-off function $\phi_R$, it is shown that the mass in the exterior can be made arbitrarily small by choosing $R$ sufficiently large.
   • This leads to $L^p$ and $L^\infty$ bounds for $u$ and $\nabla v$ in the exterior domain, effectively preventing blow-up at infinity.

2. Interior Estimates (Bounded Domain):

   • Inside a large ball, the problem is treated as a system on a bounded domain.
   • A cut-off Lyapunov functional $L_R(t)$ is constructed using an interior cut-off function $\psi_R$.
   • Crucially, the exterior estimates ensure that the "mass leakage" out of the interior domain is controlled.
   • By combining the Trudinger–Moser inequality with the fact that the effective mass in the interior is strictly less than $8\pi$ (due to the small mass remaining in the exterior), the author establishes a uniform bound on the interior entropy $\int u \ln u$.

C. Regularity Bootstrapping

Once the entropy and $L^p$ bounds are established, standard parabolic regularity theory is applied to upgrade the solution's regularity to $L^\infty$, ensuring that the solution cannot blow up in finite time.

3. Key Contributions

1. Resolution of the General Critical Mass Case: The paper provides the first proof of global existence for the fully parabolic Keller–Segel system with critical mass ($M=8\pi$) for arbitrary initial data, removing the restrictive assumptions of radial symmetry or finite logarithmic moments.
2. Reconstructed Lyapunov Functional: The construction of $F_m(t)$ is a novel technical tool that bypasses the limitations of classical entropy methods in the critical regime on unbounded domains.
3. Decoupling of Infinity and Origin: The methodology successfully isolates the behavior at infinity (where moment assumptions usually fail) from the behavior at the origin, showing that the "dangerous" mass concentration can be controlled without global moment constraints.

4. Main Results

Theorem 1.1: Let $(u_0, v_0) \in L^1_+(\mathbb{R}^2) \times (L^1_+(\mathbb{R}^2) \cap \dot{H}^1(\mathbb{R}^2))$ with $\|u_0\|_1 = 8\pi$. Then, the unique mild solution $(u, v)$ to the system (1.1) exists globally in time ($T = \infty$).

• Regularity: The solution satisfies $u \in C([0, \infty); L^1) \cap C((0, \infty); L^p)$ and $v \in C([0, \infty); \dot{H}^1) \cap C((0, \infty); \dot{W}^{1,q})$ for appropriate $p, q$.
• No Blow-up: The solution does not blow up in finite time, and the $L^\infty$ norm of $u$ remains bounded on any finite time interval.

5. Significance

• Mathematical Completeness: This result closes a significant gap in the theory of chemotaxis systems. Prior to this work, the critical mass case for general data was an open problem, with only partial results available under symmetry or moment constraints.
• Methodological Advancement: The approach demonstrates that global existence in the critical regime on $\mathbb{R}^2$ does not strictly require global moment conditions if one can construct a functional that controls the dissipation at infinity through the interplay of the fully parabolic structure.
• Broader Applicability: The author suggests that the reconstructed Lyapunov functional and the spatial decomposition technique could be applicable to a broader class of chemotaxis systems and other parabolic-elliptic/parabolic-parabolic coupled systems in unbounded domains.

In summary, Hosono's work establishes that for the fully parabolic Keller–Segel system, the critical mass $8\pi$ is indeed a sharp threshold for global existence, even for the most general class of initial data, by overcoming the technical hurdle of controlling solutions at spatial infinity through a novel functional analysis.