A Class of Bi-Univalent Functions in a Leaf-Like Domain Defined through Subordination via q¸-Calculus

: Bi-univalent functions associated with the leaf-like domain within open unit disks are investigated, and a new subclass is introduced and studied in the research presented here. This is achieved by applying the subordination principle for analytic functions in conjunction with q -calculus. The class is proved to not be empty. By proving its existence, generalizations can be given to other sets of functions. In addition, coefficient bounds are examined with a particular focus on | α 2 | and | α 3 | coefficients, and Fekete–Szegö inequalities are estimated for the functions in this new class. To support the conclusions, previous works are cited for confirmation.


Introduction, Definitions, and Motivation
Let ψ(ζ) be an analytic function defined in the open unit disk U ¸= {ζ ∈ C : |ζ| < 1}.We can classify this function as a member of a specific class A if it can be represented as: satisfying the normalization conditions: Denote S as the subclass of all functions of A that are univalent in U ¸.The study of the characteristics of normalized univalent functions that fall under this class and are defined in the open unit disk U ¸is the main focus of the geometry theory of functions.
An analytic function η that satisfies |η(ζ)| < 1 and η(0) = 0 within the domain U is called a Schwarz function.When considering two functions ψ 1 and ψ 2 from A, ψ 1 is referred to as subordinate to ψ 2 , denoted by ψ 1 ≺ ψ 2 , if a Schwarz function η exists such that ψ 1 (ζ) = ψ 2 (η(ζ)) for all ζ ∈ U ¸.The class P is associated with Carathéodory functions, as defined by Miller [1].These functions are analytic and satisfy the following conditions: Let φ ∈ P; then, the power series expansion is where This is in accordance with the renowned Carathéodory's Lemma (see [2]).In essence, φ ∈ P if and only if As the foundation upon which many important subclasses of analytic functions are built, the class P is crucial to the study of analytic functions.For any function ψ in the subfamily S of A, there exists an inverse function denoted as ψ −1 and defined by where A function ψ ∈ S is said to be bi-univalent if its inverse function ψ −1 ∈ S. The subclass of S denoted by Σ contains all bi-univalent functions in U ¸.A table illustrating certain functions within the class Σ and their inverse functions is provided below as Table 1.
Table 1.Some functions in class Σ along with their inverses.

The Function
The Corresponding Inverse Analytic functions and their subclasses have been the subject of extensive research in the field of complex analysis, especially from the geometric function theory point of view.The class S * , is one of these subclasses that has attracted a lot of interest.Here is how the class of starlike functions is defined: The study of S * and its properties is fundamental.Scholars aim to comprehend the geometric and analytic characteristics of functions in this class, investigating mappings, singularities, and other properties.Through exploring the challenges of S * , researchers hope to gain a better understanding of the structure and behavior of analytic functions, which will enhance their knowledge of complex analysis and its uses.
In 1992, Ma and Minda [3] introduced the set S * (Ω) by employing the concept of subordination, outlined as follows: Here, Ω represents an analytic function in  In 2015, Raina and Sokól [5] explored a new set of starlike functions linked to the function  Quantum calculus, or q ¸-calculus, does not use the idea of a derivative as the limit of a ratio as the increment tends to zero.Instead, it relies on the q ¸-operator, which is crucial for our discussion.This calculus expands the traditional concepts of mathematical analysis by introducing the parameter q ¸∈ (0, 1).For a detailed exploration of this topic, readers are advised to check the comprehensive treatise by Gasper and Rahman [11], which offers in-depth explanations and practical applications of q ¸-difference calculus in a variety of disciplines, including number theory, physics, and combinatorics.Definition 1 ([12]).The q ¸-bracket represented by [k] q ¸is defined explicitly for 0 < q ¸< 1 as follows:

Definition 2 ([12]
).The q ¸-difference operator, or q ¸-derivative, of a function ψ is defined for 0 < q ¸< 1 by: . Remark 1.For ψ ∈ A of the form (1), it can easily be seen that and for ψ −1 of the form (5), we have Because of its numerous applications in physics, quantum mechanics and mathema tics-particularly in the field of geometric function theory-researchers are still drawn to the study of q ¸-calculus.A significant aspect of q ¸-calculus is the operator ∂ q ¸, which is important for the analysis of different classes of analytic functions.In 1990, Ismail et al. [13] made a significant breakthrough by introducing the concept of q ¸-extension for starlike functions in the unit disk.This breakthrough opened the door for further investigations in geometric function theory.For example, in [14], Srivastava and his colleagues explored q ¸-starlike functions in conic domains and conducted studies on the upper bounds of the Fekete-Szegö functional.Recently, Srivastava provided a comprehensive survey that explains the mathematical foundations and practical applications of q ¸-derivative operators, within the context of geometric function theory [15].For those interested in delving deeper into q ¸-calculus and its implications in this field, an abundance of research is at one's disposal, starting with classical publications [16,17], continuing with studies like [18][19][20] and considering very recent research outcome on the topic like [21][22][23][24][25][26][27][28].

