SearcharxivSearch

arXiv subjects

Mingchao Cai

Publications and source records attributed to Mingchao Cai.

At least 19 recordsLinked to original sources

Physics-Informed Neural Networks for Biot's Model via Fixed-Stress Splitting and Energy Natural Gradient Descent

Physics-Informed Neural Networks (PINNs) have recently gained considerable attention as a mesh-free framework for solving partial differential equations. Nevertheless, their performance deteriorates when applied to strongly coupled multiphysics systems, such as Biot's consolidation model, due to severely ill-conditioned optimization landscapes. In this work, we propose a robust PINN-based solver, termed FS-ENGD-PINN, which synergistically integrates physics-based decoupling with geometry-aware optimization. Specifically, the Fixed-Stress (FS) splitting scheme is employed to decompose the coupled poroelastic system into contractive mechanics and flow subproblems, thereby significantly improving training stability and convergence. To further accelerate optimization, we adopt Energy Natural Gradient Descent (ENGD), which approximates the Newton direction in function space effectively mitigates stiffness-induced slow convergence. Moreover, to address volumetric locking arising in the nearly incompressible regime, we incorporate a three-field mixed formulation with an additional total pressure variable into the PINN framework. Extensive numerical experiments demonstrate that the proposed FS-ENGD-PINN consistently outperforms standard PINN formulations in terms of accuracy and robustness, providing a unified and reliable learning-based solver for poroelasticity across a wide range of material parameters.

math.NA

A Second-Order Monolithic Scheme for the Coupled Stokes--Biot Model Using Total Pressure

We develop and analyze a second-order, fully implicit, monolithic time-discretization for the coupled time-dependent Stokes and quasi-static Biot system. The Biot subsystem is formulated in a three-field total-pressure formulation, in which the total pressure is introduced as an additional unknown together with the solid displacement and pore pressure. This reformulation improves robustness in nearly incompressible regimes and suppresses volumetric locking. All variables are discretized in time using the BDF2 scheme, and the coupled problem is solved monolithically without operator splitting. Discrete energy stability is established using the BDF2 $G$-stability identity. The resulting estimates exhibit robustness with respect to the Lam\'e parameter, Biot--Willis coefficient, and storage coefficient. A consistency--stability argument is then used to derive second-order convergence in time together with optimal-order convergence in space. Numerical experiments confirm the theoretical results and demonstrate second-order temporal accuracy in the corresponding energy norms.

math.NA

Iterative Decoupling Methods for a Total-Pressure Formulation of Quasi-Static Electroporoelasticity

Quasi-static electroporoelasticity couples Maxwell's equations with Biot's poroelasticity through electrokinetic coupling between the electric field and the pressure gradient. By introducing the total pressure, the electroporoelasticity equations are reformulated as a five-field system to address poroelastic locking in the nearly incompressible regime. For the resulting five-field system, a monolithic weak formulation is derived, together with a continuous stability estimate. A second-order backward differentiation formula (BDF2) time discretization and a mixed finite- element spatial discretization are then introduced, yieling to a fully discrete monolithic scheme. Building on this scheme, we develop an iterative decoupling method that alternates between an electromagnetic subproblem and a poroelastic subproblem, and prove its geometric convergence to the monolithic solution with an explicit mesh-independent contraction factor under the physical coupling condition. An algebraically equivalent reduced form is also presented, in which the electromagnetic block is solved only once per time step, while the poroelastic block is solved iteratively with electric-field correction updates obtained from the pressure-gradient feedback. Numerical experiments verify the theoretical predictions and demonstrate the locking-free performance.

math.NA

A Unified Model for Thermo- and Multiple-Network Poroelasticity with a Global-in-Time Iterative Decoupling Scheme

