Business Cycle Dynamics of a New Keynesian Overlapping Generations Model with Progressive Income Taxation



1,1       T+TR,1         1,ne         T+TR,ne 0

market income yt := [yt, , . . .yt      , , . . . ,yt, , . . . ,yt      , ]0,

the rental rate of capital rt , the real wage wt , the aggregate capital stock Kt ,
effective aggregate labor input
Nt , the beginning-of-period stock of real money
balances
mt, aggregate transfers Trt, and aggregate profits Ωt. Thus, ut is a
vector of
ne[2(T + TR) + T] + 7 elements.

We seek a representation of our model in the form

DEt


x t +1

ʌ

λt+1


+ F


xt

ʌ
λ t


Cu u t = Cχλ

x t

+ Cz

z t

ʌ

ʌ

λ t

θ t


DuEtu t+1 + Fuu t + Dz Et


zt +1

ʌ

θ t +1


+ Fz


zt

ʌ
θ t


(26a)

(26b)


where the hat denotes percentage deviations from the non-stochastic steady state value
of a variable.

We first derive the set of equations (26a). The log-linearized Euler equations (6) are20

ʌ      ∙                                                                        ∙                                                                i-            ∙                 -I

ʌtj = (γ(1 - σ) - 1) cs,j + (1 - γ)(1 - σ) £ms,j - πt] ,

s= 1,...,T+TR, j = 1,...,ne.,

m 1,j = 0 j = 1,..., ne.                                                                 (27)

The log-linearized Euler equations (9) are:

η1


nsj

-----:П

- ns,j


s,j
t


τ00


- τ0


y∙-j ^sj


- wt = λstj


τ 0 + τ 00ysj

1 - τ0


π t,


s = 1,2,... ,T, j = 1,2,... ,ne,                   (28)

where τ0 and τ00 denote the first and second derivative of the tax function evaluated at
ys,j , respectively. The ne(T + TR) definitions of market income yield:

0 = У 1,jУt,j - we(1, j)n 1 ,jn1 ,j - we(1, j)n1 ,jw^t,

j = 1,...,ne,

rks,jkS,j = ys,jyS,j - we(s,j)ns,jns, - we(s,j)ns,jw^t - rks,jrt,

s = 2, . . . , T, j = 1, . . . , ne,

rks,jкS,j = ys,jyS,j - rks,j^t,

s=T+1,...,T+TR,

j = 1, . . . ,ne.                                                                               (29)

20We will use the ne equations for generation T + TR later to eliminate ^T+T ,j, which is a control
rather than a costate variable.

28



More intriguing information

1. The name is absent
2. A Rational Analysis of Alternating Search and Reflection Strategies in Problem Solving
3. Importing Feminist Criticism
4. The Challenge of Urban Regeneration in Deprived European Neighbourhoods - a Partnership Approach
5. Evaluating the Success of the School Commodity Food Program
6. Critical Race Theory and Education: Racism and antiracism in educational theory and praxis David Gillborn*
7. ‘Goodwill is not enough’
8. Long-Term Capital Movements
9. Recognizability of Individual Creative Style Within and Across Domains: Preliminary Studies
10. Multifunctionality of Agriculture: An Inquiry Into the Complementarity Between Landscape Preservation and Food Security