{"title":"An efficient Galerkin method for problems with physically realistic boundary conditions","authors":"Olga Podvigina","doi":"10.1016/j.cpc.2024.109482","DOIUrl":null,"url":null,"abstract":"<div><div>The Galerkin method is often employed for numerical integration of evolutionary equations, such as the Navier–Stokes equation or the magnetic induction equation. Application of the method requires solving at each time step a linear equation of the form <span><math><mi>P</mi><mo>(</mo><mi>A</mi><mi>v</mi><mo>−</mo><mi>f</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span>, where <em>v</em> is an element of a finite-dimensional space <span><math><mi>V</mi></math></span> with a basis satisfying the boundary conditions. We propose an algorithm giving an opportunity to reduce the computational cost for such a problem. Suppose there exists a space <span><math><mi>W</mi></math></span> that contains <span><math><mi>V</mi></math></span>, the difference between the dimensions of <span><math><mi>W</mi></math></span> and <span><math><mi>V</mi></math></span> is small compared to the dimension of <span><math><mi>V</mi></math></span>, and solving the problem <span><math><mi>P</mi><mo>(</mo><mi>A</mi><mi>w</mi><mo>−</mo><mi>f</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span>, where <em>w</em> is an element of <span><math><mi>W</mi></math></span>, requires less operations than solving the original problem. The solution to <span><math><mi>P</mi><mo>(</mo><mi>A</mi><mi>v</mi><mo>−</mo><mi>f</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span> is found in two steps: we solve the problem <span><math><mi>P</mi><mo>(</mo><mi>A</mi><mi>w</mi><mo>−</mo><mi>f</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span> in <span><math><mi>W</mi></math></span> and compute a correction <span><math><mi>q</mi><mo>=</mo><mi>v</mi><mo>−</mo><mi>w</mi></math></span> that belongs to the kernel of <em>PA</em>, which is a complement to <span><math><mi>V</mi></math></span> in <span><math><mi>W</mi></math></span>; <em>q</em> is computed using a basis in the orthogonal complement to <span><math><mi>V</mi></math></span> in <span><math><mi>W</mi></math></span>. We discuss the algorithm both in the general form and its instance when <span><math><mi>W</mi></math></span> is spanned by Chebyshev polynomials.</div></div>","PeriodicalId":285,"journal":{"name":"Computer Physics Communications","volume":"309 ","pages":"Article 109482"},"PeriodicalIF":7.2000,"publicationDate":"2024-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Physics Communications","FirstCategoryId":"101","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0010465524004053","RegionNum":2,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0
Abstract
The Galerkin method is often employed for numerical integration of evolutionary equations, such as the Navier–Stokes equation or the magnetic induction equation. Application of the method requires solving at each time step a linear equation of the form , where v is an element of a finite-dimensional space with a basis satisfying the boundary conditions. We propose an algorithm giving an opportunity to reduce the computational cost for such a problem. Suppose there exists a space that contains , the difference between the dimensions of and is small compared to the dimension of , and solving the problem , where w is an element of , requires less operations than solving the original problem. The solution to is found in two steps: we solve the problem in and compute a correction that belongs to the kernel of PA, which is a complement to in ; q is computed using a basis in the orthogonal complement to in . We discuss the algorithm both in the general form and its instance when is spanned by Chebyshev polynomials.
期刊介绍:
The focus of CPC is on contemporary computational methods and techniques and their implementation, the effectiveness of which will normally be evidenced by the author(s) within the context of a substantive problem in physics. Within this setting CPC publishes two types of paper.
Computer Programs in Physics (CPiP)
These papers describe significant computer programs to be archived in the CPC Program Library which is held in the Mendeley Data repository. The submitted software must be covered by an approved open source licence. Papers and associated computer programs that address a problem of contemporary interest in physics that cannot be solved by current software are particularly encouraged.
Computational Physics Papers (CP)
These are research papers in, but are not limited to, the following themes across computational physics and related disciplines.
mathematical and numerical methods and algorithms;
computational models including those associated with the design, control and analysis of experiments; and
algebraic computation.
Each will normally include software implementation and performance details. The software implementation should, ideally, be available via GitHub, Zenodo or an institutional repository.In addition, research papers on the impact of advanced computer architecture and special purpose computers on computing in the physical sciences and software topics related to, and of importance in, the physical sciences may be considered.