Поскольку арифметическая функция является функцией натурального аргумента, то для нее можно использовать некоторые определения и утверждения из области почти периодических функций.
Определение 1. Арифметическая функция
называется почти периодической в смысле Бора, если для любого
существует такое натуральное
, что любой отрезок
(
- любое натуральное число) содержит по меньшей мере одно натуральное
, для которого выполняется:
.
Утверждение 1. Для каждой почти периодической арифметической функции в смысле Бора
существует конечный предел среднего значения:
.
Определение 2. Арифметическая функция
является периодической с периодом
, отличным от нуля,, если для каждого натурального значения
выполняется
.
Например, периодической c
является арифметическая функция
.
Таким образом, периодическая арифметическая функция является частным случаем почти периодической арифметической функции в смысле Бора. Поэтому для периодической арифметической функции справедливо утверждение 1, т.е. существует конечный предел ее среднего значения, который определяется следующим утверждением.
Утверждение 2. Предел среднего значения периодической арифметической функции
равен:
,
где
(отличен от нуля) - период арифметической функции
.
Думаю, что они справедливы. Если нет, то прошу менять поправить.