{"title":"HTL-WASI preconditioner for finite element discretization of complex ADR equation and its application","authors":"Ronghua Yang , Junxian Wang , Shi Shu","doi":"10.1016/j.cam.2025.116726","DOIUrl":null,"url":null,"abstract":"<div><div>The convection diffusion reaction (ADR) equation is widely used in engineering applications. In this paper, we focus on a complex ADR equation arising from Helmholtz equation with impedance boundary conditions, prove the coerceiveness and boundedness of the sesquilinear functional and discuss the fast solver of the discretization. Firstly, we design a Weighted Additive Schwarz with Impedance (WASI) preconditioner, in order to overcome the dependence of the WASI preconditioner on the number of subdomains and the overlapping width, an ideal coarse space is designed. Although it can be proved that the corresponding hybrid two-level preconditioner is the exact inverse of the ADR coefficient matrix, the dimension of this coarse space is too big. In order to overcome this deficiency, a smaller dimensional coarse space was constructed by introducing local generalized eigenvalue problems (GEP) on each subdomain, and the descent rate of the corresponding two-level preconditioned GMRES method was rigorously analyzed which does not depend on mesh size, overlapping width, wave number <span><math><mi>k</mi></math></span>, and the absorption parameter. Since the size of the coarse space is sensitive to <span><math><mi>k</mi></math></span> and the GEP on each subdomain needs to be solved, the computational cost is too high. Therefore, we design an iterative method based on an economical two-level preconditioner, and establish a heuristic convergence theory that is supported by numerical results. Numerical experiments show the robustness of GMRES with the corresponding economical two-level preconditioner(HTLE-WASI-GMRES). Finally, for the Helmholtz finite element discretization, by using the Shifted Laplace technique and ADR equation, we design a novel fast solver combining with HTLE-WASI-GMRES for ADR equation. Numerical experiments have demonstrated the effectiveness of the algorithm.</div></div>","PeriodicalId":50226,"journal":{"name":"Journal of Computational and Applied Mathematics","volume":"470 ","pages":"Article 116726"},"PeriodicalIF":2.1000,"publicationDate":"2025-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0377042725002407","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
The convection diffusion reaction (ADR) equation is widely used in engineering applications. In this paper, we focus on a complex ADR equation arising from Helmholtz equation with impedance boundary conditions, prove the coerceiveness and boundedness of the sesquilinear functional and discuss the fast solver of the discretization. Firstly, we design a Weighted Additive Schwarz with Impedance (WASI) preconditioner, in order to overcome the dependence of the WASI preconditioner on the number of subdomains and the overlapping width, an ideal coarse space is designed. Although it can be proved that the corresponding hybrid two-level preconditioner is the exact inverse of the ADR coefficient matrix, the dimension of this coarse space is too big. In order to overcome this deficiency, a smaller dimensional coarse space was constructed by introducing local generalized eigenvalue problems (GEP) on each subdomain, and the descent rate of the corresponding two-level preconditioned GMRES method was rigorously analyzed which does not depend on mesh size, overlapping width, wave number , and the absorption parameter. Since the size of the coarse space is sensitive to and the GEP on each subdomain needs to be solved, the computational cost is too high. Therefore, we design an iterative method based on an economical two-level preconditioner, and establish a heuristic convergence theory that is supported by numerical results. Numerical experiments show the robustness of GMRES with the corresponding economical two-level preconditioner(HTLE-WASI-GMRES). Finally, for the Helmholtz finite element discretization, by using the Shifted Laplace technique and ADR equation, we design a novel fast solver combining with HTLE-WASI-GMRES for ADR equation. Numerical experiments have demonstrated the effectiveness of the algorithm.
期刊介绍:
The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest.
The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineers.