Pith. sign in

REVIEW 6 minor 72 references

Higher Regularity of Homogeneous Gradient Compositions for $p$-Laplace-Type Equations

T0 review · 0 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read For p-Laplace solutions, any smooth homogeneous function of the gradient of degree m > k/α is classically k-times differentiable, even across the critical set where the gradient vanishes.

desk verdict A clean, correct sufficient criterion for higher differentiability of homogeneous gradient compositions in p-Laplace-type problems; the scalar elliptic part is solid, the parabolic and porous-medium extensions are more compressed but honest. read the letter →

arxiv 2608.11586 v1 pith:MRTUJWU6 submitted 2026-08-12 math.AP

Quoc Hung Nguyen , Le Xuan Truong This is my paper · ORCID
classification math.AP MSC 35J9235K9235B6535J6035K65
keywords p-LaplaceequationgradientregularityhomogeneouscompositioncriticalsetSchauderestimatesystemporousmediumparabolic
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

This paper establishes a higher-regularity principle for the inhomogeneous $p$-Laplace equation: although a solution's gradient need not be $C^2$ near points where it vanishes, sufficiently high powers (or any smooth positively homogeneous function) of the gradient are classically $C^k$ across the entire critical set. The sufficient threshold is $m > k/\alpha$, where $\alpha$ is the gradient's Hölder exponent, capped at $\alpha \le 1/(p-1)$; the result therefore applies to every $p \in (1,\infty)$ once gradient Hölder regularity is known. The proof exploits an intrinsic scale $r \simeq |Du|^{1/\alpha}$ on which the equation becomes uniformly elliptic, so Schauder estimates control all derivatives, and an elementary extension lemma carries the zero values across the critical set. The same mechanism yields analogous statements for anisotropic equations, elliptic and parabolic $p$-Laplace systems, and high powers of nonnegative solutions of the porous medium equation.

What carries the argument

The central object is the intrinsic noncritical scale $r\simeq |Du|^{1/\alpha}$: at a point where $|Du|=q>0$, this is the radius on which the gradient stays comparable to $q$ by the Hölder assumption. After the normalization $v(y)=(u(x+ry)-u(x))/(rq)$, the equation becomes uniformly elliptic on a fixed ball, so classical Schauder estimates bound all derivatives of $v$ uniformly; the rescaled right-hand side is controlled exactly because $\alpha\le 1/(p-1)$. Rescaling back yields derivative decay $|D^\ell u(x)|\lesssim q^{1-(\ell-1)/\alpha}$ and, via homogeneity and the multivariate Faà di Bruno chain rule, $|D^j(\Phi(Du))|\lesssim q^{m-j/\alpha}$. The flat extension lemma (Lemma 2.1) then converts the decay estimate $|D^j F|\le C\,\operatorname{dist}(x,Z)^{\mu-j}$ with $\mu=\alpha m>k$ into genuine $C^k$ differentiability across the critical set, with all derivatives equal to zero on $Z$.

What would settle it

Find a weak solution of $\operatorname{div}(|Du|^{p-2}Du)=f$ with smooth $f$, whose gradient is Hölder continuous of exponent $\alpha\le 1/(p-1)$, and a smooth positively homogeneous $\Phi$ of degree $m>k/\alpha$ for which the continuous extension of $\Phi(Du)$ fails to be $C^k$ at a critical point. The theorem asserts no such pair exists; the one-dimensional profile (1.12) shows the strict inequality is necessary, so any violation would settle the claim.

Watch

Extended reading notes

Core claim

On the paper's own terms: Let $u$ solve $\operatorname{div}(|Du|^{p-2}Du)=f$ with smooth $f$, and assume the gradient is locally Hölder continuous with exponent $\alpha \le \min\{\alpha_0, 1/(p-1)\}$, where $\alpha_0$ is the classical exponent from gradient regularity theory. Then for any smooth $\Phi:\mathbb{R}^d\setminus\{0\}\to\mathbb{R}^N$ positively homogeneous of degree $m$, extended by $\Phi(0)=0$, the composition $\Phi(Du)$ lies in $C^k_{\rm loc}(\Omega;\mathbb{R}^N)$ whenever $m>k/\alpha$, and all derivatives of order at most $k$ vanish on the critical set $Z(u)=\{Du=0\}$. Quantitatively, near noncritical points the estimates read $|D^j(\Phi(Du))|\le C\,|Du|^{m-j/\alpha}$ for $0\le j\le k$. The same statement holds for autonomous anisotropic operators and for elliptic and parabolic $p$-Laplace systems; in the parabolic case spatial and temporal derivatives carry different homogeneity costs, and the argument gives $C^k$ criteria for high powers $u^m$ of nonnegative solutions of the porous medium equation.

Load-bearing premise

The argument presupposes that the gradient is already Hölder continuous with some exponent $\alpha \le \min\{\alpha_0, 1/(p-1)\}$; it does not prove that regularity, and the required degree $m>k/\alpha$ becomes more demanding if only a smaller exponent is available.

Editorial extensions

If this is right

  • For every $1<p<\infty$, once the gradient Hölder regularity (1.2) is in hand, $|Du|^m\in C^k_{\rm loc}$ for all $m>k/\alpha$; in particular, $|Du|^m\in C^1_{\rm loc}$ whenever $m>\max\{1/\alpha_0, p-1\}$.
  • The sufficient degree depends on the gradient Hölder exponent and the desired order, but not on the size of the datum $f$: a larger force changes only the constants and the neighborhood on which the intrinsic estimate applies, not the homogeneity threshold.
  • For vectorial $p$-Laplace systems, the same conclusion holds for $\Phi(DU)$ provided the full matrix gradient is Hölder continuous; the linearized operator is uniformly strongly elliptic on matrix annuli, which is all the Schauder bootstrap needs.
  • In the parabolic system, the regularity splits: spatial differentiability up to order $k$ requires $m>k\gamma$, while full space-time $C^k$ requires $m>k\eta$, where $\gamma$ and $\eta$ encode the separate spatial and temporal homogeneity costs.
  • For the porous medium equation, $u^m$ gains spatial $C^k$ and space-time $C^k$ regularity once $m$ exceeds the corresponding thresholds $\gamma_\mu$ or $\Lambda_\mu$, consistent with the free-boundary obstruction that the pressure power $u^{\mu-1}$ is typically Lipschitz but not $C^1$.

Reading between the lines

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

  • If better control of the forcing term (for instance, vanishing or smallness near the critical set) were available, the cap $\alpha\le 1/(p-1)$ might be relaxed and the homogeneity threshold lowered; the paper's normalization shows the cap is used only to keep the rescaled right-hand side bounded.
  • The argument suggests a general 'hidden smoothness' principle for degenerate operators whose ellipticity is homogeneous of degree $p-2$: whenever the gradient is Hölder continuous, homogeneous powers of the gradient become classically differentiable with a threshold tied to the ratio $m\alpha$; this could be probed for double-phase or variable-exponent operators as soon as gradient Hölder estimate
  • Because all derivatives up to order $k$ vanish on the critical set, $\Phi(Du)$ is flat to order $k$ near critical points; this flatness could serve as a quantitative tool to locate the critical set through the leading-order term $|Du|^{m-k/\alpha}$ in the derivative estimates, for instance in symmetry or nodal-set arguments.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper studies the classical higher regularity of positively homogeneous functions of the gradient of solutions to the inhomogeneous p-Laplace equation and several related problems. Theorem 1.1 states that if Du is locally C^{0,\alpha} with \alpha \le \min\{\alpha_0, 1/(p-1)\}, and \Phi is smooth away from zero and positively homogeneous of degree m, then \Phi(Du) is locally C^k whenever m>k/\alpha, with all derivatives up to order k vanishing on the critical set Z(u). The proof combines an intrinsic rescaling r\simeq |Du|^{1/\alpha}, uniform Schauder estimates on a normalized uniformly elliptic equation, and a flat extension lemma across Z(u). Analogous results are proved for autonomous anisotropic operators (Theorem 5.1), elliptic Uhlenbeck systems (Theorem 6.1), parabolic p-Laplace systems (Theorem 7.1), and powers of nonnegative solutions to the porous medium equation (Proposition 8.1).

Significance. If correct, the main theorem provides a clean, explicit sufficient condition for the C^k regularity of nonlinear gradient quantities across the critical set, complementing existing results on stress-field regularity and second-order estimates. The proof is transparent and self-contained for the scalar elliptic case, with no fitted parameters: the threshold is expressed purely in terms of the available H\"older exponent and the homogeneity degree. The conditional hypotheses (1.2), (7.4), and (8.2) are honestly stated, and for the scalar elliptic equation (1.2) is supplied by classical regularity theory. The extensions to vectorial, parabolic, and porous-medium settings enlarge the paper's scope. The main limitation is that the systems and parabolic results inherit the a priori H\"older assumption on the gradient or solution; this is clearly disclosed in the text. I found no internal inconsistency or circularity in the central derivation, and the constants are explicit or standard.

minor comments (6)
  1. [Section 7, proof of Theorem 7.1] The uniform parabolic bootstrap leading to (7.20) is asserted with a bare citation to [51]. I recommend adding two sentences explaining that the linearized coefficients DA(D_yV) have a uniform parabolic C^{0,\bar\alpha} norm on Q_2, using (7.4) and the definitions of r and \vartheta, and that iterative application of the linear parabolic Schauder theory gives (7.20). This will make the argument easier for readers to verify.
  2. [Remark 7.3] The notation (p-2)_+ and (2-p)_+ should be explicitly defined (for instance, as max{p-2,0} and max{2-p,0}) to avoid ambiguity.
  3. [Section 8, Proposition 8.1] The proof of (8.5)-(8.6) is summarized as "the same coordinatewise extension argument used in Theorem 7.1." Since the threshold in (8.6) involves \Lambda_\mu = \max\{\gamma_\mu,\eta_\mu\}, I suggest spelling out the margin calculation, e.g., that m-a\gamma_\mu-b\eta_\mu>1/\alpha for the spatial step follows from m>k\Lambda_\mu and a+b<k, in parallel with the presentation in Theorem 7.1.
  4. [Section 6, equation (6.16)] The notation \partial^P_i A^\beta_j(DV) is not defined. Please define the derivatives of A with respect to the matrix entries of P so that the pointwise form of the differentiated system is unambiguous.
  5. [Section 3, Lemma 3.1 proof] The passage from (3.7) to the energy estimate for \delta_h v is terse. Adding one sentence clarifying that (3.7) is tested with \zeta^2\delta_h v before passing to the limit would improve readability.
  6. [Section 3, Proposition 3.2] The statement that the constants in (3.19) may depend on H is slightly imprecise because the factor 1/8 in (3.15) is independent of H. A short clarification that H enters only through the choice of q_0 and the bound on the normalized right-hand side would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation reduces to external Hölder-gradient hypotheses and independent Schauder estimates, not to its own conclusion.

full rationale

The paper's central claim, Theorem 1.1, is a conditional implication: from the classical Hölder regularity of Du, expressed in (1.2), it derives C^k regularity of homogeneous compositions Phi(Du). The Hölder exponent alpha is an external input supplied by the classical theory of Evans, DiBenedetto, Tolksdorf, and Lieberman, and the paper explicitly caps it by min{alpha_0, 1/(p-1)} in (1.6). No parameter appearing in the conclusion is fitted to any subset of the data that the theorem then 'predicts.' The intrinsic scale r ~ q^{1/alpha} in (3.11) is chosen from the assumed Hölder modulus H in (3.2), and the normalized equation (3.16) is uniformly elliptic on a fixed ball thanks to (3.13)-(3.15). The Schauder bootstrap in Lemma 3.1 is cited to standard external sources [39,38], and the extension Lemma 2.1 is proved directly from the decay estimate (2.1). The derivative decay (4.1) and the vanishing statement (1.7) follow from scaling identities and Lemma 2.1, not from the conclusion being assumed. The anisotropic, vectorial, parabolic, and porous-medium results are explicitly conditional on stated Hölder assumptions such as (7.4) and (8.2), which are assumptions of the theorems rather than consequences being imported back into the proof. Self-citations in the bibliography are background references to prior work by the authors on measure-data estimates and are not load-bearing for the main argument. There is no uniqueness theorem, no renamed input, and no fitted parameter masquerading as a prediction. The derivation chain is self-contained once the classical Hölder hypotheses are granted, so the honest finding is absence of circularity.

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

No fitted constants or invented entities are introduced. The proof depends on classical gradient Hölder regularity, Schauder estimates, and explicit Hölder assumptions for parabolic and porous-medium cases; these are inputs, not outputs, so the ledger is short.

assumptions (5)
  • domain assumption Classical local C^{1,alpha_0} gradient regularity for the inhomogeneous p-Laplace equation, cited as (1.2).
    The whole theorem is conditional on this regularity input; it is proved in the literature (Evans, DiBenedetto, Tolksdorf, Lieberman), not in this paper.
  • standard math Interior Schauder estimates for uniformly elliptic equations in divergence and nondivergence form.
    Used in Lemma 3.1 to bootstrap normalized solutions; cited to Gilbarg-Trudinger.
  • standard math Schauder estimates for strongly elliptic systems and linear parabolic systems.
    Used in Sections 6 and 7; cited to Giaquinta-Martinazzi and Ladyzhenskaya-Solonnikov-Ural'tseva.
  • domain assumption Hölder continuity of DU for parabolic systems and of u for the porous medium equation, assumed as (7.4) and (8.2).
    These are explicit hypotheses, not derived here; the theorems are conditional on them.
  • domain assumption For p-Laplace systems, gradient Hölder regularity from Uhlenbeck theory or the explicit assumption (6.3).
    Theorem 6.1 assumes DU in C^{0,alpha_0}; the vectorial result is conditional on that assumption.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher Regularity of Homogeneous Gradient Compositions for $p$-Laplace-Type Equations." pith.science (2026). https://pith.science/paper/MRTUJWU6

@misc{pith2026260811586,
  author       = {Pith},
  title        = {Pith review of: Higher Regularity of Homogeneous Gradient Compositions for $p$-Laplace-Type Equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MRTUJWU6}},
  note         = {Machine review of arXiv:2608.11586}
}
abstract

In this paper, we study higher regularity of homogeneous functions of the gradient of solutions to the inhomogeneous $p$-Laplace equation $\operatorname{div}(|Du|^{p-2}Du)=f$. Although a solution need not be of class $C^2$ across its critical set, its gradient is locally H\"older continuous. Suppose that $Du\in C^{0,\alpha}_{\rm loc}$ with $\alpha\le 1/(p-1)$, and let $\Phi$ be smooth away from the origin and positively homogeneous of degree $m$. We prove that $\Phi(Du)\in C^k_{\rm loc}$ whenever $m>k/\alpha$. Moreover, all its derivatives of order at most $k$ vanish on the critical set. The proof uses the intrinsic scale $r\simeq |Du|^{1/\alpha}$, Schauder estimates for a normalized uniformly elliptic equation, and an extension lemma across the critical set. We also obtain corresponding results for autonomous anisotropic equations and for elliptic and parabolic $p$-Laplace systems, under the appropriate H\"older assumption on the gradient. Finally, the same argument gives $C^k$ regularity criteria for high powers of nonnegative solutions to the porous medium equation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

72 extracted references · 57 canonical work pages

  1. [1]

    C. A. Antonini, Local and globalC1,β-regularity for uniformly elliptic quasilinear equations ofp-Laplace and Orlicz–Laplace type, arXiv:2601.07140, 2026

    arXiv 2026

  2. [2]

    C. A. Antonini and A. Cianchi, Global Lipschitz regularity in anisotropic elliptic problems with natural gradient growth, arXiv:2507.14606, 2025

    work page arXiv 2025

  3. [3]

    C. A. Antonini, G. Ciraolo, and A. Farina, Interior regularity results for inhomogeneous anisotropic quasilinear equations,Math. Ann.387(2023), 1745–1776

    work page 2023

  4. [4]

    C. A. Antonini, A. Cianchi, G. Ciraolo, A. Farina, and V. Maz’ya, Global second-order estimates in anisotropic elliptic problems,Proc. Lond. Math. Soc.(3)130(2025), no. 3, Paper No. e70034, 60 pp. 19

    work page 2025

  5. [5]

    C. A. Antonini, G. Ciraolo, and F. Pagliarin, Second order regularity for degeneratep-Laplace type equations with log-concave weights,J. Lond. Math. Soc.(2)112(2025), no. 3, Paper No. e70299

    work page 2025

  6. [6]

    D. J. Araújo, E. V. Teixeira, and J. M. Urbano, A proof of theCp′ -regularity conjecture in the plane,Adv. Math.316(2017), 541–553. doi:10.1016/j.aim.2017.06.027

    doi:10.1016/j.aim.2017.06.027 2017

  7. [7]

    D. J. Araújo, E. V. Teixeira, and J. M. Urbano, Towards theCp′ -regularity conjecture in higher dimensions,Int. Math. Res. Not. IMRN(2018), no. 20, 6481–6495. doi:10.1093/imrn/rnx068

    doi:10.1093/imrn/rnx068 2018

  8. [8]

    Avelin, T

    B. Avelin, T. Kuusi, and G. Mingione, Nonlinear Calderón–Zygmund theory in the limiting case,Arch. Ration. Mech. Anal.227(2018), no. 2, 663–714

    work page 2018

Show all 72 references
  1. [9]

    Balci, A

    A. Balci, A. Cianchi, L. Diening, and V. Maz’ya, A pointwise differential inequality and second-order regularity for nonlinear elliptic systems,Math. Ann.383(2022), 1775–1824

    2022

  2. [10]

    Baratta, B

    D. Baratta, B. Sciunzi, and D. Vuono, Third order estimates and the regularity of the stress field for solutions top-Laplace equations,Commun. Contemp. Math.(2025), Article 2550065. doi:10.1142/S0219199725500658

    2025 doi

  3. [11]

    Baratta, L

    D. Baratta, L. Muglia, and D. Vuono, Second order regularity for solutions to anisotropic degenerate elliptic equations,J. Differential Equations435(2025), Paper No. 113250, 29 pp

    2025

  4. [12]

    Bögelein, Global gradient bounds for the parabolicp-Laplacian system,Proc

    V. Bögelein, Global gradient bounds for the parabolicp-Laplacian system,Proc. Lond. Math. Soc.(3)111(2015), no. 3, 633–680. doi:10.1112/plms/pdv027

    2015 doi

  5. [13]

    V.Bögelein, F.Duzaar, U.Gianazza, N.Liao, andC.Scheven, Schauderestimatesforparabolic p-Laplace systems, arXiv:2507.15722, 2025.https://arxiv.org/abs/2507.15722

    2025 arXiv

  6. [14]

    Bögelein, F

    V. Bögelein, F. Duzaar, N. Liao, and C. Scheven, Gradient Hölder regularity for degenerate parabolic systems,Nonlinear Anal.225(2022), Paper No. 113119. doi:10.1016/j.na.2022.113119

    2022

  7. [15]

    L. A. Caffarelli and A. Friedman, Regularity of the free boundary of a gas flow in ann-dimensional porous medium,Indiana Univ. Math. J.29(1980), no. 3, 361–391. doi:10.1512/iumj.1980.29.29027

    1980 doi

  8. [16]

    Castorina, G

    D. Castorina, G. Riey, and B. Sciunzi, Hopf lemma and regularity results for quasilinear anisotropic elliptic equations,Calc. Var. Partial Differential Equations58(2019), no. 3, Paper No. 95, 18 pp

    2019

  9. [17]

    Cellina, The regularity of solutions to some variational problems, including thep-Laplace equation for2≤p<3,ESAIM Control Optim

    A. Cellina, The regularity of solutions to some variational problems, including thep-Laplace equation for2≤p<3,ESAIM Control Optim. Calc. Var.23(2017), 1543–1553

    2017

  10. [18]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Global Lipschitz regularity for a class of quasilinear elliptic equations,Comm. Partial Differential Equations36(2011), no. 1, 100–133

    2011

  11. [19]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Global boundedness of the gradient for a class of nonlinear elliptic systems,Arch. Ration. Mech. Anal.212(2014), no. 1, 129–177

    2014

  12. [20]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Gradient regularity via rearrangements forp-Laplacian type elliptic boundary value problems,J. Eur. Math. Soc. (JEMS)16(2014), no. 3, 571–595. 20

    2014

  13. [21]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Global gradient estimates in elliptic problems under minimal data and domain regularity,Commun. Pure Appl. Anal.14(2015), no. 1, 285–311

    2015

  14. [22]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Second-order two-sided estimates in nonlinear elliptic problems, Arch. Ration. Mech. Anal.229(2018), 569–599

    2018

  15. [23]

    Cianchi and V

    A. Cianchi and V. G. Maz’ya, Optimal second-order regularity for thep-Laplace system,J. Math. Pures Appl.132(2019), 41–78. doi:10.1016/j.matpur.2019.02.015

    2019 doi

  16. [24]

    Constantine and T

    G. Constantine and T. Savits, A multivariate Faà di Bruno formula with applications,Trans. Amer. Math. Soc.348(1996), no. 2, 503–520

    1996

  17. [25]

    Damascelli and B

    L. Damascelli and B. Sciunzi, Regularity, monotonicity and symmetry of positive solutions of m-Laplace equations,J. Differential Equations206(2004), no. 2, 483–515

    2004

  18. [26]

    Daskalopoulos and R

    P. Daskalopoulos and R. Hamilton, Regularity of the free boundary for the porous medium equation,J. Amer. Math. Soc.11(1998), no. 4, 899–965. doi:10.1090/S0894-0347-98-00277-X

    1998 doi

  19. [27]

    De Filippis and G

    C. De Filippis and G. Mingione, On the regularity of minima of non-autonomous functionals, J. Geom. Anal.30(2020), 1584–1626

    2020

  20. [28]

    De Filippis and G

    C. De Filippis and G. Mingione, Regularity for double phase problems at nearly linear growth, Arch. Ration. Mech. Anal.247(2023), no. 5, Paper No. 85, 50 pp

    2023

  21. [29]

    De Filippis and G

    C. De Filippis and G. Mingione, Nonuniformly elliptic Schauder theory,Invent. Math.234 (2023), no. 3, 1109–1196

    2023

  22. [30]

    DiBenedetto,C 1+α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal.7(1983), no

    E. DiBenedetto,C 1+α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal.7(1983), no. 8, 827–850. doi:10.1016/0362-546X(83)90061-5

    1983 doi

  23. [31]

    DiBenedetto and A

    E. DiBenedetto and A. Friedman, Hölder estimates for nonlinear degenerate parabolic systems, J. Reine Angew. Math.357(1985), 1–22. doi:10.1515/crll.1985.357.1

    1985 doi

  24. [32]

    Diening, P

    L. Diening, P. Kaplický, and S. Schwarzacher, BMO estimates for thep-Laplacian,Nonlinear Anal.75(2012), no. 2, 637–650

    2012

  25. [33]

    H. Dong, F. Peng, Y. Zhang, and Y. Zhou, Hessian estimates for equations involving the p-Laplacian via a fundamental inequality,Adv. Math.370(2020), Paper No. 107212

    2020

  26. [34]

    Duzaar and G

    F. Duzaar and G. Mingione, Gradient continuity estimates,Calc. Var. Partial Differential Equations39(2010), 379–418

    2010

  27. [35]

    Duzaar and G

    F. Duzaar and G. Mingione, Local Lipschitz regularity for degenerate elliptic sys- tems,Ann. Inst. H. Poincaré Anal. Non Linéaire27(2010), no. 6, 1361–1396. doi:10.1016/j.anihpc.2010.07.002

    2010 doi

  28. [36]

    Duzaar and G

    F. Duzaar and G. Mingione, Gradient estimates via non-linear potentials,Amer. J. Math. 133(2011), no. 4, 1093–1149

    2011

  29. [37]

    L. C. Evans, A new proof of localC1,α regularity for solutions of certain degenerate elliptic P.D.E.,J. Differential Equations45(1982), no. 3, 356–373. doi:10.1016/0022-0396(82)90033-X. 21

    1982 doi

  30. [38]

    Giaquinta and L

    M. Giaquinta and L. Martinazzi,An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs, 2nd ed., Publications of the Scuola Normale Superiore, Edizioni della Normale, Pisa, 2012. doi:10.1007/978-88-7642-443-4

    2012 doi

  31. [39]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Classics in Mathematics, Springer, Berlin, 2001. doi:10.1007/978-3-642-61798-0

    2001 doi

  32. [40]

    Guarnotta and S

    U. Guarnotta and S. Mosconi, A general notion of uniform ellipticity and the regularity of the stress field for elliptic equations in divergence form,Anal. PDE16(2023), no. 8, 1955–1988

    2023

  33. [41]

    Haarala and S

    A. Haarala and S. Sarsa, Global second order Sobolev-regularity ofp-harmonic functions,J. Differential Equations339(2022), 232–269

    2022

  34. [42]

    Iandoli, G

    F. Iandoli, G. Spadaro, and D. Vuono, Local bounds for nonlinear higher-order vector fields for thep-Laplace equation, arXiv:2602.01926, 2026.https://arxiv.org/abs/2602.01926

    2026

  35. [43]

    Iandoli and D

    F. Iandoli and D. Vuono, Local behaviour of the second order derivatives of solutions top-Laplace equations,Calc. Var. Partial Differential Equations64(2025), article 303. doi:10.1007/s00526-025-03174-4

    2025 doi

  36. [44]

    Iwaniec and J

    T. Iwaniec and J. J. Manfredi, Regularity ofp-harmonic functions on the plane,Rev. Mat. Iberoam.5(1989), no. 1, 1–19. doi:10.4171/RMI/82

    1989 doi

  37. [45]

    Kuusi and G

    T. Kuusi and G. Mingione, Universal potential estimates,J. Funct. Anal.262(2012), no. 10, 4205–4269. doi:10.1016/j.jfa.2012.02.018

    2012 doi

  38. [46]

    Kuusi and G

    T. Kuusi and G. Mingione, Gradient regularity for nonlinear parabolic equations,Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)12(2013), no. 4, 755–822. doi:10.2422/2036-2145.201103_006

    2013

  39. [47]

    Kuusi and G

    T. Kuusi and G. Mingione, Guide to nonlinear potential estimates,Bull. Math. Sci.4(2014), no. 1, 1–82. doi:10.1007/s13373-013-0048-9

    2014 doi

  40. [48]

    Kuusi and G

    T. Kuusi and G. Mingione, A nonlinear Stein theorem,Calc. Var. Partial Differential Equa- tions51(2014), 45–86

    2014

  41. [49]

    Kuusi and G

    T. Kuusi and G. Mingione, The Wolff gradient bound for degenerate parabolic equations,J. Eur. Math. Soc. (JEMS)16(2014), no. 4, 835–892. doi:10.4171/JEMS/449

    2014 doi

  42. [50]

    Kuusi and G

    T. Kuusi and G. Mingione, Vectorial nonlinear potential theory,J. Eur. Math. Soc. (JEMS) 20(2018), no. 4, 929–1004

    2018

  43. [51]

    O. A. Ladyzhenskaya, V. A. Solonnikov, and N. N. Ural’tseva,Linear and Quasilinear Equa- tions of Parabolic Type, Translations of Mathematical Monographs, vol. 23, American Math- ematical Society, Providence, RI, 1968

    1968

  44. [52]

    G. M. Lieberman, Boundary regularity for solutions of degenerate elliptic equations,Nonlinear Anal.12(1988), no. 11, 1203–1219

    1988

  45. [53]

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

    1991

  46. [54]

    Lou, On singular sets of local solutions top-Laplacian equations,Chinese Ann

    H. Lou, On singular sets of local solutions top-Laplacian equations,Chinese Ann. Math. Ser. B29(2008), no. 5, 521–530. 22

    2008

  47. [55]

    Mercuri, G

    C. Mercuri, G. Riey, and B. Sciunzi, A regularity result for thep-Laplacian near uniform ellipticity,SIAM J. Math. Anal.48(2016), no. 3, 2059–2075

    2016

  48. [56]

    Mingione, Gradient potential estimates,J

    G. Mingione, Gradient potential estimates,J. Eur. Math. Soc. (JEMS)13(2011), no. 2, 459–486. doi:10.4171/JEMS/258

    2011 doi

  49. [57]

    Miśkiewicz, Fractional differentiability for solutions of the inhomogeneousp-Laplace sys- tem,Proc

    M. Miśkiewicz, Fractional differentiability for solutions of the inhomogeneousp-Laplace sys- tem,Proc. Amer. Math. Soc.146(2018), no. 7, 3009–3017

    2018

  50. [58]

    Montoro, L

    L. Montoro, L. Muglia, and B. Sciunzi, Optimal second order boundary regularity for solutions top-Laplace equations,Calc. Var. Partial Differential Equations64(2025), no. 2, Paper No. 50

    2025

  51. [59]

    Montoro, L

    L. Montoro, L. Muglia, B. Sciunzi, and D. Vuono, Regularity and symmetry results for the vectorialp-Laplacian,Nonlinear Anal.251(2025), Paper No. 113700

    2025

  52. [60]

    J. K. Moser, On Harnack’s theorem for elliptic differential equations,Comm. Pure Appl. Math.14(1961), 577–591

    1961

  53. [61]

    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), 67–98. doi:10.1007/s00208-018-1744-2

    2019 doi

  54. [62]

    Nguyen and N

    Q.-H. Nguyen and N. C. Phuc, Pointwise gradient estimates for a class of singular quasilinear equations with measure data,J. Funct. Anal.278(2020), no. 5, Paper No. 108391, 35 pp. doi:10.1016/j.jfa.2019.108391

    2020

  55. [63]

    Nguyen and N

    Q.-H. Nguyen and N. C. Phuc, Existence and regularity estimates for quasilinear equations with measure data: the case1<p≤(3n−2)/(2n−1),Anal. PDE15(2022), no. 8, 1879–1895. doi:10.2140/apde.2022.15.1879

    2022 doi

  56. [64]

    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), Paper No. 49. doi:10.1007/s00205- 023-01884-7

    2023 doi

  57. [65]

    Nguyen and N

    Q.-H. Nguyen and N. C. Phuc, Universal potential estimates for1<p≤2−1/n,Math. Eng. 5(2023), no. 3, Paper No. 057, 24 pp. doi:10.3934/mine.2023057

    2023 doi

  58. [66]

    Serrin, Local behavior of solutions of quasilinear equations,Acta Math.111(1964), 247–302

    J. Serrin, Local behavior of solutions of quasilinear equations,Acta Math.111(1964), 247–302

    1964

  59. [67]

    Sciunzi, Some results on the qualitative properties of positive solutions of quasilinear elliptic equations,NoDEA Nonlinear Differential Equations Appl.14(2007), 315–334

    B. Sciunzi, Some results on the qualitative properties of positive solutions of quasilinear elliptic equations,NoDEA Nonlinear Differential Equations Appl.14(2007), 315–334

    2007

  60. [68]

    Sciunzi, Regularity and comparison principles forp-Laplace equations with vanishing source term,Commun

    B. Sciunzi, Regularity and comparison principles forp-Laplace equations with vanishing source term,Commun. Contemp. Math.16(2014), no. 6, Paper No. 1450013

    2014

  61. [69]

    Sciunzi, G

    B. Sciunzi, G. Spadaro, and D. Vuono, Global second order optimal regularity for the vectorial p-Laplacian, arXiv:2502.17067, 2025

    2025 arXiv

  62. [70]

    Tolksdorf, Regularity for a more general class of quasilinear elliptic equations,J

    P. Tolksdorf, Regularity for a more general class of quasilinear elliptic equations,J. Differential Equations51(1984), 126–150. doi:10.1016/0022-0396(84)90105-0

    1984 doi

  63. [71]

    Uhlenbeck, Regularity for a class of non-linear elliptic systems,Acta Math.138(1977), no

    K. Uhlenbeck, Regularity for a class of non-linear elliptic systems,Acta Math.138(1977), no. 3–4, 219–240. doi:10.1007/BF02392316. 23

    1977 doi

  64. [72]

    J. L. Vázquez,The Porous Medium Equation: Mathematical Theory, Oxford Mathematical Monographs, Clarendon Press, Oxford, 2007. 24

    2007

Pith tools

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