Sur une variété kählérienne compacte connexe de dimension 2m, ! étant la forme de Kähler, ­ une forme volume donnée dans [!]m et k un entier 1 < k < m, on cherche à résoudre de façon unique dans [!] l'équation ˜ !k ^!m−k = ­ en utilisant une notion de k-positivité pour ˜ ! 2 [!] (les cas extrêmes sont résolus : k = m par Yau, k = 1 trivialement). Nous résolvons par la méthode de continuité l'équation hessienne d'ordre k complexe elliptique correspondante sous l'hypothèse que la variété est à courbure bisectionelle holomorphe non-négative, ici requise seulement pour établir un pincement a priori de valeurs propres.

On étudie quelques familles de problèmes aux limites elliptiques non linéaires d'ordre 2, de la forme Au=f(λ,χ,u,ε) où les réels positifs λ et ε qui apparaissent dans la non linéarité de f jouent, respectivement, le rôle de paramètre de bifurcation et de paramètre de perturbation. On considère l'aspect branches de solutions, retournements, pour ε>0 et ε→0 dans 5 cas

ON S'INTERESSE A UNE CLASSE D'INEQUATIONS VARIATIONNELLES ELLIPTIQUES, ASSOCIEES A UN PROBLEME D'OBSTACLE ET DEPENDANT D'UN PARAMETRE LAMBDA : A(A,V-U) >OU= SOM::(OMEGA )LAMBDA F(U)(V-U)DX POUR TOUT V APPARTIENT A K, U APPARTIENT A K=(W APPARTIENT A H::(0)**(1)(OMEGA )/W OU= PSI P.P. SUR OMEGA ). UNE TELLE INEQUATION ADMET AU MOINS UNE BRANCHE DE SOLUTIONS EQUATION ET UNE BRANCHE DE SOLUTIONS INEQUATIONS. ON CHERCHE A CONNAITRE LA STRUCTURE LOCALE DES BRANCHES INEQUATIONS. GRACE A UN PROCESSUS DE LINEARISATION "CONIQUE" ON CLASSE LES POINTS DE LA BRANCHE INEQUATION EN POINTS REGULIERS OU SINGULIERS. AU VOISINAGE D'UN POINT REGULIER, ON MONTRE QUE LES SOLUTIONS ADMETTENT UN DEVELOPPEMENT SELON LAMBDA . PUIS ON ETUDIE LE COMPORTEMENT LOCAL DES SOLUTIONS AU VOISINAGE D'UN POINT SINGULIER VERIFIANT CERTAINES HYPOTHESES, QUI SONT A RAPPROCHER DE CELLES FAITES POUR LES EQUATIONS ET QUI ASSURENT QU'ON A DU POINT DE RETOURNEMENT. ON MONTRE QUE, DANS CERTAINS CAS, IL EXISTE UN TEL POINT SINGULIER, SUR LA BRANCHE DE SOLUTIONS MAXIMALES. LES BRANCHES EQUATIONS ET INEQUATIONS SONT RELIEES PAR UN POINT APPELE POINT DE TRANSITION. ON FAIT UNE ETUDE PLUS FINE AU VOISINAGE DE CE POINT. UNE ETUDE DES DIVERSES CONDITIONS INTRODUITES POUR L'ETUDE LOCALE, MONTRE QU'ELLES SONT FORTEMENT LIEES A UNE CONDITION TYPE STABILITE. ILLUSTRATION NUMERIQUE SUR QUELQUES PROBLEMES D'OBSTACLE

Cette thèse porte sur l'étude des ondes stationnaires d'équations dispersives non linéaires, en particulier l'équation de Schrödinger, mais aussi celle de Klein-Gordon. Les travaux présentés s'articulent autour de deux questions principales : l'existence et la stabilité orbitale de ces ondes stationnaires. <br /><br />L'existence est étudiée par des méthodes essentiellement variationnelles. En plus de la simple existence, on met en évidence différentes caractérisations variationnelles des ondes stationnaires, par exemple en tant que points critiques d'une certaine fonctionnelle au niveau du col ou au niveau de moindre énergie, ou encore en tant que minimiseurs d'une fonctionnelle sur différentes contraintes.<br /><br />Selon la puissance de la non-linéarité et la forme de la dépendance en espace, on démontre que les ondes stationnaires sont stables ou instables. Lorsqu'elles sont instables, on met en évidence que dans certaines situations l'instabilité se manifeste par explosion, tandis que dans d'autres les solutions sont globalement bien posées. En plus des différentes caractérisations variationnelles des <br />ondes stationnaires, les preuves des résultats de stabilité et d'instabilité nécessitent de dériver des informations de nature spectrale. En particulier, dans la première partie de cette thèse, on prouve un résultat de non-dégénérescence du linéarisé pour un problème limite. Dans la deuxième partie, on localise la deuxième valeur propre du linéarisé par la combinaison d'une méthode perturbative et d'arguments de continuation.

