pith. sign in

arxiv: 2606.20237 · v1 · pith:TGOR37FMnew · submitted 2026-06-18 · 🧮 math.AP · math.FA

Generalized Morrey-Campanato estimates for elliptic equations with coefficients of integrable oscillation

Laurent Seppecher (UCBL , ECL , MMCS , ICJ) This is my paper

Pith reviewed 2026-06-26 16:27 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords elliptic equationsMorrey-Campanato spacesregularity estimatesintegrable oscillationweak solutionsfractional Sobolev regularitydivergence form
0
0 comments X

The pith

Generalized Morrey-Campanato spaces control the gradient of weak solutions to elliptic equations when coefficients satisfy only an integrable oscillation condition.

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

The paper introduces generalized Morrey and Campanato spaces that replace the classical uniform boundedness requirement with suitable integrability conditions. These spaces are applied to prove that the gradient of weak solutions to the divergence-form equation -div(a ∇u) = div F belongs to the spaces whenever the coefficient a has integrable oscillation. The resulting estimates recover the classical Hölder and Lebesgue regularity results for the gradient and additionally yield fractional Sobolev regularity even when the coefficient is discontinuous and the gradient is not locally bounded. A reader would care because the framework extends regularity theory to rougher coefficients and source terms without extra smoothness assumptions.

Core claim

By replacing uniform boundedness in the definitions of Morrey and Campanato spaces with integrability conditions, the gradient of weak solutions to -div(a ∇u) = div F is shown to satisfy estimates in these generalized spaces provided the coefficient a satisfies an integrable oscillation condition. This recovers classical Hölder and Lebesgue estimates as special cases and produces fractional Sobolev regularity results in situations where the coefficient may be discontinuous and local boundedness of the gradient is not expected.

What carries the argument

Generalized Morrey-Campanato spaces obtained by replacing uniform boundedness with integrability conditions, used to control the gradient under the integrable oscillation assumption on the coefficient.

If this is right

  • Classical Hölder estimates for the gradient are recovered as special cases of the new estimates.
  • Lebesgue space estimates for the gradient follow directly from the generalized framework.
  • Fractional Sobolev regularity holds for the gradient even when the coefficient is discontinuous and the gradient is not locally bounded.
  • The estimates apply to equations with source terms of correspondingly low regularity.

Where Pith is reading between the lines

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

  • The generalized spaces could extend to other divergence-form operators or to systems of equations.
  • Numerical experiments on problems with discontinuous coefficients could test whether the predicted fractional Sobolev regularity appears in practice.
  • The integrability-based definition might connect to other function spaces that tolerate low regularity.

Load-bearing premise

The coefficient must satisfy an integrable oscillation condition that is sufficient for the generalized spaces to control the gradient without needing local boundedness.

What would settle it

An explicit elliptic equation with coefficient of integrable oscillation for which the gradient of a weak solution fails to lie in the predicted generalized space would disprove the estimates.

read the original abstract

This work concerns regularity properties of weak solutions to elliptic equations in divergence form -div(a$\nabla$u) = div F , under low regularity assumptions on both the coefficient a and the source term F . We introduce generalized Morrey and Campanato spaces extending the classical definitions by replacing uniform boundedness requirements with suitable integrability conditions. Within this framework, we establish regularity estimates for the gradient of weak solutions in these generalized spaces. As applications, we recover classical H{\"o}lder and Lebesgue estimates and derive fractional Sobolev regularity results. In particular, the proposed approach yields fractional Sobolev estimates in situations where the coefficient may be discontinuous and the gradient of the solution is not expected to be locally bounded.

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

2 major / 2 minor

Summary. The paper introduces generalized Morrey and Campanato spaces in which the classical uniform boundedness requirement is replaced by integrability conditions on the oscillation. For weak solutions of the divergence-form elliptic equation -div(a∇u)=div F, it proves gradient estimates in these spaces under the assumption that the coefficient a satisfies an integrable oscillation condition. Applications recover the classical Hölder and Lebesgue estimates and yield new fractional Sobolev regularity results, including cases where a is discontinuous and ∇u is not locally bounded.

Significance. If the central estimates hold, the work extends the scope of elliptic regularity theory to coefficients whose oscillation is merely integrable rather than small in BMO or VMO, and to solutions whose gradients need not be locally bounded. This could be useful for applications involving rough coefficients. The paper does not provide machine-checked proofs or parameter-free derivations.

major comments (2)
  1. [§4, Theorem 4.2] §4, Theorem 4.2 (main gradient estimate): the perturbation argument used to absorb the error term into the left-hand side appears to require quantitative smallness of the mean oscillation on the scale of each ball, yet the stated hypothesis on a is only global integrability of the oscillation; it is unclear whether this suffices to close the iteration or reverse-Hölder inequality without an additional vanishing or decay modulus.
  2. [§5.3] §5.3 (fractional Sobolev application): the passage from the generalized Campanato membership to fractional Sobolev regularity of ∇u relies on the same integrability condition on a; when a is merely discontinuous the local smallness needed for the standard difference-quotient or difference-of-scales argument may not be available, and the manuscript does not exhibit a concrete counter-example or additional hypothesis that would guarantee the result.
minor comments (2)
  1. [Definition 2.3] The notation for the generalized spaces (Definition 2.3) introduces several new parameters whose dependence on the integrability exponents is not made fully explicit in the statement of the main theorems.
  2. [Figure 1] Figure 1 (schematic of the generalized Campanato space) would benefit from a clearer indication of how the integrability condition replaces the classical sup bound.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the opportunity to clarify the arguments. The two major comments concern the closure of the perturbation/iteration in Theorem 4.2 and the passage to fractional Sobolev regularity in §5.3. We address each point below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§4, Theorem 4.2] §4, Theorem 4.2 (main gradient estimate): the perturbation argument used to absorb the error term into the left-hand side appears to require quantitative smallness of the mean oscillation on the scale of each ball, yet the stated hypothesis on a is only global integrability of the oscillation; it is unclear whether this suffices to close the iteration or reverse-Hölder inequality without an additional vanishing or decay modulus.

    Authors: The referee correctly identifies that a purely global integrability assumption on the oscillation does not automatically supply uniform smallness on every ball. In the proof of Theorem 4.2 the absorption step proceeds by first applying the generalized Morrey-Campanato norm to control the cumulative error over a Vitali covering; the integrability hypothesis then guarantees that the measure of the set of bad radii where the oscillation exceeds a fixed threshold is small enough to be absorbed into the left-hand side via a standard iteration lemma adapted to the generalized space. We agree that this mechanism should be stated more explicitly. We will insert a short auxiliary lemma (new Lemma 4.1) that extracts the necessary quantitative control from the global L^1 integrability of the oscillation and will rewrite the absorption paragraph in the proof of Theorem 4.2 to cite it. revision: yes

  2. Referee: [§5.3] §5.3 (fractional Sobolev application): the passage from the generalized Campanato membership to fractional Sobolev regularity of ∇u relies on the same integrability condition on a; when a is merely discontinuous the local smallness needed for the standard difference-quotient or difference-of-scales argument may not be available, and the manuscript does not exhibit a concrete counter-example or additional hypothesis that would guarantee the result.

    Authors: The argument in §5.3 does not invoke local smallness of a in the classical sense; instead it uses the generalized Campanato membership of ∇u (already established under the integrable-oscillation hypothesis) together with a difference-of-scales estimate that absorbs the coefficient oscillation directly into the Campanato seminorm. Because the target space already encodes the integrability of the oscillation, the difference quotients remain controlled without requiring pointwise continuity of a. We acknowledge that the manuscript does not contain an explicit counter-example showing necessity of the integrability condition, nor does it claim the result holds for merely measurable a. We will add a brief remark after Theorem 5.3 clarifying that the integrability assumption on a is essential for the argument and that the result is new precisely in the regime where a may be discontinuous. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation relies on standard elliptic theory and new space definitions without self-referential reduction.

full rationale

The paper introduces generalized Morrey-Campanato spaces by relaxing boundedness to integrability conditions on oscillation, then derives gradient estimates for weak solutions to -div(a∇u)=div F using these spaces. The abstract and claims indicate a theoretical extension of classical results (Hölder, Lebesgue, fractional Sobolev) under an integrable oscillation assumption on a, without any fitting of parameters to data, self-citation chains that bear the central load, or redefinition of outputs as inputs. No equations or steps reduce by construction to the inputs; the work is self-contained against external PDE benchmarks like freezing arguments and reverse-Hölder inequalities applied in the new spaces. This is the expected outcome for a pure analysis paper.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard assumptions of elliptic PDE theory and introduces new function spaces without additional fitted parameters or invented physical entities.

axioms (2)
  • domain assumption Weak solutions exist for the divergence-form equation under the given integrability assumptions on a and F.
    Invoked implicitly to state the regularity problem for u.
  • standard math Standard elliptic regularity theory applies when coefficients are smoother.
    Used to recover classical Hölder and Lebesgue estimates as special cases.
invented entities (1)
  • Generalized Morrey and Campanato spaces no independent evidence
    purpose: To measure oscillation via integrability instead of uniform boundedness for low-regularity coefficients.
    Defined by extending classical spaces; no independent evidence outside the paper is provided.

pith-pipeline@v0.9.1-grok · 5652 in / 1294 out tokens · 18346 ms · 2026-06-26T16:27:00.664588+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Almost Lipschitz regularity for solutions of elliptic equations with discontinuous coefficients

    math.AP 2026-06 unverdicted novelty 7.0

    Under Besov assumptions on A(x,ξ) and f, solutions to -div A(x,Du)=f have Du in L^q_loc for all finite q, hence are γ-Hölder continuous for any γ<1.

Reference graph

Works this paper leans on

