arXiv subjects

Kent-Andre Mardal

Publications and source records attributed to Kent-Andre Mardal.

At least 37 records · Page 2Linked to original sources

arXiv2021

Twofold saddle-point formulation of Biot poroelasticity with stress-dependent diffusion

We introduce a stress/total-pressure formulation for poroelasticity that includes the coupling with steady nonlinear diffusion modified by stress. The nonlinear problem is written in mixed-primal form, coupling a perturbed twofold saddle-point system with an elliptic problem. The continuous formulation is analysed in the framework of abstract fixed-point theory and Fredholm alternative for compact operators. A mixed finite element method is proposed and its stability and convergence analysis are carried out. We also include a few illustrative numerical tests. The resulting model can be used to study waste removal in the brain parenchyma, where diffusion of a tracer alone or a combination of advection and diffusion are not sufficient to explain the alterations in rates of filtration observed in porous media samples.

math.NA↗

arXiv2021

Accurate Discretization Of Poroelasticity Without Darcy Stability -- Stokes-Biot Stability Revisited

In this manuscript we focus on the question: what is the correct notion of Stokes-Biot stability? Stokes-Biot stable discretizations have been introduced, independently by several authors, as a means of discretizing Biot's equations of poroelasticity; such schemes retain their stability and convergence properties, with respect to appropriately defined norms, in the context of a vanishing storage coefficient and a vanishing hydraulic conductivity. The basic premise of a Stokes-Biot stable discretization is: one part Stokes stability and one part mixed Darcy stability. In this manuscript we remark on the observation that the latter condition can be generalized to a wider class of discrete spaces. In particular: a parameter-uniform inf-sup condition for a mixed Darcy sub-problem is not strictly necessary to retain the practical advantages currently enjoyed by the class of Stokes-Biot stable Euler-Galerkin discretization schemes.

math.NA↗

arXiv2020

Robust preconditioning and error estimates for optimal control of the convection-diffusion-reaction equation with limited observation in Isogeometric analysis

In this paper we analyze an optimization problem with limited observation governed by a convection--diffusion--reaction equation. Motivated by a Schur complement approach, we arrive at continuous norms that enable analysis of well-posedness and subsequent derivation of error analysis and a preconditioner that is robust with respect to the parameters of the problem. We provide conditions for inf-sup stable discretizations and present one such discretization for box domains with constant convection. We also provide a priori error estimates for this discretization. The preconditioner requires a fourth order problem to be solved. For this reason, we use Isogeometric Analysis as a method of discretization. To efficiently realize the preconditioner, we consider geometric multigrid with a standard Gauss-Seidel smoother as well as a new macro Gauss-Seidel smoother. The latter smoother provides good results with respect to both the geometry mapping and the polynomial degree.

math.NA↗

arXiv2020

Robust preconditioners for perturbed saddle-point problems and conservative discretizations of Biot's equations utilizing total pressure

We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation problem for linear poroelasticity (using displacement, filtration flux, total pressure and fluid pressure). The stability of the continuous variational mixed problems, which hinges upon using adequately weighted spaces, is addressed in detail; and the efficacy of the proposed preconditioners, as well as their robustness with respect to relevant material properties, is demonstrated through several numerical experiments.

math.NA↗

arXiv2020

Parameter robust preconditioning by congruence for multiple-network poroelasticity

The mechanical behaviour of a poroelastic medium permeated by multiple interacting fluid networks can be described by a system of time-dependent partial differential equations known as the multiple-network poroelasticity (MPET) equations or multi-porosity/multi-permeability systems. These equations generalize Biot's equations, which describe the mechanics of the one-network case. The efficient numerical solution of the MPET equations is challenging, in part due to the complexity of the system and in part due to the presence of interacting parameter regimes. In this paper, we present a new strategy for efficiently and robustly solving the MPET equations numerically. In particular, we introduce a new approach to formulating finite element methods and associated preconditioners for the MPET equations. The approach is based on designing transformations of variables that simultaneously diagonalize (by congruence) the equations' key operators and subsequently constructing parameter-robust block-diagonal preconditioners for the transformed system. Our methodology is supported by theoretical considerations as well as by numerical results.

