L’opérateur de Laplace-Hodge est un opérateur différentiel qui généralise le Laplacien traditionnel aux formes différentielles de degré k. Bien que les formes différentielles offrent un formalisme idéal pour représenter et manipuler les champs de vecteurs, leur utilisation dans le contexte des éléments finis est relativement récente. Nous présenterons d’abord les principales notions théoriques concernant les formes différentielles, puis nous développerons tous les éléments nécessaires à la mise en oeuvre d’une formulation mixte permettant de discrétiser le problème du Laplacien de Hodge avec la méthode des éléments finis. Cette discrétisation sera essentiellement basée sur les formes de Whitney. Nous présenterons ensuite de nombreux résultats numériques couvrant une grande variété de cas.

L'implantation actuelle des solveurs d'équations différentielles combine les deux méthodes de classification et de réduction d'ordre. La méthode de classification consiste à tester si l'équation à résoudre figure, modulo un renommage des variables, dans une liste d'équations que l'on sait résoudre. La méthode de réduction d'ordre, basée sur l'analyse des symétries de Lie, est réservée aux équations qui ne font pas partie de cette liste.<br /><br />En pratique, plusieurs difficultés apparaissent. Tout d'abord, le calcul des quadratures ainsi que l'intégration des systèmes d'EDP (même linéaires) n'est pas chose facile. De ce fait, il arrive souvent que le solveur se contente de retourner en sortie des résultats partiels, en particulier lorsque la dimension du (pseudo)groupe de symétries de l'équation à résoudre est petite. Enfonçons le clou : lorsque cette dimension est nulle, les solveurs, tel qu'il sont conçus actuellement, sont incapables d'intégrer ou même de réduire l'ordre de l'équation.<br /><br />Cette thèse s'inscrit donc dans l'effort d'amélioration des solveurs actuels. Nous allons présenter et montrer la faisabilité d'une architecture, totalement nouvelle, pour la conception d'un solveur d'équations différentielles basé sur la méthode d'équivalence de Cartan. Notre solveur utilise les invariants différentiels produits par la méthode de Cartan pour détecter l'existence d'une équation différentielle de la liste de Kamke, équivalente à l'équation que l'on veut résoudre et calculer le changement de variables qui réalise cette équivalence.<br /><br />Ceci dit, le calcul du changement de variables est une question qui peut être délicate. En général, il est solution d'un système d'EDP. Nous montrons que lorsque le pseudo-groupe des transformations autorisées est choisi tel que le pseudo-groupe de symétries de l'équation cible est discret, intuitivement, le changement de variables s'obtient sans intégrer d'équations différentielles uniquement en résolvant des équations algébriques.

En dépit d'une intégration économique et financière très avancée, une forte hétérogénéité des performances macroéconomiques caractérise toujours l'Union Economique et Monétaire (UEM). Dans cette thèse, on propose plusieurs explications permettant de comprendre cette situation. A partir des outils théoriques et empiriques de la nouvelle macroéconomie internationale, on cherche à évaluer le coût de ces hétérogénéités, à en comprendre les causes et l'on s'interroge sur la capacité des politiques conjoncturelles à les réduire. Afin de mener ce projet, la thèse s'appuie sur des modèles qui prennent en compte diverses sources de diffusion asymétrique des chocs. Dans le premier chapitre, on s'intéresse au rôle des imperfections sur les marchés des biens et services et sur les marchés financiers. Elles sont prises en compte en supposant l'existence de biais en faveur des biens nationaux dans les structures de consommation et de production et en supposant que les marchés financiers sont incomplets. On montre (i) que les gains liés à une réduction des asymétries sont très importants et équivalents à une augmentation de 60% de la consommation permanente au sein de l'UEM et (ii) qu'une meilleure intégration commerciale est susceptible d'accroître les asymétries de diffusion dans certains cas. Dans le second chapitre, on s'interroge sur la capacité des politiques budgétaires nationales à réduire les asymétries de diffusion. D'un point de vue théorique, on montre qu'elles le pourraient. D'un point de vue empirique, les contraintes institutionnelles dont elles font l'objet au sein de l'UEM ne leur permettent pas de jouer ce rôle. Une réforme du Pacte de Stabilité et de Croissance serait, à ce titre, susceptible de générer des gains de bien-être. Enfin, le dernier chapitre s'intéresse à la diffusion asymétrique de chocs symétriques dans un modèle à trois pays, dont deux forment une union monétaire. Les asymétries de diffusion proviennent d'asymétries dans les degrés de rigidités nominales ou dans le degré d'ouverture au commerce extrazone. Comme dans le premier chapitre, la conclusion théorique selon laquelle une meilleure intégration commerciale et/ou une meilleure intégration des processus productifs suffisent à réduire les asymétries de diffusion des chocs est invalidée dans plusieurs cas.

