- Research
- Open access
- Published:
Excluding chaos by regularizing a macro model with Hicksian nonlinearity
Advances in Difference Equations volume 2015, Article number: 114 (2015)
Abstract
A piecewise linear macro model with ceilings and floors is perturbed in the way of regularization to interpret economic reality more reasonably. Hopf bifurcations for these perturbed models are obtained, excluding chaos which, as is well known, takes place in the unperturbed version. The study reveals the non-chaotic nature of the model.
1 Introduction
In this paper, we consider a macro model introduced by Simonovits (1982) [1], based on an earlier version by Honkapohja and Ito (1980) [2]. The model describes an economy with two markets, one for labor and one for consumer goods and its qualitative aspects have been analyzed by Hommes and Nusse [3] and Hommes [4].
For clarity, we briefly recall the assumptions in [1]. Let \(L_{t}\) stand for the employment and \(I_{t}\) the inventory at time t, where t is a nonnegative integer. Assume that \(Y_{t}^{D}=a+bL_{t}\) is the demand for goods and \(Y_{t}=\delta L_{t}\) is the production, where a, b, and δ are positive constants. The firms are assumed to have static expectations of the demand for goods, that is, \(E[Y_{t+1}^{D}]=Y_{t}^{D}\). The desired inventory \(I^{*}_{t+1}\) is considered to be proportional to the expected demand, so that \(I^{*}_{t+1}=\beta E[Y_{t+1}^{D}]\), \(\beta>0\). The supply and demand balance reads
which implies the following linear macro model:
In addition, it is assumed that the productivity of labor is larger than the marginal propensity to consume, that is,
With the above assumptions, (1.1) has the so-called Keynesian unemployment equilibrium
at which (1.1) has two complex eigenvalues with their product being \(b(\beta+1)/\delta\). Thus when \(\beta>\beta_{0}\equiv\delta /b-1\), \(E_{0}(\beta)\) is unstable.
Now assume that the supply of labor is a constant d, being the full-employment ceiling and that the production at full employment (\(L_{t}=d\)) is larger than demand, that is,
Considering the constraints \(0\leq L_{t}\leq d\) and \(I_{t}\geq0\), Simonovits [1] introduced the following piecewise linear model:
This nonlinear model still has \(E_{0}(\beta)\) as its unique equilibrium. By assumptions (1.2) and (1.3), it is easy to show that \(E_{0}(\beta)\) has a neighborhood lying in an area where the equations of (\(\mathcal{M}_{0}\)) are identical to those of (1.1) and then it is unstable for \(\beta>\beta_{0}\).
With ‘ceilings’ and ‘floors’ imposed on a linear system, the nonlinearity of the model (\(\mathcal{M}_{0}\)) is called a Hicksian nonlinearity. Hommes and Nusse [3] and Hommes [4] have shown that when \(\beta>\beta_{0}\) there exists a stable periodic orbit, a quasi-periodic attractor or a chaotic attractor for a certain range of the parameters. The research on the dynamics of economic models with Hicksian nonlinearity has attracted many economists and mathematicians (see [5–9]).
On the other hand, it is noted that such a model as (\(\mathcal{M}_{0}\)) presents some peculiarities. For example, its attractor contains a segment where \(L_{t}\) equals d, implying the occurrence of full employment (see [4]). However, full employment is thought to be unrealistic since, ascribed to the diversity of financial restrictions, the nonexistence of a common ceiling for the production of consumption and investment goods, and so on, the non-homogeneity of employments is ubiquitous in the production sectors (see [9–12]).
Another peculiarity that needs to be mentioned is the presence of the area of pure linearity around the equilibrium, which makes the bifurcation problem mathematically degenerate and prevents one from investigating the dynamic nature of such a model (see [12]).
Thus, some methods of modifying the models with Hicksian nonlinearities have been proposed to interpret the ‘ceilings’ and the ‘floors’ more reasonably (see [10–12]). One kind of these methods is to regularize such a model by smoothing out the corners at the ceilings and the floors without substantially modifying the assumptions of the model, but including some realistic situations. The regularization method was introduced by Saura et al. (1998) [12]. In [12], a piecewise linear economic model is perturbed in the way of regularization and its non-chaotic dynamic property is proved to be persistent against smoothing, which shows that this model is non-chaotic in nature. How about the nature of the dynamics of the economy stated above? Do the chaotic behaviors of the model (\(\mathcal{M}_{0}\)) survive smoothing?
Following the ideal of Saura et al. [12], in this paper the model (\(\mathcal{M}_{0}\)) is regularized. Hopf bifurcations for the regularized models are obtained, excluding chaos which takes place in (\(\mathcal{M}_{0}\)). The result implies that the model has a non-chaotic nature.
This paper is organized as follows. The regularized models of (\(\mathcal{M}_{0}\)) and the bifurcation results are presented in the following section. The proof of the results is given in Section 3, and a bifurcation theorem used here is given in the Appendix.
Throughout this paper, we always assume that the positive numbers a, b, d, δ, and β satisfy (1.2) and (1.3).
2 Regularized models and bifurcations
In this section, we first introduce the regularized models and then state the bifurcation results.
2.1 Regularized models
For brevity, denote \(M(x)=\max\{x,0\}\), \(m(x)=\min\{x,d\}\), \(\mu (x)=m(M(x))\) for \(x\in\mathbb{R}\) and \(\gamma(\beta,x,y)=[(\beta+1)(a+bx)-y]/\delta\) for \((x,y)\in \mathbb{R}^{2}\). Then (\(\mathcal{M}_{0}\)) is rewritten into the form
Denote \(w_{0}=a/(\delta-b)\) and \(z_{0}=a\delta/b\), that is, \((w_{0},z_{0})=E_{0}(\beta_{0})\). Then \(z_{0}>0\) and, by (1.3), \(w_{0}\in (0,d)\), which implies that \((w_{0},z_{0})\) possesses a neighborhood where, for β close to \(\beta_{0}\), the equations of (\(\mathcal{M}_{0}\)) are identical to those of (1.1). This is essential for the regularization and the analysis to work.
In the light of the regularization method introduced in [12], two families of \(C^{4}\)-smooth functions \(M_{\epsilon}(\cdot)\) and \(m_{\epsilon}(\cdot)\) are employed to approximate \(M(\cdot)\) and \(m(\cdot)\), respectively, where ϵ is a small positive number. We assume the following hypotheses:
- (H1):
-
\(M_{\epsilon}(x)\rightarrow M_{0}(x):=M(x)\) (\(\epsilon \rightarrow0^{+}\)), and for \(j=0,1,2,3,4\) the function \((\epsilon, x)\mapsto M_{\epsilon}^{(j)}(x)\) are continuous in a neighborhood of \((\epsilon,x)=(0, w_{0})\) as well as in a neighborhood of \((\epsilon ,x)=(0,z_{0})\);
- (H2):
-
\(m_{\epsilon}(x)\rightarrow m_{0}(x):=m(x)\) (\(\epsilon \rightarrow0^{+}\)), and for \(j=0,1,2,3,4\) the functions \((\epsilon, x)\mapsto m_{\epsilon}^{(j)}(x)\) are continuous in a neighborhood of \((\epsilon,x)=(0, w_{0})\);
- (H3):
-
\(0< m_{\epsilon}'(x), M_{\epsilon}'(x)< 1\), \(\lim_{x\rightarrow-\infty}m_{\epsilon}'(x) =\lim_{x\rightarrow+\infty}M_{\epsilon}'(x)=1\);
- (H4):
-
there exists \(\underline{z}\), \(0<\underline{z}<\min\{w_{0},z_{0}\}\), such that \(M_{\epsilon}''(x)>0\), \(M_{\epsilon}'''(x)<0\) and \(M_{\epsilon}^{(4)}(x)>0\) for every \(x\in(\underline{z},+\infty)\);
- (H5):
-
there exists \(\overline{w}\), \(w_{0}<\overline{w}<d\), such that \(m_{\epsilon}^{(j)}(x)<0\), \(x\in(-\infty, \overline{w})\), \(j=2,3,4\).
Here, the hypotheses (H1)-(H3) describe the closeness between \(M_{\epsilon}(\cdot)\) and \(M_{0}(\cdot)\) as well as between \(m_{\epsilon}(\cdot)\) and \(m_{0}(\cdot)\) (see Figure 1). To explain the hypotheses (H4) and (H5), we notice that the step functions \(M_{0}'(x)\) and \(m_{0}'(x)\) are approximated by smooth S-shaped curves \(M_{\epsilon}'(x)\) and \(m_{\epsilon}'(x)\), respectively. Thus, it is natural that \(M_{\epsilon}'(x)\), as indicated in (H4), is increasing and concave with decreasing curvature on \((\underline{z},+\infty)\) (see Figure 2). Similarly (H5) is also a natural hypothesis for \(m_{\epsilon}(x)\).
Denote \(\mu_{\epsilon}(x)=m_{\epsilon}(M_{\epsilon}(x))\) for \(x\in \mathbb{R}\). By replacing \(\mu(\cdot)\) and \(M(\cdot)\) in (\(\mathcal{M}_{0}\)) with \(\mu_{\epsilon}(\cdot)\) and \(M_{\epsilon}(\cdot)\), respectively, we get the following regularized model:
Here, the flexible curves \(\mu_{\epsilon}(\cdot)\) and \(M_{\epsilon}(\cdot)\) are employed to interpret the non-homogeneity in the labor market as well as in the consumption market. Also, it is noted that the smaller the positive number ϵ is, the closer this regularized model is to its original version (\(\mathcal{M}_{0}\)).
2.2 Bifurcations
The first conclusion of the following theorem confirms the existence of the equilibrium for (\(\mathcal{M}_{\epsilon}\)) and the second states the occurrence of the bifurcation and its stability.
Theorem 2.1
Assume that hypotheses (H1)-(H5) hold. Then
-
(i)
for \(\epsilon>0\) sufficiently small and β close to \(\beta_{0}\), (\(\mathcal{M}_{\epsilon}\)) has a unique equilibrium \(E_{\epsilon}(\beta)\) with \(E_{\epsilon}(\beta)\rightarrow E_{0}(\beta)\) (\(\epsilon\rightarrow0^{+}\));
-
(ii)
for \(\epsilon>0\) sufficiently small there exist \(\beta_{\epsilon}>0\) and \(\eta_{\epsilon}>0\) with \(\beta_{\epsilon}\rightarrow\beta_{0}\) (\(\epsilon\rightarrow0^{+}\)) such that for \(\beta \in(\beta_{\epsilon}, \beta_{\epsilon}+\eta_{\epsilon})\) (\(\mathcal{M}_{\epsilon}\)) has a locally attracting invariant closed curve surrounding the equilibrium \(E_{\epsilon}(\beta)\) which shrinks to \(E_{\epsilon}(\beta_{\epsilon})\) as \(\beta\rightarrow\beta _{\epsilon}\) from above. No such curve exists for \(\beta\in(\beta _{\epsilon}-\eta_{\epsilon}, \beta_{\epsilon})\).
As an illustration, we consider the following specific regularization. As in [12], let the step functions \(M'(x)\) and \(m'(x)\) be approximated by the logistic curves
respectively. Thus
It is easy to check that (H1)-(H5) are satisfied.
Set the data of the parameters by \(\epsilon=0.01\), \(a=0.095\), \(b=0.9\), \(d=1\), and \(\delta=1\). For \(\beta=0.1, 0.2, 0.4, \mbox{and } 0.45\), different orbits are plotted in Figure 3 and Figure 4. Each of the orbits contains 5,000 points after a transient time of 50. Figure 3 shows numerically that the equilibrium is stable when \(\beta=0.1\) and that invariant closed curves appear when \(\beta=0.2\) or \(\beta=0.45\). A 37-periodic obit is observed for \(\beta=0.4\) (Figure 4).
2.3 Comments
From the above theorem we know that for \(\epsilon>0\) sufficiently small and \(\beta>\beta_{\epsilon}\) near \(\beta_{\epsilon}\), the asymptotic behavior of the model (\(\mathcal{M}_{\epsilon}\)) is represented by the motion on the invariant closed curve, which is closely related to an important notion called the rotation number. When the rotation number is a rational number \(p/q\) the system has periodic obits with period q. When this number is irrational, there are no periodic orbits and every orbit is dense in the closed curve, giving rise to a quasi-periodic behavior [13]. Moreover, since the rotation number depends continuously on the parameters, the dynamics inside the invariant curve shifts back and forth from periodic to quasi-periodic behavior as β or ϵ change.
It is well known that periodic or quasi-periodic behaviors are non-chaotic, meaning that there are no periodic points with different periods, and the orbits that start close remain close for all times. The result implies that the model has a non-chaotic nature.
3 Proof of Theorem 2.1
In this section, it is always assumed that the hypotheses (H1)-(H5) hold.
Set \(\mathbb{R}^{+}=(0,+\infty)\), \(S=\mathbb{R}^{+}\times\mathbb{R}^{+}\). For simplicity, we make the change of parameters by letting
Thus to prove Theorem 2.1, we turn to the bifurcation problem for the mapping \(\Phi_{\epsilon}(k,\cdot,\cdot):S\mapsto S\),
Next, as in [14], this system will be transformed equivalently into a special form of mapping so that the bifurcation problem can be handled easily. To do this, we consider the mapping \(\pi_{\epsilon}(k,\cdot,\cdot): S\mapsto S\),
Let W denote the image of S under the mapping \(\pi_{\epsilon}(k,\cdot,\cdot)\). From (H3), we see that both of \(\mu _{\epsilon}(\cdot)\) and \(M_{\epsilon}(\cdot)\) are invertible. Then \(\pi _{\epsilon}(k,\cdot,\cdot)\) is a homeomorphism with its inverse mapping \(\pi_{\epsilon}^{-1}(k,\cdot,\cdot): W\mapsto S\),
By calculating, it can be checked that
where \(G_{\epsilon}(k,\cdot,\cdot)\) is defined by
Then the mappings \(\Phi_{\epsilon}(k,\cdot,\cdot): S\mapsto S\) and \(F_{\epsilon}(k,\cdot,\cdot):W\mapsto W\) are conjugate by \(\pi _{\epsilon}(k,\cdot,\cdot):S\mapsto W\), and then we only need to study the bifurcation of the mapping \(F_{\epsilon}(k, \cdot,\cdot)\).
Noticing that \(\varphi_{0}(1,z_{0},z_{0})= w_{0}\) and \(\psi _{0}(1,z_{0},z_{0})=z_{0}\), by (H1) and (H2) we get the following lemma.
Lemma 3.1
The functions \(\varphi_{\epsilon}(\cdot,\cdot,\cdot)\), \(\psi _{\epsilon}(\cdot,\cdot,\cdot)\) and \(G_{\epsilon}(\cdot,\cdot,\cdot )\) have continuous fourth-order partial derivatives in a neighborhood of \((\epsilon,k,u,v)=(0,1,z_{0},z_{0})\).
For s in a neighborhood of \(s=z_{0}\), consider the equation
Noticing that
and applying the implicit function theorem, we find that for \((\epsilon ,k)\) in a neighborhood of \((\epsilon,k)=(0, 1)\), (3.4) has a unique zero, denoted by \(z_{\epsilon,k}\), in a neighborhood of \(s=z_{0}\). Moreover, \(z_{\epsilon,k}\) is continuous jointly in \((\epsilon, k)\) and is continuously differentiable with respect to k. Obviously, \((z_{\epsilon,k},z_{\epsilon,k})\) is a fixed point of the mapping \(F_{\epsilon}(k,u,v)\). That is, the following lemma holds.
Lemma 3.2
For \((\epsilon, k)\) in a neighborhood of \((\epsilon,k)=(0,1)\), \(F_{\epsilon}(k,\cdot,\cdot)\) has unique fixed point \((z_{\epsilon,k},z_{\epsilon,k})\in W\). Moreover, \(z_{\epsilon ,k}\) is continuous jointly in \((\epsilon, k)\) and is continuously differentiable with respect to k.
Remark 3.1
Set \(E_{\epsilon}(\beta)=\pi_{\epsilon}^{-1}(k,z_{\epsilon,k},z_{\epsilon,k})\) with \(\beta=k\delta/b-1\). Then for \(\epsilon>0\) sufficiently small and β close to \(\beta _{0}\), (\(\mathcal{M}_{\epsilon}\)) has a unique equilibrium \(E_{\epsilon}(\beta)\). Moreover, it is easy to check that \(z_{0,k}=a\delta(k\delta -b)[b(\delta-b)]^{-1}\) and that \(\pi _{0}^{-1}(k,z_{0,k},z_{0,k})=E_{0}(\beta)\). Since \(z_{\epsilon ,k}\rightarrow z_{0,k}\) (\(\epsilon\rightarrow0^{+}\)), we have correspondingly \(E_{\epsilon}(\beta)\rightarrow E_{0}(\beta)\) (\(\epsilon \rightarrow0^{+}\)). Thus the conclusion (i) of Theorem 2.1 holds.
The following lemma confirms the occurrence of the bifurcation at the equilibrium.
Lemma 3.3
For \(\epsilon>0\) sufficiently small there exist \(k_{\epsilon}\) and \(\eta'_{\epsilon}\) with \(k_{\epsilon}\rightarrow1\) (\(\epsilon\rightarrow0^{+}\)) such that for every \(k\in (k_{\epsilon}-\eta'_{\epsilon},k_{\epsilon})\) or \(k\in(k_{\epsilon},k_{\epsilon}+\eta'_{\epsilon})\), the mapping \(F_{\epsilon}(k,\cdot ,\cdot)\) has an invariant closed curve surrounding the equilibrium point \((z_{\epsilon,k},z_{\epsilon,k})\).
Proof
For \((u,v)\in W\), by calculating, we have
Noticing that \(z_{0,k}>0\), by Lemma 3.1 we have
which, by (H1), leads to
It follows from (3.5) that
Let \(DF_{\epsilon}(k,z_{\epsilon,k},z_{\epsilon,k})\) denote the tangent mapping of \(F_{\epsilon}(k,\cdot,\cdot)\) at \((u,v)=(z_{\epsilon,k},z_{\epsilon,k})\), then
Noticing that
we see that, for k sufficiently close to 1, T has two conjugate complex eigenvalues \(\lambda_{0}(k)\) and \(\overline{\lambda}_{0}(k)\) with
Moreover, we have \(|\lambda_{0}(k)|= k^{1/2}\), which implies that, for a small positive number \(\eta_{1}\),
By Lemmas 3.1 and 3.2, the eigenvalues of \(DF_{\epsilon}(k,z_{\epsilon,k},z_{\epsilon,k})\) depend continuously on \((\epsilon ,k)\), which means that one of the eigenvalues, denoted by \(\lambda _{\epsilon}(k)\), tends to \(\lambda_{0}(k)\) as \(\epsilon\rightarrow0^{+}\). In view of (3.9), we see that, for \(\epsilon>0\) sufficiently small,
It follows that there exists \(k_{\epsilon}\in(1-\eta_{1}, 1+\eta_{1})\) such that \(|\lambda_{\epsilon}( k_{\epsilon})|=1\).
We claim that \(k_{\epsilon}\rightarrow1\) as \(\epsilon\rightarrow 0^{+}\). Otherwise there exist \(\epsilon_{n}\), \(n=1,2,\ldots \) , with \(\epsilon_{n}\rightarrow0^{+}\) (\(n\rightarrow\infty\)), such that \(k_{\epsilon_{n}}\rightarrow\hat{k}\neq1\) (\(n\rightarrow\infty\)), which implies \(1=|\lambda_{\epsilon_{n}}(k_{\epsilon_{n}})|\rightarrow |\lambda_{0}(\hat{k})|=\hat{k}^{1/2}\neq1\) as \(n\rightarrow\infty\), a contradiction.
Thus \(\lambda_{\epsilon}(k_{\epsilon})\rightarrow\lambda_{0}(1)\) as \(\epsilon\rightarrow0^{+}\). Noticing that \(\operatorname{Re}(\lambda_{0}(1))>0\), \(\operatorname{Im}(\lambda_{0}(1))>0\), and \(\lambda_{0}'(1)>0\), we see from Lemma 3.2 that, for \(\epsilon>0\) sufficiently small,
which, by Theorem A.1, implies that there exists \(\eta'_{\epsilon}>0\) such that for every \(k\in(k_{\epsilon}-\eta'_{\epsilon},k_{\epsilon})\) or \(k\in(k_{\epsilon},k_{\epsilon}+\eta'_{\epsilon})\), \(F_{\epsilon}(k,\cdot,\cdot)\) has an invariant closed curve surrounding the equilibrium point \((z_{\epsilon,k_{\epsilon}},z_{\epsilon,k_{\epsilon}})\). □
Now, we determine the direction of the bifurcation and its stability. Denote
From (3.6), we see that
By (H1) and (H2), it follows that \(p_{\epsilon}\), \(q_{\epsilon}\), and \(r_{\epsilon}\) are infinitesimal as \(\epsilon\rightarrow0^{+}\) and
We have the following comparisons.
Lemma 3.4
-
(i)
\([M_{\epsilon}''(\sigma_{\epsilon})]^{2}= o(p_{\epsilon})\) (\(\epsilon\rightarrow0^{+}\));
-
(ii)
\([M_{\epsilon}''(\tau_{\epsilon})]^{2}= o(q_{\epsilon})\) (\(\epsilon\rightarrow0^{+}\));
-
(iii)
\([m_{\epsilon}''(M_{\epsilon}(\tau_{\epsilon}))]^{2}= o(r_{\epsilon})\) (\(\epsilon\rightarrow0^{+}\));
-
(iv)
\([M_{\epsilon}''(z_{\epsilon})]^{2}= o(p_{\epsilon})\) (\({\epsilon\rightarrow0^{+}}\)).
Proof
From (3.10) and (H4), we can assume that \(z_{\epsilon}, \sigma_{\epsilon}>\underline{z}\). By (H4), we have \(M_{\epsilon}''(x)>0\), \(M_{\epsilon}'''(x)<0\), and \(M_{\epsilon}^{(4)}(x)>0\) for \(x>\sigma_{\epsilon}\). Then
It follows from (3.11) that the conclusion (i) holds. In the same way, we can prove (ii) and, by using (H5), (iii) can be derived similarly.
Lastly, in view of (H1), (H3), and (H4), it is easy to see that \(M_{\epsilon}(x)>M(x)\) for \(x\in\mathbb{R}\). Then \(z_{\epsilon}=M_{\epsilon}(\sigma_{\epsilon})>M_{0}(\sigma_{\epsilon})=\sigma_{\epsilon}\) and then \(0< M_{\epsilon}''(z_{\epsilon})<M_{\epsilon}''(\sigma_{\epsilon})\) which, by (i), implies (iv). □
Further, by using the above lemma, we can make the following useful comparisons. In view of the derivative formula
and the inequality \(2|pq|\leq p^{2}+q^{2}\) for \(p,q\in\mathbb{R}\), and by using (ii) and (iii), we get
which, combining with (i) and (iv), respectively, leads to
and
In addition, we have
By using (ii), (iii), and (3.11), it follows that
Lemma 3.5
The invariant curve derived from Lemma 3.3 is attracting and the bifurcation is supercritical.
Proof
Denote
By calculation, we have
It follows from (3.13)-(3.15) and (3.11) that
Further, by calculating,
Denote \(n_{\epsilon}=M_{\epsilon}'''(z_{\epsilon})\). It follows from Lemma 3.4 and (3.13)-(3.16) that, as \(\epsilon \rightarrow0^{+}\),
Let
From (3.17), we see that
On the other hand, by using (3.18), we obtain
From (3.19) and (3.20), we see that, for \(\epsilon>0\) sufficiently small,
By Theorem A.1, the conclusion of the lemma follows. □
Remark 3.2
In view of (3.2), the above lemma implies the conclusion (ii) of Theorem 2.1. Thus the proof is complete.
References
Simonovits, A: Buffer stocks and naive expectations in a non-Walrasian dynamic macro-model: stability, cyclicity and chaos. Scand. J. Econ. 84, 571-581 (1982)
Honkapohja, S, Ito, T: Inventory dynamics in a simple macroeconomic model. Scand. J. Econ. 82, 184-198 (1980)
Hommes, CH, Nusse, HE: Does an unstable Keynesian unemployment equilibrium in a non-Walrasian dynamic macroeconomic model imply chaos? Scand. J. Econ. 91, 161-167 (1989)
Hommes, CH: Chaotic Dynamics in Economic Models: Some Simple Cases Studies. Groningen Theses in Economics, Management and Organization. Wolters-Noordhoff, Groningen (1991)
Hicks, JR: A Contribution to the Theory of the Trade Cycle. Clarendon, Oxford (1950)
Gallegati, M, Gardini, L, Puu, T, Sushko, I: Hicks’ trade cycle revisited: cycles and bifurcations. Math. Comput. Simul. 63, 505-527 (2003)
Sushko, I, Gardini, L, Puu, T: Regular and chaotic growth in a Hicksian floor/ceiling model. J. Econ. Behav. Organ. 75, 77-94 (2010)
Matsumoto, A, Szidarovszky, F: Continuous Hicksian trade cycle with consumption and investment time delays. J. Econ. Behav. Organ. 75, 95-114 (2010)
Hicks, JR: Methods of Dynamic Economic. Clarendon, Oxford (1985)
Kurihara, KK: Post-Keynesian Economics. Allen & Unwin, London (1955)
Goodwin, RM: A growth cycle. In: Lundberg, E (ed.) The Business Cycle in Postwar World. Macmillan & Co., London (1957)
Saura, D, Vázquez, FJ, Vegas, JM: Non-chaotic oscillations on some regularized Hicks models. J. Econ. Dyn. Control 22, 667-678 (1998)
Robinson, C: Dynamical Systems: Stability, Symbolic Dynamics and Chaos. Studies in Advanced Mathematics. CRC Press, Boca Raton (1995)
Lauwerier, HA: Two-dimensional iterative maps. In: Chaos. Nonlinear Sci. Theory Appl., pp. 58-95. Manchester University Press, Manchester (1986)
Acknowledgements
The authors thank the referees for their important and valuable comments. This paper is supported by the scientific research projects of Beijing Municipal Commission of Education (KZ201310028031, KM201410028002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors completed the paper together. All authors read and approved the final manuscript.
Appendix
Appendix
The following statement is a special case of Hopf’s theorem for mappings, which is employed to prove Theorem 2.1.
Theorem A.1
(Hopf bifurcation theorem for plane mappings [12, 14])
Let \(F:R\times R^{2}\rightarrow R^{2}\) be a mapping of class \(C^{4}\) of the form \(F(k, x, y)=(y, G(k,x,y))\) which satisfies:
-
(i)
For every \(k\in R\), there exists \(\tilde{z}(k)\) such that \(F(k, \tilde{z}(k),\tilde{z}(k))=(\tilde{z}(k),\tilde{z}(k))\).
-
(ii)
\(DF(k, \tilde{z}(k),\tilde{z}(k))\) has complex eigenvalues \(\lambda(k)\), \({\overline{\lambda}}(k)\) such that \(|\lambda(k_{0})|=1\),
$$\bigl(\lambda(k_{0})\bigr)^{m}\neq1, \quad m=1,2,3,4 \quad \textit{and}\quad \eta'(k_{0})\stackrel {\mathrm{def}}{=} {\biggl.\frac{|\lambda(k)|}{dk}\biggr|_{k=k_{0}}}>0\ (< 0). $$
Then the mapping \(F(k,\cdot,\cdot)\) has, for every \(k< k_{0}\) or \(k>k_{0}\) sufficiently close to \(k_{0}\), an invariant closed curve surrounding the equilibrium point \((\tilde{z}(k),\tilde{z}(k))\).
The direction (\(k< k_{0}\) or \(k>k_{0}\)) of the bifurcation and its stability properties can be obtained as follows: Let us denote
and let
Then, if \(c_{1}(k_{0})<0\) (respectively, \(c_{1}(k_{0})>0\)), the invariant curve is attracting (respectively, repelling) and if \(c_{1}(k_{0})\cdot\eta '(k_{0})<0\) (respectively, \(c_{1}(k_{0})\cdot\eta'(k_{0})>0\)), the bifurcation is supercritical (respectively, subcritical).
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Zhang, X., Yin, M. Excluding chaos by regularizing a macro model with Hicksian nonlinearity. Adv Differ Equ 2015, 114 (2015). https://doi.org/10.1186/s13662-015-0453-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0453-3