Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-08T05:33:58.574Z Has data issue: false hasContentIssue false

BOUNDS FOR FUNCTIONALS DEFINED ON A CERTAIN CLASS OF MEROMORPHIC FUNCTIONS

Published online by Cambridge University Press:  03 March 2023

BAPPADITYA BHOWMIK*
Affiliation:
Department of Mathematics, Indian Institute of Technology Kharagpur, Kharagpur 721302, India
FIRDOSHI PARVEEN
Affiliation:
Department of Mathematics, SRM University-AP, Andhra Pradesh 522502, India e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

We obtain bounds for certain functionals defined on a class of meromorphic functions in the unit disc of the complex plane with a nonzero simple pole. These bounds are sharp in a certain sense. We also discuss possible applications of this result. Finally, we generalise the result to meromorphic functions with more than one simple pole.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction and main result

We denote the set of all complex numbers by ${\mathbb C}$ . Let $\mathcal {A}$ be the class of analytic functions in the unit disc ${\mathbb D}:=\{z\in {\mathbb C}: |z|<1\}$ with the Taylor expansion

(1.1) $$ \begin{align} f(z)=z+\sum_{n=2}^{\infty}a_n z^n,\quad z\in {\mathbb D} \end{align} $$

and $f(z)\neq 0$ for $z\in {\mathbb D}\setminus \{0\}$ . We see that the functions in $\mathcal {A}$ must satisfy the normalisation $f(0)=0=f'(0)-1$ . For $f\in \mathcal {A}$ , we define

$$ \begin{align*} d_f:= \inf\bigg|\frac{f(z)}{z}\bigg|, \quad z\in {\mathbb D}, \end{align*} $$

and for $f\in \mathcal {A}$ that are bounded in ${\mathbb D}$ , let

$$ \begin{align*} D_f:= \sup\bigg|\frac{f(z)}{z}\bigg|,\quad z\in {\mathbb D}. \end{align*} $$

Lewin obtained the following result.

Theorem 1.1 (Lewin, [Reference Lewin4])

For $f\in \mathcal {A}$ with the expansion (1.1), $d_f\leq \exp (-|a_2|/2)$ . If f is bounded, then $D_f\geq \exp (|a_2|/2)$ .

In the same article, Lewin established that the estimates in Theorem 1.1 are best possible. He commented that although the bounds in Theorem 1.1 are not sharp in the case of univalent or bounded univalent functions, they nevertheless supply information which may be of help when dealing with conformal mappings (analytic and univalent mappings).

In this article, we allow the functions in $\mathcal {A}$ to possess a nonzero simple pole inside ${\mathbb D}$ and wish to see whether an analogue of Theorem 1.1 can be established after suitably defining the quantities $d_f$ and $D_f$ in this case. Therefore, we consider functions f that are meromorphic having a simple pole at $z=p\in (0,1)$ inside the unit disk ${\mathbb D}$ , with the Taylor series expansion

(1.2) $$ \begin{align} f(z)=z+\sum_{n=2}^{\infty}a_n z^n,\quad z\in {\mathbb D}_p, \end{align} $$

where ${\mathbb D}_p:=\{z\in {\mathbb C} : |z|<p\}$ and such that f does not vanish in ${\mathbb D}$ other than at the origin. Evidently, for such f, we have $f(0)=0=f'(0)-1$ . We denote the class of such functions by $\mathcal {F}(p)$ . If g is a meromorphic function having a simple pole at $pe^{i\beta }$ , $\beta \in (0, 2\pi ]$ , $p\in (0,1)$ , and g is nonvanishing in ${\mathbb D}\setminus \{0\}$ with $g(0)=0$ and $g'(0)\neq 0$ , then

