Abstract:Following ideas by Beardon, Minda and Baribeau, Rivard, Wegert in the context of the complex Schwarz-Pick Lemma, we use iterated hyperbolic difference quotients to prove a quaternionic multipoint Schwarz-Pick Lemma, in the context of the theory of slice regular functions. As applications, we obtain quaternionic Dieudonné and Goluzin estimates. Finally, an algorithm for the construction of (Nevanlinna-Pick) interpolating slice regular functions with real nodes is provided as a byproduct of the quaternionic multipoint Schwarz-Pick Lemma.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the multi - point Schwarz - Pick lemma in the complex number field to the quaternion field. Specifically, the authors use the method of iterative hyperbolic difference quotients to prove the quaternion multi - point Schwarz - Pick lemma, and on this basis, obtain the quaternion Dieudonné and Goluzin estimates. In addition, as a by - product of the multi - point Schwarz - Pick lemma, the authors also provide an algorithm for constructing (Nevanlinna - Pick) interpolation slice - regular functions with real nodes.
### Background and Motivation
In complex analysis, the Schwarz - Pick lemma is a very important result, which describes the geometric properties of holomorphic self - mappings on the unit disk. Specifically, the Schwarz - Pick lemma asserts:
**Schwarz - Pick Lemma**:
Let \( f: \mathbb{D}\to\mathbb{D} \) be a holomorphic function, where \( \mathbb{D}=\{z\in\mathbb{C}:|z| < 1\} \). For any \( z_0\in\mathbb{D} \), we have:
\[ \left|\frac{f(z)-f(z_0)}{1 - f(z_0)f(z)}\right|\leq\left|\frac{z - z_0}{1 - z_0z}\right| \]
and:
\[ \frac{|f'(z_0)|}{1 - |f(z_0)|^2}\leq\frac{1}{1 - |z_0|^2} \]
These inequalities hold strictly when \( z\neq z_0 \), unless \( f \) is an automorphism of the unit disk.
### Generalization in the Quaternion Field
In the quaternion field \( \mathbb{H} \), the concept of holomorphicity is replaced by slice - regularity. Slice - regular functions are a class of functions that are holomorphic on each complex - plane slice. The authors' goal is to generalize the multi - point Schwarz - Pick lemma in the complex number field to the quaternion field.
### Main Contributions
1. **Multi - point Schwarz - Pick Lemma**:
The authors prove the quaternion multi - point Schwarz - Pick lemma by the method of iterative hyperbolic difference quotients. Specifically, they define the quaternion hyperbolic difference quotient \( f^\star_p(q) \) and prove a result similar to the multi - point Schwarz - Pick lemma in the complex number field.
2. **Dieudonné and Goluzin Estimates**:
As an application of the multi - point Schwarz - Pick lemma, the authors obtain the quaternion - version Dieudonné and Goluzin estimates. These estimates are well - established in classical complex analysis, but need to be re - derived in the quaternion field.
3. **Nevanlinna - Pick Interpolation Problem**:
The authors also provide an algorithm for constructing Nevanlinna - Pick interpolation slice - regular functions with real nodes. This algorithm is based on the quaternion multi - point Schwarz - Pick lemma and is applicable to given nodes and values.
### Mathematical Expressions
- **Hyperbolic Difference Quotient**:
For a slice - regular function \( f: B\to B \), where \( B = \{q\in\mathbb{H}:|q| < 1\} \), fix a point \( p\in B \), and define the hyperbolic difference quotient \( f^\star_p(q) \) as:
\[ f^\star_p(q):=(1 - qp)^{-\ast}\ast R_{f,p}\ast(1 - f(p)^{\ast}f(q))^{-\ast} \]
where \( R_{f,p}(q):=(q - p)^{-\ast}\ast(f(q)-f(p)) \) is the regular difference quotient.
- **Multi - point Schwarz - Pick Lemma**:
Suppose \( f: