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)\).
Reviewer: B.K.Horkelheimer (Clayton)
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 |