Abstract
We extend twospecies models of individual aggregation or clustering to twodimensional spatial domains, allowing for more realistic movement of the populations compared with one spatial dimension. We assume that the domain is bounded and that there is no flux into or out of the domain. The motion of the species is along fitness gradients which allow the species to seek out a resource. In the case of competition, species which exploit the resource alone will disperse while avoiding one another. In the case where one of the species is a predator or generalist predator which exploits the other species, that species will tend to move toward the prey species, while the prey will tend to avoid the predator. We focus on three primary types of interspecies interactions: competition, generalist predator–prey, and predator–prey. We discuss the existence and stability of uniform steady states. While transient behaviors including clustering and colony formation occur, our stability results and numerical evidence lead us to believe that the longtime behavior of these models is dominated by spatially homogeneous steady states when the spatial domain is convex. Motivated by this, we investigate heterogeneous resources and hazards and demonstrate how the advective dispersal of species in these environments leads to asymptotic steady states that retain spatial aggregation or clustering in regions of resource abundance and away from hazards or regions or resource scarcity.
Similar content being viewed by others
1 Introduction
We are concerned with the dispersal and clustering of populations of twospecies interacting in twodimensional spatial domains. Previously, Grindrod proposed a model controlling the dispersal of individuals in single and multispecies communities (Grindrod 1988, 1991). He took the flux of individuals to depend directly upon local population densities without requiring intermediate attractants or repellents. In such models, each individual reacts directly to other individuals in its own locality and moves so as to increase its likelihood of survival. The dynamics of such models in one spatial domain were considered in Grindrod (1988). Clustering and other interesting dynamics were observed on the finite onedimensional spatial domain for short time scales. The evolution of conditional dispersal strategies in the context of competition between two species that are ecologically identical except in their dispersal mechanisms was considered in Chen et al. (2008). The spatial dependence of such dynamics was then considered in Hambrock and Lou (2009), when a spatially heterogeneous domain was considered.
The concept of fitnessdependent dispersal was discussed further in Armsworth and Roughgarden (2008), where models of clines with fitnessdependent dispersal were considered. This built on theoretical work of Grindrod (1988), as well as more recent work in the area of fitnessdependent dispersal (Abrams 2007; Abrams et al. 2007; Amarasekare 2007; Armsworth and Roughgarden 2005a, b; Hadany et al. 2004; Ruxton and Rohani 1998). It has been suggested that time spent moving along resource gradients (more generally, searching out resources) can limit mobility of species, relative to if the species were to simply disperse randomly (Rowell 2009). Rowell (2009) also suggests that this dispersion along resource gradients can also result in an increased likelihood of colony formation. For more on resource tracking, see Flaxman and Lou (2009).
Shigesada et al. (1979) introduced crossdiffusion models in order to model dispersal with movement up resource gradients or to avoid crowding. This involved the inclusion of logistic type terms under the diffusion operator, such as \(\Delta u_i (\alpha + \beta u_i + \gamma u_j)\) and so on. A discussion on the roles that diffusion, selfdiffusion, and crossdiffusion play in such models was provided in Lou and Ni (1996), and pattern formation for such models on homogeneous spatial domains was also considered. Similarly, Gambino et al. (2013) show that crossdiffusion in 2D spatial domains can lead to pattern formation. Lou and Winkler (2015) give existence and boundedness results for the Shigesada–Kawasaki–Teramoto crossdiffusion model for two competing species in the case where both species have the same diffusion coefficients and the space dimension is less than or equal to three.
Cantrell et al. (2013) discuss random dispersal versus fitnessdependent dispersal. In this and related studies, explicit fitness dependence is included in the dispersal terms (often, it is also prescribed as a modeling assumption). This is in contrast to the models of Grindrod (1988, 1991) for which the optimal direction in which the populations advect is solved for using additional equations which depend on the fecundity gradient. In this way, one can view the Grindrod model as spatially nonlocal in the reaction equations (one must solve for the advection direction in terms of the fecundity, which depends on the unknown population densities), while in standard fitnessdependent dispersal this additional spatial requirement is not present.
As the random dispersal rate approaches zero in these kinds of models, the equilibrium distribution of the population matches the resource density wherever the species is present. The population in occupied sections of the habitat will have equal fitness, and there will be no net movement of individuals. Such a spatial distribution is referred to as the ‘ideal free distribution’ for the population. In contrast, fitnessdependent dispersal can lead to a partitioning based on the fitness of the various individuals. Cosner (2005) proposed a dynamic model for the ideal free distribution as a partial differential equation. The wellposedness of this model was later discussed by Cosner and Winkler (2014). Cantrell et al. (2008) discuss the approximation of the ideal free distribution via reaction–diffusion–advection equations. Lou et al. (2014) consider twospecies competing models with fitnessdependent dispersal in the ideal free distribution framework. Li (2015) consider twospecies competition models with fitnessdependent dispersal on nonconvex bounded domains under the ideal free distribution.
Nasreddine (2012) investigated the local existence and uniqueness of the one species version of the Grindrod (1988) model. Their results were extended to global existence results for twodimensional spatial domains in Nasreddine (2014). We are aware of no corresponding results for multiple species models of the form discussed in Grindrod (1988, 1991).
In the present paper, we extend models of individual aggregation or clustering in onedimensional domains (Grindrod 1988, 1991) to twodimensional convex spatial domains, in order to study the possible dynamics. This allows for the two populations to move in more realistic ways than would be possible if only one spatial dimension were considered. For instance, the prey in predator–prey dynamics in a onedimensional domain cannot escape from a predator in a finite interval, while in two spatial dimensions, the prey can attempt to evade the predator.
The remainder of the paper is organized as follows. In Sect 2, we formulate the twospecies model in two spatial dimensions. We assume that the domain is finite and that there is no population flux into or out of the domain. The motion of the species is along fitness gradients which allow the species to seek out a resource. In the case of competition, species which exploit the resource alone will disperse while avoiding one another. In the case where one of the species is a predator which exploits the other species, that species will tend to move toward the prey species, while the prey will tend to avoid the predator. In Sect. 3, we consider the existence and stability of uniform steady states for spatially homogeneous resources, showing that the longtime dynamics are due primarily to the reaction kinetics. We also provide numerical evidence that these spatially homogeneous states appear to be generic behaviors of the model. We also demonstrate that on nonconvex domains either homogeneous or heterogeneous steady states may be stable (depending on the form of the domain). In Sect. 4, we investigate the effects of heterogeneous resources, as well as the introduction of spatial hazards in the model. We see that the individual preferences of each species strongly dictate the dynamics, as does the heterogeneity of the domain. Discussions and concluding remarks are given in Sect. 5.
2 TwoSpecies Model on a TwoDimensional Spatial Domain
The dimensional form of Grindrod’s twospecies competition model (Grindrod 1988, 1991) with generalized kinetics is
Here \(\hat{u}_{i}(\mathbf {x},t)\) denotes the population density of species i at \(\mathbf {x} \in \mathbb {R}^2\), \(t>0\), \(\hat{\mathbf {w}}_i\) is the average velocity of those individuals of population i dispersing, and \(\hat{E}_i\) is the projected net rate of reproduction (fecundity) with \(\hat{\delta }_{i} \in (0,1)\), \(\hat{r}_i, \mu _i, \hat{\varepsilon }_{i} \ge 0\).
We make the model nondimensional in such a way that the advection coefficients, \(\mu _i\), are unity. Dropping the hats to obtain nondimensional variables, we can then write Eq. (1) as
where \(u_{i} \ge 0\), \(\varepsilon _{i} \ge 0\), \(r_i \ge 0\) and \(\delta _i \in (0,1)\). Note that \(r_{1}\) and \(r_{2}\) can be considered as the efficiency of using fecundity or the efficiency of using the information about the abundance of a resource, or the existence of a hazard. Note that \(\varepsilon _{i}\Delta \mathbf {w}_{i}\) is the effective local average for smoothing which gives some notion of imprecise knowledge of fitness gradients and helps regularize the advective dynamics. Equations (5) and (6) are the most general formulation, and the \(\mathbf {w}_i\) may not be irrotational in general for \(\varepsilon > 0\).
In order to simplify the solution procedure, we define \(\phi _i\) so that \(\mathbf {w}_{i}=\nabla \phi _{i}\), where \(\phi _i\) is a velocity potential of \(\mathbf {w}_i\). We are forcing \(\mathbf {w}_i\) to be the gradient of a potential, \(\phi _i\), and we are ruling out the existence of any nontrivial rotational part. While this will invariably rule out some dynamics, this simplification of the model will be sufficient in order to observe the types of behaviors we are interested in studying. We obtain
We also rewrite Eq. (5) by using the \(\phi _i\), obtaining
Solutions of (7) and (8) reflect solutions of (5) and (6) under the additional assumption of \(\mathbf {w}_i\) being irrotational.
The results of Theorem 2.6 of Nasreddine (2012) imply convergence of solutions uniformly in t for \(\varepsilon \rightarrow 0\) of the one species model in one dimension with spatially homogeneous logistic kinetics. Assuming that the wellposedness results from (Nasreddine 2014) can be extended to the twospecies case given by Eq. (1), along with some technicalities about the compactness of solutions, we expect this simplification to be asymptotically justified for \(\varepsilon \ll 1\), since \(\varepsilon =0\) implies \(\phi _i = E_i\) and hence \(\mathbf {w}_i = \nabla E_i\).
In twodimensions, the prey can move around the domain in order to evade the predator, while in one dimension the prey cannot ‘pass through’ the predator and hence will be caught. Microscale effects are smoothed over in the PDE formulation as it describes population distributions. However, possible directions of movement are not simply along parallel lines (which would be equivalent to the onedimensional case). While rotational motion due to movement toward a resource is neglected for this study, the dynamics do allow for dispersion and advection. These need not be in a uniform direction. For instance, two distinct groups of prey in different regions may move in different directions to evade predators (so, the direction of movement is not along parallel lines). We also observe colony formation and dispersion of groups as seen in the onedimensional model (Grindrod 1988). Hence, a wide variety of dynamics are observed even without pure rotation within the advection part of the equation. Note that the Laplacians in Eq. (8) still permit rotational motion as part of the dispersion process (as those Laplacians are permitted to have a nontrivial rotational part), this is just separate from the motion toward a resource or toward/away from another population.
We extend the onedimensional spatially homogeneous setting in Grindrod (1988, 1991) by setting \(E_{1}\) and \(E_{2}\) as
The fecundity terms \(E_i\) depend on the following parameters. The nonnegative parameters \(A_{1}\) and \(A_{2}\) express how the populations \(u_1\) and \(u_2\) exploit a spatially distributed resource. If \(A_i\) is large, the populations have a greater chance to survive. The parameters \(a_{1}\) and \(b_{2}\) are intraspecies interaction terms. These parameters are positive, to signify that members of the same species will tend to spread out in order to more effectively exploit a common resource. The parameters \(a_{2}\) and \(b_{1}\) are interspecies interaction terms. Positive values indicate that the species repel one another, while negative values imply cooperation or attraction between species. In the case of competition dynamics, the two populations should repel one another, in order to model competition for a common resource. On the other hand, when one parameter is positive and one is negative, the species for which the parameter is negative can be viewed as a predator which is attracted to the other species, and that other species acts as the prey (and is repelled by the predator). Finally the positive parameters \(d_i\) represent hazards or dangerous regions where the populations locally die if \(d_i(\mathbf {x}) \ge A_i(\mathbf {x})\). We incorporate these hazard effects into the fecundity terms to represent hostile regions that the species’ can actively avoid via advective dispersal. One could compare these effects with hazard functions introduced into the equations for \(u_i\), but not in \(E_i\) and hence not in the equations for \(\phi _i\). These would represent ‘invisible’ hostile regions, but for brevity we do not consider this here.
We set the initial condition as
where \(U_{1}(\mathbf {x}) \ge 0\) and \(U_{2}(\mathbf {x})\ge 0\) denote the initial population distributions. We consider Neumann boundary conditions so that there can be no flux of the populations either into or out of the domain \(\Omega \). Let \(\mathbf {n}\) be the outer normal to the domain at \(\mathbf {x} \in \partial \Omega \). We have the Neumann conditions
for \(\mathbf {x} \in \partial \Omega \), \(t\ge 0\). From these conditions, note that we have that
which is exactly the expected noflux condition. Therefore, for this system, Neumann conditions on each of the four partial differential equations imply noflux conditions hold on the two reaction–diffusion–advection equations. When solving the system numerically, we shall always implement the Neumann conditions (11).
3 Spatially Homogeneous Domains
We now demonstrate the existence and sketch some results about the stability of uniform steady states for the problem (5) when the fecundity terms \(E_i\) do not depend on \(\mathbf {x}\). In this setting, we also neglect hazards and so set \(d_i=0\), as any constant \(d_i\) can just be added to the resource constants \(A_i\). Grindrod (1988) had previously derived a stability criteria for dynamics of twospecies in one spatial dimension. Throughout this section, we shall always assume \(A_1, a_1, b_1, b_2 >0\), while \(A_2 \ge 0\) and \(a_2 \in \mathbb {R}\). Population \(u_1\) will avoid \(u_2\) (\(b_1>0\)) and will disperse from members of its own species (\(a_1>0\)), while utilizing a resource measured by \(A_1>0\). Population \(u_2\) will disperse from members of its own species (\(b_2>0\)). However, we have three possibilities for the other parameters. If we have competition dynamics, where both species must share a common resource, we have \(A_2>0\) and \(a_2>0\). If we have predator–prey dynamics, where population \(u_2\) serves as the predator and is attracted to \(u_1\) (the prey in this scenario), then we must have \(A_2=0\) and \(a_2 <0\). In the case where \(u_2\) is a generalist predator which preys on \(u_1\) yet also makes use of a shared resource, we have \(A_2 >0\) and \(a_2<0\). In this case, type of interaction is often referred to as intraguild predation, and it is often modeled by having three equations for the intraguild predator, intraguild prey, and resource (Ryan and Cantrell 2015). We note that our assumptions on \(b_2\) and \(A_2\) imply that our analysis does not extend to the classical Lotka–Volterra model (Volterra 1931) which has the form \(A_2 < 0\) and \(b_2=0\), but the results in this case are broadly similar, although typically less stable.
3.1 Feasibility of Uniform Steady States
Under the assumption of uniform steady states, the model equations reduce to
We obtain four possible uniform steady states from (13). These are
for \(a_{1} b_{2} \ne a_{2}b_{1} \). The uniform steady state (14) corresponds to mutual extinction of the populations. The steady states (15) and (16) correspond to extinction of populations \(u_1\) and \(u_2\), respectively. Finally, the steady state (17) corresponds to the case where both populations are able to survive. The values the steady state populations take will depend on the resource availability (e.g., land fertility) divided by intraspecies competition minus interspecies species interaction, which considers the preference toward the other species.
The steady states (14) and (16) always exist. The steady state (15) exists only if \(A_2 >0\) [otherwise, it reduces to the steady state (14) when \(A_2=0\)]. The existence of the steady state (17) is more complicated and is outlined in Theorem 1.
Theorem 1
For each of the three types of dynamics, a positive uniform steady state solution (17) exists when

