Ma thèse généralise la notion de criticité pour le modèle d'Ising en dimension 2. J'y définis une nouvelle notion d'holomorphie discrète sur une décomposition cellulaire d'une surface de Riemann. Le modèle d'Ising converge, à la limite thermodynamique vers une théorie conforme continue, quand la limite est prise sur un réseau (carré, triangulaire), près de la température critique. J'étends cette criticité à des décompositions cellulaires générales et je décompose le spineur en parties holomorphes et antiholomorphes discrètes, analogues discrets des blocs conformes. On définit une équation de Cauchy-Riemann discrète sur le double d'une décomposition cellulaire. Des théorèmes classiques sont encore transposables: harmonicité, base des différentielles, pôle, théorème des résidus. Il y a des différences, le produit point par point ne préserve pas l'holomorphie, les pôles sont d'ordre un, l'espace des formes holomorphes est de dimension double du genre. On définit une carte comme étant semi-critique si d'une fonction holomorphe discrète $f$ et d'une carte locale plate $Z$ on peut faire une $1$-forme fermée $fdZ$ et critique si $fdZ$ est holomorphe. Cette classe contient les réseaux mais bien plus. Une suite convergente de fonctions holomorphes discrètes sur une suite convergente de cartes critiques a pour limite une fonction holomorphe sur la surface de Riemann. Dans le cas des réseaux triangulaires et carrés, on démontre que la criticité statistique d'Ising équivaut à notre criticité pour une structure conforme reliée aux constantes d'intéraction. On définit une équation de Dirac sans masse, l'existence d'une solution équivaut à la criticité. Le spineur de Dirac permet alors de décomposer le fermion d'Ising en une partie holomorphe et une partie antiholomorphe.

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.

Cette thèse est consacrée à la résolution de problèmes d'analyse non linéaire multivoque dans lesquels plusieurs variables interagissent. Le problème générique est modélisé par une inclusion vis-à-vis d'une somme d'opérateurs monotones sur un espace hilbertien produit. Notre objectif est de concevoir des nouveaux algorithmes pour résoudre ce problème sous divers jeux d'hypothèses sur les opérateurs impliqués et d'étudier le comportement asymptotique des méthodes élaborées. Une propriété commune aux algorithmes est le fait qu'ils procèdent par éclatement en ceci que les opérateurs monotones et, le cas échéant, les opérateurs linéaires constitutifs du modèle agissent indépendamment au sein de chaque itération. Nous abordons en particulier le cas où les opérateurs monotones sont des sous-différentiels de fonctions convexes, ce qui débouche sur de nouveaux algorithmes de minimisation. Les méthodes proposées unifient et dépassent largement l'état de l'art. Elles sont appliquées aux inclusions monotones composites en dualité, aux problèmes d'équilibre, au traitement du signal et de l'image, à la théorie des jeux, à la théorie du trafic, aux équations d'évolution, aux problèmes de meilleure approximation et à la décomposition de domaine dans les équations aux dérivées partielles.

Les propriétés de transport linéaire et certaines lois de comportement non linéaires des milieux désordonnés sont étudiées à la lumière de progrès récents de la physique statistique des milieux hétérogènes. Une emphase particulière est mise sur les situations où les approches d'homogénéisation sont inapplicables dans la mesure où le concept même de volume élémentaire représentatif est pris en défaut. Nous utilisons en revanche les notions de point critique, de lois d'échelle, d'exposant critique, de fractals, et de structures auto-affinés à propos de nombreux modèles introduits et discutés. Sont successivement considérés, la théorie de la percolation de connexité et de forces centrales, la théorie des chemins minimaux, et finalement certains modèles de rupture fragile de milieux inhomogènes. Dans tous ces cas, le rôle joué par le désordre tant géométrique que dans les propriétés des constituants élémentaires, est souligné. Une place importante est réservée à une revue de nombreux résultats publiés dans la littérature ainsi qu'à des simulations numériques les concernant.

