Jay Fox's Linear approximation for tetration and slog
#8
bo198214 Wrote:.... And yes I would like to see some more equations Smile

There are three more unknown coefficients to calculate, based on three equations. First, the average of f(+0.5,-0.5) is calculated in terms of the coefficients, and in terms of the boundary definition. Second, the difference between f'(+0.5,-0.5) is calculated in terms of the coefficients, and is also know to be zero due to the boundary definition. Third, the difference between f'''(+0.5,-0.5) is calculated in terms of the coefficients. That difference can also be calculated in terms of the other derivatives and boundary conditions.

There are also important values used in this section that have already been defined, such as f(0.5), f(-0.5), a1, a3, and p from my previous post.
\( f(+0.5) = 1/\ln(n) \)
\( f(-0.5) = -\ln(\ln(n))/\ln(n) \)
\( m = (1 + \ln(\ln(n))) / \ln(n) \)
\( ave = (f(-0.5) + f(0.5))/2 = 1/2(-\ln(\ln(n)) / \ln(n)) + 1/2(1/\ln(n)) \)
\( ave = (1-\ln(\ln(n))/(2*\ln(n)) \)
\( ave = a0 + a2/4 + a4/16 \)
\( f'(+0.5) - f'(-0.5) = 0 = 2a2 + a4 \)
\( a4 = -2*a2 \)
\( ave = a0 - a2/8 \)
\( f''(-0.5) = (-3*a3 + 2*a4) \)

At this point, it is worth noting that if a third order estimate were used, there would not be an a4 term, and therefore a4=0 and a2=0. For that third order approximation, it is then trivial to determine that a0 is equal to "ave", which was just calculated. Continuing on, calculate the difference between f'''(0.5) and f'''(-0.5), in terms of the a0..a4 coefficients, and then substitute in the known values for f'(x)=p, and substitute in the equation for a4 in terms of a2, and substitute in the equation for f''(-0.5) in terms of a3, a4.
\( f'''(+0.5) - f'''(-0.5) = 24*a4 = \ln(n)*3*p*f''(-0.5) + \ln(n)*\ln(n)*p^{3} \)
\( 24*a4 = \ln(n)*3*p*f''(-0.5) + \ln(n)*\ln(n)*p^3 \)
\( 24*a4 = \ln(n)*3*p*(-3*a3 + 2*a4) + \ln(n)*\ln(n)*p^{3} \)
\( 24*a4 - \ln(n)*3*p*2*a4 = \ln(n)*3*p*(-3*a3) + \ln(n)*\ln(n)*p^{3} \)
\( 24*a4 - \ln(n)*p*6*a4 = -\ln(n)*9*p*a3 + \ln(n)*\ln(n)*p^{3} \)
\( a4*(24 - \ln(n)*p*6) = -\ln(n)*9*p*a3 + \ln(n)*\ln(n)*p^{3} \)
\( a4 = (-\ln(n)*9*p*a3 + \ln(n)*\ln(n)*p^{3}) / (24 - \ln(n)*6*p \)

Next, use the value calculated for a4 to generate a2, and a0, using the value of ave in terms of the ln(n), from above.
\( a2 = -a4/2 \)
\( a0 = ave - (a2/Cool \)

Finally, the normalization value must be approximated by iteration to determine sexp(x+norm) ~= f(x). Find the value of x where f(x) has a known defined value of sexp, either a value 0, or a value of 1, corresponding to sexp(-1) or sexp(0).

I calculated the normalization values for 2,e,3, and 10 in the following spread sheet for 3rd and 4th order approximations.
Reply


Messages In This Thread
RE: Jay Fox's Linear approximation for tetration and slog - by sheldonison - 11/13/2008, 11:11 PM
approach overview - by bo198214 - 11/14/2008, 03:48 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  the fraction iteration approximation of tetration Alex Zuma 2025 0 41 04/14/2026, 06:52 PM
Last Post: Alex Zuma 2025
  Simple limit approximation to exp(x) tommy1729 0 2,776 05/16/2023, 11:13 PM
Last Post: tommy1729
  tommy's "linear" summability method tommy1729 15 17,874 02/10/2023, 03:55 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 55,871 09/14/2022, 08:05 AM
Last Post: Gottfried
  The iterational paradise of fractional linear functions bo198214 7 9,993 08/07/2022, 04:41 PM
Last Post: bo198214
  Describing the beta method using fractional linear transformations JmsNxn 5 8,654 08/07/2022, 12:15 PM
Last Post: JmsNxn
Question E^^.5 and Slog(e,.5) Catullus 7 11,134 07/22/2022, 02:20 AM
Last Post: MphLee
Question Slog(Exponential Factorial(x)) Catullus 19 23,728 07/13/2022, 02:38 AM
Last Post: Catullus
Question Slog(x^^^2) Catullus 1 3,276 07/10/2022, 04:40 AM
Last Post: JmsNxn
Question Slog(e4) Catullus 0 2,597 06/16/2022, 03:27 AM
Last Post: Catullus



Users browsing this thread: 1 Guest(s)