Skip to main content
Heliyon logoLink to Heliyon
. 2023 Jan 24;9(2):e13177. doi: 10.1016/j.heliyon.2023.e13177

Formula for meromorphic symmetric differences operator with application in the theory of subordination inequality

Ibtisam Aldawish 1
PMCID: PMC9898675  PMID: 36747554

Abstract

This investigation deals with a new symmetric formula for a class of meromorphic analytic functions in the puncher open unit disk. Accordingly, the symmetric formula is employed to define a convolution linear operator associated with a special function type the incomplete hypergeometric function. By making utilize the recommended operators, a new sub-classes of meromorphic functions is presented discussing some subordination results. As exceptional examples of our results, certain more acknowledged outcomes are also provided.

Keywords: Meromorphic functions, Subordination, Analytic function, Differential operator, Open unit disk, Symmetric differential operator, Univalent function, Starlike function

1. Introduction

Suppose that Xa+ is the class of meromorphic functions in U¯={zC,0<|z|<1}, denoting by H(z) and taking the form

H(zq)=1zq+n=1bn(zq)n,zU,

And assume that Xq is the negative class of meromorphic functions in U¯, such that

H(zq)=1zqn=1bn(zq)n,zqU,bn0,

Remembering the attitude of subordination between analytic functions can be defined as follows: assume that the functions h and p are analytic in the unit disk, then the function h is subordinate to p if there occurs an analytic function m(z) in U achieving

h(z)=p(m(z)),|z|<1.

This definition is represented by

h(z)p(z),|z|<1.

Constructing usage of the definition of subordination in the space of holomorphic functions, Miller and Mocanu [1] and other researchers presented a lot of motivating concerning the differential subordination keeping the behaviors of well-known integral and differential operators (see [2], [3], [4], [5], [6], [7]). Additionally, Miller and Mocanu [1] considered the dual concept of differential subordinations, which is called the superordination (see also [6]). It should be commented that in current years, numerous authors found various remarkable outcomes concerning different integral operators connected with differential subordination and superordination. This concept is used to define classes of analytic functions, which are called Ma-Minda type classes [8]. In 2000, Polatoglu and Bolcal [9] furnished the boundaries of the radius of α-convexity for definite relations of analytic functions in U utilizing subordination concept and the authors in [10] achieved adequate conditions for functions being starlike of order α. Similarly, Baner [7] considered the geometric relations in the superior half plane and showing that they have parametric illustration utilizing subordination idea. Recent studies on the class of meromorphic functions are indicated in the efforts [11], [12], [13].

We have the following classes:

Definition 1.1

Let ϒ be analytic function in a range including H(U¯) and ϒ0U. Let Ψ(z) be a specified analytic function in U. The function HXq+(Xq) is known ϒ-like with respect to Ψ if

((zq)H(zq)ϒ(H(zq)))Ψ(z),zqU¯,

where ϒ(0)=0,(ϒ)(0)>0 (the necessary conditions). As a special case, when ϒ(ϵ)=ϵ, we have

((zq)H(zq)H(zq))Ψ(z),zqU¯.

Definition 1.2

Let ϒ,ΩXq+(Xq), where

Y(z)=1zq+n=1γn(zq)n

and

Ω(z)=1zq+n=1ηn(zq)n,

under the conditions γn0,ηn0. Then the Hadamard product is defined by

(YΩ)(zq)=1zq+n=1(γnηn)(zq)nXq+

and

(YΩ)(zq)=1zqn=1(γnηn)(zq)nXq.

In this effort, we shall define a new difference-differential symmetric operator for functions in the class Xq+ and similarly in Xq. We study the operator via different classes of analytic functions, especially the starlike sub-classes. Some consequences results are given.

2. Symmetric meromorphic operator (SMO)

