Bohr theorem
on power series
If a power series
![]() | (a1) |
converges in the unit disc and its sum has modulus less than , then
![]() | (a2) |
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.
Multi-dimensional variations.
Denote by the largest number such that if the series
![]() | (a3) |
converges in the unit poly-disc and the estimate
![]() | (a4) |
is valid there, then
![]() | (a5) |
holds in the homothetic domain ; here
, all
are non-negative integers,
,
.
Regarding , the following is known [a2]: For
one has
![]() | (a6) |
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
![]() | (a7) |
where is a homothetic transform of
. If
, then
. This gives a natural generalization of Bohr's theorem.
The inequality
![]() | (a8) |
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:
![]() | (a9) |
Arbitrary bases.
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.
More precisely, one has proven [a4] that if is a complex manifold and
is a basis in
satisfying:
i) ;
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
a) ;
b) . Then the following statements are equivalent:
A) if
for all
and
;
B) for all
.
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bohr_theorem&oldid=50480