Арифметическая функция - Arithmetic function

В теория чисел, арифметика, арифметический, или же теоретико-числовая функция^[1][2] для большинства авторов^[3][4][5] любой функция ж(п), доменом которого является положительные целые числа и чей диапазон подмножество из сложные числа. Харди и Райт включают в свое определение требование, чтобы арифметическая функция «выражала некоторое арифметическое свойство п".^[6]

Примером арифметической функции является делительная функция чье значение в положительном целом числе п равно количеству делителей п.

Существует более широкий класс теоретико-числовых функций, которые не соответствуют приведенному выше определению, например, функции подсчета простых чисел. В этой статье есть ссылки на функции обоих классов.

Многие из функций, упомянутых в этой статье, имеют расширения в виде серий, включающих эти суммы; посмотреть статью Сумма Рамануджана Например.

Мультипликативные и аддитивные функции

Арифметическая функция а является

• полностью аддитивный если а(млн) = а(м) + а(п) для всех натуральных чисел м и п;
• полностью мультипликативный если а(млн) = а(м)а(п) для всех натуральных чисел м и п;

Два целых числа м и п называются совмещать если их наибольший общий делитель равно 1, то есть если нет простое число что разделяет их обоих.

Тогда арифметическая функция а является

• добавка если а(млн) = а(м) + а(п) для всех взаимно простых натуральных чисел м и п;
• мультипликативный если а(млн) = а(м)а(п) для всех взаимно простых натуральных чисел м и п.

Обозначение

${displaystyle sum _{p}f(p)}$ и ${displaystyle prod _{p}f(p)}$ означают, что сумма или произведение больше простые числа:

${displaystyle sum _{p}f(p)=f(2)+f(3)+f(5)+cdots }$

${displaystyle prod _{p}f(p)=f(2)f(3)f(5)cdots .}$

По аналогии, ${displaystyle sum _{p^{k}}f(p^{k})}$ и ${displaystyle prod _{p^{k}}f(p^{k})}$ означают, что сумма или произведение больше основные силы со строго положительным показателем (так k = 0 не входит):

${displaystyle sum _{p^{k}}f(p^{k})=sum _{p}sum _{k>0}f(p^{k})=f(2)+f(3)+f(4)+f(5)+f(7)+f(8)+f(9)+cdots }$

${displaystyle sum _{dmid n}f(d)}$ и ${displaystyle prod _{dmid n}f(d)}$ означают, что сумма или произведение больше всех положительных делителей п, в том числе 1 и п. Например, если п = 12,

${displaystyle prod _{dmid 12}f(d)=f(1)f(2)f(3)f(4)f(6)f(12). }$

Обозначения можно комбинировать: ${displaystyle sum _{pmid n}f(p)}$ и ${displaystyle prod _{pmid n}f(p)}$ означают, что сумма или произведение больше всех простых делителей числа п. Например, если п = 18,

${displaystyle sum _{pmid 18}f(p)=f(2)+f(3), }$

и аналогично ${displaystyle sum _{p^{k}mid n}f(p^{k})}$ и ${displaystyle prod _{p^{k}mid n}f(p^{k})}$ означают, что сумма или произведение превышает все простые степени, делящие п. Например, если п = 24,

${displaystyle prod _{p^{k}mid 24}f(p^{k})=f(2)f(3)f(4)f(8). }$

Ω (п), ω(п), ν_п(п) - разложение на простые степени

В основная теорема арифметики утверждает, что любое положительное целое число п можно однозначно представить как произведение степеней простых чисел: ${displaystyle n=p_{1}^{a_{1}}cdots p_{k}^{a_{k}}}$ куда п₁ < п₂ < ... < п_k простые числа и а_j положительные целые числа. (1 дается пустым произведением.)

Часто удобно записывать это как бесконечное произведение по всем простым числам, где все числа, кроме конечного, имеют нулевой показатель степени. Определить п-адическая оценка ν_п(п) быть показателем наивысшей степени простого п что разделяет п. То есть, если п один из п_я тогда ν_п(п) = а_я, в противном случае - ноль. потом

${displaystyle n=prod _{p}p^{u _{p}(n)}.}$

С точки зрения вышеизложенного основные функции омега ω и Ω определяются формулами

ω(п) = k,

Ω (п) = а₁ + а₂ + ... + а_k.

Чтобы избежать повторения, по возможности формулы для функций, перечисленных в этой статье, даются в терминах п и соответствующие п_я, а_я, ω и Ω.

Мультипликативные функции

σ_k(п), τ (п), d(п) - суммы делителей

σ_k(п) это сумма k-ые степени положительных делителей п, в том числе 1 и п, куда k - комплексное число.

σ₁(п), сумма (положительных) делителей п, обычно обозначается σ (п).

Поскольку положительное число в нулевой степени равно единице, σ₀(п) следовательно, количество (положительных) делителей числа п; обычно обозначается d(п) или же τ (п) (для немецкого Teiler = делители).

${displaystyle sigma _{k}(n)=prod _{i=1}^{omega (n)}{frac {p_{i}^{(a_{i}+1)k}-1}{p_{i}^{k}-1}}=prod _{i=1}^{omega (n)}left(1+p_{i}^{k}+p_{i}^{2k}+cdots +p_{i}^{a_{i}k}ight).}$

Параметр k = 0 во втором произведении дает

${displaystyle au (n)=d(n)=(1+a_{1})(1+a_{2})cdots (1+a_{omega (n)}).}$

φ (п) - функция Эйлера

φ (п), функция Эйлера, - это количество натуральных чисел, не превышающих п которые взаимно просты с п.

${displaystyle varphi (n)=nprod _{pmid n}left(1-{frac {1}{p}}ight)=nleft({frac {p_{1}-1}{p_{1}}}ight)left({frac {p_{2}-1}{p_{2}}}ight)cdots left({frac {p_{omega (n)}-1}{p_{omega (n)}}}ight).}$

J_k(п) - Жорданова totient функция

J_k(п), тоциент-функция Жордана, - количество k-наборы натуральных чисел все меньше или равны п которые образуют взаимно простое (k + 1) -комплект вместе с п. Это обобщение теории Эйлера, φ (п) = J₁(п).

${displaystyle J_{k}(n)=n^{k}prod _{pmid n}left(1-{frac {1}{p^{k}}}ight)=n^{k}left({frac {p_{1}^{k}-1}{p_{1}^{k}}}ight)left({frac {p_{2}^{k}-1}{p_{2}^{k}}}ight)cdots left({frac {p_{omega (n)}^{k}-1}{p_{omega (n)}^{k}}}ight).}$

