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

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:

^Rm⋎(ξ)=ξ+∑n=2∞_{Cm+n−1m⋎n} ^ξn,

where the term_Cm+n−1mis the combination of coefficients. Moreover, the Sàlàgean derivation expansion is defined by:

^Sm⋎(ξ)=ξ+∑n=2∞^nm_⋎n ^ξn.

Consequently, Lupas combined the above operators to get a linear operator as follows [1]:

_Lαm⋎(ξ)=ξ+∑n=2∞[α^nm+(1−α)_Cm+n−1m]_⋎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, whenm=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 thatD⋎(ξ)∉⋀. Therefore, (2) is a modification that givesD⋎(ξ)∈⋀ (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:

λ:=11−^e2iπ=limn→∞1(1+^(−1)n+1),

we get the shifted Sàlàgean differential operator:

^Dm⋎(ξ)=ξ+∑n=2∞^[n+1]m_⋎n ^ξn.

Furthermore, we have:

limn→∞(1+^(−1)n+1)=1+^e2iπ,

which implies that forλ:=11+^e2iπ, 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)=0and|⊤(ξ)|<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)=0and|Ψ(ξ)|<1. In addition, for|ξ|=ι,_Dλm⋎(ξ)achieves the inequality:

exp_∫01Λ(Ψ(−ι))−1ιdι≤|_Dλm⋎(ξ)ξ|≤exp_∫01Λ(Ψ(ι))−1ιdι.

Proof.

By the definition of the subordination, Inequality (5) satisfies that there exists a Schwarz function withΨ(0)=0and|Ψ(ξ)|<1such 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 disk0<|ξ|<ι<1on 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:

_∫01Λ(Ψ(−ι|ξ|))−1ιdι≤ℜ_∫01Λ(Ψ(ι))−1ιdι≤_∫01Λ(Ψ(ι|ξ|))−1ιdι,

which leads to the next inequalities:

_∫01Λ(Ψ(−ι|ξ|))−1ιdι≤log|_Dλm⋎(ξ)ξ|≤_∫01Λ(Ψ(ι|ξ|))−1ιdι,

and:

exp_∫01Λ(Ψ(−ι|ξ|))−1ιdι≤|_Dλm⋎(ξ)ξ|≤exp_∫01Λ(Ψ(ι|ξ|))−1ιdι.

We conclude that:

exp_∫01Λ(Ψ(−ι))−1ιdι≤|_Dλm⋎(ξ)ξ|≤exp_∫01Λ(Ψ(ι))−1ιdι.

□

Theorem 2.

Suppose that⋎∈⋀with non-negative connections. Ifℜ(λ)>0andΛ, 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)=0and|Ψ(ξ)|<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−11+_∑n=2∞ ^{[n+λ(1+(−1)n+1)]m}_⋎n ^ξn−1>0⇔1+_∑n=2∞n^{[n+λ(1+(−1)n+1)]m}_⋎n1+_∑n=2∞ ^{[n+λ(1+(−1)n+1)]m}_⋎n>0,ξ→¹⁺⇔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−ξ,

where0<τ<1,|ξ|<1and:

