pith. sign in

arxiv: 1907.01701 · v1 · pith:OVLF5273new · submitted 2019-07-03 · 🧮 math.AP

Horizontal convex envelope in the Heisenberg group and applications to sub-elliptic equations

Qing Liu , Xiaodan Zhou This is my paper

Pith reviewed 2026-05-25 10:31 UTC · model grok-4.3

classification 🧮 math.AP
keywords horizontal convex envelopeHeisenberg groupviscosity solutionssubelliptic equationsh-convexityconvexification processfully nonlinear equations
0
0 comments X

The pith

A constructive convexification process produces the horizontal convex envelope in the Heisenberg group and establishes h-convexity for viscosity solutions of symmetric fully nonlinear subelliptic equations.

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

The paper defines a horizontal convex envelope for continuous functions on the Heisenberg group as the largest horizontally convex function below the given one. It supplies an explicit iterative process that builds this envelope by successive adjustments along horizontal directions. The same process is applied to viscosity solutions of fully nonlinear equations, proving they must be horizontally convex when the equation obeys a symmetry condition. Counterexamples demonstrate that the symmetry condition is essential, as solutions can fail to be h-convex without it.

Core claim

The horizontal convex envelope of a continuous function in the Heisenberg group is constructed via a convexification process, and this construction shows that viscosity solutions to a class of fully nonlinear elliptic equations satisfying a symmetry condition are h-convex.

What carries the argument

The horizontal convex envelope, obtained as the pointwise supremum of all horizontal affine functions lying below the given function, together with the iterative convexification process that computes it by successive horizontal adjustments.

If this is right

  • Viscosity solutions to symmetric fully nonlinear subelliptic equations are horizontally convex.
  • The horizontal convex envelope of any continuous function can be obtained by the explicit convexification process.
  • Without the symmetry condition, horizontal convexity of solutions cannot be guaranteed in general.

Where Pith is reading between the lines

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

  • The convexification process may extend to other Carnot groups beyond the Heisenberg group.
  • Horizontal convexity could yield new comparison principles or regularity estimates for subelliptic equations.
  • The symmetry condition might be relaxed or replaced by weaker structural assumptions in future work.

Load-bearing premise

The fully nonlinear equations must satisfy the symmetry condition.

What would settle it

An explicit viscosity solution to a fully nonlinear equation lacking the symmetry condition that fails to be horizontally convex.

read the original abstract

This paper introduces in a natural way a notion of horizontal convex envelopes of continuous functions in the Heisenberg group. We provide a convexification process to find the envelope in a constructive manner. We also apply the convexification process to show h-convexity of viscosity solutions to a class of fully nonlinear elliptic equations in the Heisenberg group satisfying a certain symmetry condition. Our examples show that in general one cannot expect h-convexity of solutions without the symmetry condition.

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 / 2 minor

Summary. The paper introduces a notion of horizontal convex envelope for continuous functions in the Heisenberg group and provides a constructive convexification process to obtain it. It then applies this process to establish that viscosity solutions of a class of fully nonlinear subelliptic equations are horizontally convex, but only under an additional symmetry condition on the equations; counterexamples demonstrate that h-convexity cannot be expected in general without this condition.

Significance. If the constructive process and the conditional application are verified, the work supplies a new tool for analyzing convexity properties in sub-Riemannian settings and for subelliptic PDE theory. The explicit acknowledgment that the symmetry hypothesis is necessary, together with supporting examples, makes the contribution more precise and usable for subsequent research.

minor comments (2)
  1. The abstract refers to 'a certain symmetry condition' without indicating its precise form; the manuscript should state the condition explicitly in the introduction or in the statement of the main PDE result.
  2. Notation for the horizontal convex envelope and the convexification process should be introduced with a clear comparison to the Euclidean convex envelope to highlight the differences arising from the Heisenberg structure.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and for accurately summarizing the main contributions of the paper: the introduction of the horizontal convex envelope via a constructive convexification process, the application to viscosity solutions of symmetric fully nonlinear subelliptic equations, and the counterexamples demonstrating that the symmetry condition is necessary. We appreciate the referee's assessment that the work supplies a new tool for sub-Riemannian analysis when verified. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces a new notion of horizontal convex envelope together with an explicit constructive convexification process; the application to viscosity solutions is stated only under an additional symmetry hypothesis on the equations, with counter-examples supplied to show the hypothesis is necessary. No load-bearing step equates a claimed prediction or uniqueness result to a fitted parameter, self-citation, or definitional renaming; the derivation chain is self-contained against external benchmarks and does not reduce by construction to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central contribution is the new definition of the horizontal convex envelope and the proof that it yields h-convexity under the symmetry assumption. No numerical parameters are fitted. The work relies on standard background facts about the Heisenberg group and viscosity solutions.