Dans cette thèse on étudie des schémas numériques pour des processus<br />/X/ à coefficients discontinus. Un premier schéma pour le cas<br />unidimensionnel utilise les Équations Différentielles Stochastiques<br />avec Temps Local. En effet en dimension un les processus /X/ sont<br />solutions de telles équations. On construit une grille sur la droite<br />réelle, qu'une bijection adéquate transforme en une grille uniforme<br />de pas /h/. Cette bijection permet de transformer /X/ en /Y/ qui se<br />comporte localement comme un Skew Brownian Motion, pour lequel on<br />connaît les probabilités de transition sur une grille uniforme, et le<br />temps moyen passé sur chaque cellule de cette grille. Une marche<br />aléatoire peut alors être construite, qui converge vers /X/ en racine<br />de /h/. Toujours dans le cas unidimensionnel on propose un deuxième<br />schéma plus général. On se donne une grille non uniforme sur la<br />droite réelle, dont les cellules ont une taille proportionnelle à<br />/h/. On montre qu'on peut relier les probabilités de transition de<br />/X/ sur cette grille, ainsi que le temps moyen passé par /X/ sur<br />chacune de ses cellules, à des solutions de problèmes d'EDP<br />elliptiques ad hoc. Une marche aléatoire en temps et en espace est<br />ainsi construite, qui permet d'approcher /X/ à nouveau en racine de<br />/h/. Ensuite on présente des pistes pour adapter cette dernière<br />approche au cas bidimensionnel et les problèmes que cela soulève.<br />Enfin on illustre par des exemples numériques les schémas étudiés.

Dans cette thèse, on étudie les représentations 2-dimensionnelles continues du groupe de Galois absolu d'une clôture algébrique fixée de Q sur les corps finis qui sont modulaires et leurs images. Ce manuscrit se compose de deux parties.Dans la première partie, on étudie un problème local-global pour les courbes elliptiques sur les corps de nombres. Soit E une courbe elliptique sur un corps de nombres K, et soit l un nombre premier. Si E admet une l-isogénie localement sur un ensemble de nombres premiers de densité 1 alors est-ce que E admet une l-isogénie sur K ? L'étude de la repréesentation galoisienne associéee à la l-torsion de E est l'ingrédient essentiel utilisé pour résoudre ce problème. On caractérise complètement les cas où le principe local-global n'est pas vérifié, et on obtient une borne supérieure pour les valeurs possibles de l pour lesquelles ce cas peut se produire.La deuxième partie a un but algorithmique : donner un algorithme pour calculer les images des représentations galoisiennes 2-dimensionnelles sur les corps finis attachées aux formes modulaires. L'un des résultats principaux est que l'algorithme n'utilise que des opérateurs de Hecke jusqu'à la borne de Sturm au niveau donné n dans presque tous les cas. En outre, presque tous les calculs sont effectués en caractéristique positive. On étudie la description locale de la représentation aux nombres premiers divisant le niveau et la caractéristique. En particulier, on obtient une caractérisation précise des formes propres dans l'espace des formes anciennes en caractéristique positive.On étudie aussi le conducteur de la tordue d'une représentation par un caractère et les coefficients de la forme de niveau et poids minimaux associée. L'algorithme est conçu à partir des résultats de Dickson, Khare-Wintenberger et Faber sur la classification, à conjugaison près, des sous-groupes finis de $\PGL_2(\overline{\F}_\ell)$. On caractérise chaque cas en donnant une description et des algorithmes pour le vérifier. En particulier, on donne une nouvelle approche pour les représentations irréductibles avec image projective isomorphe soit au groupe symétrique sur 4 éléments ou au groupe alterné sur 4 ou 5 éléments.

L'objet de cette thèse est l'étude de diverses primitives cryptographiques utiles dans des protocoles Diffie-Hellman. Nous étudions tout d'abord les protocoles Diffie-Helmman sur des structures commutatives ou non. Nous en proposons une formulation unifiée et mettons en évidence les différents problèmes difficiles associés dans les deux contextes. La première partie est consacrée à l'étude de pseudo-paramétrisations de courbes algébriques en temps constant déterministe, avec application aux fonctions de hachage vers les courbes. Les propriétés des courbes algébriques en font une structure de choix pour l'instanciation de protocoles reposant sur le problème Diffie-Hellman. En particulier, ces protocoles utilisent des fonctions qui hachent directement un message vers la courbe. Nous proposons de nouvelles fonctions d'encodage vers les courbes elliptiques et pour de larges classes de fonctions hyperelliptiques. Nous montrons ensuite comment l'étude de la géométrie des tangentes aux points d'inflexion des courbes elliptiques permet d'unifier les fonctions proposées tant dans la littérature que dans cette thèse. Dans la troisième partie, nous nous intéressons à une nouvelle instanciation de l'échange Diffie-Hellman. Elle repose sur la difficulté de résoudre un problème de factorisation dans un anneau de polynômes non-commutatifs. Nous montrons comment un problème de décomposition Diffie-Hellman sur un groupe non-commutatif peut se ramener à un simple problème d'algèbre linéaire pourvu que les éléments du groupe admettent une représentation par des matrices. Bien qu'elle ne soit pas applicable directement au cas des polynômes tordus puisqu'ils n'ont pas d'inverse, nous profitons de l'existence d'une notion de divisibilité pour contourner cette difficulté. Finalement, nous montrons qu'il est possible de résoudre le problème Diffie-Hellman sur les polynômes tordus avec complexité polynomiale.

On s'intéresse dans ce mémoire aux équations de la magnétohydrodynamique (MHD) dans des milieux hétérogènes, i.e. dans des milieux pouvant présenter des variations (éventuellement brutales) de propriétés physiques. En particulier, on met ici l'accent sur la résolution des équations de Maxwell dans des milieux avec des propriétés magnétiques inhomogènes. On présentera une méthode non standard pour résoudre ce problème à l'aide d'éléments finis de Lagrange. On évoquera ensuite l'implémentation dans le code SFEMaNS, développé depuis 2002 par J.-L. Guermond, C. Nore, J. Léorat, R. Laguerre et A. Ribeiro, ainsi que les premiers résultats obtenus dans les simulations de dynamo. Nous nous intéresserons par exemple au cas de la dynamo dite de Von Kármán, afin de comprendre l'expérience VKS2. En outre, nous aborderons des cas de dynamo en précession, ou encore le problème de la dynamo au sein d'un écoulement de Taylor-Couette.

Le but de ce travail est de montrer comment la théorie des systèmes d'Euler permet de comparer, dans certaines extensions abéliennes, le module galoisien des unités globales modulo unités de Stark avec le module galoisien des p-classes d'idéaux. On ne s'intéresse ici qu'aux extensions abéliennes ayant pour corps de base k un corps quadratique imaginaire, ou un corps global de caractéristique non nulle. La conjecture de Gras prévoit que pour toute extension abélienne finie K/k, tout nombre premier p premier à [K : k], et tout Qp-caractère ψ irréductible et non trivial de Gal (K/k), les ψ-parties du groupe des p-classes de K et du groupe des unités de K modulo le groupe des unités de Stark ont le même cardinal. Après avoir démontré une version faible de la conjecture, nous reprenons la méthode des systèmes d'Euler afin d'étendre les résultats obtenus entre autres par Rubin, Xu et Zhao. Ensuite nous nous plaçons dans le cas où k est un corps quadratique imaginaire uniquement, et nous considérons une certaine Zp-extension k∞ de k, où p est un nombre premier différent de 2 et 3, décomposé dans k. Nous démontrons que pour toute extension finie K∞ de k∞ abélienne sur k, et tout Cp-caractère irréductible χ du sous-groupe de torsion de Gal(K∞/k), les idéaux caractéristiques des χ-quotients du module des p-classes et du module des unités modulo unités de Stark sont les mêmes. Il s'agit d'une des versions de la conjecture principale de la théorie d'Iwasawa, qui élargit un résultat de Rubin et Bley. C'est aussi une étape pour un travail ultérieur, où nous étendons un résultat de Rubin concernant la conjecture principale à deux variables

Le problème du logarithme discret sur courbes elliptiques est à la base de nombreux protocoles cryptographiques, dans la mesure où on ne connaît jusqu'à présent aucun algorithme permettant de l'attaquer efficacement. Du point de vue de la cryptanalyse, certaines approches basées sur des méthodes de calcul d'indices, et s'appuyant sur la résolution de systèmes pour la recherche de relations, sont toutefois prometteuses. La première partie de cette thèse est consacrée aux techniques de calcul de bases de Gröbner appliquées à la résolution de systèmes polynomiaux. Après une description détaillée des algorithmes F4 et F5 de Faugère considérés comme les plus performants actuellement, on présente et analyse une variante de l'algorithme F4, particulièrement utile pour la résolution de nombreux systèmes "similaires". Plusieurs exemples d'applications de ce nouvel algorithme sont donnés à la fois au domaine du calcul formel et de la cryptographie, montrant que pour certaines attaques algébriques, cette variante est plus efficace que F4 et F5. Etant munis de ces nouveaux outils, on étudie dans la seconde partie le problème du logarithme discret sur courbes algébriques. Après une présentation rapide des attaques existantes sur ce type de courbes dans un contexte général, on s'intéresse plus particulièrement aux courbes elliptiques définies sur des extensions de corps finis. On donne ainsi une description complète des techniques GHS, puis des méthodes d'attaques par décomposition introduites par Gaudry et Diem. On présente notamment des variantes de ces méthodes de décompositions permettant, grâce aux outils introduits en première partie de cette thèse, de fragiliser le DLP (et des problèmes reliés) sur courbes elliptiques sur une gamme plus large d'extensions de corps finis. Enfin, une nouvelle approche combinant les attaques par recouvrement ainsi que les méthodes de décompositions est proposée : cette attaque permet entre autres de calculer complètement le logarithme discret sur des courbes elliptiques définies sur des extensions sextiques de taille jamais atteinte auparavant.