using sinh(x) ?

02/28/2010, 12:22 AM
Post: #1




using sinh(x) ?
im thinking about using asymt of exp(x) to solve tetration.
perhaps not the best one , but sinh(x) comes to my mind. if we take the halfiterate of sinh(x) by using taylor series , we get a good approximation of the halfiterate of exp(x) for x large. if this good approximation is analytic in say [e^e,e^e^e^e] we could use that interval and take logs or exp of it to compute the halfiterate for [oo,+oo] up to a relatively high precision. in fact , i assume , we can choose our precision if the good approximation is entire , by using bigger intervals and taking logs of it ( as somewhat done above ). we might even consider the mittagleffler expansion to avoid problems with nonanalytic issues ( thus taking mittagleffler expansion of the formal taylor series ) thats basicly the idea , but as said maybe sinh(x) isnt the best , on the other hand its probably the easiest. furthermore some want  and me too actually  that halfiterates have nonnegative (2+n)th derivatives and strictly positive zeroth , first and second derivatives. that last restriction troubles me , especially when i try to get closer to exp(x) than sinh(x) by using function that have nonnegative derivatives ... getting conditions on a particular n'th derivate isnt hard but the whole problem is more troublesome ( maybe someone knows a solution to this ? ) i didnt mention that all the above ofcourse is about functions going from R > R , its obvious , but i just mention it to avoid potential confusion. also every approximation of exp(x) should equal x at x = 0 only and be larger than id(x). hope its clear. maybe you considered this once too ? greetings my fellow euh ... tetrationalists regards tommy1729 ps : showing that all derivatives are positive can sometimes be easy , but in general its hard , see for example " li's criterion " for the RH. maybe its easy here and i missed a trivial thing ... ( im getting old ? ) 

03/06/2010, 12:35 PM
Post: #2




RE: using sinh(x) ?
(02/28/2010 12:22 AM)tommy1729 Wrote: im thinking about using asymt of exp(x) to solve tetration. no replies ... is there a problem with the halfiterate of sinh(x) ? does its taylor series radius = 0 ? is the inner radius of the mittagleffler = 0 ? ... 

03/07/2010, 11:19 AM
(This post was last modified: 03/07/2010 11:22 AM by bo198214.)
Post: #3




RE: using sinh(x) ?
Quote:is there a problem with the halfiterate of sinh(x) ? does its taylor series radius = 0 ? Its not really a problem, but indeed the convergence radius of the fractional iterates would be 0. This is usually the case with parabolic ( f'(p)=1, f(p)=p ) development. But its not really a problem as you can use the Levy iteration formula (which though may be too slow) or the Ecalle formulas for parabolic iteration. 

03/09/2010, 01:31 PM
Post: #4




using 2* sinh(x) !
ok , i found my silly mistake !!
i wrote sinh(x) but i meant 2*sinh(x) !! so in the OP replace sinh(x) with 2*sinh(x). and then we dont have a parabolic fixpoint ! and we do have an asympt. sorry ! regards tommy1729 

03/10/2010, 11:38 AM
Post: #5




RE: using 2* sinh(x) !  
03/11/2010, 12:50 AM
Post: #6




RE: using 2* sinh(x) !
(03/10/2010 11:38 AM)bo198214 Wrote:(03/09/2010 01:31 PM)tommy1729 Wrote: so in the OP replace sinh(x) with 2*sinh(x). i take the halfiterate of it by using taylor series expanded at 0. f(x) is a taylor series , f(f(x)) = 2*sinh(x). f(x) is then a good asympt for the half iterate of exp(x) for large x. let g(g(x)) = exp(x) then g(x) = lim k> oo log log log log ...( k times ) (f( e^e^e^...( k times ) ^ x)) something like that i think. regards tommy1729 

03/14/2010, 01:07 AM
Post: #7




RE: using 2* sinh(x) !
(03/11/2010 12:50 AM)tommy1729 Wrote:(03/10/2010 11:38 AM)bo198214 Wrote:(03/09/2010 01:31 PM)tommy1729 Wrote: so in the OP replace sinh(x) with 2*sinh(x). all clear ? 

04/24/2010, 11:47 PM
Post: #8




RE: using sinh(x) ?
i think it works for the real line.
however in the neighbourhood of the 2 fixed points of exp(x) it will fail. i think so because for fixed point y : log log f exp exp y => log log f(y) => equals y only if f(y) = y so i assume a "buttonlike" region of correctness. 

05/31/2010, 05:52 AM
(This post was last modified: 05/31/2010 07:03 AM by bo198214.)
Post: #9




RE: using sinh(x) ?
Actually Paul Lévy [1] showed how to obtain an iteration of e^x if we have an iteration of e^x1.
Say is an Abel function of e^x1, then is an Abel function of . This should also work for beta being the Abel function of . This approach is actually equivalent to the "change of base" approach we considered here on the forum, also Walker [2] used a similar method. (But I am in the moment to lazy to detail how exactly they imply each other.) It is still open whether it is analytic, but it is proven to be infinitely differentiable in [2]. [1] Lévy, P. (1927). Sur l'itération de la fonction exponentielle. C. R., 184, 500–502. [2] Walker, P. L. (1991). Infinitely differentiable generalized logarithmic and exponential functions. Math. Comput., 57(196), 723–733. 

06/01/2010, 10:58 PM
(This post was last modified: 06/01/2010 11:00 PM by tommy1729.)
Post: #10




RE: using sinh(x) ?
(05/31/2010 05:52 AM)bo198214 Wrote: Actually Paul Lévy [1] showed how to obtain an iteration of e^x if we have an iteration of e^x1. but is that equivalent to my solution ? do we get the same halfiterate for exp(x) ? thanks for the post and references. regards tommy1729 

« Next Oldest  Next Newest »

Possibly Related Threads...  
Thread:  Author  Replies:  Views:  Last Post  
2*sinh(3^h*asinh(x/2)) is the superfunction of (...) ?  Gottfried  5  537 
09/11/2013 08:32 PM Last Post: Gottfried 

zeta and sinh  tommy1729  0  536 
05/30/2011 12:07 PM Last Post: tommy1729 
User(s) browsing this thread: 1 Guest(s)