A new boundary rigidity theorem for holomorphic self-mappings of the unit ball in \(\mathbb C ^n\) (Q315568)

Denote by \(B^n\) the unit ball in \( \mathbb C^n\). Let \(f:B^n\rightarrow B^n\) be a holomorphic self-map of \(B^n\). The complex Jacobian matrix of \(f\) at a point \(a\in B^n\) is given by \(J_f(a)=\Big(\frac{\partial f_j}{\partial z_k}(a)\Big)_{n\times n}\). The main result of the paper is the following theorem. Theorem 3.1. Let \(f:B^n\rightarrow B^n\) be a holomorphic mapping with \(f(0)=0\). We have the following two conclusions. (1) If \(f\) is holomorphic at \(z=\alpha\in\partial B^n\) with \(f(\alpha)=\beta\in\partial B^n\), then \(\bar{\beta}'J_f(\alpha)\alpha\geq 1\). (2) If there exist linearly independent \(\alpha_1,\dots,\alpha_n\in\partial B^n\) such that \(f\) is holomorphic at \(z=\alpha_k\) with \(f(\alpha_k)=\beta_k\in\partial B^n\) (\(k=1, \dots,n\)), then the following \(n\) equalities \(\bar{\beta_k }'J_f(\alpha_k)\alpha_k=1\) \((k=l,\dots,n)\) hold if and only if \(f(z)\equiv Uz\) and \(U=(\beta_1,\dots,\beta_n)(\alpha_1,\dots,\alpha_n)^{-1}\) is a unitary square matrix of order \(n\). As a corollary the authors obtain a new version of the boundary rigidity theorem for holomorphic self-mapping of the unit ball. Corollary 3.1. (Boundary Rigidity Theorem) Let \(f:B^n\rightarrow B^n\) be a holomorphic mapping with \(f(0)=0\) such that there exist linearly independent \(\alpha_1,\dots,\alpha_n\in\partial B^n\) such that \(f\) is holomorphic at \(z=\alpha_k\) with \(f(\alpha_k)=\alpha_k\in\partial B^n\) (\(k=1,\dots,n\)). Then the following \(n\) equalities \(\bar{\beta_k}'J_f(\alpha_k)\alpha_k=1\) (\(k=1,\dots,n\)) hold if and only if \(f(z)\equiv z\). An extension of Theorem 3.1 are also given. For the history of the question, see, e.g., the paper by \textit{S. G. Krantz} [Complex Var. Elliptic Equ. 56, No. 5, 455--468 (2011; Zbl 1227.30023)].