Soit G un groupe algébrique semi-simple sur un corps de caractéristique 0. Ce mémoire discute d'un théorème d'annulation de la cohomologie supérieure du faisceau D des opérateurs différentiels sur une variété de drapeaux de G. On démontre que si P est un sous-groupe parabolique de G, alors H^i(G/P,D)=0 pour tout i>0. On donne en fait trois preuves indépendantes de ce théorème. La première preuve est de Hesselink et n'est valide que dans le cas où le sous-groupe parabolique est un sous-groupe de Borel. Elle utilise un argument de suites spectrales et le théorème de Borel-Weil-Bott. La seconde preuve est de Kempf et n'est valide que dans le cas où le radical unipotent de P agit trivialement sur son algèbre de Lie. Elle n'utilise que le théorème de Borel-Weil-Bott. Enfin, la troisième preuve est attribuée à Elkik. Elle est valide pour tout sous-groupe parabolique mais utilise le théorème de Grauert-Riemenschneider. On présente aussi une construction détaillée du faisceau des opérateurs différentiels sur une variété. / Let G be a semisimple algebraic group on a field of characteristic 0. This thesis discusses a vanishing theorem for the higher cohomology of the sheaf D of differential operators on a flag variety of G. We show that if P is a parabolic subgroup of G, then H^i(G/P,D)=0 for all i>0. In fact, we give three independent proofs of this theorem. The first proof, due to Hesselink, only works if the parabolic subgroup P is a Borel subgroup. It uses a spectral sequence argument as well as the Borel-Weil-Bott theorem. The second proof, due to Kempf, only works if the unipotent radical of P acts trivially on its Lie algebra. It only uses the Borel-Weil-Bott theorem. Finally, the third proof, due to Elkik, is valid for any parabolic subgroup. However, it uses the Grauert-Riemenschneider theorem. We also present a detailled construction of the sheaf of differential operators on a variety.

Soit G un groupe algébrique semi-simple sur un corps de caractéristique 0. Ce mémoire discute d'un théorème d'annulation de la cohomologie supérieure du faisceau D des opérateurs différentiels sur une variété de drapeaux de G. On démontre que si P est un sous-groupe parabolique de G, alors H^i(G/P,D)=0 pour tout i>0. On donne en fait trois preuves indépendantes de ce théorème. La première preuve est de Hesselink et n'est valide que dans le cas où le sous-groupe parabolique est un sous-groupe de Borel. Elle utilise un argument de suites spectrales et le théorème de Borel-Weil-Bott. La seconde preuve est de Kempf et n'est valide que dans le cas où le radical unipotent de P agit trivialement sur son algèbre de Lie. Elle n'utilise que le théorème de Borel-Weil-Bott. Enfin, la troisième preuve est attribuée à Elkik. Elle est valide pour tout sous-groupe parabolique mais utilise le théorème de Grauert-Riemenschneider. On présente aussi une construction détaillée du faisceau des opérateurs différentiels sur une variété. / Let G be a semisimple algebraic group on a field of characteristic 0. This thesis discusses a vanishing theorem for the higher cohomology of the sheaf D of differential operators on a flag variety of G. We show that if P is a parabolic subgroup of G, then H^i(G/P,D)=0 for all i>0. In fact, we give three independent proofs of this theorem. The first proof, due to Hesselink, only works if the parabolic subgroup P is a Borel subgroup. It uses a spectral sequence argument as well as the Borel-Weil-Bott theorem. The second proof, due to Kempf, only works if the unipotent radical of P acts trivially on its Lie algebra. It only uses the Borel-Weil-Bott theorem. Finally, the third proof, due to Elkik, is valid for any parabolic subgroup. However, it uses the Grauert-Riemenschneider theorem. We also present a detailled construction of the sheaf of differential operators on a variety.