Le sujet de cette thèse est la conception et l'implantation d'algorithmes efficaces pour des opérations de base en calcul formel, ainsi que leurs applications à des domaines connexes, comme la théorie algorithmique des nombres et la cryptographie. Une première partie traite de l'algorithmique de base sur les polynômes à une variable. L'outil systématiquement mis en oeuvre est une version constructive du principe de transposition de Tellegen, qui permet d'obtenir de nouveaux algorithmes pour l'évaluation multipoint et l'interpolation (dans diverses bases polynomiales et pour diverses familles de points d'évaluation), ainsi qu'un théorème d'équivalence entre les complexités de ces deux problèmes. La deuxième partie est consacrée à l'algorithmique des nombres algébriques. Nous étudions d'abord certaines opérations élémentaires, comme la somme, le produit et leur généralisation, le produit diamant de Brawley et Carlitz. Leur calcul repose sur l'utilisation de l'opérateur de Newton formel et de la dualité algébrique, traduite algorithmiquement par l'emploi du principe de transposition et des méthodes de type pas de bébés / pas de géants. Ces méthodes sont ensuite généralisées au cadre des systèmes de polynômes de dimension zéro, pour le calcul de polynômes minimaux dans des algèbres quotient, ainsi que de paramétrisations rationnelles. Dans la troisième partie, nous étudions la question du calcul d'un terme d'une suite récurrente linéaire à coefficients polynomiaux. Comme application, nous obtenons des améliorations théoriques et pratiques des méthodes de comptage de points utilisées en cryptographie. Nous proposons ensuite une méthode de type évaluation-interpolation pour certaines opérations usuelles sur les opérateurs différentiels linéaires à coefficients polynomiaux.

Optimization is a scientific discipline that lies at the boundary between pure and applied mathematics. Indeed, while on the one hand some of its developments involve rather theoretical concepts, its most successful algorithms are on the other hand heavily used by numerous companies to solve scheduling and design problems on a daily basis. Our research started with the study of the conic formulation for convex optimization problems. This approach was already studied in the seventies but has recently gained a lot of interest due to development of a new class of algorithms called interior-point methods. This setting is able to exploit the two most important characteristics of convexity: - a very rich duality theory (existence of a dual problem that is strongly related to the primal problem, with a very symmetric formulation), - the ability to solve these problems efficiently, both from the theoretical (polynomial algorithmic complexity) and practical (implementations allowing the resolution of large-scale problems) point of views. Most of the research in this area involved so-called self-dual cones, where the dual problem has exactly the same structure as the primal: the most famous classes of convex optimization problems (linear optimization, convex quadratic optimization and semidefinite optimization) belong to this category. We brought some contributions in this field: - a survey of interior-point methods for linear optimization, with an emphasis on the fundamental principles that lie behind the design of these algorithms, - a computational study of a method of linear approximation of convex quadratic optimization (more precisely, the second-order cone that can be used in the formulation of quadratic problems is replaced by a polyhedral approximation whose accuracy that can be guaranteed a priori), - an application of semidefinite optimization to classification, whose principle consists in separating different classes of patterns using ellipsoids defined in the feature space (this approach was successfully applied to the prediction of student grades). However, our research focussed on a much less studied category of convex problems which does not rely on self-dual cones, i.e. structured problems whose dual is formulated very differently from the primal. We studied in particular - geometric optimization, developed in the late sixties, which possesses numerous application in the field of engineering (entropy optimization, used in information theory, also belongs to this class of problems) - l_p-norm optimization, a generalization of linear and convex quadratic optimization, which allows the formulation of constraints built around expressions of the form |ax+b|^p (where p is a fixed exponent strictly greater than 1). For each of these classes of problems, we introduced a new type of convex cone that made their formulation as standard conic problems possible. This allowed us to derive very simplified proofs of the classical duality results pertaining to these problems, notably weak duality (a mere consequence of convexity) and the absence of a duality gap (strong duality property without any constraint qualification, which does not hold in the general convex case). We also uncovered a very surprising result that stipulates that geometric optimization can be viewed as a limit case of l_p-norm optimization. Encouraged by the similarities we observed, we developed a general framework that encompasses these two classes of problems and unifies all the previously obtained conic formulations. We also brought our attention to the design of interior-point methods to solve these problems. The theory of polynomial algorithms for convex optimization developed by Nesterov and Nemirovsky asserts that the main ingredient for these methods is a computable self-concordant barrier function for the corresponding cones. We were able to define such a barrier function in the case of l_p-norm optimization (whose parameter, which is the main determining factor in the algorithmic complexity of the method, is proportional to the number of variables in the formulation and independent from p) as well as in the case of the general framework mentioned above. Finally, we contributed a survey of the self-concordancy property, improving some useful results about the value of the complexity parameter for certain categories of barrier functions and providing some insight on the reason why the most commonly adopted definition for self-concordant functions is the best possible.

Le but de cette thèse est de développer de nouvelles techniques d'éclatement d'opérateurs multivoques pour résoudre des problèmes d'inclusion monotone structurés dans des espaces hilbertiens. La dualité au sens des inclusions monotones tient une place essentielle dans ce travail et nous permet d'obtenir des décompositions qui ne seraient pas disponibles via une approche purement primale. Nous développons plusieurs algorithmes à métrique fixe ou variable dans un cadre unifié, et montrons en particulier que de nombreuses méthodes existantes sont des cas particuliers de la méthode explicite--implicite formulée dans des espaces produits adéquats. Les méthodes proposées sont appliquées aux problèmes d'inéquations variationnelles, aux problèmes de minimisation, aux problèmes inverses, aux problèmes de traitement du signal, aux problèmes d'admissibilité et aux problèmes de meilleure approximation. Dans un second temps, nous introduisons une notion de suite quasi-fejérienne à métrique variable et analysons ses propriétés asymptotiques. Ces résultats nous permettent d'obtenir des extensions de méthodes d'éclatement aux problèmes où la métrique varie à chaque itération.

Dans cette thèse, nous nous intéressons à deux types de décompositions des graphes introduits par Robertson et Seymour: les décompositions arborescentes et les décompositions en branches. À ces décompositions sont associés deux paramètres des graphes: la largeur arborescente et la largeur de branches. Nous montrons que ces deux décompositions peuvent être vues comme issues d'une même structure combinatoire; les deux paramètres mentionné ci-dessus sont égaux aux valeurs minimales de deux paramètres de cette structure commune. En poussant plus avant cette analogie, nous montrons comment adapter une technique de calcul de la largeur arborescente au calcul de la largeur de branches. Ceci nous permet de calculer la largeur de branches des graphes de nombre astéroïde borné ayant un nombre polynômial de séparateurs minimaux et celle des graphes d-trapézoïdes circulaires. Ce parallèle nous permet aussi d'adapter certains résultats structurels sur les décompositions en branches aux décompositions arborescentes. Dans le cas des graphes planaires, nous interprétons ces propriétés à l'aide d'outils topologiques. De cette façon, nous donnons une démonstration simple d'un théorème de dualité reliant la largeur arborescente d'un graphe planaire et celle de son dual. Ces outils nous permettent aussi d'énumérer de façon efficace les séparateurs minimaux des graphes planaires.

Ce travail explore la dualité telle qu’elle se présente dans deux ouvrages d’André Gide, Les Caves du Vatican et Les Faux-Monnayeurs. Thème majeur de la littérature, le double ne cesse d’illustrer les différentes tensions qui se créent et se combattent chez une seule et même personne. Souvent représenté physiquement dans la littérature du XIXe siècle à la suite de la figure du Doppelgänger, le double chez Gide se complexifie : plus subtil, il se manifeste de manière psychologique. La dualité se présente de deux manières dans les écrits d’André Gide : chez les personnages et à travers la narration. Par l’étude des contradictions et des inconséquences des personnages, de la représentation de la dualité chez différents personnages, de leur dédoublement et de leurs doubles discours, il sera possible de constater à quel point les personnages structurent la dualité. L’analyse de l’identité des narrateurs, de leurs interventions et des figures de rhétorique qu’ils emploient permettra également de comprendre que plus ils se révèlent, plus ils se complexifient. / This work explores duality as it is portrayed in two books by André Gide, Les Caves du Vatican (translated as Lafcadio’s Adventures and The Vatican Cellars) and Les Faux-Monnayeurs (The Counterfeiters). The concept of the double is a major literary theme which sheds light on the various tensions lashing against each other within individuals. Often depicted in physical form in 19th century literature following the use of the Doppelgänger figure, the double found in Gide’s writings is more complex: subtler, it remains psychological but is not visible. There are two major ways in which duality appears in Gide’s books: through the characters, and through the narrative. Studying the characters’ contradictions and inconsistencies, the representation of duality in various characters, their ability to become another character’s double, and their double discourses enables us to establish the extent to which the characters structure duality. An analysis of the narrators’ identities, of their interventions, and of the rhetorical figures they use also shows that the more they reveal themselves, the more complex they become.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal