-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathblackpro_5_2012.tex
3666 lines (3230 loc) · 198 KB
/
blackpro_5_2012.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
%\showchaptIDtrue
%\def\@chaptID{8.}
%\eqnotracetrue
\hbox{}
\def\toone{{t+1}}
\def\ttwo{{t+2}}
\def\tthree{{t+3}}
\def\Tone{{T+1}}
\def\TTT{{T-1}}
\def\rtr{{\rm tr}}
%%%\chapter{Fiscal Policies in the Nonstochastic Growth Model\label{linappro}}
\chapter{Fiscal Policies in a Growth Model\label{linappro}}
\footnum=0
\section{Introduction}
This chapter studies effects of technology and fiscal shocks
on equilibrium outcomes in a nonstochastic growth model. We
use the model to state some classic doctrines about the effects of various types of taxes and also
as a laboratory to exhibit numerical
techniques for approximating equilibria and to display the
structure of dynamic models in which decision makers have perfect
foresight about future government decisions. Foresight imparts effects on prices and allocations that precede
government actions that cause them.
Following Hall (1971), we augment a nonstochastic version of the
standard growth model with a government that purchases a stream of
goods and that finances itself with an array of distorting flat-rate
taxes. We take government behavior as exogenous,\NFootnote{In
chapter
\use{optax}, we take up a version of the model in which the government
chooses taxes to maximize the utility of a representative consumer.}
which means that for us a {\it government\/} is
simply a list of sequences for government purchases $\{g_t\}_{t=0}^\infty$
and taxes $\{\tau_{ct}, \tau_{kt}, \tau_{nt},
\tau_{ht}\}_{t=0}^\infty$. Here $\tau_{ct}, \tau_{kt}, \tau_{nt}$
are, respectively, time-varying flat-rate rates on consumption,
earnings from capital, and labor earnings; and $\tau_{ht}$ is a lump-sum tax (a ``head
tax'' or ``poll tax'').
Distorting taxes prevent a competitive equilibrium allocation
from solving a planning problem. Therefore, to compute an equilibrium allocation and price
system, we
solve a system of nonlinear difference equations consisting of the
first-order conditions for decision makers and the other
equilibrium conditions. We first use a method called shooting. It produces an accurate
approximation. Less accurate but in some ways more revealing
approximations can be found by following Hall (1971), who solved a
linear approximation to the equilibrium conditions.
We apply the lag operators described in appendix \use{appa1} of chapter \use{timeseries} to find and represent the solution in a way that is
especially helpful in revealing the dynamic effects of perfectly
foreseen alterations in taxes and expenditures and how current values of
endogenous
variables respond to paths of future exogenous variables.\NFootnote{See Sargent
(1987a) for a more comprehensive account of lag operators. By
using lag operators, we extend Hall's results to allow arbitrary
fiscal policy paths.} \index{shooting algorithm}%
\section{Economy}
\subsection{Preferences, technology, information}
There is no uncertainty, and decision makers have perfect foresight.
A representative household has preferences over nonnegative streams of
a single
consumption good $c_t$ and leisure $1-n_t$ that are ordered by
$$ \sum_{t=0}^\infty \beta^t U(c_t, 1-n_t), \quad \beta \in (0,1) \EQN ric1 $$
where $U$ is strictly increasing in $c_t $ and $1-n_t $, twice
continuously differentiable, and strictly concave. We require that $c_t \geq 0 $
and $n_t \in [0,1]$. We'll
typically assume that $U(c,1-n) = u(c)+v(1-n)$. Common alternative
specifications in the real business cycle literature are $U(c,1-n)
= \log c + \zeta \log (1-n)$ and $U(c,1-n) = \log c + \zeta
(1-n)$.\NFootnote{See Hansen (1985) for a comparison of these two specifications. Both of these specifications
fulfill the necessary conditions for the existence of a balance growth path set forth by King, Plosser, and Rebelo (1988), which require that income and
substitution effects cancel in an appropriate way.}
\auth{King, Robert G.}%
\auth{Plosser, Charles I.}%
\auth{Rebelo, Sergio}%
We shall also focus on
another frequently studied special case that
has $v=0$ so that $U(c,1-n)=u(c)$.
The technology is
$$\EQNalign{ g_t + c_t + x_t & \leq F(k_t, n_t) \EQN ric02;a \cr
k_{t+1} & = (1-\delta) k_t + x_t \EQN ric02;b \cr } $$
where $\delta \in (0,1)$ is a depreciation rate, $k_t$ is the stock
of physical capital, $x_t$ is gross investment,
and $F(k,n)$ is a linearly homogeneous production
function with positive and decreasing marginal products of capital and
labor.\NFootnote{In section \use{sec:growthKPR}, we modify the production function to admit
labor augmenting technical change, a form that respects the King, Plosser, and Rebelo (1988)
necessary conditions for the existence of a balance growth path.}
It is sometimes convenient to eliminate $x_t$ from \Ep{ric02} and express
the technology as
$$ g_t + c_t + k_{t+1} \leq F(k_t, n_t) + (1-\delta) k_t. \EQN ric2 $$
\subsection{Components of a competitive equilibrium}
There is a competitive equilibrium with all trades occurring at
time $0$. The household owns capital, makes investment decisions,
and rents capital and labor to a representative production firm.
The representative firm uses capital and labor to produce goods
with the production function $F(k_t, n_t)$. A {\it price system\/}
is a triple of sequences $\{q_t, \eta_t, w_t\}_{t=0}^\infty$, where
$q_t$ is the time $0$ pretax price of one unit of investment or
consumption at time $t$ ($x_t$ or $c_t$), $\eta_t$ is the pretax
price at time $t$ that the household receives from the firm for
renting capital at time $t$, and $w_t$ is the pretax price at
time $t$ that the household receives for renting labor to the firm
at time $t$. The prices $w_t$ and $ \eta_t$ are expressed in terms
of
time $t$ goods, while $q_t$ is expressed in terms of the numeraire at time $0$.
%\section{Budget constraints and competitive equilibrium}
%We study competitive equilibria with trading at time $0$.
We extend the chapter \use{recurge} definition of a competitive
equilibrium to include activities of a government.
We say that a government expenditure and tax plan that satisfy a
budget constraint is {\it budget feasible}. A set of competitive
equilibria is indexed by alternative budget-feasible government
policies.
The household faces the budget constraint:
$$\eqalign{ & \sum_{t=0}^\infty q_t \left\{(1+\tau_{ct}) c_t +
[k_{t+1} - (1-\delta) k_t] \right\} \cr
& \leq \sum_{t=0}^\infty q_t \left\{ \eta_t k_t -\tau_{kt}(\eta_t - \delta) k_t +
(1-\tau_{nt})w_t n_t - \tau_{ht} \right\}. \cr } \EQN ric3 $$
Here we have assumed that the government gives a depreciation allowance $\delta k_t$
from the gross rentals on capital $\eta_t k_t$ and so collects taxes $\tau_{kt} (\eta_t - \delta) k_t$
on rentals from capital.
The government faces the budget constraint
$$\sum_{t=0}^\infty q_t g_t \leq
\sum_{t=0}^\infty q_t \Bigl\{ \tau_{ct} c_t
+
\tau_{kt} (\eta_t -\delta) k_t + \tau_{nt} w_t
n_t + \tau_{ht} \Bigr\} . \EQN ricg $$
There is a sense in which we have given the government access to
too many kinds of taxes, because when lump-sum taxes are available,
the government should not use any distorting taxes. We include all of these
taxes because, like Hall (1971), we want a framework that is
sufficiently general to allow us to analyze how the various taxes
distort production and consumption decisions.
\section{The term structure of interest rates}\label{sec:termstructure_growth}%
\index{term structure of interest rates}
The price system $\{q_t\}_{t=0}^\infty$ evidently embeds within it a term structure of interest rates.
It is convenient to represent $q_t$ as
$$ \EQNalign {q_t & = q_0 {\frac{q_1}{q_0}}{\frac{q_2}{q_1}} \cdots {\frac{q_t}{q_{t-1}}} \cr
& = q_0 m_{0,1} m_{1,2} \cdots m_{t-1,t} \cr} $$
where $m_{t,t+1} = {\frac{q_{t+1}}{q_t}}$. \index{discount factor}%
We can represent the one-period {\it discount factor\/} $m_{t,t+1}$ as
$$ m_{t,t+1} = R_{t,t+1}^{-1} = {\frac{1}{1+r_{t,t+1}}} \approx \exp(- r_{t,t+1}) . \EQN mdefff $$
Here $R_{t,t+1}$ is the gross one-period rate of interest between $t$ and $t+1$ and
$r_{t,t+1}$ is the net one-period rate of interest between $t$ and $t+1$.
Notice that $q_t$ can also be expressed as
$$\EQNalign{ q_t &= q_0 \exp(-r_{0,1}) \exp(-r_{1,2}) \cdots \exp(-r_{t-1,t}) \cr
& = q_0 \exp \bigl( - (r_{0,1} + r_{1,2} + \cdots + r_{t-1,t} )\bigr) \cr
& = q_0 \exp (-t r_{0,t} ) \cr } $$
where
$$ r_{0,t} = t^{-1} (r_{0,1} + r_{1,2} + \cdots + r_{t-1,t} ). \EQN expectations_theory $$
Here $r_{0,t} $ is the net $t$-period rate of interest between $0$ and $t$. Since $q_t$ is the time $0$ price of one unit
of time $t$ consumption, $r_{0,t}$ is said to be the yield to maturity on a `zero coupon bond' that matures at time $t$.
A zero coupon bond promises no coupons before the date of maturity and pays only the principal due at the date of maturity. Equation \Ep{expectations_theory}
expresses the expectations theory of the term structure of interest rates, according to which interest rates on $t$-period (long) loans are
averages of rates on one period (short) loans expected to prevail over the horizon of the long loan. \index{term structure!of interest rates}%
More generally,
the $s$-period long rate at time $t$ is
$$r_{t,t+s} = {1 \over s} ( r_{t,t+1} + r_{t+1,t+2} + \cdots + r_{t+s-1,t+s}). \EQN expectations_theory_2 $$
A graph of $r_{t,t+s}$ against $s$ for $s=1, 2, \ldots, S$ is called the (real) yield curve at $t$.\index{expectations theory of term structure}%
\index{zero coupon bonds}%
%
%An insight about the expectations theory of the term structure of interest rates can be gleaned from computing one-period holding period
%yields on zero coupon bonds of maturities $1, 2, \ldots$. Someone who at time $0$ purchases one unit of time $1$ consumption for $q_1$ units
%of time $0$ consumption and then sells it
%at time $1$ for $1 = {\frac{q_1}{q_1}}$ units of the time $1$ consumption good
% earns a one-period return of ${\frac{1-q_1}{q_1}}$. Someone who at time $0$ purchases one
%unit of time $t$ consumption at a price $q_t$ of the time $0$ consumption good and then sells it at time $1$ for a price of ${\frac{q_t}{q_1}}$ of the
% time $1$ consumption good
%earns a one-period return of ${\frac{q_t/q_1 - q_t}{q_t}} = {\frac{1-q_1}{q_1}}$. Evidently, at time $0$ the one-period yield is {\it identical\/} for pure discount
%bonds of {\it all\/} maturities. More generally, at time $t$ the one-period holding period yield on zero coupon bonds of all maturities
%equals ${\frac{1 - q_{t+1}}{q_{t+1}}}$. One way to characterize the expectations theory of the term structure of interest rates is by the requirement
%that the price vector $\{q_t\}_{t=0}^\infty$ of zero coupon bonds must be such that one-period holding period yields are equated across zero coupon bonds of
%all maturities. Note also how the price system $\{q_t\}_{t=0}^\infty$ contains forecasts of one-period holding period yields on zero coupon bonds of all maturities
%at all dates $t \geq 0$. \index{holding period yields}%
An insight about the expectations theory of the term structure of interest rates can be gleaned from computing gross one-period holding period
returns on zero coupon bonds of maturities $1, 2, \ldots$. Consider the gross return earned by someone who at time $0$ purchases one unit of time $t$ consumption for $q_t$ units
of the numeraire and then sells it
at time $1$. The person pays ${\frac{q_t}{q_0}}$ units of time $0$ consumption goods to earn ${\frac{q_t}{q_1}}$ units of time $1$
consumption goods. The gross rate of return from this trade measured in time $1$ consumption goods per unit of time $0$ consumption goods
is ${\frac{q_0}{q_1}}$, which does not depend on the date $t$ of the good bought at time $0$ and then sold at time $1$.
Evidently, at time $0$ the one-period return is {\it identical\/} for pure discount
bonds of {\it all\/} maturities $t \geq 1$. More generally, at time $t$ the one-period holding period gross return on zero coupon bonds of all maturities
equals ${\frac{q_{t}}{q_{t+1}}}$.
A way to characterize the expectations theory of the term structure of interest rates is by the requirement
that the price vector $\{q_t\}_{t=0}^\infty$ of zero coupon bonds must be such that one-period holding period yields are equated across zero coupon bonds of
all maturities. Note also how the price system $\{q_t\}_{t=0}^\infty$ contains forecasts of one-period holding period yields on zero coupon bonds of all maturities
at all dates $t \geq 0$. \index{holding period yields}%
\index{one-period returns}%
In subsequent sections, we'll indicate how the growth model with taxes and government expenditures links the term structure of interest
rates to aspects of government fiscal policy.
\section{Digression: sequential version of government budget constraint}
We have used the time $0$ trading abstraction
described in chapter \use{recurge}. %That chapter describes another
% formulation with
% sequential trading of one-period Arrow securities that supports
% the same equilibrium allocations. A formulation with
Sequential
trading of one-period risk-free debt can also support the equilibrium allocations that we
shall study in this chapter. It is especially useful explicitly to describe the sequence of one-period
government debt that is implicit in the equilibrium tax policies here.
We presume that the government enters period $0$ with no government debt.\NFootnote{Letting
$B_{-1}=0$ be the government debt owed at time $-1$ allows us to apply equation
\Ep{govt_budget_sequence } to date $t=0$ too.}
Define total tax collections as $T_t = \tau_{ct} c_t +
\tau_{kt} (\eta_t-\delta) k_t + w_t \tau_{nt}n_t + \tau_{ht}$ and express the government budget constraint
as
$$ \sum_{t=0}^\infty q_t (g_t - T_t) = 0 . \EQN govt_budget_AD $$
This can be written as
$$ g_0 - T_0 = \sum_{t=1}^\infty {\frac{q_t}{q_0}} (T_t - g_t), $$
which states that the government deficit $g_0 - T_0$ at time $0$ equals
the present value of future government surpluses. Here
$B_0 \equiv \sum_{t=1}^\infty {\frac{q_t}{q_0}} (T_t - g_t) $ is
the value of government debt issued at time $0$, denominated in units of time $0$ goods.
%Suppose that all of this debt is one-period in duration.
We can use this definition of $B_0$ to deduce
$$ B_0 {\frac{q_0}{q_1}} = T_1 - g_1 + \sum_{t=2}^\infty {\frac{q_t}{q_1} } (T_t - g_t ) $$
or, by recalling from the previous subsection that $R_{0,1} \equiv {\frac{q_0}{q_1}}$ denotes the gross one-period real interest rate
between time 0 and time 1,
$$ B_0 R_{0,1} = T_1 - g_1 + B_1 $$
where now
$$ B_1 \equiv \sum_{t=2}^\infty {\frac{q_t}{q_1} } (T_t - g_t ) $$
is the value of government debt issued in period 1 in units of time 1 consumption.
Iterating this construction forward gives us a sequence of period-by-period government budget constraints
$$ g_t + R_{t-1,t} B_{t-1} = T_t + B_t \EQN govt_budget_sequence $$
for $t \geq 1$, where $R_{t-1,t} = {\frac{q_{t-1}}{q_t}}$ and
$$ B_t \equiv \sum_{s=t+1}^\infty {\frac{q_s}{q_t} } (T_s - g_s ).\EQN govt_debt_sequence $$
The left side of equation \Ep{govt_budget_sequence} is time $t$ government expenditures including
interest and principal payments on its debt, while the right side is total revenues including those raised by
issuing new one-period debt in the amount $B_t$.
Thus, embedded in a government policy that satisfies \Ep{ricg} is a sequence of one-period
government debts satisfying \Ep{govt_debt_sequence}. The value of government debt at $t$ is the present value
of government surpluses from date $t+1$ onward. Equation \Ep{govt_debt_sequence} states that government {\it debts\/}
at time $t$ signal future {\it surpluses\/}.
Equation \Ep{govt_budget_sequence} can be represented as
$$
B_t - B_{t-1} = g_t - T_t + r_{t-1,t} B_{t-1}. \EQN govt_budget_sequence_2
$$
Here $g_t - T_t$ is what is commonly called either the {\it net-of-interest\/} government deficit
or the {\it operational\/} government deficit or the {\it primary\/} government deficit, while $r_{t-1,t} B_{t-1}$ are net interest payments on the government
debt and $ g_t - T_t + r_{t-1,t} B_{t-1}$ is the gross-of-interest government deficit.
Equation \Ep{govt_budget_sequence_2} asserts that the change in government debt equals the
gross-of-interest government deficit.
\index{government deficit!net of interest}%
\index{government deficit!gross of interest}%
\index{government deficit!operational}%
\index{government deficit!primary}%
The Arrow-Debreu budget constraint \Ep{govt_budget_AD} automatically enforces a `no-Ponzi scheme' condition on the path of
government debt $\{B_t\}$.
To see this, first recall that ${\frac{q_s}{q_t}} = R_{t,t+1}^{-1} \cdots R_{s-1,s}^{-1}$ and
write \Ep{govt_debt_sequence}
as
$$ B_t = \sum_{s=t+1}^T {\frac{q_s}{q_t}} (T_s - g_s )+ \sum_{s=T+1}^\infty {\frac{q_s}{q_t} } (T_s - g_s ) $$
or
$$ B_t \equiv \sum_{s=t+1}^T {\frac{q_s}{q_t}} (T_s - g_s )+ {\frac{q_{T}}{q_t}}B_{T} $$
or
$$ B_t \equiv \sum_{s=t+1}^T {\frac{q_s}{q_t} } (T_s - g_s )+ R_{t,t+1}^{-1} \cdots R_{T-1,T}^{-1} B_{T}. $$
% The condition that $B_t$ is finite implies that $\lim_{T\rightarrow +\infty} R_{t,t+1}^{-1} \cdots R_{T-1,T}^{-1} B_{T} =0$.
An argument like that in subsection \use{sec:no_arbitrage100} can be applied to show that in an equilibrium $\lim_{T \rightarrow +\infty} q_T B_{T+1} = 0$.
\subsection{Irrelevance of maturity structure of government debt}
At time $t$, the government issues a list of {\it bonds} that in the aggregate promise to pay a stream $\{\xi^t_s\}_{s=1}^\infty$ of goods at time $s > t$ satisfying
$$
B_t = \sum_{s=t+1}^\infty {\frac{q_s}{q_t}} \xi^t_s .\EQN eqn_value_of_bonds
$$
The only restriction that our model puts on the term structure of payments $\{\xi^t_s\}_{s=1}^\infty$ is that it must satisfy
$$ \sum_{s=t+1}^\infty {\frac{q_s}{q_t}} \xi^t_s = \sum_{s=t+1}^\infty {\frac{q_s}{q_t} } (T_s - g_s ) \equiv B_t \EQN term_structure_payments
$$
The model of this chapter asserts that one payment stream $\{\xi^t_s\}_{s=t+1}^\infty$ that satisfies \Ep{term_structure_payments} is as good as any other. The model pins down the total value of the continuation government IOU stream $\{\xi^t_s\}_{s=t+1}^\infty$ at each $t$, but it leaves the
maturity structure of payments, whether early or late, for example, undetermined.\NFootnote{For models that restrict the maturity structure of government
debt by imposing more imperfections than we does this chapter, see Lucas and Stokey (1983), Angeletos (2002), Buera and Nicolini (2004), and Shin (2007). Lucas and Stokey show how to set the maturity
structure of debt payments to
induce a sequence of authorities responsible for choosing flat rate taxes on labor to implement a Ramsey plan. Angeletos (2002), Buera and Nicolini (2004),
and Shin (2007) use variations over time in the maturity structure of risk-free government debt to complete markets.}
\auth{Stokey, Nancy L.}%
\auth{Lucas, Robert E., Jr.}%
\auth{Buera, Francisco}%
\auth{Nicolini, Juan Pablo}%
\auth{Angeletos, George-Marios}%
\auth{Shin, Yongseok}%
Two polar examples of maturity structures of the government debt are:
\medskip
\item{1.} All debt consists of {\it one-period pure discount bonds\/} that are rolled over every period:
%$$ z_{jt} = \cases{ 0 & if $t \leq T-1$ \cr
% \overline z_j & if $ t \geq T$ \cr} \EQN path1 $$
$$ \xi^t_s = \cases{ \bar \xi^t & if $s=t+1 $\cr
0 & if $ s \geq t+2$ \cr} $$
where $\bar \xi^t$ satisfies ${\frac{q_{t+1}}{q_t}} \bar \xi^t = B_t$.
\medskip
\item{2.} All debt consists of {\it consols\/} that in the aggregate promise to pay a constant total coupon $\hat \xi^t$ for $s \geq t+1$, where
$\hat \xi^t$ satisfies
$$ \hat \xi^t\sum_{s=t+1}^\infty {\frac{q_s}{q_t}} = B_t.
$$
\index{consol}%
\noindent The sequence of period-by-period net returns on the government debt $\{ r_{t,t+1} B_t\}_{t=0}^\infty$ is independent of
the government's choice of sequences $\{\{\xi^t_s\}_{s=t+1}^\infty\}_{t=0}^\infty$.
\section{Competitive equilibria with distorting taxes}
A representative household
chooses a sequence $\{c_t, n_t, k_{t+1}\}_{t=0}^\infty $ to maximize \Ep{ric1}
subject to \Ep{ric3}. A representative firm chooses $\{k_t,
n_t\}_{t=0}^\infty$ to maximize $\sum_{t=0}^\infty q_t [ F(k_t,
n_t) - \eta_t k_t - w_t n_t]$.\NFootnote{Note the contrast with
the setup in chapter
\use{growth1}, which has two types of firms. Here we assign to the
household the physical investment decisions made by the type II
firms of chapter \use{growth1}.} A budget-feasible government
policy is an expenditure plan $\{g_t\}_{t=0}^\infty $ and a tax plan that
satisfy \Ep{ricg}. A feasible allocation is a sequence $\{c_t,
x_t, n_t, k_t\}_{t=0}^\infty $ that satisfies \Ep{ric2}.
\medskip
\noindent{\sc Definition:} A {\it competitive equilibrium with distorting taxes\/}
is a budget-feasible
government policy, a feasible allocation,
and a price system such that, given the price system and the government
policy, the allocation solves the household's problem and the firm's problem.
\medskip
\subsection{The household:
no-arbitrage and asset-pricing formulas}\label{sec:no_arbitrage100}%
A no-arbitrage argument implies a restriction on prices
and tax rates across time from which there emerges a formula for
the ``user cost of capital'' (see Hall and Jorgenson, 1967).
Collect terms in similarly dated capital stocks and thereby
rewrite the household's budget constraint \Ep{ric3} as
%\offparens
$$\eqalign{ & \sum_{t=0}^\infty q_t\bigl[(1+\tau_{ct}) c_t\bigr]
\leq
\sum_{t=0}^\infty q_t (1-\tau_{nt})w_t
n_t - \sum_{t=0}^\infty q_t \tau_{ht} \cr
&+ \sum_{t=1}^\infty \bigl[ ((1-\tau_{kt})(\eta_t- \delta) + 1)q_t -
q_{t-1} \bigr] k_t \cr &
+ \bigl[ \left(1-\tau_{k0}\right) (\eta_0 - \delta)
+ 1 \bigr] q_0k_0
- \lim_{T \rightarrow \infty} q_T k_{T+1}
\cr} \EQN ric0a $$
%\autoparens
The terms $\bigl[ \left(1-\tau_{k0}\right) (\eta_0 - \delta)
+ 1 \bigr] q_0 k_0$ and
$- \lim_{T \rightarrow \infty} q_T k_{T+1}$
remain after creating the weighted sum in $k_t$'s for $t \geq
1$. \auth{Hall, Robert E.} \auth{Jorgenson, Dale}%
The household inherits a given $k_0$ that it takes as an
initial condition, and it is free to choose any sequence
$\{c_t, n_t, k_{t+1}\}_{t=0}^\infty$ that satisfies \Ep{ric0a}
where all prices and tax rates are taken as given.
The objective of the household is to maximize lifetime
utility \Ep{ric1}, which is increasing in consumption
$\{c_t\}_{t=0}^\infty$ and,
for one of our preference specifications below, also
increasing in leisure $\{1 -n _t\}_{t=0}^\infty$.
%Since the household can only consume nonnegative amounts
%of consumption and nonnegative amounts of leisure, we have
%the restrictions that $c_t\geq 0$ and $n_t\in[0,1]$ for all $t$.
%The household has no direct preferences over the
%sequence of capital
%$\{k_{t+1}\}_{t=0}^\infty$ that serves as a vehicle
%for achieving the household's goal of utility maximization.
All else equal, the household would be happier with larger
values on the right side of \Ep{ric0a}, preferably plus infinity,
which would enable it to purchase unlimited amounts of consumption
goods. Because resources are finite, we know that the right side
of the household's budget constraint must be bounded in an
equilibrium. This fact leads to an important restriction on the
price and tax sequences. If the right side of the household's
budget constraint is to be bounded, then the terms multiplying
$k_t $ for $t \geq 1$ must all equal zero because if any of them
were strictly positive (negative) for some date $t$, the household
could make the right side of \Ep{ric0a} an arbitrarily large
positive number by choosing an arbitrarily large positive (negative)
value of $k_t$. On the one hand, if one such term were strictly
positive for some date $t$, the household could purchase an
arbitrarily large capital stock $k_t$ assembled at time $t-1$ with
a present-value cost of $q_{t-1} k_t$ and then
sell the rental services and the undepreciated part of that
capital stock to be delivered at time $t$, with a present-value
income of $[ (1-\tau_{kt})(\eta_t -\delta) + 1]q_t k_t$.
If such a transaction were to yield a strictly positive profit, it would
offer the consumer a pure arbitrage opportunity and the right side of \Ep{ric0a} would
become unbounded. On the other hand, if there is one term
multiplying $k_t$ that is strictly negative for some date $t$, the
household can make the right side of \Ep{ric0a} arbitrarily large
and positive by ``short selling'' capital by setting $k_t<0$. The
household could turn to purchasers of capital assembled at time
$t-1$ and sell ``synthetic'' units of capital to them. Such a
transaction need not involve any actual physical capital: the
household could merely undertake trades that would give the other
party to the transaction the same costs and incomes as those
associated with purchasing capital assembled at time $t-1$. If
such \idx{short sales} of capital yield strictly positive profits,
it would provide the consumer with a pure arbitrage opportunity and the right side of
\Ep{ric0a} would become unbounded. Therefore, the terms
multiplying $k_t$
must {\it equal\/} zero for all $t\geq 1$, so that
%$$ q_t = q_{t+1} (1-\delta)
% + \eta_{t+1} (1-\tau_{kt+1}) \EQN ric4euler $$
$$ {\frac{q_t}{q_{t+1}}} = \left[ (1-\tau_{kt+1})( \eta_{t+1} -\delta) + 1 \right] \EQN ric4euler $$
for all $t \geq 0$. These are
zero-profit or no-arbitrage conditions.
%Unless these no-arbitrage conditions hold, the household
%is not optimizing.
We have derived these conditions by using
only the weak property that $U(c,1-n)$ is
increasing in consumption (i.e., that the household
always prefers more to less).
It remains to be determined how the household sets the last term
on the right side of \Ep{ric0a}, $- \lim_{T \rightarrow \infty}
q_T k_{T+1}$. According to our preceding argument,
the household would not purchase an amount of capital that would
make this term strictly negative in the limit because that would
reduce the right side of \Ep{ric0a} and hence diminish the
household's resources available for consumption. Instead, the
household would like to make this term strictly positive and
unbounded, so that the household could purchase unlimited amounts
of consumption goods. But the market would stop the household from
undertaking such a short sale in the limit, since no party would
like to be on the other side of the transaction. This is obvious
when considering a finite-horizon model where everyone would like
to short sell capital in the very last period because there would
then be no future period in which to fulfil the obligations of
those short sales. Therefore, in our infinite-horizon model, as a
condition of optimality, we impose the
terminal condition that
$- \lim_{T \rightarrow \infty} q_T k_{T+1} =0 $.
Once we impose formula \Ep{ric4;a} below linking $q_t$ to $U_{1t}$,
this terminal condition puts the following restriction on the
equilibrium allocation:
$$
- \lim_{T \rightarrow \infty} \beta^T {U_{1T}
\over (1+\tau_{cT})} k_{T+1} =0. \EQN termk $$
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%The household inherits a given $k_0$ that it takes as an
%initial condition. Under an Inada condition on $U$, the
%household's marginal condition \Ep{ric4;a} below implies that
%$q_t$ exceeds zero for all $t \geq 0$, and we require that the
%household's choice respect $k_t \geq 0$. Therefore, as a
%condition of optimality, we impose the
% terminal condition that
% $- \lim_{T \rightarrow \infty} (1-\tau_{iT}) q_T k_{T+1} =0 $.
%If this condition did not hold,
%the right side of \Ep{ric0a} could be increased.
%%Using formula \Ep{ric4;a} below, we shall express
%Once we impose formula \Ep{ric4;a} that links $q_t$ to $U_{1t}$,
%this terminal condition puts the following restriction on the
%equilibrium allocation:
%$$
% - \lim_{T \rightarrow \infty} (1-\tau_{iT}) \beta^T {U_{1T}
%\over (1+\tau_{cT})} k_{T+1} =0. \EQN termk $$
%
%Because resources are finite, we know that the right side of the household's
%budget constraint must be bounded in an equilibrium. This fact leads
%to
%an important restriction on
%the price sequence.
%On the one hand, if the right side of the
%household's budget constraint is to be bounded,
%then
%the terms multiplying $k_t $ for $t \geq 1$ have to be {\it less\/}
% than or equal
%to zero. On the other hand,
% if the household is ever to set $k_t >0$ (which
%it will want to do in a competitive equilibrium), then
%these same terms must be {\it greater\/}
% than or equal to zero for all $t \geq 1$.
%Therefore, the terms multiplying $k_t$
% must {\it equal\/} zero for all $t\geq 1$:
%$$ q_t (1-\tau_{it}) = q_{t+1} (1-\tau_{it+1}) (1-\delta)
% + \eta_{t+1} (1-\tau_{kt+1}) \EQN ric4euler $$
%for all $t \geq 0$.
%These are
%zero-profit or no-arbitrage conditions.
%Unless these no-arbitrage conditions hold, the household
%is not optimizing. We have derived these conditions by using
%only the weak property that $U(c,1-n)$ is
%increasing in both arguments (i.e., that the household
%always prefers more to less).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The household's initial capital stock $k_0$ is given. According
to \Ep{ric0a}, its value is
$ [(1-\tau_{k0})(\eta_0 - \delta)+ 1] q_0 k_0$.
\subsection{User cost of capital formula}
The no-arbitrage conditions \Ep{ric4euler} can be rewritten as
the following expression for the ``user cost of capital'' $\eta_{t+1}$:
%$$ \eta_{t+1}=\left( {1 \over 1 -\tau_{kt+1}}\right) \left[
%q_t -q_{t+1}(1-
% \delta ) \right]. \EQN ric1a $$
$$ \eta_{t+1}=\delta + \left( {1 \over 1 -\tau_{kt+1}}\right) \left(
{\frac{q_t}{q_{t+1}}} - 1 \right). \EQN ric1a $$
Recalling from \Ep{mdefff} that $m_{t,t+1}^{-1}= R_{t,t+1} = (1 + r_{t,t+1} ) = {\frac{q_t}{q_{t+1}}}$,
equation \Ep{ric1a} can be expressed as
$$\eta_{t+1} = \delta + \left( {r_{t,t+1} \over 1 -\tau_{kt+1}}\right) . $$
The user cost of capital takes into account the rate of taxation
of capital earnings, the capital gain or loss from $t$ to $t+1$,
and a depreciation
cost.\NFootnote{This is a discrete-time version of a continuous-time
formula derived by Hall and Jorgenson (1967).}
\subsection{Household first-order conditions}
So long as
the no-arbitrage conditions
\Ep{ric4euler} prevail,
households are indifferent
about how much capital they hold. Recalling that the one-period utility function is
$U(c, 1-n)$, let $U_1 = {\partial U \over \partial c}$ and $U_2 = {\partial U \over \partial 1-n}$
so that ${\partial U \over \partial n } = - U_2$. Then we have that the household's
first-order conditions with respect to $c_t, n_t$ are:
$$ \EQNalign{ \beta^t U_{1t} & = \mu q_t (1+\tau_{ct}) \EQN ric4;a \cr
\beta^t U_{2t} & \leq \mu q_t w_t (1- \tau_{nt}),
\ \ = {\rm if} \ n_t < 1, \EQN ric4;b \cr}
$$
where $\mu$ is a nonnegative Lagrange multiplier on the household's
budget constraint \Ep{ric3}.
Multiplying the price system by a positive scalar simply rescales
the multiplier $\mu$, so we are free to choose a numeraire by setting
$\mu$ to an arbitrary positive number.
\subsection{A theory of the term structure of interest rates}
Equation \Ep{ric4;a} allows us to solve for $q_t$ as a function of consumption
$$ \mu q_t = \beta^t U_{1t} / (1+\tau_{ct} ) \EQN q_t_formula;a $$
or in the special case that $U(c_t, 1-n_t) = u(c_t)$
$$\mu q_t = \beta^t u'(c_t) / (1+\tau_{ct}). \EQN q_t_formula;b $$
In conjunction with the observations made in subsection \use{sec:termstructure_growth}, these formulas link the term
structure of interest rates to the paths of $c_t, \tau_{ct}$. The government policy $\{g_t, \tau_{ct}, \tau_{nt}, \tau_{kt}, \tau_{ht} \}_{t=0}^\infty$
affects the term structure of interest rates directly via $\tau_{ct}$ and indirectly via its impact on the path for $\{c_t\}_{t=0}^\infty$.
\subsection{Firm}
Zero-profit conditions for the representative firm impose additional
restrictions on equilibrium prices and quantities.
The present value of the firm's profits
is
$$ \sum_{t=0}^\infty q_t\ \bigl[ F(k_t, n_t) - w_t n_t - \eta_t k_t\bigr]. $$
Applying Euler's theorem on linearly homogeneous functions to $F(k,n)$,
the firm's
present value is:
$$ \sum_{t=0}^\infty q_t \left[
(F_{kt} - \eta_t) k_t +( F_{nt} -w_t) n_t\right]. $$
No-arbitrage (or zero-profit) conditions are:
$$ \eqalign{ \eta_t & = F_{kt} \cr
w_t & = F_{nt} . \cr }\EQN ric6 $$
\section{Computing equilibria}
The definition of a competitive equilibrium and the concavity
conditions that we have imposed on preferences imply that an
equilibrium is a price system $\{q_t, \eta_t, w_t\}$, a budget feasible
government policy $\{g_t,\tau_t\}\equiv \{g_t, \tau_{ct}, \tau_{nt}, \tau_{kt},
\tau_{ht}\}$, and an allocation $\{c_t, n_t, k_{t+1}\}$
that solve the system of nonlinear difference equations consisting of \Ep{ric2}, \Ep{ric4euler}, \Ep{ric4}, and \Ep{ric6} subject to the
initial condition that $k_0$ is given and the terminal condition
\Ep{termk}. In this chapter, we shall simplify things by treating $\{g_t,\tau_t\}\equiv \{g_t, \tau_{ct}, \tau_{nt}, \tau_{kt} \}$ as exogenous
and then use $\sum_{t=0}^\infty q_t \tau_{ht}$ as a slack variable that we choose to balance the government's budget. We now attack this system of difference
equations.
%We now describe how to compute an equilibrium by
%solving or approximately solving
% a nonlinear difference equation in capital with
%government policy variables as forcing functions.
\subsection{Inelastic labor supply}
We'll start with the following special case. (The general case
is just a little more complicated, and we'll describe it below.)
Set $U(c,1-n)= u(c)$, so that the household gets no utility from leisure,
and set $n=1$. %As in chapter \use{growth},
We
define $f(k)= F(k,1)$ and
express feasibility as
%$$ c_t = f(k_t) + (1-\delta)k_t - k_{t+1} - g_t. \EQN ric7 $$
$$ k_{t+1} = f(k_t) +(1-\delta) k_t -g_t -c_t. \EQN ric7 $$
Notice that $F_k(k,1)=f'(k)$ and
$F_n(k,1)=f(k)-f'(k)k$.
Substitute \Ep{ric4;a}, \Ep{ric6}, and \Ep{ric7}
into \Ep{ric4euler} to get
$$
\eqalign{ & { u'\bigl(f(k_t) + (1-\delta)k_t - g_t - k_{t+1}\bigr) \over
(1+\tau_{ct})} \cr
& - \beta {u'(f(k_{t+1}) + (1-\delta)k_{t+1} - g_{t+1} - k_{t+2}) \over
(1+\tau_{ct+1})} \times \cr
& \left[(1-\tau_{kt+1})(f'(k_{t+1})-\delta) + 1 \right]= 0.
\cr} \EQN ric8 $$ Given the government policy sequences, \Ep{ric8}
is a second-order difference equation in capital. We can also express
\Ep{ric8} as
%%%% FFFFF Ask Francois for help on spacing
{\ninepoint
$$ u'(c_t) = \beta u'(c_{t+1}) {(1+\tau_{ct}) \over(1+\tau_{ct+1})}
\left[(1-\tau_{kt+1})(f'(k_{t+1})-\delta) + 1 \right] .\EQN tom100$$
}%endninepoint
%$$ k_{t+1} = f(k_t) +(1-\delta) k_t -g_t -c_t. \EQN tom101 $$
\noindent
To compute an equilibrium,
we must find a solution of the difference equation \Ep{ric8}
that satisfies
two boundary conditions. As mentioned above, one boundary
condition is supplied by the given level of $k_0$ and the other by
\Ep{termk}.
%The other boundary condition
%is given by $\lim_{T\rightarrow \infty}
%(1-\tau_{iT})q_T k_{T+1}=0 $, which we express as
%$$ \lim_{T\rightarrow \infty} \beta^T {u'(c_T)\over (1+\tau_{cT})}
% k_{T+1} = 0. \EQN{boundary2}$$
%Equation \Ep{boundary2} plays the role of a terminal condition.
%We want to solve the pair of equations \Ep{tom100} and \Ep{ric7}
% subject to our two boundary conditions.
%the given initial condition $k_0$ and the terminal
%condition \Ep{boundary2}.
%We'll use the shooting method.
To determine a particular terminal value $k_\infty$, we restrict
the path of government policy so that it converges, a way to impose \Ep{termk}.
\subsection{The equilibrium steady state}
Tax rates and government expenditures serve as forcing
functions for the difference equations \Ep{ric7} and \Ep{tom100}.
Let
$z_t =\left[\matrix{g_t & \tau_{kt} & \tau_{ct} \cr}
\right]'$ and write \Ep{ric8} as
$$ H(k_t, k_{t+1}, k_{t+2}; z_t, z_{t+1}) = 0 . \EQN ric10 $$
To allow convergence to a steady state, we assume government
policies that are eventually constant, i.e., that satisfy
$$\lim_{t\rightarrow \infty} z_t = \overline z. \EQN limitz $$
When we actually solve our models, we'll set a date $T$ after
which all components of the forcing sequences that comprise $z_t$
are constant.
%We seek a steady state.
A terminal steady-state capital stock $\overline k$ evidently solves
$$H(\overline k, \overline k, \overline k, \overline z, \overline z)
=0. \EQN steadstk $$
For our model, we can solve \Ep{steadstk} by hand.
In a steady state, \Ep{tom100}
becomes
$$ 1 = \beta[ (1-\overline \tau_k) (f'(\overline k) -\delta) + 1]. $$
Notice that an eventually constant consumption tax $\overline \tau_{c}$ does not distort
$\overline k$ {\it vis-a-vis\/} its value in an economy without distorting
taxes.
Letting $\beta = {1 \over 1+\rho}$, we can express the preceding equation as
$$ \delta + {\rho \over 1- \bar \tau_k}
= f'(\overline k) . \EQN steadstk $$
When $\tau_k =0$, equation \Ep{steadstk} becomes
$(\rho+\delta)=f'(\overline k)$, which is a celebrated formula for the
so-called ``augmented Golden Rule'' capital-labor ratio.\index{Golden rule!augmented}%
When the exogenous sequence $\{g_t\}_{t=0}^\infty$ converges, the steady state capital-labor ratio that solves $(\rho+\delta)=f'(\overline k)$ is the
asymptotic value of the capital-labor ratio that would be approached by
a benevolent planner who chooses $\{c_t, k_{t+1}\}_{t=0}^\infty$ to maximize $\sum_{t=0}^\infty \beta^t u(c_t) $
subject to $k_0$ given and the sequence of constraints $c_t + k_{t+1} + g_t \leq f(k_t) + (1-\delta) k_t$.
\subsection{Computing the equilibrium path with the shooting algorithm}
Having computed the terminal steady state, we are now in a
position to apply the {\it shooting algorithm\/} to compute an
equilibrium path that starts from an arbitrary initial condition
$k_0$, assuming a possibly time-varying path of government policy.\NFootnote{We recommend a suite of computer programs
called {\tt dynare\/}. We have used
{\tt dynare\/} to execute the numerical experiments described in this chapter. See
Barillas, Bhandari,
Bigio, Colacito, Juillard, Kitao, Matthes, Sargent,
and Shin (2012) %Barillas, Bhandari, Colacito, Kitao, Matthes, Sargent, and Shin (2010)
for dynare code that performs these
and other calculations. See $<$http://www.dynare.org$>$.}%
%\auth{Barillas, Francisco}%
%\auth{Bhandari, Anmol}%
%\auth{Colacito, Riccardo}%
%\auth{Kitao, Sagiri}%
%\auth{Matthes, Christian}%
%\auth{Sargent, Thomas J.}%
%\auth{Shin, Yongseok}%
\auth{Barillas, Francisco}%
\auth{Bhandari, Anmol}%
\auth{Colacito, Riccardo}%
\auth{Kitao, Sagiri}%
\auth{Matthes, Christian}%
\auth{Sargent, Thomas J.}%
\auth{Shin, Yongseok}%
\auth{Juillard, Michel}%
\auth{Bigio, Saki}%
The shooting algorithm solves the two-point
boundary value problem by searching for an initial $c_0$ that
makes the Euler equation \Ep{ric8} and the feasibility condition
\Ep{ric2} imply that $k_S \approx \overline k$, where $S$ is a
finite but large time index meant to approximate infinity and
$\overline k$ is the terminal steady value associated with the
policy being analyzed. We let $T$ be the value of $t$ after which
all components of $z_t$ are constant.
Here are the steps of the algorithm.\NFootnote{This algorithm proceeds in the spirit of the invariant-subspace
method (implemented via a Schur decomposition) for solving the first-order conditions associated with the optimal linear regulator that we described in
section \use{lagrangianformulation} of chapter \use{dplinear}.}
\index{shooting algorithm}%
%Write \Ep{ric8} as
%$$(1-\tau_{it}) {u'(c_t) \over 1+\tau_{ct}} = \beta {u'(c_{t+1}) \over 1+\tau_{ct+1}}
%[ (1-\tau_{it+1})(1-\delta) + (1-\tau_{kt+1})f'(k_{t+1})] \EQN tom100 $$
%and feasibility as
%$$ k_{t+1} = f(k_t) +(1-\delta) k_t -g_t -c_t. \EQN tom101 $$
\medskip
\noindent{\bf 1.} Solve \Ep{ric10} for the terminal steady-state $\overline k$
that is associated with the permanent policy vector $\overline z$
(i.e., find the solution of \Ep{steadstk}).
\medskip
\noindent{\bf 2.} Select a large time index $S > > T$ and guess an initial
consumption rate $c_0$. (A good guess comes from
the linear approximation to be described in section \use{sec:linapproximation}.)
Compute $u'(c_0)$ and solve
\Ep{ric7} for $k_1$.
\medskip
\noindent{\bf 3.} For $t=0$, use \Ep{tom100} to solve for $u'(c_{t+1})$.
Then invert $u'$ and compute $c_{t+1}$. Use \Ep{ric7} to compute
$k_{t+2}$.
\medskip
\noindent{\bf 4.} Iterate on step 3 to compute candidate values
$\hat k_t, t=1, \ldots, S$.
\medskip
\noindent{\bf 5.} Compute $ \hat k_S -\overline k$.
\medskip
\noindent{\bf 6.} If $\hat k_S > \overline k$, raise $c_0$ and compute a new
$\hat k_t, t=1, \ldots, S$.
\medskip
\noindent{\bf 7.} If $\hat k_S < \overline k$, lower $c_0$.
\medskip
\noindent{\bf 8.} In this way, search for a value of $c_0$ that makes
$\hat k_S \approx \overline k$.
\medskip
\noindent{\bf 9.} Compute $\sum_{t=0}^\infty q_t \tau_{ht}$ that satisfies the
government budget constraint at equality.
\subsection{Other equilibrium quantities}
After we solve \Ep{ric8} for an equilibrium $\{k_t\}$ sequence,
we can recover other equilibrium quantities and prices from the following
equations:
\offparens
$$ \EQNalign{ c_t & = f(k_t) + (1-\delta) k_t - k_{t+1} - g_t
\EQN formula1;a \cr
q_t & = \beta^t u'(c_t)/(1+\tau_{ct}) \EQN formula1;b \cr \eta_t
& = f'(k_t) \EQN formula1;c \cr w_t & = f(k_t) - k_t
f'(k_t) \EQN formula1;d \cr
\bar R_{t+1} & = {(1+\tau_{ct}) \over(1+\tau_{ct+1})}
\Biggl[
% \, \;\
(1-\tau_{kt+1})(
f'(k_{t+1})-\delta) + 1 \Biggr] \cr
& = {(1+\tau_{ct}) \over(1+\tau_{ct+1})} R_{t,t+1} \EQN formula1;e \cr
R_{t,t+1}^{-1} & = m_{t,t+1} = \beta {u'(c_{t+1}) \over u'(c_t) } {(1+\tau_{ct}) \over(1+\tau_{ct+1})} \EQN formula1;f \cr
r_{t,t+1} & \equiv R_{t,t+1} -1 = (1-\tau_{k,t+1}) ( f'(k_{t+1}) - \delta) \EQN formula1;g \cr
%s_t/q_t & = [ (1-\tau_{kt})f'(k_t) +
%(1-\tau_{it})(1-\delta)] \EQN formula1;f \cr
} $$
\autoparens
%where $\bar R_{t+1}$ is the rate at which the market and the tax system allow households to substitute consumption at $t$
%for consumption at $t+1$measured in
%units of consumption goods at $t+1$ per consumption good at $t$.
It is convenient to express \Ep{tom100} as
%{\ninepoint
$$ u'(c_t) = \beta u'(c_{t+1}) \bar R_{t+1}
%{(1+\tau_{ct}) \over(1+\tau_{ct+1})}
% \left[ {(1-\tau_{it+1})\over (1-\tau_{it})} (1-\delta)
% +{(1-\tau_{kt+1})
%\over (1-\tau_{it})} f'(k_{t+1})\right] .
\EQN formula1;h$$
%}%endninepoint
or
$$ \bar R_{t+1}^{-1} = \beta u'(c_{t+1}) / u'(c_t) .$$
The left side of this equation is the rate which the market and the tax system allow the household to substitute consumption at $t$
for consumption at $t+1$. % measured in
%units of consumption goods at $t+1$ per consumption good at $t$.
The right side is the rate at which the household is willing
to substitute consumption at $t$
for consumption at $t+1$.
An equilibrium satisfies equations \Ep{formula1}. In the case of
constant relative risk aversion (CRRA) utility $u(c) = (1-\gamma)^{-1}c^{1-\gamma}, \gamma \geq 1$,
\Ep{formula1;h} implies
$$ \log({c_{t+1}\over c_t}) = \gamma^{-1}\log \beta + \gamma^{-1}\log \bar R_{t+1}, \EQN keyinsight $$
which shows that the log of consumption growth varies directly
with $\bar R_{t+1}$.
Variations in distorting taxes have effects on consumption and
investment that are intermediated through this equation, as
several experiments below highlight.
\subsection{Steady-state $\bar R$}
Using \Ep{steadstk} and formula \Ep{formula1;e}, we can determine that the steady
state value of $\bar R_{t+1}$
is\NFootnote{To compute steady states, we assume that all tax rates and government
expenditures are constant from some date $T$ forward.}
$$ \bar R_{t+1} = (1+\rho). \EQN steadstR $$
\subsection{Lump-sum taxes available}
If the government can impose lump-sum taxes, we
can implement the shooting algorithm for a specified $g, \tau_k,
\tau_c$, solve for equilibrium prices and quantities, and
then find an associated value for $q\cdot \tau_h =
\sum_{t=0}^\infty q_t \tau_{ht}$ that balances the government budget.
This calculation treats
the present value of lump-sum taxes as a residual that
balances the government budget.
In calculations presented later in this chapter,
we shall assume that lump-sum taxes are available and so shall use this
procedure.
\subsection{No lump-sum taxes available}
If lump-sum taxes are not available, then an additional step
is required to compute an equilibrium. In particular, we
have to ensure that taxes and expenditures are such that the
government budget constraint \Ep{ricg} is satisfied at an
equilibrium price system with $\tau_{ht} = 0 $ for all $t\geq 0$.
Braun (1994) and McGrattan (1994b) accomplish this by employing an
iterative algorithm that alters a particular distorting tax until
\Ep{ricg} is satisfied. The idea is first to compute a candidate
equilibrium for one arbitrary tax policy with possibly nonzero lump sum taxes, then to check whether
the government budget constraint is satisfied. Usually we will find that lump sum taxes must be
levied to balance the government budget in this candidate equilibrium. To find an equilibrium
with zero lump sum taxes, we can proceed as follows. If the government
budget would have have a deficit in present value without lump sum taxes (i.e., if the present value
of lump sum taxes is positive in the candidate equilibrium), then either decrease some
elements of the government expenditure sequence or increase some
elements of the tax sequence and try again. Because
there exist so many equilibria, the class of tax and expenditure
processes has to be restricted drastically to narrow the search
for an equilibrium.\NFootnote{See chapter \use{optax} for theories
about how to choose taxes in socially optimal ways.}
\section{A digression on back-solving}\label{sec:back-solving}%
The shooting algorithm takes sequences for $g_t$ and the various
tax rates as given and finds paths of the allocation $\{c_t,
k_{t+1}\}_{t=0}^\infty$ and the price system that solve the system
of difference equations formed by \Ep{tom100} and \Ep{formula1}.
Thus, the shooting algorithm
views government policy as exogenous and the price system
and allocation as endogenous. Sims (1989) proposed another
way to solve the growth model that exchanges the roles of
some exogenous and endogenous variables. In particular,
his
{\it back-solving\/} approach takes a path $\{c_t\}_{t=0}^\infty$
as given, and
then proceeds as follows. \index{back-solving}
\medskip
\noindent{\it Step 1:} Given $k_0$ and sequences for the various
tax rates, solve \Ep{tom100} for a sequence $\{k_{t+1}\}$.
\medskip
\noindent{\it Step 2:} Given the sequences for $\{c_t, k_{t+1}\}$,
solve the feasibility condition \Ep{formula1;a}
for a sequence of government expenditures $\{g_t\}_{t=0}^\infty$.
\medskip
\noindent{\it Step 3:} Solve formulas \Ep{formula1;b}--\Ep{formula1;e}
for an equilibrium price system.
\medskip
The present model can be used to illustrate other applications of
back-solving. For example, we could start with a given
process for
$\{q_t\}$, use \Ep{formula1;b} to solve for $\{c_t\}$, and
proceed as in steps 1 and 2 above to determine processes for
$\{k_{t+1}\}$ and $\{g_t\}$, and then finally compute the
remaining prices from the as yet unused equations in
\Ep{formula1}. \auth{Sims, Christopher A.}
Sims recommended this method because it adopts a flexible or
``symmetric'' attitude toward exogenous and endogenous variables.
Diaz-Gim\' enez, Prescott, Fitzgerald, and
Alvarez (1992), Sargent and Smith (1997), and Sargent and Velde
(1999) have all used the method. We shall not use it in the
remainder of this chapter, but it is a useful method to have in
our toolkit.\NFootnote{Constantinides and Duffie (1996) used
back-solving to reverse engineer a cross-section of endowment
processes that, with incomplete markets, would prompt households
to consume their endowments at a given stochastic process of
asset prices.} \auth{Duffie, Darrell} \auth{Constantinides, George
M.} \auth{Velde, Fran\c cois} \auth{Smith, Bruce D.}
\section{Effects of taxes on equilibrium allocations and prices}
We use the model to analyze the effects of
government expenditure and tax sequences.
The household can affect his payments of a {\it distorting\/}
by altering a decision. The household cannot affect his payments of a {\it nondistorting\/}
tax.
In the present model, $\tau_k, \tau_c, \tau_n$ are distorting taxes
and the lump-sum tax $\tau_h$ is nondistorting.
\index{nondistorting tax}%
\index{distorting tax}%
We can deduce
the following
outcomes
from \Ep{formula1} and \Ep{steadstk}.
\medskip
\noindent{\bf 1.} {\bf Lump-sum taxes and Ricardian equivalence.}
Suppose that the distorting taxes are all zero and that
only lump-sum taxes are used to raise government revenues. Then
the equilibrium allocation is identical with one that solves a version
of a
planning problem in which $g_t$ is taken as an exogenous
stream that is deducted from output.
To verify this claim, notice that lump-sum taxes appear nowhere
in formulas \Ep{formula1}, and that these equations are identical
with the first-order conditions and feasibility conditions for
a planning problem.
The timing of lump-sum taxes is irrelevant because only
the present value of taxes $\sum_{t=0}^\infty q_t \tau_{ht}$ appears in
the budget constraints of the government and the household.
\index{Ricardian proposition}
\medskip
\noindent{\bf 2.} {\bf
When the labor supply is inelastic,
constant $\tau_c$ and $\tau_n$ are not distorting.}
When the labor supply is inelastic, $\tau_n$ is not
a distorting tax. A {\it constant\/} level of $\tau_c$ is
not distorting.
\medskip
\noindent{\bf 3.} {\bf Variations in $\tau_c$ over time are distorting.}
They affect the path of capital and consumption through equation
\Ep{formula1;g}.
\medskip
\noindent{\bf 4.} {\bf Capital taxation is distorting.}
Constant levels of the capital tax $\tau_k$ are distorting (see \Ep{formula1;g} and
\Ep{steadstk}).
%\item{4.} An increase in the investment tax credit
%blah
%%%%%%%%%%%%%
%$$\grafone{experiment03.eps,height=3in}{{\bf Figure XXX.3.}
%Response to foreseen once-and-for all increase in $\tau_i$ at