pith. sign in

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

Sharp regularity for a class of degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms

Wentao Huo , Xiaofeng Jin , Lingwei Ma , Zhenqiu Zhang This is my paper

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

classification 🧮 math.AP
keywords degenerate elliptic equationssingular elliptic equationsfully nonlinear ellipticHamiltonian termsviscosity solutionsC^{1,α} regularitygeometric tangential method
0
0 comments X

The pith

Viscosity solutions to degenerate and singular fully nonlinear elliptic equations with Hamiltonian terms achieve sharp interior C^{1,α} regularity.

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

The paper establishes sharp interior C^{1,α} regularity estimates for viscosity solutions of a class of degenerate or singular fully nonlinear elliptic equations that also contain Hamiltonian terms. The central difficulty arises from the simultaneous presence of general degenerate or singular gradient dependence and the Hamiltonian contributions. The authors examine the coupled interplay between the specific degeneracy or singularity law and the growth rate of the Hamiltonian terms to first obtain lower-order regularity results. They then apply a geometric tangential method to upgrade these to the sharp C^{1,α} estimates. This regularity matters because it guarantees that solutions to such equations are differentiable with Hölder-continuous gradients in the interior, which controls their local behavior in applied models.

Core claim

For viscosity solutions to degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms, sharp interior C^{1,α} regularity holds. The proof proceeds by analyzing the coupled interplay between the degeneracy/singularity law and the growth of the Hamiltonian terms to establish lower regularity results, after which a geometric tangential method produces the final C^{1,α} estimates.

What carries the argument

The geometric tangential method, applied after establishing lower regularity via the interplay between the degeneracy/singularity law and Hamiltonian growth, to obtain the sharp C^{1,α} estimates.

If this is right

  • Solutions are C^{1,α} in the interior whenever the structural interplay condition holds.
  • Lower regularity results serve as an intermediate step before the tangential argument upgrades the estimates.
  • The simultaneous difficulties of degeneracy and Hamiltonian terms are overcome precisely when their growth laws are coupled in the manner required by the method.

Where Pith is reading between the lines

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

  • The same interplay analysis could be tested on parabolic versions of these equations to see if time-dependent regularity follows similarly.
  • Explicit dependence of the Hölder exponent α on the structural parameters might be derivable from the tangential method.
  • Such interior regularity could be used to study uniqueness or comparison principles for associated optimization problems.

Load-bearing premise

The structural condition that the interplay between the degeneracy or singularity law and the growth of the Hamiltonian terms is strong enough for the geometric tangential method to close and produce the regularity.

What would settle it

A concrete example in this class of equations where the Hamiltonian grows faster than the allowed rate relative to the degeneracy or singularity, for which a viscosity solution fails to be C^{1,α}.

read the original abstract

We investigate the regularity of the viscosity solutions to a class of degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms. To overcome the difficulty caused by the simultaneous presence of the general degenerate/singular gradient terms and Hamiltonian terms, we analyze the coupled interplay between the degeneracy/singularity law and the growth of Hamiltonian terms and establish lower regularity results. Finally, we obtain sharp interior $C^{1,\alpha}$ regularity estimates via a geometric tangential method.

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

0 major / 3 minor

Summary. The manuscript investigates viscosity solutions to a class of degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms. After analyzing the coupled interplay between the degeneracy/singularity law and the growth of the Hamiltonian terms to obtain lower regularity results, the authors apply a geometric tangential method to establish sharp interior C^{1,α} regularity estimates.

Significance. If the structural assumptions are verified and the proofs are complete, the result would meaningfully extend regularity theory for fully nonlinear equations by handling the simultaneous presence of degeneracy/singularity and first-order Hamiltonian terms. The geometric tangential method is a standard tool here, and the emphasis on sharp exponents (rather than merely existence of some α) is a strength when the argument closes without post-hoc restrictions on the parameters.

