Volume 2013, Issue 1 901014
Research Article
Open Access

The Time Delays’ Effects on the Qualitative Behavior of an Economic Growth Model

Carlo Bianca

Corresponding Author

Carlo Bianca

Dipartimento di Scienze Matematiche, Politecnico, Corso Duca degli Abruzzi 24, 10129 Torino, Italy polimi.it

Search for more papers by this author
Massimiliano Ferrara

Massimiliano Ferrara

Department of Law and Economics, University Mediterranea of Reggio Calabria and CRIOS University Bocconi of Milan, Via dei Bianchi 2, 89127 Reggio Calabria, Italy unirc.it

Search for more papers by this author
Luca Guerrini

Luca Guerrini

Department of Management, Polytechnic University of Marche, 60121 Ancona, Italy univpm.it

Search for more papers by this author
First published: 04 December 2013
Citations: 13
Academic Editor: Constantin Udriste

Abstract

A further generalization of an economic growth model is the main topic of this paper. The paper specifically analyzes the effects on the asymptotic dynamics of the Solow model when two time delays are inserted: the time employed in order that the capital is used for production and the necessary time so that the capital is depreciated. The existence of a unique nontrivial positive steady state of the generalized model is proved and sufficient conditions for the asymptotic stability are established. Moreover, the existence of a Hopf bifurcation is proved and, by using the normal form theory and center manifold argument, the explicit formulas which determine the stability, direction, and period of bifurcating periodic solutions are obtained. Finally, numerical simulations are performed for supporting the analytical results.

1. Introduction

Most of the phenomena occurring in real-world complex systems, especially in the economics systems, have not an immediate effect but appear with some delay. Therefore time delays have been inserted into mathematical models and in particular in models of the applied sciences based on ordinary differential equations; see the recent book [1]. Differential equations specifically with time delays have been proposed in population dynamics [2] for biological systems such as immune system response [36] and tumor growth [712], in models of social sciences [13], and in economics systems; see, among others, [1421].

The introduction of a time delay into an ordinary differential equation could change the stability of the equilibrium (stable equilibrium becomes unstable) and could cause fluctuations, and Hopf bifurcation can occur. Indeed global existence of Hopf bifurcations has been proved in many delay mathematical models; see papers [2224] and references cited therein.

If on one hand, the stability and bifurcation analysis of ordinary differential equations with a single time delay is well outlined in the pertinent literature [25, 26], on the other hand the analysis of the dynamics of ordinary differential equations with multiple time delays is a difficult task [2729] and the related literature is much limited. In this context, for several classes of ordinary differential equation models with multiple time delays, sufficient and necessary conditions have been established and a complete description of the stability region has been reached; see, among others, [30, 31] and references cited therein.

The present paper is concerned with a further generalization of the Solow model [32]. The generalized model is governed by a delay differential equation with two time delays. Specifically the two time delays refer, respectively, to the time employed in order that the capital is used for production and the necessary time so that the capital is depreciated. The asymptotic analysis performed in this paper shows the existence of a unique nontrivial positive steady state, and sufficient conditions for the asymptotic stability are established. Moreover, the existence of a Hopf bifurcation is proved and, by using the normal form theory and center manifold argument, the explicit formulas which determine the stability, direction, and period of bifurcating periodic solutions are obtained. Finally, some numerical simulations to support the analytical conclusions are carried out.

The rest of the paper is organized into four more sections which follow this introduction. Specifically, Section 2 discusses the derivation of the generalized Solow model with two time delays. Section 3 deals with the analysis of the existence of Hopf bifurcation and stability of the positive equilibrium for the model proposed in Section 1. Section 4 is concerned with the direction and the stability of the Hopf bifurcation. Some numerical simulations are performed in Section 5 with the aim of supporting the analytic results. Finally Section 6 completes the paper with conclusions and some future research perspectives.

2. The Mathematical Model

Recently, Zak has proposed in [15] the following delay ordinary differential equation
(1)
to describe the dynamics of the Solow model [32] in which a production technology has a constant finite period τ ≥ 0 linked to the time needed for the installation of capital. Here, k(t) denotes capital at time t, f(k(t)) is a neoclassical production function, namely a function which is continuous, increasing, and strictly concave in capital, and s ∈ (0,1) is the constant savings rate. Population is assumed to be constant and normalized to unity. During production a proportion of the capital stock, δ ∈ (0,1), depreciates at the same gestation period τ.
The assumption that the growth of the amount of capital at time t is a function of the total output of capital at time tτ has been showed in [15] to be the source of cyclic behaviour in the economic system (1). Generalizing this idea, we proposed the following delay ordinary differential equation:
(2)
that is, the generalized Solow model with two delays.

