Interior estimates for solutions of Abreu equation (Q2567327): Difference between revisions

The author studies the following Abreus' equation for a convex function \(u\) on an open domain \(\Omega \subset \mathbb R^n \): \( S(u) =A, \) where \(A\) is a given function, e.g., a constant, and \( S(u) = - \sum \frac{\partial^2 u^{ij}}{\partial x^i \partial x^j}\) where \(u^{ij}\) is the inverse matrix to the Hessian \(u_{ij}= \frac{\partial^2 u}{\partial x^i \partial x^j}\). This equation appears in the study of differential geometry of toric varieties. If \(A\) is a constant, it also corresponds to certain Kähler metrics of constant scalar curvature. The Abreus' equation is the Euler-Lagrange equation for the functional \[ I(u)= \int_{\Omega} -\log \det (u_{ij})+ Au. \] The author gives a priori estimation for solutions of Abreu equation augmented by some specific boundary conditions which depend on a measure \(\sigma\) on the boundary \(\partial \Omega\). Two cases are considered: 1) \(\Omega\) is a bounded polytope, defined by a finite number of linear inequalities with \(n\) codimension one faces of \(\partial \Omega\) meeting at each vertex and \(\sigma\) is a constant multiple of the Lebesgue measure on each codimension one face of \(\partial \Omega\). 2) \(\Omega\) is a bounded domain with strictly convex smooth boundary and \(\sigma\) is a smooth positive measure on \(\partial \Omega\).