 Research
 Open Access
 Published:
Continuous solutions of 3rdorder iterative equation of linear dependence
Advances in Difference Equations volume 2014, Article number: 318 (2014)
Abstract
We study continuous solutions of the 3rdorder iterative equation of the linear dependence for hyperbolic cases and generalize the results to the n thorder polynomiallike iterative equation, in some cases recursively. This paper partly answers the question raised in Remark 7 in (Yang and Zhang in Aequ. Math. 67:80105, 2004) and the open problem raised by Matkowski in (Aequ. Math. 37:119, 1989) in the 26th international symposium on functional equations.
MSC:39B12, 37E05.
1 Introduction
Consider a real function $f:\mathbb{R}\to \mathbb{R}$. Its n th iterate is defined by ${f}^{n}(x)=f({f}^{n1}(x))$, ${f}^{0}(x)=x$ for all $x\in \mathbb{R}$ recursively. A functional equation involving the iterates of the unknown function is called an iterative functional equation. Some problems of dynamical systems such as iterative root [1, 2] and invariant curve [3, 4] reduce to those iterative equations, a more general and important form is the polynomiallike iterative equation
an equation of the linear dependence of iterates. While attention was paid to the case of nonlinear F (see e.g. [5–11]) and further generalized forms [12, 13], the case of linear F, that is,
even the homogeneous equation
is also fascinating. In 1974 Nabeya [14] investigated the generalized Euler equation $f(p+qx+rf(x))=a+bx+cf(x)$, which actually is equivalent to (1.2) for $n=2$. He showed all iterates ${f}^{k}$ by a system of linear homogeneous difference equations and formulated continuous solutions by this system’s eigenvalues. However, all continuous solutions of (1.2) for $n\ge 3$ have long been in suspense. In 1989 Matkowski [15] raised an open problem in the 26th international symposium on functional equations: ‘How to determine all the continuous solutions $f:\mathbb{R}\to \mathbb{R}$ of the nthorder homogeneous iterative equation under the condition ${\lambda}_{0}\ne 0$, even for $n=3$?’, which has attracted attention of many scholars.
Let ${r}_{1},{r}_{2},\dots ,{r}_{n}$ be n complex roots of the characteristic equation
In 1996 Jarczyk [16] discussed (1.3) defined on the interval not containing zero and gave the linear solution $f=cx$, where ${\lambda}_{i}>0>{\lambda}_{0}$ ($i=1,\dots ,n1$) and c is the unique positive characteristic root. Tabor and Tabor [17] investigated (1.3) defined on the same domain. Assuming that r is the unique positive and simple characteristic root and is smaller than the module of all complex ones, they proved that the equation has exactly a solution $f(x)=rx$ depending continuously on all coefficients. In 1997 Matkowski and Zhang [18] established a characteristic theory of the second order (1.3) with ${\lambda}_{0}\ne 0$, i.e., all continuous solutions were represented by using two characteristic solutions $f(x)={r}_{i}x$ ($i=1,2$).
Characteristic theory of (1.3) for $n\ge 3$, as we know, is more complicated. In 2004 Yang and Zhang [19] constructed all continuous solutions of (1.3) for the hyperbolic cases: (1) $1<{r}_{1}<{r}_{2}<\cdots <{r}_{n}$; (2) $0<{r}_{1}<{r}_{2}<\cdots <{r}_{n}<1$; (3) ${r}_{1}<{r}_{2}<\cdots <{r}_{n}<1$; (4) $1<{r}_{1}<{r}_{2}<\cdots <{r}_{n}<0$, and they proved no continuous solutions when the characteristic roots are all complex roots, and they gave a lowing order method for the nmultiple characteristic roots case. The authors pointed out [[19], Remark 7] that when (1.3) has both positive characteristic roots and negative ones or some characteristic roots are greater than 1 in absolute value and the others less than 1 in absolute value, the construction of continuous solutions is not yet known. Recently, Zhang and Zhang [[20], Lemma 3] indicated that a solution of (1.2) is a translation of that of (1.3) if all ${r}_{i}\ne 0,1$ ($i=1,2,\dots ,n$). The authors gave a method to lower the order of (1.3) when the module of all complex characteristic roots is larger than that of the real characteristic roots. Furthermore, the paper obtained the continuous solutions of (1.3) for the nonhyperbolic case $1={r}_{1}<{r}_{2}<\cdots <{r}_{n}$, and proved no continuous solutions for (1.2) with $c\ne 0$ in the case of all characteristic roots being 1.
So far, for $n\ge 3$ there are no results on the theory of characteristics for (1.3) in the following cases:
(${E}_{+}{C}_{+}$) All characteristics are positive but some are greater than 1 and others are less than 1.
(${E}_{}{C}_{}$) All characteristics are negative but some are greater than 1 in absolute value and others are less than 1 in absolute value.
(${E}_{+}{C}_{}$) Some characteristics are positive and greater than 1 but others are negative and less than 1 in absolute value.
(${E}_{}{C}_{+}$) Some characteristics are negative and greater than 1 in absolute value but others are positive and less than 1.
(${C}_{+}{C}_{}$) Some characteristics are positive and less than 1 but others are negative and less than 1 in absolute value.
(${E}_{+}{E}_{}$) Some characteristics are positive and greater than 1 but others are negative and greater than 1 in absolute value.
Besides, there are cases including complex roots and many critical cases (a characteristic is equal to ±1) and degenerate cases (a characteristic vanishes).
Following directly the idea from [19] and referring to [21, 22], in this paper we first get the general iterates ${f}^{m}$ of (1.3) with simple characteristic roots, where m is a positive integer. Using this formula we construct all ${C}^{0}$ solutions of the homogeneous equation
where ${r}_{i}\ne 0,1$ ($i=1,2,3$) and have different modules. Those results are generalized to the n thorder polynomiallike iterative equation, in some cases recursively. This paper is organized as follows: Section 2 introduces the properties of linear difference form and prove the generally iterative formula. Section 3 gives all continuous solutions for the cases (${E}_{+}{C}_{+}$), (${E}_{}{C}_{}$), and Section 4 gives that of the cases (${E}_{+}{C}_{}$), (${E}_{}{C}_{+}$), (${C}_{+}{C}_{}$), (${E}_{+}{E}_{}$). Finally, we give continuous solutions of the n thorder polynomiallike iterative equation, in some cases. For convenience of statement, we write the dual equation of (1.4)
2 Preliminaries
In this section we state some notations and lemmas used in the proof of our results. Applying the linear difference form
first introduced in [23], where ${({x}_{\ell})}_{\ell \in \mathbb{Z}}:=(\dots ,{x}_{1},{x}_{0},{x}_{1},\dots )$ is a bilateral sequence in vector space X over ℂ, (1.2) is simplified to
Lemma 2.1 ([[20], Lemma 1])
Suppose that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (2.1). If ${\lambda}_{0}\ne 0$, then f is a homeomorphism.
Using Lemma 2.1, if ${\lambda}_{0}\ne 0$, the inverse ${f}^{1}$ satisfies the dual equation
Lemma 2.2 ([[19], Lemmas 1, 2, 3], [[20], Lemma 2])
Suppose that $n\ge 1$ and k are integers, and ${r}_{1},{r}_{2},\dots ,{r}_{n}$ are complex numbers. If $({\tilde{r}}_{1},\dots ,{\tilde{r}}_{n})$ is a permutation of $({r}_{1},\dots ,{r}_{n})$, then ${\mathcal{F}}_{k}[{\tilde{r}}_{1},\dots ,{\tilde{r}}_{n}]={\mathcal{F}}_{k}[{r}_{1},\dots ,{r}_{n}]$. Moreover,

