Карацуба, Анатолий Алексеевич

Карацуба Анатолий Алексеевич
Дата рождения	31 января 1937(1937-01-31)
Место рождения	Грозный
Дата смерти	28 сентября 2008(2008-09-28) (71 год)
Место смерти	Москва, Россия
Страна	СССР,  Россия
Научная сфера	математика
Место работы	МИАН, МГУ
Альма-матер	МГУ (мехмат)
Научный руководитель	Коробов Н. М.
Ученики	Воронин С. М., Чубариков В. Н., Архипов Г. И.
Награды и премии	Премия им. П. Л. Чебышёва АН СССР Премия им. И. М. Виноградова РАН

Анато́лий Алексе́евич Карацу́ба (31 января 1937, Грозный — 28 сентября 2008, Москва) — советский и российский математик. Создатель первого быстрого метода в истории математики — метода умножения больших чисел (умножение Карацубы).

Учёба и работа

А. А. Карацуба — выпускник средней школы

Анатолий Карацуба учился в 1944—1954 годах в средней мужской школе № 6 города Грозного и окончил её с серебряной медалью. Уже в ранние годы проявлял исключительные способности к математике, решая в младших классах задачи, которые давали в математическом кружке старшеклассникам.

В 1959 году окончил механико-математический факультет МГУ им. Ломоносова. В 1962 году он стал кандидатом физико-математических наук с диссертацией «Рациональные тригонометрические суммы специального вида и их приложения» (научный руководитель — Н. М. Коробов), и начал работать на факультете в МГУ. В 1966 году он защитил докторскую диссертацию «Метод тригонометрических сумм и теоремы о среднем» и стал научным сотрудником Математического института АН СССР (МИАН).

С 1983 года он являлся ведущим специалистом в области теории чисел в СССР и России, и заведующим отдела теории чисел (образован в 1983 году) в МИАНе, профессором кафедры теории чисел МГУ с 1970 года и профессором кафедры математического анализа МГУ (образована в 1962 году) с 1980 года. Его исследовательские интересы включали тригонометрические суммы и интегралы, дзета-функцию Римана, характеры Дирихле, конечный автомат, эффективные алгоритмы.

А.А. Карацуба был научным руководителем 15 аспирантов, получивших степень кандидата наук; семеро из них стали впоследствии докторами наук. Имеет государственные премии и звания.

Премии и звания

• 1981: Премия имени П. Л. Чебышёва АН СССР
• 4 июня 1999: Заслуженный деятель науки Российской Федерации
• 2001: Премия имени И. М. Виноградова РАН

Ранние работы по информатике

Будучи студентом МГУ им. Ломоносова, А. А. Карацуба принимал участие в работе семинара А. Н. Колмогорова и нашёл решения двух поставленных Колмогоровым проблем, что дало импульс развитию теории автоматов и положило начало новому направлению в математике — теории быстрых алгоритмов.

Автоматы

В статье Эдварда Мура «Умозрительные эксперименты на последовательных машинах» [math]\displaystyle{ (n; m; p) }[/math] автомат (или машина) [math]\displaystyle{ S }[/math] определяется как имеющее [math]\displaystyle{ n }[/math] состояний, [math]\displaystyle{ m }[/math] входных символов и [math]\displaystyle{ p }[/math] выходных символов устройство. Доказывается девять теорем о структуре [math]\displaystyle{ S }[/math] и экспериментах с [math]\displaystyle{ S }[/math]. Позднее такие [math]\displaystyle{ S }[/math] машины стали называть автоматами Мура. В конце статьи, в главе «Новые проблемы» Мур формулирует задачу об улучшении оценок полученных им в теоремах 8 и 9:

Теорема 8 (Мур). Пусть задана произвольная [math]\displaystyle{ (n; m; p) }[/math] машина [math]\displaystyle{ S }[/math], такая что каждые два её состояния различимы одно от другого, тогда существует эксперимент длины [math]\displaystyle{ n(n-1)/2 }[/math] который устанавливает (находит) состояние [math]\displaystyle{ S }[/math] в конце этого эксперимента.

В 1957 году Карацуба доказал две теоремы, которые полностью решили проблему Мура по улучшению оценки длины эксперимента в его Теореме 8.

Теорема A (Карацуба). Если [math]\displaystyle{ S }[/math] есть [math]\displaystyle{ (n; m; p) }[/math] машина, каждые два состояния которой различимы между собой, то существует разветвлённый эксперимент длины не более чем [math]\displaystyle{ (n-1)(n-2)/2 + 1 }[/math], посредством которого можно установить (найти) состояние [math]\displaystyle{ S }[/math] в конце эксперимента.

Теорема B (Карацуба). Существует [math]\displaystyle{ (n; m; p) }[/math] машина, каждые два состояния которой взаиморазличимы, такая, что длина наикратчайшего эксперимента, устанавливающего состояние машины в конце эксперимента, равна [math]\displaystyle{ (n-1)(n-2)/2 + 1 }[/math].

Эти две теоремы явились основой курсовой работы Карацубы 4-го курса «Об одной проблеме из теории автоматов» которая была отмечена похвальным отзывом (то есть не очень высоко) на конкурсе студенческих работ механико-математического факультета МГУ им. Ломоносова в 1958 году. Статья была подана Карацубой в журнал Успехи математических наук в декабре 1958 года, а опубликована лишь в июне 1960 года. Однако до настоящего времени этот результат Карацубы, который впоследствии стал называться теоремой Мура – Карацубы, является единственным точным (единственно точный нелинейный порядок оценки) нелинейным результатом как в теории автоматов, так и в аналогичных задачах теории сложности вычислений.

Быстрые алгоритмы

Быстрые алгоритмы — область вычислительной математики, которая изучает алгоритмы вычисления заданной функции с заданной точностью с использованием как можно меньшего числа битовых операций. Будем считать, что числа записаны в двоичной системе счисления, знаки которой 0 и 1 называются битами. Одна битовая операция определяется как запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов. Первые постановки задач о битовой сложности вычисления принадлежат А. Н. Колмогорову. Сложность умножения [math]\displaystyle{ M(n) }[/math] определяется как количество битовых операций, достаточное для вычисления произведения двух [math]\displaystyle{ n }[/math]-значных чисел посредством данного алгоритма.

Перемножая два n-значных числа обычным школьным способом «в столбик», мы имеем оценку сверху [math]\displaystyle{ M(n) = O(n^2) }[/math]. В 1956 году А. Н. Колмогоров высказал гипотезу, что нижняя оценка [math]\displaystyle{ M(n) }[/math] при любом методе умножения есть также величина порядка [math]\displaystyle{ n^2 }[/math], то есть нельзя вычислить произведение двух n-значных чисел быстрее, чем за [math]\displaystyle{ n^2 }[/math] операций (так называемая «гипотеза [math]\displaystyle{ n^2 }[/math]»). На правдоподобность гипотезы [math]\displaystyle{ n^2 }[/math] указывал тот факт, что за всё время существования математики к тому моменту люди производили умножение со сложностью порядка [math]\displaystyle{ O(n^2) }[/math], и если бы был более быстрый метод умножения, то он, вероятно, уже был бы найден.

В 1960 году на механико-математическом факультете МГУ начал работать семинар по математическим вопросам кибернетики под руководством А. Н. Колмогорова, где была сформулирована «гипотеза [math]\displaystyle{ n^2 }[/math]» и поставлен ряд задач об оценке сложности других подобных вычислений. Анатолий Карацуба, надеясь получить нижнюю оценку величины [math]\displaystyle{ M(n) }[/math], нашёл новый метод умножения двух n-значных чисел, известный теперь как умножение Карацубы, с оценкой сложности

[math]\displaystyle{ M(n) = O(n^{\log_23}) = O(n^{1,58496\ldots}), }[/math]

и тем самым опровергнув гипотезу [math]\displaystyle{ n^2 }[/math], о чём сообщил Колмогорову после очередного заседания семинара. На следующем заседании семинара этот метод был рассказан самим Колмогоровым, и семинар прекратил свою работу. Первая статья с описанием умножения Карацубы была подготовлена самим Колмогоровым, где он представил два разных и несвязанных друг с другом результата двух своих учеников. Хотя в статье Колмогоров чётко отметил, что одна теорема (не связанная с быстрым умножением) принадлежит Ю. Офману, а другая теорема (с первым в истории быстрым умножением) — А. Карацубе, эта публикация двух авторов надолго сбила с толку читателей, которые полагали, что оба автора внесли вклад в создание метода быстрого умножения, и даже называли этот метод двумя именами. Метод Карацубы впоследствии был обобщён до парадигмы «разделяй и властвуй», другими важными примерами которой являются метод двоичного разбиения, двоичный поиск, метод бисекции и др.

Впоследствии на основе этой идеи А. Карацубы было построено множество быстрых алгоритмов, самыми известными из которых являются его непосредственные обобщения, такие как метод умножения Шёнхаге-Штрассена, метод матричного умножения Штрассена и быстрое преобразование Фурье.

Французский математик и философ Жан-Поль Делайе назвал метод умножения Карацубы «одним из самых полезных результатов математики».

Алгоритм Анатолия Карацубы внедрён практически во все современные компьютеры не только на программном, но и на аппаратном уровне.

Основные исследования

В своей статье «О математических работах профессора Карацубы», посвящённой 60-летнему юбилею А. А. Карацубы, его ученики Г. И. Архипов и В. Н. Чубариков так описывают особенности научных работ А. А. Карацубы:

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

Основные исследования А. А. Карацубы опубликованы более чем в 160 научных статьях и монографиях.

Тригонометрические суммы и тригонометрические интегралы

p-адический метод

А. А. Карацуба построил новый [math]\displaystyle{ p }[/math]-адический метод в теории тригонометрических сумм. Полученные им оценки так называемых [math]\displaystyle{ L }[/math]-сумм вида

[math]\displaystyle{ S = \sum_{x=1}^P e^{2\pi i (a_1x/p^n+ \dots a_nx^n/p)}, \quad (a_s,p) = 1, \quad 1 \le s \le n, }[/math]

привели к новым границам нулей [math]\displaystyle{ L }[/math]-рядов Дирихле по модулю, равному степени простого числа, к выводу асимптотической формулы для числа варинговского сравнения вида

[math]\displaystyle{ x_1^{n} + \dots + x_t^{n} \equiv N \pmod{p^k}, \quad 1 \le x_s \le P, \quad 1 \le s \le n, \quad P \lt p^k, }[/math]

решению проблемы распределения дробных долей многочлена с целыми коэффициентами по модулю [math]\displaystyle{ p^k }[/math]. А. А. Карацуба первый реализует в [math]\displaystyle{ p }[/math]-адической форме «принцип вложения» Эйлера-Виноградова и строит [math]\displaystyle{ p }[/math]-адический аналог [math]\displaystyle{ u }[/math]- чисел Виноградова при оценке числа решений сравнения варинговского типа.

Пусть

[math]\displaystyle{ x_1^{n} + \dots + x_t^{n} \equiv N \pmod{Q}, \quad 1 \le x_s \le P, \quad 1 \le s \le t, \quad (1) }[/math]

причём

[math]\displaystyle{ P^r \le Q \lt P^{r+1}, \quad 1 \le r \le \frac{1}{12}\sqrt{n}, \quad Q = p^k, \quad k \ge 4(r+1)n, }[/math]

где [math]\displaystyle{ p }[/math] — простое число. А. А. Карацуба доказал, что в этом случае для всякого натурального числа [math]\displaystyle{ n \ge 144 }[/math] существует [math]\displaystyle{ p_0 = p_0(n) }[/math] такое, что для любого [math]\displaystyle{ p_0 \gt p_0(n) }[/math] всякое натуральное число [math]\displaystyle{ N }[/math] представимо в виде (1) при [math]\displaystyle{ t \ge 20r + 1 }[/math], а при [math]\displaystyle{ t \lt r }[/math] существуют [math]\displaystyle{ N }[/math] такие, что сравнение (1) неразрешимо.

Этот новый подход, найденный А. А. Карацубой, привёл к новому [math]\displaystyle{ p }[/math]-адическому доказательству теоремы о среднем И. М. Виноградова, играющей центральную роль в методе тригонометрических сумм Виноградова.

Ещё одним элементом [math]\displaystyle{ p }[/math]-адического метода А. А. Карацубы является переход от неполных систем уравнений к полным за счёт локального [math]\displaystyle{ p }[/math]-адического изменения неизвестных.

Пусть [math]\displaystyle{ r }[/math] — произвольное натуральное число, [math]\displaystyle{ 1 \le r \le n }[/math], и целое число [math]\displaystyle{ t }[/math] определяется неравенствами [math]\displaystyle{ m_t \le r \le m_{t+1} }[/math]. Рассмотрим систему уравнений

[math]\displaystyle{ \begin{cases} x_1^{m_1} + \dots + x_k^{m_1} = y_1^{m_1} + \dots + y_k^{m_1},\\ \qquad\qquad\qquad\qquad\vdots \\ x_1^{m_s} + \dots + x_k^{m_s} = y_1^{m_s} + \dots + y_k^{m_s},\\ x_1^{n} + \dots + x_k^{n} = y_1^{n} + \dots + y_k^{n}. \end{cases} }[/math]

[math]\displaystyle{ 1 \le x_1,\dots,x_k,y_1,\dots,y_k \le P, \quad 1 \le m_1 \lt m_2 \lt \dots \lt m_s \lt m_{s+1} = n. }[/math]

А. А. Карацуба доказал, что для числа решений [math]\displaystyle{ I_k }[/math] этой системы уравнений при [math]\displaystyle{ k \ge 6rn\log n }[/math] справедлива оценка

[math]\displaystyle{ I_k \ll P^{2k-\delta}, \quad \delta = m_1 + \dots + m_t + (s-t+1)r. }[/math]

Для неполных систем уравнений, в которых переменные пробегают числа с малыми простыми делителями, А. А. Карацуба применил мультипликативный сдвиг переменных. Это привело к качественно новой оценке тригонометрических сумм и новой теореме о среднем для таких систем уравнений.

Проблема Хуа Ло-кена о показателе сходимости особого интеграла проблемы Терри

[math]\displaystyle{ p }[/math]-адический метод А. А. Карацубы включает в себя способы оценок меры множества точек с малыми значениями функций через значения их параметров (коэффициенты и т. п.) и, обратно, оценок этих параметров через меру множества в вещественной и [math]\displaystyle{ p }[/math]-адической метриках. Особенно ярко эта сторона метода А. А. Карацубы проявилась при оценках тригонометрических интегралов, что привело к решению проблемы Хуа Ло-кена. В 1979 году А. А. Карацуба вместе со своими учениками Г. И. Архиповым и В. Н. Чубариковым полностью решили проблему Хуа Ло-кена, поставленную в 1937 году, которая заключалась в определении показателя сходимости интеграла:

[math]\displaystyle{ \vartheta_0=\int\limits_{-\infty}^{+\infty}\cdots \int\limits_{-\infty}^{+\infty}\biggl|\int\limits_{0}^{1}e^{2\pi i(\alpha_{n}x^{n}+\cdots +\alpha_{1}x)}dx\biggr|^{2k}d\alpha_{n}\ldots d\alpha_{1}, }[/math]

где [math]\displaystyle{ n \ge 2 }[/math] — фиксированное число.

В данном случае показателем сходимости называется такое значение [math]\displaystyle{ \gamma }[/math], что [math]\displaystyle{ \vartheta_0 }[/math] сходится при [math]\displaystyle{ 2k \gt \gamma + \varepsilon }[/math] и расходится при [math]\displaystyle{ 2k \lt \gamma - \varepsilon }[/math], где [math]\displaystyle{ \varepsilon \gt 0 }[/math] сколь угодно мало. Было установлено, что интеграл [math]\displaystyle{ \vartheta_{0} }[/math] сходится при [math]\displaystyle{ 2k \gt \tfrac{1}{2}(n^{2}+n)+1 }[/math] и расходится при [math]\displaystyle{ 2k \le \tfrac{1}{2}(n^{2}+n)+1 }[/math].

Тогда же была решена и аналогичная проблема для интеграла

[math]\displaystyle{ \vartheta_1=\int_{-\infty}^{+\infty}\cdots\int_{-\infty}^{+\infty}\biggl|\int_{0}^{1}e^{2\pi i(\alpha_n x^n + \alpha_m x^m + \cdots + \alpha_r x^r)}dx\biggr|^{2k}d\alpha_{n}d\alpha_{m}\ldots d\alpha_{r}, }[/math]

где [math]\displaystyle{ n, m, \ldots, r }[/math] — целые числа, удовлетворяющие условиям

[math]\displaystyle{ 1 \le r \lt \ldots \lt m \lt n, \quad r + \ldots + m + n \lt \tfrac{1}{2}(n^2+n). }[/math]

А. А. Карацубой и его учениками было установлено, что интеграл [math]\displaystyle{ \vartheta_1 }[/math] сходится, если [math]\displaystyle{ 2k \gt n + m + \ldots + r }[/math] и расходится, если [math]\displaystyle{ 2k \le n + m + \ldots + r }[/math].

Интегралы [math]\displaystyle{ \vartheta_0 }[/math] и [math]\displaystyle{ \vartheta_1 }[/math] возникают при решении так называемой проблемы Терри (проблемы Терри-Эскотта). А. А. Карацубой и его учениками был получен ряд новых результатов, связанных с многомерным аналогом проблемы Терри. В частности, ими было установлено, что если [math]\displaystyle{ F }[/math] — полином от [math]\displaystyle{ r }[/math] переменных ([math]\displaystyle{ r \ge 2 }[/math]) вида

[math]\displaystyle{ F(x_{1},\ldots, x_{r})\,=\,\sum\limits_{\nu_{1} = 0}^{n_{1}}\cdots \sum\limits_{\nu_{r} = 0}^{n_{r}}\alpha(\nu_{1},\ldots, \nu_{r})x_{1}^{\nu_{1}}\ldots x_{r}^{\nu_{r}}, }[/math]

с нулевым свободным коэффициентом, [math]\displaystyle{ m = (n_{1}+1) \ldots (n_{r}+1)-1 }[/math], [math]\displaystyle{ \bar{\alpha} }[/math] — [math]\displaystyle{ m }[/math]-мерный вектор, составленный из коэффициентов [math]\displaystyle{ F }[/math], то интеграл

[math]\displaystyle{ \vartheta_{2}=\int\limits_{-\infty}^{+\infty}\cdots \int\limits_{-\infty}^{+\infty}\biggl|\int\limits_{0}^{1}\cdots\int\limits_{0}^{1}e^{2\pi iF(x_{1},\ldots, x_{r})}dx_{1}\ldots dx_{r}\biggr|^{2k}d\bar{\alpha} }[/math]

сходится при [math]\displaystyle{ 2k \gt mn }[/math] , где [math]\displaystyle{ n }[/math] — наибольшее из чисел [math]\displaystyle{ n_1, \ldots, n_r }[/math]. Этот результат, не являясь окончательным, породил новое направление в теории тригонометрических интегралов, связанное с уточнением границ для показателя сходимости [math]\displaystyle{ \vartheta_2 }[/math] (И. А. Икромов, М. А. Чахкиев и другие).

Кратные тригонометрические суммы

В 1966—1980 годах А. А. Карацуба создал (при участии своих учеников Г. И. Архипова и В. Н. Чубарикова) теорию кратных тригонометрических сумм Г. Вейля, то есть сумм вида

[math]\displaystyle{ S = S(A) = \sum_{x_1=1}^{P_1}\dots\sum_{x_r=1}^{P_r}e^{2\pi i F(x_1,\dots,x_r)} }[/math] ,

где [math]\displaystyle{ F(x_1,\dots,x_r) = \sum_{t_1=1}^{n_1}\dots\sum_{t_r=1}^{n_r}\alpha(t_1,\dots,t_r)x_1^{t_1}\dots x_r^{t_r} }[/math] ,

[math]\displaystyle{ A }[/math] — набор вещественных коэффициентов [math]\displaystyle{ \alpha(t_1,\dots,t_r) }[/math]. Центральным моментом этой теории, как и теории тригонометрических сумм И. М. Виноградова, является следующая теорема о среднем.

Пусть [math]\displaystyle{ n_1,\dots,n_r,P_1,\dots,P_r }[/math] — натуральные числа, [math]\displaystyle{ P_1 = \min(P_1,\dots,P_r) }[/math],[math]\displaystyle{ m = (n_1+1)\dots(n_r+1) }[/math]. Пусть, далее [math]\displaystyle{ \Omega }[/math] — [math]\displaystyle{ m }[/math]-мерный куб в евклидовом пространстве вида

[math]\displaystyle{ 0 \le \alpha(t_1,\dots,t_r) \lt 1 }[/math] , [math]\displaystyle{ 0 \le t_1 \le n_1, \dots ,0 \le t_r \le n_r }[/math],

и

[math]\displaystyle{ J = J(P_1,\dots,P_r;n_1,\dots,n_r;K,r) = \underset{\Omega}{\int\dots\int}|S(A)|^{2K} dA }[/math] .

Тогда при любом [math]\displaystyle{ \tau \ge 0 }[/math] и [math]\displaystyle{ K \ge K_{\tau} = m\tau }[/math] для величины [math]\displaystyle{ J }[/math] имеет место оценка

[math]\displaystyle{ J \le K_{\tau}^{2m\tau}\varkappa^{4\varkappa^2\Delta(\tau)}2^{8m\varkappa\tau}(P_1\dots P_r)^{2K}P^{-\varkappa\Delta(\tau)} }[/math] ,

где [math]\displaystyle{ \varkappa = n_1\nu_1+ \dots + n_r\nu_r }[/math] , [math]\displaystyle{ \gamma\varkappa = 1 }[/math], [math]\displaystyle{ \Delta(\tau) = \frac{m}{2}(1-(1-\gamma)^{\tau}) }[/math] , [math]\displaystyle{ P = (P_1^{n_1}\dots P_r^{n_r})^{\gamma} }[/math], и натуральные числа [math]\displaystyle{ \nu_1, \dots , \nu_r }[/math] таковы, что:

[math]\displaystyle{ -1 \lt \frac{P_s}{P_1} - \nu_s \le 0 }[/math] , [math]\displaystyle{ s= 1,\dots , r }[/math] .

Теорема о среднем и лемма о кратности пересечения многомерных параллелепипедов лежат в основе оценки кратной тригонометрической суммы, полученной А. А. Карацубой (двумерный случай был получен Г. И. Архиповым). Если обозначить через [math]\displaystyle{ Q_0 }[/math] наименьшее общее кратное чисел [math]\displaystyle{ q(t_1,\dots,t_r) }[/math] с условием [math]\displaystyle{ t_1 + \dots t_r \ge 1 }[/math], то при [math]\displaystyle{ Q_0 \ge P^{1/6} }[/math] справедлива оценка

[math]\displaystyle{ |S(A)| \le (5n^{2n})^{r\nu(Q_0)}(\tau(Q_0))^{r-1}P_1\dots P_rQ^{-0.1\mu} + 2^{8r}(r\mu^{-1})^{r-1}P_1\dots P_rP^{-0.05\mu} }[/math] ,

где [math]\displaystyle{ \tau(Q) }[/math] — количество делителей числа [math]\displaystyle{ Q }[/math], а [math]\displaystyle{ \nu(Q) }[/math] — количество различных простых делителей числа [math]\displaystyle{ Q }[/math].

Оценка функции Харди в проблеме Варинга

Применяя сконструированную им [math]\displaystyle{ p }[/math]-адическую форму кругового метода Харди-Литтлвуда-Рамануджана-Виноградова к оценкам тригонометрических сумм, в которых суммирование ведётся по числам с малыми простыми делителями, А. А. Карацуба получил новую оценку известной функции Харди [math]\displaystyle{ G(n) }[/math] в проблеме Варинга (при [math]\displaystyle{ n \ge 400 }[/math]):

[math]\displaystyle{ G(n) \lt 2 n\log n + 2 n\log\log n + 12 n. }[/math]

Многомерный аналог проблемы Варинга

В своих дальнейших исследованиях по проблеме Варинга А. А. Карацуба получил следующее двумерное обобщение этой проблемы:

Рассмотрим систему уравнений

[math]\displaystyle{ x_1^{n-i}y_1^i + \dots + x_k^{n-i}y_k^i = N_i }[/math] , [math]\displaystyle{ i = 0,1,\dots, n }[/math] ,

где [math]\displaystyle{ N_i }[/math] — заданные положительные целые числа имеющие одинаковый порядок роста, [math]\displaystyle{ N_0 \to +\infty }[/math] , а [math]\displaystyle{ x_{\varkappa},y_{\varkappa} }[/math] — неизвестные, но также положительные целые числа. Эта система разрешима, если [math]\displaystyle{ k \gt cn^2\log n }[/math] , а если [math]\displaystyle{ k \lt c_1n^2 }[/math] , то существуют такие [math]\displaystyle{ N_i }[/math]-е, что система не имеет решений.

Проблема Артина о локальном представлении нуля формой

В исследованиях по проблеме Артина о [math]\displaystyle{ p }[/math]-адическом представлении нуля формой произвольной степени результаты А. А. Карацубы показали, что вместо ранее предполагавшегося степенного роста числа переменных для нетривиального представления нуля формой, это число переменных должно расти почти экспоненциально в зависимости от степени. А. А. Карацуба вместе со своим учеником Г. И. Архиповым доказали, что для любого натурального числа [math]\displaystyle{ r }[/math] существует такое [math]\displaystyle{ n_0 = n_0(r) }[/math], что для любого [math]\displaystyle{ n \ge n_0 }[/math] существует форма [math]\displaystyle{ F(x_1,\dots,x_k) }[/math] степени, меньшей [math]\displaystyle{ n }[/math], с целыми коэффициентами, число переменных которой [math]\displaystyle{ k }[/math], [math]\displaystyle{ k \ge 2^u }[/math] ,

[math]\displaystyle{ u = \frac{n}{(\log_2n)(\log_2\log_2n)\dots\underbrace{(\log_2\dots\log_2n)}_r\underbrace{(\log_2\dots\log_2n)^3}_{r+1}} }[/math]

и имеющая только тривиальное представление нуля в 2-адических числах, а также получили аналогичный результат для произвольного нечётного простого модуля [math]\displaystyle{ p }[/math].

Оценки коротких сумм Клоостермана

А. А. Карацуба создал(1993—1999) новый метод оценок коротких сумм Клоостермана, то есть тригонометрических сумм вида

[math]\displaystyle{ \sum\limits_{n\in A}\exp{\biggl(2\pi i\,\frac{an^{*}+bn}{m}\biggr)}, }[/math]

где [math]\displaystyle{ n }[/math] пробегает некоторое множество [math]\displaystyle{ A }[/math] чисел, взаимно простых с [math]\displaystyle{ m }[/math], число [math]\displaystyle{ \|A\| }[/math] элементов в котором существенно меньше [math]\displaystyle{ m }[/math], а символ [math]\displaystyle{ n^{*} }[/math] обозначает вычет, обратный к [math]\displaystyle{ n }[/math] по модулю [math]\displaystyle{ m }[/math]: [math]\displaystyle{ nn^{*}\equiv 1(\mod m) }[/math].

До начала 1990-х гг. оценки такого типа были известны в основном, для сумм, число слагаемых в которых превосходило [math]\displaystyle{ \sqrt{m} }[/math] (Г. Д. Клоостерман, И. М. Виноградов, Г. Салье,Л. Карлиц, С. Учияма, А. Вейль). Исключение составляли специальные модули вида [math]\displaystyle{ m = p^{\alpha} }[/math], где [math]\displaystyle{ p }[/math] — фиксированное простое число, а показатель [math]\displaystyle{ \alpha }[/math] неограниченно возрастает (этот случай был исследован А. Г. Постниковым методом И. М. Виноградова). Метод А. А. Карацубы позволяет оценивать суммы Клоостермана, число слагаемых которых не превосходит [math]\displaystyle{ m^{\varepsilon} }[/math], а в некоторых случаях — даже [math]\displaystyle{ \exp{\{(\ln m)^{2/3+\varepsilon}\}} }[/math], где [math]\displaystyle{ \varepsilon \gt 0 }[/math] — сколь угодно малое фиксированное число. Последняя статья А. А. Карацубы на эту тему была опубликована уже после его смерти.

Различные аспекты метода А. А. Карацубы нашли применение в решении следующих задач аналитической теории чисел:

• нахождение асимптотик сумм дробных долей вида

  [math]\displaystyle{ {\sum_{n\le x}}'\biggl\{\frac{an^{*}+bn}{m}\biggr\}, {\sum_{p\le x}}'\biggl\{\frac{ap^{*}+bp}{m}\biggr\}, }[/math]

где [math]\displaystyle{ n }[/math] пробегает подряд идущие целые числа с условием [math]\displaystyle{ (n,m)=1 }[/math], а [math]\displaystyle{ p }[/math] пробегает простые числа, не делящие модуль [math]\displaystyle{ m }[/math] (А. А. Карацуба);

• нахождение нижней границы для числа решений неравенств вида

  [math]\displaystyle{ \alpha\lt \biggl\{\frac{an^{*}+bn}{m}\biggr\}\le\beta }[/math]

в целых числах [math]\displaystyle{ n }[/math], [math]\displaystyle{ 1\le n\le x }[/math], взаимно простых с [math]\displaystyle{ m }[/math], [math]\displaystyle{ x\lt \sqrt{m} }[/math] (А. А. Карацуба);

• точность приближения произвольного вещественного числа из отрезка [math]\displaystyle{ [0,1] }[/math] дробными долями вида

  [math]\displaystyle{ \biggl\{\frac{an^{*}+bn}{m}\biggr\}, }[/math]

где [math]\displaystyle{ 1\le n\le x }[/math], [math]\displaystyle{ (n,m)=1 }[/math], [math]\displaystyle{ x\lt \sqrt{m} }[/math] (А. А. Карацуба);

• уточнение постоянной [math]\displaystyle{ c }[/math] в неравенстве Бруна-Титчмарша

  [math]\displaystyle{ \pi(x;q,l)\lt \frac{cx}{\varphi(q)\ln\frac{2x}{q}}, }[/math]

где [math]\displaystyle{ \pi(x;q,l) }[/math] — число простых чисел [math]\displaystyle{ p }[/math], не превосходящих [math]\displaystyle{ x }[/math] и принадлежащих арифметической прогрессии [math]\displaystyle{ p\equiv l \pmod{q} }[/math] (Дж. Фридлендер, Г. Иванец);

• нижняя оценка наибольшего простого делителя произведения чисел вида:

  [math]\displaystyle{ n^{3}+2 }[/math], [math]\displaystyle{ N\lt n\le 2N }[/math] (Д. Р. Хиз-Браун);

• доказательство бесконечности простых чисел вида [math]\displaystyle{ a^{2}+b^{4} }[/math] (Дж. Фридлендер, Г. Иванец);

• комбинаторные свойства множества чисел [math]\displaystyle{ n^{*} \pmod{m} }[/math], [math]\displaystyle{ 1 \le n \le m^{\varepsilon} }[/math] (А. А. Глибичук).

Дзета-функция Римана

Гипотеза А. Сельберга

В 1984 году А. А. Карацуба установил, что при фиксированном [math]\displaystyle{ \varepsilon }[/math] с условием [math]\displaystyle{ 0\lt \varepsilon \lt 0.001 }[/math], достаточно большом [math]\displaystyle{ T }[/math] и [math]\displaystyle{ H = T^{a+\varepsilon} }[/math], [math]\displaystyle{ a = \tfrac{27}{82} = \tfrac{1}{3} -\tfrac{1}{246} }[/math], промежуток [math]\displaystyle{ (T,T+H) }[/math] содержит не менее [math]\displaystyle{ cH\ln T }[/math] вещественных нулей дзета-функции Римана [math]\displaystyle{ \zeta\Bigl(\tfrac{1}{2}+it\Bigr) }[/math].

Это утверждение в 1942 году было высказано в качестве гипотезы А. Сельбергом, который сам доказал его справедливость для случая [math]\displaystyle{ H\ge T^{1/2+\varepsilon} }[/math]. Оценки А. Сельберга и А. А. Карацубы являются неулучшаемыми по порядку роста при [math]\displaystyle{ T\to +\infty }[/math].

Распределение нулей дзета-функции Римана на коротких отрезках критической прямой

А. А. Карацубе принадлежит также ряд результатов о распределении нулей [math]\displaystyle{ \zeta(s) }[/math] на «коротких» промежутках критической прямой. Он доказал, что аналог гипотезы Сельберга справедлив для «почти всех» промежутков [math]\displaystyle{ (T,T+H] }[/math], [math]\displaystyle{ H = T^{\varepsilon} }[/math], где [math]\displaystyle{ \varepsilon }[/math] — сколь угодно малое фиксированное положительное число. А. А. Карацуба разработал (1992) новый подход к исследованию нулей дзета-функции Римана на «сверхкоротких» промежутках критической прямой, то есть на промежутках [math]\displaystyle{ (T, T+H] }[/math], длина [math]\displaystyle{ H }[/math] которых растёт медленнее любой, даже сколь угодно малой, степени [math]\displaystyle{ T }[/math]. В частности, он доказал, что для любых заданных чисел [math]\displaystyle{ \varepsilon }[/math], [math]\displaystyle{ \varepsilon_{1} }[/math] с условием [math]\displaystyle{ 0\lt \varepsilon, \varepsilon_{1}\lt 1 }[/math] почти все промежутки [math]\displaystyle{ (T,T+H] }[/math] при [math]\displaystyle{ H\ge\exp{\{(\ln T)^{\varepsilon}\}} }[/math] содержат не менее [math]\displaystyle{ H(\ln T)^{1-\varepsilon_{1}} }[/math] нулей функции [math]\displaystyle{ \zeta\bigl(\tfrac{1}{2}+it\bigr) }[/math]. Эта оценка весьма близка к той, что следует из гипотезы Римана.

Нули линейных комбинаций эль-рядов Дирихле

А. А. Карацубой создан новый метод исследования нулей функций, представимых в виде линейных комбинаций [math]\displaystyle{ L }[/math] -рядов Дирихле. Простейшим примером функции такого рода служит функция Дэвенпорта-Хейльбронна, определяемая равенством

[math]\displaystyle{ f(s)=\tfrac{1}{2}(1-i\kappa)L(s,\chi)+\tfrac{1}{2}(1 \,+\,i\kappa)L(s,\bar{\chi}), }[/math]

где [math]\displaystyle{ \chi }[/math] — неглавный характер по модулю [math]\displaystyle{ 5 }[/math] ([math]\displaystyle{ \chi(1) = 1 }[/math], [math]\displaystyle{ \chi(2) = i }[/math], [math]\displaystyle{ \chi(3) = -i }[/math], [math]\displaystyle{ \chi(4) = -1 }[/math], [math]\displaystyle{ \chi(5) = 0 }[/math], [math]\displaystyle{ \chi(n+5) = \chi(n) }[/math] для любого [math]\displaystyle{ n }[/math]),

[math]\displaystyle{ \kappa=\frac{\sqrt{10-2\sqrt{5}}-2}{\sqrt{5}-1}. }[/math]

Для [math]\displaystyle{ f(s) }[/math] гипотеза Римана неверна, однако критическая прямая [math]\displaystyle{ Re \ s = \tfrac{1}{2} }[/math] содержит, тем не менее, аномально много нулей.

А. А. Карацуба установил (1989), что промежуток [math]\displaystyle{ (T, T+H] }[/math], [math]\displaystyle{ H = T^{27/82+\varepsilon} }[/math], содержит не менее

[math]\displaystyle{ H(\ln T)^{1/2}e^{-c\sqrt{\ln\ln T}} }[/math]

нулей функции [math]\displaystyle{ f\bigl(\tfrac{1}{2}+it\bigr) }[/math]. Подобные результаты были получены А. А. Карацубой и для линейных комбинаций, содержащих произвольное (конечное) число слагаемых; показатель степени [math]\displaystyle{ \tfrac{1}{2} }[/math] заменяется при этом меньшим числом [math]\displaystyle{ \beta }[/math], зависящим лишь от вида линейной комбинации.

Граница нулей дзета-функции и многомерная проблема делителей Дирихле

Лекция в Математическом институте им. В. А. Стеклова

А. А. Карацубе принадлежит принципиально новый результат в многомерной проблеме делителей Дирихле, которая связана с нахождением при [math]\displaystyle{ x\to +\infty }[/math] числа [math]\displaystyle{ D_{k}(x) }[/math] решений неравенства [math]\displaystyle{ x_{1}*\ldots *x_{k}\le x }[/math] в натуральных числах [math]\displaystyle{ x_{1}, \ldots, x_{k} }[/math]. Для [math]\displaystyle{ D_{k}(x) }[/math] имеется асимптотическая формула вида

[math]\displaystyle{ D_{k}(x) = xP_{k-1}(\ln x)+R_{k}(x) }[/math] ,

в которой [math]\displaystyle{ P_{k-1}(u) }[/math] — многочлен [math]\displaystyle{ (k-1) }[/math]-й степени, коэффициенты которого зависят от [math]\displaystyle{ k }[/math] и могут быть найдены явно, а [math]\displaystyle{ R_{k}(x) }[/math] — остаточный член, все известные (до 1960 г.) оценки которого имели вид

[math]\displaystyle{ |R_{k}(x)| \le x^{1-\alpha(k)}(c\ln x)^{k} }[/math] ,

где [math]\displaystyle{ \alpha = \frac{1}{ak+b} }[/math], [math]\displaystyle{ a,b,c }[/math] — абсолютные положительные постоянные.

А. А. Карацуба получил более точную оценку [math]\displaystyle{ R_{k}(x) }[/math], в которой величина [math]\displaystyle{ \alpha(k) }[/math] имела порядок [math]\displaystyle{ k^{-2/3} }[/math] и убывала гораздо медленнее, чем [math]\displaystyle{ \alpha(k) }[/math] в предыдущих оценках. Оценка А. А. Карацубы является равномерной по [math]\displaystyle{ x }[/math] и [math]\displaystyle{ k }[/math]; в частности, величина [math]\displaystyle{ k }[/math] может расти по мере роста [math]\displaystyle{ x }[/math] (как некоторая степень логарифма [math]\displaystyle{ x }[/math]). (Похожий, но более слабый результат был получен в 1960 г. немецким математиком Х. Э. Рихертом, работа которого оставалась неизвестной советским математикам по меньшей мере до середины 1970-х гг.).

Вывод оценки [math]\displaystyle{ R_{k}(x) }[/math] опирается на ряд утверждений, по сути эквивалентных теореме о границе нулей дзета-функции Римана, получаемой методом И. М. Виноградова, то есть теореме о том, что [math]\displaystyle{ \zeta(s) }[/math] не имеет нулей в области

