note on external habits and efficiency in the AK model

This paper examines the implications for equilibrium efficiency of alternative formulations of habit formation in the AK model with external habits. Agent's utility depends on how her current consumption compares to a reference consumption level—the habits stock—determined by average past consumption in the economy. We first prove that perfect substitutability between consumption and habits along the equilibrium path is necessary and sufficient for efficiency. Then, we prove that the competitive equilibrium is efficient if and only if habits enter utility in a subtractive form.