Geometric second derivative estimates in Carnot groups and convexity

TL;DR

This paper establishes new geometric a priori estimates for H_2-convex functions in Carnot groups, linking horizontal mean curvature to second derivative bounds, especially in step two groups, with implications for boundary behavior.

Contribution

It introduces novel global estimates for H_2-convex functions in Carnot groups, connecting second derivatives to boundary curvature, and provides specific bounds in step two groups.

Findings

Derived new a priori estimates involving horizontal mean curvature.

Established bounds for second derivatives of H_2-convex functions in Carnot groups.

Showed inequalities relating second derivatives to boundary curvature in step two groups.

Abstract

We prove some new a priori estimates for H_2-convex functions which are zero on the boundary of a bounded smooth domain \Omega in a Carnot group G. Such estimates are global and are geometric in nature as they involve the horizontal mean curvature \mathcal H of the boundary of \Omega. As a consequence of our bounds we show that if G has step two, then for any smooth $H_2$-convex function in \Omega \subset G vanishing on the boundary of \Omega one has \sum_{i,j=1}^m \int_\Omega ([X_i,X_j]u)^2 dg \leq {4/3} \int_{\partial \Omega} \mathcal H |\nabla_H u|^2 d\sigma_H .