Abstract

We generalize the construction and analysis of auxiliary space preconditioners to the $n$-dimensional finite element subcomplex of the de Rham complex. These preconditioners are based on a generalization of a decomposition of Sobolev space functions into a regular part and a potential. A discrete version is easily established using the tools of finite element exterior calculus. We then discuss the four-dimensional de Rham complex in detail. By identifying forms in four dimensions with simple proxies, form operations are written out in terms of familiar algebraic operations on matrices, vectors, and scalars. This provides the basis for our implementation of the preconditioners in four dimensions. Extensive numerical experiments illustrate their performance, practical scalability, and parameter robustness, all in accordance with the theory.

Keywords

  1. regular decomposition
  2. HX preconditioner
  3. 4D
  4. skew-symmetric matrix fields
  5. exterior derivative
  6. proxies

MSC codes

  1. 65F08
  2. 65N30

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
R. Andreev, Stability of sparse space-time finite element discretizations of linear parabolic evolution equations, IMA J. Numer. Anal., 33 (2013), pp. 242--260.
2.
D. N. Arnold, R. S. Falk, and R. Winther, Finite element exterior calculus, homological techniques, and applications, Acta Numer., 15 (2006), pp. 1--155.
3.
D. N. Arnold, R. S. Falk, and R. Winther, Geometric decompositions and local bases for spaces of finite element differential forms, Comput. Methods Appl. Mech. Engrg., 198 (2009), pp. 1660--1672.
4.
D. N. Arnold, R. S. Falk, and R. Winther, Finite element exterior calculus: From Hodge theory to numerical stability, Bull. Amer. Math. Soc. (N.S.), 47 (2010), pp. 281--353.
5.
I. Babuška and T. Janik, The h-p version of the finite element method for parabolic equations. I. The p-version in time, Numer. Methods Partial Differential Equations, 5 (1989), pp. 363--399.
6.
I. Babuška and T. Janik, The $h$-$p$ version of the finite element method for parabolic equations. II. The $h$-$p$ version in time, Numer. Methods Partial Differential Equations, 6 (1990), pp. 343--369.
7.
R. E. Bank, P. S. Vassilevski, and L. T. Zikatanov, Arbitrary dimension convection--diffusion schemes for space--time discretizations, J. Comput. Appl. Math., 310 (2017), pp. 19--31.
8.
J. Bey, Simplicial grid refinement: On Freudenthal's algorithm and the optimal number of congruence classes, Numer. Math., 85 (2000), pp. 1--29.
9.
M. Birman and M. Solomyak, Construction in a piecewise smooth domain of a function of the class $H^2$ from the value of the conormal derivative, J. Soviet Math., 49 (1990), pp. 1128---1136.
10.
P. B. Bochev, J. J. Hu, C. M. Siefert, and R. S. Tuminaro, An algebraic multigrid approach based on a compatible gauge reformulation of Maxwell's equations, SIAM J. Sci. Comput., 31 (2008), pp. 557--583, https://doi.org/10.1137/070685932.
11.
P. Bochev, C. Siefert, R. Tuminaro, J. Xu, and Y. Zhu, Compatible gauge approaches for $H({\rm div})$ equations, in CSRI Summer Proceedings, 2007.
12.
J. H. Bramble, J. E. Pasciak, and O. Steinbach, On the stability of the $L^2$ projection in $H^1(\Omega)$, Math. Comp., 71 (2002), pp. 147--156.
13.
S. H. Christiansen and R. Winther, Smoothed projections in finite element exterior calculus, Math. Comp., 77 (2008), pp. 813--829.
14.
M. Costabel and A. McIntosh, On Bogovski\u \i and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains, Math. Z., 265 (2010), pp. 297--320.
15.
L. Demkowicz, J. Gopalakrishnan, S. Nagaraj, and P. Sepulveda, A spacetime DPG method for the Schrödinger equation, SIAM J. Numer. Anal., 55 (2017), pp. 1740--1759, https://doi.org/10.1137/16M1099765.
16.
A. Demlow and A. N. Hirani, A posteriori error estimates for finite element exterior calculus: The de Rham complex, Found. Comput. Math., 14 (2014), pp. 1337--1371.
17.
R. D. Falgout, S. Friedhoff, Tz. V. Kolev, S. P. MacLachlan, and J. B. Schroder, Parallel time integration with multigrid, SIAM J. Sci. Comput., 36 (2014), pp. C635--C661, https://doi.org/10.1137/130944230.
18.
H. Freudenthal, Simplizialzerlegungen von beschränkter Flachheit, Ann. of Math. (2), 43 (1942), pp. 580--582.
19.
J. Gopalakrishnan and P. Sepúlveda, A Spacetime DPG Method for the Wave Equation in Multiple Dimensions, preprint, https://arxiv.org/abs/1709.08268, 2017.
20.
P. Hansbo, Space-time oriented streamline diffusion methods for nonlinear conservation laws in one dimension, Comm. Numer. Methods Engrg., 10 (1994), pp. 203--215.
21.
V. Henson and U. Yang, BoomerAMG: A parallel algebraic multigrid solver and preconditioner, Appl. Numer. Math., 41 (2002), pp. 155--177.
22.
R. Hiptmair, Canonical construction of finite elements, Math. Comp., 68 (1999), pp. 1325--1346.
23.
R. Hiptmair, J. Li, and J. Zhou, Universal extension for Sobolev spaces of differential forms and applications, J. Funct. Anal., 263 (2012), pp. 364--382.
24.
R. Hiptmair and J. Xu, Nodal auxiliary space preconditioning in ${H}({curl})$ and ${H}({div})$ spaces, SIAM J. Numer. Anal., 45 (2007), pp. 2483--2509, https://doi.org/10.1137/060660588.
25.
HYPRE: High Performance Preconditioners, http://www.llnl.gov/CASC/hypre/.
26.
M. Jensen, Discontinuous Galerkin Methods for Friedrichs Systems with Irregular Solutions, Ph.D. thesis, University of Oxford, 2004.
27.
C. Johnson, U. Nävert, and J. Pitkäranta, Finite element methods for linear hyperbolic problems, Comput. Methods Appl. Mech. Engrg., 45 (1984), pp. 285--312.
28.
C. Johnson and J. Saranen, Streamline diffusion methods for the incompressible Euler and Navier-Stokes equations, Math. Comp., 47 (1986), pp. 1--18.
29.
T. V. Kolev and P. S. Vassilevski, Parallel auxiliary space AMG for $H({\rm curl})$ problems, J. Comput. Math., 27 (2009), pp. 604--623.
30.
T. V. Kolev and P. S. Vassilevski, Parallel auxiliary space AMG solver for $H({div})$ problems, SIAM J. Sci. Comput., 34 (2012), pp. A3079--A3098, https://doi.org/10.1137/110859361.
31.
U. Langer, S. Moore, and M. Neumüller, Space-time isogeometric analysis of parabolic evolution equations, Comput. Methods Appl. Mech. Engrg., 306 (2016), pp. 342--363.
32.
S. Larsson and M. Molten, Numerical solution of parabolic problems based on a weak space-time formulation, Comput. Methods Appl. Math., 17 (2017), pp. 65--84.
33.
MFEM: Modular Finite Element Methods Library, http://mfem.org.
34.
D. Mitrea, M. Mitrea, and S. Monniaux, The Poisson problem for the exterior derivative operator with Dirichlet boundary condition in nonsmooth domains, Commun. Pure Appl. Anal., 7 (2008), pp. 1295--1333.
35.
C. Mollet, Stability of Petrov-Galerkin discretizations: Application to the space-time weak formulation for parabolic evolution problems, Comput. Methods Appl. Math., 14 (2014), pp. 231--255.
36.
S. Nepomnyaschikh, Domain Decomposition Methods, in Lectures on Advanced Computational Methods in Mechanics, Radon Ser. Comput. Appl. Math. 1, Walter de Gruyter, Berlin, 2007, pp. 89--159.
37.
M. Neumüller and O. Steinbach, Refinement of flexible space--time finite element meshes and discontinuous Galerkin methods, Comput. Visual. Sci., 14 (2011), pp. 189--205.
38.
M. Neumüller, P. S. Vassilevski, and U. E. Villa, Space-time CFOSLS methods with AMGe upscaling, in Domain Decomposition Methods in Science and Engineering XXIII, C.-O. Lee, X.-C. Cai, D. E. Keyes, H. H. Kim, A. Klawonn, E.-J. Park, and O. B. Widlund, eds., Springer, Cham, 2017, pp. 253--260.
39.
J. E. Pasciak and J. Zhao, Overlapping Schwarz methods in $H(curl)$ on nonconvex domains, East West J. Numer. Anal., 10 (2002), pp. 221--234.
40.
J. Schöberl, A posteriori error estimates for Maxwell equations, Math. Comp., 77 (2008), pp. 633--649.
41.
C. Schwab and R. Stevenson, Space--time adaptive wavelet methods for parabolic evolution problems, Math. Comp., 78 (2009), pp. 1293--1318.
42.
I. Smears, Robust and efficient preconditioners for the discontinuous Galerkin time-stepping method, IMA J. Numer. Anal., 37 (2017), pp. 1961--1985.
43.
O. Steinbach, Space-time finite element methods for parabolic problems, Comput. Methods Appl. Math., 15 (2015), pp. 551--566.
44.
K. Urban and A. T. Patera, An improved error bound for reduced basis approximation of linear parabolic problems, Math. Comp., 83 (2014), pp. 1599--1615.
45.
J. J. W. van der Vegt and H. van der Ven, Space-time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows. I. General formulation, J. Comput. Phys., 182 (2002), pp. 546--585.
46.
H. Whitney, Geometric Integration Theory, Princeton University Press, Princeton, NJ, 1957.
47.
J. Xu, The auxiliary space method and optimal multigrid preconditioning techniques for unstructured grids, Computing, 56 (1996), pp. 215--235.
48.
J. Xu, L. Chen, and R. H. Nochetto, Optimal multilevel methods for $H({grad})$, $H({curl})$, and $H({div})$ systems on graded and unstructured grids, in Multiscale, Nonlinear and Adaptive Approximation, Springer, Berlin, 2009, pp. 599--659.

Information & Authors

Information

Published In

cover image SIAM Journal on Numerical Analysis
SIAM Journal on Numerical Analysis
Pages: 3196 - 3218
ISSN (online): 1095-7170

History

Submitted: 23 October 2017
Accepted: 29 August 2018
Published online: 6 November 2018

Keywords

  1. regular decomposition
  2. HX preconditioner
  3. 4D
  4. skew-symmetric matrix fields
  5. exterior derivative
  6. proxies

MSC codes

  1. 65F08
  2. 65N30

Authors

Affiliations

Funding Information

Air Force Office of Scientific Research https://doi.org/10.13039/100000181 : FA9550-17-1-0090
Army Research Office https://doi.org/10.13039/100000183 : W911NF-15-1-0590, W911NF-16-1-0307
National Science Foundation https://doi.org/10.13039/100000001 : DMS-1624776
U.S. Department of Energy https://doi.org/10.13039/100000015 : DE-AC52-07NA27344

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

View Options

View options

PDF

View PDF

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media