CC BY
41
УДК 511.512
О ЧИСЛЕ РЕШЕНИЙ ОДНОГО УРАВНЕНИЯ С КВАДРАТИЧНЫМИ ФОРМАМИ
Л.Н. Куртова
Белгородский государственный университет, ул. Победы, 85, Белгород, 308015, Россия, e-mail: kurtova@bsu.edu.ru
Аннотация. Получена асимптотическая формула для числа решений уравнения е квадратичными формами. При доказательстве используется оценка для суммы сумм Клостермана.
Ключевые слова: аддитивные задачи, число решений, асимптотическая формула, суммы Клостермана.
1. Введение. В 1927 г. А.Е. Ингам поставил и решил элементарным методом задачу получения асимптотической формулы для числа решений диофантового уравнения:
Х\Х2 — Х3Х4 = 1, Х\Х2 < п. (1)
Эта задача получила название аддитивной проблемы делителей Ингама.
В 1931 году Т. Эстерман [1] для числа решений 3(п) уравнения (1) круговым методом вывел асимптотическую формулу
3(п) = пР2(1п п) + Я(п),
где Р2(Ь) - многочлен степени 2, а К(п) = 0(п11/121п17/3 п).
Оценка остаточного члена этой формулы уточнялась многими авторами. Так в 1979 году Д.И. Исмоилов, развивая метод Т. Эстермана, доказал, что Я(п) = 0(п5/6+£), где е > 0 - сколь угодно малая постоянная. Практически одновременно с Исмоиловым другим методом ту же оценку остатка получил Д.Р. Хиз-Браун.
В 2006 году Г.И. Архипов и В.Н. Чубариков [2] вывели новую оценку для Я(п): К(п) < п3/41п4 (п).
В 1982 году Ж.-М. Дезуйе и Х. Иванец [3], использую оценку суммы сумм Клостермана, доказали, что К(п) = 0(п2/3+е).
В математической литературе известны многочисленные аналоги данной задачи. Нас заинтересовал один из таких аналогов. Пусть d - отрицательное бесквадратное число, Р = - мнимое квадратичное поле, 8р ~ дискриминант поля Р, С^^т) =
- бинарные положительно определенные примитивные квадратичные формы с матрицами Л^, А = — ^, г = 1, 2. Пусть
1{п,Ь)= ^ . (2)
Я1(т)-д2(к)=}1
Ставится вопрос о получении асимптотической формулы для I(n, h). Данная задача рассматривалась в статье [4], в которой выведена асимптотическая формула для числа решений уравнения в общем случае. В настоящей работе изучается один частный случай, для которого удается улучшить оценку остатка.
Теорема. Пусть е - произвольное положительное число, 8р - дискриминант поля F, 5f = —p, p > 3 - простое число, n £ N, h - натуральное число, такое, что h = 0 (mod p), h ^ n£. Справедлива асимптотическая формула
2 2 .ГС. q
I(n,h) = — Y,Q~4 Y, e-2^G1(g,/,0)G2((?,-/,0) + 0(/77/12+e), (3)
P q=l 1=1, (l,q)=l
где Gi(q,l, 0) = exp(27r?7Qi(m)/q) (i = 1,2) - двойные суммы Гаусса п сумма
m (mod q)
ряда положительна.
Доказательство проводится круговым методом с применением оценок А.Вейля для суммы Клостермана и Х.Иванца для суммы сумм Клостермана.
2. Вспомогательные утверждения.
Лемма 1 (Равенства для сумм Гаусса). Пусть F = Q(y/d) - мнимое квадратичное поле, d = 1 (mod 4), 8р = — p - дискриминант поля F.
1) Если (q,p) = 1, то G\(q,l,m) = exp(—2Tril*p*Q'1(m)/q)Gi(q,l,0), причем
igf—)(-l)(1+pW4 ,eejmq = 2?q1,(q1,2) = l, G1(q,l,0)={
| —J , если (q, 2) = 1.
2) Если (q,p) = p, то Gi(q,l,fn) = s{p)q^x(Qi{™)]p,())(^—^j ("") exp(-27ril*Q'^m)/pq), где
( ) I 1, если p = 1 (mod 4), 1 i, если p = 3 (mod 4),
cii - коэффициент при т\ квадратичной формы Q'^m) = ^mtpA^m. Доказательство см. [5].
Лемма 2 (Оценка суммы сумм Клостермана). Пусть T,U,V,p, е - положительные действительные числа, au и bv - последовательности комплексных чисел, S(u,v,q) -сумма Клостермана. Тогда
au bv
U<u<2U
V<v<2V
q=0
/ t ' rp
t uv 1 ' (mod p)
-S(u, v, q) q
^ cT£ ( -(UV)1'2 + (UVT)l/6 p
\ 1/2 / \ 1/2 х" £ КП Е |2
уии / Доказательство см. в [7, с. 234]. 3. Схема доказательства теоремы.
1. Получение главного члена асимптотической формулы не отличается от общего случая, рассмотренного в работе [4].
2. Более подробно остановимся на оценке остатков. Рассмотрим один из них. Пусть 9 - сколь угодно малое положительное число.
, [дга1/2+в]-1
1=1 п
" (г,«)=1 0
где
1 V- ( 4п2 ЯК™) . , ,
= -5- • —1- > ехр-----—-— )С1(д,1,т) ,
о ,/о п 1 — 2тггх ' V аг п 1 — Ътгх/
т&? тф О
Я \/р п ~ 2тт'1Х V д п 1 — 2жъх>
у т ей2
ф = 2тт 1 / 4тг2 Я'^к) Л
кф О
Функции Ф1 и Ф2 содержат суммы Гаусса. Вычислим произведение соответствующих сумм Гаусса, используя равенства из леммы 1. Имеем
Сх (д, I, т) С2 (д, -I, к) = е2 (д, р, сц, а2,т,к)д2е-2т1*^^»/« ,
где
£2(д,р, а\, а2,т, к) = <
1, если (д,р) = 1, 2 (д ,
(1+р)а
(-1) 2 , если (д,р) = 1,2°||д,
Р( р") ~ если = Р
и
I р*, если (д,р) = 1, а1 = <
|1/р, если (д,р) = р.
Разобьем сумму, определяющую Я, на две суммы:
[дп1/2+»]-1 [дп1/2+»]-1
Я = £ , / + £ / = £ я.+£
д<п1/2-» 0 п1/2-® <9<^ 0
Так как q ^ и1/2-в, 0 ^ x ^ [qn1/2+0]-1, то
V ехр (__4?Г Q'lM_^ = О (е~т3в) V ехр (__4Г_^ = О (е^)
m&r kgl?
тф 0 fc^O
Тогда
« ni/2-9+3£e-cn2e Y, q-5/2 « n7/12+£ .
q<n1/2-e
3. Перейдем к оценке Е r2. ЕД2=Е Е Е s2(q,p,a1,a2,m^)q~1S(-h,-d1(Q[(m) - Q2(k)),q)f(q)
m&? kgl? n1/2-e<q<N
m^O kji 0
где
_i f ( 4тг2 Q'Am) \ ( 4тг2 QUk) \ e~2nihxdx
f\Q) = Q / ехр---—--—— exp —
q2 n-1 — 2nix) V q2 n-1 + 2nix/n-2 + 4n2x2 0
/(g) = 0{e-c{Q^m)+Q'^)]n/q), f'q{q) = OHQ'^m) + Q'2{k))e-c{Q^m)+Q'^)]n/q2) , где c - постоянная.
Сумму по q перепишем в виде^ = Еq=0 (mod p) + Еq=0 (mod p) = E 1 + E 2-
q
1) Пусть q ф 0 (modp). Тогда \£2(qi,p, ci\, a2,m, k)\ = 1> = Р*- По условию р | /г., обозначим через h\ = Л./р, /г-i - целое число, V\ = Q[(m) — Q'2(k). Тогда
Е. «£
i=1 i=p
ЕЕ Е q-1S (—h1, —V1,q)f (q)
m_€Z_2 kgl? n1/2-e<q<N m^O fc^o <?=0 (mod i)
К каждой из сумм по q применим преобразование Абеля. Положим в лемме 2, что и = — Л-1, V = —^1, |аи| = 1, | = е-™1 п1/2+е, и = V = п£,Т = N и р равно одному из чисел 1,р. В результате получаем
Е Е /Е q-1S(—^1, —Vl,q) « п7/12+£ .
Ш&? kgl? шф О А-^0
q<N q=0 (mod i)
E E/q(q) E q-1s(—h1, —^t)«q-11/6+£n^.
m&? kgl?
t<q t=0 (mod i)
Проинтегрировав последнюю оценку по q в пределах [n1/2 в; то), в итоге получим У] 1 O(n7/12+£).
2) Пусть q = 0 (mod р). Тогда \£2{qi,p, «ь «2, т, = V и не зависит от q, d\ = р Обозначим через h\ = h, v\ = (Q'^fri) — Q'2(k))/p. Тогда справедливо неравенство
-i
«
Y1 Y1 q iS(-hi>-vi,q)f(q)
m_€Z_2 fc_ez_2 n1'/2-e<g<N тф0 fc^O <j=0 (mod p)
К суммам по q применим преобразование Абеля и для получения оценок используем Лемму 2. Все рассуждения аналогичны тем, что проводились для случая 1). В результате можно утверждать, что У] 2 = O(n7/12+s).
Таким образом, нами показано, что Y1R2 = O(n7/12+£).
Литература
1. Esterman T. Uber die Darstellung einer Zahl als Differenz von zwei Produkten // J. reine und ang. Math. - 1931. - №164. - Р.173-182.
2. Архипов Г.И., Чубариков В.Н. Об аддитивной проблеме делителей Ингама // Вестник Московского университета. Сер. 1. Математика. Механика. - 2006. - №5. - С.32-35.
3. Deshouillers J.-M., Iwaniec H. An additive divisor problem //J. London Math. Soc. - 1982. -26(2). - P.1-14.
4. Куртова Л.Н. Об одной бинарной аддитивной задаче с квадратичными формами // Вестник СамГУ, Естественнонаучная серия, Математика. - 2007. - №(57). - C.107-122.
5. Гриценко С.А. О функциональном уравнении одного арифметического ряда Дирихле // Чебышевский сборник. - 2003. - 4;2. - C.53-67.
6. Deshouillers J.-M., Iwaniec, H. Kloosterman sums and fourier coefficients of cusp forms // Invent. math. - 1982. - 70. - P.219-288.
ABOUT THE NUMBER OF SOLUTION OF AN EQUATION WITH SQUARES
L.N. Kurtova
Belgorod State University, Pobedy St., 85, Belgorod, 308015, Russia, e-mail: kurtova@bsu.edu.ru
Abstract. The asymptotic formula of the solution number of the equation with squares is obtained. It is done by circular method with using the estimate for sum of Kloosterman's sums.
Key words: additive problems of number theory, number of solution, asymptotic formula, Kloosterman's sums.
