Plan
Comptes Rendus

Biological modelling / Biomodélisation
A mathematical study of a two-regional population growth model
[Étude mathématique d'un modèle de croissance de la population de deux régions.]
Comptes Rendus. Biologies, Volume 327 (2004) no. 11, pp. 977-982.

Résumés

The paper provides a mathematical study of a model of urban dynamics, adjusting to an ecological model proposed by Lotka and Volterra. The model is a system of two first-order non-linear ordinary differential equations. The study proposed here completes the original proof by using the main tools such as a Lyapunov function.

Cet article propose un modèle mathématique de dynamique urbaine, ajusté au modèle écologique de Lotka et Volterra. Ce modèle constitue un système de deux équations différentielles ordinaires non linéaires du premier ordre. La présente étude complète la preuve originale par l'utilisation d'outils principaux tels que la fonction de Lyapunov.

Métadonnées
Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/j.crvi.2004.09.006
Keywords: population growth modelurban dynamics, Lotka–Volterra model, Lyapunov function
Mot clés : modèle de croissance de population, dynamique urbaine, modèle de Lotka–Volterra, fonction de Lyapunov

Jalila El Ghordaf 1 ; Moulay Lhassan Hbid 1 ; Ovide Arino 1

1 Université Cadi Ayyad, Faculté des Sciences Semlalia, Departement de Mathematiques, Bd du Prince Moulay Abdellah, BP 2390, Marrakech 40000, Morocco
@article{CRBIOL_2004__327_11_977_0,
     author = {Jalila El Ghordaf and Moulay Lhassan Hbid and Ovide Arino},
     title = {A mathematical study of a two-regional population growth model},
     journal = {Comptes Rendus. Biologies},
     pages = {977--982},
     publisher = {Elsevier},
     volume = {327},
     number = {11},
     year = {2004},
     doi = {10.1016/j.crvi.2004.09.006},
     language = {en},
}
TY  - JOUR
AU  - Jalila El Ghordaf
AU  - Moulay Lhassan Hbid
AU  - Ovide Arino
TI  - A mathematical study of a two-regional population growth model
JO  - Comptes Rendus. Biologies
PY  - 2004
SP  - 977
EP  - 982
VL  - 327
IS  - 11
PB  - Elsevier
DO  - 10.1016/j.crvi.2004.09.006
LA  - en
ID  - CRBIOL_2004__327_11_977_0
ER  - 
%0 Journal Article
%A Jalila El Ghordaf
%A Moulay Lhassan Hbid
%A Ovide Arino
%T A mathematical study of a two-regional population growth model
%J Comptes Rendus. Biologies
%D 2004
%P 977-982
%V 327
%N 11
%I Elsevier
%R 10.1016/j.crvi.2004.09.006
%G en
%F CRBIOL_2004__327_11_977_0
Jalila El Ghordaf; Moulay Lhassan Hbid; Ovide Arino. A mathematical study of a two-regional population growth model. Comptes Rendus. Biologies, Volume 327 (2004) no. 11, pp. 977-982. doi : 10.1016/j.crvi.2004.09.006. https://comptes-rendus.academie-sciences.fr/biologies/articles/10.1016/j.crvi.2004.09.006/

Version originale du texte intégral

1 Introduction

In a world of fast growing population and intercontinental trade relations, the local emergence of new economic centres, on the one hand, and the global competition of existing economic centres, on the other hand, have a major impact on the socioeconomic and political stability of our future world [1]. So, in the last twenty years, there has been an important change in the way geographers and planners have begun to think about the growth and form of cities. The concept of self-organization by which global structures emerge from local actions has gained popularity [2,3, etc.] and the reason for the application of this concept is its ability to indicate explicit interdependent relationships between factors of complicated regional systems and to clarify new ordering derived from a fluctuation in this system. Mathematical and computer models have started to flourish. Such models have the ability to capture the essentials of forces' ‘attractiveness’ and relationships in effect between two cities or between clusters inside cities and to simulate the way these quantities change with time. Analogies with some ecological models are, in some cases, relevant: for example, when two or more species live in proximity and share the same basic requirements, they usually compete for resources, habitat, or territory. Such an analogy has been hardly used in a pioneering model by P. Allen [4].

The Hokkaido prefecture has encoded a serious socio-economic situation, under this problem. Y. Miyata and S. Yamaguchi adapted Allen's model in order to discriminate between a number of roadway systems connecting the main towns with a region [2], so they investigated the possibility of regional redistribution of the population of the Hokkaido prefecture based upon the theory of dynamic self-organization of population distribution. As an illustration of the power of mathematical methods, they consider, in the first part of their work, a simplified system with two towns, adjusting to model proposed by Lotka and Volterra [5], when the competition between two species is depicted without direct reference to the resources they share. The difference of the interpretation between Miyata et al.'s model and the classical Lotka–Volterra model is in the fact that each region has its own potential of resources used by inhabitants of two regions, and the resources are interpreted as services and goods offered in the region. Our purpose here is to revisit this simple system; in the next section, we will describe the model emphasizing its relevance with urban dynamics; in Section 3, we present a complete study of the system, based on the already existing methods in [6] and [7], depending on the location parameters and we will discuss the relevance of the results to the subject completing the mathematical study made by Y. Miyata et al., who used the method of perturbations, which gives no convincing results. The main tools in our study are a Lyapunov function, application of the principle of LaSalle and the discussion of the phase portraits.

2 The model

2.1 Presentation of the model

Miyata et al. present this simple example in order to describe the essence of the theory of dynamic self-organization. So they consider a two-regional population growth model.

The model is represented as follows:

{dx1dt=k1x1(N1x1βx2)d1x1dx2dt=k2x2(N2x2βx1)d2x2(1)
where the parameters are defined in the authored paper as follows: xi

population of region i;

Ni

carrying capacity of region i;

ki

birth and immigration rate in region i;

β

parameter of interdependence between the region i and j;

di

death and emigration rate in region i.

2.2 Remarks

We have some remarks about interpretation given by the authors concerning the parameters of the model. A better understanding, for us, of the parameters is given as follows:

The general form of an equation describing the evolution of region i, is:

dxidt=rixidixi
where: rixi

is the growth term;

dixi

is the decrease term;

ri

is a growth rate, which is not constant and depends on the two population in a symmetric way:

ri=ki(Nixiβxj)

In the expression of ri, Ni

stands for the resources of region i, expressed in terms of the maximum of individuals that the region i can sustain;

ki

is an efficiency parameter that expresses the interaction between the potential of the region and the population growth;

β

represents the intensity of resources (namely services and goods) offered in a region used by inhabitants of the other regions;

Nixiβxj

is the part of resources of region i that is unemployed. It represents the potential of the region i, determining the growth of the population xi through the efficiency parameter ki.

We suppose, taking the same β in both equations, that an individual divides his consumption in a proportion that is always even between what exists and what is imported. This hypothesis is obviously questionable.

3 Mathematical study of the model

This section is devoted to the asymptotic behaviour of the solution describing the system (1).

System (1) can be written as a classical competition model:

{dx1dt=k1x1(P1x1βx2)dx2dt=k2x2(P2x2βx1)(2)
where we have introduced the notations
Pi=Nidiki,i=1,2
Pi is the potential of the region i taking into account the mortality rate and the emigration related to this region. Notice that if one of the populations is equal to 0 at some instant, then it is remains equal to 0 at all times t>0. In this case, the equation for the other population is just a logistic that can be written as
dxidt=kixi(Pixi),i=1,2
So, the parameter Pi can be considered as carrying capacities of region i. Then, in order to have Pi>0, we should make the following assumption

Hypothesis

For i=1,2, the parameters ki, Ni and di satisfy:

kiNi>di

This hypothesis has an interpretation in the model: kiNi is the crude growth rate of population i when the potential is at its maximum value, namely when the potential is almost zero.

The hypothesis means that this maximum crude growth rate is bigger than the mortality and outmigration rate.

Classical theorems apply, providing existence and uniqueness to the initial-value problem associated to (2) with initial value (x10,x20), with xi00, for i=1, 2. Furthermore, the solutions remains non-negative and exist for all t0 (see [6]).

3.1 Asymptotic behaviour of the solutions of system (2)

3.1.1 Stationary solutions

The stationary solutions of system (2) satisfy the system:

{k1x1(P1x1βx2)=0k2x2(P2x2βx1)=0
which gives four equilibrium points:
E0=(0,0),E1=(P1,0),E2=(0,P2)and
E3=((P1βP2)/(1β2),(P2βP1)/(1β2))
Our goal is to study the stability of these points and in the end, we establish the following important result.

3.1.2 Study of the stability

In the addition to existence of the equilibrium points, we can prove that it is only one globally asymptotically stable point in the positive domain.

Lemma 1

The ω-limit set of each non-negative solution of system (2) is reduced to one equilibrium point.

Proof

It is a straightforward application of the principle of LaSalle [8], considering the Lyapunov function

Q(x1,x2)=12x12+βx1x2+12x22P1x1P2x2
(see also [6, p. 270] and [7, p. 28]).

Let us define:

V(t)=Q(x1(t),x2(t))
which implies:
V˙(t)=k1x1(x1+βx2P1)2k2x2(x2+βx1P2)2
so
V˙(t)0andV˙(t)=0only at stationary pointsEi,i=0,1,2,3
Since the solutions of the system are bounded, the ω-limit set of each solution is non-empty, compact, connected, and invariant by the system.

By applying the principle of LaSalle, one has:

ω(x){Ei,i=0,1,2,3}
But ω(x) is a connected set, therefore it is necessarily reduced to one stationary point. So:
ω(x)={Ei}

As a consequence of this lemma, each non-negative solution of system (2) approaches asymptotically for t+ one of the equilibria Ei, i=0,,3 and in what follows we will locate which of the four equilibria is the limit point.

First of all, let us consider the equilibrium point E0. The linearized system of (2) around this point is:

dxdt=Ax
where
x=(x1,x2)andA=(k1N1d100k2N2d2)
Since the matrix A has two positive eigenvalues, we can conclude the following lemma:

Lemma 2

The stationary point E 0 = ( 0 , 0 ) is repulsive.

Let us observe that the equilibrium point E3 is the intersection of the two isoclines

R1:=P1x1βx2=0
R2:=P2x2βx1=0
and therefore we are obliged to consider different cases, since for some values of the parameters, R1 and R2 do not intersect in IR+2.

Due to the symmetry of system (2), we can suppose that P2>P1 without any loss of generality.

We will make the study of the asymptotic behaviour of solutions in terms of parameter β, which is significant for the model.

Theorem 3

If 0 β < P 1 P 2 , we have:

  • (a) each solution of system (2) corresponding to an initial value ( x 1 0 , 0 ) , with x 1 0 > 0 , converges towards the stationary point E 1 ;
  • (b) each solution of system (2) corresponding to an initial value ( 0 , x 2 0 ) , with x 2 0 > 0 , converges towards the stationary point E 2 ;
  • (c) each solution of system (2) corresponding to an initial value ( x 1 0 , x 2 0 ) , with x 1 0 > 0 and x 2 0 > 0 , converges towards the stationary point E 3 .

Proof

In this case, the isoclines R1 and R2 intersect in IR+2 and therefore the equilibrium point E3 should be taken into account.

We obtain the stability of equilibria by linearisation of the system (2) around each equilibrium point Ei, i=1, 2, 3, so that E1 and E2 are saddle points and straightforward calculations show that their stable manifolds are S1={(x1,0),x1>0} and S2={(0,x2),x2>0}, respectively, this proves (a) and (b). Furthermore E3 is asymptotically stable. Bearing in mind Lemma 1 and Lemma 2, assertion (c) holds.  □

Moreover, we have the following result:

Lemma 4

For each i = 1 , 2 , there is a paving of repulsiveness around E i .

Proof

With the aim of constructing a paving of repulsiveness around E1, let η>0 be fixed and consider

Pη={(x1,x2)/|x1P1|η,0x2η}
Then
dx2dt=k2x2(P2βP1x2β(x1P1))(P2βP1η(β+1))k2x2
Choosing
0<ηP2βP12+β
we have
dx2dtηk2x2
and then, if a solution is in Pη at some instant t0, there exists t1>t0 for which such solution will be outside Pη for each tt1.

In the same way, we can construct a paving of repulsiveness around E2.  □

Theorem 5

If P 1 P 2 < β < P 2 P 1 , we have:

  • (a) each solution of system (2) corresponding to an initial value ( x 1 0 , 0 ) , with x 1 0 > 0 , converges towards the stationary point E 1 ;
  • (b) each solution of system (2) corresponding to an initial value ( x 1 0 , x 2 0 ) , with x 1 0 0 and x 2 0 > 0 , converges towards the stationary point E 2 .

Proof

In this case, isoclines R1 and R2 do not intersect in IR+2 and therefore there exist three equilibria E0, E1 and E2. The linearized systems around E1 and E2 prove that E1 is a saddle point with stable manifold S1 and E2 is locally asymptotically stable. Bearing in mind Lemma 1, assertion (b) follows.  □

Moreover, a paving of repulsivity around E1 can be constructed in the same way as in Lemma 4.

Finally, for the third case, similar calculations and standard arguments that can be found in [6] lead to:

Theorem 6

If β > P 2 P 1 , the equilibrium point E 3 is in I R + 2 and we have:

  • (a) E 0 is unstable;
  • (b) E 1 and E 2 are locally asymptotically stable;
  • (c) E 3 is a saddle point.
Moreover, the stable manifold associated to E 3 consists of two orbits converging to E 3 , which divides the positive quadrant into two basins of attraction Ω 1 and Ω 2 . All solutions starting in Ω 1 tend to E 1 and all solutions starting in Ω 2 tend to E 2 .

4 Conclusion

We said that the model presented in Section 2 was proposed first by Lotka and Volterra, who described the competition between two species for resources they share rather; it is assumed that the presence of each population leads to a depression of its competitor's growth rate. Later on, this model was adjusted in urban dynamics by changing the meaning of the model's variables and parameters. It is now necessary to make an urban interpretation of the results obtained so far.

Hypothesis P1<P2 means that region 2 still the region that has the bigger potential, taking into account the mortality and emigration rate in this region.

When the intensity of resources used by inhabitants of two regions is less strong, 0β<P1P2, we have an interior steady state, which is stable and which means that each population manages to live in its region and to benefit from the services offered in the other region. But when the intensity is much stronger, P1P2<β<P2P1, then the solution with initial value (x10,x20), with x100 and x20>0 converges towards the stationary point E2. That is the region with the higher potential will be dominant for any initial situation.

For P2P1<β, we have three non-trivial steady state, with two points which are stable. In this case, it is very difficult to verify which one of the populations leaves its area; it depends crucially on the starting advantage each population has. If the initial condition lies in domain Ω1, then eventually population 2 leaves to region 1, thus the competition for the use of resources eliminated region 2 and the same if the initial condition lies in domain Ω2.

As stated above, it has been shown that all solutions of the system (1) converge, depending on the intensity of the competition parameter β and the initial value, to one equilibrium point; from urban interpretation, we conclude that a small change in the quantity of the intensity of competition influences the result.

This study is the commencement of a large and complete mathematical analysis of a complex models initiated by P. Allen et al. and Myata et al. These models concern n regions and consider that the potentials of each region are variable in time with respect to the global population and its distribution between regions.

Acknowledgments

This work was partially supported by the program ‘Action integrée 212 MA 00 and the JER–IRD’.

The authors are grateful to J.-P. Treuil and Eva Sanchez for discussions leading to the rewriting of this paper.


Bibliographie

[1] F. Schweitzer Brownian Agents and Active Particles, Collective Dynamics in the Natural and Social Siences, Springer-Verlag, 2003

[2] Y. Miyata; S. Yamaguchi A study on evolution of regional population distribution based on the dynamic of self-organization theory, Environ. Sci., Hokkaido University, Volume 13 (1990) no. 1, pp. 1-33

[3] G. Nicolis; I. Prigogine Self-Organization in Nonequilibrium Systems, John Wiley and Sons, Inc., 1977

[4] P.M. Allen; M. Sanglier A dynamic model of growth in a central place system, Geogr. Anal., Volume 11 (1979), pp. 256-272

[5] L. Edelstein-Keshet Mathematical Models in Biology, Birkhäuser Mathematics Series, 1988

[6] M.W. Hirsch; S. Smale Differential Equations, Dynamical System and Linear Algebra, Academic Press, 1974

[7] J. Hofbauer; K. Sigmund Evolutionary Games and Population Dynamics, Cambridge University Press, 1998

[8] J.K. Hale Ordinary differential equations, Wiley and Sons, 1969 (Kierger, 1980)


The present work was started with Professor Ovide Arino. Ovide died before finishing this work, we dedicated it to his memory.

Commentaires - Politique