научная статья по теме СЕМИНАР ПО КОМПЬЮТЕРНОЙ АЛГЕБРЕ В 2008-2009 Г.Г Математика

Текст научной статьи на тему «СЕМИНАР ПО КОМПЬЮТЕРНОЙ АЛГЕБРЕ В 2008-2009 Г.Г»

ПРОГРАММИРОВАНИЕ, 2010, No 2, с. 3-6

КОМПЬЮТЕРНАЯ АЛГЕБРА

УДК 004.92+004.94

СЕМИНАР ПО КОМПЬЮТЕРНОЙ АЛГЕБРЕ В 2008-2009 г.г.

© 2010 г. С. А. Абрамов*, А. А. Боголюбская**, В. А. Ростовцев**, В. Ф. Еднерал***

* Вычислительный центр РАИ

119991 Москва, ул. Вавилова, 40

** Объединенный институт ядерных исследований 141980 Дубна Московской области ***НИИ Ядерной физики МГУ

119992 Москва, Воробьевы горы

E-mail: sergeyabramov@mail.ru, abogol@jinr.ru, rost@jinr.ru, edneral@theory.sinp.msu.ru

Поступила в редакцию 31.05.2009 г.

Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре.

1. О СЕМИНАРЕ

В семинаре рассматриваются новые результаты в области компьютерной алгебры - символьные алгоритмы и их реализация, соответствующие вопросы системного программирования.

В 2008-2009 учебном году семинар собирался, как правило, раз в месяц по третьим средам на факультете вычислительной математики и кибернетики и в НИИ ядерной физики МГУ. Web-страница семинара

http : //theory.sinp.msu.ru/dokuwiki/ doku.php/calg : main

содержит информацию о планируемых и состоявшихся ранее докладах.

В предыдущие годы в мае в Дубне, в Объединенном институте ядерных исследований (ОИЯИ), проходили традиционные заседания, организованные совместно с Лабораторией информационных технологий ОИЯИ. В 2009 г. оргкомитет международной конференции по математическому моделированию и вычислительной физике (MMCP'2009), проведенной в ОИЯИ в июле, принял решение, что одной из секций конференции будет секция компьютерной алгебры. Поэтому традиционное совместное заседание семинара отдельно не проводилось. Оно стало как бы частью этой секции (см. ниже раздел 3).

2. РЕГУЛЯРНЫЕ СОБРАНИЯ СЕМИНАРА

С сентября по апрель были прочитаны следующие доклады1.

С.А. Абрамов (ВЦ РАН; sergeyabramov@mail.ru). О решениях в целых функциях линейных разностных уравнений с полиномиальными коэффициентами.

Известно, что произвольное линейное разностное уравнение порядка I с полиномиальными над полем комплексных чисел С коэффициентами имеет фундаментальную систему решений в целых функциях (Праагман, 1986). Показывается, что этот результат можно несколько усилить: С-линейное пространство последовательностей, являющихся сужениями на Z решений в целых функциях уравнения порядка I, имеет размерность I. Показывается также, что базис этого пространства последовательностей может быть найден алгоритмически.

Работа выполнена совместно с М. Баркату, М. Петковшеком и М. ван Хое.

В.В. Корняк (ОИЯИ, Дубна; kornyak@jinr.ru). Расширенные сплетения групп.

Пусть С и Г - группы, действующие на множествах X и Ф соответственно. Даются явные формулы для последовательности групповых

хПеречень докладов, прочитанных в 1995-2008 г.г., опубликован в [1-13].

умножений на декартовом произведении Г^ х хС совместно с действиями на множестве функций Ф^. Эти структуры образуют бесконечное семейство полупрямых произведений Г^ и С, параметризуемое двумя целыми числами m Е Е { —1, 0} и k Е Z. Стандартному прямому произведению в этом семействе соответствует пара чисел (m,k) = (0,0), а сплетению - пара (m,k) = (—1, —1). Данные конструкции используются при исследовании дискретных динамических систем с симметриями методами компьютерной алгебры и вычислительной теории групп.

А.А. Гусев, О. Чулуунбаатар (ОИЯИ, Дубна; gooseff@jinr.ru, chuka@jinr.ru). Асимптотические разложения решений двумерной краевой задачи эллиптического типа.

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

Н.К. Зайцев (РГУ нефти и газа им. И.М. Губкина; ionomer@ionomer.ru). О некоторых проблемах прикладной химии.

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

С.Ю. Вернов (НИИЯФ МГУ; syvernov@mail.ru). Построение точных решений нелокальных космологических моделей.

Изучаются космологические модели с нелокальным скалярным полем, порожденные полевой теорией струн. Отличительным свойством этих моделей является линейность уравнений движения в пространстве Минковского. В искривленном пространстве-времени уравнения Эйнштейна оказываются нелинейными, однако сохраняется свойство линейности уравне-

ния движения относительно скалярного поля. Данное свойство позволяет локализовать модель для поиска частных решений. Рассматриваемая линейная нелокальная модель оказывается эквивалентной бесконечному числу локальных моделей. С помощью системы Maple даются точные частные решения нелокальных уравнений Эйнштейна в метрике Фридмана (одно из полученных решений описывает монотонно ускоряющуюся Вселенную с фантомной темной энергией).

С.Д. Махортов (Воронежский ГУ; sd@expert. vn.ru). Многоуровневая минимизация условных систем переписывания.

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

С.А. Абрамов (ВЦ РАН; sergeyabramov@mail.ru). Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями.

Статья по теме доклада публикуется в этом номере журнала.

В.Ф. Еднерал (НИИЯФ МГУ; edneral@theory. sinp.msu.ru). Об интегрируемости планарной системы ОДУ вблизи вырожденной неподвижной точки.

Рассматривается автономная плоская система ОДУ, разрешенная относительно производных. Для изучения ее локальной интегрируемости используется подход, основанный на методе степенной геометрии и на вычислении резонансной нормальной формы. Для 5-параметрического случая подобной системы найден набор необходимых и достаточных условий на значения параметров, при которых система локально интегрируема вблизи вырожденной неподвижной точки.

Работа выполнена совместно с А.Д. Брюно.

А.Б. Арансон (НИИ дальней радиосвязи, Москва; aranson@cbgrad.ru). Анализ систем ОДУ алгоритмами степенной геометрии с помощью системы Maxima.

Рассматриваются алгоритмы степенной геометрии для вычисления асимптотических разложений решений систем ОДУ и разрабатываемый автором набор процедур для реализации этих алгоритмов в системе компьютерной алгебры Maxima. Процедуры протестированы на вычислении известных асимптотических разложений решений автономной системы ОДУ Хенона-Хейлеса. Обсуждаются результаты применения

СЕМИНАР ПО КОМПЬЮТЕРНОЙ АЛГЕБРЕ В 2008-2009 г.г.

5

этих процедур для вычисления асимптотических разложений решений неавтономной системы ОДУ Н. Ковалевского.

3. СЕКЦИЯ КОМПЬЮТЕРНОЙ АЛГЕБРЫ МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ ММСР'2009

Вниманию участников заседаний секции были предложены следующие доклады.

С. Фритцше (Институт физики ун-та г. Гей-дельберг, Германия; s.fritzsche@gsi.de). Компьютерно-алгебраический подход к моделированию многокубитных систем.

В.П. Гердт (ОИЯИ, Дубна; gerdt@jinr.ru), Р. Краглер (Вайнгартенский университет прикладных наук, Германия; kragler@hs-weingarten.de), А.Н. Прокопеня (Брестский ГТУ, Белоруссия; prokopenya@brest.by). Реализация некоторых алгоритмов квантовых вычислений на языке МаЬНешаЫса.

В.Г. Романовский (САМТР, Мариборский университет, Словения; valery.romanovski@uni-mb.si). Применение алгоритмов компьютерной алгебры к исследованию проблем качественной теории дифференциальных уравнений.

О.В. Тарасов (ОИЯИ, Дубна; otarasov@jinr.ru). Функциональные уравнения для фейнмановских интегралов.

В.П. Гердт (ОИЯИ, Дубна; gerdt@jinr.ru). О декомпозиции нелинейных дифференциальных систем в инволютивные подсистемы.

Д. Штефанеску (Бухарестский университет, Румыния; stef@rms.unibuc.ro), С. А. Евлахов (ОИЯИ, Дубна; evlakhov@jinr.ru). Сложность построения границ корней полиномов.

B.В. Корняк (ОИЯИ, Дубна; kornyak@jinr.ru). Симметрии, калибровочная инвариантность и квантование в дискретных моделях.

C.А. Абрамов, Д.Е. Хмельнов (ВЦ РАН; sergeyabramov@mail.ru, dennis_khmelnov@mail.ru), М.А. Баркату (Лиможский университет, Франция; moulay.barkatou@unilim.fr). Сплетенные решения линейных разностных уравнений.

А.С. Суржиков, С. Фритцше (Институт физики ун-та г. Гейдельберг, Германия; surz@physi. uni-heidelberg.de, s.fritzsche@gsi.de). БЫЛО: пакет компьютерной алгебры для изучения

структуры и динамики высокозаряженных тяжелых ионов.

А.М. Рапортиренко (ОИЯИ, Дубна; ram@sunct1. jinr.ru). Реализация системы компьютерной алгебры Reduce в среде Common Lisp.

Н.Н. Васильев (ПОМИ РАН; vasiliev@pdmi. ras.ru), В.О. Николаенко (СПбГПУ; itsmyway. leranik@gmail.com). Перечисление пермутацион-ных биномов над конечными полями.

И. Димовский, М. Спиридонова (ИМИ БАН, Болгария; dimovski@math.bas.bg; mspirid@math. bas.bg). Об одной реализации алгоритма Хеви-сайда.

A.Д. Брюно (ИПМ РАН им. Келдыша; bruno@keldysh.ru), В.Ф. Еднерал (НИИЯФ МГУ; edneral@theory.sinp.msu.ru). Об интегрируемости планарной системы ОДУ вблизи вырожденной неподвижной точки.

И.В. Пузынин, Т.П. Пузынина, В.Ч. Тхак (ОИЯИ, Дубна; ipuzynin@jinr.ru, puzynina@jinr.ru, votrongthach@jinr.ru). SLIPM - программа на языке MAPLE для численного решения частичной проблемы Штурма-Лиувилля на основе непрерывного аналога метода Ньютона.

О.Н. Переславцева (Тамбовский ГУ; Pereclavtseva @rambler.ru). Вычисление характеристических полиномов матриц: последовательные и параллельные алгоритмы.

Н.А. Малашонок (Тамбовский ГУ; nmalaschonok @narod.ru). Об одном алгоритме символьного решения систем дифференциальных уравнений в частных производных.

М.Г. Кокотчикова, Д.С. Кулябов, Л.А. Севастьянов (РУДН, Москва; mgkokotchikova@gmail.com, yamadharma@gmail.com, leonid.sevast@gmail.com). Реализация метода регуляризованного восстановления волнового фронта по д

Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.

Показать целиком