Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Unique Holomorphic Super Logarithm bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 11/18/2008, 06:18 PM 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 $\text{slog}$ that has a convergence radius of at least $|L|$ when developed at 0 and that maps an open set $G^o$ containing $G$ - which is defined below - (or $\log(G)$) biholomorphically to some set $T$, that contains for each real value $y$ a horizontal line of length $>1$ with imaginary part $y$. Here $L$ is the first fixed point of $\exp$ and $G$ can be roughly seen on the following picture:     The idea behind is the following. If we look at the straight line between $L$ and $L^\ast$ which can be given by $\el(t)=\Re(L)+i\Im(L)t$ for $-1, then the area $G$ bounded by $\el$ and $e^{\el}$ can be considered as an initial area from which you can derive for example the values on $e^G$ or on $\log(G)$ by $\text{slog}(\exp(z))=\text{slog}(z)+1$, or $\text{slog}(\log(z))=\text{slog}(z)-1$. You can see very well on the picture that $e^{\el}$ lies on the circle with radius $|L|$ (red dashed line). This can be easily derived: By $e^L=L$ we know that $e^{\Re(L)}=|e^L|=|L|$ and hence $e^{\el(t)}=e^{\Re(L)+i\Im(L)t}=|L|e^{i\Im(L)t}$ which is an arc with radius |L| around 0. To be more precise we define exactly what we mean: Let $G$ be the set enclosed by $\el(t)$ and $e^{\el(t)}$ for $-1, $\el$ included but $e^\el$ excluded. This set is not open and hence not a domain, but if we move $\el$ slightly to the left we get a domain $G^o$ containing $G$. We call a function $\text{sexp}$ defined on the domain $D$ a super exponential iff it satisfies $\text{sexp}(0)=1$ and $\text{sexp}(z+1)=\exp(\text{sexp}(z))$ for all $z$ such that $z, z+1\in D$. We call a function $\text{slog}$ defined on the domain $H$ a super logarithm iff $\text{sexp}(\text{slog}(z))=z$ for each $z\in H$ (but not necessarily $\text{slog}(\text{sexp}(z))$ for each $z\in\text{slog}(H)$). With those specifications we can come to the proof. Proof. Assume there are two holomorphic super logarithms $f^{-1}: G_1^o\leftrightarrow T_1$ and $g^{-1}: G_2^o\leftrightarrow T_2$ . Then both are defined on the domain $G^o=G_1^o\cap G_2^o$ and map it bihomorphically, say $f^{-1}:G^o\leftrightarrow T_1'$ and $g^{-1}:G^o\leftrightarrow T_2'$. $\delta:=g^{-1}\circ f$ is holomorphic on the domain $T_1'$. By the condition on $T_1$ and by $\delta(z+1)=\delta(z)+1$ it can be continued to an entire function. The same is true for $\delta_2:=f^{-1}\circ g$, which is the inverse of $\delta$ and hence must $\delta(z)=z$ as it was shown in the proof in universal uniqueness criterion II.$\boxdot$ « Next Oldest | Next Newest »

 Messages In This Thread Unique Holomorphic Super Logarithm - by bo198214 - 11/18/2008, 06:18 PM RE: Unique Holomorphic Super Logarithm - by Kouznetsov - 11/19/2008, 03:24 AM RE: Unique Holomorphic Super Logarithm - by bo198214 - 11/19/2008, 01:13 PM RE: Unique Holomorphic Super Logarithm - by Kouznetsov - 11/24/2008, 06:23 AM

 Possibly Related Threads... Thread Author Replies Views Last Post Is bugs or features for fatou.gp super-logarithm? Ember Edison 10 4,087 08/07/2019, 02:44 AM Last Post: Ember Edison A fundamental flaw of an operator who's super operator is addition JmsNxn 4 7,498 06/23/2019, 08:19 PM Last Post: Chenjesu Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 4,754 06/10/2019, 04:29 AM Last Post: Ember Edison Inverse super-composition Xorter 11 14,350 05/26/2018, 12:00 AM Last Post: Xorter The super 0th root and a new rule of tetration? Xorter 4 4,557 11/29/2017, 11:53 AM Last Post: Xorter Solving tetration using differintegrals and super-roots JmsNxn 0 2,124 08/22/2016, 10:07 PM Last Post: JmsNxn holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 17,875 08/22/2016, 12:19 AM Last Post: JmsNxn The super of exp(z)(z^2 + 1) + z. tommy1729 1 2,875 03/15/2016, 01:02 PM Last Post: tommy1729 Super-root 3 andydude 10 11,948 01/19/2016, 03:14 AM Last Post: andydude super of exp + 2pi i ? tommy1729 1 3,686 08/18/2013, 09:20 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)