This paper introduces a unified model for thermo-poroelasticity and multiple-network poroelasticity, reformulated into a total-pressure-based system. We first establish the well-posedness of the problem via a Galerkin-based argument and subsequently introduce a robust space-time finite element approximation. To efficiently solve the fully coupled system, we propose a global-in-time iterative algorithm that sequentially decouples the mechanics from the transport equations, while incorporating necessary stabilization terms. We explicitly analyze the convergence rate and provide a rigorous proof that the proposed scheme constitutes a contraction mapping under physically relevant conditions, thereby ensuring its unconditional convergence. Numerical experiments confirm the theoretical stability bounds and demonstrate optimal convergence rates in both space and time, yielding solutions free of non-physical pressure oscillations.

math.NA

Some semi-decoupled algorithms with optimal convergence for a four-field linear thermo-poroelastic model

We propose three semi-decoupled algorithms for efficiently solving a four-field thermoporoelastic model. The first two algorithms adopt a sequential strategy: at the initial time step, all variables are computed simultaneously using a monolithic solver; thereafter, the system is split into a mixed linear elasticity subproblem and a coupled pressure-temperature reaction-diffusion subproblem. The two variants differ in the order in which these subproblems are solved. To further improve computational efficiency, we introduce a parallel semidecoupled algorithm. In this approach, the four-field system is solved monolithically only at the first time step, and the two subproblems are then solved in parallel at subsequent time levels. None of the three algorithms requires iterative procedures at each time step, and are free from stabilization. Rigorous analysis confirms their unconditional stability, optimal convergence rates, and robustness under a wide range of physical parameter settings. These theoretical results are further validated by numerical experiments.

math.NA

POD-based reduced order modeling of global-in-time iterative decoupled algorithms for Biot's consolidation model

This paper focuses on the efficient numerical algorithms of a three-field Biot's consolidation model. The approach begins with the introduction of innovative monolithic and global-in-time iterative decoupled algorithms, which incorporate the backward differentiation formulas for time discretization. In each iteration, these algorithms involve solving a diffusion subproblem over the entire temporal domain, followed by solving a generalized Stokes subproblem over the same time interval. To accelerate the global-in-time iterative process, we present a reduced order modeling approach based on proper orthogonal decomposition, aimed at reducing the primary computational cost from the generalized Stokes subproblem. The effectiveness of this novel method is validated both theoretically and through numerical experiments.

math.NA

DAE-KAN: A Kolmogorov-Arnold Network Model for High-Index Differential-Algebraic Equations

Kolmogorov-Arnold Networks (KANs) have emerged as a promising alternative to Multi-layer Perceptrons (MLPs) due to their superior function-fitting abilities in data-driven modeling. In this paper, we propose a novel framework, DAE-KAN, for solving high-index differential-algebraic equations (DAEs) by integrating KANs with Physics-Informed Neural Networks (PINNs). This framework not only preserves the ability of traditional PINNs to model complex systems governed by physical laws but also enhances their performance by leveraging the function-fitting strengths of KANs. Numerical experiments demonstrate that for DAE systems ranging from index-1 to index-3, DAE-KAN reduces the absolute errors of both differential and algebraic variables by 1 to 2 orders of magnitude compared to traditional PINNs. To assess the effectiveness of this approach, we analyze the drift-off error and find that both PINNs and DAE-KAN outperform classical numerical methods in controlling this phenomenon. Our results highlight the potential of neural network methods, particularly DAE-KAN, in solving high-index DAEs with substantial computational accuracy and generalization, offering a promising solution for challenging partial differential-algebraic equations.

cs.LG

An Optimally Convergent parallel splitting Algorithm for the Multiple-Network Poroelasticity Model

This paper presents a novel parallel splitting algorithm for solving quasi-static multiple-network poroelasticity (MPET) equations. By introducing a total pressure variable, the MPET system can be reformulated into a coupled Stokes-parabolic system. To efficiently solve this system, we propose a parallel splitting approach. In the first time step, a monolithic solver is used to solve all variables simultaneously. For subsequent time steps, the system is split into a Stokes subproblem and a parabolic subproblem. These subproblems are then solved in parallel using a stabilization technique. This parallel splitting approach differs from sequential or iterative decoupling, significantly reducing computational time. The algorithm is proven to be unconditionally stable, optimally convergent, and robust across various parameter settings. These theoretical results are confirmed by numerical experiments. We also apply this parallel algorithm to simulate fluid-tissue interactions within the physiological environment of the human brain.

