04/21/2023, 04:28 PM
(This post was last modified: 04/22/2023, 09:24 AM by Shanghai46.)
(04/20/2023, 04:09 PM)Shanghai46 Wrote: TWO : let's assume there's a function \(f\) that has an attractive fixed point \(\tau\) so that \(f'(\tau)<0\). Let's consider the real interval \(I\) which is a monotomic interval (not the biggest) so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\).
If \(x_0\) and \(f(x_0)\in I\), are ALL positive iterations of \(f(x_0)\) inside \(I\)?
FALSE. I found a counter example with \(f=-\frac{\tan(x)}{2}\) with the interval \(]-\pi/2,\pi/2[\). With \(x_0=1.2\)
\(x_0=1.2\) in the interval
\(f(x_0)=-1.29\) in the interval
\(f(f(x_0))=1.71\) NOT in the interval
I believe there's a link with what I call "pseudo repulsive fixed point". Because it seems that the allowed interval is between approximately \(-1.16\) and \(1.16\) , which exactly are the repulsive fixed points for minus \(f\). My hypothesis is that for a function that has a central symmetry at \(a\) (or a axial symmetry with the line \(x=a\)), the repulsive fixed point on that function are the pseudo repulsive fixed one on the function \(f(a-x)\).
Maybe H2 only works if there isn't any (pseudo) repulsive fixed point between x and tau
Is it right?