[math]\displaystyle{ Re \ s \ge 1 - \frac{c}{(\ln |t|)^{2/3}(\ln\ln |t|)^{1/3}},\quad |t|\gt 10 }[/math] .

А. А. Карацуба установил (2000) обратную связь оценок величин [math]\displaystyle{ R_{k}(x) }[/math] с поведением [math]\displaystyle{ \zeta(s) }[/math] вблизи прямой [math]\displaystyle{ Re \ s = 1 }[/math]. В частности, он доказал, что если [math]\displaystyle{ \alpha(y) }[/math] — произвольная невозрастающая функция с условием [math]\displaystyle{ 1/y \le \alpha(y)\le 1/2 }[/math], такая, что при всех [math]\displaystyle{ k\ge 2 }[/math] выполняется оценка

[math]\displaystyle{ |R_{k}(x)| \le x^{1-\alpha(k)}(c\ln x)^{k} }[/math] ,

то [math]\displaystyle{ \zeta(s) }[/math] не имеет нулей в области

[math]\displaystyle{ Re \ s \ge 1 - c_{1}\,\frac{\alpha(\ln |t|)}{\ln\ln |t|},\quad |t|\ge e^{2} }[/math]

([math]\displaystyle{ c, c_{1} }[/math] — абсолютные постоянные).

Нижние оценки максимума модуля дзета-функции в малых областях критической полосы и на малых промежутках критической прямой

А. А. Карацубой введены и исследованы функции [math]\displaystyle{ F(T;H) }[/math] и [math]\displaystyle{ G(s_{0};\Delta) }[/math], определяемые равенствами

[math]\displaystyle{ F(T;H) = \max_{|t-T|\le H}\bigl|\zeta\bigl(\tfrac{1}{2}+it\bigr)\bigr|,\quad G(s_{0};\Delta) = \max_{|s-s_{0}|\le\Delta}|\zeta(s)|. }[/math]

Здесь [math]\displaystyle{ T }[/math] — достаточно большое положительное число, [math]\displaystyle{ 0\lt H\ll \ln\ln T }[/math], [math]\displaystyle{ s_{0} = \sigma_{0}+iT }[/math], [math]\displaystyle{ \tfrac{1}{2}\le\sigma_{0}\le 1 }[/math], [math]\displaystyle{ 0\lt \Delta \lt \tfrac{1}{3} }[/math]. Нижние оценки величин [math]\displaystyle{ F }[/math] и [math]\displaystyle{ G }[/math] показывают, насколько большие (по абсолютной величине) значения может принимать [math]\displaystyle{ \zeta(s) }[/math] на коротких отрезках критической прямой или в малых окрестностях точек, лежащих в критической полосе [math]\displaystyle{ 0\le Re \ s\le 1 }[/math]. Случай [math]\displaystyle{ H\gg \ln\ln T }[/math] был исследован ранее Рамачандрой; случай [math]\displaystyle{ \Delta \gt c }[/math], где [math]\displaystyle{ c }[/math] — достаточно большая постоянная, тривиален.

А. А. Карацуба доказал, в частности, что если величины [math]\displaystyle{ H }[/math] и [math]\displaystyle{ \Delta }[/math] превосходят некоторые достаточно малые константы, то справедливы оценки

[math]\displaystyle{ F(T;H) \ge T^{- c_{1}},\quad G(s_{0}; \Delta) \ge T^{- c_{2}}, }[/math]

где [math]\displaystyle{ c_{1}, c_{2} }[/math] — некоторые абсолютные постоянные.

Поведение аргумента дзета-функции на критической прямой

А. А. Карацубой получен ряд новых результатов , касающихся поведения функции [math]\displaystyle{ S(t) = \frac{1}{\pi}\arg{\zeta\bigl(\tfrac{1}{2}+it\bigr)} }[/math], называемой аргументом дзета-функции Римана на критической прямой (здесь [math]\displaystyle{ \arg{\zeta\bigl(\tfrac{1}{2}+it\bigr)} }[/math] — приращение произвольной непрерывной ветви [math]\displaystyle{ \arg\zeta(s) }[/math] вдоль ломаной линии, соединяющей точки [math]\displaystyle{ 2, 2+it }[/math] и [math]\displaystyle{ \tfrac{1}{2}+it }[/math]). В их числе — теоремы о средних значениях функции [math]\displaystyle{ S(t) }[/math] и её первообразной [math]\displaystyle{ S_{1}(t) = \int_{0}^{t}S(u)du }[/math] на отрезках вещественной прямой, а также теорема о том, что всякий промежуток [math]\displaystyle{ (T,T+H] }[/math] при [math]\displaystyle{ H \ge T^{27/82+\varepsilon} }[/math] содержит не менее

[math]\displaystyle{ H(\ln T)^{1/3}e^{-c\sqrt{\ln\ln T}} }[/math]

точек перемены знака функции [math]\displaystyle{ S(t) }[/math]. Ранее подобные результаты были установлены А. Сельбергом для случая [math]\displaystyle{ H\ge T^{1/2+\varepsilon} }[/math].

Характеры Дирихле

Оценки коротких сумм характеров в конечных полях

В конце 1960-х гг. А. А. Карацуба, занимаясь оценками коротких сумм характеров, создал новый метод, позволивший получать нетривиальные оценки коротких сумм характеров в конечных полях. Пусть [math]\displaystyle{ n\ge 2 }[/math] — фиксированное целое число, [math]\displaystyle{ F(x) = x^{n}+a_{n-1}x^{n-1}+\ldots + a_{1}x + a_{0} }[/math] — неприводимый над полем [math]\displaystyle{ \mathbb{Q} }[/math] рациональных чисел многочлен, [math]\displaystyle{ \theta }[/math] — корень уравнения [math]\displaystyle{ F(\theta) = 0 }[/math], [math]\displaystyle{ \mathbb{Q}(\theta) }[/math] — расширение поля [math]\displaystyle{ \mathbb{Q} }[/math], [math]\displaystyle{ \omega_{1},\ldots, \omega_{n} }[/math] — базис [math]\displaystyle{ \mathbb{Q}(\theta) }[/math], [math]\displaystyle{ \omega_{1} = 1 }[/math], [math]\displaystyle{ \omega_{2} = \theta }[/math], [math]\displaystyle{ \omega_{3} = \theta^{2}, \ldots, \omega_{n} = \theta^{n-1} }[/math]. Пусть, далее, [math]\displaystyle{ p }[/math] — достаточно большое простое число, такое, что [math]\displaystyle{ F(x) }[/math] неприводим по модулю [math]\displaystyle{ p }[/math], [math]\displaystyle{ \mathrm{GF}(p^{n}) }[/math] — поле Галуа с базисом [math]\displaystyle{ \omega_{1}, \omega_{2}, \ldots, \omega_{n} }[/math], [math]\displaystyle{ \chi }[/math] — неглавный характер Дирихле поля [math]\displaystyle{ \mathrm{GF}(p^{n}) }[/math]. Пусть, наконец, [math]\displaystyle{ \nu_{1},\ldots, \nu_{n} }[/math] — некоторые неотрицательные целые числа, [math]\displaystyle{ D(X) }[/math] — множество элементов [math]\displaystyle{ \bar{x} }[/math] поля Галуа [math]\displaystyle{ \mathrm{GF}(p^{n}) }[/math],

[math]\displaystyle{ \bar{x} = x_{1}\omega_{1} + \ldots + x_{n}\omega_{n} }[/math] ,

таких, что при любом [math]\displaystyle{ i }[/math], [math]\displaystyle{ 1\le i\le n }[/math], выполняются неравенства:

[math]\displaystyle{ \nu_{i} \lt x_{i} \lt \nu_{i} + X }[/math] .

А. А. Карацуба доказал, что при любом фиксированном [math]\displaystyle{ k }[/math], [math]\displaystyle{ k\ge n+1 }[/math], и произвольном [math]\displaystyle{ X }[/math] с условием

