Abstract
In this paper, we investigate the Bohr radius for K-quasiregular sense-preserving harmonic mappings \(f=h+{\overline{g}}\) in the unit disk \({\mathbb {D}}\) such that the translated analytic part \(h(z)-h(0)\) is quasi-subordinate to some analytic function. The main aim of this article is to extend and to establish sharp versions of four recent theorems by Liu and Ponnusamy (Bull Malays Math Sci Soc 42:2151–2168, 2019) and, in particular, we settle affirmatively the two conjectures proposed by them. Furthermore, we establish two refined versions of Bohr’s inequalities and determine the Bohr radius for the derivatives of analytic functions associated with quasi-subordination.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout we let \({\mathcal {B}}\) denote the class of all analytic functions \(\omega \) in the unit disk \({\mathbb {D}}=\{z\in {\mathbb {C}}:|z|<1\}\) such that \(|\omega (z)|\le 1\) for all \(z\in {\mathbb {D}}\), and let \({{\mathcal {B}}}_0=\{\omega \in {{\mathcal {B}}}:\, \omega (0)=0\}\). Bohr’s inequality says that if \(f\in {{\mathcal {B}}}\) and \(f(z)=\sum _{n=0}^{\infty }a_nz^n\), then, for the majorant series \(M_f(r)=\sum _{k=0}^{\infty }|a_k|r^k\) of f, we have
for all \(z\in {\mathbb {D}}\) with \(|z|=r\le \frac{1}{3}\), where \(f_0(z)=f(z)-f(0)\). This inequality was discovered by Bohr [12]. Bohr actually obtained the inequality for \(|z|\le \frac{1}{6}\). Later, Wiener, Riesz and Schur, independently established the inequality for \(|z|\le \frac{1}{3}\) and showed that 1/3 is sharp. See [5, 19, Chapter 8] and the references therein. Few other proofs are also available in the literature. The Bohr radius has been discussed for certain power series in \({\mathbb {D}}\), as well as for analytic functions from \({\mathbb {D}}\) into specific domains, such as convex domains, simply connected domains, the punctured unit disk, the exterior of the closed unit disk, and concave wedge-domains. The analogous Bohr radius has also been studied for harmonic and starlike log-harmonic mappings in \({\mathbb {D}}\). In particular, in [22], the authors settled the conjecture of Ali et al. [6] about the Bohr radius for odd functions from \({\mathcal {B}}\). In the year 2000, powered Bohr inequality was initiated by Djakov and Ramanujan [17] and a conjecture related to their work was settled in [24] affirmatively. Bohr’s idea naturally extends to functions of several complex variables [2, 4, 5, 11, 17]. Several other aspects of Bohr’s inequality may be obtained from [3, 5, 7, 9, 13,14,15,16, 19, 26, 29, 31,32,33] and the references therein.
In this article, we shall consider Bohr’s radius for complex-valued K-quasiregular harmonic mappings of the unit disk \({\mathbb {D}}\). In order to state our main results, we recall the following notions and notations (see [7, 36]).
Definition 1
Let f(z) and g(z) be analytic in \({\mathbb {D}}\). We say that
-
1.
f(z) is subordinate to g(z) in \({\mathbb {D}}\), written by \(f(z)\prec g(z)\) or \(f\prec g\), if there exists an \(\omega \in {{\mathcal {B}}}_0\) such that \(f(z)=g(\omega (z))\) for \(z\in {{\mathbb {D}}}\). Furthermore, if g(z) is univalent in \({\mathbb {D}}\), then we have the following relation
$$\begin{aligned} f(z)\prec g(z)\Longleftrightarrow f(0)=g(0),~f({\mathbb {D}})\subset g({\mathbb {D}}). \end{aligned}$$ -
2.
f(z) is majorized by g(z) in \({\mathbb {D}}\), denoted by \(f(z)\ll g(z)\) or \(f\ll g\), if \(|f(z)|\le |g(z)|\) for \(z \in {\mathbb {D}}\).
-
3.
f is quasi-subordinate to g (relative to \(\Phi \)), denoted by \(f(z)\prec _q g(z)\) in \({\mathbb {D}}\), if there exists a \(\Phi \in {{\mathcal {B}}}\) and an \(\omega \in {\mathcal B}_0\) such that \(f(z) = \Phi (z)g(\omega (z)) \) for \(z\in {{\mathbb {D}}}\).
Evidently if either \(f\prec g\) or \(|f(z)|\le |g(z)|\) in \({\mathbb {D}}\), then \(f(z)\prec _q g(z)\) in \({\mathbb {D}}\). Thus, the notion of quasi-subordination generalizes both the concept of subordination and the principle of majorization.
A harmonic mapping in \({\mathbb {D}}\) is a complex-valued function \(f=u+iv\) of \(z=x+iy\) in \({\mathbb {D}}\), which satisfies the Laplace equation \(\triangle f=4f_{z{\overline{z}}}=0\). It follows that every harmonic mapping f admits a representation of the form \(f=h+{\overline{g}}\), where h and g are analytic in D. This representation is unique up to an additive constant. It is convenient to assume that \(f(0)=g(0)\). The Jacobian \(J_{f}\) of f is given by \(J_{f}(z)=|h'(z)|^{2}-|g'(z)|^{2}\).
We say that f is sense-preserving in \({\mathbb {D}}\) if \(J_{f}(z)>0\) in \({\mathbb {D}}\). Consequently, a harmonic mapping f is locally univalent and sense-preserving in \({\mathbb {D}}\) if and only if \(J_{f}(z)>0\) in \({\mathbb {D}}\); or equivalently if \(h'\ne 0\) in \({\mathbb {D}}\) and the dilatation \(\omega _{f}:=\frac{g'}{h'}\) of f has the property that \(|\omega _{f}|<1\) in \({\mathbb {D}}\) [27].
If a locally univalent and sense-preserving harmonic mapping \(f=h+{\overline{g}}\) satisfies the condition \( |\omega _{f}(z)| \le k<1 , \) then f is called K-quasiregular harmonic mapping on \({\mathbb {D}}\), where \(K=\frac{1+k}{1-k}\ge 1\) (cf. [21, 30]). Obviously \(k\rightarrow 1\) corresponds to the limiting case \(K\rightarrow \infty \). Note that when \(k=1\), the condition on the dilatation of f becomes \(|\omega _f(z)|\le 1\) in which case the Jacobian could be zero at some point. Thus, it is worth pointing out that our results below cover this case as well as the case where f is sense-preserving. A harmonic extension of the classical Bohr theorem was established in [1, 23, 25].
Definition 2
We say that \(f=h+{\overline{g}}\in H_{K,\,h\prec _q \varphi }({{\mathbb {D}}})\) if it is a K-quasiregular sense-preserving harmonic mapping of \({\mathbb {D}}\) and has the power series form
together with an additional condition that \(h\prec _q \varphi \), where \(k=\frac{K-1}{K+1}\). If \(h\prec \varphi \), then we simply write \(H_{K,\,h\prec \varphi }({{\mathbb {D}}})\) instead of \(H_{K,\,h\prec _q \varphi }({{\mathbb {D}}})\) by suppressing the subscript ‘q’.
Similarly, we can define \(H_{K,\,h\ll \varphi }({{\mathbb {D}}})\) by replacing quasi-subordination condition \(h\prec _q \varphi \) by the majorization condition \(h\ll \varphi \).
Recently, Liu and Ponnusamy [28] have investigated the class \(H_{K,\,h\prec \varphi }({{\mathbb {D}}})\) and obtained the following results.
Theorem A
[28] For \(f=h+{\overline{g}}\in H_{K,\,h\prec \varphi }({{\mathbb {D}}})\) with \(k=(K-1)/(K+1)\), we have the following:
-
(1)
If \(\varphi \) is analytic and univalent in \({\mathbb {D}}\), then
$$\begin{aligned} \sum _{n=1}^{\infty }(|a_{n}|+|b_{n}|)r^{n}\le \mathrm{dist}\, (\varphi (0), \partial \varphi ({\mathbb {D}})) \end{aligned}$$(1.1)for \(|z|=r\le r_u\), where \(r_u=r_u(k)\) is the root of the equation
$$\begin{aligned} (1-r)^2-4r(1+k\sqrt{1+r})=0 \end{aligned}$$in the interval (0, 1).
-
(2)
If \(\varphi \) is univalent and convex in \({\mathbb {D}}\), then (1.1) holds for \(|z| = r \le \frac{K + 1}{5K + 1}\). The result is sharp.
-
(3)
If \(\varphi \) is univalent and convex in \({\mathbb {D}}\) and \(b_1=g'(0)=0\), then (1.1) holds for \(|z|=r\le r_c\), where \(r_c=r_c(k)\) is the positive root of the equation
$$\begin{aligned} \frac{r}{1-r}+\frac{kr^2}{1-r^2}\sqrt{\left( \frac{1+r^2}{1-r^2}\right) \left( \frac{\pi ^2}{6}-1\right) } =\frac{1}{2}. \end{aligned}$$The number \(r_c(k)\) cannot be replaced by a number larger than \(\rho :=\rho _c(k)\), where \(\rho \) is the positive root of the equation
$$\begin{aligned} \frac{2(1+k)\rho }{1-\rho }+2k\ln (1-\rho )=1. \end{aligned}$$(1.2) -
(4)
If \(\varphi \) is analytic and univalent in \({\mathbb {D}}\), \(h(0)=0\), and \(b_1=g'(0)=0\), then (1.1) holds for \(|z|=r\le r_s\), where \(r_s=r_s(k)\) is the positive real root of the equation
$$\begin{aligned} \frac{r}{(1-r)^2}+\frac{kr^2}{(1-r^2)^2}\sqrt{\left( \frac{r^6+11 r^4+11 r^2+1}{1-r^2}\right) \left( \frac{\pi ^2}{6}-1\right) }=\frac{1}{4} \end{aligned}$$in the interval (0, 1). The number \(r_s(k)\) cannot be replaced by a number larger than \(\rho =\rho _s(k)\), where \(\rho \) is the positive root of the equation
$$\begin{aligned} \frac{\rho (1-k+2k\rho )}{(1-\rho )^2}-k\ln (1-\rho )=\frac{1}{4}. \end{aligned}$$(1.3)
One of the important special cases is when \(K\rightarrow \infty \), i.e. \(k\rightarrow 1\). Thus, the authors in [28] proposed the following two conjectures.
Conjecture B
Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{n=0}^{\infty }a_n z^n+\overline{\sum _{n=2}^{\infty }b_n z^n}\) is a sense-preserving harmonic mapping in \({{\mathbb {D}}}\) and \(h\prec \varphi \).
-
(a)
If \(\varphi \) is univalent and convex in \({{\mathbb {D}}}\), then
$$\begin{aligned} \sum _{n=1}^{\infty }|a_n|r^n+\sum _{n=2}^{\infty }|b_n|r^n\le {{\text {dist}}}(\varphi (0),\partial \varphi ({{\mathbb {D}}})) \end{aligned}$$(1.4)for \(|z|=r\le \rho _c= 0.299823\cdots \), where \(\rho _c\) is the positive root of the equation
$$\begin{aligned} \frac{4r}{1-r}+2\ln (1-r)=1, \end{aligned}$$(compare with (1.2) with \(k=1\)).
-
(b)
If \(\varphi \) is univalent in \({{\mathbb {D}}}\), then the inequality (1.4) holds for \(|z|=r\le \rho _s = 0.161353\cdots \), where \(\rho _s\) is the positive real root of the equation
$$\begin{aligned} \frac{2r^2}{(1-r)^2}-\ln (1-r)=\frac{1}{4} \end{aligned}$$(compare with (1.3) with \(k=1\)).
One of the aims of this article is to prove sharp versions of Theorem A(3) and (4) which in turn imply that Conjecture B is true. In fact, we prove these in a general setting along with the sharp version of Theorem A(1).
Inspired by Theorem A and the notion of quasi-subordination in the setting of Bohr’s inequality, as discussed in [7], we obtain the following results.
Theorem 1
Let \(f=h+{\overline{g}}\in H_{K,\,h_0\prec _q \varphi _0}({{\mathbb {D}}})\), \(k=\frac{K-1}{K+1}\), \(h_0(z)=h(z)-h(0)\) and \(\varphi _0(z)=\varphi (z)-\varphi (0)\). We have the following:
-
(1)
If \(\varphi \) is analytic and univalent in \({\mathbb {D}}\), then
$$\begin{aligned} \sum _{n=1}^{\infty }(|a_{n}|+|b_{n}|)r^{n}\le \mathrm{dist}\, (\varphi (0), \partial \varphi ({\mathbb {D}})) \end{aligned}$$(1.5)for \(|z|=r\le r_u\), where \(r_u=r_u(k)=\frac{1}{2k+3+\sqrt{(2k+3)^2-1}}\in (0,1/3)\). The result is sharp.
-
(2)
If \(\varphi \) is univalent and convex in \({\mathbb {D}}\), then (1.5) holds for \(|z| = r \le \frac{K + 1}{5K + 1}\). The result is sharp.
Remark 1
The conclusion of Theorem 1(1) continues to hold under the assumption that \(f=h+{\overline{g}}\in H_{K,\,h\prec \varphi }({{\mathbb {D}}})\) and thus, Theorem 1 contains a sharp version of Theorem A(1) or [28, Theorem 3], namely, with the subordination \(h_0\prec \varphi _0\) (which is equivalent to \(h\prec \varphi \)) in place of \(h_0\prec _q \varphi _0\). Note that in the case of quasi-subordination, \(h_0\prec _q \varphi _0\) is not equivalent to \(h\prec _q \varphi \) unless \(h(0)=\varphi (0)=0\). In particular, if we set \(k=0\) (i.e. \(K=1\)) in the case of subordination, then we get the result of Abu-Muhanna [1, Theorem 1] as a special case of Theorem 1.
Remark 2
Recall that the notion of quasi-subordination generalizes both the concept of subordination and the principle of majorization and thus, Theorem 1(2) is an extension of Theorem A(2) or [28, Theorem 1]. In particular, the conclusion of Theorem 1(2) holds if we replace the condition \(h_0\prec _q \varphi _0\) by the majorization condition \(|h_0(z)|\le |\varphi _0(z)|\) for \(z\in {\mathbb {D}}\).
Theorem 2
Let \(f=h+{\overline{g}}\in H_{K,\,h\prec \varphi }({{\mathbb {D}}})\), \(b_1=g'(0)=0\), and \(k=\frac{K-1}{K+1}\). We have the following:
-
(1)
If \(\varphi \) is univalent and convex in \({\mathbb {D}}\), then
$$\begin{aligned} \sum _{n=1}^{\infty }|a_{n}| r^{n}+\sum _{n=2}^{\infty }|b_{n}|r^{n}\le \mathrm{dist}\, (\varphi (0), \partial \varphi ({\mathbb {D}})) \end{aligned}$$(1.6)for \(|z|=r\le r_c\), where \(r_c=r_c(k)\) is the unique positive root in (0, 1/3) of the equation
$$\begin{aligned} \frac{2(1+k)r}{1-r}+2k\ln (1-r)=1. \end{aligned}$$(1.7)The result is sharp.
-
(2)
If \(\varphi \) is analytic and univalent in \({\mathbb {D}}\), then (1.6) holds for \(|z|=r\le r_s\), where \(r_s=r_s(k)\) is the unique positive root in (0, 1/3) of the equation
$$\begin{aligned} \frac{r(1-k+2k r)}{(1-r)^2}-k\ln (1-r)=\frac{1}{4}. \end{aligned}$$(1.8)The result is sharp.
Remark 3
Theorem 2(1) is the sharp version of Theorem A(3) or [28, Theorem 2]. Also, Theorem 2(2) is the sharp version of Theorem A(4) or [28, Theorem 4]. Setting \(k=0\) in Theorem 2(1), we also get the classical version of the Bohr theorem. Finally, we remark that the whole proof of Theorem 2 can be imitated to establish Conjecture B only by replacing k with 1.
The paper is organized as follows. In Sect. 3, we present the proof of Theorems 1 and 2. In Sect. 4, we state and prove two theorems which extend two recent results of Ponnusamy et al. [34, 35] from the case of analytic functions to the case of sense-preserving harmonic mappings. Finally, in Sect. 5, we investigate the Bohr radius for the derivatives of analytic functions in the setting of quasi-subordination.
2 Preliminaries
In order to establish Theorems 1 and 2, we need the following lemmas. It is easy to obtain the following two well-known lemmas from the latest monograph of Avkhadiev and Wirths [8]. See also [18, pp. 195–196] and [1, 20].
Lemma C
Let \(\varphi \) be an analytic univalent map from \({\mathbb {D}}\) onto a simply connected domain \(\Omega =\varphi ({\mathbb {D}})\). We have the following:
-
(1)
\(\displaystyle \frac{1}{4}|\varphi '(0)|\le \mathrm{dist}\, (\varphi (0), \partial \Omega )\le |\varphi '(0)|.\)
-
(2)
If \(g(z) = \sum _{n=0}^{\infty } b_{n}z^{n}\prec \varphi (z)\), then \(\displaystyle |b_n|\le n|\varphi '(0)|\le 4n\, \mathrm{dist}\, (\varphi (0), \partial \Omega ). \)
Lemma D
Let \(\varphi \) be an analytic univalent map from \({\mathbb {D}}\) onto a convex domain \(\Omega =\varphi ({\mathbb {D}})\). We have the following:
-
(1)
\(\displaystyle \frac{1}{2}|\varphi '(0)|\le \mathrm{dist}\, (\varphi (0), \partial \Omega )\le |\varphi '(0)|. \)
-
(2)
If \(g(z) = \sum _{n=0}^{\infty } b_{n}z^{n}\prec \varphi (z)\), then \(\displaystyle |b_n|\le |\varphi '(0)|\le 2\mathrm{dist}\, (\varphi (0), \partial \Omega ). \)
The following two lemmas will play a key role in the proofs of our main results in Sect. 3.
Lemma E
(Alkhaleefah et al. [7]) Let f(z) and g(z) be two analytic functions in \({\mathbb {D}}\) with the Taylor series expansions \(f(z) = \sum _{n=0}^{\infty } a_{n}z^{n}\) and \(g(z) = \sum _{n=0}^{\infty } b_{n}z^{n}\) for \(z\in {\mathbb {D}}\). We have the following:
-
(1)
If \(f(z)\prec _q g(z)\) in \({\mathbb {D}}\), then
$$\begin{aligned} \sum _{n=0}^{\infty }|a_{n}|r^{n}\le \sum _{n=0}^{\infty }|b_{n}|r^{n}\quad \text{ for } \text{ all } \, r \le \frac{1}{3}. \end{aligned}$$ -
(2)
If \(|g'(z)|\le k|h'(z)|\) in \({\mathbb {D}}\) for some \(k \in (0, 1]\), then
$$\begin{aligned} \sum _{n=1}^{\infty }|b_{n}|r^{n}\le k\sum _{n=1}^{\infty }|a_{n}|r^{n}\quad \text{ for } \text{ all } \, r \le \frac{1}{3}. \end{aligned}$$
Proof
The proof of the first part of Lemma E is available in [7] while the second part follows easily from this. Indeed, by assumption, we obtain that \(g'(z)\prec _q k h'(z)\) which quickly gives from Lemma E(1) that
and integrating this with respect to r gives the desired inequality. \(\square \)
3 The proofs of Theorems 1 and 2
3.1 Proof of Theorem 1
Assume that \(f=h+{\overline{g}}\in H_{K,\,h_0\prec _q \varphi _0}({{\mathbb {D}}})\). Then \(f(z)=h(z)+\overline{g(z)}=\sum _{n=0}^{\infty } a_{n}z^{n}+\overline{\sum _{n=1}^{\infty }b_{n}z^{n}}\), where \(|g'(z)|\le k|h'(z)|\) in \({\mathbb {D}}\) for some \(k\in [0,1)\) and \(h(z)-h(0)\prec _q \varphi (z)-\varphi (0)\) in \({\mathbb {D}}\).
(1) By assumption, \(\varphi (z)= \sum _{n=0}^{\infty } c_{n}z^{n}\) is analytic and univalent in \({\mathbb {D}}\). Now, by Lemmas C and E(1), we obtain respectively the inequalities
and
which by the previous inequality leads to
Again, as \(|g'(z)|\le k|h'(z)|\), Lemma E(2) and (3.1) show that
Consequently, by combining the last two inequalities, we have
which is less than or equal to \({{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))\) if and only if
The last inequality holds for \(r\le r_u\), where \(r_u=r_u(k)=\frac{1}{2k+3+\sqrt{(2k+3)^2-1}}\in (0,1/3)\) and \(k=\frac{K-1}{K+1}\).
To prove the sharpness, we consider \(f=h+{\overline{g}}\) such that \(g'(z)=k\lambda h'(z)\), where \(\lambda \in {\mathbb {D}}\),
Then \({{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))=1/4\) and so it is easy to see that
which is bigger than or equal to 1/4 if and only if \(4(1+k|\lambda |)r-(1-r)^2\ge 0.\) Solving the last inequality shows that the number \(r_u=\frac{1}{2k+3+\sqrt{(2k+3)^2-1}}\) cannot be improved since \(|\lambda |\) could be chosen so close to 1 from left. This completes the proof of the first part (1).
(2) For the proof of the second part, we just need to assume that \(\varphi \) is convex and then proceed with the above method of proof, but using Lemma D in place of Lemma C. This change after minor computation leads to
which is less than or equal to \({{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))\) for \(r\le \frac{1}{3+2k}\le \frac{1}{3}\). Substituting \(k =\frac{K-1}{K+1} \) gives the desired result.
Again, to prove the sharpness, we consider \(f=h+{\overline{g}}\) such that
and \(g'(z)=k\lambda h'(z)\), where \(\lambda \in {\mathbb {D}}\). Then a simple computation yields
so that for this function we have
which is bigger than or equal to 1/2 if and only if
This shows that the number \(\frac{K + 1}{5K + 1}\) cannot be improved since \(|\lambda |\) could be chosen so close to 1 from left. This completes the proof of the second part. \(\square \)
3.2 Proof of Theorem 2
Suppose that \(f=h+{\overline{g}}\in H_{K,\,h\prec \varphi }({{\mathbb {D}}})\). We consider the first part of the theorem, where \(b_1=g'(0)=0\), \(h\prec \varphi \) and \(\varphi \) is univalent and convex in \({\mathbb {D}}\). It follows from Lemma D(2) that \(|a_n|\le |\varphi '(0)|\) for \(n\ge 1\), and thus
Because \(g'(0)=0\), by Schwarz’s lemma, we obtain that \(\omega =\frac{g'}{h'}\) is analytic in \({\mathbb {D}}\) and \(|\omega (z)|\le k|z|\) in \({\mathbb {D}}\). Therefore, we have \(|g'(z)|\le |kz h'(z)|\), or \(g'(z)\prec _q kz h'(z)\) in \({\mathbb {D}}\).
By Lemma E(1), we have
Integrate this inequality on [0, r], where \(r\le 1/3\), we obtain
Consequently, by combining (3.2) with the last inequality, we find that
where the last inequality holds if and only if
The above inequality holds for \(r\le r_c(k)\), where \(r_c(k)\) is the unique positive root in (0, 1/3) of Eq. (1.7). In order to verify the fact, we let
Then F(r) is continuous in [0, 1/3],
and therefore, it follows from the intermediate value theorem that the equation (1.7) has a unique root \(r_c=r_c(k)\) in (0, 1/3).
To prove the sharpness, we consider \(f=h+{\overline{g}}\), where h, g and \(\varphi \) are such that \(g'(z)=k z h'(z)\) and \(h(z)=\varphi (z)=1/(1-z)\). Then for these choices we find that \( {{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))=1/2\) and it is easy to compute the corresponding sum
which is less than or equal to 1/2 only for \(r\le r_c(k)\), where \(r_c(k)\) is the unique positive root in (0, 1/3) of the Eq. (1.7). This shows that the number \(r_c(k)\) cannot be improved. This completes the proof of the first part of the theorem.
Now we consider the second part, where \(\varphi \) is analytic and univalent in \({\mathbb {D}}\). It follows from Lemma C that \(|a_n|\le |\varphi '(0)| n\le 4 n\, {{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))\) for \(n\ge 1\), and thus
As in the proof of the previous case, we have
and thus, by integration, we obtain easily that
Consequently, by combining (3.3) with the last inequality, we find that
where the last inequality holds if and only if
which holds for \(r\le r_s(k)\), where \(r_s(k)\) is the unique positive root in (0, 1/3) of Eq. (1.8)—a fact which is easy to verify as in the proof of the case (1.7) above.
To prove the sharpness, we consider the function \(f=h+{\overline{g}}\), where
and \(g'(z)=k z h'(z)\). Then we find that \({{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))=\frac{1}{4}\), and as before we have
which is less than or equal to 1/4 only in the case where \(r\le r_s(k)\), where \(r_s(k)\) is the unique positive root in (0, 1/3) of Eq. (1.8). This shows that the number \(r_s(k)\) cannot be improved. The proof of the theorem is complete. \(\square \)
4 Improved Bohr’s phenomenon associated with quasi-subordination
Recently, Ponnusamy et al. [34, 35] established several refined versions of Bohr’s inequality in the case of bounded analytic functions. In this section, following the ideas of [34, 35], we will discuss improved Bohr’s phenomenon for two classes of sense-preserving harmonic mappings associated with quasi-subordination.
Theorem 3
Suppose that \(f(z)=h(z)+\overline{g(z)}=\sum _{n=0}^{\infty } a_{n}z^{n}+\overline{\sum _{n=1}^{\infty }b_{n}z^{n}}\) is a sense-preserving harmonic mapping in \({\mathbb {D}}\) and \(h(z)-h(0)\prec _q \varphi (z)-\varphi (0)\) in \({\mathbb {D}}\), where \(\varphi (z)\) is univalent and convex in \({\mathbb {D}}\). Also, let \(\lambda ={{\text {dist}}}(\varphi (0), \partial \varphi ({\mathbb {D}}))<1\) and \(\Vert f_0\Vert _r=\sum _{n=1}^{\infty }(|a_{n}|^2+|b_{n}|^2)r^{2n}\), where \(f_0(z)=f(z)-f(0)\). Then
where \(r_*\approx 0.15867508\) is the unique root in (0, 1) of equation
Moreover, for any \(\lambda \in (0, 1)\), there exists a uniquely defined \(r_0\in (r_*, \frac{1}{5})\) such that \(T_f(r)\le \lambda \) for \(r\in [0, r_0]\). The radius \(r_0\) can be calculated as the solution of the equation
Proof
Let \(\varphi (z)= \sum _{n=0}^{\infty } c_{n}z^{n}\). Then, as before, Lemma D implies that \(|c_n|\le |\varphi '(0)|\le 2\lambda \) for \(n\ge 1\). Because \(h(z)-h(0)\prec _q \varphi (z)-\varphi (0)\) and \(|g'(z)|\le |f'(z)|\) for \(z\in {\mathbb {D}}\), we have
In addition we also have
so that
Consequently, \(\Vert f_0\Vert _r\le 2\Vert \varphi _0\Vert _r \) and thus, \(T_f(r)\le 2T_{\varphi }(r)\) for \(r\le 1/3\) only, where
Clearly, the desired conclusion follows if we can show that \(T_{\varphi }(r)\le \lambda /2\). Finally, because \(|c_n|\le 2\lambda \) for \(n\ge 1\), we have
where
It is easy to see that \(\Phi (\lambda , r)<0\) for \(r>1/5\) and \(0<\lambda \le 1\), so that
for \(r>1/5\) and \(0<\lambda \le 1\).
We claim that \(\Phi (\lambda , r)\ge 0\) for every \(r\le r_*\) and for \(\lambda \in (0, 1]\). In fact, we have
and thus \(\frac{\partial \Phi (\lambda , r)}{\partial \lambda }\) is an increasing function of \(\lambda \). This gives
so that \(\Phi (\lambda , r)\) is a decreasing function of \(\lambda \) on (0, 1] for \(r\le 1/3\) which implies that
which is greater than or equal to 0 for all \(r\le r_*\), where \(r_*\approx 0.15867508\) is the unique root of equation \(5r^3-9r^2-5r+1=0,\) which lies in \((0, \frac{1}{5})\).
Since \(\Phi (0, r)=2 (1-5r)(1-r^2)\), we have \(\Phi (0, r)\ge 0\) for \(r\le 1/5\) and \(\Phi (0, r)< 0\) for \(r> 1/5\). Furthermore,
which implies that \(\Phi (1, r)\ge 0\) for \(r\le r_*\) and \(\Phi (1, r)< 0\) for \(r> r_*\). According to the fact that \(\Phi (\lambda , r)\) is a monotonic decreasing function of \(\lambda \) on (0, 1] for \(r\le \frac{1}{3}\), we see that for any \(r\in (r_*, \frac{1}{5})\), \(\Phi (0, r)\ge 0,\, \Phi (1, r)<0\), there is a uniquely defined \(\lambda (r)\in (0, 1)\) such that \(\Phi (\lambda (r), r)=0\).
To prove the last assertion, we have to show that \(\frac{d\lambda (r)}{dr}<0\). Indeed, since
it is sufficient to prove that
for \(\lambda \in (0, 1]\) and \(r\in (r_*, \frac{1}{5})\).
To that end, we use that for the intervals in question the inequalities
are valid. This completes the proof of Theorem 3\(\square \)
Theorem 4
Assume the hypotheses of Theorem 3 with a relaxed condition on \(\varphi \), namely, that \(\varphi (z)\) is analytic and univalent in \({\mathbb {D}}\). Then
for \(|z|=r\le r_u^*\), where \(r_u^*\approx 0.0808958838\) is the unique root in (0, 1) of the equation
Proof
Following the notation and the method of proof of Theorem 3, we easily have \(|c_n|\le 4n\lambda \) for \(n\ge 1\) and \(T_f(r)\le 2T_{\varphi }(r)\), where
Here
To complete the proof, it suffices to show that \(2T_{\varphi }(r)\le \lambda \) for \(r\le r_u^*\).
We claim that \(\Psi (\lambda , r)\ge 0\) for every \(r\le r_u^*\approx 0.0808958838\) and for \(\lambda \in (0, 1]\). In fact, we have
and thus \(\frac{\partial \Psi (\lambda , r)}{\partial \lambda }\) is an increasing function of \(\lambda \). This gives
for \(r\le \frac{1}{5}\). Indeed, let \(F(r)=1-8r+13r^2+51r^4+8r^5-r^6\). Then we only need to prove \(F(r)\ge 0\) for \(r\le \frac{1}{5}\). Since
for \(r\le \frac{1}{5}\), this implies that F(r) is a decreasing function on [0, 1/5] and thus, we conclude that
for \(r\le \frac{1}{5}\). Hence \(\frac{\partial \Psi (\lambda , r)}{\partial \lambda }\le \frac{\partial \Psi }{\partial \lambda }(1, r)\le 0\) for \(r\le \frac{1}{5}\). It follows that \(\Psi (\lambda , r)\) is a decreasing function of \(\lambda \) on (0, 1] for \(r\le \frac{1}{5}\), so that
which is greater than or equal to 0 for all \(r\le r_u^*\), where \(r_u^*\approx 0.0808958838\) is the unique root of Eq. (4.1). This completes the proof of Theorem 4\(\square \)
5 The Bohr radius of the derivatives of analytic functions
In [10], Bhowmik and Das investigated the Bohr radius of the derivatives of analytic functions. In particular, they established the following results.
Proposition 1
[10] Let \(f(z) =\sum _{n=0}^{\infty } a_n z^n\) and \(g(z) =\sum _{n=0}^{\infty } b_n z^n\) be two analytic functions in \({\mathbb {D}}\). Then \(M_{f+g}(r)\le M_{f}(r)+M_{g}(r)\) and \(M_{f\, g}(r)\le M_{f}(r)\, M_{g}(r)\) for any \(|z|=r\in [0, 1)\), where \(M_{f}(r)\) denotes the majorant series of f.
Theorem F
[10] Let w(z) be an analytic self map of \({\mathbb {D}}\) with \(w(0)=0\). Then \(M_{w'}(r)\le 1\) for \(|z| = r \le r_0 = 1-\sqrt{2/3}\). This radius \(r_0\) is the best possible.
Using the similar method as in the proof of Theorem F, we can easily prove the following.
Lemma 1
Let w(z) be an analytic self map of \({\mathbb {D}}\). Then \(M_{zw'}(r)+M_{w}(r)\le 1\) for \(|z| = r \le r_0 = 1-\sqrt{2/3}\).
In this section, we determine the Bohr radius for the derivatives of analytic functions associated with quasi-subordination. More precisely, we have
Theorem 5
Let \(f(z) =\sum _{n=0}^{\infty } a_n z^n\) and \(g(z) =\sum _{n=0}^{\infty } b_n z^n\) be two analytic functions in \({\mathbb {D}}\). If \(f(z)-f(0)\prec _q g(z)-g(0)\) in \({\mathbb {D}}\), then \(M_{f'}(r)\le M_{g'}(r)\) for \(|z|=r\le r_0=1-\sqrt{2/3}\). The radius \(r_0\) cannot be improved.
Proof
Suppose that \(f(z)-f(0)\prec _q g(z)-g(0)\) in \({\mathbb {D}}\). Then there exist two functions \(\Phi \in {{\mathcal {B}}}\) and \(\omega \in {{\mathcal {B}}}_0\) such that \(f(z)-f(0) = \Phi (z) (g(\omega (z))-g(0)). \) Thus we have
which implies
As \(g'\circ \omega \prec g'\) and \(\frac{g(\omega (z))-g(0)}{\omega (z)}\prec \frac{g(z)-g(0)}{z}\), by Lemma E(1), we have
From Theorem F, \(M_{\omega '}(r)\le 1\) for \(r\le r_0=1-\sqrt{2/3}< 1/3\). Further, we observe that \(M_{\frac{\omega (z)}{z}}(r)\le M_{\omega '}(r)\le 1\) for \(r\le r_0=1-\sqrt{2/3}< 1/3\). Consequently,
Moreover Lemma 1 yields that
The desired inequality follows from the last two inequalities.
Following the method of proof of [10, Theorem 2], we can easily obtain that the radius \(r_0\) cannot be improved. So, we omit the details. The proof is complete. \(\square \)
Remark 4
It is worth pointing out that [10, Theorem 2] is a special case of Theorem 5.
References
Abu-Muhanna, Y.: Bohr’s phenomenon in subordination and bounded harmonic classes. Complex Var. Elliptic Equ. 55(11), 1071–1078 (2010)
Aizenberg, L.: Multidimensional analogues of Bohr’s theorem on power series. Proc. Am. Math. Soc. 128, 1147–1155 (2000)
Aizenberg, L.: Remarks on the Bohr and Rogosinski phenomena for power sereis. Anal. Math. Phys. 2, 69–78 (2001)
Aizenberg, L.: Generalization of Caratheodory’s inequality and the Bohr radius for multidimensional power series. Oper. Theory Adv. Appl. 158, 87–94 (2005)
Ali, R.M., Abu-Muhanna, Y., Ponnusamy, S.: On the Bohr inequality. In: Progress in Approximation Theory and Applicable Complex Analysis. Springer Optimization and Its Applications, vol. 117, pp. 265–295 (2016)
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)
Avkhadiev, F.G., Wirths, K.-J.: Schwarz–Pick type inequalities, p. 156. Birkhäuser, Basel (2009)
Bénéteau, C., Dahlner, A., Khavinson, D.: Remarks on the Bohr phenomenon. Comput. Methods Funct. Theory 4(1), 1–19 (2004)
Bhowmik, B., Das, N.: A note on the Bohr inequality. arXiv:1911.06597v1
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. Boll. Unione Mat. Ital. 17, 276–282 (1962)
Bombieri, E., Bourgain, J.: A remark on Bohr’s inequality. IMRN Int. Math. Res. Not. 80, 4307–4330 (2004)
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)
Dineen, S., Timoney, R.M.: Absolute bases, tensor products and a theorem of Bohr. Stud. Math. 84, 227–234 (1989)
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)
Garcia, S.R., Mashreghi, J., Ross, W.T.: Finite Blaschke products and their connections. Springer, Cham (2018)
Graham, I., Kohr, G.: Geometric Function Theory in One and Higher Dimensions. Marcel Dekker Inc., New York (2003)
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, 679–688 (2017)
Kayumov, I.R., Ponnusamy, S.: Bohr’s inequality for analytic functions with lacunary series and harmonic functions. J. Math. Anal. Appl. 465, 857–871 (2018)
Kayumov, I.R., Ponnusamy, S.: On a powered Bohr inequality. Ann. Acad. Sci. Fenn. Ser. A I Math 44, 301–310 (2019)
Kayumov, I.R., Ponnusamy, S., Shakirov, N.: Bohr radius for locally univalent harmonic mappings. Math. Nachr. 291, 1757–1768 (2017)
Kresin, G., Maz’ya, V.: Sharp Bohr type real part estimates. Comput. Methods Funct. Theory 7(1), 151–165 (2006)
Lewy, H.: On the non-vanishing of the Jacobian in certain one-to-one mappings. Bull. Am. Math. Soc. 42, 689–692 (1936)
Liu, Z.H., Ponnusamy, S.: Bohr radius for subordination and \(K\)-quasiconformal harmonic mappings. Bull. Malays. Math. Sci. Soc. 42, 2151–2168 (2019)
Liu, M.S., Shang, Y.M., Xu, J.F.: Bohr-type inequalities of analytic functions. J. Inequal. Appl 345, 13 (2018)
Martio, O.: On harmonic quasiconformal mappings. Ann. Acad. Sci. Fenn. A. I. 425, 3–10 (1968)
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)
Paulsen, V.I., Popascu, G., Singh, D.: On Bohr’s inequality. Proc. Lond. Math. 3(85), 493–512 (2002)
Ponnusamy, S., Vijayakumar, R., Wirths, K.-J.: Improved Bohr’s phenomenon in quasi-subordination classes. arXiv:1909.00780v1
Ponnusamy, S., Vijayakumar, R., Wirths, K.-J.: Refinement of the classical Bohr inequality. arXiv:1911.05315v1
Robertson, M.S.: Quasi-subordination and coefficient conjectures. Bull. Am. Math. Soc. 76, 1–9 (1970)
Acknowledgements
We thank the referee for his/her careful reading of our paper and invaluable comments. The research of the first author was supported by Guangdong Natural Science Foundation of China (No. 2018A030313508). The work of the second author was supported by Mathematical Research Impact Centric Support (MATRICS) of the Department of Science and Technology (DST), India (MTR/2017/000367). The third author was supported by the Natural Science Foundation of China (No. 11771090). The first author would also thank the Laboratory of Mathematics of Nonlinear Sciences, Fudan University (LMNS) for its support during his visit to Fudan University.
Author information
Authors and Affiliations
Corresponding author
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
Liu, MS., 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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00844-0
Keywords
- Bohr radius
- Analytic functions
- Harmonic mappings
- Convex functions
- Subordination
- Quasi-subordination
- K-quasiregular mappings