It is worth stressing that for τ1 = τ2 = τ = 0, we recover the Solow model equation [32]. In this model, the positive equilibrium is asymptotically stable in the absence of delay. For τ1 = τ2 = τ > 0, (2) reduces to the delayed Solow model proposed by Zak in [15].

3. Local Stability and Hopf Bifurcation

The mathematical model (2) has exactly the same equilibrium points of the corresponding system with zero delays. Hence, there exists a unique positive equilibrium k*, where sf(k*) = δk*. To determine the stability of this equilibrium and Hopf bifurcation, we linearize (2) around k*. The result is a linear delay differential equation of the form
(3)
where
(4)
It is well known that the stability of the equilibrium is determined by the spectrum of the eigenvalues of the linearization, which can be found as the roots of the characteristic equation
(5)
We recall that an equilibrium point of an equation is stable if all eigenvalues of its linearization have negative real part. It changes its stability type when eigenvalues cross the imaginary axis of the complex plane. We first note that λ = 0 is not a root of (5) because this would imply sf(k*) = 0, contradicting the fact that f(k*) > 0. Next, the distribution of the roots of (5) should be investigated. However, the analysis of the sign of the real parts of eigenvalues is very complicated because of the presence of two different delays, λ1 and λ2, in (5). Therefore, we will use a method consisting of determining the stability of the equilibrium when one delay is equal to zero, and, using similar analytic arguments as in the work by Ruan and Wei [33], we will deduce conditions for the stability of the equilibrium when both time delays are nonzero.

3.1. Case 1: τ1 ≥ 0 and τ2 = 0

The characteristic equation (5) reduces to
(6)
If τ1 = 0, (6) has the unique root λ = −A1A2 = −sf(k*) < 0. Thus, the equilibrium k* is locally asymptotically stable. Consequently, when τ1 increases, the stability of the steady state can only be lost if pure imaginary roots appear. Hence we look for purely imaginary roots ±iω, ω > 0, of (6). Let iω be a purely imaginary root of (6). Then, separating real and imaginary parts, ω satisfies
(7)
It follows that
(8)
Hence, (6) has no positive root. Then, we can conclude the following result about the asymptotic stability of the equilibrium of (2).

Proposition 1. Let τ2 = 0. Then the positive equilibrium k* of (2) is locally asymptotically stable.

3.2. Case 2: τ1 = 0 and τ2 ≥ 0

The characteristic equation (5) becomes
(9)
Setting τ2 = 0, we know that the equilibrium k* is locally asymptotically stable. Let λ = iω, ω > 0, be a root of (9). Separating real and imaginary parts, we have the following two equations:
(10)
Adding the squares of both hand sides of (10), it follows that ω must be a root of the following equation:
(11)
Hence, (11) admits only the positive root
(12)
Define from (10)
(13)
and
(14)
Then, it is immediate to check that iω0 is a simple root of (9) when .

Lemma 2. Let λ(τ2) = a(τ2) + iω(τ2) be the complex root of (9) near satisfying and . Then the transversal condition

(15)
is satisfied.

Proof. Differentiating the characteristic equation (9) with respect to τ2, we obtain

(16)
This gives
(17)
Hence, we have
(18)
This completes the proof.

Bearing the above analysis in mind and the Hopf bifurcation theorem for functional differential equations due to Hale and Verduyn Lunel (see p. 246, Theorem 1.1 of the book [34]), we have the following result.

Theorem 3. Let τ1 = 0. Then the positive equilibrium k* of (2) is locally asymptotically stable when and unstable when . Furthermore, (2) undergoes a Hopf bifurcation at the positive equilibrium k* when , n = 0,1, 2, …, where is defined as in (14).

3.3. Case 3: τ1 > 0 and τ2 > 0

Equation (5) has purely imaginary roots ±iω, where ω > 0, if the following equations are satisfied. Consider
(19)
Squaring and adding up both equations in (19) yield
(20)
where
(21)

