arxiv:q-alg/ v1 11 Sep 1995

Transcription

1 q-alg/9509xxxxx ITEP-TH-6/95 The Modified q-bessel Functions and the q-bessel-macdonald Functions arxiv:q-alg/950903v Sep 995 M.A.Olshanetsky ITEP,759, Moscow, Russia V.-B.K.Rogov MIIT,075, Moscow, Russia September 995 Abstract We define a q-analog of the modified Bessel and Bessel-Macdonald functions. As for the q-bessel functions of Jackson there is a couple of functions of the both kind. They are arisen in the Harmonic analysis on quantum symmetric spaces similarly to their classical counterpart. Their definition is based on the power expansions. We derive the recurrence relations, difference equations, q-wronskians, and an analog of asymptotic expansions which turns out is exact in some domain if q. Some relations for the basic hypergeometric function which follow from this fact are discussed. Introduction The q-analogues of the Bessel functions introduced ninety years ago by Jackson [ are a subject of investigations in the last years [, 3. In these works their properties are derived in connection with the representation theory of quantum groups as well as their classical counterparts [. Our main interest is the q-analogues of the Bessel-Macdonald function K ν (BMF) and modified Bessel functions I ν (MBF). Their presence in the Harmonic analysis on homogenious spaces is at least threefold. First of all, BMF is the essential part of the Green function for the Laplace-Beltrami operator on noncompact symmetric spaces with nonpositive curvature [5, 6. Next BMF define irreducible representations of the isometries of the pseudoeuclidean plane [. Finally, BMF are the simplest so-called Whittaker [7, 8, 9 functions, related to the symmetric spaces of rank one. It turns out that the Whittaker functions up to a gauge transform coincide with the wave functions of the open Toda quantum mechanical system [9. In particular, for a rank one symmetric spaces they defined the wave functions of two-dimensional gravity in the minisuperspace approximation [0. In both constructions MBF play an auxiliary role. In fact the main motivation of our work is the last approach. In our previous work [ we have described the Whittaker function for the quantum Lobachevsky space. They emerge as some special eigenfunctions of the quantum second Casimir operator. In this context it was possible to reduce the problem to commutative analysis, though the original formulation Supported by ISF-MIF-300, RFFI and INTAS grants Supported by ISF grant JC 700

2 is essentially noncommutative. The further progress in the Harmonic analysis demands to take into account the noncommutativity of the group algebra. It concerns, in particular, with the Poisson kernel for the Dirichlet problem in the quantum Lobachevsky space. In the classical case the Whittaker functions or, what is the same, BMF are the Fourier transform of the Poisson kernel. To reproduce this construction in the quantum case it is necessary to derive the most fundamental properties of q-mbf. As in the classical case we begin with definition of q-mbf as the power expansions. There are two q-mbf and they are related to q-bessel functions of Jackson [ as the classical ones. We derive the action of difference operators, recurrence relation, difference equation and q- Wronskian for them. The most of these results can be easily derived from [, 3, where q-bessel functions were investigated. While the definition of q-mbf, based on the Jackson q-bessel functions is strightforward, the definition of q-bmf is a rather subtle. We choose it in a such way that it becomes a holomorphic in the complex right half plane. We repeat the same program for q-bmf as for q-mbf. The most important part for the applications is the Laurent type expansion which is only asymptotics in the classical case and is represented by an convergent series in some domain in the quantum situation. Using this property we obtain in conclusion some relations for the basic hypergeometric function. Some preliminary relations We derive some needed relations for the fundamental functions e q (z),e q (z), and Γ q (z) [. As by product we define q-psi function..for an arbitrary a { for n = 0 (a,q) n = ( a)( aq) ( aq n ) for n, (a,q) = lim n (a,q) n. The q-exponentials are determined by formulas: e q (z) = E q (z) = n=0 z n (q,q) n = n=0 They are the q-deformations of the ordinary exponent Obviously, we have from () and () (z,q), z <, () q n(n ) z n (q,q) n = ( z,q),. () lim e q(( q)z) = lim E q(( q)z) = e z. q 0 q 0 e q (z)e q ( z) = (3) It follows from () that the function e q (z) has the ordinary poles in the points z = q k,k = 0,,...

3 Proposition. (F.I.Karpelevich) The q-exponential e q (z) can be represented as the sum of the partial functions ( ) k q k(k+)/ e q (z) = (q,q) (q,q) k ( zq k ). () Then Proof. Let e q (z,n) = (q,q) n = c k,n = res z=q ke q (z,n) = lim z q k( zqk )e q (z,n) = From this we have As (q,q) n k < (q,q) we obtain e q (z,n) = n = ( )k q k(k+)/ (q,q) k (q,q) n k. e q (z) = lim n e q(z,n) = The next Proposition follows from (). Proposition. where The following Corollaries are evident. c k,n zq k. ( q k ) ( q )( q)...( q n k ) = n ( ) k q k(k+)/ (q,q) k ( zq k. )(q,q) n k (q,q) q e q (( q)z) = e q (( q)z), ( ) k q k(k+)/ (q,q) k ( zq k ). q f(z) = f(z) f(qz). (5) ( q)z Corollary. Corollary. ( e q ( q qz) = q z e q ( q q z) = [ e q ( ( q ) q z ) = ) q ( q ) z e q( q ( q ) z e q ( q z), (6) z). (7) e q ( ( q ) z ). (8) Remark. It follows from() e q ( q z)e q ( q z) = z,q) ( q z,q) = = e ) ( ( q ) z,q q (( q z ), ) ( q 3

4 . The q-gamma-function Γ q (α) = q,q) (q α,q) ( q) α. (9) If n is a natural number then Γ q (n+) = (q,q) n ( q) n. Proposition.3 The function Γ q (z) can be represanted in the following form Proof. It follows from (9) that Γ q (z) = ( q ) z Γ q (z) = (q,q ) ( q ) z e q (q z ). Substituting in this equality () we obtain (0). We denote by ψ q (z) the logarithmic derivative of Γ q -function From (9) and () we receve immediatly Proposition. The function ψ q (z) has the following form ( ) k q k(k+) (q,q ) k ( q k+z ). (0) ψ q (z) = Γ q (z) Γ q (z). () ψ q (z) = ln( q )+lnq k= q k+z qk+z. () Corollary.3 ψ q (z) ( )nq n(n+) lim z n Γ q (z) = (q,q ) n ( q ) n+ lnq. (3) Proof. This result is obtained from (0) and (). 3 The Modify q-bessel Functions. Definition. In [ the q-bessel functions were determined as J ν () (z,q) = (qν+,q) (z/) ν Φ (0,0;q ν+ ;q, z ), () (q,q) J ν () (z,q) = (qν+,q) (z/) ν 0Φ ( ;q ν+ ;q, z q ν+ ), (5) (q,q) where Φ and 0 Φ are the basic hypergeometric functions [ rφ s (a,,a r ;b,,b s ;q,z) = n=0 (a,q) n...(a r,q) n (q,q) n (b,q) n...(b s,q) n [( ) n q n(n )/ +s r z n. (6) It allows to define q-mbf in analogy with the classical case [3 as () and (5).

5 Definition 3. The functions are called the modify q-bessel functions. Evidently, We will consider below the functions I () ν (z,q) = (qν+,q) (q,q) (z/) ν Φ (0,0;q ν+ ;q, z ), I ν () (z,q) = (qν+,q) (z/) ν 0Φ ( ;q ν+ ;q, z q ν+ ) (q,q) I () ν (( q )z;q ) = I (j) ν (z,q) = e iνπ J (j) ν (e iπ/ z,q), j =,. I () ν (( q )z;q ) = ( q ) k (z/) ν+k (q,q ) k Γ q (ν +k +), z < q, (7) q k(ν+k) ( q ) k (z/) ν+k (q,q. (8) ) k Γ q (ν +k +) If q <, the series (8) converges for all z 0 absolutely. Therefore I () ν (( q )z;q ) is holomorphic function outside of z = 0. Remark 3. lim q 0 I(j) ν (( q )z;q ) = I ν (z), j =,.. Recurrence relations and differnces. Proposition 3. The function I () ν (( q )z;q ) satisfies the following relations (+q)z qz ν I () ν(( q )z;q ) = z ν I () ν+ (( q )z;q ), (9) (+q)z qz ν I () ν (( q )z;q ) = z ν I () ν (( q )z;q ), (0) where the operator q is determined by (5). Proof. (+q)z qz ν I () ν(( q )z;q ) = = The proof of (0) is the same. k= ( q ) k z k ν+k (q,q ) k Γ q ( ν +k +) = ( q ) k z k ν++k (q,q ) k Γ q ( ν ++k +) = zν I ν+ (( q )z;q ). 5

6 Proposition 3. The function I () ν (( q )z;q ) satisfies the following recurrence relations I () ν (( q )z;q ) I () ν+ (( q )z;q ) = I () ν (( q )z;q )+I () ν+ (( q )z;q ) = Proof. It follows from (9) and (0) I () ν (( q )z;q ) = I () ν+ (( q )z;q ) = ( q )z (q ν q ν )I () ν (( q )qz;q ), () ( q )z I() ν (( q )z;q ) ( q )z (q ν +q ν )I () ν (( q )qz;q ). () [ ( q I ν () )z (( q )z;q ) q ν I ν () (( q )qz;q ), [ ( q I ν () (( q )z;q ) q ν I ν () (( q )qz;q ). )z Summing and subtracting these equalities we obtain the statement. Proposition 3.3 The function I () ν (( q )z;q ) satisfies the following relations (+q)z qz ν I () ν (( q )z;q ) = q ν+ z ν I () ν+ (( q )qz;q ), (+q)z qz ν I () ν (( q )z;q ) = q ν+ z ν I () ν (( q )qz;q ). Proposition 3. The function I () ν (( q )z;q ) satisfies the following recurrence relations q ν I () ν (( q )z;q ) q ν I () ν+ (( q )z;q ) = q ν I () ν (( q )z;q )+q ν I () ν+ (( q )z;q ) = ( q )z (q ν +q ν )I () ν (( q )z;q ). The proof of Propositions 3.3 and 3. are the same as 3. and Difference equation. ( q )z (q ν q ν )I () ν (( q )z;q ), ( q )z I() ν (( q )q z;q ) Proposition 3.5 The function I ν () (( q )z;q ) is a solution to the difference equation [ q ( q ) z f(q z) (q ν +q ν )f(z)+f(qz) = 0. (3) Proof. Substituting (7) in the left side of (3) we obtain [ q ν k q ν q ν +q ν+k q ν k ( q ) z ( q ) k (z/) ν+k (q,q ) k Γ q (ν +k +) = q ν k ( q k )( q ν+k )( q ) k (z/) ν+k = (q,q ) k= k Γ q (ν +k+) Changing k to k+ in the first term we obtain zero. 6 q ν k ( q ) k+ (z/) ν+k+ (q,q. ) k Γ q (ν +k +)

7 Corollary 3. The function I () ν(( q )z;q ) satisfies the equation (3). Proof. Obviously the left side of (3) is a even function of ν. Then the change ν to ν in (7) transforms a solution to (3) to a solution. Definition 3. The q-wronskian of two solutions f ν(z), f ν(z) to a difference second order equation is W(f ν,f ν )(z) = f ν (z)f ν (qz) f ν (qz)f ν (z). If q-wronskian nonvanishes an arbitrary solution to the difference second order equation can be written as f ν (z) = C f ν(z)+c f ν(z). In this case the functions f ν(z) and f ν(z) is the fundamential system of solutions. Proposition 3.6 If ν is noninteger the functions I () ν (( q )z;q ) and I () ν(( q )z;q ) form a fundamental system of solutions to the equation (3). Proof. Consider the q-wronskian W(I () ν,i () ν)(z) = I () ν (( q )z;q )I () ν(( q )qz;q ) I () ν (( q )qz;q )I () ν(( q )z;q ). () Since I () ν and I () ν are solution to (3) then I () Thus ±ν(( q )q z;q ) = [ ( q ) z I () ±ν(( q )z;q )+(q ν +q ν )I () ±ν(( q )qz;q ). W(I () ν,i () ν)(qz) = I () ν (( q )qz;q )I () ν(( q )q z;q ) I () ν (( q )q z;q )I () Comparing this equality with (8) we can write Setting z = 0 in () we obtain So finaly ν(( q )qz;q ) = [ ( q ) W(I ν (),I ν)(z) () = C ν e q ( ( q ) z ). C ν = q ν ( q ) Γ q (ν)γ q ( ν). z W(I () ν,i () ν)(z). W(I ν (),I() ν)(z) = q ν ( q ) Γ q (ν)γ q ( ν) e ) q (( q z ). (5) Obviously this function nonvanishes. If ν = n is integer then from (7) and (8) I (j) n (( q )z;q ) = I (j) n (( q )z;q ), j =,. (6) 7

8 Proposition 3.7 The function I () ν (( q )z;q ) is a solution to the equation f(q z) (q ν +q ν )f(z)+ This Proposition is proved in the same way as Proposition 3.5. Corollary 3. The q-mbf are related as (7) and (8) I () ν (( q )z;q ) = e q ( ( q ) Proof. It follows from (7) and (8) that satisfies (3). Hence if ν is noninteger [ e q ( ( q ) z )I ν () (( q )z;q ) ( q ) z f(qz) = 0. (7) z )I () ν (( q )z;q ) (8) e q ( ( q ) z )I ν () (( q )z;q ) = AI ν () (( q )z;q )+BI ν(( q () )z;q ). (9) Multiplying this equality on (z/) ν and setting z = 0 we obtain B = 0. Multiplying (9) on (z/) ν and setting z = 0 we obtain A =. Since (7) and (8) are continuous functions of ν, then (8) is valid for ν = n as well. Multiplying the both sides of (8) on E q ( ( q ) z ) we obtain Corollary 3.3 I () ν (( q )z;q ) = E q ( ( q ) z )I () ν (( q )z;q ). Proposition 3.8 The function I () ν (( q )z;q ) is the meromorphic function outside of z = 0 with the ordinary poles in the points z = ± q r q,r = 0,,... Proof. The statement of this Proposition follows from (8) and Remark. as e q ( ( q ) z ) = = ( ( q ) z,q ) = e q ( q = ( ( q ) z,q) ( ( q ) z,q) z)e q ( q z). Remark 3. If q 0 the all poles of I () ν (( q )z;q ) go to infinity along the real axis. z r = ± q r q, r = 0,,... 8

9 The Laurent Type Serieses for Modify q-bessel Functions Unfortunately the function I ν () (( q )z;q ) is determined by power series (7) in domain z < only while we need a representation of this function as series on the whole complex q plane. Now we will try to improve this situation. Proposition. An arbitrary solution to (3) can be written in form f ν (z) = a e q ( q z) Φ (q ν+/,q ν+/ q ; q;q, z ( q )z )+ where Φ is determined by (6). + b e q ( q z) Φ (q ν+/,q ν+/ q ; q;q, z ( q ), (30) )z Proof. Let f ν (z) be a solution to (3). Represent it as f ν (z) = a e q ( q z)φ z ν (z)+ b e q ( q z z)φ ν (z). (3) We assume here that the first summand on the right side satisfyes the equation (3). Then the second summand is also a solution. Consider the first summand. Substituting it in (3) and using (6), (7) we obtain the difference equation for φ ν (z) [ + q ( q [ ) z qφ ν(q z) q / (q ν +q ν )φ ν(z)+ q z φ ν(qz) = 0. (3) Represent φ ν (z) as φ ν(z) = Then a 0 is arbitrary, and for any k a k z k. q( q ν /+k )( q ν /+k ) a k = a k ( q )( q k. ) and Assuming a 0 = we obtain a k = a 0 k q k (q ν+/,q) k (q ν+/,q) k ( q ) k (q,q ) k. Similarly φ ν (z) = k q k (q ν+/,q) k (q ν+/,q) k ( q ) k (q,q ) k z k. (33) φ ν (z) = ( ) kk q k (q ν+/,q) k (q ν+/,q) k ( q ) k (q,q z k = φ ν ) ( z). k In view of this fact we will drop the superscript. The series (33) converges absolutly for z > q q. 9

10 Thecoefficientsaandbaredetermineduniquelybyf ν (z). Infactletz = z 0, z 0 > /( q ),f ν (z 0 ) = A and f ν (qz 0 ) = B. Using (6), (7) we come to the system for a and b: a z0 e q ( q z)φ ν (z 0 )+ b z0 e q ( q z)φ ν ( z 0 ) = A a qz0 ( ( q )/z 0 )e q ( q z)φ ν (qz 0 )+ b qz0 (+( q )/z 0 )e q ( q z)φ ν ( qz 0 ) = B. (3) Its determinant has the form W = q / e z q ( ( q ) z )[φ ν (z 0 )φ ν ( qz 0 ) φ ν (qz 0 )φ ν ( z 0 )+ 0 + q z 0 (φ ν (z 0 )φ ν ( qz 0 )+φ ν (qz 0 )φ ν ( z 0 )). Assume for a moment that W(z 0 ) = 0 for some z 0 : z > q. Then or { φν (z 0 )φ ν ( qz 0 ) φ ν (qz 0 )φ ν ( z 0 ) = 0 φ ν (z 0 )φ ν ( qz 0 )+φ ν (qz 0 )φ ν ( z 0 ) = 0 { φν (z 0 )φ ν ( qz 0 ) = 0 φ ν (qz 0 )φ ν ( z 0 ) = 0 (35) It follows from (33) that (35) is fulfild if φ ν (z 0 ) = φ ν (qz 0 ) = 0 (or φ ν ( z 0 ) = φ ν ( qz 0 ) = 0). In this case from (3) we have φ ν (q z 0 ) = 0. And hence φ ν (q r z 0 ) = 0 for any r = 0,,... But it contrudicts the obvious equality lim z φ ν (z) =. Thus W 0, and a, b are determined uniquely from (3). It is easy to see from (6) that φ ν (z) = (q ν+/,q) k (q ν+/,q) k (q,q) k ( q,q) k ( ) q k ( q = Φ (q ν+/,q ν+/ ; q;q, )z q ( q )z ). Substituting this function to (3) we obtain (30). We denote Φ (q ν+/,q ν+/ q ; q;q, ( q )z ) = Φ ν(z) (36) for brevity. Proposition. The q-mbf I () ν (( q )z;q ) for z 0 can be represented as I ν () (( q )z;q ) = a [ ν z where Φ ν (z) is determined by (36) and e q ( q z)φ ν (z)+ie iνπ e q ( q z)φ ν ( z), (37) a ν = q e q( ) I() ν (;q ) Φ ν ( q ). (38) 0

11 Proof. It follows from corollary 3. and Proposition. that e q ( q z)e q ( q z)i ν () (( q )z;q ) = = a ν e q ( q z)φ ν (z)+ b ν e q ( q z)φ ν ( z) (39) z z in the domain q q < z < q. The functions in the right and the left sides are meromorphic in the domain z 0, and have the ordinary poles in the points z = ± q r q,r = 0,,. Due to the uniqueness of the analytic continuation the equality (39) is valid in the domain z 0. We require that the residues in the poles of both sides (39) are equal. Then for z = q r q e q ( q r )I () ν (q r ;q ) = a ν q r/ q Φ ν ( q r q), (0) and for z = q r q e q ( q r )I ν () ( q r ;q q r/ ) = b ν i q Φ ν ( q r q). () It follows from (8) I () ν ( q r ;q ) = e iνπ I ν (q r ;q ). Hence from (0) and () b ν = ie iνπ a ν. () Assuming r = 0 in (0) we have (38). Substituting () to (39) we obtain the statement of the Proposition. Proposition.3 The coefficients a ν (38) satisfy the recurrent relation a ν+ = a ν q ν /, (3) and the condition a ν a ν = q ν+/ Γ q (ν)γ q ( ν)sinνπ. () Proof. Substitute (37) in () and (). Then using (6) we have a ν Φ ν (z) a ν+ Φ ν+ (z) = a ν q / q ν q ν a ν Φ ν (z)+a ν+ Φ ν+ (z) = ( q )z q ( z)φ ν (qz), (5) a ν ( q )z Φ ν(z) a ν q / q ν +q ν q ( q ( z)φ ν (qz). (6) )z Turn z to the infinity in (5) and (6) we come to the system { aν a ν+ = a ν q / (q ν q ν ) a ν +a ν+ = a ν q / (q ν +q ν ).

12 From this system we obtain the first statement of the Proposition. Consider the q-wronskian W(I ν (),I ν) () (5), and the representation (37). Then for ν n q ν ( q ) Γ q (ν)γ q ( ν) e ) q (( q {ie iνπ [(+ q +ie iνπ [( q z ) = q / a ν a ν z e q ( q z)e q ( q z) z)φ ν (z)φ ν ( qz) ( q z)φ ν (qz)φ ν ( z)+ z)φ ν ( z)φ ν (qz) (+ q z)φ ν ( qz)φ ν (z)}. Reducing this equality to the q-exponentials and turning z to infinity we obtain (). If ν = n from (3) we have a n = a n k q k/(n k). If k = n then a n = a n. From () and [ (.0.6) we obtain a n = q n +/ lnq π( q. (7) ) Proposition. The q-mbf I () ν (( q )z;q ) for z 0 can be represented by I ν () (( q )z;q ) = a [ ν z E q ( q Proof. This statement follows from Corollary 3.3 and (3). 5 The q-bessel-macdonald Functions In the classical analyses the BMF are defined as K ν (z) = z)φ ν (z)+ie iνπ E q ( q z)φ ν ( z). (8) π sinνπ [I ν(z) I ν (z) (9) forν n, andifν = nbythelimitforν nin(9). Herewepresentthecorrect quantization of this definition in a such way that other properties are also quantized in a consistent way. Lemma 5. For a ν (38) where Then ã = lnq I () 0 (;q ) Proof. Let n = [ν. It follows from (3) ( ν a ν ν a ν) ν=n = a n ã, (50) q k (q,q ) (k k l= q l+k+ q l+k+). a ν = a ν n q nν+n, a ν = a ν+n q nν+n.

13 Using (38) we obtain = It follows from (8) ( ν a ν ν a ν) ν=n = ( ν a ν n ν a ν+n) ν=n q n /( q )e q ( )I () 0 (;q ) Φ 0 (/( q ) ( ν a ν ν a ν) ν=0 = q n I () 0 (;q ). ( ν I() ν (;q ) ) ν I() ν(;q ) ν=0 = q n ( = a 0 I () 0 (;q ) ν I() ν (;q ) ) ν I() ν(;q ) ν=0. (5) ν I() ν (;q ) = lnq kq k(ν+k) (q,q ) k ( q ) ν+k Γ q (ν +k+) ln( q )I ν () (;q ) From () and (3) = lnq kq k (q,q ) k q k(ν+k) ψ q (ν +k+) (q,q ) k ( q ) ν+k Γ q (ν +k+). ( ν I() ν (;q ) ν I() ν(;q )) ν=0 = ln( q )I () 0 (;q ) = lnq kq k (q,q ) lnq q k k (q,q ) k Now (50) follows from (5) and (5). q k (q,q ) ψ q (k+) = k Definition 5. The q-bessel-macdonald functions (q-bmf) are defined as l= q l+k+ q l+k +. (5) K (j) ν (( q )z;q ) = q ν +/ [ (a ν a ν ) 3/ a ν I (j) sinνπ ν(( q )z;q ) a ν I ν (j) (( q )z;q ) (53) with a ν (38), j =,. As in the classical case this definition should be adjusted for the integer values of the index ν = n. Consider the limit of (53) for j = taking into account (7) K n () (( q )z;q ) = q n +/ a ν I () ν a 3 lim (( q )z;q ) a ν I ν () (( q )z;q ). ν n n sinνπ Using (7) we can write ν I() ν (( q )z;q ) = lnz/i () ν (( q )z;q ) ( q ) k (z/) ν+k ψ q (ν +k +) (q,q. ) k Γ q (ν +k +) 3

14 Due to Corollary. [ ν I() ν(( q )z;q ) ν I() ν (( q )z;q ) ν=n = lnz/i () n (( q )z;q )+ Thus n +lnq ( ) n k q (n k )(n k ) ( q ) n+k (q,q ) n k (q,q (z/) n+k + ) k + ( q ) n+k (z/) n+k (q,q ) k (q,q ) n+k [ψ q (n+k+)+ψ q (k +). (5) K () n (( q )z;q ) = ( )n q n +/ πa 3 [( n ν a ν ν a ν) ν=n I n () (( q )z;q )+ +a n ( ν I() ν(( q )z;q ) ν I() ν (( q )z;q )) ν=n. The final expression follows from Lemma 5. and (5) that K () n (( q )z;q ) = ( )n q n +/ πa {(ã lnz/)i n () (( q )z;q )+ n n +lnq For j = we have K () n +lnq + ( ) n k q (n k )(n k ) ( q ) n+k (q,q ) n k (q,q (z/) n+k + ) k ( q ) n+k (z/) n+k [ (q,q ) k (q,q ψ ) q (n+k+)+ψ q (k +) }. n+k n (( q )z;q ) = ( )n q n +/ πa {(ã lnz/)i n () (( q )z;q )+ n + ( ) n k q (n k )(n k )+k(k n) ( q ) n+k (q,q ) n k (q,q (z/) n+k + ) k q k(n+k) ( q ) n+k (z/) n+k [ (q,q ) k (q,q ψ ) q (n+k +)+ψ q (k +) }. n+k Proposition 5. q-bmf K () ν (( q )z;q ) is a holomorphic function in the domain Rez > q q Proof. Substitute (37) in (53). Then K ν () (( q )z;q ) = q ν +/ e q ( q z)φ ν (z). (55) a ν a ν z The product of e q ( q z) and Φ (q ν+/,q ν+/ q ; q;q, ) is a holomorphic function ( q )z in Rez > q q.

15 Proposition 5. q-bmf K () ν (( q )z;q ) is a holomorphic function in the domain z 0 Proof. This statement follows from (53) and (8). Corollary 5. K ν () (( q )z;q )0 = q ν +/ E q ( q z)φ ν (z). (56) a ν a ν z Proof. This formula follows from (53) and (8). Proposition 5.3 The function K () ν (( q )z;q ) satisfies the following relations (+q)z qz ν K () ν (( q )z;q ) = z ν K ν (( q )z;q ), (57) (+q)z qz ν K () ν (( q )z;q ) = z ν K ν+ (( q )z;q ). Proof. It follows from Definition 5. and Proposition 3. (+q)z qz ν K () ν (( q )z;q ) = As it follows from (3) a ν = a ν q ν+/, = q ν +/ [ (a ν a ν ) 3/ a ν sinνπ (+q)z qz ν I () ν a ν (+q)z qz ν I ν () = q ν +/ (a ν a ν ) 3/ sinνπ [a νz ν I () ν+ a νz ν I () ν. a ν = a ν+ q ν+/. So (+q)z qz ν K () ν = = z ν q (ν ) +/ (a ν a ν+ ) 3/ sin(ν )π [a ν z ν I () ν+ a ν+z ν I () ν = zν K () ν. It is easy to see that K (j) ν(( q )z;q ) = K (j) ν (( q )z;q ). Thus from (57) (+q)z qz ν K () ν = (+q)z qz ν K () ν = z ν K () ν = z ν K () ν+. Proposition 5. The function K () ν (( q )z;q ) satisfies the next functional relations K () ν (( q )z;q ) K () ν+ (( q )z;q ) = ( q )z (q ν q ν )K ν () (( q )qz;q ), K () ν (( q )z;q )+K () ν+ (( q )z;q ) = ( q )z K() ν (( q )z;q )+ + ( q )z (q ν +q ν )K ν () (( q )qz;q ). 5

16 Proof. Denote the coefficients in front of the square brackets in (53) by A ν. Then from (3) A ν = A ν q ν+/, A ν+ = A ν q ν+/. The statement follows from (3),(53),() and (). Proposition 5.5 The function K () ν (( q )z;q ) satisfies the following relations (+q)z qz ν K () ν (( q )z;q ) = q ν+ z ν K () ν (( q )z;q ), (+q)z qz ν K () ν (( q )z;q ) = q ν+ z ν K () ν+ (( q )z;q ). Proposition 5.6 The function K () ν (( q )z;q ) satisfies the next functional relations K () ν (( q )z;q ) K () ν+ (( q )z;q ) = qν ( q )z (q ν q ν )K () ν (( q )qz;q ), K () ν (( q )z;q )+K () ν+ (( q )z;q ) = qν ( q )z K() ν (( q )z;q )+ + qν ( q )z (q ν +q ν )K () ν (( q )qz;q ). The proof of Propositions 5.5 and 5.6 are the same as 5.3 and 5.. Remark 5. lim q 0 K(j) ν (( q )z;q ) = K ν (z), j =,. (58) Really it follows from (3) and () if q = then a ν is independent of ν, and a ν = π. Now (58) follows from Remark 3.. Remark 5. If q 0 the representations (37) and (55) give us the well known asymptotic decompositions for the functions I ν (z) and K ν (z) respectively [3. 6 Some relations for the basic hypergeometric functions Here we summarize some relations for the basic hypergeometric functions that we have already derived in Section. It is worthwhile to note that they are based on the identifcations of the power and Laurent expansions for the same q-functions. In the limit q it is became impossible since the later expansion diverges. Remind that Φ (q ν+/,q ν+/ ; q;q, q ( q )z ) = Φ ν(z), (59) a ν = q e q( ) I() ν (;q ) Φ ν ( ), ν n, a q n = n +/ lnq π( q q. ) 6

17 Assume in(59) q ( q )z = u, u <. Then a ν Φ (q ν /,q ν+3/ ; q;q,u) a ν+ Φ (q ν+3/,q ν / ; q;q,u) = = a ν q / (q ν q ν )(u/q ) Φ (q ν+/,q ν+/ ; q;q,u/q), a ν Φ (q ν /,q ν+3/ ; q;q,u)+a ν+ Φ (q ν+3/,q ν / ; q;q,u) = = a ν u/q Φ (q ν+/,q ν+/ ; q;q,u) a ν q / (q ν +q ν )(u/q ) Φ (q ν+/,q ν+/ ; q;q,u/q). The last relation coming from the q-wronskian (9) has been proved for the nonineteger ν (u/q +) Φ (q ν+/,q ν+/ ; q;q,u) Φ (q ν+/,q ν+/ ; q;q, u/q) (u/q ) Φ (q ν+/,q ν+/ ; q;q, u) Φ (q ν+/,q ν+/ ; q;q,u/q) =. Since Φ is the continuous function of ν, then this equality is valid for integer ν. References [ Jackson F.H. The application of basic numbers to Bessel s and Legendre s functions, Proc. London math. Soc. () (905) 9-0 [ Floreanini R. and Vinet L. Addition formulas for q-bessel functions preprint University of Montreal, UdeM-LPN-TH60, (99); Representations of quantum algebras and q-special functions, preprint Universite de Montreal (99) [3 Vaksman L. and Korogodskii L., Algebra of bounded functions on the quantum group of the motions of the plane and q-analogues of Besel functions, Soviet. Math. Dokl. 39 (989) [ Vilenkin, N.Ya., Special Functions and the Theory of Group Representations, Amer. Math. Soc. Transl. of Math. Monographs, Providence 968 [5 Dynkin E.B. Nonegative eigenfunctions of the Laplace-Beltrami operator and the Brownian motion in some symmetric spaces, Dokl. Acad, Nauk (96) 88-9 [6 Olshanetsky M. Martin boundaries for real semisimple Lie groups, Journ. of Funct. Anal. 6 (99) 69-6 [7 Jacquet H. P. B., Fonctions de Whittaker associees aux groupes de Chevalley, Bull.Soc. Math. France, 95 (967) [8 Schiffmann G., Integrales d entrelacement et fonctions de Whittaker, Bull.Soc.Math.France, 99 (97) 3-7 [9 Semenov-Tian-Shansky M., Quantization of the open Toda chains, in Sovremenie problemi matematiki VINITI, v.6 (987) 9-6, (in Russian) [0 Ginsparg P. and Moore G., Lectures on d Gravity and d Strings, preprint Yale Univ. TCTP-P3-9 [ Olshanetsky M. and Rogov V., Liouville quantum mechanics on a lattice from geometry of quantum Lorentz group, Journ. Phys. A: Math. Gen, 7 (99) [ Gasper G. and Rahman M., Basic Hypergeometric Series. Cambridge: Cambridge University Press, (990) [3 Bateman H., and Erdlyi A., Higher transcendental functions, v. Mc Graw-Hill Book Company, 953 7