Showing 1–40 of 40 results for author: Mardal, K

Variational Formulations of the Strong Formulation -- Forward and Inverse Modeling using Isogeometric Analysis and Physics-Informed Networks

Authors: Kent-Andre Mardal, Jarle Sogn, Marius Zeinhofer

Abstract: The recently introduced Physics-Informed Neural Networks (PINNs) have popularized least squares formulations of both forward and inverse problems involving partial differential equations (PDEs) in strong form. We employ both Isogeometric Analysis and Physics-Informed Networks. The recently introduced Physics-Informed Neural Networks (PINNs) have popularized least squares formulations of both forward and inverse problems involving partial differential equations (PDEs) in strong form. We employ both Isogeometric Analysis and Physics-Informed Networks. △ Less

Submitted 6 December, 2023; originally announced December 2023.

A Unified Framework for the Error Analysis of Physics-Informed Neural Networks

Authors: Marius Zeinhofer, Rami Masri, Kent-André Mardal

Abstract: We prove a priori and a posteriori error estimates for physics-informed neural networks (PINNs) for linear PDEs. We analyze elliptic equations in primal and mixed form, elasticity, parabolic, hyperbolic and Stokes equations; and a PDE constrained optimization problem. For the analysis, we propose an abstract framework in the common language of bilinear forms, and we show that coercivity and contin… ▽ More We prove a priori and a posteriori error estimates for physics-informed neural networks (PINNs) for linear PDEs. We analyze elliptic equations in primal and mixed form, elasticity, parabolic, hyperbolic and Stokes equations; and a PDE constrained optimization problem. For the analysis, we propose an abstract framework in the common language of bilinear forms, and we show that coercivity and continuity lead to error estimates. The obtained estimates are sharp and reveal that the $L^2$ penalty approach for initial and boundary conditions in the PINN formulation weakens the norm of the error decay. Finally, utilizing recent advances in PINN optimization, we present numerical examples that illustrate the ability of the method to achieve accurate solutions. △ Less

Submitted 8 March, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

MSC Class: 65M12; 65M15

Robust Preconditioning of mixed-dimensional PDEs on 3d-1d domains coupled with Lagrange multipliers

Authors: Nunzio Dimola, Miroslav Kuchta, Kent-Andre Mardal, Paolo Zunino

Abstract: In the context of micro-circulation, the coexistence of two distinct length scales - the vascular radius and the tissue/organ scale - with a substantial difference in magnitude, poses significant challenges. To handle slender inclusions and simplify the geometry involved, a technique called topological dimensionality reduction is employed, which suppresses manifold dimensions associated with the s… ▽ More In the context of micro-circulation, the coexistence of two distinct length scales - the vascular radius and the tissue/organ scale - with a substantial difference in magnitude, poses significant challenges. To handle slender inclusions and simplify the geometry involved, a technique called topological dimensionality reduction is employed, which suppresses manifold dimensions associated with the smaller characteristic length. However, the resulting discretized system's algebraic structure presents a challenge in constructing efficient solution algorithms. This chapter addresses this challenge by develo** a robust preconditioner for the 3d-1d problem using the operator preconditioning technique. Robustness of the preconditioner is demonstrated with respect to problem parameters, except for the vascular radius. The vascular radius, as demonstrated, plays a fundamental role in mathematical well-posedness of the problem and the preconditioner's effectiveness. △ Less

Submitted 17 July, 2023; originally announced July 2023.

MSC Class: 65F08

Efficient and reliable divergence-conforming methods for an elasticity-poroelasticity interface problem

Authors: S. Badia, M. Hornkjøl, A. Khan, K. -A. Mardal, A. F. Martín, R. Ruiz-Baier