Lemma 4. For every arbitrary τ1 > 0, (20) has a finite number of positive solutions for ω ∈ [A1 + A2, −A1 + A2].

Proof. The inequality |sin(ωτ1)| ≤ 1 and A > 1 imply ω ∈ [A1 + A2, −A1 + A2]. The function g(ω) has the properties g(A1 + A2) = 1, g(−A1 + A2) = −1, , and

(22)
A graphical inspection on the intersections of the functions sin(ωτ1) and g(ω) gives the statement.

Remark 5. If τ1 ∈ (0, π/(−A1 + A2)), (20) has only one positive solution.

For any τ1 > 0, (20) has a finite number of positive zeros ωj, j = 1,2, …, m. It is clear that for every arbitrary chosen τ1 > 0 and for each ωj we have an infinite number of τ2 such that A1cos (ωjτ1) = −A2cos (ωjτ2). For all j = 1,2, …, m, we define
(23)
In addition, we set
(24)
and denote ω0 = ωj for j such that . Next, we check the condition which guarantees that the purely imaginary roots pass through the imaginary axis at ±iω0. Let λ(τ2) = a(τ2) + iω(τ2) be the root of (5) near such that and . By direct computation we have
(25)
and obtain
(26)
Hence, it follows that
(27)
If for given τ1 both and are positive (resp., negative), then
(28)
and the purely imaginary roots ±iω0 of (5) move to the right (resp., left) half plane when the bifurcation parameter τ2 increases. So, we have the following transversality condition.

Proposition 6. Let Ω1 = [0, π/2] and Ω2 = [π, 3π/2].

  • (1)

    If , then .

  • (2)

    If , then .

Lemma 7. λ = ±iω0 are simple roots of (5) when .

Proof. If λ = iω0 is a repeated root for (5), then holds true. Using (5), this leads to and . Thus, we must have . If , this means ω0 = 0, while if , this identity does not hold. The conclusion is immediate.

From the discussion above, and recalling that for any τ1 and τ2 = 0 all roots of (5) have strictly negative real parts, the following theorem about stability and Hopf bifurcation of (2) is immediately obtained.

Theorem 8. Let τ1 > 0 and Ω1, Ω2 be defined as in Proposition 6. Then

  • (1)

    equation (2) undergoes a Hopf bifurcation at k* when ,

  • (2)

    if , then the nontrivial equilibrium k* to (2) is locally asymptotically stable for and unstable for ,

  • (3)

    if , then the nontrivial equilibrium k* to (2) is locally asymptotically stable for τ2 ∈ [0, +).

4. Direction and Stability of the Hopf Bifurcation

In this section, we study the direction of bifurcations and the stability of bifurcating periodic solutions of (2) at by using the method based on the normal form theory and center manifold theory introduced by Hassard et al. [35].

For notational convenience, let , μ. Then μ = 0 is the Hopf bifurcation point for (2). First, we transform (2) into a functional differential equation in C([−τ1, 0], ), which is the Banach space of continuous real-valued functions that map [−τ1, 0] into , and endowed with the norm
(29)
Set x(t) = k(t) − k*. Then, rewriting (2) in terms of x(t) and considering its Taylor expansion at the trivial equilibrium up to the third order, we get
(30)
For φC([−τ1, 0], ), define the linear operator
(31)
and the nonlinear operator
(32)
By the Riesz representation theorem, there exists a bounded variation function η(ϑ, μ) with ϑ ∈ [−τ1, 0] such that
(33)
with
(34)
where Γ is the Dirac delta function. For φC([−τ1, 0], ), define
(35)
Then (30) is equivalent to
(36)
where xt(ϑ) = x(t + ϑ) for ϑ ∈ [−τ1, 0]. For ψC([0, τ1], ), define the operator A* as
(37)
and the bilinear inner product
(38)
where the over bar denotes complex conjugation. Then A(0) and A*(0) are adjoint operators. By the discussion in the previous section, we know that ±iω0 are eigenvalues of A(0). Thus, they are also eigenvalues of A*(0). We need to compute the eigenvector of A(0) and A*(0) corresponding to iω0 and −iω0, respectively. A direct computation shows that their eigenvectors are
(39)
respectively. We have . In order to ensure 〈q*, q〉 = 1, we choose B as
(40)
Next, we compute the coordinates to describe the center manifold 𝒞 at μ = 0. Let xt be the solution of (36) when μ = 0. Define
(41)
On the center manifold 𝒞, we have , with
(42)
where z and are local coordinates for 𝒞 in the direction of q* and . For any xt𝒞, since μ = 0, we find
(43)
with
(44)
We rewrite (43) as
(45)
where
(46)
It follows from (36) and (43) that
(47)
where
(48)
Expanding the above series and comparing the coefficients, we get
(49)
Now q*(0) = B implies
(50)
Noticing that , we derive
(51)
Then substituting this into (50) and comparing the coefficients with (46), the following hold:
(52)
In order to compute g21, we need to know W20(ϑ) and W11(ϑ). For ϑ ∈ [−τ1, 0], we have
(53)
Comparing the coefficients with those in (48) yields
(54)
From (49)
(55)
Solving W20(θ), we have
(56)
and, similarly for W11(θ),
(57)
Here E1 and E2 are constants to be determined by setting θ = 0 in . A direct computation shows
(58)
Then all gij have been obtained, and thus we can compute the quantities
(59)
which determine the properties of bifurcating periodic solutions at the critical value . From the discussion above, we have the following result.