The formula for the Symmetric Meromorphic Operator (SMO) of one dimensional parameter (α[0,1]), which takes the class described in the preceding part, is covered in this section. The key step in discussing the operator geometrically is to demonstrate that the new symmetric operator formula belongs to the same class. In order to ensure that the coefficients have non-negative values, the constraints on α are computed. SMO's semi-group attribute is examined. The primary class of analytic functions known as Y-like involving SMO is given last.

Now we define a new meromorphic difference-differential operator of a complex variable by utilizing the class of meromorphic functions Xq+ as follows. Let HXq+(Xq) then

Δα0H(zq)=H(zq)=1zq+n=1bn(za)nΔα1H(zq)=α(zq)H(zq)+(1α)(zq)H((zq))=1zq+n=1n(α+(1α)(1)n)bn(zq)nΔα2H(zq)=Δα(Δα1H(zq))=1zq+n=1(n(α+(1α)(1)n))2bn(zq)nΔαkH(zq)=Δα(Δαk1H(zq))=1zq+n=1(n(α+(1α)(1)n))kbn(zq)n. (2.1)
(zqU,bn0,α[0,1],kN,(1)n=cos(nπ)+isin(nπ))

Note that the term

n:=(n(α+(1α)(1)n))

may take a complex value. Therefore, the operator (2.1), ΔαkH(zq) indicates complex coefficients. To make sure that it is in the class Xq+(Xq) we have a set of conditions on n.

We have the following remark:

Remark 2.1

  • Clearly, when HXq+(Xq) then ΔαkHXq+(Xq) respectively, under some restriction on α[0,1].

  • By the definition of ΔkH, we confirm that
    ΔαkH(zq)=1zq+n=1(n(α+(1α)(1)n))kbn(za)n=(1zq+n=1(n(α+(1α)(1)n))k(zq)n)(1za+n=1bn(zq)n)=(1zq+n=1(n)k(zq)n)(1zq+n=1bn(zq)n):=Bα(zq)H(zq)
    obligates to the Hadamard product.
  • It is clear that n=0 if and only if one of the following cases is achieved
    • 0<α<1,((1)n)=0,((1)n+1)=1,((1)n)=0&((1)n+1)=0;
    • α=|(1)n(1)n+1|,((1)n+1)<0,0<((1)n)<((1)n+1),&((1)n)=((1)n)(((1)n+1)1)((1)n+1);
    • α=|(1)n(1)n+1|,((1)n+1)=0,((1)n)=0,((1)n+1)<1,&
      0<((1)n)<1((1)n+1);
    • α=|(1)n(1)n+1|,((1)n+1)>0,((1)n+1)<((1)n)<0,&
      ((1)n)=((1)n)(((1)n+1)1)Im((1)n+1);
    • Over the reals number, we have α(1)n(1)n+1.
  • For ♭ > 0, we have the following restrictions:
    • α(0,1),(1)n<1,(1)n+10;
    • (1)n(1)n+1<α<1,(1)n<1,0<(1)n+1<(1)n+11;
    • α(0,1),(1)n=1,(1)n+1<0;
    • (1)n(1)n+1>α>1,(1)n>1,0>(1)n+1>(1)n+11.

In the sequel, we assume that n satisfies one of the above conditions to be sure that n0. That is

α(1)n(1)n+1,(1)n0,n>1.

Recently, there is attention towards the symmetric differential operators. Ibrahim and Darus presented a symmetric differential and integral operators for the class of the normalized analytic functions in the open unit disk [14]. Later, the researchers formulated different types of generalized symmetric differential operators [14], [15], [16].

Proposition 2.2

(Semi-group property) The SMO satisfies the semi-group property, as follows:

Δαk(c1H(zq)+c2G(zq))=c1ΔαkH(zq)+c2ΔαkG(zq),

where H(za),G(zq)Xq+(Xq) .

Proof

Let H(zq),G(zq)Xq+(Xq). Then for k=1, we have

Δα(c1H(zq)+c2G(zq))=α(zq)(c1H(zq)+c2G(zq))+(1α)(zq)(c1H((zq))+c2G((zq))))=α(zq)(c1H(zq))+(1α)(zq)(c1H((zq))))+α(zq)(c2G(zq))+(1α)(zq)(c2G((zq))))=c1ΔαkH(zq)+c2ΔαkG(zq).

