Dans le premier chapitre de cette thèse, nous passons en revue les outils de la théorie analytique des nombres qui seront utiles pour la suite. Nous faisons aussi un survol des entiers y−friables, c’est-à-dire des entiers dont chaque facteur premier est plus petit ou égal à y. Au deuxième chapitre, nous présenterons des problèmes classiques de la théorie des nombres probabiliste et donnerons un bref historique d’une classe de fonctions arithmétiques sur un espace probabilisé. Le problème de Erdos sur la table de multiplication demande quel est le nombre d’entiers distincts apparaissant dans la table de multiplication N × N. L’ordre de grandeur de cette quantité a été déterminé par Kevin Ford (2008). Dans le chapitre 3 de cette thèse, nous étudions le nombre d’ensembles y−friables de la table de multiplication N × N. Plus concrètement, nous nous concentrons sur le changement du comportement de la fonction A(x, y) par rapport au domaine de y, où A(x, y) est une fonction qui compte le nombre d’entiers y− friables distincts et inférieurs à x qui peuvent être représentés comme le produit de deux entiers y− friables inférieurs à p x. Dans le quatrième chapitre, nous prouvons un théorème de Erdos-Kac modifié pour l’ensemble des entiers y− friables. Si !(n) est le nombre de facteurs premiers distincts de n, nous prouvons que la distribution de !(n) est gaussienne pour un certain domaine de y en utilisant la méthode des moments. / The object of the first chapter of this thesis is to review the materials and tools in analytic number theory which are used in following chapters. We also give a survey on the development concerning the number of y−smooth integers, which are integers free of prime factors greater than y. In the second chapter, we shall give a brief history about a class of arithmetical functions on a probability space and we discuss on some well-known problems in probabilistic number theory. We present two results in analytic and probabilistic number theory. The Erdos multiplication table problem asks what is the number of distinct integers appearing in the N × N multiplication table. The order of magnitude of this quantity was determined by Kevin Ford (2008). In chapter 3 of this thesis, we study the number of y−smooth entries of the N × N multiplication. More concretely, we focus on the change of behaviour of the function A(x,y) in different ranges of y, where A(x,y) is a function that counts the number of distinct y−smooth integers less than x which can be represented as the product of two y−smooth integers less than p x. In Chapter 4, we prove an Erdos-Kac type of theorem for the set of y−smooth integers. If !(n) is the number of distinct prime factors of n, we prove that the distribution of !(n) is Gaussian for a certain range of y using method of moments.

L'objet de cette thèse est l'étude de certaines propriétés arithmétiques et combinatoires de la fonction somme des chiffres. Nous commençons par étudier les sommes d'exponentielles de la forme $dissum_{nleq x}expleft(2ipileft(frac{l}{m}S_q(n)+frac{k}{m'}S_{q}(n+1)+theta nright)right)$ en vue de montrer un résultat d'équirépartition modulo $1$ et un théorème probabiliste d'ErdH{o}s-Kac. Ensuite, on va généraliser un problème dû à Gelfond concernant l'étude de la répartition dans les progressions arithmétiques de la fonction somme des chiffres au cas des nombres ellipséphiques. En particulier, on donne un théorème analogue à celui d'Erdös, Mauduit et S'arközy sur l'uniforme répartition des entiers ellipséphiques dans les progressions arithmétiques sous une contrainte sur la somme des chiffres. Enfin, une étude de l'ordre moyen de certaines fonctions arithmétiques soumises à des contraintes digitales est faite en conséquence des travaux de Mkaouar et Wannès. / The aim of this thesis is the study of some arithmetic and combinatoric properties of the sum of digits function. We start by the study of exponential sums of the form $dissum_{nleq x}expleft(2ipileft(frac{l}{m}S_q(n)+frac{k}{m'}S_q(n+1)+theta nright)right)$ in order to establish a result of equidistribution modulo $1$ in addition to a probabilistic theorem of the kind ErdH{o}s-Kac. Then, we generalize a problem due to Gelfond concerning the distribution in residue classes of the sum of digits function in the case of integers with missing digits. Besides, we give a similar result to that of ErdH{o}s, Mauduit and S'ark"{o}zy on the uniform distribution of integers with missing digits in arithmetic progressions under a constraint on the sum of digits. Finally, a study of the order of magnitude of some arithmetical functions under digital constraints is done as a consequence of the works of Mkaouar and Wannès.

We initiate the study of a new class of semigroup C*-algebras arising from number-theoretic considerations; namely, we generalize the construction of Cuntz, Deninger, and Laca by considering the left regular C*-algebras of ax+b-semigroups from actions of congruence monoids on rings of algebraic integers in number fields. Our motivation for considering actions of congruence monoids comes from class field theory and work on Bost–Connes type systems. We give two presentations and a groupoid model for these algebras, and establish a faithfulness criterion for their representations. We then explicitly compute the primitive ideal space, give a semigroup crossed product description of the boundary quotient, and prove that the construction is functorial in the appropriate sense. These C*-algebras carry canonical time evolutions, so that our construction also produces a new class of C*-dynamical systems. We classify the KMS (equilibrium) states for this canonical time evolution, and show that there are several phase transitions whose complexity depends on properties of a generalized ideal class group. We compute the type of all high temperature KMS states, and consider several related C*-dynamical systems. / Graduate

Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.