Theorem 9. Let k* be the unique positive equilibrium of the model (2). Then one has the following.

  • (1)

    μ2 determines the direction of the Hopf bifurcation when : if μ2 > 0 (resp., μ2 < 0), then the Hopf bifurcation is supercritical (resp., subcritical) and the bifurcating periodic solution exists for (resp., ) in a sufficiently small -neighbourhood.

  • (2)

    β2 determines the stability of the bifurcating periodic solution: if β2 < 0 (resp., β2 > 0) the bifurcating periodic solution is locally asymptotically stable (resp., unstable).

  • (3)

    T2 determines the period of the bifurcating periodic solution: if T2 > 0 (resp., T2 < 0) the period increases (resp., decreases).

5. Numerical Simulations

This section is concerned with some numerical simulations of the mathematical model (2) with the aim of exploring the analytical results. The model is characterized by four nonnegative parameters (s, δ, τ1, τ2) and the function f. In what follows we restrict our attention to the Cobb-Douglas function; this function reads
(60)
with α ∈ (0,1) and A > 0.
The first set of simulations refers to the following case:
(61)
where τ1 > τ2. Figure 1(a) shows that the function k(t) reaches the stationary state (the equilibrium k*). This equilibrium is stable; see Figure 1(b), where the evolution of k(t) versus k(t) is depicted for t ∈ [0,100].
Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.1, A = 1, τ1 = 3, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,100] (b).
Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.1, A = 1, τ1 = 3, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,100] (b).

The dynamics depicted by Figure 1 does not change from the qualitative viewpoint when α ∈ [0.02,1). Indeed when the parameter α varies in the interval [00.2,1) the time necessary for reaching the stationary state increases but the behavior is that of Figure 1. When α < 0.2 the time evolution of k(t) is shown in Figure 2. In this simulation the time length has been increased in order to better visualize the evolution. As Figure 2(b) shows, the equilibrium is now instable.

Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.01, A = 1, τ1 = 3, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,300] (b).
Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.01, A = 1, τ1 = 3, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,300] (b).
The second set of simulations refers to the following case:
(62)
These simulations take into account the case τ1 < τ2. As Figure 3 shows, oscillations occur for a long time (about t ∈ [0,1500]), with respect to the previous case, before reaching the equilibrium. In this case the equilibrium is stable but a very long time is necessary to reach it; see Figure 3(b). It is sufficient to increase α for obtaining the stationary state rapidly. These simulations suggest that when the value of α increases then the time necessary to reach the stationary state decreases. Moreover, if the difference τ2τ1 > 0 increases, then the stability of the equilibrium is lost for all α ∈ (0.1).
Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.1, A = 1, τ1 = 1, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,1300] (b).
Details are in the caption following the image
The time evolution of the function k(t) for s = 0.11, δ = 0.8, α = 0.1, A = 1, τ1 = 1, and τ2 = 2 (a). The k(t) versus k(t), for t ∈ [0,1300] (b).

Finally, we would show some numerical simulations related to the evolution of k(t) versus k(t). Figure 4 shows the instability of the equilibrium for s = 0.41, δ = 0.35, α = 0.8, A = 1, τ1 = 10, τ2 = 2, see Figure 4(a); it is worth stressing that the equilibrium is reached for t ≥ 3500. In this case, when we increase the magnitude of s we are able to reach the equilibrium more rapidly, see Figure 4(b), which is obtained for s = 0.91 and t ∈ [0,3500]. The equilibrium is rapidly reached if we also decrease the magnitude of α.

Details are in the caption following the image
The time evolution of k(t) versus k(t) for s = 0.41, δ = 0.35, α = 0.8, A = 1, τ1 = 10, τ2 = 2, and t ∈ [0,3500] (a). The time evolution of k(t) versus k(t) for s = 0.91, δ = 0.35, α = 0.8, A = 1, τ1 = 10, τ2 = 2, and t ∈ [0,3500] (b).
Details are in the caption following the image
The time evolution of k(t) versus k(t) for s = 0.41, δ = 0.35, α = 0.8, A = 1, τ1 = 10, τ2 = 2, and t ∈ [0,3500] (a). The time evolution of k(t) versus k(t) for s = 0.91, δ = 0.35, α = 0.8, A = 1, τ1 = 10, τ2 = 2, and t ∈ [0,3500] (b).

6. Conclusions and Research Perspectives

In the present paper, a generalization of the Solow model by inserting two time delays has been considered. The delays, respectively, represent the time employed in order that the capital is used for production and the necessary time so that the capital is depreciated. Specifically, an asymptotic analysis has been performed referring to the stability analysis of the steady state and the conditions under which a Hopf bifurcation appears.

According to the analysis developed in this paper, the stability of the positive equilibrium changes as the time delays vary. Indeed if τ2 = 0, the positive equilibrium is always locally asymptotically stable; if τ1 = 0 the positive equilibrium can be locally asymptotically stable or unstable and a Hopf bifurcation occurs; the dynamics is more complicated when the two time delays are both different from zero (see Theorem 8 where as the reader can see the investigation of stability switches becomes quite complicated). This shows that the time delays play an important role in the dynamics of the model. Then, based on the analysis of the existence of the Hopf bifurcation, by using the center manifold theory and the normal form method, an explicit algorithm for determining the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions has been derived. This means that one can obtain the important quantities which determine the properties of bifurcating periodic solutions at the critical value; see Theorem 9. According to our results, we can say that the model with two independent time delays has much more complicated dynamics than the model with only one time delay. That is why it seems to be more realistic.

The introduction of time delays can be also performed in the mathematical model developed in [36] for the mammary carcinoma. Indeed the stability analysis developed in the present paper can help to reach more results in the cancer-immune system competition. From a biological point of view, the Hopf bifurcation means that for small values of parameters the nontrivial stationary solution to the model in [36] is stable, and we do not observe radical changes in the competition. Otherwise, nontrivial stationary solution can oscillate and the amplitude of the oscillations about the stationary solution remains constant. This case simply corresponds to the situation when the competition oscillates in time.

The Hopf bifurcation analysis developed in this paper must be revised if the mathematical models are not based on ordinary differential equations. Recently an increasing number of partial differential equation models for tumor growth or therapy have been developed; see the references section of paper [12] and the references cited in the recent review paper [37].

Moreover thermostated integrodifferential equations have been proposed in papers [3843] for the modeling of biological systems, vehicular traffic, crowd and swarm dynamics, and economic systems subjected to external force fields. The introduction of the Gaussian isokinetic thermostat ensures the reaching of stationary states whose existence has been proved in [44]. The introduction of multiple time delays in thermostated equations, their stability, and bifurcation analysis is a future research perspective.

It is worth stressing that also the Boltzmann equation with the one-dimensional Bhatnagar-Gross-Krook relaxation type operator [45] and the Kac equation have been coupled with a Gaussian isokinetic thermostat; the existence of stationary solutions is ensured also within these frameworks; see papers [4648].

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

    Acknowledgments

    The first author acknowledges the support by the FIRB project RBID08PP3J-Metodi matematici e relativi strumenti per la modellizzazione e la simulazione della formazione di tumori, competizione con il sistema immunitario, e conseguenti suggerimenti terapeutici. The authors acknowledge the financial support of MEDAlics-Research Center for Mediterranean Relations.

        The full text of this article hosted at iucr.org is unavailable due to technical difficulties.