Информационный портал по безопасности » Программирование » 100 лет спустя: заполненные пропуски в записях Рамануджана

 

100 лет спустя: заполненные пропуски в записях Рамануджана

Автор: admin от 2-06-2015, 17:27, посмотрело: 695

100 лет спустя: заполненные пропуски в записях Рамануджана

Перевод поста Олега Маричева и Майкла Тротта "After 100 Years, Ramanujan Gap Filled".
Скачать файл, содержащий текст статьи, интерактивные модели и весь код, приведенный в статье, можно здесь.
Выражаю огромную благодарность Кириллу Гузенко за помощь в переводе.
Сто лет назад Сриниваса Рамануджан и Г. Х. Харди начали знаменитую переписку о настолько поразительных вещах в математике, что Харди описал это как нечто едва возможное, чтобы в это поверить. Первого мая 1913-го года Рамануджан получил постоянную должность в Университете Кембриджа. Через пять лет и один день он стал научным сотрудником королевского общества, а его группа стала самой престижной на тот момент научной группой в мире. В 1919-ом году Рамануджан смертельно заболел во время длительного путешествия на пароходе Нагоя в Индию, которое проходило с 27-го февраля по 13-ое марта. Всё, что у него было — блокнот и ручка (да, никакой Mathematica в то время), и перед смертью он хотел оставить на бумаге свои уравнения. Он утверждал, что у него есть решения для целого ряда функций, однако ему хватало времени записать лишь несколько, прежде чем перейти к другим областям математики. Он записал следующее неполное уравнение и 14 других (см. ниже), из которых только три на данный момент решены.

100 лет спустя: заполненные пропуски в записях Рамануджана

Он умирал несколько месяцев, вероятно, от печёночного амёбиаза. Его последний блокнот был отправлен Университетом Мадраса к Г. Х. Харди, который затем передал его математику Г. Н. Уотсону. В 1965-ом году, когда Уотсон умер, директор колледжа нашёл блокнот в его офисе, отбирая документы на уничтожение. Джордж Эндрюс заново открыл этот блокнот в 1976 году и, наконец, в 1987 году он был опубликован. Брюс Берндт и Эндрюс писали об утерянном Блокноте Рамануджана в серии книг (Часть 1, Часть 1, и Часть 1). Как сказал Берндт: «Открытие этого „утерянного блокнота“ вызвало бум в математическом мире такой же, какой могло бы вызвать открытие десятой симфонии Бетховена в мире музыкальном».

В своей книге, анализируя результаты Рамануджана, Берндт указывает на существование решения для 100 лет спустя: заполненные пропуски в записях Рамануджана, однако отмечает, что решение является не особо изящным, чтобы его в ней приводить. Как будет показано ниже, существует решение столь же изящное, сколь и остальные, найденные самим Рамануджаном.

100 лет спустя: заполненные пропуски в записях Рамануджана

Что означает это уравнение? Начнём со сравнения арифметической и геометрической прогрессий.

Сумма первых n членов некоторой арифметической прогрессии: 1 + 2 + 3 + … + n.

Сумма первых n членов некоторой геометрической прогрессии: a1 + a2 + a3 + … + an.

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

Вот другая форма арифметической прогрессии, представленная в форме непрерывных дробей:

100 лет спустя: заполненные пропуски в записях Рамануджана

где символ 100 лет спустя: заполненные пропуски в записях Рамануджана соответствует функции ContinuedFractionK в Mathematica.

Аналогично, «геометрический» вариант непрерывных дробей известен как функция R Роджерса-Рамануджана. Она родственна функции S Роджерса-Рамануджана (Леонард Джеймс Роджерс публиковался вместе с Рамануджаном в 1919-ом году). В «утерянном блокноте» F(q) представляется как S(q).

R(q) — непрерывная дробь следующего вида:

100 лет спустя: заполненные пропуски в записях Рамануджана

