LiqConstr
______________________________________________________________________________________
Abstract
We provide the analytical explanation of strong interactions between precautionary saving and
liquidity constraints that are regularly observed in numerical solutions to consumption/saving models.
The effects of constraints and of uncertainty spring from the same cause: concavification of the
consumption function, which can be induced either by constraints or by uncertainty. Concavification
propagates back to consumption functions in prior periods. But, surprisingly, once a linear
consumption function has been concavified by the presence of either risks or constraints, the
introduction of additional concavifiers in a given period can reduce the precautionary motive in earlier
periods at some levels of wealth.
liquidity constraints, uncertainty, precautionary saving
C6, D91, E21
Repo:  https://github.com/llorracc/LiqConstr 
Web:  http://econ.jhu.edu/people/ccarroll/papers/LiqConstr/ 
Slides:  http://econ.jhu.edu/people/ccarroll/papers/LiqConstr/LiqConstrSlides.pdf 
EconARK:  http://github.com/EconARK/REMARK/tree/master/REMARKs/LiqConstr.md 
Jupyter:  Live MyBinder.org Jupyter notebook producing the figures 
^{}
^{}
^{1}Carroll: Department of Economics, Johns Hopkins University, email: ccarroll@jhu.edu
^{2}Holm: Department of Economics, University of Oslo, email: martin.b.holm@outlook.com
^{3}Kimball: Department of Economics, University of Colorado at Boulder, email: miles.kimball@colorado.edu
Numerical solutions have now supplanted analytical methods for modeling consumption/saving choices, because analytical solutions are not available for realistic descriptions of utility, uncertainty, and constraints.
A large literature in both micro and macroeconomics has demonstrated that numerical models that take constraints and uncertainty seriously can yield quite different conclusions than those obtainable for traditional models. For example, in heterogeneous agent New Keynesian models (e.g. Kaplan, Moll, and Violante, 2018), a major transmission mechanism for monetary policy is the indirect income effect because a substantial share of households have high marginal propensities to consume – a channel that is of minimal importance in perfect foresight unconstrained models. And Guerrieri and Lorenzoni (2017) and Bayer, Lütticke, PhamDao, and Tjaden (2019) show that tightened borrowing capacity and heightened income risk may be important explanatory factors behind the consumption decline during the great recession. Further, Krueger, Mitman, and Perri (2016) show that numerically realistic models can match the empirical finding that the drop in consumption spending during the great recession was heavily concentrated in the middle class.
But a drawback to numerical solutions is that it is often difficult to know why results come out the way they do. A leading example is in the complex relationship between precautionary saving behavior and liquidity constraints. At least since Zeldes (1984), economists working with numerical solutions have known that liquidity constraints can strictly increase precautionary saving under very general circumstances  even for consumers with a quadratic utility function that generates no intrinsic precautionary saving motive.^{1 } On the other hand, simulation results have often found circumstances under which liquidity constraints and precautionary saving are substitutes rather than complements. In an early example, Samwick (1995) showed that unconstrained consumers with a precautionary saving motive in a retirement saving model behave in ways qualitatively and quantitatively similar to the behavior of liquidity constrained consumers facing no uncertainty.
This paper provides the theoretical tools to make sense of the interactions between liquidity constraints and precautionary saving. These tools provide a rigorous theoretical foundation that can be used to clarify the reasons for the numerical literature’s apparently contrasting findings.
For example, one of the paper’s main results is a proof that when a liquidity constraint is added to a standard consumption problem, the resulting value function exhibits increased ‘prudence’ (a greater precautionary motive) around the level of wealth where the constraint becomes binding.^{2 } Constraints induce precaution because constrained agents have less flexibility in responding to shocks when the effects of the shocks cannot be spread out over time. We show that the precautionary motive is heightened by the desire (in the face of risk) to make future constraints less likely to bind.^{3 }
At a deeper level, we show that the effect of a constraint on prudence is an example of a general theoretical result: Prudence is induced by concavity of the consumption function. Since a constraint creates consumption concavity around the point where the constraint binds,^{4 } adding a constraint necessarily boosts prudence around that point.^{5 } We show that this concavityboostsprudence result holds for any utility function with nonnegative third derivative; “prudence” in the utility function as in Kimball (1990) is not necessary, because prudence is created by consumption concavity.
These results connect closely to Carroll and Kimball (1996)’s demonstration that, within the HARA utility class, the introduction of uncertainty causes the consumption function to become strictly concave (in the absence of constraints) for all but a few knifeedge combinations of utility function and structure of risk. Taken together, this paper and Carroll and Kimball (1996) can be seen as establishing rigorously the sense in which precautionary saving and liquidity constraints are substitutes.^{6 } To illustrate this point, we provide an example of a specific kind of uncertainty that (under CRRA utility, in the limit) induces a consumption function that is pointwise identical to the consumption function that would be induced by the addition of a liquidity constraint.
We further show that, once consumption concavity is created (by the introduction of either uncertainty or a constraint, or in any other way), it propagates back to periods before the period in which the concavity has been introduced.^{7 } Precautionary saving is induced by the possibility that constraints might bind; this can explain why such a high percentage of households cite precautionary motives as the most important reason for saving (Kennickell and Lusardi, 1999) even though the fraction of households who report actually having been constrained in the past is relatively low (Jappelli, 1990).
Our final theoretical contribution is to show that the introduction of further liquidity constraints beyond the first one may actually reduce precautionary saving at some levels of wealth by ‘hiding’ the effects of the preexisting constraint(s); they are no longer relevant because the liquidity constraint forces more saving than the precautionary motive would induce. Identical logic implies that uncertainty can ‘hide’ the effects of a constraint, because the consumer may save so much for precautionary reasons that the constraint becomes irrelevant. For example, a typical perfect foresight model of retirement consumption for a consumer with Social Security (guaranteed pension) income implies that a legal constraint on borrowing against benefits will cause the consumer to run assets down to zero, and thereafter set consumption equal to income. Now consider adding the possibility of large medical expenses near the end of life (e.g. nursing home fees; see Ameriks, Caplin, Laufer, and Van Nieuwerburgh, 2011). Under reasonable assumptions, a consumer facing such a risk may save enough for precautionary reasons to render the noborrowing constraint irrelevant.
Our analysis proceeds in five steps. We present our general theoretical framework in the next section. We then show that consumption concavity increases prudence (Section 3); that concavity, once created, propagates to previous periods (Section 4); that constraints cause consumption concavity (Section 5); and when additional constraints or risks increase the precautionary saving motive (Section 6). The final section concludes.
Consider a consumer who faces some future risks but is not subject to any current or future liquidity constraints. The consumer is maximizing the timeadditive present discounted value of utility from consumption . With interest and time preference factors and , and labeling consumption , stochastic labor income , and gross wealth (inclusive of periodt labor income) , the consumer’s problem can be written as
where in some (but not all) of our results we consider utility functions of the HARA class
 (1) 
with . Note that that (1) nests the case with quadratic utility ( ).
As usual, the recursive nature of the problem makes this equivalent to the Bellman equation:
We define

as the endofperiod value function where is the portion of period t resources saved. We can then rewrite the problem as^{8}
Our ultimate goal is to understand the relationship between liquidity constraints and precautionary saving. In this section we describe the relationship between consumption concavity and prudence; Kimball (1990) shows that prudence induces precautionary saving, and below we that consumption concavity is induced by either liquidity constraints or precautionary saving.
Our analysis of consumption concavity and prudence is couched in general terms and therefore applies whether the source of concavity is liquidity constraints or something else (e.g., uncertainty).^{9 }
Our approach shows that the crucial question is whether the value function exhibits a property we call consumption concavity (CC). So we define property CC first, and then we define a counterclockwise concavification which captures a specific class of transformations of a consumption function that make the modified function globally “more” concave.
Definition 1. (Local Consumption Concavity.)
In relation to a utility function with nonnegative, nonincreasing prudence, a
function has property CC (alternately, strict CC) over the interval between
and , where , if
for some increasing function that satisfies concavity (alternately, strict concavity) over the interval from to .
Since (even with constraints) holds by the envelope theorem, having property CC (alternately, strict CC) is the same as having a concave (alternately, strictly concave) consumption function .^{10 } Note that the definition is restricted to nonnegative and nonincreasing prudence. This encompasses most of the commonly used utility functions in the economics literature (e.g. CRRA, CARA, quadratic). Also, note that we allow for ’nonstrict’ concavity – that is, linearity – because we want to encompass cases such as quadratic utility in which parts of the consumption function can be linear. Henceforth, unless otherwise noted, we will drop the cumbersome usage ’alternately, strict’ – the reader should assume that what we mean always applies in the two alternate cases in parallel.
If a function has property CC at every point, we define it as having property CC globally.
Definition 2. (Global Consumption Concavity.)
A function has property CC in relation to a utility function with ,
if for some monotonically increasing concave function .
We now show how consumption concavity affects the prudence of the value function. To compare two consumption functions and their respective concavity, we need to define when one function exhibits ‘greater’ concavity than another.
Definition 3. (Greater Consumption Concavity.)
Consider two functions and that both exhibit property CC with respect to the
same at a point for some interval such that . Then
exhibits property ‘greater CC’ compared to if
If and exist everywhere between and , property CC is equivalent to being weakly larger in absolute value than everywhere in the range from to . The strict version of the proposition would require the inequality to hold strictly over some interval between and .
The next concept we introduce is ‘counterclockwise concavification,’ which describes an operation that makes the modified consumption function more concave than in the original situation. The idea is to think of the consumption function in the modified situation as being a twisted version of the consumption function in the baseline situation, where the kind of twisting allowed is a progressively larger increase in the MPC as the level of wealth gets lower. We call this a ‘counterclockwise concavification’ to capture the sense that at any specific level of wealth, one can think of the increase in the MPC at lower levels of wealth as being a counterclockwise rotation of the lower portion of the consumption function around that level of wealth.
Definition 4. (Counterclockwise Concavification.)
Function is a counterclockwise concavification of around if the following
conditions hold:
The limits are necessary to allow for the possibility of discrete drops in the MPC at potential ‘kink points’ in the consumption functions. To understand counterclockwise concavification, it is useful to derive its implied properties.
Lemma 1.(Properties of a Counterclockwise Concavification.)
If is a counterclockwise concavification of around and for all
, then
See Appendix A for the proof. A counterclockwise concavification thus reduces consumption, increases the MPC, and makes the consumption function more concave for all wealth levels below the point of concavification. Figure 1 illustrates two examples of counterclockwise concavifications: the introduction of a constraint and the introduction of a risk. In both cases, we start from the situation with no risk or constraints (solid line). The introduction of a constraint is a counterclockwise concavification around a kink point . Below , consumption is lower and the MPC is greater. The introduction of a risk also generates a counterclockwise concavification of the original consumption function, but this time around . For all , consumption is lower, the MPC is higher, and the consumption function is strictly more concave.
Notes: The solid line shows the linear consumption function in the case with no constraints and no risks. The two dashed line show the consumption function when we introduce a constraint and a risk, respectively. The introduction of a constraint is a counterclockwise concavification of the solid consumption function around , while the introduction of a risk is a counterclockwise concavification around .
The section above established all the tools necessary to show the relationship between consumption concavity and prudence. Our method in this section is to compare prudence in a baseline case where the consumption function is to prudence in a modified situation in which the consumption function is a counterclockwise concavification of the baseline consumption function.
To understand the effects on prudence of a counterclockwise concavification, note that for a twice differentiable consumption function and thrice differentiable utility function, absolute prudence is defined as
Theorem 1. (Counterclockwise Concavification and Prudence.)
Consider an agent who has a utility function with , , , and
nonincreasing absolute prudence . If is concave and is a
counterclockwise concavification of , then the value function associated with
exhibits greater prudence than the value function associated with for all .
See Appendix B for the proof. There are three channels through which a counterclockwise concavification heightens prudence. First, the increase in consumption concavity from the counterclockwise concavification itself heightens prudence. Second, if the absolute prudence of the utility function is nonincreasing, then the reduction in consumption (in some states) from the counterclockwise concavification makes agents more prudent at those states. And third, the higher marginal propensity to consume (MPC) from the counterclockwise concavification means that any given variation in wealth results in larger variation in consumption, increasing prudence. The channels operate separately, implying that a counterclockwise concavification heightens prudence even if absolute prudence is zero as in the quadratic case.^{11 }
Theorem 1 only provides conditions for when the value function exhibits greater prudence, but not strictly greater prudence. In particular, the value function associated with will in some cases exhibit equal prudence for many values of and strictly greater prudence only for some values of . In Corollary 1, we provide conditions for when the value function exhibits strictly greater prudence.
Corollary 1. (Counterclockwise Concavification and Strictly Greater Prudence.)
Consider an agent who has a utility function with , , , and
nonincreasing absolute prudence . If is concave and is a
counterclockwise concavification of around , then the value function associated
with exhibits strictly greater prudence than the value function associated with
if the utility function satisfies and or the utility function is quadratic
( ) and strictly declines at .
See Appendix C for the proof. For prudent agents (), the value function exhibits strictly greater prudence for all levels of wealth where the counterclockwise concavification affects consumption. This is because a reduction in consumption and higher marginal propensity to consume heighten prudence if the utility function has a positive third derivative and prudence is nonincreasing. If the utility function instead is quadratic, the third derivative is zero and the absolute prudence of the utility function does not depend on the level of consumption or the marginal propensity to consume. In this case, the counterclockwise concavification only affects prudence at the kink points in the consumption function, i.e. where strictly declines at .
Section 3 defined conditions under which consumption concavity heightens prudence, by comparing value functions and consumption functions at a specific point in time. In this section, we provide conditions guaranteeing that if the consumption function is concave in period , it will be concave in period and earlier, whatever the source of that concavity may be.
Theorem 2.(Recursive Propagation of Consumption Concavity.)
Consider an agent with a HARA utility function satisfying , ,
and nonincreasing absolute prudence . Assume that no liquidity constraint
applies at the end of period and that the agent faces income risk . If
exhibits property consumption concavity for all ,
then exhibits property consumption concavity at the level of wealth such that
optimal consumption yields .
If also exhibits property strict consumption concavity for at least one , then exhibits property strict consumption concavity at the level of wealth where optimal consumption yields .
See Appendix D for the proof. Theorem 2 presents conditions to ensure that the consumption function is concave today if the consumption function is concave in the future. The basic insight is that as long as the future consumption function is concave for all realizations of , then it is also concave today. Additionally, if the the future consumption function is strictly concave for at least one realization of , then the consumption function is strictly concave also today.
We now move on to the sources of consumption concavity. In our setting, there are two sources of consumption concavity: risk and constraints. The properties of consumption under risk have already been derived in Carroll and Kimball (1996). We therefore restrict our attention to showing how liquidity constraints make the consumption function concave. Once the relationship between liquidity constraints and consumption concavity is established, we use the results on consumption concavity and prudence to show under which conditions liquidity constraints heighten prudence.
Throughout this paper, we are working with a finite horizon household whose horizon goes from to . We define a liquidity constraint dated as a constraint that requires savings at the end of period to be nonnegative. The assumption of nonnegativity is without loss of generality; we show in Theorem 5 that our results also hold with general constraints.
The timing of a constraint relative to other existing constraints matters for the effects of the constraint. We therefore need to define an ordered set to keep track of the existing constraints.
Definition 5. (The Set of Liquidity Constraints.)
We define as an ordered set of dates at which a relevant constraint exists. We define
as the last period in which a constraint exists, as the date of the last period
before in which a constraint exists, and so on.
is the set of relevant constraints, ordered from the last to the first constraint. We order them from last to first because a constraint in period only affects periods prior to . The set of constraints from period to summarizes all relevant information in period . Further, the effect of imposing one extra constraint on consumption is unambiguous only if one imposes constraints chronologically from last to first.
For any , we define as the optimal consumption function in period assuming that the first constraints in (in this chronologically backwards order) have been imposed. For example, is the consumption function in period when no constraint (aside from the intertemporal budget constraint) has been imposed, is the consumption function in period after the chronologically last constraint has been imposed, and so on. We define , and other functions correspondingly.
To have a distinct terminology for the effects of currentperiod and futureperiod constraints, we will restrict the use of the term ‘binds’ to the potential effects of a constraint in the period in which it applies (‘the constraint binds if wealth is less than ...’) and will use the term ‘impinges’ to describe the effect of a future constraint on current consumption. We can now define the concept of a kink point.
Definition 6. (Kink Point.)
We define a kink point, as the level of wealth at which constraint stops binding
or impinging on time consumption.
A kink point corresponds to a transition from a level of wealth where a current constraint binds or a future constraint impinges, to a level of wealth where that constraint no longer binds or impinges.
We first consider an initial situation in which a consumer is solving a perfect foresight optimization problem with a finite horizon that begins in period and ends in period . The consumer begins with wealth and earns constant income in each period. Wealth accumulates according to . We are interested in how this consumer’s behavior in period changes from an initial situation with constraints to a situation in which liquidity constraints has been imposed.
Theorem 3. (Perfect Foresight Consumption with Liquidity Constraints.)
Consider an agent who has a utility function with and , faces constant
income , and is impatient (). Assume that the agent faces a set of
relevant constraints. Then is a counterclockwise concavification of
around .
See Appendix E for the proof. Theorem 3 shows that when we have an ordered set of constraints, , the introduction of the next constraint in the set generates a counterclockwise concavification of the consumption function. Note that constraint is always at a date prior to the set of the first constraints. From the proof of Theorem 3, we also know the shape of the perfect foresight consumption function with liquidity constraints:
Corollary 2. (Piecewise Linear Consumption Function.)
Consider an agent who has a utility function with and , faces constant
income , and is impatient. Assume that the agent faces a set of relevant
constraints. When constraints have been imposed, is a piecewise linear
increasing concave function with kink points at successively larger values of wealth at
which future constraints stop impinging on current consumption.
Since the consumption function is piecewise linear, the new consumption function, is not necessarily strictly more concave than for all . This is where the concept of counterclockwise concavification is useful. Even though is not strictly more concave than everywhere, it is a counterclockwise concavification and we can apply Theorem 1 to derive the consequences of imposing one more constraint on prudence.
Theorem 4. (Liquidity Constraints Increase Prudence.)
Consider an agent in period who has a utility function with , ,
and nonincreasing absolute prudence , faces constant income ,
and is impatient, . Assume that the agent faces a set of relevant
constraints. When constraints have been imposed, the imposition of constraint
strictly increases absolute prudence of the agent’s value function if and
or if and strictly declines at .
Proof.By Theorem 3, the imposition of constraint constitutes a counterclockwise concavification of . By Theorem 1 and Corollary 1, such a concavification strictly increases absolute prudence of the value function for the cases in Corollary 1. □
Theorem 4 is the main result in the current section: the introduction of the next liquidity constraint increases absolute prudence of the value function. In the subsequent discussions, we consider cases where we relax the assumptions underlying Theorem 4. We first consider the case where we add an extra constraint to the set of relevant constraints. Next, we consider the cases with timevarying deterministic income, general constraints, and no assumption on time discounting.
In the previous section, we analyzed a case where there was a preordained set of constraints which were applied sequentially in reverse chronological order. We now examine how behavior will be modified if we add a new date to the set of dates at which the consumer is constrained.
Call the new set of dates with constraints (one more constraint than before), and call the consumption rules corresponding to the new set of dates through . Now call the number of constraints in at dates strictly greater than . Then note that that , because at dates after the date at which the new constraint (number ) is imposed, consumption is the same as in the absence of the new constraint. Now recall that imposition of the constraint at causes a counterclockwise concavification of the consumption function around a new kink point, . That is, is a counterclockwise concavification of .
The most interesting observation, however, is that behavior under constraints in periods strictly before cannot be described as a counterclockwise concavification of behavior under . The reason is that the values of wealth at which the earlier constraints caused kink points in the consumption functions before period will not generally correspond to kink points once the extra constraint has been added.
Notes: is the original consumption function with one constraint that induces a kink point at . is the modified consumption function in where we have introduced one new constraint. The two constraints affect through two kink points: and . Since we introduced the new constraint at a later point in time than the current existing constraint, the future constraint affects the position of the kink induced by the current constraint and the modified consumption function is not a counterclockwise concavification of .
We present an example in Figure 2. The original contains only a single constraint, at the end of period , inducing a kink point at in the consumption rule . The expanded set of constraints, , adds one constraint at period . induces two kink points in the updated consumption rule , at and . It is true that imposition of the new constraint causes consumption to be lower than before at every level of wealth below . However, this does not imply higher prudence of the value function at every . In particular, note that the original consumption function is strictly concave at , while the new consumption function is linear at , so prudence can be greater before than after imposition of the new constraint at this particular level of wealth.
The intuition is simple: At levels of initial wealth below , the consumer had been planning to end period with negative wealth. With the new constraint, the old plan of ending up with negative wealth is no longer feasible and the consumer will save more for any given level of current wealth below , including . But the reason was a kink point in the initial situation was that it was the level of wealth where consumption would have been equal to wealth in period . Now, because of the extra savings induced by the constraint in , the larger savings induced by wealth implies that the period constraint will no longer bind for a consumer who begins period with wealth . In other words, at wealth the extra savings induced by the new constraint moves the original constraint and prevents it from being relevant any more at the original .
Notice, however, that all constraints that existed in will remain relevant at some level of wealth under even after the new constraint is imposed  they just induce kink points at different levels of wealth than before, e.g. the first constraint causes a kink at rather than at .
We now want to allow time variation in the level of income and in the location of the liquidity constraint (e.g a constraint in period might require the consumer to end period with savings greater than ). We also drop the restriction that , allowing the consumer to desire consumption growth over time.
Under these more general circumstances, a constraint imposed in a given period can render constraints in either earlier or later periods irrelevant. For example, consider a CRRA utility consumer with who earns income of 1 in each period, but who is required to arrive at the end of period with savings of 5. Then a constraint that requires savings to be greater than zero at the end of period will have no effect because the consumer is required by the constraint in period to end period with savings greater than 4.
Formally, consider now imposing the first constraint, which applies in period . The simplest case, analyzed before, was a constraint that requires the minimum level of endofperiod wealth to be . Here we generalize this to where in principle we can allow borrowing by choosing to be a negative number. Now for constraint calculate the kink points for prior periods from
Now assume that the first constraints in have been imposed, and consider imposing constraint number , which we assume applies at the end of period . The first thing to check is whether constraint number is relevant given the alreadyimposed set of constraints. This is simple: A constraint that requires will be irrelevant for all if , i.e. if one of the existing constraints already implies that savings must be greater or equal to value required by the new constraint. If the constraint is irrelevant then the analysis proceeds simply by dropping this constraint and renumbering the constraints in so that the former constraint becomes constraint , becomes , and so on.
Now consider the other possible problem: That constraint number imposed in period will render irrelevant some of the constraints that have already been imposed. This too is simple to check: It will be true if the proposed for any and for all .^{13 } The fix is again simple: Counting down from , find the smallest value of for which . Then we know that constraint has rendered constraints through irrelevant. The solution is to drop these constraints from and start the analysis over again with the modified .
If this set of procedures is followed until the chronologically earliest relevant constraint has been imposed, the result will be a that contains a set of constraints that can be analyzed as in the simpler case. In particular, proceeding from the final through , the imposition of each successive constraint in now causes a counterclockwise concavification of the consumption function around successively lower values of wealth as progressively earlier constraints are applied and the result is again a piecewise linear and strictly concave consumption function with the number of kink points equal to the number of constraints that are relevant at any feasible level of wealth in period .
The preceding discussion thus establishes the following result:
Theorem 5. (Liquidity Constraints Increase Prudence.)
Consider an agent in period who has a utility function with , ,
, and nonincreasing absolute prudence . Assume that the agent faces
a set of relevant constraints. When constraints have been imposed,
the imposition of constraint strictly increases absolute prudence of the agent’s
value function if the utility function satisfies and or if
and strictly declines at .
Theorem 5 is a generalization of Theorem 4. Even if we relax the assumptions that income is constant and the agent is impatient, the imposition of an extra constraint increases absolute prudence of the value function as long as we are careful when we select the set of relevant constraints.
Finally, consider adding a new constraint to the problem and call the new set of constraints . Suppose the new constraint applies in period . Then the analysis of the new situation will be like the analysis of an added constraint in the simpler case in section 5.3 if the new constraint is relevant given the constraints that apply after period and the new constraint does not render any of those later constraints irrelevant. If the new constraint fails either of these tests, the analysis of can proceed from the ground up as described above.
In the three previous sections, we have derived the relationships between liquidity constraints, consumption concavity, and prudence. It is now time to be explicit about the last step: the relationship between liquidity constraints and precautionary saving. We first explain the relationship between the precautionary premium and absolute prudence. We then use this result to show how the introduction of an additional constraint induces agents to increase precautionary saving when they face a current risk. Next, we explain why the result cannot be generalized to an added risk or liquidity constraint in a later time period. We end this section by showing our most general result on liquidity constraints and precautionary saving: The introduction of a risk has a greater precautionary effect in the presence of all future risks and constraints than in the absence of any future risks or constraints.
We begin by defining two marginal value functions and which are convex, downward sloping, and continuous in wealth, . We consider a risk with support , and follow Kimball (1990) by defining the Compensating Precautionary Premia (CPP) as the values and such that
The CPP can be interpreted as the additional resources an agent requires to be indifferent between accepting the risk and not accepting the risk. The relevant part of Pratt (1964)’s Theorem 1 as reinterpreted using Kimball (1990)’s Lemma (p. 57) can be restated asLemma 2.Let and be absolute prudence of the value functions and respectively at ,^{14 } and let and be the respective compensating precautionary premia associated with imposition of a given risk as per (6) and (7). Then the following conditions are equivalent:
Lemma 2 thus establishes that exhibiting greater prudence is equivalent to inducing a greater precautionary premium. For our purpose, it means that our results above on the absolute prudence also imply that the precautionary premium is higher, i.e. that a more prudent consumer would require a higher compensation to be indifferent about accepting the risk.^{15 }
We now take up the question of how the introduction of a risk that will be realized at the beginning of period affects consumption in period in the presence and in the absence of a subsequent constraint. To simplify the discussion, consider a consumer for whom , with mean income in period .
Assume that the realization of the risk will be some value with support [,], and signify a decision rule that takes account of the presence of the immediate risk by a . Thus, the perfect foresight unconstrained consumption function is , the perfect foresight consumption function in the presence of the constraint is , the consumption function with no constraint but with the risk is and the consumption function with both the risk and the constraint is . (Corresponding notation applies to the other functions below). We now define the level of wealth such that liquidity constraint never binds for a consumer facing the risk whose wealth is higher than that limit:
Definition 7. (Wealth Limit.)
is the level of wealth such that an agent who faces risk and constraints
saves enough to guarantee that constraint will never bind in period . Its value is
given by:
We must be careful to check that is inside the realm of feasible values of , in the sense of values that permit the consumer to guarantee that future levels of consumption will be within the permissible range (e.g. positive for consumers with CRRA utility). If this is not true for some level of wealth, then any constraint that binds at or below that level of wealth is irrelevant, because the restriction on wealth imposed by the risk is more stringent than the restriction imposed by the constraint.
We are now in the position to analyze the relationship between precautionary saving and liquidity constraints. Our first result regards the effect of an additional constraint on the precautionary saving of a household facing risk at the beginning of period (before any choices are made in that period).
Theorem 6. (Precautionary Saving with Liquidity Constraints.)
Consider an agent who has a utility function with , , , and
nonincreasing absolute prudence , and who faces the risk, . Assume that the
agent faces a set of N relevant constraints and . Then
 (9) 
