Next Article in Journal
Integral Representation of Coherent Lower Previsions by Super-Additive Integrals
Next Article in Special Issue
Nonlocal Inverse Problem for a Pseudohyperbolic- Pseudoelliptic Type Integro-Differential Equations
Previous Article in Journal
Distribution Tableaux, Distribution Models
Previous Article in Special Issue
Coincidence Continuation Theory for Multivalued Maps with Selections in a Given Class
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections

by
Rabha W. Ibrahim
1,2,
Rafida M. Elobaid
3,* and
Suzan J. Obaiys
4
1
Informetrics Research Group, Ton Duc Thang University, Ho Chi Minh City 758307, Vietnam
2
Faculty of Mathematics & Statistics, Ton Duc Thang University, Ho Chi Minh City 758307, Vietnam
3
Department of General Sciences, Prince Sultan University, Riyadh 12435, Saudi Arabia
4
School of Mathematical and Computer Sciences, Heriot-Watt University Malaysia, Putrajaya 62200, Malaysia
*
Author to whom correspondence should be addressed.
Axioms 2020, 9(2), 42; https://doi.org/10.3390/axioms9020042
Submission received: 30 March 2020 / Revised: 15 April 2020 / Accepted: 16 April 2020 / Published: 21 April 2020

Abstract

:
A class of Briot–Bouquet differential equations is a magnificent part of investigating the geometric behaviors of analytic functions, using the subordination and superordination concepts. In this work, we aim to formulate a new differential operator with complex connections (coefficients) in the open unit disk and generalize a class of Briot–Bouquet differential equations (BBDEs). We study and generalize new classes of analytic functions based on the new differential operator. Consequently, we define a linear operator with applications.

1. Introduction

Inequalities in a complex domain play a massive role in function theory. They have been employed to introduce the geometric interpolation of analytic functions in the open unit disk. Moreover, they have been utilized to formulate generalized classes of analytic functions. Recently, Lupas [1] suggested a combination of two famous differential operators given by Ruscheweyh [2] and Sàlàgean [3] to present a set of inequalities and inclusions by using the concept of subordination.
In this study, we shall define a new differential operator of complex coefficients and study its behaviors based on the properties of the theory of geometric functions. The new operator will be formulated in generalized sub-classes of starlike functions. Subordination inequalities include the generalized operator, and some well-known functions are discussed. Sharp results are indicated in the sequel. As an application, we introduce a generalization of a class of Briot–Bouquet differential equations (BBDEs) in the complex domain. Consequently, examples are illustrated utilizing the time-space BBDEs. A comparison with recent works is shown in the sequel.

2. Differential Operators

