Laplacians on smooth distributions

Let $M$ be a compact smooth manifold equipped with a positive smooth density $\mu$ and let $H$ be a smooth distribution endowed with a fibrewise inner product $g$. We define the Laplacian $\Delta_H$ associated with $(H,\mu,g)$ and prove that it gives rise to an unbounded self-adjoint operator in $L^2(M,\mu)$. Then, assuming that $H$ generates a singular foliation $\mathscr F$, we prove that, for any function $\varphi$ in the Schwartz space $\mathscr S(\mathbb R)$, the operator $\varphi(\Delta_H)$ is a smoothing operator in the scale of longitudinal Sobolev spaces associated with $\mathscr F$. The proofs are based on pseudodifferential calculus on singular foliations, which was developed by Androulidakis and Skandalis, and on subelliptic estimates for $\Delta_H$.
Bibliography: 35 titles.