Bourbaki

Exercise 23, § 3

Integration, VIII

Let GG be a locally compact group, β\beta a left Haar measure on GG, ff and gg two positive locally β\beta-integrable functions. Suppose that ff and gg are convolable and that one of these functions is zero in the complement of a countable union of compact sets. Now prove that f∗gf * g is equal locally almost everywhere to a lower semi-continuous function (use Prop. 15 of No. 5).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.