Searcharxiv⌕ Search

arXiv subjects

Kent-Andre Mardal

Publications and source records attributed to Kent-Andre Mardal.

At least 19 recordsLinked to original sources
arXiv2026

Mixed Consistent PINNs for Elliptic Obstacle Problems with Stability Analysis

We propose a consistent physics-informed neural networks (CPINNs) framework for elliptic obstacle problems formulated as variational inequalities. The method is based on a mixed loss functional that is rigorously aligned with the stability structure of the underlying problem and incorporates obstacle constraints through a consistent treatment of the associated Lagrange multiplier. Relying on optimal recovery theory under Besov regularity assumptions, we establish near-optimal convergence rates for the simultaneous reconstruction of the solution and the multiplier from pointwise interior and boundary data. To enable practical implementation, we construct discrete counterparts of the continuous stability norms and duality pairings, leading to fully computable and theoretically justified training losses. Numerical experiments on benchmark obstacle problems demonstrate the accuracy, stability, and robustness of the proposed approach, and highlight its clear advantages over standard PINNs.

math.NA↗
arXiv2026

A cut finite element method for the Biot system of poroelasticity

We propose a novel cut finite element method for the numerical solution of the Biot system of poroelasticity. The Biot system couples elastic deformation of a porous solid with viscous fluid flow and commonly arises on domains with complex geometries that make high-quality volumetric meshing challenging. To address this issue, we employ the cut finite element framework, where the domain boundary is represented independently of the background mesh, which significantly simplifies the meshing process. Our approach builds upon a parameter robust total pressure formulation of the Biot system, which we combine with the cut finite element method to develop a geometrically robust solution scheme, while preserving the parameter robustness. A key ingredient in the theoretical analysis is a modified inf-sup condition which also holds for mixed boundary conditions, leading to stability and optimal error estimates for the proposed formulation. Finally, we provide numerical evidence demonstrating the theoretical properties of the method and showcasing its capabilities by solving the Biot system on a realistic brain geometry.

math.NA↗
arXiv2025

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↗
arXiv2025

Parameter-robust preconditioner for Stokes-Darcy coupled problem with Lagrange multiplier

In this paper, we propose a parameter-robust preconditioner for the coupled Stokes-Darcy problem equipped with various boundary conditions, enforcing the mass conservation at the interface via a Lagrange multiplier. We rigorously establish that the coupled system is well-posed with respect to physical parameters and mesh size and provide a framework for constructing parameter-robust preconditioners. Furthermore, we analyze the convergence behavior of the Minimal Residual method in the presence of small outlier eigenvalues linked to specific boundary conditions, which can lead to slow convergence or stagnation. To address this issue, we employ deflation techniques to accelerate the convergence. Finally, Numerical experiments confirm the effectiveness and robustness of the proposed approach.

math.NA↗
arXiv2025

On a robust inf-sup condition for the Stokes problem in slender domains -- with application to preconditioning

We identify a norm on the pressure variable in the Stokes equation that allows us to prove a continuous inf-sup condition with a constant independent of the domain's aspect ratio. This is in contrast to the standard inf-sup constant, which breaks down as the aspect ratio increases. We further apply our result to construct robust operator preconditioners for the Stokes problem in slender domains. Several numerical examples illustrate the theory.

math.NA↗
arXiv2025

Fully mixed virtual element schemes for a new model of steady-state poroelastic stress-assisted diffusion in the brain

We propose a fully mixed virtual element method for the numerical approximation of the coupling between linear poroelasticity equations with strong symmetry of total poroelastic stress (using the Hellinger--Reissner principle) and stress-altered solute diffusion (where diffusive flux depends on the poroelastic stress and nonlinearly on the concentration gradient). Because of the nonlinear coupling, the function spaces associated with the nonlinear diffusion sub-problem are of Banach type. To handle this structure, the solvability of both the continuous and discrete problems is established through a decoupled fixed-point strategy. The linear poroelasticity component is analysed using the theory for perturbed saddle-point problems, whereas the nonlinear diffusion problem, relies on the classical Minty--Browder theorem for monotone global operators. The existence of solutions for the fully coupled system is rigorously proven via Schauder's fixed-point theorem. Additionally, we establish rigorous a priori error estimates for the discrete scheme, successfully handling the strongly cross-coupled nonlinearities. These findings are supported by computational evidence, demonstrating that the formulation asymptotically recovers optimal convergence rates in practice. As a key contribution, both the numerical scheme and its underlying analysis prove to be robust with respect to the poromechanical parameters. Finally, several numerical examples are presented to illustrate the properties and applicability of the proposed scheme in the study of solute transport in the context of brain multiphysics.

