Searcharxiv⌕ Search

arXiv subjects

Anna Marciniak-Czochra

Publications and source records attributed to Anna Marciniak-Czochra.

At least 19 recordsLinked to original sources

Asynchronous exponential growth for structured population models in measure space

This paper studies the asymptotic behaviour of a structured population model on the space of nonnegative Radon measures. Such formulations naturally arise when solutions develop concentration phenomena or when the population is represented by discrete cohorts. Asynchronous exponential convergence of measure solutions towards a one-dimensional global attractor is established. While such results are classical in the $L^1$ setting, their extension to measure spaces requires different compactness and spectral arguments. We identify conditions under which the classical asymptotic behaviour persists in the space of Radon measures endowed with the flat metric, thereby extending the theory of asynchronous exponential growth beyond the classical $L^1$ framework.

math.AP↗

Multiple diffusion scales and diffusion-driven instability: Emergence of near- and far-from-equilibrium patterns

This paper investigates pattern formation in reaction--diffusion systems with both diffusive and nondiffusive components, providing necessary and sufficient conditions for diffusion-driven instability (DDI) and establishing the existence of far-from-equilibrium patterns. While previous work has linked DDI to instability in the purely nondiffusive subsystem -- thereby destabilizing all regular Turing patterns -- we show that DDI can also arise from subsystems involving nondiffusive and slow-diffusive components using three different spatial scales. This leads to simple sufficient conditions for DDI in systems with arbitrary numbers of components. Moreover, we fully classify all possible sources of DDI in the case of two diffusive and one nondiffusive component. Further, we prove the existence of far-from-equilibrium patterns exhibiting branch-switching and discontinuities in the nondiffusive components, which cannot occur in classical reaction--diffusion equations. We illustrate our results with a receptor-based model supported by numerical bifurcation analysis and simulations. These findings extend the theoretical foundations of pattern formation, demonstrating how coupling between diffusive and nondiffusive dynamics can generate patterns beyond the reach of the classical reaction--diffusion framework.

math.AP↗

Operator splitting algorithm for structured population models on metric spaces

In this paper, we propose a numerical scheme for structured population models defined on a separable and complete metric space. In particular, we consider a generalized version of a transport equation with additional growth and non-local interaction terms in the space of nonnegative Radon measures equipped with the flat metric. The solutions, given by families of Radon measures, are approximated by linear combinations of Dirac measures. For this purpose, we introduce a finite-range approximation of the measure-valued model functions, provided that they are linear. By applying an operator splitting technique, we are able to separate the effects of the transport from those of growth and the non-local interaction. We derive the order of convergence of the numerical scheme, which is linear in the spatial discretization parameters and polynomial of order $α$ in the time step size, assuming that the model functions are $α$ Hölder regular in time. In a second step, we show that our proposed algorithm can approximate the posterior measure of Bayesian inverse models, which will allow us to link model parameters to measured data in the future.

math.NA↗

Stability and bifurcation analysis in a mechanochemical model of pattern formation

We analyze the stability and bifurcation structure of steady states in a mechanochemical model of pattern formation in regenerating tissue spheroids. The model couples morphogen dynamics with tissue mechanics via a positive feedback loop: mechanical stretching enhances morphogen production, while morphogen concentration modulates tissue elasticity. Global strain conservation implements a nonlocal inhibitory effect, realizing a mechanochemical variant of the local activation--long-range inhibition mechanism. For exponential elasticity-morphogen coupling, the system admits a variational formulation. We prove existence of nonconstant steady states for small diffusion and uniqueness of the homogeneous state for large diffusion. Linear stability analysis shows that only unimodal patterns are stable, while multimodal solutions are unstable. Bifurcation analysis reveals subcritical and supercritical pitchforks, with fold bifurcations generating bistable regimes. Our results demonstrate that mechanochemical feedback provides a robust mechanism for single-peaked pattern formation without requiring a second diffusible inhibitor.

math.AP↗

