Русская Википедия:Теория диофантовых приближений

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Теория диофантовых приближений — раздел теории чисел, изучающий приближения вещественных чисел рациональными; назван именем Диофанта Александрийского.

Первой задачей был вопрос, насколько хорошо вещественное число может быть приближено рациональными числами. Для этой задачи рациональное число a/b является «хорошим» приближением вещественного числа α, если абсолютное значение разности a/b и α не может быть уменьшено, если заменить a/b другой рациональной дробью с меньшим знаменателем. Задача была решена в XVIII столетии посредством непрерывных дробей.

Если известны «лучшие» приближения заданного числа, главной задачей области является поиск точных верхней и нижней границ вышеупомянутой разности, выраженной как функция от знаменателя.

Похоже, границы зависят от природы вещественных чисел — нижняя граница приближения рациональных чисел другим рациональным числом больше, чем нижняя граница алгебраических чисел, которая сама больше нижней границы для вещественных чисел. Таким образом, вещественные числа, которые могут быть лучше приближены, чем граница для алгебраических чисел, это определённо трансцендентные числа. Это дало возможность Лиувиллю в 1844 году получить первое явно заданное трансцендентное число. Позднее с помощью аналогичного метода было доказано, что <math>\pi</math> и <math>e</math> являются трансцендентными.

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

Исторические замечания

После того, как Борель и Хинчин установили, что почти все числа допускают лишь «наихудшую аппроксимацию» рациональными числами, сформировалось направление метрической теории диофантовых приближений (теория приближений независимых величин), которое относится к классической ветви диофантовых приближений.

Новое веяние пришло с неожиданной стороны. Малер, классифицируя трансцендентные числа, сформулировал основную метрическую проблему теории трансцендентных чисел — гипотезу о «мере трансцендентности» почти всех чисел. Когда гипотеза была доказана, стала открываться глубокая связь между классической теорией диофантовых приближений и метрической теорией трансцендентных чисел. Результатом стало развитие нового направления — теория приближений зависимых величин.

В современной теории выделяется три основных подхода.

1. Глобальный, изучающий общие законы аппроксимации. Примеры глобальных утверждений — теоремы Дирихле и Кронекера, гипотеза Минковского о произведениях линейных форм.
2. Индивидуальный подход касается свойств специальных чисел (алгебраические числа, <math>e, \pi, \ln 2</math>) или требует построения чисел с определёнными свойствами (числа Лиувилля, T-числа Малера).
3. Метрический подход, занимающий промежуточное положение. Подход требует описания аппроксимационных свойств чисел на основе теории мерыШаблон:Sfn.

Лучшие диофантовы приближения вещественных чисел

Шаблон:Main Если задано вещественное число Шаблон:Math, существуют два пути для определения лучшего диофантова приближения числа Шаблон:Math. В первом определении Шаблон:Sfn рациональное число Шаблон:Math является наилучшим диофантовым приближением числа Шаблон:Math, если

<math>\left|\alpha -\frac{p}{q}\right|< \left|\alpha -\frac{p'}{q'}\right|,</math>

для любого рационального числа Шаблон:Math, отличного от Шаблон:Math, такого, что Шаблон:Math.

Во втором определенииШаблон:SfnШаблон:Sfn вышеприведённое неравенство заменяется на

<math>\left|q\alpha -p\right|< \left|q^\prime\alpha - p^\prime\right|.</math>

Наилучшее приближение для второго определения является наилучшим для первого определения, но обратное неверноШаблон:Sfn.

Теория непрерывных дробей позволяет вычислить наилучшее приближение вещественного числа — для второго определения дроби сходятся как обычные непрерывные дробиШаблон:SfnШаблон:SfnШаблон:Sfn. Для первого определения следует рассматривать также промежуточные дробиШаблон:Sfn.

