Pith. sign in

REVIEW 4 major objections 5 minor 28 references

Extension operators on Sobolev spaces with decreasing integrability

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read If a bounded extension operator from L^1_p(Ω) to L^1_q(R^n) exists with n < q ≤ p, then Ω must satisfy a generalized (p,q)-measure density inequality and a weak equivalence between its intrinsic and Euclidean metrics.

desk verdict Theorem 2.4 is a plausible sharp (p,q)-density condition, but the countable additivity of Φ is unproved and the norm estimates built on it are not justified. read the letter →

arxiv 1908.09322 v4 pith:G2VS3VUB submitted 2019-08-25 math.FA

Alexander Ukhlov This is my paper · ORCID
classification math.FA
keywords decreasingextensionintegrabilityoperatorssobolevspacestermsassociated
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 studies when functions with controlled gradients on an irregular domain can be extended to the whole Euclidean space without increasing the gradient norm too much, while also allowing the integrability exponent to drop from p to q. This kind of extension operator is useful in PDE arguments, where one wants to carry estimates from a complicated domain to a simpler one.

The main object is a set function Φ built from the operator norm: for each open set A, Φ(A) measures the worst ratio of the q-norm of the extended gradient on A to the p-norm of the original gradient on A ∩ Ω, raised to a power that depends on p and q. If an extension operator exists, Φ is monotone and additive, and it controls q-capacity of condensers in terms of p-capacity in the domain.

Using this, the paper proves a necessary condition: for balls B(x,r) near the domain, Φ(B(x,r))^(p−q) |B(x,r) ∩ Ω|^q must dominate c |B(x,r)|^p. For a cusp domain, this condition recovers the known boundary between possible and impossible extension, which is presented as sharpness. The paper also derives a version of this condition in terms of the intrinsic metric inside Ω and states lower bounds for the norm of any extension operator.

The main caveat is that Φ is defined through the extension operator itself, so the condition is not a purely geometric description of Ω. Several proof details, including the additivity of Φ, need checking.

Extended reading notes

Core claim

The central assertion is Theorem 2.4: if a continuous linear extension operator E : L^1_p(Ω) → L^1_q(R^n) exists with n < q ≤ p < ∞, then for all small radii r the generalized (p,q)-measure density condition holds: Φ(B(x,r))^(p−q) |B(x,r) ∩ Ω|^q ≥ c0 |B(x,r)|^p, where Φ is the set function built from the operator norm and c0 depends only on p, q, n. If the paper is correct, any such extension domain must satisfy this inequality, and the exponent in the inequality is optimal as shown by the Hölder cusp example.

Load-bearing premise

The proof of Theorem 2.1, which establishes countable additivity of the set function Φ, relies on the sentence 'since the sets where ∇E(f_k) do not vanish are disjoint.' For an arbitrary bounded linear extension operator, extensions of functions with disjoint supports in Ω need not have disjoint gradient supports in R^n, because extension operators are not assumed to be support-preserving. Countable additivity of Φ is later used in the proof of Theorem 2.5 to justify differentiating Φ and deriving the lower norm bound in terms of K(x), so this is a load-bearing premise for the norm-estimate part of the paper.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper studies bounded linear extension operators E: L^1_p(Ω) → L^1_q(R^n) with q < p (decreasing integrability). It introduces a set function Φ(A), defined as the supremum of (‖Ef‖_{L^1_q(A)}/‖f‖_{L^1_p(A∩Ω)})^κ with 1/κ = 1/q − 1/p, and claims that Φ is a bounded, monotone, countably additive set function. On this basis it derives a capacitary inequality (Theorem 2.3), a generalized (p,q)-measure density condition (Theorem 2.4), an intrinsic-metric comparison (Theorem 2.7), and lower bounds on the operator norm in terms of the integral regularity function K and the metric distortion M (Theorems 2.5 and 2.8). The density condition is argued to be sharp on Hölder cusp domains.

Significance. If the main claims are correct, Theorem 2.4 would provide a sharp necessary condition for Sobolev extension with decreasing integrability, generalizing the classical measure density condition and matching known sufficient conditions for cusp domains. The set-function framework is natural, and the explicit constant dependence in the density inequality is a strength. However, the proof of countable additivity of Φ is currently incomplete, and the norm-estimate theorems 2.5 and 2.8 depend on that missing step; the sharpness discussion for the density condition is more robust because it relies only on the direct inequality (2.1).

