Related papers: Sharp comparison and maximum principles via horizo…

We prove estimates, similar in form to the classical Aleksandrov estimates, for a Monge-Ampere type operator on the Heisenberg group. A notion of normal mapping does not seem to be available in this context and the method of proof uses…

We investigate the notion of H-subdifferential and H-normal map of a function on the Heisenberg group, based on its sub-Riemannian structure. In particular, a characterization of the convexity of a function is given via the nonemptiness of…

We study the strong maximum principle for horizontal (p-) mean curvature operator and p-(sub)laplacian operator on subriemannian manifolds including, in particular, Heisenberg groups and Heisenberg cylinders. Under a certain Hormander type…

In this paper, we investigate the sharp Hardy-Littlewood-Sobolev inequalities on the Heisenberg group. On one hand, we apply the concentration compactness principle to prove the existence of the maximizers. While the approach here gives a…

We present a criterion for the stochastic completeness of a submanifold in terms of its distance to a hypersurface in the ambient space. This relies in a suitable version of the Hessian comparison theorem. In the sequel we apply a…

In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every…

On a convex bounded open set, we prove that Poincar\'e-Sobolev constants for functions vanishing at the boundary can be bounded from below in terms of the norm of the distance function in a suitable Lebesgue space. This generalizes a result…

In this paper we extend some classical results of Convex Analysis to the sub-Riemannian setting of the Heisenberg group. In particular, we provide a horizontal version of Minty's theorem concerning maximal H-monotone operators defined in…

A theorem of Dorronsoro from the 1980s quantifies the fact that real-valued Sobolev functions on Euclidean spaces can be approximated by affine functions almost everywhere, and at all sufficiently small scales. We prove a variant of…

In the setting of fractional minimal surfaces, we prove that if two nonlocal minimal sets are one included in the other and share a common boundary point, then they must necessarily coincide. This strict maximum principle is not obvious,…

In this article, we investigate the pointwise behaviors of functions on the Heisenberg group. We find wavelet characterizations for the global and local H\"older exponents. Then we prove some a priori upper bounds for the multifractal…

We revisit the classical theory of linear second-order uniformly elliptic equations in divergence form whose solutions have H\"older continuous gradients, and prove versions of the generalized maximum principle, the $C^{1,\alpha}$-estimate,…

Two definitions for the rectfiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on $\mathbb{H}$-regular surfaces, and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups.…

In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these…

In a real Hilbert space $\mathcal{H}$. Given any function $f$ convex differentiable whose solution set $\argmin_{\mathcal{H}}\,f$ is nonempty, by considering the Proximal Algorithm $x_{k+1}=\text{prox}_{\b_k f}(d x_k)$, where $0<d<1$ and…

In the setting of symplectic manifolds which are convex at infinity, we use a version of the Aleksandrov maximum principle to derive uniform estimates for Floer solutions that are valid for a wider class of Hamiltonians and almost complex…

In this paper we investigate a class of $2$-Hessian equations and establish a minimum principle for a $P$-function in the sense of L.E. Payne (see R. Sperb \cite{Sp81}). The analysis is based on a sharp matrix inequality providing an…

Let $H$ and $G$ be two finite graphs. Define $h_H(G)$ to be the number of homomorphisms from $H$ to $G$. The function $h_H(\cdot)$ extends in a natural way to a function from the set of symmetric matrices to $\mathbb{R}$ such that for…

Given $0\leq\alpha<1$, we define \[\begin{array}{lr} \mathbf{M}_\alpha f(u,v,t) = \sup_{ \mathbf{R} \ni (0,0,0)} {\rm vol} \{\mathbf{R}\}^{\alpha-1} \iiint_\mathbf{R}\left|f [(u,v,t)\odot(\xi,\eta,\tau)^{-1}]\right|d\xi d\eta d\tau…

Estimation of convex functions finds broad applications in engineering and science, while convex shape constraint gives rise to numerous challenges in asymptotic performance analysis. This paper is devoted to minimax optimal estimation of…