Примечание: Условимся обозначать через <math>\frac{p_k}{q_k}</math> подходящие дроби данной цепной дроби. Дроби <math>\tfrac{p_{k-2}}{q_{k-2}}, \tfrac{p_{k-2} + p_{k-1}}{q_{k-2} + q_{k-1}}, \tfrac{p_{k-2} + 2p_{k-1}}{q_{k-2} + 2q_{k-1}}, ..., \tfrac{p_{k-2} + a_k p_{k-1}}{q_{k-2} + a_k q_{k-1}} = \tfrac{p_k}{q_k}</math> образуют при чётном k возрастающую, а при нечётном  k — убывающую последовательность. Крайние члены этой последовательности  — подходящие дроби одинаковой чётности. Промежуточные между ними члены называются промежуточными дробямиШаблон:Sfn. 

Например, константа e = 2,718281828459045235… имеет представление в виде непрерывной дроби

<math>[2;1,2,1,1,4,1,1,6,1,1,8,1,\ldots\;].</math>

Её лучшие представления по второму определению

<math> 3, \tfrac{8}{3}, \tfrac{11}{4}, \tfrac{19}{7}, \tfrac{87}{32}, \ldots\, ,</math>

В то время как по первому определению лучшими представлениями будут

<math>3, \tfrac{5}{2}, \tfrac{8}{3}, \tfrac{11}{4}, \tfrac{19}{7},

\tfrac{49}{18}, \tfrac{68}{25}, \tfrac{87}{32}, \tfrac{106}{39}, \ldots\, .</math>

Мера точности приближений

Очевидной мерой точности диофантова приближения вещественного числа Шаблон:Math рациональным числом Шаблон:Math является <math>\left|\alpha-\frac{p}{q}\right|</math>. Однако эту величину всегда можно сделать как угодно малой за счёт увеличения абсолютных значений Шаблон:Math и Шаблон:Math. По этой причине точность приближения обычно сравнивается с некоторой функцией Шаблон:Math от знаменателя Шаблон:Math, обычно — отрицательной степени знаменателя.

Для такой оценки можно использовать верхнюю границу нижних границ точности. Нижняя граница обычно описывается теоремой, наподобие «Для любого элемента Шаблон:Math некоторого подмножества вещественных чисел и любого рационального числа Шаблон:Math имеем <math>\left|\alpha-\frac{p}{q}\right|>\phi(q)</math>». В некоторых случаях «любое рациональное число» может быть заменено на «все рациональные числа, за исключением конечного количества», и это количество учитывается путём умножения Шаблон:Math на некоторую константу, зависящую от Шаблон:Math.

Для верхних границ можно брать в расчёт факт, что не все «лучшие» диофантовы приближения, получаемые при построении непрерывной дроби, могут дать желаемую точность. Поэтому теоремы принимают форму «Для любого элемента Шаблон:Math некоторого подмножества вещественных чисел существует бесконечно много рациональных чисел Шаблон:Math, таких, что <math>\left|\alpha-\frac{p}{q}\right|<\phi(q)</math>».

Плохо приближаемые числа

Плохо приближаемое число — это число x, для которого существует положительная константа c, такая, что для всех рациональных p/q мы имеем

<math>\left|{ x - \frac{p}{q} }\right|> \frac{c}{q^2} \ . </math>

Плохо приближаемые числа — это в точности числа с ограниченными неполными частнымиШаблон:Sfn.

Нижние границы для диофантовых приближений

Приближение рациональных чисел другими рациональными числами

Рациональное число <math>\alpha =\frac{a}{b}</math> может быть очевидным образом прекрасно приближено числами <math>\tfrac{p_i}{q_i} = \tfrac{i\,a}{i \,b}</math> при любом положительном целом i.

Если <math>\tfrac{p}{q} \not= \alpha = \tfrac{a}{b}\,,</math> мы имеем

<math> \left|\frac{a}{b} - \frac{p}{q}\right|= \left|\frac{aq-bp}{bq}\right|\ge \frac{1}{bq},</math>

поскольку <math>|aq-bp|</math> является положительным целым и поэтому не меньше 1. Эта точность приближения плоха относительно иррациональных чисел (см. следующий раздел).

Можно заметить, что приведённое доказательство использует вариант принципа Дирихле — неотрицательное число, не равное 0, не меньше 1. Эта явно тривиальное замечание используется почти во всех доказательствах для нижних границ диофантовых приближений, даже более сложных.

Подводя итоги, рациональное число прекрасно приближается им самим, но плохо приближается любым другим рациональным числом.

Приближение алгебраических чисел, результат Лиувилля

В 1840-х годах Жозеф Лиувилль получил первую нижнюю границу для приближения алгебраических чисел — если x является иррациональным алгебраическим числом степени n над рациональными числами, то существует константа Шаблон:Nowrap, такая, что

<math> \left|x- \frac{p}{q} \right|> \frac{c(x)}{q^{n}}</math>

для всех целых p и q, где Шаблон:Nowrap.

Этот результат позволил ему получить первый доказанный пример трансцендентного числа, константы Лиувилля:

<math>

\sum_{j=1}^\infty 10^{-j!} = 0,110001000000000000000001000\ldots\, </math>, которая не удовлетворяет теореме Лиувилля, какую бы степень n ни выбрали.

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

Приближение алгебраических чисел, теорема Туэ-Зигеля-Рота

Более века было много попыток улучшить теорему Лиувилля — любое улучшение границы позволяет нам доказать трансцендентность большего количества чисел. Основные улучшения сделали Аксель ТуэШаблон:Sfn, Карл ЗигельШаблон:Sfn, Фримен ДайсонШаблон:Sfn и Клаус РотШаблон:Sfn, приведшие, в конце концов, к теореме Туэ-Зигеля-Рота — Если Шаблон:Math является иррациональным алгебраическим числом и Шаблон:Math, (малое) положительное вещественное число, то существует положительная константа Шаблон:Math, такая, что

<math>

   \left|x- \frac{p}{q} \right|>\frac{c(x, \varepsilon)}{q^{2+\varepsilon}}

</math> для любых целых чисел Шаблон:Math и Шаблон:Math, таких, что Шаблон:Math.

В некотором смысле, этот результат оптимален, поскольку утверждение теоремы неверно при ε=0. Это непосредственное следствие верхних границ, описанных ниже.

Совместные приближения алгебраических данных

Шаблон:Main Впоследствии Шаблон:Не переведено 5 обобщил это для случая совместных приближений, доказав, что если Шаблон:Math являются алгебраическими числами, такими, что Шаблон:Math линейно независимы нaд рациональными числами, и задано любое положительное вещественное число Шаблон:Math, то существует только конечное число рациональных Шаблон:Math-кортежей Шаблон:Math, таких, что

<math>|x_i-p_i/q|<q^{-(1+1/n+\varepsilon)},\quad i=1,\ldots,n.</math>

Опять этот результат оптимален в том смысле, что нельзя убрать Шаблон:Math из экспоненты.

Эффективные границы

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

Тем не менее, усовершенствование Шаблон:Не переведено 5 Фельдманом обеспечивает эффективную границу — если x является алгебраическим числом степени n над рациональными числами, то существуют эффективно вычислимые константы c(x) > 0 и 0 < d(x) < n, такие, что

<math>\left|x- \frac{p}{q} \right|>\frac{c(x)}{|q|^{d(x)}} </math>

выполняется для всех рациональных чисел.

Однако, как и для любой эффективной версии теоремы Бейкера, константы d и 1/c столь велики, что этот эффективный результат на практике применить невозможно.

Верхняя граница для диофантовых приближений

Общая верхняя граница

Первым важным результатом о верхних границах для диофантовых приближений является теорема Дирихле о приближениях, из которой следует, что для любого иррационального числа Шаблон:Math существует бесконечно много дробей <math>\tfrac{p}{q}</math>, таких, что:

<math>\left|\alpha-\frac{p}{q}\right|< \frac{1}{q^2}</math>.

Отсюда следует немедленно, что невозможно избавиться от Шаблон:Math в утверждении теоремы Туэ-Зигеля-Рота.

Через несколько лет эта теорема была улучшена до следующей теоремы Бореля (1903)Шаблон:Sfn. Для любого иррационального числа Шаблон:Math существует бесконечно много дробей <math>\tfrac{p}{q}\;</math>, таких, чтобы:

<math>\left|\alpha-\frac{p}{q}\right|< \frac{1}{\sqrt{5}q^2}</math>.

Поэтому <math>\frac{1}{\sqrt{5}\, q^2}</math> является верхней границей диофантовых приближений любого иррационального числа. Константа в этом результате не может быть улучшена без исключения некоторых иррациональных чисел (см. ниже).

Эквивалентные вещественные числа

Определение: Два вещественных числа <math>x,y</math> называются эквивалентнымиШаблон:SfnШаблон:Sfn, если имеются целые числа <math>a,b,c,d\;</math> с <math>ad-bc = \pm 1\;</math>, такие, что:

<math>y = \frac{ax+b}{cx+d}\, .</math>

Эквивалентность определяется целым преобразованием Мёбиуса над вещественными числами или членом модулярной группы <math>\text{SL}_2^{\pm}(\Z)</math>, множеством обратимых 2 × 2 матриц над целыми числами. Каждое рациональное число эквивалентно 0. Таким образом, рациональные числа является классом эквивалентности этого отношения.

Эта эквивалентность может охватывать обычные непрерывные дроби, как показывает следующая теорема Серре:

Теорема: Два иррациональных числа x и y эквивалентны тогда и только тогда, когда существует два положительных целых h и k, таких, что при представлении чисел x и y в виде непрерывных дробей

<math>x=[u_0; u_1, u_2, \ldots]\, ,</math>

<math>y=[v_0; v_1, v_2, \ldots]\, ,</math>

выполняется

<math>u_{h+i}=v_{k+i}</math>

для любого неотрицательного целого i.

Спектр Лагранжа

Шаблон:Main Как сказано выше, константа в теореме Бореля не может быть улучшена, что показал Гурвиц в 1891Шаблон:Sfn. Пусть <math>\phi = \tfrac{1+\sqrt{5}}{2}</math> — золотое сечение. Тогда для любой вещественной константы <math>c > \sqrt{5}\;</math> существует только конечное число рациональных чисел Шаблон:Math, таких, что

<math>\left|\phi-\frac{p}{q}\right|< \frac{1}{c\, q^2}.</math>

Следовательно, улучшение может быть получено, только если исключить числа, эквивалентные <math>\phi</math>. Более точноШаблон:SfnШаблон:Sfn: Для любого рационального числа <math>\alpha</math>, которое не эквивалентно <math>\phi</math>, существует бесконечно много дробей <math>\tfrac{p}{q}\;</math>, таких, что

<math>\left|\alpha-\frac{p}{q}\right|< \frac{1}{\sqrt{8} q^2}.</math>

Путём последовательного исключения классов эквивалентности — каждое должно исключать числа, эквивалентные <math>\sqrt 2</math> — можно поднять нижнюю границу. Значения, которые можно получить в результате этого процесса — это числа Лагранжа, являющиеся частью Шаблон:Не переведено 5. Они сходятся к числу 3 и связаны с числами МарковаШаблон:Sfn.

Теорема Хинчина и её расширения

Пусть <math>\psi</math> является невозрастающей функцией от положительных чисел в положительные вещественные числа. Вещественное число x (не обязательно алгебраическое) называется <math>\psi</math>-аппроксимируемым, если существует бесконечно много рациональных чисел p/q, таких, чтоШаблон:Sfn

<math>\left|x- \frac{p}{q} \right|< \frac{\psi(q)}{|q|}.</math>

Хинчин в 1926-м году доказал, что если последовательность <math>\sum_{q} \psi(q) </math> расходится, то почти все вещественные числа (в смысле меры Лебега) являются <math>\psi</math>-аппроксимируемыми, а в случае сходимости последовательности почти любое вещественное число <math>\psi</math>-аппроксимируемым не является.

Даффин и ШафферШаблон:Sfn доказали более общую теорему, из которой следует результат Хинчина и высказали гипотезу, теперь известную как гипотеза Даффина — ШаффераШаблон:Sfn. Бересневич и Велани Шаблон:Sfn доказали, что аналог гипотезы Даффина — Шаффера на мере Хаусдорфа эквивалентна исходной гипотезе Даффина — Шаффера, которая априори слабее.

Размерность Хаусдорфа исключительных множеств

