REVIEW 1 major objections 5 minor 2 cited by
Sharp Quantitative Stability for the Affine \(p\)-Sobolev Inequality, Part I: The Case \(2\le p<n\)
T0 review · 1 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read For 2 ≤ p < n, the affine p-Sobolev inequality is quantitatively stable: the normalized deficit controls the distance to the affine extremal manifold to the power p, and this exponent cannot be improved.
desk verdict Sharp affine p-Sobolev stability, likely true and locally solid, but Lemma 4.1's indexing and the uniform decoupling (4.6) need repair before the global step is airtight. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is the second variation of the affine energy E at the normalized bubble U. The affine energy is a negative mean over directions ξ of directional L^p energies, so its Hessian splits as the classical Sobolev Hessian minus a variance term R_p that measures how much the directional linear responses L_ξ(ϕ) fluctuate over the sphere. A spherical harmonic decomposition and a standard angle-averaging identity show that R_p affects only the even angular sectors; in the degree-two sector it cancels the positive classical contribution exactly, creating the new zero directions x·B∇U for trace-free symmetric matrices B. The kernel of the affine Hessian is thereby identified as the tangent spac
What would settle it
Take two copies of the bubble U placed at distance R apart, u_R(x) = U(x - R e_1) + U(x + R e_1), and compute the directional energies A_ξ(u_R) for ξ nearly perpendicular to e_1 as R grows. If the coupling between the two bubbles in such directions does not vanish uniformly in ξ, the key decoupling step (4.6) fails and the global argument would need a different proof; if it does vanish uniformly, one can test the exponent-p inequality directly on these sequences.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for 2 ≤ p < n there exists a constant c_{n,p} > 0 such that every nonzero u ∈ W^{1,p}(R^n) satisfies E(u)/(S_{n,p}‖u‖_{L^{p*}}) − 1 ≥ c_{n,p} · [inf_{a∈R, A∈SL(n), λ>0, x₀∈R^n} ‖∇(T_{λA,x₀}u − aU)‖_{L^p}/‖∇(T_{λA,x₀}u)‖_{L^p}]^p. The infimum measures, after optimal affine normalization, the gradient distance from u to the manifold M_aff of affine images of the bubble U. Thus near-extremizers of the affine Sobolev inequality are quantitatively close to M_aff at order p, and the exponent p is optimal: no α < p can replace it. The proof also establishes that the kernel of the affine Hessian at U is exactly the tangent space of M_aff, which is strictly larger th
Load-bearing premise
The proof depends on the claim that when a near-extremizing sequence is split into separate bumps, the total energy in every direction is essentially the sum of the energies of the bumps, with an error uniformly small over all directions; this uniformity is asserted by a compactness argument but not proved in detail near the most degenerate directions.
Editorial extensions
If this is right
- Near-extremizers with vanishing affine deficit converge, after affine renormalization and scaling, to an affine image of the bubble U.
- The distance-to-extremals deficit controls the gradient distance to M_aff with power p, and no smaller power works.
- The zero-directions of the affine second variation are exactly the infinitesimal affine reparametrizations of the bubble — the full tangent space of M_aff.
- The local spectral-gap estimate is the quantitative content behind the stability inequality, so the proof reduces the global problem to a compactness statement.
Reading between the lines
- If the uniform directional decoupling in (4.6) is made fully rigorous — the paper only sketches it — the same global argument would likely extend the stability theorem to endpoint cases or to related affine-invariant inequalities where the negative-mean structure appears.
- The explicit ratio identity for the angle-averaging coefficients suggests a closed formula for the constants in the spectral gap; computing c_{n,p} explicitly would make the stability bound quantitative rather than existential.
- The restriction p ≥ 2 is used in the convexity inequality and the sign of the variance correction; a natural test is whether the same stability statement, with perhaps a different exponent, holds for 1 < p < 2.
- The construction testing optimality with distant translated bumps indicates that the sharp exponent is driven by 'splitting' a bubble off into the far field; a similar phenomenon might occur for fractional affine Sobolev stability, where the Hilbertian case p = 2 is already understood.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a sharp quantitative stability estimate for the affine L^p-Sobolev inequality of Lutwak--Yang--Zhang for 2≤p<n. For every nonzero u∈Ẇ^{1,p}(R^n), the affine-Sobolev deficit controls the p-th power of the Ẇ^{1,p}-distance to the full affine extremal manifold M_aff, and the exponent p is shown to be optimal. The proof combines a local second-variation analysis of the affine energy, a spectral-gap result for the affine Hessian whose kernel is enlarged by trace-free degree-two modes, and a global compactness argument based on profile decomposition after a John-ellipsoid normalization. The sharpness is tested on translated bumps.
Significance. If correct, this is the first sharp gradient-type stability theorem for the affine Sobolev inequality, with the optimal exponent p. It extends the classical Figalli--Zhang theory to the SL(n)-invariant affine setting and identifies explicitly the enlarged extremal manifold. The paper is substantial: it contains a detailed second-variation computation, a Funk--Hecke/Saalschütz evaluation of the spectral coefficients, a calibration identity for the degree-two sector, and a self-contained sharpness construction. The overall architecture is sound, and the main unresolved point is a uniformity issue in the directional profile decomposition used in the global compactness step.
major comments (1)
- [§4, Eq. (4.6)] The directional decoupling A_ξ(u_k)=Σ_j A_ξ(W_j)+A_ξ(r_k^F)+o_k(1) uniformly in ξ is load-bearing for the no-splitting step and is not proved. The stated derivation applies the usual gradient decoupling to M_{ξ,η}=P_ξ+η(I-P_ξ) and lets η↓0, claiming uniformity 'by compactness of S^{n-1}'. This is insufficient: for each fixed invertible M the decoupling error depends on the condition number of M, which degenerates as η→0 at the equator, and no uniform-in-(ξ,η) estimate is supplied. If (4.6) fails, the chain (4.7) and the exclusion of multi-bubble splitting collapse. A repair appears plausible: prove pointwise-in-ξ decoupling using standard directional profile decomposition, then use the uniform Lipschitz bound |A_ξ(v)-A_η(v)|≤C∥∇v∥_p^p |ξ-η| to pass to uniformity in ξ. The manuscript should either provide this argument or a different honest proof of (4.6).
minor comments (5)
- [§4, proof of Lemma 4.2] Typo: 'hlod' should be 'hold'.
- [§3.2] The notation eε_j = ε_j λ_j is introduced but never used after (3.24); consider simplifying the normalization step.
- [§4, proof of Proposition 4.1] The sentence 'Then, by (2.8) yields' is ungrammatical; the reference to (2.8) in (4.12) should be clarified.
- [§4.1, sharpness proof] The expression 'cbδaff,p(uε,R)' in (4.21) mixes notations; clarify the role of c and the subscript p.
- [References] Reference [17] is given only as 'arXiv preprint'; provide a full arXiv number or journal data if available.
Circularity Check
No significant circularity: the central derivation is self-contained; the only self-citation is a non-load-bearing analogy, and the flagged (4.6) uniformity issue is an analytic gap, not a circular step.
full rationale
The proof chain is independent of the desired conclusion. The local stability estimate rests on the external one-directional expansion of Figalli–Zhang [20], the classical Sobolev Hessian [19,20,37], and explicit Funk–Hecke/Saalschütz computations; the affine kernel is verified by invariance (5.26) and sector-by-sector estimates, not assumed. The global compactness step uses the external equality classification of Lutwak–Yang–Zhang [33] and standard profile decomposition; no fitted parameter is renamed as a prediction, and the optimal-exponent test uses an explicit translated-bump family. The only self-citation, [17], is used as an analogy ('parallel to the affine fractional Hilbertian case') and as background, never as a load-bearing input, so it does not generate circularity. The one substantive concern is the proof of (4.6), where uniform directional decoupling is asserted after 'letting η↓0' and 'by compactness of S^{n-1}'; this is a possible omitted uniformity argument near the singular projector, but it is an analytic gap about profile decomposition, not a reduction of the theorem to its inputs. Accordingly, no circular step can be exhibited, and the manuscript is best assessed as essentially self-contained with a minor non-load-bearing self-citation.
Assumptions & free parameters
assumptions (6)
- domain assumption Equality classification for the affine L^p-Sobolev inequality: E(u)^p = S^p_{n,p}‖u‖^p_{L^{p*}} forces u ∈ M_aff (affine image of a Talenti bubble) [33].
- domain assumption One-directional pointwise nonlinear expansion (2.18): A_ξ(U+εφ) ≥ A_0 + εL_ξ(φ) + ε²(1−κ*)B_{ξ,ε}(φ) + c_{κ*}ε^p A_ξ(φ) [20, Lemma 2.1(ii)].
- standard math L^{p*} expansion of the Sobolev norm (2.23) [19, Lemma 3.2] and compact weighted embedding (3.1) H_U ↪↪ L²(U^{p*−2}dx) [19, Cor. 6.2] / [20, Prop. 3.2].
- standard math Classical nondegeneracy of the critical p-Laplace bubble: ker Q_Sob,p = span{U, Z_0, ∂_{x1}U, ..., ∂_{xn}U} [19,20,37].
- standard math John's ellipsoid theorem (existence of E with E ⊂ K_u ⊂ √n E) [38, Thm 10.12.2].
- domain assumption Hardy-type weighted estimates for the bubble U used in Lemma 3.1: ∫|U'|^{p−2}(|f'|² + λ_ℓ f²/r²)r^{n−1} and ∫|U'|^{p−2}(|(ah)'|² + ...) are controlled by ∫U^{p*−2}f² plus the form value (eqs. (3.3), (3.7)).
Cite this review
Pith. "Pith review of Sharp Quantitative Stability for the Affine \(p\)-Sobolev Inequality, Part I: The Case \(2\le p<n\)." pith.science (2026). https://pith.science/paper/3IFLZ6H4
@misc{pith2026260609555,
author = {Pith},
title = {Pith review of: Sharp Quantitative Stability for the Affine \(p\)-Sobolev Inequality, Part I: The Case \(2\le p<n\)},
year = {2026},
howpublished = {\url{https://pith.science/paper/3IFLZ6H4}},
note = {Machine review of arXiv:2606.09555}
}
abstract
We prove a sharp quantitative stability result for the affine \(L^p\)-Sobolev inequality, for \(p\ge2\), introduced by Lutwak--Yang--Zhang (\emph{J. Differential Geom.}, \textbf{62} (2002), 17--38). Moreover, the stability exponent is shown to be optimal, and equal to \(p\).
Forward citations
Cited by 2 Pith papers
-
Sharp Gradient Stability for the Sobolev Trace Inequality
The Sobolev trace deficit controls the max{2,p}-th power of the gradient distance to the trace-bubble manifold for all 1<p<n.
-
Stability for the Affine Sobolev Inequality and its Critical Points for $p\ge 2$
Sharp stability estimates with optimal exponents are established for the affine Sobolev inequality and its critical points for p≥2, including a new affine spectral gap inequality.
Reference graph
Works this paper leans on
-
[1]
G. E. Andrews, R. Askey and R. Roy,Special functions, vol. 71 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1999,
1999
-
[2]
Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J
T. Aubin, Probl` emes isop´ erim´ etriques et espaces de Sobolev,J. Differential Geometry,11(1976), 573–598,
1976
-
[3]
Bianchi and H
G. Bianchi and H. Egnell, A note on the Sobolev inequality,J. Funct. Anal.,100(1991), 18–24,
1991
-
[4]
Br´ ezis and E
H. Br´ ezis and E. Lieb, A relation between pointwise convergence of functions and convergence of functionals,Proc. Amer. Math. Soc.,88(1983), 486–490,
1983
-
[5]
Brezis and E
H. Brezis and E. H. Lieb, Sobolev inequalities with remainder terms,J. Funct. Anal.,62(1985), 73–86,
1985
-
[6]
E. A. Carlen, Stability for the logarithmic Hardy-Littlewood-Sobolev inequality with application to the Keller-Segel equation,J. Funct. Anal.,288(2025), Paper No. 110818, 27,
2025
-
[7]
E. A. Carlen and A. Figalli, Stability for a GNS inequality and the log-HLS inequality, with application to the critical mass Keller-Segel equation,Duke Math. J.,162(2013), 579–625,
2013
-
[8]
L. Chen, G. Lu and H. Tang, Stability of Hardy-Littlewood-Sobolev inequalities with explicit lower bounds,Adv. Math.,450(2024), Paper No. 109778, 28,
2024
Show all 47 references
-
[9]
L. Chen, G. Lu and H. Tang, Optimal asymptotic lower bound for stability of fractional Sobolev inequality and the global stability of log-Sobolev inequality on the sphere,Adv. Math.,479(2025), Paper No. 110438, 32,
2025
-
[10]
S. Chen, R. L. Frank and T. Weth, Remainder terms in the fractional Sobolev inequality,Indiana Univ. Math. J.,62(2013), 1381–1397,
2013
-
[11]
Cianchi, N
A. Cianchi, N. Fusco, F. Maggi and A. Pratelli, The sharp Sobolev inequality in quantitative form, J. Eur. Math. Soc. (JEMS),11(2009), 1105–1139,
2009
-
[12]
Cianchi, E
A. Cianchi, E. Lutwak, D. Yang and G. Zhang, Affine Moser-Trudinger and Morrey-Sobolev inequalities,Calc. Var. Partial Differential Equations,36(2009), 419–436,
2009
-
[13]
Dai and Y
F. Dai and Y. Xu,Approximation theory and harmonic analysis on spheres and balls, Springer Monographs in Mathematics, Springer, New York, 2013,
2013
-
[14]
P. L. De N´ apoli, J. Haddad, C. H. Jim´ enez and M. Montenegro, The sharp affineL2 Sobolev trace inequality and variants,Math. Ann.,370(2018), 287–308,
2018
-
[15]
Dolbeault, M
J. Dolbeault, M. J. Esteban, A. Figalli, R. L. Frank and M. Loss, Sharp stability for Sobolev and log-Sobolev inequalities, with optimal dimensional dependence,Camb. J. Math.,13(2025), 359–430,
2025
-
[16]
Erd´ elyi, W
A. Erd´ elyi, W. Magnus, F. Oberhettinger and F. G. Tricomi,Higher transcendental functions. Vol. II, Robert E. Krieger Publishing Co., Inc., Melbourne, FL, 1981, Based on notes left by Harry Bateman, Reprint of the 1953 original
1981
-
[17]
Fan, G.-D
S. Fan, G.-D. Li and J. Zhang, Sharp stability for the affine fractional sobolev inequality,arXiv preprint. 34 S. F AN, G-D. LI, AND J. J. ZHANG
-
[18]
Figalli, F
A. Figalli, F. Maggi and A. Pratelli, Sharp stability theorems for the anisotropic Sobolev and log-Sobolev inequalities on functions of bounded variation,Adv. Math.,242(2013), 80–101,
2013
-
[19]
Figalli and R
A. Figalli and R. Neumayer, Gradient stability for the Sobolev inequality: the casep≥2,J. Eur. Math. Soc. (JEMS),21(2019), 319–354,
2019
-
[20]
Figalli and Y
A. Figalli and Y. R.-Y. Zhang, Sharp gradient stability for the Sobolev inequality,Duke Math. J., 171(2022), 2407–2459,
2022
-
[21]
Fusco, F
N. Fusco, F. Maggi and A. Pratelli, The sharp quantitative Sobolev inequality for functions of bounded variation,J. Funct. Anal.,244(2007), 315–341,
2007
-
[22]
Haberl and F
C. Haberl and F. E. Schuster, Asymmetric affineL p Sobolev inequalities,J. Funct. Anal.,257 (2009), 641–658,
2009
-
[23]
Haberl, F
C. Haberl, F. E. Schuster and J. Xiao, An asymmetric affine P´ olya-Szeg¨ o principle,Math. Ann., 352(2012), 517–542,
2012
-
[24]
Haddad, C
J. Haddad, C. H. Jim´ enez and M. Montenegro, Sharp affine Sobolev type inequalities via theL p Busemann-Petty centroid inequality,J. Funct. Anal.,271(2016), 454–473,
2016
-
[25]
Haddad, C
J. Haddad, C. H. Jim´ enez and M. Montenegro, Sharp affine weightedLp Sobolev type inequalities, Trans. Amer. Math. Soc.,372(2019), 2753–2776,
2019
-
[26]
Haddad and M
J. Haddad and M. Ludwig, Affine fractionalL p Sobolev inequalities,Math. Ann.,388(2024), 1091–1115,
2024
-
[27]
P. T. Ho, A note on the Sobolev trace inequality,Proc. Amer. Math. Soc.,150(2022), 1257–1267
2022
-
[28]
Jaffard, Analysis of the lack of compactness in the critical Sobolev embeddings,J
S. Jaffard, Analysis of the lack of compactness in the critical Sobolev embeddings,J. Funct. Anal., 161(1999), 384–396,
1999
-
[29]
K¨ onig, On the sharp constant in the Bianchi-Egnell stability inequality,Bull
T. K¨ onig, On the sharp constant in the Bianchi-Egnell stability inequality,Bull. Lond. Math. Soc., 55(2023), 2070–2075,
2023
-
[30]
Lions, The concentration-compactness principle in the calculus of variations
P.-L. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case. I,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,1(1984), 109–145,
1984
-
[31]
Lions, The concentration-compactness principle in the calculus of variations
P.-L. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case. II,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,1(1984), 223–283,
1984
-
[32]
Lutwak, D
E. Lutwak, D. Yang and G. Zhang,L p affine isoperimetric inequalities,J. Differential Geom.,56 (2000), 111–132,
2000
-
[33]
Lutwak, D
E. Lutwak, D. Yang and G. Zhang, Sharp affineL p Sobolev inequalities,J. Differential Geom.,62 (2002), 17–38,
2002
-
[34]
Neumayer, A note on strong-form stability for the Sobolev inequality,Calc
R. Neumayer, A note on strong-form stability for the Sobolev inequality,Calc. Var. Partial Differential Equations,59(2020), Paper No. 25, 8,
2020
-
[35]
V. H. Nguyen, New approach to the affine P´ olya-Szeg¨ o principle and the stability version of the affine Sobolev inequality,Adv. Math.,302(2016), 1080–1110,
2016
-
[36]
V. H. Nguyen, The sharp Gagliardo-Nirenberg-Sobolev inequality in quantitative form,J. Funct. Anal.,277(2019), 2179–2208,
2019
-
[37]
Pistoia and G
A. Pistoia and G. Vaira, Nondegeneracy of the bubble for the criticalp-Laplace equation,Proc. Roy. Soc. Edinburgh Sect. A,151(2021), 151–168,
2021
-
[38]
Schneider,Convex bodies: the Brunn-Minkowski theory, vol
R. Schneider,Convex bodies: the Brunn-Minkowski theory, vol. 151 of Encyclopedia of Mathematics and its Applications, expanded edition, Cambridge University Press, Cambridge, 2014
2014
-
[39]
Seuffert, A stability result for a family of sharp gagliardo-nirenberg inequalities,arXiv preprint arXiv:1610.06869
F. Seuffert, A stability result for a family of sharp gagliardo-nirenberg inequalities,arXiv preprint arXiv:1610.06869
-
[40]
Solimini, A note on compactness-type properties with respect to Lorentz norms of bounded subsets of a Sobolev space,Ann
S. Solimini, A note on compactness-type properties with respect to Lorentz norms of bounded subsets of a Sobolev space,Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire,12(1995), 319–337,
1995
-
[41]
Struwe, A global compactness result for elliptic boundary value problems involving limiting nonlinearities,Math
M. Struwe, A global compactness result for elliptic boundary value problems involving limiting nonlinearities,Math. Z.,187(1984), 511–517,
1984
-
[42]
Talenti, Best constant in Sobolev inequality,Ann
G. Talenti, Best constant in Sobolev inequality,Ann. Mat. Pura Appl. (4),110(1976), 353–372,
1976
-
[43]
Wang, The affine Sobolev-Zhang inequality onBV(R n),Adv
T. Wang, The affine Sobolev-Zhang inequality onBV(R n),Adv. Math.,230(2012), 2457–2473,
2012
-
[44]
Wang, The affine P´ olya-Szeg¨ o principle: equality cases and stability,J
T. Wang, The affine P´ olya-Szeg¨ o principle: equality cases and stability,J. Funct. Anal.,265(2013), 1728–1748,
2013
-
[45]
Zhang and X
C. Zhang and X. Zhang, Stability estimates for Gagliardo-Nirenberg-Sobolev inequality,Math. Ann.,392(2025), 5235–5273, STABILITY FOR AFFINE SOBOLEV INEQUALITY 35
2025
-
[46]
Zhang, The affine Sobolev inequality,J
G. Zhang, The affine Sobolev inequality,J. Differential Geom.,53(1999), 183–202,
1999
-
[47]
Zhang, Y
Y. Zhang, Y. Zhou and W. Zou, Sharp quantitative stability for the fractional Sobolev trace inequality,Math. Z.,310(2025), Paper No. 90, 45, (S. Fan) School of Mathematics and Statistics Guizhou University Guiyang, 550025, Guizhou, PR China Email address:doraemonsong77@gmail.c...
2025
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.