{"title":"由耦合Stokes-Darcy模型引起的双鞍点系统的不精确块三角形预调节器","authors":"Siqi Liang, Na Huang","doi":"10.1016/j.cam.2025.117079","DOIUrl":null,"url":null,"abstract":"<div><div>The interaction between fluids in porous media and free flow regions is significant in various fields such as geology, environmental engineering, and petroleum engineering. This problem can be modeled using a coupled system of Stokes equations and Darcy’s law. Finite element discretization of the coupled Stokes–Darcy model results in a double saddle-point system. In this work, we propose a class of inexact block three-by-three triangular preconditioners for these discretized saddle-point systems by fully utilizing their special structure. When used to precondition Krylov subspace methods, each step requires solving only three simple symmetric positive definite linear subsystems. Additionally, we derive explicit and sharp spectral bounds for the preconditioned matrices and show that all eigenvalues have positive real parts. Numerical experiments demonstrate the effectiveness and robustness of our preconditioners in solving the coupled Stokes–Darcy model.</div></div>","PeriodicalId":50226,"journal":{"name":"Journal of Computational and Applied Mathematics","volume":"476 ","pages":"Article 117079"},"PeriodicalIF":2.6000,"publicationDate":"2025-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Inexact block triangular preconditioners for double saddle-point systems arising from coupled Stokes–Darcy model\",\"authors\":\"Siqi Liang, Na Huang\",\"doi\":\"10.1016/j.cam.2025.117079\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The interaction between fluids in porous media and free flow regions is significant in various fields such as geology, environmental engineering, and petroleum engineering. This problem can be modeled using a coupled system of Stokes equations and Darcy’s law. Finite element discretization of the coupled Stokes–Darcy model results in a double saddle-point system. In this work, we propose a class of inexact block three-by-three triangular preconditioners for these discretized saddle-point systems by fully utilizing their special structure. When used to precondition Krylov subspace methods, each step requires solving only three simple symmetric positive definite linear subsystems. Additionally, we derive explicit and sharp spectral bounds for the preconditioned matrices and show that all eigenvalues have positive real parts. Numerical experiments demonstrate the effectiveness and robustness of our preconditioners in solving the coupled Stokes–Darcy model.</div></div>\",\"PeriodicalId\":50226,\"journal\":{\"name\":\"Journal of Computational and Applied Mathematics\",\"volume\":\"476 \",\"pages\":\"Article 117079\"},\"PeriodicalIF\":2.6000,\"publicationDate\":\"2025-09-23\",\"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/S037704272500593X\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computational and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S037704272500593X","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
Inexact block triangular preconditioners for double saddle-point systems arising from coupled Stokes–Darcy model
The interaction between fluids in porous media and free flow regions is significant in various fields such as geology, environmental engineering, and petroleum engineering. This problem can be modeled using a coupled system of Stokes equations and Darcy’s law. Finite element discretization of the coupled Stokes–Darcy model results in a double saddle-point system. In this work, we propose a class of inexact block three-by-three triangular preconditioners for these discretized saddle-point systems by fully utilizing their special structure. When used to precondition Krylov subspace methods, each step requires solving only three simple symmetric positive definite linear subsystems. Additionally, we derive explicit and sharp spectral bounds for the preconditioned matrices and show that all eigenvalues have positive real parts. Numerical experiments demonstrate the effectiveness and robustness of our preconditioners in solving the coupled Stokes–Darcy model.
期刊介绍:
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.