Dans cette thèse, on définit un invariant fonctoriel d'enchevêtrements dans le tore épaissi qui généralise l'intégrale de Kontsevich. Cet invariant est tout d'abord construit analytiquement à partir d'une version universelle de la connexion de Knizhnik-Zamolodchikov-Bernard elliptique. On donne ensuite une version combinatoire de sa construction, basée sur la notion d' " associateur elliptique " introduite par Enriquez. L'outil principal de cette dernière construction est un théorème qui caractérise la catégorie des enchevêtrements en genre quelconque par une propriété universelle exprimée dans le langage des catégories tensorielles.

Cette thèse est consacrée à l’analyse numérique en particulier aux estimations a posteriori de l’erreur dans la méthode de décomposition asymptotique partielle de domaine. Il s’agit de problèmes au dérivées partielles elliptiques linéaires et semi- linéaires avec une source qui ne dépend que d’une seule variable dans une partie du domaine. La MAPDD - Méthod of Asymptotic Partial Domain Decomposition - est une méthode inventée par Grigori . Panasenko et développée dans les références [G.P98, G.P99]. L’aidée principale est de remplacer un problème 3D ou 2D par un problème hybride combinée 3D−1D, 3D−2D ou 2D−1D, ou la dimension du problème diminue dans une partie du domaine. Des méthodes de calcul efficaces de solution pour le problème hybride en résultant sont récemment devenues disponibles pour plusieurs systèmes (linéaires/non linéaires, fluide/solide, etc.) ainsi chaque sous-problème est calcul ́ avec un code indépendant de type boîte noire [PBB10, JLB09, JLB11]. La position de la jonction entre les problèmes hétérogènes est asymptotiquement estimée dans les travaux de G. Panasenko [G.P98]. La méthode MAPDD a été conçu pour traiter des problèmes ou un petit paramètre apparaître, et fournit un développement en série de la solution avec des solutions de problèmes simplifiées à l’égard de ce petit paramètre. Dans le problème considéré dans les chapitres 3 et 4, aucun petit paramètre n’existe, mais en raison de considérations géométriques concernant le domaine on suppose que la solution ne diffère pas significativement d’une fonction qui dépend seulement d’une variable dans une partie du domaine Ω. La théorie de MAPDD n’est pas adaptée pour une telle situation, et si cette théorie est appliquée formellement elle ne fournit pas d’estimation d’erreur. / This thesis is devoted to numerical analysis in particular a postoriori estimates of the error in the method of asymptotic partial domain decomposition. There are problems in linear elliptic partial and semi-linear with a source which depends only of one variable in a portion of domain. Method of Asymptotic Partial Decomposition of a Domain (MAPDD) originates from the works of Grigori.Panasonko [12, 13]. The idea is to replace an original 3D or 2D problem by a hybrid one 3D − 1D; or 2D − 1D, where the dimension of the problem decreases in part of domain. Effective solution methods for the resulting hybrid problem have recently become available for several systems (linear/nonlinear, fluid/solid, etc.) which allow for each subproblem to be computed with an independent black-box code [21, 17, 18]. The location of the junction between the heterogeneous problems is asymptotically estimated in the works of Panasenko [12]. MAPDD has been designed for handling problems where a small parameter appears, and provides a series expansion of the solution with solutions of simplified problems with respect to this small parameter. In the problem considered in chapter 3 and 4, no small parameter exists, but due to geometrical considerations concerning the domain Ω it is assumed that the solution does not differ very much from a function which depends only on one variable in a part of the domain. The MAPDD theory is not suited for such a context, but if this theory is applied formally it does not provide any error estimate. The a posteriori error estimate proved in this chapter 3 and 4, is able to measure the discrepancy between the exact solution and the hybrid solution which corresponds to the zero-order term in the series expansion with respect to a small parameter when it exists. Numerically, independently of the existence of an asymptotical estimate of the location of the junction, it is essential to detect with accuracy the location of the junction. Let us also mention the interest of locating with accuracy the position of the junction in blood flows simulations [23]. Here in this chapter 3,4 the method proposed is to determine the location of the junction (i.e. the location of the boundary Γ in the example treated) by using optimization techniques. First it is shown that MAPDD can be expressed with a mixed domain decomposition formulation (as in [22]) in two different ways. Then it is proposed to use an a posteriori error estimate for locating the best position of the junction. A posteriori error estimates have been extensively used in optimization problems, the reader is referred to, e.g. [1, 11].