and the inequality is strict if wealth is less than the level that ensures that the last constraint never binds ().
See Appendix F for the proof. Theorem 6 shows that the introduction of the next constraint induces the agent to save more for precautionary reasons in response to an immediate risk as long as there is a positive probability that the next constraint will bind. Theorem 6 can be generalized to period if there is no risk or constraint between period and : We simply define as the wealth level at which the agent will arrive in the beginning of period with wealth .
To illustrate the result in Theorem 6, Figure 3 shows an example of optimal consumption rules in period under different combinations of an immediate risk (realized at the beginning of period ) and a future constraint (applying at the end of period ).
Notes: is the consumption function with no constraint and no risk, is the consumption function with no constraint and a risk that is realized at the beginning of period , is the consumption function with one constraint in period and no risk, and is the consumption function with one constraint in period and a risk that is realized at the beginning of period . The figure illustrates that the vertical distance between and is always greater than the vertical distance between and for .
The thinner loci reflect behavior of consumers who face the future constraint, and the dashed loci reflect behavior of consumers who face the immediate risk. For levels of wealth above where the future constraint stops impinging on current behavior for perfect foresight consumers, behavior of the constrained and unconstrained perfect foresight consumers is the same. Similarly, for levels of wealth above beyond which the probability of the future constraint binding is zero. For both constrained and unconstrained consumers, the introduction of the risk reduces the level of consumption (the dashed loci are below their solid counterparts). The significance of Theorem 6 in this context is that for levels of wealth below , the vertical distance between the solid and the dashed loci is greater for the constrained (thin line) than for the unconstrained (thick line) consumers, because of the interaction between the liquidity constraint and the precautionary motive.
The result in Theorem 6 is limited to the effects of an additional constraint when a household faces income risk that is realized at the beginning of period . Intuition might suggest that this could be generalized to a proposition that precautionary saving increases if we for example impose an immediate constraint or an earlier risk, or generally impose multiple constraints or risks. However, it turns out that the answer is “not necessarily” to all these possible scenarios. In this subsection, we explain why we cannot derive more general results.
To describe these results, we need to develop a last bit of notation. We define, , as the consumption function in period assuming that the first constraints and the first risks have been imposed, counting risks, like constraints, backwards from period . Thus, relating our new notation to our previous usage, because 0 risks have been imposed. All other functions are defined correspondingly, e.g. is the endofperiod value function assuming the first constraints and risks have been imposed. We will continue to use the notation to designate the effects of imposition of a single immediate risk (realized at the beginning of period ).
Suppose now there are future risks that will be realized between and . One might hope to show that, at any , the precautionary effect of imposing all risks in the presence of all constraints would be greater than the effect of imposing all risks in the absence of any constraints:
 (10) 