20 extracted references · cited by 1 Pith paper

  1. [1]

    Beltrami equations with coefficient in the fractional sobolev spacewθ, 2 θ

    Antonio Baisón, Albert Clop, and Joan Orobitg. Beltrami equations with coefficient in the fractional sobolev spacewθ, 2 θ. Proceedings of the American Mathematical Society, 145(1):139–149, 2017. 25

    2017

  2. [2]

    Fractional differentiability for solutions of nonlinear elliptic equations.Potential Analysis, 46(3):403–430, 2017

    AntonioLBaisón, AlbertClop, RaffaellaGiova, JoanOrobitg, andAntoniaPassarellidi Napoli. Fractional differentiability for solutions of nonlinear elliptic equations.Potential Analysis, 46(3):403–430, 2017

    2017

  3. [3]

    Beltrami equations with coefficient in the sobolev space wˆ1,p

    Albert Clop, Daniel Faraco, Joan Mateu, Joan Orobitg, and Xiao Zhong. Beltrami equations with coefficient in the sobolev space wˆ1,p. 2009

    2009

  4. [4]

    Beltrami equation with coefficient in sobolev and besov spaces.Canadian Journal of Mathematics, 65(6):1217–1235, 2013

    Victor Cruz, Joan Mateu, and Joan Orobitg. Beltrami equation with coefficient in sobolev and besov spaces.Canadian Journal of Mathematics, 65(6):1217–1235, 2013

    2013

  5. [5]

    Sulla differenziabilitae l’analiticita delle estremali degli integrali multipli regolari.Ennio De Giorgi, 167, 1957

    Memoria di Ennio De Giorgi. Sulla differenziabilitae l’analiticita delle estremali degli integrali multipli regolari.Ennio De Giorgi, 167, 1957

    1957

  6. [6]

    Higher differentiability of minimizers of variational integrals with sobolev coefficients.Adv

    A Passarelli Di Napoli. Higher differentiability of minimizers of variational integrals with sobolev coefficients.Adv. Calc. Var, 7(1):59–89, 2014

    2014

  7. [7]

    Higher differentiability of solutions of elliptic systems with sobolev coefficients: the case p= n= 2.Potential Anal, 41(3):715–735, 2014

    A Passarelli Di Napoli. Higher differentiability of solutions of elliptic systems with sobolev coefficients: the case p= n= 2.Potential Anal, 41(3):715–735, 2014

    2014

  8. [8]

    Hˆp spaces of several variables

    Charles Fefferman and Elias M Stein. Hˆp spaces of several variables. 1972

    1972

  9. [9]

    Springer Science & Business Media, 2013

    Mariano Giaquinta and Luca Martinazzi.An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Springer Science & Business Media, 2013

    2013

  10. [10]

    Springer, 1998

    David Gilbarg, Neil S Trudinger, David Gilbarg, and NS Trudinger.Elliptic partial differential equations of second order, volume 2. Springer, 1998

    1998

  11. [11]

    Boundary regularity in variational problems

    Jan Kristensen and Giuseppe Mingione. Boundary regularity in variational problems. Archive for rational mechanics and analysis, 198(2):369–455, 2010

    2010

  12. [12]

    Universal potential estimates.Journal of Func- tional Analysis, 262(10):4205–4269, 2012

    Tuomo Kuusi and Giuseppe Mingione. Universal potential estimates.Journal of Func- tional Analysis, 262(10):4205–4269, 2012

    2012

  13. [13]

    Some remarks on the fefferman-stein inequality.Journal d’Analyse Mathématique, 112(1):329–349, 2010

    Andrei K Lerner. Some remarks on the fefferman-stein inequality.Journal d’Analyse Mathématique, 112(1):329–349, 2010

    2010

  14. [14]

    Anlp–estimate for the gradient of solutions of second order elliptic divergence equations

    Norman G Meyers. Anlp–estimate for the gradient of solutions of second order elliptic divergence equations. Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche, 17(3):189–206, 1963

    1963

  15. [15]

    The calderón-zygmund theory for elliptic problems with measure data

    Giuseppe Mingione. The calderón-zygmund theory for elliptic problems with measure data. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, 6(2):195–261, 2007

    2007

  16. [16]

    A new proof of de giorgi’s theorem concerning the regularity problem for elliptic differential equations.Communications on Pure and Applied Mathematics, 13(3):457–468, 1960

    Jürgen Moser. A new proof of de giorgi’s theorem concerning the regularity problem for elliptic differential equations.Communications on Pure and Applied Mathematics, 13(3):457–468, 1960

    1960

  17. [17]

    Continuity of solutions of parabolic and elliptic equations

    John Nash. Continuity of solutions of parabolic and elliptic equations. American Journal of Mathematics, 80(4):931–954, 1958

    1958

  18. [18]

    Morrey-campanato spaces: an overview

    Humberto Rafeiro, Natasha Samko, and Stefan Samko. Morrey-campanato spaces: an overview. Operator Theory, Pseudo-Differential Equations, and Mathematical Physics: The Vladimir Rabinovich Anniversary Volume, pages 293–323, 2012

    2012

  19. [19]

    Singular integrals and differentiability properties of functions

    Elias M Stein. Singular integrals and differentiability properties of functions. Num- ber 30. Princeton university press, 1970

    1970

  20. [20]

    Elliptic differential equations and obstacle problems

    Giovanni Maria Troianiello. Elliptic differential equations and obstacle problems . Springer Science & Business Media, 2013. 26

    2013