Abstract: We present a finite element discretisation to model the interaction between a poroelastic structure and an elastic medium. The consolidation problem considers fully coupled deformations across an interface, ensuring continuity of displacement and total traction, as well as no-flux for the fluid phase. Our formulation of the poroelasticity equations incorporates displacement, fluid pressure, and to… ▽ More We present a finite element discretisation to model the interaction between a poroelastic structure and an elastic medium. The consolidation problem considers fully coupled deformations across an interface, ensuring continuity of displacement and total traction, as well as no-flux for the fluid phase. Our formulation of the poroelasticity equations incorporates displacement, fluid pressure, and total pressure, while the elasticity equations adopt a displacement-pressure formulation. Notably, the transmission conditions at the interface are enforced without the need for Lagrange multipliers. We demonstrate the stability and convergence of the divergence-conforming finite element method across various polynomial degrees. The a priori error bounds remain robust, even when considering large variations in intricate model parameters such as Lamé constants, permeability, and storativity coefficient. To enhance computational efficiency and reliability, we develop residual-based a posteriori error estimators that are independent of the aforementioned coefficients. Additionally, we devise parameter-robust and optimal block diagonal preconditioners. Through numerical examples, including adaptive scenarios, we illustrate the scheme's properties such as convergence and parameter robustness. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Algebraic multigrid methods for metric-perturbed coupled problems

Authors: Ana Budisa, Xiaozhe Hu, Miroslav Kuchta, Kent-Andre Mardal, Ludmil Tomov Zikatanov

Abstract: We develop multilevel methods for interface-driven multiphysics problems that can be coupled across dimensions and where complexity and strength of the interface coupling deteriorates the performance of standard methods. We focus on solvers based on aggregation-based algebraic multigrid methods with custom smoothers that preserve the coupling information on each coarse level. We prove that with th… ▽ More We develop multilevel methods for interface-driven multiphysics problems that can be coupled across dimensions and where complexity and strength of the interface coupling deteriorates the performance of standard methods. We focus on solvers based on aggregation-based algebraic multigrid methods with custom smoothers that preserve the coupling information on each coarse level. We prove that with the proper choice of subspace splitting we obtain uniform convergence in discretization and physical parameters in the two-level setting. Additionally, we show parameter robustness and scalability with regards to number of the degrees of freedom of the system on several numerical examples related to the biophysical processes in the brain, namely the electric signalling in excitable tissue modeled by bidomain, EMI and reduced EMI equations. △ Less

Submitted 10 May, 2023; originally announced May 2023.

MSC Class: 65F08; 65N55; 65S05 ACM Class: G.1.8

HAZniCS -- Software Components for Multiphysics Problems

Authors: Ana Budisa, Xiaozhe Hu, Miroslav Kuchta, Kent-Andre Mardal, Ludmil Zikatanov

Abstract: We introduce the software toolbox HAZniCS for solving interface-coupled multiphysics problems. HAZniCS is a suite of modules that combines the well-known FEniCS framework for finite element discretization with solver and graph library HAZmath. The focus of the paper is on the design and implementation of a pool of robust and efficient solver algorithms which tackle issues related to the complex in… ▽ More We introduce the software toolbox HAZniCS for solving interface-coupled multiphysics problems. HAZniCS is a suite of modules that combines the well-known FEniCS framework for finite element discretization with solver and graph library HAZmath. The focus of the paper is on the design and implementation of a pool of robust and efficient solver algorithms which tackle issues related to the complex interfacial coupling of the physical problems often encountered in applications in brain biomechanics. The robustness and efficiency of the numerical algorithms and methods is shown in several numerical examples, namely the Darcy-Stokes equations that model flow of cerebrospinal fluid in the human brain and the mixed-dimensional model of electrodiffusion in the brain tissue. △ Less

Submitted 6 November, 2022; v1 submitted 24 October, 2022; originally announced October 2022.

MSC Class: 65-04; 65N55; 65F08; 65H10 ACM Class: G.1.8; G.4

Model order reduction of solidification problems

Authors: Florian Arbes, Øyvind Jensen, Kent-Andre Mardal, Jørgen S. Dokken

Abstract: Advection driven problems are known to be difficult to model with a reduced basis because of a slow decay of the Kolmogorov $N$-width. This paper investigates how this challenge transfers to the context of solidification problems and tries to answer when and to what extend reduced order models (ROMs) work for solidification problems. In solidification problems, the challenge is not the advection p… ▽ More Advection driven problems are known to be difficult to model with a reduced basis because of a slow decay of the Kolmogorov $N$-width. This paper investigates how this challenge transfers to the context of solidification problems and tries to answer when and to what extend reduced order models (ROMs) work for solidification problems. In solidification problems, the challenge is not the advection per se, but rather a moving solidification front. This paper studies reduced spaces for 1D step functions that move in time, which can either be seen as advection of a quantity or as a moving solidification front. Furthermore, the reduced space of a 2D solidification test case is compared with the reduced space of an alloy solidification featuring a mushy zone. The results show that not only the PDE itself, but the smoothness of the solution is crucial for the decay of the singular values and thus the quality of a reduced space representation. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Rational approximation preconditioners for multiphysics problems

Authors: Ana Budisa, Xiaozhe Hu, Miroslav Kuchta, Kent-Andre Mardal, Ludmil Zikatanov

Abstract: We consider a class of mathematical models describing multiphysics phenomena interacting through interfaces. On such interfaces, the traces of the fields lie (approximately) in the range of a weighted sum of two fractional differential operators. We use a rational function approximation to precondition such operators. We first demonstrate the robustness of the approximation for ordinary functions… ▽ More We consider a class of mathematical models describing multiphysics phenomena interacting through interfaces. On such interfaces, the traces of the fields lie (approximately) in the range of a weighted sum of two fractional differential operators. We use a rational function approximation to precondition such operators. We first demonstrate the robustness of the approximation for ordinary functions given by weighted sums of fractional exponents. Additionally, we present more realistic examples utilizing the proposed preconditioning techniques in interface coupling between Darcy and Stokes equations. △ Less

Submitted 6 November, 2022; v1 submitted 23 September, 2022; originally announced September 2022.

MSC Class: 65F08; 65F60

Investigating molecular transport in the human brain from MRI with physics-informed neural networks

Authors: Bastian Zapf, Johannes Haubner, Miroslav Kuchta, Geir Ringstad, Per Kristian Eide, Kent-Andre Mardal

Abstract: In recent years, a plethora of methods combining deep neural networks and partial differential equations have been developed. A widely known and popular example are physics-informed neural networks. They solve forward and inverse problems involving partial differential equations in terms of a neural network training problem. We apply physics-informed neural networks as well as the finite element m… ▽ More In recent years, a plethora of methods combining deep neural networks and partial differential equations have been developed. A widely known and popular example are physics-informed neural networks. They solve forward and inverse problems involving partial differential equations in terms of a neural network training problem. We apply physics-informed neural networks as well as the finite element method to estimate the diffusion coefficient governing the long term, i.e. over days, spread of molecules in the human brain from a novel magnetic resonance imaging technique. Synthetic testcases are created to demonstrate that the standard formulation of the physics-informed neural network faces challenges with noisy measurements in our application. Our numerical results demonstrate that the residual of the partial differential equation after training needs to be small in order to obtain accurate recovery of the diffusion coefficient. To achieve this, we apply several strategies such as tuning the weights and the norms used in the loss function as well as residual based adaptive refinement and exchange of residual training points. We find that the diffusion coefficient estimated with PINNs from magnetic resonance images becomes consistent with results from a finite element based approach when the residuum after training becomes small. The observations presented in this work are an important first step towards solving inverse problems on observations from large cohorts of patients in a semi-automated fashion with physics-informed neural networks. △ Less

Submitted 1 July, 2022; v1 submitted 5 May, 2022; originally announced May 2022.

MSC Class: 49M41; 65L09

Robust approximation of generalized Biot-Brinkman problems

Authors: Q. Hong, J. Kraus, M. Kuchta, M. Lymbery, K. A. Mardal, M. E. Rognes

Abstract: The generalized Biot-Brinkman equations describe the displacement, pressures and fluxes in an elastic medium permeated by multiple viscous fluid networks and can be used to study complex poromechanical interactions in geophysics, biophysics and other engineering sciences. These equations extend on the Biot and multiple-network poroelasticity equations on the one hand and Brinkman flow models on th… ▽ More The generalized Biot-Brinkman equations describe the displacement, pressures and fluxes in an elastic medium permeated by multiple viscous fluid networks and can be used to study complex poromechanical interactions in geophysics, biophysics and other engineering sciences. These equations extend on the Biot and multiple-network poroelasticity equations on the one hand and Brinkman flow models on the other hand, and as such embody a range of singular perturbation problems in realistic parameter regimes. In this paper, we introduce, theoretically analyze and numerically investigate a class of three-field finite element formulations of the generalized Biot-Brinkman equations. By introducing appropriate norms, we demonstrate that the proposed finite element discretization, as well as an associated preconditioning strategy, is robust with respect to the relevant parameter regimes. The theoretical analysis is complemented by numerical examples. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 24 pages, 9 figures, 2 tables

