Abstract
We examine the investment rule that must be satisfied by an efficient and egalitarian path in a discretetime version of the Dasgupta–Heal–Solow model of capital accumulation and resource depletion. In the discretetime model, competitive valuation of net investments in terms of early and late pricing differs. We redefine Hartwick’s rule to require zero value of net investments at a valuation rule intermediate between these two. Using this definition, we show that along an efficient and egalitarian path, Hartwick’s rule is followed in all time periods. We thereby establish the converse of Hartwick’s result in discrete time, and we do so under weaker assumptions than those in the existing literature on how output varies as a function of capital and resource use. Our redefinition of Hartwick’s rule follows naturally if discrete time is viewed as providing information at discrete points in time of an underlying continuoustime process.
Introduction
Hartwick’s rule for sustainability prescribes reinvesting resource rents, thus keeping the value of net investments equal to zero. Originating from Hartwick’s original article (Hartwick 1977), a series of papers (among others, Dixit et al. 1980; Withagen and Asheim 1998; Mitra 2002; Asheim et al. 2003; Buchholz et al. 2005; Mitra et al. 2013) have contributed to our understanding of the connection between Hartwick’s rule and a sustainable development with constant wellbeing.
These contributions show how Hartwick’s rule for sustainability corresponds to paths which keep wellbeing constant (are egalitarian) and where wellbeing cannot be increased for some subinterval of time without being decreased at some other subinterval (are efficient). This correspondence can be stated through the following two results:

Hartwick’s result If along an efficient path Hartwick’s rule is followed forever, then an egalitarian path is implemented.

The converse of Hartwick’s result If an efficient and egalitarian path is implemented, then Hartwick’s rule is followed forever.
Asheim (2013) presents an overview of how these results obtain in three different classes of technologies: (1) the onesector growth model, (2) the model of capital accumulation and resource depletion used by Hartwick, and (3) a general model with multiple capital goods.
Now, these results are established under assumptions that are rather strict: The economy is assumed to have constant technology and constant population. Furthermore, the economy is assumed to implement an efficient path in continuous time. There are ways to relax each of these assumptions and still obtain some variant of Hartwick’s result and its converse. For example, if there is exogenous technological progress in the sense of a timedependent technology, we may restore these results by including time as an additional stock.
In this paper, we focus on how to relax the assumption that time is continuous. In reality, accounting for the value of net investments will take place at discrete points in time. Furthermore, Fleurbaey (2015, p. 35) suggests that the concept of sustainable development be analyzed in discrete time “because discrete time makes it possible to obtain a clear distinction between what the current period does and what the next periods can do given the capital stocks they inherit”. Thus, it is of interest to investigate to what extent the relationship between Hartwick’s rule and a sustainable development with constant wellbeing survives in a discretetime setting. This question was already raised by Dasgupta and Mitra (1983) in a discretetime version of the model of capital accumulation and resource depletion used by Hartwick. The results were discouraging in the sense that Hartwick’s rule is not exactly followed along an efficient and egalitarian path, even if technology and population are constant and rather strong assumptions are imposed on the production function.
This paper shows how the converse of Hartwick’s result obtains in the model of capital accumulation and resource depletion under weaker assumptions than those imposed by Dasgupta and Mitra (1983). In particular, we impose only regular neoclassical assumption on how net production is a function of the capital and resource use, while relaxing a requirement that resource use has a nonvanishing functional share of output as resource use approaches zero. And even though the competitive prices along such an efficient and egalitarian path do not provide the precise price ratio for which the value of net investments is zero, we show that such prices at the discrete points in time yield a narrow interval for the price ratio that gives zero value of net investments when going from one point in time to the next.
The proof of this result is based on the following observation made by Malinvaud (1953) in discrete time and developed in the context of efficient and egalitarian paths in continuous time by Mitra (2002): Vectors of initial stocks that are sufficient to maintain wellbeing at or above a given level c form a convex set S(c). Furthermore, there is a relative price between capital and resource at which the vector of initial stocks that leads to an efficient and egalitarian path with wellbeing kept constant at c minimizes the cost of stocks evaluated over all vectors in S(c). Finally, by applying a suggestion made by Dasgupta and Mitra (1983, Section 7), we show that this relative price is exactly the ratio of gross capital productivity to productivity of resource use, which is the competitive price ratio that compares the value of stock changes in the context of Hartwick’s rule. Note that this last step is nontrivial and essential, as Hartwick’s rule is defined in terms of competitive prices, not in terms of the “maximin” prices that support the set S(c) and which can be derived from the partial derivatives of the maximin value function.
The fact that the competitive value of stock is minimized is sufficient to establish that the competitive valuation of net investments between time period t and time period \(t+1\) is nonnegative when valued at the (higher) early price ratio at t and nonpositive when valued at the (lower) late price ratio at \(t+1\). Hence, there exists an intermediate price ratio of capital augmentation to resource use, between the one at \(t+1\) and the one at t, that leads to zero value of net investments. Thus, by redefining Hartwick’s rule to require zero value of net investments at some valuation rule intermediate between early and late pricing, we show that Hartwick’s rule is followed in all time periods along an efficient and egalitarian path.
Compared to Dasgupta and Mitra (1983), we make the timing of prices more transparent, allowing us to introduce the terms “early” and “late” pricing and setting the stage for redefining Hartwick’s rule in a manner appropriate for discrete time.
Moreover, by weakening the assumptions on the production function, we establish a significantly stronger result. With their additional assumption, namely that resource use has a nonvanishing functional share of output as resource use approaches zero, Dasgupta and Mitra (1983, Theorem 1) show that if it is feasible to keep consumption bounded away from zero starting with given initial stocks of capital and resource, then these stocks can also give rise to an efficient and egalitarian path. Hence, this assumption means that the maximin problem of maximizing the infimum of consumption leads to an efficient and egalitarian path whenever the infimum is positive. Note that such a result cannot be established in the onesector model of capital accumulation if there is a finite Golden Rule capital stock, since there exists no efficient and egalitarian solution to the maximin problem for initial stocks exceeding the Golden Rule size. Mitra et al. (2013, Theorem 2) indicate that the present model, which includes resource depletion, has similar properties: If initial stocks of capital and resource are too large, there might not exist any efficient and egalitarian path, even though these stocks are sufficient to keep consumption bounded away from zero. While the analysis of Dasgupta and Mitra (1983) is not applicable under such circumstances, we show that the converse of Hartwick’s result holds for any initial stocks that leads to an efficient and egalitarian solution to the maximin problem; this corresponds to the analogous result in the onesector model.
We start out in Sect. 2 by presenting the assumptions that we impose on the model of capital accumulation and resource depletion. We define properties for paths in this model, derive preliminary results on the competitive price support of interior paths (with positive capital and resource use in each time period), and adapt the definition of Hartwick’s rule to the discretetime setting. We then proceed in Sect. 3 to prove that the converse of Hartwick’s result holds even in discrete time, as well as suggesting how this result can be generalized beyond the model of capital accumulation and resource depletion.
In the concluding Sect. 4, we show how our redefinition of Hartwick’s rule follows naturally if we view discrete time as providing information at discrete points in time of an underlying continuoustime process. This perspective allows us to relate our adaptation of Hartwick’s rule to discrete time to the continuoustime version of the converse of Hartwick’s result. Furthermore, we discuss the challenges faced when attempting to establish Hartwick’s rule as a prescriptive rule in a discretetime setting. In particular, we pose the question whether Hartwick’s result can be demonstrated in discrete time, so that a policy of zero value of net investments can be used to steer the economy along an efficient and egalitarian path. All proofs—except the demonstration of our main result—are contained in the “Appendix”.
Framework
Consider a model with one produced good, which serves as both the capital and the consumption good, and an exhaustible resource. Labor is assumed to be constant over time. The framework described below is the standard one employed in the literature on intertemporal resource allocation in the presence of an exhaustible resource (see, for example, Solow 1974; Dasgupta and Heal 1974), modified by a discretetime formulation of the economic dynamics, following Mitra (1978) and Dasgupta and Mitra (1983). We refer to this as the discretetime DHS model.
Denote by k the stock of the augmentable capital good (which is assumed to be nondepreciating), and by r the flow of exhaustible resource use. Let \(G: \mathbb{R}_+^2 \rightarrow \mathbb{R}_+\) denote the production function for the capital/consumption good; the production process uses the capital stock, k, and the exhaustible resource use, r, as inputs. The net output G(k, r) is used to provide consumption c—being an indicator of wellbeing—or to provide augmentation of k. Output G(k, r) is the only source of flow of consumption or of net investment.
We will use the following standard assumptions on the production function G.

