(10/11/2023, 10:58 PM)leon Wrote: The iterates tan(expression + P) and all others that stack variables into functionless categories are a good example that proves both methods are better than the iterates that don't have like umpteen sums in the formulas.Analytic tetration would be missing all of the steps and procedures if more fundamental tetration. And sexp is like Schroeder-Cauchy inversion and inflection more than it operates on P or reconciles the inequality without composite function logic or super function strings. 

This makes analytically tetrating a bicomposite derivative bigger than two TRI-composites and derivatives a convergent and divergent enough approach to integrate variables more than sums of decomposed functions or super functions, and can give three riemanns sums per derivative that are bigger than another three or two that make the hyper-infinite derivation and functioning possible or not (like a simultaneous hyper-operator

So if this was a good technique what would you say about it vs the newest pentations and higher order hyperoperations? And the lower? Using two at the same time can beat some higher order that could diverge or differ more than derivative functions and methods

About the other variable, the derivatives add up and make two magic rieman sums that are bigger than 2 more derivative ones. (  So how does tetrating or hyperooerating so fast you could be doing two hyperoperations at the same time (but aren't) show two Riemannian sums that differ enough from 2 others? So, one hyo with a bico <bicomposite> or two tricos or one quadco (quadcomoosite) or two of these at the same time? In/outside an anything? Anymore more derivative than x gets Cauchy for gaussian bucks and super function bicos

Can cauchys and riemanns that make xs that can operate on it octocomposite function use two riemmans or two super functions to operate or hyperoperate on two tricos one tricos or one bico where everything isn't derivative from two bigger riemanns?

The way to say this is if a function and it's antiderivatives can Cauchy a bigger function it can make a riemanns sum that beats two tricos.

See the two Riemann sums bigger than the other two in and out of everything more derivative than x  A Schroeder equation is a backwards Cauchy on big enough things so check the ariemann sums like a quadco or to bicos and it will beat the trico like a Schroeder equation too Riemann sums bigger than the other two in and out of everything more derivative than x

(10/11/2023, 10:25 PM)tommy1729 Wrote: The chain rule implies for analytic tetration :

sexp ' (x) = D exp( sexp(x-1) ) = sexp(x) sexp '(x-1)

LET

f(0) = 0 , f(x+ 1) = exp(f(x)).

then by the above we have

f '(0) = f '(1) !!

You can check with limits that

f ' (0) = f ' (-1) f(0)  is consistant AND free to choose.

Let f(h) = c h + d h^2

Then f(-1 + h) = ln( c h + d h^2) 

taking derivatives 

f ' (-1 + h) = ln© + ln(h) + O(h^2)

So 

f ' (0) = f ' (-1) f(0)  is consistant AND free to choose.

***

So 

sexp ' (x) = D exp( sexp(x-1) ) = sexp(x) sexp '(x-1)

holds for the full real range as desired.

and

f '(0) = f '(1) = c

where real c is free to choose.


You guessed it, I am considering this c as fundamental and cruxial and make a fuss about it.

But for some good reasons.

I have 2 methods that I feel are important.

https://tetrationforum.org/showthread.php?tid=1750

call it  the 3/5 method

and 

https://tetrationforum.org/showthread.php?tid=1339

; the gaussian method.


(lemma)
As is typical for iterations, for positive integers a : 

t^[a](  b( t^[-a](x) )  ) 

somewhat resembles the structure of b(x)

(end lemma)

Taking that into account it seems that 



the gaussian method implies 0 < c < 1.

If you look at how the gaussian applies to exp^[v](1) it seems to imply 

lim (exp^[v](1) - 1)/v

for small v equals the derivative c.

and since erf(x) is such at flat function it seems to imply 0 < c < 1. 

On the other hand, applying to lemma to the 3/5 method it seems to suggest

1 < c < e - 1

I assume c = 8/5 (or very close) here.

( notice 1 + 3/5 = 8/5 and 8/5 < e-1 )

 
***

So this seems to prove that the two methods are very different.

Notice neither c equals 0.

And neither c equals 1 , so a smooth transition from one to the other seems problematic.

***

This also seems to implies that the gaussian method does not satisfy the semi-group isomorphism.

***

So what property do we prefer ?

Well we want that

semiexp(semiexp(x)) = exp(x)

and we want 

D_h exp^[h](1) > 1.

This seems the case for the 3/5 method.

We also want

D semiexp(x) >  1 for x > 1.

This last inequality leads me to 

semiexp(x) < (exp(x) + x)/2 

for x > 1.



Together with the typical

semiexp ' (x) > 0 for all real x

and

semiexp " (x) > 0 for all x > 1


I think this can be achieved by the 3/5 method.


***

I start to wonder when variants of the 3/5 method converge to the same solution.

Lets say they use the same helper function with also derivative 8/5 at 0.

And lets say both of them give a solution semiexp that satisfies the above ( such as sexp ' (x) > 1 for x > 1 )

And lets say such 2 helper functions have a half iterate that both stay close to eachother within ...

within what ?? 

---

To analyse this ...

We could consider the third derivative.

Or make sharper bounds than (exp(x) + x)/2



I will stop here for now.


However I conjecture


sexp( slog(x) + w ) = < w exp(x) + (1 - w) x

for x > 1 and 1 > w > 0



regards

tommy1729

**edited**