10
$\begingroup$

Let $f,g: \mathbb{R}^n \to \mathbb R$. Let $\Vert \cdot \Vert_T$ be a translation invariant norm on functions on $\mathbb{R}^n$. How can I prove that $\Vert f*g\Vert _T \leq \Vert f\Vert _1 \Vert g\Vert _T$ (where $f*g$ means convolution and $\Vert \cdot \Vert _1$ means $L^1$ norm).

I suppose I should specify the class of functions $f,g$ are of, but just take them to be functions such that the norms are well defined. In fact I will settle for a formal proof of the inequality. Any help is appreciated!

$\endgroup$

1 Answer 1

10
$\begingroup$

Applying the definition of convolution, where I stressed the fact that the norm is in terms of $x$, and $y$ is a dummy variable \begin{align*}\|f\ast g(x)\|_T &=\|\int_{\mathbb{R}^n}f(y)g(x-y)dy\|_T\\ & \leq\int_{\mathbb{R}^n}\|f(y)g(x-y)\|_Tdy\\ & = \int_{\mathbb{R}^n} |f(y)|\|g(x-y)\|_Tdy\\ & =\int_{\mathbb{R}^n}|f(y)|\|g(x)\|_Tdy\\ \\ & =\int_{\mathbb{R}^n}|f(y)|dy \cdot \|g(x)\|_T\\ & \overset{def}{=} \|f\|_{L^1}\|g\|_T \end{align*} where in the second step I have used homogenity and in the third the invariance of the $T$ norm.

$\endgroup$
2
  • $\begingroup$ May you please explain how does one get the inequality? $\endgroup$
    – user258700
    Commented Jun 22, 2016 at 9:37
  • $\begingroup$ Why this inequality holds is explained in the answers to the following question mathoverflow.net/questions/115386/… $\endgroup$
    – b00n heT
    Commented Jun 22, 2016 at 9:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .