--- abstract: 'Using formal asymptotic methods we derive a free boundary problem representing one of the simplest mathematical descriptions of the growth and death of a tumour or other biological tissue. The mathematical model takes the form of a closed interface evolving via forced mean curvature flow (together with a 'kinetic under–cooling' regularisation) where the forcing depends on the solution of a PDE that holds in the domain enclosed by the interface. We perform linear stability analysis and derive a diffuse–interface approximation of the model. Finite–element discretisations of two closely related models are presented, together with computational results comparing the approximate solutions.' author: - 'Joe Eyles[^1], John R. King[^2] [^3] and Vanessa Styles$^*$' title: A tractable mathematical model for tissue growth --- Introduction ============ The aim of this paper is to derive and simulate numerically one of the simplest mathematical descriptions of the growth and death of a tumour (or, more generally, other tissue in a multicellular organism or a bacterial biofilm) comprising a nutrient–deprived necrotic (dead) core surrounded by a thin rim of nutrient–rich dividing cells. We emphasise we are not seeking biological realism here, but rather to clarify the properties of simple formulations, onto which any level of additional complexity can be built; we also seek to provide proof of concept for the numerical approaches adopted. Despite the simplicity of the model, the numerical simulations in Section \[s:nr\] show that the model produces many features that are seen in significantly more complicated ones. Applying formal asymptotic methods, the thin rim collapses onto the interface that separates the tumour from its exterior; this generates two non–standard terms in the moving–boundary conditions for the tumour (the model otherwise corresponding to a Hele–Shaw reverse squeeze film with surface tension). We assume that the nutrient density is constant on the tumour surface and Darcy flow is used, this being the simplest constitutive assumption appropriate to modelling in a porous tissue–engineering scaffold, and having historically been widely adopted (at least since @greenspan1 [@greenspan2]) in the modelling of tumour growth. This results (see below, where we clarify the role of nutrient in this formulation) in the following free boundary problem for the tissue pressure $u$, $$\begin{aligned} \Delta {u}= 1 &\mbox{ in }& \Omega(t), \label{eq_f2_uOnOmega_intro}\\ \nabla {u}\cdot {{\bsymbol{\nu}}}+ \frac{{u}}{\alpha} + \beta \kappa = Q &\mbox{ on }& \Gamma(t) , \label{eq_f2_uOnGamma_intro} \\ {V}= \frac{{u}}{\alpha} + \beta \kappa &\mbox{ on }& \Gamma(t). \label{eq_f2_vOnGamma_intro} \end{aligned}$$ Here $\Omega(t)$ denotes the tumour, $\Gamma(t)=\partial\Omega(t)$, and $V$, $\kappa$ and ${{\bsymbol{\nu}}}$ are respectively the normal velocity, mean curvature and outer unit normal of $\Gamma(t)$, and $\alpha,\beta \in \mathbb{R}$ are positive constants. The key ingredients of the model are as follows: the right–hand side of $\Delta {u}= 1$ is a volumetric sink that reflects loss of necrotic material and destabilises the free boundary; $Q$ is a surface source, capturing the viable rim around the tumour edge; and $\alpha$ and $\beta$ are regularising parameters, the unregularised case being associated with the limit $\alpha \rightarrow 0$ with $\beta$ fixed - the exact implication $$\nabla u \cdot {{\bsymbol{\nu}}}+ V = Q ,$$ of (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]) is instructive for this limit case. The novelty of this free boundary problem is that it is derived via a thin–rim limit, resulting in a formulation that does not require additional equations to be solved for the nutrient density in the interior of the tumour. For a brief discussion of the framework of the model see @jkow, pp. 305. The model is both simpler and more tractable than many found in the literature, compare for example @cristini [@chdTumourModel] and the references therein, and see @byrne_chaplain_SI and @king_franks_04 for additional background to moving–boundary approaches to tumour growth related to that which is analysed here; indeed, it is perhaps the simplest such model that is able to capture the transition from the linear growth phase to growth saturation: this can be exemplified by the one–dimensional case: imposing symmetry about $x = 0$ and writing $\Gamma(t)$ as $x = s(t)$ gives $$u = \alpha(Q - s(t)) + \frac{1}{2} (x^2 - s^2(t)) ,$$ with $$\frac{{\mathop{}\!\mathrm{d}}s}{{\mathop{}\!\mathrm{d}}t} = Q - s, \quad s(t) = Q - (Q - s(0))e^{-t} .$$ The case $s(0) \ll Q$ is then instructive, giving $$\begin{aligned} \mbox{(linear growth)} \quad \ ~ s(t) \sim s(0) + Qt & \quad \mbox{ for } t = O\left( \frac{s(0)}{Q} \right) , \\ \mbox{(transition to saturation)} \quad s(t) \sim Q (1 - e^{-t}) & \quad \mbox{ for } t = O(1) .\end{aligned}$$ Two–component mixture models of tumour and healthy cells are considered in @cristini [@chdTumourModel], these models taking the form of Cahn–Hilliard type diffuse–interface models in which the interfacial region between the tumour and the healthy cells has a non–zero thickness. In @king_franks_04 [@king_franks_paper] both Darcy and Stokes constitutive assumptions are considered, allowing the tumour to be modelled as a highly viscous fluid moving either through a porous medium or unconstrained; this is also the case in @cristini, where movement of cells along chemical gradients (chemotaxis) is introduced via a nutrient diffusion equation. In @chdTumourModel a Cahn–Hilliard–Darcy model is considered that models chemotaxis and active transport, and formal matched asymptotic expansions are performed to yield several sharp–interface models. In @greenspan1 the authors consider a cylindrical or spherical tumour and focus on the diffusion of nutrients and waste products in order to model tumour growth patterns. The geometrically constrained model in @greenspan1 was extended in @greenspan2 whereby, among other things, the geometric constraints are dropped: here the surface normal stress is taken to be proportional to the mean curvature, and Darcy's law is adopted. In @byrne_chaplain_SI the authors consider a single–nutrient sharp–interface model with two growth inhibitors, one external to the tumour, e.g. an anti–cancer drug or immune response, and one internal to the tumour, e.g. a by–product of the degradation of necrotic cells. The diffusion of the nutrient is considered, and its description on the boundary depends upon the curvature. Although we do not consider anti–cancer drugs or immune responses here, a simplified version of these could potentially be modelled by reducing the size of our surface source. In Section \[s:derivation\] we derive the model using formal–asymptotic methods then, in Section \[s:stab\], we present calculations pertaining to the linear stability of radially symmetric solutions. A diffuse–interface formulation is derived in Section \[ss:DI\_model\] and in Section \[s:fea\] we present finite–element approximations of the model and its diffuse–interface approximation. Numerical simulations are presented and discussed in Section \[s:nr\]. In the appendix we perform analysis on the thin–film limit of the model. Derivation of the model {#s:derivation} ======================= The model corresponds to a distinguished limit of the following dimensionless formulation (here we elaborate, with some minor differences, on analysis briefly outlined in @king_franks_paper). We have $$\label{der_L1} \left. \begin{array}{c} \frac{\partial n}{\partial t} + \nabla \cdot (\bm{v} n) = (k_b(c) - k_d(c))n , \quad \frac{\partial m}{\partial t} + \nabla \cdot (\bm{v} m) = k_d(c) n - {\varepsilon}\lambda m , \\ n+m = 1 , \\ {\varepsilon}^2 \nabla \cdot (D(n) \nabla c) = K(c) n , \quad \bm{v} = - \nabla p / \mu(n; {\varepsilon}) , \end{array} \right\}$$ wherein $n$ and $m$ are the volume fractions of live and dead cells, $c$ is the nutrient concentration, $k_b$ and $k_d$ are the cellular birth and death rates (the former being an increasing function of $c$ and the latter a decreasing one), ${\varepsilon}\lambda$ specifies the (slow) degradation rate of the necrotic material, $K(c) / {\varepsilon}^2$ expresses the nutrient consumption rate, which will be taken to be large, $D(n)$ is the nutrient diffusivity (nutrient transport can be treated as quasi–steady), $\bm{v}$ is the velocity field (the two phases being treated as a single continuum, i.e. the model can be characterised as being one–and–a–half phase rather than fully two phase), $p$ is the pressure (i.e. Darcy's law for a Newtonian fluid is adopted as the constitutive assumption, in keeping with many existing models) and $\mu(n; {\varepsilon})$ is proportional to the tissue viscosity; ${\varepsilon}$ is a small parameter that appears in a number of places, associted with a key distinguished limit. The system (\[der\_L1\]) is taken to hold in a finite domain $\Omega(t)$, with boundary $\Gamma(t)$ and dimensionless boundary conditions (the sign convention being such that $\kappa < 0$ for a sphere) $$\label{der_L2} c = 1, \quad p = - {\varepsilon}^2 \gamma (n) \kappa, \quad q_{{{{\small\nu}}}} = \bm{v} \cdot {{\bsymbol{\nu}}}, \quad \mbox{ on } \Gamma(t) ,$$ where ${\varepsilon}^2 \gamma(n)$ expresses cell–cell adhesion, $\kappa$ is the mean curvature of $\Gamma(t)$, ${{\bsymbol{\nu}}}$ is its unit outward normal, and $q_{{{{\small\nu}}}}$ its normal velocity. Since we shall be concerned with what is in effect the large–time behaviour, initial conditions are not important, though $$n({x}, 0) = 1 \quad \mbox{ in } \Omega(0) ,$$ would represent a plausible assumption. In addition to the powers of ${\varepsilon}$ already introduced in (\[der\_L1\]), (\[der\_L2\]), the final condition that leads to the distinguished limit in question involves $$\label{der_L3} \mu(n; {\varepsilon}) \sim \mu_0(n) \quad \mbox{ for } \quad n = O(1) , \ n>0 , \ \mu(0; {\varepsilon}) \sim {\varepsilon}\mu_1 \quad \mbox{ as } {\varepsilon}\rightarrow 0,$$ for constant $\mu_1$, associated with the physically reasonable assumption that the necrotic material is much less viscous than living tissue. We now derive the asymptotic structure of the problem in the limit ${\varepsilon}\rightarrow 0$, which comprises two regions, namely a boundary–layer (thin–rim) around the tissue edge in which the living cells are concentrated, resulting from nutrient consumption therein, and a necrotic core. The former (thin–rim) is governed by a one–dimensional travelling–wave balance, described next; the latter generates, on matching to the former, the moving–boundary problem that is the subject of the rest of the paper. The boundary–layer scalings are as follows $$\nu = {\varepsilon}\zeta, \quad \bm{v} \cdot {{\bsymbol{\nu}}}= {\varepsilon}V_{{{{\small\nu}}}} , \quad q_{{{{\small\nu}}}} = {\varepsilon}Q_{{{{\small\nu}}}} , \quad p = {\varepsilon}^2 P , \quad t = {\varepsilon}^{-1} T ,$$ $\nu$ denoting the outward normal distance from $\Gamma(T)$; the tangential velocity components are of $O({\varepsilon}^2)$ but are not needed in the sequel. We note that the relevant timescale is $t=O(\varepsilon^{-1})$ due to growth being confined to the thin rim (i.e. only a small minority of the volume is experiencing cell division) and dictating the velocity and pressure scalings above. Thus to leading order the travelling–wave balance $$\begin{aligned} \frac{{\mathop{}\!\mathrm{d}}}{{\mathop{}\!\mathrm{d}}\zeta} (W_{{{{\small\nu}}}} n) = (k_b (c) - k_d(c)) n , & \quad \frac{{\mathop{}\!\mathrm{d}}}{{\mathop{}\!\mathrm{d}}\zeta} (W_{{{{\small\nu}}}} m) = k_d (c) n , \nonumber \\ n + m = 1 ,& \label{der_L4} \\ \frac{{\mathop{}\!\mathrm{d}}}{{\mathop{}\!\mathrm{d}}\zeta} \left( D(n) \frac{{\mathop{}\!\mathrm{d}}c}{{\mathop{}\!\mathrm{d}}\zeta} \right) = K(c) n, & \quad V_{{{{\small\nu}}}} = - \frac{1}{\mu_0 (n)} \frac{\partial P}{\partial \zeta} , \nonumber\end{aligned}$$ holds in $\zeta < 0$ with $$\label{der_L5} c = 1, \quad P = - \gamma(n) \kappa , \quad W_{{{{\small\nu}}}} = 0 , \quad \mbox{ on } \zeta = 0 ,$$ where $W_{{{{\small\nu}}}} = V_{{{{\small\nu}}}} - Q_{{{{\small\nu}}}}$; we note that the leading–order solution depends only on $\zeta$, so that ordinary derivative notation is indeed appropriate, this being a deduction from the boundary value problem (\[der\_L4\]) – (\[der\_L6\]) rather than an assumption; in particular $W_\nu$ depends only on $\zeta$ while $Q_\nu$ depends on $T$ and the tangential coordinates, and $V_\nu$, and hence $P$, depends on all the variables, this property of $W_\nu$ being a consequence of the Galilean invariance of the problem when $p$ is disregarded. Indeed, $P$ (and hence the mechanics) decouples, the remaining system being independent of the Darcy constitutive assumption and depending on $V_{{{{\small\nu}}}}$ and $Q_{{{{\small\nu}}}}$ only through $W_{{{{\small\nu}}}}$. It follows from (\[der\_L5\]) that (\[der\_L4\]) implies $$\frac{{\mathop{}\!\mathrm{d}}W_{{{{\small\nu}}}}}{{\mathop{}\!\mathrm{d}}\zeta} = k_b(1) - k_d(1), \quad m \frac{{\mathop{}\!\mathrm{d}}W_{{{{\small\nu}}}}}{{\mathop{}\!\mathrm{d}}\zeta} = k_d(1)n \quad \mbox{ at } \zeta = 0,$$ so that $$n = 1 - \frac{k_d(1)}{k_b(1)}, \quad m = \frac{k_d(1)}{k_b(1)} \quad \mbox{ at } \zeta = 0,$$ and (\[der\_L5\]) in consequence involves the constant $$\gamma_0 = \gamma \left( 1 - \frac{k_d(1)}{k_b(1)} \right) ,$$ which serves as a surface–tension parameter in what follows. As $\zeta \rightarrow - \infty$ we have $$\label{der_L6} n \rightarrow 0, \quad m \rightarrow 1, \quad c \rightarrow c_\infty , \quad W_{{{{\small\nu}}}} \rightarrow - Q ,$$ where the positive constants $c_\infty$ and $Q$ are to be determined as part of the solution to (\[der\_L4\]) – (\[der\_L6\]); $Q$ plays a crucial role in what follows, providing a surface source of material that constrasts with the volumetric sink $\lambda$. To complete the matching we must turn to the pressure $P$; the assumption (\[der\_L3\]) implies a non–uniformity here, but it is a consequence of $P$ decoupling that $$V_{{{{\small\nu}}}} \sim - \frac{1}{\mu(n ; {\varepsilon})} \frac{{\mathop{}\!\mathrm{d}}P}{{\mathop{}\!\mathrm{d}}\zeta},$$ holds uniformly in the boundary layer regions (it will be clear that there is an *ad–hoc* flavour to this statement, but it can readily be fully justified in the sense of formal asymptotics). In consequence $$P \sim {\varepsilon}\mu_1(Q - Q_{{{{\small\nu}}}}) \zeta + Q_{{{{\small\nu}}}} \int_\zeta^0 \left( \mu(n(\zeta'); {\varepsilon}) - {\varepsilon}\mu_1 \right) {\mathop{}\!\mathrm{d}}\zeta ' + \int_\zeta^0 \left( \mu(n(\zeta'); {\varepsilon}) W_{{{{\small\nu}}}}(\zeta') + {\varepsilon}\mu_1 Q \right) {\mathop{}\!\mathrm{d}}\zeta ' - \gamma_0 \kappa$$ applies, with (\[der\_L4\]) implying that $W_{{{{\small\nu}}}}(\zeta)$ satisfies $$\frac{{\mathop{}\!\mathrm{d}}W_{{{{\small\nu}}}}}{{\mathop{}\!\mathrm{d}}\zeta} = k_b (c) n .$$ Hence as $\zeta \rightarrow - \infty$, ${\varepsilon}\rightarrow 0$ with $\zeta = O(1 / {\varepsilon})$, $$\label{der_L7} P \sim {\varepsilon}\mu_1 (Q - Q_{{{{\small\nu}}}}) \zeta + a Q_{{{{\small\nu}}}} - b - \gamma_0 \kappa ,$$ for positive constants $$a \equiv \int_{-\infty}^0 \mu_0 (n(\zeta)) {\mathop{}\!\mathrm{d}}\zeta , \quad b \equiv - \int_{-\infty}^0 \mu_0(n(\zeta)) W_{{{{\small\nu}}}} (\zeta) {\mathop{}\!\mathrm{d}}\zeta.$$ We can now turn to the necrotic core region, wherein $n$ is exponentially small in ${\varepsilon}$, so (\[der\_L1\]) reduces in $\Omega(t)$ at leading order to, on setting $\bm{v} = {\varepsilon}\bm{V}$, $$\label{der_L8} \nabla \cdot \bm{V} = - \lambda , \quad \bm{V} = - \nabla P / \mu_1 ,$$ with $m = 1$ and $$\label{der_L9} \Delta c = 0.$$ The boundary conditions on (\[der\_L8\]) – (\[der\_L9\]) result from matching to (\[der\_L6\]) – (\[der\_L7\]) (i.e. by the usual matching arguments from singular–perturbation theory, (\[der\_L1\]) does not apply to the core). Thus (\[der\_L8\]) is subject on $\Gamma(t)$ to $$\label{der_L10} V_{{{{\small\nu}}}} = Q_{{{{\small\nu}}}} - Q, \quad P = a Q_{{{{\small\nu}}}} - b - \gamma_0 \kappa,$$ (the creation of extra volume through cell division necessitating the deformation of the surrounding tissue), while the regularising $aQ_\nu$ term (mathematically equivalent to kinetic undercooling, but arising for reasons distinct from those relevant in widely studied phase change problems) is associated with the mechanical interactions between the large low–viscosity core and the high–viscosity rim (i.e. the former cannot readily deform the latter despite their relative sizes, (\[der\_L3\]) reflecting the associated distinguished limit). We stress that the 'kinetic–undercooling' regulariastion arises from the thin–rim limit, whereas the 'surface–tension' term $\gamma_0\kappa$ is imposed through the original boundary condition (\[der\_L2\]). $b$ can be viewed as a proliferation–driven contribution to the pressure, while (\[der\_L6\]) – (\[der\_L9\]) simply give $c = c_\infty$; note that the first term on the right–hand side of (\[der\_L7\]) gives the matching condition $${{\bsymbol{\nu}}}\cdot \nabla P = \mu_1 V_{{{{\small\nu}}}},$$ which is automatically satisfied given (\[der\_L8\]) and (\[der\_L10\]). Finally we obtain, on translating $P$ by $b$, the moving–boundary problem $$\begin{aligned} \label{der_L11} \Delta P = \lambda \mu_1 , \quad \mbox{ in } \Omega(t), \\ Q_{{{{\small\nu}}}} = Q - \frac{1}{\mu_1} \frac{\partial P}{\partial \nu} , \quad P = a Q_{{{{\small\nu}}}} - \gamma_0 \kappa , \quad \mbox{ on } \Gamma(t) \nonumber ,\end{aligned}$$ where $\frac{\partial }{\partial \nu}$ denotes the outward–normal derivative. For $a = \gamma_0 = Q = 0$, this is the classical Hele–Shaw reverse (negative) squeeze–film problem (see, e.g., @ok_ho_la_03), which is ill–posed; the $a$ term corresponds to a kinetic–undercooling regularisation and $\gamma_0$ to a surface–energy regularisation (cf. @ho_92, for example, for a discussion of such regularisations in the Hele–Shaw context) - both are stabilising, but for small enough values (\[der\_L11\]) will be susceptible to fingering instabilities. The surface source term $Q$ is novel, making (\[der\_L11\]) distinct from previous Hele–Shaw formulations; since the instabilities are associated with shrinking fluid domains (due to $\lambda \mu_1 > 0$), it might be expected to play a stabilising role, though the linear–stability analysis in Section \[s:stab\] quantifies the extent to which this intuition is misleading (indeed, the growth associated with $Q$ has the potential to stabilise by filling inward–facing fingers but also allows more room for the destabilising mechanism to manifest itself). Setting $P=u$, $a=\alpha$, $Q_{{{{\small\nu}}}}=V$, $\beta=\gamma_0/a$ and scaling such that $\mu_1 = \lambda = 1$ yields (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]), with $t$ reinstated as the time variable, in place of (and equivalent to) $T$ above. We regard the rigorous justification of the above 'thin–rim' limiting process for (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]), from (\[der\_L1\]) as a worthwhile open problem. The limit has features in common with both sharp–interface and thin–film limits, without being exactly of either type (for example an interface is present both before and after the limit is taken, but the conditions that apply thereon are modified by the limit process). Model analysis {#s:stab} ============== Radially symmetric solutions and their stability ------------------------------------------------ ### Circular solutions {#rad} We limit ourselves here, for brevity, to the two–dimensional case, though the three–dimensional one is of course also tractable. Taking the cylindrically symmetric solution to be $u = u_c(r, t)$ in $\Omega$, with $r = s_c(t)$ corresponding to $\Gamma$, (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]), reduces to $$\dot{s}_c = Q - \frac{1}{2} s_c, \quad u_c = \frac{1}{4} r^2 - \frac{1}{4} s_c^2 - \frac{\alpha \beta}{s_c} + \alpha \dot{s}_c, \label{radusol}$$ so that $$\label{radrad} s_c = 2Q + (s_0 - 2Q) e^{-\frac{1}{2} t} ,$$ for initial data $s_c(0) = s_0$. ### Linear stability {#sstab} Setting $$u \sim u_c(r , t) + \delta U(r, \theta, t), \quad s \sim s_c (t) + \delta S(\theta, t),$$ where $r = s(\theta, t)$ parametrises $\Gamma$, and retaining only those terms that are linear in $\delta$ implies $$\Delta U = 0, \quad 0 \leq r \leq s_c (t) ,$$ $$\frac{\partial S}{\partial t} = - \frac{1}{2} S - \frac{\partial U}{\partial r} , \quad \frac{\partial S}{\partial t} = \frac{1}{\alpha} \left( \frac{1}{2} s_c S + U \right) + \frac{\beta}{s_c^2} \left( S + \frac{\partial^2 S}{\partial \theta^2} \right) \quad \mbox{ on } r = s_c(t) ,$$ on projecting $\Gamma$ onto $r = s_c(t)$ in the usual way. Fourier decomposing in the form $$U = A_n(t) \left( \frac{r}{s_c} \right) ^n \begin{cases} \cos(n \theta) \\ \sin(n \theta) \end{cases}, \quad S = B_n (t) \begin{cases} \cos(n \theta) \\ \sin(n \theta) \end{cases}$$ for non–negative integer $n$ then implies that $$\dot{B}_n = -\frac{1}{2} B_n - \frac{n}{s_c} A_n, \quad \dot{B}_n = \frac{1}{\alpha} \left( \frac{1}{2} s_c B_n + A_n \right) - \frac{\beta}{s_c^2} (n^2 - 1) B_n ,$$ so that $$\label{stab:N2} (s_c + n \alpha) \dot{B}_n = \frac{n-1}{2 s_c^2} \left( s_c^3 - 2 \alpha \beta n (n + 1) \right) B_n .$$ Hence $$\dot{B}_0 = - \frac{1}{2} B_0, \quad \dot{B}_1 = 0 ,$$ the former corresponding to perturbing $s_0$ in (\[radrad\]), and the latter arising because the $n = 1$ modes simply correspond to small shifts in the coordinate origin. $\dot{B}_n$ is negative for $n \geq 2$, and the circular solution is hence linearly stable, if $$\label{stab:N3} 12 \alpha \beta > s_c^3,$$ i.e. the steady state $s_c = 2 Q$ is linearly stable if $$\label{stab:N4} 3 \alpha \beta > 2 Q^3.$$ In view of (\[stab:N2\]), it is instructive to determine the faster growing mode, i.e. value of $n$ that maximises $$\label{stab:N4_again} \frac{n-1}{2 s_c^2 (s_c + n Q)} \left( s_c^3 - 2 \alpha \beta n (n + 1) \right),$$ whenever the latter is positive, and this may change as $s_c$ evolves; for $s_0$ sufficiently small (and less than $2 Q$), all modes will initially decay, but when (\[stab:N4\]) is violated the $n = 2$ mode will grow for sufficiently large $t$, and other modes may subsequently become unstable. For a wide range of parameters the $n = 2$ mode will be the most unstable one for all $t$, but an instructive regime in which this is not the case arises for $\beta$ small. Thus for $\beta = 0$ all modes with $n \geq 2$ are unstable, with the limit $n \rightarrow \infty$ giving the fastest growth rate, namely $$\frac{s_c}{2 \alpha}$$ (this expression clarifies the role of $\alpha$ as a regularising parameter). For $\beta \ll 1$ and $n \gg 1$, (\[stab:N4\_again\]) is given asymptotically by $$\label{stab:N5} \frac{s_c}{2 \alpha} - \left( 1 + \frac{s_c}{\alpha} \right) \frac{s_c}{2 \alpha n} - \frac{\beta}{s_c^2} n^2 ,$$ for $n = O(\beta^{-\frac{1}{3}})$, so the fastest growing mode at a given $t$ has $$n \sim s_c \left( (1 + \frac{s_c}{\alpha}) \frac{1}{4 \alpha \beta}\right) ^{\frac{1}{3}}.$$ Because this quantity changes with $t$, the dominant wavelength observed at large time will presumably be dependent on how the relative magnitudes of the modes in the initial data feed through into the ultimate nonlinear evolution, and it is important to note that the leading term in (\[stab:N5\]) is independent of $n$. While this instability mechanism is closely related to the well known Saffman–Taylor instability in Hele–Shaw and Darcy flows, its relevance to tissue growth applications is less widely recognised, a key point being that (in contrast to the Hele–Shaw case) instabilities can arise for growing domains (due to the surface source $Q$) as well as shrinking ones; see @king_franks_04 [@king_franks_book] for a detailed classification of instability mechanisms for such tissue–growth moving–boundary problems. Other properties {#s:other_matters} ---------------- We briefly note some other properties here (additionally the appendix records a thin–film limit). The result $$\begin{aligned} \frac{{\mathop{}\!\mathrm{d}}}{{\mathop{}\!\mathrm{d}}t} \mbox{Vol}(\Omega(t)) &= \int_{\Gamma(t)} V {\mathop{}\!\mathrm{d}}S \nonumber \\ & = Q \mbox{Area}(\Gamma(t)) - \int_{\Gamma(t)} \nabla u \cdot {{\bsymbol{\nu}}}{\mathop{}\!\mathrm{d}}S \nonumber \\ & = Q \mbox{Area}(\Gamma (t)) - \mbox{Vol} (\Omega(t)) , \label{eq_mass_conserv_other_prop}\end{aligned}$$ which readily follows on applying the divergence theorem, expresses the overall mass balance arising from the surface source and the volumetric sink. Thus tissue can enhance its growth by maximising its surface area for a given volume, making spheres the most sub–optimal shapes in this sense, and providing an interpretation of interface fingering (this does not characterise a fingering mechanism but does clarify why such instabilities may be favoured). Secondly, steady state solutions satisfy $$\Delta u = 1,$$ $$u = -\alpha \beta \kappa, \quad \nabla u \cdot {{\bsymbol{\nu}}}= Q ,$$ and this free–boundary problem is itself of interest. The circular case is addressed in the linear–stability section, Section \[sstab\], but there are presumably also non–trivial (but probably unstable) steady configurations. Applying the linear stability analysis may, by identifying bifurcation points, be instructive in classifying these solutions and in facilitating weakly nonlinear analyses but, given that they seem likely to be unstable, we shall not pursue their analysis here. Nevertheless, we highlight their potential interest from the free–boundary problem perspective. Finally, we record the interfacial dynamics limit that arises for small domains (though of course nevertheless much larger than the rim thickness) with $\alpha \gg 1$, whereby the leading–order problem involves the evolution of the free boundary only. Setting $\alpha = 1 / {\varepsilon}$, $\beta = {\varepsilon}\gamma$, and rescaling $\bm{x} \rightarrow {\varepsilon}\bm{x}$, $V \rightarrow {\varepsilon}V$, $Q \rightarrow {\varepsilon}Q$ to give $$\Delta u = {\varepsilon}^2$$ $$\nabla u \cdot \bm{\nu} + {\varepsilon}^2 V = {\varepsilon}^2 Q , \quad V = u + \gamma \kappa,$$ so that $$u \sim U(t), \quad V \sim U + \gamma \kappa ,$$ and the divergence theorem (or, equivalently, the solvability condition at $O({\varepsilon}^2)$) gives (as above) $$\begin{aligned} \mbox{Vol}(\Omega(t)) &= Q \mbox{Area}(\Gamma(t)) - \int_{\Gamma(t)} V {\mathop{}\!\mathrm{d}}S \\ &= (Q - U) \mbox{Area}(\Gamma(t)) - \gamma \int_{\Gamma(t)} \kappa {\mathop{}\!\mathrm{d}}S ,\end{aligned}$$ implying the novel non–local interfacial dynamics law of forced mean–curvature–flow type $$\label{eq_non-local_dynamics} V = Q - \frac{\mbox{Vol}(\Omega(t))}{\mbox{Area}(\Gamma(t))} + \gamma \left( \kappa - \frac{\int_{\Gamma(t)} \kappa {\mathop{}\!\mathrm{d}}S}{\mbox{Area}(\Gamma(t))} \right)$$ that involves the total mean curvature; this becomes more explicit in two dimensions, whereby $$V = Q - \frac{\mbox{Area}(\Omega(t))}{\mbox{Length}(\Gamma(t))} + \gamma \left( \kappa - \frac{2 \pi}{\mbox{Length}(\Gamma(t))} \right) .$$ We note that the exact result (\[eq\_mass\_conserv\_other\_prop\]) is readily recovered from the limit case (\[eq\_non-local\_dynamics\]). A diffuse-interface model {#ss:DI_model} ========================= In this section we derive a diffuse–interface formulation of (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]). In the diffuse–interface paradigm we approximate the interface $\Gamma(t)$ by an interfacial region $\Gamma_\varepsilon(t)$ with width $C \varepsilon\ll 1$. To this end a phase–field parameter $\varphi$ is introduced such that, within the thin interfacial region, $\varphi$ varies smoothly from $\varphi = -1$ to $\varphi = 1$, while outside it $|\varphi| = 1$, thus we can define $\Gamma_\varepsilon$ by $$\Gamma_\varepsilon := \Set{{x}\in \mathbb{R}^d| \left|\varphi({x})\right| < 1} .$$ We set $\varphi=1$ in the region inside $\Gamma_\varepsilon$ and $\varphi=-1$ exterior to $\Gamma_\varepsilon$. In addition we let ${D}$ denote a bounded domain in $\mathbb{R}^d$, with a polygonal boundary, such that ${D}$ is chosen large enough to contain $\Gamma_\varepsilon(t)$ for all $t$. We denote the outward unit normal to $\partial{D}$ by $\tilde{\bsymbol{\nu}}$. \[scale = 0.5\] plot coordinates <span>(0,0) (10.8,0) (10.8,7.8) (0,7.8) (0,0)</span>; plot \[smooth cycle, tension=1\] coordinates <span>(1.8,1.5) (7.2,1.5) (5.4,4.5) (1.8,6)</span>; plot \[smooth cycle, tension=1\] coordinates <span>(1.98,1.65) (7.02,1.65) (5.22,4.35) (1.98,5.85)</span>; plot (7.178,1.503) – (7.02,1.65); at (7.7,1.2) <span>$\Gamma_\varepsilon$</span>; at (9.6,7.075) <span>${D}$</span>; at (12.2,3.9) <span>$\tilde{\bsymbol{\nu}}$</span>; plot (10.8,3.9) – (11.8,3.9); at (3.6,3) <span>$\varphi = 1$</span>; at (8.46,4.65) <span>$\varphi = -1$</span>; To derive a diffuse–interface approximation of (\[eq\_f2\_uOnOmega\_intro\]), (\[eq\_f2\_uOnGamma\_intro\]) we first introduce the variational form: $$\label{equation_ParametricWeak_u_f2} \int_\Omega \nabla u \cdot \nabla \eta {\mathop{}\!\mathrm{d}}{x}+ \frac{1}{\alpha} \int_\Gamma u \eta {\mathop{}\!\mathrm{d}}{x}= \int_\Gamma (Q - \beta \kappa) \eta {\mathop{}\!\mathrm{d}}{x}- \int_\Omega \eta {\mathop{}\!\mathrm{d}}{x}~~ \forall \eta \in H^1(\Omega).$$ We now follow the techniques described in @alam to obtain a diffuse–interface approximation of (\[equation\_ParametricWeak\_u\_f2\]). Setting $\tilde{u}\in {D}$ to be a diffuse–interface approximation to $u\in\Omega$ we have $$\label{equation_phase_weighted_zeta_approx_integral} \int_{\Omega} u({x}) {\mathop{}\!\mathrm{d}}{x}\approx \int_{{D}} \zeta(\varphi) \tilde{u}({x}) {\mathop{}\!\mathrm{d}}{x}~~~\mbox{and}~~~ \int_{\Gamma} u({x}) {\mathop{}\!\mathrm{d}}{x}\approx \int_{{D}} \delta(\varphi) \tilde{u}({x}) {\mathop{}\!\mathrm{d}}{x}$$ where $$\zeta(\varphi) := \frac{1+\varphi({x})}{2}~~~\mbox{and}~~~ \delta(\varphi) := \frac{2}{\pi {\varepsilon}} (1 - (\varphi ({x}))^2) .$$ Using (\[equation\_phase\_weighted\_zeta\_approx\_integral\]) we arrive at the following diffuse–interface approximation of (\[equation\_ParametricWeak\_u\_f2\]): $$\label{equation_phase_weak_u7} \int_{{D}} \zeta(\varphi) \nabla \tilde{u} \cdot \nabla \eta {\mathop{}\!\mathrm{d}}{x}+ \frac{1}{\alpha} \int_{{D}} \delta(\varphi) \tilde{u} \eta {\mathop{}\!\mathrm{d}}{x}= \int_{{D}} \delta(\varphi)(Q - \beta {\tilde{\kappa}}) \eta {\mathop{}\!\mathrm{d}}{x}- \int_{{D}} \zeta(\varphi) \eta {\mathop{}\!\mathrm{d}}{x}, \quad \forall \eta \in H^1({D}).$$ Here ${\tilde{\kappa}}$ approximates an extension of $\kappa$ to $\Gamma_\varepsilon$ such that at $t=0$, ${\tilde{\kappa}}$ is obtained by constantly extending $\kappa$ in the normal direction via the signed distance function to $\Gamma(0)$, while for $t>0$ we use the Allen–Cahn approximation of forced–mean–curvature flow, presented below in (\[equation\_phase\_allencahn\]), to set $${\tilde{\kappa}}= \frac{1}{\beta}\left(\varepsilon\varphi_t- \frac{\pi \tilde{u}}{4 \alpha}\right)\qquad |\varphi|<1. \label{curv_ext}$$ For $\beta=0$, the strong convergence of the solution $\tilde{u}$ of (\[equation\_phase\_weak\_u7\]) to the solution $u$ of (\[equation\_ParametricWeak\_u\_f2\]), as the approximation parameter $\varepsilon$ tends to zero, is shown in @alam, while in @Burger2014 a convergence result of the form $$\int_{{D}} \zeta(\varphi) \left( |\nabla (\tilde{u}-u)|^2 + |\tilde{u}-u|^2 \right) {\mathop{}\!\mathrm{d}}{x}\leq C\varepsilon^p$$ for a constant $C > 0$ independent of $\varepsilon$, and some $p > 0$ is shown for a slightly different diffuse interface approximation in which $\delta(\varphi)=|\nabla\varphi|$. We now present a diffuse–interface approximation or, as it is more commonly known, a phase–field approximation, of (\[eq\_f2\_vOnGamma\_intro\]). Since (\[eq\_f2\_vOnGamma\_intro\]) describes forced–mean–curvature flow, we approximate it using an Allen–Cahn equation with forcing, $$\label{equation_phase_allencahn} \varepsilon \varphi_t + \beta ( \frac{1}{\varepsilon} W' (\varphi) - \varepsilon \Delta \varphi ) = \frac{\pi\tilde{u}}{4\alpha}, \quad |\varphi|<1,$$ with boundary data $$\label{eef} \nabla \varphi \cdot {\tilde{{{\bsymbol{\nu}}}}}= 0 , \quad \mbox{ on } \partial {D}.$$ Here $\tilde{u}$ is the solution to (\[equation\_phase\_weak\_u7\]), $W(\varphi)$ is the double–obstacle potential, see @Blowey_Elliott_double_obs, $$W(\varphi)=\frac12(1-\varphi^2)+I_{[-1,1]}(r)$$ where $I_{[-1,1]}(u)$ is the indicator function $$I_{[-1, 1]} (\varphi) := \begin{cases} + \infty & \mbox{ for } |\varphi| > 1\\ 0 & \mbox{ for } |\varphi| \leq 1 \end{cases}$$ and the factor of $\pi/4$ on the right hand size of (\[equation\_phase\_allencahn\]) is chosen such that as $\varepsilon \rightarrow 0$, we recover the velocity law (\[eq\_f2\_vOnGamma\_intro\]). We define the initial data for the phase–field parameter $\varphi$ by $$\varphi_0({x}) = \begin{cases} 1 & \mbox{ if } d({x}) \geq \frac{\varepsilon \pi}{2} \\ \sin (\frac{d({x})}{\varepsilon}) & \mbox{ if } -\frac{\varepsilon \pi}{2} < d({x}) < \frac{\varepsilon \pi}{2} \\ -1 & \mbox{ if } d({x}) \leq -\frac{\varepsilon \pi}{2} \end{cases} \label{phiid}$$ where $d({x})$ is the signed distance function to $\Gamma(0)$. This initial condition corresponds to a diffuse–interface of width $\varepsilon \pi$, with the level set $\varphi = 0$ approximating $\Gamma(0)$.\ Combining with the weak formulation of (\[equation\_phase\_allencahn\]), yields the following diffuse–interface approximation of (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]):\ Given $\Gamma(0)\in \mathbb{R}^d$, find $(\tilde{u},\varphi)$ such that $\varphi$ satisfies the initial data (\[phiid\]) and for all $t\in (0,T)$, $\varphi(t)\in K$, $$\label{equation_phase_weak_u} \int_{{D}} \zeta(\varphi) \nabla \tilde{u} \cdot \nabla \eta {\mathop{}\!\mathrm{d}}{x}+ \frac{1}{\alpha} \int_{{D}} \delta(\varphi) \tilde{u} \eta {\mathop{}\!\mathrm{d}}{x}= \int_{{D}}\delta(\varphi) (Q-\beta \kappa) \eta {\mathop{}\!\mathrm{d}}{x}- \int_{{D}} \zeta(\varphi) \eta {\mathop{}\!\mathrm{d}}{x}, \quad \forall \eta \in H^1({D}),$$ and $$\int_{{D}} \left(\varepsilon\varphi_t (\rho - \varphi) + \varepsilon \beta \nabla \varphi \cdot \nabla (\rho - \varphi) - \frac{\beta}{\varepsilon} \varphi (\rho - \varphi)\right) {\mathop{}\!\mathrm{d}}{x}\geq\frac{\pi}{4 \alpha} \int_{{D}} \tilde{u} (\rho - \varphi) {\mathop{}\!\mathrm{d}}{x}, ~~\forall \rho \in K\label{equation_phase_weak_v}$$ where $$K:=\{\eta\in H^1({D})|~ |\eta|\leq 1~\mbox{a.e. in~}{D}\}.$$ The well-posedness of the variational problem (\[equation\_phase\_weak\_u\]), (\[equation\_phase\_weak\_v\]) is an open problem. Setting $\beta=0$ in (\[equation\_phase\_weak\_u\]) and adding a time regularisation term, $\varepsilon \tilde{u}_t$, to the left hand side of the resulting equation would result in a diffuse–interface system similar to the one studied in @digm in which a parabolic variational inequality is coupled to a degenerate diffusion equation. In @digm the authors use a regularisation technique to prove an existence and uniqueness result for the coupled system. Finite–element approximations {#s:fea} ============================= In this section we derive finite–element approximations to (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]), and to the diffuse–interface model (\[equation\_phase\_weak\_u\]), (\[equation\_phase\_weak\_v\]). Parametric approach {#ss:parametric} ------------------- We partition the time interval $[0,T]$ into $N$ equidistant steps, $0 = t_0 < t_1 < \ldots < t_{N-1} < t_N = T$, so that for $i=1,\ldots,N$, $\Delta t :=t_n-t_{n-1}$. We let $\Gamma_h^n$ be a polyhedral surface approximating $\Gamma(t_n)$, with ${\Gamma_h^n = \bigcup_{i=1}^I \overline{\sigma}_i^n}$, where $\{ \sigma_i^n \}^I_{i=1}$ is a family of disjoint open simplices (straight line segments in $\mathbb{R}^2$ and triangles in $\mathbb{R}^3$). We let $\mathcal{J}$ be the set of nodes of $\{ \sigma_i^n \}^I_{i=1}$ and let $\{ \bm{q}_j^n \}_{j\in \mathcal{J}}$ be the coordinates of these nodes. We denote the interior of $\Gamma_h^n$ by $\Omega_h^n$ and we partition $\Omega_h^n$ into a family of disjoint open simplices $\{ \mu_k^n \} ^K_{k=1}$ (triangles in $\mathbb{R}^2$ and tetrahedra in $\mathbb{R}^3$) such that $\Omega_h^n = \bigcup_{k=1}^K \overline{\mu}_k^n$. Here $\{ \mu_k^n \} ^K_{k=1}$ is chosen such that the nodes and the faces (straight line segments in $\mathbb{R}^2$ and triangles in $\mathbb{R}^3$) of the elements of $\{ \mu_k^n \} ^K_{k=1}$ that make up the boundary of $\Omega_h^n$ coincide with nodes and simplices of $\{ \sigma_i^n \}^I_{i=1}$. We let $\mathcal{L}$ be the set of nodes of $\{ \mu_k^n \}^K_{k=1}$ and let $\{ \bm{p}_l^n \}_{l\in \mathcal{L}}$ be the coordinates of these nodes. We define ${{\bsymbol{\nu}}}^n$ to be the outward unit normal to $\Gamma_h^n$, such that ${{\bsymbol{\nu}}}_i^n:={{\bsymbol{\nu}}}^n|_{\sigma_i}$, for $i\in 1,\ldots,I$ and for $n\in 0,\ldots,N-1$ we introduce the finite–element spaces $$V_h(\Gamma_h^n) := \set{ \rho_h \in C(\Gamma_h^n) | \rho_h \mbox{ is affine on each } \sigma_i^n \in \Gamma_h^n },$$ and $$V_h(\Omega_h^n) := \set{ \eta_h \in C(\overline{\Omega_h^n}) | \eta_h \mbox{ is affine on each } \mu_k^n \in \Omega_h^n}$$ with $\displaystyle{\{\chi_j^n\}_{j\in\mathcal{J}}}$ denoting the standard basis for $V_h(\Gamma_h^n)$. We describe $\Gamma_h^n$ by the piecewise linear vector function $\bm{X}^n_h$ such that $\bm{X}_h^n\in [V_h(\Gamma_h^{n-1})]^d$.\ We denote the $L^2$–inner product over ${{\Omega_h^n}}$ by ${(f,g)_{{\Omega_h^n}}:=\int_{{{\Omega_h^n}}}fg dx}$ and the discrete $L^2$–inner product by $$(f,g)_{{\Omega_h^n}}^h:=\int_{{{\Omega_h^n}}}\Pi^h(fg)dx$$ with $\Pi^h:C(\overline{{{\Omega_h^n}}})\to S_h$ denoting the interpolation operator, such that $(\pi^h\eta)(\bm{p}_l)=\eta(\bm{p}_l)$ for all $l\in \mathcal{L}$. We adopt similar notation for $(u_h,v_h)_{{\Gamma_h^n}}^h$.\ We now present a finite element approximation of (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]) in which we used (\[equation\_ParametricWeak\_u\_f2\]) in order to approximate (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_uOnGamma\_intro\]) and we followed the authors in @Dziuk1990 to approximate (\[eq\_f2\_vOnGamma\_intro\]).\ Given $\Gamma^0$ and the identity function $\bm{X}^0_h\in [V_h(\Gamma_h^0)]^d$ on $\Gamma^0$, for $n=0\to N-1$ find $\{u_h^n, \bm{X}_h^{n+1}\} \in V_h(\Omega_h^n)\times [V_h(\Gamma_h^n)]^d$ such that $$\label{equation_ParametricFEM_u_f2} \left( \nabla u_h^n, \nabla \eta_h \right)_{{\Omega_h^n}}+ \frac{1}{\alpha} \left( u_h^n,\eta_h^n\right)_{{\Gamma_h^n}}^h=\left( Q - \beta \kappa_h^n,\eta_h^n\right)_{{\Gamma_h^n}}^h-\left(1,\eta_h\right)_{{\Omega_h^n}}~~~\forall \eta_h \in V_h(\Omega_h^n),$$ and $$\label{equation_ParametricFEM_v_f2} \frac1{\Delta t}\left(\bm{X}_{h}^{n+1} - \bm{X}_{h}^{n},\bm{\rho}_{h} \right)_{\Gamma_h^n}^h+\beta\left( \nabla_{\Gamma_h^n} \bm{X}_h^{n+1} ,\nabla_{\Gamma_h^n} \bm{\rho}_h \right)_{\Gamma_h^n}=\frac{1}{\alpha} \left( u_h^n {{\bsymbol{\omega}}}^n_{h},\bm{\rho}_{h} \right)_{\Gamma_h^n}^h ~~~ \forall \bm{\rho}_h \in [V_h(\Gamma_h^n)]^d,$$ where $\displaystyle{{{\bsymbol{\omega}}}^n_{h}:=\sum_{j\in\mathcal{J}}{{\bsymbol{\omega}}}_j^n\chi_j^n(x)\in [V_h(\Gamma_h^n)]^d}$ with $${{\bsymbol{\omega}}}^n_j = \frac1{|\Lambda_j^n|} \left( \displaystyle{\sum_{\sigma_i\in \mathcal{T}_j^n}{{\bsymbol{\nu}}}^n_i|\sigma_i|} \right),~~~~~~\mbox{for}~j\in \mathcal{J},~n=0,\ldots,N, $$ with $|\sigma_i|$ denoting the measure of $\sigma_i$, $\mathcal{T}_j^n:=\{\sigma_i^n:\bm{q}_j^n\in \overline{\sigma_i^n}\}$ and $\Lambda_j^n:=\cup_{\sigma_i\in \mathcal{T}_j^n}\overline{\sigma_i^n}$, such that ${{\bsymbol{\omega}}}_j^n$ can interpreted as a weighted normal defined at the node $\bm{X}_{h}^{n}(\bm{q}_j^n)=\bm{q}_j^n$ of the surface $\Gamma_h^n$.\ Noting from (\[eq\_f2\_vOnGamma\_intro\]) that $\beta \kappa=V-u/\alpha$, the approximation, $\displaystyle{ \beta \kappa_h^n= \beta\sum_{j\in\mathcal{J}}\kappa_j^n\chi_j^n(x)\in V_h(\Gamma_h^n)}$, of the curvature is given by $$\beta \kappa_j^n= \left(\frac{\bm{X}_{j}^{n} - \bm{X}_{j}^{n-1}}{\Delta t}\right)\cdot {{\bsymbol{\omega}}}_j^n - \frac1{\alpha} u_j^n,~~~\mbox{for}~j\in \mathcal{J},~n=1,\ldots,N,$$ and we set $\kappa_h^0\in V_h(\Gamma_h^0):=\Pi^h(\kappa_0)$, where $\kappa_0$ is the curvature of $\Gamma(0)$.\ Diffuse–interface approach {#ss:diffuse} -------------------------- We partition the time interval $[0,T]$ into $N$ equidistant steps, $0 = t_0 < t_1 < \ldots < t_{N-1} < t_N = T$, so that for $i=1,\ldots,N$, $\Delta t :=t_{n}-t_{n-1}$. Let $\{{\cal T}^h\}_{h>0}$ be a family of partitionings of ${D}$ into disjoint open simplices $\sigma$ with $h_{\sigma}:={\rm diam}(\sigma)$ and $h:=\max_{\sigma\in {\cal T}^h}h_\sigma$. Associated with ${\cal T}^h$ is the finite element space $$S_h := \set{ \rho_h \in C(\overline{{D}}) | \rho_h|_\sigma \mbox{ is affine } \forall \sigma \in {\cal T}^h }\subset H^1({D}).$$ We denote the standard basis for $S_h({D})$ by $\displaystyle{\{\psi_k^n\}_{k=1}^M}$ and we introduce $$K_h := \set{ \rho_h \in S_h | |\rho_h| \leq 1 \mbox{ in }{D}}\subset K.$$ Using standard finite element approximations of (\[equation\_phase\_weak\_u\]) and (\[equation\_phase\_weak\_v\]) we obtain the following.\ Given an approximation $\varphi_h^0\in K_h$ of $\varphi_0\in K$, for $n=0\to N-1$ find $\{\tilde{u}_h^n,\varphi_h^{n+1}\} \in S_h\times K_h$ such that for all $\eta_h \in S_h$, $$\label{equation_phase_FEM_u} \big( \zeta(\varphi^{n}_h) \nabla \tilde{u}_h^n, \nabla \eta_h \big)_{{D}}^h+\frac{1}{\alpha} \big(\delta(\varphi_h^n)\tilde{u}_h^n,\eta_h\big)_{{D}}^h=\big(\delta(\varphi_h^n)(Q - \beta {\tilde{\kappa}}_h^n),\eta_h\big)_{{D}}^h-\big(\zeta(\varphi_h^n),\eta_h\big)_{{D}}^h$$ and $$\begin{aligned} \frac\varepsilon{\Delta t}\left(\varphi_h^{n+1} - \varphi_h^{n},\rho_h - \varphi_h^{n+1}\right)_{{D}}^h\!\!\!&+&\!\!\!\beta \varepsilon(\nabla \varphi_h^{n+1} , \nabla (\rho_h - \varphi_h^{n+1}))_{{D}} - \frac{\beta}{\varepsilon} (\varphi_h^{n+1}, \rho_h - \varphi_h^{n+1})_{{D}}^h\nonumber\\ &&\hspace{10mm}\geq \frac{\pi}{4 \alpha} \left(\tilde{u}_h^n,\rho_h - \varphi_h^{n+1}\right)_{{D}}^h ~~ \forall \rho_h \in K_h,\label{equation_phase_FEM_v}\end{aligned}$$ where $\tilde{u}_h^n(x)$ is set to zero if $\varphi_h^n(x)=-1$, $(\cdot,\cdot)_{{D}}^h$ is discrete inner product over ${D}$ and noting (\[curv\_ext\]) the approximation $\displaystyle{\beta {\tilde{\kappa}}_h^n=\beta \sum_{j=1}^M{\tilde{\kappa}}_j^n\psi_j\in S_h}$, of the curvature is given by $${\tilde{\kappa}}_j^n = \frac{1}{\beta}\left(\frac\varepsilon{\Delta t}(\varphi_j^{n} - \varphi_j^{n-1}) - \frac{\pi \tilde{u}_j^n}{4 \alpha}\right)~~~\mbox{for}~j=1\ldots,M,~n=1,\ldots,N,$$ with ${\tilde{\kappa}}_h^0\in S_h=\Pi^h(\tilde{\kappa}_0)$, where $\kappa_0$ is the curvature of $\Gamma(0)$ and $\tilde{\kappa}_0$ is such that $\tilde{\kappa}_0(x):=\kappa_0(\hat{p}(x))$, where $\hat{p}(x)$ denotes the closest point projection of a point $x\in {D}$ onto $\Gamma(0)$.\ Numerical Results {#s:nr} ================= In this section we first briefly describe the implementation of the finite element schemes presented in Section \[s:fea\], and then we present a number of numerical simulations. The results displayed are visualised in Paraview @paraview_book. Implementation of the finite element schemes -------------------------------------------- ### Implementation of the parametric scheme in $\mathbb{R}^2$ For $\Omega_h^n\in \mathbb{R}^2$ the parametric finite–element scheme (\[equation\_ParametricFEM\_u\_f2\]), (\[equation\_ParametricFEM\_v\_f2\]) was implemented with the finite–element toolbox ALBERTA 2.0, see @ALBERTABook. As we are solving on an evolving domain, care has to be taken to ensure good mesh properties for the bulk mesh $\Omega_h^n$. To achieve this we implemented Algorithm 1, as introduced in @Elliotta in which the authors present a variant of the so-called the DeTurck trick using the the harmonic map heat flow that leads to computational meshes of high quality for both for the bulk mesh $\Omega_h^n$ and its boundary $\Gamma_h^n$. A simple mesh refinement algorithm is also presented in @Elliotta, in which we seek to refine element $\mu^n \in \Omega_h^n$ if $|\mu^n| \geq 1.5\overline{|\mu^0|}$ and coarsen element $\mu^n \in \Omega_h^n$ if $|\mu^n| \leq 0.5\overline{|\mu^0|}$, where $\mu^0 \in \Omega_h^0$, $|\mu^n|$ is the area of element $\mu^n$, and $\overline{|\mu^0|}$ is the mean area of all elements at time $t=0$. When the mesh reached a point at which the algorithm presented in @Elliotta was unable to maintain the required mesh quality, we used the re–meshing software GMSH, see @GMSH_paper, to re–mesh $\Omega_h^n$, . We performed this re–meshing procedure when $$\max_{\mu^n \in \Omega_h^n} \frac{H(\mu^n)}{h(\mu^m)} \geq 0.2 ,$$ where $H(\mu^n)$ is the length of the longest edge of $\mu^n$ and $h(\mu^n)$ is the length of the shortest edge. ### Implementation of the parametric scheme in $\mathbb{R}^3$ For $\Omega_h^n\in \mathbb{R}^3$ the parametric finite–element scheme (\[equation\_ParametricFEM\_u\_f2\]), (\[equation\_ParametricFEM\_v\_f2\]) was implemented with the finite–element toolbox ALBERTA 3.1; the quality of the mesh was maintained by moving the nodes with a velocity $\bm{u}$, using the harmonic extension method. We compute $\bm{u}$ by solving a standard finite element approximation to $$\begin{aligned} \Delta \bm{u}= \bm{0} & \mbox{ in } \Omega,\\ \bm{u} = \bm{v} & \mbox{ on } \Gamma,\end{aligned}$$ where $\bm{v}$ is the velocity of $\Gamma$. This extends the velocity on $\Gamma$ to $\Omega$ in a 'smooth' manner. ### Implementation of the diffuse–interface scheme The diffuse–interface finite–element scheme (\[equation\_phase\_FEM\_u\]), (\[equation\_phase\_FEM\_v\]) was implemented with the finite–element toolbox ALBERTA 2.0. Since the interfacial thickness is proportional to $\varepsilon$, in order to resolve the interfacial layer, we need to choose the mesh size $h$ such that $h \ll \varepsilon$, see @Deckelnick2005 for details. Away from the interface, $h$ can be chosen larger and hence adaptivity in space can be used to speed up the computations. We use the built in algorithms from ALBERTA 2.0 for adaptivity to implement a mesh refinement strategy in which the following meshes are constructed: a fine mesh in the interfacial region where $|\varphi_h^n|<1$, a coarse mesh exterior to the tumour where $\varphi_{h}^{n} = -1$ and a standard sized mesh in the interior of the tumour where $\varphi_{h}^{n} = 1$, see the left hand plot in Figure \[f:meshes\] in which an enlarged section of the diffuse–interface mesh associated with the results in Figure \[image\_a10b01\_old\] at $t=45$ is displayed, in addition an enlarged section of the corresponding parametric mesh is displayed in the right hand plot. We denote the maximum diameter of the triangles in the three meshes by $h_{max,f}=\max_{\sigma\in\mathcal T_f^n}h_\sigma, h_{max,m}=\max_{\sigma\in\mathcal T_m^n}h_\sigma$ and $h_{max,c}=\max_{\sigma\in\mathcal T_c^n}h_\sigma$, where $$\mathcal T^n_f:= \lbrace \sigma \in \mathcal T_h \, | \, |\varphi_h^n(x)|<1 \mbox{ for some } x\in \sigma \rbrace, \quad\mathcal T^n_m:= \lbrace \sigma \in \mathcal T_h \, | \, \varphi_h^n(x)=1 \mbox{ for some } x \in \sigma\rbrace,$$ and $$\mathcal T^n_c:= \lbrace \sigma \in \mathcal T_h \, | \, \varphi_h^n(x)=-1 \mbox{ for some } x\in \sigma \rbrace.$$ For more details on a similar mesh refinement strategy see @Barrett2005. ![ An enlarged section of the diffuse–interface mesh (left plot) and parametric mesh (right plot) associated with the results in Figure \[image\_a10b01\_old\] at $t=45$.<span data-label="f:meshes"></span>]({mesh_DI7.png}){width=".24\textwidth"} ![ An enlarged section of the diffuse–interface mesh (left plot) and parametric mesh (right plot) associated with the results in Figure \[image\_a10b01\_old\] at $t=45$.<span data-label="f:meshes"></span>]({mesh_SI7.png}){width=".24\textwidth"} Generalisation of the model --------------------------- Parameter values ---------------- Unless otherwise specified, in all simulations in $\mathbb{R}^2$ the following hold: we set $Q = 1.0$ and the initial geometry $\Gamma(0)$ was set to be an ellipse with length $0.5$ and height $1.0$, in the parametric examples we set $\Delta t= 10^{-3}$ and the mesh size at $t=0$ was taken to be $h \approx 0.022$. In the diffuse–interface simulations we set $h_{max,c}\approx 1.77$, $h_{max,m}\approx0.02$, and used the values of ${\varepsilon},~\Delta t$ and $h_{max,f}$ given in Tables \[t:param\] and \[t:param2\]. ${\varepsilon}$ $\Delta t$ $h_{max,f}$ ----------------------------------------- ----------------- -------------------- ------------- ${\gamma}=0$, $\alpha=1$, $\beta=0.1$ $0.075$ $1.0\times10^{-4}$ 0.0048 ${\gamma}=0$, $\alpha=0.1$, $\beta=0.1$ $0.01$ $1.0\times10^{-5}$ 0.0028 ${\gamma}=0$, $\alpha=1$, $\beta=1$ $0.1$ $3.0\times10^{-6}$ 0.0099 ${\gamma}=0$, $\alpha=0.1$, $\beta=1$ $0.1$ $1.0\times10^{-5}$ 0.0042 : Parameters for the diffuse–interface simulations for ${\gamma}=0$.<span data-label="t:param"></span> ${\varepsilon}$ $\Delta t$ $h_{max,f}$ ----------------------------------------- ----------------- -------------------- ------------- $\beta=0$, $\alpha=1$, ${\gamma}=0.1$ $0.04$ $1.0\times10^{-4}$ 0.0048 $\beta=0$, $\alpha=0.1$, ${\gamma}=0.1$ $0.01$ $1.0\times10^{-5}$ 0.0028 $\beta=0$, $\alpha=1$, ${\gamma}=1$ $0.1$ $3.0\times10^{-6}$ 0.0099 $\beta=0$, $\alpha=0.1$, ${\gamma}=1$ $0.1$ $1.0\times10^{-5}$ 0.0042 : Parameters for the diffuse–interface simulations with $\beta=0$.<span data-label="t:param2"></span> Simulations for ${\gamma}=0$ ---------------------------- In the first set of simulations, Figures \[f:radial\] – \[image\_a01b01\_thin\_film\_new\], we take ${\gamma}=0$ in the generalised model to obtain results for the original model (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]). ### Radially symmetric solutions To test the accuracy of the numerical schemes, we set $\Gamma(t) \subset \mathbb{R}^2$ to be a circle with radius $R(t)$ and we express $u$ in polar coordinates such that $u(r, \theta)=u(r)$. In this setting (\[eq\_f2\_uOnOmega\_intro\]) – (\[eq\_f2\_vOnGamma\_intro\]) reduces to $$u(r) = \frac{1}{4} r^2 + \alpha (Q +\frac{\beta}{R}) - \frac{\alpha}{2} R - \frac{1}{4} R^2, \label{ueqn}$$ $$R'(t) = - \frac{\beta}{R} + \frac{1}{\alpha} u(r) = Q - \frac{R}{2}, ~~~R(0) := R_0,$$ so that $$R(t) = 2Q + ( R_0 - 2Q )e^{-t / 2} . \label{reqn}$$ For some choices of parameters, typically $\alpha,\, \beta \ll1$ and $Q=O(1)$, instabilities occurred in the parametric scheme that gave rise to non-radially symmetric solutions, these instabilities seem likely to have stemmed from the initial triangulation of $\Omega(0)$. In the following results we avoided such parameter combinations. ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({rad_new_10p1_e75_sdt.png}){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({rad_new_0p10p1_22.png}){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({rad_new_11.png}){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({rad_new_0p11.png}){width=".24\textwidth"} \ ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({u_new_10p1.png} "fig:"){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({u_new_0p10p1_22.png}){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({u_new_11.png}){width=".24\textwidth"} ![ Comparison of the radius (upper plots) and the pressure $u$ at $t=0.5$ (lower plots) with $\gamma=0$, $\alpha=1$, $\beta=0.1$ (first column), $\gamma=0$, $\alpha=\beta=0.1$, (second column), $\gamma=0$, $\alpha=\beta=1$ (third column) and $\gamma=0$, $\alpha=0.1$, $\beta=1$ (fourth column). The upper plots display $t$ against $R$, on the $x$– and $y$–axis, respectively. The lower plots display $r$ against $u$, again on the $x$– and $y$–axis, respectively. <span data-label="f:radial"></span>]({u_new_0p11.png}){width=".24\textwidth"} In Figure \[f:radial\] we compare the radii obtained from the finite element approximations of the parametric and the diffuse–interface formulations for ${\gamma}=0$ to the corresponding analytical solutions. Similarly we compare the pressure solutions obtained from the parametric scheme and the diffuse–interface scheme to the analytical solution. We consider four combinations of $\alpha$ and $\beta$ and set $Q = R_0=1.5$. In the upper plots we display the radius of the circle for the parametric model (red line), the radius of the circle for the diffuse–interface model, obtained from the zero–level line of $\varphi$, (black line), and the radius of the analytical solution of (\[reqn\]) (blue dots). In the lower plots we display $u_h$, $\tilde{u}_h$, and $u$ at $t=0.5$, where $u$ is the solution of , again, we use a red line for the parametric scheme, a black line for the diffuse–interface scheme, and blue dots for the analytical solution. We display the results for ${\gamma}=0$, $\alpha=1$, $\beta=0.1$ in the first column, ${\gamma}=0$, $\alpha=\beta=0.1$ in the second column, ${\gamma}=0$, $\alpha=\beta=1$ in the third column and ${\gamma}=0$, $\alpha=0.1$, $\beta=1$ in the fourth column. In the parametric simulations the mesh size at $t=0$ was taken to be $h\approx 0.1$. ![ Linear stability, (\[stab:N4\]), with $Q=1$, ${\gamma}=0$ and $\beta=0.1$. The left plot displays the initial geometry $R(\theta,0)=2Q+0.25\sin(\theta)\cos(9\theta)$, the centre plot displays $u_h$ at $t = 700$ with $\alpha = 0.68$ such that $3\alpha \beta>2$ (linearly stable) and the right plot displays $u_h$ at $t = 700$ with $\alpha = 0.65$ such that $3\alpha \beta<2$ (linearly unstable). The instability manifest in the right plot is associated with the higher perimeter–length to area ratio at the tips than in between, with higher pressures at the tips. <span data-label="f:stab"></span>]({LS_id.png}){width=".32\textwidth"} ![ Linear stability, (\[stab:N4\]), with $Q=1$, ${\gamma}=0$ and $\beta=0.1$. The left plot displays the initial geometry $R(\theta,0)=2Q+0.25\sin(\theta)\cos(9\theta)$, the centre plot displays $u_h$ at $t = 700$ with $\alpha = 0.68$ such that $3\alpha \beta>2$ (linearly stable) and the right plot displays $u_h$ at $t = 700$ with $\alpha = 0.65$ such that $3\alpha \beta<2$ (linearly unstable). The instability manifest in the right plot is associated with the higher perimeter–length to area ratio at the tips than in between, with higher pressures at the tips. <span data-label="f:stab"></span>]({LS_stable.png}){width=".32\textwidth"} ![ Linear stability, (\[stab:N4\]), with $Q=1$, ${\gamma}=0$ and $\beta=0.1$. The left plot displays the initial geometry $R(\theta,0)=2Q+0.25\sin(\theta)\cos(9\theta)$, the centre plot displays $u_h$ at $t = 700$ with $\alpha = 0.68$ such that $3\alpha \beta>2$ (linearly stable) and the right plot displays $u_h$ at $t = 700$ with $\alpha = 0.65$ such that $3\alpha \beta<2$ (linearly unstable). The instability manifest in the right plot is associated with the higher perimeter–length to area ratio at the tips than in between, with higher pressures at the tips. <span data-label="f:stab"></span>]({LS_unstable.png}){width=".32\textwidth"} From Figure \[f:radial\] we see that for all four combinations of $\alpha$ and $\beta$ there is very good agreement between the solutions of the parametric scheme and the analytical solution, while the solutions of the diffuse–interface scheme compare reasonably well to the analytical solution for ${\gamma}=0$, $\alpha=1$, $\beta=0.1$ and ${\gamma}=0$, $\alpha=\beta=0.1$ but not well for ${\gamma}=0$, $\alpha=\beta=1$ and ${\gamma}=0$, $\alpha=0.1$, $\beta=1$. We believe the poor approximation of the diffuse–interface scheme for $\beta=O(1)$ is due to the fact that the scheme is only an approximation to forced mean curvature flow and hence larger errors occur if the curvature term in the evolution becomes more dominant. Based on these results in the subsequent simulations we solved the diffuse–interface model only with $\beta=0.1$. ![Results with ${\gamma}=0$, $\alpha = 0.1$ and $\beta = 1.0$: $u_h$ given by the parametric scheme at $t = 0,7,10,12.6$. This simulation exhibits repeated tip splitting akin to that arising in a variety of moving boundary problems.<span data-label="image_a01b10_new"></span>]({si0110_1a.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 0.1$ and $\beta = 1.0$: $u_h$ given by the parametric scheme at $t = 0,7,10,12.6$. This simulation exhibits repeated tip splitting akin to that arising in a variety of moving boundary problems.<span data-label="image_a01b10_new"></span>]({si0110_36a.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 0.1$ and $\beta = 1.0$: $u_h$ given by the parametric scheme at $t = 0,7,10,12.6$. This simulation exhibits repeated tip splitting akin to that arising in a variety of moving boundary problems.<span data-label="image_a01b10_new"></span>]({si0110_51a.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 0.1$ and $\beta = 1.0$: $u_h$ given by the parametric scheme at $t = 0,7,10,12.6$. This simulation exhibits repeated tip splitting akin to that arising in a variety of moving boundary problems.<span data-label="image_a01b10_new"></span>]({si0110_64a.png}){width=".24\textwidth"} ### Linear stability {#sf:ls} In Figure \[f:stab\] we display results from the parametric scheme (\[equation\_ParametricFEM\_u\_f2\]), (\[equation\_ParametricFEM\_v\_f2\]) relating to the linear stability result, (\[stab:N4\]). We set $Q=1$ and $\beta=0.1$ and set the initial geometry to be a perturbation of a circle with radius $R(0)=2Q=2$ such that $R(\theta,0)=2Q+0.25\sin(\theta)\cos(9\theta)$, (left plot) and we set $h \approx 0.1$. We consider two values of $\alpha$; $\alpha = 0.68$ (centre plot) such that $3\alpha \beta>2$ and $\alpha = 0.65$ (right plot) such that $3\alpha \beta<2$, in each case we display the solution $u_h$ at $t=700$. From the figure we see that when $3\alpha \beta>2$ the stable state in which $\Gamma(t)$ is a circle of radius $R=2Q=2$ is obtained, whereas for $3\alpha \beta<2$ the radial symmetry of the problem is lost. We note that for this parameter set with $\alpha = 0.65$, $n=2$, recall (\[stab:N2\]), is the only unstable mode, the simulations leading to the same (reflectional) symmetries as those of an ellipse. ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top row), $\tilde{u}_h$ given by the diffuse–interface scheme (middle row), $\varphi_h$ (in red and blue) from the diffuse–interface scheme and ${\mathbf{X}}_h$ (in white) from the parametric scheme (bottom row). <span data-label="image_a10b01_new"></span>]({si_n101_0.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top row), $\tilde{u}_h$ given by the diffuse–interface scheme (middle row), $\varphi_h$ (in red and blue) from the diffuse–interface scheme and ${\mathbf{X}}_h$ (in white) from the parametric scheme (bottom row). <span data-label="image_a10b01_new"></span>]({si_n101_11.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top row), $\tilde{u}_h$ given by the diffuse–interface scheme (middle row), $\varphi_h$ (in red and blue) from the diffuse–interface scheme and ${\mathbf{X}}_h$ (in white) from the parametric scheme (bottom row). <span data-label="image_a10b01_new"></span>]({si_n101_23.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top row), $\tilde{u}_h$ given by the diffuse–interface scheme (middle row), $\varphi_h$ (in red and blue) from the diffuse–interface scheme and ${\mathbf{X}}_h$ (in white) from the parametric scheme (bottom row). <span data-label="image_a10b01_new"></span>]({di_n101_0_75.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top row), $\tilde{u}_h$ given by the diffuse–interface scheme (middle row), $\varphi_h$ (in red and blue) from the diffuse–interface scheme and ${\mathbf{X}}_h$ (in white) from the parametric scheme (bottom row). <span data-label="image_a10b01_new"></span>]({di_n101_11_75.png}){width=".24\textwidth"} ![Results with ${\gamma}=0$, $\alpha = 1.0$ and $\beta = 0.1$ at $t = 0,11,23$ (columns $1$ to $3$): $u_h$ given by the parametric scheme (top
{'source': 'arXiv_out/1907'}