Bohr Radius Problems for Some Classes of Analytic Functions Using Quantum Calculus Approach

The main purpose of this investigation is to use quantum calculus approach and obtain the Bohr radius for the class of q-starlike (q-convex) functions of order α. The Bohr radius is also determined for a generalized class of q-Janowski starlike and q-Janowski convex functions with negative coefficients.


Introduction
Let D := {z :∈ C : |z| < 1} be the open unit disc in C. Suppose A denote the class of analytic functions in D normalized by f (0) = 0 = f (0) − 1. Also, let S be the subclass of A consisting of univalent functions in D.
Suppose H(D, Ω) is the class of analytic functions mapping open unit disc D into a domain Ω. Harald Bohr [1] in 1914 proved that if a function f of the form f (z) = ∑ ∞ n=0 a n z n belong to H(D, D), then ∑ ∞ n=0 |a n z n | ≤ 1 in the disc |z| ≤ k, where k ≥ 1/6. As reported by Bohr in [1], Riesz, Schur and Wiener discovered that |z| ≤ k is actually true for 0 ≤ k ≤ 1/3 and that 1/3 is the best possible. The number 1/3 is commonly called the "Bohr radius" for the class of analytic self-maps f in D, while the inequality ∑ ∞ n=0 |a n z n | ≤ 1 is known as the "Bohr inequality". Later on, extensions of Bohr inequality and their proofs were given in [2][3][4]. Note that Bohr Radius is somewhat whimsical, for physicists consider the Bohr Radius a 0 of the hydrogen atom to be a fundamental constant, that is, 4π h 2 /m e e 2 , or about 0.529A. The physicists Bohr Radius is named for Niels Bohr, a founder of the Quantum Theory and 1922 recipient of the Nobel Prize for physics.
The Bohr inequality has emerged as an active area of research after Dixon [5] used it to disprove a conjecture in Banach algebra. Using the Euclidean distance, denoted by d, the Bohr inequality ∑ ∞ n=0 |a n z n | ≤ 1 for a function f of the form f (z) = ∑ ∞ n=0 a n z n can be written as where ∂D is the boundary of the disc D. Thus, the concept of the Bohr inequality for a function f (z) = ∑ ∞ n=0 a n z n , defined in D, can be generalized by Accordingly, the Bohr radius for a class M consisting of analytic functions f of the form f (z) = ∑ ∞ n=0 a n z n in the disc D is the largest r * > 0 such that every function f ∈ M satisfies the inequality (1) for all |z| = r ≤ r * . In this case, the class M is said to satisfy a Bohr phenomenon.
Quantum calculus (or q-calculus) is an approach or a methodology that is centered on the idea of obtaining q-analogues without the use of limits. This approach has a great interest due to its applications in various branches of mathematics and physics, such as, the areas of ordinary fractional calculus, optimal control problems, q-difference, q-integral equations and q-transform analysis. Jackson [6] intoduced the q-derivative (or q-difference, or Jackson derivative) denoted by D q , q ∈ (0, 1), which is defined in a given subset of C by provided f (0) exists. If f is a function defined in a subset of the complex plane C, then (2) yields It is easy to see that if f (z) = z + ∑ ∞ n=2 a n z n , then by using (2) we have [n] q a n z n−1 , [n] 2 q a n z n−1 , [n] 2 q a n z n−2 , where [n] q is given by It is a routine to check that D q (zD q f (z)) = D q f (z) + zD 2 q f (z).
In 1869, Thomae introduced the particular q-integral [7] which is defined as provided the q-series converges. Later on, Jackson [8] defined the general q-integral as follows: where a 0 provided the q-series converges. Also note that where the second equality holds if f is continuous at x = 0. The q-calculus plays an important role in the investigation of several subclasses of A. A firm footing of the q-calculus in the context of geometric function theory and its usages involving the basic (or q-) hypergeometric functions in geometric function theory was actually made in a book chapter by Srivastava (see, for details [9]; see also [10]). In 1990, Ismail et al. [11] introduced a connection between starlike (convex) functions and the q-calculus by introducing a q-analog of starlike (convex) functions. They generalized a well-known class of starlike functions, called the class of q-starlike functions denoted by S * q , consisting of functions f ∈ A satisfying the inequality Baricz and Swaminathan [12] introduced a q-analog of convex functions, denoted by C q , satisfying the relation f ∈ C q if and only if z(D q f ) ∈ S * q .
Recently Srivastava et al. [13] (see also [14]) successfully combined the concept of Janowski [15] and the above mentioned q-calculus and introduced the class S *  [15]. For various choices of A and B, these classes reduce to well-known subclasses of q-starlike and q-convex functions. For instance, with 0 ≤ α < 1, S * q (α) := S * q [1 − 2α, −1] is the class of q-starlike functions of order α, introduced by Agrawal and Sahoo [16]. Motivated by the authors in [16], Agrawal [17] defined a q-analog of convex functions of order α, Note that S * q [1, −1] ≡ S * q and C q [1, −1] ≡ C q . In recent years, there is a great development of geometric function theory because of using quantum calculus approach. In particular, Srivastava et al. [18] found distortion and radius of univalence and starlikenss for several subclasses of q-starlike functions with negative coefficients. They [19] also determined sufficient conditions and containment results for the different types of k-uniformly q-starlike functions. Naeem et al. [20] investigated subfamilies of q-convex functions and q-close to convex functions with respect to the Janowski functions connected with q-conic domain which explored some important geometric properties such as coefficient estimates, sufficiency criteria and convolution properties of these classes. For a survey on the use of quantum calculus approach in mathematical sciences and its role in geometric function theory, one may refer to [21]. In addition, one may refer to a survey-cum-expository article written by Srivastava [22] where he explored the mathematical application of q-calculus, fractional q-calculus and fractional q-differential operators in geometric function theory.
In this paper, we investigate Bohr radius problems for the classes S * q (α) and C q (α), respectively, in Sections 2 and 3. In Section 4, we define and investigate the Bohr radius problem for a generalized class, T P q (λ, A, B), of functions with negative coefficients, where q ∈ (0, 1), λ ∈ [0, 1] and −1 ≤ B < A ≤ 1. In particular, we also define and obtain sharp Bohr radius for the class of the q-Janowski functions with negative coefficients in Section 4.

