arXiv subjects

Charles M. Elliott

Publications and source records attributed to Charles M. Elliott.

At least 37 records · Page 2Linked to original sources

arXiv2020

A formula for membrane mediated point particle interactions on near spherical biomembranes

We consider a model of a biomembrane with attached proteins. The membrane is represented by a near spherical continuous surface and attached proteins are described as discrete rigid structures which attach to the membrane at a finite number of points. The resulting surface minimises a quadratic elastic energy (obtained by a perturbation of the Canham-Helfrich energy) subject to the point constraints which are imposed by the attachment of the proteins. We calculate the derivative of the energy with respect to protein configurations. The proteins are constrained to move tangentially by translation and by rotation in the axis normal to a reference point. Previous studies have typically restricted themselves to a nearly flat membrane and circular inclusions. A numerically accessible representation of this derivative is derived and employed in some numerical experiments.

math.AP↗

arXiv2020

A unified theory for continuous in time evolving finite element space approximations to partial differential equations in evolving domains

We develop a unified theory for continuous in time finite element discretisations of partial differential equations posed in evolving domains including the consideration of equations posed on evolving surfaces and bulk domains as well coupled surface bulk systems. We use an abstract variational setting with time dependent function spaces and abstract time dependent finite element spaces. Optimal a priori bounds are shown under usual assumptions on perturbations of bilinear forms and approximation properties of the abstract finite element spaces. The abstract theory is applied to evolving finite elements in both flat and curved spaces. Evolving bulk and surface isoparametric finite element spaces defined on evolving triangulations are defined and developed. These spaces are used to define approximations to parabolic equations in general domains for which the abstract theory is shown to apply. Numerical experiments are described which confirm the rates of convergence.

math.NA↗

arXiv2020

Second order splitting of a class of fourth order PDEs with point constraints

We formulate a well-posedness and approximation theory for a class of generalised saddle point problems with a specific form of constraints. In this way we develop an approach to a class of fourth order elliptic partial differential equations with point constraints using the idea of splitting into coupled second order equations. An approach is formulated using a penalty method to impose the constraints. Our main motivation is to treat certain fourth order equations involving the biharmonic operator and point Dirichlet constraints for example arising in the modelling of biomembranes on curved and flat surfaces but the approach may be applied more generally. The theory for well-posedness and approximation is presented in an abstract setting. Several examples are described together with some numerical experiments.

math.NA↗

arXiv2020

Reconciling Bayesian and perimeter regularization for binary inversion

A central theme in classical algorithms for the reconstruction of discontinuous functions from observational data is perimeter regularization via the use of the total variation. On the other hand, sparse or noisy data often demands a probabilistic approach to the reconstruction of images, to enable uncertainty quantification; the Bayesian approach to inversion, which itself introduces a form of regularization, is a natural framework in which to carry this out. In this paper the link between Bayesian inversion methods and perimeter regularization is explored. In this paper two links are studied: (i) the maximum a posteriori (MAP) objective function of a suitably chosen Bayesian phase-field approach is shown to be closely related to a least squares plus perimeter regularization objective; (ii) sample paths of a suitably chosen Bayesian level set formulation are shown to possess finite perimeter and to have the ability to learn about the true perimeter.

math.OC↗

arXiv2019

Domain formation via phase separation for spherical biomembranes with small deformations

We derive and analyse an energy to model lipid raft formation on biological membranes involving a coupling between the local mean curvature and the local composition. We apply a perturbation method recently introduced by Fritz, Hobbs and the first author to describe the geometry of the surface as a graph over an undeformed Helfrich energy minimising surface. The result is a surface Cahn-Hilliard functional coupled with a small deformation energy We show that suitable minimisers of this energy exist and consider a gradient flow with conserved Allen-Cahn dynamics, for which existence and uniqueness results are proven. Finally, numerical simulations show that for the long time behaviour raft-like structures can emerge and stablise, and their parameter dependence is further explored.

math.AP↗

arXiv2019

Small deformations of spherical biomembranes

