Pith. sign in

REVIEW 3 major objections 5 minor 32 references

A large scaling property of level sets for degenerate $p$-Laplacian equations with logarithmic BMO matrix weights

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves a large-scaling level-set inequality for the fractional maximal distribution of $|P\nabla u|^p$ for degenerate $p$-Laplacian equations with log-BMO matrix weights, and derives global regularity comparisons in weighted…

desk verdict The formal level-set framework is clean, but the proof of the key estimate (4.16) makes an invalid moment comparison, so the main theorem as stated is not proven. read the letter →

arxiv 2506.00390 v1 pith:PTEGLHYQ submitted 2025-05-31 math.AP

Thanh-Nhan Nguyen , Minh-Phuong Tran This is my paper
classification math.AP MSC 35B6535J7035R0546E30
keywords p-Laplaciandegeneratematrixweightslog-BMOconditionMuckenhouptfractionalmaximaloperatorlevel-setestimatesCalderón-ZygmundtheoryLorentzandMorreyspaces
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 attempts to establish a large-scaling level-set inequality for the gradient of weak solutions to the degenerate $p$-Laplacian equation with a symmetric positive-definite matrix weight $P$ whose logarithm has small BMO norm, on domains whose boundaries are only mildly Lipschitz. The inequality says that the weighted measure of the set where the fractional maximal operator $M_\alpha$ applied to $|P\nabla u|^p$ exceeds the high threshold $\varepsilon^{-\theta}\lambda$ is bounded by a small factor $\varepsilon$ times the measure at level $\lambda$, up to a data term involving $|PG|^p$ at the scale $\varepsilon^{\gamma}\lambda$. If true, the estimate transfers regularity from the data $G=F+\nabla g$ to the solution gradient $P\nabla u$ in any rearrangement-invariant space whose quasinorm is compatible with such distribution functions, in particular weighted generalized Lorentz and Morrey spaces. A reader should care because this extends Calderón-Zygmund gradient regularity for degenerate nonlinear problems under minimal weight and boundary assumptions beyond Lebesgue spaces.

What carries the argument

The mechanism is the fractional maximal operator $M_\alpha f(z)=\sup_{\varrho>0}\varrho^\alpha \fint_{B(z,\varrho)} |f(\zeta)|\,d\zeta$, paired with the weighted distribution function $d^\mu_\alpha(f,\lambda)=\mu(\{M_\alpha f>\lambda\})$ for a Muckenhoupt weight $\mu\in A_\infty$. The proof of Theorem 1.1 is a Calderón-Zygmund-type covering argument: on each ball it compares $u$ with the homogeneous solution $v$ of the same equation with zero right-hand side, uses the reverse Hölder inequality (3.10) imported from [4] and [3] to upgrade the $L^p$ bound of $v$ to $L^{p\gamma}$ for every $\gamma\ge 1$, and then chooses the free parameters $\gamma$, $\delta$, $\theta$ so that every power of $\varepsilon$ in the resulting estimates has exponent larger than one. This last choice is what makes the inequality 'large scaling': the small factor $\varepsilon$ is absorbable, so the inequality can be integrated against doubling functions $\Sigma$ in the generalized Lorentz setting and against the maximal function of a ball in the Morrey setting.

What would settle it

