Searcharxiv⌕ Search

arXiv subjects

Chandrasekhar Venkataraman

Publications and source records attributed to Chandrasekhar Venkataraman.

At least 19 recordsLinked to original sources

Finite element approximation of the enthalpy formulation for Stefan problems on evolving surfaces

We propose, and analyse, a spatially discrete evolving surface finite element method for the approximation of the enthalpy formulation of the two-phase Stefan problem posed on an evolving surface. Our approach does not rely on mass-lumping and discrete maximum principles. We prove this numerical method is numerically stable, and prove $\mathcal{O}(\sqrt{h})$ error bounds for the temperature in the $L^2_{L^2}$ norm under minimal regularity assumptions by introducing a new projection-type operator. We complement our analysis with discussion on the implementation of this numerical method, where we propose a novel implementation that avoids errors due to numerical quadrature and which has not previously been considered in the literature even in the stationary, flat setting. We also include numerical experiments and experimental order of convergence demonstrations.

math.NA↗

Multiscale modelling, analysis and simulation of cancer invasion mediated by bound and soluble enzymes

We formulate a cell-scale model for the degradation of the extra-cellular matrix by membrane-bound and soluble matrix degrading enzymes produced by cancer cells. Based on the microscopic model and using tools from the theory of homogenisation we propose a macroscopic model for cancer cell invasion into the extra-cellular matrix mediated by bound and soluble matrix degrading enzymes. For suitable and biologically relevant initial data we prove the macroscopic model is well-posed. We propose a finite element method for the numerical approximation of the macroscopic model and report on simulation results illustrating the role of the bound and soluble enzymes in cancer invasion processes.

math.AP↗

Mathematical Modelling of Mechanotransduction via RhoA Signalling Pathways

We derive and simulate a mathematical model for mechanotransduction related to the Rho GTPase signalling pathway. The model addresses the bidirectional coupling between signalling processes and cell mechanics. A numerical method based on bulk-surface finite elements is proposed for the approximation of the coupled system of nonlinear reaction-diffusion equations, defined inside the cell and on the cell membrane, and the equations of elasticity. Our simulation results illustrate novel emergent features such as the strong dependence of the dynamics on cell shape, a threshold-like response to changes in substrate stiffness, and the fact that coupling mechanics and signalling can lead to the robustness of cell deformation to larger changes in substrate stiffness, ensuring mechanical homeostasis in agreement with experiments.

math.NA↗

Parallel two-scale finite element implementation of a system with varying microstructures

We propose a two-scale finite element method designed for heterogeneous microstructures. Our approach exploits domain diffeomorphisms between the microscopic structures to gain computational efficiency. By using a conveniently constructed pullback operator, we are able to model the different microscopic domains as macroscopically dependent deformations of a reference domain. This allows for a relatively simple finite element framework to approximate the underlying PDE system with a parallel computational structure. We apply this technique to a model problem where we focus on transport in plant tissues. We illustrate the accuracy of the implementation with convergence benchmarks and show satisfactory parallelization speed-ups. We further highlight the effect of the heterogeneous microscopic structure on the output of the two-scale systems. Our implementation (publicly available on GitHub) builds on the deal.II FEM library. Application of this technique allows for an increased capacity of microscopic detail in multiscale modeling, while keeping running costs manageable.

math.NA↗

Free boundary limits of coupled bulk-surface models for receptor-ligand interactions on evolving domains

We derive various novel free boundary problems as limits of a coupled bulk-surface reaction-diffusion system modelling ligand-receptor dynamics on evolving domains. These limiting free boundary problems may be formulated as Stefan-type problems on an evolving hypersurface. Our results are new even in the setting where there is no domain evolution. The models are of particular relevance to a number of applications in cell biology. The analysis utilises $L^\infty$-estimates in the manner of De Giorgi iterations and other technical tools, all in an evolving setting. We also report on numerical simulations.

math.AP↗

Linking discrete and continuous models of cell birth and migration

Self-organisation of individuals within large collectives occurs throughout biology. Mathematical models can help elucidate the individual-level mechanisms behind these dynamics, but analytical tractability often comes at the cost of biological intuition. Discrete models provide straightforward interpretations by tracking each individual yet can be computationally expensive. Alternatively, continuous models supply a large-scale perspective by representing the "effective" dynamics of infinite agents, but their results are often difficult to translate into experimentally relevant insights. We address this challenge by quantitatively linking spatio-temporal dynamics of continuous models and individual-based data in settings with biologically realistic, time-varying cell numbers. Specifically, we introduce and fit scaling parameters in continuous models to account for discrepancies that can arise from low cell numbers and localised interactions. We illustrate our approach on an example motivated by zebrafish-skin pattern formation, in which we create a continuous framework describing the movement and proliferation of a single cell population by upscaling rules from a discrete model. Our resulting continuous models accurately depict ensemble average agent-based solutions when migration or proliferation act alone. Interestingly, the same parameters are not optimal when both processes act simultaneously, highlighting a rich difference in how combining migration and proliferation affects discrete and continuous dynamics.

q-bio.CB↗

An individual-based model to explore the impact of psychological stress on immune infiltration into tumour spheroids

In recent in vitro experiments on co-culture between breast tumour spheroids and activated immune cells, it was observed that the introduction of the stress hormone cortisol resulted in a decreased immune cell infiltration into the spheroids. Moreover, the presence of cortisol deregulated the normal levels of the pro- and anti-inflammatory cytokines IFN-γ and IL-10. We present an individual-based model to explore the interaction dynamics between tumour and immune cells under psychological stress conditions. With our model, we explore the processes underlying the emergence of different levels of immune infiltration, with particular focus on the biological mechanisms regulated by IFN-γ and IL-10. The set-up of numerical simulations is defined to mimic the scenarios considered in the experimental study. Similarly to the experimental quantitative analysis, we compute a score that quantifies the level of immune cell infiltration into the tumour. The results of numerical simulations indicate that the motility of immune cells, their capability to infiltrate through tumour cells, their growth rate and the interplay between these cell parameters can affect the level of immune cell infiltration in different ways. Ultimately, numerical simulations of this model support a deeper understanding of the impact of biological stress-induced mechanisms on immune infiltration.

q-bio.CB↗

Multiscale analysis and simulation of a signalling process with surface diffusion

We present and analyse a model for cell signalling processes in biological tissues. The model includes diffusion and nonlinear reactions on the cell surfaces, and both inter- and intracellular signalling. Using techniques from the theory of two-scale convergence as well the unfolding method, we show convergence of the solutions to the model to solutions of a two-scale macroscopic problem. We also present a two-scale bulk-surface finite element method for the approximation of the macroscopic model. We report on some benchmarking results as well as numerical simulations in a biologically relevant regime that illustrate the influence of cell-scale heterogeneities on macroscopic concentrations.

math.AP↗

Heterogeneity and strong competition in ecology

We study a competition-diffusion model while performing simultaneous homogenization and strong competition limits. The limit problem is shown to be a Stefan type evolution equation with effective coefficients. We also perform some numerical simulations in one and two spatial dimensions that suggest that oscillations are detrimental to invasion behaviour of the species.

math.AP↗

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↗

Lumped finite element method for reaction-diffusion systems on compact surfaces

We propose and analyse a novel surface finite element method that preserves the invariant regions of systems of semilinear parabolic equations on closed compact surfaces in $\mathbb{R}^3$ under discretisation. We also provide a fully-discrete scheme by applying the implicit-explicit (IMEX) Euler method in time. We prove the preservation of the invariant rectangles of the continuous problem under spatial and full discretizations. For scalar equations, these results reduce to the well-known discrete maximum principle. Furthermore, we prove optimal error bounds for the semi- and fully-discrete methods, that is the convergence rates are quadratic in the meshsize and linear in the timestep. Numerical experiments are provided to support the theoretical findings. In particular we provide examples in which, in the absence of lumping, the numerical solution violates the invariant region leading to blow-up due to the nature of the kinetics.

math.NA↗

A Bayesian approach to parameter identification with an application to Turing systems

We present a Bayesian methodology for infinite as well as finite dimensional parameter identification for partial differential equation models. The Bayesian framework provides a rigorous mathematical framework for incorporating prior knowledge on uncertainty in the observations and the parameters themselves, resulting in an approximation of the full probability distribution for the parameters, given the data. Although the numerical approximation of the full probability distribution is computationally expensive, parallelised algorithms can make many practically relevant problems computationally feasible. The probability distribution not only provides estimates for the values of the parameters, but also provides information about the inferability of parameters and the sensitivity of the model. This information is crucial when a mathematical model is used to study the outcome of real-world experiments. Keeping in mind the applicability of our approach to tackle real-world practical problems with data from experiments, in this initial proof of concept work, we apply this theoretical and computational framework to parameter identification for a well studied semilinear reaction-diffusion system with activator-depleted reaction kinetics, posed on evolving and stationary domains.

q-bio.QM↗

A computational approach for mode isolation for reaction-diffusion systems on arbitrary geometries

In this article we present a computational framework for isolating spatial patterns arising in the steady states of reaction-diffusion systems. Such systems have been used to model many different phenomena in areas such as developmental and cancer biology, cell motility and material science. Often one is interested in identifying parameters which will lead to a particular pattern. To attempt to answer this, we compute eigenpairs of the Laplacian on a variety of domains and use linear stability analysis to determine parameter values for the system that will lead to spatially inhomogeneous steady states whose patterns correspond to particular eigenfunctions. This method has previously been used on domains and surfaces where the eigenvalues and eigenfunctions are found analytically in closed form. Our contribution to this methodology is that we numerically compute eigenpairs on arbitrary domains and surfaces. Here we present various examples and demonstrate that mode isolation is straightforward especially for low eigenvalues. Additionally we see that if two or more eigenvalues are in a permissible range then the inhomogeneous steady state can be a linear combination of the respective eigenfunctions. Finally we show an example which suggests that pattern formation is robust on similar surfaces in cases that the surface either has or does not have a boundary.

math.NA↗

Whole cell tracking through the optimal control of geometric evolution laws

Cell tracking algorithms which automate and systematise the analysis of time lapse image data sets of cells are an indispensable tool in the modelling and understanding of cellular phenomena. In this study we present a theoretical framework and an algorithm for whole cell tracking. Within this work we consider that "tracking" is equivalent to a dynamic reconstruction of the whole cell data (morphologies) from static image datasets. The novelty of our work is that the tracking algorithm is driven by a model for the motion of the cell. This model may be regarded as a simplification of a recently developed physically meaningful model for cell motility. The resulting problem is the optimal control of a geometric evolution law and we discuss the formulation and numerical approximation of the optimal control problem. The overall goal of this work is to design a framework for cell tracking within which the recovered data reflects the physics of the forward model. A number of numerical simulations are presented that illustrate the applicability of our approach.

math.NA↗

Stability analysis and simulations of coupled bulk-surface reaction-diffusion systems

In this article we formulate new models for coupled systems of bulk-surface reaction-diffusion equations on stationary volumes. The bulk reaction-diffusion equations are coupled to the surface reaction-diffusion equations through linear Robin-type boundary conditions. We then state and prove the necessary conditions for diffusion-driven instability for the coupled system. Due to the nature of the coupling between bulk and surface dynamics, we are able to decouple the stability analysis of the bulk and surface dynamics. Under a suitable choice of model parameter values, the bulk reaction-diffusion system can induce patterning on the surface independent of whether the surface reaction-diffusion system produces or not, patterning. On the other hand, the surface reaction-diffusion system can not generate patterns everywhere in the bulk in the absence of patterning from the bulk reaction-diffusion system. For this case, patterns can only be induced in regions close to the surface membrane. Various numerical experiments are presented to support our theoretical findings. Our most revealing numerical result is that, Robin-type boundary conditions seem to introduce a boundary layer coupling the bulk and surface dynamics.

math.AP↗

Error analysis for an ALE evolving surface finite element method

We consider an arbitrary-Lagrangian-Eulerian evolving surface finite element method for the numerical approximation of advection and diffusion of a conserved scalar quantity on a moving surface. We describe the method, prove optimal order error bounds and present numerical simulations that agree with the theoretical results.

math.NA↗

Parameter identification problems in the modelling of cell motility

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.

math.NA↗