Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
the inconsistency depending on fixpoint-selection
#1
Hi -

this concerns the remark of Henryk in the "Bummer"-thread.

Short review, paraphrasing Henryk:
According to D.Asimov in the 90ties the results of tetration, when expressed as powerseries-function, are dependent on the used fixpoint; for instance for base b=sqrt(2) the results for fractional iteration using the fixpoints t_1=2 and t_2=4 , where b=t^(1/t) , are different. This difference may have been overseen because it is small, of order of about 1e-24.


I assume this is a very important problem; and seems difficult to be shown by computation (at least using truncated powerseries of about few dozen terms)

Anyway, in the last days I tried to get a better grip of the problem - please share your thoughts, whether this may be a fruitful approach or whether it will likely be useless, leading nowhere...

-----------------------------------------------------------

I turn the view from determining fixpoint t from base b into that of determining base b from a selection of a fixpoint t, moreover, from a uniquely selected complex parameter u, then its expoential t and then to the base b.

This makes first
* select a complex u
* define t =exp(u)
* define b = exp(u/t) = exp(u/exp(u))

with the required consequence, that ...^b^b^b^t = b^b^b^t = b^b^t = b^t = t

Now we may also change our wording: not to say, t is a fixpoint of b, but "b is a N_eutral E_lement for t (=exp(u)) under operation of T_etration " (Use "N E T" for short).

In multiplication, for each parameter t there is one neutral element, b=1, which is the same for all t: ...*b*b*t = b*b*t = b*t = t (and b can be seen as b=t*1/t, where in tetration we have b=t^(1/t) - but, well, that's numerology so far, without obvious further use)

Also we know, that,
1) different from the operation of multiplication, each t has an individual NET b,

and also
2) different t may have the same b.

This requires more notation. Since


we should use one index u, thus write b_u; and since moreover the exp(x)-function assumes the same value for different x with x_k = x + k*2 Pi i we should fully index the NET's as



or, since all t_k=exp(u_0 + k*2 Pi i) are equal, we may write



One property is immediately obvious:
if t is rational (or, u_0 is the principal log of a rational), considering different k_j = {k_1,k_2,k_3,...}

* if k_j/t is integer, we have periodicity for different k_1,k_2,...


resulting in the same NET for all u_k_j

Thus: while the map u->exp(u) gives a graph, which is periodic for u0 + k*2 Pi i , the map of u-> b = exp(u*exp(-u)) is not periodic, except if u is the log of a rational number t.

I've drawn such graphs for these mappings, and the latter (u->b) gives a more smooth image than that of t->b, which we see more often in tetration-discussion (however my graphing-capabilities are poor due to lack of a powerful commercial CAS)

Also, we are in a posiion, that for the tetrationfunction T_b°h(x), rewritten as

T_u_k°h(x) = exp(u_k/t *x) (for h=1)

we have the whole complex plane as domain for u_k, (since the denominator in exp(u_k/exp(u_k)) cannot be zero). Then we have as the domain for b the whole complex plane, punctured at the origin by the very initial functional definition (and don't need consider b=0 other than a limit, for instance).

I don't know, whether this change of focus does help in any way to proceed deeper into the inconsistency-problem; I've no convincing benefit of it so far.

---------------------------------------------------------------

Another current approach of mine to find any idea about this is to (re-) consider the powerseries of



first. This is relatively simple, the first terms look like

Cool " align="middle" />

The associated matrix-operator is an infinite square-array; the top left looks like



The entries in the 2'nd column are the coefficients of the powerseries for f_0(u).

Since f_0(0)=/=0, we cannot easily iterate that operator, or invert it to get a powerseries for the inverse function


But M0 is decomposable into two triangular matrices. Let the above operator be called M0, then
Code:
.
     M0 = M * P~
where P~ is the upper-triangular pascal-matrix and then M is triangular.

From the construction of M0 it is, in matrix-notation, formally:
Code:
.
     V(u)~ * M0 = V(b)~
(omitting considerations of convergence here).

But since P~ performs just a shift by one unit for the involved powerseries, we can write
Code:
.
      V(u)~ * M0 = V(b)~
      V(u)~ * M * P~  = V(b)~
      V(u)~ * M  = V(b)~ * P^-1 ~
      V(u)~ * M  = V(b-1)~

M begins with



and the second column of M provides now the coefficient for the function

Cool
" align="middle" />

Also, M is triangular and thus invertible, and the reciprocal provides the inverse operation for the powerseries.

Its reciprocal's top left edge looks like


giving the coefficients for the inverse function of f(u)=b-1 by
Code:
.
  V(u) ~ * M = V(b-1)~
  V(u) ~     = V(b-1)~ * M^-1

resulting in

Cool
" align="middle" />
and then


This powerseries allows principally to compute u0 from given b by evaluating g(b-1).
Since this is in principle a variant of the h()-function I tried to relate the coefficients to that of the h(), but did not succeed yet.

Also it may be of little use, since its radius of convergence allows the usual small range of 1/e^e < b < e^(1/e) only and also converges slowly if b deviates from 1.
(On the other hand, it contains my birthday at its 4'th term, so it's at least a function with a personal flair...Big Grin)

---------------------

So, I've nothing breathtaking new here; it's just to try to find any useful path to the encirculation and possibly resolution of the "bummer"-problem.

Gottfried
Gottfried Helms, Kassel
Reply


Messages In This Thread
the inconsistency depending on fixpoint-selection - by Gottfried - 02/07/2008, 03:06 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Iteration exercises: f(x)=x^2 - 0.5 ; Fixpoint-irritation... Gottfried 23 27,677 10/20/2017, 08:32 PM
Last Post: Gottfried
  (Again) fixpoint outside Period tommy1729 2 2,102 02/05/2017, 09:42 AM
Last Post: tommy1729
  Polygon cyclic fixpoint conjecture tommy1729 1 1,968 05/18/2016, 12:26 PM
Last Post: tommy1729
  The " outside " fixpoint ? tommy1729 0 1,354 03/18/2016, 01:16 PM
Last Post: tommy1729
  2 fixpoint pairs [2015] tommy1729 0 1,618 02/18/2015, 11:29 PM
Last Post: tommy1729
  [2014] The secondary fixpoint issue. tommy1729 2 3,310 06/15/2014, 08:17 PM
Last Post: tommy1729
  Simple method for half iterate NOT based on a fixpoint. tommy1729 2 3,071 04/30/2013, 09:33 PM
Last Post: tommy1729
  2 fixpoint failure tommy1729 1 2,673 11/13/2010, 12:25 AM
Last Post: tommy1729
  abs f ' (fixpoint) = 0 tommy1729 2 4,363 09/09/2010, 10:13 PM
Last Post: tommy1729
  [Regular tetration] [Iteration series] norming fixpoint-dependencies Gottfried 11 12,545 08/31/2010, 11:55 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)