# 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) |

**How to Cite This Entry:**

Bohr theorem. L. Aizenberg (originator),

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Bohr_theorem&oldid=12334