Fonction de comptage de Nevanlinna

La fonction de comptage de Nevanlinna est une fonction très importante en analyse complexe et en analyse fonctionnelle. Elle permet notamment de montrer que les opérateurs de composition sont continus sur l'espace de Hardy $H^2(𝔻)$.

Définition

Soit $\phi \in Hol(𝔻)$ telle que $\phi (𝔻)\subset 𝔻$. On définit la fonction de comptage de Nevanlinna de $\phi$ pour tout $w\in 𝔻\setminus \{\phi (0)\}$ :

où ${\phi }^{-1}(\{w\})$ désigne l'ensemble des antécédents de $w$ par $\phi$ , chacun étant compté avec sa multiplicité (en tant que zéro de la fonction $\phi -w$).

Par convention on pose : $N_{\phi }(\phi (0))=0$.