• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Tetration Asymptotic Series Catullus Fellow Posts: 204 Threads: 46 Joined: Jun 2022   06/08/2022, 05:47 AM (This post was last modified: 07/03/2022, 12:44 AM by Catullus.) Sqrt(2) ^^ x is approximated better and better by 2 - a*ln(2)^x + (a^2/(4*(1 - 1/ln(2))))*ln(2)^(2*x), where a is lim x → ∞ (2 - sqrt(2) ^^ x) / ln(2) ^ x. It has an error term of big O of ln(2) ^ 3x. Does anyone know a formula for the asymptotic approximations of a ^^ x when 1 < a < η? Or even more terms, but not a formula for them? All of the higher order terms for b^^x are expressible, in closed form in terms of b's version of a. For base b the analog of a is lim x → ∞ (LambertW(-ln(b))/ln(b)-b^^x)/LambertW(-ln(a))^b. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus tommy1729 Ultimate Fellow Posts: 1,645 Threads: 369 Joined: Feb 2009 06/08/2022, 12:18 PM How did you arrive at that ? Catullus Fellow Posts: 204 Threads: 46 Joined: Jun 2022 06/09/2022, 04:49 AM (This post was last modified: 07/19/2022, 03:21 AM by Catullus.) It was on https://oeis.org/A277435. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus bo198214 Administrator Posts: 1,498 Threads: 95 Joined: Aug 2007 06/09/2022, 05:58 PM (This post was last modified: 06/09/2022, 06:00 PM by bo198214.) I think it is based on regular iteration of the formal power series of sqrt(2)^x at fixed point 2. If you look at https://www.researchgate.net/publication..._tetration chapter 2.3.1 under "Regular C-iteration" you have a similar formula, though the infinite sum is not sorted by powers of s (in your case s=(ln2)^x ) but by powers of z, while in your case z=0 (at the regular iteration of f, not h). I guess after sorting it by powers of s you would arrive at the given formula (and know the further terms). But this really involves quite some understanding and calculation, would be great if someone has some time to explicit it here. Catullus Fellow Posts: 204 Threads: 46 Joined: Jun 2022 06/09/2022, 09:25 PM Hey! You have an icon now. I remember when you did not. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus bo198214 Administrator Posts: 1,498 Threads: 95 Joined: Aug 2007 06/09/2022, 09:34 PM (06/09/2022, 09:25 PM)Catullus Wrote: Hey! You have an icon now. I remember when you did not. Yap. Catullus Fellow Posts: 204 Threads: 46 Joined: Jun 2022   06/10/2022, 09:56 AM (This post was last modified: 06/10/2022, 10:07 AM by Catullus.) On the topic of the behavior of tetration. How slow does (e^-e)^^x converge anyway? as n becomes larger and larger (e^-e)^^n approaches e^-1 which is approximately .368. even (e^-e)^^16384~.375. Fun fact: 1/((e^-e)^^16384-e^-1) ~ 141.404. 141.404 ~ sqrt(2)*100. Also maybe there should be a symbol for e^-e. (Also called the iterated exponential constant.) Like how there is a symbol for e^e^-1. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus JmsNxn Ultimate Fellow Posts: 902 Threads: 111 Joined: Dec 2010 06/10/2022, 08:52 PM (This post was last modified: 06/10/2022, 10:50 PM by JmsNxn.) (06/10/2022, 09:56 AM)Catullus Wrote: On the topic of the behavior of tetration. How slow does (e^-e)^^x converge anyway? as n becomes larger and larger (e^-e)^^n approaches e^-1 which is approximately .368. even (e^-e)^^16384~.375. Fun fact: 1/((e^-e)^^16384-e^-1) ~ 141.404. 141.404 ~ sqrt(2)*100. Also maybe there should be a symbol for e^-e. (Also called the iterated exponential constant.) Like how there is a symbol for e^e^-1. I've always thought we should write $$\eta_-$$ for $$e^{-e}$$, as it acts kinda like the polar opposite of $$\eta$$. As to how fast the tetration converges, it is slower than any exponential, and additionally $$\sum_{n=0}^\infty \eta_-\uparrow\uparrow n - e^{-1}\,\,\text{Does not converge}\\$$ Whereas for every value $$b$$ in the Shellthron region we have exponential convergence to the fixed point. So just hazarding a guess, $$\eta_-\uparrow\uparrow n = e^{-1} + O(1/n)$$. Probably converges slower though, by the amount your showing. I know there is a way to get the correct O term. It's something to do with the petals. I believe there are two petals about $$e^{-e}$$, so if memory serves right, it should be something more like $$O(\sqrt{n})$$. And this aligns with the estimate you have above. So I'd bet it's something like: $$\eta_-\uparrow\uparrow n = e^{-1} + O(1/\sqrt{n})$$ EDIT: Found it in Milnor. If $$f(z) = e^{2\pi i/k}z + O(z^2)$$, then in the attracting petals (there will be $$k$$), the function $$f^{\circ n}(z) = O(1/\sqrt[k]{n})$$ So yes, an initial estimate would be $$O(\frac{1}{\sqrt{n}})$$. Catullus Fellow Posts: 204 Threads: 46 Joined: Jun 2022 06/10/2022, 10:50 PM (This post was last modified: 07/03/2022, 12:54 AM by Catullus.) (06/10/2022, 08:52 PM)JmsNxn Wrote: I've always thought we should write $$\eta_-$$ for $$e^{-e}$$, as it acts kinda like the polar opposite of $$\eta$$.How about an upside down eta? Quote:So I'd bet it's something like: $$\eta_-\uparrow\uparrow n = e^{-1} + O(1/\sqrt{n})$$ EDIT: Found it in Milnor. If $$f(z) = e^{2\pi i/k}z + O(z^2)$$, then in the attracting petals (there will be $$k$$), the function $$f^{\circ n}(z) = O(1/\sqrt[k]{n})$$ So yes, an initial estimate would be $$O(\frac{1}{\sqrt{n}})$$. You did not rationalize your denominators. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus JmsNxn Ultimate Fellow Posts: 902 Threads: 111 Joined: Dec 2010 06/10/2022, 11:01 PM (06/10/2022, 10:50 PM)Catullus Wrote: (06/10/2022, 08:52 PM)JmsNxn Wrote: I've always thought we should write $$\eta_-$$ for $$e^{-e}$$, as it acts kinda like the polar opposite of $$\eta$$.How about an upside down eta? I love doing things like that, and if I were to write a paper that required rewriting this symbol over and over again, I concur. But mathjax is a stickler for making custom symbols, and it can be a tad annoying to write out the full command everytime you want to say $$e^{-e}$$. But in a paper that would work great (make quick \ueta command). I like your thinking « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post Searching for an asymptotic to exp[0.5] tommy1729 203 377,931 08/07/2022, 10:42 PM Last Post: tommy1729 Formula for the Taylor Series for Tetration Catullus 8 999 06/12/2022, 07:32 AM Last Post: JmsNxn Calculating the residues of $$\beta$$; Laurent series; and Mittag-Leffler JmsNxn 0 640 10/29/2021, 11:44 PM Last Post: JmsNxn Trying to find a fast converging series of normalization constants; plus a recap JmsNxn 0 596 10/26/2021, 02:12 AM Last Post: JmsNxn Using a family of asymptotic tetration functions... JmsNxn 15 6,542 08/06/2021, 01:47 AM Last Post: JmsNxn Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 1,431 07/22/2021, 03:37 AM Last Post: JmsNxn A Holomorphic Function Asymptotic to Tetration JmsNxn 2 1,796 03/24/2021, 09:58 PM Last Post: JmsNxn An asymptotic expansion for \phi JmsNxn 1 1,497 02/08/2021, 12:25 AM Last Post: JmsNxn Perhaps a new series for log^0.5(x) Gottfried 3 5,395 03/21/2020, 08:28 AM Last Post: Daniel Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 4,035 09/10/2019, 11:28 AM Last Post: sheldonison

Users browsing this thread: 1 Guest(s)