И аналогично для S(q). (Использование множителя 100 лет спустя: заполненные пропуски в записях Рамануджана делает формулы более «удобными»). Вот более формальные определения:

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Эти функции связаны соотношением 100 лет спустя: заполненные пропуски в записях Рамануджана. Многие опубликованные работы упоминают S(q) = -R(-q), но это неверно из-за многолистности корня в комплексной области. Мы так же можем задать R и S через q-символы Похгаммера для существенного ускорения вычислений.

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Вот иллюстрация поведения функции R в единичном кругеk на комплексной плоскости. Полученные значения могут быть комплексными, поэтому отображены действительная, мнимая части, аргумент и абсолютное значение (Im, Re, Arg и Abs) функции R(q). Сама единичная окружность является естественной границей аналитичности этой функции и содержит множество особенностей функции R(q). Как можно заметить, функции Роджерса-Рамануджана красивы не только из-за своих математических свойств, но и чисто визуально.

100 лет спустя: заполненные пропуски в записях Рамануджана

Функции R и S — две из небольшого количества именованных функций, связанных с непрерывными дробями. В последнее время мы собирали теоремы и формулы для функций R и S, включая незавершённые из «утерянного блокнота» Рамануджана. Последняя строчка эквивалентна 100 лет спустя: заполненные пропуски в записях Рамануджана.

100 лет спустя: заполненные пропуски в записях Рамануджана

Многие из них были повторно найдены после Рамануджана. Все из них легко решаются в Mathematica. Приведём известные решения, начиная с тех, которые появились ранее, а так же те, которые Олег Маричев впервые реализовал в Mathematica.

100 лет спустя: заполненные пропуски в записях Рамануджана

Брюс Берндт отметил: «значение 100 лет спустя: заполненные пропуски в записях Рамануджана может быть определено через значение 100 лет спустя: заполненные пропуски в записях Рамануджана и известное уравнение, связывающее R(q5) с R(q). Не будем приводить здесь полученное значение, потому что оно не особо изящно.»

С Simplify, RootReduce и многими другими функциями Mathematica большие уравнения могут быть сведены к своей самой изящной форме. Рамануджан использовал мел и свой интеллект для упрощения получаемых результатов — громоздкие он стирал из своего списка, а изящные оставлял. Кажется вероятным, что Рамануджан на самом деле знал изящное решение, или по крайней мере способ найти его, но у него уже не оставалось времени, чтобы его записать. Вот метод, который мы использовали. Сперва следует получить численное значение в интересующей точке. Далее следует получить некоторую замкнутую алгебраическую форму для этого числа. Затем выразить полученное алгебраическое число через конструкцию из радикалов. Затем нужно проверить полученную форму численно с первоначальным значением с очень высокой точностью.

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

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

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Поскольку они оба — алгебраические числа весьма изящного вида, то это — довольно убедительная проверка. И метод легко может быть обобщён для поиска многих неизвестных на данный момент значений S(q) и R(q).

Фактическое доказательство может быть реализовано через модульные уравнения (modular equations). Это модульное уравнение 5-го порядка для S:

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Мы используем ранее известное значение 100 лет спустя: заполненные пропуски в записях Рамануджана для S(q5) и решаем уравнение относительно S(q), чтобы получить значение 100 лет спустя: заполненные пропуски в записях Рамануджана.

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Избавившись от знаменателей, получаем приведённый ниже результат.

100 лет спустя: заполненные пропуски в записях Рамануджана

100 лет спустя: заполненные пропуски в записях Рамануджана

Уравнения Рамануджана близки по тематике к нашей недавней работе — добавлению множества различных знаний о непрерывных дробях в Wolfram|Alpha. В одном из следующих постов мы расскажем о новых возможностях, таких как ввод запроса о цепной дроби K (1, n, {n, 1, inf}).

Мы так же составили список сотен точных значений в интерактивной демонстрации “Ramanujan R and S”.

100 лет спустя: заполненные пропуски в записях Рамануджана

«Не особо изящно» — это то, чего никак нельзя сказать о работах Рамануджана. И мы рады были показать, насколько изящны его идеи.

Источник: Хабрахабр

Категория: Программирование

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Добавление комментария

Имя:*
E-Mail:
Комментарий:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent