pith. sign in

arxiv: 2508.14777 · v3 · pith:T6DIURD6new · submitted 2025-08-20 · 🧮 math.FA

Optimal Sobolev embeddings for generalized Lorentz-Zygmund spaces

Paola Cavaliere , Ladislav Dr\'a\v{z}n\'y This is my paper

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

classification 🧮 math.FA
keywords Sobolev embeddingsgeneralized Lorentz-Zygmund spacesoptimal target spacesrearrangement-invariant spacesHölder spacesMorrey spacesCampanato spaces
0
0 comments X

The pith

Generalized Lorentz-Zygmund-Sobolev spaces of any integer order admit explicit optimal embeddings into rearrangement-invariant, Hölder, Morrey, and Campanato spaces on minimally regular Euclidean domains.

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

The paper studies Sobolev embeddings of arbitrary integer order for generalized Lorentz-Zygmund spaces on Euclidean domains. It constructs explicit optimal target spaces belonging to the rearrangement-invariant class and also optimal within the Hölder, Morrey, and Campanato classes. A sympathetic reader would care because these targets give the precise endpoint for how much regularity is gained under the embedding, which controls the conclusions one can draw about functions satisfying differential equations. The results keep the assumptions on the domain as weak as possible while covering the generalized versions of the spaces.

Core claim

This paper shows that the Sobolev embedding of any integer order for a generalized Lorentz-Zygmund space on a Euclidean domain with minimal regularity admits explicit optimal targets that are rearrangement-invariant spaces as well as optimal Hölder, Morrey, and Campanato spaces.

What carries the argument

Explicit optimal target spaces exhibited in the rearrangement-invariant, Hölder, Morrey, and Campanato classes for the embeddings of any integer order.

If this is right

  • The embeddings hold with the same optimal targets for every integer order.
  • Optimality is achieved simultaneously in the rearrangement-invariant setting and in the Hölder, Morrey, and Campanato settings.
  • The results apply under only the weakest regularity assumptions on the domain.
  • These targets give the sharpest possible conclusion about the image of the embedding operator.

Where Pith is reading between the lines

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

  • The explicit targets could be plugged into existence proofs for elliptic or parabolic equations on domains with corners or cusps.
  • Similar explicit constructions might be attempted for fractional-order versions of the same spaces.
  • Numerical checks of the embedding on model domains with minimal regularity could confirm whether the stated targets are attained.

Load-bearing premise

Euclidean domains are assumed to satisfy only minimal regularity conditions.

What would settle it

A concrete function belonging to a generalized Lorentz-Zygmund-Sobolev space whose image under the embedding operator lies outside one of the claimed optimal target spaces on a domain with minimal regularity would disprove the optimality claim.

read the original abstract

This work deals with embeddings, of any integer order, for generalized Lorentz-Zygmund-Sobolev spaces on Euclidean domains satisfying minimal regularity assumptions. Explicit rearrangement-invariant, H\"older, Morrey and Campanato optimal target spaces are exhibited.

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 / 0 minor

Summary. The paper establishes Sobolev embeddings of any integer order for generalized Lorentz-Zygmund-Sobolev spaces on Euclidean domains satisfying only minimal regularity assumptions. It exhibits explicit rearrangement-invariant, Hölder, Morrey, and Campanato spaces as optimal targets for these embeddings.

Significance. If the optimality claims hold under the stated domain hypotheses, the work supplies concrete, explicit target spaces across multiple scales (rearrangement-invariant, Hölder, Morrey, Campanato) for a broad family of generalized Lorentz-Zygmund spaces. The explicit character of the targets constitutes a concrete advance over existence-only results.