axioms (2)
  • standard math Standard properties of the Heisenberg group and its horizontal distribution
    Invoked implicitly as the ambient space for the new definition.
  • domain assumption Existence and comparison principles for viscosity solutions of fully nonlinear subelliptic equations
    Required for the application step stated in the abstract.
invented entities (1)
  • Horizontal convex envelope no independent evidence
    purpose: Largest horizontally convex function below a given continuous function
    Newly defined object introduced by the paper; no independent evidence supplied outside the definition itself.

pith-pipeline@v0.9.0 · 5590 in / 1405 out tokens · 36049 ms · 2026-05-25T10:31:18.030019+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

37 extracted references · 37 canonical work pages

  1. [1]

    Alvarez, J.-M

    O. Alvarez, J.-M. Lasry, and P.-L. Lions. Convex viscosi ty solutions and state constraints. J. Math. Pures Appl. (9) , 76(3):265–288, 1997

    work page 1997

  2. [2]

    Z. M. Balogh, A. Calogero, and A. Krist´ aly. Sharp compar ison and maximum principles via horizontal normal mapping in the Heisenberg group. J. Funct. Anal. , 269(9):2669–2708, 2015

    work page 2015

  3. [3]

    Z. M. Balogh and M. Rickly. Regularity of convex function s on Heisenberg groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 2(4):847–868, 2003

    work page 2003

  4. [4]

    Bardi and F

    M. Bardi and F. Dragoni. Subdifferential and properties o f convex functions with respect to vector fields. J. Convex Anal. , 21(3):785–810, 2014

    work page 2014

  5. [5]

    Baspinar and G

    E. Baspinar and G. Citti. Uniqueness of viscosity mean cu rvature flow solution in two sub-riemannian structures. preprint, 2016

    work page 2016

  6. [6]

    T. Bieske. On ∞-harmonic functions on the Heisenberg group. Comm. Partial Differential Equations , 27(3-4):727–761, 2002

    work page 2002

  7. [7]

    L. A. Caffarelli and X. Cabr´ e. Fully nonlinear elliptic equations , volume 43 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 1995

    work page 1995

  8. [8]

    Capogna and G

    L. Capogna and G. Citti. Generalized mean curvature flow i n Carnot groups. Comm. Partial Differ- ential Equations , 34(7-9):937–956, 2009

    work page 2009

  9. [9]

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

    work page 1992

  10. [10]

    Crasta and I

    G. Crasta and I. Fragal` a. The Brunn-Minkowski inequal ity for the principal eigenvalue of fully non- linear homogeneous elliptic operators. preprint, 2019

    work page 2019

  11. [11]

    Danielli, N

    D. Danielli, N. Garofalo, and D.-M. Nhieu. Notions of co nvexity in Carnot groups. Comm. Anal. Geom., 11(2):263–341, 2003

    work page 2003

  12. [12]

    Danielli, N

    D. Danielli, N. Garofalo, and D.-M. Nhieu. On the best po ssible character of the LQ norm in some a priori estimates for non-divergence form equations in Car not groups. Proc. Amer. Math. Soc. , 131(11):3487–3498, 2003

    work page 2003

  13. [13]

    Dragoni, N

    F. Dragoni, N. Garofalo, and P. Salani. Starshapedenes s for fully-nonlinear equations in Carnot groups. J. London Math. Soc. , to appear

    work page

  14. [14]

    L. C. Evans and J. Spruck. Motion of level sets by mean cur vature. I. J. Differential Geom. , 33(3):635– 681, 1991

    work page 1991

  15. [15]

    Ferrari, Q

    F. Ferrari, Q. Liu, and J. J. Manfredi. On the horizontal mean curvature flow for axisymmetric surfaces in the Heisenberg group. Commun. Contemp. Math. , 16(3):1350027, 41, 2014

    work page 2014

  16. [16]

    Garofalo and F

    N. Garofalo and F. Tournier. New properties of convex fu nctions in the Heisenberg group. Trans. Amer. Math. Soc. , 358(5):2011–2055, 2006

    work page 2011

  17. [17]

    Y. Giga, S. Goto, H. Ishii, and M.-H. Sato. Comparison pr inciple and convexity preserving properties for singular degenerate parabolic equations on unbounded d omains. Indiana Univ. Math. J. , 40(2):443– 470, 1991

    work page 1991

  18. [18]

    Griewank and P

    A. Griewank and P. J. Rabier. On the smoothness of convex envelopes. Trans. Amer. Math. Soc. , 322(2):691–709, 1990

    work page 1990

  19. [19]

    C. E. Guti´ errez and A. Montanari. Maximum and comparis on principles for convex functions on the Heisenberg group. Comm. Partial Differential Equations , 29(9-10):1305–1334, 2004

    work page 2004

  20. [20]

    Ishige, Q

    K. Ishige, Q. Liu, and P. Salani. Parabolic minkowski co nvolutions of viscosity solutions to fully nonlinear equations. preprint, 2019

    work page 2019

  21. [21]

    H. Ishii. On uniqueness and existence of viscosity solu tions of fully nonlinear second-order elliptic PDEs. Comm. Pure Appl. Math. , 42(1):15–45, 1989

    work page 1989

  22. [22]

    Juutinen

    P. Juutinen. Concavity maximum principle for viscosit y solutions of singular equations. NoDEA Non- linear Differential Equations Appl. , 17(5):601–618, 2010

    work page 2010

  23. [23]

    Juutinen, G

    P. Juutinen, G. Lu, J. J. Manfredi, and B. Stroffolini. Co nvex functions on Carnot groups. Rev. Mat. Iberoam., 23(1):191–200, 2007

    work page 2007

  24. [24]

    B. Kawohl. When are solutions to nonlinear elliptic bou ndary value problems convex? Comm. Partial Differential Equations , 10(10):1213–1225, 1985

    work page 1985

  25. [25]

    A. U. Kennington. Power concavity and boundary value pr oblems. Indiana Univ. Math. J. , 34(3):687– 704, 1985

    work page 1985

  26. [26]

    Kirchheim and J

    B. Kirchheim and J. Kristensen. Differentiability of co nvex envelopes. C. R. Acad. Sci. Paris S´ er. I Math., 333(8):725–728, 2001

    work page 2001

  27. [27]

    N. J. Korevaar. Convex solutions to nonlinear elliptic and parabolic boundary value problems. Indiana Univ. Math. J. , 32(4):603–614, 1983. 30 Q. LIU AND X. ZHOU

    work page 1983

  28. [28]

    Q. Liu, J. J. Manfredi, and X. Zhou. Lipschitz continuit y and convexity preserving for solutions of semilinear evolution equations in the Heisenberg group. Calc. Var. Partial Differential Equations , 55(4):55:80, 2016

    work page 2016

  29. [29]

    Q. Liu, A. Schikorra, and X. Zhou. A game-theoretic proo f of convexity preserving properties for motion by curvature. Indiana Univ. Math. J. , 65:171–197, 2016

    work page 2016

  30. [30]

    Liu and X

    Q. Liu and X. Zhou. On the continuous differentiability o f horizontal convex envelope in the Heisenberg group. in preparation

    work page

  31. [31]

    G. Lu, J. J. Manfredi, and B. Stroffolini. Convex functio ns on the Heisenberg group. Calc. Var. Partial Differential Equations , 19(1):1–22, 2004

    work page 2004

  32. [32]

    V. Magnani. Lipschitz continuity, Aleksandrov theore m and characterizations for H-convex functions. Math. Ann. , 334(1):199–233, 2006

    work page 2006

  33. [33]

    Magnani and M

    V. Magnani and M. Scienza. Characterizations of differe ntiability for h-convex functions in stratified groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 13(3):675–697, 2014

    work page 2014

  34. [34]

    Nonlinear Subelliptic Equations and Carnot Groups

    J. J. Manfredi. Analysis and geometry in metric spaces, notes for the course on “Nonlinear Subelliptic Equations and Carnot Groups”. 2003

    work page 2003

  35. [35]

    A. M. Oberman. The convex envelope is the solution of a no nlinear obstacle problem. Proc. Amer. Math. Soc. , 135(6):1689–1694, 2007

    work page 2007

  36. [36]

    A. M. Oberman and L. Silvestre. The Dirichlet problem fo r the convex envelope. Trans. Amer. Math. Soc., 363(11):5871–5886, 2011

    work page 2011

  37. [37]

    C. Wang. Viscosity convex functions on Carnot groups. Proc. Amer. Math. Soc. , 133(4):1247–1253 (electronic), 2005. Qing Liu, Department of Applied Mathematics, Fukuoka Unive rsity, Fukuoka 814-0180, Japan, qingliu@fukuoka-u.ac.jp Xiaodan Zhou, Department of Mathematical Sciences, Worces ter Polytechnic Institute, Worcester, MA 01609, USA, xzhou3@wpi.edu

    work page 2005