Teichmüller spaces and coefficient problems for univalent holomorphic functions (Q2204966)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Teichmüller spaces and coefficient problems for univalent holomorphic functions
scientific article

    Statements

    Teichmüller spaces and coefficient problems for univalent holomorphic functions (English)
    0 references
    16 October 2020
    0 references
    The author proposes the features of Teichmüller spaces to create a powerful tool for solving coefficient problems in geometric function theory. The canonical class \(S\) is formed by univalent functions \(f\), \(f(z)=z+\sum_{n=2}^{\infty}a_nz^n\), on the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\). The goal of the author is to estimate on \(S\) and other related classes the general nonconstant homogeneous polynomial coefficient functionals \(J(f)=J(a_{m_1},\dots,a_{m_s})\), \(J({\mathbf 0})=0\), where \(2<m_1<\dots<m_s\) and \(\{{\mathbf 0}\}=(0,\dots,0)\). Many distortion functionals on \(S\) are maximized by the so-called Koebe function \(\kappa_0(z)=z(1-z)^{-2}=\sum_{n=1}^{\infty}nz^n\) and rotations \(\kappa_{\theta}(z)=e^{-i\theta}\kappa_0(e^{i\theta}z)\). Denote by \(\hat S(1)\) the completion in the topology of locally uniform convergence on \(\mathbb D\) of the set of univalent functions \(f(z)=\sum_{n=1}^{\infty}a_nz^n\), \(|a_1|=1\), having quasiconformal extensions across \(\mathbb S^1=\partial\mathbb D\) to the sphere \(\hat{\mathbb C}=\mathbb C\cup\{\infty\}\) which satisfy \(f(1)=1\). The following main theorem shows the important role of two sets: the zero set \(\mathcal Z_J=\{f\in\hat S(1):J(f)=0\}\) and the set \(\mathcal K=\{\kappa_{\tau,\theta}(z)=e^{-i\theta}\kappa_0(e^{i\tau}z)\}\). Theorem 1. Any homogeneous polynomial functional \(J(f)\), whose zero set \(\mathcal Z_J\) is separated from \(\mathcal K\), is maximized on \(\hat S(1)\) only by the functions \(f_0\in\mathcal K\). Corollary 1. If a functional \(J(f)\) on \(S\) satisfies \[ \max_{S}|J(f)|=\max_{\hat S(1)}|J(f)|\ \text{ and }\ |J(\kappa_0)|>0, \] then every extremal of \(J(f)\) is a rotated Koebe function \(\kappa_{\theta}\) with some \(\theta\in[-\pi,\pi)\). For a homogeneous \(J\), any function \(\kappa_{\theta}\) is extremal for \(J\).
    0 references
    Teichmüller spaces
    0 references
    univalent functions
    0 references
    quasiconformal extension
    0 references
    coefficient estimates
    0 references
    holomorphic functionals
    0 references
    subharmonic function
    0 references
    Bers isomorphism theorem
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references