Seminar on Computer Algebra, CMC faculty of MSU & CCAS / Cеминар «Компьютерная алгебра» факультета ВМК МГУ и ВЦ РАН

Contact Persons: Sergei Abramov (sergeyabramov [AT] mail [DOT] ru), Alla Bogolubskaya (abogol [AT] jinr [DOT] ru) / Контактные лица: Сергей Александрович Абрамов (sergeyabramov [AT] mail [DOT] ru), Алла Анатольевна Боголюбская (abogol [AT] jinr [DOT] ru).

:!: Russian Computer Algebra Community page

Computer algebra seminar of Limoges University, France

Next meeting/Следующее заседание

Очередное заседание семинара «Компьютерная алгебра» состоится в среду 13 марта 2024 года в 16:30 по московскому времени в дистанционном режиме через Zoom. Cоответствующая ссылка для подключения будет сообщена письмом приглашенным участникам.

А.Д. Брюно (Институт прикладной математики им. М.В.Келдыша РАН)

Аналитическое решение любого уравнения вида многочлен от переменных и производных

Аннотация

Разработано исчисление [1], позволяющее аналитически вычислять асимптотические разложения решений для уравнений, являющихся многочленами от переменных и производных, а также для систем таких уравнений. Это исчисление применимо к уравнениям любого типа: алгебраическим [2, 3], обыкновенным дифференциальным [4] и в частных производных [5], а также – к их системам. Исчисление основано на алгоритмах степенной геометрии: (а) выделение укороченных уравнений, состоящих из всех ведущих слагаемых, а также из (б) степенных, (в) логарифмических и (г) нормализующих преобразований координат. Требуемое при этом программное обеспечение уже разработано.

  1. Bruno A.D. Nonlinear Analysis as a Calculus / / London Journal of Research in Science: Natural and Formal. 2023. Vol. 23, no. 5. P. 1-31; доступ по ссылке: https://journalspress.com/LJRS_Volume23/Nonlinear-Analysis-as-a-Calculus.pdf
  2. Bruno A.D., Azimov A.A. Parametric expansions of an algebraic variety near its singularities / / Axioms. 2023. Vol. 12, no. 5. P. 469; доступ по ссылке: https://doi.org/10.3390/axioms12050469
  3. Bruno A.D., Azimov A.A. Parametric expansions of an algebraic variety near its singularities II / / Axioms. 2024. Vol. 13, no. 2. P. 106; доступ по ссылке: https://doi.org/10.3390/axioms13020106
  4. Брюно А.Д. Асимптотики и разложения решений обыкновенного дифференциального уравнения / / Успехи математических наук, 2004, Т. 59:3(357), С. 31-80 DOI: https://doi.org/10.4213/rm736
  5. Bruno A.D., Batkhin A.B. Asymptotic forms of solutions to system of nonlinear partial differential equations / / Universe. 2023. Vol. 9, no. 1. P. 35; доступ по ссылке: https://doi.org/10.3390/universe9010035

—————————————————————————————————

The next meeting of the seminar on Computer Algebra of Faculty of Computational Mathematics and Cybernetics of MSU, and Computing Centre of RAS will be on Wednesday, March 13, 2024 at 16:30 Moscow time online via Zoom. The corresponding connection link will be e-mailed to the invited participants.

A.D. Bruno (Keldysh Institute of Applied Mathematics of RAS)

Analytic solution to any equation of polynomial type on variables and derivatives

Abstract

A calculus [1] has been developed which allows one to calculate analytically asymptotic expansions of solutions to equations which are polynomials on variables and their derivatives, as well as to systems of such equations. This calculus is applied to equations of any type: algebraic [2, 3], ordinary differential [4] and partial differential [5], as well as to their systems. The calculus is based on algorithms of power geometry: (a) selection of truncated equations consisting of all leading terms, as well as (b) power transformations, ( c ) logarithmic and (d) normalizing coordinate transformations. The required software for this calculus has already been developed.

  1. Bruno A.D. Nonlinear Analysis as a Calculus / / London Journal of Research in Science: Natural and Formal. 2023. Vol. 23, no. 5. P. 1–31; доступ по ссылке: https://journalspress.com/LJRS_Volume23/Nonlinear-Analysis-as-a-Calculus.pdf
  2. Bruno A.D., Azimov A.A. Parametric expansions of an algebraic variety near its singularities / / Axioms. 2023. Vol. 12, no. 5. P. 469; доступ по ссылке: https://doi.org/10.3390/axioms12050469
  3. Bruno A.D., Azimov A.A. Parametric expansions of an algebraic variety near its singularities II / / Axioms. 2024. Vol. 13, no. 2. P. 106; доступ по ссылке: https://doi.org/10.3390/axioms13020106
  4. Bruno A.D. Asymptotics and expansions of solutions to an ordinary differential equation / / Russian Mathem. Surveys. 2004. 59:3. P. 429–480. DOI:10.1070/RM2004v059n03ABEH000736
  5. Bruno A.D., Batkhin A.B. Asymptotic forms of solutions to system of nonlinear partial differential equations / / Universe. 2023. Vol. 9, no. 1. P. 35; доступ по ссылке: https://doi.org/10.3390/universe9010035

Previous meetings/Предыдущие заседания

February 21, 2024/17 января 2024 г.

Slides

М.МакКаллум (Лондонский университет королевы Марии)

Использование компьютерной алгебры для характеристики пространства-времени с изотропией

Аннотация

Много лет назад я заметил, что в определенных случаях симметрия пространства-времени в общей теории относительности обязательно приводит к идентичности наблюдений и другим свойствам в разных направлениях, то есть к изотропии. Я постараюсь адекватно обрисовать необходимую основу. Работа, которую я представлю, является частью программы решения обратной задачи: когда пространство-время с изотропией в каждой точке обязательно имеет непрерывную группу симметрий? Я решил это для случая, когда изотропии образуют одну и ту же непрерывную группу в каждой точке.

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

—————————————————————————————————

M.McCallum (Queen Mary University of London)

Using computer algebra to characterize spacetimes with isotropy

Abstract

Many years ago I noted that certain spacetimes in general relativity with symmetries would necessarily give rise to identical observations, and other properties, i in different directions, i.e. an isotropy. I shall try to adequately sketch the necessary background. The work I shall describe is part of a program to solve an inverse problem: when is it that a spacetime with the same isotropies at every point necessarily has a continuous group of symmetries? I solved this for the case where the isotropies form the same continuous group at every point.

There is a general theorem that spacetimes (and more general Riemannian manifolds) are locally characterized by components of the curvature tensor and its derivatives. Computer algebra was used to study the effect of imposing the isotropies on these quantities and so infer the overall symmetry structure.

January 17, 2024/17 января 2024 г.

Slides

А.И.Овчинников (Городской университет Нью-Йорка)

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

Аннотация

Системы ОДУ часто зависят от неизвестных параметров, знание значений которых может быть важным само по себе. В докладе будет представлен подход к оценке значений параметров, не использующий оптимизацию. Предложенный подход основывается на дифференциальной алгебре, интерполяции результатов измерений для оценки значений производных и на решении систем полиномиальных уравнений. Такой подход позволит получить реализацию с гарантированными результатами.

—————————————————————————————————

A.I.Ovchinninkov (City University of New York)

Parameter estimation in ODE systems via data interpolation, differential algebra, and polynomial system solving

Abstract

Frequently, ODE systems depend on unknown parameters, which could be important quantities on their own. We will discuss an approach to estimate these parameter values that does not rely on optimization. It uses differential algebra, output data interpolation for derivative estimation, and on polynomial system solving. This approach provides a framework for a robust implementation.

December 13, 2023/13 декабря 2023 г.

Slides

Кытманов А.А. (Институт перспективных технологий и индустриального программирования МИРЭА - Российский технологический университет), Царев С.П. (Красноярский Математический Центр, Сибирский Федеральный Университет)

Дискретные ортогональные полиномы, асимптотика решения специальных линейных рекуррентных уравнений второго порядка с полиномиальным коэффициентом и граничные эффекты полиномиальных фильтров (памяти профессора М.Петковшека)

Аннотация

