-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathblack7_2016.tex
4068 lines (3497 loc) · 193 KB
/
black7_2016.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\input grafinp3
%\input grafinput8
\input psfig
%\eqnotracetrue
%\input form1
\input psfig
%\input grafinput8
%\showchaptIDtrue
%\def\@chaptID{7.}
%\hbox{}
\footnum=0
\chapter{Equilibrium with Complete Markets\label{recurge}}
\section{Time $0$ versus sequential trading}
This chapter describes competitive equilibria
of a pure exchange infinite horizon economy with stochastic
endowments. These are useful for studying risk sharing,
asset pricing, and consumption. We describe two systems of markets: an {\it Arrow-Debreu\/} structure with complete
markets in dated contingent claims all traded at time $0$,
\auth{Arrow, Kenneth J.}\auth{Debreu, Gerard}%
and a
sequential-trading structure with complete one-period {\it Arrow
securities\/}.
\index{Arrow securities}%
These two entail different assets and timings of
trades, but have identical consumption allocations.
Both are referred to as complete markets
economies. They allow more comprehensive sharing of risks
than do the incomplete markets economies to be
studied in chapters \use{selfinsure} and \use{incomplete}, or the economies
with imperfect enforcement or imperfect information, studied in chapters
\use{socialinsurance} and \use{socialinsurance2}.
\index{complete markets}
\section{The physical setting: preferences and endowments}
%%\subsection{Preferences and endowments}
In each period $t\geq 0$, there is a realization of a stochastic
event $s_t \in S$. Let the history of events up and until time $t$
be denoted $s^t = [s_0, s_1, \ldots, s_t]$. The unconditional
probability of observing a particular sequence of events $s^t$ is
given by a probability measure $\pi_t(s^t)$. For $t > \tau$, we write the probability
of observing $s^t$ conditional on the realization of $s^\tau$as $\pi_t(s^t\vert s^\tau)$.
In this chapter, we shall assume that trading occurs after
observing $s_0$,
which we capture by setting $\pi_0(s_0)=1$ for the initially
given value of $s_0$.\NFootnote{Most of our formulas carry over to
the case where trading occurs before $s_0$ has been realized;
just postulate a nondegenerate probability
distribution $\pi_0(s_0)$ over the initial state.}
%so that the appropriate distribution of $s^t$ is
%conditional on $s_0$.\NFootnote{Most of our formulas carry over to
%the case where trading occurs before $s_0$ has been realized; just
%replace the probability measure $\pi_t(s^t\vert s_0)$ by
%$\pi_t(s^t)$.}
In section \use{sec:Markovs} we shall follow much of the
literatures in macroeconomics and econometrics and assume that
$\pi_t(s^t)$ is induced by a Markov process. We wait to impose
that special assumption until section \use{sec:Markovs} because some important findings do not
require making that assumption.
There are $I$ consumers named $i=1, \ldots , I$. Agent $i$
owns a stochastic endowment of one good
$y_t^i(s^t)$ that depends on the
history $s^t$.
The history $s^t$ is publicly observable.
Household $i$
purchases a history-dependent consumption plan $c^i =
\{c_t^i(s^t)\}_{t=0}^\infty$ and
orders these
consumption streams by\NFootnote{Exercises \the\chapternum.13 - \the\chapternum.17
study examples in which we replace \Ep{eq0} with
$$ U_i(c^i) =
\sum_{t=0}^\infty \sum_{s^t} \beta^t u_i[c_t^i(s^t)]
\pi_t^i(s^t), $$
where $\pi^i(s^t)$ is a personal probability distribution specific to consumer $i$. Blume and Easley
(2006) studied such settings and focused particularly on whose beliefs ultimately influence tails
of allocations and prices. We discuss related consequences of heterogenous beliefs and heterogenous discounting in
appendices to this chapter.
%Throughout most of this chapter, we adopt the assumption, routinely
%employed in much of macroeconomics,
%that all agents share probabilities.
}
\auth{Blume, Lawrence}%
\auth{Easley, David}%
$$ U_i(c^i) =
\sum_{t=0}^\infty \sum_{s^t} \beta^t u_i[c_t^i(s^t)]
\pi_t(s^t),
\EQN eq0 $$
where $0 < \beta < 1$.
The right side is equal to $ E_0 \sum_{t=0}^\infty \beta^t
u_i(c_t^i) $, where $E_0$ is the mathematical expectation operator,
conditioned on $s_0$. Here $u_i(c)$ is an increasing, twice
continuously differentiable, strictly concave function of
consumption $c\geq 0$ of one good. The utility function satisfies
the Inada condition\NFootnote{This Inada condition implies that each
agent chooses strictly positive consumption for every
date-history pair. Those interior solutions enable us to confine our
analysis to Euler equations that hold with equality and also guarantee that
`natural debt limits' don't bind in economies with
sequential trading of Arrow securities.}
%%\NFootnote{One role of this Inada
%%condition is to make
%%the consumption of each agent strictly positive in every
%%date-history pair. A related role is to deliver a state-by-state borrowing limit
%%to impose in economies with sequential trading of Arrow securities.}
%justify the restrictions that we impose
%on the quantity
%of Arrow securities that can be issued.}
$$ \lim_{c \downarrow 0} u'_i(c) = +\infty.$$
%%TOM: I have percentaged out the following paragraph because it might be too
%%much to ask from the students at this point. (In any case, we should delete
%%the reference to `common utility function,' after our generalization above.
%%The preceding footnote might suffice where we announce what will be discussed
%%in the appendices of this chapter.
%Notice that in assuming \Ep{eq0}, we are imposing identical preference orderings
%across all individuals $i$ that can be represented in terms of discounted
%expected utility
%with common $\beta$, common utility function $u(\cdot)$, and common probability
%distributions $\pi_t(s^t)$. As we proceed through this chapter,
%watch for results that would evaporate if we were
%instead to allow $\beta, u(\cdot)$, or $\pi_t(s^t)$ to depend on $i$.
A {\it feasible allocation} satisfies
$$\sum_i c_t^i(s^t) \leq \sum_i y_t^i(s^t) \EQN eq4 $$
for all $t$ and for all $s^t$.
\section{Alternative trading arrangements}
For a two-event stochastic process $s_t \in S = \{0, 1\}$, the
trees in Figures \Fg{tree1f} and \Fg{tree2f} % 7.1 and 7.2
give
two portraits of how histories $s^t$ unfold. From the
perspective of time $0$ given $s_0=0$, Figure \Fg{tree1f} portrays
all prospective histories possible up to time
$3$. Figure \Fg{tree2f} portrays a {\it particular\/} history that it is
known the economy has indeed followed up to time $2$, together
with the two possible one-period continuations into period $3$
that can occur after that history.
\midfigure{tree1f}
\centerline{\epsfxsize=3truein\epsffile{tree1.eps}} \caption{The
Arrow-Debreu commodity space for a two-state Markov chain. At time
$0$, there are trades in time $t=3$ goods for each of the eight
nodes that signify histories that can possibly be reached starting from
the node at time $0$.} \infiglist{tree1f}
\endfigure
In this chapter we shall study two distinct trading arrangements
that correspond, respectively, to the two views of the economy in
Figures \Fg{tree1f} and \Fg{tree2f}. %7.1 and 7.2.
One is
what we shall call the Arrow-Debreu structure. Here markets meet
at time $0$ to trade claims to consumption at all times $t >0$
and that are contingent on all possible histories up to $t$,
$s^t$. In that economy, at time $0$ and for all $t \geq 1$, households trade claims on
the time $t$ consumption good {\it at all nodes\/} $s^t$. After
time $0$, no further trades occur.
The other economy has {\it sequential\/} trading of
only one-period-ahead state-contingent claims. Here trades of one-period ahead state-contingent claims occur
at each date $t \geq 0$. Trades for history
$s^{t+1}$--contingent date $t+1$ goods occur only at the {\it
particular\/} date $t$ history $s^t$ that has been reached at
$t$, as in Figure \Fg{tree2f}. %.
It turns out that these two trading
arrangements support identical equilibrium allocations. Those
allocations share the notable property of being functions only of
the {\it aggregate\/} endowment realization $\sum_{i=1}^I y_t^i(s^t)$ and time-invariant
parameters describing the initial distribution of wealth.
\subsection{History dependence}
Before trading, the situation of household $i$ at time $t$ depends on the history $s^t$.
A natural measure of household
$i$'s luck in life is $\{y^i_0(s_0), y^i_1(s^1), \ldots,$
$ y^i_t(s^t)\}$, which evidently in general depends on the history $s^t$. A
question that will occupy us in this chapter and in chapters
\use{incomplete} and
\use{socialinsurance} is whether, after trading, the household's
consumption allocation at time $t$ is also history dependent. Remarkably, in
the complete markets models of this chapter, the consumption
allocation at time $t$ depends only on the aggregate
endowment realization at time $t$ and some time-invariant parameters that describe the time $0$ {\it initial\/} distribution of wealth. The market incompleteness of chapter
\use{incomplete} and the information and enforcement frictions of
chapter \use{socialinsurance} will break that result and put
history dependence into equilibrium allocations.
\topfigure{tree2f}
\centerline{\epsfxsize=3truein\epsffile{tree2.eps}} \caption{The
commodity space with Arrow securities. At date $t=2$, there are
trades in time $3$ goods for only those time $t=3$ nodes that can
be reached from the realized time $t=2$ history $(0,0, 1)$.}
\infiglist{tree2f}
\endfigure
%\midinsert
%$$ \grafone{tree2.eps,height=.9in}{{\bf Figure 7.2} The commodity space
%with Arrow securities. At date $t=2$, there are trades in time $3$
%goods for only those time $t=3$ nodes that can be reached from the
%realized time $t=2$ history $(0,0, 1)$.}
%$$
%\endinsert
\section{Pareto problem}
As a benchmark against which to measure allocations attained by a
market economy, we seek efficient allocations. An allocation is
said to be efficient if it is Pareto optimal: it has the property
that any reallocation that makes one household strictly better
off also makes one or more other households worse off. We can find
efficient allocations by posing a Pareto problem for a fictitious
social planner. The planner attaches nonnegative {\it Pareto
weights\/} $\lambda_i, i=1, \ldots, I$ to the consumers' utilities and
chooses allocations $c^i, i=1, \ldots, I$ to maximize
$$ W = \sum_{i=1}^I \lambda_i U_i(c^i) \EQN planner1 $$
subject to \Ep{eq4}.
We call an allocation {\it efficient\/}
if it solves this problem for some set of
nonnegative $\lambda_i$'s.
Let $\theta_t(s^t)$ be a nonnegative Lagrange multiplier on the
feasibility constraint \Ep{eq4}
for time $t$ and history $s^t$, and form
the Lagrangian
$$ L =
\sum_{t=0}^\infty \sum_{s^t}
\left\{ \sum_{i=1}^I \lambda_i \beta^t u_i(c_t^i(s^t)) \pi_t(s^t)
+ \theta_t(s^t) \sum_{i=1}^I [ y_t^i(s^t) - c_t^i(s^t) ] \right\} . $$
The first-order condition for maximizing $L$
with respect to $c_t^i(s^t)$ is
$$ \beta^t u'_i(c_t^i(s^t))\pi_t(s^t) = \lambda_i^{-1} \theta_t(s^t)
\EQN planner2 $$
for each $i, t, s^t$. Taking the ratio of \Ep{planner2} for consumers
$i$ and $1$, respectively,
gives
$$ {u'_i(c^i_t(s^t)) \over u'_1(c^1_t(s^t))} = {\lambda_1 \over \lambda_i} \EQN foncPareto101 $$
which implies
$$ c_t^i(s^t) = u^{\prime -1}_i
\left(\lambda_i^{-1} \lambda_1 u'_1(c_t^1(s^t)) \right). \EQN planner3
$$
Substituting \Ep{planner3} into feasibility condition \Ep{eq4} at
equality gives
$$ \sum_i u^{\prime -1}_i
\left(\lambda_i^{-1} \lambda_1 u'_1(c_t^1(s^t)) \right)
= \sum_i y_t^i(s^t) . \EQN planner4 $$
Equation \Ep{planner4} is one equation in the one unknown $c_t^1(s^t)$. The right
side of \Ep{planner4} is the realized aggregate endowment, so the
left side is a function only of the aggregate endowment. Thus, given $\{\lambda_i\}_{i=1}^I$,
$c_t^1(s^t)$ depends only on the current realization of the
aggregate endowment and not separately either on the date $t$ or on the specific history $s^t$
leading up to that aggregate endowment or the cross-section distribution of individual
endowments realized at $t$. Equation \Ep{planner3} then implies that for all $i$,
$c_t^i(s^t)$ depends only on the aggregate endowment realization.
We thus have:
\medskip
\noindent{\sc Proposition 1:} An efficient allocation is a function of
the realized aggregate endowment and does not depend separately on either the specific history $s^t$
leading up to that aggregate endowment or on the cross-section distribution of individual
endowments realized at $t$: $c_t^i(s^t)=c_\tau^i(\tilde
s^{\tau})$ for $s^t$ and $\tilde s^{\tau}$ such that $\sum_j
y_t^j(s^t) = \sum_j y_\tau^j(\tilde s^{\tau})$.
\medskip
To compute the optimal allocation, first solve \Ep{planner4}
for $c_t^1(s^t)$, then solve \Ep{planner3} for $c_t^i(s^t)$.
Note from \Ep{planner3} that only the ratios of the Pareto weights matter,
so that we are free to normalize the weights, e.g., to impose
$\sum_i \lambda_i=1$.
\subsection{Time invariance of Pareto weights}
Through equations \Ep{planner3} and \Ep{planner4},
the allocation $c_t^i(s^t)$ assigned to consumer $i$
depends in a time-invariant way on the aggregate endowment
$\sum_j y_t^j(s^t)$. Consumer $i$'s share of the aggregate endowment varies
directly with his Pareto weight $\lambda_i$. In chapter
\use{socialinsurance}, we shall see that the constancy through
time of the Pareto weights
$\{\lambda_j\}_{j=1}^I$ is a telltale sign that there are no
enforcement- or information-related incentive problems
in this economy. In chapter \use{socialinsurance}, when we inject those imperfections into the environment, the time invariance of the Pareto
weights evaporates.
\index{Pareto weights!time invariance}%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Time $0$ trading: Arrow-Debreu securities}
We now describe how an optimal allocation can be attained by a
competitive equilibrium with the Arrow-Debreu timing. Households
trade dated history-contingent claims to consumption. There is a
complete set of securities. Trades occur at time $0$, after $s_0$
has been realized. At $t=0$, households can exchange claims on
time $t$ consumption, contingent on history $s^t$ at price
$q_t^0(s^t)$, measured in some unit of account. The superscript $0$ refers to the date at which
trades occur, while the subscript $t$ refers to the date that
deliveries are to be made. The household's budget constraint is
$$ \sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) c_t^i(s^t) \leq
\sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) y_t^i(s^t). \EQN eq2 $$
The household's problem is to choose $c^i$
to maximize expression \Ep{eq0} subject to inequality \Ep{eq2}.
%Here $q_t^0(s^t)$
%is the price of time $t$ consumption contingent on
%history $s^t$ at $t$ in terms of an abstract unit of account
%or numeraire.
Underlying the {\it single\/} budget constraint \Ep{eq2} is the
fact that multilateral trades are possible through a clearing
operation that keeps track of net claims.\NFootnote{In
the language of modern payments systems, this is a system
with net settlements, not gross settlements, of trades.}
All trades occur at time $0$. After time $0$, trades that
were agreed to at time $0$ are executed, but no more trades occur.
Attach a Lagrange multiplier $\mu_i$ to each household's budget constraint \Ep{eq2}.
We obtain the
first-order conditions for the household's problem:
$$ {\partial U_i(c^i) \over \partial c_t^i(s^t)} = \mu_i q_t^0(s^t), \EQN eq3b $$
for all $i, t, s^t$.
The left side is the derivative of total utility with respect to
the time $t$, history $s^t$ component of consumption. Each
household has its own Lagrange multiplier $\mu_i$ that is independent of time. With specification \Ep{eq0} of the utility functional,
we have
$$ {\partial U_i(c^i) \over \partial c_t^i(s^t)} = \beta^t
u'_i[c_t^i(s^t)] \pi_t(s^t) . \EQN eq3a $$
This expression implies that equation \Ep{eq3b} can be written
$$ \beta^t u'_i[c_t^i(s^t)] \pi_t(s^t) = \mu_i q_t^0(s^t). \EQN eq3 $$
We use the following definitions:
\medskip
\noindent{\sc Definitions:} A {\it price system} is a sequence of
functions $\{q_t^0(s^t)\}_{t=0}^\infty$. An {\it allocation} is
a list of sequences of functions $c^i=\{c_t^i(s^t)\}_{t=0}^\infty$,
one for each $i$.
\medskip
\noindent{\sc Definition:} A {\it competitive equilibrium} is
a feasible allocation and a price system such that, given
the price system, the allocation solves
each household's problem.
\medskip
Notice that equation \Ep{eq3} implies
$$ {u'_i[c_t^i(s^t)] \over
u'_j[c_t^j(s^t)] }
= {\mu_i\over \mu_j} \EQN eq5 $$
for all pairs $(i,j)$.
Thus, ratios of marginal utilities between pairs of agents are
constant across all histories and dates.
An equilibrium allocation solves equations \Ep{eq4}, \Ep{eq2},
and \Ep{eq5}. Note that equation \Ep{eq5} implies that
$$ c_t^i(s^t) = u^{\prime -1}_i \left\{u'_1[c_t^1(s^t)] {\mu_i \over \mu_1}
\right\}. \EQN eq7 $$
Substituting this into equation \Ep{eq4} at equality gives
$$ \sum_i
u^{\prime -1}_i \left\{u'_1[c_t^1(s^t)] {\mu_i \over \mu_1}\right\} =
\sum_i y_t^i(s^t) . \EQN eq8 $$
The right side of equation \Ep{eq8} is the current realization of
the aggregate endowment. %It does not {\it per se} depend on the
%specific history leading up this outcome;
Therefore, the left
side, and so $c_t^1(s^t)$, must also depend only on the current
aggregate endowment, as well as on the ratios
$\{ {\frac{\mu_i}{\mu_1}} \}_{i=2}^I$. It follows from equation \Ep{eq7} that the
equilibrium allocation $c_t^i(s^t)$ for each $i$ depends only on
the economy's aggregate endowment as well as on
$\{ {\frac{\mu_j}{\mu_1}} \}_{j=2}^I$. We summarize this analysis in
the following proposition:
\medskip
\noindent{\sc Proposition 2:} The competitive equilibrium allocation
is a function of the realized aggregate endowment and does not depend
on time $t$ or the specific history or on
the cross section distribution of endowments:
$c_t^i(s^t)=c_\tau^i(\tilde s^{\tau})$ for all histories $s^t$ and $\tilde
s^{\tau}$ such that $\sum_j y_t^j(s^t) = \sum_j y_\tau^j(\tilde
s^{\tau})$.
%is not history dependent; $c^i_t(s^t)=\bar c^i(s_t)$.
\medskip
\index{history dependence}
%\medskip
%The lack of history dependence of the equilibrium allocation is noteworthy.
%In chapters \use{incomplete} and \use{socialinsurance}, we shall analyze
%settings in which impediments to trade that emerge from information
%and enforcement problems cause allocations to be history dependent.
\subsection{Equilibrium pricing function}
Suppose that $c^i$, $i=1, \ldots, I$ is an equilibrium allocation.
Then the marginal condition \Ep{eq3b} or \Ep{eq3} can be regarded as determining
the price system $q_t^0(s^t)$ as a function of the equilibrium allocation assigned
to household $i$, for any $i$. But to exploit this fact in computation, we need a way first to compute
an equilibrium allocation without simultaneously computing prices. As we shall see soon, solving the planning problem provides a convenient way
to do that.
Because the units of the
price system are arbitrary, one of the prices
can be normalized
at any positive value. We shall set $q^0_0(s_0)= 1$,
putting the price system in units of time $0$
goods. This choice implies that
$\mu_i = u'_i[c_0^i(s_0)] $
for all $i$.
%one of the multipliers
%can be normalized
%at any positive value. We shall set $\mu_1 = u'[c_0^1(s_0)]$, so that
%$q_0^0(s_0) = 1$, putting the price system in units of time $0$
% goods.\NFootnote{This choice
%also implies that $\mu_i = u'[c_0^i(s_0)] $
%for all $i$.}
\subsection{Optimality of equilibrium allocation}
A competitive equilibrium allocation is a particular Pareto
optimal allocation, one that sets the Pareto weights $\lambda_i =
\mu_i^{-1}$. These weights are unique up to multiplication by a positive scalar. Furthermore, at a
competitive equilibrium allocation, the {\it shadow prices\/}
$\theta_t(s^t)$ for the associated planning problem equal the
prices $q_t^0(s^t)$ for goods to be delivered at date $t$
contingent on history $s^t$ associated with the Arrow-Debreu
competitive equilibrium. That allocations for the planning
problem and the competitive equilibrium are identical reflects the
two fundamental theorems of welfare economics (see Mas-Colell,
Whinston, and Green (1995)).
The first welfare theorem states that a competitive equilibrium allocation is efficient.
The second welfare theorem states that any efficient allocation can be supported by a competitive equilibrium
with an appropriate initial distribution of wealth.
\auth{Mas-Colell, Andreu}
\auth{Whinston, Michael D.}\auth{Green, Jerry R.}
\subsection{Interpretation of trading arrangement}
In the competitive equilibrium, all trades occur at $t=0$ in
one market. Deliveries occur after $t=0$, but no more trades.
A vast clearing or credit system operates at $t=0$.
It ensures that condition \Ep{eq2} holds for each household
$i$. A symptom of the once-and-for-all and net-clearing trading arrangement is
that each household faces one budget constraint that accounts
for trades across all dates and histories.
In section \use{sec:arrowsecurities}, we describe another trading arrangement with
more trading dates but fewer securities at each date. %As a prelude
%to that section, we describe some asset-pricing implications
%embedded in the model with time $0$ trading. But first we study
%three examples of equilibrium allocations when markets are
%complete.
\subsection{Equilibrium computation}
To compute an equilibrium, we have somehow to determine ratios of
the Lagrange multipliers, $\mu_i / \mu_1$, $i=1, \ldots, I $,
that appear in equations \Ep{eq7} and \Ep{eq8}. The following {\it
Negishi algorithm\/} accomplishes this.\NFootnote{See Negishi
(1960).}
\medskip
\noindent{\bf 1.} Fix a positive value for one $\mu_i$, say $\mu_1$,
throughout the algorithm. Guess some positive values for the
remaining $\mu_i$'s. Then solve equations \Ep{eq7} and \Ep{eq8} for
a candidate consumption allocation $c^i, i=1, \ldots, I$.
\medskip
\noindent{\bf 2.} Use \Ep{eq3} for any household $i$ to solve for the
price system $q_t^0(s^t)$.
\medskip
\noindent{\bf 3.} For $i =1, \ldots, I$, check the budget constraint
\Ep{eq2}. For those $i$'s for which the cost of consumption
exceeds the value of their endowment, raise $\mu_i$, while for
those $i$'s for which the reverse inequality holds, lower $\mu_i$.
\medskip \noindent{\bf 4.} Iterate to convergence on steps 1-3.
\medskip
Multiplying all of the $\mu_i$'s by a positive scalar
simply changes the units of the price system. That is why we
are free to normalize as we have in step 1.
In general, the equilibrium price system and distribution of wealth are mutually determined. Along with the equilibrium allocation, they solve
a vast system of simultaneous equations. The Negishi algorithm provides one way to solve those equations.
In applications, it can be complicated to implement. Therefore, in order to simplify things,
most of the examples and exercises in this chapter specialize preferences
in a way that eliminates the dependence of equilibrium prices on the distribution of wealth.
\section{Simpler computational algorithm}
The preference specification in the following example enables us to avoid iterating on Pareto weights as in
the Negishi algorithm.
\subsection{Example 1: risk sharing}\label{sec:ex1_risksharing}%
\noindent Suppose that the agents have identical preference orderings where
the one-period utility function is of the constant
relative risk-aversion (CRRA) form
$$ u(c) = (1-\gamma)^{-1} c^{1-\gamma} , \ \gamma > 0.$$
Then equation \Ep{eq5} implies
$$ [c_t^i(s^t)]^{-\gamma}
= [c_t^j(s^t)]^{-\gamma} {\mu_i \over \mu_j} $$
or
$$ c_t^i(s^t) = c_t^j(s^t) \left({\mu_i \over \mu_j}\right)^{-{1 \over \gamma}}.
\EQN consmooth $$
Equation \Ep{consmooth} states that time $t$ elements
of consumption allocations to
distinct agents are
constant fractions of one another. With a power utility function,
it says that individual
consumption is perfectly correlated with the aggregate endowment
or aggregate consumption.\NFootnote{Equation \Ep{consmooth}
implies that conditional on the history $s^t$, time $t$ consumption $c_t^i(s^t)$
is independent of the household's
individual endowment at $t, s^t$, $y_t^i(s^t)$. Mace (1991), Cochrane (1991),
and Townsend (1994) have tested and rejected versions of this
conditional independence hypothesis. In chapter
\use{socialinsurance}, we study how particular impediments to
trade explain these rejections. } \auth{Cochrane, John
H.} \auth{Mace, Barbara} \auth{Townsend, Robert M.}
The fractions of the aggregate endowment assigned to each
individual are independent of the realization of $s^t$. Thus,
there is extensive cross-history and cross-time consumption
sharing. The constant-fractions-of-consumption characterization
comes from two aspects of the theory: (1) complete markets
and (2) a homothetic one-period utility function.
\subsection{Implications for equilibrium computation}\label{sec:compeasy}%
\noindent Equation \Ep{consmooth} and the pricing formula
\Ep{eq3} imply that an equilibrium price vector satisfies
$$ q_t^0(s^t) = \mu_i^{-1} \alpha_i^{-\gamma} \beta^t (\overline y_t(s^t))^{-\gamma} \pi_t(s^t) , \EQN price_precompute$$
%$$ q_t^0(s^t) = \mu_i^{-1} \beta^t \left(\alpha_i \overline y_t(s^t)\right)^{-\gamma} \pi_t(s^t) $$
where $c_t^i(s_t) = \alpha_i \overline y_t(s^t)$, $\overline y_t(s^t) = \sum_i y_t^i(s^t)$, and $\alpha_i$ is consumer $i$'s
fixed consumption share of the aggregate endowment.
We are free to normalize the price system by setting $\mu_i \alpha_i^{-\gamma}$ for one consumer to an arbitrary positive number.
The homothetic CRRA preference specification that leads to equation \Ep{price_precompute} allows us to compute an equilibrium
using the following steps:
\medskip
\item{1.} Use \Ep{price_precompute} to compute an equilibrium price system.
\medskip
\item{2.} Use this price system and consumer $i$'s budget constraint to compute
$$ \alpha_i = {\frac {\sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) y_t^i(s^t) } {\sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) \bar y_t(s^t) } } .$$
Thus, consumer $i$'s fixed consumption share $\alpha_i$ equals its share of aggregate wealth evaluated at the competitive equilibrium price vector.
%\section{Further Examples}
\subsection{Example 2: no aggregate uncertainty}\label{sec:example2GG}%
In this example, the endowment structure is sufficiently simple that we can compute an equilibrium without assuming a homothetic
one-period utility function. Let the stochastic event $s_t$ take values on the unit interval
$[0,1]$. There are two households, with $ y_t^1(s^t) =s_t$ and
$y_t^2(s^t) =1-s_t$. Note that the aggregate endowment is
constant, $\sum_i y_t^i(s^t) =1$. Then equation \Ep{eq8} implies
that $c_t^1(s^t)$ is constant over time and across histories, and
equation \Ep{eq7} implies that $c_t^2(s^t)$ is also constant.
% We use a guess-and-verify
%method to find the equilibrium.
%Guess that
Thus, the equilibrium allocation satisfies
$c_t^i(s^t) = \bar c^i$ for all $t$ and $s^t$, for $i=1,2$. Then
from equation \Ep{eq3},
$$ q_t^0(s^t) = \beta^t \pi_t(s^t) {u'_i(\bar c^i) \over \mu_i}, \EQN ADprice $$
for all $t$ and $s^t$, for $i=1,2$. Household $i$'s budget constraint
implies
$$ {u'_i(\bar c^i) \over \mu_i} \sum_{t=0}^\infty \sum_{s^t} \beta^t \pi_t(s^t)
\left[\bar c^i - y_t^i(s^t)\right] = 0 .$$ Solving this equation
for $\bar c^i$ gives
$$ \bar c^i =( 1 -\beta) \sum_{t=0}^\infty \sum_{s^t} \beta^t \pi_t(s^t) y_t^i(s^t) .
\EQN eq20 $$
Summing equation \Ep{eq20} verifies that $\bar c^1 + \bar c^2
=1$.\NFootnote{If we let $\beta^{-1} = 1 +r$, where $r$ is
interpreted as the risk-free rate of interest, then note that
\Ep{eq20} can be expressed as
$$ \bar c^i =\left({r \over 1+r}\right) E_0 \sum_{t=0}^\infty
(1+r)^{-t} y_t^i(s^t) .
$$%% \EQN eq20new $$
Hence, equation \Ep{eq20} is a version of Friedman's permanent income
model, which asserts that a household with zero financial assets
consumes the annuity value of its human wealth defined as the
expected discounted value of its labor income (which for present
purposes we take to be $ y^i_t(s^t)$). In the present
example, the household completely smooths its consumption across
time and
histories,
something that the household in Friedman's model typically cannot
do. See chapter \use{selfinsure}.}
\subsection{Example 3: periodic endowment processes}
Consider the special case of the previous example in which
$s_t$ is deterministic and alternates between the values 1 and 0;
$s_0=1$, $s_t=0$ for $t$ odd, and $s_t=1$ for $t$ even.
%is a two-state Markov chain taking the two values
%$\{0,1\}$, with transition probabilities
%$\pi(1 | 0) = \pi(0 | 1) = 1$,
%$\pi(0 | 0) = \pi(1 | 1) = 0$. Suppose that
%$\pi_0(1) =1$, so that the initial value of the shock $s_0$ and therefore
%of the endowment $y_0^1$ is $1$.
Thus, the endowment processes
are perfectly predictable sequences $(1, 0, 1, \ldots)$ for
the first agent and $(0, 1, 0, \ldots)$ for the second agent.
Let $\tilde s^t$ be the history of $(1, 0, 1, \ldots)$ up to
$t$. Evidently, $\pi_t(\tilde s^t) =1$, and the probability
assigned to all other histories up to $t$ is zero.
The equilibrium price system is then
$$ q_t^0(s^t) =\cases{ \beta^t, & if $s^t = \tilde s^t$; \cr
0, & otherwise;\cr} $$
when using the time $0$ good as numeraire, $q^0_0(\tilde s_0)=1$.
From equation \Ep{eq20}, we have
$$ \EQNalign{ \bar c^1 &=( 1 -\beta) \sum_{j=0}^\infty \beta^{2j}
= {1 \over 1 + \beta }, \EQN alloc;a \cr
\bar c^2 & =( 1 -\beta) \beta \sum_{j=0}^\infty \beta^{2j}
= { \beta \over 1 + \beta}. \EQN alloca;b \cr} $$
Consumer 1 consumes more every period because he is richer by virtue
of receiving his endowment earlier.
\subsection{Example 4}\label{sec:example4}%
In this example, we assume that the one-period utility function is $\frac{c^{1-\gamma}}{1-\gamma}$.
There are two consumers named $i=1,2$. Their endowments are $y_t^1 = y_t^2 = .5 $ for $t=0,1$ and
$y_t^1 = s_t $ and $y_t^2 = 1-s_t$ for $t \geq 2$. The state space $s_t = \{0,1\}$ and $s_t$ is governed by
a Markov chain with probability $\pi(s_0 = 1) = 1$ for the initial state and time-varying transition probabilities $\pi_1(s_1 =1 | s_0 =1) = 1 , \pi_2(s_2=1|s_1=1) = \pi_2(s_2=0|s_1 = 1) = .5, \pi_t(s_t=1 | s_{t-1} = 1) =1, \pi_t(s_t =0 | s_{t-1}=0) = 1$
for $t > 2$. This specification implies that $\pi_t(1, 1, \ldots,1, 1, 1) = .5$ and $\pi_t( 0, 0, \ldots, 0, 1 ,1 )=.5$
for all $t > 2$.
We can apply the method of subsection \use{sec:compeasy} to compute an equilibrium. The aggregate endowment is $\overline y_t(s^t)=1$
for all $t$ and all $s^t$. Therefore, an equilibrium price vector is
$q_1^0(1,1) = \beta, q^0_2(0,1,1)= q^0_2(1,1,1)= .5 \beta^2$ and $q_t^0(1, 1, \ldots, 1, 1) = q_t^0(0, 0, \ldots, 1, 1) = .5 \beta^t$
for $t > 2$. Use these prices to compute the value of agent $i$'s endowment: $\sum_t \sum_{s^t} q_t^0(s^t) y_t^i(s^t)
=\sum_t \beta^t .5 [.5 + .5 + 0 + \ldots + 0] + \sum_t \beta^t .5 [.5 + .5 + 1 + \ldots +1] = 2 \sum_t \beta^t .5 [.5 + .5 + \ldots + .5] = .5 \sum_t \beta^t = {.5 \over 1 - \beta}$. %\frac{.5}{1-\beta}$.
Consumer $i$'s budget constraint is satisfied when he consumes a constant
consumption of $.5$ each period in each state: $c_t^i(s^t) = .5$ for all $t$ for all $s^t$.
In subsection \use{sec:example4cont}, we shall use the equilibrium allocation from the Arrow-Debreu economy in this example
to synthesize an equilibrium in an economy with sequential trading.
\section{Primer on asset pricing}
Many asset-pricing models assume complete markets and price
an asset by breaking it into a sequence of history-contingent
claims, evaluating each component of that sequence with the
relevant ``state price deflator'' $q_t^0(s^t)$, then adding up
those values. The asset is {\it redundant\/}, in the
sense that it offers a bundle of history-contingent dated claims,
each component of which has already been priced by the market.
While we shall devote chapters \use{assetpricing1} and \use{assetpricing2} entirely to
asset-pricing theories, it is useful to give some pricing formulas
at this point because they help illustrate the complete market
competitive structure.
\subsection{Pricing redundant assets}
Let $\{d_t(s^t)\}_{t=0}^\infty$ be a stream of claims
on time $t$, history $s^t$ consumption, where $d_t(s^t)$ is a measurable
function of $s^t$. The price of an asset entitling
the owner to this stream
must be
$$ p^0_0(s_0) = \sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) d_t(s^t) . \EQN asset1
$$
If this equation did not hold, someone could make unbounded profits
by synthesizing this asset through
purchases or sales of history-contingent dated commodities
and then either buying or selling the asset.
We shall elaborate this arbitrage argument
below and later in chapter \use{assetpricing1} on asset pricing.
\subsection{Riskless consol}
As an example, consider the price of a {\it riskless consol}, that is,
an asset offering to pay one unit of consumption for sure
each period. Then $d_t(s^t) = 1$ for all $t$ and $s^t$, and the price
of this asset is
$$ \sum_{t=0}^\infty \sum_{s^t} q_t^0(s^t) . \EQN consol1 $$
\subsection{Riskless strips}
As another example, consider a sequence of {\it strips} of \index{strips}%
payoffs on the riskless consol. The time $t$ strip is just the payoff
process $d_\tau = 1 \ {\rm if} \ \tau=t \geq 0$,
and $0 \ {\rm otherwise}$. Thus,
the owner of the strip is entitled to the time $t$ coupon only.
The value of the time $t$ strip at time $0$ is evidently
$$ \sum_{s^t} q_t^0(s^t) .$$
Compare this to the price of the consol \Ep{consol1}. We can think of the $t$-period riskless strip as a
$t$-period zero-coupon bond. See appendix \use{sec:backus} of chapter \use{assetpricing2} for an
account of a closely related model of yields on such bonds.
\subsection{Tail assets}
Return to the stream of dividends $\{d_t(s^t)\}_{t \geq 0}$
generated by the asset priced in equation \Ep{asset1}. For $\tau
\geq 1$, suppose that we strip off the first $\tau-1$ periods of
the dividend and want the time $0$ value of the remaining dividend
stream $\{d_t(s^t)\}_{t \geq \tau}$. Specifically, we seek
the value of this asset for a particular possible realization of $s^\tau$. Let
$p^0_\tau(s^\tau)$ be the time $0$ price of an asset that entitles
the owner to dividend stream $\{d_t(s^t)\}_{t \geq \tau}$ if
history $s^\tau$ is realized,
$$ p^0_\tau(s^\tau) = \sum_{t \geq \tau} \;
\sum_{s^t \vert s^\tau} q_t^0(s^t) d_t(s^t) ,
\EQN asset2
$$
where the summation over $s^t \vert s^\tau$ means that we sum
over all possible subsequent histories $\tilde s^t$ such that
$\tilde s^\tau=s^\tau$.
When the units of the price are time $0$, state $s_0$ goods, the normalization is $q_0^0(s_0)=1$.
To convert the price into units of time $\tau$, history $s^\tau$ consumption
goods, divide by $q^0_\tau(s^\tau)$ to get
$$ p^\tau_\tau(s^\tau) \equiv {p^0_\tau(s^\tau) \over q^0_\tau(s^\tau)}
= \sum_{t \geq \tau} \; \sum_{s^t \vert s^\tau}
{q_t^0(s^t) \over q_\tau^0(s^\tau)} d_t(s^t) . \EQN asset3
$$
Notice that\NFootnote{Because the marginal conditions hold for all
consumers, this condition holds for all $i$.}
$$ \eqalign{ q^\tau_t(s^t) \equiv
{q_t^0(s^t) \over q_\tau^0(s^\tau)} & = {\beta^t u'_i[c_t^i(s^t)] \pi_t(s^t)
\over \beta^\tau u'_i[c_\tau^i(s^\tau)] \pi_\tau(s^\tau) } \cr
& = \beta^{t - \tau} {u'_i[c_t^i(s^t)] \over u'_i[c_\tau^i(s^\tau)]}
\pi_t(s^t|s^\tau). \cr}
\EQN qdef $$
Here
$q^\tau_t(s^t)$ is the price of one unit of consumption delivered
at time $t$, history $s^t$ in terms of the date $\tau$, history $s^\tau$
consumption good; $\pi_t(s^t|s^\tau)$ is the
probability of history $s^t$ conditional on history
$s^\tau$ at date $\tau$. %%%, as given by \Ep{cecm_pi}.
Thus, the price at time $\tau$, history $s^\tau$ for the ``tail asset'' is
$$ p^\tau_\tau(s^\tau)
= \sum_{t \geq \tau} \; \sum_{s^t \vert s^\tau}
q_t^\tau(s^t) d_t(s^t) . \EQN asset4 $$
When we want to create a time series of, say, equity prices,
we use the ``tail asset'' pricing formula \Ep{asset4}. An equity purchased
at time $\tau$ entitles the owner to the dividends from time
$\tau$ forward. Our formula \Ep{asset4} expresses
the asset price in terms of prices with time $\tau$, history
$s^\tau$ good as numeraire.
\subsection{One-period returns}
The one-period version of equation \Ep{qdef} is
$$q^\tau_{\tau+1}(s^{\tau +1}) = \beta {u'_i[c_{\tau+1}^i(s^{\tau+1})]
\over u'_i[c_\tau^i(s^\tau)] } \pi_{\tau+1}(s^{\tau+1} \vert s^\tau). $$
The right side is the one-period {\it pricing kernel} at time $\tau$.
If we want to find the price at time $\tau$ at history $s^\tau$
of a claim to a random payoff $\omega(s_{\tau+1})$, we use
$$ p^\tau_{\tau}(s^\tau) = \sum_{s_{\tau+1}} q^\tau_{\tau+1}(s^{\tau+1})
\omega(s_{\tau+1}) $$
or
$$ p^\tau_{\tau}(s^\tau) = E_\tau \left[\beta {u'(c_{\tau+1}) \over u'(c_{\tau})}
\omega(s_{\tau +1}) \right], \EQN oneperiodp1 $$
where $E_\tau$ is the conditional expectation operator.
We have deleted the $i$ subscripts on utility function,
and the $i$ superscripts on consumption, with the
understanding that equation \Ep{oneperiodp1} is true for any consumer $i$;
we have also suppressed the dependence of $c_{\tau}$ on $s^\tau$,
which is implicit.
Let $R_{\tau+1} \equiv \omega(s_{\tau+1}) /p^\tau_{\tau}(s^\tau) $
be the one-period gross {\it return} on the asset.
Then for any asset, equation \Ep{oneperiodp1} implies
$$ 1 = E_\tau \left[\beta{u'(c_{\tau+1}) \over u'(c_\tau)} R_{\tau+1} \right]
\equiv E_\tau \left[ m_{\tau+1} R_{\tau+1} \right] .
\EQN oneperiodr1 $$
The term $m_{\tau+1} \equiv \beta u'(c_{\tau+1}) / u'(c_\tau)$
functions as a {\it stochastic discount factor}. Like
$R_{\tau+1}$, it is a random \index{stochastic discount factor}%
variable measurable with respect to $s_{\tau+1}$, given
$s^{\tau}$.
Equation \Ep{oneperiodr1} is a restriction on
the conditional moments of returns and $m_{t+1}$. Applying
the law of iterated expectations to equation \Ep{oneperiodr1} gives
the unconditional moments restriction
$$ 1 = E \left[\beta{u'(c_{\tau+1}) \over u'(c_\tau)} R_{\tau+1} \right]
\equiv E \left[ m_{\tau+1} R_{\tau+1} \right] .
\EQN oneperiodr2 $$
In chapters \use{assetpricing1} and \use{assetpricing2} we shall many more instances of this
equation.
In the next section, we display another market structure in which
the one-period pricing kernel $q^t_{t+1}(s^{t+1})$ also plays
a decisive role. This structure uses the
celebrated one-period ``Arrow securities,'' the sequential
trading of which substitutes perfectly for the comprehensive trading
of long horizon claims at time $0$.
\index{Arrow securities}
\section{Sequential trading}\label{sec:arrowsecurities}%
This section describes an alternative
market structure that preserves both the equilibrium allocation
and the key one-period asset-pricing formula
\Ep{oneperiodp1}.
\auth{Arrow, Kenneth J.}
\subsection{Arrow securities}
We build on an insight of Arrow (1964) that one-period securities
are enough to implement complete markets, provided that new
one-period markets are reopened for trading each period and provided that time $t$, history $s^t$ wealth is properly assigned to each agent.
Thus, at
each date $t \geq 0$, but only at the history $s^t$ actually realized, trades occur in a set of claims to
one-period-ahead state-contingent consumption. We describe a
competitive equilibrium of this sequential-trading economy.
With a full array of these one-period-ahead claims,
the sequential-trading arrangement attains the same allocation
as the competitive equilibrium that we described earlier.
\index{Arrow securities}
\auth{Arrow, Kenneth J.}
\subsection{Financial wealth as an endogenous state variable}
A key step in constructing a sequential-trading arrangement is to
identify a variable to serve as the state in a value function for
the household at date $t$. We find this state by taking an
equilibrium allocation and price system for the (Arrow-Debreu)
time $0$ trading structure and applying a guess-and-verify method.
We begin by asking the following question. In the competitive
equilibrium where all trading takes place at time $0$, what is the implied continuation wealth of household $i$ at time $t$ after history $s^t$?
The answer is obtained by summing up the value of the household's
holdings of claims to current and future consumption as of time $t$ and
history $s^t$. Since history $s^t$ has been realized, we discard all
claims contingent on time $t$ histories $\tilde s^t \neq s^t$ that
were not realized. Hence, the implied wealth is simply determined
by the trades that were undertaken by household $i$ at the outset of a
time $0$ trading equilibrium, when the household can be thought of as
having sold off the entire endowment stream on the right side of budget
constraint \Ep{eq2} in order to acquire the contingent consumption claims
on the left side of budget constraint \Ep{eq2}.
The differences in a sequential-trading arrangement are that (Arrow)
one-period securities are traded period by period, and that households
retain the ownership to their endowment processes throughout time.
Hence, from the perspective of a sequential-trading arrangement, the
wealth of household $i$ at a point in time can be decomposed into two
components of {\it financial wealth} and {\it non-financial wealth},
respectively.\NFootnote{In some applications, financial wealth
is also called `non-human wealth' and non-financial wealth is called
`human wealth'.}
Financial wealth at time $t$ after history $s^t$ is the household's
beginning-of-period holdings of Arrow securities that are contingent on
the current state $s_t$ being realized,
while the household's current and future endowment constitute non-financial
wealth. Given Arrow's (1964) insight that the two trading arrangements
yield an identical equilibrium allocation, a household's financial wealth
in a sequential trading equilibrium should be equal to the above implied
continuation wealth in a time $0$ trading equilibrium, except for reducing
the latter by the value of the household's current and future endowment
(non-financial wealth). Thus, the
financial wealth of household $i$ at time $t$ after history $s^t$,
expressed in terms of the date $t$, history $s^t$ consumption good is
$$
\Upsilon^i_t(s^t) =
\sum_{\tau=t}^\infty \; \sum_{s^\tau \vert s^t}
q_\tau^t(s^\tau) \left[ c^i_\tau(s^\tau) - y_\tau^i(s^\tau) \right]. \EQN cecm_wealth$$
Notice that budget constraint \Ep{eq2} at equality implies that
each household starts out with zero financial wealth at time $0$,
$\Upsilon^i_0(s^0)=0$ for all $i$. At $t >0$, financial wealth
$\Upsilon^i_t(s^t)$ typically differs from zero for household $i$,
but it sums to zero across $i$,
$$
\sum_{i=1}^{I} \Upsilon^i_t(s^t) = 0, \qquad \forall t, s^t,
$$
which follows from feasibility constraint \Ep{eq4} at equality.
That is, the traded Arrow securities that make up financial
wealth are in zero net supply -- positive holdings of some households
constitute indebtedness of other households who have issued those
securities.
%%%%%%%%%%%%%%
%A key step in constructing a sequential-trading arrangement is to
%identify a variable to serve as the state in a value function for
%the household at date $t$. We find this state by taking an
%equilibrium allocation and price system for the (Arrow-Debreu)
%time $0$ trading structure and applying a guess-and-verify method.
%We begin by asking the following question. In the competitive
%equilibrium where all trading takes place at time $0$, what is the implied
%continuation wealth of household $i$ at time
%$t$ after history $s^t$, but before adding in its time $t$, history $s^t$ endowment
%$y_t^i(s^t)$? To answer this question, in period $t$, conditional on history
%$s^t$, we sum up the value of the household's purchased claims to
%current and future goods net of its outstanding liabilities. Since
%history $s^t$ has been realized, we discard all claims and liabilities
%contingent on time $t$ histories $\tilde s^t \neq s^t$ that were not realized.
%Household $i$'s net claim to delivery of goods in a future period $\tau\geqt$
%contingent on history $\tilde s^\tau$ whose time $t$ partial history
%$\tilde s^t=s^t$ is $[c^i_\tau(\tilde s^\tau)-y_\tau^i(\tilde s^\tau)]$.
%Thus, the household's financial wealth, or the value of all its
%current and future net claims, expressed in terms of the date $t$,
%history $s^t$ consumption good is
%$$
%\Upsilon^i_t(s^t) =
%\sum_{\tau=t}^\infty \; \sum_{s^\tau \vert s^t}
% q_\tau^t(s^\tau) \left[ c^i_\tau(s^\tau) - y_\tau^i(s^\tau) \right].
%\EQN cecm_wealth$$
%Notice that feasibility
%constraint \Ep{eq4} at equality implies that
%$$
%\sum_{i=1}^{I} \Upsilon^i_t(s^t) = 0, \qquad \forall t, s^t.
%$$
%\subsection{Financial and non-financial wealth}
%Define $\Upsilon^i_t(s^t)$ as {\it financial wealth}
%and $\sum_{\tau=t}^\infty \; \sum_{s^\tau \vert s^t}
% q_\tau^t(s^\tau) y_\tau^i(s^\tau)$ as {\it non-financial wealth}.\NFootnote{In
%some applications, financial wealth
%is also called `non-human wealth' and non-financial wealth is called `human wealth'.}
%In terms of these concepts,
% \Ep{cecm_wealth} implies
% $$
%\Upsilon^i_t(s^t) +
%\sum_{\tau=t}^\infty \; \sum_{s^\tau \vert s^t}
% q_\tau^t(s^\tau) y_\tau^i(s^\tau) = \sum_{\tau=t}^\infty \;
%\sum_{s^\tau \vert s^t}
% q_\tau^t(s^\tau) c^i_\tau(s^\tau) , \EQN cecm_wealth$$
%which states that at each time and each history, the sum of financial and
%non-financial wealth
%equals the present value of current and future consumption claims.
%At time $0$, we have set $ \Upsilon^i_t(s^0)=0$ for all $i$. At $t >0$,
%financial wealth
%$\Upsilon^i_t(s^t)$ typically differs from zero for individual $i$,
%but it sums to zero across $i$.
%\index{wealth!financial}
%\index{wealth!non-financial}
\subsection{Reopening markets}
Formula \Ep{qdef} takes the form of a pricing
function for a complete markets economy with date- and history-contingent
commodities whose markets can be regarded as having been reopened at date $\tau$, history
$s^\tau$, starting from wealth levels implied by the tails of each household's
endowment and consumption streams for a complete markets economy that originally convened at $t=0$.
We leave it as an exercise to the
reader to prove the following proposition.
\medskip
\noindent{\sc Proposition 3:} Start from the distribution of time
$t$, history $s^t$ wealth that is implicit in a time $0$ Arrow-Debreu
equilibrium. If markets are reopened at date $t$ after history
$s^t$, no trades occur. That is, given the price system
\Ep{qdef}, all households choose to continue the tails of their
original consumption plans.
\medskip
\index{no-trade result}