CC BY
27
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 19. Выпуск 3.
УДК 511.3 DOI 10.22405/2226-8383-2018-19-3-109-134
О двух асимптотических формулах в теории гиперболической
дзета-функции решёток1
Добровольский Николай Николаевич — кандидат физико-математических наук, ассистент кафедры прикладной математики и информатики, Тульский государственный университет; доцент кафедры алгебры, математического анализа и геометрии Тульского государственного педагогического университета им. Л. Н. Толстого. e-mail: [email protected], [email protected]
Аннотация
В работе рассматриваются новые варианты двух асимптотических формул из теории гиперболической дзета-функции решёток.
Во-первых, получена новая асимптотическая формула для гиперболической дзета-функции алгебраической решётки, полученной растяжением в t раз по каждой координате решётки состоящей из полных наборов алгебраически сопряженных целых алгебраических чисел, пробегающих кольцо целых алгебраических чисел чисто вещественного алгебраического поля степени s для любого натурального s ^ 2.
Во-вторых, получена новая асимптотическая формула для числа точек произвольной решётки в гиперболическом кресте.
В первом случае показано, что главный член асимптотической формулы для гиперболической дзета-функции алгебраической решётки выражается через детерминант решётки, регулятор поля и значения дзета-функции Дедекинда главных идеалов и её производные до порядка s — 1. Впервые выписана явная формула остаточного члена и дана его оценка.
Во втором случае главный член асимптотической формулы выражается через объём гиперболического креста и детерминант решётки. Даётся явный вид остаточного члена и уточненная его оценка.
В заключении описана суть метода параметризованных множеств, использованного при выводе асимптотических формул.
Ключевые слова: алгебраическая решётка, гиперболическая дзета-функция алгебраической решётки, дзета-функция Дедекинда главных идеалов, гиперболический крест, точки решётки в гиперболическом кресте.
Библиография: 47 названий. Для цитирования:
Н. Н. Добровольский. О двух асимптотических формулах в теории гиперболической дзета-функции решёток // Чебышевский сборник. 2018. Т. 19, вып. 3, С. 109-134.
1 Работа подготовлена по гранту РФФИ №16-41-710194_р_центр_а
CHEBYSHEVSKII SBORNIK Vol. 19. No. 3.
UDC 511.3 DOI 10.22405/2226-8383-2018-19-3-109-134
On two asymptotic formulas in the theory of hyperbolic Zeta
function of lattices2
Dobrovolsky Nikolai Nikolaevich — candidate of physical and mathematical sciences, assistant of the department of applied mathematics and computer science, Tula State University; associate Professor of the Department of algebra, mathematical analysis and geometry of Tula state pedagogical University L. N. Tolstoy. e-mail: [email protected], [email protected]
Abstract
The paper considers new variants of two asymptotic formulas from the theory of hyperbolic Zeta function of lattices.
First, we obtain a new asymptotic formula for the hyperbolic Zeta function of an algebraic lattice obtained by stretching t times over each coordinate of a lattice consisting of complete sets of algebraically conjugate algebraic integers running through a ring of algebraic integers of a purely real algebraic field of degree s for any natural s > 2.
Second, we obtain a new asymptotic formula for the number of points of an arbitrary lattice in a hyperbolic cross.
In the first case, it is shown that the main term of the asymptotic formula for the hyperbolic Zeta function of an algebraic lattice is expressed in terms of the lattice determinant, the field controller, and the values of the Dedekind Zeta function of the principal ideals and its derivatives up to the order of s — 1. For the first time an explicit formula of the residual term is written out and its estimation is given.
In the second case, the principal term of the asymptotic formula is expressed in terms of the volume of the hyperbolic cross and the lattice determinant. An explicit form of the residual term and its refined estimate are given.
In conclusion, the essence of the method of parametrized sets used in the derivation of asymptotic formulas is described.
Keywords: algebraic lattice, hyperbolic Zeta function of algebraic lattice, Dedekind Zeta function of principal ideals, hyperbolic cross, lattice points in hyperbolic cross.
Bibliography: 47 titles. For citation:
N. N. Dobrovol'skii, 2018, "On two asymptotic formulas in the theory of hyperbolic Zeta function
of lattices" , Chebyshevskii sbornik, vol. 19, no. 3, pp. 109-134.
1. Введение................................................................................Ill
2. Асимптотическая формула для алгебраической решётки ..............................113
2.1. Вычисление вспомогательных интегралов ............................................113
2.2. Интегральное представление для гиперболической дзета-функции алгебраической решётки .......................................................................................113
2.3. Асимптотическая формула для гиперболической дзета-функции алгебраической решётки ....................................................................................118
3. Асимптотическая формула для числа точек решётки ..................................121
2The work has been prepared by the RFBR grant №16-41-710194_r_centr_a
3.1 Вспомогательные леммы о многомерных областях и интегралах......................121
3.2 Асимптотическая формула для числа точек в гиперболическом кресте ..............126
4. Заключение.............................................................................128
Список цитированной литературы ........................................................128
REFERENCES ............................................................................131
1. Введение
В данной работе продолжаются исследования по теории гиперболической дзета-функции решёток.
Гиперболическая дзета-функция решёток задаётся в правой а-полуплоскости а > 1, а = а + it дзета рядом3
с (Л|а) = (1)
жеА
Очевидно, что при s = 1 гиперболическая дзета-функции решётки выражается через дзета-функцию Римана. В многомерном случае имеются свои существенно новые задачи, не имеющие аналогов в одномерном случае.
Впервые гиперболическая дзета-функция решёток возникла в работах Н. М. Коробова [28], [29] и Н. С. Бахвалова [1] в 1959 году для решёток решений линейного сравнения с несколькими переменными. В наиболее общем виде она появилась в работах К. К. Фролова [35], [36].
Термин "гиперболическая дзета-функция решётки" был введен в 1984 году Н. М. Добровольским в работах [11] — [13], в которых начато систематическое изучение функции (я(Л|а) как самостоятельного объекта исследований.
В частности, для действительных а > 1 получены нижние оценки для гиперболической дзета-функции произвольной s-мерной решётки:
(н(Л|а) ^ Ст(а, s)(det Л)-1 при 0 < de^ ^ 1,
(я(л|а) ^ С2(а, s)(det л)-а lns-1 de^ при de^ > 1, (2)
где Ci(a, s), С2(а, s) > 0 — константы, зависящие только от а и s.
Доказана верхняя оценка для гиперболической дзета-функции s-мерной решётки:
(я(Л|а) < С3(а,8)С1(Лу при д(Л) = 1,
(я(л|а) < C4(a,s)q-a^)(ln д(Л) + 1)5-1 при д(Л) > 1. (3)
Этот результат является обобщением теоремы Н. С. Бахвалова [1]. Из оценки (3) получены различные следствия. В частности, из нее автоматически следует результат К. К. Фролова [35], так как гиперболический параметр д(Л(£, F)) = ts при t > 1.
Для гиперболической дзета-функции решётки Л(£, F) в работе [19] Добровольским Н. \!.. Ваньковой В. С., Козловой С. JI. была получена асимптотическая формула
Ся )|а) =
2 ■ (de^(F))а 1 \ lns-1 de^(¿,F) /in*-2de^(¿,F)Ч
R ■ (s - 1)! |N(w)|a / (de^(í, F))
(w)
где К — регулятор поля Р (см. [2]) и в сумме У^ ,—т—-¡— суммирование проводится по всем главным идеалам кольца Ър.
3 Символ У]' означает, что из области суммирования исключается х = О, и для любого вещественного х величина х задается равенством х = max(1, |ж|).
На первом этапе исследований с 1984 года по 1990 год изучение функции (я(Л|а) проводилось только для вещественных а > 1. Начиная с 1995 года, в совместных работах Добровольского Н. \!.. Ребровой И. Ю. и Рощени А. Л. ([24], [25], [22]) начался новый этап изучения гиперболической дзета-функции (я (Л| а;) решётки Л: во-первых, как функции комплексного аргумента а, во-вторых, как функции на метрическом пространстве решёток.
По теореме Абеля ([37], с. 106) гиперболическую дзета-функцию решёток в правой а-полуплоскости а > 1, а = а + И можно представить в следующем интегральном виде
с»
с.я (Л|а) = аI
¿«+1
1
где И(Т|Л) — количество ненулевых точек решётки Л в гиперболическом кресте К3(Т). Так как И(Т|Л) = 0 при Т < д(Л), то
с
с.я (Л|а) = а I
И(ЦЛ)М
1«+1 9(Л)
Л
ской дзета-функции решётки (я(Л|а) на всю комплексную плоскость. В работах Добровольского Н. М., Ребровой И. Ю. и Рощени А. Л. ([25], [22]) эти вопросы исследовались для PZS — множества всех целочисленных решёток, PQS — множества всех рациональных решёток, — множества всех решёток с диагональными матрицами. Доказано, что для, любой целочисленной решётки Л е гиперболическая дзета-функция (я (Л|а) является регулярной функцией во всей а-плоскости, за исключением точки а = 1; в которой она имеет полюс порядка, в.
Для любой решётки Л е гиперболическая дзета-функция (я (Л|а) также является
регулярной аналитической функцией во всей а-плоскости, за исключением точки а = 1, в которой она имеет полюс порядка в.
Изучено поведение гиперболической дзета-функции решёток на пространстве решёток. В частности, установлено, что
если последовательность решёток |Лга} сходится, к решётке Л, то последовательность гиперболических дзета-функций решёток С,я (Лп |а) равномерно сходится, к гиперболической дзета-функции решётки (я (Л| а) в любой полуплоскости а ^ а0 > 1. Другой результат такого типа формулируется следующим образом.
Для любой точки а из а-пл,оскост,и, кром,е точки а = 1, найдется окрестность |а— ¡3\ < 5 такая, что для любой решётки Л = Л(^1,..., е Р05
Иш (я (М ЦЗ ) = (я Щ/3), м ерд3
причем эта сходимость равномерна в окрестности точки а.
Вывод этих результатов существенно опирается на асимптотическую формулу для числа точек произвольной решётки в гиперболическом кресте как функции от параметра гиперболического креста, полученную И. М. Добровольским и А. Л. Рощеней ([26]):
2ST Щ"1 Т 2S -Т 2 Т
Я(Т | Л) = Г 1 , , - \ + в ■ С (Л)2 \ 1ПЛ 1 , (5)
1 | 7 (в - 1)! det Л ' w
где С (Л) - эффективная константа, вычисляемая через б азис решётки, и |в| ^ 1.
В работах [3]-[36], [38], [39] освящены различные аспекты теории гиперболической дзета-функции решёток. В работах [40]-[47] используется асимптотическая формула (5).
Цель данной статьи — дать новые варианты формул (4) и (5).
2. Асимптотическая формула для алгебраической решётки
Вывод нашей новой асимптотической формулы для дзета-функции алгебраической решётки будет опираться на доказательства из монографии [34], поэтому приведем ряд лемм из этой работы без доказательства, модифицируя где необходимо формулировки.
2.1. Вычисление вспомогательных интегралов
Обозначим через Бгткй-мерный симплекс заданный равенством
Бгтк (А) = {x|x1,... ,Хк ^ 0, ж1 + ... + Хк ^ А}. Лемма 1. Пусть А ^ 0, к ^ 1 и
1к (А) = J ..^йх1 ...йхк.
Згт^(А)
Тогда справедливо равенство
Лк
'к <л> = и ■
Доказательство. См. [34], стр. 66. □ Лемма 2. Пусть В ^ 1,1 ^ к ^ 8 - 1, а > 0м
Ук(В)= I... I еа(хк...дх^ 1.
В^Х1 + ...+х3_ 1
Тогда справедливо равенство
к 1
¥к(В) = 2- СТ~1 (к - 1)!(в - к - 1)!а—+1 ' Вт.
Vт
т=0
□
(8 - т)!
2.2. Интегральное представление для гиперболической дзета-функции алгебраической решётки
Пусть Р5 — чисто вещественное алгебраическое поле степени в,
..., — набор его сопряженных полей и для любого алгебраического числа в из Р5 в(1)
= в, в(2),..., в(-;) — набор его алгебраически сопряженных чисел. Через Ъра обозначим кольцо целых алгебраических чисел поля Р5.
Рассмотрим алгебраическую решётку Л = { (в(1), в(2),..., в(^) | в е Ъ^ } . Так как для любого ненулевого целого алгебраического числа в из Ъра имеем |в(1)в(2) ... в(-)| = ^ (в)| ^ 1, то д(Л) = 1 "
Для произвольного Ь > 1 рассмотрим алгебраическую решётку
Л(0 = { (в(1Ч в(2Ч..., в^) 1 в е ЪРв} .
Ясно, что д(Л(£)) = Так как detЛ(í) = ^ detЛ, то
..... detЛ(í)
Согласно (2), (3), (6) для гиперболической дзета-функции (я(Л(£)\а)
(н(Л(*)|а)= Е' (Ш« ...ЩМ^-а
веъРз
алгебраической решётки Л(£) справедливы оценки
1пв-1 ё^Лф
(7)
С (а, в, Л)-
< (я(Л(*)\а) < С1(а,в,Л)
Для вывода асимптотической формулы для гиперболической дзета - функции алгебраической решётки Л(£) нам потребуются следующие обозначения.
Через £1,..., е3-1 обозначим набор фундаментальных единиц кольца Ърв, а через =
= е^,..., е^ (] = 1,... — 1) — их алгебраические сопряженные единицы.
Пусть далее везде ^ обозначает суммирование по всем главным идеалам кольца Ъ рд, а И
обозначает суммирование по всем единицам кольца Как обычно,через К обозначим
регулятор поля т. е.
К =
1п \е(11)\ ... 1п\е(15-1)\ 1п\е;1_)1\ ... 1п^
Обозначения для различных областей суммирования и интегрирования будут вводиться по мере необходимости.
Лемма 3. Справедливо равенство
(№)\о) = 2^ Е (ПыМе^ ...е^-
(ш) к1,...,к3-1=-ж у = 1
Доказательство. См. [34], стр. 68. □
Пусть ш — произвольное целое ненулевое алгебраическое число и вектор ] — произвольный вектор из области О(р) целочисленных векторов, заданной равенством
{(л,...
О(р) = \(Э1,...,Ээ)
1 < < ...<Эр < 1 < ]р+1 <...<]8 <8, {31,...,3*} = {1,...,з}
Через В(],р) = В{],р,ш) обозначим множество целочисленных векторов, удовлетворяющих условиям:
^) )к1 ...е^-1
^ 1, при V = 1,... ,р,
< 1, при V = р + 1,
Пусть далее
Ав,Р) = Ав,р,ш)= Е П ^ )к1 ...4-^-1
кеВ0,р) и =р+1
(8)
= Е Е А(з,р).
р=1 /ед(Р)
Имеет место следующее утверждение.
— О.
а
И
Лемма 4. Справедливо равенство
(н(A(i)ja) =2V . ^^ .
SHV v n ' ^(tsjN(w)j)a (ш)
Доказательство. См. [34], стр. 69-70. □ Пусть
У (!,Р,к)= П
v=p+1
S-1
tu(^) П e(/v =1
при ^^ ln je^)j = 0,
v=p+1
С (j,p,m) = <
а
E in i^)j
v=p+1
при
E in l^)j=0,
2sh | - E in js^)j
v =p+1
V=p+1
s-1
с(j,p) = П C(j,P,m),
m=1
1
Ln(x1,..., Xs-1) = ln t + ln jw(n) j + E ^ in j (n = 1,..., s), (t > 1)
i=1
Заметим, что для любых хъ...,х3_ 1
Е Ln(x1 ,...,Xs-1) = ln ts + ln jN (w)j.
n=1
Так как
lim--7— = lim —7-г = lim —т-r
b^o 2 sh (!) ь^о e2 - e-1 И01 e| + 1 e-|
= 1,
то можно всегда писать
а
Е ln i^)j
С(j,p, m) =
v=p+1
2sh | | E ln l^)l
v=p+1
Лемма 5. Справедливо равенство
k1+2 ks —1+2
Y в,р,к) = С (j,p)
а Ljv (xi,...,xs-i)
e dx1...dxs-1.
k1 о kS — 1 о
□
(10)
а
1
Определим область р) С К5 1, как множество всех точек (х1,... ,х3-1), удовлетворяющих соотношениям
Ь^ (х1,.. .,ха-{) > £ ({х, + 1} — 0 1п ) \ (" = 1,...,Р), Ь3„ (х1,..., х8-1) < ({х, + — 2) 1п \ ^ )\ (^ = Р + 1,..., *).
Лемма 6. Справедливо следующее интегральное представление
//■«!] Ъ]» (х1,...,Х8-1)
... е "=р+1 (х1...(х3-1.
П(/,р)
□
Пусть далее везде
1
а = —- тах 1 \1п \£^\\.
2 1,
Определим область &а(з, р) С К5-1 ( Л = 1, 2) следующими соотношениями
(х1,...,х8-1) ^ (—1)А-1а (1 < V < р),
(х1,...,хв-1) < (—1)Аа (р + 1 ^г/^ §), а величины Аа(],р) (Л = 1, 2) зададим равенствами
г [ а Е (х1 ,...,х8-1) ЛО', р) = с (з, р) ... е (х1... (кс8-1 (Л = 1, 2).
ПЛ(/,р)
—1 ^ 0 ^ 1 новую область 0,(з,р, в) С К5-1 следующими соотношениями
(х1,... ,х8-1) ^ —ва (1 ^ р),
(х1,..., х8-1) ^ да (р + 1 ^ V ^ «), а величины А(з,р, в) зададим равенствами
я
/Га У Ь» (х1,...,хв-1)
... е "=р+1 (х1...(х8-1.
П(/,р,б)
Для дальнейшего важно, что новые области и величины обладают следующими принципиальными свойствами:
^1(/,р) = П(],р, —1), П26,Р) = П&Р, 1), П(],Р, О1) С П(з,р, #2) при в1 < в2
и величина А(з,р, в) непрерывно, монотонно возрастает при изменении в от —1 до 1.
Лемма 7. Справедливы, неравенства
А(],р, -1) = А1(],р) < А(1р) < А2$,р) = А(],р, 1).
□
Введем для параметра в с -1 ^ в ^ 1 новую область О'(],р, в) С К5_1 следующим образом: пусть для произвольной точки (у1,..., у3_ 1) величина
Уз = 1п ? + 1п ^(и) | - (У1 + У2 + ... + Уз-1).
Тогда точка (у1,... ,у3-1) принадлежит О'(^,р,9), если выполнены неравенства
( Уз„ ^ -9а при 1 ^ V ^ р, \ Узи < 0а при р + 1 ^ V ^ 8.
Лемма 8. Справедливо равенство
А( ],р, в) = ... / е^+1+"■+*> ЧУ1... йу8- 1 (-1 < в < 1),
где К — регулятор поля.
Доказательство. Сделаем линейную замену в интеграле по области О,(],р,
Уз = ьз(Х1,...,х^ 1) Ц = 1,...,в - 1).
Так как
8 8 / 8—1 \ Е ьз (Х1,...,Х8-1 ) = Е 1п * + 1п Мз)| + Е Хт 1п ^М
3=1 3=1 \ т=1 /
1
1п ^ +1п ^(Ш^ + Е Хт 1п |N£т| = 1п ^ + 1п ^(ш)1
т=1
ТО у3 = Ь8(Х1, . . . , Х3— 1).
Поэтому область О,(],р, в), заданная соотношениями
( Ьзи (х1,...,х3-1) ^ -да при 1 ^ V ^ р, \ Ьзи (х1,...,х3-1 < да при р + 1 ^ V ^ 8,
перейдет в область О!(],р, в), заданную соотношениями
( узи ^ - да при 1 ^ V ^ р, \ Узи < ПРИ Р + 1 ^ у ^ 8,
а так как якобиан линейного преобразования имеет модуль, равный регулятору поля, то лемма □
2.3. Асимптотическая формула для гиперболической дзета-функции алгебраической решётки
Пусть для —1 ^ в ^ 1 величины 1(у; р, в) определены равенствами
1(1, Р, 0) = ! ... I еа(у^+1+...+у>8-1 Чу 1... йу8-1
п'(/,р, в)
Ср(в) = ев(з ~р)аа, Вр(в) = 1п Г + 1п\Ы (ш)\ + в(2р — з)а.
Лемма 9. Справедливы равенства: при 1 ^ р ^ в — 1
1(3^ в) = ев(£ СРГ1 {р — ■ (1п? + 1п ^(ш)\ + д(2р — 8)а)
(1п Г + 1п\М (и)\)*-1 4=1 18уаув "(1п + 1п(и)\)* 1(3,*, 0) =-(—Ц-+
(«— 1)! («— 1)!
Доказательство. При р = в имеем О(р) = {(1,2,...,«)} и, следовательно, ^ = (1, 2,...,§ ) е О(р).
1(1, в, в) = J ... ! (у 1... йу8-1
П'0,8, в)
и О,'(у, 8, в) задано соотношениями
( уи ^ — ва (и = 1,...,з — 1), \ У1 + У2 + ... + у8 = 1п^ + 1п (и)\.
Сделаем линейную замену переменных
¿V = Уи + о а (и = 1,...,в — 1),
тогда область О'{],8, в) перейдет в область О''( в), заданную соотношениями
( ¡ъ ^ 0 (V = 1,..., 8 — 1), \ 1п 13 + 1п (и)\ — £*=1( ^ — в а) > —в а.
Неравенство (11) можно записать в виде
1
(11)
< 1п Г + 1п(ш)\ + 8 ■ в а.
V=1
Из последнего неравенства следует, что
1(1,8, в)= Ь- 1(А(в)), где величина 18(А) определена в лемме 1 и
А(в) = 1пГ + 1п(ш)\ +8 ■ ва = В8(в).
и
гп
и
Отсюда следует, что
(1п ^ + 1п ^(и)| + 8 ■ во)3-1
I (3,8,9) =
(8 - 1)!
(1пг3 + 1п ^(и)|)5-1 + ^ су8-х8уаУв"(1пг3 + 1п ^(ш)|)6
(^ -1)! (^ -1)!
Пусть теперь 1 ^ р ^ 8 - 1. Сделаем линейную замену переменных
У3„+1 + при V = 1,... ,р - 1, Узи+1 - при ^ = р,... - 1, У31 + 9а при V = 8.
Тогда область О!(],р, в) перейдет в область О,"(в) точек (г1,...,г3-{), удовлетворяющих условиям
^ 0 (V = 1,...,р - 1), < 0 (у = р,...,8 - 1), г, ^ 0.
При этом
р з
21 + ... + = ^(Уз„ + да) + Е (Узи - ва) = 1п^ + 1п И| + в(2р - 8)а.
т=1 "=р+1
Отсюда следует, что
I (з,р, в) = ! ... I еа( ... (Ы3-1 = Ур(Вр(в)) ■ ев( 3-р)аа,
где величина Ур(В) определена в лемме 2 и
Вр(в) = 1п г3 + 1п ^(ш)| + в(2р - з)а.
Отсюда следует, что
Iв^ 9) = -р)"а £ Ср"-1 {р - 1)!(д(-"^- 1)!а,-т+1 ' (1п? + 1п М| + 9(2р - ,)а)т.
□
Обозначим через ) дзета-функцию Дедекинда главных идеалов чисто-веществен-
ного поля Р:
(ио№) = Е ("Т",
М
тогда
) = (-1)^Е 1п" мп^(^г", * > 1.
м
Теорема 1. При £ > еа справедливо асимптотическое равенство
2^ Л)" 4-1 (1ndetЛ(í) - 1пdet Л)5-1-Т(-1)",
(и(ЛММ = ЕСТ..(-^-, ( ' ^ 11 ' + ЖЛ.М), (12)
т=0
где
2(detЛ)" ^ (1ndetЛ(¿) - 1ndetЛ)'-1-"(-1)") О. л т 1пв-2^Л(£)) Ч
К(Л, а,0) = и I — ^ Л(^))"—) и ^ -регулятор поля.
Доказательство. Согласно лемме 4 имеем
1 5
(я(Ш)\«) = 2Е (гШШ)«А(ш) * А(") = Е Е А(1 р).
(ш) (г ^(Ш)\) Р=1 ¿ев(Р)
По лемме 7
А0,р, —1) ^А(Ц,р) ^А(],р, 1). Отсюда следует, что справедливы неравенства
1 5 1 5 2Е (ррщлг Е Е —1< <н(А«)|а) < 2£ £ £ Ав,Г, 1).
(ш) Р=1/ед(р) (ш) Р=1/ед(р)
Так как величины А(],р, в) непрерывно, монотонно возрастают при изменении в от —1 до 1, то найдётся значение в = в(Л(Ь), а) с —1 ^ в ^ 1, такое что
снт= Е А(1р,
(ш) р=1 /ед(р)
Из лемм 8, 9, 1 следует, что при Ь > еа
лч 1Г п з , м Л л (1п ? +1п\Ж(ш)\ +8 ■ ва)3-1 Мз,8, в) = ~Б1з-1(1п г3 + 1п\М(ш)\ ■ ва) = \ 1Л )
К 3-1У 1 у Л у Д ■ (8 — 1)!
5-1 + Д ■ (,1— 1)! Е С-1(1п^ + 1п \МИ\)"(* ■ ваУ-1-. (13)
Из лемм 8,9,2 следует, что при 1 ^ р ^ — 1
С(/,р)ев((з — т)!С™1 ■ (1пГ + 1п\М(ш)\+в(2р — з)а)т Л(',р,9) =-Д-Е-- — 1)!(Д — р — 1)^-2+1-. (14)
Объединяя оценки (13) и (14), получим
л/л/м л V- 1 (1п ^ + 1п \ N (ш) \ )5-1
( ш)
где
т, а, в) = 1(1п г3 + 1п \ЖИ\)"(5 ■ ва)3-+
П ■ ^ 1)! и=0
1
^ 2 ^ ^ С(/,р)ев(^ (з — ш)!С^.1 ■ (1п^ + 1п \N(щ)\ + — з)а)т + 2^ \)а2=1 Ъ к 2= (р — 1)!(5 — р — 1)!а—+1 ,
(ш) р=1 ,еО(р) т=°
' 1п5-2^Л(;£)) Ч
1 ' ' ' V ))а )
Ся(Л(* ) \а) = —--т> С" 1-> . ' ,, л + Д(Л,а, 0) =
1у=0 (ш)
2(detЛ)«^р:^w (1ndetЛ(í) — 1ndetЛ)(—1ПЙ№) , ,,
= д^—ц! Е 1-^л(*))«-+ E(Л,,
□
3. Асимптотическая формула для числа точек решётки
Вывод нового варианта асимптотической формулы для числа точек решётки в гиперболическом кресте мы будем проводить тем же методом, что и получение асимптотической формулы для гиперболической дзета-функции алгебраической решётки. Далее везде предполагаем, что размерность ^ 2.
3.1. Вспомогательные леммы о многомерных областях и интегралах
Пусть Хз = (Лз1,..., Хз3) (] = 1,..., з) — произвольный фиксированный базис решетки Л и
А = А(Х1,..., Х8) = тах 1/2 V |Л^-|;
(15)
Т=1
А* = (А*1,..., Х*3) (] = 1,..., в) — взаимный базис взаимной решетки Л* (как известно, взаимный базис задается соотношениями
Х*з) = Е = йгз = ^
Т=1 ^
1 щи г = ] 0 щи г = ]
а взаимная решетка Л* однозначно определяется решеткой Л). Определим следующие области
П(Т | Л) = { 3
П Е Х"3и + Е Л"з(1/2 - {и + 1/2}) < Т
з=1т=1 т=1
для целого вектора т
П(т) = { Г| [¿т + 1/2] = тт (и = 1,..., 8)}, У | П Уз + Е Х"з(1/2 - {1/2 + Е УкКк}) < Т
з=1 "=1
к=1
при а ^ 0, -1 ^ в ^ 1 положим
и(у, да) = |
и области
1 при |у| + 9а ^ 1,
|у| + да щи |у| + да ^ 1
(16)
(17)
(18) (19)
(20)
Ясно, что
У | П^' | + а ^ Т =1
П1(Т, а) =
П2(Т,а) = |у ^и(уз, -а) < Т П(Т,ва) = |у | Д и(уз ,9а) < Т
Щ(Т, а) = П(Т, а) С П2(Г, а) = П(Т, -а).
(21) (22) (23)
Заметим, что Щ(Т, 0) = П2{Т, 0) = К(Т). Пусть при а ^ 0 Т ^ 0 —1 ^ 9 ^ 1
Ь(а,Т ) = I йу, (24)
ии(Уз +а) ^ т
У1, ••• ,Уз > о
Ма,Т ) = I йу, (25)
П-=1 и(у3, —а) < Т Уг, ••• ,Уз > о
18(а,Т,в)= I йу. (26)
П-=1 и(у3 ,ав) < Г
Ш, ••• ,Уз > о
Лемма 10. Справедливо равенство
Е У ^ = ! й1 (27)
Щ=1 А1.зт1Н На^т-а^т п(т) П(т |Л)
Доказательство. См. [26]. □ Лемма 11. Справедливы равенства
/ £ = ¿л / « <28>
П(т|Л) П*(т|Л)
У ^ = 2 813(а,Т) при а ^ 1, (29)
П1( Т,а)
У ^ = 28Л(а,Т) при а ^ 0. (30)
П2 (Т,а) □
Лемма 12. При а > 0 Т ^ а8 справедливо равенство
ШТ) = (—1) "+1(Г — .') + г £ г — 8'па»;<—'>'-1-". (31)
П.
п=1
□
Лемма 13. При а ^ 0 Т ^ 1, в ^ 1 справедливо равенство
1 гр 'ПП гр 8—1—П
З3(а, Т) = а8 + ^ -~-г Е Ск3 С'П-к-1ак. (32)
п=0 ' к=0
□
Следствие 1. При а > 1, Т ^ 3 справедливо неравенство
Т'п8-1Т
13(а,Т) ^ --— — еа8Т'п8-2Т — а8. (33)
(в — 1)!
□
Следствие 2. Справедливо неравенство
Т Ь5-1 Т
,73(а,Т) < т-— + (а + 2)*Т 1пв-2Т + а3. (34)
(в — 1)!
□
Лемма 14. При а > 0, Т ^ а8, —1 ^ в ^ 1 справедливо равенство
-1
18(а,Т, в) =
(—1)-+1(Т — (ва)3)+Т Е ('"Т-1п(ва)?"(-1)8-1-" , Прива > 1,
п=1
8-1 1-п
(—ва)3 + Е Е Ск3Сп-к-1(—ва)к, прива < 1.
п=0 ' к=0
Доказательство. Из определения 18(а,Т, в) имеем: при ав ^ 1 будет 13(а, Т, в) = 18(ав, Т и в силу леммы 12
Ыа,Т, Щ = ( — 1)*+1(Т — (ав)•) + Т £ СпТ — "пИ>>п(-р—1-п
(35)
п=1
при ав ^ 1
1 -ав
13(а,Т, в) = J (у3 J (у 1 ■■■йу8-1 +
0 У1, ■■■ ,у8-1 > 0
и(У1,а) ■... ■ и(у3-1, а) ^ Т
Т-ав
+ J (у3 ! (у 1 ■■■йу8-1 =
1-ав У1, ■■■ ,Уз-1 > 0
и(у 1,а) ■... ■и(у3-1,а) < у+ав т
= (1 — ав) 1а-1(а, Т, в) + ! 13-1^а, в^ (у. (36)
1
При 5 = 1
1 -ав Т-ав
Д(а, Т, в) = J (у = J (у + J (у = 1 — ав + Т — 1 = Т — ав
у^ 0 0 1-ав
и(у, ав) < Т
и равенство (35) выполнено. Пусть
8- 1-П
Яз,п(ав) = Е С%СП-к-1(—ав)к к=0
8 1 Т 'пп т
Ь( а, Т, в) = (—ав)8 + Е Я3,п(ав),
п=0
тогда
Т
18+1(а,Т, 0) = (1 — ав) ^(а,!1, в) ^ =
1
= (1 — а0)(_ав)8 + ^ ^^^8,п(а)(1 — ав) + Т ((—ав)8 + £ Т/у 1г^Т/у)Я3,п(ав))
п=0 п=0
Т
_0„.,(п.)(1 — пЛ) +
п\
Т 'пп т
= (—ав)8+1 + (—ав)8 + Т(—ав)8 — (—ав)8 + Е —^^8,п(а)(1 — ) +
п=0
8-1 гр 'Пп+1 У
+ Е = (—^)8Н1 + Т((—ав)8 + ^И)(1 — ав)) +
п=0
8-1 т 'пп т т 'п8т
+ Е —(<Э*,п№)(1 — ав) + я*,п- 1(ав)) + —^ Я8,8-1(ав) =
п=1
8 Т 'пп Т = (—ав)8+1 + £ ^8+1,п(а0),
п=0
где
1 1
Я8+1,0(ав) = (—ав)8 + (1 — ав) ^Ск3 (—ав)к = ^Ск3-1(—ав)к + ^Ск3 (—ав)к + (—ав)8 =
к=0 к=1 к=0 -1 ( +1)-1-0
= в(—а<9)8 + Е(^8к-1 + Ск3 )(—ав)к + 1 = ЕС8к+1(—ав)к = Е С^С^-к-Л—ав) к=1 к=0 к=0
( +1)-1-
^8+1,8 И) = Я8,8-1(ав) = 1 = Е ^8к+1^88+1-к-1 (—ав)к;
к=0
и при 1 ^ п ^ в — 1
^8+1,п(а6|) = Я8,п(а в)(1 — ав) + ^8,п-1 (ав) =
8— 1 —п 8 1 (п 1)
= (1 — ав) Е СкС-к-Л—ав)к + Е С8кС8п_-к1-1(—ав)к = к=0 к=0 п 1 - п
= Е(к-1)-1(—^)к + Е Скк(С-к-1 + с::11)(—ав)к + с8~пспп~_К—ав)8-п к=1 к=0
- п - п
к- 1 п к к п к
7 8 °8-к(
к=1 к=0
= Е^к-1^ (—ав )к+Е^-к (—^ )к к=1 к=0 8 - п - п
= Е( °к-1 + С8к )С8п-к (—ав)к + С^С^—ав )0 = Е^С^ы-к)(—ав )к к=1 к=0
и, значит, /8+1(а, Т, 0) удовлетворяет равенству (35).
и
а = 1
значение
г1пп Т
Is(a,T, 9) = (—1)s+T Е ^
s 1 / -,\s—l — n]'nr
П\
n=0
Действительно, в этом случае имеем:
} / T \ г/ T ^ (-i)s-1-ninn^
Is+i(a,T, в) = lja,-,ejdy = (-1)s + -E y
1 V y / 1 V y n=0
У J J \ У r^ n
s_1 rn i n+1 rp s f 1'ls-n^n/
s— 1 — n 1
= (—1) '(Т — 1) + £ Т(—Ч'^п!пг+1г = (—+1 + Т t(—11)'гТ,
п=0 п=0
□
Следствие 3. Объем, гиперболического креста задается равенством
1 п
V(К(T)) = 2s cn-1.
n=0 '
Доказательство. Действительно, n1(T, 0) = n2(T, 0) = К(T). По леммам 11, 13 имеем:
s_1 T1nnT
V(К(T)) = 2sJs(0, T) = 2s E-— C'n_ 1
и следствие доказано. □
Лемма 15. При —1 ^ в ^ 1 справедливо неравенство
-,ST i ^m max (T(2 + 21na) —a2, 2(1na)T + a2) при s = 2,
| 2sIs(a,T, 0) — V(К(T))| < { t«-^ + „'(„, s)T 1ns-3T + as/ ^ , > 2
где
c1(a, s) = max (2+s in a, s — 2 + s in a), c2(a, s) = max(e(as + 1), (a + 2)s). Доказательство. Действительно, V(К(T)) = 2sIs(a,T, 0) и
Is(a,T) = Is(a,T, 1) < Is(a,T, в) < Is(a,T, —1) = Js(a,T),
поэтому
|/s(a, T, 9) — 2-sV(К(T)) | < max (2—sV(К(T)) — Js(a, T), Js(a, T) — 2—sV(К(T))) ,
в силу монотонного убывания величины Is(a,T, в) при изменении в от — 1 до 1.
Для первой разности иод знаком максимума, которую обозначим через М1, имеем:
s 1 T inn T s 1 Т1 " \s—1—n
М1 =2—sV (К (T)) — Is (a, T) = E-'--(—1) s+1(T — as) — T £
П' ^^ П'
n=0 n=1
1 n n
=(—1)s+t (1+(_!)*)+tT in"T <1+'-1»s ~n>+
n=1
s~1 ( 1) s-n n~ 1
+T E (—)— E Cn(—1)n_fc (s in a)n_fc 1nfc T.
n
n=1 fc=0
Располагая по степеням 'п кТ, получим:
М1 = (—1)8+1а8 + Т (1 + (—1)8 ( 1 + I: ¿(*'па)п)) + I: ТЫПТ(1+ (—1)8"п)
\ \ п=1 / / п=1
+
+Т ^ (—1)8-к 'п к Т Е °п (81па)П к =(—1) 8+1а8 + Т М+(—1)8М+ Е ^'паН) +
к=1 п=к+1 \ V V п=1 \ / /
Е ^ (1 + (—(1+Е" ^)) = 8 + Т ^^ ^ +
+*■§ ^ (>+(—ч- (1+1 )) ^ '"Г^~2г^ш-т+.8.
При 8 = 2 справедливо более точное утверждение:
М1 =Т (2+ 2'па) — а2.
М2
8_ 1 гр 'пп Гр 8~ 1-п 8-1 гр 'пп гр
М: = ,]3(а,Т) — 2-8У(К(Т))=а8 + Е —Е ^С-к-^ — Е
п\ 8 8 к 1 ^ п\
п=0 к=0 п=0
= '8 + У2 ^ (Е ^ сг-к- 1°к — Л = 08+г (.— 2 + ;■;2)■;3-т+
8 2 п 1 п
+ Е ^п^ Е ^к- 1°к — 1
п=0 "\ \ к=0 /
+ -3 г 'пп Т п Д\(Д — к — 1)\ лк Л . , т (в — 2 + s';a)';8-2T + + ^ V ¿о к\(в — к)\п\(в — к — п —1)Г у " + (8 — 2)\ +
Е ^(^Е* ^ ^к-п- 1ак — Л ^а8 + ° '
п=0 \ \ к=0 )
'ппТ ( — пгк „к Л ^„8 , ^ — 2 + 8 'п а) 'п8 "^Т +
п\ \ 8 ^ 8 —к 8-п-^ / (8 — 2)\
к=0
+Т8т ^С? ^(а + 1)8-п-1 < а8 + т— ^"^Ь8^ + (а + 2)8т'п8-3т.
^ п\ 8 п + 1 (з — 2)\
п=0
При 8 = 2 справедливо более точное утверждение:
М2 = 2'паТ + а2.
□
3.2. Асимптотическая формула для числа точек в гиперболическом кресте
Рассмотрим произвольный базис решетки А:
X' = ( А7-1,...,А,8) 0' = 1,..., 8)
и величину
1
Ж А 1,...,А 8) =-шах Е |А^|. (1)
^=1
Определим величину —
а(А) = шах(1, А( А 1,..., А 8)), (2)
А 1,..., А а
где минимум берется по всем базисам А1,..., As решетки Л.
Далее до конца параграфа зафиксируем базис А1,..., As решетк и Л, для которого величина А(А1,..., As) — минимальна, то есть a^) = max(1, А(А1,..., As)).
Для величины D(T|Л)—количества ненулевых точек решетки Л, лежащих в гиперболиче-К( T)
Теорема 2. Для любой решетки Л справедливо асимптотическое равенство при T ^ 3
s_1 T1nnT
D(T | Л) = 2s E-j— CI1 — 1 + вС1(Л,Т), |в| < 1, (37)
n=0 n' s 1
где
f max (T(2+ 2 in a)
С1(Л,Т) = S rjiCi(a,s)\ns—2T./ ЛГТ , s-3w 1 s ^ о
T u ( y_2),--+ c2(a, s)T 1ns 3T+as, при s > 2
2 in a) — a2 on,,„vr_i_„2
_
(s-2), U
c1(a, s) = max (2+s in a, s — 2 + s in a), c2(a, s) = max(e(as + 1), (a + 2)s).
(38)
Доказательство. Из определения величины И(Т \ Л) следует, что
И(Т \ Л) +1 = Е 1= Е 1= / £ (39)
х е Л П8=1а1,21+•••+АSjms^т п(т|Л)
х1 ■ ■■х3 ^ Т
в силу леммы 10.
Применяя лемму 11, получим
°(Т \А) +1 = ¿л / <40>
П*(т |Л)
а = а(Л)
П1(Т,а) С П*(Т \ Л) С П2(Т,а), (41) так как _
Ди(\У3\,а) < ПУ3 + ЕЛ-,(1/2 — {1/2 + ЕУьЛ:к}) < П(\Уэ\ + а).
3=1 3=1 v=1 к=1 3=1
Из этого включения и леммы 11 следуют неравенства
2*Ь(а,Т, 1) = 2* 13(а,Т) < П(Т + 1 < 2М3(а,Т) = 2* 13(а,Т, —1)
= ^ В(Т \Л) +1 ^ = ^а . (42)
Так как 13(а,Т, в) непрерывно зависит от в при —1 ^ в ^ 1, то найдется в с —1 ^ в ^ 1 такое, что
\ +1 = 2!Ма,Т1«).
det Л
Применяя оценку из леммы 15, получим
( max (Т (2+ 2 in a) —a2, 2(1na)T + a2) при s = 2, | D(T I Л) + 1 — V (К <T))I TsxjTg+T + C2(0,S)T,„*-3Г-+/ I1P„S>2 •
(s-2),
где
c1 ( a, s) = max (2+s in a, s — 2 + s in a), c2(a, s) = max (e(as + 1), (a + 2)s).
□
4. Заключение
В дайной работе методом, который можно назвать методом параметрических множеств, получены две новые асимптотические формулы из теории гиперболической дзета-функции решёток.
Суть метода состоит в том, что для оценки числа точек решётки в некоторой области находится система вложенных множеств, параметризованная параметром, изменяющимся от —1 до 0, при этом при нулевом значении параметра имеем исходное множество. Так как при крайних значениях параметра имеем оценки сверху и снизу, то объем одного из множеств в точности равен некому числу точек, а объем исходного множества задает главный член.
Данный метод позволил найти новые формы для главного члена асимптотических формул, отличный от работ [19] и [26] с более точной оценкой остаточного члена.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Бахвалов Н. С. О приближенном вычислении кратных интегралов // Вестн. Моск. ун-та, 1959. № 4. С. 3-18.
2. Боревич З.И., Шафаревич И.Р. Теория чисел. М.: Наука, 1985.
3. С. С. Демидов, Е. А. Морозова, В. Н. Чубариков, И. Ю. Реброва, И. Н. Балаба, Н. Н. Добровольский, Н. М. Добровольский, Л. П. Добровольская, А. В. Родионов, О. А. Пихтилькова Теоретико-числовой метод в приближенном анализе // Чебышевский сборник 2017 Т. 18, вып. 4(64). С. 6-85.
4. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский Многомерные теоретико-числовые сетки и решётки и алгоритмы поиска оптимальных коэффициентов / Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2012. — 283 с. http://elibrary.ru/item.asp? id=20905960
5. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский Гиперболические дзета-функции сеток и решёток и вычисление оптимальных коэффициентов // Чебышевский сборник 2012. Т. 13, вып. 4(44). С. 4-107.
6. Добровольская Л. П., Добровольский Н. \!.. Добровольский Н. Н., Огородничук Н. К., Реб-ров Е. Д., Реброва И. Ю. Некоторые вопросы теоретико-числового метода в приближенном анализе // Труды X международной конференции «Алгебра и теория чисел: современные проблемы и приложения» Ученые записки Орловского государственного университета. 2012. № 6. Часть 2. С. 90-98.
7. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский, И. Ю. Реброва Некоторые вопросы теоретико-числового метода в приближенном анализе // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика, 13:4(2) (2013), 47-52.
8. Добровольский М. И. Ряды Дирихле с периодическими коэффициентами и функциональное уравнение для гиперболической дзета-функции целочисленных решёток. // Чебышевский сборник 2006. Т. 3, вып. 2(4). С. 43-59.
9. Добровольский М. Н. Функциональное уравнение для гиперболической дзета-функции целочисленных решёток. // ДАН. Т. 412, № 3, Январь 2007. С. 302-304.
10. Добровольский М. Н. Функциональное уравнение для гиперболической дзета-функции целочисленных решёток // Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2007. № 3. С. 18-23.
11. Добровольский Н. М. Гиперболическая дзета функция решёток. / Деп. в ВИНИТИ 24.08.84, N 6090-84.
12. Добровольский Н. М. О квадратурных формулах на классах Е£(с) и Н"(с). / Деп. в
13. Добровольский Н. М. Теоретико-числовые сетки и их приложения. / Дис. ... канд. физ.-мат. наук. Тула, 1984.
14. Добровольский И. М. Теоретико-числовые сетки и их приложения: / Автореф. дис. ... канд. физ.-мат. наук. Москва, 1985.
15. Добровольский Н. М. Теоретико-числовые сетки и их приложения // Теория чисел и ее приложения: Тез. докл. Всесоюз. конф. Тбилиси, 1985. С. 67-70.
16. Добровольский И. М. Многомерные теоретико-числовые сетки и решётки и их приложения / Н. М. Добровольский. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2005.
17. И. М. Добровольский О современных проблемах теории гиперболической дзета-функции решёток // Чебышевский сб. 2015. Т. 16, вып. 1. С. 176-190.
18. Добровольский Н. \!.. Ванькова В. С. О гиперболической дзета-функции алгебраических решёток. // Теория чисел и ее приложения: Тез. докл. республик, конф. Ташкент, 1990. С. 22.
19. Добровольский И. \!.. Ванькова В. С., Козлова С. Л. Гиперболическая дзета-функция алгебраических решёток. / Деп. в ВИНИТИ 12.04.90, N 2327-В90.
20. И. М. Добровольский, Н. И. Добровольский, В. Н. Соболева, Д. К. Соболев, Л. П. Добровольская, О. Е. Бочарова О гиперболической дзета-функции Гурвица // Чебышевский сб., 2016. Т. 17, вып. 3. С. 72-105.
21. Н. М. Добровольский, И. Н. Добровольский, В. И. Соболева, Д. К. Соболев, Е. И. Юшина Гиперболическая дзета-функция решётки квадратичного поля // Чебышевский сб., 2015. Т. 16, вып. 4. С. 100-149.
22. Добровольский И. \!.. Реброва И. Ю., Рощеня А. Л. Непрерывность гиперболической дзета-функции решеток // Мат. заметки. Т. 63, вып. 4. 1998. С. 522-526.
23. Добровольский Н. \!.. Рощеня А. Л. О числе точек решётки в гиперболическом кресте // Алгебраические, вероятностные, геометрические, комбинаторные и функциональные методы в теории чисел: Сб. тез. докл. II Междунар. конф. Воронеж, 1995. С. 53.
24. Добровольский И. \!.. Рощеня А. Л. Об аналитическом продолжении гиперболической дзета-функции рациональных решёток // Современные проблемы теории чисел и ее приложения: Сб. тез. докл. III Междунар. конф. Тула, 1996. С. 49.
25. Добровольский Н. \!.. Рощеня А. Л. О непрерывности гиперболической дзета-функции решёток // Изв. Тул. гос. ун-та. Сер. Математика. Механика. Информатика. Т. 2, вып. 1. Тула: Изд-во ТулГУ, 1996.' С. 77-87.
26. Добровольский Н. \!.. Рощеня А. Л. О числе точек решётки в гиперболическом кресте // Мат. заметки. Т. 63. Вып. 3. 1998. С. 363-369.
27. Добровольский Н. Н. О числе целых точек в гиперболическом кресте при значениях параметра 1 ^ t < 21 // Известия ТулГУ. Сер. Математика. Механика. Информатика. 2003. Т. 9, вып.1. С. 91-95.
28. Коробов И. М. О приближенном вычислении кратных интегралов // ДАН СССР. 1959. Т. 124,№ 6. С. 1207-1210.
29. Коробов Н. М. Вычисление кратных интегралов методом оптимальных коэффициентов // Вестн. Моск. ун-та, 1959. № 4. С. 19-25.
30. Коробов И. М. Теоретико-числовые методы в приближенном анализе. / М.: Физмат-гиз, 1963.
31. Коробов Н. М. Теоретико-числовые методы в приближенном анализе, (второе издание) / М.: МЦНМО, 2004.
32. Реброва И. Ю. Непрерывность гиперболической дзета-функции решёток Тез. докл. III Междунар. конф. // Современные проблемы теории чисел: Тула: Изд-во ТГПУ, 1996. С. 119.
33. Реброва И. Ю. Непрерывность обобщенной гиперболической дзета-функции решёток и ее аналитическое продолжение // Изв. ТулГУ. Сер. Механика. Математика. Информатика. Тула, 1998. Т.4. Вып.З. С. 99-108.
34. Реброва И. Ю., Добровольский И. \!.. Добровольский Н. И., Балаба И. И., Есаян А. Р., Басалов Ю. А. Теоретико-числовой метод в приближённом анализе и его реализация в ПОИВС «ТМК»: Моногр. В 2 ч. / Под. ред. И. М. Добровольского. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2016. - Ч. I. - 232 с.
35. Фролов К. К. Оценки сверху погрешности квадратурных формул на классах функций // ДАН СССР. 231. 1976. № 4. С. 818 - 821.
36. Фролов К. К. Квадратурные формулы на классах функций. / Дис. ... канд. физ.-мат. наук. М.: ВЦ АН СССР. 1979.
37. Чандрасекхаран К. Введение в аналитическую теорию чисел. — М.: Мир, 1974. 188 с.
38. L. P. Dobrovolskava, М. N. Dobrovolskv, N. М. Dobrovol'skii, N. N. Dobrovolsky On Hyperbolic Zeta Function of Lattices. In: Continuous and Distributed Systems. Solid Mechanics and Its Applications. Vol. 211. 2014. P. 23-62. DOPIO. 1007/978-3-319-03146-0^2.
39. Hua Loo Keng, Wang Yuan Applications of Number Theory to Numerical Analysis, - SpringerVerlag Berlin, 1981.
40. Griebel, M, "Sparse grids for the Schrodinger equation", ESAIM-Mathematical Modelling and Numerical Analvsis-Modelisation Mathematique et Analyse Numerique, 41:2 (2007), 215
41. Adcock В., "Multivariate Modified Fourier Series and Application to Boundary Value Problems", Numer. Math., 115:4 (2010), 511-552
42. Shen J., Wang L.-L., "Sparse Spectral Approximations of High-Dimensional Problems Based on Hyperbolic Cross", SIAM J. Numer. Anal., 48:3 (2010), 1087-1109
43. Huvbrechs D., Iserles A., Norsett S.P., "From High Oscillation to Rapid Approximation IV: Accelerating Convergence", IMA J. Numer. Anal., 31:2 (2011), 442-468
44. Shen J., Wang L.-L., Yu H., "Approximations By Orthonormal Mapped Chebvshev Functions For Higher-Dimensional Problems in Unbounded Domains", J. Comput. Appl. Math., 265 (2014), 264-275
45. Chernov A., Duong Pham, "Sparse Tensor Product Spectral Galerkin Bern For Elliptic Problems With Random Input Data on a Spheroid", Adv. Comput. Math., 41:1 (2015), 77-104
46. Chernov A., Dung D., "New Explicit-in-Dimension Estimates For the Cardinality of High-Dimensional Hyperbolic Crosses and Approximation of Functions Having Mixed Smoothness", J. Complex., 32:1 (2016), 92-121
47. Luo X., Xu X., Rabitz H., "On the fundamental conjecture of HDMR: a Fourier analysis approach", J. Math. Chem., 55:2 (2017), 632-660
REFERENCES
1. Bakhvalov, N.S. 1959, "On approximate computation of multiple integrals", Vestnik Moskov-skogo universiteta, no. 4, pp. 3-18.
2. Боревич 3.11.. Шафаревич И.P. Теория чисел. M.: Наука, 1985.
3. С. С. Демидов, Е. А. Морозова, В. Н. Чубариков, И. Ю. Реброва, И. Н. Балаба, Н. Н. Добровольский, Н. М. Добровольский, Л. П. Добровольская, А. В. Родионов, О. А. Пихтиль-кова Теоретико-числовой метод в приближенном анализе // Чебышевский сборник 2017 Т. 18, вып. 4(64). С. 6-85.
4. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский Многомерные теоретико-числовые сетки и решётки и алгоритмы поиска оптимальных коэффициентов / Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2012. — 283 с. http://elibrarv.ru/item.asp? id=20905960
5. Dobrovol'skaja L. P., Dobrovol'skij M. N., Dobrovol'skij N. M., Dobrovol'skij N. N., 2012, " Giperbolicheskie dzeta-funkcii setok i reshjotok i vvchislenie optimal'nyh kojefficientov" Che-byshevskii Sbornik vol 13, №4(44) pp. 4-107.
6. Добровольская Л. П., Добровольский Н. \!.. Добровольский Н. Н., Огородничук Н. К., Ребров Е. Д., Реброва И. Ю. Некоторые вопросы теоретико-числового метода в приближенном анализе // Труды X международной конференции «Алгебра и теория чисел: современные проблемы и приложения» Ученые записки Орловского государственного университета. 2012. № 6. Часть 2. С. 90-98.
7. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский, И. Ю. Реброва Некоторые вопросы теоретико-числового метода в приближенном анализе // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика, 13:4(2) (2013), 47-52.
8. Добровольский М. Н. Ряды Дирихле с периодическими коэффициентами и функциональное уравнение для гиперболической дзета-функции целочисленных решёток. // Чебышевский сборник 2006. Т. 3, вып. 2(4). С. 43-59.
9. Dobrovol'skij М. N., 2007, "Funkcional'noe uravnenie dlja giperbolicheskoj dzeta-funkcii celochislennvh reshetok" , Doklady akademii nauk, vol 412, № 3, pp. 302-304.
10. Добровольский M. H. Функциональное уравнение для гиперболической дзета-функции целочисленных решёток // Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2007. № 3. С. 18-23.
11. Добровольский Н. М. Гиперболическая дзета функция решёток. / Деп. в ВИНИТИ 24.08.84, N 6090-84.
12. Добровольский Н. М. О квадратурных формулах на классах Е"(с) и H"(c). / Деп. в ВИНИТИ 24.08.84, N 6091-84.
13. Добровольский И. М. Теоретико-числовые сетки и их приложения. / Дис. ... канд. физ.-мат. наук. Тула, 1984.
14. Добровольский Н. М. Теоретико-числовые сетки и их приложения: / Автореф. дис. ... канд. физ.-мат. наук. Москва, 1985.
15. Добровольский И. М. Теоретико-числовые сетки и их приложения // Теория чисел и ее приложения: Тез. докл. Всесоюз. конф. Тбилиси, 1985. С. 67-70.
16. Добровольский Н. М. Многомерные теоретико-числовые сетки и решётки и их приложения / И. М. Добровольский. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. И. Толстого, 2005.
17. Н. М. Добровольский О современных проблемах теории гиперболической дзета-функции решёток // Чебышевский сб. 2015. Т. 16, вып. 1. С. 176-190.
18. Добровольский И. \!.. Ванькова В. С. О гиперболической дзета-функции алгебраических решёток. // Теория чисел и ее приложения: Тез. докл. республик, конф. Ташкент, 1990. С. 22.
19. Добровольский Н. \!.. Ванькова В. С., Козлова С. Л. Гиперболическая дзета-функция алгебраических решёток. / Деп. в ВИНИТИ 12.04.90, N 2327-В90.
20. Dobrovolskv N. \!.. Dobrovolskv N. N., Soboleva V. N., Sobolev D. К., Dobrovol'skava L. P., Bocharova О. E., 2016, "On hyperbolic Hurwitz zeta function" , Chebyshevskii Sbornik, vol 17, № 3 pp. 72-105.
21. И. M. Добровольский, H. И. Добровольский, В. H. Соболева, Д. К. Соболев, Е. И. Юшина Гиперболическая дзета-функция решётки квадратичного поля // Чебышевский сб., 2015. Т. 16, вып. 4. С. 100-149.
22. Добровольский Н. \!.. Реброва И. Ю., Рощеня А. Л. Непрерывность гиперболической дзета-функции решеток // Мат. заметки. Т. 63, вып. 4. 1998. С. 522-526.
23. Добровольский И. \!.. Рощеня А. Л. О числе точек решётки в гиперболическом кресте // Алгебраические, вероятностные, геометрические, комбинаторные и функциональные методы в теории чисел: Сб. тез. докл. II Междунар. конф. Воронеж, 1995. С. 53.
24. Добровольский Н. \!.. Рощеня А. Л. Об аналитическом продолжении гиперболической дзета-функции рациональных решёток // Современные проблемы теории чисел и ее приложения: Сб. тез. докл. III Междунар. конф. Тула, 1996. С. 49.
25. Добровольский Н. \!.. Рощеня А. Л. О непрерывности гиперболической дзета-функции решёток // Изв. Тул. гос. ун-та. Сер. Математика. Механика. Информатика. Т. 2, вып. 1. Тула: Изд-во ТулГУ, 1996. С. 77-87.
26. Добровольский И. \!.. Рощеня А. Л. О числе точек решётки в гиперболическом кресте // Мат. заметки. Т. 63. Вып. 3. 1998. С. 363-369.
27. Добровольский И. И. О числе целых точек в гиперболическом кресте при значениях параметра 1 ^ t < 21 // Известия ТулГУ. Сер. Математика. Механика. Информатика. 2003. Т. 9, вып.1. С. 91-95.
28. Коробов И. М. О приближенном вычислении кратных интегралов // ДАН СССР. 1959. Т. 124, № 6. С. 1207-1210.
29. Коробов H. М. Вычисление кратных интегралов методом оптимальных коэффициентов // Вестн. Моск. ун-та, 1959. № 4. С. 19-25.
30. Коробов H. М. Теоретико-числовые методы в приближенном анализе. / М.: Физмат-гиз, 1963.
31. Коробов H. М. Теоретико-числовые методы в приближенном анализе, (второе издание) / М.: МЦНМО, 2004.
32. Реброва И. Ю. Непрерывность гиперболической дзета-функции решёток Тез. докл. III Междунар. конф. // Современные проблемы теории чисел: Тула: Изд-во ТГПУ, 1996. С. 119.
33. Реброва И. Ю. Непрерывность обобщенной гиперболической дзета-функции решёток и ее аналитическое продолжение // Изв. ТулГУ. Сер. Механика. Математика. Информатика. Тула, 1998. Т.4. Вып.З. С. 99-108.
34. Реброва И. Ю., Добровольский И. \!.. Добровольский Н. И., Балаба И. И., Есаян А. Р., Басалов Ю. А. Теоретико-числовой метод в приближённом анализе и его реализация в ПОИВС «ТМК»: Моногр. В 2 ч. / Под. ред. H. М. Добровольского. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2016. - Ч. I. - 232 с.
35. Фролов К. К. Оценки сверху погрешности квадратурных формул на классах функций // ДАН СССР. 231. 1976. № 4. С. 818 - 821.
36. Фролов К. К. Квадратурные формулы на классах функций. / Дис. ... канд. физ.-мат. наук. М.: ВЦ АН СССР. 1979.
37. Chandrasekharan К., 1974, Vvedenie v analiticheskuju teoriju chisel, Izd-vo Mir, Moskva, 188 p.
38. Dobrovolskava L. P., Dobrovolskv M. N., Dobrovol'skii N. M., Dobrovolskv N. N., 2014, "On Hyperbolic Zeta Function of Lattices" , In: Continuous and Distributed Systems. Solid Mechanics and Its Applications, Vol. 211. pp. 23-62. DOLIO.1007/978-3-319-03146-0^2.
39. Hua Loo Keng, Wang Yuan Applications of Number Theory to Numerical Analysis, - SpringerVerlag Berlin, 1981.
40. Griebel, M, "Sparse grids for the Schrodinger equation", ESAIM-Mathematical Modelling and Numerical Analysis-Modélisation Mathématique et Analyse Numerique, 41:2 (2007), 215
41. Adcock В., "Multivariate Modified Fourier Series and Application to Boundary Value Problems", Numer. Math., 115:4 (2010), 511-552
42. Shen J., Wang L.-L., "Sparse Spectral Approximations of High-Dimensional Problems Based on Hyperbolic Cross", SIAM J. Numer. Anal., 48:3 (2010), 1087-1109
43. Huvbrechs D., Iserles A., Norsett S.P., "From High Oscillation to Rapid Approximation IV: Accelerating Convergence", IMA J. Numer. Anal., 31:2 (2011), 442-468
44. Shen J., Wang L.-L., Yu H., "Approximations By Orthonormal Mapped Chebvshev Functions For Higher-Dimensional Problems in Unbounded Domains", J. Comput. Appl. Math., 265 (2014), 264-275
45. Chernov A., Duong Pham, "Sparse Tensor Product Spectral Galerkin Bern For Elliptic Problems With Random Input Data on a Spheroid", Adv. Comput. Math., 41:1 (2015), 77-104
46. Chernov A., Dung D., "New Explicit-in-Dimension Estimates For the Cardinality of High-Dimensional Hyperbolic Crosses and Approximation of Functions Having Mixed Smoothness", J. Complex., 32:1 (2016), 92-121
47. Luo X., Xu X., Rabitz H., "On the fundamental conjecture of HDMR: a Fourier analysis approach", J. Math. Chem., 55:2 (2017), 632-660
Получено 04.07.2018 Принято к печати 15.10.2018
