Приближение квадратичных алгебраических решёток и сеток целочисленными решётками и рациональными сетками Текст научной статьи по специальности «Математика»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 19. Выпуск 3.

УДК 511.9 DOI 10.22405/2226-8383-2018-19-3-241-256

Приближение квадратичных алгебраических решёток и сеток целочисленными решётками и рациональными сетками

Михляева Анна Владимировна — аспирант кафедры алгебры и дискретной математики, Оренбургского государственного университета, г. Оренбург. e-mail: [email protected]

Аннотация

Данная работа посвящена вопросам приближения квадратичных алгебраических решёток и сеток целочисленными решётками и рациональными сетками.

Даётся общая постановка вопроса о приближении алгебраических решёток и соответствующих сеток целочисленными решётками и рациональными сетками.

В случае простого р вндар = 4к + 3 или р = 2 рассматривается целочисленная решётка, заданная той подходящей дробью к числу /р. В явном виде выписана соответствующая алгебраическая решётка и обобщённая параллелепипедальная сетка.

Для определения качества соответствующей обобщённой параллелепипедальной сетки определена функция качества, которая для своего вычисления требует 0(N) арифметических операций, где N — количество точек сетки. Центральным результатом является алгоритм вычисления функции качества за О (/Nj арифметических операций.

Сформулирована гипотеза о существовании алгоритма, требующего О (ln N) арифметических операций. Намечен подход для вычисления сумм с целыми частями линейных функций.

Ключевые слова: квадратичные поля, приближение алгебраических сеток, функция качества, обобщённая параллелепипедальная сетка.

Библиография: 27 названий. Для цитирования:

А. В. Михляева. Приближение квадратичных алгебраических решёток и сеток целочисленными решётками и рациональными сетками // Чебышевский сборник, 2018, т. 19, вып. 3, с. 241-256.

CHEBYSHEVSKII SBORNIK Vol. 19. No. 3.

UDC 511.9 DOI 10.22405/2226-8383-2018-19-3-241-256

Approximation of quadratic algebraic lattices and nets by integer

lattices and rational nets

Mikhlyaeva Anna Vladimirovna — Postgraduate Student, Department of Algebra and discrete mathematics, Orenburg state University, Orenburg. e-mail: [email protected]

Abstract

This paper is devoted to the approximation of quadratic algebraic lattices and grids by integer lattices and rational grids.

A General formulation of the problem of approximation of algebraic lattices and corresponding meshes by integer lattices and rational meshes is given.

In the case of a simple p of the form p = 4к + 3 or p = 2, we consider an integer lattice given rnby a suitable fraction to the number yjp. The corresponding algebraic lattice and the generalized parallelepipedal grid are written out explicitly.

To determine the quality of the corresponding generalized parallelepipedal grid, a quality function is defined, which requires 0(N) arithmetic operations for its calculation, where N — is the number of grid points. The Central result is an algorithm for computing a quality function for О (V^) arithmetic operations.

We hypothesize the existence of an algorithm that requires О (ln N) arithmetic operations. An approach for calculating sums with integral parts of linear functions is outlined.

Keywords: quadratic fields, approximation of algebraic grids, quality function, generalized parallelepipedal grid.

Bibliography: 27 titles. For citation:

A. V. Mikhlyaeva, 2018, "Approximation of quadratic algebraic lattices and nets by integer lattices and rational nets" , Chebyshevskii sbornik, vol. 19, no. 3, pp. 241-256.

1. Введение

Алгебраические решётки и соответствующие алгебраические сетки вошли в науку, как новое самостоятельное направление в теоретико-числовом методе в приближённом анализе, в 1976 году в работах К. К. Фролова [25], [26]. Главное их достоинство заключается в том, что на них достигается правильный порядок погрешности приближенного интегрирования на классах Коробова [20], [27] и правильный порядок гиперболической дзета-функции решёток

[12], [13].

К недостаткам квадратурных формул с алгебраическими сетками относится то, что это квадратурные формулы с весами, причём достаточно сложными. При оценке погрешности приближенного интегрирования возникают большие величины констант, которые трудно оценить. В результате применение таких квадратурных формул на практике весьма проблема-

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

Пусть у нас есть алгебраическая решётка A(t, F) = tA(F), где A(F) — решётка, состоящая из точек (В(1),..., B(ii)), образующих полный набор алгебраически сопряжённых чисел, и В = В(1) пробегает кольцо целых алгебраических чисел чисто вещественного алгебраического поля F. Вопрос о приближении алгебраической решётки A(t, F) целочисленной решёткой A(t) можно ставить так:

Найти целочисленную решётку A(t) такую, что расстояние p(A(t), A(t,F)) минимальное для заданного натурального t.

Теория гиперболической дзета-функции решёток показывает, что наиболее важны те решётки А, для которых отношение гиперболического пара метра решётки q(A) к detA наибольшее. Определение гиперболического параметра смотри ниже на стр. 246.

Для произвольного вектора х его дробной частью называется вектор

{х} = {{xl},..., {ж,}).

Далее везде под произвольной решёткой Л С М5 мы будем понимать только полные решётки, то есть

Л = {т1Х1 + ... + т3\3 = т ■ А |т = (т1,..., т3) е Ъ5},

где А1 = (Л11,..., А15),... = (Л, 1,..., А88) — система линейно-независимых векторов в М5, а матрица решётки А задана соотношениями

/ Ли

А =

V Л

5 1

А« 5 )

( А1

V А,

)

Взаимная решётка Л* = {х | У у е Л (х,у) е Ъ}. Непосредственно из определения следует

равенство (оЛ)* = -Л*.

Я

Л

ткой М(Л) называется множест,во М(Л) = Л* П С3, где С3 = [0; 1)5. Сетка М1(Л) = Л* П [-1; 1)5.

Обобщённой параллелепипедальной сеткой II рода М'(Л) называется множество

М'(Л) = {х | ё = {у}, у е М1 (Л)}. Пусть а = (ао, а,1,..., 0^-1) — целочисленный вектор такой, что многочлен

з- 1

— ^^ ^ х I X

(1)

1=0

неприводим над полем рациональных чисел ^ ^ ^те корни ©„ (и = 1,... ,в) многочлена (1) действительные.

Обозначим через Т( а) матрицу степеней алгебраически сопряжённых целых алгебраических чисел ©1,... ,© 5 — корней многочлена Рз(х):

Т ( а) =

1

©1

V ©1

-1

1 ©5

©5-1 /

(2)

а через © = (©1,..., © — вектор полного набора алгебраически сопряжённых чисел — корней многочлена Рз(х).

Для любого Ь > 0 решётка Л(£ ■ Т( а)) называется алгебраической. Она имеет вид

(* £ © 1 -1 V 1=1

Л(* ■ Т ( а)) = <^ х = ^ ©1-1Ш1 ©1-1т^ = £ ■ т ■ Т ( а)

1=1

те Ъ5

Таким образом, алгебраическая решётка Л(£ ■ Т( а)) имеет базис \и = г ■ (©1-1,..., ©1-1) (и = 1,...,8).

Естественной научной проблемой является вопрос о приближении алгебраической сетки рациональной сеткой. Из теории обобщённых параллелепипедальных сеток и квадратурных формул с этими сетками возникает следующая постановка.

Дана алгебраическая решётка, A(t ■ Т(а)) и натура,льное t, требуется найти целочисленную решётку А%(t ■ Т(а)) такую, чтобы величина, гиперболического параметра решётки Az(t ■ Т(а)) была наибольшей, когда

lim 1Az(t ■ Т(3))=А(Т(а)).

t—у^о t

В связи с этим можно дать следующее определение наилучшего приближения алгебраической решётки A(t,F) целочисленной решёткой A(t).

Целочисленная решётка A(t) называется наилучшим приближением алгебраической решётки A(t, F) с показателем ß, если для, любого натурального t1 < t выполняется неравенство

g(A(t)) ■ lnß detA(t) g(A(ti)) ■ lnß detAfo) detA(i) > detA(i1) .

Такая постановка является новой и ранее не встречалась в литературе.

Принципиальный вопрос, который связан с такой постановкой, заключается в следующем.

Какое минимальное значение ß допустимо в определении наилучшего приближения алгебраической решётки целочисленной?

Если окажется, что ß > 0, то это означает, что для наилучших приближений алгебраических решёток имеется аналог теоремы Туэ для приближения алгебраических чисел.

В работе [18] рассматривались вопросы приближения алгебраических решёток в случае квадратичных полей, а в работе [21] сделаны попытки рассмотреть общие подходы в этой тематике.

Целью данной работы является рассмотрение вопроса о качестве указанных приближений в случае квадратичных алгебраических решёток.

2. Обозначения и необходимые факты

Рассмотрим квадратичное поле F = Q(^/p), где р — простое число и р = 2 или р = 3 (mod 4) Тогда кольцо целых алгебраических чисел Ър имеет вид: Ър = {п + к^р\п, к £ Z}.

Через Л(^) обозначим алгебраическую решётку поля F: Л(^) = {(в(1), в(2))\в = в(1) £ Ър } и в(1), в(2) — целые алгебраически сопряжённые числа.

Таким образом, eW = п + к^/р, в(2) = п — к^р п,к £ Ъ и в(1), в(2) — корни уравнения

х

— 2пх + п2 — рк2 = 0. Базис решётки ) имеет вид: Xi = (1,1), Л2 = р, —^р),

детерминант решётки detЛ(F) = 2.^р. Базис взаимной решётки Л*(^) имеет вид: Л А* = ^, — и детерминант взаимной решётки detЛ*(F) = • Рассмотрим разложение ^р в цепную периодическую дробь:

'1 i \ 2 , 2i

Vp = 90 + [(<7i, ...,Qn, 2qo)} = qo +

Qi +

•• +

2qo +

qi + —

с периодом (qi, . . образом,

qn, 2q0). Через ^ будем обозначать m-ую подходящую дробь к yjp. Таким

V- = Ъп | (—11)т°-

Qm Qm

0 <вт < 1 (т = 0,1,...).

(3)

1

1

1

1

1

Через Лт(Р) будем обозначать алгебраическую решётку, заданную равенствами: Лт(Р) = {(Яш(п + к/р), Яш(п - к/р))1п, к е Ъ}, а через Лт(р) — целочисленную решётку, заданную равенствами:

Лт(р) = {(ЯтП + кРт, ЯтП - кРт)\п, к е Ъ} .

Базис решётки Лт(Р) имеет вид Ат,1 = (Ят,Ят), Ат,2 = (Ят/р, -Ят/р), а детерминант решётки ) = 2ЯПп/Р- Базис взаимной решётки Лт(Р) имеет вид:

\* — Лт,1 =

^\2Ят , ^

/р /р

2Я т ' 2Я т "m,2 \2рЯ 2рЯ т

и детерминант взаимной решётки detЛm(^) =

Для целочисленной решётки Лт(р) базис имеет вид Ат,1,г = (Ят,Ят), А т,2,г — (Pm, -Рт), а детерминант решётки detЛm(p) = 2ЯтРт- Базис взаимной решётки Лт(р) имеет

вид:

лт

1г= М, М, ^ = м ,-М

, , \2Ят 2Ят) , , \2Рт 2Рт)

20 ' 20 /' "т,2,г \ 2Р ' 2Р

ч2^т 2^т / \21 т 21 т

и детерминант взаимной решётки detЛm(p) =

Лемма 1. Для т ^ 0 справедливы соотношения

detЛm(F) = detЛm(p) + (-1)т20т,

Ат,1 = Ат,1,г, Ат,2 = Ат,2,г +

(-1)тдт ( 1) т+1 вп

Яп

Ят

Доказательство. Доказательство получается прямыми вычислениями. □ Лемма 2. Для т ^ 0 справедливы соотношения

,2 (-1)т+^т

det Л*т(Р) = det Л*т(р) + 2 ^ Л*т(р)У

\* — V

Лт,1 = л

т,1,г,

лт,2- ^

т,2,г

1 + (-1)т0т '

Рт Ят

От.

det Лт

,(Р){

Рт +

(-1)т^ Ят

□

Рассмотрим следующие две сетки:

М1(Лт(^)) = Лт(^) П [-1; 1)5, М(Лт(р)) = Л*т(р) П [0; 1) Нетрудно видеть, что

М!(Лт(^)) =

{( —

I V 2Ят

п + у/рк

п

л/рк 2рЯ т

к е А(п), |п| < 2Ят - 1

А(п) = к

2Я т 2рЯ т '2Я т

-2Рт < к < 2Рт, при п = 0,

-2Рт + Р^ <к< 2Рт - Р^ , При П = 1,... 2Ят - 1,

-2Рт - Р?П <к< 2Рт - Р¥П , При П = -1,... - 2Ят + 1;

Ртп

м (Лт(р)) =

К—

I \2Ят

Яг,

п к

+

п

В (п) = < к

2Ят 2Рт 2Я т

к = 0,

РтП < ^ < Ртп

Я к_ 2РП

к е В(п), 0 < п < 2Ят - 1 при п = 0,

при П = 1, . . . Ят - 1, -2Рт + Р^ < к < 2Рт - Р^, при П = Ят,... 2Ят - 1;

1

Определение 2. Квадратурной формулой с обобщённой параллелепипедальной сеткой II типа и весовой функцией р(х) называется формула вида

i i

J- ■ J f (x)dx = (detЛ)-1 ^ p£f (ж) — RN,(A)[f},

00

хем '(Л)

где рг = ^ p(y), М'(Л) = \М'(Л)\,

у£Мг(Л),{у}=х

Rn'(л) [/] _ погрешность квадратурной формулы.

Для погрешности квадратурной формулы с обобщённой параллелепипедальной сеткой II рода на классе Ef справедлива оценка1

Rn'(A)[E?(C)] = sup \RN'(л)[/]\ < СВ ■ d(a)s(H(Л\а), f ее? (с)

где

2

ci(a) = 2a+i (3 + , (н(Л|а) = ^(xi ...xs)

^ ' хел

тп Л—а s)

Для гиперболической дзета-функции (н (Л | а произвольной решётки Л справедлива обобщённая теорема Бахвалова [14]

Сн(Л|а) < Сэ(а,в)С1(Л)в при д(Л) = 1,

(н(Л|а) < C4(a,s)q-a^)(lnд(Л) + 1)s-1 при д(Л) > 1, (4)

где гиперболический параметр решётки

q(A) = min q(x)

хеА\{б}

имеет простой геометрический смысл: гиперболический крест, KS(T) не содержит ненулевых точек решётки Л при Т < q(A).

Гиперболическим крестом называется область

KS(T) = [х | q(x) < Т},

где q(x) = Ж1 ■ ... ■ xs — усечённая норма ж, и для вещественного х обозначаем х = max(1, |ж|) ([19], 1963).

В работе [15] доказана следующая асимптотическая формула.

Обозначим через (d0) дзета-функцию Дедекинда главных идеалов квадратичного поля F: Cdo№) = \NИГ, тогда (>Do(^F) = - £и ln(N(шШ(и)Га.

Теорема 1. Справедливо асимптотическое равенство

( 2(det^»CPo №) lnde^(t) (н (Л(*)|а) =-R--ЩЩ^—

2(det^« (ln (det Л) (do№) + CDo№)) , 2(det^«(Do№) Л, , , ^(а)

+ лтг1 №) +

К^Л(г))а ' (de^(i))" 1 sh (»к

F и R — регулятор этого поля

)

2

где |0i(a)| ^ 1 и (1i)а ^ 02(а) ^ е'^ % £0 """""""' фундаментальная единица квадратичного поля

Здесь и далее символ обозначает, что из области суммирования исключён нулевой набор.

Хорошо известно, что граничной функцией класса Е2 (■, для параллелеиииедальных

Доказательство. Доказательство см. [15]. □

ъгт-ъ Т^.2 (■ __

сеток является функция Н(х,у) = 9(1 — 2{ж})2(1 — 2{у})2, поэтому для оценки качества сетки М(Лт(р)) можно использовать функцию

Я(М(Л ( ))) 9 1 ^ Л 2 ( П + ^ \ V 2 ( П ^

2Рт Qm п , _ - \ \2Qm 2Рт// \ \2Qm 2Рп

п=0 к6В(п)

Будем для краткости называть это выражение функцией качества. Для вычисления функции качества обобщённой параллелепипедальной сетки М(Лт(р)) требуется 0(А(Рт^т)) арифметических операций, где N(Рт^т) — количество точек сетки М(Лт(р)).

Цель данной работы — найти алгоритм вычисления функции качества за 0(^/N(Рт, <^т)) арифметических операций.

3. Преобразование функции качества

Прежде всего, подсчитаем количество слагаемых в выражении для функции качества, которое обозначим через N = N(Р, где Р = Рт, = <^т.

Лемма 3. Для функции качества справедливо равенство N = N(Р,0) = 2Р(^.

Доказательство. Действительно,

2 Я~1 N = £ |Б(п)|,

п=0

Отсюда следует, что

Я-1

N = 2^ + 2(Р — 1) + 2 ^

п=1

1В(п)1 =

1, 1 + 2 2Р - 1

Р п

Я

1+2

2Р — РяП

при п = 0,

при п = 1,.. ^ — 1,

при п =

при п = Q + 1,... 2Q — 1.

Р ■ п

+

р-

Р-п

я

= 2д + 2(р — 1) + 2(д — 1)(р — 1) = 2ря,

так как

Р ■ п

+

Р -

Р ■ п ~0~

= Р-

Ч—=р -1 1,ри"=1> 2--е—1

□

Далее нам потребуются полные суммы дробных долей О), которые задаются равен-

ствами:

1 у1 ({р ■ пУ

П=Л ^ I ъ /

и,/! ^ 0.

Мы будем рассматривать только случай (Р,0) = 1. Такие суммы рассматривались в работах [1]-[7], [16], [23]-[24]. Аналогичные неполные суммы дробных долей были детально изучены в работах [8]-[11].

Наряду с обозначением Н(М(Лт(р))) будем использовать Н(Р,0)'-

2Я-1

н (Р,Я) =

Я 1

Е Е (

п=о кев(п) 4

( п к \ \ ( ( п к 1 — 2( —+ — |) (1 — 21---

\2Q 2Р

V2Q 2Р

Нетрудно видеть, что

—) = 1Е Е ((1 — I)2 — ШУ

п=о кев(п) \ 4 ^ 7 4 7 /

Обозначим через Б(п) внутреннюю сумму:

~=кЖ,(( ■ - а2 —< и')

тогда

о 2

н(р,® = м Е 5(п)-

п=0

Обозначим через Т(п) величину Т(п) = ^п • Ясно, что Т(п + О) = Р + Т(п).

Лемма 4. Дрм п = 1,... — 1 справедливо равенство

В (Я — п) = В(Я + п) = л

Рп Л 7 1-, Рп

}

Доказательство. Действительно, при п = 1,... — 1 из определения множества В(п) имеем

Б (<2 — п) = Л

£ _ Р ,,, , — ^ = < „

Н4 I?—р<к<р—т}

так как ^ — нецелое число в силу (Р, О) = 1. Аналогично, имеем

( Рп Р-п }

В(Я + „) = {* - -РО^Р — _}

что и доказывает утверждение леммы. □ Лемма 5. Справедливо равенство

9

Н(Р, Я) = | ^(0) + ЗД) + 2 £ ЗД ^ .

Доказательство. Действительно, из определения величины 5(п) и леммы (4) имеем

—">= £ ((|)2—фТ = £ ((—I)2—Ш'Т =+")■

кев«-п) 7 4 7 / кев(<з+п) \ч 4 7 /

□

Лемма 6. Справедливы равенства: при п = 0 Б(0) = 1; при п = 1,... — 1

ад=(1—4 (1+2Т (В»——2 г <»>'г <">+;2(2Г (")+1)+

Т (п)(Т (п) + 1)(2Т (п) + 1)(3Т 2(п) + 3Т (п) — 1) + 15Р4 '

при п = Я

(Р — 1)(2Р — 1)(3Р2 — 3Р — 1)

^ (Я) =

15Р 3

Доказательство. Действительно, при та = 0 имеем:

'(0)= Е (1 — (Ю *)- Е (1— (I) 1=1.

кев(о) \ 47 / к=о\ ч//

При та = 1,... ^ — 1 получим:

ад = (1 — 4|В(П)|—2(1 — I)2 Е Ш2+ Е (£)4

4 \ кев(п) 4 7 кев(п) 4 7

Имеем |Б (та)| = 1 + 2Т(та) и

^ ( к У = Т(п)(Т(та) + 1)(2Т(та) + 1)

^ = эр2 ,

кев(п) 4 7

^ / к_\4 = Т(п)(Т(та) + 1)(2Т(та) + 1)(3Т2(та) + ЭТ(та) — 1) . = 15Р4 •

кев(п)

Отсюда следует, что

ЭД = (1 — I) 4 (1 + 2Т(та.)) — 2 (1 — 2 Т(»)(ТМ + ЩГ'"' + 1' +

Т (п)(Т (та) + 1)(2Т (та) + 1)(ЭТ2 (та) + ЭТ (та) — 1) + 15Р4 •

При та = Q получим:

*(« = Е (|)4 = *Е У = Р(Р — 1)(2Р^2 — ЭР —11 •

кев(я) 47 к=1

□

Для краткости положим ¿(та) = | рр|, тогда Т(та) = рр — ¿(та) и

я-1 / \

п= (а)

^СВД^ ^ ^(та), ^ ^ 0.

Я-1 / V

Теорема 2. Справедливо равенство

*<™ = £ (+ £ — 15^ + 2Е (1+2Т(та) — 2Т^(та)+Г(та) + 1) +

\ п=1

Т (та)(Т (та) + 1)(2Т (та) + 1)(3Т2(та) + ЭТ (та) — 1) + 15Р4

—41 (1 + 2Т(та) — Т(таМТ(та) + Щ2Т(") + !)) + + (|)2 (6(1 +2Т(та)) — 2Т(таХТ(та>+;Н2ТМ + 1))

(I)' 4<1+2Т („))+(.

— 4(1+ 2Т(та)) + ( т:^ (1+2Т(та))

Доказательство. Действительно, из лемм 5 и 6 следует, что

Я№<?) = | 6 + 2У>(П) + <Р — ^ — 2 — —1>'

\ п=1 )

(2Р + ----Ц .

у 5 3Р 15 Р3 п=1 )

Далее имеем:

ЭД = (1 — I) 4 (1 + 2Т(„.)) — 2 (1 — 2 г(")(Г(П)+12(2Г'"' + 1' +

+

Я) у \ Я) 3Р2

Т (п)(Т (та) + 1)(2Т (та) + 1)(3Т2 (та) + 3Т (та) — 1) 15Р 4

+5®1(п)+(I )2*<п>+(I )3®з(")+(%)

где

*(та) = 1 + '2Т<та) — 2Г<"><Г<"> ^2<2Г<"> + Ц +

Т (п)(Т (та) + 1)(2Г (та) + 1)(3Т2(та) + 3Т (та) — 1) + 15Р4 '

*(») = —4 (1 + 2Т(та) — Г<"><Г<">+^><2Г"" + 1') ; ЭД=6(1+2Г (та)) — 2^ <та> + 1)(2Г <"> + 1>-

3Р 2

5з(та) = —4(1 + 2Т (та)); (та) = 1 + 2Т (та).

Отсюда следует, что

-™ = 1 (+ £ — + 2 Е (1 +-(») — 2Г(И)(Г<"> + 1> +

\ п=1 4

Т (та)(Т (та) + 1)(2Т (та) + 1)(3Т2(та) + 3Т (та) — 1)

—4 ^ (1 + 2Т(та) — Г<"><Г<">+;2<2Г'"' + 1') +

+ (|)2 (б<1 +2Г<„>) — 2Г<">'Г("» +;2<2Г"" + 1') — (|)34<1+2Т<»>> + (£)4<1+2Т<">>) •

□

4. Об одном подходе для вычисления сумм с целыми частями

Пусть (Р, О) = 1 и рассмотрим простейшую сумму целых частей

<-1 г с

Рта

п=0

Я

которую можно легко вычислить З—1 л 3-1

8 №«) = £ Я-¿{ —

п=0 Я п=0 ^ Я }

Р (Я - 1) 3-1 I П

2

р(Я - 1) (Я - 1) (Р - 1)(Я - 1)

2

2

Этот метод при переходе к более сложным суммам вызывает при реализации существенные трудности.

Рассмотрим другой метод, который, на наш взгляд, имеет перспективы для обобщения. Мы будем считать, что Р — Рт, Я — Ят где Рт и Ят — числители и знаменатели т-ой подходящей дроби, а до, - ■ ■, дт — неполные частные. Воспользуемся представлением

П — уЯт-1 +Х, |

Заметим, что

0 Ят - 1, 0 ^ Ж ^ Ят-1 - 1, При 0 ^П < ЯтЯт—1

У = (1т, 0 ^ Ж ^ Ят-2 - 1

'Рп

[я]

Рт-1П (-1)

т 1

+

п

Рт—1П

Я т— 1

При дтЯт-1 ^П ^ Ят - 1.

Рт— 1Ж

Ят—1 ЯтЯт-1

Отсюда следует рекуррентное соотношение при т ^ 2

Рт— 1Ж

Рт-1У +

Ят—1

Ут 1 Зт —1 1 /

в(Рт,Ят)= ^ ^ [Рт-1У +

у=0 х=0

т( т - 1)

Ят—1

Зт —2 —1 /

+ (Рт—1 Чт +

х=0 ^

Рт— 1Ж Ят— 1

2

Рт—1Ят—1 + <?т8(Рт—1, Ят—1) + 0_тРт—1Ят—2 + S(Рт—2, Ят—2).

При т = 0 имеем Я0 = 1 и

Зо—1

8 (Р0,Я0)= Е

п=0

Р0П

Я0.

0.

Если Я1 = 1, то 8(Рь Я1) = 0. Пусть Я1 = > 1, тогда

1—1

ад,Я1) — £

п=0

( Я0Я1 + 1)п

1

0

((- 1) _ (Р1 - 1)(Я1 - 1)

и утверждение леммы верно при т ^ 1. Далее по индукции имеем:

Я(Р Я ) — Ят(дт - 1) Р Я ,п (Рт—1 - 1)(Ят— 1 - 1)

8(рт, Ят) — 0 Рт—1Ят—1 + Чт ^ +

+ЧтРт—1Ят—2 +

2 - ^ ^ 2 (Рт— 2 - 1)(Я т—2 1) _ (1тРт—10_тЯт—1 0_тРт— 1 <7тЯ т— 1 т

+ЧтРт—1Ят—2 +

2 2 2

Рт—2Ят—2 Рт—2 Ят—2 1 ЧтРт—1 ЯтЯт—1 Рт Я

2 +Т+

2

2

+ —

22

2

22

+

ЧтРт—1Ят—2 РтО,т—2 Ц_т 1 _ ЧтРт— 1Ят Рт Ят РтЯт—2 Чт 1 _

_--__ - __ - __ — — - — - — - __ - __ - __ — —

2 222 2 22 222

РтЯт Рт Ят 1 | о

—о---о—_ 7Г + Kт,

где

2 2 2 2

г, Ят РтЯт—2 Рт—2Ят п

Кт = Т + 2 2 =0,

так как по известному тождеству для подходящих дробей имеем

Рт—2Ят РтЯт—2 — Чт.

2

2

5. Заключение

Теорема 2 позволяет вычислять значение функции качества за О N(Рт, ариф-

метических операций. Мы предполагаем, что найденное выражение для функции качества

та

и знаменатели подходящих дробей к ^/р и неполные частные. Искомое выражение должно будет позволить вычислять значение функции качества за О(1пЖ(Рт,Ят)) арифметических операций.

По-видимому, осуществление этой программы может потребовать значительных ресурсов, так как вычисление в конечном виде более простого выражения

™=(1—^ та )2 (1—2 {= })2

потребовало 50 страниц подробного математического текста (см. [6]).

На возможное использование симметрии в лемме 4 обратил внимание А. В. Родионов, за что выражаю ему свою благодарность.

Также выражаю свою благодарность научному руководителю профессору Н. М. Добровольскому за постановку задачи, полезное обсуждение и постоянное внимание к работе.

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

1. Вронская Г. Т. Квадратичное отклонение плоских сеток [Текст]/ автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.06.06 / Г. Т. Вронская. - \!.. 2005. -Юс.'

2. Вронская Г. Т. Квадратичное отклонение плоских сеток / Дис. ... канд. физ.-мат. наук. -М.: МИГУ. 2005.

3. Вронская Г. Т., Добровольский Н. М. О двумерных сетках Воронина // Чебышевский сборник 2004 Т. 5. Вып. 1(9). - Тула: Изд-во ТГПУ им. Л. Н. Толстого. С. 74-86.

4. Вронская Г. Т., Добровольский Н. \!.. Родионова О. В. Сравнения суммы и произведения (тезисы)// Материалы всероссийской конференции "Современные проблемы математики, механики и информатики" ТулГУ. Тула, 2002.

5. Вронская Г. Т., Добровольский Н. \!.. Родионова О. В. Сравнения, суммы и произведения по приведенной системе вычетов // Известия ТулГУ. Сер. Математика. Механика. Информатика. Т. 8. Вып. 1. Тула, 2002. С. 10-28.

6. Вронская Г. Т., Добровольский И. Н. Отклонения плоских сеток: Моногр. / Под ред. Н. М. Добровольского. - Тула, 2012.

7. Вронская Г. Т., Родионова О. В. Квадратичное отклонение плоских сеток. - Тула: Изд-во ТГПУ им. Л. И. Толстого, 2005.

8. Добровольская В. Н. Неполные суммы дробных долей // Чебышевский сборник. Тула, 2004. Т. 5, вып. 2 (10). С. 43-48.

9. Добровольская В. Н. Формула Пика и неполные суммы дробных долей // Изв. Тул. гос. ун-та. Сер. Математика. Механика. Информатика. Т. 10. Вып. 1. Тула: Изд-во ТулГУ, 2004. С. 5-11.

10. Добровольская В. Н. Отклонение плоских параллелепипедальных сеток // Чебышевский сборник. Тула, 2005. Т. 6. Вып. 1 (13). С. 87-97.

11. Добровольская В. Н. Элементарный метод дробных долей Виноградова - Коробова и отклонение плоских сеток Бахвалова // Чебышевский сборник. 2005. Т. 6, вып. 2(14). С. 138-144.

12. Добровольская Л. П., Добровольский М. Н., Добровольский Н. \!.. Добровольский Н. Н. Многомерные теоретико-числовые сетки и решётки и алгоритмы поиска оптимальных коэффициентов. - Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2012. - 283 с. http://elibrary.ru/item.asp? ¿(1=20905960.

13. Добровольская Л. П., Добровольский М. Н., Добровольский И. \!.. Добровольский Н. И. Гиперболические дзета-функции сеток и решёток и вычисление оптимальных коэффициентов // Чебышевский сборник. 2012. Т. 13, вып. 4(44). С. 4-107.

14. Добровольский Н. М. Гиперболическая дзета функция решёток. / Деп. в ВИНИТИ 24.08.84, N 6090-84.

15. Добровольский Н. \!.. Добровольский И. Н., Соболева В. И., Соболев Д. К., Юшина (Климова) Е. И. Гиперболическая дзета-функция решётки квадратичного поля // Чебышевский сб., 2015. Т. 16, вып. 4. С. 100-149. С. 47-52.

16. Добровольский И. \!.. Есаян А. Р., Пихтильков С. А., Родионова О. В., Устян А. Е. Об одном алгоритме поиска оптимальных коэффициентов // Известия ТулГУ. Сер. Математика. Механика. Информатика. Т. 5, вып. 1. Тула, 1999. С. 51-71.

17. Добровольский Н. \!.. Рощеня А. Л. О непрерывности гиперболической дзета-функции решёток // Изв. Тул. гос. ун-та. Сер. Математика. Механика. Информатика. Т. 2. Вып. 1. Тула: Изд-во ТулГУ, 1996* С. 77-87.

18. Климова Е. И., Добровольский Н. И. Квадратичные поля и квадратурные формулы // Материалы XV Международной конференции Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения, посвященной столетию со дня рождения доктора физико-математических наук, профессора Московского государственного университета имени М. В. Ломоносова Коробова Николая Михайловича. - Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2018. С. 308-310.

19. Коробов И. М. Теоретико-числовые методы в приближенном анализе. - М.: Физмат-гиз, 1963.

20. Коробов Н. М. Теоретико-числовые методы в приближенном анализе, (второе издание) М.: МЦНМО, 2004. 288с.

21. Родионов А. В. О рациональных приближениях алгебраических сеток // Материалы XV Международной конференции Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения, посвященной столетию со дня рождения доктора физико-математических наук, профессора Московского государственного университета имени М.

B. Ломоносова Коробова Николая Михайловича. - Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2018. С. 321-310.

22. Родионов А. В., Чуприн С. Ю. О гиперболических параметрах решётки линейного сравнения // Известия ТулГУ. Естественные науки. Вып. 1. Ч. 1. - Тула: Изд-во ТулГУ, 2014.

C. 50-62.

23. Родионова О. В. Рекуррентные формулы первого порядка для степенных сумм дробных долей // Сб.: "Всероссийская научная конференция "Современные проблемы математики, механики, информатики". - Тула, 2000. - С. 50-51.

24. Родионова О. В. Обобщенные параллелепипедальные сетки и их приложения / Дис. ... канд. физ.-мат. наук. - М.: МИГУ. 2000.

25. Фролов К. К. Оценки сверху погрешности квадратурных формул на классах функций // ДАН СССР. 1976. Т. 231. №4. С. 818-821.

26. Фролов К. К. Квадратурные формулы на классах функций. / Дис. ... канд. физ.-мат. наук. - М.: ВЦ АН СССР, 1979.

27. Шарыгин И. Ф. Оценки снизу погрешности квадратурных формул на классах функций // Журн. вычисл. мат. и мат. физики. 7. 1963. № 4. С. 784-802.

REFERENCES

1. Vronskava, G. Т. 2005, "Quadratic deviation of flat grids" Abstract of Ph.D. dissertation: 01.06.06 / G. T. Vronskava. - M., - 10 c.

2. Vronskava, G. T. 2005, "Quadratic deviation of flat grids" / Ph.D. Thesis. Moscow. MSPU.

3. Vronskava, G. Т., Dobrovol'skii, N. M. 2004, "On two-dimensional Voronin grids", Chebvshevskii sb,Tula, Izd-vo TSPU them. L.N. Tolstoy, vol. 5, no. 1(9). pp. 74-86.

4. Vronskava, G. Т., Dobrovol'skii, N. M., Rodionova, О. V. 2002, "Comparisons sums and works (abstracts)", Materials of all-Russian conference "Modern problems of mathematics, mechanics and computer science"TulSU. Tula.

5. Vronskava, G. Т.,Dobrovol'skii, N. M., Rodionova, О. V. 2002, "Comparisons, amounts and products on the reduced system of deductions News Of Tulgu. Ser. Mathematics. Mechanics. Informatics.,Tula, vol. 8, no. 1, pp. 10-28.

6. Vronskava, G. Т., Dobrovol'skii, N. N. 2012, "Deviations of flat grids, monograph edited by N. M. Dobrovol'skii. Tula.

7. Vronskava, G. Т., Rodionova, О. V. 2005, "Quadratic deviation of flat grids Tula, izd-vo TSPU them. L. N. Tolstoy.

8. Dobrovol'skava, V. N. 2004, "Amount incomplete or fractions Chebvshevskii sb., Tula, vol. 5, no. 2 (10), pp. 43-48.

9. Dobrovol'skava, V. N. 2004, "The formula of the Peak and partial sums of the fractional share Izv. Tul. st. un-tv. Ser. Mathematics. Mechanics.Informatics. Tula: Izd-vo Tulgu, vol. 10, no. 1, pp. 5-11.

10. Dobrovol'skava, V. N. 2005, "The deviation of the flat parallelepipedal grids Chebvshevskii sb. Tula, vol. 6, no. 1 (13), pp. 87-97.

11. Dobrovol'skava, V. N. 2005, "The basic method of fractional shares Vinogradova - Korobova and deviation of flat Bakhvalov grids Chebvshevskii sb. vol. 6, no. 2(14), pp. 138-144.

12. Dobrovol'skaya, L. P., Dobrovol'skii, M. N., Dobrovol'skii, N. M., Dobrovol'skii, N. N. 2012, "Multidimensional number-theoretic grids and lattices and algorithms for finding the optimal coefficients Tula: Izd-vo Tul. st. ped. un-tv them. L. N. Tolstoy. - 283 p. http://elibrarv.ru/item.asp? id=20905960.

13. Dobrovol'skaya, L. P., Dobrovol'skii, M. N., Dobrovol'skii, N. M., Dobrovol'skii, N. N. 2012, "Hyperbolic Zeta functions of grids and lattices and calculation of optimal coefficients Chebvshevskii sb. vol. 13, no. 4(44), pp. 4-107.

14. Dobrovol'skii, N. M. 1984, "The hyperbolic Zeta function of lattices", Dep. v VINITI, no. 6090-84.

15. Dobrovol'skii, N. M., Dobrovol'skii, N. N., Soboleva,V. N., Sobolev, D. K., Yushina(Klimova), E. I. 2015, "Hyperbolic Zeta function of the lattice of a quadratic field", Chebvshevskii sb. vol. 16, no. 4, pp. 100-149. pp. 47-52.

16. Dobrovol'skii, N. M., Esavan, A. R., Pikhtilkov, S. A., Rodionova, O. V., Ystvan, A. E. 1999, "On one algorithm for finding optimal coefficients Izvestiva Tulgu. Ser. Mathematics. Mechanics. Informatics.Tula. Vol. 5, no. 1, pp. 51-71.

17. Dobrovol'skii, N. M. k, Roshhenva, A.L. 1996, "On continuity of the hyperbolic Zeta function of lattices", Izvestiva TulGU. Seriva Matematika. Mekhanika. Informatika, vol. 2, no. 1, pp. 77-87.

18. Klimova,E. I., Dobrovol'skii, N. N. 2018, "Quadratic fields and quadrature formulas" , Proceedings of the XV International conference Algebra, number theory and discrete geometry: modern problems and applications, dedicated to the centenary of the doctor of physical and mathematical Sciences, Professor of Moscow state University named after M. V. Lomonosov Korobov Nikolai Mikhailovich. Tula: Publishing house. GOS. PED. UN-TA im. L. N. Tolstoy, pp. 308-310.

19. Korobov, N.M. 1963, Teoretiko-chislovve metodv v priblizhennom analize [Number-theoretic methods in approximate analysis], Fizmat-giz, Moscow, Russia.

20. Korobov, N. M. 2004, "Numerical-theoretic methods in approximate analysis Moscow: mtsnmo. 288 p.

21. Rodionov, A. V. 2018, "On rational approximations of algebraic grids Proceedings of the XV International conference Algebra, number theory and discrete geometry: modern problems and applications, dedicated to the centenary of the doctor of physical and mathematical Sciences, Professor of M. V. Lomonosov Moscow state University Nikolai Mikhailovich Korobov. Tula: Publishing house. GOS. PED. UN-TA im. L. N. Tolstoy, pp. 321-310.

22. Rodionov, A. V., Chuprin, S. Yu. 2014, "On hyperbolic parameters of the lattice of linear comparison Izvestiva Tulgu. Natural science. Issue. 1. CH. 1. — Tula: Publishing house of Tulgu. pp. 50-62.

23. Rodionova, O. V. 2000, "Recurrent formulas of the first order for power sums of fractional fractions Sat.:" All-Russian scientific conference "Modern problems of mathematics, mechanics, Informatics Tula, pp. 50-51.

24. Rodionova, O. V. 2000, "Generalized parallelepipedal grids and their applications Dis. ... kand. p. Mat. sciences'. Moscow. Moscow state pedagogical University.

25. Frolov, К. К. 1976, "Upper estimates of the error of quadrature formulas on classes of functions DAN USSR. vol. 231, no. 4, pp. 818-821.

26. Frolov, К. K. 1979, "Quadrature formulas on classes of functions Dis.... kand. p. Mat. sciences'. M.: VTS an SSSR.

27. Sharugin, I. F. 1983, "Lower estimates of the error of quadrature formulas on classes of functions Journal, compute, mate, and mate, physics, vol. 7, no 4, pp. 784-802.

Получено 28.08.2018 Принято к печати 15.10.2018