, periodic: ?(? + k? 2 ) = ?(?)
, We claim that O 1 (?)?(?) is holonomic in the variable x(?). First, since it is (? 1 , ? 2 )-elliptic, O 1 (?) is algebraic in x(?). Second, ? (?) is a rational function of x(?), as ? (?) = ??(?). So O 1 (?)?(?) is holonomic in the variable x(?), proving the claim. We conclude using closure properties of holonomic functions. Proof of Corollary 43. If the group ? 1 , ? 2 of birational transformation of P 1 (C) 2 is finite, With the ? 1-periodicity, we find using Lemma 44 that ? is algebraic in the variable x(?)
, Let f (?) be a (? 1 , k? 2 )-elliptic function. Then f (?) is algebraic in x(?)
The functions f (?) and ?(?) are (? 1 , k? 2 )-elliptic. Using a well-known property of elliptic functions ,
, Thus f (?) is algebraic in ?(?), and hence also in x(?) due to Proposition 18
On 3-dimensional lattice walks confined to the positive octant, Ann. Comb, vol.20, issue.4, pp.661-704, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01063886
Counting quadrant walks via Tutte's invariant method, 2017. ,
The complete generating function for Gessel walks is algebraic, Proc. Amer. Math. Soc, vol.138, issue.9, pp.3063-3078, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00780429
Walks with small steps in the quarter plane, Algorithmic probability and combinatorics, Contemp. Math, vol.520, pp.1-39, 2010. ,
Linear recurrences with constant coefficients: the multivariate case, Formal power series and algebraic combinatorics, vol.225, pp.51-75, 1998. ,
Non-D-finite excursions in the quarter plane, J. Combin. Theory Ser. A, vol.121, pp.45-63, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00697386
Hypertranscendance of solutions of mahler equations, J. Eur. Math. Soc, vol.20, issue.9, pp.2209-2238, 2018. ,
Walks in the quarter plane, genus zero case, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01959037
On the nature of the generating series of walks in the quarter plane, Inventiones mathematicae, vol.213, issue.1, pp.139-203, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01897314
Infinite orders and non-D-finite property of 3-dimensional lattice walks, Electron. J. Combin, vol.23, issue.3, 2016. ,
Galois groups of difference equations of order two on elliptic curves, SIGMA Symmetry Integrability Geom. Methods Appl, vol.11, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01897304
QRT maps and elliptic surfaces, Springer Monographs in Mathematics, 2010. ,
Random walks in cones, Ann. Probab, vol.43, issue.3, pp.992-1044, 2015. ,
, Random walks in the quarter-plane, Applications of Mathematics, vol.40, 1999.
On the holonomy or algebraicity of generating functions counting lattice walks in the quarter-plane, Markov Process, vol.16, pp.485-496, 2010. ,
, Random walks in the quarter-plane with zero drift: an explicit criterion for the finiteness of the associated group, Markov Process, MR 2918123, vol.17, pp.619-636, 2011.
Galoisian approach to differential transcendence, Galois theories of linear difference equations: an introduction, Math. Surveys Monogr, vol.211, pp.43-102, 2016. ,
Differential Galois theory of linear difference equations, Math. Ann, vol.342, issue.2, pp.333-377, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01927297
On the functions counting walks with small steps in the quarter plane, Publ. Math. Inst. HautesÉtudesHautes´HautesÉtudes Sci, vol.116, pp.69-114, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00628424
, New steps in walks with small steps in the quarter plane: series expressions for the generating functions, Ann. Comb, vol.19, issue.3, pp.461-511, 2015.
Walks in the quarter plane with multiple steps, Proceedings of FPSAC, Discrete Math. Theor. Comput. Sci. Proc., Assoc. Discrete Math. Theor. Comput. Sci, pp.25-36, 2015. ,
Classifying lattice walks restricted to the quarter plane, J. Combin. Theory Ser. A, vol.116, issue.2, pp.460-477, 2009. ,
Singularity analysis via the iterated kernel method, Combin. Probab. Comput, vol.23, issue.5, pp.861-888, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01229731
Two non-holonomic lattice walks in the quarter plane, Theoret. Comput. Sci, vol.410, issue.38, 2009. ,
Counting walks in a quadrant: a unified approach via boundary value problems, MR 2911883, pp.749-777, 2012. ,