Galerkin Approximation of the Fractional Sobolev Constant

Andreea Dima; Liviu I. Ignat

REVIEW 2 major objections 3 minor 1 cited by

Galerkin Approximation of the Fractional Sobolev Constant

T0 review · 2 major / 3 minor · reviewed 2026-05-14 · grok-4.3

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

Pith's one-line read The discrete optimal constant of the fractional Sobolev inequality converges to its continuous value at sharp rates under Galerkin approximation with piecewise linear elements on a quasi-uniform mesh in the unit ball.

desk verdict Dima and Ignat give sharp convergence rates for the piecewise-linear Galerkin approximation to the fractional Sobolev constant on the unit ball. read the letter →

arxiv 2605.13347 v1 pith:4NWEHHQG submitted 2026-05-13 math.NA cs.NAmath.APmath.CA

Andreea Dima , Liviu I. Ignat This is my paper · ORCID

classification math.NAcs.NAmath.APmath.CA

keywords fractionalSobolevinequalityGalerkinapproximationpiecewiselinearelementsdiscreteoptimalconstantconvergenceratesunitballfiniteelementmethod

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

The paper establishes sharp estimates for how quickly the best constant in a discrete version of the fractional Sobolev inequality approaches the true continuous constant. This holds in any dimension N at least 1 and for fractional orders s in (0, min(1, N/2)) when the approximation uses piecewise linear finite elements on the unit ball. A sympathetic reader cares because these inequalities appear in models of nonlocal diffusion and image processing, where knowing the constant accurately matters for stability and scaling. The analysis delivers explicit rates that are optimal rather than merely convergent, which matters for deciding when a numerical computation has enough accuracy.

What carries the argument

Galerkin approximation with piecewise linear elements on a quasi-uniform regular mesh of the unit ball, used to compute the discrete optimal constant in the fractional Sobolev inequality.

What would settle it

A numerical test that computes the discrete constant on the unit ball with a clearly non-quasi-uniform mesh and checks whether the observed error rates match the predicted sharp rates.

Watch

Extended reading notes

Core claim

We establish sharp estimates for the discrete optimal constant of the fractional Sobolev inequality in dimension N≥1, with fractional exponent s∈(0,min{1,N/2}). The convergence rates that we establish take place for the Galerkin approximation with piecewise linear elements, when the computations are carried out in the unit ball, for which we employ a quasi-uniform and regular mesh.

Load-bearing premise

The quasi-uniform and regular properties of the mesh inside the unit ball are enough to produce the stated sharp convergence rates.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The key takeaway is that this paper derives sharp estimates for how well the discrete optimal constant approximates the continuous fractional Sobolev constant using Galerkin methods with piecewise linear elements. They focus on the unit ball with a quasi-uniform regular mesh, for dimensions N at least 1 and fractional order s between 0 and min(1, N/2). The rates come from applying standard approximation properties of finite element spaces in fractional Sobolev norms, combined with the regularity of the domain and mesh. This is a useful result because it provides explicit error bounds that can be plugged into error analyses for discretizations of nonlocal operators. It extends existing finite-element theory without introducing new frameworks, but it does so cleanly for this specific constant. The approach avoids any fitting or self-referential definitions, sticking to classical arguments. The main limitation is the dependence on quasi-uniform meshes and the specific domain. The analysis assumes these properties hold to get the sharpness, so on general meshes or domains the rates could degrade. The abstract doesn't mention any computational validation, which is common in pure theory papers but leaves open whether the constants in the estimates are practical. Still, for a theoretical contribution this is minor. The math appears solid with no signs of circular reasoning or post-hoc adjustments; it builds directly on prior literature for Sobolev embeddings and mesh regularity. No load-bearing assumptions seem hidden. This work is aimed at specialists in numerical analysis of fractional PDEs. A reader working on error estimates for Galerkin methods in nonlocal settings would find it relevant and could use the bounds directly. It won't open new domains but fills in a practical gap. I think it deserves a serious referee because the claims are specific and the setting is standard enough that verification should be straightforward. The evidence from the abstract supports sending it out.

Referee Report

2 major / 3 minor

Summary. The manuscript establishes sharp estimates for the discrete optimal constant of the fractional Sobolev inequality in dimension N≥1 with s∈(0,min{1,N/2}), using Galerkin approximation by piecewise linear elements on a quasi-uniform regular mesh in the unit ball.

Significance. If the claimed sharp rates hold, the result supplies precise quantitative information on the approximation error for the fractional Sobolev constant, which is useful for error control in numerical schemes for nonlocal equations. The approach rests on standard finite-element approximation theory in fractional Sobolev norms together with mesh-regularity arguments, both of which are classical; the restriction to the unit ball and quasi-uniform meshes permits explicit rates without additional parameters.

major comments (2)

