Strong Differential Superordination Results Involving Extended S ˘al ˘agean and Ruscheweyh Operators

: The notion of strong differential subordination was introduced in 1994 and the theory related to it was developed in 2009. The dual notion of strong differential superordination was also introduced in 2009. In a paper published in 2012, the notion of strong differential subordination was given a new approach by deﬁning new classes of analytic functions on U × U having as coefﬁcients holomorphic functions in U . Using those new classes, extended S˘al˘agean and Ruscheweyh operators were introduced and a new extended operator was deﬁned as L m α : A ∗ n ζ → A ∗ n ζ , L m α f ( z , ζ ) = ( 1 − α ) R m f ( z , ζ ) + α S m f ( z , ζ ) , z ∈ U , ζ ∈ U , where R m f ( z , ζ ) is the extended Ruscheweyh derivative, S m f ( z , ζ ) is the extended S˘al˘agean operator and A ∗ n ζ = { f ∈ H ( U × U ) , f ( z , ζ ) = z + a n + 1 ( ζ ) z n + 1 + . . . , z ∈ U , ζ ∈ U } . This operator was previously studied using the new approach on strong differential subordinations. In the present paper, the operator is studied by applying means of strong differential superordination theory using the same new classes of analytic functions on U × U . Several strong differential superordinations concerning the operator L m α are established and the best subordinant is given for each strong differential superordination.


Introduction
Strong differential subordination is a concept introduced by J.A. Antonino and S. Romaguera in 1994 [1] based on the classical notion of subordination defined by S.S. Miller and P.T. Mocanu [2,3]. When Antonino and Romaguera introduced the notion, only the special case of Briot-Bouquet strong differential subordination was considered. The subject was further developed by J.A. Antonino in 2006 [4], but it was only in 2009 that the classical theory of differential subordination was followed by G.I. Oros and Gh. Oros [5] in order to study the general case of strong differential subordination.
In the paper [6] published in 2012, the notion of strong differential subordination was given a new approach by defining new classes of analytic functions on U × U having as coefficients holomorphic functions in U. These classes are given below as they appear in [6]: Denote by U the unit disc of the complex plane U = {z ∈ C : |z| < 1}, U = {z ∈ C : |z| ≤ 1} the closed unit disc of the complex plane and H(U × U) the class of analytic functions in U × U. Let A * nζ = { f ∈ H(U × U), f (z, ζ) = z + a n+1 (ζ)z n+1 + . . . , z ∈ U, ζ ∈ U}, where a k (ζ) are holomorphic functions in U for k ≥ 2, and H * [a, n, ζ] = { f ∈ H(U × U), f (z, ζ) = a + a n (ζ)z n + a n+1 (ζ)z n+1 + . . . , z ∈ U, ζ ∈ U}, for a ∈ C, n ∈ N, a k (ζ) are holomorphic functions in U for k ≥ n.
In 2009, G.I. Oros [7] proposed the concept of strong differential superordination as a dual concept, building on the general theory of differential superordination established by S.S. Miller and P.T. Mocanu [8]. Definition 1 ([7]). Let f (z, ζ), H(z, ζ) be analytic in U × U. The function f (z, ζ) is said to be strongly superordinate to H(z, ζ) if there exists a function w analytic in U, with w(0) = 0 and |w(z)| < 1, such that H(z, ζ) = f (w(z), ζ), for all ζ ∈ U. In such a case, we write , the strong superordination becomes the usual notion of superordination.

Definition 2 ([7]
). Let ϕ : C 3 × U × U → C and let h be analytic in U. If p and ϕ(p(z), zp (z), z 2 p (z); z, ζ) are univalent in U for all ζ ∈ U and satisfy the (second-order) strong differential superordination then p is called a solution of the strong differential superordination (1). An analytic function q is called a subordinant of the solutions of the strong differential superordination or more simply a subordinant, if q ≺≺ p for all p satisfying (1). A subordinant q that satisfies q ≺≺ q for all subordinants q of (1) is said to be the best subordinant of (1).
Results involving strong differential superordination investigated with operators began to be published shortly after the concept was introduced [9], continued to demonstrate the topic's interest in the following years ( [10,11]) and are still in development, as evidenced by the numerous papers published in recent years ( [12][13][14][15][16][17]). The differential operator studied in [18] was extended in the paper published in 2012 [19] to the new class of analytic functions A * nζ using the definitions given below. It will be further studied in this paper and several strong differential superordinations will be established.
Definition 5 ([19]). For f ∈ A * nζ , n, m ∈ N, the Ruscheweyh operator R m is defined by R m : Remark 3 ([19]). If f ∈ A * nζ , f (z, ζ) = z + ∑ ∞ j=n+1 a j (ζ)z j , then the Ruscheweyh operator has the following form The extended operator introduced as a linear combination of Sȃlȃgean and Ruscheweyh operators and studied using the notions related to strong differential subordination in [18] is shown in the next definition: Denote by L m α the operator defined as a linear combination of Sȃlȃgean and Ruscheweyh operators, given by L m In order to prove the strong differential superordination results, the following lemmas are required: ). Let h(z, ζ) be a convex function with h(0, ζ) = a and let γ ∈ C * be a complex number with Re γ ≥ 0.
The function q is convex and is the best subordinant.
The function q is the best subordinant.

Main Results
The original results contained in this section are presented in theorems and corollaries that involve the operator L m α f (z, ζ), its derivative with respect to z, and the operator of order m + 1 L m+1 α f (z, ζ) alongside its derivative with respect to z. Results related to the operator L m α f (z, ζ) are obtained in Theorem 1 and concerning its derivative with respect to z, (L m α f (z, ζ)) z , in Theorems 2-4. Different orders of the operator are considered in Theorems 5 and 6 and strong differential superordinations involving the derivative with respect to z of the form are investigated providing the best subordinant for each strong differential superordination. Special strong differential superordinations are considered in Theorems 7 and 8 where the operator L m+1 α f (z, ζ) and its derivative with respect to z, [L m+1 α f (z, ζ)] z , are used. The best subordinants of those strong differential superordinations are also provided. Interesting corollaries are obtained for special functions used as auxiliary function h(z, ζ) in the strong differential superordinations investigated in the theorems.
The function q is convex and it is the best subordinant.
where q is given by q The function q is convex and it is the best subordinant.
Proof. Following the same steps as in the proof of Theorem 1 and considering p(z, ζ) = (L m α F(z, ζ)) z , the strong differential superordination (6) becomes Using Lemma 1 for γ = c + 2, we have q(z, ζ) ≺≺ p(z, ζ), i.e., The function q is convex and it is the best subordinant.
The function q is convex and it is the best subordinant.
Proof. Using the properties of operator L m α , we have We deduce that p ∈ H * [1, n, ζ].
nζ and suppose that (L m α f (z, ζ)) z is univalent and L m then where q is given by q(z, ζ) = 2β − ζ + 2(ζ−β) The function q is convex and it is the best subordinant.
Proof. Using the same procedure as in the proof of Theorem 3, and taking into account p(z, ζ) = L m α f (z,ζ) z , the strong differential superordination (14) becomes Using Lemma 1 for γ = 1, we have q(z, ζ) ≺≺ p(z, ζ), i.e., The function q is convex and it is the best subordinant.
The function q is convex and it is the best subordinant. Theorem 6. Let q(z, ζ) be a convex function and h be defined by h(z, ζ) = q(z, ζ) + zq z (z, ζ).