Euler number

From Hyperoperations Wiki
Jump to: navigation, search

In our context one can characterize the Euler number e in various ways:

  1. As limit of infinite tetration: $e=e_3$ is the limit b[4]oo for the maximal b such that the limit exists. This b is called the critical base $\eta$, it has the value $\eta=\eta_3=e^{1/e}$.
  2. As maximum of the self-root $x^{1/x}$: e is the argument x, where $x^{1/x}$ has its maximum, the maximum is equal to $\eta$.
  3. The critical base $\eta$ is the base b where the function b^x changes from having 2 fixpoints to having no fixpoint (on the real axis). e is the fixpoint of $\eta^x$.

Now tetra-Euler and the tetra-critical base is the analogon with using tetration instead of exponentiation (it remains open which extension of tetration we use, and the numeric values may dependently differ, but if not saying differently the candidates are regular tetration for $b\le e^{1/e}$ and disturbed Fatou coordinates for $b>e^{1/e}$ which is equal to the Kneser construction).

The tetra-critical base $\eta_4 \approx 1.6353244967152763993453446183062$.
Tetra-Euler $e_4\approx 3.0885322718067176544821807826411$.
(Values computed by sheldonison.)

It seems we have the same 3 ways of characterization:

  1. Limit of infinite tetration: $\eta_4$ is the greatest number $b$ such that b[5]oo exists, $e_4=\lim_{n\to\infty} b[5]n$. Andrew/Nuninho pointed it out in this thread.
  2. Maximum of self-tetra-root: The tetraroot is the inverse of tetration, i.e. if b[4]x=y then y [/4] x = b. The self-tetra-root is then defined as x [/4] x. It has its maximum at $x=e_4$ and $\eta_4 = e_4 [/4] e_4$. Mike found out in this thread.
  3. The $\eta_4$ is the base where b[4]x changes from having 3 fixpoints to having one fixpoint. $e_4$ is the fixpoint into which the 2 fixpoints transform before they vanish. Sheldon's posting contains the following graph and precise values.

Sexp fixed.gif


A corresponding question/problem about the limit of the Eulers and Etas was asked here.