Definition 3 ([13]
).A function ψ ∈ A of the form (1) is said to belong to the class S * q ¸if it satisfies the condition given by t5 In a notable observation made by Khan et al. [29], it becomes apparent that as q approaches 1 − , the inequality lies in: Furthermore, it is noteworthy that the closed disk mentioned above pertains solely to the right-half plane.Consequently, the class S * q ¸of q ¸-starlike functions undergoes a transformation into the well-known class S * .Similarly, the relationship in Equation ( 6) can be expressed as follows (see [18]) using the idea of subordination: In 2020, Khan et al. [29] used q ¸-calculus to establish a new subclass of analytic functions related to a specific leaf-like domain.By applying the principles mentioned earlier and the concept of subordination, they were able to identify unique characteristics of this subclass.

Definition 4 ([29]
).A function ψ ∈ S is said to belong to the class R q ¸(Ω) if its satisfies the condition given by where The primary objective of this research is to investigate new categories of bi-univalent functions located within the leaf-like domain of the open unit disk U ¸.The next section will define the class under examination and provide illustrative examples to facilitate the achievement of this goal.Following that, Section 3 will derive coefficient estimates for the newly defined class, while Section 4 will delve into the evaluation of the Fekete-Szegö functional.Section 5 will then present corollaries that correspond to the given examples, which are generated by the theorems established in the preceding sections.

Definition and Examples
We will use the q ¸-calculus theory and the previously mentioned subordination principle among analytic functions to give an exact mathematical description of the newly defined class Σ q ¸(χ, Ω(ζ)) of bi-univalent functions related to a leaf-like domain.The definition of this class is provided below: Definition 5. A bi-univalent function ψ of the type (1) belongs to the class Σ q ¸(χ, Ω(ζ)) if it fulfills the following subordinations: and where with Ω(0) = 1 and χ ≥ 1.
Remark 3. The class Σ q ¸(χ, Ω(ζ)) is nonempty.There exist two approaches in validating this claim: the analytical approach and the graphical approach.
Now, substitute (16) into (15), which gives Substituting A 2 and A 3 into (16), we have for the left-hand side of (10).The inverse of Ω −1 (ζ) follows the same solving process as the L.H.S of (10), since (13) and ( 14) are equal.That is, Comparing ( 18) and (19), we deduce that both sides are equal.We conclude that they also satisfy both equations in Definition 5. Now, we can conclude that the extremal function given in (12) shows that our defined class of analytic and bi-univalent function is not empty.
Our objective is to demonstrate that this assumption implies ζ 1 = ζ 2 .We initiate the proof by considering the given condition: where |ϑ| < 0.21 .

3.
Let χ = 1 and q ¸→ 1 − .Then, the class , representing the bi-univalent class of functions ψ(ζ), provided the following subordination conditions hold: Up to this moment, there has been a scarcity of academic research on the numerous parameters that influence the functional classification of a leaf-like domain.The fundamental purpose of this work is to examine the initial Taylor-Maclaurin coefficients of functions ψ, as given by Equation (1), which are significant for the class Σ q ¸(χ, Ω(ζ)) related to a leaf-like domain.Furthermore, we seek to study the estimated value of the Fekete-Szegö functional.

The Fekete-Szegö Functional
Both Fekete and Szegö published their work in 1933, establishing a precise limit for the functional µa 2  2 − a 3 [32].This limit, known as the classical Fekete-Szegö inequality, was derived using real values of µ (0 ≤ µ ≤ 1).It is a challenging task to establish precise boundaries for a given function within a compact family of functions ψ ∈ A, for a real parameter µ.In this context, the Fekete-Szegö inequality for functions belonging to the class Σ q ¸(χ, Ω(ζ)) is examined, considering the findings of Zaprawa [33].

Corollaries
Theorems 1 and 2 generate the corollaries below, which generally correspond to Examples 1-3.

Corollary 1.
If ψ is an element of Σ defined by (1) and belongs to the class Σ q ¸(Ω(ζ)), then we can state the following: characterized by their association with a shell-shaped region.They derived coefficient inequalities for this family of functions.Following their research, Priya and Sharma introduced two distinct classes of functions.The first class is subordinate to Ω(ζ) = ζ + 3 √ 1 + ζ 2 , corresponding to a leaf-like domain.The second class is subordinate to Ω(ζ) = ζ + 3 √ 1 + ζ 3 , also associated with the leaf-like domain, as depicted in Figure 1.

3 Remark 2 .Figure 2 .
Figure 2.The figure illustrates the leaf-shaped region Ω(U ¸), which is bounded and symmetric with respect to the real axis.(a) depicts the image of Ω(U ¸) in green color, with q ¸approaches 1 − ; (b) displays the image of Ω(U ¸) in gray color, with q ¸= 0.98; (c) shows the image of Ω(U ¸) in blue color, with q ¸= 0.5; (d) illustrates the image of Ω(U ¸) in red color as q ¸approaches 0 + .
Table 2 below shows how different authors approached the problem of defining additional subclasses of starlike functions by choosing particular expressions for Ω.

Table 2 .
Some subclasses of starlike functions defined by subordination.