Sharp Bounds on the Higher Order Schwarzian Derivatives for Janowski Classes

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.


Introduction
Let A be the class of analytic functions defined on the unit disk D := {z ∈ C : |z| < 1} and having the form: 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: and: 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: Symmetry 2018, 10, 348 2 of 13 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: and: belong to the classes S * [A, B] and K[A, B] (−1 ≤ B < A ≤ 1), respectively.In particular, 2z/(2 − z) ∈ S * [1/2, −1/2] and 4z/(2 − z) 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: 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 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] 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]): and for any integer n ≥ 4, it is given by: In particular, and for: 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 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 The following correspondence between the classes B and P holds: Comparing coefficients in (4), we have: Consider the functional [20] (p.128 Lemma 2), then for any real numbers µ and ν, we have: Here, the symbols Ω k 's are defined as follows: , , , , , The extremal functions, up to rotations, are of the form: , where the parameters t 1 , t 2 and the coefficients c i are given by: Lemma 2. If w ∈ B [21](see also, [22]), then for any complex numbers τ, we have: The result is sharp for the functions w(z) = z or w(z) = z 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.
Then, the following implications hold:
For such a function f , by definition, we can write: where Comparing the coefficients of the like power terms in (8), we have: (10) and: (1) From ( 9), we have: 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 .
Proof.Since f ∈ S * [A, B], it follows that there exists a Schwarz function w(z Comparing the coefficients on both sides of ( 16), we have: and: As in the proof of Theorem 1, using ( 17)- (19), we get: and: (1) From ( 20), we have: 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: where µ := B − 3A and ν := A(2A − B).Assume that Ω i s are as defined in Lemma 1 with the setting µ and ν mentioned above.In particular, |µ| > 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: 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: 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: For the Schwarz function w, given above, we see that 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: where: In order to apply Lemma 3, we assume that the parameters A and B satisfy the conditions 0 < (A + 1) 43A 2 − 43A(B − 1) + 10B 2 − 23B + 10 < 80 and 0 < (13A − 3B + 10) < 20 together with the condition: 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:  For A = 0 and B = −1, we get the function f 6 from Equation (2) defined by: This confirms the correctness of the assertion in 2(b) of Theorem 2.
(iii) 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:

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.

Example 2 .
This supports Part 2(a) of Theorem 1.Let A = 1/2 and B = −1 in Equation (3).Then, we get the function f 2 ∈ K defined by: 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: