En 2008, Romik a publié un article très intéressant sur les triplets pythagoriciens et l'équation diophantienne a2 + b2 — c2. Il identifie une transformation à partir de cette équation qui possède plusieurs propriétés dynamiques intéressantes. Il démontre, en autre, que ce système dynamique est conservatif et ergodique et ce, en utilisant des résultats sur la théorie ergodique infinie contenus dans un livre d'Aaronson. L'étude qui suit a deux objectifs généraux. D'une part, nous voulons rassembler les résultats nécessaires à la compréhension du travail de Romik tout en exposant la démarche pour le cas du système dynamique issue de l'équation a2 + b2 = c2. D'autre part, nous voulons répondre à la question suivante de Romik : pouvons-nous identifier une transformation et un système dynamique à partir de l'équation diophantienne a2 + ab + b2 = c2 ? Nous définissons une telle transformation et terminons en étudiant les propriétés de conservativité et d'ergodicité de ce nouveau système dynamique.

Québec Université Laval, Bibliothèque 2019

Le but principal de cet ouvrage consiste à présenter la notion de capacité et ses propriétés fondamentales en théorie du potentiel. Pour y arriver, nous définirons d'abord le potentiel et l'énergie engendrés par un noyau quelconque, et nous en démontrerons certaines propriétés. En particulier, nous nous intéresserons aux noyaux de M. Riesz pour pouvoir définir la notion de a-potentiel et de a-énergie, ce qui nous amène à la définition de la a-capacité et celle de la capacité logarithmique. Parallèlement à cela nous ferons l'étude de la capacité dans les espaces Cv et ceux de Besov. Finalement, comme une application, nous démontrerons l'inégalité de type fort pour la capacité dans les espaces de Besov.

Le présent mémoire a pour but de présenter deux techniques permettant l'obtention d'une estimation de la distribution d'une variable aléatoire lorsque les données historiques sont inexistantes ou confidentielles. Les modèles proposés se basent sur la consultation de plusieurs spécialistes du domaine dont les avis sont combinés afin d'obtenir une estimation de la distribution inconnue. Dans les deux cas, la distribution finale est le résultat d'un processus mathématique d'évaluation des experts réalisé à l'aide de variables de calibration. Le premier modèle utilise des techniques statistiques classiques alors que le second fait appel à la règle de Bayes. Le mémoire propose également une mise en oeuvre informatique des modèles ainsi que des exemples commentés.

Ce document propose des outils de simulation de matrices nulles basés sur la loi conditionnelle d’une matrice de présence-absence sachant ses statistiques exhaustives. Ces outils sont basés sur la régression logistique et de plus, ils tiennent compte de l’hétérogénéité des sites et aussi de l’interaction qui peut exister entre les variables qui définissent cette hétérogénéité. Dans ce travail, nous avons traité le cas où les variables qui caractérisent l’hétérogénéité des sites sont binaires et elles sont au plus au nombre de deux. Ainsi, deux outils ont été mis en place à savoir l’algorithme basé sur la régression logistique avec interaction entre les deux variables sites et celui sans interaction entre les variables sites. À partir d’une étude de simulation sur10 000 matrices de présence-absence, nous avons pu, non seulement décrire les propriétés des algorithmes mis en place, mais aussi comparer ces derniers avec d’autres algorithmes de simulation de matrices nulles. Ces comparaisons ont permis de constater que les tests scores avec les algorithmes basés sur la régression logistique avec ou sans interaction entre lesvariables sites donnent des résultats acceptables peu importe l’impact des variables sites. En revanche, l’algorithme ’fixed-fixed’, lorsque les variables sites ont des effets alternés, devient vulnérable aux erreurs de type I. Avec l’algorithme basé sur le modèle d’indépendance, les résultats obtenus ne sont pas fiables parce que le test est très vulnérable aux erreurs de type I.Pour l’algorithme de Peres-Neto, le test de score est très conservateur mais celui-ci s’améliore avec les variables sites à effets alternés. Pour finir, ces différents algorithmes ont été utiliséspour simuler des matrices nulles à partir d’un jeu de données réelles. Cela nous a permis decomparer la structure des matrices simulées par les différents algorithmes par rapport à celle de la matrice observée. / This document proposes tools of simulation of null matrices based on the conditional law of a presence-absence matrix knowing its sufficient statistics. These tools are based on logistic regression and, moreover, they take into account the heterogeneity of the sites and also the interaction that can exist between the variables that define this heterogeneity. In this work, we have treated the case where the variables that characterize the heterogeneity of the sites are binary and there are more than two. Thus, two tools have been put in place, namely the logistic regression algorithm with interaction between the two site variables and the one without interaction between the site variables. From a simulation study on10 000 presence-absence matrices, we were able not only to describe the properties of the implemented algorithms, but also to compare these algorithms with other null matrix simulation algorithms. These comparisons showed that the score tests with the logistic regression based algorithms with or without interaction between the site variables give acceptable results regardless of the impactof the site variables. On the other hand, the ’fixed-fixed’ algorithm, when the site variables have alternate effects, becomes vulnerable to type I errors. With the algorithm based on the independence model, the results obtained are not reliable because the test is very vulnerable to type I errors. For the Peres-Neto algorithm, the score test is very conservative but itimproves with the alternate effect site variables. Finally, these different algorithms were used to simulate null matrices from a real dataset. This enabled us to compare the structure of the matrices simulated by the different algorithms with respect to that of the observed matrix.

Dans cet ouvrage, une méthode d'analyse de liaison génétique qui tient compte de l'hétérogénéité non-allélique est développée. Nous proposons une modification à l'analyse à un locus par le modèle de Smith qui tient compte de l'hétérogénéité inter-familiale afin de s'adapter à la présence d'hétérogénéité intra-familiale. Notre approche consiste d'abord à décomposer des familles tri-générationnelles en branches individuelles, soit en familles bi-générationnelles. Par cette décomposition, l'hétérogénéité intra-familiale est "transformée" en hétérogénéité inter-familiale. Les familles bi-générationnelles sont ensuite analysées à l'aide d'un locus et du modèle de Smith. La puissance de la méthode proposée est comparée à celle de plusieurs autres analyses, notamment à celle de l'analyse des familles tri-générationnelles lorsqu'il y a hétérogénéité intra-familiale. On vérifie également si le découpage des familles fait gonfler la proportion d'erreurs de type I. / This study presents a linkage analysis method for cases of recombination heterogeneity when it is located in bilineal pedigrees. We propose a modification of the single-locus analysis by Smith's admixture model - which is concerned with inter-familial heterogeneity - so it becomes more appropriate for cases of intra-familial heterogeneity. Our approach first consists in decomposing large pedigrees into nuclear pedigrees so that the intra-familial heterogeneity of the large pedigrees is transformed into inter-familial heterogeneity between the nuclear pedigrees. Then, the nuclear pedigrees are considered both with a single-locus analysis and Smith's admixture model. The power of the proposed method is compared to the power of other methods, including the power of the specific case where there is intra-familialheterogeneity in large pedigrees. We also verify if the decomposition of the pedigrees results in a bigger proportion of type I errors.

Cette thèse s’inscrit dans le vaste domaine des équations aux dérivées partielles et des systèmes dynamiques, et s’articule autour de deux sujets distincts. Le premier est relié à l’étude des équations de coagulation-fragmentation discrètes avec diffusion. En utilisant des lemmes de dualité, on établit de nouvelles estimations Lp pour des moments polynomiaux associés aux solutions, sous une hypothèse de convergence des coefficients de diffusion. Ces estimations sur les moments permettent ensuite d’obtenir de nouveaux résultats de régularité, et de démontrer qu’une fragmentation suffisamment forte peut empêcher la gelation dans le modèle incluant la diffusion. Le second sujet est celui des preuves assistées par ordinateur dans le domaine des systèmes dynamiques. On améliore et on applique une méthode basée sur le théorème du point fixe de Banach, permettant de valider a posteriori des solutions numériques. Plus précisément, on élargit le cadre d’application de cette méthode pour inclure des opérateurs avec un terme dominant linéaire tridiagonal, on perfectionne une technique permettant de calculer et de valider des variétés invariantes, et on introduit une nouvelle technique qui améliore de manière significative l’utilisation de l’interpolation polynomiale dans le cadre de ces méthodes de preuves assistées par ordinateur. Ensuite, on applique ces techniques pour démontrer l’existence d’ondes progressives pour l’équation du pont suspendu, et pour étudier les états stationnaires non homogènes d’un système de diffusion croisée. / This thesis falls within the broad framework of partial differential equations and dynamical systems, and focuses more specifically on two independent topics. The first one is the study of the discrete coagulation-fragmentation equations with diffusion. Using duality lemma we establish new Lp estimates for polynomial moments of the solutions, under an assumption of convergence of the diffusion coefficients. These moment estimates are then used to obtain new results of smoothness and to prove that strong enough fragmentation can prevent gelation even in the diffusive case. The second topic is the one of computer-assisted proofs for dynamical systems. We improve and apply a method enabling to a posteriori validate numerical solutions, which is based on Banach’s fixed point theorem. More precisely, we extend the range of applicability of the method to include operators with a dominant linear tridiagonal part, we improve an existing technique allowing to compute and validate invariant manifolds, and we introduce an new technique that significantly improves the usage of polynomial interpolation for a posteriori validation methods. Then, we apply those techniques to prove the existence of traveling waves for the suspended bridge equation, and to study inhomogeneous steady states of a cross-diffusion system.

