Elsevier

Journal of Computational Physics

Volume 314, 1 June 2016, Pages 522-537
Journal of Computational Physics

Coupling vs decoupling approaches for PDE/ODE systems modeling intercellular signaling

https://doi.org/10.1016/j.jcp.2016.03.020Get rights and content

Abstract

We consider PDE/ODE systems for the simulation of intercellular signaling in multicellular environments. The intracellular processes for each cell described here by ODEs determine the long-time dynamics, but the PDE part dominates the solving effort. Thus, it is not clear if commonly used decoupling methods can outperform a coupling approach. Based on a sensitivity analysis, we present a systematic comparison between coupling and decoupling approaches for this class of problems and show numerical results. For biologically relevant configurations of the model, our quantitative study shows that a coupling approach performs much better than a decoupling one.

Introduction

Cellular signaling has been mathematically described by a variety of models mostly relying on large systems of ordinary differential equations (ODE) [1]. These earlier models were extended by partial differential equations (PDE) to accurately consider concentration gradients and their effect [2], [3], [4], [5]. In our intercellular model we consider the diffusion and action of small signaling proteins in the intercellular space described by PDE, i.e. reaction–diffusion equations, coupled on the cell surfaces with ODEs responsible for the intracellular dynamics. This coupling of mixed differential equations allows mainly two strategies for an implicit solver: (1) nonlinear methods among them the nonlinear multigrid method also called “full approximation scheme” (FAS) [6], [7], (2) linearization based approaches (Newton-type). These methods can be used in a combined approach, where for example a Newton-type method can be used as smoother for a FAS and a linear or a nonlinear multigrid can be used as a preconditioner for a Newton-type method. The comparison and discussion of advantages and disadvantages of these strategies that depend on many aspects like, e.g. the accuracy of the Jacobian approximation [8], is not the focus of our work. Moreover, since in the considered coupled PDE/ODE system the linearization is not a critical point we choose a Newton-type method preconditioned by a linear multigrid and study the effect of splitting the linearization. A decoupling solution approach, based on a fixed-point method, is often used when restrictions on accuracy can be relaxed in order to allow an easier numerical treatment of complicated problems. Such an approach makes it possible to reuse existing solvers and is widely used in numerical methods for coupled systems, see [9], [10], [11], [12], [13], [14]. In case of strongly coupled equations (see Section 4 for the definition of strong coupling used here), this strategy leads usually to high computational costs through very small time steps needed to reduce the strength of the coupling. In fact, the convergence of the fixed-point iterations is typically linear with the convergence rate depending on the used block-iterative method and on the strength of the coupling since it depends on the spectral radius of the matrices involved [15]. Therefore a drawback of decoupling solvers is their low convergence and possibly divergence. On the contrary, the drawback of fully implicit solvers is mainly that they demand for the implementation of a special-purpose code.

We consider PDE/ODE systems for the simulation of intercellular signaling in multicellular environments. Since the ODE part does not lead to a large discretization system like the PDE part, it is not clear if a decoupling method can outperform a coupling approach. In fact other works with PDE/ODE models have used decoupling approaches for systems arising in biological applications, e.g. blood flow including chemical interaction [16], [17], signal transduction [4], cardiovascular flow [9], cancer invasion [18]. With the exception of [9] these works do not consider a comparison with a monolithic approach. In addition, for the most of these applications it is not clear whether the strength of the coupling is strong or weak.

In this context, the scope of our work is to present a systematic comparison between coupling and decoupling approaches for this class of problems. The method is based on a sensitivity analysis to compute the strength of the coupling. Additionally, we compare a multigrid method in which the coupling is considered only at the coarsest level to a fully coupling approach. There are few works that deal with the fully coupling solution process of dimensionally heterogeneous systems such as [19]. Furthermore, we focus on the solution of local microenvironments. Therefore, this solution process can be used for example as local solver for nonlinear preconditioner of Newton-type methods [20] or domain decomposition methods [21].

Outline  The paper is organized as follows. In Section 2 we give an abstract description of the model. We present the mathematical formulation and the functional setting. We discretize the coupled PDE/ODE system by the finite element method (FEM) in Section 3. We use a sensitivity approach in Section 4 to analyze the coupling of the PDE/ODE system and in Section 5 we present different solving approaches for the coupled system. We present the numerical results exemplarily for a particular application and discuss numerical aspects in Section 6. In Section 7 we describe a realistic configuration and give a biological interpretation to the results obtained.

Section snippets

Mathematical models for intercellular signaling

Our intercellular signaling model consists of one PDE equation for the interaction between the cells in the intercellular area ΩR3 coupled with ODEs for the intracellular processes. We denote by Nc the number of cells in Ω and indicate by Γi the boundary of each cell i for i=1,,Nc. The outer boundary of Ω is denoted by Γout, see Fig. 1.

