Next Article in Journal
Optimizing the High-Level Maintenance Planning Problem of the Electric Multiple Unit Train Using a Modified Particle Swarm Optimization Algorithm
Next Article in Special Issue
Symmetric Identities for (P,Q)-Analogue of Tangent Zeta Function
Previous Article in Journal
Skin Lesion Segmentation Method for Dermoscopy Images Using Artificial Bee Colony Algorithm
Previous Article in Special Issue
On the Convolution Quadrature Rule for Integral Transforms with Oscillatory Bessel Kernels
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Sharp Bounds on the Higher Order Schwarzian Derivatives for Janowski Classes

1
Department of Applied Mathematics, Pukyong National University, Busan 48513, Korea
2
Department of Mathematics, Ramanujan college, University of Delhi, H-Block, Kalkaji, New Delhi 110019, India
3
Department of Mathematics, National Institute of Technology, Tiruchirappalli, Tamil Nadu 620015, India
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(8), 348; https://doi.org/10.3390/sym10080348
Submission received: 25 July 2018 / Revised: 10 August 2018 / Accepted: 14 August 2018 / Published: 18 August 2018
(This article belongs to the Special Issue Integral Transforms and Operational Calculus)

Abstract

:
Higher order Schwarzian derivatives for normalized univalent functions were first considered by Schippers, and those of convex functions were considered by Dorff and Szynal. In the present investigation, higher order Schwarzian derivatives for the Janowski star-like and convex functions are considered, and sharp bounds for the first three consecutive derivatives are investigated. The results obtained in this paper generalize several existing results in this direction.

1. Introduction

Let A be the class of analytic functions defined on the unit disk D : = { z C : | z | < 1 } and having the form:
f ( z ) = z + a 2 z 2 + a 3 z 3 + .
The subclass of A consisting of univalent functions is denoted by S . An analytic function f is subordinate to another analytic function g if there is an analytic function w with | w ( z ) | | z | and w ( 0 ) = 0 such that f ( z ) = g ( w ( z ) ) , and we write f g . If g is univalent, then f g if and only if f ( 0 ) = g ( 0 ) and f ( D ) g ( D ) . The classes S and K of star-like and convex functions, respectively, are among the most studied subclasses of S . These classes are defined, respectively, as:
S : = f S : Re z f ( z ) f ( z ) > 0 , z D
and:
K : = f S : Re 1 + z f ( z ) f ( z ) > 0 , z D .
The Koebe function k ( z ) = z / ( 1 z ) 2 S and z / ( 1 z ) K .
General forms of these classes were considered by Janowski [1]. For 1 B < A 1 , these classes are defined by:
S [ A , B ] : = f S : z f ( z ) f ( z ) 1 + A z 1 + B z and K [ A , B ] : = f S : 1 + z f ( z ) f ( z ) 1 + A z 1 + B z .
These classes are called the class of Janowski star-like and Janowski convex functions, respectively. On specializing the parameters A and B, we get several well-known classes such as S : = S [ 1 , 1 ] and K : = K [ 1 , 1 ] . The functions h 0 and k 0 defined by:
h 0 ( z ) = z ( 1 + B z ) A B 1 , B 0 ; z e A z , B = 0 ,
and:
k 0 ( z ) = 1 A [ ( 1 + B z ) A B 1 ] , B 0 , A 0 ; 1 B log ( 1 + B z ) , A = 0 ; 1 A [ e A z 1 ] , B = 0 .
belong to the classes S [ A , B ] and K [ A , B ] ( 1 B < A 1 ) , respectively. In particular, 2 z / ( 2 z ) S [ 1 / 2 , 1 / 2 ] and 4 z / ( 2 z ) 2 K [ 1 / 2 , 1 / 2 ] .
The quantity a 2 2 a 3 is associated with the Schwarzian derivative of function f S . Recall that the Schwarzian derivative of a locally univalent function f is defined by:
S ( f ) ( z ) : = f ( z ) f ( z ) 1 2 f ( z ) f ( z ) 2
which is an important quantity in univalent function theory. For example, the quantity a 3 μ a 2 2 = ( f ( 0 ) 3 μ ( f ( 0 ) ) 2 / 2 ) / 6 is called the Fekete–Szegö functional, and finding the sharp bound on modulus of this quantity is popularly known as the Fekete–Szegö problem. Nehari [2] (see also [3]) proved that the necessary condition for an analytic function f to be in the class S is | S ( f ) ( z ) | 6 ( 1 | z | 2 ) 2 , and the sufficient condition is | S ( f ) ( z ) | 2 ( 1 | z | 2 ) 2 . In both directions, the results are the best possible in the sense that the constants two and six cannot be replaced by the smaller numbers. The sharpness of the later condition was verified by Hille [4]. The first inequality is sharp in the case of the Koebe function, whereas the sharpness in the second can be seen in the case of the function f 0 ( z ) = ( 1 / 2 ) log ( ( 1 + z ) / ( 1 z ) ) . Later, Nehari [5] proved that if f is a convex function, then | S ( f ) ( z ) | 2 ( 1 | z | 2 ) 2 .
Aharanov and Harmelin [6] studied the higher order Schwarzian derivatives σ n ( f ) with invariance under composition on the left by Möbius transformations T, σ n ( T f ) = σ n ( f ) , and their relation to univalence of the function f. The higher order Schwarzian derivative is defined as follows (see [6,7]):
σ 3 ( f ) = S ( f )
and for any integer n 4 , it is given by:
σ n + 1 ( f ) = ( σ n ( f ) ) ( n 1 ) σ n ( f ) f f .
In particular,
σ 4 ( f ) = f ( 4 ) f 6 f f f 2 + f f 3
and for:
σ 5 ( f ) = f ( 5 ) f 10 f ( 4 ) f f 2 6 f f 2 + 48 f f 2 f 3 36 f f 4 .
Schippers [7] derived the differential equation for the Loewner flow of the Schwarzian derivative of univalent functions and used this to investigate the bounds on the modulus of higher order Schwarzian derivatives. These bounds were shown to be sharp in the case of the Koebe function. He also proved certain two-point distortion theorems for the higher order Schwarzian derivatives in terms of the hyperbolic metric. Later, the higher order Schwarzian derivatives for convex functions were considered by Dorff and Szynal [8]. Since the class K is linearly invariant (see [9]), so there is no loss in restricting consideration to σ n ( f ) ( 0 ) = : S n . From the above definition of σ n ( f ) , we see that S 3 = σ 3 ( f ) ( 0 ) = 6 ( a 3 a 2 2 ) , S 4 = σ 4 ( f ) ( 0 ) = 24 ( a 4 3 a 2 a 3 + 2 a 2 3 ) and S 5 = σ 5 ( f ) ( 0 ) = 24 ( 5 a 5 20 a 2 a 4 9 a 3 2 + 48 a 3 a 2 2 24 a 2 4 ) . Droff and Szynal proved that | S 3 | 2 , | S 4 | 4 and | S 5 | 12 with inequality in the case of the function:
f n ( z ) = 0 z ( 1 t n 1 ) 2 n 1 d t , n = 3 , 4 , 5 .
They also conjectured that the maximal value of | S n | for n = 6 , 7 , 8 , is attained in the case of the function f n defined above.
In general, it is not so easy for researchers to deal with the higher order Schwarzian derivatives as the methods in geometric function theory known at present time are not substantial enough. However, they have a very important role in geometric/univalent function theory. In particular, Gal [10], by using the powerful method of admissible functions of Miller and Mocanu [11], investigated the geometric criterion of univalence, which combines higher order Schwarzian derivatives with those of the Ruscheweyh and Sălăgean operators. Therefore, it is very natural to consider higher order Schwarzian derivatives for various geometric results of analytic functions. In this direction, Tamanoi [12], investigated various properties of higher Schwarzian derivatives and their relation with combinatorial polynomials. Tamanoi also proved that the higher Schwarzian derivatives are Möbius invariant; see [12] (p. 135 Theorems 3–3(ii)). Later, in 2011, Kim and Sugawa [13] investigated relations between the Aharonov invariants ([13,14]) and Tamanoi’s Schwarzian derivatives of higher order and gave a recursive formula for Tamanoi’s Schwarzians. In the same paper, they proposed a new definition of invariant Schwarzian derivatives of a non-constant holomorphic function between Riemann surfaces with conformal metrics. In 2011, Kim and Sugawa reviewed the Peschl–Minda derivatives [15,16] and Schwarzian derivatives of higher order due to Aharonov [14], Tamanoi [12] and Kim and Sugawa [13] for a non-constant holomorphic map between Riemann surfaces with conformal metrics. They also proved that the higher-order Schwarzian derivatives of Aharonov and Tamanoi cannot be extended to holomorphic functions between projective Riemann surfaces unlike the classical Schwarzian derivatives. The higher order Schwarzian derivative are useful in the study of the properties of non-linear dynamical system and has been studied extensively by several researchers [17]. For many applications of the higher order Schwarzian derivatives related to the real functions, the reader may refer to [17,18] and the references cited therein. Kwon and Sim [19], in 2017, using the theory of admissible functions investigated some sufficient conditions for normalized analytic functions to be star-like, associated with Tamanoi’s Schwarzian derivative of third order.
Motivated by the works of Schippers [7] and Dorff and Szynal [8] and other related works cited above, in this paper, we shall consider the higher order Schwarzian derivatives for Janowski star-like and convex functions. The sharp bound on the first three consecutive Schwarzian derivatives for Janowski star-like and convex functions is investigated. We shall also point out some relevant connections of our results with the existing result. Several examples in support of our main results are also given with explanations. To prove our results, we need the following results:
Let B be the class of Schwarz functions consisting of analytic functions of the form w ( z ) = c 1 z + c 2 z 2 + c 3 z 3 + ( z D ) and satisfying the condition | w ( z ) | < 1 for z D . Let P denote the class of analytic functions of the form p ( z ) = 1 + p 1 z + p 2 z 2 + p 3 z 3 + for which Re p ( z ) > 0 ( z D ) . The following correspondence between the classes B and P holds:
p P if and only if w ( z ) = p ( z ) 1 p ( z ) + 1 B .
Comparing coefficients in (4), we have:
c 1 = p 1 2 , c 2 = 2 p 2 p 1 2 4 , c 3 = 4 p 3 4 p 1 p 2 + p 1 3 8 , c 4 = 8 p 4 8 p 1 p 3 4 p 2 2 + 6 p 1 2 p 2 p 1 4 16 .
Consider the functional Ψ ( μ , ν ) = | c 3 + μ c 1 c 2 + ν c 1 3 | for w B and μ , ν R .
Lemma 1.
If w B [20] (p. 128 Lemma 2), then for any real numbers μ and ν, we have:
| Ψ ( μ , ν ) | 1 , ( μ , ν ) Ω 1 Ω 2 { ( 2 , 1 ) } ; | ν | , ( μ , ν ) k = 3 7 Ω k ; 2 3 ( | μ | + 1 ) | μ | + 1 3 ( | μ | + ν + 1 ) 1 / 2 , ( μ , ν ) Ω 8 Ω 9 ; 1 3 ν μ 2 4 μ 2 4 ν μ 2 4 3 ( ν 1 ) 1 / 2 , ( μ , ν ) Ω 10 Ω 11 ( 2 , 1 ) ; 2 3 ( | μ | 1 ) | μ | 1 3 ( | μ | ν 1 ) 1 / 2 , ( μ , ν ) Ω 12 .
Here, the symbols Ω k ’s are defined as follows:
Ω 1 : = ( μ , ν ) R 2 : | μ | 1 / 2 , | ν | 1 ,
Ω 2 : = ( μ , ν ) R 2 : 1 2 | μ | 2 , 4 27 ( | μ | + 1 ) 3 ( | μ | + 1 ) ν 1 ,
Ω 3 : = ( μ , ν ) R 2 : | μ | 1 2 , ν 1 , Ω 4 : = ( μ , ν ) R 2 : | μ | 1 / 2 , ν 2 3 ( | μ | + 1 ) ,
Ω 5 : = ( μ , ν ) R 2 : | μ | 2 , ν 1 , Ω 6 : = ( μ , ν ) R 2 : 2 | μ | 4 , ν 1 12 ( μ 2 + 8 ) ,
Ω 7 : = ( μ , ν ) R 2 : | μ | 4 , ν 2 3 ( | μ | 1 ) ,
Ω 8 : = ( μ , ν ) R 2 : 1 2 | μ | 2 , 2 3 ( | μ | + 1 ) ν 4 27 ( | μ | + 1 ) 3 ( | μ | + 1 ) ,
Ω 9 : = ( μ , ν ) R 2 : | μ | 2 , 2 3 ( | μ | + 1 ) ν 2 | μ | ( | μ | + 1 ) μ 2 + 2 | μ | + 4 ,
Ω 10 : = ( μ , ν ) R 2 : 2 | μ | 4 , 2 | μ | ( | μ | + 1 ) μ 2 + 2 | μ | + 4 ν 1 12 ( μ 2 + 8 ) ,
Ω 11 : = ( μ , ν ) R 2 : | μ | 4 , 2 | μ | ( | μ | + 1 ) μ 2 + 2 | μ | + 4 ν 2 | μ | ( | μ | 1 ) μ 2 2 | μ | + 4 ,
Ω 12 : = ( μ , ν ) R 2 : | μ | 4 , 2 | μ | ( | μ | 1 ) μ 2 2 | μ | + 4 ν 2 3 ( | μ | 1 ) .
The extremal functions, up to rotations, are of the form:
w 1 ( z ) = z 3 , w 2 ( z ) = z , w 3 ( z ) = z ( t 1 z ) 1 t 1 z , w 4 ( z ) = z ( t 2 + z ) 1 + t 2 z
and w 5 ( z ) = c 1 z + c 2 z 2 + c 3 z 3 + , where the parameters t 1 , t 2 and the coefficients c i are given by:
t 1 = | μ | + 1 3 ( | μ | + ν + 1 ) 1 / 2 , t 2 = | μ | 1 3 ( | μ | ν 1 ) 1 / 2 , c 1 = 2 ν ( μ 2 + 2 ) 3 μ 2 3 ( ν 1 ) ( μ 2 4 ν ) 1 / 2 ,
c 2 = ( 1 c 1 2 ) e i θ 0 , c 3 = c 1 c 2 e i θ 0 , θ 0 = ± arccos μ 2 ν ( μ 2 + 8 ) 2 ( μ 2 + 2 ) 2 ν ( μ 2 + 2 ) 3 μ 2 1 / 2 .
Lemma 2.
If w B [21](see also, [22]), then for any complex numbers τ, we have:
| c 2 τ c 1 2 | max 1 ; | τ | .
The result is sharp for the functions w ( z ) = z or w ( z ) = z 2 .
Lemma 3.
Let α ^ , β ^ , γ ^ and a ^ satisfy the inequalities [23] (p. 506 Lemma 2.1), 0 < α ^ < 1 , 0 < a ^ < 1 and:
8 a ^ ( 1 a ^ ) [ ( α ^ β ^ 2 γ ^ ) 2 + ( α ^ ( a ^ + α ^ ) β ^ ) 2 ] + α ^ ( 1 α ^ ) ( β ^ 2 a ^ α ^ ) 2 4 a ^ α ^ 2 ( 1 α ^ ) 2 ( 1 a ^ ) .
If p ( z ) = 1 + p 1 z + p 2 z 2 + p 3 z 3 + P , then:
| γ ^ p 1 4 + a ^ p 2 2 + 2 α ^ p 1 p 3 ( 3 / 2 ) β ^ p 1 2 p 2 p 4 | 2 .

