06/14/2022, 06:02 PM
(06/14/2022, 01:22 AM)JmsNxn Wrote:(06/13/2022, 10:52 PM)tommy1729 Wrote: i advise to use this for the computation around the fixpoint
(a x + k x^2 + ...)^[t] = a^t x + k a^(t-1) ( a^t - 1 )/(a-1) x^2 + ...
This quadration approximation is then plugged in
f^[t](x) = lim f^[n] ( a^t y + k a^(t-1) ( a^t - 1 )/(a-1) y^2 )
where y = f^[-n](x) and a and b can be easily computed from the closed form for x_n and taylors theorem.
Call it the quadratic fixpoint formula or so![]()
regards
tommy1729
Hey, Tommy. Not to let you down or anything, but this is a known procedure. It can be done upto any polynomial, not just quadratic.
It essentially operators off the principle of instead of choosing a fixed point, we choose a fixed polynomial. So we know the first \(3\) coefficients of the Taylor polynomial near the fixed point. Iterate a slightly different Kneser formula, but do it for a fixed point which is polynomial. You'll get a far faster solution. Same Kneser algorithm, you just do it for polynomials.
Hahaha ofcourse I am aware this fixpoint method is nothing new.
Im aware of it for over 30 years , it has been talked about here for over 13 years.
Gottfried mentioned it here and on his site.
Carleman matrices , bell matrix and sometimes vandermonde matrices are related.
It has been used for over 2000 years.
It occurs in many many books , webpages , wiki and handwritten notes since the 1930's.
There are even some trends and theorems about them for the higher degrees.
I probably wrote about it and related things before.
Now I do admit that I am not expert at it though.
I do not know degree 5 by heart nor the pattern and I have questions and conjectures.
Im willing to talk about it and I would love references.
Im currently talking about it in another thread ; comparing the methods , their speed accelerating methods and imo most important : if and when they converge to the same function.
But the main point here was to mention that I advise a faster method than schröder/kneser/koenings.
( I consider koenigs the correct term : kneser used a modified version of koenigs , whereas schröder is the equation it satisfies but not the method itself.
one can argue about it ... Btw Im also aware that sometimes it is better to transform the schröder equation to the Julia equation or the böttcher equation or others. Im also aware of what leo wrote. I wrote some computer codes to experiment. And I experimented with matrix splitting to accelerate the methods. There are connections to number theory too. Im not a total beginner
)I conjecture that using taylor polynomials as approximation is optimal on average ( for random functions ) for such formulas.
I apprecciate your comments though.
It is hard to smell what people know or do not , especially when you cant smell them.
***
It is not entirely clear to me what fixpoint method makes the idea work and produces analytic tetration.
But I think this " quadratic fixpoint formula " produces a working one.
I was not really claiming it as my own formula by giving it a name.
It is not " tommy's quadratic fixpoint formula " or so.
It is just that I am unaware of its real name ...
If it even has a real name.
"truncated polynomial method of degree 2" or "polynomial iteration mod x^3" do not sound so nice imo.
regards
tommy1729

