Fekete–Szegö Problem and Second Hankel Determinant for a Class of Bi-Univalent Functions Involving Euler Polynomials

: Some well-known authors have extensively used orthogonal polynomials in the framework of geometric function theory. We are motivated by the previous research that has been conducted and, in this study, we solve the Fekete–Szegö problem as well as give bound estimates for the coefﬁcients and an upper bound estimate for the second Hankel determinant for functions in the class G Σ ( v , σ ) of analytical and bi-univalent functions, implicating the Euler polynomials.


Introduction
Let the collection of all functions f be expressed by A and has the following form of series.
which are holomorphic in U where U = {ξ ∈ C : |ξ| < 1} in the complex plane.If a function never yields the same value twice, it is said to be univalent in U .Mathematically ξ 1 = ξ 2 for all points ξ 1 and ξ 2 in U implies f (ξ 1 ) = f (ξ 2 ).
Let S represent the family of all univalent functions in A as well.As the families of starlike and convex functions of order φ, respectively, the sets S * (φ) and C(φ) are some of the significant and well-researched subclasses of S, therefore, have been added here as follows (see [1,2]).
S * (φ) = f ∈ S : Remark 1.It is easy to seen that S * (0) = S * and C(0) = C, where S * and C are the well-known function classes of starlike and convex functions, respectively.
Suppose g and f be analytical functions in U .For an analytic function w with |ω(ξ)| < 1 and ω(0) = 0 (ξ ∈ U ), The function f is considered to be subordinate to g if the relation below holds, that is g(ω(ξ)) = f (ξ).
In addition to that, if the function g ∈ S, then the following equivalency exists: and f (U ) ⊂ g(U ).
A function f which is analytic is said to be bi-univalent in U if both f and f −1 are univalent in U .The classes of all such function is denoted by Σ.
The housebreaking research of Srivastava et al. [3] in fact, in the past decades, revitalized the examination of bi-univalent functions.Following the study of Srivastava et al. [3], numerous unique subclasses of the class Σ were presented and similarly explored by numerous authors.The function classes H Σ (γ, ε, µ.ς; α) and H Σ (γ, ε, µ.ς; β) as an illustration, were defined and Srivastava et al. [4] produced estimates for the Taylor-Maclaurin coefficients |a 2 | and |a 3 |.Many authors were motivated by the work of Srivastava and have defined a number of other subclasses of analytic and bi-univalent functions, and for their defined functions classes different types of results were obtained.In this paper, motivated by the work of Srivastava, we define certain new classes of bi-univalent functions and obtain some remarkable results for our defined function's classes, including, for example, the initial bonds for the coefficients, the Fekete-Szegö problem and the second Hankel determinant.
The theory of special functions, originating from their numerous applications, is a very old branch of analysis.The long existing interest in them has recently grown due to their new applications and further generalizations.The contemporary intensive development of this theory touches various unexpected areas of applications and is based on the tools of numerical analysis and computer algebra system, used for analytical evolutions and graphical representations of special functions.Additionally, in Computer Science, special functions are used as activation functions, which play a significant role in this area.Particularly, orthogonal polynomials are an important and intriguing class of special functions.Many branches of the natural sciences contain them, including discrete mathematics, theta functions, continuous fractions, Eulerian series, elliptic functions, etc.; see [5,6], also [7][8][9].
In pure mathematics, the functions mentioned above have numerous uses.A lot of researchers have started working in a variety of fields as a result of the widespread use of these functionalities.Modern geometric function theory research focuses on the geometric features of special functions, including hypergeometric functions, Bessel functions, and certain other related functions.We refer to [10,11] and any relevant references in relation to some of the geometric characteristics of these functions.In this paper, we develop a new class of bi-univalent functions and use a particular special function, the Euler polynomial.
Using the generating function, the Eulers polynomials E m (v) are frequently defined (see, e.g., [12,13]): An explicit formula for E m (v) is given by Now E m (v) in terms of E k can be obtained from the equation above as: The initial Euler polynomials are: Geometric function theory continues to struggle with the subject of determining bounds on the coefficients.The size of their coefficients can have an impact on a variety of aspects of analytic functions, including univalency, rate of growth, and distortion.The Fekete-Szegö problem, Hankel determinants, and many other formulations of efficient problems include an estimate of general or l th coefficient bounds.The coefficient concerns discussed above were addressed by several researchers using various approaches.Here, the functional of Fekete-Szegö for a function f (ξ) ∈ S is quite significant, and is denoted by L β ( f ) = |s 3 − βs 2  2 |.By giving this functional, Fekete and Szegö [14] invalidated the Littlewood and Parley's claim that the modulus of coefficients of odd functions f ∈ S are less than or equal to 1.Much attention has been paid to the functional, especially in several subfamilies of univalent functions (see [15,16]).
Pommerenke [17] investigated and defined below the l th -Hankel determinant, denoted by H s (l)(s, l ∈ N = {1, 2, 3, • • • }), for any function f ∈ S in geometric function theory: For certain s and l values, We see that the determinant |H 2 (1)| corresponds with the L 1 ( f ), implying that L β ( f ) is a generalization of |H 2 (1)|.Following that, many additional subclasses of univalent functions paid close attention to the problem of determining bounds on coefficients.Recent research in this area includes the papers in [18,19].
In this study, we define the new subclass introduced and studied in the present paper, denoted by G Σ (v, σ), consisting of bi-univalent functions satisfying a certain subordination involving Eulers polynomials.We solve the Fekete-Szegö problem for functions in the class G Σ (v, σ) and in the special instances, as well as provide bound estimates for the coefficients.Definition 1.For f ∈ G Σ (v, σ), suppose the following subordination is true: and ) is given by (3), and F = f −1 is given by (2).It could be seen that both the functions f and and its inverse F = f −1 are univalent in U , so we can conclude that the function f is bi-univalent belonging to the function class G Σ (v, σ).Remark 2. Setting σ = 0 in Definition 1, we have bi-starlike function class f ∈ S * Σ (v), which fulfilled the following conditions: and wF (w) where ξ, w ∈ U , L(v, w) is given by (3), and F = f −1 is given by (2).
Remark 3. Setting σ = 1 in Definition 1, we have bi-convex function class f ∈ C Σ (v), which fulfilled the following conditions: and where L(v, w) is given by (3), and F = f −1 is given by (2).
Next, let P represent the class including those functions, analytic in U , and having series form given below as: such that {α(ξ)} > 0 (∀ ξ ∈ U ).
By putting σ = 0 in the above Theorem 2, we obtain the following result.
Then, for some µ ∈ R, where Letting σ = 1 in Theorem 2, we can obtain the next result.

