Some Sobolev spaces are closed under multiplication, making them Banach algebras.
My question is whether $W^{k ,\infty}$ is a Banach algebra?
Since $L^\infty$ is closed under multiplication, I assume $W^{k ,\infty}$ inherits this closure property.
Some Sobolev spaces are closed under multiplication, making them Banach algebras.
My question is whether $W^{k ,\infty}$ is a Banach algebra?
Since $L^\infty$ is closed under multiplication, I assume $W^{k ,\infty}$ inherits this closure property.
It may be not a Banach algebra in the usual sense for the usual norm (namely $\sum_{|\alpha|\leq k}\lVert\partial_{\alpha}\cdot\rVert_{\infty}$). However, since Leibniz formula holds (take a test funcion $\varphi$ and a ball which contains the support of $\varphi$, and use the density of test function for the $L^p$ norm over a bounded smooth open set). Hence we have \begin{align} \lVert uv\rVert_{W^{k,\infty}}&=\sum_{|\alpha|\leq k}\lVert\sum_{\beta\leq \alpha}\binom\alpha\beta\partial_{\beta}u\partial_{\alpha-\beta}v\rVert_{\infty}\\ &\leq \sum_{|\alpha|\leq k}\sum_{\beta\leq \alpha}\binom\alpha\beta\lVert\partial_{\beta}u\rVert_{\infty}\lVert\partial_{\alpha-\beta} v\rVert_{\infty}\\ &\leq \lVert u\rVert_{W^{k,\infty}}\cdot \lVert v\rVert_{W^{k,\infty}}\sum_{|\alpha|\leq k}2^{|\alpha|}. \end{align} So we can replace the usual norm on $W^{k,\infty}$ by an equivalent norm $N$ such that $N(uv)\leq N(u)N(v)$ for all $u,v\in W^{k,\infty}$.
So an interesting question:
what is $\sup\left\{\frac{\lVert uv\rVert_{W^{k,\infty}}}{\lVert u\rVert_{W^{k,\infty}}\lVert v\rVert_{W^{k,\infty}}}, u,v\in W^{k,\infty},uv\neq 0\right\}?$
It is in fact sufficient to show that $\|fg\|\leq C\,\|f\|\cdot\|g\|\tag{1}$ for some number $C$ independent of the choice of $f$ and $g$ - to be precise, this is sufficient in order to have a Gelfand theory, but it is not the standard definition of Banach algebra.
Now, consider the norm $\|f\|=\|f\|_{W^{k,\infty}}=\max_{0\leq j\leq k}\left\|\frac{d^jf}{dx^j}\right\|_\infty$ This norm is equivalent to the standard Sobolev norm, and by the product rule (of the derivative) together with the fact that $L^\infty$ is a Banach algebra (1) follows.