Volume 2022, Issue 1 4745312
Research Article
Open Access

An Application of Pascal Distribution Series on Certain Analytic Functions Associated with Stirling Numbers and Sălăgean Operator

Basem Aref Frasin

Corresponding Author

Basem Aref Frasin

Department of Mathematics, Faculty of Science, Al Al-Bayt University, Mafraq, Jordan aabu.edu.jo

Search for more papers by this author
First published: 18 March 2022
Academic Editor: Shanhe Wu

Abstract

In the present paper, we will observe that the Sălăgean differential operator can be written in terms of Stirling numbers. Furthermore, we find a necessary and sufficient condition and inclusion relation for Pascal distribution series to be in the class ℙk(λ, α) of analytic functions with negative coefficients defined by the Sălăgean differential operator. Also, we consider an integral operator related to Pascal distribution series. Several corollaries and consequences of the main results are also considered.

1. Preliminaries

Special functions are used in many applications of physics, engineering, and applied mathematics and statistics. Special polynomials have a close connection with number theory, and one of the most important sets of special numbers is the class of Stirling numbers (of the first and second kind), introduced in 1730 by the Scottish mathematician James Stirling.

In combinatorics, a Stirling number of the second kind (or Stirling partition number) is the number of ways to partition a set of k objects into j nonempty subsets and is denoted by S(k, j) or by bk,j as used in this paper. These numbers occur in the field of mathematics called combinatorics and the study of partitions. In this paper, we will observe that the Sălăgean differential operator Dk can be written in terms of Stirling numbers.

Let denote the class of analytic functions f in the open unit disk and normalized by the conditions f(0) = 0 = f′(0) − 1 has the following representation:
(1)
Furthermore, let be a subclass of consisting of functions of the form
(2)
For a function f(z) in , we define
(3)
(4)
and in general, we have
(5)

The differential operator Dk was introduced by Sălăgean [1].

We note that
(6)
where
(7)
For example,
  • (i)

    If k = 2, we have

    (8)

  • where

    (9)

  • (ii)

    If k = 3, we have

    (10)

  • where

    (11)

  • (iii)

    If k = 4, we have

    (12)

  • where

    (13)

  • (iv)

    If k = 5, we have

    (14)

  • where

    (15)

Table 1 represents the coefficients bkj of zkf(k)(z).

1. Stirling numbers of the second kind.
zf(z) z2f(z) z3f(z) z4f(4)(z) z5f(5)(z) z6f(6)(z) z7f(7)(z) zkf(k)(z)
D1f(z) 1 0 0 0 0 0 0 0 0
D2f(z) 1 1 0 0 0 0 0 0 0
D3f(z) 1 3 1 0 0 0 0 0 0
D4f(z) 1 7 6 1 0 0 0 0 0
D5f(z) 1 15 25 10 1 0 0 0 0
D6f(z) 1 31 90 65 15 1 0 0 0
D7f(z) 1 63 301 350 140 21 1 0 0
1 0
Dkf(z) 1 bk,2 bk,3 bk,4 bk,5 bk,6 bk,7 1
Table 1 (see [2]) shows the first few possibilities for Stirling numbers of the second kind. Also, from this table, we note that:
  • (1)

    bk,j = jbk−1,j + bk−1,j−1

  • (2)

  • (3)

    bk,2 = 2k−1 − 1

  • (4)

    bk,3 = (1/6)(3k − 3.2k + 3)

  • (5)

    bk,1 = bk,k = 1

  • (6)

    bk,j = 0, when j > k.

  • (7)

    bp,j ≡ 0 (modp) iff 1 < j < p, where p is a prime number.

Furthermore, for k = 2,3,4,5, we observe that
(16)
(17)
(18)
and
(19)
From (16)–(19), we conclude that
(20)
(21)
In general, we have
(22)
For functions given by (1) and given by , we recall that the well-known Hadamard product of f and g is given by
(23)
For ϵ/{0} and , we say that a function is in the class if it satisfies the inequality
(24)

The function class was introduced by Dixit and Pal [3].

With the help of the differential operator Dk, we say that a function f(z) belonging to is said to be in the class if and only if
(25)
for some α(0 ≤ α < 1), λ(0 ≤ λ ≤ 1), and for all z in .
Furthermore, we define the class ℙk(λ, α) by
(26)

The class was introduced and studied by Aouf and Srivatava [4].

We note that, by specializing the parameters k and λ, we obtain the following subclasses:
  • (i)

    and , where and represent the classes of starlike functions of order α and convex functions of order α with negative coefficients, respectively, introduced and studied by Silverman [5]

  • (ii)

    (see [4]), where represents the class of functions satisfying the inequality

    (27)

  • (iii)

    (see [4]), where represents the class of functions satisfying the inequality

    (28)

