-
Convergence of a scheme for elastic flow with tangential mesh movement
Authors:
Paola Pozzi,
Björn Stinner
Abstract:
Elastic flow for closed curves can involve significant deformations. Mesh-based approximation schemes require tangentially redistributing vertices for long-time computations. We present and analyze a method that uses the Dirichlet energy for this purpose. The approach effectively also penalizes the length of the curve, and equilibrium shapes are equivalent to stationary points of the elastic energ…
▽ More
Elastic flow for closed curves can involve significant deformations. Mesh-based approximation schemes require tangentially redistributing vertices for long-time computations. We present and analyze a method that uses the Dirichlet energy for this purpose. The approach effectively also penalizes the length of the curve, and equilibrium shapes are equivalent to stationary points of the elastic energy augmented with the length functional. Our numerical method is based on linear parametric finite elements. Following the lines of K Deckelnick, and G Dziuk (Math Comp 78, 266 (2009), 645-671) we prove convergence and establish error estimates, noting that the addition of the Dirichlet energy simplifies the analysis in comparison with the length functional. We also present a simple semi-implicit time discretization and discuss some numerical result that support the theory.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
On the sharp interface limit of a phase field model for near-spherical two phase biomembranes
Authors:
Charles M. Elliott,
Luke Hatcher,
Björn Stinner
Abstract:
We consider sharp interface asymptotics for a phase field model of two phase near spherical biomembranes involving a coupling between the local mean curvature and the local composition proposed by the first and second authors. The model is motivated by lipid raft formation. We introduce a reduced diffuse interface energy depending only on the membrane composition and derive the $Γ-$limit. We demon…
▽ More
We consider sharp interface asymptotics for a phase field model of two phase near spherical biomembranes involving a coupling between the local mean curvature and the local composition proposed by the first and second authors. The model is motivated by lipid raft formation. We introduce a reduced diffuse interface energy depending only on the membrane composition and derive the $Γ-$limit. We demonstrate that the Euler-Lagrange equations for the limiting functional and the sharp interface energy coincide. Finally, we consider a system of gradient flow equations with conserved Allen-Cahn dynamics for the phase field model. Performing a formal asymptotic analysis we obtain a system of gradient flow equations for the sharp interface energy coupling geodesic curvature flow for the phase interface to a fourth order PDE free boundary problem for the surface deformation.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
A surface finite element method for computational modelling of cell blebbing
Authors:
Björn Stinner,
Andreas Dedner,
Adam Nixon
Abstract:
Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The de…
▽ More
Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The deforming membrane and all forces are expressed by means of a parametrisation over a stationary reference surface. A variational formulation is presented and analysed for well-posedness. For this purpose, we derive a semi-discrete scheme based on the surface finite element method. We provide a convergence result and estimates of the error due to the spatial discretisation. Furthermore, we present a computational framework where specific models can be implemented and later on conveniently amended if desired, using a domain specific language implemented in Python. While the high level program control can be done within the Python scripting environment, the actual computationally expensive step of evolving the solution over time is carried out by binding to an efficient software backend. Cell membrane geometries given in terms of a parametrisation or obtained from image data can be accounted for. A couple of numerical simulation results illustrate the approach.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
A converging finite element scheme for motion by curvature of a network with a triple junction
Authors:
Paola Pozzi,
Björn Stinner
Abstract:
A new semi-discrete finite element scheme for the evolution of three parametrized curves by curvature flow that are connected by a triple junction is presented and analyzed. In this triple junction, conditions are imposed on the angles at which the curves meet. One of the key problems in analyzing motion of networks by curvature law is the choice of a tangential velocity that allows for motion of…
▽ More
A new semi-discrete finite element scheme for the evolution of three parametrized curves by curvature flow that are connected by a triple junction is presented and analyzed. In this triple junction, conditions are imposed on the angles at which the curves meet. One of the key problems in analyzing motion of networks by curvature law is the choice of a tangential velocity that allows for motion of the triple junction, does not lead to mesh degeneration, and is amenable to an error analysis. Our approach consists in considering a perturbation of a classical smooth formulation. The problem we propose admits a natural variational formulation that can be discretized with finite elements. The perturbation can be made arbitrarily small when a regularization parameter shrinks to zero. Convergence of the new scheme including optimal error estimates are proved. These results are supported by some numerical tests. Finally, the influence of the small regularization parameter on the properties of scheme and the accuracy of the results is numerically investigated.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
Phase field modelling of surfactants in multi-phase flow
Authors:
Oliver R. A. Dunbar,
Kei Fong Lam,
Bjorn Stinner
Abstract:
A diffuse interface model for surfactants in multi-phase flow with three or more fluids is derived. A system of Cahn-Hilliard equations is coupled with a Navier-Stokes system and an advection-diffusion equation for the surfactant ensuring thermodynamic consistency. By an asymptotic analysis the model can be related to a moving boundary problem in the sharp interface limit, which is derived from fi…
▽ More
A diffuse interface model for surfactants in multi-phase flow with three or more fluids is derived. A system of Cahn-Hilliard equations is coupled with a Navier-Stokes system and an advection-diffusion equation for the surfactant ensuring thermodynamic consistency. By an asymptotic analysis the model can be related to a moving boundary problem in the sharp interface limit, which is derived from first principles. Results from numerical simulations support the theoretical findings. The main novelties are centred around the conditions in the triple junctions where three fluids meet. Specifically the case of local chemical equilibrium with respect to the surfactant is considered, which allows for interfacial surfactant flow through the triple junctions.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Elastic flow interacting with a lateral diffusion process: The one-dimensional graph case
Authors:
Paola Pozzi,
Björn Stinner
Abstract:
A finite element approach to the elastic flow of a curve coupled with a diffusion equation on the curve is analysed. Considering the graph case, the problem is weakly formulated and approximated with continuous linear finite elements, which is enabled thanks to second-order operator splitting. The error analysis builds up on previous results for the elastic flow. To obtain an error estimate for th…
▽ More
A finite element approach to the elastic flow of a curve coupled with a diffusion equation on the curve is analysed. Considering the graph case, the problem is weakly formulated and approximated with continuous linear finite elements, which is enabled thanks to second-order operator splitting. The error analysis builds up on previous results for the elastic flow. To obtain an error estimate for the quantity on the curve a better control of the velocity is required. For this purpose, a penalty approach is employed and then combined with a generalised Gronwall lemma. Numerical simulations support the theoretical convergence results. Further numerical experiments indicate stability beyond the parameter regime with respect to the penalty term which is covered by the theory.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
The Cahn-Hilliard equation on an evolving surface
Authors:
David O'Connor,
Bjorn Stinner
Abstract:
We study the asymptotic limit of the Cahn-Hilliard equation on an evolving surface with prescribed velocity. The method of formally matched asymptotic expansions is extended to account for the movement of the domain. We consider various forms for the mobility and potential functions, in particular, with regards to the scaling of the mobility with the interface thickness parameter. Mullins-Sekerka,…
▽ More
We study the asymptotic limit of the Cahn-Hilliard equation on an evolving surface with prescribed velocity. The method of formally matched asymptotic expansions is extended to account for the movement of the domain. We consider various forms for the mobility and potential functions, in particular, with regards to the scaling of the mobility with the interface thickness parameter. Mullins-Sekerka, but also surface diffusion type problems, can be derived featuring additional terms which are due to the domain evolution. The asymptotic behaviour is supported and further explored with some numerical simulations.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
Solving reaction-diffusion equations on evolving surfaces defined by biological image data
Authors:
Till Bretschneider,
Cheng-** Du,
Charles M. Elliott,
Thomas Ranner,
Bjorn Stinner
Abstract:
We present a computational approach for solving reaction-diffusion equations on evolving surfaces which have been obtained from cell image data. It is based on finite element spaces defined on surface triangulations extracted from time series of 3D images. A model for the transport of material between the subsequent surfaces is required where we postulate a velocity in normal direction. We apply t…
▽ More
We present a computational approach for solving reaction-diffusion equations on evolving surfaces which have been obtained from cell image data. It is based on finite element spaces defined on surface triangulations extracted from time series of 3D images. A model for the transport of material between the subsequent surfaces is required where we postulate a velocity in normal direction. We apply the technique to image data obtained from a spreading neutrophil cell. By simulating FRAP experiments we investigate the impact of the evolving geometry on the recovery. We find that for idealised FRAP conditions, changes in membrane geometry, easily account for differences of $\times 10$ in recovery half-times, which shows that experimentalists must take great care when interpreting membrane photobleaching results. We also numerically solve an activator -- depleted substrate system and report on the effect of the membrane movement on the pattern evolution.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
Curve shortening flow coupled to lateral diffusion
Authors:
Paola Pozzi,
Bjorn Stinner
Abstract:
We present and analyze a semi-discrete finite element scheme for a system consisting of a geometric evolution equation for a curve and a parabolic equation on the evolving curve. More precisely, curve shortening flow with a forcing term that depends on a field defined on the curve is coupled with a diffusion equation for that field. The scheme is based on ideas of \cite{D99} for the curve shorteni…
▽ More
We present and analyze a semi-discrete finite element scheme for a system consisting of a geometric evolution equation for a curve and a parabolic equation on the evolving curve. More precisely, curve shortening flow with a forcing term that depends on a field defined on the curve is coupled with a diffusion equation for that field. The scheme is based on ideas of \cite{D99} for the curve shortening flow and \cite{DE07} for the parabolic equation on the moving curve. Additional estimates are required in order to show convergence, most notably with respect to the length element: While in \cite{D99} an estimate of its error was sufficient we here also need to estimate the time derivative of the error which arises from the diffusion equation. Numerical simulation results support the theoretical findings.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
Analysis of the diffuse domain approach for a bulk-surface coupled PDE system
Authors:
Helmut Abels,
Kei Fong Lam,
Björn Stinner
Abstract:
We analyse a diffuse interface type approximation, known as the diffuse domain approach, of a linear coupled bulk-surface elliptic partial differential system. The well-posedness of the diffuse domain approximation is shown using weighted Sobolev spaces and we prove that the solution to the diffuse domain approximation converges weakly to the solution of the coupled bulk-surface elliptic system as…
▽ More
We analyse a diffuse interface type approximation, known as the diffuse domain approach, of a linear coupled bulk-surface elliptic partial differential system. The well-posedness of the diffuse domain approximation is shown using weighted Sobolev spaces and we prove that the solution to the diffuse domain approximation converges weakly to the solution of the coupled bulk-surface elliptic system as the approximation parameter tends to zero. Moreover, we can show strong convergence for the bulk quantity, while for the surface quantity, we can show norm convergence and strong convergence in a weighted Sobolev space. Our analysis also covers a second order surface elliptic partial differential equation and a bulk elliptic partial differential equation with Dirichlet, Neumann and Robin boundary condition.
△ Less
Submitted 17 February, 2015;
originally announced February 2015.
-
On some linear parabolic PDEs on moving hypersurfaces
Authors:
Amal Alphonse,
Charles M. Elliott,
Björn Stinner
Abstract:
We consider existence and uniqueness for several examples of linear parabolic equations formulated on moving hypersurfaces. Specifically, we study in turn a surface heat equation, an equation posed on a bulk domain, a novel coupled bulk-surface system and an equation with a dynamic boundary condition. In order to prove the well-posedness, we make use of an abstract framework presented in a recent…
▽ More
We consider existence and uniqueness for several examples of linear parabolic equations formulated on moving hypersurfaces. Specifically, we study in turn a surface heat equation, an equation posed on a bulk domain, a novel coupled bulk-surface system and an equation with a dynamic boundary condition. In order to prove the well-posedness, we make use of an abstract framework presented in a recent work by the authors which dealt with the formulation and well-posedness of linear parabolic equations on arbitrary evolving Hilbert spaces. Here, after recalling all of the necessary concepts and theorems, we show that the abstract framework can applied to the case of evolving (or moving) hypersurfaces, and then we demonstrate the utility of the framework to the aforementioned problems.
△ Less
Submitted 2 August, 2015; v1 submitted 4 December, 2014;
originally announced December 2014.
-
An abstract framework for parabolic PDEs on evolving spaces
Authors:
Amal Alphonse,
Charles M. Elliott,
Björn Stinner
Abstract:
We present an abstract framework for treating the theory of well-posedness of solutions to abstract parabolic partial differential equations on evolving Hilbert spaces. This theory is applicable to variational formulations of PDEs on evolving spatial domains including moving hypersurfaces. We formulate an appropriate time derivative on evolving spaces called the material derivative and define a we…
▽ More
We present an abstract framework for treating the theory of well-posedness of solutions to abstract parabolic partial differential equations on evolving Hilbert spaces. This theory is applicable to variational formulations of PDEs on evolving spatial domains including moving hypersurfaces. We formulate an appropriate time derivative on evolving spaces called the material derivative and define a weak material derivative in analogy with the usual time derivative in fixed domain problems; our setting is abstract and not restricted to evolving domains or surfaces. Then we show well-posedness to a certain class of parabolic PDEs under some assumptions on the parabolic operator and the data.
△ Less
Submitted 10 July, 2015; v1 submitted 18 March, 2014;
originally announced March 2014.
-
High order discontinuous Galerkin methods on surfaces
Authors:
Paola Antonietti,
Andreas Dedner,
Pravin Madhavan,
Simone Stangalino,
Björn Stinner,
Marco Verani
Abstract:
We derive and analyze high order discontinuous Galerkin methods for second-order elliptic problems on implicitely defined surfaces in $\mathbb{R}^{3}$. This is done by carefully adapting the unified discontinuous Galerkin framework of Arnold et al. [2002] on a triangulated surface approximating the smooth surface. We prove optimal error estimates in both a (mesh dependent) energy norm and the…
▽ More
We derive and analyze high order discontinuous Galerkin methods for second-order elliptic problems on implicitely defined surfaces in $\mathbb{R}^{3}$. This is done by carefully adapting the unified discontinuous Galerkin framework of Arnold et al. [2002] on a triangulated surface approximating the smooth surface. We prove optimal error estimates in both a (mesh dependent) energy norm and the $L^2$ norm.
△ Less
Submitted 9 April, 2014; v1 submitted 14 February, 2014;
originally announced February 2014.
-
Parameter identification problems in the modelling of cell motility
Authors:
Wayne Croft,
Charles M Elliott,
Graham Ladds,
Björn Stinner,
Chandrasekhar Venkataraman,
Cathryn Weston
Abstract:
We present a novel parameter identification algorithm for the estimation of parameters in models of cell motility using imaging data of migrating cells. Two alternative formulations of the objective functional that measures the difference between the computed and observed data are proposed and the parameter identification problem is formulated as a minimisation problem of nonlinear least squares t…
▽ More
We present a novel parameter identification algorithm for the estimation of parameters in models of cell motility using imaging data of migrating cells. Two alternative formulations of the objective functional that measures the difference between the computed and observed data are proposed and the parameter identification problem is formulated as a minimisation problem of nonlinear least squares type. A Levenberg-Marquardt based optimisation method is applied to the solution of the minimisation problem and the details of the implementation are discussed. A number of numerical experiments are presented which illustrate the robustness of the algorithm to parameter identification in the presence of large deformations and noisy data and parameter identification in three dimensional models of cell motility. An application to experimental data is also presented in which we seek to identify parameters in a model for the monopolar growth of fission yeast cells using experimental imaging data.
△ Less
Submitted 29 November, 2013;
originally announced November 2013.
-
Diffuse interface modelling of soluble surfactants in two-phase flow
Authors:
Harald Garcke,
Kei Fong Lam,
Björn Stinner
Abstract:
Phase field models for two-phase flow with a surfactant soluble in possibly both fluids are derived from balance equations and an energy inequality so that thermodynamic consistency is guaranteed. Via a formal asymptotic analysis, they are related to sharp interface models. Both cases of dynamic as well as instantaneous adsorption are covered. Flexibility with respect to the choice of bulk and sur…
▽ More
Phase field models for two-phase flow with a surfactant soluble in possibly both fluids are derived from balance equations and an energy inequality so that thermodynamic consistency is guaranteed. Via a formal asymptotic analysis, they are related to sharp interface models. Both cases of dynamic as well as instantaneous adsorption are covered. Flexibility with respect to the choice of bulk and surface free energies allows to realise various isotherms and relations of state between surface tension and surfactant. Some numerical simulations display the effectiveness of the presented approach.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Analysis of the discontinuous Galerkin method for elliptic problems on surfaces
Authors:
Andreas Dedner,
Pravin Madhavan,
Björn Stinner
Abstract:
We extend the discontinuous Galerkin (DG) framework to a linear second-order elliptic problem on a compact smooth connected and oriented surface. An interior penalty (IP) method is introduced on a discrete surface and we derive a-priori error estimates by relating the latter to the original surface via the lift introduced in Dziuk (1988). The estimates suggest that the geometric error terms arisin…
▽ More
We extend the discontinuous Galerkin (DG) framework to a linear second-order elliptic problem on a compact smooth connected and oriented surface. An interior penalty (IP) method is introduced on a discrete surface and we derive a-priori error estimates by relating the latter to the original surface via the lift introduced in Dziuk (1988). The estimates suggest that the geometric error terms arising from the surface discretisation do not affect the overall convergence rate of the IP method when using linear ansatz functions. This is then verified numerically for a number of test problems. An intricate issue is the approximation of the surface conormal required in the IP formulation, choices of which are investigated numerically. Furthermore, we present a generic implementation of test problems on surfaces.
△ Less
Submitted 10 January, 2013; v1 submitted 25 March, 2012;
originally announced March 2012.