Optimal location of resources and Steiner symmetry in a population dynamics model in heterogeneous environments

Abstract

The subject of this paper is inspired by Cantrell and Cosner (1989) and Cosner, Cuccu and Porru (2013). Cantrell and Cosner (1989) investigate the dynamics of a population in heterogeneous environments by means of diffusive logistic equations. An important part of their study consists in finding sufficient conditions which guarantee the survival of the species. Mathematically, this task leads to the weighted eigenvalue problem \(-\Delta u =\lambda m u \) in a bounded smooth domain \(\Omega\subset \mathbb{R}^N\), \(N\geq 1\), under homogeneous Dirichlet boundary conditions, where \(\lambda \in \mathbb{R}\) and \(m\in L^\infty(\Omega)\). The domain \(\Omega\) represents the environment and \(m(x)\), called the local growth rate, says where the favourable and unfavourable habitats are located. Then, Cantrell and Cosner (1989) consider a class of weights \(m(x)\) corresponding to environments where the total sizes of favourable and unfavourable habitats are fixed, but their spatial arrangement is allowed to change; they determine the best choice among them for the population to survive. In our work we consider a sort of refinement of the result above. We write the weight \(m(x)\) as sum of two (or more) terms, i.e. \(m(x)=f_1(x)+f_2(x)\), where \(f_1(x)\) and \(f_2(x)\) represent the spatial densities of the two resources which contribute to form the local growth rate \(m(x)\). Then, we fix the total size of each resource allowing its spatial location to vary. As our first main result, we show that there exists an optimal choice of \(f_1(x)\) and \(f_2(x)\) and find the form of the optimizers. Our proof relies on some results in Cosner, Cuccu and Porru (2013) and on a new property (to our knowledge) about the classes of rearrangements of functions. Moreover, we show that if \(\Omega\) is Steiner symmetric, then the best arrangement of the resources inherits the same kind of symmetry. (Actually, this is proved in the more general context of the classes of rearrangements of measurable functions.