Equidistribution of the zeros of higher order derivatives in polynomial dynamics (Q6084646)

The author studies the convergence of averaged distributions of the zeros of the \(m\)-th order derivatives \((f^{n})^{(m)}\) of iterated polynomials \(f^{n}\) of a polynomial \(f\in \mathbb{C}[z]\) of degree bigger than 1 towards the harmonic measure of the filled-in Julia set of \(f\) with pole at \(\infty\) as \(n \rightarrow +\infty\) for every \(m\in \mathbb{N}\), when \(f\) has no exceptional points in \(\mathbb{C}\). This is the main result: Theorem. If the exceptional set is \(E(f)=\{\infty\}\), then \[ \lim_{n \rightarrow +\infty} \frac{((f^{n})^{(m)})^{*}\delta_{0}}{d^{n}-m} =\mu_{f} \qquad \text{weakly on} \; \mathbb{P}^{1}. \] To prove his results, the author gives some preliminary computations on the higher order derivatives of iterations of a meromorphic function on \(\mathbb{C}\) restricted to an either attracting or parabolic basin. Solutions of Schröder's or Abel's functional equations with a locally uniform non-trivial error estimate are used. The following result is used to prove the above theorem: Theorem. If \(E(f)=\{\infty\}\), then for every \(m\in \mathbb{N}\), \[ \lim_{n \rightarrow +\infty} \frac{\log |(f^{n})^{(m)}|}{d^{n}-m} =g_{f} \qquad \text{in} \; L^{1}_{\text{loc}}(\mathbb{C}, m_{2}), \] where \(m_{2}\) is the real 2-dimensional Lebesgue measure on \(\mathbb{C}\).