Bohr phenomena for Laplace-Beltrami operators (Q855790)

The classical theorem of \textit{H. Bohr} [Proc. Lond. Math. Soc. 13, 1--5 (1914; JFM 44.0289.01)] involved power series \(\sum_m a_mz^m\) mapping the unit disc \(\mathbb D\) into itself, and stated that there exists a radius \(R\) such that \(\sum_m| a_mz^m| <1 \) for all \(| z| <R\). Bohr originally proved that \(R=1/6\), but the best result was soon shown to be 1/3, independently by Riesz, Schur, and Wiener. This result has been extended in several different directions, and the paper is an excellent source of references. In the present paper the author investigates the notion of Bohr radius for \(\alpha\alpha\)-harmonic functions on the unit ball \(B\) of \(\mathbb C^N\). The case \(00\)-harmonic corresponds to \(\mathcal M\)-harmonic functions, namely those annihilated by the Laplace-Beltrami operator on \(B\). For notational convenience we limit our review to \(\mathcal M\)-harmonic functions. If \(f\) is a bounded \(\mathcal M\)-harmonic function on \(B\), then \(f\) can be expressed as \(f(z) = \sum c_j^{pq}h_j^{pq}(z)\), where \(h_j^{pq}\) is an orthonormal basis for the space of bounded \(\mathcal M\)-harmonic functions on \(B\). For \(f\) as above, we set \(A_f(z) = \sum| c_j^{pq}h_j^pq(z)| \). The Bohr radius \(R\) for \(\mathcal M\)-harmonic functions is defined as the largest \(R<1\) such that if \(| f| <1\) on \(B\), then \(A_f(z) <1\) for all \(z,\, | z| <R\). In the paper it is proved that the Bohr radius for \(\mathcal M\)-harmonic functions on \(B\subset \mathbb C^N\) is given by \(R=(2^{1/N}-1)/(2^{1/N}+1)\). Similarly, the author also proves that the Bohr radius for the space of invariant harmonic functions on the real hyperbolic ball \(B\) in \(\mathbb R^n\) is given by \(R= (2^{1/(n-1)} - 1)/(2^{1/(n-1)} +1)\).