В этой работе дается некоторое развитие ранее проведенных исследований по задаче А. В. Малышева о числе целых точек, лежащих в некоторых областях на многомерных гиперболоидах. А. В. Малышевым [1] ставилась задача получения асимптотических формул для количества целых точек в областях типа Де Лури на многомерных гиперболоидах. Де Лури [3] в случае четырехмерной гиперболической поверхности p (x1, . . . , x4) = ∑ 4 k=1 akx 2 k − m = 0, m ̸= 0 в области Ωp(L) на ней определяемой неравенством ∑ 4 k=1 |ak| x 2 k 6 L получил асимптотическую формулу (при L → ∞ фиксированных a1, a2, a3, a4, и m) для величины R (Ωp(L)), равной количеству целых точек в об- ласти Ωp(L) на указанном гиперболоиде, но при этом остаточной формулы Де Лури не оценивает. В дальнейшем в [1] дается обобщение этого результата на многомерный гиперболоид, задаваемый уравнением p = p (x1, . . . , xs) = ∑s k=1 akx 2 k + ∑s k=1 bkxk + c = 0, где ak, bk, (k = 1, . . . , s), c ̸= 0 — целые числа, причем коэффициенты ak не все одного знака, а область Ωp(L) на этом гиперболоиде задается неравенством ∑s k=1 |ak| x 2 k 6 L. В развитие указанной задачи А. В. Малышева мы в уравнении гипер- болоида рассматриваем квадратичную форму, эквивалентную диагональ- ной, а область Ωp(L) : ∑s k=1 |ak| x 2 k 6 L заменяется на область ∑s i=1 { Q (1) i (xi , yi) + Q (2) i (zi , ti) } 6 L, где Q (1) i и Q (2) i — бинарные квадратичные формы, эквивалентные диаго- нальным формам. Обозначим через R (Ωp (L), s) количество целых точек, лежащих в об- ласти Ωp (L) на 4s-мерном гиперболоиде ∑s i=1 { Q (1) i (xi , yi) − Q (2) i (zi , ti) } = h, где Q (1) i (xi , yi), Q (2) i (zi , ti) — положительные целочисленные бинарные квадратичные формы дискриминанта d; h ̸= 0, при этом эти формы считаем эквивалентными диагональным. При выводе нашего асимптотического результата о величине R (Ωp, L) используется теорема о взвешенном числе целых точек Ih(n, s) из [2] при n → ∞ и комплексный вариант тауберовой теоремы с остаточным членом для степенных рядов (см. [5, 6]). Отметим также, что полученный нами результат аналогичен одному результату Дэвенпорта [7] по обобщенной проблеме Варинга при показа- теле k = 2, но при таком значении k наше уравнение гиперболической поверхности имеет несколько более общий вид.
Some development early conducted investigations on the problem of Malyshev A. V. about the number of integer points lying in some areas on multidimensional hyperboloids is given in this work. The task of obtaining of asymptotic formulae for quantity of integer points in areas of the kind of De Luri on multidimensional hyperboloids is put by Malyshev A. V. [1]. De Luri [3] in case of four-dimensional hyperbolic surface p (x1, . . . , x4) = ∑ 4 k=1 akx 2 k − m = 0, m ̸= 0 in the area Ωp(L) on it by defined inequality ∑ 4 k=1 |ak| x 2 k 6 L obtained asymptotic formula (in L → ∞ and fixed a1, a2, a3, a4, and m) for value of R (Ωp(L)), equaled to the number of integer points in the area Ωp(L) on the mentioned hyperboloid, but in so doing De Luri does not value the remainder formula. Later on in [1] generalization of this value is given on multidimensional hyperboloid given by the equation p = p (x1, . . . , xs) = ∑s k=1 akx 2 k + ∑s k=1 bkxk + c = 0, where ak, bk, (k = 1, . . . , s), c ̸= 0 — integers, in addition to coefficients ak not all is one sign, but area of Ωp(L) on this hyperboloid is given by the inequality ∑s k=1 |ak| x 2 k 6 L. In development of indicated task of Malyshev A. V. we examine arbitrary quadratic form equivalent to the diagonal in the equation of hyperboloid, and the area of Ωp(L) : ∑s k=1 |ak| x 2 k 6 L is substituted for the area ∑s i=1 { Q (1) i (xi , yi) + Q (2) i (zi , ti) } 6 L, where Q (1) i и Q (2) i — binary quadratic forms, equivalent to diagonal forms. In conclusion of our asymptotic result about quantity of R (Ωp, L) the theorem about weighted number of integer points Ih(n, s) from [2] is used in n → ∞ and the complex variant of tauberian’s theorem with remainder term for the power series (see [5, 6]). Also wee will note that our obtained result is analogous to one result of Davenport [7] by generalized problem of Varing in power k = 2, but in such meaning of k our question of hyperbolic surface has several more common kind.