Monge Ampere Based Moving Mesh Methods for Weather Forecasting Chris Budd (Bath) Chiara Piccolo, Mike Cullen (Met Office) Emily Walsh (Bath,SFU), Phil.

Slides:



Advertisements
Similar presentations
Steady-state heat conduction on triangulated planar domain May, 2002
Advertisements

Adaptivity and symmetry for ODEs and PDEs Chris Budd.
Optimal transport methods for mesh generation, with applications to meteorology Chris Budd, Emily Walsh JF Williams (SFU)
Optimal transport methods for mesh generation Chris Budd (Bath), JF Williams (SFU)
Discrete variational derivative methods: Geometric Integration methods for PDEs Chris Budd (Bath), Takaharu Yaguchi (Tokyo), Daisuke Furihata (Osaka)
Geometric Integration of Differential Equations 1. Introduction and ODEs Chris Budd.
Geometric Integration of Differential Equations 2. Adaptivity, scaling and PDEs Chris Budd.
School of something FACULTY OF OTHER School of Computing An Adaptive Numerical Method for Multi- Scale Problems Arising in Phase-field Modelling Peter.
Principal Component Analysis Based on L1-Norm Maximization Nojun Kwak IEEE Transactions on Pattern Analysis and Machine Intelligence, 2008.
Level set based Image Segmentation Hang Xiao Jan12, 2013.
Chapter 8 Elliptic Equation.
P. Venkataraman Mechanical Engineering P. Venkataraman Rochester Institute of Technology DETC2013 – 12269: Continuous Solution for Boundary Value Problems.
MULTISCALE COMPUTATIONAL METHODS Achi Brandt The Weizmann Institute of Science UCLA
Geometric (Classical) MultiGrid. Hierarchy of graphs Apply grids in all scales: 2x2, 4x4, …, n 1/2 xn 1/2 Coarsening Interpolate and relax Solve the large.
Error Analysis for Material Point Method and a case study from Gas Dynamics Le-Thuy Tran and Martin Berzins Thanks to DOE for funding from
1 Internal Seminar, November 14 th Effects of non conformal mesh on LES S. Rolfo The University of Manchester, M60 1QD, UK School of Mechanical,
Motion Analysis (contd.) Slides are from RPI Registration Class.
High-Order Adaptive and Parallel Discontinuous Galerkin Methods for Hyperbolic Conservation Laws J. E. Flaherty, L. Krivodonova, J. F. Remacle, and M.
1 MECH 221 FLUID MECHANICS (Fall 06/07) Tutorial 6 FLUID KINETMATICS.
Network and Grid Computing –Modeling, Algorithms, and Software Mo Mu Joint work with Xiao Hong Zhu, Falcon Siu.
Some Geometric integration methods for PDEs Chris Budd (Bath)
1/36 Gridless Method for Solving Moving Boundary Problems Wang Hong Department of Mathematical Information Technology University of Jyväskyklä
Dynamical Systems Tools for Ocean Studies: Chaotic Advection versus Turbulence Reza Malek-Madani.
Multiscale Methods of Data Assimilation Achi Brandt The Weizmann Institute of Science UCLA INRODUCTION EXAMPLE FOR INVERSE PROBLEMS.
Module on Computational Astrophysics Jim Stone Department of Astrophysical Sciences 125 Peyton Hall : ph :
Numerical methods for PDEs PDEs are mathematical models for –Physical Phenomena Heat transfer Wave motion.
SOLUTION FOR THE BOUNDARY LAYER ON A FLAT PLATE
Hybrid WENO-FD and RKDG Method for Hyperbolic Conservation Laws
Section 2: Finite Element Analysis Theory
A COMPARISON OF SOME SHALLOW WATER TEST CASES IN HOMME USING NUMERICALLY AND ANALYTICALLY COMPUTED TRANSFORMATIONS Numerical Approximations of Coordinate.
A Look at High-Order Finite- Volume Schemes for Simulating Atmospheric Flows Paul Ullrich University of Michigan.
Differential Geometry of the Semi-Geostrophic and Euler Equations Ian Roulstone University of Surrey.
Algorithms for a large sparse nonlinear eigenvalue problem Yusaku Yamamoto Dept. of Computational Science & Engineering Nagoya University.
MA5251: Spectral Methods & Applications
Computational Methods for Design Lecture 4 – Introduction to Sensitivities John A. Burns C enter for O ptimal D esign A nd C ontrol I nterdisciplinary.
A conservative FE-discretisation of the Navier-Stokes equation JASS 2005, St. Petersburg Thomas Satzger.
C GasparAdvances in Numerical Algorithms, Graz, Fast interpolation techniques and meshless methods Csaba Gáspár Széchenyi István University, Department.
Discontinuous Galerkin Methods Li, Yang FerienAkademie 2008.
Discontinuous Galerkin Methods for Solving Euler Equations Andrey Andreyev Advisor: James Baeder Mid.
The Calculus of Variations! A Primer by Chris Wojtan.
7. Introduction to the numerical integration of PDE. As an example, we consider the following PDE with one variable; Finite difference method is one of.
1 Complex Images k’k’ k”k” k0k0 -k0-k0 branch cut   k 0 pole C1C1 C0C0 from the Sommerfeld identity, the complex exponentials must be a function.
Target Functional-based Adaptation > Daniel Vollmer > Folie 1 Target Functional-based Adaptation Daniel Vollmer TAU Grid Adaptation Workshop.
Introduction to Level Set Methods: Part II
Grid or Mesh or Adaptive Procedure Fluid Dynamics is Made for This And this was developed in the Early 1970s.
Akram Bitar and Larry Manevitz Department of Computer Science
Weak Solutions of Kinematic Aggregation Equations Andrea Bertozzi Department of Mathematics UCLA Thanks to Thomas Laurent for contributing to the slides.
Quality of model and Error Analysis in Variational Data Assimilation François-Xavier LE DIMET Victor SHUTYAEV Université Joseph Fourier+INRIA Projet IDOPT,
MULTISCALE COMPUTATIONAL METHODS Achi Brandt The Weizmann Institute of Science UCLA
1 Application of Weighted Essentially Non-Oscillatory Limiting to Compact Interpolation Schemes Debojyoti Ghosh Graduate Research Assistant Alfred Gessow.
Application of Finite Element Methods to Photonic Crystal Modelling B.P. Hiett D. Beckett, S.J. Cox, J. Generowicz, M. Molinari, K.S. Thomas High Performance.
Using Neumann Series to Solve Inverse Problems in Imaging Christopher Kumar Anand.
Application of Compact- Reconstruction WENO Schemes to the Navier-Stokes Equations Alfred Gessow Rotorcraft Center Aerospace Engineering Department University.
Amir Yavariabdi Introduction to the Calculus of Variations and Optical Flow.
Bounded Solutions of Kinematic Aggregation Equations Andrea Bertozzi Department of Mathematics, UCLA Thanks to support from ARO, NSF, and ONR and to contributions.
Computational Fluid Dynamics Lecture II Numerical Methods and Criteria for CFD Dr. Ugur GUVEN Professor of Aerospace Engineering.
I- Computational Fluid Dynamics (CFD-I)
Le-Thuy Tran and Martin Berzins
Soft Computing Applied to Finite Element Tasks
Convergence in Computational Science
Objective Numerical methods Finite volume.
topic16_cylinder_flow_relaxation
High Accuracy Schemes for Inviscid Traffic Models
Comparison of CFEM and DG methods
Nonlocally Related PDE Systems
Sarah Dance DARC/University of Reading
CASA Day 9 May, 2006.
Akram Bitar and Larry Manevitz Department of Computer Science
Presentation transcript:

Monge Ampere Based Moving Mesh Methods for Weather Forecasting Chris Budd (Bath) Chiara Piccolo, Mike Cullen (Met Office) Emily Walsh (Bath,SFU), Phil Browne (Bath)

In NWP often need to locally refine a mesh to capture small scales (i) For accurate numerical computation eg. Storms (ii) For accurate assimilation of observed data to avoid spurious correlations r-adaptive moving mesh methods aim to do this by the ‘optimal placement’ of a fixed number of mesh points which move during the computation There are many advantages with r-adaptivity Constant data structures and mesh topology Ease of coupling to CFD solvers Capturing dynamical physics of the solution eg. Lagrangian behaviour, symmetries, conservation laws, self-similarity Global control of mesh regularity Traditional problems with r-adaptivity: Mesh tangling, mesh skewness, implementation in 3D

Talk will describe an r-adaptive moving mesh method for doing this based upon geometrical ideas: optimal transport theory and Monge Ampere equations Will demonstrate that this leads to a fast, robust and effective moving mesh method for adaptive NWP Which avoids mesh tangling and extreme skewness Works well in 2D and 3D Can be easily coupled to CFD solvers and DA codes H. Ceniceros and T Hou, J. Comp Phys (2001) CJB and J.F. Williams, Journal of Physics A, (2006) G.Delzano, L.Chacon, J. Finn, Y. Chung & G.Lapenta, J. Comp Phys (2008) CJB and J.F. Williams, SIAM J. Sci. Comp (2009) CJB, W-Z Huang and R.D. Russell, ACTA Numerica (2009) C.Kuhnlein, P.Smolarkiewicz and A.Dornbrack, J. Comp. Phys (2012) CJB, M.Cullen and E.Walsh, (2012) submitted

