Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Unique Holomorphic Super Logarithm
When I continued to find a suitable domain of definition for the slog such that the it is unique there by the universal uniqueness criterion II, I followed a line of thoughts I will describe later and came up with the following condition:

Proposition. There is at most one holomorphic super logarithm that has a convergence radius of at least when developed at 0 and that maps an open set containing - which is defined below - (or ) biholomorphically to some set , that contains for each real value a horizontal line of length with imaginary part .

Here is the first fixed point of and can be roughly seen on the following picture:

The idea behind is the following. If we look at the straight line between and which can be given by for , then the area bounded by and can be considered as an initial area from which you can derive for example the values on or on by , or .

You can see very well on the picture that lies on the circle with radius (red dashed line). This can be easily derived:
By we know that and hence
which is an arc with radius |L| around 0.

To be more precise we define exactly what we mean:
Let be the set enclosed by and for , included but excluded. This set is not open and hence not a domain, but if we move slightly to the left we get a domain containing .

We call a function defined on the domain a super exponential iff it satisfies and for all such that .

We call a function defined on the domain a super logarithm iff for each (but not necessarily for each ).

With those specifications we can come to the proof.
Proof. Assume there are two holomorphic super logarithms and .
Then both are defined on the domain and map it bihomorphically, say and . is holomorphic on the domain . By the condition on and by it can be continued to an entire function. The same is true for , which is the inverse of and hence must as it was shown in the proof in universal uniqueness criterion II.

Messages In This Thread
Unique Holomorphic Super Logarithm - by bo198214 - 11/18/2008, 06:18 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  A Holomorphic Function Asymptotic to Tetration JmsNxn 2 1,341 03/24/2021, 09:58 PM
Last Post: JmsNxn
  Is bugs or features for super-logarithm? Ember Edison 10 14,893 08/07/2019, 02:44 AM
Last Post: Ember Edison
  A fundamental flaw of an operator who's super operator is addition JmsNxn 4 12,151 06/23/2019, 08:19 PM
Last Post: Chenjesu
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 15,717 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Inverse super-composition Xorter 11 25,100 05/26/2018, 12:00 AM
Last Post: Xorter
  The super 0th root and a new rule of tetration? Xorter 4 9,017 11/29/2017, 11:53 AM
Last Post: Xorter
  Solving tetration using differintegrals and super-roots JmsNxn 0 3,641 08/22/2016, 10:07 PM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 29,028 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The super of exp(z)(z^2 + 1) + z. tommy1729 1 4,883 03/15/2016, 01:02 PM
Last Post: tommy1729
  Super-root 3 andydude 10 20,719 01/19/2016, 03:14 AM
Last Post: andydude

Users browsing this thread: 1 Guest(s)