pith. sign in

arxiv: 2605.15748 · v1 · pith:4W4AZ3DDnew · submitted 2026-05-15 · 🧮 math.AP

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

classification 🧮 math.AP
keywords fractional Hardy inequalityquantitative stabilityvirtual extremalsMarcinkiewicz spaceEmden-Fowler analysisnonlocal inequalitiesPoincaré-Sobolev inequality
0
0 comments X

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.

The paper proves a quantitative stability estimate for the sharp fractional Hardy inequality. With the integral of |u(x)|^p over |x|^{sp} normalized to one, the positive deficit is bounded from below by the alpha power of the distance from u to the family of virtual extremals, where alpha equals the maximum of four and twice p and distance is measured in Marcinkiewicz space. The argument proceeds by decomposing the nonlocal energy and controlling it via a localized Poincaré-Sobolev inequality together with rescaling and Lorentz embeddings. This yields an improvement on existing stability exponents for the local case s equals one and produces a new nonlocal Hardy-Heisenberg uncertainty principle.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

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)
  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)
  1. [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.
  2. [§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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on standard background results in fractional Sobolev spaces and embeddings; no free parameters are introduced and the only new entity is the set of virtual extremals whose independent evidence is not supplied beyond the stability statement itself.

axioms (2)
  • standard math Existence and sharpness of the constant C_{N,s,p} in the Frank-Seiringer inequality
    Invoked in the definition of the deficit δ_{s,p}(u) and the family Z.
  • standard math Validity of Lorentz embeddings and Marcinkiewicz space properties for controlling the deficit
    Used to relate the distance to Z with the nonlocal energy.
invented entities (1)
  • virtual extremals Z no independent evidence
    purpose: Set of functions achieving equality in the Hardy inequality for the purpose of measuring stability distance
    Introduced to formulate the quantitative lower bound; no independent falsifiable prediction is given outside the stability statement.

pith-pipeline@v0.9.0 · 5983 in / 1695 out tokens · 102019 ms · 2026-05-20T17:07:17.078918+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

51 extracted references · 51 canonical work pages

  1. [1]

    Chaudhuri, and M

    Adimurthi, N. Chaudhuri, and M. Ramaswamy,An improved Hardy-Sobolev inequality and its application, Proc. Amer. Math. Soc.130(2002), no. 2, 489–505

  2. [2]

    Jana, and P

    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

  3. [3]

    Roy, and V

    Adimurthi, P. Roy, and V. Sahu,Fractional boundary Hardy inequality for the critical cases, J. Funct. Anal. 290(2026), no. 8, Paper No. 111351

  4. [4]

    Roy, and V

    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

  5. [5]

    Roy, and V

    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

  6. [6]

    Akutagawa and H

    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

  7. [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

  8. [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

  9. [9]

    Berchio, D

    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

  10. [10]

    Berchio, D

    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

  11. [11]

    Bianchi, L

    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

  12. [12]

    Bianchi, L

    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

  13. [13]

    Bianchi, G

    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

  14. [14]

    Bogdan and B

    K. Bogdan and B. Dyda,The best constant in a fractional Hardy inequality, Math. Nachr.284(2011), no. 5-6, 629–638

  15. [15]

    Bogdan, T

    K. Bogdan, T. Jakubowski, J. Lenczewska, and K. Pietruska-Pa luba,Optimal Hardy inequality for the frac- tional Laplacian onL p, J. Funct. Anal.282(2022), no. 8, Paper No. 109395, 31. QUANTITATIVE STABILITY OF THE FRACTIONAL HARDY INEQUALITIES 43

  16. [16]

    Brasco and E

    L. Brasco and E. Cinti,On fractional Hardy inequalities in convex sets, Discrete Contin. Dyn. Syst.38(2018), no. 8, 4019–4040

  17. [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

  18. [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

  19. [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

  20. [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

  21. [21]

    Chen and R

    Z.-Q. Chen and R. Song,Hardy inequality for censored stable processes, Tohoku Math. J. (2)55(2003), no. 3, 439–450

  22. [22]

    Cianchi and A

    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

  23. [23]

    Cinti and F

    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

  24. [24]

    Csat´ o and P

    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

  25. [25]

    De Nitti, F

    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

  26. [26]

    Di Nezza, G

    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

  27. [27]

    A. X. Do, D. Ganguly, N. Lam, and G. Lu,Scale-dependent Poincar´ e inequalities, log-Sobolev inequality and the stability of the Heisenberg uncertainty principle on the hyperbolic space, arXiv e-prints (2024), arXiv:2410.21039

  28. [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

  29. [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

  30. [30]

    Dyda and M

    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

  31. [31]

    Dyda and M

    B. Dyda and M. Kijaczko,Sharp weighted fractional Hardy inequalities, Studia Math.274(2024), no. 2, 153–171

  32. [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

  33. [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

  34. [34]

    L. C. Evans,Partial differential equations, second ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 2010

  35. [35]

    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

  36. [36]

    Flynn, N

    J. Flynn, N. Lam, G. Lu, and S. Mazumdar,Hardy’s identities and inequalities on Cartan-Hadamard mani- folds, J. Geom. Anal.33(2023), no. 1, Paper No. 27, 34

  37. [37]

    1, 259–288

    Ralph H Fowler,Further studies of emden’s and similar differential equations, The Quarterly Journal of Mathematics (1931), no. 1, 259–288

  38. [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

  39. [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

  40. [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

  41. [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

  42. [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

  43. [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

  44. [44]

    Ihnatsyeva, K

    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

  45. [45]

    Kijaczko and V

    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

  46. [46]

    J. J. Kohn and L. Nirenberg,An algebra of pseudo-differential operators, Comm. Pure Appl. Math.18(1965), 269–305

  47. [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

  48. [48]

    Loss and C

    M. Loss and C. Sloane,Hardy inequalities for fractional integrals on general domains, J. Funct. Anal.259 (2010), no. 6, 1369–1379

  49. [49]

    Mouhot, E

    C. Mouhot, E. Russ, and Y. Sire,Fractional Poincar´ e inequalities for general measures, J. Math. Pures Appl. (9)95(2011), no. 1, 72–84

  50. [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

  51. [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...