Abstract:We prove a high order Schwarz-Pick lemma for mappings between unit balls in complex spaces in terms of the Bergman metric. From this lemma, Schwarz-Pick estimates for partial derivatives of arbitrary order of mappings are deduced.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of the high - order Schwarz - Pick lemma. Specifically, the authors aim to generalize the classical Schwarz - Pick lemma to the high - order derivatives of mappings between unit balls in complex spaces and formulate this lemma in terms of the Bergman metric.
### Specific problem description
1. **Limitations of the classical Schwarz - Pick lemma**:
- The classical Schwarz - Pick lemma mainly focuses on the first - order derivative of holomorphic functions on the unit disk and gives an important estimate:
\[
\left| f'(z) \right| \leq \frac{1 - |f(z)|^2}{1 - |z|^2}
\]
- In recent years, this inequality has been generalized to the case of arbitrary - order derivatives. For example, for \( f \in \Omega_{1,1} \), we have:
\[
\left| f^{(k)}(z) \right| \leq \frac{k! (1 + |z|)^{k - 1}}{(1 - |z|^2)^k}
\]
2. **Generalization in the multivariable case**:
- The goal of this paper is to further generalize these results to mappings between unit balls in multi - dimensional complex spaces. Specifically, the authors hope to obtain similar results, but applicable to holomorphic mappings \( f \) from \( B^n \) to \( B^m \), and express these estimates in terms of the Bergman metric.
3. **Estimation of high - order Fréchet derivatives**:
- For \( f \in \Omega_{n,m} \), define its \( k \)-th - order Fréchet derivative at point \( z \) as:
\[
D^k(f, z, \beta) = \sum_{|\alpha| = k} \frac{k!}{\alpha!} \frac{\partial^k f(z)}{\partial z_1^{\alpha_1} \cdots \partial z_n^{\alpha_n}} \beta^\alpha
\]
- The authors hope to prove an estimate similar to the classical Schwarz - Pick lemma, that is:
\[
H_{f(z)}(D^k(f, z, \beta), D^k(f, z, \beta)) \leq k!^2 \left( \frac{1 + |\langle \beta, z \rangle|}{((1 - |z|^2) |\beta|^2 + |\langle \beta, z \rangle|^2)^{1/2}} \right)^{2(k - 1)} (H_z(\beta, \beta))^k
\]
### Main contributions of the paper
Through the above generalizations, the authors not only expand the application scope of the classical Schwarz - Pick lemma, but also provide a new tool to study the problem of high - order derivative estimation in complex analysis and geometry. This helps to better understand the properties of holomorphic mappings between unit balls in complex spaces and provides a theoretical basis for further research.