2
$\begingroup$

What I'm trying to prove is that for $f_1,f_2 \in \mathcal{L}_1$ the function $y \mapsto f_1(y)f_2(x-y)$ is integrable for almost all $x$, or:

$$ F(x) = \int f_1(y)f_2(x-y)\,dy < \infty \text{ almost all }x.$$

I've already shown that the convolution is integrable, but thanks to Fubini thats easy. Here there are less tools to use. I've also looked at Hölder's inequality, but nothing seems to quite work.

Any help/tips would be much appreciated!

  • 1
    I wonder if you can get by with an assumption that $f_1\in\mathcal{L}_1$ and much weaker assumptions on $f_2$? (I hesitate to suggest that it's enough to assume $f_2$ is measurable.)2011-12-16

1 Answers 1

2

Hint: look up Young's Inequality. I posted a proof here.

  • 0
    From what I see Young's Inequality gives a bound on the measure of the convolution, but I want to show the convolution itself is bounded for almost all x.2011-12-15
  • 0
    an integrable function $F(x)$ is finite for almost all $x$. If the integral for $F(x)$ didn't converge for a set of positive measure, then $F(x)$ would not be integrable.2011-12-15
  • 0
    Awsome! I was just trying to figure out something along the lines of $\iint f_1*f_2\,dy\,dx < \infty \Rightarrow \int f_1*f_2\,dy < \infty$.2011-12-15
  • 0
    (Much appreciated)2011-12-15