This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

[1]\fnmAndreas \surButtenschön

[1]\orgdivDepartment of Mathematics and Statistics, \orgnameUniversity of Massachusetts, \orgaddress\street710 N. Pleasant St, \cityAmherst, \postcode01003, \stateMA, \countryUnited Stated of America

2]\orgdivDepartment of Mathematics, \orgnameUniversity of British Columbia, \orgaddress\street1984 Mathematics Road, \cityVancouver, \postcodeV6T 1Z2, \stateBC, \countryCanada

How cells stay together; a mechanism for maintenance of a robust cluster explored by local and nonlocal continuum models

[email protected]    \fnmShona \surSinclair [email protected]    \fnmLeah \surEdelstein-Keshet [email protected] * [
Abstract

Formation of organs and specialized tissues in embryonic development requires migration of cells to specific targets. In some instances, such cells migrate as a robust cluster. We here explore a recent local approximation of nonlocal continuum models by Falcó, Baker, and Carrillo (2023). We apply their theoretical results by specifying biologically-based cell-cell interactions, showing how such cell communication results in an effective attraction-repulsion Morse potential. We then explore the clustering instability, the existence and size of the cluster, and its stability. We also extend their work by investigating the accuracy of the local approximation relative to the full nonlocal model.

keywords:
Stable cell cluster, attractant-repellent chemotaxis, Morse potential, nonlocal PDE, local PDE approximation
pacs:
[

MSC Classification]95B05

\bmhead

Acknowledgements

LEK is funded by a Natural Science and Engineering Research Council (NSERC, Canada) Discovery Grant. SRS was funded by an NSERC undergraduate summer research assistantship (USRA) in 2023. We are grateful to Paul Kulesa and Jennifer C. Kasemeier-Kulesa (Notre Dame University and Stowers Institute) for discussions and for the original biological motivation that led to the topic of robust cell clusters. We also wish to acknowledge the (1995) UBC PhD thesis of Alex Mogilner where links between chemotaxis, Morse potentials, and regimes of behaviour were originally shown.

1 Introduction

Migration of clusters of tumor cells found by [16] introduced the importance of collective cell behaviour and migration. However, cell clusters form (and migrate collectively) in many normal developmental and morphogenetic processes [37]. This is true of the post-aggregation “slug” stage of social amoebae such as Dichtyostelium discoideum (DD) [7] and the primary lateral line primordial (PLLP), a cluster of about 100 cells that deposits sensory organs along the length of a zebrafish embryo [9]. Long range migration by a cluster of cells is essential in the formation of the sympathetic nervous system, as studied in [20] for chick embryos. Cell clusters can depend on actual contact, adhesion, and short or long-lived junctions formed between cells [15]. But in the case of the primary sympathetic ganglion (PSG) cluster described in [20], the cells form a “swarm” and avoid adhering to one another.

A question arising in these experiments is what determines the observed cell cluster sizes, and in particular how cluster size is related to cell-cell interactions. From spatial RNAseq experiments in the PSG, it is known that the cells in the migrating cluster interact via chemical signalling [20], but whether the chemicals are attractants, repellents, or both, is unclear. More generally, an interesting biological problem is to determine what combination of such chemicals (with various rates of diffusion, secretion, and decay) would be consistent with the formation and maintenance of robust cell clusters. This general question motivates our paper.

Models of collective cell behaviour have utilized the cellular Potts Model [29] and a spheroidal (3D) cell-based computation of the DD slug [35], and of the PLLP [23], and other custom-built 2D cell migration models for neural crest cells [27]. See review in [4]. Comparison of continuum and agent-based models in cell populations are found in [3, 11].

Non-local equations have frequently been used to describe cell densities. These include models that have non-local interactions a-priori such as the cell-cell adhesion model of [1], the non-local chemotaxis model by [32], or models in which the non-local term appears due to a “model reduction” technique (e.g., quasi steady-state assumptions, as in [23, 28]). A popular reduction of non-local models to local models has been considered in the literature by [30], by [17], and recently by [14]. In this reduction, the limits of integration are formally taken to zero, so that fully local equations are found. These local equations can give powerful insights and connections to well studied local equations e.g. Cahn-Hilliard or Allen-Cahn [8].

While much of our paper rests on the results of [14], we here pose several new questions of both mathematical and biological flavour:

  1. (a)

    What biological processes give rise to cell-cell interactions? (Rephrased, where do the kernels describing cell “potentials” come from?)

  2. (b)

    Under what conditions (on the kernels or the parameters) would a single cell species create a stable cluster that is maintained?

  3. (c)

    How does the cluster size (radius) depend on the cell interaction parameters?

  4. (d)

    For a given underlying cell signaling model, can we create a “map” in parameter space that shows the possible regimes of behaviour of a population of such cells? What behaviours can occur other than clustering?

  5. (e)

    How does a local (PDE) approximation compare with the full nonlocal (integro-PDE) model?

  6. (f)

    How do the predictions of the continuum models compare with agent-based models with similar mechanisms?

More broadly, we espouse the idea of using several kinds of model simplifications to gain initial understanding of processes, before attempting more complex scenarios and adding details. Indeed, we make several simplifications to obtain insight on the migration of the PSG cluster: (1) We first drop the analysis of migration and consider the problem of cluster existence, shape, and stability. (2) We carry out analysis in a 1D geometry, where results are simplest and most intuitive. (3) We assume one species of identical cells.

In what follows, we will examine both nonlocal models and their local approximation, applying previous results of [14, 28] to the questions posed above.

2 The nonlocal model and its approximation by a local PDE

To keep this paper self-contained, we first provide a pedagogical summary of part of [14], listing some basic results from that paper.

Let ρ(x,t)\rho(x,t) denote density of cells, at position xx and time tt. Ignoring random cell motion, the full nonlocal model in generality is

ρt=(ρ𝐯),where𝐯=𝐅,𝐅=W,W=(Kρ),\frac{\partial\rho}{\partial t}=-\nabla\cdot(\rho\mathbf{v}),\quad\mbox{where}\quad\mathbf{v}=\mathbf{F},\quad\mathbf{F}=-\nabla W,\quad W=(K*\rho), (1)

where WW represents a potential induced by a cell on its neighboring cells at some position 𝐱\mathbf{x} at time tt. The velocity 𝐯\mathbf{v} is proportional to a force 𝐅\mathbf{F} in the low Reynold’s number regime of cells; here the drag coefficient has been scaled to 1. The force is assumed to be the gradient of a potential induced by the cells. KρK*\rho is a convolution that sums up all distance-dependent cellular interactions.

Here we consider the spatial 1D case, where the model reduces to

ρt=x(ρv),v=(Kρ)x,\frac{\partial\rho}{\partial t}=-\frac{\partial}{\partial x}(\rho v),\quad v=-\frac{\partial(K*\rho)}{\partial x}, (2)

where

W:=Kρ=K(xs)ρ(x,t)𝑑x=K(z)ρ(xz,t)𝑑zW:=K*\rho=\int_{-\infty}^{\infty}K(x-s)\rho(x,t)dx=\int_{-\infty}^{\infty}K(z)\rho(x-z,t)dz

is a convolution over the whole real line, <x<-\infty<x<\infty. We will take the simplest case, where KK is a symmetric kernel, i.e. cells interact in a symmetric way, making KK an even function of space, K(x)=K(x)K(x)=K(-x), so cells induce a potential that is symmetric about their position. This general problem was one of the topics studied in [14]. We wrote the convolution in two forms, as the latter is useful to our next step.

As in [14], we consider a local approximation for the nonlocal 1D model (2). To do so, we transformed the integration variable (z=xsz=x-s) as shown above. Expand the term ρ(xz,t)\rho(x-z,t) in a Taylor series about xx to obtain a sum of partial derivatives ρ,ρx,ρxx\rho,\rho_{x},\rho_{xx} etc. The coefficients of such terms are proportional to moments of the kernel, that is

a0=limu20uK(z)𝑑z,a2=limu1220uz2K(z)𝑑z.a_{0}=\lim_{u\to\infty}2\int_{0}^{u}K(z)dz,\quad a_{2}=\lim_{u\to\infty}\frac{1}{2}\cdot 2\int_{0}^{u}z^{2}K(z)dz. (3)

The even symmetry of the potential implies that a1=0a_{1}=0. We keep terms up to order z2z^{2}. Then the local approximation is

ρt=x(ρv),wherev=x(a0ρ+a2ρxx).\frac{\partial\rho}{\partial t}=-\frac{\partial}{\partial x}(\rho v),\quad\mbox{where}\quad v=-\frac{\partial}{\partial x}(a_{0}\rho+a_{2}\rho_{xx}). (4)

2.1 Results from the Falco et al model

We now mention several results from [14].

  1. (a)

    The problem (2) with Neumann BCs can be solved using a variational approach, similar to a Cahn-Hilliard equation [14, 13], with a “Free energy”,

    Φ=12a0|ρx|2a2ρ2dx.\Phi=\frac{1}{2}\int_{-\infty}^{\infty}a_{0}\left|\frac{\partial\rho}{\partial x}\right|^{2}-a_{2}\rho^{2}dx.
  2. (b)

    Solving for steady states of (2) is equivalent to finding critical points of the free energy Φ\Phi.

  3. (c)

    For a compact “cluster” solution with density ρ0\rho\geq 0 on bxb-b\leq x\leq b, the minimum free energy is obtained when a “zero contact angle” is satisfied at the “edges” of the cluster, that is when

    ρ(x)=0,ρ(x)=0,atx=±b\rho(x)=0,\quad\rho^{\prime}(x)=0,\quad\text{at}\quad x=\pm b (5)

    where bb is the “radius” of the cluster.

Hence, in order to find a (local) approximation for the stable steady state cluster solutions, it suffices to solve the (local) PDE (4) with the boundary conditions (5) and the above parameters a0,a2a_{0},a_{2}.

2.2 Steady state of the local problem

The steady state(s) of (4) satisfy

0=x(ρx(a0ρ+a2ρxx)).0=\frac{\partial}{\partial x}\left(\rho\frac{\partial}{\partial x}(a_{0}\rho+a_{2}\rho_{xx})\right). (6)

2.2.1 Homogeneous steady state

From (6), it is clear that there is always a homogeneous steady state (HSS) solution on a closed interval, namely ρ0=M/L\rho_{0}=M/L where LL is the size of the interval and MM is the total mass of the cells. The stability of this HSS is easily deduced with linear stability analysis, see below.

2.2.2 Single cluster steady state

We seek the more interesting case of a spatially nonhomogeneous steady state solution. To do so, integrate (6) once. Then using the boundary conditions (5) results in

0=(ρx(a0ρ+a2ρxx)).0=\left(\rho\frac{\partial}{\partial x}(a_{0}\rho+a_{2}\rho_{xx})\right). (7)

We seek a single-cluster solution with compact support ρ0\rho\neq 0 on b<x<b-b<x<b, so for this interval, we can divide both sides by ρ\rho and integrated once more, to obtain the PDE for the cluster density,

a0ρ+a2ρxx=C,a_{0}\rho+a_{2}\rho_{xx}=C, (8)

where CC is a constant to be determined. The PDE (8) is now a simple second order linear ODE, whose solutions can be represented in the form of sine and cosine functions. By symmetry and by the boundary conditions, we can restrict attention to solutions of the form

ρ(x)=αcos(μx),\rho(x)=\alpha\cos(\mu x),

where α,μ\alpha,\mu are parameters to be determined. Furthermore, for a single compact cluster, we seek one period of the above periodic function, so we restrict attention to solutions that are nonzero on a closed interval |x|<b|x|<b, where b>0b>0 is identified with the cluster radius (and hence b=π/μb=\pi/\mu).

In the flow chart of Fig. 1, we provide the logic and conditions for existence of a steady state single-cluster solution. The steps are general, with the exception of the last (blue shaded) inequalities that will be discussed later on in the context of the Morse potential.

Refer to caption
Figure 1: Flow chart depicting how each parameter constraint was deduced for the existence of a cluster in the 1D local PDE approximation for the cell density.

So far, our results are merely a summary of the general theory of [14] for 1 species in 1D. The application to the biological example will result in several conditions on how cell signaling should be tuned to arrive at such a cluster solution.

3 Stability

3.1 Stability of the homogeneous steady state

We can state several general results about the stability of a spatially uniform steady state ρ0\rho_{0} based on linear stability analysis (LSA).

3.1.1 LSA for the nonlocal problem

For the full nonlocal PDE (2), the linearized version, obtained by setting ρ(x,t)=ρ0+ρ(x,t)\rho(x,t)=\rho_{0}+\rho^{\prime}(x,t) is

ρt=ρ02x2(Kρ),\frac{\partial\rho^{\prime}}{\partial t}=\rho_{0}\frac{\partial^{2}}{\partial x^{2}}\left(K*\rho^{\prime}\right),

where ρ(x,t)\rho^{\prime}(x,t) is a small spatially varying perturbation. Let ρ(x,t)=ρ~exp(λt)exp(iqx)\rho^{\prime}(x,t)=\tilde{\rho}\exp(\lambda t)\exp(iqx) where λ\lambda is the perturbation growth rate, qq is the perturbation wavenumber, and ρ~\tilde{\rho} is a small amplitude. We seek conditions such that, for some wavenumber(s), the perturbations grow (Re(λ)>0)(\lambda)>0). Substituting the form of the perturbations into the linearized PDE leads to the algebraic equation

