Научная статья на тему 'Аппроксимация чисел ω—дробями'

Аппроксимация чисел ω—дробями Текст научной статьи по специальности «Математика»

CC BY
233
41
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
НЕПРЕРЫВНЫЕ ДРОБИ / ПОЛУРЕГУЛЯРНЫЕ НЕПРЕРЫВНЫЕ ДРОБИ / КОЭФФИЦИЕНТЫ АППРОКСИМАЦИИ / ТЕОРЕМА ВАЛЕНА / Q-НЕПРЕРЫВНЫЕ ДРОБИ / АНАЛОГ ТЕОРЕМЫ БОРЕЛЯ
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Аппроксимация чисел ω—дробями»

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

Том 14 Выпуск 4 (2013)

УДК 511.9

АППРОКСИМАЦИЯ ЧИСЕЛ ft—ДРОБЯМИ 1

О. А. Горкуша (ХО ИПМ ДВО РАН г. Хабаровск)

Аннотация

Пусть вещественное число x из (0,1) представлено в виде Q— дроби x = [0; e1/b1,..., £\/bn,...], которая относится к одному из классов по-лурегулярных дробей. Обозначим через [An/Bn}n^1 последовательность подходящих дробей Q— дроби числа x и через {Yn}n^1 последовательность коэффициентов аппроксимации с Yn = Yn(x) = Bn\x — An/Bn\. В работе мы доказываем, что min(Yn_1, Yn, Yn+1) ^ 1 ^л/5 для всех натуральных чисел п.

Ключевые слова: непрерывные дроби, полурегулярные непрерывные дроби, коэффициенты аппроксимации, теорема Валена, Q-непрерывные дроби, аналог теоремы Бореля.

APPROXIMATION BY ft— CONTINUED FRACTIONS

O. A. Gorkusha (c. Khabarovsk)

Abstract

Let x € (0,1) be a real number, x = [0; e1/b1,..., e1/bn,...] be its expansion in Q— continued fraction. Let An/Bn be its nth convergent and Yn = Yn(x) = Bn\x — An/Bn\. In this note we prove the analog of the classical theorems by Borel and Hurwitz on the quality of the approximations for Q— continued fractions: min(Yn_1, Yn, Yn+1) ^ 1/л/б. The result is best possible.

Keywords: continued fractions, semi-regular continued fractions, approximation coefficients, Vahlen’s theorem, Q-continued fraction expansion, analogue of Borel’s theorem.

хРабота выполнена при поддержке фонда РФФИ, гранты N 11-01-00628-а, N 11-01-12004-офи-м-2011.

§1. Введение

В 1891 году А. Гурвиц опубликовал работу [1], в которой он доказал фундаментальный результат, касающийся аппроксимации иррациональных чисел рациональными: для каждого иррационального числа х существует бесконечно много рациональных чисел р/д таких, что

р

х----

Я

1

<

В 1903 году Е. Борель в работе [2] предпринял попытку найти эти числа. Борель доказал следующее утверждение: пусть х = [а0; а1,... ,ап,...] — представление числа х в виде регулярной непрерывной дроби, где а0 — целое и аі (і ^ 1) — натуральные числа. Пусть Pn/Qn = [а0; а1,..., ап-1 ] — подходящая дробь этой непрерывной дроби с номером п и 0п = 0п(х) = Q‘n\x — Pn/Qn\ — коэффициент аппроксимации с номером п числа х регулярной дробью. Тогда

шіп(0п-і, 0п, 0п+1 ) ^ -7=.

л/5

Как видим, теорема Бореля утверждает, что по крайней мере одна из трех последовательных подходящих дробей удовлетворяет результату Гурвица.

Кроме регулярных непрерывных дробей существует множество других методов аппроксимации. Среди них — представление числа х в виде полурегулярной непрерывной дроби

х = [Ьо; Єі/Ьі, ... ,Єп/Ьп, ...],

где Ь0— целое число, Ьі(і ^ 1) — натуральные числа, єі Є { — 1,1}(і ^ 1). Обозначим через {Ап/Бп}п^1 с

А

-П = [Ьо; Єі/Ьі, ... ,Єі/Ьп-і]

Бп

— последовательность подходящих дробей рассматриваемой непрерывной дроби, а через {Тп}п^і с _ _

Ап

Тп = Б2

п

х — б

п

— последовательность коэффициентов аппроксимации этой же непрерывной дроби. Хорошо известно, что последовательность {Ап/Бп}п^\ образует подпоследовательность последовательности {Pn/Qn}n^l подходящих дробей регулярной непрерывной дроби числа х. Поэтому возникает опасность потери точности аппроксимации числа х подходящими дробями соответствующих непрерывных дробей. В качестве примера приведем результат для полурегулярных дробей с выбором минимального по модулю остатка.

В работе [3] Н. Jager и С. Кгаа1кашр получили любопытный результат: для каждого п ^ 1

■ ^ ^ ^ ^ 5(5л/5 — 11)

min(Tra_i, 1п, Tra+i) ^ ^--•

А в работе [4] J. Tong показал, что для любого числа к ^ 1 и для каждого n ^ 1

2 2 1

min(Tn_i, • ••, Tn+fc) ^ ^——, «1 = -, а = -----------------•

3 + v 5 — 2afc 5 3 ai_i

Из всех этих результатов следует, что есть "разрыв"между аппроксимациями двух видов при любой длине последовательности коэффициентов аппроксимации дробей полурегулярных дробей с выбором минимального по модулю остатка. Тоже можно сказать и о других классах полурегулярных непрерывных дробей — работы [5], [6].

В этой статье мы показываем, что аппроксимируя вещественное число Q— дробями, мы не теряем качество аппроксимации.

Теорема 1. Для каждого иррационального числа x

min(Yn_i(x), Yn(x), Yn+i(x)) ^ , n ^ 1,

5

где {Yn(x)}n^i — последовательность коэффициентов аппроксимации для Q— дроби числа x•

§2. Некоторые свойства Q— дробей

Все утверждения, приведенные в этом параграфе, доказываются в работах [7], [8] и поэтому мы приводим их без доказательств. В перечисленных работах было показано, что Q— дробь вещественного числа x — полурегулярная дробь, полученная из регулярной дроби в результате процесса сжатия относительно фиксированной области сжатия S С D, где D = ([0,1] \ Q) х [0,1]^ Определим области А, Д_, Д+ и Y, Y+ ,Y_ следующим образом:

Д = D \ S, Д_ = {(T,V)\(V,T) G S}, Д+ = А \ Д_;

