pith. sign in

arxiv: 2606.26642 · v1 · pith:ERYJD3DEnew · submitted 2026-06-25 · 🧮 math.AP

Almost Lipschitz regularity for solutions of elliptic equations with discontinuous coefficients

Raffaella Giova , Antonio Giuseppe Grimaldi , Stefania Russo This is my paper

Pith reviewed 2026-06-26 04:12 UTC · model grok-4.3

classification 🧮 math.AP
keywords elliptic equationshigher integrabilityBesov regularitydiscontinuous coefficientsfinite difference quotientsalmost Lipschitz continuityHölder continuity
0
0 comments X

The pith

Besov regularity on coefficients and data yields gradients in every L^q for elliptic equations with linear growth.

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

The paper shows that if the map x to A(x, ξ) and the right-hand side f satisfy suitable Besov conditions, then weak solutions to the elliptic equation -div A(x, Du) = f(x) have their gradients locally in L^q for every finite q. This almost-Lipschitz property immediately implies that the solutions themselves are locally Hölder continuous for every exponent strictly less than 1. The proof proceeds by testing the equation against a test function built from a power of the finite-difference quotient of the solution, which produces the required integrability improvement without needing an explicit second variation. An explicit example demonstrates that the conclusion is sharp within the scale of Lebesgue spaces.

Core claim

Under a Besov regularity assumption both on the partial map x ↦ A(x,ξ) and the datum f, solutions u to -div A(x, Du) = f(x) satisfy Du ∈ L^q_loc for every finite q; consequently u is locally γ-Hölder continuous for every γ ∈ (0,1).

What carries the argument

Testing the equation with a test function proportional to a positive power of the finite-difference quotient of the solution.

If this is right

  • Solutions become locally γ-Hölder continuous for every γ ∈ (0,1).
  • The same conclusion applies to any elliptic equation whose principal part has linear growth.
  • The technique supplies an integrability improvement that cannot be obtained by classical difference-quotient arguments without the Besov assumption.

Where Pith is reading between the lines

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

  • The method may extend to other quasilinear problems whose second variation is unavailable or hard to control.
  • Relaxing the Besov hypothesis on A or f is likely to stop the estimate at some finite q rather than arbitrary q.
  • The sharpness example indicates that Lebesgue spaces form the natural endpoint for this type of conclusion.

Load-bearing premise

The Besov regularity placed on the coefficients and on f is strong enough that the powered difference-quotient test closes and produces an integrability gain beyond the natural exponent.

What would settle it

An explicit example in which the coefficients or the datum fail the stated Besov condition while the solution gradient lies outside some L^q space would falsify the claim; the paper constructs one that saturates the Lebesgue-scale conclusion.

read the original abstract

We are interested in the local higher integrability of solutions to elliptic equations with linear growth of the form $$-\text{ div}A(x,Du)=f(x). $$ Under a Besov regularity assumption both on the partial map $x \mapsto A(x,\xi)$ and the datum $f$, we prove that the solutions are almost Lipschitz continuous, i.e. their gradients belong locally to $L^q$, for any finite exponent $q$. In turn, solutions are locally $\gamma$-H\"older continuous, for every $\gamma \in (0,1)$. The difficulty arising from the lack of an explicit second variation for the problem is overcome by testing the equation with a function proportional to a power of the finite difference quotient of the solution. To the best of our knowledge, this technique is used in this context for the first time. We also provide an example showing the sharpness of our result in the scale of Lebesgue spaces.

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 proves almost Lipschitz regularity for weak solutions to the elliptic equation -div A(x, Du) = f(x) with linear growth. Under Besov regularity assumptions on the map x ↦ A(x, ξ) (for fixed ξ) and on the datum f, the gradient Du belongs to L^q_loc for every finite q; consequently u is locally γ-Hölder continuous for every γ ∈ (0,1). The proof proceeds by testing the equation against a test function proportional to a suitable power of the finite difference quotient of u, overcoming the absence of an explicit second variation. An example is given to show sharpness of the result within the scale of Lebesgue spaces.

Significance. If the central theorem is correct, the result extends higher-integrability theory for elliptic equations with discontinuous coefficients to the almost-Lipschitz regime by means of Besov assumptions, which is a meaningful advance in the field. The first-time use of powered difference-quotient testing in this linear-growth setting is a technical contribution that may be reusable.

major comments (2)
  1. [Abstract / proof outline] The abstract states that Besov regularity on x ↦ A(x, ξ) and on f is sufficient to close the higher-integrability estimate obtained by testing with the powered difference quotient, yet the precise embedding or interpolation step that converts the Besov norms into the required integrability gain on the difference quotients is not visible from the supplied material; this step is load-bearing for the claim that any finite q is attained.
  2. [Abstract] The sharpness example is announced but its construction (in particular the precise Besov indices and the resulting integrability threshold for Du) is not described; without this, it is impossible to confirm that the result is optimal in the Lebesgue scale as asserted.