Cette thèse est consacrée à l'étude de la trace canonique et de deux types de déterminants : d'une part un déterminant associé à la trace canonique sur une classe d'opérateurs pseudodifférentiels et d'autre part des déterminants associés à des traces régularisées. Dans une première partie, en dimension impaire, nous revisitons l'unicité de la trace canonique sur l'espace des opérateurs pseudodifférentiels classiques de classe impaire avant de l'étendre aux opérateurs log-polyhomogènes de classe impaire. Nous classifions les traces sur l'algèbre des opérateurs pseudodifférentiels classiques de classe impaire d'ordre zéro. Dans la 2e partie, nous établissons la localité de l'anomalie multiplicative du déterminant pondéré et du déterminant zeta. Ces résultats sont obtenus grâce à l'étude de la localité de la trace pondérée de l'opérateur L(A,B). Nous déduisons alors de ces résultats l'expression locale de ces anomalies multiplicatives en fonction du résidu noncommutatif. Enfin, nous classifions les déterminants multiplicatifs en utilisant la classification des traces sur les opérateurs pseudodifférentiels de classe impaire et d'ordre zéro en dimension impaire. Nous définissons aussi le déterminant symétrisé obtenu de la trace canonique aplliquée au logarithme symétrisé en dimension impaire. Nous montrons la multiplicativité de ce déterminant sous certaines restrictions sur les coupures spectrales des opérateurs.

Cette thèse concerne les jeux différentiels à somme nulle et à deux joueurs avec information incomplète. La structure de l'information est liée à un signal que reçoivent les joueurs. Cette information est dite symétrique quand la connaissance du signal est la même pour les deux joueurs (le signal est public), et asymétrique quand les signaux reçus par les joueurs peuvent être différents (le signal est privé).Ces signaux sont révélés au cours du jeu. Dans plusieurs situations de tels jeux, il est montré dans cette thèse, l'existence d'une valeur du jeu et sa caractérisation comme unique solution d'une équation aux dérivées partielles.Un type de structure d'information concerne le cas symétrique où le signal est réduit à la connaissance par les joueurs de l'état du système au moment où celui-ci atteint une cible donnée (les données initiales inconnues sont alors révélées). Pour ce type du jeu, nous avons introduit des stratégies non anticipatives qui dépendent du signal et nous avons obtenu l'existence d'une valeur.Comme les fonctions valeurs sont en général irrégulières (seulement continues), un des points clefs de notre approche est de prouver des résultats d'unicité et des principes de comparaison pour des solutions de viscosité lipschitziennes de nouveaux types d'équation d'Hamilton-Jacobi-Isaacs associées aux jeux étudiés. / In this thesis we investigate two-person zero-sum differential games with incomplete information. The information structure is related to a signal communicated to the players during the game.In such games, the information is symmetric if both players receive the same signal (namely it is a public signal). Otherwise, if the players could receive different signals (i.e. they receive private signals), the information is asymmetric. We prove in this thesis the existence of value and the characterization of the value function by a partial differential equation for various types of such games.A particular type of such information structure is the symmetric case in which the players receive as their signal the current state of the dynamical system at the moment when the state of the dynamic hits a fixed target set (the unknown initial data are then revealed to both players). For this type of games, we introduce the notion of signal-depending non-anticipative strategies with delay and we prove the existence of value with such strategies.As the value functions are in general irregular (at most continuous), a crucial step of our approach is to prove the uniqueness results and the comparison principles for viscosity solutions of new types of Hamilton-Jacobi-Isaacs equation associated to the games studied in this thesis.

Avec les espaces de finitude, Ehrhard a exhibé une sémantique de la logique linéaire contenant une opération de différentiation. Dans ce cadre, l'interprétation des formules est décomposable en séries de Taylor. Cette étude a engendré des syntaxes différentielles. Cette thèse de sémantique dénotationnelle prolonge ce travail par une exploration de sémantiques vectorielles de la logique linéaire, et contribue à l'étude sémantique et syntaxique de la formule de Taylor. La première partie aborde la sémantique. Nous présentons l'interprétation des constructions de la logique linéaire dans les espaces vectoriels munis d'une topologie linéarisée, les espaces de Lefschetz. Nous définissons une notion intrinsèque d'espaces de finitude, les espaces de Lefschetz finitaires. Nous caractérisons les espaces de Lefschetz réflexifs complets à l'aide de bornologies linéaires. Enfin, nous montrons que la décomposition de Taylor reste valide dans ces espaces. La seconde partie porte sur les syntaxes différentielles. La formule de Taylor syntaxique traduit un terme en une superposition de termes différentiels qui sont autant de possibilités d'exécutions. Comme l'ont montré Ehrhard et Regnier, les termes issus de cette traduction vérifient une relation de cohérence. Nous introduisons une sémantique totale qui capture cette relation. Puis, nous construisons une extension vectorielle du lambda-calcul, le calcul barycentrique, interprété par cette sémantique totale. Enfin, dans le cadre des réseaux différentiels, nous présentons un algorithme non déterministe qui permet de décider si un ensemble fini de réseaux différentiels provient de la traduction d'un réseau de la logique linéaire par la formule de Taylor syntaxique.

La Géométrie de l'Interaction (GdI) de Girard est une sémantique des langage de programmations tenant compte de leur dynamique de réduction.<br />Dans un premier temps, on présente les réseaux d'interaction de Lafont comme une instance particulière de GdI. Puis, on définis un cadre général d'étude de la GdI à partir d'un ensemble de symboles et de règles d'interaction.<br />Dans un second temps, on introduit une notion de concision associée à la GdI et on montre dans quelle mesure cette notion fait du sens à l'aide d'une famille d'exemple basée sur les entiers de Church.<br />Dans un dernier temps, on présente les réseaux d'interaction différentiels d'Ehrhard et Regnier et on définit leur GdI. On montre que la théorie usuelle de Danos-Regnier est entièrement récupérée.

Au cours de son processus de transition vers une économie de marché, l'Etat chinois a choisi de réformer le secteur étatique de manière graduelle plutôt que de recourir à des privatisations massives, tout en promouvant l'émergence d'un secteur non-étatique composé d'entreprises collectives, privées ou individuelles, et à capitaux étrangers. L'évolution conjointe de ces différents types d'entreprises a entraîné une diversification de la structure de l'emploi, comme de la structure des revenus du travail. Le marché du travail urbain a des chances d'être segmenté par type d'entreprises, puisque la fixation des salaires peut être influencée par des règles institutionnelles différentes selon le type de propriété des entreprises et la mobilité du travail qui demeure fortement contrainte. La première partie de nos analyses empiriques examine les écarts salariaux entre quatre types d'entreprises en Chine urbaine en 1995. Nos résultats de décompositions confirment l'hypothèse que la segmentation du marché du travail urbain est à l'origine d'une part importante des différentiels salariaux entre les différents types d'entreprises. Jusqu'au milieu des années 1990, les travailleurs des SOEs jouissent d'une position particulièrement protégés. La deuxième partie de nos analyses empiriques porte sur les inégalités salariales de genre en 1988 et 1995 et propose des analyses conjointes de la segmentation par type d'entreprise et de la discrimination de genre. Nos résultats révèlent que la segmentation du marché du travail et l'hétérogénéité de comportements des différents types d'entreprises ont des impacts considérables sur les inégalités salariales de genre ainsi que leur évolution.