Take the 2-minute tour ×
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.

Show $\mathcal{D}=C_c^\infty(\mathbb R^n)$ is dense in the Schwartz space $\mathcal{S}(\mathbb R^n)$. Use the standard topology on $\mathcal{S}$ $$ \|f\|_{a,b}=\sup_{x \in \Bbb{R}^n}\left| x^a\partial^bf \right| $$ with $a,b\in\Bbb{Z}_+^n$.

This post highligths the proof: Let $g \in \mathcal{S}$, there is a sequence $\{f_n\} \subset \mathcal{D}$ for which $$ f_n\ast g \to g \quad \text{in} \quad L^1(\Bbb R^n). $$ Hence, there is a subsequence $\{h_n\}$ of $\{f_n\}$ for which $$ h_n \ast g \to g \quad \text{a.e.} $$ How to show $$ \|h_n\ast g -g \|_{a,b} \to 0 \quad \text{for any} \quad a,b? $$

share|improve this question
The proposed proof cannot work because $f_n * g$ is in general not an element of $\mathcal{D}$ even if $f_n \in \mathcal{D}$. It is also different with the proof you linked. –  sos440 Nov 5 '12 at 15:38
Yes, I didn't use convolution in the link. –  Davide Giraudo Nov 5 '12 at 15:58

1 Answer 1

up vote 5 down vote accepted

Let $f_k(x):=\phi(x/k)f(x)$, where $\phi\in \cal D$ is such that $\phi(x)=1$ if $|x|\leqslant 1$. We have $f_k\in\cal D$, and what we have to show is that $f_k\to f$ for the topology induced by the semi-norms. This means that we need to show that for all $a,b\in\Bbb Z_+^n$, $$\tag{1}\sup_{x\in\Bbb R^n}|x^a\partial^bf_k(x)-x^a\partial^bf(x)|\to 0.$$ We have, using Leibniz formula, \begin{align} \partial^bf_k(x)&=\sum_{c\leqslant b}k^{c-b}\binom bc\partial^cf(x)\partial^{b-c}\phi(x/k)\\ &=\sum_{c\leqslant b,c\neq b}k^{c-b}\binom bc\partial^cf(x)\partial^{b-c}\phi(x/k)+\partial^bf(x). \end{align} This gives \begin{align} |x^a\partial^bf_k(x)-x^a\partial^bf(x)|&\leqslant \left|x^a\sum_{c\leqslant b;|b-c|\geqslant 1}k^{c-b}\binom bc\partial^cf(x)\partial^{b-c}\phi(x/k)\right|\\ &\leqslant \frac 1k\max_{|\alpha|\leqslant d}\sup_{t\in\Bbb R^n}|\partial^d(t)|\cdot\sum_{c\leqslant b;|b-c|\geqslant 1}\lVert f\rVert_{a,c}, \end{align} and $(1)$ follows.

share|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.