on power series
If a power series
converges in the unit disc and its sum has modulus less than , then
in the disc . Moreover, the constant cannot be improved.
This formulation of the result of H. Bohr [a1] is due to the work of M. Riesz, I. Schur and F. Wiener.
Denote by the largest number such that if the series
converges in the unit poly-disc and the estimate
is valid there, then
holds in the homothetic domain ; here , all are non-negative integers, , .
Regarding , the following is known [a2]: For one has
Next, for the hypercone , let be the largest number such that if the series (a3) converges in and the estimate (a4) is valid there, then (a5) holds in .
For the hypercone the following estimates are true [a3]:
Moreover, if , then there exists a series of the form (a3) converging in and such that the estimate (a4) is valid there, but (a5) fails at the point .
Denote by the largest number such that if the series (a3) converges in a complete Reinhardt bounded domain and (a4) holds in it, then
where is a homothetic transform of . If , then . This gives a natural generalization of Bohr's theorem.
is true for any complete bounded Reinhardt domain [a3].
This estimate can be improved for concrete domains [a3]: For the unit hypercone the following inequality holds:
In [a4], Bohr's phenomenon was studied for arbitrary bases in the space of holomorphic functions on an arbitrary domain, by analogy with (a7) (or (a5)). One can easily see that Bohr's phenomenon appears for a given basis only if the basis contains a constant function. It has been proven that if, in addition, all other functions of the basis vanish at some point , then there exist a neighbourhood of and a compact subset such that, whenever a holomorphic function on has modulus less than , the sum of the maximum in of the moduli of the terms of its expansion is less than too.
ii) there exists a such that , , then there exist a neighbourhood of and a compact subset such that for all , ,
For holomorphic functions with positive real part the following assertion (analogous to the initial formulation) holds [a5]. If the function
has positive real part and , then
in the disc and the constant cannot be improved.
Thus, if is the unit disc and , the Bohr radius in the above assertion and that in the initial assertion are equal. The next results shows that Bohr radii are equal in a more general situation too [a5].
Let be a complex manifold, and let be a continuous semi-norm in such that
b) . Then the following statements are equivalent:
A) if for all and ;
B) for all .
|[a1]||H. Bohr, "A theorem concerning power series" Proc. London Math. Soc. , 13 : 2 (1914) pp. 1–5|
|[a2]||H.P. Boas, D. Khavinson, "Bohr's power series theorem in several variables" Proc. Amer. Math. Soc. , 125 (1997) pp. 2975–2979|
|[a3]||L. Aizenberg, "Multidimensional analogues of Bohr's theorem on power series" Proc. Amer. Math. Soc. , 128 (2000)|
|[a4]||L. Aizenberg, A. Aytuna, P. Djakov, "Generalization of Bohr's theorem for arbitrary bases in spaces of holomorphic functions of several variables" J. Anal. Appl. (to appear)|
|[a5]||L. Aizenberg, A. Aytuna, P. Djakov, "An abstract approach to Bohr phenomenon" Proc. Amer. Math. Soc. (to appear)|
Bohr theorem. L. Aizenberg (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bohr_theorem&oldid=12334