Global behavior for a diffusive predator-prey model with stage structure and nonlinear density restriction. I: The case in .
We prove Gronwall-type estimates for the distance of integral curves of smooth vector fields on a Riemannian manifold. Such estimates are of central importance for all methods of solving ODEs in a verified way, i.e., with full control of roundoff errors. Our results may therefore be seen as a prerequisite for the generalization of such methods to the setting of Riemannian manifolds.
The paper is concerned with a class of optimal blocking problems in the plane. We consider a time dependent set R(t) ⊂ ℝ2, described as the reachable set for a differential inclusion. To restrict its growth, a barrier Γ can be constructed, in real time. This is a one-dimensional rectifiable set which blocks the trajectories of the differential inclusion. In this paper we introduce a definition of “regular strategy”, based on a careful classification of blocking arcs. Moreover, we derive local and...
The paper is concerned with a class of optimal blocking problems in the plane. We consider a time dependent set R(t) ⊂ ℝ2, described as the reachable set for a differential inclusion. To restrict its growth, a barrier Γ can be constructed, in real time. This is a one-dimensional rectifiable set which blocks the trajectories of the differential inclusion. In this paper we introduce a definition of “regular strategy”, based on a careful classification...
We consider a simple model for the immune system in which virus are able to undergo mutations and are in competition with leukocytes. These mutations are related to several other concepts which have been proposed in the literature like those of shape or of virulence – a continuous notion. For a given species, the system admits a globally attractive critical point. We prove that mutations do not affect this picture for small perturbations and under strong structural assumptions. Based on numerical...
We consider a simple model for the immune system in which virus are able to undergo mutations and are in competition with leukocytes. These mutations are related to several other concepts which have been proposed in the literature like those of shape or of virulence – a continuous notion. For a given species, the system admits a globally attractive critical point. We prove that mutations do not affect this picture for small perturbations and under strong structural assumptions. Based on numerical...