Subclasses of Noshiro-Type Starlike Harmonic Functions Involving q -Srivastava–Attiya Operator

: In this paper, the harmonic function related to the q -Srivastava–Attiya operator is described to introduce a new class of complex harmonic functions that are orientation-preserving and univalent in the open-unit disk. We also cover some important aspects such as coefﬁcient bounds, convolution conservation, and convexity constraints. Next, using sufﬁciency criteria, we calculate the sharp bounds of the real parts of the ratios of harmonic functions to their sequences of partial sums. In addition, for the ﬁrst time some of the interesting implications of the q -Srivastava–Attiya operator in harmonic functions are also included.


Introduction and Preliminaries
Minimal surfaces have been represented for a long time using planar harmonic univalent mappings.Such mappings, for instance, were employed in 1952 by Heinz [1] to investigate the Gaussian curvature of nonparametric minimum surfaces over the unit disc (see [2]).Applications for these mappings and associated functions can be found in a wide range of applied mathematical disciplines, including engineering, physics, electronics, medicine, operations research, aerodynamics, and other fields.Harmonic and meromorphic functions, for instance, are essential to the resolution of many physical issues, including the diffusion of salt through a channel, the flow of water through an underground aquifer, the steady-state temperature distribution, and the intensity of the electrostatic field.Harmonic univalent mappings are closely related to each other.Another significant distinction is the ability to create a harmonic univalent mapping on a border interval of the open unit disc.It is common knowledge that if f = u + iv has continuous partial derivatives, then f is only analytic if and when the Cauchy-Riemann equations u x = v y and u y = −v x are met.Every analytic function is, therefore, a complex-valued harmonic function.Not all complex-valued harmonic functions, however, are analytic since the Cauchy-Riemann equations must be used to link them, as no two solutions to the Laplace equation can be interpreted as the components u and v of an analytic function in D ⊂ Ω of any simply connected domain.A harmonic function's analytical function might not be harmonic.As an illustration, x is harmonic, but x 2 is not.Furthermore, a harmonic function does not always have a harmonic inverse.The linear mapping w = α + β with |α| = |β| is the most basic example of a harmonic univalent function that need not be conformal.Another straightforward example is w = + 2 2 , which maps D harmonically onto a region inside a hypocycloid of three cusps.Let h = 1 + i 2 be continuous and complex harmonic function in the Ω complex domain whenever 1 and 2 real and harmonic in Ω.In D ⊂ Ω of any simply connected domain, we uniquely represent h = ξ 1 + ξ 2 , where ξ 1 and ξ 2 are analytic in D. We say ξ 1 is an analytic part and ξ 2 a co-analytic part of h.Also, h is locally univalent and makes sense in D only if |ξ 1 ( )| > |ξ 2 ( )| in D (see [3]).Symbolize by H the family of functions of the form h = ξ 1 + ξ 2 (1) which are harmonic, univalent and sense-preserving in the open unit disc U = { : | | < 1} so that h is normalized by h (0) = h (0) − 1 = 0.Then, for h = ξ 1 + ξ 2 ∈ H, ξ 1 and ξ 2 are analytic functions (A) in U given by: and h( ) is then written as: We annotate the family H ≡ S if ξ 2 ≡ 0. Denote by H the subfamily of H consisting of harmonic functions defined by For the class of harmonic functions with negative coefficients, see [4].For h ∈ H assumed as in (1) and H ∈ H assumed by we evoke the Hadamard product (or convolution) of h and H by The subclass S 0 H , S H includes all functions h ∈ S H with h (0) = 0, so S ⊂ S 0 H ⊂ S H . Clunie and Sheil-Small also considered starlike functions in S H , denote by S * H .The subclass of all starlike functions in S 0 H can be denoted by S * H . Starlikeness is not a hereditary property for harmonic mappings, so the image of every subdisk | | ≤ r ≤ 1 is not necessarily starlike with respect to the origin [5,6].Thus, we need a property to explain the starlikeness of a map in a hereditary form.We have the following definition.

Definition 1 ([5]
).A harmonic mapping f with h(0) = 0 is said to be fully starlike if it maps every circle | | = r < 1 in a one-to-one manner onto a curve that bounds a starlike domain with respect to the origin.
For h ∈ S H , the family of fully starlike functions is denoted by F S * H .In 1980, Mocanu gave a relation between fully starlikeness and a differential operator of a non-analytic function [7].Let Let h ∈ C(U) be a complex-valued function such that h(0) = 0, h( ) = 0 for all ∈ U − 0, and Jh( ) > 0 in U and

Re
Dh( ) Then, f is univalent and fully starlike in U.However, a fully-starlike mapping need not be univalent [8].We restrict our discussion to the S H class.The harmonic function h(z) = Re (1− ) which are sharp.The results of these types have been previously obtained only for functions in the special subclass of covex harmonic functions C H (see [9]).However, necessary coefficient conditions for functions in C H were also found in [3].Another challenging area is the Riemann Mapping Theorem related to the harmonic univalent mappings.The best possible Riemann Mapping Theorem was obtained by Hengartner and Schober in [10].However, the uniqueness problem of mappings in their theorem and also the radius of starlikeness for starlike mappings in S H are still open.Since it is difficult to directly prove several results or obtain sharp estimates for the families S H and S 0 H , one usually attempts to investigate them for various subclasses of these families.In this article, we also made an attempt to define new class based on the q-difference Hurwitz-Lerch operator.
q-Difference Hurwitz-Lerch Operator: We aptly evoke the concept of q-operators.The q-difference operator has fascinated and inspired many scientists due to its use in various areas of quantitative sciences.The application of q-calculus was initiated by Jackson [11] (see also [12][13][14][15].Kanas and Rȃducanu [16] used fractional q-calculus operators when investigating certain classes of functions, which are analytic in U.
where ξ 1 is the ordinary derivative.
For the first time, a research paper was presented in conjunction with function theory and q-theory by Ismail et al. [17].So far, only insignificant interest has been shown in this area, although it deserves more attention.Difference operator: q-related to the q-calculus was introduced by Andrews et al. (see [18] Chapter 10), Srivastava [19] and references cited therein.Several interesting properties and characteristics of the Hurwitz-Lerch Zeta (HLZ) function, Φ(z, s, b), defined by (cf.e.g., [20], p. 121), can also be found in recent investigations by Choi and Srivastava [21], Ferreira and Lopez [22], Garg et al. [23], Lin and Srivastava [24], Lin et al. [25] and others.Furthermore, Srivastava and Attiya [26], Raducanu and Srivastava [27] and Prajapat and Goyal [28] and references cited therein have studied various subclasses of analytic functions based on HLZ functions.
which is closely related to some multiplier transformation studied by Fleet [32].Motivated by the study on harmonic univalent functions [4,[33][34][35][36][37][38][39][40][41], for the determination of this article, we will first become acquainted with the new operator (the q-Srivastava-Attiya operator) and describe a subclass of H symbolized HS κ,℘ q ( , ℵ), which contains convolution ( 6) and consists of all functions of the form (1) such that they satisfy inequality: where q ( , ℵ) = HS κ,℘ q ( , ℵ) ∩ H.We deem it appropriate to comment underneath some of the function classes that transpire from the function class HS κ,℘ q ( , ℵ) defined above.Indeed, we observe that if we fix the parameters suitably, q → 1 − .We denote the reliable reducible new classes of HS κ,℘ q ( , ℵ), which have not been studied so far in association with the q-Srivastava-Attiya operator, as illustrated below: (v) When q → 1 and taking = 1, we let HS κ,℘ q (0, ℵ) = RH κ ℘ ( , ℵ), satisfying the criteria Started by prior papers (see [3,4,[34][35][36][37][38][39][40][41]) on the subject of harmonic functions, in this study, we obtain a sufficiency criterion for functions h given by (3) to be in the class HS κ,℘ q ( , ℵ).It is shown that this criterion is also necessary for h ∈ HS κ,℘ q ( , ℵ).Furthermore, distortion limits and convexity conditions, extreme points, and partial sum problems h ∈ HS κ,℘ q ( , ℵ) are also obtained.The special cases of our results yield the corresponding results for the function classes given in Remark 1.

The Coefficient Bounds
We will denote throughout our study unless otherwise stated.
In the following theorem, we obtain a sufficient criterion for h ∈ HS κ,℘ q ( , ℵ).
Proof.In order to achieve the result, it is sufficient to determine whether h ∈ HS κ,℘ q ( , ℵ) validates the relationship (21).From (19), we can write Considering the fact that Re {w} ≥ ℵ if and only if Substituting for A( ) and B( ) in (22), wehave The above condition is non-negative by (21), and so ξ 1 ∈ HS κ,℘ q ( , ℵ).
The harmonic function where shows that the coefficient the bound in ( 21) is sharp.Then, h( ) as in (23) and h( ) The following theorem states that such coefficient restrictions cannot be further improved.
Proof.Since HS κ,℘ q ( , ℵ) ⊂ HS κ,℘ q ( , ℵ), we only need to prove the "only if" part of the theorem.To this end, for h ∈ ξ 1 of the form (4), we state that the condition The above mandatory condition must hold for all values of z in U. Upon taking the values of on the positive real axis where 0 ≤ = r < 1, we must have If the condition (24) does not hold, then the numerator in ( 25) is negative for r close enough to 1. Thus, there exists 0 = r 0 in (0, 1) for which the proportion (25) is negative.This is contrary to a necessary condition for h ∈ HS κ,℘ q ( , ℵ).This completes the proof of the theorem.

Distortion Bounds and Extreme Points
The subsequent theorem provides the distortion limits for functions in HS κ,℘ q ( , ℵ), which yields a covering result for the class HS κ,℘ q ( , ℵ).
when, for n = 2 in (20), we obtain Proof.We will show the right-hand inequality only by taking the absolute value h( ), The proof of the left-hand inequality follows on lines similar to that of the right-hand side's inequality.
The covering result follows from the left hand inequality given in Theorem 3.
Proof.Using the left inequality of Theorem 3 and letting r → 1, we prove that

⊂ h(U).
For any compact family, the maximum or minimum of the real part of any continuous linear functional occurs at one of the extreme points of the closed convex hull.Since HS κ,℘ q ( , ℵ) convex families, we will use the necessary and sufficient coefficient inequalities of Theorems 1 and 2 to determine their extreme points.Next, we regulate the extreme points of closed convex hulls of HS κ,℘ q ( , ℵ) symbolized by clcoHS κ,℘ q ( , ℵ).
Proof.We annotate that for h, as in the above theorem, we may state and so h ∈ clcoHS and Therefore, h can be rewritten as
and by Theorem 2 , we obtain the desired result.

Partial Sums Results
Many researchers have studied and distinguished partial sum results for different classes of analytic functions based on the results provided by Silvia [42].Silverman [43] determined that the lower bounds on ratios like have been found to be sharp only when n = 1.The lower bounds in question are strictly increasing functions of n.Analogous results on harmonic functions have not yet been explored in the literature.Recently, in [44], Porwal filled this gap by checking exciting results on partial sums of star harmonic univalent functions (see [45]).In this section, we examine partial sum results for where 1 − ℵ unless otherwise stated.Now, we discuss the ratio of h, as assumed as in (3) with ι 21 = 0, where We begin by obtaining the sharp bounds for h( ) h ( ) .

Theorem 9.
If h of the form (3) with ι 21 = 0 and holds (30), then where The result ( 31) is sharp for Proof.To prove (31) we set It suffices to show that |w( )| ≤ 1.Now, from (33) we can write From the condition (30), it is sufficient to show that To see that h( ) as in (32) gives the sharp result, we observe that for = re iπ/n h( ) We next determine bounds for {h ( )/h( )}.
We next turn to ratios for the for h ( )/h ( ) and h ( )/h ( ) .

Theorem 11.
If h of the form (3) with b 1 = 0 satisfies the condition (30), then where Proof.To prove (37) we define The result (37) follows by using the techniques used in Theorem 9.
Proceeding exactly as in the proof of Theorem 10, we can prove the following theorem.

Corollary 2.
If h of the form (3) with ι 21 = 0 and satisfies (30), then where Theorem 12.If h of the form (3) with ι 21 = 0 and satisfies (30), then where Proof.To prove (40) we set We omit the details of this proof because it runs parallel to that from Theorem 10.

Conclusions
For a suitable choice of , when we break through HS κ,℘ q ( , ℵ) with = 0 and q → 1 − , the many results which exist in this paper motivate the expansion and simplification of the earlier simpler classes of harmonic functions (see [39][40][41]) associated with the q-Srivastava-Attiya operator.Correspondingly, setting = 1 can provide interesting results for Noshiro-type harmonic functions based on the q-Srivastava-Attiya operator.The facts convoluted in the beginnings of such a specialization of meaning (see ( 14)-( 17)), as were obtained in this article, are relatively straightforward and therefore omitted.Utilizing the principles of quantum calculus and connecting Hurwitz-Lerch zeta functions of certain meromorphic and harmonic functions, the study undertaken in this article can be extended to investigate necessary and sufficient conditions, problems for partial sums, distortion limits, convexity conditions, and convolution preservation and its implications.Finally, many problem remain open, and it may be interesting to extend the obtained results in this article.Furthermore, it may be interesting to characterize the domain as open and bounded to define a deferential operator applicable to differential equations, or a partial deferential in finite or infinite Banach and Hilbert spaces or in general in Sobolev space, for example.Or the Srivastava-Attiya operator can be extended to the domain of control system analysis where the field of vector space is complex in C 2 (U) in some cases for future works, such as in [48].The operator introduced in this article can also be applied to extend the study on various subclasses of bi-univalent functions, meromorphic functions and symmetric functions [49][50][51][52].By using the Miller-Ross-type Poisson distribution series (see [53] and references cited therein), one can also study certain inclusion results for HS κ,℘ q ( , ℵ).