Cette thèse est divisée en deux parties. La première partie introduit une méthode probabiliste numérique pour les EDPs parabolique et complètement non-linéaire, puis on considère ses propriétés asymptotiques (convergence et taux de convergence) et aussi l'analyse de l'erreur due à l'approximation de l'espérance conditionnelle par une méthode de type Monte Carlo. Les EDPs complètement non- linaires apparaissent dans plusieurs applications en ingénierie, économie et finance. Citons par exemple le problème de propagation de front par courbure moyenne, ou le problème de sélection de portefeuille. Une classe importante d'EDP complètement non-linéaire est constituée par les équations de HJB découlant du contrôle optimal stochastique. Dans la plupart des cas, il n'existe pas de solution dans le sens classique. Par conséquent, la notion de solution de viscosité est utilisé pour les EDP complètement non-linéaires. En raison de manque de de solution explicite dans de nombreuses applications, les schémas d'approximation sont devenus très importants. Pour montrer la convergence, la méthode utilisée dans cette thèse a été introduite par Barles et Souganidis. Leurs travaux fournissent le résultat de convergence vers des solutions de viscosité pour une solution approchée obtenue à partir cohérente, monotone et stable régime. An d'obtenir le taux de convergence, nous avons supposé que le EDP a non-linéarité concave de type HJB. En d'autres termes, la non-linéarité est une borne inférieure des opérateurs linéaires. La thèse a utilisé la méthode de Krylov des coefficients secoué et d'approximation par un système d'équations HJB couplées pour obtenir des bornes sur les taux de convergence. La mise en œuvre du schéma requiert d'introduire une approximation des espérances conditionnelles. Pour une classe d'estimateurs, nous avons obtenu une borne inférieure sur le nombre de chemins échantillon qui préserve la vitesse de convergence obtenue avant. La généralisation de la méthode à des équations intégro-diférentielles est simple et on peut utiliser les mÃa mes arguments que dans le cas local pour obtenir la convergence et le taux de convergence. Notons cependant que le cas non local introduit la difficulté supplémentaire d'approximation des termes non locaux. La première partie sera terminée est illustrée par quelques expériences numériques. La méthode est utilisée pour résoudre le problème géométrique des taux de courbure moyenne, le problème de la sélection sur un portefeuille d'actifs avec volatilité stochastique dans le modèle de Heston, et le problème de sélection de portefeuille de deux actifs à la fois avec une volatilité stochastique, on satisfait modèle de Heston et l'autre CEV modèle. La deuxième partie de la thèse traite de la politique de production optimale dans le marché des allocations des permis d'émission de carbone. Le marché des permis d'émissions de carbone est une approche de marché pour mettre en œuvre le protocole de Kyoto. Nous avons calculé la production optimale dans 4 cas: quand il n'y a pas un tel marché, quand il y a un tel marché, mais sans grand producteur de carbone, quand il y a un gros producteur qui n'est pas teneur de marché, et quand il existe un marché avec un grande producteur. Nous avons montré que dans les premiers, la production optimale est toujours diminuée. Cependant, dans le dernier cas, nous avons montré que le gros producteur peut bénéficier du marché en changeant la prime de risque de l'allocation de carbone en raison de sa production d'appoint. Cette partie est illustrée par quelques expériences numériques qui montre des cas que le grand producteur peut bénéficier d'une production d'appoint.

Let M=P(E) be a ruled surface. We introduce metrics of finite volume on M whose singularities are parametrized by a parabolic structure over E. Then, we generalise results of Burns--de Bartolomeis and LeBrun, by showing that the existence of a singular Kahler metric of finite volume and constant non positive scalar curvature on M is equivalent to the parabolic polystability of E; moreover these metrics all come from finite volume quotients of $H^2 \times CP^1$. In order to prove the theorem, we must produce a solution of Seiberg-Witten equations for a singular metric g. We use orbifold compactifications $\overline M$ on which we approximate g by a sequence of smooth metrics; the desired solution for g is obtained as the limit of a sequence of Seiberg-Witten solutions for these smooth metrics.

Diss.--Mathematik--Berlin--Humboldt-Universität, 1999. / Bibliogr. p. 211-214.

Dans une première partie, nous considérons des problèmes de Cauchy pour des équations et systèmes hyperboliques du premier ordre. Nous donnons une représentation de l'opérateur solution comme produit infini d'opérateurs intégraux de Fourier à phase complexe. Nous démontrons la convergence de cette représentation dans les espaces de Sobolev, ainsi que celle du front d'onde. Pour les systèmes, nous traitons les cas symétriques et symétrisables. La représentation proposée conduit naturellement à des schémas numériques pour la résolution des problèmes de Cauchy. Nous présentons des applications de cette méthode dans le domaine de l'imagerie sismique. Dans ce cadre, grâce à des approximations microlocales nous obtenons des schémas efficaces. D'autres applications de l'analyse microlocale à la sismologie sont présentées.<br />Dans une seconde partie, nous étudions la contrôlabilité aux trajectoires pour des équations paraboliques linéaires et semi-linéaires. Nous nous intéressons plus particulièrement au cas d'opérateurs sous forme divergentielle où le coefficient de la partie principale est non continu. Nous prouvons tout d'abord une inégalité de Carleman, en dimension un d'espace, pour un coefficient $C^1$ par morceaux. Par un passage à la limite dans l'inégalité de Carleman, ce résultat est étendu au cas d'un coefficient $BV$. Avec ces résultats, nous prouvons la contrôlabilité de ces équations paraboliques en dimension un d'espace sans faire d'hypothèse de compatibilité entre la région de contrôle et les signes des sauts du coefficient discontinu. De plus, nous exhibons un cas en dimension supérieure pour lequel la même conclusion est obtenue. Finalement, nous utilisons une inégalité de Carleman afin d'identifier le coefficient discontinu à partir de mesures faites sur la solution.

Ce travail présente quelques contributions à la modélisation<br />et à la simulation de genèse de bassins sédimentaires.<br />Nous présentons tout d'abord les modèles mathématiques et <br />les schémas numériques mis en oeuvre à l'Institut Français<br />du Pétrole dans le cadre du projet Temis. Cette première partie <br />est illustrée à l'aide de tests numériques portant sur des bassins 1D/2D.<br />Nous étudions ensuite le schéma amont des pétroliers utilisé pour la résolution des équations de Darcy et nous établissons des résultats mathématiques nouveaux<br />dans le cas d'un écoulement de type Dead-Oil.<br />Nous montrons également comment construire un schéma à nombre<br />de Péclet variable en présence de pression capillaire. <br />Là encore, nous effectuons une étude mathématique<br />détaillée et nous montrons la convergence du schéma<br />dans un cas simplifié. Des tests numériques réalisés<br />sur un problème modèle montrent que l'utilisation d'un nombre<br />de Péclet variable améliore la précision des calculs.<br />Enfin nous considérons dans une dernière partie <br />un modèle d'écoulement où les changements de lithologie et <br />les changements de courbes de pression capillaire sont liés.<br />Nous précisons la condition physique que doivent vérifier<br />les solutions en saturation aux interfaces de changement de roche et<br />nous en déduisons une formulation faible originale.<br />L'existence d'une solution à ce problème est obtenue<br />par convergence d'un schéma volumes finis.<br />Des exemples numériques montrent l'influence de la condition<br />d'interface sur le passage ou la retenue des hydrocarbures.

Nous nous intéressons à l'analyse mathématique et aux simulations numériques d'un modèle de fluides non newtoniens. Nous couplons le modèle d'Hébraud et Lequeux décrivant l'écoulement de Couette, plan de suspensions concentrés à l'échelle mésoscopique avec l'équation de conservation de la quantité de mouvement. Outre le couplage multi-échelle, la difficulté principale de ce modèle vient du fait que l'équation mésoscopique est une équation parabolique de type Fokker-Planck non linéaire qui peut dégénérer en une équation hyperbolique. Le but de cette thèse est d'étudier des deux points de vue théorique et numérique le modèle obtenu. Ainsi, dans la première partie, nous démontrons les théorèmes d'existence et d'unicité de solutions dans des espaces fonctionnels appropriés, et dans la seconde partie, nous développons des schémas numériques pour approcher les solutions du problème. Deux méthodes (déterministe et stochastique) ont été implémentées. Des tests de réduction de variance relatifs à la méthode stochastique ont été réalisés. Finalement, le problème de calibrage des paramètres par la méthode de l'adjoint a été abordé.

L'objet de cette thèse est d'étudier les systèmes linéaires sur le champ algébrique des fibrés quasi-paraboliques sur une courbe algébrique. Dans la première partie nous montrons que la puissance $\ell$-ième du fibré déterminant sur l'espace de modules des fibrés paraboliques semi-stables (au sens de Seshadri) est un système linéaire sans points de base, dès que $\ell$ est supérieur ou égal à un entier $\ell_0$, que nous déterminons et qui ne dépend que du rang des fibrés vectoriels sous-jacents. Ce résultat repose sur l'existence d'un analogue (quasi-)parabolique du schéma des quotients de Grothendieck. Dans la seconde partie nous étudions le lieu de base des systèmes linéaires sur le champ algébrique des fibrés quasi-paraboliques. Le théorème obtenu dans la première partie sur le fibré déterminant parabolique nous permet d'identifier ce lieu de base et le sous-champ fermé des fibrés quasi-paraboliques instables, pour un choix de poids déterminé par le système linéaire.

Un point d'aplatissement d'une courbe (réelle $C^\infty$ ou complexe holomorphe) de l'espace projectif (réel ou complexe) de dimension $n$ est un point de la courbe pour lequel l'hyperplan osculateur à un contact plus élevé qu'en un point ordinaire. Pour $n=2$, les points d'aplatissement sont communément appelés les points d'inflexions.\\ Dans la première partie de la thèse étudie les familles de courbes par rapport aux points d'aplatissement.\\ On introduit une notion de forme normale par rapport aux aplatissements des fibres d'une application $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$,\\ Ensuite, on commence la classification des germes d'applications (réels $C^\infty$ ou complexes holomorphes) $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$, par rapport aux points d'aplatissement des fibres de l'application. On introduit la notion de déformation verselle par rapport aux aplatissements, et on calcule ces déformations pour les fonctions de Morse de deux variables. Enfin, on définit ``les invariants fondamentaux de topologie projective'' d'un germe $f:(\KM^n,0) \to (\KM^{n-1},0)$ et on calcule ces invariants pour les éléments de la classification.\\ Dans une deuxième partie, on tente d'inclure la théorie des aplatissements des courbes en développant la théorie de propagation des fronts d'onde. par le biais d'un théorème de déformations verselles pour les applications legendriennes. On généralise des résultats de Kazarian sur les courbes spatiales au cas variétés de dimension quelconque. Notamment, on démontre un théorème sur la bifurcation des courbes paraboliques de certaines familles de surfaces dans l'espace projectif.

Dans cette thèse, nous étudions deux problèmes différentiels dépendant d'un paramètre ε et étu- dions l'asymptotique des solutions lorsque ce paramètre tend vers 0. Le premier problème est lié à l'équation de Helmholtz haute-fréquence. On construit un potentiel non captif ne satisfaisant pas l'hypothèse de refocalisation des rayons introduite par F. Castella. On montre que l'ensemble des tra jectoires hamiltoniennes (associées au potentiel construit) issues de l'origine et qui reviennent en 0 forme une sous-variété de dimension d − 1, où d est la dimension de l'espace. On montre alors que la solution de l'équation de Helmholtz converge vers une perturbation de la solution de Helmholtz avec condition de radiation à l'infini et coefficients figés en 0. Dans un second temps, nous étudions une équation de Navier-Stokes forcée par une source po- larisée fortement oscillante. On exhibe une famille de solutions exactes. On étudie alors la stabilité de cette famille lorsqu'on la perturbe à l'instant initial. On construit une solution approchée du pro- blème à l'aide d'une couche limite à l'instant initial (t=0). Ce développement montre en particulier que des interactions d'ondes, se propageant à des échelles différentes, peuvent se traduire au niveau macroscopique par une augmentation de la viscosité. Enfin, on justifie la convergence de la solution approchée vers la solution exacte à l'aide de méthodes d'énergie.

La thèse est composée de deux parties indépendantes.<br />Dans la première partie, on étudie le comportement asymptotique de problèmes elliptiques et paraboliques à données $L^1+W^{-1,p'}$ (respectivement $L^1+L^p(0,T;W^{-1,p'})$ dans le cas parabolique), dans des domaines devenant infiniment grands. En utilisant le cadre des solutions renormalisées et les résultats de régularité des solutions pour de telles données, on prouve, sous certaines hypothèses structurelles sur les variables d'espace, des résultats de convergence dans les espaces de régularité des solutions.<br />Dans la seconde partie, dans le cas de la dimension $2$, on étudie des systèmes de type Boussinesq. Ces systèmes dérivent de modèles de mécanique des fluides et consistent en un couplage des équations de Navier-Stokes incompressibles et de l'équation de la chaleur. On s'intéresse essentiellement aux questions d'unicité de la solution, particulièrement délicate à prouver du fait du couplage très non linéaire entre les équations. On travaille dans le cadre des solutions faibles pour les équations de Navier-Stokes et dans le cadre des solutions renormalisées pour des problèmes paraboliques pour l'équation de la chaleur. On établit tout d'abord des résultats de régularité pour ces équations puis on montre plusieurs résultats d'existence et d'unicité de la solution du système pour de petites données.