CC BY
6
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 22. Выпуск 4.
УДК 511.9 DOI 10.22405/2226-8383-2021-22-4-166-180
О гиперболическом параметре двумерной решётки сравнений1
А. Н. Кормачева, Н. Н. Добровольский, И. Ю. Реброва, Н. М. Добровольский
Кормачева Антонина Николаевна — аспирант, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: juska789@mail.ru
Добровольский Николай Николаевич — кандидат физико-математических наук, Тульский государственный педагогический университет им. Л. Н. Толстого, Тульский государственный университет (г. Тула).
e-mail: chebQtspu,.tula.ru, nikolai.dobrovolsky@gmail.com
Реброва Ирина Юрьевна — кандидат физико-математических наук, доцент, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: i_rebrova@mail.ru
Добровольский Николай Михайлович — профессор, доктор физико-математических наук, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: dobrovolMtsput.ru,
Аннотация
Данная работа посвящена уточнению результатов В. А. Быковского об оценке погрешности приближенного интегрирования на классе Коробова Е" для двумерных параллеле-пипедальных сеток.
Приведены необходимые сведения из теории цепных дробей и скобок Эйлера. С помощью теории наилучших приближений второго рода описано множество Быковского, состоящие из локальных минимумов решётки приближений Дирихле для рационального числа.
В явном виде описано множество Быковского для двумерной решётки решений линейного сравнения. Получена формула, выражающая гиперболический параметр этой решётки через знаменатели подходящих дробей и скобки Эйлера и позволяющая вычислять его за 0(М) арифметических операций.
Получены оценки гиперболической дзета-функции двумерной решётки решений линейного сравнения через сумму Быковского, которая является частичной суммой дзета-ряда для гиперболической дзета-функции решётки. Частичная сумма берется по множеству Быковского.
Для суммы Быковского получены оценки сверху и снизу из которых следует, что главный член для этих сумм есть сумма а-ых степеней элементов цепной дроби для ^ делённый на Nа.
В заключении отмечены актуальные направления исследований по этой тематике.
Ключевые слова: квадратичные поля, приближение алгебраических сеток, функция качества, обобщённая параллелепипедальная сетка, множество Быковского, сумма Быковского, локальные минимумы решётки, минимальные решения сравнения.
Библиография: 17 названий.
1 Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта №19-41-710004^р^а.
Для цитирования:
А. Н. Кормачева, Н. Н. Добровольский, И. Ю. Реброва, Н. М. Добровольский. О гиперболическом параметре двумерной решётки сравнений // Чебышевский сборник, 2021, т. 22, вып. 4, с. 166-180.
CHEBYSHEVSKII SBORNIK Vol. 22. No. 4.
UDC 511.9 DOI 10.22405/2226-8383-2021-22-4-166-180
On the hyperbolic parameter of a two-dimensional lattice
of comparisons2
A. N. Kormacheva
Kormacheva Antonina Nikolaevna — postgraduate student, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: juska789@mail.ru
Dobrovol'skii Nikolai Nikolaevich — candidate of physical and mathematical sciences, Tula State Lev Tolstoy Pedagogical University, Tula State University (Tula). e-mail: cheb@tspu.tula.ru, nikolai.dobrovolsky@gmail.com
Rebrova Irina Yuryevna — candidate of physical and mathematical sciences, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: i_rebrova@mail.ru
Dobrovol'skii Nikolai Mihailovich — doctor of physical and mathematical sciences, professor, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: dobrovol@tsput.ru,
Abstract
This paper is devoted to the refinement of the results of V. A. Bykovsky on the estimation of the error of approximate integration on the Korobov class Bsa for two-dimensional parallelepipedal grids.
The necessary information from the theory of continued fractions and Euler brackets is given. With the help of the theory of best approximations of the second kind, the Bykovsky set consisting of local minima of the lattice of Dirichlet approximations for a rational number is described.
The Bykovsky set for a two-dimensional lattice of linear comparison solutions is explicitly described. A formula is obtained expressing the hyperbolic parameter of this lattice in terms of denominators of suitable fractions and Euler brackets and allowing it to be calculated in 0(N) arithmetic operations.
Estimates of the hyperbolic zeta function of a two-dimensional lattice of linear comparison solutions are obtained in terms of the Bykovsky sum, which is a partial sum of the zeta series for the hyperbolic zeta function of the lattice. The partial sum is taken by the Bykovsky set.
For the Bykovsky sum, estimates are obtained from above and from below, from which it follows that the main term for these sums is the sum of the a-th degrees of the elements of the continued fraction for -^divided by Na.
In conclusion, the current directions of research on this topic are noted.
Keywords: quadratic fields, approximation of algebraic grids, quality function, generalized parallelepipedal grid, Bykovsky set, Bykovsky sum, local lattice minima, minimal comparison solutions.
Bibliography: 17 titles.
2 Acknowledgments: The reported study was funded by RFBR, project number 19-41-710004_r_a.
For citation:
A. N. Kormacheva, N. N. Dobrovol'skii, N. M. Dobrovol'skii, 2021, "On the hyperbolic parameter of a two-dimensional lattice of comparisons", Chebyshevskii sbornik, vol. 22, no. 4, pp. 166-180.
1. Введение
В методе оптимальных коэффициентов профессора Н. М. Коробова [12, 13] большую роль играет гиперболический параметр д(Л) решётки решений Л линейного сравнения
m1 + а\т2 + ... + as-ims = 0 (mod N), (aj,N) = 1 (j = 1,...,s — 1), (1)
который задается равенством
q(A) = min ...ms
m6Л, m=0
и т, = тах(1, |т|) для любого вещественного числа т.
В общем случае вычисление гиперболического параметра решётки сравнений требует 0(М 1п5-1 N) арифметических операций (см. [8, 9]). В работе [1] дано следующее определение.
Определение 1. Назовем ненулевое решение сравнения (1) минимальным, если не существует другого ненулевого решения (т[,..., т'3), для, которого
\ш[\ ^ jrnij,..., \m's\ ^ \ms\; \т'1\ + ... + \m's\ < jmij + ... + \ms\.
Из теоремы Минковского о выпуклом теле непосредственно следует, что для таких решений справедливо неравенство
Ш...m~s ^ N, (2)
и они составляют конечное множество. Это множество будем называть минимальным множеством Быковского Б(0) (Л) решётки решений сравнения (1). Через г(0)(Л) будем обозначать количество элементов в минимальном множестве Быковского Так как множество
В(0\Л) — центрально симметрично относительно нулевой точки, то ровно половина точек из В(0)(Л) имеют первую ненулевую координату положительную. Следовательно, г(0) (Л) — четное натуральное число.
Цель данной работы — построить в случае двумерной решётки Л(а, N) решений простейшего линейного сравнения mi + ат2 = 0 (mod N) от двух переменных алгоритм вычисления гиперболического параметра ц(Л(а,И)) за 0(ln N) арифметических операций и описать множество Быковского для этого случая.
Решётка Л(а, N) имеет простой вид:
Л(а, N) = |(m1, т2) = (xN — ay, у) \х, у е Z}
и задается базисом Л1 = (—а, 1) Л2 = (N, 0) Детерминант решётки Л(а, N) равен N: detЛ(a, N) = N.
2. Сведения из теории цепных дробей и о скобках Эйлера
В этой работе нас будет интересовать цепная дробь для рационального числа (а, N) = 1, которая в сокращённом виде имеет вид
NN = {ю; Ч\,..., Яп] = Ю +-—^-. (3)
дг +-
1
•• +-
1
дп-1 +--
Яп
Отсюда следует, что произвольная подходящая дробь к числу ^ имеет вид
Рт [Q0, . Ят](т+1) , . .
—— = -^--, (0 ^ т ^ п),
Чт Щ1^.. , Ят] (т) где скобки Эйлера [ Ь1,..., Ьп] (п) порядка п, определены рекуррентно
[](-!) =0, Щ = 1, [Ь1,..., Ьп](п) = Ьп[Ь 1,..., Ьп-1](п-1) + [ Ьг,..., Ьп-2](п-2) (п ^ 1). Известно (см. [10]), что [Ьг, . . . , Ьп](п) = [Ьп,..., Ь1](п) , и, следовательно,
[Ь l,..., Ьп](п) = bl[b2,..., Ьп](п-1) + [bз,..., Ьп](п-2). Нам потребуется следующее равенство для скобок Эйлера. Лемма 1. При 0 ^ т ^ п справедливо равенство
..., Яп](п+1)\я l, ..., Ят](т) - [Q0, ..., дт](т+1) \Я l, . .., Яп\(п) = (-1)m[qm+2, . .., Цп](п-т-1).
т = 0
[ Я0, ..., <7га](га+1)[](0) - [ Яо}(1)[Я l, .. ., Цп\п) = [ 0.2, ..., Яп\(п).
т
^0, . . . , дп](п+1)к l, ..., Ят+г}(т+1) - [ Q0, . . . , Ят+1](т+2)к l, ..., 1п](п) = = [ q0, ... , (1п\п+1) Ят+1[Я 1 , ..., Ят}(т) + [ Я0, ... , Яп](п+1)[Я l, ..., Ят-1\(т-1)--[q0, . . . , Ят](т+1) Ят+1[д l, ..., 0.п](п) - [Q0, . . . , Ят-1](т)[(11, . . . , 1п](п) = = (1т+1(-1)т [ (1т+2, . . . , Яп](п-т-1) + (-1)т-1[ Ят+1, . . . , (1п](п-т) = (-1)т+1[ qm+3, . . . , (1п](п-т)
и тем самым утверждение леммы доказано. □
Хорошо известно (см. [16]) следующее тождество
[<71, . . . , 1п ](га) = [д l, ..., дт}(т)[ Чт+1, . . . , 0.п](п-т) + [Я l, ..., Qm-l}(m-l)[Qm+2, . . . , 4п](п-т-1). (4)
3. Наилучшие приближения второго рода
Пусть Р — произвольное действительное число отличное от нуля (Р £ М, Р = ^ Через ||у5|| будем обозначать расстояние до ближайшего целого
р = Г {р], если 0 < {р] < 1, 11 I 1 - {Р], если 2 < {Р] < 1,
{Р} = Р — [,5]— дробная часть Р, [Р] = п, где п е ^ п ^ Р < п + 1, — целая часть Р.
Будем через Л(Р) обозначать решётку приближений Дирихле
Л(Р) = {(д— р)1 д,р е Z} = {(д, {д[3} — р)1 д,р е Z}.
Заметим, что если Р — рациональное число, то решётка Л(Р) — декартова, для любого иррационального Р решётка Л(Р) не является декартовой.
В 1842 году П. Г. Лежён-Дирихле доказал знаменитую теорему.
Теорема 1. Для любого Р е М и О > 1, Я е N найдется натура,л,ьное д ^ О такое, что
ья < О
Решётка Л(Р) имеет базис Х1 = (1,Р), Х2 = (0, — 1) и базисную матрицу М(Р):
(1 -1) •
Л( Р)
кой.
Рассмотрим разложение рационального числа Р = ^ в цепную дробь (3). Пусть ^^ — т-ая подходящая дробь к рациональному числу Р (т = 0,1,... ,п). Рассмотрим точки решётки Хт = ( От, ОтР — Рт) (т = 0,1,..., п). Так как Рт = дтРт-1 + Рт-2, От = дтЯт-1 + От-2 (т = 0, 1, . . . , п), еСЛИ ПОЛОЖИТЬ 0-2 = 1, 0-1 = 0 Р-2 = 0 Р-1 = 1) тО справедливо рекуррентное соотношение для векторов \т: \т = дтXт-1 + Хт-2. Рассмотрим матрицы Мт(Р), заданные равенствами
М(Р)=( 1 Р ), Л(Р)= Z2 ■М(Р), detЛ(Р) = 1.
М (Р) _ | Хт \ _ | Ят ЯтР Рт | _ | дт 1 | | 0т-1 0т-1Р Рт-1 |
\ Хт-1 ) V Ят-1 Ят-1 Р — Рт-1 ) V 1 0 / V Ят-2 Ят-2Р Рт-2 )
Мт(Р)=Шт(Р) -Мт-1(Р) (т = 0, 1,...,п), Шт(Р) = ( ^ 0)
10
Оо ОоР—Ро А (1 {Рп М(т) М ( Я-1 О-Ф—Р-Л /^0 1 0-1 Я-1Р — Р-1 = (,0 — 1)=М(Ш М-1 ^Я-2 Я-2Р — Р-2 =11Р
Отсюда следует, что все матрицы Мт(Р) являются базисными.
Напомним известное определение наилучшего приближения второго рода (См. [17], стр. 34).
Определение 2. Рациональная, дробь | (Ь > 0^ называется наилучшим приближением второго рода, числа, Р, если из ^ = 0 < (I ^Ъ необходимо следует,
(Р — с1 > \ЬР — а1
Согласно теоремам 16 и 17 из [17] справедлива теорема
Теорема 2. Всякое наилучшие приближение второго рода, есть подходящая, дробь. Всякая подходящая, дробь есть наилучшее приближение второго рода; единственное (тривиальное) исключение представляет
о 1 Ро до
Р = ^ + 1, оо = т.
Следуя за Г. Ф. Вороным [2], [5], [6] и работами [1] и [4], дадим следующее определение локального минимума для решётки Л(/).
Определение 3. Точка (д,д/ — р) называется локальным минимумом решётки Л(/3); если параллелепипед П( д, д/ — р) = [—д, д] х \—д// + р,д/3 — р] не содержит ненулевых точек решётки Л(/3) кром,е своих вершин.
Согласно данному определению рассматриваются только локальные минимумы в правой полуплоскости. Очевидно, что каждому локальному минимуму (д, д/3 — р) из правой полуплоскости соответствует в точности один симметричный локальный минимум (—д, — д/3 + р) из левой полуплоскости.
Нетрудно видеть, что каждому наилучшему приближению второго рода | для числа / соответствует локальный минимум (д, д/ — р) из решётки приближений Дирихле Л(/) и наоборот, каждому локальному минимуму ( д,д/ — р) из решётки приближений Дирихле Л(/) соответствует наилучшее приближение второго рода | для числа
Если ограничиться случаем только рациональных / > 0, то из теоремы 2 следует, что множество всех локальных минимумов решётки приближений Дирихле Л(/) состоит в точности из точек Ат = (Ят, Ят/ — Рт) (т = 0,1, 2,...,п).
Зададим точки А_ 1 = (0, —1) \~2 = (1,/)-, которые образуют базис решётки приближений Дирихле Л(/).
Теорема 3. Последовательность всех локальных минимумов (Ао, А1,..., Ага} задается рекуррентным равенством
А т — дт А т— 1 + Ат-2 (0 ^ т ^ п),
где целое число дт определяется равенством
дт
\Ат-2,2\
\Ат-1,2 \
Ат — ( Аm,1,
(5)
(6)
Доказательство. Проведем доказательство по индукции и покажем, что для точек Ап, заданных равенствами (5) и (6), выполняется соотношение Ат = (Ят,Ят/ — Рт) (т = 0,1, 2,...,п).
Действительно, для т = —2, — 1 это выполняется по определению. При этом А_2,2А~ 1,2 < 0. Далее, получим до = [/], Ао = до(0, —1) + (1, /) = (1, {/}) = ((о, (о/ — Ро), А- 1,2Ао,2 < 0 и
т = 0
Пусть т ^ 0 и для любого к с 0 ^ к ^ т справедливо равенство Ак = (Як, Як/ — Рк)• Так как по свойствам подходящих дробей имеем:
Ат-2,2Ат-1,2 = (Ят-2/ — Рт-2)(Ят-1/ — Рт-1) < 0,
ТО ДЛЯ Ат 2 =
|Ат-2,2| |Ат-1,2|
Ат-1,2 + Ат-2,2 будут выполнены неравенства Ат,2Ат-2,2 > 0 и, следовательно, АтоАт- 1,2 < 0, \А т, 2\ < \А т—1,2 \ ■
Положим / = до + /т = дт + ^ 1 (т ^ дт = [/т]. Тогда, как известно (см. [17]), справедливо равенство
/ = Рт— 1/т + Рт-2 (т ^ (т— 1/т + (т— 2
Отсюда следует, что
Ат—
т-2,2
Я — +Ргп — 2 _ Р , ~ ^ р \ п
Ят~2 ят—1^т +Ят—2 Рт-2 (Ят-2Рт-1 — Рт-2Ят-1)Рп
Ат-1 2 Я 1 гт—1Рт +гт-2__Р
т 1,2 Ят— 1 о Ла +о „ Рт-1
Рт — т +Рт — 2
Ят— 1Рт—2 Рт— 1Ят— 2
= —/п
\ Ат— 2,2 \
_\Ат-1,2\
—дт.
Поэтому по индукции получаем, что утверждение относительно Ат справедливо для любого т, что и доказывает утверждение теоремы. □
4. Множество Быковского для двумерной решётки линейного сравнения
Прежде всего установим взаимно-однозначное соответствие между точками решёток Л(а,М) и Л (): * *
ф :л(а,М) ^ л(
с помощью равенства
ф((хМ — ау, у)) = {у,у ■ N —х) , ф-1 (д,д ■ N — р) = (рМ — ад, д).
ф
матрицей Ф:
• ) ( 0 7) = (0 V).
(х N — аУ,У)(^°1 ^ ^ = (У^ ■ ММ —хУ
Для решётки Л( а, N) определение локального минимума несколько отличается от определения 3.
Определение 4. Точка (хN — ау, у) называется локальным минимумом решётки Л(а, М) если параллелепипед П*(хМ — ау, у) = [—хМ — ау,хМ — ау] х [—у, у] не содержит ненулевых точек решётки Л(а, N) кром,е своих вершин.
Заметим, что определение 1 содержит на два элемента больше минимальных решений чем определение 4 локальных минимумов. Действительно, точки (0, N) и (0, —М) являются минимальными решениями согласно определения 1, но не являются локальными минимумами согласно определению 4, так как если аЬ = 1 (mod N) и |Ь| ^ то решение (—1, Ь) е П*(0, М) и, значит, (0, N) не является локальным минимумом решётки Л(а, N).
Будем множество локальных минимумов решётки Л(а, N) называть просто множеством Быковского и обозначать через В(а,М), а количество элементов — через г(а,М). Ясно, что В (а, N) = В (о)(Л) \ {(0, N), (0, —М)} и г(а, N) = г(о)(Л) — 2.
ф
значное соответствие между множеством Быковского В(а,М) и всеми локальными минимумами решётки Дирихле Л кроме точки (М, 0), которая является локальным минимумом в решётке Л , а соответствующая ей точка (0, N) не является локальным минимумом в решётке Л(а, N). Если через В*(а,М) обозначим множество всех локальных минимумов решётки Л(а, N) гада (хМ — ау, у) с 0 < у < М, то будем иметь В (а, N) = В* (а, М) и —В *(а, N). И из теории наилучших приближений второго рода следует следующая теорема.
Теорема 4. Для множества Быковского В(а, N) справедливо равенство В*(а, N) = {((—1)т[(?т+2,..., 9п](п-т-1), Ят)|ш = 0,..., п-1}, В(а, N)=В*(а, N)и—В*(а, N). Кроме этого, г(а, М) = 2п.
Следствие 1. Для гиперболического параметра д(Л(а,М)) двумерной решётки Л(а, М) решений линейного сравнения справедливо равенство
д(Л(а,М )) = т1П [дт+21 . . . , дп](п-т-1) ■ 0т. Кроме этого, всегда, д(Л(а, N)) ^ а для 1 ^ а < N (а, N) = 1.
Доказательство. Действительно, очевидно, что
q{A{a,N)) = mjn ,М ' У.
Отсюда и из теоремы 4 следует первое утверждение следствия. Второе утверждение следствия очевидно. □
Следствие 2. Равенство q(A(a, N)) = a для 1 ^ a < N, (a, N) = 1 выполняется тогда и только тогда, когда выполнено одно из условий
1. qi ^ max qv + 2;
2- qi = i qv + 1 1 + 92 + 1 > ¿2 + ¿"P« ^ = 91 - 1 2 - 1
3.
I
qi = max qv + 1,
2<v<n-1
1+
>
+
2+
qu+2 +
Qu +
+
+
qn-i +--
qn
qn-1 +--
qn
при qu = qi — 1, 2 ^ и ^ n — 1.
qi = max qv,
2<v<n-1
>
+
2+
qu+2 +
qv +
+
+
qn-i +--
qn
qn-1 +--
qn
при qv+i = qi, 1 ^ v ^ n — 1.
+
1
1
q2 +--
i
+
q2 +--
i
Доказательство. Действительно, равенство q(A(a, N)) = a означает, что выполняется
неравенство
< [ qm+2, ..., qn] (n—m— 1) -Qrn (1 < Ш ^ П — 1),
которое эквивалентно неравенству N Qn
Qr,
a [q m+2, . . . , qn](n-m-1) ' Qn
(1 ^ Ш ^ n — 1).
Нетрудно видеть, что
Qn _ k Qn] (n)
a [ q2,..., qn](n-1)
= qi +
2+
+
qn-i +--
qn
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
a
a
1
1
1
1
С другой стороны, воспользуемся тождеством (4), получим
Я п
[Ят+2, . . . , Чп](п-т-1) ■ 0т [ Я 1, .. ., Ят](т)[ Qт+1, . . . , Яп](п-т) + [ Я1, . . . , Qт-l}(т-1)[Qт+2, . . . , Яп](п-т-1)
1т+1 +
[Ят+2, . . . , Чп](п-т-1) ■ 0т
11
-+ -
Ят+2 +
1
Ят +
1
(1 ^ т ^ п — 1).
•• +
+
1
Учитывая неравенства
Чи + 1
Цп-1 +--
п
<
1
42 +--
1
1
^ —,
Яи +
Яи
+
Яп-1 +--
п
получим утверждение следствия. □
5. Оценка гиперболической дзета-функции двумерной решётки сравнений
Как известно (см. [1, 4]), гиперболическая дзета-функция решётки Л(а, N) задаётся равенством
^ 5м ( т1 +ат2)
(н(Л(а,М )|а) т(т1Ш2)с
(7)
где
т( а) =
1, если а = 0 (mod т), 0, если а ф 0 (mod т),
— символ Коробова их = тах(1, |х|) для любого веществ енного х. С ней тесно связана функция Н(а; N), заданная формулой
н («;* ) = N Е 0—2 Щ
к=о 4 74
1—^
Функция Н(а; N), предложенная Н. М. Коробовым в работе [13], используется для определения качества оптимальных коэффициентов и для построения алгоритмов их вычисления (см. например, [14, 15]). В работе [7] дается конечная формула для Н(а;М), которая позволяет её точно вычислять за 0(1пМ) арифметических операций.
Так как периодическая функция Л,(х) = 3(1 — 2{х})2 имеет разложение в ряд Фурье
6 А 1
к(х) = 3(1 — 2{х})2 = 1 + Л V -Ч ( е2^тХ + е-2жт
■к2 т2
т=1
)
1
1
1
1
1
1
1
то справедлива следующая лемма.
Лемма 2. Справедливы, равенства
Сн(Л(а, N)\а) = 4^) + (*н(Л(а,М)\а),
А
Н(а; N) = 1 + ^ + 336(*н(Л(а, N)\2),
( а)
2( 5* (т1 + ат2) + 5* (т1 — ат2))
Сн (Л( а,- )\а)= £
т2т
Ш1,т2 = 1
2т2
Доказательство. Так как
^ 5м(т) + 5м(—т) + 5*(ат) + 5*(—ат)
сн(л(а^ = --+
т=1
6м (т1 + ат2) + 6* (—т1 + ат2) + 6* (т1 — ат2) + 6* (—т1 — ат2)
+ £
Ш1,Ш2 = 1
т1 т2 4((а)+ (н(Л(а, N)\а)
Аналогично доказывается второе утверждение с учетом, что ((2) = ^г- □
и первое утверждение леммы доказано.
>рое ут
Положим, как обычно, N1 = [у], N2 = 5 тогда множество чисел
М N = (—N2,..., —1, 0,1,...,^}
образуют абсолютно наименьшую полную систему вычетов по модулю N. Очевидно, что для множества Быковского В(а^) выполняется включение В(а, N С М^)2. Определим величины
(¡тща,^^ £ ^*(т(т1—ат2)) •
т1,т2 = 1
12
С**(Л(а Ща) = ^ 2(6*(т1 + ат2) + (т1 — ат2))
12 шах(т1 ,т2)>*1
Ясно, что Сн(Л(а,Ща) = (¡¡(Л(а,N)\а) + (я*(Л(а,N)\а). Лемма 3. Справедливо неравенство
аг(Л(а^)\а) < (1 — .
22+3(2(а)^ 1 Доказательство. Действительно, имеем:
С***(Л(а, N)\а) = V V 6»(т1 + ат) + 6»(т1 — ат2) +
н т12 т22
т1=1 1 тт> £ 2
2 ^ 6м(т1 + ат2) + 6*(т1 — ат2)
+ т2
т2 = 1 2 т.1^ f
<
т2
1
гс 2 гс 1 т +тМ+М-1
* I] (М , лЛ — I] (^(Ш1 +аШ2)+ ^(Ш1 — аГП2)) +
1 т— т=о (М +тМУ т
т1 = 1 1 т=о У 2 ' т2 = Т +тМ
гс гс 1 Т +тМ+М-1
+ I] —Ил» Е (^(т1 +а^2)+ ¿М(™1 — аШ2)) *
1 '"'2 п ("о" + I ы
^^ 2 т=о V 2 ' т1 = Т +тМ
□
аГ( V 1 _ 2а+3(2(а)( _ * 8С( а) М» 2=о (1 + 2т)а = М- V 2™) .
Так как (Н(Л(а, N)|а) = £Н*(Л(М — а,М)|а), то, без ограничения общности, считаем 1 *
а < 2-
Лемма 4. Справедливо неравенство
п- 1
и=о
+2, ... , Чп](п--и-1)
Доказательство. Действительно, положим Ьи = [ ди+2,..., дп](п-и-1), си = М ( у = 0, . . . , п — 1)
п-1тт(Я„+1-1,М1) аК +К-1 „ , , „ , ,
(Н(Л(а N)|„) * £ £ А £ £ 1т1 +(("'2)г+/М(т1 —ат2) *
и=о т2=<^1, 2 а=1 т1=аЬ^ 1
п-1 д^+1 +QV-1,Яи+1-1,М1) аЬ„ + -1 г , , л , с- / л
^ 2 ом(т1 +ат2)+ ОМ(Ш1 — ат2) *
^ / у / / у '¡¡¡п гш— ^
и=о 6=1 т2=ЪQv 2 а=1 т1=аЬ„ 1
п-1 „ с^
*У 772" У Г" У -Би(а, 6),
/ у г^—ьп/ у г.— / у п— '
и=о Яи°и ^ ° а=1 а
где
-1^+1-1,М1) аК +К-1
Би (а, Ь) = У У ¿м (^1 + ат2) +
т2 =bQv т1=а Ь1,
+QV-1^+1-1^1) аЬ„ +К-1
+ У У ¿м (^-1 — ат,2).
т2=bQv т1 =аЬ и
Покажем,что
тт^1,+QV-1^+1-1,И1) аЪ„ -1
У У ¿м (^1 + ат2) * 1.
т2=bQv т1=аЬ „
Предположим противное, тогда найдутся две точки ( Ш1,т2) и (т^т.^) из области суммирования такие, что
5М (т1 + ат2) = 5М (т[ + ат'2) = 1.
Но тогда 5м((ш1 — т[) + а(т2 — т'2)) = 1 и |т1 — тЦ < 0и, ^2 — т'^ < Ъи, что противоречит определению множества Быковского и теореме 4. Аналогично доказывается, что
тт(г^+QV-1^„+1-1,И1) аК +К-1
У У ¿М (^-1 — ат,2) * 1.
т2=bQv т1=аЬ и
Отсюда следует, что 0 <57(а, Ь) < 2 и
(н(Л(а, N)Н < 2(а)^
П—1 1
ПаШ 7=0
□
Выражение
вВЩа) = £ 1
(х1... х.3)с
будем называть суммой Быковского.
Теорема 5. Для гиперболической дзета-функции решётки Л(а, N) справедливы, неравенства
БВ(Л(а, N)Н < (н(Л(а, N)1а) < ^ + ^^ (1 - 1) + 2^2(а)ЯВ(Л(а, N)1а). Доказательство. Левое неравенство очевидно. Правое неравенство следует из лемм 2-4.
□
Для суммы Быковского решётки Л(а, N) решений линейного сравнения несложно получить двусторонние оценки.
Теорема 6. Для суммы Быковского справедливы, неравенства
< 5В(Л(аN)1а) < ^^)1а),
NN а ¡у а
где
п-1 п-1 , 1 1 а
с\(Л(а, N)1а) = £ (д^Г, с2(Л(а^)1а) = ^ ди+1 +-+ - .
7=0 7=0 \ IV+2 Яи/
7=0 7=0
Доказательство. Повторяя рассуждения доказательства следствия 2, получим утвер-□
а
элементов цепной дроби для делённый на Nа.
6. Заключение
а Л( а)
ством
Л(а) = {(п + ка, п — ка)1п, к Е Ъ}.
Пусть О^ обозначает т-ю подходящая дробь к а. По аналогии с квадратичным случаем можно рассмотреть решётку Лт(Ят, Рт) = {(Ятп + кРт, Ятп — кРт)1п, к Е Ъ} и сетку
М(Лт(а)) = | ( В (п) = <( к
п
+
к
п
2Рт 2Яп
2Я-
к = 0,
Ртп < к < РтП — о„, < к < ОгР ,
2 Р 2 Рт
Оп 2Рт +
Ртп
Ог,
к Е В(п), 0 < п < 2Ят — 1
п = 0, при п = 1, . . . Ят — 1, < к < 2Рт — ^Ои , ПРИ п = Ят,... 2Ят — 1]
Из результатов А. В. Михляевой [15] следует, что это всегда будет параллелепипедальная сетка. Качество этой сетки можно рассчитать с помощью быстрого алгоритма из работы [3]. Возникают следующие естественные вопросы:
1. Как множество Быковского для решётки Лт(0т, Рт) связано с локальными минимумами решётки Лт(а)?
2. Как суммы Быковского для решётки Лт( От, Рт) связаны с суммами Быковского для
Л т( а)
Н Л т( а)
аналогичную результатам из работы [4]?
4. Можно ли результаты для размерности 2 перенести на размерность 3 или на любую размерность § > 2?
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Быковский В. А. О погрешности теоретико-числовых квадратурных формул // Чебышев-ский сборник, 2002, т. 3, вып. 2(4), С. 27-33.
2. Г. Ф. Вороной Об одном обобщении алгоритма непрерывных дробей //В книге Г. Ф. Вороной. Собрание сочинений в трех томах. Т. 1, С. 197-391.
3. Вронская Г. Т., Добровольский Н. Н. Отклонения плоских сеток, монография / под редакцией Н. М. Добровольского. Тула, 2012.
4. О. А. Горкуша, Н. М. Добровольский. Об оценках гиперболической дзета-функции решёток // Чебышевский сборник, 2005, т. 6, вып. 2(14), С. 130-138.
5. Б. Н. Делоне. Петербургская школа теории чисел. — М.-Л. Издательство Академии наук СССР. 1947 г., 422 с.
6. Б. И. Делоне, Д. К. Фаддеев. Теория иррациональностей третьей степени // Тр. Матем. ин-та им. В. А. Стеклова, 11, Изд-во АН СССР, М.-Л., 1940, С. 3-340.
7. Добровольский Н. \!.. Есаян А. Р., Пихтильков С. А., Родионова О. В., Устян А. Е. Об одном алгоритме поиска оптимальных коэффициентов // Известия ТулГУ. Сер. Математика. Механика. Информатика. Т. 5, вып. 1. Тула, 1999. С. 51-71.
8. Добровольский Н. \!.. Есаян А. Р., Реброва И. Ю. Об одном рекурсивном алгоритме для решёток // Теория приближений и гармонический анализ: Тез. докл. Междунар. конф. Тула, 1998.
9. Добровольский Н. \!.. Есаян А. Р., Реброва И. Ю. Об одном рекурсивном алгоритме для решёток // Известия ТулГУ. Сер. Математика. Механика. Информатика. Т. 5, вып. 3. Тула, 1999. С. 38-51.
10. Дэвенпорт Г. Высшая арифметика. — М.: Наука. 1965 г. — 176 с.
11. Касселс Д. Введение в геометрию чисел. М.: Мир, 1965. 422 с.
12. Коробов Н. М. Вычисление кратных интегралов методом оптимальных коэффициентов // Вестн. Моск. ун-та, 1959. № 4. С. 19-25.
13. Коробов И. М. Свойства и вычисление оптимальных коэффициентов // ДАН СССР 132. 1960.№ 5. С. 1009-1012.
14. Михляева А. В. Приближение квадратичных алгебраических решёток и сеток целочисленными решётками и рациональными сетками // Чебышевский сборник, 2018, т. 19, вып. 3. С. 241-256.
15. Михляева А. В. функция качества для приближения квадратичных алгебраических сеток // Чебышевский сборник, 2019, т. 20, вып. 1. С. 307-312.
16. Сушкевич А. К. Теория чисел.- Харьков: Из-во Харьковского гос. ун-та им. А. М. Горького. 1956. 204 с.
17. А. Я. Хинчин. Цепные дроби. — М.: Физматлит, 1960 — 112 с. REFERENCES
1. Bvkovskij, V.A 2002, "On the error of number-theoretic quadrature formulas", Chebvshevskij sbornik, vol. 3, no. 2(4), pp. 27-33.
2. Voronoi, GF 1896, On Generalization of the Algorithm of Continued Fraction, Warsawa University.
3. Vronskava, G. Т., Dobrovol'skii, N. N. 2012, "Deviations of flat grids, monograph" , edited by N. M. Dobrovol'skii. Tula.
4. O. A. Gorkusha, N. M. Dobrovolskv, 2005, "On estimates of hyperbolic zeta function of lattices" // Chebvshevskv Collection, vol. 6, issue 2(14), pp. 130-138.
5. B. N. Delone., 1947, "St. Petersburg School of Number Theory" — M. L. Publishing House of the Academy of Sciences of the USSR. 422 p.
6. B. N. Delone, D. K. Faddeev., 1940, "The theory of irrationalities of the third degree" // Tr. Math. V. A. Steklov Institute, 11, Publishing House of the USSR Academy of Sciences, M.-L., pp. 3-340.
7. Dobrovol'skii, N. M., Esavan, A.R., Pikhtil'kov, S.A., Rodionova, O.V. к Ustvan, A.E. 1999, "On a single algorithm for finding optimal coefficients", Izvestiva TulGU. Seriva Matematika. Mekhanika. Informatika, vol. 5, no. 1, pp. 51-71.
8. Dobrovol'skii, N. M., Esavan, A.R. к Rebrova, I. YU. 1998, "On a recursive algorithm for lattices", Teoriva priblizhenij i garmonicheskij analiz: Tezisv doklada Mezhdunarodnoj konferentsii (Approximation theory and harmonic analysis: proceedings of the International conference), Tula, Russia.
9. Dobrovol'skii, N. M., Esavan, A.R. к Rebrova, I. YU. 1998, "On a recursive algorithm for lattices", Izvestiva TulGU. Seriva Matematika. Mekhanika. Informatika, vol. 5, no. 3, pp. 38-51.
10. Davenport, H., 1965, "The higher arithmetic" , Moscow, Nauka — pp. 176.
11. Kassels, D. 1965, Vvedenie v geometrivu chisel, [Introduction to the geometry of numbers], Mir, Moscow, Russia.
12. Korobov, N.M. 1959, "The evaluation of multiple integrals by method of optimal coefficients", Vestnik Moskovskogo universiteta, no. 4, pp. 19-25.
13. Korobov, N.M. 1960, "Properties and calculation of optimal coefficients", Dokladv Akademii nauk SSSR, vol. 132, no. 5, pp. 1009-1012.
14. Mikhlvaeva, A. V., 2018, "Approximation of quadratic algebraic lattices and nets by integer lattices and rational nets", Chebyshevskii sbornik, vol. 19, no. 3, pp. 241-256.
15. Mikhlvaeva, A. V., 2019, "Quality function for the approximation of quadratic algebraic nets" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 307-312.
16. Sushkevich A. K., 1956, "Number theory" - Kharkiv: From, the Kharkiv State University named after A.M. Gorky. 204 p.
17. A. Y. Khinchin, 1960, "Chain fractions" — M.: Fizmatlit, — 112 p.
Получено 18.07.2021 г. Принято в печать 6.12.2021 г.