Geometrical strategy Have a computational domain Physical domain Identify a map

Determine F by Equidistribution Introduce a positive unit measure M(x,y,z,t) in the physical domain which controls the mesh density A: unit set in computational domain F(A,t) : image set Equidistribute integral with respect to this measure Equidistribution minimises the maximum value of this integral

Differentiate to give: Basic, nonlinear, equidistribution mesh equation Choose M to concentrate points where needed without depleting points elsewhere: error/physics/scaling Note: All meshes equidistribute some function M [Radon-Nicodym]

Choice of the monitor function M(X) Physical reasoning eg. Potential vorticity, arc-length, curvature, A-priori mathematical arguments eg. Scaling, symmetry, error estimates (interpolation) A-posteriori error estimates (primal-dual) eg. Residuals, super-convergence Data correlation estimates

Mesh construction Problem: in two/three -dimensions equidistribution does NOT uniquely define a mesh! All have the same area Need additional conditions to define the mesh: GCL, Harmonic Maps, Tensor product equidistribution

F Optimally transported meshes Want to avoid mesh tangling and long thin regions Argue: A good mesh for solving a pde is often one which is as close as possible to a uniform mesh

Monge-Kantorovich optimal transport problem Minimise Subject to Also used in image registration,meteorology ….. Optimal transport helps to prevent small angles, reduce mesh skewness and prevent mesh tangling.

Key result which makes everything work!!!!! Theorem: [Brenier] (a)There exists a unique optimally transported mesh (b) For such a mesh the map F is the gradient of a convex function P : Scalar mesh potential Map F is a Legendre Transformation

Monge-Ampere equation: fully nonlinear elliptic PDE It follows immediately in 2D that Hence the mesh equidistribution equation becomes (MA) Global and local properties of the mesh can be deduced from the regularity of the solution of the MA equation

Basic idea: Solve (MA) for P with appropriate (Neumann or Periodic) boundary conditions Good news: Equation has a unique solution Bad news: Equation is very hard to solve Good news: We don’t need to solve it exactly, and can instead use parabolic relaxation Q P Alternatively: Use Newton [Delzano et. al.] Use a variational approach [van Lent]

Relaxation in n Dimensions: MMPDE [Russell] Spatial smoothing [Hou] (Invert operator using a spectral method) Averaged monitor Ensures right- hand-side scales like Q in nD to give global existence Parabolic Monge-Ampere equation (PMA)

