pith. sign in

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

Sharp regularity for degenerate fully nonlinear equations with oblique boundary conditions and Hamiltonian terms

Junior da Silva Bessa , Gleydson C. Ricarte This is my paper

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

classification 🧮 math.AP
keywords fully nonlinear elliptic equationsdegenerate ellipticityoblique boundary conditionsviscosity solutionsC^{1,α} regularityHamiltonian termsimprovement of flatness
0
0 comments X

The pith

Viscosity solutions of degenerate fully nonlinear equations with oblique boundaries and Hamiltonian terms are C^{1,α} at the boundary.

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

The paper proves that viscosity solutions to the given degenerate elliptic system achieve the optimal boundary Hölder regularity for the gradient. It builds a compactness argument that controls affine translations according to the size of the Hamiltonian term, then feeds that control into a boundary-adapted improvement-of-flatness lemma that respects the oblique condition. A reader would care because the result covers equations that lose ellipticity when the gradient vanishes yet still recovers the same regularity that holds for uniformly elliptic equations without degeneracies. If the claim holds, it supplies a direct route from structural assumptions on γ and σ to boundary differentiability with Hölder control.

Core claim

Viscosity solutions of |Du|^γ F(D²u) + ρ(x)|Du|^σ = f(x) in Ω, subject to the oblique condition β·Du + ζ u = g on ∂Ω, belong to C^{1,α}(Ω̄) for some α > 0 whenever γ > 0 and 0 < σ ≤ 1 + γ, under uniform ellipticity in the degenerate sense. The proof proceeds by a compactness framework that scales affine translations with the Hamiltonian growth and by an improvement-of-flatness argument at the boundary that accommodates the oblique vector field.

What carries the argument

Compactness framework for affine translations whose size is tied to the Hamiltonian term, paired with a boundary improvement-of-flatness lemma adapted to oblique data.

If this is right

  • The gradient is Hölder continuous up to the boundary for every viscosity solution.
  • The same α works uniformly for all equations sharing the same γ, σ, and ellipticity constants.
  • Limits of approximating solutions inherit the boundary regularity without additional assumptions.
  • The result applies equally to interior points and boundary points under the stated structural conditions.

Where Pith is reading between the lines

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

  • The compactness method might extend to parabolic versions of the same equations.
  • One could check whether the same proof yields regularity when the Hamiltonian includes lower-order terms not controlled by |Du|^σ.
  • The boundary argument could be tested on concrete geometric equations such as the infinity Laplacian with oblique Neumann data.
  • Numerical schemes that preserve obliqueness might converge at the same Hölder rate guaranteed by the theorem.

Load-bearing premise

The equation stays uniformly elliptic in the degenerate sense, γ is positive, σ does not exceed one plus γ, and the boundary condition remains oblique so that compactness and flatness arguments close.

What would settle it

An explicit counterexample equation satisfying all hypotheses except σ ≤ 1 + γ, or with a non-oblique boundary condition, in which the gradient of a viscosity solution fails to be Hölder continuous at some boundary point.

read the original abstract

We prove optimal boundary $C^{1,\alpha}$ regularity for viscosity solutions of degenerate fully nonlinear uniformly elliptic equations with oblique boundary conditions and Hamiltonian terms of the form \[ \begin{cases} |Du|^{\gamma}F(D^2 u) + \varrho(x)|Du|^{\sigma} = f(x) & \text{in } \Omega,\\ \beta(x)\cdot Du+\zeta(x)u = g(x) & \text{on } \partial \Omega, \end{cases} \] where $\gamma>0$ and $0<\sigma\le 1+\gamma$. We develop a compactness framework for affine translations, linking the size of the translation to the Hamiltonian structure. This is combined with a boundary improvement-of-flatness argument adapted to oblique boundary data, yielding the optimal boundary regularity.

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 proves optimal boundary C^{1,α} regularity for viscosity solutions of the degenerate fully nonlinear uniformly elliptic equation |Du|^γ F(D²u) + ρ(x)|Du|^σ = f(x) in Ω, subject to the oblique boundary condition β(x)·Du + ζ(x)u = g(x) on ∂Ω, where γ > 0 and 0 < σ ≤ 1 + γ. The proof develops a compactness framework for affine translations whose scaling is linked to the Hamiltonian term, combined with a boundary-adapted improvement-of-flatness lemma that handles the oblique data.

Significance. If the arguments hold, the result meaningfully extends the regularity theory for degenerate elliptic equations by incorporating Hamiltonian terms and oblique boundary conditions while preserving sharpness of the C^{1,α} exponent. The compactness construction that ties the translation size to |Du|^σ is a technical strength that allows the improvement-of-flatness step to close under the given structural hypotheses; this technique may apply to related problems with similar degeneracies.

minor comments (3)
  1. The main theorem statement (likely in §1 or §2) should explicitly record the dependence of the Hölder exponent α on the structural constants γ, σ, the ellipticity constants of F, and the obliqueness constant of β; this would clarify the optimality claim.
  2. In the compactness argument (around the construction of the limiting affine function), the passage to the limit in the Hamiltonian term |Du|^σ requires a brief justification that the degeneracy parameter γ does not produce additional error terms that could affect the flatness improvement; a short estimate would strengthen readability.
  3. The notation for the oblique vector field β(x) should include a normalization assumption (e.g., |β| = 1) or an explicit lower bound on the angle with the normal, to make the boundary improvement-of-flatness lemma fully self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes C^{1,α} boundary regularity for the given degenerate fully nonlinear equation via a compactness argument on affine translations (scaled to the Hamiltonian |Du|^σ term) combined with an adapted boundary improvement-of-flatness lemma for the oblique condition. These are constructed from the structural hypotheses (degenerate uniform ellipticity, γ > 0, 0 < σ ≤ 1 + γ) and standard viscosity-solution techniques; no step reduces by definition to the target regularity statement, no parameters are fitted and relabeled as predictions, and no load-bearing self-citation chain is invoked. The approach is independent of the final C^{1,α} conclusion and closes under the stated assumptions without internal reduction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the structural assumptions of the PDE and boundary condition together with standard axioms from viscosity-solution theory. No free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption The operator F is uniformly elliptic (in the degenerate sense)
    Required for the ellipticity estimates that underpin the regularity theory.
  • standard math Viscosity solutions satisfy the equation in the viscosity sense
    Fundamental definition used to handle possibly non-smooth solutions throughout the proof.

pith-pipeline@v0.9.0 · 5438 in / 1267 out tokens · 86207 ms · 2026-05-08T17:32:59.212406+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 2 internal anchors

  1. [1]

    P. D. S. Andrade and T. M. Nascimento, Optimal regularity for degenerate elliptic equations with Hamiltonian terms, arXiv preprint,https://arxiv.org/pdf/2508.03924, 2025

    work page arXiv 2025

  2. [2]

    D. J. Ara´ ujo, G. C. Ricarte and E. V. O. Teixeira, Geometric gradient estimates for solutions to degenerate elliptic equations, Calc. Var. Partial Differential Equations53(2015), no. 3-4, 605–625

    work page 2015

  3. [3]

    S. N. Armstrong and H. V. Tran, Viscosity solutions of general viscous Hamilton-Jacobi equations, Math. Ann.361(2015), no. 3-4, 647–687

    work page 2015

  4. [4]

    Banerjee and R

    A. Banerjee and R. B. Verma,C 1,α regularity for degenerate fully nonlinear elliptic equations with Neumann boundary conditions, Potential Anal.57(2022), no. 3, 327–365

    work page 2022

  5. [5]

    J. da S. Bessa, J. V. da Silva and G. C. Ricarte, Sharp moduli of continuity for solutions to fully nonlinear elliptic equations with oblique boundary conditions, J. Differential Equations 455(2026), Paper No. 113961, 42 pp

    work page 2026

  6. [6]

    J. da S. Bessa and J. Oh, OptimalC 1,α regularity up to the boundary for fully nonlinear elliptic equations with double phase degeneracy, arXiv preprinthttps://arxiv.org/pdf/ 2604.04776v1, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    J. da S. Bessa, G. C. Ricarte and P. H. C. Silva, Optimal gradient regularity to degenerate fully nonlinear elliptic models with oblique boundary condition, Nonlinear Anal.262(2026), Paper No. 113919, 16 pp

    work page 2026

  8. [8]

    E. C. Bezerra J´ unior and J. V. da Silva, Global Lipschitz estimates for fully non-linear singular perturbation problems with non-homogeneous degeneracy, J. Differential Equations 428(2025), 623–653

    work page 2025

  9. [9]

    Birindelli and F

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

    work page 2014

  10. [10]

    Birindelli and F

    I. Birindelli and F. Demengel, Fully nonlinear operators with Hamiltonian: H¨ older regularity of the gradient, NoDEA Nonlinear Differential Equations Appl.23(2016), no. 4, Art. 41, 17 pp

    work page 2016

  11. [11]

    Birindelli and F

    I. Birindelli and F. Demengel, H¨ older regularity of the gradient for solutions of fully nonlinear equations with sub linear first order term, inGeometric methods in PDE’s, 257–268, Springer INdAM Ser., 13, Springer, Cham

    work page

  12. [12]

    Birindelli, F

    I. Birindelli, F. Demengel and F. Leoni,C 1,γ regularity for singular or degenerate fully non- linear equations and applications, NoDEA Nonlinear Differential Equations Appl.26(2019), no. 5, Paper No. 40, 13 pp

    work page 2019

  13. [13]

    Birindelli, F

    I. Birindelli, F. Demengel and F. Leoni, Ergodic pairs for singular or degenerate fully nonlinear operators, ESAIM Control Optim. Calc. Var.25(2019), Paper No. 75, 28 pp

    work page 2019

  14. [14]

    S.-S. Byun, H. Kim and S. Kim,C 1,α regularity for a class of singular/degenerate fully non- linear elliptic equations with oblique boundary conditions, arXiv preprinthttps://arxiv. org/pdf/2604.06030v1, 2026. 17

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  15. [15]

    S.-S. Byun, H. Kim and J. Oh,C 1,α regularity for degenerate fully nonlinear elliptic equations with oblique boundary conditions onC 1 domains, Calc. Var. Partial Differential Equations 64(2025), no. 5, Paper No. 174, 20 pp

    work page 2025

  16. [16]

    Caffarelli, L.A., Cabr´ e, X.Fully nonlinear elliptic equations.American Mathematical Society, Providence (1995)

    work page 1995

  17. [17]

    ˇCani´ c, B

    S. ˇCani´ c, B. L. Keyfitz and G. M. Lieberman, A proof of existence of perturbed steady transonic shocks via a free boundary problem, Comm. Pure Appl. Math.53(2000), no. 4, 484–511

    work page 2000

  18. [18]

    Choi and I

    S. Choi and I. C. Kim, Homogenization of oblique boundary value problems, Adv. Nonlinear Stud.23(2023), no. 1, Paper No. 20220051, 29 pp

    work page 2023

  19. [19]

    D´ ıaz D´ ıaz, J

    G. D´ ıaz D´ ıaz, J. I. D´ ıaz D´ ıaz and J. Otero Juez, On an oblique boundary value problem related to the Backus problem in geodesy, Nonlinear Anal. Real World Appl.7(2006), no. 2, 147–166

    work page 2006

  20. [20]

    Dong and Z

    H. Dong and Z. Li, Classical solutions of oblique derivative problem in nonsmooth domains with mean Dini coefficients, Trans. Amer. Math. Soc.373(2020), no. 7, 4975–4997

    work page 2020

  21. [21]

    Dong and X

    H. Dong and X. Pan, On conormal derivative problem for parabolic equations with Dini mean oscillation coefficients, Discrete Contin. Dyn. Syst.41(2021), no. 10, 4567–4592

    work page 2021

  22. [22]

    Ei, M.-H

    S.-I. Ei, M.-H. Sato and E. Yanagida, Stability of stationary interfaces with contact angle in a generalized mean curvature flow, Amer. J. Math.118(1996), no. 3, 653–687

    work page 1996

  23. [23]

    P. A. Ernst, S. Franceschi and D. Huang, Escape and absorption probabilities for obliquely reflected Brownian motion in a quadrant, Stochastic Process. Appl.142(2021), 634–670

    work page 2021

  24. [24]

    R. S. Finn and G. K. Luli, On the capillary problem for compressible fluids, J. Math. Fluid Mech.9(2007), no. 1, 87–103

    work page 2007

  25. [25]

    Goffi, High-order estimates for fully nonlinear equations under weak concavity assump- tions, J

    A. Goffi, High-order estimates for fully nonlinear equations under weak concavity assump- tions, J. Math. Pures Appl. (9)182(2024), 223–252

    work page 2024

  26. [26]

    Imbert and L

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

    work page 2013

  27. [27]

    Jesus, E

    D. Jesus, E. A. Pimentel and J. M. Urbano, Fully nonlinear Hamilton-Jacobi equations of degenerate type, Nonlinear Anal.227(2023), Paper No. 113181, 15 pp

    work page 2023

  28. [28]

    Lasry and P.-L

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

    work page 1989

  29. [29]

    D. S. Li and K. Zhang, Regularity for fully nonlinear elliptic equations with oblique boundary conditions, Arch. Ration. Mech. Anal.228(2018), no. 3, 923–967

    work page 2018

  30. [30]

    Lions and N

    P.-L. Lions and N. S. Trudinger, Linear oblique derivative problems for the uniformly elliptic Hamilton-Jacobi-Bellman equation, Math. Z.191(1986), no. 1, 1–15

    work page 1986

  31. [31]

    C. O. Ndaw, Existence and regularity results for some fully nonlinear singular or degenerate equation, Appl. Anal.102(2023), no. 9, 2500–2523

    work page 2023

  32. [32]

    M. I. Reiman and R. J. Williams, A boundary property of semimartingale reflecting Brownian motions, Probab. Theory Related Fields77(1988), no. 1, 87–97; MR0921820

    work page 1988

  33. [33]

    G. C. Ricarte, OptimalC 1,α regularity for degenerate fully nonlinear elliptic equations with Neumann boundary condition, Nonlinear Anal.198(2020), 111867, 13 pp. 18

    work page 2020