Posts: 1,375
Threads: 90
Joined: Aug 2007
Ya perhaps that line of thought will not contribute to our topic.
My concern was about the difference of points just somehow converging to the real axis, compared with that they indeed come close to every single point of the real axis.
But this seems to be true.
To properly verify this we need to show that for each and for every there exist natural numbers and such that .
However did we silently switch from base change ( ) to the base change ( )?
I think we are more interested in the first one!
Posts: 440
Threads: 31
Joined: Aug 2007
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/17/2009, 02:40 PM
(This post was last modified: 08/17/2009, 03:08 PM by bo198214.)
(08/17/2009, 12:07 PM)jaydfox Wrote: In theory, most of the principles should be the same. The trivial singularities would be at all branched locations of log^[n2](1) instead of of log^[n2](1), if I'm thinking this through correctly (which I might not be, it's 4 AM here and I just got up to give someone a lift to the airport).
We can use my formula above (which presents the by without branching induced singularities)
and apply it to and .
As is a fixed point of we get and have the singularities
while the opposite base conversion has the by Jay determined singularities .
Here we have the interesting case that the singularities should converge to with increasing , i.e. a real instead of a nonreal fixed point. I am however not sure about the behaviour for increasing and hope Jay makes some illustrating pictures
Posts: 608
Threads: 22
Joined: Oct 2008
08/17/2009, 04:01 PM
(This post was last modified: 08/17/2009, 04:29 PM by sheldonison.)
(08/17/2009, 12:07 PM)jaydfox Wrote: (08/17/2009, 08:50 AM)bo198214 Wrote: However did we silently switch from base change () to the base change ()?
I think we are more interested in the first one! Well, they are both important, as singularities in either will be an issue, but I suppose that the change from base eta back to base e should be my more immediate concern.
In theory, most of the principles should be the same. The trivial singularities would be at all branched locations of log^[n2](1) instead of of log^[n2](1), if I'm thinking this through correctly (which I might not be, it's 4 AM here and I just got up to give someone a lift to the airport). My next question is, how large does k have to get before we encounter singularities? After a very hectic week at work, I'm having an equally hectic time out of town on vacation, and perhaps missed out on a lot of the fun. And still, I don't have time to do this problem proper diligence.
Jay, you confused me converting between base e to eta, instead of eta to e. I agree that the principles are the same, and the singularities seem to be fatal. Also, base eta can be represented as iterated exp(z1), which is another potential source of confusion. I wanted to step back to the base conversion equation, in the strip where varies from 4.38 to 5.02, which would correspond more or less to sexp_e=0 to 1. The hope was to extend such a strip to the complex plane. I wanted to share a few observations about the singularities in this strip, where z = . Here f(z)=1, which corresponds to sexp_e(0).
As a simplification, we look at this equation, between z=4.38 and z=5.02
I was interested in how large k had to get before we encounter singularities. In this scenario, we first need to find the smallest value of k such that f(z)=e. and ln(ln(ln(e)))=singularity. In this strip, does f(z) for k<=4 reach a value of exactly e or exactly 1? I found some singularities for k=5.
I'm enjoying all the posts; you guys seem to be close to showing the base conversion equation has zero radius of convergence. I don't have enought time while on vacation though.....
 Shel
Posts: 1,375
Threads: 90
Joined: Aug 2007
(08/17/2009, 04:01 PM)sheldonison Wrote: you guys seem to be close to showing the base conversion equation has zero radius of convergence.
Ya thats really something: an everywhere infinitely differentiable but nowhere analytic real function!
PS: unfortunately sagenb is again down and it takes a day until I compiled sage on my home computer (binary does not work due to sse2), so please be patient to get your questions answered.
Posts: 440
Threads: 31
Joined: Aug 2007
(08/17/2009, 04:01 PM)sheldonison Wrote: I wanted to step back to the base conversion equation, in the strip where varies from 4.38 to 5.02, which would correspond more or less to sexp_e=0 to 1. The hope was to extend such a strip to the complex plane. I wanted to share a few observations about the singularities in this strip, where z = . Here f(z)=1, which corresponds to sexp_e(0). Just a quick observation, to make sure we are speaking of the same thing. When converting from base eta to base e, I find that 5.0179 goes to 0, not 1, and which corresponds with sexp(1), not sexp(0).
I get confused sometimes when I work with exp(z)1 instead of actually working with the iterations of eta^z, and sometimes I forget to switch properly between the two. Perhaps you are making the same mistake? A quick sanity check in SAGE is:
Code: eta = RR(e**(1/e));
print log(log(log(log(log(eta**(eta**(eta**(eta**(eta**5.0179)))))))));
You should get something like 0.000053416. I try to remember that 5.0179 goes to 0, and 6.3344 goes to 1, and then always double check my results inside my iterating functions. If not, it's usually because I am still working in a logarithmic or double logarithmic system.
It's a moot point, for the most part, because it's a trivial shift in the sexp function, but I wanted to make sure it got caught early before you start getting results that don't match mine, and we can't figure out why!
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 2007
(08/17/2009, 04:01 PM)sheldonison Wrote: Jay, you confused me converting between base e to eta, instead of eta to e. I agree that the principles are the same, and the singularities seem to be fatal. Sorry, in thinking back, I think I started with going from e to eta, because it seemed that we needed to be able to get both ways, and at heart we start by going from base e to eta, then using cheta, then going back to base e.
At any rate, there is value in both, which is easy to summarize: in order to graph contour lines for the conversion from eta to e, it is easier to look simply at the conversion from e to eta. This is, for example, the easiest way to graph contour lines for ln(z): just draw lines with exp(z), using constant real or imaginary parts as needed.
Likewise, working with the conversion from eta to e would be a simple and effective way to draw contour lines in the reverse conversion, from e to eta. Since I'm still working on graphs, and I need both directions anyway, it made sense to start with going from e to eta.
~ Jay Daniel Fox
Posts: 608
Threads: 22
Joined: Oct 2008
(08/17/2009, 05:26 PM)jaydfox Wrote: (08/17/2009, 04:01 PM)sheldonison Wrote: I wanted to step back to the base conversion equation, in the strip where varies from 4.38 to 5.02, which would correspond more or less to sexp_e=0 to 1. The hope was to extend such a strip to the complex plane. I wanted to share a few observations about the singularities in this strip, where z = . Here f(z)=1, which corresponds to sexp_e(0). Just a quick observation, to make sure we are speaking of the same thing. When converting from base eta to base e, I find that 5.0179 goes to 0, not 1, and which corresponds with sexp(1), not sexp(0).
I get confused sometimes when I work with exp(z)1 instead of actually working with the iterations of eta^z, and sometimes I forget to switch properly between the two. Perhaps you are making the same mistake? A quick sanity check in SAGE is:
Code: eta = RR(e**(1/e));
print log(log(log(log(log(eta**(eta**(eta**(eta**(eta**5.0179)))))))));
You should get something like 0.000053416. I try to remember that 5.0179 goes to 0, and 6.3344 goes to 1, and then always double check my results inside my iterating functions. If not, it's usually because I am still working in a logarithmic or double logarithmic system.
It's a moot point, for the most part, because it's a trivial shift in the sexp function, but I wanted to make sure it got caught early before you start getting results that don't match mine, and we can't figure out why! Yes, 5.0179 goes to zero, my mistake, and the strip of interest is 5.0179 to 6.3344. I'm trying to formulating a theory that the singularities go along with a change in the windings, where the windings suddenly increment, so it wouldn't be possible to smooth out the singularity. It seems that the graphs are smooth if a real zero crossing corresponds to an imaginary maximal with a phase of 2*(n+1)*e*pi, then the graph will be smooth, whereas if it corresponds to an imaginary maximum with a phase of 2*n*e*pi, then there will be a singularity nearby. So far I haven't gotten to demonstrating this with the real cheta function, or with the critical strip. I'm on vacation, plus my brain operates slowly when contemplating cheta and base conversions....
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/18/2009, 08:47 AM
(This post was last modified: 08/18/2009, 01:33 PM by bo198214.)
Just want to clarify the relation between the decremented exponential and with respect to base change by giving the formula. We know that they are affine conjugates:
where .
We also have thatswhy:
So this is the relation
where .
Update: This formula can be generalized to a base change from to , i.e. from a base to one of its fixed points:
where and .
Posts: 1,375
Threads: 90
Joined: Aug 2007
08/18/2009, 06:51 PM
(This post was last modified: 08/18/2009, 07:04 PM by bo198214.)
(08/17/2009, 04:01 PM)sheldonison Wrote: My next question is, how large does k have to get before we encounter singularities?
...
As a simplification, we look at this equation, between z=4.38 and z=5.02
For singularities are already there (but I use for the iteration count). The formula of the kth singularity of is:
(08/17/2009, 02:40 PM)bo198214 Wrote:
We see that the original singularities of are situated on a vertical line through e. Thatswhy instead of depicting each single singularity I show the deformation of this line under repeated .
The picture shows from top to bottom 1 till 5 applications of to this vertical line. This corresponds to n=4 till n=8. The vertical line goes from k=0 to k=5, i.e. there are the first 6 singularities of on each of these lines.
If one mentally prolonges these lines to the right it appears to be clear that the singularities converge to the real axis. More precisely it appears that
every point on the real line in the domain of definition of the base change has in each neighborhood a singularity of for some .
