arxiv: v3 [math.ca] 26 Jul 2013

Transcription

1 Symmetry, Integrability and Geometry: Methods and Applications A Connection Formula for the -Conf luent Hypergeometric Function Takeshi MORITA SIGMA , 050, 13 pages arxiv: v3 [mathca] 26 Jul 2013 Graduate School of Information Science and Technology, Osaka University, 1-1 Machikaneyama-machi, Toyonaka, , Japan t-morita@crmathsciosaka-uacjp Received October 09, 2012, in final form July 21, 2013; Published online July 26, Abstract We show a connection formula for the -confluent hypergeometric functions 2ϕ 1 a, b; 0;, x Combining our connection formula with Zhang s connection formula for 2ϕ 0 a, b; ;, x, we obtain the connection formula for the -confluent hypergeometric euation in the matrix form Also we obtain the connection formula of Kummer s confluent hypergeometric functions by taking the limit 1 of our connection formula Key words: -Borel Laplace transformation; -difference euation; connection problem; - confluent hypergeometric function 2010 Mathematics Subject Classification: 33D15; 34M40; 39A13 1 Introduction We show a new connection formula for two independent solutions to the -confluent hypergeometric euation 1 abxu 2 x {1 a bx} ux xux 0 1 We use notations in accordance with [2] Assume that C satisfies 0 < < 1 and a/b is not an integer power of The basic hypergeometric series r ϕ s is defined by rϕ s a 1,, a r ; b 1,, b s ;, x : n 0 where a; n is the -shifted factorial a; n : { 1, n 0, a; lim n a; n, 1 a1 a 1 a n 1, n 1, a 1,, a r ; [ ] n 1 n nn 1 1s r 2 x n, b 1,, b s ; n ; n and a 1, a 2,, a m ; a 1 ; a 2 ; a m ; Euation 1 has solutions u 1 x 2 ϕ 0 a, b; ;, x, u 2 x ; θ x 2 ϕ 1 a, b ; 0;,

2 2 T Morita around the origin and has solutions v 1 x x α 2ϕ 1 a, 0; a b ;,, v 2 x x β 2ϕ 1 b, 0; b a ;, around infinity Here α a and β b The connection formula for a linear -difference euation of the second order is a linear relation between u 1 x, u 2 x and v 1 x, v 2 x: u1 x u 2 x C11 x C 12 x v1 x, C 21 x C 22 x v 2 x where the connection coefficients C jk x are -periodic functions C Zhang [10] proposed the connection formula for u 1 x, 2f 0 a, b;,, x b; b a ; a; a b ; θa θ θ ax θ x 2 ϕ 1 a, 0; a b ;, θb θ θ bx θ x 2 ϕ 1 b, 0; b a ;,, 2 for x C \[ ; ] Here 2 f 0 a, b;,, x is the -Borel Laplace transform of the divergent series 2ϕ 0 a, b; ;, x, ie, 2f 0 a, b;,, x : L, B 2ϕ 0 a, b; ;, x In this paper, we show the following new connection formula for u 2 x: 2ϕ 1 /a, /b; 0;, /a; ax, 1/ax; 2ϕ 1 a, 0; a/b;, 1/ b/a; ; /b; bx, 1/bx; 2ϕ 1 b, 0; b/a;, 1/ a/b; ; Since u 1 x is a divergent series, the -Stokes phenomenon appears in Zhang s connection formula But our formula gives the exact relation between the convergent series u 2 x around the origin and the convergent series v 1 x, v 2 x around infinity The theta function of Jacobi is given by the series θ x : n Z nn 1 2 x n, x C, we denote θx shortly The theta function is written by the product form θx, x, x ;, which is known as Jacobi s triple product identity satisfies the -difference euation For any k Z, the theta function also θ k x kk 1 2 x k θx The theta function satisfies the inversion formula θx xθ1/x For all fixed C, we define a -spiral [; ] : Z { k ; k Z} Note that θ k /x 0 if and only if x [ ; ]

3 A Connection Formula for the -Confluent Hypergeometric Function 3 At first, we review the confluent hypergeometric euation CHGE In 1813 [3], CF Gauss studied the hypergeometric series 2F 1 α, β; γ; n 0 α n β n n, γ 0, 1, 2,, γ n n! where α n α{α 1} {α n 1} More generally, the generalied hypergeometric series is given by rf s α 1,, α r ; β 1,, β s ; n 0 α 1 n α r n β 1 n β s n n! n The hypergeometric function 2 F 1 α, β; γ; satisfies the second-order differential euation 1 d2 u du {γ α β 1} αβu 0 3 d2 d Gauss gave the connection formula for the function 2 F 1 α, β; γ, We put /β, take the limit β in euation 3, and obtain the confluent hypergeometric euation CHGE d2 u γ du αu 0 4 d2 d Solutions of 4 around the origin are and û 1 1 F 1 α; γ; û 2 1 γ 1F 1 α γ 1, 2 γ, 5 Solutions around infinity are given by the divergent series and ˆv 1 α 2F 0 α, α γ 1; ; 1/ ˆv 2 e α γ 2F 0 1 α, γ α; ; 1/ The asymptotic expansion of 1 F 1 α; γ; is given by 1F 1 α; γ; Γγ Γγ α α 2F 0 α, α γ 1; ; 1/ Γγ Γα e α γ 2F 0 1 α, γ α; ; 1/, 6 where π/2 < arg < 3π/2 Note that the connection formula for the second solution around infinity 5 can be derived from 6 In Section 2 we deal with another degeneration of euation 3 which is slightly different from the standard way It is known that there exists a -analogue of 2 F 1 α, β; γ;, which was introduced by E Heine in 1847 as 2ϕ 1 a, b; c;, x : n 0 a; n b; n c; n ; n x n

4 4 T Morita We assume that c is not integer powers of The function 2 ϕ 1 a, b; c;, x satisfies the secondorder -difference euation -HGE [ 1 c xc abxdu 2 1 where D is the -derivative operator defined for fixed by ] 1 a1 b 1 ab 1 a1 b x D u u 0, 7 D fx fx fx 1 x By replacing a, b, c by α, β, γ and then letting 1, euation 7 tends to the hypergeometric euation 3 The -hypergeometric euation 7 can be rewritten as c abxu 2 x {c a bx} ux 1 xux 0 8 If we set x cx and c in 8, we obtain the -confluent hypergeometric euation 1 Euation 1 is considered as a -analogue of CHGE Note that the first solution u 1 x is a divergent series and u 2 x is a convergent series around the origin Therefore we should study the connection formula for u 1 x and u 2 x independently We need different types of -Borel Laplace transformations to obtain the connection formula for u 1 x and u 2 x This point is essentially different from the differential euation case We study connection problems for linear -difference euations with irregular singular points The irregularity of -difference euations are studied using the Newton polygons by J-P Ramis, J Sauloy and C Zhang [6] For any -difference operator P σ n a 1 σ n 1 a n, the Newton polygon is defined as the convex hull of {i, j Z 2 j v 0 a i }, provided that v 0 are -adic valuation in suitable fields Graphically, the irregularity of -difference euations and -difference modules are the height of the Newton polygon from the bottom to the upper right end Connection problems for linear -difference euations [5] with regular singular points were studied by GD Birkhoff [1] Linear -difference euations have formal power series solutions x α a n x n around the origin and x β b n x n around infinity for generic exponents But n 0 n 0 for connection problems for linear -difference euations, we replace the function x κ with the function θx/θkx, where k κ, since these functions satisfy the same -difference euation σ fx κ fx Then, the fundamental system of solutions is given by single valued functions which have single poles at suitable -spirals Therefore, each connection coefficient has the periods and e 2πi The first example was given by GN Watson [7] But a few examples of irregular singular cases are known [4, 8, 9] In this paper, we give a connection formula for the -confluent type function using the -Borel Laplace transformations In 1910, Watson [7] showed that the connection formula for the series 2 ϕ 1 a, b; c;, x has the following form 2ϕ 1 a, b; c;, x b, c/a; θ ax c, b/a; θ x 2 ϕ 1 a, a c ; a b ;, c a, c/b; c, a/b; θ bx θ x 2 ϕ 1 b, b c ; b a ;, c 9 Note that we can not set a 0 or b 0 directly in this formula In 2002, C Zhang [10] showed one of the connection formula for the -CHGE 2 The -Borel Laplace transformations were studied by C Zhang in [10] see Section 2 for more details When we study connection problems for -difference euations, this resummation

5 A Connection Formula for the -Confluent Hypergeometric Function 5 method becomes a powerful tool Note that we can find a new parameter in the resummation 2 f 0 a, b;,, x Here is the direction of the summation This parameter brings us new viewpoints for the study of the -Stokes phenomenon It is known that there exist two different types of the -Borel Laplace transformations The -Borel Laplace transformations of the first kind are defined in [10] and the -Borel Laplace transformations of the second kind are studied in [9] These -Borel transformations are formal inverse transformations of each of the -Laplace transformations C Zhang presented a connection formula for the series 2 ϕ 0 a, b; ;, x by the -Borel Laplace transformations of the first kind But the connection formula for the second solution of 1 is not known In this paper, we show the second connection formula for -CHGE with the using of the -Borel transformation and the -Laplace transformation of the second kind Combining with Zhang s connection formula, we obtain the connection formula in the matrix form see Theorem 2 Using Watson s formula 9 we also give another proof of the new connection formula in Section 25 In Section 3 we consider the limit 1 of our connection formula If we take the limit 1, we formally obtain the connection formula for the confluent hypergeometric series 2 F 0 2 The connection formula and the connection matrix We review a -confluent hypergeometric euation in Section 21 Then we show a connection formula for the -confluent hypergeometric function, which is different from Zhang s formula 21 Conf luent hypergeometric euation For the confluent hypergeometric euation 3, we take another degeneration We put γ and take the limit γ Then we obtain 2 d2 u du {1 α β 1} αβu 0 10 d2 d Solutions to 10 around the origin are given by the divergent series ũ 1 2 F 0 α, β;, and ũ 2 e 1 1 α β 2 F 0 1 α, 1 β;, Solutions around infinity are given by the convergent series ṽ 1 α 1F 1 α, 1 α β, 1/ and ṽ 2 β 1F 1 β, 1 β α, 1/ We consider a -analogue of the confluent hypergeometric euation 8 The second-order -difference euation { } x {abx 1 } Dux 2 1 a1 b 1 ab 1 x D ux 1 1 a1 b 1 2 ux 0 11 can be rewritten as 1 abxu x 2 {1 a bx} ux xux 0, 12 which is called a -confluent hypergeometric euation When we take 1, the limit of 11 is the differential euation 8, provided that a α, b β

6 6 T Morita 22 Local solutions to the -conf luent hypergeometric euation Consider the connection problem of 12 At first we show local solutions for 12 around x 0 and x Lemma 1 Euation 12 has solutions u 1 x 2 ϕ 0 a, b; ;, x, 13 u 2 x ; θ x 2 ϕ 1 a, b ; 0;, 14 around the origin and solutions v 1 x x α 2ϕ 1 a, 0; a b ;, v 2 x x β 2ϕ 1 b, 0; b a ;, around inf inity, provided that a α and b β, 15, 16 Proof We show a fundamental system of solutions of 12 around x 0 If set ux n 0 a n x n, a 0 1, then we obtain u 1 x 2 ϕ 0 a, b; ;, x We set Ex 1/θ x and fx n 0 a n x n, a 0 1 to obtain another solution solution around the origin We assume that ux Exfx Note that the function Ex has the following property σ Ex xex, σ 2 Ex 3 x 2 Ex Therefore, we obtain the euation [ 3 x1 abxσ 2 {1 a bx} σ ] fx 0 17 Since the infinite product ; satisfies the following -difference relation σ [; ] 1 1 ;, we obtain the second solution given by u 1 x 2 ϕ 0 a, b; ;, x, Therefore, solutions of euation 12 around the origin are u 2 x ; θ x 2 ϕ 1 a, b ; 0;, Around x, we can easily determine local solutions by setting vx θaµx θµx a n x n, a 0 1, n 0 for any fixed µ C and x C \ [ µ; ] Here u 1 x is a divergent series and u 2 x, v 1 x and v 2 x are convergent series [2] Therefore, the -Stokes phenomenon occurs for u 1 x

7 A Connection Formula for the -Confluent Hypergeometric Function 7 Definition 1 For any fx n 0 a n x n, the -Borel transformation B is B f ξ ϕξ : n 0 a n nn 1 2 ξ n, and the -Laplace transformation L, is L, ϕ x : n Z ϕ n θ n x C Zhang determined a resummation of 13 by the -Borel Laplace transformations of the first kind as follows 2f 0 a, b;,, x : L, B 2ϕ 0 a, b; ;, x He also presented a connection formula 2 for 2 f 0 a, b;,, x But the connection formula between 14 and 15, 16 is not known In the next section, we show the second connection formula by means of the -Borel Laplace transformations of the second kind 23 The second connection formula We define the -Borel transformation and the -Laplace transformation of the second kind These transformations are introduced by C Zhang to obtain the solution of euation 17 Definition 2 For fx n 0 a n x n, the -Borel transformation is defined by gξ B f ξ : n 0 a n nn 1 2 ξ n, and the -Laplace transformation is L g x : 1 x gξθ 2πi ξ r ξ dξ ξ Here r > 0 is a sufficiently small number The -Borel transformation is considered as a formal inverse of the -Laplace transformation Lemma 2 [9] We assume that the function f can be -Borel transformed to the analytic function gξ around ξ 0 Then, we have L B f f Proof We can prove this lemma calculating residues of the -Laplace transformation around the origin The -Borel transformation satisfies the following operational relation Lemma 3 For any l, m Z 0, B x m σ l mm 1 2 ξ m σ l m B

8 8 T Morita We apply the -Borel transformation to euation 17 and use Lemma 3 We use the notation gξ as the -Borel transform of u 2 x We check out that gξ satisfies the first-order -difference euation gξ 1 aξ1 bξ 1 2 gξ ξ Since g0 a 0 1, we have the infinite product of gξ as follows gξ 2 ξ; aξ; bξ; Note that gξ has single poles at { ξ C ; ξ 1 a k1, 1 } b k1, k Z 0 We set r 0 : max { } 1 a, 1 b and choose the radius r > 0 such that 0 < r < r 0 By Cauchy s residue theorem, the -Laplace transform of gξ is fx 1 x dξ gξθ 2πi ξ r ξ ξ { x 1 Res gξθ ξ ξ ; ξ 1 } a k1 { x 1 Res gξθ ξ ξ ; ξ 1 } b k1, k 0 k 0 where 0 < r < r 0 Since there exists a positive constant C N for any integer N st, gξ C N ξ N The following lemma plays a key role to calculate the residue Lemma 4 For any k N, C, we have: { 1 Res 2 1 ξ/; 1 ξ : ξ k 1 k ; } 1k1 kk1 2 ; k ;, kk1 k 2, Z ; /; k Summing up all residues, we obtain fx as follows a fx ; θ ax b a, ; θ x 2 ϕ 1 a, 0; a b ;, b ; a b, ; Therefore, we obtain the following theorem Theorem 1 For any x [1; ], we have u 2 x ; θ x 2 ϕ 1 a, b ; 0;, a ; b a, ; b ; a b, ; θ bx θ x 2 ϕ 1 b, 0; b a ;, θ ax θ x 2 ϕ 1 a, 0; a b ;, θ bx θ x 2 ϕ 1 b, 0; b a ;, 18

9 A Connection Formula for the -Confluent Hypergeometric Function 9 24 The connection matrix Combining Zhang s connection formula and Theorem 1, we give the connection matrix for euation 1 At first, we define a new fundamental system of solutions around infinity For any, µ C, x C \ [ µ; ], S µ a, b;, x is S µ a, b;, x : θaµx θµx 2 ϕ 1 a, 0; a b ;, The function θaµx/θµx satisfies the following -difference euation ux 1 a ux, which is also satisfied by the function ux x α, a α Note that the pair S µ a, b;, x, S µ b, a;, x gives a fundamental system of solutions of euation 1 if a/b Z We define -elliptic functions C µa, b;, x and C µ a, b;, x Definition 3 For any, µ C we set functions Cµa, b;, x and C µ a, b;, x as follows Cµa, b;, x : b; θa θ ax b a ; θ θ x θµx θaµx, a C µ a, b;, x : ; b a, ; θ ax θµx θ x θaµx Then Cµa, b;, x and C µ a, b;, x are single valued as functions of x following relation They satisfy the C µa, b;, e 2πi x C µa, b;, x, C µa, b;, x C µa, b;, x and C µ a, b;, e 2πi x C µ a, b;, x, C µ a, b;, x C µ a, b;, x ie C µa, b;, x and C µ a, b;, x are -elliptic functions We set 2f 1 a, b;, x : u 2 x ; θ x 2 ϕ 1 a, b ; 0;, Thus, we obtain the connection formula in the matrix form Theorem 2 For any, µ C, x C \ [1; ] [ µ/a; ] [ µ/b; ] [ ; ], we have 2f 0 a, b;,, x C µ a, b;, x C µb, a;, x Sµ a, b;, x 2f 1 a, b;, x C µ a, b;, x C µ b, a;, x S µ b, a;, x 25 Derivation from Watson s formula In this section, we give another proof of Theorem 1 Watson s formula 9 is a connection formula for the basic hypergeometric functions 2 ϕ 1 a, b; c;, x We derive the connection formula ; θ x 2 ϕ 1 a, b ; 0;, /a; θ ax b/a, ; θ x 2 ϕ 1 a, 0; a b ;, /b; θ bx a/b, ; θ x 2 ϕ 1 b, 0; b a ;, from Watson s formula 9 By take the limit c 0 of Watson s formula, we obtain the following proposition

10 10 T Morita Proposition 1 [10] For any x C \ Z, we have 2ϕ 1 a, b; 0;, x b; θ ax b/a; θ x 1 ϕ 1 a; a 2 ;, b bx a; θ bx ba 2 a/b; θ x 1 ϕ 1 b; ;, 19 ax In 19, we put a /a, b /b and x, we obtain the relation as follows Corollary 1 For any x C \ [ab; ], we have 2ϕ 1 a, b ; 0;, /b; a/b; θ bx θ 1 ϕ 1 a ; b a ;, ax /a; b/a; θ ax θ 1 ϕ 1 b ; a b ;, bx 20 The function 1 ϕ 1 a; c;, x is related to 2 ϕ 1 a, 0; c ;, x Consider the relation between the function 1 ϕ 1 and the function 2 ϕ 1 Proposition 2 For any x C, we have 1ϕ 1 a 1 ; c 1 ;, c 1x c1 x; 2 ϕ 1, 0; c 1 ;, x, 21 a 1 a 1 provided that c 1 /a 1 Z Proof The function 1 ϕ 1 a 1 ; c 1 ;, c 1 x/a 1 satisfies the euation [ { c 1 c 1 xσ 2 c 1 c } ] 1 x σ vx 0 a 1 We set vx x; ṽx, where ṽx : n 0 ṽ n x n and ṽ 0 : 1 Note that the function x; satisfies the first-order -difference euation σ fx 1 1 x fx Then, we obtain the euation [ σ 2 {1 c1 x } σ ] 1 x ṽx 0 22 a 1 c 1 Euation 22 has the solution c1 ṽx 2 ϕ 1, 0; c 1 ;, x a 1 Therefore, we obtain the conclusion Corollary 2 In 21, we put a 1 /a, c 1 b/a and x / Then we obtain 1ϕ 1 a ; b a ;, ax ; 2 ϕ 1 b, 0; b a ;, 23 We also put a 1 /b, c 1 a/b and x / Then we obtain 1ϕ 1 b ; a b ;, bx ; 2 ϕ 1 a, 0; a b ;, 24

11 A Connection Formula for the -Confluent Hypergeometric Function 11 By relations 20, 23 and 24, ; θ x 2 ϕ 1 a, b ; 0;, /b; a/b, ; θ bx θ /a; θ ax b/a, ; θ /b; a/b, ; θ bx θ x 2 ϕ 1,, ; θ x,, ; θ x b, 0; b a ;, /a; b/a, ; θ ax θ x 2 ϕ 1 a, 0; a b ;, Therefore, we obtain the formula 18 2ϕ 1 b, 0; b a ;, 2ϕ 1 a, 0; a b ;, 3 The limit 1 of the connection formula In this section we show the limit 1 of our connection formula In [10], C Zhang proposed the following limit Theorem 3 [10] For any α, β C α β Z and in any compact domain of C \[, 0], we have lim 1 2 f 0 α, β ;,, 1 Γβ α α 1F 1 α, α β 1; 1 Γβ Γα β β 1F 1 β; β α 1; 1 Γα Our limit of the connection formula in Theorem 1 differs from the theorem above Theorem 1, we have By u 2 x C µ a, b;, xs µ a, b;, x C µ b, a;, xs µ b, a;, x 25 for any x, C 0, 1] The limit 1 of the left-hand side of 25 is formally given by e 1/ 1 α β 2F 0 1 α, 1 β;,, provided that a α, b β and x /1 On the other hand, convergent series 1 F 1 α; α1 β; 1/ and 1 F 1 β; β1 α; 1/ appear in the limit 1 of the right-hand side of 25 The aim of this section is to prove the following theorem Theorem 4 The limit 1 of the new connection formula formally gives the following asymptotic formula e 1/ 1 α β Γβ α 2F 0 1 α, 1 β;, Γ1 α α 1F 1 Γα β Γ1 β β 1F 1 β; β 1 α; 1 α; α 1 β; 1 In [8], Zhang has shown a limit of theta functions, taking the principal value of the logarithm on C \, 0]

