О количестве представлений натуральных чисел циклическими бинарными квадратичными формами

ЧЕБЫШЕВСКИЙ СБОРНИК Том 11 Выпуск 1

Труды VII Международной конференции Алгебра и теория чисел: современные проблемы и приложения, посвященной памяти профессора Анатолия Алексеевича Карацубы

УДК 511.43

О КОЛИЧЕСТВЕ ПРЕДСТАВЛЕНИЙ НАТУРАЛЬНЫХ ЧИСЕЛ ЦИКЛИЧЕСКИМИ БИНАРНЫМИ КВАДРАТИЧНЫМИ ФОРМАМИ 1

Ю. Ю. Евсеева

Аннотация

В работе представлена формула для нахождения количества представлений натурального числа произвольной многоклассной бинарной квадратичной формой. Получена формула для случая циклических многоклассных бинарных квадратичных форм. В качестве следствий даны основные арифметические свойства функции количества представлений.

Введение. Рассматривается одна из центральных проблем арифметической теории квадратичных форм — получение формул для количества представлений г(/,т) натуральных чисел т бинарными квадратичными формами / (х,у) = ах2 + Ьху + су2, а,Ь,с Е 2, т, е, нахождением количества целых решений диофантового уравнения

ах2 + Ьху + су2 = т.

Цель работы — получить формулу для количества представлений натуральных чисел циклическими бинарными многоклассными квадратичными формами. Для достижения поставленной цели в работе используются теория бинарных квадратичных форм, мнимых квадратичных полей, теория операторов Гек-ке и тета-рядов.

Задача о количестве представлений г(/,т) является классической задачей теории чисел. Диксон в своей монографии [11] подробно описал историю изучения бинарных квадратичных форм. Основоположниками теории квадратичных форм являются Ферма и Эйлер. Задачи Диофанта привели Ферма к поиску целочисленных решений квадратных уравнений с двумя неизвестными. Ферма рассмотрел задачу представимости числа в виде

22 х + у = т.

1Работа выполнена при финансовой поддержке РФФИ, грант N 08-01-00326.

Эйлер, а затем Лагранж полностью решили задачу Ферма о двух квадратах. Ими же были рассмотрены и другие конкретные квадратичные формы. Гаусс

[4] впервые начал изучать случай произвольных бинарных квадратичных форм. Он ввел понятие эквивалентности квадратичных форм. На множестве классов бинарных квадратичных форм фиксированного дискриминанта Гаусс определил операцию композиции, относительно которой множество классов образует коммутативную группу. В последствии операция умножения получила название гауссовой композиции.

На протяжениии XIX века была выявлена связь бинарных квадратичных форм с квадратичными полями [12] (Кронекер, Дирихле, Дедекинд). На основе этой связи удалось доказать общую формулу для суммы количества представлений натурального числа всеми формами данного дискриминанта. В случае если форма одноклассная эта формула принимает вил

где е(О) — число целых автоморфизмо в формы / (х,у), р(т) — мультипликативная функция, определенная на степенях простых чисел следующим образом:

р(ра) = а + 1 Для XI (р) = +1

В этих формулах (р) ~ характер Дирихле мнимого квадратичного поля

дискриминанта О [2].

XX век ознаменовался в арифметической теории квадратичных форм появлением двух фундаментальных идей.

Первая — это идея связанная с модулярными формами (Пуанкаре, Клейн) и операторами Гекке (см., например, [1]). Каждой квадратичной форме ставится в соответствие ее тета-ряд, который является модулярной формой, её уровень определяется дискриминантом. Все такие модулярные формы образуют конечномерное векторное пространство, инвариантное относительно операторов Гекке. Любая модулярная форма может быть разложена по базису собственных функции операторов Гекке. Задача о представимости числа эквивалентна вычислению коэффициентов тета-ряда, что, в свою очередь, сводится к его разложению по базису из собственных функций. Данный подход подробно изложен в книге Петерссона [14], и в принципе позволяет получать формулы представлений в том случае, когда известен базис. Однако нахождение басиза представляет собой отдельную, крайне трудную, не решенную до сих пор задачу.

Вторая — это идея, основанная на дальнейшем развитиии идеи Гаусса о родах квадратичных форм. Зигель [16], [17] доказал общую формулу для числа представлений родом квадратичных форм. Наиболее сильные результаты в

г^, т) = в

р(ра) = 1 Для Х1(р) = 0.

этом направлении были получены Журавлевым [6] и Шимурой [15]. Для бинарных форм формула (1) вытекает как частный случай из формулы Зигеля, Задача о количестве представлений чисел квадратичными формами была решена для некоторых форм специального вида, [13], [10], [3], [9]. Однако, несмотря на все эти достижения, задача о количестве представлений числа произвольной бинарной квадратичной формой так и оставалась не решенной. Асимптотические формулы для числа представлений бинарных квадратичных форм получены Фоменко [7], Голубевой [5],

Основной результат. Опираясь на теорию операторов Гекке и гауссову композицию квадратичных форм, автором получена общая формула для количества представлений натуральных чисел бинарными квадратичными формами. Рассматриваются бинарные квадратичные положительно определенные формы дискриминанта I) 0. где I) совпадает с дискриминантом мнимого квадратичного поля — бесквадратная часть И, =