μ (п) - функция Мёбиуса

μ (п), функция Мёбиуса, важна из-за Инверсия Мёбиуса формула. Видеть Свертка Дирихле, ниже.

${displaystyle mu (n)={egin{cases}(-1)^{omega (n)}=(-1)^{Omega (n)}&{ ext{if }};omega (n)=Omega (n)�&{ ext{if }};omega (n)eq Omega (n).end{cases}}}$

Отсюда следует, что μ (1) = 1. (поскольку Ω (1) = ω (1) = 0.)

τ (п) - функция тау Рамануджана

τ (п), тау-функция Рамануджана, определяется своим производящая функция личность:

${displaystyle sum _{ngeq 1} au (n)q^{n}=qprod _{ngeq 1}(1-q^{n})^{24}.}$

Хотя трудно сказать, какое именно «арифметическое свойство п"это" выражает ",^[7] (τ(п) равно (2π)⁻¹² раз пth коэффициент Фурье в q-расширение из модульный дискриминант функция)^[8] он включен в число арифметических функций, потому что он мультипликативен и встречается в тождествах, содержащих определенные σ_k(п) и р_k(п) функций (потому что они также являются коэффициентами в разложении модульные формы ).

c_q(п) - сумма Рамануджана

c_q(п), Сумма Рамануджана, является суммой псилы первобытного qth корни единства:

${displaystyle c_{q}(n)=sum _{stackrel {1leq aleq q}{gcd(a,q)=1}}e^{2pi i{ frac {a}{q}}n}.}$

Несмотря на то, что он определяется как сумма комплексных чисел (иррационально для большинства значений q), это целое число. При фиксированном значении п это мультипликативно в q:

Если q и р взаимно просты, тогда ${displaystyle c_{q}(n)c_{r}(n)=c_{qr}(n).}$

ψ(п) - пси-функция Дедекинда

В Пси-функция Дедекинда, используемые в теории модульные функции, определяется формулой

${displaystyle psi (n)=nprod _{p|n}left(1+{frac {1}{p}}ight).}$

Полностью мультипликативные функции

λ (п) - функция Лиувилля

λ(п), функция Лиувилля, определяется как

${displaystyle lambda (n)=(-1)^{Omega (n)}.}$

χ(п) - символы

Все Персонажи Дирихле χ(п) полностью мультипликативны. Два символа имеют специальные обозначения:

В главный персонаж (мод п) обозначается χ₀(а) (или же χ₁(а)). Он определяется как

${displaystyle chi _{0}(a)={egin{cases}1&{ ext{if }}gcd(a,n)=1,�&{ ext{if }}gcd(a,n)eq 1.end{cases}}}$

В квадратичный характер (mod п) обозначается Символ Якоби для нечетных п (не определено даже для п.):

${displaystyle {Bigg (}{frac {a}{n}}{Bigg )}=left({frac {a}{p_{1}}}ight)^{a_{1}}left({frac {a}{p_{2}}}ight)^{a_{2}}cdots left({frac {a}{p_{omega (n)}}}ight)^{a_{omega (n)}}.}$

В этой формуле ${displaystyle ({ frac {a}{p}})}$ это Символ Лежандра, определенная для всех целых чисел а и все нечетные простые числа п к

${displaystyle left({frac {a}{p}}ight)={egin{cases};;,0&{ ext{if }}aequiv 0{pmod {p}},+1&{ ext{if }}aot equiv 0{pmod {p}}{ ext{ and for some integer }}x,;aequiv x^{2}{pmod {p}}-1&{ ext{if there is no such }}x.end{cases}}}$

Следуя обычному соглашению для пустого продукта, ${displaystyle left({frac {a}{1}}ight)=1.}$

Аддитивные функции

ω(п) - различные простые делители

ω (п), определенный выше как количество различных простых чисел, делящих п, является аддитивным (см. Основная функция омега ).

Полностью аддитивные функции

Ω (п) - простые делители

Ω (п), определенный выше как количество простых факторов п с учетом кратностей, полностью аддитивен (см. Основная функция омега ).

ν_п(п) – п-адическая оценка целого числа п

Для фиксированного простого числа п, ν_п(п), определенный выше как показатель наибольшей степени п разделение п, является полностью аддитивным.

Ни мультипликативный, ни аддитивный

π(Икс), Π (Икс), θ(Икс), ψ(Икс) - функции счисления простых чисел

Эти важные функции (которые не являются арифметическими функциями) определены для неотрицательных вещественных аргументов и используются в различных утверждениях и доказательствах теорема о простых числах. Это функции суммирования (см. Основной раздел чуть ниже) арифметических функций, которые не являются ни мультипликативными, ни аддитивными.

π(Икс), функция подсчета простых чисел, - это количество простых чисел, не превышающих Икс. Это функция суммирования характеристическая функция простых чисел.

${displaystyle pi (x)=sum _{pleq x}1}$

Связанная функция подсчитывает простые степени с весом 1 для простых чисел, 1/2 для их квадратов, 1/3 для кубов, ... Это функция суммирования арифметической функции, которая принимает значение 1 /k для целых чисел, являющихся k-й степенью одного простого числа, и значение 0 для других целых чисел.

${displaystyle Pi (x)=sum _{p^{k}leq x}{frac {1}{k}}.}$

θ(Икс) и ψ(Икс), функции Чебышева, определяются как суммы натуральных логарифмов простых чисел, не превосходящих Икс.

${displaystyle vartheta (x)=sum _{pleq x}log p,}$

${displaystyle psi (x)=sum _{p^{k}leq x}log p.}$

Функция Чебышева ψ(Икс) - функция суммирования функции фон Мангольдта чуть ниже.

Λ (п) - функция фон Мангольдта

Λ (п), функция фон Мангольдта равна 0, если аргумент п это основная сила п^k, в этом случае это натуральный логарифм простого числа п:

${displaystyle Lambda (n)={egin{cases}log p&{ ext{if }}n=2,3,4,5,7,8,9,11,13,16,ldots =p^{k}{ ext{ is a prime power}}�&{ ext{if }}n=1,6,10,12,14,15,18,20,21,dots ;;;;{ ext{ is not a prime power}}.end{cases}}}$

п(п) - статистическая сумма

п(п), статистическая сумма, - это количество способов представления п как сумма положительных целых чисел, где два представления с одними и теми же слагаемыми в разном порядке не считаются разными:

${displaystyle p(n)=|left{(a_{1},a_{2},dots a_{k}):0<a_{1}leq a_{2}leq cdots leq a_{k};land ;n=a_{1}+a_{2}+cdots +a_{k}ight}|.}$

λ (п) - функция Кармайкла

