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)
I think I have figured out conceptually how to reconcile the singularities which probably lie arbitrarily close to the real line, with the fact that we can generate a power series with a seemingly non-zero radius of convergence.

To see this, consider the following contrived function: f(x) = log(log(log(log(log(x+1)+e^(e^e))))))

Note that at x=0, the value is 0. Also note that you can pick points very close to -1, and the value will barely change at all.

Yet note that there is a singularity at x=-1. The function is very, very smooth at x=0, almost constant in fact, and yet there is definitely a singularity at x=-1.

I think a similar effect is at work with the base change formula. For any finite n, we could in principle locate singularities by careful analysis, and as n increases, these singularities will get closer and closer to the real line. Yet they will also be less and less perceptible, unless you can manage to get really, really close to one.

As such, the power series expansion would seem to have a rather large radius of convergence, because the first few thousand terms of f are determined primarily by the power series developed with f_n, with a rather small value of n.

But if we could compute tens of thousands of derivatives with millions of bits of precision, we should see the radius of convergence slowly drop. Indeed, the full power series likely has 0 radius of convergence. (Or is it more accurate to say that for any finite value epsilon, the radius of convergence can be shown to be smaller than epsilon? Is that any different than saying it's 0?)

It seems therefore rather miraculous that the limit is well-defined for real numbers, when it would seem to be undefined for non-real numbers.
~ Jay Daniel Fox

Messages In This Thread
RE: Real and complex behaviour of the base change function (was: The "cheta" function) - by jaydfox - 08/15/2009, 12:54 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  New mathematical object - hyperanalytic function arybnikov 4 1,058 01/02/2020, 01:38 AM
Last Post: arybnikov
  Constructing real tetration solutions Daniel 4 995 12/24/2019, 12:10 AM
Last Post: sheldonison
  Complex Tetration, to base exp(1/e) Ember Edison 7 3,028 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is there a function space for tetration? Chenjesu 0 669 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 4,805 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Degamma function Xorter 0 1,124 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,657 11/07/2017, 11:06 AM
Last Post: sheldonison
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 13,616 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Taylor series of cheta Xorter 13 14,401 08/28/2016, 08:52 PM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 10,257 02/23/2016, 10:17 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)