q-DEFORMATION OF MEROMORPHIC SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS. THOMAS DREYFUS Abstract. In this paper, we consider the behaviour, when q goes to 1, of the set of a convenient basis of meromorphic solutions of a family of linear q-difference equations. In particular, we show that, under convenient assumptions, such basis of meromorphic solutions converges, when q goes to 1, to a basis of meromorphic solutions of a linear differential equation. We also explain that given a linear differential equation of order atleasttwo,whichhasaNewtonpolygonthathasonlyslopesofmultiplicitiesone,and a basis of meromorphic solutions, we may build a family of linear q-difference equations 5 thatdiscretizesthelineardifferentialequation, suchthataconvenientfamilyofbasisof 1 meromorphicsolutionsisaq-deformationofthegivenbasisofmeromorphicsolutionsof 0 the linear differential equation. 2 l u J Contents 3 1 Introduction 1 ] 1. Local study of linear differential equations 3 V 1.1. Local formal study of linear differential equations 3 C 1.2. Local analytic study of linear differential equations 5 . h 2. Local study of linear q-difference equations 7 t a 2.1. Local formal study of linear q-difference equations 7 m 2.2. Local analytic study of linear q-difference equations 8 [ 3. Integral representation of the meromorphic solutions 10 4. q-dependency of meromorphic solutions of linear differential equations. 13 2 v 4.1. Confluence of meromorphic solutions of linear differential equations. 13 2 4.2. An example. 18 9 4.3. q-deformation of meromorphic solutions of linear differential equations. 20 9 2 References 27 0 . 1 0 5 1 Introduction : v Let q > 1 be a real parameter, and let us define the dilatation operator σ i q X (cid:0) (cid:1) σ f(z) := f(qz). q r a When q tends to 1, the q-difference operator δ := σq−Id “tends” to the derivation q (q−1) δ := z d . Hence every differential equation may be discretized by a q-difference equation. dz Given a linear differential equation ∆e, and a basis of meromorphic solutions of ∆e, we wonderifwecanbuild∆ ,familyoflinearq-differenceequationsthatisaq-deformation∗of q Date: July 14, 2015. 2010 Mathematics Subject Classification. 39A13,34M40. Work supported by the labex CIMI. ∗Throughout thepaper, wewill saythat the family of objects (X ) is aq-deformation of the object q q>1 Xe, if Xq converges, in a certain sense, to Xe, when q→1. 1 2 THOMASDREYFUS ∆e,andaconvenientfamilyofbasisofmeromorphicsolutionsof∆q,thatisaq-deformation of the basis of meromorphic solutions of ∆e. The goal of this paper is to give an answer to this problem. ∗∗∗ Let us consider  δ Y(z,q) = B(z)Y(z,q)  q  δYe(z) = B(z)Ye(z), where B(z), is a m by m square matrix with coefficients that are germs of meromorphic functions at z = 0. We are going to recall the main result of [Sau00] in the particular case where the above matrix B(z) does not depend upon q and q > 1 is real. In [Sau00], Sauloy assumes that the systems are Fuchsian at 0 and the linear differential system has exponents at 0 which are non resonant (see [Sau00], §1, for a precise definition). The Frobenius algorithm provides a local fundamental solution, i.e, an invertible solution matrix, at z = 0, Φe0(z), of the linear differential system δYe(z) = B(z)Ye(z). This solution can be analytically continued into an analytic solution on C∗, minus a finite number n (cid:12) o n (cid:12) o of lines and half lines of the form R α := xα(cid:12)x ∈]0,∞[ and R β := xβ(cid:12)x ∈ [1,∞[ , >0 (cid:12) ≥1 (cid:12) withα,β ∈ C∗. NotethatinSauloy’spaper, thelinesandhalflinesareinfactrespectively q-spiralsandq-half-spiralssincetheauthorconsidersthecasewhereq isacomplexnumber such that |q| > 1. In [Sau00], §1, the author uses a q-analogue of the Frobenius algorithm to construct a local fundamental matrix solution at z = 0, Φ (z,q), of the family of linear q-difference 0 systems δ Y(z,q) = B(z)Y(z,q), which is for a fixed q, meromorphic on C∗ and has q its poles contained in a finite number of q-spirals of the form qZα := {qnα,n ∈ Z} and qN∗β := {qnβ,n ∈ N∗}, with α,β ∈ C∗. Sauloy proves that Φ (z,q) converges 0 uniformly to Φe0(z) when q → 1, in every compact subset of its domain of definition. The problem in the non Fuchsian case is more difficult. Divergent formal power series may appear as solutions of the linear differential systems, but we may apply to them a Borel-Laplacesummationprocessinordertoobtaintheexistenceofgermsofmeromorphic solutions on sectors of the Riemann surface of the logarithm. See [Bal94, Ber92, LR90, LR95, Mal95, MR92, Ram93, RM90, Sin09, vdPS03]. The same situation occurs in the q-difference case. See [Béz92, Bug11, DSK05, DVRSZ03, DVZ09, Dre14a, Dre14b, MZ00, Ram92,RS07,RS09,RSZ13,RZ02,Sau04b,Sau04a,Trj33,vdPR07,Zha99,Zha00,Zha01, Zha02, Zha03]. Let us give more precisions on [RSZ13]. We refer to §2 for more details. The authors of [RSZ13] consider a linear q-difference system having coefficients that are germs of meromorphic functions, and having integral slopes. See [RSZ13], §2.2, for a precise definition. In this case, the work of Birkhoff and Guenther implies that after an analytic gauge transformation, such system may be put into a very simple form, that is in the Birkhoff-Guenther normal form. Moreover, after a formal gauge transformation, a system in the Birkhoff-Guenther normal form may be put into a diagonal bloc system. Then, the authors of [RSZ13] build a set of meromorphic gauge transformations, that make the same transformations as the formal gauge transformation, with germs of entries, having poles contained in a finite number of q-spirals of the form qZα, with α ∈ C∗. Moreover, the meromorphic gauge transformations they build are uniquely determined by the set of poles and their multiplicities. ∗∗∗ The paper is organized as follows. In §1, we make an overview of the local study of the linear differential equations. In particular, we remind how a meromorphic linear differential q-DEFORMATION OF MEROMORPHIC SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS. 3 operator may be factorized, with formal power series, or with germs of meromorphic functions on some sectors of the Riemann surface of the logarithm. Given a linear differential equation, with coefficients that are germs of meromorphic functions, we also remind the existence of basis of solutions that are germs of meromorphic functions on some sectors of theRiemannsurfaceofthelogarithm. In§2,wesummarizetheworkof[RSZ13]. Werecall how they attach to a convenient linear q-difference system, a set of meromorphic fundamental solution. In §3, we explain how, under convenient assumptions, we may express the meromorphic solutions of [RSZ13], using Jackson integral, that is a q-discretization of the classical integral. In §4 we consider q as a real parameter we make converges to 1. In §4.1 we prove a preliminary result of confluence†. See Theorem 4.5 for a more precise statement. Theorem. Let us consider a linear differential equation ∆e and a family of linear q- difference equations ∆q that discretizes ∆e. Then, under convenient assumptions, a family of basis of meromorphic solutions of ∆ given by [RSZ13], converges, when q goes to 1, to q a basis of meromorphic solutions of ∆e. We apply the above result in §4.2, in a particular example, and in §4.3, where we prove our main result. See Theorem 4.15 for a more precise statement and [vdPS03], §3.3, for the definition of the Newton polygon. Theorem. Let us consider a linear differential equation ∆e of order at least two, assume that its Newton polygon has only slopes of multiplicities one, and let us fix a certain basis of meromorphic solutions of ∆e. Then, there exists ∆q, family of linear q-difference equations, that is a q-deformation of ∆e, and there exists a family of basis of meromorphic solutions of ∆ given by [RSZ13], that is a q-deformation of the given basis of meromorphic solutions q of ∆e. Note that we construct explicitly the family ∆ , and the family of basis of meromorphic q solutions of ∆ . Remark also that confluence problems in the non Fuchsian case were q considered in the papers [DVZ09, Dre14b, Zha02], but this article is, to the best of our knowledge, the first to give a confluence result of the solutions built in [RSZ13] in the case where the linear q-difference equations have several slopes. We refer to Remarks 4.8 and 4.9 for a rough statement of the results in [DVZ09, Dre14b]. Note alsothattheresultsof[DVZ09]aredeeplyusedin§4.3,inordertoconstructthefamily∆ . q Acknowledgments. TheauthorwouldliketothankJean-PierreRamisandtheanony- mous referees, for their suggestions to improve the quality of the paper. 1. Local study of linear differential equations Inthissection, wemakeashortoverviewofthelocalformalandanalyticstudyoflinear differential equations. See [vdPS03] for more details. 1.1. Local formal study of linear differential equations. Let C[[z]] be the ring of formal power series, C((z)) := C[[z]][z−1] be its fraction field, δ := z d , and consider a dz monic linear differential equation in coefficients in C((z)): (1.1) Pe(ye) = 0. Once for all, we fix a determination of the complex logarithm over Ce we call log. For a ∈ C, we write za := ealog(z). As we can see in [vdPS03], Theorem 3.1, there exist †Throughout the paper, we will use the word “confluence” to describe the q-degeneracy when q→1. 4 THOMASDREYFUS fe1,...,fem ∈ [ C(cid:16)(cid:16)z1/ν(cid:17)(cid:17), such that we have the factorization ν∈N∗ (cid:16) (cid:17) (cid:16) (cid:17) Pe = δ−fem ... δ−fe1 . (cid:16) (cid:17) (cid:16) (cid:17) Moreover, for all 1 ≤ j < k ≤ m, v0 fej ≤ v0 fek , where v0 denotes the z-valuation. It follows that (1.1) is equivalent to   fe1 1 0  ... ...  (1.2) δYe = CeYe, where Ce :=  .  ... 1    0 fem Until the end of the section, we are going to assume that fe1,...,fem ∈ C((z)). The goal of this subsection is to give an explicit form of a fundamental solution for (1.2) in coefficients in a field we are going to introduce now. Let h i E := z−1C z−1 . We define formally the differential ring, (cid:20) (cid:16) (cid:17) (cid:16) (cid:16) (cid:17)(cid:17) (cid:21) R := C((z)) log, zea , e λe , ea∈C eλ∈E with the following rules: (cid:16) (cid:17) (cid:16) (cid:16) (cid:17)(cid:17) (1) The symbols log, zea and e λe only satisfy the following relations: ea∈C eλ∈E (cid:16) (cid:17) (cid:16) (cid:17) (cid:16) (cid:17) zea+eb = zeazeb, e λe1+λe2 = e λe1 e λe2 , zea = zea ∈ C((z)) for a ∈ Z, e(0) = 1. e (2) The following rules of differentiation (cid:16) (cid:17) (cid:16) (cid:17) (cid:16) (cid:17) δlog = 1, δzea = aezea, δe λe = δ λe e λe , equip the ring with a differential structure, since these rules go to the quotient as can be readily checked. Proposition 3.22 in [vdPS03] tell us that the ring R is an integral domain and its field of fractions K has field of constants equal to C. (cid:16) (cid:17) Let Le ∈ Mm(C), that is a complex m × m matrix. Let Le = Pe De +Ne Pe−1, (cid:16) (cid:17) with De = Diag dei , dei ∈ C, Ne nilpotent, DeNe = NeDe and Pe ∈ GLm(C), that is a complex invertible m×m matrix, be the Jordan decomposition of the square matrix Le. We construct the matrix (cid:18) (cid:19) zLe := PeDiag zdei eNelogPe−1 ∈ GLm(K). One may check that it satisfies δzLe = LezLe = zLeLe. Of course, if a ∈ C and (a) ∈ M (C) is the corresponding matrix, we have zea = z(ea). e e 1 Note that the intuitive interpretations of these symbols (resp. of the matrix zLe) (cid:16) (cid:17) are log = log(z), zea = eealog(z) and e λe = eeλ (resp. is eLelog(z)). Let febe one these above functions (resp. an entry of the above matrix). Then fehas a natural interpretation as q-DEFORMATION OF MEROMORPHIC SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS. 5 an analytic function on Ce, where Ce is the Riemann surface of the logarithm. We will use the analytic function instead of the symbol when we will consider asymptotic solutions in §1.2. For the time being, however, we see them only as symbols. Let us consider (1.2). The Hukuhara-Turrittin theorem (see Theorem 3.1 in [vdPS03] for a statement that is trivially equivalent to the following) says that there exists a fundamental solution for (1.2) of the form (for κ ∈ N∗, Id denotes the identity matrix of κ size κ) (cid:16) (cid:16) (cid:17) (cid:16) (cid:17) (cid:17) He(z)Diag zLe1e λe1 ×Idm1,...,zLere λer ×Idmr  (cid:16) (cid:17)  zLe1e λe1 ×Idm1 := He(z) ... ,    (cid:16) (cid:17)  zLere λer ×Idmr where (cid:16) (cid:17) • He ∈ GLm C((z)) , • Lej ∈ Mmj(C), for 1 ≤ j ≤ r with Pmj = m, • λej ∈ E, for 1 ≤ j ≤ r. NotethattheHukuhara-Turrittintheoremworksalsoforanarbitrarylineardifferential system in coefficients in C((z)) with integral slopes. See [vdPS03], §3.3, for a precise definition. 1.2. Local analytic study of linear differential equations. Let C{z} be the ring of germs of analytic functions in the neighbourhood of z = 0, and C({z}) be its fraction field, that is the field of germs of meromorphic functions in the neighbourhood of z = 0. If a,b ∈ R with a < b, we define A(a,b) as the ring of functions that are analytic in some punctured neighbourhood of 0 in n (cid:12) o S(a,b) := z ∈ Ce(cid:12)arg(z) ∈]a,b[ . (cid:12) In this subsection, we assume that (1.1) is a linear differential equation having coefficients in C({z}). We are interested in the existence of a basis of solutions of (1.1), that belongs to A(a,b), for some a < b. We define the family of continuous map (ρ ) , from the Riemann surface of the a a∈C logarithm to itself, that sends z to ealog(z). One has ρ ◦ ρ = ρ for any b,c ∈ C. b c bc For f ∈ A(a,b) and c ∈ C, we define ρ (f) := f(zc). c Definition 1.1. (1) Let k ∈ N∗. We define the formal Borel transform of order k, Bˆ as k follows: Bˆ : C[[z]] −→ C[[ζ]] k Xa z‘ 7−→ X a‘ ζ‘, ‘ (cid:16) (cid:17) ‘∈N ‘∈N Γ 1+ k‘ where Γ is the Gamma function. (2) Let d ∈ R and k ∈ N∗. Let f be a function such that there exists ε > 0, such thatf ∈ A(d−ε,d+ε). Wesaythatf belongstoHed,iff admitsananalyticcontinuation k defined on S(d−ε,d+ε) that we will still call f, with exponential growth of order k at infinity. This means that there exist constants J,L > 0, such that for ζ ∈ S(d−ε,d+ε): (cid:16) (cid:17) |f(ζ)| < Jexp L|ζ|k . 6 THOMASDREYFUS (3) Let d ∈ R and k ∈ N∗. We define the Laplace transformations of order 1 and k in the direction d as follow (see [Bal94], Page 13, for a justification that the maps are defined) Ld : Hed −→ A(cid:0)d− π,d+ π(cid:1) 1 1 2 2 Z ∞eid f 7−→ z−1f(ζ)e−(zζ)dζ, 0 Ld : Hed −→ A(cid:0)d− π ,d+ π (cid:1) k k 2k 2k g 7−→ ρ ◦Ld◦ρ (g). k 1 1/k (cid:16) (cid:17) (4) Let d ∈ R, k ∈ N∗ and he ∈ C[[z]]. We say that he ∈ Sedk if Bˆk he ∈ C{z}∩Hedk. In this case, we set (cid:16) (cid:17) (cid:16) (cid:17) (cid:18) π π (cid:19) Sed he := Ldk ◦Bˆk he ∈ A d− 2k,d+ 2k . d (5) Let d ∈ R and he ∈ C((z)). We say that he ∈ MgS if there exist k1,...,kr ∈ N∗, N ∈ N and hek1 ∈ Sedk1,...,hekr ∈ Sedkr such that zNhe = hek1 +···+hekr. In this case, we set (cid:16) (cid:17) (cid:16) (cid:17) (cid:16) (cid:17) (cid:18) π π (cid:19) Sed he := z−NSed hek1 +···+z−NSed hekr ∈ A d− 2ε,d+ 2ε , where ε := max(k ,...,k ). 1 r Westillconsider(1.2). LetHe bethematrixgivenbyHukuhara-Turrittintheorem. Note that the next theorem works also for an arbitrary linear differential system in coefficients in C({z}) with integral slopes. Theorem 1.2 ([Bal94], Theorem 2, §6.4, and Theorem 1, §7.2). There exists Σe ⊂ R, finite modulo 2πZ, called the set of singular directions of (1.2), such that for all d ∈ R\Σe, (cid:16) (cid:17) d (cid:16) (cid:17) (cid:16) (cid:17) the entries of Hej,k := He and fe1,...,fem belong to MgS . Let Sed He := Sed Hej,k . Moreover, there exists ε > 0 such that we get an analytic fundamental solution (cid:16) (cid:17) (cid:18) (cid:19) (cid:18) (cid:18) π π (cid:19)(cid:19) Sed He Diag eLe1log(z)eeλ1×Idm1,...,eLerlog(z)eeλr×Idmr ∈ GLm A d− ,d+ , 2ε 2ε (cid:18) π π (cid:19) for the linear differential system having coefficients in A d− ,d+ 2ε 2ε  (cid:16) (cid:17)  Sed fe1 1 0 (1.3) δYe = Sed(cid:16)Ce(cid:17)Ye, with Sed(cid:16)Ce(cid:17) :=  ... ... .  ... 1   (cid:16) (cid:17) 0 Sed fem Note that for all d ∈ R\Σe, we have also (cid:16) (cid:17) (cid:16) (cid:17) (cid:16) (cid:16) (cid:17)(cid:17) (cid:16) (cid:16) (cid:17)(cid:17) Pe = δ−fem ... δ−fe1 = δ−Sed fem ... δ−Sed fe1 , which gives us an analytic basis of solutions of (1.1), that belongs to the (cid:18) π π (cid:19) ring A d− ,d+ . 2ε 2ε As a matter of fact, as we can see in Page 239 of [vdPS03], (cid:16) (cid:17) (cid:18) (cid:19) (cid:18) (cid:18) π π (cid:19)(cid:19) Sed He Diag eLe1log(z)eeλ1×Idm1,...,eLerlog(z)eeλr×Idmr ∈ GLm A dl − ,dl+1+ , 2ε 2ε where the directions dl,dl+1 ∈ Σe are chosen such that (cid:3)dl,dl+1(cid:2)TΣe = ∅. q-DEFORMATION OF MEROMORPHIC SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS. 7 Note that by definition, the analyticity holds on a subset of Ce. Ramis has used the (cid:16) (cid:16) (cid:17) (cid:16) (cid:17)(cid:17) family of solutions Sed He Diag eLe1log(z)eeλ1×Idm1,...,eLerlog(z)eeλr×Idmr to build d∈R\Σe topological generators for the local differential Galois group of (1.2). See Chapter 8 of [vdPS03] for more details. Remark also that the above family of solutions are involved in the local analytic classification of linear differential equations in coefficients in C({z}) with integral slopes. 2. Local study of linear q-difference equations In this section, we make a short overview of the local formal and analytic classification of linear q-difference equations. See [RSZ13] for more details. 2.1. Local formal study of linear q-difference equations. Let q > 1 be fixed. Let us consider the monic linear q-difference equation in coefficients in C({z}) Q(y) = 0. Aswecandeducefrom[MZ00], §3.1, aq-differenceoperatormaybefactorized: thereexist g ,...,g ∈ C({z1/ν})\{0},forsomeν ∈ N∗,withforall1 ≤ j < k ≤ m,v (g ) ≤ v (g ), 1 m 0 j 0 k such that Q = (σ −g )...(σ −g ). q m q 1 Theq-differenceequationQ(y) = 0isequivalenttoP(y) = 0with(remindthatδ = σq−Id) q q−1 P := (δ −f )...(δ −f ), q m q 1 where f := g1−1,...,f := gm−1. 1 q−1 m q−1 Until the end of the section we will assume that g ,...,g ∈ C({z})\{0}. 1 m It follows that P(y) = 0 is equivalent to 1+(q−1)f q−1 0  1  ... ...    (2.1) σqY = CY, where C :=  ... q−1 . 0 1+(q−1)f m Remark 2.1. Theoppositeofv (g ),...,v (g )equaltotheslopesofQ. Themultiplicity 0 1 0 m of the slope −v (g ) for 1 ≤ j ≤ m corresponds to the number m ∈ N, of g having 0 j j i valuation v (g ). See [RSZ13], §2.2, for a precise definition. 0 j Let K be a sub-field of C((z)), stable by σ . Let A,B ∈ GL (K ). The two q- 0 q m 0 difference systems, σ Y = AY and σ Y = BY are equivalent over K , if there ex- q q 0 ists P ∈ GL (K ), called gauge transformation, such that m 0 A = P[B]σq := (σqP)BP−1. In particular, σ Y = BY ⇐⇒ σ (PY) = APY. q q Conversely, if there exist A,B,P ∈ GL (K ) such that σ Y = BY, σ Z = AZ and m 0 q q Z = PY, then A = P [B] . σ q Note that the next theorem works also for an arbitrary linear q-difference system in coefficients in C((z)) with integral slopes. From [RSZ13], §2.2, we may deduce: 8 THOMASDREYFUS Theorem 2.2. Let C be defined in (2.1). We have existence and uniqueness of • B ∈ GL (C), matrices in the Jordan normal form with Pm = m, j mj j • µ < ··· < µ elements of Z, 1 r (cid:16) (cid:17) • Gˆ ∈ GL C((z)) , with diagonal entries that have z-valuation 0 and that have m constant terms equal to 1, such that: C = Gˆ[D]σ , where D := Diag(B1zµ1,...,Brzµr). q Remark 2.3. The opposite of the µ are the slopes of the Newton polygon of (2.1) and j the m are the corresponding multiplicities. See [RSZ13], §2.2, for a precise definition. j In particular, the above theorem gives the local formal classification of linear q-difference systems with integral slopes. See [vdPR07] for the local formal classification of linear q-difference systems in the general case. 2.2. Local analytic study of linear q-difference equations. Definition 2.4. We say that T ∈ GL (C(z)) is a Birkhoff-Guenther matrix, if there exist m µ < ··· < µ elements of Z, m ,...,m positive integers which sum is m, B ∈ GL (C), 1 r 1 r j mj µ −1 k U , m times m matrices with coefficients in X Czν, such that j,k j k ν=µj zµ1B1 ... ... ... ...   ... ... U ...   j,k  T =  ... ... ... .    ... ...    0 zµrBr The next theorem says that after an analytic gauge transformation, we may put (2.1) in the Birkhoff-Guenther normal form. Note that the result is true for any linear q-difference system in coefficients in C({z}) having integral slopes. This result is used in [RSZ13] to make the local analytic classification of such q-difference systems. From [RSZ13], §3.3.2, we may deduce: Theorem 2.5. Let C be defined in (2.1). Let µ < ··· < µ , m ...,m and B ,...,B 1 r 1 r 1 r be defined as in Theorem 2.2. We have the existence of a unique pair (F,T), where (cid:16) (cid:17) F ∈ GL C({z}) , T is a Birkhoff-Guenther matrix of the form m zµ1B1 Uj,k  T :=  ... ,   0 zµrBr such that C = F[T]σ . q Let us introduce some notations. Let M(C∗) (resp. M(C∗,0)) be the field of mero- morphicfunctions onC∗ (resp. meromorphicfunctionson somepuncturedneighbourhood of 0 in C∗). Let K be a sub-field of M(C∗,0) stable by σ . Let A,B ∈ GL (K ). The 0 q m 0 two q-difference systems, σ Y = AY and σ Y = BY are equivalent over K , if there q q 0 exists P ∈ GL (K ), called gauge transformation, such that m 0 A = P[B]σq := (σqP)BP−1. q-DEFORMATION OF MEROMORPHIC SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS. 9 Let us define Σ ⊂ C∗, finite modulo qZ, as follows (see Theorem 2.2 for the definition of the matrices B ,...,B and the integers µ ,...,µ ): 1 r 1 r Σ := [ S , where S := n−a ∈ C∗(cid:12)(cid:12)qZa−µjSp(B )∩qZa−µkSp(B ) 6= ∅o, j,k j,k (cid:12) j k 1≤j 0, there z∈W,ζ∈−λqZ(cid:12) ζ(cid:12) exists M > 0, such that for all N ∈ N∗ and all z ∈ W, (k.k denotes the infinite norm) ∞ (cid:13) N−1 (cid:13) (cid:13)(cid:13)Hˆ[λ](z)− X Hˆ z‘(cid:13)(cid:13) ≤ MNqN2/2µ1|z|N. (cid:13) ‘ (cid:13) (cid:13) (cid:13) ‘=0 ∞ Note that if zNF (see Theorem 2.2 for the definition of F) with N ∈ N has entries in C[[z]], then zNFHˆ[λ] is q-Gevrey asymptotic to zNFHˆ along the divisor −λqZ. We still consider (2.1). Let Λ ∈ GL (M(C∗)) (see below for the existence of Λ) be any m solution of (2.2) σ Λ = Diag(B zµ1,...,B zµr)Λ = ΛDiag(B zµ1,...,B zµr). q 1 r 1 r Fromwhatprecede,weobtainthatforeveryλ ∈ C∗\Σ,wegetameromorphicfundamental solution for (2.1) U[λ] := FHˆ[λ]Λ ∈ GL (M(C∗,0)). Λ m We finish the subsection by giving an explicit meromorphic solution of (2.2), but before, we need to introduce some notations. For a ∈ C∗, let us consider, Θq(z) := ‘X∈Zq−‘(2‘+1)z‘, lq(z) := δ(ΘΘqq((zz))), Λq,a(z) := ΘΘq(qz(/za)). They satisfy the q- difference equations: • σ Θ = zΘ . q q q • σ l = l +1. q q q 10 THOMASDREYFUS • σ Λ = aΛ . q q,a q,a Let A be an invertible matrix with complex coefficients and consider now the decomposition in Jordan normal form A = P(D0U)P−1, where D0 = Diag(d ) is diagonal, U is a i unipotent upper triangular matrix with D0U = UD0, and P is an invertible matrix with complex coefficients. Following [Sau00], we construct the matrix: (cid:16) (cid:17) (cid:16) (cid:16) (cid:17)(cid:17) Λ := P Diag(Λ )elog(U)lq P−1 ∈ GL C l ,(Λ ) q,A q,di m q q,a a∈C∗ that satisfies: σ Λ = AΛ = Λ A. q q,A q,A q,A Let a ∈ C∗ and consider the corresponding matrix (a) ∈ GL (C). By construction, we 1 have Λ = Λ . q,a q,(a) Then, the following matrix is solution of (2.2) Λ := Diag(Λ Θ (z)µ1 ×Id ,...,Λ Θ (z)µr ×Id ) ∈ GL (M(C∗)). 0 q,B1 q m1 q,Br q mr m (cid:16) (cid:17) [λ] Note that the family of solutions U are involved to build topological Λ0 λ∈C∗\Σ generator for the local Galois group of (2.1). See [RS07, RS09]. 3. Integral representation of the meromorphic solutions Sauloy’s algebraic summation, see [Sau04a], gives an explicit way to compute the meromorphic solutions of §2.2. Unfortunately, the behaviour of the expression of the solutions when q goes to 1 seems complicated to understand. Under convenient assumptions,wearegoingtogiveinthissection,anotherexpressionofthemeromorphicsolutions. For g = P∞ g z‘ ∈ C((z))\{0} with g 6= 0, let t (g) := g . Throughout the paper, ‘=n ‘ n 0 n we will make the convention that t (0) := 0. We remind that v denotes the z-valuation. 0 0 Let us consider f ,...,f ∈ C({z}) of (2.1) and assume that (non resonance condition) 1 m Z (3.1) v (1+(q−1)f ) = v (1+(q−1)f ) =⇒ t (1+(q−1)f ) ∈/ q t (1+(q−1)f ). 0 j 0 k 0 j 0 k Note that if the Newton polygon of (2.1) has only positive slopes with multiplicity one, then the non resonance condition is satisfied. The next lemma gives the expression of the bloc diagonal matrix appearing in Theorem 2.2. (cid:16) (cid:17) Lemma 3.1. There exists a unique (gˆ ) := Gˆ ∈ GL C((z)) , upper triangular with for j,k m all 1 ≤ j ≤ m, v (gˆ ) = 0, t (gˆ ) = 1, such that 0 j,j 0 j,j h (cid:16) (cid:17)i C = Gˆ Diag zv0(1+(q−1)f1)t (1+(q−1)f ),...,zv0(1+(q−1)fm)t (1+(q−1)f ) . 0 1 0 m σ q Proof. Due to the assumptions we have made on f ,...,f , For all 1 ≤ j ≤ m (resp. 1 m 1 ≤ j < k ≤ m)thereexistsgˆ ∈ C[[z]]withconstanttermequalto1(resp.gˆ ∈ C((z))), j,j j,k solution of zv0(1+(q−1)fj)t (1+(q−1)f )σ gˆ = (1+(q−1)f )gˆ 0 j q j,j j j,j resp. (3.2) zv0(1+(q−1)fk)t (1+(q−1)f )σ gˆ = (1+(q−1)f )gˆ +(q−1)gˆ . 0 k q j,k j j,k j+1,k For 1 ≤ k < j ≤ m, put gˆ := 0. Then (gˆ ) := Gˆ is the unique matrix that satisfies the j,k j,k required properties. (cid:3) Remark 3.2. Note that the matrices B of Theorem 2.2 are all diagonal. j

q-Deformation of Meromorphic Solutions of Linear Differential Equations

Similar q-Deformation of Meromorphic Solutions of Linear Differential Equations