Il a été question dans ce travail, sous la direction de F. de Thélin, de l'étude de certains systèmes d'équations aux dérivées partielles faisant intervenir l'opérateur $p$-Laplacien ($ \Delta_p u = div(|\nabla u|^{p-2} \nabla u) $). Cet opérateur elliptique dégénéré apparaît dans de nombreux problèmes aussi bien en mathématiques fondamentales qu'en sciences expérimentales (écoulement de glacier de montagne, extraction pétrolière, dynamique des populations et d'autres encore). Il généralise l'opérateur Laplacien usuel $ \Delta = \Delta_2 $ dont l'étude a été largement abordée ces dernières décennies. Nous nous sommes attachés à étudier certaines propriétés des solutions de ces systèmes telles que l'existence, l'unicité et la régularité dans des domaines non bornés et en particulier $ \mathbb{R}^N $. Ces résultats ont été obtenus sous des conditions variées portant sur le comportement des termes de réactions qui interviennent dans les problèmes. Dans cette thèse, nous avons généralisé au cas non borné un outil très utilisé pour appréhender des équations aux dérivées partielles de ce type, qui est connu sous le nom d'inégalité de Díaz-Saa. Elle nous a permis d'obtenir des résultats d'existence et d'unicité de solution pour un système sous des conditions du même type que celles de H. Brézis et L. Oswald. En outre, nous avons utilisé le théorème du col et la méthode des sous,sur-solutions pour montrer une condition nécessaire et suffisante d'existence dans le cas sur-homogène et sous-critique et dans le cas sous-homogène. Une partie de cette thèse a aussi été consacrée à l'étude du comportement asymptotique des solutions de tels systèmes dépendant d'un paramètre. Le comportement de ces solutions lorsque le paramètre tend vers l'infini dépend essentiellement du comportement des termes de réactions à l'infini.

Dans ce mémoire, on s'intéresse à des briques utiles à la cryptographie asymétrique et principalement au problème du logarithme discret. Dans une première partie, nous présentons un survol de différentes notions algorithmiques de couplages sur des jacobiennes de courbes de genre 2 et décrivons les détails d'une implémentation soigneuse. Nous faisons une comparaison à niveau de sécurité équivalent avec les couplages sur les courbes elliptiques. Une deuxième partie est dévolue à la recherche de modèles efficaces pour les courbes elliptiques et les surfaces de Kummer non-ordinaires en caractéristique 2. Pour le genre 1, nous obtenons que le modèle d'Edwards binaire se déduit du modèle d'Edwards classique en caractéristique zéro. Pour le genre $2$, nous utilisons des techniques de "déformation" qui consistent à considérer une famille de jacobiennes sur un anneau des séries formelles, telle que la fibre générique soit ordinaire et la fibre spéciale soit la jacobienne considérée. Il s'agit alors de montrer que la loi de groupe sur la fibre générique s'étend à tout le modèle. Nous comparons les lois de composition ainsi obtenues avec celles déjà connues.

On s'intéresse dans cette thèse au pseudo-spectre d'une classe particulière d'opérateurs non auto-adjoints. Plus précisément, on étudie les propriétés microlocales régissant les phénomènes de stabilité ou d'instabilité spectrale qui apparaissent sous l'effet de petites perturbations pour les opérateurs différentiels définis en quantification de Weyl par des symboles quadratiques elliptiques à valeurs complexes. Nous établissons dans ce manuscript une condition nécessaire et suffisante simple portant sur le symbole de Weyl de tels opérateurs, qui assure la stabilité de leurs spectres. Lorsque cette condition est violée, nous démontrons qu'il se développe de très fortes instabilités spectrales pour les hautes énergies de ces opérateurs dans des régions -- qui peuvent être très éloignées de leurs spectres -- dont nous donnons une description géométrique précise. Pour mettre en évidence de telles instabilités spectrales, nous sommes amenés à étudier et à établir certaines conditions géométriques assurant l'existence de quasi-modes semi-classiques pour des opérateurs pseudo-différentiels généraux.

Nous démontrons un résultat d'équidistribution sur les courbes modulaires: les orbites galoisiennes d'invariants modulaires a l'intérieur d'une même classe d'isogénie non~CM se répartissent le long de la mesure de Poincaré sur la courbe modulaire. Un corollaire est que la hauteur des points considérés diverge, retrouvant là un résultat de Szpiro et Ullmo. Pour obtenir cet énoncé nous combinons des propriétés galoisiennes (le théorème de Serre sur l'action du groupe de Galois sur les points de division) et des propriétés ergodiques (le théorème de Ratner sur les flots unipotents dans les espaces de réseaux, ou plutôt l'équidistribution des points de Hecke). Nous généralisons notre méthode dans le cadre des variétés de Shimura. Dans ce cadre, en~revanche, l'un de nos ingrédients repose sur une forme de la conjecture de Mumford-Tate. Cela nous amène à étudier, dans une seconde partie, des raffinements de l'équidistribution des points de Hecke. Apparaissent alors certaines questions de divergence dans les espaces de réseaux. La méthode de linéarisation de Dani-Margulis ramène cette question à un énoncé géométrique. Nous apportons une réponse à cette question. Dans le cas réel, il s'agit d'une collaboration avec Nimish Shah. Dans le cas p-adique, nous sommes amenés à utiliser la géométrie ultramétrique récemment développée par Berkovich, en relation avec la théorie de Bruhat-Tits, et plus particulièrement des résultats recents de B. Remy, A. Thuillier et A. Werner. Nous sommes amenés en particulier à démontrer - des propriétés de décomposition des immeubles inspirées des théorème de décomposition de Mostow sur les espaces symétriques; - des propriétés de convexité sur les immeubles de fonctions analytiques, au sens ultramétrique, sur le groupe associé. Nous illustrons enfin comment nos résultats, en combinaison avec les travaux de D. Kleinbock et G. Tomanov, et le théorème de Ratner, s'appliquent à l'étude de problèmes S-arithmétiques dans les espaces de réseaux.

L'objectif de cette thèse est l'étude d'une classe d'équations aux dérivées partielles sous-elliptiques semi-linéaires avec un potentiel singulier sur le groupe de Heisenberg. Le terme non linéaire de cette équation est contrôlée par les inégalités de Sobolev et la singularité est contrôlé par l'inégalité de Hardy. Ce problème est une généralisation du problème classique de l'espace euclidien. Le premier résultat de cette thèse est une généralisation de l'inégalité classique Hardy avec un potentiel singulier dont la croissance est exactement l'analogue de celle du cas classique. Le second résultat est d'établir l'existence de solution du problème de Dirichlet semi-linéaire avec un potentiel singulier sur le groupe de Heisenberg en utilisant la théorie de points critiques, comme le théorème de Rabinowitz et de Palais-Smale.

Au début du XXème siècle, Poincaré puis Birkhoff ont été amenés, lors de leur recherche sur le problème restreint des trois corps, à étudier les courbes invariantes par une transformation d'une surface préservant l'aire. Cinquante ans plus tard, les théorèmes KAM démontrent la persistance de courbes invariantes après perturbation en topologie de classe k plus grande ou égale à trois. On peut alors se demander ce que devient ce résultat en topologie de classe moins élevée. Par ailleurs, l'étude des dynamiques C1-génériques connaît de nombreux développements, grâce notamment au Connecting Lemma. Par exemple, Bonatti et Crovisier on démontré qu'un difféomorphisme C1-générique d'une telle surface possède un ensemble dense de points dont l'orbite sort de tout compact. Ces deux résultats permettent de penser qu'un difféomorphisme C1-générique d'une surface n'admet pas de courbes fermées simples invariantes. C'est ce que nous démontrons dans ce travail. On obtient assez facilement, en utilisant le Connecting Lemma ainsi que les propriétés topologiques de l'anneau, qu'un difféomorphisme C1-générique de l'anneau possède des points périodiques sur toute courbe fermée simple invariante. Cela se généralise à une surface quelconque en utilisant une famille dénombrable d'anneau constituant une base de voisinages d'une courbe fermée simple quelconque. La construction d'une telle famille d'anneaux est le principal résultat du premier chapitre. Il s'agit alors de supprimer les points périodiques sur les courbes invariantes. Dans un premier temps, nous nous inspirerons d'un argument qu'Herman utilise dans le cadre de courbes invariantes par les twists de l'anneau pour montrer que tous les points périodiques ne peuvent être hyperboliques. Ensuite, nous définissons une propriété, la propriété Γ, qui si elle est vérifiée par un difféomorphisme symplectique et l'un de ses points périodiques elliptiques, empêche que ce point périodique appartienne à une courbe invariante. En montrant que cette propriété est vérifiée par un difféomorphisme C1-générique et tous ses points périodiques elliptiques, nous obtenons le résultat souhaité. Dans le quatrième chapitre, nous nous employons à définir de façon rigoureuse la notion de fonction génératrice qui est l'outil classique pour perturber des difféomorphismes symplectiques

Ce travail est dédié à la mise en place de deux méthodes originales de type domaine fictif pour la résolution de problèmes elliptiques (de type convection-diffusion) avec des conditions aux limites générales et éventuellement mixtes : Dirichlet, Robin ou Neumann. <br />L'originalité de ces méthodes consiste à utiliser le maillage du domaine fictif, généralement non adapté à la géométrie du domaine physique, pour définir une frontière immergée approchée sur laquelle seront appliquées les conditions aux limites immergées. Un même schéma numérique générique permet de traiter toutes les conditions aux limites générales. Ainsi, contrairement aux approches classiques de domaine fictif, ces méthodes ne nécessitent ni l'introduction d'un maillage surfacique de la frontière immergée ni la modification locale du schéma numérique. Deux modélisations de la frontière immergée sont étudiées. Dans la première modélisation, appelée interface diffuse, la frontière immergée approchée est l'union des mailles traversées par la frontière originelle. Dans la deuxième modélisation, la frontière immergée est approchée par une interface dite fine s'appuyant sur les faces de cellules du maillage. Des conditions de transmissions algébriques combinant les sauts de la solution et du flux sont introduites sur cette interface fine. Pour ces deux modélisations, le problème fictif à résoudre ainsi que le traitement des conditions aux limites immergées sont détaillés. Un schéma aux éléments finis Q1 est utilisé pour valider numériquement le modèle à interface diffuse alors qu'un nouveau schéma aux volumes finis est développé pour le modèle à interface fine et sauts immergés. Chaque méthode est combinée avec un algorithme de raffinement de maillage multi-niveaux (avec résidu de solution ou du flux) autour de la frontière immergée afin d'améliorer la précision de la solution obtenue. <br />Parallèlement, une analyse théorique de convergence en maillage non adapté au domaine physique a été effectuée pour une méthode d'éléments finis Q1. Cette étude démontre l'ordre de convergence des méthodes de domaine fictif mises en place.<br />Parmi les nombreuses applications industrielles possibles, une simulation sur une maquette d'échangeur de chaleur dans les centrales nucléaires permet d'apprécier la performance des méthodes mises en oeuvre.

Dans cette thèse, on aborde plusieurs questions ayant trait au calcul des variations et à la théorie des équations aux dérivées partielles elliptiques.<br /><br />Dans le chapitre 1, on étudie la condition de pente minorée pour des fonctions définies sur la frontière d'un ouvert de $\R^n.$ <br />Dans le chapitre 2, on s'intéresse à un problème de calcul des variations où la fonctionnelle est de la forme $$u\mapsto \int\{ F(\nabla u(x))+G(x,u(x))\}\,dx$$ et où la condition de Dirichlet est définie par une fonction vérifiant la condition de pente minorée. <br /> Dans le chapitre 3, on étudie une équation aux dérivées partielles elliptique à forme divergentielle avec une condition de Dirichlet qui vérifie la condition de pente minorée. <br />Dans le chapitre 4, on décrit les composantes connexes de l'ensemble $W^{s,p}(M,N).$ <br />Dans le chapitre 5, nous identifions l'ensemble singulier d'une fonction $u\in W^{s,p}(S^N,S^1).$

Thèse doctorat : Mathématiques : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 5 p.

Depuis 2000 les couplages sont devenus un très bon outil pour la conception de nouveaux protocoles cryptographiques. Les signatures courtes et le chiffrement basé sur l'identité sont devenus réalisables grâce aux couplages. Les travaux réalisés dans cette thèse comprennent deux aspects complémentaires. Une partie consiste en l'implémentation optimisée de couplages sur différentes courbes elliptiques, en fonction des protocoles visés. Une implémentation sur des courbes supersingulières en grande caractéristique et sur des courbes de Barreto-Naehrig est détaillée. La bibliothèque développée au Laboratoire Chiffre de Thales est utilisée avec des courbes de Barreto-Naehrig dans un protocole de diffusion chiffrée. La seconde application évalue la différence de temps de calcul pour des protocoles utilisant les couplages sur des courbes d'ordre composé (un large module RSA) et la traduction de ces protocoles qui utilise plusieurs couplages sur des courbes plus habituelles. Les résultats montrent une différence d'un facteur de 30 à 250 en fonction des étapes des protocoles, ce qui est très important. Une seconde partie porte sur deux familles de courbes de genre deux. Les jacobiennes de ces courbes sont isogènes au produit de deux courbes elliptiques sur une extension de corps de petit degré. Cette isogénie permet de transférer les propriétés des courbes elliptiques vers les jacobiennes. Le comptage de points est aisé et ne requiert qu'un comptage de points sur une des courbes elliptiques isogènes, plus quelques ajustements. On présente aussi la construction de deux endomorphismes à la fois sur les jacobiennes et sur les courbes elliptiques. Ces deux endomorphismes permettent des multiplications scalaires efficaces en suivant la méthode de Gallant, Lambert et Vanstone, ici en dimension quatre.