# Upper bound of the third Hankel determinant for a class of analytic functions related with lemniscate of Bernoulli

- Mohsan Raza
^{1}Email author and - Sarfraz Nawaz Malik
^{2}

**2013**:412

**DOI: **10.1186/1029-242X-2013-412

© Raza and Malik; licensee Springer 2013

**Received: **15 February 2013

**Accepted: **8 August 2013

**Published: **28 August 2013

## Abstract

In this paper, the upper bound of the Hankel determinant ${H}_{3}(1)$ for a subclass of analytic functions associated with right half of the lemniscate of Bernoulli ${({x}^{2}+{y}^{2})}^{2}-2({x}^{2}-{y}^{2})=0$ is investigated.

**MSC:**30C45, 30C50.

### Keywords

starlike functions subordination lemniscate of Bernoulli Toeplitz determinants Hankel determinants## 1 Introduction and preliminaries

*A*be the class of functions

*f*of the form

which are analytic in the open unit disk $E=\{z:|z|<1\}$. A function *f* is said to be subordinate to a function *g*, written as $f\prec g$, if there exists a Schwartz function *w* with $w(0)=0$ and $|w(z)|<1$ such that $f(z)=g(w(z))$. In particular, if *g* is univalent in *E*, then $f(0)=g(0)$ and $f(E)\subset g(E)$.

*P*denote the class of analytic functions

*p*normalized by

This class of functions was introduced by Sokół and Stankiewicz [1] and further investigated by some authors. For details, see [2, 3].

*q*th Hankel determinant defined as

where $n\ge 1$ and $q\ge 1$. The Hankel determinant plays an important role in the study of singularities; for instance, see [[5], p.329] and Edrei [6]. This is also important in the study of power series with integral coefficients [[5], p.323] and Cantor [7]. For the use of the Hankel determinant in the study of meromorphic functions, see [8], and various properties of these determinants can be found in [[9], Chapter 4]. It is well known that the Fekete-Szegö functional $|{a}_{3}-{a}_{2}^{2}|={H}_{2}(1)$. This functional is further generalized as $|{a}_{3}-\mu {a}_{2}^{2}|$ for some *μ* (real as well as complex). Fekete and Szegö gave sharp estimates of $|{a}_{3}-\mu {a}_{2}^{2}|$ for *μ* real and $f\in S$, the class of univalent functions. It is a very great combination of the two coefficients which describes the area problems posted earlier by Gronwall in 1914-15. Moreover, we also know that the functional $|{a}_{2}{a}_{4}-{a}_{3}^{2}|$ is equivalent to ${H}_{2}(2)$. The *q* th Hankel determinant for some subclasses of analytic functions was recently studied by Arif *et al.* [10] and Arif *et al.* [11]. The functional $|{a}_{2}{a}_{4}-{a}_{3}^{2}|$ has been studied by many authors, see [12–14]. Babalola [15] studied the Hankel determinant ${H}_{3}(1)$ for some subclasses of analytic functions. In the present investigation, we determine the upper bounds of the Hankel determinant ${H}_{3}(1)$ for a subclass of analytic functions related with lemniscate of Bernoulli by using Toeplitz determinants.

We need the following lemmas which will be used in our main results.

**Lemma 1.1** [16]

*Let*$p\in P$

*and of the form*(1.2).

*Then*

*When*$v<0$

*or*$v>1$,

*the equality holds if and only if*$p(z)$

*is*$\frac{1+z}{1-z}$

*or one of its rotations*.

*If*$0<v<1$,

*then the equality holds if and only if*$p(z)=\frac{1+{z}^{2}}{1-{z}^{2}}$

*or one of its rotations*.

*If*$v=0$,

*the equality holds if and only if*$p(z)=(\frac{1}{2}+\frac{\eta}{2})\frac{1+z}{1-z}+(\frac{1}{2}-\frac{\eta}{2})\frac{1-z}{1+z}$ ($0\le \eta \le 1$)

*or one of its rotations*.

*If*$v=1$,

*the equality holds if and only if*

*p*

*is the reciprocal of one of the functions such that the equality holds in the case of*$v=0$.

*Although the above upper bound is sharp*,

*when*$0<v<1$,

*it can improved as follows*:

*and*

**Lemma 1.2** [16]

*If*$p(z)=1+{p}_{1}z+{p}_{2}{z}^{2}+\cdots $

*is a function with positive real part in*

*E*,

*then for*

*v*

*a complex number*

*This result is sharp for the functions*

**Lemma 1.3** [17]

*Let*$p\in P$

*and of the form*(1.2).

*Then*

*for some*

*x*, $|x|\le 1$,

*and*

*for some* *z*, $|z|\le 1$.

## 2 Main results

Although we have discussed the Hankel determinant problem in the paper, the first two problems are specifically related with the Fekete-Szegö functional, which is a special case of the Hankel determinant.

**Theorem 2.1**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then*

*Furthermore*,

*for*$-\frac{3}{4}<\mu \le \frac{1}{4}$,

