Optimal taxation in a growth model with public consumption and home production

In a neoclassical growth model with public consumption, we show the following Pareto optimal tax rules. The government should tax leisure and private consumption at the same rate, and subsidize net investment at the same rate it taxes net capital income. Also, it should tax capital income more heavily than labor income. In an extension for home production, the additional rule is to tax investment for home production at the same rate of the tax on private market consumption. These tax and subsidy rates should be constant over time except the initial tax rate on capital income.