How to Recognise Extension domains

Kaushik Mohanta; Riddhi Mishra

arxiv: 2604.23598 · v1 · submitted 2026-04-26 · 🧮 math.FA

How to Recognise Extension domains

Riddhi Mishra , Kaushik Mohanta This is my paper

Pith reviewed 2026-05-08 05:12 UTC · model grok-4.3

classification 🧮 math.FA

keywords extension domainsSobolev extensionAhlfors regularityBourgain-Brezis-Mironescu inequalityfractional Sobolev spacesPoincaré inequalityself-improvement

0 comments

The pith

A bounded domain is a (1,p)-extension domain exactly when it is Ahlfors regular and obeys the Bourgain-Brezis-Mironescu inequality for fractional orders s near 1.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an if-and-only-if characterization of (1,p)-extension domains for bounded subsets of Euclidean space. It shows that extension from the homogeneous Sobolev space dot W to the whole space holds precisely when the domain is Ahlfors regular and its functions satisfy a uniform bound relating the fractional seminorm at s close to 1 to the first-order seminorm. This replaces direct verification of extension properties with a nonlocal estimate that can be checked on the domain itself. The authors also prove that Ahlfors regularity alone yields an improved fractional Poincaré inequality and that, under a mild boundary measure condition, fractional extension at one exponent self-improves to the full first-order case.

Core claim

A bounded domain Ω ⊂ R^n is a (1,p)-extension domain if and only if it is Ahlfors regular and satisfies (1-s)[f]_{W^{s,p}(Ω)}^p ≤ C [f]_{W^{1,p}(Ω)}^p for all f in dot W^{1,p}(Ω) and all s sufficiently close to 1, with C independent of s and f. This characterization rests on a fractional Poincaré inequality that holds under Ahlfors regularity alone, and it yields self-improvement of extension properties from a single fractional exponent s > 1/p to the integer-order case when the boundary satisfies a mild Hausdorff measure condition.

What carries the argument

The Bourgain-Brezis-Mironescu-type inequality that bounds (1-s) times the s-fractional seminorm by a constant times the first-order seminorm, which, when paired with Ahlfors regularity, serves as the exact detector for the existence of (1,p)-extensions.

If this is right

Ahlfors-regular domains admit a fractional Poincaré inequality without further assumptions.
Fractional extension at one s > 1/p self-improves to full first-order Sobolev extension when the boundary meets a mild Hausdorff-measure condition.
Nonlocal seminorm estimates become a practical test for whether a domain supports Sobolev extensions.
The geometry of extension domains is controlled by the behavior of fractional differences as the order approaches the integer case.

Where Pith is reading between the lines

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

The criterion could be used to decide extension properties for domains with fractal boundaries by numerically approximating the seminorms.
The self-improvement mechanism may extend to other transitions from nonlocal to local operators on metric measure spaces.
Domains already known to be extension domains, such as Lipschitz ones, must satisfy the inequality, providing a consistency check.
The result suggests that similar characterizations may exist for variable-exponent or Orlicz-Sobolev extension problems.

Load-bearing premise

The inequality holds with a single constant C independent of both s and f, for all s sufficiently close to 1, on a bounded Ahlfors-regular domain.

What would settle it

Exhibit a bounded Ahlfors-regular domain for which the inequality fails to hold uniformly near s=1 yet extensions exist, or a domain where the inequality holds but no (1,p)-extension operator exists.

read the original abstract

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and $1 < p < \infty$. We characterize $(1,p)$-extension domains in terms of inequalities of Bourgain--Brezis--Mironescu type. More precisely, we show that $\Omega$ is a $(1,p)$-extension domain if and only if it is Ahlfors regular and satisfies, for all $f \in \dot{W}^{1,p}(\Omega)$, \[(1-s)[f]_{W^{s,p}(\Omega)}^p \leq C [f]_{W^{1,p}(\Omega)}^p,\] for all $s$ sufficiently close to $1$, where $C > 0$ is a constant independent of $s$ and $f$. As a key ingredient, we establish a fractional Poincar\'e-type inequality under the assumption of Ahlfors regularity alone, improving a result of Ponce (2004). As a further application, we prove that, under a mild Hausdorff measure condition on the boundary $\partial \Omega$, fractional extension (from $\dot{W}^{1,p}(\Omega)$ to $\dot{W}^{s,p}(\mathbb{R}^n)$) at a single exponent $s > 1/p$ self-improves to full first-order Sobolev extension (from $\dot{W}^{1,p}(\Omega)$ to $\dot{W}^{1,p}(\mathbb{R}^n)$). These results clarify the role of nonlocal estimates in the geometry of Sobolev extension domains.

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.

Desk Editor's Note private letter to a colleague

This paper gives a clean if-and-only-if characterization of (1,p)-extension domains via a uniform BBM inequality plus a sharpened fractional Poincaré result under Ahlfors regularity alone.

read the letter

The punchline is that bounded Ahlfors-regular domains are (1,p)-extension domains exactly when the scaled fractional seminorm satisfies (1-s)[f]_{W^{s,p}}^p ≤ C [f]_{W^{1,p}}^p with C independent of both s (near 1) and f. The authors also improve Ponce's 2004 fractional Poincaré inequality to hold from Ahlfors regularity with no further assumptions, and they show that fractional extension at one s > 1/p self-improves to full first-order extension under a mild Hausdorff condition on the boundary. These are the concrete advances. The characterization links the nonlocal and local seminorms in a direct way that should be useful for checking extension properties without constructing the extension operator explicitly. The Ponce improvement removes extra hypotheses that were previously needed, which is a modest but real gain for the literature on fractional inequalities. The self-improvement step is a practical bonus for applications to PDE on rough domains. The soft spots are limited and mostly technical. The abstract states the claims clearly, but the independence of C from s and f, along with the precise self-improvement argument, will need careful checking in the proofs to rule out any hidden dependence on the domain geometry or on p. The mild Hausdorff condition is presented as mild, yet it still adds a small extra hypothesis for that part of the result. No circularity or unsupported steps appear in the stated theorems. The work sits squarely in the Sobolev-extension literature and will be of interest to researchers who study geometric conditions for extension domains or who use nonlocal estimates to detect regularity. A reader already familiar with BBM inequalities and Ahlfors-regular sets will extract the most value. I would bring the paper to a reading group to walk through the proof of the equivalence and the self-improvement. It deserves a serious referee because the central characterization is sharp and the improvement on Ponce is verifiable in principle. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript characterizes (1,p)-extension domains for bounded domains Ω ⊂ R^n (1 < p < ∞). It proves that Ω is a (1,p)-extension domain if and only if it is Ahlfors regular and satisfies the Bourgain–Brezis–Mironescu-type inequality (1−s)[f]_{W^{s,p}(Ω)}^p ≤ C [f]_{W^{1,p}(Ω)}^p for all f ∈ ḣW^{1,p}(Ω) and all s sufficiently close to 1, with C independent of both s and f. As supporting results, the paper derives a fractional Poincaré inequality from Ahlfors regularity alone (improving Ponce 2004) and shows that, under an additional mild Hausdorff-measure condition on ∂Ω, fractional extension at a single s > 1/p self-improves to full (1,p)-extension.

Significance. If the proofs are correct, the work supplies a clean analytic characterization of geometric extension domains via uniform control on nonlocal seminorms, directly linking Ahlfors regularity to the limiting behavior of fractional Sobolev seminorms as s → 1. The parameter-free fractional Poincaré inequality and the self-improvement theorem are concrete advances that could be applied to domains with rough boundaries. The absence of ad-hoc parameters or circular definitions strengthens the result.

minor comments (3)

The precise statement of the 'mild Hausdorff measure condition' on ∂Ω (used for self-improvement) is not given in the abstract and should appear explicitly in the introduction or in the statement of the relevant theorem.
The notation ḣW^{1,p}(Ω) and W^{s,p}(Ω) is standard but should be recalled with definitions or references in §1 to ensure the manuscript is self-contained for readers outside the immediate area.
The improvement over Ponce (2004) is highlighted, yet a short paragraph contrasting the new fractional Poincaré inequality with the earlier result would help readers assess the gain.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main characterization result, and the recommendation for minor revision. We are pleased that the referee recognizes the value of the Ahlfors-regularity condition together with the uniform Bourgain–Brezis–Mironescu-type inequality, as well as the supporting fractional Poincaré inequality and the self-improvement theorem.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a clean if-and-only-if characterization: a bounded domain Ω is a (1,p)-extension domain precisely when it is Ahlfors regular and satisfies the uniform-C BBM inequality (1-s)[f]_{W^{s,p}(Ω)}^p ≤ C [f]_{W^{1,p}(Ω)}^p for s near 1. The supporting arguments are a fractional Poincaré inequality proved directly from Ahlfors regularity (improving the external Ponce 2004 result) plus a self-improvement theorem under an additional mild Hausdorff condition on ∂Ω. No load-bearing step reduces by definition or by self-citation to the target statement; the seminorms and extension property are defined independently in the standard Sobolev-space literature, and the constant C is explicitly required rather than fitted. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; full list of background assumptions cannot be audited. The paper relies on standard definitions from Sobolev space theory and geometric measure theory with no new free parameters or invented entities visible.

