Melas-type bounds for the Heisenberg Laplacian on bounded domains

Abstract

We study Riesz means of the eigenvalues of the Heisenberg Laplacian with Dirichlet boundary conditions on bounded domains. We obtain an inequality with a sharp leading term and an additional lower order term, improving the result of Hanson and Laptev.