Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tetration bending uniqueness ?
#1
uniqueness by the absense of bending points with respect to z in

sexp(slog(z) + r) for positive z and r.

( i use tet for 'my' sexp further )

let

tet(slog(x)) = x

tet(0) = 0 = slog(0)

consider

tet(slog(z) + r)

take derivate with respect to z.

tet'(slog(z) + r) x 1/tet'(slog(z))

take derivate with respect to z.

tet''(slog(z)+r)/tet'(slog(z))^2 - (tet'(slog(z)+r)) * tet''(slog(z))/tet'(slog(z))^3

hence

tet''(slog(z)+r)/tet'(slog(z))^2 = (tet'(slog(z)+r)) * tet''(slog(z))/tet'(slog(z))^3

thus

tet''(slog(z)+r) = tet'(slog(z)+r) * tet''(slog(z))/tet'(slog(z))

hence solve for positive z :

tet''(z+r) = tet'(z+r) * tet''(z)/tet'(z)

make symmetric

tet''(z+r)/tet'(z+r) = tet''(z)/tet'(z)

notice that if a z exists , another one must exist.

thus if for some r , a z exists , there exist oo z solutions.

take integral on both sides ( this step may be a bit dubious ? )

log(tet'(z+r)) + A = log(tet'(z)) + B

hence bending points in

sexp(slog(z) + r) correspond to bending points in sexp(z).

thus

all ( analytic ) sexp(z) with sexp(0) = 0 and positive real to positive real ,

without bending points are identical !!

headscratch ...

regards
Reply
#2
as an additional related question :

is it true that the q-continuum product (as defined by mike ) never adds bending points to an analytic on Re > 0 function that maps positive reals to positive reals and didnt contain any bending points ?
Reply
#3
since sexp(0) = 0 in the OP ,

we can extend : no bending points on sexp follows from no bending points on its half-iterates.*

( * but not necc in reverse ! possibly invalidating this post )

we can find the half-iterate of sexp by using the fixpoint 0.

f^[2](x)= sexp(x).

generalising this , we end up with no bending points at pent(x).

hence the no bending points condition extends to the whole hierarchy :

tetration , pentation , sextation , ...

tommy1729
Reply
#4
remark about post number 1 :

tet(0) = 0 = slog(0) and 0 is the only positive real fixpoint of tet(x) and slog(x).

that is an important detail.

regards

tommy1729
Reply
#5
Whats a bending point?
Reply
#6
(08/30/2010, 08:56 AM)bo198214 Wrote: Whats a bending point?

f ''(x) = 0

x^3 bends at 0.
Reply
#7
i almost forgot about this post.

maybe give it some attention again , assuming i did not make a mistake in the OP.
Reply
#8
(08/28/2010, 11:23 PM)tommy1729 Wrote: tet(0) = 0 = slog(0)

As far as I remember tet(0)=1.
Reply
#9
(08/28/2010, 11:23 PM)tommy1729 Wrote: log(tet'(z+r)) + A = log(tet'(z)) + B

hence bending points in

sexp(slog(z) + r) correspond to bending points in sexp(z).
?
I dont see how that follows, nor does it seem to be right.
For example the fractional iterates of c^x, c>eta have no bending points imho,
while the curvature of sexp in (-2,0) seems to be negative for me, while for greater x it appears to be positive. So there must be a bending point somewhere.
[Image: attachment.php?aid=796]

Reply
#10
Hmm. This makes me wonder about the following conjecture:

The "principal" analytic fractional iterates , of the natural exponential (and perhaps any with ) are uniquely characterized by

for all , all and all .
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 9,344 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 12,687 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,308 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 1,688 11/09/2014, 10:20 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 18,580 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 1,949 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness Criterion for Tetration jaydfox 9 10,148 05/01/2014, 10:21 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 6,034 10/25/2013, 11:27 PM
Last Post: tommy1729
  A question concerning uniqueness JmsNxn 3 5,030 10/06/2011, 04:32 AM
Last Post: sheldonison
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 0 2,735 05/19/2011, 05:49 AM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)