Il s'agit essentiellement d'une étude théorique et numérique de la diffraction d'une onde électromagnétique plane par des réseaux. Pour des matériaux isotropes, nous suggérons une amélioration de la "méthode différentielle", et nous présentons une "méthode de synthèse" dont l'idée est de représenter le champ diffracté par le champ émis par un ensemble de sources fictives convenablement choisies et situées au voisinage du profil du réseau. La "méthode de YASUURA", basée sur la décomposition du champ diffracté en ondes planes, se trouve être un cas particulier de cette méthode.<br /> Nous poursuivons par une étude de la propagation dans des milieux présentant une anisotropie diélectrique, en évoquant notamment les problèmes liés à la recherche des solutions élémentaires de l'équation de propagation (fonctions de GREEN). Cette étude est mise à profit pour traiter ensuite : des empilements de couches anisotropes, des réseaux anisotropes par la "méthode différentielle", puis des réseaux anisotropes de permittivité diagonale au moyen d'une "méthode intégrale".<br /> Un effort a été fait pour formuler les différentes méthodes utilisées de façon similaire : il s'agit de caractériser les champs diffractés par leur appartenance à des espaces adéquats. Ces espaces sont, selon les méthodes, décrits par des bases, des familles totales, ou bien à l'aide d'opérateurs ( "projecteurs de CALDERON").

L'arithmétique virgule flottante utilisée en machine pour le calcul scientifique introduit des erreurs dans le résultat des opérations. Le calcul sur ordinateur porte en effet sur des opérandes qui possèdent un nombre limité de chiffres significatifs, lesquels ne représenent qu'une approximation de la valeur exacte. Au fur et à mesure du déroulement des programmes, on assiste à une dégradation progressive de la précision des nombres manipulés. Ces accumulations d'erreurs peuvent conduire à des résultas invalides sans que l'utilisateur en soit averti. Parmi les solutions développées pour maîtriser les erreurs du calcul en machine, seule l'utilisation d'une arithmétique exacte conduit à un résultat dont on est sûr qu'il est correct. Malheureusement cette solution est obtenue par logiciel au prix d'un temps de calcul extrêmement long. Une des principales raisons de la lenteur de ce type de logiciel provient du fait qu'ils s'exécutent sur des processeurs qui ne disposent pas d'une arithmétique adaptée au calcul exact. Il faut donc faire une émulation de chaque opération élémentaire de l'arithmétique exacte en faisant appel à des routines logicielles utilisant les instructions disponibles sur le processeur. Cette émulatioan entraîne alors une dégradation des performances de l'arithmétique, et donc des logiciels, utilisés pour le calcul exact. On propose de développer un circuit qui réalisera au niveau matériel toutes les opérations élémentaires de l'arithmétique exacte. L'architecture du circuit sera optimisée pour répondre aux spécificités de cette arithmétique et plus particulièrement pour calculer sur des nombres de grande taille. Afin d'augmenter encore les performances des logiciels, on intègrera en matériel certaines fonctions usuelles du calcul exact.

Ces dernières années, les circuits asynchrones sont apparus comme une solution naturelle aux problèmes de conception des circuits synchrones lies aux technologies submicroniques. En s'affranchissant d'une horloge globale et en utilisant un mécanisme de synchronisation locale, les circuits asynchrones se montrent plus fiables, robustes et modulaires que leurs équivalents synchrones. En plus, l'absence de horloge globale permet d'adresser des contraintes de faible consommation, faible bruit et sécurité. Cependant, l'intérêt croissant dans les circuits asynchrones se heurte au manque actuel de méthodes et outils d'aide à la conception de tels circuits.<br />Dans ce cadre, ce travail de thèse porte sur l'étude de la conception de chemins de données asynchrones QDI (de l'anglais, « quasi-delay insensitive »). Initialement, cette thèse propose et évalue une méthode de comparaison de différentes implémentations des circuits asynchrones. Par la suite, les deux principaux opérateurs arithmétiques sont étudiés : les additionneurs et les multiplieurs. Dans cette étude, plusieurs architectures ont été évaluées et l'impact de différents codages de données ont été examinés. La méthode de comparaison et la génération d'opérateurs arithmétiques ont été automatisées de façon à permettre aux concepteurs de circuits de choisir l'implémentation plus adéquate aux contraintes de conception.<br />L'expertise obtenue par l'étude d'opérateurs arithmétiques a aussi permis de généraliser certaines recommandations à la conception de toutes chemins de données asynchrones. Ces recommandations sont à l'origine d'une méthodologie de conception de chemins de données asynchrones. Les résultats de ce travail enrichissent l'outil de conception qu'aide à combler l'espace entre les concepteurs et les circuits asynchrones.

Mes recherches au Commissariat à l'Énergie Atomique concernent principalement la modélisa- <br />tion mathématique et la simulation numérique pour la physique des plasmas. Ce mémoire présente <br />mes contributions dans ce domaine.

ON ETEND AUX OPERATEURS FERMES A DOMAINE DENSE DANS UN HILBERT LA NOTION D'EQUIVALENCE MODULO LES COMPACTS, PUIS CELLE D'OPERATEURS ESSENTIELLEMENT NORMAUX C'EST-A-DIRE TELS QUE LEUR COMMUTANT EST COMPACT. ON PRESENTE ENSUITE UNE GENERALISATION D'UN THEOREME DE BROWN-DOUGLAS-FILLMORE 5 QUI DIT QUE TOUT OPERATEUR CONTINU SUR UN HILBERT SEPARABLE, ESSENTIELLEMENT NORMAL ET DONT TOUS LES INDICES SONT NULS SUR SA RESOLVANTE DE FREDHOLM, S'ECRIT COMME SOMME D'UN OPERATEUR NORMAL ET D'UN OPERATEUR COMPACT

.

Cette thèse est consacrée au problème de combinatoire algébrique appelée conjecture n!. <br /><br />Plus explicitement, on étudie la structure de certains espaces notés M_mu et indexés par les partitions mu de l'entier n. Chaque espace M_mu est le cône de dérivation d'un polynôme Delta_mu, généralisant en deux alphabets le déterminant de Vandermonde. Le coeur de ce travail, motivé par l'interprétation de certains polynômes de Macdonald en termes de multiplicité des représentations irréductibles du S_n-module M_mu, est la conjecture n!, énoncée en 1991 par A. Garsia et M. Haiman et récemment prouvée par ce dernier. <br /><br />On s'intéresse ici tout d'abord à l'explicitation de bases monomiales des espaces M_mu. Cette approche est très liée à l'étude de l'idéal annulateur de Delta_mu et nous conduit à introduire certains opérateurs de dérivation, dits opérateurs de sauts. On obtient une base monomiale explicite et une description de l'idéal annulateur pour les partitions en équerres, et pour le sous-espace en un alphabet M_mu(X) avec une partition mu quelconque. <br /><br />Les opérateurs de sauts se révèlent cruciaux pour l'introduction et l'étude de généralisations de la conjecture n!. Dans le cas des partitions trouées (approche récursive de la conjecture n!), l'obtention d'une base explicite du sous-espace en un alphabet permet de traiter une spécialisation de la fondamentale récurrence à quatre termes. Dans le cas des diagrammes à plusieurs trous, l'introduction de sommes de cônes de dérivation permet d'énoncer une conjecture généralisant la conjecture n!, supportée par l'obtention d'une borne supérieure et la structure du sous-espace en un alphabet.

Cette thèse est consacrée à l'étude de la série principale unitaire de certains groupes de Lie semi-simples, du point de vue de la géométrie non-commutative. Pour une famille de sous-groupes paraboliques minimaux de composante de Levi L fixée, nous décrivons la famille des représentations de la série principale unitaire associées au moyen de C*-modules sur C*(L). Cette construction s'inspire de celle des modules d'induction de M. A. Rieffel et nous proposons plusieurs modèles pour les C*-modules obtenus, qui reflètent à ce niveau global les réalisations classiques des représentations de la série principale. En rang réel 1, nous caractérisons certains opérateurs bornés sur ces modules, obtenant ainsi un résultat d'irréductibilité analogue à celui de F. Bruhat dans le cas classique. Nous démontrons ensuite la convergence, sur des sous-modules, d'intégrales d'entrelacement analogues à celles définissant les opérateurs de Knapp et Stein. Ces intégrales peuvent être décomposées en somme d'un opérateur densément défini et vraisemblablement borné, d'un opérateur densément défini et d'un terme résiduel, étudiés séparément. Nous indiquons enfin, dans certains cas particuliers, une procédure de normalisation aboutissant à la construction d'opérateurs d'entrelacement unitaires entre C*-modules. Ces opérateurs manifestent l'action du groupe de Weyl régissant les équivalences entre représentations de la série principale au niveau de la C*-algèbre réduite du groupe.

