Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems

We study a growth maximization problem for a continuous time positive linear system with switches. This is motivated by a problem of mathematical biology (modeling growth-fragmentation processes and the PMCA protocol). We show that the growth rate is determined by the non-linear eigenvalue of a max-plus analogue of the Ruelle-Perron-Frobenius operator, or equivalently, by the ergodic constant of a Hamilton-Jacobi (HJ) partial differential equation, the solutions or subsolutions of which yield Barabanov and extremal norms, respectively. We exploit contraction properties of order preserving flows, with respect to Hilbert's projective metric, to show that the non-linear eigenvector of the operator, or the "weak KAM" solution of the HJ equation, does exist. Low dimensional examples are presented, showing that the optimal control can lead to a limit cycle.Comment: 8 page

Resonance and marginal instability of switching systems

We analyse the so-called Marginal Instability of linear switching systems, both in continuous and discrete time. This is a phenomenon of unboundedness of trajectories when the Lyapunov exponent is zero. We disprove two recent conjectures of Chitour, Mason, and Sigalotti (2012) stating that for generic systems, the resonance is sufficient for marginal instability and for polynomial growth of the trajectories. We provide a characterization of marginal instability under some mild assumptions on the sys- tem. These assumptions can be verified algorithmically and are believed to be generic. Finally, we analyze possible types of fastest asymptotic growth of trajectories. An example of a pair of matrices with sublinear growth is given

Extremal norms for positive linear inclusions

For finite-dimensional linear semigroups which leave a proper cone invariant it is shown that irreducibility with respect to the cone implies the existence of an extremal norm. In case the cone is simplicial a similar statement applies to absolute norms. The semigroups under consideration may be generated by discrete-time systems, continuous-time systems or continuous-time systems with jumps. The existence of extremal norms is used to extend results on the Lipschitz continuity of the joint spectral radius beyond the known case of semigroups that are irreducible in the representation theory interpretation of the word

Stability Criteria for SIS Epidemiological Models under Switching Policies

We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence of periodic orbits for the switched model and results for a stochastic switched model

Mather sets for sequences of matrices and applications to the study of joint spectral radii

The joint spectral radius of a compact set of d-times-d matrices is defined ?to be the maximum possible exponential growth rate of products of matrices drawn from that set. In this article we investigate the ergodic-theoretic structure of those sequences of matrices drawn from a given set whose products grow at the maximum possible rate. This leads to a notion of Mather set for matrix sequences which is analogous to the Mather set in Lagrangian dynamics. We prove a structure theorem establishing the general properties of these Mather sets and describing the extent to which they characterise matrix sequences of maximum growth. We give applications of this theorem to the study of joint spectral radii and to the stability theory of discrete linear inclusions. These results rest on some general theorems on the structure of orbits of maximum growth for subadditive observations of dynamical systems, including an extension of the semi-uniform subadditive ergodic theorem of Schreiber, Sturman and Stark, and an extension of a noted lemma of Y. Peres. These theorems are presented in the appendix