Geometric behavior of a class of algebraic di ﬀ erential equations in a complex domain using a majorization concept

: In this paper, a type of complex algebraic di ﬀ erential equations (CADEs) is considered formulating by


Introduction
An algebraic differential equation is a differential equation that can be formulated by consequence with differential algebra. There are different directions to study this class involving complex domains. These studies are considered the second-order homogeneous linear differential equation [1], meropmorphic solution by using Painlevé analysis [2], univalent symmetric solution by applying a special case of Painlevé analysis [3], fractional calculus of CADEs [4][5][6], Nevanlinna method, for normal classes, and algebraic differential equations [7], irregular and regular singular solutions, by utilizing special functions such as Zeta function [8], numerical solution [9] and quantum studies [10].
The geometric behavior of classes of CADEs is studied in different views. Phong [11] presented a solution of a class of CADEs driven by string theories. The class is also motivating from the view of non-Kahler geometry and the theory of non-linear partial differential equations. Brodsky [12] analyzed a class of CADEs by utilizing the concept of Bourbaki geometric theory with applications in multi-agent system. Seilera and Seib [13] employed the differential geometric theory to recognize the solution of a class of CADEs. Fenyes [14] introduced a complete analysis of solution of a class of CADEs using the quasiconformal geometry. Kravchenko et al. [15] studied the analytic solution by using the geometry behavior of Liouville transformation. More studies of analytic solutions of CADEs can be located in [16][17][18].
Here, we proceed to study a class of CADEs geometrically. Our tools are based on some concepts from the geometric function theory and univalent function theory. For an analytic function ϕ which defined in the open unit disk ∪ = {z ∈ C : |z| < 1}, we formulate the following CADE as follows: Our aim is to present sufficient conditions to obtain its analytic solutions. We show that these solutions are subordinated to analytic convex functions in terms of e z . Moreover, we investigate the coefficient bounds of CADE by employing the majorization method. We achieve that the coefficients bound are optimized by Bernoulli numbers.

Materials and method
A special class of CADEs is studied in [2] taking the structure where α and a ı ∈ C, ı = 0, ..., m are constants such that Here, we rearrange (2.1) and investigate the geometric properties by including it in some classes of normalized analytic functions in ∪. Then the solution is majorized by employing special function in ∪. Eq (2.1) implies the homogeneous form when α 0 Fenyes [14] studied a special case of Eq (2.1) as follows: (ϕ (z)) 2 = q/2, where q indicates the potential energy, by using the Liouville transformation. The same technique is used by Vladislav et al [15] to analyze the equation ϕ (z) + cϕ(z) = 0.
To study Eq (2.2) geometrically, we need the next concepts.
Our study is indicated by using the above inequality to define the following special class.
It is clear that P(0) = 1. In the sequel, we shall consider a starlike function with positive real part such as e z and a convex function (univalent) as well as is convex univalent in ∪ (see [19], P415). Note that the coefficients are converging to the Bernoulli numbers. Moreover, the real part of the function e (z) = (e z − 1)/z satisfies the inequality Our computation is based on analytic technique of Caratheodory functions which are used in [20]. This is the first step. The second step is to majorize Λ m ϕ (z) by a special type of ρ(z), z ∈ ∪ denoted by Λ m ϕ (z) ρ(z). Note that two functions are under majorization if and only if |λ  | ≤ |ρ  | for all  = 1, 2, ... , where λ  and ρ  are the coefficients of Λ m ϕ (z) and ρ(z) respectively. In this case, we illustrate sufficient conditions of the coefficient bounds of Λ m ϕ (z), for different values of m = 0, 1, .., using a Caratheodory function.
Majorization-subordination theory creates by Biernacki who exposed in 1936 that if f (z) is subordinate in ∪ to F(z) (F(z) is the normalized function in ∪). In the following works, Goluzin, Tao Shah, Lewandowski and MacGregor studied numerous connected problems, but continuously under the condition that the dominant function F(z) is |z| < 0.12. In 1951, Goluzin presented that if f (z) is majorized by a univalent function F(z), then f (z) is majorized by F (z) in |z| < 0.12. He conjectured that majorization would continuously arise for |z| < 3-√ 8 and this was shown by Tao Shah in 1958. Later Campbell proved the same result for a parametric class of univalent function (see [21]).

Results
In this place, we illustrate our computational results. Theorem 3.1. Let the function ϕ ∈ ∧ achieving the inequality Clearly, Γ γ (z) is analytic in ∪ satisfying Γ γ (0) = 1 and it is a solution of the differential equation Then Miller-Mocanu Lemma (see [19], P132) implies that To complete this case, we only request to show that Γ γ (z) ≺ ρ e (z). Obviously, the function Γ γ (z) is increasing in the interval (−1, 1) that is achieving the inequality Since the function ρ e (z) satisfies the inequality for real ϑ, then the following inequality holds if γ achieves the upper and lower bounds (see Fig1-first row)

This leads to the subordination inequalities
Case II: k = 1 ⇒ 1 + γ z P (z)

P(z)
≺ z + √ z 2 + 1. Define a function Π γ : ∪ → C formulating the structure Clearly, Π γ (z) is analytic in ∪ satisfying Π γ (0) = 1 and it is a solution of the differential equation Then again, according to Miller-Mocanu Lemma, we have Accordingly, the next inequality carries if γ admits the upper and lower bounds (see Figure 1-second row)

This yields to the subordination inequalities
Case III: k = 2 ⇒ 1 + γ z P (z) Clearly, Θ γ (z) is analytic in ∪ satisfying Θ γ (0) = 1 and it is a solution of the differential equation By using O(z) = z + √ z 2 + 1 − 1, which is starlike in ∪ and H(z) = O(z) + 1, we get Then again, according to Miller-Mocanu Lemma, we have if γ 2 admits the upper and lower bounds (see Figure 1-third row) ≈ 1.077.. and max γ 2 = e( Next result studies the subordination with respect to the function e (z) = e z −1 z , z ∈ ∪. Theorem 3.2. Let the the assumptions of Theorem 3.1 hold. Then
By the proof of Theorem 3.1, we have the following inequality if γ has the upper and lower bounds (see Figure 2-first row) This leads to the subordination inequalities (see Figure 2-second row) Similarly, we have
Compering the coefficients of Λ m ϕ (z) and ρ e (z), we have • Note that Theorems 4.1 and 4.2 show that Λ m ϕ (z) accumulates at m = 5, which leads to the expansion structure (see Figure 3)  respectively. • Results in [2] indicate that for n = 4, the coefficients satisfy A 4 0 by using Painlevé analysis, which did not apply in case n ≥ 5. While, the majorization-subordination analysis indicates that for n ≥ 5, the coefficients are converged by Bernoulli numbers.

Conclusions
A class of non-linear complex algebraic differential equations (CADEs) is investigated in view of geometric function theory. We defined a class of normalized functions including the structure of CADEs. Based on the subordination inequality, we introduced the values of constant coefficients.
As proceeding works in this direction, one can generalize Eq (2.1) in terms of differential operators including fractional differential and convolution operator in the open unit disk. Or can be realized by a quantum calculus.