CC BY
8
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 20. Выпуск 2.
УДК 511.3 DOI 10.22405/2226-8383-2019-20-2-399-405
Тригонометрические суммы сеток алгебраических решеток1
Е. М. Рарова
Рарова Елена Михайловна — заместитель декана, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: rarova82@mail.ru
Аннотация
В работе продолжены исследования автора по оценки тригонометрических сумм алгебраической сетки с весами с простейшей весовой функцией второго порядка.
Для параметра m тригонометрической суммы Sm{t),pi выделены три случая. Если т принадлежит алгебраической решётке Л(£ • Т (а)), то справедлива асимптотическая формула
,, / lns-1 detЛ(t)\
Sm ^(t(m^ ■■■>m)) = 1 + ^ (det Л^))2 ) •
Если m те принадлежит алгебраической решётке Л^ • Т(а)), то определены два вектора па(Л) = (п1, • • • ,ns) и кл('т) го условий кл('т) G Л, ™ = пл(т) + кл('т) и произведение q(n\(m)) = Щ • • • • • щ минимально. Доказано асимптотическая оценка
_ 1 - S(kA(m)) п (q(nA(m))2 lns-1 det Л(г) \ Sm (t)* (t(m> ••-m))= q(n\(rn ))2 + ° {-^Л(г))2-) •
Ключевые слова: алгебраические решётки, алгебраические сетки, тригонометрические суммы алгебраических сеток с весами, весовые функции.
Библиография: 5 названий. Для цитирования:
Е. М. Рарова. Тригонометрические суммы сеток алгебраических решеток // Чебышевский сборник, 2019, т. 20, вып. 2, с. 399-405.
CHEBYSHEVSKII SBORNIK Vol. 20. No. 2.
UDC 511.3 DOI 10.22405/2226-8383-2019-20-2-399-405
Trigonometric sums of nets of algebraic lattices2.
E. M. Rarova
Rarova Elena Mikhailovna — deputy dean, Tula State L. N. Tolstoy Pedagogical University (Tula).
e-mail: rarova82@mail.ru
1 Исследование выполнено по гранту РФФИ № 19-41-710004_р_а
2The study was carried out under the RFBR grant № 19-41-710004_r_a
Abstract
The paper continues the author's research on the evaluation of trigonometric sums of an algebraic net with weights with the simplest weight function of the second order.
For the parameter m of the trigonometric sum SM(t),^1 (to), three cases are highlighted.
If m belongs to the algebraic lattice A(i cdotT(a)), then the asymptotic formula is valid
f ln3-1 detA(i) N W,* ..., -)) = 1 + ^ (det A(t))2 ) .
If m does not belong to the algebraic lattice A(t ■ T(a)), then two vectors are defined nA(m) = (n1;... £a(to) from the conditions kA(to) G A, m = nA(M) + K\(m) and
the product q(n\(m)) = nj ■ ... ■ nj is minimal. Asymptotic estimation is proved
_ (,( )) 1 - S(kA(m)) , n (q(nA(A))2 lns-1 det A(t) \ ^ (t(m> ...'m))= q(nA(A ))2 + ° {-(det A(i))2-) .
Keywords: algebraic lattices, algebraic net, trigonometric sums of algebraic net with weights, weight functions.
Bibliography: 5 titles. For citation:
E. M. Rarova, 2019, "Trigonometric sums of nets of algebraic lattices Chebyshevskii sbornik, vol. 20, no. 2, pp. 399-405.
1. Введение
Рассматриваются: единичные «—мерные кубы
С3 = {х | 0 < хи < 1,и = 1,2,..., в}, С3 = {х | 0 < хи < 1,и = 1,2,..., в}.
Для произвольного вектора ж его дробной частью называется вектор {ж} = ({Ж1},..., {ж8}). Отсюда следует, что всегда {ж} € С3-
Далее везде под произвольной решеткой Л С К5 мы будем понимать только полные решетки, то есть
Л = {т1\1 + ... + т3\3 = т ■ А |т = (т1,..., т3) € 1я},
где Х1 = (Л11,..., А1 .?),... Лв = (А81,..., А.,8) — система линейно-независимых векторов в К5, а матрица решётки А задана соотношениями
А =
/Ли ... Ai Л / Ai \
V A,i ... \88 ) \\s )
Взаимная решетка Л* = {х € Л (х,у) € 1}. Непосредственно из определения следует
равенство (оЛ)* = -Л*.
Я
Л
ткой М(Л) называется множест,во М(Л) = Л* П С3. Сетка М1(Л) = Л* П [—1; 1)5. Обобщенной параллелепипедальной сеткой II рода М'(Л) называется множество
М '(Л) = (ж | ж = {у},у е Mi (Л)}.
Определение 2. Весовой функцией порядка г с константой В называется гладкая функция р(х), удовлетворяющая условиям
У^ р(х + (е1,..., е3)) = 1 щи х € С3, £1,...,£а = -1
р(х) = о при х€ (—1;1)3,
1 1
11
^ В(а1 ... а3) Т для любого а € М3.
(1) (2) (3)
Если выполнены условия (1) и (2), то говорим просто о весовой функции р(х). Простейшим примером весовой функции является функция р1(х) = р1(х{) ■ ... ■ р1(х3), где
р1(х) =
1 — |ж|, при |ж| ^ 1,
0, при |ж| > 1.
Пусть а = (ао, а,1,..., а3-1) — целочисленный вектор такой, что многочлен
1
(х) — ^^ ^ х х
(4)
V=0
неприводим над полем рациональных чисел ^ ^ ^те корни в„ (и = 1,..., в) многочлена (4) действительные.
Обозначим через Т(а) матрицу степеней алгебраически сопряженных целых алгебраических чисел ©1,... ,03 — корней многочлена Р^(х):
Т (а) =
1 в1
V в
3- 1
1 вз
©3-1 )
(5)
а через в = (©1,..., ©3) — вектор полного набора алгебраически сопряженных чисел — корней многочлена Рз(х).
Для любого Ь > 0 решётка Л(Ь ■ Т(а)) называется алгебраической. Она имеет вид
Л(1 ■ Т(а)) = {х= £
|ж = ( * £ ©1
и=1
)
= £ ■ т ■ Т(а)
те Ъ3
Таким образом, алгебраическая решётка Л^ ■ Т(а)) имеет базис = t ■ (в± 1,
в-1)
(и = 1,..., з). Нетрудно видеть, что Л^ ■ Т (а)) П Ъ3 = {Ъ(т,... ,т)1т € Ъ}.
Совокупность М С С3 точек = (&(к),..., £3(к)) (к = 1 ...Ы) называется сеткой М из N узлов, а сами точки — узлами квадратурной формулы. Величины р^ = р(М^) называются весами квадратурной формулы. В этой работе будем везде предполагать, что все веса вещественнозначные и являются значениями специальной весовой функции.
Лемма 1. Для любого действительного а выполняется неравенство
« (С)
(6)
где а = тах(1, | а|).
1
Для произвольных целых т\,..., т3 суммы вм,р(^1,---, ^в), определённые равенством
N к=1
называются тригонометрическими суммами сетки с весам,и.
Пусть матрица Т = Т(а) и Ь > 0. Рассмотрим алгебраическую сетку М(¿) = М'(Ь ■ Л(Т)) из Ж/(í ■ Л(Т)) узлов Хк (к = 1,..., Ж/(í ■ Л(Т))) с весами
Рк = Рхк = ^ ■ Л(Т)))-1 £ р(у)
{у}=хк ,уемфЛ(т))
и её тригонометрическую сумму с весами
ЯмШ(т) = ^ ■ Л(Т)))-1 £ I £ рЫ
хем(г) \{у}=хх,уем1(г-Л(т)) )
Теорема 1. Для алгебраической решётки Л(£ ■ Т(а)) и произвольной весовой функции р(х) справедливо равенство3
1 1
Ям №,уу(т) = 5(Щ + [...[ р(у)е2т(у,™-у<1у, (8)
хеЛ(г-Т(а)) _1 11
где
1, при т = 0; 0, при т = 0, т € 1?.
5(т) = |
Доказательство. См. [4]. □
С помощью леммы 1 доказываются следующие теоремы. Теорема 2. При £ ^ те справедлива, асимптотическая формула
' 1П-1 detЛ(í) \
с (0) 1+ о( ь^^ЛШ
(ь),у1 (0) = 1+^ ) ■
(9)
□
Теорема 3. При £ ^ те для произвольного вектора т = 0 справедлива, асимптотическая формула
ч (т п ((ш...^)21п-1 ^ пт
БМ^(т) = О ^-^Л(1))2-) . (10)
□
Цель данной работы — уточнить теорему 3.
3 Здесь и далее символ означает, что из области суммирования исключена нулевая точка.
2. Новые оценки тригонометрических сумм алгебраических сеток
Теорему 3 можно уточнить. Сначала мы это сделаем для векторов т специального вида: т = 1(т,... ,т), где т € Ъ,т = 0.
Теорема 4. Для любого целого т = 0 и натура,льного £ справедливо равенство
/ 1П-1 detЛ(í) \
8м ...,т)) = 1 + О ^ ^Ч^')2 ) . ( ^
Доказательство. Действительно, если т = 1(т,... ,т), и т € Ъ,т = 0, то по теореме 1 имеем:
1 1
Ям (Кт, ...,т))= £ [...[ р(у)е2т'^<1у,
хеЛЦ-Т(а))\Ц(т,...,т)} -1 -1
где {Ъ(т,..., т)} — одноэлементное множество, состоящее из вектора т = 1(т,... ,т). Так
как при х = 0 имеем:
1 1
-1 -1
то
..^р(у)е2^'У'£)ёу = 1,
1 1
Ям ш, (Кт, ...,т)) = 1+ [...[ р(у)е2т^<1у.
хеЛЦ-Т(а))\Ц(т'...'т)} -1 -1
Поэтому, по лемме 1 получим
(1(т, ...,т)) - 1| < (н № • Т (Й))|2) = О ( ,
что и доказывает утверждение теоремы. □
Теперь рассмотрим случай, когда т € Ъ \ Л(Ь • Т(а)) и, следовательно, т = Ь(т,... ,т) для любого т € Ъ.
Для решётки Л = Л(Ь • Т(а)) определим вектора пл(ш) = (т,... ,п3) и кл(ш) из условий кл(ш) € Л, ™ = пл(ш) + кл(ш) и произведение д(пл(т)) = Щ • ... • Щ минимально. Ясно, что существует константа С (Л) ^ 1 такая, что для любого вектора т имеем д(пл(ш)) ^ С (Л).
Теорема 5. При £ ^ те для произвольного вектора т = 0 и т € Л справедлива, асимптотическая формула
")Л{т> = \ О (^г™)' "Р" ш = 3. ( '
Доказательство. Действительно, согласно теореме 1 и лемме 1 имеем:
'Ш ^^ .¿Т'а)) (т1 - Х1 .
Если кл(ш) = 0, то
у' 1 = у'
-< ( т.л — Г. л т_ — )2 -<
хецг.т (а)) (т1 - Х1...т3 - В^Т 'а)) (П1 - Х1...п3 - Хз)'
1
Если к\(т) _ 0, то
11 w 1
- д/.^/^ч (т1 - X1 ...ms - Xs )2 (пг ...nt)2 ^ ^ (ni - Xi ...ns - Xs)2'
xeA(t-T(a)) xeA(t-T(a))\{-kA(m)}
yV 1 _ 1 + yV
(mi - xi ...ms - )2 (^ ^)2 ^
Воспользуемся неравенством
1 2n
< (13)
п — X X
которое доказывается непосредственно, получим
. 1 — 5(кл(т)) 1 4*(Щ ...Щ)2 =
I ^^<"1) I < + =
= 1 ^(т? + 4*(«(йл(й)))2<(Л(( ■ Т(8))|2).
□
3. Заключение
Несомненно, что последнюю теорему можно уточнить, если вместо грубого неравенства (13) использовать более точные неравенства, но это требует дальнейших исследований.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Рарова Е. М. Разложение тригонометрической суммы сетки с весами в ряд по точкам решетки // Изв. ТулГУ. Естественные науки. 2014. Вып. 1. Ч. 1. С. 37-49.
2. Рарова Е. М. Тригонометрические суммы сетки с весами для целочисленной решётки // Известия Тульского государственного университета. Естественные науки. 2014. № 3. С. 34-39.
3. Рарова Е. М. Тригонометрические суммы алгебраических сеток //В сборнике: Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения Материалы XIII Международной конференции, посвященной восьмидесятипятилетию со дня рождения профессора Сергея Сергеевича Рышкова. Тульский государственный педагогичекий университет им. Л. И. Толстого. 2015. С. 356-359.
4. Рарова Е. М. О взвешенном числе точек алгебраической сетки // Чебышевский сборник, 2018, т. 19, вып. 1, с. 200-219.
5. Реброва И. Ю., Добровольский И. \!.. Добровольский Н. И., Балаба И. И., Есаян А. Р., Басалов Ю. А. Теоретико-числовой метод в приближённом анализе и его реализация в ПОИВС «ТМК»: Моногр. В 2 ч. Под. ред. И. М. Добровольского. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2016. - Ч. I. - 232 с.
REFERENCES
1. Rarova E. M., 2014, "Decomposition of the trigonometric sum of a grid with weights in a series by lattice points" , Proceedings of Tula state University. Natural science, vol. 1, part 1, pp. 37-49.
2. Rarova Е. \!.. 2014, "Trigonometric grid sums with weights for integer lattice" , Proceedings of Tula state University. Natural science, № 3, pp. 34-39.
3. Rarova E. M., 2015, "Trigonometric sums of algebraic nets" , In the collection: Algebra, number theory and discrete geometry: modern problems and applications Proceedings of the XIII International conference dedicated to the eighty-fifth anniversary of the birth of Professor Sergei Sergeevich Ryshkov. Tula state pedagogical University. L. N. Tolstoy, pp. 356-359.
4. Rarova E. M., 2018, "Weighted number of points of algebraic net" , Chebyshevskii sbornik, vol. 19, no. 1, pp. 200-219.
5. Rebrova I. Yu., Dobrovolskv N. M., Dobrovolskv N. N., Balaba I. N., Yesavan A. R., Basalov Yu. A. numerical Theoretic method in approximate analysis and its implementation in POIVS "TMK": Monogr. In Under 2 hours, ed. — Tula: Publishing house of Tula, state PED. UN-TA im. L. N. Tolstoy, 2016. - Part I. - 232 p.
Получено 18.03.2017 г.
Принято в печать 12.07.2019 г.