Beyond Bayesian Inference: The Correlation Integral Likelihood Framework and Gradient Flow Methods for Deterministic Sampling

Calibrating mathematical models of biological processes is essential for achieving predictive accuracy and gaining mechanistic insight. However, this task remains challenging due to limited and noisy data, significant biological variability, and the computational complexity of the models themselves. In this method's article, we explore a range of approaches for parameter inference in partial differential equation (PDE) models of biological systems. We introduce a unified mathematical framework, the Correlation Integral Likelihood (CIL) method, for parameter estimation in systems exhibiting heterogeneous or chaotic dynamics, encompassing both pattern formation models and individual-based models. Departing from classical Bayesian inverse problem methodologies, we motivate the development of the CIL method, demonstrate its versatility, and highlight illustrative applications within mathematical biology. Furthermore, we compare stochastic sampling strategies, such as Markov Chain Monte Carlo (MCMC), with deterministic gradient flow approaches, highlighting how these methods can be integrated within the proposed framework to enhance inference performance. Our work provides a practical and theoretically grounded toolbox for researchers seeking to calibrate complex biological models using incomplete, noisy, or heterogeneous data, thereby advancing both the predictive capability and mechanistic understanding of such systems.

q-bio.QM↗

Statistical parameter identification of mixed-mode patterns from a single experimental snapshot

Parameter identification in pattern formation models from a single experimental snapshot is challenging, as traditional methods often require knowledge of initial conditions or transient dynamics -- data that are frequently unavailable in experimental settings. In this study, we extend the recently developed statistical approach, Correlation Integral Likelihood (CIL) method to enable robust parameter identification from a single snapshot of an experimental pattern. Using the chlorite-iodite-malonic acid (CIMA) reaction -- a well-studied system that produces Turing patterns -- as a test case, we address key experimental challenges such as measurement noise, model-data discrepancies, and the presence of mixed-mode patterns, where different spatial structures (e.g., coexisting stripes and dots) emerge under the same conditions. Numerical experiments demonstrate that our method accurately estimates model parameters, even with incomplete or noisy data. This approach lays the groundwork for future applications in developmental biology, chemical reaction modelling, and other systems with heterogeneous output.

math.AP↗

Structured Population Models on Polish spaces: A unified Approach including Graphs, Riemannian Manifolds and Measure Spaces to describe Dynamics of Heterogeneous Populations

This paper presents a mathematical framework for modeling the dynamics of heterogeneous populations. Models describing local and non-local growth and transport processes, dependent on dynamically changing population structures, appear in a variety of applications such as crowd dynamics, tissue regeneration, cancer development, and coagulation-fragmentation processes. The current body of literature regarding mathematical modeling presents common challenges to mathematicians due to the multiscale nature of the structures that underlie self-organisation and control within complex, heterogeneous systems. In various applications, similar, abstract mathematical concepts arise through problem formulation and the assimilation of mathematical depictions into the language of measure evolution on a multi-faceted state space. In view of the above observations, we propose an overarching mathematical framework for nonlinear structured population models on abstract metric spaces, which are only assumed to be separable and complete. To achieve this, we exploit the structure of the space of non-negative Radon measures under the dual bounded Lipschitz distance (flat metric), a generalization of the Wasserstein distance that is capable of addressing non-conservative problems. The formulation of models on generic metric spaces facilitates the study on infinite-dimensional state spaces or graphs with a combination of discrete and continuous structures. This opens up exciting possibilities for modeling single cell data, crowd dynamics or coagulation-fragmentation processes.

math.AP↗

Long-time shadow limit for reaction-diffusion-ODE systems