The Bohr Radius for the Class S *
q (α) To find the Bohr radius for the class S * q (α), we first need the following four lemmas.
where φ(a, b; c; q, z) is a hypergeometric function (see [24,25]) given by and maps both the unit disc and the half-plane {z ∈ C : Re z < 1} univalently onto domains convex in the direction of the imaginary axis. ). If f ∈ A, then f ∈ S * q (α) if and only if there exists a probability measure µ supported on the circle such that Lemma 3 (Distortion theorem). Let f (z) = z + ∑ ∞ n=2 a n z n = zh(z) ∈ S * q (α). Then Proof. Let f ∈ S * q (α). By Lemma 2, there exists a probability measure µ supported on the unit circle such that Integrating and then taking exponential on both sides, we have (σzφ(q, q, q 2 , q, σz))dµ(σ) ((e iθ z)φ(q, q, q 2 , q, e iθ z))dµ(θ) where φ(a, b; c; q, z) is the hypergeometric function defined in Lemma 1. By Lemma 1, we have wφ(q, q, q 2 , q, w) φ(q 0 , q, q 2 , q, w) Let A routine calculation shows that min ψ g(re iψ ) = g(−r) and max ψ g(re iψ ) = g(r).
The radius is sharp.
In order to prove that the radius is sharp, let By Lemma 4, it follows that G q,α ∈ S * q (α). For |z| = r * , we obtain ).

Remark 2.
For α = 0, Theorem 1 yields the corresponding results found in [27] for the class S * q .

The Bohr Radius for the Class C q (α)
In the present section, we obtain the sharp Bohr radius for the class of q-convex functions of order α, 0 ≤ α < 1.

Lemma 5 ([17]
(Theorem 2.9, p. 5)). Let where c n is the nth coefficient of the function z exp(F q,α (z)). Then E q ∈ C q (α) for 0 ≤ α < 1. Moreover, if f (z) = z + ∑ ∞ n=2 a n z n ∈ C q (α), then |a n | ≤ ((1 − q)/(1 − q n ))c n , with equality holding for all n if and only if f is a rotation of E q . Theorem 2. The Bohr radius for the class C q (α) is r * , where r * ∈ (0, 1] is the unique root of the equation The radius is sharp. Proof. Let f ∈ C q (α). Then, by (3), z(D q f )(z) ∈ S * q (α). It follows from Lemma 3 that Taking q-integral of all the inequalities, we have Since f (z) = z + ∑ ∞ n=2 a n z n ∈ C q (α), Lemma 5 yields the coefficients bound for the function f given by where inequality holds for all n if and only if f is a rotation of and where c n is the nth coefficient of z exp(F q,α (z)). By (10) and (11), we have

Now, consider the function
It follows from Lemma 5 that the function E q (z) ∈ C q (α). At |z| = r * , we have which shows that the Bohr radius r * is sharp for the class C q (α).
Putting α = 0 in Theorem 2, we obtain the Bohr radius for the class C q of q-convex functions. (Theorem 2, p. 111)). The Bohr radius for the class C q is r * , where r * ∈ (0, 1] is the unique root of

Corollary 1 ([27]
The radius is sharp. If q → 1 − , then Corollary 1 yields the Bohr radius for the class C of convex functions, that is , r * = 1/3. The same Bohr radius for general convex functions had been earlier obtained by Aizenberg in [29] (Thoerem 2.1).

The Bohr Radius Problems for the Class T P q (λ, A, B)
In 1975, Silverman [30] investigated two new subclasses of the family T , where Recently, Altıntaş and Mustafa [31] introduced a generalized class, T P q (λ, A, B), q ∈ (0, 1), λ ∈ [0, 1], −1 ≤ B < A ≤ 1, given by For λ = 0, this class reduces to the class T S * q [A, B] of q-Janowski starlike functions with negative coefficients defined by On the other hand, the case λ = 1 yields the class T C q [A, B] of q-Janowski convex functions, defined by As q → 1 − , T S * q [A, B] and T C q [A, B] reduce respectively to T S * [A, B] and T C[A, B] studied initially in [32]. Note that the classes T S * (α) ≡ lim 2α, −1] were defined and studied by Silverman [30] in 1975.
In the present section, we will first investigate the sharp Bohr radius for the class T P q (λ, A, B), q ∈ (0, 1), λ ∈ [0, 1] which in particular gives the Bohr radius for the classes T S * q [A, B] and T C q [A, B]. However, in order to obtain Bohr radius, we first need some results given here in two lemmas.
The radius r * is the sharp Bohr radius for class T P q (λ, A, B).
Proof. It follows from Lemma 6 that the distance between the origin and the boundary of f (D) satisfies the inequality The given r * is the root of the equation For 0 < r ≤ r * , we have Using Lemma 7, it is easy to show that The above inequality together with inequality (12) yield For sharpness, consider the function f : D → C defined by This function clearly belongs to T P q (λ, A, B). For |z| = r * , we find Putting λ = 0 in Theorem 3, we get the sharp Bohr radius for the class T S * q [A, B].
for |z| < r * , where The radius r * is sharp.
Letting A = 1 − 2α and B = −1 in Theorem 4, we obtain the sharp Bohr radius for the class of q-starlike functions of order α, 0 ≤ α < 1, with negative coefficients.
When q → 1 − in Corollary 2, we obtain the following sharp Bohr radius for the class of starlike functions of order α, 0 ≤ α < 1, with negative coefficients obtained by Ali et al. [33].
Letting q → 1 − in Corollary 6, we get the following sharp Bohr radius for the class of convex functions of order α, 0 ≤ α < 1, with negative coefficients obtained by Ali et al. [33].
Letting q → 1 − , A = 1 and B = −1, Theorem 5 gives the sharp Bohr radius for the class of convex functions with negative coefficients by Ali et al. [33]. Funding: This research received no external funding.