λ(q)=ρ0(q2)K^(q).\lambda(q)=\rho_{0}(-q^{2})\hat{K}(q). (9)

where K^(q)\hat{K}(q) is the Fourier transform of the kernel K(x)K(x). We can hence determine which wavenumbers would grow from the Fourier transform of the kernel of interest.

3.1.2 LSA for the local problem

Making the same assumptions about the perturbation ρ(x,t)\rho^{\prime}(x,t) and substituting into the linearized local PDE leads to the eigenvalue expression

λ=ρ0q2(a0a2q2).\lambda=\rho_{0}q^{2}\left(a_{0}-a_{2}q^{2}\right). (10)

The HSS can be destabilized to growing perturbations whenever the RHS is positive, i.e. when 0<q<a0/a2.0<q<\sqrt{a_{0}/a_{2}}. This mandates that either one of the two conditions below be satisfied:

a0,a2>0ora0,a2<0a_{0},a_{2}>0\quad\mbox{or}\quad a_{0},a_{2}<0 (11)

Again, once a potential kernel is selected, these inequalities directly lead conditions on its moments, and hence on parameters that describe that potential.

3.2 Stability of the nonhomogeneous (clustered) steady state

This problem is more challenging, as it requires perturbation of the cluster solution. Here we will not carry out a full analysis, but rather determine stability of the cluster using numerical simulations.

4 Morse kernels

We apply the above general theory of [14] to a biologically relevant setting where cell signaling is based on known or plausible mechanism(s). We here introduce the Morse potentials, and then show that they capture known cell-cell signaling mechanism(s).

The Morse potential we consider combines repulsion and attraction, written as

K(x)=Rrexp(|xr|)Aaexp(|xa|)K(x)=Rr\exp\left(-\left|\frac{x}{r}\right|\right)-Aa\exp\left(-\left|\frac{x}{a}\right|\right) (12)

where A,R0A,R\geq 0 are (attraction, repulsion) force magnitudes and a,r0a,r\geq 0 are typical spatial scales of attraction and repulsion. This is an even function. It is to be interpreted as a symmetric “potential” induced by a single cell located at the origin on its neighbors at another location xx. We have used the above notation to be consistent with [28] where forces (rather than potentials) were employed in a similar setting. It will be convenient to define the following dimensionless ratios:

C=RA,=ar.C=\frac{R}{A},\quad\ell=\frac{a}{r}.

Our results will be summarized as regimes in the CC\ell plane, where inequalities determine certain regions whose boundaries are expressed in terms of CC and \ell.

4.1 Results for Morse potentials

In 1D, the Morse potential (12) generates a force-field of the form

FMorse=dK(x)/dx=sign(x)(Rexp(|xr|)Aexp(|xa|)).F_{\text{Morse}}=-\differential K(x)/\differential x=\text{sign}(x)\left(R\exp\left(-\left|\frac{x}{r}\right|\right)-A\exp\left(-\left|\frac{x}{a}\right|\right)\right).

This is an odd function. Intuitively, for cells to form a cluster, we require strong local repulsion (to avoid collapse) and more long-ranged attraction (to keep cells from fleeing to infinity). These conclusions will emerge from our analysis and are known from previous work for agent-based models (ABMs) by [26, 12]. This leads to the first two conditions,

R>A,a>rC>1,>1.R>A,\ a>r\quad\Rightarrow\quad C>1,\ \ell>1.

We can now apply various general results to the Morse potentials.

4.1.1 Existence of a cluster

We easily find from (3) that in the approximate local 1D PDE problem (4), the coefficients of interest are

