Long-term coexistence for a competitive system of spatially varying gradient reaction–diffusion equations

https://doi.org/10.1016/j.nonrwa.2007.08.016Get rights and content

Abstract

Spatial distribution of interacting chemical or biological species is usually described by a system of reaction–diffusion equations. In this work we consider a system of two reaction–diffusion equations with spatially varying diffusion coefficients which are different for different species and with forcing terms which are the gradient of a spatially varying potential. Such a system describes two competing biological species. We are interested in the possibility of long-term coexistence of the species in a bounded domain. Such long-term coexistence may be associated either with a periodic in time solution (usually associated with a Hopf bifurcation), or with time-independent solutions. We prove that no periodic solution exists for the system. We also consider some steady states (the time-independent solutions) and examine their stability and bifurcations.

Introduction

A model describing interaction of two competing biological species with a possibility of non-homogeneous spatial distribution usually consists of a coupled set of reaction–diffusion equations with logistic population growth and some form of competition (see e.g. [9], [7]). Based on an idea that “the interaction is (to a degree) unknown in detail”, Norbury and Wake [8] incorporated a quadratic dependence for the interaction logistic terms into a mathematical model. To describe the spatial spread of two competing species–US original grey and UK indigenous red squirrels in the UK–they suggested a system of two reaction–diffusion equations utuxx=λu(1u2a2v2),vtvxx=λv(b2a2u2c2v2), where u(x,t) and v(x,t) are densities of the two species, a,b,c are positive constants and λ is a positive parameter; of course, only the case u,v0 is feasible for a population or concentration model. However, in some cases both positive and negative solutions can be made physically relevant after scaling of the form u=α+βu˜, v=γ+δv˜ (since ux=vx=0 translates to u˜x=v˜x=0, and ut=βu˜t, etc.) which transforms the reaction term without changing the rest of the equations. Depending on the nature of an application (or the boundary conditions), we may wish to consider either strictly positive (non-negative) solutions, or solutions of both signs.

A remarkable feature of this model is that the system (1.1) is a gradient system: the right parts of the Eq. (1.1) are partial derivatives, Gu=λu(1u2a2v2) and Gv=λv(b2a2u2c2v2) respectively, of the potential G(u,v)=λ2(u212u4a2u2v2+b2v212c2v4). Further, there is a symmetry, or a group action uu and vv under which the potential (and hence the system) is invariant. The model may be generalised to the multi-dimensional case in a straightforward way.

In modelling situations gradient reaction–diffusion systems can and do arise from physically or physiologically derived situations when there is some type of “overall global conservation” occurring. In population biology, from which this model arose, this can occur when species are competing with each other for resources. The model in Eq. (1.1) was determined both by looking at the data and by consideration of the specific growth rate of each component species in the presence of the other [9]. Subsequent scaling of the variables enabled it to be cast in the form of a gradient system. Care must be taken in doing this to ensure that the boundary conditions are not inadvertently altered so that the system no longer satisfies the conditions of the results in Section 2. In the specific case of the competing squirrel populations this did not occur as it involved just a simple scaling of the populations. That is, it is a “robust gradient system”.

Norbury and Wake [8] focused on the possibility of long-term coexistence of two competing species, that is possibility of static (time-independent) or periodic solutions. A time-independent spatial distribution of the densities of the two species u(x) and v(x) satisfies the equations d2udx2=λu(1u2a2v2),d2vdx2=λv(b2a2u2c2v2), defined on an open interval 0<x<1 (the actual length of the domain was scaled into λ). To close the system (1.2), boundary conditions should be added. The no-flux boundary conditions ux(0)=vx(0)=0,ux(1)=vx(1)=0 reflect a situation of impermeable boundaries. Under a “hostile environment” assumption the Dirichlet boundary conditions u(0)=v(0)=0,u(1)=v(1)=0 can be used. The latter case was considered by Norbury and Wake [8].

The system (1.2) is a Hamiltonian system with independent variable x: the Eq. (1.2) are the Euler–Lagrange equations for the functional I=01(12(ux2+vx2)G(u,v))dx. The function E(x)=12(ux2+vx2)+G(u,v) is the first integral of the system (1.2): that is for any solution of the system (1.2) the function E(x) is constant for all x. In particular in the case of one spatial dimension for the homogeneous Neumann boundary conditions E(x)=G(u(0),v(0))=G(u(1),v(1)) for all x[0,1].

In this work we consider the existence of long-term coexisting solutions–both periodic in time and steady-state coexistence–of two species in a multi-dimensional bounded simply connected region ΩRn. We also extend Eq. (1.1) so that different species diffusions and more general interaction potential functions W(x,u,v) are allowed. In Section 2 we consider the possibility of periodicity in time for this system, and show that no periodicity is possible. We then go on in Sections 3 Steady-state solutions, 4 Spatially uniform steady states to consider steady states and to classify them as regards to stability. In Sections 5 Explicit solutions, 6 The special case of a homogeneous potential, 7 Bifurcations of non-coexisting solutions we consider some explicit solution which may exist for biological system with competition, and their bifurcations.

