Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Arguments for the beta method not being Kneser's method
#51
This discussion continues its focus on the 2pi i periodic version of beta(z,1), and the resulting Tet(z) function.  Lets center the following function so that the resulting Tet(0)=1, k~=1.74480157761534
$$\begin{align}
f_0(z)=\ln(\beta(z+1))=\beta(z)-\ln(1+\exp(-z))\\
f_n = \ln^{\circ n}f(k+n)\\
\text{tet}(z)=\lim_{n \to \infty}f_n(z+k)\\
\end{align} $$

Next, lets define a sequence of rho functions where
$$\begin{align}
\rho_0(z)=f_0(z)-\beta(z)=-\ln(1+\exp(-z))\\
\rho_n(z)=f_n(z)-f_{n-1}(z)\\
\tau_n(z)=\sum_{i=0}^{i=n}\rho_i(z);\;\;\;f_n(z)=\beta(z)+\tau_n(z)\\
\text{There are also some good recursive equations for rho_n}\\
\rho_n(z)=\ln\left(1+\frac{\rho_{n-1}(z+1)}{f_{n-2}(z+1)}\right)\\
\text{Tet}(z)=\beta(z+k)+\tau(z+k)=\beta(z+k)+\sum_{n=0}^{\infty}\rho_n(z+k)\\
\end{align} $$




So we are interested in and the earlier work, ; see my previous post #38 earlier in this thread for the graph of the zeros, and post#48 for the graph of f_3(z).

Here is a plot of centered at the origin for Tet(0), which shows a blow up of the nearest singularity for the iteration.
   

Here is a plot of the much quieter nearest singularity, which is actually a singularity wall.  The amplitude here at the singularity radius is on the order of 2*10-8, though of couse the logarithm is unbounded if you get close enough to the singularity.  The radius of convergence is approximately 0.03468; and the routine used to calculate these values is logrho(rr+z,4), which returns .  You can see -exp(logrho) at the radius of convergence, where logrho has its largest value.  At 99% of the radius of convergence, the maximum of logrho is around -67700, so rho_4 is already vanishingly small; with a maximum amplitude of -exp(-67700) at 99% of the radius of convergence.  At the origin, .
   

What is most interesting to me is how "quiet" the rho4 Taylor series coefficients are.  I wrote a routine the approximates the log of the nth Taylor series coefficient, logcoeff(rr,n,4), accurate to a couple of decimal digits or so.  It works from about the 10th taylor series coefficient  up to the 1.3 millionth coefficient.  I didn't use this routine for rho3 since it would only work for the first 7 or 8 coefficients which are easily computable so I'm just approximating rho3 as , since we know the coefficients eventually grow as .  So what I see is that rho4 starts out with Taylor series coefficients of around exp(~= -4000000), and all of the coefficients less than ~=570,000 have absolute value less than 1; and most of them are vanishingly small.  

The approximation does not change any of the first half million derivatives enough to show up in any normal computer representation for these numbers!  The crossover in magnitude doesn't occur until around the 670000th Taylor series coefficient, where the rho4 function's coefficients are finally larger in magnitude than the rho3 coefficients!

I haven't explained any of the equations behind the algorithm for logcoeff, and why it works; since that would represent a lengthy detour.  Mostly, one can see that the Tetration function at the origin has pretty much converged by the time you get to rho3, and the work I've done explains how the rho4 iteration of the conjectured nowhere analytic sum behaves.  From the recursive equation, we can derive that rho4 at the origin is "approximately" and rho5 would be an even tinier function whose amplitude at the origin would probably be "approximately" , and rho5's first Taylor series coefficient with amplitude >1 would be for a value of n that is exponentially larger than for rho4.
   

.gp   beta_tau.gp (Size: 8.5 KB / Downloads: 51)
- Sheldon
Reply


Messages In This Thread
RE: Arguments for the beta method not being Kneser's method - by sheldonison - 10/19/2021, 02:43 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  tommy beta method tommy1729 0 187 12/09/2021, 11:48 PM
Last Post: tommy1729
  Tommy's Gaussian method. tommy1729 24 5,315 11/11/2021, 12:58 AM
Last Post: JmsNxn
  Calculating the residues of \(\beta\); Laurent series; and Mittag-Leffler JmsNxn 0 294 10/29/2021, 11:44 PM
Last Post: JmsNxn
  The Generalized Gaussian Method (GGM) tommy1729 2 654 10/28/2021, 12:07 PM
Last Post: tommy1729
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 678 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Why the beta-method is non-zero in the upper half plane JmsNxn 0 467 09/01/2021, 01:57 AM
Last Post: JmsNxn
  Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 898 07/22/2021, 03:37 AM
Last Post: JmsNxn
  Improved infinite composition method tommy1729 5 1,562 07/10/2021, 04:07 AM
Last Post: JmsNxn
  Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 9,182 05/26/2021, 11:55 PM
Last Post: MphLee
  Alternative manners of expressing Kneser JmsNxn 1 1,049 03/19/2021, 01:02 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)