[Main convergence theorem] Main result (Theorem on convergence rates): the manuscript must supply matching upper and lower bounds to justify the claim of sharpness; the upper bound follows from standard interpolation estimates in H^s, but the lower bound requires a separate argument that the discrete Rayleigh quotient cannot approach the continuous constant faster than the stated rate.
[Mesh regularity and approximation properties] Section on mesh assumptions: the quasi-uniformity and regularity constants appear in the hidden constants of the error estimate; the paper should state explicitly whether these constants remain independent of h or whether the sharpness statement absorbs a dependence on the mesh-regularity parameter.

minor comments (3)

[Abstract] The abstract states the parameter range but does not record the precise convergence rate (e.g., O(h^α) with the value of α); adding the explicit rate would improve readability.
[Notation and definitions] Notation for the discrete constant (presumably denoted λ_h or similar) should be introduced once and used consistently; cross-references to the continuous constant λ should be added in the statement of the main theorem.
[Introduction] A short remark on the extension (or lack thereof) to other domains would clarify the scope; the unit-ball restriction is used for mesh construction but its necessity for sharpness is not discussed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the detailed comments, which help improve the clarity of our results on the sharp convergence rates for the discrete fractional Sobolev constant.

read point-by-point responses

Referee: [Main convergence theorem] Main result (Theorem on convergence rates): the manuscript must supply matching upper and lower bounds to justify the claim of sharpness; the upper bound follows from standard interpolation estimates in H^s, but the lower bound requires a separate argument that the discrete Rayleigh quotient cannot approach the continuous constant faster than the stated rate.

Authors: We agree that sharpness requires matching upper and lower bounds. The upper bound follows from the standard interpolation theory in H^s as noted. For the lower bound, the proof constructs a specific test function in the discrete space by taking a smoothed extremal function for the continuous problem and projecting it onto the piecewise linear finite-element space; a direct computation then shows that the discrete Rayleigh quotient stays at least a fixed multiple away from the continuous constant at the claimed rate. We will expand the relevant subsection to make this construction and the verification of the lower bound fully explicit. revision: yes
Referee: [Mesh regularity and approximation properties] Section on mesh assumptions: the quasi-uniformity and regularity constants appear in the hidden constants of the error estimate; the paper should state explicitly whether these constants remain independent of h or whether the sharpness statement absorbs a dependence on the mesh-regularity parameter.

Authors: The quasi-uniformity and regularity constants are properties of the fixed mesh family and are therefore independent of the mesh size h. The multiplicative constants in the error estimates may depend on these mesh parameters, but the convergence rate itself (the power of h) is sharp uniformly for any such family. We will insert an explicit clarifying sentence in the mesh-assumptions section stating that the constants are independent of h while the sharpness statement concerns the rate with respect to h. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity in derivation chain

full rationale

The paper derives sharp convergence rates for the discrete fractional Sobolev constant via piecewise-linear Galerkin approximation on quasi-uniform regular meshes in the unit ball. This rests on classical finite-element approximation theory in fractional Sobolev spaces together with standard mesh-regularity assumptions; both are external to the present work and do not reduce to any fitted parameter, self-definition, or self-citation chain. The stated regime (s ∈ (0, min{1,N/2}), N ≥ 1) is precisely where those classical estimates apply without additional hypotheses. No load-bearing step collapses to an input by construction.

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

The central claim rests on standard assumptions of fractional Sobolev spaces and finite-element approximation theory; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

assumptions (2)

standard math Standard properties of the fractional Sobolev space W^{s,2} and the associated embedding constant hold in the unit ball.
Invoked implicitly when defining the optimal constant and its discrete counterpart.
domain assumption Quasi-uniform regular meshes admit the usual interpolation and inverse estimates for piecewise linear elements.
Required for the convergence rates to be derived.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Galerkin Approximation of the Fractional Sobolev Constant." pith.science (2026). https://pith.science/paper/4NWEHHQG

@misc{pith2026260513347,
  author       = {Pith},
  title        = {Pith review of: Galerkin Approximation of the Fractional Sobolev Constant},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4NWEHHQG}},
  note         = {Machine review of arXiv:2605.13347}
}

abstract

We establish sharp estimates for the discrete optimal constant of the fractional Sobolev inequality in dimension $N\geq 1$, with fractional exponent $s\in (0,\min\{1,N/2\})$. The convergence rates that we establish take place for the Galerkin approximation with piecewise linear elements, when the computations are carried out in the unit ball, for which we employ a quasi-uniform and regular mesh.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Galerkin Approximation of the Fractional Hardy Constant
math.NA 2026-07 accept novelty 5.0 of 10

Piecewise-linear FEM approximates the fractional Hardy constant at the sharp rate λ_{N,s,h}−λ_{N,s}∼1/|log h|² on bounded convex smooth domains.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper

[1]

Acosta and J

G. Acosta and J. P. Borthagaray. A fractional laplace equation: regularity of solutions and finite element approximations.SIAM Journal on Numerical Analysis, 55(2):472–495, 2017

work page 2017
[2]

Antonietti and A

P. Antonietti and A. Pratelli. Finite element approximation of the sobolev constant.Numerische Mathe- matik, 117:37–64, 12 2011

work page 2011
[3]

T. Aubin. Probl` emes isop´ erim´ etriques et espaces de Sobolev.J. Differential Geometry, 11(4):573–598, 1976

work page 1976
[4]

Bianchi and H

G. Bianchi and H. Egnell. A note on the Sobolev inequality.J. Funct. Anal., 100(1):18–24, 1991

work page 1991
[5]

S. C. Brenner and L. R. Scott.The Mathematical Theory of Finite Element Methods. Springer, 2008

work page 2008
[6]

Caboussat, R

A. Caboussat, R. Glowinski, and A. Leonard. Looking for the best constant in a sobolev inequality: A numerical approach.Calcolo, 47:211–238, 12 2010

work page 2010
[7]

S. Chen, R. L. Frank, and T. Weth. Remainder terms in the fractional Sobolev inequality.Indiana Univ. Math. J., 62(4):1381–1397, 2013

work page 2013
[8]

Di Nezza, G

E. Di Nezza, G. Palatucci, and E. Valdinoci. Hitchhiker’s guide to the fractional sobolev spaces.Bull. Sci. Math., 136(5):521–573, 2012

work page 2012

Show all 18 references

[9]

Figalli and Y

A. Figalli and Y. R.-Y. Zhang. Sharp gradient stability for the Sobolev inequality.Duke Math. J., 171(12):2407–2459, 2022

2022
[10]

L. I. Ignat and E. Zuazua. Optimal convergence rates for the finite element approximation of the sobolev constant.arXiv preprint arXiv:2504.09637, 2025

2025 arXiv
[11]

T. K¨ onig. On the sharp constant in the Bianchi-Egnell stability inequality.Bull. Lond. Math. Soc., 55(4):2070–2075, 2023
[12]

T. K¨ onig. An exceptional property of the one-dimensional Bianchi-Egnell inequality.Calc. Var. Partial Differential Equations, 63(5):Paper No. 123, 21, 2024

2024
[13]

T. K¨ onig. Stability for the sobolev inequality: Existence of a minimizer.Journal of the European Mathe- matical Society, 2025

2025
[14]

Leoni.A First Course in Sobolev Spaces: Second Edition

G. Leoni.A First Course in Sobolev Spaces: Second Edition. American Mathematical Society, 2017

2017
[15]

Leoni.A First Course in Fractional Sobolev Spaces

G. Leoni.A First Course in Fractional Sobolev Spaces. American Mathematical Society, 2023

2023
[16]

E. H. Lieb. Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities.Ann. of Math. (2), 118(2):349–374, 1983

1983
[17]

J. V. Schaftingen. Fractional gagliardo–nirenberg interpolation inequality and bounded mean oscillation. Comptes Rendus. Math´ ematique, 361:1041–1049, 2023

2023
[18]

Simion Stoilow

G. Talenti. Best constant in Sobolev inequality.Ann. Mat. Pura Appl. (4), 110:353–372, 1976. GALERKIN APPROXIMATION OF THE FRACTIONAL SOBOLEV CONSTANT 25 (A. Dima)Simion Stoilow Institute of Mathematics of the Romanian Academy, 21 Calea Grivit ¸ei Street, 010702, Bucharest, Ro...

1976

Pith tools

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

[1] [1]

Acosta and J

G. Acosta and J. P. Borthagaray. A fractional laplace equation: regularity of solutions and finite element approximations.SIAM Journal on Numerical Analysis, 55(2):472–495, 2017

work page 2017

[2] [2]

Antonietti and A

P. Antonietti and A. Pratelli. Finite element approximation of the sobolev constant.Numerische Mathe- matik, 117:37–64, 12 2011

work page 2011

[3] [3]

T. Aubin. Probl` emes isop´ erim´ etriques et espaces de Sobolev.J. Differential Geometry, 11(4):573–598, 1976

work page 1976

[4] [4]

Bianchi and H

G. Bianchi and H. Egnell. A note on the Sobolev inequality.J. Funct. Anal., 100(1):18–24, 1991

work page 1991

[5] [5]

S. C. Brenner and L. R. Scott.The Mathematical Theory of Finite Element Methods. Springer, 2008

work page 2008

[6] [6]

Caboussat, R

A. Caboussat, R. Glowinski, and A. Leonard. Looking for the best constant in a sobolev inequality: A numerical approach.Calcolo, 47:211–238, 12 2010

work page 2010

[7] [7]

S. Chen, R. L. Frank, and T. Weth. Remainder terms in the fractional Sobolev inequality.Indiana Univ. Math. J., 62(4):1381–1397, 2013

work page 2013

[8] [8]

Di Nezza, G

E. Di Nezza, G. Palatucci, and E. Valdinoci. Hitchhiker’s guide to the fractional sobolev spaces.Bull. Sci. Math., 136(5):521–573, 2012

work page 2012