(i)
competition dynamics (\(a_{2}>0\) and \(A_{2}>0\)): either
$$\begin{aligned} \frac{b_{1}}{b_{2}}<\frac{A_{1}}{A_{2}}<\frac{a_{1}}{a_{2}} \text { or } \frac{a_{1}}{a_{2}}< \frac{A_{1}}{A_{2}} < \frac{b_{1}}{b_{2}}; \end{aligned}$$ 
(ii)
generalist predator–prey dynamics: for
$$\begin{aligned} \frac{b_{1}}{b_{2}} < \frac{A_{1}}{A_{2}}; \end{aligned}$$ 
(iii)
and always for predator–prey dynamics.
Proof
(i) For competition, assume \(a_{2}>0\), and \(A_{2}>0\). Then, from the formula for a nonzero steady state, we need \(a_{1}b_{2}a_{2}b_{1}>0\), \(A_{1}b_{2}A_{2}b_{1}>0\), \(A_{2}a_{1}A_{1}a_{2} >0\), or \(a_{1}b_{2}a_{2}b_{1}<0\), \(A_{1}b_{2}A_{2}b_{1}<0\), \(A_{2}a_{1}A_{1}a_{2} <0\). In the first case, since all parameters are positive, divide the first inequality by \(b_{2}\) and \(a_{2}\), the second by \(b_{2}\) and \(A_{2}\), and the third by \(A_{2}\) and \(a_{2}\). This gives
Then, manipulating the inequalities, we obtain
Likewise, in the second case, dividing the first inequality by \(b_{2}\) and \(a_{2}\), the second by \(b_{2}\) and \(A_{2}\), and the third by \(A_{2}\) and \(a_{2}\), we find
Manipulating these, we have
These are the only possible cases for competition.
(ii) For the generalist predator–prey dynamics, let \(A_{2}>0\) and \(a_{2}<0\). Then, \(a_{1}b_{2}a_{2}b_{1}>0\) and \(A_{2}a_{1}A_{1}a_{2} >0\) are always true. For the last condition, we need \(A_{1}b_{2}A_{2}b_{1} >0\). Since \(A_{1}, b_{1}, A_{2}, b_{2} >0\), this holds whenever \(\frac{b_{1}}{b_{2}}<\frac{A_{1}}{A_{2}}\).
(iii) For the predator–prey dynamics, \(A_{2}=0\) and \(a_{2}<0\). Then, the conditions \(a_{1}b_{2}a_{2}b_{1}=a_{1}b_{2}+a_{2}b_{1}>0\), \(A_{1}b_{2}A_{2}b_{1}= A_{1}b_{2} >0\), and \(A_{2}a_{1}A_{1}a_{2} = 0A_{1}a_{2}=A_{1}a_{2}>0\) all hold, since \(A_{1}, b_{1}, A_{2}, b_{2} >0\). Hence, \(A_{2}=0\) and \(a_{2}<0\) imply the existence of a positive predator–prey constant steady state. \(\square \)
3.2 Linear Stability of Uniform Steady States
We now assume a uniform steady state plus a small perturbation,
for small perturbation parameter \(\omega \ll 1\), where \(u_{1}^{*}\), \(u_{2}^{*}\), \(\varphi _{1}^{*}\), and \(\varphi _{2}^{*}\) are constants (corresponding to uniform steady states) satisfying (13). We plug these into the model equations, to obtain, at \(O(\omega )\), the equations
As the equations at \(O(\omega )\) are linear, linear stability of the steady states (14)–(17) can be determined by assuming the following form of the perturbations,
where \(\mathbf {k}\) is the wavevector of the perturbation and \(\eta \) is the linear growth factor; see Murray (2003). Substituting this expression into Eq. (19) we have a system of four algebraic equations. Requiring nontrivial solutions, corresponding to nontrivial Fourier expansions of the perturbations, we can set the determinant of this system to zero in order to find a dispersion relation \(\eta = \eta (k^2)\) where \(k = \mathbf {k}\) is the wavenumber. Linear stability corresponds to \(\text {Re}(\eta (k^2)) < 0\) for all \(k \ge 0\), although the permitted wavenumbers k will depend on the spectrum of the Laplacian, and hence on the domain in question.
We shall now classify the linear stability of each of the spatially uniform (homogeneous) steady states (14)–(17) on bounded domains \(\Omega \in \mathbb {R}^2\) in Theorems 2–5. We do not consider the case of heterogeneous steady states, which might be stable on nonconvex domains. Indeed, for nonconvex domains, related reaction–diffusion systems have been shown to admit stable heterogeneous steady states (Lou and Ni 1996; Matano and Mimura 1983).
Recall that on bounded convex \(\Omega \subset \mathbb {R}\), the minimal eigenvalue of the Laplacian with Neumann boundary conditions is zero, meaning that the minimal wavenumber is \(k=0\). Let us introduce the notation \(K_{\Omega }\) to denote the spectrum of wavenumbers for a given bounded domain \(\Omega \). As we are free to pick the \(\varepsilon _i\)’s, we shall assume that \(\varepsilon _{i} \ne k^{2}\) for any \(k\in K_{\Omega }\), otherwise this results in degeneracy. As this is a measure zero case due to \(K_{\Omega }\) being discrete, we can typically ignore it. In the case where \(\varepsilon _1 = \varepsilon _2 = k^2\) for some \(k\in K_{\Omega }\), the only perturbation is the zero perturbation. For \(\varepsilon _1 \ne \varepsilon _2\) and \(k^2 = \varepsilon _i\) for one \(i=1,2\), we obtain a degeneracy resulting in a nonzero perturbation.
Theorem 2
The extinction steady state (14) is always unstable over any bounded domain \(\Omega \).
Proof
Consider an arbitrary perturbation of the form
where \(\eta \in \mathbb {C}\), \(\mathbf {k}\in \mathbb {R}^2\), and \((\hat{u}_{10},\hat{u}_{20},\hat{\varphi }_{10},\hat{\varphi }_{20})^T\) is a constant vector. The perturbation (21) satisfies the system (19) if and only if
This condition is equivalent to either of the two conditions
or
This means that there exist two nontrivial perturbation vectors. When condition (23) is satisfied, the perturbation is in the direction \((\hat{u}_{10},0,\hat{\varphi }_{10},\hat{\varphi }_{20})^T\); when condition (24) is satisfied, the perturbation is in the direction \((0,\hat{u}_{20},\hat{\varphi }_{10},\hat{\varphi }_{20})^T\). Now, the perturbation is linearly stable if \(\text {Re}(\eta ) <0\), and this implies that each of conditions (23), (24) should be set to less than zero if we want linear stability of all perturbations to the zero steady state. This gives
Since the rational functions of k are monotone increasing, the wavenumber \(k=0\) corresponding to the minimal Neumann eigenvalue minimizes these rational function. Therefore, \(A_1<0\) and \(A_2<0\). Yet, \(A_1>0\) by assumption, so linear stability is not possible. This establishes the result. \(\square \)
Theorem 3
The asymmetric steady state (15) is linearly stable (when feasible) provided that
Proof
Consider an arbitrary perturbation of the form (21). The perturbation (21) satisfies the system (19) if and only if
This condition is equivalent to either of the two conditions
or
Condition (27) implies that \(\eta <0\) if and only if
since the righthand side of the inequality in (29) is increasing in k, and therefore \(k=0\) is the minimizing wavenumber.
As \(A_2>0\) (by feasibility), condition (28) always gives \(\eta <0\). Therefore, the result follows. \(\square \)
Theorem 4
The asymmetric steady state (16) is linearly stable (when feasible) provided that
Proof
Consider an arbitrary perturbation of the form (21). The perturbation (21) satisfies the system (19) if and only if
This condition is equivalent to either of the two conditions
or
Condition (31) implies that \(\eta <0\) if and only if
which gives the first inequality.
\(A_1 >0\) by assumption, condition (32) always gives \(\eta <0\). Therefore, the result follows. \(\square \)
Theorem 5
The positive steady state (17) is linearly stable (when feasible) provided that \(a_1b_2  a_2b_1 >0\).
Proof
Consider an arbitrary perturbation of the form (21). The perturbation (21) satisfies the system (19) if and only if
For simplicity of notation, we use \(u_i^*\) for both positive steady states, rather than their explicit expression in terms of model parameters.
The determinant gives a quadratic polynomial in \(\eta \). In the case where \(k \ne \varepsilon _{i}^{1/2}\) for either \(i=1,2\), we may scale the polynomial so that it is monic, obtaining
where \(\xi _1(k)\) and \(\xi _0(k)\) are defined as
and
In order to deduce the sign of the roots of (35), the condition for \(\text {Re}(\eta ) <0\) is that both \(\xi _1 >0\) and \(\xi _0 >0\). Note that \(\xi _1(0)>0\) and \(\xi _1(k)\) is increasing in k; hence, it is always positive, so we must ensure that \(\xi _0(k)\) is positive.
We see immediately that, at the minimal wave number \(k=0\), \(\xi _0(0) = (a_1b_2a_2b_1)u_1^*u_2^*\). Therefore, when \(a_1b_2a_2b_1 <0\), we have \(\xi _0(0)<0\). This means that (35) has a real positive root \(\eta >0\); hence, the steady state is unstable. On the other hand, when \(a_1b_2a_2b_1 >0\), we have that both roots \(\eta _{1,2} <0\), hence linear stability of the positive steady state. (Recall that the case \(a_1b_2a_2b_1 =0\) is ruled out by Theorem 1) This establishes the result. \(\square \)
For sake of comparison, we provide the following result for the nonspatial model including only the reaction kinetics.
Theorem 6
Consider the dynamical system
with reaction kinetics identical to those of (5). The system has four steady states, equal to the first two components of the steady states given in (14)–(17). The feasibility of each steady state is the same as given in Theorem 1, while the linear stability of each steady state is as follows.