Dans ce mémoire, on étudie l'amenabilite et les notions analogues introduites plus récemment. On consacre le chapitre deux à rappeler des définitions et à donner des exemples. Dans le chapitre trois, on étudie l'article [1]. On montre que le produit interne dans une algèbre A admet deux prolongement sur A**. On étudie ces deux prolongements et on donne des conditions nécessaires et suffisantes pour que le prolongement sur A** soit unique. Le chapitre quatre porte essentiellement sur l'amenabilite des algèbres de Banach. On étudie la relation entre une algèbre amenable et l'existence d'une unité approchée, ainsi que le lien entre A et A** du point de vue de l'amenabilite. Dans cette partie, on se base sur [2] et [4]. Dans le chapitre cinq, on étudie l'amenabilite approximative, qui est une notion plus faible que l'amenabilite. On fait ressortir les analogues avec les résultats du chapitre quatre. Ce chapitre porte essentiellement sur les articles [7] et [9].

Ce document traite le problème de l’élasticité en grandes déformations avec contact frottant. Dans le premier chapitre, nous présentons un rappel des lois auxquelles nous ferons référence : lois de comportement matériau, conditions aux limites, contact et frottement selon la loi de Coulomb. Le coeur de la thèse commence par la discrétisation des conditions de bord. L’imposition en moyenne de la non-pénétration et de la loi de Coulomb est explicitée dans le but de se ramener en dimension finie. C’est dans ce domaine que les algorithmes sont développés. Les conditions d’optimalité sont donc calculées pour le problème déjà discrétisé et sont linéarisées par la suite selon le paradigme des contraintes actives. Suivant cette stratégie, l’état de contact est fixé à chaque itération de la méthode de Newton, transformant les conditions de contact en contraintes d’égalité. Le système de conditions d’optimalité ainsi obtenu peut alors être linéarisé. La résolution de ce nouveau système linéaire constitue l’autre partie importante de cette thèse. Les méthodes de pénalisation et d’Uzawa sont d’abord exposées ; elles serviront de point de comparaison. Nous construisons par la suite un algorithme basé sur un GCR préconditionné par une factorisation faisant apparaître un complément de Schur. Le tout est présenté d’abord dans le cas plus simple du contact sans frottement, puis en ajoutant le frottement. Des résultats numériques, parfois académiques (des cubes) et parfois industriels (des lamelles de pneus), viennent finalement appuyer les convictions que non seulement ces méthodes sont rapides, mais qu’elles sont aussi robustes. / This thesis addresses the problem of large deformation elasticity with frictional contact. In the first chapter, we recall the laws to which we refer: material behavior laws, boundary conditions, contact and friction according to Coulomb’s law. The heart of the thesis begins with the discretization of boundary conditions. Mortar formulations for non-penetration and Coulomb’s law are explained in order to set the problem in a finite dimensional space. Optimality conditions are calculated for the discretized problem and are subsequently linearized according to the paradigm of active set strategy. Under this approach, the contact state is set at each iteration of Newton’s method, transforming the contact conditions in equality constraints. The system of optimality conditions thus obtained can then be linearized. The resolution of this new linear system is another important part of this thesis. Methods of penalization and Uzawa are first exposed; they serve as a comparison point. Thereafter, we introduce a preconditioned GCR algorithm based on a factorization using a Schur complement. The whole problem is presented first in the simplest case of contact without friction, and, in the last chapter, with friction. Numerical results, sometimes academic (cubes) and sometimes industrial (slides tires) finally support the belief that not only these methods are efficient, but they are also robust.

Pour une fonction additive f et une fonction multiplicative g , soit E ( f, g ; x ) := # { n ≤ x : f ( n ) = g ( n ) } . Dans cette thèse, nous améliorons le résultat de De Koninck, Doyon et Letendre relatif à l’ordre de grandeur de E ( ω, g ; x ) et E (Ω , g ; x ) . Nous obtenons aussi des résultats généralisant l’inégalité d’Hardy-Ramanujan et le théorème de Landau. De plus, nous appliquons la méthode de Selberg-Delange de façon à obtenir une formule relative à la fréquence des fonctions ω ( n ) et Ω( n ) en progression arithmétique. Finalement, nous trouvons une condition suffisante pour qu’une fonction arithmétique quel- conque possède une fonction de répartition et obtenons une version quantitative du théorème d’Erdős-Wintner. / For an additive function f and a multiplicative function g , let E ( f, g ; x ) := # { n ≤ x : f ( n ) = g ( n ) } . In this thesis, we improve the result of De Koninck, Doyon and Letendre regarding the order of magnitude of E ( ω, g ; x ) and E (Ω , g ; x ) . We also obtain results which generalise the Hardy-Ramanujan inequalities and the Landau theorem. Moreover, we use the Selberg-Delange method in order to obtain a formula on the frequency of the fonctions ω ( n ) and Ω( n ) in arithmetic progression. Finaly, we find a sufficient condition for an arithmetical function to possess a distribution function and obtain a quantitative version of the Erdős-Wintner theorem.