Пробле́ма кру́га, проблема наилучшей асимптотической оценки числа A ( x ) A(x) A ( x ) целых точек ( u , v ) (u, v) ( u , v ) в круге u 2 + v 2 ⩽ x u^2+v^2\leqslant x u 2 + v 2 ⩽ x . Пусть θ \theta θ – нижняя грань числа α \alpha α в равенстве
A ( x ) = π x + O ( x α ) . ( ∗ ) A(x)=\pi x+O(x^\alpha). \tag{$*$} A ( x ) = π x + O ( x α ) . ( ∗ ) К. Ф. Гаусс (см. Gauss. 1863) доказал, что θ ⩽ 1 / 2 \theta\leqslant ^1\!\!\!/_2 θ ⩽ 1 / 2 . Β. Серпиньский (Sierpiński. 1906 ) по методу Г. Ф. Вороного (Вороной. 1952) установил, что θ ⩽ 1 / 3 \theta\leqslant ^1\!\!\!/_3 θ ⩽ 1 / 3 . Найдена оценка θ ⩽ 13 / 40 \theta\leqslant ^{13}\!\!/_{40} θ ⩽ 13 / 40 (см. Хуа Логэн. 1964 ). Существует гипотеза, что остаточный член в формуле ( ∗ ) (*) ( ∗ ) есть
O ( x 1 / 4 log 2 x ) . O(x^{1/4}\log^2x). O ( x 1/4 log 2 x ) . Среднее значение для проблемы круга:
∫ 0 N ( A ( x ) − π x ) 2 d x = C N 3 / 2 + O ( N 1 + ε ) , \int_0^N(A(x)-\pi x)^2\,dx=CN^{3/2}+O(N^{1+\varepsilon}), ∫ 0 N ( A ( x ) − π x ) 2 d x = C N 3/2 + O ( N 1 + ε ) , где C C C – некоторая абсолютная постоянная, ε > 0 \varepsilon >0 ε > 0 – любое.
Проблема круга по содержанию и методам исследования во многом аналогична проблеме делителей Дирихле (см. в статье Проблемы делителей ). Обобщением проблемы круга является проблема шара – проблема оценки числа B ( x ) B(x) B ( x ) целых точек ( u , v , w ) (u, v, w) ( u , v , w ) в шаре u 2 + v 2 + w 2 ⩽ x u^2+v^2+w^2\leqslant x u 2 + v 2 + w 2 ⩽ x . Исходной для оценки является формула
B ( x ) = 24 G ( x ) + O ( x ) , B(x)=24G(x)+O(\sqrt{x}), B ( x ) = 24 G ( x ) + O ( x ) , где
G ( x ) = ∑ 0 < u ⩽ x / 3 × × ∑ u < v ⩽ ( x − u 2 ) / 2 ( [ x − u 2 − v 2 ] − v ) + + 1 2 ∑ 0 < v ⩽ x / 2 ( [ x − v 2 ] − v ) + + 1 2 ∑ 0 < u ⩽ x / 3 ( [ x − 2 u 2 ] − u ) + O ( x ) , G(x)=\sum\nolimits_{0<u\leqslant\sqrt{x/3}} \times \\
\, \\
\times\sum\nolimits_{u<v\leqslant\sqrt{(x-u^2)/2}} ([\sqrt{x-u^2-v^2}]-v)+ \\
\, \\
+\tfrac12 \sum\nolimits_{0<v\leqslant\sqrt{x/2}} ([\sqrt{x-v^2}]-v)+ \\
\, \\
+\tfrac12\sum\nolimits_{0<u\leqslant\sqrt{x/3}} ([\sqrt{x-2u^2}]-u)+O(\sqrt{x}), G ( x ) = ∑ 0 < u ⩽ x /3 × × ∑ u < v ⩽ ( x − u 2 ) /2 ([ x − u 2 − v 2 ] − v ) + + 2 1 ∑ 0 < v ⩽ x /2 ([ x − v 2 ] − v ) + + 2 1 ∑ 0 < u ⩽ x /3 ([ x − 2 u 2 ] − u ) + O ( x ) , которая получается за счёт разбиения шара шестью плоскостями
u = v , u = w , v = w , v = 0 , u = 0 , w = 0 u=v, \; u=w, \; v=w, \; v=0, \; u=0, w=0 u = v , u = w , v = w , v = 0 , u = 0 , w = 0 на 24 24 24 части, имеющие одинаковое число целых точек, если считать точки на плоскостях сечений с коэффициентами 1 / 2 ^1\!/_2 1 / 2 . Главный член роста B ( x ) B(x) B ( x ) равен объёму шара
V ( x ) = 2 π 3 x 3 / 2 ; V(x)=\tfrac{2\pi}{3} x^{3/2}; V ( x ) = 3 2 π x 3/2 ; проблема сводится κ оценке P ( x ) = B ( x ) − V ( x ) P(x)=B(x)-V(x) P ( x ) = B ( x ) − V ( x ) – величины суммы дробных долей функций, стоящих под знаком [ ] [\;\; ] [ ] в выражении для G ( x ) G(x) G ( x ) . Наиболее глубокие оценки для P ( x ) P(x) P ( x ) получены на основе метода тригонометрических сумм И. М. Виноградовым (Виноградов. 1963 ; 2004 ):
P ( x ) = O ( x 2 / 3 log 6 x ) . P(x)=O(x^{2/3}\log^6 x). P ( x ) = O ( x 2/3 log 6 x ) . Существует гипотеза, что
P ( x ) = O ( x 1 / 2 log 2 x ) . P(x)=O(x^{1/2}\log^2x). P ( x ) = O ( x 1/2 log 2 x ) . Обобщением проблемы круга и проблемы шара является проблема оценки A F ( x ) A_F(x) A F ( x ) – числа целых точек в n n n -мерных эллипсоидах
F ( u 1 , … , u n ) = ∑ r , ν = 1 n a r ν u r u ν ⩽ x , a r ν = a ν r , F(u_1,\ldots,u_n)=\sum_{r,\nu=1}^n a_{r\nu}u_ru_\nu\leqslant x,\, a_{r\nu}=a_{\nu r}, F ( u 1 , … , u n ) = r , ν = 1 ∑ n a r ν u r u ν ⩽ x , a r ν = a ν r , где F F F – положительно определённая квадратичная форма (см. Novak. 1973 ).
Лаврик Александр Фёдорович . Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1982.