Exponential convergence for ultrafast diffusion equations with log-concave weights

Max Fathi; Mikaela Iacobelli

REVIEW 3 major objections 4 minor 1 cited by

Exponential convergence for ultrafast diffusion equations with log-concave weights

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves exponential convergence to equilibrium for weighted ultrafast diffusion equations on the real line under log-concave, log-Lipschitz weights, extending the compact-domain result.

desk verdict Likely-true exponential convergence theorem with a fixable gap in the semiconvexity computation of Proposition 2.4. read the letter →

arxiv 2507.13060 v1 pith:J3QTTX5C submitted 2025-07-17 math.AP

Max Fathi , Mikaela Iacobelli This is my paper · ORCID

classification math.AP MSC 35K5535B4049Q22

keywords ultrafastdiffusionweightedequationexponentialconvergencetoequilibriumWassersteingradientflowoptimaltransportlog-concavemeasureisoperimetricprofilequantizationofmeasures

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that solutions of a weighted ultrafast diffusion equation on the real line converge exponentially to the invariant measure, provided the weight is log-concave with bounded logarithmic slope and the initial density is bounded above and below by multiples of the invariant measure. On a compact interval this was known; the contribution here is to carry the result to the whole line. The equation is the Wasserstein gradient flow of the energy $F_\rho[f]=\int \rho/f^r\,dx$, and the proof works by establishing a functional inequality between the energy excess and its dissipation along the flow. This gives the first noncompact exponential convergence statement for this quantization-motivated family of equations. A readable consequence is that the relative $L^2$ distance between a solution and the equilibrium shrinks at an exponential rate, with explicit constants.

What carries the argument

The load-bearing mechanism is the dissipation inequality $F_\rho[f]-F_\rho[m]\le A(c,C)I_\rho[f]$ on the class $P_{c,C}$, where $F_\rho[f]=\int \rho/f^r\,dx$ is the energy whose Wasserstein gradient flow is the PDE and $I_\rho[f]=r^2\int u|\partial_x u^{-(r+1)}|^2\,m\,dx$, with $u=f/m$, is its dissipation rate. Once this inequality is known, Gronwall's lemma turns it into exponential decay of the energy excess, which is comparable to the relative $L^2$ distance on $P_{c,C}$. The inequality is assembled from three ingredients: a local $(-\lambda)$-convexity estimate for $F_\rho$ along the Wasserstein geodesic joining $m$ to $f$, expressed through the Hessian bound (2.3); a Poincaré inequality for the log-concave measure $m$; and one-dimensional optimal-transport estimates — a Lipschitz bound on the transport map $T$ from $m$ to $f$ and a uniform bound on $|T(x)-x|$ — that keep the geodesic inside the class where the Hessian bound applies. The argument is one-dimensional because transport maps are represented explicitly through cumulative distribution functions.

What would settle it

Simulate or solve (1.1) for $V(x)=\sqrt{1+x^2}$, $r=2$, with $m$ normalized to unit mass and an initial density $c m\le f_0\le C m$, and track the ratio of the energy excess $F_\rho[f]-F_\rho[m]$ to the dissipation $I_\rho[f]$ along the flow: the theorem predicts the ratio is bounded by a constant depending only on $V$, $c$, and $C$, so an unbounded ratio would refute it. The same experiment with $V(x)=x^2/2$ probes the excluded Gaussian case, where the isoperimetric-profile bound used in the proof fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: if $V$ is convex and $L$-Lipschitz with $L$-Lipschitz derivative, $m=e^{-V}$ has unit mass, and the initial density satisfies $cm \le f_0 \le Cm$, then the solution $f(t)$ of (1.1) obeys $\int ((f(t)/m)-1)^2\, m\,dx \le A e^{-at}$ for constants $A,a>0$ that depend only on $V$, $c$, and $C$. This is the noncompact analogue of the compact-interval theorem in [22], and it is obtained through the gradient-flow structure of the PDE rather than by maximum-principle estimates. The same approximation argument used for existence and uniqueness also ensures the solution remains in the comparison class for all times.

Load-bearing premise

The proof requires the potential $V$ to have a bounded slope with a Lipschitz derivative; if that fails, the upper bound on the isoperimetric profile of $m$ disappears, the optimal transport map is no longer controlled, and the Wasserstein geodesic between $m$ and $f$ can leave the comparison class, which is exactly why Gaussian weights are not covered.

Editorial extensions

If this is right

Any initial density that is bounded between two multiples of the invariant measure will relax to that measure exponentially fast, with an explicit rate depending on the comparison constants and the weight.
The exponential rate depends polynomially on the upper and lower comparison constants, so quantitative bounds on the relaxation time are available.
The theorem delivers the expected convergence to the equilibrium predicted by the quantization problem on the whole real line.
The same gradient-flow and functional-inequality argument unifies the compact-interval theorem with the noncompact result, so the two cases are governed by the same mechanism.
The approximation and contractivity arguments give well-posedness for the singular equation on the whole line, not just on bounded intervals.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The proof uses only the two-sided linear bound on the isoperimetric profile of $m$, so the same argument should extend to weights that fail Lipschitz continuity of $V'$ but still have a linearly bounded isoperimetric profile; the Gaussian shows the bound is not automatic.
The excluded Gaussian case is a genuine boundary for this method: the ratio used in Lemma 2.5 is unbounded for $V(x)=x^2/2$, so covering it would require a new way to control the transport map and the geodesic.
The linearized problem forces a Poincaré inequality for $m$, so the fastest possible exponential rate in Theorem 1.1 is constrained by the spectral gap of the invariant measure; sharper rates for noncompact log-concave measures would sharpen the theorem.
Known failures of Lipschitz optimal transport for bounded perturbations of noncompact log-concave measures in higher dimensions suggest that this proof is inherently one-dimensional, although the paper notes that exponential convergence itself may still hold for small perturbations in higher dimension.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

One thing to know: the main theorem is probably true, but the proof as written has a gap in the key semiconvexity computation, and it is the kind of gap that is very likely fixable. The paper proves exponential convergence to equilibrium for the weighted ultrafast diffusion on the whole line, extending Iacobelli's compact-interval result. What's new is the noncompact setting and the one-dimensional transport machinery: the isoperimetric profile bound, the Lipschitz estimate on the Brenier map, and the displacement bound that keeps Wasserstein geodesics inside a fixed density class. Those lemmas are clearly presented and, as far as I can tell, correct.

The soft spot is Proposition 2.4. The equation and Proposition 2.2 use ρ=e^{-(r+1)V}, but the proof of Prop 2.4 says 'Plugging ρ=e^{-V}' and computes with that. With the correct ρ, the derivatives pick up factors of (r+1), and the stated λ and the cancellation in (2.3) are not derived. The stress-test note is right: the Young estimate can be redone and should still give a finite λ depending on r, L, and c, but the corrected computation has to be supplied. The theorem currently rests on an unproved step. Also, Lemma 2.3 states C^{2r+1} but the proof gives C^{2r+3}; they use the latter later, so it's a minor typo, not a real issue. Appendix A's existence argument is a sketch with a diagonal compactness step that is plausible but not fully detailed. The HWI derivation via Villani's corollary is also a little quick, since the convexity is only along one geodesic, but that's a standard extension and not a concern.

The assumptions are honest: the authors note the Gaussian is not covered, and the Lipschitz condition on V' is really used in the isoperimetric upper bound. No invented entities, no free parameters, and the self-citation to [22] and [24] is legitimate because those are published results used as lemmas.

Bottom line: the paper deserves a serious referee. The main idea is sound, the new lemmas are valuable, and the gap is algebraic and local. A referee should be asked to check the corrected computation in Prop 2.4 and the exponent in Lemma 2.3. I'd accept for review.

Referee Report

3 major / 4 minor

Summary. The paper proves exponential convergence to equilibrium in relative L2(m) for a weighted ultrafast diffusion PDE on the real line, ∂tf = -r ∂x(f ∂x(ρ/f^{r+1})) for r>1, under assumptions that V = -1/(r+1) log ρ (up to normalization) is convex and L-Lipschitz with L-Lipschitz derivative, and that the initial datum f0 satisfies cm ≤ f0 ≤ Cm with m = e^{-V}. The strategy follows the gradient-flow/HWI scheme of [22]: prove a local semiconvexity lower bound for Fρ = ∫ ρ/f^r, combine it with a Poincaré inequality for m and with W2-bounds along geodesics, obtain the functional inequality Fρ[f]-Fρ[m] ≤ A Iρ[f] on the class Pc,C, and then apply Gronwall. The non-compact step uses one-dimensional optimal transport, isoperimetric-profile estimates for log-concave measures, and a displacement bound for the transport map. The main result extends [22] from a compact interval to the whole line, while explicitly excluding Gaussian invariant measures.

Significance. If the proof is completed, this is a valuable non-compact extension of the compact-domain result: it gives explicit exponential relaxation rates for a singular ultrafast diffusion under relatively mild log-concavity and log-Lipschitz assumptions, and it honestly identifies the Gaussian case as an open limitation. The overall architecture is coherent and transparent, with computable constants and a clear explanation of why the dimension-one assumption is needed. The paper also gives credit where it is due by importing the Hessian computation and well-posedness results from the authors' earlier work [22,24]. The main concerns are localized: the Hessian computation in Proposition 2.4 is not carried out for the potential that actually appears in the equation, and the full-space well-posedness argument in Appendix A is only sketched. Both appear repairable, so the appropriate decision is a major revision.

major comments (3)

[§2.2, Proposition 2.4] The Hessian lower bound is computed with ρ=e^{-V}, whereas the paper defines ρ=e^{-(r+1)V} in Section 2 and in Proposition 2.2. With the correct ρ, one has ρ'/ρ=-(r+1)V' and ρ''/ρ=(r+1)^2(V')^2-(r+1)V''. Repeating the Young estimate in (2.3) with these factors gives a lower bound of the form -c^{-(r+1)}[(r+1)^2 L^2/r + (r+1)L]∫(φ')^2 f dx, not the stated λ = c^{-(r+1)}(L^2/r + L). Since Proposition 2.4 is the only source of the semiconvexity that feeds into (2.2), Theorem 1.1 is not proved as written; the corrected computation with the correct r-dependent constants must be supplied.
[Appendix A] The global well-posedness used by Theorem 1.1 is relegated to a one-paragraph approximation argument. After diagonal extraction, the author's assert that t↦f(t) solves (1.1), but no convergence of the nonlinear fluxes is shown and the identification of the initial datum and the limit equation is not justified. The constants a_k and b_k are only stated to tend to 1, and the passage from Neumann problems on [-k,k] to the whole line is nontrivial. Since the proof of Theorem 1.1 requires f(t)∈Pc,C for all t, this needs a rigorous argument or a precise citation for the full-space case.
[Lemma 2.3] The statement of Lemma 2.3 gives W2^2(f,m) ≤ 4C_P^2 C^{2r+1}/(r^2(r+1)^2) Iρ[f], but the proof derives C^{2r+3}, and the constant C^{2r+3} is the one used immediately afterward in the combination with (2.2). This is a mismatch between statement and proof; the statement should be corrected, since the present inconsistency makes it impossible to know which exponent is claimed.

minor comments (4)

[Lemma 2.5] The proof of Lemma 2.5 only treats the case x→+∞ and says the other side is handled "without loss of generality"; a symmetric argument for x→-∞ should be written out or justified explicitly, for example by replacing V(x) with V(-x).
[Appendix A] The notation f0,k appears where f^k_0 is intended, and the claim that a_k,b_k→1 should be justified, since these constants depend on the truncation and normalization and the convergence is used in the approximation argument.
[§2.1, equation (2.2)] The derivation of (2.2) from geodesic (−λ)-convexity is only described informally via the finite-dimensional analogy; since Proposition 2.2 provides convexity along one geodesic rather than global convexity, a short justification or a precise reference for this HWI-type implication would improve the exposition.
[Introduction] The abstract and introduction could state more explicitly that the exclusion of Gaussian invariant measures is not merely a technical annoyance but comes exactly from the upper-bound step in Lemma 2.5, which uses the boundedness of V'; a reader who skips the proof may otherwise be surprised by the exclusion.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the exponential-convergence theorem is derived from a gradient-flow/HWI argument, not assumed; the self-citations to prior works are non-load-bearing.

full rationale

The paper's derivation chain is a standard HWI/Gronwall argument: it linearizes the entropy–dissipation inequality, proves a local semiconvexity estimate for the functional, controls Wasserstein geodesics via 1D transport estimates, and then applies Gronwall. The equilibrium m is the explicit minimizer of F_rho (obtained by Holder's inequality from the definition of rho), not a hidden input. The Poincare inequality is imported from Bobkov [3], an independent external source. The Wasserstein control (Lemmas 2.5-2.8) is proved inside the paper using one-dimensional quantile representations and monotonicity of the transport map, with stated assumptions on V. The semiconvexity computation is reproduced in Section 2.2, albeit with an apparent algebraic mismatch: Proposition 2.2 and the PDE use rho=e^{-(r+1)V}, while the proof says 'Plugging rho = e^{-V}' and computes rho''/rho=(V')^2-V'' rather than the correct (r+1)^2(V')^2-(r+1)V''. This is a mathematical correctness gap, not a circularity, and similarly the C-exponent in Lemma 2.3 is misstated as 2r+1 while the proof yields 2r+3. The self-citations [22] and [24] supply a compact-domain Hessian computation and bounded-domain well-posedness; both are published results with parameter-free statements whose assumptions do not include the target noncompact exponential convergence, and the paper re-derives the key Hessian inequality rather than merely citing it. No step reduces the conclusion to its own assumption, and there is no fitted parameter being renamed as a prediction. The score reflects the presence of a few minor self-citations, which are not load-bearing for the central claim.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted to data; constants A, a, lambda, and CV are existential or computable from V, c, and C. The main external inputs are prior theorems in optimal transport and the authors' earlier papers [22, 24]. No new entities are postulated.

assumptions (6)

standard math Brenier's theorem and W2 geodesic representation via interpolated optimal maps
Used in Lemmas 2.3, 2.6, 2.7, 2.8 and in deriving inequality (2.2); standard optimal transport facts from [33, 28, 37].
standard math Poincare inequality for log-concave probability measures
Used for Lemma 2.3 and as a necessary condition for (2.1); taken from Bobkov [3].
domain assumption V is convex, L-Lipschitz, and V' is L-Lipschitz
Central hypothesis of Theorem 1.1; used in Propositions 2.4 and Lemmas 2.5-2.8; excludes Gaussian weights.
domain assumption Initial density f0 is comparable to m, with cm ≤ f0 ≤ Cm
Required for existence, Hessian bounds, and geodesic confinement; a strong restriction on initial data.
standard math Hessian computation (2.3) from [22, Section 4.1] and well-posedness results from [24]
Black-box prior results, overlapping with the present authors, used to justify the semiconvexity and existence steps.
standard math One-dimensional optimal transport regularity criteria
Lipschitz and displacement estimates for transport maps use Milman [27] and Peyre [30]; these do not transfer to higher dimensions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Exponential convergence for ultrafast diffusion equations with log-concave weights." pith.science (2026). https://pith.science/paper/J3QTTX5C

@misc{pith2026250713060,
  author       = {Pith},
  title        = {Pith review of: Exponential convergence for ultrafast diffusion equations with log-concave weights},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J3QTTX5C}},
  note         = {Machine review of arXiv:2507.13060}
}

read the original abstract

We study the asymptotic behavior of a weighted ultrafast diffusion PDE on the real line, with a log-concave and log-lipschitz weight, and prove exponential convergence to equilibrium. This result goes beyond the compact setting studied in [22]. This equation is motivated by the gradient flow approach to the problem of quantization of measures introduced in [11].

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

On the exponential convergence to equilibrium for ultrafast diffusion equations
math.AP 2025-09 conditional novelty 6.0 of 10

Exponential convergence for ultrafast diffusion in R^n with Gaussian weights is proved by a direct Poincaré inequality, extending prior one-dimensional results.

Reference graph

Works this paper leans on

37 extracted references · 35 canonical work pages · cited by 1 Pith paper

[22]

Iacobelli, Asymptotic analysis for a very fast diffusion equation arising from the 1D quantization problem, Discrete Contin

M. Iacobelli, Asymptotic analysis for a very fast diffusion equation arising from the 1D quantization problem, Discrete Contin. Dyn. Syst.39 (2019), 4929–4943

work page 2019
[24]

Iacobelli, F

M. Iacobelli, F. S. Patacchini, and F. Santambrogio,Weighted ultrafast diffusion equa- tions: from well-posedness to long-time behaviour, Arch. Ration. Mech. Anal. 232 (2019), 1165–1206

work page 2019
[1]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savaré,Gradient flows in metric spaces and in the space of probability measures, 2nd ed., Lectures in Mathematics ETH Zürich, Birkhäuser, Basel, 2008

work page 2008
[2]

Blanchet, M

A. Blanchet, M. Bonforte, J. Dolbeault, G. Grillo, and J. L. Vázquez,Asymptotics of the fast diffusion equation via entropy estimates, Arch. Ration. Mech. Anal.191 (2009), no. 2, 347–385

work page 2009
[3]

S. G. Bobkov,Isoperimetric and analytic inequalities for log-concave probability mea- sures, Ann. Probab.27 (1999), no. 4, 1903–1921

work page 1999
[4]

Bonforte and J

M. Bonforte and J. L. Vázquez,Global positivity estimates and Harnack inequalities for the fast diffusion equation, J. Funct. Anal.240 (2006), no. 2, 399–428

work page 2006
[5]

Bonforte and J

M. Bonforte and J. L. Vázquez,Reverse smoothing effects, fine asymptotics, and Har- nack inequalities for fast diffusion equations, Bound.ValueProbl. 2007, Art.ID21425, 31 pp

work page 2007
[6]

Bonforte and J

M. Bonforte and J. L. Vázquez,Positivity, local smoothing, and Harnack inequalities for very fast diffusion equations, Adv. Math.223 (2010), no. 2, 529–578

work page 2010

Show all 37 references

[7]

Bonforte, J

M. Bonforte, J. Dolbeault, M. Muratori, and B. Nazaret, Weighted fast diffusion equations (Part I): Sharp asymptotic rates without symmetry and symmetry breaking in Caffarelli-Kohn-Nirenberg inequalities, Kinet. Relat. Models10 (2017), no. 1, 33– 59

2017
[8]

Bonforte, J

M. Bonforte, J. Dolbeault, M. Muratori, and B. Nazaret, Weighted fast diffusion equations (Part II): Sharp asymptotic rates of convergence in relative error by entropy methods, Kinet. Relat. Models10 (2017), no. 1, 61–91

2017
[9]

Bonforte and A

M. Bonforte and A. Figalli,The Cauchy-Dirichlet problem for the fast diffusion equa- tion on bounded domains, Nonlinear Anal.239 (2024), Paper No. 113394, 55 pp. 11

2024
[10]

L. A. Caffarelli, Monotonicity properties of optimal transportation and the FKG and related inequalities. Commun. Math. Phys. 214, No. 3, 547-563 (2000); erratum ibid. 225, No. 2, 449-450 (2002)

2000
[11]

Caglioti, F

E. Caglioti, F. Golse, and M. Iacobelli,A gradient flow approach to quantization of measures, Math. Models Methods Appl. Sci.25 (2015), 1845–1885

2015
[12]

Caglioti, F

E. Caglioti, F. Golse, and M. Iacobelli,Quantization of measures and gradient flows: a perturbative approach in the 2-dimensional case, Preprint
[13]

Carlier, A

G. Carlier, A. Figalli and F. Santambrogio, On Optimal Transport Maps Between 1 /d-Concave Densities. Preprint, arXiv:2404.05456 (2024)

2024 arXiv
[14]

J. A. Carrillo, C. Lederman, P. A. Markowich, and G. Toscani,Poincaré inequalities for linearizations of very fast diffusion equations, Nonlinearity15 (2002), no. 3, 565– 580

2002
[15]

J. A. Carrillo and D. Slepçev,Example of a displacement convex functional of first order, Calc. Var. Partial Differential Equations36 (2009), 547–564

2009
[16]

Colombo, A

M. Colombo, A. Figalli and Y. Jhaveri, Lipschitz changes of variables between per- turbations of log-concave measures. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 17, No. 4, 1491-1519 (2017)

2017
[17]

Daskalopoulos and M

P. Daskalopoulos and M. Del Pino, On nonlinear parabolic equations of very fast diffusion, Arch. Ration. Mech. Anal.137 (1997), no. 4, 363–380

1997
[18]

J. R. Esteban, A. Rodríguez, and J. L. Vázquez, A nonlinear heat equation with singular diffusivity, Comm. Partial Differential Equations13 (1988), 985–1039

1988
[19]

Fathi, D

M. Fathi, D. Mikulincer and Y. Shenfeld, Transportation onto log-Lipschitz pertur- bations. Calc. Var. Partial Differ. Equ. 63, No. 3, Paper No. 61, 25 p. (2024)

2024
[20]

Graf and H

S. Graf and H. Luschgy,Foundations of Quantization for Probability Distributions, Lecture Notes in Math., vol. 1730, Springer, Berlin, 2000

2000
[21]

Golse,Quantization of probability densities: a gradient flow approach, inFrom par- ticle systems to partial differential equations, Springer Proc

F. Golse,Quantization of probability densities: a gradient flow approach, inFrom par- ticle systems to partial differential equations, Springer Proc. Math. Stat.258 (2018), 33–52

2018
[23]

Iacobelli,A Gradient Flow Perspective on the Quantization Problem, PDE Models for Multi-Agent Phenomena, Springer INdAM Ser.,vol

M. Iacobelli,A Gradient Flow Perspective on the Quantization Problem, PDE Models for Multi-Agent Phenomena, Springer INdAM Ser.,vol. 28, Springer, Cham (2018), 145–165

2018
[25]

Jüngel, Entropy methods for diffusive partial differential equations

A. Jüngel, Entropy methods for diffusive partial differential equations. Cham: Springer; Bilbao: BCAM – Basque Center for Applied Mathematics. 12
[26]

A. V. Kolesnikov. On Sobolev regularity of mass transport and transportation inequal- ities. Theory Probab. Appl., 57(2):243–264, 2013

2013
[27]

Milman, Spectral estimates, contractions, and hypercontractivity, J

E. Milman, Spectral estimates, contractions, and hypercontractivity, J. Funct. Anal. 243 (2007), 301–340

2007
[28]

F.Otto, The geometry of dissipative evolution equations: The porous medium equation. Commun. Partial Differ. Equations 26, No. 1-2, 101-174 (2001)

