A Brunn-Minkowski inequality for the Hessian eigenvalue in three-dimensional convex domain (Q2637923): Difference between revisions

Let \(k=1,\dots,n\) and \(u\) be a \(C^2\)-function, the \(k\)-th Hessian operator \(S_k(D^2u)\) is the \(k\)-th elementary symmetric function of the eigenvalues of the Hessian matrix of \(u\). Let \(\lambda(K)=\inf\left\{-\frac{\int_K{u S_k(D^2u)dx}}{\int_K {|u|^{k+1}dx}}\right\}\) where the infimum is taken over all functions \(u\in C^2(K)\cap C^2(\overline{K})\). In [Indiana Univ. Math. J. 43, No.~1, 25--54 (1994; Zbl 0805.35036)], \textit{X.-J. Wang} proved, for \(1<k<n\) and up to a positive factor, that for the equation \[ S_k(D^2u)=\lambda(K)(-u^k), \quad u<0 \quad \text{ in \(K\), } \] \[ u=0 \quad \text{on } \partial K \] there exists a unique negative admissible solution \(u\in C^{\infty}(K)\cap C^{1,1}(\overline{K})\). The authors use Wang's result to deal with the case \(k=2\) in a \(3\)-dimensional convex domain. In particular, for the previous equation in the case \(k=2\), it is proven that if \(K\subset\mathbb{R}^3\) is a bounded strictly convex domain and \(u\in C^\infty(K)\cap C^{1,1}({\overline K})\) is the unique (up to a positive factor) admissible solution, then \(v=-\log(-u)\) is a strictly convex function in \(K\). The mentioned result allows them to prove the Brunn-Minkowski inequality for the positive eigenvalue of the \(S_2\) operator, namely, they prove that for \(K_0,K_1\subset\mathbb{R}^3\) bounded smooth strictly convex domains and \(t\in[0,1]\), the functional \(\lambda\) satisfies \[ \lambda\left((1-t)K_0+tK_1\right)^{-\frac{1}{4}}\geq (1-t)\lambda(K_0)^{-\frac{1}{4}}+t\lambda(K_1)^{-\frac{1}{4}} \] with equality if and only if \(K_0\) and \(K_1\) are homothetic.