CC BY
35
УДК 511.2
СРЕДНИЕ ЗНАЧЕНИЯ ОТКЛОНЕНИЙ ДЛЯ РАСПРЕДЕЛЕНИЯ ТОЧЕК НА ТОРЕ
А.А. Абросимова
Владимирский государственный университет, пр. Строителей, 11, Владимир, 600024, Россия, e-mail: [email protected]
Аннотация. В работе рассмотрен пример множеств ограниченного остатка на двумерном торе. Для этих множеств найдены оценки остаточного члена равномерного распределения, доказана формула для среднего значения остаточного члена.
Ключевые слова: множества ограниченного остатка, распределение дробных долей, развертка тора, перекладывающиеся фигуры.
1. Введение. Г.Вейль в работе [6] ввел понятие последовательности, равномерно распределенной по модулю 1, а также доказал критерий равномерного распределения. В той же работе были приведены первые примеры последовательностей, равномерно распределенных по модулю 1. Простейшей из таких последовательностей является последовательность {га)г^\ при иррациональном а.
Пусть X - некоторый интервал и г(а,г,Х) = { : 0 < ] < г, {]а} € X}, где {ж} обозначает дробную долю. Тогда теорема Вейля о равномерном распределении эквивалентна асимптотической формуле г(а,г,Х) = г\Х\ + о(г), где \Х\ - длина интервала X.
Пусть 5(а,г,Х) = г(а,г,Х) — 1\Х\ - остаточный член этой формулы. Множество X называется множеством ограниченного остатка, если существует С такое, что
\ 6(а,г,Х)\ ^ С
для всех г. Первые примеры таких множеств были построены в работе Гекке [1], который доказал, что интервалы I длины вида а + Ьа, а, Ь € ^ являются интервалами ограниченного остатка и для них справедлива оценка
\ $(а,г,1)\ ^ \Ь\.
Полное описание одномерных интервалов ограниченного остатка было найдено в [2], а в работе [11] были получены неулучшаемые по порядку оценки остаточного члена.
Более сложной является задача о множествах ограниченного остатка в двумерном случае. Известно только небольшое число таких множеств[3], [5], [8]. Большинство известных примеров строятся на основе результатов эргодической теории, что не позволяет получить явных оценок остаточного члена.
Целью данной работы является построение множеств ограниченного остатка в двумерном случае, получение явной оценки остатка или отклонения на этих множествах, а также определение средних значений отклонений для данных множеств.
Основные результаты, полученные в работе, были представлены в докладе на VIII Международной конференции «Алгебра и теория чисел: современные проблемы и приложения» [7].
Автор выражает благодарность В. Г. Журавлеву и А. В. Шутову за внимание к работе и стимулирующие обсуждения.
2. Одномерный случай. Рассмотрим поворот Sa : x ^ x + a mod 1 единичной окружности C = T1 на угол а.
Окружности T1 можно поставить в соответствие единичный полуинтервал T1 = [0,1), который можно разбить на два полуинтервала T1 = Tq1 U T1, где Tq1 = [0,1 — a),T1 = [1 — а, 1). Тогда повороту окружности T1 на вектор а будет соответствовать перекладывание полуинтервалов Tq и T1:
S : T1 ^ T1 : S (x) = x + vk ,
где x Є Tl,k = 0,1, vQ = a,v1 = a — 1.
Определим счетные функции rQ(i) и r1(i) соответственно для полуинтервалов TQ и T1
rQ(i) = Ш; {ja} < 1 — a, 0 < j < i},r1(i) = Ш; {ja} > 1 — a 0 < j <i},
где {x} обозначает дробную часть числа x. Рассмотрим отклонения 5k(i) счетных функций rk(i), k = 0,1 от ожидаемой величины :
5Q(i) = rQ(i) — i(1 — a), 51(i) = r1(i) — ia.
В этом случае теорема Гекке [1] дает следующую оценку
I 5q(z)| < 1, | 5x(i)| < 1
для всех i = 0,1, 2,....
3. Двумерный случай. В качестве аналога единичной окружности рассмотрим единичный тор
T2 = r2/z2 .
Будем сдвигать его на вектор a = (a1, a2):
Sa : T2 ^ T2 : x і—> Sa(x) = x + amodZ2 . (1)
Определим развертку тора. Любой точке с = (с1,с2) из области C = {с = (с1,с2) Є R2; Сі > 0, min(c1,c2) ^ 1} поставим в соответствие шестиугольник Tc с координатами вершинам (0, 0), (—c1,1 — с2), (0,1), (1 — c1,1 — с2), (1,0), (1 — c1, —с2) (рис. 1).
У шестиугольника Т2 противоположные стороны параллельны и, если с.\ + с2 ^ 1, то он выпуклый.
Параллельными переносами на векторы I из квадратной решетки Z2 шестиугольником Т2 можно замостить Т = ІІ/єж2-^2И плоскость К2. Таким образом шестиугольник Т2 является фундаментальной областью для квадратной решетки Z2 и его можно рассматривать как развертку тора ТГ2.
Вектор а в данном случае будем выбирать такой, что а = іс, где 0 < і < 1. Сдвигая разбиение Т на вектор —а, при этом сама область Т2 остается неподвижной, получим ее разбиение на три фигуры: шестиугольник Т02 и два параллелограмма Т2 и Т22, - с площадями соответственно
ЙО = 1 — О і — О'2 = О'СЬ ^1 = ^1) ^2 = 0-2 • (2)
Фигура Т2 будет являться перекладывающейся разверткой тора (рис. 2), т.е. существует преобразование
Бг, : Т2 —> Т2 : х —> 8г,(х) = х + Уд. , (3)
где г>к - вектора перекладывания для областей Т2, к=0, 1, 2, и они соответственно равны По = (сі'і, О'2)і VI = (а'1 - 1, а2), г;2 = (а'і, а2 - 1) • (4)
Предложение 1. Пусть дан сдвиг тора определяемый выражением (1) , п пусть для развертки тора разбитой на области Т2 = Т02 и Т2 и Т22 с площадями (2) задано перекладывание (3). Тогда выполняется равенство
Я(Т2) = 5„( Т2)тос1£2. (5)
□ Так как преобразование Бъ отображает шестиугольник Т2 на себя, то для доказательства предложения достаточно доказать, что для любого х Е Т2 точки Бь (х) и х + а различаются на векторы решетки Z2.
0, х Є Т02 ;
Бъ(х) — (х + а) = ¡і, х Є ТІ2 ;
Г2
¡2, х Є Т2,
где ¡і(—1, 0), ¡2(0, —1) Є Ъ2. Получили требуемый результат. ■
Определим теперь для каждой области Т2, где к = 0,1, 2, счетные функции
Гк(і) = Ш : Ба(0) Є Т2к, 0 < з < і} ,
по аналогии с одномерным случаем, и отклонения 8и(і) счетных функций Гк(і) от ожидаемой величины іа к, где а к - площадь области Т%
4 (і) = Гк (і) — іак. (6)
Относительно отклонений в двумерном случае доказана следующая теорема.
Теорема 1. Пусть дан сдвиг тора Ба на иррациональный вектор а, т.е. числа аі, а2, 1 линейно независимы над Ъ. Пусть тор Т2 разбит на области Т|: Т2 = Т и Ті и Т^ Тогда для отклонений выполняются неравенства:
—Сі — С2 ^ 5о(і) ^ 2, —1 ^ 5і(г) ^ сі, —1 ^ 4(і) ^ С2. (7)
□ Функции г к (г) можно рассматривать, как количество попаданий точек Б3а (0), 0 ^ ] < 1 в область Т2, и их сумма равна
го(г) + Г\(г) + Г2(г) = г. (8)
Так как развертка Т2 является перекладывающейся, то
Го(г)Уо + Г1 (г)VI + Г2(г)^2 Е Т2 .
Найдем проекции данного соотношения на направления задаваемые векторами е1 и е2 соответственно
-С1 ^ (го(г) + Г2(г))а1 - Г1 (г)(1 - а1) ^ 1, (9)
С-2 ^ (го(г) + Г1(г))а2 - Ыг)(1 - а2) ^ 1. ()
Неравенства (7) получаются при решении системы неравенств (9) с учетом соотно-
шений (6) и (8). ■
Таким образом, границы отклонений 8к(і) не зависят не только от і, но и от вектора сдвига, а определяются только размерами развертки Т2. Теорема 2 является двумерным обобщением теоремы Гекке, а области Т)2, где к = 0,1, 2 - множествами ограниченного остатка относительно сдвига на вектор а.
4. Средние значения отклонений. Для нахождения средних значений отклонений введем понятие векторной дробной части ^У(х) и суммарного векторного отклонения 8 (і).
Определим для любого х Є К2 векторную дробную часть ^У(х), полагая ^г(х) = х', где х' = хшоё Ъ2 и х' Є Т2 [10].
Суммарное векторное отклонение определим, как векторнозначную функцию
8(і) = Го(і)^о + Гі (і)Уі + Г 2 (і)У2 (10)
для і = 0, 1, 2, . . . .
Из равенств (4) и (8) следует, что (10) примет вид
8(і) = іа + Гі(і)1і + г2(і)12 • (11)
Предложение 2. Справедливо равенство
8(і) = Гг(іа). (12)
□ Рассмотрим перекладывание (3). Тогда
БІ = іа + Гі(і)уі + г2(і)^2 ,
т.е.
б; = 8(і) •
Из этого равенства,предложения 1 и определения векторной дробной части следует соотношение (12). ■
Определим среднее значение векторного отклонения
{8)=л« N £8(і) ■ (13)
і<г<«
если предел существует.
Относительно средних значений отклонений доказана следующая теорема. Теорема 2. Пусть дан сдвиг тора на вектор а. Пусть вектор а иррациональный, т.е. числа аі,а2,1 линейно независимы над Ъ. Тогда:
1. Существует среднее значение {8) (13) векторного отклонения 8(і), и оно вычисляется по формуле
{8) = Ст2 , (14)
где СТ2 = СТ2 ((1 - с1)/2, (1 - с2)/2) - центр тяжести фигуры Т2.
2. Для любого к = 0, 1, 2 существуют средние значения отклонений
Для доказательства формулы (15) найдем проекции векторного отклонения 8(г) (11) на направления векторов е1 и е2 и воспользуемся формулой (14). В
1. Hecke E., IJber Analytische Funktionen und die Verteilung von Zahlen mod. eins // Math. Sem. Hamburg. Univ. - 1921. - 1. - P.54-76.
2. Kesten H. On a conjecture of Erdös and Szüsz related to uniform distribution mod 1 // Acta Arithmetica. - 1966. - 12. - P.193-212.
3. Liardet P. Regularities of distribution // Compositio Math. - 1987. - 61. - P.267-293.
4. Oren I. Admissible functions with multiplie discontinioutes // Israel J.Math. - 1982. - 42. -P.353-360.
5. Rauzy G. Nombres alge 0 briques et substitutions // Bull. Soc. Math. France - 1982/ - 110. -
contidel Circolo Mathematico di Palermo. - 1910. - 30. - P.377-407.
7. Абросимова А.А., Журавлев В.Г. Двумерное обобщение теоремы Гекке и сбалансированные слова / Алгебра и теория чисел: современные проблемы и приложения:тез. докл. VIII Международной конференции, посвященной 190-летию П.Л. Чебышева и 120-летию И.М. Виноградова (Саратов, 12-17 сентября 2011 г.) / Саратов: Изд-во Сарат.ун-
та, 2011. - С.3-4.
8. Журавлев В.Г. Разбиения Рози и множества ограниченного остатка // Записки научных семинаров ПОМИ. - 2005. - 322. - С.83-106.
и они соответственно равны
(15)
□ Из формулы (12) следует
(16)
1^г^М
1^г^М
Для доказательства (14) воспользуемся формулой (16) и критерием Вейля
Литература
P.147-178.
6. Weyl H. Über die Gibbs’sche Erscheinung und verwandte Konvergenzphänomene // Rendi-
9. Журавлев В.Г., Геометризация теоремы Гекке // Чебышевский сборник. - 2010. - 11;1. -С.125-144.
10. Журавлев В.Г. Многомерное обобщение теоремы Гекке // Алгебра и анализ. - 2012. -24;1. - С.1-33.
11. Шутов А.В. Оптимальные оценки в проблеме распределения дробных долей на множествах ограниченного остатка // Вестник СамГУ. Естественнонаучная серия. - 2007. -5;3. - С.112-121.
AVERAGE VALUES FOR DEVIATION DISTRIBUTION OF POINTS ON THE TORUS
A.A. Abrosimova
Vladimir State University,
Stroiteley Av., 11, Vladimir, 600024, Russia, e-mail: [email protected]
Abstract. New examples of bounded remainder sets on two-dimensional torus are under consideration. For these sets we prove estimates of the remainder term of the uniform distribution problem. We also prove the exact formula for the average value of remainder term.
Key words: bounded remainder sets, distribution of fractional parts, toric development, exchanged domains.
