CC BY
43
References
1. Vinogradov I. M. Representation of an Odd Number as a Sum of Three Primes. Doklady AN USSR. 1937, vol. 15, pp. 291-294 (in Russian).
2. Fatkina S. Yu. On the representation of a natural number as a sum of three almost equal terms generated by primes. Russian Mathematical Surveys [Uspekhi Mat. Nauk], 2000, vol. 55, no. 1, pp. 171. DOI: 10.1070/RM2000v055n01ABEH000254.
3. Evelyn C. J. A., Linfoot E. H. On a problem in the additive theory of numbers. I : Math. Z. 1929, vol. 30, pp. 433-448; II : J. Reine Angew. Math., 1931, vol. 164, pp. 131-140; III : Math. Z., 1932, vol. 34, pp. 637-644; IV : Ann. of Math., 1931, vol. 32, pp. 261-270; V : Quart. J. Math., 1932, vol. 3, pp. 152-160; VI : Quart. J. Math., 1933, vol. 4, pp. 309-314.
4. Brüdern J., Perelli A. Exponential Sums and Additive Problems Involving Square-free Numbers. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 1999, vol. XXVIII, pp. 591613.
5. Arkhipov G. I., Buriev K., Chubarikov V. N. On the power of a singular set in binary additive problems with prime numbers. Proc. Steklov Inst. Math., 1997, vol. 218, pp. 23-52.
6. Arkhipov G. I., Chubarikov V. N. On the exceptional set in a Goldbach-type binary problem. Dokl. Math.
YflK 511.9
[Dokl. Akad. Nauk], 2002, vol. 66, no. 3, pp. 338-339.
7. Brüdern J., Granville A., Perelli A., Vaughan R. C., Wooley T. D. On the exponential sum over k-free numbers. Philos. Trans. Roy. Soc. London Ser. A, 1998, vol. 356, pp. 739-761.
8. Tolev D. I. On the exponential sum with squarefree numbers. Bull. London Math. Soc., 2005, vol. 37, pp. 827-834. DOI: 10.1112/S0024609305004753.
9. Schlage-Puchta J. C. The exponential sum over squarefree integers. Acta Arith., 2004, vol. 115, pp. 265268. DOI: 10.4064/aa115-3-7.
10. Popov O. V. Arithmetic applications for estimates of Weyl sums of polynomials of increasing degree. Fundam. Prikl. Mat., 1998, vol. 4, no. 2, pp. 595-640 (in Russian).
11. Goryashin D. V. Squarefree numbers in the sequence [an]. Chebyshevskii Sb., 2013, vol. 14, no. 3 pp. 60-66 (in Russian).
12. Arkhipov G. I., Chubarikov V. N. On the measure of «large arcs»' in the Farey partition. Chebyshevskii Sb., 2011, vol. 12, no. 4, pp. 39-42.
13. Brüdern J., Cook R. J., Perelli A. The Values of Binary Linear Forms at Prime Arguments. Sieve Methods, Exponential Sums and Their Applications in Number Theory. Cambridge, Cambridge Univ. Press, 1997, pp. 87-100.
НЕКОТОРЫЕ ВОПРОСЫ ТЕОРЕТИКО-ЧИСЛОВОГО МЕТОДА В ПРИБЛИЖЕННОМ АНАЛИЗЕ
Л. П. Добровольская1, М. Н. Добровольский2, Н. М. Добровольский3, Н. Н. Добровольский4, И. Ю. Реброва5
1 Кандидат физико-математических наук, доцент, Институт экономики и управления, Тула, [email protected]
2Кандидат физико-математических наук, старший научный сотрудник, Геофизический центр РАН, Москва,
dobrovolsky.michael @ gmail.com
3Доктор физико-математических наук, заведующий кафедрой алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, [email protected]
4Аспирант кафедры прикладной математики и информатики, Тульский государственный университет, [email protected]
5Кандидат физико-математических наук, декан факультета математики, физики и информатики, Тульский государственный педагогический университет им. Л. Н. Толстого, [email protected]
В данной работе дается обзор некоторых актуальных проблем метода оптимальных коэффициентов Н. М. Коробова. Данный обзор был сделан 12 сентября 2013 года в г. Саратове на XI Международной конференции «Алгебра и теория чисел: современные проблемы и приложения».
Ключевые слова: метод оптимальных коэффициентов, алгебраические решётки, теорема Гельфонда, гиперболическая дзета-функция.
ВВЕДЕНИЕ
Параллелепипедальные сетки Н. М. Коробова (1959 г.)
= ({ £}■•••■{£}) = 1.2.....N).
1 1
0 0
f (X) dx = N £- Rn [f]
где RN [f] — погрешность квадратурной формулы и
lna(s-1) N
|Rn[f]| <-Гт--(н- C- Бахвалов, Н. М. Коробов [1]).
N a
Обозначения и необходимые определения
Символ Коробова:
|0, если b ф 0 (mod N), Sn (b) = <
I 1, если b ф 0 (mod N).
Пусть целое N > 1, N1 = [(N — 1)/2], N2 = [N/2], av = av(N) — целые, взаимно простые с N (v = 1,..., s):
n2
Sn (zi mi + ... + zs ms)
Sn (zi,...,zs )= > -=-=-,
^ AT mi ...mj
m1 ,...,ms =-N1
где zi5..., zs — произвольные целые, m = max(1, |m|) для любого вещественного m.
Оптимальные коэффициенты
£сли существуют константы в = в(s) и B = B(s) такие, что для некоторой бесконечной последовательности значений N выполняется неравенство
0 / ч л1пв N Sn(ai,... ,as) < B n ,
то целые ai,... ,as называются оптимальными коэффициентами индекса в по модулю N. Основная мера качества
Величину Sn (ai,... ,as) называют основной мерой качества набора оптимальных коэффициентов. Известно (см. [1, с. 81]), что для любых целых ai,..., as выполняется оценка
lnj N
Sn (ai,... ,as) > Bo n ,
с некоторой константой B0.
Существование оптимальных коэффициентов
Для <r(N) — среднего арифметического основной меры качества набора коэффициентов по всем параллелепипедальным сеткам, заданного равенством
1 n-i
a(N ) = ^TN) ^ Sn (ai ,...,aJ),
^ V ' a1,...,as =i
(av ,N) = i (v=i,...,s)
и для любого составного модуля N справедливо асимптотическое равенство:
2s1njN /1nj-iN
a(N ) = + O
N V N
Отсюда следует существование оптимальных коэффициентов для любого составного модуля N.
ТЕОРЕМА А. О. ГЕЛЬФОНДА И ОПТИМАЛЬНЫЕ КОЭФФИЦИЕНТЫ Гиперболический параметр д(А) решётки Л
Л = Л(а1,..., as; N) — решётка решений линейного сравнения
m + a1 m1 + ... + asms = 0 (mod N),
Л(р) — присоединенная решётка решений системы линейных сравнений
k1 = a1k
......... (mod N),
ks == ask
д(Л) — гиперболический параметр и присоединенный гиперболический параметр ^(Л):
д(Л) = min mm1 ...ms, ^(Л) = min |k||k1| ... |ks|. m ел\{0| йед(р),
fc^ü (mod N)
Теорема А. О. Гельфонда (1967 г.)
Согласно теореме А. О. Гельфонда для величин д(Л) и ^(Л) справедливы неравенства
д(Л) > ЗДЖЛГ, д(Л) > C1(s)N^, где C1 = min (1/(2s + 3)s+1,1/52s).
Присоединенная мера качества
||x|| = min({x}, 1 — {x}) — расстояние до ближайщего целого.
N2 1
SN (z1, . . . ,Zs) = k II z1k II ÜZSM' k=1 k II N 11 . . 41 N II
где z1, ..., zs — произвольные целые взаимно простые с N.
Критерий оптимальности с присоединенной мерой качества
Теорема 1. Целые 1,z1, ...,zs — оптимальные коэффициенты по модулю N тогда и только тогда, когда существуют константы ß2 = ß2 (s) и B2 = B2 (s) такие, что для некоторой бесконечной последовательности значений N выполняется неравенство
SN (z1,...,zs) < B2lne2 N.
Новое доказательство существования оптимальных коэффициентов
Теорема 2. Для любого натурального N > 2 существует набор оптимальных коэффициентов 1, a1;..., as по модулю N с
S* (a1 ,...,as) < (2 ln N + 2(C — ln2) + 3)s (ln N + C — ln2). АКТУАЛЬНЫЕ ПРОБЛЕМЫ ТЕОРИИ Проблема правильного порядка
Как известно, на классе алгебраических решёток достигается правильный порядок убывания гиперболической дзета-функции решёток при росте детерминанта решёток (см. [2]). Более того, для этих решеток справедлива асимптотическая формула (см. [3-5]). Из непрерывности гиперболической
дзета-функции на пространстве решёток следует, что правильный порядок убывания гиперболической дзета-функции решёток достижим на классе рациональных решёток. Действительно, достаточно брать рациональные решетки из очень маленьких окрестностей алгебраических решёток.
Возникает естественный вопрос, а на классе целочисленных решёток правильный порядок убывания достижим или нет?
Если достижим, то надо указать алгоритм построения таких оптимальных параллелепипедальных сеток, для которых будет правильный порядок погрешности приближенного интегрирования на классах Еа. Другими словами, в этом случае необходимо построить алгоритм вычисления модуля N и оптимальных коэффициентов по модулю N, для которых выполняется оценка
Если такой порядок недостижим, то мы получим некоторый аналог теоремы Лиувиля-Туэ-Зигеля-Рота для алгебраических решёток, так как отсутствие правильного порядка будет означать, что алгебраические решетки нельзя хорошо приближать целочисленными.
Проблема существования аналитического продолжения
Как известно, для любой декартовой решётки существует аналитическое продолжение гиперболической дзета-функции произвольной декартовой решётки. Более того, для произвольной декартовой решётки получено функциональное уравнение, задающее это аналитическое продолжение в явном виде (см. [3, 4, 6]).
Естественно, возникают вопросы о существовании аналитического продолжения для гиперболической дзета-функции в следующих случаях:
Для решёток С. М. Воронина Л(^, д), где ^ — произвольное алгебраическое поле степени 5 над полем рациональных чисел О, а д — простое натуральное число и целочисленная решетка д) соответствует идеалу £ С Ър с нормой N(£) = д, если фундаментальная решётка Ъа соответствует кольцу Ър целых алгебраических чисел поля ^.
Сам С. М. Воронин вместе со своим учеником Н. Темиргалиевым рассмотрел случай кольца целых гауссовых чисел и случай круговых полей. Это объясняется тем, что и квадратичное поле гауссовых чисел, и круговые поля относятся к числу наиболее изученных алгебраических полей. В частности, там имеются теоремы об описании соответствующих идеалов и о распределении их норм в арифметических прогрессиях, явно заданных алгебраическим полем.
Для решётки совместных приближений А(#1,... , 0а), заданной равенством
где 01,...,0а — произвольные иррациональные числа. Важность таких решеток уже обсуждалась в связи с проблемой Литлвуда.
Легко видеть, что взаимная решетка А*(01,... , 0а) имеет вид
Естественно предполагать, что гиперболические дзета-функции этих решеток связаны некоторым функциональным уравнением между значениями в левой и правой полуплоскостях. Для алгебраической решётки ) = ), где решётка
Л(0Ь ... ,0а) = {(д,дО 1 - Р1,.. .,дда - Ра) | Я,Р1, . . . , Ра € Ъ},
Л* (01, . . . , 0а) = {(д - 01Р1 - ... - 0аРа,Р1, . . . ,Ра) | д,Р1, . . . , Ра € Ъ}.
Для произвольной решётки Л. Если для произвольной решётки гиперболическая дзета-функция не продолжается на всю комплексную плоскость (что весьма сомнительно), то требуется описать класс всех решёток, для которых гиперболическая дзета функция аналитически продолжается на всю комплексную плоскость, кроме точки а = 1, в которой полюс 5-го порядка.
По-видимому, ключом к решению проблемы аналитического продолжения является дальнейшее изучение возможности предельного перехода для гиперболических дзета-функций декартовых решеток в левой полуплоскости по сходящейся последовательности декартовых решёток.
Если такой предел всегда существует, то, переходя в функциональном уравнении слева и справа к пределу, получим функциональное уравнение для предельной решётки. Наиболее перспективно должно быть получение функционального уравнения только в терминах взаимных решёток, так как сходимость последовательности решёток эквивалентна сходимости соответствующих взаимных решёток.
Здесь необходимо подчеркнуть, что основная сложность должна быть в случае, когда предельная решётка недекартовая и имеет тольку одну главную компоненту. Например, все алгебраические решётки относятся к этому случаю.
Проблема поведения в критической полосе
На важность этой проблемы указывал в беседах Н. М. Коробов. Он высказывал гипотезу, что аналитическое продолжение гиперболической дзета-функции решётки в критическую полосу из правой полуплоскости и аналитическое продолжение в критическую полосу гиперболической дзета-функции взаимной решетки или присоединенных решеток из левой полуплоскости позволит получать константы в соответствующих теоремах переноса.
Проблема значений тригонометрических сумм сеток
Нормированные тригонометрические суммы параллелепипедальных сеток имеют два значения: 0 и 1. Для нормированных тригонометрических сумм двумерных сеток Смоляка таких значений три:
0. 1 и -1. Для неравномерных сеток имеется или хорошая равномерная оценка 0(1/\/^), или они равны 1.
Очень важно получить оценки нормированных тригонометрических сумм для алгебраических сеток.
Если эти суммы имеют спектр значений не сосредоточенный около точек 0 и 1, то алгебраические сетки нельзя хорошо приблизить параллелепипедальными сетками, а алгебраические решётки нельзя хорошо приблизить целочисленными решётками.
Библиографический список
1. Коробов Н. М. Теоретико-числовые методы в приближенном анализе. 2-е изд. М. : МЦНМО, 2004.
2. Добровольский Н. М. Гиперболическая дзета-функция решёток. Тула, 1984. Деп. в ВИНИТИ 24.08.84, № 6090-84.
3. Добровольская Л. П., Добровольский М. Н., Добровольский Н. М., Добровольский Н. Н. Гиперболические дзета-функции сеток и решёток и вычисление оптимальных коэффициентов // Чебышевский сб. 2012. Т. 13, вып. 4(44). Тула : Из-во Тульск. гос. пед. ун-та им. Л. Н. Толстого. С. 4-107.
4. Добровольская Л. П., Добровольский М. Н., Доб-
ровольский Н. М, Добровольский Н. Н. Многомерные теоретико-числовые сетки и решётки и алгоритмы поиска оптимальных коэффициентов. Тула : Изд-во Тульск. гос. пед. ун-та им. Л. Н. Толстого, 2012. 283 с.
5. Добровольский Н. М. Многомерные теоретико-числовые сетки и решётки и их приложения. Тула : Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2005. 195 с.
6. Добровольский М. Н. Функциональное уравнение для гиперболической дзета-функции целочисленных решёток // Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2007. № 3. С. 18-23.
Some Questions of Number-theoretical Method in Approximation Analysis
L. P. Dobrovolskaya1, M. N. Dobrovolsky2, N. M. Dobrovol'skii3, N. N. Dobrovol'skii4, I. Y. Rebrova5
1 Institute of Economics and Management, Russia, 300041, Tula, Veresaeva st., [email protected] 2Geophysical center RAS, Russia, 119296, Moscow, Molodezhnaya str., 3, [email protected] 3Tula State Pedagogical University, Russia, 300026, Tula, pr. Lenina, 125, [email protected] 4Tula State University, Russia, 300600, Tula, pr. Lenina, 92, [email protected] 5Tula State Pedagogical University, Russia, 300026, Tula, pr. Lenina, 125, [email protected]
This article gives an overview of several actual problems of optimal coefficients method. This overview was done on September 12, 2013 on XI internation conference «Algebra and number theory: modern problems and applications» in Saratov city.
Key words: optimal coefficients method, algebraic lattices, Gelfond theorem, hyperbolic zeta-function.
References
1. Korobov N. M. Teoretiko-chislovye metody v pri-blizhennom analize [Number-theoretic methods in approximations analysis]. Moscow, 2004 (in Russian).
2. Dobrovolskiy N. M. Giperbolicheskaia dzeta-funktsiia reshetok [Hyperbolic zeta-function on lattices]. Tula, 1984. Dep. v VINITI 24.08.84, no. 6090-84 (in Russian).
3. Dobrovolskaya L. P., Dobrovolskiy M. N., Dobrovolskiy N. M., Dobrovolskiy N. N. Giperbolicheskie dzeta-funktsii setok i reshetok i vychislenie optimal'nykh koeffitsientov [Hyperbolic zeta-functions on nets and lattices and computation of optimal coefficients]. Chebyshevskii sbornik [Chebyshev collection], 2012, vol. 13, iss. 4(44), pp. 4-107 (in Russian).
4. Dobrovolskaya L. P., Dobrovolskiy M. N., Dobrovols-kiy N. M., Dobrovolskiy N. N. Mnogomernye teoretiko-
YflK 512.567.5
chislovye setki i reshetki i algoritmy poiska optimal'nykh koeffitsientov [Multidimensional number-theoretic nets and lattices and their applications]. Tula, State Pedagogic University Press, 2005, 195 p. (in Russian).
5. Dobrovolskiy N. M. Mnogomernye teoretiko-chislovye setki i reshetki i ikh prilozheniia [Multidimensional number-theoretic nets and lattices and their applications]. Tula, State Pedagogic University Press, 2005, 195 p. (in Russian).
6. Dobrovolskiy M. N. Funktsional'noe uravnenie dlia giperbolicheskoi dzeta-funktsii tselochislennykh reshetok [Functional equation of hyperbolic zeta-function on integral lattices]. Vestn. Mosk. un-ta. Ser. 1. Matematika. Mekhanika, 2007, iss. 3, pp. 18-23 (in Russian).
ОБ УСЛОВИЯХ ДИСТРИБУТИВНОСТИ И МОДУЛЯРНОСТИ РЕШЕТОК КОНГРУЭНЦИЙ КОММУТАТИВНЫХ УНАРНЫХ АЛГЕБР
В. К. Карташов1, А. В. Карташова2, В. Н. Пономарёв
1 Кандидат физико-математических наук, заведующий кафедрой алгебры, геометрии и математического анализа, Волгоградский государственный социально-педагогический университет, [email protected]
2Кандидат физико-математических наук, доцент кафедры алгебры, геометрии и математического анализа, Волгоградский государственный социально-педагогический университет, [email protected]
Статья посвящена известной проблеме описания унарных алгебр, решетки конгруэнций которых обладают заданным свойством. К настоящему времени эта проблема решена для унарных алгебр с одной операцией. Показано, что для произвольных коммутативных унарных алгебр данная проблема является гораздо более сложной. Здесь приводится несколько необходимых условий дистрибутивности и модулярности таких решеток. Доказано также, что решетка всех подмножеств любого множества изоморфна решетке конгруэнций подходящей связной коммутативной унарной алгебры.
Ключевые слова: коммутативная унарная алгебра, дистрибутивная решетка, модулярная решетка, решетка конгруэнций алгебры.