12 12 T Morita Proposition 3 For any γ C, we have θ γ u lim 1 γ u γ 1 θ u converges uniformly on compact subset of C \, 0] We also remind the formulas for the -gamma function Γ and the -exponential function E The -gamma function is defined by Γ x : ; x ; 1 1 x, 0 < < 1 This function satisfies lim 1 Γ x Γx [2] The -exponential function E n 0 satisfies the limit lim E 1 e 1 nn 1/2 n ; ; n We set a α, b β and x /1 in Theorem 1 We introduce the constant wα, β; : ; 1 1 α β Consider the limit when 1 of each side of the identity of Theorem 1 The limit of the left hand side of 18 is given by the following lemma Lemma 5 For any α, β C, α β Z, we have lim wα, β; 1 αβ ; 2 ϕ 1 1 α, 1 β ; 0;, αβ θ 1 1 α β e 1 2F 0 1 α, 1 β;, Proof Exploiting the fact αβ ; wα, β; 2 ϕ 1 1 α, 1 β ; 0;, αβ θ 1 θ αβ θ 1 α β 1 θ θ 1 2 ϕ 1 1 α, 1 β ; 0;, αβ, E 1 αβ 1 we obtain the conclusion Consider the right-hand side of 18

13 A Connection Formula for the -Confluent Hypergeometric Function 13 Lemma 6 For any α, β C, α β Z, we have lim wα, β, 2f 1 α, β ;, 1 1 Γβ α Γ1 α α 1F 1 α; α 1 β; 1 Γα β Γ1 β β 1F 1 β; β 1 α; 1 Proof Noting that 1 α ; θ α1 wα, β; β α 2 ϕ 1 α, 0; α1 β ;, 1 α β 1, ; θ { 1 α } { } ; ; 1 α ; β α 1 1 βα ; θ α1 θ 1 α 1 1 θ θ 2 ϕ 1 α, 0; α1 β ;, 1 α β 1, we prove the lemma Finally, we obtain the proof of Theorem 4 Acknowledgements The author would like to give heartfelt thanks to Professor Yousuke Ohyama who provided carefully considered feedback and many valuable comments The author also would like to thank the anonymous referees for their helpful comments References [1] Birkhoff GD, The generalied Riemann problem for linear differential euations and the allied problems for linear difference and -difference euations, Proc Amer Acad Arts Sci , [2] Gasper G, Rahman M, Basic hypergeometric series, Encyclopedia of Mathematics and its Applications, Vol 96, 2nd ed, Cambridge University Press, Cambridge, 2004 [3] Gauss CF, Disuisitiones generales circa seriem infinitam, in Werke, Bd 3, Königlichen Gesellschaft der Wissenschaften u Göttingen, 1866, [4] Morita T, A connection formula of the Hahn Exton -Bessel function, SIGMA , 115, 11 pages, arxiv: [5] Ohyama Y, A unified approach to -special functions of the Laplace type, arxiv: [6] Ramis JP, Sauloy J, Zhang C, Local analytic classification of -difference euations, arxiv: [7] Watson GN, The continuation of functions defined by generalied hypergeometric series, Trans Camb Phil Soc , [8] Zhang C, Remarks on some basic hypergeometric series, in Theory and Applications of Special Functions, Dev Math, Vol 13, Springer, New York, 2005, [9] Zhang C, Sur les fonctions -Bessel de Jackson, J Approx Theory , [10] Zhang C, Une sommation discrète pour des éuations aux -différences linéaires et à coefficients analytiues: théorie générale et exemples, in Differential Euations and the Stokes Phenomenon, World Sci Publ, River Edge, NJ, 2002,