Revista Matemática Iberoamericana

Full-Text PDF (222 KB) | List online-first RMI articles | RMI summary
Published online first: 2019-09-26
DOI: 10.4171/rmi/1145

On discrete Borell–Brascamp–Lieb inequalities

David Iglesias[1] and Jesús Yepes Nicolás[2]

(1) Universidad de Murcia, Spain
(2) Universidad de Murcia, Spain

If $f, g, h\colon \mathbb{R}^n\longrightarrow\mathbb{R}_{\geq 0}$ are non-negative measurable functions such that $h(x+y)$ is greater than or equal to the $p$-sum of $f(x)$ and $g(y)$, where $-1/n\leq p\leq\infty$, $p\neq0$, then the Borell–Brascamp–Lieb inequality asserts that the integral of $h$ is not smaller than the $q$-sum of the integrals of $f$ and $g$, for $q=p/(np+1)$.

In this paper we obtain a discrete analog for the sum over finite subsets of the integer lattice $\mathbb Z^n$: under the same assumption as before, for $A,B\subset\mathbb{Z}^n$}, then $\sum_{A+B}h\geq[(\sum_{\mathrm {r}{f}(A)} f)^q+(\sum_B g)^q]^{1/q}$, where $\mathrm{r}_{\!f}(A)$ is obtained by removing points from $A$ in a particular way, and depending on $f$. We also prove that the classical Borell–Brascamp–Lieb inequality for Riemann integrable functions can be obtained as a consequence of this new discrete version.

Keywords: Borell–Brascamp–Lieb inequality, Brunn–Minkowski inequality, integer lattice, set addition, cardinality, discrete measures

Iglesias David, Yepes Nicolás Jesús: On discrete Borell–Brascamp–Lieb inequalities. Rev. Mat. Iberoam. Electronically published on September 26, 2019. doi: 10.4171/rmi/1145 (to appear in print)