Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
It indeed is an algebra. To get a Banach algebra, you have to check the norm inequality for the products, i.e., that $\|fg\|\leq \|f\|\cdot\|g\|$ holds. – abatkai May 31 '12 at 18:48
A reference: Lipschitz Algebras by Weaver,… -- this covers only $k=1$, but in a quite general setting. – user31373 May 31 '12 at 19:35
up vote 4 down vote accepted

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\}?$$

share|cite|improve this answer

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.