Carlen and Figalli (Duke Math. J. 2013) proved that the deficit of the sharp critical two-dimensional Gagliardo-Nirenberg-Sobolev inequality π∫u6 dx≤(∫∣∇u∣2 dx)(∫u4 dx)\pi\int u^6\,dx\le\big(\int|\nabla u|^2\,dx\big)\big(\int u^4\,dx\big) controls the L1L^1 distances of the power densities u6u^6 and u4u^4 from the family of optimizers: with exponent 1/21/2 in the u6u^6 metric (for small deficit) and exponent (p−1)/(4p)(p-1)/(4p) in the u4u^4 metric (under entropy and pp-moment bounds), but with constants inherited from the compactness-based Bianchi-Egnell stability estimate for the Sobolev inequality and hence non-explicit. Through a duality with a fast-diffusion equation, the same stability theory yields stability for the logarithmic Hardy-Littlewood-Sobolev inequality and algebraic, not known to be sharp, convergence rates for properly dissipative critical-mass (8π8\pi) Keller-Segel solutions. Later literature resolved the log-HLS side (Carlen 2025 proved unconditional stability with an explicit constant and optimal quadratic order, improving the Keller-Segel L1L^1 rate to t−1/16t^{-1/16}) and produced constructive stability constants for the Gagliardo-Nirenberg-Sobolev family in entropy-type metrics (Bonforte-Dolbeault-Nazaret-Simonov) and explicit sharp constants at the Sobolev level (Dolbeault-Esteban-Figalli-Frank-Loss), while Buseghin-Collot determined the complementary finite-second-moment regime. What remains open is the optimal stability theory in the metrics tied to the Keller-Segel application: the optimal exponent for u4u^4-density stability under the natural entropy and moment bounds (is (p−1)/(4p)(p-1)/(4p) improvable?), explicit values of the stability constants, and sharp rates, upper bounds matched by lower-bound examples, for the convergence of properly dissipative critical-mass Keller-Segel solutions to the stationary family.

Background

The sharp two-dimensional critical Gagliardo-Nirenberg-Sobolev (GNS) inequality states that for every non-negative function uu in the Sobolev space W1,2(R2)W^{1,2}(\mathbb{R}^2) (the space of square-integrable functions with square-integrable weak first derivatives),

π∫R2u6(x) dx  ≤  (∫R2∣∇u(x)∣2 dx)(∫R2u4(x) dx),\pi\int_{\mathbb{R}^2}u^6(x)\,dx \;\le\; \left(\int_{\mathbb{R}^2}|\nabla u(x)|^2\,dx\right)\left(\int_{\mathbb{R}^2}u^4(x)\,dx\right),

with equality exactly for the functions vλ,x0(x)=(1+λ2∣x−x0∣2)−1/2v_{\lambda,x_0}(x)=(1+\lambda^2|x-x_0|^2)^{-1/2} and their multiples; the sharp constants for the whole GNS family were computed by del Pino and Dolbeault. Its deficit is

δGNS[u]=(∫R2∣∇u∣2 dx)1/2(∫R2u4 dx)1/2−(π∫R2u6 dx)1/2.\delta_{GNS}[u]=\left(\int_{\mathbb{R}^2}|\nabla u|^2\,dx\right)^{1/2}\left(\int_{\mathbb{R}^2}u^4\,dx\right)^{1/2}-\left(\pi\int_{\mathbb{R}^2}u^6\,dx\right)^{1/2}.

