Quantitative stability for fractional Hardy inequalities: Rearrangement-free techniques and Emden-Fowler analysis
Pith reviewed 2026-05-20 17:07 UTC · model grok-4.3
The pith
The fractional Hardy deficit is at least the distance to virtual extremals raised to the power max{4, 2p} under weighted normalization.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the normalization integral of |u(x)|^p / |x|^{sp} dx equals one, the deficit delta_{s,p}(u) is comparable from below to (dist_{s,p}(u, Z))^alpha with alpha equal to max{4, 2p}, where Z denotes the family of virtual extremals and the distance is taken in the Marcinkiewicz weak-L^{p_s^*} space. For p equals two an Emden-Fowler change of variables together with pseudo-differential analysis shows the nonlocal deficit coincides with its local counterpart, allowing stability to be read off from the diagonalization of the quadratic form on the cylinder R times S^{N-1}.
What carries the argument
Localized Poincaré-Sobolev inequality combined with rescaling and Lorentz embeddings that decompose the nonlocal energy and bound it by the Marcinkiewicz distance to the virtual extremals.
If this is right
- The same stability estimate holds for the local Hardy inequality when s equals one, with an improved exponent over previous results.
- When p equals two the nonlocal deficit is shown to equal the corresponding local deficit via the Emden-Fowler correspondence.
- A Hardy-Heisenberg-type uncertainty principle holds in the nonlocal fractional setting.
Where Pith is reading between the lines
- The rearrangement-free method may adapt to quantitative stability questions for other nonlocal inequalities such as the fractional Sobolev embedding.
- Numerical tests in low dimensions could check whether the exponent alpha is optimal by constructing near-extremal sequences.
- The reduction for p equals two suggests possible links to spectral theory on cylinders for other quadratic forms with radial weights.
Load-bearing premise
A localized Poincaré-Sobolev inequality together with suitable rescaling and Lorentz embeddings must hold so that the nonlocal energy difference can be controlled by the distance to the virtual extremals.
What would settle it
A sequence of functions normalized so that the weighted integral equals one, with Marcinkiewicz distance to Z tending to zero, yet whose deficit decays faster than any positive power with exponent max{4, 2p}.
read the original abstract
A classical result due to Frank and Seiringer asserts that for $1\leq p<\frac Ns$, there exists a sharp constant $\mathcal{C}_{N,s,p}>0$ such that $$ \delta_{s,p}(u):=\int_{\mathbb{R}^N}\int_{\mathbb{R}^N}\frac{|u(x)-u(y)|^p}{|x-y|^{N+sp}}\,dx\,dy-\mathcal{C}_{N,s,p}\int_{\mathbb{R}^N}\frac{|u(x)|^p}{|x|^{sp}}\,dx\ge0, $$ for all $u\in W^{s,p}(\mathbb{R}^N)$. The optimal constant is explicitly known. We investigate quantitative refinements of this inequality. Our first result shows that, under the normalization $ \int_{\mathbb{R}^N}\frac{|u(x)|^p}{|x|^{sp}}\,dx=1,$ the inequality \[ \delta_{s,p}(u)\gtrsim\bigl(\mathrm{dist}_{s,p}(u,\mathcal{Z})\bigr)^\alpha, \] holds, where $\alpha=\max\{4,2p\}$, $\mathcal{Z}$ denotes the family of ``virtual'' extremals, and the distance is measured in Marcinkiewicz (weak-$L^{p_s^*}$) space. The stability exponent remains constant for $p\le2$, while it depends on $p$ for $p>2$. Our approach is based on a localized Poincar\'e-Sobolev inequality combined with suitable rescaling and Lorentz embeddings. We exploit a decomposition of the nonlocal energy together with Lorentz estimates, which enables us to control the deficit $\delta_{s,p}(u)$ in terms of the distance to $\mathcal{Z}$. The method also applies to the local case $s=1$, the argument is rearrangement-free and the exponent in the stability estimate improves the existing literature. For $p=2$, via an Emden-Fowler correspondence and pseudo-differential operators, we show that the nonlocal Hardy deficit coincides with the local one and obtain quantitative stability on $\mathbb{R}\times\mathbb{S}^{N-1}$ using the diagonalization of the fractional Hardy quadratic form due to Frank, Lieb, and Seiringer. As an application, we establish a Hardy-Heisenberg-type uncertainty principle in the nonlocal setting, which appears to be new in the literature.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes quantitative stability for the fractional Hardy inequality of Frank-Seiringer. Under the normalization ∫ |u(x)|^p / |x|^{sp} dx = 1, the deficit δ_{s,p}(u) satisfies δ_{s,p}(u) ≳ (dist_{s,p}(u, Z))^α with α = max{4, 2p}, where Z denotes the family of virtual extremals and distance is taken in the Marcinkiewicz (weak-L^{p_s^*}) space. The proof proceeds via a localized Poincaré-Sobolev inequality, rescaling, and Lorentz embeddings that decompose the nonlocal energy; for p = 2 an Emden-Fowler change of variables reduces the problem to a local quadratic form on ℝ × S^{N-1} whose diagonalization is known. The method is rearrangement-free, recovers the local case s = 1, and yields a new nonlocal Hardy-Heisenberg uncertainty principle.
Significance. If the claimed lower bound holds with the stated exponent, the result would strengthen the quantitative theory of Hardy inequalities by supplying an explicit stability exponent without rearrangements and by improving the exponent range relative to prior work. The explicit reduction for p = 2 via Emden-Fowler and the resulting uncertainty principle constitute concrete technical contributions.
major comments (1)
- [§4] §4 (rescaling and localized Poincaré-Sobolev step): the argument invokes a localized Poincaré-Sobolev inequality whose constant is asserted to be uniform after rescaling. However, when the test function is concentrated at radii r ≪ 1, the localization radius must shrink proportionally to r; the subsequent Lorentz-space tail estimates then produce constants that may deteriorate with r. No explicit bound independent of the scale parameter is supplied, which is load-bearing for the claimed exponent α = max{4, 2p} holding uniformly for all normalized u.
minor comments (2)
- [Introduction] The precise definition of the Marcinkiewicz distance dist_{s,p}(·, Z) and the family Z of virtual extremals should be stated explicitly (rather than only referenced) in the introduction and in the statement of the main theorem.
- [§5] In the Emden-Fowler section, add a short paragraph clarifying how the pseudo-differential operator arising from the change of variables exactly reproduces the nonlocal deficit, so that the diagonalization result of Frank-Lieb-Seiringer applies directly.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need to confirm scale-independence of constants in the localized estimates of §4. We address the concern directly below.
read point-by-point responses
-
Referee: [§4] §4 (rescaling and localized Poincaré-Sobolev step): the argument invokes a localized Poincaré-Sobolev inequality whose constant is asserted to be uniform after rescaling. However, when the test function is concentrated at radii r ≪ 1, the localization radius must shrink proportionally to r; the subsequent Lorentz-space tail estimates then produce constants that may deteriorate with r. No explicit bound independent of the scale parameter is supplied, which is load-bearing for the claimed exponent α = max{4, 2p} holding uniformly for all normalized u.
Authors: We agree that an explicit verification of uniformity is required. In the rescaling, for a concentration point x0 with |x0| = r ≪ 1 we set v(y) := r^γ u(r y + x0) with γ chosen so that the normalization ∫ |v(y)|^p / |y|^{sp} dy = 1 is preserved. The localized Poincaré-Sobolev inequality is then applied on a ball of unit radius in the y-variable. Because both the fractional Gagliardo seminorm and the weighted L^p term are homogeneous of the same degree under this scaling, the constant in the localized inequality is identical to the one obtained on the unit scale and therefore independent of r. The subsequent Lorentz-space tail estimates rely on the scale-invariance of the weak-L^{p_s^*} quasi-norm together with the specific choice of exponents in the decomposition; these estimates likewise carry constants independent of r. We will insert a short auxiliary lemma (or expanded remark) in §4 that records the explicit scaling factors and confirms the r-independence. This addition strengthens the presentation without changing the overall argument or the claimed exponent α. revision: yes
Circularity Check
No significant circularity; quantitative bound derived from standard embeddings and external diagonalization
full rationale
The paper derives the stability estimate δ_{s,p}(u) ≳ (dist_{s,p}(u,Z))^α from a localized Poincaré-Sobolev inequality, rescaling arguments, and Lorentz embeddings that decompose the nonlocal energy. These are classical tools independent of the target result. For the p=2 case, the Emden-Fowler reduction invokes the diagonalization of the fractional Hardy quadratic form due to Frank, Lieb, and Seiringer (external prior work, not self-citation). No equation or claim reduces by construction to a fitted input, self-defined quantity, or load-bearing self-citation chain. The derivation remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Existence and sharpness of the constant C_{N,s,p} in the Frank-Seiringer inequality
- standard math Validity of Lorentz embeddings and Marcinkiewicz space properties for controlling the deficit
invented entities (1)
-
virtual extremals Z
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our approach is based on a localized Poincaré-Sobolev inequality combined with suitable rescaling and Lorentz embeddings... decomposition of the nonlocal energy together with Lorentz estimates
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
via an Emden–Fowler correspondence and pseudo-differential operators, we show that the nonlocal Hardy deficit coincides with the local one
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Adimurthi, N. Chaudhuri, and M. Ramaswamy,An improved Hardy-Sobolev inequality and its application, Proc. Amer. Math. Soc.130(2002), no. 2, 489–505
work page 2002
-
[2]
Adimurthi, P. Jana, and P. Roy,Boundary fractional Hardy’s inequality in dimension one: the critical case, Commun. Contemp. Math.28(2026), no. 4, Paper No. 2550051, 14
work page 2026
-
[3]
Adimurthi, P. Roy, and V. Sahu,Fractional boundary Hardy inequality for the critical cases, J. Funct. Anal. 290(2026), no. 8, Paper No. 111351
work page 2026
-
[4]
Adimurthi, P. Roy, and V. Sahu,Fractional Hardy inequality with singularity on submanifold, Calc. Var. Partial Differential Equations65(2026), no. 2, Paper No. 62, 40
work page 2026
-
[5]
Adimurthi, P. Roy, and V. Sahu,Boundary Hardy inequality on functions of bounded variation, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) (Mar. 2025), p. 26
work page 2025
-
[6]
K. Akutagawa and H. Kumura,Geometric relative Hardy inequalities and the discrete spectrum of Schr¨ odinger operators on manifolds, Calc. Var. Partial Differential Equations48(2013), no. 1-2, 67–88
work page 2013
-
[7]
W. Ao, A. DelaTorre, and M. del M. Gonz´ alez,Symmetry and symmetry breaking for the fractional Caffarelli- Kohn-Nirenberg inequality, J. Funct. Anal.282(2022), no. 11, Paper No. 109438, 58
work page 2022
-
[8]
K. Bal, K. Mohanta, P. Roy, and F. Sk,Hardy and Poincar´ e inequalities in fractional Orlicz-Sobolev spaces, Nonlinear Anal.216(2022), Paper No. 112697, 22
work page 2022
-
[9]
E. Berchio, D. Ganguly, and G. Grillo,Sharp Poincar´ e-Hardy and Poincar´ e-Rellich inequalities on the hy- perbolic space, J. Funct. Anal.272(2017), no. 4, 1661–1703
work page 2017
-
[10]
E. Berchio, D. Ganguly, G. Grillo, and Y. Pinchover,An optimal improvement for the Hardy inequality on the hyperbolic space and related manifolds, Proc. Roy. Soc. Edinburgh Sect. A150(2020), no. 4, 1699–1736
work page 2020
-
[11]
F. Bianchi, L. Brasco, F. Sk, and A. C. Zagati,A note on the supersolution method for Hardy’s inequality, Rev. Mat. Complut.37(2024), no. 2, 323–340
work page 2024
-
[12]
F. Bianchi, L. Brasco, and A. C. Zagati,On the sharp Hardy inequality in Sobolev-Slobodecki ˘i spaces, Math. Ann.390(2024), no. 1, 493–555
work page 2024
-
[13]
F. Bianchi, G. Stefani, and A. C. Zagati,A geometrical approach to the sharp Hardy inequality in Sobolev- Slobodecki˘i spaces, Nonlinear Anal.263(2026), Paper No. 113948, 22
work page 2026
-
[14]
K. Bogdan and B. Dyda,The best constant in a fractional Hardy inequality, Math. Nachr.284(2011), no. 5-6, 629–638
work page 2011
- [15]
-
[16]
L. Brasco and E. Cinti,On fractional Hardy inequalities in convex sets, Discrete Contin. Dyn. Syst.38(2018), no. 8, 4019–4040
work page 2018
-
[17]
Carron,In´ egalit´ es de Hardy sur les vari´ et´ es riemanniennes non-compactes, J
G. Carron,In´ egalit´ es de Hardy sur les vari´ et´ es riemanniennes non-compactes, J. Math. Pures Appl. (9)76 (1997), no. 10, 883–891
work page 1997
-
[18]
L. Chen, G. Lu, and H. Tang,Sharp stability of log-Sobolev and Moser-Onofri inequalities on the sphere, J. Funct. Anal.285(2023), no. 5, Paper No. 110022, 24
work page 2023
-
[19]
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
work page 2024
-
[20]
L. Chen, G. Lu, and H. Tang,Optimal stability of Hardy-Littlewood-Sobolev and Sobolev inequalities of arbitrary orders with dimension-dependent constants, Math. Ann.394(2026), no. 4, Paper No. 77, 46
work page 2026
-
[21]
Z.-Q. Chen and R. Song,Hardy inequality for censored stable processes, Tohoku Math. J. (2)55(2003), no. 3, 439–450
work page 2003
-
[22]
A. Cianchi and A. Ferone,Hardy inequalities with non-standard remainder terms, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire25(2008), no. 5, 889–906
work page 2008
-
[23]
E. Cinti and F. Prinari,On fractional Hardy-type inequalities in general open sets, ESAIM Control Optim. Calc. Var.30(2024), Paper No. 77, 26
work page 2024
-
[24]
G. Csat´ o and P. Roy,A fractional Hardy-Sobolev inequality of Michael–Simon type on convex hypersurfaces, Math. Ann.395(2026), no. 1, 14
work page 2026
-
[25]
N. De Nitti, F. Glaudo, and T. K¨ onig,Non-degeneracy, stability, and symmetry for the fractional Caffarelli- Kohn-Nirenberg inequality, Comm. Partial Differential Equations50(2025), no. 8, 984–1028
work page 2025
-
[26]
E. Di Nezza, G. Palatucci, and E. Valdinoci,Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math.136(2012), no. 5, 521–573
work page 2012
- [27]
-
[28]
A. X. Do, N. Lam, and G. Lu,Sharp stability of the Heisenberg uncertainty principle: second-order and curl-free field cases, J. Funct. Anal.290(2026), no. 7, Paper No. 111321, 33
work page 2026
-
[29]
Dyda,A fractional order Hardy inequality, Illinois J
B. Dyda,A fractional order Hardy inequality, Illinois J. Math.48(2004), no. 2, 575–588
work page 2004
-
[30]
B. Dyda and M. Kijaczko,Sharp fractional Hardy inequalities with a remainder for1< p <2, J. Funct. Anal.286(2024), no. 9, Paper No. 110373, 19
work page 2024
-
[31]
B. Dyda and M. Kijaczko,Sharp weighted fractional Hardy inequalities, Studia Math.274(2024), no. 2, 153–171
work page 2024
-
[32]
B. Dyda, J. Lehrb¨ ack, and A. V. V¨ ah¨ akangas,Fractional Poincar´ e and localized Hardy inequalities on metric spaces, Adv. Calc. Var.16(2023), no. 4, 867–884
work page 2023
-
[33]
D. E. Edmunds and W. D. Evans,Fractional Sobolev spaces and inequalities, Cambridge Tracts in Mathe- matics, vol. 230, Cambridge University Press, Cambridge, 2023
work page 2023
-
[34]
L. C. Evans,Partial differential equations, second ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 2010
work page 2010
-
[35]
A. Figalli and Y. R.-Y. Zhang,Sharp gradient stability for the Sobolev inequality, Duke Math. J.171(2022), no. 12, 2407–2459
work page 2022
- [36]
-
[37]
Ralph H Fowler,Further studies of emden’s and similar differential equations, The Quarterly Journal of Mathematics (1931), no. 1, 259–288
work page 1931
-
[38]
R. L. Frank, E. H. Lieb, and R. Seiringer,Hardy-Lieb-Thirring inequalities for fractional Schr¨ odinger opera- tors, J. Amer. Math. Soc.21(2008), no. 4, 925–950
work page 2008
-
[39]
R. L. Frank and R. Seiringer,Non-linear ground state representations and sharp Hardy inequalities, J. Funct. Anal.255(2008), no. 12, 3407–3430
work page 2008
-
[40]
R. L. Frank and R. Seiringer,Sharp fractional Hardy inequalities in half-spaces, Around the research of Vladimir Maz’ya. I, Int. Math. Ser. (N. Y.), vol. 11, Springer, New York, 2010, pp. 161–167
work page 2010
-
[41]
M. del M. Gonz´ alez,Recent progress on the fractional Laplacian in conformal geometry, Recent developments in nonlocal theory, De Gruyter, Berlin, 2018, pp. 236–273
work page 2018
-
[42]
Grafakos,Classical Fourier analysis, third ed., Graduate Texts in Mathematics, vol
L. Grafakos,Classical Fourier analysis, third ed., Graduate Texts in Mathematics, vol. 249, Springer, New York, 2014
work page 2014
-
[43]
H¨ ormander,The analysis of linear partial differential operators
L. H¨ ormander,The analysis of linear partial differential operators. III, Classics in Mathematics, Springer, Berlin, 2007, Pseudo-differential operators, Reprint of the 1994 edition
work page 2007
-
[44]
L. Ihnatsyeva, K. Mohanta, and A. V. V¨ ah¨ akangas,Fractional Hardy inequalities and capacity density, Calc. Var. Partial Differential Equations64(2025), no. 4, Paper No. 136, 34
work page 2025
-
[45]
M. Kijaczko and V. Sahu,Weighted fractional Hardy–Sobolev and Hardy–Sobolev–Maz’ya inequalities with singularities on flat submanifold, Commun. Contemp. Math. (2026), Paper No. 2650016. 44 AVAS BANERJEE, DEBDIP GANGULY, AND VIVEK SAHU
work page 2026
-
[46]
J. J. Kohn and L. Nirenberg,An algebra of pseudo-differential operators, Comm. Pure Appl. Math.18(1965), 269–305
work page 1965
-
[47]
N. Lam, G. Lu, and A. Russanov,Stability of Gaussian Poincar´ e inequalities and Heisenberg uncertainty principle with monomial weights, Math. Z.312(2026), no. 2, Paper No. 42, 26
work page 2026
-
[48]
M. Loss and C. Sloane,Hardy inequalities for fractional integrals on general domains, J. Funct. Anal.259 (2010), no. 6, 1369–1379
work page 2010
- [49]
-
[50]
Sahu,Weighted fractional Hardy inequalities with singularity on any flat submanifold, J
V. Sahu,Weighted fractional Hardy inequalities with singularity on any flat submanifold, J. Math. Anal. Appl.546(2025), no. 2, Paper No. 129227, 16
work page 2025
-
[51]
E. M. Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ, 1993, With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. Theoretical Statistics and Mathematics Unit, Indian Statistical Institute, Delhi Centre, S.J...
work page 1993
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.