Erratum to: Hyperbolic Distortion, Boundary Behaviour and Finite Blaschke Products

  • PDF / 131,448 Bytes
  • 2 Pages / 439.37 x 666.142 pts Page_size
  • 14 Downloads / 215 Views

DOWNLOAD

REPORT


Erratum to: Hyperbolic Distortion, Boundary Behaviour and Finite Blaschke Products Nina Zorboska1

© Springer-Verlag Berlin Heidelberg 2015

Erratum to: Comput. Methods Funct. Theory DOI 10.1007/s40315-014-0099-2 This errata note is a correction to Proposition 2.2 in the original version of the paper. We provide here a corrected statement of the result with its corrected proof. The proposition requires an additional assumption of univalence, since the proof uses a result from [1, p. 71] which requires it. Note that the result in [1, p. 71] does require the univalence, even though it has been stated there without this assumption. Proposition 2.2 Let φ be a univalent self-map of D, and let ζ ∈ ∂D be such that lim z→ζ τφ (z) = 0. Then there exists , an open subarc of ∂D containing the point ζ , such that the only possible subsets of  mapped by φ into ∂D are sets of measure zero. Proof Since lim z→ζ τφ (z) = 0, for any 0 <  < 1, ∃δ > 0 such that τφ (z) <  whenever z ∈ B(ζ, δ) ∩ D. Let δ = B(ζ, δ) ∩ ∂D. Then ∀ξ ∈ δ we have that 

lim τφ (z) ≤  < 1,

z→ξ

and so φ can not have an angular derivative at any ξ ∈ δ . Let E = {ξ ∈ δ : φ(ξ ) ∈ ∂D}, and let ψ be the inverse to the Riemann mapping from B(ζ, δ) ∩ D onto D. By the Carathéodory’s extension theorem [2, p. 24], ψ can

Communicated by Elias Wegert. The online version of the original article can be found under doi:10.1007/s40315-014-0099-2.

B 1

Nina Zorboska [email protected] Department of Mathematics, University of Manitoba, Winnipeg, MB R3T 2N2, Canada

123

N. Zorboska

be extended to a homeomorphism between D and B(ζ, δ) ∩ D. Let ϕ = φ ◦ ψ. Then ϕ is a univalent self-map of D and ψ −1 (E) is a subset of ∂D on which ϕ has radial limits of modulus one. The proof of a result from [1, p. 71] shows that a univalent self-map of D with radial limits of modulus one on a set of positive measure must have an angular derivative at some point of ∂D. Thus, if E is of positive measure, since by the Riesz–Privalov theorem [2, p. 126] ψ −1 (E) is also of positive measure, ϕ must have an angular derivative at some point w of ∂D. Note that then w ∈ ψ −1 (δ ), and since ψ also has an analytic extension across ψ −1 (δ ), we get that φ must have an angular derivative at some point of δ . But that is not possible, and so it must be that the measure of E is zero.

We don’t know at this point if the result in Proposition 2.2 might still hold in the more general case when φ is not necessarily univalent. The only place were Proposition 2.2 was used in the original paper was in the proof of Proposition 3.1, and so this correction does not affect any of the other results. Also, as stated in the original paper, the result in Proposition 3.1 is a well known fact that the only inner functions with bounded α- hyperbolic local distortion, 0 < α < 1, are the finite Blaschke products. This is true since the corresponding α-Bloch-type spaces are Lipschitz spaces of order 1 − α, which are further contained in the disk algebra (see [3, p. 74]). Thus, the only inner functions th