Computational & Applied Math Seminar

Recent Progress on Q^k Spectral Element Method: Accuracy, Monotonicity and Applications

  • 演讲者:张翔雄(普渡大学)

  • 时间:2022-07-26 09:00-10:00

  • 地点:Lecture 1: July 26, 9:00am-10:00am ZOOM ID: 970 4944 4427 PW: 666666 Lecture 2: July 28, 9:00am-10:00am ZOOM ID: 993 7538 9588 PW: 666666

Time

Lecture 1: July 26, 9:00am-10:00am  ZOOM ID: 970 4944 4427     PW: 666666

Lecture 2: July 28, 9:00am-10:00am  ZOOM ID: 993 7538 9588      PW: 666666


Abstract

In the literature, spectral element methods usually refer to finite element methods with high order polynomial basis. The Q^k spectral element method has been a popular high order method for solving second order PDEs, e.g., wave equations, for more than three decades, obtained by continuous finite element method with tenor product polynomial of degree k and with at least (k+1)-point Gauss-Lobatto quadrature. In this talk, I will present some brand new results of this classical scheme, including its accuracy, monotonicity (stability), and examples of using monotonicity to construct high order accurate bound (or positivity) preserving schemes in various applications including the Allen-Cahn equation coupled with an incompressible velocity field, Keller-Segel equation for chemotaxis, and nonlinear eigenvalue problem for Gross–Pitaevskii equation.

(1) Accuracy: when the least accurate (k+1)-point Gauss-Lobatto quadrature is used, the spectral element method is also a finite difference (FD) scheme, and this FD scheme can sometimes be (k+2)-th order accurate for k>=2. This has been observed in practice but never proven before as rigorous a priori error estimates. We are able to prove it for linear elliptic, wave, parabolic and Schrödinger equations for Dirichlet boundary conditions. For Neumann boundary conditions, (k+2)-th order can be proven if there is no mixed second order derivative. Otherwise, only (k+3/2)-th order can be proven and some order loss is indeed observed in numerical tests. The accuracy result also applies to spectral element method on any curvilinear mesh that can be smoothly mapped to a rectangular mesh, e.g., solving a wave equation on an annulus region with a curvilinear mesh generated by polar coordinates.

(2) Monotonicity: consider solving the Poisson equation, then a scheme is called monotone if the inverse of the stiffness matrix is entrywise non-negative. It is well known that second order centered difference or P1 finite element method can form an M-matrix thus they are monotone, and high order accurate schemes in general are not M-matrices and are not monotone. But there are exceptions. In particular, we have proven that the fourth order accurate FD scheme (Q^2 spectral element method) is a product of two M-matrices thus monotone for a variable coefficient diffusion operator: this is the first time that a high order accurate scheme is proven monotone for a variable coefficient operator. We have also proven the fifth order accurate FD scheme (Q^3 spectral element method) is a product of three M-matrices thus monotone for the Poisson equation: this is the first time that a fifth order accurate discrete Laplacian is proven monotone in two dimensions (all previously known high order monotone discrete Laplacian in 2D are fourth order accurate).


Short bio
Prof. Xiangxiong Zhang got his bachelor's degree in math and applied math from University of Science Technology in China in 2006, and Ph.D. in math from Brown University in 2011. From 2011 to 2014, he was a postdoctoral associate in Imaging and Computing Group, Mathematics Department, MIT. In 2014, he joined Department of Mathematics, Purdue University. He is currently an associate professor of mathematics at Purdue University.   His research interests include numerical PDEs, especially high order accurate schemes, and optimization algorithms, especially nonsmooth convex optimization and Riemannian optimization.