arxiv: v1 [math.cv] 12 Apr 2014

Transcription

1 GEOMETRIC PROPERTIES OF BASIC HYPERGEOMETRIC FUNCTIONS SARITA AGRAWAL AND SWADESH SAHOO arxiv:44.327v [math.cv] 2 Apr 24 Abstract. In this paper we consider basic hypergeometric functions introduced by Heine. We study mapping properties of certain ratios of basic hypergeometric functions having shifted parameters and show that they map the domains of analyticity onto domains convex in the direction of the imaginary axis. In order to investigate these mapping properties, few useful identities are obtained in terms of basic hypergeometric functions. In addition, we find conditions under which the basic hypergeometric functions are in q-close-to-convex family.. Introduction and preliminaries In view of the Riemann mapping theorem, in the classical complex analysis, the unit disk D {z C : z < } is well understood to consider as a standard domain. The classes of convex, starlike, and close-to-convex functions defined in the unit disk have been extensively studied and found numerous applications to various problems in complex analysis and related topics. Part of this development is the study of subclasses of the class of univalent functions, more general than the classes of convex, starlike, and close-to-convex functions. Number of geometric characterizations of such functions in terms of image of the unit disk are extensively studied by several authors. Background knowledge in this theory can be found from standard books in geometric function theory (see for instance, [3]) In this connection, our main aim is to study certain geometric properties of basic hypergeometric functions introduced by Heine [7]. Motivation behind this comes from mapping properties of the Gauss hypergeometric functions studied in [] in terms of convexity properties of shifted hypergeometric functions in the direction of the imaginary axis. One of the key tools to study this geometric property was the continued fraction of Gauss and a theorem of Wall concerning a characterization of Hausdorff moment sequences by means of (continued) g-fractions [23]. More background on mapping properties of the Gauss hypergeometric functions can be found in [6, 3, 4, 5, 2]. We now collect some standard notations and basic definitions used in this paper. We denote by A, the class of analytic functions f(z) defined on D with the normalization f() f (). In other words, functions f(z) in A have the power series representation f(z) z + a n z n, z D. n2 File: AgrSahP_Feb24.tex, printed: ,.37 2 Mathematics Subject Classification. 3B7; 3C2; 3C45; 3C55; 3E2; 33C5; 33D5; 33D5; 39A3; 39A7; 39B32. Key words and phrases. univalent, starlike and close-to-convex functions, convexity in the direction of the imaginary axis, continued fraction, g-fraction, Hausdorff moment sequence, q-difference operator, Gauss and basic hypergeometric functions. Corresponding author.

2 2 Sarita Agrawal and Swadesh Sahoo One-one analytic functions in this theory are usually called univalent analytic functions. A function f A is called starlike (f S ) if ( ) zf (z) Re >, z D f(z) and f A is called close-to-convex (f K) if there exists g S such that ( ) zf (z) Re >, z D. g(z) Clearly, S K. In 99, a q-analog of starlike functions was introduced by Ismail et al. [8] via the q-difference operator (q < ), D q f, defined by the equation (.) (D q f)(z) f(z) f(qz), z, (D q f)() f (). z() In view of the above relationship between S and K, with the help of the difference operator D q f, a similar q-analog of close-to-convex functions are studied in [6, 2]. Definition.2. A function f A is said to belong to the class K q if there exists g S such that z g(z) (D qf)(z), z D. As q, the closed disk w () () reduces to the right-half plane Re w > and hence the class K q coincides with the class K. We also call the function f the q-close-to-convex function, when f K q with the starlike function g. The difference operator D q f defined in (.) plays an important role in the theory of basic hypergeometric series and quantum physics (see for instance [, 4, 5, 9, 22]). It is easy to see that D q d dz as q. The well-known basic hypergeometric functions involving Watson s symbol (a; q) n (also called the q-shifted factorial), n, defined by (a; q), (a; q) n ( a)( aq)( aq 2 ) ( aq n aq k ) aq k+n for all real or complex values of a. The following relation is useful in this context: (.3) ( a)(aq; q) n (a; q) n ( aq n ) (a; q) n+. In the unit disk D, Heine s hypergeometric series (a; q) n (b; q) n z n ( a)( b) ( a)( aq)( b)( bq) + z + (c; q) n (q; q) n ( c)() ( c)( cq)()( 2 ) z2 +, n where q < and a, b, c are real or complex parameters, is convergent. The corresponding function is denoted by and called as the basic (or Heine s) hypergeometric function [2, 22]. The limit lim q (q a ; q) n (q; q) n a(a + ) (a + n ) k

3 Basic hypergeometric functions 3 says that, with the substitution a q a, the Heine hypergeometric function takes to the well-known Gauss hypergeometric function F (a, b; c; z) when q approaches. In Section 2, we show that the functions zφ[a, bq; cq; q, z] ( or ) zφ[aq, bq; cq; q, z] zφ[aq, b; c; q, z], Φ[aq, b; c; q, z] ( or ) zφ[aq, bq; cq; q, z] Φ[a, bq; cq; q, z] and zφ[aq, bq; cq; q, z] are analytic in a cut plane and map both the unit disk and a half-plane univalently onto domains convex in the direction of the imaginary axis. Section 3 deals with q-close-to-convexity properties of the basic shifted hypergeometric functions z. Finally, concluding remarks on the paper have been focused in Section Continued fractions and mapping properties In this section, we mainly concentrate on mapping properties of functions of the form zφ[aq, bq; cq; q, z] or Φ[aq, bq; cq; q, z]. First we collect few useful identities on basic hypergeometric functions. Further, analytic properties of continued fraction of Gauss and Wall s characterization of Hausdorff moment sequences by means of (continued) g-fractions [23] are used as important tools, and finally, the following lemma has been used to conclude the results. Lemma 2.. [, 2] Let µ : [, ] [, ] be non-decreasing with µ() µ(). Then the function z z tz dµ(t) is analytic in the cut-plane C \ [, ] and maps both the unit disk and the half-plane {z C : Re z < } univalently onto domains convex in the direction of the imaginary axis. Here, a domain D C is called convex in the direction of the imaginary axis [7, 9] if the intersection of D with any line parallel to the imaginary axis is either empty or a line segment. As an application of Lemma 2., subject to some ranges for the real parameters a, b, c, it is proved in [] that the hypergeometric function z F (a, b; c; z) as well as the shifted function z zf (a, b; c; z) each maps both the unit disk D and the half-plane {z C : Re z < } univalently onto domains convex in the direction of the imaginary axis.

4 4 Sarita Agrawal and Swadesh Sahoo Figure. The image of the disk z < r (r.999) under the mapping zf (a +, b; c; z)/f (a, b; c; z), when a, b.99, c.. Moreover, he obtained similar properties of images under ratios of hypergeometric functions having shifted parameters. For instance, see Figure for description of such a function. In order to use analytic properties of continued fraction of Gauss, certain identities on the Gauss hypergeometric functions were crucial to consider. In this context, it is also important to collect similar relations on basic hypergeometric functions. One such relation is obtained in [8] and we also use that relation in our proofs. Lemma 2.2. The basic hypergeometric function of Heine is satisfied by the identities ( a)(c b) (a) Φ[a, bq; cq; q, z] ( c)( cq) zφ[aq, bq; cq2 ; q, z]; (b) Proof. Φ[aq, b; c; q, z] a( b) zφ[aq, bq; cq; q, z] ( c) a ( Φ[a, b; c; q, qz]). a (a) Making use of the identities given in (.3), we have (a; q) n (b; q) n Φ[a, bq; cq; q, z] z n (a; q) n (bq; q) n z n (c; q) n (q; q) n (cq; q) n (q; q) n n n n (a; q) n (b; q) n (c; q) n (q; q) n (a; q) n (b; q) n (c; q) n (q; q) n n [ ( bqn )( c) ( cq n )( b) [ (c b)( n ) ( b)( cq n ) ] z n. ] z n