a0=2(Rr2Aa2),a2=2(Rr4Aa4).a_{0}=2(Rr^{2}-Aa^{2}),\quad a_{2}=2(Rr^{4}-Aa^{4}). (13)

The inequalities a0,a2>0a_{0},a_{2}>0 imply that

Rr2Aa2>0,Rr4Aa4>0,C<2,C<4.Rr^{2}-Aa^{2}>0,\quad Rr^{4}-Aa^{4}>0,\quad\Rightarrow\quad C<\ell^{2},\quad C<\ell^{4}. (14)

If both coefficients are negative, the inequalities are reversed. We later show that a stable cluster can only exist for the inequalities given in (14), and not for the second case.

Collecting conditions so far, we have

C>1,>1,C<2,C<4.C>1,\quad\ell>1,\quad C<\ell^{2},\quad C<\ell^{4}.

These form the boundary curves of interest in the CC\ell parameter plane, shown in Figs. 2 and 5. We refer to behavioural regimes A-H as labeled in Fig. 2 and Fig. 5. The same set of curves were found in [28] (p. 103, Section 5.179 and Fig. 22) in calculation of a swarming instability.

4.1.2 Cell density in the cluster

For the Morse potentials, the density of cells in the cluster is

ρ(x)=M2πRr2Aa2Rr4Aa4(cos(xRr2Aa2Rr4Aa4)+1),\rho(x)=\frac{M}{2\pi}\sqrt{\frac{Rr^{2}-Aa^{2}}{Rr^{4}-Aa^{4}}}\left(\cos\left(x\sqrt{\frac{Rr^{2}-Aa^{2}}{Rr^{4}-Aa^{4}}}\right)+1\right), (15)

where MM is the total mass of the cluster, obtained by integrating ρ(x)\rho(x) over [b,b][-b,b]. Eqn. (15) can be rewritten as

ρ(x)=M2πrC2C4(cos(xrC2C4)+1).\rho(x)=\frac{M}{2\pi r}\sqrt{\frac{C-\ell^{2}}{C-\ell^{4}}}\left(\cos\left(\frac{x}{r}\sqrt{\frac{C-\ell^{2}}{C-\ell^{4}}}\right)+1\right). (16)

(Note that should we desire to scale space by the repulsive length scale rr and density by M/rM/r, then only dimensionless quantities would remain in (16).) We later refer to the spatial frequency ω\omega and the dimensionless spatial frequency ω~\tilde{\omega} in (15) and(16) meaning

ω=Rr2Aa2Rr4Aa4,ω~=C2C4.\omega=\sqrt{\frac{Rr^{2}-Aa^{2}}{Rr^{4}-Aa^{4}}},\quad\tilde{\omega}=\sqrt{\frac{C-\ell^{2}}{C-\ell^{4}}}. (17)

Clearly, both ω\omega and ω~\tilde{\omega} should be real valued for a cluster to exist.

4.1.3 Cluster size

The radius of the cluster, obtained by ensuring a one-period cosine solution is given by

b=πa2a0=πωb=r,where =πω~b=\pi\sqrt{\frac{a_{2}}{a_{0}}}=\frac{\pi}{\omega}\quad\Rightarrow b=\,r\,\mathcal{F},\quad\text{where }\mathcal{F}=\frac{\pi}{\tilde{\omega}} (18)

for ω\omega and ω~\tilde{\omega} in (17). In (18), we defined a dimensionless quantity, \mathcal{F}. Observe that rr and bb each carry units of length, and rr is a typical repulsive length scale. Hence, \mathcal{F} is a “dimensionless cluster size”, a constant that specifies the size of a cluster as a fold-multiple of the spatial scale rr. For a real-valued cluster solution to exist, \mathcal{F} should be real.

Refer to caption
Figure 2: Log-Log plots of the CC\ell plane, indicating regions A–H in which distinct behaviors are obtained. C=R/AC=R/A is the ratio of force magnitudes and =a/r\ell=a/r is the ratio of spatial ranges of the attraction and repulsion. The heatmap indicates the dimensionless cluster size, \mathcal{F}, defined in Eqn. (18). Red regions correspond to absence of real solutions for \mathcal{F}, meaning that no cell cluster of fixed size can exist. Left: The CC\ell plane for the Morse potential as defined in equation (12). The boundaries of regions are the curves C=1,=1,C=2,C=4C=1,\ell=1,C=\ell^{2},C=\ell^{4}. Right: The CC\ell plane for a Morse attraction and polynomial core-repulsive potential. In Region E, \mathcal{F} increases as the ratio \ell increases. In Region E near its boundary with region F, \mathcal{F} can grow beyond the color scale since Eqn. (18) is near singular.

Fig. 2 shows the CC\ell plane, with the dimensionless cluster size \mathcal{F} indicated as a heat map.

In some biological situations, the repulsive length scale rr represents a single cell’s radius, for example, when cells have an exclusion volume. In that case, a meaningful multicellular cluster requires >1\mathcal{F}>1, whereas <1\mathcal{F}<1 is not meaningful biologically. In this interpretation, we observe that most regions, outside Region E, have very small clusters. Fig. 2 suggests that the largest clusters are observed for parameters in Region E near the border C=2C=\ell^{2} or for larger values of \ell, i.e. the longer ranged the attraction force the large the cell cluster.

4.1.4 Morse forces and existence of cluster

Having identified eight regions, bounded by curves shown in Fig. 2, we examine the potentials induced by a given cell (at “x=0x=0”) on neighboring cells. We display the shapes of these nonlocal potential kernels in Fig. 3. The forces (F=KxF=-K_{x}) are gradients of the potentials shown in Fig. 3. (Our later simulations will correspond to the parameter settings shown in this figure).

Refer to caption
Figure 3: The shapes of the attraction-repulsion Morse potential kernels K(x)K(x) (defined in equation (12)) for C,C,\ell parameters corresponding to regions A-H in the CC\ell plane shown in Fig. 2. The kernel parameters in each panel are: Region A: A=5,R=2.5,a=1.5,r=3A=5,R=2.5,a=1.5,r=3; Region B: A=5,R=2.5,a=2.3,r=3A=5,R=2.5,a=2.3,r=3; Region C: A=5,R=2.5,a=2.7,r=3A=5,R=2.5,a=2.7,r=3; Region D: A=5,R=2.5,a=4.5,r=3.0A=5,R=2.5,a=4.5,r=3.0; Region E: A=5,R=8.75,a=4.5,r=3A=5,R=8.75,a=4.5,r=3; Region F: A=5,R=8.75,a=3.75,r=3.0A=5,R=8.75,a=3.75,r=3.0; Region G: A=5,R=8.75,a=3.15,r=3A=5,R=8.75,a=3.15,r=3; Region H: A=5,R=8.75,a=1.5,r=3.0A=5,R=8.75,a=1.5,r=3.0.

We summarize the forces and the steady state cluster results in the various parameter regimes as follows:

Regions A and C

No cluster possible; C,<1C,\ell<1, which implies R<AR<A (attractive force stronger than repulsion) and a<ra<r (repulsion range greater than attraction range). There is pure repulsion.

Regions B and F

In region B, 1>2>C>4,<11>\ell^{2}>C>\ell^{4},\ell<1 implies that R<A,r<aR<A,r<a, so there is pure attraction. In region F, 4>C>2>1,>1\ell^{4}>C>\ell^{2}>1,\ell>1 implies that R>A,r>aR>A,r>a and there is or pure repulsion. We showed that in both these regions, no real solutions exist to the steady state cluster problem.

Region D

C<1C<1 and >1\ell>1 which means that R<AR<A (attraction is stronger) and a>ra>r (attraction range is longer than repulsion range). Density “blows up” and no finite-density cluster is possible.

Region E

C>1C>1, C<2,>1C<\ell^{2},\ell>1 (so R>A,a>rR>A,a>r). There is strong local repulsion and long-ranged attraction. Real solutions exist, so cluster formation is possible. However, stability of the cluster is to be determined.

Region G

C>4,>1C>\ell^{4},\ell>1. Real solutions exist, cluster formation is possible. However, stability of the cluster is to be determined.

Region H

<1\ell<1, so a<ra<r. No cluster can form since repulsion range exceeds attraction range. Cells will be repelled from one another.

The above analysis suggests that parameter regions G and E are consistent with cluster formation. Intuition suggests that region G is less likely to support stable clusters, since attraction is weak there. Indeed, linear stability analysis will demonstrate that the homogeneous steady state is stable in this region. Our subsequent numerical simulations (Fig. 5 and Fig. 6) will confirm these ideas.

4.1.5 Stability of the HSS, local problem

From the general conditions (11), we find similar sets of conditions for the Morse potential. When the HSS is unstable, a finite cluster can form. For the local approximation, we obtain the same inequalities on a0,a2a_{0},a_{2}.

4.1.6 Stability of the HSS, nonlocal problem

For the fully nonlocal problem, the HSS stability is determined by (9). For the Morse potential (12), the Fourier transform that appears in the expression (9) is

K^(q)=Rr2r2q2+1Aa2a2q2+1,\hat{K}(q)=\frac{Rr^{2}}{r^{2}q^{2}+1}-\frac{Aa^{2}}{a^{2}q^{2}+1}, (19)

which we also rewrite as

K^(q)=r2a2q2(RA)+(Rr2Aa2)(r2q2+1)(a2q2+1).\hat{K}(q)=\frac{r^{2}a^{2}q^{2}(R-A)+(Rr^{2}-Aa^{2})}{(r^{2}q^{2}+1)(a^{2}q^{2}+1)}. (20)

Now consider the perturbation growth rate λ(q)\lambda(q) given by (9). That is,

λ(q)=ρ0q2(Aa2a2q2+1Rr2r2q2+1).\lambda(q)=\rho_{0}q^{2}\left(\frac{Aa^{2}}{a^{2}q^{2}+1}-\frac{Rr^{2}}{r^{2}q^{2}+1}\right). (21)

To get patterns growing from a perturbed HSS (instability of the uniform cell density solution), we require that there be some positive wavenumber q2>0q^{2}>0 that grows, i.e., such that

λ(q)>0K^(q)<0.\lambda(q)>0\quad\iff\quad\hat{K}(q)<0.

There are four cases to consider based on regions in the CC\ell plane as in Figs. 2 and 5.

  1. (a)

    C>1C>1 and C>2C>\ell^{2} (Regions F, G and H). Here K^(q)>0\hat{K}(q)>0 for all qq. The two conditions imply that the numerator of (20) is always positive.

  2. (b)

    C>1C>1 and C<2C<\ell^{2} (Region E). Then K^(q)\hat{K}(q) has a negative minimum at q=0q=0. Since >C1/2>C1/4\ell>C^{1/2}>C^{1/4} we have that:

    K^(0)=Rr2Aa2<0,2K^q2|q=0=2(Aa4Rr4)>0.\hat{K}(0)=Rr^{2}-Aa^{2}<0,\quad\frac{\partial^{2}\hat{K}}{\partial q^{2}}\Big{|}_{q=0}=2(Aa^{4}-Rr^{4})>0.
  3. (c)

    If C<1C<1 and C<4C<\ell^{4} (Regions C and D). Here K^(q)\hat{K}(q) has a negative minimum at q=0q=0. Since >C1/4>C1/2\ell>C^{1/4}>C^{1/2} the same conditions as in the previous case hold.

  4. (d)

    If C<1C<1 and C>4C>\ell^{4} (Regions A and B); then K^(q)\hat{K}(q) has a minimum at qc>0q_{c}>0. We look for a second root to the derivative of K^(q)\hat{K}(q) which is equivalent to solving the quartic.

    q4a4r4(AR)+2q2a2r2(Aa2Rr2)+Aa4Rr4=0.q^{4}a^{4}r^{4}(A-R)+2q^{2}a^{2}r^{2}(Aa^{2}-Rr^{2})+Aa^{4}-Rr^{4}=0.

    Let y=q2y=q^{2}. Look for a positive discriminant,

    Δ=4a4r4AR(r2a2)2>0,\Delta=4a^{4}r^{4}AR(r^{2}-a^{2})^{2}>0,

    meaning we are guaranteed real solutions. Next apply Franciscus Vieta’s rule relating products of roots of a polynomial to its coefficients,

    y1y2=Aa4Rr4a4r4(AR)<0,y_{1}y_{2}=\frac{Aa^{4}-Rr^{4}}{a^{4}r^{4}(A-R)}<0,

    where C<1C<1 implies that the denominator is positive, and C>4C>\ell^{4} implies that the numerator is negative. This implies that this quadratic has a positive and negative real root. We are interested only in the positive root, which is

    qc=1ar(r2Ra2A)1/2(AR)1/2.q_{c}=\frac{1}{ar}\frac{\left(r^{2}\sqrt{R}-a^{2}\sqrt{A}\right)^{1/2}}{\left(\sqrt{A}-\sqrt{R}\right)^{1/2}}.
Refer to caption
Figure 4: The dispersion relation, showing λ(q)\lambda(q) as a function of qq from Eqn. (21), in the eight regions (A-H) of the CC\ell plane shown in Fig. 2. The same parameter values are used as in panels of Fig. 3.

The outcome of the linear stability analysis in each parameter regime is now possible. The dispersion relation (a plot of the perturbation growth rate λ(q)\lambda(q)) is shown in Fig. 4.

Regions A and B

Here K^(q)\hat{K}(q) has a minimum at qc0q_{c}\not=0, and λ(q)>0\lambda(q)>0 for large qq.

Regions C and D

K^(q)\hat{K}(q) has a minimum at q=0q=0 and λ(q)>0\lambda(q)>0.

Region E

K^(q)\hat{K}(q) has a negative minimum at q=0q=0, which results in λ(q)>0\lambda(q)>0 in a neighbourhood of zero. Thus the homogeneous steady state is unstable, and we expect cluster formation.

Regions F, G and H

K^(q)>0\hat{K}(q)>0 for all qq and λ(q)<0\lambda(q)<0. The homogeneous steady state is stable, and we expect no cluster formation.

Note that the perturbation growth rate, λ(q)\lambda(q) has positive values for many modes in regions A, B, C, and D. This is consistent with results from the previous section, in which we expect possible blow-up.

To summarize, in Region E of the CC\ell plane, the HSS is unstable, and a robust cluster exists. The relevant inequalities that guarantee this cluster are C>1,>1,C<2.C>1,\quad\ell>1,\quad C<\ell^{2}. Note that when the three inequalities C>1,>1,C<2C>1,\ell>1,C<\ell^{2} are satisfied, then the inequality C<4C<\ell^{4} is automatically satisfied. Hence, in terms of the original Morse parameters,

RA>1,ar>1,RA<a2r2stable cluster exists.\frac{R}{A}>1,\quad\frac{a}{r}>1,\quad\frac{R}{A}<\frac{a^{2}}{r^{2}}\quad\Rightarrow\quad\text{stable cluster exists}. (22)

5 Derivation of Morse kernels from chemical signaling

The Morse potential was introduced in 1926 by Morse to replace the harmonic potential in quantum mechanics systems for diatomic molecules. The Morse potential proved to be more accurate given experimental observations. Interestingly no derivation of this potential from first principles was provided, to our knowledge, until [28], and much later in [10]. Below, we briefly demonstrate the chemical attraction-repulsion system of [28] that directly leads to a Morse type potential.

Following [28], we consider a direct generalization of the model of [22] that includes chemotaxis up the gradient of a diffusible attractant ca(x,t)c_{a}(x,t), and down the gradient of a diffusible repellent, cr(x,t)c_{r}(x,t), both secreted by the cells. The PDEs describing the cell density ρ(x,t)\rho(x,t) and the chemical concentrations are

