Uniqueness of Tetration

Proposition

For each $b>e^{1/e}$ there exists exactly one holomorphic function $\sigma_b$ on $D=\C\setminus\{x \le -2\}$ which satisfies for all $z\in D$: $$\overline{\sigma_b(z)}=\sigma_b(\overline{z})$$, $$\sigma_b(z+1)=b^{\sigma_b(z)}$$ and $$\sup_{t\to\infty}\left| \sigma_b(s+{\rm i}t)\right| <\infty$$ for each $s>-2$.

Proof.

We know there exists already a solution $\tau_b$ which satisfies all conditions and its inverse $\alpha_b$ which is a whole function and satisifies $\alpha_b(b^z)=\alpha_b(z)+1$. Then we know that the function $\delta(z)=\alpha_b(\sigma_b(z))-z$, holomorphic on $D$, is periodic with period 1: $$\delta(z+1)=(\alpha_b(\sigma_b(z+1))-(z+1)=\alpha_b(\sigma_b(z))-z=\delta_b(z)$$ and is real for $z > -2$ (and can be continued to $\R$) and can to developed into a real Fourier-Series ($A_k$, $\phi_k$ in $\R$):

$$\delta(t)=\sum_{k=0}^{\infty}A_{k}\cos\left(2\pi kt-\varphi_{k}\right)$$

$$\delta(z)=\sum_{k=0}^{\infty}\frac{A_{k}}{2}\left(\exp\left(2\pi {\rm i}kz-{\rm i}\varphi_{k}\right)+\exp\left(-2\pi {\rm i}kz+{\rm i}\varphi_{k}\right)\right)$$

$$ \delta(s+{\rm i}t)=\sum_{k=0}^{\infty}\frac{A_{k}}{2}\left(\exp\left(2\pi {\rm i}ks-2\pi kt -{\rm i}\varphi_{k}\right)+\exp\left(-2\pi {\rm i}ks+2\pi kt+{\rm i}\varphi_{k}\right)\right) $$