arXiv2018
Let $§$ be a commutative semigroup with identity $e$ and let $Γ$ be a compact subset in the pointwise convergence topology of the space $§'$ of all non-zero multiplicative functions on $§.$ Given a continuous function $F: Γ\to \mathbb C$ and a complex regular Borel measure $μ$ on $Γ$ such that $μ(Γ) \not = 0.$ It is shown that $$ μ(Γ) \int_Γ \varrho(s) \overline{\varrho(t)} |F|^2(\varrho) dμ(\varrho) = \int_Γ \varrho(s) F(\varrho) dμ(\varrho) \int_Γ \overline{\varrho(t) F(\varrho)} dμ(\varrho) $$ for all $(s, t) \in §\times §$ if and only if for some $γ\in Γ, $ the support of $μ$ is contained is contained in $\{ F = 0 \} \cup \{γ\}$. Several applications of this characterization are derived. In particular, the reduction of our theorem to the semigroup of non-negative integers $(\mathbb N_{0}, +)$ solves a problem posed by El Fallah, Klaja, Kellay, Mashregui and Ransford in a more general context. More consequences of our results are given, some of them illustrate the probabilistic flavor behind the problem studied herein and others establish extremal properties of analytic kernels.