major comments (1)
  1. [Abstract] Abstract (p. 1): the central claim that explicit optimal targets exist for embeddings of any integer order k>1 on domains satisfying only 'minimal regularity assumptions' is load-bearing. Higher-order optimality typically requires either iterated first-order embeddings or direct extremal-function constructions whose validity depends on extension operators or rearrangement inequalities that hold under John or uniform domain conditions; the abstract gives no indication that the paper verifies these properties remain valid or that the counterexamples stay sharp under the weaker hypotheses.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and valuable feedback on our manuscript. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (p. 1): the central claim that explicit optimal targets exist for embeddings of any integer order k>1 on domains satisfying only 'minimal regularity assumptions' is load-bearing. Higher-order optimality typically requires either iterated first-order embeddings or direct extremal-function constructions whose validity depends on extension operators or rearrangement inequalities that hold under John or uniform domain conditions; the abstract gives no indication that the paper verifies these properties remain valid or that the counterexamples stay sharp under the weaker hypotheses.

    Authors: The manuscript verifies the optimality claims for embeddings of any integer order k>1 under the stated minimal regularity assumptions on the domains. The proofs in Sections 3--5 establish both the embeddings and their sharpness via iterated first-order results combined with direct extremal-function constructions; these arguments rely only on the minimal domain hypotheses and do not invoke stronger conditions such as the John or uniform domain property. The extension operators and rearrangement inequalities needed are shown to hold in this setting, and the counterexamples remain sharp. We agree that the abstract could more explicitly signal this verification and will revise it accordingly. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation self-contained

full rationale

The provided abstract and description present a standard result in functional analysis: the exhibition of explicit optimal target spaces (rearrangement-invariant, Hölder, Morrey, Campanato) for Sobolev embeddings of generalized Lorentz-Zygmund spaces on domains with minimal regularity. No equations, fitted parameters, self-definitions, or load-bearing self-citations are visible that would reduce any claimed prediction or optimality to an input by construction. The central claim is a theorem statement about existence of optimal targets, not a derivation that loops back to its own assumptions or prior self-work. This matches the expected honest non-finding for a pure existence/uniqueness result in embedding theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no free parameters, axioms, or invented entities can be identified from the provided information.

pith-pipeline@v0.9.0 · 5554 in / 968 out tokens · 16366 ms · 2026-05-25T08:21:52.566982+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages

  1. [1]

    Adams, J.J.F

    R.A. Adams, J.J.F. Fournier,Sobolev spaces, 2nd ed., Elsevier/Academic Press, Amsterdam, 2003

    work page 2003

  2. [2]

    Adams, J

    D.R. Adams, J. Xiao,Morrey spaces in harmonic analysis, Ark. Mat. 50 (2012), 201–230

    work page 2012

  3. [3]

    Almeida, S

    A. Almeida, S. Samko,Approximation in Morrey spaces, J. Funct. Anal. 272 (2017), 2392–2411

    work page 2017

  4. [4]

    Almeida, S

    A. Almeida, S. Samko,Approximation in generalized Morrey spaces, Georgian Math. J. 25 (2018), 155–168

    work page 2018

  5. [5]

    Bennett, K

    C. Bennett, K. Rudnick,On Lorentz-Zygmund spaces, Dissertationes Math. 175 (1980), 5–67

    work page 1980

  6. [6]

    Bennett, R

    C. Bennett, R. Sharpley,Interpolation of Operators, Academic Press, Inc., Boston, MA, 1988

    work page 1988

  7. [7]

    Breit, A

    D. Breit, A. Cianchi, L. Diening, S. Schwarzacher,Global Schauder estimates for thep-Laplace system, Arch. Ration. Mech. Anal. 243 (2022), 201–255

    work page 2022

  8. [8]

    Bressan,Lecture notes on functional analysis, With applications to linear partial differential equations, American Mathematical Society, Providence, RI, 2013

    A. Bressan,Lecture notes on functional analysis, With applications to linear partial differential equations, American Mathematical Society, Providence, RI, 2013

    work page 2013

  9. [9]

    Br´ ezis, F

    H. Br´ ezis, F. Browder,Partial differential equations in the 20th century, Adv. Math. 135 (1998), 76–144

    work page 1998

  10. [10]

    Br´ ezis, S

    H. Br´ ezis, S. Wainger,A note on limiting cases of Sobolev embeddings and convolution inequalities, Comm. Partial Differential Equations 5 (1980), 773–789

    work page 1980

  11. [11]

    Butaev, G

    A. Butaev, G. Dafni,Locally uniform domains and extension of BMO functions, Ann. Fenn. Math. 48 (2023), 567–567. OPTIMAL SOBOLEV EMBEDDINGS FOR GENERALIZED LORENTZ-ZYGMUND SPACES 29

    work page 2023

  12. [12]

    Campanato,Propriet` a di h¨ olderianit` a di alcune classi di funzioni, Ann

    S. Campanato,Propriet` a di h¨ olderianit` a di alcune classi di funzioni, Ann. Scuola Norm. Sup. Pisa 17 (1963), 175–188

    work page 1963

  13. [13]

    Campanato,Propriet` a di una famiglia di spazi funzionali, Ann

    S. Campanato,Propriet` a di una famiglia di spazi funzionali, Ann. Scuola Norm. Sup. Pisa 18 (1964), 137–160

    work page 1964

  14. [14]

    Cavaliere, A

    P. Cavaliere, A. Cianchi, L. Pick, L. Slav´ ıkov´ a,Higher-order Sobolev embeddings into spaces of Campanato and Morrey type, Nonlinear Anal. 251 (2025), 1–31

    work page 2025

  15. [15]

    D. Chae, J. Wolf,Transport equation in generalized Campanato spaces, Rev. Mat. Iberoam. 39 (2023), 1725–1770

    work page 2023

  16. [16]

    Cianchi, L

    A. Cianchi, L. Pick,Sobolev embeddings into BMO, VMO, andL ∞, Ark. Mat. 36 (1998), 317–340

    work page 1998

  17. [17]

    Cianchi, L

    A. Cianchi, L. Pick,Sobolev embeddings into spaces of Campanato, Morrey, and H¨ older type, J. Math. Anal. Appl. 282 (2003), 128–150

    work page 2003

  18. [18]

    Cianchi, L

    A. Cianchi, L. Pick, L. Slav´ ıkov´ a,Higher-order Sobolev embeddings and isoperimetric inequalities, Adv. Math. 273 (2015), 568–650

    work page 2015

  19. [19]

    Cianchi, M

    A. Cianchi, M. Randolfi,On the modulus of continuity of weakly differentiable functions, Indiana Univ. Math. J. 60 (2011), 1939–1973

    work page 2011

  20. [20]

    Cianchi, S

    A. Cianchi, S. Schwarzacher,Potential estimates for thep-Laplace system with data in divergence form, J. Differential Equations 265 (2018), 478–499

    work page 2018

  21. [21]

    Deng, X.T

    D. Deng, X.T. Duong, L. Yan,A characterization of the Morrey-Campanato spaces, Math. Z. 250 (2005), 641–655

    work page 2005

  22. [22]

    Diening, P

    L. Diening, P. Harjulehto, P. H¨ ast¨ o, M. R˚ uˇ ziˇ cka,Lebesgue and Sobolev Spaces with Variable Exponents, Lecture Notes in Mathematics, vol.2017, Springer, Heidelberg, 2011

    work page 2017

  23. [23]

    Edmunds, W.D

    D.E. Edmunds, W.D. Desmond,Hardy operators, function spaces and embeddings, Springer-Verlag, Berlin, 2004

    work page 2004

  24. [24]

    Edmunds, P

    D.E. Edmunds, P. Gurka, B. Opic,Double exponential integrability of convolution operators in generalized Lorentz- Zygmund spaces, Indiana Univ. Math. J. 44 (1995), 19–43

    work page 1995

  25. [25]

    Edmunds, P

    D.E. Edmunds, P. Gurka, B. Opic,Double exponential integrability, Bessel potentials and embedding theorems, Studia Math. 115 (1995), 151–181

    work page 1995

  26. [26]

    Edmunds, R

    D.E. Edmunds, R. Kerman, L. Pick,Optimal Sobolev imbeddings involving rearrangement-invariant quasinorms, J. Funct. Anal. 170 (2000), 307–355

    work page 2000

  27. [27]

    Evans, B

    W.D. Evans, B. Opic, L. Pick,Interpolation of integral operators on scales of generalized Lorentz-Zygmund spaces, Math. Nachr. 182 (1996), 127–181

    work page 1996

  28. [28]

    Gagliardo,Propriet` a di alcune classi di funzioni in pi` u variabili, Ricerche Mat

    E. Gagliardo,Propriet` a di alcune classi di funzioni in pi` u variabili, Ricerche Mat. 7 (1958), 102–137

    work page 1958

  29. [29]

    Gogatishvili, B

    A. Gogatishvili, B. Opic, L. Pick,Weighted inequalities for Hardy-type operators involving suprema, Collect. Math. 57 (2006), 227–255

    work page 2006

  30. [30]

    Hansson,Imbedding theorems of Sobolev type in potential theory, Math

    K. Hansson,Imbedding theorems of Sobolev type in potential theory, Math. Scand. 45 (1979), 77–102

    work page 1979

  31. [31]

    Henry,How to remember the Sobolev inequalities, in: Differential Equations (S˜ ao Paulo, 1981), Lecture Notes in Math., Springer, Berlin, Heidelberg 957 (1982), 97–109

    D.B. Henry,How to remember the Sobolev inequalities, in: Differential Equations (S˜ ao Paulo, 1981), Lecture Notes in Math., Springer, Berlin, Heidelberg 957 (1982), 97–109

    work page 1981

  32. [32]

    J. John, L. Nirenberg,On functions of bounded mean oscillation, Comm. Pure Appl. Math. 14 (1961), 415–426

    work page 1961

  33. [33]

    Jones,Quasiconformal mappings and extendability of functions in Sobolev spaces, Acta Math

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

    work page 1981

  34. [34]

    Judoviˇ c,Some estimates connected with integral operators and with solutions of elliptic equations, Dokl

    V.I. Judoviˇ c,Some estimates connected with integral operators and with solutions of elliptic equations, Dokl. Akad. Nauk SSSR 138 (1961), 805–808

    work page 1961

  35. [35]

    Kerman, L

    R. Kerman, L. Pick,Optimal Sobolev imbeddings, Forum Math. 18 (2006), 535–570

    work page 2006

  36. [36]

    Kerman, L

    R. Kerman, L. Pick,Explicit formulas for optimal rearrangement-invariant norms in Sobolev imbedding inequalities, Studia Math. 206 (2011), 97–119

    work page 2011

  37. [37]

    Korenovskii,Mean oscillations and equimeasurable rearrangements of functions, Springer, BerlinUMI, Bologna, 2007

    A. Korenovskii,Mean oscillations and equimeasurable rearrangements of functions, Springer, BerlinUMI, Bologna, 2007

    work page 2007

  38. [38]

    Manzo,Some characterizations of a family of spaces defined by means of oscillations, Houston J

    G. Manzo,Some characterizations of a family of spaces defined by means of oscillations, Houston J. Math. 47 (2021), 907–930

    work page 2021

  39. [39]

    Maz´ ya,Sobolev spaces with applications to elliptic partial differential equations

    V. Maz´ ya,Sobolev spaces with applications to elliptic partial differential equations. Second, revised and augmented edition, Springer, Heidelberg, 2011

    work page 2011

  40. [40]

    Mihula,Optimal behavior of weighted Hardy operators on rearrangement-invariant spaces, Math

    Z. Mihula,Optimal behavior of weighted Hardy operators on rearrangement-invariant spaces, Math. Nachr. 0296 (2023), 3492–3538

    work page 2023

  41. [41]

    Morrey,On the solutions of quasi-linear elliptic partial differential equations, Trans

    C.B. Morrey,On the solutions of quasi-linear elliptic partial differential equations, Trans. Amer. Math. Soc. 43 (1938), 126–166

    work page 1938

  42. [42]

    Moser,A sharp form of an inequality by N

    J. Moser,A sharp form of an inequality by N. Trudinger, Indiana U. Math. J. 11 (1971), 1077–1092

    work page 1971

  43. [43]

    Nirenberg,On elliptic partial differential equations, Ann

    L. Nirenberg,On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 13 (1959), 115–162

    work page 1959

  44. [44]

    B. Opic, L. Pick,On generalized Lorentz–Zygmund spaces, Math. Inequal. Appl. 2 (1999), 391–467

    work page 1999

  45. [45]

    O’Neil,Convolution operators andL(p, q)spaces, Duke Math

    R. O’Neil,Convolution operators andL(p, q)spaces, Duke Math. J. 30 (1963), 129–142

    work page 1963

  46. [46]

    Pedregal,Functional analysis, Sobolev spaces, and calculus of variations, Springer, Cham, 2024

    P. Pedregal,Functional analysis, Sobolev spaces, and calculus of variations, Springer, Cham, 2024

    work page 2024

  47. [47]

    Peetre,Espaces d’interpolation et th´ eor` eme de Soboleff, Ann

    J. Peetre,Espaces d’interpolation et th´ eor` eme de Soboleff, Ann. Inst. Fourier (Grenoble) 16 (1966), 279–317

    work page 1966

  48. [48]

    Peˇ sa,Lorentz–Karamata spaces, 2023

    D. Peˇ sa,Lorentz–Karamata spaces, 2023. arXiv:2006.14455v4 [math.FA], https://doi.org/10.48550/arXiv.2006.14455

    work page doi:10.48550/arxiv.2006.14455 2023

  49. [49]

    Pick,Optimality of function spaces in Sobolev embeddings, Advanced courses of mathematical analysis V, World Sci

    L. Pick,Optimality of function spaces in Sobolev embeddings, Advanced courses of mathematical analysis V, World Sci. Publ., Hackensack, NJ (2016), 49–117

    work page 2016

  50. [50]

    L. Pick, A. Kufner, O. John, S. Fuˇ c´ ık,Function spaces. Vol. 1. Second revised and extended edition, Walter de Gruyter & Co., Berlin, 2013

    work page 2013

  51. [51]

    Pohoˇ zaev,On the imbedding Sobolev theorem forpl=n, Doklady Conference Section Math

    S.I. Pohoˇ zaev,On the imbedding Sobolev theorem forpl=n, Doklady Conference Section Math. Moscow Power Inst. (Russian) 165 (1965), 158–170

    work page 1965

  52. [52]

    Rafeiro, N

    H. Rafeiro, N. Samko, S. Samko,Morrey-Campanato spaces: an overview, Oper. Theory Adv. Appl., Birkh¨ auser/Springer Basel AG, Basel 228 (2013), 293–323

    work page 2013

  53. [53]

    Sobolev,On a theorem of functional analysis, Mat

    S.L. Sobolev,On a theorem of functional analysis, Mat. Sbornik 4 (1938), 471–497. 30 PAOLA CAVALIERE AND LADISLAV DR ´AˇZN´Y

    work page 1938

  54. [54]

    Sobolev,Some applications of functional analysis in mathematical physics, Translations of Mathematical Monographs, 90, Amer

    S.L. Sobolev,Some applications of functional analysis in mathematical physics, Translations of Mathematical Monographs, 90, Amer. Math. Soc., Providence, RI, 1991

    work page 1991

  55. [55]

    Spanne,Some function spaces defined using the mean oscillation over cubes, Ann

    S. Spanne,Some function spaces defined using the mean oscillation over cubes, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19 (1965), 563–608

    work page 1965

  56. [56]

    Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, 1993

    E. Stein,Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, 1993

    work page 1993

  57. [57]

    Triebel,Theory of Function Spaces

    H. Triebel,Theory of Function Spaces. Vol. II, Birkh¨ auser Verlag, Basel, 1992

    work page 1992

  58. [58]

    Trudinger,On imbeddings into Orlicz spaces and some applications, J

    N.S. Trudinger,On imbeddings into Orlicz spaces and some applications, J. Math. Mech. 17 (1967), 473–483. Dipartimento di Matematica, Universit`a di Salerno, Via Giovanni Paolo II, 84084 Fisciano (SA), Italy Email address, Corresponding author:pcavaliere@unisa.it Department of Mathematical Analysis, Faculty of Mathematics and Physics, Charles University, ...

    work page 1967