(1.3) $$ \begin{align} f(z)=\frac{e^{-i\beta}g(ze^{i\beta})}{g'(0)}\in \mathcal{F}(p). \end{align} $$

This shows that taking the pole p in the interval $(0,1)$ is sufficiently general. For $f\in \mathcal {F}(p)$ , we define

$$ \begin{align*} d_p(f):={\inf_{z\in {\mathbb D}}}\ \bigg|\frac{(z-p)f(z)}{z(1-pz)}\bigg|, \end{align*} $$

and if $(z-p)f$ is bounded in ${\mathbb D}$ , we define

$$ \begin{align*} D_p(f):={\sup_{z\in {\mathbb D}}}\ \bigg|\frac{(z-p)f(z)}{z(1-pz)}\bigg|. \end{align*} $$

These quantities can be thought of as analogous to $d_f$ and $D_f$ in [Reference Lewin4]. The reason for multiplying $f/z$ , $f\in \mathcal {F}(p)$ , by the factor ${(z-p)}{(1-pz)}$ is to make the resulting function holomorphic in ${\mathbb D}$ . In addition, if f has a holomorphic extension to the boundary $\partial {\mathbb D}=\{z\in {\mathbb C}: |z|=1\}$ of ${\mathbb D}$ , then

$$ \begin{align*} \bigg|\frac{(e^{i\theta}-p)f(e^{i\theta})}{e^{i\theta}(1-pe^{i\theta})}\bigg|=|f(e^{i\theta})|, \quad \theta\in [0,2\pi). \end{align*} $$

Thus, in such cases, finding the bounds of $d_p(f)$ and $D_p(f)$ will essentially give estimates for the distance between the origin and the image of the unit circle under f. In the second part of this paper, we will generalise these results to functions having more than one simple pole in ${\mathbb D}$ .

We now state and prove our main result. We will adopt the main idea of the proof from [Reference Lewin4], but as we approach the problem, we will realise that the proof itself and finding the extremal functions for which equalities hold in these estimates are not straightforward.

Theorem 1.2. Let $f\in \mathcal {F}(p)$ have the expansion (1.2) in ${\mathbb D}_p$ . Then

$$ \begin{align*} d_p(f)\leq p \exp(-|pa_2+p^2-1|/2), \end{align*} $$

and if $(z-p)f$ is bounded in ${\mathbb D}$ , then

$$ \begin{align*} D_p(f)\geq p\exp(|pa_2+p^2-1|/2). \end{align*} $$

These bounds are best possible.

Proof. Let $s>1$ be such that

$$ \begin{align*}\bigg|\frac{(z-p)f(z)}{pz(1-pz)}\bigg|\geq 1/s,\quad z\in {\mathbb D}. \end{align*} $$

Then we must have

$$ \begin{align*} \log \bigg|\frac{(z-p)f(z)}{pz(1-pz)}\bigg|\geq -\log s, \end{align*} $$

where we choose that branch of logarithm for which $\log f'(0)=0$ . A minor simplification of the above inequality yields

$$ \begin{align*} 1+ \frac{\log|{(z-p)}/{p(1-pz)}|}{\log s}+ \frac{\log|{f(z)}/{z}|}{\log s}\geq 0. \end{align*} $$

Now define

$$ \begin{align*} F(z)= 1+ \frac{\log\{{(p-z)f(z)}/{pz(1-pz)}\}}{\log s},\quad z\in {\mathbb D}, \end{align*} $$

which is analytic in ${\mathbb D}$ by choosing that branch of the logarithm for which $\log (f'(0))=0$ . By virtue of the previous inequality, we have $\mathrm {Re}\, F(z)\geq 0$ with $F(0)=1$ . Now we can expand F about the origin to get

(1.4) $$ \begin{align} \hspace{-8pt}F(z)= 1+\bigg(\frac{a_2+p-1/p}{\log s}\bigg)z+ \bigg(\frac{a_3-{a_2}^2/2+(p^2-1/p^2)/2}{\log s}\bigg)z^2+\cdots, \quad z\in {\mathbb D}_p. \end{align} $$

An application of Caratheodory’s lemma (see [Reference Carathéodory3]) for the function F in ${\mathbb D}_p$ yields

$$ \begin{align*} \frac{|a_2+p-1/p|}{\log s}\leq \frac{2}{p}. \end{align*} $$

Letting $d_p(f)=p/s$ gives the first estimate of the theorem. To obtain the second estimate of the theorem, we let

$$ \begin{align*} g(z)= \frac{(pz)^2(1-pz)^2}{(z-p)^2f(z)},\quad f\in \mathcal{F}(p),\, z\in {\mathbb D}. \end{align*} $$

Note that $g\in \mathcal {F}(p)$ as $(z-p)f$ is bounded in ${\mathbb D}$ and g has the Taylor expansion

$$ \begin{align*} g(z)=z+ (2/p-2p-a_2)z^2+\cdots,\quad z\in {\mathbb D}_p. \end{align*} $$

We thus have $d_p(g)/p=p/D_p(f)$ . Therefore,

$$ \begin{align*} \frac{1}{D_p(f)}=\frac{d_p(g)}{p^2} &\leq (1/p)\exp(-|2-2p^2-pa_2+p^2-1|/2)\\ &=(1/p)\exp (-|pa_2+p^2-1|/2). \end{align*} $$

Consequently, the second inequality of the theorem follows.

The bounds obtained in the theorem are best possible in the following sense. We consider the functions $f^{\pm }_{\alpha }$ in $\mathcal {F}(p)$ :

$$ \begin{align*} f^{\pm}_{\alpha}(z)= p\psi(z)\exp \bigg(\pm\frac{\alpha \psi(z)}{1+ \psi(z)} \bigg), \quad \alpha \geq 0,~z\in {\mathbb D}, \end{align*} $$

where $\psi (z)=z(1-pz)/(p-z)$ . A quick computation yields

$$ \begin{align*} f^{+}_{\alpha}(z) = z+ \bigg(\frac{\alpha}{p}+\frac{1}{p}-p\bigg)z^2+\cdots,\quad z\in {\mathbb D}_p. \end{align*} $$

Therefore, here $a_2=\alpha /p+1/p-p$ , which gives $|a_2p+p^2-1|=\alpha $ and

$$ \begin{align*} |f^{+}_{\alpha}(e^{i\phi})|= p\exp ({ \alpha/2})=p\exp ({ |a_2p+p^2-1|/2}), \end{align*} $$

where $\phi \in (0, \pi )\cup (\pi , 2\pi )$ . Again for the function $f^{-}_{\alpha }$ , we have

$$ \begin{align*}f^{-}_{\alpha}(z) = z+ \bigg(-\frac{\alpha}{p}+\frac{1}{p}-p\bigg)z^2+\cdots,\, z\in {\mathbb D}_p, \end{align*} $$

which gives $a_2=-\alpha /p+1/p-p$ or equivalently $|a_2p+p^2-1|=\alpha $ and

$$ \begin{align*} |f^{-}_{\alpha}(e^{i\phi})|= p\exp ({- \alpha/2})=p\exp ({- |a_2p+p^2-1|/2}), \end{align*} $$

where $\phi \in (0, \pi )\cup (\pi , 2\pi )$ . This shows that the estimates stated in the theorem are best possible. This completes the proof of the theorem.

Remark 1.3. (i) Note that the quantity $|pa_2+p^2-1|$ in the bounds for $d_p(f)$ and $D_p(f)$ in Theorem 1.2, may be replaced by $|p^2(a_3-\tfrac 12a_2^2)+(p^4-1)/2|$ as by Caratheodory’s lemma, we also have

$$ \begin{align*} \frac{|a_3-{a_2}^2/2+(p^2-1/p^2)/2|}{\log s}\leq \frac{2}{p^2}, \end{align*} $$

for the function F defined in ${\mathbb D}_p$ . Furthermore, we comment here that if $pa_2+p^2- 1=0$ , then we need to use the first nonvanishing coefficient in the expansion (1.4) to get the estimates for $d_p(f)$ and $D_p(f)$ .

(ii) We observe that we recover Lewin’s results (compare [Reference Lewin4, Theorem A]) if we pass to the limit as $p\rightarrow 1-$ in the expression for the bounds obtained in Theorem 1.2.

We now illustrate the results obtained in Theorem 1.2 through some examples and indicate possible applications of the bounds.

Example 1.4. Let

$$ \begin{align*}f(z)=\frac{-p\log(1+z)}{z-p}, \quad z\in {\mathbb D}. \end{align*} $$

We choose the branch of the logarithm such that $\log 1=0$ . One can check that $f\in \mathcal {F}(p)$ and has the expansion

$$ \begin{align*} f(z)= z +(1/p-1/2)z^2+ (1/p^2-1/2p+1/3)z^3+\cdots. \end{align*} $$

Here, $a_2=1/p-1/2$ and as a result, an application of Theorem 1.2 yields

$$ \begin{align*} d_p(f)\leq p\exp(-|p^2-p/2|/2). \end{align*} $$

Example 1.5. Let $f(z)=-pz\exp (z)/(z-p)$ , $z\in {\mathbb D}$ , with the expansion

$$ \begin{align*} f(z)= z+ (1+1/p)z^2+ (1/2+1/p+1/p^2)z^3+\cdots, \quad z\in{\mathbb D}_p. \end{align*} $$

Thus, $pa_2+p^2-1=p^2+p$ and $d_p(f)\leq p\exp (-(p^2+p)/2)$ .

Example 1.6 (Univalent case)

Consider $f(z)=-zp/(z-p)(1-pz)$ , $z\in {\mathbb D}$ . It is a simple exercise to check that f is one–one in ${\mathbb D}$ (see [Reference Avkhadiev and Wirths1, Reference Bhowmik2]). The Taylor expansion of this function yields the second Taylor coefficient as $a_2=p+1/p$ . Therefore, according to Theorem 1.2, we must have $d_p(f)\leq p\exp (-p^2)$ . Now for this function,

$$ \begin{align*} \bigg|\frac{(z-p)f(z)}{z(1-pz)}\bigg|_{|z|=1}= \frac{p}{|1-pe^{i\theta}|^2}\geq \frac{p}{(1+p)^2}. \end{align*} $$

Therefore, $d_p(f)\geq p/(1+p)^2$ . Now, if $z=x$ , $x\in (-1, 0)$ , then

$$ \begin{align*} d_p(f)= \lim_{x\rightarrow -1}p/(1-px)^2= p/(1+p)^2 < p\exp(-p^2) \end{align*} $$

for all $p\in (0,1)$ . Thus, the obtained bound in Theorem 1.2 is not sharp for this univalent function.

In the above three examples, it is difficult to give the exact estimate for the distance from the origin to the image of the unit circle under f, but nonetheless, we obtain some information about this distance.

Example 1.7 (Existence of a zero)

As an application of Theorem 1.2, we wish to investigate the existence of a zero for a meromorphic function f with a nonzero pole other than at the origin. To this end, consider $p=1/2$ and the function

$$ \begin{align*} f(z)=\frac{z+15z^2+iz^3+2z^4-4 i z^5+\frac{1}{5}z^6}{(1-2z)}, \quad z\in {\mathbb D}. \end{align*} $$

Suppose $f/z$ does not vanish in ${\mathbb D} \setminus \{0\}$ . Then it is clear that $f\in \mathcal {F}(1/2)$ . Expanding f in a Taylor series about the origin for $|z|<1/2$ gives

$$ \begin{align*} f(z)= z+ 17 z^2+ (34+i)z^3+\cdots. \end{align*} $$

Here, $a_2=17$ . Therefore, an application of Theorem 1.2 yields

$$ \begin{align*}D_p(f)\geq p \,e^{{|a_2 p+p^2-1|}/{2}}=\tfrac{1}{2}e^{{31}/{8}}=24.08. \end{align*} $$

However, then we see that

$$ \begin{align*} \bigg|\frac{(z-p)f(z)}{z(1-pz)}\bigg|_{|z|=1}=\bigg|\frac{(z-\frac{1}{2})(z+15z^2+iz^3+2z^4-4 i z^5+\frac{1}{5}z^6)}{z(1-{z}/{2})(1-2z)}\bigg|_{|z|=1}\leq 23.2. \end{align*} $$

This is a contradiction, and therefore $f/z$ must vanish at a nonzero point in ${\mathbb D}$ .

2 Generalisation of the main result

In this section, we generalise Theorem 1.2 by allowing the functions in $\mathcal {F}(p)$ to have more than one nonzero simple pole in ${\mathbb D}$ . This extension is possible if these poles in ${\mathbb D}$ lie on a line passing through the origin, that is, all the poles have the same argument. Thus, it will be sufficient to consider these nonzero poles in the interval $(0,1)$ as we did for one nonzero pole in ${\mathbb D}$ (see (1.3)). More precisely, we consider functions f that are meromorphic having simple poles at $z=p_1, p_2,\ldots , p_n \in (0,1)$ inside the unit disk ${\mathbb D}$ with the Taylor series expansion

(2.1) $$ \begin{align} f(z)=z+\sum_{n=2}^{\infty}a_n z^n,\quad z\in {\mathbb D}_p, \end{align} $$

where $p:=\min \, \{p_1, p_2,\ldots , p_n\}$ , ${\mathbb D}_p:=\{z\in {\mathbb C} : |z|<p\}$ and f does not vanish in ${\mathbb D}$ other than at the origin. For such f, we have $f(0)=0=f'(0)-1$ . We denote the class of such functions by $\mathcal {F}$ . Let

$$ \begin{align*} B(z)=\prod_{i=1}^{n}\frac{z-p_i}{1-p_iz}, \quad z\in {\mathbb D}. \end{align*} $$

For $f\in \mathcal {F}$ , we define

$$ \begin{align*} m_p(f):={\inf_{z\in {\mathbb D}}}\bigg|\frac{B(z)f(z)}{z}\bigg|, \end{align*} $$

and if $(z-p_1)(z-p_2)\ldots (z-p_n)f$ is bounded in ${\mathbb D}$ , we define

$$ \begin{align*} M_p(f):={\sup_{z\in {\mathbb D}}}\bigg|\frac{B(z)f(z)}{z}\bigg|. \end{align*} $$

In the next theorem, we obtain estimates for $m_p(f)$ and $M_p(f)$ .

Theorem 2.1. Let $f\in \mathcal {F}$ have the expansion (2.1) in ${\mathbb D}_p$ . Then

$$ \begin{align*} m_p(f)\leq \bigg(\prod_{i=1}^{n} p_i\bigg) \exp\bigg(-\frac{1}{2}p\bigg|a_2+\sum_{i=1}^{n}\bigg(p_i-\frac{1}{p_i}\bigg)\bigg|\bigg), \end{align*} $$

and if $(z-p_1)(z-p_2)\ldots (z-p_n)f$ is bounded in ${\mathbb D}$ , then

$$ \begin{align*} M_p(f)\geq \bigg(\prod_{i=1}^{n} p_i\bigg) \exp\bigg(\frac{1}{2}p\bigg|a_2+\sum_{i=1}^{n}\bigg(p_i-\frac{1}{p_i}\bigg)\bigg|\bigg). \end{align*} $$

These bounds are best possible.

Proof. To prove this theorem, we use a similar technique to that in the proof of Theorem 1.2. Let $s>1$ be such that

$$ \begin{align*}\bigg|\frac{B(z)f(z)}{z\prod_{i=1}^{n} p_i}\bigg|\geq 1/s,\quad z\in {\mathbb D}. \end{align*} $$

Therefore, we must have

$$ \begin{align*} \log \bigg|\frac{B(z)f(z)}{z\prod_{i=1}^{n} p_i}\bigg|\geq -\log s, \end{align*} $$

where we choose that branch of the logarithm for which $\log f'(0)=0$ . A minor simplification of this inequality yields

$$ \begin{align*} 1+ \sum_{i=1}^{n}\frac{\log|{(z-p_i)}/{p_i(1-p_iz)}|}{\log s}+ \frac{\log|{f(z)}/{z}|}{\log s}\geq 0. \end{align*} $$

For $z\in {\mathbb D}$ , we define

$$ \begin{align*} F(z)&= 1+ \frac{\log({-B(z)f(z)}/{z\prod_{i=1}^{n}p_i})}{\log s}\\ &=1+\sum_{i=1}^{n}\frac{\log({(p_i-z)}/{p_i(1-p_iz)})}{\log s}+ \frac{\log({f(z)}/{z})}{\log s}, \end{align*} $$

which is analytic in ${\mathbb D}$ by choosing that branch of logarithm for which $\log (f'(0))=0$ . By virtue of the previous inequality, we have $\mathrm {Re}\, F(z)\geq 0$ with $F(0)=1$ . Now we can expand F about the origin to get

$$ \begin{align*} F(z)= 1+\bigg(\frac{a_2+\sum_{i=1}^{n}(p_i-1/p_i)}{\log s}\bigg)z+\cdots, \quad z\in {\mathbb D}_p. \end{align*} $$

An application of Caratheodory’s lemma for the function F in ${\mathbb D}_p$ yields

$$ \begin{align*} \frac{|a_2+\sum_{i=1}^{n}(p_i-1/p_i)|}{\log s}\leq \frac{2}{p}. \end{align*} $$

Now, letting $m_p(f)=(\prod _{i=1}^{n} p_i)/s$ , we obtain the first estimate of the theorem. To obtain the second estimate of the theorem, we let

$$ \begin{align*} g(z)= \frac{(z\prod_{i=1}^{n} p_i)^2}{(B(z))^2f(z)},\quad f\in \mathcal{F}, z\in {\mathbb D}. \end{align*} $$

Note that $g\in \mathcal {F}$ as $(z-p_1)(z-p_2)\ldots (z-p_n)f$ is bounded in ${\mathbb D}$ and g has the Taylor expansion

$$ \begin{align*} g(z)=z+ \bigg(-a_2+2\sum_{i=1}^{n}\bigg(\frac{1}{p_i}-p_i\bigg)\bigg)z^2+\cdots,\quad z\in {\mathbb D}_p. \end{align*} $$

We thus have $m_p(g)/(\prod _{i=1}^{n} p_i)=(\prod _{i=1}^{n} p_i)/M_p(f)$ . Therefore, we deduce that

$$ \begin{align*} \frac{1}{M_p(f)}&=\frac{m_p(g)}{\bigg(\prod_{i=1}^{n} p_i\bigg)^2}\\ &\leq \frac{1}{\prod_{i=1}^{n} p_i}\exp\bigg(-\frac{1}{2}p\bigg|-a_2+2\sum_{i=1}^{n}\bigg(\frac{1}{p_i}-p_i\bigg)+\sum_{i=1}^{n} \bigg(p_i-\frac{1}{p_i}\bigg)\bigg|\bigg)\\ &=\frac{1}{\prod_{i=1}^{n} p_i}\exp \bigg(-\frac{1}{2}p\bigg|a_2+\sum_{i=1}^{n}\bigg(p_i-\frac{1}{p_i}\bigg)\bigg|\bigg). \end{align*} $$

The above inequality follows by applying the first part of the theorem to the function g. Consequently, the second inequality of the theorem follows.

The bounds obtained in the theorem are best possible in the following sense. We consider the following functions in $\mathcal {F}$ :

$$ \begin{align*} f^{\pm}_{\alpha}(z)= \frac{z\prod_{i=1}^{n}p_i}{B(z)}\exp \bigg(\pm\frac{\alpha \psi(z)}{1+ \psi(z)} \bigg), \quad \alpha \geq 0, z\in {\mathbb D}, \end{align*} $$

where $\psi (z)=z(1-pz)/(p-z)$ . A little computation yields

$$ \begin{align*} f^{+}_{\alpha}(z) = z+ \bigg(\frac{\alpha}{p}+\sum_{i=1}^{n}\bigg(\frac{1}{p_i}-p_i\bigg)\bigg)z^2+\cdots,\quad z\in {\mathbb D}_p. \end{align*} $$

Here, $a_2={\alpha }/{p}+\sum _{i=1}^{n}({1}/{p_i}-p_i)$ , which in turn implies $p|a_2+\sum _{i=1}^{n}(p_i-{1}/{p_i})|=\alpha $ and

$$ \begin{align*} |f^{+}_{\alpha}(e^{i\phi})|= \bigg(\prod_{i=1}^{n}p_i\bigg)\exp ({ \alpha/2})=\bigg(\prod_{i=1}^{n}p_i\bigg)\exp \bigg(\frac{1}{2}p\bigg|a_2+\sum_{i=1}^{n}\bigg(p_i-\frac{1}{p_i}\bigg)\bigg|\bigg), \end{align*} $$

where $\phi \in (0, \pi )\cup (\pi , 2\pi )$ . Again for the function $f^{-}_{\alpha }$ , we have

$$ \begin{align*}f^{-}_{\alpha}(z) = z+ \bigg(-\frac{\alpha}{p}+\sum_{i=1}^{n}\bigg(\frac{1}{p_i}-p_i\bigg)\bigg)z^2+\cdots,\quad z\in {\mathbb D}_p, \end{align*} $$

which gives $a_2=-{\alpha }/{p}+\sum _{i=1}^{n}({1}/{p_i}-p_i)$ or equivalently $p|a_2+\sum _{i=1}^{n}(p_i-{1}/{p_i})|=\alpha $ and

$$ \begin{align*} |f^{-}_{\alpha}(e^{i\phi})|= \bigg(\prod_{i=1}^{n}p_i\bigg)\exp ({- \alpha/2})=\bigg(\prod_{i=1}^{n}p_i\bigg)\exp \bigg({-\frac{1}{2} p\bigg|a_2+\sum_{i=1}^{n}\bigg(p_i-\frac{1}{p_i}\bigg)\bigg|}\bigg), \end{align*} $$

where $\phi \in (0, \pi )\cup (\pi , 2\pi )$ . This shows that the estimates stated in the theorem are best possible and completes the proof of the theorem.

Remark 2.2. We note that Theorem 2.1 reduces to Theorem 1.2 when $n=1$ .

Footnotes

The first author of this article would like to thank SERB, India, for its financial support through Core Research Grant (Ref. No. CRG/2022/001835).

References

Avkhadiev, F. G. and Wirths, K.-J., ‘Convex holes produce lower bounds for coefficients’, Complex Var. 47(7) (2002), 553563.Google Scholar
Bhowmik, B., ‘On some results of A. E. Livingston and coefficient problems for concave univalent functions’, Arch. Math. (Basel) 95(6) (2010), 575581.CrossRefGoogle Scholar
Carathéodory, C., ‘Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen’, Math. Ann. 64(1) (1907), 95115.CrossRefGoogle Scholar
Lewin, M., ‘Bounds for functionals of a certain class of analytic functions’, Bull. Lond. Math. Soc. 3 (1971), 329330.CrossRefGoogle Scholar