Shadow systems are an approximation of reaction-diffusion-type problems obtained in the infinite diffusion coefficient limit. They allow reducing complexity of the system and hence facilitate its analysis. The quality of approximation can be considered in three time regimes: (i) short-time intervals taking account for the initial time layer, (ii) long-time intervals scaling with the diffusion coefficient and tending to infinity for diffusion tending to infinity, and (iii) asymptotic state for times up to $T = \infty$. In this paper we focus on uniform error estimates in the long-time case. Using linearization at a time-dependent shadow solution, we derive sufficient conditions for control of the errors. The employed methods are cut-off techniques and $L^p$-estimates combined with stability conditions for the linearized shadow system. Additionally, we show that the global-in-time extension of the uniform error estimates may fail without stronger assumptions on the model linearization. The approach is presented on example of reaction-diffusion equations coupled to ordinary differential equations (ODEs), including classical reaction-diffusion system. The results are illustrated by examples showing necessity and applicability of the established conditions.

math.AP↗

Stability Results for Bounded Stationary Solutions of Reaction-Diffusion-ODE Systems

Reaction-diffusion equations coupled to ordinary differential equations (ODEs) may exhibit spatially low-regular stationary solutions. This work provides a comprehensive theory of asymptotic stability of bounded, discontinuous or continuous, stationary solutions of reaction-diffusion-ODE systems. We characterize the spectrum of the linearized operator and relate its spectral properties to the corresponding semigroup properties. Considering the function spaces $L^\infty(Ω)^{m+k}, L^\infty(Ω)^m \times C(\overlineΩ)^k$ and $C(\overlineΩ)^{m+k}$, we establish a sign condition on the spectral bound of the linearized operator, which implies nonlinear stability or instability of the stationary pattern.

math.AP↗

Stable discontinuous stationary solutions to reaction-diffusion-ODE systems

A general system of n ordinary differential equations coupled with one reaction-diffusion equation, considered in a bounded N-dimensional domain, with no-flux boundary condition is studied in a context of pattern formation. Such initial boundary value problems may have different types of stationary solutions. In our parallel work [Instability of all regular stationary solutions to reaction-diffusion-ODE systems (2021)], regular (i.e. sufficiently smooth) stationary solutions are shown to exist, however, all of them are unstable. The goal of this work is to construct discontinuous stationary solutions to general reaction-diffusion-ODE systems and to find sufficient conditions for their stability.

math.AP↗

A Bayesian Approach to Modelling Biological Pattern Formation with Limited Data

Pattern formation in biological tissues plays an important role in the development of living organisms. Since the classical work of Alan Turing, a pre-eminent way of modelling has been through reaction-diffusion mechanisms. More recently, alternative models have been proposed, that link dynamics of diffusing molecular signals with tissue mechanics. In order to distinguish among different models, they should be compared to experimental observations. However, in many experimental situations only the limiting, stationary regime of the pattern formation process is observable, without knowledge of the transient behaviour or the initial state. The unstable nature of the underlying dynamics in all alternative models seriously complicates model and parameter identification, since small changes in the initial condition lead to distinct stationary patterns. To overcome this problem the initial state of the model can be randomised. In the latter case, fixed values of the model parameters correspond to a family of patterns rather than a fixed stationary solution, and standard approaches to compare pattern data directly with model outputs, e.g., in the least squares sense, are not suitable. Instead, statistical characteristics of the patterns should be compared, which is difficult given the typically limited amount of available data in practical applications. To deal with this problem, we extend a recently developed statistical approach for parameter identification using pattern data, the so-called Correlation Integral Likelihood (CIL) method. We suggest modifications that allow increasing the accuracy of the identification process without resizing the data set. The proposed approach is tested using different classes of pattern formation models. For all considered equations, parallel GPU-based implementations of the numerical solvers with efficient time stepping schemes are provided.

math.AP↗

$Γ$-limit for a sharp interface model related to pattern formation on biomembranes

We derive a macroscopic limit for a sharp interface version of a model proposed in [29] to investigate pattern formation due to competition of chemical and mechanical forces in biomembranes. We identify sub- and supercrital parameter regimes and show with the introduction of the autocorrelation function that the ground state energy leads to the isoperimetric problem in the subcritical regime, which is interpreted to not form fine scale patterns.

math.AP↗

Discontinuous stationary solutions to certain reaction-diffusion systems

