{"title":"On the Convergence of Monolithic Multigrid for Implicit Runge–Kutta Time Stepping of Finite Element Problems","authors":"Robert C. Kirby","doi":"10.1137/23m1569344","DOIUrl":null,"url":null,"abstract":"SIAM Journal on Scientific Computing, Ahead of Print. <br/> Abstract. Finite element discretizations of time-dependent problems also require effective time-stepping schemes. While implicit Runge–Kutta methods provide favorable accuracy and stability properties, they give rise to large and complicated systems of equations to solve for each time step. These algebraic systems couple all Runge–Kutta stages together, giving a much larger system than for single-stage methods. We consider an approach to these systems based on monolithic smoothing. If stage-coupled smoothers possess a certain kind of structure, then the question of convergence of a two-grid or multigrid iteration reduces to convergence of a related strategy for a single-stage system with a complex-valued time step. In addition to providing a general theoretical approach to the convergence of monolithic multigrid methods, several numerical examples are given to illustrate the theory and show how higher-order Runge–Kutta methods can be made effective in practice. Reproducibility of computational results. This paper has been awarded the “SIAM Reproducibility Badge: Code and Data Available” as a recognition that the authors have followed reproducibility principles valued by SISC and the scientific computing community. Code and data that allow readers to reproduce the results in this paper are available at https://github.com/rckirby/CodeForMMGPaper as well as in the supplemental material.","PeriodicalId":49526,"journal":{"name":"SIAM Journal on Scientific Computing","volume":"112 1","pages":""},"PeriodicalIF":2.6000,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIAM Journal on Scientific Computing","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1137/23m1569344","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
SIAM Journal on Scientific Computing, Ahead of Print. Abstract. Finite element discretizations of time-dependent problems also require effective time-stepping schemes. While implicit Runge–Kutta methods provide favorable accuracy and stability properties, they give rise to large and complicated systems of equations to solve for each time step. These algebraic systems couple all Runge–Kutta stages together, giving a much larger system than for single-stage methods. We consider an approach to these systems based on monolithic smoothing. If stage-coupled smoothers possess a certain kind of structure, then the question of convergence of a two-grid or multigrid iteration reduces to convergence of a related strategy for a single-stage system with a complex-valued time step. In addition to providing a general theoretical approach to the convergence of monolithic multigrid methods, several numerical examples are given to illustrate the theory and show how higher-order Runge–Kutta methods can be made effective in practice. Reproducibility of computational results. This paper has been awarded the “SIAM Reproducibility Badge: Code and Data Available” as a recognition that the authors have followed reproducibility principles valued by SISC and the scientific computing community. Code and data that allow readers to reproduce the results in this paper are available at https://github.com/rckirby/CodeForMMGPaper as well as in the supplemental material.
期刊介绍:
The purpose of SIAM Journal on Scientific Computing (SISC) is to advance computational methods for solving scientific and engineering problems.
SISC papers are classified into three categories:
1. Methods and Algorithms for Scientific Computing: Papers in this category may include theoretical analysis, provided that the relevance to applications in science and engineering is demonstrated. They should contain meaningful computational results and theoretical results or strong heuristics supporting the performance of new algorithms.
2. Computational Methods in Science and Engineering: Papers in this section will typically describe novel methodologies for solving a specific problem in computational science or engineering. They should contain enough information about the application to orient other computational scientists but should omit details of interest mainly to the applications specialist.
3. Software and High-Performance Computing: Papers in this category should concern the novel design and development of computational methods and high-quality software, parallel algorithms, high-performance computing issues, new architectures, data analysis, or visualization. The primary focus should be on computational methods that have potentially large impact for an important class of scientific or engineering problems.