Results of Third-Order Strong Differential Subordinations

: In this paper, we present and investigate the notion of third-order strong differential subordinations, unveiling several intriguing properties within the context of specific classes of admissible functions. Furthermore, we extend certain definitions, presenting novel and fascinating results. We also derive several interesting properties of the results of third-order strong differential subordinations for analytic functions associated with the Srivastava–Attiya operator.


Introduction and Definitions
Differential subordination is a fundamental technique in geometric function theory of complex analysis used by many authors in investigations to obtain interesting new results.The notion of strong differential subordination was first used by Antonino and Romaguera [1] (see [2]) to study Briot-Bouquet's strong differential subordination.They introduced this concept as an extension of the classical notion of differential subordination, due to Miller and Mocanu [3] (see [4]).The concept was beautifully developed for the theory of strong differential subordination in 2009 [5], where the authors extended the concepts familiar to the established theory of differential subordination [4].There have been many interesting and fruitful usages of a wide variety of first-order and second-order strong differential subordinations for analytic functions.Recently, many researchers have worked in this direction and proved several significant results that can be seen in [6][7][8].Various strong differential subordinations were established by linking different types of operators to the study.The Sȃlȃgean differential operator was employed for introducing a new class of analytic functions in [9], and the Ruscheweyh differential operator in [10] for defining a new class of univalent functions and for studying strong differential subordinations.The Sȃlȃgean and Ruscheweyh operators were used together in the study presented in [11], and a multiplier transformation provided new strong differential subordinations in [12][13][14].The Komatu integral operator was applied for obtaining new strong differential subordinations results [15,16], and other differential operators proved effective for studying strong differential subordinations [17].The fractional derivative operator was used in [18], and the fractional integral of the extended Dziok-Srivastava operator was used in [19].Multivalent meromorphic functions and the Liu-Srivastava operator were involved in obtaining strong differential subordinations in [20].The topic remains of interest at present, as proven by recently published works (see, for details, [21][22][23]).Thus, in this current paper, we introduced and investigated the concept of third-order strong differential subordinations, unveiling several intriguing properties within the context of specific classes of admissible functions.
They [25] derived from (2) the relation In terms of the third order, there have been only three articles [1,[42][43][44] for the corresponding third-order implication connected to a special case.Let Π and ∆ be sets in C. Suppose p is an analytic function in U and We have determined properties of the function p that imply the following inequality holds: A natural question arises as to what conditions on Ξ, Π and ∆ are needed so that the implication (4) holds.
In this present article, we consider conditions on Π, ∆ and Ξ so that the inequality (4) holds.
We see that there are three different cases to consider in analyzing this inequality's truth: Problem 1.Given Π and ∆, we find Ξ so that (4) holds, and Ξ is an admissible function.Problem 2. Given Ξ and Π, we find the 'smallest' ∆ that satisfies (4).Problem 3. Given Ξ and ∆, we find the Π that satisfies (4).Furthermore, we find the 'largest' such Π.
The relation (4) can be rephrased in strong subordination terms, when either Π or ∆ is a simply connected domain.If ∆ is a simply connected domain with ∆ ̸ = C, and p(z) is analytic in U , then a conformal mapping q(z) of U onto ∆ can be performed so that q(0) = p(0).In such case, (4) can be written as follows: (5) Similarly, if Π is a simply connected domain, then there is a conformal mapping h of U onto Π so that h(0) = Ξ(p(0), 0, 0, 0; 0, 0).If is analytic in U , then (5) can be reduced to There are three key ingredients in a differential implication of the form of ( 5): the Ξ, the set Π and the dominating function q.If two of these entities were given, one would hope to find conditions on the third so that ( 6) would be satisfied.In this present article, we start with a given set Π and a given q, and determine a set of admissible operators Ξ so that inequality (4) holds.This leads to some of the definitions that will be used in our main results.
Definition 1. Suppose Ξ : C 4 × U × U −→ C and h is univalent in U .If p ∈ H and satisfies the third-order strong differential subordination then p is said to be a solution of the strong differential subordination.Moreover, if p ≺ q for all p satisfying (7), then the univalent function q is a dominant of the solutions for the strong differential subordination.A dominant q that satisfies q ≺ q for all dominants q of (7) is the best dominant of (7).
For Π ⊂ C, with Ξ and p given in Definition 1, relation ( 7) can be written as follows: Condition (8) will also be referred to as strong differential subordination, and can be further extended to the definitions of the solution, dominant and best dominant.
We will use the following lemmas from the third-order differential subordinations to find dominants of strong differential subordinations.
be analytic in U with n ≥ 2 and p(z) ̸ ≡ b, and let q ∈ Q(b).If there exist points z 0 = r 0 e iθ 0 ∈ U and ξ 0 ∈ ∂U \E(q) such that p(z 0 ) = q(ξ 0 ), p(U r 0 ) ⊂ q(U ), where z ∈ U r 0 and ξ ∈ ∂U \E(q), then there exists a real constant k ≥ n ≥ 2 such that Consider a special case when q is univalent in Lemma 1.If with |b| < M, then q(U ) = U M , q(0) = b and E(q) = ϕ.

Lemma 2 ([1]
).Let U r 0 = {z : |z| < r 0 }, with 0 < r 0 < 1. Suppose q given in ( 14) and Our main objective in this article is to systematically investigate several potentially useful results that are based upon third-order strong differential subordinations and their applications in geometric function theory of complex analysis.Our results give interesting new properties and, together with other papers that appeared in recent years, could emphasize the perspective of the importance of third-order strong differential subordination theory and the generalized Srivastava-Attiya operator.
The organization of this article is as follows.In Section 2 below, we derive the notion of third-order strong differential subordination, some definitions and the interesting main results.We consider some suitable classes of admissible functions and investigate several third-order strong differential subordination properties of multivalent functions involving the Srivastava-Attiya operator defined by (2) in Section 3. Some corollaries and consequences of our main results are also presented in Sections 2 and 3. Finally, in the last Section 4, some potential directions for related further research are presented.

Main Results
Unless indicated otherwise, we assume throughout the sequel that p ≥ 2, z ∈ U and ζ ∈ U .We establish the third-order strong differential subordinations theorem.In this connection, we state the following definition.Definition 3. Suppose Π ∈ C and q ∈ Q.The class of admissible functions Ξ n [Π, q] consists of those functions that fulfill the following admissibility condition: whenever r 1 = q(ξ), s 1 = nξq ′ (ξ), Here, Ξ 1 [Π, q] is denoted as Ξ[Π, q].We refer to two special subcases of this definition.If becomes Ξ(q(ξ), nξq ′ (ξ); z, ζ) / ∈ Π when ξ ∈ ∂U \E(q).We also deduce from Definition 3 the inclusion relations The following theorem is a key result in the notion of third-order strong differential subordination.
In Theorem 1, inequalities ( 17) and ( 18) are the most necessary for solving thirdorder differential subordination.If third-order terms in (18) are missing, then they are not required to satisfy (17).
The next result is a special case where the behavior of q on ∂U is not known in Theorem 1.
In Definition 3, there are no specific conditions on Π.When Π ̸ = C is a simply connected domain and there is a conformal mapping h of U onto Π, we denote the class Ξ n [h(U ), q] by Ξ n [h, q].The next two results are directly from Theorem 1 and Corollary 1.
Theorem 2. Consider p ∈ H[b, n] and q ∈ Q(b) and that they fulfill Corollary 2. Suppose q is univalent in U , with q(0) = b, and set q ρ (z) ≡ q(ρz) for ρ ∈ (0, 1).Consider that p ∈ H[b, n] and q ρ fulfill We next specify the connection between the best dominant of a strong differential subordination and the solution of a corresponding differential equation.
is analytic in U .Suppose h is univalent in U and the differential equation has a solution q ∈ Q(b) and implies that p(z) ≺ q(z) and q is the best dominant.
Proof.From Theorem 1, we have that q is a dominant of (20).Again, q fulfills (19) and it is a solution of (20).Thus, q will be dominated by all dominants of (20).Therefore, q is the best dominant.
We further pursue the family of admissible functions and theorems, when q(U ) is a disc.Since q is given by ( 14), the class denoted by Since q(w) = Me iθ with 0 ≤ θ ≤ 2π when |w| = 1, from Lemma 2 we derived the following.Definition 4. Consider q to be given by ( 14), n ≥ 2, and When b = 0, 0 ≤ θ ≤ 2π, we see from ( 21) that Ξ n [Π, M, 0] consists of those functions The following result is the immediate consequence.
Theorem 4. Consider that the q given in ( 14) and p ∈ H[b, n] satisfy where z ∈ U and 0 Next, we obtain the following corollary when b = 0 in Theorem 4.

Applications with the Operator
By using the operator I λ p,δ , we establish the family of admissible functions to discuss the strong subordination properties.Definition 5. Suppose Π is a set in C and q ∈ Q.The family of admissible functions Θ I [Π, q] consists of functions for ξ ∈ ∂U \E(q) and k ≥ p. Theorem 6.Consider I λ p,δ f (z) ∈ H[0, p] with p ≥ 2, q ∈ Q(0) and that they satisfy when ξ ∈ ∂U \E(q) and k ≥ p.If Π is a set in C, Θ ∈ Θ I [Π, q] and f (z) ∈ A(p) satisfies then I λ p,δ f (z) ≺ q(z).
Differentiating (25) with respect to z, and using the identity (3), we obtain Again, by differentiating (26), we have Further computations show that Set the transformations from C 4 to C by Using Equations ( 25)-( 28), and from (30), we obtain Therefore, the inclusion (24) leads to Hence, the admissibility condition in Definition 5 for Θ ∈ Θ I [Π, q] is equivalent to Definition 3. Thus, by use of ( 23) and applying Theorem 1, we obtain g(z) ≺ q(z) The hypothesis of Theorem 6 requires that the behavior of q on the boundary is not known.
In Definition 5, there are no special conditions on Π .When Π ̸ = C, then there is some conformal mapping h of U onto Π.Let it be denoted by Θ I [h, q].We then obtain the results that are an immediate consequence of Theorem 6 and Corollary 4. Corollary 5. Consider q to be univalent in U , with q(0) = 0, and set q ρ (z) ≡ q(ρz) for ρ ∈ (0, 1).Let I λ p,δ f (z) ∈ H[0, p] for p ≥ 2 and let I λ p,δ f (z) and q ρ satisfy (23).If Π is a set in C, Θ ∈ Θ I [Π, q ρ ] , f (z) ∈ A(p) and We next indicate the connection between the best dominant and the solution of a strong differential subordination. is analytic in U .Suppose h is univalent in U and q ∈ Q(0) is a solution of the following differential equation Θ(I λ p,δ f (z), I λ−1 p,δ f (z), I λ−2 p,δ f (z), and satisfies (23).If Π is a set in C, Θ ∈ Θ I [h, q] and f (z) ∈ A(p) fulfills Θ(I λ p,δ f (z), I λ−1 p,δ f (z), I λ−2 p,δ f (z), then I λ p,δ f (z) ≺ q(z) and q is the best dominant.
Proof.From Theorem 6, we conclude that q is a dominant of (32).Since q satisfies (31), q is a solution of (32).Thus, q is dominated by all dominants of (32).Therefore, q is the best dominant.
Our next outcomes are for the specialized case of q being a disc, where q is given by ( 14 Let N denote the set of positive integers.Suppose H = H(U ) denotes the class of analytic functions in the open unit disc U = {z : z ∈ C and |z| < 1}, where C is the set of complex numbers.For n ∈ N, b ∈ C, define the class of functions