An Avant-Garde Construction for Subclasses of Analytic Bi-Univalent Functions

: The zero-truncated Poisson distribution is an important and appropriate model for many real-world applications. Here, we exploit the zero-truncated Poisson distribution probabilities to construct a new subclass of analytic bi-univalent functions involving Gegenbauer polynomials. For functions in the constructed class, we explore estimates of Taylor–Maclaurin coefﬁcients | a 2 | and | a 3 | , and next, we solve the Fekete–Szeg˝o functional problem. A number of new interesting results are presented to follow upon specializing the parameters involved in our main results.


Introduction
In discrete probability distributions, the Poisson distribution has found an extensive and varied application in formulating probability models for a wide variety of real-life phenomena dealing with counts of rare events, such as reliability theory, queueing systems, epidemiology, medicine, industry, and many others. In some practical situations, only positive counts would be available and the zero count is ignored or is impossible to be observed at all. For instance: the length of stay in a hospital is recorded as a minimum of at least one day, the number of journal articles published in different disciplines, the number of occupants in passenger cars, etc. An appropriate Poisson distribution that applies to such a case is called a zero-truncated Poisson distribution.
The probability density function of a discrete random variable X that follows a zerotruncated Poisson distribution can be written as P m (X = s) = m s (e m − 1)s! , s = 1, 2, 3, . . . , where the parameter mean m > 0. Now, we introduce a novel power series whose coefficients are probabilities of the zero-truncated Poisson distribution P(m, z) where m > 0 and U := {z ∈ C : |z| < 1} is the open unit disk. By ratio test, it is clear that the radius of convergence of the above series is infinity.
Orthogonal polynomials have been extensively studied in recent years from various perspectives due to their importance in mathematical statistics, probability theory, mathematical physics, approximation theory, and engineering. From a mathematical point of view, orthogonal polynomials often arise from solutions of ordinary differential equations under certain conditions imposed by certain model. Orthogonal polynomials that appear most commonly in applications are the classical orthogonal polynomials (Hermite polynomials, Laguerre polynomials, and Jacobi polynomials). The general subclass of Jacobi polynomials is the set of Gegenbauer polynomials, this class includes Legendre polynomials and Chebyshev polynomials as subclasses. To study the basic definitions and the most important properties of the classical orthogonal polynomials, we refer the reader to [1][2][3][4]. For a recent connection between the classical orthogonal polynomials and geometric function theory, we mention [5][6][7][8][9][10].
Gegenbauer polynomials C α n (x) for n = 2, 3, . . . , and α > − 1 2 are defined by the following three-term recurrence formula It is worth mentioning that by setting α = 1 2 and α = 1 in Equation (1), we immediately obtain Legendre polynomials P n (x) = C 1 2 n (x) and Chebyshev polynomials of the second kind U n (x) = C 1 n (x), respectively. The generating function of Gegenbauer polynomials is given as where x ∈ [−1, 1] and z ∈ U. For fixed x, the function H α is analytic in U, so it can be expanded in a Taylor-Maclaurin series, as follows:

Preliminaries and Definitions
Let A denote the class of all normalized analytic functions f written as Differential subordination of analytic functions provides excellent tools for study in geometric function theory. The earliest problem in differential subordination was introduced by Miller and Mocanu [11], see also [12]. The book of Miller and Mocanu [13] sums up most of the advancement in the field and the references to the date of its publication.
Definition 1. Let f and g be two analytic functions in U. The function f is said to be subordinate to g, written as f (z) ≺ g(z), if there is an analytic function ω in U with the properties such that f (z) = g(ω(z)), z ∈ U.

Definition 2.
A single-valued one-to-one function f defined in a simply connected domain is said to be a univalent function.
Let S denote the class of all functions f ∈ A, given by (3), that are univalent in U. Hence, every function f ∈ S has an inverse given by

Definition 3.
A univalent function f is said to be bi-univalent in U if its inverse function f −1 (w) has an analytic univalent extension in U.
The coefficient functional of the analytic function f given by (3) is very important in the theory of analytic and univalent functions. Thus, it is quite natural to ask about inequalities for ∆ η ( f ) corresponding to subclasses of bi-univalent functions in the open unit disk U. The problem of maximizing the absolute value of the functional ∆ η ( f ) is called the Fekete-Szegö problem [25]. There are now several results of this type in the literature, each of them dealing with |a 3 − ηa 2 2 | for various classes of functions defined in terms of subordination (see, e.g., [26][27][28][29][30][31]). Now, let us define the linear operator where the symbol " * " denotes the Hadamard product of the two series.
Motivated essentially by the earlier work of Amourah et al. [33], we construct, in the next section, a new subclass of bi-univalent functions governed by the zero-truncated Poisson distribution series and Gegenbauer polynomials. Then, we investigate the optimal bounds for the Taylor-Maclaurin coefficients |a 2 | and |a 3 | and solve the Fekete-Szegő functional problem for functions in our new subclass.
Upon allocating the parameters µ and δ, one can obtain several new subclasses of Σ, as illustrated in the following two examples.
The following result addresses the Fekete-Szegő functional problem for functions in the class ζ Σ (x, α, δ, µ).

Corollary 2.
If the function f belongs to the class ζ Σ (x, α), then

Concluding Remarks
In the present work we have constructed a new subclass ζ Σ (x, α, δ, µ) of normalized analytic and bi-univalent functions governed with the zero-truncated Poisson distribution series and Gegenbauer polynomials. For functions belonging to this class, we have made estimates of Taylor-Maclaurin coefficients, |a 2 | and |a 3 |, and solved the Fekete-Szegő functional problem. Furthermore, by suitably specializing the parameters δ and µ, one can deduce the results for the subclasses ζ Σ (x, α, µ) and ζ Σ (x, α) which are defined, respectively, in Examples 1 and 2.
The results offered in this paper would lead to other different new results for the classes ζ Σ (x, 1/2, δ, µ) for Legendre polynomials and ζ Σ (x, 1, δ, µ) for Chebyshev polynomials.
It remains an open problem to derive estimates on the bounds of |a n | for n ≥ 4, n ∈ N, for the subclasses that have been introduced here.

Data Availability Statement:
No data were used to support this study.

Conflicts of Interest:
The authors declare no conflict of interest.