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

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

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

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

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

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

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

Статья в Indicator.ru

Новости
Все новости
Наука
22 сентября
«Растения постоянно «разговаривают» с бактериями»: интервью с директором агробиотехнологического департамента РУДН

В аграрно-технологическом институте РУДН работает лаборатория агробиотехнологии и молекулярной генетики — место, где классическая агрономия встречается с современными молекулярными технологиями. Сегодня это уже целый научно-исследовательский комплекс: теплица с автоматизированными системами контроля микроклимата, лаборатории искусственного климата и фенотипирования, маркерной селекции и геномики, биохимии и гистологии растений, а также технологической оценки продукции растениеводства.

Наука
21 сентября
Учёные РУДН создают новое поколение противомикробных и противоопухолевых препаратов на основе производных пирролидина

Коллектив кафедры органической химии факультета физико-математических и естественных наук РУДН получил грантовую поддержку университета на разработку многофункциональных производных пирролидина. Исследователи намерены создать соединения, сочетающие противовоспалительную, антибактериальную, противогрибковую, антиоксидантную и противоопухолевую активность в одной молекуле. Проект рассчитан на 2026–2027 годы.

Наука
14 сентября
Как студенту РУДН получить грант на науку: конкурсы, стипендии и поддержка молодых исследователей

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

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