Test the imported reverse Hölder inequality (3.10) on a concrete two-dimensional example: a $(\kappa,r_0)$-Lipschitz corner domain and a diagonal matrix weight $P=\operatorname{diag}(\omega,1)$ whose logarithm has small BMO norm. Compute the optimal constant $C(\gamma)$ in (3.10) as $\gamma\to\infty$; if the constant grows beyond what the covering argument can absorb, or if the inequality fails for large $\gamma$ at all, then the exponents in Theorem 1.1 cannot be chosen and the claimed result would not follow from the argument.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for every small $\varepsilon>0$ and every $\theta>0$, there exist an exponent $\gamma$ and a smallness threshold $\kappa$ such that, whenever $\log P$ is $(\kappa,r_0)$-small-log-BMO and $\Omega$ is $(\kappa,r_0)$-Lipschitz, the inequality $d^\mu_\alpha(|P\nabla u|^p;\varepsilon^{-\theta}\lambda) \le C\varepsilon\,d^\mu_\alpha(|P\nabla u|^p;\lambda)+d^\mu_\alpha(|PG|^p;\varepsilon^{\gamma}\lambda)$ holds for every $\lambda>0$, where $d^\mu_\alpha(f,\lambda)=\mu(\{M_\alpha f>\lambda\})$ is the weighted distribution function of the fractional maximal operator and $G=F+\nabla g$ encodes the right-hand side and boundary data. From this large-scaling level-set estimate the paper derives Theorem 1.2: the fractional maximal function of the solution gradient is controlled by that of the data, $\|M_\alpha(|P\nabla u|^p)\|_S \le C\,\|M_\alpha(|PG|^p)\|_S$, in weighted generalized Lorentz spaces, two-weight generalized Lorentz spaces, and generalized Morrey spaces. The key point is that the inequality separates the scales $\varepsilon^{-\theta}\lambda$ and $\varepsilon^{\gamma}\lambda$ so that, after integration against the appropriate quasinorm, the small factor $\varepsilon$ absorbs the term involving the solution and only the data term remains.

Load-bearing premise

The load-bearing premise is that the homogeneous comparison solution $v$ satisfies a higher-integrability (reverse Hölder) bound with a constant that works for every exponent $\gamma\ge 1$, a statement the paper imports from [3] and [4] without reproving; if that bound only holds up to some finite $\gamma$, the covering argument in Theorem 1.1 cannot push the epsilon-powers past one, and the main estimate would fail.

Editorial extensions

If this is right

  • If Theorem 1.1 is correct, the weighted Lorentz estimate $\|M_\alpha(|P\nabla u|^p)\|_{L^{q,s}_{\mu}} \le C\,\|M_\alpha(|PG|^p)\|_{L^{q,s}_{\mu}}$ follows for every $0<q<\infty$ and $0<s\le\infty$, with the smallness threshold $\kappa$ depending only on the data and indices.
  • The same comparability holds in two-weight generalized Lorentz spaces $L^{q,s}_{\mu,\nu}$ whenever the secondary weight $\nu$ is doubling, because the doubling function $\Sigma$ can be pushed through the level-set inequality.
  • In generalized Morrey spaces $M^{q,\psi}$, the level-set inequality yields $\|M_\alpha(|P\nabla u|^p)\|_{M^{q,\psi}} \le C\,\|M_\alpha(|PG|^p)\|_{M^{q,\psi}}$ for any $q>0$ and any $\psi$ satisfying $\psi(x,2t)\le 2^{\upsilon}\psi(x,t)$ with $0<\upsilon<n$.
  • Together, these results show that global Calderón-Zygmund regularity for degenerate $p$-Laplacian problems with log-BMO matrix weights is not confined to Lebesgue spaces but holds across the entire rearrangement-invariant scale of distribution-based spaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the large-scaling level-set inequality is transferable; any degenerate nonlinear problem admitting comparison estimates of the same form and a reverse Hölder bound at every $\gamma\ge 1$ would inherit the same distribution-function inequality, so the covering template is not tied to the $p$-Laplacian structure.
  • Editorial inference: because $M_\alpha$ is closely related to the Riesz potential $I_\alpha$, the same inequality may imply fractional-differentiability bounds for the gradient, a direction the paper mentions but does not pursue.
  • Editorial inference: the imported higher-integrability estimate (3.10) is the natural place to probe sharpness; an explicit proof of (3.10) for $\gamma\to\infty$ would quantify the admissible log-BMO and Lipschitz constants, while a counterexample would restrict Theorem 1.1 to smaller exponents.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The manuscript studies the degenerate p-Laplacian equation (1.1) with a symmetric positive definite matrix weight P satisfying a small log-BMO condition, on (κ, r0)-Lipschitz domains. It states a 'large scaling' level-set estimate, Theorem 1.1, for the fractional maximal distribution functions dµ_α: for every ε>0 and θ>0 there are γ and κ such that dµ_α(|P∇u|^p; ε^{-θ}λ) ≤ Cε dµ_α(|P∇u|^p; λ) + dµ_α(|PG|^p; ε^γλ) for all λ>0. From this, it derives estimates in weighted Lorentz spaces, generalized Lorentz spaces, and generalized Morrey spaces (Theorems 4.1–4.3, summarized as Theorem 1.2). The proof combines comparison estimates for homogeneous problems (Lemma 3.3), a Calderón–Zygmund covering lemma, and a level-set argument with fractional maximal operators.

Significance. If Theorem 1.1 were correct, it would provide a unified and elegant way to transfer Mα-bounds from the data G=F+∇g to the gradient ∇u in a variety of function spaces under minimal boundary assumptions. The use of fractional maximal level-set distribution functions is novel in this degenerate setting, and the comparison estimates in Lemma 3.3 are a useful contribution. The paper explicitly builds on and extends recent work of Balci–Diening–Giova–Passarelli di Napoli and Balci–Byun–Diening–Lee, so the technical framework is of interest to the regularity-theory community. However, the proof of the key level-set estimate contains a serious gap that invalidates the main theorem as stated.

major comments (3)
  1. [Section 4, Eq. (4.16)] The derivation of the L^{pγ}-norm bound for ∇v is invalid. The reverse Hölder estimate (4.11) contains the term (∫_{8Ω\tilde B}|P∇g|^{pγ})^{1/γ}, but the proof replaces this term by (∫|P∇g|^p)^γ, using only the L^1 bound (4.14) coming from Mα(|PG|^p) ≤ ε^γλ. Since g is only assumed to lie in W^{1,p}_ω, the pγ-moment of ∇g is not controlled by the available information; Jensen's inequality gives the reverse comparison, so the higher-integrability estimate for ∇v cannot be concluded. Consequently, (4.16) is unsupported, and the set estimate (4.17) and the Calderón–Zygmund condition (4.7) do not follow. This is a load-bearing error for Theorem 1.1.
  2. [Section 4, Eq. (4.17)] The bound (4.17) does not follow from Lemma 2.7 as stated. Lemma 2.7 gives global weak-type estimates of the form |{M_α f > t}| ≤ C(∫|f|/t)^{n/(n-α)} (and the corresponding q-version), with no factor |B| or ρ^n. The displayed expression in the proof inserts a factor ρ^n and leaves residual powers of λ; after substituting (4.15)–(4.16), the exponents on ρ and λ do not cancel as claimed. Thus the final estimate |D∩B| ≤ C(ε^a + ε^b)|B| is not justified, even if (4.16) were available. This is a second load-bearing gap in the proof of Theorem 1.1.
  3. [Section 3, Lemma 3.3] Inequality (3.10) is imported from [4, Theorem 2] and [3, inequality (3.123)] with the assertion that it holds for every γ≥1, but the statement and proof are not reproduced. The proof of Theorem 1.1 requires γ arbitrarily large (close to n/α) to make the exponent θnγ/(n−αγ) larger than 1. If the cited results only establish (3.10) for a bounded range of γ, the level-set argument collapses. The authors should either state the precise external theorem with its hypotheses and the admissible range of γ, or provide a self-contained proof.
minor comments (5)
  1. [Abstract] The sentence beginning 'It has been already observed in previous interesting works ... that gaining Calderón-Zygmund estimates ...' is grammatically incomplete and should be revised.
  2. [Section 1.1] The phrase 'Muckenhoupt weights behave in a multiplicative form' is unclear; please clarify the intended meaning.
  3. [Lemma 3.3] The integration domains in (3.9) are ambiguous; the notation Ω_B and λΩ_B is not used consistently, making it difficult to verify the comparison estimate.
  4. [Section 4, Eq. (4.11)] The third integral on the right-hand side of (4.11) uses the notation Ω8\tilde B, which is inconsistent with the notation in Lemma 3.3; please align the notation.
  5. [Section 4, Eq. (4.20)] In the change of variables leading to (4.20), the exponent on ε in the first term on the right-hand side appears to be missing a factor; please verify the computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the level-set inequality is proved from explicit comparison estimates and an external reverse-Hölder result, not from its target assumption.

