Une variété algébrique est dite unirationnelle si elle est dominée par un espace projectif ; elle est dite séparablement unirationnelle si on peut prendre le morphisme précédent séparable. Cette dernière propriété n'a d'intérêt qu'en caractéristique positive. En reprenant la démonstration de Paranjape et Srinivas de l'unirationalité des hypersurfaces de degré très petit devant la dimension, nous remarquons qu'elle montre en fait l'unirationalité séparable. Nous nous intéressons aussi à la séparabilité des morphismes fournis par différentes constructions classiques de l'unirationalité des hypersurfaces cubiques.<br /><br />Dans la troisième partie, nous étudions la connexité rationnelle séparable : une variété projective lisse X sur un corps algébriquement clos est dite séparablement rationnellement connexe s'il existe une courbe rationnelle très libre (c'est-à-dire à fibré normal ample) sur X. Nous testons sur les hypersurfaces de Fermat de dimension N-1 et de degré q+1, où q est une puissance de la caractéristique du corps de base, la conjecture que toutes les hypersurfaces lisses de dimension N-1 et de degré plus petit que N sont séparablement rationnellement connexes. Nous montrons que pour N plus grand que 2q-1, l'hypersurface de Fermat de degré q+1 contient une courbe rationnelle très libre définie sur le sous-corps premier ; elle est donc séparablement rationnellement connexe.

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles

Partant d'une cône-variété hyperbolique compacte de dimension n>2, on étudie les déformations de la métrique dans le but d'obtenir des cônes-variétés Einstein. Dans le cas où le lieu singulier est une sous-variété fermée de codimension 2 et que tous les angles coniques sont plus petits que 2pi, on montre qu'il n'existe pas de déformations Einstein infinitésimales non triviales préservant les angles coniques. Ce résultat peut s'interpréter comme une généralisation en dimension supérieure du célèbre théorème de Hodgson et Kerckhoff sur les déformations des cônes-variétés hyperboliques de dimension 3.<br />Si tous les angles coniques sont inférieurs à pi, on donne ensuite une construction qui à chaque variation donnée des angles associe une déformation Einstein infinitésimale correspondante.

Ce travail porte principalement sur l'analyse mathématique de modèles multi-échelles pour la simulation de fluides polymériques. Ces modèles couplent, au niveau microscopique, une description moléculaire de l'évolution des chaînes de polymère (sous forme d'une équation différentielle stochastique) avec, au niveau macroscopique, les équations de conservation de la masse et de la quantité de mouvement pour le solvant (sous forme d'équations aux dérivées partielles). Le chapitre 1 introduit les modèles et donne les principaux résultats obtenus. Dans les chapitres 2, 4, 5 et 7 on montre en quel sens les équations sont bien posées pour divers modèles de polymère, en considérant soit des écoulements homogènes, soit des écoulements cisaillés plans. Dans les chapitres 2, 3, 6 et 7, on analyse et on prouve la convergence de méthodes numériques pour ces modèles. Enfin, le chapitre 8 concerne le comportement en temps long du système. Une deuxième partie de ce document est constituée de trois chapitres portant sur un travail en magnétohydrodynamique (MHD), en collaboration avec l'industrie. Le chapitre 9 est une introduction à la problématique ainsi qu'aux méthodes numériques utilisées. Le chapitre 10 décrit un nouveau cas-test en MHD. Enfin, le chapitre 11 donne une analyse de la stabilité du schéma numérique utilisé.

Dans ce travail nous nous sommes intéressés à des problèmes de modélisation et d'assimilation de données en océanographie, tant d'un point de vue théorique que numérique. L'étude de l'océan est cruciale pour de nombreuses raisons (changement climatique, météorologie, navigation commerciale et militaire, etc.). Dans une première partie nous étudions les équations primitives linéaires tridimensionnelles de l'océan, et nous donnons des résultats nouveaux de régularité en calculant explicitement le terme de pression. Dans une deuxième partie nous étudions l'assimilation variationnelle de données lagrangiennes dans un modèle d'océan. L'assimilation de données est l'ensemble des méthodes qui permettent de combiner de façon optimale, en vue d'effectuer des prévisions, deux sortes d'informations disponibles sur un système physique : les observations d'une part et les équations du modèle d'autre part. Nous utilisons une méthode variationnelle pour assimiler des données lagrangiennes, à savoir les positions de flotteurs dérivant dans l'océan. Nous commençons par établir de nouvelles estimations a priori pour les équations primitives afin d'étudier le problème théorique de contrôle optimal associé. Puis nous décrivons l'implémentation de la méthode variationnelle dans un modèle réaliste d'océan aux équations primitives. Enfin nous effectuons de nombreuses expériences numériques et notamment plusieurs études de sensibilité, qui montrent que l'assimilation de données lagrangiennes est techniquement réalisable et pertinente d'un point de vue océanographique.

Dans cette thèse nous nous intéressons à l'analyse d'erreur a priori et a posteriori de méthodes d'éléments finis mixtes et non-conformes. Nous considérons en particulier les équations de Darcy à perméabilité fortement variable et les équations de convection-diffusion-réaction en régime de convection dominante. Nous discrétisons les équations de Darcy par une méthode d'éléments finis mixtes non-conformes de type Petrov-Galerkin appelée schéma boîte. Les techniques d'estimations d'erreur a posteriori par résidu et hiérarchique conduisent à des estimateurs d'erreur a posteriori fiables et optimaux indépendamment des fluctuations de la perméabilité. Les résultats théoriques sont validés numériquement sur différents cas tests présentant de forts contrastes de perméabilité. Enfin, nous montrons comment les indicateurs d'erreur obtenus permettent de générer des maillages adaptatifs. Nous discrétisons les équations de convection-diffusion-réaction par des éléments finis nonconformes. Deux méthodes de stabilisation sont étudiées: la stabilisation par viscosité de sous-maille, conduisant à un schéma boîte et la méthode de pénalisation sur les faces. Nous montrons que les deux schémas ainsi obtenus ont les mêmes propriétés de convergence que les approximations par éléments finis conformes. Grâce aux techniques d'estimations d'erreur par résidu nous obtenons des estimateurs d'erreur a posteriori fiables et optimaux. Certains des indicateurs d'erreur sont robustes au sens de Verfürth, c'est à dire que le rapport des constantes intervenant dans les inégalités de fiabilité et d'optimalité explose en au plus l'inverse du nombre de Péclet. Les résultats théoriques sont validés numériquement et les indicateurs d'erreur a posteriori obtenus permettent de générer des maillages adaptatifs sur des problèmes présentant des couches intérieures.

Ce mémoire décrit mes travaux de recherche sur l'analyse mathématique et numérique de problèmes de propagation d'ondes. Le premier chapitre est consacré à des méthodes numériques pour la propagation ou la diffraction d'ondes élastiques dans des solides : (i) potentiels retardés dans des milieux élastiques homogènes isotropes, (ii) méthodes d'imagerie sismique par tomographie, (iii) équations paraxiales, (iv) éléments finis mixtes pour l'élasto-dynamique. Ce dernier point, (iv), le plus détaillé ici, s'inscrit dans une stratégie générale pour obtenir une méthode numérique performante pouvant traiter des milieux complexes (anisotropes, hétérogènes) avec des obstacles de géométrie quelconque. Il a été développé dans l'optique d'utiliser la méthode des domaines fictifs qui fait l'objet du deuxième chapitre. Après une description de cette méthode sur un problème modèle scalaire, elle est présentée tout d'abord pour un problème de diffraction d'ondes élastiques par une fissure modélisée soit par une condition de surface libre soit par une condition de contact unilatéral, puis pour un problème d'acoustique musicale (modélisation de la guitare). Le troisième chapitre traite de questions de conditions aux limites artificielles utilisées pour borner le domaine de calcul. Des méthodes de couches absorbantes parfaitement adaptées (PML) sont analysées pour des problèmes transitoires (électromagnétisme, acoustique, élasto-dynamique, système hyperbolique général du premier ordre) puis pour un problème d'acoustique en écoulement en régime harmonique. Le mémoire se termine par un point sur les travaux en cours et des perspectives ouvertes par ces travaux.

Ce mémoire est centré autour de l'analyse numérique de schémas volumes finis pour un modèle simplifié d'écoulement de deux fluides incompressibles en milieu poreux. Ces phénomènes sont souvent qualifiés de phénomènes de convection diffusion à convection dominante (``convection dominated problems'' en anglais). La première partie du mémoire est consacrée à l'approximation numérique d'équations paraboliques hyperboliques faiblement ou fortement dégénérées. Les trois premiers chapitres sont consacrés à l'étude de la convergence de schémas volumes finis. Le dernier chapitre est consacré à l'analyse des résultats numériques obtenus. La seconde partie est consacrée à l'analyse numérique d'un modèle simplifié d'écoulement diphasique en milieu poreux par deux schémas différents. Le premier schéma dit ``des mathématiciens'' est basé sur la réécriture du système étudié sous la forme d'une équation parabolique hyperbolique sur la saturation et d'une équation elliptique sur la pression, ces deux équations étant couplées par le coefficient de diffusion. Le second schéma dit schéma ``des pétroliers'' est une méthode numérique utilisée en pratique dans l'industrie pétrolière. Les deux schémas sont analysés séparément et ils sont ensuite comparés numériquement.

On étudie dans cette thèse des probèlmes de stabilisation en théorie du controle pour trois types de systèmes différents. Tout d'abord, on introduit, pour les systèmes non linéaires de dimension finie perturbés par des erreurs, une classe de controles dits hybrides, car dépendant d'un état mixte discret-continu. Etant donné un système dont l'équilibre est asymptotiquement controlable, on montre qu'il existe un controle tel que l'équilibre du système bouclé soit globalement asymptotiquement stable avec une robustesse par rapport aux petits bruits. On explicite pour les systèmes chainés un tel controle robuste avec une seule dynamique discrète. On donne également un controle hybride et un controle par retour d'état continu et périodique en temps qui recollent robustement deux controles données tout en conservant une propriéetée de stabilitée asymptotique. Ensuite, on étudie le problème de stabilisation d'un bac de fluide par le controle du déplacement longitudinal. C'est un problème de théorie du controle en dimension infinie car on modélise le problème en utilisant les équations de Saint-Venant qui sont des équations aux dérivées partielles hyperboliques. On utilise une approche Lyapunov pour proposer des feedbacks qui, numériquement, stabilisent localement et asymptotiquement l'origine du système bouclé. Enfin, on étudie le problème de stabilisation de l'origine d'un système linéaire en dimension finie lorsqu'on a une incertitude sur les donnes du système. On applique les méthodes de résolutions numériques des inégalités linéaires matricielles avec incertitudes à un problème industriel.

Nous nous intéressons dans cette thèse à l'étude de systèmes couplés fluide-structure. Ces systèmes peuvent modéliser l'écoulement du sang dans un vaisseau large. La vitesse et la pression du sang sont alors décrites par les équations de Navier-Stokes incompressibles et le déplacement de la partie mobile de la frontière vérifie une équation des poutres/ plaques (selon la dimension du modèle). Dans la première partie, nous montrons l'existence de solutions fortes à deux systèmes (correspondant à un paramètre nul ou non) en deux ou trois dimensions. Plus précisément, nous prouvons l'alternative suivante. Nous avons soit l'existence globale pour des conditions initiales petites, soit l'existence locale pour des conditions initiales quelconques. Dans une seconde partie, nous étudions d'une part la contrôlabilité à zéro d'un système couplant les équations de Navier-Stokes à une équation différentielle ordinaire pour des conditions initiales petites en deux dimensions. D'autre part, nous montrons la stabilisation (pour tout taux de décroissance) d'un système couplant les équations de Navier-Stokes et deux équations des plaques par deux contrôles dans le cadre périodique pour des conditions initiales petites. Dans ce cas, les contrôles sont de dimension finie.