By indication, we have the desire assertion. □

Our proofs are based on the following outcomes.

Lemma 2.3

(see[2]) Letω(z)be convex univalent in the unit diskU:={zC:|z|<1}and κ andνC{0}with

{1+zω(z)ω(z)+κν}>0.

Ifζ(z)is holomorphic in Π and

κζ(z)+νzζ(z)κω(z)+νzω(z)

then

ζ(z)ω(z)

and ω is the best dominant.

Lemma 2.4

(see[1]) Letω(z)be univalent in U and ϑ and ϱ be holomorphic in a domain Γ containing ω(U) with ϑ(ι)0 when ιω(U). Set

Θ(z)=zω(z)ϱ(ω(z)),ρ(z)=ϑ(ω(z))+Θ(z).

Suppose that Θ(z) is starlike univalent in Π, and

zρ(z)Θ(z)>0

for zU. If

ϑ(ζ(z))+zζ(z)ϱ(ζ(z))ϑ(ω(z))+zω(z)ϱ(ω(z))

then

ζ(z)ω(z)

and ω(z) is the best dominant.

In this effort, we deal with the generalized class of meromorphic functions

Definition 2.5

Let ϒ be analytic function in a domain containing H(U¯) and ϒ0U. Let ω(z) be a specified holomorphic function in U. The function HXq+(Xq) is called ϒ-like with respect to ω if

((zq)(ΔαkH(zq))ϒ(ΔαkH(zq)))ω(z),zqU, (2.2)

where ϒ(0)=0,(ϒ)(0)>0 (the necessary conditions). As a special case of (2.2), when ϒ(ϵ)=ϵ, we have

((zq)(ΔαkH(zq))ΔαkH(zq))ω(z),zqU.

Our aim is to illustrate a set of conditions that makes H satisfies (2.2).

3. Subordination inequalities

In this section, we obtain several adequate assumptions for subordination of holomorphic functions in the classes Xq+ and Xq. Through various classes of analytic functions, particularly the starlike subclasses, we investigate the operator. Results of some ramifications are provided. We deal with the subordination inequality in Definition 2.5. We shall illustrate a set of conditions that implies the relation when ω is starlike then SMO is also starlike. The consequences are discovered for special values of the parameters. Sharp results and the best dominated function are also presented.

Theorem 3.1

Assume that ω(z) is convex univalent function in U with ω(z)0 and

{1+zω(z)ω(z)+κν}>0,ν0.

Suppose that (zq)(ΔkH(zq))ϒ(ΔkH(zq)) is holomorphic in U. If HXq+ fulfills the subordination

(zq)(ΔαkH(zq))ϒ(ΔαkH(zq)){κ+ν[1+(zq)(ΔαkH(zq))(ΔαkH(zq))](zq)ϒ(ΔαkH(zq))ϒ(ΔαkH(zq))}κω(z)+νzω(z).

Then

(zq)(ΔαkH(zq))ϒ(ΔαkH(zq))ω(z),zU

and ω(z) is the best dominant.

Proof

Suppose that ω(z) is given by

ω(z)=(zq)(ΔαkH(zq))ϒ(ΔαkH(zq)),zU.

Hence, we have

κζ(z)+νzζ(z)=(zq)(ΔαkH(zq))ϒ(ΔαkH(zq)){κ+ν[1+(zq)(ΔαkH(zq))(ΔαkH(zq))](zq)ϒ(ΔαkH(zq))ϒ(ΔαkH(zq))}κω(z)+νzω(z).

At that point, by the supposition of this result, we attain that the declaration of the result indicates an application of Lemma 2.3. □

For ϒ(ϵ)=ϵ, in Theorem 3.1, we state the following corollary.

Corollary 3.2

Let the following subordination fulfilled

(zq)(ΔαkH(zq))(ΔαkH(zq)){κ+ν[1+(zq)(ΔαkH(zq))(ΔαkH(zq))](zq)(ΔαkH(zq))(ΔαkH(zq))}κω(z)+νzω(z)

then

(zq)(ΔαkH(zq))(ΔαkH(zq))ω(z).

Again, let ϒ(ϵ)=ϵ,k=0 in Theorem 3.1, we state the next corollary.

Corollary 3.3

Suppose that the inequality

(zq)(H(zq))(H(zq)){κ+ν[1+(zq)(H(zq))(H(zq))](zq)(H(zq))(H(zq))}κω(z)+νzω(z)

is satisfied, then

(zq)(H(zq))(H(zq))ω(z).

Theorem 3.4

Consider the function ω(z) is univalent in U such that ω(z)0,zU , and

zω(z)ω(z)S

is starlike univalent in U and

{cdω(z)+[1+zω(z)ω(z)zω(z)ω(z)]}>0.
(cC,d0,ω(z)0,zU)

If FXq satisfies

c[(zq)(ΔαkH(zq))ϒ(ΔαkH(zq))]+d[1(zq)(ΔαkH(zq))(ΔαkH(zq))(za)(ϒ(ΔαkH(zq))ϒ(ΔαkH(zq))]cω(z)+dzω(z)ω(z)

then

(zq)(ΔαkH(zq))ΔkH(zq)ω(z)

and ω(z) is the best dominant.

Proof

Suppose that ζ(z) is given by

ζ(z)=(zq)(ΔαkH(zq))ϒ(ΔαkH(zq)),zU.

By setting θ(m)=cm and ϕ(m)=dm,d0, it can clearly indicated that θ(m) is analytic in C, is analytic in ϱ(m){0}. Also, we obtain

Θ(z)=zω(z)ϱ(ω(z))=dω(z)ω(z)

and

g(z)=θ(ω(z))+Θ(z)=cω(z)+dzω(z)ω(z).

It is clear that Θ(z) is starlike univalent in U and

{zg(z)Θ(z)}=Re{cdω(z)+[1+zω(z)ω(z)zω(z)ω(z)]}>0.
cζ(z)+dzζ(z)ζ(z)=c[(zq)(ΔαkH(zq))ϒ(ΔαkH(zq))+(zq)(ΔαkH(zq))(ΔkH(zq))(zq)ϒ(ΔαkH(zq)))ϒ(ΔαkH(zq))]cω(z)+d(zω(z)ω(z)).

 □

Taking ϒ(ϵ)=ϵ,k=0 in Theorem 3.4, we have the following outcome.

Corollary 3.5

If the subordination

c[(zq)H(zq)H(zq)]+d[1+(zq)H(zq))H(zq)(zq)H(zq)H(zq)]cω(z)+d(zω(z)ω(z))

satisfies then

(zq)H(zq)H(zq)ω(z).

We proceed to discuss multi-convoluted formula of the suggested operator taking the structure (3.1)

ϑ(Δαk(H(zq)G(zq))Δαk(H(zq)W(zq)))ϑ((μν)(zq)1+ν(zq)), (3.1)
(ν[1,μ),μ(ν,1],k0,ϑ>0)

where

G(zq)=1zqn=1gn(zq)n,zqU,gn0

and

W(zq)=1zqn=1wn(zq)n,zqU,wn0.

We have the following result

Theorem 3.6

The functionsH,Gand W have the structure(3.1)if they satisfy

n=1nkbn(ϑgn(1+ν))wn(ϑ(1+ν)+(μν)))μν.

The functionHnprovided by achieves equality

Hn(zq)=1zq+μνnk(ϑgn(1+ν))wn(ϑ(1+ν)+(μν)))(zq)n.

Proof

From the inequality (3.1), we have

ϑ(Δαk(H(zq)G(zq))Δαk(H(zq)W(zq)))=ϑ((μν)(m(z)q)1+ν(m(z)q)),

where m(z)<1,m(0)=0 is a Schwarz function. Now by assuming m(z)=z,zU we have

ϑ(Δαk(H(zq)G(zq))Δαk(H(zq)W(zq)))=ϑ((μν)(zq)1+ν(zq)).

A computation yields

|ϑn=1nkbn(gnwn)(zq)n+1(μν)n=1nkbn(ϑgnν+((μν)ϑν)wn))(zq)n+1|ϑn=1nkbn|gnwn||(zq)n+1|(μν)n=1nkbn(ϑgnν+((μν)ϑν)wn))|(zq)n+1|1.

Considering that zq1, we obtain the assertion of this theorem. □

4. Linear operator associated with special functions

In this section, we introduce hybrid linear operators involving the SMO and special function terms. We shall introduce two types of hybrid linear operators associating with hypergeometric function and Mittag-Leffler function respectively. To make the connection, we request to make a change in the usual formula to fit the expression of SMO. Therefore, we present a modify expression to be sure that the new formula belongs to the main class of the analytic functions. The next step is convoluted SMO with the meromorphic hypergeometric function and Mittag-Leffler function. Proceeding with these convoluted operators, we formulate them in new classes of analytic functions of Y-type using the subordination inequality. To study them geometrically, we illustrate a set of conditions to get the starlikeness. Examples with graphs are presented in the sequel. Sharp and the best dominant results are also considered.

4.1. Hyper-geometric function

Define a special function analog to hypergeometric functions

Φ(ρ,ϱ,zq)=1zq+n=1(ρ)n(ϱ)n(zq)n,

where ρC{0},ϱ0,1,2,... and ()n is the Pochhammer symbol. Corresponding to Φ(ρ,ϱ,zq), we define a linear operator utilizing the Hadamard product as follows:

αk(ρ,ϱ)(zq)=Φ(ρ,ϱ,zq)ΔαkH(zq)=1zq+n=1((ρ)n(ϱ)n)(nkbn)(zq)n. (4.1)

Note that, when k=0 in (4.1), we get the Carlson-Sheffer operator of a meromorphic function [17]. Moreover, it is clear that αk(ρ,ϱ)(zq)Xq+(Xq) when H(zq)Xq+(Xq), and that ((ρ)n(ϱ)n)0,n1.

We define the following class

((zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq)))ω(z),zqU, (4.2)

where ϒ(0)=0,(ϒ)(0)>0 (the necessary conditions). As a special case of (4.2), when ϒ(ϵ)=ϵ, we have

((zq)(αk(ρ,ϱ)(zq))αk(ρ,ϱ)(zq))ω(z),zqU.

Theorem 4.1

Suppose that the functionω(z)is convex univalent in U withω(z)0and

{1+zω(z)ω(z)+κν}>0,ν0.

Also, assume that(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))is analytic in U. IfHXq+achieves the inequality

(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq)){κ+ν[1+(zq)(αk(ρ,ϱ)(zq))(αk(ρ,ϱ)(zq))](zq)ϒ(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))}κω(z)+νzω(z).

Then

(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))ω(z),zU

andω(z)is the best dominant.

Proof

Suppose that ω(z) is given by

ω(z)=(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq)),zU.

Hence, we have

κζ(z)+νzζ(z)=(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq)){κ+ν[1+(zq)(αk(ρ,ϱ)(zq))(αk(ρ,ϱ)(zq))](zq)ϒ(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))}κω(z)+νzω(z).

Then by the conditions of the theorem we get that the desired affirmation using Lemma 2.3. □

Theorem 4.2

Consume that the function ω(z) is univalent in U with ω(z)0,zU,zω(z)ω(z) is starlike univalent in U and

{cdω(z)+[1+zω(z)ω(z)zω(z)ω(z)]}>0.
(cC,d0,ω(z)0,zU)

If FXq fulfills

c[(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))]+d[1(zq)(αk(ρ,ϱ)(zq))(αk(ρ,ϱ)(zq))(zq)(ϒ(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))]cω(z)+dzω(z)ω(z)

then

(zq)(αk(ρ,ϱ)(zq))αk(ρ,ϱ)(zq)ω(z)

and ω(z) is the best dominant.

Proof

Consider ζ(z) is given by

ζ(z)=(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq)),zU.

By setting θ(m)=cm and ϕ(m)=dm,d0, it can easily observed that θ(m) is analytic in C, is analytic in ϱ(m){0}. Also we obtain

Θ(z)=zω(z)ϱ(ω(z))=dω(z)ω(z)

and

g(z)=θ(ω(z))+Θ(z)=cω(z)+dzω(z)ω(z).

Obviously, Θ(z) is starlike with a positive real structured as follows:

{zg(z)Θ(z)}={cdω(z)+[1+zω(z)ω(z)zω(z)ω(z)]}>0.
cζ(z)+dzζ(z)ζ(z)=c[(zq)(αk(ρ,ϱ)(zq))ϒ(αk(ρ,ϱ)(zq))+(zq)(αk(ρ,ϱ)(zq))(αk(ρ,ϱ)(zq))(zq)ϒ(αk(ρ,ϱ)(zq)))ϒ(αk(ρ,ϱ)(zq))cω(z)+d(zω(z)ω(z)).

 □

Example 4.3

Let H(zq)Xq+ such that

H(zq)=1zq+(zq)1(zq)=1zq+n=1(zq)n.

Then,

Δ1H(zq)=α(zq)H(zq)+(1α)(zq)H((zq))=(zq)H(zq);

and for α=0.5, we have

Δ0.5H(zq)=0.5(zq)(1(q+z+1)21(qz)2)0.5(2q+2z1)(qz+1)2(zq);

and when α=0.25, we get

Δ0.25H(zq)=0.75(zq)(1(q+z+1)21(qz)2)0.25(2q+2z1)(qz+1)2(zq)

Fig. 1 indicates the behavior of H under Δα for different values of α[0,1], while Fig. 2 presents its derivative.

Figure 1.

Figure 1

The 3D and cantor plot of the function H(z − q) and its behavior under the suggested operator Δαk, where (A1-A2) indicated the graph of H(z − q), (B1-B2) presented the graph of Δ1H(z − q), (C1-C2) plotted the graph of Δ0.5H(z − q) and (D1-D2) provided the plot of Δ0.25H(z − q) respectively.

Figure 2.

Figure 2

The 3D and cantor plot of H′(z − q) and its behavior under the suggested operator Δαk. From the left: (A1-A2) indicated the plot of H′(z − q), and (B1-B2) presented the graph of (Δ1H(zq)) respectively.

Theorem 4.4

The functions H,Φ(ρ1,ϱ1,zq) and Φ(ρ2,ϱ2,zq) have the structure (3.1) if they satisfy

n=1nkbn(ϑ((ρ1)n(ϱ1)n)(1+ν))((ρ2)n(ϱ2)n)(ϑ(1+ν)+(μν)))μν.

The function Hn provided by achieves equality

Hn(zq)=1zq+μνnk(ϑ((ρ1)n(ϱ1)n)(1+ν))((ρ2)n(ϱ2)n)(ϑ(1+ν)+(μν)))(zq)n.

Proof

From the inequality (3.1), we have

ϑ(Δαk(H(zq)Φ(ρ1,ϱ1,zq))Δαk(H(zq)Φ(ρ2,ϱ2,zq)))=ϑ((μν)(m(z)q)1+ν(m(z)q)),

where m(z)<1,m(0)=0 is a Schwarz function. Now by assuming m(z)=z,zU we have

ϑ(Δαk(H(zq)Φ(ρ1,ϱ1,zq))Δαk(H(zq)Φ(ρ2,ϱ2,zq)))=ϑ((μν)(zq)1+ν(zq)).

A computation yields

