Auxiliary Space Preconditioners for C0 Finite Element Approximation of Hamilton-Jacobi-Bellman Equations with Cordes Coefficients

In the past decade, there are many works on the finite element methods for the fully nonlinear Hamilton–Jacobi–Bellman (HJB) equations with Cordes condition. The linearised systems have large condition numbers, which depend not only on the mesh size, but also on the parameters in the Cordes condition. This paper is concerned with the design and analysis of auxiliary space preconditioners for the linearised systems of C0 finite element discretization of HJB equations [Calcolo, 58, 2021]. Based on the stable decomposition on the auxiliary spaces, we propose both the additive and multiplicative preconditoners which converge uniformly in the sense that the resulting condition number is independent of both the number of degrees of freedom and the parameter λ in Cordes condition. Numerical experiments are carried out to illustrate the efficiency of the proposed preconditioners.

[1]  P. Peisker,et al.  Iterative solution methods for plate bending problems: multigrid and preconditioned cg algorithm , 1990 .

[2]  S. Vandewalle,et al.  Schwarz Methods: To Symmetrize or Not to Symmetrize , 1996, 1001.1362.

[3]  P. Peisker,et al.  On the numerical solution of the first biharmonic equation , 1988 .

[4]  Panayot S. Vassilevski,et al.  Computational scales of Sobolev norms with application to preconditioning , 2000, Math. Comput..

[5]  Susanne C. Brenner,et al.  Adaptive $C^0$ interior penalty methods for Hamilton-Jacobi-Bellman equations with Cordes coefficients. , 2019, 1911.05407.

[6]  Artem Napov,et al.  Further comparison of additive and multiplicative coarse grid correction , 2013 .

[7]  Endre Süli,et al.  Discontinuous Galerkin Finite Element Approximation of Hamilton-Jacobi-Bellman Equations with Cordes Coefficients , 2014, SIAM J. Numer. Anal..

[8]  H. Elman.  Iterative methods for large, sparse, nonsymmetric systems of linear equations , 1982 .

[9]  Antonino Maugeri,et al.  Elliptic and Parabolic Equations with Discontinuous Coefficients , 2000 .

[10]  J. Pasciak,et al.  Parallel multilevel preconditioners , 1990 .

[11]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[12]  Shuonan Wu.  $C^0$ finite element approximations of linear elliptic equations in non-divergence form and Hamilton-Jacobi-Bellman equations with Cordes coefficients , 2019, ArXiv.

[13]  Susanne C. Brenner,et al.  Convergence of nonconforming multigrid methods without full elliptic regularity , 1999, Math. Comput..

[14]  Xuejun Zhang,et al.  Multilevel Schwarz Methods for the Biharmonic Dirichlet Problem , 1994, SIAM J. Sci. Comput..

[15]  Susanne C. Brenner,et al.  An optimal-order nonconforming multigrid method for the Biharmonic equation , 1989 .

[16]  Rob P. Stevenson.  An analysis of nonconforming multi-grid methods, leading to an improved method for the Morley element , 2003, Math. Comput..

[17]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[18]  Lu Wang,et al.  A nearly optimal multigrid method for general unstructured grids , 2016, Numerische Mathematik.

[19]  Daniel J. Arrigo,et al.  An Introduction to Partial Differential Equations , 2017, An Introduction to Partial Differential Equations.

[20]  Jinchao Xu,et al.  Optimal Solvers for Fourth-Order PDEs Discretized on Unstructured Grids , 2014, SIAM J. Numer. Anal..

[21]  Jun Hu,et al.  Nodal finite element de Rham complexes , 2018, Numerische Mathematik.

[22]  Susanne C. Brenner,et al.  A two-level additive Schwarz preconditioner for nonconforming plate elements , 1996 .

[23]  Endre Süli,et al.  Mixed Finite Element Approximation of the Hamilton-Jacobi-Bellman Equation with Cordes Coefficients , 2019, SIAM J. Numer. Anal..

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

[25]  Endre Süli,et al.  Discontinuous Galerkin finite element methods for time-dependent Hamilton–Jacobi–Bellman equations with Cordes coefficients , 2014, Numerische Mathematik.

[26]  Ellya L. Kawecki.  A DGFEM for nondivergence form elliptic equations with Cordes coefficients on curved domains , 2017, Numerical Methods for Partial Differential Equations.

[27]  Endre Süli,et al.  Discontinuous Galerkin Finite Element Approximation of Nondivergence Form Elliptic Equations with Cordès Coefficients , 2012, SIAM J. Numer. Anal..

[28]  Ludmil T. Zikatanov,et al.  Algebraic multigrid methods * , 2016, Acta Numerica.

[29]  R. Glowinski,et al.  Numerical methods for the first biharmonic equation and for the two-dimensional Stokes problem , 1977 .

[30]  Michael Neilan,et al.  Discrete and conforming smooth de Rham complexes in three dimensions , 2015, Math. Comput..

[31]  Ellya L. Kawecki,et al.  Unified analysis of discontinuous Galerkin and C0-interior penalty finite element methods for Hamilton-Jacobi-Bellman and Isaacs equations , 2020, ArXiv.

[32]  Ellya L. Kawecki,et al.  Convergence of Adaptive Discontinuous Galerkin and C0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C^0$$\end{documen , 2020, Foundations of Computational Mathematics.

[33]  Jinchao Xu,et al.  The auxiliary space method and optimal multigrid preconditioning techniques for unstructured grids , 1996, Computing.

[34]  Iain Smears,et al.  Nonoverlapping Domain Decomposition Preconditioners for Discontinuous Galerkin Approximations of Hamilton–Jacobi–Bellman Equations , 2014, J. Sci. Comput..

[35]  Carsten Carstensen,et al.  Hierarchical Argyris Finite Element Method for Adaptive and Multigrid Algorithms , 2021, Comput. Methods Appl. Math..

[36]  Michael Neilan,et al.  Discrete Miranda-Talenti estimates and applications to linear and nonlinear PDEs , 2019, J. Comput. Appl. Math..

[37]  W. Fleming,et al.  Controlled Markov processes and viscosity solutions , 1992 .

[38]  Dietrich Braess,et al.  A conjugate gradient method and a multigrid algorithm for Morley s finite element approximation of the biharmonic equation , 1987 .