Fractional Dirichlet domain scale ($H_{\alpha }=D(A^{\alpha })$)

For the positive Dirichlet Laplacian $A$ on a bounded smooth domain, with normalized eigenfunctions $e_j$ and positive eigenvalues ${\mu }_j$, define $A^{\alpha }u={\sum }_j{\mu }_j^{\alpha }(u,e_j)e_j$ on the vectors for which ${\sum }_j{\mu }_j^{2\alpha }|(u,e_j){|}^2<\infty$. The resulting Hilbert space embeds in the Sobolev space $H^{2\alpha }$, with the boundary conditions appropriate to the exponent. In particular $H_{\alpha }$ embeds in $C^{0,\beta }$ whenever $0<\beta <\min (1,2\alpha -n/2)$. High powers impose further boundary compatibility; ordinary smoothness alone does not imply membership in every fractional domain.