Pour les équations différentielles ordinaires linéaires d'ordre 2 et 3, des algorithmes de résolution exacte avec des temps de calcul réalistes existent, se fondant sur une étude préalable précise des groupes de Galois différentiels potentiels de ces équations. Plusieurs études de l'ordre 4 ont déjà eu lieu mais ne concernaient qu'un aspect particulier de la classification des groupes. Dans cette thèse, on donne les bornes optimales pour le degré du polynôme minimal des dérivées logarithmiques des solutions liouvilliennes de telles équations (travail commun avec D. Boucher et F. Ulmer) puis on présente une stratégie algorithmique de recherche du groupe de Galois différentiel d'une équation en connaissant ses semiinvariants de degré 2 et 4, obtenue après avoir en particulier complété les travaux précédents par les cas imprimitif-monomial de la classification des groupes. On trouve alors plus efficacement des semi-invariants produits de formes linéeaires. Dans le chapitre 4 de cette thèse, on s'intérresse aux chutes d'ordre de la puissance symétrique quatrième d'une équation. Plus précisément, on montre qu'une chute d'ordre de un implique l'existence d'au moins un semi-invariant de degré 4, ce qui permet d'obtenir des informations sur le groupe de l'équation. En cas de chute d'ordre de deux et plus, des conditions de finitude du groupe sont données par un théorème de M.F. Singer. Dans le chapitre 5, on traite deux exemples. Dans le premier, on applique la stratégie algorithmique décrite dans le chapitre 3 en vue de trouver le groupe de Galois diff érentiel d'une équation dont on calcule ensuite les solutions (à l'aide d'une méthode décrite par F. Ulmer). Le second est un exemple de résolution du problème inverse pour le groupe SO(4, C) à l'aide de la méthode décrite par C. Mitschi et M.F. Singer (équation qui n'admet donc pas de solutions liouvilliennes). On trouvera en annexe la liste explicite des semiinvariants de degré 2 et 4 des sous-groupes monomiaux de SL(4, C).

De nombreux problèmes appliqués peuvent être modélisés par le problème de la coloration des sommets d'un graphe, qui est NP-complet en général mais polynomial sur la classe des graphes parfaits introduite par Berge. L'algorithme de coloration des graphes parfaits, de Grötschel, Lovasz et Schrijver, n'est pas réellement efficace d'un point de vue pratique et il est toujours intéressant de trouver un algorithme ''purement'' combinatoire permettant de colorier les graphes parfaits en temps polynomial. Dans cette thèse, nous donnons plusieurs algorithmes simples et rapides permettant de colorier des sous-classes de graphes parfaits. Ces algorithmes utilisent en particulier la notion de contraction de paire d'amis, introduite par Fonlupt et Uhry, à propos de laquelle plusieurs conjectures sont encore ouvertes. Nous utilisons aussi des algorithmes de parcours comme LexBFS, de Rose, Tarjan et Lueker, pour prouver des résultats structuraux sur les graphes considérés.

Cette thèse présente des contributions aux problèmes d'analyse de stabilité et de synthèse de contrôleurs par retour d'état pour des systèmes dynamiques qui ont des éléments non-linéaires, à partir de conditions sous la forme d'inégalités matricielles linéaires et de fonctions de Lyapunov. Pour les systèmes à commutations soumis à saturation sur les actionneurs, sont fournies des conditions convexes pour le calcul des gains commutés et robustes. La saturation est modélisée comme une non-linéarité de secteur et une estimation du domaine de la stabilité est déterminée. Pour les systèmes linéaires avec des incertitudes polytopiques et des non-linéarités de secteurs, sont fournies des conditions convexes de dimension finie pour construire des fonctions de Lur'e avec dépendance polynomiale homogène en les paramètres. Si elles sont satisfaites, les conditions garantissent la stabilité pour tout le domaine d'incertitudes et pour toutes les non-linéarités dans le secteur, et permettent le calcul de contrôleurs stabilisants robustes par retour linéaire et non-linéaire. Pour les systèmes bilinéaires instables, continus et en temps discret, est fournie une procédure pour calculer un gain stabilisant de commande par retour d'état. La méthode est basée sur la solution alternée de deux problèmes d'optimisation convexe décrits par des inégalités matricielles linéaires, et caractérise une estimation du domaine de la stabilité. Des extensions pour traiter les contrôleurs robustes et linéaires variants avec des paramètres sont aussi présentées.

La recherche d'annulateurs du groupe des classes d'idéaux d'une extension abélienne de Q est un sujet classique et remonte à des travaux de Kummer et Stickelberger. La conjecture de Brumer-Stark porte sur les extensions abéliennes de corps de nombres et prédit qu'un élément de l'anneau de groupe du groupe de Galois, appelé élément de Brumer-Stickelberger, est un annulateur du groupe des classes de l'extension. De plus, elle stipule que les générateurs des idéaux principaux obtenus possèdent des propriétés bien particulières. Cette thèse est dédiée à la généralisation de cette conjecture aux extensions de corps de nombres galoisiennes mais non abéliennes. Dans un premier temps, nous nous focalisons sur l'étude de l'analogue non abélien de l'élément de Brumer, nécessaire à l'établissement d'une conjecture non abélienne. La seconde partie est consacrée à l'énoncé de la conjecture de Brumer-Stark non abélienne et à ses reformulations, ainsi qu'aux propriétés qu'elle vérifie. Nous nous intéressons notamment aux propriétés de changement d'extension. Nous étudions ensuite le cas spécifique des extensions dont le groupe de Galois possède un sous-groupe abélien H distingué d'indice premier. Sous la validité de la conjecture de Brumer-Stark associée à certaines extensions abéliennes, nous en déduisons deux résultats suivant la parité du cardinal de H : dans le cas impair, nous démontrons la conjecture de Brumer-Stark non abélienne, et dans le cas pair, nous établissons un résultat d'abélianité permettant d'obtenir, sous des hypothèses supplémentaires, la conjecture non abélienne. Enfin nous effectuons des vérifications numériques de la conjecture non abélienne permettant de démontrer cette conjecture dans les exemples testés.

La notion de T-radical d'un idéal permet à G.Cherlin de démontrer un Nullstellensatz dans les théories inductives d'anneaux. Nous proposons une analyse modèle-théorique de phénomènes connexes. En premier lieu, une réciproque de ce théorème nous conduit à une caractérisation des corps algébriquement clos, suggérant une version "positive" du travail de Cherlin, la théorie des idéaux T-radiciels. Ceux-ci se caractérisent par un théorème de représentation et sont associés à un théorème des zéros "positif". Ces résultats se généralisent à la logique du premier ordre : grâce à la notion de classe spéciale, nous développons ensuite une théorie logique des idéaux. On peut encore parler d'idéaux premiers et radiciels, relativement à une classe de structures. Dans ce cadre, le théorème de représentation est une propriété intrinsèque des classes spéciales et le théorème des zéros une propriété de préservation logique, que nous appelons "complétude géométrique" et qui entretient des rapports étroits avec la modèle-complétude positive. Les algèbres basées en groupes de P.Higgins permettent d'appliquer ces résultats aux théories modèle-complètes de corps avec opérateurs additionnels. Dans certains cas "noethériens", l'algèbre de coordonnées est un invariant algébrique des "variétés affines". Enfin, il est possible à partir d'un ensemble de formules E de généraliser les classes spéciales et autres classes de structures. Notre théorie des idéaux logiques est de plus un cas particulier du phénomène de localisation étudié par M.Coste ; dans certaines situations, un bon choix de formules permet d'identifier les types complets d'une "algèbre" à des types de localisation

Cette thèse est divisée en deux parties: (i) la première partie concerne une nouvelle déduction purement géométrique de la cinématique des structures minces, notamment la cinématique des modèles classiques de plaque et de coque; (ii) la deuxième partie est relative à la modélisation des inclusions de grande rigidité dans un solide tridimensionnel et à la modélisation des poutres stratifiées à l'aide de la méthode des développements asymptotiques. (i) La dérivation géométrique de la cinématique des plaques et des coques est construite à partir des équations de compatibilité de Saint-Venant et de la formule intégrale de Cesàro-Volterra. L'appellation "géométrique" est due au fait qu'aucun renseignement sur la loi constitutive du matériau, sur l'équilibre et sur les forces appliquées n'a été utilisé. On considère un domaine de type plaque (ou coque) simplement connexe et on applique un développement asymptotique formel aux équations de Saint-Venant et à la formule de Cesàro-Volterra. En caractérisant les termes principaux du développement, on retrouve les hypothèses cinématiques des modèles de plaque de Kirchhoff-Love (ou Kirchhoff-Love généralisé dans le cas des coques) et de Reissner-Mindlin (ou Naghdi dans le cas des coques). (ii) La deuxième partie concerne l'étude asymptotique des conditions de transmission entre une couche mince de type coque et le solide 3D qui l'entoure. On déduit les problèmes limites dans le cas où les modules élastiques de la couche intermédiaire sont de l'ordre 1/epsilon et 1/epsilon^3 par rapport aux modules du solide 3D. De plus, on étudie le comportement asymptotique de trois différentes poutres multicouches en changeant les ordres de grandeur entre les épaisseurs de chaque couche et leurs respectifs modules élastiques.

Cette thèse porte sur des propriétés de stabilité de problèmes d'arrêt dans le cas où l'on dispose d'une information approximative sur le modèle. La filtration engendrée par un processus représente l'information véhiculée par ce processus au cours du temps. Aussi, les propriétés des suites de filtrations associées à des suites de processus jouent un grand rôle dans ce travail. Un premier axe d'étude concerne la stabilité des notions de réduites et de temps d'arrêt optimaux. Une réduite est la valeur maximale de l'espérance d'une fonction dépendant d'un processus et d'un temps d'arrêt, maximum pris sur l'ensemble des temps d'arrêt pour la filtration engendrée par le processus. Un temps d'arrêt optimal est un temps d'arrêt réalisant le maximum. Le second axe concerne la stabilité de solutions d'équations différentielles stochastiques rétrogrades à horizon aléatoire fini presque sûrement quand le mouvement brownien dirigeant l'équation est approché soit par une suite de marches aléatoires, soit par une suite de martingales.

Mes recherches ont porté sur l'analyse des équations à double non linéarité, le transport neutronique et la mécanique des textiles, et plus récemment sur la méthode Level Set et ses applications au couplage fluide-structure, notamment dans le domaine biomécanique.

Nous exprimons le lien entre le support de certaines équations et celui des séries généralisées solutions. D'une part nous prouvons que toute série de puissances réelles solution d'une équation différentielle sous-analytique a ses exposants appartenant à un réseau (i.e. un sous-semi groupe additif finiment engendré des positifs). D'autre part nous considérons le corps Mr des séries à support bien ordonné inclus dans le produit de Hahn Hr de rang fini r (i.e. le produit lexicographique de r copies des réels). Nous munissons Mr d'une dérivation "de type Hardy" et définissons des ensembles bien ordonnés T1, ..., Tr tels que : pour toute équation F(y,...,y(n))=0 avec F dans Mr[[Y0,...,Yn]] et dont le support Supp F est un sous-ensemble bien ordonné de Hr, et pour toute solution y0 de Mr avec v(y0(i))> (0,...,0) pour i=0,...,n, alors les exposants de y0 appartiennent à un sous-ensemble bien ordonné positif de Hr obtenu à partir de Supp F, T1, ..., Tr par un nombre fini de transformations élémentaires.

Dans cette thèse, nous utilisons la théorie des espaces twistoriels afin de construire des structures complexes non standards (en un sens bien précis) sur des produits de 4-variétés réelles avec la sphère de dimension deux. Pour cela nous explicitons l'ensemble des surfaces complexes dont le fibré twistoriel est topologiquement trivial. Dans un deuxième temps nous déterminons parmi ces surfaces celles qui peuvent être munies d'une métrique riemannienne anti-autoduale. De ces résultats, nous déduisons une famille d'exemples simples de 4-variétés réelles parallélisables sans structure complexe. L'espace twistoriel associé à ces variétés admet une structure complexe. C'est notre première classe de 6-variétés munies d'une structure complexe non standard. Une deuxième classe d'exemple sera construite à partir de ces travaux. Enfin, et de façon indépendante, nous étudions brièvement les propriétés de connexités rationnelles des espaces twistoriels.