Аннотация:
Мы доказываем дважды экспоненциальную верхнюю оценку на степень и сложность
построения стандартного базиса D-модуля. Это обобщает хорошо известную границу на
сложность базиса Грёбнера модуля над алгеброй многочленов. Мы хотели бы особо подчеркнуть, что данная оценка не может быть выведена непосредственно из коммутативного случая.
Для того чтобы получить наш результат, мы разработали новую технику построения всех решений линейной системы над однородной версией алгебры Вейля.
Образец цитирования:
Д. Ю. Григорьев, А. Л. Чистов, “Сложность стандартного базиса D-модуля”, Алгебра и анализ, 20:5 (2008), 41–82; St. Petersburg Math. J., 20:5 (2009), 709–736
\RBibitem{GriChi08}
\by Д.~Ю.~Григорьев, А.~Л.~Чистов
\paper Сложность стандартного базиса $D$-модуля
\jour Алгебра и анализ
\yr 2008
\vol 20
\issue 5
\pages 41--82
\mathnet{http://mi.mathnet.ru/aa530}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2492359}
\zmath{https://zbmath.org/?q=an:1206.16050}
\transl
\jour St. Petersburg Math. J.
\yr 2009
\vol 20
\issue 5
\pages 709--736
\crossref{https://doi.org/10.1090/S1061-0022-09-01069-3}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000270134200003}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/aa530
https://www.mathnet.ru/rus/aa/v20/i5/p41
Эта публикация цитируется в следующих 8 статьяx:
М. В. Кондратьева, “Типовая размерность системы дифференциальных уравнений первого порядка”, Фундамент. и прикл. матем., 24:3 (2023), 129–138; M. V. Kondratieva, “The typical dimension of a system of first-order differential equations”, J. Math. Sci., 283:6 (2024), 912–918
М. В. Кондратьева, “Обобщённая типовая размерность градуированного модуля”, Фундамент. и прикл. матем., 23:2 (2020), 147–161; M. V. Kondratieva, “Generalized typical dimension of a graded module”, J. Math. Sci., 262:5 (2022), 691–701
М. В. Кондратьева, “Оценка типовой дифференциальной размерности системы линейных дифференциальных уравнений”, Фундамент. и прикл. матем., 22:5 (2019), 259–269; M. V. Kondratieva, “A bound for a typical differential dimension
of systems of linear differential equations”, J. Math. Sci., 259:4 (2021), 563–569
Lyakhov D.A., Gerdt V.P., Michels D.L., “On the Algorithmic Linearizability of Nonlinear Ordinary Differential Equations”, J. Symb. Comput., 98 (2019), 3–22
Gustavson R., Sanchez O.L., “Effective Bounds For the Consistency of Differential Equations”, J. Symbolic Comput., 89 (2018), 41–72
Bernard Malgrange, “Sur le problème d'équivalence de Cartan”, Annales de la Faculté des sciences de Toulouse : Mathématiques, 26:5 (2017), 1087
Shibuta T., Tajima Sh., “An Algorithm For Computing the Truncated Annihilating Ideals For An Algebraic Local Cohomology Class”, Computer Algebra in Scientific Computing, Casc 2014, Lecture Notes in Computer Science, 8660, eds. Gerdt V., Koepf W., Seiler W., Vorozhtsov E., Springer-Verlag Berlin, 2014, 447–459
Matthias Aschenbrenner, Anton Leykin, “Degree bounds for Gröbner bases in algebras of solvable type”, Journal of Pure and Applied Algebra, 213:8 (2009), 1578