Mes travaux de recherche sont liés à l'analyse asymptotique, l'approximation numérique et la théorie spectrale de problèmes elliptiques. J'allie les résultats théoriques et les simulations numériques pour préciser le comportement des solutions : la théorie permettant de proposer des méthodes numériques plus performantes et de prévoir certaines difficultés numériques, les simulations illustrant parfois des comportements plus fins que ceux démontrés jusque-là ou suggérant de nouvelles conjectures. Ce document se découpe en quatre chapitres, chacun correspondant à un thème de recherche. Le premier thème de recherche que je vais aborder concerne l'analyse mathématique de la supraconductivité qui était le sujet de ma thèse. Cette thématique a fait l'objet de collaborations avec F. Alouges, M. Dauge, S. Fournais, B. Helffer, D.~Martin, N. Popoff, N. Raymond et G. Vial. Notre objectif est de comprendre l'influence de la géométrie du matériau sur l'apparition de la supraconductivité. La première étape consiste à étudier le spectre de l'opérateur de Schrödinger avec champ magnétique et paramètre semi-classique dans les domaines à coins. Nous avons établi un développement asymptotique des modes propres et montré que les vecteurs propres avaient une structure double échelle, ce qui rend les simulations numériques très délicates. Nous avons proposé une approche basée sur la méthode d'éléments finis nodaux de haut degré et mis en évidence l'effet tunnel pour des domaines symétriques. Ces résultats ont ensuite permis d'étudier les minimiseurs de la fonctionnelle de Ginzburg-Landau et d'établir la localisation du paramètre d'ordre qui rend compte de la densité des électrons supraconducteurs, lorsqu'on abaisse progressivement le champ magnétique appliqué. Très peu d'études avaient été réalisées pour les domaines à coins. Nous en avons maintenant une compréhension assez précise en dimension 2. Récemment, nous avons commencé l'étude en dimension 3 dans le cadre de la thèse de N. Popoff, avec M. Dauge. La deuxième partie de ce document présente un modèle simplifié pour le transport quantique dans des diodes à effet tunnel résonant. Elle résulte de collaborations avec A. Faraj, F. Nier et Y. Patel. Ce dernier a réalisé une analyse asymptotique fine de systèmes de Schrödinger-Poisson stationnaires, non linéaires uni-dimensionnels dans un régime hors-équilibre. Nous avons proposé une adaptation numérique de cette analyse afin de déterminer rapidement des diagrammes courant-tension et de bifurcation et montré la pertinence de ce modèle réduit en le comparant à un modèle 1D de Schrödinger-Poisson avec traitement numérique complet des états résonnants. Dans le cadre du projet ANR jeunes chercheurs n° JCJC06-139561 Macadam, je me suis intéressée à l'analyse multi-échelle et numérique de problèmes elliptiques perturbés, en collaboration avec D. Brancherie, M. Dambrine, S. Tordeux, F. Hérau et G. Vial. Ce projet consiste à étudier l'influence de petites perturbations géométriques sur la solution de problèmes elliptiques. Les cas d'une inclusion isolée ou de plusieurs bien séparées ont été largement étudiés. Nous considérons plus précisément le cas où la distance entre deux inclusions tend vers zéro mais reste grande par rapport à leur taille caractéristique. Nous donnons un développement asymptotique multi-échelle complet de la solution de l'équation de Laplace dans la situation de deux inclusions. Nous présentons également quelques simulations numériques basées sur une méthode de superposition multi-échelle de la solution non perturbée et d'un profil (solution normalisée de l'équation de Laplace dans le domaine extérieur obtenu par blow-up de la perturbation). Nous étendons ces techniques aux équations de l'élasticité linéaire afin de prédire le comportement à rupture de certains matériaux présentant des micro-défauts. Nous avons également proposé des méthodes pour calculer effectivement les profils intervenant dans le développement asymptotique. Ceci a soulevé des questions mathématiques liées à la perte de coercivité provenant de conditions de Ventcel dégénérées. Le dernier chapitre propose quelques résultats sur les partitions minimales, en collaboration avec B. Helffer, T. Hoffmann-Ostenhof, C. Léna et G. Vial. Nous souhaitons comprendre le lien entre la $k$-partition minimale, pour laquelle la plus grande première valeur propre du Laplacien-Dirichlet sur les $k$ sous-domaines est minimale parmi les $k$-partitions, et les ensembles nodaux des vecteurs propres du Laplacien avec condition de Dirichlet. Nous nous sommes focalisés sur le cas $k=3$ pour lequel on ne connaît pas, en général, de partition optimale même pour des géométries très simples telles que le carré ou le disque. En se restreignant aux configurations symétriques, nous utilisons la méthode d'éléments finis pour exhiber des candidats aux 3-partitions minimales symétriques du disque, du carré ou d'autres géométries. Cette étude numérique nous a conduits à des problèmes d'isospectralité que nous avons résolus en utilisant le Hamiltonien de Aharonov-Bohm. L'introduction de cet opérateur pour résoudre une question théorique a ouvert une nouvelle piste numérique qui consiste à calculer les modes propres par une méthode d'éléments finis sur un revêtement à deux feuillets et d'étudier le comportement des lignes nodales en fonction du point singulier. Cela nous a permis de dégager de nouveaux candidats aux partitions minimales.

L'équation de Weinstein á coefficients complexes est une équation régissant les Potentiels á Symétrie Axiale (PSA) qui s'écrit $L_m[u]=\Delta u+\left(m/x\right)\d_x u =0$, oú $m\in\C$. Cette équation intervient notamment pour la modélisation du bord du plasma dans un Tokamak pour $m=-1$, ou encore elle est, lorsque $m=1$, appelée équation de Ernst linéarisée (équation permettant de donner explicitement des solutions aux équations d'Einstein). Ici, on généralise des résultats connus pour $m\in \R$ au cas $m\in\C$ (on donne des expressions explicites de solutions fondamentales aux opérateurs de Weinstein et leurs estimations au voisinage des singularités, puis on démontre une formule de Green pour les PSA dans le demi-plan droit $\H^+$ pour Re $m< 1$). On prouve un nouveau théoréme de décomposition des PSA dans des domaines annulaires quelconques pour $m\in\C$ et dans une géométrie annulaire particuliére faisant intervenir les coordonnées bipolaires, on prouve toujours pour $m\in\C$ qu'une famille de solutions des PSA en termes de fonctions de Legendre Associées de premiére et seconde espéce forme une famille compléte (par une méthode de quasi-séparabilité des variables et par une analyse de Fourier) permettant d'exprimer les PSA sous forme de série et lorsque $m\in \R$, on montre que cette famille est même une base de Riesz dans certains anneaux á bord circulaire non concentrique. Dans une deuxiéme partie, par une méthode qui est due á A. S. Fokas, on donne, sous forme intégrale explicite, des formules des PSA dans un domaine circulaire du demi-plan droit $\H^+$, dans le cas oú le paramétre $m$ est un entier relatif. Ces représentations sont obtenues par la résolution d'un probléme de Riemann-Hilbert sur le plan complexe ou sur une surface de Riemann á deux feuillets selon la parité du coefficient $m$. Ces formules font intervenir de façon explicites les données Dirichlet et Neumann des PSA. On montre aussi que cette méthode s'applique á tous les domaines simlement connexe de $\H^+$ á bord régulier. Dans la derniére partie, on étudie une classe de fonctions qui englobe les PSA, ce sont les fonctions pseudo-holomorphes, {\it i. e.} les solutions de l'équation $\bar\d w=\alpha\overline{w}$. avec $\alpha\in L^r$, $2\leq r<\infty$. Un résultat qui semble être le tout premier de son genre a été obtenu, c'est une extension de la régularité du principe de similarité (décomposition des fonction pseudo-holomorphe sous la forme $e^s F$ sous certaines hypothéses de régularités et oú $F$ est une fonction holomorphe) et une réciproque de ce principe qui conduit á un paramétrage analytique de cette classe de fonctions dans le cas critique $r=2$. Puis en utilisant la connexion entre les fonctions pseudo-holomorphes et les solutions de l'équation de Beltrami conjuguée, on résoud un probléme de Dirichlet á données $L^p$ pondérées sur des domaines lisses pour des équations du type conductivité á coefficient dont le log appartient á l'espace de Sobolev $W^{1,2}$.

L'objet de cette thèse est l'étude de l'asymptotique des collisions rasantes pour les équations de Kac et de Boltzmann ainsi que l'étude de la propagation du chaos pour l'équation de Keller-Segel dans un cadre sous-critique à l'aide d'équations différentielles stochastiques non linéaires. Le premier chapitre est consacré à l'équation de Kac avec un potentiel Maxwellien. Nous commençons par donner une vitesse de convergence explicite (que l'on pense être optimale) dans le cadre de l'asymptotique des collisions rasantes. Puis nous approchons la solution de l'équation de Kac dans le cadre général, ce qui nous permet de montrer la propagation du chaos pour un système de particules vers cette dernière de manière quantitative. Dans le deuxième chapitre, nous étudions l'asymptotique des collisions rasantes pour l'équation de Boltzmann avec des potentiels mous et de Coulomb. Nous donnons là encore des vitesses de convergence explicites (mais non optimales). Enfin dans le troisième et dernier chapitre, nous montrons la propagation du chaos pour l'équation de Keller-Segel dans un cadre sous-critique. Pour cela, nous utilisons des arguments de compacité (tension du système de particules).

Les développements asymptotiques topologiques n'ont pas encore été étudiés pour les équations elliptiques quasilinéaires. Cette question apparaît dans la perspective d'appliquer les méthodes d'asymptotique topologique en optimisation de forme aux équations non linéaires de l'élasticité comme en imagerie pour la détection d'ensembles de codimension $\geq 2$ (points en 2D ou courbes en 3D). Dans la Partie I, notre principal résultat réside dans l'obtention du développement asymptotique topologique pour une classe d'équations elliptiques quasilinéaires, perturbées dans des sous-domaines non vides. Le gradient topologique peut être décomposé en un terme linéaire classique et en un terme nouveau, qui rend compte de la non linéarité. L'étude des difficultés spécifiques qui apparaissent avec l'équation de p-Laplace, par comparaison avec l'équation de Laplace, montre qu'un point central réside dans la possibilité de définir la variation de l'état direct à l'échelle 1 dans R^N. Nous étudions en conséquence des espaces de Sobolev à poids et quotientés, dont la semi-norme est la somme des normes L^p et L^2 du gradient dans R^N. Puis nous construisons une classe d'équations elliptiques quasilinéaires, telle que le problème définissant l'état direct à l'échelle 1 vérifie une double propriété de p- et 2- ellipticité. La méthode se poursuit par l'étude du comportement asymptotique de la solution du problème d'interface non linéaire dans R^N et par une mise en dualité appropriée des états directs et adjoints aux différentes étapes d'approximation pour les variations de l'état direct. La Partie II traite d'estimations et de développements asymptotiques de p-capacités de condensateurs, dont l'obstacle est d'intérieur vide et de codimension $\geq 2$. Après quelques résultats préliminaires, nous introduisons les condensateurs équidistants pour étudier le cas des segments. L'effet anisotrope engendré par un segment dans l'équation de p-Laplace est tel que l'inégalité de réarrangement de Pólya-Szegö pour les intégrales de type Dirichlet fournit un minorant trivial. De plus, quand p > N, on ne peut construire par extension une solution admissible pour le segment, aussi petite sa longueur soit-elle, à partir du cas du point. Nous établissons une minoration de la p-capacité N-dimensionnelle d'un segment, qui fait intervenir les p-capacités d'un point, respectivement en dimensions N et (N−1). Les cas de positivité de la p-capacité s'en déduisent. Notre méthode peut être étendue à des obstacles de dimensions supérieures et de codimension $\geq 2$. Introduisant les condensateurs elliptiques, nous montrons que le gradient topologique de la 2-capacité n'est pas un outil approprié pour distinguer les courbes et les obstacles d'intérieur non vide en 2D. Une solution pourrait être de choisir différentes valeurs de p ou bien de considérer le développement asymptotique à l'ordre 2, i.e. la hessienne topologique.

Cette thèse concerne la modélisation mathématique et l'approximation numérique de modèles homogénéisés de métamatériaux. Dans la première partie on étudie des problèmes de propagation d'ondes en présence de métamatériaux homogénéisés tels que les équations de Maxwell, le système de l'acoustique ou de l'élasticité linéaire. Nous établissons des résultats d'existence et d'unicité pour ces systèmes sous des hypothèses phénoménologiques sur le métamatériau en accord avec certains modèles de la littérature. Nous abordons ensuite leurs approximations numériques. Nous présentons des résultats concernant les éléments finis pour l'approximation de l'équation de Helmholtz qui montrent que ce schéma peut ne pas converger en présence de métamatériaux. On propose alors un schéma adapté aux métamatériaux, le schéma EF-AL, qui converge dès que le problème est bien-posé. On termine par l'étude du schéma Galerkin Discontinu dont on montre numériquement sa convergence sur des exemples de métamatériaux. La seconde partie présente l'homogénéisation non-périodique formelle de métamatériaux acoustiques. Les travaux d'A.G. Ramm sur la création de milieux à partir d'assemblages d'obstacles sont repris afin de préciser l'asymptotique fine du comportement du champ diffracté par un nombre fini de petites boules de rayon \delta. On utilise pour cela la méthode des développements asymptotiques raccordés. On établit l'existence et l'unicité de ce dernier et des estimations d'erreurs qui valident l'approche formelle. On suppose ensuite que le nombre de petits objets tend vers l'infini lorsque \delta tend vers 0 et passons à la limite dans le développement. Une approximation de Born permet d'obtenir l'indice du milieu contenant tous les objets qui, dans certains cas, est celui d'un métamatériau.

Dans cette thèse, nous étudions l'existence, non existence et multiplicité des ondes stationnairesavec les normes prescrites pour deux types d'équations aux dérivées partiellesnon linéaires elliptiques découlant de différents modèles physiques. La stabilité orbitale desondes stationnaires est également étudiée dans certains cas. Les principales méthodes denos preuves sont des arguments variationnels. Les solutions sont obtenues comme pointscritiques de fonctionnelle associée sur une contrainte.La thèse se compose de sept chapitres. Le Chapitre 1 est l'introduction de la thèse. Dansles Chapitres 2 à 4, nous étudions une classe d'équations de Schrödinger-Poisson-Slaternon linéaires. Nous établissons dans le Chapitre 2 des résultats optimaux non existencede solutions d'énergie minimale ayant une norme L2 prescrite. Dans le Chapitre 3, nousmontrons un résultat d'existence de solutions L2 normalisées, dans une cas où la fonctionnelleassociée n'est pas bornée inférieurement sur la contrainte. Nos solutions sonttrouvées comme des points de selle de la fonctionnelle, mais ils correspondent à des solutionsd'énergée minimale. Nous montrons également que les ondes stationnaires associéessont orbitalement instables. Ici, puisque nos points critiques présumés ne sont pas desminimiseurs globaux, il n'est pas possible d'utiliser de façon systématique les méthodesde compacité par concentration développées par P. L. Lions. Ensuite, dans le Chapitre4, nous montrons que sous les hypothèses du Chapitre 3, il existe une infinité de solutionsayant une norme L2 prescrite. Dans les deux chapitres suivants, nous étudions uneclasse d'équations de Schrödinger quasi-linéaires. Des résultats optimaux non existence desolutions d'énergie minimale sont donnés dans le Chapitre 5. Dans le Chapitre 6, nousprouvons l'existence de deux solutions positives ayant une norme donnée. L'une d'elles,relativement à la contrainte L2, est de type point selle. L'autre est un minimum, soit localou global. Le fait que la fonctionnelle naturelle associée à cette équation n'est pas biendéfinie nécessite l'utilisation d'une méthode de perturbation pour obtenir ces deux pointscritiques. Enfin, au Chapitre 7, nous mentionnons quelques questions que cette thèse asoulevées.

Cette thèse porte sur l'étude d'une méthode de type Galerkin discontinu en domaine temporel (GDDT), afin de résoudre numériquement les équations de Maxwell instationnaires sur des maillages hybrides tétraédriques/hexaédriques en 3D (triangulaires/quadrangulaires en 2D) et non-conformes, que l'on note méthode GDDT-PpQk. Comme dans différents travaux déjà réalisés sur plusieurs méthodes hybrides (par exemple des combinaisons entre des méthodes Volumes Finis et Différences Finies, Éléments Finis et Différences Finies, etc.), notre objectif principal est de mailler des objets ayant une géométrie complexe à l'aide de tétraèdres, pour obtenir une précision optimale, et de mailler le reste du domaine (le vide environnant) à l'aide d'hexaèdres impliquant un gain en terme de mémoire et de temps de calcul. Dans la méthode GDDT considérée, nous utilisons des schémas de discrétisation spatiale basés sur une interpolation polynomiale nodale, d'ordre arbitraire, pour approximer le champ électromagnétique. Nous utilisons un flux centré pour approcher les intégrales de surface et un schéma d'intégration en temps de type saute-mouton d'ordre deux ou d'ordre quatre. Après avoir introduit le contexte historique et physique des équations de Maxwell, nous présentons les étapes détaillées de la méthode GDDT-PpQk. Nous réalisons ensuite une analyse de stabilité L2 théorique, en montrant que cette méthode conserve une énergie discrète et en exhibant une condition suffisante de stabilité de type CFL sur le pas de temps, ainsi que l'analyse de convergence en h (théorique également), conduisant à un estimateur d'erreur a-priori. Ensuite, nous menons une étude numérique complète en 2D (ondes TMz), pour différents cas tests, des maillages hybrides et non-conformes, et pour des milieux de propagation homogènes ou hétérogènes. Nous faisons enfin de même pour la mise en oeuvre en 3D, avec des simulations réalistes, comme par exemple la propagation d'une onde électromagnétique dans un modèle hétérogène de tête humaine. Nous montrons alors la cohérence entre les résultats mathématiques et numériques de cette méthode GDDT-PpQk, ainsi que ses apports en termes de précision et de temps de calcul.

Le but général de cette thèse est d'exploiter des modélisations asymptotiques pour la résolution de problèmes de diffraction inverse en électromagnétisme. Nous nous intéressons plus particulièrement au cas des conditions d'impédance généralisée qui modélisent notamment des matériaux fortement absorbants ou des revêtements de faible épaisseur. L'expression "impédance généralisée" signifie que la condition au bord fait intervenir un opérateur surfacique. Les conditions dites d'impédance classique entrent dans cette famille de conditions aux bord, dans ce cas, l'opérateur surfacique se réduit à la multiplication par une fonction. Dans le cadre des problèmes inverses, l'utilisation de modèles approchés permet de simplifier aussi bien la résolution numérique que l'analyse mathématique. De nombreux travaux ont été menés en diffraction inverse sur l'utilisation d'une condition d'impédance classique, nous les avons étendus pour des opérateurs surfaciques plus complexes faisant intervenir des dérivées tangentielles. Une partie importante de la thèse est consacrée à la mise en oeuvre des méthodes d'optimisation pour retrouver un obstacle ainsi que les paramètres définissant l'opérateur d'impédance. Nous présentons en particulier un calcul de dérivée de forme dans le cas où les équations de l'électromagnétisme se simplifient en une équation scalaire, nous étendons ensuite ce calcul aux équations de Maxwell vectorielles. Des exemples numériques de reconstruction de forme et de paramètres d'impédance viennent illustrer l'applicabilité des méthodes d'optimisation à notre problème inverse. Afin de compléter cette étude, nous avons utilisé une méthode qualitative - la méthode de factorisation - pour identifier un objet diffractant caractérisé par une condition d'impédance généralisée. Enfin, en relation avec les méthodes qualitatives, nous nous sommes penché sur l'utilisation des valeurs propres de transmission associées au problème de diffraction par des couches minces pour obtenir des informations sur la couche. Dans ce but, nous avons calculé et justifié le développement asymptotique de la première valeur propre de transmission intérieure par rapport à la faible épaisseur du revêtement. Ce développement donne une manière simple de calculer l'épaisseur du revêtement à partir du champ diffracté pour plusieurs fréquences.

Cette thèse s'intéresse aux méthodes de champs de phase pour l'approximation de mouvements par courbure moyenne. En particulier, nous proposons de nouveaux modèles pour prendre en compte des contraintes de volumes, des tensions de surfaces anisotropes et des angles de contact au bord du domaine d'évolution.

Dans un grand nombre d'applications modernes, on est amené à estimer l'état initial (ou final) d'un système infini-dimensionnel (typiquement un système gouverné par une Équation aux Dérivées Partielles (EDP) d'évolution) à partir de la connaissance partielle du système sur un intervalle de temps limité. Un champ d'applications dans lequel apparaît fréquemment ce type de problème d'identification est celui de la médecine. Ainsi, la détection de tumeurs par tomographie thermo-acoustique peut se ramener à des problèmes de reconstruction de données initiales. D'autres méthodes nécessitent l'identification d'un terme source, qui, sous certaines hypothèses, peut également se réécrire sous la forme d'un problème de reconstruction de données initiales. On s'intéresse dans cette thèse à la reconstruction de la donnée initiale d'un système d'évolution, en travaillant autant que possible sur le système infini-dimensionnel, à l'aide du nouvel algorithme développé par Ramdani, Tucsnak et Weiss (Automatica 2010). Nous abordons en particulier l'analyse numérique de l'algorithme dans le cadre des équations de Schrödinger et des ondes avec observation interne. Nous étudions les espaces fonctionnels adéquats pour son utilisation dans les équations de Maxwell, avec observations interne et frontière. Enfin, nous tentons d'étendre le cadre d'application de cet algorithme lorsque le système initial est perturbé ou que le problème inverse n'est plus bien posé, avec application à la tomographie thermo-acoustique.