Cette thèse est consacrée à la description et à l'étude de la sécurité de divers protocoles destinés à faire de l'authentification d'objets physiques à distance à base de comparaison de vecteurs binaires. L'objectif des protocoles proposés est de pouvoir réaliser une authentification en garantissant d'une part que les informations envoyées et reçues par le lecteur n'ont pas été manipulées par un adversaire extérieur et d'autre part sans révéler l'identité de l'objet testé à un tel adversaire, ou même, modulo certaines hypothèses raisonnables, aux composantes du système. Nous nous sommes fixés de plus comme objectif d'utiliser des méthodes de cryptographie sur courbe elliptique pour pouvoir profiter des bonnes propriétés de ces dernières, notamment une sécurité accrue par rapport à la taille des clefs utilisées. Nous présentons plusieurs protocoles atteignant l'objectif et établissons pour presque tous une preuve théorique de leur sécurité, grâce notamment à une nouvelle caractérisation d'une notion standard de sécurité. / This thesis is dedicated to the description of several bitrsitring comparison based remote object authentication protocols and the study of their theoretical security. The proposed protocols are designed to carry out the authentication of a given object while simultaneously guaranteeing that the information sent and received by the server cannot be tampered with by outside adversaries and that the identity of the tested object remains hidden from outside and (certain) inside adversaries. Finally it has been our objective to use elliptic curve cryptography, taking advantage of its useful properties, notably a better security level to key-size ratio. We present several protocols reaching these objectives, establishing for almost each protocol a theoretical proof of security using a new characterization of a standard security notion.

Les travaux réalisés dans cette thèse concernent l’étude de problèmes quasi-linéaires paraboliques et elliptiques singuliers. Par singularité, nous signifions que le problème fait intervenir une non linéarité qui explose au bord du domaine où l’équation est posée. La présence du terme singulier entraine un manque de régularité des solutions. Ce défaut de régularité génère en conséquence un manque de compacité qui ne permet pas d’appliquer directement les méthodes classiques d’analyse non linéaires pour démontrer l’existence de solutions et discuter les propriétés de régularité et de comportement asymptotique des solutions. Pour contourner cette difficulté dans le contexte des problèmes que nous avons étudiés, nous sommes amenés à établir des estimations a priori très fines au voisinage du bord en combinant diverses méthodes : méthodes de monotonie (reliées au principe du maximum), méthodes variationnelles, argument de convexité, méthodes d’interpolation dans les espaces de Sobolev, méthodes de point fixe. / In this thesis I have studied the Evolution p-laplacian equation with singular nonlinearity. We start by studying the corresponding elliptic problem and then by defining a proper cone in a suitable Sobolev space find the uniqueness of the solution. Taking that into account and using the semi discretization in time we arrive at the uniqueness and existence result. Next we prove some regularity theorem using tools from Nonlinear Semigroup theory and Interpolation spaces. We also establish some related result for the laplacian case where we improve our result on the existence and regularity, due to the non degeneracy of the laplacian. In another related work we work with a semilinear equation with singular nonlinearity and using the moving plane method prove the symmetry properties of any classical solution. We also give some related apriori estimates which together with the symmetry provide us the existence of solution using the bifurcation result.

L'objet de cette thèse est l'obtention de résultats uniformes sur l'image des représentations galoisiennes associées aux points de torsion des courbes elliptiques possédant une isogénie de degré premier. <br /><br />Le cadre se compose d'un corps de nombres K différent de Q et galoisien sur Q, d'une courbe elliptique E définie sur K et d'un nombre premier p ; on suppose que la courbe E possède une isogénie de degré p définie sur K.<br /><br />On détermine explicitement un nombre réel C(K), ne dépendant que du corps de nombres K, tel que si p est choisi strictement supérieur à C(K), alors l'image de la représentation galoisienne associée aux points de p-torsion de E contient les homothéties qui sont des puissances douzièmes. Ce résultat complète des travaux précédents d'Eckstein sur les homothéties dans l'image des représentations galoisiennes associées aux points de torsion des courbes elliptiques.<br /><br />La méthode employée est celle de Momose pour l'étude du caractère donnant l'action du groupe de Galois absolu de K sur le sous-groupe d'isogénie d'ordre p ("caractère d'isogénie").<br />Pour p strictement plus grand que C(K), on obtient deux formes possibles précises pour ce caractère d'isogénie : soit sa puissance douzième est égale au caractère cyclotomique à la puissance 6 ; soit il lui est naturellement associé un corps quadratique imaginaire et sa puissance douzième présente des similarités avec celle d'un caractère provenant d'une courbe elliptique à multiplication complexe.

On considère une famille (Pδ)δ>0 de problèmes aux limites et de transmission dans un domaine avec couche mince, écrit sous la forme d'une équation différentielle d'ordre deux abstraite de type elliptique . Une nouvelle approche pour la résolution de (Pδ)δ>0 est présentée dans ce travail utilisant le concept physique d'impédance. Cette méthode est différente de celle qui utilise un changement d'échelle sur la couche mince voir [Favini A., Labbas R., Lemrabet K. and Maingot S.]. Elle permet d'obtenir un problème direct et simplifié où l'effet de la couche mince se retrouve complètement décrit par l'opérateur d'impédance. Les techniques employées sont essentiellement basées sur le calcul fonctionnel de Dunford, la théorie des semi-groupes, l'interpolation et quelques idées des travaux de [R. Labbas, Thèse d'état], [Dore G., Favini A., Labbas R., Lemrabet K. and Maingot S.] et [Favini A., Labbas R., Maingot S., Tanabe H., Yagi A.]. On obtient des résultats nouveaux d'existence, d'unicité et de régularité maximale dans les espaces de Hölder pour fixé et ensuite on étudie le passage à la limite quand δ→0 de (Pδ)δ>0. Ce travail complète ainsi ce qui a été obtenu dans le cadre Lp, voir [Favini A., Labbas R., Lemrabet K. and Maingot S.].

Cette thèse porte sur l'étude expérimentale de deux tourbillons corotatifs parallèles, créés dans l'eau par le mouvement impulsionnel de deux plaques planes, et analysés au moyen de visualisations au colorant et de Visualisation par Images de Particules (PIV). Nous avons créé un algorithme de PIV optimisé pour les écoulements à forts gradients de vitesse, qui translate les fenêtres d'interrogation de manière symétrique puis les déforme en fonction des gradients de vitesse. Aux faibles nombres de Reynolds, les tourbillons restent bidimensionnels et laminaires et fusionnent en un unique vortex en trois étapes : (1) la croissance visqueuse des cœurs jusqu'à une taille critique égale à 24% de la distance de séparation, (2) la fusion convective, et (3) l'axisymétrisation du vortex final, dont le carré de la taille du cœur vaut deux fois le carré de la taille des vortex initiaux. Un modèle, basé sur le moment angulaire des filaments, prédit une déstabilisation du système de deux vortex et une chute de la distance de séparation, lorsque la taille du cœur dépasse une valeur critique. Aux nombres de Reynolds élevés, il apparaît une instabilité tridimensionnelle, liée à l'instabilité elliptique des cœurs des vortex, créant l'ondulation des cœurs des vortex à l'intérieur d'un tube de courant invariant. Le taux de croissance et la largeur de la bande de longueurs d'onde sont en très bon accord avec les prédictions théoriques. La fusion apparaît pour des tailles de cœur plus faibles, et donnent lieu à un vortex final plus turbulent et plus gros qu'en l'absence de l'instabilité tridimensionnelle. Enfin, nous avons analysé l'évolution d'une tache de colorant dans un des tourbillons de la paire. Ce scalaire est soumis à de l'hyperdiffusion grâce à l'action couplée de l'étirement et de la diffusion. Un modèle simple prédit une décroissance du scalaire comme t-3/2, mais indique que la densité de probabilité du scalaire reste stationnaire, ce qui est en accord avec les résultats expérimentaux. La densité de probabilité du scalaire évolue peu dans le cas de la fusion laminaire, mais décroît fortement lors de la fusion turbulente.

L'objectif de ce travail est d'établir l'existence et l'unicité de la solution pour une équation elliptique non linéaire dégénérée, posée dans un domaine non borné. Dans un premier temps, on mène notre étude dans un domaine borné et ceci en tronquant le domaine infini. Dans la première partie, on introduit le problème variationnel associé qui se traduit en terme d'une fonctionnelle non coercive à minimiser. Ainsi, on associe au problème de minimisation un problème dual puis on montre pour ce dernier l'existence et l'unicité de la solution. Ensuite on prouve par l'extraction d'une sous-suite minimisante l'existence d'une "solution" liée à celle du problème dual. Dans la deuxième partie, on définit un problème relaxé ayant le même infimum que le problème initial. Ensuite on établit que cet infimum est un minimum pour le problème relaxé. Les résultats de la première partie sont ensuite étendus au cas non borné. Enfin, on donne quelques critères pour estimer l'erreur de troncature entre les solutions du problème dual définies dans le cas borné et non borné.

Ce travail concerne la simulation d'écoulements viscoélastiques compressibles appliquée à l'injection de polymères. La compressibilité est intégrée dans Rem3D en supposant que la densité du matériau suit une loi d'évolution du type loi de Tait. La conservation de la masse est écrite comme une équation en vitesse, pression et température, à travers des coefficients de compressibilité isotherme et de dilatation isobare. Le système obtenu est désigné "Stokes compressible" et sa résolution numérique est faite par la méthode des éléments finis mixtes. Le système obtenu est non-linéaire et non-symétrique. Le couplage thermique et l'extension à des problèmes avec surface libre sont aussi consid ér és. Le modèle viscoélastique choisi est le modèle Pom-Pom, issu de la dynamique moléculaire. L'extra-contrainte est fonction des propriétés microscopiques du matériau, comme l'orientation moléculaire et son étirement. L'élasticité est vue comme une perturbation dans le problème mécanique, et une méthode de stabilisation du type DEVSS est utilisée. L'orientation et l'étirement sont déterminés par la résolution de deux équations d'évolution via une méthode espace-temps Galerkin discontinu. Finalement, la thermoviscoélasticité est abordée brièvement. Dans le contexte de l'injection de polymères, REM3D couvre aujourd'hui toutes les phases du proc éd é. Néanmoins, la solidification et la transition liquide-solide sont approximées par un comportement du type liquide de très haute viscosité. L'introduction de la compressibilité permet de compenser le retrait du matériau par un apport supplémentaire de matière. D'un autre côté, la prise en compte d'un comportement viscoélastique détecte d'éventuelles anisotropies des propriétés de la pièce injectée. Les diverses comparaisons des résultats obtenus avec la littérature et l'expérience montre une bonne concordance, validant les modèles implémentés.

Ce travail porte sur l'analyse asymptotique d'un problème de transmission avec couche mince dans un domaine bidimensionnel à coin. Précisément, on construit un dévelop\-pement asymptotique de la solution en fonction de l'épaisseur de la couche. La présence d'un coin engendre des singularités qui compromettent la construction habituelle du développement, par résolution alternative entre le domaine intérieur et la couche. Celles-ci sont traitées par l'introduction de profils construits dans un domaine infini avec couche d'épaisseur 1 à l'aide de la transformation de Mellin. On s'intéresse ensuite à la performance de la condition aux limites approchée, dont on sait qu'elle remplace l'effet de la couche mince jusqu'à l'ordre 3 dans le cas d'un domaine régulier. On montre que la présence d'un coin détériore son efficacité, ce d'autant plus que l'angle d'ouverture est grand. Des calculs numériques ont été effectués, qui confirment les résultats théoriques obtenus.