1 Introduction

We denote by A the class of functions f which are analytic in the open unit disc E={z:|z|<1} and of the form

f(z)=z+ n = 2 a n z n .
(1.1)

Also let us denote by P k (ρ) the class of functions h with h(0)=1, which are analytic in E and satisfying

0 2 π |Re { h ( z ) ρ 1 ρ } |dθkπ,

where z=r e i θ , k2 and 0ρ<1. This class has been investigated by Padmanabhan and Parvatham [1]. For ρ=0, we obtain the class P k , introduced by Pinchuk [2] and for ρ=0, k=2, we obtain the class P of functions with a positive real part.

The class T k was first introduced and investigated by the second author [3] as a generalization of close-to-convexity. She studied its geometrical interpretation and various other interesting properties including the growth rate of coefficient differences and a radius of convexity problem. Recently, she [4] studied the class of analytic functions corresponding to strongly close-to-convex functions. She employed a modification to a method of Pommerenke [5] to investigate the growth rate of Hankel determinant problems regarding this class.

In this paper, we define a class of analytic functions related to strongly close-to-convex functions. We investigate different interesting properties including inclusion relations, arc length, the growth rate of coefficients and the growth rate of Hankel determinant by using a different method from that given in [4].

We now define the following classes of analytic functions.

Definition 1.1 Let fA be locally univalent in E. Then, for η0 (complex), 0ρ<1, f V k (η,ρ) if and only if

( 1 + 1 η z f ( z ) f ( z ) ) P k (ρ),zE.

We note that for η=1, we have the class V k (ρ) of bounded boundary rotations of order ρ introduced by Padmanabhan and Parvatham [1]. Also, V k (0)= V k , the class of functions of bounded boundary rotations and V 2 (η,0)=C(η) denotes the class of convex functions of complex order.

Definition 1.2 Let fA. Then f N ˜ k (η,ρ,β) if and only if, for k2, β0, there exists a function g V k (η,ρ) such that

|arg f ( z ) g ( z ) | β π 2 ,zE.

For η=1, we have the class T ˜ k (ρ,β) which was recently introduced and studied by Noor [4]. For k=2, η=1, ρ=0, N ˜ 2 (1,0,β) is the class of strongly close-to-convex functions. Also, N ˜ 2 (1,ρ,0)=C(ρ) is the class of convex functions of order ρ. For η=1, ρ=0, β=1, the class of N ˜ k (η,ρ,β) reduces to the class T k introduced by Noor [3].

We need the following results in our investigation.

Lemma 1.1 A function f V k (η,ρ) if and only if

  1. (i)

    f (z)= [ f 1 ( z ) ] ( 1 ρ ) η , f 1 (z) V k ,

  2. (ii)

    f (z)= [ f 2 ( z ) ] η , f 1 (z) V k (ρ),

  3. (iii)

    there exist two normalized starlike functions s 1 (z) and s 2 (z) such that

    (1.2)

The above lemma is a special case of the result discussed in [6].

Lemma 1.2 [7]

Let hP with z=r e i θ . Then

1 2 π 0 2 π |h(z) | 2 dθ 1 + 3 r 2 1 r 2 .

Lemma 1.3 [8]

Let f be univalent and 0r<1. Then there exists a number z 1 with | z 1 |=r, such that for all z, |z|=r, we have

|z z 1 ||f(z)| 2 r 2 1 r 2 .

2 Some properties of the class N ˜ k (η,ρ,β)

Following essentially the same method as given in [4], we can easily obtain the following result.

Theorem 2.1 The function f N ˜ k (η,ρ,β) if and only if

f (z)= ( f 1 ( z ) ) ( k 4 + 1 2 ) ( 1 ρ ) η ( f 2 ( z ) ) ( k 4 1 2 ) ( 1 ρ ) η ,

where f 1 and f 2 are strongly close-to-convex functions of order β.

Theorem 2.2 Let f N ˜ k (η,ρ,β) in E. Then f C η for |z|< r 0 , where

r 0 = 2 | η | [ ( 1 ρ ) | η | k + 2 β ] + [ ( 1 ρ ) | η | k + 2 β ] 2 4 ( 1 2 ρ ) | η | 2 .
(2.1)

This result is sharp.

Proof We can write

f (z)= g (z) h β (z),g(z) V k (η,ρ),h(z)P.

Using Lemma 1.1, we have

(2.2)

where s 1 and s 2 are starlike functions. Logarithmic differentiation of (2.2) gives us

z f ( z ) f ( z ) =(1ρ)η [ 1 + ( k 4 + 1 2 ) z s 1 ( z ) s 1 ( z ) ( k 4 1 2 ) z s 2 ( z ) s 2 ( z ) ] +β z h ( z ) h ( z ) ,

which implies that

1+ 1 η z f ( z ) f ( z ) =ρ+(1ρ) [ ( k 4 + 1 2 ) z s 1 ( z ) s 1 ( z ) ( k 4 1 2 ) z s 2 ( z ) s 2 ( z ) ] + β η z h ( z ) h ( z ) .

Now using distortion results for the class P, we have

Re ( 1 + 1 η z f ( z ) f ( z ) ) ρ + ( 1 ρ ) [ ( k 4 + 1 2 ) 1 r 1 + r ( k 4 1 2 ) 1 + r 1 r ] β | η | 2 r 1 r 2 = ρ | η | ( 1 r 2 ) + ( 1 ρ ) | η | [ 1 k r + r 2 ] 2 β r | η | ( 1 r 2 ) .
(2.3)

The right-hand side of (2.3) is positive for |z|< r 0 , where r 0 is given by (2.1). The sharpness can be viewed from the function f 0 N ˜ k (η,ρ,β), given by

f 0 (z)= ( 1 + z ) ( k 2 1 ) ( 1 ρ ) η + β ( 1 z ) ( k 2 + 1 ) ( 1 ρ ) η + β ,zE.
(2.4)

We note the following.

  1. (i)

    For η=1, we have the radius of convexity for the class T k ˜ (ρ,β) studied by Noor [4].

  2. (ii)

    For η=1, ρ=0, β=1, we have the radius of convexity for the class T k , proved by Noor [3].

  3. (iii)

    For η=1, ρ=0, β=1, k=2, we have the radius of convexity for close-to-convex functions which is well known.

 □

We now discuss the arc length problem and the growth rate of coefficients for the class N k ˜ (η,ρ,β).

Theorem 2.3 Let f N k ˜ (η,ρ,β), for Reη>0, β0, 0ρ<1 and ( k + 2 ) ( 1 ρ ) Re η 2 β >1. Then

L r (f)c(k,η,ρ,β) ( 1 1 r ) ( k 2 + 1 ) ( 1 ρ ) Re η + β 1 ,

where c(k,η,ρ,β) is a constant depending only on k, η, ρ, β. The exponent [( k 2 +1)(1ρ)Reη+β1] is sharp.

Proof We have

L r (f)= 0 2 π |z f (z)|dθ,z=r e i θ .

Using Definition 1.1, Lemma 1.1(iii) and the distortion theorem for starlike functions, we have

L r ( f ) = 0 2 π | z g ( z ) h β ( z ) | d θ , g ( z ) V k ( η , ρ ) , h ( z ) P = 0 2 π | z ( s 1 ( z ) / z ) ( k 4 + 1 2 ) ( 1 ρ ) η ( s 2 ( z ) / z ) ( k 4 1 2 ) ( 1 ρ ) η | | h β ( z ) | d θ = 0 2 π | z 1 η ( 1 ρ ) ( s 1 ( z ) ) ( k 4 + 1 2 ) ( 1 ρ ) η ( s 2 ( z ) ) ( k 4 1 2 ) ( 1 ρ ) η | | h β ( z ) | d θ 2 ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 0 2 π | s 1 ( z ) | ( k 4 + 1 2 ) ( 1 ρ ) Re η | h ( z ) | β d θ 2 ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 0 2 π ( | s 1 ( z ) | ( k 2 + 1 ) ( 1 ρ ) Re η 2 β ) 2 β 2 ( | h ( z ) | 2 ) β 2 d θ .

Using Holder’s inequality with p= 2 2 β , q= 2 β such that 1 p + 1 q =1, we obtain

L r ( f ) 2 ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 ( 1 2 π 0 2 π | s 1 ( z ) | ( k 2 + 1 ) ( 1 ρ ) Re η 2 β d θ ) 2 β 2 × ( 1 2 π 0 2 π | h ( z ) | 2 d θ ) β 2 .

Since ( k + 2 ) ( 1 ρ ) Re η 2 β >1, therefore using subordination for starlike functions and Lemma 1.2, we have

L r ( f ) 2 ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 ( 1 2 π 0 2 π | s 1 ( z ) | ( k 2 + 1 ) ( 1 ρ ) Re η 2 β d θ ) 2 β 2 ( 1 + 3 r 2 1 r 2 ) β 2 2 ( k 2 1 ) ( 1 ρ ) Re η + β 2 r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 ( 1 1 r ) β 2 ( 1 2 π 0 2 π r ( k 2 + 1 ) ( 1 ρ ) Re η 2 β | 1 + r e i θ | ( k + 2 ) ( 1 ρ ) Re η 2 β d θ ) 2 β 2 2 ( k 2 1 ) ( 1 ρ ) Re η + β 2 r ( k 4 + 1 2 ) ( 1 ρ ) Re η 1 ( k 2 + 1 ) ( 1 ρ ) Re η 2 β ( 1 1 r ) β 2 ( 1 2 π 0 2 π 1 | 1 + r e i θ | ( k + 2 ) ( 1 ρ ) Re η 2 β d θ ) 2 β 2 c ( k , η , ρ , β ) ( 1 1 r ) β 2 ( 1 1 r ) ( k 2 + 1 ) ( 1 ρ ) Re η + β 1 .

The function F 0 N k ˜ (η,ρ,β) defined by

F 0 (z)= G 0 (z) h 0 β (z),
(2.5)

where

G 0 (z)= ( 1 + z ) ( k 2 1 ) ( 1 ρ ) η ( 1 z ) ( k 2 + 1 ) ( 1 ρ ) η and h 0 (z)= 1 + z 1 z ,

shows that the exponent is sharp. □

By assigning different values to the parameters involved in the above theorem, we have the following interesting results.

Corollary 2.1 Let f T k ˜ (ρ,β). Then

L r (f)c(k,ρ,β) ( 1 1 r ) ( k 2 + 1 ) ( 1 ρ ) + β 1 .

Corollary 2.2 Let f T k . Then

L r (f)c(k,ρ,β) ( 1 1 r ) k 2 + 1 .

Coefficient growth problems The problem of growth rate and asymptotic behavior of coefficients is well known. In the upcoming results, we investigate these problems for a different set of classes by varying different parameters.

Theorem 2.4 Let f N k ˜ (η,ρ,β) and be of the form (1.1). Then, for n>3, k2, Reη>0, 0ρ<1, β0, we have

| a n |c(k,η,ρ,β) n ( k 2 + 1 ) ( 1 ρ ) Re η + β 2 ,

where c(k,η,ρ,β) is a constant depending only on k, η, ρ, β. The exponent [( k 2 +1)(1ρ)Reη+β2] is sharp.

Proof With z=r e i θ , Cauchy’s theorem gives us

n a n = 1 2 π r n 0 2 π |z f (z)|dθ= 1 2 π r n L r (f),z=r e i θ .

Using Theorem 2.3 and putting r=1 1 n , we obtain the required result. The sharpness follows from the function F 0 defined by the relation (2.5). □

Corollary 2.3 Let f T ˜ k (ρ,β) and be of the form (1.1). Then, for n>3, k2, we have

| a n |=O(1) n ( k 2 + 1 ) ( 1 ρ ) + β 2 .

For ρ=0, β=1 in the above corollary, we have the growth rate of coefficients problem for functions in this class T k and for k=2, ρ=0, β=1 gives us the growth rate of coefficient estimates for close-to-convex functions, which is well known.

3 Hankel determinant problem

The Hankel determinant of a function f of the form (1.1) is defined 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 |.
(3.1)

The growth rate of Hankel determinant H q (n) as n, when f is a member of any class of analytic functions, is well known. Pommerenke [9] proved that when f is an areally mean p-valent function, then for p1,

