We study a boundary value problem for an overdetermined elliptic system of nonlinear first order differential equations with linear boundary operators. Such a problem is solvable for a small set of data, and so we pass to its variational formulation which consists in minimising the discrepancy. The Euler-Lagrange equations for the variational problem are far-reaching analogues of the classical Laplace equation. Within the framework of Euler-Lagrange equations we specify an operator on the boundary whose zero set consists precisely of those boundary data for which the initial problem is solvable. The construction of such operator has much in common with that of the familiar Dirichlet to Neumann operator. In the case of linear problems we establish complete results.

We consider a compact, oriented,smooth Riemannian manifold $M$ (with or without boundary) and wesuppose $G$ is a torus acting by isometries on $M$. Given $X$ in theLie algebra of $G$ and corresponding vector field $X_M$ on $M$, onedefines Witten's inhomogeneous coboundary operator $\d_{X_M} =\d+\iota_{X_M}: \Omega_G^\pm \to\Omega_G^\mp$ (even/odd invariantforms on $M$) and its adjoint $\delta_{X_M}$. First, Witten [35] showed that the resulting cohomology classeshave $X_M$-harmonic representatives (forms in the null space of$\Delta_{X_M} = (\d_{X_M}+\delta_{X_M})^2$), and the cohomologygroups are isomorphic to the ordinary de Rham cohomology groups ofthe set $N(X_M)$ of zeros of $X_M$. The first principal purpose isto extend Witten's results to manifolds with boundary. Inparticular, we define relative (to the boundary) and absoluteversions of the $X_M$-cohomology and show the classes haverepresentative $X_M$-harmonic fields with appropriate boundaryconditions. To do this we present the relevant version of theHodge-Morrey-Friedrichs decomposition theorem for invariant forms interms of the operators $\d_{X_M}$ and $\delta_{X_M}$; the proofinvolves showing that certain boundary value problems are elliptic.We also elucidate the connection between the $X_M$-cohomology groupsand the relative and absolute equivariant cohomology, followingwork of Atiyah and Bott. This connection is then exploited to showthat every harmonic field with appropriate boundary conditions on$N(X_M)$ has a unique corresponding an $X_M$-harmonic field on $M$to it, with corresponding boundary conditions. Finally, we define the interior and boundary portion of $X_M$-cohomology and then we definethe \emph{$X_M$-Poincar\' duality angles} between the interiorsubspaces of $X_M$-harmonic fields on $M$ with appropriate boundaryconditions.Second, In 2008, Belishev and Sharafutdinov [9] showed thatthe Dirichlet-to-Neumann (DN) operator $\Lambda$ inscribes into thelist of objects of algebraic topology by proving that the de Rhamcohomology groups are determined by $\Lambda$.In the second part of this thesis, we investigate to what extent is the equivariant topology of a manifold determined by a variant of the DN map?.Based on the results in the first part above, we define an operator$\Lambda_{X_M}$ on invariant forms on the boundary $\partial M$which we call the $X_M$-DN map and using this we recover the longexact $X_M$-cohomology sequence of the topological pair $(M,\partialM)$ from an isomorphism with the long exact sequence formed from thegeneralized boundary data. Consequently, This shows that for aZariski-open subset of the Lie algebra, $\Lambda_{X_M}$ determinesthe free part of the relative and absolute equivariant cohomologygroups of $M$. In addition, we partially determine the mixed cup product of$X_M$-cohomology groups from $\Lambda_{X_M}$. This shows that $\Lambda_{X_M}$ encodes more information about theequivariant algebraic topology of $M$ than does the operator$\Lambda$ on $\partial M$. Finally, we elucidate the connectionbetween Belishev-Sharafutdinov's boundary data on $\partial N(X_M)$and ours on $\partial M$.Third, based on the first part above, we present the(even/odd) $X_M$-harmonic cohomology which is the cohomology ofcertain subcomplex of the complex $(\Omega^{*}_G,\d_{X_M})$ and weprove that it is isomorphic to the total absolute and relative$X_M$-cohomology groups.

Le travail de ma thèse est basé sur ces 4 points :i) Transport laplacien d'une cellule absorbante :Soit un certain espèce (cellule) de concentration C(x), qui diffuse dans un milieu homogène et isotrope à partir d'une lointaine source localisée sur la frontière fermée $partial Omega_{0}$ vers une interface compact semi-perméable $partial Omega$ (membrane de la "cellule") à laquelle elle disparaisse àun taux d'absorption donné : W>=0. La concentration C (transport laplacien avec un coefficient de diffusion D) satisfaite le problème (P1) (voir la thèse). On s'intéresse à résoudre le problème (P1) en dimension dim = 2; 3 et à calculer les courants local et total à travers les frontières des $partial Omega$ et $partial Omega_{0}$ qui seront utiles pour résoudre le problèmeinverse de localisation. Pour faciliter les calculs et les rendre explicites, on prend $partial Omega$ et $partial Omega_{0}$ avec des formes géométriquement régulières, précisément des boules, en distinguant les deux cas : $Omega$ et $Omega_{0}$ sont concentriques ou non-concentriques. Pour le cas non-concentriques , on utilise la technique de transformation conforme et le développement orthogonal en série de Fourier pour résoudre le problème (P1) en cas bidimensionnel. Tandis que en cas tridimensionnel, on résout le problème (P1) en utilisant le développement orthogonal suivant les fonctions sphériques harmoniques.ii) Problème inverse de localisationOn s'intéresse dans cette partie à résoudre le problème inverse de localisation associé au problème (P1) où les domaines $Omega$ et $Omega_{0}$ sont considérés avec des formes géométriques régulières (précisément des boules) . Ce problème consiste à trouver les conditions de Dirichlet-Neumann sur $partial Omega_{0}$ (courant local, courant total) suffisantes pour déterminer la position de la cellule $partial$ (par rapport à $Omega_{0}$), dont ces conditions sont disponibles par une suite des mesures expérimentales.iii) Problème invesre géomètrique :Dans cette partie on traite un autre type de problème inverse qui consiste à trouver la forme géométrique de la cellule en sachant les conditions de Dirichlet-Neumann au bord extérieur(partial Omega_{0}) qui sont mésurables par une suite d'expérience. Ce type du problème, on l'appelle le problème inverse géométrique. On résout ce problème en utilisant des techniques concernant les fonctions harmoniques et les transformations conformes.iv) Opérateur de Dirichlet-NeumannOn étudie l'opérateur de Dirichlet-Neumann relatif au problème (P1) dans les dimension deux et trois en distinguant les deux cas concentriques et non-concentriques. Ensuite, on montre que cet opérateur de Dirichlet-Neumann engendre certain semi-groupe qu'on l'appelle semi-groupe de Lax. Enfin, on construit ce semi-groupe de Lax associé à cet opérateur en cas tridimensionnel concentriques afin de vérifier que ce semi-groupe admet les mêmes propriétés que celui dans le cas général. / The outline of my thesisi) Let some "species" of concentration C(p), x 2 Rd, diuse stationary in the isotropic bulk from a (distant) source localised on the closed boundary $partial Omega_{0}$ towards a semipermeable compact interface $partial Omega$ of the cell $Omega in Omega_{0}$ where they disappear at a given rate $W >= 0$. Then the steady field of concentrations C satisfy the problem $(P1)$. (see the Thesis). We interest to solve (P1) in Twodimensional and Tridimensional cases and to calculate the local and total flux in order to solving the localisation inverse problem. In order to make easy the calculations, we take $Omega$ and $Omega_{0}$ with a regularly geometricals forms by distinguishing the two cases : Concentrics and non-concentrics case. For the non-cncentrics case, we use the conformal mapping technique for resolving the problem (P1) in the twodimensional case. whereas in the tridimensional case, we use the development according to the spherical harmonics functions.ii) Localisation inverse problemThe aim of the localisation inverse problem is to find the necessary Dirichlet-to-Neumann conditions in order to determine the position of thecell $Omega$, where these conditions are measurable.iii) Geometrical inverse problemOur main results concerns a formal solution of the geometrical inverse problem for the form of absorbing domains. We restrict this study to two dimensions and we study it by the conformal mapping technique and harmonic functions.iv) Dirichlet-to-Neumann operatorWe study the Dirichlet-to-Neumann operatot relative to problem (P1) in the twodimensional and tridimensionnal cases by distinguishing the two cases : Concentrics and non-concentrics case. We prove that the Dirichlet-to-Neumann operator generates some semi-group, we call it the Lax semi-group. Finally we construct this semi group and verify that this demi-group satisfies the generals properties of a operator.