_⋎τ(ξ)=ξ^(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:

_D0.11ξ^(1−τξ)2=ξ+4τ^ξ2+9.6^{τ2 ξ3}+16^{τ3 ξ4}+26^{τ4 ξ5}+O(^ξ6),

_D0.51ξ^(1−τξ)2=ξ+4τ^ξ2+12^{τ2 ξ3}+16^{τ3 ξ4}+30^{τ4 ξ5}+O(^ξ6),

_D11ξ^(1−τξ)2=ξ+4τ^ξ2+15^{τ2 ξ3}+16^{τ3 ξ4}+35^{τ4 ξ5}+O(^ξ6)

_D21ξ^(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(−2log(ξ−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(ξ),

where0<τ<1,|ξ|<1and_⋎τ(ξ)=ξ^(1−τξ)2.

It is clear that:

_∫0ξ(sin(ι)/ι)dι=Si(ξ)=ξ−^ξ3/18+^ξ5/600+O(^ξ6),

whereSiis 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≺ξexpSi(ξ).

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^Rmand_Dλmas follows:

_Jα,λm⋎(ξ)=(1−α)^Rm⋎(ξ)+α_Dλm⋎(ξ)=ξ+∑n=2∞[(1−α)_Cm+n−1m+α^{n+λ(1+(−1)n+1)m}]_⋎n ^ξn.

Remark 3.

• m=0⟹_Jα,λ0⋎(ξ)=⋎(ξ);

• λ=0⟹_Jα,0m⋎(ξ)=_Lαm⋎(ξ);

• α=0⟹_J0,λm⋎(ξ)=^Rm⋎(ξ);

• α=1⟹_J1,λm⋎(ξ)=_Dλm⋎(ξ);

• λ=0,α=1⟹_J1,0m⋎(ξ)=^Sm⋎(ξ).

Definition 1.

Letα≥0,λ∈C,andm∈N.A function⋎∈⋀belongs to_Sm*(α,λ,σ)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_Sm*(α,λ,σ) 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(ξ)andm=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:

ξ^⋎′(ξ)⋎(ξ)≺^eeξ−1.

Theorem 3.

Ifβ∈[0,1],ξ∈∪, then each function of the form:

• σ(ξ)=β+(1−β)1+ξ,

• σ(ξ)=β+(1−β)^eξ,

• σ(ξ)=β+(1−β)(1+sin(ξ)),

• σ(ξ)=β+(1−β)^eeξ−1,

has the upper and lower bound for allr∈(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^eiθ)=sin(rcos(θ))cosh(rsin(θ))+icos(rcos(θ))sinh(rsin(θ))

therefore, we have

ℜ(σ(ξ))=1+sin(rcos(θ))cosh(rsin(θ)).

Consequently, by takingr→0,we obtain:

min|ξ|=rℜ(σ(ξ))=1−sin(r)=min|ξ|=r|σ(ξ)|=1.

Moreover, we have:

|sin(r^eiθ)^|2=^cos2(rcosθ)sinh2(rsinθ)+^sin22(rcosθ)cosh2(rsinr)≤^sinh2(r);

thus, this yields:

max|ξ|=rℜ(σ(ξ))=1+sin(r)=max|ξ|=r|σ(ξ)|≤1+^sinh2(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+^sinh2(r)).

This is similar for the last assertion. ☐

The next result can be found in [10].

Lemma 1.

Ifτ>0andσ∈H[1,n], then there are constants℘>0andν>0withν=ν(℘,τ,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_Sm*(α,λ,σ)for special types ofσ(ξ)that are given in Theorem 3.

Theorem 4.

The class_Sm*(α,λ,σ)achieves the following inclusion:

_Sm*(α,λ,σ)⊂_Sm*(α,λ,γ)⊂_Sm*(α,λ),

where σ is one of the types in Theorem 3 and:

_Sm*(α,λ,γ):={⋎∈⋀ℜ(ξ(_Jα,λm⋎(ξ))^)′_Jα,λm⋎(ξ))>γ};

_Sm*(α,λ):={⋎∈⋀ℜ(ξ^{(_Jα,λm⋎(ξ))′}_Jα,λm⋎(ξ))>0}.

Proof.

Let⋎∈_Sm*(α,λ,σ), 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+ξ)<ℜξ^{(_Jα,λm⋎(ξ))′}_Jα,λm⋎(ξ)<max|ξ|=¹⁺ℜ(β+(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−β)1e)<ℜξ^{(_Jα,λm⋎(ξ))′}_Jα,λm⋎(ξ)<(β+(1−β)e),

that is:

ℜξ^{(_Jα,λm⋎(ξ))′}_Jα,λm⋎(ξ)>(β+(1−β)1e):=γ≥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_Sm*(α,λ,σ)achieves the following inclusion:

_Sm*(α,λ,σ)⊂_Mm(α,λ,γ):={⋎∈⋀ℜξ^{(_Jα,λm⋎(ξ))′}_Jα,λm⋎(ξ)<γ,γ>1}.

where σ is given in Theorem 3.

The set_Mm(α,λ,γ)is a generalization of the set:

M(γ):={⋎∈⋀ℜξ^(⋎(ξ))′⋎(ξ)<γ,γ>1}

given by Uralegaddi et al. [20].

Proof.

Let⋎∈_Sm*(α,λ,σ),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,⋎∈_Mm(α,⋎(ξ),γ),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⋎∈_Sm*(α,λ,σ),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⋎∈_Sm*(α,λ,σ).☐

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⋎(ξ)=ϱ(ξ)+(11−ℓ)ξ^ϱ′(ξ)

Thus, by the assumption, we have:

ϱ(ξ)+(11−ℓ)ξ^ϱ′(ξ)≺ℏ(ξ)=φ(ξ)+ξ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.