Interior estimates for the n-dimensional Abreu's equation

DOI10.1016/J.AIM.2013.10.004MaRDI QIDQ2445366zbMATH OpenOpenAlexFDO

Authors Bohui Chen, Qing Han, An-Min Li, Li Sheng

Publication date 14 April 2014

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.0872

A priori estimates in context of PDEs (35B45) Smoothness and regularity of solutions to PDEs (35B65) Nonlinear elliptic equations (35J60) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Global differential geometry of Hermitian and Kählerian manifolds (53C55)

Abstract: We study the Abreu's equation in n-dimensional polytopes and derive interior estimates of solutions under the assumption of the uniform K-stability.

Review text

The authors derive interior estimates of solutions of the Abreu equation in polytopes under uniform \(K\)-stability assumptions. More precisely, the main result is a new upper bound of determinants of the Hessian of solutions. Previous results in dimension \(2\) were obtained in [\textit{S. K. Donaldson}, Collect. Math. 56, No. 2, 103--142 (2005; Zbl 1085.53063)]. The Abreu equation is a non-linear fourth-order partial differential equation, whose interest arises from the study of metrics with prescribed scalar curvature and extremal metrics on toric varieties. Its solvability is closely related to stability conditions. Let \(\Delta\) be a bounded open polytope in \(\mathbb{R}^n\), and \(A\) be a smooth function on \(\bar{\Delta}\). The Abreu equation is \[ \sum_{i,j=1}^{n} \frac{\partial^2 u^{ij}}{\partial \xi_i \partial \xi_j} = - A , \] where \(\left( u^{ij} \right)\) denotes the inverse of the Hessian \(\left( u_{ij} \right)\). It is the Euler-Lagrangian equation for the ``Mabuchi functional \[ \mathcal{F}_A(u) = -\int_{\Delta} \log\det\left(u_{ij}\right)d\mu+\mathcal{L}_A(u) \] where \[ \mathcal{L}_A(u) = \int_{\partial\Delta} u d\sigma - \int_{\Delta} Au d\mu \] is related to the Futaki invariant. Following Donaldson, \((\Delta,A)\) is called uniformly \(K\)-stable if \(\mathcal{L}_A\) vanishes on affine-linear functions and there exists a constant \(\lambda>0\) such that, for any \(u \in C\left(\bar\Delta\right)\) convex on \(\bar\Delta\) and smooth on \(\Delta\) such that \(u\geq u(p_0)=0\), (for a fixed \(p_0\in\Delta\),) the inequality \(\mathcal{L}_A(u) \geq \lambda \int_{\partial\Delta} u d\sigma\) holds. Uniform \(K\)-stability is a necessary condition for the existence of solutions of the Abreu equation satisfying the Guillemin boundary conditions, see [\textit{B. Chen} et al., J. Differ. Equations 257, No. 5, 1487--1500 (2014; Zbl 1300.53067)]. In dimension \(2\), it is also sufficient, as follows from results by Donaldson, and by Chen, Li, and Sheng. The main result of the paper is Theorem 1.2, equivalently Theorem 4.2. Assume that \((\Delta, A)\) is uniformly \(K\)-stable. Let \(u\) be a solution of the Abreu equation in the space \(\mathcal{S}_{p_0}\) of functions \(u \in C\left(\bar\Delta\right)\) such that \(u\) is convex on \(\bar\Delta\) and \(u-v\) is smooth on \(\bar\Delta\) and \(u\geq u(p_0)=0\), (for a fixed \(p_0\in\Delta\),) where \(v=\sum_k\delta_k\log\delta_k\) with \(\delta_k\) defining the polytope. Then, for any \(\Omega\Subset\Delta\), for any \(k\in\mathbb{N}\), for any \(\alpha\in (0,1)\), there exists a constant \(C>0\) depending only on \(n\), \(k\), \(\alpha\), \(\Omega\), \(\lambda\) such that \[ \| u \|_{C^{k+3,\alpha}(\Omega)} \leq C\cdot \| A \|_{C^k\left(\bar{\Delta}\right)} . \] In fact, the authors establish interior estimates for the Legendre transform of the solution.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Interior estimates for the \(n\)-dimensional Abreu's equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445366)