Cette thèse a pour objet l'étude d'équations fonctionnelles analytiques. Elle se divise en deux parties. La première, purement mathématique, concerne l'étude des équations aux q-différences et des équations voisines. Plus précisement, nous établissons des théorèmes d'indices et de croissance des solutions entières pour les équations mixtes différentielles-q-différences, généralisant les résultats connus dans le cadre des équations différentielles d'une part, des équations aux q-différences d'autre part. Par ailleurs, nous obtenons des théorèmes d'indices pour les développements en séries de q-factorielles, q-analogues des séries de factorielles. La seconde partie de cette thèse concerne la multisommation des séries formelles solutions d'équations différentielles linéaires algébriques. La théorie et la méthode des transformées de Laplace itérées nous donne une méthode effective permettant de sommer ces séries formelles. Le travail consiste à réaliser les algorithmes formels et numériques en créant les primitives informatiques nécessaires, en coordination avec le travail méné par d'autres équipes du groupe de travail CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations, projet européen Esprit).

En géométrie algébrique, les invariants de Gromov—Witten sont des invariants énumératifs qui comptent le nombre de courbes complexes dans une variété projective lisse qui vérifient des conditions d’incidence. En 2001, A. Givental et Y.P. Lee ont défini de nouveaux invariants, dits de Gromov—Witten K-théoriques, en remplaçant les définitions cohomologiques dans la construction des invariants de Gromov—Witten par leurs analogues K-théoriques. Une question essentielle est de comprendre comment sont reliées ces deux théories. En 2013, Iritani- Givental-Milanov-Tonita démontrent que les invariants K-théoriques peuvent être encodés dans une fonction qui vérifie des équations aux q-différences. En général, ces équations fonctionnelles vérifient une propriété appelée “confluence”, selon laquelle on peut dégénérer ces équations pour obtenir une équationdifférentielle. Dans cette thèse, on propose de comparer les deux théories de Gromov— Witten à l’aide de la confluence des équations aux q-différences. On montre que, dans le cas des espaces projectifs complexes, que ce principe s’adapte et que les invariants Kthéoriques peuvent être dégénérés pour obtenir leurs analogues cohomologiques. Plus précisément, on montre que la confluence de la petite fonction J de Givental K-théorique permet de retrouver son analogue cohomologique après une transformation par le caractère de Chern. / In algebraic geometry, Gromov— Witten invariants are enumerative invariants that count the number of complex curves in a smooth projective variety satisfying some incidence conditions. In 2001, A. Givental and Y.P. Lee defined new invariants, called Ktheoretical Gromov—Witten invariants. These invariants are obtained by replacing cohomological objects used in the definition of the usual Gromov—Witten invariants by their Ktheoretical analogues. Then, an essential question is to understand how these two theories are related. In 2013, Iritani-Givental- Milanov-Tonita show that K-theoretical Gromov—Witten invariants can be embedded in a function which satisfies a q-difference equation. In general, these functional equations verify a property called “confluence”, which guarantees that we can degenerate these equations to obtain a differential equation. In this thesis, we propose to compare our two Gromov—Witten theories through the confluence of q-difference equations. We show that, in the case of complex projective spaces, this property can be adapted to degenerate Ktheoretical invariants into their cohomological analogues. More precisely, we show that theconfluence of Givental’s small K-theoretical Jfunction produces its cohomological analogue after applying the Chern character.

Cette thèse porte sur la théorie de Galois différentielle. Elle est divisée en deux parties. La première concerne la théorie de Galois différentielle paramétrée, et la seconde, les équations aux q-différences. Dans le chapitre 2, nous exposons une généralisation de l'algorithme de Kovacic qui permet de calculer le groupe de Galois paramétré de certaines équations différentielles paramétrées d'ordre 2. Dans le chapitre 3, nous présentons une généralisation du théorème de densité de Ramis qui donne un ensemble de générateurs topologiques du groupe de Galois pour les équations différentielles linéaires paramétrées à coefficients dans un anneau convenable. Nous obtenons une contribution au problème inverse dans cette théorie de Galois, donnons un critère d'isomonodromie, et répondons partiellement à une question posée par Sibuya. Dans le chapitre 4, il est question de confluence et d'équations aux q-différences. Nous prouvons comment la transformée de Borel-Laplace d'une série formelle divergente solution d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par un q-analogue de la transformée de Borel-Laplace appliqué à une série formelle solution d'une famille d'équations aux q-différences linéaires qui discrétise l'équation différentielle. Nous faisons directement les calculs dans le cas des séries hypergéométriques basiques, et nous prouvons sous des hypothèses raisonnables, qu'une matrice fondamentale d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par une matrice fondamentale d'une famille d'équations aux q-différences linéaires correspondante.