In this contribution to the proceedings of the 11th Mathematical Society of Japan (MSJ) Seasonal Institute (July 2018) we give an overview of some recent work on a mathematical model for small deformations of a spherical membrane. The idea is to consider perturbations to minimisers of a surface geometric energy. The model is obtained from consideration of second order approximations to a perturbed energy. In particular, the considered problems involve particle constraints and surface phase field energies.

math.AP↗

arXiv2019

Second order splitting for a class of fourth order equations

We formulate a well-posedness and approximation theory for a class of generalised saddle point problems. In this way we develop an approach to a class of fourth order elliptic partial differential equations using the idea of splitting into coupled second order equations. Our main motivation is to treat certain fourth order surface equations arising in the modelling of biomembranes but the approach may be applied more generally. In particular, we are interested in equations with non-smooth right hand sides and operators which have non-trivial kernels.The theory for well posedness and approximation is presented in an abstract setting. Several examples are described together with some numerical experiments.

math.NA↗

arXiv2019

A domain mapping approach for elliptic equations posed on random bulk and surface domains

In this article, we analyse the domain mapping method approach to approximate statistical moments of solutions to linear elliptic partial differential equations posed over random geometries including smooth surfaces and bulk-surface systems. In particular, we present the necessary geometric analysis required by the domain mapping method to reformulate elliptic equations on random surfaces onto a fix deterministic surface using a prescribed stochastic parametrisation of the random domain. An abstract analysis of a finite element discretisation coupled with a Monte-Carlo sampling is presented for the resulting elliptic equations with random coefficients posed over the fixed curved reference domain and optimal error estimates are derived. The results from the abstract framework are applied to a model elliptic problem on a random surface and a coupled elliptic bulk-surface system and the theoretical convergence rates are confirmed by numerical experiments.

math.NA↗

arXiv2018

Binary recovery via phase field regularization for first traveltime tomography

We propose a double obstacle phase field methodology for binary recovery of the slowness function of an Eikonal equation found in first traveltime tomography. We treat the inverse problem as an optimization problem with quadratic misfit functional added to a phase field relaxation of the perimeter penalization functional. Our approach yields solutions as we account for well posedness of the forward problem by choosing regular priors. We obtain a convergent finite difference and mixed finite element based discretization and a well defined descent scheme by accounting for the non-differentiability of the forward problem. We validate the phase field technique with a $Γ$ - convergence result and numerically by conducting parameter studies for the scheme, and by applying it to a variety of test problems with different geometries, boundary conditions, and source - receiver locations.

math.NA↗

arXiv2018

Hamilton--Jacobi equations on an evolving surface

We consider the well-posedness and numerical approximation of a Hamilton--Jacobi equation on an evolving hypersurface in $\mathbb R^3$. Definitions of viscosity sub- and supersolutions are extended in a natural way to evolving hypersurfaces and provide uniqueness by comparison. An explicit in time monotone numerical approximation is derived on evolving interpolating triangulated surfaces. The scheme relies on a finite volume discretisation which does not require acute triangles. The scheme is shown to be stable and consistent leading to an existence proof via the proof of convergence. Finally an error bound is proved of the same order as in the flat stationary case.

math.NA↗

arXiv2017

A coupled ligand-receptor bulk-surface system on a moving domain: well posedness, regularity and convergence to equilibrium

We prove existence, uniqueness, and regularity for a reaction-diffusion system of coupled bulk-surface equations on a moving domain modelling receptor-ligand dynamics in cells. The nonlinear coupling between the three unknowns is through the Robin boundary condition for the bulk quantity and the right hand sides of the two surface equations. Our results are new even in the non-moving setting, and in this case we also show exponential convergence to a steady state. The primary complications in the analysis are indeed the nonlinear coupling and the Robin boundary condition. For the well posedness and essential boundedness of solutions we use several De Giorgi-type arguments, and we also develop some useful estimates to allow us to apply a Steklov averaging technique for time-dependent operators to prove that solutions are strong. Some of these auxiliary results presented in this paper are of independent interest by themselves.

math.AP↗

arXiv2017

Evolving surface finite element methods for random advection-diffusion equations