The steady state \(\left( u_1^*,u_2^*\right) =(0,0)\) is always unstable.

The steady state \(\left( u_1^*,u_2^*\right) =\left( 0,\frac{A_2}{b_2} \right) \) is linearly stable provided \(A_1 < \frac{b_1}{b_2}A_2\) and \(A_2 >0\).

The steady state \(\left( u_1^*,u_2^*\right) =\left( \frac{A_1}{a_1},0 \right) \) is linearly stable provided \(A_2 < \frac{a_2}{a_1}A_1\).

The steady state \(\left( u_1^*,u_2^*\right) =\left( \frac{A_{1}b_{2}A_{2}b_{1}}{a_{1}b_{2}a_{2}b_{1}},\frac{A_{2}a_{1}A_{1}a_{2}}{a_{1}b_{2}a_{2}b_{1}} \right) \) is linearly stable provided \(a_1b_2  a_2b_1 >0\).
Proof
The Jacobian for the system (38) evaluated at a steady state is given by
Using this Jacobian matrix, the proof of the four results is standard. \(\square \)
A comparison between Theorems 6 and 2–5 shows that advectiondiffusion does not stabilize or destabilize any steady state over arbitrary perturbations, suggesting that the longtime dynamics are controlled by the reaction kinetics, with advection and diffusion controlling transient dynamics.
Note that these stability results are valid not just for twodimensional bounded domains, but for one or threedimensional bounded domains, as well, as the change in spatial dimension will simply modify the elements of the spectrum \(K_{\Omega }\). With zero flux conditions, the smallest eigenvalue of the Laplacian is zero; hence, the zero wavenumber will still control the stability or instability of the steady states, in general. Note also that the stability results we obtain are distinct from those of the onedimensional twospecies model in Grindrod (1988), as those results corresponded to the \(r_1,r_2\rightarrow 0\) limit, hence the present results are more general.
We should also remark that the stability results of Grindrod (1988) were given in terms of fixed wavenumbers, rather than for general perturbations. A general perturbation will involve a superposition of modes over all of \(K_{\Omega }\), rather than a fixed mode corresponding to a single wavenumber in \(K_{\Omega }\). However, one can imagine situations where knowledge of the stability or instability of a uniform steady state under a very specific form of perturbation is useful. If we restrict to wave numbers above a threshold \(k \ge \overline{k} >0\), then the asymmetric steady states will maintain the stability criteria given in Theorems 3 and 4, as the stability eigenvalues will not change sign for any nonnegative wavenumber. However, when \(\delta _1 > r_1 A_1\) and \(\delta _2 > r_2 A_2\), the zero steady state can become stable for large enough wavenumber threshold \(\overline{k}\). Similarly, for large enough wavenumber threshold \(\overline{k}\), the function \(\xi _0(k)\) in the proof of Theorem 5 will become positive, no matter the sign of \(a_1b_2  a_2b_1\), for any \(\delta _1,\delta _2 >0\). Therefore, if the perturbation contains only large wavenumbers, the spatial terms can actually stabilize the uniform positive steady states when the reaction kinetics might suggest instability.
It is presently unknown whether nonuniform steady states are necessarily unstable, although this can be shown for certain similar models in convex domains. For instance in the case without advection, Kishimoto and Weinberger (1985) show that for general competition kinetics, all nonuniform steady states are unstable on convex domains. Numerically we observe convergence only to one of the four uniform steady states (14)–(17) for all choices of kinetic parameters and initial conditions, as well as varying diffusion parameters for each species \(\delta _i\). For this reason, we conjecture that stable nonuniform steady states do not exist for this model for spatially homogeneous fecundity parameters when the domain is convex. We also considered simulations for convex domains with holes, and for such nonconvex domains we still observed convergence to one of the uniform steady states. Still, there may exist nonconvex domains for which there are stable heterogeneous steady states, as shown for other models (Lou and Ni 1996; Matano and Mimura 1983).
3.3 Numerical Solution Approach
Having studied the uniform steady states of the problem (5) with spatially homogeneous fecundity, we now turn our attention to transient behavior in this case, before moving on to more interesting spatially inhomogeneous resources and hazards in Sect. 4. In the numerical experiments, we take the domain to be the unit square, \(\Omega =[0,1]^2\). We discretise in space using centered finite differences and apply a fourthorder Runge–Kutta scheme for the twospecies model, using the Matlab function ‘ode45.’ The temporal domain can be normalized to the interval [0, 1] by selecting the maximal simulation time, \(T^*\), in terms of the reaction timescale \(r=r_1=r_2\) assuming all other reaction parameters are order O(1) (that is \(T^* = T^*(r)\)). In this way, \(t=T^*\hat{t}\), \(\delta _i = (T^*)^{1}\hat{\delta }_i\), \(\phi _i = (T^*)^{1}\hat{\phi }_i\), \(r= (T^*)^{1}\hat{r}\). We note that \(T^*\) need not be very large. From Grindrod (1988), we see that the natural time taken to arrive at a steady state solution was of order 10, and for parameter values used here, one can see stabilization even sooner for some cases (since the eigenvalues are larger in magnitude and the convergence rate from excitations to a steady state is exponential). This approach allows us to see the transient behaviors, while the longtime behaviors are rather more tame for the homogeneous parameters (as was the case in the original work in one spatial dimension Grindrod 1988, 1991). This timescale corresponds to approximately reaching steady state for \(\hat{t}=1\), where we observe only uniformity in the homogeneous case, but spatial structure for the inhomogeneous case. As a check on our numerical scheme, and to consider nonconvex geometries, we also simulated these equations using the finite element software COMSOL. For all such simulations, more than 50, 000 triangular elements were used.
In what follows we shall drop hats on time for convenience, with the understanding that we have scaled time appropriately so that the dynamics occur for \(t\in [0,1]\). Note that the scale \(T^*\) is different for each parameter combination. Since we are primarily interested in the qualitative behavior of these systems rather than quantitative analysis, we just report plots with the maximal run time already scaled to 1, as the particular value of \(T^*\) in each case is not particularly interesting for our discussions. For numerical computations, the spatial domain is divided into \(50 \times 50\) increments. We constrained the maximum timestep to be \(10^{2}\). Unless otherwise mentioned, we set \({\delta }_{1}, {\delta }_{2}=0.1\), \(\varepsilon _{1}, \varepsilon _{2}=0.025\), \(r_1=r_2=1\), and the reaction term coefficients as \(a_1 = 1, a_2 = 3, b_1 = 2, b_2 = 1\) for competition dynamics and \(a_1 = 1, a_2 =  3, b_1 = 2, b_2 = 1\) for predator and generalist predatorprey dynamics. For predator–prey, we will always have \(A_2 = 0\) for all \((x_1,x_2)\in \Omega \) for all numerical experiments. We will denote steady states by \(u_i^*\) and by \(\overline{u}_i^*=\int _\Omega u_i^*(x_1,x_2)dx_1dx_2\) we denote the steady state averaged over the domain.
3.4 Simulations on Spatially Homogeneous Domains
We use periodic functions for the initial conditions, given by
The choice of initial conditions for the spatially homogeneous case is relatively inconsequential, and the longtime dynamics can in many cases just be predicted by the total population of each species in the domain, and the fecundity parameters.
As an example of the spatially homogeneous parameters, we show competition dynamics in Fig. 1. The populations quickly separate into two distinct regions and appear to be content in their separate parts of the domain. However, on the time scale of the diffusive dispersal, \(u_2\) begins to locally encroach on \(u_1\) which flees into a smaller region, and is eventually driven into extinction throughout the entirety of the domain \(\Omega \).
As in Grindrod (1988), small random initial populations will form clusters and aggregates, but these will eventually disperse and lead to uniform steady states, which are dominated by the interaction parameters. As an example of this, consider the competition dynamics in Fig. 2. Random initial populations were generated by taking the absolute value of a normal random variate with mean 0 and variance 0.25 for each population at each finite element. These quickly aggregate with the populations clustering away from one another. Over time, the more fit population overtakes the competing species, driving it into a corner of the domain and eventually to extinction.
We now consider domains of different shapes, and in particular patterning in nonconvex domains. Using the same kind of random initial data from Fig. 2, we consider a square hole of side length 0.5 in the center of the larger square domain of side length 1, and these results are displayed in Fig. 3. As in the case of the square domain, transient population clustering occurs, but eventually the population \(u_1\) is driven to extinction by population \(u_2\). We simulated several different realizations of initial conditions, as well as the initial conditions (40), but never observed any longtime clustering in either the square or the perforated domain.
Finally, motivated by nonuniform patterns present in nonconvex domains (Matano and Mimura 1983), we consider the same competition dynamics in a ‘dumbbell’shaped domain consisting of two squares of unit side length with a connecting rectangle between them of unit length and height 0.1. We used the following initial conditions, with \(x_1=0\) denoting the midpoint of the connecting rectangle,
We plot the steady state behavior of this simulation in Fig. 4. While the more fit population, \(u_2\), is able to occupy most of the connecting rectangle, it is unable to invade into the righthand side of the domain. We note that we only observed patterning in this domain if the population densities were initially very separated, as in (41). Other simulations with random initial conditions, or for some other values of the kinetic parameters, did not admit patterned populations as numerically stable steady states.
We ran many other numerical simulations which demonstrate interesting dynamics at small timescales, such as the colony formation and aggregation of populations noted in Grindrod (1988) and seen above. However, in convex domains or for approximately homogeneous initial conditions, these dynamics tended toward spatially homogeneous steady states at larger timescales, as our stability analysis implied. Therefore, the large time dynamics tending to homogeneous steady states seems robust on convex domains. We also ran simulations in cases with a nonconvex domain consisting of a convex domain with a central hole in the domain, and in all of the simulations we again observed convergence to homogeneous states for sufficiently large time. No spatial patterning or nonequilibrium dynamics were observed for large time. This suggests that convergence to homogeneous steady states is fairly ubiquitous for this family of models when the domain is homogeneous, at least on convex and certain nonconvex domains, and hence that the colony formation and aggregation seen at small timescales and due to a combination of diffusion and advection is indeed transient, with longtime dynamics governed by the reaction kinetics.
4 Spatially Heterogeneous Domains
Since heterogeneous steady states do not appear to be stable in convex domains, we shall next turn to numerical solutions with spatially inhomogeneous parameters in the fecundity terms in order to demonstrate asymptotic clustering and aggregation mechanisms not present in the spatially homogeneous model (5). In particular, we now consider the fecundity functions \(E_i\) to depend on space explicitly. We first consider spatially varying resources \(A_i(\mathbf {x})\) with varying levels of spatial structure. We then consider introducing spatially dependent deaths into the functions \(E_i\) to model the presence of hazards in the domain.
4.1 Single Bump Resource
Consider the following resource functions
This describes a Gaussianshaped resource with a single peak at [0.5, 0.5], symmetric about this peak in \(\Omega \). For all types of interactions, after a short transient period of motion, both populations settle onto the resource surface and interact in essentially the spatially independent ways that they do for uniform populations.
Figure 5 shows predator–prey dynamics with both species eventually settling down to a spatially heterogeneous steady state. While this steady state is not uniform, it is essentially predictable from the spatially independent kinetics \(E_i\). This state appears to be spatially determined by the resource function, but quantitatively only determined by the total amount of the resource, and the parameters defining the interspecies dynamics.
To be precise, we can compare the quantitative differences between the population averages, \(\overline{u}_1^*\) and \(\overline{u}_2^*\), and the spatially homogeneous steady states where we average the resource functions \(A_i(x_1,x_2)\) over the domain and substitute this value into Eq. 17. The steady states obtained via numerical simulation for the Gaussian resource, averaged over the domain, are in each case within \(1\%\) of the values predicted for the homogeneous steady states. This was compared for several initial data and diffusion parameters \(\delta _i\), and the deviations were always very small. We conjecture that this is due to the fact that the resource function is symmetric in \(\Omega \) and the magnitude of \(A_1\) varies only gently across the domain.
4.2 MultipleBump Resource Surface
Consider the following resource distributions
This describes the more spatially structured domain depicted in Figs. 6, 7 and 8. For the case of competition or generalist predator dynamics, we have varied the phase of the resource such that different parts of the domain are nutritionally dense for each species. For predator–prey dynamics, we observe the same behavior as in the previous discussion of a single bump resource: both populations accumulate where the resources are dense and are sparse elsewhere. For competition dynamics, however, we observe more spatially structured interactions between the species.
Figure 6 shows competition dynamics. \(u_2\) initially expands into the domain, setting up a colony around the central resourcerich “bump” in \(A_2(x,y)\). For later times, this colony is abandoned, as \(u_1\) expands across the domain, driving the other species away. This suggests a spatial effect competition has on the dynamics, mediated by the dispersal in this heterogeneous environment. Note that eventually, in the steady state, both populations choose not to occupy certain resourcerich regions close to the other, competing species. There is now a noticeable effect of the initial condition that persists at steady state, and we anticipate many more possible steady states depending on the choice of initial population distributions.
To understand the competition effect in terms of the interaction parameters between the species, we now modify the reaction term coefficients, so as to reduce the competitive interaction. Let \(a_1 =1, a_2 = 0.01, b_1 = 0.01, b_2 = 1\). Figure 7 shows the competition dynamics for this choice of parameters. Drastically reducing the competition coefficient did indeed allow both species to occupy all foodrich regions of \(\Omega \) and again reduces the spatial structure of the populations to following the resource distributions closely.
We can also see what happens for increased intraspecies overcrowding coefficients \(a_1\), and \(b_2\). Let \(a_1=2, a_2 = 1, b_1 = 1, b_2 = 3\). Figure 8 shows the effect this choice of parameters has on the behavior of our system. Just as with reduced competition, the advection away from competing species is weaker in this case than in the intraspecies interactions shown before, and so the steady states match the resourcerich regions of \(\Omega \). This suggests that, depending on the spatial distribution of resources in the domain, we expect nontrivial interactions between the species only in certain subsets of the parameter spacenamely when interspecies competition is strong.
4.3 HalfDomain Resource
In many of the situations considered above, the species would generally cluster around the spatially distributed resource. We now consider their spatiotemporal interactions during a migration between two patches of resources. In Fig. 9, we plot competition dynamics under the resource distributions
As expected, in the long run both populations settle down to steady states in the part of \(\Omega \) where there is the greatest abundance of the food they consume. In the transient dynamics, however, instead of traveling as an aggregate, the populations appear to set up new clusters in foodrich regions and let the old colony die out. This appears to be due to the advective dispersal away from the other species during the migration into the foodrich area. We can experiment to test whether this is due to the animals’ proclivity for local clustering by reducing intraspecies coefficients. If \(a_1 = 0.1, a_2 = 3, b_1 = 3, b_2 = 0.1\), the populations tend to repel each other but overcrowding within each one species is subdued. We observe similar behavior to that seen in Fig. 9.
4.4 Spatially Heterogeneous Death Rates
We now consider the effect of introducing a nonzero spatial death term \(d_i \ne 0\) to the fecundity terms (9). We take the form of this to be
for \(i=1, 2\). We also set \(A_i(x_1,x_2) = 1\). This describes a spatially homogeneous resource with presence of a deadly square region of side length a in the center of the domain. Physically, this can represent a danger present in only part of the domain.
Figure 10 shows competition dynamics for this model, for \(a=0.2\). Note the transient behavior of \(u_2\) in particular, which initially gets pushed into the bottom left corner of the domain, but instead of being driven to extinction, migrates to the middle of the square to settle down to a steady state on the brim of the hazardous region, where the generalist predator species is less prevalent. This is possible as the generalist predator species forms a circular, rather than squarelike distribution around the deadly region, leaving a thin stripe of \(\Omega \) capable of supporting the prey species. This circular brim is likely due to the corners of the small square inducing a smoothing effect due to the advection away from them by the predator.
We now consider generalist predator–prey dynamics. Figure 11 shows the \(a=0.5\) case, where the prey species \(u_1\) dies out eventually. Note how again the generalist predator population forms a circular, rather than a square, colony. This is also likely due to the advective dispersal around the corners of the hazard.
We contrast this with the \(a=0.8\) case, depicted in Fig. 12. For a larger hazard, the prey species tends to survive and settle down to a positive steady state, by aggregating along the outer rim of the domain. The generalist predator forms a circular colony, again allowing the prey to exist between the generalist predator and the hazard. Finally, as we increase the spatial size of the hazard further, we find that the prey species dies out near around \(a=0.95\). There is therefore a range of values of a for which the prey species survives in this particular model of a hazard.
5 Discussion
We have extended the model of Grindrod (1988) to study population dynamics of two competing species in twodimensional domains. The primary benefit of including twodimensional aggregate motion is that this permits far more realistic dispersion compared to dynamics in only one spatial dimension. Additionally, realistic heterogeneity can be directly modeled in a twodimensional domain, allowing for the persistent aggregation of populations.
In Sect. 3, we demonstrated that three types of uniform steady states are possible: complete extinction of both species, partial extinction (one species goes extinct, the other persists), and a positive steady state (persistence of both species). We were able to give criteria for the feasibility of each in terms of the model parameters. We were then able to discuss the linear stability of these uniform steady states under small perturbations obeying Neumann boundary conditions. Under arbitrary perturbations, the instability or linear stability of the uniform steady states agrees with corresponding results for an ODE system involving only the reaction kinetics. We also mention that, if perturbation to the uniform steady states have large wavenumbers only, then it is possible for the zero steady state to stabilize if the diffusion parameters are large enough. Similarly, if the wavenumbers are sufficiently large, then it is possible to stabilize the positive steady states in the competition regime. Note that these stability results are valid for homogeneous steady states. We did not observe any stable heterogeneous steady states in convex domains. However, stable heterogeneous steady states may exist for some nonconvex domains, as there are a number of examples of this in the literature when considering reaction–diffusion dynamics for related models on specific nonconvex domains (Lou and Ni 1996; Matano and Mimura 1983). Indeed, through numerical simulations we found what appear to be heterogeneous steady states which are stable when taking the ‘dumbbell’ domain in Fig. 4, as this domain was considered for a similar purpose but with different dynamics in Matano and Mimura (1983). Meanwhile, nonconvex domains with a central hole still appear to give dynamics which tend to stable homogeneous steady states.
The reaction terms are seen to determine the structure of uniform positive steady states. Indeed, such states are specified uniquely by the form of the reaction functions. Therefore, we anticipate that the reaction terms dominate for large enough time. On the other hand, advection toward resources or toward/away from other species, or dispersion throughout the domain, will occur more rapidly. Hence, advection and dispersion are responsible for transient dynamics, while asymptotics are likely dominated by reaction terms. This makes sense: For small times, movement around the domain and advection toward resources are short time, local occurrences. On the other hand, the reaction terms model the longtime fitness of the species, given their interactions and availability of ambient resources.
We have considered three biologically relevant cases when simulating the twodimensional dynamics numerically for homogeneous domains, including competition dynamics, generalist predatorprey dynamics, and predator–prey dynamics. For each we observed transient pattern formation in many cases, with populations forming intricate and highly localized colonies, but eventually dispersing to a uniform density. Numerical simulations suggested transient dynamics with cluster formation of populations, similar to what was found in the onedimensional case (Grindrod 1988), but all longtime dynamics that we simulated converged to uniform steady states, as our linear stability results indicate. This suggests that the model given by Eq. (5) does not exhibit stable nonuniform (or, heterogeneous) steady states when the spatial domain is convex, which is in line with simpler reaction–diffusion–advection models, e.g., (Kishimoto and Weinberger 1985). While we also considered nonconvex domains with a hole in our numerical simulations, and these also appeared to give dynamics which tend to uniform steady states, it may be possible that more exotic nonconvex spatial domains could give nonuniform steady states, since this may depend strongly on the form of the domain. There is some valuable information in understanding transient aggregation behaviors, particularly biologically, but the longtime dynamics appear to be dominated by the kinetics, again with the proviso that advection and diffusion parameters can modify the stability of the longtime asymptotic solutions.
While we have included numerical simulations which demonstrate interesting dynamics, note that a number of other numerical simulations were considered in order to determine the robustness of the dynamics observed. In cases with a convex domain or a domain with a central hole, all of the simulations resulted in convergence to homogeneous steady state solutions for sufficiently large time, rather than spatial patterning or nonequilibrium dynamics. This suggests that convergence to homogeneous steady states is fairly ubiquitous for this family of models when the domain is homogeneous, at least on convex and certain nonconvex domains. In contrast, results on crossdiffusion mechanisms for multispecies interaction discussed earlier demonstrate that heterogeneous pattern formation is indeed possible on homogeneous domains, suggesting one measurable difference between the two classes of models.
Introducing spatially distributed resources, as we have done in Section 4, allows for nonuniform steady states, alongside more interesting transient interactions between the species. For simple spatial distributions, such as the single bump function in Fig. 5, we observe steady states that essentially recapitulate the spatially homogeneous resource dynamics by having the populations conform to the spatially distributed resources. However, for more intricate spatial structures, we observe nontrivial interactions between species, such as the abandoning of resources demonstrated in Fig. 6 that persist for asymptotically large times. We also demonstrate how this model can be used to understand migration between resource patches when the species interact during this transition. This suggests that advection along fitness gradients can induce nontrivial dispersal mechanisms, such as a separation of population centers during a migration demonstrated in Fig. 9. Finally, we considered the introduction of a hazardous region into the domain in Sect. 4.4. We observe that several phenomena are possible: extinction of one or both species, or the clustering of prey populations between hazards and predators. This later effect is an unexpected feature of the model, and we conjecture that this is due to how the predators avoid hazards around the square corners of the hazards, but the prey are able to randomly diffuse into this region.
That the incorporation of spatial heterogeneity in the fecundity can result in spatial patterning and segregation, even on convex domains, suggests that advection toward favorable or away from unfavorable regions of space can be used to strongly influence the dynamics of the populations. Interestingly, although the mechanism is a bit different, the results are akin to those concerning convergence of random motion to an ideal free distribution. In that setting, spatial forcing functions are also used to denote favorable or unfavorable regions of the domain, and under diffusion the populations find their way to favorable regions as time increases. A primary difference in our approach is that, instead of using heterogeneous forcing as an input into the reaction–diffusion system directly (as done in studies on the ideal free distribution, which results in purely local reaction–diffusion dynamics), the heterogeneity also enters into the separate advection equations in our model, and for \(\varepsilon _i \ne 0\) this results in a nonlocal forcing toward the resource or away from the hazard. However, in both cases, one observes convergence of populations to favorable regions. As we demonstrate in numerical simulations, however, there is not uniform convergence throughout the domain, but rather there are hysteresis effects due to the initial distribution of the populations. This can result in some favorable regions being under utilized relative to others.
Both the stability results and the numerical simulations point to the fact that at small timescales, the diffusion and advection terms play a dominant role. This means that foraging and linear interactions are the primary driving mechanisms for small times, and this completely agrees with our intuition for the biological problem. Meanwhile, at larger timescales, the reaction terms become dominant, influencing both the form and the stability of steady state solutions. Indeed, for larger timescales, the overall fitness of each species plays a larger role, and this fitness includes both the ability to exploit resources as well as to survive alongside the other species (and members of the same species).
Future work could take multiple avenues. One could try and show that globally, uniform steady states are the only possible asymptotics dynamics of (5), although for twospecies interactions there are some technical obstructions in the predator–prey case (see Kishimoto and Weinberger 1985 and references therein). It could be possible to consider disjoint resource subsidies, so that a predator or generalist predator would need to choose between moving toward a prey or a spatially separate subsidy. Such a scenario has been considered under the ‘SteppingStone’ framework (in which ODEs are defined at each separate location, rather than a continuous spatial domain); see Nevai and Gorder (2012). Furthermore, one might consider the inclusion of nonautonomous or stochastic forcing terms in order to model seasonality and other perturbations to the system. Similarly, one might consider domains with timedependent boundaries, in order to model the effects of flooding or other natural disasters which would limit domain availability to the populations.
The results for the reaction–diffusion–advection models we consider point to the lack of pattern formation on larger timescales when there is no heterogeneous forcing present; indeed, the stability results exclude the possibility of Turing instabilities. This is in contrast to crossdiffusion type models, for which pattern formation was shown to be possible (Lou and Ni 1996). Note, however, that one might consider other reaction kinetics rather than simply quadratic interactions, which might result in Turing instability and hence pattern formation. This would be an interesting direction for future work. Additionally, one might consider a composite model, incorporating both advection toward resource gradients and crossdiffusion terms, in order to see the relative dominance of each effect on the resulting dynamics. Such a model with both nonlinear diffusion and nonlocal advection would likely result in a variety of the aforementioned dynamics in relevant parameter regimes, and spatial forcing would likely not, particularly if the reaction kinetics were selected in such a way that Turing instabilities are permitted.
Mathematically, it may be useful to study rotational forms of the \(\mathbf {w}_i\), since for simplicity we have restricted our attention to irrotational advection by assuming that the \(\mathbf {w}_i\) can be written as the gradient of a potential function. Indeed, while we have seen motion around a centrally placed barrier or obstruction, we would need to permit the \(\mathbf {w}_i\) to have nontrivial rotational parts in order to obtain circular motion due to a resource or avoidance of other species in a uniform domain without obstructions. The drawback would lie in the need to consider more complicated equations for the \(\mathbf {w}_i\), resulting in a system of six, rather than four, nonlinear PDEs. Aside from steady states, one could attempt to find other classes of nonuniform steady states, or even timedependent asymptotic solution structures, such a traveling waves or quasisteady structures which describe nonsteady predator–prey pursuit and evasion dynamics. We observed none of these in our simulations, although we suspect that they exist for certain choices of the kinetic parameters and spatial domains.
References
Abrams PA (2007) Habitat choice in predator–prey systems: spatial instability due to interacting adaptive movements. Am Nat 169:581–594
Abrams PA, Cressman R, Krivan V (2007) The role of behavioral dynamics in determining the patch distributions of interacting species. Am Nat 169:505–518
Amarasekare P (2007) Spatial dynamics of communities with intraguild predation: the role of dispersal strategies. Am Nat 170:819–831
Armsworth PR, Roughgarden JE (2005) Disturbance induces the contrasting evolution of reinforcement and dispersiveness in directed and random movers. Evolution 59:2083–2096
Armsworth PR, Roughgarden JE (2005) The impact of directed versus random movement on population dynamics and biodiversity patterns. Am Nat 165:449–465
Armsworth PR, Roughgarden JE (2008) The structure of clines with fitnessdependent dispersal. Am Nat 172(5):648–657
Cantrell RS, Cosner C, Lou Y, Xie C (2013) Random dispersal versus fitnessdependent dispersal. J. Differ Eqs 254:2905–2941
Cantrell RS, Cosner C, Lou Y (2008) Approximating the ideal free distribution via reaction–diffusion–advection equations. J. Differ Eqs 245:3687–3703
Chen X, Hambrock R, Lou Y (2008) Evolution of conditional dispersal: a reaction–diffusion–advection model. J Math Biol 57:361–386
Cosner C (2005) A dynamic model for the ideal free distribution as a partial differential equation. Theor Popul Biol 67:101–108
Cosner C, Winkler M (2014) Wellposedness and qualitative properties of a dynamical model for the ideal free distribution. J Math Biol 69:1343–1382
Flaxman SM, Lou Y (2009) Tracking prey or tracking the prey’s resource? Mechanisms of movement and optimal habitat selection by predators. J Theor Biol 256:187–200
Gambino G, Lombardo MC, Sammartino M (2013) Pattern formation driven by crossdiffusion in a 2D domain. Nonlinear Anal Real World Appl 14:1755–1779
Grindrod P (1988) Models of individual aggregation or clustering in single and multispecies communities. J Math Biol 26:651–660
Grindrod P (1991) Patterns and waves: the theory and applications of reaction–diffusion equations. Oxford University Press, Oxford
Hadany L, Eshel I, Motro U (2004) No place like home: competition, dispersal and complex adaptation. J Evol Biol 17:1328–1336
Hambrock R, Lou Y (2009) The evolution of conditional dispersal strategies in spatially heterogeneous habitats. Bull Math Biol 71:1793–1817
Kishimoto K, Weinberger HF (1985) The spatial homogeneity of stable equilibria of some reaction–diffusion systems on convex domains. J Differ Eqs 58(1):15–21
Li X (2015) Twospecies competition models with fitnessdependent dispersal on nonconvex bounded domains. Electron J Differ Eqs 24:1–9
Lou Y, Tao Y, Winkler M (2014) Approaching the ideal free distribution in twospecies competing models with fitnessdependent dispersal. SIAM J Math Anal 46:1228–1262
Lou Y, Ni WM (1996) Diffusion, selfdiffusion and crossdiffusion. J Differ Eqs 131:79–131
Lou Y, Winkler M (2015) Global existence and uniform boundedness of smooth solutions to a crossdiffusion system with equal diffusion rates. Commun Partial Differ Eqs 40(10):1905–1941
Matano H, Mimura M (1983) Pattern formation in competition–diffusion systems in nonconvex domains. Publ RIMS (Kyoto University) 19:1049–1079
Murray JD (2003) Mathematical biology II: spatial models and biomedical applications. Springer, Berlin
Nasreddine E (2012) Wellposedness for a model of individual clustering. Discrete Contin Dyn Syst Ser B 18:2647–2668
Nasreddine E (2014) Twodimensional individual clustering model. Discrete Contin Dyn Syst Ser B 7:307–316
Nevai AL, Van Gorder RA (2012) Effect of resource subsidies on predator–prey population dynamics: a mathematical model. J Biol Dyn 6(2):891–922
Rowell JT (2009) The limitation of species range: a consequence of searching along resource gradients. Theor Popul Biol 75:216–227
Ruxton GD, Rohani P (1998) Fitnessdependent dispersal in metapopulations and its consequences for persistence and synchrony. J Anim Ecology 67:530–539
Ryan D, Cantrell RS (2015) Avoidance behavior in intraguild predation communities: a crossdiffusion model. Discrete Contin Dyn Syst A 35:1641–1663
Shigesada N, Kawasaki K, Teramoto E (1979) Spatial segregation of interacting species. J Theor Biol 79:83–99
Volterra V (1928) Variations and fluctuations of the number of individuals in animal species living together. ICES J of Mar Sci 3:3–51
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kurowski, L., Krause, A.L., Mizuguchi, H. et al. TwoSpecies Migration and Clustering in TwoDimensional Domains. Bull Math Biol 79, 2302–2333 (2017). https://doi.org/10.1007/s1153801703310
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1153801703310