Pith. sign in

REVIEW 2 major objections 5 minor 44 references

Boundary regularity for subelliptic equations in the Heisenberg group

T0 review · 2 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 that solutions of degenerate subelliptic equations in the Heisenberg group that vanish on the flat boundary {t=0} have a well-defined normal derivative at the origin and expand intrinsically to second order, provided the…

desk verdict A genuinely new second-order boundary expansion for subelliptic equations at characteristic points; the main gap is a missing proof of a standard comparison principle, which is repairable. read the letter →

arxiv 2506.05151 v1 pith:EM53KUG4 submitted 2025-06-05 math.AP

Farhan Abedin , Giulio Tralli This is my paper · ORCID
classification math.AP MSC 35J7035R0535H2035B45
keywords degenerateellipticitynon-divergenceformequationsHeisenberggroupboundaryregularitycharacteristicpointsHarnackinequalityCordes-Landisconditionsecondorderasymptoticexpansion
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 boundary regularity for a class of degenerate elliptic equations in non-divergence form on the Heisenberg group, focusing on points where the boundary is characteristic. Its central result is a second-order asymptotic expansion near the origin for solutions vanishing on the flat boundary {t=0}: if the source term lies in a weighted L∞ space with weight |x|², then the normal derivative at the origin exists and the solution differs from its linear-in-t approximation by an error of order $d^{{2+α}}$. This is new even for the standard sub-Laplacian. Along the way it proves boundary Hölder and boundary Lipschitz estimates that do not require the Cordes-Landis ellipticity-ratio restriction, and it identifies why an unweighted bounded source is not enough.

What carries the argument

The main carrier is a Landis-type growth lemma built on potentials U_E(z) = ∫_E d(z, ζ)^{-4α} dζ, where ψ_α = $ρ^{{-4α}}$ is a subsolution for LA when 4α ≥ (Q+1)Λ/λ - 3; choosing α < Q/4 makes the potential finite and integrable. Boundary barriers are constructed from translated and rescaled versions of ψ_α, and for the half-space expansion the iteration is applied to the ratio v = u/t on rectangular boxes R(r) = {0 < t < δr², |x| < r}, using explicit quadratic barriers and the inhomogeneous Harnack inequality (Theorem 3.8) to control v on the upper layers. This produces oscillation decay for v, hence a unique limit at the origin and the claimed $d^{{2+α}}$ rate.

What would settle it

Solve ∆X u = |x|² in B_4 ∩ {t>0} with u=0 on {t=0}, numerically or explicitly: Theorem 6.7 predicts that u/t extends to a Hölder-continuous function at the origin with rate (|x|⁴+t²)^{α/4}. If the ratio has no limit, or if different approximating sequences yield different limits, the oscillation-decay iteration behind Theorem 6.7 would be refuted.

Watch

Extended reading notes

Core claim

For the characteristic half-space H^n_+ = {t>0}, the paper shows that solutions of LAu = f with u = 0 on {t=0} and f in L∞(·, |x|²) satisfy a punctual $C^{{2,α}}$-type estimate at the origin: the limit ∂tu(0,0) exists and |u(z) - ∂tu(0,0)t| ≤ C(||u||_{L∞} + ||f||_{weighted}) d(z,0)^{2+α} near 0. The authors state this is new even for the sub-Laplacian, and their proof combines boundary Hölder estimates, a linear-in-t growth estimate for u, and an oscillation-decay iteration for the ratio u/t. For the boundary Hölder and Lipschitz results, no Cordes-Landis condition is needed; it enters only for the Harnack inequality used in the final expansion.

Load-bearing premise

The paper assumes, without proof, a weak comparison principle for the degenerate operator LA on bounded domains for C² functions, and every barrier argument depends on it; the final expansion additionally assumes the Cordes-Landis bound Λ/λ < (Q+3)/(Q+1) that underlies the Harnack inequality.

Editorial extensions

If this is right

  • For every operator LA with bounded measurable coefficients satisfying the Cordes-Landis condition, solutions vanishing on the flat boundary have a defined normal derivative at the characteristic origin, with a quantitative second-order expansion.
  • Boundary Hölder estimates hold under exterior density or exterior ball conditions, and boundary Lipschitz estimates hold under an exterior touching ball condition, without any restriction on the ellipticity ratio.
  • The weighted source class L∞(·, |x|²) is necessary: the explicit family in Example 6.10 has bounded unweighted L∞ norm but fails the second-order expansion.
  • For the Dirichlet problem with boundary data g satisfying Δg ∈ L∞(·, |x|²), the harmonic extension admits a second-order expansion with boundary term g(x) and normal-derivative term ∂tu(0,0)t.
  • The linear-in-t estimate for solutions in the half-space upgrades the general sublinear Lipschitz bound to second-order behavior in the anisotropic metric d.

Reading between the lines

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

  • The argument seems adaptable to smooth perturbations of the half-space and possibly to other Carnot groups, but the flat geometry of {t=0} is used heavily in constructing the rectangular barriers and in the covering argument.
  • The key open test is whether the weighted class L∞(·, |x|²) is the sharp source condition for second-order estimates in more general scale-invariant domains such as parabolic cones {t > M|x|²}.
  • The unproved weak comparison principle for LA, used in every barrier argument, is a genuine load-bearing assumption; if it fails for some bounded measurable coefficient matrix, the stated estimates would need qualification.
  • Since the Cordes-Landis condition enters only through the Harnack inequality, smoother coefficients (e.g., Hölder-continuous) should let the second-order expansion hold for arbitrary ellipticity ratio, as the authors note in their Remark 6.8.
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

2 major / 5 minor

Summary. The paper establishes boundary regularity results for non-divergence form degenerate elliptic operators LA = tr(A D_X^2) on the Heisenberg group, where A is uniformly elliptic on the horizontal distribution but LA is degenerate in the t-direction. The main results are: an inhomogeneous Harnack inequality and interior/boundary Hölder estimates under a Cordes-Landis condition (Theorem 3.8, Corollary 3.7, Theorem 4.7); boundary Hölder and Lipschitz estimates under exterior density, exterior ball containment, and exterior touching ball conditions, some of which do not require the Cordes-Landis condition (Theorems 4.4, 4.7, 5.3); a linear-in-t growth estimate in the characteristic half-space (Theorem 6.2); and, as the central result, a second-order asymptotic expansion at the characteristic origin for solutions vanishing on {t=0} with f in the weighted space L^∞(·,|x|^2) under the Cordes-Landis condition (Theorem 6.7). Example 6.10 shows that the weighted-source assumption cannot be relaxed to plain L^∞. The proof is an a priori barrier and oscillation-iteration argument.

Significance. If correct, Theorem 6.7 is a substantial result: it gives a boundary C^{2,α}-type expansion at a characteristic point for the sub-Laplacian and for general LA, and the authors correctly note that this is new even for the sub-Laplacian with nonzero right-hand side. The identification of the weighted L^∞(|x|^2) source class is sharpened by the concrete counterexample in Example 6.10. A second strength is that the boundary Hölder and Lipschitz results in Sections 4 and 5 avoid the Cordes-Landis condition in several regimes, using geometry-specific barriers. The algebraic estimates are written out in detail, the structural constants are explicit, and the oscillation iteration in Theorem 6.7 is coherent. The main caveat is that the paper relies on a weak comparison principle stated without proof; this is repairable and does not appear to undermine the central claim.

major comments (2)
  1. [Section 2, Weak Comparison Principle (before Lemma 2.1)] The Weak Comparison Principle for LA is stated with the phrase 'well known result' but no proof or reference is supplied. This principle is used in every barrier argument in the paper: Theorems 3.3, 4.4, 5.3, 6.2, and 6.7 all invoke it. For the operator LA = tr(A D_X^2), whose symbol has a one-dimensional kernel, the classical maximum principle does not apply verbatim, so this is a genuine missing proof rather than a routine citation. The statement is true for C^2 functions: at an interior maximum the horizontal Hessian is negative semidefinite, and the standard perturbation with e^{γ x_1}, using LA(e^{γ x_1}) ≥ λγ^2 e^{γ x_1}, gives the desired contradiction. The authors should include this argument or provide a precise reference valid for this degenerate class. Because the principle is load-bearing, the manuscript should be revised to supply this missing support.
  2. [Section 3, proof of Theorem 3.8] The inhomogeneous Harnack inequality is derived by invoking the axiomatic results [21, Theorems 2.7 and 2.8] after verifying the ε-critical density property (23) and the double-ball property (24). However, the paper does not state exactly which axioms of [21] are being checked, nor does it list the hypotheses of Theorems 2.7 and 2.8. Since Theorem 3.8 is later used in Proposition 6.6 and hence in the proof of Theorem 6.7, the proof would be more rigorous if the authors quoted the relevant conditions from [21] and verified them explicitly. This is a presentation and verification issue, but it affects a central tool.
minor comments (5)
  1. [Corollary 6.3] The sentence 'In particular, we there exists a positive constant C' contains a grammatical error; it should read 'In particular, there exists a positive constant C'.
  2. [Theorem 6.2, proof] The constant α is introduced as α = 25n/8 · Λ/λ in the proof and later written as α = 25/16(Q−2)Λ/λ. The equivalence is correct because Q = 2n+2, but the two expressions should be reconciled explicitly to avoid confusing the reader.
  3. [Proposition 6.6, proof] The covering argument uses Heisenberg metric balls B_{ρ/K_H}(z_i) and states that these balls are Euclidean convex. Korányi balls in H^n are indeed sublevel sets of the convex function |x|^4 + t^2, so the claim is true, but it is not immediate and should be justified in a sentence. Alternatively, the chain argument can be phrased without convexity by using openness and compactness of the segment.
  4. [Example 6.10] The sentence 'we can make the previous expression bigger than C d^α(...) for some positive ϵ and t small enough' is compressed. The intended argument is clearer if one chooses t = cϵ with a fixed c > 0 and lets ϵ → 0, so that the ratio behaves like C'ϵ^{2q−α/2} and diverges when 2q < α/2.
  5. [Section 4, Theorem 4.7] The notation dist(z,∂Ω) is used without an explicit definition; since the paper works with the homogeneous metric d, the authors should state that dist denotes the distance induced by d.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 6.7 is derived from internal growth and Harnack lemmas; weighted source assumption is a stated hypothesis, not a fitted output.

full rationale

The derivation chain is self-contained and non-circular. The paper proves Lemma 2.1 (positivity of L_A applied to the barrier psi_alpha), uses it to establish the Landis-type growth lemma (Theorem 3.3) under the Cordes-Landis condition (CL), derives the inhomogeneous Harnack inequality (Theorem 3.8) from that growth lemma, and then uses Theorem 3.8 only in Proposition 6.6 to control the ratio u/t on rectangles, leading to the oscillation decay and the final expansion in Theorem 6.7. The weighted source norm in Theorem 6.7 is imposed as a hypothesis up front, not fitted to the conclusion; Example 6.10 explicitly shows that replacing it by the unweighted L-infinity norm breaks the conclusion, which is the correct sharpness behavior rather than circular reasoning. The much-used weak comparison principle is indeed stated without proof, but it is an external input and does not encode the target expansion; the skeptic's verification shows it is valid for C^2 solutions under the pointwise ellipticity condition. Self-citations [1], [36], and [42] are used for background, comparison, and a variant of the ellipticity condition, not as the source of the main theorem; the proof of Theorem 3.8 invokes the standard axiomatic theory from [13,21]. Internal dependencies such as Theorem 6.7 relying on Corollary 6.3 and Proposition 6.6 are ordinary proof structure, not circularity. No step reduces a predicted quantity to its own definition or renames a fitted parameter as a prediction.

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

No empirical free parameters are fitted: constants such as alpha, delta, tau, eta, gamma, and M are chosen explicitly from lambda, Lambda, Q, n, or restricted ranges. The paper introduces no new physical or geometric entities; all barriers are functions built from the homogeneous norm and standard comparison arguments.

assumptions (5)
  • standard math Heisenberg group structure with homogeneous norm rho=(|x|^4+t^2)^(1/4), metric d, and left-invariant horizontal vector fields X_j.
    Used throughout Sections 2 to 6 as the ambient geometric setting.
  • domain assumption A(z) is symmetric, measurable, and satisfies lambda I <= A <= Lambda I on R^(2n), making LA degenerate elliptic with one-dimensional kernel in R^(2n+1).
    Assumptions (1), (10), and (11); this is the structural class of operators studied.
  • domain assumption Weak comparison principle and strong maximum principle hold for LA for C^2 functions on bounded domains.
    Stated before Lemma 2.1 and invoked in every barrier comparison, including Theorems 3.3, 4.4, 5.3, 6.2, and 6.7.
  • domain assumption Cordes-Landis condition (CL): Lambda/lambda < (Q+3)/(Q+1), with alpha chosen so that psi_alpha is a subsolution and locally integrable.
    Definition 3.1 and Lemma 2.1; needed for the inhomogeneous Harnack inequality and the half-space expansion in Theorem 6.7.
  • domain assumption For derivative and expansion results, the source term f lies in the weighted space L^infinity(D, |x|^2), and solutions satisfy the stated zero boundary condition on {t=0}.
    Definitions 5.2 and Section 6; Example 6.10 shows ordinary L^infinity is insufficient for the second-order expansion.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Boundary regularity for subelliptic equations in the Heisenberg group." pith.science (2026). https://pith.science/paper/EM53KUG4

@misc{pith2026250605151,
  author       = {Pith},
  title        = {Pith review of: Boundary regularity for subelliptic equations in the Heisenberg group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EM53KUG4}},
  note         = {Machine review of arXiv:2506.05151}
}
abstract

We prove boundary H\"older and Lipschitz regularity for a class of degenerate elliptic, second order, inhomogeneous equations in non-divergence form structured on the left-invariant vector fields of the Heisenberg group. Our focus is on the case of operators with bounded and measurable coefficients and bounded right-hand side; when necessary, we impose a dimensional restriction on the ellipticity ratio and a growth rate for the source term near characteristic points of the boundary. For solutions in the characteristic half-space $\{t>0\}$, we obtain an intrinsic second order expansion near the origin when the source term belongs to an appropriate weighted $L^{\infty}$ space; this is a new result even for the frequently studied sub-Laplacian.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

  1. [21]

    169 (2018), 130–162

    Chiara Guidi and Annamaria Montanari, Abstract approach to non homogeneous Harnack inequality in doubling quasi metric spaces , Nonlinear Anal. 169 (2018), 130–162. MR 3761098

    work page 2018

  2. [1]

    Guti´ errez, and Giulio Tralli,Harnack’s inequality for a class of non-divergent equations in the Heisenberg group , Comm

    Farhan Abedin, Cristian E. Guti´ errez, and Giulio Tralli,Harnack’s inequality for a class of non-divergent equations in the Heisenberg group , Comm. Partial Differential Equations 42 (2017), no. 10, 1644–1658. MR 3764922

    work page 2017

  3. [2]

    Apushkinskaya and Alexander I

    Darya E. Apushkinskaya and Alexander I. Nazarov, The normal derivative lemma and surrounding issues, Uspekhi Mat. Nauk 77 (2022), no. 2(464), 3–68. MR 4461367

    work page 2022

  4. [3]

    Annalisa Baldi, Giovanna Citti, and Giovanni Cupini, Schauder estimates at the boundary for sub- laplacians in Carnot groups , Calc. Var. Partial Differential Equations 58 (2019), no. 6, Paper No. 204,

    work page 2019

  5. [4]

    Munive, Compactness methods for Γ1,α boundary Schauder estimates in Carnot groups , Calc

    Agnid Banerjee, Nicola Garofalo, and Isidro H. Munive, Compactness methods for Γ1,α boundary Schauder estimates in Carnot groups , Calc. Var. Partial Differential Equations 58 (2019), no. 3, Pa- per No. 97, 29. MR 3948989

    work page 2019

  6. [5]

    , Higher order boundary Schauder estimates in Carnot groups , Math. Ann. 390 (2024), no. 4, 6013–6047. MR 4816128

    work page 2024

  7. [6]

    MR 2363343

    Andrea Bonfiglioli, Ermanno Lanconelli, and Francesco Uguzzoni, Stratified Lie groups and potential the- ory for their sub-Laplacians , Springer Monographs in Mathematics, Springer, Berlin, 2007. MR 2363343

    work page 2007

  8. [7]

    Andrea Bonfiglioli and Francesco Uguzzoni, Harnack inequality for non-divergence form operators on stratified groups, Trans. Amer. Math. Soc. 359 (2007), no. 6, 2463–2481. MR 2286040

    work page 2007

Show all 44 references
  1. [8]

    Jean-Michel Bony, Principe du maximum, in´ egalite de Harnack et unicit´ e du probl` eme de Cauchy pour les op´ erateurs elliptiques d´ eg´ en´ er´ es, Ann. Inst. Fourier (Grenoble) 19 (1969), no. fasc. 1, 277–304 xii. MR 262881

    1969

  2. [9]

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

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

    1989

  3. [10]

    Luca Capogna, Nicola Garofalo, and Duy-Minh Nhieu, Mutual absolute continuity of harmonic and surface measures for H¨ ormander type operators, Perspectives in partial differential equations, harmonic analysis and applications, Proc. Sympos. Pure Math., vol. 79, Amer. Math. Soc...

    2008

  4. [11]

    Value Probl

    Sungwon Cho and Mikhail Safonov, H¨ older regularity of solutions to second-order elliptic equations in nonsmooth domains, Bound. Value Probl. (2007), Art. ID 57928, 24. MR 2291933

    2007

  5. [12]

    Giovanna Citti, Gianmarco Giovannardi, and Yannick Sire, Schauder estimates up to the boundary on h-type groups: an approach via the double layer potential , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) (in press), pp. 37, doi 10.2422/2036--2145.202302_015

  6. [13]

    Guti´ errez, and Ermanno Lanconelli, Covering theorems, inequalities on metric spaces and applications to PDE’s , Math

    Giuseppe Di Fazio, Cristian E. Guti´ errez, and Ermanno Lanconelli, Covering theorems, inequalities on metric spaces and applications to PDE’s , Math. Ann. 341 (2008), no. 2, 255–291. MR 2385658

    2008

  7. [14]

    Wisconsin Press, Madison, WI, 1960, pp

    Gaetano Fichera, On a unified theory of boundary value problems for elliptic-parabolic equations of second order, Boundary problems in differential equations, Univ. Wisconsin Press, Madison, WI, 1960, pp. 97–

    1960

  8. [15]

    Folland, A fundamental solution for a subelliptic operator , Bull

    Gerald B. Folland, A fundamental solution for a subelliptic operator , Bull. Amer. Math. Soc. 79 (1973), 373–376. MR 315267

    1973

  9. [16]

    , Subelliptic estimates and function spaces on nilpotent Lie groups , Ark. Mat. 13 (1975), no. 2, 161–207. MR 494315

    1975

  10. [17]

    Stein , J

    , The Heisenberg group and its relatives in the work of Elias M. Stein , J. Geom. Anal. 31 (2021), no. 7, 6681–6697. MR 4289241

    2021

  11. [18]

    Folland and Elias M

    Gerald B. Folland and Elias M. Stein, Parametrices and estimates for the ¯∂b complex on strongly pseu- doconvex boundaries, Bull. Amer. Math. Soc. 80 (1974), 253–258. MR 344699

    1974

  12. [19]

    139 (1977), no

    Bernard Gaveau, Principe de moindre action, propagation de la chaleur et estim´ ees sous elliptiques sur certains groupes nilpotents, Acta Math. 139 (1977), no. 1-2, 95–153. MR 461589

    1977

  13. [20]

    Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition

    David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001, Reprint of the 1998 edition. MR 1814364

    2001

  14. [22]

    Guti´ errez and Ermanno Lanconelli,Maximum principle, nonhomogeneous Harnack inequal- ity, and Liouville theorems for X-elliptic operators , Comm

    Cristian E. Guti´ errez and Ermanno Lanconelli,Maximum principle, nonhomogeneous Harnack inequal- ity, and Liouville theorems for X-elliptic operators , Comm. Partial Differential Equations 28 (2003), no. 11-12, 1833–1862. MR 2015404

    2003

  15. [23]

    Guti´ errez and Federico Tournier,Harnack inequality for a degenerate elliptic equation, Comm

    Cristian E. Guti´ errez and Federico Tournier,Harnack inequality for a degenerate elliptic equation, Comm. Partial Differential Equations 36 (2011), no. 12, 2103–2116. MR 2852071

    2011

  16. [24]

    171, American Mathematical Society, Providence, RI, 2016

    Qing Han, Nonlinear elliptic equations of the second order , Graduate Studies in Mathematics, vol. 171, American Mathematical Society, Providence, RI, 2016. MR 3468839

    2016

  17. [25]

    Jerison, The Dirichlet problem for the Kohn Laplacian on the Heisenberg group

    David S. Jerison, The Dirichlet problem for the Kohn Laplacian on the Heisenberg group. I , J. Functional Analysis 43 (1981), no. 1, 97–142. MR 639800

    1981

  18. [26]

    , The Dirichlet problem for the Kohn Laplacian on the Heisenberg group. II, J. Functional Analysis 43 (1981), no. 2, 224–257. MR 633978 BOUNDARY REGULARITY FOR SUBELLIPTIC EQUATIONS INHn 35

    1981

  19. [27]

    Kazdan, Prescribing the curvature of a Riemannian manifold , CBMS Regional Conference Series in Mathematics, vol

    Jerry L. Kazdan, Prescribing the curvature of a Riemannian manifold , CBMS Regional Conference Series in Mathematics, vol. 57, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1985. MR 787227

    1985

  20. [28]

    Kohn, Boundaries of complex manifolds , Proc

    Joseph J. Kohn, Boundaries of complex manifolds , Proc. Conf. Complex Analysis (Minneapolis, 1964), Springer, Berlin-Heidelberg-New York, 1965, pp. 81–94. MR 175149

    1964

  21. [29]

    Kohn and Louis Nirenberg, Non-coercive boundary value problems, Comm

    Joseph J. Kohn and Louis Nirenberg, Non-coercive boundary value problems, Comm. Pure Appl. Math. 18 (1965), 443–492. MR 181815

    1965

  22. [30]

    Krylov, Boundedly inhomogeneous elliptic and parabolic equations in a domain , Izv

    Nicolai V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations in a domain , Izv. Akad. Nauk SSSR Ser. Mat. 47 (1983), no. 1, 75–108. MR 688919

    1983

  23. [31]

    Krylov and Mikhail V

    Nicolai V. Krylov and Mikhail V. Safonov, A property of the solutions of parabolic equations with mea- surable coefficients, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 1, 161–175, 239. MR 563790

    1980

  24. [32]

    Ermanno Lanconelli and Francesco Uguzzoni, On the Poisson kernel for the Kohn Laplacian , Rend. Mat. Appl. (7) 17 (1997), no. 4, 659–677. MR 1620876

    1997

  25. [33]

    Differential Equations 248 (2010), no

    , Potential analysis for a class of diffusion equations: a Gaussian bounds approach , J. Differential Equations 248 (2010), no. 9, 2329–2367. MR 2595724

    2010

  26. [34]

    Landis, Harnack’s inequality for second order elliptic equations of Cordes type , Dokl

    Evgenii M. Landis, Harnack’s inequality for second order elliptic equations of Cordes type , Dokl. Akad. Nauk SSSR 179 (1968), 1272–1275. MR 228816

    1968

  27. [35]

    171, American Mathematical Society, Providence, RI, 1998, Translated from the 1971 Russian original by Tamara Rozhkovskaya, With a preface by Nina Uraltseva

    , Second order equations of elliptic and parabolic type, Translations of Mathematical Monographs, vol. 171, American Mathematical Society, Providence, RI, 1998, Translated from the 1971 Russian original by Tamara Rozhkovskaya, With a preface by Nina Uraltseva. MR 1487894

    1998

  28. [36]

    Vittorio Martino and Giulio Tralli, On the Hopf-Oleinik lemma for degenerate-elliptic equations at char- acteristic points, Calc. Var. Partial Differential Equations 55 (2016), no. 5, Art. 115, 20. MR 3551295

    2016

  29. [37]

    Michael, Barriers for uniformly elliptic equations and the exterior cone condition , J

    James H. Michael, Barriers for uniformly elliptic equations and the exterior cone condition , J. Math. Anal. Appl. 79 (1981), no. 1, 203–217. MR 603385

    1981

  30. [38]

    Keith Miller, Barriers on cones for uniformly elliptic operators , Ann. Mat. Pura Appl. (4) 76 (1967), 93–105. MR 221087

    1967

  31. [39]

    Oleinik and Evgenii V

    Olga A. Oleinik and Evgenii V. Radkeviˇ c,Second order equations with nonnegative characteristic form , Plenum Press, New York-London, 1973, Translated from the Russian by Paul C. Fife. MR 457908

    1973

  32. [40]

    Safonov, On the boundary estimates for second-order elliptic equations , Complex Var

    Mikhail V. Safonov, On the boundary estimates for second-order elliptic equations , Complex Var. Elliptic Equ. 63 (2018), no. 7-8, 1123–1141. MR 3802819

    2018

  33. [41]

    4, 271–284

    , Growth theorems for metric spaces with applications to PDE , Algebra i Analiz 32 (2020), no. 4, 271–284. MR 4167870

    2020

  34. [42]

    Differential Equations 256 (2014), no

    Giulio Tralli, A certain critical density property for invariant Harnack inequalities in H-type groups , J. Differential Equations 256 (2014), no. 2, 461–474. MR 3121702

    2014

  35. [43]

    ABEDIN AND G

    MR 4029732 34 F. ABEDIN AND G. TRALLI

  36. [44]

    Notes Semin

    Francesco Uguzzoni, Cone criterion for non-divergence equations modeled on H¨ ormander vector fields , Subelliptic PDE’s and applications to geometry and finance, Lect. Notes Semin. Interdiscip. Mat., vol. 6, Semin. Interdiscip. Mat. (S.I.M.), Potenza, 2007, pp. 227–241. MR 23...

    2007

Pith tools

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