(04/20/2023, 04:09 PM)Shanghai46 Wrote: I'm working on my iteration formula, and I made a few hypothesis based on intuition and tests. These seem really useful in order forme to find the final interval restrictions of it. 

If you have an answer "it's true", could you link to a demonstration, or to a property that demonstrates that, and if it's false, could you provide a counter example, as well as, if possible, put some restrictions to make it work, then giving the demonstration? Thank you.

ONE : let's assume there's a function \(f\) that has an attractive fixed point \(\tau\). Let's consider the real interval \(I\) which is the biggest monotomic interval so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\), and that all positive iterations of \(f(x_0)\) are inside the interval \(I\).
is \(\forall n\in\mathbb{N}, |f^{\circ n+1}(x_0)-\tau| < |f^{\circ n}(x_0)-\tau|\) true? (kinda answered by Tommy but without evidence..... So......)

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\)?

THREE : 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 THE BIGGEST monotomic interval so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\). 
are ALL positive iterations of \(f(x_0)\) inside \(I\)?

FOUR : let's assume there's a function \(f\) that has an attractive fixed point \(\tau\). Let's consider the real interval \(I\) which is the biggest monotomic interval so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\), and that all positive iterations are inside the interval \(I\).
is \(\forall r\in\mathbb{R}, arg(f^{\circ r}(x_0)-\tau)=arg(f'(\tau)^r) \) true? (\(arg\) is the argument in the complex plane)


Here they are. Thank you.

(04/21/2023, 05:03 AM)JmsNxn Wrote: LMAO!

Yes this is true! See my post on your other thread!

GOOD JOB IDENTIFYING THIS!

This is a deep result, which appears more often in abel function analysis!

GOOD JOB!

You've rediscovered something that is unbelievably hard to prove!

 

(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\)?

(04/20/2023, 04:09 PM)Shanghai46 Wrote: ONE : let's assume there's a function \(f\) that has an attractive fixed point \(\tau\). Let's consider the real interval \(I\) which is the biggest monotomic interval so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\), and that all positive iterations of \(f(x_0)\) are inside the interval \(I\).
is \(\forall n\in\mathbb{N}, |f^{\circ n+1}(x_0)-\tau| < |f^{\circ n}(x_0)-\tau|\) true? (kinda answered by Tommy but without evidence..... So......)

(04/21/2023, 06:33 PM)Shanghai46 Wrote:

(04/20/2023, 04:09 PM)Shanghai46 Wrote: ONE : let's assume there's a function \(f\) that has an attractive fixed point \(\tau\). Let's consider the real interval \(I\) which is the biggest monotomic interval so that \(\forall x_0\in I\), the infinite iteration of \(f(x_0)\) converges towards \(\tau\), and that all positive iterations of \(f(x_0)\) are inside the interval \(I\).
is \(\forall n\in\mathbb{N}, |f^{\circ n+1}(x_0)-\tau| < |f^{\circ n}(x_0)-\tau|\) true? (kinda answered by Tommy but without evidence..... So......)

Also wrong, I found a counter example

(04/21/2023, 04:28 PM)Shanghai46 Wrote:

(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?

(04/21/2023, 11:23 PM)tommy1729 Wrote: Wrong ?
Here you left out some conditions compared to the original I think.
Anyway remember there are no cyclic points by definition since all converge to the fixpoint.

Notice that if the function has at its fixpoint the derivative -1 or so then more likely there are cyclic points.

Im curious for your counterexample.


regards

tommy1729

(04/22/2023, 09:22 AM)Shanghai46 Wrote:

(04/21/2023, 11:23 PM)tommy1729 Wrote: Wrong ?
Here you left out some conditions compared to the original I think.
Anyway remember there are no cyclic points by definition since all converge to the fixpoint.

Notice that if the function has at its fixpoint the derivative -1 or so then more likely there are cyclic points.

Im curious for your counterexample.


regards

tommy1729

I didn't forget any restrictions here. Let's take the function \(f(x)=-0.5x^2+1\). \(\tau=\sqrt3-1\). If \(x_0=1.4\), then all iterations of it belongs to the interval \([0,\sqrt2]\), which is the biggest monotomic interval so that for all \(x\) inside, it converges and all iterations of it stays inside this interval.
So with \(x_0=1.4\), all conditions are met, since it converges and always stays in the monotonic interval. (unlike for \(x_0=2\) because its first iteration is negative, exiting the monotonic part of the function that contains \(\tau\), yet it converges.) 
\(|f(1.4)-\tau|=0.71 > |x-\tau| = 0.67\).
The property doesn't work. Tho I managed to demonstrate it if and only if \(0<f'(\tau)<1\).

(04/22/2023, 11:41 AM)tommy1729 Wrote:

(04/22/2023, 09:22 AM)Shanghai46 Wrote:

(04/21/2023, 11:23 PM)tommy1729 Wrote: Wrong ?
Here you left out some conditions compared to the original I think.
Anyway remember there are no cyclic points by definition since all converge to the fixpoint.

Notice that if the function has at its fixpoint the derivative -1 or so then more likely there are cyclic points.

Im curious for your counterexample.


regards

tommy1729

I didn't forget any restrictions here. Let's take the function \(f(x)=-0.5x^2+1\). \(\tau=\sqrt3-1\). If \(x_0=1.4\), then all iterations of it belongs to the interval \([0,\sqrt2]\), which is the biggest monotomic interval so that for all \(x\) inside, it converges and all iterations of it stays inside this interval.
So with \(x_0=1.4\), all conditions are met, since it converges and always stays in the monotonic interval. (unlike for \(x_0=2\) because its first iteration is negative, exiting the monotonic part of the function that contains \(\tau\), yet it converges.) 
\(|f(1.4)-\tau|=0.71 > |x-\tau| = 0.67\).
The property doesn't work. Tho I managed to demonstrate it if and only if \(0<f'(\tau)<1\).

- sqrt 2 and sqrt 2 are the zero's of f(x).
And in that interval you have f ' (y) = 0 AND that is a local maximum so the function is not strictly monotone