A study of the Fekete-Szegö functional and coefficient estimates for subclasses of analytic functions satisfying a certain subordination condition and associated with the Gegenbauer polynomials

In this paper, we introduce and study a new subclass of normalized analytic functions, denoted by F(β,γ) ( α, δ, μ,H ( z,C n (t) )) , satisfying the following subordination condition and associated with the Gegenbauer (or ultraspherical) polynomials C n (t) of order λ and degree n in t: α ( zG ′ (z) G (z) )δ + (1 − α) ( zG ′ (z) G (z) )μ ( 1 + zG ′′ (z) G (z) )1−μ ≺ H(z,C(λ) n (t) ), where H ( z,C n (t) ) = ∞ ∑ n=0 C n (t) z n = ( 1 − 2tz + z )−λ , G (z) = γβz f ′′ (z) + (γ − β) z f ′ (z) + (1 − γ + β) f (z) ,


Introduction, definitions and motivation
Let A denote the family of all analytic functions, which are defined on the open unit disk U = {z : z ∈ C and |z| < 1} and normalized by the following condition: Such functions f ∈ A have the Taylor-Maclaurin series expansion given by f (z) = z + ∞ n=2 a n z n (z ∈ U). (1.1) Furthermore, by S we denote the class of all functions f ∈ A that are also univalent in U.
With a view to recalling the principle of subordination between analytic functions, let the functions f (z) and g (z) be analytic in U. We then say that the function f (z) is subordinate to g (z) in U, if there exists a Schwarz function w (z) , analytic in U with w (0) = 0 and |w (z)| < 1 (z ∈ U) , such that f (z) = g w (z) (z ∈ U) .
The concept of arithmetic means of functions and other entities is frequently used in mathematics, especially in geometric function theory of complex analysis. Making use of the concept of arithmetic means, Mocanu [12] introduced the class of α-convex functions (0 ≦ α ≦ 1) as follows: which, in some case, corresponds to the class of starlike functions and, in another case, to the class of convex functions. In general, the class of α-convex functions determines the arithmetic bridge between starlikeness and convexity. By using the geometric means, Lewandowski et al. [9] defined the class of µ-starlike functions (0 ≦ µ ≦ 1) consisting of functions f ∈ A that satisfy the following inequality: We note that the class of µ-starlike functions constitutes the geometric bridge between starlikeness and convexity.
We now recall that a function f ∈ A maps U onto a starlike domain with respect to w 0 = 0 if and On the other hand, a function f ∈ A maps U onto a convex domain if and only if It is well known that, if a function f ∈ A satisfies (1.4), then f is univalent and starlike in U. Let β ∈ [0, 1) . A function f ∈ A is said to be starlike of order β and convex of order β, if respectively.
In the year 1933, Fekete and Szegö [6] obtained a sharp bound of the functional a 3 − νa 2 2 , with real ν (0 ≦ ν ≦ 1) for a univalent function f. Since then, the problem of finding the sharp bounds for the Fekete-Szegö functional of any compact family of functions or for f ∈ A with any complex ν is known as the classical Fekete-Szegö problem (see, for details, [14,21]). More recently, in the year 1994. Szynal [25] introduced and investigated the class T (λ) (λ ≧ 0) as a subclass of A consisting of functions of the form and σ is a probability measure on the interval [−1, 1] . The collection of such measures on [a, b] is denoted by P [a,b] . The function k (z, t) has the following Taylor-Maclaurin series expansion: where C (λ) n (t) denotes the Gegenbauer (or ultraspherical) polynomials of order λ and degree n in t, which are generated by (see, for details, [18]) If a function f ∈ T (λ) is given by (1.8) , then the coefficients of this function can be written as follows: We note that T (1) =: T is the well-known class of typically real functions. The Gengenbauer (or ultraspherical) polynomials C (λ) n (t) as well as their relatively more familiar special or limit cases such as the Legendre (or spherical) polynomials P n (t), the Chebyshev polynomials T n (t) of the first kind, and the Chebyshev polynomials U n (t) of the second kind, are orthogonal over the interval [−1, 1]. In fact, we have (1.13) The subject of Geometric Function Theory of Complex Analysis has been a fast-growing area of research in recent years. Noteworthy developments and studies involving various old (or traditional) as well as newly-introduced subclasses of the class of normalized analytic or meromorphic functions, together with the multivalent analogues in each case, can be found in the remarkably vast literature on this subject. A good source for some recent researches and developments in Geometric Function Theory of Complex Analysis is the 888-page edited volume by Milovanović and Rassias [11].
Our present investigation is motivated by the above-mentioned developments as well as by many recent works on the Fekete-Szegö functional and other coefficient estimate problems by (for example) Dziok et al. [5], Ałtinkaya and Yalçin [2], Srivastava et al. [20], Szatmari and Ałtinkaya [24], and Ç aglar et al. [4] (see also [1,3,8,10,13,14,17,19,21]). Here, in this paper, we introduce and study a new subclass of normalized analytic functions A in U, which we denote by We say that a function f ∈ A of the form (1.1) is in the following class: if it satisfies the following subordination condition associated the Gegenbauer (or ultraspherical) polynomials C (λ) n (t) of order λ and degree n in t: where H z, C (λ) n (t) is given by the generating relation (1.11), and For functions in this subclass, we first derive the estimates for the initial Taylor-Maclaurin coefficients |a 2 | and |a 3 | and then examine the corresponding Fekete-Szegö inequality. Finally, the results obtained are applied to subclasses of normalized analytic functions satisfying the subordination condition and associated with the Legendre and Chebyshev polynomials. In the concluding section, we have indicated the possibility of using the basic or quantum (or q-) calculus and we have also exposed the so-called trivial and inconsequential (p, q)-variations by forcing-in an obviously redundant (or superfluous) parameter p in the familiar q-calculus.

Initial coefficient bounds for the function class
Our first result (Theorem 1 below) provides bounds for the initial Taylor-Maclaurin coefficients a 2 and a 3 in (1.1).

Theorem 1.
Let the function f (z) given by (1.1) be in the following class: Then and provided that Proof. Under the hypotheses of Theorem 1, we find from (1.1) and (1.15) that which readily yields If we make use of the above expressions and apply (1.14), we see that for some analytic function p(z) given by Then, for all j ∈ N, we have Also, for all ξ ∈ R, we obtain which leads us to the following consequences: Now, from (1.11) , (2.5) and (2.8), we can write We thus obtain the first coefficient bound (2.1) asserted by Theorem 1: . (2.10) Similarly, from (1.11), (2.5) and (2.9), we can show that which, in conjunction with (2.6), yields Finally, by making use of the parametric constraints given with Theorem 1, we find eventually that which is precisely the coefficient bound (2.2) of Theorem 1. This completes our proof of Theorem 1. □ The following corollaries and consequences of Theorem 1 are worthy of note.

Corollary 1.
Let the function f (z) given by (1.1) be in the following class: Then II. Taking β = γ = 0 in Theorem 1, we obtain the following corollary.

Corollary 2.
Let the function f (z) given by (1.1) be in the following class: Then III. If we put δ − 1 = µ = 0 in Theorem 1, we obtain the following corollary.

Theorem 2.
Let the function f (z) given by (1.1) be in the following class: Then, for some ξ ∈ R,
Proof. If the above expressions for K, B and R are used for those in the Eqs (2.1) and (2.2), we get Now, from (3.2) and (3.3), we can easily see that Therefore, in view of (2.6), we conclude that (3.4) Finally, by using the generating function (1.11) in (3.4), we get Moreover, since t > 0, we have which evidently completes the proof of Theorem 2. □ Just as we deduced several consequences of Theorem 1 in the preceding section, here we deduce the following analogous corollaries of Theorem 2.
II. Upon setting β = γ = 0 in Theorem 2, we are led to the following corollary.

Corollary 7.
Let the function f (z) given by (1.1) be in the following class: Then, for some ξ ∈ R, III. Putting δ − 1 = µ = 0 in Theorem 2, we get the following corollary.

Applications associated with the Legendre and Chebyshev polynomials
In order to apply our main results in Section 2 and Section 2 to the corresponding function classes associated with the Legendre polynomials P n (t), the Chebyshev polynomials T n (t) of the first kind and the Chebyshev polynomials U n (t) of the second kind, we can make use of their relationships in (1.13) with the Gegenbauer (or ultraspherical) polynomials C (λ) n (t). For example, if we set λ = 1 2 , Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8, would readily yield the corresponding results for the function classes associated with the Legendre polynomials P n (t). In a similar manner, upon setting λ = 1, we can easily derive the corresponding results for the function classes associated with the Chebyshev polynomials U n (t) of the second kind. The analogous derivations in respect of the Chebyshev polynomials T n (t) of the first kind would obviously involve limit processes. Thus, except possibly in the case of the function class associated with the Chebyshev polynomials T n (t) of the first kind, it is fairly straightforward to set λ = 1 2 and λ = 1 in Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8, in order to deduce the corresponding assertions for the function classes associated, respectively, with the Legendre polynomials P n (t) and the Chebyshev polynomials U n (t) of the second kind. We, therefore, choose to leave all such applications of Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8, as an exercise for the interested reader.
Some of the known special cases of Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8, are being listed below.
Other (known or new) special cases and consequences of our main results asserted by Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8, can be deduced fairly easily. We omit the details involved in these derivations.

Conclusions and observations
Motivated by several interesting developments on the subjects, here we have introduced and investigated the following new subclass of normalized analytic functions in the open unit disk U: which satisfy a certain subordination condition and are associated with the Gegenbauer (or ultraspherica) polynomials C (λ) n (t) of order λ and degree n in t. For functions belonging to this function class, we have derived the estimates for the initial Taylor-Maclaurin coefficients |a 2 | and |a 3 | and we have also examined the Fekete-Szegö functional. Our main results are asserted by Theorem 1 and its Corollaries 1 to 5, as well as Theorem 2 and its Corollaries 6 to 8. It is also shown how some of these main results can be applied to (known or new) subclasses of normalized analytic functions satisfying the corresponding subordination condition and associated with the Legendre polynomials P n (t), the Chebyshev polynomials T n (t) of the first kind, and the Chebyshev polynomials U n (t) of the first kind.
In several recent developments on the Taylor-Maclaurin coefficient estimate problem and the Fekete-Szegö coefficient inequality problem, use has been made successfully of the Horadam polynomials h n (t) which are given by the following recurrence relation: h n (t) = pth n−1 (t) + qh n−2 (t) (t ∈ R) with h 1 (t) = a and h 2 (t) = bt, for some real constants a, b, p and q (see, for details, [16,22,23]; see also the references to the earlier works which are cited in each of these references). Indeed, as its special cases, the Horadam polynomials h n (t) contain a remarkably large number of other relatively more familiar polynomials including (for example) the Fibonacci polynomials, the Lucas polynomials, and the Pell-Lucas polynomials, as well as the Chebyshev polynomials T n (t) of the first kind and the Chebyshev polynomials U n (t) of the first kind. Most (if not all) of these recent developments also apply the basic or quantum (or q-) calculus as well.
A possible presumably open problem for future researches emerging from our present investigation would involve the analogous usage of the Horadam polynomials h n (t) instead of the Gegenbauer (or ultraspherical) polynomials C (λ) n (t) which we have used in our investigation.
In concluding this paper, we recall a recently-published survey-cum-expository review article in which Srivastava [14] explored the mathematical applications of the q-calculus, the fractional q-calculus and the fractional q-derivative operators in Geometric Function Theory of Complex Analysis, especially in the study of Fekete-Szegö functional. Srivastava [14] also exposed the not-yet-widely-understood fact that the so-called (p, q)-variation of the classical q-calculus is, in fact, a rather trivial and inconsequential variation of the classical q-calculus, the additional parameter p being redundant or superfluous (see, for details, [14, p. 340]; see also [15, pp. 1511-1512]).

Conflicts of interest
The authors declare that they have no conflicts of interest.