Pith. sign in

REVIEW 3 major objections 4 minor 22 references

Improved interpolation inequalities and stability

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

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

Pith's one-line read Improved interpolation inequalities on the sphere have sharp constants, equality only at constants, and yield stability estimates in Euclidean space.

desk verdict Solid and honest, but the exceptional-case inequality in Theorem 1 is printed with a wrong sign; fix that and it is a citable paper. read the letter →

arxiv 1908.08235 v1 pith:5ARSGVB6 submitted 2019-08-22 math.AP

Jean Dolbeault , Maria J. Esteban This is my paper · ORCID
classification math.AP MSC 26D1046E3558E35
keywords interpolationinequalitiesGagliardo-Nirenberg-Sobolevspherecarréduchampheatflowstabilityoptimalconstantsstereographicprojection
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 establishes a family of improved interpolation inequalities on the d-dimensional sphere. For every exponent p in the admissible subcritical range, the gradient energy is bounded below not just by the usual entropy term but by a strictly larger explicit nonlinear function of that entropy, so the slack is a quantitative measure of distance to constant functions. The constants in the improved inequalities are sharp, and constant functions are the only equality cases. A sympathetically minded reader would care because the result converts a qualitative inequality into a stability statement: it yields explicit lower bounds on the optimal constants in the standard interpolation inequalities and, through the stereographic projection, quantitative stability estimates for weighted inequalities in Euclidean space.

What carries the argument

The load-bearing device is the carré du champ method, a way of extracting inequalities from the second derivative of an entropy along a Markov diffusion; here it is run along the heat flow $\partial_t u = \Delta u + (p-1)|\nabla u|^2/u$, which moves $u^p$ by the heat equation. The entropy $e=\frac{1}{p-2}(\|u\|^2_{L^p}-\|u\|^2_{L^2})$ and Fisher information $i=\|\nabla u\|^2_{L^2}$ satisfy the differential inequality (12), imported from a tensor computation; the function $\phi$ defined by $\phi'(s)=1+\frac{\gamma\phi(s)}{1-(p-2)s}$, $\phi(0)=0$, and given explicitly in (7), is then shown by a monotonicity argument to satisfy $i\ge d\phi(e)$ for every admissible $p$. The coefficient $\gamma$ in (6) is exactly what makes the trace-free Hessian computation nonnegative in the admissible range; convexity of $\phi$ converts the entropy bound into the sharper inequalities (9) and (10).

What would settle it

Take a concrete admissible case, say $d=3$ and $p=3$, and a nonconstant initial datum on $S^3$; evolve it by (11) and compute $e(t)$ and $i(t)$ directly. If inequality (12) is violated at any finite time, Theorem 1 is false. A cheaper independent check is to verify the tensor identity in the proof of Lemma 5 for this case by direct coordinate computation, since any sign error in $\gamma$ would visibly break (12).

Watch

Extended reading notes

Core claim

On the sphere $S^d$ with uniform probability measure, the paper's central claim is that for every $p\neq 2$ in the admissible range (8), with $\gamma$ defined by (6), the inequalities (9) and (10) hold for all $u\in H^1(S^d)$: the gradient energy is at least $\frac{d}{2-p-\gamma}\left(\|u\|^2_{L^2} - \|u\|^{2-\frac{2\gamma}{2-p}}_{L^p}\|u\|^{\frac{2\gamma}{2-p}}_{L^2}\right)$ in the generic case, and at least $\frac{2d}{p-2}\|u\|^2_{L^2}\log\left(\frac{\|u\|^2_{L^2}}{\|u\|^2_{L^p}}\right)$ in the exceptional case $\gamma=2-p$. The constants $\frac{d}{2-p-\gamma}$ and $\frac{2d}{p-2}$ are sharp, as shown by testing with $u=1+\varepsilon v$ where $-\Delta v=d v$ in the limit $\varepsilon\to 0$, and equality is attained only by constant functions. Because the function $\phi$ in (7) is convex with $\phi'(0)=1$, these right-hand sides dominate the classical entropy term, so the inequalities are genuine improvements and the gap between the two sides measures the distance to the optimal functions.

Load-bearing premise

The load-bearing premise is Lemma 5: along the heat flow (11), the entropy satisfies $e''+2d e'-\frac{\gamma |e'|^2}{1-(p-2)e}\ge 0$. The paper does not prove this from scratch but imports it from the tensor computation in references [19] and [18], so if that computation is wrong for any admissible exponent, the main theorem loses its foundation.

Editorial extensions

If this is right

  • For every admissible $p$, the classical interpolation inequality (3) is strict away from constant functions, with a quantitative gap that scales like the square of the entropy near $p=2$.
  • Theorem 2 provides explicit lower bounds on the optimal constants in (1) and (2) for all $\lambda,\mu\ge 1$, including exponents $p\in[1,2)$ for which no explicit estimate was previously available.
  • Theorem 3 gives Euclidean stability estimates with explicit constants: the deficit of any admissible $v$ is controlled by a positive expression involving the distance to the extremal $v_\star = \langle x\rangle^{2-d}$.
  • Under the orthogonality conditions of Theorem 4, the stability term is proportional to the entropy itself rather than its square, matching the structure of the critical Sobolev stability result.
  • The nonlinear-flow extension in Section 4 carries the improvement to the whole subcritical range $p\in(2,2^*)$, at the cost of an implicit function $\phi$ built from a supremum of primitives.

Reading between the lines

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

  • Editorial inference: because the method proves $i\ge d\phi(e)$, the same inequality controls the decay rate of the entropy along the flow; combining it with the spectral gap should give explicit two-phase convergence rates for the heat flow (11).
  • Editorial inference: the proof uses only the tensor identities on the sphere, so the same argument is likely to hold on any compact manifold with the corresponding curvature-dimension condition; the sphere is the case where the constants can be computed explicitly.
  • Editorial inference: a straightforward numerical experiment would minimize the quotient in (9) over spherical harmonics of increasing degree; this would check uniqueness of constants as extremals and reveal whether the next critical value has a simple expression.
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.

Referee Report

3 major / 4 minor

Summary. The paper studies subcritical Gagliardo-Nirenberg-Sobolev interpolation inequalities on the sphere, using carré du champ and heat-flow methods. It proposes improved inequalities with explicit remainders (Theorem 1), derives lower bounds for the optimal constants in (1)-(2) (Theorem 2), and uses stereographic projection to obtain weighted Euclidean stability estimates (Theorems 3-4 and Proposition 8). A nonlinear-flow extension covers p in (2, 2*) (Theorem 14). The proof of Theorem 1 is based on a differential inequality for the entropy/Fisher-information pair along the heat flow (Lemma 5), which is quoted from the authors' earlier work.

Significance. The paper contains genuinely useful explicit improved interpolation inequalities: the remainder terms are given in closed form in terms of L^2 and L^p norms, the constants in the main inequality are claimed sharp, and the stability estimates with explicit constants are of interest. The derivation is coherent and no numerical fitting is involved. However, the exceptional-case formulas in Theorem 1 and Proposition 8 contain a sign error, so the central theorem as printed is false in that case. The correction is local and the underlying method remains sound, which makes the paper suitable for publication after a major revision.

major comments (3)
  1. [Section 2, Theorem 1, Eq. (10)] The exceptional case gamma = 2 - p is misstated. In that case p lies in (1,2) (namely p = p*(d), with p = 7/4 if d = 1), so p - 2 < 0. Since d mu is a probability measure, Hoelder's inequality gives ||u||_{L^p} <= ||u||_{L^2}, hence log(||u||_{L^2}^2 / ||u||_{L^p}^2) >= 0, and the right-hand side of (10), namely (2d/(p-2)) ||u||_{L^2}^2 log(...), is nonpositive for every u. Thus (10) holds trivially, and the asserted sharpness of the constant 2d/(p-2) is impossible: testing u = 1 + epsilon v with -Delta v = d v gives a left-hand side of order d epsilon^2 integral v^2 and a right-hand side of negative order epsilon^2. Substituting phi from (7) into (5), or taking the limit gamma -> 2 - p in (9), gives the correct inequality ||grad u||_{L^2}^2 >= (d/(2-p)) ||u||_{L^2}^2 log(||u||_{L^2}^2 / ||u||_{L^p}^2), which has the correct second-order expansion: both sides equal d epsilon^2 integral v^2 + o(epsilon^2). Theorem 1 needs this correction; the same error propagates to Remark 9, where the printed (10) is claimed to be stronger than (3).
  2. [Section 4, Proposition 8, exceptional case] The exceptional-case formula in Proposition 8 has the same sign error. In the gamma = 2 - p case one has p < 2, so the printed constant 8d/(p-2) is negative, the right-hand side is nonpositive for all v, and the inequality is trivial. The correct constant is 4d/(2-p), obtained as the limit gamma -> 2 - p of the first formula in Proposition 8 or by stereographic projection of the corrected inequality (10). As printed, the proposition is false in this case.
  3. [Section 3, Lemma 5] The central differential inequality (12), namely e'' + 2d e' - gamma |e'|^2 / (1 - (p-2)e) >= 0, is not proved in the manuscript. The text says that the tensor computation 'can be found in [19]' and that the admissible range (8) is 'as shown in [3, 18]', but the reader is not told exactly which statement in those references implies (12), nor are the hypotheses fully restated. Since Theorem 1 and all of its consequences rest on this lemma, the authors should either include the full computation or quote the precise lemma with hypotheses and proof location, so that the range (8) and the formula for gamma are independently verifiable without consulting the earlier papers.
