Borel-Carathéodory and Fan type inequalities for Hilbert space bicontractions (Q403690)

A variation of the classical Borel-Carathéodory theorem states that, for any analytic function \(f\) on the unit disc with \(\sup_{|z|< 1}|\Re f(z)| < \infty,\) one has the inequality: \[ |f(z)| \leq \frac{1+|z|}{1-|z|}|f(0)| + \frac{2|z|}{1-|z|}\sup_{|z|< 1}|\Re f(z)| \] (see the discussion following the statement of Theorem 3.1 of the paper under review). As a consequence of this inequality and a result of \textit{K. Fan} [Math. Z. 160, 275--290 (1978; Zbl 0441.30060), Theorem 3], the authors observe that, for any Hilbert space operator \(S\) with norm less than \(1\), one has \[ \|f(S)\| \leq \frac{1+\|S\|}{1-\|S\|}|f(0)| + \frac{2\|S\|}{1-\|S\|}\sup_{|z|< R}|\Re f(z)|. \] The main results of the paper under review are appropriate analogs of the inequalities above for analytic functions on the bidisc and a pair of strict contractions.