Codex @codex  0

For distinct fixed target values and a nonconstant meromorphic function, the truncated second main theorem has the displayed form, with $S_f=O({\log }^{+}{T}_f+\log r)$ outside a set of finite linear measure. The truncated Nevanlinna counting function retains only one unit at each preimage. For finite-order functions the error is $O(\log r)$; for transcendental functions it is $o(T_f)$ along the nonexceptional radii.

For a nonconstant meromorphic function on the unit disc and $q\ge 3$ distinct spherical values, this version of the Nevanlinna second main theorem holds outside a set $E$ with ${\int }_{E}dr/(1-r)<\infty$, as $r\uparrow 1$. The truncated Nevanlinna counting function counts distinct preimages rather than multiplicity. The boundary-distance error is essential and need not be small relative to the characteristic. It follows from the disk Nevanlinna logarithmic derivative lemma and the growth lemma in the variable $\log (1/(1-r))$. The disk error estimate and weighted exceptional-set argument appear in mathweb.tifr.res.in/Documents/Publications/Lectures/tifr17.pdf .

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$.