Galerkin Methods for the Fully Nonlinear Monge-Ampère Equation

This paper develops and analyzes finite element Galerkin and spectral Galerkin methods for approximating viscosity solutions of the fully nonlinear Monge-Amp\`ere equation $\det(D^2u^0)=f$ based on the vanishing moment method which was developed by the authors in \cite{Feng2,Feng1}. In this approach, the Monge-Amp\`ere equation is approximated by the fourth order quasilinear equation $-\epsilon\Delta^2 u^\epsilon + \det{D^2u^\epsilon} =f$ accompanied by appropriate boundary conditions. This new approach allows one to construct convergent Galerkin numerical methods for the fully nonlinear Monge-Amp\`ere equation, a task which has been impracticable before. In this paper, we first develop some finite element and spectral Galerkin methods for approximating the solution $u^\epsilon$ of the regularized fourth order problem. We then derive optimal order error estimates for the proposed numerical methods. In particular, we track explicitly the dependence of the error bounds on the parameter $\vepsi$, for the error $u^\epsilon-u^\epsilon_h$. Finally, using the Aygris finite element method as an example, we present a detailed numerical study of the rates of convergence in terms of powers of $\vepsi$ for the error $u^0-u_h^\vepsi$, and numerically examine what is the "best" mesh size $h$ in relation to $\vepsi$ in order to achieve these rates.

[1]  Ming Wang,et al.  A new class of Zienkiewicz-type non-conforming element in any dimensions , 2007, Numerische Mathematik.

[2]  Xiaobing Feng,et al.  Fully discrete dynamic mesh discontinuous Galerkin methods for the Cahn-Hilliard equation of phase transition , 2007, Math. Comput..

[3]  Roland Glowinski,et al.  Numerical methods for fully nonlinear elliptic equations of the Monge-Ampère type , 2006 .

[4]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[5]  Frank Baginski,et al.  Numerical solutions of boundary value problems for Κ-surfaces inR3 , 1996 .

[6]  Jie Shen,et al.  Efficient Spectral-Galerkin Method I. Direct Solvers of Second- and Fourth-Order Equations Using Legendre Polynomials , 1994, SIAM J. Sci. Comput..

[7]  P. Lions,et al.  User’s guide to viscosity solutions of second order partial differential equations , 1992, math/9207212.

[8]  G. Barles,et al.  Convergence of approximation schemes for fully nonlinear second order equations , 1990, 29th IEEE Conference on Decision and Control.

[9]  R. Jensen The maximum principle for viscosity solutions of fully nonlinear second order partial differential equations , 1988 .

[10]  Igor Mozolevski,et al.  A Priori Error Analysis for the hp-Version of the Discontinuous Galerkin Finite Element Method for the Biharmonic Equation , 2003 .

[11]  Yann Brenier,et al.  A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem , 2000, Numerische Mathematik.

[12]  H. Ishii On uniqueness and existence of viscosity solutions of fully nonlinear second‐order elliptic PDE's , 1989 .

[13]  P. Grisvard Elliptic Problems in Nonsmooth Domains , 1985 .

[14]  P. Lions,et al.  Viscosity solutions of Hamilton-Jacobi equations , 1983 .