## Abstract

We examine the investment rule that must be satisfied by an efficient and egalitarian path in a discrete-time version of the Dasgupta–Heal–Solow model of capital accumulation and resource depletion. In the discrete-time 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 continuous-time 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 well-being.

These contributions show how Hartwick’s rule for sustainability corresponds to paths which keep well-being constant (are *egalitarian*) and where well-being 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 one-sector 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 time-dependent 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 well-being survives in a discrete-time setting. This question was already raised by Dasgupta and Mitra (1983) in a discrete-time 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 non-vanishing 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 well-being 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 well-being 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 non-trivial 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 non-positive 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 non-vanishing 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 one-sector 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 one-sector 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 discrete-time 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 continuous-time process. This perspective allows us to relate our adaptation of Hartwick’s rule to discrete time to the continuous-time 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 discrete-time 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 discrete-time formulation of the economic dynamics, following Mitra (1978) and Dasgupta and Mitra (1983). We refer to this as the discrete-time DHS model.

Denote by *k* the stock of the augmentable capital good (which is assumed to be non-depreciating), 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 well-being—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, non-decreasing, 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 non-vanishing 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

*non-wasteful*if \(y_t = G(k_t,m_t-m_{t+1}) + k_t\) for all \(t \ge 0\),is

*competitive*if there is a non-null 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_t-m_{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

*capital-value 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_t-m_{t+1})+1}{G_r(k_t,m_t-m_{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 discrete-time 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 non-wasteful 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 non-wasteful 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 present-value 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 discrete-time setting.

###
**Definition 1**

*(Hartwick’s rule in the discrete-time 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 non-trivial, we assume that:

- (E)
The set \(\Omega \) is non-empty,

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 one-sector 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 discrete-time DHS model. Mitra et al. (2013, Theorems 1 and 2) establish such sufficient and necessary conditions in the continuous-time DHS model. In the discrete-time 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 non-null 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 non-wasteful 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* 1*is 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 non-increasing, and the value of net investments*, \(L_t\), *measured in late pricing is non-positive and non-decreasing. 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 re-arranging and using the fact that \(\{k_t,m_t,c_t\}\) is egalitarian (so that \(c_t = c_{t-1}\) 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 non-positive and non-decreasing. Likewise, by (4) and (6), the value of net investments, \(E_t\), measured in early pricing is nonnegative and non-increasing.

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 non-positive and non-decreasing and \(E_t\) is nonnegative and non-increasing, 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_t-m_{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 capital-value transversality condition.*

It is noteworthy that the capital-value 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 capital-value 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 continuous-time 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 2*n*-dimensional 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 present-value 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}_{t-1}\) and \(- \mathbf {p}_t \mathbf {c}_{t-1} \ge - \mathbf {p}_t \mathbf {c}_t\) by (C*u*) since \(u(\mathbf {c}_t) = u(\mathbf {c}_{t-1})\), 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}_{t-1} + \mathbf {k}_t) - \mathbf {p}_t \mathbf {k}_{t-1}\) and \(\mathbf {p}_t (\mathbf {c}_{t-1} + \mathbf {k}_t) - \mathbf {p}_{t-1} \mathbf {k}_{t-1} \, \ge \, \mathbf {p}_t (\mathbf {c}_t + \mathbf {k}_{t+1}) - \mathbf {p}_{t-1} \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 discrete-time 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 continuous-time DHS model, early and late pricing coincides and, as shown by Mitra (2002) in a general continuous-time 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 discrete-time 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 discrete-time 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 present-value prices determined by (P) leads to non-increasing consumption if early pricing is applied, and non-decreasing 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 present-value prices *constant* (but not necessarily equal to zero) corresponds to the so-called 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 non-positive 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 continuous-time 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 discrete-time 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 continuous-time 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. McGraw-Hill, 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

Open Access funding provided by the University of Oslo. 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

No funding was received.

## Author information

## 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 non-wasteful 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 non-wastefulness 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 non-null 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 non-wasteful. 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 \(m-m'\) 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 first-order 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 non-null. 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 non-wastefulness 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_t-m'_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_t-m'_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'''_t-m'''_{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})\) non-null, 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 non-wasteful.

Since \(m_t\) is non-increasing 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 non-wasteful). 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 first-order 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 non-wasteful 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 non-wasteful 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 first-order condition must hold:

which, using (22), yields:

Thus, since \((P_t,Q_t)\) is non-null 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 capital-value 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* (2020). https://doi.org/10.1007/s00199-020-01250-8

Received:

Accepted:

Published:

### Keywords

- Intergenerational equity
- Sustainable development
- Hartwick’s rule

### JEL Classification

- D63
- O41
- Q01