Quantitative stability theory asks: when δGNS[u]\delta_{GNS}[u] is small, in what sense must uu be close to an optimizer? For the Sobolev inequality, Bianchi and Egnell proved that the deficit controls the L2L^2 distance of the gradient from the gradients of optimizers; their proof is a compactness-contradiction argument and yields no explicit value of the constant. Carlen and Figalli (2013) transported this estimate through a derivation of the critical two-dimensional GNS inequality from the four-dimensional Sobolev inequality (an argument due to D. Bakry, presented in Section 2 of their paper), measuring closeness not in norms of uu but in the L1L^1 distances of the power densities u6u^6 and u4u^4 from the extremal family: the density u6u^6 is the natural variable for optimal-transport arguments, while u4u^4 is the density that appears in the Keller-Segel application below. Their Theorem 1.2 states that for ∥u∥6=∥v∥6\|u\|_6=\|v\|_6 (where v=v1,0v=v_{1,0}) and δGNS[u]≤δ1\delta_{GNS}[u]\le\delta_1, one has inf⁡λ>0,x0∈R2∥u6−λ2vλ,x06∥L1≤K1δGNS[u]1/2\inf_{\lambda>0,x_0\in\mathbb{R}^2}\|u^6-\lambda^2v_{\lambda,x_0}^6\|_{L^1}\le K_1\delta_{GNS}[u]^{1/2}; their Theorem 1.4 states that if, besides ∥u∥4=∥v∥4\|u\|_4=\|v\|_4, the entropy ∫u4log⁡(u4) dx\int u^4\log(u^4)\,dx is at most AA and the pp-th moment ∫∣y∣pu4(y) dy\int|y|^pu^4(y)\,dy is at most BB for some 1<p<21<p<2, and u4u^4 is centered, then inf⁡λ>0∥u4−λ2vλ4∥L1≤K2δGNS[u](p−1)/(4p)\inf_{\lambda>0}\|u^4-\lambda^2v_\lambda^4\|_{L^1}\le K_2\delta_{GNS}[u]^{(p-1)/(4p)} whenever δGNS[u]≤δ2\delta_{GNS}[u]\le\delta_2. The constants K1,δ1K_1,\delta_1 are universal but non-explicit; K2,δ2K_2,\delta_2 depend only on p,A,Bp,A,B and are non-explicit; and nothing is known about the optimality of the exponents. In particular (p−1)/(4p)(p-1)/(4p) degenerates to 00 as p↓1p\downarrow1, reflecting that entropy and pp-moment bounds only barely control the tails of near-extremal functions.

The application runs through the logarithmic Hardy-Littlewood-Sobolev (log-HLS) functional

F[ρ]=∫R2ρ(x)log⁡ρ(x) dx+2(∫R2ρ(x) dx)−1∬R2×R2ρ(x)log⁡∣x−y∣ ρ(y) dx dy,F[\rho]=\int_{\mathbb{R}^2}\rho(x)\log\rho(x)\,dx+2\left(\int_{\mathbb{R}^2}\rho(x)\,dx\right)^{-1}\iint_{\mathbb{R}^2\times\mathbb{R}^2}\rho(x)\log|x-y|\,\rho(y)\,dx\,dy,

defined for densities ρ≥0\rho\ge0 with ρlog⁡ρ\rho\log\rho and ρlog⁡(e+∣x∣2)\rho\log(e+|x|^2) integrable. The sharp log-HLS inequality, proved independently by Beckner and by Carlen and Loss, states that F[ρ]≥C(M)=M(log⁡(M/π)−1)F[\rho]\ge C(M)=M(\log(M/\pi)-1) for every density of mass MM, with equality exactly at the Barenblatt-type profiles σκ,M(x)=Mπκ(κ+∣x∣2)2\sigma_{\kappa,M}(x)=\frac{M}{\pi}\frac{\kappa}{(\kappa+|x|^2)^2} and their translates; write δHLS[ρ]=F[ρ]−C(M)\delta_{HLS}[\rho]=F[\rho]-C(M) for its deficit. Two further functionals connect this to the GNS inequality. The fast-diffusion entropy Hκ,M[σ]=∫R2∣σ−σκ,M∣2σκ,M dyH_{\kappa,M}[\sigma]=\int_{\mathbb{R}^2}\frac{|\sqrt{\sigma}-\sqrt{\sigma_{\kappa,M}}|^2}{\sqrt{\sigma_{\kappa,M}}}\,dy is minimized exactly at σκ,M\sigma_{\kappa,M} and is extremely sensitive to tails: Hκ,8π[σμ,8π]=∞H_{\kappa,8\pi}[\sigma_{\mu,8\pi}]=\infty whenever μ≠κ\mu\ne\kappa. The dissipation functional D[σ]=1π(∥∇u∥22∥u∥44−π∥u∥66)\mathcal{D}[\sigma]=\frac{1}{\pi}\big(\|\nabla u\|_2^2\|u\|_4^4-\pi\|u\|_6^6\big), where u=σ1/4u=\sigma^{1/4}, is a restatement of the GNS inequality and is therefore non-negative. The bridge is the fast-diffusion equation ∂tσ=Δσ+2π/(κM) div(xσ)\partial_t\sigma=\Delta\sqrt{\sigma}+2\sqrt{\pi/(\kappa M)}\,{\rm div}(x\sigma): along its solutions ddtF[σ(⋅,t)]=−8πMD[σ(⋅,t)]\frac{d}{dt}F[\sigma(\cdot,t)]=-\frac{8\pi}{M}\mathcal{D}[\sigma(\cdot,t)] (Carlen-Carrillo-Loss), so smallness of the GNS deficit along the flow forces decay of the log-HLS deficit.

The parabolic-elliptic Keller-Segel system for chemotaxis (the directed motion of cells along the gradient of a chemical attractant they themselves emit) is ∂tρ=div(∇ρ−ρ∇c)\partial_t\rho={\rm div}(\nabla\rho-\rho\nabla c) with c=−12πlog⁡∣⋅∣∗ρc=-\frac{1}{2\pi}\log|\cdot|*\rho on R2\mathbb{R}^2; it is the gradient flow of FF for the 2-Wasserstein metric, the distance between probability measures induced by optimally transporting mass at quadratic cost. The total mass MM is decisive (Dolbeault-Perthame): below the critical mass 8π8\pi solutions spread and vanish, above it they collapse in finite time, and at exactly 8π8\pi they aggregate in infinite time (Blanchet-Carrillo-Masmoudi), the stationary states being the σκ,8π\sigma_{\kappa,8\pi}. Blanchet-Carlen-Carrillo constructed properly dissipative critical-mass solutions, i.e. solutions with Hκ,8π[ρ(⋅,0)]<∞H_{\kappa,8\pi}[\rho(\cdot,0)]<\infty along which Hκ,8π[ρ(⋅,T)]+∫0TD[ρ(⋅,t)] dtH_{\kappa,8\pi}[\rho(\cdot,T)]+\int_0^T\mathcal{D}[\rho(\cdot,t)]\,dt stays bounded; this is a thick-tail class, since the stationary states have ∣x∣−4|x|^{-4} tails and hence infinite second moment. For these solutions Carlen and Figalli proved (Theorem 1.9) that if Hκ,M[ρ]H_{\kappa,M}[\rho], F[ρ]F[\rho] and D[ρ]\mathcal{D}[\rho] are finite, then ∥ρ−σμ,M∥L1≤C δHLS[ρ](1−ϵ)/20\|\rho-\sigma_{\mu,M}\|_{L^1}\le C\,\delta_{HLS}[\rho]^{(1-\epsilon)/20} for some μ\mu (for small deficit, any ϵ>0\epsilon>0); and (Theorem 3.5) that for centered initial data F[ρ(⋅,t)]−C(8π)≤C1(1+t)−(1−ϵ)/8F[\rho(\cdot,t)]-C(8\pi)\le C_1(1+t)^{-(1-\epsilon)/8}, inf⁡μ>0∥ρ(⋅,t)−σμ,8π∥L1≤C2(1+t)−(1−ϵ)/160\inf_{\mu>0}\|\rho(\cdot,t)-\sigma_{\mu,8\pi}\|_{L^1}\le C_2(1+t)^{-(1-\epsilon)/160}, and the selected scale obeys (μ(t)−κ)2≤C/log⁡(e+t)(\mu(t)-\kappa)^2\le C/\log(e+t), so that ∥ρ(⋅,t)−σκ,8π∥L1≤(C/log⁡(e+t))1/2\|\rho(\cdot,t)-\sigma_{\kappa,8\pi}\|_{L^1}\le\big(C/\log(e+t)\big)^{1/2}. Convergence thus occurs on two time scales: algebraically toward the one-parameter family of stationary states, and then only logarithmically in the selection of the correct spatial scale.

