27
$\begingroup$

How do you prove that the Sobolev space $H^s(\mathbb{R}^n)$ is an algebra if $s>\frac{n}{2}$, i.e. if $u,v$ are in $H^s(\mathbb{R}^n)$, then so is $uv$? Actually I think we should also have $\lVert uv\rVert_s \leq C \lVert u\rVert_s \lVert v\rVert_s$. Recall that $\lVert f\rVert_s=\lVert(1+|\eta|^2)^{s/2}\,\hat{f}(\eta)\rVert$, the norm on $H^s(\mathbb{R}^n)$. This is an exercise from Taylor's book, Partial differential equations I.

$\endgroup$
  • $\begingroup$ So that would mean that if I have some functions in $\mathbb R^3$ that are twice weakly differentiable, then all products between those functions would also be twice weakly differentiable? Interesting. $\endgroup$ – Elmar Zander Feb 26 '13 at 13:23
30
$\begingroup$

Note that $$ \begin{split} (1+|\xi|^2)^p &\leq (1+2|\xi-\eta|^2+2|\eta|^2)^p\\ &\leq 2^p(1+|\xi-\eta|^2+1+|\eta|^2)^p\\ &\leq c(1+|\xi-\eta|^2)^p + c(1+|\eta|^2)^p, \end{split} $$ for $p>0$, where $c=\max\{2^{p},2^{2p-1}\}$. Put $\langle\xi\rangle=\sqrt{1+|\xi|^2}$. Then we have $$ \begin{split} \langle\xi\rangle^s |\widehat{uv}(\xi)| &\leq \int \langle\xi\rangle^s |\hat{u}(\xi-\eta)\hat{v}(\eta)|\,\mathrm{d}\eta\\ &\leq c\int \langle\xi-\eta\rangle^s |\hat{u}(\xi-\eta)\hat{v}(\eta)|\,\mathrm{d}\eta + c\int \langle\eta\rangle^s |\hat{u}(\xi-\eta)\hat{v}(\eta)|\,\mathrm{d}\eta\\ &\leq c|\langle\cdot\rangle^s\hat u|*|\hat v| + c|\hat u|*|\langle\cdot\rangle^s\hat v|, \end{split} $$ which, in light of Young's inequality, implies $$ \|uv\|_{H^s} \leq c\|u\|_{H^s} \|\hat v\|_{L^1} + c\|\hat u\|_{L^1}\|v\|_{H^s}. $$ Finally, we note that $\|\hat u\|_{L^1}\leq C\,\|u\|_{H^s}$ when $s>\frac{n}2$.

$\endgroup$
  • $\begingroup$ I tried to use that inequality but I get just $||fg||_s \leq ||f||_s ||(1+|\eta|^2)^s \hat{g}(\eta)||_{L^1}$, which is good if $g \in C_{0}^{\infty}$, but not always on $H^s(\mathbb{R}^n)$. $\endgroup$ – Frank Zermelo Feb 27 '13 at 3:45
  • $\begingroup$ @FrankZermelo: I updated the answer. $\endgroup$ – timur Mar 2 '13 at 1:45
  • 2
    $\begingroup$ @ timur, why does: $\| \hat{u} \| _{L^1} \leq C \| u \| _{H^s}$? $\endgroup$ – MathematicalPhysicist Dec 12 '14 at 7:28
  • 3
    $\begingroup$ @MathematicalPhysicist: Write $\|\hat u\|_{L^1}=\int<\xi>^{-s}<\xi>^{s}|\hat u(\xi)|\mathrm{d}\xi$, and apply Cauchy-Schwarz. The condition $2s>n$ gives integrability of $<\xi>^{-2s}$. $\endgroup$ – timur Dec 14 '14 at 0:07
6
$\begingroup$

