The paper studies a mathematical model for how two different types of cells grow and move within biological tissue. Each cell population is pushed around both by an external force (a drift) and by an internal pressure that builds up when cells get too crowded. The pressure follows a physical law called Brinkman's law, which describes fluid flow through a porous medium. As the tissue becomes more tightly packed, the pressure response becomes increasingly stiff, meaning cells resist compression more and more strongly. The central question is what happens to this system in the extreme limit where the stiffness becomes infinite, which corresponds to cells being essentially incompressible and unable to overlap.
The main mathematical result proves that as the stiffness parameter goes to infinity, the model converges to a well-defined limiting system that enforces a hard constraint: the total cell density can never exceed one (fully packed). When the tissue is not fully packed, the pressure is zero; when the pressure is positive, the tissue must be fully packed. This type of condition is called a complementarity relation and is common in models of congestion. Proving this rigorously is technically difficult because standard mathematical tools require the pressure to be well-controlled in strong function spaces, but here the initial data are only assumed to be integrable in the weakest useful sense.
To handle these difficulties, the authors develop several new mathematical tools. They build a compactness theory based on square-integrability rather than boundedness, avoiding two techniques that had been required in earlier work on similar problems. They also adapt a sophisticated argument from fluid dynamics, due to Bresch and Jabin, to handle unbounded initial data through a weighted approach. A key surprise is a regularization effect: even though the pressures in the approximate problems are only weakly controlled, the limiting pressure turns out to be bounded. This suggests the incompressible limit itself has a smoothing influence, which is a mathematically nontrivial and physically meaningful finding.