Математики РУДН использовали идеи XIX века для улучшения современных систем компьютерной алгебры

Математики РУДН использовали идеи XIX века для улучшения современных систем компьютерной алгебры

Математики РУДН дополняют функционал системы компьютерной алгебры Sage новыми возможностями, касающимися символьного интегрирования. При этом были реализованы идеи и методы немецкого математика Карла Вейерштрасса, созданные еще в 1870-х годах.

Первая компьютерная программа, которая может вычислять интегралы от элементарных функций, была создана в конце 1950-х годов. Тогда разработчики показали, что компьютер можно использовать не только как арифмометр, но и для задач, решение которых требует «размышлений». Пример такой задачи — интегрирование в символьном виде, то есть не с конкретными цифрами, а в буквенных, абстрактных обозначениях. Однако тогда же стало ясно, что ни человек, ни компьютер не в состоянии на основе методов, изучаемых в университетском курсе анализа, выяснить за конечное число действий, берется ли заданный интеграл в элементарных функциях, или нет. Поэтому в 1960-е годы к разработке символьных интеграторов были привлечены методы, разработанные Лиувиллем еще в 1830-х годах, и тем самым начат процесс освоения классического наследия в компьютерных науках.

Одним из наиболее тонких мест в разработке интеграторов оказалось вычисление первообразных от алгебраических функций. Интегрирование алгебраических функций, или абелевых интегралов, является одной из тех задач, которые до Первой мировой войны казались важнейшими, а после нее были прочно забыты. «Существующие системы компьютерной алгебры в состоянии удовлетворить самые экзотические запросы студентов, обучающихся математическому анализу. Однако в то же время далеко не всегда эти системы распознают интегралы, которые берутся в элементарных функциях. Есть несколько пакетов для интегрирования алгебраических функций или с абелевыми интегралами, но их развитие остановилось лет 15 назад, а функционал остается весьма и весьма скромным», — говорит доктор физико-математических наук Михаил Малых, доцент кафедры прикладной информатики и теории вероятностей РУДН. Именно этому сложному вопросу посвящена статья математиков.

Одна из теорий в этой области, созданная 1870-х годах немецким математиком Карлом Вейерштрассом, сводит вычисление интеграла от алгебраической функции к вычислению некоторого набора известных интегралов всего трех типов. Исходный интеграл представляется в виде суммы стандартных интегралов — эта конструкция называется нормальной формой абелева интеграла. Математики РУДН доказали, что такое представление позволяет сразу определить, можно ли заданный интеграл посчитать в элементарных функциях. Чтобы проверить теоретические выкладки, математики протестировали их на примере простейших эллиптических интегралов. Проверку провели с помощью программного пакета, который математики представили в 2017 году, — он позволяет вычислять коэффициенты нормальной формы интеграла. В дальнейшем математики надеются провести аналогичные исследования для более широкого класса интегралов.

Результаты опубликованы в Journal of Symbolic Computation.

Статья в Indicator.ru

Новости
Все новости
Наука
20 октября
«Небольшие биологические фабрики»: ученый РУДН Никита Митькин — о первых результатах исследования по «настройке» личинок на переработку разных видов отходов

Личинки мухи «чёрная львинка» в мире все чаще используются для утилизации отходов. Ученые института экологии РУДН поставили перед собой амбициозную задачу: понять, как тот или иной набор микроорганизмов в кишечнике личинок влияет на эффективность переработки разных видов отходов и как меняется состав микробиома в зависимости от условий питания. Никита Митькин — кандидат биологических наук, старший научный сотрудник института экологии РУДН, рассказал о первых результатах этого трехлетнего исследования. В частности, ученые доказали, что набор микроорганизмов микробиома способен перестраиваться. Теперь предстоит установить, какие именно изменения являются функционально полезными и можно ли воспроизвести их целенаправленно, «запрограммировав» личинок чёрной львинки на переработку определенного вида сырья.

Наука
20 октября
В РУДН разрабатывают прототип водородного источника электропитания

Коллектив института инженерных инновационных технологий РУДН под руководством старшего научного сотрудника Михаила Юрьевича Задорожного получил грант университета на разработку и исследование прототипа металлогидридной системы для аккумулирования энергии. Проект поддержан в рамках конкурса 2026 года на выполнение НИР/НИОКР научными коллективами под руководством молодых учёных.

Наука
19 октября
Я б в учёные пошёл: в РУДН рассказали школьникам и студентам о первых шагах в науке

Попробовать поискать ответ на вопрос, а почему происходит то или иное явление, — это уже наука, заявил на Фестивале науки в РУДН Фёдор Оцелюк, студент аграрно-технологического института. По его словам, разница между школьниками, студентами и настоящими учёными вовсе не в гениальности, а лишь в понимании того, «куда нести свой вопрос». Преподаватели и студенты дали советы будущим учёным, с чего именно начать путь в науку, как обрести единомышленников и стать частью научного сообщества.