(i)
(Lower order) for integer $1\le q\le n$,
$${\mathcal{F}}_{k}[{r}_{1},\dots ,{r}_{n}]=\sum _{j=0}^{q}{(1)}^{j}\sum _{nq+1\le {s}_{1}<\cdots <{s}_{j}\le n}{r}_{{s}_{1}}{r}_{{s}_{2}}\cdots {r}_{{s}_{j}}{\mathcal{F}}_{k+qj}[{r}_{1},\dots ,{r}_{nq}];$$ 
(ii)
(Reduce to dual) if ${r}_{i}\ne 0$ ($i=1,2,\dots ,n$) then
$${\mathcal{F}}_{k}[{r}_{1},\dots ,{r}_{n}]{\left({f}^{\ell}\right)}_{\ell \in \mathbb{Z}}={(1)}^{n}{r}_{1}\cdots {r}_{n}{\mathcal{F}}_{(k+n)}[{r}_{1}^{1},\dots ,{r}_{n}^{1}]{\left({f}^{\ell}\right)}_{\ell \in \mathbb{Z}};$$ 
(iii)
(Shift on iteration) if the ${C}^{0}$ function $f:\mathbb{R}\to \mathbb{R}$ satisfies ${\mathcal{F}}_{0}[{r}_{1},{r}_{2},\dots ,{r}_{n}]{({f}^{\ell})}_{\ell \in \mathbb{Z}}=0$, then
$${\mathcal{F}}_{k+p}[{r}_{1},\dots ,{r}_{t1},{r}_{t+1},\dots ,{r}_{n}]{\left({f}^{\ell}\right)}_{\ell \in \mathbb{Z}}={r}_{t}^{p}{\mathcal{F}}_{k}[{r}_{1},\dots ,{r}_{t1},{r}_{t+1},\dots ,{r}_{n}]{\left({f}^{\ell}\right)}_{\ell \in \mathbb{Z}}$$
for arbitrary positive integers p, t with $1\le t\le n$.
Lemma 2.3 ([[20], Lemma 3])
Suppose that all numbers ${r}_{i}\ne 0$ ($i=1,2,\dots ,n$) are real and none of them is equal to 1. Then the equation ${\mathcal{F}}_{0}[{r}_{1},{r}_{2},\dots ,{r}_{n}]{({f}^{\ell}(x))}_{\ell \in \mathbb{Z}}=c$ for all $x\in \alpha ,\beta $ can be reduced to the equation ${\mathcal{F}}_{0}[{r}_{1},{r}_{2},\dots ,{r}_{n}]{({\tilde{f}}^{\ell}(x))}_{\ell \in \mathbb{Z}}=0$ for all $x\in \alpha \xi ,\beta \xi $ by the substitution $\tilde{f}(x)=f(x+\xi )\xi $, where $\xi :=c/{\prod}_{\varsigma =1}^{n}(1{r}_{\varsigma})$, and vice versa.
Lemma 2.4 If a ${C}^{0}$ solution $f:\mathbb{R}\to \mathbb{R}$ of (2.1) with $c=0$ has a nonzero fixed point, then at least one of its characteristic roots equals 1.
Proof Assume that $f(\mu )=\mu \ne 0$. Substituting $x=\mu $ into (2.1) with $c=0$, we have ${\mathcal{F}}_{0}[{r}_{1},\dots ,{r}_{n}]{(\mu )}_{\ell \in \mathbb{Z}}=0$, i.e.,
Then one of ${r}_{i}$ ($i=1,2,\dots ,n$) equals 1. This completes the proof. □
Lemma 2.5 Suppose that the characteristic polynomial $P(r)$ has n distinct roots ${r}_{1},\dots ,{r}_{n}$ in ℂ. If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (2.1) with $c=0$, then
for all integers $m\ge 1$ and $i=1,2,\dots ,n$, where $\mathrm{\u25b3}({r}_{1},\dots ;{r}_{i};\dots ,{r}_{n})={\prod}_{j=1,j\ne i}^{n}({r}_{i}{r}_{j})$.
Proof Let $f:\mathbb{R}\to \mathbb{R}$ be a ${C}^{0}$ solution of (2.1) with $c=0$, we have the shift on the iteration
by using (iii) of Lemma 2.2. For fixed integer $m\ge 1$ and $i=1,2,\dots ,n$, (2.5) is a system of n linear equations for ${f}^{m+n1},{f}^{m+n2},\dots ,{f}^{m}$. Let
where ‘τ’ stands for transposing a vector. Then (2.5) is rewritten as
in which
In order to obtain ${f}^{m}$, our strategy is to transform A into upper triangular matrix and every element of the principal diagonal is 1. More precisely, multiplying the first row by −1 and then adding other rows, we see that the first element of the i th ($2\le i\le n$) row equals 0. Then for the i th ($2\le i\le n$) row, we divide the second element and the matrix A changes into
where all ∗ are nonzero elements since ${r}_{i}\ne {r}_{j}$ for $1\le i,j\le n$. Note that the submatrix
has the same form as that of A, using the same idea and arguments we obtain at last an upper triangular matrix such that
By using the above elementary invertible linear transformations, the augmented matrix $[AT]$ transforms into rowechelon form, which yields (2.3) from the last low.
The proof of (2.4) is the same as that of (2.3) by considering the dual equation (2.2) and is omitted. This completes the proof. □
From Lemma 2.5 we obtain the main tool used in our paper immediately.
Lemma 2.6 Suppose that (1.4) has three different characteristic roots ${r}_{1}$, ${r}_{2}$, ${r}_{3}$ in ℂ. If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (1.4), then
for any integer $m\ge 1$.
3 Same signs with both expansion and contraction
In this section we construct all ${C}^{0}$ solutions of (1.4) for the cases (${E}_{+}{C}_{+}$) and (${E}_{}{C}_{}$) listed in Table 1.
Lemma 3.1 Suppose that $0<{r}_{1}<1<{r}_{2}<{r}_{3}$. Then for ${x}_{0}=0$ and arbitrarily given ${x}_{1}$, ${x}_{2}$ such that
the sequence $(\dots ,{x}_{2},{x}_{1};{x}_{0},{x}_{1},{x}_{2},\dots )$ defined by
is strictly increasing and satisfies
Proof In order to prove the monotonicity and divergence of the sequence $({x}_{n})$, we prove that
First of all, we claim that
In fact (3.6) holds for $n=0$ by (3.1). Now, fix integer $k\ge 1$ and suppose that (3.6) holds for $n=k1$. Then using (3.2) we get
implying (3.6) holds for $n=k$. Thus (3.6) is proved by induction for k, from which we get
i.e., (3.5) holds. Since ${r}_{2}>1$, it follows that ${({x}_{n})}_{n\ge 0}$ is strictly increasing. From (3.5) we have
Hence for arbitrarily given $M>0$, there exists an integer N large enough such that
Consequently, ${lim}_{n\to +\mathrm{\infty}}{x}_{n}=+\mathrm{\infty}$. In a similar way as before, we get
for $n=0,1,2,\dots $ . Hence ${x}_{n+1}<\frac{1}{{r}_{1}}{x}_{n+2}$, $n=0,1,2,\dots $ . This jointly with ${x}_{1}<0$ implies ${({x}_{n})}_{n\le 0}$ is strictly increasing and ${lim}_{n\to \mathrm{\infty}}{x}_{n}=\mathrm{\infty}$. □
Lemma 3.2 Suppose that $0<{r}_{1}<1<{r}_{2}<{r}_{3}$. Then for ${x}_{0}=0$ and arbitrary points ${x}_{1}$, ${x}_{2}$ such that
the sequence $(\dots ,{x}_{2},{x}_{1};{x}_{0},{x}_{1},{x}_{2},\dots )$ defined by (3.2) and (3.3) is strictly decreasing and satisfies
Proof Our strategy is similar to that of Lemma 3.1, in order to prove the monotonicity and divergence of the sequence $({x}_{n})$, we first show that
By induction we can prove
which yields (3.13), whence
On the other hand, by a similar procedure we inductively prove that
for $n=0,1,\dots $ , which yields
implying
This completes the proof. □
Theorem 3.1 Suppose that $0<{r}_{1}<1<{r}_{2}<{r}_{3}$. Then all ${C}^{0}$ solutions $f:\mathbb{R}\to \mathbb{R}$ of (1.4) are strictly increasing. Additionally:

