Проблема круга Гаусса

Проблема круга Гаусса — задача определения количества точек целочисленной решётки, попадающих в круг радиуса r с центром в начале координат. Первый успех в решении этой задачи был сделан Гауссом, в честь него и названа проблема.

Проблема

В круге в ${ℝ}^2$с центром в начале координат радиусом $r⩾0$ необходимо определить количество точек внутри круга, имеющих вид (m,n), где m и n — целые числа. Поскольку в декартовых координатах уравнение круга задается формулой: x² + y² = r², эквивалентной формулировкой задачи станет вопрос: какое количество пар целых чисел m и n удовлетворяет неравенству

$m^2+n^2⩽r^2.$

Если для заданного r обозначить искомое значение через N(r), то следующий список дает значения N(r) для значений целого радиуса r между 0 и 10:

1, Шаблон:Nums (Шаблон:OEIS).

Границы значений и гипотезы

Поскольку площадь круга радиуса r задается формулой πr², то следовало бы ожидать, что число точек будет около πr². На самом деле значение слегка больше этой величины на некоторую поправку E(r)

$N(r)=\pi r^2+E(r)$

Поиск верхней границы этой поправки и составляет суть проблемы.

Гаусс показал, что

$E(r)⩽2\sqrt{2}\pi r.$

Харди и, независимо, Эдмунд Ландау нашли меньшее значение границы, показав, что

$E(r)\ne o(r^{1/2}(\log r{)}^{1/4}),$

в нотации o-малое. Существует гипотеза, что истинное значение равно

$E(r)=O\left(r^{1/2+\epsilon }\right).$

Если переписать последнее выражение в виде $\Vert E(r)\Vert ⩽C{r}^t$, то текущие границы числа t равны

$\frac{1}{2}<t⩽\frac{131}{208}=\mathrm{0,6298}\dots ,$

где нижняя граница выведена Харди и Ландау в 1915 году, а верхняя доказана Мартином Хаксли (Martin Huxley) в 2000 году.

В 2007 году Силвейн Кэппелл (Sylvain Cappell) и Юлиус Шейнисон (Julius Shaneson) выложили в arXiv статью, содержащую доказательство границы $O(r^{\frac{1}{2}+ϵ})$.

Точное представление

Значение N(r) можно представить как сумму некоторых последовательностей. Если использовать функцию округления вниз, то значение может быть выражено как

$N(r)=1+4\sum _{i=0}^{\mathrm{\infty }}(\lfloor \frac{r^2}{4i+1}\rfloor -\lfloor \frac{r^2}{4i+3}\rfloor ).$

Много проще выглядит представление с использованием функции r₂(n), которая определяется как количество способов представить число n в виде суммы двух квадратов. В этом случае

$N(r)=\sum _{n=0}^{r^2}{r}_2(n).$

Обобщения

Хотя начальная формулировка задачи говорила о целочисленных решетках в круге, нет причин останавливаться только на круге. Можно ставить задачу нахождения числа точек решетки в других фигурах или конусах. «Проблема делителей» Дирихле эквивалентна данной задаче при замене круга гиперболой. Можно также распространить задачу на большие размерности, и говорить о числе точек внутри n-мерной сферы или другого объекта. Можно отказаться от геометрического представления проблемы и перейти к диофантовым неравенствам.

Проблема круга для взаимно простых чисел

Другим обобщением может служить вычисление количества взаимно простых целых решений m и n уравнения

$m^2+n^2⩽r^2.$

Эта задача известна как проблема круга для взаимно простых чисел или проблема круга для примитивных чисел Если обозначить число таких решений через V(r), то V(r) для малых целых значений радиуса r равны

0, Шаблон:Nums, … Шаблон:OEIS.

Используя те же самые идеи, что и для обычной проблемы Гаусса, и исходя из факта, что вероятность взаимной простоты двух чисел равна 6/π², относительно легко показать, что

$V(r)=\frac{6}{\pi }{r}^2+O(r^{1+\epsilon }).$

Как и в обычной постановке, задача для взаимно простых чисел заключается в уменьшении показателя экспоненты в поправке. На настоящее время лучшим известным показателем является $\frac{221}{304}+ϵ$, если принять гипотезу Римана. Без принятия гипотезы Римана наилучшей верхней границей является

$V(r)=\frac{6}{\pi }{r}^2+O(r\exp (-c(\log r{)}^{3/5}(\log \log r^2{)}^{-1/5}))$

для некоторой положительной постоянной c.

В частности, неизвестны границы поправки вида $1-ϵ$ для любого $ϵ>0$, если не принимать гипотезу Римана.

См. также

• Геометрия чисел

Ссылки

• Шаблон:MathWorld3