Let
- $D:=(0,1)$
- $U:=L^2(D)$ and $$\phi_n(x):=\sqrt 2\sin(n\pi x)\;\;\;\text{for }n\in\mathbb N\text{ and }x\in D$$
- $H:=H^2(D)\cap H_0^1(D)$ and $$A:=-\frac{\partial^2}{\partial x^2}u\;\;\;\text{for }u\in H$$
Since $(\phi_n)_{n\in\mathbb N}\subseteq C^\infty(D)$ is an orthonormal basis of $U$ with $$\left.\phi_n\right|_{\partial D}=0\;\;\;\text{for all }n\in\mathbb N\;,$$ $(\phi_n)_{n\in\mathbb N}\subseteq H$ with $$A\phi_n=\underbrace{\pi^2n^2}_{=:\lambda_n}\phi_n\;\;\;\text{for all }n\in\mathbb N\tag 1\;.$$
Let $r\in\mathbb R$, $$\mathfrak D(A^r):=\left\{u\in U:A^ru:=\sum_{n\in\mathbb N}\lambda_n^\alpha\langle u,\phi_n\rangle\phi_n\in U\right\}$$ and $$\left\|u\right\|_r:=\left\|A^ru\right\|\;\;\;\text{for }u\in\mathfrak D(A^r)\;.$$ I want to show that $$\left\|u\right\|_r=\sum_{n\in\mathbb N}(n\pi)^{4r}\langle u,\phi_n\rangle^2\tag 2\;.$$ We need somehow to use that $$u=\sum_{n\in\mathbb N}\langle u,\phi_n\rangle\phi_n\;\;\;\text{for all }u\in U\;,$$ but I don't know how I need to proceed in $$\left\|u\right\|_r=\int_D\left|\sum_{n\in\mathbb N}(n\pi)^{2r}\langle u,\phi_n\rangle\phi_n\right|^2{\rm d}\lambda\;\;\;\text{for all }u\in U\;.\tag 3$$
How can we prove $(2)$ and why (and that is the main part of the question) can we conclude that $\mathfrak D(A^{r/2})=H_0^r(D)$?
I've found the last statement in An Introduction to Computational Stochastic PDEs, Example 10.9, and absolutely don't understand why it holds.
$\|u\|_r = \|A^r u\| = \|\sum \langle u,ϕ_j\rangle λ_j^r ϕ_j\|$. Now using Parseval (and that the $ϕ_j$ are an orthonormal basis) we get $\|u\|_r = \sum λ_j^{2r}|\langle u, ϕ_j\rangle|^2$.