Can we get the holomorphic super-root and super-logarithm function?
(06/09/2019, 04:31 PM)sheldonison Wrote:
(06/09/2019, 04:03 PM)Ember Edison Wrote: Thank you for your work.It's very helpful.

by the way...I can't set the base with -0.1 <= x <= 0.62, 0.88 <= x <= 1.042, how can i do something to fix it?

Instead of b, try b+1E-25*I so that its not on the real axis; that might help a little.  But if using for bases close to zero, the sexpinit breaks since the real part of the pseudo period of the fixed points gets too small so the theta mapping falls apart.  base=0 is a singularity.  For real bases>1 and less than 1.042, the problems are different as the imaginary period gets smaller and smaller.  base=1 is also a singularity.  Its probably best to accept these as the unavoidable computation limits.  So then the superroot problem mostly has the same computation limits as extending Kneser to complex bases and bases<eta.

edit: Its been awhile since I've looked closely at the singularity for circling around the base=1.  sexp(-0.5) is complex valued for bases<1, but the branch is more significant than for 1<b<eta where both fixed points are still real valued.  It is because the secondary fixed point is no longer real valued.  for sexpinit(0.7) the two fixed points are L1~=0.762 and L2~=-7.3505+11.632i.  Kneser's solution requires us to weave together the two Schroder/Abel functions from the two fixed points.  This is done with a 1-periodic theta mapping, z+theta(z).  This  this allows the complex conjugate pair of fixed points for real bases>eta to generate a real valued tetration function.  Perhaps I will post more later.
I know 1 and 0 is singularity base, i just want to look the function behavior when the bases very close 1 or 0...
I thing we need use set theory to define the base=0 and base=1, and not complex analysis.

The article[1] say if we use very small w get tet(b+w*I,z) to close tet(b,z) , "will be very slightly different for real" base when 1 <= b <= etaB, so I'm very very worry about the other real base will happen again. (example of course is 0 <= b <1).
The article[1] say he can work "except if we are too close to either b = 0, b = 1, or b =" etaB. I think we can close the bases  1 or 0 like we close the etaB if the article is true.

Ps:You use more exp() to evaluate more Re(height) >= 1. So can we use more log() to evaluate more Re(height) <= -1?

Ps2:Why we need to avoid  etaB? When low precision, we can use sexpeta/slogeta to process singularity at etaB in my imagination.
We should to avoid the singularity at 0 and 1, if the sexpeta/slogeta can use.

Possibly Related Threads…
Thread Author Replies Views Last Post
  Anyone have any ideas on how to generate this function? JmsNxn 3 177 05/21/2023, 03:30 PM
Last Post: Ember Edison
  [MSE][NT][MOD][Tetration] tetration primitive root mod p tommy1729 1 162 04/03/2023, 06:50 PM
Last Post: tommy1729
  [MSE] Mick's function Caleb 1 223 03/08/2023, 02:33 AM
Last Post: Caleb
  [MSE]root expressions and sine tommy1729 2 225 03/03/2023, 05:52 PM
Last Post: tommy1729
  [special] binary partition zeta function tommy1729 1 183 02/27/2023, 01:23 PM
Last Post: tommy1729
  [NT] Extending a Jacobi function using Riemann Surfaces JmsNxn 2 220 02/26/2023, 08:22 PM
Last Post: tommy1729
  toy zeta function tommy1729 0 186 01/20/2023, 11:02 PM
Last Post: tommy1729
  geometric function theory ideas tommy1729 0 232 12/31/2022, 12:19 AM
Last Post: tommy1729
  Iterated function convergence Daniel 1 359 12/18/2022, 01:40 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 7,218 09/14/2022, 08:05 AM
Last Post: Gottfried

Users browsing this thread: 1 Guest(s)