minor comments (4)
  1. [Section 2, Theorem 2(i)] The displayed formula for lambda(mu) is hard to parse: '2 - p - gamma mu^{1 - (2-p)/gamma} / (2 - p - gamma)' should be written with parentheses, e.g., (2 - p - gamma mu^{1-(2-p)/gamma})/(2-p-gamma), to avoid ambiguity.
  2. [Section 4, Theorem 14] The function phi defined by (19) is not explicit; the authors acknowledge this drawback, but it would be helpful to add a short comment on how the supremum over beta in B(p,d) can be evaluated or bounded in practice for p in (2#,2*).
  3. [Section 3, proof of Lemma 5] The step 'e' = -2i' is stated without explanation; since e is defined with a denominator p-2, the relation depends on the normalization ||u||_{L^p}=1 and on the heat flow (11); a one-line derivation would improve readability.
  4. [Figure 2 and Lemma 13] The caption says the curves p -> m_{\pm}(p) enclose the admissible range, but the text defines m_{\pm}(p,d); please make the dependence on d explicit in the figure or caption.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the improved inequalities are derived from an imported but independent entropy-production lemma, with the auxiliary function obtained by solving a differential equation rather than fitted to the target result.

full rationale

The main derivation chain in Section 3 does not reduce to its own conclusion. The paper defines e and i along the heat flow (11) and then imports the differential inequality (12) of Lemma 5 from prior work, quoting: 'Let us summarize results that can be found in [9, 14, 16, 18]. We adopt the presentation of the proof of [19, Lemma 4.3]' and 'An elementary but lengthy computation that can be found in [19] shows that ...'. This cited tensor computation is a proof-carrying statement about (i - d e)' whose assumptions are the heat flow and the Bakry-Emery range (8); it does not assume the target inequalities (9) or (10). Thus the citation is load-bearing but independent support: it is parameter-free, externally checkable, and does not contain the target result as an input. Lemma 6 then solves the ODE for phi exactly, and Lemma 7 uses only (12), the exact ODE, and asymptotic monotonicity to prove (5) with phi given by (7). Theorem 1 is obtained by substituting that explicit phi into (5), so no fitted parameter or predicted quantity is being renamed as a result. The later theorems are convex-duality consequences or stereographic transforms of the same derived inequality, and the nonlinear-flow results of Section 4 similarly solve an ODE for phi rather than importing the final inequality. The heavy reliance on the authors' own [18, 19] is a self-citation chain, but it is not a circular one: the key imported lemma is a computation, not the paper's main claim, and no equation in the proof is identified with its own output. Consequently, although the paper is not fully self-contained, there is no circular reduction and the circularity score is 0. Any concerns about the sign in the exceptional case (10) are correctness issues, not circularity, and do not change this verdict.

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

No free parameters are fitted to data; gamma and beta are formulas of d and p, and beta ranges over an admissible set with explicit endpoints. The principal unproved inputs are cited differential identities from the authors' previous papers, which is the main reason the correctness risk is medium rather than low.

assumptions (5)
  • domain assumption Carré du champ identity for (i - d e) under heat flow (11), giving the value of gamma in (6).
    Invoked in Lemma 5 and cited to [19, Lemma 4.3] and [18]; not derived in this paper. Theorems 1 and 2 depend on it.
  • domain assumption Admissible range (8) is exactly the range where gamma >= 0, the Bakry-Emery range.
    Justifies Lemma 5 and the sign of gamma inside phi. Taken from [3,18].
  • standard math Heat semigroup on S^d drives e(t) and i(t) to 0 as t goes to infinity for solutions of (11).
    Used in Lemma 7 to eliminate boundary terms; standard on the compact sphere but not proved in the paper.
  • domain assumption Lambda_star(p) > d for p in (2, 2#), with value explicit only at p = 2.
    Input to Theorem 4 via [18, Theorem 2.2]; without it the entropy remainders in Theorem 4 are not quantitative.
  • domain assumption For each p in (14) there is an admissible beta with gamma(beta) >= 0, as characterized in Lemma 13 from [14, Appendix A].
    Underlies the nonlinear flow improvement and Theorem 14 and Corollary 15.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Improved interpolation inequalities and stability." pith.science (2026). https://pith.science/paper/5ARSGVB6

@misc{pith2026190808235,
  author       = {Pith},
  title        = {Pith review of: Improved interpolation inequalities and stability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5ARSGVB6}},
  note         = {Machine review of arXiv:1908.08235}
}
read the original abstract

For exponents in the subcritical range, we revisit some optimal interpolation inequalities on the sphere with carr\'e du champ methods and use the remainder terms to produce improved inequalities. The method provides us with lower estimates of the optimal constants in the symmetry breaking range and stability estimates for the optimal functions. Some of these results can be reformulated in the Euclidean space using the stereographic projection.

Figures

Figures reproduced from arXiv: 1908.08235 by the authors.

Figure 1
Figure 1. The best constant λ 7→ µ(λ) in Inequality (1) for d = 3 and p = 3 is represented by the plain curve (numerical computation). The dashed line is the estimate of Proposition 10 (valid only for λ ≥ 1) and the dotted line is the estimate of Theorem 2. 2 4 6 8 10 0.5 1.0 2 4 6 8 10 12 0.5 1.0 1.5 1 2 3 4 5 6 7 0.5 1.0 1.5 1 2 3 4 5 0.5 1.0 1.5 1 2 3 4 0.5 1.0 1.5 1 2 3 4 0.5 1.0 1.5 [PITH_FULL_IMAGE:figures/full_fig_p02… view at source ↗
Figure 2
Figure 2. The admissible range for d = 1, 2, 3 (first line), and d = 4, 5 and 10 (from left to right), as it is deduced from Lemma 13 using (16): the curves p 7→ m±(p) enclose the admis￾sible range of the exponent m [PITH_FULL_IMAGE:figures/full_fig_p022_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 19 canonical work pages

  1. [19]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, M. Loss, and M. Muratori. Symmetry for extremal func- tions in subcritical Caffarelli–Kohn–Nirenberg inequalities.Comptes Rendus Mathéma- tique, 355(2):133 – 154, 2017. URL http://dx.doi.org/10.1016/j.crma.2017.01.004

    work page doi:10.1016/j.crma.2017.01.004 2017

  2. [1]

    Arnold and J

    A. Arnold and J. Dolbeault. Refined convex Sobolev inequalities.J. Funct. Anal., 225 (2):337–351, 2005. URL http://dx.doi.org/10.1016/j.jfa.2005.05.003

    work page doi:10.1016/j.jfa.2005.05.003 2005

  3. [2]

    Bakry and M

    D. Bakry and M. Émery. Diffusions hypercontractives. In Séminaire de probabil- ités, XIX, 1983/84, volume 1123 ofLecture Notes in Math., pages 177–206. Springer, Berlin, 1985. URL http://dx.doi.org/10.1007/BFb0075847

    doi:10.1007/bfb0075847 1983

  4. [3]

    Bakry and M

    D. Bakry and M. Émery. Inégalités de Sobolev pour un semi-groupe symétrique.C. R. Acad. Sci. Paris Sér. I Math., 301(8):411–413, 1985. ISSN 0249-6291

    work page 1985

  5. [4]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux. Analysis and geometry of Markov diffusion operators, volume 348 ofGrundlehren der Mathematischen Wissenschaften [Fun- damental Principles of Mathematical Sciences]. Springer, Cham, 2014. URL https://dx.doi.org/10.1007/978-3-319-00227-9

    doi:10.1007/978-3-319-00227-9 2014

  6. [5]

    W. Beckner. Sharp Sobolev inequalities on the sphere and the Moser-Trudinger in- equality. Ann. of Math. (2), 138(1):213–242, 1993. URL http://dx.doi.org/10.2307/ 2946638

    work page 1993

  7. [6]

    Bianchi and H

    G. Bianchi and H. Egnell. A note on the Sobolev inequality.J. Funct. Anal., 100(1): 18–24, 1991. URL https://dx.doi.org/10.1016/0022-1236(91)90099-Q

    doi:10.1016/0022-1236(91)90099-q 1991

  8. [7]

    Bidaut-Véron and L

    M.-F. Bidaut-Véron and L. Véron. Nonlinear elliptic equations on compact Riemannian manifolds and asymptotics of Emden equations.Invent. Math., 106(3):489–539, 1991. URL http://dx.doi.org/10.1007/BF01243922

    work page doi:10.1007/bf01243922 1991

Show all 22 references
  1. [8]

    M. J. Cáceres, J. A. Carrillo, and J. Dolbeault. Nonlinear stability inLp for a confined system of charged particles.SIAM J. Math. Anal., 34(2):478–494 (electronic), 2002. URL http://dx.doi.org/10.1137/S0036141001398435

    2002 doi

  2. [9]

    J. Demange. Improved Gagliardo-Nirenberg-Sobolev inequalities on manifolds with positive curvature. J. Funct. Anal., 254(3):593–611, 2008. URL https://doi.org/10. 1016/j.jfa.2007.01.017

    2008

  3. [10]

    Dolbeault and X

    J. Dolbeault and X. Li. Φ-Entropies: convexity, coercivity and hypocoercivity for Fokker-Planck and kinetic Fokker-Planck equations.Mathematical Models and Meth- ods in Applied Sciences, 28(13):2637–2666, 2018. URL https://doi.org/10.1142/ S0218202518500574

    2018

  4. [11]

    Dolbeault and G

    J. Dolbeault and G. Toscani. Stability results for logarithmic Sobolev and Gagliardo- Nirenberg inequalities. Int. Math. Res. Not. IMRN, 2016(2):473–498, 2016. URL http://dx.doi.org/10.1093/imrn/rnv131

    2016 doi

  5. [12]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, M. Kowalczyk, and M. Loss. Sharp interpolation inequal- ities on the sphere: New methods and consequences.Chinese Annals of Mathematics, Series B, 34(1):99–112, 2013. URL http://dx.doi.org/10.1007/s11401-012-0756-6

    2013 doi

  6. [13]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, A. Laptev, and M. Loss. Spectral properties of Schrödinger operators on compact manifolds: Rigidity, flows, interpolation and spec- Improved interpolation inequalities and stability 21 tral estimates. Comptes Rendus Mathématique, 351(11–12):437 – 4...

    2013 doi

  7. [14]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, M. Kowalczyk, and M. Loss. Improved interpolation in- equalities on the sphere.Discrete and Continuous Dynamical Systems Series S (DCDS- S), 7(4):695–724, August 2014. URL http://dx.doi.org/10.3934/dcdss.2014.7.695

    2014 doi

  8. [15]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, and A. Laptev. Spectral estimates on the sphere.Analysis & PDE, 7(2):435–460, 2014. URL https://doi.org/10.2140/apde.2014.7.435

    2014 doi

  9. [16]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, and M. Loss. Nonlinear flows and rigidity results on compact manifolds. Journal of Functional Analysis, 267(5):1338 – 1363, 2014. URL http://dx.doi.org/10.1016/j.jfa.2014.05.021

    2014 doi

  10. [17]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, and M. Loss. Interpolation inequalities, nonlinear flows, boundary terms, optimality and linearization.Journal of elliptic and parabolic equa- tions, 2:267–295, 2016. URL http://dx.doi.org/10.1007/BF03377405

    2016 doi

  11. [18]

    Dolbeault, M

    J. Dolbeault, M. J. Esteban, and M. Loss. Interpolation inequalities on the sphere: linear vs. nonlinear flows (inégalités d’interpolation sur la sphère : flots non-linéaires vs. flots linéaires). Annales de la faculté des sciences de Toulouse Sér. 6, 26(2):351–379,

  12. [20]

    C. E. Mueller and F. B. Weissler. Hypercontractivity for the heat semigroup for ultras- pherical polynomials and on then-sphere. J. Funct. Anal., 48(2):252–283, 1982. URL https://dx.doi.org/10.1016/0022-1236(82)90069-6

    1982 doi

  13. [21]

    Unterreiter, A

    A. Unterreiter, A. Arnold, P. Markowich, and G. Toscani. On generalized Csiszár- Kullback inequalities. Monatsh. Math., 131(3):235–253, 2000. URL http://dx.doi.org/ 10.1007/s006050070013. 22 J. Dolbeault & M.J. Esteban Figures 0.5 1.0 1.5 2.0 2.5 3.0 0.5 1.0 1.5 2.0 2.5 3.0 Fi...

    doi

  14. [2017]

    URL http://dx.doi.org/10.5802/afst.1536

    doi

Pith tools

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