5 Basic hypergeometric functions 5 Since the first term (when n ) vanishes in the above sum, by rewriting the summation, we get Φ[a, bq; cq; q, z] n n [ ] (a; q) n+ (b; q) n+ (c b)( n+ ) z n+ (c; q) n+ (q; q) n+ ( b)( cq n+ ) ( a)(aq; q) n ( b)(bq; q) n (c b) ( c)( cq)(cq 2 ; q) n (q; q) n ( b) zn+ ( a)(c b) ( c)( cq) z Φ[aq, bq; cq2 ; q, z]. (b) By similar steps used in the proof of (a), we obtain Φ[aq, b; c; q, z] n n (aq; q) n (b; q) n (c; q) n (q; q) n [ a ] z n aq n (aq; q) n+ (b; q) n+ (c; q) n+ (q; q) n+ a( n+ ) ( aq n+ ) zn+. Now, we use the relation (.3) and obtain the difference Φ[aq, b; c; q, z] n a(aq; q) n ( b)(bq; q) n ( c)(cq; q) n (q; q) n z n+ a( b) z Φ[aq, bq; cq; q, z]. ( c) Finally, the identity a a a( b) ( Φ[a, b; c; q, qz]) zφ[aq, bq; cq; q, z] ( c) follows from a similar identity obtained in [8]. The following subsections deal with mapping properties discussed above. In particular, we generalize certain results of Küstner []. zφ[a, bq; cq; q, z] zφ[aq, bq; cq; q, z] 2.. The ratio or. Figure 2 visualizes the behaviour of Φ[aq, b; c; q, z] the image domain of the disk z <.998 under the map zφ[a, bq; cq; q, z]/ when a.9, b.7, c.6, q.8.

6 6 Sarita Agrawal and Swadesh Sahoo Figure 2. The image of the disk z <.998 under the mapping zφ[a, bq; cq; q, z]/, when a.9, b.7, c.6, q.8. This shows that the map zφ[a, bq; cq; q, z]/ in general does not take unit disk onto convex domains in all the directions. The following result obtains conditions on the parameters a, b, c for which the image domain is convex in the direction of the imaginary axis. Theorem 2.3. For q (, ) suppose that a, b, c be non-negative real numbers satisfying q(b c) cq and < a c c. Then there exists a non-decreasing function µ : [, ] [, ] with µ() µ() such that zφ[a, bq; cq; q, qz] Φ[a, b; c; q, qz] z tz dµ(t) which is analytic in the cut-plane C \ [, ] and maps both the unit disk and the half-plane {z C : Re z < } univalently onto domains convex in the direction of the imaginary axis. Proof. First of all we find the continued fraction of the ratio zφ /φ, where φ Φ[a, bq; cq; q, z] and φ. Consider the iteration (2.4) φ i φ i d i zφ i+, i, 2, 3,... where d i s are to be computed for each i. Rewrite this iteration in the form (2.5) φ i φ i + d i z φ i+ φi, i, 2, 3,.... Starting with i, the relation (2.5) yields the following continued fraction for φ /φ : φ φ + d z φ 2 φ d z + + d 2z φ 3 φ 2 + d z + d 2 z + d 3z φ 4 φ 3.

7 Continuing in this manner, it leads to the continued fraction (2.6) φ φ Basic hypergeometric functions 7 Φ[a, bq; cq; q, z] + d z + d 2 z + d 3 z We now calculate the values of d i for all i. First, to find d, we use Lemma 2.2(a) and see that ( a)(c b) φ φ Φ[a, bq; cq; q, z] ( c)( cq) z Φ[aq, bq; cq2 ; q, z]. Comparing with (2.4), for i, we get d A similar computation as in Lemma 2.2(a) gives ( a)(c b) ( c)( cq) and φ 2 Φ[aq, bq; cq 2 ; q, z]. φ φ 2 Φ[a, bq; cq; q, z] Φ[aq, bq; cq 2 ; q, z] Again by comparing with (2.4), for i 2, we get d 2 By a similar technique one can compute d 3 q Therefore, inductively we obtain and ( bq)(cq a) ( cq)( cq 2 ) z Φ[aq, bq2 ; cq 3 ; q, z]. ( bq)(cq a) ( cq)( cq 2 ) and φ 3 Φ[aq, bq 2 ; cq 3 ; q, z]. ( aq)(cq b) ( cq 2 )( cq 3 ) and d 4 q ( bq2 )(cq 2 a) ( cq 3 )( cq 4 ). d 2n+ q n ( aq n )(cq n b) ( cq 2n )( cq 2n+ ), for n d 2n q n ( bq n )(cq n a), for n. ( cq 2n )( cq 2n ) In order to apply the notion of the Hausdorff moment sequences by means of (continued) g-fractions, a technique used in [], we first rewrite (2.6) in the form Then we get and Φ[a, bq; cq; q, z] b z b 2 z b 3 z.... b 2n+ q n ( aq n )(b cq n ) ( cq 2n )( cq 2n+ ), for n b 2n q n ( bq n )(a cq n ), for n. ( cq 2n )( cq 2n ) Now by replacing z by qz, we have Φ[a, bq; cq; q, qz] Φ[a, b; c; q, qz] b qz b 2 qz b 3 qz... a z a 2 z a 3 z...

8 8 Sarita Agrawal and Swadesh Sahoo where a i b i q with and a 2n+ q n+ ( aq n )(b cq n ) ( cq 2n )( cq 2n+ ) for n, a 2n q n ( bq n )(a cq n ) for n. ( cq 2n )( cq 2n ) Set a i ( g i )g i+ for each i. Then, the ratio Φ[a, bq; cq; q, qz]/φ[a, b; c; q, qz] has the continued fraction (also called a g-fraction) Φ[a, bq; cq; q, qz] Φ[a, b; c; q, qz] ( g )g 2 z ( g 2 )g 3 z in terms of the moment sequence < g i > given by ( ) a cq g 2n+ q n n, n cq 2n ( g 3 )g 4 z... and ( ) b cq g 2n q n n, n. cq 2n Note that the moment sequence < g i > should satisfy the relation g i, when we apply Wall s theorem [23]. By hypothesis, it is clear that g, g 2. Using this, it is now easy to verify the relation g i for all i. Indeed, since b c > cq n and cq > cq 2n, we get the lower bound for g i. Next, as bq cq < cq, we have bq < and hence bq n < which implies bq n cq 2n < cq 2n. Other required conditions can be proved similarly. Hence, there exists a non-decreasing function µ : [, ] [, ] such that µ() µ() and (2.7) Φ[a, bq; cq; q, qz] Φ[a, b; c; q, qz] This concludes the proof of our theorem. tz dµ(t). Corollary 2.8. For q (, ) suppose that a, b, c be non-negative real numbers satisfying q(b c) cq and < a c c. Then there exists a non-decreasing function µ : [, ] [, ] with µ() µ() such that zφ[a, bq; cq; q, z] qz q tz dµ(t) which is analytic in the cut-plane C \ [q, ] and maps both the unit disk and the half-plane {z C : Re z < q} univalently onto domains convex in the direction of the imaginary axis. Proof. Replacing z by z/q in (2.7), we have Φ[a, bq; cq; q, z] Thus, the assertion of our corollary follows. q q tz dµ(t). Remark 2.9. If we substitute a by aq in (2.7), we get the same integral expression for the ratio zφ[aq, bq; cq; q, z]/φ[aq, b; c; q, z]. Moreover, if we substitute a by q a, b by q b and c by q c, we obtain a result of Küstner (see [, Theorem.5]) in the limiting sense when q.

9 Basic hypergeometric functions 9 zφ[aq, b; c; q, z] zφ[aq, bq; cq; q, z] 2.2. The ratio or. Figure 3 visualizes the behaviour of Φ[a, bq; cq; q, z] the image domain of the disk z <.999 under the map zφ[aq, b; c; q, z]/ when a.99, b.998, c.98, q Figure 3. The image of the disk z <.999 under the mapping Φ[aq, b; c; q, z]/, when a.99, b.998, c.98, q.9. This shows that the map zφ[aq, b; c; q, z]/ in general does not take the unit disk onto domains convex in all the directions. The following result obtains conditions on the parameters a, b, c for which the image domain is convex in the direction of the imaginary axis. Theorem 2.. For q (, ) suppose that a, b, c be non-negative real numbers satisfying aq cq and < b c. Then there exists a non-decreasing function µ : [, ] [, ] with µ() µ() such that zφ[aq, b; c; q, z] z tz dµ(t) which is analytic in the cut-plane C \ [, ] and maps both the unit disk and the half-plane {z C : Re z < } univalently onto domains convex in the direction of the imaginary axis. Proof. In order to find the continued fraction of the ratio Φ[aq, b; c; q, z]/, let us first consider the continued fraction of the ratio Φ[a, bq; cq; q, z]/ obtained in the proof of Theorem 2.3. Now, by replacing a by aq, we get the continued fraction of Φ[aq, bq; cq; q, z]/φ[aq, b; c; q, z], say, where and Φ[aq, bq; cq; q, z] Φ[aq, b; c; q, z] c z c 2 z c 3 z... c 2n+ q n ( aqn+ )(b cq n ) ( cq 2n )( cq 2n+ ), for n c 2n q n ( bqn )(a cq n ) ( cq 2n )( cq 2n ) for n.

10 Sarita Agrawal and Swadesh Sahoo Now, by Lemma 2.2(b), we have Φ[aq, b; c; q, z] a( b) z Φ[aq, bq; cq; q, z]. ( c) Simplifying this, we get This implies Φ[aq, b; c; q, z] a( b) ( c) Φ[aq, bq; cq; q, z] z. Φ[aq, b; c; q, z] Φ[aq, b; c; q, z] a( b) Φ[aq, bq; cq; q, z] z ( c) Φ[aq, b; c; q, z] a( b)z ( c) c z c 2 z c 3 z..., where c i s are defined as above. Rewriting this continued fraction by means of continued g-fractions of the form we get and Φ[aq, b; c; q, z] g 2n ( g )g z ( g )g 2 z aqn cq 2n for n g 2n+ bqn cq 2n for n ( g 2 )g 3 z,... with g a. By a similar technique as in the proof of Theorem 2.3, one can show by using the hypothesis that g i for all i. Hence, Wall s theorem shows that there exists a non-decreasing function µ : [, ] [, ] such that µ() µ() and (2.) Φ[aq, b; c; q, z] Thus, the assertion of our theorem follows. tz dµ(t). Remark 2.2. If we substitute b by bq and c by cq in (2.), we get the same integral expression for the ratio zφ[aq, bq; cq; q, z]/φ[a, bq; cq; q, z]. Moreover, if we substitute a by q a, b by q b and c by q c, and apply the limit as q, we obtain a result of Küstner (see [, Theorem.5]). zφ[aq, bq; cq; q, z] 2.3. The Ratio. Figure 4 visualizes the behaviour of the image domain of the disk z <.999 under the map zφ[aq, bq; cq; q, z]/ when a.99, b.998, c.98, q.9.

11 Basic hypergeometric functions Figure 4. The image of the disk z <.999 under the mapping Φ[aq, bq; cq; q, z]/, when a.99, b.998, c.98, q.9. The following result obtains conditions on the parameters a, b, c for which the image domain will be convex in the direction of the imaginary axis. Theorem 2.3. For q (, ) suppose that a, b, c be non-negative real numbers satisfying aq cq and < b c. Then there exists a non-decreasing function µ : [, ] [, ] with µ() µ() such that zφ[aq, bq; cq; q, z] a z tz dµ(t) which is analytic in the cut-plane C \ [, ] and maps both the unit disk and the half-plane {z C : Re z < } univalently onto domains convex in the direction of the imaginary axis. Proof. From the difference equation of Lemma 2.2(b) and Theorem 2., we have [ ] [ zφ[aq, bq; cq; q, z] ( c) Φ[aq, b; c; q, z] ( c) ] a( b) a( b) tz dµ (t), for some non-decreasing function µ : [, ] [, ] with µ () µ (). Define µ (t) : t s dµ (s) g for g ( b)/( c) > as in the proof of Theorem 2.. It follows from [, Remark 3.2] that Φ[aq, b; c; q, z] tz dµ z (t) + g tz dµ (t)

12 2 Sarita Agrawal and Swadesh Sahoo where µ is also a non-decreasing self-mapping of [, ] with µ () µ (). Finally, we get zφ[aq, bq; cq; q, z] ( c) a( b) g z tz dµ (t) z a tz dµ (t) and thus, Lemma 2. proves the conclusion of our theorem. Remark 2.4. If we substitute a by q a, b by q b and c by q c, then as q, we get the result of Küstner [, Theorem.5] for the ratio zf [a +, b + ; c + ; z]/f [a, b; c; z] of the Gauss hypergeometric functions. This function has also the similar mapping properties. 3. The q-close-to-convexity property The q-close-to-convex functions (see Definition.2), defined in Section, analytically characterizes by the fact that g(z) + f(qz) f(z) / g(z) for all z D (see [2, Lemma 3.]). It shows that if the function g(z) vanishes at z then z has to be zero, else the quotient (g(z) + f(qz) f(z))/g(z) would have a pole at z. We recall the following lemma from [5] concerning a sufficient condition for the shifted Gauss hypergeometric functions zf (a, b; c; z) to be in K. Lemma 3.. [5, Theorem 2.] Define T (a, b) : max{a + b, a + b + (ab )/2, 2ab} for a, b >. Suppose that c satisfies either c T (a, b) or c a + b with ab, a + b 2ab and Then zf (a, b; c; z) is close-to-convex with g(z) z/( z). Γ(a + b) Γ(a)Γ(b) 2. Number of problems on the convexity, starlikeness, and close-to-convexity properties of the Gauss hypergeometric functions are investigated in [6, 4, 5, 2]. In fact, a large number of open problems on the starlikeness of hypergeometric functions are remained unsolved. Our objective in this section is to extend Lemma 3. associated with the shifted basic hypergeometric function z. The following theorem in this direction improves a result obtained in [6]. Theorem 3.2. If a, b <, T (a, b) min and c satisfies either { ab, ab + (3.3) c T (a, b) or c ab with (3.4) ab aq + bq q 2ab + ab/q aq + bq q 2ab + ab/q, ab + 2() () + a + b q ab/q () aq + bq q, aq + bq + a + b 2q 2ab and 2 /q then z K q with the starlike function g(z) z/( z). Γ q (log q ab) Γ q (log q a)γ q (log q b) 2 For its proof we use the following result, a generalization of a result by MacGregor [, Theorem ], recently obtained in [2]. }

13 Basic hypergeometric functions 3 Lemma 3.5. [2] Let {A n } be a sequence of real numbers such that A and for all n, define B n A n ( n )/(). Suppose that or, holds. Then f(z) z + B 2 B n, B 2 B n 2 A n z n K q with g(z) z/( z). n2 The following limit formula is also used in the proof of Theorem 3.2. Lemma 3.6. For < q <, we have Proof. It suffices to show Now, Γ q (a)γ q (b) Γ q (c) (q a, q) n (q b, q) n lim () c a b+ Γ q (c) n (q c, q) n (q, q) n Γ q (a)γ q (b). Γ q (a)γ q (b) Γ q (c) (q a, q) n (q b, q) n lim n (q c, q) n (q, q) n (q a, q) n (q b, q) n lim () c a b+. n (q c, q) n (q, q) n lim n (q, q) n () a ( n+ ) a (q, q) n () b ( n+ ) b (q c, q) n+ (q a, q) n (q b, q) n (q a, q) n+ (q b, q) n+ (q, q) n () c ( n+ ) c (q c, q) n (q, q) n () c a b+ (q c, q) n+ (q a, q) n (q b, q) n lim n ( n+ ) c a b (q c, q) n (q a, q) n+ (q b, q) n+ () c a b+ ( n+c ) lim n ( n+ ) c a b ( n+a )( n+b ) () c a b+. This completes the proof of our lemma. Remark 3.7. Taking q, the limit expression in Lemma 3.6, coincides with the well known fact Γ(c) (a) n (b) for c + a + b n lim Γ(a)Γ(b) n (c) n n! for c + > a + b for c + < a + b described in [5]. We next use the limiting value (a, q) n (b, q) n lim () log q c log q a log q b + Γ q (log q c) n (c, q) n (q, q) n Γ q (log q a)γ q (log q b) which can be easily verified with the substitutions q a a, q b b and q c c.

14 4 Sarita Agrawal and Swadesh Sahoo 3.. Proof of Theorem 3.2. Proof. Let f(z) z. Then f A and is of the form f(z) z + A n z n, where n2 A, A n (a, q) n (b, q) n (c, q) n (q, q) n, for n 2. From the definition of A n, we observe the recurrence relation: A n+ ( aqn )( bq n ) A ( cq n )( n n. ) First, we need to show that {(( n )/())A n } is a decreasing sequence of positive real numbers. For this, we compute ( ) ( ) n n+ A n A n+ ( ) ( ) n n+ ( aq n )( bq n ) A n A ( cq n )( n n ) A n ( cq n )( n )() [(n ) 2 ( cq n ) ( n+ )( aq n )( bq n )] A n ( ) ( cq n n )X(n) where X(n) On simplification, we have X(n) q n { ( n () 3 [ ( n ) 2 ( cq n ) ( n+ )( aq n )( bq n ) ]. ) 2 ( ) ab c + ( ) ( ) n aq + bq q 2ab + ab/q () 2 ( )} a + b q ab/q +. () 2 Therefore, to prove the first part, it is sufficient to show that X(n) is non-negative. Note that the condition (3.3) implies c ab and so the coefficient of the factor (( n )/()) 2

