In economics, the overtaking criterion is used to compare infinite streams of outcomes. Mathematically, it is used to properly define a notion of optimality for a problem of optimal control on an unbounded time interval.[1]

Often, the decisions of a policy-maker may have influences that extend to the far future. Economic decisions made today may influence the economic growth of a nation for an unknown number of years into the future. In such cases, it is often convenient to model the future outcomes as an infinite stream. Then, it may be required to compare two infinite streams and decide which one of them is better (for example, in order to decide on a policy). The overtaking criterion is one option to do this comparison.

Notation

is the set of possible outcomes. E.g., it may be the set of positive real numbers, representing the possible annual gross domestic product. It is normalized

is the set of infinite sequences of possible outcomes. Each element in is of the form: .

is a partial order. Given two infinite sequences , it is possible that is weakly better () or that is weakly better () or that they are incomparable.

is the strict variant of , i.e., if and not .

Cardinal definition

is called the "overtaking criterion" if there is an infinite sequence of real-valued functions such that:[2]

     iff     

An alternative condition is:[3][4]

     iff     

Examples:

1. In the following example, :

This shows that a difference in a single time period may affect the entire sequence.

2. In the following example, and are incomparable:

The partial sums of are larger, then smaller, then equal to the partial sums of , so none of these sequences "overtakes" the other.

This also shows that the overtaking criterion cannot be represented by a single cardinal utility function. I.e, there is no real-valued function such that iff . One way to see this is:[3] for every and :

Hence, there is a set of disjoint nonempty segments in with a cardinality like the cardinality of . In contrast, every set of disjoint nonempty segments in must be a countable set.

Ordinal definition

Define as the subset of in which only the first T elements are nonzero. Each element of is of the form .

is called the "overtaking criterion" if it satisfies the following axioms:

1. For every , is a complete order on

2. For every , is a continuous relation in the obvious topology on .

3. For each , is preferentially-independent (see Debreu theorems#Additivity of ordinal utility function for a definition). Also, for every , at least three of the factors in are essential (have an effect on the preferences).

4.      iff     

Every partial order that satisfies these axioms, also satisfies the first cardinal definition.[2]

As explained above, some sequences may be incomparable by the overtaking criterion. This is why the overtaking criterion is defined as a partial ordering on , and a complete ordering only on .

Applications

The overtaking criterion is used in economic growth theory.[5]

It is also used in repeated games theory, as an alternative to the limit-of-means criterion and the discounted-sum criterion. See Folk theorem (game theory)#Overtaking.[3][4]

See also

References

  1. Carlson, D. A.; Haurie, A. B.; Leizarowitz, A. (1991). "Definition of Optimality on an Unbounded Time Interval". Infinite Horizon Optimal Control. Berlin: Springer. pp. 9–17. ISBN 3-540-54249-3.
  2. 1 2 Brock, William A. (1970). "An Axiomatic Basis for the Ramsey–Weizsäcker Overtaking Criterion". Econometrica. 38 (6): 927–929. doi:10.2307/1909701. JSTOR 1909701.
  3. 1 2 3 Rubinstein, Ariel (1979). "Equilibrium in supergames with the overtaking criterion". Journal of Economic Theory. 21: 1–9. doi:10.1016/0022-0531(79)90002-4.
  4. 1 2 Rubinstein, A. (1980). "Strong perfect equilibrium in supergames". International Journal of Game Theory. 9: 1–12. doi:10.1007/BF01784792.
  5. See papers by: Gale, Koopmans, McKenzie, von Weizsacker, and Brock
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.