Abstract
In this paper, we first determine Bohr’s inequality for the class of harmonic mappings \(f=h+\overline{g}\) in the unit disk \(\mathbb {D}\), where either both \(h(z)=\sum _{n=0}^{\infty }a_{pn+m}z^{pn+m}\) and \(g(z)=\sum _{n=0}^{\infty }b_{pn+m}z^{pn+m}\) are analytic and bounded in \(\mathbb {D}\), or satisfies the condition \(|g'(z)|\le d|h'(z)|\) in \(\mathbb {D}\backslash \{0\}\) for some \(d\in [0,1]\) and h is bounded. In particular, we obtain Bohr’s inequality for the class of harmonic p-symmetric mappings. Also, we investigate the Bohr-type inequalities of harmonic mappings with a multiple zero at the origin and that most of results are proved to be sharp.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries and Some Basic Questions
The classical theorem of Bohr [14], examined a century ago, generates intensive research activity—what is called Bohr’s phenomena. Determination of the Bohr radius for analytic functions in a domain [21], as well as for analytic functions from \(\mathbb {D}\) into particular domains, such as the punctured unit disk, the exterior of the closed unit disk, and concave wedge-domains, has been discussed in the literature [1,2,3, 5]. See also the recent survey articles [9, 23, 29] and [22, Chapter 8]. The interest in the Bohr phenomena was revived in the 90s due to the extensions to holomorphic functions of several complex variables and to more abstract settings. For example, Boas and Khavinson [13] found bounds for Bohr’s radius in any complete Reinhard domains and showed that the Bohr radius decreases to zero as the dimension of the domain increases. This paper stimulated interests on Bohr-type questions in different settings. For example, Aizenberg [6, 7], Aizenberg et al. [8], Defant and Frerick [16], and Djakov and Ramanujan [18] have established further results on Bohr’s phenomena for multidimensional power series. Several other aspects and generalizations of Bohr’s inequality may be obtained from the literature. For instance, Defant [17] improved a version of the Bohnenblust–Hille inequality and Paulsen [39] proved a uniform algebra analogue of the classical inequality of Bohr concerning Fourier coefficients of bounded holomorphic functions in 2004. In Refs. [38, 40], the authors demonstrated the classical Bohr inequality using different methods of operators. Abu Muhanna [1], and Kayumov and Ponnusamy [25] investigated Bohr’s inequality for the class of analytic functions that are subordinate to univalent functions and odd univalent functions, respectively. On the other hand, Ali et al. [10] discussed Bohr’s phenomenon for the classes of even and odd analytic functions and also for alternating series. In Refs. [11, 30, 34, 36], the authors considered the Bohr radius for the family K-quasiconformal sense-preserving harmonic mappings and the class of all sense-preserving harmonic mappings, separately. Recently, the articles [35, 41, 42] presented a refined version of Bohr’s inequality along with few other related improved versions of previously known results. In particular, after the appearance of the articles [9, 26], several investigations and new problems on Bohr’s inequality in the plane case appeared in the literature (cf. [4, 12, 27, 33, 35, 41, 42]).
One of our aims in this article is to address the harmonic analog of this question (see Problem 1) raised by Paulsen et al. [38] but with a refined formulation as in Ref. [42] (see Theorem A).
1.1 Classical Inequality of H. Bohr
Let \(\mathcal {B}\) be the Schur class of all analytic functions f on the open unit disk \(\mathbb {D}:=\{z \in \mathbb {C}:\,|z|<1\}\), such that \(\Vert f\Vert _\infty :=\sup _{z\in \mathbb {D}}|f(z)|\le 1\). Then, the classical inequality examined by Bohr [14] states that 1/3 is the largest value of \(r\in [0,1)\) for which the following inequality holds:
for every analytic function \(f\in \mathcal {B}\) with the Taylor series expansion \(f(z)=\sum _{k=0}^{\infty }a_kz^k\). Bohr actually obtained that (1.1) is true when \(r\le 1/{6}\). Later, Riesz, Schur, and Wiener independently established the Bohr inequality (1.1) for \(r\le 1/{3}\) and that 1/3 is the best possible constant. It is quite natural that the constant 1/3 is called the Bohr radius for the space \(\mathcal {B}\). Moreover, for:
it follows easily that \(B(\varphi _a,r)>1\) if and only if \(r>1/(1+2a)\), which for \(a\rightarrow 1\) shows that 1/3 is optimal. Bohr’s and Wiener’s proofs can be found in Ref. [14]. Other proofs of Bohr’s inequality may be found from [44, 45]. Then, it is worth pointing out that there is no extremal function in \(\mathcal {B}\), such that the Bohr radius is precisely 1/3 (cf. [22, Corollary 8.26]).
1.2 The Bohr Radius for Functions Having Multiple Zeros at the Origin
Problem 1
In Ref. [38], the authors considered among others for \(k\in \mathbb {N}\) the classes \(\mathcal {B}_{k}:=z^k\mathcal {B}\), that is:
and asked for which \(r_k\in (0, 1)\), and:
we have the inequality:
and for each \(r\in (r_k,1)\), there exists a function \(f_k(z)=\sum _{n=k}^{\infty } a_{n}^{(k)} z^{n}\) in \(\mathcal {B}_{k}\) such that \(\sum _{n=k}^{\infty }|a_{n}^{(k)}|r^n > 1\). Here, the constant \(r_k\) is referred to as the Bohr radius of order k.
Clearly, \(\mathcal {B}_{0}=\mathcal {B}\), and \(\mathcal {B}_{1}=\left\{ f \in \mathcal {B}: \,f(0)=0\right\} \). For \(f\in \mathcal {B}_{1}\) (i.e., for \(k=1)\), Tomić [45] proved that (1.3) holds for \(0 \le r \le 1 / 2\) (also obtained by Landau independently, see [31]). Later, Ricci [43] established that this holds for \(0 \le r \le 3 / 5\), and the largest value of r for which (1.3) holds would lie in the interval \((3/5, 1/\sqrt{2}]\). Later, Bombieri [15] found that the inequality (1.3) holds for \(r \in [0,1 / \sqrt{2}]\), where the upper bound cannot be improved. An alternate proof of this result may be found from a recent paper of Kayumov and Ponnusamy [28] in which they solved an open problem of Djakov and Ramanujan on powered Bohr inequality. However, Problem 1 for \(k\ge 2\) remains open. On the other hand, in connection with Problem 1, Ponnusamy and Wirths [42] proved the following sharp inequalities for \(k\ge 2\), while the case \(k=1\) has been proved in Ref. [41]:
Theorem A
For \(k\ge 1\), let \(f\in \mathcal {B}_{k}\) have an expansion (1.2) and:
and
Then, we have the following inequalities:
-
(1)
\(M_k^{1}(f,r) \le 1 \) is valid for \(r \in \left[ 0, R_{k}\right] ,\) where \(R_{k}\) is the unique root in (0, 1) of the equation:
$$\begin{aligned} 4(1-r)-r^{k-1}\left( 1-2 r+5 r^{2}\right) =0. \end{aligned}$$The upper bound \(R_{k}\) cannot be improved.
-
(2)
\(M_k(f,r) \le 1 \) is valid for \(r \in \left[ 0, S_{k}\right] \), where \(S_{k}\) is the unique root in (0, 1) of the equation:
$$\begin{aligned} 2(1-r)-r^{k}(3-r)=0. \end{aligned}$$The upper bound \(S_{k}\) cannot be improved. Also, as \(M_k^{1}(f,r)\le M_k(f,r)\), it follows that \(S_k\le R_k\).
-
(3)
With \(\left| a_{k}\right| =a \in (0,1]\) being fixed, \(M_k(f,r) \le 1 \) is valid for \(r \in \left[ 0, \rho _{k}(a)\right] \), where \(\rho _{k}(a)\) is the unique root in \((0,1)\) of the equation:
$$\begin{aligned} (1+a)(1-r)-r^{k}\left[ 2 a^{2}+a+r\left( 1-2 a^{2}\right) \right] =0. \end{aligned}$$The upper bound \(\rho _{k}(a)\) cannot be improved.
Remark 1
We note that \(\rho _{k}(1)=S_k\). As \(M_k^{1}(f,r)\le M_k(f,r)\), it follows that \(S_{k}\le R_{k}\).
1.3 The Bohr Radius for p-Symmetric Functions
Recently, Kayumov et al. [26] have obtained the following general result. As a corollary to this, an open problem raised by Ali et al. [10] about the determination of Bohr radius for odd functions from \(\mathcal {B}\) has been settled affirmatively.
Theorem B
[26] Let \(m, \,p\in \mathbb {N}\), \( m\le p\), and \(f\in \mathcal {B}\) with \(f(z)=\sum _{k=0}^{\infty }a_{pk+m}z^{pk+m}\). Then:
where \(r_{p,m}\) is the maximal positive root of the equation \( -6r^{p-m}+r^{2(p-m)}+8r^{2p}+1=0. \) The extremal function has the form \(z^{m}(z^{p}-a)/(1-az^{p})\), where:
Remark 2
We note that the case \(m=0\) is trivial as it follows from the classical theorem of H. Bohr with a change of variable \(\zeta =z^p\). This gives the condition \(r\le r_{p,0}=1/\root p \of {3}\). The case \(p=2\) and \(m=1\) corresponds to the question raised by Ali et al. [10].
1.4 The Bohr Radius for Harmonic Functions
In Ref. [30], the authors initiated the discussion on Bohr radius for the class of complex-valued function \(f = u + iv\) harmonic in \(\mathbb {D}\), where u and v are real-valued harmonic functions of \(\mathbb {D}\). It follows that f admits the canonical representation \(f=h+\overline{g}\), where h and g are analytic in \(\mathbb {D}\), such that \(f(0)=0=g(0)\). The Jacobian \(J_f (z)\) of f is given by \(J_f (z)=|h'(z)|^2-|g'(z)|^2\), and we say that a locally univalent harmonic function f in \(\mathbb {D}\) is said to be sense-preserving if \(J_f (z)>0\) in \(\mathbb {D}\); or equivalently, its dilatation \(\omega =g'/h'\) is an analytic function in \(\mathbb {D}\) which maps \(\mathbb {D}\) into itself (cf. [19] or [32]).
If a locally univalent and sense-preserving harmonic mapping \(f=h+\overline{g}\) satisfies the condition \(\left| \omega (z)\right| \le d<1 \) in \(\mathbb {D}\), then f is called K-quasi-regular harmonic mapping on \(\mathbb {D}\), where \(K=\frac{1+d}{1-d}\ge 1\) (cf. [24, 37]). Obviously, \(d\rightarrow 1\) corresponds to the case \(K\rightarrow \infty \).
For a harmonic function \(f=h+\overline{g}\) in \(\mathbb {D}\), where h and g admit power series expansions of the form \(h(z) =\sum _{n=0}^{\infty }a_n z^n\) and \(g(z)=\sum _{n=0}^{\infty }b_n z^n\), we denote the classical Bohr sum by:
A harmonic function \(f=h+\overline{g}\) in \(\mathbb {D}\) is said to be p-symmetric if h and g have the form \(h(z)=\sum _{n=0}^{\infty } a_{n}z^{pn+m}\) and \(g(z)=\sum _{n=0}^{\infty } b_{n}z^{pn+m}\) for some \(m\in \mathbb {N}_0=\mathbb {N}\cup \{0\}\). Harmonic extension of the classical Bohr theorem was established first in Ref. [30]. For example, they proved the following result (Theorem C). Furthermore, the Bohr radii for harmonic and starlike log harmonic mappings in \(\mathbb {D}\) were investigated, for example, in Refs. [20, 26, 30, 36], and in some cases in improved form.
Theorem C
[30] Let \(p\in \mathbb {N}\) and \(p\ge 2\). Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{n=0}^{\infty } a_{n}z^{pn+1}+\sum _{n=0}^{\infty }\overline{b_{n}z^{pn+1}}\) is a harmonic p-symmetric function in \(\mathbb {D}\), where h and g are bounded functions in \(\mathbb {D}\). Then:
The number 1/2 is sharp.
It is natural to raise the following.
Problem 2
Whether Theorem C holds under a weaker hypotheses, namely, by replacing the condition “boundedness of h and g” by “\(|g'(z)| \le |h'(z)|\) and h is bounded.”
In Theorem 1, we present an affirmative answer to this question in a more general setting.
The paper is organized as follows. In Sect. 2, we present the main results of this paper. In Theorem 1, we present an affirmative answer to Problem 2 in a general form, and Corollary 2 answers Problem 2. As consequence, generalization Theorem C (with of higher order zero at the origin) is established (see Theorem 2). In Sect. 3, we state and prove several lemmas. In addition, we present the proof of Bohr’s inequalities for the class of harmonic mappings, which improve the first two items in Theorems A and Theorem C. In Sect. 4, we state and prove three theorems which extend three recent results of Ponnusamy et al. [42] from the case of analytic functions to the case of sense-preserving harmonic mappings.
2 Main Results
We now state a generalization of Theorem C in a general setting and the next result (Theorem 2) is a direct generalization of Theorem C.
Theorem 1
Let \(m, \, p\in \mathbb {N}\), \(p\ge 2\). Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{k=0}^{\infty } a_{k}z^{pk+m}+\sum _{k=0}^{\infty }\overline{b_{k}z^{pk+m}}\) is harmonic and p-symmetric in \(\mathbb {D}\), such that \(|h^{(m)}(0)|=|g^{(m)}(0)|\) and \(|g'(z)|\le d|h'(z)|\) in \(\mathbb {D}\backslash \{0\}\) for some \(d\in [0,1]\), where h is bounded. Then, the following holds:
-
(1)
If \(\frac{p}{m}>\log _2 (2+d)\), then:
$$\begin{aligned} B_H(f,r)=\sum _{k=0}^{\infty }(|a_{k}|+|b_{k}|)r^{pk+m}\le \Vert h\Vert _{\infty } \quad \mathrm{for } \, r\le \root m \of {\frac{1}{2}}. \end{aligned}$$When \(d=1\), the extremal mapping has the form \(f(z)=h(z)+\overline{\lambda h(z)}\) with \(h(z)=z^m\) and \(|\lambda |=1\).
-
(2)
If \(1\le \frac{p}{m}\le \log _2 (2+d)\), then:
$$\begin{aligned} B_H(f,r)\le \Vert h\Vert _{\infty }\quad \mathrm{for } \, r\le r_{p,m,d}, \end{aligned}$$where \(r_{p,m,d}\) is the maximal positive root of the equation:
$$\begin{aligned} r^{2(p-m)}-(8+4d)r^{p-m} +4(1+d)(3+d)r^{2p}+4=0. \end{aligned}$$(2.1)When \(d=1\), the extremal function is given by \(f(z)=h(z)+\overline{\lambda h(z)}\), \(|\lambda |=1\), where:
$$\begin{aligned} h(z)=z^{m}\left( \frac{z^{p}-a}{1-az^{p}}\right) , \quad \mathrm{with } \, a=\left( 1- \frac{\sqrt{1-r_{p,m,1}^{2p}}}{\sqrt{2}}\right) \frac{1}{r_{p,m,1}^{p}}. \end{aligned}$$
Corollary 1
Suppose that \(m, \, p\in \mathbb {N}\), and \(f(z)=\sum _{k=0}^{\infty }a_{pk+m}z^{pk+m} \in \mathcal {B}_{pk+m}\).
-
(1)
If \(1\le \frac{p}{m}\le \log _{2}3 \approx 1.58496\), then:
$$\begin{aligned} B(f,r)\le \frac{1}{2}\quad \mathrm{for } \, r\le r_{p,m}, \end{aligned}$$where \(r_{p,m}\) is the maximal positive root of the equation:
$$\begin{aligned} -12r^{p-m}+r^{2(p-m)}+32r^{2p}+4=0. \end{aligned}$$(2.2)The extremal function is given by:
$$\begin{aligned} f(z)=z^{m}\left( \frac{z^{p}-a}{1-az^{p}}\right) , \quad { with } \, a=\left( 1-\frac{\sqrt{1-r_{p,m}^{2p}}}{\sqrt{2}}\right) \frac{1}{r_{p,m}^{p}}. \end{aligned}$$(2.3) -
(2)
If \(\frac{p}{m}>\log _{2}3\), then:
$$\begin{aligned} B(f,r)\le \frac{1}{2}\quad \mathrm{for } \, r\le \root m \of {\frac{1}{2}}. \end{aligned}$$The extremal function has the form \(z^{m}\).
Proof
Apply the method of the proof of Theorem 1 (by setting \(d=1\), \(g(z)\equiv 0\)). \(\square \)
We now state a direct generalization of Theorem C.
Theorem 2
Let \(m, \, p\in \mathbb {N}\), \(p\ge 2\). Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{k=0}^{\infty } a_{pk+m}z^{pk+m}\) \(+\sum _{k=0}^{\infty }\overline{b_{pk+m}z^{pk+m}}\) is harmonic in \(\mathbb {D}\), where h and g are bounded. The following holds:
-
(1)
If \(\frac{p}{m}>\log _{2}3\approx 1.58496\), then:
$$\begin{aligned} B_H(f,r) \le \max \{\Vert h\Vert _{\infty },\Vert g\Vert _{\infty }\} \quad \mathrm{for } \, \displaystyle r\le \root m \of {\frac{1}{2}}. \end{aligned}$$The extremal function is given by \(f(z)=z^{m} +\overline{\lambda z^{m}}\), \(|\lambda |=1\).
-
(2)
If \(1\le \frac{p}{m}\le \log _{2}3\), then:
$$\begin{aligned} B_H(f,r) \le \max \{\Vert h\Vert _{\infty },\Vert g\Vert _{\infty }\} \quad \mathrm{for } \, r\le r_{p,m}, \end{aligned}$$where \(r_{p,m}\) is the maximal positive root in (0, 1) of the Eq. (2.2).
The extremal function is given by \(f(z)=h(z) +\overline{\lambda h(z)}\), \(|\lambda |=1\), where:
$$\begin{aligned} h(z)=z^{m}\left( \frac{z^{p}-a}{1-az^{p}}\right) , \quad \mathrm{with } \, a=\left( 1-\frac{\sqrt{1-r_{p,m}^{2p}}}{\sqrt{2}}\right) \frac{1}{r_{p,m}^{p}}. \end{aligned}$$
Remark 3
If we set \(m=1\) in Theorem 2(1), then we get Theorem C.
Note that the following corollary generalizes Theorem 2 under the conditions “\(|h'(0)|=|g'(0)|\) and \(|g'(z)|\le |h'(z)|\) in \(\mathbb {D}\backslash \{0\}\)” instead of “h and g being bounded in \(\mathbb {D}\).”
Corollary 2
Let \(m, \, p\in \mathbb {N}\), \(p\ge 2\). Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{k=0}^{\infty } a_{k}z^{pk+m}+\sum _{k=0}^{\infty }\overline{b_{k}z^{pk+m}}\) is harmonic and p-symmetric in \(\mathbb {D}\), such that \(|h'(0)|=|g'(0)|\) and \(|g'(z)|\le |h'(z)|\) in \(\mathbb {D}\backslash \{0\}\), where h is bounded. Then, the conclusions (1) and (2) of Theorem 2 continue to hold.
Proof
Set \(d=1\) in Theorem 1 and let \( r_{p,m}:=r_{p,m,1}\). \(\square \)
Because of its independent interest, let us next state the following result as a corollary to Theorems A. Indeed, applying the analogous methods as in the proofs of the three cases of Theorems A, we have the following. Therefore, we omit the details.
Corollary 3
For \(k\ge 1\), \(m, \,p\in \mathbb {N}\) and \(m \le p\), we let \(f(z)=\sum _{n=k}^{\infty } a_{p n+m} z^{p n+m} \in \mathcal {B}_{pk+m}\) and:
and
Then, we have the following inequalities:
-
(1)
\(M_{pk+m}^{1}(f,r)\le 1\) is valid for \(r \in \left[ 0, v_{k}\right] \), where \(v_{k}\) is the unique root in (0, 1) of the equation:
$$\begin{aligned} 4\left( 1-r^{p}\right) -r^{p(k-1)+m}\left( 5 r^{2 p}-2 r^{p}+1\right) =0. \end{aligned}$$The upper bound \(v_{k}\) cannot be improved.
-
(2)
\(M_{pk+m}(f,r)\le 1\) is valid for \(r \in \left[ 0, \omega _{k}\right] \), where \(\omega _{k}\) is the unique root in (0, 1) of the equation:
$$\begin{aligned} 2\left( 1-r^{p}\right) -r^{p k+m}\left( 3-r^{p}\right) =0. \end{aligned}$$The upper bound \(\omega _{k}\) cannot be improved.
-
(3)
With \(\left| a_{p k+m}\right| =a \in (0,1]\) being fixed, \(M_{pk+m}(f,r)\le 1\) is valid for \(r \in \left[ 0, \, \eta _{k}\right] \), where \(\eta _{k}\) is the unique root in (0, 1) of the equation:
$$\begin{aligned} (1+a)\left( 1-r^{p}\right) -r^{p k+m}\left[ 2 a^{2}+a+r^{p}\left( 1-2 a^{2}\right) \right] =0. \end{aligned}$$The upper bound \(\eta _{k}\) cannot be improved.
Proof
The desired conclusion follows if we write f(z) as \(f(z)=z^mt(z^p)\), where \(t(z)=\sum _{n=k}^{\infty } a_{p n+m} z^n \in \mathcal {B}_k\), and apply the proof of Theorem A. \(\square \)
Next, we generalize Theorem A or Corollary 3 by establishing Bohr-type inequalities for harmonic mappings with multiple zero at the origin.
Theorem 3
Let \(k\ge 1\), \(m, \, p\in \mathbb {N}\), and \(m\le p\). Suppose that \(f=h+\overline{g}\) is harmonic in \(\mathbb {D}\), where h and g are given by:
In addition, let \(|g'(z)|\le d|h'(z)|\) in \(\mathbb {D}\backslash \{0\}\) for some \(d\in [0,1]\) and \(h\in \mathcal {B}_{pk+m}\). Define:
and
Then, the inequality:
is valid for \(r \in \left[ 0, r_k\right] \), where \(r_k=\min \{r_{k}', 1/\root p \of {3}\}\), and \(r_{k}'\) is the unique root in (0, 1) of the equation \(t_{k}(r)=0\), where:
Theorem 4
Let \(k\ge 2\), \(m, \, p\in \mathbb {N}\), and \(m\le p\). Suppose that \(f=h+\overline{g}\) is harmonic in \(\mathbb {D}\), where h and g are given by (2.4), In addition, let \(h,\, g\in \mathcal {B}_{pk+m}\) and define:
Then, the inequality
is valid for \(r \in \left[ 0, \tau _{k}\right] \), where \(\tau _{k}\) is the unique root in (0, 1) of the equation:
The upper bound \(\tau _{k}\) cannot be improved.
Theorem 5
Let \(k\ge 2\), \(m, \, p\in \mathbb {N}\) and \(m\le p\). Suppose that \(f=h+\overline{g}\) is harmonic in \(\mathbb {D}\), where h and g are given by (2.4), and \(h,\, g\in \mathcal {B}_{pk+m}\). Then, the inequality:
is valid for \(r \in \left[ 0, \theta _{k}\right] \), where \(M_{pk+m}(h,r)\) is given by (2.5) and \(\theta _{k}\) is the unique root in (0, 1) of the equation:
The upper bound \(\theta _{k}\) cannot be improved as \(f(z)=h(z) +\overline{\lambda h(z)}\) shows, where \(h(z)=z^{p k+m}\) and \(|\lambda |=1\).
Our next result is similar to Theorem 4, but for fixed initial coefficients \(a_{p k+m}\) and \(b_{p k+m}\) having same modulus value.
Theorem 6
Let \(k\ge 2\), \(m, \, p\in \mathbb {N}\), and \(m\le p\). Suppose that \(f=h+\overline{g}\) is harmonic in \(\mathbb {D}\), where h and g are given by (2.4), and \(h,\, g\in \mathcal {B}_{pk+m}\). Let \(\left| a_{p k+m}\right| =\left| b_{p k+m}\right| =a \in (0,1]\) be fixed. Then, the inequality:
is valid for \(r \in \left[ 0, \varsigma _{k}\right] \), where \(\varsigma _{k}=\varsigma _{k}(a)\) is the unique root in (0, 1) of the equation:
The upper bound \(\varsigma _{k}\) cannot be improved.
Remark 4
Clearly, \(\varsigma _{k}(1)=\theta _{k}\). Also, it is possible to fix both \(\left| a_{p k+m}\right| \) and \(\left| b_{p k+m}\right| \) separately and obtain an analogous general result than Theorem 6.
3 Key Lemmas and Their Proofs
To establish our main results, we need the following lemmas.
Lemma 1
Suppose that \(m, \, p\in \mathbb {N}\), \(m\le p\), \(d\in (0, 1]\), and \(r=r_{p,m,d}\) is as in Theorem 1, i.e., the root of (2.1) in (0, 1). Then:
Proof
Let \(y=r^{p+m}_{p,m,d}\). Then, (2.1) becomes a quadratic equation in y of the form:
which has two solutions:
and therefore, it is a simple exercise to see that:
which completes the proof of the lemma. \(\square \)
Lemma 2
Suppose that \(m, \, p\in \mathbb {N}\), \(m\le p\), \(d\in (0, 1]\), and \(r=r_{p,m,d}\) is as in Theorem 1, i.e., the root of (2.1) in (0, 1). Then:
Proof
Suppose that \(m<p\) and let \(y=r^{p-m}\). Then, (2.1) reduces to a quadratic equation in y:
which has two solutions:
The solution \(y=y_{1}\) is impossible, because all positive roots of the initial equation must be less than 1. Therefore:
Now, consider the case \(m=p\). In this case:
so that:
and the proof is complete. \(\square \)
Lemma 3
[25]. Let \(0<R\le 1\). If \(g(z)=\sum _{k=0}^{\infty }b_{k}z^{k}\) is analytic and satisfies the inequality \(|g(z)|\le 1\) in \(\mathbb {D}\). Then, the following sharp inequality holds:
Lemma 4
[41]. If \(f \in \mathcal {B}\) has the expansion \(f(z)=\sum _{n=0}^{\infty } a_{n} z^{n}\), then:
4 Bohr’s Inequality for the Class of Harmonic Mappings
4.1 Proof of Theorem 1
Given that \(|g'(z)|\le d|h'(z)|\) for some \(d\in (0,1]\), where:
We integrate inequality \(|g'(z)|^{2}\le d^2|h'(z)|^{2}\) over the circle \(|z|=r\) and get:
We integrate the last inequality with respect to \(r^{2}\) and obtain:
One more integration (after dividing by \(r^{2}\)) gives:
which (since \(|a_0|=|b_0|\) by hypothesis) yields:
For simplicity, we suppose that \(\Vert h\Vert _{\infty }=1\).
Following the idea from [25] (see also [26, Proof of Theorem 1]), one can obtain first that:
where \(a=|a_0|\), and for any \(\rho >1\), such that \(\rho r\le 1\). Indeed, we may let \(h(z)=z^{m}t(z^{p})\), where \(t(z)=\sum _{k=0}^{\infty }a_{k}z^{k}\in \mathcal {B}\). Also, let \(r=r_{p,m,d}\) and \(|a_{0}|=a\). Then, as in Ref. [26, Proof of Theorem 1], it follows easily that:
for any \(\rho >1\), such that \(\rho r\le 1\). In the first and the second steps above, we have used the classical Cauchy–Schwarz inequality, and (3.1) with \(R=\rho r\) in Lemma 3, respectively. Hence, (4.2) follows.
Second, using the classical Cauchy–Schwarz inequality and (4.1), we see that:
and thus, by (4.3), we have:
for any \(\rho >1\), such that \(\rho r\le 1\). Consequently, by combining the inequalities (4.2) and (4.4), we get:
We wish to maximize the right-hand side of above. For this, we need to consider the cases \(a\ge r^{p}\) and \(a<r^{p}\), separately. Note that our choice of \(\rho \) is such that \(\rho r\le 1\).
Case 1
Assume that \(a\ge r^{p}\).
In this case, we set \(\rho =\frac{1}{\root p \of {a}}\) and obtain from (4.5) that:
where we let \(\alpha =r^{p}\) and:
Simple computation shows that, when \(\alpha \ge \frac{1}{2+d}\), \(\psi (x)\) attains its maximum at \(x=x_{1}\), where:
and thus, \(\psi (x)\le \psi (x_{1})\). On the other hand, when \(\alpha <\frac{1}{2+d}\), \(\psi (x)\) is monotonically increasing for \(x\in [0,1]\), so that \(\psi (x)\le \psi (1)=1\). Consequently, for the \(r=r_{p,m,d}\) defined as in Theorem 1 and \(\alpha \ge \frac{1}{2+d}\), it follows from (4.6) that:
where we have used Lemma 2 for the equality sign on the right. When \(\alpha <\frac{1}{2+d}\), we have \(\psi (x)\le \psi (1)=1\) and thus:
Case 2
Assume that \(a<r^{p}\).
In this case, we set \(\rho =\frac{1}{r}\) and obtain from (4.5) that:
Here, the second inequality on the right follows from the argument that we omitted the critical point:
because it is less than \(r^{p}\) only in the case \(r^{2p}>\frac{2}{3+d}\ge \frac{1}{2}\), which contradicts with Lemma 1. The third inequality on the right in (4.8) follows from Lemma 1.
Therefore, in both cases, for all \(a\in [0,1)\), we have:
-
(i)
when \(\alpha =r^{p}\ge \frac{1}{2+d}\):
$$\begin{aligned} B_H(f,r)\le 1 \quad \mathrm{for } \, r\le r_{p,m,d}, \end{aligned}$$where \(r_{p,m,d}\) is defined as in Theorem 1.
-
(ii)
when \(\alpha =r^{p}<\frac{1}{2+d}\), since \(\max \{2r^{m},(3+d)r^{p+m}\}=2r^{m}\), we have:
$$\begin{aligned} B_H(f,r)\le 2r^{m}. \end{aligned}$$
In summary, if \(r^{m}=\frac{1}{2}\) and \(r^{p}<\frac{1}{2+d}\), that is, if \(\frac{p}{m}>\log _2 (2+d)\), we have by the second case above:
The extremal function for the case \(d=1\) is \(f(z)=h(z)+\overline{\lambda h(z)}\) with \(h(z)=z^m\) and \(|\lambda |=1\).
When \(1\le \frac{p}{m}\le \log _2 (2+d)\), we apply the first case above to obtain:
where \(r_{p,m,d}\) is defined as in Theorem 1.
For the case \(d=1\), sharpness follows if we consider \(f(z)=h(z)+\overline{\lambda h(z)}\) with \(|\lambda |=1\):
and then calculate the Bohr radius for it. It coincides with r. \(\square \)
4.2 Proof of Theorem 2
Without loss of generality, we may assume that:
Case 3
Assume that \(1\le \frac{p}{m}\le \log _{2}3\).
It follows from Corollary 1(1) and the hypothesis that \(B(h,r) \le \frac{1}{2}\) and \(B(g,r) \le \frac{1}{2}\) for \(r\le r_{p,m}\), where \(r_{p,m}\) is as in Theorem 2. Adding these two inequalities shows that:
Case 4
Assume that \(\frac{p}{m}>\log _{2}3\).
Applying the method of the previous case, Corollary 1(2) gives:
The extremal functions given in the statement are easy to verify. \(\square \)
5 Bohr-Type Inequalities for Harmonic Mappings with a Multiple Zero at the Origin
5.1 Proof of Theorem 3
By assumption, \(|g'(z)|\le d|h'(z)|\) for some \(d\in [0,1)\). Then, \(\omega _{f}=\frac{g'}{h'}\) is analytic in the punctured disk \(0<|z|<1\) and has removable singularity at the origin with:
so that \(|b_{pk+m}|\le d|a_{pk+m}|< |a_{pk+m}|\).
Since \(h\in \mathcal {B}_{pk+m}\), by applying Lemma 4 to the function \(H(z)=\sum _{n=0}^{\infty }A_nz^{pn}\), \(A_n =a_{p(n+k)+m}\), one has:
Multiplying both sides of the inequality (5.1) by the number \(r^{p k+m}\), and then adding the term \(r^{p k+m}|A_0|^{2}\left( \frac{1}{1+|A_0|}+\frac{r^{p}}{1-r^{p}}\right) \) to both sides, we have:
where \(G(t)= t +t^{2}(1+t)^{-1}.\) Since \(G'(t)>0\) on [0, 1], it follows that \(G(t)\le G(1)=3/2\), and thus, (5.2) implies:
Next, since \(|g'(z)|\le d|h'(z)|\) for \(z\in \mathbb {D}\), we have (cf. [11]):
and, as in the proof of Theorem 1:
Thus, we conclude from (5.2), (5.4), and (5.5) that:
which by combining with (5.2) gives:
which, by (5.3), is less than or equal to 1 if:
where \(t_{k}(r)\) is given by (2.7); that is:
This proves the first part of the assertion.
Now, we prove the uniqueness of the solution in (0, 1) of \(t_{k}(r)=0\), we compute that \(t_{k}(0)= 2/(d+1)>0\), \(t_{k}(1)=-2<0\), and:
showing that \(t_{k}(r)\) is a decreasing function of r in (0, 1), and thus, \(t_{k}(r)=0\) has a unique root in (0, 1). \(\square \)
5.2 Proof of Theorem 4
By assumption \(h\in \mathcal {B}_{pk+m}\). Therefore, as in the proof of Theorem 3, we can apply Lemma 4 to the function \(H(z)=\sum _{n=0}^{\infty }A_nz^{pn}\), \(A_n =a_{p(n+k)+m}\). Thus, (5.1) holds. Multiplying the inequality (5.1) by \(r^{p k+m}\) gives:
Now, we can maximize the right-hand side with respect to \(|A_0|\) by fixing r. A simple calculation shows that we arrive at the maximum value \(r^{p k+m}M(r)\) which is achieved at \(|A_0|=1\), if \(r\in \left[ 0, \frac{1}{\root p \of {3}}\right] \), and at \(|A_0|=\frac{1-r^{p}}{2 r^{p}}\) in the remaining cases. Thus, we have the maximum value:
and therefore:
Again, as \(g\in \mathcal {B}_{pk+m}\), we have similarly the inequality:
where \(B_0=b_{pk+m}\). Adding the two resulting inequalities yields that:
Hence, the desired inequality (2.8), i.e., \(M_{pk+m}^{1}(h,r) +M_{pk+m}^{1}(g,r)\le 1\), holds whenever \(L_{k}(r) \ge 0\), where:
This proves the first part of the assertion.
Next, we prove the uniqueness of the solution in (0, 1) of \(L_{k}(r)=0\). In fact, note that \(L_{k}(0)=2>0\), \(L_{k}(1)=-4<0\), and:
where \(Q(x)=5(p(k+1)+m) x^{2} -2(p k+m)x+p k+m\). It follows that \(Q(x)>0\), because the discriminant of the function Q is less than 0. This gives that \(L_{k}^{\prime }(r)<0\), and hence, \(L_{k}(r)=0\) has a unique root \(\tau _{k}\) in (0, 1).
Finally, we verify the sharpness of the upper bound \(\tau _{k}\) for the Bohr radius. We consider the function \(f(z)=h(z) +\overline{\lambda h(z)}\), \(|\lambda |=1\), where:
For this function, we obtain that:
which equals 1 for \(r=\tau _{k}\) and \(a=\frac{1-\tau _{k}^p}{2 \tau _{k}^p}\). This completes the proof of Theorem 4\(\square \)
5.3 Proof of Theorem 5
Let \(h\in \mathcal {B}_{pk+m}\). Then, (5.2) holds, that is:
where \(A_0 =a_{pk+m}\). The second inequality holds, because the function T defined by:
is a monotonically increasing function of \(x\in [0,1]\), so that: \(T(x)\le T(1)=3/2\).
Similarly, with \(B_0 =b_{pk+m}\), we have:
where \(|B_0|\in [0,1]\).
Combining (5.6) and (5.7) leads to:
if and only if \(w_{k}(r) \ge 0\), where:
This proves the first part of the assertion of the theorem.
Next, to prove the uniqueness of the solution in (0, 1) of \(w_{k}(r)=0\), it is sufficient to observe that \(w_{k}(0)=1>0\), \(w_{k}(1)=-2<0\), and:
Finally, it is easy to verify that the extremal function has the form \(f(z)=h(z) +\overline{\lambda h(z)}\), where \(h(z)=z^{p k+m}\) and \(|\lambda |=1\). This completes the proof of Theorem 5. \(\square \)
5.4 Proof of Theorem 6
The proof is essentially similar to the proof of Theorem 5. At first, from (5.8) and the assumption that \(|A_0|=|B_0|=a\), it is obvious that the required inequality (2.10) is true if:
which holds if and only if \(V_{k, a}(r) \ge 0\), where:
This proves the first part of the assertion of the theorem.
Next, we can prove the uniqueness of the solution of \(V_{k, a}(r)=0\) in (0, 1). It is obvious that \(V_{k, a}(0)=1+a>0\) and \(V_{k, a}(1)=-2(1+a)<0\). Furthermore:
and it is easy to obtain that \(V_{k, a}^{\prime }(r)<0\), and thus, \(V_{k, a}(r)=0\) has the unique root \(\varsigma _{k}=\varsigma _{k}(a)\) in the interval (0, 1).
Finally, we verify the sharpness of the upper bound \(\varsigma _{k}\) for the Bohr radius. Consider \(f(z)=h(z) +\overline{\lambda h(z)}\), where:
\(|\lambda |=1\) and \(a\in [0, 1]\) is fixed. In this case, we get for the left hand side of (2.10) (for simplicity, call it as W(r) ) takes the form:
Comparison of this expression with the right-hand side of the equation in formula (5.9) delivers the asserted sharpness. The proof of Theorem 6 is complete. \(\square \)
Data Availability Statement
The authors declare that this research is purely theoretical and does not associate with any data.
References
Abu-Muhanna, Y.: Bohr’s phenomenon in subordination and bounded harmonic classes. Complex Var. Elliptic Equ. 55(11), 1071–1078 (2010)
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.: Bohr’s phenomenon for analytic functions and the hyperbolic metric. Math. Nachr. 286(11–12), 1059–1065 (2013)
Abu-Muhanna, Y., Ali, R.M., Lee, S.K.: Bohr operator on analytic functions. arXiv:1912.11787
Abu-Muhanna, Y., Ali, R.M., Ng, Z.C., Hasni, S.F.M.: Bohr radius for subordinating families of analytic functions and bounded harmonic mappings. J. Math. Anal. Appl. 420(1), 124–136 (2014)
Aizenberg, L.: Multidimensional analogues of Bohr’s theorem on power series. Proc. Am. Math. Soc. 128, 1147–1155 (2000)
Aizenberg, L.: Generalization of Caratheodory’s inequality and the Bohr radius for multidimensional power series. Oper. Theory Adv. Appl. 158, 87–94 (2005)
Aizenberg, L., Aytuna, A., Djakov, P.: Generalization of a theorem of Bohr for basis in spaces of holomorphic functions of several complex variables. J. Math. Anal. Appl. 258(2), 429–447 (2001)
Ali, R.M., Abu-Muhanna, Y., Ponnusamy, S.: On the Bohr inequality. In: Govil, N.K. et al. (eds.) Progress in Approximation Theory and Applicable Complex Analysis, Springer Optimization and its Applications, vol. 117, pp. 265–295. Springer, Cham (2017)
Ali, R.M., Barnard, R.W., Solynin, AYu.: A note on the Bohr’s phenomenon for power series. J. Math. Anal. Appl. 449(1), 154–167 (2017)
Alkhaleefah, S.A., Kayumov, I.R., Ponnusamy, S.: On the Bohr inequality with a fixed zero coefficient. Proc. Am. Math. Soc. 147(12), 5263–5274 (2019)
Bhowmik, B., Das, N.: Bohr phenomenon for subordinating families of certain univalent functions. J. Math. Anal. Appl. 462(2), 1087–1098 (2018)
Boas, H.P., Khavinson, D.: Bohr’s power series theorem in several variables. Proc. Am. Math. Soc. 125, 2975–2979 (1997)
Bohr, H.: A theorem concerning power series. Proc. Lond. Math. Soc. 2(13), 1–5 (1914)
Bombieri, E.: Sopra un teorema di H.Bohr e G.Ricci sulle funzioni maggioranti delle serie di potenze. Mat. Ital. 17(3), 276–282 (1962)
Defant, A., Frerick, L.: A logarithmic lower bound for multi-dimensional Bohr radii. Isr. J. Math. 152(1), 17–28 (2006)
Defant, A., Frerick, L., Ortega-Cerdà, J., Ounaïes, M., Seip, K.: The Bohnenblust–Hille inequality for homogenous polynomials is hypercontractive. Ann. Math. 174(2), 512–517 (2011)
Djakov, P.B., Ramanujan, M.S.: A remark on Bohr’s theorems and its generalizations. J. Anal. 8, 65–77 (2000)
Duren, P.: Univalent Functions. Springer, New York (1983)
Evdoridis, S., Ponnusamy, S., Rasila, A.: Improved Bohr’s inequality for locally univalent harmonic mappings. Indag. Math. (N.S.) 30, 201–213 (2019)
Fournier, R., Ruscheweyh, S.: On the Bohr radius for simply connected plane domains. In: Hilbert Spaces of Analytic Functions, CRM Proceedings Lecture Notes, 51, pp. 165–171. American Mathematical Society, Providence, RI (2010)
Garcia, S.R., Mashreghi, J., Ross, W.T.: Finite Blaschke Products and their Connections. Springer, Cham (2018)
Ismagilov, A.A., Kayumova, A.V., Kayumov, I.R., Ponnusamy, S.: Bohr inequalities in some classes of analytic functions. (Russian) Complex analysis (Russian), pp. 69–83, Itogi Nauki Tekh. Ser. Sovrem. Mat. Prilozh. Temat. Obz., 153, Vseross. Inst. Nauchn. i Tekhn. Inform. (VINITI), Moscow (2018)
Kalaj, D.: Quasiconformal harmonic mapping between Jordan domains. Math. Z. 260(2), 237–252 (2008)
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.: Bohr’s inequality for analytic functions with lacunary series and harmonic functions. J. Math. Anal. and Appl. 465(2), 857–871 (2018)
Kayumov, I.R., Ponnusamy, S.: Improved version of Bohr’s inequality. C. R. Math. Acad. Sci. Paris 356(3), 272–277 (2018)
Kayumov, I.R., Ponnusamy, S.: On a powered Bohr inequality. Ann. Acad. Sci. Fenn. Ser. A I Math. 44, 301–310 (2019)
Kayumova, A., Kayumov, I.R., Ponnusamy, S.: Bohr’s Inequality for Harmonic Mappings and Beyond. In: Mathematics and computing, Communications in Computer and Information Science, 834, pp. 245–256. Springer, Singapore (2018)
Kayumov, I.R., Ponnusamy, S., Shakirov, N.: Bohr radius for locally univalent harmonic mappings. Math. Nachr. 291, 1757–1768 (2017)
Landau, E.: Darstellung und Begrundung einiger neuerer Ergebnisse der Funktionentheorie. Springer, Berlin (1986)
Lewy, H.: On the non-vanishing of the Jacobian in certain one-to-one mappings. Bull. Am. Math. Soc. 42, 689–692 (1936)
Liu, G., Ponnusamy, S.: On Harmonic \(\nu \)-Bloch and \(\nu \)-Bloch-type mappings. Results Math. 73(3), (2018), Art 90, 21 pages
Liu, M.S., Ponnusamy, S., Wang, J.: Bohr’s phenomenon for the classes of Quasi-subordination and \(K\)-quasiregular harmonic mappings. RACSAM 114, 115 (2020). https://doi.org/10.1007/s13398-020-00844-0
Liu, M.S., Shang, Y.M., Xu, J.F.: Bohr-type inequalities of analytic functions. J. Inequal. Appl. 345, 13 (2018)
Liu, Z.H., Ponnusamy, S.: Bohr radius for subordination and \(K\)-quasiconformal harmonic mappings. Bull. Malays. Math. Sci. Soc. 42, 2151–2168 (2019)
Martio, O.: On harmonic quasiconformal mappings. Ann. Acad. Sci. Fenn. A. I 425, 3–10 (1968)
Paulsen, V.I., Popascu, G., Singh, D.: On Bohr’s inequality. Proc. Lond. Math. 85(2), 493–512 (2002)
Paulsen, V.I., Singh, D.: Bohr’s inequality for uniform algebras. Proc. Am. Math. Soc. 132, 3577–3579 (2004)
Paulsen, V.I., Singh, D.: Extensions of Bohr’s inequality. Bull. Lond. Math. Soc. 38(6), 991–999 (2006)
Ponnusamy, S., Vijayakumar, R., Wirths, K.-J.: New inequalities for the coefficients of unimodular bounded functions. Results Math. 75, 107 (2020). https://doi.org/10.1007/s00025-020-01240-1
Ponnusamy, S., Wirths, K.-J.: Bohr type inequalities for functions with a multiple zero at the origin. Comput. Methods Funct. Theory 20, 559–570 (2020). https://doi.org/10.1007/s40315-020-00330-z
Ricci, G.: Complementi a un teorema di H.Bohr riguardante le serie di potenze. Mat. Argent. 17, 185–195 (1955)
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)
Acknowledgements
This research of the first two authors is partly supported by Guangdong Natural Science Foundations (Grant No. 2021A030313326). The work of the third author was supported by Mathematical Research Impact Centric Support (MATRICS) of the Department of Science and Technology (DST), India (MTR/2017/000367).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest, regarding the publication of this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Huang, Y., Liu, MS. & Ponnusamy, S. Bohr-Type Inequalities for Harmonic Mappings with a Multiple Zero at the Origin. Mediterr. J. Math. 18, 75 (2021). https://doi.org/10.1007/s00009-021-01726-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-021-01726-4