The First Case
When r = 0, Clearly the function J(η 1 , η 2 ) attains its maximum at (η 1 , η 2 ) and (49) The Second Case In the case of r = 2, J(η 1 , η 2 ) is represented as a constant function with regard to m, giving us

The Third Case
When r ∈ (0, 2), let η 1 + η 2 = d and η 1 • η 2 = Y in this case, then (48) can be of the form where, d ∈ [0, 2] ald q ∈ [0, 1].Now, we need to investigate the maximum of By differentiating Y(d, q) partially, we have These findings demonstrate that Y(d, r) has no critical point in the square Ψ, and, consequently, J(η 1 , η 2 )has no critical point in the same region.Because of this, the function J(η 1 , η 2 ) is unable to reach its maximum value inside of Ψ.
Let T : (0, 2) → R defined by 57) and with some calculations, we have where If T(v, r) achieves a maximum value inside of r ∈ [0, 2] and by using some basic mathematics, we have In virtue of the signs of B 1 and B 2 , we must now investigate the sign of the function T (v, r).1st result: Suppose B 1 ≥ 0 and B 2 ≥ 0 then, T (v, r) ≥ 0. This shows that T(v, r) is an increasing function on the boundary of r ∈ is a critical point of the function T(v, r).Now, Therefore, r 0 is the minimum point of the function T(v, r).Hence, T(v, r) can not have a maximum.3rd result: Therefore, T(v, r) is a decreasing function on the interval (0, 2).Consequently, (60) Therefore, T (v, r) < 0. Hence, g 0 is the maximum point of the function T(v, r) and r = g 0 is the maximum value.Likewise max{T(v, r) : r ∈ (0, 2)} = T(g 0 , s) T(g 0 , t) = E 2 1 (v) 4(1 + 2σ) 2 + 9B 4  2 (1 + σ) 4 4(1 + 2σ) 2 (1 + 3σ)B 3 1 Taking σ = 0 in Theorem 3, we have the next corollary.
Taking σ = 1 in Theorem 3, we have the next corollary.

Conclusions
The many well-known mathematicians have been studied the special functions, as well as polynomials in the recent years, due to the fact that they are used in a wide variety of mathematical and other scientific fields as indicated in the introduction section.The subject of this paper is a novel subclass of analytical and univalent functions which have been defined by using Euler polynomial.We solved the Fekete-Szegö problem, as well as provided bound estimates for the coefficients and an upper bound estimate for the second Hankel determinant for functions in the class G Σ (v, σ).One can extend the above results for a class of certain q-Starlike functions, as mentioned in [21][22][23][24][25][26][27].