λ(п), функция Кармайкла, является наименьшим положительным числом такое, что ${displaystyle a^{lambda (n)}equiv 1{pmod {n}}}$ для всех а взаимно простой с п. Эквивалентно, это наименьший общий множитель порядков элементов мультипликативная группа целых чисел по модулю п.

Для степеней нечетных простых чисел и 2 и 4, λ(п) равна тотент-функции Эйлера п; для степеней 2 больше 4 он равен половине тотальной функции Эйлера от п:

${displaystyle lambda (n)={egin{cases};;phi (n)&{ ext{if }}n=2,3,4,5,7,9,11,13,17,19,23,25,27,dots { frac {1}{2}}phi (n)&{ ext{if }}n=8,16,32,64,dots end{cases}}}$

и для общего п это наименьшее общее кратное λ каждого из простых множителей мощности п:

${displaystyle lambda (p_{1}^{a_{1}}p_{2}^{a_{2}}dots p_{omega (n)}^{a_{omega (n)}})=operatorname {lcm} [lambda (p_{1}^{a_{1}}),;lambda (p_{2}^{a_{2}}),dots ,lambda (p_{omega (n)}^{a_{omega (n)}})].}$

час(п) - Номер класса

час(п), функция числа классов, является порядком группа идеального класса алгебраического расширения рациональных чисел с дискриминант п. Обозначения неоднозначны, так как обычно существует множество расширений с одним и тем же дискриминантом. Видеть квадратичное поле и круговое поле для классических примеров.

р_k(п) - Сумма k квадраты

р_k(п) это количество способов п можно представить как сумму k квадраты, где представления, которые отличаются только порядком слагаемых или знаками квадратных корней, считаются разными.

${displaystyle r_{k}(n)=|{(a_{1},a_{2},dots ,a_{k}):n=a_{1}^{2}+a_{2}^{2}+cdots +a_{k}^{2}}|}$

D(п) - арифметическая производная

С использованием Обозначение Хевисайда для производной, D(п) функция такая, что

${displaystyle D(n)=1}$ если п премьер, и

${displaystyle D(mn)=mD(n)+D(m)n}$ (Правило продукта )

Функции суммирования

Учитывая арифметическую функцию а(п), это функция суммирования А(Икс) определяется

${displaystyle A(x):=sum _{nleq x}a(n).}$

А можно рассматривать как функцию действительной переменной. Учитывая положительное целое число м, А постоянно открытые интервалы м < Икс < м + 1 и имеет скачкообразный разрыв для каждого целого числа, для которого а(м) ≠ 0.

Поскольку такие функции часто представляются рядами и интегралами, для достижения поточечной сходимости обычно значение на разрывах определяется как среднее значение слева и справа:

${displaystyle A_{0}(m):={frac {1}{2}}left(sum _{n<m}a(n)+sum _{nleq m}a(n)ight)=A(m)-{frac {1}{2}}a(m).}$

Отдельные значения арифметических функций могут сильно колебаться - как в большинстве приведенных выше примеров. Функции суммирования «сглаживают» эти колебания. В некоторых случаях можно найти асимптотическое поведение для функции суммирования для больших Икс.

Классический пример этого явления^[9] дается функция сумматора делителя, функция суммирования d(п), количество делителей п:

${displaystyle liminf _{n o infty }d(n)=2}$

${displaystyle limsup _{n o infty }{frac {log d(n)log log n}{log n}}=log 2}$

${displaystyle lim _{n o infty }{frac {d(1)+d(2)+cdots +d(n)}{log(1)+log(2)+cdots +log(n)}}=1.}$

An средний порядок арифметической функции представляет собой некоторую более простую или лучше понятую функцию, которая асимптотически имеет ту же функцию суммирования и, следовательно, принимает те же значения «в среднем». Мы говорим что грамм является средний заказ из ж если

${displaystyle sum _{nleq x}f(n)sim sum _{nleq x}g(n)}$

в качестве Икс стремится к бесконечности. Пример выше показывает, что d(п) имеет журнал средних заказов (п).^[10]

Свертка Дирихле

Учитывая арифметическую функцию а(п), позволять F_а(s), для сложных s, - функция, определяемая соответствующими Серия Дирихле (где это сходится ):^[11]

${displaystyle F_{a}(s):=sum _{n=1}^{infty }{frac {a(n)}{n^{s}}}.}$

F_а(s) называется производящая функция из а(п). Простейший такой ряд, соответствующий постоянной функции а(п) = 1 для всех п, является ς(s) Дзета-функция Римана.

Производящая функция функции Мёбиуса является обратной по отношению к дзета-функции:

${displaystyle zeta (s),sum _{n=1}^{infty }{frac {mu (n)}{n^{s}}}=1,;;{mathfrak {R}},s>0.}$

Рассмотрим две арифметические функции а и б и их соответствующие производящие функции F_а(s) и F_б(s). Продукт F_а(s)F_б(s) можно вычислить следующим образом:

${displaystyle F_{a}(s)F_{b}(s)=left(sum _{m=1}^{infty }{frac {a(m)}{m^{s}}}ight)left(sum _{n=1}^{infty }{frac {b(n)}{n^{s}}}ight).}$

Это простое упражнение, чтобы показать, что если c(п) определяется

${displaystyle c(n):=sum _{ij=n}a(i)b(j)=sum _{imid n}a(i)bleft({frac {n}{i}}ight),}$

тогда

${displaystyle F_{c}(s)=F_{a}(s)F_{b}(s).}$

Эта функция c называется Свертка Дирихле из а и б, и обозначается ${displaystyle a*b}$.

Особенно важным случаем является свертка с постоянной функцией а(п) = 1 для всех п, что соответствует умножению производящей функции на дзета-функцию:

${displaystyle g(n)=sum _{dmid n}f(d).}$

Умножение на обратную дзета-функцию дает Инверсия Мёбиуса формула:

${displaystyle f(n)=sum _{dmid n}mu left({frac {n}{d}}ight)g(d).}$

Если ж мультипликативен, значит, тоже грамм. Если ж полностью мультипликативно, то грамм является мультипликативным, но может быть или не быть полностью мультипликативным.

Отношения между функциями

Существует множество формул, связывающих арифметические функции друг с другом и с функциями анализа, особенно степеней, корней, экспоненциальных и логарифмических функций. Страница тождества суммы делителей содержит много более общих и связанных примеров тождеств, включающих арифметические функции.

Вот несколько примеров:

Свёртки Дирихле