Depending on the type of intercellular signaling, different nonlinear operators describe the dynamics in the intercellular area (AΩ), e.g. degradation, the

Discretization

For a variational formulation we introduce the Hilbert space Vp=H1, for the PDE part of the equation, and the vector space Vo=Rn, where n denotes the number of ordinary differential equations in the system. We define the product space V:=Vp×Vo.

We consider the implicit Euler method as time stepping scheme, and spatially discretize the computational domain Ω by continuous finite elements.

Considering a time step k we use the semi-discretized weak formulation of the problem (20b) to compute (un+1,vn

Sensitivity analysis of the coupled system

In this section we study the strength of the coupling between the PDE and the ODE part of the system. This is done to motivate the choice of the solution process that we present in the following part of the work. In this work we refer to strong or weak coupling meaning the strength of the coupling independently of the approach used to solve the coupled problem. We first define in the next subsection the used definition of strong and weak coupling, then we apply this definition to our system of

Numerical schemes

In this section we present two different approaches to solve the class of coupled PDE/ODE systems presented in this work that are depicted in Fig. 2. In both schemes we consider a Newton-type solver for the nonlinearities. In the coupling scheme (a) the linear system is solved by a Krylov-solver that is preconditioned by a multigrid scheme. In the decoupling scheme (b) the Newton update is approximated by a fixed-point iteration and a multigrid method is applied only to the PDE part. Therefore,

Numerical results

In this section we make a comparison between the different numerical schemes presented in the previous section. The following computations were performed using the C++ library deal.II, see Bangerth et al. [31], with the UMFPACK library applied as direct solver on the coarse grid level [32]. Further implementation details can be found in [33].

Intercellular signaling model  Exemplarily we focus on a model for signaling of Interleukin-2 (IL-2) between T cells in the lymph node first presented by

Application to a cellular microenvironment

We present a numerical result applied to a cellular microenvironment consisting of 216 T cells. This in silico experiment can be considered as representative to observe the cell-to-cell interactions in the lymph node. In our configuration 54 T cells are randomly chosen as T helper cells and release IL-2 locally into the immunological synapse with a rate of qi=3500mol/h. The remaining cells are responding T cells with qi=0 which absorb the IL-2 from the environment. The amount of IL-2 which is

Conclusions

In this paper, we considered a coupled nonlinear system consisting of a parabolic partial differential equation and many ordinary differential equations, which emerges e.g. in systems biology by modeling intercellular signaling pathways. We presented numerical results for an application in immunology: the dynamics of cytokine (Interleukin-2) signaling between different types of T cells. The presented methods can nevertheless be used for solving other signaling pathways or other applications

Acknowledgements

The authors thank Prof. Rolf Rannacher for the numerous fruitful discussions on numerical aspects of this work. Furthermore, the authors acknowledge Prof. Thomas Höfer for his support and for provisioning this concrete application in immunology. In addition, the authors gratefully acknowledged the work for the visualization in 3D done by Marcus Schaber (Visualization and Numerical Geometry Group at the Interdisciplinary Center of Scientific Computing (IWR), Heidelberg.)

We thank the anonymous

References (38)

  • M.E. Moghadam et al.

    A modular numerical method for implicit 0D/3D coupling in cardiovascular finite element simulations

    J. Comput. Phys.

    (2013)
  • C. Farhat et al.

    Fast staggered algorithms for the solution of three-dimensional nonlinear aeroelastic problems

  • D. Mok et al.

    Partitioned analysis schemes for the transient interaction of incompressible flows and nonlinear flexible structures

  • M. Heil

    Stokes flow in an elastic tube—a large-displacement fluid–structure interaction problem

    Int. J. Numer. Methods Fluids

    (1998)
  • G. Seemann et al.

    Framework for modular, flexible and efficient solving the cardiac bidomain equations using PETSc

  • M. Cervera et al.

    On the computational efficiency and implementation of block-iterative algorithms for nonlinear coupled problems

    Eng. Comput., Int. J. Comput.-Aided Eng.

    (1996)
  • T. Ricken et al.

    Modeling function–perfusion behavior in liver lobules including tissue, blood, glucose, lactate and glycogen by use of a coupled two-scale PDE–ODE approach

    Biomech. Model. Mechanobiol.

    (2015)
  • A. Quarteroni et al.

    Analysis of a geometrical multiscale model based on the coupling of ODE and PDE for blood flow simulations

    Multiscale Model. Simul.

    (2003)
  • C. Stinner et al.

    Global weak solutions in a PDE–ODE system modeling multiscale cancer cell invasion

    SIAM J. Math. Anal.

    (2014)
  • Cited by (0)

    View full text