Recent advances in manufacturing of multifunctional materials have provided opportunities to develop structures that possess superior mechanical properties with other concurrent capabilities such as sensing, self-healing, electromagnetic and heat functionality. The idea is to fabricate components that can integrate multiple capabilities in order to develop lighter and more efficient structures. In this regard, due to their combined structural and electrical functionalities, electrically conductive carbon fiber reinforced polymer (CFRP) matrix composites have been used in a wide variety of applications in most of which they are exposed to unwanted impact-like mechanical loads. Experimental data have suggested that the application of an electromagnetic field at the moment of the impact can significantly reduce the damage in CFRP composites. However, the observations still need to be investigated carefully for practical applications. Furthermore, as the nature of the interactions between the electro-magneto-thermo-mechanical fields is very complicated, no analytical solutions can be found in the literature for the problem. In the present thesis, the effects of coupling between the electromagnetic and mechanical fields in electrically conductive anisotropic composite plates are studied. In particular, carbon fiber polymer matrix (CFRP) composites subjected to an impact-like mechanical load, pulsed electric current, and immersed in the magnetic field of constant magnitude are considered. The analysis is based on simultaneous solving of the system of nonlinear partial differential equations, including equations of motion and Maxwell's equations. Physics-based hypotheses for electro-magneto-mechanical coupling in transversely isotropic composite plates and dimension reduction solution procedures for the nonlinear system of the governing equations have been used to reduce the three-dimensional system to a two-dimensional (2D) form. A numerical solution procedure for the resulting 2D nonlinear mixed system of hyperbolic and parabolic partial differential equations has been developed, which consists of a sequential application of time and spatial integrations and quasilinearization. Extensive computational analysis of the response of the CFRP composite plates subjected to concurrent applications of different electromagnetic and mechanical loads has been conducted. The results of this work verify the results of the previous experimental studies on the subject and yield some suggestions for the characteristics of the electromagnetic load to create an optimum impact response of the composite.

Ce mémoire présente plusieurs contributions quant à l'analyse mathématique de l'équation de Gross-Pitaevskii et du modèle de Bogoliubov-Dirac-Fock. Au sujet de l'équation de Gross-Pitaevskii, l'analyse commence par la construction variationnelle des ondes progressives minimisantes. La preuve de la stabilité orbitale du soliton noir en dimension un, et la description de la limite transsonique des ondes progressives minimisantes vers les états fondamentaux de l'équation de Kadomtsev-Petviashvili en dimension deux, viennent compléter cette construction. L'analyse s'achève par la dérivation rigoureuse du régime ondes longues vers l'équation de Korteweg-de Vries en dimension un. Quant au modèle de Bogoliubov-Dirac-Fock, il s'agit de construire les états fondamentaux du modèle réduit, puis de préciser le processus de renormalisation de leur charge, lequel autorise le calcul d'un développement asymptotique de la densité de charges du vide polarisé, qui est cohérent avec les développements perturbatifs de l'électrodynamique quantique.

Cette thèse traite de problèmes inverses en propagation d'ondes acoustiques pour des milieux inhomogènes avec des mesures en champ lointain. Dans la première partie nous nous intéressons à la localisation de défauts, c'est-à-dire à la recherche du lieu où l'indice effectif est différent d'un indice de référence. Nous obtenons une caractérisation du support des défauts à partir des mesures par une extension de la "Factorization Method" d'A. Kirsch. Nous proposons plusieurs méthodes numériques permettant de déterminer la localisation des défauts dont une permettant de traiter le cas de directions d'émission et de réception distinctes. Ces algorithmes sont validés numériquement. Dans une seconde partie, nous considérons la reconstruction des valeurs d'un indice inconnu. A partir de la méthode de localisation de défauts introduite précédemment, nous proposons deux stratégies pour déterminer des zones d'intérêt sur lesquelles la reconstruction est focalisée. Enfin, nous introduisons un nouveau type de fonction coût pour la reconstruction, qui exploite les propriétés établies dans la première partie.

Les travaux présentés dans ce mémoire concernent des équations aux dérivées partielles issues de la physique des plasmas ou de la mécanique des fluides. En amont, ils comportent une partie importante de modélisation : approximation de systèmes hyperboliques oscillants, dérivation de systèmes de types Zakharov, modèle Hele-Shaw, modèle de micelles géantes. En aval, ils abordent un certain nombre de problèmes théoriques : existence et unicité des solutions, stabilité/instabilité des ondes solitaires, controle optimal, estimations d'erreur et convergence de modèles. Ils explorent aussi des méthodes numériques de résolution qui ont toutes pour point commun d'utiliser des méthodes de volumes finis ou différences finies sur des grilles cartésiennes en utilisant éventuellement des méthodes de pénalisation.

La production industrielle d'aluminium met en jeu plusieurs aspects physiques, à la fois chimiques, thermiques et magnétohydrodynamiques (MHD). L'une de ses particularités est la coexistence dans une cuve de deux fluides non miscibles, ce qui conduit à la présence d'une interface libre. Ce procédé consomme près de 2% de l'électricité mondiale, la moitié étant perdue par effet Joule. L'enjeu est de réduire ce coût sans déstabiliser le procédé: il s'agit typiquement d'un problème de contrôle optimal, que nous traitons en considérant une modélisation MHD de la cuve. Deux approches sont utilisées pour effectuer cette optimisation, à savoir considérer une contrainte d'état non linéaire basée sur un couplage entre les équations de Maxwell et de Navier-Stokes multifluides, et une contrainte d'état linéaire résultant d'une approximation shallow water de la précédente. Après une courte introduction à la modélisation du procédé et aux concepts du contrôle optimal basé sur le principe de Pontryagin, nous décrivons dans un premier temps le contrôle de l'évolution de l'interface modélisée par l'approximation shallow water. S'ensuivent un travail de parallèlisation du logiciel de simulation du procédé dans le cadre non linéaire et la recherche numérique d'actionneurs acceptables pour son contrôle. Enfin, un algorithme d'optimisation de la forme de l'interface est proposé sous une contrainte d'état non linéaire simplifiée, à savoir les équations de Navier-Stokes bifluides en dimension deux.

Cette thèse s'inscrit dans le cadre d'étude de la simulation de la propagation du son en écoulement. L'objectif de ces travaux est l'obtention de modèles approchés permettant une prise en compte aisée des zones de fortes variations de l'écoulement porteur (couche limite de paroi, couche de mélange...). Le modèle mathématique retenu pour l'étude est celui des équations de Galbrun. La première partie est consacrée à la propagation acoustique dans un tuyau mince bidimensionnel. Une analyse asymptotique qui s'apparente à une analyse basse fréquence est menée pour obtenir un problème approché original, faisant intervenir un terme intégral non local vis à vis de la coordonnée transverse. Du fait de son originalité, l'analyse de stabilité est complexe et nécessite une étude ad hoc. Cette approche nouvelle permet de retrouver des résultats sur la stabilité des écoulements incompressible, mais aussi d'en établir de nouveaux. Nous proposons ensuite une méthode de résolution numérique basée sur une expression quasi-explicite de la solution. La question de la prise en compte des couches limites de paroi fait l'objet de la deuxième partie. Nous considérons toujours un problème bidimensionnel à paroi plane. Les cas d'une paroi parfaitement rigide et d'une paroi sur laquelle on impose une condition d'impédance sont traités. Dans les deux cas nous remplaçons la couche limite par une condition aux limites approchée, au moyen d'une analyse asymptotique. Ces conditions font intervenir la résolution du problème limite du tube et l'analyse de stabilité repose sur les résultats de la première partie. Nous explorons ensuite les propriétés physiques et mathématiques de ces problèmes approchés.

