A Schwarz lemma for the pentablock

From MaRDI portal
Publication:2110312



Abstract: In this paper we prove a Schwarz lemma for the pentablock. The set [ mathcal{P}={(a_{21}, ext{tr} A, det A) : A=[a_{ij}]_{i,j=1}^2 in mathbb{B}^{2 imes 2}} ] where mathbbB2imes2 denotes the open unit ball in the space of 2imes2 complex matrices, is called the pentablock. The pentablock is a bounded nonconvex domain in BbbC3 which arises naturally in connection with a certain problem of mu-synthesis. We develop a concrete structure theory for the rational maps from the unit disc BbbD to the closed pentablock overlinemathcalP that map the unit circle mathbbT to the distinguished boundary boverlinemathcalP of overlinemathcalP. Such maps are called rational overlinemathcalP-inner functions. We give relations between penta-inner functions and inner functions from BbbD to the symmetrized bidisc. We describe the construction of rational penta-inner functions x=(a,s,p):BbbDightarrowoverlinemathcalP of prescribed degree from the zeroes of a,s and s2−4p. The proof of this theorem is constructive: it gives an algorithm for the construction of a family of such functions x subject to the computation of Fej'er-Riesz factorizations of certain non-negative trigonometric functions on the circle. We use properties and the construction of rational overlinemathcalP-inner functions to prove a Schwarz lemma for the pentablock.




Cites work









This page was built for publication: A Schwarz lemma for the pentablock

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2110312)