15 Basic hypergeometric functions 5 in the above expression of X(n) is non-negative. Thus, for all n, we can write ( ) ) ( ) ( ) ( ) X(n) q [(2 n n ab c n aq + bq q 2ab + ab/q + () ( 2 )] a + b q ab/q + () [( ) { ( ) ( )} 2 q n n ab c aq + bq q 2ab + ab/q 2 + () ( ) 2 ( )] a + b q ab/q ab c + Y (n), say. () 2 By equation (3.3), we have c ab + (aq + bq q 2ab + ab/q)/(2()). So, the coefficient of ( n )/() in the expression of Y (n) is non-negative and hence we obtain ( ) ( ) ( ) ab c aq + bq q 2ab + ab/q a + b q ab/q X(n) Y (n) Y () + +. () 2 () 2 Again, by (3.3), we get Y (). This argument proves that if c T (a, b) then the function z K q with the starlike function g(z) z/( z). To prove the second part, we need to show that (( n )/())A n is a non-decreasing sequence and has a limit less than or equal to 2. From (3.4), we note that c ab and ab (aq + bq q)/(2 q ). So, by the hypothesis (3.4), we obtain ( ) ( ) aq + bq q 2ab + ab/q a + b q ab/q X(n) Y (n) Y () +. () 2 () 2 Now, we have to show that the limiting value of A n ( n )/() is less than or equal to 2. Write c ab and ( ) ( ) n n A n A n + A n q(n ) (a, q) n (b, q) n + (a, q) n (b, q) n (c, q) n (q, q) n (c, q) n (q, q) n q (a, q) n 2 ( aq n 2 )(b, q) n 2 ( bq n 2 ) + (a, q) n (b, q) n. (c, q) n 2 ( cq n 2 )(q, q) n 2 (c, q) n (q, q) n Taking limit as n on both the sides, we have ( ) n A n lim n lim n From Remark 3.7, we have ( ) n A n q lim (a, q) n 2 (b, q) n 2 (a, q) n (b, q) n + lim. n (c, q) n 2 (q, q) n 2 n (c, q) n (q, q) n q ()log q c log q a log q b + Γ q (log q c) Γ q (log q a)γ q (log q b) +() log q c log q a log q b + Γ q (log q c) Γ q (log q a)γ q (log q b).

16 6 Sarita Agrawal and Swadesh Sahoo Using c ab, the above expression reduces to ( ) n Γ q (log q ab) Γ q (log q ab) lim A n q + () n Γ q (log q a)γ q (log q b) Γ q (log q a)γ q (log q b) Γ q (log q ab) Γ q (log q a)γ q (log q b). The conclusion follows from (3.4) and Lemma 3.5. Corollary 3.8. Let a, b < /q and ( a)( b). If c satisfies either c q T (aq, bq) where T (a, b) is defined in Theorem 3.2, or { } aq + bq aq + bq + a + b 2 c abq with abq max, 2 (/q) 2 and Γ q (log q abq 2 ) Γ q (log q aq)γ q (log q bq) 2 then z(d q φ)(z) is q-close-to-convex in D, where φ(z). Proof. Some simple calculation gives the q-differentiation of φ(z) in the following form: i.e. ( a)( b) ( c)() zφ[aq, bq; cq; q, z] z(d qφ)(z) zφ[aq, bq; cq; q, z] ( c)() ( a)( b) z(d qφ)(z). Apply this identity in Theorem 3.2 and deduce that the function zφ[aq, bq; cq; q, z] is in K q with the starlike function z/( z). Therefore, the conclusion of our corollary follows. 4. Conclusion and future directions Visualization of the q-theory in geometric function theory was first introduced in 99. It has provided important insight into the existing function theoretic structure as well as number of problems in the current avenues in special functions. Since 99, apart from the works in [8, 6] and the recent work in [2], there are no more investigation made in this direction. Therefore, we do expect that this series of visualization and working in this area will help many researchers into networking with a growing infrastructure by illustrating interesting problems in this theory. The results in this manuscript also demonstrate that the computational framework in this direction helps to generate functions having interesting geometric properties. Further work in this direction will certainly bring a strong foundation between q-theory and geometric function theory. It also opens up several avenues for future work which may lead to interesting dissertations. One possible future direction is to generate functions having interesting geometric properties and visualize their behavior by making 2D and 3D graphical plots. One strong advantage to our work is that readers find interests to investigate the q-theory and its applications more in geometric function theory. The disadvantage is that analytical problems in this direction are more difficult to handle. However, it can be a challenge to describe the relevant image domains and find interesting problems to work in this direction. For example, image of the

17 Basic hypergeometric functions 7 unit disk under the mapping zf (, 2; c; z)/f (, 2; c; z) converges to the unit disk when c is larger and larger (see Figures 5) Figure 5. Description of zf (, 2; c; z)/f (, 2; c; z) that maps the disk z <.999 to a region close to the unit disk. The left region is computed for c 5 and the right region is for c 5. Can it be practically possible to analyze its behaviour? Appropriate visualization will be extremely valuable if some application of this development can be worked it out connecting to quantum analysis and physics, see for instance [, 4, 5]. Acknowledgements. The work of the first author is supported by University Grants Commission, New Delhi (grant no. F.2-39/2 (SA-I)). The authors thank Professor S. Ponnusamy for bringing the articles [8, 5] to their attention and helpful discussion on this topic. References [] G.E. Andrews, Applications of basic hypergeometric functions, SIAM Rev., 6 (974), [2] G.E. Andrews, R. Askey and R. Roy, Special Functions, Cambridge University Press, U.K., 999. [3] P.L. Duren, Univalent Functions, Springer-Verlag, 983. [4] T. Ernst, The History of q-calculus and a New Method, Licentiate Dissertation, Uppsala, 2. [5] N.J. Fine, Basic Hypergeometric Series and Applications, Mathematical Surveys No. 27, Amer. Math. Soc. Providence, 988. [6] P. Hästö, S. Ponnusamy, and M. Vuorinen, Starlikeness of the gaussian hypergeometric functions, Complex Variables and Elliptic Equations, 55 (2), [7] E. Heine, Über die Reihe + (qα )(q β ) (q )(q γ ) x + (qα )(q α+ )(q β )(q β+ ) (q )(q 2 )(q γ )(q γ+ ) x 2 +, J. Reine Angew. Math., 32 (846), [8] M.E.H. Ismail, E. Merkes, D. Styer, A generalization of starlike functions, Complex Variables, 4 (99), [9] A.N. Kirillov, Dilogarithm identities, Progr. Theoret. Phys. Suppl., 8 (995), [] R. Küstner, Mapping properties of hypergeometric functions and convolutions of starlike and convex functions of order α, Computational Methods and Function Theory 2(2) (22),

18 8 Sarita Agrawal and Swadesh Sahoo [] T.H. MacGregor, Univalent Power Series whose Coefficients Have Monotonic Properties, Math. Z., 2 (969), [2] E.P. Merkes, On typically-real functions in a cut plane, Proc. Amer. Math. Soc., (959), [3] S.S. Miller and P.T. Mocanu, Univalence of Gaussian and confluent hypergeometric functions, Proc. Amer. Math. Soc., (2) (99), [4] S. Ponnusamy, Close-to-convexity properties of Gaussian hypergeometric functions, J. Comput. Appl. Math., 88 (997), [5] S. Ponnusamy and M. Vuorinen, Univalence and convexity properties for Gaussian hypergeometric functions, Rocky Mountain J. Math., 3 (2), [6] K. Raghavendar and A. Swaminathan, Close-to-convexity of basic hypergeometric functions using their Taylor coefficients, J. Math. Appl., 35 (22), 25. [7] M.S. Robertson, On the theory of univalent functions, Ann. of Math., 37 (2) (936), [8] F. Rønning, A Szegő quadrature formula arising from q-starlike functions: In continued fractions and orthogonal functions (Loen, 992), , Dekker, New York. [9] W.C. Royster and M. Ziegler, Univalent functions convex in one direction, Publ. Math. Debrecen, 23 (976), [2] S.K. Sahoo and N.L. Sharma, On a generalization of close-to-convex functions, Ann. Polon. Math., to appear. [2] H. Silverman, Starlike and convexity properties for hypergeometric functions, J. Math. Anal. Appl., 72 (993), [22] L. J. Slater, Generalized Hypergeometric Functions, Cambridge University Press, 966. [23] H.S. Wall, Analytic theory of continued fractions, D. Van Nostrand Co. Inc., New York, 948. Sarita Agrawal, Discipline of Mathematics, Indian Institute of Technology Indore, Indore 452 7, India address: saritamath44@gmail.com Swadesh Sahoo, Discipline of Mathematics, Indian Institute of Technology Indore, Indore 452 7, India address: swadesh@iiti.ac.in