Semi-exp and the geometric derivative. A criterion.
The so-called geometric derivative from " non-newtonian calculus " : basically just f*(x) = exp( ln ' (f(x)) ) = exp( f ' (x) /f(x) ) plays a role for a criterion for the half-iterate of exp ( semi-exp ).

Notice that (b^x)* = b.

So in a sense it gives the average base locally.

Since semi-exp grows slower than any b^x for b>1 , it makes sense that the base Goes down towards 1 as x grows.

And this decrease should be smooth.

So the semi-exp should satisfy

For x > 1 and n a nonnegative integer.

S ' (x) > 1
S " (x) > 0
x < S(x) < exp(x)
Sign ( D^n S*(x) ) = (-1)^n

These 4 conditions may reduce to 3 or 2, I have not looked into it.

Notice I did not include analytic !

Also I did not say this gives uniqueness.

But I think these conditions are intresting.
And I think They have a solution.

I particular I conjecture that the semi-exp computed with my 2sinh method satisfies all 4 conditions !!

I tried to Find a proof but with no succes.

I mentioned all this before ( apart from the conjecture about my 2sinh method ), and I might not be the first, but Im bringing this back in the spotlight.

Your ideas ?



Possibly Related Threads…
Thread Author Replies Views Last Post
  semi-group homomorphism and tommy's U-tetration tommy1729 5 379 08/12/2022, 08:14 PM
Last Post: tommy1729
Question Derivative of the Tetration Logarithm Catullus 1 377 07/03/2022, 07:23 AM
Last Post: JmsNxn
  Universal uniqueness criterion? bo198214 57 111,942 06/28/2022, 12:00 AM
Last Post: JmsNxn
  On the first derivative of the n-th tetration of f(x) Luknik 5 1,790 10/28/2021, 11:53 AM
Last Post: tommy1729
  How to find the first negative derivative ? tommy1729 0 3,468 02/13/2017, 01:30 PM
Last Post: tommy1729
  A calculus proposition about sum and derivative tommy1729 1 4,669 08/19/2016, 12:24 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 23,184 01/01/2016, 03:58 PM
Last Post: sheldonison
  Derivative of E tetra x Forehead 7 16,945 12/25/2015, 03:59 AM
Last Post: andydude
  Conjecture on semi-exp base change [2015] tommy1729 0 3,698 03/24/2015, 03:14 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 44,414 06/15/2014, 10:17 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)