I have difficulty understanding an inequality. Let $\phi\in D(\mathbb{R}^d)$ with value 1 near the unit ball, where $D(\mathbb{R}^d)$ is the space of smooth compactly supported functions. Let $g=\mathcal{F}^{-1}\phi$, $r\geq 1$, $k\geq 1$. Then why we have the inequality $$||\partial^{\alpha}g||_{L^r}\leq ||\partial^{\alpha}g||_{L^{\infty}}+||\partial^{\alpha}g||_{L^1}\leq C||(1+|\cdot|^2)^d\partial^{\alpha}g||_{L^{\infty}}$$ where $|\alpha|=k$. Thanks for any hint!
Asked
Active
Viewed 38 times
1 Answers
1
Let $f=\partial^\alpha g$. Since $g\in\mathcal{D}(\mathbb{R}^n)$, $f$ is in the Schwarz class. For the first inequality $$ \|f\|_r=\Bigl(\int_{\mathbb{R}^n}|f|^r\,dx\Bigr)^{1/r}\le\Bigl(\|f\|_\infty^{r-1}\,\|f\|_1\Bigr)^{1/r}=\|f\|_\infty^{1-1/r}\,\|f\|_1^{1/r}\le\|f\|_\infty+\|f\|_1. $$ The last inequality follows prom Young's inequality: if $a,b\ge0$, and $p,q\ge1$ such that $1/p+1/q=1$, then $$ a\,b\le\frac1p\,a^p+\frac1q\,b^q\le a^p+b^q. $$ For the second inequality use $$ \|f\|_1=\int_{\mathbb{R}^n}(1+|x|^2)^d\,|f(x)|\,(1+|x|^2)^{-d}\,dx\le\|(1+|\cdot|^2)^df\|_\infty\int_{\mathbb{R}^n}(1+|x|^2)^{-d}\,dx. $$ The last integral is finite.
Julián Aguirre
- 76,354
-
Thank you! Just one question, why g is compactly supported? The Fourier transform of g is but g itself may not be I think. I guess if we don't know it your proof still works. Thanks again! – cali Sep 18 '15 at 02:59
-
The support of $g$ is not compact. $g$ is in the Schwarz class: $C^\infty$ and rapidly decaying. – Julián Aguirre Sep 18 '15 at 09:37
-
Okay. I see. Thank you! – cali Sep 18 '15 at 13:19
-
Yes! Definitely! – cali Sep 18 '15 at 15:11