Given a compact and H-convex subset KK of the Heisenberg group H\H, with the origin ee in its interior, we are interested in finding a homogeneous H-convex function ff such that f(e)=0f(e)=0 and f∣∂K=1f\bigl|_{\partial K}=1; we will call this function ff the H\H-cone-function of vertex ee and base ∂K\partial K. While the equivalent version of this problem in the Euclidean framework has an easy solution, in our context this investigation turns out to be quite entangled, and the problem can be unsolvable. The approach we follow makes use of an extension of the notion of convex family introduced by Fenchel. We provide the precise, even if awkward, condition required to KK so that ∂K\partial K is the base of an H\H-cone-function of vertex e.e. Via a suitable employment of this condition, we prove two interesting binding constraints on the shape of the set K,K, together with several examples.

Contact details are reproduced from the original publication and may be historical.

Andrea Calogero

Dip. di Matematica e Applicazioni, Università di Milano-Bicocca, 20125 Milano, Italy

andrea.calogero@unimib.it

Rita Pini

Dip. di Matematica e Applicazioni, Università di Milano-Bicocca, 20125 Milano, Italy

rita.pini@unimib.it
  1. G. Arena, A. Caruso, R. Monti: Regularity properties of H-convex sets, J. Geom. Anal. 22 (2012) 583–602.https://doi.org/10.1007/s12220-010-9203-7Google Scholar
  2. Z. M. Balogh, A. Calogero, and A. Kristály: Sharp comparison and Aleksandrovtype maximum principles in Heisenberg groups, J. Functional Analysis 269 (2015) 2669–2708.https://doi.org/10.1016/j.jfa.2015.08.014Google Scholar
  3. Z. M. Balogh, K. Fässler, H. Sobrino: Isometric embeddings into Heisenberg groups, Geom. Dedicata 195 (2019) 163–192.https://doi.org/10.1007/s10711-017-0282-5Google Scholar
  4. Z. M. Balogh, M. Rickly: Regularity of convex functions on Heisenberg groups, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 2 (2003) 847–868.Google Scholar
  5. T. Bieske, F. Dragoni, J. Manfredi: The Carnot-Carathéodory distance in infinite Laplacian, J. Geom. Anal. 19 (2009) 737–754.https://doi.org/10.1007/s12220-009-9087-6Google Scholar
  6. L. A. Caffarelli: Interior W 2,p -estimates for solutions of the Monge-Ampère equation, Ann. Math. 131 (1990) 135–150.https://doi.org/10.2307/1971510Google Scholar
  7. L. A. Caffarelli: Some regularity properties of solutions of Monge-Ampère equation, Comm. Pure Appl. Math. 44 (1991) 965–969.https://doi.org/10.1002/cpa.3160440809Google Scholar
  8. A. Calogero, G. Carcano, R. Pini: On weakly H-quasiconvex functions on the Heisenberg group, J. Convex Analysis 15 (2008) 753–766.https://doi.org/10.68381/jca15050Google Scholar
  9. A. Calogero, R. Pini: Horizontal normal map on the Heisenberg group, J. Nonlinear Convex Analysis 12(2) (2011) 287–307.Google Scholar
  10. L. Capogna, D. Danielli, S. Pauls, J. T. Tyson: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem, Birkhäuser, Basel (2007).Google Scholar
  11. L. Capogna, D. Maldonado: A note on the engulfing property and the Γ1+α - regularity of convex functions in Carnot groups, Proc. Amer. Math. Soc. 134 (2006) 3191–3199.https://doi.org/10.1090/S0002-9939-06-08359-6Google Scholar
  12. D. Danielli, N. Garofalo, D. M. Nhieu: Notions of convexity in Carnot groups, Comm. Anal. Geom. 11 (2003) 263–341.https://doi.org/10.4310/CAG.2003.v11.n2.a5Google Scholar
  13. W. Fenchel: Convex cone, sets, and functions, Princeton University Press, Princeton (1953).Google Scholar
  14. C. E. Gutiérrez: The Monge-Ampère Equation, Birkhäuser, Boston (2001).https://doi.org/10.1007/978-1-4612-0195-3Google Scholar
  15. D. Morbidelli: On the inner cone property for convex sets in two-step Carnot groups, with applications to monotone sets, (2018) arXiv:1808.06513.Google Scholar

A. Calogero, R. Pini. “On the H-Cone-Functions for H-Convex Sets.” Journal of Convex Analysis 26 (2019), No. 3, 967–989. https://doi.org/10.68381/jca26052