Related papers: Monotone abstract non-densely defined Cauchy probl…
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such theories. We present examples showing that monotonic theories…
The large-time asymptotics of the solutions to a class of degenerate parabolic cross-diffusion systems is analyzed. The equations model the interaction of an arbitrary number of population species in a bounded domain with no-flux boundary…
This paper (parts I and II) provides an expository introduction to monotone and near-monotone dynamical systems associated to biochemical networks, those whose graphs are consistent or near-consistent. Many conclusions can be drawn from…
Existence of strong solutions of an abstract Cauchy problem for a class of doubly nonlinear evolution inclusion of second order is established via a semi-implicit time discretization method. The principal parts of the operators acting on…
The goal of the present paper is to explore the long-time behavior of the growth-fragmentation equation formulated in the case of equal mitosis and variability in growth rate, under fairly general assumptions on the coefficients. The first…
This paper presents an age structured problem modelling mosquito blood-feeding plasticity in a natural environment. We first investigate the analytical asymptotic solution through studying the spectrum of an operator $\mathbb{A}$ which is…
We introduce new coupling conditions for isentropic flow on networks based on an artificial density at the junction. The new coupling conditions can be derived from a kinetic model by imposing a condition on energy dissipation. Existence…
We present a review of the chaotic hypothesis and discuss its applications to intermittency in statistical mechanics and fluid mechanics proposing a quantitative definition. Entropy creation rate is interpreted in terms of certain…
A technique is introduced which allows to generate -- starting from any solvable discrete-time dynamical system involving N time-dependent variables -- new, generally nonlinear, generations of discrete-time dynamical systems, also involving…
We are interested in a stochastic model of trait and age-structured population undergoing mutation and selection. We start with a continuous time, discrete individual-centered population process. Taking the large population and rare…
We establish that a mode-coupling approximation for the dynamics of multi-component systems obeying Smoluchowski dynamics preserves a subtle yet fundamental property: the matrices of partial density correlation functions are completely…
We numerically address the stability analysis of linear age-structured population models with nonlocal diffusion, which arise naturally in describing dynamics of infectious diseases. Compared to Laplace diffusion, models with nonlocal…
In order to study large variations or fluctuations of finite or infinite sequences (time series), we bring to light an 1868 paper of Crofton and the (Cauchy-)Crofton theorem. After surveying occurrences of this result in the literature, we…
Implicit constitutive theory provides a very general framework for fluid flow models, including both Newtonian and generalized Newtonian fluids, where the Cauchy stress tensor and the rate of strain tensor are assumed to be related by an…
An SIS model is investigated in which the infective individuals are assumed to have an infection-age structure. The model is formulated as an abstract non-densely defined Cauchy problem. We study some dynamical properties of the model by…
Based on an assumption on the Hessian of the Green function, we derive some monotonicity formulas on nonparabolic manifolds. This assumption is satisfied on manifolds that meet certain conditions including bounds on the sectional curvature…
This paper is concerned with a fluidodynamic model for traffic flow. More precisely, we consider a single conservation law, deduced from conservation of the number of cars, defined on a road network that is a collection of roads with…
Continuum models for the spatial dynamics of growing cell populations have been widely used to investigate the mechanisms underpinning tissue development and tumour invasion. These models consist of nonlinear partial differential equations…
How do decisions change with the economic environment and with time? This paper studies general nonstationary stopping problems and provides the methodological tools to answer these questions. First, we identify conditions that ensure a…
This paper investigates the consensus problem in almost sure sense for uncertain multi-agent systems with noises and fixed topology. By combining the tools of stochastic analysis, algebraic graph theory, and matrix theory, we analyze the…