Interpolation, Prekopa and Brunn-Minkowski for \(F\)-subharmonicity (Q6182785)

Two convex sets \(A_0, A_1\subset\mathbb{R}^m\) can be interpolated with \(A_t=t A_1+(1-t)A_0\), \(0\leq t\leq 1\). Considering higher dimensional parameter spaces, the present work studies the harmonic interpolation of infinitely many sets: For a bounded open \(\Omega\subset\mathbb R^n\), let \(A_\tau\), \(\tau\in\partial\Omega\), be compact convex sets. Then, their harmonic interpolation \(A_x\), \(x\in\Omega\), is given by the integral of \(A_\tau\) over \(\partial\Omega\) with respect to the harmonic measure \(d\mu_x\) on \(\partial\Omega\). Generalizing the Brunn-Minkowski theorem, the first main result of the present work is that \(-\log \mathrm{vol}(A_x)\) is harmonic on \(\Omega\). As corollary, the authors obtain Prekopa's theorem and its complex version as presented in [\textit{B. Berndtsson}, Math. Ann. 312, No. 4, 785--792 (1998; Zbl 0938.32021)]. To be more precise, the authors obtain these results above considering \(F\)-submarmonicity in the sense of [\textit{F. R. Harvey} and \textit{H. B. Lawson jun.}, Commun. Pure Appl. Math. 62, No. 3, 396--443 (2009; Zbl 1173.35062)]. Thereby, for a closed set \(F\subset\mathrm{Sym}^2(\mathbb R^n)\) which is closed under the addition with positive semidefinite matrices, an upper semicontinuous \(f\colon X\rightarrow\mathbb R\cap\{{-}\infty\}\), \(X\subset\mathbb R^n\) open, is called \(F\)-subharmonic if for each \(x_0\in X\) and for each smooth \(g\) defined near \(x_0\) with \(g(x_0)=f(x_0)\), \(g\geq f\) implies \(\mathrm{Hess}_{x_0}(g)\in F\). As consequence of the general Prekopa's theorem, the authors obtain a minimum principle in the setting of \(F\)-subharmonicity, as well.