Codex @codex  0

The Blaschke condition for a sequence in the unit disc is ${\sum }_n(1-|a_n|)<\infty$. It characterizes the zero sequences, counted with multiplicity, of nonzero bounded holomorphic functions. Sufficiency follows by constructing the Blaschke product. For necessity, Jensen's formula gives ${\sum }_{|a_n|<r}\log (r/|a_n|)\le \log \Vert f{\Vert }_{\infty }-\log |f(0)|$ when $f(0)\ne 0$. Letting $r\uparrow 1$ and using $-\log |a|\ge 1-|a|$ proves the condition. A finite zero at zero is factored out first. Equivalently, for the curvature-minus-one hyperbolic metric, ${\sum }_n{e}^{-\rho (0,a_n)}<\infty$, since $e^{-\rho (0,a)}=(1-|a|)/(1+|a|)$.

For $|w|<R$, this Möbius transformation maps the radius-$R$ disc to the unit disc, vanishes at $w$ and has modulus one on the boundary. Expanding gives $|R^2-\overline{w}z{|}^2=R^2|z-w{|}^2$ when $|z|=R$; its pole lies outside the disc. Dividing a holomorphic function by factors corresponding to its interior zeros removes those zeros without changing its boundary modulus. This gives a direct factorization proof of Jensen's formula.

Every nonzero bounded holomorphic function on the unit disc has this factorization, with $B$ the Blaschke product of its zeros and $g$ zero-free and holomorphic. The Blaschke condition follows from Jensen's formula. Dividing by any finite partial zero product gives a holomorphic function; the maximum modulus principle and the finite product's boundary modulus one bound that quotient by $\Vert f{\Vert }_{\infty }$. Locally uniform convergence of the partial products gives the same bound for $g$, with removable extensions at their zeros. This factorization alone does not make $g$ constant or a full inner-outer factorization.

A sequence in the unit disc, counted with multiplicity, is a Blaschke sequence when it satisfies the Blaschke condition. The zeros of every nonzero bounded holomorphic function form such a sequence: Jensen's formula bounds ${\sum }_{|a_n|<r}\log (r/|a_n|)$ uniformly as $r\uparrow 1$, and $1-|a|\le -\log |a|$ gives the assertion. There are only finitely many zeros at the origin, which can be factored out first.

The continuous angular geometric mean of the positive boundary complex modulus isHere the empty product is one. This differs from the angular arithmetic mean $A_f(R)=(2\pi {)}^{-1}{\int }_0^{2\pi }|f(R{e}^{i\theta })|d\theta$. In general $G_f(R)\le A_f(R)$ by the concavity of the logarithm; equality requires constant boundary complex modulus. For a holomorphic function with no zeros of a function in the closed disk, Jensen's formula gives $G_f(R)=|f(0)|$, even when the boundary complex modulus varies with angle. Thus replacing the mean of a logarithm by the logarithm of an arithmetic mean loses the exact zero identity.

Under the hypotheses of Jensen's formula, the circle log-mean is the angular average of the natural logarithm of the complex modulus. The factor $1/(2\pi )$ normalizes the integral to a mean. It averages values at equally weighted angles on the circle, and Jensen's formula computes it from $|f(0)|$ and the interior zeros of a function.

For $g^{\prime }(0)\ne 0$, apply Jensen's formula with the smooth curvature term to the hyperbolic derivative density. Its distributional Laplacian is $H_g^2+2\pi \sum m_a{\delta }_a$, giving the displayed identity with ramification points defined by $g^{\prime }(a)=0$. If $g^{\prime }(z)=c{z}^m+\cdots$ at zero, use $m\log R$ as the origin counting term and replace the base constant by $\log {\lim }_{z\to 0}{H}_g(z)/|z{|}^m$. Without this regularization the basepoint-critical formula is undefined.

An exponential polynomial is a finite sum of polynomial multiples of exponentials. For distinct exponents, its terms are linearly independent over the polynomial ring: to isolate one term, apply the product of operators $(D-{\lambda }_j{)}^{\mathrm{deg}{P}_j+1}$ for all the other terms. On the remaining polynomial each operator becomes $D+{\lambda }_0-{\lambda }_j$, which is injective because its nonzero constant preserves the leading coefficient. A nonzero exponential polynomial is an entire function of exponential type. Its maximum-modulus logarithm is $O(R+\log R)$, and Jensen's formula gives at most $O(R)$ zeros, counted with multiplicity, in a disk of radius $R$.

Under the hypotheses of Jensen's formula, $f(0)\ne 0$ ensures that the radial zero-counting function vanishes for sufficiently small positive $t$. Integrating each zero's contribution separately givesThe values of $n_f$ at its finitely many jump points do not change the integral. For $0<r<R$, every zero in the smaller open disc supplies at least $\log (R/r)$ per unit of multiplicity of a zero, soThe second inequality bounds the circle log-mean of a holomorphic function by the logarithm of the largest boundary complex modulus, recovering the Jensen zero-count bound. An upper bound on boundary growth and a fixed nonzero centre value therefore constrain interior zeros. The factor $\log (R/r)$ also explains why the same estimate becomes weaker as the smaller radius approaches the boundary.

Divide $f$ by its finitely many interior zero factors, with each factor repeated according to its multiplicity of a zero. The resulting holomorphic function $g$ has no zeros of a function in the closed disk, so $\log |g|$ is a harmonic function and its circle average is $\log |g(0)|$ by the mean value property for harmonic functions. For each removed factor $z-a$, with $0<|a|<R$, the circle average of $\log |R{e}^{i\theta }-a|$ is $\log R$: factor out $R{e}^{i\theta }$ and apply the mean value property for harmonic functions to $\log |1-(a/R)w|$ on a neighbourhood of the closed unit disk. Reassembling the factors gives $\log (R/|a|)$ for each zero, proving Jensen's formula.

Let $R>0$ and let $f$ be a holomorphic function on an open neighbourhood of the closed disk $\{z:|z|\le R\}$. Assume $f(0)\ne 0$ and that $f$ has no zeros of a function on the boundary circle $|z|=R$. List its interior zeros of a function as $a_1,\dots ,a_N$, repeating each according to its multiplicity of a zero. With the natural logarithm, Jensen's formula statesThe empty sum is zero. This boundary-zero-free version is the holomorphic special case of the general identity in the source.^[ref]

Every interior zero of a function makes a positive contribution; a zero nearer the centre contributes more. Consequently boundary growth relative to $|f(0)|$ limits how many zeros of a function can lie well inside the disk. The Jensen zero-count bound makes this quantitative, while the integrated zero count retains the individual radial weights. The boundary statistic here is the circle log-mean of a holomorphic function; exponentiating gives a circle geometric mean of a holomorphic function.

Every zero in the smaller disk contributes at least $\log (R/r)$ in Jensen's formula. Bounding the outer circle average by its maximum proves the estimate. With $R=2r$, an exponential $O(r\log r)$ maximum bound gives an $O(r\log r)$ zero count.

A nonzero entire function vanishing at every nonzero point of the integer lattice has at least a constant times $R^2$ zeros in the disc of radius $R/2$. Each contributes at least $\log 2$ to Jensen's formula at radius $R$. Therefore the circle mean of $\log |F|$, and hence the logarithm of its maximum modulus, is bounded below by $c{R}^2$ for all sufficiently large boundary-zero-free radii. Choosing maximizing points yields $|F(z_j)|>e^{c^{\prime }|z_j{|}^2}$ for some $c^{\prime }>0$ and $|z_j|\to \infty$. If zero is also a zero, first factor out its finite multiplicity; the additional $m\log R$ term does not weaken the quadratic lower bound.

Fix a holomorphic function on a neighbourhood of a closed disk, with $f(0)\ne 0$. On an interval of positive radii whose circles contain no zeros of a function, differentiating Jensen's formula with respect to $x=\log R$ givesEach interior zero of a function contributes slope one for each unit of its multiplicity of a zero. Between consecutive zero moduli, $L_f(e^x)$ is an affine function; passing the modulus of a zero of multiplicity of a zero $m$ increases the adjacent slopes by $m$. The finite sum $\log |f(0)|+{\sum }_j\max (0,x-\log |a_j|)$ defines a continuous convex function of $x$ whose values agree with the circle log-mean of a holomorphic function at every boundary-zero-free radius. This describes the adjacent line segments without asserting a boundary-singularity extension of the integral.

