Commuting Ordinary Differential Operators and the Dixmier Test

The Burchnall-Chaundy problem is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Symmetry, Integrability and Geometry: Methods and Applications
Дата:2019
Автори: Previato, E., Rueda, S.L., Zurro, M.-A.
Формат: Стаття
Мова:Англійська
Опубліковано: Інститут математики НАН України 2019
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/210287
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Commuting Ordinary Differential Operators and the Dixmier Test / E. Previato, S.L. Rueda, M.-A. Zurro // Symmetry, Integrability and Geometry: Methods and Applications. — 2019. — Т. 15. — Бібліогр.: 46 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:The Burchnall-Chaundy problem is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial coefficients, while the classification of commutative subalgebras of the Weyl algebra is in itself an important open problem. Centralizers are maximal-commutative subalgebras, and we review the properties of a basis of the centralizer of an operator L in normal form, following the approach of K.R. Goodearl, with the ultimate goal of obtaining such bases by computational routines. Our first step is to establish the Dixmier test, based on a lemma by J. Dixmier and the choice of a suitable filtration, to give necessary conditions for an operator M to be in the centralizer of L. Whenever the centralizer equals the algebra generated by L and M, we call L, M a Burchnall-Chaundy (BC) pair. A construction of BC pairs is presented for operators of order 4 in the first Weyl algebra. Moreover, for true rank r pairs, by means of differential subresultants, we effectively compute the fiber of the rank r spectral sheaf over their spectral curve.
ISSN:1815-0659