minor comments (2)
  1. [Introduction] The title refers to 'discontinuous coefficients' while the hypothesis is Besov regularity; a brief clarification in the introduction on how Besov spaces accommodate discontinuities would improve readability.
  2. Notation for the Besov spaces (e.g., the precise parameters s, p, q) should be fixed at first appearance and used consistently throughout the statements of the main theorem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the significance of the result. We respond point-by-point to the major comments below.

read point-by-point responses

  1. Referee: [Abstract / proof outline] The abstract states that Besov regularity on x ↦ A(x, ξ) and on f is sufficient to close the higher-integrability estimate obtained by testing with the powered difference quotient, yet the precise embedding or interpolation step that converts the Besov norms into the required integrability gain on the difference quotients is not visible from the supplied material; this step is load-bearing for the claim that any finite q is attained.

    Authors: The interpolation step is carried out explicitly in the proof of the main theorem (Section 3). We invoke the characterization of Besov spaces via difference quotients together with the embedding B^{s}_{p,∞} ↪ L^{p^*} (with p^* depending on s) to convert the assumed Besov regularity of A(·,ξ) and f into an L^r integrability gain on the difference quotients of Du for any finite r. This gain is then absorbed into the testing procedure to reach arbitrary q. The abstract is intentionally concise; the full argument appears in the body of the paper. We are prepared to insert a one-sentence outline of this embedding into the abstract if the referee considers it helpful. revision: partial

  2. Referee: [Abstract] The sharpness example is announced but its construction (in particular the precise Besov indices and the resulting integrability threshold for Du) is not described; without this, it is impossible to confirm that the result is optimal in the Lebesgue scale as asserted.

    Authors: The construction is given in full in Section 5. We exhibit a coefficient A(x,ξ) whose x-dependence lies in B^α_{∞,∞} for α<1 (but not in any B^β_{∞,∞} with β>α) and a datum f in a matching Besov class such that the corresponding solution satisfies Du ∈ L^q_loc for every q < 1/(1-α) while Du fails to belong to L^{1/(1-α)+ε}_loc for any ε>0. This threshold is sharp within the Lebesgue scale and matches the integrability obtained from the Besov assumption via the same embedding used in the positive result. The abstract only announces the example; the explicit indices and threshold appear in the dedicated section. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on a direct testing argument with powered difference quotients applied to the elliptic equation under given Besov regularity assumptions on A(x,ξ) and f. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The result is presented as obtained from the testing procedure without circular closure to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no explicit list of free parameters or invented entities; the Besov assumption is a domain assumption on the data.

axioms (1)
  • domain assumption The map x ↦ A(x,ξ) belongs to a Besov space for each fixed ξ, and f belongs to a Besov space.
    Stated in the abstract as the hypothesis under which the higher-integrability conclusion holds.

pith-pipeline@v0.9.1-grok · 5696 in / 1261 out tokens · 31689 ms · 2026-06-26T04:12:30.557044+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