2001
[29]

Otto and C

F. Otto and C. Villani, Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal. 173, No. 2, 361-400 (2000)

2000
[30]

R.Peyré, Comparison betweenW2 distance andH −1 norm, and localisation of Wasser- stein distance, ESAIM Control Optim. Calc. Var.24 (2018), 1489–1501

2018
[31]

Rodríguez and J

A. Rodríguez and J. L. Vázquez,A well-posed problem in singular Fickian diffusion, Arch. Ration. Mech. Anal.110 (1990), 141–163

1990
[32]

Salvarani and G

F. Salvarani and G. Toscani,The diffusive limit of Carleman-type models in the range of very fast diffusion equations, J. Evol. Equ.9 (2009), no. 1, 67–80

2009
[33]

Villani,Topics in Optimal Transportation, Graduate Studies in Mathematics, vol

C. Villani,Topics in Optimal Transportation, Graduate Studies in Mathematics, vol. 58, American Mathematical Society, Providence, RI, 2003

2003
[34]

J. L. Vázquez,Smoothing and decay estimates for nonlinear diffusion equations, Ox- ford Lecture Series in Mathematics and its Applications, vol. 33, Oxford University Press, New York, 2006

2006
[35]

J. L. Vázquez,The porous medium equation: Mathematical theory, Oxford Mathemat- ical Monographs, Clarendon Press, Oxford, 2007

2007
[36]

J. L. Vázquez,Failure of the strong maximum principle in nonlinear diffusion. Exis- tence of needles, Comm. Partial Differential Equations30 (2005), 1263–1303

2005
[37]

Villani, Optimal transport

C. Villani, Optimal transport. Old and new. Grundlehren der Mathematischen Wis- senschaften 338. Berlin: Springer (ISBN 978-3-540-71049-3). xxii, 973 p

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [22]

Iacobelli, Asymptotic analysis for a very fast diffusion equation arising from the 1D quantization problem, Discrete Contin

M. Iacobelli, Asymptotic analysis for a very fast diffusion equation arising from the 1D quantization problem, Discrete Contin. Dyn. Syst.39 (2019), 4929–4943

work page 2019

[2] [24]

Iacobelli, F

M. Iacobelli, F. S. Patacchini, and F. Santambrogio,Weighted ultrafast diffusion equa- tions: from well-posedness to long-time behaviour, Arch. Ration. Mech. Anal. 232 (2019), 1165–1206

work page 2019

[3] [1]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savaré,Gradient flows in metric spaces and in the space of probability measures, 2nd ed., Lectures in Mathematics ETH Zürich, Birkhäuser, Basel, 2008

work page 2008

[4] [2]

Blanchet, M

A. Blanchet, M. Bonforte, J. Dolbeault, G. Grillo, and J. L. Vázquez,Asymptotics of the fast diffusion equation via entropy estimates, Arch. Ration. Mech. Anal.191 (2009), no. 2, 347–385

work page 2009

[5] [3]

S. G. Bobkov,Isoperimetric and analytic inequalities for log-concave probability mea- sures, Ann. Probab.27 (1999), no. 4, 1903–1921

work page 1999

[6] [4]

Bonforte and J

M. Bonforte and J. L. Vázquez,Global positivity estimates and Harnack inequalities for the fast diffusion equation, J. Funct. Anal.240 (2006), no. 2, 399–428

work page 2006

[7] [5]

Bonforte and J

M. Bonforte and J. L. Vázquez,Reverse smoothing effects, fine asymptotics, and Har- nack inequalities for fast diffusion equations, Bound.ValueProbl. 2007, Art.ID21425, 31 pp

work page 2007

[8] [6]

Bonforte and J

M. Bonforte and J. L. Vázquez,Positivity, local smoothing, and Harnack inequalities for very fast diffusion equations, Adv. Math.223 (2010), no. 2, 529–578

work page 2010