Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tommy's uniqueness conditions
tommy's uniqueness conditions

i will present 2 uniqueness conditions here.

however i dont know if the first uniqueness condition is actually truely unique .. the first is more like a conjecture.

also i dont know if the 2 uniqueness conditions are equivalent ...

i hope both are equivalent.

for clarity im talking about uniqueness of sexp resp slog for bases larger than sqrt(e).

i will not distinguish between sexp(0) = a or sexp(0) = b if they are equivalent apart from a lineair transform ( x + c ).

also i assume for both the conditions that they are analytic almost everywhere and have their fixpoints ( x = base^x ) at +/- oo i.

i partially already mentioned the first uniqueness condition before :

d f^n / d x^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k.

and probably ( i.e. if im not mistaken because of the local heat wave )this is true if and only if the following is true :

( i.e. i assume " equivalent to " )

d f^n / d k^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k.

i havent investigated this a lot yet ... basicly because of the intresting second uniqueness condition.

the second uniqueness condition could be a simple proof for the uniqueness of kouznetsov and thus be equivalent to kouznetsov's solution.

and at the same time shed some new insight on tetration and kouznetsov's solution.

the second uniqueness condition is this :

we search a uniqueness condition for sexp.

indirectly by finding a uniqueness condition for its inverse : slog.

in some sense this is the analogue of kouznetsov's uniqueness for sexp but for slog.

ok , the basic equation for slog(z) :

slog(base^z) = slog(z) + 1

lets take a certain base to simply matters : base e

slog(e^z) = slog(z) + 1

now clearly slog has period 2pi i.

now we introduce "another slog"

" another slog " = slog(x + v(x))

v(x) is meromorphic on C and has period 1 and v(0) = 0.

( we will later see that v(x) must be meromorphic rather than just entire )


slog(exp(x + v(x))) = slog(x + v(x)) + 1

letting y = x + v(x) we see that this is also a solution.

to explain further , why period 1 ?

well : sexp( x + v2(x) + 1 ) = exp ( sexp(x + v2(x)) )

it follows that with q = x + v2(x) we have another solution ;
" another sexp ".

but only if v2(x) has period 1. ( necc condition , not sufficient )

x + v(x) is the functional inverse of x + v2(x) and hence v(x) must have the period 1 as well.

but now the cruxial part occurs :

slog(exp(x + v(x))) = slog(x + v(x)) + 1

we now know that v(x) needs period 1 , but it also requires period 2pi i !

( again this can be shown by setting y = x + v(x) )

so any valid v(x) satisfies :

v(x) is complex differentiable.
v(0) = 0
v'(x) > 0
v(real) = real
v(x+2pi i) = v(x)
v(x+1) = v(x)

so v(x*) = v(x)* with fixpoint at 0 and v(x) is a non-constant meromorphic doubly periodic function.

such a function must have at least a pole and thus be meromorphic and not just entire BECAUSE :

( terminology : a prototype parallelogram (PP) is the vector span of its 2 periods i.e. with sides z , z + a , z + b , z + a + b where a and b are the periods )

A non-constant meromorphic doubly periodic function cannot be bounded on the prototype parallelogram (PP). For if it were it would be bounded everywhere, and therefore constant by Liouville's theorem.

also by picard's little , we know that it takes almost any value in such a parallelogram ( all but 1 actually ).

note that some values may be on the edge/sides though.

so we have almost all values of v(x) within (PP).

and thus slog(v(x)) contains almost all values of slog(x) in PP , even slog(oo) because of the pole in PP.

by pythagoras the diagonal length of PP is + sqrt ( 1 + (2pi)^2 ).

this means that in a circle with radius RT = + sqrt ( 1 + 4 pi^2 ) ,

x + v(x) takes on every value - no matter where the center of the circle is in the finite complex plane.

so if the elliptic function v(x) is not = 0 then

slog(x + v(x)) takes on every value of slog(x) in any circle with radius RT.

conversely , if F(x) = slog(x + v(x)) THUS ANY (complex differentiable) SOLUTION - only F(x) is given !! - such that F(x) does not take on every value of F(x) in a circle with radius RT that does not cross a branch point and F(x*) = F(x)* , then v(x) = 0 and hence F(x) is UNIQUE up to a linear substitution of x.

thus we have a uniqueness condition for slog(x).

since sexp is the unique inverse of slog up to branches , this means we also have a uniqueness condition for sexp(x).

(note) that the one value not allowed for sexp(x + v2(x)) is a fixed point of base^x = x which kouznetsov calls 'L' and 'L*'.

if it does happen , the story is over before the end of my condition ; it cannot longer be Coo in the neighbourhood of the finite value x that maps sexp(x + v2(x)) to L or L*.

this might translate to another condition to slog , but i will leave in the sexp condition form for simplicity , since it is not in contradition to my slog condition.

basicly this is just a condition of Coo.

as a sidenote , i would like to say that some other uniqueness conditions will follow from this one , so that ' incompleteness ' or ' incompatibility ' is not neccessarily true.

i wont go into details , since most of *those* conditions are not so intresting and havent occcured in this forum yet.

i know the presentation of this post could be better , but its really hot today and i have little time.

i guess you guys - as tetration experts - can follow the main ideas in it anyways.

i assume my solution to tetration for real bases b > sqrt(e)

- or at least its analytic continuation - will satisfy at least one of these 2 uniqueness conditions.

it needs to be emphased that the domain and image of slog(x) needs to be investigated , since ' all values of slog(x) ' in some region is then better understood.

basicly because slog(x) is not entire , im not sure if we get almost all values ... hmmm ...

nevertheless , regardless of that outcome , the result above remains indepent of that.

thinking about it , i think we do get almost all values because slog(x) when defined for all complex x , it has singularities and/or pseudo fractal like structures + all exponents of them ; thus 'many values'.



Messages In This Thread
tommy's uniqueness conditions - by tommy1729 - 07/10/2010, 10:15 PM
RE: tommy's uniqueness conditions - by bo198214 - 07/11/2010, 02:55 AM
RE: tommy's uniqueness conditions - by tommy1729 - 07/11/2010, 04:36 PM
RE: tommy's uniqueness conditions - by tommy1729 - 07/13/2010, 10:58 PM
RE: tommy's uniqueness conditions - by tommy1729 - 07/18/2010, 10:04 PM
RE: tommy's uniqueness conditions - by bo198214 - 07/19/2010, 05:47 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  tommy beta method tommy1729 0 187 12/09/2021, 11:48 PM
Last Post: tommy1729
  Tommy's Gaussian method. tommy1729 24 5,314 11/11/2021, 12:58 AM
Last Post: JmsNxn
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 677 09/20/2021, 04:29 AM
Last Post: JmsNxn
  " tommy quaternion " tommy1729 14 5,928 09/16/2021, 11:34 PM
Last Post: tommy1729
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 6,100 03/19/2021, 01:25 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 22,886 02/17/2017, 05:21 AM
Last Post: JmsNxn
  tommy's simple solution ln^[n](2sinh^[n+x](z)) tommy1729 1 5,217 01/17/2017, 07:21 AM
Last Post: sheldonison
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 28,900 01/09/2017, 02:41 AM
Last Post: Gottfried
  Tommy's matrix method for superlogarithm. tommy1729 0 3,464 05/07/2016, 12:28 PM
Last Post: tommy1729
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 3,146 03/19/2016, 10:44 AM
Last Post: fivexthethird

Users browsing this thread: 1 Guest(s)