math.NA

An Efficient Iterative Decoupling Method for Thermo-Poroelasticity Based on a Four-Field Formulation

This paper studies the thermo-poroelasticity model. By introducing an intermediate variable, we transform the original three-field model into a four-field model. Building upon this four-field model, we present both a coupled finite element method and a decoupled iterative finite element method. We prove the stability and optimal convergence of the coupled finite element method. Furthermore, we establish the convergence of the decoupled iterative method. This paper focuses primarily on analyzing the iterative decoupled algorithm. It demonstrates that the algorithm's convergence does not require any additional assumptions about physical parameters or stabilization parameters. Numerical results are provided to demonstrate the effectiveness and theoretical validity of these new methods.

math.NA

Parameter-Robust Preconditioners for A Four-Field Thermo-Poroelasticity Model

We study a thermo-poroelasticity model which describes the interaction between the deformation of an elastic porous material and fluid flow under non-isothermal conditions. The model involves several parameters that can vary significantly in practical applications, posing a challenge for developing discretization techniques and solution algorithms that handle such variations effectively. We propose a four-field formulation and apply a conforming finite element discretization. The primary focus is on constructing and analyzing preconditioners for the resulting linear system. Two preconditioners are proposed: one involves regrouping variables and treating the 4-by-4 system as a 2-by-2 block form, while the other is directly constructed from the 4-by-4 coupled operator. Both preconditioners are demonstrated to be robust with respect to variations in parameters and mesh refinement. Numerical experiments are presented to demonstrate the effectiveness of the proposed preconditioners and validate their theoretical performance under varying parameter settings.

math.NA

Crank-Nicolson-type iterative decoupled algorithms for Biot's consolidation model using total pressure

In this work, we develop Crank-Nicolson-type iterative decoupled algorithms for a three-field formulation of Biot's consolidation model using total pressure. We begin by constructing an equivalent fully implicit coupled algorithm using the standard Crank-Nicolson method for the three-field formulation of Biot's model. Employing an iterative decoupled scheme to decompose the resulting coupled system, we derive two distinctive forms of Crank-Nicolson-type iterative decoupled algorithms based on the order of temporal computation and iteration: a time-stepping iterative decoupled algorithm and a global-in-time iterative decoupled algorithm. Notably, the proposed global-in-time algorithm supports a partially parallel-in-time feature. Capitalizing on the convergence properties of the iterative decoupled scheme, both algorithms exhibit second-order time accuracy and unconditional stability. Through numerical experiments, we validate theoretical predictions and demonstrate the effectiveness and efficiency of these novel approaches.

math.NA

Schur complement based preconditioners for twofold and block tridiagonal saddle point problems

In this paper, we consider using Schur complements to design preconditioners for twofold and block tridiagonal saddle point problems. One type of the preconditioners are based on the nested (or recursive) Schur complement, the other is based on an additive type Schur complement after permuting the original saddle point systems. We analyze different preconditioners incorporating the exact Schur complements. We show that some of them will lead to positively stable preconditioned systems if proper signs are selected in front of the Schur complements. These positive-stable preconditioners outperform other preconditioners if the Schur complements are further approximated inexactly. Numerical experiments for a 3-field formulation of the Biot model are provided to verify our predictions.

math.NA

An Iteratively Decoupled Algorithm for Multiple-Network Poroelastic Model with Applications in Brain Edema Simulations

