Mathematics

In this paper we continue the stability analysis of the model for coinfection with density dependent susceptible population introduced in the 1st part of the paper. We look for coexistence equilibrium points, their stability and dependence on the carrying capacity K . Two sets of parameter value are determined, each giving rise to different scenarios for the equilibrium branch parametrized by K . In both scenarios the branch includes coexistence points implying that both coinfection and single infection of both diseases can exist together in a stable state. There are no simple explicit expression for these equilibrium points and we will require a more delicate analysis of these points with a new bifurcation technique adapted to such epidemic related problems. The first scenario is described by the branch of stable equilibrium points which includes a section of coexistence points starting at a bifurcation equilibrium point with zero second single infections and finishing at another bifurcation point with zero first single infections. In the second scenario the branch also includes a section of coexistence equilibrium points with the same type of starting point but the branch stays inside the positive cone after this. The coexistence equilibrium points are stable at the start of the section. It stays stable as long as the product of K and the rate γ ¯ of coinfection resulting from two single infections is small but, after this it can reach a Hopf bifurcation and periodic orbits will appear.

We prove effective equidistribution of horospherical flows in SO(n,1 ) ∘ /Γ when Γ is either convex cocompact, or is geometrically finite with H n /Γ having all cusps of maximal rank, and the frame flow is exponentially mixing for the Bowen-Margulis-Sullivan measure. We also discuss settings in which such an exponential mixing result is known to hold.

Suppose one wants to monitor a domain with sensors each sensing small ball-shaped regions, but the domain is hazardous enough that one cannot control the placement of the sensors. A prohibitively large number of randomly placed sensors would be required to obtain static coverage. Instead, one can use fewer sensors by providing only mobile coverage, a generalization of the static setup wherein every possible intruder is detected by the moving sensors in a bounded amount of time. Here, we use topology in order to implement algorithms certifying mobile coverage that use only local data to solve the global problem. Our algorithms do not require knowledge of the sensors' locations. We experimentally study the statistics of mobile coverage in two dynamical scenarios. We allow the sensors to move independently (billiard dynamics and Brownian motion), or to locally coordinate their dynamics (collective animal motion models). Our detailed simulations show, for example, that collective motion enhances performance: The expected time until the mobile sensor network achieves mobile coverage is lower for the D'Orsogna collective motion model than for the billiard motion model. Further, we show that even when the probability of static coverage is low, all possible evaders can nevertheless be detected relatively quickly by mobile sensors.

We consider a physical Ehrenfests' Wind-Tree model where a moving particle is a hard ball rather than (mathematical) point particle. We demonstrate that a physical periodic Wind-Tree model is dynamically richer than a physical or mathematical periodic Lorentz gas. Namely, the physical Wind-Tree model may have diffusive behavior as the Lorentz gas does, but it has more superdiffusive regimes than the Lorentz gas. The new superdiffusive regime where the diffusion coefficient D(t)~(ln t)^2 of dynamics seems to be never observed before in any model.

In a general setting of a Hamiltonian system with two degrees of freedom and assuming some properties for the undergoing potential, we study the dynamics close and tending to a singularity of the system which in models of N -body problems corresponds to total collision. We restrict to potentials that exhibit two more singularities that can be regarded as two kind of partial collisions when not all the bodies are involved. Regularizing the singularities, the total collision transforms into a 2-dimensional invariant manifold. The goal of this paper is to prove the existence of different types of ejection-collision orbits, that is, orbits that start and end at total collision. Such orbits are regarded as heteroclinic connections between two equilibrium points and are mainly characterized by the partial collisions that the trajectories find on their way. The proof of their existence is based on the transversality of 2-dimensional invariant manifolds and on the behavior of the dynamics on the total collision manifold, both of them are thoroughly described.

We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state exponentially fast. On the other hand for a heterogeneous ensemble, we provide a sufficient condition leading to the phase-locked state in which relative distances between two states converge to definite values in a large coupling strength regime. We also propose a second-order extension of the first-order one by adding an inertial effect, and study emergent behaviors using Lyapunov functionals such as an energy functional and an averaged distance functional.

Protecting endangered species has been an important issue in ecology. We derive a reaction-diffusion model for a population in a one-dimensional bounded habitat, where the population is subjected to a strong Allee effect in its natural domain but obeys a logistic growth in a protection zone. We establish the conditions for population persistence and extinction via the principal eigenvalue of an associated eigenvalue problem and investigate the dependence of this principal eigenvalue on the location (i.e., the starting point and the length) of the protection zone. The results are used to design the optimal protection zone under different boundary conditions, that is, to suggest the starting point and length of the protection zone with respect to different population growth rate in the protection zone, in order for the population to persist in a long term.

We show the equivalences of several notions of entropy, like a version of the topological entropy of the geodesic flow and the Minkowski dimension of the boundary, in metric spaces with convex geodesic bicombings satisfying a uniform packing condition. Similar estimates will be given in case of closed subsets of the boundary of Gromov-hyperbolic metric spaces with convex geodesic bicombings.

The notion of topological equivalence plays an essential role in the study of dynamical systems of flows. However, it is inherently difficult to generalize this concept to systems without well-posedness in the sense of Hadamard. In this study, we formulate a notion of "topological equivalence" between such systems based on the axiomatic theory of topological dynamics proposed by Yorke, and discuss its relation with the usual definition. During this process, we generalize Yorke's theory to the action of topological groups.

In this paper we show that dynamical and counting results characteristic of negatively-curved Riemannian geometry, or more generally CAT(-1) or rank-one CAT(0) spaces, also hold for geometrically-finite strictly convex projective structures equipped with their Hilbert metric. More specifically, such structures admit a finite Sullivan measure; with respect to this measure, the Hilbert geodesic flow is strongly mixing, and orbits and primitive closed geodesics equidistribute, allowing us to asymptotically enumerate these objects.