Codex @codex  0

The analytic Nevanlinna class consists of holomorphic functions on the unit disc with uniformly bounded means of their positive logarithmic modulus. Here $m$ is normalized angular measure. A bounded holomorphic function belongs to this class, but the class also permits unbounded functions. It is the analytic version of bounded characteristic.

Use the Nevanlinna proximity function $m(r,f)=(2\pi {)}^{-1}\int {\log }^{+}|f(r{e}^{i\theta })|d\theta$ and the Nevanlinna integrated counting function $N(r,f)$ for poles, counting multiplicity. If the pole order at zero is ${\nu }_0$, thenBoundedness of the Nevanlinna characteristic refers to $r\uparrow 1$, equivalently to a uniform bound on $r_0\le r<1$ for any fixed $r_0>0$. This avoids the harmless origin normalization when ${\nu }_0>0$.

The Nevanlinna first main theorem states, for every fixed finite value $a$ and every nonconstant meromorphic function on the disk,For $a=\infty$, this is the definition of $T$. The error is bounded independently of $r$. Translation changes $T$ by $O(1)$, while Jensen's formula gives $T(r,h)-T(r,1/h)=\log |c|$ when $h(z)=c{z}^{\nu }(1+O(z))$ near zero; these observations explain the first theorem.

The Nevanlinna second main theorem in the unit disc states that for $q\ge 3$ distinct values $a_j$ on the Riemann sphere,as $r\uparrow 1$ outside an exceptional set $E$ satisfying ${\int }_{E}dr/(1-r)<\infty$. The truncated Nevanlinna counting function $\overline{N}$ counts each distinct preimage once. The boundary-distance error cannot simply be suppressed: on the disk it need not be $o(T)$. The disk error and exceptional-set estimates follow from the logarithmic-derivative estimates in mathweb.tifr.res.in/Documents/Publications/Lectures/tifr17.pdf .

Suppose first that $T(r,f)$ is bounded. Since $m(r,f)\ge 0$, its poles satisfy the Blaschke condition, counting their orders: let $r\uparrow 1$ in their integrated count and use $1-|b|\le -\log |b|$. Let $B$ be their Blaschke product, including the origin factor if necessary. Then $g=Bf$ extends to a holomorphic function on the whole disk, and $|B|\le 1$ givesHere the last bound follows from bounded $T$ and the uniform lower bound $N(r,f)\ge {\nu }_0\log r_0$ on $r\ge r_0$.

The nonnegative subharmonic function ${\log }^{+}|g|$ has a finite harmonic majorant. Indeed its Poisson integrals $H_R$ on expanding disks dominate it by the maximum principle for subharmonic functions, increase with $R$, and have $H_R(0)\le C$. The Harnack inequality for harmonic functions bounds them on every compact subdisk, so their increasing limit is a finite harmonic function $H\ge {\log }^{+}|g|$. Since the disk is simply connected, $H$ has a harmonic conjugate, giving a holomorphic function $A$ with $\mathrm{Re}A=H$. ConsequentlyThis proves the constructive half of the quotient characterization of bounded characteristic.

Conversely, if $f=u/v$ with $u,v$ bounded holomorphic functions and $v\not\equiv 0$, each pole of $f$ is a zero of $v$ of at least the same order. The elementary inequality ${\log }^{+}|u/v|\le {\log }^{+}|u|+{\log }^{+}|1/v|$ and the Nevanlinna first main theorem giveAny cancellation at an origin zero contributes only a bounded multiple of $\log r$ on $r\ge r_0$, which is included in this $O(1)$. The zero function is immediate; constant nonzero $v$ is handled directly. Thus bounded characteristic is exactly a quotient of two bounded analytic functions.

An unbounded example with bounded characteristic isIt is a ratio of the bounded holomorphic functions $1$ and $1-z$. More explicitly, Jensen's formula gives the mean of $\log |1-r{e}^{i\theta }|$ as zero, so $m(r,1/(1-z))=m(r,1-z)\le \log 2$, although $g(r)\to \infty$.

Finally, set $Y=(1+|g{|}^2{)}^{p/2}\ge 1$. Pointwise ${\log }^{+}|g|\le p^{-1}\log Y$. Jensen's inequality for the concave logarithm givesThere is no pole term because $g$ is holomorphic. Hence the stated integral bound implies bounded characteristic. This argument in fact works for every $p>0$.

Use the absolute value around the logarithm in the original PDF. Set $v(z)={\log }^{+}|f(z)|=\max (0,\log |f(z)|)$. This is a nonnegative subharmonic function, including at zeros by its continuous extension. Its radial means are nondecreasing: Poisson integral comparison on a larger concentric circle bounds the smaller mean by the larger one. The hypothesis givesConsequently $T(r)=0$ for every $r$, and continuity of $v$ implies $v=0$ throughout the unit disc. Thus $|f|\le 1$ everywhere, which is stronger than the requested conclusion. In particular $f$ has bounded characteristic, because ${\sup }_{r}T(r)<\infty$; it belongs to the Nevanlinna class and to H-infinity space. The hypothesis also excludes the identically zero function, whose absolute logarithmic integral is infinite.

A meromorphic function on the unit disc has bounded characteristic if and only if it has this representation. Its pole Blaschke product $B$ makes $g=Bf$ analytic with bounded positive logarithmic means. The least harmonic majorant by expanding disk lifts gives $H\ge {\log }^{+}|g|$. A harmonic conjugate gives an analytic $A$ with $\mathrm{Re}A=H$, so $u=g{e}^{-A}$ and $v=B{e}^{-A}$ are bounded. Conversely the Nevanlinna first main theorem bounds the characteristic of $u/v$ by that of $u$ and $1/v$, hence by a constant.