Section snippets

Non-existence of periodic solutions

Speed of spatial propagation differs for different biological species. Consequently the corresponding diffusion coefficients which characterise the speed of spatial propagation are also different. Chemical species also have different diffusion rates. Further, the rate of spatial propagation (and hence the corresponding diffusion coefficient) may vary in space depending, for example, on environmental conditions. In chemistry it is also possible to have diffusion rates depending on the location

Steady-state solutions

Steady-state solutions of the system (2.1), (2.2), (2.3), that is time-independent distributions of the densities u(x),v(x) satisfy the equations (D1u)=Wu,(D2v)=Wv,forxΩRn,D1un=B(uua),D2vn=C(vva),forxΩ. Here D1(x),D2(x)>0 are diffusion rates, W(x,u,v) is a potential, and B(x),C(x),ua(x) and va(x) are given functions. We assume that further B(x),C(x)0, since the case B(x),C(x)<0 is usually not of practical interest.

The following result is not unexpected, however we

Spatially uniform steady states

If the boundaries of a region are given by lakes or rivers, then for the biological species problem no flux, or homogeneous Neumann boundary conditions, un(x)=vn(x)=0forxΩ, may be applied naturally. In the case of the homogeneous Neumann boundary value problem a very specific steady-state solution, a spatially uniform steady state which does not depend on the spatial variable x, can exist. Spatially uniform functions u,v satisfy the homogeneous Neumann boundary conditions naturally. For a

Explicit solutions

There are several cases when the system may be reduced to a single equation. If u(x) and v(x) are biological or chemical species concentrations, then a case when one of the species is absent is possible. If, say, v(x)0 then we consider a solution of the type (u(x),v(x))=(u(x),0). We henceforth refer to this as “non-coexisting” solutions. It is easy to see that such a non-coexisting solution exists if Wv(x,u(x),0)=0 for all feasible u(x) and for all xΩ, and in this case the system reduces

The special case of a homogeneous potential G(u,v)

We now consider a particular case of two competing biological species–the system (3.1), (3.2) with the space-independent potential G(u,v)=λ2(u212u4a2u2v2+b2v212c2v4), introduced in the introduction, and constant and spatially independent diffusion coefficients D1 and D2. For the potential G(u,v)Gu(u,v)=λu(1a2v2u2),Gv(u,v)=λv(b2c2v2a2u2), and hence the conditions (5.1), (5.3) hold, which gives the existence of non-coexisting solutions (u(x),v(x))=(u(x),0) and (u(x),v(x))=(0,v(x)).

Bifurcations of non-coexisting solutions

If (u(x,λ),v(x,λ)) is a solution of the boundary value problem (3.1), (3.2), then, if u=u+ξ and v=v+η, where the perturbations ξ,η satisfy |ξ|,|η|1, we obtain the linearised equations for the perturbations (D1ξ)+μ(Wuu(u,v)ξ+Wuv(u,v)η)=0,(D2η)+μ(Wvu(u,v)ξ+Wvv(u,v)η)=0, with homogeneous linear boundary conditions B1(ξ)=0,B2(η)=0. Here μ is an eigenvalue for the corresponding eigenvector (ξη). Of course, the perturbed system is a gradient system as well. By (5.1), for the

Conclusion

With minor reservations, the results of the paper may be extended to unbounded regions, and the results are true for a system of n variables. Thus we see that for quite general systems of this reaction–diffusion type arising from a double well potential W(x,u,v) the inclusion of reasonable spatial dependence in both the diffusion coefficients and in the reaction terms still does not permit a Hopf bifurcation or oscillatory solutions. However symmetrical bifurcations of stable non-coexisting

Acknowledgements

We thank the referees for their comments and the suggestion that led to the conjecture in Remark 2.4.

AK acknowledges support of Japan Society for the Promotion of Science, through Project 17540099, and of the Science Foundation Ireland Mathematics Initiative through MACSI.

References (12)

  • H. Amann

    Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces

    SIAM Review

    (1976)
  • E.A. Barbashin

    Introduction to the Theory of Stability

    (1970)
  • P.C. Fife

    Mathematical Aspects of Reacting and Diffusing Systems

    (1979)
  • M.A. Krasnosel’ski

    Topological Methods in the Theory of Nonlinear Integral Equations

    (1964)
  • J. La Salle et al.

    Stability by Lyapunov’s Direct Method

    (1961)
  • A.M. Lyapunov

    The General Problem of the Stability of Motion

    (1992)
There are more references available in the full text version of this article.

Cited by (1)

View full text