2. Main Results

The following theorem gives the sharp bound on the first three consecutive higher order Schwarzian derivatives for Janowski convex functions. In fact, Theorem 1 is a generalization of the result in [8] (p. 8 Theorem 1 ) due to Dorff and Szynal.
Theorem 1.
Let f K [ A , B ] . Then, the following implications hold:
1. 
If 1 B < A 1 , then | S 3 | ( A B ) .
2. 
(a) If either of the set of conditions:
| 3 A + B | 1
or 1 | 3 A + B | 4 and:
4 27 3 A + B 2 + 1 3 3 A + B 2 + 1 A ( A + B ) 2 1
hold, then | S 4 | 2 ( A B ) .
(b) If 1 | 3 A + B | 4 and:
2 3 3 A + B 2 + 1 A ( A + B ) 2 4 27 3 A + B 2 + 1 3 3 A + B 2 + 1
hold, then:
| S 4 | 4 ( A B ) 3 3 A + B 2 + 1 3 A + B 2 + 1 3 3 A + B 2 + A ( A + B ) 2 + 1 1 / 2 .
3. 
If 1 < B < A < 1 and:
A 2 2 A + 2 ( A 1 ) 2 ( A B ) 2 ( A + B 2 ) ( A + B + 2 ) 36 A 2 1 2 ( A + B 2 ) ( A + B ) + 24 ( A + 1 ) ( A 1 ) 2 ( A B ) 0
hold, then | S 5 | 6 ( A B ) .
All estimates are sharp.
Proof. 
Let f K [ A , B ] . For such a function f, by definition, we can write:
1 + z f ( z ) f ( z ) = 1 + A w ( z ) 1 + B w ( z ) ,
where w ( z ) = c 1 z + c 2 z 2 + c 3 z 3 + B . Comparing the coefficients of the like power terms in (8), we have:
a 2 = 1 2 ( A B ) c 1 , a 3 = 1 6 ( A B ) ( A 2 B ) c 1 2 + c 2 ,
a 4 = 1 24 ( A B ) ( A 2 5 A B + 6 B 2 ) c 1 3 + ( 3 A 7 B ) c 1 c 2 + 2 c 3
and:
a 5 = 1 120 ( A B ) [ ( A 3 24 B 3 9 A 2 B + 26 B 2 A ) c 1 4 + 2 ( 3 A 2 17 A B + 23 B 2 ) c 1 2 c 2 + 3 ( A 3 B ) c 2 2 + 4 ( 2 A 5 B ) c 1 c 3 + 6 c 4 ] .
(1) From (9), we have:
S 3 = 6 ( a 3 a 2 2 ) = ( A B ) c 2 A + B 2 c 1 2 .
Now, an application of Lemma 2 in (12) gives the desired estimate on | S 3 | . The function for which equality holds is given by (8) with the choice w ( z ) = z 2 .
(2) Next, we consider:
S 4 = 24 ( a 4 3 a 2 a 3 + 2 a 2 3 ) = 2 ( A B ) c 3 + μ c 1 c 2 + ν c 1 3 = 2 ( A B ) Υ ( μ , ν ) ,
where Υ ( μ , ν ) : = c 3 + μ c 1 c 2 + ν c 1 3 with μ : = ( 3 A + B ) / 2 and ν : = A ( A + B ) / 2 .
Assume that Ω i ’s are as defined in Lemma 1 with μ and ν as given above. We observe that ν = A ( A + B ) / 2 1 as A B 2 A 2 , and so, ( μ , ν ) Ω 3 . Furthermore, | μ | = | ( 3 A + B ) / 2 | < 2 because 4 < 3 A + B < 4 . Therefore, we can conclude that ( μ , ν ) Ω i ( i = 6 , 7 , 9 , 10 , 11 , 12 ) . Moreover, ν < 1 as A 2 + A B < 2 . This reveals that ( μ , ν ) Ω 5 . We now claim that ( μ , ν ) Ω 4 . For this, we first assume that μ 0 . Then, | μ | 1 / 2 gives 3 A + B 1 . Furthermore, the condition ν ( 2 / 3 ) ( | μ | + 1 ) holds if 3 A ( A + B ) / 2 2 ( 3 A + B + 2 ) or equivalently if 3 A ( A + B ) 2 ( 3 A + B + 2 ) = 2 ( 3 A + B ) + 4 6 , that is if A B 2 + A 2 . Clearly, this is false. Similarly, in the case when μ 0 , the condition ν ( 2 / 3 ) ( | μ | + 1 ) does not hold. Thus, we conclude that our claim is true. Further, if | 3 A + B | 1 , then ( μ , ν ) Ω 1 . Furthermore, if 1 | 3 A + B | 4 and:
4 27 3 A + B 2 + 1 3 3 A + B 2 + 1 A ( A + B ) 2 1 ,
then ( μ , ν ) Ω 2 . In view of Lemma 1, we see that if ( μ , ν ) Ω 1 Ω 2 , then | Υ ( μ , ν ) | 1 , and hence, | S 4 | 2 ( A B ) . The function for which equality holds is given by (8) with the choice w ( z ) = z 3 .
Now, if 1 | 3 A + B | 4 and:
2 3 3 A + B 2 + 1 A ( A + B ) 2 4 27 3 A + B 2 + 1 3 3 A + B 2 + 1 ,
then ( μ , ν ) Ω 8 . Now, an application of Lemma 1, in this case, gives:
| Υ ( μ , ν ) | 2 3 ( | μ | + 1 ) | μ | + 1 3 ( | μ | + ν + 1 ) 1 / 2 = 2 3 3 A + B 2 + 1 3 A + B 2 + 1 3 3 A + B 2 + A ( A + B ) 2 + 1 1 / 2 .
This inequality together with (13) gives the desired bound on | S 4 | . To show the sharpness, we consider the function f defined by (8) with the choice of the Schwarz function:
w ( z ) = z ( t 1 z ) 1 t 1 z ,
where:
t 1 : = 3 A + B 2 + 1 3 3 A + B 2 + A ( A + B ) 2 + 1 1 / 2 .
For this Schwarz function w, we see that c 1 = t 1 , c 2 = t 1 2 1 , c 3 = t 1 3 t 1 and:
S 4 = 2 ( A B ) c 3 + 3 A + B 2 c 1 c 2 + A ( A + B ) 2 c 1 3 = 2 ( A B ) t 1 3 t 1 + 3 A + B 2 t 1 ( t 1 2 1 ) + A ( A + B ) 2 t 1 3 = 2 ( A B ) t 1 3 3 A + B 2 + A ( A + B ) 2 + 1 t 1 3 A + B 2 + 1 = 4 ( A B ) 3 3 A + B 2 + 1 3 A + B 2 + 1 3 3 A + B 2 + A ( A + B ) 2 + 1 1 / 2 .
This confirms the sharpness of the result.
(3) Now, it remains to find the estimate on | S 5 | . Using (5)–(11), we get:
S 5 = 24 ( 5 a 5 20 a 2 a 4 9 a 3 2 + 48 a 2 2 a 3 24 a 2 4 ) = 3 ( A B ) γ ^ p 1 4 + a ^ p 2 2 + 2 α ^ p 1 p 3 ( 3 / 2 ) β ^ p 1 2 p 2 p 4 = 3 ( A B ) Ψ ( γ ^ , a ^ , α ^ , β ^ ) ,
where Ψ ( γ ^ , a ^ , α ^ , β ^ ) : = γ ^ p 1 4 + a ^ p 2 2 + 2 α ^ p 1 p 3 ( 3 / 2 ) β ^ p 1 2 p 2 p 4 with the parameters γ ^ , a ^ , α ^ and β ^ given by:
γ ^ : = ( A 1 ) 2 ( 2 A B ) 16 , a ^ : = 2 A B 4 , α ^ : = 1 A 2 , β ^ : = ( 1 A ) ( 3 B 2 A ) 6 .
Since the case A = 1 , B = 1 was considered by Dorff and Szynal [8], we assume that A and B are constrained as 1 < B < A < 1 . Under these conditions, it is a simple matter to verify that 0 < α ^ < 1 and 0 < a ^ < 1 . Moreover, the condition (6) holds if and only if:
( A 1 ) 2 A 2 2 A + 2 ( A B ) 2 ( A + B 2 ) ( A + B + 2 ) 1152 + 1 48 ( A 1 ) 2 ( A + 1 ) ( A B ) 1 32 A 2 1 2 ( A + B 2 ) ( A + B )
or equivalently, if and only if (7) holds. Therefore, in view of Lemma 3, we conclude that if the above condition holds, then we must have | Ψ ( γ ^ , a ^ , α ^ , β ^ ) | 2 , and thus, from (14), the result follows at once. Equality holds in the case of the function f defined by (8) with the choice of the Schwarz function w ( z ) = z 4 . ☐
Remark 1.
In particular, when A = 1 and B = 1 , Theorem 1 reduces to the result in [8] (p. 8 Theorem 1 ) due to Dorff and Szynal.
Example 1.
Setting A = 1 / 2 and B = 1 in Equation (3), we get the function f 1 K defined by:
f 1 ( z ) = 2 1 1 z 1 z = z + 3 z 2 4 + 5 z 3 8 + 35 z 4 64 + 63 z 5 128 + .
Here, we see that, B = 1 < 1 / 2 = A , a 2 = 3 / 4 , a 3 = 5 / 8 , a 4 = 35 / 64 and | S 3 | = 6 | a 3 a 2 2 | = 3 / 8 < 3 / 2 = A B . This supports Part (1) of Theorem 1. Now, for the function f 1 , we see that 3 A + B = 1 / 2 < 1 and | S 4 | = 24 | a 4 3 a 2 a 3 + 2 a 2 3 | = 3 / 8 < 2 ( A B ) = 3 . This supports Part 2(a) of Theorem 1.
Example 2.
Let A = 1 / 2 and B = 1 in Equation (3). Then, we get the function f 2 K defined by:
f 2 ( z ) = e z 1 = z + z 2 2 + z 3 6 + z 4 24 + z 5 120 + .
Here, 1 < | 3 A + B | = 3 < 4 , a 2 = 1 / 2 , a 3 = 1 / 6 , a 4 = 1 / 24 and | S 4 | = 24 | a 4 3 a 2 a 3 + 2 a 2 3 | = 1 < 2 ( A B ) = 2 . This supports Part 2(b) of Theorem 1. For an example satisfying Part ( 3 ) of Theorem 1, we set A = 3 / 4 and B = 1 / 4 in Equation (3), and thus, we get the function f 3 defined by:
f 3 ( z ) = z + z 2 4 + z 3 48 .
Here, a 2 = 1 / 4 , a 3 = 1 / 48 , a 4 = 0 , a 5 = 0 and | S 5 | = 24 | 5 a 5 20 a 2 a 4 9 a 3 2 + 48 a 2 2 a 3 24 a 2 4 | = 27 / 32 < 3 = 6 ( A B ) .
Theorem 2.
Let f S [ A , B ] . Then, the following inequalities hold:
1. 
If 1 B < A 1 , then | S 3 | 3 ( A B ) .
2. 
(a) If A and B satisfy either:
| B 3 A | 1 / 2 a n d | A ( 2 A B ) | 1
or:
1 / 2 | B 3 A | 1 a n d 4 27 ( | B 3 A | + 1 ) 3 ( | B 3 A | + 1 ) A ( 2 A B ) 1 ,
then | S 4 | 8 ( A B ) .(b) Let us denote:
T ( A , B ) : = 2 3 ( | B 3 A | + 1 ) .
If either of the following sets of conditions:
1 / 2 | B 3 A | 2 , T ( A , B ) A ( 2 A B ) 4 27 ( | B 3 A | + 1 ) 3 ( | B 3 A | + 1 ) ,
or:
| B 3 A | 2 , T ( A , B ) A ( 2 A B ) 2 | B 3 A | ( | B 3 A | + 1 ) ( B 3 A ) 2 + | B 3 A | + 4
hold, then:
| S 4 | 16 ( A B ) ( | B 3 A | + 1 ) 3 / 2 3 ( 3 ( | B 3 A | + A ( 2 A B ) + 1 ) ) 1 / 2 .
(c) Moreover,
| S 4 | 8 ( A B ) | A ( 2 A B ) | , 2 | B 3 A | 4 , A ( 2 A B ) ( ( B 3 A ) 2 + 8 ) / 12 ; 48 , A = 1 , B = 1 .
3. 
If A and B satisfy the conditions 0 < ( A + 1 ) 43 A 2 43 A ( B 1 ) + 10 B 2 23 B + 10 < 80 , 0 < 13 A 3 B + 10 < 20 and:
450 ( 13 A 3 B 10 ) ( 13 A 3 B + 10 ) 4 A 2 4 A B + B 2 1 2 50 ( 2 A B 1 ) ( 2 A B + 1 ) 8 A 2 + A ( 7 9 B ) + ( B 7 ) B 2 ( 13 A 3 B 10 ) ( 13 A 3 B + 10 ) ( 1849 A 4 172 A 3 ( 23 B 20 ) + A 2 2976 B 2 5916 B + 2878 4 A 230 B 3 798 B 2 + 928 B 231 + 100 B 4 520 B 3 + 1177 B 2 630 B + 98 ) ( A B ) 2 0 ,
then | S 5 | 15 ( A B ) .
All estimates are sharp.
Proof. 
Since f S [ A , B ] , it follows that there exists a Schwarz function w ( z ) = c 1 z + c 2 z 2 + c 3 z 3 + such that:
z f ( z ) f ( z ) = 1 + A w ( z ) 1 + B w ( z ) .
Comparing the coefficients on both sides of (16), we have:
a 2 = ( A B ) c 1 , a 3 = 1 2 ( A B ) A c 1 2 2 B c 1 2 + c 2 ,
a 4 = 1 6 ( A B ) ( A 2 B ) ( A 3 B ) c 1 3 + ( 3 A 7 B ) c 1 c 2 + 2 c 3
and:
a 5 = 1 24 ( A B ) [ ( A 3 9 A 2 B + 26 A B 2 24 B 3 ) c 1 4 + 6 A 2 34 A B + 46 B 2 c 1 2 c 2 + 4 2 A 5 B c 1 c 3 + 3 A 3 B c 2 2 + 6 c 4 ] .
As in the proof of Theorem 1, using (17)–(19), we get:
S 3 = 3 ( A B ) A c 1 2 c 2 , S 4 = 8 ( A B ) A ( 2 A B ) c 1 3 + B 3 A c 1 c 2 + c 3
and:
S 5 = 3 16 ( A B ) [ ( A + 1 ) 43 A 2 43 A ( B 1 ) + 10 B 2 23 B + 10 p 1 4 4 43 A 2 + A ( 53 33 B ) + 5 B 2 23 B + 15 p 1 2 p 2 + 80 ( 2 A B + 1 ) p 1 p 3 + 4 ( 13 A 3 B + 10 ) p 2 2 80 p 4 ] .
(1) From (20), we have:
| S 3 | = 3 ( A B ) A c 1 2 c 2 3 ( A B ) max 1 ; | A | = 3 ( A B ) .
This gives the required estimate on | S 3 | . The extremal function in this case is given by (16) with the function w ( z ) = z 2 .
(2) Again, from (20), we get:
| S 4 | = 8 ( A B ) A ( 2 A B ) c 1 3 + ( B 3 A ) c 1 c 2 + c 3 8 ( A B ) c 3 + μ c 1 c 2 + ν c 1 3 ,
where μ : = B 3 A and ν : = A ( 2 A B ) . Assume that Ω i s are as defined in Lemma 1 with the setting μ and ν mentioned above. In particular, | μ | ¬ > 4 and | μ | = 4 if and only if A = 1 and B = 1 . It can be easily verified that for A = 1 and B = 1 , ( μ , ν ) Ω 11 Ω 12 . Now, in view of Lemma 1, from (22), we see that if A and B satisfy either:
| B 3 A | 1 2 and | A ( 2 A B ) | 1
or:
1 2 | B 3 A | 1 and 4 27 ( | B 3 A | + 1 ) 3 ( | B 3 A | + 1 ) A ( 2 A B ) 1 ,
then | S 4 | 8 ( A B ) . The extremal function in this case is given by (16) with the choice of the function w ( z ) = z 3 .
Further, since ν > 1 , it follows that ( μ , ν ) Ω 3 . Moreover, a computation reveals that ( μ , ν ) Ω 4 Ω 5 . Furthermore, it can be verified that ( μ , ν ) Ω 7 if and only if A = 1 and B = 1 . Now, an application of Lemma 1 gives:
| S 4 | 8 ( A B ) | A ( 2 A B ) | , 2 | B 3 A | 4 , A ( 2 A B ) ( ( B 3 A ) 2 + 8 ) / 12 ; 48 , A = 1 , B = 1 .
The extremal function in this case is given by (16) with the choice of the function w ( z ) = z .
Similarly, we can prove that if either of the sets of following conditions:
1 / 2 | B 3 A | 2 , 2 3 ( | B 3 A | + 1 ) A ( 2 A B ) 4 27 ( | B 3 A | + 1 ) 3 ( | B 3 A | + 1 ) ,
or:
| B 3 A | 2 , 2 3 ( | B 3 A | + 1 ) A ( 2 A B ) 2 | B 3 A | ( | B 3 A | + 1 ) ( B 3 A ) 2 + | B 3 A | + 4
hold, then
| S 4 | 16 ( A B ) ( | B 3 A | + 1 ) 3 / 2 3 ( 3 ( | B 3 A | + A ( 2 A B ) + 1 ) ) 1 / 2 .
To show the sharpness, we consider the function f defined by (16) with the choice of the Schwarz function w ( z ) = z ( t 2 z ) / ( 1 t 2 z ) , where:
t 2 : = B 3 A + 1 3 B 3 A + A ( 2 A B ) + 1 1 / 2 .
For the Schwarz function w, given above, we see that c 1 = t 2 , c 2 = t 2 2 1 , c 3 = t 2 3 t 2 and:
S 4 = 8 ( A B ) A ( 2 A B ) c 1 3 + | B 3 A | c 1 c 2 + c 3 = 8 ( A B ) A ( 2 A B ) t 3 + | B 3 A | t 2 ( t 2 2 1 ) + t 2 3 t 2 = 8 ( A B ) [ A ( 2 A B ) + | B 3 A | + 1 ] t 2 3 ( | B 3 A | + 1 ) t 2 = 16 ( A B ) 3 ( | B 3 A | + 1 ) 3 / 2 ( 3 ( | B 3 A | + A ( 2 A B ) + 1 ) ) 1 / 2 .
This confirms the sharpness of the result.
(3) Finally, it remains to find the estimate on | S 5 | . The expression for S 5 given in (21) can be written as:
S 5 = 15 2 ( A B ) [ γ ^ p 1 4 + a ^ p 2 2 + 2 α ^ p 1 p 3 ( 3 / 2 ) β ^ p 1 2 p 2 p 4 ] ,
where:
γ ^ : = ( A + 1 ) 43 A 2 43 A ( B 1 ) + 10 B 2 23 B + 10 / 80 , a ^ : = ( 13 A 3 B + 10 ) / 20
α ^ : = ( 2 A B + 1 ) / 2 , β ^ : = 43 A 2 + A ( 53 33 B ) + 5 B 2 23 B + 15 / 30 .
In order to apply Lemma 3, we assume that the parameters A and B satisfy the conditions 0 < ( A + 1 ) 43 A 2 43 A ( B 1 ) + 10 B 2 23 B + 10 < 80 and 0 < ( 13 A 3 B + 10 ) < 20 together with the condition:
( 13 A 3 B 10 ) ( 13 A 3 B + 10 ) ( A B ) 2 ( 1849 A 4 172 A 3 ( 23 B 20 ) + A 2 ( 2976 B 2 5916 B + 2878 ) 4 A ( 230 B 3 798 B 2 + 928 B 231 ) + 100 B 4 520 B 3 + 1177 B 2 630 B + 98 ) + 50 ( 2 A B 1 ) ( 2 A B + 1 ) 8 A 2 + A ( 7 9 B ) + ( B 7 ) B 2 450 ( 13 A 3 B 10 ) ( 13 A 3 B + 10 ) 4 A 2 4 A B + B 2 1 2 ,
or equivalently, if (15) holds.
Thus, all conditions of Lemma 3 are fulfilled. Therefore, we have | S 5 | 15 ( A B ) . The function f defined by (16) with the choice of the Schwarz function w ( z ) = z 4 shows that the result is sharp. This completes the proof. ☐
Example 3.
Let A = 1 / 2 and B = 1 . Then, from Equation (2), we get the function f 4 defined by:
f 4 ( z ) = z ( 1 z ) 3 / 2 = z + 3 z 2 2 + 15 z 3 8 + 35 z 4 16 + 315 z 5 128 + 693 z 6 256 + .
The function f 4 S and satisfies the assertion in Part (1) of Theorem 2, as for this function, we have a 2 = 3 / 2 , a 3 = 15 / 8 , a 4 = 35 / 16 and | S 3 | = 6 | a 3 a 2 2 | = 9 / 4 < 9 / 2 = 3 ( A B ) .
Example 4.
( i ) Let A = 1 / 2 and B = 1 in Equation (2). Then, we get the function f 5 S defined by:
f 5 ( z ) = z e z / 4 = z + z 2 4 + z 3 32 + z 4 384 + z 5 6144 + .
Here, we have | B 3 A | = 3 / 4 < 1 / 2 and | A ( 2 A B ) | = 1 / 8 < 1 , a 2 = 1 / 4 , a 3 = 1 / 32 , a 4 = 1 / 384 and | S 4 | = 1 / 4 < 2 = 8 ( A B ) . This verifies the result asserted in Part 2(a) of Theorem 2.
( i i ) Let A = 0 and B = 1 . Then, we have:
T ( A , B ) : = 2 3 ( | B 3 A | + 1 ) = 4 3 1 / 2 < | B 3 A | = 1 < 2
and
T ( A , B ) = 4 3 < A ( 2 A B ) = 0 < 4 27 ( | B 3 A | + 1 ) 3 ( | B 3 A | + 1 ) = 12 .
For A = 0 and B = 1 , we get the function f 6 from Equation (2) defined by:
f 6 ( z ) = z 1 z = z + z 2 + z 3 + z 4 + z 5 + .
Now, a computation gives
| S 4 | = 0 < 32 3 3 = 16 ( A B ) ( | B 3 A | + 1 ) 3 / 2 3 [ 3 ( | B 3 A | + A ( 2 A B ) + 1 ) ] 1 / 2 .
This confirms the correctness of the assertion in 2(b) of Theorem 2.
( i i i ) For an example of a function satisfying the assertion in 2(c) of Theorem 2, we take A = 1 and B = 1 in Equation (2). Then, we get the function f 7 defined by:
f 7 ( z ) = z ( 1 z ) 2 = z + 2 z 2 + 3 z 3 + 4 z 4 + .
For this function, it can be verified that | S 4 | = 48 .
( i v ) For A = 1 / 4 and B = 1 / 2 , computations show that 0 < 13 A 3 B + 10 = 33 / 4 < 20 :
0 < ( A + 1 ) 43 A 2 43 A ( B 1 ) + 10 B 2 23 B + 10 = 507 64 < 80
and Inequality (15) becomes 2777538049 / 65536 < 0 . Setting A = 1 / 4 and B = 1 / 2 in (2), we get the function f 8 defined by:
f 8 ( z ) = z + z 2 4 + 5 z 4 128 + 35 z 5 2048 + .
For this function, we see that S 4 = 0 < 15 / 4 = 15 ( A B ) . This verifies the assertion in Part ( 3 ) of Theorem 2.

