Table of Contents
Fetching ...

Sharp Bohr-Rogosinski radii for Schwarz functions and Euler operators in C^n

Molla Basir Ahamed, Sujoy Majumder, Nabadwip Sarkar

TL;DR

The paper advances Bohr-type inequalities to the polydisk $\mathbb{D}^n$, proving that the sharp Bohr radius remains $R_n=\frac{1}{3n}$ for holomorphic maps $f:\mathbb{D}^n\to\mathbb{D}$ and delivering a multidimensional resolution of the Bohr–Rogosinski phenomenon via radii $R_{m,n,N}$ tied to $\psi_{m,n,N}$. It also extends derivative growth estimates using the radial Euler operator $Df(z)$ and establishes a multidimensional area-based Bohr inequality, all with sharp constants. The approach hinges on multivariable coefficient bounds, Schwarz-type estimates, and carefully constructed extremals to verify optimality. Together, these results unify and extend univariate Bohr theory to several complex variables, providing sharp, geometry-aware bounds that reflect the polydisc structure and its Schwarz-class mappings.

Abstract

This paper is devoted to the investigation of multidimensional analogues of refined Bohr-type inequalities for bounded holomorphic mappings on the unit polydisc $\mathbb{D}^n$. We establish a sharp extension of the classical Bohr inequality, proving that the Bohr radius remains $R_n = 1/(3n)$ for the family of holomorphic functions bounded by unity in the multivariate setting. Further, we provide a definitive resolution to the Bohr-Rogosinski phenomenon in several complex variables by determining sharp radii for functional power series involving the class of Schwarz functions $ω_{n,m}\in\mathcal{B}_{n,m}$ and the local modulus $|f(z)|$. By employing the radial (Euler) derivative operator $Df(z) = \sum_{k=1}^{n} z_k \frac{\partial f(z)}{\partial z_k}$, we obtain refined growth estimates for derivatives that generalize well-known univariate results to $\mathbb{C}^n$. Finally, a multidimensional version of the area-based Bohr inequality is established. The optimality of the obtained constants is rigorously verified, demonstrating that all established radii are sharp.

Sharp Bohr-Rogosinski radii for Schwarz functions and Euler operators in C^n

TL;DR

The paper advances Bohr-type inequalities to the polydisk , proving that the sharp Bohr radius remains for holomorphic maps and delivering a multidimensional resolution of the Bohr–Rogosinski phenomenon via radii tied to . It also extends derivative growth estimates using the radial Euler operator and establishes a multidimensional area-based Bohr inequality, all with sharp constants. The approach hinges on multivariable coefficient bounds, Schwarz-type estimates, and carefully constructed extremals to verify optimality. Together, these results unify and extend univariate Bohr theory to several complex variables, providing sharp, geometry-aware bounds that reflect the polydisc structure and its Schwarz-class mappings.

Abstract

This paper is devoted to the investigation of multidimensional analogues of refined Bohr-type inequalities for bounded holomorphic mappings on the unit polydisc . We establish a sharp extension of the classical Bohr inequality, proving that the Bohr radius remains for the family of holomorphic functions bounded by unity in the multivariate setting. Further, we provide a definitive resolution to the Bohr-Rogosinski phenomenon in several complex variables by determining sharp radii for functional power series involving the class of Schwarz functions and the local modulus . By employing the radial (Euler) derivative operator , we obtain refined growth estimates for derivatives that generalize well-known univariate results to . Finally, a multidimensional version of the area-based Bohr inequality is established. The optimality of the obtained constants is rigorously verified, demonstrating that all established radii are sharp.
Paper Structure (7 sections, 11 theorems, 123 equations)

This paper contains 7 sections, 11 theorems, 123 equations.

Key Result

Theorem 2.1

Let $f$ be a holomorphic function in the polydisk $\mathbb{P}\Delta(0;1_n)$ such that $|f(z)|\leq 1$ for all $z\in \mathbb{P}\Delta(0;1/n)$. If $f(z)=\sum_{|\alpha|=0}^{\infty} a_{\alpha} z^{\alpha}$, then The polyradius $1/3n$ is the best possible.

Theorems & Definitions (20)

  • Theorem 2.1
  • Remark 2.1
  • Theorem 2.2
  • Remark 2.2
  • Corollary 2.1
  • Theorem 2.3
  • Remark 2.3
  • Theorem 2.4
  • Theorem 2.5
  • Remark 2.4
  • ...and 10 more