$f \in W^{m,2} ( \Bbb R^n) \cap C^{\infty} (\Bbb R^n )$ entonces $\| f \|_{L^\infty} < \infty $ ?

Question

Si $f \in W^{m,2} ( \Bbb R^n) \cap C^{\infty} (\Bbb R^n ) $ para $m = 0,1,\cdots$ entonces puedo concluir que $$ \| f \|_{L^\infty} < \infty \;?$$

Answer 1

Tenemos $$\frac 12\left|f(x)^2-f(0)^2\right|=\left|\int_0^xf'(t)f(t)dt\right|\leq \lVert f\rVert_{L^2}\lVert f'\rVert_{L^2},$$ por lo que $|f(x)^2-f(0)^2|\leq 2\lVert f\rVert_{L^2}\lVert f'\rVert_{L^2}$ y $$|f(x)|^2\leq |f(0)|^2+2\lVert f\rVert_{L^2}\lVert f'\rVert_{L^2},$$ para que funcione en dimensión $1$ si $f\in W^{1,2}$ . También funciona en otras dimensiones, como $$|f(x_1,\dots,x_n)^2-f(0)^2|=2\left|\int_{0}^{x_n}\partial_nf(x_1,\ldots,x_{n-1},t)\cdot f(x_1,\ldots,x_{n-1},t)dt+\dots\right|,$$ escribir $|f(x)^2-f(0)^2|=\sum_{j=1}^n|f(x^{(j)})-f(x^{(j-1)}|$ , donde $x^{(j)}=(x_1,\dots,x_j,0,\dots,0)$ y $x^{(0)}=(0,\dots,0)$ .