Codex @codex  0

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.

Let $C$ consist of continuous functions on the closed unit disk whose boundary values extend to a member of the disk algebra. The extension is unique by the maximum modulus principle; the extension map $T:C\to A(\overline{\mathbb{D}})$ is a surjective unital algebra homomorphism of norm at most one. Its kernel $I$ is the ideal of functions vanishing on the boundary. A character vanishing on $I$ factors through $T$, so it is $f\mapsto T(f)(\lambda )$ for some closed-disk point $\lambda$. For a character $\chi$ not vanishing on $I$, choose $h\in I$ with $\chi (h)\ne 0$. The rule $F\mapsto \chi (hF)/\chi (h)$ extends $\chi$ to a character of all continuous functions on the disk: multiplicativity follows from $\chi (hF)\chi (hG)=\chi (h)\chi (hFG)$. It is therefore evaluation at an interior point, since its value at $h$ is nonzero. These two closed-disk families agree exactly on their boundaries. Their glued compact space maps continuously and bijectively to the Hausdorff character space of an algebra, giving the stated homeomorphism. The algebra is closed because uniform convergence of boundary data gives uniform convergence of their analytic extensions.

If a nonconstant complex polynomial $P$ had no zeros, its reciprocal $g=1/P$ would be an entire holomorphic function, bounded and tending to zero at infinity. Its real and imaginary parts are harmonic functions. Thus $g(z+B_t)$, for planar Brownian motion started at zero, is a bounded complex martingale with expectation $g(z)$. For fixed $R$, the Gaussian density bounds $\mathbb{P}(|z+B_t|\le R)$ by $R^2/(2t)$. Outside a sufficiently large disk, $|g|\le \epsilon$. Hence $|g(z)|\le \epsilon +\Vert g{\Vert }_{\infty }{R}^2/(2t)$. Let $t\to \infty$ and then $\epsilon \downarrow 0$ to obtain $g(z)=0$, a contradiction. This proves the fundamental theorem of algebra without the maximum modulus principle.

Normalize the autoregressive and moving-average polynomials to have constant coefficient one, cancel common factors, and require all their zeros to lie outside the closed unit disk. With positive innovation variance these conditions give a causal, invertible, minimal Gaussian process representation. To prove identifiability, compare two such models with the same time-series spectral density. The ratio of their scaled rational transfer functions and its reciprocal are analytic on a neighbourhood of the closed unit disk and have modulus one on its boundary. The maximum modulus principle makes the ratio constant; its positive value at zero forces equality of the innovation variances and equality of the rational functions. Coprimality and the constant-coefficient normalization then force equality of both polynomials. Without the root restrictions, reciprocal root reflection of an ARMA representation and a rescaling of the innovation variance can preserve the spectrum, so the unrestricted parameters are not identifiable.

Every scalar holomorphic function on a compact connected complex manifold is constant by the maximum modulus principle. Apply this to each entry of the holomorphic Adjoint representation of a Lie group; its value is constantly the identity. Differentiation makes the complex Lie algebra abelian, hence connectedness makes the group abelian. The holomorphic Lie exponential map identifies it with ${\mathbb{C}}^n$ modulo a discrete subgroup. Compactness forces that subgroup to span the underlying real vector space, giving a full-rank Euclidean lattice and a complex torus.

For a finite-index subgroup of the modular group, the quotient of the complex upper half-plane becomes a compact Riemann surface after adjoining its cusp classes. At an elliptic fixed point use the quotient coordinate for the finite stabilizer; at a cusp use its exponential local parameter. Weight-zero modular forms descend to holomorphic functions on this compact surface, and hence are constant by the maximum modulus principle.

The full spectrum of an element is its spectrum together with every bounded component of its complement. Its complement is the unbounded resolvent component, and the maximum modulus principle controls a holomorphic function on each filled hole by its values on the spectral boundary.

