Functional Equations Based on Composition – Functional and Real Analysis

ds.dynamical-systemsfa.functional-analysisreal-analysisspecial functions

I have asked this question here (*), but there are no answer.

Let $n \in \mathbb N^*$, $\{a_0,\ldots,a_n\} \subset \left] 0,+\infty\right]$. We suppose $Eq : \sum\limits_{k=0}^n a_k f^k(x)=0$ have no linear solution.

Determinate the solution of $Eq$ for $f \in C^\infty (\mathbb R)$, where $f^2(x)=f \circ f (x)$ and $f^0(x)=x$.

Reference: https://artofproblemsolving.com/community/c6h3164353_functional_equation

Best Answer

There are no solutions, even if we only assume that $f$ has a derivative at every point.

Note that if $f(x)>x$ for all $x$, then $f(f(x))>f(x)>x$ etc, thus $\sum a_k f^k(x)\geqslant (\sum a_k)x$ that is positive for $x>0$. Analogously, if $f(x)<x$ for all $x$, then $f(f(x))<f(x)<x$ etc, and $\sum a_k f^k(x)\leqslant (\sum a_k)x$ that is negative for $x<0$. Thus, by Intermediate Value Theorem, there exists $x_0$ such that $f(x_0)=x_0$. If $p=f'(x_0)$, taking the derivative of our equation at $x_0$ we get $\sum a_kp^k=0$, thus, $f(x)=px$ is a solution of Eq.