\(L^1\)-Poincaré inequalities for differential forms on Euclidean spaces and Heisenberg groups
type: Item
instance of: scholarly article
title: \(L^1\)-Poincaré inequalities for differential forms on Euclidean spaces and Heisenberg groups
zbMATH Open document ID: 1437.58002
author: Annalisa Baldi
author: Bruno Franchi
author: Pierre Pansu
published in: Advances in Mathematics
publication date: 2020-03-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/1902.04819
review text: The celebrated Sobolev inequality, called ($p$-Sobolev), claims that, for every $1\leq p<n$, there exists a constant $C(n,p)$ such that all smooth compactly supported functions $u$ on $\mathbb{R}^{n}$ abide by \[ \left\Vert u\right\Vert_{q}\leq C(n,p) \left\Vert \nabla u\right\Vert_{p}, \] provided that $\frac{1}{p}-\frac{1}{q}=\frac{1}{n}$. The celebrated Poincaré inequality, called ($p$-Poincaré), claims that there exists a constant $c_{u}$ such that \[ \left\Vert u-c_{u}\right\Vert_{q}\leq C(n,p) \left\Vert \nabla u\right\Vert_{p}, \] provided that $\frac{1}{p}-\frac{1}{q}=\frac{1}{n}$. The principal objective in this paper is to generalize these inequalities to differential forms. The question considered here is to ask whether, given a closed differential $h$-form $\varpi$ in $L^{p}(\mathbb{R}^{n})$, there exists an $(h-1)$-form $\phi$ in $L^{q}(\mathbb{R}^{n})$ with $\frac{1}{p}-\frac{1}{q}=\frac{1}{n}$ such that $d\phi=\varpi$ and \[ \left\Vert \phi\right\Vert_{q}\leq C(n,p,h) \left\Vert\varpi\right\Vert_{p}. \] This paper establishes ($1$-Poincaré) for $h$-forms of degree $h<n$ in de Rham complex $(\Omega^{\bullet},d)$, relying on \textit{L. Lanzani} and \textit{E. M. Stein}'s observation [Math. Res. Lett. 12, No. 1, 57--61 (2005; Zbl 1113.26015)] that the duality estimate underlying \textit{J. Bourgain} and \textit{H. Brezis}' result [J. Eur. Math. Soc. (JEMS) 9, No. 2, 277--315 (2007; Zbl 1176.35061)] descends $(n-1)$-forms to forms of lower degrees, and the resulting Gagliardo and Nirenberg inequalities [\textit{L. Nirenberg}, Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat., III. Ser. 13, 115--162 (1959; Zbl 0088.07601); C.I.M.E., Principio di Minimo e sue Applicazioni alle Equazioni funzionali 1--48 (1960; Zbl 0108.10001); \textit{E. Gagliardo}, Ric. Mat. 8, 24--51 (1959; Zbl 0199.44701)]. The approach generalizes to the non-commutative Heisenberg groups $\mathbb{H}^{n}$ endowed with \textit{M. Rumin}'s complex [J. Differ. Geom. 39, No. 2, 281--330 (1994; Zbl …
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 58A10
Mathematics Subject Classification ID: 35R03
Mathematics Subject Classification ID: 43A80
Mathematics Subject Classification ID: 53D10
Mathematics Subject Classification ID: 46E35
zbMATH DE Number: 7183740
zbMATH Keywords: Heisenberg groups
zbMATH Keywords: differential forms
zbMATH Keywords: Sobolev-Poincaré inequalities
zbMATH Keywords: contact manifolds
zbMATH Keywords: homotopy formula
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3009541666
Wikidata QID: Q114211654
arXiv ID: 1902.04819
cites work: A recursive basis for primitive forms in symplectic spaces and applications to Heisenberg groups
cites work: Sharp a priori estimates for div-curl systems in Heisenberg groups
cites work: Gagliardo-Nirenberg inequalities for differential forms in Heisenberg groups
cites work: POINCARÉ AND SOBOLEV INEQUALITIES FOR DIFFERENTIAL FORMS IN HEISENBERG GROUPS AND CONTACT MANIFOLDS
cites work: \(L^1\)-Poincaré and Sobolev inequalities for differential forms in Euclidean spaces
cites work: Compensated compactness for differential forms in Carnot groups and applications
cites work: Hypoellipticity, fundamental solution and Liouville type theorem for matrix-valued differential operators in Carnot groups
cites work: Q4073824
cites work: Q4112938
cites work: New estimates for elliptic equations and Hodge type systems
cites work: Boundary behavior of nonnegative solutions of subelliptic equations in NTA domains for Carnot-Carathéodory metrics
cites work: Q4328571
cites work: Subelliptic Bourgain-Brezis estimates on groups
cites work: On the representation as exterior differentials of closed forms with \(L^{1}\)-coefficients
cites work: Q5849999
cites work: Q5178046
cites work: Normal and integral currents
cites work: Subelliptic estimates and function spaces on nilpotent Lie groups
cites work: Hardy Spaces on Homogeneous Groups. (MN-28), Volume 28
cites work: Sobolev and isoperimetric inequalities for degenerate metrics
cites work: Representation formulas and weighted Poincaré inequalities for Hörmander vector fields
cites work: Remarks on Lipschitz domains in Carnot groups
cites work: Q3129869
cites work: Isoperimetric and Sobolev inequalities for Carnot-Carath�odory spaces and the existence of minimal surfaces
cites work: Q4718347
cites work: Q3342991
cites work: Integral estimates for null Lagrangians
cites work: A note on div curl inequalities
cites work: Q5289201
cites work: Polynomials, higher order Sobolev extension theorems and interpolation inequalities on weighted Folland-Stein spaces on stratified groups
cites work: Q4328334
cites work: Q5461285
cites work: The Poisson problem for the exterior derivative operator with Dirichlet boundary condition in nonsmooth domains
cites work: A tour of subriemannian geometries, their geodesics and applications
cites work: Regular domains in homogeneous groups
cites work: The Neumann problem for Sub-Laplacians on Carnot groups and the extension theorem for Sobolev spaces
cites work: A non-inequality for differential operators in the \(L_ 1\) norm
cites work: Averages and the \(\ell^{q,1}\) cohomology of Heisenberg groups
cites work: Differential forms on contact manifolds
cites work: Q5488823
cites work: Besov spaces and Sobolev spaces on a nilpotent Lie group
cites work: Hodge decomposition. A method for solving boundary value problems
cites work: Q3142876
cites work: Limiting Bourgain-Brezis estimates for systems of linear differential equations: theme and variations
cites work: Q4002250
cites work: On extension of functions of bounded mean oscillation from domains in a space of homogeneous type with intrinsic metric
DOI: 10.1016/J.AIM.2020.107084
description: scientific article