(G1)
G(k, r) is a function from \(\mathbb{R}_+^2\) to \(\mathbb{R}_+\), which is continuous, nondecreasing, and concave in (k, r) on \(\mathbb{R}_+^2\).

(G2)
\(G(k,0) = G(0,r) = 0\) for all \((k,r) \in \mathbb{R}_+^2\).

(G3)
G is strictly increasing in each argument on \(\mathbb{R}_{++}^2\), and continuously differentiable in (k, r) on \(\mathbb{R}_{++}^2\), with \(G_k(k,r)>0\) and \(G_r(k,r) > 0\) for all \((k,r) \in \mathbb{R}_{++}^2\).
These assumptions impose regular neoclassical properties and correspond to assumptions (A1)–(A3) of Dasgupta and Mitra (1983). However, our results do not require assumption (A4) (or (A4′)) of Dasgupta and Mitra (1983), imposing that resource use is “important” in the sense that resource use has a nonvanishing functional share of output as resource use approaches zero. Assumptions (G1)–(G3) (as well as assumptions (A4) and (A4′) of Dasgupta and Mitra 1983) are always satisfied when G takes the Cobb–Douglas form (used by Solow 1974):
with \(\alpha > 0\), \(\beta > 0\), \(\alpha + \beta < 1\). Simple analytical forms satisfying assumptions (G1)–(G3) but not (A4) or (A4′) do not seem to be available.
Denote by m the stock of the resource. The transformation of the stocks k and m from time period t (\(\ge 0\)) to the next time period \(t+1\) satisfies:
where \(y_t\), \(k_t\), \(m_t\), \(c_t\), and \(r_t\) are constrained to be nonnegative for all \(t \ge 0\). This dynamic transformation can be expressed through the following transformation set:
A sequence \(\{k_t,m_t,c_t\}\) is a path from \((k,m) \in \mathbb{R}_+^2\) if \((k_0,m_0) = (k,m)\) and
Denote by \(\mathcal{F}(k,m)\) the set of paths from any \((k,m) \in \mathbb{R}_+^2\).
We provide a list of properties for paths: A path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \mathbb{R}_+^2\)

is efficient if there does not exist \(\{k'_t,m'_t,c'_t\} \in \mathcal{F}(k,m)\) with \(c'_t \ge c_t\) for all \(t\ge 0\) and \(c'_s > c_s\) for some \(s\ge 0\),

is egalitarian if \(c_{t+1} = c_t\) for all \(t\ge 0\),

is interior if \(k_t > 0\) and \(m_{t+1} < m_t\) for all \(t\ge 0\),

is nonwasteful if \(y_t = G(k_t,m_tm_{t+1}) + k_t\) for all \(t \ge 0\),

is competitive if there is a nonnull sequence \(\{p_t,q_t\}\) of nonnegative price pairs such that, for all \(t\ge 0\), we have:
$$\begin{aligned} p_{t+1}y_t + q_{t+1}m_{t+1}  p_tk_t  q_tm_t \ge p_{t+1}y + q_{t+1}m'  p_tk  q_tm \quad \text{for all } \left( (k,m),(y,m')\right) \in \mathcal{T} \end{aligned}$$(C) 
satisfies Hotelling’s rule if \(\{k_t,m_t,c_t\}\) is interior and:
$$\begin{aligned} \frac{G_r(k_{t+1},m_{t+1}m_{t+2})}{G_r(k_{t},m_tm_{t+1})} = G_k(k_{t+1},m_{t+1}m_{t+2}) + 1 \quad \text{for all }t\ge 0, \end{aligned}$$(H) 
satisfies the capitalvalue transversality condition if \(\{k_t,m_t,c_t\}\) is interior and:
$$\begin{aligned} \lim _{t\rightarrow \infty } \left( \frac{G_k(k_t,m_tm_{t+1})+1}{G_r(k_t,m_tm_{t+1})} \right) k_t = 0 , \end{aligned}$$ 
satisfies resource exhaustion if:
$$\begin{aligned} {\lim }_{t\rightarrow \infty }m_t = 0 . \end{aligned}$$
Consider an interior path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \mathbb{R}_{++}^2\) and define a sequence \(\{p_t,q_t\}\) of positive price pairs as follows, where the resource is numéraire:
The following result summarizes the principal connections between competitive paths and Hotelling’s rule in the context of the discretetime DHS model.
Lemma 1
Assume (G1)–(G3), and let \(\{k_t,m_t,c_t\}\) be an interior path from \((k,m) \in \mathbb{R}_{++}^2\). Then:

(a)
If \(\{k_t,m_t,c_t\}\) is nonwasteful and satisfies Hotelling’s rule, then \(\{k_t,m_t,c_t\}\) is competitive with associated sequence \(\{p_t,q_t\}\) of price pairs given by (P).