Such a hope, however, would be in vain. In fact, we will now show that even the considerably weaker condition, involving only the single risk and all constraints, can fail to hold for some .
Consider a situation in which constraints apply in between and . Since designates the consumption rule that will be optimal prior to imposing the period constraint, the consumption rule imposing all constraints will be
Consider now the question of how the addition of a risk that will be realized at the beginning of period affects the consumption function at the beginning of period , in the absence of any constraint at the beginning of period .
The question at hand is then whether we can say that
that is, does the introduction of the risk have a greater precautionary effect on consumption in the presence of the subsequent risk than in its absence?The answer again is “not necessarily.” To see why, we present an example in Appendix G of a CRRA utility problem in which in a certain limit the introduction of a risk produced an effect on the consumption function that is indistinguishable from the effect of a liquidity constraint. If the risk is of this liquidityconstraintindistinguishable form, then the logic of the previous subsection applies: For some levels of wealth, the introduction of the risk at can weaken the precautionary effect of any risks at or later.
It might seem that the previous subsection implies that little useful can be said about the precautionary effects of introducing a new risk in the presence of preexisting constraints and risks. It turns out, however, that there is at least one strong result.
Theorem 7. Consider an agent who has a utility function with , , , and nonincreasing absolute prudence . Then the introduction of a risk has a greater precautionary effect on period consumption in the presence of all future risks and constraints than in the absence of any future risks and constraints, i.e.
at levels of period wealth such that in the absence of the new risk the consumer is not constrained in the current period and in the presence of the risk there is a positive probability that some future constraint will bind.Appendix H presents the proof. It seems to us that a fair summary of this theorem is that in most circumstances the presence of future constraints and risks does increase the amount of precautionary saving induced by the introduction of a given new risk. The primary circumstance under which this should not be expected is for levels of wealth at which the consumer was constrained even in the absence of the new risk. There is no guarantee that the new risk will produce a sufficiently intense precautionary saving motive to move the initiallyconstrained consumer off his constraint. If it does, the effect will be precautionary, but it is possible that no effect will occur.
The central message of this paper is that the effects of liquidity constraints and future risks on precautionary saving are very similar because the introduction of either a liquidity constraints or of a risk induce a ‘counterclockwise concavification’ of the consumption function. No matter how it is caused, such an increase in concavity increases prudence and makes agents save more for precautionary reasons.
In addition, we provide an explanation of the apparently contradictory results that have emerged from simulation studies, which have sometimes seemed to indicate that constraints intensify precautionary saving motives (they are complements), and sometimes have found constraints and precautionary behavior are substitutes. The insight here is that the outcome at any given depends on whether the introduction of a constraint or risk weakens the effects of any preexisting constraints or risks. If the new constraint or risk does not interact in any way with existing constraints or risks, it intensifies the precautionary saving motive. If it ‘hides’ or moves the effects of any existing constraints or risks, it might weaken the precautionary saving motive at the given .
Ameriks, John, Andrew Caplin, Steven Laufer, and Stijn Van Nieuwerburgh (2011): “The Joy Of Giving Or Assisted Living? Using Strategic Surveys To Separate Public Care Aversion From Bequest Motives,” The Journal of Finance, 66(2), 519–561.
Bayer, Christian, Ralph Lütticke, Lien PhamDao, and Volker Tjaden (2019): “Precautionary savings, illiquid assets, and the aggregate consequences of shocks to household income risk,” Econometrica, 87(1), 255–290.
Beckenbach, Edwin F, and Richard Bellman (1983): Inequalities, vol. 30. Springer, reprint edn.
Carroll, Christopher D., and Miles S. Kimball (1996): “On the Concavity of the Consumption Function,” Econometrica, 64(4), 981–992, http://econ.jhu.edu/people/ccarroll/concavity.pdf.
Deaton, Angus S. (1991): “Saving and Liquidity Constraints,” Econometrica, 59, 1221–1248, http://www.jstor.org/stable/2938366.
Druedahl, Jeppe, and Casper Nordal Jørgensen (2018): “Precautionary borrowing and the credit card debt puzzle,” Quantitative Economics, 9(2), 785–823.
FernandezCorugedo, Emilio (2000): “Soft Liquidity Constraints and Precautionary Savings,” Manuscript, Bank of England.
Fulford, Scott L (2015): “How important is variability in consumer credit limits?,” Journal of Monetary Economics, 72, 42–63.
Guerrieri, Veronica, and Guido Lorenzoni (2017): “Credit crises, precautionary savings, and the liquidity trap,” The Quarterly Journal of Economics, 132(3), 1427–1467.
Holm, Martin Blomhoff (2018): “Consumption with liquidity constraints: An analytical characterization,” Economics Letters, 167, 40–42.
Jappelli, Tullio (1990): “Who is Credit Constrained in the U.S. Economy?,” Quarterly Journal of Economics, 105(1), 219–34.
Kaplan, Greg, Benjamin Moll, and Giovanni L. Violante (2018): “Monetary Policy According to HANK,” American Economic Review, 108(3), 697–743.
Kennickell, Arthur B., and Annamaria Lusardi (1999): “Assessing the Importance of the Precautionary Saving Motive: Evidence from the 1995 SCF,” Manuscript, Board of Governors of the Federal Reserve System.
Kimball, Miles S. (1990): “Precautionary Saving in the Small and in the Large,” Econometrica, 58, 53–73.
Krueger, Dirk, Kurt Mitman, and Fabrizio Perri (2016): “Macroeconomics and Household Heterogeneity,” Handbook of Macroeconomics, 2, 843–921.
Lee, JeongJoon, and Yasuyuki Sawada (2007): “The degree of precautionary saving: A reexamination,” Economics Letters, 96(2), 196–201.
(2010): “Precautionary saving under liquidity constraints: Evidence from rural Pakistan,” Journal of Development Economics, 91(1), 77–86.
Mendelson, Haim, and Yakov Amihud (1982): “Optimal Consumption Policy Under Uncertain Income,” Management Science, 28(6), 683–697.
Nishiyama, ShinIchi, and Ryo Kato (2012): “On the Concavity of the Consumption Function with a Quadratic Utility under Liquidity Constraints,” Theoretical Economics Letters, 2(05), 566.
Park, MyungHo (2006): “An analytical solution to the inverse consumption function with liquidity constraints,” Economics Letters, 92(3), 389–394.
Pratt, John W. (1964): “Risk Aversion in the Small and in the Large,” Econometrica, 32, 122–136.
Samwick, Andrew A. (1995): “The Limited Offset Between Pension Wealth and Other Private Wealth: Implications of BufferStock Saving,” Manuscript, Department of Economics, Dartmouth College.
Zeldes, Stephen P. (1984): “Optimal Consumption with Stochastic Income,” Ph.D. thesis, Massachusetts Institute of Technology.
Proof.First, condition 2 and 4 in Definition 4 imply that for for a small . Condition 3 then ensures that holds for all (equivalently ). Second, condition 1 and the fact that for implies that for . Third, condition 3 in Definition 4 implies that
Proof. By the envelope theorem, we know that
Differentiating with respect to yields
 (14) 
Since is concave, it has lefthand and righthand derivatives at every point, though the lefthand and righthand derivatives may not be equal. Equation (14) should be interpreted as applying the lefthand and righthand derivatives separately. (Reading (14) in this way implies that ; therefore ). Taking another derivative can run afoul of the possible discontinuity in that we will show below can arise from liquidity constraints. We therefore consider two cases: (i) exists and (ii) does not exist.
Case I: ( exists.)
In the case where exists, we can take another derivative
Absolute prudence of the value function is thus defined as
From the assumption that is a counterclockwise concavification of , we know from Lemma 1 that and . Furthermore, since is nonincreasing, we know that . As a result, .
The second part of the absolute prudence expression, , is a measure of the curvature of the consumption function. Since the consumption function is concave, is a measure of the degree of concavity. Formally, if one has two functions, and , that are both increasing and concave functions, then the concave transformation always has more curvature than .^{16 } A counterclockwise concavification is an example of such a . Hence, . Then
Case II: ( does not exist.)
Informally, if nonexistence is caused by a constraint binding at , the effect will be a discrete
decline in the marginal propensity to consume at , which can be thought of as
, implying positive infinite prudence at that point (see (15)). Formally, if
does not exist, greater prudence of than is given by being a decreasing function
of . This is defined as
The second factor, , is weakly decreasing in by the property of a counterclockwise concavification. At any specific value of where does not exist because the left and right hand values of are different, we say that is decreasing if
As for the first factor, note that nonexistence of and/or do not spring from nonexistence of either or (for our purposes, when the left and right derivatives of differ at a point, the relevant derivative is the one coming from the left; rather than carry around the cumbersome limit notation, read the following derivation as applying to the left derivative). To discover whether is decreasing we differentiate (recall that the log is a monotonically decreasing transformation so the derivative of the log of a function always has the same sign as the derivative of the function):
This will be negative if
Recall from Lemma 1 that and so nonincreasing absolute prudence of the utility function ensures that . Hence the LHS is always greater or equal to the RHS of equation (17). □
Proof.We prove each statement in Corollary 1 separately.
Case I: (.)
If , a counterclockwise concavification around implies that
and for all . Then
Note that this condition is sufficient to prove Corollary 1 for the case where does not exist since it then satisfies (17). In the case where does exist, we know that
from the proof of Theorem 1. Hence,
and Corollary 1 holds in the case with and .
Case II: (.)
The quadratic case requires a different approach. Note first that the conditions in Corollary 1
hold only below the bliss point for quadratic utility. In addition, since , strict
inequality between the prudence of and the prudence of hold only at those points where
is strictly concave.
Recall from the proof of Theorem 1 that greater prudence of than occurs if is decreasing in . In the quadratic case
 (18) 
where the second equality follows since is constant with quadratic utility. Thus, prudence is strictly greater in the modified case only if strictly declines in . □
Proof.First, to facilitate readability of the proof, we assume that with no loss of generality. Our goal is to prove that if for all realizations of . The proof proceeds in two steps. First, we show that property CC is preserved through the expectation operator (vertical aggregation), i.e. that if for all realizations of . Second, we show that property CC is preserved through the value function operator (horizontal aggregation), i.e. that if . Throughout the proof, the first order condition holds with equality since no liquidity constraint applies at the end of period .
Step 1: Vertical aggregation
We show that consumption concavity is preserved under vertical aggregation for three cases of
the HARA utility function with () and nonincreasing absolute prudence
( ). The three cases are
 (19) 
Case I (, CRRA.) We will show that concavity is preserved under vertical aggregation for to avoid clutter, but the results hold for all affine transformations, , with . Concavity of implies that
 (20) 
for all if with . Since this holds for all , we know that
We now apply Minkowski’s inequality (see e.g. Beckenbach and Bellman, 1983, Theorem 3) which says that for and a scalar
This implies that for (CRRA)
if and . Thus
which implies that
Thus, defining , we get
for all , where the inequality is strict if is strictly concave for at least one realization of .
Case II (, CARA). For the exponential case, property CC holds at if
Now consider a value of for which is strictly concave for at least one realization of . Global weak concavity of tells us that for every
Meanwhile, the arithmeticgeometric mean inequality states that for positive and , if and , then

implying that

where the expression holds with equality only if is proportional to . Substituting in and , this means that
Case III (, Quadratic). In the quadratic case, linearity of marginal utility implies that
Step 2: Horizontal aggregation:
We now proceed with horizontal aggregation, namely how concavity is preserved through the
value function operation. Assume that at point , then the first order condition
implies that
for some monotonically increasing that satisfies
for any , and .
In addition, we know that the first order condition holds with equality such that which implies that . Using this equation, we get
which implies that is a convex function.
Use the budget constraint to define
Now, since is a convex function, and is the sum of a convex and a linear function, it is also a convex function satisfying
so is concave.
Note that the proof of horizontal aggregation works for any utility function with and when = = 1. However, for the more general case where or are not equal to one, we need the HARA property that multiplying by a constant corresponds to a linear transformation of .
Strict Consumption Concavity. When exhibits the property strict consumption concavity for at least one , we know that also exhibits the property strict consumption concavity from the proof of vertical aggregation. Then, equation (24) holds with strict inequality, and this strict inequality goes through the proof of horizontal aggregation, implying that equation (25) holds with strict inequality. Hence, is strictly concave if is concave for all realizations of and strictly concave for at least one realization of . □
We prove Theorem 3 by induction in two steps. First, we show that all results in Theorem 3 hold when we add the first constraint. The second step is then to show that the results hold when we go from to constraints.
Lemma 3.
Consider an agent who has a utility function with and , faces constant
income, is impatient (), and has a finite life. Then .
Proof.The marginal propensity to consume in period can be obtained from the MPC in period from the Euler equation
Furthermore, we know that
since is the MPC for an infinitelylived agent with . Hence,
and it follows that . □
Lemma 4.(Consumption with one Liquidity Constraint.)
Consider an agent who has a utility function with and , faces constant
income, , and is impatient, . Assume that the agent faces a set of one
relevant constraint. Then is a counterclockwise concavification of around
.
Proof.We now prove Lemma 4 by first showing that the consumption function including the constraint at the end of period is a counterclockwise concavification of the unconstrained consumption function in period . Next, we show how the constraint further implies that the consumption function including the constraint is a counterclockwise concavification of the unconstrained consumption function in periods prior to .
We first define as the time period of the constraint. Note first that consumption is unaffected by the constraint for all periods after , i.e. for any . For period , we can calculate the level of consumption at which the constraint binds by realizing that a consumer for whom the constraint binds will save nothing and therefore arrive in the next period with no wealth. Further, the maximum amount of consumption at which the constraint binds will satisfy the Euler equation (only points where the constraint is strictly binding violate the Euler equation; the point on the cusp does not). Thus, we define as the maximum level of consumption in period at which the agent leaves no wealth for the next period, i.e. the constraint stops binding:
and the level of wealth at which the constraint stops binding can be obtained fromBelow this level of wealth, we have so the MPC is one, while above it we have where the MPC equals the constant MPC for an unconstrained perfect foresight optimization problem with a horizon of . Thus, satisfies our definition of a counterclockwise concavification of around .
Further, we can obtain the value of period consumption at which the period constraint stops impinging on period behavior from
and we can obtain via the analogue to (26). Iteration generates the remaining and values back to period .Now consider the behavior of a consumer in period with a level of wealth . This consumer knows he will be constrained and will spend all of his resources next period, so at his behavior will be identical to the behavior of a consumer whose entire horizon ends at time . As shown in step I, the MPC always declines with horizon. The MPC for this consumer is therefore strictly greater than the MPC of the unconstrained consumer whose horizon ends at . Thus, in each period before , the consumption function generated by imposition of the constraint constitutes a counterclockwise concavification of the unconstrained consumption function around the kink point . □
We have now shown the results in Theorem 3 for . The last step is to show that they also hold for when they hold strictly for . Consider imposing the ’st constraint and suppose for concreteness that it applies at the end of period . It will stop binding at a level of consumption defined by
The priorperiod levels of consumption and wealth at which constraint stops impinging on consumption can again be calculated recursively from
Furthermore, once again we can think of the constraint as terminating the horizon of a finitehorizon consumer in an earlier period than it is terminated for the lessconstrained consumer, with the implication that the MPC below is strictly greater than the MPC above . Thus, the consumption function constitutes a counterclockwise concavification of the consumption function around the kink point .
Proof.
Our proof proceeds by constructing the behavior of consumers facing the risk from the behavior of the corresponding perfect foresight consumers. We consider matters from the perspective of some level of wealth for the perfect foresight consumers. Because the same marginal utility function applies to all four consumption rules, the Compensating Precautionary Premia, and , associated with the introduction of the risk must satisfy
Define the amounts of precautionary saving induced by the risk at an arbitrary level of wealth in the two cases asWe can rewrite (28) (resp. (27)) as
If we can show that (31) is a positive number for all feasible levels of satisfying , then we have proven Theorem 6. We know that the marginal propensity to consume is always strictly positive and that ^{17} so to prove that (31) is strictly positive, we need to show one of two sufficient conditions:
Now, since , we know that from Jensen’s inequality. Hence, since . The first integral in (31) is therefore strictly positive as long as , which is true for by Theorem 3.
For , we know that so the first integral in (31) is always zero. For the second integral in (31) to be strictly positive, we need to show that .
First define the perfect foresight consumption functions as
where since . Recall also the definitions of and :Now recall that Lemma 2 tells us that if absolute prudence of is identical to absolute prudence of for every realization of , then . This is true if for all possible realizations of , i.e. that the agent is unconstrained for all realizations of the risk. We defined this limit as . We therefore know that if .
For all levels of wealth below this limit (), there exist realizations of such that constraint will bind in period . The agent will require a higher precautionary premia when facing constraint in addition to the constraints already in the set, implying that . Equation (31) is therefore strictly positive if and we have proven Theorem 6. □
In this appendix, we provide an example where the introduction of risk resembles the introduction of a constraint. Consider the secondtolast period of life for two riskaverse CRRA utility consumers and assume for simplicity that .
The first consumer is subject to a liquidity constraint , and earns nonstochastic income of in period . This consumer’s saving rule will be