MSC Class: 65F08; 65F10; 65M12; 65M22; 65M60; 65N22; 65N30; 92C05; 92C10

Parameter-robust methods for the Biot-Stokes interfacial coupling without Lagrange multipliers

Authors: Wietse M. Boon, Martin Hornkjøl, Miroslav Kuchta, Kent-Andre Mardal, Ricardo Ruiz-Baier

Abstract: In this paper we advance the analysis of discretizations for a fluid-structure interaction model of the monolithic coupling between the free flow of a viscous Newtonian fluid and a deformable porous medium separated by an interface. A five-field mixed-primal finite element scheme is proposed solving for Stokes velocity-pressure and Biot displacement-total pressure-fluid pressure. Adequate inf-sup… ▽ More In this paper we advance the analysis of discretizations for a fluid-structure interaction model of the monolithic coupling between the free flow of a viscous Newtonian fluid and a deformable porous medium separated by an interface. A five-field mixed-primal finite element scheme is proposed solving for Stokes velocity-pressure and Biot displacement-total pressure-fluid pressure. Adequate inf-sup conditions are derived, and one of the distinctive features of the formulation is that its stability is established robustly in all material parameters. We propose robust preconditioners for this perturbed saddle-point problem using appropriately weighted operators in fractional Sobolev and metric spaces at the interface. The performance is corroborated by several test cases, including the application to interfacial flow in the brain. △ Less

Submitted 10 November, 2021; originally announced November 2021.

MSC Class: 65N60; 76S05; 74F10; 92C35

Journal ref: Journal of Computational Physics, volume 467, paper 111464, year 2022

Robust monolithic solvers for the Stokes-Darcy problem with the Darcy equation in primal form

Authors: Wietse M. Boon, Timo Koch, Miroslav Kuchta, Kent-Andre Mardal

Abstract: We construct mesh-independent and parameter-robust monolithic solvers for the coupled primal Stokes-Darcy problem. Three different formulations and their discretizations in terms of conforming and non-conforming finite element methods and finite volume methods are considered. In each case, robust preconditioners are derived using a unified theoretical framework. In particular, the suggested precon… ▽ More We construct mesh-independent and parameter-robust monolithic solvers for the coupled primal Stokes-Darcy problem. Three different formulations and their discretizations in terms of conforming and non-conforming finite element methods and finite volume methods are considered. In each case, robust preconditioners are derived using a unified theoretical framework. In particular, the suggested preconditioners utilize operators in fractional Sobolev spaces. Numerical experiments demonstrate the parameter-robustness of the proposed solvers. △ Less

Submitted 14 October, 2021; originally announced October 2021.

MSC Class: 65F08

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

Authors: Bryan Gomez-Vargas, Kent-Andre Mardal, Ricardo Ruiz-Baier, Vegard Vinje

Abstract: 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… ▽ More 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. △ Less

Submitted 30 September, 2021; originally announced September 2021.

MSC Class: 65N60; 92C50

Journal ref: SIAM Journal on Numerical Analysis, volume 63, number 3, pages 1449-1481, year 2023

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

Authors: Kent-Andre Mardal, Jarle Sogn, Stefan Takacs

Abstract: 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-su… ▽ More 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 map** and the polynomial degree. △ Less

Submitted 23 December, 2020; originally announced December 2020.

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

Authors: Wietse M. Boon, Miroslav Kuchta, Kent-Andre Mardal, Ricardo Ruiz-Baier

Abstract: 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 proble… ▽ More 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. △ Less

Submitted 10 November, 2020; originally announced November 2020.

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

Authors: Kent-Andre Mardal, Marie E. Rognes, Travis B. Thompson

Abstract: 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 c… ▽ More 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. △ Less

Submitted 16 April, 2021; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: 26 pages

MSC Class: 65M60; 74S05; 76S05

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

Authors: Miroslav Kuchta, Federica Laurino, Kent-Andre Mardal, Paolo Zunino

Abstract: 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… ▽ More 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. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Parameter robust preconditioning by congruence for multiple-network poroelasticity

Authors: Eleonora Piersanti, Jeonghun J. Lee, Travis Thompson, Kent-Andre Mardal, Marie E. Rognes

Abstract: 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 num… ▽ More 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. △ Less

Submitted 17 October, 2020; v1 submitted 21 March, 2020; originally announced March 2020.

MSC Class: 65M22; 65M60; 92C10

Parameter robust preconditioning for multi-compartmental Darcy equations

Authors: Eleonora Piersanti, Marie E. Rognes, Kent-Andre Mardal

Abstract: 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 exa… ▽ More 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. △ Less

Submitted 21 March, 2020; originally announced March 2020.

MSC Class: 65N22; 65N30

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

Authors: Karl Erik Holter, Miroslav Kuchta, Kent-Andre Mardal

Abstract: 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 betwe… ▽ More 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. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Robust preconditioning of monolithically coupled multiphysics problems

Authors: Karl Erik Holter, Miroslav Kuchta, Kent-Andre Mardal

Abstract: 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 presen… ▽ More 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. △ Less

Submitted 15 January, 2020; originally announced January 2020.

An Observation On The Uniform Preconditioners For The Mixed Darcy Problem

Authors: Trygve Bærland, Miroslav Kuchta, Kent-Andre Mardal, Travis Thompson

Abstract: 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… ▽ More 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 map** 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. △ Less

Submitted 5 March, 2020; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 13 pages, 3 tables

MSC Class: 65N12; 65N30; 65F08

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

Authors: Lars Magnus Valnes, Sebastian K. Mitusch, Geir Ringstad, Per Kristian Eide, Simon W. Funke, Kent-Andre Mardal

Abstract: 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 ar… ▽ More 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. △ Less

Submitted 2 November, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: 20 pages, with 6 pages supplementary, 13 figures

Laplacian preconditioning of elliptic PDEs: Localization of the eigenvalues of the discretized operator

Authors: Tomáš Gergelits, Kent-André Mardal, Bjørn Fredrik Nielsen, Zdeněk Strakoš

Abstract: In the paper \textit{Preconditioning by inverting the {L}aplacian; an analysis of the eigenvalues. IMA Journal of Numerical Analysis 29, 1 (2009), 24--42}, Nielsen, Hackbusch and Tveito study the operator generated by using the inverse of the Laplacian as preconditioner for second order elliptic PDEs $\nabla \cdot (k(x) \nabla u) = f$. They prove that the range of $k(x)$ is contained in the spectr… ▽ More In the paper \textit{Preconditioning by inverting the {L}aplacian; an analysis of the eigenvalues. IMA Journal of Numerical Analysis 29, 1 (2009), 24--42}, Nielsen, Hackbusch and Tveito study the operator generated by using the inverse of the Laplacian as preconditioner for second order elliptic PDEs $\nabla \cdot (k(x) \nabla u) = f$. They prove that the range of $k(x)$ is contained in the spectrum of the preconditioned operator, provided that $k$ is continuous. Their rigorous analysis only addresses map**s defined on infinite dimensional spaces, but the numerical experiments in the paper suggest that a similar property holds in the discrete case. % Motivated by this investigation, we analyze the eigenvalues of the matrix $\bf{L}^{-1}\bf{A}$, where $\bf{L}$ and ${\bf{A}}$ are the stiffness matrices associated with the Laplace operator and general second order elliptic operators, respectively. Without any assumption about the continuity of $k(x)$, we prove the existence of a one-to-one pairing between the eigenvalues of $\bf{L}^{-1}\bf{A}$ and the intervals determined by the images under $k(x)$ of the supports of the FE nodal basis functions. As a consequence, we can show that the nodal values of $k(x)$ yield accurate approximations of the eigenvalues of $\bf{L}^{-1}\bf{A}$. Our theoretical results are illuminated by several numerical experiments. △ Less

Submitted 11 September, 2018; originally announced September 2018.

MSC Class: 65F08; 65F15; 65N12; 35J99

Multigrid Methods for Discrete Fractional Sobolev Spaces

Authors: Trygve Bærland, Miroslav Kuchta, Kent-Andre Mardal

Abstract: 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… ▽ More 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. △ Less

Submitted 1 June, 2018; originally announced June 2018.

Comments: 23 pages

MSC Class: 65N55

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

Authors: Jeonghun J. Lee, Eleonora Piersanti, Kent-Andre Mardal, Marie E. Rognes

Abstract: 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 numer… ▽ More 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. △ Less

Submitted 20 April, 2018; originally announced April 2018.

MSC Class: 65M12; 65M15; 65M60; 92C10

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

Authors: Tormod Landet, Kent-Andre Mardal, Mikael Mortensen

Abstract: 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 prope… ▽ More 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. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Sub-voxel perfusion modeling in terms of coupled 3d-1d problem

Authors: Karl Erik Holter, Miroslav Kuchta, Kent-André Mardal

Abstract: We study perfusion by a multiscale model coupling diffusion in the tissue and diffusion along the one-dimensional segments representing the vasculature. We propose a block-diagonal preconditioner for the model equations and demonstrate its robustness by numerical experiments. We compare our model to a macroscale model by [P. Tofts, Modelling in DCE MRI, 2012]. We study perfusion by a multiscale model coupling diffusion in the tissue and diffusion along the one-dimensional segments representing the vasculature. We propose a block-diagonal preconditioner for the model equations and demonstrate its robustness by numerical experiments. We compare our model to a macroscale model by [P. Tofts, Modelling in DCE MRI, 2012]. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: Submitted to ENUMATH 2017 Proceedings

Multi-resolution Bayesian CMB component separation through Wiener-filtering with a pseudo-inverse preconditioner

Authors: D. S. Seljebotn, T. Bærland, H. K. Eriksen, K. -A. Mardal, I. K. Wehus

Abstract: We present a Bayesian model for multi-resolution CMB component separation based on Wiener filtering and/or computation of constrained realizations, extending a previously developed framework. We also develop an efficient solver for the corresponding linear system for the associated signal amplitudes. The core of this new solver is an efficient preconditioner based on the pseudo-inverse of the coef… ▽ More We present a Bayesian model for multi-resolution CMB component separation based on Wiener filtering and/or computation of constrained realizations, extending a previously developed framework. We also develop an efficient solver for the corresponding linear system for the associated signal amplitudes. The core of this new solver is an efficient preconditioner based on the pseudo-inverse of the coefficient matrix of the linear system. In the full sky coverage case, the method gives a speed-up of 2--3x in compute time compared to a simple diagonal preconditioner, and it is easier to implement in terms of practical computer code. In the case where a mask is applied and prior-driven constrained realization is sought within the mask, this is the first time full convergence has been achieved at the full resolution of the Planck dataset. Prototype benchmark code is available at https://github.com/dagss/cmbcr . △ Less

Submitted 3 October, 2017; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 13 pages, 10 figures, Submitted to A&A

Journal ref: A&A 627, A98 (2019)

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

Authors: Trygve Baerland, Jeonghun J. Lee, Kent-Andre Mardal, Ragnar Winther

Abstract: 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… ▽ More 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. △ Less

Submitted 22 March, 2017; originally announced March 2017.

Comments: 21 pages

MSC Class: 65M60; 65M55

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

Authors: Miroslav Kuchta, Kent-Andre Mardal, Mikael Mortensen

Abstract: 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… ▽ More 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. △ Less

Submitted 8 April, 2018; v1 submitted 12 December, 2016; originally announced December 2016.

On the Singular Neumann Problem in Linear Elasticity

Authors: Miroslav Kuchta, Kent-Andre Mardal, Mikael Mortensen

Abstract: 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 f… ▽ More 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. △ Less

Submitted 8 April, 2018; v1 submitted 29 September, 2016; originally announced September 2016.

Variational data assimilation for transient blood flow simulations

Authors: S. W. Funke, M. Nordaas, Øyvind Evju, M. S. Alnæs, K. -A. Mardal