math.NA↗

arXiv2020

Analysis and approximation of mixed-dimensional PDEs on 3D-1D domains coupled with Lagrange multipliers

Coupled partial differential equations defined on domains with different dimensionality are usually called mixed dimensional PDEs. We address mixed dimensional PDEs on three-dimensional (3D) and one-dimensional domains, giving rise to a 3D-1D coupled problem. Such problem poses several challenges from the standpoint of existence of solutions and numerical approximation. For the coupling conditions across dimensions, we consider the combination of essential and natural conditions, basically the combination of Dirichlet and Neumann conditions. To ensure a meaningful formulation of such conditions, we use the Lagrange multiplier method, suitably adapted to the mixed dimensional case. The well posedness of the resulting saddle point problem is analyzed. Then, we address the numerical approximation of the problem in the framework of the finite element method. The discretization of the Lagrange multiplier space is the main challenge. Several options are proposed, analyzed and compared, with the purpose to determine a good balance between the mathematical properties of the discrete problem and flexibility of implementation of the numerical scheme. The results are supported by evidence based on numerical experiments.

math.NA↗

arXiv2020

Parameter robust preconditioning for multi-compartmental Darcy equations

In this paper, we propose a new finite element solution approach to the multi-compartmental Darcy equations describing flow and interactions in a porous medium with multiple fluid compartments. We introduce a new numerical formulation and a block-diagonal preconditioner. The robustness with respect to variations in material parameters is demonstrated by theoretical considerations and numerical examples.

math.NA↗

arXiv2020

An Observation On The Uniform Preconditioners For The Mixed Darcy Problem

When solving a multi-physics problem one often decomposes a monolithic system into simpler, frequently single-physics, subproblems. A comprehensive solution strategy may commonly be attempted, then, by means of combining strategies devised for the constituent subproblems. When decomposing the monolithic problem, however, it may be that requiring a particular scaling for one subproblem enforces an undesired scaling on another. In this manuscript we consider the H(div)-based mixed formulation of the Darcy problem as a single-physics subproblem; the hydraulic conductivity, K, is considered intrinsic and not subject to any rescaling. Preconditioners for such porous media flow problems in mixed form are frequently based on H(div) preconditioners rather than the pressure Schur complement. We show that when the hydraulic conductivity, K, is small the pressure Schur complement can also be utilised for H(div)-based preconditioners. The proposed approach employs an operator preconditioning framework to establish a robust, K- and h-uniform block preconditioner. The mapping properties of the continuous operator are a key component in applying the theoretical framework point of view. As such, a main challenge addressed here is establishing a K-uniform inf-sup condition with respect to appropriately weighted Hilbert intersection- and sum-spaces.

math.NA↗

arXiv2020

Robust preconditioning of monolithically coupled multiphysics problems

In many applications, one wants to model physical systems consisting of two different physical processes in two different domains that are coupled across a common interface. A crucial challenge is then that the solutions of the two different domains often depend critically on the interaction at the interface and therefore the problem cannot be easily decoupled into its subproblems. Here, we present a framework for finding robust preconditioners for a fairly general class of such problems by exploiting operators representing fractional and weighted Laplacians at the interface. Furthermore, we show feasibility of the framework for two common multiphysics problems; namely the Darcy-Stokes problem and a fluid--structure interaction problem. Numerical experiments that demonstrate the effectiveness of the approach are included.

math.NA↗

arXiv2020

Robust preconditioning for coupled Stokes-Darcy problems with the Darcy problem in primal form

The coupled Darcy-Stokes problem is widely used for modeling fluid transport in physical systems consisting of a porous part and a free part. In this work we consider preconditioners for monolitic solution algorithms of the coupled Darcy-Stokes problem, where the Darcy problem is in primal form. We employ the operator preconditioning framework and utilize a fractional solver at the interface between the problems to obtain order optimal schemes that are robust with respect to the material parameters, i.e. the permeability, viscosity and Beavers-Joseph-Saffman parameter. Our approach is similar to our earlier work, but since the Darcy problem is in primal form, the mass conservation at the interface introduces some challenges. These challenges will be specifically addressed in this paper. Numerical experiments illustrating the performance are provided. The preconditioner is posed in non-standard Sobolev spaces which may be perceived as an obstacle for its use in applications. However, we detail the implementational aspects and show that the preconditioner is quite feasible to realize in practice.

math.NA↗

arXiv2019

Can diffusion alone explain brain-wide distribution of a CSF tracer within 24 hours?

The recently proposed glymphatic system suggests that bulk flow is important for clearing waste from the brain, and as such may underlie the development of e.g. Alzheimer's disease. The glymphatic hypothesis is still controversial and several biomechanical modeling studies at the micro-level have at least partially dismissed the system and its assumptions. In contrast, at the macro-level, there are many experimental findings in support of bulk flow. Here, we will investigate to what extent the CSF tracer distributions seen in novel magnetic resonance imaging (MRI) investigations over hours and days are suggestive of bulk flow or diffusion. In order to include the complex geometry of the brain, the heterogeneous CSF flow around the brain, and the transport over the time-scale of days, we employed the methods of partial differential constrained optimization to identify the apparent diffusion coefficient (ADC) that would correspond best to the MRI findings. We found that the computed ADC in grey and white matter was respectively 23\% and 82\% larger than the ADC estimated with DTI, which suggests that diffusion may not be the only mechanism governing transport.

math.NA↗

arXiv2018

Multigrid Methods for Discrete Fractional Sobolev Spaces

Coupled multiphysics problems often give rise to interface conditions naturally formulated in fractional Sobolev spaces. Here, both positive- and negative fractionality are common. When designing efficient solvers for discretizations of such problems it would then be useful to have a preconditioner for the fractional Laplacian. In this work, we develop an additive multigrid preconditioner for the fractional Laplacian with positive fractionality, and show a uniform bound on the condition number. For the case of negative fractionality, we re-use the preconditioner developed for the positive fractionality and left-right multiply a regular Laplacian with a preconditioner with positive fractionality to obtain the desired negative fractionality. Implementational issues are outlined in details as the differences between the discrete operators and their corresponding matrices must be addressed when realizing these algorithms in code. We finish with some numerical experiments verifying the theoretical findings.

math.NA↗

arXiv2018

A mixed finite element method for nearly incompressible multiple-network poroelasticity

In this paper, we present and analyze a new mixed finite element formulation of a general family of quasi-static multiple-network poroelasticity (MPET) equations. The MPET equations describe flow and deformation in an elastic porous medium that is permeated by multiple fluid networks of differing characteristics. As such, the MPET equations represent a generalization of Biot's equations, and numerical discretizations of the MPET equations face similar challenges. Here, we focus on the nearly incompressible case for which standard mixed finite element discretizations of the MPET equations perform poorly. Instead, we propose a new mixed finite element formulation based on introducing an additional total pressure variable. By presenting energy estimates for the continuous solutions and a priori error estimates for a family of compatible semi-discretizations, we show that this formulation is robust in the limits of incompressibility, vanishing storage coefficients, and vanishing transfer between networks. These theoretical results are corroborated by numerical experiments. Our primary interest in the MPET equations stems from the use of these equations in modelling interactions between biological fluids and tissues in physiological settings. So, we additionally present physiologically realistic numerical results for blood and tissue fluid flow interactions in the human brain.

math.NA↗

arXiv2018

On the Singular Neumann Problem in Linear Elasticity

The Neumann problem of linear elasticity is singular with a kernel formed by the rigid motions of the body. There are several tricks that are commonly used to obtain a non-singular linear system. However, they often cause reduced accuracy or lead to poor convergence of the iterative solvers. In this paper, different well-posed formulations of the problem are studied through discretization by the finite element method, and preconditioning strategies based on operator preconditioning are discussed. For each formulation we derive preconditioners that are independent of the discretization parameter. Preconditioners that are robust with respect to the first Lamé constant are constructed for the pure displacement formulations, while a preconditioner that is robust in both Lamé constants is constructed for the mixed formulation. It is shown that, for convergence in the first Sobolev norm, it is crucial to respect the orthogonality constraint derived from the continuous problem. Based on this observation a modification to the conjugate gradient method is proposed that achieves optimal error convergence of the computed solution.

math.NA↗

arXiv2018

Preconditioning trace coupled 3$d$-1$d$ systems using fractional Laplacian

Multiscale or multiphysics problems often involve coupling of partial differential equations posed on domains of different dimensionality. In this work we consider a simplified model problem of a 3d-1d coupling and the main objective is to construct algorithms that may utilize stan- dard multilevel algorithms for the 3d domain, which has the dominating computational complexity. Preconditioning for a system of two elliptic problems posed, respectively, in a three dimensional domain and an embedded one dimensional curve and coupled by the trace constraint is discussed. Investigating numerically the properties of the well-defined discrete trace operator, it is found that negative fractional Sobolev norms are suitable preconditioners for the Schur complement of the sys- tem. The norms are employed to construct a robust block diagonal preconditioner for the coupled problem.

math.NA↗

arXiv2018

Slope limiting the velocity field in a discontinuous Galerkin divergence free two-phase flow solver

Solving the Navier-Stokes equations when the density field contains a large sharp discontinuity---such as a water/air free surface---is numerically challenging. Convective instabilities cause Gibbs oscillations which quickly destroy the solution. We investigate the use of slope limiters for the velocity field to overcome this problem in a way that does not compromise on the mass conservation properties. The equations are discretised using the interior penalty discontinuous Galerkin finite element method that is divergence free to machine precision. A slope limiter made specifically for exactly divergence free (solenoidal) fields is presented and used to illustrated the difficulties in obtaining convectively stable fields that are also exactly solenoidal. The lessons learned from this are applied in constructing a simpler method based on the use of an existing scalar slope limiter applied to each velocity component. We show by numerical examples how both presented slope limiting methods are vastly superior to the naive non-limited method. The methods can solve difficult two-phase problems with high density ratios and high Reynolds numbers---typical for marine and offshore water/air simulations---in a way that conserves mass and stops unbounded energy growth caused by the Gibbs phenomenon.

physics.flu-dyn↗

arXiv2017

Weakly imposed symmetry and robust preconditioners for Biot's consolidation model

We discuss the construction of robust preconditioners for finite element approximations of Biot's consolidation model in poroelasticity. More precisely, we study finite element methods based on generalizations of the Hellinger-Reissner principle of linear elasticity, where the stress tensor is one of the unknowns. The Biot model has a number of applications in science, medicine, and engineering. A challenge in many of these applications is that the model parameters range over several orders of magnitude. Therefore, discretization procedures which are well behaved with respect to such variations are needed. The focus of the present paper will be on the construction of preconditioners, such that the preconditioned discrete systems are well-conditioned with respect to variations of the model parameters as well as refinements of the discretization. As a byproduct, we also obtain preconditioners for linear elasticity that are robust in the incompressible limit.

math.NA↗

arXiv2016

Parameter-robust discretization and preconditioning of Biot's consolidation model

Biot's consolidation model in poroelasticity has a number of applications in science, medicine, and engineering. The model depends on various parameters, and in practical applications these parameters ranges over several orders of magnitude. A current challenge is to design discretization techniques and solution algorithms that are well behaved with respect to these variations. The purpose of this paper is to study finite element discretizations of this model and construct block diagonal preconditioners for the discrete Biot systems. The approach taken here is to consider the stability of the problem in non-standard or weighted Hilbert spaces and employ the operator preconditioning approach. We derive preconditioners that are robust with respect to both the variations of the parameters and the mesh refinement. The parameters of interest are small time-step sizes, large bulk and shear moduli, and small hydraulic conductivity.

math.NA↗