major comments (4)
  1. [§2.1, Theorem 2.1] In the proof of Theorem 2.1, the passage from the linearity of E and the disjointness of the supports of f_k in Ω to the lower bound for ‖E(g_N)‖_{L^q(∪A_k)} uses the sentence “since the sets where ∇E(f_k) do not vanish are disjoint.” For an arbitrary bounded linear extension operator E that is not assumed to be local or support-preserving, the gradients of E(f_k) need not have disjoint supports in R^n even when the supports of f_k are disjoint in Ω; the gradients may overlap outside Ω and can even cancel under nonlocal perturbations of a local extension operator. Therefore the displayed lower bound and the resulting superadditivity of Φ are not established. This gap is load-bearing because Theorem 2.5 and Theorem 2.8 rely on Φ being a countably additive measure.
  2. [§2.2, Theorem 2.5] The proof of Theorem 2.5 invokes a “Lebesgue type differentiability theorem” and the identity ∫_U Φ′(x) dx = Φ(U) for bounded open sets U. This step requires that the set function Φ, at least on the relevant balls, is absolutely continuous with respect to Lebesgue measure or is otherwise known to have a density. Countable additivity alone does not imply absolute continuity, and no argument is supplied to rule out a singular component of Φ. Since this differentiation step is essential for deriving the L^α estimate of K and the lower bound for ‖E‖ in Theorem 2.5, the proof is incomplete even if the countable additivity gap in Theorem 2.1 were repaired.
  3. [§2.3, Theorem 2.8] Theorem 2.8 is stated as one of the paper’s main results, giving the lower norm estimate ‖E‖ ≥ C_0 ‖M‖_{L^α(Ω)}^{1−n/q}, but the proof is omitted; the text merely says the inequality (2.4) “leads to” the estimate. Because this theorem belongs to the same circle of norm estimates whose other justifications are already in doubt, an explicit proof (or a clear statement that it is quoted from [23] rather than proved here) is required.
  4. [§1 and §2] The operator norm in the introduction is defined for E : W^1_p(Ω) → W^1_q(R^n) using the full W^1 norms, while all subsequent theorems and the definition of Φ use homogeneous L^1_p and L^1_q seminorms. No argument is given that a bounded operator on W^1 spaces induces a bounded operator on the homogeneous spaces with comparable norm, or that the constants in Theorem 2.4 can be made independent of the diameter of the balls. The manuscript should state precisely which norm is meant in the hypotheses of Theorems 2.1–2.8 and how the homogeneous-space bound follows from the W^1 bound.
minor comments (5)
  1. [Throughout] There are several typos, including “Let there exists a a continuous” in Theorems 2.1 and 2.3, and “the greatest lower bond” should be “greatest lower bound”.
  2. [§2.1, Theorem 2.1] The construction of f_k assumes Φ(A_k) > 0; if some Φ(A_k) = 0, a separate limiting argument is needed. The normalization ‖f_k‖^p = Φ(A_k)(1−ε/2^k) cannot be performed when Φ(A_k) = 0.
  3. [§2.2, Theorem 2.4] The proof fixes x,y ∈ Ω and sets r = |x−y|, but the theorem states the inequality for all x ∈ Ω̄. A limiting argument handling boundary points is not supplied.
  4. [§2.3, Theorem 2.7] In the displayed inequality (2.5), the integral ∫_{B(x,R)} |∇f|^p dz should be over B(x,R) ∩ Ω, since f is a priori defined only on Ω. Also, Lemma 2.6 gives supp(f) ⊂ B(x,d_Ω(x,y)), and the distinction between the Euclidean ball and its intersection with Ω should be made explicit.
  5. [§2.2, sharpness example] The sharpness discussion for the Hölder cusp derives the range 1 ≤ q < 2p/(α+1) without explicitly bounding Φ(B(0,r)); the argument would be clearer if it stated that Φ(B(0,r)) is bounded by a constant independent of r (for instance by ‖E‖^κ), which is what makes the exponent comparison valid.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the main necessary conditions are derived from the definition of the set function Φ plus external Sobolev embedding theorems, not from the target conclusions.

full rationale

The paper's central results (Theorems 2.4 and 2.7) are derived from the definition of the set function Φ(A) = sup (‖E(f)|L^1_q(A)‖ / ‖f|L^1_p(A∩Ω)‖)^κ and the boundedness of the extension operator E, together with standard Sobolev embedding. Inequality (2.1) is literally the definition of Φ, but Theorem 2.4 goes beyond the definition by exhibiting explicit test functions whose quotients force a lower bound on Φ; this is a genuine mathematical argument, not a restatement of the input. Theorem 2.7 similarly combines the definition of Φ with an intrinsic-metric test function and Sobolev embedding. No parameter is fitted and no target result is assumed in these derivations. The paper does cite the author's prior work [23,28] for the origin of the set-function approach, but the present paper supplies its own definition and proofs, so the citations are historical rather than load-bearing. Several correctness gaps exist but are not circularity: (i) in Theorem 2.1, the assertion 'since the sets where ∇E(f_k) do not vanish are disjoint' is unsupported, because extension operators are not assumed to be support-preserving; this threatens the advertised countable additivity of Φ but is not a reduction of the theorem to its assumptions. (ii) Theorem 2.5 uses a Lebesgue-type differentiation theorem for Φ, which would require absolute continuity of Φ with respect to Lebesgue measure; this is not proved. (iii) Theorem 2.8 is stated without proof, citing [23], and no derivation is shown. These are missing supports or potential errors, not circular steps. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

