Abstract

Multiphysics or multiscale problems naturally involve coupling at interfaces which are manifolds of lower dimensions. The block-diagonal preconditioning of the related saddle-point systems is among the most efficient approaches for numerically solving large-scale problems in this class. At the operator level, the interface blocks of the preconditioners are fractional Laplacians. At the discrete level, we propose to replace the inverse of the fractional Laplacian with its best uniform rational approximation (BURA). The goal of the paper is to develop a unified framework for analysis of the new class of preconditioned iterative methods. As a final result, we prove that the proposed preconditioners have optimal computational complexity O(N), where N is the number of unknowns (degrees of freedom) of the coupled discrete problem. The main theoretical contribution is the condition number estimates of the BURA-based preconditioners. It is important to note that the obtained estimates are completely analogous for both positive and negative fractional powers. At the end, the analysis of the behavior of the relative condition numbers is aimed at characterizing the practical requirements for minimal BURA orders for the considered Darcy–Stokes and 3D–1D examples of coupled problems.

Highlights

  • This study is devoted to the development of computationally efficient methods for numerically solving multiphysics and multiscale problems

  • Let us assume that proper finite difference method (FDM) or finite element method (FEM) is applied for numerical solution of the coupled problems (4) and (7)

  • (A2) Solvers of optimal computational complexity are applied for the systems with sparse symmetric and positive definite (SPD) matrices which appear in the implementation of the best uniform rational approximation (BURA) preconditioners

Read more

Summary

Introduction

This study is devoted to the development of computationally efficient methods for numerically solving multiphysics and multiscale problems. A∆Γ stands for the matrix corresponding to the discretization of −∆Γ In both cases, numerical computations with a fractional power in the unit interval (0, 1) of an SPD matrix are involved—either via solving a linear system of equations or via a matrix-vector multiplication. As correctly noted in [5], a disadvantage of the method introduced in 2018 in [11] was that the accuracy depended on the condition number of Mathematics 2022, 10, 780 the matrix A This drawback has been overcome in the improved BURA approximation developed in [10]; see the survey paper [8]. On one hand, they illustrate the accuracy of the derived theoretical estimates, while on the other, they provide an additional practical insight for the efficient usage of BURA preconditioners with a small degree k.

Monolithically Coupled Multiphysics Problems
Example 1
Example 2
Implementation of CD−S and C3−1: The Key Question
The BURA Method
Bura Preconditioning
Bura Preconditioner CαB,Uk RA: α ∈ (0, 1)
Bura Preconditioner CβB,Uk RA: β ∈ (−1, 0)
Preconditioning of the Coupled Problems
Preconditioner CBDU−RSA
Preconditioner C3B−U1RA
Behavior of the Condition Numbers of the BURA-Based Preconditioners
Comparative Summary
Concluding Remarks
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call