Systems consisting of a single ordinary differential equation coupled with one reaction-diffusion equation in a bounded domain and with the Neumann boundary conditions are studied in the case of particular nonlinearities from the Brusselator model, the Gray-Scott model, the Oregonator model and a certain predator-prey model. It is shown that the considered systems have the both smooth and discontinuous stationary solutions, however, only discontinuous ones can be stable.

math.AP↗

Asymptotic behaviour of a structured population model on a space of measures

In this paper we consider a physiologically structured population model with distributed states at birth, formulated on the space of non-negative Radon measures. Using a characterisation of the pre-dual space of bounded Lipschitz functions, we show how to apply the theory of strongly continuous positive semigroups to such a model. In particular, we establish the exponential convergence of solutions to a one-dimensional global attractor.

math.AP↗

Instability of all regular stationary solutions to reaction-diffusion-ODE systems

A general system of several ordinary differential equations coupled with a reaction-diffusion equation in a bounded domain with zero-flux boundary condition is studied in the context of pattern formation. These initial-boundary value problems may have regular (i.e. sufficiently smooth) stationary solutions. This class of {\it close-to-equilibrium} patterns includes stationary solutions that emerge due to the Turing instability of a spatially constant stationary solution. The main result of this work is instability of all regular patterns. It suggests that stable stationary solutions arising in models with non-diffusive components must be {\it far-from-equilibrium} exhibiting singularities. Such discontinuous stationary solutions have been considered in our parallel work [\textit{Stable discontinuous stationary solutions to reaction-diffusion-ODE systems}, preprint (2021)].

math.AP↗

Measure Differential Equation with a Nonlinear Growth/Decay Term

We obtain an existence result for a Measure Differential Equation with an additional nonlinear growth/decay term that may change the sign. The proof requires a modification of approximating schemes proposed by Piccoli and Rossi. The new scheme combines model discretisation with the exponential solution of the nonlinear growth/decay and hence preserves nonnegativity of the measure. Furthermore, we formulate a simpler analytic condition on the Measure Vector Field which substantially simplifies the previous proof of continuity of solutions with respect to initial data.

math.AP↗

Dynamical properties of feedback signalling in B lymphopoiesis: A mathematical modelling approach

Haematopoiesis is the process of generation of blood cells. Lymphopoiesis generates lymphocytes, the cells in charge of the adaptive immune response. Disruptions of this process are associated with diseases like leukaemia, which is especially incident in children. The characteristics of self-regulation of this process make them suitable for a mathematical study. In this paper we develop mathematical models of lymphopoiesis using currently available data. We do this by drawing inspiration from existing structured models of cell lineage development and integrating them with paediatric bone marrow data, with special focus on regulatory mechanisms. A formal analysis of the models is carried out, giving steady states and their stability conditions. We use this analysis to obtain biologically relevant regions of the parameter space and to understand the dynamical behaviour of B-cell renovation. Finally, we use numerical simulations to obtain further insight into the influence of proliferation and maturation rates on the reconstitution of the cells in the B line. We conclude that a model including feedback regulation of cell proliferation represents a biologically plausible depiction for B-cell reconstitution in bone marrow. Research into haematological disorders could benefit from a precise dynamical description of B lymphopoiesis.

q-bio.TO↗

Local asymptotic stability of a system of integro-differential equations describing clonal evolution of a self-renewing cell population under mutation

In this paper we consider a system of non-linear integro-differential equations (IDEs) describing evolution of a clonally heterogeneous population of malignant white blood cells (leukemic cells) undergoing mutation and clonal selection. We prove existence and uniqueness of non-trivial steady states and study their asymptotic stability. The results are compared to those of the system without mutation. Existence of equilibria is proved by formulating the steady state problem as an eigenvalue problem and applying a version of the Krein-Rutmann theorem for Banach lattices. The stability at equilibrium is analysed using linearisation and the Weinstein-Aronszajn determinant which allows to conclude local asymptotic stability.

math.DS↗