2
$\begingroup$

The question at hand is the following:

Let $\psi \in \mathcal{S}(\mathbb{R}^d, \mathbb{C})$ be real–valued such that $\psi \ge 0$ and $\int_{\mathbb{R}^d} \psi(x)\,dx = 1$. Moreover, let $f \in L^1(\mathbb{R}^d)$ be continuous in $x_0 \in \mathbb{R}^d$ and \begin{equation} \psi_\varepsilon(x) := \frac{1}{\varepsilon^d}\psi\!\left(\frac{x}{\varepsilon}\right) \quad \text{for } \varepsilon > 0 \text{ and } x \in \mathbb{R}^d. \end{equation} Then, \begin{equation} \lim_{\varepsilon \to 0} (\psi_\varepsilon * f)(x_0) = f(x_0). \end{equation} Now, my approach looked very promising, up until one point. We let $\eta>0$ and choose $R>0$ such that \begin{equation} \int_{|x|>R} \psi(x) \text{d}x \leq \eta. \end{equation} Note that, by the transformation formula and the fact that $\psi$ integrates to one, \begin{equation} |(\psi_\varepsilon * f)(x_0)-f(x_0)|\leq \int_\mathbb{R^d}\psi(x)|f(x_0-\varepsilon x)-f(x_0)|\text{d}x. \end{equation} We now may split the integral into two parts: \begin{equation} A_\varepsilon:=\int_{|x|\leq R}\psi(x)|f(x_0-\varepsilon x)-f(x_0)|\text{d}x, \quad B_\varepsilon:=\int_{|x>R}\psi(x)|f(x_0-\varepsilon x)-f(x_0)|\text{d}x. \end{equation} I was indeed able to show, using the continuity of $f$ in $x_0$, that $A_\varepsilon < \eta$ for sufficiently small $\varepsilon$ (I can provide details how I achieved that, I did not want the question to be too long). However, I am struggling with the second integral $B_\varepsilon$. I tried using just the triangle inequality which would lead to \begin{equation} B_\varepsilon \leq |f(x_0)| \eta + \int_{|x|>R} \psi(x)|f(x_0-\varepsilon x)| dx. \end{equation} This does not seem promising. I also still have not used that $\psi$ is a Schwartz function! Any help/suggestion is greatly appreciated.

New contributor
geometer102 is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$
1
  • 1
    $\begingroup$ I think you are describing the dirac delta. Read about nascent delta created from Schwartz $\endgroup$ Commented 2 days ago

2 Answers 2

2
$\begingroup$

The key is to notice that since $\psi$ is Schwartz,

$$\lim_{\varepsilon \to 0^+} \psi_\varepsilon(x) = \lim_{\varepsilon \to 0^+} \frac{1}{\varepsilon^n}\psi\left(\frac{x}{\varepsilon}\right) = 0$$ uniformly for $\|x\| > R$. Unfortunately the change of variables hides this, so it is kind of hard to exploit. If the integral is reverted to

$$\int_{\|x\| > R} \psi_\varepsilon(x)|f(x_0 - x) - f(x_0)|\,dx$$

then your life should become easier.

$\endgroup$
2
$\begingroup$

Writing this is as an answer since I think it answeres the question. Using your suggestion, we have \begin{equation} \int_{|x|>R} \psi_\varepsilon(x)|f(x_0-x)-f(x_0)|\text{d}x \leq \sup_{|x|>R}\psi_\varepsilon(x)\text{ }||f||_{L^1} +|f(x_0)|\int_{|x|>R}\psi_\varepsilon(x)\text{d}x. \end{equation} Now the first term goes to $0$ since $\psi$ is a Schwartz function (I will need to write down a short proof of this) and the second term, using change of variables looks like this: \begin{equation} \int_{|x|>R}\psi_\varepsilon(x)\text{d}x =\int_{|y|>R/\varepsilon}\psi(y)\text{d}y. \end{equation} This goes to $0$ since $\psi$ is integrable. Please let me know if there are any mistakes and if I incorporated your suggestions as intended!

Edit: Regarding the missing detail: Since $\psi$ is in the Schwartz class, there is some constant $C_N>0$ s.t. \begin{equation} \psi(x)\leq\frac{C_N}{1+|x|^N} \quad \text{for some $N>d$}. \end{equation} Using that, we obtain, for every $\varepsilon>0$ and $|x|>R$, \begin{equation} \psi_\varepsilon(x) =\varepsilon^{-d}\psi(x/\varepsilon)\leq\varepsilon^{-d}\frac{C_N}{1-\left|\frac{x}{\varepsilon}\right|^N}=\varepsilon^{N-d}\frac{C_N}{\varepsilon^N+|x|^N}\leq \varepsilon^{N-d}C_N \delta^{-N}. \end{equation} This converges to $0$ as $\varepsilon \rightarrow 0$, since $N>d$. After writing, I noticed I could have just chosen $N=d+1$ but of course it does not really matter.

New contributor
geometer102 is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$
2
  • 1
    $\begingroup$ This is good and takes care of the second integral. There is an issue which I have just noticed, which is that you cannot revert the integral $B_\varepsilon$ to what I originally posted; if you changed variables in $B_\varepsilon$ you would get $$\int_{\|x\| > R\varepsilon} \psi_\varepsilon(x)|f(x_0 - x) - f(x)|\,dx$$ To deal with this you should not change of variables at all and split immediately, $$\int_{\mathbb{R}^d} \psi_\varepsilon(x)|f(x_0 - x) - f(x)|\,dx \leq \int_{\|x\| < R} \dots\,dx + \int_{\|x\| > R} \dots\,dx$$ You'll still find the first integral poses no problems. $\endgroup$ Commented yesterday
  • 1
    $\begingroup$ That is a good point. Fortunately, there is no problem, the $R$ just becomes the $\delta$ in the definition of continuity. And here I was, thinking my change of variables was so smart ... :) $\endgroup$ Commented yesterday

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.