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
    (Much appreciated)2011-12-15