Проблема круга Гаусса — задача определения количества точек целочисленной решётки, попадающих в круг радиуса r с центром в начале координат. Первый успех в решении этой задачи был сделан Гауссом, в честь него и названа проблема.
Проблема В круге в с центром в начале координат радиусом необходимо определить количество точек внутри круга, имеющих вид (m,n), где m и n — целые числа. Поскольку в декартовых координатах уравнение круга задается формулой: x2 + y2 = r2, эквивалентной формулировкой задачи станет вопрос: какое количество пар целых чисел m и n удовлетворяет неравенству
Если для заданного r обозначить искомое значение через N(r), то следующий список дает значения N(r) для значений целого радиуса r между 0 и 10: 1, ().
Границы значений и гипотезы Поскольку площадь круга радиуса r задается формулой πr2, то следовало бы ожидать, что число точек будет около πr2. На самом деле значение слегка больше этой величины на некоторую поправку E(r)
Поиск верхней границы этой поправки и составляет суть проблемы.
Гаусс показалG.H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, (1999), p.67., что
ХардиG.H. Hardy, On the Expression of a Number as the Sum of Two Squares, Quart. J. Math. 46, (1915), pp.263—283. и, независимо, Эдмунд Ландау нашли меньшее значение границы, показав, что
в нотации o-малое. Существует гипотезаR.K. Guy, Unsolved problems in number theory, Third edition, Springer, (2004), pp.365—366., что истинное значение равно
Если переписать последнее выражение в виде , то текущие границы числа t равны
где нижняя граница выведена Харди и Ландау в 1915 году, а верхняя доказана Мартином Хаксли (Martin Huxley) в 2000 годуM.N. Huxley, Integer points, exponential sums and the Riemann zeta function, Number theory for the millennium, II (Urbana, IL, 2000) pp.275—290, A K Peters, Natick, MA, 2002, ..
В 2007 году Силвейн Кэппелл (Sylvain Cappell) и Юлиус Шейнисон (Julius Shaneson) выложили в arXiv статью, содержащую доказательство границы S. Cappell and J. Shaneson, Some Problems in Number Theory I: The Circle Problem, , (2007)..
Точное представление Значение N(r) можно представить как сумму некоторых последовательностей. Если использовать функцию округления вниз, то значение может быть выражено какD. Hilbert and S. Cohn-Vossen, Geometry and the Imagination, New York: Chelsea, (1999), pp.37—38.
Много проще выглядит представление с использованием функции r2(n), которая определяется как количество способов представить число n в виде суммы двух квадратов. В этом случае
Обобщения Хотя начальная формулировка задачи говорила о целочисленных решетках в круге, нет причин останавливаться только на круге. Можно ставить задачу нахождения числа точек решетки в других фигурах или конусах. «Проблема делителей» Дирихле эквивалентна данной задаче при замене круга гиперболой. Можно также распространить задачу на большие размерности, и говорить о числе точек внутри n-мерной сферы или другого объекта. Можно отказаться от геометрического представления проблемы и перейти к диофантовым неравенствам.
Проблема круга для взаимно простых чисел Другим обобщением может служить вычисление количества взаимно простых целых решений m и n уравнения
Эта задача известна как проблема круга для взаимно простых чисел или проблема круга для примитивных чиселJ. Wu, On the primitive circle problem, Monatsh. Math. 135 (2002), pp.69—81. Если обозначить число таких решений через V(r), то V(r) для малых целых значений радиуса r равны 0, , … . Используя те же самые идеи, что и для обычной проблемы Гаусса, и исходя из факта, что вероятность взаимной простоты двух чисел равна 6/π2, относительно легко показать, что
Как и в обычной постановке, задача для взаимно простых чисел заключается в уменьшении показателя экспоненты в поправке. На настоящее время лучшим известным показателем является , если принять гипотезу Римана. Без принятия гипотезы Римана наилучшей верхней границей является
для некоторой положительной постоянной c.
В частности, неизвестны границы поправки вида для любого , если не принимать гипотезу Римана.
См. также Геометрия чисел
Примечания
Ссылки
Категория:Арифметические функции Категория:Нерешённые проблемы Категория:Математические гипотезы Категория:Объекты, названные в честь Карла Фридриха Гаусса