3. Conclusion

In Theorems 1 and 2, the sharp bounds on the first three consecutive derivatives for Janowski convex and star-like functions are investigated. Examples 1 and 2 support the conclusions of Theorem 1, whereas Examples 3 and 4 validate the assertions in Theorem 2. The results obtained in this paper generalize several existing results in this direction, and they are pointed out. It would be interesting to investigate the estimation on other higher order Schwarzian derivatives and their applications to study the properties of a non-linear dynamical system.

Author Contributions

All authors contributed equally.

Funding

The first author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2016R1D1A1A09916450)

Acknowledgments

The authors would like to express their gratitude to the referees for many valuable suggestions regarding a previous version of this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Janowski, W. Extremal problems for a family of functions with positive real part and for some related families. Ann. Polon. Math. 1970, 23, 159–177. [Google Scholar] [CrossRef]
  2. Nehari, Z. The Schwarzian derivative and schlicht functions. Bull. Am. Math. Soc. 1949, 55, 545–551. [Google Scholar] [CrossRef]
  3. Kraus, W. Über den Zusammenhang einiger Characteristiken eines einfach zusammenhängenden Bereiches mit der Kreisabbildung. Mitt. Math. Sem. Giessen. 1932, 21, 1–28. [Google Scholar]
  4. Hille, E. Remarks on a paper by Zeev Nehari. Bull. Amer. Math. Soc. 1949, 55, 552–553. [Google Scholar] [CrossRef]
  5. Nehari, Z. A property of convex conformal maps. J. Anal. Math. 1976, 30, 390–393. [Google Scholar] [CrossRef]
  6. Harmelin, R. Aharonov invariants and univalent functions. Israel J. Math. 1982, 43, 244–254. [Google Scholar] [CrossRef]
  7. Schippers, E. Distortion theorems for higher order Schwarzian derivatives of univalent functions. Proc. Am. Math. Soc. 2000, 128, 3241–3249. [Google Scholar] [CrossRef]
  8. Dorff, M.; Szynal, J. Higher order Schwarzian derivatives for convex univalent functions. Tr. Petrozavodsk. Gos. Univ. Ser. Mat. 2009, 15, 7–11. [Google Scholar]
  9. Koepf, W. Close-to-convex functions and linear-invariant families. Ann. Acad. Sci. Fenn. Ser. A I Math. 1983, 8, 349–355. [Google Scholar] [CrossRef]
  10. Gal, S.G. Higher order derivatives of Schwarz, Sălăgean and Rushcheweyh types in the geometric theory of complex functions. Rev. Roumaine Math. Pures Appl. 2002, 47, 33–42. [Google Scholar]
  11. Miller, S.S.; Mocanu, P.T. Second order differential inequalities in the complex plane. J. Math. Anal. Appl. 1978, 65, 289–305. [Google Scholar] [CrossRef]
  12. Tamanoi, H. Higher Schwarzian operators and combinatorics of the Schwarzian derivative. Math. Ann. 1996, 305, 127–151. [Google Scholar] [CrossRef]
  13. Kim, S.A.; Sugawa, T. Invariant Schwarzian derivatives of higher order. Complex Anal. Oper. Theory 2011, 5, 659–670. [Google Scholar] [CrossRef]
  14. Aharonov, D. A necessary and sufficient condition for univalence of a meromorphic function. Duke Math. J. 1969, 36, 599–604. [Google Scholar]
  15. Kim, S.A.; Sugawa, T. Invariant differential operators associated with a conformal metric. Michigan Math. J. 2007, 55, 459–479. [Google Scholar]
  16. Schippers, E. The calculus of conformal metrics. Ann. Acad. Sci. Fenn. Math. 2007, 32, 497–521. [Google Scholar]
  17. Hacibekiroglu, G.; Caglar, M.; Polatoglu, Y. The higher order Schwarzian derivative: Its applications for chaotic behavior and new invariant sufficient condition of chaos. Nonlinear Anal. Real World Appl. 2009, 10, 1270–1275. [Google Scholar] [CrossRef]
  18. Aguilar, R.M. Higher order Schwarzians for geodesic flows, moment sequences and the radius of adapted complexifications. Q. J. Math. 2013, 64, 1–36. [Google Scholar] [CrossRef]
  19. Kwon, O.; Sim, Y. Starlikeness and Schwarzian derivatives of higher order of analytic functions. Commun. Korean Math. Soc. 2017, 32, 93–106. [Google Scholar] [CrossRef]
  20. Prokhorov, D.V.; Szynal, J. Inverse coefficients for (α,β)-convex functions. Ann. Univ. Mariae Curie-Skłodowska Sect. A 1981, 35, 125–143. [Google Scholar]
  21. Keogh, F.R.; Merkes, E.P. A coefficient inequality for certain classes of analytic functions. Proc. Am. Math. Soc. 1969, 20, 8–12. [Google Scholar] [CrossRef]
  22. Ali, R.M.; Ravichandran, V.; Seenivasagan, V. Coefficient bounds for p-valent functions. Appl. Math. Comput. 2007, 187, 35–46. [Google Scholar] [CrossRef]
  23. Ravichandran, V.; Verma, S. Bound for the fifth coefficient of certain star-like functions. C. R. Math. Acad. Sci. Paris 2015, 353, 505–510. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Cho, N.E.; Kumar, V.; Ravichandran, V. Sharp Bounds on the Higher Order Schwarzian Derivatives for Janowski Classes. Symmetry 2018, 10, 348. https://doi.org/10.3390/sym10080348

AMA Style

Cho NE, Kumar V, Ravichandran V. Sharp Bounds on the Higher Order Schwarzian Derivatives for Janowski Classes. Symmetry. 2018; 10(8):348. https://doi.org/10.3390/sym10080348

Chicago/Turabian Style

Cho, Nak Eun, Virendra Kumar, and V. Ravichandran. 2018. "Sharp Bounds on the Higher Order Schwarzian Derivatives for Janowski Classes" Symmetry 10, no. 8: 348. https://doi.org/10.3390/sym10080348

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop