Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Universal uniqueness criterion II
Lets summarize what we have so far:

Proposition. Let be a vertical strip somewhat wider than , i.e. for some and .
Let for some and let be two domains (open and connected) for values, and let be holomorphic on . Then there is at most one function that satisifies
(1) is holomorphic on and
(2) is real and strictly increasing on
(3) for all and
(4) There exists an inverse holomorphic function on , i.e. a holomorphic function such that for all .

Proof. Let be two function that satisfy the above conditions. Then the function is holomorphic on (because and (4)) and satisfies . By (3) and (4)
and .
So can be continued from to an entire function and is real and strictly increasing on the real axis.

by our previous considerations.
By Big Picard every real value of is taken on infinitely often if is not a polynomial, but every real value is only taken on once on the real axis, thatswhy still . But this is in contradiction to . So must be a polynomial that takes on every real value at most once. This is only possible for with because ..

In the case of tetration one surely would chose and or . However I am not sure about the domain which must contain and hence give some bijection , with some .

Of course in the simplest case one just chooses if one has some function in mind already. However then we can have a different function with but our intention was to have a criterion that singles out other solutions.
So we need an area on which every slog should be defined at least and satisfy as well as .

Messages In This Thread
Universal uniqueness criterion II - by bo198214 - 11/16/2008, 05:27 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 6,051 03/19/2021, 01:25 PM
Last Post: tommy1729
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 2,965 09/19/2017, 09:45 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 22,834 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 28,764 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 3,131 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 3,574 11/09/2014, 10:20 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 40,159 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 4,360 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness Criterion for Tetration jaydfox 9 18,639 05/01/2014, 10:21 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 11,261 10/25/2013, 11:27 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)