Аннотация:
Ранее авторами были предложены алгоритмы, которые позволяют находить экспоненциально-логарифмические решения линейных обыкновенных дифференциальных уравнений с коэффициентами в виде таких степенных рядов, для которых известны только начальные члены. В решение входит конечное число степенных рядов и для них вычисляется максимально возможное число членов. Теперь к этим алгоритмам добавляется опция подтверждения того, что без дополнительной информации об уравнении невозможно получить большее число членов этих рядов: строится контрпример к предположению о возможности получения однозначно определенных дополнительных членов. В предыдущих работах авторами предлагались такого рода подтверждения для случаев лорановых и регулярных решений.
Библ. 23.
Ключевые слова:дифференциальные уравнения, усеченные степенные ряды, системы компьютерной алгебры.
УДК:517.926
Поступила в редакцию: 25.04.2022 Исправленный вариант: 01.06.2022 Принята в печать: 17.09.2022