Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
U-tetration or "decremented exponential iteration"
#1
Hi -

concerning the iteration of the function f(x)=exp(x)-1 I came across the remark of Erdös & Jabotinsky, that due to I.N.Baker a fractional version f°h(x) would not exist. This was stumbling me, since I just had computed lots of nice values for those iterates... In the refered article Baker actually proves that only integer iterates have positive radius of convergence.
Well - phew - with this I can live better than with the Erdös/Jabotinsky-statement.

I've just uploaded some tables, which may illustrate the problem as stated by Baker and give some more specific insight.
No big affair, again, but may be leading into deeper consideration.
see http://go.helms-net.de/math/tetdocs/html...ration.htm

[update]
Compare also my earlier article with a consideration for the half-iterate at http://go.helms-net.de/math/tetdocs/Coef...ration.htm
[/update]

Gottfried

P.s. The article of Baker is online at digicenter university of göttingen.
Gottfried Helms, Kassel
Reply
#2
Yes, there are other posts about this, because it is common to slip on this aspect. I think Henryk said it best in this post particularly. I think I have seen something similar in tetration itself as opposed to iter-dec-exp, but I'm not sure how to phrase it.

I first saw it when I was following Galidakis' research with his Puiseux series expansions about log(b). Galidakis uses series about the base b, whereas natural iteration uses series expansions about the iterator t in . With the linear approximation to tetration, as well as higher approximations, the table that Galidakis gives for the Puiseux series expansions of will give a discontinuity when the number of times you are differentiating is equal to t. In other words, the function:
is continuous and differentiable for all . This can only be seen if you already have a continuous extension of tetration to non-integer heights, if not, then its just a bunch of points. This has been bothering me for quite some time now, but I think it may be related to the iterability of . Since tetration and are topologically conjugate, this may help explain this as well...

Andrew Robbins
Reply
#3
andydude Wrote:Yes, there are other posts about this, because it is common to slip on this aspect. I think Henryk said it best in this post particularly. I think I have seen something similar in tetration itself as opposed to iter-dec-exp, but I'm not sure how to phrase it.

I first saw it when I was following Galidakis' research with his Puiseux series expansions about log(b). Galidakis uses series about the base b, whereas natural iteration uses series expansions about the iterator t in . With the linear approximation to tetration, as well as higher approximations, the table that Galidakis gives for the Puiseux series expansions of will give a discontinuity when the number of times you are differentiating is equal to t. In other words, the function:
is continuous and differentiable for all . This can only be seen if you already have a continuous extension of tetration to non-integer heights, if not, then its just a bunch of points. This has been bothering me for quite some time now, but I think it may be related to the iterability of . Since tetration and are topologically conjugate, this may help explain this as well...

Andrew Robbins

Indeed - I missed that thread (I was some days outside and had no internet access. Also the discussion took place in August, and that was the time, when I was completely absorbed by my Eigensystem-analyses) But now I remember I've read in this thread (and even wrote one reply to Jay... )

Great resource, our forum!

I see two approaches to construct powerseries for iterates f°h(x) of f(x) = b^x-1 , (setting u=log(b))

1) determine the coefficients as polynomials in h (recursive insertion of the basic powerseries of f(x) for x, expand & collect terms, then interpolation, or matrix-logarithm) if u=1, so that we have
f°h(x) = g(x,h)

2) determine the coefficients as polynomials in u^h via eigensystem-decomposition, if u<>1

The question was open, what *is* the rate of growth of coefficients; I've possibly an answer now by the symbolic eigensystem-analyis.

If the powerseries in x is expressed according to 1) we have polynomials in h, like( a_k h^k + b_k h^(k-1) + ... + j_k) * x^k dominated by some a_k * h^k where k is the power of x and also the (numerical) coefficients a_k increase - again with unknown rate.

If it is expressed according to 2) I get, that the coefficients at the powers of x grow with ~ where again k is the power of x and u^kh is the highest power of u in the coefficient, where also the A_k are growing, but far less than the a_k in the method 1)

Since eigensystem-analysis is impossible, if b=exp(1) and u=log(b)=1 because of singularities by the vanishing denominators this can only be useful in the view of approximation.

Anyway - I don't have much more at the moment; I'll try to describe the 2)-terms soon.

Gottfried
Gottfried Helms, Kassel
Reply
#4
Gottfried Wrote:1) determine the coefficients as polynomials in h ...
2) determine the coefficients as polynomials in u^h ...

Yes, these two approaches have names for them as well. Daniel Geisler calls them:
  1. parabolic iteration and
  2. hyperbolic iteration (which I never made a post about).
Just wanted to hyper-link these posts Smile

Andrew Robbins
Reply
#5
andydude Wrote:Just wanted to hyper-link these posts Smile

Smile

<G>
Gottfried Helms, Kassel
Reply
#6
I remember posting graphs of the root test of in this thread, but now I wonder if it is any different for other bases. For example, I wonder if the root test is any different for which should be representative of all bases between 1 and e.

Andrew Robbins
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Math overflow question on fractional exponential iterations sheldonison 4 3,407 04/01/2018, 03:09 AM
Last Post: JmsNxn
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 1,527 12/26/2016, 03:01 AM
Last Post: tommy1729
  An exponential "times" table MikeSmith 0 1,762 01/31/2014, 08:05 PM
Last Post: MikeSmith
  exponential baby Mandelbrots? sheldonison 0 1,974 05/08/2012, 06:59 PM
Last Post: sheldonison
  exponential distributivity bo198214 4 6,340 09/22/2011, 03:27 PM
Last Post: JmsNxn
  Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 2,774 09/04/2011, 05:59 AM
Last Post: Gottfried
  Base 'Enigma' iterative exponential, tetrational and pentational Cherrina_Pixie 4 9,451 07/02/2011, 07:13 AM
Last Post: bo198214
  Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 10 16,054 06/09/2011, 05:56 AM
Last Post: bo198214
  Two exponential integrals Augustrush 2 4,224 11/10/2010, 06:44 PM
Last Post: Augustrush
  [Regular tetration] [Iteration series] norming fixpoint-dependencies Gottfried 11 13,026 08/31/2010, 11:55 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)