{С0, С1,Сн-1} — группа классов форм, /г е С* и г(/г,т) — число решений уравнения

/г (х, у) = а*х2 + Ьгху + Огу1 = т, х,у е 2.

Имеет место

Теорема 1. Для, количества представлений г(/г,т) натурального числа бинарными квадратичными формами /г(х,у), выполняется формула

г(1г,т) = ^^х(С*)_1г(х,т),

К

где ж пробегает все характеры группы 3

н

в(г, к) = ^ к(Сг)в(г,Сг),

г=1

г(к,т) = г(к, 1)х (т),

х(т) — собственные значения этого тета-ряда, для операторов Гекке и при этом,

ул х(т) = -р-г _ х(р) ХлСр)ч_!

т=1 р£Р 1 1

Степень сложности функций г(/г, т) представлений чисел т формами /г суммарно зависит от структуры группы классов 3, Простейшими являются циклические группы 3,

Предположим, что

3 =< /1 >= {/о, /1,/1, ...,/н_ 1}

— циклическая группа собственных классов форм порядка h с образующей /1, формами

/г = /1

и определяющим соотношением

/h = /о.

Имеем, 1 = х(/о) = = 2<(fi)h7 Т.е. x(/i) = Vi.

Пусть

x

тогда

к

Таким образом, выбор (5) полностью определяет характер я и мы естественным образом приходим к характерам кк\

К

Из (5) и (6) следует, что любой характер к группы J имеет вид (7). Эти характеры различны, поскольку

кк(/1) = ек = е1 = щ(/1) если к ф l (mod h), и мы, тем самым, получим все различные характеры кк (7) группы J.

Для m =    pa находим

П

Я

t=i

где

»Ю= к

Si^2=pa 0<в<а

Поскольку,

я

и

к(рв)  к(рв-а) = к(р2в-а) = к(р)2в-а,

то по

Я

0<в<а

Предположим, что х1(р) = +1- Тогда (10) принимает вил

Я

0<в<а

Если х1(р) = — 1 т0 110 определению имеем

<(р‘) = £ (—1)“"'3 = (—1)“ £ (—1)'1, <12>

0<в<а 0<в<а

откуда следует

а Г 1 если а ф 0 (mod 2), , .

я

[ 0 если а ф 1 (mod 2).

Для х1(р) = 0 получим формулу:

Я

m

m = m0  m+  m-

с взаимнопростыми m0, m+, m- вида,

mo = pT    p'le с Х1

m+ = PT  Pn" c Х1

m- = qSi  qs/ с X1

На множестве простых p с условием х1(р) = 0 или +1 введем функцию

a

В приведенных обозначениях для характера Я = кк (7) равенство (8), с учетом

(11) — (14), перепишется в виде

кк

соответственно тому, будут ли все показатели 5г четными

^ ф    ф 8f ф 0

или среди 5г найдется хотя бы один нечетный. При выполнении условия (21) получим:

e П

Кк = П кк

j=1 t=1 0<Pt<at

= £  £ Кк

0<в1<а1 0<в"<а"

при этом, согласно (7) и (19):

Кк

Подставляя (24) в равенство (22), получаем Кк (т) = £ ••• £

^<в1<а1 0<вп<ап

Где

а

Теперь, вспоминая определение характера кк(/) = ек'г (7) и подставляя его и (25) в формулу Теоремы 1, выводим:

1 , 1 "-1

-r

ею г = тХЕ~л Е ••• Е <27)

( 1) к=0 0<в1<а1 0<в"<а"

O^^ai. 0<в"<ап h0<к<Н-1

Внутренние суммы в (27) — это суммы геометрических прогрессий:

еа^Н __ 1

£ еа'к = ——— = 0, если а ф 0

0<к<Н-1 е

С другой стороны,

Е еа* = Е 1 = h, если а ф 0

0<к<Н-1 0<к<Н-1

Принимая во внимание (28) и (29), равенство (27) можно переписать в виде:

1

-r

e

где r(i,m) — число решений сравнения

a

для 0 ^ в1 ^ а1,0 ^ вп ^ ап или, согласно (26), — сравнения

а

Идеалы ij>') для дискриминантных простых p'\D\ в квадратном поле

являются квадратами простых идеалов р' пор мы N (р') = p'

При отображении

р ^ fa

произведение классов переходит в композицию классов

Идеал (p') главный, и поэтому J2a(pi) mod h = /0, т.е, 2a(p') ф 0 (mod h) для всех

p'\Dx.

h

a

В (32) обозначим

a

тогда в силу (36) можем записать

a

h

а

соответственно, если имеется четное число степеней (p1)ъ\m0 (17) с

7г = 1

или указанных степеней нечетное число. Так как очевидно по

a(m0) ф —a(m0) (mod h),

то вводя новое обозначение

a

переписываем (32) в виде

a

Из формул (30) и (42) вытекает

