Abstract
Investigating the future value F(K, s, t) of a capital K invested between dates s and t, the “natural” condition \(F(K,s,t)\ge K\) has lost its naturality because of the strange fact of negative interest rates. This leads to the task of describing the possible solutions of the multiplicative Sincov equation \(f(s,u)=f(s,t)f(t,u)\) for \(s\le t\le u\) where \(f(s,t)=0\) may happen. In this paper we solve this task and discuss connections to the theory of investments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and motivation
A rather well known and elegant application of the theory of functional equations is given by the deduction of the formula of theoretical interest compounding. As a starting point some “reasonable” conditions for the future value function
are given:
Theorem 1.1
Let \(F:[0,\infty )\times [0,\infty )\rightarrow \mathbb {R}\) be given. Then (1.1), (1.2) and (1.3) are satisfied iff there is some \(q\ge 1\) such that
The proof can be found in [1, pp. 105–106], [3] and in [5].
Note that (1.3) together with (1.1) implies that \(F(K,t)=K\cdot f(t)\), since (1.1) says that \(F(\cdot ,t)\) is additive and (1.3) that this function is bounded from below on \([0,\infty )\) (see [1, p. 34, Theorem 1]). (1.2) implies \(f(t+s)=f(t)f(s)\) for all \(s,t\ge 0\) and (1.3) that \(f(t)\ge 1\) for all t. This means that \(g:=\ln \circ f\) is additive and \(\ge 0\) on \([0,\infty )\) and therefore there is some \(r\ge 0\) such that \(\ln (f(t))=r t\) for all t. So \(q:=\exp (g(1))=\exp (r)\ge 1\) and \(f(t)=q^t\) for all t.
2 Theoretical rule of interest compounding with negative interest rates allowed
At least for the last decade it has became common in economics to admit zero or even negative interest rates. This clearly contradicts (1.3). So one could ask for a substitute for Theorem 1.1 which allows for the new situation.
Note that
instead of (1.3) does not help. Of course one could get a result as in the theorem with some \(q>0\). But taking t large enough shows that (2.1) is only possible when \(q\ge 1\). One possibility to characterize the theoretical rule of interest compounding if negative interest rates are admissible could be the following result.
Theorem 2.1
A function \(F:[0,\infty )\times [0,\infty )\rightarrow \mathbb {R}\) satisfies
iff there is some \(q\ge 0\) such that
where for \(q=0\) both the cases \(q^0=1\) and \(q^0=0\) are possible.
Proof
Obviously F with (2.6) satisfies all the conditions (2.2)–(2.5).
Let on the other hand F satisfy these conditions. Since \(F(\cdot ,t)\) is additive and monotonic it is bounded from one side on some interval which implies (see [1, p. 34, Theorem 1]) that \(F(K,t)=K\cdot f(t)\) with \(f(t)=F(1,t)\). Condition (2.3) implies with \(K=1\) that
To solve this we follow [1, p. 38, Theorem 1] and assume that \(f(t_0)=0\) for some \(t_0>0\). Then \(f(t)=f(t_0+(t-t_0))=f(t_0)f(t-t_0)=0\) for all \(t\ge t_0\). Since moreover \(0=f(t_0)=f\left( n\frac{t_0}{n}\right) =f\left( \frac{t_0}{n}\right) ^n\), \(t_0\) may be chosen arbitrarily close to 0. So \(f(t)=0\) for all \(t>0\). \(f(0)=f(0+0)=f(0)^2\) implies \(f(0)\in \{0,1\}\) and therefore \(f(t)=0^t\) for all t with \(0^0\in \{0,1\}\). In the remaining case f(t) must be different from 0 for all \(t>0\). By \(f(t)=f\left( \frac{t}{2}\right) ^2\) the value f(t) must even be \(>0\). Note also that \(f(0)=1\) since \(f(t)=f(t+0)=f(t)f(0)\). Moreover f is monotonic. So using the remarks following Theorem 1.1 there is some \(q>0\) such that \(f(t)=q^t\) for all t. \(\square \)
3 Future value formulas depending on the interval of investment
In [5, Theorem 2] a situation is discussed where for \(\Delta :=\Delta _\mathbb {R}:=\{(s,t)\in \mathbb {R}^2\mid s\le t\}\) the value of the function \(F:[0,\infty )\times \Delta \rightarrow [0,\infty )\) at (K, s, t) denotes the future value of the capital K at time t when invested at time s. Theorem 2 in [5] reads as follows.
Theorem 3.1
The function \(F:[0,\infty )\times \Delta \rightarrow [0,\infty )\) satisfies the conditions
iff there is some non decreasing function \(\varphi :\mathbb {R}\rightarrow (0,\infty )\) such that
Remark 3.2
(3.4) is the result of solving the multiplicative Sincov equation \(f(s,t)f(t,u)=f(s,u)\). Moreover, choosing some fixed \(t_0\), the function \(\varphi \) is given by
Now we want to investigate the situation when (3.3) is weakened in order to treat (generalized) negative interest rates also in the situation when intervals of investments themselves are considered rather than their length only.
Theorem 3.3
The function \(F:[0,\infty )\times \Delta \rightarrow [0,\infty )\) satisfies the conditions (3.1) and (3.2) and
iff there is some solution \(f:\Delta \rightarrow [0,\infty )\) of the Sincov equation
such that
Proof
(3.1) and (3.6) imply that F has the form (3.8) with \(f(s,t)=F(1,s,t)\). Accordingly (3.2) results in (3.7).
On the other hand (3.7) and (3.8) imply (3.1), (3.2) and (3.6). \(\square \)
Remark 3.4
The rest of our considerations is devoted to the solution of (3.7) in the slightly generalized situation that the function
is defined on \(\Delta =\Delta _J:=\{(s,t)\in J^2\mid s\le t\}\) for some non-trivial interval J, has \(\mathbb {R}\) as the codomain and solves (3.7). A special case has been considered in [2, Theorem 14]. The problem in its general form was posed by Detlef Gronau as Problem 2.1 in [4].
From now on we assume that \(f:\Delta \rightarrow \mathbb {R}\) satisfies the Sincov equation (3.7) and we use \(\Delta ^\circ :=\{(x,y)\in \Delta \mid x<y\}\). And we proceed with some lemmata.
Lemma 3.5
Assume that \((x,y)\in \Delta ^\circ \) and that \(f(x,y)\not =0\). Then
is an interval, and
Moreover, \(f(u,v)=1\), if \(u=v\).
Proof
Of course \(I_{(x,y)}\) is an interval since it is the union of a set of intervals with non empty intersection. Note also that
implies \(f(u,v)\not =0\).
Now let \(u,v\in I_{(x,y)}\), \(u\le v\) and \(x_0\le u\le y_0\), \(x_1\le v\le y_1\) where \((x_i,y_i)\in \Delta ^\circ \), \(x_i\le x<y\le y_i\) and \(f(x_i,y_i)\not =0\) for \(i=0,1\). Put \(x_2:=\min (x_0,x_1), y_2:=\max (y_0,y_1)\). Then \(x_2\le u\le v\le y_2\). Thus it is enough to show \(f(x_2,y_2)\not =0\). Let, for example \(x_0\le x_1\). Then \(f(x_2,x)\not =0\) since \(0\not =f(x_0,y_0)=f(x_0,x)f(x,y_0)\). Analogously we have \(f(y,y_2)\not =0\) and therefore \(f(x_2,y_2)=f(x_2,x)f(x,y)f(y,y_2)\not =0\).
\(f(u,u)=f(v,v)=1\), since \(0\not =f(u,v)=f(u,u)f(u,v)=f(u,v)f(v,v)\).
\(\square \)
Lemma 3.6
Let x, y be as in the previous lemma. Then
Proof
Note that by Lemma 3.5\(I_{(x,y)}\in \mathcal {J}\) implying \(I_{(x,y)}\subseteq \bigcup _{J\in \mathcal {J}} J\).
Let, on the other hand \(I\in \mathcal {J}\). Then there are sequences \((a_n), (b_n)\) such that \((a_n)\) is decreasing, \((b_n)\) is increasing, \(a_n\le x<y\le b_n\) and \(I=\bigcup _{n\in \mathbb {N}} [a_n,b_n]\). Since \(a_n, b_n\in I\) the value \(f(a_n,b_n)\) has to be \(\not =0\). So \([a_n,b_n]\subseteq I_{(x,y)}\). Therefore \(I\subseteq I_{(x,y)}\) for all \(I\in \mathcal {J}\). \(\square \)
Lemma 3.7
Let x, y be as above and assume that \(u\in J\setminus I_{(x,y)}\). Then either
Moreover in case (3.13) \(f(u,v)=0\) and in case (3.14) \(f(v,u)=0\).
Proof
Assume \(v\le u\le w\) for some \(v,w\in I_{(x,y)}\). Then \(u\in [v,w]\subseteq I_{(x,y)}\), a contradiction.
So, let \(u<v\) for all \(v\in I_{(x,y)}\), and suppose that \(f(u,v_0)\not =0\) for some \(v_0\in I_{(x,y)}\). Then there are \(x_0,y_0\in I_{(x,y)}\) such that \(x_0\le v_0\le y_0\), \(x_0\le x<y\le y_0\) and \(f(x_0,y_0)\not =0\). Then \(f(u,y_0)=f(u,v_0)f(v_0,y_0)\not =0\) since \(f(u,v_0), f(v_0,y_0)\not =0\). But then \([u,y_0]\subseteq I_{(x,y)}\) contradicting \(u\not \in I_{(x,y)}\).
The other case, \(v<u\) for all \(v\in I_{(x,y)}\) may be treated similarly. \(\square \)
Lemma 3.8
Let \((x,y)\in \Delta ^\circ \) be such that \(f(x,y)\not =0\). Then \(I_{(u,v)}=I_{(x,y)}\) for all \(u,v\in I_{(x,y)}\) satisfying \(u<v\).
Proof
By Lemma 3.5 we have \(f(u',v')\not =0\) for all \(u', v'\in I_{(x,y)}\) with \(u'<v'\). Thus using Lemma 3.6 results in \(I_{(x,y)}\subseteq I_{(u,v)}\). Therefore \(x,y\in I_{(u,v)}\), which analogously implies \(I_{(u,v)}\subseteq I_{(x,y)}\). \(\square \)
Lemma 3.9
Let \(I_1, I_2\) be intervals such that \(I_1\cap I_2=\{a\}\). Then either \(a=\min (I_1)=\max (I_2)\) or \(a=\min (I_2)=\max (I_1)\).
Proof
The (simple) considerations are left to the reader. \(\square \)
Lemma 3.10
Let \((x,y), (u,v)\in \Delta ^\circ \) with \(f(x,y), f(u,v)\not =0\). Then either \(I_{(x,y)}=I_{(u,v)}\) or \(I_{(x,y)}\cap I_{(u,v)}=\emptyset \).
Proof
Let \(I_{(x,y)}\cap I_{(u,v)}\not =\emptyset \). If this intersection contains two different points a, b with, say, \(a<b\), then \(I_{(x,y)}=I_{(a,b)}=I_{(u,v)}\) by Lemma 3.8. Otherwise \(I_{(x,y)}\cap I_{(u,v)}=\{a\}\). Using Lemma 3.9 we may assume, without loss of generality that \(a=\max I_{(x,y)}=\min I_{(u,v)}\). Therefore \(x<y\le a\le u<v\) and \(f(x,a), f(a,v)\not =0\). Thus also \(f(x,v)=f(x,a)f(a,v)\not =0\) which implies by Lemma 3.6 that \([x,v]\subseteq I_{(x,y)}\cap I_{(u,v)}\). So \(I_{(x,y)}\cap I_{(u,v)}=\{a\}\) is not possible. Accordingly \(I_{(x,y)}\cap I_{(u,v)}\not =\emptyset \) implies \(I_{(x,y)}= I_{(u,v)}\). \(\square \)
Now we are able to formulate necessary conditions for the solutions f of the Sincov equation on \( \Delta = \Delta _J\).
Theorem 3.11
Let \(f:\Delta =\Delta _J\rightarrow \mathbb {R}\) be a solution of (3.7). Then there is a countable (possibly empty) system \(\mathcal {S}\) of pairwise disjoint non-trivial intervals \(I\subseteq J\) and there is a function \(d:\bigcup _{I\in \mathcal {S}}I \rightarrow \mathbb {R}^\times :=\mathbb {R}\setminus \{0\}\), such that
Moreover for any \(x\in I\in \mathcal {S}\)
and
Proof
Let \(\mathcal {S}:=\{I_{(x,y)}\mid (x,y)\in \Delta ^\circ , f(x,y)\not =0\}\). Then the intervals in \(\mathcal {S}\) are pairwise disjoint by Lemma 3.10. Moreover \(\mathcal {S}\) is countable since every \(I_{(x,y)}\) equals \(I_{(r,s)}\) with \(x\le r<s<y\) and \(r,s\in \mathbb {Q}\) by Lemma 3.8.
Let \(I\in \mathcal {S}\) and \(x_0\in I\). Then \(d:I\rightarrow \mathbb {R}^\times \),
is well defined and satisfies \(f(x,y)=\frac{d(y) }{d(x)}\) for all \(x,y\in I, x\le y\). This can be easily seen by distinguishing the cases \(x\ge x_0\), \(y<x_0\) and \(x< x_0\le y\).
(3.16) follows from Lemma 3.7.
Since \(f(x,x)f(x,y)=f(x,y)\ne 0\) for \(x,y\in I\in \mathcal {S}\), we have \(f(x,x)=1\) which is the first case of (3.16). The second case of (3.16) follows from \(f(x,x)=f(x,x)f(x,x)\) and from Lemma 3.7. (Note also that \(f(x,y)=0\) for all \(x,y\not \in \bigcup _{I\in \mathcal {S}} I\) with \(x<y\).) \(\square \)
Finally we prove that all Sincov functions on \( \Delta = \Delta _J\) may be obtained by using the just derived necessary conditions.
Theorem 3.12
Let J be a non-trivial interval and \(\mathcal {S}\) the at most countable (maybe empty) set of disjoint subintervals of J. Let furthermore \(d:\bigcup _{I\in \mathcal {S}}I \rightarrow \mathbb {R}^\times \) be an arbitrary function. Then \(f:\Delta =\Delta _J\rightarrow \mathbb {R}\) defined by
satisfies (3.7).
Proof
Let \(x\le y\le z\). If \(x,z\in I(\in \mathcal {S})\) then also \(y\in I\). Moreover
If \(x\in I\) and \(z\not \in I\) we have \(f(x,z)=0\). Assuming \(y\in I\) implies \(f(y,z)=0\) and therefore \(0=f(x,z) =f(x,y) f(y,z)\). This also holds true when \(y\not \in I\).
If \(x\not \in \bigcup _{I\in \mathcal {S}} I\) we have \(f(x,z)=0\) for \(x<z\) and therefore \(0=f(x,z)=0\cdot f(y,z)=f(x,y)f(y,z)\) if additionally \(x<y\). In case \(y=x\) we have \(f(y,z)=0\) implying (3.7). If finally \(x=y=z\) we again have \(f(x,z)=f(x,y) f(y,z)\). \(\square \)
Remark 3.13
Gronau in [4] gave two types of solutions. The first one with \(f(x,y)=\delta _x(y)\) for all \(x\le y\) is the special case \(\mathcal {S}=\emptyset , g=1\) of Theorem 3.12. The second one may be described by \(\mathcal {S}=\{[x_0,y_0]\}\), \(\sigma =d_{[x_0,y_0]}\) and \(g(x)=0\) for all \(x\not \in [x_0,y_0]\).
Remark 3.14
(Generalization) The codomain of the function f may be chosen to be much more general without altering the results.
Let \((G,\cdot )\) be an arbitrary not necessarily abelian group with neutral element 1 and add an absorbing element 0, such that \(0\not \in G\) and in we have \(x\cdot 0=0\cdot x=0\). Then the only elements in \(G'\) with \(x^2=x\) are 0 and 1. This, more or less, implies that Theorems 3.11, 3.12 also hold in the new situation with the modification that the functions d are defined as
because then \(f(x,y)=d(x)^{-1}d(y)\) in Theorem 3.11 and
in the proof of Theorem 3.12.
Examples of groups with added absorbing elements are where G is a subgroup of \(K^\times \) for division algebras K, in particular \(\mathbb {R}\) and \([0,\infty )\) and also,for any n and any field K, the union where G is a subgroup \(\text {Gl}_n(K)\) and 0 the null matrix. The last example is itself a special case of where G is a subgroup of the group of units in a unitary ring R and 0 the zero element in R.
Remark 3.15
In [2] the Sincov equation is considered in the form
with \(J=(0,1)\). The general solution of (3.21) is easily derived from Theorems 3.11 and 3.12 by
-
i)
considering f defined by \(f(y,x)=g(x,y)\) when \(x>y\) and
-
ii)
by observing that we may extend f to the pairs (x, x) by choosing \(f(x,x)\in \{0,1\}\) as in Theorems 3.11 and 3.12.
As a result of Theorems 3.12 and 3.11 we obtain the following characterization of F(K, s, t) satisfying (3.1), (3.2) and (3.6).
Corollary 3.16
The function \(F:[0,\infty )\times \Delta _J\rightarrow [0,\infty )\) satisfies the conditions (3.1), (3.2) and (3.6) iff there is a countable (possibly empty) system \(\mathcal {S}\) of pairwise disjoint non-trivial intervals \(I\subseteq J\) and there is a function \(d:\bigcup _{I\in \mathcal {S}}I \rightarrow \mathbb {R}^\times \), such that
Moreover for any \(s\in I\in \mathcal {S}\)
and
Remark 3.17
This corollary also implies Theorem 3.1 by observing that (3.3) implies \(\mathcal {S}=\{\mathbb {R}\}\) and also that d is monotonically increasing.
Availability of data and materials, code availability
Not applicable.
References
Aczél, J.: Lectures on Functional Equations and Their Applications. Academic Press, New York (1966)
Baczyński, M., Fechner, W., Massanet, S.: A Functional Equation Stemming from a Characterization of Power-based Implications. In: 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 1–6 (2019)
Eichhorn, W.: Functional equations in economics. In: With contributions by Frank Stehling and Fritz Pokropp. English. Addison-Wesley Pub. Co., Reading, MA (1978)
Grünwald, R., Molnár, G.: ISFE report: The 58th international symposium on functional equations Bildungshaus Grillhof, Innsbruck (Austria), June 19–26, 2022 Dedicated to the memory of János Aczél, the founder of Symposia, to appear at Aequationes Math. (2022)
Schwaiger, J.: Theoretical arguments concerning the practical rule of interest compounding. In: Selected Topics in Functional Equations. Ber. Math.-Stat. Sekt. Forschungsges. Joanneum-Graz 285–296, 296/1–296/13 (1988)
Acknowledgements
We would like to express our gratitude to the anonymous referees for the valuable comments that helped clarify certain points and increase the quality of this paper.
Funding
Open access funding provided by ELKH Alfréd Rényi Institute of Mathematics. The first author was supported by the Premium Postdoctoral Fellowship of the Hungarian Academy of Science, and by Hungarian National Research, Development and Innovation Office grants K-124749 and K-142993.
Author information
Authors and Affiliations
Contributions
Not applicable.
Corresponding author
Ethics declarations
Conflict of interest
None.
Ethical approval
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
G. Kiss was supported by a Premium Postdoctoral Fellowship of the Hungarian Academy of Science, and by Hungarian National Research, Development and Innovation Office grants K-124749 and K-142993.
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
Kiss, G., Schwaiger, J. Sincov’s and other functional equations and negative interest rates. Aequat. Math. 97, 629–637 (2023). https://doi.org/10.1007/s00010-022-00936-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-022-00936-9