In this work, we present an iteratively decoupled algorithm for solving the quasi-static multiple-network poroelastic model. Our approach employs a total-pressure-based formulation with solid displacement, total pressure, and network pressures as primary unknowns. This reformulation decomposes the original problem into a generalized Stokes problem and a parabolic problem, offering key advantages such as reduced elastic locking effects and simplified discretization. The algorithm guarantees unconditional convergence to the solution of the fully coupled system. Numerical experiments demonstrate the accuracy, efficiency, and robustness of the method with respect to physical parameters and discretization. We further apply the algorithm to simulate the brain edema process, showcasing its practical utility in biomechanical modeling.

math.NA

A priori error estimates of two fully discrete coupled schemes for Biot's consolidation model

This paper concentrates on a priori error estimates of two fully discrete coupled schemes for Biot's consolidation model based on the three-field formulation introduced by Oyarzua et al. (SIAM Journal on Numerical Analysis, 2016). The spatial discretizations are based on the Taylor-Hood finite elements combined with Lagrange elements for the three primary variables. For time discretization, we consider two methods. One uses the backward Euler method, and the other applies a combination of the backward Euler and Crank-Nicolson methods. A priori error estimates show that the two schemes are unconditionally convergent with optimal error orders. Detailed numerical experiments are presented to validate the theoretical analysis.

math.NA

An Iterative Decoupled Algorithm with Unconditional Stability for Biot Model

This paper is concerned with numerical algorithms for Biot model. By introducing an intermediate variable, the classical 2-field Biot model is written into a 3-field formulation. Based on such a 3-field formulation, we propose a coupled algorithm, some time-extrapolation based decoupled algorithms, and an iterative decoupled algorithm. Our focus is the analysis of the iterative decoupled algorithm. It is shown that the convergence of the iterative decoupled algorithm requires no extra assumptions on physical parameters or stabilization parameters. Numerical experiments are provided to demonstrate the accuracy and efficiency of the proposed method.

math.NA

Parameter-robust Multiphysics Algorithms for Biot Model with Application in Brain Edema Simulation

In this paper, we develop two parameter-robust numerical algorithms for Biot model and applied the algorithms in brain edema simulations. By introducing an intermediate variable, we derive a multiphysics reformulation of the Biot model. Based on the reformulation, the Biot model is viewed as a generalized Stokes subproblem combining with a reaction-diffusion subproblem. Solving the two subproblems together or separately will lead to a coupled or a decoupled algorithm. We conduct extensive numerical experiments to show that the two algorithms are robust with respect to the physics parameters. The algorithms are applied to study the brain swelling caused by abnormal accumulation of cerebrospinal fluid in injured areas. The effects of key physics parameters on brain swelling are carefully investigated. It is observe that the permeability has the greatest effect on intracranial pressure (ICP) and tissue deformation; the Young's modulus and the Poisson ratio will not affect the maximum ICP too much but will affect the tissue deformation and the developing speed of brain swelling.

math.NA

A Multirate Approach for Fluid-Structure Interaction Computation with Decoupled Methods

We investigate a multirate time step approach applied to decoupled methods in fluid and structure interaction(FSI) computation, where two different time steps are used for fluid and structure respectively. For illustration, the multirate technique is tested by the decoupled \beta-scheme. Numerical experiments show that the proposed approach is stable and retains the same order accuracy as the original single time step schemes, while with much less computational expense.

math.NA

Comparisons of Some Iterative Algorithms for Biot Equations

In this paper, we aim at solving the Biot model under stabilized finite element discretizations. To solve the resulting generalized saddle point linear systems, some iterative methods are proposed and compared. In the first method, we apply the GMRES algorithm as the outer iteration. In the second method, the Uzawa method with variable relaxation parameters is employed as the outer iteration method. In the third approach, Uzawa method is treated as a fixed-point iteration, the outer solver is the so-called Anderson acceleration. In all these methods, the inner solvers are preconditioners for the generalized saddle point problem. In the preconditioners, the Schur complement approximation is derived by using Fourier analysis approach. These preconditioners are implemented exactly or inexactly. Extensive experiments are given to justify the performance of the proposed preconditioners and to compare all the algorithms.

math.NA