In this paper, we study a
lower bound estimate of the first positive eigenvalue of the sublaplacian on a
three-dimensional pseudohermitian manifold. S.-Y. Li and H.-S. Luk derived the
lower bound estimate under certain conditions for curvature tensors bounded below
by a positive constant. By using the Li–Yau gradient estimate, we are able to get an
effective lower bound estimate under a general curvature condition. The key is the
discovery of a new CR version of the Bochner formula which involves the CR Paneitz
operator.