*and for*$\frac{1}{4}<\mu \le \frac{5}{4}$,

*These results are sharp*.

*Proof*If $f\in {\mathit{SL}}^{\ast}$, then it follows from (1.3) that

Now, using Lemma 1.1, we have the required result. □

where $\mathrm{\Phi}(z)=\frac{z(z+\eta )}{1+\eta z}$ with $0\le \eta \le 1$.

**Theorem 2.2**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then for a complex number*

*μ*,

*Proof*Since

□

For $\mu =1$, we have ${H}_{2}(1)$.

**Corollary 2.3**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then*

**Theorem 2.4**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then*

*Proof*From (2.2), (2.3) and (2.4), we obtain

*ρ*, we obtain

*ρ*, we have

□

**Theorem 2.5**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then*

*Proof*Since

*ρ*, we get

*ρ*, which contradicts our assumption; therefore, $max{F}_{1}(p,\rho )={F}_{1}(p,0)={G}_{1}(p)$. This implies that

for $p=0$. Therefore $p=0$ is a point of maximum. Hence, we get the required result. □

**Lemma 2.6**

*If the function*$f(z)=\stackrel{\mathrm{\infty}}{\sum _{n=1}}{a}_{n}{z}^{n}$

*belongs to the class*${\mathit{SL}}^{\ast}$,

*then*

*These estimations are sharp*. *The first three bounds were obtained by Sokół* [3]*and the bound for* $|{a}_{5}|$ *can be obtained in a similar way*.

**Theorem 2.7**

*Let*$f\in {\mathit{SL}}^{\ast}$

*and of the form*(1.1).

*Then*

*Proof*Since

□

## Declarations

### Acknowledgements

The authors would like to thank the referees for helpful comments and suggestions which improved the presentation of the paper.

## Authors’ Affiliations

## References

- Sokół J, Stankiewicz J: Radius of convexity of some subclasses of strongly starlike functions.
*Zesz. Nauk. Politech. Rzeszowskiej Mat.*1996, 19: 101–105.MathSciNetMATH - Ali RM, Cho NE, Ravichandran V, Kumar SS: Differential subordination for functions associated with the lemniscate of Bernoulli.
*Taiwan. J. Math.*2012, 16(3):1017–1026.MathSciNetMATH - Sokół J: Coefficient estimates in a class of strongly starlike functions.
*Kyungpook Math. J.*2009, 49(2):349–353. 10.5666/KMJ.2009.49.2.349MathSciNetView ArticleMATH - Noonan JW, Thomas DK: On the second Hankel determinant of areally mean
*p*-valent functions.*Trans. Am. Math. Soc.*1976, 223(2):337–346.MathSciNetMATH - Dienes P:
*The Taylor Series*. Dover, New York; 1957.MATH - Edrei A: Sur les déterminants récurrents et les singularités d’une fonction donée por son développement de Taylor.
*Compos. Math.*1940, 7: 20–88.MathSciNetMATH - Cantor DG: Power series with integral coefficients.
*Bull. Am. Math. Soc.*1963, 69: 362–366. 10.1090/S0002-9904-1963-10923-4MathSciNetView ArticleMATH - Wilson R: Determinantal criteria for meromorphic functions.
*Proc. Lond. Math. Soc.*1954, 4: 357–374.View ArticleMathSciNetMATH - Vein R, Dale P Applied Mathematical Sciences 134. In
*Determinants and Their Applications in Mathematical Physics*. Springer, New York; 1999. - Arif M, Noor KI, Raza M: Hankel determinant problem of a subclass of analytic functions.
*J. Inequal. Appl.*2012. 10.1186/1029-242X-2012-22 - Arif M, Noor KI, Raza M, Haq SW: Some properties of a generalized class of analytic functions related with Janowski functions.
*Abstr. Appl. Anal.*2012., 2012: Article ID 279843 - Bansal D: Upper bound of second Hankel determinant for a new class of analytic functions.
*Appl. Math. Lett.*2013, 26(1):103–107. 10.1016/j.aml.2012.04.002MathSciNetView ArticleMATH - Janteng A, Halim SA, Darus M: Coefficient inequality for a function whose derivative has a positive real part.
*J. Inequal. Pure Appl. Math.*2006., 7(2): Article ID 50 - Janteng A, Halim SA, Darus M: Hankel determinant for starlike and convex functions.
*Int. J. Math. Anal.*2007, 1(13):619–625.MathSciNetMATH - Babalola KO:On ${H}_{3}(1)$ Hankel determinant for some classes of univalent functions.
*Inequal. Theory Appl.*2007, 6: 1–7. - Ma WC, Minda D: A unified treatment of some special classes of univalent functions. In
*Proceedings of the Conference on Complex Analysis*. Edited by: Li Z, Ren F, Yang L, Zhang S. Int. Press, Cambridge; 1994:157–169. - Grenander U, Szegö G:
*Toeplitz Forms and Their Applications*. University of California Press, Berkeley; 1958.MATH

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.