---
abstract: 'The Bohr radius for power series of holomorphic functions mapping Reinhardt domains ${\mathcal D}\subset {\bf C}^n$ into the convex domain $G\subset {\bf C}$ is independent of the domain $G.$'
address: |
     Department of Mathematics\
    Bar-Ilan University, 52900 Ramat-Gan, Israel
author:
- Lev Aizenberg
title: ' Generalization of results about the Bohr radius for power series. '
---

[^1] [^2]

Preliminaries 
==============

Let us recall the theorem of H.Bohr [@bohr:gnus] in 1914.

If a power series $$\begin{aligned}
f(z_1)=\sum\limits_{k=0}^{\infty}c_kz_1^k\end{aligned}$$ converges in the unit disk $U_1$ and its sum has modulus less than $1$, then $$\begin{aligned}
 \sum\limits_{k=0}^{\infty }\vert c_k z_1^k\vert <1,
 \end{aligned}$$ if $ \vert z_1\vert <{1\over 3}$. Moreover, the constant ${1\over 3}$ cannot be improved.

For convenience we write the inequality $(1.2)$ in the following equivalent form $$\begin{aligned}
\sum\limits_{k=1}^{\infty }\vert c_k z_1^k\vert 
<1-\vert c_0\vert . \end{aligned}$$ Later, certain generalizations of this result were obtained. $\bf{1^0}.$ ([@tom:gnus]) If the sum of the series $(1.1)$ is such that $\vert\Re f(z_1)\vert <1$ in $U_1$ and $c_0>0$, then for $\vert z_1\vert <{1\over 3}$ the inequality $(1.3)$ holds. $\bf{
2^0}.$([@sid:gnus],[@pau:gnus]) If $\Re f(z_1) <1$ in $U_1$ and $c_0>0$, then for $\vert z_1\vert <{1\over 3}$ the inequality $(1.3)$ holds. $\bf{3^0}.$ ([@kres:gnus]) If $\Re \{[\exp(-i arg f(0))]  f(z_1)\} <1$ in $U_1$ (here we assume that $arg f(0)>0$, if $f(0)=0$), then for $\vert
z_1\vert <{1\over 3}$ the inequality $(1.3)$ is valid.\
Formulations of Bohr’s theorem in several complex variables appeared very recently. We recall some of them.\
Given a complete Reinhardt domain ${\mathcal {D}},$ we denote by $R_1({\mathcal D})$ (or by $R_2({\mathcal {D}})$) the largest nonnegative number $r$ with he property that if the power series $$\begin{aligned}
    f(z)=\sum\limits _{\vert \alpha \vert \geq 0}
    c_{\alpha}z^{\alpha},\;z\in {\mathcal {D}},
    \end{aligned}$$ where $\alpha =(\alpha _1, \dots , \alpha _n)$, $\vert \alpha \vert = \alpha _1+ \dots + \alpha _n $, $z^{\alpha}=z_1^{\alpha _1}\dots z_n^{\alpha _n}$ and all $\alpha _i$ are nonnegative integers, converges in ${\mathcal {D}}$ and the modulus of its sum is less than $1,$ then $$\begin{aligned}
 \sum\limits_{\vert \alpha \vert \geq 1}\vert c_{\alpha } z^{\alpha }
\vert <1-\vert c_0\vert 
 \end{aligned}$$ in the homothetic domain ${\mathcal {D}}_r=r{\mathcal {D}}$. Here $c_0=c_{0,0\dots, 0}.$ Correspondingly, if we consider a bounded domain ${\mathcal {D}}$ for $R_2({\mathcal
 D})$ we have $$\begin{aligned}
 \sum\limits_{\vert \alpha \vert \geq 1}\sup_{{\mathcal {D}}_r}\vert 
c_{\alpha } z^{\alpha }\vert <1-\vert c_0\vert.
 \end{aligned}$$ Let $$\begin{aligned}
 {\mathcal {D}}^n_p=\{z\in {\bf C}^n:\;\vert z_1 \vert^p +\dots +
 \vert z_n\vert^p  < 1\},
 \end{aligned}$$ where $0< p \leq \infty $. The domain ${\mathcal {D}}^n_{\infty }$ is the poly-disk $\{z\in {\bf C}^n:\; \vert z_j\vert <1, j=1,\dots, n \}$.

