Intereting Posts

How many segments are there in the Cantor set?
meaning of topology and topological space
how to find integer solutions for $axy +bx + cy =d$?
Connected metric spaces with at least 2 points are uncountable.
Sequence satisfies weak law of large numbers but doesn't satisfy strong law of large numbers
Proving $-\frac{1}{2}(z+\frac{1}{z})$ maps upper half disk onto upper half plane
Isolated singularities of the resolvent
Finitely but not countably additive set function
How to prove this result about connectedness?
Uniform Continuity of $x \sin x$
Is this a characterization of commutative $C^{*}$-algebras
Ideal and minimal polynomial
Actuarial : “ Amortization – mortage”
Ito Integral surjective?
Zeros of a holomorphic function on the boundary of a closed region

$$n=a^{(a+1)^{(a+2)^{(a+3)\cdots}}}$$

How would one go about solving in this equation? I am more used to solving equations in this form:

$$n=a^{a^{a^{a\cdots}}}$$

- Complexity class of comparison of power towers
- Find the last two digits of $9^{9^{9}}$
- How many values of $2^{2^{2^{.^{.^{.^{2}}}}}}$ depending on parenthesis?
- Attempt on fractional tetration
- Are these solutions of $2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}}$ correct?
- Calculating 7^7^7^7^7^7^7 mod 100

Which you solve in this form:

$$a^n=n$$

But how would you solve that equation at the top of the page though? If you were curious, and I know that SE likes what I have tried, so I will show steps that I have attempted.

$$f(a)=a^{(a+1)^{(a+2)^{(a+3)\cdots}}}$$

$$f(a)=a^{f(a+1)}$$

But from here I am not sure what to do from here. Can someone please help me evaluate this equation for $a$ in therms of $n$? Can the proof of this also be somewhat rigorous please?

- Show that the iterated $\ln^{}$ of tetration(x,n) is nowhere analytic
- Is the positive root of the equation $x^{x^x}=2$, $x=1.47668433…$ a transcendental number?
- Fractional Composite of Functions
- LambertW(k)/k by tetration for natural numbers.
- Why are addition and multiplication commutative, but not exponentiation?
- Calculating 7^7^7^7^7^7^7 mod 100
- Why do $x^{x^{x^{\dots}}}=2$ and $x^{x^{x^{\dots}}}=4$ have the same positive root $\sqrt 2$?
- Fixed Point of $x_{n+1}=i^{x_n}$
- The Physical Meaning of Tetration with fractional power tower
- Attempt on fractional tetration

We need additional resources to handle “general” sequences of infinite exponentials. In particular:

$\mathbf{Definition:}$ Suppose $A_k=\{a_1,a_2,\ldots,a_k\}$, $k\in\mathbb{N}$, with $a_k>0$ and $n\le |A_k|=k$. A general infinite exponential is:

$$e_n(A_k) =

\begin{cases}

a_k, & \text{if $n=1$} \\

a_{k-n+1}^{e_{n-1}(A_k)}, & \text{if $n>1$}

\end{cases}$$

Now, if one sets $b_n=e_n(A_n)$, then the sequence $b_n$, $n\in\mathbb{N}$ expresses the sequence of ascending exponentials:

$$a_1,\,a_1^{a_2},\,a_1^{a_2^{a_3}},\,\ldots$$

Now you need the following theorem:

$\mathbf{Theorem\,\,(Barrow):}$ The sequence $b_n$, $n\in\mathbb{N}$ converges iff:

- $a_n$ converges
- $\exists n_0:\forall n>n_0:b_n\in [e^{-e},e^{1/e}]$

From the above theorem it is clear that your example is unsolvable, since your sequence is $a_n=a_{n-1}+1$, with $a_1=a$ and this sequence diverges, therefore it fails bullet one.

Suppose instead that you are called to solve, using an $a_n$ which satisfies the theorem’s assumptions:

$$y=a_1^{a_2^{a_3^{\cdots}}}\Rightarrow$$

$$\ln(y)=\ln(a_1)\cdot a_2^{a_3^{a_4^{\cdots}}}\Rightarrow$$

$$\frac{\ln(y)}{\ln(a_1)}=a_2^{a_3^{a_4^{\cdots}}}$$

Now, $a_n$ converges, so if we fix $\epsilon>0$ we are guaranteed a $k>0$ such that for all $n>k$, we have $a_n \sim a$, where $a=\lim\limits_{n\to\infty}a_n$.

We can therefore continue the iteration with logarithms as above, all the way to $k$:

$$\frac{(\cdots)}{\ln(a_k)}=a_{k+1}^{a_{k+2}^{a_{k+3}^\cdots}}$$

which is equivalent within $\epsilon$, to:

$$Y_{\epsilon}=\frac{(\cdots)}{\ln(a_k)}\sim a^{a^{a^{\cdots}}}$$

the latter being now solvable using the trick you mention in your question (or any other valid method) either for $a$ or for $Y_{\epsilon}$. In particular:

$$a\sim Y_\epsilon^{\frac{1}{Y_{\epsilon}}}\Leftrightarrow Y_{\epsilon}=\frac{W(-\ln(a))}{-\ln(a)}$$

where $W$ is the Lambert function.

- Evaluate $\int_0^4 \frac{\ln x}{\sqrt{4x-x^2}} \,\mathrm dx$
- Frobenius method differ by integer
- Is an integer uniquely determined by its multiplicative order mod every prime
- Can we permute the coefficients of a polynomial so that it has NO real roots?
- A riddle about guessing hat colours (which is not among the commonly known ones)
- Is every irrational number normal in at least one base?
- For an integrable function $f$, do continuity conditions on its integral affect continuity of $f$?
- Why doesn't $0$ being a prime ideal in $\mathbb Z$ imply that $0$ is a prime number?
- Prove that every group $G$ has a unique maximal perfect subgroup $R$ and $R$ is fully-invarinat in $G$
- Finding $\lim_{x\to \pm\infty}f(x)$ where $a,b>0$
- $D_6 \cong D_3\times \mathbb Z_2$
- Finite index subgroup with free abelianization
- Is every compact space compactly generated?
- Series RLC Circuit Step Response
- Show $f$ is not $1-1$