Abstract
What ethical criterion for intergenerational justice should be adopted, e.g., when faced with the task of managing the global environment? Koopmans ’ axiomatization of discounted utilitarianism is based on seemingly compelling conditions, yet this criterion leads to hard-to-justify outcomes. The present analysis considers a class of sustainable recursive social welfare functions within Koopmans ’ general framework. This class is axiomatized by means of a weak equity condition (“Hammond Equity for the Future”) and general existence is established. Any member of the class satisfies the key axioms of Chichilnisky’s ’s “sustainable preferences”. The analysis singles out one of Koopmans’ original separability conditions (his Postulate \(3'\)a), here called “Independent Present”, as particularly questionable from an ethical perspective.
We are grateful for helpful discussions with Wolfgang Buchholz, and many constructive comments by anonymous referees, Larry Blume, Walter Bossert, Graciela Chichilnisky, John Hartwick, Aanund Hylland, Larry Karp, Luc Lauwers, Mohamed Mabrouk, Marco Mariotti, Tomoichi Shinotsuka, Yves Sprumont, Kotaro Suzumura, Peter Wakker and seminar participants at Cornell University, Queen’s University, Universität Heidelberg, Universität Osnabrück, Université catholique de Louvain and Université de Montréal. Asheim thanks Cornell University and University of California at Santa Barbara for hospitality. This paper is part of the research activities at the center of Equality, Social Organization, and Performance (ESOP) at the Department of Economics at the University of Oslo. ESOP is supported by the Research Council of Norway.
Reprinted with kind permission from the Authors: Originally published in Economic Theory, Volume 49, Number 2, February 2012 DOI 10.1007/s00199-010-0573-7.
You have full access to this open access chapter, Download chapter PDF
Similar content being viewed by others
Keywords
JEL Classification
1 Introduction
How should we treat future generations? From a normative point of view, what are the present generation’s obligations towards the future? What ethical criterion for intergenerational justice should be adopted if one seeks to respect the interests of future generations? Answering such questions is essential when faced with the task of managing the global environment, e.g., in the context of climate change.Footnote 1
These questions can be approached and answered in at least two ways:
-
1.
Through an axiomatic analysis one can investigate on what ethical conditions various criteria for intergenerational justice are based, and then proceed to evaluate the normative appeal of these conditions.
-
2.
By considering different technological environments, one can explore the consequences of various criteria for intergenerational justice, and compare the properties of the intergenerational well-being streams that are generated.
It is consistent with Rawls (1971) reflective equilibrium to do both: criteria for intergenerational justice should be judged both by the ethical conditions on which they build and by their consequences in specific technological environments. In particular, we may question the appropriateness of a criterion for intergenerational justice if it produces unacceptable outcomes in relevant technological environments. This view has been supported by many scholars, including Koopmans (1967), [Dasgupta and Heal 1979, p. 311], and [Atkinson 2001, p. 206].
When evaluating long-term policies, economists usually suggest to maximize the sum of discounted utilities. On the one hand, such discounted utilitarianism has been given a solid axiomatic foundation by Koopmans (1960).Footnote 2 On the other hand, this criterion has ethically questionable implications when applied to economic models with resource constraints. This is demonstrated by Dasgupta and Heal (1974) in the so-called Dasgupta-Heal-Solow (DHS) model of capital accumulation and resource depletion (Dasgupta and Heal 1974, 1979; Solow 1974), where discounted utilitarianism for any positive discount rate undermines the well-being of generations in far future, even if sustainable streams with non-decreasing well-being are feasible.
In this paper we revisit Koopmans (1960) framework, with numerical representability, sensitivity and stationarity as its key features. In Sect. 2 we consider conditions that are sufficient to numerically represent the social welfare relation by means of a recursive social welfare function satisfying sensitivity, stationarity and a condition requiring that the evaluation of two streams with the same present well-being not depend on what that level of well-being is, thereby echoing the analysis of [Koopmans 1960, Sects. 3–7]. In this framework we introduce an equity condition we call “Hammond Equity for the Future”, capturing the following ethical intuition: A sacrifice by the present generation leading to a uniform gain for all future generations cannot lead to a less desirable stream of well-being if the present remains better-off than the future even after the sacrifice.Footnote 3
In Sect. 3 we point out that “Hammond Equity for the Future” is weak, as it is implied by all the standard consequentialist equity conditions suggested in the literature. We show that adding this condition leads to a class of sustainable recursive social welfare functions, where the well-being of the present generation is taken into account if and only if the future is better-off. Furthermore, we establish general existence by means of an algorithmic construction. Finally, we show that any member of this class of sustainable recursive social welfare functions satisfies the key axioms of Chichilnisky’s (1996) “sustainable preferences”, namely “No Dictatorship of the Present” and “No Dictatorship of the Future”.Footnote 4
In Sect. 4 we offer results that identify which of the conditions used by Koopmans (1960) to axiomatize discounted utilitarianism is particularly questionable from an ethical perspective. The condition in question, referred to as “Independent Present” by us and listed as Postulate \(3'\)a by [Koopmans 1960, Sect. 14], requires that the evaluation of two streams which differ during only the first two periods not depend on what the common continuation stream is. It is only by means of “Independent Present” that [Koopmans 1960, Sect. 14] moves beyond the recursive form to arrive at discounted utilitarianism, since this condition allows for additively separable representations when combined with stationarity and the requirement that the evaluation of two streams with the same present well-being not depend on what that level of well-being is (Debreu 1960; Gorman 1968a; Koopmans 1986a).
We suggest in Sect. 4 that “Independent Present”—which in the words of Heal (2005) is “restrictive” and “surely not innocent”—may not be supported by ethical intuition, as it is not obvious that the resolution of a conflict between the first two generations should be independent of how their well-being compares to the well-being of later generations. In our formal analysis we single out “Independent Present” as the culprit by showing that the addition of this condition contradicts both “Hammond Equity for the Future” and the Chichilnisky’s (1996) conditions.
In Sect. 5 we apply sustainable recursive social welfare functions for studying optimal harvesting of a renewable resource that yields amenities. In a companion paper (Asheim and Mitra 2010) it is demonstrated how such functions can be used to solve the distributional conflicts in the DHS model. In both settings, our new criterion yields consequences that differ from those of discounted utilitarianism.
Koopmans (1960) has often been interpreted as presenting the definitive case for discounted utilitarianism. In Sect. 6 we discuss how our results contribute to a weakening of this impression, by exploring other avenues within the general setting of his approach. We also investigate the scope for our new equity condition “Hammond Equity for the Future” outside the Koopmans (1960) framework by not imposing that the social welfare relation is numerically representable.
All lemmas and proofs are relegated to an appendix.
2 Formal Setting and Basic Result
Let \(\mathbb {R}\) denote the set of real numbers and \(\mathbb {Z}_+\) the set of non-negative integers. Denote by \({}_0\mathbf {x} = (x_0, x_1, \dots , x_t, \dots , )\) an infinite stream, where \(x_t \in Y\) is a one-dimensional indicator of the well-being of generation t, and \(Y \subseteq \mathbb {R}\) is a non-degenerate interval of admissible well-beings.Footnote 5 We will consider the set \(\mathbf {X}\) of infinite streams bounded in well-being (see Koopmans 1986b, p. 89); i.e., \(\mathbf {X}\) is given by
By setting \(Y = [0,1]\), this includes the important special case where \(\mathbf {X} = [0,1]^{\mathbb {Z}_+}\). However, the formulation allows for cases where Y is not compact.
Denote by \({}_0\mathbf {x}_{T-1} = (x_0, x_1, \dots , x_{T-1})\) and \(_T\mathbf {x} = (x_T, x_{T+1}, \dots , x_{T+t}, \dots , )\) the T-head and the T-tail of \({}_0\mathbf {x}\). Write \(_{\text {con}}z = (z, z, \dots )\) for the stream of a constant level of well-being equal to \(z \in Y\). Throughout this paper we assume that the indicator of well-being is at least ordinally measurable and level comparable across generations; Blackorby et al. (1984) call this “level-plus comparability”.
For all \({}_0\mathbf {x}\), \({}_0\mathbf {y} \in \mathbf {X}\), we write \({}_0\mathbf {x} \, \ge \, {}_0\mathbf {y}\) if and only if \(x_t \ge y_t\) for all \(t \in \mathbb {Z}_+\), \({}_0\mathbf {x} \, > \, {}_0\mathbf {y}\) if and only if \({}_0\mathbf {x} \, \ge \, {}_0\mathbf {y}\) and \({}_0\mathbf {x} \, \ne \, {}_0\mathbf {y}\), and \({}_0\mathbf {x} \, \gg \, {}_0\mathbf {y}\) if and only if \(x_t > y_t\) for all \(t \in \mathbb {Z}_+\).
A social welfare relation (swr) is a binary relation \(\succsim \) on \(\mathbf {X}\), where for all \({}_0\mathbf {x}\), \({}_0\mathbf {y} \in \mathbf {X}\), \({}_0\mathbf {x} \, \succsim \, {}_0\mathbf {y}\) stands for \(({}_0\mathbf {x}, \, {}_0\mathbf {y}) \in \; \succsim \) and entails that \({}_0\mathbf {x}\) is deemed socially at least as good as \({}_0\mathbf {y}\). Denote by \(\sim \) and \(\succ \) the symmetric and asymmetric parts of \(\succsim \); i.e., \({}_0\mathbf {x} \, \sim \, {}_0\mathbf {y}\) is equivalent to \({}_0\mathbf {x} \, \succsim \, {}_0\mathbf {y}\) and \({}_0\mathbf {y} \, \succsim \, {}_0\mathbf {x}\) and entails that \({}_0\mathbf {x}\) is deemed socially indifferent to \({}_0\mathbf {y}\), while \({}_0\mathbf {x} \, \succ \, {}_0\mathbf {y}\) is equivalent to \({}_0\mathbf {x} \, \succsim \, {}_0\mathbf {y}\) and \({}_0\mathbf {y} / \succsim \, {}_0\mathbf {x}\) and entails that \({}_0\mathbf {x}\) is deemed socially preferred to \({}_0\mathbf {y}\).
All comparisons are made at time 0. We abuse notation slightly by writing, for T, \(T' \ge 0\), \(_T \mathbf {x}\) and \(_{T'} \mathbf {y}\) when referring to \({}_0\mathbf {x}'\) and \({}_0\mathbf {y}'\) where, for all t, \(x'_t = x_{T+t}\) and \(y'_t = y_{T'+t}\). This notational convention allows us to write \(_T \mathbf {x}\), \(_{T'} \mathbf {y} \in \mathbf {X}\) and \(_T\mathbf {x} \, \succsim \, _{T'}\mathbf {y}\). It is used throughout the paper; e.g., in the definition of condition IF, in the statement of Lemma 2, and in the proofs of Proposition 2 and Lemma 3.
A social welfare function (swf) representing \(\succsim \) is a mapping \(W : \mathbf {X} \rightarrow \mathbb {R}\) with the property that for all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), \(W(_0\mathbf {x}) \ge W(_0\mathbf {y})\) if and only if \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\). A mapping \(W : \mathbf {X} \rightarrow \mathbb {R}\) is monotone if \(_0\mathbf {x} \, \ge \, _0\mathbf {y}\) implies \(W(_0 \mathbf {x}) \ge W(_0 \mathbf {y})\).
In the present section we impose conditions on the swr sufficient to obtain a numerical representation in terms of an swf with a recursive structure (see Proposition 2 below), similar to but not identical to [Koopmans 1960, Sects. 3–7].
To obtain a numerical representation, we impose two conditions.
Condition O (Order) \(\succsim \) is complete (for all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\) or \(_0\mathbf {y} \, \succsim \, _0\mathbf {x}\)) and transitive (for all \(_0\mathbf {x}\), \(_0\mathbf {y}\), \(_0\mathbf {z} \in \mathbf {X}\), \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\) and \(_0\mathbf {y} \, \succsim \, _0\mathbf {z}\) imply \(_0\mathbf {x} \, \succsim \, _0\mathbf {z}\)).
Condition RC (Restricted Continuity) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0\mathbf {x}\) satisfies \(x_t = z\) for all \(t \ge 1\), and the sequence of streams \(\langle _0\mathbf {x}^n\rangle _{n \in \mathbb {N}}\) satisfies \(\lim _{n \rightarrow \infty } \sup _{t} |x_t^n - x_t| = 0\) with, for each \(n \in \mathbb {N}\), \(_0\mathbf {x}^n \in \mathbf {X}\) and \(_0 \mathbf {x}^n \, \nprec \, _0 \mathbf {y}\) (resp. \(_0 \mathbf {x}^n \, \nsucc \, _0 \mathbf {y}\)), then \(_0 \mathbf {x} \, \nprec \, _0 \mathbf {y}\) (resp. \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\)).
Condition RC is weaker than ordinary supnorm continuity as, under condition RC, the stream \(_0\mathbf {x}\) to which the sequence \(\langle _0\mathbf {x}^n\rangle _{n \in \mathbb {N}}\) converges is restricted to having a constant level of well-being from period 1 on.
Condition C (Continuity) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if the sequence of streams \(\langle _0\mathbf {x}^n\rangle _{n \in \mathbb {N}}\) satisfies \(\lim _{n \rightarrow \infty } \sup _{t} |x_t^n - x_t| = 0\) with, for each \(n \in \mathbb {N}\), \(_0\mathbf {x}^n \in \mathbf {X}\) and \(_0 \mathbf {x}^n \, \nprec \, _0 \mathbf {y}\) (resp. \(_0 \mathbf {x}^n \, \nsucc \, _0 \mathbf {y}\)), then \(_0 \mathbf {x} \, \nprec \, _0 \mathbf {y}\) (resp. \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\)).
Condition C is entailed by Koopmans (1960) Postulate 1. As the analysis of Sect. 3 shows, the weaker continuity condition RC enables us to show existence of sustainable recursive social welfare functions.
The central condition in Koopmans (1960) analysis is the stationarity postulate (Postulate 4). Combined with Koopmans’ Postulate 3b (the condition requiring that the evaluation of two streams with the same present well-being not depend on what that level of well-being is), the stationarity postulate is equivalent to the following independence condition (where we borrow the name that Fleurbaey and Michel (2003) use for a slightly stronger version of this condition).
Condition IF (Independent Future) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) with \(x_0 = y_0\), \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\) if and only if \(_1\mathbf {x} \, \succsim \, _1\mathbf {y}\).
Condition IF means that an evaluation concerning only generations from the next period on can be made as if the present time (time 0) was actually at time 1; i.e., as if generations \(\{0,1, \dots \}\) would have taken the place of generations \(\{1,2, \dots \}\). If we extended our framework to also include comparisons at future times, then IF would imply time consistency as long as the swr is time invariant.
With the well-being of each generation t expressed by a one-dimensional indicator \(x_t\), it is uncontroversial to ensure through the following condition that a higher value of \(x_t\) cannot lead to a socially less preferred stream.
Condition M (Monotonicity) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0\mathbf {x} \, > \, _0\mathbf {y}\), then \(_0\mathbf {y} \, \nsucc \, _0\mathbf {x}\).
Combined with the completeness part of condition O, it follows from condition M that, for all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0\mathbf {x} \, \ge \, _0\mathbf {y}\), then \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\). Condition M is obviously implied by the “Strong Pareto” condition.
Condition SP (Strong Pareto) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0\mathbf {x} \, > \, _0\mathbf {y}\), then \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\).
With condition M we need not impose Koopmans (1960) extreme streams postulate (Postulate 5) and can consider the set of infinite streams bounded in well-being.
As the fifth and final condition of our basic representation result (Proposition 2), we impose the following efficiency condition.
Condition RD (Restricted Dominance) For all x, \(z \in Y\), if \(x < z\), then \((x,\,_{\text {con}}z) \, \prec \, _{\text {con}}z\).
To evaluate the implications of RD, consider the following three conditions.
Condition WS (Weak Sensitivity) There exist \(_0\mathbf {x}\), \(_0\mathbf {y}\), \(_0\mathbf {z} \in \mathbf X \) such that \((x_0,\,_1\mathbf {z}) \, \succ \, (y_0,\,_1\mathbf {z})\).
Condition DF (Dictatorship of the Future) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) such that \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\), there exist , \(\bar{y} \in Y\), with for all \(t\in \mathbb {Z}_+\), and \(T' \in \mathbb {Z}_+\) such that, for every \(_0\mathbf {z}\), , \((_0\mathbf {z}_{T-1},\,_T\mathbf {x}) \, \succ \, (_0\mathbf {v}_{T-1},\,_T\mathbf {y})\) for all \(T > T'\).
Condition NDF (No Dictatorship of the Future) Condition DF does not hold.
Condition SP implies condition RD, which in turn implies condition WS. Condition WS coincides with Koopmans (1960) Postulate 2. Condition NDF generalizes one of Chichilnisky’s (1996) two main axioms to our setting where we consider the set of infinite streams bounded in well-being.
Proposition 1
Assume that the swr \(\succsim \) satisfies conditions O and IF. Then WS is equivalent to NDF.
As already noted at the end of the introduction, the proof of this and later results are provided in an appendix.
Since RD strengthens WS, it follows from Proposition 1 that RD ensures “No Dictatorship of the Future”, provided that the swr satisfies conditions O and IF. To appreciate why we cannot replace RD with an even stronger efficiency condition, we refer to the analysis of Sect. 3 and the impossibility result of Proposition 4.
To state Proposition 2, we introduce the following notation:
where, for all \(U \in \mathcal {U}\), U(Y) denotes the range of U, and the properties of the aggregator function V, (V.0)–(V.3), are as follows:
-
(V.0)
V(u, w) is continuous in (u, w) on \(U(Y)^2\).
-
(V.1)
V(u, w) is non-decreasing in u for given w.
-
(V.2)
V(u, w) is increasing in w for given u.
-
(V.3)
\(V(u, w) < w\) for \(u < w\), and \(V(u, w) = w\) for \(u = w\).
Proposition 2
The following two statements are equivalent.
-
(1)
The swr \(\succsim \) satisfies conditions O, RC, IF, M, and RD.
-
(2)
There exists a monotone swf \(W: \mathbf {X} \rightarrow \mathbb {R}\) representing \(\succsim \) and satisfying, for some \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}(U)\), \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\mathrm {con}z) = U(z)\) for all \(z \in Y\).
For a given representation W (with associated utility function U) of an swr satisfying conditions O, RC, IF, M, and RD, we refer to \(U(x_t)\) as the utility of generation t and \(W(_0 \mathbf {x})\) as the welfare derived from the infinite stream \(_0 \mathbf {x}\).
3 Hammond Equity for the Future
Discounted utilitarianism satisfies conditions O, RC, IF, M, and RD. Hence, these conditions do not by themselves prevent “Dictatorship of the Present”, in the terminology of Chichilnisky’s (1996).
Condition DP (Dictatorship of the Present) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) such that \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\), there exist , \(\bar{y} \in Y\), with for all \(t \in \mathbb {Z}_+\), and \(T' \in \mathbb {Z}_+\) such that, for any \(_0\mathbf {z}\), , \((_0\mathbf {x}_{T-1},\,_T\mathbf {z}) \, \succ \, (_0\mathbf {y}_{T-1},\,_T\mathbf {v})\) for all \(T > T'\).
Condition NDP (No Dictatorship of the Present) Condition DP does not hold.
Condition NDP generalizes the other of Chichilnisky’s (1996)’s two main axioms to our setting where we consider the set of infinite streams bounded in well-being.
We impose a weak new equity condition that ensures NDP. Combined with RC, this condition entails that the interest of the present are taken into account only if the present is worse-off than the future. Consider a stream \((x,\, _{\text {con}} z)\) having the property that well-being is constant from the second period on. For such a stream we may unequivocally say that, if \(x < z\), then the present is worse- off than the future. Likewise, if \(x > z\), then the present is better-off than the future.
Condition HEF (Hammond Equity for the Future) For all x, y, z, \(v \in Y\), if \(x> y> v > z\), then \((x,\, _{\text {con}} z) \, \nsucc \, (y,\, _{\text {con}} v)\).Footnote 6
For streams where well-being is constant from the second period on, condition HEF captures the idea of giving priority to an infinite number of future generations in the choice between alternatives where the future is worse-off compared to the present in both alternatives. If the present is better-off than the future and a sacrifice now leads to a uniform gain for all future generations, then such a transfer from the present to the future cannot lead to a less desirable stream, as long as the present remains better-off than the future.
To appreciate the weakness of condition HEF, consider weak versions of the standard “Hammond Equity” condition (Hammond 1976) and Lauwers (1998) non-substitution condition.
Condition WHE (Weak Hammond Equity) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0 \mathbf {x}\) and \(_0 \mathbf {y}\) satisfy that there exists a pair \(\tau '\), \(\tau ''\) such that \(x_{\tau '}> y_{\tau '}> y_{\tau ''} > x_{\tau ''}\) and \(x_t = y_t\) for all \(t \ne \tau '\), \(\tau ''\), then \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\).Footnote 7
Condition WNS (Weak Non-Substitution) For all x, y, z, \(v \in Y\), if \(v > z\), then \((x,\, _{\text {con}} z) \, \nsucc \, (y,\, _{\text {con}} v)\).
By assuming, in addition, that well-beings are at least cardinally measurable and fully comparable, we may also consider weak versions of the Lorenz Domination and Pigou-Dalton principles. Such equity conditions have been used in the setting of infinite streams by, e.g., Birchenhall and Grout (1979), Asheim (1991), Fleurbaey and Michel (2001), and Hara et al. (2008).
Condition WLD (Weak Lorenz Domination) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0 \mathbf {x}\) and \(_0 \mathbf {y}\) are such that \(_0 \mathbf {y}_{T-1}\) weakly Lorenz dominates \(_0 \mathbf {x}_{T-1}\) and \(_T \mathbf {x} \, = \, _T \mathbf {y}\) for some \(T > 1\), then \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\).Footnote 8
Condition WPD (Weak Pigou-Dalton) For all \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), if \(_0 \mathbf {x}\) and \(_0 \mathbf {y}\) are such that there exist a positive number \(\epsilon \) and a pair \(\tau '\), \(\tau ''\) satisfying \(x_{\tau '} - \epsilon = y_{\tau '} \ge y_{\tau ''} = x_{\tau ''} + \epsilon \) and \(x_t = y_t\) for all \(t \ne \tau '\), \(\tau ''\), then \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\).
While it is clear that condition HEF is implied by WNS, it is perhaps less obvious that, under O and M, HEF is at least as weak as each of WHE, WPD, and WLD.
Proposition 3
Assume that the swr \(\succsim \) satisfies conditions O and M. Then each of WHE, WPD, and WLD implies HEF.
Note that condition HEF involves a comparison between a sacrifice by a single generation and a uniform gain for each member of an infinite set of generations that are worse-off. Hence, contrary to the standard “Hammond Equity” condition, if well-beings are made (at least) cardinally measurable and fully comparable, then the transfer from the better-off present to the worse-off future specified in condition HEF increases the sum of well-beings for a sufficiently large number T of generations. This entails that condition HEF is implied by both WPD and WLD, independently of what specific cardinal scale of well-beings is imposed (provided that conditions O and M are satisfied). Hence, “Hammond Equity for the Future” can be endorsed from both an egalitarian and utilitarian point of view. In particular, condition HEF is weaker and more compelling than the standard “Hammond Equity” condition.
However, in line with the Diamond-Yaari impossibility result (Diamond 1965) on the inconsistency of equity and efficiency conditions under continuity,Footnote 9 the equity condition HEF is in conflict with the following weak efficiency condition under RC.
Condition RS (Restricted Sensitivity) There exist x, \(z \in Y\) with \(x > z\) such that \((x,\,_{\text {con}}z) \, \succ \, _{\text {con}}z\).
Condition SP implies condition RS, which in turn implies condition WS.
Proposition 4
There is no swr \(\succsim \) satisfying conditions RC, RS, and HEF.
Impossibility results arising from HEF are further explored in Asheim et al. (2007). Here we concentrate on swrs that satisfy HEF. We note that it follows from Proposition 4 that RD is the strongest efficiency condition compatible with HEF under RC, when comparing streams \((x,\, _{\text {con}} z)\) where well-being is constant from the second period on with constant streams \(_{\text {con}} z\).
The following result establishes that “Dictatorship of the Present” is indeed ruled out by adding condition HEF to conditions O, RC, IF, and M.
Proposition 5
Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, and M. Then HEF implies NDP.
How does the basic representation result of Proposition 2 change if we also impose condition HEF on an swr \(\succsim \) satisfying conditions O, RC, IF, M, and RD? To investigate this question, introduce the following notation:
where (V.3\('\)) is given as follows:
- (V.3\('\)):
-
\(V(u, w) < w\) for \(u < w\), and \(V(u, w) = w\) for \(u \ge w\).
Note that, for each \(U \in \mathcal {U}\), \(\mathcal {V}_{S}(U) \subseteq \mathcal {V}(U)\).
Proposition 6
The following two statements are equivalent.
-
(1)
The swr \(\succsim \) satisfies conditions O, RC, IF, M, RD, and HEF.
-
(2)
There exists a monotone swf \(W: \mathbf {X} \rightarrow \mathbb {R}\) representing \(\succsim \) and satisfying, for some \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\), \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\mathrm {con}z) = U(z)\) for all \(z \in Y\).
We refer to a mapping satisfying the property presented in statement (2) of Proposition 6 as a sustainable recursive swf. Proposition 6 does not address the question whether there exists a sustainable recursive swf for any \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\). This question of existence is resolved through the following proposition, which also characterizes the asymptotic properties of such social welfare functions.
Proposition 7
For all \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\), there exists a monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfying \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). Any such mapping W satisfies, for each \(_0 \mathbf {x} \in \mathbf {X}\),
By combining Propositions 6 and 7 we obtain our first main result.
Theorem 1
There exists a class of swrs \(\succsim \) satisfying conditions O, RC, IF, M, RD, and HEF.
The proof of the existence part of Proposition 7 is based on an algorithmic construction. For any \(_0 \mathbf {x} \in \mathbf {X}\) and each \(T \in \mathbb {Z}_+\), consider the following finite sequence:
Define the mapping \(W_{\sigma }: \mathbf {X} \rightarrow \mathbb {R}\) by
In the proof of Proposition 7 we show that \(W_{\sigma }\) is a sustainable recursive swf.
It is an open question whether \(W_{\sigma }\) is the unique sustainable recursive swf given \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\). As reported in the following proposition, we can show uniqueness if the aggregator function satisfies a condition introduced by [Koopmans et al. 1964, p. 88]: \(V \in \mathcal {V}(U)\) satisfies the property of weak time perspective if there exists a continuous increasing transformation \(g : \mathbb {R} \rightarrow \mathbb {R}\) such that \(g(w) - g(V(u,w))\) is a non-decreasing function of w for given u.
Proposition 8
Let \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\). If V satisfies the property of weak time perspective, then there exists a unique monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfying \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). This mapping, \(W_{\sigma }\), is defined by (W).
We have not been able to establish that the property of weak time perspective follows from the conditions we have imposed. However, it is satisfied in special cases; e.g., with V given by
where \(\delta \in (0,1)\).Footnote 10 We can also show that the set of supnorm continuous sustainable recursive swfs contains at most \(W_{\sigma }\). However, even though \(W_{\sigma }\) is continuous in the weak sense implied by condition RC, it need not be supnorm continuous.
Once we drop one of the conditions RC, IF, and RD, and combine the remaining two conditions with O, M, and HEF, new possibilities open up. It is clear that:
-
The mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) defined by \(W(_0 \mathbf {x}) := {\lim \inf }_{t \rightarrow \infty } U(x_t)\) for some \(U \in \mathcal {U}_I\) represents an swr satisfying O, RC, IF, M, and HEF, but not RD.
-
The maximin swr satisfies O, RC, M, RD, and HEF, but not IF.
-
Leximin and undiscounted utilitarian swrs for infinite streams satisfy O, IF, M, RD, and HEF, but not RC (cf. Proposition 13).
It follows from Propositions 1, 5, and 6 that any sustainable recursive swf represents an swr satisfying NDF and NDP. [Chichilnisky’s 1996, Definition 6] defines “sustainable preferences” by imposing NDF and NDP as well as numerical representability and SP. When showing existence in her Theorem 1, she considers swrs violating condition IF. Hence, through showing general existence for our sustainable recursive swf, we demonstrate that NDF and NDP can be combined with (a) numerical representability, (b) condition IF which implies stationarity, and (c) sensitivity to present well-being—and thus be imposed within the Koopmans (1960) framework—provided that SP is replaced by weaker dominance conditions.Footnote 11
4 Independent Present
The following condition is invoked as Postulate \(3'\)a in Koopmans (1960)’ characterization of discounted utilitarianism.
Condition IP (Independent Present) For all \(_0\mathbf {x}\), \(_0\mathbf {y}\), \(_0\mathbf {z}\), \(_0\mathbf {v} \in \mathbf {X}\), \((x_0,\,x_1,\,_2\mathbf {z}) \, \succsim (y_0,\,y_1,\,_2\mathbf {z})\) if and only if \((x_0,\,x_1,\,_2\mathbf {v}) \, \succsim \, (y_0,\,y_1,\,_2\mathbf {v})\).
Condition IP requires that the evaluation of two streams differing only in the first two periods not depend on what the common continuation stream is. We suggest in this section that this condition may not be compelling, both through appeal to ethical intuition, and through formal results.
We suggest that it might be supported by ethical intuition to accept that the stream \((1,4,5,5,5,\ldots )\) is socially better than \((2,2,5,5,5,\ldots )\), while not accepting that \((1,4,2,2,2,\ldots )\) is socially better than \((2,2,2,2,2,\ldots )\). It is not obvious that we should treat the conflict between the worst-off and the second worst-off generation presented by the first comparison in the same manner as we treat the conflict between the worst-off and the best-off generation put forward by the second comparison.
Turn now to the formal results. Koopmans (1960) characterizes discounted utilitarianism by means of conditions IF, WS, and IP. However, it turns out that conditions IF, WS, and IP contradict HEF under RC and M. Furthermore, this conclusion is tight, in the sense that an swr exists if any one of these conditions is dropped. This is our second main result.
Theorem 2
There is no swr \(\succsim \) satisfying conditions RC, IF, M, WS, HEF, and IP. If one of the conditions RC, IF, M, WS, HEF, and IP is dropped, then there exists an swr \(\succsim \) satisfying the remaining five conditions as well as condition O.
In the following proposition, we reproduce Koopmans (1960) characterization of discounted utilitarianism within the formal setting of this paper.Footnote 12
Proposition 9
The following two statements are equivalent.
-
(1)
The swr \(\succsim \) satisfies conditions O, RC, IF, M, WS, and IP.
-
(2)
There exists a monotone swf \(W: \mathbf {X} \rightarrow \mathbb {R}\) representing \(\succsim \) and satisfying, for some \(U \in \mathcal {U}\) and \(\delta \in (0,1)\), \(W(_0 \mathbf {x}) = (1-\delta )U(x_0) + \delta W(_1 \mathbf {x})\) for all \(_0 \mathbf {x} \in \mathbf {X}\).
Strengthening WS to RD in statement (1) is equivalent to replacing \(\mathcal {U}\) by \(\mathcal {U}_I\) in statement (2).
This proposition follows from standard results for additively separable representations (Debreu 1960; Gorman 1968a; Koopmans 1986a), by exploiting the overlap of periods that conditions IF and IP give rise to (cf. Lemma 3).
Furthermore, we note that the discounted utilitarian swf exists and is unique.
Proposition 10
For all \(U \in \mathcal {U}\) and \(\delta \in (0,1)\), there exists a unique monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfying \(W(_0 \mathbf {x}) = (1-\delta )U(x_0) + \delta W(_1 \mathbf {x})\) for all \(_0 \mathbf {x} \in \mathbf {X}\). This mapping, \(W_{\delta }\), is defined by, for each \(_0 \mathbf {x} \in \mathbf {X}\),
Propositions 9 and 10 have the following implication.
Proposition 11
There is no swr \(\succsim \) satisfying conditions O, RC, IF, M, IP, NDP, and NDF.
To summarize, it follows from Theorem 2 and Propositions 1 and 11 that, within a Koopmans framework where O, RC, IF, M, and WS are imposed, condition IP contradicts both HEF and NDP. Hence, in such a framework, IP is in conflict with consequentialist equity conditions that respect the interests of future generations.
5 Applying Sustainable Recursive SWFs
We apply sustainable recursive swfs for studying optimal harvesting of a renewable resource where, following Krautkraemer (1985), well-being may be derived directly from the resource stock. Using discounted utilitarianism in this setting reduces the resource stock below the green golden-rule (defined below) and leads to resource deterioration for sufficiently high discounting (Heal 1998).
Maximizing sustainable recursive swfs leads to very different conclusions, as reported in Proposition 12. Before stating this result, we introduce the model.
The law of motion governing the bio-mass of the renewable resource, k, is given by a standard increasing, concave stock-recruitment function, f, and therefore the production framework is formally the same as the standard neoclassical aggregate model of economic growth. The function \(f:\mathbb {R} _{+}\rightarrow \mathbb {R}_{+}\) is assumed to satisfy:
-
(i)
\(f(0)=0\),
-
(ii)
f is continuous, increasing and strictly concave on \(\mathbb {R}_{+}\)
-
(iii)
\(\lim _{k\rightarrow 0}\tfrac{f(k)}{k}>1\) and \(\lim _{k\rightarrow \infty }\tfrac{f(k)}{k}<1\).
It can be shown that there exists a unique number \(\bar{k} > 0\) such that \(f(\bar{k}) = \bar{k}\) and \(f(k) > k\) for \(k \in (0, \bar{k})\).
A feasible path from \(k \in [0,\bar{k}]\) is a sequence of resource stocks \(_0 \mathbf {k}\) satisfying:
It follows from the definition of \(\bar{k}\) that \(k_t \in [0,\bar{k}]\) for \(t > 0\). Hence, \(\bar{k}\) is the maximal attainable resource stock if one starts from an initial stock in \([0,\bar{k}]\). Associated with a feasible path \(_0 \mathbf {k}\) from \(k \in [0,\bar{k}]\) is a consumption stream \(_0 \mathbf {c}\), defined by
Well-being, x, depends on consumption and resource amenities through a function \(x : [0, \bar{k}]^2 \rightarrow \mathbb {R}\), which is assumed to satisfy:
The set of of admissible well-beings is given by \(Y := [x(0,0), x(\bar{k},\bar{k})]\). Associated with a feasible path \(_0 \mathbf {k}\) from \(k \in [0,\bar{k}]\) is a well-being stream \(_0 \mathbf {x}\), defined by
For any \(k \in [0,\bar{k}]\), the set of well-being streams associated with feasible resource paths from k is contained in \(\mathbf {X} = Y^{\mathbb {Z}_+}\).
It follows from the continuity and strict concavity of f and the continuity and quasi-concavity of x, combined with property (3)(ii), that there exists a unique number \(k^{*} \in [0, \bar{k}]\) such that \(x(f(k^{*}) - k^{*}, k^{*}) \ge x(f(k) - k, k)\) for all \(k \in [0,\bar{k}]\). Since, for any \(k \in (0, \bar{k})\), \(x(f(k)-k,k) > x(f(0)-0,0)=x(0,0)\), we have that \(k^{*} > 0\). Clearly, an additional assumption can be imposed to ensure the existence of \(k \in (0, \bar{k})\) such that \(x(f(k)-k,k) > x(f(\bar{k})-\bar{k},\bar{k})=x(0,\bar{k})\), so that \(k^{*} < \bar{k}\). The subsequent analysis holds with (and without) any such assumption.
We write \(c^{*} := f(k^{*}) - k^{*}\) and \(x^{*} := x(c^{*}, k^{*})\). By keeping the resource stock constant at \(k^{*}\), a maximum sustainable well-being equal to \(x^{*}\) is attained; this corresponds to the green golden-rule (Chichilnisky et al. 1995). The following result shows that if \(k \in [k^{*}, \bar{k}]\) and a sustainable recursive swf is maximized, then welfare corresponds to the green golden-rule, and the resource stock never falls below the green golden-rule level.
Proposition 12
Assume that an economy maximizes a sustainable recursive swf \(W: \mathbf {X} \rightarrow \mathbb {R}\) on the set of well-being streams associated with feasible resource paths from \(k \in [k^{*}, \bar{k}]\). Then an optimum exists, and for any optimal resource path \(_0 \hat{\mathbf {k}}\), with associated well-being stream \(_0 \hat{\mathbf {x}}\),
Hence, in contrast to the existence problem encountered when Chichilnisky’s (1996) “sustainable preferences” are applied to such a setting (see Figuieres and Tidball 2016 where this problem motivates an interesting analysis), optima exist when sustainable recursive swfs are used to evaluate streams (at least, for \(k \in [k^{*}, \bar{k}]\)). Moreover, in contrast to the outcome under discounted utilitarianism, sustainable recursive swfs sustain well-being at or above its maximum sustainable level, by sustaining the resource stock at or above the green golden-rule level.
In a companion paper (Asheim and Mitra 2010) it is demonstrated how sustainable recursive swfs can be used to resolve in an appealing way the interesting distributional conflicts that arise in the DHS model of capital accumulation and resource depletion. In particular, applying sustainable recursive swfs in this setting leads to growth and development at first when capital is productive, while protecting the generations in the distant future from the grave consequences of discounting when the vanishing resource stock undermines capital productivity.
6 Concluding Remarks
Koopmans (1960) has often been interpreted as presenting the definitive case for discounted utilitarianism. In Sects. 2 and 3 we have sought to weaken this impression by exploring other avenues within the general setting of his approach. In particular, by not imposing condition IP, used by Koopmans (1960) to characterize discounted utilitarianism, we have been able to combine our new equity condition HEF with the essential features of the Koopmans (1960) framework: (a) numerical representability, (b) sensitivity to the interests of the present generation, and (c) condition IF which includes Koopmans (1960)’ stationarity postulate. This leads to a non-empty class of sustainable recursive social welfare functions. We have argued that condition HEF is weak, as it is implied by all the standard consequentialist equity conditions suggested in the literature, yet strong enough to ensure that the Chichilnisky’s (1996) conditions are satisfied. As we have discussed in Sect. 5, sustainable recursive social welfare functions are applicable and yield consequences that differ from those of discounted utilitarianism.
In this final section we note that even wider possibilities open up if we are willing to give up numerical representability by not imposing RC. In particular, we are then able to combine the equity condition HEF and the independence condition IP with our basic conditions O and IF, while strengthening our efficiency conditions M and RD to condition SP.
Proposition 13
There exists an swr \(\succsim \) satisfying conditions O, IF, SP, HEF, and IP.
The proof of this proposition employs the leximin and undiscounted utilitarian swrs for infinite streams that have been axiomatized in recent contributions (see, Asheim and Tungodden 2004a; Basu and Mitra 2007; Bossert et al. 2007).
We end by making the observation that continuity is not simply a “technical” condition without ethical content. In a setting where RC (or a stronger continuity condition like C) is combined with RS (or a stronger efficiency condition like SP), it follows from Proposition 4 that condition HEF is not satisfied. Hence, on this basis one may claim that, in combination with a sufficiently strong efficiency condition, continuity rules out swfs that protect the interests of future generations by implying that the equity condition HEF does not hold. In the main analysis of this paper we have avoided the trade-off between continuity and numerical representability on the one hand, and the ability to impose the equity condition HEF on the other hand, by weakening the efficiency condition in an appropriate way.
Notes
- 1.
A separate set of important questions relates to how to implement policies that are designed to respect the interests of future generations and to assess their effectiveness; see e.g., in the context of climate change, Burniaux and Martins (2016), Dutta and Radner (2016), Karp and Zhang (2016) and Ostrom (2016). In this context it is also of interest to investigate the validity of the ‘Coase theorem’, as done by Chipman and Tian (2016). Moreover, as pointed out by Lecocq and Hourcade (2016), optimal policies may require estimates of future intragenerational distribution. Finally, as illustrated by Rezai et al. (2016), in some cases, such policies may benefit all generations, and thus do not represent a question of intergenerational justice.
- 2.
For an alternative set of axioms leading to discounted utilitarianism, see Lauwers (1997).
- 3.
Our condition is inspired from Hammond (1976) Equity condition, but—as we will see—it is weaker and has not only an egalitarian justification.
- 4.
See Chichilnisky (2016) for an analysis of markets where traders have “sustainable preferences”.
- 5.
A more general framework is, as used by Koopmans (1960), to assume that the well-being of generation t depends on an n-dimensional vector \(\mathbf {x}_t\) that takes on values in a connected set \(\mathbf {Y}\). However, by representing the well-being of generation t by a scalar \(x_t\), we can focus on intergenerational issues. In doing so, we follow, e.g., Diamond (1965), Svensson (1980), Chichilnisky’s (1996), Basu and Mitra (2003) and Bossert et al. (2007).
- 6.
- 7.
Under completeness, condition WHE corresponds to the standard “Hammond Equity” condition, where the premise implies \(_0 \mathbf {x} \, \precsim \, _0 \mathbf {y}\).
- 8.
For any \(T > 0\), \(_0 \mathbf {y}_{T-1}\) weakly Lorenz dominates \(_0 \mathbf {x}_{T-1}\) if and only if (i) \(\sum _{\tau = 0}^{T-1} y_{\tau } = \sum _{\tau = 0}^{T-1} x_{\tau }\) and (ii) if \(\varphi \) and \(\psi \) are permutations on \(\{0, \dots , T-1\}\) such that \(y_{\varphi (1)} \le \dots \le y_{\varphi (T-1)}\) and \(x_{\psi (1)} \le \dots \le x_{\psi (T-1)}\), then \(\sum _{\tau = 0}^{t} y_{\varphi (\tau )} \ge \sum _{\tau = 0}^{t} x_{\psi (\tau )}\) for every \(t = 0 , \dots , T-1\).
- 9.
The Diamond-Yaari impossibility result states that the equity condition of “Weak Anonymity” (deeming two streams socially indifferent if one is obtained from the other through a finite permutation of well-beings) is inconsistent with the efficiency condition SP given C. See also Basu and Mitra (2003) and Fleurbaey and Michel (2003).
- 10.
Sustainable recursive swfs with aggregator function given by (2) are analyzed in the companion paper (Asheim and Mitra 2010). Note that an swr \(\succsim \) represented by such a sustainable recursive swf satisfies the following restricted form of the IP condition introduced in the next section: For all \(_0\mathbf {x}\), \(_0\mathbf {y}\), \(_0\mathbf {z}\), \(_0\mathbf {v} \in \mathbf {X}\) such that \((x_0,\,x_1,\,_2\mathbf {z})\), \((y_0,\,y_1,\,_2\mathbf {z})\), \((x_0,\,x_1,\,_2\mathbf {v})\), \((y_0,\,y_1,\,_2\mathbf {v})\) are non-decreasing, \((x_0,\,x_1,\,_2\mathbf {z}) \, \succsim \, (y_0,\,y_1,\,_2\mathbf {z})\) if and only if \((x_0,\,x_1,\,_2\mathbf {v}) \, \succsim \, (y_0,\,y_1,\,_2\mathbf {v})\).
- 11.
- 12.
See Bleichrodt et al. (2008) for a simplified characterization of discounted utilitarianism on an extended domain, as well as an overview of related literature.
References
Alcantud, J. C. R., & García-Sanz, M. D. (2010). Paretian evaluation of infinite utility streams: An egalitarian criterion. Economics Letters, 106, 209–211.
Arrow, K. J. (1951). Social choice and individual values. New York: Wiley.
Asheim, G. B. (1991). Unjust intergenerational allocations. Journal of Economic Theory, 54, 350–371.
Asheim, G. B., & Mitra, T. (2010). Sustainability and discounted utilitarianism in models of economic growth. Mathematical Social Sciences, 59, 148–169.
Asheim, G. B., & Tungodden, B. (2004a). Resolving distributional conflicts between generations. Economic Theory, 24, 221–230.
Asheim, G.B., & Tungodden, B. (2004b). Do Koopmans’ postulates lead to discounted utilitarianism? Discussion Paper 32/04, Norwegian School of Economics and Business Administration.
Asheim, G. B., Mitra, T., & Tungodden, B. (2007). A new equity condition for infinite utility streams and the possibility of being Paretian. In J. Roemer & K. Suzumura (Eds.), Intergenerational equity and sustainability (pp. 55–68). Basingstoke: Palgrave Macmillan.
Atkinson, A. B. (2001). The strange disappearance of welfare economics. Kyklos, 54, 193–206.
Banerjee, K. (2006). On the equity-efficiency trade off in aggregating infinite utility streams. Economic Letters, 93, 63–67.
Basu, K., & Mitra, T. (2003). Aggregating infinite utility streams with intergenerational equity: The impossibility of being Paretian. Econometrica, 32, 1557–1563.
Basu, K., & Mitra, T. (2007). Utilitarianism for infinite utility streams: A new welfare criterion and its axiomatic characterization. Journal of Economic Theory, 133, 350–373.
Birchenhall, C. R., & Grout, P. (1979). On equal plans with an infinite horizon. Journal of Economic Theory, 21, 249–264.
Blackorby, C., Donaldson, D., & Weymark, J. A. (1984). Social choice with interpersonal utility comparisons: A diagrammatic introduction. International Economic Review, 25, 327–356.
Bleichrodt, H., Rohde, K. I. M., & Wakker, P. P. (2008). Koopmans’ constant discounting for intertemporal choice: A simplification and a generalization. Journal of Mathematical Psychology, 52, 341–347.
Bossert, W., Sprumont, Y., & Suzumura, K. (2007). Ordering infinite utility streams. Journal of Economic Theory, 135, 579–589.
Burniaux, J.-M., & Martins, J. O. (2016). Carbon leakages: A general equilibrium view. Economic Theory (reprinted in this volume).
Chichilnisky, G. (1996). An axiomatic approach to sustainable development. Social Choice and Welfare, 13, 231–257.
Chichilnisky, G. (2016). Sustainable markets with short sales. Economic Theory (reprinted in this volume).
Chichilnisky, G., Heal, G. M., & Beltratti, A. (1995). The green golden rule. Economic Letters, 49, 175–179.
Chipman, J. S., Tian, G. (2016). Detrimental externalities, pollution rights, and the “Coase Theorem”. Economic Theory (reprinted in this volume).
Dasgupta, P. S., & Heal, G. M. (1974). The optimal depletion of exhaustible resources. In Review of Economic Studies(Symposium) (pp. 3–28).
Dasgupta, P. S., & Heal, G. M. (1979). Economic theory and exhaustible resources. Cambridge: Cambridge University Press.
Debreu, G. (1960). Topological methods in cardinal utility theory. In K. J. Arrow, S. Karlin, & P. Suppes (Eds.), Mathematical methods in the social sciences (pp. 16–26). Stanford: Stanford University Press.
Diamond, P. (1965). The evaluation of infinite utility streams. Econometrica, 33, 170–177.
Dutta, P. K., & Radner, R. (2016). Capital growth in a global warming model: Will China and India sign a climate treaty? Economic Theory (reprinted in this volume).
Figuieres, C., & Tidball, M. (2016). Sustainable exploitation of a natural resource: A satisfying use of Chichilnisky’s criterion. Economic Theory (reprinted in this volume).
Fleurbaey, M., & Michel, P. (2001). Transfer principles and inequality aversion, with application to optimal growth. Mathematical Social Sciences, 42, 1–11.
Fleurbaey, M., & Michel, P. (2003). Intertemporal equity and the extension of the Ramsey criterion. Journal of Mathematical Economics, 39, 777–802.
Gorman, W. M. (1968a). Conditions for additive separability. Econometrica, 36, 605–609.
Gorman, W. M. (1968b). The structure of utility functions. Review of Economic Studies, 35, 367–390.
Hammond, P. J. (1976). Equity, Arrow’s conditions and Rawls’ difference principle. Econometrica, 44, 793–804.
Hara, C., Shinotsuka, T., Suzumura, K., & Xu, Y. (2008). Continuity and egalitarianism in the evaluation of infinite utility streams. Social Choice and Welfare, 31, 179–191.
Heal, G. M. (1998). Valuing the future: Economic theory and sustainability. New York: Columbia University Press.
Heal, G. M. (2005). Intergenerational welfare economics and the environment. In K.-G. Mäler & J. Vincent (Eds.), Handbook of environmental economics. Amsterdam: North-Holland.
Karp, C., & Zhang, J. (2016) Taxes versus quantities for a stock pollutant with endogenous abatement costs and asymmetric information. Economic Theory (reprinted in this volume).
Koopmans, T. C. (1960). Stationary ordinal utility and impatience. Econometrica, 28, 287–309.
Koopmans, T. C. (1967). Intertemporal distribution and optima1 aggregate economic growth. In Ten economic studies in the tradition of irving fisher. New York: Wiley.
Koopmans, T. C. (1986a). Representation of preference orderings with independent components of consumption. In C.B. McGuire, & R. Radner, (Eds.), Decision and organization: A volume in honor of Jacob Marschak (2nd ed., pp. 57–78). Previously published in 1972. Minneapolis: University of Minnesota Press.
Koopmans, T. C. (1986b). Representation of preference orderings over time. In C.B. McGuire, & R. Radner (Eds.), Decision and organization: A volume in honor of Jacob Marschak (2nd ed., pp. 79–100). Previously published in 1972. Minneapolis: University of Minnesota Press.
Koopmans, T. C., Diamond, P. E., & Williamson, R. E. (1964). Stationary utility and time perspective. Econometrica, 32, 82–100.
Krautkraemer, J. A. (1985). Optimal growth, resource amenities and the preservation of natural environments. Review of Economic Studies, 52, 153–170.
Lauwers, L. (1997). Rawlsian equity and generalised utilitarianism with an infinite population. Economic Theory, 9, 143–150.
Lauwers, L. (1998). Intertemporal objective functions: Strong Pareto versus anonymity. Mathematical Social Sciences, 35, 37–55.
Lauwers, L. (2016). Intergenerational equity, efficiency, and constructibility. Economic Theory (reprinted in this volume).
Lecocq, F., & Hourcade, J.-C. (2016). Insights from a theoretical analysis of negotiation mandates: Unspoken ethical issues in the climate affair. Economic Theory (reprinted in this volume).
Mitra, T. (2008). Stationary paretian SWF: An example. Mimeo: Cornell University.
Ostrom, E. (2016). Nested externalities and polycentric institutions: must we wait for global solutions to climate change before taking actions at other scales? Economic Theory (reprinted in this volume).
Rawls, J. (1971). A theory of justice. Cambridge: Harvard University Press.
Rezai, A., Foley, D. K., & Taylor, L. (2016). Global warming and economic externalities. Economic Theory (reprinted in this volume).
Solow, R. M. (1974). Intergenerational equity and exhaustible resources. In Review of Economic Studies (Symposium) (pp. 29–45).
Svensson, L.-G. (1980). Equity among generations. Econometrica, 48, 1251–1256.
Szpilrajn, E. (1930). Sur l’extension du l’ordre partiel. Fundamenta Mathematicae, 16, 386–389.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Proofs
Appendix: Proofs
Proof
(of Proposition 1) Part I: WS implies NDF. Assume that the swr \(\succsim \) satisfies conditions O and WS. By WS, there exist \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf X \) with \(_1\mathbf {x} \, = \, _1\mathbf {y}\) such that . Let \(_0\mathbf {z}\), \(_0\mathbf {v} \in \mathbf X \) be given by \({}_0 \mathbf {z} \, = \,{}_0 \mathbf {v} \, = \, {}_0\mathbf {x}\). We have that, for any , \(\bar{y} \in Y\) satisfying for all \(t \in \mathbb {Z}_+\), \(_0\mathbf {z}\), . Still, for all \(T > 0\), \((_0\mathbf {z}_{T-1},\,_T\mathbf {x}) \, = \, _0\mathbf {x} \, = \, (_0\mathbf {x}_{T-1},\,_T\mathbf {y}) \, = \, (_0\mathbf {v}_{T-1},\,_T\mathbf {y})\), implying by O that \((_0\mathbf {z}_{T-1},\,_T\mathbf {x}) \, \sim \, (_0\mathbf {v}_{T-1},\,_T\mathbf {y})\). This contradicts DF.
Part II: NDF implies WS. Assume that the swr \(\succsim \) satisfies conditions O and IF. Suppose that WS does not hold, i.e., for all \(_0\mathbf {x}'\), \(_0\mathbf {y}' \in \mathbf X \) with \(_1\mathbf {x}' \, = \, _1\mathbf {y}'\), \(_0\mathbf {x}' \, \sim \, _0\mathbf {y}'\).
Case (i): There exist \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) such that \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\). Suppose \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) are such that \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\). Let \(_0\mathbf {z}\), \(_0\mathbf {v}\) be arbitrary streams in \(\mathbf {X}\). We have that \(_{T-1}\mathbf {x} \, \sim \, (z_{T-1}, \, _T\mathbf {x})\) for all \(T > 0\) since WS does not hold. By IF and the above argument,
By invoking O and applying IF and the above argument repeatedly, it follows that \(_0\mathbf {x} \, \sim \, (_0\mathbf {z}_{T-1},\,_T\mathbf {x})\) for all \(T > 0\). Likewise, \(_0\mathbf {y} \, \sim \, (_0\mathbf {v}_{T-1},\,_T\mathbf {y})\) for all \(T > 0\). By O, \((_0\mathbf {z}_{T-1},\,_T\mathbf {x}) \, \succ \, (_0\mathbf {v}_{T-1},\,_T\mathbf {y})\) for all \(T > 0\). This establishes DF, implying that NDF does not hold.
Case (ii): There do not exist \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) such that \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\). Then DF is true trivially, implying that NDF does not hold in this case either. \(\square \)
The following lemma is useful for proving Proposition 2 and subsequent results.
Lemma 1
Assume that the swr \(\succsim \) satisfies conditions O, RC, M. Then, for all \(_0 \mathbf {x} \in \mathbf {X}\), there exists \(z \in Y\) such that \(_{\mathrm {con}}z \, \sim \, _0 \mathbf {x}\). If condition RD is added, then z is unique.
Proof
Assume that the swr \(\succsim \) satisfies conditions O, RC, and M. By O, M, and the definition of \(\mathbf {X}\), there exists \(z \in Y\) such that \(\inf \{v \in Y \mid \,_\text {con}v \, \succsim \, _0\mathbf {x}\} \le z \le \sup \{v \in Y \mid \,_\text {con}v \, \precsim \, _0\mathbf {x}\}\). By O and RC, \(_\text {con}z \, \sim \, _0\mathbf {x}\).
If condition RD is added, then by O, M, and RD we have that
so that \(\inf \{v \in Y \mid \,_\text {con}v \, \succsim \, _0\mathbf {x}\} = \sup \{v \in Y \mid \,_\text {con}v \, \precsim \, _0\mathbf {x}\}\) and z is unique. \(\square \)
Proof
(of Proposition 2) Part I: (1) implies (2). Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, M, and RD. In view of Lemma 1, determine \(W: \mathbf {X} \rightarrow Y\) by, for all \(_0\mathbf x \in \mathbf X \), \(W(_0\mathbf {x}) = z\) where \(_{\text {con}}z \, \sim \, _0 \mathbf {x}\). By O and (4), \(W(_0 \mathbf {x}) \ge W(_0 \mathbf {y})\) if and only if \(_0\mathbf {x} \, \succsim \, _0\mathbf {y}\). By M, W is monotone.
Let \(U \in \mathcal {U}_I\) be given by \(U(x) = x\) for all \(x \in Y\), implying that \(U(Y) = Y\). Hence, by construction of W, \(W(_\text {con}z) = z = U(z)\) for all \(z \in Y\). It follows from IF that, for given \(x_0 \in Y\), there exists an increasing transformation \(V(U(x_0),\cdot ): Y \rightarrow Y\) such that, for all \(_1 \mathbf {x} \in \mathbf {X}\), \(W(x_0, \, _1 \mathbf {x}) = V(U(x_0), \, W(_1 \mathbf {x}))\). This determines \(V: Y \times Y \rightarrow Y\), where V(u, w) is increasing in w for given u, establishing that V satisfies (V.2). By M, V(u, w) is non-decreasing in u for given w, establishing that V satisfies (V.1). Since (resp. \((x,\,_{\text {con}}z) \, \nsucc \, _{\text {con}}v\)) if and only if
RC implies that V satisfies (V.0). Finally, since
by invoking RD, it follows that V satisfies (V.3). Hence, \(V \in \mathcal {V}(U)\).
Part II: (2) implies (1). Assume that the monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) is an swf and satisfies, for some \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}(U)\), \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). Since the swr \(\succsim \) is represented by the swf W, it follows that \(\succsim \) satisfies O. Moreover, \(\succsim \) satisfies M since W is monotone, \(\succsim \) satisfies IF since V satisfies (V.2), and \(\succsim \) satisfies RD since \(U \in \mathcal {U}_I\) and V satisfies (V.3). The following argument shows that \(\succsim \) satisfies RC.
Let \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\), and let \(x_t = z\) for all \(t \ge 1\). Let \(_0\mathbf {x}^n \in \mathbf {X}\) for \(n \in \mathbb {N}\), with the property that \(\lim _{n \rightarrow \infty } \sup _{t} |x_t^n - x_t| = 0\) and, for each \(n \in \mathbb {N}\), . We have to show that , or equivalently, \(W(_0\mathbf {x}) \ge W(_0\mathbf {y})\). Define \(\epsilon _0(n)\) and \(\epsilon (n)\) for \(n \in \mathbb {N}\) by, for each \(n \in \mathbb {N}\), \(\epsilon _0(n) := \max \{0,\,x_0^n - x_0\}\) and \(\epsilon (n) := \max \{0,\,\sup _{t\ge 1} (x_t^n - x_t)\}\), so that \(\lim _{n \rightarrow \infty } \epsilon _0(n) = 0\) and \(\lim _{n \rightarrow \infty } \epsilon (n) = 0\). For each \(n \in \mathbb {N}\),
since W is monotone and represents \(\succsim \), and . This implies that
since U and V are continuous and \(\lim _{n \rightarrow \infty } \epsilon (n) = 0\). The same kind of argument can be used to show that \(_0 \mathbf {x} \, \nsucc \, _0 \mathbf {y}\) if, for each \(n \in \mathbb {N}\), \(_0 \mathbf {x}^n \, \nsucc \, _0 \mathbf {y}\). \(\square \)
Proof
(of Proposition 3) Assume \(x> y> v > z\). We must show under O and M that each of WHE, WLD, and WPD implies \((x,\, _{\text {con}} z) \, \nsucc \, (y,\, _{\text {con}} v)\).
Since \(x> y> v > z\), there exist an integer T and utilities \(x', z' \in Y\) satisfying \(y> x' \ge v> z' > z\) and \(x - x' = T(z' - z)\).
By O (completeness) and WHE, \((x',\,z',\,_{\text {con}} z) \succsim (x,\,_{\text {con}} z)\), and by M, \((y,\,_{\text {con}} v)\) \(\succsim (x',\,z',\) \(_{\text {con}} z)\). By O (transitivity), \((y,\, _{\text {con}} v) \, \succsim \, (x,\, _{\text {con}} z)\).
Consider next WLD and WPD. Let \(_0 \mathbf {x}^0 = (x,\,_{\text {con}}z)\), and define \(_0 \mathbf {x}^n\) for \(n \in \{1,\dots ,\) \(T\}\) inductively as follows:
By O (completeness) and WLD, \(_0 \mathbf {x}^T \, \succsim \, _0 \, \mathbf {x}^0\), and by M, \((y,\,_{\text {con}} v) \, \succsim \, _0 \mathbf {x}^T\). By O (transitivity), \((y,\, _{\text {con}} v) \, \succsim \, (x,\, _{\text {con}} z)\) since \(_0 \mathbf {x}^0 = (x,\,_{\text {con}}z)\).
By O (completeness) and WPD, \(_0 \mathbf {x}^n \, \succsim \, _0 \, \mathbf {x}^{n-1}\) for \(n \in \{1,\dots ,T\}\), and by M, \((y,\,_{\text {con}} v)\) \(\succsim \, _0 \mathbf {x}^T\). By O (transitivity), \((y,\, _{\text {con}} v) \, \succsim \, (x,\, _{\text {con}} z)\) since \(_0 \mathbf {x}^0 = (x,\,_{\text {con}}z)\). \(\square \)
Proof
(of Proposition 4) This follows from [Asheim et al. 2007, Proposition 2]. \(\square \)
Proof
(of Proposition 5) Assume that the swr \(\succsim \) satisfies conditions O, RC, M, IF, and HEF. Let \(_0\mathbf {x}\), \(_0\mathbf {y} \in \mathbf {X}\) satisfy \(_0\mathbf {x} \, \succ \, _0\mathbf {y}\), and let , \(\bar{y} \in Y\) satisfy for all \(t \in \mathbb {Z}_+\). For any T \(0\) with , Proposition 4 implies that would contradict RC and HEF. Since , it follows from O and M that for all \(T > 0\). By IF and the above argument,
for all \(T > 1\). By invoking O and applying IF and the above argument repeatedly, for all \(T > 0\). Likewise, for all \(T > 0\).
Let \(_0\mathbf {z}\), be given by . Since for all T > 0, we have by O that \(({}_0\mathbf {x}_{T-1},\,_T\mathbf {z}) \, \sim \, ({}_0\mathbf {y}_{T-1},\,_T\mathbf {v})\) for all \(T > 0\). This contradicts DP.\(\square \)
The following result is useful for the proof of Proposition 6.
Lemma 2
Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, M, RD, and HEF. Then, for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(T \in \mathbb {Z}_+\), \(_T \mathbf {x} \, \precsim \, _{T+1} \mathbf {x}\).
Proof
Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, M, RD, and HEF. By the interpretation of \(_T \mathbf {x}\), it is sufficient to show that \(_0 \mathbf {x} \, \precsim \, _1 \mathbf {x}\). Suppose on the contrary that \(_0 \mathbf {x} \, \succ \, _1 \mathbf {x}\). By Lemma 1, there exist \(z^0\), \(z^1 \in Y\) such that \(_{\text {con}}z^0 \, \sim \, _0 \mathbf {x}\) and \(_{\text {con}}z^1 \, \sim \, _1 \mathbf {x}\), where, by O, M, and \(_0 \mathbf {x} \, \succ \, _1 \mathbf {x}\), it follows that \(z^0 > z^1\). Furthermore, since \(_1 \mathbf {x} \, \sim \, _{\text {con}}z^1\), it follows by IF that \((x_0, \,_1 \mathbf {x}) \, \sim \, (x_0, \, _{\text {con}} z^1)\). Hence, \(_0 \mathbf {x} \, \sim \, (x_0, \, _{\text {con}} z^1)\).
If \(x_0 \le z^0\), then,
This contradicts condition O, ruling out this case. If \(x_0 > z^0\), then, by selecting some \(v \in (z^1, z^0)\),
This contradicts condition O, ruling out also this case. \(\square \)
Proof
(of Proposition 6) Part I: (1) implies (2). Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, M, RD, and HEF. By Proposition 2, the swr \(\succsim \) is represented by a monotone swf \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfying, for some \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}(U)\), \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). It remains to be shown that \(V(u, w) = w\) for \(u > w\), implying that V satisfies (V.3\('\)) and, thus, \(V \in \mathcal {V}_S(U)\).
Since V(u, w) is non-decreasing in u for given \(w \in U(Y)\) and \(V(u,w) = w\) for \(u = w\), suppose that \(V(u,w) > w\) for some u, \(w \in U(Y)\) with \(u > w\). Since \(U \in \mathcal {U}_I\), the properties of W imply that there exist x, \(z \in Y\) with \(x > z\) such that
Since the swr \(\succsim \) is represented by the swf W, it follows that \((x,\,_{\text {con}}z) \, \succ \, _{\text {con}}z\). This contradicts Lemma 2.
Part II: (2) implies (1). Assume that the monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) is an swf and satisfies, for some \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_S(U)\), \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). By Proposition 2, it remains to be shown that the swr \(\succsim \), represented by the swf W, satisfies HEF. We now provide this argument.
Let x, y, z, \(v \in Y\) satisfy \(x> y> v > z\). We have to show that \((x,\,_{\text {con}}z) \, \nsucc \, (y,\,_{\text {con}}v)\), or equivalently, \(W(x,\,_{\text {con}}z) \le W(y,\,_{\text {con}}v)\). By the properties of W,
since \(x> y> v > z\), \(U \in \mathcal {U}_I\), and \(V \in \mathcal {V}_{S}(U)\) \(\square \)
Proof
(of Proposition 7) Fix \(U \in \mathcal {U}_I\) and \(V \in \mathcal {V}_{S}(U)\). The proof has two parts.
Part I: \({\lim }_{T \rightarrow \infty }W(_T \mathbf {x}) = {\lim \inf }_{t \rightarrow \infty } U(x_t)\). Assume that the monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfies \(W(_0 \mathbf {x}) = V(U(x_0),W(_1 \mathbf {x}))\) for all \(_0 \mathbf {x} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\). Hence, by Proposition 6, the swf W represents an swr \(\succsim \) satisfying O, RC, M, RD, IF, and HEF. By Lemma 1, for all \({}_0\mathbf {x} \in \mathbf {X}\), there exists \(z \in Y\) such that \(_{\text {con}}z \, \sim \, {}_0\mathbf {x}\). By Lemma 2, \(W(_t \mathbf {x})\) is non-decreasing in t.
Step 1: \(\lim _{t \rightarrow \infty }W(_t \mathbf {x})\) exists. Suppose \(W(_{\tau } \mathbf {x}) > \lim \sup _{t \rightarrow \infty } U(x_t)\) for some \(\tau \in \mathbb {Z}_+\). By the premise and the fact that \(U \in \mathcal {U}_I\), there exists \(z \in Y\) satisfying
and \(T \ge \tau \) such that \(z > v := \sup _{t \ge T}x_t\). By RD, O, and M, \(_{\text {con}}z \, \succ \, (v, \, _{\text {con}}z) \, \succsim \, _T \mathbf {x}\), and hence, by O, \(_{\text {con}}z \, \succ \, _T \mathbf {x}\). However, since \(W(_t \mathbf {x})\) is non-decreasing in t, \(W(_T \mathbf {x}) \, \ge \, W(_{\tau } \mathbf {x}) \, \ge \, U(z)\). This contradicts that W is an swf. Hence, \(W(_t \mathbf {x})\) is bounded above by \(\lim \sup _{t \rightarrow \infty } U(x_t)\), and the result follows since \(W(_t \mathbf {x})\) is non-decreasing in t.
Step 2: \(\lim _{t \rightarrow \infty }W(_t \mathbf {x}) \ge \lim \inf _{t \rightarrow \infty } U(x_t)\). Suppose
By the premise and the fact that \(U \in \mathcal {U}_I\), there exists \(z \in Y\) satisfying
and \(T \ge 0\) such that \(z < v := \inf _{t \ge T}x_t\). By O, M, and RD, \(_{\text {con}}z \, \precsim \, (z, \, _{\text {con}}v) \, \prec \, _{\text {con}}v \, \precsim \, _T \mathbf {x}\), and hence, by O, \(_{\text {con}}z \, \prec \, _T \mathbf {x}\). However, since \(W(_t \mathbf {x})\) is non-decreasing in t, \(W(_T \mathbf {x}) \, \le \, \lim _{t \rightarrow \infty }W(_t \mathbf {x}) \, \le \, U(z)\). This contradicts that W is an swf.
Step 3: \(\lim _{t \rightarrow \infty }W(_t \mathbf {x}) \le \lim \inf _{t \rightarrow \infty } U(x_t)\). Suppose
By Lemma 1, there exists, for all \(t \in \mathbb {Z}_+\), \(z^t \in Y\) such that \(_\text {con}z^t \, \sim \, _t \mathbf {x}\). Since \(U \in \mathcal {U}_I\), \(z \in Y\) defined by \(z := \lim _{t \rightarrow \infty }z^t\) satisfies \(U(z) = \lim _{t \rightarrow \infty } W(_t \mathbf {x})\). By the premise and the fact that \(U \in \mathcal {U}_I\), there exists \(x \in Y\) satisfying
and a subsequence \((x_{t_{\tau }},z^{t_{\tau }})_{\tau \in \mathbb {Z}_+}\) such that, for all \(\tau \in \mathbb {Z}_+\), \(x_{t_{\tau }} \le x < z^{t_{\tau }}\). Then
since \(z^t\) is non-decreasing in t. By O, RC, and the definition of z, \(_\text {con}z \precsim (x, \, _\text {con}z)\). Since \(x < z\), this contradicts RD.
Part II: Existence. Let \(_0 \mathbf {x} \in \mathbf {X}\). This implies that there exist , \(\bar{y} \in Y\) such that, for all \(t \in \mathbb {Z}_+\), . For each \(T \in \mathbb {Z}_+\), consider \(\{w(t,T)\}_{t=0}^T\) determined by (1).
Step 1: w(t, T) is non-increasing in T for given \(t \le T\). Given \(T \in \mathbb {Z}_+\),
by (1) and (V.3\(')\). Thus, applying (V.2), we have
Using (V.2) repeatedly, we obtain
which establishes that w(t, T) is non-increasing in T for given \(t \le T\).
Step 2: w(t, T) is bounded below by . By (1), (V.1), (V.2), and (V.3\('\)), , and for all \(t \in \{0,...,T-1\}\),
Hence, it follows by induction that w(t, T) is bounded below by .
Step 3: Definition and properties of \(W_{\sigma }\). By steps 1 and 2, \(\lim _{T \rightarrow \infty }w(t,T)\) exists for all \(t \in \mathbb {Z}_+\). Define the mapping \(W_{\sigma }: \mathbf {X} \rightarrow \mathbb {R}\) by (W). We have that \(W_{\sigma }\) is monotone by (1), (V.1), and (V.2). As \(w(0,T) = V(U(x_0),\) w(1, T)) and V satisfies (V.0), we have that \(W_{\sigma }(_0 \mathbf {x}) = V(U(x_0), W_{\sigma }(_1 \mathbf {x}))\). Finally, if \(_0 \mathbf {x} \, = \, _{\text {con}}z\) for some \(z \in Y\), then it follows from (1) and (V.3\(')\) that \(w(t,T) = U(z)\) for all \(T \in \mathbb {Z}_+\) and \(t \in \{0,...,T\}\), implying that \(W_{\sigma }(_0 \mathbf {x}) = U(z)\). \(\square \)
Proof
(of Proposition 8) Suppose there exists a monotone mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) satisfying \(W(_0 \mathbf {y}) = V(U(y_0),W(_1 \mathbf {y}))\) for all \(_0 \mathbf {y} \in \mathbf {X}\) and \(W(_\text {con}z) = U(z)\) for all \(z \in Y\) such that \(W(_0 \mathbf {x}) \ne W_{\sigma }(_0 \mathbf {x})\). Since V satisfies the property of weak time perspective, there is a continuous increasing transformation \(g : \mathbb {R} \rightarrow \mathbb {R}\) such that \(|g(W(_0 \mathbf {x})) - g(W_{\sigma }(_0 \mathbf {x}))| = \epsilon > 0\), and furthermore, \(|g(W(_t \mathbf {x})) - g(W_{\sigma }(_t \mathbf {x}))| = |g(V(U(x_t), W(_{t+1} \mathbf {x}))) - g(V(U(x_t),W_{\sigma }(_{t+1} \mathbf {x})))| \le |g(W(_{t+1} \mathbf {x})) {-} g(W_{\sigma }(_{t+1} \mathbf {x}))|\) for all \(t {\in } \mathbb {Z}_+\). It now follows, by induction, that
for all \(T \in \mathbb {Z}_+\). However this contradicts that, for all \(T \in \mathbb {Z}_+\),
by Proposition 7, since g is a continuous increasing transformation. \(\square \)
For the proofs of the results of Sect. 4, the following notation is useful, where \({}_0\mathbf {z} = (z_0,\,_1\mathbf {z}) = (z_0,\,z_1,\,_2\mathbf {z}) \in \mathbf {X}\) is a fixed but arbitrary reference stream:
Say that \(\succsim _0^\mathbf {z}\) is independent of \({}_0\mathbf {z}\) if, for all \({}_0\mathbf {x}\), \({}_0\mathbf {y}\), \({}_0\mathbf {z}\), \({}_0\mathbf {v} \in \mathbf {X}\), \(x_0 \succsim _0^\mathbf {z} y_0\) if and only if \(x_0 \succsim _0^\mathbf {v} y_0\), and likewise for \(_1{\succsim }^\mathbf {z}\), \(_0{\succsim }_1^\mathbf {z}\), \(_2{\succsim }^\mathbf {z}\), and \(\succsim _1^\mathbf {z}\). In this notation and terminology, condition IF implies that \(_1{\succsim }^\mathbf {z}\) is independent of \({}_0\mathbf {z}\), while condition IP states that \(_0{\succsim _1^\mathbf {z}}\) is independent of \({}_0\mathbf {z}\). The following result due to Gorman (1968b) indicates that imposing condition IP is consequential.
Lemma 3
Assume that the swr \(\succsim \) satisfies conditions IF and IP. Then \(\succsim _0^\mathbf {z}\), \(_1{\succsim }^\mathbf {z}\), \(_0{\succsim }_1^\mathbf {z}\), \(_2{\succsim }^\mathbf {z}\), and \(\succsim _1^\mathbf {z}\) are independent of \({}_0\mathbf {z}\).
Proof
Assume that the swr \(\succsim \) satisfies conditions IF and IP. By repeated application of IF, \(_1{\succsim }^\mathbf {z}\) and \(_2{\succsim }^\mathbf {z}\) are independent of \({}_0\mathbf {z}\), while IP states that \(_0{\succsim }_1^\mathbf {z}\) is independent of \({}_0\mathbf {z}\). By IF, \((x_1,\,_2\mathbf {z}) \, \succsim \, (y_1,\,_2\mathbf {z})\) is equivalent to \((z_0,\,x_1,\,_2\mathbf {z}) \, \succsim \, (z_0,\,y_1,\,_2\mathbf {z})\), which, by IP, is equivalent to \((z_0,\,x_1,\,_2\mathbf {v}) \, \succsim \, (z_0,\,y_1,\,_2\mathbf {v})\), which in turn, by IF, is equivalent to \((x_1,\,_2\mathbf {v}) \, \succsim \, (y_1,\,_2\mathbf {v})\), which finally, by IF, is equivalent to \((v_0,\,x_1,\,_2\mathbf {v}) \, \succsim \, (v_0,\,y_1,\,_2\mathbf {v})\), where \({}_0\mathbf {v} \in \mathbf {X}\) is some arbitrary stream. Hence, \(\succsim _0^z\) and \(\succsim _1^z\) are independent of \({}_0\mathbf {z}\). \(\square \)
Proof
(of Theorem 2) Part I: This part is proved in three steps.
Step 1: By Lemma 3, IF and IP imply that \(\succsim _0^\mathbf {z}\) is independent of \({}_0\mathbf {z}\).
Step 2: By condition WS, there exist \({}_0\mathbf {x}\), \({}_0\mathbf {y}\), \({}_0\mathbf {z} \in \mathbf X \) such that \(x_0 \succ _0^\mathbf {z} y_0\). This rules out that \(x_0 = y_0\), and by M, \(x_0 < y_0\) would lead to a contradiction. Hence, \(x_0 > y_0\). Since \(\succsim _0^\mathbf {z}\) is independent of \({}_0\mathbf {z}\), this implies RS.
Step 3: By Proposition 4, there is no swr \(\succsim \) satisfying RC, RS, and HEF.
Part II: To establish this part, consider dropping a single condition.
Dropping IP. Existence follows from Theorem 1 since RD implies WS.
Dropping HEF. Existence follows from Propositions 9 and 10.
Dropping WS. All the remaining conditions are satisfied by the swf \(\succsim \) being represented by the mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) defined by \(W(_0 \mathbf {x}) := {\lim \inf }_{t \rightarrow \infty } x_t\).
Dropping M. All the remaining conditions are satisfied by the swf \(\succsim \) being represented by the mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) defined by \(W(_0 \mathbf {x}) := - x_0 + {\lim \inf }_{t \rightarrow \infty } x_t\).
Dropping IF. All the remaining conditions are satisfied by the swf \(\succsim \) being represented by the mapping \(W: \mathbf {X} \rightarrow \mathbb {R}\) defined by \(W(_0 \mathbf {x}) := \min \{x_0,\, x_1 \}\).
Dropping RC. Existence follows from Proposition 13 since SP implies M and WS. \(\square \)
Proof
(of Proposition 9) The proof is based on standard results for additively separable representations (Debreu 1960; Gorman 1968a; Koopmans 1986a), and is available at http://folk.uio.no/gasheim/srswfs2.pdf \(\square \)
Proof
(of Proposition 10) Available at http://folk.uio.no/gasheim/srswfs2.pdf \(\square \)
Proof
(of Proposition 11) Assume that the swr \(\succsim \) satisfies conditions O, RC, IF, M, IP, and NDF. By Proposition 1, O, IF, and NDF imply WS. Hence, by Propositions 9 and 10, the swr \(\succsim \) is represented by \(W_{\delta } : \mathbf X \rightarrow \mathbb {R}\) defined by, for each \(_0 \mathbf {x} \in \mathbf {X}\),
for some \(U \in \mathcal {U}\) and \(\delta \in (0,1)\). This implies DP, thus contradicting NDP. \(\square \)
The proof of Proposition 12 needs some preliminaries. A sustainable recursive SWF \(W:\mathbf {X}\rightarrow \mathbb {R}\) is given, with \(W(_{0}x)=V(U(x_{0}),W(_{1}x))\) for all \(_{0}x\in \mathbf {X}\) and \(W(_{con}z)=U(z)\) for all \(z\in Y\). A utility stream \(_0 \mathbf {u}\) is associated with a feasible path \(_0 \mathbf {k}\) from \(k \in [0,\bar{k}]\) if \(u_t = U(x(f(k_t) - k_{t+1},k_t))\) for \(t \ge 0\). Write \(u^{*}\equiv U(x^{*})=U(x(c^{*},k^{*}))=U(x(f(k^{*})-k^{*},k^{*}))\).
Write \(S:=\{(c,k)\in [0,\bar{k}] \mid x(c,k)=x^{*}\}\). Since \(S \ne \emptyset \), we can define:
Note that \(k^{*}\in I\). Let \(k\in I\); then there is \(c\ge 0\) such that \(x(c,k)=x^{*}\). Now, let \(k' \in I\) satisfy \(k'>k\). Then \(x(c,k')\ge x(c,k)=x^{*}\), while \(x(0,k') \le x(0,\bar{k}) = x(f(\bar{k})-\bar{k},\bar{k}) \le x^{*}\). Thus, by continuity of x, there is some \(c^{\prime }\ge 0,\) such that \(x(c^{\prime },k^{\prime })=x^{*}.\) This shows that I is a sub-interval of \((0,\bar{k}]\), containing \([k^{*},\bar{k}]\).
Define, for each \(k\in I\), the set \(\phi (k)=\{c\ge 0 \mid (c,k)\in S\}\). By definition of I, \(\phi (k)\) is non-empty for each \(k\in I\). Since \(k \in I\) implies \(k > 0\), \(\phi (k)\) is a singleton by property (3)(ii) of the function x. Thus, \(\phi \) is a function from I to \(\mathbb {R}_{+},\) and by definition, \(x(\phi (k),k)\) \(=x^{*}\;\;\text {for all }k\in I\), so \(c^{*}=\phi (k^{*})\). By property (3)(ii), \(\phi \) is non-increasing on I.
Lemma 4
For every \(k \in [k^{*}, \bar{k}]\), there exists a feasible resource path, \(_0 \hat{\mathbf {k}}\), from k where the associated well-being stream, \(_0 \hat{\mathbf {x}}\), satisfies \(W(_t \hat{\mathbf {x}}) = W(_{\mathrm{con}}x^{*})\) for \(t \ge 0\).
Proof
Let \(k \in [k^{*}, \bar{k}]\), and consider the resource path \(_0 \hat{\mathbf {k}}\) defined by
Note that, if \(k_t \in [k^{*}, \bar{k}]\), then
Hence, \(k_{t+1} \in [k^{*}, \bar{k}]\) and, by induction, \(k_t \in [k^{*}, \bar{k}]\) for \(t \ge 0\). This shows that \(_0 \hat{\mathbf {k}}\) is feasible from \(k \in [k^{*}, \bar{k}]\). By the definition of \(\phi (\cdot )\), \(x_t = x(\phi (k_t),k_t) = x^{*}\) for \(t \ge 0\). \(\square \)
Lemma 5
Let \(_{0}\hat{\mathbf {k}}\) be a feasible resource path from \(k\in [0,\bar{k}]\) with associated utility stream, \(_{0}\mathbf {u}\). Given any \(\varepsilon >0\), there is some \(T\ge 0\) such that \(u_{T}<u^{*}+\varepsilon \).
Proof
Suppose, on the contrary, there is some \(\varepsilon >0,\) such that \( u_{t}\ge u^{*}+\varepsilon \) for all \(t\ge 0.\) By continuity of U, there is \(\delta >0,\) such that whenever \(x\in Y\) and \(|x-x^{*}|<\delta , \) we have \(|U(x)-U(x^{*})|<\varepsilon .\) Thus, we must have \( |x_{t}-x^{*}|\ge \delta \) for all \(t\ge 0.\) Further, since U is an increasing function, we must have \(x_{t}\ge x^{*}+\delta \) for all \( t\ge 0.\) This implies:
Since \(x(f(k_{t})-k_{t},k_{t})\le x^{*},\) property (3)(ii) implies that \(k_{t+1}<k_{t}\) for all \(t\ge 0\). Thus, \(_{0}\mathbf {k}\) must converge to some \(\kappa \in [0,\bar{k}]\). The continuity of f and x then imply that \(x(f(\kappa )-\kappa ,\kappa )\ge x^{*}+\delta \), and this contradicts the definition of \(x^{*}\). \(\square \)
Lemma 6
Let \(_{0}\hat{\mathbf {k}}\) be a feasible resource path from \(k\in [0,\bar{k}]\) with associated well-being stream, \(_{0}\hat{\mathbf {x}}\). Then, we have \(W(_{0}\hat{\mathbf {x}})\le W(_{\mathrm {con}}x^{*})\).
Proof
Suppose, by way of contradiction, that there exist \(k\in [0,\bar{k}]\) and a feasible resource path, \(_{0}\hat{\mathbf {k}}\), from k where the associated well-being stream, \(_{0}\hat{\mathbf {x}}\), satisfies \(W(_{0}\hat{\mathbf {x}})>W(_{\mathrm {con}}x^{*})=U(x^{*})=u^{*}\). Denote by \(_{0}\hat{\mathbf {u}}\) the associated utility stream (i.e., \(\hat{u}_{t}=U(\hat{x}_{t})\) for \(t\ge 0\)). Since \(W(_{t}\hat{\mathbf {x}})\) is non-decreasing in t, and is bounded above by \(U(x(\bar{k},\bar{k}))\) (by the properties of a sustainable recursive swf), it converges to some \(\omega \le U(x(\bar{k},\bar{k}))\). Hence, \(\omega \ge W(_{0}\hat{\mathbf {x}})>u^{*}\). Since the aggregator function V satisfies (V.3\('\)), we must have \(V(u^{*},\omega )<V(\omega ,\omega )=\omega \). Using the continuity of V, we can find \(\varepsilon >0\) such that
Write \(\theta :=\omega -V(u^{*}+\varepsilon ,\omega )\). By (5), \(\theta >0\).
Choose \(T\in Z_{+}\) large enough so that for all \(t\ge T\), \(W(_{t}\hat{ \mathbf {x}})\ge \omega -(\theta /2)\). By Lemma 5, \(\hat{u}_{t}<u^{*}+\varepsilon \) for some \(t\ge T\). Let \(\tau \) be the first period (\(\ge \!T\)) for which \(\hat{u}_{t}<u^{*}+\varepsilon \). Then:
which is a contradiction. \(\square \)
Lemma 7
If a feasible resource path, \(_{0}\hat{\mathbf {k}}\), from \(k\in [0,\bar{k}]\) has an associated well-being stream, \(_{0}\hat{\mathbf {x}}\), which satisfies \(W(_{0}\hat{\mathbf {x}})=W(_{\mathrm {con}}x^{*})\), then (i) \(\hat{x}_{t}\ge x^{*}\) for all \(t\ge 0\); and (ii) \(\hat{k}_{t}\ge k^{*}\) for all \(t\ge 0.\)
Proof
Assume that a feasible resource path, \(_{0}\hat{\mathbf {k}}\), from \(k\in [0,\bar{k}]\) has an associated well-being stream, \(_{0}\hat{\mathbf {x}}\), which satisfies \(W(_{0}\hat{\mathbf {x}})=W(_{\mathrm {con}}x^{*})\). Since \(W(_{t}\hat{\mathbf {x}})\) is non-decreasing in t, it follows from Lemma 6 that \(W(_{t}\hat{\mathbf {x}})=W(_{\mathrm {con}}x^{*})=u^{*}\) for all \(t\ge 0\).
To establish (i), suppose, by way of contradiction, that \(\hat{x} _{t}<x^{*}\) for some \(t\ge 0\). Then, since \(U(\hat{x}_{t})<U(x^{*})=u^{*}\), (V.3\(^{\prime }\)) implies:
which is a contradiction.
To establish (ii), suppose, on the contrary, that \(\hat{k}_{\tau }<k^{*}\) for some \(\tau \ge 0\). Then, by the fact that \(x(f(k)-k,k) < x^{*}\) if \(k \ne k^{*}\), we have \(x(f(\hat{k}_{\tau })-\hat{k}_{\tau },\hat{k}_{\tau })<x^{*},\) while:
So, \(\hat{k}_{\tau +1}<\hat{k}_{\tau }<k^{*},\) and repeating this step, \(\hat{k}_{t+1}<\hat{k}_{t}\) for all \(t\ge \tau \). Thus, \(_{0}\hat{k}\) must converge to some \(\kappa \in [0,\bar{k}]\), with \(\kappa \le \hat{k}_{\tau }<k^{*}\). The continuity of f and x then imply that:
using (i). But, this contradicts that \(x(f(k)-k,k) < x^{*}\) if \(k \ne k^{*}\). \(\square \)
Proof
(of Proposition 12) Lemmas 4 and 6 establish existence of an optimum and that any optimal well-being stream satisfies \(W(_{t}\hat{\mathbf {x}})=W(_{\mathrm {con}}x^{*})\) for \(t\ge 0\). Lemma 7 shows that any optimal resource path \(_0 \hat{\mathbf {k}}\), with associated well-being stream \(_0 \hat{\mathbf {x}}\), satisfies \(\hat{x}_{t}\ge x^{*}\) and \(\hat{k}_{t}\ge k^{*}\) for \(t\ge 0\). \(\square \)
Proof
(of Proposition 13) Asheim and Tungodden (2004a), Basu and Mitra (2007), and Bossert et al. (2007) define different incomplete leximin and undiscounted utilitarian swrs, each of which is given an axiomatic characterization. Denote by \(\succsim \) one such incomplete swr. It can be verified that \(\succsim \) is reflexive, transitive and satisfies IF, SP, HEF (with \((x,\, _{\text {con}} z) \, \precsim \, (y,\, _{\text {con}} v)\) if \(x> y> v > z\)), and IP. Completeness (and thereby condition O) can be satisfied by invoking Arrow’s (1951) version of Szpilrajn’s (1930) extension theorem (see also Svensson 1980).
Since \(\succsim \) satisfies conditions SP and HEF (with \((x,\, _{\text {con}} z) \, \precsim \, (y,\, _{\text {con}} v)\) if \(x> y> v > z\)), so will any completion. Since, for all \({}_0\mathbf {x}\), \({}_0\mathbf {y}\), \({}_0\mathbf {z} \in \mathbf {X}\), \((x_0, \, x_1) \;\, _0{\succsim }_1^\mathbf {z} \;\, (y_0, \, y_1)\) or \((x_0, \, x_1) \;\, _0{\precsim }_1^\mathbf {z} \;\, (y_0, \, y_1)\), and \(\succsim \) satisfies IP, so will any completion. However, special care must be taken to ensure that the completion satisfies IF.
Consider \(\mathbf {X}_0^2 = \{(_0 \mathbf {x},\,_0 \mathbf {y}) \in \mathbf {X}^2 \mid x_0 \ne y_0 \}\), and invoke Arrow’s (1951) version of Szpilrajn’s (1930) extension theorem to complete \(\succsim \) on this subset of \(\mathbf {X}^2\). For any \((_0 \mathbf {x},\, _0 \mathbf {y}) \in \mathbf {X}\) with \(_0 \mathbf {x} \, \ne \, _0 \mathbf {y}\), let \(_0 \mathbf {x}\) be at least as good as \(_0 \mathbf {y}\) if and only if \(_T \mathbf {x}\) is at least as good as \(_T \mathbf {y}\) according to the completion of \(\succsim \) on \(\mathbf {X}_0^2\), where \(T := \min \{t \mid x_t \ne y_t \}\). Since \(\succsim \) satisfies IF, this construction constitutes a complete swr satisfying IF. \(\square \)
Rights and permissions
Open Access This chapter is distributed under the terms of the Creative Commons Attribution Noncommercial License, which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Copyright information
© 2016 The Author(s)
About this chapter
Cite this chapter
Asheim, G.B., Mitra, T., Tungodden, B. (2016). Sustainable Recursive Social Welfare Functions. In: Chichilnisky, G., Rezai, A. (eds) The Economics of the Global Environment. Studies in Economic Theory, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-319-31943-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-31943-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-31941-4
Online ISBN: 978-3-319-31943-8
eBook Packages: Economics and FinanceEconomics and Finance (R0)