Very pretty pictures.
I thought I might add an interesting quip about how to calculate this complex super function. I recently ran into this formula working on difference equations, and it turned out to be equivalent to solving for super functions. (Funny how the brain works, when working on two entirely different problems, they happen to be intensely related.)
Define the sequence \( \zeta_n = \Psi^{-1}(e^{-n} \Psi(x_0)) \) where \( x_0 \) is fixed and is arbitrary, so long as \( \log^{\circ n}(x_0) \to L \). We can write an entire super function of exponentiation as
\( F(z)=\frac{1}{\Gamma(Lz)} (\sum_{n=0}^\infty \zeta_n \frac{(-1)^n}{n!(n+Lz)} + \int_1^\infty (\sum_{n=0}^\infty \zeta_n \frac{(-t)^n}{n!})t^{Lz-1}\,dt) \)
This expression converges FOR ALL complex values, which is REAL nice.
Naturally
\( e^{F(z)} = F(z+1) \),
but
\( F(z) \neq 0 \), and is not real valued on the real line.
I have equally so been wondering if this can somehow be morphed into a solution to tetration, but no luck so far. I'm still a little lost about how Kneser does it, but even how it looks, it doesn't seem like it'l apply in this scenario.
EDIT:
I thought I'd add that its periodic too.
Since this super function looks locally like \( F(z) = \Psi^{-1}(e^{Lz}\Psi(x_0)) \), it follows that \( F(z+\frac{2\pi i}{L}) = F(z) \)
I thought I might add an interesting quip about how to calculate this complex super function. I recently ran into this formula working on difference equations, and it turned out to be equivalent to solving for super functions. (Funny how the brain works, when working on two entirely different problems, they happen to be intensely related.)
Define the sequence \( \zeta_n = \Psi^{-1}(e^{-n} \Psi(x_0)) \) where \( x_0 \) is fixed and is arbitrary, so long as \( \log^{\circ n}(x_0) \to L \). We can write an entire super function of exponentiation as
\( F(z)=\frac{1}{\Gamma(Lz)} (\sum_{n=0}^\infty \zeta_n \frac{(-1)^n}{n!(n+Lz)} + \int_1^\infty (\sum_{n=0}^\infty \zeta_n \frac{(-t)^n}{n!})t^{Lz-1}\,dt) \)
This expression converges FOR ALL complex values, which is REAL nice.
Naturally
\( e^{F(z)} = F(z+1) \),
but
\( F(z) \neq 0 \), and is not real valued on the real line.
I have equally so been wondering if this can somehow be morphed into a solution to tetration, but no luck so far. I'm still a little lost about how Kneser does it, but even how it looks, it doesn't seem like it'l apply in this scenario.
EDIT:
I thought I'd add that its periodic too.
Since this super function looks locally like \( F(z) = \Psi^{-1}(e^{Lz}\Psi(x_0)) \), it follows that \( F(z+\frac{2\pi i}{L}) = F(z) \)