Professional Documents
Culture Documents
Economics of Chaos
Economics of Chaos
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
Oxford University Press is collaborating with JSTOR to digitize, preserve and extend access to Oxford
Economic Papers.
http://www.jstor.org
THE ECONOMICS
OF CHAOS OR
THE CHAOS OF ECONOMICS*
By DAVID KELSEY
Abstract
1. Introduction
Economics and weather forecastinghave a lot in common. When people
are not talking about the weather they talk about the economy. Both
weather forecasters and economic forecasters have a bad name with the
public. The similaritiesgo further:both are trying to predict the outcomes
of very large systems, the componentsof which mutuallyinteractin complex
ways. The output of both systemshas a seeminglyrandomappearance,even
though there are certain other regularities (e.g., weather is hotter in
summerthan winter, also there is higher employment).
In recent years some mathematicsknownpopularlyas the theory of chaos
has been studied. This deals with systems of equations which are able to
produce motions so complex that they appear completely random. It is
thought that chaos might be applied both within fluid mechanics(which is
the body of theoretical knowledge on which weather forecastingdepends)
and economic theory.
Anyone who has watchedthe flow of liquid will realize how complexfluid
motion can be. Suppose that water is flowing down a straightchannel with
smooth sides. The motion will break into a series of swirls which have a
somewhat random appearance. Despite the fact the initial conditions are
symmetricboth in space and time the flow will be symmetricin neither.
Such fluid flows are described as being turbulent.Turbulenceis caused by
viscosity or friction within the fluid. Viscosity introducesnon-linearterms
into the equations of motion which allow complex turbulentsolutions to be
possible. As an example, the presence of viscosity makes aeroplane flight
possible. In the absence of viscositypressureson the upper and lower sides
of the wing would be equal and hence there would be no uplift.
Because of the random character of turbulent motion it has been
suggestedthat the mathematicsof chaos can be applied in this area. Similar
* Financialsupportfrom the ESRC post-doctoralfellowshipscheme is gratefullyacknowledged. I would like to thank Colin Sparrowwhose excellent lectures greatly encouragedan
interestin this subject. I am also gratefulfor commentsfrom MargaretBray, David Canning,
ParthaDasgupta,Joy Read, Peter Read, Gene Savin, Peter Sinclairand two referees of this
journal.
(C Oxford University Press 1988
D. KELSEY
Xt+ll
XI
Xt
XI
X(
1/2
Xt
FIG. 1
where fr(x)=rx(1-x):
O -r e-4.
(2.2)
_ 1
XO xI
x2
Yr 1/2
FIG. 2
xt
wish to observe how this affects the properties of the solution. The function
fr has a single hump. As r is increased the height of this hump increases.
When r is greater than 1 the diagram will look like Fig. 2. The graph of fr
crosses the 450 line at two points-the origin and Yr = (r - 1)/r. In fact for
1 - r - 4, these are the only two stationary solutions of the equation. A
change in the dynamics of the system has occurred. Starting from a typical
point x0, subsequent values of x no longer tend to the origin but instead
converge on the stationary point at Yr. For 1 - r - 3 the origin is unstable
and Yris stable. Indeed it can be shown that from almost every initial value
the path will converge to Yr= (r - 1)/r. The exceptions are the origin which
is also a stationary point, and 1, which is mapped to the stationary point at
the origin (fr(1) = 0).
Thus if 0 < r S 3 the solutions of (2.2) are not unlike the solutions of a
linear difference equation. There is a stationary state to which the system
converges from almost all initial values.
2.2. Existence of cycles
A major area of research in economic theory has been to explain
economic phenomena which appear cyclic, particularly business cycles.
One reason why economists are interested in non-linear dynamics is that
cyclic solutions are very common. It is thought that this might be useful in
theories, which try to explain business cycles.
A k-cycle is a set of k distinct points x1, x2,..., Xk, such that for all
i: 1 - i < k - 1: fr(xi) = xi+1 and fr(Xk) = x1. For r > 3 there are cyclic solutions to the logistic equation (2.2). Unlike the linear difference equation
(2.1) there can be cycles of many different periods.
Sarkovskii's theorem is very informative about the structure of cyclic
solutions to non-linear difference equations. It is a very fascinating result,
D. KELSEY
2k
<2 k+1
<
..< 2k 1(2m+ 1) < 2k+1(2m -1) < ..< 2k+1 . 5 < 2k+1 3 <
...<2 (2m+1)<2
(2m-1)<...<2
5<2 3<
That is, greatest are the odd numbersgreater than 3, then the powers of 2
times these odd integers, and then the powers of 2 backwards.
Sarkovskii's Theorem: If f is a continuousmap of an interval into itself
with a p-cycle and q < p in Sarkovskii'sorderingthen f has a q-cycle.
It is clear from this, that first-ordernon-linear difference equations can
admit a much richer kind of cyclic solution than the correspondinglinear
differenceequations. Considerthe mth-orderlinear differenceequation
amxt+m + am-1xt+m1
...
+ aixt
=f
(t)
(2.3)
This is not essentially more complicatedto solve than (2.1). The only new
difficultieswhich arise are that it is possible to have multiple or complex
roots.1Complexroots can give rise to cyclic solutions. But even (2.3) has a
less complex structurethan the non-linear equation. With the mth-order
linearequationit is only possible to have a finite numberof cyclic solutions.
It can be seen from Sarkovskii'stheorem that in the non-linearcase it is
possible to get an infinite numberof cycles of differentperiods even with a
first-orderdifferenceequation. Indeed this will be true provided that there
is a cycle of odd period.
2.3. Stability of cycles
Yr,
Yr2
Xt
FIG. 3
dfr
-ld (Xi)
dfr
*d
dfr
dfr
(Xk).
(2.4)
Hence the absolute value of the derivativeis the same at any point on the
cycle. Thus our definitionof stabilitydoes not depend on whichpoint on the
cycle we consider. At the maximumx * of fr the value of the derivativeis
zero. Thus the productin (2.4) is zero. We have the simple propositionthat
any cycle which contains the maximum of fr will be stable. In fact as r
increasesfor any cycle there is an r-value for whichx* will be on that cycle.
Hence the cycle will be stable for some r-value. Furtherby continuitythe
cycle will be stable on a neighbourhoodof that r-value. Thus for any k there
is an intervalof r-valuesfor which the system has a stable k-cycle.
We shall now investigate how the set of stable solutions to the logistic
D. KELSEY
3.57
FIG. 4
4... < 2k < ... First we get a fixed point, then an orbit of period 2, followed
by an orbit of period 4. The cycles whose periods are powers of two appear
first. In particularif there is a cycle of period 3, there are cycles of all other
periods.
Since all the cycles before r., had been obtained from period-doubling
bifurcationsthey all had periods which were powers of 2, (i.e., for some n
the period was equal to 2n). In fact between r = 3 and r = 4 stable cycles of
all periods can be seen. The behavior of the cycle of period 3 is fairly
typical.
Below the r-values for which a stable 3-cycle can be observed the system
is chaotic (see section 2.4 for a descriptionof chaos). As r approachesthe
value at which a 3-cycle appearsa phenomenonknown as intermittentchaos
occurs. In this, the system essentially alternates between following an
approximate3-cycle and chaotic behaviour.It has been suggestedthat intermittentchaos maybe importantduringthe onset of turbulentmotionin fluids.
Then as r is increased a stable 3-cycle appears. Like our fixed point the
3-cycle undergoes a chain of period-doublingbifurcations.It is successively
replaced by stable cycles of period 6, 12, 24,..., 2n *3, ... . These
bifurcationsaccumulateat a limit point where the behaviour is similar to
that at rOO
(the limit point of the period-doublingsequence following the
2-cycle). After the limit point the system returnsto chaotic behaviour.The
set of r values from the beginning of the 3-cycle to the limit point of the
sequence of bifurcationsis known as a period-doublingwindow.
Between r = 3 and r = 4 there are, in theory, period-doublingwindows
containing cycles of all possible lengths. Clearly most of these perioddoubling windows occupy a very small interval in the parameterspace. In
numericalsimulationsthe only period-doublingwindows which can be seen
are those startingwith cycles of relativelyshort periods such as 3, 5 or 7.
2.4. Chaos
the initialvalue of x). Then with some simple algebraand using the addition
formulae for trigonometric functions one can find that the solution is,
xt = 4(1 - cos (2tu)). It can be seen that the solution is periodic if u/2jr is
rational. Furtherby choosing u appropriatelya cycle of any desired length
can be found. If u/2jr is irrationalthen the solution is aperiodic.
In addition the motion has a propertyknown as sensitive dependenceon
initial conditions. Suppose x0 = 4(1 - cos (u)) and Yo= 1(1 - cos (u + E))
then the solutions of (2.2) starting from initial values x0 and yo are
xt = (1
cos (2tu)) and yt = 4(1 - cos (2tu + 2tE)) respectively. The term 2tE
becomes large very rapidlyindeed. Thus no matter how small E is, xt and yt
will diverge very rapidly. (But the time taken to diverge will in general
depend on E.)
D. KELSEY
10
1/2
FIG.
Xt1
onto the whole interval. Thus lengths expand roughlyby a factor of two on
each application of the map. We have a process of expansion and
reinjectionwhich is somewhat like successivelycutting and shufflinga pack
of cards. Viewed this way it is not surprisingthat the dynamicsof the system
have an unpredictablecharacter.
An interesting result in this area was a paper by Li and Yorke (1975)
which showed that if there is a cycle of period 3 then there is 'chaos'. By
chaos Li and Yorke meant that there are periodic orbits of all periods.
(Note that this is essentiallya corollaryof Sarkovskii'stheorem, discussedin
Section 2.2) There is also an uncountableset S of initial values, which all
have aperiodictrajectories.Furthermoreif x, y are in S then the orbits of x
and y come arbitrarilyclose together and move apart again an infinite
numberof times. Formallythis is expressedas:
limsup If (X)-f
nl th
(Y)l >0
liminf If (x) -f
n
doo
(Y)l = 0.
D. KELSEY
11
If (X) -f
(z)I > 0
This says that the path of x will wanderaway from any periodic orbit.
The Li and Yorke result has the advantagethat it is fairly easy to check
that its sufficientcondition (i.e., existence of a 3-cycle) is satisfied.Many of
the articles on chaos in economics have used the Li and Yorke result to
argue that economic variables are likely to follow an erraticpath. See, for
exampleBenhabib and Day (1981), (1982) and Day (1982), (1983).
Recently these papers have been attacked, see for instance Grandmont
(1985) and Melese and Transue (1986). The criticismof the use of the Li
and Yorke result is as follows. While the result is certainlytrue it does not
preclude the possibility that there is a stable cycle of period 3 (or some
other number). Further it is possible that for a generic initial value the
motion will eventuallyconverge to that cycle. The reason that this does not
contradictthe Li and Yorke result is that it is possible for an uncountable
set to have Lebesgue measure zero. Thus the set S mentioned above could
have measure zero, and hence be essentiallyunobservable.For the logistic
map a more useful indicator of chaos is when all cycles are unstable.
Jakobson(1981) has shown that, chaos, in this latter sense will occur for a
set of parametervalues which are not negligible.
In some ways the behaviour of differentialequations is unlike that of
differenceequations. In this section we have shown that the solution of a
one-dimensionaldifferenceequation with fairly simple non-linearitiescould
be extremely complex. This is not true for one-dimensional systems of
differentialequations, nor even for two-dimensionalsystems. In these cases
chaos cannot arise because of the Poincare-BendixsonTheorem (see Hirsch
and Smale (1974)) which says that any limit of a two-dimensionalsystem of
differentialequations is either a fixed point or a cycle. In three dimensions
this is no longer true. The Lorenz equations are an example of a chaotic
three-dimensionalsystem of differentialequations.
I think it is clear that this theory has potential for explainingeconomic
phenomena. Two of the most strikingfeatures of any macro-economicdata
are its random-likeappearanceand its seemingly cyclical character.Cycles
in economic data have often been noticed, from short-runbusiness cycles,
to 50-year Kondratievwaves. There have been many attempts to explain
them, e.g., Lucas (1975), who argues that random shocks combined with
various lags can give rise to phenomena which have the appearance of
cycles, and Samuelson (1939) who uses the familiar multiplier-accelerator
model. Despite these and other pieces of research one is still under the
impression, that something further could be said about business cycles.
Dynamic models of the sort we have been examining here are able to
generate cyclic behavior. There is therefore a good case that they will be
able to help us understandbusiness cycles.
12
(2.5)
(r + nt)xt(l
xt)
(2.6)
D. KELSEY
13
40
03.0
FIG. 6
This agrees with what has been observed in experiments on fluid motion.
In these only a finite number of period-doubling bifurcations are seen
before turbulent flow commences. This number is usually low, typically less
than six. (See Citanovic (1984a) for further details.) Figure 6 shows the
results of a computer simulation of this system.5
Compared with the system with no random errors, chaos will appear in
equation (2.5) at a lower value of the parameter r. This follows from the
fact that in the noisy system, the behavior is essentially a mixture of the
behavior at neighboring parameter values. As the noise level is increased
this averaging occurs over a wider range of parameters. Hence successively
lower r's get averaged with chaotic orbits.
Within the chaotic region, the presence of random errors eliminates most
of the periodic windows. In numerical experiments only the period 3 orbit is
visible. A curious fact is that the influence of noise on the period 3 orbit is
different to its effect on the period 4 orbit. In the deterministic case the
probability density for the period 4 orbit consists of four point masses. In
the presence of random errors these broaden into four bands with
essentially zero density between them. In the case of the period 3 orbit as
well as the three points thickening into bands, a broad background fills in
between the peaks. As noise increases this background increases until the
peaks are washed out. This arises because the period 3 cycle is much closer
to a chaotic orbit than the period 4 cycle. Figure 7 shows the effect on the
period 3 orbit of raising the level of noise.
5
I would like to thank Jim Crutchfield and the North Holland Publishing Company for
permission to reproduce Figures 6 and 7 which previously appeared in Crutchfield et al. (1982).
14
0
0.0
0.001
FIG.
C2) = v1(c1)
V2(C2)-
Although most of our results are true for more general v-functionswe shall
D. KELSEY
15
v1(cl) = in (c1)
v2(c2)
C2
Where c1 and c2 denote consumptionin the first and second periods of life
respectivelyand acis a parameter.The consumeris assumedto have positive
endowments e1, e2 of the consumption good in the two periods. He
maximizesutility subject to the budget constraints
pic, + m1 = p1e,
(3.1)
p2c2 = m1 + p2e2
where m1 is the money balance the consumerholds from the first period to
the second. The consumptiongood cannot be stored. Thus the only way the
consumercan transferconsumptionfrom one date to another is by holding
money. It is still possible that consumerswill choose not to trade or hold
money, simply consuming their own endowments in each period. This
possibilityis usuallyreferredto as an autarkicequilibrium.We assume that
this does not occur. In all the equilibria we consider the consumershold
positive money balances. (Technicallythis can be ensured by choosing the
endowmentsappropriately.)
Examiningthe constraints(3.1) we see that the consumer'sconsumption
in the two periods only depends upon 0 = P1/P2. That is, demand is
homogenousof degree 0 in prices. Note thatP2 here is the expected price in
the second period. In this example we are assumingperfect foresight(which
is the same as rational expectations in a deterministicmodel). People's
expectationsof prices in the second period are the actual equilibriumprices
in that period. Thus we may write a typical consumer'sexcess demands as
z1(O) and
z2(0)
i = 1, 2.
The consumers'
budget constraintsays
Ozt(0t)
= 0
+ Z2(0t)
(3.2)
VI(cI(00))
-0
Pt+1
V2'(C2(0at))
(3.3)
Z1(ot)
-Z2(0t)
(3.4)
(3.5)
16
Define i,
z2(0-1).
vt(e2
+ Z2(0O))Z2(0O)
(3.6)
(3.7)
1t+l)Pt+l
u2(P)
Mt =
pv'(e2
U1
+ M)
U2(Pt+l)
(3.8)
Let
differenceequation becomes
x=
Mt= X(Mt+l)
The first thing we would like to ask about this model is what are the steady
states? This is answeredin the following lemma.
Lemma 3.1: The only steady states are constant prices 0 = 1 or the
no-trade (autarkic)equilibrium0 = 0.
Proof
()
M=O
or
z21(M)
z-'(M)=l
=
Recall z-1(M) is equal to relative prices between the first and second
periods. E1
The next proposition relates this overlappinggenerations model to the
theory of Section 2.
Proposition 3.2: The function x is single-peaked, its maximum value
occurs at M*=e2/(aC- 1). As a Moo, 0* O> and (y*)(M el.
Proof
Recall x(M)= u11 0 U2(M) and ul(M) = M/(ei - M), U2(P) = M(e2+ M).
Thus
Differentiating we obtain u'(p) = (e2 -(a - 1)M)/(e2 + M)-1.
u2'() Z 0 as M e2/(Ca-1). Hence u2 is a single-peakedfunctionwhich has
its maximumat M*= e2/(CV- 1) Since ul (and hence ulT1)is an increasing
D. KELSEY
17
tends to e1 as y tends to
x is an increasing
See Appendix. EZ
Thus the overlappinggenerationsmodel which we have set up is capable
of generating both cycles and chaotic behavior. In my opinion the main
message of this is that non-linear dynamics is a possible cause of the
irregular cycles which we see in macroeconomic data. The particular
structureof this model should not be taken too seriously. For instance the
average life of a generation is about 25 years. If we take the division into
generations very literally then the shortest cycle which this model can
producelasts about 50 years. This would make it a sort of Kondratievwave.
We are however much more interestedin explainingshort-termfluctuations
in employment and output. Grandmontgoes on to argue that there is a
possible counter-cyclicpolicy, which will smooth out the fluctuationshe
discovers.It is indeed possible that there may be a governmentpolicy which
will be able to smooth out Kondratievwaves. But this is a differentissue
from what is usuallymeant by a counter-cyclicalpolicy.
3.2. Other economic models involving chaos
18
D. KELSEY
19
that the system can generate chaotic behavior. The discovery that optimal
behavioris chaotic is in some senses more worrying.Given the difficultyof
following chaotic paths, in these circumstancesactual behavior will almost
inevitably be sub-optimal. Simon (1979) has argued that due to the
difficulties of calculating an optimal strategy economic agents will not
behave in an optimizing way, but will instead aim for a satisfactory
outcome. This sort of behavior is referred to as bounded rationalityor
satisficing.The possibilitythat the optimalstrategymight be chaotic strongly
reinforcesSimon's argument. Given the immense difficultiesin following a
chaotic path agents might well opt for a sub-optimal but less complex
strategy.
4. Chaos and rational expectations
Time series of many economic variables have the appearanceof being
noisy cycles. The traditional explanation of this is that the economy is
subjectto randomshocks. These may be due to the weather, earthquakesor
any similarexogenous phenomenawhich could influenceeconomic activity.
An importantexample of this approachcan be found in the work of Lucas
(1975).
20
D. KELSEY
21
22
D. KELSEY
23
i(A) for
all sets A, on which y is defined. This says that the probabilityis preserved
by the mapf. It should be clear why it is necessaryfor the measureto have
this property.
The measurey is ergodicfor f if for any p-integrablefunctiong.
lim-E
n-,-
g(f'j(x))
n =11
fgdy
24
values. Notice that after the system has been runningfor some time, values
of the variablex in a set of i-measurezero will not be observedin practice.
In such circumstancesit may be reasonableto assume that an individual
with rational expectations would use the probability y. Given the complexity of non-linear dynamics, it is not reasonable to suppose that an
individualwould actuallybe able to calculate,u. Indeed even highly trained
pure mathematicianshave only been able to calculateinvariantmeasuresin
a few special cases. It is, however, possible that by observingthe outcome
of the system a large numberof times, that an individualwould be able to
get a close approximationto the true distribution.A very interestingpiece
of research would be to construct an actual learning process which could
model this. It may be possible to base such a process on our observation
above, that when there is an ergodic measure, giving equal probabilityto all
observations will result in expectations that converge to the true
distribution.
The best known example of an invariantmeasureis the case of the logistic
map (equation (2.2)) when r = 4, x,+1= 4x,(1 - xt). Recall we have found an
analytic solution for this equation in section 2.4. This system has an
invariantmeasure with density function 1brV(x(1 - x)). Just as a general
probability distributiondoes not always have a density function, (e.g., a
discrete distribution would not have a density function), so a density
function cannot always be found for an invariantmeasure. There may be
point masses in the distribution. Other complicating factors are also
possible. Hence we are especiallyfortunatein the case of r = 4.
For an individualwho is interestedin the long-runbehaviorof the system
a sensible interpretationof rationalexpectationswould be that he used the
invariantmeasure as his expected distributionof the variable. There are
however known examples where there is no invariant measure. In such
cases it is not at all clear what a rational expectation would be. This is a
difficultproblem for those who advocate rational expectations. Most other
suggested expectations rules, e.g., adaptive expectations, will continue to
work in chaotic regimes. A qualificationshould be introducedhere. It is not
the case that the invariant measure would give a good estimate of next
period's value of a particularvariable conditional on the currentobservation. It might, however, be the case that such a measure would provide a
reasonablelong-runexpectationof a chaotic variable.
We shall now give an example of circumstancesin which it might be
correct to base expectations on an invariant measure. Suppose that
consumersbehave in a manner similar to that described in Benhabib and
Day (1981). Because of the effects of previous consumptionupon tastes
actual consumption follows a chaotic path. Suppose further that all
consumers behave in a similar way, that the preferences of a given
consumer are independent of the preferences of any other consumer.
Finally assume that there are sufficientlymany consumersthat the law of
large numbers applies. Then if the dynamicprocess generatingconsumers'
demand has an invariant measure, that measure should be the rational
D. KELSEY
25
expectationof demand for the supplierof the good (after resealingto allow
for the difference in magnitude between market demand and individual
demand).
5. Multi-DimensionalMaps
So far we have only dealt with first-orderdifference equations in one
variable. This is not because we believe that such systems provide a good
description of economic activity, but because such systems are the best
understood. Chaos can also arise in higher-orderdifferencesequations, in
systems with more than one variable, and in systems of differential
equations of dimension at least 3. These are less well understoodthan the
one-dimensional maps studied in Section 2. Nevertheless certain multidimensionalsystems have been reasonablywell studied. Examples are the
Lorenz equations and the Henon map. (These both are very simplified
models of the weather.)
Most of the studies which have been carried out have had physical
applicationsin mind. Although a couple of papers have suggestedpossible
economic applications of the Henon map. See Deneckere and Pelikan
(1986) and Boldrin and Montrucchio (1985). Most physical systems are
dissipative,i.e., the system contains forces due to friction. This means that
they are volume contracting.In general there will be a single direction in
which the rate of contractionis the least. In the long run only effects in this
directionwill be important.It follows from this that a dissipativesystem is
essentially one-dimensional. The theory of one-dimensionalmaps as outlined in Section 2 can be applied to a system of this sort.
Another possibilityis that the principleof conservationof energy can be
invoked to require that a multi-dimensionalsystem be conservative or
Hamiltonian (i.e., they preserve areas). There has been a considerable
amountof work done on conservativedynamicalsystems.
These conditionsarise from propertiesof the physicalsystems motivating
the equations. Economic systems cannot in general readily be classifiedas
dissipative or conservative since there is no economic concept which
correspondsto energy. Optimal growth models do, however, have Hamiltonian properties. Thus it is not clear that we shall be able to make use of
these simplificationswhich have proved very useful for studying physical
systems.
While in general it is not possible to say that an economic system is
dissipative or conservative, there are many other properties we believe
economic systems have. It is possible that such properties (e.g., concavity)
could be used to simplify multi-dimensionaldynamicalsystems. This may
lead to very major advances in economic theory, as dynamicsystems have
alreadyadvancedour knowledge of fluid motions. What sort of progressis
possible in economic theory cannot be said. Almost no work has been done
in this area, though a qualificationto this must be mentioned. Grandmont
26
27
D. KELSEY
sources of noise which affect economic data. It is, however, possible that
some of the observed noise is not extrinsic noise independent of the
economic system but intrinsic noise generated by chaotic dynamics of the
system itself.9
Sensitive dependence on initial conditions is not a new discovery. It is
exhibitedin the following problemfrom classicalphysics.
Solve ,f32f+ 32f
f = 0 (this is Laplace'sequation)
subject to the boundarycondition
f(x,y)=ecos(x)
at y=0,
a3f
-=0
at y=0
Even though ? is small as y increases this will become very large indeed.
Thus any error, however small, in measuringthe value of the function on
the boundarywill have a major effect on the value of the solution in the
interiorof the domain. The behaviorof this system is essentiallyimpossible
to predict.'0
The results of dynamicsystems theory have a fine structurewhich is hard
to reconcile with observed economic behavior. In the theory of the logistic
map in Section 2, as the parameterr is varied in the interval[3 4] an infinite
numberof stable orbits can be found. There are also several other features
of the behavior which occur in infinitely minute detail which we have not
discussed. (An importantexample of this is Feigenbaum'suniversalscaling
theory. See Feigenbaum (1980) and Citanovic (1984a).) In the chaotic
region the probabilitydistributionsdescribingthe motion can be extremely
complex. They can contain a large number of point masses. Typicallythey
will not be continuous, that is the distributioncannot be representedby a
densityfunction.
The inclusion of random errors changes this quite dramatically.The
theoreticaldynamicsbecomes a much more plausible descriptionof actual
economic data. All but a finite numberof periodic orbits disappear.Usually
the numberof such orbits is very low, say around4, so they do not need to
be closely packed. Similarly the probability distributions become much
smoother. Thus in the presence of noise it is much easier to believe that
chaotic dynamicsprovides a good descriptionof economic behavior.
9 This point is due to Richard Day of U.S.C.
10 I heard about this example through Hermann Bondi.
28
(ii
X (Y)
%'(O)=
IZ 2-
(Y)
1/0
(iii) X(y) < M/O the function X lies below its tangent at the origin.
(where 0 = v'(el)Iv'(e2) a consumer will hold a positive money balance if and only if 0 > 0.)
Proof
From the market equilibrium condition we have
Yt-l
= - zl(Z2
+ Z2(01)
Zl(0t+1)
(A.1)
(A.2)
(P))
from (A.1) and the fact that , = z2(0,+?). The consumer's budget constraint is
=-Z2(0)
Z(0)
Yt-l
i.e., X(M)=
Differentiating
(A.4)
we
obtain
= 0
+ Z2(0t)
OtZl(0t)
(pt)
=PtIZ2
1()
X'(M) =
(A.3)
))
(Z2l(j)Z2(Z-l(z'
(A.4)
-
I)/(Z2-l()2Z1(Z-l(Y
>
x' (0) = 1/zj-'(0) = 1/0 which proves (ii). Now zj-1(y) > 0 whenever y > 0 hence using (A.4)
xAM)< Y/0 when y > 0 which proves (iii).
or X(ft)< 0p*
(ii) u2(ft) U1(0p*)
provided that e1 + e2 > 1/e2 and e2 < 1. (Recall that y is the value of y which maximizes X*)
Proof
Since el + e2 > l/e2 it follows that el + e2 > 1. Hence we can choose
g
el. Consider
g(a?) = u2(ft)I(V'(e 1)0(cv)y*(a))
We assert that if
ft + e2 >
-0> as
0 v(el
v2(e2)
-.
Note
e"
el
D. KELSEY
29
If el + e2> l/e2 then we may pick ft such that ft + e2> l/e2 and our other conditionsare
satisfied. Then for sufficientlylarge a,, g(a) < 1, hence u2(JA)< v'(el)OMl*. Now ul(M) =
pl(el - M) therefore
el(-)=
1-
(el-M)"
Since u' is an increasingfunctionof A, ul is convex and thereforelies above its tangentat the
origin, i.e., ul(M) > u(0) = v(el)
so u2(t) <ul(&M*). This satisfies (ii). Since as a,-e 00,
M* ->O and X(M*)->el we have M*< P andX(M*)> Pffor all sufficientlylarge a,. This completes
the proof of LemmaA.2.
Lemma A.3: A sufficientcondition for the existence of a 3-cycle is that X3(y*)
xi*) > W*
M
,* and
Proof
By (ii) of LemmaA.1 the derivativeof x3 at 0 is 1/&3 > 1. Hence for Mclose to 0, X3(L) > P.
If x3(p*) - * it follows from the IntermediateValue Theorem that there is a P* such that
O< M' M* and X3(p,)=W'. By Lemma 3.1 the only steady states are zero and 1. Now
P* = e2/(a, - 1) which for aM 2 is certainlyless than 1. Hence M'# 1, M' 0O.It follows that M'
mustbe a point of period 3. [
Proposition 3.3: A cycle of period 3 will exist for all sufficientlylarge a,, provided
and e2<1.
el+e2>1/e2
Proof
By Lemma A.2, for all sufficientlylarge a,, we can find Pf such that X(ft) O * and
t < X(*). Since X(y) is a decreasingfunctionfor M M*,
P*
as*
0
By LemmaA.3 we have satisfiedthe sufficientconditionsfor a 3-cycle. W
REFERENCES
R. (1986) "Sunspotsand Cycles"Review of Economic Studies
AZARIADIS,C. and GUESNERIE,
53, 725-738.
W. and CHEN, P. (1986) "DeterministicChaos and FractalAttractorsas Tools for
NonparametricDynamical Econometric Inference with an Application to the Divisia
MonetaryAggregates,"TechnicalReportNo. 33, Centerfor StatisticalStudies,University
of Texas, Austin.
BENHABIB,J. and DAY, R. H. (1981) "RationalChoice and ErraticBehavior," Review of
BARNETT,
l The proof of this result is largely drawn from Grandmont (1985), who in turn
acknowledges Benhabib and Day (1982).
30
BRAY, M. (1982) "Learning, Estimation and the Stability of Rational Expectations," Journal of
Economic Theory 26, 318-339.
P. (1984a) "Universality in Chaos (or Feigenbaum for Cyclists)", Acta Physica
CITANOVIC,
Polonica A65, 203-239. (Reprinted in Citanovic (1984b).)
CITANOVIC, P. (1984b) Universality in Chaos, Adam Hilger, Bristol.
COLLET, P. and ECKMAN, J. P. (1980), Iterated Maps on the Interval as Dynamical Systems,
Birkhauser Boston.
J. P., FARMER,J. D. and HUBERMAN, B. A. (1982) "Fluctuations and Simple
CRUTCHFIELD,
Chaotic Dynamics," Physics Reports 92, 45-82.
DAY, R. H. (1982) "Irregular Growth Cycles," American Economic Review 72, 406-414.
DAY, R. H. (1983) "The Emergence of Chaos from Classical Economic Growth," Quarterly
Journal of Economics 98, 201-213.
DAY, R. H. (1986) "Unscrambling the Concept of Chaos Through Thick and Thin Reply",
Quarterly Journal of Economics 101, 425-426.
DENECKERE, R. and PELIKAN, S. (1986) "Competitive Chaos," Journal of Economic Theory
40, 13-25.
DIXIT,A. K. (1976) The Theory of Equilibrium Growth, Oxford University Press; Oxford.
FEIGENBAUM, M. J. (1980) "Universal Behavior in Non-linear Systems", Los Alamos Science
1, 4-27. Reprinted in Citanovic (1984b).
FRIEDMAN, M. (1953) "The Methodology of Positive Economics," in Essays in Positive
Economics, University of Chicago Press, Chicago.
GAERTNER, W. (1984) "Periodic and Aperiodic Consumer Behavior," unpublished.
GAERTNER, W. (1986) "Zyklische Konsummester," Jahrbucher fur Nationalokonomie und
Statistik 201: 54-65.
J. M. (1983) "Periodic and Aperiodic Behavior in Discrete One-dimensional
GRANDMONT,
Dynamical Systems," CEPREMAP D.P. No. 8317. Also available as a Technical Report
of EHEC, University of Lausanne.
J. M. (1985) "On Endogenous Competitive Business Cycles," Econometrica 53,
GRANDMONT,
995-1045.
GUCKENHEIMER, J. and HOLMES, P. (1983) Non-linear Oscillations Dynamical Systems and
Bifurcations of Vector Fields, Springer-Verlag, New York, Heidelberg, Berlin.
HENON, M. (1976) "A Two-dimensional Mapping with a Strange Attractor," Communications
in Mathematical Physics 50, 69-77. Reprinted in Citanovic (1984b).
HIRSCH, M. W. and SMALE, S. (1974) Differential Equations, Dynamical Systems and Linear
Algebra, Academic Press, New York.
JAKOBSON, M. V. (1981) "Absolutely Continuous Invariant Measures for One-Parameter
Families on One-Dimensional Maps," Communications in Mathematical Physics 81, 39-88.
LUCAS, R. E., JR. (1975) "An Equilibrium Model of the Business Cycle," Journal of Political
Economy 83, 1113-1144.
LI, T. and YORKE, J. A. (1975) "Period Three Implies Chaos," American Mathematical
Monthly 82, 985-992.
MELESE, F. and TRANSUE, W. (1986) "Unscrambling Chaos Through Thick and Thin,"
Quarterly Journal of Economics 101, 419-424.
MONTRUCCHIO, L. (1984) "Optimal Decisions Over Time and Strange Attractors," Unpublished, Politecnico di Torino.
PRESTON, C. (1983) Iterates of Maps on an Interval, Springer-Verlag, Berlin.
RAND, D. (1978) "Exotic Phenomena in Games and Duopoly Models," Journal of Mathematical Economics 5, 173-184.
SAMUELSON, P. (1939) "Interactions Between the Multiplier Analysis and the Principle of
Acceleration," Review of Economic Statistics 21, 75-78.
SARGENT, T. J. (1979) Macroeconomic Theory, Academic Press, New York.
SEN, A. K. (1979) "The Welfare Basis of Real Income Comparisons: A Survey," Journal of
Economic Literature XVII, 1-45.
D. KELSEY
31