Abstract: Several cardiovascular diseases are caused from localised abnormal blood flow such as in the case of stenosis or aneurysms. Prevailing theories propose that the development is caused by abnormal wall-shear stress in focused areas. Computational fluid mechanics have arisen as a promising tool for a more precise and quantitative analysis, in particular because the anatomy is often readily available… ▽ More Several cardiovascular diseases are caused from localised abnormal blood flow such as in the case of stenosis or aneurysms. Prevailing theories propose that the development is caused by abnormal wall-shear stress in focused areas. Computational fluid mechanics have arisen as a promising tool for a more precise and quantitative analysis, in particular because the anatomy is often readily available even by standard imaging techniques such as magnetic resolution and computed tomography angiography. However, computational fluid mechanics rely on accurate boundary conditions which is difficult to obtain. In this paper we address the problem of recovering high resolution information from noisy, low-resolution measurements of blood flow using variational data assimilation (also known as 4DVar). We show that accurate flow reconstruction is obtained with proper regularisation even in the presence of significant noise and for a range of regularisation parameters spanning orders of magnitude. Numerical experiments are performed in both 2D and 3D and with pulsatile flow relevant for physiological flow in cerebral aneurysms. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Efficient preconditioners for saddle point systems with trace constraints coupling 2D and 1D domains

Authors: Miroslav Kuchta, Magne Nordaas, Joris C. G. Verschaeve, Mikael Mortensen, Kent-Andre Mardal

Abstract: We study preconditioners for a model problem describing the coupling of two elliptic subproblems posed over domains with different topological dimension by a parameter dependent constraint. A pair of parameter robust and efficient preconditioners is proposed and analyzed. Robustness and efficiency of the preconditioners is demonstrated by numerical experiments. We study preconditioners for a model problem describing the coupling of two elliptic subproblems posed over domains with different topological dimension by a parameter dependent constraint. A pair of parameter robust and efficient preconditioners is proposed and analyzed. Robustness and efficiency of the preconditioners is demonstrated by numerical experiments. △ Less

Submitted 23 May, 2016; originally announced May 2016.

MSC Class: 65F08

Transitional flow in intracranial aneurysms - a space and time refinement study below the Kolmogorov scales using Lattice Boltzmann Method

Authors: Kartik Jain, Sabine Roller, Kent-Andre Mardal

Abstract: Most Computational Fluid Dynamics (CFD) studies of hemodynamics in intracranial aneurysms are based on the assumption of laminar flow due to a relatively low (below 500) parent artery Reynolds number. A few studies have recently demonstrated the occurrence of transitional flow in aneurysms, but these studies employed special finite element schemes tailored to capture transitional nature of flow. I… ▽ More Most Computational Fluid Dynamics (CFD) studies of hemodynamics in intracranial aneurysms are based on the assumption of laminar flow due to a relatively low (below 500) parent artery Reynolds number. A few studies have recently demonstrated the occurrence of transitional flow in aneurysms, but these studies employed special finite element schemes tailored to capture transitional nature of flow. In this study we investigate the occurrence of transition using a standard Lattice Boltzmann method (LBM). The LBM is used because of its computational efficiency, which in the present study allowed us to perform simulations at a higher resolution than has been done in the context of aneurysms before. The high space-time resolutions of 8μm and 0.11 μs resulted in nearly one billion cells and 9 million time steps per second and allowed us to quantify the turbulent kinetic energy at resolutions below the Kolmogorov scales. We perform an in-depth space and time refinement study on 2 aneurysms; one was previously reported laminar, while the other was reported transitional. Furthermore, we investigate the critical Reynolds number at which the flow transitions in aneurysms under time constant inflow conditions. △ Less

Submitted 8 December, 2015; originally announced December 2015.

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

Authors: Jeonghun J. Lee, Kent-Andre Mardal, Ragnar Winther

Abstract: 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… ▽ More 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. △ Less

Submitted 21 June, 2016; v1 submitted 12 July, 2015; originally announced July 2015.

Comments: 24 pages

MSC Class: 65M60

Robust preconditioners for PDE-constrained optimization with limited observations

Authors: Kent-André Mardal, Bjørn Fredrik Nielsen, Magne Nordaas

Abstract: Regularization robust preconditioners for PDE-constrained optimization problems have been successfully developed. These methods, however, typically assume that observation data is available throughout the entire domain of the state equation. For many inverse problems, this is an unrealistic assumption. In this paper we propose and analyze preconditioners for PDE-constrained optimization problems w… ▽ More Regularization robust preconditioners for PDE-constrained optimization problems have been successfully developed. These methods, however, typically assume that observation data is available throughout the entire domain of the state equation. For many inverse problems, this is an unrealistic assumption. In this paper we propose and analyze preconditioners for PDE-constrained optimization problems with limited observation data, e.g. observations are only available at the boundary of the solution domain. Our methods are robust with respect to both the regularization parameter and the mesh size. That is, the condition number of the preconditioned optimality system is uniformly bounded, independently of the size of these two parameters. We first consider a prototypical elliptic control problem and thereafter more general PDE-constrained optimization problems. Our theoretical findings are illuminated by several numerical results. △ Less