Описан новый результат в классической теории одномерных дискретных ортогональных полиномов: чрезвычайно быстрое убывание их значений вблизи границы интервала для полиномов достаточно высокой степени. Этот эффект кардинально отличается от поведения гораздо более популярных в математических учебных программах непрерывных ортогональных полиномов.

Данный эффект имеет как теоретическую связь с некоторыми классическими направлениями компьютерной алгебры (изучением решений линейных обыкновенных рекуррентных уравнений), так и важную практическую сторону: обоснование ранее наблюдавшегося в численном анализе эффекта подавления сигнала вблизи границы интервала обработки при удалении полиномиальных трендов высоких степеней.

—————————————————————————————————

Kytmanov A.A. (Institute for Advanced Technologies and Industrial Programming, MIREA - Russian Technological University), Tsarev S.P. (Krasnoyarsk Mathematical Center, Siberian Federal University)

Discrete orthogonal polynomials, asymptotics of solution of special second-order linear recurrencies with polynomial coefficient, and boundary effects of polynomial filters (in memory of Professor M. Petkovšek)

Abstract

We describe a new result in the classical theory of univariate discrete orthogonal polynomials: extremely fast decay of their values near the interval boundary for polynomials of sufficiently high degree. This effect dramatically differs from the behavior of much more popular in mathematical curricula continuous orthogonal polynomials.

This effect has both a theoretical connection with some classical areas of computer algebra (the study of solutions of linear ordinary recurrent equations) and an important practical side: the proof of the effect of signal suppression near the boundary of the processing interval previously observed in numerical analysis after removing polynomial trends of high degree.

November 22, 2023/22 ноября 2023 г.

Slides

А.Б. Арансон (НИИ Дальней Радиосвязи)

Степенная алгебра для степенной геометрии

Аннотация

В степенной геометрии А.Д. Брюно предлается в том числе применение многогранников Ньютона для вычисления решений алгебраических и дифференциальных уравнений. В докладе рассматриваются эффективные алгоритмы для вычисления решений ОДУ и систем ОДУ в виде рядов Пюизо с ненулевой конечной главной частью с помощью многогранников Ньютона. Показаны результаты применеия этих алгоритмов к системам ОДУ Эйлера-Пуассона, Лотки-Вольтерры и к уравнению Шази. Для системы Эйлера-Пуассона получены в том числе условия на параметры системы для всех известных решений. Вычисления выполнены с применением CAS Maxima и программ на языке C++.

—————————————————————————————————

A.B. Aranson (SRI of Long-Range Radio Communications)

Power Algebra for Power Geometry

Abstract

Applying Newton polyhedrons to calculate solutions for algebraic and differential equations is suggested by Power Geometry of A.D. Bruno. We consider effective algorithms to calculate solutions of ODEs and systems of ODEs in the Puiseux series form with a nonzero finite principal part by means of a Newton polyhedron. The results of applying the considered algorithms to Euler-Poisson and Lotka-Volterra systems of ODEs and to Chazy ODE are presented. The conditions of the Euler-Poisson system parameters for some solutions, including all known solutions, were calculated. CAS Maxima and author C++ programs were used for calculations.

October 25, 2023/25 октября 2023 г.

Slides

А.С.Кулешов (Механико-математический факультет МГУ им. М.В. Ломоносова), Н.М.Видов (аспирант Механико-математического факультета МГУ им. М.В. Ломоносова)

Нелинейные эффекты вблизи многообразия равновесий неголономных систем

Аннотация

В конце 80-х годов прошлого века в работах Я.В.Татаринова был описан эффект, названный им эффектом трансгрессии. Изучаются нелинейные колебания консервативной неголономной системы около состояния равновесия. Хорошо известно, что такие состояния у неголономных систем не изолированы, а образуют, вообще говоря, многообразия в фазовом пространстве (причина этого явления -– не неинтегрируемость связей, а их дифференциальное представление). Если размерность многообразия равновесий равна числу связей, то в динамике с независимыми частотами уравнения связей «интегрируемы в среднем», то есть в подходящих определяющих координатах движение происходит вблизи координатных плоскостей, причем отклонение от них имеет второй порядок малости и носит колебательный характер. Если размерность многообразия равновесий больше числа связей, то во втором приближении возникает тривиальное смещение вдоль многообразия со скоростью первого порядка малости, а в четвертом приближении может возникнуть эффект дополнительной эволюции вдоль многообразия равновесий со скоростью третьего порядка малости, так что об «интегрируемости в среднем» говорить уже не приходится. Именно этот эффект дополнительной эволюции вдоль многообразия равновесий и был назван в работах Я.В. Татаринова эффектом трансгрессии. Изучение подобных эффектов предполагалось проводить путем привлечения метода нормальных форм.

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

—————————————————————————————————

A.S.Kuleshov (Department of Mechanics and Mathematics, M.~V.~Lomonosov Moscow State University), N.M.Vidov (postgraduate student of Department of Mechanics and Mathematics, M.~V.~Lomonosov Moscow State University),

Nonlinear Effects Near the Equilibrium Manifold of Nonholonomic Systems

Abstract

In the late 80th of the last century, Ya.V.Tatarinov described the effect, that he called the transgression effect. Nonlinear oscillations of a conservative nonholonomic system near an equilibrium state are studied. It is well known, that such states in nonholonomic systems are not isolated, but form, generally speaking, manifolds in the phase space (the reason for this phenomenon is not the nonintegrability of the constraints, but their differential representation). If the dimension of the equilibrium manifold is equal to the number of constraints, then in dynamics with independent frequencies the constraint equations are «integrable on average», i.e. in suitably defined coordinates the motion is nearly confined to coordinate planes, and the deviation from the latter is of the second order of smallness and has an oscillatory nature. If the dimension of the equilibrium manifold is greater than the number of constraints, in the second approximation a trivial displacement along the equilibrium manifold occurs with velocity of the first order of smallness, while in the fourth approximation one can catch an effect of additional evolution along the equilibrium manifold with a velocity of the third order of smallness, so that it is no longer appropriate to talk of the «average integrability». It is this effect of additional evolution along the equilibrium manifold that was named in the papers by Ya.~V.~Tatarinov by the transgression effect. The study of such effects was supposed to be carried out by the normal form method.

In this talk we present a detailed description of the transgression effect in two problems of the dynamics of nonholonomic systems: in the problem of motion of a heavy thin rigid rod on the surface of an inclined right circular cylinder and in the problem of the rolling of a heavy homogeneous ball on a fixed surface in the vicinity of the lowest point of this surface, which is an elliptical point.

September 27, 2023/27 сентября 2023 г.

Slides

П.В.Тришин (выпускник Института математики и фундаментальной информатики СФУ, инженер-исследователь Красноярского математического центра)

Необходимое условие и достаточное условие существования рациональных решений однородных разностных уравнений с постоянными коэффициентами

Аннотация

Вопрос о разрешимости разностных уравнений в классе рациональных функций поставлен уже более 50 лет назад. В одномерном случае задача решена С.А. Абрамовым в 1974 (постоянные коэффициенты) и 1989 (полиномиальные коэффициенты) годах.

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

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

—————————————————————————————————

P.V.Trishin (graduate of the Institute of Mathematics and Fundamental Informatics of Siberian Federal University, research engineer of the Krasnoyarsk Mathematical Center)

Necessity and sufficiency of existence rational solutions to homogeneous difference equations with constant coefficients

Abstract

The question of solvability of difference equations in the class of rational functions was posed more than 50 years ago. In the one-dimensional case the problem was solved by S.A. Abramov in 1974 (constant coefficients) and in 1989 (polynomial coefficients).

In the multidimensional case some difficulties arose, as it turned out that some classes of difference equations cannot be solved in rational functions, or, at least, there are no algorithms for finding rational solutions in these classes. There is a need to identify, using certain conditions, classes of difference equations in which the problem can be solvable.

We will present a necessary condition and a sufficient condition of solvability of homogeneous difference equations with constant coefficients in the class of rational functions. Examples on application of the results to find rational solutions of difference equations or to prove their unsolvability will be given.

Archive/Архив

start.txt · Последние изменения: 2024/02/27 17:20 — sa
 
За исключением случаев, когда указано иное, содержимое этой вики предоставляется на условиях следующей лицензии: Public Domain
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki