tommy equation - Printable Version +- Tetration Forum (https://math.eretrandre.org/tetrationforum) +-- Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) +--- Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) +--- Thread: tommy equation (/showthread.php?tid=956) tommy equation - tommy1729 - 02/16/2015 g is an entire function. " tommy equation " g(f(a x^b)) = f(c x^d) a,b,c,d integers >0. prototype solution Taylor(ln(x),x) ... maybe more later. with thanks to Kouznetsov. regards tommy1729 RE: tommy equation - tommy1729 - 03/16/2015 Ok I tried some things with the tommy equation. First a usefull link with thanks to my friend mick : http://math.stackexchange.com/questions/1182987/beyond-taylor-series So this explains what type of series expansions I am talking about ; the Tommy-Kouznetsov expansion of some order. So back to the tommy equation and considering parabolic fixpoints. Without going into detail we can recenter the parabolic fixpoint at 0. THE CORRECT SERIES EXPANSIONS FOR PARABOLIC FIXPOINTS ARE NOT KNOWN ?? Anyway Kouznetsov conjectured that for large x , Tommy-Kouznetsov expansions of order 1 are asymptotically correct. However I commented that by taylor's theorem and/or fake function theory ( and A few others ) this is also true for the simpler Taylor series. So I considered these expansions as EXACT solutions for real x > 0. That lead to the tommy equation ( as explained/introduced in post 1 ) , with g now having a parabolic fixpoint at 0. However after playing around I seemed to be getting into trouble. There were no Tommy-Kouznetsov expansions that solved the equation in most cases. In a kind of pseudocode this is what I wrote ( in simple Notepad ). ( if unclear let me know ) *** fix at 0 ( fix a = f(a) => f* (0) = 0 ) larger then x asymp x x + x^2 = p(x) p(f(x)) = f(ex) f(x) + f(x)^2 = f(ex) (b + c ln(x)) x +o(xx) + ((b + c ln(x)) x + o(xx))^2 = (eb + ec + ec ln(x)) x + o(xx) => b = eb + ec c = ec => error restart (b + c ln(x) + d ln(x)^2) x = (b + c + c ln(x) + d (ln^2 + 2 ln + 1) ) ex => = (eb + ec + ed + (ec + 2ed) ln + ed ln^2 ) x ed = d => error etc Same problem higher order Same problem p(f(A x^B)) = f(C x^D) for nontrivial cases of A,B,C,D. *** Notice o(xx) means o(x^2) and this goes to 0 very fast for small x , faster then the other terms hence they are ignored. Then it should be clear to you that no solution exists in general. SO I REPEAT : THE CORRECT SERIES EXPANSIONS FOR PARABOLIC FIXPOINTS ARE NOT KNOWN ?? Or am I wrong here ? Maybe we need a new equation to replace the tommy equation. I call it the tommy-abc equation for now. And if it works I call it the shadow equation. Here it is : p( f(x) ) = f(ax) + b f(cx) Hopefully this works better. I think the tommy-abc equation or shadow equation is new. regards tommy1729 " Truth is whatever does not go away when we stop believing in it " tommy1729 RE: tommy equation - tommy1729 - 03/17/2015 The problem might be p( f(x) ) = f(ax) + b f(cx) is nice but does it mean p^[z] ( f(x) ) = f(a^z x) + b^z f(c^z x) or does p^[z] ( f(x) ) = f(a^z x) + b f(c^z x) or something else ? I noted that since p(0) = 0 : Let f(A) = 0 p(f(A)) = f(aA) + b f(cA) = 0 Not sure what to make of that ... regards tommy1729 RE: tommy equation - sheldonison - 03/18/2015 (03/16/2015, 11:30 PM)tommy1729 Wrote: ...considering parabolic fixpoints. Without going into detail we can recenter the parabolic fixpoint at 0. THE CORRECT SERIES EXPANSIONS FOR PARABOLIC FIXPOINTS ARE NOT KNOWN Is this related to Jean Ecalle's formal solution for the Abel function for the parabolic case? See for example: Jean Ecalle's solution