Submitted 22 June, 2015; originally announced June 2015.

MSC Class: 65F08; 65N21; 65K10

A multi-level solver for Gaussian constrained CMB realizations

Authors: D. S. Seljebotn, K. -A. Mardal, J. B. Jewell, H. K. Eriksen, P. Bull

Abstract: We present a multi-level solver for drawing constrained Gaussian realizations or finding the maximum likelihood estimate of the CMB sky, given noisy sky maps with partial sky coverage. The method converges substantially faster than existing Conjugate Gradient (CG) methods for the same problem. For instance, for the 143 GHz Planck frequency channel, only 3 multi-level W-cycles result in an absolute… ▽ More We present a multi-level solver for drawing constrained Gaussian realizations or finding the maximum likelihood estimate of the CMB sky, given noisy sky maps with partial sky coverage. The method converges substantially faster than existing Conjugate Gradient (CG) methods for the same problem. For instance, for the 143 GHz Planck frequency channel, only 3 multi-level W-cycles result in an absolute error smaller than 1 microKelvin in any pixel. Using 16 CPU cores, this translates to a computational expense of 6 minutes wall time per realization, plus 8 minutes wall time for a power spectrum-dependent precomputation. Each additional W-cycle reduces the error by more than an order of magnitude, at an additional computational cost of 2 minutes. For comparison, we have never been able to achieve similar absolute convergence with conventional CG methods for this high signal-to-noise data set, even after thousands of CG iterations and employing expensive preconditioners. The solver is part of the Commander 2 code, which is available with an open source license at http://commander.bitbucket.org/. △ Less

Submitted 24 February, 2014; v1 submitted 24 August, 2013; originally announced August 2013.

Comments: Updated to match published version (no major changes)

Journal ref: ApJS 210, 24 (2014)

Unified Framework for Finite Element Assembly

Authors: Martin Sandve Alnæs, Anders Logg, Kent-Andre Mardal, Ola Skavhaug, Hans Petter Langtangen

Abstract: At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This interface is called Unified Form-assembly Code (UFC). A wide range of finite element problems is covered, including mixed finite elements and discontinuous Galer… ▽ More At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs. This interface is called Unified Form-assembly Code (UFC). A wide range of finite element problems is covered, including mixed finite elements and discontinuous Galerkin methods. We discuss how the UFC interface enables implementations of variational form evaluation to be independent of mesh and linear algebra components. UFC does not depend on any external libraries, and is released into the public domain. △ Less

Submitted 14 May, 2012; originally announced May 2012.

Journal ref: International Journal of Computational Science and Engineering 4(4), pp. 231-244 (2009)

A uniform inf--sup condition with applications to preconditioning

Authors: Kent-Andre Mardal, Joachim Schöberl, Ragnar Winther

Abstract: A uniform inf-sup condition related to a parameter dependent Stokes problem is established. Such conditions are intimately connected to the construction of uniform preconditioners for the problem, i.e., preconditioners which behave uniformly well with respect to variations in the model parameter as well as the discretization parameter. For the present model, similar results have been derived befor… ▽ More A uniform inf-sup condition related to a parameter dependent Stokes problem is established. Such conditions are intimately connected to the construction of uniform preconditioners for the problem, i.e., preconditioners which behave uniformly well with respect to variations in the model parameter as well as the discretization parameter. For the present model, similar results have been derived before, but only by utilizing extra regularity ensured by convexity of the domain. The purpose of this paper is to remove this artificial assumption. As a byproduct of our analysis, in the two dimensional case we also construct a new projection operator for the Taylor-Hood element which is uniformly bounded in $L^2$ and commutes with the divergence operator. This construction is based on a tight connection between a subspace of the Taylor-Hood velocity space and the lowest order Nedelec edge element. △ Less

Submitted 6 January, 2012; originally announced January 2012.