minor comments (3)
  1. [Introduction] The abstract and introduction should state the precise structural conditions on the degeneracy/singularity exponent and the Hamiltonian growth more explicitly (e.g., the admissible range for the power p relative to the Hamiltonian growth rate), as these are load-bearing for the method to close.
  2. [Introduction] Clarify how the lower regularity results obtained in the first part of the argument are used to initiate the geometric tangential iteration; a brief roadmap at the end of the introduction would improve readability.
  3. [Main Theorem] In the statement of the main theorem, specify whether the C^{1,α} estimate is uniform with respect to the structural constants or depends on them in a controlled way; this affects the sharpness claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation for minor revision. We appreciate the recognition of the geometric tangential method and the emphasis on sharp exponents.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives sharp interior C^{1,α} estimates for viscosity solutions of degenerate/singular fully nonlinear equations with Hamiltonian terms by first analyzing the structural interplay between the degeneracy/singularity law and Hamiltonian growth, then applying the geometric tangential method. This chain rests on external comparison principles and standard viscosity theory rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. No equation or step reduces by construction to its own inputs, and the central regularity result is obtained via an independent argument that does not presuppose the target estimate.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard viscosity-solution framework and on the assumption that the equation satisfies comparison principles under the stated structural conditions on degeneracy and Hamiltonian growth.

axioms (2)
  • standard math Viscosity solutions are well-defined and satisfy comparison principles for the given class of fully nonlinear operators
    Invoked implicitly to justify the use of viscosity techniques and the geometric tangential method.
  • domain assumption The degeneracy/singularity law and Hamiltonian growth satisfy structural conditions that allow the tangential iteration to close
    This is the key hypothesis that overcomes the simultaneous difficulties mentioned in the abstract.

pith-pipeline@v0.9.0 · 5369 in / 1265 out tokens · 41222 ms · 2026-05-08T18:43:25.747020+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.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Adams, J.J.F

    R.A. Adams, J.J.F. Fournier, Sobolev Spaces, 2nd ed. Pure Appl. Math. vol.140, Else- vier/Academic Press,Amsterdam, NewYork, (2003)

    work page 2003

  2. [2]

    D.J.Ara´ ujo, G.C.Ricarte, E.V.Teixeira, Geometricgradientestimatesforsolutionstodegenerate elliptic equations, Calc. Var. Partial Differ. Equ. 53(3–4) (2015), 605–625

    work page 2015

  3. [3]

    Attouchi, M

    A. Attouchi, M. Parviainen, E. Ruosteenoja,C1,α-regularity for the normalizedp-Poisson prob- lem, J. Math. Pures. Appl. 108 (2017), 553–591

    work page 2017

  4. [4]

    Andrade, T

    P. Andrade, T. Nascimento, Optimal regularity for degenerate elliptic equations with Hamiltonian terms, arXiv:2508.03924

    work page arXiv

  5. [5]

    Birindelli, F

    I. Birindelli, F. Demengel, Comparison principle and Liouville type results for singular fully nonlinear operators, Ann. Fac. Sci. Toulouse Math. 13(6) (2004), 261–287

    work page 2004

  6. [6]

    Birindelli, F

    I. Birindelli, F. Demengel, First eigenvalue and maximum principle for fully nonlinear singular operators. Adv. Differential Equations, 11(1) (2006), 91–119

    work page 2006

  7. [7]

    Birindelli, F

    I. Birindelli, F. Demengel, Eigenvalue, maximum principle and regularity for fully nonlinear homogeneous operators, Commun. Pure Appl. Anal. 6 (2007), 335–366

    work page 2007

  8. [8]

    Birindelli, F

    I. Birindelli, F. Demengel, Regularity and uniqueness of the first eigenfunction for singular fully nonlinear operators, J. Differ. Equations 249 (2010), 1089–1110

    work page 2010

  9. [9]

    Birindelli, F

    I. Birindelli, F. Demengel, Regularity for radial solutions of degenerate fully nonlinear equations, Nonlinear Anal. 75(17) (2012), 6237–6249

    work page 2012

  10. [10]

    Birindelli, F

    I. Birindelli, F. Demengel,C 1,β regularity for Dirichlet problems associated to fully nonlinear degenerate elliptic equations, ESAIM Control Optim. Calc. Var. 20 (2014), 1009-1024

    work page 2014

  11. [11]

    Birindelli, F

    I. Birindelli, F. Demengel, Hölder regularity of the gradient for solutions of fully nonlinear equa- tions with sublinear first order term. In Geometric methods in PDE’s, pp. 257-268, Springer INdAM Ser. 13, Springer, Cham, (2015)

    work page 2015

  12. [12]

    Birindelli, F

    I. Birindelli, F. Demengel, Fully nonlinear operators with Hamiltonian: Hölder regularity of the gradient, NoDEA Nonlinear Differ. Equ. Appl. 23 (4) (2016), 17 pp

    work page 2016

  13. [13]

    Birindelli, F

    I. Birindelli, F. Demengel, F. Leoni,C 1,γ regularity for singular or degenerate fully nonlinear equations and applications, NoDEA Nonlinear Differ. Equ. Appl. 26(5) (2019), 13 pp

    work page 2019

  14. [14]

    Bronzi, E.A

    A.C. Bronzi, E.A. Pimentel, G.C. Rampasso, E.V. Teixeira, Regularity of solutions to a class of variable exponent fully nonlinear elliptic equations. J. Funct. Anal. 279(12) (2020), 108781

    work page 2020

  15. [15]

    Banerjee, I.H

    A. Banerjee, I.H. Munive, Gradient continuity estimates for the normalizedp-Poisson equation, Commun. Contemp. Math. 22 (2020)

    work page 2020

  16. [16]

    Bezerra J´ unior, J.V

    E.C. Bezerra J´ unior, J.V. da Silva, G.C. Rampasso, G.C. Ricarte, Global regularity for a class of fully nonlinear PDEs with unbalanced variable degeneracy, J. Lond. Math. Soc. 108(2) (2023), 622–665. 26

    work page 2023

  17. [17]

    Baasandorj, S.-S

    S. Baasandorj, S.-S. Byun, K.-A. Lee, S.-C. Lee,C1,α-regularity for a class of degenerate/singular fully nonlinear elliptic equations, Interfaces Free Bound. 26(2) (2024), 189–215

    work page 2024

  18. [18]

    Baasandorj, S.-S

    S. Baasandorj, S.-S. Byun, J. Oh, Second derivativeLδ-estimates for a class of singular fully nonlinear elliptic equations, Nonlinear Anal. 249 (2024), 113630

    work page 2024

  19. [19]

    S.-S. Byun, H. Kim, J. Oh, InteriorW2,δ type estimates for degenerate fully nonlinear elliptic equations withL n data, J. Funct. Anal. 289(6) (2025), 111007

    work page 2025

  20. [20]

    Caffarelli, Interior a priori estimates for solutions of fully nonlinear equations, Ann

    L.A. Caffarelli, Interior a priori estimates for solutions of fully nonlinear equations, Ann. Math. 130(1) (1989), 189–213

    work page 1989

  21. [21]

    Crandall

    M.G. Crandall. H. Ishii, P.-L. Lions, User’s guide to viscosity solutions of second order partial differential equations, Bull. Am. Math. Soc. 27 (1992), 1–67

    work page 1992

  22. [22]

    Caffarelli, X

    L.A. Caffarelli, X. Cabr´ e, Fully Nonlinear Elliptic Equations, Colloquium Publications, 43. Amer- ican Mathematical Society, Providence, R.I. (1995)

    work page 1995

  23. [23]

    Capuzzo Dolcetta, F

    I. Capuzzo Dolcetta, F. Leoni, A. Porretta, Hölder estimates for degenerate elliptic equations with coercive Hamiltonians, Trans. Am. Math. Soc. 362(9) (2010), 4511–4536

    work page 2010

  24. [24]

    Davil´ a, P

    J. Davil´ a, P. Felmer, A. Quaas, Alexandroff-Bakelman-Pucci estimate for singular or degenerate fully nonlinear elliptic equations, C. R. Math. Acad. Sci. Paris 347 (2009), 1165–1168

    work page 2009

  25. [25]

    Davil´ a, P

    J. Davil´ a, P. Felmer, A. Quaas, Harnack inequality for singular fully nonlinear operators and some existence results, Calc. Var. Partial Differ. Equ. 39 (2010), 557–578

    work page 2010

  26. [26]

    da Silva, G.C

    J.V. da Silva, G.C. Ricarte, Geometric gradient estimates for fully nonlinear models with non- homogeneous degeneracy and applications, Calc. Var. Partial Differ. Equ. 59(5) (2020), Paper No.161

    work page 2020

  27. [27]

    da Silva, G

    J.V. da Silva, G. Nornberg, Regularity estimates for fully nonlinear elliptic PDEs with general Hamiltonian terms and unbounded ingredients, Calc. Var. Partial Differ. Equ. 60 (2021), Paper No. 202, 40 pp

    work page 2021

  28. [28]

    De Filippis, Regularity for solutions of fully nonlinear elliptic equations with nonhomogeneous degeneracy, Proc

    C. De Filippis, Regularity for solutions of fully nonlinear elliptic equations with nonhomogeneous degeneracy, Proc. R. Soc. Edinb. Sect. A 151(1) (2021), 110–132

    work page 2021

  29. [29]

    Evans, Classical solutions of fully nonlinear, convex, second-order elliptic equations, Com- mun

    L.C. Evans, Classical solutions of fully nonlinear, convex, second-order elliptic equations, Com- mun. Pure Appl. Math. 35(3) (1982), 333–363

    work page 1982

  30. [30]

    Fleming, H.M

    W. Fleming, H.M. Soner, Controlled Markov Processes and Viscosity Solutions, Applications of Mathematics 25, Springer-Verlag, (1991)

    work page 1991

  31. [31]

    Fang, V.D

    Y. Fang, V.D. R˘ adulescu, C. Zhang, Regularity of solutions to degenerate fully nonlinear elliptic equations with variable exponent, Bull. Lond. Math. Soc. 53(6) (2021), 1863–1878

    work page 2021

  32. [32]

    Ishii, P.-L

    H. Ishii, P.-L. Lions, Viscosity solutions of Fully-Nonlinear Second Order Elliptic Partial Differ- ential Equations, J. Differ. Equations 83 (1990), 26–78

    work page 1990

  33. [33]

    Imbert, Alexandroff-Bakelman-Pucci estimate and Harnack inequality for degenerate/singular fully non-linear elliptic equations, J

    C. Imbert, Alexandroff-Bakelman-Pucci estimate and Harnack inequality for degenerate/singular fully non-linear elliptic equations, J. Differ. Equations 250 (2011), 1553–1574. 27

    work page 2011

  34. [34]

    Imbert, L

    C. Imbert, L. Silvestre,C 1,α regularity of solutions of some degenerate fully non-linear elliptic equations, Adv. Math. 233 (2013), 196–206

    work page 2013

  35. [35]

    Junges Miotto, The Aleksandrov-Bakelman-Pucci estimates for singular fully nonlinear oper- ators, Commun

    T. Junges Miotto, The Aleksandrov-Bakelman-Pucci estimates for singular fully nonlinear oper- ators, Commun. Contemp. Math. 12(4) (2010), 607–627

    work page 2010

  36. [36]

    Krylov, M.V

    N.V. Krylov, M.V. Safonov, An estimate for the probability of a diffusion process hitting a set of positive measure, Dokl. Akad. Nauk SSSR 245(1) (1979), 18–20

    work page 1979

  37. [37]

    Krylov, M.V

    N.V. Krylov, M.V. Safonov, A property of the solutions of parabolic equations with measurable coefficients, Izv. Akad. Nauk SSSR Ser. Mat. 44(1) (1980), 161–175

    work page 1980

  38. [38]

    Krylov, Boundedly inhomogeneous elliptic and parabolic equations, Izv

    N.V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations, Izv. Akad. Nauk SSSR Ser. Mat. 46(3) (1982), 487–523

    work page 1982

  39. [39]

    Lions, Quelques remarques sur les problemes elliptiques quasilineaires du second ordre, J

    P.-L. Lions, Quelques remarques sur les problemes elliptiques quasilineaires du second ordre, J. Anal. Math. 45 (1985), 234–254

    work page 1985

  40. [40]

    Lasry, P.-L

    J.M. Lasry, P.-L. Lions, Nonlinear elliptic equations with singular boundary conditions and stochastic control with state constraints. I. The model problem, Math. Ann. 283(4) (1989), 583–630

    work page 1989

  41. [41]

    Nornberg,C 1,α regularity for fully nonlinear elliptic equations with superlinear growth in the gradient, J

    G. Nornberg,C 1,α regularity for fully nonlinear elliptic equations with superlinear growth in the gradient, J. Math. Pures Appl. 9(128) (2019), 297-329. 28

    work page 2019