In statistics and probability, distributions of random variables play a basic role and are used extensively to describe and model a lot of real-life phenomenon; they describe the distribution of the probabilities over the values of the random variable. In recent years, many researchers have examined some important features in the geometric function theory, such as coefficient estimates, inclusion relations, and conditions of being in some known classes, using different probability distributions such as the Poisson, Pascal, Borel, Mittag–Leffler-type Poisson distribution, etc.(see, for example, [610]).

The probability density function of a discrete random variable X which follows the Pascal distribution is given by
(29)
Very recently, El-Deeb et al. [11] introduced a power series whose coefficients are probabilities of the Pascal distribution
(30)
where m ≥ 1 and 0 ≤ σ ≤ 1 and we note that, by a ratio test, the radius of convergence of above series is infinity. We also define the series
(31)
Now, we considered the linear operator
(32)
defined by the Hadamard product
(33)

Motivated by several earlier results on connections between various subclasses of analytic and univalent functions, using hypergeometric functions, generalized Bessel functions, Struve functions, Poisson distribution series, and Pascal distribution series (see, for example, [12], [1315], [79, 1623], [24]), we determine a necessary and sufficient condition for to be in our class ℙk(λ, α). Furthermore, we give sufficient conditions for . Finally, we give conditions for the integral operator belonging to the class ℙk(λ, α).

The following results will be required in our investigation.

Lemma 1 (see [4].)Let the function f(z) be defined by (2). Then, f(z) ∈ ℙk(λ, α) if and only if

(34)

The result (34) is sharp.

Lemma 2 (see [3].)If f is of the form (1), then

(35)

The result is sharp for the function
(36)

2. Necessary and Sufficient Conditions

By simple calculations, we derive the following relations:
(37)
and, in general, for s = 1,2,3, …, we have
(38)

Unless otherwise mentioned, we shall assume in this paper that 0 ≤ α < 1,  0 ≤ λ ≤ 1 m ≥ 1, and 0 ≤ σ < 1.

First of all, with the help of Lemma 1, we obtain the following necessary and sufficient condition for to be in ℙk(λ, α).

Theorem 1. Let k ≥ 1.Then, if and only if

(39)

Proof. In view of Lemma 1, we only need to show that Q ≤ 1 − α, where

(40)

Using (22) and (38), we have

(41)

Therefore, we see that the last expression is bounded above by 1 − α if (39) is satisfied.

3. Inclusion Properties

Making use of Lemma 2, we will study the action of the Pascal distribution series on the class ℙk(λ, α).

Theorem 2. Let k ≥ 2 and . Then, k(λ, α) if

(42)

Proof. In view of Lemma 1, it suffices to show that L ≤ 1 − α, where

(43)

Applying Lemma 2, we find from equations (22) and (38) that

(44)

However, this last expression is bounded by 1 − α, if (42) holds. This completes the proof of Theorem 2.

4. An Integral Operator

In this section, we consider the integral operator defined by
(45)

Theorem 3. Let k ≥ 2.Then, the integral operator defined by (45) is in the classk(λ, α) if and only if

(46)

Proof. From definitions (31) and (45), it is easily verified that

(47)

Then, by Lemma 1, we need only to show that H ≤ 1 − α, where

(48)
or equivalently,
(49)
The remaining part of the proof of Theorem 3 is similar to that of Theorem 2, and so, we omit the details.

5. Corollaries and Consequences

By specializing the parameter λ = 1 in Theorems 13, we obtain the following corollaries.
(52)

Corollary 1. Let k ≥ 1.Then, if and only if

(50)

Corollary 2. Let k ≥ 2 and Then, if

(51)

Corollary 3. Let k ≥ 2.Then, the integral operator defined by (45) is in the class if and only if

By specializing the parameter k = 2 in Theorems 13, we obtain the following corollaries.

Corollary 4. The series if and only if

(53)

Corollary 5. Let Then, if

(54)

Corollary 6. The integral operator defined by (45) is in the class2(λ, α) if and only if

(55)

Remark 1. Using relation (22) and Lemma 1, we can obtain new necessary and sufficient conditions and inclusion relations for the Pascal distribution series to be in the class ℙk(λ, α) for k = 3,4, ….

6. Conclusions

The Sălăgean differential operator plays an important role in the geometric function theory. Several authors have used this operator to define and consider the properties of certain known and new classes of analytic univalent functions (see, for example, [25, 26]). In the present paper, and due to the earlier works (see, for example, [11, 16, 18]), we find a necessary and sufficient condition and inclusion relation for the Pascal distribution series to be in the class ℙk(λ, α) of analytic functions associated with the Stirling numbers and Sălăgean differential operator. Furthermore, we consider an integral operator related to the Pascal distribution series. Some interesting corollaries and applications of the results are also discussed. Making use of the relation (22) could inspire researchers to find new necessary and sufficient conditions and inclusion relations for the Pascal distribution series to be in different classes of analytic functions with negative coefficients defined by the Sălăgean differential operator.

Conflicts of Interest

The author declares that there are no conflicts of interest.

Authors’ Contributions

The author read and approved the final manuscript.

Data Availability

No data were used to support this study.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.