×

On a convolution equation. (Sur une équation de convolution.) (French) Zbl 0769.60007

Let \((S,+)\) be a locally compact Abelian semigroup, let \(\mu\) be a Borel probability measure on \(S\), and let \(T\) be the corresponding convolution operator defined, for every bounded Borel function \(f\) on \(S\), by \(Tf(s)=\int_ Sf(s+u)\mu(du)\) for all \(s\in S\). The author gives an elementary and elegantly brief proof of the following theorem of Choquet and Deny: A continuous (resp. Borel) function \(h\) satisfies \(Th=h\) if and only if we have \(h(s+u)=h(s)\) for all \(s\in S\), and for all \(u\) in the support of \(\mu\) (resp. \(\mu\)-almost all \(u)\).

MSC:

60B15 Probability measures on groups or semigroups, Fourier transforms, factorization
28C10 Set functions and measures on topological groups or semigroups, Haar measures, invariant measures
43A07 Means on groups, semigroups, etc.; amenable groups
43A22 Homomorphisms and multipliers of function spaces on groups, semigroups, etc.
44A35 Convolution as an integral transform