Y+ = Д+Л_ = F(Д_),Y = Y+UY_, F(t,v)=( — 1 — Vj.

Свойство 1.[8, §2], [8, Лемма 2]

1. Область S лежит в ([1/2,1] \ Q) х [0, !]•

2. Области S и A не пересекаются.

Далее определим операторы Ф+ : У+ м Ф+(У+), Ф_ : У_ м Ф_(У_), Ф : У м Ф(У) соотношениями

Ф+м Ф_ (і, у)

і

ф(і,у) = I

1 + іУ 1 + іУ

V —і

1 + іУ 1 + ІУ

Ф+(і,у), (і,у) Є У+;

Ф_(і,у), (і,У) Є У_.

Свойство 2. [8, §5] Для любого вещественного числа х и для каждого п ^ 1 точка (Тп_1, Тп), где Тп_1, Тп — коэффициенты аппроксимации числа х П— дробью этого числа, распределена в области Ф+(У+), если єп = 1 ив области Ф_(У_), если єп = —1.

Кроме этого нам понадобятся свойства полурегулярных дробей, которые мы приведем без доказательств. Полное изложение представлено, в частности, в работе [9]: Для каждого п ^ 1

^ _ Уп+1 ^ __ єп+1іп+1 1Л \

^ п “ : , ^ п+1

1 + tn+lVn+l 1 + tn+1vn+1

tn [0, £'п/Ьп, ^п+1/Ьп+1 )•••]) Vn [0, 1 /Ьп- 1, £'п—1/Ьп—2 , • • • , ^2/Ь1]. (2)

§3. Доказательство основного результата

Лемма 1. Точка Р1 = не принадлежит области Ф_(У_).

Доказательство. Предположим обратное. Тогда, согласно определению

оператора Ф_, точке Р1 соответствует точка Р2 = (л'/5_3, Л'/5Т3) в области У_. А из определения множества Д_ следует, что этой точке соответствует точка Рз = (^, ^5_1) в области Д_.

С другой стороны, если принять во внимание свойство 1, то получим, что область Д_ лежит выше отрезка {(Т,Т)|Т £ [0,1]}. Этот вывод противоречит полученному утверждению. Лемма доказана.

Лемма 2. Для каждого п ^ 1

^п+1 = £п+1(£п^п_1 + Ьпл/ 1 — 4£пТп_1^п — ЬП^п).

ДОКАЗАТЕЛЬСТВО. Воспользуемся формулами (1), (2) и выразим коэффициенты аппроксимаци Тп_1 , Тп, Тп+1 через Ьп, vn, ^n+l, vn+1• Затем, учитывая соотношение Ьп = т—^т—, получаем зависимость Тп_ 1, Тп, Тп+1 от vn,tn+1,vn+1, в

ьп\^и + 1

том числе и равенство

т 1

-1- г,

- п

Ьп + іп+1 + єпУп

V

Выражая отсюда vn и из равенства Тп+1 = 1+++1^++1 выражая vn+1, получим равенства

£пТп_1 (Ьп + Ъп+1) Тп (Ьп + Ъп+1) ,

Тп+1 £п+1(Ъп+1 ^п^п+1 ).

С учетом неравенства 1^п < 1 выразим Ъп+1 :

, = 1 + V1 — 4£п^п_1^п ,

^+1 ьП.

21 п

Отсюда сейчас же получаем утверждение леммы.

Теперь мы в состоянии доказать теорему, сформулированную во введении. ДОКАЗАТЕЛЬСТВО. Из свойства 2 следует, что для каждого п ^ 1

(Хп_1 , Тп) £ Ф+(У+), £п =1;

(^п_1 , Тп) £ Ф_(У_), £п = — 1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если хотя бы одна из точек (Тп_1, Тп), (Тп, Тп+1 ) не лежит в области Ф' = |(^1,^2) £ Ф+(У+) ^1,^2 ^ |,

то доказывать нечего. И если (Тп_1, Тп) принадлежит области Ф_(У_), то справедливость теоремы вытекает из леммы 1.

Осталось рассмотреть случай, когда (Тп_1, Тп), (Тп, Тп+1) £ Ф'. При таких условиях £п = £п+1 = 1 и Ьп =1. Из леммы 2 следует, что функция относитель-п_1, !п, по которой вычисляется !п+1, имеет максимальное значение, равное ^. Следовательно

ш1п(Тп_1, Тп, Тп+1 ) ^ ,

у5

из чего следует утверждение теоремы.

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

1. Hurwitz A. Uber die angenaherte Darstekkung der Irrationalzahlen durch rationale Bruche // Math. Ann. 1891. №39. P. 279-284.

2. Borel E. Contribution a l’analyse arithmetique do continu // J. Math. Pures. Appl. 1903. №9. P. 329-375.

3. Jager H., Kraaikamp C. On the approximation by continued fractions // J. Math. Pures. Appl. 1989. №92. P. 289-307.

4. Tong J. Approximation by nearest integer continued fractions // Math. Scand. 1992. №71. P. 161-166.

5. Kraaikamp C., Shmidt T., Smeets L. Tong’s spectrum for Rosen continued fractions // Journal de Theorie des Nombres de Bordeaux 2007. №19. P. 641661.

6. Hartono Y. Ergotic Properties of Continued Fraction Algorithms. Delft University Press 2003. ISBN 90-407-2381-8

7. Горкуша О. А. О конечных цепных дробях специального вида // Чебышев-ский сборник. 2008. Т. 9, №1(25). С. 80-108.

8. Горкуша О. А. Некоторые метрические свойства Q— дробей // Чебышевский сборник. 2012. T. 13, №2. С. 28-58.

9. Dajani K., Kraaikamp C. Ergotic Theory of Numbers Carus Mathematical Monographs, 29. Mathematical Association of America, Washington, DC, 2002. 190 p.

Хабаровское отделение Института прикладной математики Дальневосточного

отделения Российской академии наук.

Поступило 12.09.2013

i Надоели баннеры? Вы всегда можете отключить рекламу.