Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Can we get the holomorphic super-root and super-logarithm function?
#11
(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 fatou.gp 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.
Reply


Messages In This Thread
RE: Can we get the holomorphic super-root and super-logarithm function? - by Ember Edison - 06/10/2019, 04:29 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Is bugs or features for fatou.gp super-logarithm? Ember Edison 10 474 08/07/2019, 02:44 AM
Last Post: Ember Edison
  Is there a function space for tetration? Chenjesu 0 91 06/23/2019, 08:24 PM
Last Post: Chenjesu
  A fundamental flaw of an operator who's super operator is addition JmsNxn 4 5,887 06/23/2019, 08:19 PM
Last Post: Chenjesu
  Degamma function Xorter 0 595 10/22/2018, 11:29 AM
Last Post: Xorter
  Inverse super-composition Xorter 11 10,836 05/26/2018, 12:00 AM
Last Post: Xorter
  The super 0th root and a new rule of tetration? Xorter 4 3,031 11/29/2017, 11:53 AM
Last Post: Xorter
  Solving tetration using differintegrals and super-roots JmsNxn 0 1,623 08/22/2016, 10:07 PM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 14,655 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The super of exp(z)(z^2 + 1) + z. tommy1729 1 2,210 03/15/2016, 01:02 PM
Last Post: tommy1729
  Super-root 3 andydude 10 9,323 01/19/2016, 03:14 AM
Last Post: andydude



Users browsing this thread: 1 Guest(s)