The study of expansions of certain mock theta functions in special functions theory has a long and quite significant history. Motivated by recent correlations between q-series and mock theta functions, we establish a new q-series transformation formula and derive the double-sum expansions for mock theta functions. As an application, we state new double-sum representations for certain mock theta functions.
Citation: Qiuxia Hu, Bilal Khan, Serkan Araci, Mehmet Acikgoz. New double-sum expansions for certain Mock theta functions[J]. AIMS Mathematics, 2022, 7(9): 17225-17235. doi: 10.3934/math.2022948
[1] | Muhammad Ghaffar Khan, Nak Eun Cho, Timilehin Gideon Shaba, Bakhtiar Ahmad, Wali Khan Mashwani . Coefficient functionals for a class of bounded turning functions related to modified sigmoid function. AIMS Mathematics, 2022, 7(2): 3133-3149. doi: 10.3934/math.2022173 |
[2] | Rabha W. Ibrahim, Dumitru Baleanu . Fractional operators on the bounded symmetric domains of the Bergman spaces. AIMS Mathematics, 2024, 9(2): 3810-3835. doi: 10.3934/math.2024188 |
[3] | Muhammmad Ghaffar Khan, Wali Khan Mashwani, Jong-Suk Ro, Bakhtiar Ahmad . Problems concerning sharp coefficient functionals of bounded turning functions. AIMS Mathematics, 2023, 8(11): 27396-27413. doi: 10.3934/math.20231402 |
[4] | Muhammmad Ghaffar Khan, Wali Khan Mashwani, Lei Shi, Serkan Araci, Bakhtiar Ahmad, Bilal Khan . Hankel inequalities for bounded turning functions in the domain of cosine Hyperbolic function. AIMS Mathematics, 2023, 8(9): 21993-22008. doi: 10.3934/math.20231121 |
[5] | Zhen Peng, Muhammad Arif, Muhammad Abbas, Nak Eun Cho, Reem K. Alhefthi . Sharp coefficient problems of functions with bounded turning subordinated to the domain of cosine hyperbolic function. AIMS Mathematics, 2024, 9(6): 15761-15781. doi: 10.3934/math.2024761 |
[6] | Lina Ma, Shuhai Li, Huo Tang . Geometric properties of harmonic functions associated with the symmetric conjecture points and exponential function. AIMS Mathematics, 2020, 5(6): 6800-6816. doi: 10.3934/math.2020437 |
[7] | Xinghua You, Ghulam Farid, Lakshmi Narayan Mishra, Kahkashan Mahreen, Saleem Ullah . Derivation of bounds of integral operators via convex functions. AIMS Mathematics, 2020, 5(5): 4781-4792. doi: 10.3934/math.2020306 |
[8] | İbrahim Aktaş . On some geometric properties and Hardy class of q-Bessel functions. AIMS Mathematics, 2020, 5(4): 3156-3168. doi: 10.3934/math.2020203 |
[9] | Muhammad Ghaffar Khan, Sheza.M. El-Deeb, Daniel Breaz, Wali Khan Mashwani, Bakhtiar Ahmad . Sufficiency criteria for a class of convex functions connected with tangent function. AIMS Mathematics, 2024, 9(7): 18608-18624. doi: 10.3934/math.2024906 |
[10] | Yue Wang, Ghulam Farid, Babar Khan Bangash, Weiwei Wang . Generalized inequalities for integral operators via several kinds of convex functions. AIMS Mathematics, 2020, 5(5): 4624-4643. doi: 10.3934/math.2020297 |
The study of expansions of certain mock theta functions in special functions theory has a long and quite significant history. Motivated by recent correlations between q-series and mock theta functions, we establish a new q-series transformation formula and derive the double-sum expansions for mock theta functions. As an application, we state new double-sum representations for certain mock theta functions.
Let A denote the class of functions f which are analytic in the open unit disk Δ={z∈C:|z|<1}, normalized by the conditions f(0)=f′(0)−1=0. So each f∈A has series representation of the form
f(z)=z+∞∑n=2anzn. | (1.1) |
For two analytic functions f and g, f is said to be subordinated to g (written as f≺g) if there exists an analytic function ω with ω(0)=0 and |ω(z)|<1 for z∈Δ such that f(z)=(g∘ω)(z).
A function f∈A is said to be in the class S if f is univalent in Δ. A function f∈S is in class C of normalized convex functions if f(Δ) is a convex domain. For 0≤α≤1, Mocanu [23] introduced the class Mα of functions f∈A such that f(z)f′(z)z≠0 for all z∈Δ and
ℜ((1−α)zf′(z)f(z)+α(zf′(z))′f′(z))>0(z∈Δ). | (1.2) |
Geometrically, f∈Mα maps the circle centred at origin onto α-convex arcs which leads to the condition (1.2). The class Mα was studied extensively by several researchers, see [1,10,11,12,24,25,26,27] and the references cited therein.
A function f∈S is uniformly starlike if f maps every circular arc Γ contained in Δ with center at ζ ∈Δ onto a starlike arc with respect to f(ζ). A function f∈C is uniformly convex if f maps every circular arc Γ contained in Δ with center ζ ∈Δ onto a convex arc. We denote the classes of uniformly starlike and uniformly convex functions by UST and UCV, respectively. For recent study on these function classes, one can refer to [7,9,13,19,20,31].
In 1999, Kanas and Wisniowska [15] introduced the class k-UCV (k≥0) of k-uniformly convex functions. A function f∈A is said to be in the class k-UCV if it satisfies the condition
ℜ(1+zf″(z)f′(z))>k|zf′(z)f′(z)|(z∈Δ). | (1.3) |
In recent years, many researchers investigated interesting properties of this class and its generalizations. For more details, see [2,3,4,14,15,16,17,18,30,32,35] and references cited therein.
In 2015, Sokół and Nunokawa [33] introduced the class MN, a function f∈MN if it satisfies the condition
ℜ(1+zf″(z)f′(z))>|zf′(z)f(z)−1|(z∈Δ). |
In [28], it is proved that if ℜ(f′)>0 in Δ, then f is univalent in Δ. In 1972, MacGregor [21] studied the class B of functions with bounded turning, a function f∈B if it satisfies the condition ℜ(f′)>0 for z∈Δ. A natural generalization of the class B is B(δ1) (0≤δ1<1), a function f∈B(δ1) if it satisfies the condition
ℜ(f′(z))>δ1(z∈Δ;0≤δ1<1), | (1.4) |
for details associated with the class B(δ1) (see [5,6,34]).
Motivated essentially by the above work, we now introduce the following class k-Q(α) of analytic functions.
Definition 1. Let k≥0 and 0≤α≤1. A function f∈A is said to be in the class k-Q(α) if it satisfies the condition
ℜ((zf′(z))′f′(z))>k|(1−α)f′(z)+α(zf′(z))′f′(z)−1|(z∈Δ). | (1.5) |
It is worth mentioning that, for special values of parameters, one can obtain a number of well-known function classes, some of them are listed below:
1. k-Q(1)=k-UCV;
2. 0-Q(α)=C.
In what follows, we give an example for the class k-Q(α).
Example 1. The function f(z)=z1−Az(A≠0) is in the class k-Q(α) with
k≤1−b2b√b(1+α)[b(1+α)+2]+4(b=|A|). | (1.6) |
The main purpose of this paper is to establish several interesting relationships between k-Q(α) and the class B(δ) of functions with bounded turning.
To prove our main results, we need the following lemmas.
Lemma 1. ([8]) Let h be analytic in Δ with h(0)=1, β>0 and 0≤γ1<1. If
h(z)+βzh′(z)h(z)≺1+(1−2γ1)z1−z, |
then
h(z)≺1+(1−2δ)z1−z, |
where
δ=(2γ1−β)+√(2γ1−β)2+8β4. | (2.1) |
Lemma 2. Let h be analytic in Δ and of the form
h(z)=1+∞∑n=mbnzn(bm≠0) |
with h(z)≠0 in Δ. If there exists a point z0(|z0|<1) such that |argh(z)|<πρ2(|z|<|z0|) and |argh(z0)|=πρ2 for some ρ>0, then z0h′(z0)h(z0)=iℓρ, where
ℓ:{ℓ≥n2(c+1c)(argh(z0)=πρ2),ℓ≤−n2(c+1c)(argh(z0)=−πρ2), |
and (h(z0))1/ρ=±ic(c>0).
This result is a generalization of the Nunokawa's lemma [29].
Lemma 3. ([37]) Let ε be a positive measure on [0,1]. Let ϝ be a complex-valued function defined on Δ×[0,1] such that ϝ(.,t) is analytic in Δ for each t∈[0,1] and ϝ(z,.) is ε-integrable on [0,1] for all z∈Δ. In addition, suppose that ℜ(ϝ(z,t))>0, ϝ(−r,t) is real and ℜ(1/ϝ(z,t))≥1/ϝ(−r,t) for |z|≤r<1 and t∈[0,1]. If ϝ(z)=∫10ϝ(z,t)dε(t), then ℜ(1/ϝ(z))≥1/ϝ(−r).
Lemma 4. ([22]) If −1≤D<C≤1, λ1>0 and ℜ(γ2)≥−λ1(1−C)/(1−D), then the differential equation
s(z)+zs′(z)λ1s(z)+γ2=1+Cz1+Dz(z∈Δ) |
has a univalent solution in Δ given by
s(z)={zλ1+γ2(1+Dz)λ1(C−D)/Dλ1∫z0tλ1+γ2−1(1+Dt)λ1(C−D)/Ddt−γ2λ1(D≠0),zλ1+γ2eλ1Czλ1∫z0tλ1+γ2−1eλ1Ctdt−γ2λ1(D=0). |
If r(z)=1+c1z+c2z2+⋯ satisfies the condition
r(z)+zr′(z)λ1r(z)+γ2≺1+Cz1+Dz(z∈Δ), |
then
r(z)≺s(z)≺1+Cz1+Dz, |
and s(z) is the best dominant.
Lemma 5. ([36,Chapter 14]) Let w, x and\ y≠0,−1,−2,… be complex numbers. Then, for ℜ(y)>ℜ(x)>0, one has
1. 2G1(w,x,y;z)=Γ(y)Γ(y−x)Γ(x)∫10sx−1(1−s)y−x−1(1−sz)−wds;
2. 2G1(w,x,y;z)= 2G1(x,w,y;z);
3. 2G1(w,x,y;z)=(1−z)−w2G1(w,y−x,y;zz−1).
Firstly, we derive the following result.
Theorem 1. Let 0≤α<1 and k≥11−α. If f∈k-Q(α), then f∈B(δ), where
δ=(2μ−λ)+√(2μ−λ)2+8λ4(λ=1+αkk(1−α);μ=k−αk−1k(1−α)). | (3.1) |
Proof. Let f′=ℏ, where ℏ is analytic in Δ with ℏ(0)=1. From inequality (1.5) which takes the form
ℜ(1+zℏ′(z)ℏ(z))>k|(1−α)ℏ(z)+α(1+zℏ′(z)ℏ(z))−1|=k|1−α−ℏ(z)+αℏ(z)−αzℏ′(z)ℏ(z)|, |
we find that
ℜ(ℏ(z)+1+αkk(1−α)zℏ(z)ℏ(z))>k−αk−1k(1−α), |
which can be rewritten as
ℜ(ℏ(z)+λzℏ(z)ℏ(z))>μ(λ=1+αkk(1−α);μ=k−αk−1k(1−α)). |
The above relationship can be written as the following Briot-Bouquet differential subordination
ℏ(z)+λzℏ′(z)ℏ(z)≺1+(1−2μ)z1−z. |
Thus, by Lemma 1, we obtain
ℏ≺1+(1−2δ)z1−z, | (3.2) |
where δ is given by (3.1). The relationship (3.2) implies that f∈B(δ). We thus complete the proof of Theorem 3.1.
Theorem 2. Let 0<α≤1, 0<β<1, c>0, k≥1, n≥m+1(m∈ N ), |ℓ|≥n2(c+1c) and
|αβℓ±(1−α)cβsinβπ2|≥1. | (3.3) |
If
f(z)=z+∞∑n=m+1anzn(am+1≠0) |
and f∈k-Q(α), then f∈B(β0), where
β0=min{β:β∈(0,1)} |
such that (3.3) holds.
Proof. By the assumption, we have
f′(z)=ℏ(z)=1+∞∑n=mcnzn(cm≠0). | (3.4) |
In view of (1.5) and (3.4), we get
ℜ(1+zℏ′(z)ℏ(z))>k|(1−α)ℏ(z)+α(1+zℏ′(z)ℏ(z))−1|. |
If there exists a point z0∈Δ such that
|argℏ(z)|<βπ2(|z|<|z0|;0<β<1) |
and
|argℏ(z0)|=βπ2(0<β<1), |
then from Lemma 2, we know that
z0ℏ′(z0)ℏ(z0)=iℓβ, |
where
(ℏ(z0))1/β=±ic(c>0) |
and
ℓ:{ℓ≥n2(c+1c)(argℏ(z0)=βπ2),ℓ≤−n2(c+1c)(argℏ(z0)=−βπ2). |
For the case
argℏ(z0)=βπ2, |
we get
ℜ(1+z0ℏ′(z0)ℏ(z0))=ℜ(1+iℓβ)=1. | (3.5) |
Moreover, we find from (3.3) that
k|(1−α)ℏ(z0)+α(1+z0ℏ′(z0)ℏ(z0))−1|=k|(1−α)(ℏ(z0)−1)+αz0ℏ′(z0)ℏ(z0)|=k|(1−α)[(±ic)β−1]+iαβℓ|=k√(1−α)2(cβcosβπ2−1)2+[αβℓ±(1−α)cβsinβπ2]2≥1. | (3.6) |
By virtue of (3.5) and (3.6), we have
ℜ(1+zℏ′(z0)ℏ(z0))≤k|(1−α)ℏ(z0)+α(1+z0ℏ(z0)ℏ(z0))−1|, |
which is a contradiction to the definition of k-Q(α). Since β0=min{β:β∈(0,1)} such that (3.3) holds, we can deduce that f∈B(β0).
By using the similar method as given above, we can prove the case
argℏ(z0)=−βπ2 |
is true. The proof of Theorem 2 is thus completed.
Theorem 3. If 0<β<1 and 0≤ν<1. If f∈k-Q(α), then
ℜ(f′)>[2G1(2β(1−ν),1;1β+1;12)]−1, |
or equivalently, k-Q(α)⊂B(ν0), where
ν0=[2G1(2β(1−μ),1;1β+1;12)]−1. |
Proof. For
w=2β(1−ν), x=1β, y=1β+1, |
we define
ϝ(z)=(1+Dz)w∫10tx−1(1+Dtz)−wdt=Γ(x)Γ(y) 2G1(1,w,y;zz−1). | (3.7) |
To prove k-Q(α)⊂B(ν0), it suffices to prove that
inf|z|<1{ℜ(q(z))}=q(−1), |
which need to show that
ℜ(1/ϝ(z))≥1/ϝ(−1). |
By Lemma 3 and (3.7), it follows that
ϝ(z)=∫10ϝ(z,t)dε(t), |
where
ϝ(z,t)=1−z1−(1−t)z(0≤t≤1), |
and
dε(t)=Γ(x)Γ(w)Γ(y−w)tw−1(1−t)y−w−1dt, |
which is a positive measure on [0,1].
It is clear that ℜ(ϝ(z,t))>0 and ϝ(−r,t) is real for |z|≤r<1 and t∈[0,1]. Also
ℜ(1ϝ(z,t))=ℜ(1−(1−t)z1−z)≥1+(1−t)r1+r=1ϝ(−r,t) |
for |z|≤r<1. Therefore, by Lemma 3, we get
ℜ(1/ϝ(z))≥1/ϝ(−r). |
If we let r→1−, it follows that
ℜ(1/ϝ(z))≥1/ϝ(−1). |
Thus, we deduce that k-Q(α)⊂B(ν0).
Theorem 4. Let 0≤α<1 and k≥11−α. If f∈k-Q(α), then
f′(z)≺s(z)=1g(z), |
where
g(z)=2G1(2λ,1,1λ+1;zz−1)(λ=1+αkk(1−α)). |
Proof. Suppose that f′=ℏ. From the proof of Theorem 1, we see that
ℏ(z)+zℏ′(z)1λℏ(z)≺1+(1−2μ)z1−z≺1+z1−z(λ=1+αkk(1−α);μ=k−αk−1k(1−α)). |
If we set λ1=1λ, γ2=0, C=1 and D=−1 in Lemma 4, then
ℏ(z)≺s(z)=1g(z)=z1λ(1−z)−2λ1/λ∫z0t(1/λ)−1(1−t)−2/λdt. |
By putting t=uz, and using Lemma 5, we obtain
ℏ(z)≺s(z)=1g(z)=11λ(1−z)2λ∫10u(1/λ)−1(1−uz)−2/λdu=[2G1(2λ,1,1λ+1;zz−1)]−1, |
which is the desired result of Theorem 4.
The present investigation was supported by the Key Project of Education Department of Hunan Province under Grant no. 19A097 of the P. R. China. The authors would like to thank the referees for their valuable comments and suggestions, which was essential to improve the quality of this paper.
The authors declare no conflict of interest.
[1] |
G. E. Andrews, D. Hickerson, Ramanujan's "lost notebook": The sixth order mock theta functions, Adv. Math., 89 (1991), 60–105. https://doi.org/10.1016/0001-8708(91)90083-J doi: 10.1016/0001-8708(91)90083-J
![]() |
[2] |
G. E. Andrews, q-orthogonal polynomials, Rogers-Ramanujan identities, and mock theta functions, Proc. Steklov Inst. Math., 276 (2012), 21–32. https://doi.org/10.1134/S0081543812010038 doi: 10.1134/S0081543812010038
![]() |
[3] |
B. C. Berndt, S. H. Chan, Sixth order mock theta functions Adv. Math., 216 (2007), 771–786. https://doi.org/10.1016/j.aim.2007.06.004 doi: 10.1016/j.aim.2007.06.004
![]() |
[4] | B. C. Berndt, R. A. Rankin, Ramanujan: Letters and Commentary, History of Mathematics, 9. American Mathematical Society, Providence, RI, London. Mathematical Society, London (1995), xiv+347pp. |
[5] | G. Gasper, M. Rahman, Basic Hypergeometric Series, 2Eds, Cambridge University Press, Cambridge, 2004. https://doi.org/10.1017/CBO9780511526251 |
[6] |
B. Gordon, R. J. McIntosh, Some eighth order mock theta functions, J. London Math. Soc.(2), 62 (2000), 321–335. https://doi.org/10.1112/S0024610700008735 doi: 10.1112/S0024610700008735
![]() |
[7] | B. Gordon, R. J. McIntosh, A survey of classic mock theta functions, In Partitions, q-Series, and Modular Forms, Developments in Math., 23 (2012), 95–144. |
[8] |
Q. X. Hu, H. M. Srivastava, B. Ahmad, N. Khan, M. G. Khan, W. K. Mashwani, et al., A subclass of multivalent Janowski type q-starlike functions and its consequences, Symmetry, 13 (2021), Article ID 1275, 1–14. https://doi.org/10.3390/sym13071275 doi: 10.3390/sym13071275
![]() |
[9] |
Z. Jia, B. Khan, Q. Hu, D. Niu, Applications of generalized q-difference equations for general q-polynomials, Symmetry, 13 (2021), 1222. https://doi.org/10.3390/sym13071222 doi: 10.3390/sym13071222
![]() |
[10] |
Z. Jia, B. Khan, P. Agarwal, Q. Hu, X. Wang, Two new Bailey lattices and their applications, Symmetry, 13 (2021), 958. https://doi.org/10.3390/sym13060958 doi: 10.3390/sym13060958
![]() |
[11] |
B. Khan, Z. G. Liu, T. G. Shaba, S. Araci, N. Khan, M. G. Khan, Applications of q-derivative operator to the subclass of Bi-Univalent functions involving q-Chebyshev Ppolynomials, J. Math., 2022 (2022), 8162182. https://doi.org/10.1155/2022/8162182 doi: 10.1155/2022/8162182
![]() |
[12] |
B. Khan, H. M. Srivastava, M. Tahir, M. Darus, Q. Z. Ahmad, N. Khan, Applications of a certain integral operator to the subclasses of analytic and bi-univalent functions, AIMS Math., 6 (2021), 1024–1039. https://doi.org/10.3934/math.2021061 doi: 10.3934/math.2021061
![]() |
[13] |
M. G. Khan, B. Ahmad, N. Khan, W. K. Mashwani, S. Arjika, B. Khan, et al., Applications of Mittag-Leffler type Poisson distribution to a subclass of analytic functions involving conic-type regions, Dev. Geom. Funct. Theory, 2021 (2021), Article ID 4343163, 9 pages. https://doi.org/10.1155/2021/4343163 doi: 10.1155/2021/4343163
![]() |
[14] |
W. K. Mashwani, B. Ahmad, N. Khan, M. G. Khan, S. Arjika, B. Khan, et al., Fourth Hankel determinant for a subclass of starlike functions based on modified sigmoid, J. Funct. Space., 2021 (2021), Article ID 6116172. https://doi.org/10.1155/2021/6116172 doi: 10.1155/2021/6116172
![]() |
[15] |
M. S. U. Rehman, Q. Z. Ahmad, H. M. Srivastava, N. Khan, M. Darus, B. Khan, Applications of higher-order q-derivatives to the subclass of q-starlike functions associated with the Janowski functions, AIMS Math. 6 (2021), 1110–1125. https://doi.org/10.3934/math.2021067 doi: 10.3934/math.2021067
![]() |
[16] |
L. Shi, B. Ahmad, N. Khan, M. G. Khan, S. Araci, W. K. Mashwani, et al., Coefficient estimates for a subclass of meromorphic multivalent q -close-to-convex functions, Symmetry, 2021, 13, 1840. https://doi.org/10.3390/sym13101840 doi: 10.3390/sym13101840
![]() |
[17] |
H. M. Srivastava, J. Cao, S. Arjika, A note on generalized q-difference equations and their applications involving q-hypergeometric functions, Symmetry, 12 (2020), 1816. https://doi.org/10.3390/sym12111816 doi: 10.3390/sym12111816
![]() |
[18] |
H. M. Srivastava, S. Arjika, A. S. Kelil, Some homogeneous q-difference operators and the associated generalized Hahn polynomials, Appl. Set-Valued Anal. Optim., 1 (2019), 187–201. https://doi.org/10.48550/arXiv.1908.03207 doi: 10.48550/arXiv.1908.03207
![]() |
[19] |
J. Lovejoy, R. Osburn, Mock theta double sums, Glasg. Math. J., 59 (2017), 323–348. https://doi.org/10.1017/S0017089516000197 doi: 10.1017/S0017089516000197
![]() |
[20] |
R. J. McIntosh, Second order mock theta functions, Can. Math. Bull., 50 (2007), 284–290. https://doi.org/10.4153/CMB-2007-028-9 doi: 10.4153/CMB-2007-028-9
![]() |
[21] |
A. E. Patkowski, On some new Bailey pairs and new expansions for some Mock theta functions, Methods Appl. Anal., 23 (2016), 205–213. https://doi.org/10.7216/1300759920162310306 doi: 10.7216/1300759920162310306
![]() |
[22] |
A. E. Patkowski, More on some Mock theta double sums, Adv. in Appl. Math., 106 (2019), 20–27. https://doi.org/10.1016/j.aam.2019.01.006 doi: 10.1016/j.aam.2019.01.006
![]() |
[23] | S. Ramanujan, Collected papers of Srinivasa Ramanujan, Edited by G. H. Hardy, P. V. Seshu. Aiyar, B. M. Wilson, Third printing of the 1927 original. With a new preface and commentary by Bruce C. Berndt, AMS Chelsea Publishing; Providence, RI (2000), xxxviii+426pp. |
[24] | S. Ramanujan Collected Papers, Cambridge University Press, 1972, reprinted Chelsea, New York, 1962. |
[25] | Z. Zhang, X. Li Mock theta functions in terms of q -hypergeometric double sums, Int. J. Number Theory, 14 (2018), 1715–1728. |
1. | Syed Ghoos Ali Shah, Saima Noor, Saqib Hussain, Asifa Tasleem, Akhter Rasheed, Maslina Darus, Rashad Asharabi, Analytic Functions Related with Starlikeness, 2021, 2021, 1563-5147, 1, 10.1155/2021/9924434 |