Abstract
Let I be an interval, X be a metric space and \(\succeq \) be an order relation on the infinite product \(X^{\infty }\). Let \(U:X^{\infty }\rightarrow {\mathbb {R}}\) be a continuous mapping, representing \(\succeq \), that is such that \((x_0,x_1,x_2,\ldots )\succeq (y_0,y_1,y_2,\ldots )\Leftrightarrow U(x_0,x_1,x_2,\ldots )\ge U(y_0,y_1,y_2,\ldots )\). We interpret X as a space of consumption outcomes and the relation \(\succeq \) represents how an individual would rank all consumption sequences. One assumes that U, called the utility function, satisfies the recursion \(U(x_0,x_1,x_2,\ldots )=\varphi (x_0, U(x_1,x_2,\ldots )),\) where \(\varphi :X\times I \rightarrow I\) is a continuous function strictly increasing in its second variable such that each function \(\varphi (x,\cdot )\) has a unique fixed point. We consider an open problem in economics, when the relation \(\succeq \) can be represented by another continuous function V satisfying the affine recursion \(V(x_0,x_1,x_2,\ldots ) = \alpha (x_0)V(x_1,x_2,\ldots )+ \beta (x_0)\). We prove that this property holds if and only if there exists a homeomorphic solution of the system of simultaneous affine functional equations \( F(\varphi (x,t))=\alpha (x) F(t)+ \beta (x), x \in X, t \in I\) for some functions \(\alpha , \beta :X\rightarrow {\mathbb {R}}\). We give necessary and sufficient conditions for the existence of homeomorhic solutions of this system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let X be a topological space. Let \(X^{\infty }\) be the infinite Cartesian product endowed with product topology. Let \(\succeq \) be a transitive and connex binary relation on \(X^{\infty }\).
The economic interpretation of these objects is as follows. The space X is treated as a set of consumption outcomes, \((x_0,x_1,x_2,\ldots ) \in X^{\infty }\) as a sequence of outcomes consumed over time, where the element \(x_n\) represents the outcome consumed in period n.
The order relation “\(\succeq \)” describes how an individual would rank all consumption sequences.
Economists working with binary relations usually assume that they can be represented by real functions.
We will say that the continuous function \(U:X^{\infty } \rightarrow {{\mathbb {R}}}\) represents “\(\succeq \)” if for all \((x_0,x_1,x_2,\ldots ), (y_0,y_1,y_2,\ldots )\in X^{\infty }\)
A function U satisfying the above condition is said to be a utility function. In the problem under consideration the economists assume that the utility function U satisfies the recursion
where \(\varphi :X\times {\mathrm{I}} \rightarrow {\mathrm{I}}\) is a continuous function strictly increasing in its second variable and \({\mathrm{I}}\) is an interval.
Assume that \(X^{\infty }\) is a connected topological space and U satisfies (1). Then the set \(U(X^{\infty })\) is a subinterval of \({\mathrm{I}}\) as the image of a continuous function of a connected space and \(\varphi (x,U(X^{\infty }))\subset U(X^{\infty }))\) for every \(x\in X\). Thus for a given U we may restrict the domain of \(\varphi \) to the set \(X{\times }U(X^{\infty })\) and further assume that \(U(X^{\infty })=I\).
The recursion (1) was introduced by Koopmans et al. in paper [3], which is considered as a classical one in economics. In this paper it is explained, why it is natural to impose this recursive structure on U (see also [1]).
The key role in this theory is played by the property of “impatience” on the part of the individual defined as follows.
Impatience For all \(n\ge 1\), \(a,b \in X^n \) and all \((x_0,x_1,\ldots )\in X^{\infty }\)
In simple terms this means that, if the repeated consumption \(a\in X^n\) is preferred over the repeated consumption \(b\in X^n\), so that a is “better” then b , than the individual would sooner consume a than b.
Koopmans started with the conjecture that any binary relation that admits a utility function satisfying (1) would satisfy impatience. It turned out that this supposition is false. Koopmans left the problem how to represent the relation of preference that do satisfy impatience. Next Asen Kochov (in personal correspondence) posed a conjecture that impatience holds if and only if the recursion representing \(\succeq \) can be chosen to be affine admitting non-constant coefficients.
In this paper we show that this conjecture without additional assumptions is not true. We prove even something more, we give necessary and sufficient conditions when the above conjecture holds.
2 Preliminary remarks
We make the following general assumption:
-
(A)
X is a Hausdorff topological space satisfying the first axiom of countability and the product topology in \(X^{\infty }\) is such that it is connected and the convergence of the sequences is equivalent to the convergence with respect to coordinates, that is \(\lim _{k\rightarrow \infty }(x_{0,k},x_{1,k}, \ldots )= (x_0,x_1,\ldots )\) if and only if \(\lim _{k\rightarrow \infty }x_{n,k} =x_n\) for every \(n \in {{\mathbb {N}}}\) .
Note that if X is connected then \(X^{\infty }\) is connect, moreover condition (A) holds for metric spaces.
In fact, let (X, d) be a metric space. Define on \(X^{\infty }\) the metric
Note that \((X^{\infty },\varrho )\) is a metric space satisfying condition (A).
Let us introduce the notation
Obviously \(f_a:I\rightarrow I\). It is convenient to consider X as the set of parameters. Let U satisfy (1). Put
By (1) we have \( U_a= U(a,a,\ldots )= \varphi (a, U(a,a,\ldots ))=f_a( U(a,a,\ldots ))=f_a(U_a)\). Thus \(U_a\) is a fixed point of \(f_a\).
Remark 1
Every function \(f_a\) has a unique fixed point.
Proof
Suppose that \(f_a(p)=p\) for a \(p\in I\). By the surjectivity of U there exists a sequence \((a_1,a_2,\ldots ) \in X^{\infty }\) such that \(U(a_1,a_2,\ldots )=p\). Since \(f_a(p)=p\) we have by (1)
Hence \(f^2_a(U(a_1,a_2,\ldots ))=f_a(U(a,a_1,a_2,\ldots ))=U(a,a,a_1,a_2,\ldots )\). Further, by induction, we get \(p=f_a^n(p)= U(a,a,\ldots ,a,a_1,a_2,\ldots )\) (a is repeated n-times).
Since \((a,a,\ldots ,a,a_1,a_2,\ldots )\rightarrow (a,a,a,\ldots )\), the continuity of U implies that
so \(p= U_a\). \(\square \)
Remark 2
If a function \(V:X^{\infty }\rightarrow {{\mathbb {R}}}\) satisfies (1) and \(V_a:=V(a,a,\ldots )\) then \(V_a=U_a\).
This is a simple consequence of the fact that \(f_a(U_a)=U_a\), \(f_a(V_a)=V_a\) and \(f_a\) has a unique fixed point.
Remark 3
If \(\inf \,I<\inf \,f_a\) and \(\sup \,f_a< \sup \, I\) then \(U_a \in {\mathrm{Int}}I\) and
-
(H)
\(f_a(t)<t\) for \(t>U_a\) and \(f_a(t)>t\) for \(t<U_a.\)
Moreover, (H) holds if and only if for all sequences \((x_1,x_2,\dots ), (y_1,y_2,\ldots ) \in X^{\infty }\) such that \((x_1,x_2,\dots )\succeq (a,a,\dots ) \succeq (y_1,y_2,\ldots )\) we have \((x_1,x_2,\dots )\succeq (a,x_1,x_2,\ldots )\) and \((a,y_1,y_2,\ldots ) \succeq (y_1,y_2,\ldots )\).
Proof
Since \(f_a\) has a unique fixed point, the inequalities \(\inf \,I<\inf \,f_a\), \(\sup \,f_a< \sup \, I\), imply that \(U_a\in {\mathrm{Int}}I\). Moreover, \(\inf \,I<\inf \,f_a\) implies that \(f_a(t)>t\) for \(t<U_a\) and \(\sup \,f_a< \sup \, I\) implies that \(f_a(t)<t\) for \(t>U_a\).
Let now \( t\in I\) and \(t>U_a\). Then there exists a sequence \((x_1,x_2,\ldots )\) such that \(U(x_1,x_2,\ldots )=t\). Since \(U(x_1,x_2,\ldots )>U(a,a,\dots )\) we have \((x_1,x_2,\ldots )\succeq (a,a,\dots )\). Thus by the assumption \((x_1,x_2,\dots )\succeq (a,x_1,x_2,\ldots )\), so
Since \(f_a\) has a unique fixed point and \(t\ne U_a\) we get \(f_a(t)<t\). Similarly we get the second inequality in (H).
Now, let (H) hold and \((x_1,x_2,\dots )\succeq (a,a,\dots )\). Put \(t=U(x_1,x_2,\dots )\). We have \(t\ge U_a\). Then \(f_a(t)\le t\), so \(U(a,x_1,x_2,\ldots )=f_a(U(x_1,x_2,\dots ))=f_a(t)\le t =U(x_1,x_2,\dots ).\) Thus \((x_1,x_2,\dots )\succeq (a,x_1,x_2,\ldots )\). Similarly we get the second inequality. \(\square \)
If I is a compact interval and \(\inf f_a=\inf I\) then \(f_a(t)<t\) for \(t\ne U_a\), however if \(\sup f_a<\sup I\) then \(f_a(t)>t\) for \(t\ne U_a\). Thus, if I is a compact interval then (H) holds.
Further we assume that every mapping \(f_a\) satisfies (H) .
3 Results
Let us introduce the notation
By (1) we get that for every \(k\in {{\mathbb {N}}}\setminus {0}\) and all \(a \in X^k\) and \(x\in X^{\infty }\)
Hence, similarly as in Remark 1, it follows that every \(f_a\) for \(a\in X^k\) has a unique fixed point \(U_a\).
Note that \(G:=\{f_a: a\in \bigcup _{k\ge 1}X^k\}\) is a semigroup of strictly increasing continuous functions possessing a unique fixed point (in this notation \(a= (a_0,a_1,\ldots ,a_k)\)).
Theorem 1
The relation \(\succeq \) satisfies impatience if and only if
Proof
This theorem is a consequence of the surjectivity of U and the following equivalences and equalities
\(\square \)
Corollary 1
If the relation \(\succeq \) satisfies impatience then \(f_a\) and \(f_b\) have a joint fixed point if and only if \(f_a\circ f_b=f_b\circ f_a\).
Let us consider the particular case, where \(f_a(s)=\alpha (a)s +\beta (a)\), where \(\alpha :X\rightarrow (0,1)\) and \(\beta :X\rightarrow {{\mathbb {R}}}\) are continuous functions. Then \(f_a\) satisfies (H) and (1) has the form
Theorem 2
If V fulfills (2) then the order relation represented by V satisfies impatience.
Proof
We have \(f_x(s)=\alpha (x)s + \beta (x)\), \(x\in X\) and \(0<\alpha (x)<1\). The composition of affine functions is an affine function. Thus we may extend the domain of the functions \(\alpha \) and \(\beta \) on \( \bigcup _{k\ge 1}X^k\) as follows
Hence \(f_x(s)=\alpha (x)s + \beta (x)\), \(x\in \bigcup _{k\ge 1}X^k\), so for all \(a,b \in \bigcup _{k\ge 1}X^k\)
Putting \(V_a=V(a,a,\dots )\) and \(V_b=V(b,b,\dots )\) we have \(f_a(V_a)=V_a\) and \(f_b(V_b)=V_b\). Hence \(V_a=\frac{\beta (a)}{1-\alpha (a)}\) and \(V_b=\frac{\beta (b)}{1-\alpha (b)}\) and \(V_a\ge V_b\) if and only if \( \alpha (a)\beta (b)+\beta (a)\ge \alpha (b)\beta (a)+ \beta (b)\). Thus, by (3), the inequalities \(V_a\ge V_b\) and \( f_a\circ f_b\ge f_a\circ f_b\) are equivalent, so Theorem 1 implies that the relation represented by V satisfies impatience. \(\square \)
Lemma 1
Let U and V be the utility functions. They represent the same order relation if and only if there exists an increasing homeomorphism \(\Phi :{\mathrm{I}}\rightarrow {\mathrm{J}}\) such that \(U=\Phi \circ V\), where \(I=U[X^{\infty }]\) and \(J=V[X^{\infty }]\).
Proof
For all \(x,y\in X^{\infty }\)\(x\succeq y\Leftrightarrow U(x)\ge U(y)\) and \(x\succeq y\Leftrightarrow V(x)\ge V(y)\), so \(U(x)\ge U(y) \Leftrightarrow V(x)\ge V(y)\) and consequently, changing the role of x and y, we have \(U(x)=U(y)\Leftrightarrow V(x)=V(y)\). Now, we may define \(\Phi :I \rightarrow J\) as follows
This definition is correct since it does not depend on the choice of x. Obviously \(\Phi \) is a non-decreasing surjection. Changing the role of U and V we infer that there exists a non-decreasing surjection \(\Psi :J\rightarrow I\) such that \(\Psi \circ V(x)=U(x)\). Hence \(\Phi \circ \Psi = id\), so \(\Phi \) is injective and consequently, as an increasing bijection, is a homeomorphism. \(\square \)
Lemma 2
Let \(0<\alpha (x)<1\) for \(x\in X\). Then recursion (2) has at most one continuous solution.
Proof
Let \(V_1, V_2:X^{\infty }\rightarrow {{\mathbb {R}}}\) be continuous solutions of (2). Put \(W:=V_1-V_2\). Then for every \(x_i\in X \ i=0,1,2,\ldots \)
By induction we get that for every \(k\ge 1\)
Suppose that \(x_n=x_{n+k}\) for \(n\ge 0\). Then for this periodic sequence the last equality has the form
Hence, by induction, we get that for every \(n\ge 1\)
Since \(0<\alpha (x_i)<1\) we have \(\lim _{n\rightarrow \infty }\left[ \prod _{i=0}^{k-1}\alpha (x_i)\right] ^n =0\) and, consequently, \(W(x_0,x_1,x_2,\dots )=0\) for every periodic sequence \(\{x_n\}\).
Let \({{{\mathcal {X}}}}:=(x_0,x_1,\ldots ) \in X^{\infty }\) be a given sequence. Define the following k-periodic sequences
Note that assumption (A) implies that \(\lim _{k\rightarrow \infty } {{{\mathcal {X}}}}_k={{{\mathcal {X}}}}\), since the sequence of n-coordinates of the sequence \(\{{{{\mathcal {X}}}}_k\}\) is constant up to the index n and is equal to \(x_n\). Since \(W({{{\mathcal {X}}}})= \lim _{k\rightarrow \infty }W({{{\mathcal {X}}}}_k) \) and \(W({{{\mathcal {X}}}}_k)=0\) for \(k\ge 1\) we get \(W({{{\mathcal {X}}}})=0\), which gives that \(V_1=V_2\). \(\square \)
Let \(\alpha :X\rightarrow (0,1)\) and \(\beta :X \rightarrow {{\mathbb {R}}}\). It is easy to verify that, if the series defining the function
converges for every sequence \((x_0,x_1,x_2,\ldots ) \in X^{\infty }\), then S satisfies recursion (2).
The function S given by formula (4) for continuous \(\alpha \) and \(\beta \) is known, in economic literature, as the Uzawa-Epstein utility function (see [1]). It follows, by Lemma 2, that if recursion (2) has a continuous solution, then it is given by formula (4).
If we assume that function \(\alpha \) is constant we give the following
Corollary 2
If \(\alpha \in (0,1)\) and \(\beta :X\rightarrow {{\mathbb {R}}}\) is continuous and bounded then the function
is a unique continuous solution of the recursion
Theorem 3
Let the utility functions U and V represent the same order relation. If U satisfies (1) and V satisfies
then there exists an increasing homeomorphism \(\Phi :I\rightarrow J\) such that
Conversely, assume additionally that all continuous solutions of (5) represent the same order relation. If there exists an increasing homeomorphism \(\Phi \) satisfying (6), then U and V represent the same order. Moreover, \(V=\Phi ^{-1}\circ U\).
Proof
Let U and V represent the same order relation. Then, by Lemma 1, there exists an increasing homeomorphism \(\Phi \) such that \(V=\Phi \circ U\). Hence
so, by (5),
hence
By the surjectivity of \(U:X^{\infty }\rightarrow I\) we get (6).
Conversely, let (6) hold. Then putting in (6) \(x=x_0\) and \(t=U(x_1,x_2\ldots )\) we have
so, by (1),
Putting \(W:=\Phi \circ U\) we get
Thus W is a continuous solution of (5), so by the assumption W and V represent the same order. By Lemma 1 there exists an increasing homeomorphism \(\Lambda \) such that \(W=\Lambda \circ V\). Hence \(U=\Phi ^{-1}\circ W= \Phi ^{-1}\circ \Lambda \circ V\). Thus U and V represent the same relation. \(\square \)
Putting in (5) \(\psi (x,t)=\alpha (x)t + \beta (x)\) we get by Theorem 3 and Lemma 2 the following.
Theorem 4
Let U satisfy (1) and V satisfy (2). Then U and V represent the same relation if and only if there exists an increasing homeomorphism \(\Phi :{\mathrm{I}}\rightarrow {{\mathbb {R}}}\) such that
Let us write the last system in more convenient form
for some \(0<\alpha _x<1\) and \(\beta _x \in {{\mathbb {R}}}.\)
Theorem 5
If U satisfies (1) and there exists an increasing homeomorphic solution of (7) with some coefficients \(\alpha _x\in (0,1)\) and \(\beta _x\in {{\mathbb {R}}}\), then the relation represented by U satisfies impatience.
Proof
Let U represent \(\succeq \) and satisfy (1). Put \(V:=\Phi \, \circ \, U\), where \(\Phi \) is an increasing homeomorphic solution of (7). Note that V satisfies (2). In fact,
Hence, by Theorem 4, the relation \(\succeq \) is also represented by V. Thus by Theorem 2\(\succeq \) satisfies impatience. \(\square \)
Remark 4
If a given \(\Phi \) satisfies (7) with coefficients \(\alpha _x\) and \(\beta _x\), then \(\alpha _x\) and \(\beta _x\) are uniquely determined. Moreover \(0<\alpha _x<1\).
Proof
Let \(t_1,t_2\in I\) be such that \(\Phi (t_1)\ne \Phi (t_2)\). Putting in (7) \(t=t_1\) and \(t=t_2\) we get a system of two linear equations
which determine \(\alpha _x\) and \(\beta _x\) uniquely.
Let \(f_x(p)=p\). Then we have \(\Phi (p)(1-\alpha _x)=\beta _x\). Let \(t>p\). Then, by (H), \(f_x(t)<t\) and \(\Phi (f_x(t))<\Phi (t)\) so, by (6), \(\alpha _x\Phi (t)+\beta _x<\Phi (t)\). Hence \(\alpha _x\Phi (t)+\Phi (p)(1-\alpha _x)<\Phi (t)\), so \((1-\alpha _x)(\Phi (t)-\Phi (p))>0\). Since \(\Phi (t)>\Phi (p)\) we get \(\alpha _x<1\). \(\square \)
We consider the inverse problem. When does impatience generated by a utility function U satisfying (1) implies the existence of another utility function V satisfying the affine recursion (2) generating the same relation?
Assume that relation \(\succeq \) satisfies impatience. We give some necessary and sufficient conditions for the existence of a homeomorphic solution of the system (7).
Further we make the general assumption that I is an open interval and \(f_x(I)=I\) for \(x\in X\).
First consider a special trivial case where the family of functions \(\{f_x,x\in X\}\) is a subset of a cyclic group.
Theorem 6
If the family of functions \(\{f_x,x\in X\}\) is a subset of a cyclic group then there exists V satisfying (2) which determines the same order relation as U.
Proof
By the assumption there exists an increasing homeomorphism h satisfying (H) such that \(\{f_x,x\in X\}\subset \{h^n, n\in {{\mathbb {N}}}\}\) and, as a consequence, there exists a function \(n:X\rightarrow {{\mathbb {N}}}\) such that \(f_x= h^{n(x)}\).
It is well-known that there exists a homeomorphic solution \(\Phi \) of the equation
(see [6]). It depends on an arbitrary function. It is obvious that every solution of this equation satisfies the system
where \(\beta _n= \beta \frac{\alpha ^{n}-1}{\alpha ^{n}-1}\). Hence \(\Phi \) satisfies (7), where \(\alpha _x= \alpha ^{n(x)}\) and \(\beta _x=\beta \frac{\alpha ^{n(x)}-1}{\alpha ^{n(x)}-1}\). \(\square \)
Further we concentrate on the case where, for some a and b, \(f_a^n\ne f_b^m\) for \(n,m\ge 1\).
Remark 5
If (7) has a homeomorphic solution, \(x,y\in X\) and \(f_x\ne f_y\), then their graphs are either disjoint or intersect in one point.
Proof
Let homeomorphism \(\Phi \) satisfy (7). Suppose that
Then there exists \(t_1,t_2\in I\), \(t_1\ne t_2\) such that \(f_x(t_1)= f_y(t_1)\) and \(f_x(t_2)= f_y(t_2)\). Hence, by (7),
and
which gives \(\alpha _x(\Phi (t_1)-\Phi (t_2))=\alpha _y(\Phi (t_1)-\Phi (t_2))\), so \(\alpha _x=\alpha _y\) and \(\beta _x=\beta _y\).
Now, again by (6), we get \(\Phi (f_x(t))=\Phi (f_y(t))\) for \(t\in I\), thus \(f_x= f_y\), which contradicts our assumption. \(\square \)
Note that if \(\Phi (f_a(t))=\alpha _a \Phi (t)+\beta _a\), then for every \(n\ge 1\) , \(\Phi (f_a^n(t))=\alpha _a^n \Phi (t)+\beta _{a,n}\) for a \(\beta _{a,n}\in {{\mathbb {R}}}\). Hence, by Remark 5, we get
Remark 6
If system (7) has a homeomorphic solution then, for every \(a,b\in I\) if \(f_a^n\ne f_b^m \) then \(f_a^n(t)\ne f_b^m(t) \) for all \(t\in I\), except for only one point.
Recall that the functions \(f_a\) and \(f_b\) are said to be iteratively incommensurable if \(f_a^n(t)\ne f_b^m(t) \) for all \(t\in I\) and for all \(n,m\in {{\mathbb {N}}}\) (see [8]).
In view of Corollary 1 we know that \(f_a\) and \(f_b\) commute if and only if they have a joint fixed point.
To solve system (7) we consider two cases.
-
(I)
There exist \(a,b\in X\), \(a\ne b\) such that \(f_a\) and \(f_b\) have a joint fixed point.
-
(II)
For every \(a,b\in X\), \(a\ne b\)\(f_a\) and \(f_b\) has no joint fixed point.
Case (I)
Let \(f_a(p)=f_b(p)=p\) and \(f_a\) and \(f_b\) be iteratively incommensurable except one point. First we deal with the system of two functional equations
By (8) we get \(\Psi (p)=\frac{\beta _a}{1-\alpha _a}=\frac{\beta _b}{1-\alpha _a}\). Putting
we have \(G(p)=0\) and
In fact,
Similarly we obtain that \(G\circ f_b=\alpha _b\,G\). Thus the last system is equivalent to system (8).
Introduce the notation \(I^-:=I\cap (-\infty ,p)\), \(I^+:=I\cap (p,\infty )\) and
Let \(\Psi \) be an increasing solution of (8). Then \(G(t)<0\) for \(t<p\) and \(G(t)>0\) for \(t>0\).
Putting \(F^-(t):=\log \,(-G(t))\) for \(t\in I^-\) and \(F^+(t):=\log \,G(t)\) for \(t\in I^+\) we get two independent systems of Abel’s equations
and
Note that \(f_a^-\) and \(f_b^-\) have no fixed points and they are bijections of \(I^-\) onto itself. It works similarly with \(f_a^+\) and \(f_b^+\) on the interval \(I^+\).
The above reasoning shows that system (8) with increasing \(\Psi \) is equivalent to two systems (9) and (10) with decreasing \(F^-\) and increasing \(F^+\). We solve these systems separately.
Denote by L(t) the limit set of the sequence \(\{f_a^n\circ f_b^{-m}(t)\}\) that is
In each of intervals \(I^-\) and \(I^+\) the set L(t) does not depend on t an is either an interval or a nowhere dense and perfect set (see [7, 8]).
Let
and
It is known that if system (9) has a homeomorphic solution then \(s_-(a,b) =\frac{\log \alpha _b}{\log \alpha _a}\) and \( L(t)= cl\, I^-\) for \(t\in I^-\) (see [2]). Similarly, if system (10) has a homeomorphic solution then \(s_+(a,b) =\frac{\log \alpha _b}{\log \alpha _a}\) and \( L(t)= cl\, I^+\) for \(t\in I^+\). Hence if system (7) has a homeomorphic solution then \(s_-(a,b)=s_+(a,b)\).
In view of Theorem 2 in [8] system (9) in \(I^-\) and system (10) in \(I^+\) have homeomorphic solutions \(F^-\) and \(F^+\) if and only if there exist \(t_1\in I^-\) and \(t_2\in I^+\) such that \({\mathrm{Int}}L(t_1)\ne \emptyset \) and \({\mathrm{Int}}L(t_2)\ne \emptyset \). Moreover \(F^-\) and \(F^+\) are determined uniquely up to an additive constant. Since \(F^-\) is decreasing, \(F^+\) is increasing, \(\lim _{x\rightarrow p^-}F(t)=-\infty \) and \(\lim _{x\rightarrow p^+}F(t)=-\infty \) we infer that G is increasing and \(G(p)=0\) and, as a consequence, \(\Psi \) is a homeomorphic solution of (8).
Hence we have
Theorem 7
Let \(f_a\) and \(f_b\) commute and be iteratively incommensurable except for one point. System (8) has an increasing homeomorphic solution \(\Psi \) if and only if there exist \(t_1\in I^-\) and \(t_2\in I^+\) such that \({\mathrm{Int}}L(t_1)\ne \emptyset \) and \({\mathrm{Int}}L(t_2)\ne \emptyset \) and \(s^-(a,b)=s^+(a,b)\). Moreover, in each of the intervals \(I^-\) and \(I^+\) the solution \(\Phi \) is determined uniquely up to one parameter.
If \(f_a\) and \(f_b\) satisfy the assumptions of Theorem 7 then the homeomorphic solution of system (9) is given by the formula
for a given \(t_0 \in I^+\) and a constant \(c\in {{\mathbb {R}}}\) (see Theorem 2 in [4]). Then
It works similarly on the interval \(I^-\).
Let \(\Psi \) be an increasing homeomorphic solution of (8). Define
Note that \({\mathrm{Realm}}\,\Psi \) is a semigroup of increasing homeomorphisms possessing one fixed point.
It is easy to show the following
Remark 7
If \(\Psi _1\) and \(\Psi _2\) are homeomorphic solutions of system (8) then \({\mathrm{Realm}}\,\Psi _1={\mathrm{Realm}}\,\Psi _2\).
Let \(\Psi \) be a homeomorphic solution of (8). If there exists a homeomorphic solution \(\Phi \) of (7), then \(\Phi \) satisfies (8) and \({\mathrm{Realm}}\,\Psi ={\mathrm{Realm}}\,\Phi \). Hence, for every \(x\in X\), \(f_x\in {\mathrm{Realm}}\,\Psi \) that is
for some \(0<\alpha _x<1\) and \(\beta \ne 0\).
Conversely, if every \(f_x\in {\mathrm{Realm}}\,\Psi \) then system (7) has an increasing homeomorphic solution.
Corollary 3
In the case (I) system (7) has an increasing homeomorphic solution if and only if \(f_x\in {\mathrm{Realm}}\,\Psi \) for all \(x\in X\).
Directly by Theorems 1, 4 and Corollary 2 we get
Theorem 8
Suppose that the relation \(\succeq \) satisfies impatience and is represented by a utility function fulfilling (1) such that for some \(a,b\in X\)\(f_a\) and \(f_b\) have a joint fixed point and are iteratively incommensurable except for one point. Then \(\succeq \) can be represented by another function satisfying the affine recursion (2) if and only if
-
(i)
there exist \(t_1\in I^-\) and \(t_2\in I^+\) such that \({\mathrm{Int}}L(t_1)\ne \emptyset \) and \(L(t_2)\ne \emptyset \),
-
(ii)
\(s^-(a,b)=s^+(a,b)\),
-
(iii)
\(f_x\in {\mathrm{Realm}}\,\Psi \) for \(x\in X\), where \(\Psi \) is an increasing continuous solution of system (8).
Case (II)
Now we assume that for all \(x\ne y\)\(f_x\) and \(f_y\) have different fixed points. Let \(h_{xy}\) be the commutator of \(f_x\) and \(f_y\) that is
If the relation represented by the utility function U fulfilling (1) satisfies impatience then, by Theorem 1, \(h_{xy} \le id\) or \(h_{xy} \ge id\) for all \(x,y\in X\).
Assume that system (7) has an increasing homeomorphic solution \(\Phi \). It is easy to verify that
where
Let \(f_x(p_x)=p_x\) and \(f_y(p_y)=p_y\). By (7) \(\Phi (p_x)=\frac{\beta _x}{1-\alpha _x}\) and \(\Phi (p_y)=\frac{\beta _y}{1-\alpha _y}\). Hence
so \(c_{xy}=0\) if and only if \(x=y\). Thus, by (11), all commutators \(h_{xy}\) are fixed point free.
By (11) we infer that all commutators \(h_{xy}\) mutually commute. Thus the derived group \(H'\), that is the group generated by all these commutators, is Abelian. This means that the group
generated by \(f_x\) is solvable of the derived length two.
Assume that there exist \(p,q,u,w\in X\) such that \(h_{pq}\) and \(h_{uv}\) are iteratively incommensurable. Then, by Theorem 2 in [8],
Note that \(h_{pq}\) and \(h_{uv}\) are iteratively incommensurable if and only if \(c_{pq}/c_{uv}\) is irrational.
Conversely, let H be a solvable group of the derived length two and there exist \(h_{pq}\), \(h_{uv}\) iteratively incommensurable satisfying condition (12) for a \(t\in I\). Then there exists a unique up to an additive constant homeomorphic solution of the system of Abel’s equations (see [8])
If system (7) has a continuous solution \(\Phi \) then \(\Phi \) satisfies also (13), so by the uniqueness of solutions of system (13) \(\Phi =F+c\) for a constant c.
Summarising the above statements we get
Theorem 9
Let case (II) hold and relation \(\succeq \) be represented, by the utility function fulfilling (1), satisfy impatience and there exist commutators \(h_{pq}\) and \(h_{uv}\) iteratively incommensurable.
Then the relation \(\succeq \) can be represented by another utility function satisfying affine recursion (2) if and only if
-
(i)
the group \(<f_x,x\in X>\) is solvable of the second order,
-
(ii)
(12) holds for a \(t\in I\),
-
(iii)
for every \(x\in X\)\(f_x \in {\mathrm{Realm}}\,F\), where F is a continuous solution of (13).
Note that the condition \(f_x \in {\mathrm{Realm}}\,F\) means that for every \(x\in X\) there exist \(\alpha _x \in (0,1)\) and \(\beta _x \in {{\mathbb {R}}}\) such that
This means that system (7) has a homeomorphic solution. Note that we can determine homeomorphism F (see [4]), so condition (iii) is verifiable although technically it may be difficult.
In the case (I) the assumption of the surjectivity of functions \(f_x\) can be omitted, but then the assertions in Theorems 7 and 8 have more complicated form. This generalization one can obtain by applying the method of extension of commuting, non-surjective, continuous, strictly increasing mappings to commuting homeomorphisms presented in papers [4, 5].
References
Bommier, A., Kochov, A., Le Grand, F.: Ambiguity an endogenous discounting. J. Math. Econ. 83, 48–62 (2019)
Jarczyk, W., Łoskot, K., Zdun, M.C.: Commuting functions and simultaneous Abel equations. Ann. Pol. Math. 60(2), 119–135 (1994)
Koopmans, T.C., Diamond, P.A., Willson, R.E.: Stationary utility and time perspective. Econometria 32(1/2), 82–100 (1964)
Krassowska, D., Zdun, M.C.: On limit sets of mixed iterates of commuting mappings. Aequ. Math. 78, 283–295 (2009)
Krassowska, D., Zdun, M.C.: On the embeddability of commuting continuous injections in iteration semigroups. Publ. Math. 75(1–2), 179–190 (2009)
Kuczma, M., Choczewski, B., Ger, R.: Iterative Functional Equations. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1990)
Zdun, M.C.: Note on commutable functions. Aequ. Math. 36, 153–164 (1988)
Zdun, M.C.: On simultaneous Abel equations. Aequ. Math. 38, 163–177 (1989)
Acknowledgements
The author would like to thank professor Asen Kochov for inspiration of the subject considered in the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor János Aczél on his 95th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zdun, M.C. On a linearization of the recursion \(\varvec{U(x_0,x_1,x_2,\ldots )}\varvec{=\varphi (x_0, U(x_1,x_2,\ldots ))}\) and its application in economics. Aequat. Math. 94, 777–791 (2020). https://doi.org/10.1007/s00010-020-00741-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-020-00741-2