I have only a rough idea about what you suggest, so please let me ask some more questions
Let \( \eta=e^{1/e} \), when we consider \( \exp_\eta \) we realize that \( \lim_{x\to\infty} \exp_\eta(x) = e \), and \( \lim_{x\to\infty} {\exp_\eta}'(x)=0 \). So the critical region is at infinity, where there \( \lim_{x_0\to\infty}\exp_\eta(x_0-1) -\exp_\eta(x_0)=\log_\eta(\log_\eta(e))-\log_\eta(e)=0 \).
Vice versa \( \lim_{x\uparrow e}\text{slog}_\eta (x)=\infty \) and \( \lim_{x\uparrow e}{\text{slog}_\eta}' (x)=\infty \).
I still dont see how you will use this for defining \( \exp_\eta \).
What do you mean by "there are fewer and fewer degrees of freedom for how to extend the sexp function to the real numbers"?
And otherwise of course you surely read already Jay's post about change of base, which attributes the same effect you describe here that \( \text{slog}_a(x)-\text{slog}_b(x) \) converges/should converge to a constant for \( x\to \infty \) if \( a,b>\eta \). Moreover he gives a formula to derive \( \text{sexp}_b \) from any given \( \text{sexp}_a \) such that exactly this condition is satisfied.
Let \( \eta=e^{1/e} \), when we consider \( \exp_\eta \) we realize that \( \lim_{x\to\infty} \exp_\eta(x) = e \), and \( \lim_{x\to\infty} {\exp_\eta}'(x)=0 \). So the critical region is at infinity, where there \( \lim_{x_0\to\infty}\exp_\eta(x_0-1) -\exp_\eta(x_0)=\log_\eta(\log_\eta(e))-\log_\eta(e)=0 \).
Vice versa \( \lim_{x\uparrow e}\text{slog}_\eta (x)=\infty \) and \( \lim_{x\uparrow e}{\text{slog}_\eta}' (x)=\infty \).
I still dont see how you will use this for defining \( \exp_\eta \).
sheldonison Wrote:Consider what happens as b approaches e^(1/e) in the equation \( \text{slog}_b(x) \). The curve becomes more and more linear, and there are fewer and fewer degrees of freedom for how to extend the sexp function to real numbers, and still have an increasing "well behaved" function. It must be possible to describe this rigorously in terms of limits. Here is an example.
if \( b=1.49208... \text{ slog}_b(e)=6 \), \( \text{slog}_b(2.4989)=5 \), \( \text{slog}_b(2.2887)=4 \), \( \text{slog}_b(2.0691)=3 \), \( \text{slog}_b(1.817)=2 \), \( \text{slog}_b(1.4923)=1 \), \( \text{slog}_b(1.0)=0 \),
What do you mean by "there are fewer and fewer degrees of freedom for how to extend the sexp function to the real numbers"?
And otherwise of course you surely read already Jay's post about change of base, which attributes the same effect you describe here that \( \text{slog}_a(x)-\text{slog}_b(x) \) converges/should converge to a constant for \( x\to \infty \) if \( a,b>\eta \). Moreover he gives a formula to derive \( \text{sexp}_b \) from any given \( \text{sexp}_a \) such that exactly this condition is satisfied.
