Identités intégrales et estimations explicites associées pour les fonctions sommatoires liées à la fonction de Möbius et autres fonctions arithmétiques

Cette thèse développe, tant du point de vue théorique que de celui des explorations numériques, la Théorie dite explicite des nombres premiers, principalement sous l'angle de la variable réelle. Elle s'inscrit dans un cadre initié par Michel Balazard qui met en avant des identités intégrales reliant la fonction sommatoire M des coefficients de Möbius avec sa variante logarithmique m. Nous présentons un mécanisme systématique de fabrication de telles identités, avec comme paramètre une fonction g intégrable sur [0,1]. Nous étudions particulièrement le cas des g polynomiales, en cherchant à optimiser certaines normes sup pour l'utilisation des identités intégrales associées. Nous détaillons la stratégie des explorations numériques, dont l'objectif in fine est l'étude de constantes implicitement définies par Balazard. Puis nous revenons à l'obtention de valeurs exactes pour sup {|m(x)-M(x)/x| (log x)^j : x >= T } pour j=0,1,2 et certains T. Par la suite, nous obtenons une minoration en moyenne effective de |M| qui est apparentée à un résultat antérieur de Pintz, mais notre approche est essentiellement différente car elle n'utilise presque pas d'analyse complexe. Et nous donnons le résultat analogue pour la fonction sommatoire de la fonction de Liouville. Par ailleurs nous nous intéressons aux meilleures estimations connues non-effectives pour M(x) et montrons comment les transformer en des estimations de xm(x)-M(x) du même type. Les techniques et résultats obtenus pour m et M sont partiellement étendus à d'autres fonctions arithmétiques.