42 extracted references · 2 canonical work pages

  1. [1]

    Acerbi and G

    E. Acerbi and G. Mingione , Gradient estimates for the p(x) -Laplacean system, J. Reine Ang. Math. (Crelles J.) 584 (2005), 117--148

    2005

  2. [2]

    Baison, A

    A.L. Baison, A. Clop, R. Giova, J. Orobitg and A. Passarelli di Napoli , Fractional differentiability for solutions of nonlinear elliptic equations, Potential Anal. 46(3) 403--430 (2017)

    2017

  3. [3]

    Bais\'on, A

    A.L. Bais\'on, A. Clop and J. Orobitg , Beltrami equations with coefficient in the fractional Sobolev space W^ , 2 , Proc. Amer. Math. Soc. 145 (2017), 1, 139--149

    2017

  4. [4]

    Balci, L

    A. Balci, L. Diening and M.Weimar , Higher order Calderón–Zygmund estimates for the p -Laplace equation, J. Differential Equations 268 2020, no. 2, 590--635

    2020

  5. [5]

    Bögelein, F

    V. Bögelein, F. Duzaar, N. Liao, G. Molica Bisci and R. Servadei Regularity for the fractional p-Laplace equation, Journal of Functional Analysis, 289, 9, (2025)

    2025

  6. [6]

    Cianchi, F

    A. Cianchi, F. Giannetti, A. Passarelli di Napoli and C. Scheven , Fractional higher differentiability of solutions to strongly nonlinear Stokes systems, preprint (2025), arXiv:2511.22675

    arXiv 2025

  7. [7]

    Cianchi and V.G

    A. Cianchi and V.G. Maz'ya , Global Lipschitz regularity for a class of quasilinear equations, Commun. Partial Differ. Equ. 36, 100--133 (2011)

    2011

  8. [8]

    A. Clop, R. Giova and A. Passarelli di Napoli , Besov regularity for solutions of p -harmonic equations, Advances in Nonlinear Analysis, vol. 8, no. 1, 2019, pp. 762--778

    2019

  9. [9]

    Colombo and G

    M. Colombo and G. Mingione , Calder\'on-Zygmund estimates and non-uniformly elliptic operators, J. Funct. Anal. 270 (2016), 141--1478

    2016

  10. [10]

    Cupini, F

    G. Cupini, F. Giannetti, R. Giova and A. Passarelli di Napoli , Higher integrability for minimizers of asymptotically convex integrals with discontinuous coefficients, Nonlinear Anal. 154 (2017) 7–24

    2017

  11. [11]

    Dahlkea, L

    S. Dahlkea, L. Diening, C. Hartmanna, B. Scharf and M. Weimar , Besov regularity of solutions to the p -Poisson equation, Nonlinear Anal. 130 (2016), 298--329

    2016

  12. [12]

    DiBenedetto and U

    E. DiBenedetto and U. Gianazza , Partial Differential Equations, Cornerstones, Birkh\"auser Cham

  13. [13]

    DiBenedetto and J.J

    E. DiBenedetto and J.J. Manfredi , On the higher integrability of the gradient of weak solutions of certain degenerate elliptic systems, Amer. J. Math. 115 (1993), 1107--1134

    1993

  14. [14]

    Eleuteri, P

    M. Eleuteri, P. Marcellini and E. Mascolo , Lipschitz estimates for systems with ellipticity conditions at infinity, Ann. Mat. Pura Appl., 195 (5), (2016), 1575--1603

    2016

  15. [15]

    Eleuteri and A

    M. Eleuteri and A. Passarelli di Napoli , Lipschitz Regularity for a Priori Bounded Minimizers of Integral Functionals with Nonstandard Growth, Potential Anal 62, 535--562 (2025)

    2025

  16. [16]

    Giaquinta and E

    M. Giaquinta and E. Giusti , On the regularity of the minima of variational integrals, Acta Math. 148, 31--46 (1982)

    1982

  17. [17]

    Giova , Besov regularity for solutions of elliptic equations with variable exponents, Mathematische Nachrichten

    R. Giova , Besov regularity for solutions of elliptic equations with variable exponents, Mathematische Nachrichten. 2020;293:1459--1480

    2020

  18. [18]

    Giova, A.G

    R. Giova, A.G. Grimaldi and A. Torricelli , Gradient regularity for a class of elliptic obstacle problems, Calc. Var. 64, 53 (2025)

    2025

  19. [19]

    Giusti , Direct methods in the calculus of variations, World scientific publishing Co., Singapore (2003)

    E. Giusti , Direct methods in the calculus of variations, World scientific publishing Co., Singapore (2003)

    2003

  20. [20]

    Grimaldi , Higher differentiability for bounded solutions to a class of obstacle problems with (p,q) -growth, Forum Math

    A.G. Grimaldi , Higher differentiability for bounded solutions to a class of obstacle problems with (p,q) -growth, Forum Math. 35(2), (2023), 457--485

    2023

  21. [21]

    Grimaldi and E

    A.G. Grimaldi and E. Ipocoana , Regularity results for H\"older minimizers to functionals with non-standard growth, Math. Nachr. 297(8), (2024), 3143--3164

    2024

  22. [22]

    Grimaldi, E

    A.G. Grimaldi, E. Mascolo and A. Passarelli di Napoli , Regularity for minimizers of scalar integral functionals with (p, q) -growth conditions, Nonlinear Differ. Equ. Appl. 31, 113 (2024)

    2024

  23. [23]

    Grimaldi and S

    A.G. Grimaldi and S. Russo , Regularity results for minimizers of non-autonomous integral functionals, Proceedings of the Royal Society of Edinburgh: Section A Mathematics, (2025), 1--28. doi:10.1017/prm.2025.10039

    work page doi:10.1017/prm.2025.10039 2025

  24. [24]

    Hajłasz , Sobolev spaces on an arbitrary metric space, Potential Anal 5, 403--415 (1996)

    P. Hajłasz , Sobolev spaces on an arbitrary metric space, Potential Anal 5, 403--415 (1996). https://doi.org/10.1007/BF00275475

    work page doi:10.1007/bf00275475 1996

  25. [25]

    Haroske , Envelopes and sharp embeddings of function spaces, Chapman and Hall CRC, Boca Raton (2006)

    D. Haroske , Envelopes and sharp embeddings of function spaces, Chapman and Hall CRC, Boca Raton (2006)

    2006

  26. [26]

    Iwaniec , Projections onto gradient fields and L^p -estimates for degenerated elliptic operators, Studia Math

    T. Iwaniec , Projections onto gradient fields and L^p -estimates for degenerated elliptic operators, Studia Math. 75 (1983), 293--312

    1983

  27. [27]

    Iwaniec , L^p -Theory of Quasiregular Mappings, Lecture Notes in Math, vol

    T. Iwaniec , L^p -Theory of Quasiregular Mappings, Lecture Notes in Math, vol. 1508, pp. 39--64. Springer, Berlin (1992)

    1992

  28. [28]

    Iwaniec and C

    T. Iwaniec and C. Sbordone , Riesz transforms and elliptic PDEs with VMO coefficients. J. Analyse Math. 74(1), 183–212 (1998)

    1998

  29. [29]

    T. Jin, V. Maz’ya, J. Van Schaftingen , Pathological solutions to elliptic problems in divergence form with continuous coefficients, C. R. Acad. Sci. Paris, Ser. I 347 (2009) 773--778

    2009

  30. [30]

    Kinnunen and S

    J. Kinnunen and S. Zhou , A local estimate for nonlinear equations with discontinuous coefficients, Comm. Partial Differential Equations 24 (1999), no. 11--12, 2043--2068

    1999

  31. [31]

    Kinnunen and S

    J. Kinnunen and S. Zhou , A boundary estimate for nonlinear equations with discontinuous coefficients, Differential Integral Equations 14 (2001), no. 4, 475--492

    2001

  32. [32]

    Koskela, D

    P. Koskela, D. Yang and Y. Zhou , Pointwise characterizations of Besov and Triebel-Lizorkin spaces and quasiconformal mappings, Adv. Math 226 (4), 3579--3621 (2011)

    2011

  33. [33]

    Kristensen and G

    J. Kristensen and G. Mingione , The singular set of minima of integral functionals, Arch. Ration. Mech. Anal. 180 (2006), 331--398

    2006

  34. [34]

    Kristensen and G

    J. Kristensen and G. Mingione , Boundary regularity in variational problems, Arch. Ration. Mech. Anal. 198 (2010), 369--455

    2010

  35. [35]

    Kuusi and G

    T. Kuusi and G. Mingione , A nonlinear Stein theorem, Calc. Var. Partial Differ. Equ. 51, 45--86 (2014)

    2014

  36. [36]

    Lieberman , The natural generalization of the natural conditions of Ladyzhenskaya and Ural'tseva for elliptic equations, Commun

    G.M. Lieberman , The natural generalization of the natural conditions of Ladyzhenskaya and Ural'tseva for elliptic equations, Commun. Partial Differ. Equ. 16, 311--361 (1991)

    1991

  37. [37]

    Manfredi , Regularity of the gradient for a class of nonlinear possibly degenerate elliptic equations, Ph.D

    J.J. Manfredi , Regularity of the gradient for a class of nonlinear possibly degenerate elliptic equations, Ph.D. Thesis, University of Washington, St. Louis

  38. [38]

    Mingione , The Calder\'on-Zygmund theory for elliptic problems with measure data, Ann

    G. Mingione , The Calder\'on-Zygmund theory for elliptic problems with measure data, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 6 (2007), no. 2, 195--261

    2007

  39. [39]

    Russo , On widely degenerate p-Laplace equations with symmetric data, Rev Mat Complut 38, 939–963 (2025)

    S. Russo , On widely degenerate p-Laplace equations with symmetric data, Rev Mat Complut 38, 939–963 (2025)

    2025

  40. [40]

    Seppecher , Generalized Morrey-Campanato estimates for elliptic equations with coefficients of integrable oscillation, arXiv:2606.20237

    L. Seppecher , Generalized Morrey-Campanato estimates for elliptic equations with coefficients of integrable oscillation, arXiv:2606.20237

    Pith/arXiv arXiv

  41. [41]

    Stein , Editor's note: the differentiability of functions in R ^n , Ann

    E.M. Stein , Editor's note: the differentiability of functions in R ^n , Ann. Math. (2) 113, 383--385 (1981)

    1981

  42. [42]

    Triebel , Theory of Function Spaces, Monogr

    H. Triebel , Theory of Function Spaces, Monogr. Math. 78, Birkh\"auser, Basel, 1983

    1983