pith. sign in

arxiv: 2605.02470 · v1 · submitted 2026-05-04 · 🧮 math.AP

Gradient estimates for degenerate elliptic measure data problems with double phase

Kyeong Song , Yeonghun Youn This is my paper

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

classification 🧮 math.AP
keywords gradient estimatesdouble phasemeasure dataelliptic equationsSOLAdegenerate ellipticCalderón-Zygmund
0
0 comments X

The pith

Under newly identified assumptions on the exponents and the coefficient, local Calderón–Zygmund gradient estimates hold for solutions obtained as limits of approximations to double-phase elliptic equations with measure data.

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

The paper focuses on nonlinear elliptic equations with a double-phase growth condition, where the principal part of the operator switches between two different powers p and q depending on a modulating function a(x). It considers the case in which the right-hand side is a signed Borel measure of finite mass, and seeks regularity information for the gradient of solutions that are obtained as limits of approximations. The central contribution is the identification of new, natural assumptions on p, q, and a(·) that make it possible to prove local Calderón–Zygmund-type estimates on the gradient. These estimates would provide quantitative control on how the solution varies, even when the data is highly singular.

Core claim

We prove local Calderón–Zygmund type gradient estimates for SOLA by finding new and natural assumptions on p, q and a(·) for the equation -div(|Du|^{p-2}Du + a(x)|Du|^{q-2}Du) = μ.

What carries the argument

New and natural assumptions on the exponents p and q together with the coefficient a(·) that allow closing the gradient estimates for the double-phase operator with measure data.

If this is right

  • SOLA to the double-phase equation with measure data possess local gradient estimates of Calderón–Zygmund type.
  • The estimates hold under the identified conditions relating p, q, and a(·).
  • The results extend prior gradient estimates to the setting of singular measure data for this class of degenerate operators.

Where Pith is reading between the lines

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

  • These assumptions may prove useful in establishing similar estimates for related operators or in higher dimensions.
  • One could investigate whether the conditions are also necessary by attempting to construct counterexamples when they fail.

Load-bearing premise

The new assumptions on p, q and a(·) are sufficient to close the gradient estimates for the double-phase operator with measure data.

What would settle it

Constructing a specific example with p, q, a(·) satisfying the assumptions and a measure μ where the SOLA gradient fails to obey the claimed Calderón–Zygmund estimate would disprove the result.

read the original abstract

We study nonlinear elliptic equations modeled on \[ -\mathrm{div}\,(|Du|^{p-2}Du+a(x)|Du|^{q-2}Du) = \mu, \] where $2\le p<q<\infty$, $a(\cdot) \ge 0$, and $\mu$ is a signed Borel measure with finite total mass. We prove local Calder\'on--Zygmund type gradient estimates for SOLA (Solutions Obtained as Limits of Approximations) by finding new and natural assumptions on $p$, $q$ and $a(\cdot)$.

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

Summary. The manuscript studies the double-phase degenerate elliptic equation -div(|Du|^{p-2}Du + a(x)|Du|^{q-2}Du) = μ with 2 ≤ p < q < ∞, a(·) ≥ 0, and μ a signed Borel measure of finite total mass. It claims to establish local Calderón–Zygmund-type gradient estimates for SOLA by introducing new structural assumptions on the exponents p, q and the coefficient a(·).

Significance. If the new assumptions on p, q and a(·) prove sufficient to close the estimates, the result would extend existing gradient theory for non-standard-growth operators to the measure-data setting, providing a natural framework for handling the degeneracy ratio q/p and the oscillation of a(·) in approximation arguments.

major comments (2)
  1. [Abstract and §1 (Introduction)] The abstract asserts that new assumptions on p, q and a(·) suffice to obtain the gradient estimates for SOLA, yet supplies neither the explicit form of these assumptions (e.g., any Hölder or logarithmic modulus on a(·), any restriction relating q/p to dimension or measure density) nor the key comparison lemmas that control the passage from regularized problems to the limit SOLA. This is the load-bearing step for the central claim.
  2. [§4 (Proof of the main estimates)] Without the detailed derivation of the Calderón–Zygmund estimates (including error controls in the approximation procedure), it is impossible to verify that the stated assumptions are both necessary and sufficient rather than artificially restrictive; the manuscript must exhibit the precise interaction between the oscillation of a(·) and the degeneracy ratio in the Caccioppoli-type inequalities.