In this paper, we introduce and analyse a surface finite element discretization of advection-diffusion equations with uncertain coefficients on evolving hypersurfaces. After stating unique solvability of the resulting semi-discrete problem, we prove optimal error bounds for the semi-discrete solution and Monte Carlo samplings of its expectation in appropriate Bochner spaces. Our theoretical findings are illustrated by numerical experiments in two and three space dimensions.

math.NA↗

arXiv2016

Coupled bulk-surface free boundary problems arising from a mathematical model of receptor-ligand dynamics

We consider a coupled bulk-surface system of partial differential equations with nonlinear coupling modelling receptor-ligand dynamics. The model arises as a simplification of a mathematical model for the reaction between cell surface resident receptors and ligands present in the extra-cellular medium. We prove the existence and uniqueness of solutions. We also consider a number of biologically relevant asymptotic limits of the model. We prove convergence to limiting problems which take the form of free boundary problems posed on the cell surface. We also report on numerical simulations illustrating convergence to one of the limiting problems as well as the spatio-temporal distributions of the receptors and ligands in a realistic geometry.

math.AP↗

arXiv2016

Small deformations of Helfrich energy minimising surfaces with applications to biomembranes

In this paper we introduce a mathematical model for small deformations induced by external forces of closed surfaces that are minimisers of Helfrich-type energies. Our model is suitable for the study of deformations of cell membranes induced by the cytoskeleton. We describe the deformation of the surface as a graph over the undeformed surface. A new Lagrangian and the associated Euler-Lagrange equations for the height function of the graph are derived. This is the natural generalisation of the well known linearisation in the Monge gauge for initially flat surfaces. We discuss energy perturbations of point constraints and point forces acting on the surface. We establish existence and uniqueness results for weak solutions on spheres and on tori. Algorithms for the computation of numerical solutions in the general setting are provided. We present numerical examples which highlight the behaviour of the surface deformations in different settings at the end of the paper.

math.AP↗

arXiv2016

On algorithms with good mesh properties for problems with moving boundaries based on the Harmonic Map Heat Flow and the DeTurck trick

In this paper, we present a general approach to obtain numerical schemes with good mesh properties for problems with moving boundaries, that is for evolving submanifolds with boundaries. This includes moving domains and surfaces with boundaries. Our approach is based on a variant of the so-called the DeTurck trick. By reparametrizing the evolution of the submanifold via solutions to the harmonic map heat flow of manifolds with boundary, we obtain a new velocity field for the motion of the submanifold. Moving the vertices of the computational mesh according to this velocity field automatically leads to computational meshes of high quality both for the submanifold and its boundary. Using the ALE-method in [16], this idea can be easily built into algorithms for the computation of physical problems with moving boundaries.

math.NA↗

arXiv2016

Solving reaction-diffusion equations on evolving surfaces defined by biological image data

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.

math.NA↗

arXiv2016

A Variational Approach to Particles in Lipid Membranes

A variety of models for the membrane-mediated interaction of particles in lipid membranes, mostly well-established in theoretical physics, is reviewed from a mathematical perspective. We provide mathematically consistent formulations in a variational framework, relate apparently different modelling approaches in terms of successive approximation, and investigate existence and uniqueness. Numerical computations illustrate that the new variational formulations are directly accessible to effective numerical methods.

math.AP↗

arXiv2016

On Approximations of the Curve Shortening Flow and of the Mean Curvature Flow based on the DeTurck trick

In this paper we discuss novel numerical schemes for the computation of the curve shortening and mean curvature flows that are based on special reparametrizations. The main idea is to use special solutions to the harmonic map heat flow in order to reparametrize the equations of motion. This idea is widely known from the Ricci flow as the DeTurck trick. By introducing a variable time scale for the harmonic map heat flow, we obtain families of numerical schemes for the reparametrized flows. For the curve shortening flow this family unveils a surprising geometric connection between the numerical schemes in [5] and [9]. For the mean curvature flow we obtain families of schemes with good mesh properties similar to those in [3]. We prove error estimates for the semi-discrete scheme of the curve shortening flow. The behaviour of the fully-discrete schemes with respect to the redistribution of mesh points is studied in numerical experiments. We also discuss possible generalizations of our ideas to other extrinsic flows.

math.NA↗