Алгебро-логические методы в информатике и искусственный интеллект
A short calculation of the multiple sum of Krivokolesko–Leinartas with linear constraints on summation indices
[Короткое вычисление кратной суммы Кривоколеско–Лейнартаса с линейными ограничениями на индексы суммирования]
G. P. Egorychev Siberian Federal University, Krasnoyarsk, Russian Federation
Аннотация:
В конце 1970-х гг. автором был разработан метод интегрального представления и вычисления комбинаторных сумм
различного типа (метод коэффициентов) с использованием формальных степенных рядов Лорана над
$\mathbb C$,
теории аналитических функций и теории кратных вычетов в
$\mathbb C^n$.
С тех пор этот метод нашел многочисленные применения в различных областях математики в нашей стране и за рубежом.
На наш взгляд, особенно интересно и актуально использование метода коэффициентов при решении трудной проблемы
вычисления кратных сумм с линейными ограничениями на индексы суммирования.
Проблемы такого типа нередко возникают на практике при решении различных комбинаторных задач. Например, в 2016 г. автором в статье, опубликованной
в журнале «Известия Иркутского государственного университета. Серия Математика», была вычислена кратная сумма с
$q$-биномиальными коэффициентами и линейными рекуррентными соотношениями на индексы суммирования, возникшая при перечислении всех собственных
$t$-мерных подпространств
$V_m$ над полем
$GF(q)$.
В 2012 году В. П. Кривоколеско и Е. К. Лейнартас в журнале «Известия Иркутского государственного университета. Серия Математика» доказали с использованием композиции Адамара кратное тождество с полиномиальными коэффициентами и ограничениями различного типа на пределы
суммирования, содержащее семейство свободных параметров.
Это тождество является обобщением тождеств, изученных ранее несколькими авторами, начиная с построения
фильтров Добеши в вейвлет-теории.
Здесь по стандартной схеме метода коэффициентов проведено, не зная ответа, короткое и простое вычисление
кратной суммы Кривоколеско–Лейнартаса. Это вычисление также автоматически дает эквивалентный способ
вычисления указанной суммы с помощью традиционного метода производящих функций, используя лишь хорошо
известные операции над соответствующими кратными степенными рядами Лорана.
Ключевые слова:
комбинаторные суммы, метод коэффициентов, интегральные представления, производящие функции.
УДК:
519.1
MSC: 15+
16 Поступила в редакцию: 20.07.2019
Язык публикации: английский
DOI:
10.26516/1997-7670.2019.29.22