The thesis is in two parts. The first part is the paper “The Distribution of k-free integers” that my advisor, Dr. Roger Baker, and I submitted in February 2009. The reader will note that I have inserted additional commentary and explanations which appear in smaller text. Dr. Baker and I improved the asymptotic formula for the number of k-free integers less than x by taking advantage of exponential sum techniques developed since the 1980's. Both of us made substantial contributions to the paper. I discovered the exponent in the error term for the cases k=3,4, and worked the case k=3 completely. Dr. Baker corrected my work for k=4 and proved the result for k=5. He then generalized our work into the paper as it now stands. We also discussed and both contributed to parts of section 3 on bounds for exponential sums. The second part represents my own work guided by my advisor. I study the zeros of derivatives of Dirichlet L-functions. The first theorem gives an analog for a result of Speiser on the zeros of ζ'(s). He proved that RH is equivalent to the hypothesis that ζ'(s) has no zeros with real part strictly between 0 and ½. The last two theorems discuss zero-free regions to the left and right for L^{(k)}(s,χ).

<p dir="ltr">We present first order asymptotic estimates for the divisor function problem, the set of lists (restricted number of divisors) problem, and a generalization of the overpartition problem. In particular, we prove Kotesovec's conjecture for A294363 from the OEIS and also extend his conjecture to a full asymptotic treatment by providing an estimate in terms of elementary functions for the EGF coefficients directly rather than the log of the coefficients. We also provide asymptotic estimates for generalizations of the set of lists and overpartition problem, while making comparisons to any existing Kotesovec conjectures. We perform the asymptotic analysis via Mellin transforms, residue analysis, and the saddle point method. These families of generating functions have potential application to families of randomly generated partitions in which ordered subsets of a partition that exceed a certain fixed size may be one of two different objects and to overpartitions with potential heading labels.</p>

Dans cette thèse, on s'intéresse aux plus grands facteur premiers d'entiers consécutifs. Désignons par $P^+(n)$ (resp. $P^-(n)$) le plus grand (resp. plus petit) facteur premier d'un entier générique $n\geq 1$ avec la convention que $P^+(1)=1$ (resp. $P^-(1)=\infty$). Dans le premier chapitre, nous étudions les plus grands facteurs premiers d'entiers consécutifs dans les petits intervalles. Nous démontrons qu'il existe une proportion positive d'entiers $n$ tels que $P^+(n)<P^+(n+1)$ pour $n\in\, ]x,\, x+y]$ avec $y=x^{\theta}, \tfrac{7}{12}<\theta\leq 1$. Nous obtenons un résultat similaire pour la condition $P^+(n)>P^+(n+1)$. Dans le deuxième chapitre, nous nous intéressons à la fonction $P_y^+(n)$, où $P_y^+(n)=\max\{p|n:\, p\leq y\}$ et $2\leq y\leq x.$ Nous montrons qu'il existe une proportion positive d'entiers $n$ tels que $P_y^+(n)<P_y^+(n+1)$. En particulier, la proportion d'entiers $n$ avec $P^+(n)<P^+(n+1)$ est plus grande que $0,1356$ en prenant $y=x.$ Les outils principaux sont le crible et un système de poids bien adapté. Dans le troisième chapitre, nous démontrons que les deux configurations $P^+(n-1)>P^+(n)<P^+(n+1)$ et $P^+(n-1)<P^+(n)>P^+(n+1)$ ont lieu pour une proportion positive d'entiers $n$, en utilisant le système de poids bien adapté que l'on a introduit dans le Chapitre 2. De façon similaire, on peut obtenir un résultat plus général pour $k$ entiers consécutifs, $k\in \mathbb{Z}, k\geq3$. Dans le quatrième chapitre, on étudie les plus grands facteurs premiers d'entiers consécutifs voisins d'un entier criblé. Sous la conjecture d'Elliott-Halberstam, nous montrons d'abord que la proportion de la configuration $P^+(p-1)<P^+(p+1)$ est plus grande que $0,1779$. Puis, nous démontrons qu'il existe une proportion positive d'entiers $n$ tels que $P^+(n)<P^+(n+2), P^-(n)>x^{\beta}$ avec $0<\beta<\frac{1}{3}$ / In this thesis, we study the largest prime factors of consecutive integers. Denote by $P^+(n)$ (resp. $P^-(n)$) the largest (resp. the smallest) prime factors of the integer $n\geq 1$ with the convention $P^+(1)=1$ (resp. $P^-(1)=\infty$). In the first chapter, we consider the largest prime factors of consecutive integers in short intervals. We prove that there exists a positive proportion of integers $n$ for $n\in\, (x,\, x+y]$ with $y=x^{\theta}, \tfrac{7}{12}<\theta\leq 1$ such that $P^+(n)<P^+(n+1)$. A similar result holds for the condition $P^+(n)>P^+(n+1)$. In the second chapter, we consider the function $P_y^+(n)$, where $P_y^+(n)=\max\{p|n:\, p\leq y\}$ and $2\leq y\leq x$. We prove that there exists a positive proportion of integers $n$ such that $P_y^+(n)<P_y^+(n+1)$. In particular, the proportion of the pattern $P^+(n)<P^+(n+1)$ is larger than $0.1356$ by taking $y=x.$ The main tools are sieve methods and a well adapted system of weights. In the third chapter, we prove that the two patterns $P^+(n-1)>P^+(n)<P^+(n+1)$ and $P^+(n-1)<P^+(n)>P^+(n+1)$ occur for a positive proportion of integers $n$ respectively, by the well adapted system of weights that we have developed in the second chapter. With the same method, we derive a more general result for $k$ consecutive integers, $k\in \mathbb{Z}, k\geq 3$. In the fourth chapter, we study the largest prime factors of consecutive integers with one of which without small prime factor. Firstly we show that under the Elliott-Halberstam conjecture, the proportion of the pattern $P^+(p-1)<P^+(p+1)$ is larger than $0.1779$. Then, we prove that there exists a positive proportion of integers $n$ such that $P^+(n)<P^+(n+2), P^-(n)>x^{\beta}$ with $0<\beta<\frac{1}{3}$

