Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Iterating at fixed points of b^x
#21
Maybe I should -at least to restate my view of things- add the following remark.

In tetration we do not append exponents to a tower, but bases. So the "partial towers" of an infinite tower are, using a start-value x and a base b

(a) x, b^x, b^b^x, ...^ b^b^x

and not
(b) b, b^b, b^b^...

This is crucial, I think.

For (a) we get then, for instance for base b=sqrt(2) the two solutions

x=2 -> lim h->oo {b,x}^^h =2
x=4 -> lim h->oo {b,x}^^h =4

A supporting argument for this view is also, that if x is already a tower of base b, then the heights are additive...

(c.1) {b,x}^^m={b,{b,y}^^n}^^m = {b,y}^^(m+n)
(c.2) {b,x}^^m={b,{b,{b,{b,y}^^n}^^n}^^n}^^n = {b,y}^^(4*n)

and this is then also coherent with complex fixpoints and real bases as a multisolution problem, even for the limit for infinite heights of towers.
This is also, how the matrix-operator-method works, when used for integer-tetration, although, for the finite integer height we may use associativity to change orders of summation and reflect the approach from the opposite direction.

It is possibly a bit better expressed in my operators-treatise.

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

Hmm, to avoid confusion, we should possibly talk of "depth" of a powertower instead of "height" to put the mental focus for the problem at the right side

Gottfried
Gottfried Helms, Kassel
Reply


Messages In This Thread
Iterating at fixed points of b^x - by bo198214 - 09/08/2007, 10:02 AM
The fixed points of e^x - by bo198214 - 09/08/2007, 10:34 AM
The fixed points of b^x - by bo198214 - 09/08/2007, 11:36 AM
RE: Iterating at fixed points of b^x - by jaydfox - 09/12/2007, 06:23 AM
RE: Iterating at fixed points of b^x - by GFR - 10/03/2007, 11:03 PM
RE: Iterating at fixed points of b^x - by Gottfried - 10/04/2007, 06:53 AM
RE: Iterating at fixed points of b^x - by GFR - 01/31/2008, 03:07 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Are tetrations fixed points analytic? JmsNxn 2 2,518 12/14/2016, 08:50 PM
Last Post: JmsNxn
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,362 03/19/2016, 10:44 AM
Last Post: fivexthethird
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 9,026 01/01/2016, 03:58 PM
Last Post: sheldonison
  [MSE] Fixed point and fractional iteration of a map MphLee 0 1,910 01/08/2015, 03:02 PM
Last Post: MphLee
  iterating x + ln(x) starting from 2 tommy1729 2 2,438 04/29/2013, 11:35 PM
Last Post: tommy1729
  tetration from alternative fixed point sheldonison 21 26,304 12/06/2011, 02:43 PM
Last Post: sheldonison
  attracting fixed point lemma sheldonison 4 8,920 06/03/2011, 05:22 PM
Last Post: bo198214
  cyclic points tommy1729 3 4,115 04/07/2011, 07:57 PM
Last Post: JmsNxn
  iterating non-analytic tommy1729 0 1,658 02/08/2011, 01:25 PM
Last Post: tommy1729
  Branch points of superlog mike3 0 2,129 02/03/2010, 11:00 PM
Last Post: mike3



Users browsing this thread: 1 Guest(s)