• No results found

View of Convolution Properties of a Class of Analytic Functions


Academic year: 2023

Share "View of Convolution Properties of a Class of Analytic Functions"


Loading.... (view fulltext now)

Full text



Convolution Properties of a Class of Analytic Functions

Khalida Inayat Noor1 and Afis Saliu2,*

1 COMSATS University Islamabad, Park Road, Tarlai Kalan, Islamabad 45550, Pakistan e-mail: khalidan@gmail.com

2 Department of Mathematics, University of the Gambia, MDI Road, Kanifing, P.O. Box 3530, Serrekunda, The Gambia

e-mail: asaliu@utg.edu.gm; saliugsu@gmail.com


In this paper, we introduce a new classRαm(h) of functionsF =fψ, defined in the open unit discEwithF(0) =F0(0)−1 = 0 and satisfying the condition

F0(z) +αzF00(z) =


4 +1 2



4 1 2

p2(z), forα0, m2 andpih, i= 1,2.

Several convolution properties of this class are obtained by using the method of differential subordination. Many relevant connections of the findings here with those in earlier works are pointed out as special cases.

1 Introduction and Preliminaries

LetA denote the class of analytic functions of the form f(z) =z+



anzn, (1.1)

Received: January 22, 2023; Revised & Accepted: February 15, 2023; Published: February 23, 2023 2020 Mathematics Subject Classification: 30C45, 30C50.

Keywords and phrases: convolution, subordination, starlike functions, conic domains, Janowski functions, Libera operator.


which are analytic in the open unit disc E = {z ∈ C : |z| <}. Let S(α) and C(α), 0 ≤ α < 1, denote the subclasses of A which are respectively starlike of order α and convex of α in E. We denote S(0) ≡ S and C(0) ≡ C. If f and g are analytic in E, we say that f is subordinate to g, written symbolically as f(z) ≺ g(z) or f ≺ g(z ∈ E), if and only if there exists a Schwarz function w, analytic inE withw(0) = 0 and|w|<1 inE such thatf(z) =g(w(z)) forz∈E.

The Hadamard product (or convolution) of two power series f(z) = z +



anzn and g(z) =z+



bnznis defined as the power series

(f∗g)(z) =f(z)∗g(z) =




Recently, subordination and convolution techniques have been extensively used in Geometric function theory. Many subclasses of the class A can be described in term of subordination and convolution. In 1973, Ruscheweyh and Sheil-Small [21] proved the Polya-Schoenberg conjecture that the class C is preserved under convolution. Several other problems were studied since then, (see [2, 3, 5, 19, 20]) and many applications found in various fields.

Letp be analytic inE withp(0) = 1. Thenpis called Caratheodory function with Rep(z)>0 in E, and is said to belong to the class P.

Definition 1.1. Let p be analytic in E with p(0) = 1. Then p ∈ P[A, B;β] if and only if


1 +Az 1 +Bz


:=pβ(A, B;z), −1≤B < A≤1, β ∈(0,1], z∈E. (1.2)

For β= 1, P[A, B; 1] =P[A, B], see [7]. We note the following.

(i) It can be shown with simple computation, that the function pβ(A, B;z) is convex and univalent inE.


(ii) Also, it is simple to see that

P[A, B;β]⊂P(ρ1)⊂P, where ρ1 =

1−A 1−B


and P(ρ1) is the class of Caratheodory functions of order ρ1.

(iii) p ∈ P(pk), k ≥ 0, if p(z) ≺ pk(z), where pk(z) are the extremal functions mappingE onto the conic domain Ωk defined as:

k= n

w=u+iv:u > kp

(u−1)2+v2;k≥0 o

[9, 10].

The domain Ω0is right half plane, Ωk(0< k <1) indicates a region bounded by hyperbola and a parabola for k = 1. For k > 1, it denotes an elliptic region. The functionpk(z) is given as

pk(z) =




1−z, k= 0, 1 +π22


z 1−



, k= 1, 1 +1−k2 2sinh2

(π2 arccosk) arctan√ z

, 0< k <1. Fork >1, the extremal function can be found in [9, 10]. It is clear that

P(pk)⊂P(ρ2)⊂P, ρ2 = k 1 +k. Also,p∈P(pk) implies that

|argp(z)|< σπ

2, σ = 2

πarctan 1


, z∈E.

Definition 1.2. Let pbe analytic in E withp(0) = 1 and let p(z) =

m+ 2 4


m−2 4

p2(z), m≥2, z∈E, (1.3) wherepi ≺h(z), i= 1,2 and h(z) is convex univalent in E. Thenp(z) is said to belong to the class Pm(h) in E.


For Pm 1+z


= Pm, we refer to [17]. Also, when we choose h(z) = (1 + sz)2,0 < s≤ 1

2 and h(z) = z+√

1 +z2, we obtain the classes introduced by Afis and Noor [1] and Kanwal and Afis [6], respectvely. We note that if h(z) = 1+Az



, then Pm(h) is denoted as Pm[A, B;β] and, with h(z) = pk(z), k ≥ 0, we have Pm(pk).

Definition 1.3. Let ψ, F ∈ A with (ψ∗F)(z) 6= 0 and f0(0) = 1 in E. Then F =ψ∗f is said to belong to the classRα

m(h) if and only if F0+αzF00 ∈Pm(h) inE, wherem≥2, α≥0.

Special Cases.

(i) Let ψ(z) = 1−zz , h(z) =1+z1−z and m= 2. ThenRα

2 implies Re (f0(z) +αzf00(z))>0, z∈E.

(ii) By takingh(z) =pk(z), ψ(z) = 1−zz , we have k−URα

m. Also, Rα


1+Az 1+Bz



m[A, B;β].

Motivated principally by the works in [9, 10, 17, 19], we study the geometric properties of the class Rαm(h), which include both the convolution and subordination characterizations. Overall, we give some relevant connections between our findings and the existing ones in the literature.

To prove our main results, we shall need the following Lemmas.

Lemma 1.4. [14] Let h(z) be convex univalent in E, h(0) = 1and Re(δψ(z) + t)>0. If p(z) is analytic inU with p(0) = 1, then

p(z) + zp0(z)

δp(z) +t ≺h(z) ⇒ p(z)≺h(z) z∈E, δ, t∈C. (1.4) Lemma 1.5. [14] Suppose that the function λ: C2 ×E −→ C satisfies the condition Re[λ(ix, y;z)] ≤ η for real x, y ≤ −(1+x22) and all z ∈ E. If p(z) = 1 +c1z+. . . is analytic in E and


λ(p(z), zp0(z);z)

> η, f or z∈E, then Re p(z)>0 in E.


Lemma 1.6. [25] Letf, g, h∈ A, α, β, γ≤1. Iff0∈P(α), g0 ∈P(β), h0 ∈P(γ), then


f0∗g0∗h0 (z)

>1−4(1−α)(1−β)(1−γ), z∈E.

Lemma 1.7. [22] Let p(z) be analytic in E withp(0) = 1 and Re (p(z))> 12 in E. Then for any functionF analytic in E, the function p∗F takes values in the convex hull of the image of E under F.

In the next section, we present the main findings of this work.

2 Main Results

Theorem 2.1. Let F1 = (φ∗f1) ∈ Rα1

m (h) and F2 = (φ∗f2) ∈ Rα2

m (h) in E.


F = (F1 ∗F2)∈ R1

m(β), where

β= 1−2(1−β1)(1−β2) (2.1) with

βi = 1−2(1−δi)(1−αi), i= 1,2 and

δ1 = Z 1


dt 1 +tαi. Proof. Since F1 ∈ Rαm1(h), then

F10+αzF100 ∈Pm(h).

That is

(F10 ∗φα

1)∈Pm(h), whereφα

1(z) = 1 +



(nαi+ 1)zn. Similarly, (F20∗φα

2)∈Pm(h) in E.


Now, Pm(h) ⊂ Pmi), with ρ1 =

1−A 1−B


and ρ2 = k+1k . Thus, F1 ∈ Rα1

m1) and F2 ∈ Rαm22) and

F101zF100=F10 ∗φα

1 F202zF200=F20∗φα

2 , where


i(z) = 1 +



(nαi+ 1)zn, i= 1,2.

We defineψα

i = [φα

i](−1)= 1 +


n=1 zn

1+1 =R1 0


1+ztαi, i= 1,2 such that (ψα

i ∗φα

i)(z) = z

1−z, z∈E.

Then Fi0 =

m 4 +1



i]− m

4 −1 2


i], m≥2, i= 1,2, wherep1, p2 ∈P(ρi). It is known [22] that forαi >0,ψα

i is convex and Reψα

i(z)≥ Z 1



1 +tαii, δi ∈h1 2,1

. Therefore,

F10 = m

4 +1 2

[p1 ∗ψα

1]− m

4 −1 2


1], where (pi∗ψα

1)∈P(δ1), δ1 ∈h

1 2,1

and F20 =

m 4 +1


[p1 ∗ψα

2]− m

4 −1 2


2], with (pi∗ψα

2)∈P(δ2), δ ∈h

1 2,1

. Hence,

F10 ∈Pm1) and F20 ∈Pm2), (2.2) where

β1 = 1−2(1−δ1)(1−α1), β2 = 1−2(1−δ2)(1−α2).


Combining these relation, we have

F0(z) = (F1(z)∗F2(z))0=F1(z)∗zF200(z) and

(zF0(z))0=F0(z) +zF00(z) = (F10(z)∗F20(z)). (2.3) From (2.2) and (2.3), we have that F ∈ R1m(β), where β is given by (2.1).

Remark 2.2. From (2.1) and Lemma 1.4 with δ= 0, we have

F0∈Pm1), γ1 = 1 + 4(1−β1)(1−β2)(ln 2−1) (2.4) and repeating the same procedure, it follows that


z ∈Pm2), γ2 = 1−8(1−β1)(1−β2)(ln 2−1)2. (2.5) Theorem 2.3. Let F1 and F2 belong to R1

2i), i = 1,2 and let F(z) = (F1 ∗ F2)(z). Then F ∈ S, provided

(1−β1)(1−β2)< 3

8(ln 2−1)2+ 4, (2.6) where βi, i= 1,2 are as given in Theorem 2.1.

Proof. F1 = φ∗f1, F2 = φ∗f2 and Fi ∈ R12(h) ⊂ R12i). Using Theorem 2.1 withm= 2, we have


Let zFF0 =h and Fz =η. Then h and η are analytic inE withh(0) =η(0) = 1.


F0+zF00=η(z) h2+zh0

=λ h, zh0, z ,


whereλ(u, v, z) =η(z)(u2+v) and Re [λ(h, zh0, z)]> β, z∈E. For realx, y and y≤ −1+x2 2, so we get


λ(h, zh0, z)


≤ − 1 + 3x2

2 Reη(z)

≤ − Reη(z) 2

<β, (z∈E)

provided (1−β1)(1−β2)< 8(ln 2−1)3 2+4, where we have used (2.3), (2.4) and (2.5).

Hence, from Lemma 1.5, it follows that Re h(z) > 0 in E and F ∈ S. This completes the proof.

Theorem 2.4. Let φ(z) = 1−zz and Fi =φ∗fi =fi. Let fi ∈ Rα2i(pk), i= 1,2, and define

F =I(f1 ∗f2) = 2 z

Z z 0

(f1 ∗f2)(t)dt.

ThenF ∈ S0) provided (1−δ1)(1−δ2)< 3

8(ln 2−1)2+ 4 and δ0 =


2(2 ln 2−1)−1

= 0.294, where

δi = Z 1



1−tαi, i= 1,2.

Proof. Using Theorem 2.3, it follows that (f1∗f2)S in E. It is known [14, Theorem 3.3g, p. 116] that the function F defined as Libera integral [12] of (f1 ∗f2) is starlike of orderδ0 =


2(2 ln 2−1) −1


As a special case, we take k= 1. Thenδi = 12 and Re (F0(z) +zF00(z))> 12, z∈E.

Theorem 2.5. The class Rαmi) is invariant under convex convolution in E.


Proof. Letψ∈ C, F =f ∗φ∈ Rα

mi). Consider (F ∗ψ)0+αz(F ∗ψ)00

z ∗ F0+αzF00

z ∗p, p∈Pmi)

= m

4 + 1 2

ψ z ∗p1

− m

4 −1 2

ψ z ∗p2

, p1, p2 ∈P(ρi).

Since ψ ∈ C, so Re

ψ z

> 12 and by applying Lemma 1.7, (ψ∗pi) ∈ P(ρi) and (ψ∗p)∈Pmi). This proves thatF ∈ Rα

mi) in E.

As an application of Theorem 2.5, we deduce that the classRα

mi) is invariant under Libera integral operator.

Remark 2.6. By choosing suitable and permissible values of parameter, we obtain several known and new results. Moreover, the classRα

m(h) can be studied further by involving several linear operators such as Carlson-Shaffer [4], Dziok-Srivastava operator [13], which includes Ruscheweyh [18, 19] and Noor [15] operators as special cases. Also see [8, 11, 16, 18, 24].


[1] Afis Saliu and Khalida Inayat Noor, On subclasses of functions with boundary and radius rotations associated with crescent domains, Bulletin of the Korean Mathematical Society 57(6) (2020), 1529-1539.


[2] S.M. Aydo˘gan and F.M. Sakar, Radius of starlikeness of p-valent λ-fractional operator, Applied Mathematics and Computation 357 (2019), 374-378.


[3] D. Bshouty, A. Lyzzaik and F. M. Sakar, Harmonic mappings of bounded boundary rotation, Proceedings of the American Mathematical Society 146 (2018), 1113-1121.



[4] B.C. Carlson and D.B. Shaffer, Starlike and prestarlike hypergeometric functions, SIAM Journal on Mathematical Analysis 15(4) (1984), 737-745.


[5] H. G˘uney, F.M. Sakar and S. Aytas, Subordination results on certain subclasses of analytic functions involving generalized differential and integral operators, Mathematica Aeterna 2 (2012), 177-184.

[6] K. Jabeen and Afis Saliu, Properties of functions with bounded rotation associated with lima¸con class,Commun. Korean Math. Soc.37(4) (2022), 995-1007.


[7] W. Janowski, Some extremal problems for certain families of analytic functions I, Annales Polonici Mathematici 28(3) (1973), 297-326.

[8] I.B. Jung, Y.C. Kim and H.M. Srivastava, The Hardy space of analytic functions associated with certain one-parameter families of integral operators, Journal of Mathematical Analysis and Applications 176(1) (1993), 138-147.


[9] S. Kanas and A. Wisniowska, Conic domains and starlike functions,Revue Roumaine de Math´ematiques Pures et Appliqu´ees 45(4) (2000), 647-658.

[10] S. Kanas and D. R˘aducanu, Some class of analytic functions related to conic domains, Mathematica Slovaca 64(5) (2014), 1183-1196.


[11] Y.C. Kim, K.S. Lee and H.M. Srivastava, Some applications of fractional integral operators and Ruscheweyh derivatives, Journal of Mathematical Analysis and Applications 197(2) (1996), 505-517.https://doi.org/10.1006/jmaa.1996.0035 [12] R.J. Libera, Some classes of regular univalent functions,Proceedings of the American

Mathematical Society 16(4) (1965), 755-758.


[13] J.L. Liu and H.M. Srivastava, Certain properties of the Dziok-Srivastava operator, Applied Mathematics and Computation 159(2) (2004), 485-493.



[14] S.S. Miller and P.T. Mocanu, Differential subordinations, Theory and applications, Marcel Dekker Inc, New York, Basel, 1999.

[15] K.I. Noor, On some univalent integral operators,Journal of Mathematical Analysis and Applications 128(2) (1987), 586-592.


[16] K.I. Noor, Classes of analytic functions defined by Hadamard product,New Zealand Journal of Mathematics 24 (1995), 53-64.

[17] B. Pinchuk, Functions of bounded boundary rotation,Israel Journal of Mathematics 10(1) (1971), 6-16. https://doi.org/10.1007/bf02771515

[18] S. Ruscheweyh, New criteria for univalent functions, Proceedings of the American Mathematical Society 49 (1975), 109-115.


[19] S. Ruscheweyh, Convolutions in Geometric Function Theory, Fundamental Theories of Physics. S´eminaire de Math´ematiques Sup´erieures, 1982.

[20] F.M. Sakar and S.M. Aydo˘gan, Coefficient bounds for certain subclasses of m-fold symmetric bi-univalent functions defined by convolution, Acta Universitatis Apulensis 55 (2018), 11-21.https://doi.org/10.17114/j.aua.2018.55.02 [21] S. Ruscheweyh and T. Sheil-Small, Hadamard products of Schlicht functions and

the P´olya-Schoenberg conjecture,Commentarii Mathematici Helvetici 48(1) (1973), 119-135.https://doi.org/10.1007/bf02566116

[22] R. Singh and S. Singh, Convolution properties of a class of starlike functions, Proceedings of the American Mathematical Society 106(1) (1989), 145-152.


[23] H.M. Srivastava, M. Saigo and S. Owa, A class of distortion theorems involving certain operators of fractional calculus, Journal of Mathematical Analysis and Applications 131(2) (1988), 412-420.


[24] H.M. Srivastava and A.A. Attiya, An integral operator associated with the Hurwitz-Lerch Zeta function and differential subordination,Integral Transforms and Special Functions 18(3) (2007), 207-216.



[25] J. Stankiewicz and Z. Stankiewicz, Some applications of the Hadamard convolution in the theory of functions,Ann. Univ. Mariae Curie-Sklodowska40 (1986), 251-265.

This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted, use, distribution and reproduction in any medium, or format for any purpose, even commercially provided the work is properly cited.


Related documents

For the correlation functions of certain operators in the fishnet theory, We obtain the Regge poles and evaluate the ν integral in the weak and strong coupling limit for these

&#34;line integral&#34; norm are obtained for Gauss type quadra- tures whose abscissas and weights are simly expressed. Error—functional norms for these quadrotures, as also for

This makes the study of rings, fields and integral domains more significant and interesting.In this thesis it is shown that a ring homomorphism on the set of all analytic

Then the question arises how the singularity structure of nonintegrable and chaotic dynamical systems is distributed in the complex time plane and what is their role

In fact, in this thesis, our purpose is to focuss on some topics in complex analysis such as spaces of analytic func- tions, normal family, spaces of meromorphic functions

In our earlier paper [6], we have studied a class of differential operators with an interface and shown that such mixed operators generate a C0 semigroup of contractions on

This is to certify that the thesis entitled “Compactness and Convergence in the Space Of Analytic Functions” submitted by Basundhara Goswami as one year project work for the

in the field of differential operators, q-difference theory, q—analytic theory, bibasic analytic functions, bianalytic functions and pseudoanalytic functions, it.. is worth