## A nice problem that I am unable to solve [closed]

I have a nice problem which is related to algebra and polynomials or even operator theory. I would be very grateful if any of you could solve it. Here is the problem: Consider the function $f_0(x) =x(1-x)$ and for $n \geq 0$ define $$f_{n+1}(x) =\frac 12 (f_n(x^2) + f_n((1-x)^2)).$$ Now, looking more closely at $f_0(x)$, we see that it is increasing on $[0,\frac 12]$ and decreasing on $[\frac 12, 1]$ . The problem is to prove that such a property holds for all the $f_n$'s. More precisely, prove that each $f_n (x)$ is increasing on $x \in [0,\frac 12]$ and decreasing on $x \in [\frac 12, 1]$ . I would be very thankful if any of you could come up with a solution.

-
Two remarks: First remark, your title is the worst title we can imagine... It is not informative at all! Second remark, I do not think your question is appropriate for mathoverflow since it is not a research-level question (post on math.stackexchange instead). To help you a little bit with your question though, $f_0$, thus each $f_n$, is smooth so you can consider its derivative, and you can have a recurrence relation on the derivatives which should help you. – Bruno Aug 31 2011 at 16:53
Thanks Bruno, Sorry to bother you with the title, I do not have a lot of experience in posting problems. In fact this is a research problem and I am not aware of any place that a solution to it exists. I am sure that the claim is true, since I have simulated the recursion for large values of $n$ and it is true. Many thanks again. – hamed hassani Sep 1 2011 at 6:26

## closed as too localized by José Figueroa-O'Farrill, Gjergji Zaimi, Felipe Voloch, Emil Jeřábek, Andy PutmanAug 31 2011 at 18:16

First, notice that $f_n(x)=f_n(1-x).$ Therefore, $f_{n+1}(x)=1/2(f_n(x^2)+f_n(1-(1-x)^2))=1/2(f_n(x^2)+f_n(2x-x^2))$, but both x^2, 2x-x^2 are increasing functions on [0, 1/2]. So, by induction, you conclude that $f_n$ is increasing on [0, 1/2]. Now, by symmetry, $f_n$ is decreasing on [1/2, 1].
Hi, Many thanks for your comment. The problem is that the range of $2x-x^2$ over $[0, \frac 12]$ is $[0, \frac 34]$. As a result what you mentioned does not work here. – hamed hassani Sep 1 2011 at 6:17