Ce travail a consisté en la présentation et la validation d'une nouvelle méthode ayant pour thème la simulation de la propagation d'ondes. Le problème analysé est celui de la diffraction d'ondes en régime harmonique par des obstacles tridimensionnels quelconques. Pour modéliser ces phénomènes, nous nous sommes intéressés aux équations intégrales. La méthodes proposée a pour objectif de les utiliser à hautes fréquences en réduisant la complexité du calcul et surtout en stockage mémoire. Son originalité réside en une approche en deux temps de la solution cherchée. Dans un premier temps, on utilise une discrétisation microlocale. Dans un second temps, on propose une transformation par ondelettes. L'approche microlocale, qui repose sur l'usage systèmatique d'une localisation en espace et en direction de propagation, conduit à inverser des matrices creuses mais très mal conditionnées. Pour surmonter cette difficulté, nous aovns considéré la seconde approche qui consiste à opérer un filtrage par ondelettes. Ces approximations se sont avérées particulièrement efficaces pour diminuer le remplissage et la taille des matrices issues de la résolutions d'équations intégrales.<br />Le développement et la mise au point d'un code ont été effectués au CERMICS-INRIA Sophia-Antipolis. La vérification de la validité de notre code s'appuie sur des calculs de surface équivalente radar. Des résultats numériques encourageants sont présentés pour des obstacles convexes et non-connexes.<br />La méthode est ensuite étendue aux opérateurs pseudo-différentiels et Fourier-intégraux. Ils interviennent dans le cas de milieux hétérogènes et anisotropes.

Ce document regroupe des travaux organisés autour de deux thèmes<br />de recherche.<br /><br />Le premier concerne la stabilisation-frontière de quelques systèmes<br />distribués, en présence de singularités. On s'intéresse principalement à l'équation des ondes et au système élastodynamique pour lesquels de nombreux auteurs ont obtenu des résultats de stabilisation en utilisant la méthode des multiplicateurs sous des conditions géométriques restrictives. Pour étendre ces résultats, on est amené à démontrer certaines propriétés de ``régularité cachée'' des solutions fortes, ce qui nécessite l'analyse des singularités d'un problème elliptique avec conditions aux limites mêlées. La connaissance de ces singularités permet de généraliser une relation de Rellich, cruciale dans l'obtentionédes estimations d'énergie conduisant aux résultats de stabilisation.<br /><br />Le second thème a pour objet l'étude des écoulements de Hele-Shaw à<br />source ponctuelle. Le modèle de Stokes-Leibenson fait apparaître<br />une équation elliptique dont le second membre est la distribution de Dirac au point-source. Ce problème est de plus intrinsèquement non linéaire du fait que le domaine lui-même évolue d'une manière inconnue. On utilise la méthode de Helmholtz-Kirchhoff pour reformuler le problème. Ceci permet de démontrer un résultat d'existence et d'unicité locales d'une solution classique. On construit ensuite un modèle numérique, dit ``modèle quasi-contour'', destiné à étudier certaines propriétés qualitatives de ces écoulements.

L'objet de cette thèse est l'étude de deux équations des ondes semi-linéaires présentant une non-linéarité de type cubique : <br /><br />(NLCR) \Box u =2\, u^3,<br /><br />et<br /><br />(NLCC)\Box u +\alpha \,\frac(\pa u)(\pa z)=2\, u|u|^2+\beta \,u,<br /><br />où $\alpha\in i\,\R$ et $\beta \in \R$.<br /> <br />On prouve d'abord, en s'appuyant sur les techniques de réduction Fuchsienne développées par S.~Kichenassamy et al., l'existence, pour plusieurs classes d'hypersurfaces de genre espace de $\R\times \R^n$ assez régulières, de solutions explosant exactement sur la surface considérée. Par ailleurs, l'aspect constructif des méthodes nous offre de nombreuses informations sur la forme de ces solutions au voisinage de leur surface d'explosion.<br /><br />La suite est consacrée à diverses applications des connaissances acquises : on exploite notamment celles concernant le comportement des solutions près de leur lieu d'explosion, pour répondre partiellement à trois questions:<br /> i) Comment se comporte, près de la surface d'explosion, une intégrale particulière construite sur le modèle de l'``intégrale d'énergie'' canoniquement associée avec l'équation (NLCR) ?<br /> ii) Dans quels espaces de type $L^p$, les solutions de l'équation (NLCR) --éventuellement un peu perturbée-- peuvent-elles exploser ou pas?<br /> iii) Dans quelle mesure peut-on mettre en oeuvre une étude numérique complète de l'équation (NLCR), prenant en compte les difficultés inhérentes à l'explosion ?

