Делителей Проблемы

Проблемы теории чисел, касающиеся асимптотич. поведения сумматорных функций (где t(n) — число делителей п, а tk (п), k>2,- число представлений пв виде произведения кнатуральных чисел), а также модификаций этих функций. Проблема делителей Дирихле — проблема наилучшей оценки остаточного члена D(х)в асимптотич. формуле где С- Эйлера постоянная. Асимптотика суммы впервые рассмотрена П. Дирихле (P. Dirichlet) в 1849. Он исходил из того, что данная сумма равна числу точек ( и, v )с целыми положительными координатами под гиперболой uv=x, и доказал, что Эта формула наз. формулой Дирихле числа делителей. Д. п. явилась одной из тех моделей, на к-рых развивались методы оценок числа целых точек в разного рода расширяющихся областях. Пусть q — нижняя грань чисел aв соотношении Согласно П. Дирихле, Г. Ф. Вороной доказал, что Далее последовательно были получены оценки Истинный порядок величины D (х)(к 1978) неизвестен. Существует гипотеза, что С другой стороны, X. Харди (Н. Hardy) доказал, что q>1/4, или, точнее, Кроме того, известна формула (А- постоянная), показывающая справедливость "в среднем" гипотезы о порядке (х). Обобщенная проблема делителей — проблема наилучшего асимптотич. выражения, при суммы в частности, при k=2 Обобщенная Д. п. тесно связана с поведением дзета-функции Римана z(s) в критич. полосе значений s. Именно, для нецелого x>0, с>1 имеет место формула Здесь подинтегральная функция имеет в точке s= 1 полюс порядка кс вычетом вида хР k(lnх), где Р k -многочлен степени k-1. Пусть и пусть gk<g<1, где gk- нижняя грань чисел s, для к-рых Тогда справедливы формула и обратная формула Меллина: где интеграл существует в смысле среднего квадратичного для Оценки остаточного члена Dk (х)в формуле Dk (х)еще далеки (к 1978) от ожидаемых. Пусть ak — наименьшее из чисел а, для к-рых при любом e>0. Известны оценки: Имеются уточнения этих оценок для частных значении k: Последний результат оценки сверху ak получен в [3] на основе развития идей Виноградова метода:доказано существование такой абсолютной постоянной с>0, что Эта оценка есть следствие оценки z(s). в критич. полосе: для 1/2<s<1, |t|>2 существует такая постоянная а>1, что С другой стороны, X. Харди (G. Hardy) доказал, что Относительно величины Dk(x) существует гипотеза: при всех Однако для ее обоснования недостаточно даже решения Линделёфа гипотезы:при любых e>0, s>1/2. Дальнейшее обобщение Д. п. [4]: равномерно относительно целых при где Проблема делителей в арифметических прогрессиях -проблема равномерных относительно х, d,(l, d)=1, оценок сумм Эти суммы изучались на основе аналитич. методов теории L-функций и важны для многих проблем теории чисел (см. [7]). В простейшем случае (m=1) для них получены асимптотич. выражения: При любом и к=2 найден (см. [9]) истинный порядок роста для В общем случае доказано [10j, что где — ожидаемый главный член роста, М- положительная сколь угодно большая постоянная, e>0 — любое число. Последнее неравенство, в частности, показывает, что суммы Dk(m) (х; d, l )при любых целых "в среднем" имеют один и тот же главный член роста для всех примитивных арифметич. прогрессий разности Лит.:[1] ТитчмаршЕ. К., Теория дзета-функции Римана, пер. с англ., 1953; [2] Xуа Ло — ген, Метод тригонометрических сумм и его применения в теории чисел, пер. с нем., М., 1964; [3] Карацуба А. А., "Тр. Матем. ин-та АН СССР", 1971, т. 112. с. 241-55; [4] Марджанишвили К. К., "Докл. АН СССР", 1939, т. 22, с. 391-93; [5] Нооlеу С, "Proc. London Math. Soc", ser. 3, 1957, v. 7, № 27, p. 396 — 413; [6] Линник Ю. В., "Матем. сб.", 1961, т. 53, N°1, с. 3-38; [7] его же, Дисперсионный метод в бинарных аддитивных задачах, Л., 1961; [8] Лаврик А. Ф., "Изв. АН СССР. Сер. матем.", 1966, т. 30, № 2, с. 433-48; [9] Виноградов А. И., Линник Ю. В., "Успехи матем. наук", 1957, т. 12, в. 4, с. 277-80; [10] Виноградов А. И., "Изв. АН СССР. Сер. матем.", 1965, т. 29, № 4, с. 903-34. А. Ф. Лаврик.