The theory of special functions in one variable has a long and ironic past; the rising importance in special functions of several variables is moderately contemporary. Currently, there has been quick progress specifically in the area of special functions with the consideration of symmetries and harmonic analysis connected with root systems. The drive for this work comes from some generalizations of the theory of symmetric spaces, whose functions can be written as special functions depending on definite sets of parameters. A key implementation in the study of special functions with reflection symmetries is Dunkl operators, which are known as a class of differential-difference operators. In this effort, we present a Dunkl differential-difference operator of the first type in a complex domain, under a special class of analytic functions, called a class of normalized analytic functions. This class plays an important role in the field of geometric function theory. Based on this connection between the Dunkl operator and geometric function theory, we impose a major class of geometric presentations called the starlike class of analytic functions. A significant motivation to study Dunkl operators is created by their application in the analysis of quantum many-body systems of a special type. These operators describe integrated systems in one dimension and have seen considerable increased attention in mathematical physics, especially in conformal field theory (see [4,5] for recent works).
Let ⋀ be the class of the analytic functions taking the expansion:
( ξ ) = ξ + n = 2 n ξ n , ξ = { ξ : | ξ | < 1 } .
For a function , the Ruscheweyh formulation of the derivative is given by the following expansion formula:
R m ( ξ ) = ξ + n = 2 C m + n 1 m n ξ n ,
where the term C m + n 1 m is the combination of coefficients. Moreover, the Sàlàgean derivation expansion is defined by:
S m ( ξ ) = ξ + n = 2 n m n ξ n .
Consequently, Lupas combined the above operators to get a linear operator as follows [1]:
L α m ( ξ ) = ξ + n = 2 [ α n m + ( 1 α ) C m + n 1 m ] n ξ n , ξ , α [ 0 , 1 ] .
Here, we introduce a differential operator taking the following expansion:
D λ 0 ( ξ ) = ( ξ ) D λ 1 ( ξ ) = ξ ( ξ ) + λ ( ξ ) ξ ( ξ ) + ξ ) , λ C D λ m ( ξ ) = D λ ( D λ m 1 ( ξ ) ) = ξ + n = 2 [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n ξ n .
For λ = 0 , the operator reduces to the Sàlàgean differential operator. Moreover, the operator D λ m imposes a modification of the Dunkl operator of the first type [6,7], where λ is the Dunkl parameter, which indicates the balance between the differential and difference part in Equation (2). One of its applications is recognizing the harmonic and oscillation behaviors of the solution, and ( ξ ) is the reflection of the function ( ξ ) , which plays a significant role in the symmetry problem. Moreover, when m = 2 , the operator reduces to the generalized Dunkl-Coulomb operator [8].
Remark 1.
We note that the original Dunkl operator admits the formula (see [9]):
D ( ξ ) = ( ξ ) + λ 2 ( ξ ) ( ξ ) ,
which implies that D ( ξ ) . Therefore, (2) is a modification that gives D ( ξ ) (the class of normalized functions in the geometric function theory).
We proceed with discussing the behavior of the term λ ( 1 + ( 1 ) n + 1 ) . Obviously, when:
λ : = 1 1 e 2 i π = lim n 1 ( 1 + ( 1 ) n + 1 ) ,
we get the shifted Sàlàgean differential operator:
D m ( ξ ) = ξ + n = 2 [ n + 1 ] m n ξ n .
Furthermore, we have:
lim n ( 1 + ( 1 ) n + 1 ) = 1 + e 2 i π ,
which implies that for λ : = 1 1 + e 2 i π , we get (3). The term ( 1 + ( 1 ) n + 1 ) plays an important role in the oscillation problem, which was discussed in [8] (see Figure 1):
For functions ⋎ and ⋏ in ⋀, we say that ⋎ is subordinated to ⋏, denoted by , if there occurs a Schwarz function with ( 0 ) = 0 and | ( ξ ) | < 1 , ξ so that ( ξ ) = ( ( ξ ) ) for all ξ (see [10]). Basically, ( ξ ) ( ξ ) is equivalent to ( 0 ) = ( 0 ) and ( ) ( ) .

3. Briot–Bouquet Differential Equation

The investigation of the complex Briot–Bouquet differential equations (BBDEs) is the study of a special class of differential equations whose consequences are designed in a complex domain (such as the open unit disk). The chief formula of BBDE is:
ξ ( ( ξ ) ) ( ξ ) = Λ ( ξ ) , , ξ .
One can find different applications of these equations in dynamic and control systems (see [11,12,13]). The operator (2) can be used to generalize BBDE as follows:
ξ ( D λ m ( ξ ) ) D λ m ( ξ ) = Λ ( ξ ) , ξ , ,
where Λ ( ξ ) is univalent convex in . Our aim is to study the upper outcome of (4) by using subordination inequalities.
Theorem 1.
Let and Λ ( ξ ) be univalent convex in ∪ fulfilling the subordination formula:
ξ ( D λ m ( ξ ) ) D λ m ( ξ ) Λ ( ξ ) .
Then, the upper bound of the solution of (5) is:
D λ m ( ξ ) ξ exp 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι ,
where Ψ ( ξ ) is analytic in , with Ψ ( 0 ) = 0 and | Ψ ( ξ ) | < 1 . In addition, for | ξ | = ι , D λ m ( ξ ) achieves the inequality:
exp 0 1 Λ ( Ψ ( ι ) ) 1 ι d ι | D λ m ( ξ ) ξ | exp 0 1 Λ ( Ψ ( ι ) ) 1 ι d ι .
Proof. 
By the definition of the subordination, Inequality (5) satisfies that there exists a Schwarz function with Ψ ( 0 ) = 0 and | Ψ ( ξ ) | < 1 such that:
ξ ( D λ m ( ξ ) ) D λ m ( ξ ) = Λ ( Ψ ( ξ ) ) , ξ .
This leads to the equation:
( D λ m ( ξ ) ) D λ m ( ξ ) 1 ξ = Λ ( Ψ ( ξ ) ) 1 ξ .
By integrating both sides, we obtain:
log D λ m ( ξ ) log ξ = 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι .
A computation yields:
log D λ m ( ξ ) ξ = 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι ,
which is equivalent to the fact:
D λ m ( ξ ) ξ exp 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι .
Further, the function Λ designs the disk 0 < | ξ | < ι < 1 on a territory, which is symmetric convex, agreeing with the real axis, that is:
Λ ( ι | ξ | ) ( Λ ( Ψ ( ι ξ ) ) ) Λ ( ι | ξ | ) , ι ( 0 , 1 ) ;
thus, we attain the following inequalities:
Λ ( ι ) Λ ( ι | ξ | ) , Λ ( ι | ξ | ) Λ ( ι ) .
By employing the above inequalities, we obtain the integral inequalities:
0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι 0 1 Λ ( Ψ ( ι ) ) 1 ι d ι 0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι ,
which leads to the next inequalities:
0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι log | D λ m ( ξ ) ξ | 0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι ,
and:
exp 0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι | D λ m ( ξ ) ξ | exp 0 1 Λ ( Ψ ( ι | ξ | ) ) 1 ι d ι .
We conclude that:
exp 0 1 Λ ( Ψ ( ι ) ) 1 ι d ι | D λ m ( ξ ) ξ | exp 0 1 Λ ( Ψ ( ι ) ) 1 ι d ι .
 □
Theorem 2.
Suppose that with non-negative connections. If ( λ ) > 0 and Λ , in Equation (4), is univalent convex in , then there occurs a solution fulfilling upper bound inequality:
D λ m ( ξ ) ξ exp 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι ,
where Ψ ( ξ ) is analytic in , with Ψ ( 0 ) = 0 and | Ψ ( ξ ) | < 1 .
Proof. 
In view of the assumptions, we attain:
ξ ( D λ m ( ξ ) ) D λ m ( ξ ) > 0 ξ + n = 2 n [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n ξ n ξ + n = 2 [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n ξ n > 0 1 + n = 2 n [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n ξ n 1 1 + n = 2 [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n ξ n 1 > 0 1 + n = 2 n [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n 1 + n = 2 [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n > 0 , ξ 1 + 1 + n = 2 n [ n + λ ( 1 + ( 1 ) n + 1 ) ] m n > 0 .
In addition, we confirm that ( D λ m ) ( 0 ) = 0 , which implies that:
ξ ( D λ m ( ξ ) ) D λ m ( ξ ) P .
Hence, according to Theorem 1, we arrive at (7). □

Numerical Examples

We deal with the following examples.
Example 1.
Suppose the parametric BB-control system (time-space equation):
ξ ( D λ m τ ( ξ ) ) D λ m τ ( ξ ) = 1 + ξ 1 ξ ,
where 0 < τ < 1 , | ξ | < 1 and:
τ ( ξ ) = ξ ( 1 τ ξ ) 2
= ξ + 2 τ ξ 2 + 3 τ 2 ξ 3 + 4 τ 3 ξ 4 + 5 τ 4 ξ 5 + 6 τ 5 ξ 6 + O ( ξ 7 ) .
Our aim is to apply Theorem 2. By operating the formula of (2) for different values of λ > 0 , we have:
D 0.1 1 ξ ( 1 τ ξ ) 2 = ξ + 4 τ ξ 2 + 9.6 τ 2 ξ 3 + 16 τ 3 ξ 4 + 26 τ 4 ξ 5 + O ( ξ 6 ) ,
D 0.5 1 ξ ( 1 τ ξ ) 2 = ξ + 4 τ ξ 2 + 12 τ 2 ξ 3 + 16 τ 3 ξ 4 + 30 τ 4 ξ 5 + O ( ξ 6 ) ,
D 1 1 ξ ( 1 τ ξ ) 2 = ξ + 4 τ ξ 2 + 15 τ 2 ξ 3 + 16 τ 3 ξ 4 + 35 τ 4 ξ 5 + O ( ξ 6 )
D 2 1 ξ ( 1 τ ξ ) 2 = ξ + 4 τ ξ 2 + 21 τ 2 ξ 3 + 16 τ 3 ξ 4 + 45 τ 4 ξ 5 + O ( ξ 6 ) .
Now, a computation implies that:
ξ exp 0 ξ Λ ( Ψ ( ι ) ) 1 ι d ι = ξ exp 0 ξ 1 + ι 1 ι 1 ι d ι ξ exp ( 2 log ( ξ 1 ) ) , ( ξ ) < 1 = ξ + 2 ξ 2 + 3 ξ 3 + 4 ξ 4 + 5 ξ 5 + O ( ξ 6 ) .
Comparing the connection values of D λ 1 ξ ( 1 τ ξ ) 2 and (9), we conclude that τ [ 0.5 , 1 ) implies that:
D λ 1 ξ ( 1 τ ξ ) 2 ξ exp 0 ξ 1 + ι 1 ι 1 ι d ι .
Therefore, D λ 1 ξ ( 1 τ ξ ) 2 is a solution of Equation (8).
Example 2.
In this example, we consider a wave equation taking the formula:
ξ ( D λ m τ ( ξ ) ) D λ m τ ( ξ ) = 1 + sin ( ξ ) ,
where 0 < τ < 1 , | ξ | < 1 and τ ( ξ ) = ξ ( 1 τ ξ ) 2 .
It is clear that:
0 ξ ( s i n ( ι ) / ι ) d ι = S i ( ξ ) = ξ ξ 3 / 18 + ξ 5 / 600 + O ( ξ 6 ) ,
where S i is the sin integral function. Consequently, we have:
ξ exp 0 ξ ( 1 + sin ( ι ) ) 1 ι d ι = ξ ξ 3 / 18 + ξ 5 / 600 + O ( ξ 6 ) .
By compering the connection values, we indicate that τ [ 0 , 14.7 ] , and Equation (10) has an upper univalent solution for all λ satisfying:
D λ 1 ξ ( 1 τ ξ ) 2 ξ exp S i ( ξ ) .
Remark 2.
Theorem 2 admits the following facts:
  • The nonlinear model that we studied has no computational complexity cost. It is, fairly enough, not high speed because we have one variable and one parameter.
  • It focuses on a starlike formula, which corresponds to the diffusion of the natural system of differential equations. Therefore, we reformulated the Dunkl operator to be suitable for this study.
  • Theorem 2 gives the upper analytic solution in the open unit disk. Moreover, the upper bound solution is convex univalent; thus, all the trajectories approximate slightly the solution of Equation (7).

4. Linear Combination Operator

This work deals with a new operator combining R m and D λ m as follows:
J α , λ m ( ξ ) = ( 1 α ) R m ( ξ ) + α D λ m ( ξ ) = ξ + n = 2 [ ( 1 α ) C m + n 1 m + α n + λ ( 1 + ( 1 ) n + 1 ) m ] n ξ n .
Remark 3.
  • m = 0 J α , λ 0 ( ξ ) = ( ξ ) ;
  • λ = 0 J α , 0 m ( ξ ) = L α m ( ξ ) ;
  • α = 0 J 0 , λ m ( ξ ) = R m ( ξ ) ;
  • α = 1 J 1 , λ m ( ξ ) = D λ m ( ξ ) ;
  • λ = 0 , α = 1 J 1 , 0 m ( ξ ) = S m ( ξ ) .
Definition 1.
Let α 0 , λ C , and m N . A function belongs to S m * ( α , λ , σ ) if and only if:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) σ ( ξ ) , ξ ,
where σ is a univalent function with a positive real part in ∪ satisfying σ ( 0 ) = 1 , ( σ ( ξ ) ) > 0 .
Note that the class S m * ( α , λ , σ ) is a generalization of some classes of analytic functions. Moreover, this class is a specialist of the Ma and Minda class [14] given as follows ( S * ( σ ) ):
ξ ( ξ ) ( ξ ) σ ( ξ ) .
Moreover, when σ ( ξ ) = 1 + sin ( ξ ) and m = 0 , the class:
ξ ( ξ ) ( ξ ) 1 + sin ( ξ )
was studied by Cho et al. [15]. Our class is a generalization of two classes given by Khatter et al. [16] as follows:
ξ ( ξ ) ( ξ ) β + ( 1 β ) 1 + ξ
and
ξ ( ξ ) ( ξ ) β + ( 1 β ) e ξ ,
where β = 0 introduces the class [17]:
ξ ( ξ ) ( ξ ) e ξ .
Kumar et al. [18] defined the class by using Bell numbers as follows:
ξ ( ξ ) ( ξ ) e e ξ 1 .
Theorem 3.
If β [ 0 , 1 ] , ξ , then each function of the form:
  • σ ( ξ ) = β + ( 1 β ) 1 + ξ ,
  • σ ( ξ ) = β + ( 1 β ) e ξ ,
  • σ ( ξ ) = β + ( 1 β ) ( 1 + sin ( ξ ) ) ,
  • σ ( ξ ) = β + ( 1 β ) e e ξ 1 ,
has the upper and lower bound for all r ( 0 , 1 ) , θ [ 0 , 2 π ) as follows:
min | ξ | = r ( σ ( ξ ) ) = σ ( r ) = min | ξ | = r | σ ( ξ ) |
and
max | ξ | = r ( σ ( ξ ) ) = σ ( r ) = max | ξ | = r | σ ( ξ ) | .
Proof. 
The first and second type can be located in [16]. We only need to prove the third type. For β = 0 , we have the function σ ( ξ ) = 1 + sin ( ξ ) (see [15]). It is clear that:
sin ( ξ ) = sin ( r e i θ ) = sin ( r cos ( θ ) ) cosh ( r sin ( θ ) ) + i cos ( r cos ( θ ) ) sinh ( r sin ( θ ) )
therefore, we have
( σ ( ξ ) ) = 1 + sin ( r cos ( θ ) ) cosh ( r sin ( θ ) ) .
Consequently, by taking r 0 , we obtain:
min | ξ | = r ( σ ( ξ ) ) = 1 sin ( r ) = min | ξ | = r | σ ( ξ ) | = 1 .
Moreover, we have:
| sin ( r e i θ ) | 2 = cos 2 ( r cos θ ) sinh 2 ( r sin θ ) + sin 2 2 ( r cos θ ) cosh 2 ( r sin r ) sinh 2 ( r ) ;
thus, this yields:
max | ξ | = r ( σ ( ξ ) ) = 1 + sin ( r ) = max | ξ | = r | σ ( ξ ) | 1 + sinh 2 ( r ) .
Extending the above result, for β > 0 , we have:
min | ξ | = r ( σ ( ξ ) ) = β + ( 1 β ) ( 1 sin ( r ) ) = min | z | = r | σ ( ξ ) | = 1 ,
and
max | ξ | = r ( σ ( ξ ) ) = β + ( 1 β ) ( 1 + sin ( r ) ) = max | ξ | = r | σ ( ξ ) | β + ( 1 β ) ( 1 + sinh 2 ( r ) ) .
This is similar for the last assertion. ☐
The next result can be found in [10].
Lemma 1.
If τ > 0 and σ H [ 1 , n ] , then there are constants > 0 and ν > 0 with ν = ν ( , τ , n ) , so that:
σ ( ξ ) + τ ξ σ ( ξ ) 1 + ξ 1 ξ ν σ ( ξ ) 1 + ξ 1 ξ .
Lemma 2.
Let φ ( ξ ) be a convex function in ∪, h ( ξ ) = φ ( ξ ) + n ν ( ξ φ ( ξ ) ) for ν > 0 , and n be a positive integer. If ϱ H [ φ ( 0 ) , n ] , and:
ϱ ( ξ ) + ν ξ ϱ ( ξ ) h ( ξ ) , ξ ,
then
ϱ ( ξ ) φ ( ξ ) ,
and this result is sharp.

5. Subordination Inequalities

Here, we are concerned with the class S m * ( α , λ , σ ) for special types of σ ( ξ ) that are given in Theorem 3.
Theorem 4.
The class S m * ( α , λ , σ ) achieves the following inclusion:
S m * ( α , λ , σ ) S m * ( α , λ , γ ) S m * ( α , λ ) ,
where σ is one of the types in Theorem 3 and:
S m * ( α , λ , γ ) : = { ( ξ ( J α , λ m ( ξ ) ) ) J α , λ m ( ξ ) ) > γ } ;
S m * ( α , λ ) : = { ( ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) ) > 0 } .
Proof. 
Let S m * ( α , λ , σ ) , and let σ ( ξ ) = β + ( 1 β ) 1 + ξ , then we have the inequality:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) β + ( 1 β ) 1 + ξ , ξ .
In view of Theorem 3, we obtain:
min | ξ | = 1 ( β + ( 1 β ) 1 + ξ ) < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < max | ξ | = 1 + ( β + ( 1 β ) 1 + ξ ) ,
which yields:
β < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < β + ( 1 β ) 2 .
Hence, we have:
ξ ( J α , λ m ( ξ ) ) J α , κ m ( ξ ) > β : = γ 0 ,
and consequently, we get the requested result. Consider σ ( ξ ) = β + ( 1 β ) e ξ ; we have:
min | ξ | = 1 ( β + ( 1 β ) e ξ ) < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < max | ξ | = 1 ( β + ( 1 β ) e ξ ) ,
which implies:
( β + ( 1 β ) 1 e ) < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < ( β + ( 1 β ) e ) ,
that is:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) > ( β + ( 1 β ) 1 e ) : = γ 0 .
Similarly, by letting σ ( ξ ) = β + ( 1 β ) ( 1 + sin ( ξ ) ) , then we have:
min | ξ | = 1 ( β + ( 1 β ) ( 1 + sin ( ξ ) ) ) < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < max | ξ | = 1 ( β + ( 1 β ) ( 1 + sin ( ξ ) ) ) ,
which leads to:
( β + 0.158 ( 1 β ) ) < ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < ( β + 1.841 ( 1 β ) ) ,
and this brings the inequality:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) > ( β + 0.158 ( 1 β ) ) : = γ 0 .
Remark 4.
In Theorem 4,
  • m = 0 , β = 0 , σ ( ξ ) = 1 + sin ξ [15];
  • m = 0 [16];
  • m = 0 , β = 0 , σ ( ξ ) = e ξ [19];
  • m = 0 , β = 0 , σ ( ξ ) = 1 + ξ [19].
Theorem 5.
The class S m * ( α , λ , σ ) achieves the following inclusion:
S m * ( α , λ , σ ) M m ( α , λ , γ ) : = { ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < γ , γ > 1 } .
where σ is given in Theorem 3.
The set M m ( α , λ , γ ) is a generalization of the set:
M ( γ ) : = { ξ ( ( ξ ) ) ( ξ ) < γ , γ > 1 }
given by Uralegaddi et al. [20].
Proof. 
Let S m * ( α , λ , σ ) , where σ is given in Theorem 3. By the proof of Theorem 4, we have:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < β + ( 1 β ) 2 : = γ ,
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) < β + ( 1 β ) e : = γ
and:
ξ ( J α , κ m ( ξ ) ) J α , λ m ( ξ ) < ( β + 1.841 ( 1 β ) ) : = γ ,
Hence, M m ( α , ( ξ ) , γ ) , where the value of γ is based on the function σ , which completes the proof. ☐
Remark 5.
In Theorem 5,
  • m = 0 , β = 0 , σ ( ξ ) = 1 + sin ξ [15];
  • m = 0 , σ ( ξ ) = β + ( 1 β ) e ξ [16], Theorem 2.5;
  • m = 0 , σ ( ξ ) = β + ( 1 β ) ( 1 + ξ ) [16], Theorem 2.6;
  • m = 0 , β = 0 , σ ( ξ ) = ( 1 + ξ ) [16], Corollary 2.7.
Theorem 6.
If satisfies the subordination:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) 2 + ξ ( J α , λ m ( ξ ) ) ( J α , λ m ( ξ ) ) ξ ( J α , λ m ( ξ ) ) J α , ( ξ ) m ( ξ ) 1 + ξ 1 ξ τ
then S m * ( α , λ , σ ) , where σ ( ξ ) = 1 + ξ 1 ξ for > 0 , τ > 0 .
Proof. 
To employ Lemma 1, a calculation implies that:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) + ξ ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) = ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) 2 + ξ ( J α , λ m ( ξ ) ) ( J α , λ m ( ξ ) ) ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) 1 + ξ 1 ξ τ .
Thus, in view of Lemma 1, we have:
ξ ( J α , λ m ( ξ ) ) J α , λ m ( ξ ) 1 + ξ 1 ξ : = σ ( ξ ) ,
which implies that S m * ( α , λ , σ ) .
Theorem 7.
Let φ be a convex function such that φ ( 0 ) = 0 , and let ℏ be the function:
( ξ ) = φ ( ξ ) + ξ 1 φ ( ξ ) , ξ , ( 0 , 1 ) .
If for a function, satisfies the subordination:
ξ J α , λ m + 1 ( ξ ) J α , λ m ( ξ ) 1 J α , λ m + 1 ( ξ ) J α , λ m + 1 ( ξ ) J α , λ m ( ξ ) J α , λ m ( ξ ) ( ξ )
then:
J α , λ m + 1 ( ξ ) ξ ξ J α , λ m + 1 ( ξ ) φ ( ξ ) , ξ .
The outcome is sharp.
Proof. 
We aim to apply Lemma 2. Let:
ϱ ( ξ ) = J α , λ m + 1 ( ξ ) ξ ξ J α , λ m + 1 ( ξ ) .
A differentiation implies that:
ξ J α , λ m + 1 ( ξ ) J α , λ m ( ξ ) 1 J α , λ m + 1 ( ξ ) J α , λ m + 1 ( ξ ) J α , λ m ) ( ξ ) J α , λ m ( ξ ) = ϱ ( ξ ) + ( 1 1 ) ξ ϱ ( ξ )
Thus, by the assumption, we have:
ϱ ( ξ ) + ( 1 1 ) ξ ϱ ( ξ ) ( ξ ) = φ ( ξ ) + ξ 1 φ ( ξ ) , ξ .
Employing Lemma 2 yields ϱ ( ξ ) ( ξ ) , which means:
( J α , λ m + 1 ( ξ ) ξ ) ( ξ J α , λ m + 1 ( ξ ) ) φ ( ξ ) , ξ .
This result is sharp. ☐
Remark 6.
In Theorem 6, λ = 0 [21] Theorem 2.14.

6. Conclusions

This study was concerned with a class of Briot–Bouquet differential equations utilizing a new differential operator of complex connections. Some inequalities involving the subordination concept were investigated. For future work, the idea of [22] will be used to present a harmonic class of Briot–Bouquet differential equations.

Author Contributions

R.W.I., R.M.E. and S.J.O. contributed equally and significantly to writing this article. All authors read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors would like to express their full thanks to the respected reviewers for the deep comments, which improved our paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Lupas, A.A. On special differential subordinations using Salagean and Ruscheweyh operators. Math. Inequal. Appl. 2009, 12, 781–790. [Google Scholar]
  2. Ruscheweyh, S. New criteria for univalent functions. Proc. Am. Math. Soc. 1975, 49, 109–115. [Google Scholar] [CrossRef]
  3. Salagean, G.S. Subclasses of univalent functions. In Complex Analysis—Fifth Romanian-Finnish Seminar; Springer: Berlin, Germany, 1983; Volume 1013, pp. 362–372. [Google Scholar]
  4. Ibrahim, R.W. Arched foot based on conformal complex neural network testing. Math. Comput. Simul. 2020, 174, 175–182. [Google Scholar] [CrossRef]
  5. Ibrahim, R.W. Conformal Geometry of the Turtle Shell. J. King Saud Univ. Sci. 2020, 32, 2202–2206. [Google Scholar] [CrossRef]
  6. Ibrahim, R.W.; Darus, M. Subordination inequalities of a new Salagean-difference operator. Int. J. Math. Comput. Sci. 2019, 14, 573–582. [Google Scholar]
  7. Dunkl, C.F. Differential-difference operators associated with reflections groups. Trans. Am. Math. Soc. 1989, 311, 167–183. [Google Scholar] [CrossRef]
  8. Genest, V.X.; Lapointe, A.; Vinet, L. The Dunkl-Coulomb problem in the plane. Phys. Lett. A 2015, 379, 923–927. [Google Scholar] [CrossRef] [Green Version]
  9. Rösler, M. Dunkl Operators: Theory and Applications. In Orthogonal Polynomials and Special Functions; Koelink, E., Van Assche, W., Eds.; Springer: Berlin/Heidelberg, Germany, 2003; Volume 1817. [Google Scholar]
  10. Miller, S.S.; Mocanu, P.T. Differential Subordinations: Theory and Applications; CRC Press: Boca Raton, FL, USA, 2000. [Google Scholar]
  11. Ebrahimi, F.; Mohammadi, K.; Barouti, M.M.; Habibi, M. Wave propagation analysis of a spinning porous graphene nanoplatelet-reinforced nanoshell. Waves Random Complex Media 2019, 1–27. [Google Scholar] [CrossRef]
  12. Habibi, M.; Mohammadgholiha, M.; Safarpour, H. Wave propagation characteristics of the electrically GNP-reinforced nanocomposite cylindrical shell. J. Braz. Soc. Mech. Sci. Eng. 2019, 41, 221. [Google Scholar] [CrossRef]
  13. Ibrahim, R.W.; Hadid, S.B.; Momani, S. Generalized Briot–Bouquet differential equation by a quantum difference operator in a complex domain. Int. J. Dyn. Control 2020, 1–10. [Google Scholar] [CrossRef]
  14. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis, Tianjin, China, 19–23 June 1992. [Google Scholar]
  15. Cho, N.E.; Kumar, V.; Kumar, S.S.; Ravichandran, V. Radius problems for starlike functions associated with the sine function. Bull. Iran. Math. Soc. 2019, 45, 213. [Google Scholar] [CrossRef]
  16. Khatter, K.; Ravichandran, V.; Kumar, S.S. Starlike functions associated with exponential function and the lemniscate of Bernoulli. Rev. Real Acad. Cienc. Exactas Ser. A Mat. 2019, 113, 233–253. [Google Scholar] [CrossRef]
  17. Mendiratta, R.; Nagpal, S.; Ravichandran, V. On a subclass of strongly starlike functions associated with exponential function. Bull. Malays. Math. Sci. Soc. 2015, 38, 365–386. [Google Scholar] [CrossRef]
  18. Kumar, V.; Cho, N.E.; Ravichandran, V.; Srivastava, H.M. Sharp coefficient bounds for starlike functions associated with the Bell numbers. Math. Slovaca 2019, 69, 1053–1064. [Google Scholar] [CrossRef]
  19. Kanas, S.; Wisniowska, A. Conic domains and starlike functions. Rev. Roum. Math. Pures Appl. 2000, 45, 647–657. [Google Scholar]
  20. Uralegaddi, B.A.; Ganigi, M.D.; Sarangi, S.M. Univalent functions with positive coefficients. Tamkang J. Math. 1994, 25, 225–230. [Google Scholar]
  21. Lupaş, A.A. Some differential subordinations using Ruscheweyh derivative and Salaagean operator. Adv. Differ. Equ. 2013, 2013, 150. [Google Scholar] [CrossRef] [Green Version]
  22. Yousef, A.T.; Salleh, Z. On a Harmonic Univalent Subclass of Functions Involving a Generalized Linear Operator. Axioms 2020, 9, 32. [Google Scholar] [CrossRef] [Green Version]
Figure 1. The first graph is ( 1 + ( 1 ) n + 1 ) , and the second is 1 / ( 1 + ( 1 ) n + 1 ) .
Figure 1. The first graph is ( 1 + ( 1 ) n + 1 ) , and the second is 1 / ( 1 + ( 1 ) n + 1 ) .
Axioms 09 00042 g001

Share and Cite

MDPI and ACS Style

Ibrahim, R.W.; Elobaid, R.M.; Obaiys, S.J. Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections. Axioms 2020, 9, 42. https://doi.org/10.3390/axioms9020042

AMA Style

Ibrahim RW, Elobaid RM, Obaiys SJ. Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections. Axioms. 2020; 9(2):42. https://doi.org/10.3390/axioms9020042

Chicago/Turabian Style

Ibrahim, Rabha W., Rafida M. Elobaid, and Suzan J. Obaiys. 2020. "Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections" Axioms 9, no. 2: 42. https://doi.org/10.3390/axioms9020042

APA Style

Ibrahim, R. W., Elobaid, R. M., & Obaiys, S. J. (2020). Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections. Axioms, 9(2), 42. https://doi.org/10.3390/axioms9020042

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop