Проблема круга Гаусса - Gauss circle problem

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

Проблема

Рассмотрим круг в р² с центром в начале координат и радиусом р ≥ 0. Задача о круге Гаусса спрашивает, сколько точек находится внутри этого круга вида (м,п) куда м и п оба являются целыми числами. Поскольку уравнение этого круга дан в Декартовы координаты к Икс² + у² = р ², вопрос эквивалентен тому, сколько пар целых чисел м и п есть такие, что

${displaystyle m^{2}+n^{2}leq r^{2}.}$

Если ответ на данный р обозначается N(р), то в следующем списке показаны первые несколько значений N(р) за р целое число от 0 до 12, за которым следует список значений ${displaystyle pi r^{2}}$ округляется до ближайшего целого:

1, 5, 13, 29, 49, 81, 113, 149, 197, 253, 317, 377, 441 (последовательность A000328 в OEIS )

0, 3, 13, 28, 50, 79, 113, 154, 201, 254, 314, 380, 452 (последовательность A075726 в OEIS )

Границы решения и гипотезы

N (r) примерно равно πр², то область внутри круга радиуса р. Это потому, что в среднем каждый единичный квадрат содержит одну точку решетки. Таким образом, реальное количество точек решетки в круге примерно равно его площади πр². Так что следует ожидать, что

${displaystyle N(r)=pi r^{2}+E(r),}$

для некоторого срока ошибки E(р) относительно небольшой абсолютной величины. Нахождение правильной верхней границы для |E(р) | такова форма, которую приняла проблема. Обратите внимание, что р не обязательно должно быть целым числом. После ${displaystyle N(4)=49}$ надо ${displaystyle N({sqrt {17}})=57,N({sqrt {18}})=61,N({sqrt {20}})=69,N(5)=81.}$ В этих местах ${displaystyle E(r)}$ увеличивается на ${displaystyle 8,4,8,12}$ после чего она уменьшается (со скоростью ${displaystyle 2pi r}$) до следующего раза.

Гауссу удалось доказать^[1] который

${displaystyle |E(r)|leq 2{sqrt {2}}pi r.}$

Харди^[2] и, независимо, Ландо нашел нижнюю границу, показав, что

${displaystyle |E(r)|eq oleft(r^{1/2}(log r)^{1/4}ight),}$

с использованием небольшая o-нотация. Предполагается^[3] что правильная граница

${displaystyle |E(r)|=Oleft(r^{1/2+varepsilon }ight).}$

Написание |E(р)| ≤ Cr^т, текущие границы на т находятся

${displaystyle {frac {1}{2}}<tleq {frac {131}{208}}=0.6298ldots ,}$

с нижней оценкой, полученной Харди и Ландау в 1915 г., и верхней оценкой, доказанной Хаксли в 2000 г.^[4]

Точные формы

Значение N(р) могут быть даны несколькими сериями. Что касается суммы, включающей функция пола это может быть выражено как:^[5]

${displaystyle N(r)=1+4sum _{i=0}^{infty }left(leftlfloor {frac {r^{2}}{4i+1}}ightfloor -leftlfloor {frac {r^{2}}{4i+3}}ightfloor ight).}$

Это следствие теоремы Якоби о двух квадратах, которая почти сразу следует из Тройное произведение Якоби.^[6]

Сумма будет намного проще, если функция суммы квадратов р₂(п) определяется как количество способов записи числа п как сумма двух квадратов. потом^[1]

${displaystyle N(r)=sum _{n=0}^{r^{2}}r_{2}(n).}$

Самый последний прогресс основан на следующей идентичности, которую впервые обнаружил Харди: ^[7]

${displaystyle N(x)-{frac {r_{2}(x^{2})}{2}}=pi x^{2}+xsum _{n=1}^{infty }{frac {r_{2}(n)}{sqrt {n}}}J_{1}(2pi x{sqrt {n}}),}$

куда J₁ обозначает функция Бесселя первого вида с порядком 1.

Обобщения

Хотя исходная задача требует целочисленных точек решетки в круге, нет причин не рассматривать другие формы, например коники; в самом деле Проблема делителей Дирихле эквивалентная задача, в которой круг заменяется прямоугольным гипербола.^[3] Точно так же можно расширить вопрос с двух измерений на более высокие измерения и попросить целые точки в пределах сфера или другие предметы. По этим проблемам существует обширная литература. Если игнорировать геометрию и просто рассматривать проблему как алгебраическую Диофантовы неравенства затем можно было увеличить показатели, фигурирующие в задаче, с квадратов на кубики или выше.

Проблема примитивного круга

Еще одно обобщение - вычислить количество совмещать целочисленные решения м, п к неравенству

${displaystyle m^{2}+n^{2}leq r^{2}.,}$

Эта проблема известна как примитивная проблема круга, так как предполагает поиск примитивных решений исходной проблемы круга.^[8] Интуитивно это можно понять как вопрос о том, сколько деревьев на расстоянии r видно на Фруктовый сад Евклида, стоящий в начале координат. Если обозначить количество таких решений V(р), то значения V(р) за р принимают небольшие целые значения

0, 4, 8, 16, 32, 48, 72, 88, 120, 152, 192… (последовательность A175341 в OEIS ).

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

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

Как и в случае с обычной проблемой круга, проблемная часть проблемы примитивного круга заключается в уменьшении показателя степени ошибки. В настоящее время самый известный показатель - 221/304 +ε если предположить Гипотеза Римана.^[8] Не предполагая гипотезы Римана, самая известная верхняя граница равна

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

для положительной постоянной c.^[8] В частности, нет ограничений на член ошибки формы 1 -ε для любого ε > 0 в настоящее время известно, что не предполагает гипотезы Римана.

Примечания

1. G.H. Харди, Рамануджан: Двенадцать лекций по предметам, предложенным его жизнью и работой, 3-е изд. Нью-Йорк: Челси, (1959), стр.67.
2. G.H. Харди, О выражении числа в виде суммы двух квадратов, Кварт. J. Math. 46, (1915), стр.263–283.
3. Р.К. Парень, Нерешенные проблемы теории чисел, Третье издание, Springer, (2004), стр. 365–366.
4. М.Н. Хаксли, Целочисленные точки, экспоненциальные суммы и дзета-функция Римана, Теория чисел для тысячелетия, II (Урбана, Иллинойс, 2000), стр. 275–290, А. К. Петерс, Натик, Массачусетс, 2002, МИСТЕР1956254.
5. Д. Гильберт и С. Кон-Фоссен, Геометрия и воображение, Нью-Йорк: Челси, (1999), стр. 37–38.
6. Хиршхорн, Майкл Д. (2000). «Частные дроби и четыре классические теоремы теории чисел». Американский математический ежемесячник. 107 (3): 260–264. CiteSeerX  10.1.1.28.1615. Дои:10.2307/2589321. JSTOR  2589321.
7. Ландау, Эдмунд (1927). Vorlesungen über Zahlentheorie - 2. Группа. Verlag S. Hirzel. п. 189.
8. Дж. Ву, К проблеме примитивного круга, Монатш. Математика. 135 (2002), стр.69–81.

внешняя ссылка

• Вайсштейн, Эрик В. "Проблема круга Гаусса". MathWorld.