arXiv++ Combinatorics

In this paper, the continuous solutions of the complex Kac--Bernstein functional equation \[ f_1 ( u + v ) f_2 ( u - v ) f_1 ( u' + v' ) f_2 ( u' - v' ) = f_1 ( u + v' ) f_2 ( u - v' ) f_1 ( u' + v ) f_2 ( u' - v ) \] are classified for $ \mathbb{ Z } $ and $ \mathbb{ R } $. By using this classification for $ \mathbb{ Z } $, we consider a generalization of the Kac--Bernstein theorem on the one-dimensional torus $ \mathbb{ T } $ by Baryshnikov--Eisenberg--Stadje from probability Borel measures to complex Borel measures. Similarly, the original Kac--Bernstein theorem on $ \mathbb{ R } $ is generalized from probability Borel measures to complex Borel measures.

Let $μ$ be the Haar measure of a unimodular locally compact group $G$ and $m (G)$ as the infimum of the volumes of all open subgroups of $G$. The main result of this paper is that \begin{align*} \int_{G}^{} f \circ \left( φ_1 * φ_2 \right) \left( g \right) dg \leq \int_{\mathbb{R}}^{} f \circ \left( φ_1^* * φ_2^* \right) \left( x \right) dx \end{align*} holds for any measurable functions $φ_1, φ_2 \colon G \to \mathbb{R}_{\geq 0}$ with $μ( \mathrm{supp} \; φ_1 ) + μ( \mathrm{supp} \; φ_2 ) \leq m(G)$ and any convex function $f \colon \mathbb{R}_{\geq 0} \to \mathbb{R}$ with $f(0) = 0$. Here $φ^*$ is the rearrangement of $φ$. Let $Y_O(P,G)$ and $Y_R(P,G)$ denote the optimal constants of Young's and the reverse Young's inequality, respectively, under the assumption $μ( \mathrm{supp} \; φ_1 ) + μ( \mathrm{supp} \; φ_2 ) \leq m(G)$. Then we have $Y_O(P,G) \leq Y_O(P,\mathbb{R})$ and $Y_R(P,G) \geq Y_R(P,\mathbb{R})$ as a corollary. Thus, we obtain that $m (G) = \infty$ if and only if $H (p,G) \leq H (p, \mathbb{R})$ in the case of $p' := p/(p-1) \in 2 \mathbb{Z}$, where $H (p,G)$ is the optimal constant of the Hausdorff--Young inequality.

Let $m(G)$ be the infimum of the volumes of all open subgroups of a unimodular locally compact group $G$. Suppose integrable functions $φ_1 , φ_2 \colon G \to [0,1]$ satisfy $\| φ_1 \| \leq \| φ_2 \|$ and $\| φ_1 \| + \| φ_2 \| \leq m (G)$, where $\| \cdot \|$ denotes the $L^1$-norm with respect to a Haar measure $dg$ on $G$. We have the following inequality for any convex function $f \colon [0, \| φ_1 \| ] \to \mathbb{R}$ with $f(0) = 0$: \begin{align*} \int_{G}^{} f \circ ( φ_1 * φ_2 ) (g) dg \leq 2 \int_{0}^{\| φ_1 \|} f(y) dy + ( \| φ_2 \| - \| φ_1 \| ) f( \| φ_1 \| ). \end{align*} As a corollary, we have a slightly stronger version of Brunn-Minkowski-Kemperman inequality. That is, we have \begin{align*} \mathrm{vol}_* ( B_1 B_2 ) \geq \mathrm{vol} ( \{ g \in G \mid 1_{B_1} * 1_{B_2} (g) > 0 \} ) \geq \mathrm{vol} (B_1) + \mathrm{vol} (B_2) \end{align*} for any non-null measurable sets $B_1 , B_2 \subset G$ with $\mathrm{vol} (B_1) + \mathrm{vol} (B_2) \leq m(G)$, where $\mathrm{vol}_*$ denotes the inner measure and $1_B$ the characteristic function of $B$.