Two-scale method for the Monge-Ampère equation: Convergence to the viscosity solution

Nochetto, R.; Ntogkas, D.; Zhang, W.

doi:10.1090/mcom/3353

Two-scale method for the Monge-Ampère equation: Convergence to the viscosity solution
HTML articles powered by AMS MathViewer

by R. H. Nochetto, D. Ntogkas and W. Zhang HTML | PDF

Math. Comp. 88 (2019), 637-664 Request permission

Abstract:

We propose a two-scale finite element method for the Monge-Ampère equation with Dirichlet boundary condition in dimension $d\ge 2$ and prove that it converges to the viscosity solution uniformly. The method is inspired by a finite difference method of Froese and Oberman, but is defined on unstructured grids and relies on two separate scales: the first one is the mesh size $h$ and the second one is a larger scale that controls appropriate directions and substitutes the need of a wide-stencil. The main tools for the analysis are a discrete comparison principle and discrete barrier functions that control the behavior of the discrete solution, which is continuous piecewise linear, both close to the boundary and in the interior of the domain.

References

Néstor E. Aguilera and Pedro Morin, On convex functions and the finite element method, SIAM J. Numer. Anal. 47 (2009), no. 4, 3139–3157. MR 2551161, DOI 10.1137/080720917
Gerard Awanou, Convergence rate of a stable, monotone and consistent scheme for the Monge-Ampère equation, Symmetry 8 (2016), no. 4, Art. 18, 7. MR 3488004, DOI 10.3390/sym8040018
Gerard Awanou, Standard finite elements for the numerical resolution of the elliptic Monge-Ampère equation: Aleksandrov solutions, ESAIM Math. Model. Numer. Anal. 51 (2017), no. 2, 707–725. MR 3626416, DOI 10.1051/m2an/2016037
G. Barles and P. E. Souganidis, Convergence of approximation schemes for fully nonlinear second order equations, Asymptotic Anal. 4 (1991), no. 3, 271–283. MR 1115933
Jean-David Benamou, Francis Collino, and Jean-Marie Mirebeau, Monotone and consistent discretization of the Monge-Ampère operator, Math. Comp. 85 (2016), no. 302, 2743–2775. MR 3522969, DOI 10.1090/mcom/3080
Jean-David Benamou, Brittany D. Froese, and Adam M. Oberman, Two numerical methods for the elliptic Monge-Ampère equation, M2AN Math. Model. Numer. Anal. 44 (2010), no. 4, 737–758. MR 2683581, DOI 10.1051/m2an/2010017
Dimitri P. Bertsekas, Angelia Nedić, and Asuman E. Ozdaglar, Convex analysis and optimization, Athena Scientific, Belmont, MA, 2003. MR 2184037
Zbigniew Błocki, Smooth exhaustion functions in convex domains, Proc. Amer. Math. Soc. 125 (1997), no. 2, 477–484. MR 1350934, DOI 10.1090/S0002-9939-97-03571-5
Susanne C. Brenner and L. Ridgway Scott, The mathematical theory of finite element methods, 3rd ed., Texts in Applied Mathematics, vol. 15, Springer, New York, 2008. MR 2373954, DOI 10.1007/978-0-387-75934-0
Susanne C. Brenner, Thirupathi Gudi, Michael Neilan, and Li-yeng Sung, $\scr C^0$ penalty methods for the fully nonlinear Monge-Ampère equation, Math. Comp. 80 (2011), no. 276, 1979–1995. MR 2813346, DOI 10.1090/S0025-5718-2011-02487-7
L. Caffarelli, L. Nirenberg, and J. Spruck, The Dirichlet problem for nonlinear second-order elliptic equations. I. Monge-Ampère equation, Comm. Pure Appl. Math. 37 (1984), no. 3, 369–402. MR 739925, DOI 10.1002/cpa.3160370306
Xiaojun Chen, Zuhair Nashed, and Liqun Qi, Smoothing methods and semismooth methods for nondifferentiable operator equations, SIAM J. Numer. Anal. 38 (2000), no. 4, 1200–1216. MR 1786137, DOI 10.1137/S0036142999356719
Michael G. Crandall, Hitoshi Ishii, and Pierre-Louis Lions, User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1–67. MR 1118699, DOI 10.1090/S0273-0979-1992-00266-5
E. J. Dean and R. Glowinski, An augmented Lagrangian approach to the numerical solution of the Dirichlet problem for the elliptic Monge-Ampère equation in two dimensions, Electron. Trans. Numer. Anal. 22 (2006), 71–96. MR 2208483
Edward J. Dean and Roland Glowinski, On the numerical solution of the elliptic Monge-Ampère equation in dimension two: a least-squares approach, Partial differential equations, Comput. Methods Appl. Sci., vol. 16, Springer, Dordrecht, 2008, pp. 43–63. MR 2484684, DOI 10.1007/978-1-4020-8758-5_{3}
Guido De Philippis and Alessio Figalli, Second order stability for the Monge-Ampère equation and strong Sobolev convergence of optimal transport maps, Anal. PDE 6 (2013), no. 4, 993–1000. MR 3092736, DOI 10.2140/apde.2013.6.993
Guido De Philippis and Alessio Figalli, The Monge-Ampère equation and its link to optimal transportation, Bull. Amer. Math. Soc. (N.S.) 51 (2014), no. 4, 527–580. MR 3237759, DOI 10.1090/S0273-0979-2014-01459-4
Ryszard Engelking, General topology, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989. Translated from the Polish by the author. MR 1039321
Xiaobing Feng, Roland Glowinski, and Michael Neilan, Recent developments in numerical methods for fully nonlinear second order partial differential equations, SIAM Rev. 55 (2013), no. 2, 205–267. MR 3049920, DOI 10.1137/110825960
Xiaobing Feng and Max Jensen, Convergent semi-Lagrangian methods for the Monge-Ampère equation on unstructured grids, SIAM J. Numer. Anal. 55 (2017), no. 2, 691–712. MR 3623696, DOI 10.1137/16M1061709
Xiaobing Feng and Michael Neilan, Mixed finite element methods for the fully nonlinear Monge-Ampère equation based on the vanishing moment method, SIAM J. Numer. Anal. 47 (2009), no. 2, 1226–1250. MR 2485451, DOI 10.1137/070710378
Xiaobing Feng and Michael Neilan, Vanishing moment method and moment solutions for fully nonlinear second order partial differential equations, J. Sci. Comput. 38 (2009), no. 1, 74–98. MR 2472219, DOI 10.1007/s10915-008-9221-9
Brittany D. Froese, A numerical method for the elliptic Monge-Ampère equation with transport boundary conditions, SIAM J. Sci. Comput. 34 (2012), no. 3, A1432–A1459. MR 2970259, DOI 10.1137/110822372
Brittany D. Froese and Adam M. Oberman, Convergent finite difference solvers for viscosity solutions of the elliptic Monge-Ampère equation in dimensions two and higher, SIAM J. Numer. Anal. 49 (2011), no. 4, 1692–1714. MR 2831067, DOI 10.1137/100803092
Roland Glowinski, Numerical methods for fully nonlinear elliptic equations, ICIAM 07—6th International Congress on Industrial and Applied Mathematics, Eur. Math. Soc., Zürich, 2009, pp. 155–192. MR 2588593, DOI 10.4171/056-1/9
Cristian E. Gutiérrez, The Monge-Ampère equation, Progress in Nonlinear Differential Equations and their Applications, vol. 44, Birkhäuser Boston, Inc., Boston, MA, 2001. MR 1829162, DOI 10.1007/978-1-4612-0195-3
M. Hintermüller, K. Ito, and K. Kunisch, The primal-dual active set strategy as a semismooth Newton method, SIAM J. Optim. 13 (2002), no. 3, 865–888 (2003). MR 1972219, DOI 10.1137/S1052623401383558
H. Ishii and P.-L. Lions, Viscosity solutions of fully nonlinear second-order elliptic partial differential equations, J. Differential Equations 83 (1990), no. 1, 26–78. MR 1031377, DOI 10.1016/0022-0396(90)90068-Z
Jean-Marie Mirebeau, Discretization of the 3D Monge-Ampere operator, between wide stencils and power diagrams, ESAIM Math. Model. Numer. Anal. 49 (2015), no. 5, 1511–1523. MR 3423234, DOI 10.1051/m2an/2015016
R. H. Nochetto, D. Ntogkas, and W. Zhang, Two-scale method for the Monge–Ampère equation: pointwise error estimates, IMA J. Numer. Anal. DOI:10.1093/imanum/dry026
R. H. Nochetto and W. Zhang, Discrete ABP estimate and convergence rates for linear elliptic equations in non-divergence form, Found. Comp. Math. (online), 2017.
R. H. Nochetto and W. Zhang, Pointwise rates of convergence for the Oliker-Prussner method for the Monge-Ampère equation, arXiv:1611.02786.
Adam M. Oberman, Convergent difference schemes for degenerate elliptic and parabolic equations: Hamilton-Jacobi equations and free boundary problems, SIAM J. Numer. Anal. 44 (2006), no. 2, 879–895. MR 2218974, DOI 10.1137/S0036142903435235
Adam M. Oberman, The convex envelope is the solution of a nonlinear obstacle problem, Proc. Amer. Math. Soc. 135 (2007), no. 6, 1689–1694. MR 2286077, DOI 10.1090/S0002-9939-07-08887-9
V. I. Oliker and L. D. Prussner, On the numerical solution of the equation $(\partial ^2z/\partial x^2)(\partial ^2z/\partial y^2)-((\partial ^2z/\partial x\partial y))^2=f$ and its discretizations. I, Numer. Math. 54 (1988), no. 3, 271–293. MR 971703, DOI 10.1007/BF01396762
Neil S. Trudinger and Xu-Jia Wang, Boundary regularity for the Monge-Ampère and affine maximal surface equations, Ann. of Math. (2) 167 (2008), no. 3, 993–1028. MR 2415390, DOI 10.4007/annals.2008.167.993
Gerd Wachsmuth, Conforming approximation of convex functions with the finite element method, Numer. Math. 137 (2017), no. 3, 741–772. MR 3712291, DOI 10.1007/s00211-017-0884-8
S. W. Walker, FELICITY: A Matlab/C++ Toolbox for Developing Finite Element Methods and Simulation Modeling, submitted.
S. W. Walker, FELICITY: Finite ELement Implementation and Computational Interface Tool for You. http://www.mathworks.com/matlabcentral/fileexchange/31141-felicity.