Craioveanu, Puta and Rassias define the Sobolev space $H_k(M)$ (pg. 106) on a compact Riemannian manifold $M$ as the completion of $C^\infty(M)$ with respect to the norm $$ \|f\|_{H_k(M)} = \|f \|_{H_{k-1}(M)} + \int_M \langle \nabla^k f, \nabla^k f \rangle_M\ d\mu_g $$ where $\nabla^k$ is the iterated covariant derivative with respect to the Levi-Civita connection on $M$, $d\mu_g$ is the Borel measure induced by the volume form, and $H_0(M)$ is defined as $L_2(M)$. Let $\Delta_g$ be the Laplace-Beltrami operator on $M$ with eigenvalues $0 = \lambda_0 < \lambda_1 \leq \lambda_2 \ldots$ and associated eigenfunctions $\{\varphi_j\}$ assuming Dirichlet boundary conditions. These eigenfunctions form an orthonormal basis for $L_2(M)$. The book then proves (pg. 134) that \begin{equation} H_1(M) = \left\{ f = \sum_{j=0}^\infty \alpha_j \varphi_j\ \middle|\ \sum_{j=0}^\infty \lambda_j \alpha_j^2 < \infty \right\} \tag{1}\end{equation} They state without proof that a similar result holds for $H_2(M)$, that is \begin{equation} H_2(M) = \left\{ f = \sum_{j=0}^\infty \alpha_j \varphi_j\ \middle|\ \sum_{j=0}^\infty \lambda_j^2 \alpha_j^2 < \infty \right\}\tag{2}\end{equation} and use this fact to extend the domain and range of $\Delta_g$ from $C^\infty(M)$ to $H_2(M)$ and $L_2(M)$ respectively.
Questions:
- How does one prove (2)?
- Can it be generalised to $H_k(M)$?
- The proof of the first statement uses Green's formula and the fact the covariant derivative for functions coincides with the gradient. Is there an analogue of Green's formula for iterated covariant derivatives i.e. something like $$ \int_M \langle \nabla^k f, \nabla^k g \rangle_M = \int_M \langle \Delta^k f , g \rangle_M $$ when $f$ and $g$ vanish on the boundary of $M$?