|ϑn=1nkbn(((ρ1)n(ϱ1)n)((ρ2)n(ϱ2)n))(zq)n+1(μν)n=1nkbn(ϑ((ρ1)n(ϱ1)n)ν+((μν)ϑν)((ρ2)n(ϱ2)n)))(zq)n+1|ϑn=1nkbn|((ρ1)n(ϱ1)n)((ρ2)n(ϱ2)n)||(zq)n+1|(μν)n=1nkbn(ϑ((ρ1)n(ϱ1)n)ν+((μν)ϑν)((ρ2)n(ϱ2)n)))|(zq)n+1|1.

Considering that zq1, we obtain the assertion of this theorem. □

4.2. Mittag-Leffler function MLF

The following series indicate the MLF

Ξα,β(z)=n=0znΓ(an+b).

In the same manner of the above instruction, we obtain

Ξα,β(zq)=1zq+n=1(zq)nΓ(an+b).

Corresponding to Ξα,β(zq), we define a linear operator utilizing the Hadamard product as follows:

Σαk(a,b)(zq)=Ξα,β(zq)ΔαkH(zq)=1zq+n=1(zkΓ(an+b))(nkbn)(zq)n.

Note that, when k=0, we get the Carlson-Sheffer operator of a meromorphic function [17]. Moreover, it is clear that Σαk(a,b)(zq)Xq+(Xq) when H(zq)Xq+(Xq).

We define the following class

((zq)(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq)))ω(z),zqU,

where ϒ(0)=0,(ϒ)(0)>0 (the necessary conditions). As a special case, when ϒ(ϵ)=ϵ, we have

((zq)(Σαk(a,b)(zq))Σαk(a,b)(zq))ω(z),zqU.

The following outcomes are similar to the above subsection, therefore, we ignore the proofs.

Theorem 4.5

Suppose that the functionω(z)is convex univalent in U withω(z)0and

{1+zω(z)ω(z)+κν}>0,ν0.

Also, assume that(zq)(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq))is analytic in U. IfHXq+achieves the inequality

(zq)(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq)){κ+ν[1+(zq)(Σαk(a,b)(zq))(Σαk(a,b)(zq))](zq)ϒ(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq))}κω(z)+νzω(z).

Then

(zq)(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq))ω(z),zU

andω(z)is the best dominant.

Theorem 4.6

Consume that the functionω(z)is univalent in U withω(z)0,zU,zω(z)ω(z)is starlike univalent in U and

{cdω(z)+[1+zω(z)ω(z)zω(z)ω(z)]}>0.
(cC,d0,ω(z)0,zU)

IfFXqfulfills

c[(zq)(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq))]+d[1(zq)(Σαk(a,b)(zq))(Σαk(a,b)(zq))(zq)(ϒ(Σαk(a,b)(zq))ϒ(Σαk(a,b)(zq))]cω(z)+dzω(z)ω(z)

then

(zq)(Σαk(a,b)(zq))Σαk(a,b)(zq)ω(z)

andω(z)is the best dominant.

Theorem 4.7

The functionsH,Ξα,β(zq)andΞα,β(zq)have the structure(3.1)if they satisfy

n=1nkbn(ϑ(1Γ(a1n+b1))(1+ν))(1Γ(a2n+b2))(ϑ(1+ν)+(μν)))μν.

The functionHnprovided by achieves equality

Hn(zq)=1zq+(μν)(zq)nnk(ϑ(1Γ(a1n+b1))(1+ν))(1Γ(a2n+b2))(ϑ(1+ν)+(μν))).

5. Conclusion

The above study indicated several facts in the theory of the meromorphic analytic functions. We formulated new symmetric operators. The first one is based on a special class of meromorphic functions and the second one is a linear operator given by a special function type incomplete hypergeometric function. We formulated the sufficient conditions, in view of the subordination results, to prove that the operators are in ϒ-like class.

Our new method can be employed to describe the meromorphic solution of classes of algebraic differential equations of complex variables geometrically. This class of differential equations are very important in optics and other mathematical physics applications. From above investigation, we studied a class of first order differential inequality. Therefore, the meromorphic solution is indicated as an upper solution corresponding to its differential equation. For future works, may a researcher formulate the operator in terms of second order differential inequality using the second order differential subordination.

Funding statement

This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors.

CRediT authorship contribution statement

Ibtisam Aldawish: Conceived and designed the experiments; Performed the experiments; Analyzed and interpreted the data; Contributed reagents, materials, analysis tools or data; Wrote the paper.

Declaration of Competing Interest

The authors declare no conflict of interest.

Data availability

Data included in article/supp. material/referenced in article.

References

  • 1.Miller S.S., Mocanu P.T. CRC Press; 2000. Differential Subordinations: Theory and Applications. [Google Scholar]
  • 2.Shanmugam T.N., Ravichandran V., Sivasubramanian S. Differential sandwich theorems for some subclasses of analytic functions. J. Aust. Math. Anal. Appl. 2006;3(1):1–11. [Google Scholar]
  • 3.Ibrahim R.W., Aldawish I. Difference formula defined by a new differential symmetric operator for a class of meromorphically multivalent functions. Adv. Differ. Equ. 2021;2021(1):1–16. [Google Scholar]
  • 4.Ibrahim R.W., Darus M. Sufficient conditions for subordination of meromorphic functions. J. Math. Stat. 2009;5(3):141. [Google Scholar]
  • 5.Ibrahim R.W., Darus M. On operators for meromorphic functions. Int. Electron. J. Pure Appl. Math. 2011;3(2):139–145. [Google Scholar]
  • 6.Bulbocã T. A class of superordination-preserving integral operators. Indag. Math. 2002;13:301–311. [Google Scholar]
  • 7.Baner R.O. Chordal Lowener families and univalent Cauchy transforms. 2003. arXiv:math/0306130v1 [math.PR] pp. 1–29.
  • 8.Ma W.C., Minda D. Proceedings of the Conference on Complex Analysis. 1992. A unified treatment of some special classes of univalent functions; pp. 157–169. [Google Scholar]
  • 9.Polatoglu Y., Bolcal M. Some radius problems for certain families of analytic functions. Turk. J. Math. 2000;24:401–412. [Google Scholar]
  • 10.Murugusundaramoorthy G., Janani T. Meromorphic parabolic starlike functions associated with-hypergeometric series. Int. Sch. Res. Not. 2014:2014. [Google Scholar]
  • 11.Aouf M.K., El-Emam Fatma Z. Fekete–Szego problems for certain classes of meromorphic functions involving-Al-Oboudi differential operator. J. Math. 2022;2022 [Google Scholar]
  • 12.Ibrahim Rabha W., Baleanu Dumitru, Jahangiri Jay M. Conformable differential operators for meromorphically multivalent functions. Concr. Oper. 2021;8(1):150–157. [Google Scholar]
  • 13.Al-Khafaji Aqeel Ketab. On subclass of meromorphic analytic functions defined by a differential operator. J. Phys. Conf. Ser. 2021;1818(1) IOP Publishing. [Google Scholar]
  • 14.Ibrahim R.W., Darus M. New symmetric differential and integral operators defined in the complex domain. Symmetry. 2019;11(7):906. [Google Scholar]
  • 15.Ibrahim R.W., Elobaid R.M., Obaiys S.J. Symmetric conformable fractional derivative of complex variables. Mathematics. 2020;8(3):363. [Google Scholar]
  • 16.Ibrahim R.W., Elobaid R.M., Obaiys S.J. Geometric inequalities via a symmetric differential operator defined by quantum calculus in the open unit disk. J. Funct. Spaces. 2020;2020 [Google Scholar]
  • 17.Carlson B.C., Shaffer D.B. Starlike and prestarlike hypergeometric functions. SIAM J. Math. Anal. 1984;15(4):737–745. [Google Scholar]

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Data Availability Statement

Data included in article/supp. material/referenced in article.


Articles from Heliyon are provided here courtesy of Elsevier

RESOURCES