Spectral-radius three-circle inequality ($M_r(f)\le M_{r_0}(f{)}^{1-\theta }{M}_{r_1}(f{)}^{\theta }$)

For a holomorphic Banach algebra-valued function, put $M_r(f)={\sup }_{|z|=r}r(f(z))$. Apply the Hadamard three-circle theorem to the holomorphic powers $f^{2^n}$. The continuous functions $\Vert f(z{)}^{2^n}{\Vert }^{1/2^n}$ decrease to the spectral radius. Supremum convergence for decreasing continuous functions passes the boundary suprema to the limit, proving the inequality with the same logarithmic interpolation parameter. In particular, at the geometric-mean radius, the square of the middle spectral radius is at most the product of the two boundary suprema.

If an entire Banach algebra-valued function has bounded spectral radius, that spectral radius is constant. The spectral-radius three-circle inequality on circles about an arbitrary point, with the outer radius tending to infinity, bounds every interior value by the maximum on any smaller circle. Upper semicontinuity of the spectral radius then lets the smaller radius tend to zero. Every value is bounded by the value at the arbitrary center; exchanging centers gives equality. The algebra-valued function itself can be nonconstant, for example $zN$ for a fixed nonzero square-zero matrix $N$.