Cette thèse est dédiée à la résolution numérique tridimensionnelle des équations de Maxwell harmoniques, par des méthodes de décomposition de domaine couplant des résolutions par équations intégrales entre elles. Pour traiter les problèmes de diffraction d'ondes, la méthode des équations intégrales est un outil précieux. Elle consiste à paramétrer le champ électromagnétique solution par une source définie sur la surface de l'objet diffractant, solution d'une nouvelle équation linéaire (l'équation intégrale). Pour des applications à haute fréquence, le grand nombre d'inconnues (de l'ordre du million) nous oblige à utiliser un solveur itératif pour résoudre l'équation intégrale. Le problème du conditionnement des systèmes linéaires est alors crucial. De récents développements ont permis de construire une équation intégrale performante (la GCSIE) et de conditionnement stable avec la montée en fréquence. Cependant, la présence d'une cavité large et résonnante dans l'objet diffractant (telle que la cavité moteur d'un avion) dégrade le conditionnement de cette équation. Nous proposons deux méthodes de décomposition de domaine (DDM) afin de découpler le problème de la cavité du problème extérieur. La première (DDM en Y) s'exprime en fonction des opérateurs Dirichlet-to-Neumann Y, qui sont synthétisés via la résolution de problèmes métalliques par équations intégrales dans chaque sous-domaine. La seconde (DDM en S) s'exprime en fonction des opérateurs de scattering S, synthétisés par résolution de problèmes de type métal-impédant, donc bien posés à toute fréquence. La DDM en S permet ainsi de se débarrasser des phénomènes de résonance dans les cavités. Nous proposons dans un premier temps un préconditionneur analytique pour la DDM en Y, basé sur l'opérateur électromagnétique de simple couche. Nous calculons ensuite les modes guidés le long d'un cylindre infini tangent à la cavité près de l'interface, et nous diagonalisons les opérateurs Dirichlet-to-Neumann et scattering dans la base des traces de modes guidés sur l'interface. On extrait de cette étude deux préconditionneurs spectraux respectivement pour la DDM en Y et la DDM en S. Les résultats numériques confirment l'efficacité des préconditionneurs proposés / This work is dedicated to the numerical solution of the tridimensional harmonic Maxwell equations, using domain decomposition methods coupling integral equations between them. To deal with scattering problems, integral equations methods are a precious tool. They allow to look for the electromagnetic field by parameterizing it with a source only defined on the boundary of the scattering object, solution of a new linear equation (the integral equation). For applications at high frequency, the great number of unknowns forces the use of iterative methods. To accelerate the solution of integral equations, one moreover has to ensure the good condition number of the linear systems, or to propose well-suited preconditioners. An efficient method, the GCSIE, was developed in Onera. It is an intrinsically well-conditioned integral equation whose condition number remains stable whith the frequency increase. However, the existence of large and resonant cavities (such as air intakes) deteriorates the condition number. In order to circumvent this problem, we propose two domain decomposition methods (DDM) allowing to decouple the exterior problem from the problem of the cavities. The first one (Y-DDM) is based on Dirichlet-to-Neumann operators Y, which are built through the solution of metallic problems using integral equations in each subdomain. The second one (S-DDM) is based on scattering operators S, built through the solution of problems of metallic-impedant type, which are well-posed at any frequency. The S-DDM allows to avoid the resonance phenomena inside the cavities. First, we propose an analytic preconditioner for the Y-DDM, based on the electromagnetic single layer operator. We then calculate the modes guided along an artificial infinite cylinder, that is tangent to the cavity near the interface. We diagonalize the Dirichlet-to-Neumann and scattering operators in the basis of the traces of the guided modes on the interface. We deduce from this study two spectral preconditioners for the Y-DDM and the S-DDM. The numerical results confirm the efficiency of the employed preconditioners.

Ce mémoire contient deux articles que j’ai rédigés au cours de ma maîtrise. Le premier chapitre sert d’introduction à ces articles. Plusieurs concepts de géométrie spectrale y sont présentés dans le contexte du problème de Steklov, en plus des résultats principaux des chapitres subséquents. Le second chapitre porte sur le problème de Steklov paramétrique sur des surfaces lisses. Un développement asymptotique complet des valeurs propres du problème est obtenu à l’aide de méthodes pseudodifférentielles. Celui-ci généralise l’asymptotique spectrale déjà connue du problème de Steklov classique. Nous en déduisons de nouveaux invariants géométriques déterminés par le spectre. Le troisième chapitre porte sur le problème de ballottement sur des prismes à base triangulaire. Le but est de comprendre comment les angles du prisme affectent le deuxième terme du développement asymptotique de la fonction de compte des valeurs propres. En construisant des quasimodes, nous obtenons une expression de ce terme que nous conjecturons comme étant la bonne pour les vraies valeurs propres. Cette conjecture est alors supportée par des expériences numériques. / This thesis contains two articles that I wrote during my M.Sc. studies. The first chapter serves as an introduction to both articles. Some concepts of spectral geometry in the context of the Steklov problem are presented, as well as the main results of the subsequent chapters. The second chapter concerns the parametric Steklov problem on smooth surfaces. We obtain a complete asymptotic expansion of the eigenvalues of the problem by using pseudodifferential techniques. This generalizes the already known spectral asymptotics of the classical Steklov problem. We deduce new geometric invariants determined by the spectrum. The third chapter concerns the sloshing problem on triangular prisms. The goal is to understand how the angles in the prism affect the second term in the asymptotic expansion of the eigenvalue counting function. By constructing quasimodes, we obtain an expression for this term that we conjecture as being correct for the true eigenvalues. This conjecture is then supported by numerical experiments.