3
$\begingroup$

If $f \in W^{m,2} ( \Bbb R^n) \cap C^{\infty} (\Bbb R^n ) $ for $m = 0,1,\cdots$, then can I conclude that $ \| f \|_{L^\infty} < \infty \;?$

  • 0
    You should clarify: is $f\in W^{m,2}$ true for any $m\geq 0$ or _some_ $m\geq 0$?2012-10-11

1 Answers 1

1

We have $\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},$ hence $|f(x)^2-f(0)^2|\leq 2\lVert f\rVert_{L^2}\lVert f'\rVert_{L^2}$ and $|f(x)|^2\leq |f(0)|^2+2\lVert f\rVert_{L^2}\lVert f'\rVert_{L^2},$ so it works in dimension $1$ if $f\in W^{1,2}$. It also works in other dimensions, as $|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|,$ writing $|f(x)^2-f(0)^2|=\sum_{j=1}^n|f(x^{(j)})-f(x^{(j-1)}|$, where $x^{(j)}=(x_1,\dots,x_j,0,\dots,0)$ and $x^{(0)}=(0,\dots,0)$.