Les matériaux ferromagnétiques jouent un rôle primordial dans les applications industrielles. Dans le cadre du modèle micromagnétique de Brown (1940), nous étudions l'influence d'un espaceur mince non magnétique sur le comportement d'un corps ferromagnétique. l'évolution dynamique est modélisée par l'équation de Landau-Lifchitz. Nous tenons compte des phénomènes de surface sur l'espaceur : le super-échange et l'anisotropie surfacique. Après avoir étudié le problème d'existence de cette équation en présence des termes de surfaces, nous établissons rigoureusement une condition équivalente de bord qui simule l'épaisseur de l'espaceur sur un domaine avec un espaceur sans épaisseur. Nous calculons lors les états d'équilibres et la susceptibilité hyperfréquence pour certaines configurations magnétiques. Dans une deuxième phase, nous homogénéisons l'équation de Landau-Lifchitz en domaine perforé et pour des agencements multicouches.

Cette thèse présente une méthode performante pour le calcul des capacités parasites dues aux interconnexions des circuits intégrés. Il s'agit de calculer la charge des conducteurs, comme la dérivée normale à la surface de ces conducteurs, du potentiel solution de l'équation de Laplace sur des couches horizontales, la valeur du potentiel étant fixée constante sur chaque conducteur. La difficulté de la résolution numérique provient de la complexité des structures : sur une portion de circuit d'une surface d'un centimètre carré et d'une hauteur de quelques microns, il peut y avoir plus d'un kilomètre d'interconnexions, c'est-à-dire de fils conducteurs enchevêtrés. Une méthode de domaines fictifs avec multiplicateurs de Lagrange surfaciques est utilisée. Elle donne une formulation mixte du problème, couplant le potentiel sur un domaine parallélépipédique contenant le circuit, et la charge à la surface des conducteurs. Nous en proposons une approximation, qui tient compte du saut du gradient du potentiel à travers la surface des conducteurs dans la discrétisation du potentiel, tout en menant à un système que l'on peut résoudre par une méthode rapide. Cette approximation garantit une bonne convergence du calcul de la charge vers la valeur réelle, sans condition de compatibilité contraignante entre les maillages de volume et de surface. Une implémentation efficace en dimension 3, avec laquelle nous avons effectué des tests numériques sur des structures réelles, permet de montrer l'intérêt de la méthode, en temps de calcul et en place mémoire.

L'objectif de ce travail est d'établir l'existence et l'unicité de la solution pour une équation elliptique non linéaire dégénérée, posée dans un domaine non borné. Dans un premier temps, on mène notre étude dans un domaine borné et ceci en tronquant le domaine infini. Dans la première partie, on introduit le problème variationnel associé qui se traduit en terme d'une fonctionnelle non coercive à minimiser. Ainsi, on associe au problème de minimisation un problème dual puis on montre pour ce dernier l'existence et l'unicité de la solution. Ensuite on prouve par l'extraction d'une sous-suite minimisante l'existence d'une "solution" liée à celle du problème dual. Dans la deuxième partie, on définit un problème relaxé ayant le même infimum que le problème initial. Ensuite on établit que cet infimum est un minimum pour le problème relaxé. Les résultats de la première partie sont ensuite étendus au cas non borné. Enfin, on donne quelques critères pour estimer l'erreur de troncature entre les solutions du problème dual définies dans le cas borné et non borné.

