Solution (source code)

= Solution

\b[True.] Fourier transformation turns $D^\alpha$ into multiplication by $\xi^\alpha$, and
$$
\langle\xi\rangle^{s-|\alpha|}|\xi^\alpha|
\leq\langle\xi\rangle^s.
$$
\b[Hence $D^\alpha:H^s\to H^{s-|\alpha|}$ is bounded.]