math.NA↗
arXiv2025

Geometry Reduced Order Modeling (GROM) with application to modeling of glymphatic function

Computational modeling of the brain has become a key part of understanding how the brain clears metabolic waste, but patient-specific modeling on a significant scale is still out of reach with current methods. We introduce a novel approach for leveraging model order reduction techniques in computational models of brain geometries to alleviate computational costs involved in numerical simulations. Using image registration methods based on magnetic resonance imaging, we compute inter-brain mappings which allow previously computed solutions on other geometries to be mapped on to a new geometry. We investigate this approach on two example problems typical of modeling of glymphatic function, applied to a dataset of 101 MRI of human patients. We discuss the applicability of the method when applied to a patient with no known neurological disease, as well as a patient diagnosed with idiopathic Normal Pressure Hydrocephalus displaying significantly enlarged ventricles

q-bio.QM↗
arXiv2025

U-net based prediction of cerebrospinal fluid distribution and ventricular reflux grading

Previous work indicates evidence that cerebrospinal fluid (CSF) plays a crucial role in brain waste clearance processes, and that altered flow patterns are associated with various diseases of the central nervous system. In this study, we investigate the potential of deep learning to predict the distribution in human brain of a gadolinium-based CSF contrast agent (tracer) administered intrathecal. For this, T1-weighted magnetic resonance imaging (MRI) scans taken at multiple time points before and after injection were utilized. We propose a U-net-based supervised learning model to predict pixel-wise signal increase at its peak after 24 hours. Performance is evaluated based on different tracer distribution stages provided during training, including predictions from baseline scans taken before injection. Our findings show that training with imaging data from only the first two hours post-injection yields tracer flow predictions comparable to models trained with additional later-stage scans. Validation against ventricular reflux gradings from neuroradiologists confirmed alignment with expert evaluations. These results demonstrate that deep learning-based methods for CSF flow prediction deserve more attention, as minimizing MR imaging without compromising clinical analysis could enhance efficiency, improve patient well-being, and lower healthcare costs.

eess.IV↗
arXiv2024

A robust and time-parallel preconditioner for parabolic reconstruction problems using Isogeometric Analysis

We consider a PDE-constrained optimization problem of tracking type with parabolic state equation. The solution to the problem is characterized by the Karush-Kuhn-Tucker (KKT) system, which we formulate using a strong variational formulation of the state equation and a super weak formulation of the adjoined state equation. This allows us to propose a preconditioner that is robust both in the regularization and the diffusion parameter. In order to discretize the problem, we use Isogeometric Analysis since it allows the construction of sufficiently smooth basis functions effortlessly. To realize the preconditioner, one has to solve a problem over the whole space time cylinder that is elliptic with respect to certain non-standard norms. Using a fast diagonalization approach in time, we reformulate the problem as a collection of elliptic problems in space only. These problems are not only smaller, but our approach also allows to solve them in a time-parallel way. We show the efficiency of the preconditioner by rigorous analysis and illustrate it with numerical experiments.

math.NA↗
arXiv2023

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

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 developing 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.

math.NA↗
arXiv2023

Algebraic multigrid methods for metric-perturbed coupled problems

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.

math.NA↗
arXiv2022

Rational approximation preconditioners for multiphysics problems

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.

math.NA↗
arXiv2022

HAZniCS -- Software Components for Multiphysics Problems

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.

math.NA↗
arXiv2022

Model order reduction of solidification problems

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.

math.NA↗
arXiv2022

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

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.

math.OC↗
arXiv2021

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

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.

math.NA↗
arXiv2021

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

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.

math.NA↗