(i)
If f has fixed points, then 0 is the unique fixed point and
$$f(x)=\{\begin{array}{ll}{f}_{i}(x),& x\ge 0,\\ {f}_{j}(x),& x<0,\end{array}\phantom{\rule{1em}{0ex}}i,j=1,2,$$(3.16)
where ${f}_{1}(x)={r}_{1}x$ and ${f}_{2}(x)$ is a solution given in Theorem 1 of [14].

(ii)
If $f(x)>x$ for all $x\in \mathbb{R}$, then the set of f contains both $f(x)>max\{{r}_{1}x,{r}_{i}x\}$ ($i=2,3$) constructed by Theorem 2 of [14]and
$$f(x):=\{\begin{array}{ll}{f}_{n}(x),& x\in [{x}_{n},{x}_{n+1}],n=0,1,\dots ,\\ {f}_{n}^{1}(x),& x\in [{x}_{n},{x}_{n+1}],n=1,2,\dots ,\end{array}$$(3.17)
where the bilateral sequence $({x}_{i})$ is given in Lemma 3.1, and ${f}_{n}:[{x}_{n},{x}_{n+1}]\to [{x}_{n+1},{x}_{n+2}]$ and ${f}_{n}:[{x}_{n+1},{x}_{n+2}]\to [{x}_{n},{x}_{n+1}]$ are orientationpreserving homeomorphisms defined inductively as
which are uniquely determined by two given functions ${f}_{0}:[{x}_{0},{x}_{1}]\to [{x}_{1},{x}_{2}]$ and ${f}_{1}:[{x}_{1},{x}_{2}]\to [{x}_{2},{x}_{3}]$.

(iii)
If $f(x)<x$ for all $x\in \mathbb{R}$, then the set of f contains both $f(x)<max\{{r}_{1}x,{r}_{i}x\}$ ($i=2,3$) constructed by Theorem 2 of [14]and
$$f(x):=\{\begin{array}{ll}{f}_{n}(x),& x\in [{x}_{n+1},{x}_{n}],n=0,1,\dots ,\\ {f}_{n}^{1}(x),& x\in [{x}_{n+1},{x}_{n}],n=1,2,\dots ,\end{array}$$(3.19)
where the bilateral sequence $({x}_{i})$ is given in Lemma 3.2, and ${f}_{n}:[{x}_{n+1},{x}_{n}]\to [{x}_{n+2},{x}_{n+1}]$ and ${f}_{n}:[{x}_{n+2},{x}_{n+1}]\to [{x}_{n+1},{x}_{n}]$ are orientationpreserving homeomorphisms defined inductively as (3.18) which are uniquely determined by two given functions ${f}_{0}:[{x}_{1},{x}_{0}]\to [{x}_{2},{x}_{1}]$ and ${f}_{1}:[{x}_{2},{x}_{1}]\to [{x}_{3},{x}_{2}]$.
Proof For an indirect proof, assume that f is a ${C}^{0}$ strictly decreasing solution of (1.4). By Lemma 2.6 we get
for any integer $m\ge 1$. The function ${lim}_{m\to \mathrm{\infty}}{f}^{m}/{r}_{3}^{m}$ is both nondecreasing for even m and nonincreasing for odd m, there is a constant ${c}_{1}$ such that
for all $x\in \mathbb{R}$. Substituting (3.21) into (1.4), we get ${c}_{1}={r}_{3}{c}_{1}$ implying ${c}_{1}=0$ since ${r}_{3}\ne 1$. Hence (3.21) reduces to the equation
which has only strictly increasing solutions by Theorem 2 from [14]; a contradiction.
In order to prove the case (i), let f be a ${C}^{0}$ strictly increasing solution with fixed points. Then f has the unique fixed point 0 by Lemma 2.4, which implies either $0<f(x)<x$ or $f(x)>x$ for $x>0$. In the case $0<f(x)<x$ we have ${lim}_{m\to \mathrm{\infty}}{f}^{m}(x)=0$ because 0 is an attracting fixed point, then (3.22) from (3.20) directly. Thus (3.22) yields $f(x)={r}_{1}x$ by Theorem 2 of [14], which is the ${C}^{0}$ strictly increasing solution satisfying $0<f(x)<x$ for $x>0$. The other case $f(x)>x$ can be reduced to the first one by considering the dual equation (1.5). Using Lemma 2.6 and repeating the same method as the previous one to eliminate $1/{r}_{1}$ we have
that is, f is a solution of the equation
Thus f is a solution given in Theorem 1 of [14] on $(0,\mathrm{\infty})$. A similar discussion can be done for the halfline $(\mathrm{\infty},0)$. Therefore, every ${C}^{0}$ solution f of (1.4) involving a fixed point has the form (3.16).
In order to prove (ii), we use the formula
generated by Lemma 2.6. If $f(x)>x$ for all $x\in \mathbb{R}$, we assert that one of the three situations holds:
Clearly, $f(x)>x$ implies that ${f}^{m+1}(x)>{f}^{m}(x)$ and ${f}^{m}(x)>{f}^{m1}(x)$. Firstly, from $0<{r}_{1}<1<{r}_{2}<{r}_{3}$ the sign of ${f}^{m+1}{f}^{m}$ is uniquely determined by the third term in (3.24) when m is large enough, that is, ${I}_{{r}_{3},m}\ge 0$, thus we get the third inequality in (3.25) or the equality (3.26). Secondly, by the same argument for the dual equation (1.5), we get ${I}_{{r}_{1},m}\ge 0$ using ${f}^{m}(x)>{f}^{m1}(x)$. Further, we prove that ${I}_{{r}_{1},m}\ne 0$, otherwise, the equality ${f}^{2}(x)({r}_{2}+{r}_{3})f(x)+{r}_{2}{r}_{3}=0$ implies f has the fixed point 0 by Theorem 1 of [14]. This contradicts the assumption $f(x)>x$, implying the first inequality of (3.25) holds, i.e., ${I}_{{r}_{1},m}>0$. Finally, we prove ${I}_{{r}_{2},m}\ge 0$. Conversely, assume that ${I}_{{r}_{2},m}<0$. When (3.26) holds we get ${f}^{m+1}(x)<{f}^{m}(x)$ when m is large enough by using (3.24), which contradicts $f(x)>x$ on ℝ. Thus the second inequality in (3.25) and the equality (3.27) are proved.
In addition, we see that (3.25) is equivalent to
implying
that is,
In a word, if $f(x)>x$ for all $x\in \mathbb{R}$, then f satisfies the inequality (3.28) or the equality (3.26) or (3.27).
Conversely, all solutions of (3.26) satisfying $f(x)>max\{{r}_{1}x,{r}_{2}x\}$ and all solutions of (3.27) satisfying $f(x)>max\{{r}_{1}x,{r}_{3}x\}$, constructed by Theorem 2 of [14], are ${C}^{0}$ strictly increasing solutions of (1.4) satisfying $f(x)>x$ for all $x\in \mathbb{R}$. Moreover, every ${C}^{0}$ strictly increasing solution f of (1.4) fulfilling (3.28) is uniquely determined up to two orientationpreserving homeomorphisms ${f}_{0}:[{x}_{0},{x}_{1}]\to [{x}_{1},{x}_{2}]$ and ${f}_{1}:[{x}_{1},{x}_{2}]\to [{x}_{2},{x}_{3}]$ and can be constructed by the recursively orientationpreserving homeomorphisms
defined by (3.18), where the sequence $(\dots ,{x}_{2},{x}_{1};{x}_{0},{x}_{1},{x}_{2},\dots )$ is given in Lemma 3.1. Actually, by induction the inequality (3.6) and the orientationpreserving homeomorphisms (3.29) yield
for arbitrary $x\in [{x}_{n},{x}_{n+1}]$, $n=0,1,\dots $ , then the function f defined by those orientationpreserving homeomorphisms ${f}_{n}$ is the unique solution of (1.4) on $[0,+\mathrm{\infty})$. On the other hand, the inequality (3.10) and the orientationpreserving homeomorphisms (3.30) yield
for arbitrary $x\in [{x}_{n+1},{x}_{n+2}]$, $n=1,2,\dots $ , then the function ${f}^{1}$ defined by those orientationpreserving homeomorphisms ${f}_{n}$ is the unique solution of the dual equation (1.5) on $(\mathrm{\infty},0]$. Finally, we define f as (3.17), i.e.,
Then $f:\mathbb{R}\to \mathbb{R}$ is the unique ${C}^{0}$ strictly increasing solution of (1.4), depending on the given initial functions ${f}_{0}$ and ${f}_{1}$. Thus all those ${C}^{0}$ strictly increasing solutions f of (1.4), fulfilling inequality (3.28), can be constructed by this method.
Using the same idea and arguments we prove the case (iii). From $f(x)<x$ we see that ${f}^{m+1}(x)<{f}^{m}(x)$ for $x\in \mathbb{R}$. By using (3.24) and a similar discussion to (ii), $f(x)<x$ shows that one of three situations holds: (3.26) and (3.27), and
i.e.,
Conversely, all solutions of (3.26) satisfying $f(x)<max\{{r}_{1}x,{r}_{2}x\}$ and all solutions of (3.27) satisfying $f(x)<max\{{r}_{1}x,{r}_{3}x\}$, constructed by Theorem 2 of [14], are ${C}^{0}$ strictly increasing solutions of (1.4) satisfying $f(x)<x$ for all $x\in \mathbb{R}$. Furthermore, every ${C}^{0}$ strictly increasing solution f of (1.4) fulfilling (3.31) is uniquely determined up to two orientationpreserving homeomorphisms ${f}_{0}:[{x}_{0},{x}_{1}]\to [{x}_{1},{x}_{2}]$ and ${f}_{1}:[{x}_{1},{x}_{2}]\to [{x}_{2},{x}_{3}]$ and can be constructed by the recursively orientationpreserving homeomorphisms
defined by (3.19), where the sequence $(\dots ,{x}_{2},{x}_{1};{x}_{0},{x}_{1},{x}_{2},\dots )$ is given in Lemma 3.2. In fact, the inequality (3.14) and the orientationpreserving homeomorphisms (3.32) yield
for arbitrary $x\in [{x}_{n+1},{x}_{n}]$, $n=0,1,\dots $ , then the function f defined by those orientationpreserving homeomorphisms ${f}_{n}$ is the unique solution of (1.4) on $(\mathrm{\infty},0]$. On the other hand, (3.15) and the orientationpreserving homeomorphisms (3.33) yield
for arbitrary $x\in [{x}_{n+2},{x}_{n+1}]$, $n=1,2,\dots $ , then the function ${f}^{1}$ defined by those orientationpreserving homeomorphisms ${f}_{n}$ is the unique solution of the dual equation of (1.5) on $[0,+\mathrm{\infty})$. Finally, we see that the unique ${C}^{0}$ strictly increasing solution of (1.4), depending on the given initial functions ${f}_{0}$ and ${f}_{1}$, can be presented in the form
All those ${C}^{0}$ strictly increasing solutions f of (1.4), fulfilling inequality (3.31), can be constructed by this method. This completes the proof. □
Corollary 3.1 Suppose that $0<{r}_{3}<{r}_{2}<1<{r}_{1}$. Then every ${C}^{0}$ solution $f:\mathbb{R}\to \mathbb{R}$ of (1.4) is strictly increasing and ${f}^{1}$ is a solution given in Theorem 3.1.
Theorem 3.2 Suppose that ${r}_{1}<{r}_{2}<1<{r}_{3}<0$. Then all ${C}^{0}$ solutions $f:\mathbb{R}\to \mathbb{R}$ of (1.4) are strictly decreasing and $x=0$ is the unique fixed point of every f. Moreover:

(i)
If $x=0$ is attractive fixed point of ${f}^{2}$, then $f(x)={r}_{3}x$.

(ii)
If $x=0$ is repelling fixed point of ${f}^{2}$, then $f(x)$ is a solution in the class given in Theorem 3 of [14].
Proof For an indirect proof, assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4). By using (2.6) and similar arguments to the preceding part of Theorem 3.1, we get at last
which yields ${f}_{1}(x)={r}_{2}x$ and ${f}_{2}(x)={r}_{3}x$ by Theorem 5 of [14]. This contradicts the strictly increasing of f, then every ${C}^{0}$ solution of (1.4) is strictly decreasing. It is easy to see that $x=0$ is the unique fixed point of every ${C}^{0}$ strictly decreasing solution by Lemma 2.4 and ${f}^{2}$ is ${C}^{0}$ strictly increasing satisfying ${f}^{2}(0)=0$. It follows that either ${lim}_{m\to +\mathrm{\infty}}{f}^{2m}(x)=0$ (i.e., 0 is an attractive fixed point of ${f}^{2}$) or ${lim}_{m\to +\mathrm{\infty}}{f}^{2m}(x)=\mathrm{\infty}$ (i.e., 0 is a repelling fixed point of ${f}^{2}$).
In case (i), $x=0$ is an attractive fixed point of ${f}^{2}$. Using Lemma 2.6 we have
Since the lefthand side tends to 0 as $n\to \mathrm{\infty}$ we have
which yields ${f}_{1}(x)={r}_{2}x$ and ${f}_{2}(x)={r}_{3}x$ by Theorem 5 of [14]. Thus ${f}_{2}(x)={r}_{3}x$ is the only solution of (1.4), where ${f}^{2}$ has the attractive fixed point $x=0$.
In case (ii), since $x=0$ is a repelling fixed point of ${f}^{2}$, it is an attractive fixed point of ${f}^{2}$. Using Lemma 2.6 we get
By the same argument as (i) to remove $1/{r}_{3}$, we have
It follows that
implying $f(x)$ is a solution given in Theorem 3 of [14]. This completes the proof. □
Corollary 3.2 Suppose that ${r}_{3}<1<{r}_{2}<{r}_{1}<0$. Then all ${C}^{0}$ solutions $f:\mathbb{R}\to \mathbb{R}$ of (1.4) are strictly decreasing with the unique fixed point 0, and the inverse ${f}^{1}$ is a solution given in Theorem 3.2.
4 Different signs with both expansion and contraction
In this section we construct all ${C}^{0}$ solutions of (1.4) for the cases (${E}_{+}{C}_{}$), (${E}_{}{C}_{+}$), (${C}_{+}{C}_{}$), and (${E}_{+}{E}_{}$), where Table 2 contains one negative root and two positive ones, Table 3 contains two negative roots and one positive root.
Theorem 4.1 Suppose that $1<{r}_{1}<{r}_{2}<{r}_{3}$ ($1<{r}_{2}<{r}_{1}<{r}_{3}$, $1<{r}_{2}<{r}_{3}<{r}_{1}$, $0<{r}_{1}<1<{r}_{2}<{r}_{3}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4), then f is a function in the class given in Theorem 1 of [14].

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), then $f(x)={r}_{1}x$.
Proof We first consider the case $1<{r}_{1}<{r}_{2}<{r}_{3}$. Let $f:\mathbb{R}\to \mathbb{R}$ be a ${C}^{0}$ strictly increasing solution of (1.4), then ${f}^{1}$ is a ${C}^{0}$ strictly increasing solution of the dual equation (1.5). Making use of Lemma 2.6 and the monotonicity of ${f}^{1}$ to remove $1/{r}_{1}$, we get
that is,
thus f is a function in the class given in Theorem 1 of [14]. On the other hand, if $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), by the same method as previous to remove ${r}_{3}$ of (1.4), the unique ${C}^{0}$ strictly decreasing solution $f(x)={r}_{1}x$ is obtained by Theorem 5 of [14].
In what follows attention is paid to the case $1<{r}_{2}<{r}_{1}<{r}_{3}$. If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4), from Lemma 2.6 and the monotonicity of f we have
Note that ${lim}_{m\to +\mathrm{\infty}}{f}^{m}/{r}_{1}^{m}$ is nondecreasing for even m and nonincreasing for odd m, the lefthand side of (4.1) is a constant. We assert that
Otherwise, ${f}^{2}(x)({r}_{2}+{r}_{3})f(x)+{r}_{2}{r}_{3}x\ne 0$ yields $f(x)\ne {r}_{2}x$, then we have ${f}^{2}(x)({r}_{1}+{r}_{2})f(x)+{r}_{1}{r}_{2}x\ne 0$ by Theorem 5 of [14]. Consequently, the limit of the righthand side of (4.1) tends to infinity as $m\to \mathrm{\infty}$ but the lefthand side of (4.1) is constant. The contradiction illustrates (4.2). So every ${C}^{0}$ strictly increasing solution f of (1.4) is a function in the class given in Theorem 1 of [14]. On the other hand, if $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), the conclusion can be obtained by a similar argument to the first case $1<{r}_{1}<{r}_{2}<{r}_{3}$.
For the case $1<{r}_{2}<{r}_{3}<{r}_{1}$, assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4). Using Lemma 2.6 and the monotonicity of f to remove ${r}_{1}$, we obtain
implying that f is a function in the class given in Theorem 1 of [14]. On the other hand, if $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), we consider the dual equation (1.5). By Lemma 2.6 and the monotonicity of ${f}^{1}$ to eliminate $1/{r}_{2}$, we eventually have
Thus $f(x)={r}_{1}x$ is the only ${C}^{0}$ strictly decreasing solution according to Theorem 5 of [14].
The proof for the case $0<{r}_{1}<1<{r}_{2}<{r}_{3}$ is the same as that of the case $1<{r}_{1}<{r}_{2}<{r}_{3}$ and is omitted. This completes the proof. □
By considering the dual equation (1.5) we get the following corollary.
Corollary 4.1 Suppose that $0<{r}_{1}<{r}_{2}<{r}_{3}<1$ ($0<{r}_{2}<{r}_{1}<{r}_{3}<1$, $0<{r}_{2}<{r}_{3}<{r}_{1}<1$, $0<{r}_{2}<{r}_{3}<1<{r}_{1}$). If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (1.4), then ${f}^{1}$ is a function in the class given in Theorem 4.1.
Theorem 4.2 Suppose that $0<{r}_{1}<{r}_{2}<1<{r}_{3}$ ($0<{r}_{2}<{r}_{1}<1<{r}_{3}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4), then f is a function in the class given in Theorem 2 of [14].

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), then $f(x)={r}_{1}x$.
The proof is similar to that of the case $1<{r}_{1}<{r}_{2}<{r}_{3}$ ($1<{r}_{2}<{r}_{1}<{r}_{3}$) in Theorem 4.1 and is omitted. By using the dual equation (1.5) we have the following corollary.
Corollary 4.2 Suppose that $0<{r}_{2}<1<{r}_{3}<{r}_{1}$ ($0<{r}_{2}<1<{r}_{1}<{r}_{3}$). If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (1.4), then ${f}^{1}$ is a function in the class given in Theorem 4.2.
Theorem 4.3 Suppose that $1<{r}_{1}<{r}_{2}<{r}_{3}$ ($1<{r}_{1}<{r}_{3}<{r}_{2}$, $1<{r}_{3}<{r}_{1}<{r}_{2}$, $0<{r}_{3}<1<{r}_{1}<{r}_{2}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4), then $f(x)={r}_{3}x$.

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), then f is a function in the class given in Theorem 3 of [14].
Proof First we consider the case $1<{r}_{1}<{r}_{2}<{r}_{3}$. Let $f:\mathbb{R}\to \mathbb{R}$ be a ${C}^{0}$ strictly increasing solution of (1.4), then ${f}^{1}$ is a ${C}^{0}$ strictly increasing solution of the dual equation (1.5). Making use of Lemma 2.6 and the monotonicity of ${f}^{1}$ to eliminate $1/{r}_{1}$, we get the unique ${C}^{0}$ strictly increasing solution $f(x)={r}_{3}x$ according to Theorem 5 of [14]. Assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4). Removing ${r}_{3}$ by Lemma 2.6 and the monotonicity of f we have
naturally, f is a function in the class given in Theorem 3 of [14].
For the case $1<{r}_{1}<{r}_{3}<{r}_{2}$, assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4). By removing ${r}_{2}$, we get
then the unique ${C}^{0}$ strictly increasing solution $f(x)={r}_{3}x$ is obtained by Theorem 5 of [14]. Assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4). By Lemma 2.6 we have
Using the same idea and arguments as that of the case $1<{r}_{2}<{r}_{1}<{r}_{3}$ in Theorem 4.1, we get
Hence every ${C}^{0}$ strictly decreasing solution f of (1.4) is a function in the class given in Theorem 3 of [14].
In the sequel we consider the case $1<{r}_{3}<{r}_{1}<{r}_{2}$. Let $f:\mathbb{R}\to \mathbb{R}$ be a ${C}^{0}$ strictly increasing solution of (1.4), the proof is the same as the case $1<{r}_{1}<{r}_{3}<{r}_{2}$. If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), then ${f}^{1}$ is a solution of the dual equation (1.5). By Lemma 2.6 and the monotonicity of ${f}^{1}$ we get
by removing $1/{r}_{3}$. Thus all ${C}^{0}$ strictly decreasing solutions of (1.4) are in the class given in Theorem 3 of [14].
The proof for the case $0<{r}_{3}<1<{r}_{1}<{r}_{2}$ is the same as that of the case $1<{r}_{3}<{r}_{1}<{r}_{2}$. This completes the proof. □
By considering the dual equation (1.5) we have the following corollary.
Corollary 4.3 Suppose that $0<{r}_{1}<{r}_{2}<{r}_{3}<1$ ($0<{r}_{1}<{r}_{3}<{r}_{2}<1$, $0<{r}_{3}<{r}_{1}<{r}_{2}<1$, $0<{r}_{1}<{r}_{2}<1<{r}_{3}$). If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (1.4), then ${f}^{1}$ is a function in the class given in Theorem 4.3.
Theorem 4.4 Suppose that $0<{r}_{1}<1<{r}_{2}<{r}_{3}$ ($0<{r}_{1}<1<{r}_{3}<{r}_{2}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of (1.4), then $f(x)={r}_{3}x$.

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of (1.4), then $f(x)={r}_{1}x$ or $f(x)={r}_{2}x$.
The proof is similar to that of $1<{r}_{1}<{r}_{2}<{r}_{3}$ ($1<{r}_{1}<{r}_{3}<{r}_{2}$) of Theorem 4.3. By using the dual equation (1.5) we have the following corollary.
Corollary 4.4 Suppose that $0<{r}_{3}<{r}_{1}<1<{r}_{2}$ ($0<{r}_{1}<{r}_{3}<1<{r}_{2}$). If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ solution of (1.4), then ${f}^{1}$ is a function in the class given in Theorem 4.4.
5 Further discussion and remarks
As shown in the previous sections, we obtain all ${C}^{0}$ solutions of (1.4) for the cases listed in Tables 13. Consequently, all ${C}^{0}$ solutions of the 3rdorder equation (1.2) with $c\ne 0$ can be obtained by using Lemma 2.3. In what follows we prove some cases, listed in Tables 2 and 3, which can also be generalized to the n thorder polynomiallike iterative equation recursively. For example we consider the 4thorder equation (1.3) and take the first case $1<{r}_{1}<{r}_{2}<{r}_{3}$ in Table 2. Adding ${r}_{4}>1$ as the 4th characteristic root, we have the following result.
Theorem 5.1 Suppose that $1<{r}_{1}<{r}_{2}<{r}_{3}<{r}_{4}$ ($1<{r}_{1}<{r}_{2}<{r}_{4}<{r}_{3}$, $1<{r}_{1}<{r}_{4}<{r}_{2}<{r}_{3}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of the 4thorder equation (1.3). Then f is a solution given in Theorem 2 of [19]for the characteristic roots ${r}_{2}$, ${r}_{3}$, ${r}_{4}$.

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of the 4thorder equation (1.3). Then $f(x)={r}_{1}x$.
Proof We first consider the case $1<{r}_{1}<{r}_{2}<{r}_{3}<{r}_{4}$. Let $f:\mathbb{R}\to \mathbb{R}$ be a ${C}^{0}$ strictly increasing solution of the 4thorder equation (1.3), then ${f}^{1}$ is a ${C}^{0}$ strictly increasing solution of its dual equation. Making use of Lemma 2.5 and the monotonicity of ${f}^{1}$ to remove $1/{r}_{1}$, we get
that is
thus f is a solution given in Theorem 2 of [19] for characteristic roots ${r}_{i}$ ($i=2,3,4$). On the other hand, assume that $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of the 4thorder equation (1.3). By using Lemma 2.5 and the monotonicity of f to remove ${r}_{4}$, we have
Therefore, $f(x)={r}_{1}x$ from Theorem 4.1.
The proof for the cases $1<{r}_{1}<{r}_{2}<{r}_{4}<{r}_{3}$ and $1<{r}_{1}<{r}_{4}<{r}_{2}<{r}_{3}$ is similar to the previous one and is omitted. This completes the proof. □
Assuming that the characteristic root ${r}_{4}<1$, we have the following result.
Theorem 5.2 Suppose that $1<{r}_{1}<{r}_{2}<{r}_{4}<{r}_{3}$ ($1<{r}_{1}<{r}_{4}<{r}_{2}<{r}_{3}$, $1<{r}_{4}<{r}_{1}<{r}_{2}<{r}_{3}$).

(i)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly increasing solution of the 4thorder equation (1.3). Then f is a solution given in Theorem 4.1.

(ii)
If $f:\mathbb{R}\to \mathbb{R}$ is a ${C}^{0}$ strictly decreasing solution of the 4thorder equation (1.3). Then f is a solution given in Theorem 4.3.
The proof is similar to that of Theorem 5.1 and is omitted.
Using the same idea and arguments as previous, we can obtain all ${C}^{0}$ solutions of the 4thorder equation (1.3) for some cases listed in Tables 2 and 3 by adding the 4th characteristic root ${r}_{4}$. In general, for those cases that the characteristic root with the largest module has different sign from the ones with the smallest module, we can obtain all ${C}^{0}$ solutions of the n thorder polynomiallike iterative equation by using that of the $n1$thorder polynomiallike iterative equation without essential difficulty.
References
 1.
Braon K, Jarczyk W: Recent results on functional equations in a single variable, perspectives and open problems. Aequ. Math. 2001, 61: 148. 10.1007/s000100050159
 2.
Targoński G: Topics in Iteration Theory. Vandenhoeck & Ruprecht, Göttingen; 1981.
 3.
Kuczma M, Choczewski B, Ger R Encyclopedia Math. Appl. 32. In Iterative Functional Equations. Cambridge University Press, Cambridge; 1990.
 4.
Ng CT, Zhang W: Invariant curves for planar mappings. J. Differ. Equ. Appl. 1997, 3: 147168. 10.1080/10236199708808092
 5.
Chen J, Zhang W: Leading coefficient problem for polynomiallike iterative equations. J. Math. Anal. Appl. 2009, 349: 413419. 10.1016/j.jmaa.2008.09.015
 6.
Kulczycki M, Tabor J: Iterative functional equations in the class of Lipschitz functions. Aequ. Math. 2002, 64: 2433. 10.1007/s0001000280282
 7.
Tabor J, Zoldak M: Iterative equations in Banach spaces. J. Math. Anal. Appl. 2004, 229: 651662.
 8.
Trif T: Convex solutions to polynomiallike iterative equations on open intervals. Aequ. Math. 2010, 79: 315325. 10.1007/s0001001000207
 9.
Xu B, Zhang W: Construction of continuous solutions and stability for the polynomiallike iterative equation. J. Math. Anal. Appl. 2007, 325: 11601170. 10.1016/j.jmaa.2006.02.065
 10.
Zhang W:On the differentiable solutions of the iterated equation ${\sum}_{i=1}^{n}{\lambda}_{i}{f}^{i}(x)=F(x)$. Nonlinear Anal. 1990, 15: 387398. 10.1016/0362546X(90)901479
 11.
Zhang W: Solutions of equivariance for a polynomiallike iterative equation. Proc. R. Soc. Edinb. A 2000, 130: 11531163. 10.1017/S0308210500000615
 12.
Murugan V, Subrahmanyam PV: Existence of continuous solutions for an iterative functional series equation with variable coefficients. Aequ. Math. 2009, 78: 167176. 10.1007/s0001000929603
 13.
Murugan V, Subrahmanyam PV: Existence of solutions for equations involving iterated functional series. Fixed Point Theory Appl. 2005, 2005(2):219232.
 14.
Nabeya S:On the functional equation $f(p+qx+rf(x))=a+bx+cf(x)$. Aequ. Math. 1974, 11: 199211. 10.1007/BF01834919
 15.
Matkowski J: The twentysixth international symposium on functional equations, Remark 35. Report of meeting. Aequ. Math. 1989, 37: 119.
 16.
Jarczyk W: On an equation of linear iteration. Aequ. Math. 1996, 51: 303310. 10.1007/BF01833285
 17.
Tabor J, Tabor J: On a linear iterative equation. Results Math. 1995, 27: 412421. 10.1007/BF03322847
 18.
Matkowski J, Zhang W: Method of characteristic for functional equations in polynomial form. Acta Math. Sin. 1997, 13(3):421432. 10.1007/BF02560023
 19.
Yang D, Zhang W: Characteristic solutions of polynomiallike iterative equations. Aequ. Math. 2004, 67: 80105. 10.1007/s0001000327084
 20.
Zhang W, Zhang W: On continuous solutions of n th order polynomiallike iterative equations. Publ. Math. (Debr.) 2010, 76(12):117134.
 21.
Morawiec J: Around a problem of Nicole BrillouëtBelluot. Aequ. Math. 2014. 10.1007/s0001001302168
 22.
Morawiec J: Around a problem of Nicole BrillouëtBelluot, II. Aequ. Math. 2014. 10.1007/s000100130249z
 23.
Matkowski J, Zhang W: Characteristic analysis for a polynomiallike iterative equation. Chin. Sci. Bull. 1998, 43(3):192196. 10.1007/BF02898908
Acknowledgements
The authors sincerely appreciate the referee for his/her excellent comments and suggestions, which have improved the presentations of the paper. Project was supported by Scientific Research Fund of Shandong Provincial Education Departments (J12L59), Scientific Research Fund of Sichuan Provincial Education Departments (12ZA086) and Doctoral Fund of Binzhou University (2013Y04).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors completed the paper together. They also read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 functional equation
 iteration
 characteristic root
 continuous solution