Capital taxation in a simple finite-horizon OLG model

In a simple finite-horizon overlapping-generations model where the government has the power to levy commodity taxes and to implement uniform lump-sum transfers, and individuals as well as the government can purchase units of a storable good in order to transfer resources from the present to the future, we derive the equations that implicitly define the taxes and subsidies that are part of the second-best Pareto optima. In this context we first show that there is production efficiency. We then show that taxes on capital income/savings are required at almost all Pareto optima. Finally we show that there are no restriction on preferences or technologies that are consistent with a general exemption of capital income/savings from the tax base