full rationale

Theorem 1.1 is a good-lambda type level-set estimate for the fractional maximal distribution of |P∇u|^p. The proof establishes (4.2) through a Calderón-Zygmund covering argument, using Lemma 3.3 to compare u with a homogeneous reference solution v. Lemma 3.3's comparison estimate (3.9) is proved directly from the weak formulation, while the reverse Hölder estimate (3.10) is explicitly imported from external sources: 'The reverse Hölder's inequality (3.10) is a consequence of the main results in [4] and [3] for the homogeneous problem (3.11).' These are prior works by Balci, Diening, and coauthors, not by the present authors. The authors' own earlier work [25] is cited for the level-set/Mα framework and distribution-function notation, but the present argument does not invoke [25]'s theorem as a black box; the covering, comparison, and distribution-function manipulations are carried out explicitly in the paper. The function-space corollaries in Section 4 are direct integrations of Theorem 1.1 against the defining quasi-norms of the relevant spaces; that is a legitimate specialization rather than a circular renaming. No fitted parameter is renamed as a prediction, and no uniqueness claim is imported from the authors' own prior work. The most serious issue in the proof is the step (4.16), where the pγ-moment of ∇g appears to be controlled by an L^1 quantity; this is a correctness concern about the proof as written, not evidence that the theorem is equivalent to its assumptions. Overall, the derivation chain does not reduce, by definition or by self-citation, to the target inequality.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof does not introduce new entities or fit constants to data. Its main non-standard input is the higher-integrability estimate (3.10) for degenerate p-harmonic comparison functions, taken from the prior works [3,4]. The paper's own contribution is the level-set covering argument, which follows the framework of the authors' [25].

assumptions (5)
  • domain assumption Small log-BMO condition on the matrix weight P (Assumption A1)
    This ensures |P|^p ∈ A_p via Lemma 2.4 and enables the comparison estimates from [4,3].
  • domain assumption Boundary is (κ,r0)-Lipschitz with small κ (Assumption A2)
    Needed for global comparison estimates and the Calderón-Zygmund covering lemma; the paper cites [3] for sharpness.
  • domain assumption Reverse Hölder / higher-integrability estimate for the homogeneous problem, equation (3.10), for every γ ≥ 1
    Imported from [4, Theorem 2] and [3, inequality (3.123)]; this is the load-bearing estimate in Lemma 3.3 and is not proved in the paper.
  • standard math Fractional maximal operator weak-type estimate and Muckenhoupt doubling properties (Lemma 2.7, Remark 2.2)
    Standard real analysis tools used throughout the proof.
  • domain assumption Existence of a weak solution u in W^{1,p}_{0,ω} under the assumptions
    Guaranteed by Lemma 3.1 via ω^p ∈ A_p.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A large scaling property of level sets for degenerate $p$-Laplacian equations with logarithmic BMO matrix weights." pith.science (2026). https://pith.science/paper/PTEGLHYQ

@misc{pith2026250600390,
  author       = {Pith},
  title        = {Pith review of: A large scaling property of level sets for degenerate $p$-Laplacian equations with logarithmic BMO matrix weights},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PTEGLHYQ}},
  note         = {Machine review of arXiv:2506.00390}
}
abstract

