Extension of tetration to other branches
#11
(10/25/2009, 09:22 PM)bo198214 Wrote:
(10/25/2009, 08:47 PM)mike3 Wrote: So an infinite path might be one way of imagining it, or the limit of infinitely many finite paths.

Ya, but there are no infinite paths. Only little before I discussed that in this post. If you want to come to a branch value you need a path between two points (or a closed path). And a path between two points or a closed path can not be infinite, can it?

So then it would be better to imagine it as a limiting value approached by an infinitely long sequence of results of of finite paths. Every value of \( \tet_b(z) \), can be indexed by a finite sequence \( [s_0, s_1, ..., s_k] \) of integers relative to some principal branch, which I call a "branch code". This is what gets plugged into the limit formula I gave. This sequence means that to get to some non-principal value for a given \( z \), you start at the principal branch, wind \( s_0 \) times (positive = counterclockwise, negative = clockwise) around \( z = -2 \), then wind \( s_1 \) times around \( z = -3 \), then wind \( s_2 \) times around \( z = -4 \), then wind \( s_3 \) times around \( z = -5 \), and so on until you have wound \( s_k \) times around \( z = -2 - k \), and then finally come back to (not winding around any more singularities!) the value \( z \) that you wanted to evaluate at. However, we can also assign a sort of value to an infinitely long branch code \( [s_0, s_1, s_2, s_3, s_4, ...] \) by considering the \( limit \) of the branches obtained with the finite partial branch codes \( [s_0] \), \( [s_0, s_1] \), \( [s_0, s_1, s_2] \), \( [s_0, s_1, s_2, s_3] \), \( [s_0, s_1, s_2, s_3, s_4] \), and so on. Note that this is not a value of \( \mathrm{tet}_b(z) \) as an analytic multivalued function because, as you say, no finite path (hence none that ends at the point "z" we are evaluating at) gets you there.

That such limit values exist makes me wonder what the structure of the Riemann surface must look like.
#12
(10/25/2009, 10:56 PM)mike3 Wrote: That such limit values exist makes me wonder what the structure of the Riemann surface must look like.

*nods* there seem to be a lot of accumulation points in the branches of one point. Very unlike log which has none.
So do you make a picture? Wink
#13
(10/26/2009, 04:28 AM)bo198214 Wrote:
(10/25/2009, 10:56 PM)mike3 Wrote: That such limit values exist makes me wonder what the structure of the Riemann surface must look like.

*nods* there seem to be a lot of accumulation points in the branches of one point. Very unlike log which has none.
So do you make a picture? Wink

As mentioned, I do not have software that is capable of graphing a multilayered 3d sheet graph.

Would just a graph on the real axis be good? i.e. many branches plotted on the same real-axis graph?
#14
(10/26/2009, 04:41 AM)mike3 Wrote: Would just a graph on the real axis be good? i.e. many branches plotted on the same real-axis graph?

Give it a try.
I mean those multilayered pictures are anyway not really helpful as they only show imaginary or real part or the modulus. You wouldnt see accumulation points on those pictures.
#15
(10/26/2009, 05:07 PM)bo198214 Wrote: Give it a try.
I mean those multilayered pictures are anyway not really helpful as they only show imaginary or real part or the modulus. You wouldnt see accumulation points on those pictures.

Because the points (actually "sheets" as they're not just isolated points) are complex numbers, and so it needs to accumulate in both?
#16
(10/27/2009, 08:59 PM)mike3 Wrote: Because the points (actually "sheets" as they're not just isolated points) are complex numbers, and so it needs to accumulate in both?

You mean in the real and imaginary part? Of course.
The sequence of branches of the real axis (drawn in the complex plane) should converge to a point. Perhaps every point of the complex is then the limit point of some branch sequence.


Possibly Related Threads…
Thread Author Replies Views Last Post
  possible tetration extension part 1 Shanghai46 6 2,332 10/31/2022, 09:45 AM
Last Post: Catullus
  possible tetration extension part 3 Shanghai46 11 4,025 10/28/2022, 07:11 PM
Last Post: bo198214
  possible tetration extension part 2 Shanghai46 8 2,597 10/18/2022, 09:14 AM
Last Post: Daniel
  Qs on extension of continuous iterations from analytic functs to non-analytic Leo.W 18 6,647 09/18/2022, 09:37 PM
Last Post: tommy1729
  On extension to "other" iteration roots Leo.W 34 12,075 08/30/2022, 03:29 AM
Last Post: JmsNxn
  Tetration extension for bases between 1 and eta dantheman163 23 43,982 07/05/2022, 04:10 PM
Last Post: Leo.W
  Non-trivial extension of max(n,1)-1 to the reals and its iteration. MphLee 9 11,631 06/15/2022, 10:59 PM
Last Post: MphLee
  Ueda - Extension of tetration to real and complex heights MphLee 4 3,146 05/08/2022, 11:48 PM
Last Post: JmsNxn
  Possible continuous extension of tetration to the reals Dasedes 0 3,770 10/10/2016, 04:57 AM
Last Post: Dasedes
  Andrew Robbins' Tetration Extension bo198214 32 89,395 08/22/2016, 04:19 PM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)