We develop a general method to study the effects of non-linear taxation in dynamic settings using variational arguments. We first derive general theoretical formulas that characterize the welfare effects of local tax reforms and, in particular, the optimal tax system, potentially restricted...