Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
[UFO] Attracting Fixpoints or attracting line?
(04/09/2010, 08:30 PM)Gottfried Wrote: Hmm, perhaps it is interesting to add some context to that whole idea.

I was playing with two other aspects of iteration of the exponential.

First aspect is the spiraling of the orbit of a complex initial value in the complex plane when repeatedly exponentiated. This suggests, that a polar form of representation of the complex numbers could be more enlightening for the generalization to fractional iterations. And especially, a polar form with a fixpoint as origin.
Indeed this has some charme, even more if one introduces the log-polar-form for a complex number:

where and the arc of the angle.

Then multiplication and division of two values x and y is simply reflected by addition/subtraction of the log-polar components, k'th iterated multiplication (powers) just multiplication of the components by k and exponentiation is and the logarithm results from the inverse of this operation.

Fractional iterates of complex initial numbers look then like a very smooth and even nearly linear interpolation of that lengthes and arcs - but only on first glance: the spiral of the flow is distorted by something which looks a bit like a perihel-effect. It diminuishes (and the flow smoothes) when the fixpoint is approached and extends/chaotizes(?) when the fixpoint is left by iteration.

But leave this here as just another curious observation. More in the focus was the log-polar-representation itself: here the second component (the arc of the angle) exceeds very naturally the interval 0..2*Pi once we introduce iterated addition and multiplication on the log-polar-coefficients and operations back and forth can be meaningfully concatenated without loss of information.

This leads then to the ...
... second aspect, the idea of the introduction of a "winding-number".

Once the idea (and the verbal term) is there, you find related material online; for instance a couple of very good articles of R.M.Corless et al (see below) where they just deal with that winding-number and its possible significance for an extended representation of complex numbers. In the above log-polar-representation we see it nicely that the complex arithmetic via exponentials and logarithms is just somehow modular to modulus 2*Pi (in the arc-parameter) and it is suggestive to introduce a representation for complex numbers and complex algebra which leaves the modular arithmetic behind. It is really nice to see this when playing around a bit. (The observation of "fix-points" vs. "fix-line" as described in this thread was just a detail in the context of exercising in that framework).

However, as also Corless et al discuss in their article: by buying simplicity for multiplication and exponentiation using the log-polar-form we pay with complication for addition. Actually, Corless et al, as I understood them, gave up because of intractability of addition when the winding-number is introduced.

That was also my idea and also I give up here.

We might extend the arc-parameter phi, possibly rescale it to the 2Pi-unit and then allow not only the interval (modulo 1) but the full real line: then a/the "winding-number" is represented by the integer part. But this does not help much: as long as we have no meaningful interpretation of the addition of two log-polarforms, where the winding-number is kept significant such that we can, for instance, invert the operations.
I felt, it would really be a nice toy-project to experiment with this a bit, however... my time (and energy) is somehow more limited than in the previous years.



Corless, R. M., and Jeffrey, D. J.
The unwinding number.
Sigsam Bulletin 30, 2 (June 1996), 28-35.

Editor's Corner: The Unwinding Number

Corless, R. M., and Jeffrey, D. J.
The Wright omega function
Ontario Research Centre for Computer Algebra and the Department of Applied Mathematics
University of Western Ontario, London, Canada
Reference: J. Calmet et al (Eds.): AISC-Calculemus 2002, LNAI 2385, pp. 76-89, 2002, Springer-Verlag

Reasoning about the elementary functions of complex analysis
Corless, R.M., Jeffrey, D.J. and Davenport, J.H.
[can be found online]
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In this paper we outline the “unwinding number” approach to such problems, and show how it can be used to systematise such simplification, even though we have not yet reduced it to a complete algorithm. The unsolved problems are probably more amenable to the techniques of artificial intelligence and theorem proving than the original problem of complex-variable analysis.
Keywords: Elementary functions; Branch cuts; Complex identities.

first i want to try to explain why the sum ( addition ) is a problem.

( simple , no wiles-topology surreals Smile , and that 'simple' is the reason i try it ; to reach a larger audience and better commen understanding )

explaining a problem usually goes in terms of paradoxes.

the product is already understood.

now the sum.

since sums on a plane , or something that looks like a plane - the spiral from above - is done by straight vector sums , we just do the sum similar to complex sums.

lets enumerate the branches with the elements of Z.

and the elements as 'complex numbers on a branch ' => [C,Z]

note we dont use branches for products , but the products do affect wich branch we are getting to.

and lets say 1 = [1,0].

then a sum is now defined as [C1,Z1] + [C2,Z2] = [C1+C2,Z1+Z2]

and many properties similar to complex numbers exist - i think - .

havent tried proving properties such as distributive etc but the reason i didnt is the paradoxes below.

lets assume [0,Z1] = [0,Z2] = 0 , just like the complex 0 has no angle and there is just one "0".

consider the equation : X^2 = [1,-14]

does this still have 2 zero's ??

X^2 - [1,-14] = (X - sqrt[1,-14])(X + sqrt[1,-14])

i believe it fails , and only has one solution ! (think about it )

... with branch -7 clearly ...

now this might be clarified by doing :

suppose there is no single '0' ( only [0,Z] ) then :

X^2 - [1,-14] = 0

but there is no ' single 0 ' !

so x - x =/= 0 and x =/= x ?? [ paradox 1 ]

but remember we assumed a single '0' AND NOTE AT LEAST ONE ( single or multiple '0' ) NEEDS TO BE TRUE AND CONSISTANT ( otherwise -> paradox )

but this single zero fails too :

[1,-7] - [1,0] = [0,-7]

if we do [0,-7] and add [1,0] again we retrieve [1,-7]

BUT if there is only one '0' we have 0 = [0,0] = [0,-7]

and [1,-7] - [1,0] + [1,0] = [0,0] + [1,0] = [1,0]

DIFFERENT RESULT ! [ paradox 2 ]

also note that - [1,0] + [1,0] = 0 apparently does not hold since y + 0 = y.

but if there is only one '0' and x = [1,0] then x - x =/= 0 !! [ paradox 3 ]


so any consistant idea of a sum and a zero at the same time , will not work here with these " spiral numbers " .


but i wouldnt be tommy1729 if i wouldnt try to use the idea anyway !!

i have researched this long ago , so maybe i will regret posting " nonsense " when i remember what i wrote many years ago ... and what i wrote that lead me to drop the idea ...

but whatever :

maybe we can use these " spiral numbers " and consider the " spiral sum " as something different then sum.

we could try to , and hope not to fail , use the spiral numbers as an extension of R or C or similar. or visa versa.

lets call the spiral numbers S.

then maybe a number that has the topology/extension :

C * S

ALTHOUGH of course one usually extends something that makes more sense then these spiral numbers ...

give it a try ??



Messages In This Thread
RE: [UFO] Attracting Fixpoints or attracting line? - by tommy1729 - 04/27/2010, 11:06 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 1,022 09/10/2019, 11:28 AM
Last Post: sheldonison
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,748 11/07/2017, 11:06 AM
Last Post: sheldonison
  Is the straight line the shortest, really? Xorter 0 1,540 05/23/2017, 04:40 PM
Last Post: Xorter
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,935 12/21/2016, 01:27 PM
Last Post: tommy1729
  2 fixpoints related by power ? tommy1729 0 1,718 12/07/2016, 01:29 PM
Last Post: tommy1729
  2 real fixpoints again ....... tommy1729 10 10,599 02/23/2016, 10:17 PM
Last Post: tommy1729
  Fixpoints a,b with f ' (a) = f ' (b) = 1 tommy1729 0 1,868 09/15/2015, 08:29 AM
Last Post: tommy1729
  alternative fixpoints = branches ? tommy1729 0 1,951 10/11/2014, 08:50 AM
Last Post: tommy1729
  Wild conjecture about 2 fixpoints. tommy1729 0 2,015 05/03/2014, 10:56 PM
Last Post: tommy1729
  The mystery of 2 fixpoints. tommy1729 0 1,818 05/03/2014, 10:11 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)