Il est connu qu’une équation différentielle linéaire, x^(k+1)Y' = A(x)Y, au voisinage d’un point singulier irrégulier non-résonant est uniquement déterminée (à isomorphisme analytique près) par : (1) sa forme normale formelle, (2) sa collection de matrices de Stokes. La définition des matrices de Stokes fait appel à un ordre sur les parties réelles des valeurs propres du système, ordre qui peut être perturbé par une rotation en x. Dans ce mémoire, nous avons établi le caractère intrinsèque de cette relation : nous avons donc établi comment la nouvelle collection de matrices de Stokes obtenue après une rotation en x qui change l’ordre des parties réelles des valeurs propres dépend de la collection initiale. Pour ce faire, nous donnons un chapitre de préliminaires généraux sur la forme normale des équations différentielles ordinaires puis un chapitre sur le phénomène de Stokes pour les équations différentielles linéaires. Le troisième chapitre contient nos résultats. / It is well known that a linear differential equation, x^(k+1)Y' = A(x)Y, near a non-resonant irregular singular point is uniquely determined (up to analytic isomorphism) by : (1) its formal normal form, (2) the collection of its Stokes matrices. By definition, the Stokes matrices depend on an order defined on the real parts of the eigenvalues of the system which can be perturbed by a rotation in the x coordinate. In this paper, we have established the intrinsic character of the dependency : we have described how the new Stokes collection is obtained from the first collection after a rotation in x which changes the order on the real parts of the eigenvalues. The first chapter contains preliminaries concerning the normal form of an ordinary differential equation and a chapter on the Stokes phenomenon for linear differential equations. The third chapter contains our results.

Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique de majorants accompagné d'un résultat de finesse des bornes obtenues. Une seconde direction est la mise en pratique de l'algorithme " bit burst " de Chudnovsky et Chudnovsky pour le prolongement analytique numérique à précision arbitraire des fonctions D-finies. Son implémentation est l'occasion de diverses améliorations techniques. Ici comme pour le calcul de bornes, on s'attache par ailleurs à couvrir le cas des points singuliers réguliers des équations différentielles. Enfin, la dernière partie de la thèse développe une méthode pour calculer une approximation polynomiale de degré imposé d'une fonction D-finie sur un intervalle, via l'étude des développements en série de Tchebycheff de ces fonctions. Toutes les questions sont abordées avec un triple objectif de rigueur (résultats numériques garantis), de généralité (traiter toute la classe des fonctions D-finies) et d'efficacité. Pratiquement tous les algorithmes étudiés s'accompagnent d'implémentations disponibles publiquement.

I. L'équation décrivant la dynamique des ondes courtes à la surface d'un fluide après une réduction de Green-Naghdi des équations d'Euler se trouve être un nouveau système intégrable exhibant des propriétés remarquables. Une relation insoupçonnée avec le modèle de sine-Gordon, au travers de transformations impliquant une quantité conservée, nous permet en effet d'obtenir des solutions singulières et multivaluées pour la nouvelle équation intégrable et, par la suite, d'en construire une description en termes du Lagrangien d'un champ relativiste. L'existence de modèles très similaires au système hydrodynamique et partageant les mêmes propriétés nous pousse à rechercher les conditions d'apparition d'une telle relation dans un cadre plus général puis à construire un modèle non relativiste mélangeant deux des équations obtenues auparavant. Cette partie se clôt sur une étude aux premiers ordres quantiques des effets de ces transformations responsables de l'apparition de champs relativistes multivalués.<br />II. Dans l'optique d'arriver à une théorie cohérente décrivant des champs de spin élevé en interaction, nous présentons dans la seconde partie une construction, basée sur la théorie des champs de cordes, qui mélange tous les niveaux de spin. Grâce à des contraintes d'hermiticité, on détermine dans un premier temps les éléments d'un groupe de jauge et leur loi de composition. Les champs de jauge sont choisis comme la représentation adjointe du groupe puis modifiés pour se rapprocher des définitions usuelles. Finalement, l'étude du spin 3 nécessite l'introduction de champs auxiliaires qui nous permettent d'obtenir un Lagrangien pour le champ de spin 2 massif en généralisant une méthode introduite par Veltman dans le cas de Yang-Mills.

Cette thèse est consacrée à l'étude des aspects linéaires et non-linéaires des équations de type Schrödinger [ i partial_t u + |nabla|^sigma u = F, quad |nabla| = sqrt {-Delta}, quad sigma in (0, infty).] Quand $sigma = 2$, il s'agit de l'équation de Schrödinger bien connue dans de nombreux contextes physiques tels que la mécanique quantique, l'optique non-linéaire, la théorie des champs quantiques et la théorie de Hartree-Fock. Quand $sigma in (0,2) backslash {1}$, c'est l'équation Schrödinger fractionnaire, qui a été découverte par Laskin (voir par exemple cite{Laskin2000} et cite{Laskin2002}) en lien avec l'extension de l'intégrale de Feynman, des chemins quantiques de type brownien à ceux de Lévy. Cette équation apparaît également dans des modèles de vagues (voir par exemple cite{IonescuPusateri} et cite{Nguyen}). Quand $sigma = 1$, c'est l'équation des demi-ondes qui apparaît dans des modèles de vagues (voir cite{IonescuPusateri}) et dans l'effondrement gravitationnel (voir cite{ElgartSchlein}, cite{FrohlichLenzmann}). Quand $sigma = 4$, c'est l'équation Schrödinger du quatrième ordre ou biharmonique introduite par Karpman cite{Karpman} et par Karpman-Shagalov cite{KarpmanShagalov} pour prendre en compte le rôle de la dispersion du quatrième ordre dans la propagation d'un faisceau laser intense dans un milieu massif avec non-linéarité de Kerr. Cette thèse est divisée en deux parties. La première partie étudie les estimations de Strichartz pour des équations de type Schrödinger sur des variétés comprenant l'espace plat euclidien, les variétés compactes sans bord et les variétés asymptotiquement euclidiennes. Ces estimations de Strichartz sont utiles pour l'étude de l'équations dispersives non-linéaire à régularité basse. La seconde partie concerne l'étude des aspects non-linéaires tels que les caractères localement puis globalement bien posés sous l'espace d'énergie, ainsi que l'explosion de solutions peu régulières pour des équations non-linéaires de type Schrödinger. [...] / This dissertation is devoted to the study of linear and nonlinear aspects of the Schrödinger-type equations [ i partial_t u + |nabla|^sigma u = F, quad |nabla| = sqrt {-Delta}, quad sigma in (0, infty).] When $sigma = 2$, it is the well-known Schrödinger equation arising in many physical contexts such as quantum mechanics, nonlinear optics, quantum field theory and Hartree-Fock theory. When $sigma in (0,2) backslash {1}$, it is the fractional Schrödinger equation, which was discovered by Laskin (see e.g. cite{Laskin2000} and cite{Laskin2002}) owing to the extension of the Feynman path integral, from the Brownian-like to Lévy-like quantum mechanical paths. This equation also appears in the water waves model (see e.g. cite{IonescuPusateri} and cite{Nguyen}). When $sigma = 1$, it is the half-wave equation which arises in water waves model (see cite{IonescuPusateri}) and in gravitational collapse (see cite{ElgartSchlein}, cite{FrohlichLenzmann}). When $sigma =4$, it is the fourth-order or biharmonic Schrödinger equation introduced by Karpman cite {Karpman} and by Karpman-Shagalov cite{KarpmanShagalov} taking into account the role of small fourth-order dispersion term in the propagation of intense laser beam in a bulk medium with Kerr nonlinearity. This thesis is divided into two parts. The first part studies Strichartz estimates for Schrödinger-type equations on manifolds including the flat Euclidean space, compact manifolds without boundary and asymptotically Euclidean manifolds. These Strichartz estimates are known to be useful in the study of nonlinear dispersive equation at low regularity. The second part concerns the study of nonlinear aspects such as local well-posedness, global well-posedness below the energy space and blowup of rough solutions for nonlinear Schrödinger-type equations.[...]

Cette thése concerne l'existence et la régularité de solutions d'équations non-linéaires elliptiques, d'équations paraboliques et d'équations de Hesse avec mesures, et les critéres de l'existence de solutions grandes d'équations elliptiques et paraboliques non-linéaires. \textbf{Liste de publications} \begin{description} \item[1.] Avec M. F. Bidaut-Véron, L. Véron; {\em Quasilinear Lane-Emden equations with absorption and measure data,} Journal des Mathématiques Pures et Appliquées,~{\bf 102}, 315-337 (2014). \item[2] Avec L. Véron; {\em Quasilinear and Hessian type equations with exponential reaction and measure data,} Archive for Rational Mechanics and Analysis, {\bf 214}, 235-267 (2014). \item[3] Avec L. Véron; {\em Wiener criteria for existence of large solutions of quasilinear elliptic equations with absorption,} 17 pages, soumis, arXiv:1308.2956. \item[4] Avec M. F. Bidaut-Véron; {\em Stability properties for quasilinear parabolic equations with measure data,} 29 pages, á apparaître dans Journal of European Mathematical Society, arXiv:1409.1518. \item[5] Avec M. F. Bidaut-Véron; {\em Evolution equations of $p$-Laplace type with absorption or source terms and measure data}, 21 pages, á apparaître dans Communications in Contemporary Mathematics, arXiv:1409.1520. \item[6] {\em Potential estimates and quasilinear parabolic equations with measure data,} 118 pages, arXiv:1405.2587v1. \item[7] Avec L. Véron; {\em Wiener criteria for existence of large solutions of nonlinear parabolic equations with absorption in a non-cylindrical domain,} 29 pages, soumis,\\ arXiv:1406.3850. \item[8] Avec M. F. Bidaut-Véron; {Pointwise estimates and existence of solutions of porous medium and $p$-Laplace evolution equations with absorption and measure data,\em } 27 pages, soumis, arXiv:1407.2218. \end{description}\begin{description} \item[1.] Avec M. F. Bidaut-Véron, L. Véron; {\em Quasilinear Lane-Emden equations with absorption and measure data,} Journal des Mathématiques Pures et Appliquées,~{\bf 102}, 315-337 (2014). \item[2] Avec L. Véron; {\em Quasilinear and Hessian type equations with exponential reaction and measure data,} Archive for Rational Mechanics and Analysis, {\bf 214}, 235-267 (2014). \item[3] Avec L. Véron; {\em Wiener criteria for existence of large solutions of quasilinear elliptic equations with absorption,} 17 pages, soumis, arXiv:1308.2956. \item[4] Avec M. F. Bidaut-Véron; {\em Stability properties for quasilinear parabolic equations with measure data,} 29 pages, á apparaître dans Journal of European Mathematical Society, arXiv:1409.1518. \item[5] Avec M. F. Bidaut-Véron; {\em Evolution equations of $p$-Laplace type with absorption or source terms and measure data}, 21 pages, á apparaître dans Communications in Contemporary Mathematics, arXiv:1409.1520. \item[6] {\em Potential estimates and quasilinear parabolic equations with measure data,} 118 pages, arXiv:1405.2587v1. \item[7] Avec L. Véron; {\em Wiener criteria for existence of large solutions of nonlinear parabolic equations with absorption in a non-cylindrical domain,} 29 pages, soumis,\\ arXiv:1406.3850. \item[8] Avec M. F. Bidaut-Véron; {Pointwise estimates and existence of solutions of porous medium and $p$-Laplace evolution equations with absorption and measure data,\em } 27 pages, soumis, arXiv:1407.2218. \end{description}

Cette thèse concerne l’existence et la régularité de solutions d’équations non-linéaires elliptiques, d’équations paraboliques et d’équations de Hesse avec mesures, et les critères de l’existence de solutions grandes d’équations elliptiques et paraboliques non-linéaires. / This thesis is concerned to the existence and regularity of solutions to nonlinear elliptic, parabolic and Hessian equations with measure, and criteria for the existence of large solutions to some nonlinear elliptic and parabolic equations.