Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Imaginary iterates of exponentiation
#1
Okay, first of all, we need a name for performing the ith iteration of exponentiation. The 1st iteration is exponentiation, the -1st iteration is the logarithm. What's the ith iteration? Notice that the -ith iteration is the inverse of the ith iteration, but unlike the logarithm/exponentiation duality, imaginary iterations and their inverses are conjugates of each other for real numbers and real bases. For complex numbers and/or bases, we've picked one side or the other of the real line, so they might not necessarily be conjugates anymore (indeed, they probably aren't).

While I'm on the subject of naming, I'm searching for a better verb for performing logarithms. To perform an exponentiation is to exponentiate. To perform a logarithm is to...??? To perform an exorcism (on an evil spirit) is to exorcize (the spirit). To give criticism (to a person or about a movie) is to criticize (the person or movie). I'm tempted at times to say that to perform a logarithm is to logarithe, but it doesn't quite roll off the tongue...

Okay, back on subject. We need an ith iteration of exponentiation. We could start with a tetration solution and derive one, but I'd very much prefer to derive one from basic principles instead, and use it to derive and/or validate a tetration solution.

First, some observations. The ith iteration of natural exponentiation of base e has two primary fixed points at . If we momentarily call the ith iteration "imaginary exponentiation" and the -ith iteration "imaginary logarithm", the the upper fixed point is an attracting fixed point for imaginary exponentiation, and the lower fixed point is a repelling fixed point. For imaginary logarithms, the upper fixed point is repelling and the lower is attracting.

I'm wondering if we could possibly experiment with exponentiation of complex bases to study this effect. I've experimented and found that complex bases (the few I played with) have both attracting and repelling fixed points of exponentiation, so that logarithms will tend to one and exponentiations will tend to the other, unless they happen to escape first (we could say that infinity is an attracting "fixed point" of exponentiation or logarithms in these cases...).

I had been hoping to find a complex base with a fixed point at 1.337-0.318i, which is -i times the fixed point of natural exponentiation. However, I haven't found a way to find a base that has a specific fixed point.

Even if I found such a base, I'm not sure what I'd do with it, other than play around with it and see if I get any inspiration...
~ Jay Daniel Fox
Reply
#2
is such a base. If you know a fixed point then
Reply
#3
jaydfox Wrote:[...]
While I'm on the subject of naming, I'm searching for a better verb for performing logarithms. To perform an exponentiation is to exponentiate. To perform a logarithm is to...??? To perform an exorcism (on an evil spirit) is to exorcize (the spirit). To give criticism (to a person or about a movie) is to criticize (the person or movie). I'm tempted at times to say that to perform a logarithm is to logarithe, but it doesn't quite roll off the tongue...
[...]
What about ... logarithmatize?? Big Grin Or, just "log (something)" for short. But "log" is already too overloaded. Hmm. Logarithate, maybe? or logarithmate. Bah, you're right, there is no good term for it. Sad
Reply
#4
jaydfox Wrote:First, some observations. The ith iteration of natural exponentiation of base e has two primary fixed points at . If we momentarily call the ith iteration "imaginary exponentiation" and the -ith iteration "imaginary logarithm", the the upper fixed point is an attracting fixed point for imaginary exponentiation, and the lower fixed point is a repelling fixed point. For imaginary logarithms, the upper fixed point is repelling and the lower is attracting.

Hi Jaydfox,

This may be relevant:
Omega constant =0.5671432904097838729999686622 is defined by 1=Omega*(e^Omega):

So selfroot of Omega:

Omega^(1/Omega) = e^ln(Omega^(1/Omega) = e^((1/Omega)*(ln(Omega))=e^((1/Omega)*(-Omega)) =e^(-1)=1/e=0,367879441

Infinite tetration of selfroot of Omega:

h(Omega^(1/Omega))=h(1/e) = -W(-ln(1/e))/(ln(1/e))= -W(1)/-1=Omega=0,56714329=-ln(Omega),

Square superroot of (Omega^1/Omega) :

ssrt(Omega^(1/Omega) = ln(1/e)/W(ln(1/e))= -1/W(-1)= -1/(-0.318131505204764 +- 1.337235701430689*I) = 0.16837688705553+-0.707755195958823*I.

W(-1) = 0.318131505204764 +- 1.337235701430689*I


So why not call it Omegation?

Ivars
Reply
#5
Just to clarify for myself:

i -th exponentiation of anything (e.g.) 2 would be:

2^i = 2*2*2*2*2............ i times = 0.76923890..+I*0.63896127...=e^(i*ln2)

i-th root of this number would be 2. (1/i=-i )

Learning, thanks.

ith exponentiation of a function is not i-th iteration of a function. See next post by administrator which puts it straight.

Ivars
Reply
#6
Ivars, please dont post completely unrelated things!
Before you reply you should at least have a base understanding what you are replying to! You can not just throw in your ideas because of similar sounding words like "imaginary exponentiation" that even are explained in the same paragraph to have a different meaning.

Taking powers with complex exponents is a well explored area, there is nothing mysterious about it, its even tought at highschool.
However taking the I-th iteration of a function is a rather unknown area and barely connected to the I-th power. And *this* was discussed by Jay here in this thread for .
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 227 09/10/2019, 11:28 AM
Last Post: sheldonison
  Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 141 09/09/2019, 10:55 PM
Last Post: tommy1729
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 283 09/09/2019, 10:50 PM
Last Post: tommy1729
  half-iterates of x^2-x+1 Balarka Sen 2 3,916 04/30/2013, 01:14 AM
Last Post: tommy1729
  Q: Exponentiation of a carleman-matrix Gottfried 0 2,754 11/19/2012, 10:18 AM
Last Post: Gottfried
  The imaginary tetration unit? ssroot of -1 JmsNxn 2 5,141 07/15/2011, 05:12 PM
Last Post: JmsNxn
  Tetration and imaginary numbers. robo37 2 5,123 07/13/2011, 03:25 PM
Last Post: robo37
  Infinite tetration of the imaginary unit GFR 40 51,545 06/26/2011, 08:06 AM
Last Post: bo198214
  fractional iterates of arg(z) and |z| JmsNxn 2 3,895 04/05/2011, 07:51 PM
Last Post: JmsNxn
  Imaginary zeros of f(z)= z^(1/z) (real valued solutions f(z)>e^(1/e)) Gottfried 91 85,727 03/03/2011, 03:16 PM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)