The second consumer is not subject to a liquidity constraint, but faces a stochastic income process,

If we write the consumption rule for the unconstrained consumer facing the risk as the key result is that in the limit as , behavior of the two consumers becomes the same. That is, defining as the optimal saving rule for the consumer facing the risk,

for every .
To see this, start with the Euler equations for the two consumers given wealth ,
Consider first the case where is large enough that the constraint does not bind for the constrained consumer, . In this case the limit of the Euler equation for the second consumer is identical to the Euler equation for the first consumer (because for savings are positive for the consumer facing the risk, implying that the limit of the first term on the RHS of (35) is finite). Thus the limit of (35) is (34) for .
Now consider the case where so that the first consumer would be constrained. This consumer spends her entire resources , and by the definition of the constraint we know that
Now consider the consumer facing the risk. If this consumer were to save exactly zero and then experienced the bad shock in period , she would have an infinite marginal utility (the Inada condition). This cannot satisfy the Eulerequation as long as . Therefore we know that for any and any the consumer will save some positive amount. For a fixed , hypothesize that there is some such that no matter how small became the consumer would always choose to save at least . But for any , the limit of the RHS of (35) is . We know from concavity of the utility function that and we know from (36) that , so as there must always come a point at which the consumer can improve her total utility by shifting some resources from the future to the present, i.e. by saving less. Since this argument holds for any it demonstrates that as goes to zero there is no positive level of saving that would make the consumer better off. But saving of zero or a negative amount is ruled out by the Inada condition at . Hence saving must approach, but never equal, zero as .
Thus, we have shown that for and for in the limit as the consumer facing the risk but no constraint behaves identically to the consumer facing the constraint but no risk. This argument can be generalized to show that for the CRRA utility consumer, spending must always be strictly less than the sum of current wealth and the minimum possible value of human wealth. Thus, the addition of a risk to the problem can rule out certain levels of wealth as feasible, and can also render either future or past constraints irrelevant, just as the imposition of a new constraint can.
Proof.To simplify notation and without loss of generality, we assume that when an agent faces constraints and risks, there are one constraint and one risk for each time period. For example, if faces future risks and future constraints, then the next period consumption function is (and ). Note that we can transform any problem into this notation by filling in with degenerate risks and nonbinding constraints. However, for Theorem 7 to hold with strict inequality, we need to assume that there is at least one relevant future risk and one relevant constraint.
We know that either the introduction of risk or a introduction of a constraint results in a counterclockwise concavification of the original consumption function. However, this is only true when we introduce risks in the absence of constraints (see Carroll and Kimball, 1996) and when we introduce constraints in the absence of risk (see Theorem 4). In this proof, we therefore need to show that the introduction of all risks and constraints is a counterclockwise concavification of the linear case with no risks and constraints.
Here is our proof strategy. We define a set
where Theorem 7 holds in period when we introduce a risk at the beginning of period . This is defined as the set where precautionary saving induced by a risk that is realized at the beginning of period is greater in the presence of all risks and constraints than in the unconstrained case.
In order to show that the set is nonempty, we build it up recursively, starting from period and adding one constraint or one risk for each time period. The key to the proof is to understand that the introduction of risks or constraints will never fully reverse the effects of all other risks and constraints, even though they sometimes reduce absolute prudence for some levels of wealth because risks and constraints can mask the effects of future risks and constraints. Hence, the new consumption function must still be a counterclockwise concavification of the consumption function with no risks and constraints for some levels of wealth.
Since a counterclockwise concavification increases prudence by Theorem 1, and higher prudence increases precautionary saving by Lemma 2, our required set can be redefined as
where we add the last condition, to avoid the possibility that some constraint binds such that the agent does not increase precautionary saving. In words: is the set where the consumption function is a counterclockwise concavification of and no constraint is strictly binding. We construct the set recursively for two different cases: CARA and all other type of utility functions. We start with the nonCARA utility functions.
First add the last constraint. The set is then
since we know that is a counterclockwise concavification of around but that the consumer is constrained below this point.
We next add the risk at the beginning of period . To construct the new set, we note three things. First, by Theorem 2, (strict) consumption concavity is recursively propagated for all values of wealth where there is a positive probability that the constraint can bind, i.e.
has property strict CC, while it has nonstrict property for all possible values of . Further, we know from Theorem 6 (rearrange equation (9)) that
Third, we know that since for , , and that is concave while is linear. Hence, is a counterclockwise concavification of around the minimum value of wealth when the constraint will never bind and the new set is
We can now add the next constraint. The consumption function now has two kink points, and . We know again from Theorem 2 that consumption concavity is preserved when we add a constraint, and strict consumption concavity is preserved for all values of wealth at which a future constraint might bind. Further, we know from Theorem 6 that
Third, , , and we know that if is concave while is linear, then . which is a counterclockwise concavification of around the minimum level of wealth at which the first constraint will never impinge on time consumption, , and the new set is
It is now time to add the next risk. The argument is similar. We still know that (strict) consumption concavity is recursively propagated and that . Further, we can think of the addition of two risks over two periods as adding one risk that is realized over two periods. Hence, the results from Theorem 6 must hold also for the addition of multiple risks so we have
Hence, we again know that . is thus a counterclockwise concavification of around the level of wealth at minimum value of wealth when the last constraint will never bind. The new set is therefore
Doing this recursively and defining as the minimum value of wealth beyond which constraint will never bind, the set of wealth levels at which Theorem 7 holds can be defined as
In words, precautionary saving is higher if there is a positive probability that some future constraint could bind and the consumer is not constrained today.
The last requirement is to define the set also for the CARA utility function. The problem with CARA utility is that where is some positive constant. We can therefore not use the same arguments as in the preceding proof. However, by realizing that equation (9) in the CARA case can be defined as
where the last inequality follows since precautionary saving is always higher than in the constant limit in the presence of constraints. We can therefore rearrange to get
which implies that the arguments in the preceding section goes through also for CARA utility with this slight modification. □