La thèse étudie les problèmes de Dirichlet linéaires et semilinéaires pour différents opérateurs du type Laplacien fractionnaire. Les données peuvent être des fonctions régularières [régulières] ou plus généralement des mesures de Radon. Le but est de classifier les solutions qui présentent une singularité au bord du domaine prescrit. Nous remarquons d'abord l'existence de toute une gamme de fonctions harmoniques explosant au bord et nous les caractérisons selon une nouvelle notion de trace au bord. A l'aide d'une nouvelle formule d'intégration par parties, nous élaborons ensuite une théorie faible de type Stampacchia pour étendre la théorie linéaire à un cadre qui comprend ces fonctions : nous étudions les questions classiques d'existence, d'unicité, de dépendance à l'égard des données, la régularité et le comportement asymptotique au bord. Puis, nous développons la théorie des problèmes sémilinéaires, en généralisant la méthode des sous- et sursolutions. Cela nous permet de construire l'analogue fractionnaire des grandes solutions dans la théorie des EDPs elliptiques nonlinéaires, en donnant des conditions suffisantes pour l'existence. La thèse se termine par la définition et l'étude d'une notion de courbures directionnelles nonlocales / The thesis studies linear and semilinear Dirichlet problems driven by different fractional Laplacians. The boundary data can be smooth functions or also Radon measures. The goal is to classify the solutions which have a singularity on the boundary of the prescribed domain. We first remark the existence of a large class of harmoni functions with a boundary blow-up and we characterize them in termsof a new notion of degenerate boundary trace. Via some integration by parts formula, we then provide a weak theory of Stampacchia's sort to extend the linear theory to a setting including these functions: we study the classical questions of existence, uniqueness, continuous dependence on the data, regularity and asymptotic behaviour at the boundary. Afterwards we develop the theory of semilinear problems, by adapting and generalizing some sub- and supersolution methods. This allows us to build the fractional counterpart of large solutions in the elliptic PDE theory of nonlinear equations, giving sufficient conditions for the existence. The thesis is concluded with the definition and the study of a notion of nonlocal directional curvatures

Cette thèse se situe dans le cadre de l'analyse fonctionnelle et plus précisément dans le domaine de la théorie des opérateurs dans des espaces de Hilbert. Elle consiste à étudier les applications bijectives entre des algèbres d'opérateurs, qui commutent avec la transformation de Aluthge. Dans la première partie, nous allons étudier la transformation de Aluthge, qui joue un rôle important en théorie des opérateurs. Nous allons démontrer plusieurs résultats intéressants sur cette transformation. Ces résultats seront utilisés dans la suite de ce travail. Dans la deuxième partie, nous étudierons les bijections additives qui commutent avec la transformation de Aluthge. Nous donnerons également une forme complète des applications ω-additive qui commutent avec cette transformation. Ensuite, nous considérons les applications qui commutent avec la transformation de Aluthge sous le produit usuel et le produit de Jordan. Nous démontrerons que ces applications ont une forme simple. Dans la dernière partie, nous donnerons plusieurs expressions du rayon spectral via la transformation λ-Aluthge et ses itérées. / Our aim in this thesis in function analysis is to study the bijective maps between the algebras of linear and bounded operators, which commute with the Aluthge transform in different way. In the first part, we study the Aluthge transformation which play an crucial role on operator theory in the recent years. We will establish some useful results and properties of the λ-Aluthge transform. These results are required to prove our main theorems in the next chapters. In the second part, we study the bijective and additive maps which commute with the λ-Aluthge transform. We also give a description of ω-additive commuting maps with this transformation. In the last part, we consider the problem of commuting maps with the λ-Aluthge transform, under the usual product and Jordan product, we show that these maps are a simple form. Finally, we give several expressions of the spectral radius via the λ-Aluthge transform and its iterates.