 Research article
 Open Access
 Published:
A cut finite element method for spatially resolved energy metabolism models in complex neurocell morphologies with minimal remeshing
Advanced Modeling and Simulation in Engineering Sciences volume 8, Article number: 5 (2021)
Abstract
A thorough understanding of brain metabolism is essential to tackle neurodegenerative diseases. Astrocytes are glial cells which play an important metabolic role by supplying neurons with energy. In addition, astrocytes provide scaffolding and homeostatic functions to neighboring neurons and contribute to the blood–brain barrier. Recent investigations indicate that the complex morphology of astrocytes impacts upon their function and in particular the efficiency with which these cells metabolize nutrients and provide neurons with energy, but a systematic understanding is still elusive. Modelling and simulation represent an effective framework to address this challenge and to deepen our understanding of brain energy metabolism. This requires solving a set of metabolic partial differential equations on complex domains and remains a challenge. In this paper, we propose, test and verify a simple numerical method to solve a simplified model of metabolic pathways in astrocytes. The method can deal with arbitrarily complex cell morphologies and enables the rapid and simple modification of the model equations by users also without a deep knowledge in the numerical methods involved. The results obtained with the new method (CutFEM) are as accurate as the finite element method (FEM) whilst CutFEM disentangles the cell morphology from its discretisation, enabling us to deal with arbitrarily complex morphologies in two and three dimensions.
Introduction
We propose to test and verify a simple numerical framework to solve a simplified model of metabolic pathways, representative of cellular metabolism in the brain. Metabolic models can aid the understanding of cell behaviour. Most metabolic models involve the solution of a system of ODEs [1] leaving open the question of how the geometry and spatial organization affect cell behaviour. This work presents a method that is a first step towards extending existing models to answer this question. The method, based on recent developments in unfitted finite element methods is general, and can deal with an arbitrary number of coupled reaction diffusion equations and handle complex cell morphologies. Thanks to the versatility of the automatic code infrastructure provided by FEniCS, the code is wellsuited to newcomers to finite element methods interested in modelling biological systems.
To test the new framework, we address complex cell geometries in two and three dimensions and compare the method to the standard finite element method in terms of accuracy. The results obtained with the new method CutFEM are as accurate as the finite element method (FEM) whilst CutFEM disentangles the cell morphology from its discretisation, enabling to deal with arbitrarily complex morphologies, including kinks and triple junctions, in two and three dimensions.
A thorough understanding of brain metabolism is essential to tackle neurodegenerative diseases [2, 3]. Astrocytes are glial cells which play an important metabolic role by supplying neurons with energy [4]. These cells also provide scaffolding and help repair neighboring neurons, where they maintain balanced ionic concentrations (homeostasis) and contribute to the blood–brain barrier by preventing the diffusion of large molecules into the brain.
Recent investigations show that the morphology of astrocytes, which can be complex (see Fig. 1), impacts upon their function, in particular the efficiency with which these cells metabolise nutrients and provide neurons with energy [5]. Modelling and simulation could be effective in furthering our understanding brain metabolism by enabling to test biological hypotheses and investigate the relative importance of model parameters on quantities of interest to biologists.
The challenges involved with modelling and simulating metabolic activity in cells include:

1.
Building a representative model of the metabolic pathways, usually a set of reaction–diffusion equations;

2.
Identifying the parameters for these partial differential equations (PDEs) as well as the sensitivity of the system to these parameters [6,7,8,9,10,11];

3.
Discretising the complex and evolving geometries of the cells;

4.
Solving this set of PDEs on these complex domains;

5.
Ensuring the accuracy of the solution by measuring discretisation error [12,13,14];

6.
Ensure the usability of the numerical framework by nonexperts.
This last point aims at simplifying multidisciplinary interactions between computational, data science and domain experts, it is also becoming increasingly important to devise numerical frameworks which can be used and enhanced without being a computational science expert. To do so, opensource frameworks such as FEniCS [15,16,17], getFEM [18], FreeFEM [19], Deal.ii [20] are all possible candidates. These opensource frameworks enable the user to write models in a language which is natural to them and requires minimal interaction with technical details associated with wellestablished numerical methods.
Concerning metabolic activities, some models focused their attention to the metabolic pathways which they describe as a series of chemical reactions that enable the synthesis and breakdown of molecules as [21,22,23,24].
So far, very little attention has been paid to the role of cell morphology on the modelling [25, 26]. However, cell morphology is known to be important to describe the state of the cell. For example, [27] show the importance of cell morphology on the development of Alzheimer’s disease.
In this paper, we tackle points 1., 3., 4., and 6., above, and leave points 2. and 5. for further communications, as well as the extension to evolving domains.
Model We present a simple model of energy metabolism which takes into account the main pathways of the metabolic process in a single cell. Here, we focus on an astrocyte as a specific cell, but the developments are general. In particular, we include glycolysis, Lactate Dehydrogenase, TCA cycle and basal cellular activity explicitly in the cell model. Each pathway is described by a chemical reaction leading to a coupled reaction diffusion system.
Cell geometry Our ultimate goal is to enable the use of microscopy to produce input geometries for our computational framework and include the evolution of the cellular domain. To enable this, we define cell geometries using signed distance functions, also known as levelset functions [28, 29], which were successfully deployed in modeling other biological phenomena with moving interfaces, such as [30, 31].
Discretisation
The solution of the set of coupled reaction diffusion equations has two characteristics, which create challenges for the standard finite element method:

Local gradients in metabolite concentrations;

Discontinuities across cell boundaries.
Standard finite element method would require to create a mesh that fits the boundary of the object. Even though much progress has been made in meshing technology [32], the advantages of methods that separate the geometry from the object are very appealing for our ultimate objective of describing a cell evolving in time. Classic FEM would require to build a mesh conforming the object at each time step leading to very high computational drawbacks.
Enriched finite element methods such as the partition of unity FEM (PUFEM) [33, 34], the generalized finite element method (GFEM) [35] and the extended finite element method [36] are ideal to tackle these two challenges [30, 37].
Indeed, these methods enable the local enrichment of the discrete solution space with known features about the solution, including discontinuities and sharp gradients or singularities. This makes it possible to handle arbitrarily complex geometries quasiindependently of the mesh (see Fig. 2).
Nonetheless, without preconditioning or special treatment [38,39,40,41,42,43,44] enriched finite elements cannot natively deal with arbitrarily complex geometries because of particular geometrical limit cases (interfaces passing close to a degree of freedom) and illconditioning stemming from linear dependencies due to complex enrichment functions acting upon large parts of the computational domain.
CutFEM [45,46,47,48,49,50,51] is an extension of XFEM that naturally addresses limit cases associated with complex geometries, and lends itself to imagebased simulations. Moreover, we use the libCutFEM library, which is a cut finite element extension of the opensource framework of the FEniCS Project [15,16,17, 47]. FEniCS offers a highly flexible and easy way of transforming models expressed as partial differential equations into numerical methods based on the finite element method through the Unified Form Language (UFL) [52], a domainspecific programming language for writing the weak form of partial differential equations. The UFL specification of the finite element problem is then automatically translated by the other components of the FEniCS Project (DOLFIN [16] and the FEniCS Form Compiler (FFC) [15]) into highperformance specific C++ code with little or no user intervention.
Solution scheme To solve the set of coupled, timedependent and nonlinear PDEs, we first discretise in time using a standard implicit time stepping scheme. The nonlinear equation is solved using a Newton–Raphson scheme. The Jacobian, required for the Newton–Raphson scheme, is calculated automatically at the symbolic level by FEniCS. This greatly eases the implementation from the user’s perspective, as deriving and implementing the consistent Jacobian manually can be a tedious and error prone task. The resulting linear systems at each step of the Newton–Raphson algorithm is solved using standard linear solvers from the PETSc library [53].
Usability and extensibility of the framework
Thanks to the flexibility of FEniCS, the framework is generic and usable by biologists without a background or specific training in Computational Sciences or Applied Mathematics. The code used to create the two of the examples is freely online accessible (see “Availability of data and materials”) and can be adapted to other problems straightforwardly.
The paper is organized as follows. In “The problem formulation” section, we present the biological model for energy metabolism followed by the governing equation and its weak form. The FEM and CutFEM discretization can be found in “Discretization” section. In “Implementation” section a detailed explanation of how implement our model in CutFEM is presented. Our numerical results are introduced in “Numerical results” section and the conclusions follow in “Conclusion and discussion” section.
The problem formulation
The aim of this section is to introduce the energy metabolism model, which can be expressed as a set of partial differential equations, in its strong and weak form.
Basic model for energy metabolism
The scope of this model is to isolate conceptually the essential mathematical properties of the metabolic processes of a cell, the mechanism that generate energy for cellular activities from the synthesis and breakdown of nutrients [1].
The simplified model of metabolic pathway in a cell is sketched in Fig. 3 and described by the following reactions (see “Abbreviations” for details)
The pathway starts when the molecules derived from food (nutrients) enter the cytosol of the cell, and the process called glycolysis starts the breakdown of glucose (\(\mathrm {GLC}\)) into two molecules of pyruvate (\(\mathrm {PYR}\)). The glycolysis process can be split, to our modeling purpose, into two main chemical reactions: ATPconsuming (1) and ATPproducing (2). The pyruvate produced by glycolysis can, then, be converted into lactate (\(\mathrm {LAC}\)) by the enzyme lactate dehydrogenase (\(\mathrm {LDH}\)) simplified with the chemical reaction (3) or enter mitochondria and used to produce \(\mathrm {ATP}\) through the TCA cycle shown in reaction (4).
Last, we take into account the activity of the cell which uses \(\mathrm {ATP}\) for its own sustenance represented by the chemical reaction (5).
In order to facilitate our model we consider that the backward reactions are negligible. Moreover, we consider that the enzymes that catalyzed the chemical reactions are located in a specific region of the cellular domain.
Strong formulation of governing equations
Let \(\Omega \) be an open and bounded subset of \(\mathbb {R}^d\) (d = 2 or 3) with Lipschitzcontinous boundary and we denote the concentration of the chemical species using the bracket notation, \([\,\cdot \,]\), as a function
Mathematically, we can express the sequence of reactions Eqs. (1)–(5) with a coupled system of semilinear parabolic reaction diffusion equations [54]. We consider that the species involved are subject to diffusion in the domain and we denote \(D_{[\, \cdot \,]} > 0\) the diffusive constants. The reactions obey to the law of mass action [55] where \(K_{\mathrm {HXK}},K_{\mathrm {PYRK}},K_{\mathrm {LDH}}, K_{\mathrm {Mito}}\) and \(K_{\mathrm {act}}\) are the rate constants and we introduce Gaussian functions, indicated with \(\mathcal {G}_{\mathrm {HXK}}(x_0,\sigma )\), \(\mathcal {G}_{\mathrm {PYRK}}(x_0,\sigma )\), \(\mathcal {G}_{\mathrm {LDH}}(x_0,\sigma )\), \(\mathcal {G}_{\mathrm {Mito}}(x_0,\sigma )\) and \(\mathcal {G}_{\mathrm {act}}(x_0,\sigma )\), to locate the region where the reactions are happening
where \(x_{0,\cdot }\in \Omega _\cdot \) and \(\sigma \in \mathbb {R}\). Eventually, to represent the entrance of the glucose inside the cytosol we define a source term function \(f: A \times [0,T]\rightarrow \mathbb {R}\), where A is a subset of \(\Omega \) as
The strong form of the reaction diffusion system is then, finding the concentrations \([\mathrm {GLC}](x,t)\), \([\mathrm {ADP}](x,t)\), \([\mathrm {ATP}](x,t)\), \([\mathrm {GLY}](x,t)\), \([\mathrm {PYR}](x,t)\) and \([\mathrm {LAC}](x,t)\) for all \(x \in \Omega \) and \(t\in [0,T]\) such that
The system is completed with homogeneous Neumann boundary conditions on \(\partial \Omega \) and initial conditions at time \(t=0\)
where \(a_0,b_0,c_0,d_0,e_0,f_0: \Omega \rightarrow \mathbb {R}\).
Precise questions on global existence of solutions of reaction–diffusion systems are still an open problem, we refer the reader to [56]. In this work, we consider all diffusion coefficients \(D_{[\cdot ]}\) equals, ensuring that a global solution of the system (6) with initial condition (7) exists.
Weak formulation of governing equations
In this section we convert the strong form of the PDEs in Eq. (6) into a corresponding weak form. This is necessary step in order to discretise both the FEM and CutFEM methods. For further details see e.g. [57].
We define the standard Hilbert space \(V={v\in H^1(\Omega )}\) and we denote with \(\overline{V}= V \times V \times V \times V \times V \times V\) the product space.
The weak form of system (6) can be found multiplying each equation by a test function \(v_1,v_2,v_3,v_4,v_5,v_6\in \overline{V}\) and integrating over the space domain \(\Omega \)
Since \(D_{[\cdot ]}\) is constant, we apply integration by parts to the secondorder spatial derivative
Since we have specified pure Neumann boundary conditions for each concentration species, the boundary terms vanish. Leading to
We can, then, substitute Eq. (10) into Eq. (8) and use the following compact notation
allowing us to state the weak form of the problem problem as: we seek the solutions \([\mathrm {GLC}]\),\([\mathrm {ATP}]\), \([\mathrm {ADP}]\),\([\mathrm {GLY}]\), \([\mathrm {PYR}]\), \([\mathrm {LAC}]\) in the space \(\overline{V}\) such that for all \(t\in [0,T]\) and for all test functions \(v_1,v_2,v_3,v_4,v_5,v_6\in \overline{V}\)
In the subsequent section we discuss the discretization of Eq. (12) using the standard finite element method and the CutFEM.
Discretization
In order to solve Eq. (12), we must discretise it in both space and time. Discretisation is a process by which continuous mathematical objects (e.g. \(v_1\)) are transformed into a discrete counterpart that can be manipulated on a computer. We choose to discretise in space using the classical Finite Element Method [58] (FEM) and then using the Cut Finite Element Method (CutFEM) [47]. The FEM results serve as a baseline for comparison of the CutFEM method. For both FEM and CutFEM we discretize in time using a standard finite difference method.
The important distinction between FEM and CutFEM from the point of view of the user is that the FEM requires an extra mesh generation step; a mesh must be generated that conforms to the boundary of the domain, before the simulation can take place. This can be a difficult task, as the mesh must be of sufficiently good quality to ensure an accurate solution, while still conforming to the boundary. In contrast, CutFEM removes the need for a conforming mesh generation step. The boundary of the domain is described implicitly as a level set function that can be extracted directly from e.g. processed image data, or using constructive solid geometry (CSG) [59]. The promise of CutFEM is that discretization of geometry can be performed automatically without a mesh generation step that often requires lengthy manual intervention.
We recognise that both the Finite Element Method, and even more so, the CutFEM are highly technical and take some time to understand. The point of this section then is not to give a full and detailed exposition of both of these methods. Instead we aim show a precise derivation of the discrete weak forms and then in the subsequent section we show their translation into the FEniCS Project domain specific language, called the Unified Form Language (UFL) [52]. In practice, if the user can convert their problem into a discrete weak formulation then the the FEniCS Project and the libCutFEM library can automatically perform all of the subsequent discretization steps. For full details of how this process takes places the reader is referred to [16, 47].
FEM
To discretise our problem in time we choose a finite difference approximation, specifically, the backward Euler method [60]. First, we discretize the time interval [0, T], denoting \(\Delta t\) the size of the timestep. We denote with subscript n a concentration of (possibly multiple) chemical species at time \(t_n\), where \(0 \le n < N\) with \(N = T/\Delta t\) is an integer that counts the time steps. The backward Euler method then approximates the continuous time derivative as
We discretize the spatial domain \(\Omega \) using a triangulation \( \mathcal {T}_h\) that conforms (matches) the exact boundary \(\partial \Omega \). On this mesh we define the space of piece wise Lagrange finite elements of degree one as V and with \(\overline{V}\) the product \(\overline{V} = V \times V \times V \times V \times V \times V\). The space \(\overline{V}\) can then be used to discretize the weak form equations (12).
We denote \(U=([\mathrm {GLC}],[\mathrm {ATP}],[\mathrm {ADP}],[\mathrm {GLY}],[\mathrm {PYR}],[\mathrm {LAC}])\) the vector of all the concentration solutions and \(v=(v_1,v_2,v_3,v_4,v_5,v_6) \in \overline{V}\) the corresponding vector of test functions. The initial conditions are denoted \([U]_0\). We then solve a sequence of problems: find \([U]_{n + 1} \in \overline{V}\) for \(n = 0, \ldots , N  1\) such that
where
Since Eq. (14) is a nonlinear function of the unknown solution \([U]_{n + 1}\) we choose to use a Newton–Raphson type algorithm to solve it. This Newton–Raphson algorithm requires the computation of the derivative of \(f_h\) with respect to U (commonly called the Jacobian of \(f_h\)). We do not perform this step manually, but instead use the automatic differentiation capabilities of UFL [52], as shown in “Implementation” section.
CutFEM
Instead of discretizing the spatial domain \(\Omega \) using a mesh that conforms to the boundary, in CutFEM, the problem domain \(\Omega \) is described by a levelset function. The level set function is a scalar function on \(\mathbb {R}^d\), such that \(\phi (x)<0\) for \(x \in \Omega \), \(\phi (x)>0\) for \(x \notin \Omega \) and \(\phi (x)=0\) for \(x \in \partial \Omega \). We then cover the domain \(\Omega \) by a regular background mesh \(\Lambda \) (\(\Omega \subseteq \Lambda \)) of simple shape, e.g. a box containing \(\Omega \) meshed with a uniform triangulation. Let K denote a triangle/tetrahedron in this triangulation. Now, let \(\tilde{\mathcal {T}}_h\) be the fictitious domain mesh composed by all elements \(K \in \Lambda \) such that \(K \cap \Omega \ne 0\) (\(\Omega \subseteq \tilde{\mathcal {T}}_h \subseteq \Lambda \)).
Furthermore, the union of all elements in \( \tilde{\mathcal {T}}_h\) is called the fictitious domain \(\tilde{\Omega }\). We denote with
the set of elements intersected by the interface, and we define the set of socalled ghost penalty facets [46] (see Fig. 2)
The stabilisation term introduced in the next section will be applied to this subset of facets. We consider the space
and the jump gradient is defined for all facet F and \(v \in W\) by \( [\![ \partial _{n_F}v]\!]=n_F\cdot \nabla v_Kn_F\cdot \nabla _{K'} \) where \(n_F\) denotes the unit normal to F in fixed but arbitrary direction. We use the same notation as the previous section, denoting the solution \(U=([\mathrm {GLC}],[\mathrm {ATP}],[\mathrm {ADP}],[\mathrm {GLY}],[\mathrm {PYR}],[\mathrm {LAC}])\), \(v=(v_1,v_2,v_3,v_4,v_5,v_6)\) and the product space \(\overline{W}= W \times W \times W \times W \times W \times W\), We then solve a sequence of problems: find \([U]_{n + 1} \in \overline{V}\) for \(n = 0, \ldots , n  1\) such that
where \(f_h([U]_{n + 1}, [U]_{n};v)\) is identical to the standard FEM Equation (15). Here, \(j([U]_{n + 1}, v)\) denotes the following stabilization terms
inspired by [47]. Here, \(\gamma \) is a positive penalty parameter. These stabilization terms extend the solution from the physical domain \(\Omega \) onto the fictitious domain \(\tilde{\Omega }\), it is consistent with the continuous system. They prevent illconditioning of the system matrices in case only small parts of \(\Omega \) are contained in an element near the boundary \(\partial \Omega \). This stabilisation is critical for the robustness and reliability of CutFEM.
Implementation
The finite element method discretization has been implemented using Python with the open source finite element solver DOLFIN from the FEniCS Project, see [15, 16]. The CutFEM discretization has been implemented using Python using the libCutFEM library [47] which builds on top of DOLFIN and the rest of the FEniCS Project. In this section we show parts of the code for the libCutFEM example that highlight the close link between the mathematics and the concrete computer implementation. The standard FEniCS Project implementation is similar so we have chosen to show only the libCutFEM implementation for reasons of brevity. The reader should refer to the free online repository for two full working examples that are around 250 lines of code each. The precise problem setup and results from this example are shown in “Twodimensional nonLipschitz domain” section.
We import the dolfin and cutfem Python modules. These two modules contain all of the functionality we need to solve the problem using the CutFEM approach.
We create the background mesh \(\Lambda \) and then define a level set function describing the heartshaped domain.
In the next part of the code, we use two special libCutFEM methods to 1. create a special cut mesh, and 2. a mesh_cutter that intersects the mesh with the level set and computes the distinct sets of cells (i.e. those that are on the inside of the level set and those that are outside).
With these special objects in hand we can define special CutFEMspecific UFL Measure objects that will subsequently allow us to write the residual and the stabilisation weak forms. Simply put, a measure defines regions of the problem mesh (cells, edges, parts inside the level set, and parts outside etc.) on which FEniCS will integrate different parts of a weak form.
We create a finite element function space \(\bar{V}\) that we can use to further define the UFL algebraic objects that we need.
Now we have everything that we need to write the weak residual \(f_h([U]_{n+1},[U]_n; v)\) in Eq. (14) using the UFL. We use the integration measure dxc which indicates the integration on cells inside the domain \(\Omega \) and in parts of the cut cells inside \(\Omega \). This form would look identical in the standard FEniCS Project code except that we would use the dx measure that denotes integration over all cells of the mesh.
The stabilization term \(j([U]_{n+1},v),\) Eq. (17) is written in UFL using the integration measure dS(1) which integrates on the ghost penalty facets \(\mathcal {F}_G\) (Fig. 4).
For both forms F and j we remark how similar the UFL notation is to the mathematical notation in Eqs. (14) and (17). Calculating the UFL expression for the Jacobian \(\mathbb {J}\) can be performed automatically using the derivative function.
The last step before the solver is to use the Composite framework of CutFEM to define the problem on different parts of the mesh domain.
Eventually, we can solve the nonlinear and timedependent problem with the following two nested loops, the outer one for the timestepping, and the inner one for the Newton–Raphson algorithm. The FEniCS Project infrastructure (UFL + FFC + DOLFIN) automatically generates and executes lowlevel code to assemble the sparse matrices A and b. This linear system is then solved using PETSc and MUMPS.
In the previous piece of code, we used the increment as stopping criteria for the Newton–Raphson algorithm. We refer the reader to the free online repository with an example where the stopping criteria is the tolerance to the residual. In the full example in the free online repository the solution at each timestep is outputted to a VTK file that can be opened with Paraview (https://paraview.org) for visualisation.
Numerical results
In this section we evaluate the accuracy of the CutFEM discretisation scheme for different geometries by comparing the CutFEM solution to the standard FEM solution. In addition, we want to confirm that at the steady state solutions (for large values of time t) predicted by CutFEM tend towards the asymptotic solutions of the associated ordinary differential equation (ODE) system. Then, we investigate the accuracy of CutFEM in comparison with the standard FEM for a simple circular geometry. We increase the complexity of the geometry and we show the ability of CutFEM to straightforwardly solve a test case within a nonLipschitz domain. Lastly, we consider a three dimensional domain.
The numerical scheme was implemented using the CutFEM library [47] based on FEniCS Project [15,16,17]. The linear systems arising in the numerical experiments are solved using a direct (MUMPS) solver for the twodimensional examples and a iterative (CG) solver with algebraic multigrid preconditioning (hypre) for the threedimensional example.
Asymptotic solution ODEs
The aim of this section is to validate our CutFEM implementation highlight that the solution of the reaction–diffusion system tends to the solution of the ODE system associated to the chemical reactions Eqs. (1)–(5) for time going to infinity. The solution of the ODE system is computed in two ways 1. we use the solve \(\_\) ivp of the package scipy in python 2. we manually compute the asymptotic solutions, which can be found in Appendix A together with the ODE system in Eq. (24).
For the PDEs, we solve the reaction diffusion system in a circular domain defined in CutFEM using the level set function \(\phi (x,y) = (x4)^2+(y3)^2  25\). The Gaussian parameters locating the chemical reactions, that are shown in Fig. 5a, have been set as following: \(\mathcal {G}_{\mathrm {HXK}}(x_0=0.5, y_0=2.0, \sigma =0.1)\), \(\mathcal {G}_{\mathrm {PYRK}}(x_0=1.1, y_0=1.2, \sigma =0.1)\), \(\mathcal {G}_{\mathrm {LDH}}(x_0=4.0, y_0=5.0,\sigma =0.1)\), \(\mathcal {G}_{\mathrm {Mito}}(x_0=4.0,y_0=5.0, \sigma =0.1)\) and \(\mathcal {G}_{\mathrm {act}}(x_0=6.0,y_0=6.5, \sigma =0.1)\). Note, we have colocalized the reactions (3) and (4), in order to obtain that \(\mathrm {PYR}\) is used equally in the two reactions, such that we can set the parameter \(\alpha \) of the ODE asymptotic solutions of Eq. (26) equal to 0.5.
The influx of \(\mathrm {GLC}\) entering the cell domain has been set equal to 100 until time \(t=1\) and is entering the cell into a circular subdomain with radius 0.3 and center the origin.
The rate constants \(K_{\cdot }\) of the chemical reactions are set equal to 10.0, in order to avoid that one reaction dominates over, and the diffusive parameters \(D_{[\,\cdot \,]}\) of each chemical species is 100.0 to accelerate the convergence to the ODEs solutions. The initial amount of concentrations inside the cell are set to zero except for \([\mathrm {ATP}]\) and \([\mathrm {ADP}]\) that are equal to 1. Final time is 1000, as well as the number of time step. The CutFEM penalty parameter \(\gamma \) has been set equal to 0.1. The mesh size is set to a maximum diameter of 0.1744. In this experiment, a finer mesh is not required for proving the convergence to the ODEs solutions.
As initial condition, the asymptotic ODEs use the solution of PDEs at time equal to 1 when the source term of glucose stops, which keeps the total amounts of concentration unchanged, as shown in Appendix A.
To use scipy to solve the ODEs we set all the parameters as the PDEs, the influx of \(\mathrm {GLC}\) and the initial conditions are obtained from the PDE ones integrating over the domain.
In order to compare the numerical solution of the system (6) solved using CutFEM, we integrate the solutions of the concentrations over the domain \(\Omega \) to obtain the average chemical concentration of each species at each time step. We use the following notation
In Fig. 5b, we plot the solutions obtained using the Formula (23) for the PDEs, the asymptotic ODE solutions obtained using Eq. (26) and the ODE solutions with scipy. As expected from the asymptotic solutions computed in Appendix A, the average concentrations of \(\mathrm {GLC}\), \(\mathrm {ATP}\), \(\mathrm {GLY}\) and \(\mathrm {PYR}\) go to zero whilst the products of the system are \(\mathrm {LAC}\) and \(\mathrm {ADP}\). We can see that the ODE solutions with scipy converge to the asymptotic solution very quickly, and after time \(t=200\) also the PDE solutions tend to the same values.
Example one: twodimensional circular domain
In this section, we assess the accuracy of the CutFEM solution. First, we consider the cell, \(\Omega \), as a circle defined by the level set function \(\phi (x,y)= (x4)^2+(y3)^2  25 \) and we show that the results obtained with CutFEM are of the same order as those obtained with FEM, where the circular domain is explicitly meshed using package mshr.
To investigate the behaviour of CutFEM for more complex boundaries we consider an irregular cell geometry defined by a perturbed circle represented by the level set function \( \phi (x,y) = (x4)^2+(y3)^2  \cos {(4x)}\cos {(5x)}  \sin {(4y)}\cos {(5y)}  25.\) We highlight how it is easy for CutFEM to work with a more complex shape just by changing the level set function.
In this experiment the glucose source term and the reaction locations and parameters are set as in section , with the exception of the \(\mathrm {Mito}\) reaction that is located at \(\mathcal {G}_{\mathrm {Mito}}(x_0=4.0, y_0=7.5, \sigma =0.1)\). The test case is represented schematically in Fig. 6a.
The chemical species are allowed to diffuse inside the cell with diffusive constants \(D_{[\,\cdot \,]}=1.0\) for each species. The rate constants of the chemical reaction and the initial chemical concentrations are set as in the previous test case, see Section . Final time is 10 and we set the number of time steps as 300. As before, the penalty parameter of CutFEM is set to 0.1. The choice of the mesh size is shown in Table 1 in accordance with the size of the Gaussian parameters \(\sigma \).
In Fig. 6b, we investigate the average concentrations inside the three domains at each time step using Eq. (23). The average concentrations for each species computed in the circular domain with FEM and CutFEM show equivalent results. The solutions obtained using the perturbed domain show higher average concentration of \(\mathrm {GLC}\) and \(\mathrm {ADP}\) than the results in the circular domain. We remind the reader that the system solved inside the perturbed domain is not supposed to produce same results as the circular one, however the dynamics show the same trend as shown in Fig. 6b.
For time equal to 5, we plot the solutions of the concentrations for each chemical species in Fig. 7. We notice how the Gaussian functions drive the chemical reactions in the regions defined in Fig. 6a. For example, we can notice that \(\mathrm {ATP}\) is consumed in two regions that locate respectively \(\mathrm {HXK}\) and \(\mathrm {act}\), while \(\mathrm {ADP}\) is produced. The \(\mathrm {GLC}\) entered the cell is diffusing in the domain and taking part to the \(\mathrm {HXK}\) reaction. In comparison, the results of FEM and CutFEM are almost identical.
To further analyze the plot shown in Fig. 7, we compare in Fig. 8 FEM and CutFEM solutions line \(x=y\) at time 5 (Fig. 8a) and final time 10 (Fig. 8b). We can recognize where the reactions are from the bump in the curve. The plot indicates that the results are equivalent.
Our experiments suggest that CutFEM produces similar solutions to the FEM but the computational time needed to solve CutFEM is five times as high as standard FEM. The number of DOFs is smaller for CutFEM compared to FEM, as shown in Table 1.
Concerning the larger computational time requires for CutFEM, the CutFEM implementation is based on FEniCS 1.5.0 released in 2015, while the FEM ones on FEniCS 2019.1.0 released in 2019 with significant improvements and computational optimizations. Since CutFEM relies in large parts on the FEniCS functions, its computational time would be highly reduced when using a newer version of FEniCS. Breaking down the total computational time, we identified that the CutFEM implementation of assembly is significantly slower than the FEniCS implementation of assembly. However, critically, we have verified that both implementations scale at the expected optimal rate O(N) in the number of cells N (results not shown). The larger constant in the O(N) scaling in the CutFEM implementation points to certain computational kernels not optimised for efficiency.
In conclusion, in this section we showed how CutFEM and FEM gives equivalent results for a circular domain. Moreover, we investigated the behaviour of CutFEM with a more complex domain, the perturbed circle.
Twodimensional nonLipschitz domain
In this section, we consider an irregular boundary, i.e. where the normal field along the surface is nonsmooth. We choose a heartshaped domain, which has two singularities (this is known as a nonLipschitz domain).
The heartshaped is described by the level set function \( \phi (x,y) = (y\sqrt{x})^2  1 + x^2\). The description of the problem setting is shown in Fig. 9. The gaussian functions are defined as \(\mathcal {G}_{\mathrm {HXK}}(x_0=0.1, y_0=0.5, \sigma =0.1)\), \(\mathcal {G}_{\mathrm {PYRK}}(x_0=0.3, y_0=10.0, \sigma =0.1)\), \(\mathcal {G}_{\mathrm {LDH}}(x_0=0.5, y_0=0.5,\sigma =0.1)\), \(\mathcal {G}_{\mathrm {Mito}}(x_0=0.5,y_0=0.7,\sigma =0.1)\) and \(\mathcal {G}_{\mathrm {act}}(x_0=0.0,y_0=0.9,\sigma =0.1)\). We consider a source term for \(\mathrm {GLC}\) active within a disk of radius 0.3, centered at the cusp and take the \(\mathrm {GLC}\) influx to be 100.
The diffusive constants, the reaction rate and the initial concentrations are as in “Example one: twodimensional circular domain” Section, as well as the penalty parameter for the stabilization term.
We solve the reaction diffusion system (6) using CutFEM, where we have set a background mesh with a maximum cell diameter equal to 0.01803, the number of DOFs is 129,606 and the total time to run the simulation was approximately 4 h.
Figures 10 and 11 show the solutions obtained in the heartshaped domain for each chemical species at the initial and final time. At the initial time, we can see how the \(\mathrm {GLC}\) (Fig. 10a) enters the cellular domain, diffuses and takes part in \(\mathrm {HXK}\). On the other hand, the region where the reaction \(\mathrm {act}\) (consuming \(\mathrm {ATP}\) and producing \(\mathrm {ADP}\)) is clearly visible (Fig. 10b, c). Observing the plot of \(\mathrm {GLY}\) (Fig. 10d) we can see the region where \(\mathrm {GLY}\) is produced by \(\mathrm {HXK}\) and at the same time consumed by \(\mathrm {PYRK}\). Interestingly, we can notice that at the initial time, the \(\mathrm {PYR}\) produced by \(\mathrm {PYRK}\) contributes to generating \(\mathrm {LAC}\), however \(\mathrm {PYR}\) has not reached the \(\mathrm {Mito}\) reaction site, so that there is no production of \(\mathrm {ATP}\) from this reaction (Fig. 10e, f).
At the final time (\(T=10\)), the \(\mathrm {GLC}\) has diffused into the domain, and is still used to generate \(\mathrm {HXK}\) (Fig. 11a). Concentrations \(\mathrm {ADP}\), \(\mathrm {PYR}\) and \(\mathrm {LAC}\) have reached a stable state (Fig. 11c, e, f), while \(\mathrm {ATP}\) is consumed by the \(\mathrm {act}\) reaction and is produced by the \(\mathrm {Mito}\) reaction (Fig. 11b). \(\mathrm {GLY}\) is still consumed by \(\mathrm {PYRK}\) and produced by \(\mathrm {HXK}\) (Fig. 11d).
Briefly, we observe that CutFEM solves the test case inside the heart shaped domain, the singularities are well described thanks to the choice of a fine mesh. The computational time of CutFEM in this test case is smaller than in the previous experiment since the number of DOFS is 4 times less then the previous test case.
Experiment three: 3 dimensional complex domain
For the last experiment, we work with a 3 dimensional domain. We consider a union of six spheres that generate a popcorn shape. To create the shape we use the union of the following level set functions
We sketch in Fig. 12a the problem setting projected onto the xy plane. The parameters chosen for the reaction locations are: \(\mathcal {G}_{\mathrm {HXK}}(x_0=0.5, y0=2.0, z_0=0.0, \sigma = 0.5)\), \(\mathcal {G}_{\mathrm {PYRK}}(x_0=1.1, y_0=1.2, z_0=0.0, \sigma =0.5)\), \(\mathcal {G}_{\mathrm {LDH}}(x_0=4.0, y_0=5.0, z_0=0.0,\sigma = 0.5)\), \(\mathcal {G}_{\mathrm {Mito}}(x_0=4.0,y_0=7.5, z_0=0.0, \sigma =0.5)\) and \(\mathcal {G}_{\mathrm {act}}(x_0=6.0,y_0=8.5, z_0=0.0, \sigma =0.5)\). The source term is located in a ball of radius 0.3 centered on the origin, and we increase the source influx to 1000 until time 1. The diffusive constants, the reaction rates and the initial conditions are set as in “Asymptotic solution ODEs” section.
Based on the converged mesh sizes obtained for the twodimensional examples, we set the mesh size to \(h=0.3772\). Note that the choice of the Gaussian parameters \(\sigma \) is designed to make the reactions significant since the mesh is coarser than the meshes used in the previous examples. Also, we increase the number of time steps to 100, while the final time is 10. The CutFEM penalty parameter is 0.1.
In Fig. 12b, we plot the average concentration of each species using Eq. (23). We examine the trend of the average concentrations plotting them with the ones computed in “Example one: twodimensional circular domain” section. Even though the system solved one in 2D and one in 3D gives different results, we expect their average concentrations to behave similarly. Clearly, we have a higher influx of \(\mathrm {GLC}\) entering the threedimensional domain, as well as higher initial concentrations of \(\mathrm {ATP}\) and \(\mathrm {ADP}\). As expected, the average concentrations are higher in the threedimensional domain but they all follow the same trend as the twodimensional cases.
We show the results obtained in the threedimensional domain at time 5 in Fig. 13. The results are in accordance with the ones showed in Section . We notice that the species are diffusing inside the domain and the reactions are happening in the location we indicated with the Gaussian functions.
In conclusion, in our threedimensional experiment we can see how the chain of chemical reactions describe the energy metabolism of a cell in a complex structure. CutFEM is able to work with complex threedimensional geometries, although the computational time is large (is 3 days in this case).
Conclusion and discussion
Studying brain energy metabolism can be helpful to further our understanding of several neurodegenerative diseases such as Alzheimer’s and Parkinson’s but a mechanistic perspective is still lacking. To investigate energy metabolism in biological relevant morphologies, we presented a simplified model of metabolism in a single cell using reaction–diffusion equations and demonstrated how to discretize the model using the FEM and CutFEM numerical methods. CutFEM has the advantage of enabling the use of a single level set function per cell, independent of the complexity of the cell geometry. Implementing using FEniCS and libCutFEM ensures the usability by nonexperts. In particular, modifying one or several of the reaction diffusion equations can be made by altering only a few lines of code and any linearisation and parallelisation is done automatically by the FEniCS framework. One of the difficulties of nonconforming methods for implicit domain definition [40, 61, 62] is due to the illconditioning of the system matrices when the interfaces or the boundary of the domain passes close to a node, leading to very large or very small diagonal terms. The consistent stabilisation term used by CutFEM prevents this issue and leads to a stable and convergent scheme. Other approaches are provided in [42,43,44].
Our results indicate that CutFEM is a valuable approach to deal with biological problems with arbitrarily complex cell morphologies. The appeal of level set descriptions coupled to enriched finite element approaches such as CutFEM lies in the fact that the motion of geometries over time only requires updating the level set function, without modifying the mesh. This will be instrumental to consider complex and time dependent shapes of cells such as astrocytes.
Our next steps will be to initiate the geometry of the cells through microscopy images 1 and to investigate the effect of perturbed astrocytic metabolism on neuronal support, which could lead to a better understanding of mechanisms in neurodegeneration.
Availability of data and materials
Two fully commented examples can be found at https://bitbucket.org/sofiafarina/cutfemenergymetabolism/ and are licensed under the LGPLv3. The standard FEM example was written against FEniCS Project version 2019.2.0. To run the CutFEM example access to the CutFEM library is required. This access can be granted on written request to the second author.
Abbreviations
 GLC:

Glucose
 ATP:

Adenosine triphosphate
 ADP:

Adenosine diphosphate
 GLY:

Glyceraldehyde 3phosphate
 PYR:

Pyruvate
 LAC:

Lactate
 \({[}\, \cdot \, {]}\) :

Concentration
 HXK:

Hexokinase
 PYRK:

Pyruvate kinase
 Mito:

TCA cycle activity
 LDH:

Lactate dehydrogenase
 act:

ATP consuming cellular activity
 \(\Omega \) :

Domain
 \(D_{{[}\cdot {]}}\) :

Diffusion term
 \(K_{\cdot }\) :

Reaction rate chemical reaction
 f :

Source term
 \(\mathcal {G}_{\cdot }\) :

Gaussian function
 CutFEM :

Cut Finite Element Method
 PDEs :

Partial Differential Equations
 ODEs:

Ordinary Differential Equations
Abbreviations
 GLC:

Glucose
 ATP:

Adenosine triphosphate
 ADP:

Adenosine diphosphate
 GLY:

Glyceraldehyde 3phosphate
 PYR:

Pyruvate
 LAC:

Lactate
 \({[}\, \cdot \, {]}\) :

Concentration
 HXK:

Hexokinase
 PYRK:

Pyruvate kinase
 Mito:

TCA cycle activity
 LDH:

Lactate dehydrogenase
 act:

ATP consuming cellular activity
 \(\Omega \) :

Domain
 \(D_{{[}\cdot {]}}\) :

Diffusion term
 \(K_{\cdot }\) :

Reaction rate chemical reaction
 f :

Source term
 \(\mathcal {G}_{\cdot }\) :

Gaussian function
 CutFEM :

Cut Finite Element Method
 PDEs :

Partial Differential Equations
 ODEs:

Ordinary Differential Equations
References
 1.
Cloutier M, Bolger FB, Lowry JP, Wellstead P. An integrative dynamic model of brain energy metabolism using in vivo neurochemical measurements. Journal of computational neuroscience. 2009;27(3):391. https://doi.org/10.1007/s1082700901528.
 2.
Magistretti P, Pellerin L. Cellular mechanisms of brain energy metabolism. relevance to functional brain imaging and to neurodegenerative disorders a. Annals of the New York Academy of Sciences, 1996; 777(1):380–387. https://doi.org/10.1111/j.17496632.1996.tb34449.x
 3.
Camandola S, Mattson M.P. Brain metabolism in health, aging, and neurodegeneration. The EMBO journal. 2017;36(11):1474–92. https://doi.org/10.15252/embj.201695810.
 4.
Bélanger M, Allaman I, Magistretti PJ. Brain energy metabolism: focus on astrocyteneuron metabolic cooperation. Cell metabolism. 2011;14(6):724–38. https://doi.org/10.1016/j.cmet.2011.08.016.
 5.
Salamanca L, Mechawar N, Murai KK, Balling R, Bouvier DS, Skupin A. Micmac: An automated pipeline for highthroughput characterization and classification of threedimensional microglia morphologies in mouse and human postmortem brain samples. Glia. 2019;67(8):1496–509. https://doi.org/10.1002/glia.23623.
 6.
Rappel H, Beex LA, Hale JS, Bordas S. Bayesian inference for the stochastic identification of elastoplastic material parameters: introduction, misconceptions and insights. arXiv preprint arXiv:1606.02422 (2016)
 7.
Hauseux P, Hale JS, Cotin S, Bordas SP. Quantifying the uncertainty in a hyperelastic soft tissue model with stochastic parameters. Applied Mathematical Modelling. 2018;62:86–102. https://doi.org/10.1016/j.apm.2018.04.021.
 8.
Rappel H, Beex LA, Bordas SP. Bayesian inference to identify parameters in viscoelasticity. Mechanics of TimeDependent Materials. 2018;22(2):221–58. https://doi.org/10.1007/s1104301793610.
 9.
Rappel H, Beex LA, Hale JS, Noels L, Bordas S. A tutorial on bayesian inference to identify material parameters in solid mechanics. Archives of Computational Methods in Engineering. 2019;1–25. https://doi.org/10.1007/s1183101809311x.
 10.
Rappel H, Beex LA, Noels L, Bordas S. Identifying elastoplastic parameters with bayes’ theorem considering output error, input error and model uncertainty. Probabilistic Engineering Mechanics. 2019;55:28–41. https://doi.org/10.1016/j.probengmech.2018.08.004.
 11.
Rappel H, Beex L. Estimating fibres’ material parameter distributions from limited data with the help of bayesian inference. European Journal of MechanicsA/Solids. 2019;75:169–96. https://doi.org/10.1016/j.euromechsol.2019.01.001.
 12.
Bui HP, Tomar S, Courtecuisse H, Cotin S, Bordas SP. Realtime error control for surgical simulation. IEEE Transactions on Biomedical Engineering. 2017;65(3):596–607. https://doi.org/10.1109/TBME.2017.2695587.
 13.
Duprez M, Bordas S, Bucki M, Bui HP, Chouly F, Lleras V, Lobos C, Lozinski A, Rohan PY, Tomar S. Quantifying discretization errors for softtissue simulation in computer assisted surgery: a preliminary study. arXiv preprint arXiv:1806.06944 (2018). https://doi.org/10.1016/j.apm.2019.07.055
 14.
Bui HP, Tomar S, Courtecuisse H, Audette M, Cotin S, Bordas SP. Controlling the error on target motion through realtime mesh adaptation: Applications to deep brain stimulation. International journal for numerical methods in biomedical engineering. 2018;34(5):2958. https://doi.org/10.1002/cnm.2958.
 15.
Logg A, Mardal KA, Wells G. Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book. Heidelberg: Springer; 2012.
 16.
Alnæs M.S, Blechta J, Hake J, Johansson A, Kehlet B, Logg A, Richardson C, Ring J, Rognes M.E, Wells G.N. The fenics project version 1.5. Archive of Numerical Software. 2015;3(100):9–23. https://doi.org/10.11588/ans.2015.100.20553.
 17.
Hale JS, Brunetti M, Bordas SP, Maurini C. Simple and extensible plate and shell finite element models through automatic code generation tools. Computers & Structures. 2018;209:163–81. https://doi.org/10.1016/j.compstruc.2018.08.001.
 18.
Renard Y, Pommier J. Getfem finite element library. 2007; http://home.gna.org/getfem
 19.
Hecht F. New development in freefem++. J Numer Math. 2012;20(3–4):251–65.
 20.
Arndt D, Bangerth W, Clevenger T.C, Davydov D, Fehling M, GarciaSanchez D, Harper G, Heister T, Heltai L, Kronbichler M, Kynch R.M, Maier M, Pelteret J.P, Turcksin B, Wells D. The deal.II library, version 9.1. Journal of Numerical Mathematics. 2019;27(4):203–13. https://doi.org/10.1515/jnma20190064.
 21.
Pellerin L, Magistretti PJ. Glutamate uptake into astrocytes stimulates aerobic glycolysis: a mechanism coupling neuronal activity to glucose utilization. Proceedings of the National Academy of Sciences. 1994;91(22):10625–9.
 22.
Michaelis L, Menten ML. Die Kinetik der Invertinwirkung. Universitätsbibliothek Johann Christian Senckenberg,  2007;
 23.
Çak\(\iota \)r, T., Alsan, S., Saybaş\(\iota \)l\(\iota \), H., Ak\(\iota \)n, A., Ülgen, K.Ö.: Reconstruction and flux analysis of coupling between metabolic pathways of astrocytes and neurons: application to cerebral hypoxia. Theoretical Biology and Medical Modelling, 2007; 4(1):48. https://doi.org/10.1186/17424682448
 24.
Sertbaş M, Ülgen K, Çakır T. Systematic analysis of transcriptionlevel effects of neurodegenerative diseases on human brain metabolism by a newly reconstructed brainspecific metabolic network. FEBS open bio. 2014;4(1):542–53. https://doi.org/10.1016/j.fob.2014.05.006.
 25.
Khalid MU, Tervonen A, Korkka I, Hyttinen J, Lenk K. Geometrybased computational modeling of calcium signaling in an astrocyte. In: Eskola H, Väisänen O, Viik J, Hyttinen J, editors. EMBEC & NBC 2017. Singapore: Springer; 2017. p. 157–60.
 26.
Ellingsrud A, Solbrå A, Einevoll G, Halnes G, Rognes M. Finite element simulation of ionicelectrodiffusion in cellular geometries. arXiv preprint arXiv:1911.03211 2019;
 27.
Arranz AM, De Strooper B. The role of astroglia in alzheimer’s disease: pathophysiology and clinical implications. The Lancet Neurology. 2019. https://doi.org/10.1016/S14744422(18)304903.
 28.
Osher S, Sethian JA. Fronts propagating with curvaturedependent speed: algorithms based on hamiltonjacobi formulations. Journal of computational physics. 1988;79(1):12–49. https://doi.org/10.1016/00219991(88)900022.
 29.
Sethian JA. Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science. Cambridge: Cambridge University Press; 1999.
 30.
Duddu R, Bordas S, Chopp D, Moran B. A combined extended finite element and level set method for biofilm growth. International Journal for Numerical Methods in Engineering. 2008;74(5):848–70. https://doi.org/10.1002/nme.2200.
 31.
Duddu R, Chopp DL, Moran B. A twodimensional continuum model of biofilm growth incorporating fluid flow and shear stress based detachment. Biotechnology and bioengineering. 2009;103(1):92–104. https://doi.org/10.1002/bit.22233.
 32.
Marot C, Pellerin J, Remacle JF. One machine, one minute, three billion tetrahedra. International Journal for Numerical Methods in Engineering. 2019;117(9):967–90. https://doi.org/10.1002/nme.5987.
 33.
Melenk JM, Babuška I. The partition of unity finite element method: basic theory and applications. Computer methods in applied mechanics and engineering. 1996;139(1–4):289–314. https://doi.org/10.1016/S00457825(96)010870.
 34.
Babuška I, Melenk JM. The partition of unity method. International journal for numerical methods in engineering. 1997;40(4):727–58. 10.1002/(SICI)10970207(19970228)40:4¡727::AIDNME86¿3.0.CO;2N.
 35.
Strouboulis T, Copps K, Babuška I. The generalized finite element method. Computer methods in applied mechanics and engineering. 2001;190(32–33):4081–193. https://doi.org/10.1016/S00457825(01)001888.
 36.
Belytschko T, Black T. Elastic crack growth in finite elements with minimal remeshing. International journal for numerical methods in engineering. 1999;45(5):601–20. https://doi.org/10.1002/(SICI)10970207(19990620)45:53.0.CO;2S.
 37.
Bordas S, Moran B. Enriched finite elements and level sets for damage tolerance assessment of complex structures. Engineering Fracture Mechanics. 2006;73(9):1176–201. https://doi.org/10.1016/j.engfracmech.2006.01.006.
 38.
Béchet É, Minnebo H, Moës N, Burgardt B. Improved implementation and robustness study of the xfem for stress analysis around cracks. International journal for numerical methods in engineering. 2005;64(8):1033–56. https://doi.org/10.1002/nme.1386.
 39.
Laborde P, Pommier J, Renard Y, Salaün M. Highorder extended finite element method for cracked domains. International Journal for Numerical Methods in Engineering. 2005;64(3):354–81. https://doi.org/10.1002/nme.1370.
 40.
Menk A, Bordas SP. A robust preconditioning technique for the extended finite element method. International Journal for Numerical Methods in Engineering. 2011;85(13):1609–32. https://doi.org/10.1002/nme.3032.
 41.
Gupta V, Duarte CA, Babuška I, Banerjee U. Stable gfem (sgfem): Improved conditioning and accuracy of gfem/xfem for threedimensional fracture mechanics. Computer methods in applied mechanics and engineering. 2015;289:355–86. https://doi.org/10.1016/j.cma.2015.01.014.
 42.
Agathos K, Chatzi E, Bordas SP, Talaslidis D. A wellconditioned and optimally convergent xfem for 3d linear elastic fracture. International Journal for Numerical Methods in Engineering. 2016;105(9):643–77. https://doi.org/10.1002/nme.4982.
 43.
Agathos K, Chatzi E, Bordas SP. Multiple crack detection in 3d using a stable xfem and global optimization. Computational mechanics. 2018;62(4):835–52. https://doi.org/10.1007/s004660171532y.
 44.
Agathos K, Bordas SP, Chatzi E. Improving the conditioning of xfem/gfem for fracture mechanics problems through enrichment quasiorthogonalization. Computer Methods in Applied Mechanics and Engineering. 2019;346:1051–73. https://doi.org/10.1016/j.cma.2018.08.007.
 45.
Hansbo A, Hansbo P. An unfitted finite element method, based on nitsche’s method, for elliptic interface problems. Computer methods in applied mechanics and engineering. 2002;191(47–48):5537–52. https://doi.org/10.1016/S00457825(02)005248.
 46.
Burman E. Ghost penalty. Comptes Rendus Mathematique. 2010;348(21–22):1217–20. https://doi.org/10.1016/j.crma.2010.10.006.
 47.
Burman E, Claus S, Hansbo P, Larson MG, Massing A. Cutfem: discretizing geometry and partial differential equations. International Journal for Numerical Methods in Engineering. 2015;104(7):472–501. https://doi.org/10.1002/nme.4823.
 48.
Boiveau T, Burman E, Claus S, Larson M. Fictitious domain method with boundary value correction using penaltyfree nitsche method. Journal of Numerical Mathematics. 2018;26(2):77–95. https://doi.org/10.1515/jnma20161103.
 49.
Claus S, Kerfriden P. A stable and optimally convergent latincutfem algorithm for multiple unilateral contact problems. International Journal for Numerical Methods in Engineering. 2018;113(6):938–66. https://doi.org/10.1002/nme.5694.
 50.
Claus S, Bigot S, Kerfriden P. Cutfem method for stefansignorini problems with application in pulsed laser ablation. SIAM Journal on Scientific Computing. 2018;40(5):1444–69. https://doi.org/10.1137/18M1185697.
 51.
Claus S, Kerfriden P. A cutfem method for twophase flow problems. Computer Methods in Applied Mechanics and Engineering. 2019;348:185–206. https://doi.org/10.1016/j.cma.2019.01.009.
 52.
Alnæs MS, Logg A, Ølgaard KB, Rognes ME, Wells GN. Unified form language: A domainspecific language for weak formulations of partial differential equations. ACM Transactions on Mathematical Software (TOMS). 2014;40(2):1–37. https://doi.org/10.1145/2566630.
 53.
Balay S, Abhyankar S, Adams MF, Brown J, Brune P, Buschelman K, Dalcin L, Dener A, Eijkhout V, Gropp WD, Karpeyev D, Kaushik D, Knepley MG, May DA, McInnes LC, Mills RT, Munson T, Rupp K, Sanan P, Smith BF, Zampini S, Zhang H, Zhang H. PETSc users manual. Technical Report ANL95/11  Revision 3.12, Argonne National Laboratory, 2019; https://www.mcs.anl.gov/petsc
 54.
Murray JD. Mathematical Biology: I. An Introduction vol. 17, pp. 175–500. Springer, 2007;
 55.
Waage P, Gulberg CM. Studies concerning affinity. Journal of chemical education. 1986;63(12):1044. https://doi.org/10.1021/ed063p1044.
 56.
Pierre M. Global existence in reactiondiffusion systems with control of mass: a survey. Milan Journal of Mathematics. 2010;78(2):417–55. https://doi.org/10.1007/s0003201001334.
 57.
Brenner S, Scott R. The Mathematical Theory of Finite Element Methods, 3rd edn. Texts in Applied Mathematics. Springer, New York, 2008; https://doi.org/10.1007/9780387759340. https://www.springer.com/gp/book/9780387759333 Accessed 20200108
 58.
Allik H, Hughes TJ. Finite element method for piezoelectric vibration. International journal for numerical methods in engineering. 1970;2(2):151–7. https://doi.org/10.1002/nme.1620020202.
 59.
Requicha AA, Voelcker HB. Constructive solid geometry, 1977;
 60.
Quarteroni A, Valli A. Numerical Approximation of Partial Differential Equations. Heidelberg: Springer; 2008.
 61.
Moumnassi M, Belouettar S, Béchet É, Bordas SP, Quoirin D, PotierFerry M. Finite element analysis on implicitly defined domains: An accurate representation based on arbitrary parametric surfaces. Computer Methods in Applied Mechanics and Engineering. 2011;200(5–8):774–96.
 62.
Moumnassi M, Bordas SPA, Figueredo R, Sansen P. Analysis using higherorder xfem: implicit representation of geometrical features from a given parametric representation. Mechanics & Industry. 2014;15(5):443–8.
 63.
Quesseveur G, d’Hérouël AF, Murai KK, Bouvier DS. A specialized method to resolve fine 3d features of astrocytes in nonhuman primate (marmoset, callithrix jacchus) and human fixed brain samples. In: Benedetto, B.D. (ed.) Astrocytes, pp. 85–95. Springer, Regensburg, Germany, 2019; https://doi.org/10.1007/9781493990689_6
Acknowledgements
We would like to thank Niko Komin for his contribution in the simplified model of energy metabolism and David Bouvier and Corrado Ameli to provide the reconstruction of the astrocyte shown in Fig. 1.
Funding
This work is part of the DRIVEN project funded by Luxembourg National Research Fund under the PRIDE programme (PRIDE17/12252781).
Author information
Affiliations
Contributions
SF developed the content and the code based on the model of AS. JH and SC contributed to the FEniCS Project and CutFEM implementation. SB supervises the project. All authors have contributed to the preparation of the final manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Asymptotic solution
Appendix A: Asymptotic solution
The system of ordinary differential equations is obtained applying the law of mass action to Eqs. (1)–(5). To avoid misinterpretation, we denote the concentration \(A=[\mathrm {GLC}]\), \(B =[\mathrm {ATP}]\), \(C=[\mathrm {ADP}]\), \(D=[\mathrm {GLY}]\), \(E = [\mathrm {PYR}]\), \(F=[\mathrm {LAC}]\) and we obtain the system
The initial condition for Eq. (24) are chosen using the solution of the PDEs system Eq. (6). We compute the integral over the domain \(\Omega \) using Eq. (23) of the solutions of the PDEs when the source term ends, making stable the total amount of concentrations inside the domain
Considering abundance of \(\mathrm {ATP}\) and \(\mathrm {ADP}\) inside the domain, this lead to only a possible system of steady state solution, that is when all the \(\mathrm {GLC}\) is consumed by reaction \(\mathrm {HXK}\) Eq. (1), \(\mathrm {GLY}\) is consumed by reaction \(\mathrm {PYRK}\) Eq. (2) and \(\mathrm {ATP}\) is fully transformed into \(\mathrm {ADP}\) from Eq. (5):
In the solutions we have introduced a parameter \(\alpha \in [0,1]\) which take into account the fact that the concentration of \(\mathrm {PYR}\) is transformed not in equal part to \(\mathrm {LAC}\) and \(\mathrm {ATP}\) from the reaction \(\mathrm {LDH}\) Eq. (3) and reaction \(\mathrm {Mito}\) Eq. (4).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Farina, S., Claus, S., Hale, J.S. et al. A cut finite element method for spatially resolved energy metabolism models in complex neurocell morphologies with minimal remeshing. Adv. Model. and Simul. in Eng. Sci. 8, 5 (2021). https://doi.org/10.1186/s40323021001918
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40323021001918
Keywords
 CutFEM
 Unfitted methods
 FEM
 Level sets
 Reaction diffusion system
 Energy metabolism