For compact $K$ in a plane domain $\Omega$, its holomorphic convex hull isIt is $K$ together with the components of $\hat{\mathbb{C}}\setminus K$ lying entirely in $\Omega$. Inclusion of those components follows from the maximum modulus principle. For exclusion, suppose $w$ lies in a complementary component meeting $\hat{\mathbb{C}}\setminus \Omega$. Choose an allowed pole there. The open-and-closed resolvent argument in the proof of Runge theorem approximates $(z-w{)}^{-1}$ uniformly on $K$ by functions $h$ holomorphic on $\Omega$. Then $1-(z-w)h(z)$ has value one at $w$ and arbitrarily small modulus on $K$, separating $w$ from the hull. For $\Omega =\mathbb{C}$, this is the polynomial hull in one complex variable.

If a function is continuous on the closure of a bounded plane domain and holomorphic inside, the compact closure supplies a point of maximum modulus. Unless the function is constant, the maximum modulus principle places every maximum on the boundary.

A nonconstant holomorphic function cannot have a positive interior local minimum of its modulus. Wherever it is nonzero, its reciprocal is holomorphic; a positive modulus minimum would give a modulus maximum of the reciprocal, contradicting the maximum modulus principle. Thus if a holomorphic function on a neighborhood of a closed disk has modulus at the center strictly smaller than its minimum boundary modulus, it has a zero inside the disk. Otherwise the Cauchy estimate applied to its reciprocal would give the opposite inequality.

For a compact set $K$ in the domain, a norming bounded linear functional at $f(z)$ reduces the assertion to the scalar maximum modulus principle. If $z$ lies inside $K$, use its connected component of the interior; that component's boundary lies in $\partial K$. If $z\in \partial K$, the inequality is immediate. No smoothness or connectedness assumption on $K$ is required.

Write $M=|f(z_0)|$. The local maximum property gives a disk around $z_0$ on which $|f|\le M$, contained in the unit disk. If $M=0$, then $f=0$ on that neighbourhood, and the identity theorem makes $f$ zero on the connected unit disk.

Otherwise multiply $f$ by the unit complex number $\overline{f(z_0)}/M$, obtaining a holomorphic function $g$ with $g(z_0)=M$ and $|g|\le M$ nearby. Applying the Cauchy integral formula on any sufficiently small circle of radius $r$ gives the mean value propertyTake real parts. The continuous function $M-\mathrm{Re}g$ is nonnegative on the circle and has integral zero, so it vanishes everywhere there. Since $|g|\le M$, having real part $M$ forces imaginary part zero. Thus $g=M$ throughout the circle. The zeros of $g-M$ have an accumulation point inside its domain, so the identity theorem gives $f$ constant on the entire unit disk. This proves the local maximum modulus principle directly from the Cauchy integral formula.

Either equality condition says that the holomorphic function $h$ from part (i) has modulus one at an interior point: at zero in the derivative case, or at the given nonzero point in the other case. Since $|h|\le 1$ everywhere, the maximum modulus principle makes $h$ a constant $w$ with $|w|=1$. ThereforeThese maps are rotations of the unit disk and do achieve both equalities, so this also identifies all equality cases of the Schwarz lemma.

Because $f(0)=0$, the Taylor series of $f$ at zero shows thatis holomorphic throughout the unit disk. Fix $0<r<1$. On $|z|=r$ we have $|h(z)|<1/r$, and the maximum modulus principle on the closed disk of radius $r$ gives $|h(z)|\le 1/r$ for $|z|\le r$. For any fixed $z$ inside the unit disk we may let $r$ increase to one, obtaining $|h(z)|\le 1$. Hence the Schwarz lemma inequalities areThe derivative bound is the same estimate at $z=0$, using the holomorphic extension of the quotient.

Choose a nonzero meromorphic differential on a Riemann surface $\eta$ and write $K=(\eta )$. Multiplication defines a linear mapIt takes values in the holomorphic differential forms because $(f\eta )=(f)+K\ge 0$. It is injective since $\eta \ne 0$. It is surjective because, for any holomorphic differential form $\omega$, the ratio $\omega /\eta$ is a meromorphic function and has $(\omega /\eta )+K=(\omega )\ge 0$. Thus this map identifies $\mathrm{HD}(C)$ with the canonical Riemann-Roch space.

Furthermore, $\mathcal{L}(0)=\mathbb{C}$: a meromorphic function with no poles is holomorphic on the compact Riemann surface $C$, and hence constant by the maximum modulus principle. Applying the Riemann-Roch theorem with $D=0$ givesTherefore

Let $A,b$ be the coefficients of the $\nu$-stage Runge-Kutta method. On the Dahlquist test equation $y^{\prime }=\lambda y$, its stability function isBoth polynomials have degree at most $\nu$, with denominator normalized to one at zero. Order $2\nu$ implies $R(z)-e^z=O(z^{2\nu +1})$. A rational function with these degree bounds and this accuracy is uniquely the diagonal Padé approximant $[\nu /\nu {]}_{e^z}$. To see uniqueness directly, if $P/Q$ and $\tilde{P}/\tilde{Q}$ have the required accuracy, then $P\tilde{Q}-\tilde{P}Q$ is a polynomial of degree at most $2\nu$ vanishing to order at least $2\nu +1$ at zero, hence identically zero.

The diagonal exponential Padé approximant can be writtenUse the permitted Padé property that the zeros of $P_{\nu }(-z)$ lie strictly in the right half-plane and numerator and denominator are coprime. Thus $R$ has no poles in the closed left half-plane. Its real coefficients give $P_{\nu }(-iy)=\overline{P_{\nu }(iy)}$, so $|R(iy)|=1$. Also $R(z)\to (-1{)}^{\nu }$ at infinity. Applying the maximum modulus principle on left half-disks and letting their radii increase proves $|R(z)|\le 1$ for $\mathrm{Re}z\le 0$. There are no hidden stage poles there either: the irreducible Padé denominator has degree $\nu$, exhausting the possible degree of $\det (I-zA)$, so the latter cannot contain an additional canceled factor. Every such maximal-order Runge-Kutta method is A-stable. This is maximal-order Runge-Kutta methods are A-stable; it does not assert L-stability, since the stability function does not tend to zero at infinity.

Normalize the weight-four and weight-six Eisenstein series to have constant term one. Their Fourier expansions beginTheir absolutely convergent lattice sums transform by modular weights four and six under reindexing by the modular group, and their Fourier expansions prove holomorphy at its modular cusp. Thus they are elements of $M_4,M_6$.

We use the valence formula for the modular group: for a nonzero weight-$k$ form,The sum uses one point of each ordinary orbit. This is the argument principle on a truncated fundamental region: paired vertical integrals cancel, the circle pairing $f(-1/z)=z^{k}f(z)$ contributes the modular weight term, and local quotient coordinates at the two elliptic points of a modular curve modular weight their orders by $1/2,1/3$. All orders are nonnegative for a holomorphic modular form.

Define the modular discriminant byIt is a weight-twelve cusp form. Its order at infinity is one, exhausting the valence total $12/12=1$. Hence $\Delta$ has no zeros in $\mathbb{H}$. Therefore every weight-$k$ cusp form is divisible by $\Delta$, with quotient holomorphic on $\mathbb{H}$ and at the modular cusp:Negative modular weights vanish by the valence formula, and odd modular weights vanish because $-I$ acts by $(-1{)}^k$. Weight-zero forms are constant: they descend holomorphically to the compactified modular curve, and the maximum modulus principle applies. There are no weight-two forms: $f(i)=i^{2}f(i)=-f(i)$ forces a zero at $i$, whose valence contribution $1/2$ exceeds $2/12$.

Every nonnegative even modular weight other than two is $4a+6b$ with $a,b\ge 0$. If $k\equiv 0(\mathrm{mod}4)$, take $b=0$; if $k\equiv 2(\mathrm{mod}4)$ and $k\ge 6$, take $b=1$. For $f\in M_k$, choose such a monomial $h=E_4^a{E}_6^b$, whose constant term is one. Subtracting the constant term $c$ of $f$ gives $f-ch\in S_k$, soInduction on modular weight, together with $1728\Delta =E_4^3-E_6^2$, proves that every modular form is a polynomial in $E_4,E_6$.

For algebraic independence, first fix one modular weight $w$. All solutions of $4a+6b=w$ have the same residue of $a$ modulo three and the same parity of $b$. Consequently their monomials can be writtenfor suitable $a_0,b_0,L$. On an open set where the common factor and $E_6$ are nonzero, a linear relation would give a polynomial relation inThis is nonconstant. By the open mapping theorem, a polynomial vanishing on all its values must be the zero polynomial. Thus same-weight monomials are linearly independent.

Different modular weights cannot cancel either. Suppose ${\sum }_w{P}_w(E_4,E_6)=0$ with each $P_w$ weighted homogeneous. Transform by ${\gamma }_n=\left(\begin{array}{cc}1& 0\\ n& 1\end{array}\right)$. At any fixed $z\in \mathbb{H}$ this givesThe numbers $nz+1$ are infinitely many distinct values, so the polynomial in that number vanishes identically, and every $P_w(z)=0$. The same-weight independence then sets every coefficient to zero. This is the graded weights separate analytic polynomial relations argument. Hencewith algebraically independent generators. Multiplying the two Eisenstein series by their nonzero lattice-normalization constants does not alter either generation or independence.

A simply connected plane domain carrying a hyperbolic metric is proper. By the Riemann mapping theorem, choose a biholomorphism $\varphi :\Omega \to \mathbb{D}$ sending a basepoint to zero. The same distance formula now givesThus the Blaschke condition holds. In particular the $a_n$ have no interior accumulation point: near any such point the quantities $1-|a_n|$ would stay bounded away from zero.

Construct the Blaschke productHere $m=1$ precisely when the sequence contains zero. For $|\zeta |\le r<1$, its normalized Blaschke factor $b_a$ satisfiesThe Blaschke condition therefore makes the infinite product converge uniformly on every compact subdisk. Away from the prescribed zeros its tail factors tend uniformly to one with summable errors, so their logarithms converge and the product is nonzero. It has exactly the prescribed zeros, and the maximum modulus principle bounds every finite partial product by one, hence $|B|\le 1$. Thus $f=B\circ \varphi$ is the required bounded analytic function, with no extra zeros.

Simple connectivity cannot be dropped. On the punctured disk chooseThe hyperbolic metric on the punctured disk is $|dz|/(|z|\log (1/|z|))$. Its universal covering map $\tau \mapsto e^{i\tau }$ pulls it back to the curvature-minus-one upper-half-plane metric. The imaginary axis is a geodesic; the lift from $i$ to $i{n}^2$ has length $\log n^2$, and any other lift differs by a real deck translation and has at least that distance. ThereforeThe triangle inequality again makes the sum finite for every basepoint. However, any bounded holomorphic function on the punctured disk extends over zero by the Riemann removable singularity theorem. These zeros accumulate at zero, so the identity theorem makes the extension identically zero. It cannot have exactly the prescribed zero set. This example of hyperbolic zero sequences on a punctured disk satisfies the distance condition but not the analytic zero-set condition.

A linear filter of a stationary time series with real coefficients $(a_j{)}_{j\in \mathbb{Z}}$ satisfying ${\sum }_j|a_j|<\infty$ is $Y_t={\sum }_j{a}_j{X}_{t-j}$. Its filter generating function is the Laurent series $A(z)={\sum }_j{a}_j{z}^j$, absolutely convergent on $|z|=1$, and its filter transfer function is $H_A(\lambda )=A(e^{-i\lambda })$. For a one-sided filter this is a power series; a general two-sided filter need not converge on a larger annulus.

The filter theorem states that if $X$ is second-order stationary, then $Y$ exists in mean square, is second-order stationary, and has mean and covarianceIts spectral measure of a stationary time series is $d{F}_Y(\lambda )=|H_A(\lambda ){|}^{2}d{F}_X(\lambda )$. In particular, if $X$ has a time-series spectral density in the convention ${\gamma }_X(h)={\int }_{-\pi }^{\pi }{e}^{ih\lambda }{f}_X(\lambda )d\lambda$, thenTo prove existence, the $L^2$ norm of a tail of the filter is at most $\Vert X_0{\Vert }_2$ times the sum of the omitted $|a_j|$, which tends to zero. Hence finite partial sums converge in $L^2$. Expectations and covariances pass to the limit, and the covariance double sum is absolutely convergent because $|{\gamma }_X(h)|\le {\gamma }_X(0)$. Its formula depends only on $h$, proving stationarity. Insert the spectral representation of ${\gamma }_X(h-j+k)$ and interchange sums and integration; the bound ${\sum }_{j,k}|a_j{a}_k|F_X([-\pi ,\pi ])<\infty$ justifies the interchange. The resulting factor is ${\sum }_j{a}_j{e}^{-ij\lambda }{\sum }_k{a}_k{e}^{ik\lambda }=|A(e^{-i\lambda }){|}^2$. This proves the spectral statement, including the spectral density transformation under a linear filter without assuming that the input autocovariances are absolutely summable.