Made available in DSpace on 2016-04-27T16:57:42Z (GMT). No. of bitstreams: 1 dissertacao_janaina_maria_lage_souza.pdf: 309247 bytes, checksum: 01af28b792f08537756e1b46462d92d0 (MD5) Previous issue date: 2006-05-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The basis for the present study were the activities developed by Régine Douady (1986) involving the framing of rational numbers on intervals, addressed to French students of the educational segment that corresponds to 1st-8th grades in Brazil. In the present study, those activities were updated taking into account elements from recent Brazilian investigations on the meanings assigned by Brazilian students of 1st-8th grades to relations and to order relations, and elements of the Brazilian Curricular Guidelines of 1997 and 1998. By applying the methodology of case study, and in the light of the notion of tool object dialectic of Régine Douady (1984), the updated activities were presented in eight sessions to two mathematics teachers of the 7th and 8th grades in a private school in the city of São Paulo, both of whom were experienced in working with this theoretical framework, with the purpose of investigating what aspects these teachers take into consideration when discussing and developing their lesson plans regarding those activities. Particular attention was given to the changes and adaptations they made to the activities in order to facilitate their use in the classroom, based on their teaching practice, the actual features of the school and educational system in which this study was conducted, the school s program, recent investigations conducted with Brazilian students, the Brazilian Curricular Guidelines of 1997 and 1998, and the theoretical framework developed by Douady. In the present study, this process has been termed reupdating / A partir de atividades de Régine Douady (1986) envolvendo enquadramento de números racionais em intervalos, voltadas a alunos franceses do segmento de ensino correspondente ao ensino fundamental do Brasil, realizou-se na presente pesquisa uma atualização dessas atividades, estabelecendo diálogo com pesquisas brasileiras recentes sobre significados atribuídos por estudantes brasileiros do ensino fundamental a relações e relações de ordem e com os Parâmetros Curriculares Nacionais de 1997 e 1998. Recorrendo-se à metodologia de estudo de caso, e à luz da noção de dialética ferramenta objeto de Régine Douady (1984), as atividades atualizadas foram apresentadas em oito sessões a duas docentes do ensino fundamental, de sétima e oitava séries, de uma escola privada da cidade de São Paulo, experientes no trabalho com esse quadro teórico, com o objetivo de investigar o que essas professoras levam em consideração ao discutirem e elaborarem planejamentos de aulas referentes a essas atividades. Foi dada particular atenção às alterações e adaptações feitas por elas a essas atividades, de modo a favorecer sua proposição em sala de aula, tendo em vista sua prática docente, a realidade escolar em que se realizou este estudo, o programa dessa escola, pesquisas recentes realizadas com alunos brasileiros, os Parâmetros Curriculares Nacionais de 1997 e 1998 e o quadro teórico de Douady. Esse processo foi por nós denominado de reatualização

Le résumé n'est pas disponible. / Le résumé n'est pas disponible.

Dans cette thèse, on étudie deux types d’équations diophantiennes. Une première partie de notre étude porte sur la résolution des équations dites de Ramanujan-Nagell Cx2+ b2mD = yn. Une deuxième partie porte sur les équations dites de Ngell-Ljunggren xp+ypx+y = pezq incluant le cas diagonal p = q. Les nouveaux réesultats obtenus seront appliqués aux équations de la forme xp + yp = Bzq. L’équation de Catalan-Fermat (cas B = 1) fera l’objet d’un traitement à part. / In this thesis, we study two types of diophantine equations. A ?rst part of our study is about the resolution of the Ramanujan-Nagell equations Cx2 + b2mD = yn. A second part of our study is about the Nagell-Ljungren equations xp+yp x+y = pezq including the diagonal case p = q. Our new results will be applied to the diophantine equations of the form xp + yp = Bzq. The Fermat-Catalan equation (case B = 1) will be the subject of a special study.