Jump to content
Science Forums

Recommended Posts

I was looking into operators beyond exponents when I discovered a few properties of iterated exponents and nested logarithms. I'm not claiming that I am the first to discover these properties. I am well aware of work that has been done on Tetration and the Ackermann function. However, I have not found these properties of iterated exponentiation and nested logarithms anywhere.

 

Iterated Exponentiation

 

Most of us are aware of nested exponents and how to simplify the math that uses them:

 

[math]\left(a^b\right)^c=a^{b\, c}[/math]

 

So, I began to wonder about iterated exponents and if I could derive any properties associated with them. Now, I do realize that iterated exponentiation is well known. However, let's define iterated exponentiation as

 

[math]a^{\left \langle n \right \rangle} = \underbrace{(((a)^a)^a)^{\cdot^{\cdot^{a}}}}_n = a^{a^{n-1}}[/math]

 

such that

 

[math] a^{\left \langle 1 \right \rangle} = a = a^{a^{(1-1)}} [/math],

 

[math] a^{\left \langle 2 \right \rangle} = (a)^a = a^{a^{(2-1)}} [/math],

 

[math] a^{\left \langle 3 \right \rangle} = ((a)^a)^a = a^{a^{(3-1)}} [/math],

 

[math] a^{\left \langle 4 \right \rangle} = (((a)^a)^a)^a = a^{a^{(4-1)}} [/math],

 

etc...

 

Now that we have the generalized form, [math]a^{a^{n-1}}[/math], that predicts the outcome of iterated exponentiation, we can derive the derivatives / integrals using Calculus and define an algorithm for determining iterated roots using the Newton-Rhapson method. However, the operation that I believe is new is what I call the nested logarithm.

 

Nested Logarithms

 

The nested log is just like normal logarithms except it determines the value of the iterated exponent:

 

[math]\text{nLog}_{\, a}\left(a^{\left \langle b \right \rangle}\right)=b[/math]

 

I've also managed to work out a few generalized forms of the nested logarithm:

 

[math]\text{nLog}_{\, a}\left(b\right)=1+\frac{\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}[/math]

 

[math]\text{nLog}_{\, a}\left(b\right)=1-\frac{\text{ln}\left(\frac{\text{ln}\left(a\right)}{\text{ln}\left(b\right)}\right)}{\text{ln}\left(a\right)}[/math]

 

 

Proof that - [math]\text{nLog}_{\, a}\left(b\right)=1+\text{ln}(\text{ln}\left(b\right) / \text{ln}\left(a\right)) / \text{ln}\left(a\right)[/math]

 

Let [math]a[/math] equal the base of the iterated exponent and let [math]b[/math] equal [math]a^{\left \langle n \right \rangle}[/math], which is also equal to [math]a^{a^{n-1}}[/math].

 

[math]\text{nLog}_{\, a}\left(b\right)=\text{nLog}_{\, a}\left(a^{\left \langle n \right \rangle}\right)=\text{nLog}_{\, a}\left(a^{a^{n-1}}\right)=n[/math]

 

We can now use the general form, [math]a^{a^{n-1}}[/math], to derive the nested logarithm by using natural logarithms:

 

[math]\text{ln}\left(a^{a^{n-1}}\right)=a^{n-1} \, \text{ln}\left(a\right)[/math]

 

Divide both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]\frac{\text{ln}\left(a^{a^{n-1}}\right)}{\text{ln}\left(a\right)}=a^{n-1}[/math]

 

Take the natural log of both sides:

 

[math]\text{ln}\left(\frac{\text{ln}\left(a^{a^{n-1}}\right)}{\text{ln}\left(a\right)}\right)=\left(n-1\right) \, \text{ln}\left(a\right)[/math]

 

Again, divide both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]\frac{\text{ln}\left(\frac{\text{ln}\left(a^{a^{n-1}}\right)}{\text{ln}\left(a\right)}\right)}{ \text{ln}\left(a\right)}=n-1[/math]

 

Add one to both sides:

 

[math]1+\frac{\text{ln}\left(\frac{\text{ln}\left(a^{a^{n-1}}\right)}{\text{ln}\left(a\right)}\right)}{ \text{ln}\left(a\right)}=n[/math]

 

Substitute [math]a^{\left \langle n \right \rangle}[/math] in place of [math]a^{a^{n-1}}[/math]:

 

[math]\text{nLog}_{\, a}\left(a^{\left \langle n \right \rangle}\right)=1+\frac{\text{ln}\left(\frac{\text{ln}\left(a^{\left \langle n \right \rangle}\right)}{\text{ln}\left(a\right)}\right)}{ \text{ln}\left(a\right)}=n[/math]

 

Substitute [math]b[/math] in place of [math]a^{\left \langle n \right \rangle}[/math]:

 

[math]\text{nLog}_{\, a}\left(b\right)=1+\frac{\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{ \text{ln}\left(a\right)}[/math]

 

Q.E.D.

 

 

Proof that - [math]\text{nLog}_{\, a}\left(b\right)=1-\text{ln}(\text{ln}\left(a\right) / \text{ln}\left(b\right)) / \text{ln}\left(a\right)[/math]

 

Working backwards, we can prove that the second form is true. Let [math]a[/math] equal the base of the nested exponent and let [math]b[/math] equal [math]a^{\left \langle n \right \rangle}[/math], which is also equal to [math]a^{a^{n-1}}[/math] such that:

 

[math]1-\frac{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{\left \langle n \right \rangle}\right)}\right)}{\text{ln}\left(a\right)}=1-\frac{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{a^{n-1}}\right)}\right)}{\text{ln}\left(a\right)}=n[/math]

 

Move [math]n[/math] and the term using the natural logarithms to the opposite side of the equation:

 

[math]1-n=\frac{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{a^{n-1}}\right)}\right)}{\text{ln}\left(a\right)}[/math]

 

Multiply both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math](1-n)\, \text{ln}\left(a\right)=\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{a^{n-1}}\right)}\right)[/math]

 

Raise [math]e[/math] to the power of each side:

 

[math]e^{(1-n)\, \text{ln}\left(a\right)}=e^{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{a^{n-1}}\right)}\right)}[/math]

 

Simplify the result:

 

[math]a^{1-n}=\frac{\text{ln}\left(a\right)}{\text{ln}\left(a^{a^{n-1}}\right)}[/math]

 

Multiply both sides by [math]\text{ln}\left(a^{a^{n-1}}\right)[/math]:

 

[math]a^{1-n}\, \text{ln}\left(a^{a^{n-1}}\right)=\text{ln}\left(a\right)[/math]

 

Divide both sides by [math]a^{1-n}[/math]:

 

[math]\text{ln}\left(a^{a^{n-1}}\right)=\frac{\text{ln}\left(a\right)}{a^{1-n}}[/math]

 

Raise [math]e[/math] to the power of each side:

 

[math]e^{\text{ln}\left(a^{a^{n-1}}\right)}=e^{\left(\frac{\text{ln}\left(a\right)}{a^{1-n}}\right)}[/math]

 

Simplify the result:

 

[math]a^{a^{n-1}}=a^{a^{n-1}}[/math]

 

Q.E.D.

 

 

Trivial Identities

 

[math]a^{\left \langle 0 \right \rangle}=a^{a^{(0-1)}}=a^{a^{-1}}=a^{\frac{1}{a}}=\sqrt[a]{a}[/math]

 

[math]a^{\left \langle 1 \right \rangle}=a^{a^{(1-1)}}=a^{a^0}=a[/math]

 

[math]a^{\left \langle 2 \right \rangle}=a^{a^{(2-1)}}=a^{a^1}=a^a[/math]

 

 

[math]\left(a^{\left \langle b \right \rangle}\right)^{a^c}=\left(a^{a^{b-1}}\right)^{a^c}=a^{a^{b-1} a^{c}}=a^{a^{b+c-1}}=a^{\left \langle b+c \right \rangle}[/math]

 