{ρt=Dρ2ρx2χax(ρcax)+χrx(ρcrx),ϵacat=Da2cax2+saρkaca,ϵrcrt=Dr2crx2+srρkrcr.\left\{\begin{split}\frac{\partial\rho}{\partial t}&=D_{\rho}\frac{\partial^{2}\rho}{\partial x^{2}}-\chi_{a}\frac{\partial}{\partial x}\left(\rho\frac{\partial c_{a}}{\partial x}\right)+\chi_{r}\frac{\partial}{\partial x}\left(\rho\frac{\partial c_{r}}{\partial x}\right),\\ \epsilon_{a}\frac{\partial c_{a}}{\partial t}&=D_{a}\frac{\partial^{2}c_{a}}{\partial x^{2}}+s_{a}\rho-k_{a}c_{a},\\ \epsilon_{r}\frac{\partial c_{r}}{\partial t}&=D_{r}\frac{\partial^{2}c_{r}}{\partial x^{2}}+s_{r}\rho-k_{r}c_{r}.\end{split}\right. (23)

Here Dρ,Da,DrD_{\rho},D_{a},D_{r} are, respectively the cell random motility and the chemical rates of diffusion. The parameters χa,χr\chi_{a},\chi_{r} are chemotactic coefficients for cells moving towards (away from) the attractant (repellent). The parameters sa,srs_{a},s_{r} are rates of secretion of the two chemicals by cells and ka,krk_{a},k_{r} are rates of chemical decay. The parameters ϵa,r\epsilon_{a,r} are assumed to be small, so that the chemical dynamics operates on a faster timescale than the cell motion.

Signaling molecules diffuse at a far faster rate than the motion of cells. Hence, a quasi steady state (QSS) approximation for the two chemical PDEs can be justified by time-scale separation, implying that

d2cjdx2kjDjcj=sjDjρ,j=a,r.\frac{d^{2}c_{j}}{dx^{2}}-\frac{k_{j}}{D_{j}}c_{j}=-\frac{s_{j}}{D_{j}}\rho,\qquad j=a,r. (24)

Eqn (24) can be solved by the Green’s function method [28], leading to

cj(x)=Djkjsj2Djexp(kjDj|xx|)ρ(x)𝑑xj=a,r.c_{j}(x)=\sqrt{\frac{D_{j}}{k_{j}}}\frac{s_{j}}{2D_{j}}\int_{-\infty}^{\infty}\exp\left(-\sqrt{\frac{k_{j}}{D_{j}}}|x-x^{\prime}|\right)\rho(x^{\prime})dx^{\prime}\qquad j=a,r. (25)

We recognize the above as a convolution of the cell density with a kernel Kj(x)K_{j}(x) of the form

Kj(x)=Pjpjexp(|xpj|),pj=Djkj,Pj=sj2Dj,j=a,r.K_{j}(x)=P_{j}\cdot p_{j}\exp\left(-\left|\frac{x}{p_{j}}\right|\right),\quad p_{j}=\sqrt{\frac{D_{j}}{k_{j}}},\quad P_{j}=\frac{s_{j}}{2D_{j}},\qquad j=a,r. (26)

Here the expression pjp_{j} is the spatial range of the kernel Kj(x)K_{j}(x) (corresponding to j=a,rj=a,r for the attraction and repulsion). In our case, there is a superposition of two such terms, one each for the attractant and the repellent. The quantity PjP_{j} will prove to be proportional to the amplitudes of the kernel (A,RA,R), but we include the chemotactic sensitivities of the cells in those amplitudes, see below.

We use these QSS solutions to eliminate ca,crc_{a},c_{r} from the PDE system, but first we rewrite the cell PDE in the compressed form

ρt=Dρ2ρx2x(ρ(Wx)),W=[χrcrχaca].\frac{\partial\rho}{\partial t}=D_{\rho}\frac{\partial^{2}\rho}{\partial x^{2}}-\frac{\partial}{\partial x}\left(\rho\left(-\frac{\partial W}{\partial x}\right)\right),\quad W=[\chi_{r}c_{r}-\chi_{a}c_{a}]. (27)

We chose signs above so that WW can be interpreted as a chemical potential; for example, if there is no repellent (cr=0c_{r}=0) then there would be a “potential well” where the attractant is most concentrated.

The form of the expressions in (26) results in spatial ranges of the repellent and attractant, and attraction repulsion force magnitudes

r=Drkr,a=Daka,R=χrsr2Dr,A=χasa2Da.r=\sqrt{\frac{D_{r}}{k_{r}}},\quad a=\sqrt{\frac{D_{a}}{k_{a}}},\quad R=\frac{\chi_{r}s_{r}}{2D_{r}},\quad A=\frac{\chi_{a}s_{a}}{2D_{a}}. (28)

Then the chemical potential can be written as

W(x)=Kρ,whereK(x)=Rrexp(|xr|)Aaexp(|xa|).W(x)=K*\rho,\quad\text{where}\quad K(x)=Rr\exp\left(-\left|\frac{x}{r}\right|\right)-Aa\exp\left(-\left|\frac{x}{a}\right|\right). (29)

The above implies that WW acts as a net “chemical potential landscape” induced by the cell density due to chemical signaling. This potential sets up the attraction-repulsion force-field that results in cell motion. (As the cells move, that potential landscape will shift.)

Substituting the values of r,a,R,Ar,a,R,A from (28) into the conditions (22) for a stable cluster, we find that

χrsrDaχasaDr>1,DakrDrka>1,χrsrχasa<krka.\frac{\chi_{r}s_{r}D_{a}}{\chi_{a}s_{a}D_{r}}>1,\quad\sqrt{\frac{D_{a}k_{r}}{D_{r}k_{a}}}>1,\quad\frac{\chi_{r}s_{r}}{\chi_{a}s_{a}}<\frac{k_{r}}{k_{a}}.

These can be combined into a single statement, namely that for a robust cluster to form,

DrDa<χrsrχasa<krka.\frac{D_{r}}{D_{a}}<\frac{\chi_{r}s_{r}}{\chi_{a}s_{a}}<\frac{k_{r}}{k_{a}}. (30)

The inequality (30) is the only requirement for the existence of a (stable) cluster.

If we normalize all parameters by the rates for the attractant, then we find that the relative diffusion of the repellent should be smaller than the product of cell’s repulsion taxis rate and its repellent secretion rate. The repellent relative decay rate should be larger than both of the above. In other words, for a cell cluster to form, the repellent should diffuse slowly and decay rapidly so that its spatial range is small; the cell should have a repulsion taxis and repellent secretion rate that are neither too large nor too small relative to the attractant.

We can see from the above that the magnitudes of repulsion/attraction forces R,AR,A can be “controlled” by rates of secretion sjs_{j} of the repellent and attractant as well as the cell’s chemotactic sensitivity to gradients of each chemical, i.e. the parameters χj\chi_{j}. The spatial ranges of the interactions, r,ar,a are set by the diffusivity and the decay rates of the chemicals. The lower the rate of diffusion, the smaller the spatial range, and the larger the magnitude of the respective attraction-repulsion force. The decay rate can be adjusted if cells also secrete enzymes that degrade the ligands. For example, the social amoebae Dictyostelium discoideum secrete an enzyme, phosphodiesterase, that degrades the attractant cAMP.

%ֿsectionOther models

6 Generalization to non-Morse repulsive potentials

While the above theory proves particularly “elegant” for Morse potentials, it has a straightforward generalization to other cases, where the repulsion is not due to chemical signaling. We discuss one example, in which the repulsion is due to a power-law force term, analogous to the concave down portion of a double-well potential. Suppose the repulsive potential is given by

Krepul(x)=rRϕ(x/r),where ϕ(x/r)=((xr)21)2,|x|<rK_{\text{repul}}(x)=rR\phi(x/r),\quad\mbox{where }\phi(x/r)=\left(\left(\frac{x}{r}\right)^{2}-1\right)^{2},\quad|x|<r (31)

where rr is the spatial range and RR the force magnitude, as before. This is a localized compact repulsion, akin to a non-rigid volume exclusion.

We can find the analogous PDE approximation as before, by computing the moments of the repulsive potential (31), to be

a0^=rrK(x)𝑑x=γ0Rr2,a2^=rrx2K(x)𝑑x=γ2Rr4,\hat{a_{0}}=\int_{-r}^{r}K(x)dx=\gamma_{0}Rr^{2},\quad\hat{a_{2}}=\int_{-r}^{r}x^{2}K(x)dx=\gamma_{2}Rr^{4},

where some constants, (γ0=16/15,γ2=8/105\gamma_{0}=16/15,\gamma_{2}=8/105) now appear from the polynomial integration step, as shown in the Appendix B. We observe that the results are similar to those of Morse kernels, save for some multiplicative constants.

Now combining this repulsion with the previously described chemoattractant attractive potential, we obtain similar features, slightly modified by the presence of two constants. For example, we find that the spatial frequencies, previously given by (17) are now given by

ω=a0a2=γ0Rr22Aa2γ2Rr42Aa4,ω~=γ0C22γ2C24.\omega=\sqrt{\frac{a_{0}}{a_{2}}}=\sqrt{\frac{\gamma_{0}Rr^{2}-2Aa^{2}}{\gamma_{2}Rr^{4}-2Aa^{4}}},\quad\tilde{\omega}=\sqrt{\frac{\gamma_{0}C-2\ell^{2}}{\gamma_{2}C-2\ell^{4}}}. (32)

(The factors of 2, present in a0,a2a_{0},a_{2} for the double-Morse potential case in (13) no longer cancel out, and hence appear only in the attraction.) The dimensionless cluster size is =π/ω~\mathcal{F}=\pi/\tilde{\omega}. The analysis carries over, but the boundaries of the behavioural regions in the CC\ell plane are now defined by curves C=22/γ0C=2\ell^{2}/\gamma_{0}, C=24/γ2C=2\ell^{4}/\gamma_{2}, etc. We can see the effect of this distinct repulsive potential by considering the CC\ell plane on a log-log plot where the curves are of the form

log(C)=2log()G0,log(C)=4log()G2\log(C)=2\log(\ell)-G_{0},\quad\log(C)=4\log(\ell)-G_{2}

where G0=log(γ0/2),G2=log(γ2/2)G_{0}=\log(\gamma_{0}/2),G_{2}=\log(\gamma_{2}/2) are merely constants that shift the boundary curves up or down. (See right panel of Fig. 2.) The new repulsive potential also results in changing of the size of the cluster (where a cluster exists), shown by the somewhat distinct hues on that panel compared to the double-Morse potential case.

More generally, one can consider a repulsive potential of the form

Kgeneral=rRϕ(x/r)K_{\text{general}}=rR\,\phi(x/r)

for some generic function ϕ\phi. Provided the function ϕ\phi is even, integrable on <x<-\infty<x<\infty, the same general conclusions hold, (given that ϕ(x)\phi(x) is normalized) but with somewhat specific constants γ0,γ2\gamma_{0},\gamma_{2} that result in shifting boundary curves up or down in the CC\ell plane. In the above example, the repulsive potential has compact support r<x<r-r<x<r, but this need not be the case in general, as we have seen with Morse repulsion.

7 Numerical simulation results

So far, the local and nonlocal Morse model analysis informs us about conditions for instability of a uniform density solution (HSS) and about conditions for existence of a finite cluster. However, we still lack two important pieces of information: (1) Conditions that guarantee a stable cluster and (2) an assessment of the accuracy of the local approximation of the full nonlocal problem.

We sought to address these issues by numerically solving both the local and the nonlocal models in 1D, with the Morse potential specified in Eqn. (12). For the non-local model, we used a domain far larger than the expected cluster size and periodic boundary conditions. We simulate the problem

ρt=x(ρ(Kρ)x),\frac{\partial\rho}{\partial t}=\frac{\partial}{\partial x}\left(\rho\frac{\partial(K*\rho)}{\partial x}\right), (33)

with KK the Morse potential whose kernel is given by (12). For details on the numerical methods see Appendix A.

7.1 Nonlocal model simulations

Refer to caption
Figure 5: Top left: the CC\ell parameter plane showing regions bounded by the curves C=1,=1,C=2,C=4C=1,\ell=1,C=\ell^{2},C=\ell^{4}. These form boundaries of eight distinct regimes of behaviour. (A-F) Simulation results for the 1D nonlocal model (33) for an attraction-repulsion Morse Potential kernel with parameters C,C,\ell shown by corresponding labels in the CC\ell plane. (The parameter values are identical to those of Fig. 3 and 4.) Kymographs show time (vertically upwards on a log plot) and space (horizontal axis). The initial condition parameter is ρ0=20\rho_{0}=20 in each simulation panel. For the final solution profiles at t=100t=100, see Fig. 6.

We sampled parameter settings corresponding to the eight distinct regions in the CC\ell parameter plane shown (top left) in Fig. 5, and ran simulations of the nonlocal model  (33) in each region, with values (labeled A-H) corresponding to the dots with similar labels in the CC\ell plane. All simulations are carried out on a periodic domain. For more details we refer to appendix A.

Results are shown as kymographs with time on the vertical log scale in Fig. 5. The corresponding non-local kernels for the simulations are as shown in Fig. 3. The final solution profiles corresponding to the results in Fig. 5 are then shown in Fig. 6.

Refer to caption
Figure 6: Steady state cluster profiles corresponding to the simulations whose dynamics are shown as kymographs in Fig. 5.

7.1.1 Classification of behaviour

To summarize the results, we find the following predictions,

Regions A, B and C:

C<1,<1C<1,\ell<1 (R<AR<A and r>ar>a). As seen from Fig. 3, attraction dominates near each cell (there is a potential well close to the origin) and repulsion dominates farther away. As we transition from region A to B to C, the repulsion loses strength. In Fig. 5 the clusters are not very apparent but the final solution profiles in Fig. 6 display some small foci of adherent cells that do not aggregate. This region has little biological relevance, and is not consistent with formation of robust clustering.

Region D:

C<1,>1C<1,\ell>1 (R<AR<A and r<ar<a). Attraction is always stronger than repulsion as shown in Fig. 3, so cells will keep getting closer and closer, implying blow-up to δ\delta-like peaks in the continuum model. This is shown in Fig. 6. These peaks are so localized that they do not show up in the heatmaps of Fig. 5.

Regions G, F and E:

C>1,>1C>1,\ell>1. (R>AR>A and r<ar<a). There is short-ranged repulsion and long-ranged attraction. Cells will aggregate and form cluster(s) with finite density. However, in regions G and F, those clusters are unstable, and the final profiles in Fig. 6 are uniform. In region E, robust clusters can form as shown in Fig 5 and Fig. 6. Note that as we transition from region E to F to G, the attraction loses strength, as observed in Fig. 3.

Region H:

C>1,<1C>1,\ell<1 (R>AR>A and r>ar>a). Repulsion extends further and has greater magnitude than attraction at all distances so cells are repelled from one another and no aggregates form.

7.2 Simulations of the local approximation

Refer to caption
Figure 7: Comparison of nonlocal and local models: Solid black: the final numerical solution of the non-local equation (33). Dashed blue: the final numerical solution of the local PDE (34). Dotted red: the analytically computed steady-state solution (16) of the local PDE. All parameters are in Region E of the CC\ell plane. We increase the kernel’s repulsive strength RR (thus increasing CC), i.e. moving in a vertical direction through region E toward the boundary curve C=2C=\ell^{2}. We note that the local approximation gives an upper bound on the cluster radius, and the local approximation improves as the repulsive strength increases, when the density of cells in a cluster is lower. The white region denotes [b,b][-b,b]. Parameter values: M=200M=200, a=4,A=1,r=1a=4,A=1,r=1. The initial condition for both the local and nonlocal numerical simulation is the local steady-state.

One of our goals in this paper is to compare the full nonlocal model with its local approximation. Hence, we next simulate the PDE

ρt=x(ρx(a0ρ+a2ρxx)),\frac{\partial\rho}{\partial t}=\frac{\partial}{\partial x}\left(\rho\frac{\partial}{\partial x}\left(a_{0}\rho+a_{2}\rho_{xx}\right)\right), (34)

where aia_{i} are rescaled moments of the Morse kernel, that is

a0=2(C2),a2=2(C4).a_{0}=2(C-\ell^{2}),\quad a_{2}=2(C-\ell^{4}).

Results are shown in Fig. 7. We plot the numerically simulated cell density profile of the nonlocal model (black), and compare it to the numerically simulated local model (dashed blue) and the analytically predicted steady-state solution (dotted red). The predicted cluster radius is indicated by the width of the white region. We find that the numerical and analytical solutions of the local PDE match one another closely, as seen by the overlapping blue and red curves. However, we find that the local PDE approximation is accurate only in some parameter regimes. In the top two panels, we see that the nonlocal model predicts sharp cluster edges and significant compression compared with the local PDE predictions. Hence the analysis of the local approximation does not exactly match the behaviour of the full nonlocal model. The predicted shape becomes a better approximation as RR is increased.

8 Discussion

In this paper, we have addressed several questions. First, we examined one example of cellular signaling via diffusible chemotactic chemicals that leads to effective nonlocal cell-cell interactions. This example was first proposed by [28], but has not yet been recognized in recent nonlocal modeling efforts. We showed that when cells secrete a diffusible chemical that decays, and that attracts or repels the cells via the process of chemotaxis, it essentially sets up a “chemical potential” of the Morse type.

Morse potentials have been used in more general settings of cell-cell mechanical interactions in computational biology papers. Morse potentials appear in the context of cell adhesion models [1], as briefly surveyed in Appendix  C. [25] used a Morse potential to model adhesive/repulsive interactions of red blood cells (RBCs) in an advanced computational model of RBC aggregation using an immersed finite element method. [39] used a modified Morse potential to represent adhesion of platelets to one another in an ABM model for blood clotting. The Morse potential was adapted to experimental data on shear conditions. [21] used cell tracking in mouse embryos and C. elegans to infer effective mechanical forces and pairwise potential of cell-cell interactions. They showed that Morse potentials were generally a good fit, since tuning the Morse parameters allowed for a range of interactions. They also showed that species differences that implied distinct potential profiles also accounted for tight vs loose cell aggregate morphologies. As discussed in [31], many forms of potentials are reasonable, provided they account for four parameters for magnitudes and spatial ranges of attraction and repulsion, akin to our A,R,a,rA,R,a,r. Hence, even without the direct link to mechanism, Morse potentials have proven to be convenient approximations for a variety of non-local interactions.

A second question that we addressed is what kinds of attributes chemotactic signals should have to create a robust cell cluster. We showed that the behaviour of cells with attractant and repelent interactions can be classified in a CC\ell parameter plane where these dimensionless parameters are ratios of magnitudes and spatial ranges of the attractant and repellent. Similar curves were found in [28] in connection with pattern formation criteria. We extended that theory to predict the size of the stable cluster in terms of the chemical properties. We also found the variety of possible behaviours for regions other than that of the cluster formation. In most such regions, the cells cannot aggregate due to dominance of repulsion or the cells collapse due to dominance of attraction.

Some of the theory and predictions here and in [14] rely on the ability to approximate a nonlocal problem by a local PDE, where steady state solutions can be written explicitly and conveniently (at least in 1D). We quantified the degree of accuracy of such local approximations by numerically simulating and comparing the predictions of the nonlocal problem and its local PDE approximation.

Another question of interest is how the continuum results compare with agent based models. Analytic results for the case of a well-spaced swarm (where all agents are at equal distances from neighbors) in [26] arrived at similar regime boundaries in the CC\ell plane, but did not explore the regime of a loose cluster of finite radius. In [12], the authors investigated an agent-based model for velocity-limited particles that interact with Morse attraction-repulsion kernels. They classified behaviours into “H-stable” (well-spaced group) and “catastrophic” (collapse into a tight cluster), on a parameter plane very similar to the CC\ell plane shown here. The authors of [24] consider asymptotic dynamics of a 1D swarming model with attraction-repulsion kernels, including the Morse kernel. They show how properties of the kernel’s moments account for whether the group will contract or spread, or form a steady-state cluster. In [36], the authors include self-propulsion, friction, together with attractive/repulsive Morse potential. They assume that the total mass stays constant, regardless of the size of the flock. They numerically simulate their model in 3D, and find regimes for clumps spheres, dispersion, mills, rigid-body rotation, flocks. The above examples have features that go beyond our continuum models, and yet some of the properties that we find persist in these distinct situations.

In future plans for the analysis of collective behaviour, and particularly for the migration of the presypathetic ganglion (PSG) of [20], it would be important to consider the interactions of a second cell type (as modeled in [14]) with similar signaling mechanism, as well as the migration of a cluster towards its target. In such extensions, some analysis is available, though results are not as easily stated, as many new parameters enter the models.

Appendix A Numerical methods

In this section, we give an overview of the numerical methods we employ to solve both the non-local model and its local approximation. In both cases, we solve the partial differential equation

ρt=x(ρv).\frac{\partial\rho}{\partial t}=-\frac{\partial}{\partial x}\left(\rho v\right). (35)

We solve this equation on a large periodic domain [L,L][-L,L]. We discretize the equation using a finite volume approach. (See [18] for the theoretical basis.) The non-negative initial condition is

ρ(x,0)=ρ0+j=150ξjsin(2πjxL),\rho(x,0)=\rho_{0}+\sum_{j=1}^{50}\xi_{j}\sin\left(\frac{2\pi jx}{L}\right),

where ξj\xi_{j} is a uniformly distributed random variable between (5,5)(-5,5). Note that since equation (35) is hyperbolic (i.e. does not contain a smoothing diffusion term) the initial condition must be smooth.

In detail, the spatial term is discretized using a third order upwind scheme with a van Leer flux limiter. It remains to compute the velocities. We consider two cases for the velocities.

  1. (a)

    In the non-local case we have

    vnon-local=x(Kρ).v_{\text{non-local}}=-\frac{\partial}{\partial x}(K*\rho).

    The non-local kernel is discretized using the approach outlined in [19]. Most crucially this allows us to use the FFT to evaluate the convolution.

  2. (b)

    In the local case we have

    vlocal=x(a0ρ+a2ρxx).v_{\text{local}}=-\frac{\partial}{\partial x}\left(a_{0}\rho+a_{2}\rho_{xx}\right).

    The first term is discretized as usual, the challenging term here is the second order derivative term. We discretize this term using a second order centered finite difference scheme. This discretization will effectively lead to a second order discretization of a fourth order derivative. For our numerical calculations it is important not to choose the spatial discretization size too small due to the high amplification of round-off errors of this fourth order derivative approximation. We estimate the optimal spatial discretization size as follows

    Approximation ErrorC0h2+C1h4\text{Approximation Error}\sim C_{0}h^{2}+\frac{C_{1}}{h^{4}}

    where the first term is the local truncation error and the second term is the rounding error. Minimizing this expression we obtain an optimal discretization size of 10310^{-3}. Most importantly, discretization sizes below this optimal value lead to the emergence of large round-off errors and are to be avoided.

This method of lines scheme results in a large system of nonlinear ordinary differential equations which we integrate using ROWMAP [38]. Finally we remark that we extensively tested our numerical method, and in particular it passes the test cases presented in [2].

Appendix B Moments of polynomial repulsion

The moments of the above potential are needed for the local PDE approximation, namely

a0^=rRrrϕ(x)𝑑x=2rR0r(x4r42x2r2+1)𝑑x=2rR(r55r42r33r2+r)\hat{a_{0}}=rR\int_{-r}^{r}\phi(x)\,dx=2rR\int_{0}^{r}\left(\frac{x^{4}}{r^{4}}-2\frac{x^{2}}{r^{2}}+1\right)\,dx=2rR\left(\frac{r^{5}}{5r^{4}}-2\frac{r^{3}}{3r^{2}}+r\right)

Simplifying leads to a0^=γ0r2R\hat{a_{0}}=\gamma_{0}r^{2}R where γ0=(16/15)\gamma_{0}=(16/15). Similarly the second moment is

a2^=rRrrx2ϕ(x)𝑑x=2rR0r(x6r42x4r2+x2)𝑑x=2rR(r77r42r55r2+r33).\hat{a_{2}}=rR\int_{-r}^{r}x^{2}\phi(x)\,dx=2rR\int_{0}^{r}\left(\frac{x^{6}}{r^{4}}-2\frac{x^{4}}{r^{2}}+x^{2}\right)\,dx=2rR\left(\frac{r^{7}}{7r^{4}}-2\frac{r^{5}}{5r^{2}}+\frac{r^{3}}{3}\right).

Simplifying results in a2^=γ2r4R\hat{a_{2}}=\gamma_{2}r^{4}R with γ2=(8/105)\gamma_{2}=(8/105). Thus, the moments of the repulsion are similar to those of the Morse repulsive potential, but with some new constants γ0,γ2\gamma_{0},\gamma_{2} appearing.

Appendix C Morse kernels in adhesion models

Exponential kernels appear in other classes of theoretical models, including non-local adhesion models. For instance, the model proposed by [1] for cell density u(x,t)u(x,t) is

ut=Duxxα(uRRRu(x+r)Ω(r)dr)x,u_{t}=Du_{xx}-\alpha\left(\frac{u}{R}\int_{-R}^{R}u(x+r)\Omega(r)\differential r\right)_{x}, (36)

where RR is the cell’s sensing radius i.e. roughly the distance around the cell over which cell-cell forces are exerted. See also [33, 34, 6]. One common choice of the integral kernel is the exponential

Ω=r|r|ω0exp(rξ),\Omega=\frac{r}{\absolutevalue{r}}\omega_{0}\exp\left(-\frac{r}{\xi}\right),

where ω0\omega_{0} is a normalization constant. Following the steps in [5], we can write (36) in potential form i.e.

ut=Duxxα(uRRRu(x+r)V(r)dr),u_{t}=Du_{xx}-\alpha\nabla\left(\frac{u}{R}\nabla\int_{-R}^{R}u(x+r)V(r)\differential r\right), (37)

where

V(r)=ξexp(rξ).V(r)=\xi\exp\left(-\frac{r}{\xi}\right).

In other words, non-local adhesion models (or dispersal models) using Laplace kernels are a type of Morse potential.

References

  • \bibcommenthead
  • Armstrong et al. [2006] Armstrong, N.J., Painter, K.J., Sherratt, J.A.: A continuum approach to modelling cell–cell adhesion. Journal of theoretical biology 243(1), 98–113 (2006)
  • Bessemoulin-Chatard and Filbet [2012] Bessemoulin-Chatard, M., Filbet, F.: A finite volume scheme for nonlinear degenerate parabolic equations. SIAM Journal on Scientific Computing 34(5), 559–583 (2012)
  • Byrne and Drasdo [2009] Byrne, H., Drasdo, D.: Individual-based and continuum models of growing cell populations: a comparison. Journal of mathematical biology 58, 657–687 (2009)
  • Buttenschön and Edelstein-Keshet [2020] Buttenschön, A., Edelstein-Keshet, L.: Bridging from single to collective cell migration: A review of models and links to experiments. PLoS computational biology 16(12), 1008411 (2020)
  • Buttenschön and Hillen [2021] Buttenschön, A., Hillen, T.: Non-local cell adhesion models: Steady states and bifurcations (2021)
  • Buttenschön et al. [2018] Buttenschön, A., Hillen, T., Gerisch, A., Painter, K.J.: A space-jump derivation for non-local models of cell–cell adhesion and non-local chemotaxis. Journal of mathematical biology 76, 429–456 (2018)
  • Bonner [1998] Bonner, J.T.: A way of following individual cells in the migrating slugs of dictyostelium discoideum. Proceedings of the National Academy of Sciences 95(16), 9355–9359 (1998)
  • Bernoff and Topaz [2016] Bernoff, A.J., Topaz, C.M.: Biological aggregation driven by social and environmental factors: A nonlocal model and its degenerate cahn–hilliard approximation. SIAM Journal on Applied Dynamical Systems 15(3), 1528–1562 (2016)
  • Chitnis et al. [2012] Chitnis, A.B., Dalle Nogare, D., Matsuda, M.: Building the posterior lateral line system in zebrafish. Developmental neurobiology 72(3), 234–255 (2012)
  • Costa Filho et al. [2013] Costa Filho, R.N., Alencar, G., Skagerstam, B.-S., Andrade, J.S.: Morse potential derived from first principles. Europhysics Letters 101(1), 10009 (2013)
  • Chaplain et al. [2020] Chaplain, M.A., Lorenzi, T., Macfarlane, F.R.: Bridging the gap between individual-based and continuum models of growing cell populations. Journal of Mathematical Biology 80(1), 343–371 (2020)
  • D’Orsogna et al. [2006] D’Orsogna, M.R., Chuang, Y.-L., Bertozzi, A.L., Chayes, L.S.: Self-propelled particles with soft-core interactions: patterns, stability, and collapse. Physical review letters 96(10), 104302 (2006)
  • Elliott and Garcke [1996] Elliott, C.M., Garcke, H.: On the cahn–hilliard equation with degenerate mobility. SIAM journal on mathematical analysis 27(2), 404–423 (1996)
  • Falcó et al. [2023] Falcó, C., Baker, R.E., Carrillo, J.A.: A local continuum model of cell-cell adhesion. SIAM Journal on Applied Mathematics, 17–42 (2023)
  • Friedl and Mayor [2017] Friedl, P., Mayor, R.: Tuning collective cell migration by cell–cell junction regulation. Cold Spring Harbor perspectives in biology 9(4), 029199 (2017)
  • Friedl et al. [1995] Friedl, P., Noble, P.B., Walton, P.A., Laird, D.W., Chauvin, P.J., Tabah, R.J., Black, M., Zänker, K.S.: Migration of coordinated cell clusters in mesenchymal and epithelial cancer explants in vitro. Cancer research 55(20), 4557–4560 (1995)
  • Gerisch and Chaplain [2008] Gerisch, A., Chaplain, M.A.: Mathematical modelling of cancer cell invasion of tissue: local and non-local models and the effect of adhesion. Journal of theoretical biology 250(4), 684–704 (2008)
  • Gerisch [2001] Gerisch, A.: Numerical methods for the simulation of taxis diffusion reaction systems. PhD thesis, Martin-Luther-Universitat Halle-Wittenberg (2001)
  • Gerisch [2010] Gerisch, A.: On the approximation and efficient evaluation of integral terms in pde models of cell adhesion. IMA Journal of Numerical Analysis 30(1), 173–194 (2010)
  • Kasemeier-Kulesa et al. [2015] Kasemeier-Kulesa, J.C., Morrison, J.A., Lefcort, F., Kulesa, P.M.: Trkb/bdnf signalling patterns the sympathetic nervous system. Nature communications 6, 8281 (2015)
  • Koyama et al. [2023] Koyama, H., Okumura, H., Ito, A.M., Nakamura, K., Otani, T., Kato, K., Fujimori, T.: Effective mechanical potential of cell–cell interaction explains three-dimensional morphologies during early embryogenesis. PLoS Computational Biology 19(8), 1011306 (2023)
  • Keller and Segel [1971] Keller, E.F., Segel, L.A.: Model for chemotaxis. Journal of theoretical biology 30(2), 225–234 (1971)
  • Knutsdottir et al. [2017] Knutsdottir, H., Zmurchok, C., Bhaskar, D., Palsson, E., Dalle Nogare, D., Chitnis, A.B., Edelstein-Keshet, L.: Polarization and migration in the zebrafish posterior lateral line system. PLoS computational biology 13(4), 1005451 (2017)
  • Leverentz et al. [2009] Leverentz, A.J., Topaz, C.M., Bernoff, A.J.: Asymptotic dynamics of attractive-repulsive swarms. SIAM Journal on Applied Dynamical Systems 8(3), 880–908 (2009)
  • Liu et al. [2004] Liu, Y., Zhang, L., Wang, X., Liu, W.K.: Coupling of navier–stokes equations with protein molecular dynamics and its application to hemodynamics. International Journal for Numerical Methods in Fluids 46(12), 1237–1252 (2004)
  • Mogilner et al. [2003] Mogilner, A., Edelstein-Keshet, L., Bent, L., Spiros, A.: Mutual interactions, potentials, and individual distance in a social aggregation. Journal of mathematical biology 47, 353–389 (2003)
  • Merchant et al. [2018] Merchant, B., Edelstein-Keshet, L., Feng, J.J.: A rho-gtpase based model explains spontaneous collective migration of neural crest cell clusters. Developmental biology 444, 262–273 (2018)
  • Mogilner [1995] Mogilner, A.: Modelling spatio-angular patterns in cell biology. PhD thesis, University of British Columbia (1995)
  • Marée et al. [1999] Marée, A.F., Panfilov, A.V., Hogeweg, P.: Migration and thermotaxis of dictyostelium discoideum slugs, a model study. Journal of theoretical biology 199(3), 297–309 (1999)
  • Murray [2003] Murray, J.D.: Mathematical Biology: II: Spatial Models and Biomedical Applications vol. 18. Springer, New York (2003)
  • Newman [2005] Newman, T.J.: Modeling multi-cellular systems using sub-cellular elements. arXiv preprint q-bio/0504028 (2005)
  • Othmer and Hillen [2002] Othmer, H.G., Hillen, T.: The diffusion limit of transport equations ii: Chemotaxis equations. SIAM Journal on Applied Mathematics 62(4), 1222–1250 (2002)
  • Painter et al. [2010] Painter, K.J., Armstrong, N.J., Sherratt, J.A.: The impact of adhesion on cellular invasion processes in cancer and development. Journal of theoretical biology 264(3), 1057–1067 (2010)
  • Painter et al. [2015] Painter, K.J., Bloomfield, J., Sherratt, J., Gerisch, A.: A nonlocal model for contact attraction and repulsion in heterogeneous cell populations. Bulletin of mathematical biology 77, 1132–1165 (2015)
  • Palsson and Othmer [2000] Palsson, E., Othmer, H.G.: A model for individual and collective cell movement in dictyostelium discoideum. Proceedings of the National Academy of Sciences 97(19), 10448–10453 (2000)
  • Vecil et al. [2013] Vecil, F., Lafitte, P., Linares, J.R.: A numerical study of attraction/repulsion collective behavior models: 3d particle analyses and 1d kinetic simulations. Physica D: Nonlinear Phenomena 260, 127–144 (2013)
  • Weijer [2009] Weijer, C.J.: Collective cell migration in development. Journal of cell science 122(18), 3215–3223 (2009)
  • Weiner et al. [1997] Weiner, R., Schmitt, B.A., Podhaisky, H.: Rowmap–a row-code with krylov techniques for large stiff odes. Applied Numerical Mathematics 25, 303–319 (1997)
  • Yazdani et al. [2017] Yazdani, A., Li, H., Humphrey, J.D., Karniadakis, G.E.: A general shear-dependent model for thrombus formation. PLoS computational biology 13(1), 1005291 (2017)