Carlen and Figalli (Duke Math. J. 2013) proved that the deficit of the sharp critical two-dimensional Gagliardo-Nirenberg-Sobolev inequality controls the distances of the power densities and from the family of optimizers: with exponent in the metric (for small deficit) and exponent in the metric (under entropy and -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 () 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 rate to ) 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 -density stability under the natural entropy and moment bounds (is 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 in the Sobolev space (the space of square-integrable functions with square-integrable weak first derivatives),
with equality exactly for the functions and their multiples; the sharp constants for the whole GNS family were computed by del Pino and Dolbeault. Its deficit is
Quantitative stability theory asks: when is small, in what sense must be close to an optimizer? For the Sobolev inequality, Bianchi and Egnell proved that the deficit controls the 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 but in the distances of the power densities and from the extremal family: the density is the natural variable for optimal-transport arguments, while is the density that appears in the Keller-Segel application below. Their Theorem 1.2 states that for (where ) and , one has ; their Theorem 1.4 states that if, besides , the entropy is at most and the -th moment is at most for some , and is centered, then whenever . The constants are universal but non-explicit; depend only on and are non-explicit; and nothing is known about the optimality of the exponents. In particular degenerates to as , reflecting that entropy and -moment bounds only barely control the tails of near-extremal functions.
The application runs through the logarithmic Hardy-Littlewood-Sobolev (log-HLS) functional
defined for densities with and integrable. The sharp log-HLS inequality, proved independently by Beckner and by Carlen and Loss, states that for every density of mass , with equality exactly at the Barenblatt-type profiles and their translates; write for its deficit. Two further functionals connect this to the GNS inequality. The fast-diffusion entropy is minimized exactly at and is extremely sensitive to tails: whenever . The dissipation functional , where , is a restatement of the GNS inequality and is therefore non-negative. The bridge is the fast-diffusion equation : along its solutions (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 with on ; it is the gradient flow of for the 2-Wasserstein metric, the distance between probability measures induced by optimally transporting mass at quadratic cost. The total mass is decisive (Dolbeault-Perthame): below the critical mass solutions spread and vanish, above it they collapse in finite time, and at exactly they aggregate in infinite time (Blanchet-Carrillo-Masmoudi), the stationary states being the . Blanchet-Carlen-Carrillo constructed properly dissipative critical-mass solutions, i.e. solutions with along which stays bounded; this is a thick-tail class, since the stationary states have tails and hence infinite second moment. For these solutions Carlen and Figalli proved (Theorem 1.9) that if , and are finite, then for some (for small deficit, any ); and (Theorem 3.5) that for centered initial data , , and the selected scale obeys , so that . 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 in , the deficit dominates , where is the manifold of optimizers; this is unconditional, carries an explicit constant and the optimal quadratic order, and improves the Keller-Segel rate to . 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 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 , where is the second moment of the data, with remainder , and they conjecture the rate 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, is a non-negative function in the Sobolev space (square-integrable functions with square-integrable weak first derivatives), , , and
is the deficit in the sharp inequality .
Part A: optimal GNS stability in the density metrics.
A.1 (optimal exponent in the metric). For and , consider non-negative with , , and . Determine the optimal exponent such that
holds for all such (with and a smallness threshold depending only on ). Carlen and Figalli give ; the question is whether this can be improved, for instance toward the exponent available in the metric, or whether tail obstructions under mere entropy-and--moment bounds force a smaller value, with an explicit near-extremal sequence exhibiting the obstruction. The analogous questions for the -metric theorem (optimal exponent and constant; Carlen and Figalli's Remark 1.3 already notes that the smallness restriction there is removable by enlarging ) belong to the same objective as the -metric questions.
A.2 (explicit constants). Provide explicit numerical values for the constants of the -metric theorem and for (as functions of ) of the -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 solves the parabolic-elliptic Keller-Segel system with on . Its free energy is the logarithmic Hardy-Littlewood-Sobolev functional
which at mass is bounded below by , with equality exactly at the stationary densities , , and their translates. A solution is properly dissipative (in the sense of Blanchet-Carlen-Carrillo) if for some and stays bounded, where and with . Take centered initial data, . For such solutions Carlen and Figalli proved and for every , with the rate improved to by Carlen's 2025 log-HLS stability theorem; the last infimum is attained at a scale contained in a compact subinterval of , and .
B.1 Is the free-energy decay rate sharp: does there exist such a solution with for all large (up to the in the known upper bound), or can the exponent be improved?
B.2 Which of the resulting convergence rates are sharp: the distance (known to be ), and the scale-selection bounds and ? 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 density metric is the engine that, through the duality chain from to to 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
- 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)
- 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
- 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
- Eric A. Carlen and Michael Loss. Competing symmetries, the logarithmic HLS inequality and Onofri's inequality on . Geometric and Functional Analysis, 2(1):90-104, 1992. DOI: 10.1007/BF01895706. URL: https://doi.org/10.1007/BF01895706
- 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
- Jean Dolbeault and Benoît Perthame. Optimal critical mass in the two dimensional Keller-Segel model in . 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
- Adrien Blanchet, José A. Carrillo, and Nader Masmoudi. Infinite time aggregation for the critical Patlak-Keller-Segel model in . Communications on Pure and Applied Mathematics, 61:1449-1481, 2008. DOI: 10.1002/cpa.20225. URL: https://doi.org/10.1002/cpa.20225
- 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
- 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
- Jacob Bedrossian and Nader Masmoudi. Existence, uniqueness and Lipschitz dependence for Patlak-Keller-Segel and Navier-Stokes in 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
- 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
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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