Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Real and complex behaviour of the base change function (was: The "cheta" function)
(08/13/2009, 07:17 AM)bo198214 Wrote: Walker showed a similar convergence for , where dexp(x) = exp(x)-1.
He showed that the limit is infinitely differentiable on the real axis.
That means that he also wasnt clear about the complex behaviour otherwise he would have shown that the limit is holomorphic as a consequence of local uniform convergence.
But he could prove that local uniform (or compact) convergence only on the real axis, which does not suffice to imply holomorphy (because it could be that during the convergence non-real singularities get dense towads points on the real axis). I will persue this topic in the next days and have still some unexplored ideas at my hands.
First off, the graph below, and the earlier now incorrect results I posted to this thread correspond to the equation Henryk says Walker analyzed, except with the exponentials being "exp(x) = exp(x)-1", and the logarithms being base e. The "exp(x)=exp(x)-1" corresponds to base eta with the initial operands divided by e. Here is small slice of the complex plane, that seems to have a reasonable chance of converging as k increases.

I don't have much time right now, but here is a graph for f(x), where real(x)=4.7 and imag(x) varies from 0 to i*0.5, where I show the graphs for k=5, k=6, and k=7. I haven't analyzed whether the windings work for larger values of K, but I hope they might. Also, I zoomed in on the transition near i=0.1, and the k=7 graph is off by one winding; this isn't visible at this scale.

[Image: log_e_sexp_eta.gif]

Next, I was interested in f(4.7+0.2i) and I thought it might converge to the fixed point of e. Not so! For k=7, it converges to -0.516080387 + i*0.262012723. The method of convergence is to track down those pesky windings. so as to guarantee that all of the steps in the iterated logarithms are continuous, it winds up, and eventually the imaginary portion goes negative, and it stops winding, and more or less freezes at approximately i=0.1, there is a small amount of change (not visible in the graph), when i continues growing past 0.4

For this one segment of the complex plane, F appears to converge, and for the value in question may allow for a continuous extension of Jay's base change to the complex plane, but there is much more to do. In other words,

- Shel

Messages In This Thread
RE: Does the limit converge in the complex plane? - by sheldonison - 08/13/2009, 06:48 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Complex Tetration, to base exp(1/e) Ember Edison 7 1,286 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is there a function space for tetration? Chenjesu 0 251 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 2,028 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Degamma function Xorter 0 724 10/22/2018, 11:29 AM
Last Post: Xorter
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,105 11/07/2017, 11:06 AM
Last Post: sheldonison
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 10,854 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Taylor series of cheta Xorter 13 11,364 08/28/2016, 08:52 PM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 8,399 02/23/2016, 10:17 PM
Last Post: tommy1729
  Should tetration be a multivalued function? marraco 17 15,382 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 3,330 01/10/2016, 06:14 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)