1
$\begingroup$

Let $f$ be a bounded tempered distribution, that is, $f\ast\varphi \in L^\infty(\mathbb R^n) $ for every Schwartz function $\varphi$. If $g \in L^1(\mathbb R^n)$, does the following definition define a tempered distribution:

$$ \langle f \ast g,\varphi \rangle = \int\limits_{{\mathbb R^n}} {(f \ast \tilde \varphi } )(x)\tilde g(x) \, dx$$

where $\varphi$ is a Schwartz function and $\tilde \varphi(x)=\varphi(-x)$?

  • 0
    I changed $<\langle f * g,\varphi >$ to $\langle f * g,\varphi \rangle$. That is standard usage.2012-10-03

1 Answers 1

3

Yes. Take a look on this book in the part of tempered distributions:

"Michael Eugene Taylor - Partial Differential Equations Volume I Basic Theory"

Ok lets try. Let $S$ be the space of Schwartz functions.

Note first that this number is well defined:

\begin{eqnarray} |\langle f\ast g,\phi\rangle| &\leq& \int_{\mathbb{R}^{n}}|f\ast \tilde{\phi}||\tilde{g}| \nonumber \\ &\leq& \|f\ast \tilde{\phi}\|_{\infty}\|\tilde{g}\|_{1} \nonumber \end{eqnarray}

On the other hand, as you can see in that book, $f\ast \tilde{\phi}$ is a tempered distribution, so its is continuous i.e. $$(\forall\phi)\Bigl(\phi\in S\Rightarrow |f\ast \tilde{\phi}|\leq Cp_{k}(\tilde{\phi})\Bigr)$$ where $p_{k}(\phi)$ is defined as there "in the book".

Now

\begin{eqnarray} |\langle f\ast g,\phi\rangle| &\leq& \int_{\mathbb{R}^{n}}|f\ast \tilde{\phi}||\tilde{g}| \nonumber \\ &\leq& Cp_{k}(\tilde{\phi})\|\tilde{g}\|_{1} \nonumber \end{eqnarray}

With the last inequality you can conclude.

  • 0
    I had a look in the book as far as it was available online. But I couldn't see an explicit statement for the continuity in $\varphi \in \mathcal{S}$, as - for me - this is not obvious.2012-10-03
  • 0
    Even though we know $S \rightarrow S'$ which is given by $\phi\rightarrow f*\phi$ is continuous, it does not say $\phi\rightarrow f*\phi$ is continuous as $S \rightarrow L^\infty$.2012-10-03
  • 1
    Let me try explain. A priori $f\ast \tilde{\phi}$ isnt a function, so what you have to do? You have to take its representative. What is the representative? $(f\ast \tilde{\phi})(x)$ is defined by $$(f\ast \tilde{\phi})(x)=\langle f,\tau_{x}\phi\rangle$$ where $\tau_{x}\phi=\phi(x+y)$. Now use the continuity of $f$ as a distribution.2012-10-03
  • 1
    I know $f*\tilde\phi(x)$ is a function (actually it is smooth), and this function is bounded because of the assumption about $f$. But it is not clear if $\phi\rightarrow f*\phi$ is continuous, that is, $||f*\tilde\phi||_\infty \leq C p_k(\phi)$ where $p_k$ is some seminorm in $S$.2012-10-04
  • 0
    @Hezudao, the last comment of Tomas has the key argument: You know that $|| <= Cp_k(\tau_x\phi)$ for all $x$, and hence it is bounded uniformly.2012-10-04
  • 0
    I see. We can regard ${\tau _x}f$ as a collection of tempered distribution, then by Banach-Steinhaus this collection is uniformly continuous.2012-10-04
  • 0
    You dont need Banach-Steinhaus. Just use the fact that $\sup_{y\in\mathbb{R}^{n}}|D^{\alpha}(\tau_{x}\phi(y))|=\sup_{y\in\mathbb{R}^{n}}|D^{\alpha}\phi(y)|$2012-10-04