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)
#9
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
Reply


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
  Complex Tetration, to base exp(1/e) Ember Edison 7 1,662 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is there a function space for tetration? Chenjesu 0 356 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 2,646 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Degamma function Xorter 0 813 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,226 11/07/2017, 11:06 AM
Last Post: sheldonison
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 11,474 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Taylor series of cheta Xorter 13 11,999 08/28/2016, 08:52 PM
Last Post: sheldonison
  2 real fixpoints again ....... tommy1729 10 8,757 02/23/2016, 10:17 PM
Last Post: tommy1729
  Should tetration be a multivalued function? marraco 17 15,998 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 3,471 01/10/2016, 06:14 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)