• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Observations on branching and integer iterates jaydfox Long Time Fellow Posts: 441 Threads: 31 Joined: Aug 2007 11/22/2007, 11:35 PM To remove any tetration-specific issues from discussion for a moment, let's consider a function $m_z(f(z))=zf(z)$, with second iterate $m_z(m_z(f(z))) = {z^2}f(z)$, and generally, $m_z^{\circ t}(f)={z^t}f(z)$. Well, the integer iterates are very well-defined. But what about the fractional iterates? For starters, the rational iterators have a finite number of branches. Sure, for real z>0, there is a well-defined "principal branch", but when taking z to be complex, we must admit that the branches prevent us from having unique solutions. Not so with the integer iterates, however. No branching. Or from another perspective, an infinite number of branches that are all identical, giving the appearance that there are no branches. From either perspective, there are effecitvely no branches. Getting back to the non-integer iterates, we find a finite number of branches for rational iterates, and an infinite number of branches for irrational iterates. I bring this up, because it helps put into perspective something that I had felt uneasy about with the fractional iterates of e^x. As I look more and more at the slog, it seems to heavily favor integer iterates, in many different ways. Yet exponentiation doesn't seem to favor integer iterates of multiplication any more than non-integer iterates, so I had hoped that tetration would not favor integer iterates of exponenitation. But when viewing the base of multiplication as a variable, it becomes clear that exponentiation does favor integer iterates. And it thus comes as less of a surprise that tetration should favor integer iterates, in certain basic contexts. Another observation: there are singularities in the slog that appear in only certain branches. This seemed bizarre to me at first, and even after I got used to it, it still seemed hard to relate to other basic functions. But I found a simple way to generate this same effect, useful for studying how unseen singularities can be predicted, even when they lie within the radius of convergence in a different branch. Take the following multi-valued function: $F(z) = \frac{1}{\sqrt{z}+2}$ When z = 4, the denominator goes to 0, but only in the non-principal branch. You see, at z=4, the principle branch gives us: $ \begin{eqnarray} F(4) & = & \frac{1}{\sqrt{4}+2} \\ & = & \frac{1}{2+2} \\ & = & \frac{1}{4} \end{eqnarray}$ However, in the second branch, we get sqrt(4) = -2, which then gives us a singularity. If you develop the power series at z=4 in the principal branch, you'll see the radius of convergence limited by the singularity at z=0. You can then use analytic continuation to verify that there is indeed a singularity at z=4 in the second branch. The question I have is, can we use a similar technique (constructing a singularity in a non-principal branch) to build the slog from basic functions such as logarithms, exponentiations, etc., without resorting to "cheats" such as Taylor series or Laurent series or Fourier series? ~ Jay Daniel Fox bo198214 Administrator Posts: 1,384 Threads: 90 Joined: Aug 2007 11/23/2007, 08:31 AM jaydfox Wrote:The question I have is, can we use a similar technique (constructing a singularity in a non-principal branch) to build the slog from basic functions such as logarithms, exponentiations,This would be the strangest thing Id ever seen. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Where is the proof of a generalized integral for integer heights? Chenjesu 2 407 03/03/2019, 08:55 AM Last Post: Chenjesu Tetration series for integer exponent. Can you find the pattern? marraco 20 14,100 02/21/2016, 03:27 PM Last Post: marraco Lit: f(x)=log(x) iff x is integer Gottfried 3 4,255 03/17/2015, 11:35 PM Last Post: tommy1729 Tommy's conjecture : every positive integer is the sum of at most 8 pentatope numbers tommy1729 0 1,852 08/17/2014, 09:01 PM Last Post: tommy1729 Further observations on fractional calc solution to tetration JmsNxn 13 12,282 06/05/2014, 08:54 PM Last Post: tommy1729 half-iterates of x^2-x+1 Balarka Sen 2 3,689 04/30/2013, 01:14 AM Last Post: tommy1729 Integer tetration and convergence speed rules marcokrt 5 6,532 12/21/2011, 06:21 PM Last Post: marcokrt fractional iterates of arg(z) and |z| JmsNxn 2 3,673 04/05/2011, 07:51 PM Last Post: JmsNxn 2 [n] b and 3 [n] b for (large) integer n, b dyitto 2 3,449 03/12/2011, 10:52 PM Last Post: dyitto Continuum sums -- a big problem and some interesting observations mike3 17 17,059 10/12/2010, 10:41 AM Last Post: Ansus

Users browsing this thread: 1 Guest(s)