[math]\displaystyle{ p^{\frac{1}{4}+\frac{1}{4k}} \le X \le p^{\frac{1}{2}+\frac{1}{4k}} }[/math]

справедлива оценка:

[math]\displaystyle{ \biggl|\sum\limits_{\bar{x}\in D(X)}\chi(\bar{x})\biggr| \le c\Bigl(X^{1-\frac{1}{k}}p^{\frac{1}{4k}+\frac{1}{ 4k^{2}}}\Bigr)^{\!\!n}(\ln p)^{\gamma}, }[/math]

где [math]\displaystyle{ \gamma = \frac{1}{k}(2^{n+1}-1) }[/math], а постоянная [math]\displaystyle{ c }[/math] зависит лишь от [math]\displaystyle{ n }[/math] и базиса [math]\displaystyle{ \omega_{1},\ldots, \omega_{n} }[/math].

Оценки линейных сумм характеров по сдвинутым простым числам

А. А. Карацуба разработал ряд новых приёмов, применение которых наряду с методом И. М. Виноградова оценок сумм с простыми числами позволило ему в 1970 году получить оценку суммы значений неглавного характера по простому модулю [math]\displaystyle{ q }[/math] на последовательности сдвинутых простых чисел, а именно оценку вида

[math]\displaystyle{ \biggl|\sum\limits_{p\le N}\chi(p+k)\biggr|\le cNq^{-\frac{\varepsilon^{2}}{1024}}, }[/math]

где [math]\displaystyle{ k }[/math] — целое число с условием [math]\displaystyle{ k\not\equiv 0\pmod{q} }[/math], [math]\displaystyle{ \varepsilon }[/math] — сколь угодно малое фиксированное число, [math]\displaystyle{ N\ge q^{1/2+\varepsilon} }[/math], а постоянная [math]\displaystyle{ c }[/math] зависит лишь от [math]\displaystyle{ \varepsilon }[/math].

Это утверждение представляет собой значительное усиление оценки И. М. Виноградова, нетривиальной при [math]\displaystyle{ N\ge q^{3/4+\varepsilon} }[/math].

В 1971 году на Международной конференции по теории чисел, посвященной 80-летию со дня рождения И. М. Виноградова, академик Ю. В. Линник отметил следующее:

Весьма важны исследования И. М. Виноградова в области асимптотики характеров Дирихле от сдвинутых простых чисел [math]\displaystyle{ \sum\limits_{p\le N}\chi(p+k) }[/math], которая давала степенное понижение по сравнению с [math]\displaystyle{ N }[/math] уже при [math]\displaystyle{ N\ge q^{3/4+\varepsilon} }[/math], [math]\displaystyle{ \varepsilon \gt 0 }[/math], где [math]\displaystyle{ q }[/math] — модуль характера. Эта оценка имеет принципиальное значение, так как по глубине превосходит то, что дает непосредственное применение расширенной гипотезы Римана, и, по-видимому, в этом направлении является истиной, более глубокой, чем указанная гипотеза (если гипотеза верна). Недавно эту оценку удалось улучшить А. А. Карацубе.

Этот результат был перенесен А. А. Карацубой и на случай, когда [math]\displaystyle{ p }[/math] пробегает простые числа арифметической прогрессии, разность которой растет вместе с модулем [math]\displaystyle{ q }[/math].

Оценки сумм характеров от многочленов с простым аргументом

А. А. Карацубе принадлежит ряд оценок сумм характеров Дирихле от многочленов второй степени для случая, когда аргумент многочлена пробегает короткую последовательность подряд идущих простых чисел. Пусть, например, [math]\displaystyle{ q }[/math] — достаточно большое простое число, [math]\displaystyle{ f(x) = (x-a)(x-b) }[/math], где [math]\displaystyle{ a }[/math] и [math]\displaystyle{ b }[/math] — целые числа, удовлетворяющие условию [math]\displaystyle{ ab(a-b)\not\equiv 0 \pmod{q} }[/math], и пусть [math]\displaystyle{ \left(\frac{n}{q}\right) }[/math] обозначает символ Лежандра, тогда при любом фиксированном [math]\displaystyle{ \varepsilon }[/math] с условием [math]\displaystyle{ 0\lt \varepsilon\lt \tfrac{1}{2} }[/math] и [math]\displaystyle{ N\gt q^{3/4+\varepsilon} }[/math] для суммы [math]\displaystyle{ S_{N} }[/math],

[math]\displaystyle{ S_{N} = \sum\limits_{p\le N}\biggl(\frac{f(p)}{q}\biggr), }[/math]

справедлива оценка:

[math]\displaystyle{ |S_{N}| \le c\pi(N)q^{-\frac{\varepsilon^{2}}{100}} }[/math]

(здесь [math]\displaystyle{ p }[/math] пробегает подряд идущие простые числа, [math]\displaystyle{ \pi(N) }[/math] — количество простых чисел, не превосходящих [math]\displaystyle{ N }[/math], а [math]\displaystyle{ c }[/math] — постоянная, зависящая лишь от [math]\displaystyle{ \varepsilon }[/math]).

Подобная оценка была получена А. А. Карацубой и для случая, когда [math]\displaystyle{ p }[/math] пробегает последовательность простых чисел, принадлежащих арифметической прогрессии, разность которой может расти вместе с модулем [math]\displaystyle{ q }[/math].

А. А. Карацубой высказана гипотеза, согласно которой нетривиальная оценка суммы [math]\displaystyle{ S_{N} }[/math] при [math]\displaystyle{ N }[/math], «маленьких» по сравнению с [math]\displaystyle{ q }[/math], остаётся справедливой и в случае, если заменить [math]\displaystyle{ f(x) }[/math] произвольным многочленом [math]\displaystyle{ n }[/math]-й степени, который не является квадратом по модулю [math]\displaystyle{ q }[/math]. Эта гипотеза в настоящее время не доказана.

Нижние оценки сумм характеров от многочленов

А. А. Карацуба построил бесконечную последовательность простых чисел [math]\displaystyle{ p }[/math] и последовательность многочленов [math]\displaystyle{ f(x) }[/math] степени [math]\displaystyle{ n }[/math] с целыми коэффициентами, таких, что [math]\displaystyle{ f(x) }[/math] не является полным квадратом по модулю [math]\displaystyle{ p }[/math],

[math]\displaystyle{ \frac{4(p-1)}{\ln p} \le n \le \frac{8(p-1)}{\ln p}, }[/math]

и таких, что

[math]\displaystyle{ \sum\limits_{x =1}^{p}\left(\frac{f(x)}{p}\right) = p. }[/math]

Иными словами, при любом [math]\displaystyle{ x }[/math] значение [math]\displaystyle{ f(x) }[/math] оказывается квадратичным вычетом по модулю [math]\displaystyle{ p }[/math]. Этот результат показывает, что оценку А. Вейля

[math]\displaystyle{ \biggl|\sum\limits_{x=1}^{p}\left(\frac{f(x)}{p}\right)\biggr| \le (n-1)\sqrt{p} }[/math]

нельзя слишком сильно улучшить и заменить правую часть последнего неравенства, скажем, величиной [math]\displaystyle{ C\sqrt{n}\sqrt{p} }[/math], где [math]\displaystyle{ C }[/math] — абсолютная постоянная.

Суммы характеров на аддитивных последовательностях

А. А. Карацубой предложен новый метод, позволяющий находить весьма точные оценки сумм значений неглавных характеров Дирихле на аддитивных последовательностях, то есть на последовательностях, состоящих из чисел вида [math]\displaystyle{ x+y }[/math], где переменные [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] независимо друг от друга пробегают, соответственно, некоторые множества [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math].

Наиболее ярким примером результатов такого рода является следующее утверждение, находящее применение при решении широкого класса задач, связанных с суммированием значений характеров Дирихле. Пусть [math]\displaystyle{ \varepsilon }[/math] — сколь угодно малое фиксированное число, [math]\displaystyle{ 0\lt \varepsilon\lt \tfrac{1}{2} }[/math], [math]\displaystyle{ q }[/math] — достаточно большое простое число, [math]\displaystyle{ \chi }[/math] — неглавный характер по модулю [math]\displaystyle{ q }[/math]. Пусть, далее, [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] — произвольные подмножества полной системы вычетов по модулю [math]\displaystyle{ q }[/math], удовлетворяющие лишь условиям [math]\displaystyle{ \|A\|\gt q^{\varepsilon} }[/math], [math]\displaystyle{ \|B\|\gt q^{1/2+\varepsilon} }[/math]. Тогда имеет место оценка:

[math]\displaystyle{ \biggl|\sum\limits_{x\in A}\sum\limits_{y\in B}\chi(x+y)\biggr|\le c\|A\|\cdot\|B\| q^{-\frac{\varepsilon^{2}}{20}},\quad c = c(\varepsilon)\gt 0. }[/math]

Метод А. А. Карацубы позволяет получать нетривиальные оценки сумм такого рода и в некоторых случаях, когда указанные выше условия на множества [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] заменяются иными, например: [math]\displaystyle{ \|A\|\gt q^{\varepsilon} }[/math], [math]\displaystyle{ \sqrt{\|A\|}\cdot\|B\|\gt q^{1/2+\varepsilon}. }[/math]

В случае же, когда [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] представляют собой множества простых чисел отрезков [math]\displaystyle{ (1,X] }[/math], [math]\displaystyle{ (1,Y] }[/math] соответственно, причём [math]\displaystyle{ X\ge q^{1/4+\varepsilon} }[/math], [math]\displaystyle{ Y\ge q^{1/4+\varepsilon} }[/math], имеет место оценка вида:

[math]\displaystyle{ \biggl|\sum\limits_{p\le X}\sum\limits_{p'\le Y}\chi(p+p')\biggr|\le c\pi(X)\pi(Y)q^{-c_{1}\varepsilon^{2}}, }[/math]

где [math]\displaystyle{ \pi(Z) }[/math] — количество простых чисел, не превосходящих [math]\displaystyle{ Z }[/math], [math]\displaystyle{ c = c(\varepsilon)\gt 0 }[/math], а [math]\displaystyle{ c_{1} }[/math] — некоторая абсолютная постоянная.

Распределение степенных вычетов и первообразных корней в редких последовательностях

А. А. Карацубой получены (2000) нетривиальные оценки сумм значений характеров Дирихле «с весами», то есть сумм слагаемых вида [math]\displaystyle{ \chi(n)f(n) }[/math], где [math]\displaystyle{ f(n) }[/math] — функция натурального аргумента. Оценки такого рода находят применение при решении широкого круга задач теории чисел, связанных с распределением степенных вычетов (невычетов), а также первообразных корней в тех или иных последовательностях.

Пусть [math]\displaystyle{ k\ge 2 }[/math] — целое число, [math]\displaystyle{ q }[/math] — достаточно большое простое число, [math]\displaystyle{ (a,q) = 1 }[/math], [math]\displaystyle{ |a|\le \sqrt{q} }[/math], [math]\displaystyle{ N\ge q^{\frac{1}{2} - \frac{1}{2(k+1)}+\varepsilon} }[/math], где [math]\displaystyle{ 0\lt \varepsilon\lt \min{\{0.01, \tfrac{2}{3(k+1)}\}} }[/math], и пусть, наконец,

[math]\displaystyle{ D_{k}(x) = \sum\limits_{x_{1}*\ldots *x_{k}\le x}1 = \sum\limits_{n\le x}\tau_{k}(n) }[/math]

(асимптотическое выражение для [math]\displaystyle{ D_{k}(x) }[/math] см. выше, в разд., посвящённом многомерной проблеме делителей Дирихле). Для сумм [math]\displaystyle{ V_{1}(x) }[/math] и [math]\displaystyle{ V_{2}(x) }[/math] величин [math]\displaystyle{ \tau_{k}(n) }[/math], распространённых на значения [math]\displaystyle{ n \le x }[/math], для которых числа [math]\displaystyle{ (n+a) }[/math] являются квадратичными вычетами (соответственно, невычетами) по модулю [math]\displaystyle{ q }[/math], А. А. Карацуба получил асимптотические формулы вида

[math]\displaystyle{ V_{1}(x) = \tfrac{1}{2}D_{k}(x) + O\bigl(xq^{-0.01\varepsilon^{2}}\bigr),\quad V_{2}(x) = \tfrac{1}{2}D_{k}(x) + O\bigl(xq^{-0.01\varepsilon^{2}}\bigr) }[/math] .

Аналогично, для суммы [math]\displaystyle{ V(x) }[/math] величин [math]\displaystyle{ \tau_{k}(n) }[/math], взятых по всем [math]\displaystyle{ n\le x }[/math], для которых [math]\displaystyle{ (n+a) }[/math] будет первообразным корнем по модулю [math]\displaystyle{ q }[/math], получается асимптотическое выражение вида

[math]\displaystyle{ V(x) = \left(1 - \frac{1}{p_{1}}\right)\ldots \left(1 - \frac{1}{p_{s}}\right)D_{k}(x) + O\bigl(xq^{-0.01\varepsilon^{2}}\bigr) }[/math] ,

где [math]\displaystyle{ p_{1},\ldots, p_{s} }[/math] — все простые делители числа [math]\displaystyle{ q-1 }[/math].

Метод, развитый А. А. Карацубой, был применён им и к задачам о распределении степенных вычетов (невычетов) в последовательностях сдвинутых простых чисел [math]\displaystyle{ p+a }[/math], чисел вида [math]\displaystyle{ x^{2}+y^{2}+a }[/math] и т. д.

Работы последних лет

На памирском восхождении

Последние годы, кроме исследований в области теории чисел (см. Эффект Карацубы), занимался некоторыми проблемами теоретической физики, в том числе в области квантовой теории поля. Путём применения своей теоремы АТС и некоторых других теоретико-числовых подходов получил новые результаты в модели Джейнса-Каммингса в квантовой оптике.

Семья и увлечения

В Крыму

Жена — однокурсница по механико-математическому факультету МГУ Диана Васильевна Сенченко (род. 1936), доцент кафедры математических методов анализа экономики Экономического факультета МГУ. Дочь Екатерина (род. 1963) — доктор физико-математических наук, ведущий научный сотрудник Вычислительного центра им. А. А. Дородницына РАН.

Анатолий Карацуба всю жизнь занимался спортом: в ранние годы тяжёлой атлетикой и борьбой, затем альпинизмом, скалолазанием, спелеологией и горным туризмом. Проходил крымские стены Ай-Петри, Куш-Каи, Оползневого, Фороса и многие другие, участвовал в спелеоэкспедициях в пещеры Анакопийскую (Новоафонскую), Каскадную, Назаровскую.

Одиннадцать раз поднимался на высоту более 7000 метров, покоряя вершины

• пик Коммунизма (высочайшая вершина СССР) в 1977 и в 1985 годах;
• пик Ленина в 1968 и 1979 годах;
• пик Корженевской в 1980, 1982, 1983, 1985, 1986, 1988 и 1991 годах,

Четыре раза покорял Эльбрус. Совершал походы в горах Кавказа, Памира и, особенно в последние годы жизни, Тянь-Шаня в Киргизском Ала-Тоо, Заилийском Алатау, Терскей и Кунгей Ала-Тоо.

См. также

• АТС теорема
• Диаграмма Мура
• Умножение Карацубы
• Эффект Карацубы

Ссылки

• Список научных трудов на сайте МИАНа  (Дата обращения: 24 сентября 2009)
• Данные о научных интересах, образовании и профессиональной деятельности  (Дата обращения: 24 сентября 2009)
• Архипов Г. И., Чубариков В. Н. Анатолий Алексеевич Карацуба