Pattern formation in the Brusselator system

In the paper, we deal with a reaction-diffusion system well known as the Brusselator model and some improved results for the steady states of this model are presented. We first give an a priori estimates (positive upper and lower bounds) of positive steady states. Then, we obtain the non-existence and existence of positive non-constant steady states as the parameters λ, θ and b are varied, which means some certain conditions under which the pattern formation occurs or not.     

Nonlinear problems arising in electrostatic actuation in MEMS

In this paper we study the nonlinear problem arising in electrostatic actuation of MEMS. We show that the existence and non-existence of the solution of this problem depend on the value of the physical parameters of the equation. In addition we consider the corresponding initial value problem and we derived the existence of periodic solution, stability of steady states and the ω-limit set.     

Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof

In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fixed point argument around a numerically computed solution, in the spirit of the Newton–Kantorovich theorem. It allows to prove the existence of various non homogeneous steady states for different parameter values. In some situations, we obtain as many as 13 coexisting steady states. We also apply the a posteriori validation procedure to study the linear stability of the obtained steady states, proving that many of them are in fact unstable.     

Variational characterization of the contingent epiderivative

In this paper the existence of the contingent epiderivative of a set-valued map is studied from a variational perspective. We give a variational characterization of the ideal minimal of a weakly compact set. As a consequence we characterize the existence of the contingent epiderivative in terms of an associated family of variational systems. When a set-valued map takes values in Rn we show that these systems can be formulated in terms of the contingent epiderivatives of scalar set-valued maps. By applying these results we extend some existing theorems.     

A note on parabolic equation with nonlinear dynamical boundary condition

We consider a semilinear parabolic equation subject to a nonlinear dynamical boundary condition that is related to the so-called Wentzell boundary condition. First we prove the existence and uniqueness of global solutions as well as the existence of a global attractor. Then we derive a suitable ?ojasiewicz-Simon type inequality to show the convergence of global solutions to single steady states as time tends to infinity under the assumption that the nonlinear terms f,g are real analytic. Moreover, we provide an estimate for the convergence rate.     

Long-time behavior for a nonlinear plate equation with thermal memory

We consider a nonlinear plate equation with thermal memory effects due to non-Fourier heat flux laws. First we prove the existence and uniqueness of global solutions as well as the existence of a global attractor. Then we use a suitable ?ojasiewicz-Simon type inequality to show the convergence of global solutions to single steady states as time goes to infinity under the assumption that the nonlinear term f is real analytic. Moreover, we provide an estimate on the convergence rate.     

Disguised toric dynamical systems

We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reaction networks have an empty toric locus or a toric locus of Lebesgue measure zero in parameter space, while their disguised toric locus is of positive measure. We also propose some algorithms one can use to detect the disguised toric locus.     

Steady states in a structured epidemic model with Wentzell boundary condition

We introduce a non-linear structured population model with diffusion in the state space. Individuals are structured with respect to a continuous variable which represents a pathogen load. The class of uninfected individuals constitutes a special compartment that carries mass; hence the model is equipped with generalized Wentzell (or dynamic) boundary conditions. Our model is intended to describe the spread of infection of a vertically transmitted disease, for e.g., Wolbachia in a mosquito population. Therefore, the (infinite dimensional) non-linearity arises in the recruitment term. First, we establish global existence of solutions and the principle of linearised stability for our model. Then, in our main result, we formulate simple conditions which guarantee the existence of non-trivial steady states of the model. Our method utilises an operator theoretic framework combined with a fixed-point approach. Finally in the last section, we establish a sufficient condition for the local asymptotic stability of the positive steady state.     

Non-constant positive steady states of the Sel'kov model

This paper deals with the reaction-diffusion system known as the Sel'kov model with the homogeneous Neumann boundary condition. This model has been applied to various problems in chemistry and biology. We first give a priori estimates (positive upper and lower bounds) of positive steady states, and then study the non-existence, bifurcation and global existence of non-constant positive steady states as the parameters λ and θ are varied.     

Enlargements of positive sets

In this paper we introduce the notion of enlargement of a positive set in SSD spaces. To a maximally positive set A we associate a family of enlargements E(A) and characterize the smallest and biggest element in this family with respect to the inclusion relation. We also emphasize the existence of a bijection between the subfamily of closed enlargements of E(A) and the family of so-called representative functions of A. We show that the extremal elements of the latter family are two functions recently introduced and studied by Stephen Simons. In this way we extend to SSD spaces some former results given for monotone and maximally monotone sets in Banach spaces.     

Qualitative analysis of steady states to the Sel'kov model

In this work, we are concerned with a reaction-diffusion system well known as the Sel'kov model, which has been used for the study of morphogenesis, population dynamics and autocatalytic oxidation reactions. We derive some further analytic results for the steady states to this model. In particular, we show that no nonconstant positive steady state exists if 0<p?1 and θ is large, which provides a sharp contrast to the case of p>1 and large θ, where nonconstant positive steady states can occur. Thus, these conclusions indicate that the parameter p plays a crucial role in leading to spatially nonhomogeneous distribution of the two reactants. The a priori estimates are fundamental to our mathematical approaches.     