axioms (2)

standard math Standard definitions and properties of homogeneous Sobolev spaces ḣW^{1,p} and fractional seminorms W^{s,p}
Invoked in the statement of the main characterization and all inequalities.
domain assumption Ahlfors regularity of Ω implies a fractional Poincaré inequality
This is proved as a key ingredient and improves Ponce (2004).

pith-pipeline@v0.9.0 · 5567 in / 1669 out tokens · 75990 ms · 2026-05-08T05:12:14.709758+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Ambrosio, G

[ADPM11]L. Ambrosio,G. De Philippis, andL. Martinazzi, Gamma-convergence of nonlocal perimeter functionals, Manuscripta Math.134no. 3-4 (2011), 377–403. MR 2765717.https://doi.org/10.1007/s00229-010-0399-4. [BBM01]J. Bourgain,H. Brezis, andP. Mironescu, Another look at Sobolev spaces, inOptimal control and partial differential equations, IOS, Amsterdam, 2...

work page doi:10.1007/s00229-010-0399-4 2011
[2]

https://doi.org/10.1007/s00526-024-02813-6

MR 4789312. https://doi.org/10.1007/s00526-024-02813-6. [Ngu11]H.-M. Nguyen, Γ-convergence, Sobolev norms, and BV functions,Duke Math. J.157no. 3 (2011), 495–533. MR 2785828.https://doi.org/10.1215/00127094-1272921. [Pon04a]A. C. Ponce, An estimate in the spirit of Poincar´ e’s inequality,J. Eur. Math. Soc. (JEMS)6no. 1 (2004), 1–15. MR 2041005. Available...

work page doi:10.1007/s00526-024-02813-6 2011
[3]

[Zho15]Y

MR 290095. [Zho15]Y. Zhou, Fractional Sobolev extension and imbedding,Trans. Amer. Math. Soc.367no. 2 (2015), 959–979. MR 3280034.https://doi.org/10.1090/S0002-9947-2014-06088-1. Email address: 1riddhi.r.mishra@jyu.fi 1Department of Mathematics and Statistics, University of Jyv¨askyl¨a, P.O. Box 35, FI-40014, Jyv¨askyl¨a, Finland Email address: 2kaushik@i...

work page doi:10.1090/s0002-9947-2014-06088-1 2015

[1] [1]

Ambrosio, G

[ADPM11]L. Ambrosio,G. De Philippis, andL. Martinazzi, Gamma-convergence of nonlocal perimeter functionals, Manuscripta Math.134no. 3-4 (2011), 377–403. MR 2765717.https://doi.org/10.1007/s00229-010-0399-4. [BBM01]J. Bourgain,H. Brezis, andP. Mironescu, Another look at Sobolev spaces, inOptimal control and partial differential equations, IOS, Amsterdam, 2...

work page doi:10.1007/s00229-010-0399-4 2011

[2] [2]

https://doi.org/10.1007/s00526-024-02813-6

MR 4789312. https://doi.org/10.1007/s00526-024-02813-6. [Ngu11]H.-M. Nguyen, Γ-convergence, Sobolev norms, and BV functions,Duke Math. J.157no. 3 (2011), 495–533. MR 2785828.https://doi.org/10.1215/00127094-1272921. [Pon04a]A. C. Ponce, An estimate in the spirit of Poincar´ e’s inequality,J. Eur. Math. Soc. (JEMS)6no. 1 (2004), 1–15. MR 2041005. Available...

work page doi:10.1007/s00526-024-02813-6 2011

[3] [3]

[Zho15]Y

MR 290095. [Zho15]Y. Zhou, Fractional Sobolev extension and imbedding,Trans. Amer. Math. Soc.367no. 2 (2015), 959–979. MR 3280034.https://doi.org/10.1090/S0002-9947-2014-06088-1. Email address: 1riddhi.r.mishra@jyu.fi 1Department of Mathematics and Statistics, University of Jyv¨askyl¨a, P.O. Box 35, FI-40014, Jyv¨askyl¨a, Finland Email address: 2kaushik@i...

work page doi:10.1090/s0002-9947-2014-06088-1 2015