No free parameters are fitted. The central caveat is the countable additivity of Φ: the proof in Theorem 2.1 rests on an unjustified disjoint-support assertion, and later norm-estimate results in Theorem 2.5 depend on that additivity through a density derivative step. The set function Φ itself is self-referential because it is defined through the extension operator whose existence is under investigation.

assumptions (4)
  • standard math Sobolev embedding L^1_q(B) ↪ H^(1−n/q)(B) for q > n
    Used in the proofs of Theorems 2.4 and 2.7 to convert L^1_q norms on a ball into pointwise Hölder control.
  • standard math Countably additive set functions on Euclidean open sets have a density with respect to Lebesgue measure almost everywhere
    Invoked in Theorem 2.5 to pass from ball inequalities to a.e. pointwise inequality. This depends on Theorem 2.1's countable additivity, whose proof contains an unjustified disjoint-support step.
  • standard math Existence of intrinsic-metric cutoff functions with |∇f| ≤ 1/dΩ(x,y) and support in B(x, dΩ(x,y))
    Quoted from [8,25] without proof and used as the test function in Theorem 2.7.
  • standard math Boundedness of Φ(A) by ‖E‖^κ for every open A
    Follows directly from the definition of Φ as a supremum of ratios and is used to turn the set-function inequalities into lower bounds on ‖E‖.
invented entities (1)
  • Extension set function Φ
    purpose: Expresses the restriction norm of the extension operator on open sets and is used to state the necessary density and metric conditions.
    Φ is built from the unknown extension operator E, so the density condition containing Φ is not a purely intrinsic geometric characterization of Ω and cannot be verified from Ω alone.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Extension operators on Sobolev spaces with decreasing integrability." pith.science (2026). https://pith.science/paper/G2VS3VUB

@misc{pith2026190809322,
  author       = {Pith},
  title        = {Pith review of: Extension operators on Sobolev spaces with decreasing integrability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G2VS3VUB}},
  note         = {Machine review of arXiv:1908.09322}
}
read the original abstract

We study extension operators on Sobolev spaces with decreasing integrability on the base of set functions associated with the operator norms. Sharp necessary conditions in the terms of the generalized density condition and the terms of weak equivalence of Euclidean and intrinsic metrics are given.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [9]

    Hajlasz, P

    P. Hajlasz, P. Koskela, H. Tuominen, Sobolev embeddings , extensions and measure density condition, J. Funct. Anal., 254 (2008), 1217–1234

    work page 2008

  2. [23]

    Ukhlov, Lower estimates for the norm of the extension operator of the weak differentiable functions on domains of Carnot groups

    A. Ukhlov, Lower estimates for the norm of the extension operator of the weak differentiable functions on domains of Carnot groups. Proc. of the Khabarovsk State Univ., 8 (1999), 33–44

    work page 1999

  3. [1]

    A. D. Alexandrov, Intrinsic geometry of convex surfaces , Gostechizdat, Moscow, 1948

    work page 1948

  4. [2]

    V. I. Burenkov, A way of continuing differentiable functi ons, Studies in the theory of differentiable functions of several variables and its app lications, VI. Trudy Mat. Inst. Steklov. 140 (1976), 27–67

    work page 1976

  5. [3]

    A. P. Calderón, Lebesgue spaces of differentiable functi ons and distributions, Proc. Symp. Pure Math., 4 (1961), 33–49

    work page 1961

  6. [4]

    Fefferman, A

    C. Fefferman, A. Israel, G. Luli, Sobolev extension by lin ear operators, J. Amer. Math. Soc., 27 (2014), 69–145

    work page 2014

  7. [5]

    Gol’dshtein, V

    V. Gol’dshtein, V. Pchelintsev, A. Ukhlov, Sobolev exte nsion operators and Neumann eigenvalues, J. Spectr. Theory, 10 (2020), 337–353

    work page 2020

  8. [6]

    V. M. Gol’dshtein, Yu. G. Reshetnyak, Quasiconformal ma ppings and Sobolev spaces, Dordrecht, Boston, London: Kluwer Academic Publishers, 19 90

    work page

Show all 28 references
  1. [7]

    V. M. Gol’dshteÄn, V. N. Sitnikov, Continuation of funct ions of the class W 1 p across Hölder boundaries, Imbedding theorems and their applicati ons, Trudy Sem. S. L. Soboleva, (1982), 31–43

    1982

  2. [8]

    A. V. Greshnov, Extension of differentiable functions be yond the boundary of the domain on Carnot groups,Sobolev spaces and related problem s of analysis, Trudy Inst. Mat., 31 (1996) 161–186

    1996

  3. [10]

    Hajlasz, P

    P. Hajlasz, P. Koskela, H. Tuominen, Measure density an d extendability of Sobolev functions, Rev. Mat. Iberoam., 24 (2008), 645–669

    2008

  4. [11]

    P. W. Jones, Quasiconformal mappings and extendabilit y of functions in Sobolev spaces, Acta Math., 147 (1981) 71–78

    1981

  5. [12]

    Koskela, Extensions and imbeddings, J

    P. Koskela, Extensions and imbeddings, J. Funct. Anal. , 159 (1998), 369–383

    1998

  6. [13]

    Koskela, D

    P. Koskela, D. Yang, Y. Zhou, A Jordan Sobolev extension domain, Ann. Acad. Sci. Fenn. Math., 35 (2010), 309–320

    2010

  7. [14]

    Koskela, Zh

    P. Koskela, Zh. Zhu, Sobolev extension via reflections, arXiv:1812.09037 (2018)

    2018 arXiv

  8. [15]

    Maz’ya, Sobolev spaces: with applications to ellipt ic partial differential equations, Springer, Berlin/Heidelberg, 2010

    V. Maz’ya, Sobolev spaces: with applications to ellipt ic partial differential equations, Springer, Berlin/Heidelberg, 2010

    2010

  9. [16]

    V. G. Maz’ya, S. V. Poborchi, Extension of functions in S obolev classes to the exterior of a domain with the vertex of a peak on the boundary I, Czech. M ath. Journ., (1986) 634–661

    1986

  10. [17]

    V. G. Maz’ya, S. V. Poborchi, Extension of functions in S obolev classes to the exterior of a domain with the vertex of a peak on the boundary II, Czech. Math. Journ., (1987) 128–150

    1987

  11. [18]

    Maz’ya, S

    V. Maz’ya, S. Poborchi, Embedding and extension theore ms for functions in non- Lipschitz domains, Petersburg: St. Petersburg Publishers , Russia, 2007. EXTENSION OPERATORS ON SOBOLEV SPACES WITH DECREASING INTE GRABILITY 9

    2007

  12. [19]

    Shvartsman, Whitney-type extension theorems for je ts generated by Sobolev func- tions, Adv

    P. Shvartsman, Whitney-type extension theorems for je ts generated by Sobolev func- tions, Adv. Math., 313 (2017), 379–469

    2017

  13. [20]

    Shvartsman, N

    P. Shvartsman, N. Zobin, On planar Sobolev Lm p -extension domains, Adv. Math., 287 (2016), 237–346

    2016

  14. [21]

    E. M. Stein, Singular integrals and differentiability p roperties of functions, Princeton University Press, Princeton, New Jersey, 1970

    1970

  15. [22]

    Ukhlov, On mappings, which induce embeddings of Sobo lev spaces, Siberian Math

    A. Ukhlov, On mappings, which induce embeddings of Sobo lev spaces, Siberian Math. J., 34 (1993), 185–192

    1993

  16. [24]

    S. K. Vodop’yanov, Geometric properties of domains and mappings. Lower bounds on the norm of the extension operator, Trudy Inst. Mat., 7 (19 87), 70–101

  17. [25]

    S. K. Vodop’yanov, Taylor’s formula and functional spa ces, Novosibirsk State Univ., Novosibirsk, 1988

    1988

  18. [26]

    S. K. Vodop’yanov, V. M. Gol’dstein, T. G. Latfullin, A c riterion for the extension of functions of the class L1 2 from unbounded plane domains, Siberian. Math. J., 20 (1979), 416–419

    1979

  19. [27]

    S. K. Vodop’yanov, A. D. Ukhlov, Superposition operato rs in Sobolev spaces, Russian Mathematics (Izvestiya VUZ) 46 (2002), no. 4, 11–33

    2002

  20. [28]

    S. K. Vodop’yanov, A. Ukhlov, Set functions and their ap plications in the theory of Lebesgue and Sobolev spaces. II, Matem. trudy, 7 (2004), 13– 49. Department of Mathematics, Ben-Gurion University of the Ne gev, P.O.Box 653, Beer Sheva, 8410501, Israel E-mail address: ukhlov...

    2004

Pith tools

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