One way to see this is by an argument similar to proof of a "trace theorem": first, for $f,g\in H^s(\mathbb R^n)$ with $s\ge 0$, $f\otimes g\in H^s(\mathbb R^{2n})$ because $1+|x|^2+|y|^2\le (1+|x|^2)(1+|y|^2)$. Next, prove an easy form of a "trace theorem", namely, that restriction from $\mathbb R^N$ to $\mathbb R^{N-n}$ maps $H^s$ to $H^{s-{n\over 2}}$ for $s> {n\over 2}$.

Edit: in response to the comments of @ElmarZander, ... The question, as originally posed, cannot be quite right, no. The argument sketched here shows that for $s>n/2$ the product of two elements in $H^s(\mathbb R^n)$ is in $H^{s-n/2-\varepsilon}$ for every $\epsilon>0$. I do not know whether higher-dimensional results can be sharpened, but for $n=1$ it is easy to do explicit examples showing the limitation: take $\hat{f}=\hat{g}$ to be $|x|^{-3/4-\varepsilon}$ for $x\ge 1$ and $0$ otherwise. These are in $H^{1/2+\varepsilon'}(\mathbb R)$. Then the convolution has a lower bound $x^{-1/2-2\varepsilon}$, I believe, so $fg$ is not in $H^{1/2+\varepsilon'}$.

$\endgroup$
  • $\begingroup$ Forgive my ignorance, but if I get you correctly you restrict $\mathbb R^{2n}$ to $D=\{(x,x)|x\in\mathbb R^{n}\}$ and then map $H^s(\mathbb R^{2n})$ to $H^{s-n/2}(D)\simeq H^{s-n/2}(\mathbb R^{n})$. But then you lose differentiability, don't you? $\endgroup$ – Elmar Zander Feb 26 '13 at 18:26
  • $\begingroup$ Excuse me for my confusion, but isn't the restriction giving you the bound of $uv$ in $H^{s-n/2}(\mathbb{R}^n)$, and not in $H^s(\mathbb{R}^n)$? Also, isn't it clear just from the fact that $||f||_s ||g||_s$ $\geq ||f \otimes g||_{H^s(\mathbb{R}^{2n})} \geq $ $||f \otimes g||_{H^s(D)} \geq ||fg||_{H^s(\mathbb{R}^{n})}$, where $D$ is the diagonal on $\mathbb{R}^{2n}$? Is it ok to consider the space $H^s(D)$, is the space $D$ sufficiently nice in order to consider the Sobolev space on it? I am sorry again if I do not see something obvious or already explained here. $\endgroup$ – Frank Zermelo Feb 27 '13 at 3:35
  • $\begingroup$ @FrankZermelo: Yes, the argument given does not prove what your question asks, but what it does prove is certainly true, and standard, etc. I think there is something amiss with the claim that multiplication can stay in the same Sobolev space, as the example on $\mathbb R^1$ shows. As to your specific questions: yes, it's easy to see that $f\otimes g$ is in the expected space; yes, the diagonal $\mathbb R^n$ is nice enough to look at the restriction mapping (the "trace theorem" instance). There is where something equivalent to the "Peetre inequality" arises. $\endgroup$ – paul garrett Feb 27 '13 at 13:50
  • 2
    $\begingroup$ For $s>n/2$, we have the a priori estimate $\|fg\|_{W^{s,p}}\lesssim_{n,p,s}\|f\|_{W^{s,p}}\|g\|_{W^{s,p}}$. See T. Tao's lecture notes (Week 4) for a proof. $H^{s}(\mathbb{R}^{n})=W^{s,2}(\mathbb{R}^{n})$. So this contradicts your claim. $\endgroup$ – Matt Rosenzweig Dec 26 '15 at 0:10
  • 1
    $\begingroup$ If $f,g\in H^1(\mathbb{R})$, then an application of Leibniz' rule, together with $\|\cdot\|_{L^\infty}\leq \|\cdot\|_{H^1(\mathbb{R})}$ and a limiting argument, shows that $fg\in H^1(\mathbb{R})$. I don't see why this shouldn't work for any integer-regularity Sobolev space that controls $L^\infty$ $\endgroup$ – Bananach Jan 28 '16 at 14:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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