Abstract:Let be the open unit ball of a complex finite- or infinite-dimensional Hilbert space. If f belongs to the space of Bloch functions on , we prove that the dilation map given by for , where denotes the radial derivative of f , is Lipschitz continuous with respect to the pseudohyperbolic distance in , which extends to the finite- and infinite-dimensional setting the result given for the classical Bloch space . To provide this result, we will need to prove that for under some conditions on . Lipschitz continuity of will yield some applications on interpolating sequences for which also extends classical results from to . Indeed, we show that it is necessary for a sequence in to be separated to be interpolating for and we also prove that any interpolating sequence for can be slightly perturbed and it remains interpolating.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Lipschitz continuity of the dilation mapping of Bloch functions on the unit ball of an infinite - dimensional Hilbert space with respect to the pseudo - hyperbolic distance. Specifically, the author proves that for a function \(f\) belonging to the Bloch space \(B(B_E)\), the dilation mapping \(x\mapsto(1 - \|x\|^2)Rf(x)\) is Lipschitz continuous with respect to the pseudo - hyperbolic distance \(\rho_E\). This result extends the similar conclusion in the classical Bloch space \(B\) and is applicable to both finite - dimensional and infinite - dimensional cases.
In addition, the paper also explores the application of this result on interpolation sequences. The author proves that in order for a sequence to be an interpolation sequence of \(B(B_E)\), the sequence must be separated under the pseudo - hyperbolic distance, and any interpolation sequence can still maintain the interpolation property after a slight perturbation.
### Main contributions
1. **Proof of Lipschitz continuity**:
- The author proves that the dilation mapping \(x\mapsto(1 - \|x\|^2)Rf(x)\) is Lipschitz continuous with respect to the pseudo - hyperbolic distance \(\rho_E\), where \(Rf(x)\) represents the radial derivative of \(f\) at \(x\).
- This result is applicable not only to finite - dimensional Hilbert spaces but also to infinite - dimensional Hilbert spaces.
2. **Properties of interpolation sequences**:
- It is proved that the interpolation sequences of \(B(B_E)\) must be separated under the pseudo - hyperbolic distance.
- It is proved that any interpolation sequence can still maintain the interpolation property after a slight perturbation.
### Mathematical background
- **Bloch space**: The Bloch space \(B(B_E)\) is the space of analytic functions defined on the unit ball \(B_E\) of a Hilbert space \(E\), and these functions satisfy \(\|f\|_B=\sup_{x\in B_E}(1 - \|x\|^2)\|\nabla f(x)\|<+\infty\).
- **Pseudo - hyperbolic distance**: The pseudo - hyperbolic distance \(\rho_E(x, y)\) is a metric defined on \(B_E\) and is used to measure the "hyperbolic" distance between two points.
- **Lipschitz continuity**: If there exists a constant \(L\) such that for all \(x, y\in B_E\), \(|f(x) - f(y)|\leq L\rho_E(x, y)\), then the function \(f\) is said to be Lipschitz continuous.
### Formulas
- **Pseudo - hyperbolic distance**:
\[
\rho_E(x, y)=\left\|\phi_y(x)\right\|
\]
where \(\phi_y\) is an automorphism on the unit ball \(B_E\).
- **Lipschitz condition of the dilation mapping**:
\[
\left|(1 - \|x\|^2)Rf(x)-(1 - \|y\|^2)Rf(y)\right|\leq14\|f\|_I\rho_E(x, y)
\]
Through these results, the author not only extends the known conclusions in the classical Bloch space but also provides new insights into interpolation sequences in high - dimensional and infinite - dimensional cases.