Complexity International  
 

 

ISSN 1320-0682


Source:   http://www.complexity.org.au/ci/vol06/chiarella/chiarella.html   Received: 01/07/1998
Vol 6:   Copyright 1998   Accepted for publication: 15/10/1998

Learning about the Cobweb

Carl Chiarella and Xue-Zhong He
School of Finance and Economics
University of Technology, Sydney
PO Box 123 Broadway
NSW 2007, Australia
Email: carl.chiarella@uts.edu.au tony.he1@uts.edu.au
WWW: http://www.bus.uts.edu.au

Abstract:

In this paper we consider how suppliers in a cobweb model  may learn about their economic environment. Instead of assuming the one step backward-looking expectation scheme of the traditional linear cobweb model, we consider the subjective estimates of the statistical distribution of the market prices based on L-step backward time series of market clearing  prices. With constant risk aversion, the cobweb model becomes nonlinear. Sufficient conditions on the local stability  of the unique positive equilibrium  of the nonlinear model are derived and, consequently, we show that the local stability region (of the parameters of the equation) is proportional to the lag length L. When the equilibrium loses its local stability, we show that, for L=2, the model has strong 1:3 resonance bifurcation  and a family of fixed points of order 3 becomes unstable on both sides of criticality.  The numerical simulations suggest that the model has a simple global structure, it has no complicated dynamics as claimed recently by Boussard. However, complicated dynamics do appear when the model is modified with constant elasticity supply and demand. 

1    Introduction

Consider the well-known cobweb model:

  equation35

Here, tex2html_wrap_inline1265 and tex2html_wrap_inline1267 are quantities and prices, respectively, at period t, tex2html_wrap_inline1271 is the price expected at time t based on the information at t-1, and tex2html_wrap_inline1277 and tex2html_wrap_inline1279 are constants.

Instead of assuming the backward-looking expectation scheme tex2html_wrap_inline1281 as in Boussard [2], we rather assume that tex2html_wrap_inline1283 is a random variable drawn from a normal distribution. Let tex2html_wrap_inline1285 and tex2html_wrap_inline1287 be the mean and variance of tex2html_wrap_inline1283 , respectively. With constant absolute risk aversion A, the marginal revenue certainty equivalent is 1

  equation49

Suppose a linear marginal cost, as in (1), so that the supply equation, under marginal revenue certainty equivalent becomes

  equation53

Combining (2) and (3) and equating supply and demand gives the market clearing price in period t as a function of the subjective mean tex2html_wrap_inline1305 and variance tex2html_wrap_inline1287

  equation58

We assume agents form their subjective estimates of the mean and variance by considering past market clearing prices over a window of length L, that is

  equation63

and

  equation70

Let

displaymath78

Then, it follows from (5)-(6),

eqnarray84

Hence

  equation98

Because of the dependence of the subjective mean tex2html_wrap_inline1285 and variance tex2html_wrap_inline1287 as price lagged L periods equation (8) is a difference equation of order L. It is more convenient to reduce it to a system of L first order difference equations. Let

displaymath1321

and

displaymath1323

Then equation (8) can be written as the following difference system

  equation114

2    Local Stability

One can see that the system (9) has a unique positive fixed point tex2html_wrap_inline1325 satisfying

displaymath1327

which implies tex2html_wrap_inline1329 .

It can be verified that

displaymath1331

Therefore the Jacobian matrix of the system (9) at the steady state is given by the tex2html_wrap_inline1333 matrix

  equation140

Denote tex2html_wrap_inline1335 and tex2html_wrap_inline1337 with tex2html_wrap_inline1339 . We then have

displaymath1341

and more generally,

displaymath1343

Thus

  equation158

Using Jury's Test (see appendix A), we can derive the following local stability result. The proof of theorem 2 can be found in the appendix A.

Theorem 1

  thm163

It is interesting to notice that both the equilibrium tex2html_wrap_inline1347 and the local stability condition of the system (9) are independent from the risk aversion A. As pointed out by Boussard [2], this is a peculiarity of the particular expectation hypothesis chosen here. Yet, under our assumption, tex2html_wrap_inline1351 plays a key role on the local stability of the positive equilibrium of the system (9). Furthermore, the local stability condition tex2html_wrap_inline1353 implies that the region of the parameter tex2html_wrap_inline1355 on the local stability of the positive equilibrium of the system (9) is proportional to the lag length L. Theorem 2 tells us that larger time lags lead to larger region of stability (in terms of the parameter tex2html_wrap_inline1355 ).

3    Bifurcation Analysis

Let us consider the simplest case first, that is the case when L=2. Then we have a system

  equation175

where

displaymath1363

Let tex2html_wrap_inline1365 so that the fixed point is at the origin. We then have

  equation189

where

displaymath1367

The Jacobian of the system (13) at the origin is then given by

displaymath1369

From L=2, we have tex2html_wrap_inline1373 . It follows from Theorem 2 that the equilibrium tex2html_wrap_inline1375 of the system (12) will lose its stability when tex2html_wrap_inline1377 passes through 1. Also, when tex2html_wrap_inline1377 is near 1, the Jacobian matrix tex2html_wrap_inline1385 has a pair of complex eigenvalues, say tex2html_wrap_inline1387 and tex2html_wrap_inline1389 with

displaymath1391

where tex2html_wrap_inline1393 satisfies

displaymath1395

Let tex2html_wrap_inline1397 be the value of tex2html_wrap_inline1387 when tex2html_wrap_inline1401 , that is,

displaymath1403

Obviously, tex2html_wrap_inline1405 =1. For a map in tex2html_wrap_inline140 , according to Kuznetsov [6] (page 350), there is no ''strong resonances" if there is an eigenvalue, say tex2html_wrap_inline1409 , satisfying tex2html_wrap_inline1411 for q=1, 2, 3, 4. Otherwise, we say the map has a 1:q resonance (q=1, 2, 3, 4). Hence our map has a 1:3 resonance. As pointed out by Hale and Kocak [4] (page 481), the dynamics of such maps -- strong resonances -- can be exceedingly complicated and the answer is not yet completely known. The complexity of such maps is illustrated in one of the Example 15.34 in Hale and Kocak [4] (pages 481-482). For more detailed discussion on the bifurcations of fixed points in discrete-time maps on tex2html_wrap_inline1407 with both weak and strong resonances, we refer the reader to Iooss [5] when the maps involve one parameter and to Kuznetsov [6] when the maps involve two parameters.

The rest of this section is devoted to the study of generic bifurcations of the fixed points tex2html_wrap_inline1375 of the map defined by (12). To keep the discussion simple, we will treat tex2html_wrap_inline1377 as the only parameter of the map.

To perform a standard normal form calculation (see Arrowsmith et. al. [1]) for the system (13), we write the function g in the following form

displaymath1429

with

displaymath1431

We now introduce complex coordinates

displaymath1433

From which, we have

displaymath1435

Then the linear part of the map becomes

displaymath1437

Hence the mapping can be written in a complex form

displaymath1439

where

displaymath1441

The following Lemma on the normal form of the map (13) (with 1:3 resonance) can be found in Kuznetsov [6] (p.382).

Lemma 1

  lem315

It can be verified that tex2html_wrap_inline1453 . Hence, tex2html_wrap_inline1455 . Using a result from Iooss [5] (p.110, Theorem 1), we have the following bifurcation result.

Theorem 2

  thm343

Theorem 2 indicates the dynamic structure near the positive equilibrium tex2html_wrap_inline1469 and the hyperbolic periodic points bifurcating from tex2html_wrap_inline1471 near the critical value tex2html_wrap_inline1401 . In the following, two most common numerical simulation techniques, phase diagrams and bifurcation diagrams, are used in the study of the global dynamics of the nonlinear model.

Numerical simulations

The case L=2. In this part, we consider the case of L=2, that is the system (12). The parameters tex2html_wrap_inline1479 and tex2html_wrap_inline1481 are selected to be fixed and tex2html_wrap_inline1483 are varied to characterize the changing of tex2html_wrap_inline1377 . In the following discussion, we choose tex2html_wrap_inline1487 and tex2html_wrap_inline1489 .

Firstly, let tex2html_wrap_inline1491 so that tex2html_wrap_inline1493 . In this case, apart from the fixed positive equilibrium tex2html_wrap_inline1469 with tex2html_wrap_inline1497 , the system (12) has two sets of period three fixed points, denoted tex2html_wrap_inline1499 and tex2html_wrap_inline1501 , where tex2html_wrap_inline1503 and tex2html_wrap_inline1505 It follows from Theorem 3 that, when tex2html_wrap_inline1491 (so that tex2html_wrap_inline1509 ), tex2html_wrap_inline1471 is locally stable and the period three point set S corresponds to the order 3 bifurcating from the positive equilibrium tex2html_wrap_inline1471 .

Fig.1 shows the phase plot of tex2html_wrap_inline1517 , which is often called the pseudo-phase plot of the system. We select four initial values: tex2html_wrap_inline1519 and tex2html_wrap_inline1521 . Numerical simulations in Fig.1 indicate that, solutions with the initial points tex2html_wrap_inline1523 and tex2html_wrap_inline1525 converge to the fixed point tex2html_wrap_inline1471 , while the solutions with tex2html_wrap_inline1529 and tex2html_wrap_inline1531 converge to the period three point set P. One can choose other initial values to do the simulations, but it turns out that all the solutions with different initial values will converge to either tex2html_wrap_inline1471 or P, as indicated in Fig.1. A more detailed numerical simulation on the basins of the attractors  tex2html_wrap_inline1471 and P are plotted in Fig.2, in which, all the solutions with initial values from the shaded area converge to tex2html_wrap_inline1471 and the rest of the solutions converge to P.

 

tex2html_wrap1727

Figure 1: Pseudo-phase plot of (12) with tex2html_wrap_inline1491

  tex2html_wrap1729

Figure 2: Basin plot of (12) with tex2html_wrap_inline1491 .

In Fig.3we enlarge the central part of Fig.1, we can then see clearly the structure of the bifurcating point set S. We select four initial values tex2html_wrap_inline1553 and (2.0, 2.8). As suggested by Iooss [5] (pp. 127-128), S is a set of saddle points.

 

tex2html_wrap1731

Figure 3: Pseudo-phase plot of (12) with tex2html_wrap_inline1491 and the structure near the saddle point set S

Theorem 2 asserts the bifurcating behavior when tex2html_wrap_inline1377 is near the critical value 1. Now the question is whether the single one-parameter family of fixed points S of order 3 exists when tex2html_wrap_inline1377 moves away from 1. In fact one can check that, when tex2html_wrap_inline1483 increases from -1.95 to -1.82207, apart from the fixed equilibrium tex2html_wrap_inline1471 , the two set of one-parameter ( tex2html_wrap_inline1483 ) family of fixed points S and P of order 3 continue to exist and the distance between P and S, which is defined by tex2html_wrap_inline1591 , decreases. When tex2html_wrap_inline1593 , the system has only the positive fixed equilibrium tex2html_wrap_inline1471 and the solutions with initial values (6, 8.5), (6, 8.6), (6, 8.7) and (6, 10) are plotted in Fig.4. This implies that there exists tex2html_wrap_inline1597 , or equivalently there exists a tex2html_wrap_inline1599 such that, for tex2html_wrap_inline1601 , the structure of the solutions is given by Fig.1 and Fig.3; while for tex2html_wrap_inline1603 (and near tex2html_wrap_inline1605 ), the structure is indicated by Fig.4. Noting that the solutions remain near an order 3 periodic solution before they converge to tex2html_wrap_inline1471 with tex2html_wrap_inline1609 . An interesting finding is that, when we fixed the first initial value, say tex2html_wrap_inline1611 , and increase the second initial values, say tex2html_wrap_inline1613 , from 10 up to near 30, the numerical steps needed for the convergence increases, after 30, the numbers of steps decreases.

 

tex2html_wrap1733

Figure 4: Solutions tex2html_wrap_inline1267 of (12) with tex2html_wrap_inline1593

  tex2html_wrap1735

Figure 5: Pseudo-phase plot of (12) with tex2html_wrap_inline1619

As tex2html_wrap_inline1483 decreases from tex2html_wrap_inline1623 to -2 (but greater than -2), that is tex2html_wrap_inline1377 increases from tex2html_wrap_inline1605 to 1, the distance between two sets of one-parameter ( tex2html_wrap_inline1483 ) families of fixed points S and P of order 3 increases and, correspondingly, the distance between S and tex2html_wrap_inline1471 decreases (to zero). When tex2html_wrap_inline1619 , that is tex2html_wrap_inline1401 , the system has a fixed equilibrium tex2html_wrap_inline1471 with tex2html_wrap_inline1649 and an order 3 periodic set P. The phase structure in this case is indicated in Fig.5, in which four initial values (2.2, 6), (2.62, 6), (2.3, 6) and (3.67, 3.67) are selected. One can see that P is attracting and tex2html_wrap_inline1471 is unstable and it has also the properties of the saddle point S with both stable and unstable manifolds.

Now we choose tex2html_wrap_inline1659 (so that tex2html_wrap_inline1661 ), then the system (12) has a fixed equilibrium tex2html_wrap_inline1471 with tex2html_wrap_inline1665 and two sets of order 3 bifurcating points P and S. In Fig.6, we have the phase plot of the solutions with initial values (3.43, 3.43), (1.85, 1.5), (1.8, 1.5), (2.1, 2.25) and (2.15, 2.25). It shows that P is the only attractor. 7shows the convergence of the order 3 periodic orbit P, in which the initial value (1, 4) is selected.

 

tex2html_wrap1737

Figure 6: Pseudo-phase plot of (12) with tex2html_wrap_inline1659

  tex2html_wrap1739

Figure 7: Solution tex2html_wrap_inline1677 of (3.1) with tex2html_wrap_inline1659

General case. In general, near the critical value tex2html_wrap_inline1401 , the system (9) has a periodic L orbit (fixed points of order L) bifurcating from the positive fixed equilibrium. The bifurcating periodic L orbit may have a similar behaviour as the set S as in the case of L=2. 3and 3show the convergence of the unique fixed equilibrium of the system with L=10 and tex2html_wrap_inline1695 , where initial value (1.2, 1.3, 1.2, 1.3, 1.2, 1.3, 1.2, 1.3, 1.2, 1.3) is selected. When L=10 and tex2html_wrap_inline1699 , tex2html_wrap_inline1661 , 10 shows the bifurcation of the positive equilibrium and the attractivity of a family of periodic 10 orbits. Numerical simulations show that the system (9) with L > 2 has similar dynamics to the one with L=2.

 

tex2html_wrap1741

Figure 8: Pseudo-phase plot with tex2html_wrap_inline1707

  tex2html_wrap1743

Figure 9: Solution tex2html_wrap_inline1677 with tex2html_wrap_inline1707

  tex2html_wrap1745

Figure 10: Solution tex2html_wrap_inline1677 with tex2html_wrap_inline1699

Under the assumptions tex2html_wrap_inline1717 and tex2html_wrap_inline1719 , respectively, Boussard [2] shows that these assumptions may result in the market generating chaotic price and quantity series. He suggested that it would be more rational to treat both prices and quantities as symmetrical and this is indeed the basic assumption in this paper. Corresponding to our case when L=2, he claimed that the main conclusions remain approximately the same. However, our results suggest that, under these more general symmetrical assumptions, the market generates simpler dynamic behaviour. In order to generate more complicated dynamics and chaotic motion, we need to replace p and q in equations (1) by their logarithms, which is also a natural solution to avoid negative prices and quantities that can arise under the linear supply and demand curves. This will be treated in the next section.

4    Constant Elasticity Supply and Demand Curves

The problem of making use of linear supply and demand curves is the occurrence of negative values for prices and quantities. One solution to this problem is to replace p and q by their logarithms. That is, we replace the demand equation in (1) by

  equation495

and the supply equation by

  equation498

where a, b and tex2html_wrap_inline1481 are positive and tex2html_wrap_inline1483 are negative constants.

One can rescale the equations by letting 2 tex2html_wrap_inline1758 . We then have

  equation502

