Développement : Moyenne d'une fonction multiplicative à valeurs dans [0,1]

Détails/Enoncé :

On montre un critère permettant de savoir si une fonction multiplicative à valeurs dans [0,1] admet une valeur moyenne. C'est le théorème I.3.12 de Introduction à la théorie analytique et probabiliste des nombres de Gérald Tenenbaum. Le chapitre I.3 de ce livre est intéressant aussi pour regarder des exemples concrets (et plus simples).

Références utilisées dans les versions de ce développement :

Introduction à la théorie analytique et probabiliste des nombres , Tennenbaum (utilisée dans 3 versions au total)