Теорема 2. Предположим, что группа собственных классов квадратичных форм, J = J(D1) = /0, /1,/Н-1 циклическая. Тогда, число представлений r/.i^): /г(x,y) = aX + Ьгху + сгу2 = m (x,y G Z) натурального числа m = m0  m+  m- (15) равно

r

В противном случае

r

где e(D1) — число автоморфизмов формы, a r(i,m) — число решений сравнения, (42).

Из данной теоремы следуют арифметические свойства количества представлений.

h

г(/1, m) числа m = m0  m+  m- (15) с условием, что m- G (21), не зависит от множителей m0, m+.

Следствие 2. Предположим, h — нечетное и для m = m0  m+  m- во множитель m+

Если к = р — нечетное простое число, то достаточно потребовать существование степени ра\т+ с а(р^ = 0.

Числовой пример Рассмотрим пример пятиклассных циклических бинарных квадратичных форм. Первым дискриминантом Б1 с числом классов к = 5 является Б1 = — 47. Групп а '3(—47) содержит формы

/0 = х\ — х1х2 + 12x2, /1 = 2x1 + х1х2 + 6x2,, /2 = 3x1 — х1х2 + 4x2

и сопряженные с /1 и /2 формы /4 и /3. Поскольку

то ограничимся формами (47). Применение формулы (44) предполагает знание значений функции а(р) (19) для проетых р с

r(/0,m) = r(/1,m) = ... = r(/h-1,m), m-

r(fi, m) = ^ ^ (cti + 1) • • • (an + 1) для 0 ^ і ^ h — 1. h

r(/i, m) = r(/5-i, m) для г = 0,1, 2, З, 4,

Хі (р) = = +1

Например,

a(2) = 1, так как /1(x1,x2) = 2 для x1 = 1,x2 = 0,

a(?) = 2, так как /2(x1,x2) = З для x1 = 1,x2 = 0, a(7) = 1, так как /1(x1,x2) = 7 для x1 = 1,x2 = 0.

Теперь найдем число решений уравнений:

для m = 10п с n = 0,1, 2,...

Очевидно

m = m+  m- = 2п  5п.

В этом случае m- = 5п. Поэтому уравнения (51) могут иметь решения только, n

a(2)(2e — n) ф i (mod 5) с a(2) = 1 т.е. 2в ф i + n (mod 5),

откуда

в ф 3

Таким образом формула (44) показывает, что число решений уравнений (51) для m = 10п равно

n

г

5

где ег,п = 1 только если

n

г = 2/3 — гг

5

и ег,п = 0 — в остальных случаях; [] — целая часть числа.

Например, уравнение

x2 — x1x2 + 12x2 = 10п

n

число решений уравнения (56) будет

n

г

5

n

г

5

n

r(/o, 10п) = 0 n.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

[1] Андрианов А.Н., Журавлёв В.Г. Модулярные формы и операторы Гекке. М., Наука. 1990.

[2] Боревич З.И. Шафаревнч И.Р. Теория чисел М.: Наука, 1984.

[3] Вепхвадзе Т.Н.. О представлении чисел положительными бинарными квадратичными формами нечетного дискриминанта, Тр. Тбилис. Мат. ин-та, АН. Груз. ССР, 1974.

[4] Гаусс К.Ф. Труды по теории чисел. М.: Издательство Академии наук СССР. 1959.

[5] Голубева Е.П., Об исключительных числах для бинарных квадратичных форм, Зап. научи, сем. ПОМИ, 1998, т.254.

[6] Журавлёв В.Г. Представление квадратичных форм родом квадратичных форм, Алгебра и анализ. 1996. Т.8.

[7] Фоменко О.М., Представление целых чисел, принадлежащих подпоследовательностям натурального ряда, бинарными квадратичными формами, Зап. научи, сем. ПОМИ, 1998, т. 254.

[8] Шимура Г. Введение в арифметическую теорию автоморфных функций. М: Мир, 1973.

[9] Basilla J.M., On the solution of x2 + dy2 = m, Proe, Japan Acad., 80, Ser, A, 2004.

[10] Buel D.A. Binary Quadratic Forms, Classical Theory and Modern Computations, N.Y., 1989.

[11] Dickson L.E. History of the theory of numbers vol.3, Quadratic and higher forms N.Y. 1992.

[12] Dirichlet P. G. L,, Lectures on Number Theory (Supplements by E. Dedekind), transl. by J. Stillwell, Amer. Math. Soe,, 1999.

[13] Pall G,, The distribution of intergers represented by binary quadratic forms, Bull. Amer. Math. Soc. 49, No.6, 1943.

[14] Petersson H,, Modulfunktionen und quadratische Formen, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer-Verlag, v. 100, 1982.

[15] Shimura G,, The number of representations of an integer by a quadratic form. Duke Mathematical Journal, 1999, v. 100, n. 1.

[16] Siegel C.L. Uber die analvtisehe Theorie der Quadratischen Formen, Ann. Math. 1935.

[17] Siegel C.L. Lectures on the Analytical Theory of Quadratic Forms. Gottingen. Revised Edition. 1963.

Владимирский государственный гуманитарный университет Получено 01.06.2010