Posts: 1,375
Threads: 90
Joined: Aug 2007
Actually I am somewhat confused about the continuation of
for some from the real axis to the complex plane (via the method described by Jay some posts ago, i.e. considering a/the path from a point on the real axis to , looking at its image under and determine the value of the subsequently following logarithms by their continuation along the image of that path).
Has anyone a clear view to which points can be continued, is it even entire?
Posts: 608
Threads: 22
Joined: Oct 2008
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/13/2009, 07:17 AM
(This post was last modified: 08/13/2009, 07:19 AM by bo198214.)
(08/13/2009, 12:49 AM)sheldonison Wrote: Perhaps f will even converge as n increases to infinity, just as the function converges on the real number line....
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 nonreal 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.
Posts: 608
Threads: 22
Joined: Oct 2008
08/13/2009, 06:48 PM
(This post was last modified: 08/13/2009, 07:37 PM by sheldonison.)
(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 nonreal 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.
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
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/14/2009, 09:58 AM
(This post was last modified: 08/14/2009, 10:27 AM by bo198214.)
Now I realized that has a lot of singularities except for where it is a linear function.
A singularity can only occur if the logarithm of 0 is taken.
For no singularity occurs because is not in the image of . And we can simplify it to:
Because iff the only singularity can occur when which is again not possible. So will also not have any singularities. It can indeed be written as a affine function.
For
we determine the zeros of :
So whenever , then there is a singularity of , this is for:
, .
Thatswhy has a singularity at each .
Particularly at which restricts the domain of definition of to .
Let us generalize this some more.
Let now and .
has singularities exactly if for some . As we assume that we take the real logarithm of real numbers (otherwise singularities could be avoided by choosing nonreal branches).
In other words has singularities at .
These values are reached by at
where .
However does not need to have singularities at all of these values, as some may take a different branch instead of returning 0 (or one of ) if the argument of was nonreal.
So if we always take the primary logarithm we obtain a possible set of singularities which lies inside the set . As the primary logarithm maps bijectively to we conclude that is bijective on . More importantly any path to from in the upper halfplane will be mapped to in the upper halfplane, i.e. it will not wind around 0.
Hence by our construction we must take the primary logarithm of the point , . But the primary logarithm lies again in the upper halfplane and so on, that means we must always take the primary logarithm of , .
Particularly this is true singular choices of , they *must* yield singularities can not escape to some other branch. Hence
Proposition. Every element of the set is a singularity of (which is defined via pathcontinuation).
Where we consider to be the primary branch.
(0 and 1 are excluded because they have no logarithm for .)
These singularities are not isolated but they are branch points.
So depending how the path to a point winds around these singularites we get different results of the .
So we have to restrict ourselves to a simply connected neighborhood of the real axis where no singularities exist, there we have a unique continuation.
The interesting question is now how these singularities are distributed in the limit case.
Do some singularities converge to the real axis?
Posts: 440
Threads: 31
Joined: Aug 2007
08/14/2009, 04:50 PM
(This post was last modified: 08/14/2009, 04:52 PM by jaydfox.)
(08/14/2009, 09:58 AM)bo198214 Wrote: Now I realized that has a lot of singularities except for where it is a linear function. But Bo, these zeroes are a trivial result of the "change of base" concept.
If, starting with the number 1, we perform a change of base operation, from base e to base eta, we get a real number, approximately 6.3344. If we instead start with 0 in base e, we get approximately 5.0179. This is not surprising, as 5.0179 is log_eta(6.3344).
Well, log_eta(5.0179) is approximately 4.3846. Thus, changing base from eta back to base e, we should expect 6.3344 to be 1, 5.0179 to be log_e(1), which is 0, and 4.3846 to be log(log(1)), which is (drum roll please) negative infinity.
What is not as trivial to determine is where the "other" singularities are, if in fact there are any. I assume there are other singularities, but I am so far not having the best of luck in finding them.
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 2007
08/14/2009, 04:58 PM
(This post was last modified: 08/14/2009, 06:28 PM by jaydfox.)
(08/14/2009, 04:50 PM)jaydfox Wrote: (08/14/2009, 09:58 AM)bo198214 Wrote: Now I realized that has a lot of singularities except for where it is a linear function. But Bo, these zeroes are a trivial result of the "change of base" concept.
If, starting with the number 1, we perform a change of base operation, from base e to base eta, we get a real number, approximately 6.3344. If we instead start with 0 in base e, we get approximately 5.0179. This is not surprising, as 5.0179 is log_eta(6.3344).
Well, log_eta(5.0179) is approximately 4.3846. Thus, changing base from eta back to base e, we should expect 6.3344 to be 1, 5.0179 to be log_e(1), which is 0, and 4.3846 to be log(log(1)), which is (drum roll please) negative infinity.
What is not as trivial to determine is where the "other" singularities are, if in fact there are any. I assume there are other singularities, but I am so far not having the best of luck in finding them. By the way, it occurs to me that for converting from base eta to base e (or any other base, I suppose), we must pick a starting point on the real line, which is either above the fixed point at e, or below it. These two approaches will give different results (for if they didn't, then regular iteration above or below would be equivalent, and we know that it is not).
So bear in mind that I'm speaking from the point of view of starting above the fixed point, e.g., at about 5.0179, which would get us back to 0 in base e.
Edit/Update: Sorry, Henryk, I reread your post and realized that you had in fact specified that you were starting with a real value greater than e for n=3, and larger values as necessary for larger n.
~ Jay Daniel Fox
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/14/2009, 07:04 PM
(This post was last modified: 08/14/2009, 08:16 PM by bo198214.)
(08/14/2009, 04:50 PM)jaydfox Wrote: But Bo, these zeroes are a trivial result of the "change of base" concept.
Well if you only look at the case , ; it may be trivial (though singularities not zeros) because everything stays on the real axis.
However I was considering general real bases and and the possibly nonreal singularities in the region .
As you say yourself its difficult to determine whether the nonreal possible singularities (which I completely specified) indeed exist or cancel out by appropriate choices of the logarithm. I showed that indeed has complex singularities that dont cancel out. And also that there are complex singularities for other bases that dont cancel out.
The example of shows also that your suggested pathcontinuation does not work. If you have branch points then different paths to the same point may result in different values of . To keep it continuous you have to specify cuts.
Posts: 440
Threads: 31
Joined: Aug 2007
08/15/2009, 12:54 AM
(This post was last modified: 08/15/2009, 12:57 AM by jaydfox.)
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 nonzero 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 welldefined for real numbers, when it would seem to be undefined for nonreal numbers.
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 2007
08/15/2009, 05:00 PM
(This post was last modified: 08/15/2009, 05:02 PM by jaydfox.)
(08/15/2009, 12:54 AM)jaydfox Wrote: 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. In thinking about it, the singularities are trivial to find. For a=eta, b=e, anywhere that the exp^[n2](x) is equal to 1, we will have a singularity. The double logarithm of the double exponentiation, in the respective bases, will be 0. Regardless of branching, log(0) is always a singularity. And notice that, after getting this logarithmic singularity, we then proceed to take several more iterated logarithms, which would effectively diminish these singularities. As n increases, they would become very "skinny", almost undetectable when numerical precision is taken into account.
Furthermore, if we increase n by 1, then this singularity disappears, because exponentiating 1 gives 1/e, and the double logarithm of the double exponentiation gives e+1. Iterated logarithms in base eta should now resolve properly, avoiding a singularity.
This makes me wonder, then: for any given n, there are singularities near the real line, and as n increases, these singularities get arbitrarily close. On the other hand, there aren't any "fixed" singularities, at least not of this trivial variety. The singularities themselves become more and more "insubstantial", so I'm wondering if perhaps convergence in the complex plane is indeed possible?
~ Jay Daniel Fox