Важным примером функции <math>\psi</math>, к которой можно применить теорему Хинчина, является функция <math>\psi_c(q) = q^{-c}</math>, где c > 1. Для этой функции соответствующие ряды сходятся, так что, по теореме Хинчина, множество <math>\psi_c</math>-аппроксимируемых чисел имеет на вещественной оси нулевую меру Лебега. Теорема Ярника — Безиковича утверждает, что размерность Хаусдорфа этого множества равна <math>1/c</math>Шаблон:Sfn. В частности, множество чисел, <math>\psi_c</math>-аппроксимируемых для некоторого <math>c > 1</math> (известных как очень хорошо аппроксимируемые числа), имеет размерность единица, в то время как множество чисел, <math>\psi_c</math>-аппроксимируемых для всех <math>c > 1</math> (известных как числа Лиувилля), имеет хаусдорфову размерность ноль.

Другим важным примером является функция <math>\psi_\epsilon(q) = \epsilon q^{-1}</math>, где <math>\epsilon > 0</math>. Для этой функции соответствующие последовательности расходятся, и, по теореме Хинчина, почти все числа <math>\psi_\epsilon</math>-аппроксимируемы. Иными словами, эти числа хорошо приближаемы (то есть не являются плохо приближаемыми). Таким образом, аналог теоремы Ярника — Безиковича должен касаться хаусдорфовой размерности плохо приближаемых чисел. И Ярник, действительно, доказал равенство единице хаусдорфововой размерности множества таких чисел. Этот результат улучшил Шаблон:Не переведено 5, показавший, что множество плохо приближаемых чисел несжимаемо в том смысле, что если <math>f_1,f_2,\ldots</math> — последовательность билипшицевых отображений, то хаусдорфова размерность множества чисел x, для которых все <math>f_1(x),f_2(x),\ldots</math> плохо приближаемы, равна единице. Шмидт обобщил теорему Ярника на более высокие размерности, что является существенным достижением, поскольку использующие аппарат непрерывных дробей рассуждения Ярника существенно опираются на одномерность пространства.

Однородное распределение

Другой исследуемый раздел — это теория Шаблон:Не переведено 5. Возьмём последовательность a₁, a₂, … вещественных чисел и рассмотрим их дробные части. То есть, более формально, рассмотрим последовательность в R/Z, являющуюся циклической (можно рассматривать как окружность). Для любого интервала I на окружности мы рассматриваем долю элементов вплоть до некоторого целого N, лежащих внутри интервала, и сравниваем это значение с долей окружности, занимаемой интервалом I. Однородное распределение означает, что в пределе, по мере роста N, доля попаданий в интервал стремится к 'ожидаемой' величине. Вейль доказал базовый результат, что это эквивалентно ограниченности сумм Вейля, образованных из последовательности. Это показывает, что диофантовы приближения тесно связаны с общей задачей взаимного сокращения в суммах Вейля (оценки остаточного члена), которые появляются в аналитической теории чисел.

Связанная с равномерным распределением тема — тема неравномерности распределений, имеющая комбинаторную природу.

Нерешённые проблемы

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

Последние исследования

На пленарном заседании Международного конгресса математиков в Киото (1990) Григорий А. Маргулис очертил широкую программу, базирующуюся на эргодической теории, которая позволяет доказать теоретико-числовые результаты с использованием динамических и эргодических свойств действий подгрупп полупростых групп Ли. Работа Д. Я. Клейнбока и Г. А. Маргулиса (с соавторами) демонстрирует силу этого нового подхода к классическим задачам диофантовых приближений. Среди заметных достижений — доказательство Маргулисом выдвинутой десятки лет назад Шаблон:Не переведено 5 с дальнейшими расширениями (Дани и Маргулис, Эскин-Маргулис-Мозес), и доказательство Клейнбоком и Маргулисом гипотез Бейкера и Спринджука о диофантовых приближениях на многообразиях. Различные обобщения вышеупомянутых результатов Хинчина о метрических диофантовых приближениях были получены с помощью этого метода.

См. также

• Теорема Дэвенпорта — Шмидта
• Гипотеза Даффина — Шаффера
• Шаблон:Не переведено 5

Литература

• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Статья

Ссылки

• Diophantine Approximation: historical survey Шаблон:Wayback. From Introduction to Diophantine methods course by Michel Waldschmidt.
• Шаблон:Springer