We address in this article the computation of the convex solutions of the Dirichlet problem for the real elliptic Monge − Ampère equation for general convex domains in two dimensions. The method we discuss combines a least-squares formulation with a relaxation method. This approach leads to a sequence of Poisson − Dirichlet problems and another sequence of low dimensional algebraic eigenvalue problems of a new type. Mixed finite element approximations with a smoothing procedure are used for the...

In this paper, we construct and analyze finite element methods for the three dimensional Monge-Ampère equation. We derive methods using the Lagrange finite element space such that the resulting discrete linearizations are symmetric and stable. With this in hand, we then prove the well-posedness of the method, as well as derive quasi-optimal error estimates. We also present some numerical experiments that back up the theoretical findings.

In this paper, we construct and analyze finite element methods for the three dimensional Monge-Ampère equation. We derive methods using the Lagrange finite element space such that the resulting discrete linearizations are symmetric and stable. With this in hand, we then prove the well-posedness of the method, as well as derive quasi-optimal error estimates. We also present some numerical experiments that back up the theoretical findings.

Let $(X,\omega )$ be a compact Kähler manifold. We obtain uniform Hölder regularity for solutions to the complex Monge-Ampère equation on $X$ with $L^p$ right hand side, $p>1$. The same regularity is furthermore proved on the ample locus in any big cohomology class. We also study the range $(X,\omega )$ of the complex Monge-Ampère operator acting on $\omega$-plurisubharmonic Hölder continuous functions. We show that this set is convex, by sharpening Kołodziej’s result that measures with $L^p$-density belong to $(X,\omega )$ and proving that $(X,\omega )$ has the...

We consider the Dirichlet problem for the complex Monge-Ampère equation in a bounded strongly hyperconvex Lipschitz domain in ℂⁿ. We first give a sharp estimate on the modulus of continuity of the solution when the boundary data is continuous and the right hand side has a continuous density. Then we consider the case when the boundary value function is ${}^{1,1}$ and the right hand side has a density in $L^p\left(\Omega \right)$ for some p > 1, and prove the Hölder continuity of the solution.

We announce some results concerning the Dirichlet problem for the Levi-equation in ${\mathbb{C}}^n$. We consider for the sake of simplicity the case $n=3$.

We prove that any Kantorovich potential for the cost function c = d2/2 on a Riemannian manifold (M, g) is locally semiconvex in the “region of interest”, without any compactness assumption on M, nor any assumption on its curvature. Such a region of interest is of full μ-measure as soon as the starting measure μ does not charge n – 1-dimensional rectifiable sets.

We prove that any Kantorovich potential for the cost function c = d2/2 on a Riemannian manifold (M, g) is locally semiconvex in the “region of interest”, without any compactness assumption on M, nor any assumption on its curvature. Such a region of interest is of full μ-measure as soon as the starting measure μ does not charge n – 1-dimensional rectifiable sets.

We show, using a direct variational approach, that the second boundary value problem for the Monge-Ampère equation in ${ℝ}^n$ with exponential non-linearity and target a convex body $P$ is solvable iff $0$ is the barycenter of $P.$ Combined with some toric geometry this confirms, in particular, the (generalized) Yau-Tian-Donaldson conjecture for toric log Fano varieties $(X,\Delta )$ saying that $(X,\Delta )$ admits a (singular) Kähler-Einstein metric iff it is K-stable in the algebro-geometric sense. We thus obtain a new proof and...

All second order scalar differential invariants of symplectic hyperbolic and elliptic Monge-Ampère equations with respect to symplectomorphisms are explicitly computed. In particular, it is shown that the number of independent second order invariants is equal to 7, in sharp contrast with general Monge-Ampère equations for which this number is equal to 2. We also introduce a series of invariant differential forms and vector fields which allow us to construct numerous scalar differential invariants...