Solution Procedure If M is prescribed then the PMA equation can be discretised in the computational domain and solved using an explicit forward Euler method. This is a fast procedure: 5 mins for a 3D meteorological mesh Applications Image processing and image registration Mesh generation for meteorological Data assimilation [Browne, CJB, Cullen, Piccolo] Take M to be a scaled approximation of the Potential Vorticity of the 3D flow

Because PMA is based on a geometric approach, it has a set of useful regularity properties 1. System invariant under translations, rotations, periodicity

Lemma 1: CJB, EJW [2012] The solutions of the MA equation exactly align with global linear features Alignment follows from a close coupling between the local structure of the solution and the global structure. This is NOT a property of other mesh generation methods

2. Convergence properties of PMA Lemma 2: [CJB,Williams 2006] (a) If M(x,t) = M(x) then PMA admits the solution (b) This solution is locally stable/convergent and the mesh evolves to an equidistributed state Proof: Follows from the convexity of P which ensures that PMA behaves locally like the heat equation This result is important when initializing a mesh to the initial data for a PDE

Lemma 3: [CJB,JFW 2006] If M(x,t) is slowly varying then the grid given by PMA is epsilon close to that given by solving the Monge Ampere equation. Lemma 4: [CJB,JFW 2006] The mapping is 1-1 and convex for all times: No mesh tangling or points crossing the boundary

Lemma 5: [B,W 2005] Multi-scale property If there is a natural length scale L(t) then for careful choices of M the PMA inherits this scaling and admits solutions of the form Extremely useful properties when working with PDEs which have natural scaling laws 4. For appropriate choices of M the coupled system is scale-invariant Lemma 6: [B,W 2009] Multi-scale regularity The resulting scaled meshes have the same local regularity as a uniform mesh

Coupling to a PDE More usually M is a function of the solution of a PDE and we must couple mesh generation to a CFD calculation Carefully discretise PDE & PMA in the computational domain:

Solve the coupled mesh and PDE system either Method One As one large system (stiff!) Velocity based Lagrangian approach. Works well for parabolic blow-up type problems (JFW) Advantages: No need for interpolation Mesh and solution become one large dynamical system and can be studied as such Disadvantage: Equations are very hard to solve especially when the PDE is strongly advective

Method 2: More suitable for metorology By alternating between evolving the PDE and mesh 1. Time march the PDE on given mesh 2. Evolve to new mesh by solving PMA to steady state 3. Interpolate PDE solution onto the new mesh 4. Repeat from 1. Advantages: Very flexible, can build in conservation laws and incompressibility at stage 2 Disadvantage: Interpolation is difficult and expensive

Example 1: Parabolic finite time blow-up M is locally scale-invariant, concentrates points in the peak and keeps 50% of the points away from the peak Length scale

Solve using Method 1 Mesh: Solution: x y 10

Solution in the computational domain

Example 2: Tropical storm formation (Eady problem [Cullen])

Conjectured discontinuity singularity after t = 6.3 days

Solve using Method 2: Finite difference method on a 60x60 Charney- Phillips mesh with pressure correction 2nd order interpolation [Tang] with conservation law and geostrophic balancing Update solution initially every 10 mins Update mesh every hour Reduce time step as singularity is approached M : Maximum eigenvalue of Potential Vorticity R

Moving mesh gives good solution profiles

Refining uniform mesh leads to solution oscillations

Mesh profile

Local mesh regularity is good

Mesh Skewness is very good

Conclusions Optimal transport is a natural way to determine moving meshes in dimensions greater than one It can be implemented using a fast relaxation process by using the PMA algorithm Method works well for a variety of problems, and there are rigorous estimates about its behaviour Looking good on meteorological problems Lots of work to do to compare its effectiveness with tried and tested AMR procedures on standard test problems Maybe a good project for the INI programme?