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

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

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

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

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

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

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

Статья в Indicator.ru

Новости
Все новости
Наука
3 сентября
Доцента РУДН наградили Государственной поощрительной премией Египта в области сельскохозяйственных наук

Египетский учёный Абдельрауф Масуд Али, доцент департамента рационального природопользования института экологии РУДН, стал лауреатом Государственной поощрительной премии Египта в области сельскохозяйственных наук за 2024 год.

Наука
28 августа
Разгадана роль грибов в поддержании разнообразия деревьев – глобальное исследование при участии ученых РУДН

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

Наука
18 августа
5 млн рублей на науку: в РУДН назвали обладателя первой премии вуза в области математики

Первым победителем международной Премии РУДН за научные достижения и заслуги в области математики в размере 5 млн рублей стал учёный из Санкт-Петербурга Сергей Иванов. Обладатель награды — доктор физико-математических наук, член-корреспондент РАН, профессор Санкт-Петербургского государственного университета и главный научный сотрудник Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН. Вручение премии состоялось 18 августа во время Международной конференции по дифференциальным и функционально-дифференциальным уравнениям DFDE.