REVIEW 1 major objections 6 minor 1 cited by
Sharp Gradient Stability for the Sobolev Trace Inequality
T0 review · 1 major / 6 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read This paper proves that near-equality in the Sobolev trace inequality forces closeness to trace bubbles in gradient norm, with the optimal power max{2,p}.
desk verdict Genuinely new sharp trace stability result, but the proof has a load-bearing gap: Lemma 3.19 does not rule out a zero eigenvalue, and Proposition 3.15 relies on invertibility. 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 central object is the linearized weighted boundary eigenvalue problem ∫ A_v ∇φ·∇ψ dx = μ ∫ |v|^{p*-2} φψ dy, where A_v = |∇v|^{p-2}(I + (p-2) ∇v/|∇v| ⊗ ∇v/|∇v|) is the linearization matrix of the p-Laplacian. The spectral nondegeneracy assertion — the first two eigenspaces are exactly the tangent modes of the bubble manifold — supplies a positive spectral gap on the tangent-orthogonal complement. The proof transforms the half-space to a ball, decomposes the eigenfunction into angular sectors, reduces the axisymmetric sector, via an integration-by-parts identity with the dilation derivative, to a sharp one-dimensional inequality, and then analyzes the spectrum of that one-dimensional oper
What would settle it
For fixed n≥3 and p in (1,n), compute the discrete spectrum of the one-dimensional operator with the explicit weights appearing in the paper, below the threshold p + (n-1)^2/(4(p-1)). If any eigenvalue equals 0 besides the eigenfunctions already identified, or if the number of negative eigenvalues is not exactly one, then the classification of the second eigenspace, and hence Theorem 1.1, is not established.
Extended reading notes
Core claim
The central assertion is Theorem 1.1: for n≥3 and 1<p<n there exists c(n,p)>0 such that every u with nonzero trace satisfies δ_T(u) ≥ c d_T(u,M_T)^{max{2,p}}. Here δ_T is the deficit of the sharp trace inequality and d_T is the normalized gradient distance to the manifold of trace bubbles. The paper proves the exponent is optimal and identifies the mechanism: the second variation around every positive trace bubble is coercive on the tangent-orthogonal complement, because the first two eigenspaces of the linearized weighted boundary eigenvalue problem are exactly the amplitude, dilation, and tangential translation modes. With this spectral gap in hand, the proof uses exact remainder estimates
Load-bearing premise
The stability estimate rests on the claim that a certain one-dimensional operator has exactly one negative eigenvalue and no zero eigenvalue; the paper exhibits two eigenfunctions with opposite-sign eigenvalues but does not explicitly rule out a zero eigenvalue appearing later among the discrete eigenvalues before the inverse of the operator is used.
Editorial extensions
If this is right
- For every p in (1,n), near-equality sequences in the Sobolev trace inequality converge to the trace-bubble manifold in the W^{1,p} gradient norm.
- The gradient distance is controlled with the sharp power: squared for p≤2 and p-th power for p≥2; no smaller exponent can work.
- The spectral nondegeneracy theorem gives quantitative coercivity of the second variation around every positive trace bubble, a standard ingredient for stability of critical points and bubble decompositions.
- The trace-setting exponent matches the whole-space gradient stability exponent, so the two sharp Sobolev stability results are consistent in form.
Reading between the lines
- Editorial inference: the sector decomposition plus one-dimensional reduction may transfer to other non-radially symmetric weighted boundary eigenvalue problems where full separation of variables fails.
- Editorial inference: a direct numerical spectrum computation of the one-dimensional operator would settle the residual zero-eigenvalue question; the weights are explicit, so this is feasible for fixed n and p.
- Editorial inference: if the sharp gradient exponent transfers through the known reduction for fractional trace inequalities, the same max{2,p} power would be expected there; that is a testable extension, not a claim of this paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1.1: for every n≥3 and 1<p<n, the Sobolev trace deficit δ_T(u) controls the max{2,p}-th power of the gradient distance d_T(u,M_T) to the trace-bubble manifold, with the exponent sharp. The proof combines a spectral nondegeneracy theorem for the linearized weighted Steklov problem at a trace bubble with a nonlinear Taylor-remainder analysis in the spirit of Figalli–Zhang. The spectral part is reduced by a conformal transformation to a weighted problem on a ball, decomposed into spherical-harmonic sectors; the axisymmetric sector is handled by a Pohozaev identity and a singular Sturm–Liouville analysis.
Significance. If the result holds, it closes the full-range sharp gradient stability question for the classical Sobolev trace inequality, extending the whole-space theorem of Figalli–Zhang and the p=2 theorem of Ho. The paper is technically substantial: it proves a weighted compact trace embedding, identifies the first two eigenspaces of the linearized Steklov problem in a setting without full radial symmetry, and treats the ranges p<2 and p≥2 with exact remainder estimates. The sharpness examples are explicit. The potential gap in Lemma 3.19 flagged by the stress test does not land: because g has exactly one interior zero, Lemma 3.17 identifies it as the second eigenfunction below Λ*, so δ2>0 is the second eigenvalue; any later eigenvalue is larger than δ2, ruling out a zero eigenvalue. Thus the invertibility of L on the relevant subspace is justified.
major comments (1)
- [Lemma 3.19, Step 4] The concern that a zero eigenvalue could occur as a later discrete eigenvalue below Λ* is unfounded. The function g is shown to have exactly one interior zero and δ2<Λ*. By Lemma 3.17(2), the i-th eigenfunction below Λ* has exactly i−1 interior zeros, so g must be the second eigenfunction. Therefore δ2 is the second eigenvalue, and any subsequent eigenvalue satisfies δ3≥δ2>0. A zero eigenvalue would have to lie between δ1 and δ2, which is impossible. Consequently the use of invertibility of L and boundedness of L_+^{-1} in Proposition 3.15 is justified.
minor comments (6)
- [Section 2.1] The notation for the two critical exponents is inconsistent: the text uses p∗ and p ∗ in a way that is visually confusable. Since the interior Sobolev exponent and the trace exponent play very different roles, please use unambiguous symbols such as p^* and p_* throughout.
- [Abstract and Section 1] The symbol Ẋ^{1,p}(R^n_+) appears in the abstract and Theorem 1.1; this appears to be a typo for the homogeneous Sobolev space \dot W^{1,p}(R^n_+). Please correct it.
- [Remark 1.2] The optimality example with the diagonal matrix A_i = diag(1,...,1,1+1/i) should specify more explicitly how A_i acts on the half-space variables, and the choice of the sequence ε_i with v(x_i)≪ε_i≪1 should be spelled out. The argument is clear, but a few more details would improve readability.
- [Section 3.2.5] The symbol Q is used both for the quadratic form Q[f] and for the coefficient function Q(t)=-pN(t)ρ(t) in equations (3.47)–(3.51). This is confusing; please use a different letter, e.g. q(t), for the potential coefficient.
- [Lemma 3.19, Step 2] The verification that the coefficients C_1 and C_2 vanish after substituting m=m_*, c=c_*, δ=δ_2 is asserted rather than displayed. A short factorization of C_1 and C_2 (or a remark that the computation is a direct symbolic simplification) would make the proof easier to check.
- [Section 5, Claim 5.4] The assertion that choosing v∈M_T with ||∇v||_{L^p}≤2||∇u||_{L^p} gives a universal upper bound on d_T(u,M_T) is slightly misleading; the needed bound d_T≤C follows more directly from taking bubbles with arbitrarily small amplitude. Please adjust the wording.
Circularity Check
No significant circularity: the main theorem is derived from standard equality-case inputs plus an independent spectral and remainder analysis; the flagged Lemma 3.19 concern is a proof gap, not circularity.
full rationale
The derivation chain for Theorem 1.1 is not circular. The equality-case characterization of the trace-bubble manifold is an input, cited to [14, 30, 29, 40]; although [40] is a self-citation, the same classification is recorded in the external reference [29], so the central premise does not rest solely on the authors' own prior work. The spectral nondegeneracy result (Theorem 2.2) is proved in Section 3 by an independent argument: conformal reduction to a ball, spherical-harmonic sector decomposition, explicit eigenfunctions h0 and h1, Pohozaev-type identities, and singular Sturm–Liouville theory. Proposition 3.15 uses the identity L b0 = -1 and the spectral information from Lemma 3.19; these are internal computations, not assumptions of Theorem 1.1. The nonlinear spectral gap in Section 4 adapts the Taylor-remainder strategy of [19], but the compactness lemma, orthogonality modulation, and the three-case remainder estimates are proved in the paper rather than assumed. No parameter is fitted to the target deficit, and no 'prediction' is equal by construction to an input. The possible gap in Lemma 3.19—that two eigenfunctions below the essential-spectrum threshold do not by themselves exclude a later zero eigenvalue—is a correctness concern about the completeness of the eigenvalue exclusion; it is not a circular reduction, because the zero-eigenvalue exclusion is asserted, not derived from the theorem it supports. The self-citations [39] and [40] are contextual or redundantly supported by external references, and do not form a load-bearing self-citation chain. Overall, the paper's central claim has independent mathematical content and is not forced by its definitions or by self-citation.
Assumptions & free parameters
assumptions (5)
- domain assumption Sharp Sobolev trace inequality (2.3) and the classification of extremals M_T (2.8)
- domain assumption Lions concentration–compactness principle in the limit-case trace setting
- standard math Second variation of the minimizer U is nonnegative and gives the first spectral bound (3.6)
- standard math Regularity theory for uniformly elliptic conormal boundary problems
- standard math Singular Sturm–Liouville spectral facts: simplicity and nodal counts below the essential-spectrum threshold
Cite this review
Pith. "Pith review of Sharp Gradient Stability for the Sobolev Trace Inequality." pith.science (2026). https://pith.science/paper/U5X4RA7P
@misc{pith2026260717588,
author = {Pith},
title = {Pith review of: Sharp Gradient Stability for the Sobolev Trace Inequality},
year = {2026},
howpublished = {\url{https://pith.science/paper/U5X4RA7P}},
note = {Machine review of arXiv:2607.17588}
}
abstract
Let \(n\ge3\) and \(1<p<n\). We prove a quantitative stability estimate for the critical Sobolev trace inequality on the upper half-space. More precisely, the Sobolev trace deficit controls the \(\max\{2,p\}\)-th power of the gradient distance to the manifold of trace bubbles. A central part of the proof is the spectral nondegeneracy of the trace bubbles: the first two eigenspaces of the linearized weighted Steklov problem are exactly the amplitude, dilation, and tangential translation modes.
Forward citations
Cited by 1 Pith paper
-
Sharp One-bubble Critical-Point Stability and Global Compactness for the Sobolev Trace Inequality
Near one trace bubble, the Euler-Lagrange residual controls the L^p-gradient distance with sharp power max{1,p-1}, and a Struwe-type compactness decomposition holds.
Reference graph
Works this paper leans on
-
[1]
S. Agmon, A. Douglis, and L. Nirenberg,Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I, Comm. Pure Appl. Math.12(1959), no. 4, 623–727. doi:10.1002/cpa.3160120405
-
[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 Geom.11(1976), no. 4, 573–598. doi:10.4310/jdg/1214433725
arXiv 1976
-
[3]
G. Bianchi and H. Egnell,A note on the Sobolev inequality, J. Funct. Anal.100(1991), no. 1, 18–24. doi:10.1016/0022-1236(91)90046-E
-
[4]
Borthwick,Spectral Theory: Basic Concepts and Applications, Graduate Texts in Mathematics, vol
D. Borthwick,Spectral Theory: Basic Concepts and Applications, Graduate Texts in Mathematics, vol. 284, Springer, Cham, 2020. doi:10.1007/978-3-030-38002-1
-
[5]
H. Brezis and E. H. Lieb,A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc.88(1983), no. 3, 486–490. doi:10.1090/S0002-9939-1983-0699419- 3
-
[6]
Brezis and E
H. Brezis and E. H. Lieb,Sobolev inequalities with remainder terms, J. Funct. Anal.62(1985), no. 1, 73–86
1985
-
[7]
A. Cianchi, N. Fusco, F. Maggi, and A. Pratelli,The sharp Sobolev inequality in quantitative form, J. Eur. Math. Soc.11(2009), no. 5, 1105–1139. doi:10.4171/JEMS/181
-
[8]
Ciraolo, A
G. Ciraolo, A. Figalli, and F. Maggi,A quantitative analysis of metrics onR n with almost constant positive scalar curvature, with applications to fast diffusion flows, Int. Math. Res. Not. IMRN (2018), no. 21, 6780–6797
2018
Show all 41 references
-
[9]
Cordero-Erausquin, B
D. Cordero-Erausquin, B. Nazaret, and C. Villani,A mass-transportation approach to sharp Sobolev and Gagliardo–Nirenberg inequalities, Adv. Math.182(2004), no. 2, 307–332. doi:10.1016/S0001- 8708(03)00080-X
2004 doi
-
[10]
Courant and D
R. Courant and D. Hilbert,Methods of Mathematical Physics, Vol. I, Wiley Classics Library, John Wiley & Sons, New York, 1989
1989
-
[11]
H. L. Cycon, R. G. Froese, W. Kirsch, and B. Simon,Schr¨ odinger Operators: With Application to Quantum Mechanics and Global Geometry, Texts and Monographs in Physics, Springer, Berlin, 1987
1987
-
[12]
Dai and Y
F. Dai and Y. Xu,Approximation Theory and Harmonic Analysis on Spheres and Balls, Springer Monographs in Mathematics, Springer, 2013
2013
-
[13]
B. Deng, L. Sun, and J.-C. Wei,Sharp quantitative estimates of Struwe’s decomposition, Duke Math. J.174(2025), no. 1, 159–228
2025
-
[14]
J. F. Escobar,Sharp constant in a Sobolev trace inequality, Indiana Univ. Math. J.37(1988), no. 3, 687–698. JSTOR 24895334
1988
-
[15]
Figalli and F
A. Figalli and F. Glaudo,On the sharp stability of critical points of the Sobolev inequality, Arch. Ration. Mech. Anal.237(2020), no. 1, 201–258. doi:10.1007/s00205-020-01506-6
2020 doi
- [16]
-
[17]
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. 60 XI-NAN MA, YITIAN ZHANG, AND YANG ZHOU
2013
-
[18]
Figalli and R
A. Figalli and R. Neumayer,Gradient stability for the Sobolev inequality: the casep≥2, J. Eur. Math. Soc.21(2019), no. 2, 319–354. doi:10.4171/JEMS/837
2019 doi
-
[19]
Figalli and Y
A. Figalli and Y. R.-Y. Zhang,Sharp gradient stability for the Sobolev inequality, Duke Math. J.171 (2022), no. 12, 2407–2459. doi:10.1215/00127094-2022-0051
2022 doi
-
[20]
G´ erard,Description du d´ efaut de compacit´ e de l’injection de Sobolev, ESAIM Control Optim
P. G´ erard,Description du d´ efaut de compacit´ e de l’injection de Sobolev, ESAIM Control Optim. Calc. Var.3(1998), 213–233. doi:10.1051/cocv:1998107
1998 doi
-
[21]
P. T. Ho,A note on the Sobolev trace inequality, Proc. Amer. Math. Soc.150(2022), no. 3, 1257–1267
2022
-
[22]
Hu and H
B. Hu and H. M. Yin,The profile near blowup time for solution of the heat equation with a nonlinear boundary condition, Trans. Amer. Math. Soc.346(1994), no. 1, 117–135. doi:10.1090/S0002-9947- 1994-1270664-3
1994 doi
-
[23]
A. D. Ioffe,On lower semicontinuity of integral functionals. I, SIAM J. Control Optim.15(1977), no. 4, 521–538. doi:10.1137/0315035
1977 doi
-
[24]
Kato,Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995
T. Kato,Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995
1995
-
[25]
Lions,The concentration-compactness principle in the calculus of variations
P.-L. Lions,The concentration-compactness principle in the calculus of variations. The limit case. Part 1, Rev. Mat. Iberoam.1(1985), no. 1, 145–201. doi:10.4171/RMI/6
1985 doi
-
[26]
Lions,The concentration-compactness principle in the calculus of variations
P.-L. Lions,The concentration-compactness principle in the calculus of variations. The limit case. Part 2, Rev. Mat. Iberoam.1(1985), no. 2, 45–121. doi:10.4171/RMI/12
1985 doi
-
[27]
Lions and E
J.-L. Lions and E. Magenes,Non-Homogeneous Boundary Value Problems and Applications, Vol. I, Grundlehren der mathematischen Wissenschaften, vol. 181, Springer-Verlag, Berlin, 1972
1972
-
[28]
Y. Y. Li and L. Zhang,Liouville-type theorems and Harnack-type inequalities for semilinear elliptic equations, J. Anal. Math.90(2003), 27–87. doi:10.1007/BF02786551
2003 doi
-
[29]
Maggi and R
F. Maggi and R. Neumayer,A bridge between Sobolev and Escobar inequalities and beyond, J. Funct. Anal.273(2017), no. 6, 2070–2106
2017
-
[30]
Nazaret,Best constant in Sobolev trace inequalities on the half-space, Nonlinear Anal.65(2006), no
B. Nazaret,Best constant in Sobolev trace inequalities on the half-space, Nonlinear Anal.65(2006), no. 10, 1977–1985. doi:10.1016/j.na.2005.05.069
2006 doi
-
[31]
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 Equations59(2020), no. 1, Paper No. 25
2020
-
[32]
Ou,Positive harmonic functions on the upper half space satisfying a nonlinear boundary condition, Differential Integral Equations9(1996), no
B. Ou,Positive harmonic functions on the upper half space satisfying a nonlinear boundary condition, Differential Integral Equations9(1996), no. 5, 1157–1164
1996
-
[33]
Palatucci and A
G. Palatucci and A. Pisante,Improved Sobolev embeddings, profile decomposition, and concentration- compactness for fractional Sobolev spaces, Calc. Var. Partial Differential Equations50(2014), no. 3–4, 799–829. doi:10.1007/s00526-013-0656-y
2014 doi
-
[34]
Solimini,A note on compactness-type properties with respect to Lorentz norms of bounded sub- sets of a Sobolev space, Ann
S. Solimini,A note on compactness-type properties with respect to Lorentz norms of bounded sub- sets of a Sobolev space, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire12(1995), no. 3, 319–337. doi:10.1016/S0294-1449(16)30181-0
1995 doi
-
[35]
Struwe,A global compactness result for elliptic boundary value problems involving limiting nonlin- earities, Math
M. Struwe,A global compactness result for elliptic boundary value problems involving limiting nonlin- earities, Math. Z.187(1984), 511–517
1984
-
[36]
Talenti,Best constant in Sobolev inequality, Ann
G. Talenti,Best constant in Sobolev inequality, Ann. Mat. Pura Appl. (4)110(1976), 353–372. doi:10.1007/BF02418013
1976 doi
-
[37]
Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Opera- tors, 2nd ed., Graduate Studies in Mathematics, vol
G. Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Opera- tors, 2nd ed., Graduate Studies in Mathematics, vol. 157, American Mathematical Society, Providence, RI, 2014. doi:10.1090/gsm/157
2014 doi
-
[38]
Tintarev and K.-H
K. Tintarev and K.-H. Fieseler,Concentration Compactness: Functional-Analytic Grounds and Ap- plications, Imperial College Press, London, 2007. doi:10.1142/p128
2007 doi
-
[39]
Zhang, Y
Y. Zhang, Y. Zhou, and W. Zou,Sharp quantitative stability for the fractional Sobolev trace inequality, Math. Z.310(2025), article no. 90. doi:10.1007/s00209-025-03788-6
2025 doi
-
[40]
Zhou,Classification theorem for positive critical points of the Sobolev trace inequality, arXiv preprint arXiv:2402.17602 (2024)
Y. Zhou,Classification theorem for positive critical points of the Sobolev trace inequality, arXiv preprint arXiv:2402.17602 (2024)
2024 arXiv
-
[41]
Zettl,Sturm–Liouville Theory, Mathematical Surveys and Monographs, vol
A. Zettl,Sturm–Liouville Theory, Mathematical Surveys and Monographs, vol. 121, American Math- ematical Society, Providence, RI, 2005. Department of Mathematics, University of Science and Technology of China, Hefei, 230026, Anhui Province, China. Email address:xinan@ustc.edu.c...
2005
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.