(b)
If \(\{k_t,m_t,c_t\}\) is competitive, then \(\{p_t,q_t\}\) given by (P) is an associated sequence of price pairs, which is unique up to a positive linear transformation. Furthermore, \(\{k_t,m_t,c_t\}\) is nonwasteful and satisfies Hotelling’s rule.
The following corollary is immediate.
Corollary 1
Under (G1)–(G3), if \(\{k_t,m_t,c_t\}\) is an interior and competitive path from \((k,m) \in \mathbb{R}_{++}^2\) with associated sequence \(\{p_t,q_t\}\) of price pairs given by (P), then the price sequence \(\{p_t\}\) is decreasing.
That the sequence \(\{p_t\}\) of capital prices is decreasing corresponds to a positive rate of interest associated with the positive net capital productivity of G. It means that the sequence \(\{p_t,q_t\}\) of positive price pairs as determined by (P) is expressed as presentvalue prices, where time discounting is an integral part of the price system.
In discrete time, the value of net investments at time \(t \ge 0\) along a competitive path, \(\{k_t,m_t,c_t\}\), can be defined in terms of early or late pricing, respectively:
As we will see, these measures of the value of net investments differ along an efficient and egalitarian path and cannot both be zero. Still, we will be able to show that an efficient and egalitarian path is characterized by the requirement that resource rents be reinvested in augmentable capital in all time periods, provided that we adopt some valuation rule intermediate between early and late pricing, as stated in the following adaptation of Hartwick’s rule to the discretetime setting.
Definition 1
(Hartwick’s rule in the discretetime DHS model) Hartwick’s rule is followed in time period t along an interior and competitive path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \mathbb{R}_{++}^2\) with associated sequence \(\{p_t,q_t\}\) of price pairs given by (P) if there exists \(p \in [p_{t+1}, p_t]\) such that \(p \left( k_{t+1}  k_t \right) + \left( m_{t+1}  m_t \right) = 0\).
Properties of an efficient and egalitarian path
In this section, we present the main result of the paper (Theorem 1) on efficient and egalitarian paths. As prerequisites of that result, we develop basic properties associated with such paths. These can be conveniently separated into competitive conditions (presented in Sect. 3.1), and conditions on the value of investments (presented in Sect. 3.2).
The converse of Hartwick’s result establishes that the Hartwick’s rule is followed forever along any efficient and egalitarian path. In order to ensure that this problem is nontrivial, we assume that:

(E)
The set \(\Omega \) is nonempty,
where \(\Omega \) is defined as follows:
Condition (E) assumes the existence of a stock pair (k, m) for which the maximin problem of maximizing the infimum of consumption has an efficient and egalitarian solution with positive (constant) consumption. It is analogous to the condition, in the onesector model of capital accumulation with a concave and continuously differentiable production function, that gross capital productivity exceeds the rate of depreciation as the capital stock approaches zero.
It is, however, demanding to obtain technological conditions that characterize condition (E) in the setting of the discretetime DHS model. Mitra et al. (2013, Theorems 1 and 2) establish such sufficient and necessary conditions in the continuoustime DHS model. In the discretetime DHS model, Cass and Mitra (1991) establish sufficient and necessary conditions for the feasibility of keeping consumption bounded away from zero, while Dasgupta and Mitra (1983), by imposing their additional assumption (A4), show that this implies the existence of an efficient and egalitarian path. However, as noted in Introduction, the imposition of assumption (A4) would seriously weaken our main result, by significantly constraining the class of technologies we would consider. Hence, we limit our discussion of technological conditions by noting that, with a Cobb–Douglas production function, as given by (1), every pair \((k,m)\in \mathbb{R}_{++}^{2}\) belongs to \(\Omega \) provided \(\alpha >\beta \); this can be inferred from results reported in Dasgupta and Mitra (1983) and Cass and Mitra (1991).
Let \((k,m)\in \Omega \). Note that, for any efficient path \(\{k_{t},m_{t},c_{t}\}\) from (k, m), such that \(c_{t}\) is a positive constant for all \(t\ge 0,\) we must have the positive constant to be unique. (For if there were two such constants, then the path with the lower constant consumption would be inefficient.) Consequently, with each \((k,m)\in \Omega \), we can associate this unique constant consumption level; this is the maximin value, which we write c(k, m). Thus, a consequence of (E) is the following observation:
 (E′):

There are \((k,m) \in \Omega \) and an efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from (k, m) with \(c_t = c(k,m) > 0\) for all \(t \ge 0\).
In what follows, we fix a stock pair \((k,m)\in \Omega \) (which exists by condition (E)), and we fix an efficient and egalitarian path (which exists by observation (E′)), and denote it by \(\{k_{t},m_{t},c_{t}\}\); furthermore, we denote c(k, m) by c.
Competitive conditions
We define:
Thus, S(c) is the pair of initial stocks that enable consumption to be maintained at or above \(c=c(k,m)>0\).^{Footnote 1} Clearly, for each \(t\ge 0,\) we have \((k_{t},m_{t})\in S(c)\).
We will note two important properties of the set S(c); these are stated in Lemmas 2 and 3. These properties will be used to establish a “cost minimization” property of an efficient and egalitarian path in Proposition 1.
For statement of the first of these lemmas (as well as for the proof of Proposition 1), define, for each \(t \ge 0\), the set of stock vectors where neither stock exceeds \((k_t,m_t)\):
Lemma 2
Under (G1)–(G3) and (E), for each \(t \ge 0\), \(S(c) \cap R_t = \{(k_t,m_t)\}\).
Lemma 2 leads to the following corollary. This has already been established by Dasgupta and Mitra (1983, Proposition 2), but we state and prove the result here for completeness.
Corollary 2
Under (G1)–(G3) and (E), the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) is interior and satisfies \(k_{t+1} > k_t\) for all \(t \ge 0\).
Lemma 3
Under (G1), S(c) is a convex subset of \(\mathbb{R}_+^2\).
Proposition 1
Under (G1)–(G3) and (E), for each \(t \ge 0\), there exists a nonnull and nonnegative price pair \((P_t, Q_t)\) such that \((k_t,m_t)\) minimizes \(P_t k' + Q_t m'\) over all \((k',m') \in S(c)\).
The following result shows that the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) satisfies Hotelling’s rule, among other properties. Note that the proof of this result only uses the efficiency and interiority of the path; the fact that \(\{k_t,m_t,c_t\}\) is egalitarian is not directly invoked.
Proposition 2
Under (G1)–(G3) and (E), the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) is nonwasteful and satisfies Hotelling’s rule and resource exhaustion.
Hence, as an immediate consequence of Proposition 2 and Lemma 1 we can state the following corollary.
Corollary 3
Under (G1)–(G3) and (E), the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) is competitive with associated sequence \(\{p_t,q_t\}\) of price pairs given by (P).
We can now state an important property of an efficient and egalitarian path, namely that it satisfies the “cost minimization” property in terms of competitive prices. In the proof of this result, we utilize the observation that, for each \(t \ge 0\), \(S_t(c) \subseteq S(c)\), where \(S_t(c)\) denotes the set of initial pairs of stocks that enable consumption to be maintained at or above c, provided that \(\{k'_\tau ,m'_\tau ,c'_\tau \}\) with \(\left( k'_\tau ,m'_\tau ,c'_\tau \right) = \left( k_{t+1+\tau } , m_{t+1+\tau } , c_{t+1+\tau } \right) \) for all \(\tau \ge 0\) is followed from \((k_{t+1},m_{t+1})\):
Hence, by Proposition 1 and the fact that \((k_t, m_t) \in S_t(c)\), we have that, for each \(t \ge 0\), \((k_t,m_t)\) minimizes \(P_t k' + Q_t m'\) over all \((k',m') \in S_t(c)\), which, by the differentiability of G, leads to the result that the price ratio \(P_t/Q_t\) equals the competitive price ratio \(p_t\) as given by (P).
Proposition 3
Assume (G1)–(G3) and (E), and let the price sequence \(\{p_t\}\) be determined by (P) from the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\). Then, for each \(t\ge 0\), we have that \((k_t,m_t)\) minimizes \(p_t k' + m'\) over all \((k',m') \in S(c)\).
Conditions on the value of net investments
We are now in a position to state the main result of the paper.
Theorem 1
Under (G1)–(G3), if the path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) is efficient and egalitarian, then Hartwick’s rule as redefined in Definition 1is satisfied in all time periods \(t \ge 0\). Furthermore, for all \(t \ge 0\), the value of net investments, \(E_t\), measured in early pricing is nonnegative and nonincreasing, and the value of net investments, \(L_t\), measured in late pricing is nonpositive and nondecreasing. The two measures differ for all \(t \ge 0\), but both converge to 0 as \(t \rightarrow \infty \).
Proof
Assume that the path \(\{k_t, r_t, c_t\}\) from \((k,m) \in \mathbb{R}_{++}^2\) is efficient and egalitarian. Hence, by Corollary 3, the path is competitive with associated sequence \(\{p_t,q_t\}\) of price pairs given by (P). Furthermore, by Proposition 3, for all \(t \ge 0\), \(p_{t+1} k_{t+1} + m_{t+1} \le p_{t+1} k_t + m_t\), or equivalently:
since \((k_t,m_t) \in S(c)\) for all \(t \ge 0\). Likewise, for all \(t \ge 0\), \(p_t k_t + m_t \le p_t k_{t+1} + m_{t+1}\), or equivalently:
Hence, by (3) and (4), for all \(t \ge 0\), there exists \(p \in [p_{t+1}, p_t]\) such that
since, by Corollaries 1 and 2, the price sequence \(\{p_t\}\) is decreasing and the capital sequence \(\{k_t\}\) is increasing. This shows that Hartwick’s rule as redefined in Definition 1 is satisfied in all time periods \(t \ge 0\) along an efficient and egalitarian path.
Since the path \(\{k_t,m_t,c_t\}\) is competitive, it follows from (C) that, for all \(t \ge 1\):
By rearranging and using the fact that \(\{k_t,m_t,c_t\}\) is egalitarian (so that \(c_t = c_{t1}\) for all \(t \ge 1\)), we have that:
hold for all \(t \ge 1\). By (3) and (5), the value of net investments, \(L_t\), measured in late pricing is nonpositive and nondecreasing. Likewise, by (4) and (6), the value of net investments, \(E_t\), measured in early pricing is nonnegative and nonincreasing.
By Corollaries 1 and 2, the price sequence \(\{p_t\}\) is decreasing and the capital sequence \(\{k_t\}\) is increasing, implying that, at any \(t \ge 0\),
so that the two measures differ for all \(t \ge 0\).
Since, for all \(t \ge 0\), \(L_t\) is nonpositive and nondecreasing and \(E_t\) is nonnegative and nonincreasing, it follows that the limits, \(L = \lim _{t \rightarrow \infty }L_t\) and \(E = \lim _{t \rightarrow \infty }E_t\), exist, and furthermore, \(L \le 0 \le E\). Hence, to show that \(L = 0 = E\), it is sufficient to show that \(E \le L\), or equivalently, by (7):
Using Corollary 2 and (P) and writing \(r_t = m_tm_{t+1}\), we have:
for all \(t \ge 0\), by (G1) and (G2). Hence, by (8), \(E \le L\) is established by showing:
To show this, the following claim is helpful.
Claim \(\lim _{t \rightarrow \infty }k_t = \infty \). Suppose the claim is not true. Then, by Corollary 2, there exists \(\bar{k} > 0\) such that \(k_t \le \bar{k}\) for all \(t \ge 0\) and, by (G1):
We have \(\lim _{t \rightarrow \infty } G(\bar{k},m_t) = 0\) by (G1) and (G2), as \(\lim _{t \rightarrow \infty }m_t = 0\) by Proposition 2. By (10), this contradicts that \(c_t = c > 0\) for all \(t \ge 0\).
By the claim, we may choose \(s \ge 0\) such that \(k_t \ge 1\) for all \(t \ge s\), implying that
for all \(t \ge s\), by (G1). We have \(\lim _{t \rightarrow \infty } G(1,m_t) = 0\) by (G1) and (G2), as \(\lim _{t \rightarrow \infty }m_t = 0\) by Proposition 2. This shows (9). \(\square \)
For the sake of completeness, we state the following result, using the style of proof in Mitra et al. (2013, Proposition 5).
Proposition 4
Under (G1)–(G3) and (E), the efficient and egalitarian path \(\{k_t,m_t,\) \(c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) satisfies the capitalvalue transversality condition.
It is noteworthy that the capitalvalue transversality condition obtains without imposing an assumption that resource use be “important” (in the sense of (A4) or (A4′) of Dasgupta and Mitra 1983).
Say that an interior and competitive path \(\{k'_t,m'_t,c'_t\}\) from \((k',m') \in \mathbb{R}_+^2\) has finite consumption value if the associated price sequence \(\{p_t\}\) determined by (P) satisfies \(\sum _{t=0}^\infty p_{t+1}c'_t < \infty \). This is equivalent to \(\sum _{t=0}^\infty p_{t+1} < \infty \) if \(c'_t = c > 0\) for all \(t \ge 0\). As defined by Burmeister and Hammond (1977) and Dixit et al. (1980) in continuous time, an interior and competitive path is a regular maximin path if it

(a)
is egalitarian,

(b)
has finite consumption value, and

(c)
satisfies the capitalvalue transversality condition and resource exhaustion.
By Propositions 2 and 4, we have established that, under (G1)–(G3) and (E), the efficient and egalitarian path \(\{k_t,m_t,c_t\}\) from \((k,m) \in \Omega \) with \(c_t = c > 0\) for all \(t \ge 0\) satisfies (a) and (c). However, we cannot show, based on these assumptions, that \(\{k_t,m_t,c_t\}\) has finite consumption value. The failure of (b) might arise if an increase in the initial resource stock beyond m cannot be turned into a uniform increase in consumption; see Mitra et al. (2013, Theorem 2) for an investigation of this possibility in the continuoustime DHS model.^{Footnote 2}
Theorem 1 can be generalized to any model with multiple capital/consumption goods where the transformation of the capital vector \(\mathbf {k} = (k_1, \dots , k_n)\) to a gross output vector \(\mathbf {y} = (y_1, \dots , y_n)\) satisfies that \((\mathbf {k}, \mathbf {y})\) is in some 2ndimensional set \(\mathcal{T}\) and where, for each \(t \ge 0\), consumption \(\mathbf {c}_t\) equals \(\mathbf {y}_t  \mathbf {k}_{t+1}\). However, this presupposes that any efficient path \(\{\mathbf {k}_t, \mathbf {c}_t\}\) for which the utility \(u(\mathbf {c}_t)\) derived from \(\mathbf {c}_t\) is constant and equal to u for all \(t \ge 0\) has the following properties.

(i)
\(\{\mathbf {k}_t, \mathbf {c}_t\}\) is competitive with associated sequences of utility discount factors \(\{ \mu _t \}\) and presentvalue capital prices \(\{ \mathbf {p}_t \}\) so that, for all \(t \ge 0\), we have:
$$\begin{aligned}&\mu _t u(\mathbf {c}_t)  \mathbf {p}_{t+1} \mathbf {c}_t \, \ge \, \mu _t u(\mathbf {c}')  \mathbf {p}_{t+1} \mathbf {c}' \;\; \text{for all } \mathbf {c}' \ge 0 ,\quad\hfill (\text{C}u)\\&\mathbf {p}_{t+1} \mathbf {y}_t  \mathbf {p}_t \mathbf {k}_t \, \ge \, \mathbf {p}_{t+1} \mathbf {y}'  \mathbf {p}_t \mathbf {k}' \;\; \text{for all } (\mathbf {k}', \mathbf {y}') \in \mathcal{T} .\quad\hfill (\text{C}\pi ) \end{aligned}$$ 
(ii)
for each \(t \ge 0\), \(\mathbf {k}_t\) minimizes \(\mathbf {p}_t \mathbf {k}'\) over all vectors of stocks \(\mathbf {k}'\) that allow utility to be maintained at or above u for all \(s \ge t\).
Then it follows from (ii) that, for all \(t \ge 0\),
Hence, there exists \(\lambda \in [0,1]\) such that \(\left( \lambda \mathbf {p}_{t+1} + (1\lambda ) \mathbf {p}_t \right) \left( \mathbf {k}_{t+1}  \mathbf {k}_t \right) = 0\), implying that Hartwick’s rule is followed by a convex combination of early and late prices. Furthermore, for all \(t \ge 1\), \( \mathbf {p}_{t+1} \mathbf {c}_t \ge  \mathbf {p}_{t+1} \mathbf {c}_{t1}\) and \( \mathbf {p}_t \mathbf {c}_{t1} \ge  \mathbf {p}_t \mathbf {c}_t\) by (Cu) since \(u(\mathbf {c}_t) = u(\mathbf {c}_{t1})\), and \(\mathbf {p}_{t+1} (\mathbf {c}_t + \mathbf {k}_{t+1})  \mathbf {p}_t \mathbf {k}_t \, \ge \, \mathbf {p}_{t+1} (\mathbf {c}_{t1} + \mathbf {k}_t)  \mathbf {p}_t \mathbf {k}_{t1}\) and \(\mathbf {p}_t (\mathbf {c}_{t1} + \mathbf {k}_t)  \mathbf {p}_{t1} \mathbf {k}_{t1} \, \ge \, \mathbf {p}_t (\mathbf {c}_t + \mathbf {k}_{t+1})  \mathbf {p}_{t1} \mathbf {k}_t\) by (C\(\pi \)). Therefore, for all \(t \ge 1\),
by (2). Thus, results (3)–(6) are obtained also in this more general model, provided that properties (i) and (ii) can be established. Demonstrating under which conditions on \(\mathcal{T}\) and \(u(\cdot )\) these properties hold is beyond the scope of the present paper.
Concluding remarks
We have shown how the converse of Hartwick’s result obtains in a discretetime version of the Dasgupta–Heal–Solow model of capital accumulation and resource depletion under weak assumptions on the technology. We have established this result under the proviso that the valuation of net investments is made using a valuation rule that is intermediate between early and late pricing.
In the continuoustime DHS model, early and late pricing coincides and, as shown by Mitra (2002) in a general continuoustime model, the converse of Hartwick’s rule holds as an exact result: If there exists an efficient and egalitarian path \((k(\tau ),m(\tau ),\) \(c(\tau ))\) from \((k,m) \in \mathbb{R}_{++}^2\), then the path is interior and competitive at associated prices \((p(\tau ),q(\tau ))\). Furthermore, \(q(\tau )\) is a positive constant which can be normalized to 1, \(p(\tau )>0\) decreases as \(\tau \) increases, \(\dot{k}(\tau )>0\) for \(\tau \ge 0\), and:
Let \(t\in \{0,1,2,...\}\). Since \(\dot{k}(\tau ) > 0\) for all \(\tau \ge 0\), it is possible to define p as the weighted mean of the competitive capital prices in the interval \([t, \, t+1]\), where the weights are given by the rates of capital investment:
Then, by using (11) and noting that \(\int _{t}^{t+1}\dot{k}(\tau )\mathrm{d}\tau = k(t+1)  k(t)\) and \(\int _{t}^{t+1}\dot{m}(\tau )\mathrm{d}\tau = m(t+1)  m(t)\), we obtain:
Thus, our discretetime converse of Hartwick’s result holds when p in (13) is precisely the weighted mean of the competitive prices in the interval \([t,\,t+1]\), as given by (12). Furthermore, since \(p(\tau )\) is decreasing in \(\tau \), we will have \(p\in [p(t+1),\,p(t)]\). Finally, the mean value theorem of integral calculus will ensure (under continuity of the functions \(p(\tau )\) and \(\dot{k}(\tau )\)) that there is in fact a point of time \(s \in [t,\,t+1]\) such that the competitive price at s, p(s), equals p as given by (12).
The question remains whether some variant of Hartwick’s result can established in the discretetime setting: Is it the case that if along an efficient path Hartwick’s rule is followed forever, then an egalitarian path will be implemented?
If the efficient path is interior (so that capital and resource use are positive in each time period), then it follows by the proof of Proposition 2 and Corollary 3 that the path is competitive. Therefore, we obtain the following analogs to (5) and (6) for a path that is not necessarily egalitarian:
Thus, keeping the value of net investments constant in the presentvalue prices determined by (P) leads to nonincreasing consumption if early pricing is applied, and nondecreasing consumption if late pricing is applied. The latter result can be rephrased as saying that keeping the value of net investments constant in terms of late pricing ensures “sustained development,” as defined by Pezzey (1997). Keeping the value of net investments in presentvalue prices constant (but not necessarily equal to zero) corresponds to the socalled Dixit–Hammond–Hoel rule (Dixit et al. 1980).
One can now proceed to show that keeping the value of net investments in early pricing constant and negative forever contradicts feasibility of the path, and investigate the assumptions under which keeping the value of net investments in late pricing constant and positive forever contradicts efficiency of the path. However, as we have seen from the main result of this paper, even though an efficient and egalitarian path is characterized by a nonnegative competitive value of net investments in early pricing and a nonpositive competitive value of net investments in late pricing, these measures of net investments will not remain constant. Rather, a mixture of these measures, determined by the efficient and egalitarian path and being specific to each time period, remains constant and equal to zero in each time period.
Thus, neither the value of net investments in early pricing nor the value of net investments in late pricing value can be used to steer the economy along a path that is exactly egalitarian. In addition, there is the problem that appears also in the continuoustime setting of determining the initial rate of resource use, so that the egalitarian path exhausts the resource precisely in the limit when time is approaching infinity. Clearly, exhaustion in finite time would lead to infeasibility, while letting part of the resource stock which remains unutilized would lead to inefficiency.
Hence, the problems that arise also in continuous time—limiting the applicability of Hartwick’s rule as a prescriptive rule for sustainability—remains also in the discretetime setting. In addition, with discrete time, as we have seen from the main result of this paper, the exact relative price between capital and resource to be applied in each time period is derived from the efficient and egalitarian path. Thus, in discrete time it seems challenging to use Hartwick’s rule to steer the economy along an efficient and egalitarian path.
Availability of data and materials (data transparency)
Not applicable.
Notes
 1.
In the viability approach (Aubin 1991), the set S(c) is referred to as the viability kernel, a concept which is applied in the continuoustime DHS model by Martinet and Doyen (2007) and Doyen and Martinet (2012) and in discrete time by Doyen and Gajardo (2019). Furthermore, the price pair \((P_t,Q_t)\) established in Proposition 1 corresponds to an element in the normal cone to the viability kernel S(c) at \((k_t,m_t)\).
 2.
Mitra (1978) showed that an interior and efficient path has finite consumption value if resource use has a functional share of output that is bounded away from zero. Hence, under this additional assumption, an efficient and egalitarian path with \(c_t = c > 0\) for all \(t \ge 0\) would satisfy (b).
References
Aubin, J.P.: Viability Theory. Birkhäuser, Basel (1991)
Arrow, K.J., Hurwicz, L., Uzawa, H.: Constraint qualifications in maximization problems. Nav. Res. Logist. Q. 8, 175–191 (1961)
Asheim, G.B.: Hartwick’s rule. In: Shogren, J. (ed.) Encyclopedia of Energy, Natural Resource and Environmental Economics, vol. 2, pp. 314–320. Elsevier, Amsterdam (2013)
Asheim, G.B., Buchholz, W., Withagen, C.: Hartwick’s rule: myths and facts. Environ. Resour. Econ. 25, 129–150 (2003)
Buchholz, W., Dasgupta, S., Mitra, T.: Intertemporal equity and Hartwick’s rule in an exhaustible resource model. Scand. J. Econ. 107, 547–561 (2005)
Burmeister, E., Hammond, P.: Maximin paths of heterogeneous capital accumulation and the instability of paradoxical steady states. Econometrica 45, 853–870 (1977)
Cass, D., Mitra, T.: Indefinitely sustained consumption despite exhaustible natural resources. Econ. Theory 1, 119–146 (1983)
Dasgupta, P.S., Heal, G.M.: The optimal depletion of exhaustible resources. Rev. Econ. Stud. 41(Symposium), 3–28 (1974)
Dasgupta, S., Mitra, T.: Intergenerational equity and efficient allocation of exhaustible resources. Int. Econ. Rev. 24, 133–153 (1983)
Dixit, A., Hammond, P., Hoel, M.: On Hartwick’s rule for regular maximin paths of capital accumulation and resource depletion. Rev. Econ. Stud. 47, 551–556 (1980)
Doyen, L., Gajardo, P.: Sustainability standards, multicriteria maximin, and viability. Nat. Resour. Model. (2019). https://doi.org/10.1111/nrm.12250
Doyen, L., Martinet, V.: Maximin, viability and sustainability. J. Econ. Dyn. Control 36, 1414–1430 (2012)
Fleurbaey, M.: On sustainability and social welfare. J. Environ. Econ. Manag. 71, 34–53 (2015)
Hartwick, J.M.: Intergenerational equity and investing rents from exhaustible resources. Am. Econ. Rev. 66, 972–974 (1977)
Malinvaud, E.: Capital accumulation and efficient allocation of resources. Econometrica 21, 233–268 (1953)
Martinet, V., Doyen, L.: Sustainability of an economy with an exhaustible resource: a viable control approach. Resour. Energy Econ. 29, 17–39 (2007)
Mitra, T.: Efficient growth with exhaustible resources in a neoclassical model. J. Econ. Theory 17, 114–129 (1978)
Mitra, T.: Intertemporal equity and efficient allocation of resources. J. Econ. Theory 107, 356–376 (2002)
Mitra, T., Asheim, G.B., Buchholz, W., Withagen, C.: Characterizing the sustainability problem in an exhaustible resource model. J. Econ. Theory 148, 2164–2182 (2013)
Nikaido, H.: Convex Structures and Economic Theory. Academic Press, New York (1968)
Pezzey, J.C.V.: Sustainability constraints versus “optimality” versus intertemporal concern, and axioms versus data. Land Econ. 73, 448–466 (1997)
Rudin, W.: Principles of Mathematical Analysis, 3rd edn. McGrawHill, New York (1976)
Solow, R.M.: Intergenerational equity and exhaustible resources. Rev. Econ. Stud. 41(Symposium), 29–45 (1974)
Withagen, C., Asheim, G.B.: Characterizing sustainability: the converse of Hartwick’s rule. J. Econ. Dyn. Control 23, 159–165 (1998)
Acknowledgements
Thanks go to two anonymous reviewers for insightful comments, Wolfgang Buchholz, John Hartwick and Vincent Martinet for helpful discussions, and participants at SURED 2018, the 25th Ulvön Conference on Environmental Economics, and a seminar at l’Université du Québec à Montréal for useful remarks. This paper is part of the research activities at the Centre for the Study of Equality, Social Organization, and Performance (ESOP) at the Department of Economics at the University of Oslo. Asheim’s research has benefitted from stays at IMéRA–Marseille, CIREQ–Montréal, and Paris School of Economics.
Funding
Open access funding provided by Oslo University & Oslo University Hospital
Author information
Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Asheim declares no conflicts of interest and no competing interests. Mitra is deceased; Asheim does not know of any conflicts of interest or any competing interests in his case.
Code availability (software application or custom code)
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Proofs
Appendix: Proofs
Proof of Lemma 1
(a) Assume that \(\{k_t,m_t,c_t\}\) is nonwasteful and satisfies Hotelling’s rule. Let \(t \ge 0\) be an arbitrary time period and let \(\left( (k,m),(y,m')\right) \in \mathcal{T}\). Then, denoting \(m  m'\) by r and \(m_t  m_{t+1}\) by \(r_t\), we have \(r \ge 0\) and:
where we have used nonwastefulness of \(\{k_t,m_t,c_t\}\) in the first line of (16), and (G1) and (G3) in the second line of (16).
Dividing through in (16) by \(G_r(k_t,r_t)\) and using (H) and (P), we get:
Transposing terms in (17), we obtain that (C) is satisfied:
(b) Assume that \(\{k_t,m_t,c_t\}\) is competitive with associated nonnull sequence \(\{p_t,q_t\}\) of nonnegative price pairs.
First, we establish that \(q_{t+1} = q_t\) for all \(t \ge 0\). To show this, note that
for all \(\varepsilon \ge m_{t+1}\) (\(< 0\)), where \(t \ge 0\) is an arbitrary time period. Furthermore,
where the inequality might be strict if \(\{k_t,m_t,c_t\}\) is not nonwasteful. By choosing \(\varepsilon > 0\), the competitiveness of \(\{k_t,m_t,c_t\}\) is contradicted if \(q_{t+1} > q_t\). And likewise, by choosing \(\varepsilon < 0\), the competitiveness of \(\{k_t,m_t,c_t\}\) is contradicted if \(q_{t+1} < q_t\). Hence, \(q_t = q \ge 0\) for all \(t\ge 0\).
Second, we observe that
since \(p_{t+1}y_t > p_{t+1} \left( G(k_t,m_t  m_{t+1}) + k_t \right) \) is infeasible and \(p_{t+1}y_t < p_{t+1} \left( G(k_t,m_t  m_{t+1}) + k_t \right) \) would contract the competitiveness of \(\{k_t,m_t,c_t\}\) as
Denoting \(mm'\) by r and \(m_t  m_{t+1}\) by \(r_t\), it follows from (18) and the competitiveness of \(\{k_t,m_t,c_t\}\) that, for all \(t \ge 0\):
Since the path \(\{k_t,m_t,c_t\}\) is interior, we have that \((k_t,r_t) \in \mathbb{R}_{++}^2\) for all \(t \ge 0\). The firstorder conditions for the maximization in (19) imply:
If \(q=0\), then (21) implies that \(p_{t+1} = 0\) for all \(t \ge 0\) (by using (G3)), and \(p_0 = 0\) by (20). However, this contradicts the fact that the sequence \(\{p_t,q_t\}\) is nonnull. Thus, \(q>0\), and we normalize by letting \(q=1\). Furthermore, it follows from (20) and (21) that \(\{p_t,q_t\}\) is given by (P) and that this sequence is unique up to a positive linear transformation. In particular, \(p_t > 0\) for all \(t \ge 0\) (using (G3)), implying that nonwastefulness follows directly from (18). Finally, (20) and (21) imply that
showing that (H) holds. \(\square \)
Proof of Corollary 1
We have that the price sequence \(\{p_t\}\) is decreasing since
by (20) and (G3) and the fact that \(\{k_t,m_t,c_t\}\) is interior. \(\square \)
Proof of Lemma 2
Fix an arbitrary \(t \ge 0\).
Assume that there exists \(\{k'_\tau ,m'_\tau ,c'_\tau \} \in \mathcal{F}(k',m')\) with \(c'_\tau \ge c\) for all \(\tau \ge 0\), where \(k' < k_t\) and \(m' \le m_t\). Construct \(\{k''_\tau ,m''_\tau ,c''_\tau \} \in \mathcal{F}(k_t,m_t)\) by letting
It follows from (G1) that \(c''_0 = G(k_t,m_tm'_1) + k_t  k'_1 > G(k',m'm'_1) + k'  k'_1 \ge c'_0 \ge c = c_t\), since \(k' < k_t\) and \(m' \le m_t\), while \(c''_\tau = c'_\tau \ge c = c_{t+\tau }\) for all \(\tau \ge 1\). This contradicts the fact that \(\{k_t,m_t,c_t\}\) is efficient.
Next, assume that there exists \(\{k'_\tau ,m'_\tau ,c'_\tau \} \in \mathcal{F}(k',m')\) with \(c'_\tau \ge c\) for all \(t \ge 0\), where \(k' \le k_t\) and \(m' < m_t\). By (G2), \(k' > 0\), since otherwise \(c'_\tau = 0 < c\) for all \(t \ge 0\). Construct \(\{k''_\tau ,m''_\tau ,c''_\tau \} \in \mathcal{F}(k_t,m_t)\) by letting
It follows from (G3) that \(c''_0 = G(k_t,m_tm'_1) + k_t  k'_1 > G(k',m'm'_1) + k'  k'_1 \ge c'_0 \ge c = c_t\), since \(k' \le k_t\) and \(m' < m_t\), while \(c''_\tau = c'_\tau \ge c = c_{t+\tau }\) for all \(\tau \ge 1\). This contradicts the fact that \(\{k_t,m_t,c_t\}\) is efficient. \(\square \)
Proof of Corollary 2
Since by feasibility we have \(m_{t+1}\le m_{t},\) it follows from Lemma 2 that \(k_{t+1}\ge k_{t},\) and consequently \(G(k_{t},m_{t}m_{t+1})\ge c>0.\) By (G2), we must have \(k_{t}>0\) and \(m_{t}>m_{t+1},\) so that \(\{k_{t},m_{t},c_{t}\}\) is interior. Furthermore, by Lemma 2, \(k_{t+1}=k_{t}\) is ruled out, so we must have \(k_{t+1}>k_{t}\). \(\square \)
Proof of Lemma 3
Assume that \((k',m')\) and \((k'',m'')\) are both in S(c). Hence, there exist \(\{k'_t,m'_t,c'_t\} \in \mathcal{F}(k',m')\) with \(c'_t \ge c\) for all \(t \ge 0\) and \(\{k''_t,m''_t,c''_t\} \in \mathcal{F}(k'',m'')\) with \(c''_t \ge c\) for all \(t \ge 0\). Let \(\lambda \in (0,1)\), and define \(\{k'''_t,m'''_t,c'''_t\}\) for all \(t \ge 0\) by
Since \(c'''_t = \lambda c'_t + (1\lambda ) c''_t \ge \lambda c + (1\lambda ) c = c\) for all \(t \ge 0\), it suffices to show that \(c'''_t + k'''_{t+1} \le G(k'''_t,m'''_tm'''_{t+1}) + k'''_t\) for all \(t \ge 0\). This holds since:
where the second inequality follows since, by (G1), G is concave. \(\square \)
Proof of Proposition 1
Fix an arbitrary \(t\ge 0\) and define:
Clearly, \(R_t\) is a convex subset of \(\mathbb{R}^{2},\) and since S(c) is a convex subset of \(\mathbb{R}^{2}\) by Lemma 3, so is D. Suppose \(D \cap \mathbb{R}_{++}^2 \ne \emptyset \). Then there would exist \((k'',m'')\in R_t\) and \((k',m')\in S(c)\) such that \((k'',m'') \gg (k',m')\). Since \((k'',m'') \le (k_{t},m_{t})\), this means there would exist \((k',m')\in S(c)\) with \((k',m') \ll (k_{t},m_{t})\), which is impossible by Lemma 2. Thus, we can apply the separation theorem 3.5 in Nikaido (1968, p. 35) to assert that there exists \((P_{t},Q_{t})\in \mathbb{R}_{+}^{2}\), with \((P_{t},Q_{t})\) nonnull, such that:
This means that for all \((k'',m'') \in R_t\) and \((k',m')\in S(c)\), we must have:
Since \((k_{t},m_{t})\in R(t)\), we must have:
This establishes the proposition.\(\square \)
Proof of Proposition 2
If \(c_s + k_{s+1} < G(k_s, m_s  m_{s+1}) + k_s\) for some \(s \ge 0\), then consumption can be increased at time s without changing consumption at any other time \(t \ge 0\). This contradicts the fact that \(\{k_t,m_t,c_t\}\) is efficient. Hence, \(c_s + k_{t+1} = G(k_t, m_t  m_{t+1}) + k_t\) for all \(t \ge 0\), showing that \(\{k_t,m_t,c_t\}\) is nonwasteful.
Since \(m_t\) is nonincreasing in t, and nonnegative, the sequence \(\{m_t\}\) has a nonnegative limit: \(\lim _{t \rightarrow \infty }m_t \ge 0\). Suppose \(\lim _{t \rightarrow \infty }m_t > 0\). Then resource use can be increased at some time \(s \ge 0\) without changing resource use at any other time \(t \ge 0\). By (G3) and the fact that \(\{k_t,m_t,c_t\}\) is interior, production and therefore consumption can be increased at time s, without changing consumption at any other time \(t \ge 0\); this contradicts the fact that \(\{k_t,m_t,c_t\}\) is efficient. Hence, we must have \(\lim _{t \rightarrow \infty }m_t = 0\), showing that \(\{k_t,m_t,c_t\}\) satisfies resource exhaustion.
By Corollary 2, \(\{k_t,m_t,c_t\}\) is interior, so it only remains to show that (H) holds. Fix an arbitrary \(t\ge 0\). Denote \(m_t  m_{t+1}\) by \(r_t\) and \(m_{t+1}  m_{t+2}\) by \(r_{t+1}\). The triple \(\left( k_{t+1}, r_t , r_{t+1} \right) \) clearly minimizes the sum \(r'_t + r'_{t+1}\) of resource use in time periods t and \(t+1\) over all triples \(\left( k'_{t+1}, r'_t, r'_{t+1} \right) \gg 0\) that satisfy the set of constraints:
For if there is a triple \((k_{t+1}',r_{t}',r_{t+1}') \gg 0\) which satisfies this set of constraints, and \(\varepsilon := (r_{t}+r_{t+1})(r_{t}' +r_{t+1}')>0\), then \((k,m\varepsilon ) \in S(c)\), and this has been shown to be impossible by Lemma 2.
Clearly, \((k_{t+1},r_{t},r_{t+1}) \gg 0\) satisfies each of the constraints in this set with equality (since \(\{k_{t},m_{t},c_{t}\}\) is nonwasteful). Therefore, \((k_{t+1}',r_{t}',r_{t+1}') := (k_{t+1},r_{t}+\theta , r_{t+1}+\theta )\) satisfies each of the constraints with strict inequality (by (G3)), so that Slater’s condition is satisfied. Since G is concave (by (G1)), we can invoke the version of the Kuhn–Tucker theorem due to Arrow et al. (1961) to assert that there exist \((p_{t+1},p_{t+2})\in \mathbb{R}_{+}^{2}\) such that the following firstorder conditions hold:
Since \(\{k_{t},m_{t},c_{t}\}\) is interior, we can use (G3) and the second and third equations above to infer that \((p_{t+1},p_{t+2})\in \mathbb{R}_{++}^{2}\). Now, the above set of equations yields:
Since \(t\ge 0\) is arbitrary, this establishes (H). \(\square \)
Proof of Proposition 3
Fix an arbitrary \(t\ge 0.\) Define \(X = \{(k',m') \in \mathbb{R}^{2} : k'> 0, m' > m_{t+1} \}\), and let \(x: X \rightarrow \mathbb{R}\) determine the excess of consumption in time period t relative to c, if the stock vector \((k',m')\) at time t is transformed to the stock vector \((k_{t+1},m_{t+1})\) at time \(t+1\) in a nonwasteful manner:
Then, X is an open set in \(\mathbb{R}^{2}\) and x is continuously differentiable on X (by (G3)). Furthermore, since \(\{k_{t},m_{t},c_{t}\}\) is nonwasteful by Proposition 2, we have \(x(k_{t},m_{t})=0\). Note that by interiority of \(\{k_{t},m_{t},c_{t}\}\) and (G3),
Hence, we can invoke the implicit function theorem (see Rudin 1976, Theorem 9.28, pp. 224–5) to assert that there is an open interval A containing \(k_{t},\) and a unique function \(m:A\rightarrow \mathbb{R}\) which, for each \(k' \in A\), determines the smallest resource stock \(m(k') = m'\) enabling consumption to equal c at time t when \((k',m')\) at time t is transformed to \((k_{t+1},m_{t+1})\) at time \(t+1\). In effect, the function m maps the frontier of the set \(S_t(c)\), as defined by (2), in a neighborhood of \((k_t,m_t)\). We have:

(i)
\((k', m(k'))\in X\) and \(x(k', m(k')) = 0\) for all \(k' \in A\),

(ii)
\(m(k_t) = m_t\),

(iii)
m is continuously differentiable on A.
Using (i) and (iii), we have: \(x_k(k_t, m(k_t)) + x_m(k_t, m(k_t)) \cdot m'(k_t) = 0\). And, using (ii) and the definition of x, we obtain:
We obtain \((k', m(k')) \in S(c)\) for all \(k' \in A\) by combining (a) the property that, for each \(k' \in A\), \(m(k')\) enables consumption to equal c at time t when \((k',m(k'))\) at time t is transformed to \((k_{t+1},m_{t+1})\) at time \(t+1\) with (b) the fact that \((k_{t+1},m_{t+1})\in S(c)\). Using Proposition 1, we can therefore write:
Since A is an open set, the following firstorder condition must hold:
which, using (22), yields:
Thus, since \((P_t,Q_t)\) is nonnull and nonnegative, we have \((P_t,Q_t) \in \mathbb{R}_{++}^2\) and:
by (P), thereby establishing the result. \(\square \)
Proof of Proposition 4
By Corollary 2, \(\{k_t,m_t,c_t\}\) is interior. Hence, by (P), it remains to show that \(\lim _{t \rightarrow \infty }p_tk_t = 0\). We show this by first establishing an intermediate claim.
Claim: \(\lim _{t \rightarrow \infty }p_t = 0\). Let \(t \ge 1\). Then:
where the first inequality follows since, by Corollaries 1 and 2, the price sequence \(\{p_t\}\) is decreasing and the capital sequence \(\{k_t\}\) is increasing, and the second inequality follows from (3). Now, \(\lim _{t \rightarrow \infty }p_t = 0\) follows since, by the proof of Theorem 1, \(\lim _{t \rightarrow \infty }k_t = \infty \).
To establish \(\lim _{t \rightarrow \infty }p_tk_t = 0\), it is sufficient to show that, for all \(\epsilon > 0\), there exists \(s' \ge 0\) such that \(p_tk_t \le \varepsilon \) for all \(t \ge s'\). As \(\lim _{t \rightarrow \infty }m_t = 0\) by Proposition 2, there exists \(s \ge 0\) such that \(m_s \le \varepsilon /2\). By the claim, there exists \(s' > s\) such that \(p_tk_s \le \varepsilon /2\) for all \(t \ge s'\). Since, as in the claim,
for all \(t > s\), it follows from the choice of s and \(s'\) that
for all \(t \ge s'\), thereby establishing the capitalvalue transversality condition.\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Asheim, G.B., Mitra, T. Characterizing sustainability in discrete time. Econ Theory 71, 461–481 (2021). https://doi.org/10.1007/s00199020012508
Received:
Accepted:
Published:
Issue Date:
Keywords
 Intergenerational equity
 Sustainable development
 Hartwick’s rule
JEL Classification
 D63
 O41
 Q01