Every convex body has a unique illuminating center (Q2410145): Difference between revisions

Definition. Let \(\alpha\in\mathbb{R}\cup\{\pm\infty\}\) and \(\varphi\) be a non-negative function defined on \(\mathbb{R}^m\). The function \(\varphi\) is \(\alpha\)-concave on \(\mathbb{R}^m\) if for any \(x,y\in\mathbb{R}^m\) and \(0\leq\lambda\leq1\) \[ \varphi((1-\lambda)x+\lambda y)\geq M_\alpha(\varphi(x),\varphi(y);\lambda) \] where \(M_\alpha(s,t;\lambda)\) is the \(\alpha\)th mean of non-negative numbers \(s\) and \(t\) with weight \(0\leq\lambda\leq1\). The function \(\varphi\) is strictly \(\alpha\)-concave on \(\mathbb{R}^m\) if the above inequality strictly holds for any distinct \(x,y\in\mathbb{R}^m\) and \(0<\lambda<1\). The 0-concavity is also called the log-concavity. In this article, the author discusses the strict power concavity of the convolution of a function and the characteristic function of a convex body. Let \(\Omega\) be a convex body in \(\mathbb{R}^m\), \(\alpha\geq-1/m\) and \(\gamma=\alpha/(1+m\alpha)\). Let \(\varphi:\mathbb{R}^m\to[0,+\infty)\) be a continuous strictly \(\alpha\)-concave function. Then, the function \[ G_\Omega(x)=\int_\Omega\varphi(x-y)dy,\quad x\in\mathbb{R}^m \] is strictly \(\gamma\)-concave. Then, using this result, the author shows that every convex body has a unique illuminating center.