Analogues of Korn’s inequality on Heisenberg groups

Two analogues of Korn’s inequality on Heisenberg groups are constructed. First, the norm of the horizontal differential is estimated in terms of its symmetric part. Second, Korn’s inequality is treated as a coercive estimate for a differential operator whose kernel coincides with the Lie algebra of the isometry group. For this purpose, we construct a differential operator whose kernel coincides with the Lie algebra of the isometry group on Heisenberg groups and prove a coercive estimate for this operator. Additionally, a coercive estimate is proved for a differential operator whose kernel coincides with the Lie algebra of the group of conformal mappings on Heisenberg groups.