Поскольку арифметическая функция является функцией натурального аргумента, то для нее можно использовать некоторые определения и утверждения из области почти периодических функций.
Определение 1. Арифметическая функция
![$f(m),m=1,...,n$ $f(m),m=1,...,n$](https://dxdy-02.korotkov.co.uk/f/1/8/4/184a205fcf88272d624d8356ea3416f282.png)
называется почти периодической в смысле Бора, если для любого
![$\epsilon >0$ $\epsilon >0$](https://dxdy-04.korotkov.co.uk/f/b/7/e/b7e0fd4eae1532edec52a4554babe40482.png)
существует такое натуральное
![$l=l(\epsilon)$ $l=l(\epsilon)$](https://dxdy-04.korotkov.co.uk/f/b/8/e/b8e323cea7c4b2eae430b1ac25627f3682.png)
, что любой отрезок
![$[a,a+l]$ $[a,a+l]$](https://dxdy-03.korotkov.co.uk/f/6/d/5/6d576ccba37160adb28be51f392d94fd82.png)
(
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
- любое натуральное число) содержит по меньшей мере одно натуральное
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
, для которого выполняется:
![$|f(m+\tau)-f(m)|<\epsilon$ $|f(m+\tau)-f(m)|<\epsilon$](https://dxdy-04.korotkov.co.uk/f/b/f/8/bf8c7324ff6eb87373f7a4b65657cf1382.png)
.
Утверждение 1. Для каждой почти периодической арифметической функции в смысле Бора
![$f(m),m=1,...,n$ $f(m),m=1,...,n$](https://dxdy-02.korotkov.co.uk/f/1/8/4/184a205fcf88272d624d8356ea3416f282.png)
существует конечный предел среднего значения:
![$\lim_{n \to \infty} {E[f,n]} =\lim_{n \to \infty} \frac {1}{n}\sum_{m \leq n}{f(m)}$ $\lim_{n \to \infty} {E[f,n]} =\lim_{n \to \infty} \frac {1}{n}\sum_{m \leq n}{f(m)}$](https://dxdy-01.korotkov.co.uk/f/4/9/5/495a5b330327d3112b25b3e8ce02589c82.png)
.
Определение 2. Арифметическая функция
![$f(m),m=1,...,n$ $f(m),m=1,...,n$](https://dxdy-02.korotkov.co.uk/f/1/8/4/184a205fcf88272d624d8356ea3416f282.png)
является периодической с периодом
![$T$ $T$](https://dxdy-03.korotkov.co.uk/f/2/f/1/2f118ee06d05f3c2d98361d9c30e38ce82.png)
, отличным от нуля,, если для каждого натурального значения
![$m$ $m$](https://dxdy-01.korotkov.co.uk/f/0/e/5/0e51a2dede42189d77627c4d742822c382.png)
выполняется
![$f(m)=f(m+T)$ $f(m)=f(m+T)$](https://dxdy-03.korotkov.co.uk/f/6/1/c/61c8f52990ecb30b2db0a6c0c069008e82.png)
.
Например, периодической c
![$T=2$ $T=2$](https://dxdy-02.korotkov.co.uk/f/9/b/e/9bee33f7c99874b22b552451c36a871682.png)
является арифметическая функция
![$f(m)=sin(m/\pi)$ $f(m)=sin(m/\pi)$](https://dxdy-03.korotkov.co.uk/f/a/e/b/aebb0331e0c18f65ed0e77bfce2bcdcb82.png)
.
Таким образом, периодическая арифметическая функция является частным случаем почти периодической арифметической функции в смысле Бора. Поэтому для периодической арифметической функции справедливо утверждение 1, т.е. существует конечный предел ее среднего значения, который определяется следующим утверждением.
Утверждение 2. Предел среднего значения периодической арифметической функции
![$f(m),m=1,...,n$ $f(m),m=1,...,n$](https://dxdy-02.korotkov.co.uk/f/1/8/4/184a205fcf88272d624d8356ea3416f282.png)
равен:
![$\lim_{n \to \infty} {E[f,n]} =\lim_{n \to \infty} \frac {1}{n}\sum_{m \leq n}{f(m)}=\frac {1}{T}\sum_{m \leq T}{f(m)}$ $\lim_{n \to \infty} {E[f,n]} =\lim_{n \to \infty} \frac {1}{n}\sum_{m \leq n}{f(m)}=\frac {1}{T}\sum_{m \leq T}{f(m)}$](https://dxdy-02.korotkov.co.uk/f/d/f/a/dfa7ef03ade542f32039a707b5f5a14382.png)
,
где
![$T$ $T$](https://dxdy-03.korotkov.co.uk/f/2/f/1/2f118ee06d05f3c2d98361d9c30e38ce82.png)
(отличен от нуля) - период арифметической функции
![$f(m),m=1,...,n$ $f(m),m=1,...,n$](https://dxdy-02.korotkov.co.uk/f/1/8/4/184a205fcf88272d624d8356ea3416f282.png)
.
Думаю, что они справедливы. Если нет, то прошу менять поправить.