minor comments (1)
  1. [Abstract] The abstract would benefit from a one-sentence statement of the new assumptions to allow readers to assess novelty immediately.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the major comments point by point below and will revise the manuscript to improve clarity where appropriate.

read point-by-point responses

  1. Referee: [Abstract and §1 (Introduction)] The abstract asserts that new assumptions on p, q and a(·) suffice to obtain the gradient estimates for SOLA, yet supplies neither the explicit form of these assumptions (e.g., any Hölder or logarithmic modulus on a(·), any restriction relating q/p to dimension or measure density) nor the key comparison lemmas that control the passage from regularized problems to the limit SOLA. This is the load-bearing step for the central claim.

    Authors: The explicit assumptions appear in Section 2 (Assumption 2.1): a(·) satisfies a logarithmic modulus of continuity, and the ratio q/p is controlled in terms of the dimension n and the total variation of μ. The comparison lemmas controlling the approximation to SOLA are stated as Lemmas 3.2 and 3.4. We agree the abstract should summarize these assumptions and will revise it accordingly in the next version. revision: yes

  2. Referee: [§4 (Proof of the main estimates)] Without the detailed derivation of the Calderón–Zygmund estimates (including error controls in the approximation procedure), it is impossible to verify that the stated assumptions are both necessary and sufficient rather than artificially restrictive; the manuscript must exhibit the precise interaction between the oscillation of a(·) and the degeneracy ratio in the Caccioppoli-type inequalities.

    Authors: The derivation of the estimates, including the adapted Caccioppoli inequalities and error controls for the approximation procedure, is given in Section 4 (see (4.8)–(4.25)). The interaction between the oscillation of a(·) and the ratio q/p is handled via the logarithmic modulus assumption, which permits absorption of error terms during the iteration. If the referee finds the level of detail insufficient for verification, we will expand the relevant estimates and explanations in the revised manuscript. revision: partial

Circularity Check

0 steps flagged

No circularity: direct proof under newly introduced structural assumptions

full rationale

The paper states that it proves local Calderón–Zygmund gradient estimates for SOLA of the double-phase equation with measure data by establishing new assumptions on the exponents p < q and the weight a(·). No quoted equations, lemmas, or steps in the provided abstract or description reduce a claimed prediction or result to a fitted parameter, self-citation chain, or definitional tautology. The derivation is presented as self-contained once the hypotheses on p, q, and a(·) are fixed; these hypotheses are not derived from the target estimates themselves. This is the normal case of an independent analytic proof.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities. The central claim rests on whatever structural hypotheses on p, q and a(·) are introduced in the full text.

pith-pipeline@v0.9.0 · 5385 in / 1194 out tokens · 58670 ms · 2026-05-08T18:32:24.909741+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Gradient estimates for singular elliptic measure data problems with double phase

    math.AP 2026-05 unverdicted novelty 5.0

    Proves local Calderón-Zygmund estimates for gradients of solutions to singular double-phase elliptic measure data problems for 2-1/n < p < 2 under natural assumptions on p, q, and a(x).

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper

  1. [1]

    Acerbi and G

    E. Acerbi and G. Mingione,Gradient estimates for a class of parabolic systems, Duke Math. J.136(2007), no. 2, 285–320

    work page 2007

  2. [2]

    Baasandorj and S.-S

    S. Baasandorj and S.-S. Byun,Regularity for Orlicz phase problems, Mem. Amer. Math. Soc.308(2025), no. 1556, v+131 pp

    work page 2025

  3. [3]

    Baasandorj, S.-S

    S. Baasandorj, S.-S. Byun, and W. Kim,Self-improving properties of very weak solutions to double phase systems, Trans. Amer. Math. Soc.376(2023), no. 12, 8733–8768

    work page 2023

  4. [4]

    Baroni,Riesz potential estimates for a general class of quasilinear equations, Calc

    P. Baroni,Riesz potential estimates for a general class of quasilinear equations, Calc. Var. Partial Differential Equations53(2015), no. 3-4, 803–846

    work page 2015

  5. [5]

    Baroni, M

    P. Baroni, M. Colombo, and G. Mingione,Harnack inequalities for double phase functionals, Nonlinear Anal. 121(2015), 206–222

    work page 2015

  6. [6]

    Baroni, M

    P. Baroni, M. Colombo, and G. Mingione,Regularity for general functionals with double phase, Calc. Var. Partial Differential Equations57(2018), no. 2, Paper No. 62, 48

    work page 2018

  7. [7]

    B´ enilan, L

    P. B´ enilan, L. Boccardo, T. Gallou¨ et, R. Gariepy, M. Pierre, and J. L. V´ azquez ,AnL1-theory of existence and uniqueness of solutions of nonlinear elliptic equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)22(1995), 241–273

    work page 1995

  8. [8]

    Boccardo and T

    L. Boccardo and T. Gallou¨ et,Nonlinear elliptic and parabolic equations involving measure data, J. Funct. Anal.87(1989), no. 1, 149–169

    work page 1989

  9. [9]

    S.-S. Byun, N. Cho, and Y. Youn,Existence and regularity of solutions for nonlinear measure data problems with general growth, Calc. Var. Partial Differential Equations60(2021), no. 2, 1–26

    work page 2021

  10. [10]

    S.-S. Byun, N. Cho, and Y. Youn,Global gradient estimates for a borderline case of double phase problems with measure data, J. Math. Anal. Appl.501(2021), no. 1, Paper No. 124072, 31

    work page 2021

  11. [11]

    Byun and M

    S.-S. Byun and M. Lim,Calder´ on-Zygmund estimates for non-uniformly elliptic equations with discontinuous nonlinearities on nonsmooth domains, J. Differential Equations312(2022), 374–406

    work page 2022

  12. [12]

    Byun and J

    S.-S. Byun and J. Oh,Global gradient estimates for non-uniformly elliptic equations, Calc. Var. Partial Dif- ferential Equations56(2017), no. 2, Paper No. 46, 36 pp

    work page 2017

  13. [13]

    S.-S. Byun, J. Ok, and J.-T. Park,Regularity estimates for quasilinear elliptic equations with variable growth involving measure data, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire34(2017), no. 7, 1639–1667

    work page 2017

  14. [14]

    S.-S. Byun, P. Shin, and K. Song,Fractional differentiability for a class of double phase problems with measure data, Manuscripta Math.167(2022), no. 3-4, 521–543

    work page 2022

  15. [15]

    Chlebicka,A pocket guide to nonlinear differential equations in Musielak–Orlicz spaces, Nonlinear Anal

    I. Chlebicka,A pocket guide to nonlinear differential equations in Musielak–Orlicz spaces, Nonlinear Anal. 175(2018), 1–27

    work page 2018

  16. [16]

    Cianchi and V

    A. Cianchi and V. Maz’ya,Quasilinear elliptic problems with general growth and merely integrable, or measure, data, Nonlinear Anal.164(2017), 189–215

    work page 2017

  17. [17]

    Colombo and G

    M. Colombo and G. Mingione,Bounded minimisers of double phase variational integrals, Arch. Ration. Mech. Anal.218(2015), no. 1, 219–273

    work page 2015

  18. [18]

    Colombo and G

    M. Colombo and G. Mingione,Regularity for double phase variational problems, Arch. Ration. Mech. Anal. 215(2015), no. 2, 443–496

    work page 2015

  19. [19]

    Colombo and G

    M. Colombo and G. Mingione,Calder´ on-Zygmund estimates and non-uniformly elliptic operators, J. Funct. Anal.270(2016), no. 4, 1416–1478

    work page 2016

  20. [20]

    Dal Maso, F

    G. Dal Maso, F. Murat, L. Orsina, and A. Prignet,Renormalized solutions of elliptic equations with general measure data, Ann. Sc. Norm. Super. Pisa Cl. Sci. (4)28(1999), no. 4, 741–808

    work page 1999

  21. [21]

    De Filippis and G

    C. De Filippis and G. Mingione,A borderline case of Calder´ on-Zygmund estimates for nonuniformly elliptic problems, St. Petersburg Math. J.31(2020), no. 3, 455–477

    work page 2020

  22. [22]

    Diening and F

    L. Diening and F. Ettwein,Fractional estimates for non-differentiable elliptic systems with general growth, Forum Math.20(2008), no. 3 523–556

    work page 2008

  23. [23]

    Esposito, F

    L. Esposito, F. Leonetti, and G. Mingione,Sharp regularity for functionals with(p, q)growth, J. Differential Equations204(2004), no. 1, 5–55

    work page 2004

  24. [24]

    Giusti,Direct methods in the calculus of variations, World Scientific Publishing Co., Inc., River Edge, NJ, 2003

    E. Giusti,Direct methods in the calculus of variations, World Scientific Publishing Co., Inc., River Edge, NJ, 2003. 24 SONG AND YOUN

    work page 2003

  25. [25]

    Harjulehto and P

    P. Harjulehto and P. H¨ ast¨ o,Orlicz Spaces and Generalized Orlicz Spaces, Lecture Notes in Mathematics, vol

    work page

  26. [26]

    Springer, Cham (2019)

    work page 2019

  27. [27]

    Kuusi and G

    T. Kuusi and G. Mingione,Guide to nonlinear potential estimates, Bull. Math. Sci.4(2014), no. 1, 1–82

    work page 2014

  28. [28]

    G. M. Lieberman,The natural generalization of the natural conditions of Ladyzhenskaya and Ural’tseva for elliptic equations, Comm. Partial Differential Equations16(1991), no. 2-3, 311–361

    work page 1991

  29. [29]

    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

    work page 2007

  30. [30]

    Mingione,Gradient estimates below the duality exponent, Math

    G. Mingione,Gradient estimates below the duality exponent, Math. Ann.346(2010), no. 3, 571–627

    work page 2010

  31. [31]

    Mingione and V

    G. Mingione and V. Rˇ adulescu,Recent developments in problems with nonstandard growth and nonuniform ellipticity, J. Math. Anal. Appl.501(2021), no. 1, Paper No. 125197, 41

    work page 2021

  32. [32]

    Nguyen and N

    Q.-H. Nguyen and N. C. Phuc,Good-λand Muckenhoupt-Wheeden type bounds in quasilinear measure datum problems, with applications, Math. Ann.374(2019), no. 1-2, 67–98

    work page 2019

  33. [33]

    Nguyen and N

    Q.-H. Nguyen and N. C. Phuc,A comparison estimate for singularp-Laplace equations and its consequences, Arch. Ration. Mech. Anal.247(2023), no. 3, 49

    work page 2023

  34. [34]

    Ok,Regularity ofω-minimizers for a class of functionals with non-standard growth, Calc

    J. Ok,Regularity ofω-minimizers for a class of functionals with non-standard growth, Calc. Var. Partial Differential Equations56(2) (2017), Paper No. 48, 31

    work page 2017

  35. [35]

    N. C. Phuc,Nonlinear Muckenhoupt-Wheenden type bounds on Reifenberg flat domains, with applications to quasilinear Riccati type equations, Adv. Math.250(2014), 387–419

    work page 2014

  36. [36]

    V. V. Zhikov,Averaging of functionals of the calculus of variations and elasticity theory, Izv. Akad. Nauk SSSR Ser. Mat.50(1986), no. 4, 675–710, 877

    work page 1986

  37. [37]

    V. V. Zhikov,On Lavrentiev’s phenomenon, Russian J. Math. Phys.3(1995), no. 2, 249–269. School of Mathematics, Korea Institute for Advanced Study, Seoul 02455, Republic of Korea Email address:kyeongsong@kias.re.kr Department of Mathematics Education, Incheon National University, Incheon 21999, Republic of Korea Email address:yeonghunyoun@inu.ac.kr

    work page 1995