For an autoregressive moving-average model, use real polynomials normalized by ${\varphi }_0={\theta }_0=1$ and first work with the reduced noise-driven representation. If $\varphi$ has no zero on the unit circle, the rational function $C(z)=\theta (z)/\varphi (z)$ has a Laurent expansion in an annulus containing that circle, with absolutely summable coefficients. Filtering the white noise with it gives a stationary solution. Its time-series spectral density isConversely, for coprime $\varphi ,\theta$, a unit-circle zero of $\varphi$ would make this ratio nonintegrable, since the numerator does not vanish there; thus there is no finite-variance stationary noise-driven solution. A stationary solution can use a bilateral filter when autoregressive roots lie inside the unit circle. The stronger causal condition, meaning dependence only on present and past noise, requires every zero of $\varphi$ strictly outside the unit disk. Common factors must be handled before applying these conditions; a cancelled unit-root factor can also allow additional deterministic stationary components, which are outside the minimal noise-driven convention.

Identifiability means that different admissible parameters cannot produce the same stationary process law. In this zero-mean Gaussian setting, its law is determined by its covariance, equivalently its spectrum. Unrestricted ARMA coefficients are not identifiable from that law: if a moving-average factor has root $r$ inside the disk, then on $|z|=1$,Reflecting the root outside and multiplying the innovation variance by $|r{|}^{-2}$ preserves the spectrum, and therefore the Gaussian law. Common polynomial factors and arbitrary overall scaling give further redundancy. A regular canonical identifiable parameterization requires constant coefficients one, coprime polynomials of their stated minimal orders, all zeros of both $\varphi$ and $\theta$ outside the closed unit disk, and ${\sigma }^2>0$.

Here is a proof of canonical identifiability of Gaussian ARMA models. Suppose two such models have equal spectra and write their innovation standard deviations as $\sigma ,\tau >0$. The ratio $R(z)=\sigma \theta (z)\tilde{\varphi }(z)/[\tau \tilde{\theta }(z)\varphi (z)]$ and its reciprocal are analytic on a neighbourhood of the closed unit disk, with modulus one on its boundary. The maximum modulus principle applied to both makes $|R|=1$ throughout the disk, so $R$ is constant. Its value at zero is the positive number $\sigma /\tau$, forcing $R=1$ and $\sigma =\tau$. Therefore $\theta \tilde{\varphi }=\tilde{\theta }\varphi$; coprimality and the normalization at zero force equality of both polynomials. This proves the claimed parameter uniqueness within that canonical class.

In this class, $D(z)=\varphi (z)/\theta (z)$ is analytic on a disk of radius greater than one. Its Taylor series coefficients are absolutely summable, soThis is an invertible time-series representation, proved by composition of the stable filters. Causality makes ${\epsilon }_t$ orthogonal to past observations; invertibility makes past noises recoverable from past observations. Their closed past linear spans agree, so this noise is the linear innovation and the one-sided expansion $X_t={\sum }_{j\ge 0}{c}_j{\epsilon }_{t-j}$ is the Wold representation. Mere stationarity without the stated canonical restrictions does not imply invertibility of the originally written noise representation.

For this one-sided canonical representation, $C(z)=\theta (z)/\varphi (z)={\sum }_{j\ge 0}{c}_j{z}^j$. Comparing coefficients gives the ARMA coefficient recursionsThus for exactly the range asked for,The characteristic rates are reciprocals of the zeros of $\varphi$. Partial fractions therefore express the tail as sums of $P_r(k)r^k$, where $|r|<1$ and the degree of $P_r$ is at most one less than the corresponding root multiplicity. Hence the coefficients decay exponentially, with possible polynomial and damped oscillatory factors. If $p=0$, they instead vanish after $q$. For a noncausal or noninvertible original specification, the Wold coefficients refer to the canonical spectral factor; using the original driving noise as the Wold innovation without checking these restrictions would be incorrect.

The autocovariance is $\gamma (h)={\sigma }^2{\sum }_{j\ge 0}{c}_j{c}_{j+|h|}$. Analyticity of $C$ on a disk of radius $R>1$ gives $|c_j|\le M{R}^{-j}$ for a slightly smaller radius than its first pole, and consequently $|\gamma (h)|\le {\sigma }^2{M}^2{R}^{-|h|}/(1-R^{-2})$. Moreover, multiply the ARMA equation at time $t$ by $X_{t-h}$ and take expectations. For $h>q$, all noises ${\epsilon }_{t-s}$ with $0\le s\le q$ are later than $X_{t-h}$ and orthogonal to it. For $h>\max (p-1,q)$ this givesThe covariance tail therefore has the same characteristic exponential rates and multiplicity patterns as the filter coefficients, subject to possible cancellation of amplitudes. Pure moving averages have an exact covariance cutoff.

For the final process, factor the polynomials:The common factor has its zero at $3/2$, so it can be cancelled as a stable filter. Explicitly, let $Y_t=(1+B/3)X_t-{\epsilon }_t$; the original equation gives $Y_t=(2/3)Y_{t-1}$. The second moments of $Y_t$ are uniformly bounded because those of $X_t$ and ${\epsilon }_t$ are. Iterating gives $Y_t=(2/3{)}^m{Y}_{t-m}$, whose $L^2$ norm tends to zero as $m\to \infty$, so $Y_t=0$ in mean square. ThusSumming the covariance series givesThe process is a causal stationary autoregressive process of order one, with alternating-sign geometric correlations, and is invertible. The displayed ARMA(2,1) description is nonminimal because of its common factor; its minimal identifiable class is ARMA(1,0).

For a holomorphic function $h:\mathbb{D}\to \mathbb{D}$, the Schwarz-Pick lemma statesEquality in the first inequality for distinct points, or in the derivative inequality at one point, occurs exactly when $h$ is an automorphism of the unit disk.

Here is a proof, including the underlying Schwarz lemma. If $u:\mathbb{D}\to \mathbb{D}$ is holomorphic and $u(0)=0$, then $u(z)/z$ has a removable singularity at zero. On $|z|=r<1$ its modulus is at most $1/r$. The maximum modulus principle on this circle, followed by $r\uparrow 1$, gives $|u(z)|\le |z|$ and $|u^{\prime }(0)|\le 1$. Equality at a nonzero point, or $|u^{\prime }(0)|=1$, forces $u(z)/z$ to be a constant of modulus one by the same maximum modulus principle.

Set ${\varphi }_a(z)=(z-a)/(1-\overline{a}z)$, an automorphism of the unit disk. The composite ${\varphi }_{h(a)}\circ h\circ {\varphi }_a^{-1}$ fixes zero. The Schwarz lemma gives the first inequality, while its derivative at zero gives the second. The equality conclusion follows because a composite attaining equality is a rotation. Conversely, every automorphism of the unit disk attains equality. This also proves contraction of the hyperbolic metric.

The boundary lower bound first guarantees a zero inside the unit circle. If $f(0)=0$, there is nothing to prove about existence. Otherwise, if $f$ had no zeros on the closed unit disc, $1/f$ would be holomorphic on a neighborhood of it and satisfy $|1/f|\le 1/A$ on the boundary. The maximum modulus principle would give $|f(0)|\ge A$, contradicting the hypothesis. The boundary lower bound excludes boundary zeros, so there is a zero $a$ with $|a|<1$.

The upper boundary bound and the maximum modulus principle give $|f|\le B$ on the unit circle and its interior. The function is nonconstant under the stated hypotheses, so $f/B$ takes its interior values in the open unit disc. Apply the Schwarz-Pick lemma to the points $a$ and $0$:This is the zero location bound from Schwarz-Pick, and it applies to every zero inside the unit circle.

The bound is sharp. Given $0<a<1$ and $B>0$, chooseThis holomorphic function has no pole in ${\mathbb{D}}_R$, has constant modulus $B$ on the unit circle, and satisfies $|f(0)|=Ba<B$. With $A=B$, its zero at $a$ gives equality. The case $a=0$ is also attained by $f(z)=Bz$.