We study optimal labor and savings distortions in a lifecycle model with idiosyncratic shocks. We show a tight connection between its recursive formulation and a static Mirrlees model with two goods, which allows us to derive elasticity-based expressions for the dynamic optimal distortions. We...

We examine a prominent justification for capital income taxation: goods preferred by those with high ability ought to be taxed. In an environment where commodity taxes are allowed to be nonlinear functions of income and consumption, we derive an analytical expression that reveals the forces...

We analyze optimal pension systems relying on simple policy instruments in a lifecycle environment which admits endogenous decisions of how much to work as well as when to retire. The optimality in this context means the highest welfare that can be achieved within a restricted set of...

We examine a prominent justification for capital income taxation: goods preferred by those with high ability ought to be taxed. In an environment where commodity taxes are allowed to be nonlinear functions of income and consumption, we derive an analytical expression that reveals the forces...

updated as a function of the labor income and the previous balance.

We analyze a dynamic stochastic general‐equilibrium (DSGE) model with an externality—through climate change—from using fossil energy. Our central result is a simple formula for the marginal externality damage of emissions (or, equivalently, for the optimal carbon tax). This formula, which...

We consider an environment in which agents' skills are private information and follow arbitrary stochastic processes. We prove that it is typically Pareto optimal for an individual's marginal benefit of investing in capital to exceed his marginal cost of doing so. This wedge is consistent with a...

We study the optimal Mirrlees taxation problem in a dynamic economy with idiosyncratic (productivity or preference) shocks. In contrast to the standard approach, which implicitly assumes that the mechanism is operated by a benevolent planner with full commitment power, we assume that any...