Later work reshaped this landscape. Carlen (2025) proved an optimal log-HLS stability theorem: for every mass-one density ρ\rho in L1(R2,ln⁡(e+∣x∣2) dx)L^1(\mathbb{R}^2,\ln(e+|x|^2)\,dx), the deficit dominates 18inf⁡g∈M∥ρ−g∥L12\frac{1}{8}\inf_{g\in M}\|\rho-g\|_{L^1}^2, where MM is the manifold of optimizers; this is unconditional, carries an explicit constant and the optimal quadratic order, and improves the Keller-Segel L1L^1 rate to t−1/16t^{-1/16}. Bonforte-Dolbeault-Nazaret-Simonov (2025) developed the entropy method — deriving stability by flowing the function along the fast-diffusion equation associated with the inequality and tracking an entropy functional along the flow — for the whole subcritical GNS family, which contains the critical two-dimensional inequality, obtaining constructive stability constants in relative-entropy/Fisher metrics (distances measured by a relative entropy and its dissipation along the flow, which control L1L^1 distances of the power densities; under tail conditions they list as open to remove). Dolbeault-Esteban-Figalli-Frank-Loss (2025) computed explicit dimensionally sharp stability constants for the Sobolev and Gaussian log-Sobolev inequalities, the base of the Carlen-Figalli chain. In the complementary regime of finite second moment, Buseghin-Collot (2026) classified the critical-mass dynamics (radial data in their classification note, arbitrary data in their companion determination paper): such solutions concentrate around the stationary profile at the universal scale λ(t)∼μ/(8π)/ln⁡t\lambda(t)\sim\sqrt{\mu/(8\pi)}/\sqrt{\ln t}, where μ\mu is the second moment of the data, with L1L^1 remainder O(t−1+ϵ)O(t^{-1+\epsilon}), and they conjecture the rate t−1t^{-1} to be optimal. What no later work addresses is the optimal form of the Carlen-Figalli stability theory in its own density metrics under its own hypotheses, and the sharpness of the algebraic rates in the properly dissipative class; stating precisely these two linked questions is the purpose of this problem.

Problem Statement

Throughout, uu is a non-negative function in the Sobolev space W1,2(R2)W^{1,2}(\mathbb{R}^2) (square-integrable functions with square-integrable weak first derivatives), vλ,x0(x)=(1+λ2∣x−x0∣2)−1/2v_{\lambda,x_0}(x)=(1+\lambda^2|x-x_0|^2)^{-1/2}, v=v1,0v=v_{1,0}, and

δGNS[u]=(∫R2∣∇u∣2 dx)1/2(∫R2u4 dx)1/2−(π∫R2u6 dx)1/2\delta_{GNS}[u]=\left(\int_{\mathbb{R}^2}|\nabla u|^2\,dx\right)^{1/2}\left(\int_{\mathbb{R}^2}u^4\,dx\right)^{1/2}-\left(\pi\int_{\mathbb{R}^2}u^6\,dx\right)^{1/2}

is the deficit in the sharp inequality π∫u6 dx≤(∫∣∇u∣2 dx)(∫u4 dx)\pi\int u^6\,dx\le(\int|\nabla u|^2\,dx)(\int u^4\,dx).

Part A: optimal GNS stability in the density metrics.

A.1 (optimal exponent in the u4u^4 metric). For 1<p<21<p<2 and A,B<∞A,B<\infty, consider non-negative u∈W1,2(R2)u\in W^{1,2}(\mathbb{R}^2) with ∥u∥4=∥v∥4\|u\|_4=\|v\|_4, ∫u4log⁡(u4) dx≤A\int u^4\log(u^4)\,dx\le A, ∫∣y∣pu4(y) dy≤B\int|y|^pu^4(y)\,dy\le B and ∫y u4(y) dy=0\int y\,u^4(y)\,dy=0. Determine the optimal exponent α(p)\alpha(p) such that

inf⁡λ>0∥u4−λ2vλ4∥L1≤K δGNS[u]α(p)\inf_{\lambda>0}\|u^4-\lambda^2v_\lambda^4\|_{L^1}\le K\,\delta_{GNS}[u]^{\alpha(p)}