([@boha:gnus], see also [@din:gnus]) For $n>1 $ one has $$\begin{aligned}
 {1\over 3\sqrt n}<R_1({\mathcal {D}}^n_{\infty })<
{2\sqrt{\log n}\over \sqrt n}.
 \end{aligned}$$

([@aiz1:gnus]) For $n>1 $ one has $$\begin{aligned}
 {1\over 3\sqrt[3]{e}}<R_1({\mathcal {D}}^n_1)\leq{1\over 3}.
 \end{aligned}$$

The estimates $(1.5)$ and $(1.6)$ were generalized for $R_1({\mathcal
 D}^n_p)$, for $1\leq p <\infty $ in [@boas:gnus] and for $0<p\leq
 1 $ in [@aiz3:gnus]. We point out the next new remarkable result which improves the lower estimate in $(1.5).$

([@deff:gnus]) For $n>1 $ one has $$\begin{aligned}
 C\sqrt{{\log n \over n\log\log  n}}<R_1({\mathcal {D}}^n_{\infty }),
 \end{aligned}$$ where the constant $C$ is independent of $n$.

Both Bohr radii coincide in the case the domain is a polydisk, and in the case $n=1$ they do coincide with the classical Bohr radius ${1\over 3}$. If the domain ${\mathcal {D}}$ is not a polydisk, then naturally $R_2({\mathcal {D}})$ is smaller than $R_1({\mathcal {D}})$.

([@aiz1:gnus]) The inequality $$\begin{aligned}
 1-\sqrt[n]{{2\over 3}}<R_2({\mathcal {D}})
 \end{aligned}$$ is true for every complete bounded Reinhardt domain ${\mathcal {D}}$.

([@aiz1:gnus]) There holds the inequality $$\begin{aligned}
 R_2({\mathcal {D}}^n_1)<{0.44663\over n}.
 \end{aligned}$$

The radius $ R_2({\mathcal {D}})$ was a subject of investigation in [@boas:gnus],[@def1:gnus]. Other results about the Bohr radius for holomorphic functions can be found in [@aiz2:gnus], [@aizad2:gnus],[@aizg:gnus],[@aizlv:gnus], [@aizvi:gnus],[@ben:gnus], [@def:gnus].

Generalized Bohr radii
======================

One of the proofs of Bohr’s theorem (Theorem 1.1) is based on the Landau inequality [@laga:gnus]: if the function $(1.1)$ satisfies in $U_1$ the inequality $\vert f(z_1)\vert <1 $, then $\vert c_k\vert \leq 2(1-\vert c_0\vert)$ holds for every $k\geq 1 $. This inequality can be obtained as a simple consequence of the Caratheodory inequality [@carath:gnus]: if the function $(1.1)$ satisfies in $U_1$ the inequality $\Re f(z_1)>0,$ then $\vert
 c_k\vert \leq 2\Re c_0$ is true for every $k\geq 1.$ Both inequalities are particular cases of a more general assertion.

Let $\tilde G$ be the convex hull of $G.$

([@aiz3:gnus]) If $f(U_1)\subset G,$ then $$\begin{aligned}
 \vert c_k\vert \leq 2dist ( c_0,\partial \tilde G),
 \end{aligned}$$ for all $k\geq 1 $.

Now it is not difficult to prove a generalization of Theorem 1.1. Let $G\subset {\bf C}$ be any domain. A point $p\in
 \partial G$ is called a point of convexity if $p\in
 \partial \tilde G.$ A point of convexity $p$ is called regular if there exists a disk $U\subset G$ so that $p\in \partial U$.

If the function $(1.1)$ is such that $f(U_1)\subset G$, with $\tilde G\not={\bf C}$, then for $\vert z_1\vert
 <{1\over 3}$ the inequality $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <dist(c_0,
 \partial \tilde G)
 \end{aligned}$$ is valid. The constant ${1\over 3}$ cannot be improved if $\partial G$ contains at least one regular point of convexity.