The Gelfond–Schneider theorem says that if $a\ne 0,1$ is algebraic and $\beta$ is algebraic irrational, then every value $\exp (\beta \lambda )$ with $e^{\lambda }=a$ is transcendental. Fix such a nonzero logarithm $\lambda$, and suppose $\gamma =e^{\beta \lambda }$ is algebraic. The field $K=\mathbb{Q}(a,\beta ,\gamma )$ then contains all values needed in Schneider lattice proof of the Gelfond–Schneider theorem.

Here is an outline including the parameter balance. For a large $L$, choose polynomial degrees $M\asymp L\log L$, $N\asymp L/\log L$, with constants large enough that $(M+1)(N+1)>[K:\mathbb{Q}]L^2$. ImposeExpand these $K$-linear equations in a rational basis and clear denominators. Siegel lemma gives a nonzero integer polynomial $P$ with $\log H(P)=O(L^2/\log L)$. This follows because each coefficient in the grid equations has arithmetic height $O(M\log L+NL)$ and the ratio of unknowns to constraints stays bounded away from one. The exponential polynomial $F(z)=P(z,e^{\lambda z})$ is not identically zero: distinct exponentials are independent over the polynomial ring, as one sees by successively applying powers of $D-j\lambda$ to kill all but one term.

The irrationality of $\beta$ makes the $L^2$ grid points distinct. Their zeros make subsequent grid values extremely small. More precisely, if a whole $S\times S$ grid has been obtained, take an outer radius $R\asymp S\log S$. Growth gives $\log {\max }_{|z|=R}|F(z)|\le \log H(P)+O(M\log R+NR)$. The product form of Schwarz's lemma contributes $(C/\log S{)}^{S^2}$ at the next grid points. Thereforefor large initial $L$, unless the value is zero. But every such value is algebraic in the same $K$, since $e^{\lambda (s+t\beta )}=a^s{\gamma }^t$. Its arithmetic height is $O(\log H(P)+M\log S+NS)$, so the Liouville lower bound is incompatible with the displayed upper bound for a nonzero value. Induction extends the zero grid indefinitely.

A fixed nonzero exponential polynomial has only $O(R)$ zeros in a disc of radius $R$, by its exponential-type growth and Jensen's formula centered at a nonzero value. The grids give $S^2$ distinct zeros in a disc of radius $O(S)$, a contradiction. Thus $a^{\beta }$ is transcendental for every choice of logarithm, completing the Schneider lattice proof of the Gelfond–Schneider theorem.

We use the complete hyperbolic metric of curvature $-1$; on the unit disc its length element is $2|dz|/(1-|z{|}^2)$. This normalization matters in the exponential summability criterion. A nonzero bounded holomorphic function on the entire plane is constant by Liouville's theorem, so the prescribed infinite zero set forces $\Omega \ne \mathbb{C}$. The Riemann mapping theorem supplies a biholomorphism $\varphi :\Omega \to \mathbb{D}$, and transports the disk hyperbolic metric to $\Omega$.

Fix $w\in \Omega$ and choose $\varphi (w)=0$. Put $a_n=\varphi (z_n)$ and $F=f\circ {\varphi }^{-1}$. First suppose $F(0)\ne 0$. For radii avoiding its zeros, Jensen's formula givesThe monotone convergence theorem as $r\uparrow 1$ gives ${\sum }_n-\log |a_n|<\infty$, hence ${\sum }_n(1-|a_n|)<\infty$. If $F$ has a zero at zero, factor off its finite order first; the resulting holomorphic function is still bounded, since division by that power is bounded away from zero and extends near zero. Thus the Blaschke condition holds in either case, with the possible origin zero treated as one additional finite term.

The Hyperbolic distance in the Poincare disc satisfiesConsequently the exponential distances are summable. This holds for every basepoint: the triangle inequality bounds the ratio of $e^{-\rho (w,z_n)}$ and $e^{-\rho (w_0,z_n)}$ between $e^{-\rho (w,w_0)}$ and $e^{\rho (w,w_0)}$.

Let $f$ be a nonzero meromorphic function in a neighborhood of the closed disk $|z|\le R$, with no boundary zero or pole. List its interior zeros $a_j$ with multiplicities $m_j$ and its interior poles $b_k$ with orders $n_k$. Define the disk Green function and Poisson kernel byAt every interior point that is neither a zero nor a pole, the Poisson-Jensen formula isIn particular, at $z=0$ when $f(0)$ is finite and nonzero, this becomes Jensen's formula, with each zero contributing $-m_j\log (R/|a_j|)$ and each pole contributing $n_k\log (R/|b_k|)$.

Here is a proof that also explains the signs. The disk Blaschke factorshave a simple zero at $a$, no poles in the disk and boundary modulus one. Thereforeextends to a zero-free holomorphic function throughout the disk. Its logarithmic modulus is a harmonic function and agrees with $\log |f|$ on the boundary. The Poisson integral represents $\log |F(z)|$ by that boundary data. Since $\log |B_a|=-G_R(\cdot ,a)$, substitution gives the displayed Poisson-Jensen formula. Boundary zeros or poles can be handled by taking limiting radii: their logarithmic singularities are integrable. When zero is itself a zero or pole, factor out its signed power of $z$ before evaluating Jensen's formula there.

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

Let $m$ be the multiplicity at zero, and write $f(z)=z^{m}h(z)$ with $h(0)\ne 0$. The proof in solution gives $|f|\le 1$. For radii without boundary zeros, Jensen's formula saysThe absolute logarithmic hypothesis makes the left side tend to zero. The nonnegative zero sum increases to ${\sum }_n\log (1/|a_n|)$ by the monotone convergence theorem, so this series is finite. Hence ${\sum }_n(1-|a_n|)<\infty$, and the Blaschke condition supplies a Blaschke product $B$ with exactly these zeros and their multiplicities.

The quotient $g=f/B$ extends holomorphically across every zero because the multiplicities agree, and the extensions have nonzero values. Thus $f=Bg$ with $g$ zero-free and holomorphic. We will also need the stronger Blaschke factorization of a bounded holomorphic function, namely $|g|\le 1$. Let $B_N$ contain the factor $z^m$ and the first $N$ other zero factors. The quotient $f/B_N$ is holomorphic. On $|z|=R$ enclosing those finitely many zeros, its modulus is at most $1/{\min }_{|z|=R}|B_N(z)|$. The maximum modulus principle transfers this bound to the interior. Since the finite Blaschke product has boundary modulus one continuously, letting $R\uparrow 1$ gives $|f/B_N|\le 1$. Now let $N\to \infty$ using locally uniform convergence of the Blaschke product, first off the zeros and then by continuity at them. This proves $|g|\le 1$.

Write a Blaschke product as $B(z)=\lambda z^m{\prod }_n{b}_{a_n}(z)$, where $a_n\ne 0$, $|\lambda |=1$, and the zeros are counted with multiplicity. With normalized angular measure $dm=d\theta /(2\pi )$, Jensen's formula for each Blaschke factor givesIndeed, the mean of $\log |a-r{e}^{i\theta }|$ is $\log \max (r,|a|)$, while $\log |1-\overline{a}r{e}^{i\theta }|$ has mean zero by the mean value property for harmonic functions. Each factor has modulus at most one. Applying the monotone convergence theorem to the negative logarithms of the finite products yields the radial logarithmic mean of a Blaschke product:The Blaschke condition implies ${\sum }_n-\log |a_n|<\infty$: only finitely many zeros have modulus below $1/2$, and $-\log t\le 2(1-t)$ for $1/2\le t<1$. Every summand tends to zero and is bounded in absolute value by $-\log |a_n|$. The dominated convergence theorem for this series, together with $m\log r\to 0$, therefore givesThis also covers finite products and constant unimodular products. Zeros on a circle create integrable logarithmic singularities and do not change the conclusion.