The last post ended with the following problem:
Problem: Find all continuous solutions to the following functional equation:
(FE) $latex f(t) = fleft(frac{t+1}{2} right) + f left(frac{t-1}{2} right) ,, , ,, t in [-1,1] .$
In the previous post I explained why all continuously differentiable solutions of the functional equation (FE) are linear, that is, of the form $latex f(x) = cx$, but now we remove the assumption that the solution be continuously differentiable and ask whether the same conclusion holds. I found this problem to be extremely interesting, and at this point I will only give away that I eventually solved it, but after five (!) years.
In principle, it is plausible that, when one enlarges the space of functions in which one is searching for a solution from $latex C^1[-1,1]$ to the much larger $latex C[-1,1]$, then new solutions will appear. On the other hand, the dynamical system affiliated with this problem (the dynamical space generated by the maps $latex delta_1(t) = frac{t+1}{2}$ and $latex delta_2(t) = frac{t-1}{2}$ on the space $latex [-1,1]$) is minimal, and therefore one expects the functional equation to be rigid enough to allow only for the trivial solutions (at least under some mild regularity assumptions). In short, a good case can be made in favor of either a conjecture that all the continuous solutions are linear or a conjecture that there might be new, nonlinear solutions.
Continue reading Where have all the functional equations gone (part III)