The Fekete Szegö Functional and Second Hankel Determinant for a Certain Sublass of Analytic Functions

Abstract

Let S denote the class of functions that are analytic, normalized and univalent in the open unit disk E = {z: |z| <1}. Subclasses of S are the class of starlike and convex functions denoted by S* and C respectively. A new subclass of analytic functions that generalize some known subclasses of analytic functions was defined and investigated. We obtained coefficient bounds, upper estimates for the Fekete-Szegö functional and the Hankel determinant.

Share and Cite:

Ayinla, R. and Opoola, T. (2019) The Fekete Szegö Functional and Second Hankel Determinant for a Certain Sublass of Analytic Functions. Applied Mathematics, 10, 1071-1078. doi: 10.4236/am.2019.1012074.

1. Introduction

Let A denote the class of functions

f ( z ) = z + a 2 z 2 + a 3 z 3 + a 4 z 4 + (1.1)

which are analytic in the open unit disk U = { z : | z | < 1 } and satisfy the condition f ( 0 ) = 0 and f ( 0 ) = 1 .

Let S denote the subclass of A consisting of univalent in U. A function f ( z ) S is said to be starlike in the unit disk if and only if

R e z f ( z ) f ( z ) > 0, z U (1.2)

Also, a function f ( z ) S is said to be convex in the unit disk if and only if

R e ( 1 + z f ( z ) f ( z ) ) > 0, z U (1.3)

Let D n : A A be defined by

D 0 f ( z ) = f (z)

D 1 f ( z ) = z f (z)

D n f ( z ) = z [ D n 1 f ( z ) ]

which is equivalent to

D n f ( z ) = z + k = 2 k n a k z k , ( n = { 0 , 1 , 2 , } ) , z U

D n is the Salagean differential operator [1].

Fekete and Szegö [2] studied the estimate of a functional | a 3 σ a 2 2 | known as Fekete-Szegö functional, where σ is real. Also, Noonan and Thomas [3] defined the qth Hankel determinant of f ( z ) for q 1, n 0 by

H q ( n ) = | a n a n + 1 a n + q 1 a n + 1 a n + 2 a n + q a n + q 1 a n + q a n + 2 q 2 | ( a 1 = 1 for f ( z ) S )

This determinant has been considered for specific values q and n by many authors. It is well established that the Fekete-Szegö functional given by | a 3 a 2 2 | = H 2 ( 1 ) . Pommerenke [4] investigated the Hankel determinant of areally mean p-valent functions, univalent functions as well as starlike functions. Noor [5] investigated the Hankel determinant problem for the class of functions with bounded boundary rotation. Janteng et al. [6] studied the sharp upper bound for second Hankel determinant H 2 ( 2 ) = | a 2 a 4 a 3 2 | for univalent functions whose derivative has positive real parts. Also, Lee et al. [7] obtained bounds on second Hankel determinants belonging to the subclasses of Ma-Minda starlike and convex functions. Bansal [8] has obtained bounds on H 2 ( 2 ) for a new class of analytic functions.

In this paper, we obtained the coefficient bound, Fekete-Szegö functional and second Hankel determinant for the functions belonging to the subclass C n ( β , γ ) .

Definition 1.1. A function f ( z ) of the form (1.1) analytic and univalent in U is said to be in the C n ( β , γ ) , β [ 0 , 1 ] , γ ( π 2 , π 2 ) and n 0 if it satisfies the inequality

R e { e i γ ( 1 e 2 i γ β 2 z 2 ) D n + 1 f ( z ) z } > 0, z U . (1.4)

Remark 1

(1) For n = 0 , β = 0 the class C 0 ( 0, γ ) gives

R e { e i γ f ( z ) } > 0, z U (1.5)

studied in [9].

(2) For n = 0 , γ = 0 gives

R e { ( 1 β 2 z 2 ) f ( z ) } > 0, z U . (1.6)

investigated by [10].

For n = 0 , the class gives

R e { e i γ ( 1 e 2 i γ β 2 z 2 ) f ( z ) } > 0, z U . (1.7)

studied in [11].

2. Preliminary Lemmas

We need the following lemmas to prove our results.

Let P denote the class of Caratheodory functions.

p ( z ) = 1 + c 1 z + c 2 z 2 + c 3 z 3 + ( z U )

which are analytic and satisfy p ( 0 ) = 1 and p ( z ) > 0

Lemma 2.1. Let p P . Then

| c k | 2 ( k ) [12] (2.1)

Lemma 2.2. Let p P , then for any real λ

| c 2 λ c 1 2 2 | { 2 ( 1 λ ) if λ 0 2 if 0 λ 2 2 ( λ 1 ) if λ 2 [13] (2.2)

Lemma 2.3. Let p P then

2 c 2 = c 1 2 + x ( 4 c 1 2 ) (2.3)

4 c 3 = c 1 3 + 2 c 1 ( 4 c 1 2 ) x c 1 ( 4 c 1 2 ) x 2 + 2 ( 4 c 1 2 ) ( 1 | x | 2 ) z (2.4)

for some value of x , z , such that | x | 1 and | z | 1 [14].

3. Main Results

Theorem 3.1. Let f ( z ) C n ( β , γ ) , β [ 0,1 ] , γ ( π 2 , π 2 ) and n 0 .

Then

| a 2 | cos γ 2 n

| a 3 | 2 cos γ + β 2 3 n + 1

Proof:

Let f ( z ) C n ( β , γ ) , then by [1.4]

R e e i γ [ ( 1 e 2 i γ β 2 z 2 ) D n + 1 f ( z ) z ] > 0, γ ( π 2 , π 2 ) , 0 β 1, n 0 , z U

Now,

e i γ [ ( 1 e 2 i γ β 2 z 2 ) D n + 1 f ( z ) z ] = e i γ + q 1 z + q 2 z 2 + = ( cos γ + i sin γ ) + n = 1 q n z n (3.1)

Then

q ( z ) = cos γ + i sin γ + n = 1 q n z n , z U , n

e i γ [ ( 1 e 2 i γ β 2 z 2 ) D n + 1 f ( z ) z ] = p ( z ) cos γ + i sin γ (3.2)

that is

cos γ + c 1 cos γ z + c 2 cos γ z 2 + c 3 cos γ z 3 + = cos γ + q 1 z + q 2 z 2 + q 3 z 3 + (3.3)

Comparing coefficients of (3.1) and (3.3) gives

a 2 = c 1 e i γ cos γ 2 n + 1 (3.4)

a 3 = c 2 e i γ cos γ + β 2 e 2 i γ 3 n + 1 (3.5)

a 4 = c 3 e i γ cos γ + c 1 β 2 e 3 i γ cos γ 4 n + 1 (3.6)

Solving for the bounds of (3.4), (3.5), (3.6) and using lemma 2.1 give

| a 2 | cos γ 2 n (3.7)

| a 3 | 2 cos γ + β 2 3 n + 1 (3.8)

| a 4 | 2 cos γ + 2 β 2 cos γ 4 n + 1 (3.9)

Remark 2

For n = 0

| a 2 | cos γ

| a 3 | 2 cos γ + β 2 3

Theorem 3.2. Let f ( z ) C n ( β , γ ) , then for any real number μ

| a 3 μ a 2 2 | { β 2 + 2 cos γ 3 n + 1 μ e i γ cos 2 γ 2 2 n if μ 0 β 2 + 2 cos γ 3 n + 1 if 0 μ 2 2 n + 2 3 n + 1 e i γ cos γ β 2 2 cos γ 3 n + 1 + μ e i γ cos 2 γ 2 2 n if μ 2 2 n + 2 3 n + 1 e i γ cos γ

Proof:

Using (3.4) and (3.5) give

| a 3 μ a 2 2 | = | c 2 e i γ cos γ 3 n + 1 + β 2 e 2 i γ 3 n + 1 μ c 1 2 e 2 i γ cos 2 γ 2 2 n + 2 | β 2 3 n + 1 + cos γ 3 n + 1 | c 2 3 n + 1 μ e i γ cos γ 2 2 n + 1 c 1 2 2 | (3.10)

then using lemma (2.2) in (3.10) gives

| a 3 μ a 2 2 | β 2 + 2 cos γ 3 n + 1 μ e i γ cos 2 γ 2 2 n (3.11)

Let

0 3 n + 1 μ e i γ cos γ 2 2 n + 1 2

then by lemma 2.2 we obtain

| a 3 μ a 2 2 | β 2 + 2 cos γ 3 n + 1 (3.12)

suppose

3 n + 1 μ e i γ 2 2 n + 1 2

then using lemma 2.2 gives

| a 3 μ a 2 2 | β 2 2 cos γ 3 n + 1 + μ e i γ cos 2 γ 2 2 n (3.13)

Theorem 3.3 Let f ( z ) C n ( β , γ ) , β [ 0,1 ] , γ ( π 2 , π 2 ) and n 0

then

H 2 ( 2 ) = | a 2 a 4 a 3 2 | β 4 + 4 β 2 cos γ + 4 cos 2 γ 3 2 n + 2 + ( β 4 + 6 β 2 + 9 ) cos γ 2 3 n + 4

Proof:

Using (3.4), (3.5) and (3.6) give

| a 2 a 4 a 3 2 | = | c 1 e i γ cos γ 2 n + 1 ( c 3 e i γ cos γ + β 2 c 1 e 3 i γ cos γ 4 n + 1 ) ( c 2 e i γ cos γ + β 2 e 2 i γ 3 n + 1 ) 2 | (3.14)

| a 2 a 4 a 3 2 | = | c 1 4 e 2 i γ cos 2 γ 2 3 n + 5 + c 1 2 ( 4 c 1 2 ) e 2 i γ x cos 2 γ 2 3 n + 4 c 1 2 ( 4 c 1 2 ) e 2 i γ x 2 cos 2 γ 2 3 n + 5 + c 1 ( 4 c 1 2 ) ( 1 | x | 2 ) e 2 i γ cos 2 γ z 2 3 n + 4 + c 1 2 β 2 e 4 i γ cos 2 γ 2 3 n + 3 c 1 4 e 2 i γ cos 2 γ 2 2 3 2 ( n + 1 ) x ( 4 c 1 2 ) c 1 2 e 2 i γ cos 2 γ 2 3 2 n + 2 c 1 2 α 2 e 3 i γ cos γ 3 2 n + 2 x 2 ( 4 c 1 2 ) 2 e 2 i γ cos 2 γ 2 2 3 2 n + 2 β 2 x ( 4 c 1 2 ) e 3 i γ cos γ 3 2 n + 2 β 4 e 4 i γ 3 2 n + 2 | (3.15)

Suppose c 1 = c , and recall that | c 1 | 2 , and assuming without restriction that c [ 0,2 ] . Then, using triangle inequality

(3.15) becomes

| a 2 a 4 a 3 2 | c 4 cos 2 γ 2 3 n + 5 + c 2 ( 4 c 2 ) | x | cos 2 γ 2 3 n + 4 + c 2 ( 4 c 2 ) | x | 2 cos 2 γ 2 3 n + 5 + c ( 4 c 2 ) ( 1 | x | 2 ) cos 2 γ 2 3 n + 4 + c 2 β 2 cos 2 γ 2 3 n + 3 + c 4 cos 2 γ 2 2 3 2 n + 2 + | x | ( 4 c 2 ) c 2 cos 2 γ 2 3 2 n + 2 + | x | 2 ( 4 c 2 ) 2 cos 2 γ 2 2 3 2 n + 2 + c 2 β 2 cos γ 3 2 n + 2 + β 2 | x | ( 4 c 2 ) cos γ 3 2 n + 2 + β 4 3 2 n + 2 (3.16)

Now, putting ψ = | x | 1 then

| a 2 a 4 a 3 2 | { c 4 cos 2 γ 2 3 n + 5 + c ( 4 c 2 ) cos 2 γ 2 3 n + 4 + c 2 β 2 cos 2 γ 2 3 n + 3 + c 4 cos 2 γ 2 2 3 2 n + 2 + c 2 β 2 cos γ 3 2 n + 2 + β 4 3 2 n + 2 } + { c 2 ( 4 c 2 ) cos 2 γ 2 3 n + 4 + ( 4 c 2 ) c 2 cos 2 γ 2 3 2 n + 2 + β 2 ( 4 c 2 ) cos γ 3 2 n + 2 } ψ + { c 2 ( 4 c 2 ) cos 2 γ 2 3 n + 5 c ( 4 c 2 ) cos 2 γ 2 3 n + 4 + ( 4 c 2 ) 2 cos 2 γ 2 2 3 2 n + 2 } ψ 2 = F ( c , ψ ) (3.17)

Differentiating F ( c , ψ ) partially with respect to ψ in the closed interval 0 ψ 1

F ( c , ψ ) ψ = { c 2 ( 4 c 2 ) cos 2 γ 2 3 n + 4 + ( 4 c 2 ) c 2 cos 2 γ 2 3 2 n + 2 + β 2 ( 4 c 2 ) cos γ 3 2 n + 2 } + { c 2 ( 4 c 2 ) cos 2 γ 2 3 n + 5 c ( 4 c 2 ) cos 2 γ 2 3 n + 4 + ( 4 c 2 ) 2 cos 2 γ 2 2 3 2 n + 2 } ψ > 0 (3.18)

for 0 ψ 1 , therefore is an increasing function. Hence, it attains maximum point at. Thus,

(3.19)

Now, the critical points occur at

but the maximum point occurring at [3.19] becomes

(3.20)

Therefore,

(3.21)

4. Conclusion

A subclass of analytic functions which generalize some well known subclasses of analytic and univalent functions was defined. The initial coefficients upper bounds, upper estimates for the Fekete-Szegö functional and the second Hankel determinants for the class were obtained. The study unifies existing results and obtains new results in geometric function theory. Future researches can be done to obtain the geometric properties by using Chebyshev polynomials.

Acknowledgements

The authors wish to thank the referees for their valuable suggestions that lead to improvement of the quality of the work in this paper.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Salagean, S. (1983) Subclasses of Univalent Functions. In: Cazacu, C.A., Boboc, N., Jurchescu, M. and Suciu, I., Eds., Lecture Notes in Mathematics, Vol. 1013, Springer, Berlin, 362-372.
https://doi.org/10.1007/BFb0066543
[2] Fekete, M. and Szego, G. (1933) Eine Bemerkung über Ungerade Schlichte Funktionen. Journal of London Mathematical Society, 8, 85-89.
https://doi.org/10.1112/jlms/s1-8.2.85
[3] Noonan, J.W. and Thomas, D.K. (1976) On the Second Hankel Determinant of Areally Mean p-Valent Functions. Transactions of the American Mathematical Society, 223, 337-346.
https://doi.org/10.2307/1997533
[4] Pommerenke, C. (1966) On the Coefficients and Hankel Determinant of Univalent Functions. Journal of London Mathematical Society, 41, 111-112.
https://doi.org/10.1112/jlms/s1-41.1.111
[5] Noor, K.I. (1983) Hankel Determinant Problem for the Class of Functions with Bounded Boundary Rotation. Revue Roumaine de Mathématique Pures et Appliquées, 28, 731-739.
[6] Janteng, A., Abdulhalim, S. and Darus, M. (2007) Hankel Determinant for Starlike and Convex Functions. International Journal of Mathematical Analysis, 1, 619-625.
[7] Lee, S.K., Ravichandran, V. and Supramaniam, S. (2013) Bounds for the Second Hankel Determinant of Certain Univalent Functions. Journal of Inequalities and Applications, 2013, Article No. 281.
https://doi.org/10.1186/1029-242X-2013-281
[8] Bansal, D. (2013) Upper Bound of Second Hankel Determinant for a New Class of Analytic Functions. Application of Mathematics Letters, 26, 103-107.
https://doi.org/10.1016/j.aml.2012.04.002
[9] Noshiro, K. (1935) On the theory of schlicht functions. Journal of Faculty of Science, Hokkaido Imperial University. Series I. Mathematics, 2, 129-155.
https://doi.org/10.14492/hokmj/1531209828
[10] Lecko, A and Kanas, S. (1990) On the Fekete-Szego Problem and the Domain of Convexity for a Certain Class of Univalent Functions. Folia Scientiarum Universitatis Technical Resolviensis, 73, 49-56.
[11] Lecko, A. (1993) Some Generalizations of Analytic Condition for Class of Convex in a Given Direction. Folia Scientiarum Universitatis Technical Resolviensis, 121, 23-24.
[12] Duren, P.L. (1983) Univalent Functions. Graduate Texts in Mathematics. Springer-Verlag. New York Inc., New York.
[13] Babalola, K.O. and Opoola, T.O. (2006) On the Coefficients of Certain Analytic and Univalent Functions. Advances in Inequalities for Series. Nova Science Publishers, 5-17.
[14] Libera, R.J. and Zlotkiewicz, E.J. (1983) Coefficient Bounds for the Inverse of a Function with Derivative. Proceedings of American Mathematical Society, 87, 251-257.
https://doi.org/10.2307/2043698

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.