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

- проблемы теории чисел, касающиеся асимптотич. Поведения сумматорных функций (где 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. А. Ф. Лаврик..