In this study, we deal with generalized regularity properties for solutions to $p$-Laplace equations with degenerate matrix weights. It has already been observed in previous interesting works [A. Kh. Balci, L. Diening, R. Giova, A. Passarelli di Napoli, SIAM J. Math. Anal. 54(2022), 2373-2412] and [A. Kh. Balci, S.-S. Byun, L. Diening, H.-S. Lee, J. Math. Pures Appl. (9) 177(2023), 484-530] that gaining Calder\'on-Zygmund estimates for nonlinear equations with degenerate weights under the so-called $\log$-$\mathrm{BMO}$ condition and minimal regularity assumption on the boundary. In this paper, we also follow this direction and extend general gradient estimates for level sets of the gradient of solutions up to more subtle function spaces. In particular, we construct a covering of the super-level sets of the spatial gradient $|\nabla u|$ with respect to a large scaling parameter via fractional maximal operators.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [25]

    Nguyen, M.-P

    T.-N. Nguyen, M.-P. Tran, Level-set inequalities on fractional maximal distribution functions and applications to regularity theory , J. Funct. Anal., 280(1) (2021), 108797

    work page 2021

  2. [1]

    Acerbi, G

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

    work page 2007

  3. [2]

    Auscher, M

    P. Auscher, M. Qafsaoui, Observations on W 1,p estimates for divergence elliptic equations with VMO coefficients, Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8), 5(2) (2002), 487–509

    work page 2002

  4. [3]

    A. Kh. Balci, S.-S. Byun, L. Diening, H.-S. Lee, Global maximal regularity for equations with degenerate weights, J. Math. Pures Appl. (9), 177 (2023), 484–530

    work page 2023

  5. [4]

    A. Kh. Balci, L. Diening, R. Giova, A. Passarelli di Napoli, Elliptic equations with degenerate weights, SIAM J. Math. Anal., 54(2) (2022), 2373–2412

    work page 2022

  6. [5]

    Byun, Elliptic equations with BMO coefficients in Lipschitz domains , Trans

    S. Byun, Elliptic equations with BMO coefficients in Lipschitz domains , Trans. Amer. Math. Soc., 357(3) (2005), 1025–1046

    work page 2005

  7. [6]

    S.-S. Byun, Y. Cho, Calder´ on-Zygmund estimates for nonlinear elliptic obstacle problems with log-BMO matrix weights , Discrete Continuous Dyn. Syst. Ser. B., 29(12) (2024), 4772–4792

    work page 2024

  8. [7]

    S.-S. Byun, L. Wang, Elliptic equations with BMO coefficients in Reifenberg domains , Comm. Pure Appl. Math., 57 (2004), 1283–1310

    work page 2004

Show all 32 references
  1. [8]

    L. A. Caffarelli, The obstacle problem revisited , J. Fourier Anal. Appl., 4 (1998), 383–402

    1998

  2. [9]

    L. A. Caffarelli, X. Cabr´ e,Fully nonlinear elliptic equations , American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, 43(1) (1995), 1–21

    1995

  3. [10]

    D. Cao, T. Mengesha, T. Phan, Weighted-W 1,p estimates for weak solutions of degenerate and singular elliptic equations , Indiana Univ. Math. J., 67(6) (2018), 2225–2277

    2018

  4. [11]

    D. Cao, T. Mengesha, T. Phan, Gradient estimates for weak solutions of linear elliptic sys- tems with singular-degenerate coefficients , Nonlinear dispersive waves and fluids. Vol. 725. Contemp. Math. Amer. Math. Soc., Providence, RI, 2019, 13–33

    2019

  5. [12]

    Coifman, R

    R. Coifman, R. Rochberg, Another characterization of B.M.O., Proc. Amer. Math. Soc., 7¯9(2) (1980), 249–254

    1980

  6. [13]

    Diening, M

    L. Diening, M. Fornasier, R. Tomasi, M. Wank, A Relaxed Kaˇ canov iteration for thep-poisson problem, Numer. Math., 145 (2020), 1–34

    2020

  7. [14]

    E. B. Fabes, C. E. Kenig, R. P. Serapioni, The local regularity of solutions of degenerate elliptic equations, Comm. Partial Differential Equations, 7(1) (1982), 77–116

    1982

  8. [15]

    Di Fazio, M

    G. Di Fazio, M. S. Fanciullo, P. Zamboni, Lp estimates for degenerate elliptic systems with VMO coefficients, Algebra i Analiz, 25(6) (2013), 24–36. 22

    2013

  9. [16]

    Di Nezza, G

    E. Di Nezza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces , Bull. Sci. Math., 136 (2011), 521–573

    2011

  10. [17]

    Gilbarg, N

    D. Gilbarg, N. Trudinger, Elliptic Partial Differential Equations of second order , Springer, 1983

    1983

  11. [18]

    Grafakos, Classical and Modern Fourier Analysis , Pearson Edu

    L. Grafakos, Classical and Modern Fourier Analysis , Pearson Edu. Inc., Upper Saddle River, 2004

    2004

  12. [19]

    Hajlasz, Boundary behavior of Sobolev mappings , Proc

    P. Hajlasz, Boundary behavior of Sobolev mappings , Proc. Amer. Math. Soc., 123(4) (1995), 1145–1148

    1995

  13. [20]

    Hedberg, On certain convolution inequalities, Proc

    L. Hedberg, On certain convolution inequalities, Proc. Amer. Math. Soc., 36 (1972), 505–510

    1972

  14. [21]

    Kinnunen, E

    J. Kinnunen, E. Saksman, Regularity of the fractional maximal function , Bull. London Math. Soc., 35(4) (2003), 529–535

    2003

  15. [22]

    Kinnunen, S

    J. Kinnunen, S. Zhou, A Local estimate for nonlinear equations with discontinuous coefficients, 24 (1999), 2043–2068

    1999

  16. [23]

    N. G. Meyers, An Lp-estimate for the gradient of solutions of second order elliptic divergence equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3), 17 (1963), 189–206

    1963

  17. [24]

    Nguyen, M.-P

    T.-N. Nguyen, M.-P. Tran, Lorentz improving estimates for the p-Laplace equations with mixed data, Nonlinear Anal., 200 (2020), 111960

    2020

  18. [26]

    Nguyen, M.-P

    T.-N. Nguyen, M.-P. Tran, N.-T.-N. Tran, Regularity estimates for stationary Stokes problem in some generalized function spaces , Z. Angew. Math. Phys., 74(1) (2023), 24

    2023

  19. [27]

    Phan, Weighted Calder´ on-Zygmund estimates for weak solutions of quasi-linear degenerate elliptic equations , Potential Anal., 52(3) (2020), 393–425

    T. Phan, Weighted Calder´ on-Zygmund estimates for weak solutions of quasi-linear degenerate elliptic equations , Potential Anal., 52(3) (2020), 393–425

    2020

  20. [28]

    Tran, Good-λ type bounds of quasilinear elliptic equations for the singular case, Nonlinear Anal., 178 (2019), 266–281

    M.-P. Tran, Good-λ type bounds of quasilinear elliptic equations for the singular case, Nonlinear Anal., 178 (2019), 266–281

    2019

  21. [29]

    Tran, T.-N

    M.-P. Tran, T.-N. Nguyen, New gradient estimates for solutions to quasilinear divergence form elliptic equations with general Dirichlet boundary data, J. Diff. Equ., 268(4) (2020), 1427-1462

    2020

  22. [30]

    Tran, T.-N

    M.-P. Tran, T.-N. Nguyen, Global Lorentz estimates for non-uniformly nonlinear elliptic equa- tions via fractional maximal operators , J. Math. Anal. Appl., 501(1) (2021), 124084

    2021

  23. [31]

    Tran, T.-N

    M.-P. Tran, T.-N. Nguyen, Gradient estimates via Riesz potentials and fractional maximal op- erators for quasilinear elliptic equations with applications , Nonlinear Anal. Real World Appl., 69 (2023), 103750

    2023

  24. [32]

    Vitali, Sui gruppi di punti e sulle funzioni di variabili reali , Atti Accad

    G. Vitali, Sui gruppi di punti e sulle funzioni di variabili reali , Atti Accad. Sci. Torino, 43 (1908), 229–246. 23

    1908

Pith tools

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