Теория диофантовых приближений (Mykjnx ;nksgumkfd] hjnQln'yunw)

Перейти к навигации Перейти к поиску

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

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

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

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

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

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

[править | править код]

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

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

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

  1. Глобальный, изучающий общие законы аппроксимации. Примеры глобальных утверждений — теоремы Дирихле и Кронекера, гипотеза Минковского о произведениях линейных форм.
  2. Индивидуальный подход касается свойств специальных чисел (алгебраические числа, ) или требует построения чисел с определёнными свойствами (числа Лиувилля, T-числа Малера).
  3. Метрический подход, занимающий промежуточное положение. Подход требует описания аппроксимационных свойств чисел на основе теории меры[1].

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

[править | править код]

Если задано вещественное число α, существуют два пути для определения лучшего диофантова приближения числа α. В первом определении [2] рациональное число p/q является наилучшим диофантовым приближением числа α, если

для любого рационального числа p'/q' , отличного от p/q, такого, что 0 < q′ ≤ q.

Во втором определении[3][4] вышеприведённое неравенство заменяется на

Наилучшее приближение для второго определения является наилучшим для первого определения, но обратное неверно[5].

Теория непрерывных дробей позволяет вычислить наилучшее приближение вещественного числа — для второго определения дроби сходятся как обычные непрерывные дроби[4][5][6]. Для первого определения следует рассматривать также промежуточные дроби[2].

Примечание: Условимся обозначать через  подходящие дроби данной цепной дроби. Дроби  образуют при чётном k возрастающую, а при нечётном  k — убывающую последовательность. Крайние члены этой последовательности  — подходящие дроби одинаковой чётности. Промежуточные между ними члены называются промежуточными дробями[7]. 

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

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

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

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

[править | править код]

Очевидной мерой точности диофантова приближения вещественного числа α рациональным числом p/q является . Однако эту величину всегда можно сделать как угодно малой за счёт увеличения абсолютных значений p и q. По этой причине точность приближения обычно сравнивается с некоторой функцией φ от знаменателя q, обычно — отрицательной степени знаменателя.

Для такой оценки можно использовать верхнюю границу нижних границ точности. Нижняя граница обычно описывается теоремой, наподобие «Для любого элемента α некоторого подмножества вещественных чисел и любого рационального числа p/q имеем ». В некоторых случаях «любое рациональное число» может быть заменено на «все рациональные числа, за исключением конечного количества», и это количество учитывается путём умножения φ на некоторую константу, зависящую от α.

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

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

[править | править код]

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

Плохо приближаемые числа — это в точности числа с ограниченными неполными частными[8].

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

[править | править код]

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

[править | править код]

Рациональное число может быть очевидным образом прекрасно приближено числами при любом положительном целом i.

Если мы имеем

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

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

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

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

[править | править код]

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

для всех целых p и q, где q > 0.

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

,

которая не удовлетворяет теореме Лиувилля, какую бы степень n ни выбрали.

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

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

[править | править код]

Более века было много попыток улучшить теорему Лиувилля — любое улучшение границы позволяет нам доказать трансцендентность большего количества чисел. Основные улучшения сделали Аксель Туэ[9], Карл Зигель[10], Фримен Дайсон[11] и Клаус Рот[12], приведшие, в конце концов, к теореме Туэ-Зигеля-Рота — Если x является иррациональным алгебраическим числом и ε, (малое) положительное вещественное число, то существует положительная константа c(x, ε), такая, что

для любых целых чисел p и q, таких, что q > 0.

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

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

[править | править код]

Впоследствии Вольфганг Шмидт[англ.] обобщил это для случая совместных приближений, доказав, что если x1, ..., xn являются алгебраическими числами, такими, что 1, x1, ..., xn линейно независимы нaд рациональными числами, и задано любое положительное вещественное число ε, то существует только конечное число рациональных n-кортежей (p1/q, ..., pn/q), таких, что

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

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

[править | править код]

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

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

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

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

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

[править | править код]

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

[править | править код]

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

.

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

Через несколько лет эта теорема была улучшена до следующей теоремы Бореля (1903)[13]. Для любого иррационального числа α существует бесконечно много дробей , таких, чтобы:

.

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

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

[править | править код]

Определение: Два вещественных числа называются эквивалентными[14][15], если имеются целые числа с , такие, что:

Эквивалентность определяется целым преобразованием Мёбиуса над вещественными числами или членом модулярной группы , множеством обратимых 2 × 2 матриц над целыми числами. Каждое рациональное число эквивалентно 0. Таким образом, рациональные числа является классом эквивалентности этого отношения.

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

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

