Abstract
Assume that \((\Omega ,{\mathcal {A}},P)\) is a probability space, \(f:[0,1]\times \Omega \rightarrow [0,1]\) is a function such that \(f(0,\omega )=0\), \(f(1,\omega )=1\) for every \(\omega \in \Omega \), \(g:[0,1]\rightarrow \mathbb R\) is a bounded function such that \(g(0)=g(1)=0\), and \(a,b\in \mathbb R\). Applying medial limits we describe bounded solutions \(\varphi :[0,1]\rightarrow \mathbb R\) of the equation
satisfying the boundary conditions \(\varphi (0)=a\) and \(\varphi (1)=b\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Assume that \((\Omega ,{\mathcal {A}},P)\) is a probability space, \(f:[0,1]\times \Omega \rightarrow [0,1]\) is a function satisfying the boundary condition
\(g:[0,1]\rightarrow \mathbb R\) is a bounded function with \(g(0)=g(1)=0\) and \(a,b\in \mathbb R\) are fixed numbers. We are interested in bounded solutions \(\varphi :[0,1]\rightarrow \mathbb R\) of the following iterative functional equation
We say that a function \(\varphi :[0,1]\rightarrow \mathbb R\) is a solution of equation (E\(_g\)) if for every \(x\in [0,1]\) the function \(\varphi \circ f(x,\cdot )\) is measurable and (E\(_g\)) holds.
The main purpose of this paper is to describe all solutions of equation (E\(_g\)) in some classes of bounded functions \(h:[0,1]\rightarrow \mathbb R\) such that \(h(0)=a\) and \(h(1)=b\). We are also interested under which assumptions any bounded solution \(\varphi :[0,1]\rightarrow \mathbb R\) of equation (E\(_g\)) with a certain property can be expressed in the form \(\varphi =\Phi +\varphi _*\), where \(\Phi \) is a solution of the equation
having the same property as \(\varphi \) and \(\varphi _*\) is a specific solution of equation (E\(_g\)). This problem seems to be easy to answer, but the difficulty is that the classes considered in this paper are not linear spaces. It is even not clear when the existence of a solution with a certain property of one of the equations (E\(_g\)) and (E\(_0\)) implies the existence of a solution with the same property of the other of these equations. Such a problem is quite natural in the theory of functional equations and it has been studied several times by many authors for different functional equations in various classes of functions; mainly in cases where the class of considered functions forms a vector space.
Functional equations (E\(_0\)) and (E\(_g\)), as well as their generalizations and special cases, are investigated in various classes of functions in connection with their appearance in miscellaneous fields of science (for more details see [1, Chapter XIII], [2, Chapters 6, 7] and [3, Sect. 4]). As emphasized in [2, Sect. 0.3] iteration is the fundamental technique for solving functional equations in a single variable, and iterates usually appear in the formulae for solutions. In most cases such formulas are obtained by taking the limit of sequences in which iterates are involved. In this paper we make use of this fundamental technique, but the goal is to apply a subclass of Banach limits instead of the limit. The idea of replacing the limit by a Banach limit seems to be clear, because we do not need any additional assumption guaranteeing the existence of a Banach limit of a bounded sequence, in contrast to the case when we want to calculate the limit of such a sequence.
This paper is organized as follows. Section 2 contains the notation and basic tools required for our considerations. In Sects. 3 and 4 we describe bounded solutions \(\varphi :[0,1]\rightarrow \mathbb R\) with \(\varphi (0)=a\) and \(\varphi (1)=b\) of equations (E\(_0\)) and (E\(_g\)), respectively. Finally, in Sect. 5, we formulate some consequences of the main results obtained and we present a few examples of the possible applications of those results.
2 Preliminaries
Denote by \(B([0,1],\mathbb R)\) the space of all bounded functions \(h:[0,1]\rightarrow \mathbb R\) endowed with the supremum norm and respectively by \(Borel([0,1],\mathbb R)\), \(C_x([0,1],\mathbb R)\), \(Lip([0,1],\mathbb R)\) and \(BV([0,1],\mathbb R)\) its subspaces of all functions that are Borel measurable, continuous at \(x\in [0,1]\), Lipschitzian, and of bounded variation (i.e. functions which can be written as a difference of two increasing functions; see [4, Chapter 1.4]). Next denote by \({\mathcal {M}}([0,1],\mathbb R)\) the space consisting of all functions \(h\in B([0,1],\mathbb R)\) such that for every \(x\in [0,1]\) the function \(h\circ f(x,\cdot )\) is measurable. Note that the space \({\mathcal {M}}([0,1],\mathbb R)\) is at least one dimensional, because every constant function belongs to it.
Define an operator \(T:{\mathcal {M}}([0,1],\mathbb R)\rightarrow B([0,1],\mathbb R)\) by setting
Note that T is linear and continuous with \(\Vert T\Vert =1\). Moreover, equation (E\(_g\)) can be written now in the form
To the end of this paper we fix a subspace \({\mathcal {B}}([0,1],\mathbb R)\) of the space \({\mathcal {M}}([0,1],\mathbb R)\) that is invariant under T, i.e. \({\mathcal {B}}([0,1],\mathbb R)\) is such that
Before we give examples showing how the space \({\mathcal {B}}([0,1],\mathbb R)\) can look like in certain situations, let us say what we mean writing \({{\mathcal {A}}}=2^{\Omega }\). Namely, in such a case we may (and do) assume that \(\Omega \) is countable; otherwise we can replace \(\Omega \) by its subset \(\{\omega \in \Omega : P(\{\omega \})>0\}\), which is clearly countable. Moreover, integration in (E\(_g\)) reduces to summation and every bounded function is measurable.
Example 2.1
If \({{\mathcal {A}}}=2^{\Omega }\), then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=B([0,1],\mathbb R)\).
Example 2.2
If
- (H\(_1\)):
-
f is increasing with respect to the first variable and measurable with respect to the second variable,
then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=BV([0,1],\mathbb R)\).
Example 2.3
If
- (H\(_2\)):
-
\(\int _{\Omega }|f(x,\omega )-f(y,\omega )|dP(\omega )\le |x-y|\) for all \(x,y\in [0,1]\) and f is measurable with respect to the second variable,
then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=Lip([0,1],\mathbb R)\).
Let \({\mathcal {B}}\) be the \(\sigma \)-algebra of all Bores subsets of [0, 1]. Following [5] we say that \(h:[0,1]\times \Omega \rightarrow [0,1]\) is a random-valued function (shortly: an rv-function) if it is measurable with respect to \(\sigma \)-algebra \({\mathcal {B}}\times {\mathcal {A}}\).
Example 2.4
If f is an rv-function, then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=Borel([0,1],\mathbb R)\).
Example 2.5
Fix \(x_0\in \{0,1\}\) and let \(f(\cdot ,\omega )\) be continuous at \(x_0\) for every \(\omega \in \Omega \). If \({{\mathcal {A}}}=2^{\Omega }\), then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=C_{x_0}([0,1],\mathbb R)\). If f is an rv-function, then (3) holds with \({\mathcal {B}}([0,1],\mathbb R)=Borel([0,1],\mathbb R)\cap C_{x_0}([0,1],\mathbb R)\).
To describe solutions of equation (E\(_g\)) in the case where \({\mathcal {A}}=2^\Omega \) we need the concept of Banach limits, established in [6]. However in the general case, when integration is required, we need the concept of medial limits, established in [7] (cf. [8]) as a very special class of Banach limits.
Denote by \(l^\infty (\mathbb N)\) the space of all bounded real sequences equipped with the supremum norm and by \({\mathfrak {B}}\) the family of all Banach limits defined on \(l^\infty (\mathbb N)\). Recall that \(M\in {\mathfrak {B}}\) if \(M:l^\infty (\mathbb N)\rightarrow \mathbb R\) is a linear, positive, shift invariant and normalized operator. It is easy to see that any \(M\in {\mathfrak {B}}\) is continuous with \(\Vert M\Vert =1\). It is known that the cardinality of \({\mathfrak {B}}\) is equal to \(2^{{\mathfrak {c}}}\) (see [9]), and even that the cardinality of the set of all extreme points of \({\mathfrak {B}}\) is equal to \(2^{{\mathfrak {c}}}\) (see [10], cf. [11]); here \({\mathfrak {c}}\) is the cardinality of the continuum.
As it was mentioned above, in the general case we need to integrate the pointwise Banach limit of a bounded sequence of measurable functions. However, the problem is that there is no guarantee that the pointwise Banach limit of a bounded sequence of measurable functions is a measurable function (see [12, page 288]). Fortunately, it is known that there are Banach limits possessing exactly the required property. More precisely, a Banach limit M is called a medial limit if \(\int _{\Omega }M((h_m(\omega ))_{m\in \mathbb N})dP(\omega )\) is defined and equal to \(M((\int _{\Omega }h_m(\omega )dP(\omega ))_{m\in \mathbb N})\) whenever \((h_m)_{m\in \mathbb N}\) is a bounded sequence of measurable real-valued functions on \(\Omega \). It is also known that the continuum hypothesis implies the existence of medial limits. More results on the existence and non-existence of medial limits can be found in [13, Chapter 53] and in [14]. Denote by \({\mathfrak {M}}\) the family of all medial limits, i.e. \(M\in {\mathfrak {M}}\subset {\mathfrak {B}}\) if
for every sequence \((h_m)_{m\in \mathbb N}\) of bounded measurable real-valued functions defined on \(\Omega \). Note that \({\mathfrak {M}}={\mathfrak {B}}\) in the case where \({\mathcal {A}}=2^\Omega \).
From now on, given a nonempty family \({\mathcal {F}}\subset B([0,1],\mathbb R)\) we denote by \({\mathcal {F}}_a^b\) the family of all \(h\in {\mathcal {F}}\) such that \(h(0)=a\) and \(h(1)=b\). To distinguish two important families let us adopt the shorthand \({\mathcal {M}}_a^b={\mathcal {M}}([0,1],\mathbb R)_a^b\) and \({\mathcal {B}}_a^b={\mathcal {B}}([0,1],\mathbb R)_a^b\). It is clear that \({\mathcal {B}}_0^0\) is a subspace of the space \({\mathcal {B}}([0,1],\mathbb R)\) and that \({\mathcal {B}}_a^b+{\mathcal {B}}_0^0={\mathcal {B}}_a^b\) whenever \({\mathcal {B}}_a^b\ne \emptyset \). It is also clear that if we determine all solutions of equation (E\(_g\)) in the class \({\mathcal {B}}_a^b\), then we can easily describe all solutions of this equation in the class \({\mathcal {B}}([0,1],\mathbb R)\). Now, we begin describing solutions of equation (E\(_g\)) in \({\mathcal {B}}_a^b\), assuming from now on that \({\mathcal {B}}_a^b\ne \emptyset \). Our first lemma is a simple consequence of (1) and (3).
Lemma 2.1
-
(i)
If \(h\in {\mathcal {B}}_a^b\), then \(Th\in {\mathcal {B}}_a^b\).
-
(ii)
If \(\varphi \in {\mathcal {B}}_a^b\) satisfies (E\(_g\)), then \(g\in {\mathcal {B}}_0^0\).
3 Solutions of equation (E\(_0\))
If \(h\in {\mathcal {B}}([0,1],\mathbb R)\), then \(\sup _{m\in \mathbb N}\Vert T^mh\Vert \le \Vert h\Vert \), and hence \((T^mh(x))_{m\in \mathbb N}\in l^\infty (\mathbb N)\) for every \(x\in [0,1]\). Therefore, for all \(h\in {\mathcal {B}}([0,1],\mathbb R)\) and \(M\in {\mathfrak {B}}\) we define a function \(M_h:[0,1]\rightarrow \mathbb R\) by putting
The functions \(M_h\) plays a crucial role in this section as well as in this paper. So, we need some fact about them.
Lemma 3.1
Assume that \(h\in {\mathcal {B}}_a^b\). If \(M\in {\mathfrak {M}}\), then \(M_h\in {\mathcal {M}}_a^b\) and \(TM_h=M_h\).
Proof
Fix \(M\in {\mathfrak {M}}\). From Lemma 2.1(i) we see that \(T^mh\in {\mathcal {B}}_a^b\) for every \(m\in \mathbb N\). Then
Thus \(M_h\in B([0,1],\mathbb R)\). Since \(M\in {\mathfrak {M}}\), it follows that \(M_h\in {\mathcal {M}}([0,1],\mathbb R)\). Moreover, (1) implies \(M_h(0)=a\) and \(M_h(1)=b\). In consequence, \(M_h\in {\mathcal {M}}_a^b\).
Applying properties of medial limits we obtain
for every \(x\in [0,1]\). \(\square \)
We now want to find conditions under which \(M_h\in {\mathcal {B}}_a^b\) for every \(h\in {\mathcal {B}}_a^b\). Unfortunately, there is no chance to prove that \(M_h\in {\mathcal {B}}_a^b\) in the general case. In fact, we would have to show that (3) holds, i.e. \(TM_h\in {\mathcal {B}}_a^b\), but by Lemma 3.1 we have \(TM_h=M_h\). This observation suggests the following definition.
We say that the class \({\mathcal {B}}_a^b\) is closed under \(M\in {\mathfrak {B}}\), if \(M_h\in {\mathcal {B}}_a^b\) for every \(h\in {\mathcal {B}}_a^b\).
It turns out that there are many interesting classes that are closed under some Banach limits. Let us now give a few examples of such classes. The first two are immediate consequences of Examples 2.1 and 2.4.
Example 3.1
If \({\mathcal {B}}([0,1],\mathbb R)=B([0,1],\mathbb R)\), then \(B([0,1],\mathbb R)_a^b\) is closed under any \(M\in {\mathfrak {B}}\).
Example 3.2
If f is an rv-function and M is a medial limit with respect to a probability Borel measure on [0, 1], then \(Borel([0,1],\mathbb R)_a^b\) is closed under M.
Example 3.3
Fix \(x_0\in \{0,1\}\). If \({\mathcal {A}}=2^\Omega \) and
- (H\(_{3}\)):
-
there exists \(\eta >0\) such that \(\frac{f(x,\omega )-f(x_0,\omega )}{x-x_0}\le 1\) for all \(\omega \in \Omega \) and \(x\in (0,1)\) with \(|x-x_0|\le \eta \),
then \(C_{x_0}([0,1],\mathbb R)_a^b\) is closed under any \(M\in {\mathfrak {B}}\). To prove the conclusion let us put \({\mathcal {B}}([0,1],\mathbb R)=C_{x_0}([0,1],\mathbb R)\); this is possibly according to Example 2.5, because (H\(_3\)) yields the continuity of \(f(\cdot ,\omega )\) at \(x_0\) for every \(\omega \in \Omega \). Let \(M\in {\mathfrak {B}}\) and let \(h\in C_{x_0}([0,1],\mathbb R)_a^b\). It is clear that \(M_h(0)=a\) and \(M_h(1)=b\). To prove that \(M_h\) is continuous at \(x_0\) fix \(\varepsilon >0\). Then choose \(\delta \in (0,\eta )\), where \(\eta \) is a number occurring in (H\(_3\)), such that
where \(A=\{x\in [0,1]:|x-x_0|\le \delta \}\). Then \(|f(x,\omega )-f(x_0,\omega )|\le \delta \) for all \(\omega \in \Omega \) and \(x\in A\), and by an easy induction, we obtain \(\sup _{x\in A}|T^mh(x)-T^mh(x_0)|\le \sup _{x\in A}|h(x)-h(x_0)|\) for every \(m\in \mathbb N\). This jointly with (4) gives
which proves that \(M_h\) is continuous at \(x_0\).
Example 3.4
If (H\(_2\)) holds, then \(Lip([0,1],\mathbb R)_a^b\) is closed under any \(M\in {\mathfrak {B}}\). For the prove of the conclusion we put \({\mathcal {B}}([0,1],\mathbb R)=Lip([0,1],\mathbb R)\); this is acceptable according to Example 2.3. Fix \(M\in {\mathfrak {B}}\) and \(h\in Lip([0,1],\mathbb R)_a^b\). Clearly, \(M_h(0)=a\) and \(M_h(1)=b\). To prove that \(M_h\) is Lipschitzian denote by L the Lipschitz constant of h. A simple induction gives \(|T^mh(x)-T^mh(y)|\le L|x-y|\) for all \(m\in \mathbb N\) and \(x,y\in [0,1]\). Thus,
for all \(x,y\in [0,1]\).
Example 3.5
If (H\(_1\)) holds, then \(BV([0,1],\mathbb R)_a^b\) is closed under any \(M\in {\mathfrak {B}}\). To show that the conclusion holds we put \({\mathcal {B}}([0,1],\mathbb R)=BV([0,1],\mathbb R)\); this is possible according to Example 2.2. Fix \(M\in {\mathfrak {B}}\) and \(h\in BV([0,1],\mathbb R)_a^b\). Obviously, \(M_h(0)=a\) and \(M_h(1)=b\). Moreover, there exist increasing functions \(h_1,h_2\in B([0,1],\mathbb R)\) such that \(h=h_1-h_2\). Thus \(T^mh=T^mh_1-T^mh_2\) for every \(m\in \mathbb R\), and hence \(M_h=M_{h_1}-M_{h_2}\). Finally, (H\(_1\)) jointly with properties of Banach limits implies that both the functions \(M_{h_1}\) and \(M_{h_2}\) are increasing.
We are now in a position to formulate the main results of this section. To simplify their statements, let us denote by \(\mathfrak {sol}_a^b\) (E\(_0\)) the family of all functions from \({\mathcal {B}}_a^b\) satisfying equation (E\(_0\)).
Theorem 3.2
For every \(M\in {\mathfrak {M}}\) we have \(\mathfrak {sol}_a^b\)(E\(_0\))\(\subset \left\{ M_h:h\in {\mathcal {B}}_a^b\right\} \). Moreover, if \({\mathcal {B}}_a^b\) is closed under \(M\in {\mathfrak {M}}\), then \(\mathfrak {sol}_a^b\)(E\(_0\))\(=\left\{ M_h:h\in {\mathcal {B}}_a^b\right\} \).
Proof
Fix \(M\in {\mathfrak {M}}\) and \(\Phi \in \mathfrak {sol}_a^b\)(E\(_0\)). Then \(T^m\Phi =\Phi \) for every \(m\in \mathbb N\), and hence
for every \(x\in [0,1]\). Thus \(\mathfrak {sol}_a^b\) (E\(_0\))\(\subset \left\{ M_h:h\in {\mathcal {B}}_a^b\right\} \). The opposite inclusion follows from Lemma 3.1. \(\square \)
Solutions of equations (E\(_0\)) was investigated in [15, 16], basically in almost the same classes of bounded functions. However, Theorem 3.2 is incomparable with the results obtained in the papers mentioned, in which the existence and the uniqueness problems have been considered as well as properties of the unique solution have been studied.
4 Solutions of equation (E\(_g\))
In this section we describe all functions belonging to the class \({\mathcal {B}}_a^b\) which are solutions of equation (E\(_g\)). We also give the formula for these solutions showing that each of them can be written in the form \(\Phi +\varphi _*\), where \(\Phi \in {\mathcal {B}}_a^b\) is a solution of equation (E\(_0\)) and \(\varphi _*\in {\mathcal {B}}_0^0\) is a particular solution of equation (E\(_g\)). To find \(\varphi _*\) we need define a certain family of functions generated by \(g\in {\mathcal {B}}_0^0\); recall that \(g\in {\mathcal {B}}_0^0\) is a necessary condition for equation (E\(_g\)) to have a solution in the class \({\mathcal {B}}_a^b\) by Lemma 2.1(ii). If \(g\in {\mathcal {B}}_0^0\), then Lemma 2.1(i) yields \(\{T^lg:l\in \mathbb N\}\subset {\mathcal {B}}_0^0\). Therefore, given \(g\in {\mathcal {B}}_0^0\) and \(k\in \mathbb N\) we can define a function \(g_k:[0,1]\rightarrow \mathbb R\) by putting
Set
As in the previous section, denote by \(\mathfrak {sol}_a^b\)(E\(_g\)) the family of all functions from \({\mathcal {B}}_a^b\) satisfying equation (E\(_g\)).
Lemma 4.1
If \(\mathfrak {sol}_a^b\)(E\(_g\))\(\ne \emptyset \), then \({\mathcal {G}}\) is a bounded subset of \({\mathcal {B}}_0^0\).
Proof
Fix \(\varphi \in \mathfrak {sol}_a^b\)(E\(_g\)). Then Lemma 2.1 implies that \({\mathcal {G}}\subset {\mathcal {B}}_0^0\). Applying (2) we obtain
for every \(k\in \mathbb N\). \(\square \)
The above lemma shows that boundedness of the family \({\mathcal {G}}\) is a necessary condition for equation (E\(_g\)) to have a solution in the class \({\mathcal {B}}_a^b\). This also demonstrate, that \(M_{g_k}\) is well defined for all \(k\in \mathbb N\) and \(M\in {\mathfrak {B}}\) whenever equation (E\(_g\)) has a solution in \({\mathcal {B}}_a^b\).
Lemma 4.2
If \(\mathfrak {sol}_a^b\)(E\(_g\))\(\ne \emptyset \), then \(M_{g_k}=0\) for all \(M\in {\mathfrak {B}}\) and \(k\in \mathbb N\).
Proof
Fix \(\varphi \in \mathfrak {sol}_a^b\)(E\(_g\)), \(M\in {\mathfrak {B}}\) and \(k\in \mathbb N\). From (2) we get
for every \(x\in [0,1]\). Now, it only remains to see that \(M_{g_k}=kM_{g}\). \(\square \)
If \(g\in {\mathcal {B}}_0^0\) and \({\mathcal {G}}\) is bounded, then for every \(M\in {\mathfrak {B}}\) we define a function \(M_*:[0,1]\rightarrow \mathbb R\) by putting
Lemma 4.3
Assume that \(g\in {\mathcal {B}}_0^0\) and \({\mathcal {G}}\) is bounded. If \(M\in {\mathfrak {M}}\), then \(M_*\in {\mathcal {M}}_0^0\) and \(M_*=TM_*+g\).
Proof
Fix \(M\in {\mathfrak {M}}\) and observe that
Thus \(M_*\in B([0,1],\mathbb R)\). Since \(M\in {\mathfrak {M}}\), it follows that \(M_*\in {\mathcal {M}}([0,1],\mathbb R)\). Moreover, it is easy to check that \(M_*(0)=M_*(1)=0\). In consequence, \(M_*\in {\mathcal {M}}_0^0\).
Applying properties of medial limits we obtain
for every \(x\in [0,1]\). \(\square \)
We now want to find conditions under which \(M_*\in {\mathcal {B}}_0^0\). The situation is similar to that for \(M_h\in {\mathcal {B}}_a^b\). Namely, to prove that \(M_*\in {\mathcal {M}}_0^0\), we would have to show that \(TM_*\in {\mathcal {B}}_0^0\), but by Lemma 4.3 we have \(TM_*=M_*-g\). This leads us to the following definition.
We say that a function \(g\in {\mathcal {B}}_0^0\) is admissible for \(M\in {\mathfrak {B}}\), if the family \({\mathcal {G}}\) is bounded and \(M_*\in {\mathcal {B}}_0^0\).
Note that the assumption on boundedness of \({\mathcal {G}}\) in the admissibility definition is not restrictive, because if the family \({\mathcal {G}}\) is unbounded, then \(M_*\) can not be a solution of equation (E\(_g\)) by Lemma 4.1.
Before we give examples of conditions guaranteeing admissibility of a given function for a Banach limit, let us recall the definition of almost convergence of sequences. Namely, a bounded sequence \((x_{m})_{m\in \mathbb N}\) of real numbers is said to be almost convergent to a real number x if \(M((x_{m})_{m\in \mathbb N})=x\) for any \(M\in {\mathfrak {B}}\). The sequence \((0,1,0,1,0,1,\ldots )\) is a simple example of a non-convergent sequence, which is almost convergent. However almost none of the sequences consisting of 0’s and 1’s are almost convergent (see [17]). It is proved in [18] that a sequence \((x_{k})_{k\in \mathbb N}\) is almost convergent to x if and only if \(\lim _{n\rightarrow \infty }\frac{1}{n}\sum _{m=0}^{n-1}x_{k+m}=x\) uniformly in k. Therefore, for a given \(x\in [0,1]\) there exists \(y\in \mathbb R\) such that \(M((T^mg(x))_{m\in \mathbb N})=y\) for every \(M\in {\mathfrak {B}}\) if and only if
Example 4.1
Assume that \({\mathcal {G}}\subset {\mathcal {B}}_0^0\). If the series \(\sum _{l=0}^{\infty }T^lg\) pointwise almost converges to a function from \({\mathcal {B}}_0^0\), then g is admissible for every \(M\in {\mathfrak {B}}\).
Observe that if \({\mathcal {G}}\subset {\mathcal {B}}_0^0\) and if the series \(\sum _{l=0}^{\infty }T^lg\) pointwise converges to a bounded function, then the series pointwise almost converges to the same bounded function and \(M_*=\sum _{l=0}^{\infty }T^lg\) for any \(M\in {\mathfrak {B}}\). Moreover, since
for all \(x\in [0,1]\), \(M\in {\mathfrak {B}}\) and \(m\in \mathbb N\), it follows that for a fixed \(x\in [0,1]\) the series \(\sum _{l=0}^{\infty }T^lg(x)\) converges if and only if the limit \(\lim _{m\rightarrow \infty }M((T^mg_{k}(x))_{k\in \mathbb N})\) exists for every \(M\in {\mathfrak {B}}\).
Example 4.2
Assume that \({\mathcal {B}}([0,1],\mathbb R)=B([0,1],\mathbb R)\). Then every function \(g\in {\mathcal {B}}_0^0\) guaranteeing boundedness of the family \({\mathcal {G}}\) is admissible for any \(M\in {\mathfrak {B}}\).
Example 4.3
Assume that \(g\in {\mathcal {B}}_0^0\) and there exists \(m\in \mathbb N\) such that
Then \({\mathcal {G}}=\big \{\sum _{l=0}^{k-1}T^lg:k\in \{1,\ldots ,m\}\big \}\) and \(M_*=\sum _{l=0}^{m-1}T^lg\) for any \(M\in {\mathfrak {B}}\). Therefore g is admissible for any \(M\in {\mathfrak {B}}\).
Let us note that condition (5) is not very far from a necessary condition for g derived in Lemma 4.2, which says that \(M\big ((T^mg(x))_{m\in \mathbb N}\big )=0\) for all \(x\in [0,1]\) and \(M\in {\mathfrak {B}}\).
We now formulate the main result of this paper.
Theorem 4.4
-
(i)
Assume that
$$\begin{aligned} \mathfrak {sol}_a^b(\hbox {E}_g)\ne \emptyset . \end{aligned}$$(6)Then for every \(M\in {\mathfrak {M}}\) we have \(\mathfrak {sol}_a^b\)(E\(_g\))\(\subset \left\{ M_h+M_*:h\in {\mathcal {B}}_a^b\right\} \). Moreover, g is admissible for any \(M\in {\mathfrak {B}}\) under which \({\mathcal {B}}_a^b\) is closed.
-
(ii)
If \({\mathcal {B}}_a^b\) is closed under \(M\in {\mathfrak {M}}\) and \(g\in {\mathcal {B}}_0^0\) is admissible for M, then \(\mathfrak {sol}_a^b\)(E\(_g\))\(=\left\{ M_h+M_*:h\in {\mathcal {B}}_a^b\right\} \).
-
(iii)
If \(g\in {\mathcal {B}}_0^0\) is admissible for some \(M\in {\mathfrak {M}}\), then \(\mathfrak {sol}_a^b\)(E\(_g\))\(=\mathfrak {sol}_a^b\)(E\(_0\))\(+M_*\).
Proof
First of all note that assumption (6) implies that \({\mathcal {B}}_a^b\ne \emptyset \).
(i) Fix \(\varphi \in \mathfrak {sol}_a^b\)(E\(_g\)) and \(M\in {\mathfrak {M}}\). Obviously, \(M_\varphi \) is well defined. From Lemma 4.1 we conclude that \(M_*\) is also well defined. Applying induction to (2) we get
for every \(k\in \mathbb N\), and hence \(\varphi (x)=M_\varphi (x)+M_*(x)\) for every \(x\in [0,1]\). Thus \(\mathfrak {sol}_a^b\)(E\(_g\))\(\subset \left\{ M_h+M_*:h\in {\mathcal {B}}_a^b\right\} \). Moreover, if \({\mathcal {B}}_a^b\) is closed under \(M\in {\mathfrak {B}}\), then \(M_\varphi \in {\mathcal {B}}_a^b\), and making use of (7) we obtain that \(\sup _{k\in \mathbb N}\Vert g_k\Vert \le 2\Vert \varphi \Vert \) and \(M_*=\varphi -M_\varphi \in {\mathcal {B}}_0^0\).
(ii) Fix \(M\in {\mathfrak {M}}\) and \(h\in {\mathcal {B}}_a^b\). Then Lemmas 3.1, 4.1 and 4.3 give
Since \({\mathcal {B}}_a^b\) is closed under \(M\in {\mathfrak {M}}\) and \(g\in {\mathcal {B}}_0^0\) is admissible for M, we have \(M_h+M_*\in {\mathcal {B}}_a^b\). Then \(M_h+M_*\in \mathfrak {sol}_a^b\)(E\(_g\)), and hence \(\left\{ M_h+M_*:h\in {\mathcal {B}}_a^b\right\} \subset \mathfrak {sol}_a^b\)(E\(_g\)). Now it suffices to apply assertion (i).
(iii) Fix \(\varphi \in \mathfrak {sol}_a^b\)(E\(_g\)). Lemma 4.3 jointly with the admissibility of g implies that \(\varphi -M_*\in \mathfrak {sol}_a^b\)(E\(_0\)). Hence \(\varphi =(\varphi -M_*)+M_*\in \mathfrak {sol}_a^b\)(E\(_0\))\(+M_*\). Conversely, fix \(\Phi \in \mathfrak {sol}_a^b\)(E\(_0\)). Then again Lemma 4.3 jointly with the admissibility of g implies that \(\Phi +M_*\in \mathfrak {sol}_a^b\)(E\(_g\)). \(\square \)
Corollary 4.5
Assume that \(g\in {\mathcal {B}}_0^0\). Then equation (E\(_g\)) has a solution in \({\mathcal {B}}_a^b\) if and only if g is admissible for some \(M\in {\mathfrak {B}}\) and equation (E\(_0\)) has a solution in \({\mathcal {B}}_a^b\).
Remark 4.1
If \(\mathfrak {sol}_a^b\)(E\(_g\))\(=\emptyset \), then it may happen that there is no \(M\in {\mathfrak {B}}\) for which \(M_*\) is well defined; see e.g. the equation \(\varphi (x)=\varphi (x)+1\). Therefore, assumption (6) can not be omitted in assertion (i) of Theorem 4.4. The above exemplary equation also shows that the admissibility assumption in assertion (iii) of Theorem 4.4 is necessary.
5 Consequence of the main results
In this section we formulate some exemplary consequences of the main results, making use of the presented examples and applying some know results on equation (E\(_g\)). We begin with the case where \({\mathcal {A}}=2^\Omega \).
Corollary 5.1
Assume
- (H\(_4\)):
-
\((f_n)_{n\in \mathbb N}\) is a sequence of self-mappings of [0, 1] such that \(f_n(0)=0\) and \(f_n(1)=1\) for every \(n\in \mathbb N\), \((p_n)_{n\in \mathbb N}\) is a sequence of nonnegative real numbers summing up to one and \(g\in B([0,1],\mathbb R)_0^0\).
Then the equation
has a solution in \(B([0,1],\mathbb R)\) if and only if the family
is bounded. Moreover, if the family given by (8) is bounded, then \(\varphi \in B([0,1],\mathbb R)\) is a solution of equation (e\(_g\)) if and only if \(\varphi =M_h+M_*\) with some \(M\in {\mathfrak {B}}\) and \(h\in B([0,1],\mathbb R)\).
Proof
In view of Examples 2.1, 3.1 and 4.2, it suffices to apply Theorem 3.2 and Corollary 4.5 with \({\mathcal {B}}([0,1],\mathbb R)=B([0,1],\mathbb R)\) and arbitrary \(M\in {\mathfrak {B}}\). \(\square \)
Now we show a possible application of Corollary 5.1.
Example 5.1
Fix \(N\in \mathbb N\), real numbers \(p_0,\ldots ,p_N\ge 0\) summing up to one and a function \(f:[0,1]\rightarrow [0,1]\) such that \(f(0)=0\), \(f(1)=1\) and \(f^{N+1}(x)=x\) for every \(x\in [0,1]\); for a full description of such functions see [1, Theorem 15.1]. Then consider the following functional equation
which is discussed in more details in [1, Chapter XIII] and in [2, Subsects. 6.3 and 6.7]).
For all \(n\in \{0,\ldots ,N\}\) and \(m\in \mathbb N\) define recursively numbers \(\alpha _{m,n}\) putting
Then applying induction we obtain
for all \(h\in B([0,1],\mathbb R)\) and \(m\in \mathbb N\). Moreover, family (8) takes the form
Therefore, from Corollary 5.1 we infer that Eq. (9) has a solution in \(B([0,1],\mathbb R)\) if and only if family (10) is bounded. Moreover, if the family (10) is bounded, then \(\varphi :[0,1]\rightarrow \mathbb R\) is a bounded solution of Eq. (9) if and only if
with some \(h\in B([0,1],\mathbb R)\) and \(M\in {\mathfrak {B}}\).
If \(p_0=\dots =p_N=\frac{1}{N+1}\), then \(\alpha _{m,n}=\frac{1}{N+1}\) for all \(m\in \mathbb N\) and \(n\in \{0,\ldots ,N\}\), and hence the family (10) is bounded if and only if
cf. Example 4.3. In consequence, equation (9) with \(p_0=\dots =p_N=\frac{1}{N+1}\) has a solution \(\varphi \in B([0,1],\mathbb R)\) if and only if (11) holds, and moreover,
with some \(h\in B([0,1],\mathbb R)\).
Purely bounded solutions of equation (E\(_g\)) are considered rather rarely. Usually some additional property is requited, such as monotonicity (see e.g. [19,20,21]), Borel measurability (see e.g. [22, 23]), continuity at a point (see e.g. [24]). The next two corollaries concern just such cases. To formulate the first one we need some notion. Namely, following [5] (cf. [25]) we define iterates of a function \(h:[0,1]\times \Omega \rightarrow [0,1]\) as follows
for all \(x\in [0,1]\), \(\omega =(\omega _1,\omega _2,\ldots )\in \Omega ^\infty \) and \(n\in \mathbb N\). Note that if h is an rv-function, then all its iterates are also rv-functions defined on the product space \((\Omega ^\infty ,{\mathcal {A}}^\infty ,P^\infty )\).
Corollary 5.2
Assume that f is an rv-function such that the function \(f(\cdot ,\omega )\) is continuous at 0 and 1 for every \(\omega \in \Omega \) and the function \(m:[0,1]\rightarrow [0,1]\) defined by \(m(x)=\int _\Omega f(x,\omega )dP(\omega )\) is continuous with \(m(x)\ne x\) for every \(x\in (0,1)\). Let \(g\in B([0,1],\mathbb R)_0^0\) be Borel measurable continuous at 0 and 1, let the family \({\mathcal {G}}\) be bounded, and let M be a medial limit with respect to a probability Borel measure on [0, 1] such that \(M_*\) is continuous at 0 and 1. If \(\varphi \in B([0,1],\mathbb R)_0^1\) is a Borel measurable, continuous at 0 and 1 solution of equation (E\(_g\)), then
for every \(x\in [0,1]\).
Proof
Choose \({\mathcal {B}}([0,1],\mathbb R)=Borel([0,1],\mathbb R)\cap C_0([0,1],\mathbb R)\cap C_1([0,1],\mathbb R)\); this is possible in view of Examples 2.4 and 2.5. According to [24, Proposition 2.1 and Corollary 2.4] we have \(\mathfrak {sol}_a^b\)(E\(_0\))\(=\{\Phi \}\), where \(\Phi (x)=P^\infty \left( \lim _{n\rightarrow \infty }f^n(x,\cdot )=1\right) \) for every \(x\in [0,1]\). Finally, since g is admissible for M, it is enough to apply Theorem 4.4(iii). \(\square \)
Corollary 5.3
Assume (H\(_4\)). Let \(x_0\in \{0,1\}\) and let there exists \(\eta >0\) such that \(\frac{f_n(x)-f_n(x_0)}{x-x_0}\le 1\) for all \(n\in \mathbb N\) and \(x\in (0,1)\) with \(|x-x_0|\le \eta \). If \(g\in C_{x_0}([0,1],\mathbb R)_0^0\) and the series \(\sum _{l=0}^{\infty }T^lg\) converges uniformly, then \(\varphi \in C_{x_0}([0,1],\mathbb R)\) is a solution of equation (e\(_g\)) if and only if there exists \(h\in C_{x_0}([0,1],\mathbb R)\) such that \(\varphi =M_h+\sum _{l=0}^{\infty }T^lg\) with an arbitrary \(M\in {\mathfrak {B}}\).
Proof
The uniform convergence of the series \(\sum _{l=0}^{\infty }T^lg\) implies its pointwise almost convergence to a function from the class \(C_{x_0}([0,1],\mathbb R)\) as well as the boundedness of the family \({\mathcal {G}}\). Now it is enough to apply Theorems 3.2 and 4.4 with \({\mathcal {B}}([0,1],\mathbb R)=C_{x_0}([0,1],\mathbb R)\) and an arbitrary \(M\in {\mathfrak {B}}\), which is possible in view of Examples 2.5, 3.3 and 4.1. \(\square \)
The next example is in the spirit of the idea of the manuscript [26] with the use of Corollary 5.3.
Example 5.2
Assume (H\(_4\)) with \(g\in C_0([0,1],\mathbb R)\) and let there exists \(\alpha >1\) such that \(f_n(x)\le x^\alpha \) for all \(n\in \mathbb N\) and \(x\in [0.1]\). Then consider equation (e\(_g\)) and its solutions in the class \(C_0([0,1],\mathbb R)\).
Fix \(h\in C_0([0,1],\mathbb R)\) and \(x\in (0,1)\). By induction on m we obtain \(T^mh(x)=\sum _{n_1,\ldots ,n_m\in \mathbb N}p_{n_1}\cdots p_{n_m}h(f_{n_1}(\ldots ( f_{n_m}(x))\ldots ))\) and \(f_{n_1}(\ldots (f_{n_m}(x))\ldots )\le x^{\alpha ^m}\) for every \(m\in \mathbb N\). Thus \(\lim _{m\rightarrow \infty }T^mh(x)=0\), and hence
for every \(M\in {\mathfrak {B}}\). If the series \(\sum _{l=0}^{\infty }T^lg(x)\) uniformly converges, then Corollary 5.3 implies that every solution \(\varphi \in C_0([0,1],\mathbb R)\) of equation (e\(_g\)) is of the form
where \(a,b\in \mathbb R\).
Lipschitzian solutions of equation (E\(_g\)), in a more general setting than in this paper, were recently examined in [27,28,29,30]. However, the next Corollary gives a general formulae for a wide class of Lipschitzian solutions of equation (E\(_g\)), in contrast to the papers mentioned, in which assumptions made force uniqueness or uniqueness up to an additive constant of Lipschitzian solutions of the equation considered.
Corollary 5.4
Assume \((\mathrm{H}_2)\) and let \(g\in Lip([0,1],\mathbb R)\). Then equation (E\(_g\)) has a solution in \(Lip([0,1],\mathbb R)\) if and only if g is admissible for \(M\in {\mathfrak {M}}\). Moreover, every solution \(\varphi \in Lip([0,1],\mathbb R)\) of equation (E\(_g\)) is of the form \(\varphi =M_h+M_*\) with some \(h\in Lip([0,1],\mathbb R)\) and \(M\in {\mathfrak {M}}\).
Proof
First note that (H\(_2\)) jointly with (1) yields
This condition implies that each piecewise affine function is a solution of equation (E\(_0\)). In particular, equation (E\(_0\)) has a Lipschitzian solution. Now, in view of Examples 2.3 and 3.4, it suffice to apply Corollary 4.5 and Theorem 4.4(ii) with \({\mathcal {B}}([0,1],\mathbb R)=Lip([0,1],\mathbb R)\) and suitable \(M\in {\mathfrak {M}}\). \(\square \)
The next corollary gives a formulae for the general solution of equation (E\(_g\)) in the space \(BV([0,1],\mathbb R)\), and hence, partially solves the problem considered in [31] for a very spacial case of equation (E\(_0\)).
Corollary 5.5
Assume \((\mathrm{H}_1)\). Let \(g\in BV([0,1],\mathbb R)\). Then equation (E\(_g\)) has a solution in \(BV([0,1],\mathbb R)\) if and only if g is admissible for some \(M\in {\mathfrak {M}}\) and equation (E\(_0\)) has a solution \(\Phi \in BV([0,1],\mathbb R)\). Moreover, \(\varphi \in BV([0,1],\mathbb R)\) satisfies (E\(_g\)) if and only if \(\varphi =M_h+M_*\) with some \(h\in BV([0,1],\mathbb R)\) and \(M\in {\mathfrak {M}}\).
Proof
It is enough to apply Theorems 3.2 and 4.4 with \({\mathcal {B}}([0,1],\mathbb R)=BV([0,1],\mathbb R)\) and arbitrary \(M\in {\mathfrak {M}}\), which is possible in view of Examples 2.2 and 3.5. \(\square \)
Before we formulate the last corollary of this paper let us to extend the main result of [31] to equation (E\(_0\)). For this purpose, given \(h\in BV([0,1],\mathbb R)\) we denote by \(h_+\) and \(h_-\) the upper and the lower variation of h, respectively.
Proposition 5.6
Assume \((\mathrm{H}_1)\). If \(\Phi \in BV([0,1],\mathbb R)\) satisfies (E\(_0\)), then also \(\Phi _+\) and \(\Phi _-\) satisfy (E\(_0\)).
Proof
Fix \(\Phi \in BV([0,1],\mathbb R)\) satisfying (E\(_0\)). Define functions \(F,G:[0,1]\rightarrow \mathbb R\) by putting \(F(x)=\int _{\Omega }\Phi _+(f(x,\omega ))dP(\omega )\) and \(G(x)=\int _{\Omega }\Phi _-(f(x,\omega ))dP(\omega )\). Then \(\Phi _+-\Phi _-=F-G\) and by (H\(_1\)) both the functions F and G are increasing. Hence the Jordan decomposition yields \(\Phi _+(y)-\Phi _+(x)\le F(y)-F(x)\) for all \(0\le x\le y\le 1\). Putting in the last inequality \(x=0\) and \(y=1\) in turn and making use of (1) we obtain \(\Phi _+(y)\le F(y)\) and \(\Phi _+(x)\ge F(x)\) for all \(x,y\in [0,1]\). In consequence, \(\Phi _+=F\) and \(\Phi _-=G\). \(\square \)
The above proposition reduces the problem of determining all solutions of bounded variation of equation (E\(_0\)) to that of finding all increasing solutions of this equation. We end this paper determining all increasing solutions of equation (E\(_0\)).
Corollary 5.7
Assume \((\mathrm{H}_1)\). Then \(\varphi :[0,1]\rightarrow \mathbb R\) is an increasing solution of equation (E\(_0\)) if and only if \(\varphi =M_h\) with some increasing function \(h:[0,1]\rightarrow \mathbb R\) and \(M\in {\mathfrak {M}}\).
Proof
If \(\varphi :[0,1]\rightarrow \mathbb R\) is an increasing solution of equation (E\(_0\)), then \(\varphi =M_\varphi \) with any \(M\in {\mathfrak {M}}\).
Conversely, if \(h:[0,1]\rightarrow \mathbb R\) is increasing and \(M\in {\mathfrak {M}}\), then \(M_h\) is increasing as well. Moreover, Corollary 5.5 implies that \(M_h\) satisfies (E\(_0\)). \(\square \)
References
Kuczma, Marek: Functional Equations in a Single Variable. Monografie Matematyczne, Tom 46. Państwowe Wydawnictwo Naukowe, Warsaw (1968)
Kuczma, Marek, Choczewski, Bogdan, Ger, Roman: Iterative Functional Equations. Encyclopedia of Mathematics and its Applications, vol. 32. Cambridge University Press, Cambridge (1990)
Baron, Karol, Jarczyk, Witold: Recent results on functional equations in a single variable, perspectives and open problems. Aequationes Math. 61(1–2), 1–48 (2001)
Łojasiewicz, Stanislaw: An introduction to the theory of real functions. A Wiley-Interscience Publication. Wiley, Chichester, third edition, 1988. With contributions by M. Kosiek, W. Mlak and Z. Opial, Translated from the Polish by G. H. Lawden, Translation edited by A. V. Ferreira
Baron, Karol, Kuczma, Marek: Iteration of random-valued functions on the unit interval. Colloq. Math. 37(2), 263–269 (1977)
Banach, Stefan: Théorie Des opérations Linéaires. Chelsea Publishing Co., New York (1955)
Mokobodzki, Gabriel: Ultrafiltres rapides sur N. Construction d’une densité relative de deux potentiels comparables. In: Séminaire de Théorie du Potentiel, dirigé par M. Brelot, G. Choquet et J. Deny: 1967/68, Exp. 12, p 22. Secrétariat mathématique, Paris, 1969
Meyer, P.A.: Limites médiales, d’après Mokobodzki. pp 198–204. Lecture Notes in Math., Vol. 321 (1973)
Douglas, R.G.: On the measure-theoretic character of an invariant mean. Proc. Am. Math. Soc. 16, 30–36 (1965)
Chou, Ching: On the size of the set of left invariant means on a semi-group. Proc. Amer. Math. Soc. 23, 199–205 (1969)
Pietsch, Albrecht: Traces of operators and their history. Acta Comment. Univ. Tartu. Math. 18(1), 51–64 (2014)
Weiss, Benjamin: A survey of generic dynamics. In: Descriptive set theory and dynamical systems (Marseille-Luminy, 1996), volume 277 of London Math. Soc. Lecture Note Ser., pp 273–291. Cambridge Univ. Press, Cambridge (2000)
Fremlin, D.H.: Measure Theory. Vol. 5. Set-Theoretic Measure Theory. Part I. Torres Fremlin, Colchester, 2015. Corrected reprint of the 2008 original
Larson, P.B.: The filter dichotomy and medial limits. J. Math. Log. 9(2), 159–165 (2009)
Morawiec, Janusz: On a linear functional equation. Bull. Polish Acad. Sci. Math. 43(2), 131–142 (1995)
Morawiec, Janusz: Some properties of probability distribution solutions of linear functional equations. Aequationes Math. 56(1–2), 81–90 (1998)
Connor, Jeff: Almost none of the sequences of \(0\)’s and \(1\)’s are almost convergent. Int. J. Math. Math. Sci. 13(4), 775–777 (1990)
Lorentz, G.G.: A contribution to the theory of divergent sequences. Acta Math. 80, 167–190 (1948)
Kochanek, Tomasz, Morawiec, Janusz: Probability distribution solutions of a general linear equation of infinite order. Ann. Polon. Math. 95(2), 103–114 (2009)
Kochanek, Tomasz, Morawiec, Janusz: Probability distribution solutions of a general linear equation of infinite order. II. Ann. Polon. Math. 99(3), 215–224 (2010)
Morawiec, Janusz, Reich, Ludwig: The set of probability distribution solutions of a linear functional equation. Ann. Polon. Math. 93(3), 253–261 (2008)
Baron, Karol: Linear iterative equations of higher orders and random-valued functions. Publ. Math. Debrecen 75(1–2), 1–9 (2009)
Baron, Karol: Kapica, Rafał: A uniqueness-type problem for linear iterative equations. Analysis (Munich) 29(1), 95–101 (2009)
Baron, Karol, Jarczyk, Witold: Random-valued functions and iterative functional equations. Aequationes Math. 67(1–2), 140–153 (2004)
Diamond, Phil: A stochastic functional equation. Aequationes Math. 15(2–3), 225–233 (1977)
Sudzik, Mariusz: Iterative Functional Equations and Global Attractive Fixed Points. manuscript
Baron, Karol: On the convergence in law of iterates of random-valued functions. Aust. J. Math. Anal. Appl. 6(1), 3–9 (2009)
Baron, Karol: Kapica, Rafal, Morawiec, Janusz: On Lipschitzian solutions to an inhomogeneous linear iterative equation. Aequationes Math. 90(1), 77–85 (2016)
Baron, Karol, Morawiec, Janusz: Lipschitzian solutions to linear iterative equations. Publ. Math. Debrecen 89(3), 277–285 (2016)
Baron, Karol, Morawiec, Janusz: Lipschitzian solutions to linear iterative equations revisited. Aequationes Math. 91(1), 161–167 (2017)
Matkowski, Janusz: Remark on BV-solutions of a functional equation connected with invariant measures. Aequationes Math. 29(2–3), 210–213 (1985)
Acknowledgements
This research was supported by the University of Silesia Mathematics Department (Iterative Functional Equations and Real Analysis program).
Author information
Authors and Affiliations
Corresponding author
Additional information
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
Morawiec, J. An Application of Medial Limits to Iterative Functional Equations. Results Math 75, 102 (2020). https://doi.org/10.1007/s00025-020-01229-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-020-01229-w