holds for all such uu (with KK and a smallness threshold depending only on p,A,Bp,A,B). Carlen and Figalli give α(p)≥(p−1)/(4p)\alpha(p)\ge(p-1)/(4p); the question is whether this can be improved, for instance toward the exponent 1/21/2 available in the u6u^6 metric, or whether tail obstructions under mere entropy-and-pp-moment bounds force a smaller value, with an explicit near-extremal sequence exhibiting the obstruction. The analogous questions for the u6u^6-metric theorem (optimal exponent and constant; Carlen and Figalli's Remark 1.3 already notes that the smallness restriction there is removable by enlarging K1K_1) belong to the same objective as the u4u^4-metric questions.

A.2 (explicit constants). Provide explicit numerical values for the constants K1,δ1K_1,\delta_1 of the u6u^6-metric theorem and for K2,δ2K_2,\delta_2 (as functions of p,A,Bp,A,B) of the u4u^4-metric theorem, equivalently a constructive proof of stability in these density metrics, or prove that specific values are optimal.

Part B: sharp convergence rates for critical-mass Keller-Segel in the properly dissipative class. Here ρ(x,t)\rho(x,t) solves the parabolic-elliptic Keller-Segel system ∂tρ=div(∇ρ−ρ∇c)\partial_t\rho={\rm div}(\nabla\rho-\rho\nabla c) with c=−12πlog⁡∣⋅∣∗ρc=-\frac{1}{2\pi}\log|\cdot|*\rho on R2\mathbb{R}^2. Its free energy is the logarithmic Hardy-Littlewood-Sobolev functional

F[ρ]=∫R2ρlog⁡ρ dx+14π∬R2×R2ρ(x)log⁡∣x−y∣ ρ(y) dx dy,F[\rho]=\int_{\mathbb{R}^2}\rho\log\rho\,dx+\frac{1}{4\pi}\iint_{\mathbb{R}^2\times\mathbb{R}^2}\rho(x)\log|x-y|\,\rho(y)\,dx\,dy,

which at mass 8π8\pi is bounded below by C(8π)=8π(log⁡8−1)C(8\pi)=8\pi(\log 8-1), with equality exactly at the stationary densities σκ,8π(x)=8κ(κ+∣x∣2)2\sigma_{\kappa,8\pi}(x)=\frac{8\kappa}{(\kappa+|x|^2)^2}, κ>0\kappa>0, and their translates. A solution is properly dissipative (in the sense of Blanchet-Carlen-Carrillo) if Hκ,8π[ρ(⋅,0)]<∞H_{\kappa,8\pi}[\rho(\cdot,0)]<\infty for some κ>0\kappa>0 and Hκ,8π[ρ(⋅,T)]+∫0TD[ρ(⋅,t)] dtH_{\kappa,8\pi}[\rho(\cdot,T)]+\int_0^T\mathcal{D}[\rho(\cdot,t)]\,dt stays bounded, where Hκ,M[σ]=∫R2∣σ−σκ,M∣2σκ,M dyH_{\kappa,M}[\sigma]=\int_{\mathbb{R}^2}\frac{|\sqrt{\sigma}-\sqrt{\sigma_{\kappa,M}}|^2}{\sqrt{\sigma_{\kappa,M}}}\,dy and D[σ]=1π(∥∇u∥22∥u∥44−π∥u∥66)\mathcal{D}[\sigma]=\frac{1}{\pi}(\|\nabla u\|_2^2\|u\|_4^4-\pi\|u\|_6^6) with u=σ1/4u=\sigma^{1/4}. Take centered initial data, ∫xρ(x,0) dx=0\int x\rho(x,0)\,dx=0. For such solutions Carlen and Figalli proved F[ρ(⋅,t)]−C(8π)≤C1(1+t)−(1−ϵ)/8F[\rho(\cdot,t)]-C(8\pi)\le C_1(1+t)^{-(1-\epsilon)/8} and inf⁡μ>0∥ρ(⋅,t)−σμ,8π∥L1≤C2(1+t)−(1−ϵ)/160\inf_{\mu>0}\|\rho(\cdot,t)-\sigma_{\mu,8\pi}\|_{L^1}\le C_2(1+t)^{-(1-\epsilon)/160} for every ϵ>0\epsilon>0, with the L1L^1 rate improved to O(t−1/16)O(t^{-1/16}) by Carlen's 2025 log-HLS stability theorem; the last infimum is attained at a scale μ(t)\mu(t) contained in a compact subinterval of (0,∞)(0,\infty), and (μ(t)−κ)2≤C/log⁡(e+t)(\mu(t)-\kappa)^2\le C/\log(e+t).

B.1 Is the free-energy decay rate sharp: does there exist such a solution with F[ρ(⋅,t)]−C(8π)≥c t−1/8F[\rho(\cdot,t)]-C(8\pi)\ge c\,t^{-1/8} for all large tt (up to the ϵ\epsilon in the known upper bound), or can the exponent 1/81/8 be improved?

B.2 Which of the resulting convergence rates are sharp: the L1L^1 distance inf⁡μ>0∥ρ(⋅,t)−σμ,8π∥L1\inf_{\mu>0}\|\rho(\cdot,t)-\sigma_{\mu,8\pi}\|_{L^1} (known to be O(t−1/16)O(t^{-1/16})), and the scale-selection bounds (μ(t)−κ)2≤C/log⁡(e+t)(\mu(t)-\kappa)^2\le C/\log(e+t) and ∥ρ(⋅,t)−σκ,8π∥L1≤(C/log⁡(e+t))1/2\|\rho(\cdot,t)-\sigma_{\kappa,8\pi}\|_{L^1}\le(C/\log(e+t))^{1/2}? Produce solutions with matching lower bounds, or improve the upper bounds.

Parts A and B form one linked objective, exactly as in the source: quantitative GNS stability in the u4u^4 density metric is the engine that, through the duality chain from D\mathcal{D} to δHLS\delta_{HLS} to L1L^1 distance, produces the Keller-Segel rates, so any improvement of the exponent in A.1 propagates to B.1 and B.2, and conversely lower-bound examples in Part B delimit what Part A can achieve.

References

  1. Eric A. Carlen and Alessio Figalli. Stability for a GNS inequality and the Log-HLS inequality, with application to the critical mass Keller-Segel equation. Duke Mathematical Journal, 162(3):579-625, 2013. DOI: 10.1215/00127094-2019931. URL: https://doi.org/10.1215/00127094-2019931 (arXiv:1107.5976, https://arxiv.org/abs/1107.5976)
  2. Manuel del Pino and Jean Dolbeault. Best constants for Gagliardo-Nirenberg inequalities and applications to nonlinear diffusions. Journal de Mathematiques Pures et Appliquees, 81:847-875, 2002. DOI: 10.1016/S0021-7824(02)01266-7. URL: https://doi.org/10.1016/S0021-7824(02)01266-7
  3. Gabriele Bianchi and Henrik Egnell. A note on the Sobolev inequality. Journal of Functional Analysis, 100:18-24, 1991. DOI: 10.1016/0022-1236(91)90099-Q. URL: https://doi.org/10.1016/0022-1236(91)90099-Q
  4. Eric A. Carlen and Michael Loss. Competing symmetries, the logarithmic HLS inequality and Onofri's inequality on Sn\mathbb{S}^n. Geometric and Functional Analysis, 2(1):90-104, 1992. DOI: 10.1007/BF01895706. URL: https://doi.org/10.1007/BF01895706
  5. William Beckner. Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality. Annals of Mathematics, 138:213-242, 1993. DOI: 10.2307/2946638. URL: https://doi.org/10.2307/2946638
  6. Jean Dolbeault and Benoît Perthame. Optimal critical mass in the two dimensional Keller-Segel model in R2\mathbb{R}^2. Comptes Rendus Mathematique, 339:611-616, 2004. DOI: 10.1016/j.crma.2004.08.011. URL: https://doi.org/10.1016/j.crma.2004.08.011
  7. Adrien Blanchet, José A. Carrillo, and Nader Masmoudi. Infinite time aggregation for the critical Patlak-Keller-Segel model in R2\mathbb{R}^2. Communications on Pure and Applied Mathematics, 61:1449-1481, 2008. DOI: 10.1002/cpa.20225. URL: https://doi.org/10.1002/cpa.20225
  8. Adrien Blanchet, Eric A. Carlen, and José A. Carrillo. Functional inequalities, thick tails and asymptotics for the critical mass Patlak-Keller-Segel model. Journal of Functional Analysis, 262:2142-2230, 2012. DOI: 10.1016/j.jfa.2011.12.012. URL: https://doi.org/10.1016/j.jfa.2011.12.012
  9. Eric A. Carlen, José A. Carrillo, and Michael Loss. Hardy-Littlewood-Sobolev inequalities via fast diffusion flows. Proceedings of the National Academy of Sciences, 107:19696-19701, 2010. DOI: 10.1073/pnas.1008323107. URL: https://doi.org/10.1073/pnas.1008323107
  10. Jacob Bedrossian and Nader Masmoudi. Existence, uniqueness and Lipschitz dependence for Patlak-Keller-Segel and Navier-Stokes in R2\mathbb{R}^2 with measure-valued initial data. Archive for Rational Mechanics and Analysis, 214:717-801, 2014. DOI: 10.1007/s00205-014-0796-z. URL: https://doi.org/10.1007/s00205-014-0796-z
  11. Giani Egaña Fernández and Stéphane Mischler. Uniqueness and long time asymptotic for the Keller–Segel equation: the parabolic–elliptic case. Archive for Rational Mechanics and Analysis, 220:1159-1194, 2016. DOI: 10.1007/s00205-015-0951-1. URL: https://doi.org/10.1007/s00205-015-0951-1
  12. Eric A. Carlen. Stability for the logarithmic Hardy-Littlewood-Sobolev inequality with application to the Keller-Segel equation. Journal of Functional Analysis, 288:110818, 2025. DOI: 10.1016/j.jfa.2024.110818. URL: https://doi.org/10.1016/j.jfa.2024.110818 (arXiv:2312.00614, https://arxiv.org/abs/2312.00614)
  13. Matteo Bonforte, Jean Dolbeault, Bruno Nazaret, and Nikita Simonov. Stability in Gagliardo-Nirenberg-Sobolev inequalities: flows, regularity, and the entropy method. Memoirs of the American Mathematical Society, 308, no. 1554, 2025. DOI: 10.1090/memo/1554. URL: https://doi.org/10.1090/memo/1554 (arXiv:2007.03674, https://arxiv.org/abs/2007.03674)
  14. Jean Dolbeault, Maria J. Esteban, Alessio Figalli, Rupert L. Frank, and Michael Loss. Sharp stability for Sobolev and log-Sobolev inequalities, with optimal dimensional dependence. Cambridge Journal of Mathematics, 13:359-430, 2025. DOI: 10.4310/cjm.250325022725. URL: https://doi.org/10.4310/cjm.250325022725
  15. Alessio Figalli and Yi Ru-Ya Zhang. Sharp gradient stability for the Sobolev inequality. Duke Mathematical Journal, 171(12), 2022. DOI: 10.1215/00127094-2022-0051. URL: https://doi.org/10.1215/00127094-2022-0051
  16. Lu Chen, Guozhen Lu, and Hanli Tang. Sharp stability of log-Sobolev and Moser-Onofri inequalities on the sphere. Journal of Functional Analysis, 285:110022, 2023. DOI: 10.1016/j.jfa.2023.110022. URL: https://doi.org/10.1016/j.jfa.2023.110022
  17. Changfeng Gui and Amir Moradifam. The sphere covering inequality and its applications. Inventiones Mathematicae, 214:1169-1204, 2018. DOI: 10.1007/s00222-018-0820-2. URL: https://doi.org/10.1007/s00222-018-0820-2
  18. Van Hoang Nguyen. The sharp Gagliardo-Nirenberg-Sobolev inequality in quantitative form. Journal of Functional Analysis, 277:2179-2208, 2019. DOI: 10.1016/j.jfa.2019.02.016. URL: https://doi.org/10.1016/j.jfa.2019.02.016
  19. Chengxiang Zhang and Xu Zhang. Stability estimates for Gagliardo-Nirenberg-Sobolev inequality. Mathematische Annalen, 392:5235-5273, 2025. DOI: 10.1007/s00208-025-03224-4. URL: https://doi.org/10.1007/s00208-025-03224-4
  20. Francis Seuffert. An extension of the Bianchi–Egnell stability estimate to Bakry, Gentil, and Ledoux's generalization of the Sobolev inequality to continuous dimensions. Journal of Functional Analysis, 273:3094-3149, 2017. DOI: 10.1016/j.jfa.2017.07.001. URL: https://doi.org/10.1016/j.jfa.2017.07.001
  21. B. Ruffini. Stability theorems for Gagliardo-Nirenberg-Sobolev inequalities: a reduction principle to the radial case. Revista Matematica Complutense, 27:509-539, 2014. DOI: 10.1007/s13163-013-0144-0. URL: https://doi.org/10.1007/s13163-013-0144-0
  22. Federico Buseghin and Charles Collot. Classification of the dynamics of radial solutions to the 2D parabolic-elliptic Keller-Segel system. arXiv:2606.20870, 2026. URL: https://arxiv.org/abs/2606.20870
  23. Jean Dolbeault, Maria J. Esteban, Alessio Figalli, Rupert L. Frank, and Michael Loss. A short review on improvements and stability for some interpolation inequalities. arXiv:2402.08527, 2024. URL: https://arxiv.org/abs/2402.08527
  24. Federico Buseghin and Charles Collot. Determination of the long-time dynamics for the 2D Keller-Segel equation at critical mass. arXiv:2606.20866, 2026. URL: https://arxiv.org/abs/2606.20866