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.
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 prove an analogue of Chernoffs theorem for the Laplacian $ Delta_{mathbb{H}} $ on the Heisenberg group $ mathbb{H}^n.$ As an application, we prove Ingham type theorems for the group Fourier transform on $ mathbb{H}^n $ and also for the spectral projections associated to the sublaplacian.
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.
In this paper we investigate the $L^p$ boundedness of the lacunary maximal function $ M_{Ha}^{lac} $ associated to the spherical means $ A_r f$ taken over Koranyi spheres on the Heisenberg group. Closely following an approach used by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions leading to new unweighted and weighted estimates. The key ingredients in the proof are the $L^p$ improving property of the operator $A_rf$ and a continuity property of the difference $A_rf-tau_y A_rf$, where $tau_yf(x)=f(xy^{-1})$ is the right translation operator.