Improved convergence rates for the Hele-Shaw limit in the presence of confining potentials
Noemi David, Alpár R. Mészáros, Filippo Santambrogio
TL;DR
The paper addresses the incompressible (Hele-Shaw) limit for nonlinear degenerate diffusion with external drifts by establishing a global-in-time convergence rate in the 2-Wasserstein distance as the pressure exponent $m$ tends to infinity. The authors introduce a novel method based on differentiating the squared $W_2$-distance between solutions with different exponents and applying Grönwall, which yields a polynomial rate of $\mathcal{O}(m^{-1/2})$ that holds globally in time under convexity of the combined potential $V+W$. This framework unifies local and nonlocal drifts and covers both singular and power-law pressure laws, with auxiliary results for stationary states showing an $L^1$-rate of $\mathcal{O}(m^{-1})$ and a potentially faster $W_2$-rate under nested supports; the approach also relaxes several initial-data assumptions compared to prior works. Overall, the work extends the understanding of convergence in the Hele-Shaw limit to more general drift fields and interaction potentials, providing sharp quantitative rates with implications for modeling crowd motion and tissue growth. The results leverage optimal-transport tools, gradient-flow structure, and energy-dissipation identities to obtain robust, global convergence guarantees.
Abstract
Nowadays a vast literature is available on the Hele-Shaw or incompressible limit for nonlinear degenerate diffusion equations. This problem has attracted a lot of attention due to its applications to tissue growth and crowd motion modelling as it constitutes a way to link soft congestion (or compressible) models to hard congestion (or incompressible) descriptions. In this paper, we address the question of estimating the rate of this asymptotics in the presence of external drifts. In particular, we provide improved results in the 2-Wasserstein distance which are global in time thanks to the contractivity property that holds for strictly convex potentials.
