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.
Download