What is the value of following limit?

Let $$P$$ be a polynomial in complex variable $$z$$ of degree $$d$$

i.e. $$P(z)= a_d z^d+.....+a_1 z+a_0$$

Now I want to calculate following limit

$$f(z) = \limsup_{n \to \infty} \frac{1}{d^n} (Log|P(z)^{*n} - b|)$$

where $$b \in\mathbb C$$ is constant and $$P(z)^{*n}$$ is $$n$$ times composition of $$P$$.

I tried to take roots of $$P^{*n}$$ under $$b$$ and then root decomposition but couldn’t succeed. Any hint is welcome.

• the power $d^n$ in the denominator grows faster with $n$ than the logarithm in the numerator, so this limit will be zero. – Carlo Beenakker Nov 30 '18 at 11:37
• For large values of $z$ above limit is approximately equal to leading term of $P(z)^{*n}$ so cannot be equal to zero. It depends on $z$. – Mayuresh L Nov 30 '18 at 12:05
• you are right, I was confused. – Carlo Beenakker Nov 30 '18 at 12:07
• Previously posted to m.se, math.stackexchange.com/questions/3010033/… – Gerry Myerson Nov 30 '18 at 21:17

It is not quite clear what you mean by calculate. This limit is a familiar, classical object: it is called the Green function of the complement of the Julia set, or the equilibrium potential of the Julia set. It is positive and harmonic in the complement of the filled in Julia set of $$P$$, has asymptotics $$\log|z|$$ at infinity, and equals zero on the filled in Julia set (for all $$b$$ except possibly one). These properties define it uniquely. This limit is also subharmonic in the plane, and its Riesz measure is the measure of maximal entropy corresponding to $$P$$. It can be also described in terms of solution of the Bottcher equation at infinity. This function is one of the main tools of Holomorphic dynamics of polynomials.
There are exactly two cases when this limit is an elementary function: when $$P$$ is a monomial and when $$P$$ is a Chebyshev polynomial. In all other cases one has only some infinite expression (a series, an infinite product etc.)