[math]\left(a^{\left \langle b \right \rangle}\right)^{a^{-c}}=\left(a^{a^{b-1}}\right)^{a^{-c}}=a^{a^{b-1} a^{-c}}=a^{a^{b-c-1}}=a^{\left \langle b-c \right \rangle}[/math]

 

 

[math]\text{nLog}_{\, a}\left(a\right)=1+\frac{\text{ln}\left(\frac{\text{ln}\left(a\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}=1+\frac{\text{ln}\left(1\right)}{\text{ln}\left(a\right)}=1+\frac{0}{\text{ln}\left(a\right)}=1[/math]

 

Both, [math]\text{nLog}_{\, a}\left(0\right)[/math] and [math]\text{nLog}_{\, a}\left(1\right)[/math], are undefined:

 

[math]\lim_{b \to 0}\big(\text{nLog}_{\, a}\left(b\right)\big) =\lim_{b \to 0} \left(1+\frac{\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}\right)=\infty[/math]

 

[math]\lim_{b \to 1}\big(\text{nLog}_{\, a}\left(b\right)\big) =\lim_{b \to 1} \left(1+\frac{\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}\right)=-\infty[/math]

 

 

Properties of Nested Logarithms

 

[math]\text{nLog}_{\, a}\left(b\right)=1+\frac{\text{ln}\left (\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)} \ \ \ \ \ \ \ \text{nLog}_{\, a}\left(b\right)=1-\frac{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(b\right)}\right)}{\text{ln}\left(a\right)}[/math]

 

[math]\text{nLog}_{\, a}\left(b\right)=1+\text{log}_{a}\left(\text{log}_{a}\left(b\right)\right) \ \ \ \ \ \ \ \text{nLog}_{\, e}\left(b\right)=1+\text{ln}\left(\text{ln}\left(b\right)\right)[/math]

 

[math]\text{nLog}_{\, a}\left(b\right)=1-\frac{\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)}{\text{ln}\left(a\right)} \ \ \ \ \ \ \ \text{log}_{\, a}\left(b\right)=\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}=a^{\left(\text{nLog}_{\, a}\left(b\right)-1\right)}[/math]

 

[math]\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)=\text{ln}\left(a\right) \left(\text{nLog}_{\, a}\left(b\right) - 1\right) \ \ \ \ \ \ \ \text{ln}\left(\frac{\text{ln}\left(a\right)}{\text{ln}\left(b\right)}\right)=\text{ln}\left(a\right) \left(1-\text{nLog}_{\, a}\left(b\right)\right)[/math]

 

 

Relationship to Exponentials

 

[math]a^b=a\ \frac{\text{ln}\left(a^{\left \langle b \right \rangle}\right)}{\text{ln}\left(a\right)}=a\ \text{log}_{\, a}\left(a^{\left \langle b \right \rangle}\right)[/math]

 

Proof:

 

Iterated exponentiation by definition:

 

[math]a^{\left \langle b \right \rangle}=a^{a^{(b-1)}}[/math]

 

Take the natural log of both sides:

 

[math]\text{ln}\left(a^{a^{(b-1)}}\right)=\text{ln}\left(a^{\left \langle b \right \rangle}\right)[/math]

 

Simplify the result:

 

[math]a^{(b-1)}\, \text{ln}\left(a\right)=\text{ln}\left(a^{\left \langle b \right \rangle}\right)[/math]

 

Divide both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]a^{(b-1)}=\frac{\text{ln}\left(a^{\left \langle b \right \rangle}\right)}{\text{ln}\left(a\right)}[/math]

 

Multiply both sides by [math]a[/math]:

 

[math]a^{b}=a\ \frac{\text{ln}\left(a^{\left \langle b \right \rangle}\right)}{\text{ln}\left(a\right)}[/math]

 

Convert [math]\text{ln}\left(a^{\left \langle b \right \rangle}\right) / \text{ln}\left(a\right)[/math] to a logarithm by the "changing the base" identity:

 

[math]a^{b}=a\ \text{log}_{\, a}\left(a^{\left \langle b \right \rangle}\right)[/math]

 

Q.E.D.

 

 

Relationship between Nested Logarithms and Natural Nested Logarithms

 

[math]\text{nLog}_{\, a}\left(b\right) = 1+\frac{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}{\text{ln}\left(a\right)}[/math]

 

Proof:

 

Natural nested logarithm by definition:

 

[math]\text{nLn}\left(x\right)=1+\text{ln}\left(\text{ln}\left(x\right)\right)[/math]

 

Nested logarithm by definition:

 

[math]\text{nLog}_{\, a}\left(b\right) =1+\frac{\text{ln}\left(\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}= 1+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}[/math]

 

such that

 

[math]1+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}=1+\frac{\left(1+\text{ln}\left(\text{ln}\left(b\right)\right)\right)-\left(1+\text{ln}\left(\text{ln}\left(a\right)\right)\right)}{\text{ln}\left(a\right)}[/math]

 

Simplify the right side by cancelling the ones in the numerator:

 

[math]1+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}=1+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}[/math]

 

Q.E.D.

 

 

Relationship between the Difference of Natural Nested Logarithms

 

[math]\text{nLn}\left(b\right) - \text{nLn}\left(a\right)=\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)[/math]

 

such that

 

[math]e^{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}=e^{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}=\text{log}_{\, a}\left(b\right)[/math]

 

Proof:

 

[math]1+\frac{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}{\text{ln}\left(a\right)}=1+\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}[/math]

 

Subtract one from both sides:

 

[math]\frac{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}{\text{ln}\left(a\right)}=\frac{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}{\text{ln}\left(a\right)}[/math]

 

Multiply both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]\text{nLn}\left(b\right) - \text{nLn}\left(a\right)=\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)[/math]

 

Raise [math]e[/math] to the power of both sides:

 

[math]e^{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}=e^{\text{ln}\left(\text{ln}\left(b\right)\right)-\text{ln}\left(\text{ln}\left(a\right)\right)}[/math]

 

Undo the subtraction in the exponent:

 

[math]\frac{e^{\text{nLn}\left(b\right)}}{e^{\text{nLn}\left(a\right)}}=\frac{e^{\text{ln}\left(\text{ln}\left(b\right)\right)}}{e^{\text{ln}\left(\text{ln}\left(a\right)\right)}}[/math]

 

Simplify the result:

 

[math]\frac{e^{1+\text{ln}\left(\text{ln}\left(b\right)\right)}}{e^{1+\text{ln}\left(\text{ln}\left(a\right)\right)}}=\frac{e\ \text{ln}\left(b\right)}{e\ \text{ln}\left(a\right)}=\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}[/math]

 

Cancel out the [math]e[/math] and change the base:

 

[math]e^{\text{nLn}\left(b\right) - \text{nLn}\left(a\right)}=\frac{\text{ln}\left(b\right)}{\text{ln}\left(a\right)}=\text{log}_{\, a}\left(b\right)[/math]

 

Q.E.D.

 

 

The Nested Logarithm of a Doubly Iterated Exponential with the Same Base (or something like that lol)

 

[math]\text{nLog}_{\, a}\left(\left(a^{\left \langle b \right \rangle}\right)^{\left \langle c \right \rangle}\right)=\left(c-1\right)\, a^{(b-1)}+b[/math]

 

Proof:

 

[math]\left(a^{\left \langle b \right \rangle}\right)^{\left \langle c \right \rangle}=\left(a^{\left \langle b \right \rangle}\right)^{\left(a^{\left \langle b \right \rangle}\right)^{(c-1)}}=\left(a^{a^{(b-1)}}\right)^{\left(a^{a^{(b-1)}}\right)^{(c-1)}}=[/math]

 

[math]\left(a^{a^{(b-1)}}\right)^{\left(a^{(c-1)\, a^{(b-1)}}\right)}=a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}[/math]

 

Take the natural log of the simplified version:

 

[math]\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)=\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right) \text{ln}\left(a\right)[/math]

 

