Отправить статью по E-mail 
О структуре решений ключевого уравнения Госпера в задачах символьного суммирования
- Авторы: Зима Е.В.1
-
Учреждения:
- Университет Вилфрида Лоурие
- Выпуск: Том 63, № 1 (2023)
- Страницы: 43-50
- Раздел: ОБЩИЕ ЧИСЛЕННЫЕ МЕТОДЫ
- URL: https://ogarev-online.ru/0044-4669/article/view/134286
- DOI: https://doi.org/10.31857/S0044466923010155
- EDN: https://elibrary.ru/LEDEOY
- ID: 134286
Цитировать
Полный текст
Аннотация
Анализируется структура полиномиальных решений ключевого уравнения Госпера, возникающего в задачах символьного суммирования. Дан метод быстрого нахождения входящих в решение множителей высокой степени. Показано, что в случаях, когда уравнению соответствует суммируемый нерациональный гипергеометрический терм, алгоритм Госпера можно ускорить, убрав несущественную зависимость времени его работы от величины дисперсии рационального сертификата. Библ. 10.
Об авторах
Е. В. Зима
Университет Вилфрида Лоурие
Автор, ответственный за переписку.
Email: ezima@wlu.ca
Канада, Ватерлоо
Список литературы
- Абрамов С.А. О суммировании рациональных функций // Ж. вычисл. матем. и матем. физ. 1971. Т. 11. № 4. С. 1071–1075.
- Gosper R.W., Jr. Decision procedure for indefinite hypergeometric summation // Proc. Nat. Acad. Sci. U.S.A., 75(1):40–42, 1978.
- Abramov S.A., Petkovšek M. Rational normal forms and minimal decompositions of hypergeometric terms // J. of Symbolic Computation, 33(5):521–543, 2002.
- Maple User Manual. Maplesoft, a division of Waterloo Maple Inc., 1996–2021.
- Абрамов С.А. Элементы компьютерной алгебры линейных обыкновенных дифференциальных, разностных и q-разностных операторов. М: МЦМНО, 2012.
- Moenck R. On computing closed forms for summations // In Proc. of the 1977 MACSYMA Users’ Conference, pp. 225–236, 1977.
- Petkovšek M. Hypergeometric solutions of linear recurrences with polynomial coefficients // J. of Symbolic C-omputation, 14(2):243–264, 1992.
- Lisonek P., Paule P., Strehl V. Improvement of the degree setting in Gosper’s algorithm // J. of Symbolic Computation, 16 (1993), 243–258.
- Pirastu R., Strehl V. Rational summation and Gosper-Petkovsšek representation // J. Symb. Comput., 20(5‑6):617–635, Nov. 1995.
- Zima E.V. Accelerating indefinite hypergeometric summation algorithms // ACM Commun. Comput. Algebra, 52(3):96–99, 2019.
Дополнительные файлы
