Revitalizing an old idea : estimated fake sexp'(x) = F3(x)
Revitalizing an old idea : estimated fake sexp'(x).

It's an old idea but I want to put some attention to it again.

Perhaps with our improved skills and understanding this might lead us somewhere.

As most members and frequent readers know so-called fake function theory was developed by myself and sheldon to 

1) create a real entire function

2) that is an asymptotic of a given function for positive reals

3) that has all its taylor or maclauren coefficients positive or at least non-negative.

There are some extra conditions such as strictly rising for positive real x imput for the given function and such.
But basicly that is what fake function theory is about.

We call such created functions - or the attempts - fake functions.

We also considered the cases were the given function already satisfied 1 -- 3 and how our algorithms created " fake ones ".

Many variants occured , such as replacing sums with analogue integrals and stuff but that is not important here.

We got good results for fake exp^[1/2](x).
So far the intro to the fake function theory part.

We also discussed base change constants here.

And we discussed the " expontential factorial " function ; the analogue of tetration like 2^3^4^... , the analogue of the factorial 1*2*3*4*... .

We are also familiar with telescoping sums.

And we even discussed converging infinite sums (over natural index n )  of the n th iteration of a function.

We also know the derivative of exp^[n](x) = exp^[n](x) * exp^[n-1](x) * exp^[n-2](x)*...
And how close this is related to the derivative of sexp(x) ; d sexp(x)/dx = sexp(x) * d sexp(x-1)/dx.

Is this all related to an old idea of myself and partially others ??

Yes certainly.

Lets estimate the derivative of sexp(x) but without using fake function theory tools directly.

Impossible ?

Well far from , if you accept brute estimates.

So we want something faster than any fixed amount of exp iterations.

But slower than sexp(x^2) or sexp(x)^2 or so.

The exact speed of the function is something to investigate and discuss.

But a logical attempt is this :

This function is entire ...

F3(x) = (1 + exp(x)/2^3) (1 + 2^3 exp^[2](x)/ 2^3^4 ) (1 + 2^3^4 exp^[3](x)/ 2^3^4^5 ) ...

and it converges fast.

It is also faster than any exp(x)^[k](x) for fixed k.

And all the coefficients are positive.

Also notice the pseudotelescoping product.

This leads to the asymptotic conjecture :

Using big-O notation :

For 1 < x 

integral from 0 to x   F3(t) dt = F4(x) =  O ( fake sexp(x + c) ).

For some integration constant , and some constant c.

How about that ?


Next idea 

lim v to oo ;

ln^[v] F4(x + v) = ??

Which also looks very familiar.



Tom Marcel Raes

Possibly Related Threads…
Thread Author Replies Views Last Post
Question When Does \(\displaystyle\int_{-1}^0\text{sexp}(x)\,\mathrm{d}x\) Equal \(\frac12\)? Catullus 0 278 10/31/2022, 11:47 PM
Last Post: Catullus
  Reviving an old idea with 2sinh. tommy1729 7 983 06/28/2022, 02:14 PM
Last Post: tommy1729
  tommy's new conjecture/theorem/idea (2022) ?? tommy1729 0 374 06/22/2022, 11:49 PM
Last Post: tommy1729
  An intuitive idea log*^[n](F(exp*^[n](z0))) tommy1729 0 1,202 03/03/2021, 12:57 AM
Last Post: tommy1729
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 3,919 09/06/2016, 04:23 PM
Last Post: tommy1729
  Can sexp(z) be periodic ?? tommy1729 2 8,359 01/14/2015, 01:19 PM
Last Post: tommy1729
  About the fake abs : f(x) = f(-x) tommy1729 2 6,255 12/11/2014, 11:59 PM
Last Post: tommy1729
  pseudo2periodic sexp. tommy1729 0 3,678 06/27/2014, 10:45 PM
Last Post: tommy1729
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 5,999 06/17/2014, 01:25 PM
Last Post: sheldonison
  " fake ring theory " tommy1729 0 4,109 06/11/2014, 11:29 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)