${displaystyle sum _{delta mid n}mu (delta )=sum _{delta mid n}lambda left({frac {n}{delta }}ight)|mu (delta )|={egin{cases}1&{ ext{if }}n=1�&{ ext{if }}neq 1end{cases}}}$ куда λ - функция Лиувилля.^[12]

${displaystyle sum _{delta mid n}varphi (delta )=n.}$      ^[13]

${displaystyle varphi (n)=sum _{delta mid n}mu left({frac {n}{delta }}ight)delta =nsum _{delta mid n}{frac {mu (delta )}{delta }}.}$ Инверсия Мёбиуса

${displaystyle sum _{dmid n}J_{k}(d)=n^{k}.}$      ^[14]

${displaystyle J_{k}(n)=sum _{delta mid n}mu left({frac {n}{delta }}ight)delta ^{k}=n^{k}sum _{delta mid n}{frac {mu (delta )}{delta ^{k}}}.}$ Инверсия Мёбиуса

${displaystyle sum _{delta mid n}delta ^{s}J_{r}(delta )J_{s}left({frac {n}{delta }}ight)=J_{r+s}(n)}$      ^[15]

${displaystyle sum _{delta mid n}varphi (delta )dleft({frac {n}{delta }}ight)=sigma (n).}$      ^[16][17]

${displaystyle sum _{delta mid n}|mu (delta )|=2^{omega (n)}.}$      ^[18]

${displaystyle |mu (n)|=sum _{delta mid n}mu left({frac {n}{delta }}ight)2^{omega (delta )}.}$ Инверсия Мёбиуса

${displaystyle sum _{delta mid n}2^{omega (delta )}=d(n^{2}).}$      

${displaystyle 2^{omega (n)}=sum _{delta mid n}mu left({frac {n}{delta }}ight)d(delta ^{2}).}$ Инверсия Мёбиуса

${displaystyle sum _{delta mid n}d(delta ^{2})=d^{2}(n).}$      

${displaystyle d(n^{2})=sum _{delta mid n}mu left({frac {n}{delta }}ight)d^{2}(delta ).}$ Инверсия Мёбиуса

${displaystyle sum _{delta mid n}dleft({frac {n}{delta }}ight)2^{omega (delta )}=d^{2}(n).}$      

${displaystyle sum _{delta mid n}lambda (delta )={egin{cases}&1{ ext{ if }}n{ ext{ is a square }}&0{ ext{ if }}n{ ext{ is not square.}}end{cases}}}$ где λ - Функция Лиувилля.

${displaystyle sum _{delta mid n}Lambda (delta )=log n.}$      ^[19]

${displaystyle Lambda (n)=sum _{delta mid n}mu left({frac {n}{delta }}ight)log(delta ).}$ Инверсия Мёбиуса

Суммы квадратов

Для всех ${displaystyle kgeq 4,;;;r_{k}(n)>0.}$     (Теорема Лагранжа о четырех квадратах ).

${displaystyle r_{2}(n)=4sum _{dmid n}left({frac {-4}{d}}ight),}$ ^[20]

где Символ Кронекера имеет ценности

${displaystyle left({frac {-4}{n}}ight)={egin{cases}+1&{ ext{if }}nequiv 1{pmod {4}}-1&{ ext{if }}nequiv 3{pmod {4}};;;0&{ ext{if }}n{ ext{ is even}}.end{cases}}}$

Есть формула для r₃ в разделе о номера классов ниже.

${displaystyle r_{4}(n)=8sum _{stackrel {dmid n}{4,mid ,d}}d=8(2+(-1)^{n})sum _{stackrel {dmid n}{2,mid ,d}}d={egin{cases}8sigma (n)&{ ext{if }}n{ ext{ is odd }}24sigma left({frac {n}{2^{u }}}ight)&{ ext{if }}n{ ext{ is even }}end{cases}},}$    

куда ν = ν₂(п).    ^[21][22][23]

${displaystyle r_{6}(n)=16sum _{dmid n}chi left({frac {n}{d}}ight)d^{2}-4sum _{dmid n}chi (d)d^{2},}$

куда ${displaystyle chi (n)=left({frac {-4}{n}}ight).}$^[24]

Определите функцию σ_k^*(п) в качестве^[25]

${displaystyle sigma _{k}^{*}(n)=(-1)^{n}sum _{dmid n}(-1)^{d}d^{k}={egin{cases}sum _{dmid n}d^{k}=sigma _{k}(n)&{ ext{if }}n{ ext{ is odd }}sum _{stackrel {dmid n}{2,mid ,d}}d^{k}-sum _{stackrel {dmid n}{2,mid ,d}}d^{k}&{ ext{if }}n{ ext{ is even}}.end{cases}}}$

То есть, если п странно, σ_k^*(п) это сумма k-ые степени делителей п, то есть, σ_k(п), и если п это даже сумма kй степени четных делителей п минус сумма k-ые степени нечетных делителей числа п.

${displaystyle r_{8}(n)=16sigma _{3}^{*}(n).}$    ^[24][26]

Примите условность Рамануджана. τ(Икс) = 0, если Икс не является целым числом.

${displaystyle r_{24}(n)={frac {16}{691}}sigma _{11}^{*}(n)+{frac {128}{691}}left{(-1)^{n-1}259 au (n)-512 au left({frac {n}{2}}ight)ight}}$    ^[27]

Свертки суммы делителей

Здесь «свертка» не означает «свертку Дирихле», а вместо этого относится к формуле для коэффициентов произведение двух степенных рядов:

${displaystyle left(sum _{n=0}^{infty }a_{n}x^{n}ight)left(sum _{n=0}^{infty }b_{n}x^{n}ight)=sum _{i=0}^{infty }sum _{j=0}^{infty }a_{i}b_{j}x^{i+j}=sum _{n=0}^{infty }left(sum _{i=0}^{n}a_{i}b_{n-i}ight)x^{n}=sum _{n=0}^{infty }c_{n}x^{n}.}$

Последовательность ${displaystyle c_{n}=sum _{i=0}^{n}a_{i}b_{n-i}}$ называется свертка или Продукт Коши последовательностей а_п и б_п.
Видеть Серия Эйзенштейна для обсуждения серий и функциональных идентичностей, включенных в эти формулы.^[28]

${displaystyle sigma _{3}(n)={frac {1}{5}}left{6nsigma _{1}(n)-sigma _{1}(n)+12sum _{0<k<n}sigma _{1}(k)sigma _{1}(n-k)ight}.}$    ^[29]

${displaystyle sigma _{5}(n)={frac {1}{21}}left{10(3n-1)sigma _{3}(n)+sigma _{1}(n)+240sum _{0<k<n}sigma _{1}(k)sigma _{3}(n-k)ight}.}$    ^[30]

