Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
In fact, I have ever tried to prove in the same way. But I met a problem on one step. More precisely, for $f\in L^1$, define $T_f(\phi):=\int_\Omega f(x)\phi(x)dx$ $\forall \phi\in H^m$. It follows from $H^m\hookrightarrow L^\infty$ that $T_f\in (H^m)^*$ and $\|T_f\|\leq \|f\|_{L^1}$. Moreover, the mappling $T:f\longrightarrow T_f$ is a bijection from $L^1$ onto $T(L^1)$ which is a subset of $(H^m)^*$. We are left to prove that $\|T_f\|=\|f\|_{L^1}$ such that $T$ is a Isometric isomorphism. My question is how to prove that $\|f\|_{L^1}\leq \|T_f\|$? Thank you very much.