No Arabic abstract
In this paper, we give a necessary and sufficient condition for a graphical strip in the Heisenberg group $mathbb{H}$ to be area-minimizing in the slab ${-1<x<1}$. We show that our condition is necessary by introducing a family of deformations of graphical strips based on varying a vertical curve. We show that it is sufficient by showing that strips satisfying the condition have monotone epigraphs. We use this condition to show that any area-minimizing ruled entire intrinsic graph in the Heisenberg group is a vertical plane and to find a boundary curve that admits uncountably many fillings by area-minimizing surfaces.
Minimal surfaces in $mathbb{R}^n$ can be locally approximated by graphs of harmonic functions, i.e., functions that are critical points of the Dirichlet energy, but no analogous theorem is known for $H$-minimal surfaces in the three-dimensional Heisenberg group $mathbb{H}$, which are known to have singularities. In this paper, we introduce a definition of intrinsic Dirichlet energy for surfaces in $mathbb{H}$ and study the critical points of this energy, which we call contact harmonic graphs. Nearly flat regions of $H$-minimal surfaces can often be approximated by such graphs. We give a calibration condition for an intrinsic Lipschitz graph to be energy-minimizing, construct energy-minimizing graphs with a variety of singularities, and prove a first variation formula for the energy of intrinsic Lipschitz graphs and piecewise smooth intrinsic graphs.
We endow the set of probability measures on a weighted graph with a Monge--Kantorovich metric, induced by a function defined on the set of vertices. The graph is assumed to have $n$ vertices and so, the boundary of the probability simplex is an affine $(n-2)$--chain. Characterizing the geodesics of minimal length which may intersect the boundary, is a challenge we overcome even when the endpoints of the geodesics dont share the same connected components. It is our hope that this work would be a preamble to the theory of Mean Field Games on graphs.
We provide a new geometric proof of Reimanns theorem characterizing quasiconformal mappings as the ones preserving functions of bounded mean oscillation. While our proof is new already in the Euclidean spaces, it is applicable in Heisenberg groups as well as in more general stratified nilpotent Carnot groups.
We here revisit Fourier analysis on the Heisenberg group H^d. Whereas, according to the standard definition, the Fourier transform of an integrable function f on H^d is a one parameter family of bounded operators on L 2 (R^d), we define (by taking advantage of basic properties of Hermite functions) the Fourier transform f_H of f to be a uniformly continuous mapping on the set N^d x N^d xR {0} endowed with a suitable distance. This enables us to extend f_H to the completion of that space, and to get an explicit asymptotic description of the Fourier transform when the vertical frequency tends to 0. We expect our approach to be relevant for adapting to the Heisenberg framework a number of classical results for the Euclidean case that are based on Fourier analysis. As an example, we here establish an explicit extension of the Fourier transform for smooth functions on H^d that are independent of the vertical variable.
We give a geometric criterion for a topological surface in the first Heisenberg group to be an intrinsic Lipschitz graph, using planar cones instead of the usual open cones.