SLIDE 18 Definition of Recursive Competitive Equilibrium
Given G,, B, tax system (τc, τk, T) and social security system (τss, ¯ yss), a stationary recursive competitive equilibrium is value and policy functions (v, c, n, a′) for the household, optimal input choices (K, L) of firms, prices (r, w) and an invariant probability measure Φ such that
- Given prices (r, w) and government policies (τc, τk, T, τss, ¯
yss), the value function v satisfies the Bellman equation and (c, n, a′) are the associated policy functions.
- Given prices (r, w), the optimal choices of the representative firm
satisfy r = Ωǫ · L K 1−ǫ − δk w = Ω(1 − ǫ) K L ǫ .
- Government policies satisfy the government budget constraints.
Kindermann, Krueger Top Marginal Taxes June 2019 15 / 53