Cauchy integral also for b< e^(1/e)?
#2
bo198214 Wrote:why not apply a similar Cauchy-integral technique for bases \( b<e^{1/e} \)?
...
Because, in the case \( b>e^{1/e} \), the Cauchi integral seems to be the only robust way to evaluate the superexponential; but for \( b<e^{1/e} \), the direct expansion is much faster, giving the same 14 decimal digits.
If you mention, even for b=e, in the final implementation, I use the truncated series instead of the numerical approximation of the integrals. It is at least 2 orders of magnitude faster. There is difference, to get the figure within few seconds or tomorrow, ah?

Now I feel that I can evaluate any tetration with 14 digits, and I work making the evaluation fast; and the algorithm - simple and portable (the same pieces of code run with C++, Mathematica and Maple).
If you implement the integral formulas, we may compare the results with my expansion. I expect, of order of 14 digits will coincide.

In the recursion formula, I would specify the base, to avoid confusions:
\(
f(z)=\frac{1}{2\pi i}\oint \frac{f(w)}{w-z} \mathrm{d}w=\frac{1}{2\pi i}\int_{-iA}^{iA}\Big(-\frac{\log_b(f(w))}{w-1-z} + \frac{\exp_b(f(w))}{w+1-z}\Big) \mathrm{d}w + \frac{1}{2\pi i}\int_{-1}^1 \Big(-\frac{f(w)}{w+iA-z} + \frac{f(w)}{w-iA-z} \Big) \mathrm{d}w
\)
If you want your implementation to converge, in the last integral, \( f(w) \) should be replaced to \( \log_b(w+1) \) at the left hand tip of the interval of integration, and to the \( \exp_b(w-1) \) at the right hand tip, in order to avoid the evaluation of the function in a point close to the contour of integration.
Be careful with the order of updates of the estimates of the values of the function:
the speed of convergence (if at all) may depend on this order.
Reply


Messages In This Thread
RE: Cauchy integral also for b< e^(1/e)? - by Kouznetsov - 03/22/2009, 08:29 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
Question Tetration using the integral Pentalogue 0 4,709 05/27/2025, 11:27 PM
Last Post: Pentalogue
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 10,293 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Kouznetsov-Tommy-Cauchy method tommy1729 0 6,182 02/18/2015, 07:05 PM
Last Post: tommy1729
  Problem with cauchy method ? tommy1729 0 6,187 02/16/2015, 01:51 AM
Last Post: tommy1729
  Could be tetration if this integral converges JmsNxn 41 148,131 05/13/2014, 01:58 PM
Last Post: JmsNxn
  [integral] How to integrate a fourier series ? tommy1729 1 8,986 05/04/2014, 03:19 PM
Last Post: tommy1729
  Some integral transforms related to tetration JmsNxn 0 6,552 05/02/2013, 07:54 PM
Last Post: JmsNxn
  (draft) integral idea tommy1729 0 7,249 06/25/2011, 10:17 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)