Loomis-Whitney inequalities in Heisenberg groups

TL;DR

This paper establishes Loomis-Whitney inequalities in higher-dimensional Heisenberg groups using an inductive approach from the one-dimensional case, leading to new geometric inequalities and applications in analysis.

Contribution

It introduces a novel inductive method to derive Loomis-Whitney inequalities in Heisenberg groups and applies multilinear interpolation for strong bounds, connecting planar geometry to higher-dimensional analysis.

Findings

Loomis-Whitney inequalities in $H^n$ derived from $H^1$ case

Strong type bounds established via multilinear interpolation

Sharper geometric Sobolev inequality in $H^n$ obtained

Abstract

This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced by an elementary inductive argument from the inequality in $\mathbb{H}^1$. The same approach, combined with multilinear interpolation, also yields the following strong type bound: $$\int_{\mathbb{H}^n} \prod_{j=1}^{2n} f_j(\pi_j(p))\;dp\lesssim \prod_{j=1}^{2n} \|f_j\|_{\frac{n(2n+1)}{n+1}}$$ for all nonnegative measurable functions $f_1,\ldots,f_{2n}$ on $\mathbb{R}^{2n}$. These inequalities and their geometric corollaries are thus ultimately based on planar geometry. Among the applications of Loomis-Whitney inequalities in $\mathbb{H}^n$, we mention the following sharper version of the classical geometric Sobolev inequality in $\mathbb{H}^n$: $$\|u\|_{\frac{2n+2}{2n+1}} \lesssim \prod_{j=1}^{2n}\|X_ju\|^{\frac{1}{2n}}, \qquad u \in BV(\mathbb{H}^n),$$ where $X_j$, $j=1,\ldots,2n$, are the standard horizontal vector fields in $\mathbb{H}^n$.