${displaystyle {egin{aligned}sigma _{7}(n)&={frac {1}{20}}left{21(2n-1)sigma _{5}(n)-sigma _{1}(n)+504sum _{0<k<n}sigma _{1}(k)sigma _{5}(n-k)ight}&=sigma _{3}(n)+120sum _{0<k<n}sigma _{3}(k)sigma _{3}(n-k).end{aligned}}}$    ^[30][31]

${displaystyle {egin{aligned}sigma _{9}(n)&={frac {1}{11}}left{10(3n-2)sigma _{7}(n)+sigma _{1}(n)+480sum _{0<k<n}sigma _{1}(k)sigma _{7}(n-k)ight}&={frac {1}{11}}left{21sigma _{5}(n)-10sigma _{3}(n)+5040sum _{0<k<n}sigma _{3}(k)sigma _{5}(n-k)ight}.end{aligned}}}$    ^[29][32]

${displaystyle au (n)={frac {65}{756}}sigma _{11}(n)+{frac {691}{756}}sigma _{5}(n)-{frac {691}{3}}sum _{0<k<n}sigma _{5}(k)sigma _{5}(n-k),}$ куда τ(п) - функция Рамануджана.^[33][34]

С σ_k(п) (для натурального числа k) и τ(п) являются целыми числами, приведенные выше формулы могут использоваться для доказательства сравнений^[35] для функций. Видеть Рамануджан тау функция для некоторых примеров.

Расширьте область действия функции разделения, установив п(0) = 1.

${displaystyle p(n)={frac {1}{n}}sum _{1leq kleq n}sigma (k)p(n-k).}$    ^[36] Это повторение можно использовать для вычисления п(п).

Номер класса, связанный

Питер Густав Лежен Дирихле обнаружил формулы, которые связывают номер класса час из поля квадратичных чисел к символу Якоби.^[37]

Целое число D называется основной дискриминант если это дискриминант поля квадратичных чисел. Это эквивалентно D ≠ 1 и либо а) D является свободный от квадратов и D ≡ 1 (мод.4) или б) D ≡ 0 (мод 4), D/ 4 не содержит квадратов, и D/ 4 ≡ 2 или 3 (мод 4).^[38]

Расширьте символ Якоби, чтобы он принимал четные числа в «знаменателе», определяя Символ Кронекера:

${displaystyle left({frac {a}{2}}ight)={egin{cases};;,0&{ ext{ if }}a{ ext{ is even}}(-1)^{frac {a^{2}-1}{8}}&{ ext{ if }}a{ ext{ is odd. }}end{cases}}}$

Тогда если D <−4 - фундаментальный дискриминант^[39][40]

${displaystyle {egin{aligned}h(D)&={frac {1}{D}}sum _{r=1}^{|D|}rleft({frac {D}{r}}ight)&={frac {1}{2-left({ frac {D}{2}}ight)}}sum _{r=1}^{|D|/2}left({frac {D}{r}}ight).end{aligned}}}$

Также существует формула, относящаяся к р₃ и час. Опять же, пусть D быть фундаментальным дискриминантом, D <−4. потом^[41]

${displaystyle r_{3}(|D|)=12left(1-left({frac {D}{2}}ight)ight)h(D).}$

Связанные с простым подсчетом

Позволять ${displaystyle H_{n}=1+{frac {1}{2}}+{frac {1}{3}}+cdots +{frac {1}{n}}}$ быть пth номер гармоники. потом

${displaystyle sigma (n)leq H_{n}+e^{H_{n}}log H_{n}}$ верно для любого натурального числа п если и только если Гипотеза Римана правда.^[42]

Гипотеза Римана также эквивалентна утверждению, что для всех п > 5040,

${displaystyle sigma (n)<e^{gamma }nlog log n}$ (где γ - Константа Эйлера – Маскерони ). Это Теорема Робина.

${displaystyle sum _{p}u _{p}(n)=Omega (n).}$

${displaystyle psi (x)=sum _{nleq x}Lambda (n).}$    ^[43]

${displaystyle Pi (x)=sum _{nleq x}{frac {Lambda (n)}{log n}}.}$    ^[44]

${displaystyle e^{ heta (x)}=prod _{pleq x}p.}$    ^[45]

${displaystyle e^{psi (x)}=operatorname {lcm} [1,2,dots ,lfloor xfloor ].}$    ^[46]

Личность Менона

В 1965 г. П. Кесава Менон доказано^[47]

${displaystyle sum _{stackrel {1leq kleq n}{gcd(k,n)=1}}gcd(k-1,n)=varphi (n)d(n).}$

Это было обобщено рядом математиков. Например,

Б. Сьюри^[48]

${displaystyle sum _{stackrel {1leq k_{1},k_{2},dots ,k_{s}leq n}{gcd(k_{1},n)=1}}gcd(k_{1}-1,k_{2},dots ,k_{s},n)=varphi (n)sigma _{s-1}(n).}$

Н. Рао^[49]

${displaystyle sum _{stackrel {1leq k_{1},k_{2},dots ,k_{s}leq n}{gcd(k_{1},k_{2},dots ,k_{s},n)=1}}gcd(k_{1}-a_{1},k_{2}-a_{2},dots ,k_{s}-a_{s},n)^{s}=J_{s}(n)d(n),}$

куда а₁, а₂, ..., а_s целые числа, gcd (а₁, а₂, ..., а_s, п) = 1.

Ласло Фейес Тот^[50]

${displaystyle sum _{stackrel {1leq kleq m}{gcd(k,m)=1}}gcd(k^{2}-1,m_{1})gcd(k^{2}-1,m_{2})=varphi (n)sum _{stackrel {d_{1}mid m_{1}}{d_{2}mid m_{2}}}varphi (gcd(d_{1},d_{2}))2^{omega (operatorname {lcm} (d_{1},d_{2}))},}$

куда м₁ и м₂ странные, м = lcm (м₁, м₂).

Фактически, если ж любая арифметическая функция^[51][52]

${displaystyle sum _{stackrel {1leq kleq n}{gcd(k,n)=1}}f(gcd(k-1,n))=varphi (n)sum _{dmid n}{frac {(mu *f)(d)}{varphi (d)}},}$

где * обозначает свертку Дирихле.

Разное

Позволять м и п быть четкими, нечетными и положительными. Тогда символ Якоби удовлетворяет закону квадратичная взаимность:

${displaystyle left({frac {m}{n}}ight)left({frac {n}{m}}ight)=(-1)^{(m-1)(n-1)/4}.}$    

Позволять D(п) - арифметическая производная. Тогда логарифмическая производная

${displaystyle {frac {D(n)}{n}}=sum _{stackrel {pmid n}{p{ ext{ prime}}}}{frac {v_{p}(n)}{p}}}$ ^[53]

Позволять λ(п) - функция Лиувилля. потом

${displaystyle |lambda (n)|mu (n)=lambda (n)|mu (n)|=mu (n),}$ и

${displaystyle lambda (n)mu (n)=|mu (n)|=mu ^{2}(n).}$    

Позволять λ(п) быть функцией Кармайкла. потом

${displaystyle lambda (n)mid phi (n).}$ Дальше,

${displaystyle lambda (n)=phi (n){ ext{ if and only if }}n={egin{cases}1,2,4;3,5,7,9,11,ldots { ext{ (that is, }}p^{k}{ ext{, where }}p{ ext{ is an odd prime)}};6,10,14,18,ldots { ext{ (that is, }}2p^{k}{ ext{, where }}p{ ext{ is an odd prime)}}.end{cases}}}$

Видеть Мультипликативная группа целых чисел по модулю n и Примитивный корень по модулю n. 

${displaystyle 2^{omega (n)}leq d(n)leq 2^{Omega (n)}.}$    ^[54][55]

${displaystyle {frac {6}{pi ^{2}}}<{frac {phi (n)sigma (n)}{n^{2}}}<1.}$    ^[56]

${displaystyle {egin{aligned}c_{q}(n)&={frac {mu left({frac {q}{gcd(q,n)}}ight)}{phi left({frac {q}{gcd(q,n)}}ight)}}phi (q)&=sum _{delta mid gcd(q,n)}mu left({frac {q}{delta }}ight)delta .end{aligned}}}$    ^[57] Обратите внимание, что${displaystyle phi (q)=sum _{delta mid q}mu left({frac {q}{delta }}ight)delta .}$    ^[58]

${displaystyle c_{q}(1)=mu (q).}$

${displaystyle c_{q}(q)=phi (q).}$

${displaystyle sum _{delta mid n}d^{3}(delta )=left(sum _{delta mid n}d(delta )ight)^{2}.}$    ^[59] Сравните это с 1³ + 2³ + 3³ + ... + п³ = (1 + 2 + 3 + ... + п)²

${displaystyle d(uv)=sum _{delta mid gcd(u,v)}mu (delta )dleft({frac {u}{delta }}ight)dleft({frac {v}{delta }}ight).}$    ^[60]

${displaystyle sigma _{k}(u)sigma _{k}(v)=sum _{delta mid gcd(u,v)}delta ^{k}sigma _{k}left({frac {uv}{delta ^{2}}}ight).}$    ^[61]

${displaystyle au (u) au (v)=sum _{delta mid gcd(u,v)}delta ^{11} au left({frac {uv}{delta ^{2}}}ight),}$ куда τ(п) - функция Рамануджана.^[62]

Первые 100 значений некоторых арифметических функций

п	факторизация	φ (п)	ω (п)	Ω (п)	λ (п)	μ (п)	Λ (п)	π (п)	σ0(п)	σ1(п)	σ2(п)	р2(п)	р3(п)	р4(п)
1	1	1	0	0	1	1	0.00	0	1	1	1	4	6	8
2	2	1	1	1	-1	-1	0.69	1	2	3	5	4	12	24
3	3	2	1	1	-1	-1	1.10	2	2	4	10	0	8	32
4	2^2	2	1	2	1	0	0.69	2	3	7	21	4	6	24
5	5	4	1	1	-1	-1	1.61	3	2	6	26	8	24	48
6	2-3	2	2	2	1	1	0.00	3	4	12	50	0	24	96
7	7	6	1	1	-1	-1	1.95	4	2	8	50	0	0	64
8	2^3	4	1	3	-1	0	0.69	4	4	15	85	4	12	24
9	3^2	6	1	2	1	0	1.10	4	3	13	91	4	30	104
10	2-5	4	2	2	1	1	0.00	4	4	18	130	8	24	144
11	11	10	1	1	-1	-1	2.40	5	2	12	122	0	24	96
12	2^2-3	4	2	3	-1	0	0.00	5	6	28	210	0	8	96
13	13	12	1	1	-1	-1	2.56	6	2	14	170	8	24	112
14	2-7	6	2	2	1	1	0.00	6	4	24	250	0	48	192
15	3-5	8	2	2	1	1	0.00	6	4	24	260	0	0	192
16	2^4	8	1	4	1	0	0.69	6	5	31	341	4	6	24
17	17	16	1	1	-1	-1	2.83	7	2	18	290	8	48	144
18	2-3^2	6	2	3	-1	0	0.00	7	6	39	455	4	36	312
19	19	18	1	1	-1	-1	2.94	8	2	20	362	0	24	160
20	2^2-5	8	2	3	-1	0	0.00	8	6	42	546	8	24	144
21	3-7	12	2	2	1	1	0.00	8	4	32	500	0	48	256
22	2-11	10	2	2	1	1	0.00	8	4	36	610	0	24	288
23	23	22	1	1	-1	-1	3.14	9	2	24	530	0	0	192
24	2^3-3	8	2	4	1	0	0.00	9	8	60	850	0	24	96
25	5^2	20	1	2	1	0	1.61	9	3	31	651	12	30	248
26	2-13	12	2	2	1	1	0.00	9	4	42	850	8	72	336
27	3^3	18	1	3	-1	0	1.10	9	4	40	820	0	32	320
28	2^2-7	12	2	3	-1	0	0.00	9	6	56	1050	0	0	192
29	29	28	1	1	-1	-1	3.37	10	2	30	842	8	72	240
30	2-3-5	8	3	3	-1	-1	0.00	10	8	72	1300	0	48	576
31	31	30	1	1	-1	-1	3.43	11	2	32	962	0	0	256
32	2^5	16	1	5	-1	0	0.69	11	6	63	1365	4	12	24
33	3-11	20	2	2	1	1	0.00	11	4	48	1220	0	48	384
34	2-17	16	2	2	1	1	0.00	11	4	54	1450	8	48	432
35	5-7	24	2	2	1	1	0.00	11	4	48	1300	0	48	384
36	2^2-3^2	12	2	4	1	0	0.00	11	9	91	1911	4	30	312
37	37	36	1	1	-1	-1	3.61	12	2	38	1370	8	24	304
38	2-19	18	2	2	1	1	0.00	12	4	60	1810	0	72	480
39	3-13	24	2	2	1	1	0.00	12	4	56	1700	0	0	448
40	2^3-5	16	2	4	1	0	0.00	12	8	90	2210	8	24	144
41	41	40	1	1	-1	-1	3.71	13	2	42	1682	8	96	336
42	2-3-7	12	3	3	-1	-1	0.00	13	8	96	2500	0	48	768
43	43	42	1	1	-1	-1	3.76	14	2	44	1850	0	24	352
44	2^2-11	20	2	3	-1	0	0.00	14	6	84	2562	0	24	288
45	3^2-5	24	2	3	-1	0	0.00	14	6	78	2366	8	72	624
46	2-23	22	2	2	1	1	0.00	14	4	72	2650	0	48	576
47	47	46	1	1	-1	-1	3.85	15	2	48	2210	0	0	384
48	2^4-3	16	2	5	-1	0	0.00	15	10	124	3410	0	8	96
49	7^2	42	1	2	1	0	1.95	15	3	57	2451	4	54	456
50	2-5^2	20	2	3	-1	0	0.00	15	6	93	3255	12	84	744
51	3-17	32	2	2	1	1	0.00	15	4	72	2900	0	48	576
52	2^2-13	24	2	3	-1	0	0.00	15	6	98	3570	8	24	336
53	53	52	1	1	-1	-1	3.97	16	2	54	2810	8	72	432
54	2-3^3	18	2	4	1	0	0.00	16	8	120	4100	0	96	960
55	5-11	40	2	2	1	1	0.00	16	4	72	3172	0	0	576
56	2^3-7	24	2	4	1	0	0.00	16	8	120	4250	0	48	192
57	3-19	36	2	2	1	1	0.00	16	4	80	3620	0	48	640
58	2-29	28	2	2	1	1	0.00	16	4	90	4210	8	24	720
59	59	58	1	1	-1	-1	4.08	17	2	60	3482	0	72	480
60	2^2-3-5	16	3	4	1	0	0.00	17	12	168	5460	0	0	576
61	61	60	1	1	-1	-1	4.11	18	2	62	3722	8	72	496
62	2-31	30	2	2	1	1	0.00	18	4	96	4810	0	96	768
63	3^2-7	36	2	3	-1	0	0.00	18	6	104	4550	0	0	832
64	2^6	32	1	6	1	0	0.69	18	7	127	5461	4	6	24
65	5-13	48	2	2	1	1	0.00	18	4	84	4420	16	96	672
66	2-3-11	20	3	3	-1	-1	0.00	18	8	144	6100	0	96	1152
67	67	66	1	1	-1	-1	4.20	19	2	68	4490	0	24	544
68	2^2-17	32	2	3	-1	0	0.00	19	6	126	6090	8	48	432
69	3-23	44	2	2	1	1	0.00	19	4	96	5300	0	96	768
70	2-5-7	24	3	3	-1	-1	0.00	19	8	144	6500	0	48	1152
71	71	70	1	1	-1	-1	4.26	20	2	72	5042	0	0	576
72	2^3-3^2	24	2	5	-1	0	0.00	20	12	195	7735	4	36	312
73	73	72	1	1	-1	-1	4.29	21	2	74	5330	8	48	592
74	2-37	36	2	2	1	1	0.00	21	4	114	6850	8	120	912
75	3-5^2	40	2	3	-1	0	0.00	21	6	124	6510	0	56	992
76	2^2-19	36	2	3	-1	0	0.00	21	6	140	7602	0	24	480
77	7-11	60	2	2	1	1	0.00	21	4	96	6100	0	96	768
78	2-3-13	24	3	3	-1	-1	0.00	21	8	168	8500	0	48	1344
79	79	78	1	1	-1	-1	4.37	22	2	80	6242	0	0	640
80	2^4-5	32	2	5	-1	0	0.00	22	10	186	8866	8	24	144
81	3^4	54	1	4	1	0	1.10	22	5	121	7381	4	102	968
82	2-41	40	2	2	1	1	0.00	22	4	126	8410	8	48	1008
83	83	82	1	1	-1	-1	4.42	23	2	84	6890	0	72	672
84	2^2-3-7	24	3	4	1	0	0.00	23	12	224	10500	0	48	768
85	5-17	64	2	2	1	1	0.00	23	4	108	7540	16	48	864
86	2-43	42	2	2	1	1	0.00	23	4	132	9250	0	120	1056
87	3-29	56	2	2	1	1	0.00	23	4	120	8420	0	0	960
88	2^3-11	40	2	4	1	0	0.00	23	8	180	10370	0	24	288
89	89	88	1	1	-1	-1	4.49	24	2	90	7922	8	144	720
90	2-3^2-5	24	3	4	1	0	0.00	24	12	234	11830	8	120	1872
91	7-13	72	2	2	1	1	0.00	24	4	112	8500	0	48	896
92	2^2-23	44	2	3	-1	0	0.00	24	6	168	11130	0	0	576
93	3-31	60	2	2	1	1	0.00	24	4	128	9620	0	48	1024
94	2-47	46	2	2	1	1	0.00	24	4	144	11050	0	96	1152
95	5-19	72	2	2	1	1	0.00	24	4	120	9412	0	0	960
96	2^5-3	32	2	6	1	0	0.00	24	12	252	13650	0	24	96
97	97	96	1	1	-1	-1	4.57	25	2	98	9410	8	48	784
98	2-7^2	42	2	3	-1	0	0.00	25	6	171	12255	4	108	1368
99	3^2-11	60	2	3	-1	0	0.00	25	6	156	11102	0	72	1248
100	2^2-5^2	40	2	4	1	0	0.00	25	9	217	13671	12	30	744

Примечания

1. Длинный (1972 г., п. 151)
2. Петтофреццо и Биркит (1970, п. 58)
3. Нивен и Цукерман, 4.2.
4. Нагелл, I.9.
5. Бейтман и Даймонд, 2.1.
6. Харди и Райт, вступление. к гл. XVI
7. Харди, Рамануджан, § 10.2
8. Апостол, Модульные функции ..., § 1.15, гл. 4 и гл. 6
9. Харди и Райт, §§ 18.1–18.2
10. Джеральд Тененбаум (1995). Введение в аналитическую и вероятностную теорию чисел. Кембриджские исследования по высшей математике. 46. Издательство Кембриджского университета. С. 36–55. ISBN  0-521-41261-7.
11. Харди и Райт, § 17.6, показывают, как теория производящих функций может быть построена чисто формальным образом, не обращая внимания на сходимость.
12. Харди и Райт, Thm. 263
13. Харди и Райт, Thm. 63
14. см. ссылки на Тотальная функция Джордана
15. Holden et al. во внешних ссылках Формула Гегенбауэра
16. Харди и Райт, Thm. 288–290
17. Динева во внешних ссылках, проп. 4
18. Харди и Райт, Thm. 264
19. Харди и Райт, Thm. 296
20. Харди и Райт, Thm. 278
21. Харди и Райт, Thm. 386
22. Харди, Рамануджан, уравнения 9.1.2, 9.1.3
23. Коблиц, Исх. III.5.2
24. Харди и Райт, § 20.13
25. Харди, Рамануджан, § 9.7
26. Харди, Рамануджан, § 9.13
27. Харди, Рамануджан, § 9.17
28. Статья Хуарда, Оу, Спирмана и Вильямса во внешних ссылках также имеет доказательства.
29. Рамануджан, О некоторых арифметических функциях, Таблица IV; Статьи, п. 146
30. Коблиц, отл. III.2.8
31. Коблиц, экс. III.2.3
32. Коблиц, отл. III.2.2
33. Коблиц, экс. III.2.4
34. Апостол, Модульные функции ..., Бывший. 6.10
35. Апостол, Модульные функции ..., Гл. 6 Пр. 10
36. G.H. Харди, С. Раманнуджан, Асимптотическая формула в комбинаторном анализе., § 1.3; в Раманнуджане, Статьи п. 279
37. Ландау, стр. 168, кредиты Гаусса, а также Дирихле
38. Коэн, Защ. 5.1.2
39. Коэн, Корр. 5.3.13
40. см. Эдвардс, § 9.5 упражнения для более сложных формул.
41. Коэн, Предложение 5.3.10
42. Видеть Функция делителя.
43. Харди и Райт, ур. 22.1.2
44. Видеть функции подсчета простых чисел.
45. Харди и Райт, ур. 22.1.1
46. Харди и Райт, ур. 22.1.3
47. Ласло Тот, Идентичность Менона и арифметические суммы ..., ур. 1
48. Тот, ур. 5
49. Тот, ур. 3
50. Тот, ур. 35 год
51. Тот, ур. 2
52. Тот утверждает, что Менон доказал это для мультипликативных ж в 1965 г. и В. Сита Рамаях на должность генерала ж.
53. Видеть Арифметическая производная
54. Харди Рамануджан, ур. 3.10.3
55. Харди и Райт, § 22.13
56. Харди и Райт, Thm. 329
57. Харди и Райт, Thms. 271, 272
58. Харди и Райт, ур. 16.3.1
59. Рамануджан, Некоторые формулы аналитической теории чисел, ур. (C); Статьи п. 133. В сноске говорится, что Харди сказал Рамануджану, что это также фигурирует в статье Лиувилля 1857 года.
60. Рамануджан, Некоторые формулы аналитической теории чисел, ур. (F); Статьи п. 134
61. Апостол, Модульные функции ..., гл. 6 экв. 4
62. Апостол, Модульные функции ..., гл. 6 экв. 3

Рекомендации

• Том М. Апостол (1976), Введение в аналитическую теорию чисел, Springer Тексты для бакалавриата по математике, ISBN  0-387-90163-9
• Апостол, Том М. (1989), Модульные функции и ряды Дирихле в теории чисел (2-е издание), Нью-Йорк: Springer, ISBN  0-387-97127-0
• Бейтман, Пол Т.; Даймонд, Гарольд Г. (2004), Аналитическая теория чисел, введение, Всемирный научный, ISBN  978-981-238-938-1
• Коэн, Анри (1993), Курс вычислительной алгебраической теории чисел, Берлин: Springer, ISBN  3-540-55640-0
• Эдвардс, Гарольд (1977). Последняя теорема Ферма. Нью-Йорк: Springer. ISBN  0-387-90230-9.
• Харди, Г. Х. (1999), Рамануджан: Двенадцать лекций по предметам, предложенным его жизнью и работой, Провиденс, Род-Айленд: AMS / Челси, HDL:10115/1436, ISBN  978-0-8218-2023-0
• Харди, Г. Х.; Райт, Э.М. (1979) [1938]. Введение в теорию чисел (5-е изд.). Оксфорд: Clarendon Press. ISBN  0-19-853171-0. МИСТЕР  0568909. Zbl  0423.10001.
• Джеймсон, Дж. Дж. О. (2003), Теорема о простых числах, Издательство Кембриджского университета, ISBN  0-521-89110-8
• Коблиц, Нил (1984), Введение в эллиптические кривые и модульные формы, Нью-Йорк: Springer, ISBN  0-387-97966-2
• Ландау, Эдмунд (1966), Элементарная теория чисел, Нью-Йорк: Челси
• Уильям Дж. Левек (1996), Основы теории чисел, Courier Dover Publications, ISBN  0-486-68906-9
• Лонг, Кальвин Т. (1972), Элементарное введение в теорию чисел (2-е изд.), Лексингтон: Д. К. Хит и компания, LCCN  77-171950
• Эллиотт Мендельсон (1987), Введение в математическую логику, CRC Press, ISBN  0-412-80830-7
• Нагель, Трюгве (1964), Введение в теорию чисел (2-е издание), Челси, ISBN  978-0-8218-2833-5
• Нивен, Иван М.; Цукерман, Герберт С. (1972), Введение в теорию чисел (3-е издание), Джон Уайли и сыновья, ISBN  0-471-64154-5
• Петтофреццо, Энтони Дж .; Биркит, Дональд Р. (1970), Элементы теории чисел, Энглвудские скалы: Prentice Hall, LCCN  77-81766
• Рамануджан, Шриниваса (2000), Сборник статей, Провиденс, Род-Айленд: AMS / Челси, ISBN  978-0-8218-2076-6

дальнейшее чтение

• Шварц, Вольфганг; Спилкер, Юрген (1994), Арифметические функции. Введение в элементарные и аналитические свойства арифметических функций и некоторые из их почти периодических свойств, Серия лекций Лондонского математического общества, 184, Издательство Кембриджского университета, ISBN  0-521-42725-8, Zbl  0807.11001

внешняя ссылка

• «Арифметическая функция», Энциклопедия математики, EMS Press, 2001 [1994]
• Мэттью Холден, Майкл Оррисон, Майкл Варбл Еще одно обобщение тотенциальной функции Эйлера
• Уард, Оу, Спирмен и Уильямс. Элементарное вычисление некоторых сумм сверток с участием функций делителей Элементарные (то есть, не полагающиеся на теорию модулярных форм) доказательства сверток суммы делителей, формулы для количества способов представления числа в виде суммы треугольных чисел и связанные с ними результаты.
• Динева, Росица, Функции Эйлера, Мёбиуса и делителя.
• Ласло Тот, Идентичность Менона и арифметические суммы, представляющие функции нескольких переменных