выполняется

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

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

[править | править код]

Как сказано выше, константа в теореме Бореля не может быть улучшена, что показал Гурвиц в 1891[17]. Пусть  — золотое сечение. Тогда для любой вещественной константы существует только конечное число рациональных чисел p/q, таких, что

Следовательно, улучшение может быть получено, только если исключить числа, эквивалентные . Более точно[18][19]: Для любого рационального числа , которое не эквивалентно , существует бесконечно много дробей , таких, что

Путём последовательного исключения классов эквивалентности — каждое должно исключать числа, эквивалентные  — можно поднять нижнюю границу. Значения, которые можно получить в результате этого процесса — это числа Лагранжа, являющиеся частью спектра Лагранжа[англ.]. Они сходятся к числу 3 и связаны с числами Маркова[20][21].

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

[править | править код]

Пусть является невозрастающей функцией от положительных чисел в положительные вещественные числа. Вещественное число x (не обязательно алгебраическое) называется -аппроксимируемым, если существует бесконечно много рациональных чисел p/q, таких, что[22]

Хинчин в 1926-м году доказал, что если последовательность расходится, то почти все вещественные числа (в смысле меры Лебега) являются -аппроксимируемыми, а в случае сходимости последовательности почти любое вещественное число -аппроксимируемым не является.

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

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

[править | править код]

Важным примером функции , к которой можно применить теорему Хинчина, является функция , где c > 1. Для этой функции соответствующие ряды сходятся, так что, по теореме Хинчина, множество -аппроксимируемых чисел имеет на вещественной оси нулевую меру Лебега. Теорема Ярника — Безиковича утверждает, что размерность Хаусдорфа этого множества равна [26]. В частности, множество чисел, -аппроксимируемых для некоторого (известных как очень хорошо аппроксимируемые числа), имеет размерность единица, в то время как множество чисел, -аппроксимируемых для всех (известных как числа Лиувилля), имеет хаусдорфову размерность ноль.

Другим важным примером является функция , где . Для этой функции соответствующие последовательности расходятся, и, по теореме Хинчина, почти все числа -аппроксимируемы. Иными словами, эти числа хорошо приближаемы (то есть не являются плохо приближаемыми). Таким образом, аналог теоремы Ярника — Безиковича должен касаться хаусдорфовой размерности плохо приближаемых чисел. И Ярник, действительно, доказал равенство единице хаусдорфововой размерности множества таких чисел. Этот результат улучшил Шмидт[англ.], показавший, что множество плохо приближаемых чисел несжимаемо в том смысле, что если  — последовательность билипшицевых отображений, то хаусдорфова размерность множества чисел x, для которых все плохо приближаемы, равна единице. Шмидт обобщил теорему Ярника на более высокие размерности, что является существенным достижением, поскольку использующие аппарат непрерывных дробей рассуждения Ярника существенно опираются на одномерность пространства.

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

[править | править код]

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

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

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

[править | править код]

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

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

[править | править код]

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

Примечания

[править | править код]
  1. Спринджук, 1977, с. 4—5 Предисловие.
  2. 1 2 Хинчин, 1978, с. 32.
  3. Касселс, 1961, с. 10.
  4. 1 2 Ленг, 1970, с. 19.
  5. 1 2 Хинчин, 1978, с. 35.
  6. Касселс, 1961, с. 10–17.
  7. Хинчин, 1978, с. 21—22.
  8. Bugeaud, 2012, с. 245.
  9. Thue, 1909.
  10. Siegel, 1921.
  11. Dyson, 1947.
  12. Roth, 1955.
  13. Perron, 1913, с. Chapter 2, Theorem 15.
  14. Hurwitz, 1891, с. 284.
  15. Hardy, Wright, 1979, с. Chapter 10.11.
  16. См. статью Перрона (Perron 1929, Chapter 2, Theorem 23, p. 63)
  17. Hardy, Wright, 1979, с. 164.
  18. Касселс, 1961, p. 21.
  19. Hurwitz, 1891.
  20. Касселс, 1961, с. 29.
  21. См. Michel Waldschmidt: Introduction to Diophantine methods irrationality and transcendence Архивная копия от 9 февраля 2012 на Wayback Machine, pp 24-26.
  22. Спринджук, 1977, с. 9 Глава I.
  23. Duffin, Schaeffer, 1941.
  24. Спринджук, 1977, с. 23.
  25. Beresnevich, Velani, 2006.
  26. Bernik, Beresnevich, Götze, Kukso, 2013, с. 24.