Le but de la thèse est d'étudier l'homogénéisation d'équations de convection-diffusion singulières et de problèmes spectraux à poids indéfini. La thèse se compose de deux parties. La première partie contient des résultats qualitatifs et asymptotiques pour les solutions d'équations de type convection-diffusion stationnaires et instationnaires, qui sont définies dans des domaines bornés ou nonbornés. Les problèmes examinés comprennent des études qualitatives pour une équation elliptique avec des termes du premier ordre dans un cylindre semi-infini, l'homogénéisation de modèles de convection-diffusion dans des cylindres minces et une analyse asymptotique d'équations de convection-diffusion instationnaires avec un grand terme du premier ordre, posées dans un domaine borné. La deuxième partie de la thèse porte sur l'homogénéisation de problèmes spectraux à poids indéfini, pouvant changer de signe. On montre que le comportement asymptotique dépend essentiellement de la moyenne du poids, notamment si la moyenne est nulle ou non nulle. On construit alors le développement asymptotique du spectre dans les deux cas.

Nous exposons en introduction quelques généralités sur les solutions fortes et les solutions faibles d'équations aux dérivées partielles. Le chapitre 2 est consacré à l'étude des multiplicateurs et des paramultiplicateurs entre espaces de Sobolev. Si l'opérateur de multiplication ponctuelle par une fonction est borné d'un espace de Sobolev dans un autre, on dit que cette fonction est un multiplicateur entre ces espaces. On définit de même les paramultiplicateurs par le caractère borné de l'opérateur de paraproduit de Bony. Nous prouvons une caractérisation presque complète des espaces de multiplicateurs et de paramultiplicateurs. Cette caractérisation est appliquée dans le chapitre 3 au problème de l'unicité fort-faible pour l'équation de Navier-Stokes en dimension d > ou = 3. Elle nous permet de prouver un théorème d'unicité fort-faible généralisant presque tous les résultats connus. Nous nous intéressons dans le chapitre 4 aux solutions d'énergie inféie de l'équation de Navier-Stokes en dimension 2. Un théorème de Gallagher et Planchon affirme qu'une solution globale existe si la donnée initiale appartient à un espace de Besov critique ; nous étendons ce théorème au cas où u0 appartient @BMO, qui semble optimal. Nous prouvons dans le chapitre 5 des résultats d'existence globale pour l'équation des ondes semi-linéaire critique (avec non-linéarité polynomiale), pour une donnée initiale d'énergie infinie et de norme arbitrairement grande. Deux méthodes d'interpolation non-linéaire sont employées : la méthode de Calderon et la méthode de Bourgain ; elles donnent des résultats complémentaires. Le chapitre 6 est consacré à des rappels, et nous mentionnons dans le chapitre 7 quelques perspectives possibles.

<p>This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equations (PDEs). Modelica® is a standardized modeling language for objectoriented, equation-based modeling. It also supports component-based modeling where existing components with modified parameters can be combined into new models. The aim of the language presented in this thesis is to maintain the advantages of Modelica and also add partial differential equation support.</p><p>Partial differential equations can be defined using a coefficient-based approach, where a predefined PDE is modified by changing its coefficient values. Language operators to directly express PDEs in the language are also discussed. Furthermore, domain geometry description is handled and language extensions to describe geometries are presented. Boundary conditions, required for a complete PDE problem definition, are also handled.</p><p>A prototype implementation is described as well. The prototype includes a translator written in the relational meta-language, RML, and interfaces to external software such as mesh generators and PDE solvers, which are needed to solve PDE problems. Finally, a few examples modeled with PDEModelica and solved using the prototype are presented.</p> / Report code: LiU-Tek-Lic-2002:63.

Ce mémoire présente une partie de mon activité de recherche postérieure à la thèse, soutenue en 2000. Plus particulièrement, je décris ici les résultats obtenus à partir de 2004, en tant que Maître de Conférences à l'Institut des Sciences de l'Ingénieur de Toulon et du Var et membre de l'actuel Institut de mathématiques de Toulon et du Var.