Divide both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}=\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)[/math]

 

Take the natural log of both sides:

 

[math]\text{ln}\left(\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}\right)=\text{ln}\left(\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)\right)[/math]

 

Simplify the right hand side:

 

[math]\text{ln}\left(\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)\right)=\text{ln}\left(a^{(b-1)}\right) + \text{ln}\left(a^{(c-1)\, a^{(b-1)}}\right)=[/math]

 

[math](b-1) \, \text{ln}\left(a\right)\, + \, (c-1)\, a^{(b-1)} \, \text{ln}\left(a\right)=\text{ln}\left(a\right)\, \left((b-1)\, +\, (c-1)\, a^{(b-1)}\right)[/math]

 

such that

 

[math]\text{ln}\left(\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}\right)=\text{ln}\left(a\right)\, \left((b-1)\, +\, (c-1)\, a^{(b-1)}\right)[/math]

 

Divide both sides by [math]\text{ln}\left(a\right)[/math]:

 

[math]\frac{\text{ln}\left(\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}=(b-1) \, + \, (c-1)\, a^{(b-1)}[/math]

 

Complete the nested logarithm by adding one to both sides:

 

[math]1+\frac{\text{ln}\left(\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}=1+(b-1) \, + \, (c-1)\, a^{(b-1)}[/math]

 

Simplify the result:

 

[math]\text{nLog}_{\, a}\left(\left(a^{\left \langle b \right \rangle}\right)^{\left \langle c \right \rangle}\right)=1+\frac{\text{ln}\left(\frac{\text{ln}\left(a^{\left(a^{(b-1)}\right)\left(a^{(c-1)\, a^{(b-1)}}\right)}\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)}=(c-1)\, a^{(b-1)}\, +\, b[/math]

 

Q.E.D.

 

 

Derivatives of Iterated Exponents and Nested Logarithms (Found by using Mathematica)

 

[math]\frac{dy}{dx} \ x^{\left \langle a \right \rangle} = x^{x^{(a-1)}}\left(x^{(a-2)}\left(1+\left(a-1\right)\, \text{ln}\left(x\right)\right)\right)=x^{\left \langle a \right \rangle}\left(x^{(a-2)}\left(1+\left(a-1\right)\, \text{ln}\left(x\right)\right)\right)[/math]

 

[math]\frac{dy}{dx} \ a^{\left \langle x \right \rangle} = a^{a^{(x-1)}} \, a^{(x-1)} \, \text{ln}\left(a\right)^2=a^{\left \langle x \right \rangle} \left(a^{(x-1)} \, \text{ln}\left(a\right)^2\right)[/math]

 

[math]\frac{dy}{dx} \ x^{\left \langle x \right \rangle} = x^{x^{(x-1)}}\left(x^{(x-2)}+x^{(x-1)}\, \text{ln}\left(x\right)\left(\text{ln}\left(x\right)+\frac{x-1}{x}\right)\right)=x^{\left \langle x \right \rangle}\left(x^{(x-2)}+x^{(x-1)}\, \text{ln}\left(x\right)\left(\text{ln}\left(x\right)+\frac{x-1}{x}\right)\right)[/math]

 

[math]\frac{dy}{dx} \ \text{nLog}_{\, a}\left(x\right) = \frac{1}{x\, \text{ln}\left(x\right)\, \text{ln}\left(a\right)}=\frac{\text{nLog}_{\, a}\left(x\right)}{x\, \text{ln}\left(x\right) \left(\text{ln}\left(a\right) +\text{ln}\left(\frac{\text{ln}\left(x\right)}{\text{ln}\left(a\right)}\right)\right)}[/math]

 

[math]\frac{dy}{dx} \ \text{nLog}_{\, x}\left(a\right) = \frac{\text{ln}\left(\frac{\text{ln}\left(x\right)}{\text{ln}\left(a\right)}\right)-1}{x\, \text{ln}\left(x\right)^2}=\frac{\text{ln}\left(x\right) \left(1-\text{nLog}_{\, x}\left(a\right)\right)-1}{x\, \text{ln}\left(x\right)^2}[/math]

 

 

Properties of Derivatives for Iterated Exponents (Found by using Mathematica)

 

An iterated exponential function that has the constant as the nested exponent, [math]x^{\left \langle a \right \rangle}[/math]:

 

[math]\frac{dy}{dx} \ \text{ln}\left(x^{\left \langle a \right \rangle}\right) = \left(x^{(a-2)}\left(1+\left(a-1\right)\, \text{ln}\left(x\right)\right)\right)[/math]

 

Which allows us to define the following by substitution:

 

[math]\frac{dy}{dx} \ x^{\left \langle a \right \rangle} = x^{\left \langle a \right \rangle} \ \frac{dy}{dx} \ \text{ln}\left(x^{\left \langle a \right \rangle}\right)[/math]

 

such that:

 

[math]x^{\left \langle a \right \rangle}=\frac{\frac{dy}{dx} \ x^{\left \langle a \right \rangle}}{\frac{dy}{dx} \ \text{ln}\left(x^{\left \langle a \right \rangle}\right)}[/math]

 

 

An iterated exponential function that has the variable as the nested exponent, [math]a^{\left \langle x \right \rangle}[/math]:

 

[math]\frac{dy}{dx} \ \text{ln}\left(a^{\left \langle x \right \rangle}\right) = \left(a^{(x-1)} \, \text{ln}\left(a\right)^2\right)[/math]

 

Which allows us to define the following by substitution:

 

[math]\frac{dy}{dx} \ a^{\left \langle x \right \rangle} = a^{\left \langle x \right \rangle} \ \frac{dy}{dx} \ \text{ln}\left(a^{\left \langle x \right \rangle}\right)[/math]

 

such that:

 

[math]a^{\left \langle x \right \rangle}=\frac{\frac{dy}{dx} \ a^{\left \langle x \right \rangle}}{\frac{dy}{dx} \ \text{ln}\left(a^{\left \langle x \right \rangle}\right)}[/math]

 

 

An iterated exponential function that has the variable as the base and as the nested exponent, [math]x^{\left \langle x \right \rangle}[/math]:

 

[math]\frac{dy}{dx} \ \text{ln}\left(x^{\left \langle x \right \rangle}\right) = \left(x^{(x-2)}+x^{(x-1)}\, \text{ln}\left(x\right)\left(\text{ln}\left(x\right)+\frac{x-1}{x}\right)\right)[/math]

 

Which allows us to define the following by substitution:

 

[math]\frac{dy}{dx} \ x^{\left \langle x \right \rangle} = x^{\left \langle x \right \rangle} \ \frac{dy}{dx} \ \text{ln}\left(x^{\left \langle x \right \rangle}\right)[/math]

 

such that:

 

[math]x^{\left \langle x \right \rangle}=\frac{\frac{dy}{dx} \ x^{\left \langle x \right \rangle}}{\frac{dy}{dx} \ \text{ln}\left(x^{\left \langle x \right \rangle}\right)}[/math]

 

 

Integrals of Iterated Exponents and Nested Logarithms (Found by using Mathematica)

 

There are no general expressions for the integrals. They are based on the exponential integral, logarithmic integral, or unknown:

 

[math]\int x^{\left \langle a \right \rangle} \, dx = \int x^{x^{a-1}} \, dx = \text{unknown}[/math]

 

[math]\int a^{\left \langle x \right \rangle} \, dx = \int a^{a^{x-1}} \, dx = \frac{\text{Ei}\left(a^{x-1}\, \text{ln}(a)\right)}{\text{ln}(a)}+C[/math]

 

[math]\int x^{\left \langle x \right \rangle} \, dx = \int x^{x^{x-1}} \, dx = \text{unknown}[/math]

 

[math]\int \text{nLog}_{\, a}\left(x\right) \, dx = \int 1\, +\, \frac{\text{ln}\left (\frac{\text{ln}\left(x\right)}{\text{ln}\left(a\right)}\right)}{\text{ln}\left(a\right)} \, dx = x \, + \, \frac{x \, \text{ln}\left(\frac{\text{ln}(x)}{\text{ln}(a)}\right)}{\text{ln}(a)}\, -\, \frac{\text{li}(x)}{\text{ln}(a)}\, +\, C = x\, \left(\text{nLog}_{\, a}\left(x\right)\right)\, -\, \frac{\text{li}(x)}{\text{ln}(a)}\, +\, C[/math]

 

[math]\int \text{nLog}_{\, x}\left(a\right) \, dx = \int 1+\frac{\text{ln}\left (\frac{\text{ln}\left(a\right)}{\text{ln}\left(x\right)}\right)}{\text{ln}\left(x\right)} \, dx = \text{unknown}[/math]

 

The exponential integral, [math]\text{Ei}\left(x\right)[/math]:

 

[math]\text{Ei}(x)=\int \limits_{-\infty}^{x} \frac{e^t}{t} \, dt[/math]

 

The logarithmic integral, [math]\text{li}\left(x\right)[/math]:

 

[math]\text{li}(x)=\int \limits_{0}^{x} \frac{dt}{\text{ln}(t)}[/math]

 

 

Finding Iterated Roots and Nested Logarithms using the Newton-Rhapson Method

 

First it is important to note that the Newton-Rhapson method may fail to converge to the desired result. One must read and understand the proof of quadratic convergence for Newton's iterative method which is described in Wikipedia. With that being said I have not had a problem finding iterated roots or nested logarithms using this approach.

 

[math]x_{n+1}=x_{n} - \frac{f(x_{n})}{f'(x_{n})}[/math]

 

Iterated Roots:

 

To find the iterated root we must use the iterated exponential function that has the constant as the iterated exponent, [math]x^{\left \langle a \right \rangle}[/math]. Using this function with Newton's method yields the following algorithm for iterated roots (Repeat the process until you have obtained the desired result):

 

[math]\sqrt[\left \langle a \right \rangle]{b}\ \ \ \ \text{approximated by} \ \ \ \ x_{n+1}=x_{n} - \frac{\left(x_{n}\right)^{\left(x_{n}\right)^{(a-1)}}-b}{\left(x_{n}\right)^{\left(x_{n}\right)^{(a-1)}}\left(\left(x_{n}\right)^{(a-2)}\left(1+\left(a-1\right)\, \text{ln}\left(x\right)\right)\right)}[/math]

 

Nested Logarithms:

 

To find the nested logarithm we must use the iterated exponential function that has the variable as the iterated exponent, [math]a^{\left \langle x \right \rangle}[/math]. Using this function with Newton's method yields the following algorithm for nested logarithms (Repeat the process until you have obtained the desired result):

 

[math]\text{nLog}_{\, a}\left(b\right)\ \ \ \text{approximated by} \ \ \ x_{n+1}=x_{n} - \frac{a^{a^{\left(x_{n}\right)-1}}-b}{a^{a^{\left(x_{n}\right)-1}} a^{\left(x_{n}\right)-1} \text{ln}\left(a\right)^2}[/math]

 

 

Graph of [math]x^{\left \langle a \right \rangle}[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-09764600-1500488241_thumb.png

 

 

Graph of [math]a^{\left \langle x \right \rangle}[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-71998100-1500488240_thumb.png

 

 

Graph of [math] x^{\left \langle x \right \rangle}[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-52896900-1500488241_thumb.png

 

 

Graph of [math]\text{nLog}_{\, a} \left(x\right)[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-89969500-1500488241_thumb.png

 

 

Graph of [math]\text{nLog}_{\, x} \left(a\right)[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-29641000-1500488242_thumb.png

 

 

Graph of [math] \text{nLog}_{\, x} \left(x\right)[/math]:

 

This graph shows both the real part (blue) and the imaginary part (green).

 

post-94308-0-75078200-1500488242_thumb.png

Edited by DaedalusSFN
Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

Loading...
×
×
  • Create New...