Mixed complex brightness integrals (Q2299366)

The authors introduce a notion of mixed brightness of complex convex bodies (convex and compact subsets of \(\mathbb{C}^n\)), and prove several inequalities for these quantities. More precisely, following \textit{J. Abardia} [J. Funct. Anal. 263, No. 11, 3588--3603 (2012; Zbl 1262.52012)], given a convex body \(M\) in \(\mathbb{C}^n\) and a convex subset \(C\) of \(\mathbb{C}\), the authors consider the brightness function of \(M\), defined as follows: \[ \delta^C(M,\omega)=\frac12 V(M[2n-1],\omega),\quad\omega\in S^{2n-1}. \] Here \(S^{2n-1}\) is the unit sphere in \(\mathbb{C}^n\), and \(V\) denotes the mixed volume operator. The mixed complex brightness integral of \(2n\) convex bodies \(M_1,\dots,M_{2n}\), is then defined as follows: \[D^C(M_1,\dots,M_{2n})=\frac1{2n}\int_{S^{2n-1}}\delta^C(M_1,\omega)\cdots\delta^C(M_{2n},\omega)dS(\omega),\tag{1}\] where \(dS\) denotes the integration with respect to the \((2n-1)\)-dimensional Hausdorff measure restricted to \(S^{2n-1}\). The main result of the paper is the following family of inequalities. Theorem. Let \(m\in\{2,\dots,2n\}\), \(M_1,\dots,M_{2n}\) be convex bodies in \({\mathbb C}^n\), and \(C\) be a convex subset of \(\mathbb C\). Then \[ D^C(M_1,\dots,M_{2n})^m\le\prod_{i=1}^m D^C(M_1,\dots,M_{2n-m},\underbrace{M_{2n-i+1},\dots,M_{2n-i+1}}_{m}). \] A complete characterization of equality conditions is also established. A second family of inequalities is proved. Theorem. Let \(M,N\) be convex bodies in \({\mathbb C}^n\), let \(C\subset{\mathbb C}\) be a convex set, and let \(i,j,k\) be such that \(i<j<k\). Then \[ D_j^C(M,N)^{k-i}\le D_i^C(M,N)^{k-j}D_k^C(M,N)^{j-i}. \] Here, for a general index \(i\in\{0,\dots,2n\}\), \[ D_i^C(M,N)=D^C(\underbrace{M,\dots,M}_{2n-i},\underbrace{N,\dots,N}_{i}) \] (this notion can be extended to arbitrary real values of \(i\), using an integral expression of type (1)). Several further inequalities for mixed complex brightness integrals are established as corollaries of the previous two theorems (for instance isoperimetric type inequalities).