H q (n)=O(1) n s q q 2 as n

and s=16 p 3 / 2 and where O(1) depends on p, q, and the function f. In particular, this shows that H q (n)0 as n for large q relative to p. In fact, for p=1, q=2

H 2 (n)=O(1) n 1 2 as n.

The exponent 1 2 is exact.

Noonan and Thomas [10] gave the exact growth rate of H q (n) for large p relative to q, and they proved that

H q (n)=O(1){ n 2 p 1 , q = 1 , p > 1 4 , n 2 p q q 2 , q 2 , p 2 ( q 1 ) ,

where O(1) depends upon p, q only and the exponent 2pq q 2 is best possible. Also, for univalent functions, Pommerenke [5] has proved that for q2,

H q (n)<c(q) n ( 1 2 + β ) q + 3 2 (n),

where β> 1 4000 , which in particular shows that

H 2 (n)<c n 1 2 2 β .

Pommerenke [9] has shown that if f is starlike, then for q1,

H q (n)=O(1) n 2 q (n),

where O(1) depends upon q only and the exponent 2q is best possible. Noor [11] generalized this result for close-to-convex functions. We also refer to [4, 1214].

Also, for f V k , it is shown [15] that for q1, n,

H q (n)=O(1){ n k 2 1 , q = 1 , n k q 2 q 2 , q 2 , k 8 q 10 ,

where O(1) depends upon p, q and f only. The exponent k q 2 q 2 is best possible.

Following the notation of Noonan and Thomas [10], we define the following.

Definition 3.1 Let z 1 be a non-zero complex number. Then for f(z), given by (1.1), we define

Δ j ( n , z 1 , f ( z ) ) = Δ j 1 ( n , z 1 , f ( z ) ) z 1 Δ j 1 ( n + 1 , z 1 , f ( z ) ) ,j1

with Δ 1 (n, z 1 ,f(z))= a n .

The following two lemmas are due to Noonan and Thomas [10] which are essential in our investigations.

Lemma 3.1 Let fA and let the Hankel determinant of f be defined by (3.1). Then, writing Δ j = Δ j (n, z 1 ,f), we have

H q (n)=| Δ 2 q 2 ( n ) Δ 2 q 3 ( n + 1 ) Δ q 1 ( n + q 1 ) Δ 2 q 3 ( n + 1 ) Δ 2 q 4 ( n + 2 ) Δ q 2 ( n + q ) Δ q 1 ( n + q 1 ) Δ q 2 ( n + q ) Δ 0 ( n + 2 q 2 ) |.
(3.2)

Lemma 3.2 With z 1 = n n + 1 y and v0 any integer,

Δ j ( n + v , z 1 , z f ) = l = 0 j ( j l ) y l ( v ( l 1 ) n ) ( n + 1 ) l Δ j l (n+v+l,y,f).

We also need the following remark given in [10].

Remark 3.1 Consider any determinant of the form

D=| y 2 q 2 y 2 q 3 y q 1 y 2 q 3 y 2 q 4 y q 2 y q 1 y q 2 y 0 |,

with 1i, jq and α i , j = y 2 q ( i + j ) , D=det( α i , j ). Thus,

D= v 1 S q (sgn v 1 ) j = 1 q y 2 q ( v 1 ( j ) + j ) ,

where S q is the symmetric group on q elements, and sgn v 1 is either +1 or −1. Thus, in the expansion of D, each summand has q factors, and the sum of the subscripts of the factors of each summand is q 2 q.

Now, let n be given and H q (n) be as in Lemma 3.1, then each summand in the expansion of H q (n) is of the form

i = 1 q Δ v 1 ( i ) ( n + 2 q 2 v 1 ( i ) ) ,

where v 1 S q and

i = 1 q v 1 (i)= q 2 q;0 v 1 (i)2q2.

We now prove the following.

Theorem 3.1 Let f N ˜ k (η,ρ,β) and let the Hankel determinant of f, for q2, n1, be defined by (3.1). Then, for q2 and k>4 ( q 1 ) ( 1 ρ ) Re η 2, we have

H q (n)=O(1) n [ ( k 2 + 1 ) ( 1 ρ ) Re η ] q q 2 ( n + 1 ) q ,

where O(1) depends only on k, η, ρ, β and q.

Proof Since f N ˜ k (η,ρ,β), there exists g V k (η,ρ) such that

f (z)=g(z) h β (z)P,zE.

Now, for j1, z 1 any non-zero complex number and z=r e i θ , we consider for F(z)=z f (z),

where we have used Lemma 1.1(iii). Using Lemma 1.3, we have

| Δ j (n, z 1 ,F)| 1 2 π r n + j ( 2 r 2 1 r 2 ) j 0 2 π | s 1 ( z ) | ( k 4 + 1 2 ) ( 1 ρ ) Re η j | s 2 ( z ) | ( k 4 1 2 ) ( 1 ρ ) Re η |h(z) | β dθ.
(3.3)

By employing distortion results for starlike functions and simplifying, we obtain, from (3.3),

| Δ j (n, z 1 ,F)| 1 2 π ( 2 ) ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 1 2 ) ( 1 ρ ) Re η + n j 1 ( 1 1 r ) j 0 2 π | s 1 (z) | ( k 4 + 1 2 ) ( 1 ρ ) Re η j |h(z) | β dθ.

Using Holder’s inequality, with p= 2 2 β , q= 2 β , such that 1 p + 1 q =1, we can write

| Δ j ( n , z 1 , F ) | ( 2 ) ( k 2 1 ) ( 1 ρ ) Re η r ( k 4 1 2 ) ( 1 ρ ) Re η + n j 1 ( 1 1 r ) j ( 1 2 π 0 2 π | s 1 ( z ) | ( k 2 + 1 ) ( 1 ρ ) Re η 2 j 2 β ) 2 β 2 × ( 1 2 π 0 2 π | h ( z ) | 2 d θ ) β 2 .

Proceeding in a similar way as in Theorem 2.3, we have

| Δ j ( n , z 1 , F ) | ( 2 ) ( k 2 1 ) ( 1 ρ ) Re η + β 2 r n 1 ( 1 1 r ) β 2 + j × ( 1 2 π 0 2 π 1 | 1 r e i θ | ( k + 2 ) ( 1 ρ ) Re η 4 j 2 β d θ ) 2 β 2 .

Subordination for starlike functions further yields

| Δ j (n, z 1 ,F)|=O(1) ( 1 1 r ) ( k 2 + 1 ) ( 1 ρ ) Re η j + β 1 ,

where O(1) depends only on k, η, β and j.

Now, applying Lemma 3.2 and putting z 1 = n n + 1 e i θ m (n), we have for k( 4 j ( 1 ρ ) Re η 2), j1,

Δ j ( n , e i θ n , f ( z ) ) =O(1) n ( k 2 + 1 ) ( 1 ρ ) Re η j + β 1 .

We now estimate the growth rate of H q (n). For q=1, H q (n)= a n = Δ 0 (n) and from Theorem 2.4, it follows that

H 1 (n)=O(1) n ( k 2 + 1 ) ( 1 ρ ) Re η + β 2 .

For q2, we use Remark 3.1 together with Lemma 3.1, to have

H q (n)=O(1) n q [ ( k 2 + 1 ) ( 1 ρ ) Re η + β ] q 2 ,k> ( 4 ( q 1 ) ( 1 ρ ) Re η 2 ) ,

where O(1) depends only on k, η, ρ, β and q. □

By giving special values to the parameters involved in the above theorem, we obtain the following interesting results.

Corollary 3.1 Let f T ˜ k (ρ,β) and be defined as in (1.1). Then, for q2, k>( 4 ( q 1 ) 1 ρ 2),

H q (n)=O(1) n q [ ( k 2 + 1 ) ( 1 ρ ) + β ] q 2 (n),

where O(1) depends only on k, ρ, β and q.

Noor [4] studied the above corollary with a different method.

Corollary 3.2 Let f T k and be defined as in (1.1). Then, for q2, k>(4q6),

H q (n)=O(1) n q [ ( k 2 + 2 ] q 2 (n),

where O(1) depends only on k and q.