[**Proof:**]{} 1) If $\vert z_1\vert <{1\over 3}$ then $(2.1)$ yields $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <2dist(c_0,
 \partial \tilde G)\sum\limits_{k=1}^{\infty}{1\over 3^k}=dist(c_0,
 \partial \tilde G).
 \end{aligned}$$ 2) We will prove the exactness of the constant ${1\over 3}$ in the case the boundary contains at least one regular point of convexity. In the classical case of Bohr’s Theorem 1.1 this is obtained by considering the family of functions ([@laga:gnus]) $$\begin{aligned}
f(z_1)={\alpha -z_1\over 1-\alpha z_1}, \; 0<\alpha <1.\end{aligned}$$ Here $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert =1\end{aligned}$$ if and only if $\vert z_1\vert ={1\over 1+2\alpha}$. Furthermore, taking $\alpha \longrightarrow 1,$ we obtain the desired result. Note that instead of the family $(2.3)$ one can use the family $e^{i\phi} f(z_1)$, where $f(z_1)$ is taken from $(2.3)$. In this case it follows that $c_0=e^{i\phi}\alpha,$ and when $\alpha
\longrightarrow 1$ we get that $c_0$ tends to $\partial U_1$ along the radius of argument $\phi $. If $G$ is an arbitrary disk $U,$ then, remarking that $(2.2)$ does not change under homotheties and translations, we deduce the exactness of ${1\over 3}$ in the case of any disk. Let $\zeta  $ be a regular point of convexity, then there exists a disk $U\subset G $ such that $\zeta \in(\partial U
)\cap (\partial G)$. Consider the functions $f$ in $(1.1)$ such that $f(U_1)\subset U$. For suitable $c_0$ (see above) we will have $dist(c_0, \partial U)=dist(c_0, \partial G)=dist(c_0,
 \partial \tilde G)$. Therefore, in the inequality $(2.2)$ one cannot take $\vert z_1\vert <r$, where $r>{1\over
 3}$.$ \quad\diamondsuit$ We remark that Theorem 1.1, the assertion $\bf{3^0},$ as well as the generalized assertions $\bf{1^0}$ and $\bf{2^0}$ are contained in Theorem 2.1. For example, in $\bf{1^0}$ no need in assuming $c_0>0,$ and instead of $(1.3)$ one gets $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <1-\vert \Re
 c_0\vert .
 \end{aligned}$$ Similarly in $\bf{2^0}$ no need in assuming $c_0>0,$ and instead of $(1.3)$ one gets $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <1- \Re
 c_0 .
 \end{aligned}$$ Let us recall another fact, known earlier: $\bf{4^0}$. ([@aizad1:gnus]) If $\Re f(z_1)>0$ in $U_1$ and $c_0>0$, then for $\vert z_1\vert <{1\over 3}$ the inequality $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <c_0 
 \end{aligned}$$ holds, and the constant ${1\over 3}$ cannot be improved. I thought before that Theorem 1.1. and $\bf{4^0}$ are two different facts, having the same Bohr radius. In the light of Theorem 2.1, I know now that both results are particular cases of this theorem. Now, in the case of $\bf{4^0}$ without the assumption $c_0
 >0,$ we get $$\begin{aligned}
 \sum\limits_{k=1}^{\infty}\vert c_k z_1^k\vert <\Re c_0 
 \end{aligned}$$ instead of $(2.4).$

Theorem 2.1 motivates the following generalization of the first and second Bohr radii. Denote by $R_1({\mathcal {D}},G)$ (or by $R_2({\mathcal {D}},G)$), where $G\subset
 {\bf C}$, $\tilde G\not= {\bf C},$ and ${\mathcal {D}}$ is a complete Reinhardt domain (bounded complete Reinhardt domain) in ${\bf
 C}^n$ the largest $r\geq 0$ such that if the function $(1.4)$ is holomorphic in ${\mathcal {D}}$ and $f({\mathcal {D}})\subset G$ then $$\begin{aligned}
 \sum\limits_{\vert\alpha \vert \geq 1}^{\infty}\vert c_{\alpha} 
z^{\alpha}\vert <dist(c_0 ,\partial \tilde G)
 \end{aligned}$$ in a homothety ${\mathcal {D}}_r$ (or correspondingly $$\begin{aligned}
 \sum\limits_{\vert\alpha \vert \geq 1}^{\infty}\sup_{{\mathcal 
{D}}_r}\vert c_{\alpha} z^{\alpha}\vert <dist(c_0 ,\partial \tilde G)).
 \end{aligned}$$ Theorem 2.1 and the result from [@aize:gnus] about the Rogosinski radius allow one to hope that the two Bohr radii $R_1({\mathcal {D}},G)$ and $R_2({\mathcal D},G)$ are independent of the convex domain $G$. The main result of the present paper is the proof of the validity of this more general assertion.

 The main result
================

Let $M$ be a complex manifold, ${\mathcal H}(M)$ be the space of holomorphic on $M$ functions equipped with the natural topology of uniform convergence over compact subsets of $M$.\
Let $\| \cdot\|_r$, $r\in (0,1)$, be a one-parameter family of semi-norms in ${\mathcal H}(M)$ that are continuous with respect to the topology of ${\mathcal H}(M)$. In what follows we always assume that $$\begin{aligned}
 a)\;\;\| \cdot\|_{r_1}&\leq &\| \cdot\|_{r_2}\;\;if \;r_1\leq r_2.\\
 b)\;\;\| f\cdot g\|_{r}&\leq &\| f\|_{r}\cdot\| g\|_{r}\;\;\forall
 r\in (0,1).
 \end{aligned}$$ There exists a point $z_0\in M$ such that $$\begin{aligned}
 c)\;\;\| f\|_{r}&\longrightarrow & \vert f(z_0)\vert \;\rm{as}\; 
r\longrightarrow 0,\; \forall f\in {\mathcal {H}}(M).\\
 d)\;\;\| f\|_{r}&= &\vert f(z_0)\vert+\| f-f(z_0)\|_{r},\;\forall
 f\in {\mathcal {H}}(M).
 \end{aligned}$$ Denote by $B(\| \cdot\|_{r}, G)$ the largest $r\geq 0$ such that for $f\in {\mathcal {H}}(M)$ and $ f(M)\subset  G$ one has $$\begin{aligned}
\| f-f(z_0)\|_{r}<dist (f(z_0), \partial \tilde G),\end{aligned}$$ where $\tilde G$ is the convex hull of the domain $G\subset {\bf
C}$.

If $U$ is any disk and $\Pi $ is any half-plane, then $$\begin{aligned}
B(\| \cdot\|_{r}, \Pi)=B(\| \cdot\|_r, U).\end{aligned}$$

[**[Proof:]{}**]{} Let $\Pi _1=\{z_1:\; \Re z_1>0 \}$, then ([@aizad1:gnus], Theorem 7) $$\begin{aligned}
B(\| \cdot\|_r, U_1)=B^{\prime}(\| \cdot\|_{r}, \Pi _1),\end{aligned}$$ where $B^{\prime}$ is defined in the same way as $B$ but with the additional assumption $f(z_0)>0$. This assumption can be removed as follows. If $\Re f(z_0)>0$ in $M$ then $\Re f_1(z_0)>0$, where $f_1(z)=f(z)-\Im f(z_0)$. But $f_1(z_0)>0$, hence $$\begin{aligned}
B(\| \cdot\|_r, U_1)=B(\| \cdot\|_{r}, \Pi _1).\end{aligned}$$ We remark that $(3.1)$ does not change under homotheties, translations and rotations of the domain $G$. Therefore $(3.2)$ holds. $\diamondsuit $\

If $ \tilde G\not={\bf C}$, then $B(\| \cdot\|_{r}, G)$ is not smaller than $(3.2)$. If $\partial G$ contains at least one regular point of convexity, then $B(\| \cdot\|_{r}, G)$ is equal to $(3.2)$.

[**[Proof:]{}**]{} Let $ \tilde G\not={\bf C}$ and $ f(M)\subset G$. Fix any $f(z_0)\in G$. On the boundary $\partial \tilde G$ there exists a point $\zeta $ so that $dist(f(z_0),\partial \tilde G)=
dist(f(z_0), \zeta)$. Through the point $\zeta $ the line of support of $\tilde G$ passes which defines the half-plane $\Pi _0\supseteq
G$. Then $$dist(f(z_0),\partial \tilde G)=dist(f(z_0),\partial
\Pi_0).$$ Therefore $B(\| \cdot\|_{r}, G)\geq B(\| \cdot\|_{r}, \Pi
_0)$, since $\{f:f\in {\mathcal {H}}(M),\; f(M)\subset G\}\subset
\{f:f\in {\mathcal {H}}(M),\; f(M)\subset \Pi _0\}$.\
Assume now that there is a regular point of convexity in $\partial
G$. Then the proof repeats the proof of part 2) of the Theorem 2.1. Note that there we did not use the concrete form of the family $(2.3)$, but rather the fact that $c_0$ can lie on any radius emanating from the center of the disk $U$ to its boundary. So, let us assume that $U\subset G$, $\zeta \in
(\partial U)\cap (\partial G)\cap (\partial\tilde G)$. Then consider $f(z_0)$ lying on the radius from the center of the disk $U$ to the point $\zeta $. Now $dist(f(z_0),
\zeta)=dist(f(z_0),\partial U)=dist(f(z_0),\partial \tilde G)$, hence $B(\| \cdot\|_{r}, G)\leq B(\| \cdot\|_{r}, U)$, since $\{f:f\in {\mathcal {H}}(M),\; f(M)\subset U\}\subset \{f:f\in
{\mathcal {H}}(M),\; f(M)\subset G\}$. $\diamondsuit $.

If the domain $G$ is convex and $G\not={\bf C}$, then $B(\|
\cdot\|_{r}, G)$ is independent of the choice of the domain $G$.

[**[Proof:]{}**]{} There exists disk $U\subset G$ such that $\partial
U\cap \partial  G\not=\emptyset $. Therefore there exist regular points of convexity on $\partial  G$. $\diamondsuit $\

The first Bohr radius $R_1({\mathcal {D}}, G)$ and the second Bohr radius $R_2({\mathcal {D}}, G)$ are independent of the choice of the convex domain $G$, $G\not={\bf C}$.

In particular, the assertions of Theorems 1.2, 1.3 and 1.4 are valid for $R_1({\mathcal {D}}, G)$ while those of Theorem 1.5 and 1.6 are valid for $R_2({\mathcal {D}}, G)$ for every convex domain $G\not={\bf C}$.\
[**Some concluding remarks.**]{} If the family of semi-norms $\|\cdot\|_r
$ does not satisfy some of the conditions $a)-d)$, then the assertion of Theorem 3.1 is not valid anymore. Examples can be found in [@aizad1:gnus]. If $\tilde G={\bf C}$, then the right-hand side of $(3.1)$ is equal to $\infty $, therefore in this case $$B(\| \cdot\|_{r}, G)=1.$$ One can also consider different realizations of $B(\| \cdot\|_{r}, G)$ than the first and second Bohr radii $R_1({\mathcal {D}}, G)$ and $R_2({\mathcal {D}},
G)$.\
We conclude the present article with formulating an [**[open problem]{}**]{}: if $\tilde G\not={\bf C},$ is it always true that $B(\| \cdot\|_{r}, G)$ is equal to $(3.2)$? The same question makes sense for the first and second Bohr radii $R_1({\mathcal {D}},
G)$ and $R_2({\mathcal {D}}, G)$.

Acknowledgements
================

The author is deeply grateful to E. Liflyand and A. Vidras for their help in preparing the paper and improving the presentation.

[99]{} L.Aizenberg, [*Multidimensional analogues of Bohr’s theorem on power series*]{}, Proc. Amer. Math. Soc. 128 (2000), 1147-1155. L.Aizenberg, [*Bohr Theorem*]{}, Encyclopedia of Mathematics, Supplement II (ed. M.Hezewinkel), Kluwer, Dordrecht, 2000, 76-78. L.Aizenberg, [*A generalization of Caratheodory inequality and the Bohr radius for multidimnesional power series*]{}, Operator Theory, Advances and Applications 158 (2005), 87-94. L.Aizenberg, A.Aytuna, P.Djakov, [*An abstract approach to Bohr’s phenomenon*]{}, Proc. Amer. Math. Soc. 128 (2000), 2611-2619. L.Aizenberg, A.Aytuna, P.Djakov [*Generalization of Bohr’s theorem for bases in spaces of holomorphic functions of several complex variables*]{}, J. of Math. Anal. Appl. 258 (2001), 428-447. L.Aizenberg, I.B.Grossman, Yu.F. Korobeinik, [*Some remarks on Bohr radius for power series*]{}, Isv.Vyssh.Ucheb.Zav. Mat. 2002, no.10, 3-10. L.Aizenberg, M.Elin, D.Shoikhet , [*On the Rogosinski radius for holomorphic mappings and some of its applications*]{}, Stud.Math. 128(2)(2005), 147-158. L.Aizenberg, E.Liflyand, A.Vidras, [*Multidimensional analogue of the van der Corput-Visser inequality and its application to the estimation of the Bohr radius*]{}, Anal.Pol.Math. 80 (2003), 47-54. L.Aizenberg, A.Vidras, [*On the Bohr radius of two classes of holomorphic functions*]{}, Siberian Math. J. 45 (2004), no. 4, 606–617. C.Bénéteau, A.Dalhner, D.Khavinson, [*Remarks on the Bohr phenomenon*]{}, Comput. Method. Funct.Theory 4 (2004), 1-19. H.P.Boas [*Majorant series*]{}, J.Korean Math. Soc. 37 (2000), 321-337. H.P.Boas, D.Khavinson, [*Bohr’s power series theorem in several variables*]{}, Proc. Amer. Math. Soc. 125 (1997), 2975-2979. H.Bohr, [*A theorem conserning power series*]{}, Proc. London Math.Soc. 13 (1914), 1-5. C.Carathéodory, [*Über den Variabiletätsbereich der Koeffizienten den Potenzreihen, die gegebene Werte nicht annemen*]{}, Math. Ann. 64 (1907), 95-115. A.Defant, L. Frerick, [*A logarithmic lower bound for multi-dimensional Bohr radii*]{}, Israel J. of Math. 152 (2006), 17-28. A.Defant, D.Garcia, and M.Maestre, [*Bohr’s power series theorem and local Banach space theory*]{}, J. reine und angew. Math. 557 (2003), 173-197. A.Defant, D.Garcia, and M.Maestre, [*Estimates for the first and second Bohr radii of Reinhardt domains*]{}, J. Approx. Theory 128 (2004), 53-68. S.Dineen, R.Timoney, [*Absolute bases, tensor products, and a theorem of Bohr*]{}, Stud. Math. 94 (1989), 227-234. P.B.Djakov, M.S.Ramanujan, [*A remark on Bohr’s theorem and its generalizations*]{}, J.Analysis, 8 (2000), 65-77. G.Kresin, V.Maz’ya, [*Sharp Bohr’s type real part estimates*]{}, preprint, 2006, 1-16. E.Landau, D.Gaier, [*Darstellung und Begründung einiger neuerer Ergebnisse der Funktionentheorie*]{}, Springer-Verlag, 1986. V.I.Paulsen, G.Popescu, D.Singh, [*On Bohr inequality*]{}, Proc.Lond.Math. Soc. 85 (2002), 493-515. S.Sidon, [*Über einen Satz von Herrn Bohr*]{}, Math.Zeit. 26 (1927), 731-732. M.Tomič, [*Sur une théorèm de H.Bohr*]{}, Math.Scandin. 11 (1963), 103-106.

[^1]: AMS classification number:32A05.

[^2]: Keywords: Bohr radius, Reinhardt domains, power series.
