Abstract
This article focuses on the improvement of the classic Bohr’s inequality for bounded analytic functions on the unit disk. We give some sharp versions of Bohr’s inequality, generalizing the previous results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Bohr’s theorem states that if \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is a bounded analytic function in the unit disk \({\mathbb {D}}= \{z\in {\mathbb {C}}:|z|=r<1\}\) such that \(|f(z)|\le 1\) for all \(z\in {\mathbb {D}}\), then
for \( r\le 1/3\), the constant 1/3 is sharp and the value is called the classical Bohr radius. In 1914, the inequality was originally obtained by Bohr only for \(r\le 1/6\) [11]. Later, Riesz, Schur and Wiener proved the inequality (1.1) holds for \(r\le 1/3\) and showed that the constant 1/3 cannot be improved. Other proofs about this inequality in [30, 31] and also see [4, 15].
The inequality (1.1) is known and classical as Bohr inequality. Recently, several aspects of Bohr inequality and its improvements have created enormous interest in various settings. Such as even analytic function, alternating series and odd analytic function [10, 21], starlike logharmonic mappings [9], subordinating families and harmonic mappings [3], the classes of quasi-subordination and K-quasiregular harmonic mappings [24], Banach spaces and Banach algebras [12, 13], operator theory [25], several real or complex variables [5,6,7,8]. For more general results, see [27, 28].
Let
We denote by \(S_{r}(f)\) the area of the image of the subdisk \(|z|< r\) under the mapping f and take \(S_{r}(f)\) as \(S_{r}\) for convenience.
Recently, Kayumov [20] and Liu [23] proved the following Bohr-type inequalities.
Theorem 1.1
[20] Suppose that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|<1\) in \({\mathbb {D}}\). Then
the radius 1/3 cannot be improved.
Theorem 1.2
[23] Suppose that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
the radius 1/5 cannot be improved. Moreover,
the radius 1/3 cannot be improved.
Theorem 1.3
[23] Suppose that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
the radius \(r_{a_0}\) is the best possible and \(r_{a_0}\ge \sqrt{5}-2\). Moreover,
where \(r'_{a_0}\) is the unique positive root of the equation
The radius \(r'_{a_0}\) is the best possible. Further, we have \(1/3<r'_{a_0}<\frac{1}{2+|a_0|}\).
There are various ways to generalize the classical Bohr inequality for bounded analytic functions. For instance, Huang and Hu extended the Bohr-type inequality by allowing Schwarz function in place of the initial coefficients in function’s power series expansions in [18] and [16], respectively. In [32] and [17], the authors established some sharp Bohr-type inequalities with one parameter or involving convex combination. Kayumov-Ponnusamy [22] improved the Bohr inequality by adding the area \(S_{r}(f)\) of the image of the subdisk \(|z|< r\) under the mapping f. In addition, there is a harmonic analog of Bohr inequality and another improved version about \(S_{r}(f)\) in [14, 22].
It is worth noting that initially, the Bohr radius was defined for analytic functions mapping the unit disk to the unit disk. However, subsequent research has extended its applicability to mappings from the unit disk to the punctured unit disk [2], the exterior of the closed unit disk [1], and various other domains [7].
This paper is motivated by Ismagilov’s methods, which replace the constant term with the absolute value of the function and the square of the absolute value of the function, to obtain the sharp inequalities presented in [19]. Additionally, Ponnusamy’s methods incorporate the classical lemma of Schwarz in the power series expansion of the function in [29]. Given these motivations, it is natural to generalize Theorems 1.1, 1.2 and 1.3 to Theorems 3.1, 3.2, 3.3 and 3.4, all of which yield sharp results.
The paper is organized as follows. In Sect. 2, we provide some key lemmas that play a crucial role in the proofs. In Sect. 3, we present the main results along with their proofs.
2 Some Lemmas
In order to establish our main results, we need the following some lemmas.
Lemma 2.1
(Schwarz-Pick lemma) Let \(\phi (z) \) be analytic in \({\mathbb {D}}\) and \(|\phi (z)|<1\) in \({\mathbb {D}}\). Then
and equality holds for distinct \(z_{1},z_{2}\in {\mathbb {D}}\) if and only if \(\phi \) is a Möbius transformation. In particularly,
and equality holds for some \(z\in {\mathbb {D}}\) if and only if \(\phi \) is a Möbius transformation.
Lemma 2.2
[26] Suppose that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
The general version of this lemma is proofed in [23, Lemma 4].
Lemma 2.3
[19] Let \(p\in {\mathbb {N}}\), \(0\le m\le p\) and \(f(z)= \sum _{n=0}^{\infty }a_{pn+m}z^{pn+m}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
Lemma 2.4
[22] Let \(|b_{0}|<1\) and \(0<r\le 1/\sqrt{2}\). Suppose that \(g(z)=\sum _{n=0}^{\infty }b_{n}z^{n}\) is analytic and satisfies the inequality \(|g(z)|<1\) in \({\mathbb {D}}\), \(S_{r}(g)\) denotes the area of the image of the subdisk \(|z|< r\) under the mapping g. Then
3 Main Results
In this section, we give four sharp Bohr-type inequalities for bounded analysis functions.
Theorem 3.1
Assume that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
for \(r\le 1/3\), where
and \({a}\approx 0.555991\) is the unique positive root of the equation
in the interval (0, 1). The equality is attained for the function
Proof
Since \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\), \(a:=|a_0|\in [0,1)\), by Schwarz-Pick lemma, Lemma 2.2 and Lemma 2.4, respectively, we have
Consider the function M(a, r) which is an increasing function of r for \(0\le r\le 1/3\), then we have
where
Now, we need to show that \(\Phi _1({a})\ge 0 \) holds for \({a}\in [0,1)\). Let \(\Phi _1'({a})=0\), we obtain
then
One can verify that the function \( \Phi _1({a})\) in the interval [0, 1) has unique zero \({a}\approx 0.555991\) which is the unique positive root of the equation \(t^5+2t^4+8t^3-34t^2-761t+432=0\). Furthermore, by simple calculation, we obtain \(\lambda =12.704586\ldots \) and \(\Phi _1'({a})=0\). Namely, the function \(\Phi _1({a})\) has exactly one stationary point \({a}=0.555991...\) in [0, 1]. Meanwhile, we have \(\Phi _1(0)>0\) and \(\Phi _1(1)>0\). Thus, \(\Phi _1({a}) \ge 0\) which proves that (3.1) holds for \(r\le 1/3\).
Next we show that the constant \(\lambda \) is sharp, we consider the function f(z) given by
where \(a\in [0,1)\). For this function, taking \({z=-r}\) and computing the value on the left side of inequality(3.1), we obtain
For \(r=1/3\), the above expression becomes
Now choosing a as the positive root of the equation \(t^5+2t^4+8t^3-34t^2-761t+432=0.\) Then, we obtain
Which is obviously greater than 1 in case \(\lambda _{1}>\lambda \). This proves the sharpness and the proof of Theorem 3.1 is complete. \(\square \)
Remark 3.1
From the proof of Theorem 3.1, we have the following result: for any function \(T(t): [0,\infty ) \rightarrow [0,\infty )\) such that \(T(t)>0\) for \(t>0\), there exist bounded analytic function \(f:{\mathbb {D}} \rightarrow {\mathbb {D}}\) for which the following inequality
is wrong, the constant \(\lambda \) is in Theorem 3.1.
Theorem 3.2
Assume that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
for \(r\le 1/5\), where
and \({a}\approx 0.396199\), is the unique positive root of the equation \(\psi (t)=0\) in the interval (0,1), where
The equality is attained for the function
Proof
Let \(a:=|a_0|\in [0,1)\). By Lemma 2.3, for \(m=0\) and \(p=1\), we obtain the following inequalities:
At first we consider \(a\ge 1/5\). In this case, using (3.3), Lemma 2.2 and Lemma 2.4, we have
Obviously, the function N(a, r) is an increasing function of r for \(0\le r \le 1/5\), then we have
where
Now, we show that \(\Phi _2({a})\ge 0 \) holds for \({a}\in [1/5,1)\). Let \(\Phi _2'({a})=0\), we obtain
Then
where
Clearly, the function \(\Phi _2({a})\) has unique zero \({a}\approx 0.396199\) in the interval [1/5, 1) which is the positive root of the equation \(\psi (t)=0\). Thus, we obtain \(\lambda =191.551761\ldots \) and \(\Phi _2'({a})=0\). On the other hand, we have \(\Phi _2(1/5)>0\) and \(\Phi _2(1)>0\). Hence, \(\Phi _2({a}) \ge 0\) which proves that (3.2) holds for \(a\ge 1/5\) and \(r\le 1/5\).
Next, we consider \(a<1/5\). Combining (3.3), Lemma 2.2 and Lemma 2.4, we deduce that
Observe that \(N^*(a,r)\) is an increasing function of r for \(0\le r \le 1/5\), then we obtain
Obviously,
where
Observe that the function \(X(a,\lambda )\) is an increasing function of a for \(a\in [0,1/5)\). Then, we have \(X(a,\lambda )\le X(1/5,\lambda )<1\). Thus \(\Psi _1'(a)\ge 0\). It follows that \(\Psi _1(a)\) is an increasing function of a for \(a\in [0,1/5)\) and so \(\Psi _1(a) \le \Psi _1(1/5)\approx 0.9677<1\). Therefore, inequality (3.2) holds for \(a<1/5\) and for \(r \le 1/5\).
To show the sharpness of the constant \(\lambda \), we consider the function f(z) given by
where \(a\in [0,1)\). Taking \(z=r\) and computing the value on the left side of inequality (3.2), we have
For \(r=1/5\), the above expression becomes
Now choosing a as the positive root of the equation \(\psi (t)=0\), we obtain that
The above equality is greater than 1 for \(\lambda _{1}>\lambda \). This proves the sharpness and the proof of Theorem 3.2 is complete. \(\square \)
One can replace \(|a_0|\) by \(|a_0|^{2}\) in Theorem 3.2, but this will increase the Bohr radius. Namely, the following theorem is valid.
Theorem 3.3
Assume that \(f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
for \(r\le 1/3\), where
and \({a}\approx 0.468007\), is the unique positive root of the equation \(\phi (t)=0\) in the interval (0,1), where
The equality is attained for the function
Proof
Let \(a:=|a_0|\in [0,1)\). Firstly, we consider the first part. Namely, \(a\ge 1/3\), then by (3.3), Lemma 2.2 and Lemma 2.4, we have
According to the monotony of r for \(0\le r\le 1/3\), we have
where
Next, we show that \(\Phi _3({a})\ge 0 \) holds for \({a}\in [1/3,1)\). Let \(\Phi _3'({a})=0\), we obtain
Then
where
The function \( \Phi _3({a})\) in the interval [1/3, 1) has unique zero \({a}\approx 0.468007\). This value corresponds to the positive root of the equation \(\phi (t)=0\). In the same way, we obtain \(\lambda =3.702103\ldots \) and \(\Phi '({a})=0\). Meanwhile, \(\Phi _3(1/3)>0\) and \(\Phi _3(1)>0\) is obvious. Thus, \(\Phi _3({a}) \ge 0\) which proves that (3.5) holds for \(a\ge 1/3\) and \(r\le 1/3\).
Secondly, we consider the case \(a<1/3\), then combining (3.3), Lemma 2.2 and Lemma 2.4, we obtain that
Observe that \(R^*(a,r)\) is an increasing function of r for \(0\le r \le 1/3\), then we obtain
Routine and straightforward calculations show that the last expression \(\Psi _2(a)\) maximizes at \(a=1/3\) for \(a\in [0,1/3)\). Then \(\Psi _2(a)\le \Psi _2(1/3)\approx 0.9989<1\). This proves that (3.5) holds for \(a<1/3\) and \(r \le 1/3\).
Lastly, to show the sharpness of the constant \(\lambda \), in the same way, we consider the function f(z) is same as (3.4) and compute the value on the left side of inequality (3.5), then we get
Choose a as the positive root of the equation \(\phi (t)=0\). Thus, we obtain that
which is obviously greater than 1 for \(\lambda _{1}>\lambda \). This proves \(\lambda \) is sharp and the proof is complete. \(\square \)
Remark 3.2
From the proof of Theorem 3.2 and Theorem 3.3, one cannot replace 8/9 by 16/9, otherwise the inequality (3.5) is false.
Theorem 3.4
For \(k\ge 2\), assume that \(f(z)=\sum _{n=k}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). Then
for \(|z|=r\le r_{k}\), where \(r_k\) is the unique positive root in (0, 1) of the equation
The radius \(r_k\) is the best possible. Moreover,
for \(|z|=r\le r'_{k}\), where \(r'_{k}\) is the unique positive root in (0, 1) of the equation
The radius \(r'_{k}\) is the best possible.
Before proving the Theorem 3.4, we present the value of \(r_k\) and \(r'_k\) for certain values of \(k\ge 2\) in Tables 1 and 2.
Proof of Theorem 3.4
For the first part of the theorem, we have \(f(z)=\sum _{n=k}^{\infty }a_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|f(z)|\le 1\) in \({\mathbb {D}}\). According to the classical lemma of Schwarz we may write \(f(z)=z^kg(z)\), where \(g(z)=\sum _{n=0}^{\infty }b_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|g(z)|\le 1\) in \({\mathbb {D}}\). Then, for \(n\ge 0\), we have \(a_{n+k}=b_n\). Now apply Schwarz-Pick lemma and Lemma 2.2 to the function g(z), we obtain
By \(a_{n+k}=b_n\), we get
Thus, we have
Therefore,
Now, we only need to show that
holds for \(r\le r_k\). Namely,
Let \(a:=|a_k|\in [0,1]\),
Obviously, C(a) is an increasing function of a. Then, we have
It is sufficient for us to show the above inequality is less than or equals to 1 for \(r\le r_k\). It is equivalent to show \(D(r)\ge 0\), where \(D(r)=3r^{k+1}-5r^k-2r+2\). Because \(D'(r)=-2-r^{k-1}[k(5-3r)-3r]\le 0\) holds for \(k\ge 2\) and \(0\le r \le 1\), then D(r) is a decreasing function of r. It is also easy to verify that \(D(0)D(1)<0\). Hence, \(r_k\) is unique root of D(r) and \(D(r)\ge 0\) for \(r\le r_k\).
Next we show the sharpness of the radius \(r_k\). Let \(a\in [0,1)\),
For this function, taking \(z=r\), we obtain
Comparison of the above expression with C(a), allowing \(a\rightarrow 1^{-}\) delivers the radius \(r_k\) is the best possible.
For the second part of the theorem, as in the previous case, let \(f(z)=z^kg(z)\), where \(g(z)=\sum _{n=0}^{\infty }b_{n}z^{n}\) is analytic in \({\mathbb {D}}\) and \(|g(z)|\le 1\) in \({\mathbb {D}}\). Then, we have \(a_{n+k}=b_n\) for \(n\ge 0\). Similarly, applying Schwarz-Pick lemma and Lemma 2.2 to the function g(z), we have
Namely,
Now we need to proof the side of last inequality is less than or equals to 1 for \(r\le r'_k\), let \(a:=a_k\), it follows that
The equation
has a unique root in (0, 1) for \(k\ge 2\), since \(E(0)>0\), \(E(1)<0\) and \(E'(r)\le 0\) for fix \(r\in [0,1]\). Thus, inequality (3.7) holds for \(r\le r'_k\).
The proof of sharpness is similar with inequality (3.6), we omit it. Therefore, the proof of Theorem 3.4 is complete. \(\square \)
References
Abu-Muhanna, Y., Ali, R.M.: Bohr’s phenomenon for analytic functions into the exterior of a compact convex body. J. Math. Anal. Appl. 379(2), 512–517 (2011)
Abu-Muhanna, Y., Ali, R.M., Ng, Z.C.: Bohr radius for the punctured disk. Math. Nachr. 290(16), 2434–2443 (2017)
Abu-Muhanna, Y., Ali, R.M., Ng, Z.C., Hasni, S.M.: Bohr radius for subordinating families of analytic functions and bounded harmonic mappings. J. Math. Anal. Appl. 420(1), 124–136 (2014)
Abu-Muhanna, Y., Ali, R. M., Ponnusamy, S.: On the Bohr inequality. In Progress in approximation theory and applicable complex analysis, volume 117 of Springer Optim. Appl., pp. 269–300. Springer, Cham, (2017)
Aizenberg, L.: Multidimensional analogues of Bohr’s theorem on power series. Proc. Amer. Math. Soc. 128(4), 1147–1155 (2000)
Aizenberg, L.: Generalization of Carathéodory’s inequality and the Bohr radius for multidimensional power series. In Selected topics in complex analysis, volume 158 of Oper. Theory Adv. Appl., pp. 87–94. Birkhäuser, Basel, (2005)
Aizenberg, L.: Generalization of results about the Bohr radius for power series. Studia Math. 180(2), 161–168 (2007)
Aizenberg, L., Aytuna, A., Djakov, P.: Generalization of a theorem of Bohr for bases in spaces of holomorphic functions of several complex variables. J. Math. Anal. Appl. 258(2), 429–447 (2001)
Ali, R.M., Abdulhadi, Z., Ng, Z.C.: The Bohr radius for starlike logharmonic mappings. Complex Var. Elliptic Equ. 61(1), 1–14 (2016)
Ali, R.M., Barnard, R.W., Solynin, AYu.: A note on Bohr’s phenomenon for power series. J. Math. Anal. Appl. 449(1), 154–167 (2017)
Bohr, H.: A theorem concerning power series. Proc. London Math. Soc. 2(13), 1–5 (1914)
Defant, A., García, D., Maestre, M.: Bohr’s power series theorem and local Banach space theory. J. Reine Angew. Math. 557, 173–197 (2003)
Dixon, P.G.: Banach algebras satisfying the non-unital von Neumann inequality. Bull. London Math. Soc. 27(4), 359–362 (1995)
Evdoridis, S., Ponnusamy, S., Rasila, A.: Improved Bohr’s inequality for locally univalent harmonic mappings. Indag. Math. 30(1), 201–213 (2019)
Garcia, S.R., Mashreghi, J., Ross, W.T.: Finite Blaschke products and their connections. Springer, Cham (2018)
Hu, X.J., Wang, Q.H., Long, B.Y.: Bohr-type inequalities for bounded analytic functions of Schwarz functions. AIMS Math. 6(12), 13608–13621 (2021)
Hu, X.J., Wang, Q.H., Long, B.Y.: Bohr-type inequalities with one parameter for bounded analytic functions of Schwarz functions. Bull. Malays. Math. Sci. Soc. 45(1), 575–591 (2022)
Huang, Y., Liu, M.S., Ponnusamy, S.: Refined Bohr-type inequalities with area measure for bounded analytic functions. Anal. Math. Phys. 10(4), 1–21 (2020)
Ismagilov, A., Kayumov, I.R., Ponnusamy, S.: Sharp Bohr type inequality. J. Math. Anal. Appl. 489(1), 124147 (2020)
Kayumov, I. R., Ponnusamy, S.: Bohr–Rogosinski radius for analytic functions. (2017). arXiv:1708.05585
Kayumov, I.R., Ponnusamy, S.: Bohr inequality for odd analytic functions. Comput. Methods Funct. Theory 17(4), 679–688 (2017)
Kayumov, I.R., Ponnusamy, S.: Improved version of Bohr’s inequality. C. R. Math. Acad. Sci. Paris 356(3), 272–277 (2018)
Liu, G., Liu, Z.H., Ponnusamy, S.: Refined Bohr inequality for bounded analytic functions. Bull. Sci. Math. 173, 103054 (2021)
Liu, M.S., Ponnusamy, S., Wang, J.: Bohr’s phenomenon for the classes of quasi-subordination and \(K\)-quasiregular harmonic mappings. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114(3), 1–15 (2020)
Paulsen, V.I., Popescu, G., Singh, D.: On Bohr’s inequality. Proc. London Math. Soc. (3) 85(2), 493–512 (2002)
Ponnusamy, S., Vijayakumar, R., Wirths, K.J.: New inequalities for the coefficients of unimodular bounded functions. Results Math. 75(3), 107 (2020)
Ponnusamy, S., Vijayakumar, R., Wirths, K.J.: Modifications of Bohr’s inequality in various settings. Houston J. Math. 47(4), 807–831 (2021)
Ponnusamy, S., Vijayakumar, R., Wirths, K.J.: Improved Bohr’s phenomenon in quasi-subordination classes. J. Math. Anal. Appl. 506(1), 125645 (2022)
Ponnusamy, S., Wirths, K.J.: Bohr type inequalities for functions with a multiple zero at the origin. Comput. Methods Funct. Theory 20(3–4), 559–570 (2020)
Sidon, S.: Über einen Satz von Herrn Bohr. Math. Z. 26(1), 731–732 (1927)
Tomić, M.: Sur un théorème de H. Bohr. Math. Scand. 11, 103–106 (1962)
Wu, L., Wang, Q.H., Long, B.Y.: Some Bohr-type inequalities with one parameter for bounded analytic functions. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 116(2), 1–13 (2022)
Acknowledgements
This work is supported by the Foundation of Anhui Educational Committee (KJ2020A0002) and Natural Science Foundation of Anhui Province(1908085MA18), China.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
No potential Conflict of interest was reported by the authors.
Additional information
Communicated by Saminathan Ponnusamy.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hu, X., Long, B. Some Sharp Bohr-Type Inequalities for Analytic Functions. Bull. Malays. Math. Sci. Soc. 47, 140 (2024). https://doi.org/10.1007/s40840-024-01740-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-024-01740-1