The high order Schwarz-Pick lemma on complex Hilbert balls (Q625879)

The aim of the article is to establish a high order Schwarz lemma for holomorphic mappings between the unit balls \(\mathbb{B}\) and \(\widetilde{\mathbb{B}} \) in complex Hilbert spaces \(X\) and \(Y\), respectively. For \(z \in \mathbb{B}\) and \(\beta \in X\), we denote by \(H_z(\beta,\beta)\) the quantity \[ H_z(\beta, \beta) := \frac{(1-\|z\|^2)\|\beta\|^2+|\langle \beta ,z \rangle|^2}{(1-\|z\|^2)^2}. \] For a holomorphic mapping \(f:\mathbb{B} \rightarrow \widetilde{\mathbb{B}}\), we denote by \(D^kf(z)\) the Fréchet derivative of order \(k\) at a point \(z \in \mathbb{B}\) and by \(D^kf(z)\cdot (\beta_1,\dots,\beta_k)\) its evaluation at a \(k\)-tuple \((\beta_1,\dots,\beta_k)\) of vectors in \( X\). Then the authors' first main result is as follows: Theorem 1: Let \(f:\mathbb{B} \rightarrow \widetilde{\mathbb{B}}\) be a holomorphic mapping. Then, for any positive integer \(k\), any \(z \in \mathbb{B}\) and \(\beta \in X \setminus \{0\}\), one has \[ H_{f(z)} ( D^kf(z)\cdot \beta^k, D^kf(z)\cdot \beta^k ) \leq (k!)^2 p(z,\beta)^{2(k-1)}\,(H_z(\beta,\beta)\,)^k \,\,, \] where \(\beta^k=(\beta,\dots,\beta)\) and \[ p(z,\beta) :=1 + \frac{|\langle \beta ,z \rangle|}{(\, (1-\|z\|^2)\|\beta\|^2+|\langle \beta ,z \rangle|^2 \,)^{1/2}} \,. \] With the same method of proof as for Theorem 1, the authors obtain \smallskip Theorem 2: For holomorphic mappings \(f:X \rightarrow \mathbb{C}\) with a positive real part, one has \[ |D^kf(z)\cdot \beta^k| \leq 2k! \operatorname{Re} f(z)\,\} p(z, \beta)^{k-1} H_z(\beta,\beta)^{k/2} \] for \(z \in \mathbb{B}\), an integer \(k \geq 1 \), and any \(\beta \in X\setminus \{0\}\). Also, the norm of the \(k\)-th order Fréchet derivative is estimated in the following two theorems, namely: Theorem 3: Let \(f:\mathbb{B} \rightarrow \widetilde{\mathbb{B}} \) be a holomorphic mapping. Then for any positive integer \(k\) and any \(z \in \mathbb{B}\), one has \[ \| D^kf(z)\| \leq k^k \sqrt{1-\|f(z)\|^2} \,\frac{(1+\|z\|)^{k-1}}{(1-\|z\|^2)^k}\,. \] Finally, they obtain for functions as in Theorem 2: Theorem 4: For holomorphic mappings \(f: \mathbb{B}\rightarrow \mathbb{C}\) with a positive real part one has, with integer valued \(k\geq 1\), for \(z \in \mathbb{B}\) the estimate \[ \| D^kf(z)\| \leq 2k^k \{\operatorname{Re}f(z) \}\frac{(1+\|z\|)^{k-1}}{(1-\|z\|^2)^k}. \]