Global indeterminacy of the equilibrium in the Chamley model of endogenous growth in the vicinity of a Bogdanov–Takens bifurcation

This paper studies the dynamics implied by the Chamley (1993) model, a variant of the two-sector model with an implicit characterization of the learning function. We first show that under some “regularity” conditions regarding the learning function, the model has (a) one steady state, (b) no steady states or (c) two steady states (one saddle and one non-saddle). Moreover, via the Bogdanov–Takens theorem, we prove that for critical regions of the parameters space, the dynamics undergoes a particular global phenomenon, namely the homoclinic bifurcation. Because these findings imply the existence of a continuum of equilibrium trajectories, all departing from the same initial value of the predetermined variable, the model exhibits global indeterminacy.     

Turing patterns of a strongly coupled predator-prey system with diffusion effects

The main purpose of this work is to investigate the effects of cross-diffusion in a strongly coupled predator-prey system. By a linear stability analysis we find the conditions which allow a homogeneous steady state (stable for the kinetics) to become unstable through a Turing mechanism. In particular, it is shown that Turing instability of the reaction-diffusion system can disappear due to the presence of the cross-diffusion, which implies that the cross-diffusion induced stability can be regarded as the cross-stability of the corresponding reaction-diffusion system. Furthermore, we consider the existence and non-existence results concerning non-constant positive steady states (patterns) of the system. We demonstrate that cross-diffusion can create non-constant positive steady-state solutions. These results exhibit interesting and very different roles of the cross-diffusion in the formation and the disappearance of the Turing instability.     

A new characterization of matrices with the consecutive ones property

We consider the following constraint satisfaction problem: Given a set F of subsets of a finite set S of cardinality n, and an assignment of intervals of the discrete set {1,…,n} to each of the subsets, does there exist a bijection f:S→{1,…,n} such that for each element of F, its image under f is same as the interval assigned to it. An interval assignment to a given set of subsets is called feasible if there exists such a bijection. In this paper, we characterize feasible interval assignments to a given set of subsets. We then use this result to characterize matrices with the Consecutive Ones Property (COP), and to characterize matrices for which there is a permutation of the rows such that the columns are all sorted in ascending order. We also present a characterization of set systems which have a feasible interval assignment.     

Loops and branches of coexistence states in a Lotka-Volterra competition model

A two-species Lotka-Volterra competition-diffusion model with spatially inhomogeneous reaction terms is investigated. The two species are assumed to be identical except for their interspecific competition coefficients. Viewing their common diffusion rate μ as a parameter, we describe the bifurcation diagram of the steady states, including stability, in terms of two real functions of μ. We also show that the bifurcation diagram can be rather complicated. Namely, given any two positive integers l and b, the interspecific competition coefficients can be chosen such that there exist at least l bifurcating branches of positive stable steady states which connect two semi-trivial steady states of the same type (they vanish at the same component), and at least b other bifurcating branches of positive stable steady states that connect semi-trivial steady states of different types.     

Inviscid and viscous stationary waves of gas flow through contracting-expanding nozzles

In this work we study steady states of one-dimensional viscous isentropic compressible flows through a contracting-expanding nozzle. Treating the viscosity coefficient as a singular parameter, the steady-state problem can be viewed as a singularly perturbed system. For a contracting-expanding nozzle, a complete classification of steady states is given and the existence of viscous profiles is established via the geometric singular perturbation theory. Particularly interesting is the existence of a maximal sub-to-super transonic wave and its role in the formation of other complicated transonic waves consisting of a sub-to-super portion.     

Expectation-Stock Dynamics in Multi-Agent Fisheries

In this paper we consider a game-theoretic dynamic model describing the exploitation of a renewable resource. Our model is based on a Cournot oligopoly game where n profit-maximizing players harvest fish and sell their catch on m markets. We assume that the players do not know the law governing the reproduction of the resource. Instead they use an adaptive updating scheme to forecast the future fish stock. We analyze the resulting dynamical system which describes how the fish population and the forecasts (expectations) of the players evolve over time. We provide results on the existence and local stability of steady states. We consider the set of initial conditions which give non-negative trajectories converging to an equilibrium and illustrate how this set can be characterized. We show how such sets may change as some structural parameters of our model are varied and how these changes can be explained. This paper extends existing results in the literature by showing that they also hold in our two-dimensional framework. Moreover, by using analytical and numerical methods, we provide some new results on global dynamics which show that such sets of initial conditions can have complicated topological structures, a situation which may be particularly troublesome for policymakers.     

Mathematical analysis and stability of a chemotaxis model with logistic term

In this paper we study a non‐linear system of differential equations arising in chemotaxis. The system consists of a PDE that describes the evolution of a population and an ODE which models the concentration of a chemical substance. We study the number of steady states under suitable assumptions, the existence of one global solution to the evolution problem in terms of weak solutions and the stability of the steady states. Copyright © 2004 John Wiley & Sons, Ltd.