and

  equation506

Under constant absolute risk aversion A, the certainty equivalent of the revenue r=pQ is tex2html_wrap_inline1764 . Thus the marginal revenue certainty equivalent is

  equation509

Suppose a ``linear" (in terms of Q, not q) marginal cost so that the supply equation is

  equation513

These results lead to the supply equation

  equation516

that is

  equation519

Assume tex2html_wrap_inline1305 and tex2html_wrap_inline1287 are formed as (5) and (6) in section 1, then from (22) and (15) the equality of supply and demand implies the market clearing quantity

  equation526

Using equation(17), we can rewrite the equation (23) in terms of the price

  equation546

Let

  equation562

Then the equation (24) can be written as the following L dimensional system of first order difference equations

  equation568

The system (26) has a unique positive equilibrium tex2html_wrap_inline1776 . One can verify that, at the equilibrium point, the system (26) has the Jacobian matrix J as defined in section 2. Therefore, Theorem 2 holds for system ({26) too.

Fig.11 is the phase plot of system (26) when L=2 and tex2html_wrap_inline1782 (and hence tex2html_wrap_inline1509 ). We select three initial values tex2html_wrap_inline1786 , tex2html_wrap_inline1788 and tex2html_wrap_inline1790 . The solution with tex2html_wrap_inline1529 converges to the fixed equilibrium tex2html_wrap_inline1471 and the solutions with tex2html_wrap_inline1531 and tex2html_wrap_inline1523 seem to converge to a bounded attractor, rather than tex2html_wrap_inline1471 . Fig.12 shows the case when tex2html_wrap_inline1619 and the fixed equilibrium tex2html_wrap_inline1471 is unstable. The corresponding attractor seems more complicated.

 

tex2html_wrap1826

Figure 11: Pseudo-phase plot with tex2html_wrap_inline1782

  tex2html_wrap1828

Figure 12: Pseudo-phase plot with tex2html_wrap_inline1619

Fig.13 and Fig.14 show the case when tex2html_wrap_inline1661 . It seems that the system has a strange attractor  when tex2html_wrap_inline1661 . It may have different shape for different tex2html_wrap_inline1483 .

 

tex2html_wrap1830

Figure 13: Pseudo-phase plot with tex2html_wrap_inline1816

  tex2html_wrap1832

Figure 14: Pseudo-phase plot with tex2html_wrap_inline1659

  tex2html_wrap1834

Figure 15: Bifurcation diagram

The above numerical simulations suggest that, for the system (26), the market generates more complicated dynamics. In particular, when tex2html_wrap_inline1661 , the model may have chaotic  behaviour. The bifurcation plot of Q as a function of tex2html_wrap_inline1483 is shown in Fig.15, which indicates the complicated dynamics of the system. Those simulations imply that the general behaviour of models built along this line is very different from what we have seen in the previous sections (certainly quite a different picture to the one suggested by Boussard [2]).

5    Proof of Theorem 1

To give the proof of Theorem 1, we need introduce concepts of the inners of a matrix  and the positive innerwise matrix, which can be found from the book by Elaydi [3] (pages 180-181).

Let tex2html_wrap_inline1838 be a matrix. The inners of the matrix B are the matrix itself and all the matrices obtained by omitting successively the first and last rows and the first and last columns. A matrix B is said to be positive innerwise if the determinants of all its inners are positive.

We now consider the kth order scalar equation

  equation666

where the tex2html_wrap_inline1846 's are real numbers. Obviously, the characteristic equation of the equation (27) is given by

  equation673

The Schue-Cohn criterion  defines the conditions for the characteristic roots of equation (28) to fall inside the unit circle. More precisely, the following Jury's test  will be used in our proof to Theorem 1.

Theorem 3

  thm681

Now let us prove Theorem 1. What we need to show is that all the zeros of the characteristic polynomial tex2html_wrap_inline1854 defined by (11) lie inside of the unit circle if and only if tex2html_wrap_inline1509 , that is, tex2html_wrap_inline1854 satisfies the three conditions in Theorem 3 if and only if tex2html_wrap_inline1509 .

From tex2html_wrap_inline1862 ,it is easy to see that tex2html_wrap_inline1864 and tex2html_wrap_inline1866 if L is odd and tex2html_wrap_inline1870 if L is even. Hence the first two conditions of Theorem 3 hold if and only if tex2html_wrap_inline1509 . To show the third condition is satisfied, it is enough to show that, for tex2html_wrap_inline1876 , the matrix tex2html_wrap_inline1878 with tex2html_wrap_inline1880 are positive if and only if tex2html_wrap_inline1509 .

Let k=2m be even. Then we have

equation708

To evaluate the determinate of tex2html_wrap_inline1886 , we use (-1) to multiply the i-th columns and add to the 2m-(i-1)-th columns, respectively, for tex2html_wrap_inline1894 . We then have

eqnarray713

Now for tex2html_wrap_inline1896 , we first add the 2m-(i-1)-the columns to the i-the columns, respectively. Then, multiply tex2html_wrap_inline1377 to the 2m-(i-1)-th column and add to the all the first m-1 columns. as a result, the upper left block matrix become a zero matrix and the down left block matrix has tex2html_wrap_inline1908 as non-diagonal elements and tex2html_wrap_inline1910 as diagonal elements. Correspondingly,

equation721

We use -1 to time the first column and add to all the rest columns. Then, use -1 to multiply the columns 2 to k and add them to the first column. As as result, we have a low triangle matrix with tex2html_wrap_inline1918 . Therefore,

  equation726

Similarly,

equation729

To find the tex2html_wrap_inline1920 , we expand it first by the last row and then by the first row and these lead to tex2html_wrap_inline1922 . Since k=2m, it follows from the formula tex2html_wrap_inline1926 that

  equation737

In conclusion, we have for k=2m,

  equation740

Next we assume that k=2m+1. Then

equation743

It is easy to see that tex2html_wrap_inline1932 . Using (35), we have

  equation750

On the other hand,

equation754

To find the tex2html_wrap_inline1920 , we multiply the i-th column by -1 and add to the 2m-(i-1)-the column, respectively, for tex2html_wrap_inline1894 .

equation759

Similarly, one can use row operations to reduce the upper left tex2html_wrap_inline1944 matrix to a zero matrix and correspondingly,

equation764

Multiply the first column by -1 and add all the rest of the columns of tex2html_wrap_inline1920 and then, multiply the last column by tex2html_wrap_inline1950 and add to the first column, multiply tex2html_wrap_inline1952 to the columns tex2html_wrap_inline1954 and add to the first column. We then add up with

equation770

Therefore

  equation776

Then from (37) and (42), for k=2m+1,

  equation781

Finally, it follows from (35) and (43) that tex2html_wrap_inline1878 are positive if and only if tex2html_wrap_inline1509 and this completes the proof.

6    Footnotes

[1]
With constant absolute risk aversion A, we assume the certainty equivalent of the receipt r=pq is tex2html_wrap_inline1297 . Then maximisation of this function with respect to tex2html_wrap_inline1265 leads to the marginal revenue certainty equivalent tex2html_wrap_inline1301
[2]
This rescaling is equivalent to a change in numeraire.

References

1
D. Arrowsmith, J. Cartwright, A. Lansbury, and C. Place, The Bogdanov map: Bifurcations, model locking, and chaos in a dissipative system, Int. J. Bifurcation and Chaos 3 (1993), 803-842.

2
J.-M. Boussard, When risk generates chaos, J. Econ. Behav. Organ. 29 (1996), 433-446.

3
S.N. Elaydi, An introduction to difference equations, Springer, New York, 1996.

4
J. Hale and H. Kocak, Dynamics and bifurcations, Texts in Applied Mathematics, vol. 3, Springer-Verlag, New York, 1991.

5
G. Iooss, Bifurcations of maps and applications, Mathematics studies, vol. 36, North-Holland, Amsterdam, 1979.

6
Y.A. Kuznetsov, Elements and applied bifurcation theory, Applied mathematical sciences, vol. 112, SV, New York, 1995.



       

EMail Contact:  Complexity International Editor