Let
- $d\in\mathbb N$
- $\Omega\subseteq\mathbb R^d$ be open
- $\langle\;\cdot\;,\;\cdot\;\rangle$ denote the inner product on $L^2(\Omega,\mathbb R^d)$
- $\mathcal D:=C_c^\infty(\Omega,\mathbb R^d)$ and $$H:=\overline{\mathcal D}^{\langle\;\cdot\;,\;\cdot\;\rangle_H}$$ with $$\langle\phi,\psi\rangle_H:=\langle\phi,\psi\rangle+\sum_{i=1}^d\langle\nabla\phi_i,\nabla\psi_i\rangle\;\;\;\text{for }\phi,\psi\in\mathcal D$$
- $F\in H'$ and $f:=\left.F\right|_{\mathcal D}$
Can we prove the following claim? If so, how?
Let $K\subseteq\Omega$ be compact and $\phi\in\mathcal D$ with $\operatorname{supp}\phi\subseteq K$ $\Rightarrow$ $\exists c\ge 0,k\in\mathbb N_0$ with $$\left|f(\phi)\right|\le c\sum_{\left|\alpha\right|\le k}\sup_K\left|\partial^\alpha\phi\right|\;.\tag 1$$
By the bounded linear transformation theorem, $F$ is the continuous linear extension of $f$ and hence $$\left\|F\right\|_{H'}=\left\|f\right\|_{\mathcal D'}\;.\tag 2$$ I'm new to distribution theory, but I could imagine that $\left\|f\right\|_{\mathcal D'}<\infty$ iff $(1)$ is satisfied.
EDIT: I was too hasty. $\mathcal D$ (equipped with the usual locally convex topology) is not a normed space and hence the mentioned theorem cannot be applied.