Cette thèse traite de la résolution numérique des équations de Fredholm de seconde espèce faiblement singulières, posées dans un espace de Banach. Les méthodes décrites ici sont appliquées plus particulièrement dans le cas de l'espace des fonctions continues sur un intervalle compact et dans le cas de l'espace des fonctions intégrables, au sens de Lebesgue, sur un intervalle compact. Le premier chapitre fixe brièvement le cadre théorique de cette étude. Différents types de convergence d'une suite d'opérateurs dans un espace de Banach complexe, ainsi que leurs propriétés, y sont notamment rappelés. Le deuxième chapitre est consacré à la description et à l'analyse de deux méthodes d'approximation de rang fini sur lesquelles sont appliqués trois schémas de raffinement itératif. Des majorations des erreurs relatives associées à chaque méthode et dans chacun des espaces fonctionnels considérés y sont déduites, ainsi que les taux de convergence des schémas de raffinement correspondants. Une description détaillée de la mise en \oe uvre de ces derniers est donnée. Le troisième chapitre traite de l'application de ces méthodes à la résolution numérique de l'équation de transfert. Cette équation intervient au sein d'un problème beaucoup plus vaste (émanant de la théorie du transfert) dont une brève description est donnée dans le cadre particulier des atmosphères stellaires. Des expériences numériques, portant sur la validation des méthodes proposées et sur des cas ayant un sens astrophysique, sont présentées. La fin de ce chapitre est consacrée à la description de méthodes asymptotiques de décomposition du domaine permettant de surmonter la difficulté de résoudre cette équation lorsque le paramètre d'intégration varie dans un intervalle très large, ce qui est le cas dans certaines applications astrophysiques.

Dans cette thèse nous nous intéressons à des inégalités fonctionnelles comme les inégalités de Poincaré, Sobolev logarithmique, Sobolev, et celles appelées inégalités de transport. Dans un premier temps, nous étudions les inégalités de Poincaré et de Sobolev logarithmique pour des modèles de mécanique statistique. Cette étude nous permet de donner une nouvelle classe de phases telle que les mesures de Gibbs associées satisfassent à ces deux inégalités. Nous étudions dans un second temps, les inégalités de Sobolev logarithmique et de Sobolev par le biais des équations de Hamilton-Jacobi. Nous montrons, de la même façon que Gross en 1975 pour les semi-groupes de diffusion, l'équivalence entre l'inégalité de Sobolev logarithmique et l'hypercontractivité des solutions des équations de Hamilton-Jacobi. Cette équivalence permet de montrer, par une nouvelle méthode que celle utilisée par Otto et Villani, que l'inégalité de Sobolev logarithmique implique une inégalité de transport quadratique. De la même manière que Varopoulos en 1985 pour les semi-groupes de diffusion, nous donnons le lien entre l'inégalité de Sobolev et l'ultracontractivité des solutions des équations de Hamilton-Jacobi. Pour finir nous étudions les inégalités de transport dans un cadre général. Cette étude permet d'une part de donner le lien entre des inégalités de Sobolev logarithmiques modifiées et des inégalités de transport particulières et d'autre part de donner un exemple d'inégalité de transport quadratique pour une mesure en dimension infinie, la mesure de Wiener.

L'étude porte sur la recherche systématique de solutions analytiques et numériques de l'équation de l'infiltration monodimensionnelle de l'eau dans le sol. Dans une premièere partie les différents approches quasianalytiques sont analysées. La solution en série PHILIP, retenue dans cette étude est améliorée et complétée. Elles est ensuite utilisée comme base de référence pour tester les solutions numériques. Dans une seconde partie, un grand nombre de modèles numériques sont comparés afin d'essayer de dégager un ou plusieurs schémas présentant un optimum vis à vis des critères de convergence , précision et coût économique.

On présente quelques résultats de contrôlabilité et de contrôlabilité lagrangienne sur des équations aux dérivées partielles.