Литература

[править | править код]
  • Victor Beresnevich, Sanju Velani. A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures // Annals of Mathematics. — 2006. — Т. 164. — С. 971–992. — doi:10.4007/annals.2006.164.971.
  • V. Bernik, V. Beresnevich, F. Götze, O. Kukso. Distribution of algebraic numbers and metric theory of Diophantine approximation // Limit Theorems in Probability, Statistics and Number Theory: In Honor of Friedrich Götze / Peter Eichelsbacher, Guido Elsner, Holger Kösters, Matthias Löwe, Franz Merkl, Silke Rolles. — Heidelberg: Springer, 2013. — Т. 42. — С. 23–48. — (Springer Proceedings in Mathematics & Statistics). — doi:10.1007/978-3-642-36068-8_2.
  • Yann Bugeaud. Distribution modulo one and Diophantine approximation. — Cambridge: Cambridge University Press, 2012. — Т. 193. — ISBN 978-0-521-11169-0.
  • Дж. В. С. Касселс. Введение в теорию диофантовых приближений. — М.: Издательство иностранной литературы, 1961.
  • R. J. Duffin, A. C. Schaeffer. Khintchine's problem in metric diophantine approximation // Duke Mathematical Journal. — 1941. — Т. 8. — С. 243–255. — ISSN 0012-7094. — doi:10.1215/s0012-7094-41-00818-9.
  • Freeman Dyson. The approximation to algebraic numbers by rationals // Acta Mathematica. — 1947. — Т. 79. — С. 225–240. — ISSN 0001-5962. — doi:10.1007/BF02404697.
  • G. H. Hardy, E. M. Wright. An Introduction to the Theory of Numbers. — 5th. — Oxford University Press, 1979. — ISBN 978-0-19-853170-8.
  • A. Hurwitz. Ueber die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche (нем.) // Mathematische Annalen. — 1891. — Bd. 39, H. 2. — S. 279–284. — doi:10.1007/BF01206656.
  • А. Я. Хинчин. Цепные дроби. — 4. — М.: «Наука», ГИФМЛ, 1978.
  • D. Y. Kleinbock, G. A. Margulis. Flows on homogeneous spaces and Diophantine approximation on manifolds // Ann. Math.. — 1998. — Т. 148, вып. 1. — С. 339–360. — doi:10.2307/120997. — JSTOR 120997.
  • С. Ленг. Введение в теорию диофантовых приближений. — М.: «Мир», 1970. — (Библиотека сборника «Математика»). — ISBN 0-387-94456-7.
  • G. A. Margulis. A panorama of number theory or the view from Baker's garden. — Cambridge: Cambridge University Press, 2002. — С. 280–310. — ISBN 0-521-80799-9.
  • Oskar Perron. Die Lehre von den Kettenbrüchen (нем.). — Leipzig: B. G. Teubner, 1913.
  • Oskar Perron. Die Lehre von den Kettenbrüchen (нем.). — 2nd. — Chelsea, 1929.
  • Klaus Friedrich Roth. Rational approximations to algebraic numbers // Mathematika. — 1955. — Т. 2. — С. 1–20, 168. — ISSN 0025-5793. — doi:10.1112/S0025579300000644.
  • Wolfgang M. Schmidt. Diophantine approximation. — =1996. — Berlin-Heidelberg-New York: Springer-Verlag, 1980. — Т. 785. — (Lecture Notes in Mathematics). — ISBN 3-540-09762-7.
  • Wolfgang M. Schmidt. Diophantine approximations and Diophantine equations. — =2nd. — Springer-Verlag, 1996. — Т. 1467. — (Lecture Notes in Mathematics). — ISBN 3-540-54058-X.
  • Carl Ludwig Siegel. Approximation algebraischer Zahlen // Mathematische Zeitschrift. — 1921. — Т. 10, вып. =3. — С. 173–213. — ISSN 0025-5874. — doi:10.1007/BF01211608.
  • В. Г. Спринджук. Метрическая теория диофантовых приближений. — М.: ГРФМЛ «Наука», 1977.
  • A. Thue. Über Annäherungswerte algebraischer Zahlen // Journal für die reine und angewandte Mathematik. — 1909. — Т. 135. — С. 284–305. — ISSN 0075-4102. — doi:10.1515/crll.1909.135.284.