The scaling and skewness of optimally transported meshes on the sphere

Abstract In the context of numerical solution of PDEs, dynamic mesh redistribution methods (r-adaptive methods) are an important procedure for increasing the resolution in regions of interest, without modifying the connectivity of the mesh. Key to the success of these methods is that the mesh should be sufficiently refined (locally) and flexible in order to resolve evolving solution features, but at the same time not introduce errors through skewness and lack of regularity. Some state-of-the-art methods are bottom-up in that they attempt to prescribe both the local cell size and the alignment to features of the solution. However, the resulting problem is overdetermined, necessitating a compromise between these conflicting requirements. An alternative approach, described in this paper, is to prescribe only the local cell size and augment this an optimal transport condition to provide global regularity. This leads to a robust and flexible algorithm for generating meshes fitted to an evolving solution, with minimal need for tuning parameters. Of particular interest for geophysical modelling are meshes constructed on the surface of the sphere. The purpose of this paper is to demonstrate that meshes generated on the sphere using this optimal transport approach have good a-priori regularity and that the meshes produced are naturally aligned to various simple features. It is further shown that the sphere's intrinsic curvature leads to more regular meshes than the plane. In addition to these general results, we provide a wide range of examples relevant to practical applications, to showcase the behaviour of optimally transported meshes on the sphere. These range from axisymmetric cases that can be solved analytically to more general examples that are tackled numerically. Evaluation of the singular values and singular vectors of the mesh transformation provides a quantitative measure of the mesh anisotropy, and this is shown to match analytic predictions.

[1]  Tom Henderson,et al.  A general method for modeling on irregular grids , 2011, Int. J. High Perform. Comput. Appl..

[2]  J. F. Williams,et al.  MOVING MESH GENERATION USING THE PARABOLIC MONGE–AMPÈRE EQUATION∗ , 2008 .

[3]  G. Loeper On the regularity of solutions of optimal transportation problems , 2009 .

[4]  R. McCann Polar factorization of maps on Riemannian manifolds , 2001 .

[5]  Anders Logg,et al.  Unified form language: A domain-specific language for weak formulations of partial differential equations , 2012, TOMS.

[6]  D. Williamson The Evolution of Dynamical Cores for Global Atmospheric Models(125th Anniversary Issue of the Meteorological Society of Japan) , 2007 .

[7]  N. Trudinger,et al.  On second derivative estimates for equations of Monge-Ampère type , 1984, Bulletin of the Australian Mathematical Society.

[8]  David A. Ham,et al.  Exposing and exploiting structure: optimal code generation for high-order finite element methods , 2017, ArXiv.

[9]  Andrew T. T. McRae,et al.  A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake , 2016 .

[10]  N SwarztrauberPaul,et al.  A standard test set for numerical approximations to the shallow water equations in spherical geometry , 1992 .

[11]  Hirofumi Tomita,et al.  An optimization of the Icosahedral grid modified by spring dynamics , 2002 .

[12]  C. Villani Topics in Optimal Transportation , 2003 .

[13]  P. Swarztrauber,et al.  A standard test set for numerical approximations to the shallow water equations in spherical geometry , 1992 .

[14]  C. Villani Optimal Transport: Old and New , 2008 .

[15]  J. F. Williams,et al.  Parabolic Monge-Ampère methods for blow-up problems in several spatial dimensions , 2006 .

[16]  Gian Luca Delzanno,et al.  An optimal robust equidistribution method for two-dimensional grid adaptation based on Monge-Kantorovich optimization , 2008, J. Comput. Phys..

[17]  Y. Brenier Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[18]  Philip Browne,et al.  Mesh adaptation on the sphere using optimal transport and the numerical solution of a Monge-Ampère type equation , 2015, J. Comput. Phys..

[19]  L. Caffarelli Interior $W^{2,p}$ estimates for solutions of the Monge-Ampère equation , 1990 .

[20]  Adam M. Oberman,et al.  Numerical solution of the Optimal Transportation problem using the Monge-Ampère equation , 2012, J. Comput. Phys..

[21]  Eric Jones,et al.  SciPy: Open Source Scientific Tools for Python , 2001 .

[22]  Andrew T. T. McRae,et al.  Firedrake: automating the finite element method by composing abstractions , 2015, ACM Trans. Math. Softw..

[23]  Andrew T. T. McRae,et al.  Automating the solution of PDEs on the sphere and other manifolds in FEniCS 1.2 , 2013 .

[24]  William Gropp,et al.  Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries , 1997, SciTools.

[25]  David A. Ham,et al.  An Algorithm for the Optimization of Finite Element Integration Loops , 2016, ACM Trans. Math. Softw..

[26]  Shin-ichi Iga An equatorially enhanced grid with smooth resolution distribution generated by a spring dynamics method , 2017, J. Comput. Phys..

[27]  Lawrence Mitchell,et al.  TSFC: a structure-preserving form compiler , 2017, SIAM J. Sci. Comput..

[28]  Phillip Colella,et al.  Analyzing the Adaptive Mesh Refinement (AMR) Characteristics of a High-Order 2D Cubed-Sphere Shallow-Water Model , 2016 .

[29]  Robert D. Russell,et al.  The geometry of r-adaptive meshes generated using optimal transport methods , 2015, J. Comput. Phys..

[30]  Gadi Fibich,et al.  The Nonlinear Schrödinger Equation: Singular Solutions and Optical Collapse , 2015 .

[31]  John Thuburn,et al.  Horizontal grids for global weather and climate prediction models: a review , 2012 .

[32]  Xu Wang Some counterexamples to the regularity of Monge-Ampère equations , 1995 .

[33]  G. Loeper,et al.  Gradient estimates for potentials of invertible gradient–mappings on the sphere , 2006 .

[34]  Bharat K. Soni,et al.  Handbook of Grid Generation , 1998 .

[35]  Todd D. Ringler,et al.  Exploring a Multiresolution Modeling Approach within the Shallow-Water Equations , 2011 .

[36]  Shin-ichi Iga Smooth, seamless, and structured grid generation with flexibility in resolution distribution on a sphere based on conformal mapping and the spring dynamics method , 2015, J. Comput. Phys..

[37]  Chris J. Budd,et al.  Monge-Ampére based moving mesh methods for numerical weather prediction, with applications to the Eady problem , 2013, J. Comput. Phys..

[38]  Aul,et al.  AN ADAPTIVE MULTIBLOCK HIGH-ORDER FINITE-VOLUME METHOD FOR SOLVING THE SHALLOW-WATER EQUATIONS ON THE SPHERE , 2015 .

[39]  Malcolm Roberts,et al.  Developing the next-generation climate system models: challenges and achievements , 2009, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[40]  Cristian E. Gutiérrez,et al.  The Monge―Ampère Equation , 2001 .

[41]  Philip Browne,et al.  Fast three dimensional r-adaptive mesh redistribution , 2014, J. Comput. Phys..

[42]  G. Loeper Regularity of Optimal Maps on the Sphere: the Quadratic Cost and the Reflector Antenna , 2013, 1301.6229.

[43]  Lisandro Dalcin,et al.  Parallel distributed computing using Python , 2011 .

[44]  Adrian Simmons,et al.  Use of Reduced Gaussian Grids in Spectral Models , 1991 .

[45]  Robert D. Russell,et al.  Adaptive Moving Mesh Methods , 2010 .

[46]  Gadi Fibich,et al.  The Nonlinear Schrödinger Equation: Singular Solutions and Optical Collapse , 2015 .

[47]  L. Caffarelli,et al.  On the Regularity of Reflector Antennas , 2008 .

[48]  Andrew T. T. McRae,et al.  Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements , 2014, SIAM J. Sci. Comput..

[49]  David A. Ham,et al.  A Parallel Edge Orientation Algorithm for Quadrilateral Meshes , 2015, SIAM J. Sci. Comput..

[50]  R. Heikes,et al.  DCMIP2016: A Review of Non-hydrostatic Dynamical Core Design and Intercomparison of Participating Models , 2017 .

[51]  Gian Luca Delzanno,et al.  Robust, multidimensional mesh-motion based on Monge-Kantorovich equidistribution , 2011, J. Comput. Phys..

[52]  Hirofumi Tomita,et al.  Improved smoothness and homogeneity of icosahedral grids using the spring dynamics method , 2014, J. Comput. Phys..

[53]  Andrew T. T. McRae,et al.  Optimal-Transport-Based Mesh Adaptivity on the Plane and Sphere Using Finite Elements , 2016, SIAM J. Sci. Comput..

[54]  Takemasa Miyoshi,et al.  The Non-hydrostatic Icosahedral Atmospheric Model: description and development , 2014, Progress in Earth and Planetary Science.